; RUN: opt < %s -sccp -S | grep {ret i32 1} ; This function definitely returns 1, even if we don't know the direction ; of the branch. define i32 @foo() { br i1 undef, label %T, label %T T: ; preds = %0, %0 %X = add i32 0, 1 ; <i32> [#uses=1] ret i32 %X }