llvm/test/Transforms/CondProp/basictest.ll

; 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()
Use the llvm-upgrade program to upgrade llvm assembly. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32115 91177308-0d34-0410-b5e6-96231b3b80d8 2006-12-02 04:23:10 +00:00			`; RUN: llvm-upgrade < %s \| llvm-as \| opt -condprop \| llvm-dis \| not grep 'br label'`
new testcase git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@21304 91177308-0d34-0410-b5e6-96231b3b80d8 2005-04-15 19:24:36 +00:00
			`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()`