diff options
| author | Shih-wei Liao <sliao@google.com> | 2010-02-10 11:10:31 -0800 |
|---|---|---|
| committer | Shih-wei Liao <sliao@google.com> | 2010-02-10 11:10:31 -0800 |
| commit | e264f62ca09a8f65c87a46d562a4d0f9ec5d457e (patch) | |
| tree | 59e3d57ef656cef79afa708ae0a3daf25cd91fcf /test/Assembler/2002-08-22-DominanceProblem.ll | |
| download | external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.zip external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.tar.gz external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.tar.bz2 | |
Check in LLVM r95781.
Diffstat (limited to 'test/Assembler/2002-08-22-DominanceProblem.ll')
| -rw-r--r-- | test/Assembler/2002-08-22-DominanceProblem.ll | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Assembler/2002-08-22-DominanceProblem.ll b/test/Assembler/2002-08-22-DominanceProblem.ll new file mode 100644 index 0000000..0dc192d --- /dev/null +++ b/test/Assembler/2002-08-22-DominanceProblem.ll @@ -0,0 +1,17 @@ +; RUN: llvm-as %s -o /dev/null + +; Dominance relationships is not calculated correctly for unreachable blocks, +; which causes the verifier to barf on this input. + +define i32 @test(i1 %b) { +BB0: + ret i32 7 ; Loop is unreachable + +Loop: ; preds = %L2, %Loop + %B = phi i32 [ %B, %L2 ], [ %B, %Loop ] ;PHI has same value always. + br i1 %b, label %L2, label %Loop + +L2: ; preds = %Loop + br label %Loop +} + |