| ; RUN: llvm-as < %s | opt -condprop | llvm-dis | not grep 'br label' | |
| int %test(bool %C) { | |
| br bool %C, label %T1, label %F1 | |
| T1: | |
| br label %Cont | |
| F1: | |
| br label %Cont | |
| Cont: | |
| %C2 = phi bool [false, %F1], [true, %T1] | |
| br bool %C2, label %T2, label %F2 | |
| T2: | |
| call void %bar() | |
| ret int 17 | |
| F2: | |
| ret int 1 | |
| } | |
| declare void %bar() |