| ; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep br | |
| declare void %bar(int) | |
| void %test(bool %P, int* %Q) { | |
| br bool %P, label %T, label %F | |
| T: | |
| store int 1, int* %Q | |
| %A = load int* %Q | |
| call void %bar(int %A) | |
| ret void | |
| F: | |
| store int 1, int* %Q | |
| %B = load int* %Q | |
| call void %bar(int %B) | |
| ret void | |
| } | |