| Tanya Lattner | 74bb9f5 | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s -o /dev/null -f |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | ; Dominance relationships is not calculated correctly for unreachable blocks, |
| 4 | ; which causes the verifier to barf on this input. |
| 5 | |
| Tanya Lattner | 74bb9f5 | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 6 | define i32 @test(i1 %b) { |
| 7 | BB0: |
| 8 | ret i32 7 ; Loop is unreachable |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | |
| Tanya Lattner | 74bb9f5 | 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 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | br label %Loop |
| 16 | } |
| 17 | |