1 // RUN: %clang_cc1 -no-opaque-pointers -fblocks -emit-llvm %s -o - -triple=i386-pc-win32 -std=c++98 | FileCheck %s 2 // RUN: %clang_cc1 -no-opaque-pointers -fblocks -emit-llvm %s -o - -triple=x86_64-pc-win32 -std=c++98| FileCheck -check-prefix X64 %s 3 // RUN: %clang_cc1 -no-opaque-pointers -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 } 507