Don't try to zExt just to check if an integer constant is zero, it might

not fit in a i64.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154364 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Rafael Espindola 2012-04-10 00:16:22 +00:00
parent 2d620c571c
commit fdb230a154
2 changed files with 20 additions and 2 deletions

View File

@ -4431,9 +4431,9 @@ static bool isTruncateOf(SelectionDAG &DAG, SDValue N, SDValue &Op,
ConstantSDNode *COp0 = dyn_cast<ConstantSDNode>(Op0);
ConstantSDNode *COp1 = dyn_cast<ConstantSDNode>(Op1);
if (COp0 && COp0->getZExtValue() == 0)
if (COp0 && COp0->isNullValue())
Op = Op1;
else if (COp1 && COp1->getZExtValue() == 0)
else if (COp1 && COp1->isNullValue())
Op = Op0;
else
return false;

View File

@ -0,0 +1,18 @@
; RUN: llc < %s
@c = external global i32, align 4
define void @foo(i160 %x) {
entry:
%cmp.i = icmp ne i160 %x, 340282366920938463463374607431768211456
%conv.i = zext i1 %cmp.i to i32
%tobool.i = icmp eq i32 %conv.i, 0
br i1 %tobool.i, label %if.then.i, label %fn1.exit
if.then.i:
store i32 0, i32* @c, align 4
br label %fn1.exit
fn1.exit:
ret void
}