; RUN: llvm-as < %s | opt -abcd -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
}

; RUN: llvm-as < %s | opt -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
}

Test the pass the test is actually for, instead of one that doesn't exist.
Test the pass the test is actually for, instead of one that doesn't exist.


git-svn-id: 0ff597fd157e6f4fc38580e8d64ab130330d2411@79257 91177308-0d34-0410-b5e6-96231b3b80d8
