| ; RUN: llvm-as < %s | opt -condprop | llvm-dis | \ | |
| ; RUN: not grep {br label} | |
| ; RUN: llvm-as < %s | opt -condprop | llvm-dis | not grep T2 | |
| define i32 @test(i1 %C) { | |
| br i1 %C, label %T1, label %F1 | |
| T1: ; preds = %0 | |
| br label %Cont | |
| F1: ; preds = %0 | |
| br label %Cont | |
| Cont: ; preds = %F1, %T1 | |
| %C2 = phi i1 [ false, %F1 ], [ true, %T1 ] ; <i1> [#uses=1] | |
| br i1 %C2, label %T2, label %F2 | |
| T2: ; preds = %Cont | |
| call void @bar( ) | |
| ret i32 17 | |
| F2: ; preds = %Cont | |
| ret i32 1 | |
| } | |
| declare void @bar() | |