diff options
author | Andrew Trick <atrick@apple.com> | 2011-09-12 17:20:57 +0000 |
---|---|---|
committer | Andrew Trick <atrick@apple.com> | 2011-09-12 17:20:57 +0000 |
commit | 8f7ca5d98e7fa1c2933c939e5f279d78c6f8fdee (patch) | |
tree | 52fb11d1507a6df80c62d569af8800f21b90e360 /test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll | |
parent | 5443140021291121a1e9d11cc4d74428f259cd6f (diff) | |
download | external_llvm-8f7ca5d98e7fa1c2933c939e5f279d78c6f8fdee.zip external_llvm-8f7ca5d98e7fa1c2933c939e5f279d78c6f8fdee.tar.gz external_llvm-8f7ca5d98e7fa1c2933c939e5f279d78c6f8fdee.tar.bz2 |
Test case for r139453, WidenIV::GetExtendedOperandRecurrence.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139504 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll')
-rw-r--r-- | test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll b/test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll new file mode 100644 index 0000000..4dc3c1e --- /dev/null +++ b/test/Transforms/IndVarSimplify/2011-09-10-widen-nsw.ll @@ -0,0 +1,30 @@ +; RUN: opt < %s -indvars -disable-iv-rewrite -S | FileCheck %s +; Test WidenIV::GetExtendedOperandRecurrence. +; add219 should be extended to i64 because it is nsw, even though its +; sext cannot be hoisted outside the loop. + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" + +define void @test() nounwind { +entry: + br i1 undef, label %for.body11, label %for.end285 + +for.body11: ; preds = %entry + %shl = shl i32 1, 1 + %shl132 = shl i32 %shl, 1 + br label %for.body153 + +for.body153: ; preds = %for.body153, %for.body11 + br i1 undef, label %for.body170, label %for.body153 + +; CHECK: add nsw i64 %indvars.iv, 1 +for.body170: ; preds = %for.body170, %for.body153 + %i2.19 = phi i32 [ %add249, %for.body170 ], [ undef, %for.body153 ] + %add219 = add nsw i32 %i2.19, 1 + %idxprom220 = sext i32 %add219 to i64 + %add249 = add nsw i32 %i2.19, %shl132 + br label %for.body170 + +for.end285: ; preds = %entry + ret void +} |