| Nick Lewycky | 490e793 | 2008-03-16 07:55:46 +0000 | [diff] [blame] | 1 | ; RUN: not llvm-as < %s |& grep {PHI nodes not grouped at top} |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| 3 | |
| 4 | |
| Nick Lewycky | 490e793 | 2008-03-16 07:55:46 +0000 | [diff] [blame] | 5 | define i32 @test(i32 %i, i32 %j, i1 %c) { |
| 6 | br i1 %c, label %A, label %B |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | A: |
| 8 | br label %C |
| 9 | B: |
| 10 | br label %C |
| 11 | |
| 12 | C: |
| Nick Lewycky | 490e793 | 2008-03-16 07:55:46 +0000 | [diff] [blame] | 13 | %a = phi i32 [%i, %A], [%j, %B] |
| 14 | %x = add i32 %a, 0 ; Error, PHI's should be grouped! |
| 15 | %b = phi i32 [%i, %A], [%j, %B] |
| 16 | ret i32 %x |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | } |