| ; RUN: opt < %s -ssi-everything -disable-output | |
| define void @test(i32 %x) { | |
| entry: | |
| br label %label1 | |
| label1: | |
| %A = phi i32 [ 0, %entry ], [ %A.1, %label2 ] | |
| %B = icmp slt i32 %A, %x | |
| br i1 %B, label %label2, label %label2 | |
| label2: | |
| %A.1 = add i32 %A, 1 | |
| br label %label1 | |
| label3: ; No predecessors! | |
| ret void | |
| } |