From 21440acc06b6451ad5c0678e3f15ee08b1f1d206 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sun, 2 Nov 2008 00:17:33 +0000 Subject: [PATCH] Fix this recently moved code to use the correct type. CI is now a ConstantInt, and SI is the original cast instruction. This fixes PR2996. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@58549 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Scalar/InstructionCombining.cpp | 4 ++-- test/Transforms/InstCombine/pr2996.ll | 12 ++++++++++++ 2 files changed, 14 insertions(+), 2 deletions(-) create mode 100644 test/Transforms/InstCombine/pr2996.ll diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 70b5aefa23c..75a1ffea6b5 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -8551,8 +8551,8 @@ Instruction *InstCombiner::visitSelectInstWithICmp(SelectInst &SI, In = InsertNewInstBefore(BinaryOperator::CreateAShr(In, Sh, In->getName()+".lobit"), *ICI); - if (In->getType() != CI->getType()) - In = CastInst::CreateIntegerCast(In, CI->getType(), + if (In->getType() != SI.getType()) + In = CastInst::CreateIntegerCast(In, SI.getType(), true/*SExt*/, "tmp", ICI); if (Pred == ICmpInst::ICMP_SGT) diff --git a/test/Transforms/InstCombine/pr2996.ll b/test/Transforms/InstCombine/pr2996.ll new file mode 100644 index 00000000000..3e7dfa2ba6d --- /dev/null +++ b/test/Transforms/InstCombine/pr2996.ll @@ -0,0 +1,12 @@ +; RUN: llvm-as < %s | opt -instcombine +; PR2996 + +define void @func_53(i16 signext %p_56) nounwind { +entry: + %0 = icmp sgt i16 %p_56, -1 ; [#uses=1] + %iftmp.0.0 = select i1 %0, i32 -1, i32 0 ; [#uses=1] + %1 = call i32 (...)* @func_4(i32 %iftmp.0.0) nounwind ; [#uses=0] + ret void +} + +declare i32 @func_4(...)