diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-01-11 07:47:59 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-01-11 07:47:59 +0000 |
| commit | 93767fdb61dfff6ab13056b2a73209998ae4e786 (patch) | |
| tree | f4f29b634b2ae119949ad0fc090e4cef924a892c /test/Transforms/LoopRotate | |
| parent | 965187081538623b5ed76beafb6888c81dcc80f2 (diff) | |
| download | llvm-93767fdb61dfff6ab13056b2a73209998ae4e786.tar.gz llvm-93767fdb61dfff6ab13056b2a73209998ae4e786.tar.bz2 llvm-93767fdb61dfff6ab13056b2a73209998ae4e786.tar.xz | |
remove a bogus assertion: the latch block of a loop is not
neccesarily an uncond branch to the header. This fixes
PR8955 (the assertion tripping).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123219 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopRotate')
| -rw-r--r-- | test/Transforms/LoopRotate/crash.ll | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/Transforms/LoopRotate/crash.ll b/test/Transforms/LoopRotate/crash.ll new file mode 100644 index 0000000000..d9dc803cd1 --- /dev/null +++ b/test/Transforms/LoopRotate/crash.ll @@ -0,0 +1,31 @@ +; RUN: opt -loop-rotate %s -disable-output + +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" +target triple = "x86_64-apple-darwin10.0.0" + +; PR8955 - Rotating an outer loop that has a condbr for a latch block. +define void @test1() nounwind ssp { +entry: + br label %lbl_283 + +lbl_283: ; preds = %if.end, %entry + br i1 undef, label %if.else, label %if.then + +if.then: ; preds = %lbl_283 + br i1 undef, label %if.end, label %for.condthread-pre-split + +for.condthread-pre-split: ; preds = %if.then + br label %for.cond + +for.cond: ; preds = %for.cond, %for.condthread-pre-split + br i1 undef, label %lbl_281, label %for.cond + +lbl_281: ; preds = %if.end, %for.cond + br label %if.end + +if.end: ; preds = %lbl_281, %if.then + br i1 undef, label %lbl_283, label %lbl_281 + +if.else: ; preds = %lbl_283 + ret void +} |