[llvm-commits] CVS: llvm/lib/Transforms/Scalar/InstructionCombining.cpp

[Chris Lattner]

Changes in directory llvm/lib/Transforms/Scalar:

InstructionCombining.cpp updated: 1.109 -> 1.110

---
Log message:

Implement testcases InstCombine/or.ll:test16/test17


---
Diffs of the changes:

Index: llvm/lib/Transforms/Scalar/InstructionCombining.cpp
diff -u llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.109 llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.110
--- llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.109	Thu Jul 24 13:38:56 2003
+++ llvm/lib/Transforms/Scalar/InstructionCombining.cpp	Tue Aug 12 14:11:07 2003
@@ -612,6 +612,19 @@
     }
   }
 
+  // (A & C1)|(A & C2) == A & (C1|C2)
+  if (BinaryOperator *BO0 = dyn_cast<BinaryOperator>(Op0))
+    if (BinaryOperator *BO1 = dyn_cast<BinaryOperator>(Op1))
+      if (BO0->getOperand(0) == BO1->getOperand(0) &&
+          BO0->getOpcode() == Instruction::And &&
+          BO1->getOpcode() == Instruction::And)
+        if (ConstantIntegral *C0 =
+            dyn_cast<ConstantIntegral>(BO0->getOperand(1)))
+          if (ConstantIntegral *C1 =
+              dyn_cast<ConstantIntegral>(BO1->getOperand(1)))
+            return BinaryOperator::create(Instruction::And, BO0->getOperand(0),
+                                          *C0 | *C1);            
+
   Value *Op0NotVal = dyn_castNotVal(Op0);
   Value *Op1NotVal = dyn_castNotVal(Op1);