1 // RUN: %clang_cc1 -fblocks -emit-llvm %s -o - -triple=i386-pc-win32 -std=c++98 | FileCheck %s
2 // RUN: %clang_cc1 -fblocks -emit-llvm %s -o - -triple=x86_64-pc-win32 -std=c++98| FileCheck -check-prefix X64 %s
3 // RUN: %clang_cc1 -fblocks -emit-llvm %s -o - -triple=aarch64-pc-win32 -std=c++98 -DARM | FileCheck -check-prefixes=X64,ARM %s
4
5 int a;
6 // CHECK-DAG: @"?a@@3HA"
7
8 extern "C++" {
9 static int __attribute__((used)) ignore_transparent_context;
10 // CHECK-DAG: @ignore_transparent_context
11 }
12
13 namespace N {
14 int b;
15 // CHECK-DAG: @"?b@N@@3HA"
16
17 namespace {
18 int anonymous;
19 // CHECK-DAG: @"?anonymous@?A0x{{[^@]*}}@N@@3HA"
20 }
21 }
22
23 static int c;
24 // CHECK-DAG: @c
25
_c(void)26 int _c(void) {return N::anonymous + c;}
27 // CHECK-DAG: @"?_c@@YAHXZ"
28 // X64-DAG: @"?_c@@YAHXZ"
29
30 const int &NeedsReferenceTemporary = 2;
31 // CHECK-DAG: @"?NeedsReferenceTemporary@@3ABHB" = dso_local constant i32* @"?$RT1@NeedsReferenceTemporary@@3ABHB"
32 // X64-DAG: @"?NeedsReferenceTemporary@@3AEBHEB" = dso_local constant i32* @"?$RT1@NeedsReferenceTemporary@@3AEBHEB"
33
34 class foo {
35 static const short d;
36 // CHECK-DAG: @"?d@foo@@0FB"
37 protected:
38 static volatile long e;
39 // CHECK-DAG: @"?e@foo@@1JC"
40 public:
41 static const volatile char f;
42 // CHECK-DAG: @"?f@foo@@2DD"
43 int operator+(int a);
foo()44 foo(){}
45 // CHECK-DAG: @"??0foo@@QAE@XZ"
46 // X64-DAG: @"??0foo@@QEAA@XZ"
47
~foo()48 ~foo(){}
49 // CHECK-DAG: @"??1foo@@QAE@XZ"
50 // X64-DAG: @"??1foo@@QEAA@XZ
51
foo(int i)52 foo(int i){}
53 // CHECK-DAG: @"??0foo@@QAE@H@Z"
54 // X64-DAG: @"??0foo@@QEAA@H@Z"
55
foo(char * q)56 foo(char *q){}
57 // CHECK-DAG: @"??0foo@@QAE@PAD@Z"
58 // X64-DAG: @"??0foo@@QEAA@PEAD@Z"
59
static_method()60 static foo* static_method() { return 0; }
61
62 }f,s1(1),s2((char*)0);
63
64 typedef foo (foo2);
65
66 struct bar {
67 static int g;
68 };
69
70 union baz {
71 int a;
72 char b;
73 double c;
74 };
75
76 enum quux {
77 qone,
78 qtwo,
79 qthree
80 };
81
bar()82 foo bar() { return foo(); }
83 // CHECK-DAG: @"?bar@@YA?AVfoo@@XZ"
84 // X64-DAG: @"?bar@@YA?AVfoo@@XZ"
85
operator +(int a)86 int foo::operator+(int a) {
87 // CHECK-DAG: @"??Hfoo@@QAEHH@Z"
88 // X64-DAG: @"??Hfoo@@QEAAHH@Z"
89
90 foo::static_method();
91 // CHECK-DAG: @"?static_method@foo@@SAPAV1@XZ"
92 // X64-DAG: @"?static_method@foo@@SAPEAV1@XZ"
93 bar();
94 return a;
95 }
96
97 const short foo::d = 0;
98 volatile long foo::e;
99 const volatile char foo::f = 'C';
100
101 int bar::g;
102 // CHECK-DAG: @"?g@bar@@2HA"
103
104 extern int * const h1 = &a;
105 // CHECK-DAG: @"?h1@@3QAHA"
106 extern const int * const h2 = &a;
107 // CHECK-DAG: @"?h2@@3QBHB"
108 extern int * const __restrict h3 = &a;
109 // CHECK-DAG: @"?h3@@3QIAHIA"
110 // X64-DAG: @"?h3@@3QEIAHEIA"
111
112 int i[10][20];
113 // CHECK-DAG: @"?i@@3PAY0BE@HA"
114
115 typedef int (*FunT)(int, int);
116 FunT FunArr[10][20];
117 // CHECK-DAG: @"?FunArr@@3PAY0BE@P6AHHH@ZA"
118 // X64-DAG: @"?FunArr@@3PAY0BE@P6AHHH@ZA"
119
120 int (__stdcall *j)(signed char, unsigned char);
121 // CHECK-DAG: @"?j@@3P6GHCE@ZA"
122
123 const char foo2::*m;
124 // CHECK-DAG: @"?m@@3PRfoo@@DR1@"
125 // X64-DAG: @"?m@@3PERfoo@@DER1@"
126
127 const volatile char foo2::*k;
128 // CHECK-DAG: @"?k@@3PTfoo@@DT1@"
129 // X64-DAG: @"?k@@3PETfoo@@DET1@"
130
131 int (foo2::*l)(int);
132 // CHECK-DAG: @"?l@@3P8foo@@AEHH@ZQ1@"
133
134 // Ensure typedef CV qualifiers are mangled correctly
135 typedef const int cInt;
136 typedef volatile int vInt;
137 typedef const volatile int cvInt;
138
139 extern cInt g_cInt = 1;
140 vInt g_vInt = 2;
141 cvInt g_cvInt = 3;
142
143 // CHECK-DAG: @"?g_cInt@@3HB"
144 // CHECK-DAG: @"?g_vInt@@3HC"
145 // CHECK-DAG: @"?g_cvInt@@3HD"
146
147 // Static functions are mangled, too.
148 // Also make sure calling conventions, arglists, and throw specs work.
alpha(float a,double b)149 static void __stdcall alpha(float a, double b) throw() {}
beta(long long a,wchar_t b)150 bool __fastcall beta(long long a, wchar_t b) throw(signed char, unsigned char) {
151 // CHECK-DAG: @"?beta@@YI_N_J_W@Z"
152 // X64-DAG: @"?beta@@YA_N_J_W@Z"
153 alpha(0.f, 0.0);
154 return false;
155 }
156
157 // CHECK-DAG: @"?alpha@@YGXMN@Z"
158 // X64-DAG: @"?alpha@@YAXMN@Z"
159
160 // Make sure tag-type mangling works.
gamma(class foo,struct bar,union baz,enum quux)161 void gamma(class foo, struct bar, union baz, enum quux) {}
162 // CHECK-DAG: @"?gamma@@YAXVfoo@@Ubar@@Tbaz@@W4quux@@@Z"
163 // X64-DAG: @"?gamma@@YAXVfoo@@Ubar@@Tbaz@@W4quux@@@Z"
164
165 // Make sure pointer/reference-type mangling works.
delta(int * const a,const long &)166 void delta(int * const a, const long &) {}
167 // CHECK-DAG: @"?delta@@YAXQAHABJ@Z"
168 // X64-DAG: @"?delta@@YAXQEAHAEBJ@Z"
169
170 // Array mangling.
epsilon(int a[][10][20])171 void epsilon(int a[][10][20]) {}
172 // CHECK-DAG: @"?epsilon@@YAXQAY19BE@H@Z"
173 // X64-DAG: @"?epsilon@@YAXQEAY19BE@H@Z"
174
zeta(int (*)(int,int))175 void zeta(int (*)(int, int)) {}
176 // CHECK-DAG: @"?zeta@@YAXP6AHHH@Z@Z"
177 // X64-DAG: @"?zeta@@YAXP6AHHH@Z@Z"
178
179 // Blocks mangling (Clang extension). A block should be mangled slightly
180 // differently from a similar function pointer.
181 void eta(int (^)(int, int)) {}
182 // CHECK-DAG: @"?eta@@YAXP_EAHHH@Z@Z"
183
184 typedef int theta_arg(int,int);
185 void theta(theta_arg^ block) {}
186 // CHECK-DAG: @"?theta@@YAXP_EAHHH@Z@Z"
187
operator_new_delete()188 void operator_new_delete() {
189 char *ptr = new char;
190 // CHECK-DAG: @"??2@YAPAXI@Z"
191
192 delete ptr;
193 // CHECK-DAG: @"??3@YAXPAX@Z"
194
195 char *array = new char[42];
196 // CHECK-DAG: @"??_U@YAPAXI@Z"
197
198 delete [] array;
199 // CHECK-DAG: @"??_V@YAXPAX@Z"
200 }
201
202 // PR13022
203 void (redundant_parens)();
redundant_parens_use()204 void redundant_parens_use() { redundant_parens(); }
205 // CHECK-DAG: @"?redundant_parens@@YAXXZ"
206 // X64-DAG: @"?redundant_parens@@YAXXZ"
207
208 // PR13047
209 typedef double RGB[3];
210 RGB color1;
211 // CHECK-DAG: @"?color1@@3PANA"
212 extern const RGB color2 = {};
213 // CHECK-DAG: @"?color2@@3QBNB"
214 extern RGB const color3[5] = {};
215 // CHECK-DAG: @"?color3@@3QAY02$$CBNA"
216 extern RGB const ((color4)[5]) = {};
217 // CHECK-DAG: @"?color4@@3QAY02$$CBNA"
218
219 struct B;
220 volatile int B::* volatile memptr1;
221 // X64-DAG: @"?memptr1@@3RESB@@HES1@"
222 volatile int B::* memptr2;
223 // X64-DAG: @"?memptr2@@3PESB@@HES1@"
224 int B::* volatile memptr3;
225 // X64-DAG: @"?memptr3@@3REQB@@HEQ1@"
226 typedef int (*fun)();
227 volatile fun B::* volatile funmemptr1;
228 // X64-DAG: @"?funmemptr1@@3RESB@@R6AHXZES1@"
229 volatile fun B::* funmemptr2;
230 // X64-DAG: @"?funmemptr2@@3PESB@@R6AHXZES1@"
231 fun B::* volatile funmemptr3;
232 // X64-DAG: @"?funmemptr3@@3REQB@@P6AHXZEQ1@"
233 void (B::* volatile memptrtofun1)();
234 // X64-DAG: @"?memptrtofun1@@3R8B@@EAAXXZEQ1@"
235 const void (B::* memptrtofun2)();
236 // X64-DAG: @"?memptrtofun2@@3P8B@@EAAXXZEQ1@"
237 volatile void (B::* memptrtofun3)();
238 // X64-DAG: @"?memptrtofun3@@3P8B@@EAAXXZEQ1@"
239 int (B::* volatile memptrtofun4)();
240 // X64-DAG: @"?memptrtofun4@@3R8B@@EAAHXZEQ1@"
241 volatile int (B::* memptrtofun5)();
242 // X64-DAG: @"?memptrtofun5@@3P8B@@EAA?CHXZEQ1@"
243 const int (B::* memptrtofun6)();
244 // X64-DAG: @"?memptrtofun6@@3P8B@@EAA?BHXZEQ1@"
245 fun (B::* volatile memptrtofun7)();
246 // X64-DAG: @"?memptrtofun7@@3R8B@@EAAP6AHXZXZEQ1@"
247 volatile fun (B::* memptrtofun8)();
248 // X64-DAG: @"?memptrtofun8@@3P8B@@EAAR6AHXZXZEQ1@"
249 const fun (B::* memptrtofun9)();
250 // X64-DAG: @"?memptrtofun9@@3P8B@@EAAQ6AHXZXZEQ1@"
251
252 // PR12603
253 enum E {};
254 // CHECK-DAG: "?fooE@@YA?AW4E@@XZ"
255 // X64-DAG: "?fooE@@YA?AW4E@@XZ"
fooE()256 E fooE() { return E(); }
257
258 class X {};
259 // CHECK-DAG: "?fooX@@YA?AVX@@XZ"
260 // X64-DAG: "?fooX@@YA?AVX@@XZ"
fooX()261 X fooX() { return X(); }
262
263 namespace PR13182 {
264 extern char s0[];
265 // CHECK-DAG: @"?s0@PR13182@@3PADA"
266 extern char s1[42];
267 // CHECK-DAG: @"?s1@PR13182@@3PADA"
268 extern const char s2[];
269 // CHECK-DAG: @"?s2@PR13182@@3QBDB"
270 extern const char s3[42];
271 // CHECK-DAG: @"?s3@PR13182@@3QBDB"
272 extern volatile char s4[];
273 // CHECK-DAG: @"?s4@PR13182@@3RCDC"
274 extern const volatile char s5[];
275 // CHECK-DAG: @"?s5@PR13182@@3SDDD"
276 extern const char* const* s6;
277 // CHECK-DAG: @"?s6@PR13182@@3PBQBDB"
278
foo()279 char foo() {
280 return s0[0] + s1[0] + s2[0] + s3[0] + s4[0] + s5[0] + s6[0][0];
281 }
282 }
283
extern_c_func()284 extern "C" inline void extern_c_func() {
285 static int local;
286 // CHECK-DAG: @"?local@?1??extern_c_func@@9@4HA"
287 // X64-DAG: @"?local@?1??extern_c_func@@9@4HA"
288 }
289
call_extern_c_func()290 void call_extern_c_func() {
291 extern_c_func();
292 }
293
main()294 int main() { return 0; }
295 // CHECK-DAG: @main
296 // X64-DAG: @main
297
wmain()298 int wmain() { return 0; }
299 // CHECK-DAG: @wmain
300 // X64-DAG: @wmain
301
WinMain()302 int WinMain() { return 0; }
303 // CHECK-DAG: @WinMain
304 // X64-DAG: @WinMain
305
wWinMain()306 int wWinMain() { return 0; }
307 // CHECK-DAG: @wWinMain
308 // X64-DAG: @wWinMain
309
DllMain()310 int DllMain() { return 0; }
311 // CHECK-DAG: @DllMain
312 // X64-DAG: @DllMain
313
inline_function_with_local_type()314 inline int inline_function_with_local_type() {
315 static struct {
316 int a_field;
317 } static_variable_in_inline_function = { 20 }, second_static = { 40 };
318 // CHECK: @"?static_variable_in_inline_function@?1??inline_function_with_local_type@@YAHXZ@4U<unnamed-type-static_variable_in_inline_function>@?1??1@YAHXZ@A"
319
320 return static_variable_in_inline_function.a_field + second_static.a_field;
321 }
322
call_inline_function_with_local_type()323 int call_inline_function_with_local_type() {
324 return inline_function_with_local_type();
325 }
326
327 template <typename T>
templated_inline_function_with_local_type()328 inline int templated_inline_function_with_local_type() {
329 static struct {
330 int a_field;
331 } static_variable_in_templated_inline_function = { 20 },
332 second_static = { 40 };
333 // CHECK: @"?static_variable_in_templated_inline_function@?1???$templated_inline_function_with_local_type@H@@YAHXZ@4U<unnamed-type-static_variable_in_templated_inline_function>@?1???$templated_inline_function_with_local_type@H@@YAHXZ@A"
334
335 return static_variable_in_templated_inline_function.a_field +
336 second_static.a_field;
337 }
338
call_templated_inline_function_with_local_type()339 int call_templated_inline_function_with_local_type() {
340 return templated_inline_function_with_local_type<int>();
341 }
342
343 // PR17371
344 struct OverloadedNewDelete {
345 // __cdecl
346 void *operator new(__SIZE_TYPE__);
347 void *operator new[](__SIZE_TYPE__);
348 void operator delete(void *);
349 void operator delete[](void *);
350 // __thiscall
351 int operator+(int);
352 };
353
operator new(__SIZE_TYPE__ s)354 void *OverloadedNewDelete::operator new(__SIZE_TYPE__ s) { return 0; }
operator new[](__SIZE_TYPE__ s)355 void *OverloadedNewDelete::operator new[](__SIZE_TYPE__ s) { return 0; }
operator delete(void *)356 void OverloadedNewDelete::operator delete(void *) { }
operator delete[](void *)357 void OverloadedNewDelete::operator delete[](void *) { }
operator +(int x)358 int OverloadedNewDelete::operator+(int x) { return x; };
359
360 // CHECK-DAG: ??2OverloadedNewDelete@@SAPAXI@Z
361 // CHECK-DAG: ??_UOverloadedNewDelete@@SAPAXI@Z
362 // CHECK-DAG: ??3OverloadedNewDelete@@SAXPAX@Z
363 // CHECK-DAG: ??_VOverloadedNewDelete@@SAXPAX@Z
364 // CHECK-DAG: ??HOverloadedNewDelete@@QAEHH@Z
365
366 // X64-DAG: ??2OverloadedNewDelete@@SAPEAX_K@Z
367 // X64-DAG: ??_UOverloadedNewDelete@@SAPEAX_K@Z
368 // X64-DAG: ??3OverloadedNewDelete@@SAXPEAX@Z
369 // X64-DAG: ??_VOverloadedNewDelete@@SAXPEAX@Z
370 // X64-DAG: ??HOverloadedNewDelete@@QEAAHH@Z
371
372 // Indirecting the function type through a typedef will require a calling
373 // convention adjustment before building the method decl.
374
375 typedef void *__thiscall OperatorNewType(__SIZE_TYPE__);
376 typedef void __thiscall OperatorDeleteType(void *);
377
378 struct TypedefNewDelete {
379 OperatorNewType operator new;
380 OperatorNewType operator new[];
381 OperatorDeleteType operator delete;
382 OperatorDeleteType operator delete[];
383 };
384
operator new(__SIZE_TYPE__ s)385 void *TypedefNewDelete::operator new(__SIZE_TYPE__ s) { return 0; }
operator new[](__SIZE_TYPE__ s)386 void *TypedefNewDelete::operator new[](__SIZE_TYPE__ s) { return 0; }
operator delete(void *)387 void TypedefNewDelete::operator delete(void *) { }
operator delete[](void *)388 void TypedefNewDelete::operator delete[](void *) { }
389
390 // CHECK-DAG: ??2TypedefNewDelete@@SAPAXI@Z
391 // CHECK-DAG: ??_UTypedefNewDelete@@SAPAXI@Z
392 // CHECK-DAG: ??3TypedefNewDelete@@SAXPAX@Z
393 // CHECK-DAG: ??_VTypedefNewDelete@@SAXPAX@Z
394
vector_func()395 void __vectorcall vector_func() { }
396 // CHECK-DAG: @"?vector_func@@YQXXZ"
397
398 template <void (*)(void)>
fn_tmpl()399 void fn_tmpl() {}
400
401 template void fn_tmpl<extern_c_func>();
402 // CHECK-DAG: @"??$fn_tmpl@$1?extern_c_func@@YAXXZ@@YAXXZ"
403
overloaded_fn()404 extern "C" void __attribute__((overloadable)) overloaded_fn() {}
405 // CHECK-DAG: @"?overloaded_fn@@$$J0YAXXZ"
406
overloaded_fn2()407 extern "C" void overloaded_fn2() {}
408 // CHECK-DAG: @overloaded_fn2
409 //
410 extern "C" void __attribute__((overloadable)) overloaded_fn3();
overloaded_fn3()411 extern "C" void overloaded_fn3() {}
412 // CHECK-DAG: @overloaded_fn3
413
414 namespace UnnamedType {
415 struct S {
416 typedef struct {} *T1[1];
417 typedef struct {} T2;
418 typedef struct {} *T3, T4;
419 using T5 = struct {};
420 using T6 = struct {} *;
421 };
f(S::T1)422 void f(S::T1) {}
f(S::T2)423 void f(S::T2) {}
f(S::T3)424 void f(S::T3) {}
f(S::T4)425 void f(S::T4) {}
f(S::T5)426 void f(S::T5) {}
f(S::T6)427 void f(S::T6) {}
428 // CHECK-DAG: @"?f@UnnamedType@@YAXQAPAU<unnamed-type-T1>@S@1@@Z"
429 // CHECK-DAG: @"?f@UnnamedType@@YAXUT2@S@1@@Z"
430 // CHECK-DAG: @"?f@UnnamedType@@YAXPAUT4@S@1@@Z"
431 // CHECK-DAG: @"?f@UnnamedType@@YAXUT4@S@1@@Z"
432 // CHECK-DAG: @"?f@UnnamedType@@YAXUT5@S@1@@Z"
433 // CHECK-DAG: @"?f@UnnamedType@@YAXPAU<unnamed-type-T6>@S@1@@Z"
434
435 // X64-DAG: @"?f@UnnamedType@@YAXQEAPEAU<unnamed-type-T1>@S@1@@Z"
436 // X64-DAG: @"?f@UnnamedType@@YAXUT2@S@1@@Z"
437 // X64-DAG: @"?f@UnnamedType@@YAXPEAUT4@S@1@@Z"(%"struct.UnnamedType::S::T4"
438 // X64-DAG: @"?f@UnnamedType@@YAXUT4@S@1@@Z"
439 // X64-DAG: @"?f@UnnamedType@@YAXUT5@S@1@@Z"
440 // X64-DAG: @"?f@UnnamedType@@YAXPEAU<unnamed-type-T6>@S@1@@Z"
441 }
442
443 namespace PassObjectSize {
444 // NOTE: This mangling is subject to change.
445 // Reiterating from the comment in MicrosoftMangle, the scheme is pretend a
446 // parameter of type __clang::__pass_object_sizeN exists after each pass object
447 // size param P, where N is the Type of the pass_object_size attribute on P.
448 //
449 // e.g. we want to mangle:
450 // void foo(void *const __attribute__((pass_object_size(0))));
451 // as if it were
452 // namespace __clang { enum __pass_object_size0 : size_t {}; }
453 // void foo(void *const, __clang::__pass_object_size0);
454 // where __clang is a top-level namespace.
455
456 // CHECK-DAG: define dso_local i32 @"?foo@PassObjectSize@@YAHQAHW4__pass_object_size0@__clang@@@Z"
foo(int * const i)457 int foo(int *const i __attribute__((pass_object_size(0)))) { return 0; }
458 // CHECK-DAG: define dso_local i32 @"?bar@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@@Z"
bar(int * const i)459 int bar(int *const i __attribute__((pass_object_size(1)))) { return 0; }
460 // CHECK-DAG: define dso_local i32 @"?qux@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@0W4__pass_object_size0@3@@Z"
qux(int * const i,int * const j)461 int qux(int *const i __attribute__((pass_object_size(1))), int *const j __attribute__((pass_object_size(0)))) { return 0; }
462 // CHECK-DAG: define dso_local i32 @"?zot@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@01@Z"
zot(int * const i,int * const j)463 int zot(int *const i __attribute__((pass_object_size(1))), int *const j __attribute__((pass_object_size(1)))) { return 0; }
464 // CHECK-DAG: define dso_local i32 @"?silly_word@PassObjectSize@@YAHQAHW4__pass_dynamic_object_size1@__clang@@@Z"
silly_word(int * const i)465 int silly_word(int *const i __attribute__((pass_dynamic_object_size(1)))) { return 0; }
466 }
467
468 namespace Atomic {
469 // CHECK-DAG: define dso_local void @"?f@Atomic@@YAXU?$_Atomic@H@__clang@@@Z"(
f(_Atomic (int))470 void f(_Atomic(int)) {}
471 }
472 namespace Complex {
473 // CHECK-DAG: define dso_local void @"?f@Complex@@YAXU?$_Complex@H@__clang@@@Z"(
f(_Complex int)474 void f(_Complex int) {}
475 }
476 #ifdef ARM
477 namespace Float16 {
478 // ARM-DAG: define dso_local void @"?f@Float16@@YAXU_Float16@__clang@@@Z"(
f(_Float16)479 void f(_Float16) {}
480 }
481 #endif // ARM
482
483 namespace PR26029 {
484 template <class>
485 struct L {
LPR26029::L486 L() {}
487 };
488 template <class>
489 class H;
490 struct M : L<H<int *> > {};
491
492 template <class>
493 struct H {};
494
495 template <class GT>
m_fn3()496 void m_fn3() {
497 (H<GT *>());
498 M();
499 }
500
runOnFunction()501 void runOnFunction() {
502 L<H<int *> > b;
503 m_fn3<int>();
504 }
505 // CHECK-DAG: call {{.*}} @"??0?$L@V?$H@PAH@PR26029@@@PR26029@@QAE@XZ"
506 }
507