| Owen Anderson | f980a74 | 2006-05-26 21:59:20 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -lcssa | llvm-dis | grep "%lcssa = phi int" |
| 2 | |
| 3 | void %lcssa(bool %S2) { |
| 4 | entry: |
| 5 | br label %loop.interior |
| 6 | |
| 7 | loop.interior: ; preds = %entry |
| 8 | br bool %S2, label %if.true, label %if.false |
| 9 | |
| 10 | if.true: |
| 11 | %X1 = add int 0, 0 |
| 12 | br label %post.if |
| 13 | |
| 14 | if.false: |
| 15 | %X2 = add int 0, 1 |
| 16 | br label %post.if |
| 17 | |
| 18 | post.if: |
| 19 | %X3 = phi int [%X1, %if.true], [%X2, %if.false] |
| 20 | br bool %S2, label %loop.exit, label %loop.interior |
| 21 | |
| 22 | loop.exit: |
| 23 | %X4 = add int 3, %X3 |
| 24 | ret void |
| 25 | } |