Revert constant-folding change that will miscompile in some cases.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51223 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-05-17 19:00:05 +00:00
parent b5783106c4
commit 08de1e476c
2 changed files with 0 additions and 31 deletions

View File

@ -1029,29 +1029,6 @@ 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 (Op1->getType() == Op2->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.

View File

@ -1,8 +0,0 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i1 false}
; PR2329
define i1 @f() {
%x = icmp eq i8* inttoptr (i32 1 to i8*), inttoptr (i32 2 to i8*)
ret i1 %x
}