Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -sccp -dce -simplifycfg | llvm-dis | \ |
| 2 | ; RUN: not grep br |
| 3 | |
| 4 | int %test(int %param) { |
| 5 | entry: |
| 6 | %tmp.1 = setne int %param, 0 |
| 7 | br bool %tmp.1, label %endif.0, label %else |
| 8 | |
| 9 | else: |
| 10 | br label %endif.0 |
| 11 | |
| 12 | endif.0: |
| 13 | %a.0 = phi int [ 2, %else ], [ 3, %entry ] |
| 14 | %b.0 = phi int [ 3, %else ], [ 2, %entry ] |
| 15 | %tmp.5 = add int %a.0, %b.0 |
| 16 | %tmp.7 = setne int %tmp.5, 5 |
| 17 | br bool %tmp.7, label %UnifiedReturnBlock, label %endif.1 |
| 18 | |
| 19 | endif.1: |
| 20 | ret int 0 |
| 21 | |
| 22 | UnifiedReturnBlock: |
| 23 | ret int 2 |
| 24 | } |