1// RUN: %clang_cc1 -verify -Wno-return-type -Wno-main -std=c++11 -emit-llvm -triple %itanium_abi_triple -o - %s | FileCheck %s
2// expected-no-diagnostics
3
4namespace test1 {
5int x;
6template <int& D> class T { };
7// CHECK: void @_ZN5test12f0ENS_1TIL_ZNS_1xEEEE(
8void f0(T<x> a0) {}
9}
10
11namespace test1 {
12// CHECK: void @_ZN5test12f0Ef
13void f0(float) {}
14template<void (&)(float)> struct t1 {};
15// CHECK: void @_ZN5test12f1ENS_2t1IL_ZNS_2f0EfEEE(
16void f1(t1<f0> a0) {}
17}
18
19namespace test2 {
20// CHECK: void @_ZN5test22f0Ef
21void f0(float) {}
22template<void (*)(float)> struct t1 {};
23// CHECK: void @_ZN5test22f1ENS_2t1IXadL_ZNS_2f0EfEEEE(
24void f1(t1<f0> a0) {}
25}
26
27namespace test3 {
28// CHECK: void @test3_f0
29extern "C" void test3_f0(float) {}
30template<void (&)(float)> struct t1 {};
31// CHECK: void @_ZN5test32f1ENS_2t1IL_Z8test3_f0EEE(
32void f1(t1<test3_f0> a0) {}
33}
34
35namespace test4 {
36// CHECK: void @test4_f0
37extern "C" void test4_f0(float) {}
38template<void (*)(float)> struct t1 {};
39// CHECK: void @_ZN5test42f1ENS_2t1IXadL_Z8test4_f0EEEE(
40void f1(t1<test4_f0> a0) {}
41}
42
43// CHECK: void @test5_f0
44extern "C" void test5_f0(float) {}
45int main(int) {}
46
47namespace test5 {
48template<void (&)(float)> struct t1 {};
49// CHECK: void @_ZN5test52f1ENS_2t1IL_Z8test5_f0EEE(
50void f1(t1<test5_f0> a0) {}
51
52template<int (&)(int)> struct t2 {};
53// CHECK: void @_ZN5test52f2ENS_2t2IL_Z4mainEEE
54void f2(t2<main> a0) {}
55}
56
57namespace test6 {
58struct A { void im0(float); };
59// CHECK: void @_ZN5test61A3im0Ef
60void A::im0(float) {}
61template <void(A::*)(float)> class T { };
62// CHECK: void @_ZN5test62f0ENS_1TIXadL_ZNS_1A3im0EfEEEE(
63void f0(T<&A::im0> a0) {}
64}
65
66namespace test7 {
67  template<typename T>
68  struct meta {
69    static const unsigned value = sizeof(T);
70  };
71
72  template<unsigned> struct int_c {
73    typedef float type;
74  };
75
76  template<typename T>
77  struct X {
78    template<typename U>
79    X(U*, typename int_c<(meta<T>::value + meta<U>::value)>::type *) { }
80  };
81
82  // CHECK: define weak_odr {{.*}} @_ZN5test71XIiEC1IdEEPT_PNS_5int_cIXplL_ZNS_4metaIiE5valueEEsr4metaIS3_EE5valueEE4typeE(
83  template X<int>::X(double*, float*);
84}
85
86namespace test8 {
87  template<typename T>
88  struct meta {
89    struct type {
90      static const unsigned value = sizeof(T);
91    };
92  };
93
94  template<unsigned> struct int_c {
95    typedef float type;
96  };
97
98  template<typename T>
99  void f(int_c<meta<T>::type::value>) { }
100
101  // CHECK-LABEL: define weak_odr {{.*}}void @_ZN5test81fIiEEvNS_5int_cIXsr4metaIT_E4typeE5valueEEE(
102  template void f<int>(int_c<sizeof(int)>);
103}
104
105namespace test9 {
106  template<typename T>
107  struct supermeta {
108    template<typename U>
109    struct apply {
110      typedef T U::*type;
111    };
112  };
113
114  struct X { };
115
116  template<typename T, typename U>
117  typename supermeta<T>::template apply<U>::type f();
118
119  void test_f() {
120    // CHECK: @_ZN5test91fIiNS_1XEEENS_9supermetaIT_E5applyIT0_E4typeEv()
121    // Note: GCC incorrectly mangles this as
122    // _ZN5test91fIiNS_1XEEENS_9supermetaIT_E5apply4typeEv, while EDG
123    // gets it right.
124    f<int, X>();
125  }
126}
127
128namespace test10 {
129  template<typename T>
130  struct X {
131    template<typename U>
132    struct definition {
133    };
134  };
135
136  // CHECK: _ZN6test101fIidEENS_1XIT_E10definitionIT0_EES2_S5_
137  template<typename T, typename U>
138  typename X<T>::template definition<U> f(T, U) { }
139
140  void g(int i, double d) {
141    f(i, d);
142  }
143}
144
145// Report from cxx-abi-dev, 2012.01.04.
146namespace test11 {
147  int cmp(char a, char b);
148  template <typename T, int (*cmp)(T, T)> struct A {};
149  template <typename T> void f(A<T,cmp> &) {}
150  template void f<char>(A<char,cmp> &);
151  // CHECK: @_ZN6test111fIcEEvRNS_1AIT_L_ZNS_3cmpEccEEE(
152}
153
154namespace test12 {
155  // Make sure we can mangle non-type template args with internal linkage.
156  static int f() {}
157  const int n = 10;
158  template<typename T, T v> void test() {}
159  void use() {
160    // CHECK-LABEL: define internal {{.*}}void @_ZN6test124testIFivEXadL_ZNS_L1fEvEEEEvv(
161    test<int(), &f>();
162    // CHECK-LABEL: define internal {{.*}}void @_ZN6test124testIRFivEL_ZNS_L1fEvEEEvv(
163    test<int(&)(), f>();
164    // CHECK-LABEL: define internal {{.*}}void @_ZN6test124testIPKiXadL_ZNS_L1nEEEEEvv(
165    test<const int*, &n>();
166    // CHECK-LABEL: define internal {{.*}}void @_ZN6test124testIRKiL_ZNS_L1nEEEEvv(
167    test<const int&, n>();
168  }
169}
170
171// rdar://problem/12072531
172// Test the boundary condition of minimal signed integers.
173namespace test13 {
174  template <char c> char returnChar() { return c; }
175  template char returnChar<-128>();
176  // CHECK: @_ZN6test1310returnCharILcn128EEEcv()
177
178  template <short s> short returnShort() { return s; }
179  template short returnShort<-32768>();
180  // CHECK: @_ZN6test1311returnShortILsn32768EEEsv()
181}
182
183namespace test14 {
184  template <typename> inline int inl(bool b) {
185    if (b) {
186      static struct {
187        int field;
188      } a;
189      // CHECK: @_ZZN6test143inlIvEEibE1a
190
191      return a.field;
192    } else {
193      static struct {
194        int field;
195      } a;
196      // CHECK: @_ZZN6test143inlIvEEibE1a_0
197
198      return a.field;
199    }
200  }
201
202  int call(bool b) { return inl<void>(b); }
203}
204
205namespace std {
206template <class _Tp, _Tp...> struct integer_sequence {};
207}
208
209namespace test15 {
210template <int N>
211__make_integer_seq<std::integer_sequence, int, N> make() {}
212template __make_integer_seq<std::integer_sequence, int, 5> make<5>();
213// CHECK: define weak_odr {{.*}} @_ZN6test154makeILi5EEE18__make_integer_seqISt16integer_sequenceiXT_EEv(
214}
215