diff options
Diffstat (limited to 'test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll')
| -rw-r--r-- | test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll | 45 |
1 files changed, 21 insertions, 24 deletions
diff --git a/test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll b/test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll index 02765dcdc1..eaccbadbf1 100644 --- a/test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll +++ b/test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll @@ -1,30 +1,27 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \ +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | \ ; RUN: grep {%X.1.lcssa} -; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \ +; RUN: llvm-as < %s | opt -lcssa | llvm-dis | \ ; RUN: not grep {%X.1.lcssa1} -declare bool %c1() -declare bool %c2() +declare i1 @c1() -int %foo() { -entry: - br label %loop_begin - -loop_begin: - br bool true, label %loop_body.1, label %loop_exit2 - -loop_body.1: - %X.1 = add int 0, 1 - %rel.1 = call bool %c1() - br bool %rel.1, label %loop_exit, label %loop_body.2 - -loop_body.2: - %rel.2 = call bool %c2() - br bool %rel.2, label %loop_exit, label %loop_begin +declare i1 @c2() -loop_exit: - ret int %X.1 - -loop_exit2: - ret int 1 +define i32 @foo() { +entry: + br label %loop_begin +loop_begin: ; preds = %loop_body.2, %entry + br i1 true, label %loop_body.1, label %loop_exit2 +loop_body.1: ; preds = %loop_begin + %X.1 = add i32 0, 1 ; <i32> [#uses=1] + %rel.1 = call i1 @c1( ) ; <i1> [#uses=1] + br i1 %rel.1, label %loop_exit, label %loop_body.2 +loop_body.2: ; preds = %loop_body.1 + %rel.2 = call i1 @c2( ) ; <i1> [#uses=1] + br i1 %rel.2, label %loop_exit, label %loop_begin +loop_exit: ; preds = %loop_body.2, %loop_body.1 + ret i32 %X.1 +loop_exit2: ; preds = %loop_begin + ret i32 1 } + |