1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -fblocks -std=c++0x | 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_i = internal global 13 14 // CHECK: define zeroext i1 @_ZplRK1YRA100_P1X 15 bool operator+(const Y&, X* (&xs)[100]) { return false; } 16 17 // CHECK: define void @_Z1f1s 18 typedef struct { int a; } s; 19 void f(s) { } 20 21 // CHECK: define void @_Z1f1e 22 typedef enum { foo } e; 23 void f(e) { } 24 25 // CHECK: define void @_Z1f1u 26 typedef union { int a; } u; 27 void f(u) { } 28 29 // CHECK: define void @_Z1f1x 30 typedef struct { int a; } x,y; 31 void f(y) { } 32 33 // CHECK: define void @_Z1fv 34 void f() { } 35 36 // CHECK: define void @_ZN1N1fEv 37 namespace N { void f() { } } 38 39 // CHECK: define void @_ZN1N1N1fEv 40 namespace N { namespace N { void f() { } } } 41 42 // CHECK: 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: define void @_Z1fno 54 void f(__int128_t, __uint128_t) { } 55 56 template <typename T> struct S1 {}; 57 58 // CHECK: define void @_Z1f2S1IiE 59 void f(S1<int>) {} 60 61 // CHECK: define void @_Z1f2S1IdE 62 void f(S1<double>) {} 63 64 template <int N> struct S2 {}; 65 // CHECK: define void @_Z1f2S2ILi100EE 66 void f(S2<100>) {} 67 68 // CHECK: define void @_Z1f2S2ILin100EE 69 void f(S2<-100>) {} 70 71 template <bool B> struct S3 {}; 72 73 // CHECK: define void @_Z1f2S3ILb1EE 74 void f(S3<true>) {} 75 76 // CHECK: define void @_Z1f2S3ILb0EE 77 void f(S3<false>) {} 78 79 // CHECK: define void @_Z2f22S3ILb1EE 80 void f2(S3<100>) {} 81 82 struct S; 83 84 // CHECK: define void @_Z1fM1SKFvvE 85 void f(void (S::*)() const) {} 86 87 // CHECK: define void @_Z1fM1SFvvE 88 void f(void (S::*)()) {} 89 90 // CHECK: define void @_Z1fi 91 void f(const int) { } 92 93 template<typename T, typename U> void ft1(U u, T t) { } 94 95 template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { } 96 97 template<typename T, typename U = S1<T> > struct S4 { }; 98 template<typename T> void ft3(S4<T>*) { } 99 100 namespace NS { 101 template<typename T> void ft1(T) { } 102 } 103 104 void g1() { 105 // CHECK: @_Z3ft1IidEvT0_T_ 106 ft1<int, double>(1, 0); 107 108 // CHECK: @_Z3ft2IcEvT_PFvS0_ES2_ 109 ft2<char>(1, 0, 0); 110 111 // CHECK: @_Z3ft3IiEvP2S4IT_2S1IS1_EE 112 ft3<int>(0); 113 114 // CHECK: @_ZN2NS3ft1IiEEvT_ 115 NS::ft1<int>(1); 116 } 117 118 // Expressions 119 template<int I> struct S5 { }; 120 121 template<int I> void ft4(S5<I>) { } 122 void g2() { 123 // CHECK: @_Z3ft4ILi10EEv2S5IXT_EE 124 ft4(S5<10>()); 125 126 // CHECK: @_Z3ft4ILi20EEv2S5IXT_EE 127 ft4(S5<20>()); 128 } 129 130 extern "C++" { 131 // CHECK: @_Z1hv 132 void h() { } 133 } 134 135 // PR5019 136 extern "C" { struct a { int b; }; } 137 138 // CHECK: @_Z1fP1a 139 int f(struct a *x) { 140 return x->b; 141 } 142 143 // PR5017 144 extern "C" { 145 struct Debug { 146 const Debug& operator<< (unsigned a) const { return *this; } 147 }; 148 Debug dbg; 149 // CHECK: @_ZNK5DebuglsEj 150 int main(void) { dbg << 32 ;} 151 } 152 153 template<typename T> struct S6 { 154 typedef int B; 155 }; 156 157 template<typename T> void ft5(typename S6<T>::B) { } 158 // CHECK: @_Z3ft5IiEvN2S6IT_E1BE 159 template void ft5<int>(int); 160 161 template<typename T> class A {}; 162 163 namespace NS { 164 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; } 165 } 166 167 // CHECK: @_ZN2NSeqIcEEbRK1AIT_ES5_ 168 template bool NS::operator==(const ::A<char>&, const ::A<char>&); 169 170 namespace std { 171 template<typename T> bool operator==(const A<T>&, const A<T>&) { return true; } 172 } 173 174 // CHECK: @_ZSteqIcEbRK1AIT_ES4_ 175 template bool std::operator==(const ::A<char>&, const ::A<char>&); 176 177 struct S { 178 typedef int U; 179 }; 180 181 template <typename T> typename T::U ft6(const T&) { return 0; } 182 183 // CHECK: @_Z3ft6I1SENT_1UERKS1_ 184 template int ft6<S>(const S&); 185 186 template<typename> struct __is_scalar { 187 enum { __value = 1 }; 188 }; 189 190 template<bool, typename> struct __enable_if { }; 191 192 template<typename T> struct __enable_if<true, T> { 193 typedef T __type; 194 }; 195 196 // PR5063 197 template<typename T> typename __enable_if<__is_scalar<T>::__value, void>::__type ft7() { } 198 199 // CHECK: @_Z3ft7IiEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv 200 template void ft7<int>(); 201 // CHECK: @_Z3ft7IPvEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv 202 template void ft7<void*>(); 203 204 // PR5144 205 extern "C" { 206 void extern_f(void); 207 }; 208 209 // CHECK: @extern_f 210 void extern_f(void) { } 211 212 struct S7 { 213 S7(); 214 215 struct S { S(); }; 216 struct { 217 S s; 218 } a; 219 }; 220 221 // PR5139 222 // CHECK: @_ZN2S7C1Ev 223 // CHECK: @_ZN2S7C2Ev 224 // CHECK: @"_ZN2S73$_0C1Ev" 225 S7::S7() {} 226 227 // PR5063 228 template<typename T> typename __enable_if<(__is_scalar<T>::__value), void>::__type ft8() { } 229 // CHECK: @_Z3ft8IiEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv 230 template void ft8<int>(); 231 // CHECK: @_Z3ft8IPvEN11__enable_ifIXsr11__is_scalarIT_E7__valueEvE6__typeEv 232 template void ft8<void*>(); 233 234 // PR5796 235 namespace PR5796 { 236 template<typename> struct __is_scalar { 237 enum { __value = 0 }; 238 }; 239 240 template<bool, typename> struct __enable_if {}; 241 template<typename T> struct __enable_if<true, T> { typedef T __type; }; 242 template<typename T> 243 244 // CHECK: define linkonce_odr void @_ZN6PR57968__fill_aIiEENS_11__enable_ifIXntsrNS_11__is_scalarIT_EE7__valueEvE6__typeEv 245 typename __enable_if<!__is_scalar<T>::__value, void>::__type __fill_a() { }; 246 247 void f() { __fill_a<int>(); } 248 } 249 250 namespace Expressions { 251 // Unary operators. 252 253 // CHECK: define weak_odr void @_ZN11Expressions2f1ILi1EEEvPAplngT_Li2E_i 254 template <int i> void f1(int (*)[(-i) + 2]) { }; 255 template void f1<1>(int (*)[1]); 256 257 // CHECK: define weak_odr void @_ZN11Expressions2f2ILi1EEEvPApsT__i 258 template <int i> void f2(int (*)[+i]) { }; 259 template void f2<1>(int (*)[1]); 260 261 // Binary operators. 262 263 // CHECK: define weak_odr void @_ZN11Expressions2f3ILi1EEEvPAplT_T__i 264 template <int i> void f3(int (*)[i+i]) { }; 265 template void f3<1>(int (*)[2]); 266 267 // CHECK: define weak_odr void @_ZN11Expressions2f4ILi1EEEvPAplplLi2ET_T__i 268 template <int i> void f4(int (*)[2 + i+i]) { }; 269 template void f4<1>(int (*)[4]); 270 271 // The ternary operator. 272 // CHECK: define weak_odr void @_ZN11Expressions2f4ILb1EEEvPAquT_Li1ELi2E_i 273 template <bool b> void f4(int (*)[b ? 1 : 2]) { }; 274 template void f4<true>(int (*)[1]); 275 } 276 277 struct Ops { 278 Ops& operator+(const Ops&); 279 Ops& operator-(const Ops&); 280 Ops& operator&(const Ops&); 281 Ops& operator*(const Ops&); 282 283 void *v; 284 }; 285 286 // CHECK: define %struct.Ops* @_ZN3OpsplERKS_ 287 Ops& Ops::operator+(const Ops&) { return *this; } 288 // CHECK: define %struct.Ops* @_ZN3OpsmiERKS_ 289 Ops& Ops::operator-(const Ops&) { return *this; } 290 // CHECK: define %struct.Ops* @_ZN3OpsanERKS_ 291 Ops& Ops::operator&(const Ops&) { return *this; } 292 // CHECK: define %struct.Ops* @_ZN3OpsmlERKS_ 293 Ops& Ops::operator*(const Ops&) { return *this; } 294 295 // PR5861 296 namespace PR5861 { 297 template<bool> class P; 298 template<> class P<true> {}; 299 300 template<template <bool> class, bool> 301 struct Policy { }; 302 303 template<typename T, typename = Policy<P, true> > class Alloc 304 { 305 T *allocate(int, const void*) { return 0; } 306 }; 307 308 // CHECK: define weak_odr i8* @_ZN6PR58615AllocIcNS_6PolicyINS_1PELb1EEEE8allocateEiPKv 309 template class Alloc<char>; 310 } 311 312 // CHECK: define void @_Z1fU13block_pointerFiiiE 313 void f(int (^)(int, int)) { } 314 315 void pr5966_foo() { 316 extern int pr5966_i; 317 pr5966_i = 0; 318 } 319 320 static int pr5966_i; 321 322 void pr5966_bar() { 323 pr5966_i = 0; 324 } 325 326 namespace test0 { 327 int ovl(int x); 328 char ovl(double x); 329 330 template <class T> void f(T, char (&buffer)[sizeof(ovl(T()))]) {} 331 332 void test0() { 333 char buffer[1]; 334 f(0.0, buffer); 335 } 336 // CHECK: define void @_ZN5test05test0Ev() 337 // CHECK: define linkonce_odr void @_ZN5test01fIdEEvT_RAszcl3ovlcvS1__EE_c( 338 339 void test1() { 340 char buffer[sizeof(int)]; 341 f(1, buffer); 342 } 343 // CHECK: define void @_ZN5test05test1Ev() 344 // CHECK: define linkonce_odr void @_ZN5test01fIiEEvT_RAszcl3ovlcvS1__EE_c( 345 346 template <class T> void g(char (&buffer)[sizeof(T() + 5.0f)]) {} 347 void test2() { 348 char buffer[sizeof(float)]; 349 g<float>(buffer); 350 } 351 // CHECK: define linkonce_odr void @_ZN5test01gIfEEvRAszplcvT__ELf40A00000E_c( 352 353 template <class T> void h(char (&buffer)[sizeof(T() + 5.0)]) {} 354 void test3() { 355 char buffer[sizeof(double)]; 356 h<float>(buffer); 357 } 358 // CHECK: define linkonce_odr void @_ZN5test01hIfEEvRAszplcvT__ELd4014000000000000E_c( 359 360 template <class T> void j(char (&buffer)[sizeof(T().buffer)]) {} 361 struct A { double buffer[128]; }; 362 void test4() { 363 char buffer[1024]; 364 j<A>(buffer); 365 } 366 // CHECK: define linkonce_odr void @_ZN5test01jINS_1AEEEvRAszdtcvT__E6buffer_c( 367 } 368 369 namespace test1 { 370 template<typename T> struct X { }; 371 template<template<class> class Y, typename T> void f(Y<T>) { } 372 // CHECK: define weak_odr void @_ZN5test11fINS_1XEiEEvT_IT0_E 373 template void f(X<int>); 374 } 375 376 // CHECK: define internal void @_Z27functionWithInternalLinkagev() 377 static void functionWithInternalLinkage() { } 378 void g() { functionWithInternalLinkage(); } 379 380 namespace test2 { 381 template <class T> decltype(((T*) 0)->member) read_member(T& obj) { 382 return obj.member; 383 } 384 385 struct A { int member; } obj; 386 int test() { 387 return read_member(obj); 388 } 389 390 // CHECK: define linkonce_odr i32 @_ZN5test211read_memberINS_1AEEEDtptcvPT_Li0E6memberERS2_( 391 } 392 393 namespace test3 { 394 struct AmbiguousBase { int ab; }; 395 struct Path1 : AmbiguousBase { float p; }; 396 struct Path2 : AmbiguousBase { double p; }; 397 struct Derived : Path1, Path2 { }; 398 399 //template <class T> decltype(((T*) 0)->Path1::ab) get_ab_1(T &ref) { return ref.Path1::ab; } 400 //template <class T> decltype(((T*) 0)->Path2::ab) get_ab_2(T &ref) { return ref.Path2::ab; } 401 402 // define weak_odr float @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0E5Path11pERS2_( 403 template <class T> decltype(((T*) 0)->Path1::p) get_p_1(T &ref) { return ref.Path1::p; } 404 405 // define weak_odr double @_ZN5test37get_p_1INS_7DerivedEEEDtptcvPT_Li0E5Path21pERS2_( 406 template <class T> decltype(((T*) 0)->Path2::p) get_p_2(T &ref) { return ref.Path2::p; } 407 408 Derived obj; 409 void test() { 410 // FIXME: uncomment these when we support diamonds competently 411 //get_ab_1(obj); 412 //get_ab_2(obj); 413 get_p_1(obj); 414 get_p_2(obj); 415 } 416 } 417 418 // CHECK: define void @_ZN5test41gEPNS_3zedIXadL_ZNS_3foo3barEEEEE 419 namespace test4 { 420 struct foo { int bar; }; 421 template <int (foo::*)> 422 struct zed {}; 423 void g(zed<&foo::bar>*) 424 {} 425 } 426 // CHECK: define void @_ZN5test51gEPNS_3zedIXadL_ZNS_3foo3barEEEEE 427 namespace test5 { 428 struct foo { static int bar; }; 429 template <int *> 430 struct zed {}; 431 void g(zed<&foo::bar>*) 432 {} 433 } 434 // CHECK: define void @_ZN5test61gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE 435 namespace test6 { 436 struct foo { int bar(); }; 437 template <int (foo::*)()> 438 struct zed {}; 439 void g(zed<&foo::bar>*) 440 {} 441 } 442 // CHECK: define void @_ZN5test71gEPNS_3zedIXadL_ZNS_3foo3barEvEEEE 443 namespace test7 { 444 struct foo { static int bar(); }; 445 template <int (*f)()> 446 struct zed {}; 447 void g(zed<&foo::bar>*) 448 {} 449 } 450 // CHECK: define weak_odr void @_ZN5test81AILZNS_1B5valueEEE3incEv 451 namespace test8 { 452 template <int &counter> class A { void inc() { counter++; } }; 453 class B { public: static int value; }; 454 template class A<B::value>; 455 } 456 // CHECK: declare void @_ZN5test91fIiNS_3barEEEvRKNT0_3baz1XE 457 namespace test9 { 458 template<class T> 459 struct foo { 460 typedef T X; 461 }; 462 struct bar { 463 typedef foo<int> baz; 464 }; 465 template <class zaz, class zed> 466 void f(const typename zed::baz::X&); 467 void g() { 468 f<int, bar>( 0); 469 } 470 } 471 472 // <rdar://problem/7825453> 473 namespace test10 { 474 template <char P1> struct S {}; 475 template <char P2> void f(struct S<false ? 'a' : P2> ) {} 476 477 // CHECK: define weak_odr void @_ZN6test101fILc3EEEvNS_1SIXquLb0ELc97ET_EEE( 478 template void f<(char) 3>(struct S<3>); 479 } 480