| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 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 | |||||