1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 define void @f(i16 %y) { 4 ret void 5 } 6 7 define i32 @g(i32 %y) { 8 ; CHECK-LABEL: @g( 9 ; CHECK: call i32 bitcast 10 %x = call i32 bitcast (void (i16)* @f to i32 (i32)*)( i32 %y ) ; <i32> [#uses=1] 11 ret i32 %x 12 } 13
