Implement xor.ll:test21: select (not C), A, B -> select C, B, A

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

diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp
index 532c6612f9ddb5b565d857381288d5e8de792894..bb224a1b5d25f2680fc8dc84a11e1a1055e56b15 100644 (file)
--- a/lib/Transforms/Scalar/InstructionCombining.cpp
+++ b/lib/Transforms/Scalar/InstructionCombining.cpp
@@ -311,7 +311,7 @@ bool InstCombiner::SimplifyCommutative(BinaryOperator &I) {
 //
 static inline Value *dyn_castNegVal(Value *V) {
   if (BinaryOperator::isNeg(V))
-    return BinaryOperator::getNegArgument(cast<BinaryOperator>(V));
+    return BinaryOperator::getNegArgument(V);
 
   // Constants can be considered to be negated values if they can be folded.
   if (ConstantInt *C = dyn_cast<ConstantInt>(V))
@@ -321,7 +321,7 @@ static inline Value *dyn_castNegVal(Value *V) {
 
 static inline Value *dyn_castNotVal(Value *V) {
   if (BinaryOperator::isNot(V))
-    return BinaryOperator::getNotArgument(cast<BinaryOperator>(V));
+    return BinaryOperator::getNotArgument(V);
 
   // Constants can be considered to be not'ed values...
   if (ConstantIntegral *C = dyn_cast<ConstantIntegral>(V))
@@ -3885,6 +3885,14 @@ Instruction *InstCombiner::visitSelectInst(SelectInst &SI) {
           }
         }
   }
+
+  if (BinaryOperator::isNot(CondVal)) {
+    SI.setOperand(0, BinaryOperator::getNotArgument(CondVal));
+    SI.setOperand(1, FalseVal);
+    SI.setOperand(2, TrueVal);
+    return &SI;
+  }
+
   return 0;
 }