| Dan Gohman | fea1dd0 | 2009-08-25 15:38:29 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o /dev/null |
| Duncan P. N. Exon Smith | 13f5c58 | 2014-08-19 21:08:27 +0000 | [diff] [blame] | 2 | ; RUN: verify-uselistorder %s |
| Tanya Lattner | e7e3f2e | 2004-11-06 22:07:09 +0000 | [diff] [blame] | 3 | |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 4 | ; Dominance relationships is not calculated correctly for unreachable blocks, |
| 5 | ; which causes the verifier to barf on this input. |
| 6 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 7 | define i32 @test(i1 %b) { |
| 8 | BB0: |
| 9 | ret i32 7 ; Loop is unreachable |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 10 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 11 | Loop: ; preds = %L2, %Loop |
| 12 | %B = phi i32 [ %B, %L2 ], [ %B, %Loop ] ;PHI has same value always. |
| 13 | br i1 %b, label %L2, label %Loop |
| 14 | |
| 15 | L2: ; preds = %Loop |
| Chris Lattner | c642435 | 2002-08-22 20:30:06 +0000 | [diff] [blame] | 16 | br label %Loop |
| 17 | } |
| 18 | |