1 ; We specify -mcpu explicitly to avoid instruction reordering that happens on
2 ; some setups (e.g., Atom) from affecting the output.
3 ; RUN: llc < %s -mcpu=core2 -mtriple=i686-pc-win32 | FileCheck %s -check-prefix=WIN32
4 ; RUN: llc < %s -mcpu=core2 -mtriple=i686-pc-mingw32 | FileCheck %s -check-prefix=MINGW_X86
5 ; RUN: llc < %s -mcpu=core2 -mtriple=i686-pc-cygwin | FileCheck %s -check-prefix=CYGWIN
6 ; RUN: llc < %s -mcpu=core2 -mtriple=i386-pc-linux | FileCheck %s -check-prefix=LINUX
7 ; RUN: llc < %s -mcpu=core2 -O0 -mtriple=i686-pc-win32 | FileCheck %s -check-prefix=WIN32
8 ; RUN: llc < %s -mcpu=core2 -O0 -mtriple=i686-pc-mingw32 | FileCheck %s -check-prefix=MINGW_X86
9 ; RUN: llc < %s -mcpu=core2 -O0 -mtriple=i686-pc-cygwin | FileCheck %s -check-prefix=CYGWIN
10 ; RUN: llc < %s -mcpu=core2 -O0 -mtriple=i386-pc-linux | FileCheck %s -check-prefix=LINUX
12 ; The SysV ABI used by most Unixes and Mingw on x86 specifies that an sret pointer
13 ; is callee-cleanup. However, in MSVC's cdecl calling convention, sret pointer
14 ; arguments are caller-cleanup like normal arguments.
16 define void @sret1(i8* sret %x) nounwind {
18 ; WIN32-LABEL: _sret1:
19 ; WIN32: movb $42, (%eax)
20 ; WIN32-NOT: popl %eax
23 ; MINGW_X86-LABEL: _sret1:
24 ; MINGW_X86: {{retl$}}
26 ; CYGWIN-LABEL: _sret1:
32 store i8 42, i8* %x, align 4
36 define void @sret2(i8* sret %x, i8 %y) nounwind {
38 ; WIN32-LABEL: _sret2:
39 ; WIN32: movb {{.*}}, (%eax)
40 ; WIN32-NOT: popl %eax
43 ; MINGW_X86-LABEL: _sret2:
44 ; MINGW_X86: {{retl$}}
46 ; CYGWIN-LABEL: _sret2:
56 define void @sret3(i8* sret %x, i8* %y) nounwind {
58 ; WIN32-LABEL: _sret3:
59 ; WIN32: movb $42, (%eax)
60 ; WIN32-NOT: movb $13, (%eax)
61 ; WIN32-NOT: popl %eax
64 ; MINGW_X86-LABEL: _sret3:
65 ; MINGW_X86: {{retl$}}
67 ; CYGWIN-LABEL: _sret3:
79 %struct.S4 = type { i32, i32, i32 }
81 define void @sret4(%struct.S4* noalias sret %agg.result) {
83 ; WIN32-LABEL: _sret4:
84 ; WIN32: movl $42, (%eax)
85 ; WIN32-NOT: popl %eax
88 ; MINGW_X86-LABEL: _sret4:
89 ; MINGW_X86: {{retl$}}
91 ; CYGWIN-LABEL: _sret4:
97 %x = getelementptr inbounds %struct.S4* %agg.result, i32 0, i32 0
98 store i32 42, i32* %x, align 4
102 %struct.S5 = type { i32 }
103 %class.C5 = type { i8 }
105 define x86_thiscallcc void @"\01?foo@C5@@QAE?AUS5@@XZ"(%struct.S5* noalias sret %agg.result, %class.C5* %this) {
107 %this.addr = alloca %class.C5*, align 4
108 store %class.C5* %this, %class.C5** %this.addr, align 4
109 %this1 = load %class.C5** %this.addr
110 %x = getelementptr inbounds %struct.S5* %agg.result, i32 0, i32 0
111 store i32 42, i32* %x, align 4
113 ; WIN32-LABEL: {{^}}"?foo@C5@@QAE?AUS5@@XZ":
114 ; MINGW_X86-LABEL: {{^}}"?foo@C5@@QAE?AUS5@@XZ":
115 ; CYGWIN-LABEL: {{^}}"?foo@C5@@QAE?AUS5@@XZ":
116 ; LINUX-LABEL: {{^}}"?foo@C5@@QAE?AUS5@@XZ":
118 ; The address of the return structure is passed as an implicit parameter.
119 ; In the -O0 build, %eax is spilled at the beginning of the function, hence we
120 ; should match both 4(%esp) and 8(%esp).
121 ; WIN32: {{[48]}}(%esp), %eax
122 ; WIN32: movl $42, (%eax)
126 define void @call_foo5() {
128 %c = alloca %class.C5, align 1
129 %s = alloca %struct.S5, align 4
130 call x86_thiscallcc void @"\01?foo@C5@@QAE?AUS5@@XZ"(%struct.S5* sret %s, %class.C5* %c)
131 ; WIN32-LABEL: {{^}}_call_foo5:
132 ; MINGW_X86-LABEL: {{^}}_call_foo5:
133 ; CYGWIN-LABEL: {{^}}_call_foo5:
134 ; LINUX-LABEL: {{^}}call_foo5:
137 ; Load the address of the result and put it onto stack
138 ; (through %ecx in the -O0 build).
139 ; WIN32: leal {{[0-9]+}}(%esp), %e{{[a-d]}}x
140 ; WIN32: movl %e{{[a-d]}}x, (%e{{([a-d]x)|(sp)}})
142 ; The this pointer goes to ECX.
143 ; WIN32-NEXT: leal {{[0-9]+}}(%esp), %ecx
144 ; WIN32-NEXT: calll "?foo@C5@@QAE?AUS5@@XZ"
150 %struct.test6 = type { i32, i32, i32 }
151 define void @test6_f(%struct.test6* %x) nounwind {
152 ; WIN32-LABEL: _test6_f:
153 ; MINGW_X86-LABEL: _test6_f:
154 ; CYGWIN-LABEL: _test6_f:
155 ; LINUX-LABEL: test6_f:
157 ; The %x argument is moved to %ecx. It will be the this pointer.
158 ; WIN32: movl 8(%ebp), %ecx
160 ; The %x argument is moved to (%esp). It will be the this pointer. With -O0
161 ; we copy esp to ecx and use (ecx) instead of (esp).
162 ; MINGW_X86: movl 8(%ebp), %eax
163 ; MINGW_X86: movl %eax, (%e{{([a-d]x)|(sp)}})
165 ; CYGWIN: movl 8(%ebp), %eax
166 ; CYGWIN: movl %eax, (%e{{([a-d]x)|(sp)}})
168 ; The sret pointer is (%esp)
169 ; WIN32: leal 8(%esp), %[[REG:e[a-d]x]]
170 ; WIN32-NEXT: movl %[[REG]], (%e{{([a-d]x)|(sp)}})
172 ; The sret pointer is %ecx
173 ; MINGW_X86-NEXT: leal 8(%esp), %ecx
174 ; MINGW_X86-NEXT: calll _test6_g
176 ; CYGWIN-NEXT: leal 8(%esp), %ecx
177 ; CYGWIN-NEXT: calll _test6_g
179 %tmp = alloca %struct.test6, align 4
180 call x86_thiscallcc void @test6_g(%struct.test6* sret %tmp, %struct.test6* %x)
183 declare x86_thiscallcc void @test6_g(%struct.test6* sret, %struct.test6*)