| Eli Bendersky | aa3ffaf | 2013-04-08 18:33:51 +0000 | [diff] [blame^] | 1 | ; RUN: not llvm-as < %s 2>&1 | FileCheck %s |
| 2 | ; CHECK: PHI nodes not grouped at top |
| Chris Lattner | 18b412d | 2002-06-08 17:33:16 +0000 | [diff] [blame] | 3 | |
| Nick Lewycky | ec6f166 | 2008-03-16 07:55:46 +0000 | [diff] [blame] | 4 | define i32 @test(i32 %i, i32 %j, i1 %c) { |
| 5 | br i1 %c, label %A, label %B |
| Chris Lattner | 18b412d | 2002-06-08 17:33:16 +0000 | [diff] [blame] | 6 | A: |
| 7 | br label %C |
| 8 | B: |
| 9 | br label %C |
| 10 | |
| 11 | C: |
| Nick Lewycky | ec6f166 | 2008-03-16 07:55:46 +0000 | [diff] [blame] | 12 | %a = phi i32 [%i, %A], [%j, %B] |
| 13 | %x = add i32 %a, 0 ; Error, PHI's should be grouped! |
| 14 | %b = phi i32 [%i, %A], [%j, %B] |
| 15 | ret i32 %x |
| Chris Lattner | 18b412d | 2002-06-08 17:33:16 +0000 | [diff] [blame] | 16 | } |