test/Transforms/SCCP/2003-08-26-InvokeHandling.ll


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

; The PHI cannot be eliminated from this testcase, SCCP is mishandling invoke's!
; RUN: as < %s | opt -sccp | dis | grep phi

declare void %foo()
int %test(bool %cond) {
Entry:
	br bool %cond, label %Inv, label %Cont
Inv:
	invoke void %foo() to label %Ok except label %Cont
Ok:
	br label %Cont
Cont:
	%X = phi int [0, %Entry], [1,%Ok], [0, %Inv]
	ret int %X
}