From: Nick Lewycky <nicholas@mxc.ca>
Date: Mon, 11 Sep 2006 17:23:34 +0000 (+0000)
Subject: Skip the linear search if the answer is already known.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3fc68ccd83d885d500f8d43cd5a7ac962a29b1e7;p=oota-llvm.git

Skip the linear search if the answer is already known.


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

diff --git a/lib/Transforms/Scalar/PredicateSimplifier.cpp b/lib/Transforms/Scalar/PredicateSimplifier.cpp
index d59f71853a9..42ae6adbb45 100644
--- a/lib/Transforms/Scalar/PredicateSimplifier.cpp
+++ b/lib/Transforms/Scalar/PredicateSimplifier.cpp
@@ -501,30 +501,32 @@ Value *PredicateSimplifier::resolve(SetCondInst *SCI,
 
   Value *SCI0 = resolve(SCI->getOperand(0), KP),
         *SCI1 = resolve(SCI->getOperand(1), KP);
-  PropertySet::ConstPropertyIterator NE =
-                   KP.findProperty(PropertySet::NE, SCI0, SCI1);
-
-  if (NE != KP.Properties.end()) {
-    switch (SCI->getOpcode()) {
-      case Instruction::SetEQ:
-        return ConstantBool::False;
-      case Instruction::SetNE:
-        return ConstantBool::True;
-      case Instruction::SetLE:
-      case Instruction::SetGE:
-      case Instruction::SetLT:
-      case Instruction::SetGT:
-        break;
-      default:
-        assert(0 && "Unknown opcode in SetCondInst.");
-        break;
-    }
-  }
 
   ConstantIntegral *CI1 = dyn_cast<ConstantIntegral>(SCI0),
                    *CI2 = dyn_cast<ConstantIntegral>(SCI1);
 
-  if (!CI1 || !CI2) return SCI;
+  if (!CI1 || !CI2) {
+    PropertySet::ConstPropertyIterator NE =
+        KP.findProperty(PropertySet::NE, SCI0, SCI1);
+
+    if (NE != KP.Properties.end()) {
+      switch (SCI->getOpcode()) {
+        case Instruction::SetEQ:
+          return ConstantBool::False;
+        case Instruction::SetNE:
+          return ConstantBool::True;
+        case Instruction::SetLE:
+        case Instruction::SetGE:
+        case Instruction::SetLT:
+        case Instruction::SetGT:
+          break;
+        default:
+          assert(0 && "Unknown opcode in SetCondInst.");
+          break;
+      }
+    }
+    return SCI;
+  }
 
   switch(SCI->getOpcode()) {
     case Instruction::SetLE: