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