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

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