diff options
author | Dan Gohman <gohman@apple.com> | 2009-05-22 07:14:20 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-05-22 07:14:20 +0000 |
commit | 0d56b06f86d6e1707aec9c7e1fd13f6e5301c209 (patch) | |
tree | c9e0b261a7abc0b3c81faa5f6592282888614c89 /test/Transforms/IndVarSimplify/gep-with-mul-base.ll | |
parent | 382cb2189a69d169e3ac8b63498ee838022710b2 (diff) | |
download | external_llvm-0d56b06f86d6e1707aec9c7e1fd13f6e5301c209.zip external_llvm-0d56b06f86d6e1707aec9c7e1fd13f6e5301c209.tar.gz external_llvm-0d56b06f86d6e1707aec9c7e1fd13f6e5301c209.tar.bz2 |
Fix a thinko in the code that adapted SCEVMulExpr operands for
use in expanding SCEVAddExprs with GEPs. The operands of a
SCEVMulExpr need to be multiplied together, not added.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72250 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/gep-with-mul-base.ll')
-rw-r--r-- | test/Transforms/IndVarSimplify/gep-with-mul-base.ll | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/gep-with-mul-base.ll b/test/Transforms/IndVarSimplify/gep-with-mul-base.ll new file mode 100644 index 0000000..0e5e106 --- /dev/null +++ b/test/Transforms/IndVarSimplify/gep-with-mul-base.ll @@ -0,0 +1,58 @@ +; RUN: llvm-as < %s | opt -indvars | llvm-dis > %t +; RUN: grep add %t | count 8 +; RUN: grep mul %t | count 9 + +define void @foo(i64 %n, i64 %m, i64 %o, double* nocapture %p) nounwind { +entry: + %tmp = icmp sgt i64 %n, 0 ; <i1> [#uses=1] + br i1 %tmp, label %bb.nph, label %return + +bb.nph: ; preds = %entry + %tmp1 = mul i64 %n, 37 ; <i64> [#uses=1] + %tmp2 = mul i64 %tmp1, %m ; <i64> [#uses=1] + %tmp3 = mul i64 %tmp2, %o ; <i64> [#uses=1] + br label %bb + +bb: ; preds = %bb, %bb.nph + %i.01 = phi i64 [ %tmp3, %bb.nph ], [ %tmp13, %bb ] ; <i64> [#uses=3] + %tmp9 = getelementptr double* %p, i64 %i.01 ; <double*> [#uses=1] + %tmp10 = load double* %tmp9, align 8 ; <double> [#uses=1] + %tmp11 = fdiv double %tmp10, 2.100000e+00 ; <double> [#uses=1] + store double %tmp11, double* %tmp9, align 8 + %tmp13 = add i64 %i.01, 1 ; <i64> [#uses=2] + %tmp14 = icmp slt i64 %tmp13, %n ; <i1> [#uses=1] + br i1 %tmp14, label %bb, label %return.loopexit + +return.loopexit: ; preds = %bb + br label %return + +return: ; preds = %return.loopexit, %entry + ret void +} +define void @bar(i64 %n, i64 %m, i64 %o, i64 %q, double* nocapture %p) nounwind { +entry: + %tmp = icmp sgt i64 %n, 0 ; <i1> [#uses=1] + br i1 %tmp, label %bb.nph, label %return + +bb.nph: ; preds = %entry + %tmp1 = mul i64 %n, %q ; <i64> [#uses=1] + %tmp2 = mul i64 %tmp1, %m ; <i64> [#uses=1] + %tmp3 = mul i64 %tmp2, %o ; <i64> [#uses=1] + br label %bb + +bb: ; preds = %bb, %bb.nph + %i.01 = phi i64 [ %tmp3, %bb.nph ], [ %tmp13, %bb ] ; <i64> [#uses=3] + %tmp9 = getelementptr double* %p, i64 %i.01 ; <double*> [#uses=1] + %tmp10 = load double* %tmp9, align 8 ; <double> [#uses=1] + %tmp11 = fdiv double %tmp10, 2.100000e+00 ; <double> [#uses=1] + store double %tmp11, double* %tmp9, align 8 + %tmp13 = add i64 %i.01, 1 ; <i64> [#uses=2] + %tmp14 = icmp slt i64 %tmp13, %n ; <i1> [#uses=1] + br i1 %tmp14, label %bb, label %return.loopexit + +return.loopexit: ; preds = %bb + br label %return + +return: ; preds = %return.loopexit, %entry + ret void +} |