| Dan Gohman | fea1dd0 | 2009-08-25 15:38:29 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o /dev/null |
| Tanya Lattner | e7e3f2e | 2004-11-06 22:07:09 +0000 | [diff] [blame] | 2 | |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 3 | ; Dominance relationships is not calculated correctly for unreachable blocks, |
| 4 | ; which causes the verifier to barf on this input. |
| 5 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 6 | define i32 @test(i1 %b) { |
| 7 | BB0: |
| 8 | ret i32 7 ; Loop is unreachable |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 9 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 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 |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 15 | br label %Loop |
| 16 | } |
| 17 | |