; RUN: opt < %s -passes=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 | |
} | |