llvm/test/Transforms/LCSSA/2006-06-12-MultipleExitsSameBlock.ll
Dan Gohman f2f6ce65b7 Change tests from "opt %s" to "opt < %s" so that opt doesn't see the
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-11 18:01:28 +00:00

28 lines
716 B
LLVM

; RUN: opt < %s -lcssa -S | \
; RUN: grep {%X.1.lcssa}
; RUN: opt < %s -lcssa -S | \
; RUN: not grep {%X.1.lcssa1}
declare i1 @c1()
declare i1 @c2()
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
}