clang/test/CodeGenCXX/mangle-ms.cpp

   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
  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);
  44   foo(){}
  45 // CHECK-DAG: @"??0foo@@QAE@XZ"
  46 // X64-DAG:   @"??0foo@@QEAA@XZ"
  47
  48   ~foo(){}
  49 // CHECK-DAG: @"??1foo@@QAE@XZ"
  50 // X64-DAG:   @"??1foo@@QEAA@XZ
  51
  52   foo(int i){}
  53 // CHECK-DAG: @"??0foo@@QAE@H@Z"
  54 // X64-DAG:   @"??0foo@@QEAA@H@Z"
  55
  56   foo(char *q){}
  57 // CHECK-DAG: @"??0foo@@QAE@PAD@Z"
  58 // X64-DAG:   @"??0foo@@QEAA@PEAD@Z"
  59
  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
  82 foo bar() { return foo(); }
  83 // CHECK-DAG: @"?bar@@YA?AVfoo@@XZ"
  84 // X64-DAG:   @"?bar@@YA?AVfoo@@XZ"
  85
  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.
 149 static void __stdcall alpha(float a, double b) throw() {}
 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.
 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.
 166 void delta(int * const a, const long &) {}
 167 // CHECK-DAG: @"?delta@@YAXQAHABJ@Z"
 168 // X64-DAG:   @"?delta@@YAXQEAHAEBJ@Z"
 169
 170 // Array mangling.
 171 void epsilon(int a[][10][20]) {}
 172 // CHECK-DAG: @"?epsilon@@YAXQAY19BE@H@Z"
 173 // X64-DAG:   @"?epsilon@@YAXQEAY19BE@H@Z"
 174
 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
 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)();
 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"
 256 E fooE() { return E(); }
 257
 258 class X {};
 259 // CHECK-DAG: "?fooX@@YA?AVX@@XZ"
 260 // X64-DAG:   "?fooX@@YA?AVX@@XZ"
 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
 279   char foo() {
 280     return s0[0] + s1[0] + s2[0] + s3[0] + s4[0] + s5[0] + s6[0][0];
 281   }
 282 }
 283
 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
 290 void call_extern_c_func() {
 291   extern_c_func();
 292 }
 293
 294 int main() { return 0; }
 295 // CHECK-DAG: @main
 296 // X64-DAG:   @main
 297
 298 int wmain() { return 0; }
 299 // CHECK-DAG: @wmain
 300 // X64-DAG:   @wmain
 301
 302 int WinMain() { return 0; }
 303 // CHECK-DAG: @WinMain
 304 // X64-DAG:   @WinMain
 305
 306 int wWinMain() { return 0; }
 307 // CHECK-DAG: @wWinMain
 308 // X64-DAG:   @wWinMain
 309
 310 int DllMain() { return 0; }
 311 // CHECK-DAG: @DllMain
 312 // X64-DAG:   @DllMain
 313
 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
 323 int call_inline_function_with_local_type() {
 324   return inline_function_with_local_type();
 325 }
 326
 327 template <typename T>
 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
 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
 354 void *OverloadedNewDelete::operator new(__SIZE_TYPE__ s) { return 0; }
 355 void *OverloadedNewDelete::operator new[](__SIZE_TYPE__ s) { return 0; }
 356 void OverloadedNewDelete::operator delete(void *) { }
 357 void OverloadedNewDelete::operator delete[](void *) { }
 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
 385 void *TypedefNewDelete::operator new(__SIZE_TYPE__ s) { return 0; }
 386 void *TypedefNewDelete::operator new[](__SIZE_TYPE__ s) { return 0; }
 387 void TypedefNewDelete::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
 395 void __vectorcall vector_func() { }
 396 // CHECK-DAG: @"?vector_func@@YQXXZ"
 397
 398 template <void (*)(void)>
 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
 404 extern "C" void __attribute__((overloadable)) overloaded_fn() {}
 405 // CHECK-DAG: @"?overloaded_fn@@$$J0YAXXZ"
 406
 407 extern "C" void overloaded_fn2() {}
 408 // CHECK-DAG: @overloaded_fn2
 409 //
 410 extern "C" void __attribute__((overloadable)) 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 };
 422 void f(S::T1) {}
 423 void f(S::T2) {}
 424 void f(S::T3) {}
 425 void f(S::T4) {}
 426 void f(S::T5) {}
 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 noundef i32 @"?foo@PassObjectSize@@YAHQAHW4__pass_object_size0@__clang@@@Z"
 457 int foo(int *const i __attribute__((pass_object_size(0)))) { return 0; }
 458 // CHECK-DAG: define dso_local noundef i32 @"?bar@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@@Z"
 459 int bar(int *const i __attribute__((pass_object_size(1)))) { return 0; }
 460 // CHECK-DAG: define dso_local noundef i32 @"?qux@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@0W4__pass_object_size0@3@@Z"
 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 noundef i32 @"?zot@PassObjectSize@@YAHQAHW4__pass_object_size1@__clang@@01@Z"
 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 noundef i32 @"?silly_word@PassObjectSize@@YAHQAHW4__pass_dynamic_object_size1@__clang@@@Z"
 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"(
 470 void f(_Atomic(int)) {}
 471 }
 472 namespace Complex {
 473 // CHECK-DAG: define dso_local void @"?f@Complex@@YAXU?$_Complex@H@__clang@@@Z"(
 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"(
 479 void f(_Float16) {}
 480 }
 481 #endif // ARM
 482
 483 namespace PR26029 {
 484 template <class>
 485 struct L {
 486   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>
 496 void m_fn3() {
 497   (H<GT *>());
 498   M();
 499 }
 500
 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 }