test/Assembler/2002-08-22-DominanceProblem.ll

   1 ; RUN: llvm-as %s -o /dev/null
   2 ; RUN: verify-uselistorder %s
   3
   4 ; Dominance relationships is not calculated correctly for unreachable blocks,
   5 ; which causes the verifier to barf on this input.
   6
   7 define i32 @test(i1 %b) {
   8 BB0:
   9         ret i32 7 ; Loop is unreachable
  10
  11 Loop:           ; preds = %L2, %Loop
  12         %B = phi i32 [ %B, %L2 ], [ %B, %Loop ]         ;PHI has same value always.
  13         br i1 %b, label %L2, label %Loop
  14
  15 L2:             ; preds = %Loop
  16         br label %Loop
  17 }
  18