Home | History | Annotate | Download | only in CodeGenCXX 
      1 // RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s
      2 namespace test1 {
      3 int x;
      4 template <int& D> class T { };
      5 // CHECK: void @_ZN5test12f0ENS_1TILZNS_1xEEEE(
      6 void f0(T<x> a0) {}
      7 }
      8 
      9 namespace test1 {
     10 // CHECK: void @_ZN5test12f0Ef
     11 void f0(float) {}
     12 template<void (&)(float)> struct t1 {};
     13 // CHECK: void @_ZN5test12f1ENS_2t1ILZNS_2f0EfEEE(
     14 void f1(t1<f0> a0) {}
     15 }
     16 
     17 namespace test2 {
     18 // CHECK: void @_ZN5test22f0Ef
     19 void f0(float) {}
     20 template<void (*)(float)> struct t1 {};
     21 // FIXME: Fails because we don't treat as an expression.
     22 // CHECK-FIXME: void @_ZN5test22f1ENS_2t1IXadL_ZNS_2f0EfEEEE(
     23 void f1(t1<f0> a0) {}
     24 }
     25 
     26 namespace test3 {
     27 // CHECK: void @test3_f0
     28 extern "C" void test3_f0(float) {}
     29 template<void (&)(float)> struct t1 {};
     30 // FIXME: Fails because we tack on a namespace.
     31 // CHECK-FIXME: void @_ZN5test32f1ENS_2t1ILZ8test3_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 // FIXME: Fails because we don't treat as an expression.
     40 // CHECK-FIXME: void @_ZN5test42f1ENS_2t1IXadL_Z8test4_f0EEEE(
     41 void f1(t1<test4_f0> a0) {}
     42 }
     43 
     44 // CHECK: void @test5_f0
     45 extern "C" void test5_f0(float) {}
     46 int main(int) {}
     47 
     48 namespace test5 {
     49 template<void (&)(float)> struct t1 {};
     50 // CHECK: void @_ZN5test52f1ENS_2t1ILZ8test5_f0EEE(
     51 void f1(t1<test5_f0> a0) {}
     52 
     53 template<int (&)(int)> struct t2 {};
     54 // CHECK: void @_ZN5test52f2ENS_2t2ILZ4mainEEE
     55 void f2(t2<main> a0) {}
     56 }
     57 
     58 // FIXME: This fails.
     59 namespace test6 {
     60 struct A { void im0(float); };
     61 // CHECK: void @_ZN5test61A3im0Ef
     62 void A::im0(float) {}
     63 template <void(A::*)(float)> class T { };
     64 // FIXME: Fails because we don't treat as an expression.
     65 // CHECK-FAIL: void @_ZN5test62f0ENS_1TIXadL_ZNS_1A3im0EfEEEE(
     66 void f0(T<&A::im0> a0) {}
     67 }
     68 
     69 namespace test7 {
     70   template<typename T>
     71   struct meta {
     72     static const unsigned value = sizeof(T);
     73   };
     74 
     75   template<unsigned> struct int_c {
     76     typedef float type;
     77   };
     78 
     79   template<typename T>
     80   struct X {
     81     template<typename U>
     82     X(U*, typename int_c<(meta<T>::value + meta<U>::value)>::type *) { }
     83   };
     84 
     85   // CHECK: define weak_odr {{.*}} @_ZN5test71XIiEC1IdEEPT_PNS_5int_cIXplL_ZNS_4metaIiE5valueEEsr4metaIS3_EE5valueEE4typeE(%"struct.test7::X"* %this, double*, float*) unnamed_addr
     86   template X<int>::X(double*, float*);
     87 }
     88 
     89 namespace test8 {
     90   template<typename T>
     91   struct meta {
     92     struct type {
     93       static const unsigned value = sizeof(T);
     94     };
     95   };
     96 
     97   template<unsigned> struct int_c {
     98     typedef float type;
     99   };
    100 
    101   template<typename T>
    102   void f(int_c<meta<T>::type::value>) { }
    103 
    104   // CHECK: define weak_odr void @_ZN5test81fIiEEvNS_5int_cIXsr4metaIT_E4typeE5valueEEE
    105   template void f<int>(int_c<sizeof(int)>);
    106 }
    107 
    108 namespace test9 {
    109   template<typename T>
    110   struct supermeta {
    111     template<typename U>
    112     struct apply {
    113       typedef T U::*type;
    114     };
    115   };
    116 
    117   struct X { };
    118 
    119   template<typename T, typename U>
    120   typename supermeta<T>::template apply<U>::type f();
    121 
    122   void test_f() {
    123     // CHECK: @_ZN5test91fIiNS_1XEEENS_9supermetaIT_E5applyIT0_E4typeEv()
    124     // Note: GCC incorrectly mangles this as
    125     // _ZN5test91fIiNS_1XEEENS_9supermetaIT_E5apply4typeEv, while EDG
    126     // gets it right.
    127     f<int, X>();
    128   }
    129 }
    130 
    131 namespace test10 {
    132   template<typename T>
    133   struct X {
    134     template<typename U>
    135     struct definition {
    136     };
    137   };
    138 
    139   // CHECK: _ZN6test101fIidEENS_1XIT_E10definitionIT0_EES2_S5_
    140   template<typename T, typename U>
    141   typename X<T>::template definition<U> f(T, U) { }
    142 
    143   void g(int i, double d) {
    144     f(i, d);
    145   }
    146 }
    147