test/Verifier/PhiGrouping.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

; RUN: not llvm-as < %s 2>&1 | FileCheck %s
; CHECK: PHI nodes not grouped at top

define i32 @test(i32 %i, i32 %j, i1 %c) {
	br i1 %c, label %A, label %B
A:
	br label %C
B:
	br label %C

C:
	%a = phi i32 [%i, %A], [%j, %B]
	%x = add i32 %a, 0                 ; Error, PHI's should be grouped!
	%b = phi i32 [%i, %A], [%j, %B]
	ret i32 %x
}