1; RUN: llc < %s -mtriple=i686-pc-win32 | FileCheck %s
2
3%Foo = type { i32, i32 }
4
5declare void @f(%Foo* inalloca %b)
6
7define void @a() {
8; CHECK-LABEL: _a:
9entry:
10  %b = alloca inalloca %Foo
11; CHECK: pushl   %eax
12; CHECK: pushl   %eax
13  %f1 = getelementptr %Foo, %Foo* %b, i32 0, i32 0
14  %f2 = getelementptr %Foo, %Foo* %b, i32 0, i32 1
15  store i32 13, i32* %f1
16  store i32 42, i32* %f2
17; CHECK: movl %esp, %eax
18; CHECK: movl    $13, (%eax)
19; CHECK: movl    $42, 4(%eax)
20  call void @f(%Foo* inalloca %b)
21; CHECK: calll   _f
22  ret void
23}
24
25declare void @inreg_with_inalloca(i32 inreg %a, %Foo* inalloca %b)
26
27define void @b() {
28; CHECK-LABEL: _b:
29entry:
30  %b = alloca inalloca %Foo
31; CHECK: pushl   %eax
32; CHECK: pushl   %eax
33  %f1 = getelementptr %Foo, %Foo* %b, i32 0, i32 0
34  %f2 = getelementptr %Foo, %Foo* %b, i32 0, i32 1
35  store i32 13, i32* %f1
36  store i32 42, i32* %f2
37; CHECK: movl %esp, %eax
38; CHECK: movl    $13, (%eax)
39; CHECK: movl    $42, 4(%eax)
40  call void @inreg_with_inalloca(i32 inreg 1, %Foo* inalloca %b)
41; CHECK: movl    $1, %eax
42; CHECK: calll   _inreg_with_inalloca
43  ret void
44}
45
46declare x86_thiscallcc void @thiscall_with_inalloca(i8* %a, %Foo* inalloca %b)
47
48define void @c() {
49; CHECK-LABEL: _c:
50entry:
51  %b = alloca inalloca %Foo
52; CHECK: pushl   %eax
53; CHECK: pushl   %eax
54  %f1 = getelementptr %Foo, %Foo* %b, i32 0, i32 0
55  %f2 = getelementptr %Foo, %Foo* %b, i32 0, i32 1
56  store i32 13, i32* %f1
57  store i32 42, i32* %f2
58; CHECK: movl %esp, %eax
59; CHECK-DAG: movl    $13, (%eax)
60; CHECK-DAG: movl    $42, 4(%eax)
61  call x86_thiscallcc void @thiscall_with_inalloca(i8* null, %Foo* inalloca %b)
62; CHECK-DAG: xorl    %ecx, %ecx
63; CHECK: calll   _thiscall_with_inalloca
64  ret void
65}
66