Fix PR2339

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51226 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp
index 32f80871ce4287a7e06880f6f4510e3f1b97596a..8c5e1369dedf1f7658154574587722f4e27e366d 100644 (file)
--- a/lib/Transforms/Scalar/InstructionCombining.cpp
+++ b/lib/Transforms/Scalar/InstructionCombining.cpp
@@ -2856,7 +2856,7 @@ Instruction *InstCombiner::visitMul(BinaryOperator &I) {
     
     if (BinaryOperator *Op0I = dyn_cast<BinaryOperator>(Op0))
       if (Op0I->getOpcode() == Instruction::Add && Op0I->hasOneUse() &&
-          isa<ConstantInt>(Op0I->getOperand(1))) {
+          isa<ConstantInt>(Op0I->getOperand(1)) && isa<ConstantInt>(Op1)) {
         // Canonicalize (X+C1)*C2 -> X*C2+C1*C2.
         Instruction *Add = BinaryOperator::CreateMul(Op0I->getOperand(0),
                                                      Op1, "tmp");

diff --git a/test/Transforms/InstCombine/2008-05-17-InfLoop.ll b/test/Transforms/InstCombine/2008-05-17-InfLoop.ll
new file mode 100644 (file)
index 0000000..9cfbd6f
--- /dev/null
+++ b/test/Transforms/InstCombine/2008-05-17-InfLoop.ll
@@ -0,0 +1,23 @@
+; RUN: llvm-as < %s | opt -instcombine -disable-output
+; PR2339
+target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-s0:0:64-f80:32:32"
+target triple = "i686-pc-linux-gnu"
+
+declare void @BZALLOC(i32)
+
+define void @f(i32) {
+entry:
+       %blockSize100k = alloca i32             ; <i32*> [#uses=2]
+       store i32 %0, i32* %blockSize100k
+       %n = alloca i32         ; <i32*> [#uses=2]
+       load i32* %blockSize100k                ; <i32>:1 [#uses=1]
+       store i32 %1, i32* %n
+       load i32* %n            ; <i32>:2 [#uses=1]
+       add i32 %2, 2           ; <i32>:3 [#uses=1]
+       mul i32 %3, ptrtoint (i32* getelementptr (i32* null, i32 1) to i32)             ; <i32>:4 [#uses=1]
+       call void @BZALLOC( i32 %4 )
+       br label %return
+
+return:                ; preds = %entry
+       ret void
+}