commit 8ec23cb07e22198a720c4e151241059cca215c08
author David Majnemer <david.majnemer@gmail.com> Mon May 06 21:21:31 2013 +0000
committer David Majnemer <david.majnemer@gmail.com> Mon May 06 21:21:31 2013 +0000
tree 992d7bc3a38cb201502c179d1fd08c22b4bac0a2
parent e305e03d6f71f70a7102f15ac5ff6fd93cf9e818

InstCombine: (X ^ signbit) + C -> X + (signbit ^ C)


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181249 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Transforms/InstCombine/InstCombineAddSub.cpp

diff --git a/lib/Transforms/InstCombine/InstCombineAddSub.cpp b/lib/Transforms/InstCombine/InstCombineAddSub.cpp
index 1aa51d0..166f8df 100644
--- a/lib/Transforms/InstCombine/InstCombineAddSub.cpp
+++ b/lib/Transforms/InstCombine/InstCombineAddSub.cpp
@@ -974,6 +974,11 @@
           return BinaryOperator::CreateSub(ConstantExpr::getAdd(XorRHS, CI),
                                            XorLHS);
       }
+      // (X + signbit) + C could have gotten canonicalized to (X ^ signbit) + C,
+      // transform them into (X + (signbit ^ C))
+      if (XorRHS->getValue().isSignBit())
+          return BinaryOperator::CreateAdd(XorLHS,
+                                           ConstantExpr::getXor(XorRHS, CI));
     }
   }