1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -fblocks -std=c++11 | FileCheck %s 2 struct X { }; 3 struct Y { }; 4 5 // CHECK: @unmangled_variable = global 6 // CHECK: @_ZN1N1iE = global 7 // CHECK: @_ZZN1N1fEiiE1b = internal global 8 // CHECK: @_ZZN1N1gEvE1a = internal global 9 // CHECK: @_ZGVZN1N1gEvE1a = internal global 10 11 //CHECK: @pr5966_i = external global 12 //CHECK: @_ZL8pr5966_j = internal global 13 14 // CHECK-LABEL: define zeroext i1 @_ZplRK1YRA100_P1X 15 bool operator+(const Y&, X* (&xs)[100]) { return false; } 16 17 // CHECK-LABEL: define void @_Z1f1s 18 typedef struct { int a; } s; 19 void f(s) { } 20 21 // CHECK-LABEL: define void @_Z1f1e 22 typedef enum { foo } e; 23 void f(e) { } 24 25 // CHECK-LABEL: define void @_Z1f1u 26 typedef union { int a; } u; 27 void f(u) { } 28 29 // CHECK-LABEL: define void @_Z1f1x 30 typedef struct { int a; } x,y; 31 void f(y) { } 32 33 // CHECK-LABEL: define void @_Z1fv 34 void f() { } 35 36 // CHECK-LABEL: define void @_ZN1N1fEv 37 namespace N { void f() { } } 38 39 // CHECK-LABEL: define void @_ZN1N1N1fEv 40 namespace N { namespace N { void f() { } } } 41 42 // CHECK-LABEL: define void @unmangled_function 43 extern "C" { namespace N { void unmangled_function() { } } } 44 45 extern "C" { namespace N { int unmangled_variable = 10; } } 46 47 namespace N { int i; } 48 49 namespace N { int f(int, int) { static int b; return b; } } 50 51 namespace N { int h(); void g() { static int a = h(); } } 52 53 // CHECK-LABEL: define void @_Z1fno 54 void f(__int128_t, __uint128_t) { } 55 56 template <typename T> struct S1 {}; 57 58 // CHECK-LABEL: define void @_Z1f2S1IiE 59 void f(S1<int>) {} 60 61 // CHECK-LABEL: define void @_Z1f2S1IdE 62 void f(S1<double>) {} 63 64 template <int N> struct S2 {}; 65 // CHECK-LABEL: define void @_Z1f2S2ILi100EE 66 void f(S2<100>) {} 67 68 // CHECK-LABEL: define void @_Z1f2S2ILin100EE 69 void f(S2<-100>) {} 70 71 template <bool B> struct S3 {}; 72 73 // CHECK-LABEL: define void @_Z1f2S3ILb1EE 74 void f(S3<true>) {} 75 76 // CHECK-LABEL: define void @_Z1f2S3ILb0EE 77 void f(S3<false>) {} 78 79 struct S; 80 81 // CHECK-LABEL: define void @_Z1fM1SKFvvE 82 void f(void (S::*)() const) {} 83 84 // CHECK-LABEL: define void @_Z1fM1SFvvE 85 void f(void (S::*)()) {} 86 87 // CHECK-LABEL: define void @_Z1fi 88 void f(const int) { } 89 90 template<typename T, typename U> void ft1(U u, T t) { } 91 92 template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { } 93 94 template<typename T, typename U = S1<T> > struct S4 { }; 95 template<typename T> void ft3(S4<T>*) { } 96 97 namespace NS { 98 template<typename T> void ft1(T) { } 99 } 100 101 void g1() { 102 // CHECK: @_Z3ft1IidEvT0_T_ 103 ft1<int, double>(1, 0); 104 105 // CHECK: @_Z3ft2IcEvT_PFvS0_ES2_ 106 ft2<char>(1, 0, 0); 107 108 // CHECK: @_Z3ft3IiEvP2S4IT_2S1IS1_EE 109 ft3<int>(0); 110 111 // CHECK: @_ZN2NS3ft1IiEEvT_ 112 NS::ft1<int>(1); 113 } 114 115 // Expressions 116 template<int I> struct S5 { }; 117 118 template<int I> void ft4(S5<I>) { } 119 void g2() { 120 // CHECK: @_Z3ft4ILi10EEv2S5IXT_EE 121 ft4(S5<10>()); 122 123 // CHECK: @_Z3ft4ILi20EEv2S5IXT_EE 124 ft4(S5<20>()); 125 } 126 127 extern "C++" { 128 // CHECK: @_Z1hv 129 void h() { } 130 } 131 132 // PR5019 133 extern "C" { struct a { int b; }; } 134 135 // CHECK: @_Z1fP1a 136 int f(struct a *x) { 137 return x->b; 138 } 139 140 // PR5017 141 extern "C" { 142 struct Debug { 143 const Debug& operator<< (unsigned a) const { return *this; } 144 }; 145 Debug dbg; 146 // CHECK: @_ZNK5DebuglsEj 147 int main(void) { dbg << 32 ;} 148 } 149 150 template<typename T> struct S6 { 151 typedef int B; 152 }; 153 154 template<typename T> void ft5(typename S6<T>::B) { } 155 // CHECK: @_Z3ft5IiEvN2S6IT_E1BE 156 template void ft5<int>(int); 157 158 template<typename T> class A {}; 159 160 namespace NS { 161 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; } 162 } 163 164 // CHECK: @_ZN2NSeqIcEEbRK1AIT_ES5_ 165 template bool NS::operator==(const ::A<char>&, const ::A<char>&); 166 167 namespace std { 168 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; } 169 } 170 171 // CHECK: @_ZSteqIcEbRK1AIT_ES4_ 172 template bool std::operator==(const ::A<char>&, const ::A<char>&); 173 174 struct S { 175 typedef int U; 176 }; 177 178 template <typename T> typename T::U ft6(const T&) { return 0; } 179 180 // CHECK: @_Z3ft6I1SENT_1UERKS1_ 181 template int ft6<S>(const S&); 182 183 template<typename> struct __is_scalar_type { 184 enum { __value = 1 }; 185 }; 186 187 template<bool, typename> struct __enable_if { }; 188 189 template<typename T> struct __enable_if<true, T> { 190 typedef T __type; 191 }; 192 193 // PR5063 194 template<typename T> typename __enable_if<__is_scalar_type<T>::__value, void>::__type ft7() { } 195 196 // CHECK: @_Z3ft7IiEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv 197 template void ft7<int>(); 198 // CHECK: @_Z3ft7IPvEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv 199 template void ft7<void*>(); 200 201 // PR5144 202 extern "C" { 203 void extern_f(void); 204 }; 205 206 // CHECK: @extern_f 207 void extern_f(void) { } 208 209 struct S7 { 210 S7(); 211 212 struct S { S(); }; 213 struct { 214 S s; 215 } a; 216 }; 217 218 // PR5139 219 // CHECK: @_ZN2S7C2Ev 220 // CHECK: @_ZN2S7Ut_C1Ev 221 // CHECK: @_ZN2S7C1Ev 222 S7::S7() {} 223 224 // PR5063 225 template<typename T> typename __enable_if<(__is_scalar_type<T>::__value), void>::__type ft8() { } 226 // CHECK: @_Z3ft8IiEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv 227 template void ft8<int>(); 228 // CHECK: @_Z3ft8IPvEN11__enable_ifIXsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv 229 template void ft8<void*>(); 230 231 // PR5796 232 namespace PR5796 { 233 template<typename> struct __is_scalar_type { 234 enum { __value = 0 }; 235 }; 236 237 template<bool, typename> struct __enable_if {}; 238 template<typename T> struct __enable_if<true, T> { typedef T __type; }; 239 template<typename T> 240 241 // CHECK-LABEL: define linkonce_odr void @_ZN6PR57968__fill_aIiEENS_11__enable_ifIXntsr16__is_scalar_typeIT_EE7__valueEvE6__typeEv 242 typename __enable_if<!__is_scalar_type<T>::__value, void>::__type __fill_a() { }; 243 244 void f() { __fill_a<int>(); } 245 } 246 247 namespace Expressions { 248 // Unary operators. 249 250 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f1ILi1EEEvPAplngT_Li2E_i 251 template <int i> void f1(int (*)[(-i) + 2]) { }; 252 template void f1<1>(int (*)[1]); 253 254 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f2ILi1EEEvPApsT__i 255 template <int i> void f2(int (*)[+i]) { }; 256 template void f2<1>(int (*)[1]); 257 258 // Binary operators. 259 260 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f3ILi1EEEvPAplT_T__i 261 template <int i> void f3(int (*)[i+i]) { }; 262 template void f3<1>(int (*)[2]); 263 264 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f4ILi1EEEvPAplplLi2ET_T__i 265 template <int i> void f4(int (*)[2 + i+i]) { }; 266 template void f4<1>(int (*)[4]); 267 268 // The ternary operator. 269 // CHECK-LABEL: define weak_odr void @_ZN11Expressions2f4ILb1EEEvPAquT_Li1ELi2E_i 270 template <bool b> void f4(int (*)[b ? 1 : 2]) { }; 271 template void f4<true>(int (*)[1]); 272 } 273 274 struct Ops { 275 Ops& operator+(const Ops&); 276 Ops& operator-(const Ops&); 277 Ops& operator&(const Ops&); 278 Ops& operator*(const Ops&); 279 280 void *v; 281 }; 282 283 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsplERKS_ 284 Ops& Ops::operator+(const Ops&) { return *this; } 285 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsmiERKS_ 286 Ops& Ops::operator-(const Ops&) { return *this; } 287 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsanERKS_ 288 Ops& Ops::operator&(const Ops&) { return *this; } 289 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsmlERKS_ 290 Ops& Ops::operator*(const Ops&) { return *this; } 291 292 // PR5861 293 namespace PR5861 { 294 template<bool> class P; 295 template<> class P<true> {}; 296 297 template<template <bool> class, bool> 298 struct Policy { }; 299 300 template<typename T, typename = Policy<P, true> > class Alloc 301 { 302 T *allocate(int, const void*) { return 0; } 303 }; 304 305 // CHECK-LABEL: define weak_odr i8* @_ZN6PR58615AllocIcNS_6PolicyINS_1PELb1EEEE8allocateEiPKv 306 template class Alloc<char>; 307 } 308 309 // CHECK-LABEL: define void @_Z1fU13block_pointerFiiiE 310 void f(int (^)(int, int)) { } 311 312 void pr5966_foo() { 313 extern int pr5966_i; 314 pr5966_i = 0; 315 } 316 317 static int pr5966_j; 318 319 void pr5966_bar() { 320 pr5966_j = 0; 321 } 322 323 namespace test0 { 324 int ovl(int x); 325 char ovl(double x); 326 327 template <class T> void f(T, char (&buffer)[sizeof(ovl(T()))]) {} 328 329 void test0() { 330 char buffer[1]; 331 f(0.0, buffer); 332 } 333 // CHECK-LABEL: define void @_ZN5test05test0Ev() 334 // CHECK-LABEL: define linkonce_odr void @_ZN5test01fIdEEvT_RAszcl3ovlcvS1__EE_c( 335 336 void test1() { 337 char buffer[sizeof(int)]; 338 f(1, buffer); 339 } 340 // CHECK-LABEL: define void @_ZN5test05test1Ev() 341 // CHECK-LABEL: define linkonce_odr void @_ZN5test01fIiEEvT_RAszcl3ovlcvS1__EE_c( 342 343 template <class T> void g(char (&buffer)[sizeof(T() + 5.0f)]) {} 344 void test2() { 345 char buffer[sizeof(float)]; 346 g<float>(buffer); 347 } 348 // CHECK-LABEL: define linkonce_odr void @_ZN5test01gIfEEvRAszplcvT__ELf40a00000E_c( 349 350 template <class T> void h(char (&buffer)[sizeof(T() + 5.0)]) {} 351 void test3() { 352 char buffer[sizeof(double)]; 353 h<float>(buffer); 354 } 355 // CHECK-LABEL: define linkonce_odr void @_ZN5test01hIfEEvRAszplcvT__ELd4014000000000000E_c( 356 357 template <class T> void j(char (&buffer)[sizeof(T().buffer)]) {} 358 struct A { double buffer[128]; }; 359 void test4() { 360 char buffer[1024]; 361 j<A>(buffer); 362 } 363 // CHECK-LABEL: define linkonce_odr void @_ZN5test01jINS_1AEEEvRAszdtcvT__E6buffer_c( 364 365 template <class T> void k(char (&buffer)[sizeof(T() + 0.0f)]) {} 366 void test5() { 367 char buffer[sizeof(float)]; 368 k<float>(buffer); 369 } 370 // CHECK-LABEL: define linkonce_odr void @_ZN5test01kIfEEvRAszplcvT__ELf00000000E_c( 371 372 } 373 374 namespace test1 { 375 template<typename T> struct X { }; 376 template<template<class> class Y, typename T> void f(Y<T>) { } 377 // CHECK-LABEL: define weak_odr void @_ZN5test11fINS_1XEiEEvT_IT0_E 378 template void f(X<int>); 379 } 380 381 // CHECK-LABEL: define internal void @_ZL27functionWithInternalLinkagev() 382 static void functionWithInternalLinkage() { } 383 void g() { functionWithInternalLinkage(); } 384 385 namespace test2 { 386 template <class T> decltype(((T*) 0)->member) read_member(T& obj) { 387 return obj.member; 388 } 389 390 struct A { int member; } obj; 391 int test() { 392 return read_member(obj); 393 } 394 395 // CHECK-LABEL: define linkonce_odr i32 @_ZN5test211read_memberINS_1AEEEDtptcvPT_Li0E6memberERS2_( 396 } 397 398 // rdar://problem/9280586 399 namespace test3 { 400 struct AmbiguousBase { int ab; }; 401 struct Path1 : AmbiguousBase { float p; }; 402 struct Path2 : AmbiguousBase { double p; }; 403 struct Derived : Path1, Path2 { }; 404 405 // CHECK-LABEL: define linkonce_odr i32 @_ZN5test38get_ab_1INS_7DerivedEEEDtptcvPT_Li0Esr5Path1E2abERS2_( 406 template <class T> decltype(((T*) 0)->Path1::ab) get_ab_1(T &ref) { return ref.Path1::ab; } 407 408 // CHECK-LABEL: define linkonce_odr i32 @_ZN5test38get_ab_2INS_7DerivedEEEDtptcvPT_Li0Esr5Path2E2abERS2_( 409 template <class T> decltype(((T*) 0)->Path2::ab) get_ab_2(T &ref) { return ref.Path2::ab; } 410 411 // CHECK-LABEL: define linkonce_odr float @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0Esr5Path1E1pERS2_( 412 template <class T> decltype(((T*) 0)->Path1::p) get_p_1(T &ref) { return ref.Path1::p; } 413 414 // CHECK-LABEL: define linkonce_odr double @_ZN5test37get_p_2INS_7DerivedEEEDtptcvPT_Li0Esr5Path2E1pERS2_( 415 template <class T> decltype(((T*) 0)->Path2::p) get_p_2(T &ref) { return ref.Path2::p; } 416 417 Derived obj; 418 void test() { 419 get_ab_1(obj); 420 get_ab_2(obj); 421 get_p_1(obj); 422 get_p_2(obj); 423 } 424 } 425 426 // CHECK-LABEL: define void @_ZN5test41gEPNS_3zedIXadL_ZNS_3foo3barEEEEE 427 namespace test4 { 428 struct foo { int bar; }; 429 template <int (foo::*)> 430 struct zed {}; 431 void g(zed<&foo::bar>*) 432 {} 433 } 434 // CHECK-LABEL: define void @_ZN5test51gEPNS_3zedIXadL_ZNS_3foo3barEEEEE 435 namespace test5 { 436 struct foo { static int bar; }; 437 template <int *> 438 struct zed {}; 439 void g(zed<&foo::bar>*) 440 {} 441 } 442 // CHECK-LABEL: define void @_ZN5test61gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE 443 namespace test6 { 444 struct foo { int bar(); }; 445 template <int (foo::*)()> 446 struct zed {}; 447 void g(zed<&foo::bar>*) 448 {} 449 } 450 // CHECK-LABEL: define void @_ZN5test71gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE 451 namespace test7 { 452 struct foo { static int bar(); }; 453 template <int (*f)()> 454 struct zed {}; 455 void g(zed<&foo::bar>*) 456 {} 457 } 458 // CHECK-LABEL: define weak_odr void @_ZN5test81AIL_ZNS_1B5valueEEE3incEv 459 namespace test8 { 460 template <int &counter> class A { void inc() { counter++; } }; 461 class B { public: static int value; }; 462 template class A<B::value>; 463 } 464 // CHECK: declare void @_ZN5test91fIiNS_3barEEEvRKNT0_3baz1XE 465 namespace test9 { 466 template<class T> 467 struct foo { 468 typedef T X; 469 }; 470 struct bar { 471 typedef foo<int> baz; 472 }; 473 template <class zaz, class zed> 474 void f(const typename zed::baz::X&); 475 void g() { 476 f<int, bar>( 0); 477 } 478 } 479 480 // <rdar://problem/7825453> 481 namespace test10 { 482 template <char P1> struct S {}; 483 template <char P2> void f(struct S<false ? 'a' : P2> ) {} 484 485 // CHECK-LABEL: define weak_odr void @_ZN6test101fILc3EEEvNS_1SIXquLb0ELc97ET_EEE( 486 template void f<(char) 3>(struct S<3>); 487 } 488 489 namespace test11 { 490 // CHECK: @_ZN6test111fEz 491 void f(...) { } 492 493 struct A { 494 void f(...); 495 }; 496 497 // CHECK: @_ZN6test111A1fEz 498 void A::f(...) { } 499 } 500 501 namespace test12 { 502 503 // CHECK: _ZN6test121fENS_1AILt33000EEE 504 template <unsigned short> struct A { }; 505 void f(A<33000>) { } 506 } 507 508 // PR7446 509 namespace test13 { 510 template <template <class> class T> class A {}; 511 template <class U> class B {}; 512 513 template <template<class> class T> void foo(const A<T> &a) {} 514 515 // CHECK-LABEL: define weak_odr void @_ZN6test133fooINS_1BEEEvRKNS_1AIT_EE( 516 template void foo(const A<B> &a); 517 } 518 519 namespace test14 { 520 extern "C" { 521 struct S { 522 static int a(), x; 523 }; 524 // CHECK-LABEL: define i32 @_ZN6test141S1aEv 525 // CHECK: load i32, i32* @_ZN6test141S1xE 526 int S::a() { return S::x; } 527 } 528 } 529 530 // rdar://problem/8204122 531 namespace test15 { 532 enum E { e = 3 }; 533 template <int I> struct S {}; 534 535 template <int I> void f(S<I + e>) {} 536 537 // CHECK-LABEL: define weak_odr void @_ZN6test151fILi7EEEvNS_1SIXplT_LNS_1EE3EEEE( 538 template void f<7>(S<7 + e>); 539 } 540 541 // rdar://problem/8302148 542 namespace test17 { 543 template <int N> struct A {}; 544 545 struct B { 546 static int foo(void); 547 }; 548 549 template <class T> A<sizeof(T::foo())> func(void); 550 551 // CHECK-LABEL: define void @_ZN6test174testEv() 552 // CHECK: call {{.*}} @_ZN6test174funcINS_1BEEENS_1AIXszclsrT_3fooEEEEv() 553 void test() { 554 func<B>(); 555 } 556 } 557 558 // PR7891 559 namespace test18 { 560 struct A { 561 int operator+(); 562 int operator-(); 563 int operator*(); 564 int operator&(); 565 }; 566 template <int (A::*)()> struct S {}; 567 568 template <typename T> void f(S<&T::operator+>) {} 569 template void f<A>(S<&A::operator+>); 570 571 template <typename T> void f(S<&T::operator- >) {} 572 template void f<A>(S<&A::operator- >); 573 574 template <typename T> void f(S<&T::operator*>) {} 575 template void f<A>(S<&A::operator*>); 576 577 template <typename T> void f(S<&T::operator&>) {} 578 template void f<A>(S<&A::operator&>); 579 580 // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onplEEE 581 // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onmiEEE 582 // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onmlEEE 583 // CHECK-LABEL: define weak_odr void @_ZN6test181fINS_1AEEEvNS_1SIXadsrT_onanEEE 584 } 585 586 // rdar://problem/8332117 587 namespace test19 { 588 struct A { 589 template <typename T> int f(); 590 int operator+(); 591 operator int(); 592 template <typename T> int operator-(); 593 }; 594 595 template <int (A::*)()> struct S {}; 596 597 template <typename T> void g (S<&T::template f<int> >) {} 598 template <typename T> void g (S<&T::operator+ >) {} 599 template <typename T> void g (S<&T::operator int>) {} 600 template <typename T> void g (S<&T::template operator- <double> >) {} 601 602 // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_1fIiEEEE( 603 template void g<A>(S<&A::f<int> >); 604 // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_onplEEE( 605 template void g<A>(S<&A::operator+>); 606 // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_oncviEEE( 607 template void g<A>(S<&A::operator int>); 608 // CHECK-LABEL: define weak_odr void @_ZN6test191gINS_1AEEEvNS_1SIXadsrT_onmiIdEEEE( 609 template void g<A>(S<&A::operator-<double> >); 610 } 611 612 namespace test20 { 613 template <class T> T *f(const T&); 614 template <class T> T *f(T*); 615 616 // CHECK-LABEL: define weak_odr void @_ZN6test205test0IiEEvDTcl1fIPT_ELi0EEE( 617 template <class T> void test0(decltype(f<T*>(0))) {} 618 template void test0<int>(decltype(f<int*>(0))); 619 620 // CHECK-LABEL: define weak_odr void @_ZN6test205test1IiEEvDTcl1fIEcvT__EEE( 621 template <class T> void test1(decltype(f<>(T()))) {} 622 template void test1<int>(decltype(f<>(int()))); 623 } 624 625 // rdar:// 8620510 626 namespace test21 { 627 // CHECK-LABEL: define void @_ZN6test2112vla_arg_funcEiPA_i( 628 void vla_arg_func(int X, int a[X][X]) {} 629 } 630 631 namespace test22 { 632 // CHECK-LABEL: define void @_ZN6test221fEDn( 633 void f(decltype(nullptr)) { } 634 } 635 636 // rdar://problem/8913416 637 namespace test23 { 638 typedef void * const vpc; 639 640 // CHECK-LABEL: define void @_ZN6test231fERA10_KPv( 641 void f(vpc (&)[10]) {} 642 643 typedef vpc vpca5[5]; 644 void f(vpca5 volatile (&)[10]) {} 645 // CHECK-LABEL: define void @_ZN6test231fERA10_A5_VKPv( 646 } 647 648 namespace test24 { 649 void test0() { 650 extern int foo(); 651 // CHECK: call i32 @_ZN6test243fooEv() 652 foo(); 653 } 654 655 static char bar() {} 656 void test1() { 657 // CHECK: call signext i8 @_ZN6test24L3barEv() 658 bar(); 659 } 660 } 661 662 // rdar://problem/8806641 663 namespace test25 { 664 template <void (*fn)()> struct A { 665 static void call() { fn(); } 666 }; 667 void foo(); 668 void test() { 669 // CHECK: call void @_ZN6test251AIXadL_ZNS_3fooEvEEE4callEv() 670 A<foo>::call(); 671 } 672 } 673 674 namespace test26 { 675 template <template <class> class T> void foo(decltype(T<float>::object) &object) {} 676 677 template <class T> struct holder { static T object; }; 678 679 void test() { 680 float f; 681 682 // CHECK: call void @_ZN6test263fooINS_6holderEEEvRDtsrT_IfE6objectE( 683 foo<holder>(f); 684 } 685 } 686 687 namespace test27 { 688 struct A { 689 struct inner { 690 float object; 691 }; 692 693 float meth(); 694 }; 695 typedef A Alias; 696 697 template <class T> void a(decltype(T::inner::object) &object) {} 698 template <class T> void b(decltype(T().Alias::meth()) &object) {} 699 700 void test() { 701 float f; 702 // CHECK: call void @_ZN6test271aINS_1AEEEvRDtsrNT_5innerE6objectE( 703 a<A>(f); 704 // CHECK: call void @_ZN6test271bINS_1AEEEvRDTcldtcvT__Esr5AliasE4methEE( 705 b<A>(f); 706 } 707 } 708 709 // An injected class name type in a unresolved-name. 710 namespace test28 { 711 template <class T> struct A { 712 enum { bit }; 713 }; 714 715 template <class T> void foo(decltype(A<T>::A::bit) x); 716 717 void test() { 718 foo<char>(A<char>::bit); 719 // CHECK: call void @_ZN6test283fooIcEEvDtsr1AIT_E1AE3bitE( 720 } 721 } 722 723 // An enclosing template type parameter in an unresolved-name. 724 namespace test29 { 725 template <class T> struct A { 726 template <class U> static void foo(decltype(T::fn(U())) x); 727 }; 728 struct B { static int fn(int); static long fn(long); }; 729 730 void test() { 731 A<B>::foo<int>(0); 732 // CHECK: call void @_ZN6test291AINS_1BEE3fooIiEEvDTclsrS1_2fncvT__EEE( 733 } 734 } 735 736 // An enclosing template template parameter in an unresolved-name. 737 namespace test30 { 738 template <template <class> class T> struct A { 739 template <class U> static void foo(decltype(T<U>::fn()) x); 740 }; 741 template <class T> struct B { static T fn(); }; 742 743 void test() { 744 A<B>::foo<int>(0); 745 // CHECK: call void @_ZN6test301AINS_1BEE3fooIiEEvDTclsrS1_IT_EE2fnEE( 746 } 747 } 748 749 namespace test31 { // instantiation-dependent mangling of decltype 750 int x; 751 template<class T> auto f1(T p)->decltype(x) { return 0; } 752 // The return type in the mangling of the template signature 753 // is encoded as "i". 754 template<class T> auto f2(T p)->decltype(p) { return 0; } 755 // The return type in the mangling of the template signature 756 // is encoded as "Dtfp_E". 757 void g(int); 758 template<class T> auto f3(T p)->decltype(g(p)) {} 759 760 // CHECK-LABEL: define weak_odr i32 @_ZN6test312f1IiEEiT_( 761 template int f1(int); 762 // CHECK-LABEL: define weak_odr i32 @_ZN6test312f2IiEEDtfp_ET_ 763 template int f2(int); 764 // CHECK-LABEL: define weak_odr void @_ZN6test312f3IiEEDTcl1gfp_EET_ 765 template void f3(int); 766 } 767 768 // PR10205 769 namespace test32 { 770 template<typename T, int=T::value> struct A { 771 typedef int type; 772 }; 773 struct B { enum { value = 4 }; }; 774 775 template <class T> typename A<T>::type foo() { return 0; } 776 void test() { 777 foo<B>(); 778 // CHECK: call i32 @_ZN6test323fooINS_1BEEENS_1AIT_XsrS3_5valueEE4typeEv() 779 } 780 } 781 782 namespace test33 { 783 template <class T> struct X { 784 enum { value = T::value }; 785 }; 786 787 template<typename T, int=X<T>::value> struct A { 788 typedef int type; 789 }; 790 struct B { enum { value = 4 }; }; 791 792 template <class T> typename A<T>::type foo() { return 0; } 793 794 void test() { 795 foo<B>(); 796 // CHECK: call i32 @_ZN6test333fooINS_1BEEENS_1AIT_Xsr1XIS3_EE5valueEE4typeEv() 797 } 798 } 799 800 namespace test34 { 801 // Mangling for instantiation-dependent decltype expressions. 802 template<typename T> 803 void f(decltype(sizeof(decltype(T() + T())))) {} 804 805 // CHECK-LABEL: define weak_odr void @_ZN6test341fIiEEvDTstDTplcvT__EcvS1__EEE 806 template void f<int>(decltype(sizeof(1))); 807 808 // Mangling for non-instantiation-dependent sizeof expressions. 809 template<unsigned N> 810 void f2(int (&)[N + sizeof(int*)]) {} 811 812 // CHECK-LABEL: define weak_odr void @_ZN6test342f2ILj4EEEvRAplT_Lm8E_i 813 template void f2<4>(int (&)[4 + sizeof(int*)]); 814 815 // Mangling for non-instantiation-dependent sizeof expressions 816 // involving an implicit conversion of the result of the sizeof. 817 template<unsigned long long N> 818 void f3(int (&)[N + sizeof(int*)]) {} 819 820 // CHECK-LABEL: define weak_odr void @_ZN6test342f3ILy4EEEvRAplT_Ly8E_i 821 template void f3<4>(int (&)[4 + sizeof(int*)]); 822 823 // Mangling for instantiation-dependent sizeof() expressions as 824 // template arguments. 825 template<unsigned> struct A { }; 826 827 template<typename T> void f4(::test34::A<sizeof(sizeof(decltype(T() + T())))>) { } 828 829 // CHECK-LABEL: define weak_odr void @_ZN6test342f4IiEEvNS_1AIXszstDTplcvT__EcvS2__EEEEE 830 template void f4<int>(A<sizeof(sizeof(int))>); 831 } 832 833 namespace test35 { 834 // Dependent operator names of unknown arity. 835 struct A { 836 template<typename U> A operator+(U) const; 837 }; 838 839 template<typename T> 840 void f1(decltype(sizeof(&T::template operator+<int>))) {} 841 842 // CHECK-LABEL: define weak_odr void @_ZN6test352f1INS_1AEEEvDTszadsrT_onplIiEE 843 template void f1<A>(__SIZE_TYPE__); 844 } 845 846 namespace test36 { 847 template<unsigned> struct A { }; 848 849 template<typename ...Types> 850 auto f1(Types... values) -> A<sizeof...(values)> { } 851 852 // CHECK: define weak_odr {{.*}} @_ZN6test362f1IJifEEENS_1AIXsZfp_EEEDpT_ 853 template A<2> f1(int, float); 854 } 855 856 namespace test37 { 857 struct foo { 858 struct { 859 } a; 860 typedef struct { } b; 861 typedef struct { } *c; 862 struct { 863 } d; 864 }; 865 template<typename T> void func(T) { } 866 void test() { 867 // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt_EEEvT_ 868 func(foo().a); 869 // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt0_EEEvT_ 870 func(*foo::c()); 871 // CHECK-LABEL: define linkonce_odr void @_ZN6test374funcINS_3fooUt1_EEEvT_ 872 func(foo().d); 873 } 874 } 875 876 // CHECK-LABEL: define void @_Z6ASfuncPU3AS3i 877 void ASfunc(__attribute__((address_space(3))) int* x) {} 878 879 namespace test38 { 880 // CHECK-LABEL: define linkonce_odr void @_ZN6test384funcINS_3fooUt_EEEvT_ 881 typedef struct { 882 struct { 883 } a; 884 } foo; 885 886 template <typename T> void func(T) {} 887 void test() { func(foo().a); } 888 } 889 890 namespace test39 { 891 // CHECK-LABEL: define internal void @"_ZN6test394funcINS_3$_03$_1EEEvT_" 892 typedef struct { 893 struct {} a; 894 } *foo; 895 template<typename T> void func(T) {} 896 void test(foo x) { 897 func(x->a); 898 } 899 } 900 901 namespace test40 { 902 // CHECK: i32* {{.*}} @_ZZN6test401fEvE1a_0 903 void h(int&); 904 inline void f() { 905 if (0) { 906 static int a; 907 } 908 static int a; 909 h(a); 910 }; 911 void g() { f(); } 912 } 913 914 namespace test41 { 915 // CHECK: define linkonce_odr void @_ZN6test414funcINS_1XEEEvNS_3fooILi20ES1_EE 916 template <int i, class T> struct foo { 917 template <class T2 = T> friend void func(foo x) {} 918 }; 919 920 struct X {}; 921 922 void g() { func(foo<20, X>()); } 923 } 924 925 namespace test42 { 926 // CHECK: define linkonce_odr void @_ZN6test424funcINS_1XEEEvNS_3fooILi20ES1_EE 927 template <int i, template <class> class T> struct foo { 928 template <template <class> class T2 = T> friend void func(foo x) {} 929 }; 930 931 template <class V> struct X { 932 }; 933 934 void g() { func(foo<20, X>()); } 935 } 936 937 namespace test43 { 938 // CHECK-LABEL: define void @_ZN6test431gEPNS_3zedIXadL_ZNS_3fooUt_3barEEEEE 939 struct foo { union { int bar; }; }; 940 template <int (foo::*)> 941 struct zed {}; 942 void g(zed<&foo::bar>*) 943 {} 944 } 945 946 namespace test44 { 947 struct foo { void bar() __restrict { }; } obj; 948 949 void f() { 950 obj.bar(); 951 } 952 // CHECK-LABEL: define linkonce_odr void @_ZN6test443foo3barEv(%"struct.test44::foo"* %this) 953 } 954 955 namespace test45 { 956 struct S { 957 enum e {}; 958 }; 959 template <typename T> 960 void f(enum T::e *) {} 961 template void f<S>(S::e *); 962 // CHECK-LABEL: define weak_odr void @_ZN6test451fINS_1SEEEvPTeNT_1eE(i32*) 963 } 964 965 namespace test46 { 966 struct S { 967 struct s {}; 968 }; 969 template <typename T> 970 void f(struct T::s *) {} 971 template void f<S>(S::s *); 972 // CHECK-LABEL: define weak_odr void @_ZN6test461fINS_1SEEEvPTsNT_1sE(%"struct.test46::S::s"*) 973 } 974 975 namespace test47 { 976 struct S { 977 class c {}; 978 }; 979 template <typename T> 980 void f(class T::c *) {} 981 template void f<S>(S::c *); 982 // CHECK-LABEL: define weak_odr void @_ZN6test471fINS_1SEEEvPTsNT_1cE(%"class.test47::S::c"*) 983 } 984 985 namespace test48 { 986 struct S { 987 union u {}; 988 }; 989 template <typename T> 990 void f(union T::u *) {} 991 template void f<S>(S::u *); 992 // CHECK-LABEL: define weak_odr void @_ZN6test481fINS_1SEEEvPTuNT_1uE(%"union.test48::S::u"*) 993 } 994 995 namespace test49 { 996 template <int> 997 struct S {}; 998 999 template <template <int> class T> 1000 T<3> fin(T<3>); 1001 1002 auto v = fin<S>; 1003 // CHECK-LABEL: declare void @_ZN6test493finINS_1SEEET_ILi3EES3_() 1004 } 1005 1006 namespace test50 { 1007 template <int> 1008 struct S {}; 1009 1010 template <template <int> class T> 1011 T<3> fin(T<4>); 1012 1013 auto v = fin<S>; 1014 // CHECK-LABEL: declare void @_ZN6test503finINS_1SEEET_ILi3EES2_ILi4EE() 1015 } 1016 1017 namespace test51 { 1018 template <typename T> 1019 decltype(T().~T()) fun() {} 1020 template void fun<int>(); 1021 // CHECK-LABEL: @_ZN6test513funIiEEDTcldtcvT__EdnS1_EEv 1022 template void fun<X>(); 1023 // CHECK-LABEL: @_ZN6test513funI1XEEDTcldtcvT__EdnS2_EEv 1024 template void fun<S1<int> >(); 1025 // CHECK-LABEL: @_ZN6test513funI2S1IiEEEDTcldtcvT__EdnS3_EEv 1026 1027 enum E {}; 1028 template <typename T> 1029 struct X { 1030 struct Y {}; 1031 }; 1032 1033 template <typename T> 1034 decltype(S1<T>().~S1<T>()) fun1() {}; 1035 template <typename U, typename T> 1036 decltype(U().~S1<T>()) fun2() {} 1037 template <typename U, typename T> 1038 decltype(S1<T>().~U()) fun3() {} 1039 template <typename T> 1040 decltype(S1<T>().~S1<T>(), S1<T>().~S1<T>()) fun4() {}; 1041 template <typename T> 1042 decltype(S1<int>().~S1<T>()) fun5(){}; 1043 template <template <typename T> class U> 1044 decltype(S1<int>().~U<int>()) fun6(){}; 1045 template <typename T> 1046 decltype(E().E::~T()) fun7() {} 1047 template <template <typename> class U> 1048 decltype(X<int>::Y().U<int>::Y::~Y()) fun8() {} 1049 template void fun1<int>(); 1050 // CHECK-LABEL: @_ZN6test514fun1IiEEDTcldtcv2S1IT_E_Edn2S1IS2_EEEv 1051 template void fun2<S1<int>, int>(); 1052 // CHECK-LABEL: @_ZN6test514fun2I2S1IiEiEEDTcldtcvT__Edn2S1IT0_EEEv 1053 template void fun3<S1<int>, int>(); 1054 // CHECK-LABEL: @_ZN6test514fun3I2S1IiEiEEDTcldtcvS1_IT0_E_EdnT_EEv 1055 template void fun4<int>(); 1056 // CHECK-LABEL: @_ZN6test514fun4IiEEDTcmcldtcv2S1IT_E_Edn2S1IS2_EEcldtcvS3__Edn2S1IS2_EEEv 1057 template void fun5<int>(); 1058 // CHECK-LABEL: @_ZN6test514fun5IiEEDTcldtcv2S1IiE_Edn2S1IT_EEEv 1059 template void fun6<S1>(); 1060 // CHECK-LABEL: @_ZN6test514fun6I2S1EEDTcldtcvS1_IiE_EdnT_IiEEEv 1061 template void fun7<E>(); 1062 // CHECK-LABEL: @_ZN6test514fun7INS_1EEEEDTcldtcvS1__Esr1EEdnT_EEv 1063 template void fun8<X>(); 1064 } 1065 1066 namespace test52 { 1067 struct X {}; 1068 void operator+(X); 1069 template <typename... T> 1070 auto f4(T... x) -> decltype(operator+(x...)); 1071 // CHECK-LABEL: @_ZN6test522f4IJNS_1XEEEEDTclonplspfp_EEDpT_ 1072 void use() { f4(X{}); } 1073 } 1074 1075 namespace test53 { 1076 struct c { 1077 using t1 = struct { int z; }; 1078 using t2 = struct { double z; }; 1079 using t3 = struct { float z; }; 1080 using t4 = struct { float z; }; 1081 1082 __attribute__((used)) c(t1) {} 1083 __attribute__((used)) c(t2) {} 1084 __attribute__((used)) c(t3) {} 1085 __attribute__((used)) c(t4) {} 1086 // CHECK-LABEL: @_ZN6test531cC2ENS0_2t1E 1087 // CHECK-LABEL: @_ZN6test531cC2ENS0_2t2E 1088 // CHECK-LABEL: @_ZN6test531cC2ENS0_2t3E 1089 // CHECK-LABEL: @_ZN6test531cC2ENS0_2t4E 1090 }; 1091 } 1092 1093 namespace test54 { 1094 struct c { 1095 using t1 = struct { int z; } *; 1096 using t2 = struct { double z; } *; 1097 1098 __attribute__((used)) c(t1) {} 1099 __attribute__((used)) c(t2) {} 1100 // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut_E 1101 // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut0_E 1102 }; 1103 } 1104
