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