-; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%X.1.lcssa" &&
-; RUN: llvm-as < %s | opt -lcssa | llvm-dis | not grep "%X.1.lcssa1"
+; RUN: opt < %s -lcssa -S | \
+; RUN: grep "%X.1.lcssa"
+; RUN: opt < %s -lcssa -S | \
+; 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
}
+