clang/test/CodeGenCXX/cxx1z-fold-expression.cpp

   1 // RUN: %clang_cc1 -std=c++1z -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s
   2
   3 template<int> struct A {};
   4 template<int ...N> void foldr(A<(N + ...)>);
   5 template<int ...N> void foldl(A<(... + N)>);
   6 template<int ...N> void foldr1(A<(N + ... + 1)>);
   7 template<int ...N> void foldl1(A<(1 + ... + N)>);
   8 void use() {
   9   foldr<1, 2, 3>({});
  10   foldl<1, 2, 3>({});
  11   foldr1<1, 2, 3>({});
  12   foldl1<1, 2, 3>({});
  13   // CHECK-DAG: @_Z5foldrIJLi1ELi2ELi3EEEv1AIXfrplT_EE(
  14   // CHECK-DAG: @_Z5foldlIJLi1ELi2ELi3EEEv1AIXflplT_EE(
  15   // CHECK-DAG: @_Z6foldr1IJLi1ELi2ELi3EEEv1AIXfRplT_Li1EEE(
  16   // CHECK-DAG: @_Z6foldl1IJLi1ELi2ELi3EEEv1AIXfLplLi1ET_EE(
  17 }
  18
  19 template<int ...N> using Foldr = A<(N + ...)>;
  20 template<int ...N> using Foldl = A<(... + N)>;
  21 template<int ...N> using Foldr1 = A<(N + ... + 1)>;
  22 template<int ...N> using Foldl1 = A<(1 + ... + N)>;
  23
  24 template<int ...A> struct Partial {
  25   template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
  26   template<int ...B> void foldl(Foldl<A..., B..., A..., B...>);
  27   template<int ...B> void foldr1(Foldr1<A..., B..., A..., B...>);
  28   template<int ...B> void foldl1(Foldl1<A..., B..., A..., B...>);
  29 };
  30 void use(Partial<1, 2> p) {
  31   p.foldr<3, 4>({});
  32   p.foldl<3, 4>({});
  33   p.foldr1<3, 4>({});
  34   p.foldl1<3, 4>({});
  35   // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE5foldrIJLi3ELi4EEEEv1AIXplLi1EplLi2EfRplT_plLi1EplLi2EfrplT_EE(
  36   // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE5foldlIJLi3ELi4EEEEv1AIXfLplplplfLplplLi1ELi2ET_Li1ELi2ET_EE
  37   // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE6foldr1IJLi3ELi4EEEEv1AIXplLi1EplLi2EfRplT_plLi1EplLi2EfRplT_Li1EEE(
  38   // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE6foldl1IJLi3ELi4EEEEv1AIXfLplplplfLplplplLi1ELi1ELi2ET_Li1ELi2ET_EE(
  39 }
  40
  41 extern int n;
  42 template<int ...N> void f() {
  43   (n = ... = N);
  44 }
  45 template void f<>();