test/Transforms/SCCP/2004-12-10-UndefBranchBug.ll


1
2
3
4
5
6
7
8
9
10
11

; RUN: llvm-upgrade < %s | llvm-as | opt -sccp | llvm-dis | grep {ret i32 1}

; This function definitely returns 1, even if we don't know the direction
; of the branch.

int %foo() {
	br bool undef, label %T, label %T
T:
	%X = add int 0, 1
	ret int %X
}