10f0af19bSRichard Smith // RUN: %clang_cc1 -std=c++1z -triple %itanium_abi_triple -emit-llvm -o - %s | FileCheck %s
20f0af19bSRichard Smith
30f0af19bSRichard Smith template<int> struct A {};
40f0af19bSRichard Smith template<int ...N> void foldr(A<(N + ...)>);
50f0af19bSRichard Smith template<int ...N> void foldl(A<(... + N)>);
60f0af19bSRichard Smith template<int ...N> void foldr1(A<(N + ... + 1)>);
70f0af19bSRichard Smith template<int ...N> void foldl1(A<(1 + ... + N)>);
use()80f0af19bSRichard Smith void use() {
90f0af19bSRichard Smith foldr<1, 2, 3>({});
100f0af19bSRichard Smith foldl<1, 2, 3>({});
110f0af19bSRichard Smith foldr1<1, 2, 3>({});
120f0af19bSRichard Smith foldl1<1, 2, 3>({});
130f0af19bSRichard Smith // CHECK-DAG: @_Z5foldrIJLi1ELi2ELi3EEEv1AIXfrplT_EE(
140f0af19bSRichard Smith // CHECK-DAG: @_Z5foldlIJLi1ELi2ELi3EEEv1AIXflplT_EE(
15*8e6923b7SRichard Smith // CHECK-DAG: @_Z6foldr1IJLi1ELi2ELi3EEEv1AIXfRplT_Li1EEE(
16*8e6923b7SRichard Smith // CHECK-DAG: @_Z6foldl1IJLi1ELi2ELi3EEEv1AIXfLplLi1ET_EE(
170f0af19bSRichard Smith }
180f0af19bSRichard Smith
190f0af19bSRichard Smith template<int ...N> using Foldr = A<(N + ...)>;
200f0af19bSRichard Smith template<int ...N> using Foldl = A<(... + N)>;
210f0af19bSRichard Smith template<int ...N> using Foldr1 = A<(N + ... + 1)>;
220f0af19bSRichard Smith template<int ...N> using Foldl1 = A<(1 + ... + N)>;
230f0af19bSRichard Smith
240f0af19bSRichard Smith template<int ...A> struct Partial {
250f0af19bSRichard Smith template<int ...B> void foldr(Foldr<A..., B..., A..., B...>);
26*8e6923b7SRichard Smith template<int ...B> void foldl(Foldl<A..., B..., A..., B...>);
270f0af19bSRichard Smith template<int ...B> void foldr1(Foldr1<A..., B..., A..., B...>);
280f0af19bSRichard Smith template<int ...B> void foldl1(Foldl1<A..., B..., A..., B...>);
290f0af19bSRichard Smith };
use(Partial<1,2> p)300f0af19bSRichard Smith void use(Partial<1, 2> p) {
310f0af19bSRichard Smith p.foldr<3, 4>({});
320f0af19bSRichard Smith p.foldl<3, 4>({});
330f0af19bSRichard Smith p.foldr1<3, 4>({});
340f0af19bSRichard Smith p.foldl1<3, 4>({});
35*8e6923b7SRichard Smith // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE5foldrIJLi3ELi4EEEEv1AIXplLi1EplLi2EfRplT_plLi1EplLi2EfrplT_EE(
36*8e6923b7SRichard Smith // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE5foldlIJLi3ELi4EEEEv1AIXfLplplplfLplplLi1ELi2ET_Li1ELi2ET_EE
37*8e6923b7SRichard Smith // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE6foldr1IJLi3ELi4EEEEv1AIXplLi1EplLi2EfRplT_plLi1EplLi2EfRplT_Li1EEE(
38*8e6923b7SRichard Smith // CHECK-DAG: @_ZN7PartialIJLi1ELi2EEE6foldl1IJLi3ELi4EEEEv1AIXfLplplplfLplplplLi1ELi1ELi2ET_Li1ELi2ET_EE(
390f0af19bSRichard Smith }
400f0af19bSRichard Smith
410f0af19bSRichard Smith extern int n;
f()420f0af19bSRichard Smith template<int ...N> void f() {
430f0af19bSRichard Smith (n = ... = N);
440f0af19bSRichard Smith }
450f0af19bSRichard Smith template void f<>();
46