107 lines
3.7 KiB
C++
107 lines
3.7 KiB
C++
|
// RUN: %clang_cc1 -std=c++2a -triple %itanium_abi_triple -emit-llvm -o - %s -w | FileCheck %s
|
||
|
|
|
||
|
|
template<class, int, class>
|
||
|
|
struct DummyType { };
|
||
|
|
|
||
|
|
inline void inline_func() {
|
||
|
|
// CHECK: UlvE
|
||
|
|
[]{}();
|
||
|
|
|
||
|
|
// CHECK: UlTyvE
|
||
|
|
[]<class>{}.operator()<int>();
|
||
|
|
|
||
|
|
// CHECK: UlTyT_E
|
||
|
|
[]<class T>(T){}(1);
|
||
|
|
|
||
|
|
// CHECK: UlTyTyT_T0_E
|
||
|
|
[]<class T1, class T2>(T1, T2){}(1, 2);
|
||
|
|
|
||
|
|
// CHECK: UlTyTyT0_T_E
|
||
|
|
[]<class T1, class T2>(T2, T1){}(2, 1);
|
||
|
|
|
||
|
|
// CHECK: UlTniTyTnjT0_E
|
||
|
|
[]<int I, class T, unsigned U>(T){}.operator()<1, int, 2>(3);
|
||
|
|
|
||
|
|
// CHECK: UlTyTtTyTniTyETniTyvE
|
||
|
|
[]<class,
|
||
|
|
template<class, int, class> class,
|
||
|
|
int,
|
||
|
|
class>{}.operator()<unsigned, DummyType, 5, int>();
|
||
|
|
}
|
||
|
|
|
||
|
|
void call_inline_func() {
|
||
|
|
inline_func();
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename T, int> struct X {};
|
||
|
|
|
||
|
|
inline auto pack = []<typename ...T, T ...N>(T (&...)[N]) {};
|
||
|
|
int arr1[] = {1};
|
||
|
|
int arr2[] = {1, 2};
|
||
|
|
// CHECK: @_ZNK4packMUlTpTyTpTnT_DpRAT0__S_E_clIJiiEJLi1ELi2EEEEDaS2_(
|
||
|
|
void use_pack() { pack(arr1, arr2); }
|
||
|
|
|
||
|
|
inline void collision() {
|
||
|
|
auto a = []<typename T, template<typename U, T> typename>{};
|
||
|
|
auto b = []<typename T, template<typename U, U> typename>{};
|
||
|
|
auto c = []<typename T, template<typename U, T> typename>{};
|
||
|
|
a.operator()<int, X>();
|
||
|
|
// CHECK: @_ZZ9collisionvENKUlTyTtTyTnT_EvE_clIi1XEEDav
|
||
|
|
b.operator()<int, X>();
|
||
|
|
// CHECK: @_ZZ9collisionvENKUlTyTtTyTnTL0__EvE_clIi1XEEDav
|
||
|
|
c.operator()<int, X>();
|
||
|
|
// CHECK: @_ZZ9collisionvENKUlTyTtTyTnT_EvE0_clIi1XEEDav
|
||
|
|
}
|
||
|
|
void use_collision() { collision(); }
|
||
|
|
|
||
|
|
namespace pack_not_pack_expansion {
|
||
|
|
template<typename T, int, T...> struct X;
|
||
|
|
// CHECK: @_ZNK23pack_not_pack_expansion1xMUlTyTtTyTnT_TpTnTL0__ETpTyvE_clIiNS_1XEJfEEEDav
|
||
|
|
inline auto x = []<typename T, template<typename U, T, U...> typename, typename ...V>(){}; void f() { x.operator()<int, X, float>(); }
|
||
|
|
}
|
||
|
|
|
||
|
|
template<typename> void f() {
|
||
|
|
// CHECK: define linkonce_odr {{.*}} @_ZZ1fIiEvvENKUlT_E_clIiEEDaS0_(
|
||
|
|
auto x = [](auto){};
|
||
|
|
x(0);
|
||
|
|
}
|
||
|
|
void use_f() { f<int>(); }
|
||
|
|
|
||
|
|
template<typename> struct Y {
|
||
|
|
template<int> struct Z {};
|
||
|
|
};
|
||
|
|
|
||
|
|
template<typename ...T> void expanded() {
|
||
|
|
auto x = []<T..., template<T> typename...>{};
|
||
|
|
auto y = []<int, template<int> typename>{};
|
||
|
|
auto z = []<int, int, template<int> typename, template<int> typename>{};
|
||
|
|
// FIXME: Should we really require 'template' for y and z?
|
||
|
|
x.template operator()<(T())..., Y<T>::template Z...>();
|
||
|
|
y.template operator()<0, Y<int>::Z>();
|
||
|
|
y.template operator()<1, Y<int>::Z>();
|
||
|
|
z.template operator()<1, 2, Y<int>::Z, Y<float>::Z>();
|
||
|
|
}
|
||
|
|
void use_expanded() {
|
||
|
|
// CHECK: @_ZZ8expandedIJEEvvENKUlvE_clIJEJEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJEEvvENKUlTniTtTniEvE_clILi0EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJEEvvENKUlTniTtTniEvE_clILi1EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJEEvvENKUlTniTniTtTniETtTniEvE_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(
|
||
|
|
expanded<>();
|
||
|
|
|
||
|
|
// FIXME: Should we really be using J...E for arguments corresponding to an
|
||
|
|
// expanded parameter pack?
|
||
|
|
// Note that the <lambda-sig>s of 'x' and 'y' collide here, after pack expansion.
|
||
|
|
// CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE_clIJLi0EEJN1YIiE1ZEEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE0_clILi0EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE0_clILi1EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiEEvvENKUlTniTniTtTniETtTniEvE_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(
|
||
|
|
expanded<int>();
|
||
|
|
|
||
|
|
// Note that the <lambda-sig>s of 'x' and 'z' collide here, after pack expansion.
|
||
|
|
// CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTniTtTniETtTniEvE_clIJLi0ELi0EEJN1YIiE1ZES4_EEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTtTniEvE_clILi0EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTtTniEvE_clILi1EN1YIiE1ZEEEDav(
|
||
|
|
// CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTniTtTniETtTniEvE0_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(
|
||
|
|
expanded<int, int>();
|
||
|
|
}
|