1 files changed, 23 insertions, 0 deletions
diff --git a/lib/VMCore/ConstantFold.cpp b/lib/VMCore/ConstantFold.cpp
index 0913c481ad..e381f3b102 100644
--- a/lib/VMCore/ConstantFold.cpp
+++ b/lib/VMCore/ConstantFold.cpp
@@ -1029,6 +1029,29 @@ static ICmpInst::Predicate evaluateICmpRelation(const Constant *V1,
         }
       break;
 
+    case Instruction::PtrToInt:
+    case Instruction::IntToPtr:
+      // inttoptr(x1) != inttoptr(x2) iff x1 != x2
+      if (const ConstantExpr *CE2 = dyn_cast<ConstantExpr>(V2))
+        if (CE1->getOpcode() == CE2->getOpcode()) {
+          Constant *Op1 = const_cast<Constant*>(CE1Op0);
+          Constant *Op2 = CE2->getOperand(0);
+          if (CE1Op->getType() == CE2Op->getType()) {
+            ConstantInt *R = 0;
+
+            ICmpInst::Predicate pred = ICmpInst::ICMP_EQ;
+            R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, Op1, Op2));
+            if (R && !R->isZero()) 
+              return pred;
+
+            pred = ICmpInst::ICMP_NE;
+            R = dyn_cast<ConstantInt>(ConstantExpr::getICmp(pred, Op1, Op2));
+            if (R && !R->isZero()) 
+              return pred;
+          }
+        }
+      break;
+
     case Instruction::GetElementPtr:
       // Ok, since this is a getelementptr, we know that the constant has a
       // pointer type.  Check the various cases.