Don't restrict the set of instructions where we try to constant-fold the

operands; it's possible to end up with a constant-foldable operand to 
most instructions, even those which can't trap.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75845 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eli Friedman 2009-07-15 22:13:34 +00:00
parent f05522974b
commit fd2934f190
2 changed files with 14 additions and 3 deletions

View File

@ -13021,9 +13021,7 @@ bool InstCombiner::DoOneIteration(Function &F, unsigned Iteration) {
continue;
}
if (TD &&
(I->getType()->getTypeID() == Type::VoidTyID ||
I->isTrapping())) {
if (TD) {
// See if we can constant fold its operands.
for (User::op_iterator i = I->op_begin(), e = I->op_end(); i != e; ++i)
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(i))

View File

@ -0,0 +1,13 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep icmp
define i1 @f(i1 %x) {
%b = and i1 %x, icmp eq (i8* inttoptr (i32 1 to i8*), i8* inttoptr (i32 2 to i8*))
ret i1 %b
}
; FIXME: This doesn't fold at the moment!
; define i32 @f(i32 %x) {
; %b = add i32 %x, zext (i1 icmp eq (i8* inttoptr (i32 1000000 to i8*), i8* inttoptr (i32 2000000 to i8*)) to i32)
; ret i32 %b
;}