| ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | \ | |
| ; RUN: not grep {br label} | |
| define void @test(i1 %C) { | |
| br i1 %C, label %A, label %B | |
| A: ; preds = %0 | |
| call void @test( i1 %C ) | |
| br label %X | |
| B: ; preds = %0 | |
| call void @test( i1 %C ) | |
| br label %X | |
| X: ; preds = %B, %A | |
| unwind | |
| } | |