test/Transforms/CondProp/basictest.ll


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

; RUN: llvm-upgrade < %s | llvm-as | opt -condprop | llvm-dis | not grep 'br label'

int %test(bool %C) {
	br bool %C, label %T1, label %F1
T1:
	br label %Cont
F1:
	br label %Cont
Cont:
	%C2 = phi bool [false, %F1], [true, %T1]
	br bool %C2, label %T2, label %F2
T2:
	call void %bar()
	ret int 17
F2:
	ret int 1
}
declare void %bar()