|
150
|
1 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=i386-pc-linux | FileCheck -check-prefix LINUX %s
|
|
|
2 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=i386-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WIN32 %s
|
|
|
3 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=thumb-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WOA %s
|
|
|
4 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WIN64 %s
|
|
|
5 // RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=aarch64-windows-msvc -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WOA64 %s
|
|
|
6
|
|
|
7 struct Empty {};
|
|
|
8
|
|
|
9 struct EmptyWithCtor {
|
|
|
10 EmptyWithCtor() {}
|
|
|
11 };
|
|
|
12
|
|
|
13 struct Small {
|
|
|
14 int x;
|
|
|
15 };
|
|
|
16
|
|
|
17 // This is a C++11 trivial and standard-layout struct but not a C++03 POD.
|
|
|
18 struct SmallCpp11NotCpp03Pod : Empty {
|
|
|
19 int x;
|
|
|
20 };
|
|
|
21
|
|
|
22 struct SmallWithCtor {
|
|
|
23 SmallWithCtor() {}
|
|
|
24 int x;
|
|
|
25 };
|
|
|
26
|
|
|
27 struct Multibyte {
|
|
|
28 char a, b, c, d;
|
|
|
29 };
|
|
|
30
|
|
|
31 struct Packed {
|
|
|
32 short a;
|
|
|
33 int b;
|
|
|
34 short c;
|
|
|
35 };
|
|
|
36
|
|
|
37 struct SmallWithDtor {
|
|
|
38 SmallWithDtor();
|
|
|
39 ~SmallWithDtor();
|
|
|
40 int x;
|
|
|
41 };
|
|
|
42
|
|
|
43 struct SmallWithVftable {
|
|
|
44 int x;
|
|
|
45 virtual void foo();
|
|
|
46 };
|
|
|
47
|
|
|
48 struct Medium {
|
|
|
49 int x, y;
|
|
|
50 };
|
|
|
51
|
|
|
52 struct MediumWithCopyCtor {
|
|
|
53 MediumWithCopyCtor();
|
|
|
54 MediumWithCopyCtor(const struct MediumWithCopyCtor &);
|
|
|
55 int x, y;
|
|
|
56 };
|
|
|
57
|
|
|
58 struct Big {
|
|
|
59 int a, b, c, d, e, f;
|
|
|
60 };
|
|
|
61
|
|
|
62 struct BigWithDtor {
|
|
|
63 BigWithDtor();
|
|
|
64 ~BigWithDtor();
|
|
|
65 int a, b, c, d, e, f;
|
|
|
66 };
|
|
|
67
|
|
|
68 struct BaseNoByval : Small {
|
|
|
69 int bb;
|
|
|
70 };
|
|
|
71
|
|
|
72 struct SmallWithPrivate {
|
|
|
73 private:
|
|
|
74 int i;
|
|
|
75 };
|
|
|
76
|
|
|
77 // WIN32: declare dso_local void @"{{.*take_bools_and_chars.*}}"
|
|
|
78 // WIN32: (<{ i8, [3 x i8], i8, [3 x i8], %struct.SmallWithDtor,
|
|
|
79 // WIN32: i8, [3 x i8], i8, [3 x i8], i32, i8, [3 x i8] }>* inalloca)
|
|
|
80 void take_bools_and_chars(char a, char b, SmallWithDtor c, char d, bool e, int f, bool g);
|
|
|
81 void call_bools_and_chars() {
|
|
|
82 take_bools_and_chars('A', 'B', SmallWithDtor(), 'D', true, 13, false);
|
|
|
83 }
|
|
|
84
|
|
|
85 // Returning structs that fit into a register.
|
|
|
86 Small small_return() { return Small(); }
|
|
173
|
87 // LINUX-LABEL: define void @_Z12small_returnv(%struct.Small* noalias sret align 4 %agg.result)
|
|
150
|
88 // WIN32: define dso_local i32 @"?small_return@@YA?AUSmall@@XZ"()
|
|
|
89 // WIN64: define dso_local i32 @"?small_return@@YA?AUSmall@@XZ"()
|
|
|
90
|
|
|
91 Medium medium_return() { return Medium(); }
|
|
173
|
92 // LINUX-LABEL: define void @_Z13medium_returnv(%struct.Medium* noalias sret align 4 %agg.result)
|
|
150
|
93 // WIN32: define dso_local i64 @"?medium_return@@YA?AUMedium@@XZ"()
|
|
|
94 // WIN64: define dso_local i64 @"?medium_return@@YA?AUMedium@@XZ"()
|
|
|
95
|
|
|
96 // Returning structs that fit into a register but are not POD.
|
|
|
97 SmallCpp11NotCpp03Pod small_non_pod_return() { return SmallCpp11NotCpp03Pod(); }
|
|
173
|
98 // LINUX-LABEL: define void @_Z20small_non_pod_returnv(%struct.SmallCpp11NotCpp03Pod* noalias sret align 4 %agg.result)
|
|
|
99 // WIN32: define dso_local void @"?small_non_pod_return@@YA?AUSmallCpp11NotCpp03Pod@@XZ"(%struct.SmallCpp11NotCpp03Pod* noalias sret align 4 %agg.result)
|
|
|
100 // WIN64: define dso_local void @"?small_non_pod_return@@YA?AUSmallCpp11NotCpp03Pod@@XZ"(%struct.SmallCpp11NotCpp03Pod* noalias sret align 4 %agg.result)
|
|
150
|
101
|
|
|
102 SmallWithCtor small_with_ctor_return() { return SmallWithCtor(); }
|
|
173
|
103 // LINUX-LABEL: define void @_Z22small_with_ctor_returnv(%struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
|
104 // WIN32: define dso_local void @"?small_with_ctor_return@@YA?AUSmallWithCtor@@XZ"(%struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
|
105 // WIN64: define dso_local void @"?small_with_ctor_return@@YA?AUSmallWithCtor@@XZ"(%struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
150
|
106 // FIXME: The 'sret' mark here doesn't seem to be enough to convince LLVM to
|
|
|
107 // preserve the hidden sret pointer in R0 across the function.
|
|
173
|
108 // WOA: define dso_local arm_aapcs_vfpcc void @"?small_with_ctor_return@@YA?AUSmallWithCtor@@XZ"(%struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
150
|
109
|
|
|
110 SmallWithVftable small_with_vftable_return() { return SmallWithVftable(); }
|
|
173
|
111 // LINUX-LABEL: define void @_Z25small_with_vftable_returnv(%struct.SmallWithVftable* noalias sret align 4 %agg.result)
|
|
|
112 // WIN32: define dso_local void @"?small_with_vftable_return@@YA?AUSmallWithVftable@@XZ"(%struct.SmallWithVftable* noalias sret align 4 %agg.result)
|
|
|
113 // WIN64: define dso_local void @"?small_with_vftable_return@@YA?AUSmallWithVftable@@XZ"(%struct.SmallWithVftable* noalias sret align 8 %agg.result)
|
|
150
|
114
|
|
|
115 MediumWithCopyCtor medium_with_copy_ctor_return() { return MediumWithCopyCtor(); }
|
|
173
|
116 // LINUX-LABEL: define void @_Z28medium_with_copy_ctor_returnv(%struct.MediumWithCopyCtor* noalias sret align 4 %agg.result)
|
|
|
117 // WIN32: define dso_local void @"?medium_with_copy_ctor_return@@YA?AUMediumWithCopyCtor@@XZ"(%struct.MediumWithCopyCtor* noalias sret align 4 %agg.result)
|
|
|
118 // WIN64: define dso_local void @"?medium_with_copy_ctor_return@@YA?AUMediumWithCopyCtor@@XZ"(%struct.MediumWithCopyCtor* noalias sret align 4 %agg.result)
|
|
|
119 // WOA: define dso_local arm_aapcs_vfpcc void @"?medium_with_copy_ctor_return@@YA?AUMediumWithCopyCtor@@XZ"(%struct.MediumWithCopyCtor* noalias sret align 4 %agg.result)
|
|
150
|
120
|
|
|
121 // Returning a large struct that doesn't fit into a register.
|
|
|
122 Big big_return() { return Big(); }
|
|
173
|
123 // LINUX-LABEL: define void @_Z10big_returnv(%struct.Big* noalias sret align 4 %agg.result)
|
|
|
124 // WIN32: define dso_local void @"?big_return@@YA?AUBig@@XZ"(%struct.Big* noalias sret align 4 %agg.result)
|
|
|
125 // WIN64: define dso_local void @"?big_return@@YA?AUBig@@XZ"(%struct.Big* noalias sret align 4 %agg.result)
|
|
150
|
126
|
|
|
127
|
|
|
128 void small_arg(Small s) {}
|
|
|
129 // LINUX-LABEL: define void @_Z9small_arg5Small(i32 %s.0)
|
|
|
130 // WIN32: define dso_local void @"?small_arg@@YAXUSmall@@@Z"(i32 %s.0)
|
|
|
131 // WIN64: define dso_local void @"?small_arg@@YAXUSmall@@@Z"(i32 %s.coerce)
|
|
|
132 // WOA: define dso_local arm_aapcs_vfpcc void @"?small_arg@@YAXUSmall@@@Z"([1 x i32] %s.coerce)
|
|
|
133
|
|
|
134 void medium_arg(Medium s) {}
|
|
|
135 // LINUX-LABEL: define void @_Z10medium_arg6Medium(i32 %s.0, i32 %s.1)
|
|
|
136 // WIN32: define dso_local void @"?medium_arg@@YAXUMedium@@@Z"(i32 %s.0, i32 %s.1)
|
|
|
137 // WIN64: define dso_local void @"?medium_arg@@YAXUMedium@@@Z"(i64 %s.coerce)
|
|
|
138 // WOA: define dso_local arm_aapcs_vfpcc void @"?medium_arg@@YAXUMedium@@@Z"([2 x i32] %s.coerce)
|
|
|
139
|
|
|
140 void base_no_byval_arg(BaseNoByval s) {}
|
|
|
141 // LINUX-LABEL: define void @_Z17base_no_byval_arg11BaseNoByval(%struct.BaseNoByval* byval(%struct.BaseNoByval) align 4 %s)
|
|
|
142 // WIN32: define dso_local void @"?base_no_byval_arg@@YAXUBaseNoByval@@@Z"(i32 %s.0, i32 %s.1)
|
|
|
143 // WIN64: define dso_local void @"?base_no_byval_arg@@YAXUBaseNoByval@@@Z"(i64 %s.coerce)
|
|
|
144 // WOA: define dso_local arm_aapcs_vfpcc void @"?base_no_byval_arg@@YAXUBaseNoByval@@@Z"([2 x i32] %s.coerce)
|
|
|
145
|
|
|
146 void small_arg_with_ctor(SmallWithCtor s) {}
|
|
|
147 // LINUX-LABEL: define void @_Z19small_arg_with_ctor13SmallWithCtor(%struct.SmallWithCtor* byval(%struct.SmallWithCtor) align 4 %s)
|
|
|
148 // WIN32: define dso_local void @"?small_arg_with_ctor@@YAXUSmallWithCtor@@@Z"(i32 %s.0)
|
|
|
149 // WIN64: define dso_local void @"?small_arg_with_ctor@@YAXUSmallWithCtor@@@Z"(i32 %s.coerce)
|
|
|
150 // WOA: define dso_local arm_aapcs_vfpcc void @"?small_arg_with_ctor@@YAXUSmallWithCtor@@@Z"([1 x i32] %s.coerce)
|
|
|
151
|
|
|
152 // FIXME: We could coerce to a series of i32s here if we wanted to.
|
|
|
153 void multibyte_arg(Multibyte s) {}
|
|
|
154 // LINUX-LABEL: define void @_Z13multibyte_arg9Multibyte(%struct.Multibyte* byval(%struct.Multibyte) align 4 %s)
|
|
|
155 // WIN32: define dso_local void @"?multibyte_arg@@YAXUMultibyte@@@Z"(%struct.Multibyte* byval(%struct.Multibyte) align 4 %s)
|
|
|
156 // WIN64: define dso_local void @"?multibyte_arg@@YAXUMultibyte@@@Z"(i32 %s.coerce)
|
|
|
157 // WOA: define dso_local arm_aapcs_vfpcc void @"?multibyte_arg@@YAXUMultibyte@@@Z"([1 x i32] %s.coerce)
|
|
|
158
|
|
|
159 void packed_arg(Packed s) {}
|
|
|
160 // LINUX-LABEL: define void @_Z10packed_arg6Packed(%struct.Packed* byval(%struct.Packed) align 4 %s)
|
|
|
161 // WIN32: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* byval(%struct.Packed) align 4 %s)
|
|
|
162 // WIN64: define dso_local void @"?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* %s)
|
|
|
163
|
|
|
164 // Test that dtors are invoked in the callee.
|
|
|
165 void small_arg_with_dtor(SmallWithDtor s) {}
|
|
|
166 // WIN32: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(<{ %struct.SmallWithDtor }>* inalloca %0) {{.*}} {
|
|
|
167 // WIN32: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
|
|
|
168 // WIN32: }
|
|
|
169 // WIN64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %s.coerce) {{.*}} {
|
|
|
170 // WIN64: call void @"??1SmallWithDtor@@QEAA@XZ"
|
|
|
171 // WIN64: }
|
|
|
172 // WOA64: define dso_local void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i64 %s.coerce) {{.*}} {
|
|
|
173 // WOA64: call void @"??1SmallWithDtor@@QEAA@XZ"(%struct.SmallWithDtor* %s)
|
|
|
174 // WOA64: }
|
|
|
175
|
|
|
176 // FIXME: MSVC incompatible!
|
|
|
177 // WOA: define dso_local arm_aapcs_vfpcc void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(%struct.SmallWithDtor* %s) {{.*}} {
|
|
|
178 // WOA: call arm_aapcs_vfpcc void @"??1SmallWithDtor@@QAA@XZ"(%struct.SmallWithDtor* %s)
|
|
|
179 // WOA: }
|
|
|
180
|
|
|
181
|
|
|
182 // Test that the eligible non-aggregate is passed directly, but returned
|
|
|
183 // indirectly on ARM64 Windows.
|
|
173
|
184 // WOA64: define dso_local void @"?small_arg_with_private_member@@YA?AUSmallWithPrivate@@U1@@Z"(%struct.SmallWithPrivate* inreg noalias sret align 4 %agg.result, i64 %s.coerce) {{.*}} {
|
|
150
|
185 SmallWithPrivate small_arg_with_private_member(SmallWithPrivate s) { return s; }
|
|
|
186
|
|
|
187 void call_small_arg_with_dtor() {
|
|
|
188 small_arg_with_dtor(SmallWithDtor());
|
|
|
189 }
|
|
|
190 // WIN64-LABEL: define dso_local void @"?call_small_arg_with_dtor@@YAXXZ"()
|
|
|
191 // WIN64: call %struct.SmallWithDtor* @"??0SmallWithDtor@@QEAA@XZ"
|
|
|
192 // WIN64: call void @"?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %{{.*}})
|
|
|
193 // WIN64: ret void
|
|
|
194
|
|
|
195 // Test that references aren't destroyed in the callee.
|
|
|
196 void ref_small_arg_with_dtor(const SmallWithDtor &s) { }
|
|
173
|
197 // WIN32: define dso_local void @"?ref_small_arg_with_dtor@@YAXABUSmallWithDtor@@@Z"(%struct.SmallWithDtor* nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %s) {{.*}} {
|
|
150
|
198 // WIN32-NOT: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
|
|
|
199 // WIN32: }
|
|
173
|
200 // WIN64-LABEL: define dso_local void @"?ref_small_arg_with_dtor@@YAXAEBUSmallWithDtor@@@Z"(%struct.SmallWithDtor* nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) %s)
|
|
150
|
201
|
|
|
202 void big_arg_with_dtor(BigWithDtor s) {}
|
|
|
203 // WIN64-LABEL: define dso_local void @"?big_arg_with_dtor@@YAXUBigWithDtor@@@Z"(%struct.BigWithDtor* %s)
|
|
|
204 // WIN64: call void @"??1BigWithDtor@@QEAA@XZ"
|
|
|
205 // WIN64: }
|
|
|
206
|
|
|
207 void call_big_arg_with_dtor() {
|
|
|
208 big_arg_with_dtor(BigWithDtor());
|
|
|
209 }
|
|
|
210 // We can elide the copy of the temporary in the caller, because this object is
|
|
|
211 // larger than 8 bytes and is passed indirectly.
|
|
|
212 // WIN64-LABEL: define dso_local void @"?call_big_arg_with_dtor@@YAXXZ"()
|
|
|
213 // WIN64: call %struct.BigWithDtor* @"??0BigWithDtor@@QEAA@XZ"
|
|
|
214 // WIN64: call void @"?big_arg_with_dtor@@YAXUBigWithDtor@@@Z"(%struct.BigWithDtor* %{{.*}})
|
|
|
215 // WIN64-NOT: call void @"??1BigWithDtor@@QEAA@XZ"
|
|
|
216 // WIN64: ret void
|
|
|
217
|
|
|
218 // Test that temporaries passed by reference are destroyed in the caller.
|
|
|
219 void temporary_ref_with_dtor() {
|
|
|
220 ref_small_arg_with_dtor(SmallWithDtor());
|
|
|
221 }
|
|
|
222 // WIN32: define dso_local void @"?temporary_ref_with_dtor@@YAXXZ"() {{.*}} {
|
|
|
223 // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
|
|
|
224 // WIN32: call void @"?ref_small_arg_with_dtor@@YAXABUSmallWithDtor@@@Z"
|
|
|
225 // WIN32: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
|
|
|
226 // WIN32: }
|
|
|
227
|
|
|
228 void takes_two_by_val_with_dtor(SmallWithDtor a, SmallWithDtor b);
|
|
|
229 void eh_cleanup_arg_with_dtor() {
|
|
|
230 takes_two_by_val_with_dtor(SmallWithDtor(), SmallWithDtor());
|
|
|
231 }
|
|
|
232 // When exceptions are off, we don't have any cleanups. See
|
|
|
233 // microsoft-abi-exceptions.cpp for these cleanups.
|
|
|
234 // WIN32: define dso_local void @"?eh_cleanup_arg_with_dtor@@YAXXZ"() {{.*}} {
|
|
|
235 // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
|
|
|
236 // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
|
|
|
237 // WIN32: call void @"?takes_two_by_val_with_dtor@@YAXUSmallWithDtor@@0@Z"
|
|
|
238 // WIN32-NOT: call x86_thiscallcc void @"??1SmallWithDtor@@QAE@XZ"
|
|
|
239 // WIN32: }
|
|
|
240
|
|
|
241 void small_arg_with_vftable(SmallWithVftable s) {}
|
|
|
242 // LINUX-LABEL: define void @_Z22small_arg_with_vftable16SmallWithVftable(%struct.SmallWithVftable* %s)
|
|
|
243 // WIN32: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(<{ %struct.SmallWithVftable }>* inalloca %0)
|
|
|
244 // WIN64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s)
|
|
|
245 // WOA64: define dso_local void @"?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s)
|
|
|
246
|
|
|
247 void medium_arg_with_copy_ctor(MediumWithCopyCtor s) {}
|
|
|
248 // LINUX-LABEL: define void @_Z25medium_arg_with_copy_ctor18MediumWithCopyCtor(%struct.MediumWithCopyCtor* %s)
|
|
|
249 // WIN32: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(<{ %struct.MediumWithCopyCtor }>* inalloca %0)
|
|
|
250 // WIN64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
|
|
|
251 // WOA: define dso_local arm_aapcs_vfpcc void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
|
|
|
252 // WOA64: define dso_local void @"?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
|
|
|
253
|
|
|
254 void big_arg(Big s) {}
|
|
|
255 // LINUX-LABEL: define void @_Z7big_arg3Big(%struct.Big* byval(%struct.Big) align 4 %s)
|
|
|
256 // WIN32: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* byval(%struct.Big) align 4 %s)
|
|
|
257 // WIN64: define dso_local void @"?big_arg@@YAXUBig@@@Z"(%struct.Big* %s)
|
|
|
258
|
|
|
259 // PR27607: We would attempt to load i32 value out of the reference instead of
|
|
|
260 // just loading the pointer from the struct during argument expansion.
|
|
|
261 struct RefField {
|
|
|
262 RefField(int &x);
|
|
|
263 int &x;
|
|
|
264 };
|
|
|
265 void takes_ref_field(RefField s) {}
|
|
|
266 // LINUX-LABEL: define void @_Z15takes_ref_field8RefField(%struct.RefField* byval(%struct.RefField) align 4 %s)
|
|
|
267 // WIN32: define dso_local void @"?takes_ref_field@@YAXURefField@@@Z"(i32* %s.0)
|
|
|
268 // WIN64: define dso_local void @"?takes_ref_field@@YAXURefField@@@Z"(i64 %s.coerce)
|
|
|
269
|
|
|
270 void pass_ref_field() {
|
|
|
271 int x;
|
|
|
272 takes_ref_field(RefField(x));
|
|
|
273 }
|
|
|
274 // LINUX-LABEL: define void @_Z14pass_ref_fieldv()
|
|
|
275 // LINUX: call void @_Z15takes_ref_field8RefField(%struct.RefField* byval(%struct.RefField) align 4 %{{.*}})
|
|
|
276 // WIN32-LABEL: define dso_local void @"?pass_ref_field@@YAXXZ"()
|
|
|
277 // WIN32: call void @"?takes_ref_field@@YAXURefField@@@Z"(i32* %{{.*}})
|
|
|
278 // WIN64-LABEL: define dso_local void @"?pass_ref_field@@YAXXZ"()
|
|
|
279 // WIN64: call void @"?takes_ref_field@@YAXURefField@@@Z"(i64 %{{.*}})
|
|
|
280
|
|
|
281 class Class {
|
|
|
282 public:
|
|
|
283 Small thiscall_method_small() { return Small(); }
|
|
173
|
284 // LINUX: define {{.*}} void @_ZN5Class21thiscall_method_smallEv(%struct.Small* noalias sret align 4 %agg.result, %class.Class* %this)
|
|
|
285 // WIN32: define {{.*}} x86_thiscallcc void @"?thiscall_method_small@Class@@QAE?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret align 4 %agg.result)
|
|
|
286 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_small@Class@@QEAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret align 4 %agg.result)
|
|
150
|
287
|
|
|
288 SmallWithCtor thiscall_method_small_with_ctor() { return SmallWithCtor(); }
|
|
173
|
289 // LINUX: define {{.*}} void @_ZN5Class31thiscall_method_small_with_ctorEv(%struct.SmallWithCtor* noalias sret align 4 %agg.result, %class.Class* %this)
|
|
|
290 // WIN32: define {{.*}} x86_thiscallcc void @"?thiscall_method_small_with_ctor@Class@@QAE?AUSmallWithCtor@@XZ"(%class.Class* %this, %struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
|
291 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_small_with_ctor@Class@@QEAA?AUSmallWithCtor@@XZ"(%class.Class* %this, %struct.SmallWithCtor* noalias sret align 4 %agg.result)
|
|
150
|
292
|
|
|
293 Small __cdecl cdecl_method_small() { return Small(); }
|
|
173
|
294 // LINUX: define {{.*}} void @_ZN5Class18cdecl_method_smallEv(%struct.Small* noalias sret align 4 %agg.result, %class.Class* %this)
|
|
|
295 // WIN32: define {{.*}} void @"?cdecl_method_small@Class@@QAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret align 4 %agg.result)
|
|
|
296 // WIN64: define linkonce_odr dso_local void @"?cdecl_method_small@Class@@QEAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret align 4 %agg.result)
|
|
150
|
297
|
|
|
298 Big __cdecl cdecl_method_big() { return Big(); }
|
|
173
|
299 // LINUX: define {{.*}} void @_ZN5Class16cdecl_method_bigEv(%struct.Big* noalias sret align 4 %agg.result, %class.Class* %this)
|
|
|
300 // WIN32: define {{.*}} void @"?cdecl_method_big@Class@@QAA?AUBig@@XZ"(%class.Class* %this, %struct.Big* noalias sret align 4 %agg.result)
|
|
|
301 // WIN64: define linkonce_odr dso_local void @"?cdecl_method_big@Class@@QEAA?AUBig@@XZ"(%class.Class* %this, %struct.Big* noalias sret align 4 %agg.result)
|
|
150
|
302
|
|
|
303 void thiscall_method_arg(Empty s) {}
|
|
|
304 // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE5Empty(%class.Class* %this)
|
|
|
305 // WIN32: define {{.*}} void @"?thiscall_method_arg@Class@@QAEXUEmpty@@@Z"(%class.Class* %this, %struct.Empty* byval(%struct.Empty) align 4 %s)
|
|
|
306 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_arg@Class@@QEAAXUEmpty@@@Z"(%class.Class* %this, i8 %s.coerce)
|
|
|
307
|
|
|
308 void thiscall_method_arg(EmptyWithCtor s) {}
|
|
|
309 // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE13EmptyWithCtor(%class.Class* %this)
|
|
|
310 // WIN32: define {{.*}} void @"?thiscall_method_arg@Class@@QAEXUEmptyWithCtor@@@Z"(%class.Class* %this, %struct.EmptyWithCtor* byval(%struct.EmptyWithCtor) align 4 %s)
|
|
|
311 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_arg@Class@@QEAAXUEmptyWithCtor@@@Z"(%class.Class* %this, i8 %s.coerce)
|
|
|
312
|
|
|
313 void thiscall_method_arg(Small s) {}
|
|
|
314 // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE5Small(%class.Class* %this, i32 %s.0)
|
|
|
315 // WIN32: define {{.*}} void @"?thiscall_method_arg@Class@@QAEXUSmall@@@Z"(%class.Class* %this, i32 %s.0)
|
|
|
316 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_arg@Class@@QEAAXUSmall@@@Z"(%class.Class* %this, i32 %s.coerce)
|
|
|
317
|
|
|
318 void thiscall_method_arg(SmallWithCtor s) {}
|
|
|
319 // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE13SmallWithCtor(%class.Class* %this, %struct.SmallWithCtor* byval(%struct.SmallWithCtor) align 4 %s)
|
|
|
320 // WIN32: define {{.*}} void @"?thiscall_method_arg@Class@@QAEXUSmallWithCtor@@@Z"(%class.Class* %this, i32 %s.0)
|
|
|
321 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_arg@Class@@QEAAXUSmallWithCtor@@@Z"(%class.Class* %this, i32 %s.coerce)
|
|
|
322
|
|
|
323 void thiscall_method_arg(Big s) {}
|
|
|
324 // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE3Big(%class.Class* %this, %struct.Big* byval(%struct.Big) align 4 %s)
|
|
|
325 // WIN32: define {{.*}} void @"?thiscall_method_arg@Class@@QAEXUBig@@@Z"(%class.Class* %this, %struct.Big* byval(%struct.Big) align 4 %s)
|
|
|
326 // WIN64: define linkonce_odr dso_local void @"?thiscall_method_arg@Class@@QEAAXUBig@@@Z"(%class.Class* %this, %struct.Big* %s)
|
|
|
327 };
|
|
|
328
|
|
|
329 void use_class() {
|
|
|
330 Class c;
|
|
|
331 c.thiscall_method_small();
|
|
|
332 c.thiscall_method_small_with_ctor();
|
|
|
333
|
|
|
334 c.cdecl_method_small();
|
|
|
335 c.cdecl_method_big();
|
|
|
336
|
|
|
337 c.thiscall_method_arg(Empty());
|
|
|
338 c.thiscall_method_arg(EmptyWithCtor());
|
|
|
339 c.thiscall_method_arg(Small());
|
|
|
340 c.thiscall_method_arg(SmallWithCtor());
|
|
|
341 c.thiscall_method_arg(Big());
|
|
|
342 }
|
|
|
343
|
|
|
344 struct X {
|
|
|
345 X();
|
|
|
346 ~X();
|
|
|
347 };
|
|
|
348 void g(X) {
|
|
|
349 }
|
|
|
350 // WIN32: define dso_local void @"?g@@YAXUX@@@Z"(<{ %struct.X, [3 x i8] }>* inalloca %0) {{.*}} {
|
|
|
351 // WIN32: call x86_thiscallcc void @"??1X@@QAE@XZ"(%struct.X* {{.*}})
|
|
|
352 // WIN32: }
|
|
|
353 void f() {
|
|
|
354 g(X());
|
|
|
355 }
|
|
|
356 // WIN32: define dso_local void @"?f@@YAXXZ"() {{.*}} {
|
|
|
357 // WIN32-NOT: call {{.*}} @"??1X@@QAE@XZ"
|
|
|
358 // WIN32: }
|
|
|
359
|
|
|
360
|
|
|
361 namespace test2 {
|
|
|
362 // We used to crash on this due to the mixture of POD byval and non-trivial
|
|
|
363 // byval.
|
|
|
364
|
|
|
365 struct NonTrivial {
|
|
|
366 NonTrivial();
|
|
|
367 NonTrivial(const NonTrivial &o);
|
|
|
368 ~NonTrivial();
|
|
|
369 int a;
|
|
|
370 };
|
|
|
371 struct POD { int b; };
|
|
|
372
|
|
|
373 int foo(NonTrivial a, POD b);
|
|
|
374 void bar() {
|
|
|
375 POD b;
|
|
|
376 b.b = 13;
|
|
|
377 int c = foo(NonTrivial(), b);
|
|
|
378 }
|
|
|
379 // WIN32-LABEL: define dso_local void @"?bar@test2@@YAXXZ"() {{.*}} {
|
|
|
380 // WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty:<{ %"struct.test2::NonTrivial", %"struct.test2::POD" }>]]
|
|
|
381 // WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
|
|
|
382 // WIN32: call void @llvm.memcpy
|
|
|
383 // WIN32: getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
|
|
|
384 // WIN32: call x86_thiscallcc %"struct.test2::NonTrivial"* @"??0NonTrivial@test2@@QAE@XZ"
|
|
|
385 // WIN32: call i32 @"?foo@test2@@YAHUNonTrivial@1@UPOD@1@@Z"([[argmem_ty]]* inalloca %argmem)
|
|
|
386 // WIN32: ret void
|
|
|
387 // WIN32: }
|
|
|
388
|
|
|
389 }
|
|
|
390
|
|
|
391 namespace test3 {
|
|
|
392
|
|
|
393 // Check that we padded the inalloca struct to a multiple of 4.
|
|
|
394 struct NonTrivial {
|
|
|
395 NonTrivial();
|
|
|
396 NonTrivial(const NonTrivial &o);
|
|
|
397 ~NonTrivial();
|
|
|
398 int a;
|
|
|
399 };
|
|
|
400 void foo(NonTrivial a, bool b) { }
|
|
|
401 // WIN32-LABEL: define dso_local void @"?foo@test3@@YAXUNonTrivial@1@_N@Z"(<{ %"struct.test3::NonTrivial", i8, [3 x i8] }>* inalloca %0)
|
|
|
402
|
|
|
403 }
|
|
|
404
|
|
|
405 // We would crash here because the later definition of ForwardDeclare1 results
|
|
|
406 // in a different IR type for the value we want to store. However, the alloca's
|
|
|
407 // type will use the argument type selected by fn1.
|
|
|
408 struct ForwardDeclare1;
|
|
|
409
|
|
|
410 typedef void (*FnPtr1)(ForwardDeclare1);
|
|
|
411 void fn1(FnPtr1 a, SmallWithDtor b) { }
|
|
|
412
|
|
|
413 struct ForwardDeclare1 {};
|
|
|
414
|
|
|
415 void fn2(FnPtr1 a, SmallWithDtor b) { fn1(a, b); };
|
|
|
416 // WIN32-LABEL: define dso_local void @"?fn2@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"
|
|
|
417 // WIN32: %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty:<{ {}\*, %struct.SmallWithDtor }>]], [[argmem_ty:<{ {}\*, %struct.SmallWithDtor }>]]* %{{.*}}, i32 0, i32 0
|
|
|
418 // WIN32: %[[a1:[^ ]*]] = bitcast {}** %[[a]] to void [[dst_ty:\(%struct.ForwardDeclare1\*\)\*]]*
|
|
|
419 // WIN32: %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]]
|
|
|
420 // WIN32: %[[gep1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
|
|
|
421 // WIN32: %[[bc1:[^ ]*]] = bitcast %struct.SmallWithDtor* %[[gep1]] to i8*
|
|
|
422 // WIN32: call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %[[bc1]], i8* align 4 {{.*}}, i32 4, i1 false)
|
|
|
423 // WIN32: %[[a2:[^ ]*]] = load void [[dst_ty]], void [[dst_ty]]* %[[a1]], align 4
|
|
|
424 // WIN32: %[[gep2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
|
|
|
425 // WIN32: %[[addr:[^ ]*]] = bitcast {}** %[[gep2]] to void [[dst_ty]]*
|
|
|
426 // WIN32: store void [[dst_ty]] %[[a2]], void [[dst_ty]]* %[[addr]], align 4
|
|
|
427 // WIN32: call void @"?fn1@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"([[argmem_ty]]* inalloca %[[argmem]])
|
|
|
428
|
|
|
429 namespace pr30293 {
|
|
|
430 // Virtual methods living in a secondary vtable take i8* as their 'this'
|
|
|
431 // parameter because the 'this' parameter on entry points to the secondary
|
|
|
432 // vptr. We used to have a bug where we didn't apply this rule consistently,
|
|
|
433 // and it would cause assertion failures when used with inalloca.
|
|
|
434 struct A {
|
|
|
435 virtual void f();
|
|
|
436 };
|
|
|
437 struct B {
|
|
|
438 virtual void __cdecl h(SmallWithDtor);
|
|
|
439 };
|
|
|
440 struct C final : A, B {
|
|
|
441 void g();
|
|
|
442 void __cdecl h(SmallWithDtor);
|
|
|
443 void f();
|
|
|
444 };
|
|
|
445 void C::g() { return h(SmallWithDtor()); }
|
|
|
446
|
|
|
447 // WIN32-LABEL: define dso_local x86_thiscallcc void @"?g@C@pr30293@@QAEXXZ"(%"struct.pr30293::C"* %this)
|
|
|
448 // WIN32: call x86_thiscallcc %struct.SmallWithDtor* @"??0SmallWithDtor@@QAE@XZ"
|
|
|
449 // WIN32: call void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca %{{[^,)]*}})
|
|
|
450 // WIN32: declare dso_local void @"?h@C@pr30293@@UAAXUSmallWithDtor@@@Z"(<{ i8*, %struct.SmallWithDtor }>* inalloca)
|
|
|
451
|
|
|
452 // WIN64-LABEL: define dso_local void @"?g@C@pr30293@@QEAAXXZ"(%"struct.pr30293::C"* %this)
|
|
|
453 // WIN64: declare dso_local void @"?h@C@pr30293@@UEAAXUSmallWithDtor@@@Z"(i8*, i32)
|
|
|
454 }
|
