RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-12-19 01:48:34 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Constant fold inttoptr and ptrtoint.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51216 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-05-17 09:03:26 +00:00
parent fc1efbbfbc
commit d24ae8703f
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
lib/VMCore/ConstantFold.cpp
View File

@ -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.

8
test/Transforms/InstCombine/2008-05-17-FoldIntToPtr.ll Normal file
View File

@ -0,0 +1,8 @@
; 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
}