| ; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep br | |
| int %test(bool %C, int %V1, int %V2) { | |
| entry: | |
| br bool %C, label %then, label %Cont | |
| then: | |
| %V3 = or int %V2, %V1 | |
| br label %Cont | |
| Cont: | |
| %V4 = phi int [%V1, %entry], [%V3, %then] | |
| call int %test(bool false, int 0, int 0) ;; don't fold into preds | |
| ret int %V1 | |
| } | |