test/Transforms/ADCE/2002-05-22-PHITest.ll


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

; It is illegal to remove BB1 because it will mess up the PHI node!
;
; RUN: as < %s | opt -adce | dis | grep BB1


int "test"(bool %C, int %A, int %B) {
	br bool %C, label %BB1, label %BB2
BB1:
	br label %BB2
BB2:
	%R = phi int [%A, %0], [%B, %BB1]
	ret int %R
}