1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define void @f(i16 %y) {
4 ret void
5}
6
7define 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