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

[Chris Lattner]

Changes in directory llvm/lib/Transforms/Scalar:

InstructionCombining.cpp updated: 1.138 -> 1.139

---
Log message:

Minor cleanup, plus implement InstCombine/xor.ll:test17


---
Diffs of the changes:  (+17 -3)

Index: llvm/lib/Transforms/Scalar/InstructionCombining.cpp
diff -u llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.138 llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.139
--- llvm/lib/Transforms/Scalar/InstructionCombining.cpp:1.138	Tue Nov  4 17:37:10 2003
+++ llvm/lib/Transforms/Scalar/InstructionCombining.cpp	Tue Nov  4 17:50:51 2003
@@ -1000,23 +1000,37 @@
         if (RHS == ConstantBool::True && SCI->hasOneUse())
           return new SetCondInst(SCI->getInverseCondition(),
                                  SCI->getOperand(0), SCI->getOperand(1));
+
+      // ~(c-X) == X-(c-1) == X+(-c+1)
+      if (Op0I->getOpcode() == Instruction::Sub && RHS->isAllOnesValue() &&
+          isa<Constant>(Op0I->getOperand(0))) {
+        Constant *ConstantRHS = *-*cast<Constant>(Op0I->getOperand(0)) +
+                                *ConstantInt::get(I.getType(), 1);
+        return BinaryOperator::create(Instruction::Add, Op0I->getOperand(1),
+                                      ConstantRHS);
+      }
           
       if (ConstantInt *Op0CI = dyn_cast<ConstantInt>(Op0I->getOperand(1)))
-        if (Op0I->getOpcode() == Instruction::Add) {
+        switch (Op0I->getOpcode()) {
+        case Instruction::Add:
           // ~(X-c) --> (-c-1)-X
           if (RHS->isAllOnesValue()) 
             return BinaryOperator::create(Instruction::Sub,
                                           *-*Op0CI -
                                               *ConstantInt::get(I.getType(), 1),
                                           Op0I->getOperand(0));
-        } else if (Op0I->getOpcode() == Instruction::And) {
+          break;
+        case Instruction::And:
           // (X & C1) ^ C2 --> (X & C1) | C2 iff (C1&C2) == 0
           if ((*RHS & *Op0CI)->isNullValue())
             return BinaryOperator::create(Instruction::Or, Op0, RHS);
-        } else if (Op0I->getOpcode() == Instruction::Or) {
+          break;
+        case Instruction::Or:
           // (X | C1) ^ C2 --> (X | C1) & ~C2 iff (C1&C2) == C2
           if ((*RHS & *Op0CI) == RHS)
             return BinaryOperator::create(Instruction::And, Op0, ~*RHS);
+          break;
+        default: break;
         }
     }
   }