107 lines · cpp
1// RUN: %clang_cc1 -std=c++2a -triple %itanium_abi_triple -emit-llvm -o - %s -w | FileCheck %s2 3template<class, int, class>4struct DummyType { };5 6inline void inline_func() {7 // CHECK: UlvE8 []{}();9 10 // CHECK: UlTyvE11 []<class>{}.operator()<int>();12 13 // CHECK: UlTyT_E14 []<class T>(T){}(1);15 16 // CHECK: UlTyTyT_T0_E17 []<class T1, class T2>(T1, T2){}(1, 2);18 19 // CHECK: UlTyTyT0_T_E20 []<class T1, class T2>(T2, T1){}(2, 1);21 22 // CHECK: UlTniTyTnjT0_E23 []<int I, class T, unsigned U>(T){}.operator()<1, int, 2>(3);24 25 // CHECK: UlTyTtTyTniTyETniTyvE26 []<class,27 template<class, int, class> class,28 int,29 class>{}.operator()<unsigned, DummyType, 5, int>();30}31 32void call_inline_func() {33 inline_func();34}35 36template<typename T, int> struct X {};37 38inline auto pack = []<typename ...T, T ...N>(T (&...)[N]) {};39int arr1[] = {1};40int arr2[] = {1, 2};41// CHECK: @_ZNK4packMUlTpTyTpTnT_DpRAT0__S0_E_clIJiiEJLi1ELi2EEEEDaS3_(42void use_pack() { pack(arr1, arr2); }43 44inline void collision() {45 auto a = []<typename T, template<typename U, T> typename>{};46 auto b = []<typename T, template<typename U, U> typename>{};47 auto c = []<typename T, template<typename U, T> typename>{};48 a.operator()<int, X>();49 // CHECK: @_ZZ9collisionvENKUlTyTtTyTnT_EvE_clIi1XEEDav50 b.operator()<int, X>();51 // CHECK: @_ZZ9collisionvENKUlTyTtTyTnTL0__EvE_clIi1XEEDav52 c.operator()<int, X>();53 // CHECK: @_ZZ9collisionvENKUlTyTtTyTnT_EvE0_clIi1XEEDav54}55void use_collision() { collision(); }56 57namespace pack_not_pack_expansion {58 template<typename T, int, T...> struct X;59 // CHECK: @_ZNK23pack_not_pack_expansion1xMUlTyTtTyTnT_TpTnTL0__ETpTyvE_clIiNS_1XEJfEEEDav60 inline auto x = []<typename T, template<typename U, T, U...> typename, typename ...V>(){}; void f() { x.operator()<int, X, float>(); }61}62 63template<typename> void f() {64 // CHECK: define linkonce_odr {{.*}} @_ZZ1fIiEvvENKUlT_E_clIiEEDaS0_(65 auto x = [](auto){};66 x(0);67}68void use_f() { f<int>(); }69 70template<typename> struct Y {71 template<int> struct Z {};72};73 74template<typename ...T> void expanded() {75 auto x = []<T..., template<T> typename...>{};76 auto y = []<int, template<int> typename>{};77 auto z = []<int, int, template<int> typename, template<int> typename>{};78 // FIXME: Should we really require 'template' for y and z?79 x.template operator()<(T())..., Y<T>::template Z...>();80 y.template operator()<0, Y<int>::Z>();81 y.template operator()<1, Y<int>::Z>();82 z.template operator()<1, 2, Y<int>::Z, Y<float>::Z>();83}84void use_expanded() {85 // CHECK: @_ZZ8expandedIJEEvvENKUlvE_clIJEJEEEDav(86 // CHECK: @_ZZ8expandedIJEEvvENKUlTniTtTniEvE_clILi0EN1YIiE1ZEEEDav(87 // CHECK: @_ZZ8expandedIJEEvvENKUlTniTtTniEvE_clILi1EN1YIiE1ZEEEDav(88 // CHECK: @_ZZ8expandedIJEEvvENKUlTniTniTtTniETtTniEvE_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(89 expanded<>();90 91 // FIXME: Should we really be using J...E for arguments corresponding to an92 // expanded parameter pack?93 // Note that the <lambda-sig>s of 'x' and 'y' collide here, after pack expansion.94 // CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE_clIJLi0EEJN1YIiE1ZEEEEDav(95 // CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE0_clILi0EN1YIiE1ZEEEDav(96 // CHECK: @_ZZ8expandedIJiEEvvENKUlTniTtTniEvE0_clILi1EN1YIiE1ZEEEDav(97 // CHECK: @_ZZ8expandedIJiEEvvENKUlTniTniTtTniETtTniEvE_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(98 expanded<int>();99 100 // Note that the <lambda-sig>s of 'x' and 'z' collide here, after pack expansion.101 // CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTniTtTniETtTniEvE_clIJLi0ELi0EEJN1YIiE1ZES4_EEEDav(102 // CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTtTniEvE_clILi0EN1YIiE1ZEEEDav(103 // CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTtTniEvE_clILi1EN1YIiE1ZEEEDav(104 // CHECK: @_ZZ8expandedIJiiEEvvENKUlTniTniTtTniETtTniEvE0_clILi1ELi2EN1YIiE1ZENS2_IfE1ZEEEDav(105 expanded<int, int>();106}107