diff options
author | Dan Gohman <gohman@apple.com> | 2010-03-02 01:59:21 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-03-02 01:59:21 +0000 |
commit | 069d6f3396856655d5d4ba155ee16eb0209d38b0 (patch) | |
tree | 9e4a75f0aeb9eaf3c7760f5bbe9ea1c12134f3a1 /test/Transforms/LoopStrengthReduce | |
parent | 46ada19645c981a0b7932487d163f7582074a4d9 (diff) | |
download | external_llvm-069d6f3396856655d5d4ba155ee16eb0209d38b0.zip external_llvm-069d6f3396856655d5d4ba155ee16eb0209d38b0.tar.gz external_llvm-069d6f3396856655d5d4ba155ee16eb0209d38b0.tar.bz2 |
Non-affine post-inc SCEV expansions have more code which must be
emitted after the increment. Make sure the insert position
reflects this. This fixes PR6453.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97537 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopStrengthReduce')
-rw-r--r-- | test/Transforms/LoopStrengthReduce/nonlinear-postinc.ll | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/test/Transforms/LoopStrengthReduce/nonlinear-postinc.ll b/test/Transforms/LoopStrengthReduce/nonlinear-postinc.ll new file mode 100644 index 0000000..1e63770 --- /dev/null +++ b/test/Transforms/LoopStrengthReduce/nonlinear-postinc.ll @@ -0,0 +1,44 @@ +; RUN: opt < %s -loop-reduce +; PR6453 + +target datalayout = "e-p:64:64:64" + +define void @_ZNK15PolynomialSpaceILi3EE13compute_indexEjRA3_j() nounwind { +entry: + br label %bb6 + +bb6: + %t4 = phi i32 [ 0, %entry ], [ %t3, %bb5 ] + %t16 = sub i32 undef, %t4 + %t25 = sub i32 undef, %t4 + %t26 = add i32 undef, %t25 + br label %bb4 + +bb4: + %t2 = phi i32 [ %t1, %bb3 ], [ 0, %bb6 ] + %t17 = mul i32 %t2, %t16 + %t18 = zext i32 %t2 to i33 + %t19 = add i32 %t2, -1 + %t20 = zext i32 %t19 to i33 + %t21 = mul i33 %t18, %t20 + %t22 = lshr i33 %t21, 1 + %t23 = trunc i33 %t22 to i32 + %t24 = sub i32 %t17, %t23 + %t27 = add i32 %t24, %t26 + br i1 false, label %bb1, label %bb5 + +bb1: + %t = icmp ugt i32 %t27, undef + br i1 %t, label %bb2, label %bb3 + +bb3: + %t1 = add i32 %t2, 1 + br label %bb4 + +bb5: + %t3 = add i32 %t4, 1 + br label %bb6 + +bb2: + ret void +} |