| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -condprop | llvm-dis | \ |
| 2 | ; RUN: not grep {br label} | ||||
| 3 | |||||
| 4 | int %test(bool %C) { | ||||
| 5 | br bool %C, label %T1, label %F1 | ||||
| 6 | T1: | ||||
| 7 | br label %Cont | ||||
| 8 | F1: | ||||
| 9 | br label %Cont | ||||
| 10 | Cont: | ||||
| 11 | %C2 = phi bool [false, %F1], [true, %T1] | ||||
| 12 | br bool %C2, label %T2, label %F2 | ||||
| 13 | T2: | ||||
| 14 | call void %bar() | ||||
| 15 | ret int 17 | ||||
| 16 | F2: | ||||
| 17 | ret int 1 | ||||
| 18 | } | ||||
| 19 | declare void %bar() | ||||