summaryrefslogtreecommitdiff
path: root/clang/test/CodeGenCXX/mangle-variadic-templates.cpp
blob: b5bdae234445038539b5213a2160c193ff3fd654 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
// RUN: %clang_cc1 -std=c++11 -emit-llvm -triple=x86_64-apple-darwin9 -o - %s | FileCheck %s

template<unsigned I, typename ...Types>
struct X { };

template<typename T> struct identity { };
template<typename T> struct add_reference;
template<typename ...Types> struct tuple { };
template<int ...Values> struct int_tuple { };
template<template<typename> class ...Templates> struct template_tuple { };

// CHECK: define weak_odr void @_Z2f0IJEEv1XIXsZT_EJDpRT_EE
template<typename ...Types>
void f0(X<sizeof...(Types), Types&...>) { }

template void f0(X<0>);

// CHECK: define weak_odr void @_Z2f0IJifdEEv1XIXsZT_EJDpRT_EE
template void f0<int, float, double>(X<3, int&, float&, double&>);

// Mangling for template argument packs
template<typename ...Types> void f1() {}
// CHECK: define weak_odr void @_Z2f1IJEEvv
template void f1<>();
// CHECK: define weak_odr void @_Z2f1IJiEEvv
template void f1<int>();
// CHECK: define weak_odr void @_Z2f1IJifEEvv
template void f1<int, float>();

// Mangling function parameter packs
template<typename ...Types> void f2(Types...) {}
// CHECK: define weak_odr void @_Z2f2IJEEvDpT_
template void f2<>();
// CHECK: define weak_odr void @_Z2f2IJiEEvDpT_
template void f2<int>(int);
// CHECK: define weak_odr void @_Z2f2IJifEEvDpT_
template void f2<int, float>(int, float);

// Mangling non-trivial function parameter packs
template<typename ...Types> void f3(const Types *...) {}
// CHECK: define weak_odr void @_Z2f3IJEEvDpPKT_
template void f3<>();
// CHECK: define weak_odr void @_Z2f3IJiEEvDpPKT_
template void f3<int>(const int*);
// CHECK: define weak_odr void @_Z2f3IJifEEvDpPKT_
template void f3<int, float>(const int*, const float*);

// Mangling of type pack expansions in a template argument
template<typename ...Types> tuple<Types...> f4() {}
// CHECK: define weak_odr void @_Z2f4IJifdEE5tupleIJDpT_EEv
template tuple<int, float, double> f4();

// Mangling of type pack expansions in a function type
template<typename R, typename ...ArgTypes> identity<R(ArgTypes...)> f5() {}
// CHECK: define weak_odr void @_Z2f5IiJifdEE8identityIFT_DpT0_EEv
template identity<int(int, float, double)> f5();

// Mangling of non-type template argument expansions
template<int ...Values> int_tuple<Values...> f6() {}
// CHECK: define weak_odr void @_Z2f6IJLi1ELi2ELi3EEE9int_tupleIJXspT_EEEv
template int_tuple<1, 2, 3> f6();

// Mangling of template template argument expansions
template<template<typename> class ...Templates> 
template_tuple<Templates...> f7() {}
// CHECK: define weak_odr void @_Z2f7IJ8identity13add_referenceEE14template_tupleIJDpT_EEv
template template_tuple<identity, add_reference> f7();