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 4 namespace test1 { 5 int x; 6 template <int& D> class T { }; 7 // CHECK: void @_ZN5test12f0ENS_1TIL_ZNS_1xEEEE( 8 void f0(T<x> a0) {} 9 } 10 11 namespace test1 { 12 // CHECK: void @_ZN5test12f0Ef 13 void f0(float) {} 14 template<void (&)(float)> struct t1 {}; 15 // CHECK: void @_ZN5test12f1ENS_2t1IL_ZNS_2f0EfEEE( 16 void f1(t1<f0> a0) {} 17 } 18 19 namespace test2 { 20 // CHECK: void @_ZN5test22f0Ef 21 void f0(float) {} 22 template<void (*)(float)> struct t1 {}; 23 // CHECK: void @_ZN5test22f1ENS_2t1IXadL_ZNS_2f0EfEEEE( 24 void f1(t1<f0> a0) {} 25 } 26 27 namespace test3 { 28 // CHECK: void @test3_f0 29 extern "C" void test3_f0(float) {} 30 template<void (&)(float)> struct t1 {}; 31 // CHECK: void @_ZN5test32f1ENS_2t1IL_Z8test3_f0EEE( 32 void f1(t1<test3_f0> a0) {} 33 } 34 35 namespace test4 { 36 // CHECK: void @test4_f0 37 extern "C" void test4_f0(float) {} 38 template<void (*)(float)> struct t1 {}; 39 // CHECK: void @_ZN5test42f1ENS_2t1IXadL_Z8test4_f0EEEE( 40 void f1(t1<test4_f0> a0) {} 41 } 42 43 // CHECK: void @test5_f0 44 extern "C" void test5_f0(float) {} 45 int main(int) {} 46 47 namespace test5 { 48 template<void (&)(float)> struct t1 {}; 49 // CHECK: void @_ZN5test52f1ENS_2t1IL_Z8test5_f0EEE( 50 void f1(t1<test5_f0> a0) {} 51 52 template<int (&)(int)> struct t2 {}; 53 // CHECK: void @_ZN5test52f2ENS_2t2IL_Z4mainEEE 54 void f2(t2<main> a0) {} 55 } 56 57 namespace test6 { 58 struct A { void im0(float); }; 59 // CHECK: void @_ZN5test61A3im0Ef 60 void A::im0(float) {} 61 template <void(A::*)(float)> class T { }; 62 // CHECK: void @_ZN5test62f0ENS_1TIXadL_ZNS_1A3im0EfEEEE( 63 void f0(T<&A::im0> a0) {} 64 } 65 66 namespace 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 86 namespace 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 105 namespace 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 128 namespace 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. 146 namespace 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 154 namespace 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. 173 namespace 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 183 namespace 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 205 namespace std { 206 template <class _Tp, _Tp...> struct integer_sequence {}; 207 } 208 209 namespace test15 { 210 template <int N> 211 __make_integer_seq<std::integer_sequence, int, N> make() {} 212 template __make_integer_seq<std::integer_sequence, int, 5> make<5>(); 213 // CHECK: define weak_odr {{.*}} @_ZN6test154makeILi5EEE18__make_integer_seqISt16integer_sequenceiXT_EEv( 214 } 215