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/Transforms/SCCP/2002-05-21-InvalidSimplify.ll | |
| download | external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.zip external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.tar.gz external_llvm-e264f62ca09a8f65c87a46d562a4d0f9ec5d457e.tar.bz2 | |
Check in LLVM r95781.
Diffstat (limited to 'test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll')
| -rw-r--r-- | test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll b/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll new file mode 100644 index 0000000..f02a293 --- /dev/null +++ b/test/Transforms/SCCP/2002-05-21-InvalidSimplify.ll @@ -0,0 +1,33 @@ +; This test shows SCCP "proving" that the loop (from bb6 to 14) loops infinitely +; this is in fact NOT the case, so the return should still be alive in the code +; after sccp and CFG simplification have been performed. +; +; RUN: opt < %s -sccp -simplifycfg -S | \ +; RUN: grep ret + +define void @old_main() { +bb3: + br label %bb6 +bb6: ; preds = %bb14, %bb3 + %reg403 = phi i32 [ %reg155, %bb14 ], [ 0, %bb3 ] ; <i32> [#uses=1] + %reg155 = add i32 %reg403, 1 ; <i32> [#uses=2] + br label %bb11 +bb11: ; preds = %bb11, %bb6 + %reg407 = phi i32 [ %reg408, %bb11 ], [ 0, %bb6 ] ; <i32> [#uses=2] + %reg408 = add i32 %reg407, 1 ; <i32> [#uses=1] + %cond550 = icmp sle i32 %reg407, 1 ; <i1> [#uses=1] + br i1 %cond550, label %bb11, label %bb12 +bb12: ; preds = %bb11 + br label %bb13 +bb13: ; preds = %bb13, %bb12 + %reg409 = phi i32 [ %reg410, %bb13 ], [ 0, %bb12 ] ; <i32> [#uses=1] + %reg410 = add i32 %reg409, 1 ; <i32> [#uses=2] + %cond552 = icmp sle i32 %reg410, 2 ; <i1> [#uses=1] + br i1 %cond552, label %bb13, label %bb14 +bb14: ; preds = %bb13 + %cond553 = icmp sle i32 %reg155, 31 ; <i1> [#uses=1] + br i1 %cond553, label %bb6, label %bb15 +bb15: ; preds = %bb14 + ret void +} + |