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

   1 ; RUN: llvm-upgrade < %s | llvm-as -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 int %test(bool %b) {
   7 BB0:  ret int 7                                 ; Loop is unreachable
   8
   9 Loop:
  10         %B = phi int [%B, %L2], [%B, %Loop]     ; PHI has same value always.
  11         br bool %b, label %L2, label %Loop
  12 L2:
  13         br label %Loop
  14 }
  15