| Dan Gohman | 1b4c2777 | 2009-09-08 16:50:01 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -ssi-everything -disable-output |
| Nick Lewycky | aff6f98 | 2009-08-17 17:00:57 +0000 | [diff] [blame] | 2 | |
| 3 | define void @test(i32 %x) { | ||||
| 4 | entry: | ||||
| 5 | br label %label1 | ||||
| 6 | label1: | ||||
| 7 | %A = phi i32 [ 0, %entry ], [ %A.1, %label2 ] | ||||
| 8 | %B = icmp slt i32 %A, %x | ||||
| 9 | br i1 %B, label %label2, label %label2 | ||||
| 10 | label2: | ||||
| 11 | %A.1 = add i32 %A, 1 | ||||
| 12 | br label %label1 | ||||
| 13 | label3: ; No predecessors! | ||||
| 14 | ret void | ||||
| 15 | } | ||||