|
; RUN: opt < %s -sccp -S | grep "ret i32 %X"
|
|
|
|
; 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
|
|
}
|
|
|