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