test/Transforms/SSI/2009-08-17-CritEdge.ll

   1 ; RUN: opt < %s -ssi-everything -disable-output
   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 }