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