; RUN: opt -S < %s -correlated-propagation | FileCheck %s
-; CHECK: @check
+; CHECK-LABEL: @test(
define i16 @test(i32 %a, i1 %b) {
entry:
%c = icmp eq i32 %a, 0
%h = select i1 %f, i16 1, i16 0
; CHECK: ret i16 %h
ret i16 %h
-}
\ No newline at end of file
+}