; 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
}