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

   1 ; Dominance relationships is not calculated correctly for unreachable blocks,
   2 ; which causes the verifier to barf on this input.
   3
   4 int %test(bool %b) {
   5 BB0:  ret int 7                                 ; Loop is unreachable
   6
   7 Loop:
   8         %B = phi int [%B, %L2], [%B, %Loop]     ; PHI has same value always.
   9         br bool %b, label %L2, label %Loop
  10 L2:
  11         br label %Loop
  12 }
  13