clang/test/CodeGenCXX/mangle-variadic-templates.cpp

   1 // RUN: %clang_cc1 -std=c++11 -emit-llvm -triple=x86_64-apple-darwin9 -o - %s | FileCheck %s
   2
   3 template<unsigned I, typename ...Types>
   4 struct X { };
   5
   6 template<typename T> struct identity { using type = T; };
   7 template<typename T> struct add_reference;
   8 template<typename ...Types> struct tuple { };
   9 template<int ...Values> struct int_tuple { };
  10 template<template<typename> class ...Templates> struct template_tuple { };
  11 template<typename ...T> using ArrayOfN = int[sizeof...(T)];
  12
  13 // CHECK-LABEL: define weak_odr void @_Z2f0IJEEv1XIXsZT_EJDpRT_EE
  14 template<typename ...Types>
  15 void f0(X<sizeof...(Types), Types&...>) { }
  16
  17 template void f0(X<0>);
  18
  19 // CHECK-LABEL: define weak_odr void @_Z2f0IJifdEEv1XIXsZT_EJDpRT_EE
  20 template void f0<int, float, double>(X<3, int&, float&, double&>);
  21
  22 // Mangling for template argument packs
  23 template<typename ...Types> void f1() {}
  24 // CHECK-LABEL: define weak_odr void @_Z2f1IJEEvv
  25 template void f1<>();
  26 // CHECK-LABEL: define weak_odr void @_Z2f1IJiEEvv
  27 template void f1<int>();
  28 // CHECK-LABEL: define weak_odr void @_Z2f1IJifEEvv
  29 template void f1<int, float>();
  30
  31 // Mangling function parameter packs
  32 template<typename ...Types> void f2(Types...) {}
  33 // CHECK-LABEL: define weak_odr void @_Z2f2IJEEvDpT_
  34 template void f2<>();
  35 // CHECK-LABEL: define weak_odr void @_Z2f2IJiEEvDpT_
  36 template void f2<int>(int);
  37 // CHECK-LABEL: define weak_odr void @_Z2f2IJifEEvDpT_
  38 template void f2<int, float>(int, float);
  39
  40 // Mangling non-trivial function parameter packs
  41 template<typename ...Types> void f3(const Types *...) {}
  42 // CHECK-LABEL: define weak_odr void @_Z2f3IJEEvDpPKT_
  43 template void f3<>();
  44 // CHECK-LABEL: define weak_odr void @_Z2f3IJiEEvDpPKT_
  45 template void f3<int>(const int*);
  46 // CHECK-LABEL: define weak_odr void @_Z2f3IJifEEvDpPKT_
  47 template void f3<int, float>(const int*, const float*);
  48
  49 // Mangling of type pack expansions in a template argument
  50 template<typename ...Types> tuple<Types...> f4() {}
  51 // CHECK-LABEL: define weak_odr void @_Z2f4IJifdEE5tupleIJDpT_EEv
  52 template tuple<int, float, double> f4();
  53
  54 // Mangling of type pack expansions in a function type
  55 template<typename R, typename ...ArgTypes> identity<R(ArgTypes...)> f5() {}
  56 // CHECK-LABEL: define weak_odr void @_Z2f5IiJifdEE8identityIFT_DpT0_EEv
  57 template identity<int(int, float, double)> f5();
  58
  59 // Mangling of non-type template argument expansions
  60 template<int ...Values> int_tuple<Values...> f6() {}
  61 // CHECK-LABEL: define weak_odr void @_Z2f6IJLi1ELi2ELi3EEE9int_tupleIJXspT_EEEv
  62 template int_tuple<1, 2, 3> f6();
  63
  64 // Mangling of template template argument expansions
  65 template<template<typename> class ...Templates>
  66 template_tuple<Templates...> f7() {}
  67 // CHECK-LABEL: define weak_odr void @_Z2f7IJ8identity13add_referenceEE14template_tupleIJDpT_EEv
  68 template template_tuple<identity, add_reference> f7();
  69
  70 template<typename T, typename ...U> void f8(ArrayOfN<int, U..., T, typename U::type...>&) {}
  71 // CHECK-LABEL: define weak_odr void @_Z2f8IiJ8identityIiES0_IfEEEvRAsPiDpT0_T_DpNS3_4typeEE_i
  72 template void f8<int, identity<int>, identity<float>>(int (&)[6]);
  73
  74 template<typename ...T> void f10(ArrayOfN<T...> &) {}
  75 // FIXME: This is wrong; should be @_Z3f10IJifEEvRAsZT__i
  76 // CHECK-LABEL: define weak_odr void @_Z3f10IJifEEvRAsPDpT_E_i
  77 template void f10<int, float>(int (&)[2]);