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


1
2
3
4
5
6
7
8
9
10
11

; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 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
}