commit 9fdaefad580194353f34b6d72669591f8f9d811a
author Chris Lattner <sabre@nondot.org> Thu Dec 31 17:51:05 2009 +0000
committer Chris Lattner <sabre@nondot.org> Thu Dec 31 17:51:05 2009 +0000
tree 99afcb92a2888e2458e1c3fc22532023a016ad18
parent 4760467ff2c5e9d03d469cee2f14c6e68b096d65

factor statistic updating better.


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

lib/Transforms/Scalar/Reassociate.cpp

diff --git a/lib/Transforms/Scalar/Reassociate.cpp b/lib/Transforms/Scalar/Reassociate.cpp
index 195bd69..6c6de1b 100644
--- a/lib/Transforms/Scalar/Reassociate.cpp
+++ b/lib/Transforms/Scalar/Reassociate.cpp
@@ -563,15 +563,11 @@
       Value *X = BinaryOperator::getNotArgument(Ops[i].Op);
       unsigned FoundX = FindInOperandList(Ops, i, X);
       if (FoundX != i) {
-        if (Opcode == Instruction::And) {   // ...&X&~X = 0
-          ++NumAnnihil;
+        if (Opcode == Instruction::And)   // ...&X&~X = 0
           return Constant::getNullValue(X->getType());
-        }
         
-        if (Opcode == Instruction::Or) {   // ...|X|~X = -1
-          ++NumAnnihil;
+        if (Opcode == Instruction::Or)    // ...|X|~X = -1
           return Constant::getAllOnesValue(X->getType());
-        }
       }
     }
     
@@ -586,10 +582,9 @@
         ++NumAnnihil;
       } else {
         assert(Opcode == Instruction::Xor);
-        if (e == 2) {
-          ++NumAnnihil;
+        if (e == 2)
           return Constant::getNullValue(Ops[0].Op->getType());
-        }
+        
         // ... X^X -> ...
         Ops.erase(Ops.begin()+i, Ops.begin()+i+2);
         i -= 1; e -= 2;
@@ -618,10 +613,8 @@
       continue;
     
     // Remove X and -X from the operand list.
-    if (Ops.size() == 2) {
-      ++NumAnnihil;
+    if (Ops.size() == 2)
       return Constant::getNullValue(X->getType());
-    }
     
     Ops.erase(Ops.begin()+i);
     if (i < FoundX)
@@ -657,11 +650,9 @@
     switch (Opcode) {
     default: break;
     case Instruction::And:
-      if (CstVal->isZero()) {                // ... & 0 -> 0
-        ++NumAnnihil;
+      if (CstVal->isZero())                  // ... & 0 -> 0
         return CstVal;
-      }
-      if (CstVal->isAllOnesValue()) // ... & -1 -> ...
+      if (CstVal->isAllOnesValue())          // ... & -1 -> ...
         Ops.pop_back();
       break;
     case Instruction::Mul:
@@ -674,10 +665,8 @@
         Ops.pop_back();                      // ... * 1 -> ...
       break;
     case Instruction::Or:
-      if (CstVal->isAllOnesValue()) {        // ... | -1 -> -1
-        ++NumAnnihil;
+      if (CstVal->isAllOnesValue())          // ... | -1 -> -1
         return CstVal;
-      }
       // FALLTHROUGH!
     case Instruction::Add:
     case Instruction::Xor:
@@ -883,6 +872,7 @@
     DEBUG(errs() << "Reassoc to scalar: " << *V << "\n");
     I->replaceAllUsesWith(V);
     RemoveDeadBinaryOp(I);
+    ++NumAnnihil;
     return;
   }