diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-21 17:27:23 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-09-21 17:27:23 +0000 |
commit | 28aff84ceb2fcf0e4b05ed95b81e46fcd4cd373f (patch) | |
tree | 940bcba6df7fb0e78b5162783505b07bb4828c7f /test/Transforms/LoopIdiom | |
parent | e5e674ba1191d9e9c528eb363babdcbea1359e10 (diff) | |
download | external_llvm-28aff84ceb2fcf0e4b05ed95b81e46fcd4cd373f.zip external_llvm-28aff84ceb2fcf0e4b05ed95b81e46fcd4cd373f.tar.gz external_llvm-28aff84ceb2fcf0e4b05ed95b81e46fcd4cd373f.tar.bz2 |
LoopIdiom: Give up when the loop is not in canonical form.
We rely on it when doing the transforms. This can happen when there is an
indirectbr in the loop.
Fixes PR13892.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@164383 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopIdiom')
-rw-r--r-- | test/Transforms/LoopIdiom/non-canonical-loop.ll | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/Transforms/LoopIdiom/non-canonical-loop.ll b/test/Transforms/LoopIdiom/non-canonical-loop.ll new file mode 100644 index 0000000..a6a4f92 --- /dev/null +++ b/test/Transforms/LoopIdiom/non-canonical-loop.ll @@ -0,0 +1,34 @@ +; RUN: opt -S -loop-idiom < %s +; Don't crash +; PR13892 + +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-S128" +target triple = "x86_64-unknown-linux-gnu" + +define void @test(i32* %currMB) nounwind uwtable { +entry: + br i1 undef, label %start.exit, label %if.then.i + +if.then.i: ; preds = %entry + unreachable + +start.exit: ; preds = %entry + indirectbr i8* undef, [label %0, label %for.bodyprime] + +; <label>:0 ; preds = %start.exit + unreachable + +for.bodyprime: ; preds = %for.bodyprime, %start.exit + %i.057375 = phi i32 [ 0, %start.exit ], [ %1, %for.bodyprime ] + %arrayidx8prime = getelementptr inbounds i32* %currMB, i32 %i.057375 + store i32 0, i32* %arrayidx8prime, align 4 + %1 = add i32 %i.057375, 1 + %cmp5prime = icmp slt i32 %1, 4 + br i1 %cmp5prime, label %for.bodyprime, label %for.endprime + +for.endprime: ; preds = %for.bodyprime + br label %for.body23prime + +for.body23prime: ; preds = %for.body23prime, %for.endprime + br label %for.body23prime +} |