1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 target datalayout = "e-p:32:32"
4 target triple = "i686-pc-linux-gnu"
6 declare void @takes_i32(i32)
7 declare void @takes_i32_inalloca(i32* inalloca(i32))
10 ; CHECK-LABEL: define void @f()
11 %args = alloca inalloca i32
12 call void bitcast (void (i32)* @takes_i32 to void (i32*)*)(i32* inalloca(i32) %args)
13 ; CHECK: call void bitcast
18 ; CHECK-LABEL: define void @g()
19 call void bitcast (void (i32*)* @takes_i32_inalloca to void (i32)*)(i32 0)
20 ; CHECK: call void bitcast