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
operator +(const Y &,X * (& xs)[100])15 bool operator+(const Y&, X* (&xs)[100]) { return false; }
16 
17 // CHECK-LABEL: define void @_Z1f1s
18 typedef struct { int a; } s;
f(s)19 void f(s) { }
20 
21 // CHECK-LABEL: define void @_Z1f1e
22 typedef enum { foo } e;
f(e)23 void f(e) { }
24 
25 // CHECK-LABEL: define void @_Z1f1u
26 typedef union { int a; } u;
f(u)27 void f(u) { }
28 
29 // CHECK-LABEL: define void @_Z1f1x
30 typedef struct { int a; } x,y;
f(y)31 void f(y) { }
32 
33 // CHECK-LABEL: define void @_Z1fv
f()34 void f() { }
35 
36 // CHECK-LABEL: define void @_ZN1N1fEv
f()37 namespace N { void f() { } }
38 
39 // CHECK-LABEL: define void @_ZN1N1N1fEv
f()40 namespace N { namespace N { void f() { } } }
41 
42 // CHECK-LABEL: define void @unmangled_function
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 
f(int,int)49 namespace N { int f(int, int) { static int b; return b; } }
50 
g()51 namespace N { int h(); void g() { static int a = h(); } }
52 
53 // CHECK-LABEL: define void @_Z1fno
f(__int128_t,__uint128_t)54 void f(__int128_t, __uint128_t) { }
55 
56 template <typename T> struct S1 {};
57 
58 // CHECK-LABEL: define void @_Z1f2S1IiE
f(S1<int>)59 void f(S1<int>) {}
60 
61 // CHECK-LABEL: define void @_Z1f2S1IdE
f(S1<double>)62 void f(S1<double>) {}
63 
64 template <int N> struct S2 {};
65 // CHECK-LABEL: define void @_Z1f2S2ILi100EE
f(S2<100>)66 void f(S2<100>) {}
67 
68 // CHECK-LABEL: define void @_Z1f2S2ILin100EE
f(S2<-100>)69 void f(S2<-100>) {}
70 
71 template <bool B> struct S3 {};
72 
73 // CHECK-LABEL: define void @_Z1f2S3ILb1EE
f(S3<true>)74 void f(S3<true>) {}
75 
76 // CHECK-LABEL: define void @_Z1f2S3ILb0EE
f(S3<false>)77 void f(S3<false>) {}
78 
79 struct S;
80 
81 // CHECK-LABEL: define void @_Z1fM1SKFvvE
f(void (S::*)()const)82 void f(void (S::*)() const) {}
83 
84 // CHECK-LABEL: define void @_Z1fM1SFvvE
f(void (S::*)())85 void f(void (S::*)()) {}
86 
87 // CHECK-LABEL: define void @_Z1fi
f(const int)88 void f(const int) { }
89 
ft1(U u,T t)90 template<typename T, typename U> void ft1(U u, T t) { }
91 
ft2(T t,void (*)(T),void (*)(T))92 template<typename T> void ft2(T t, void (*)(T), void (*)(T)) { }
93 
94 template<typename T, typename U = S1<T> > struct S4 { };
ft3(S4<T> *)95 template<typename T> void ft3(S4<T>*) {  }
96 
97 namespace NS {
ft1(T)98   template<typename T> void ft1(T) { }
99 }
100 
g1()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 
ft4(S5<I>)118 template<int I> void ft4(S5<I>) { }
g2()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
h()129  void h() { }
130 }
131 
132 // PR5019
133 extern "C" { struct a { int b; }; }
134 
135 // CHECK: @_Z1fP1a
f(struct a * x)136 int f(struct a *x) {
137     return x->b;
138 }
139 
140 // PR5017
141 extern "C" {
142 struct Debug {
operator <<Debug143   const Debug& operator<< (unsigned a) const { return *this; }
144 };
145 Debug dbg;
146 // CHECK: @_ZNK5DebuglsEj
main(void)147 int main(void) {  dbg << 32 ;}
148 }
149 
150 template<typename T> struct S6 {
151   typedef int B;
152 };
153 
ft5(typename S6<T>::B)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 {
operator ==(const A<T> &,const A<T> &)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 {
operator ==(const A<T> &,const A<T> &)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 
ft6(const T &)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
ft7()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
extern_f(void)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
S7()222 S7::S7() {}
223 
224 // PR5063
ft8()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
__fill_a()242 typename __enable_if<!__is_scalar_type<T>::__value, void>::__type __fill_a() { };
243 
f()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
f1(int (*)[(-i)+2])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
f2(int (*)[+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
f3(int (*)[i+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
f4(int (*)[2+i+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
f4(int (*)[b?1:2])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_
operator +(const Ops &)284 Ops& Ops::operator+(const Ops&) { return *this; }
285 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsmiERKS_
operator -(const Ops &)286 Ops& Ops::operator-(const Ops&) { return *this; }
287 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsanERKS_
operator &(const Ops &)288 Ops& Ops::operator&(const Ops&) { return *this; }
289 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) %struct.Ops* @_ZN3OpsmlERKS_
operator *(const Ops &)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 {
allocate(int,const void *)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 
pr5966_foo()312 void pr5966_foo() {
313   extern int pr5966_i;
314   pr5966_i = 0;
315 }
316 
317 static int pr5966_j;
318 
pr5966_bar()319 void pr5966_bar() {
320   pr5966_j = 0;
321 }
322 
323 namespace test0 {
324   int ovl(int x);
325   char ovl(double x);
326 
f(T,char (& buffer)[sizeof (ovl (T ()))])327   template <class T> void f(T, char (&buffer)[sizeof(ovl(T()))]) {}
328 
test0()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 
test1()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 
g(char (& buffer)[sizeof (T ()+5.0f)])343   template <class T> void g(char (&buffer)[sizeof(T() + 5.0f)]) {}
test2()344   void test2() {
345     char buffer[sizeof(float)];
346     g<float>(buffer);
347   }
348   // CHECK-LABEL: define linkonce_odr void @_ZN5test01gIfEEvRAszplcvT__ELf40a00000E_c(
349 
h(char (& buffer)[sizeof (T ()+5.0)])350   template <class T> void h(char (&buffer)[sizeof(T() + 5.0)]) {}
test3()351   void test3() {
352     char buffer[sizeof(double)];
353     h<float>(buffer);
354   }
355   // CHECK-LABEL: define linkonce_odr void @_ZN5test01hIfEEvRAszplcvT__ELd4014000000000000E_c(
356 
j(char (& buffer)[sizeof (T ().buffer)])357   template <class T> void j(char (&buffer)[sizeof(T().buffer)]) {}
358   struct A { double buffer[128]; };
test4()359   void test4() {
360     char buffer[1024];
361     j<A>(buffer);
362   }
363   // CHECK-LABEL: define linkonce_odr void @_ZN5test01jINS_1AEEEvRAszdtcvT__E6buffer_c(
364 
k(char (& buffer)[sizeof (T ()+0.0f)])365   template <class T> void k(char (&buffer)[sizeof(T() + 0.0f)]) {}
test5()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 { };
f(Y<T>)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()
functionWithInternalLinkage()382 static void functionWithInternalLinkage() {  }
g()383 void g() { functionWithInternalLinkage(); }
384 
385 namespace test2 {
read_member(T & obj)386   template <class T> decltype(((T*) 0)->member) read_member(T& obj) {
387     return obj.member;
388   }
389 
390   struct A { int member; } obj;
test()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_(
get_ab_1(T & ref)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_(
get_ab_2(T & ref)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_(
get_p_1(T & ref)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_(
get_p_2(T & ref)415   template <class T> decltype(((T*) 0)->Path2::p) get_p_2(T &ref) { return ref.Path2::p; }
416 
417   Derived obj;
test()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 {};
g(zed<& foo::bar> *)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 {};
g(zed<& foo::bar> *)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 {};
g(zed<& foo::bar> *)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 {};
g(zed<& foo::bar> *)455   void g(zed<&foo::bar>*)
456   {}
457 }
458 // CHECK-LABEL: define weak_odr void @_ZN5test81AIL_ZNS_1B5valueEEE3incEv
459 namespace test8 {
inc()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&);
g()475   void g() {
476     f<int, bar>( 0);
477   }
478 }
479 
480 // <rdar://problem/7825453>
481 namespace test10 {
482   template <char P1> struct S {};
f(struct S<false?'a':P2>)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
f(...)491   void f(...) { }
492 
493   struct A {
494     void f(...);
495   };
496 
497   // CHECK: @_ZN6test111A1fEz
f(...)498   void A::f(...) { }
499 }
500 
501 namespace test12 {
502 
503   // CHECK: _ZN6test121fENS_1AILt33000EEE
504   template <unsigned short> struct A { };
f(A<33000>)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 
foo(const A<T> & a)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
a()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 
f(S<I+e>)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()
test()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 
f(S<& T::operator+>)568   template <typename T> void f(S<&T::operator+>) {}
569   template void f<A>(S<&A::operator+>);
570 
f(S<& T::operator->)571   template <typename T> void f(S<&T::operator- >) {}
572   template void f<A>(S<&A::operator- >);
573 
f(S<& T::operator * >)574   template <typename T> void f(S<&T::operator*>) {}
575   template void f<A>(S<&A::operator*>);
576 
f(S<& T::operator &>)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 
g(S<& T::template f<int>>)597   template <typename T> void g (S<&T::template f<int> >) {}
g(S<& T::operator+>)598   template <typename T> void g (S<&T::operator+ >) {}
g(S<& T::operator int>)599   template <typename T> void g (S<&T::operator int>) {}
g(S<& T::template operator-<double>>)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(
test0(decltype(f<T * > (0)) )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(
test1(decltype(f<> (T ())) )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(
vla_arg_func(int X,int a[X][X])628   void vla_arg_func(int X, int a[X][X]) {}
629 }
630 
631 namespace test22 {
632   // CHECK-LABEL: define void @_ZN6test221fEDn(
f(decltype(nullptr) )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(
f(vpc (&)[10])641   void f(vpc (&)[10]) {}
642 
643   typedef vpc vpca5[5];
f(vpca5 volatile (&)[10])644   void f(vpca5 volatile (&)[10]) {}
645   // CHECK-LABEL: define void @_ZN6test231fERA10_A5_VKPv(
646 }
647 
648 namespace test24 {
test0()649   void test0() {
650     extern int foo();
651     // CHECK: call i32 @_ZN6test243fooEv()
652     foo();
653   }
654 
bar()655   static char bar() {}
test1()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 {
calltest25::A665     static void call() { fn(); }
666   };
667   void foo();
test()668   void test() {
669     // CHECK: call void @_ZN6test251AIXadL_ZNS_3fooEvEEE4callEv()
670     A<foo>::call();
671   }
672 }
673 
674 namespace test26 {
foo(decltype(T<float>::object) & object)675   template <template <class> class T> void foo(decltype(T<float>::object) &object) {}
676 
677   template <class T> struct holder { static T object; };
678 
test()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 
a(decltype(T::inner::object) & object)697   template <class T> void a(decltype(T::inner::object) &object) {}
T()698   template <class T> void b(decltype(T().Alias::meth()) &object) {}
699 
test()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 
test()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 
test()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 
test()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;
f1(T p)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".
f2(T p)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);
f3(T p)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 
foo()775   template <class T> typename A<T>::type foo() { return 0; }
test()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 
foo()792   template <class T> typename A<T>::type foo() { return 0; }
793 
test()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>
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>
f2(int (&)[N+sizeof (int *)])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>
f3(int (&)[N+sizeof (int *)])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 
f4(::test34::A<sizeof (sizeof (decltype(T ()+T ()) ))>)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>
f1(Types...values)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   };
func(T)865   template<typename T> void func(T) { }
test()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
ASfunc(int * x)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 
func(T)886   template <typename T> void func(T) {}
test()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;
func(T)895   template<typename T> void func(T) {}
test(foo x)896   void test(foo x) {
897     func(x->a);
898   }
899 }
900 
901 namespace test40 {
902   // CHECK: i32* {{.*}} @_ZZN6test401fEvE1a_0
903   void h(int&);
f()904   inline void f() {
905     if (0) {
906       static int a;
907     }
908     static int a;
909     h(a);
910   };
g()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 {
func(foo x)917     template <class T2 = T> friend void func(foo x) {}
918   };
919 
920   struct X {};
921 
g()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 {
func(foo x)928     template <template <class> class T2 = T> friend void func(foo x) {}
929   };
930 
931   template <class V> struct X {
932   };
933 
g()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 {};
g(zed<& foo::bar> *)942   void g(zed<&foo::bar>*)
943   {}
944 }
945 
946 namespace test44 {
bartest44::foo947   struct foo { void bar() __restrict { }; } obj;
948 
f()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>
f(enum T::e *)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>
f(struct T::s *)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>
f(class T::c *)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>
f(union T::u *)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>
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>
fun1()1034   decltype(S1<T>().~S1<T>()) fun1() {};
1035   template <typename U, typename T>
U()1036   decltype(U().~S1<T>()) fun2() {}
1037   template <typename U, typename T>
fun3()1038   decltype(S1<T>().~U()) fun3() {}
1039   template <typename T>
fun4()1040   decltype(S1<T>().~S1<T>(), S1<T>().~S1<T>()) fun4() {};
1041   template <typename T>
fun5()1042   decltype(S1<int>().~S1<T>()) fun5(){};
1043   template <template <typename T> class U>
fun6()1044   decltype(S1<int>().~U<int>()) fun6(){};
1045   template <typename T>
E()1046   decltype(E().E::~T()) fun7() {}
1047   template <template <typename> class U>
fun8()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_
use()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 
ctest53::c1082   __attribute__((used)) c(t1) {}
ctest53::c1083   __attribute__((used)) c(t2) {}
ctest53::c1084   __attribute__((used)) c(t3) {}
ctest53::c1085   __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 
ctest54::c1098   __attribute__((used)) c(t1) {}
ctest54::c1099   __attribute__((used)) c(t2) {}
1100   // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut_E
1101   // CHECK-LABEL: @_ZN6test541cC2EPNS0_Ut0_E
1102 };
1103 }
1104