1*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
2*a8cf78c7SLouis Dionne //
3*a8cf78c7SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*a8cf78c7SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5*a8cf78c7SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*a8cf78c7SLouis Dionne //
7*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
8*a8cf78c7SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
9*a8cf78c7SLouis Dionne
10*a8cf78c7SLouis Dionne // <span>
11*a8cf78c7SLouis Dionne
12*a8cf78c7SLouis Dionne // constexpr pointer data() const noexcept;
13*a8cf78c7SLouis Dionne //
14*a8cf78c7SLouis Dionne
15*a8cf78c7SLouis Dionne
16*a8cf78c7SLouis Dionne #include <span>
17*a8cf78c7SLouis Dionne #include <cassert>
18*a8cf78c7SLouis Dionne #include <string>
19*a8cf78c7SLouis Dionne
20*a8cf78c7SLouis Dionne #include "test_macros.h"
21*a8cf78c7SLouis Dionne
22*a8cf78c7SLouis Dionne
23*a8cf78c7SLouis Dionne template <typename Span>
testConstexprSpan(Span sp,typename Span::pointer ptr)24*a8cf78c7SLouis Dionne constexpr bool testConstexprSpan(Span sp, typename Span::pointer ptr)
25*a8cf78c7SLouis Dionne {
26*a8cf78c7SLouis Dionne ASSERT_NOEXCEPT(sp.data());
27*a8cf78c7SLouis Dionne return sp.data() == ptr;
28*a8cf78c7SLouis Dionne }
29*a8cf78c7SLouis Dionne
30*a8cf78c7SLouis Dionne
31*a8cf78c7SLouis Dionne template <typename Span>
testRuntimeSpan(Span sp,typename Span::pointer ptr)32*a8cf78c7SLouis Dionne void testRuntimeSpan(Span sp, typename Span::pointer ptr)
33*a8cf78c7SLouis Dionne {
34*a8cf78c7SLouis Dionne ASSERT_NOEXCEPT(sp.data());
35*a8cf78c7SLouis Dionne assert(sp.data() == ptr);
36*a8cf78c7SLouis Dionne }
37*a8cf78c7SLouis Dionne
38*a8cf78c7SLouis Dionne struct A{};
39*a8cf78c7SLouis Dionne constexpr int iArr1[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
40*a8cf78c7SLouis Dionne int iArr2[] = {10, 11, 12, 13, 14, 15, 16, 17, 18, 19};
41*a8cf78c7SLouis Dionne
main(int,char **)42*a8cf78c7SLouis Dionne int main(int, char**)
43*a8cf78c7SLouis Dionne {
44*a8cf78c7SLouis Dionne
45*a8cf78c7SLouis Dionne // dynamic size
46*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<int>(), nullptr), "");
47*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<long>(), nullptr), "");
48*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<double>(), nullptr), "");
49*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<A>(), nullptr), "");
50*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<std::string>(), nullptr), "");
51*a8cf78c7SLouis Dionne
52*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1, 1), iArr1), "");
53*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1, 2), iArr1), "");
54*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1, 3), iArr1), "");
55*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1, 4), iArr1), "");
56*a8cf78c7SLouis Dionne
57*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1 + 1, 1), iArr1 + 1), "");
58*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1 + 2, 2), iArr1 + 2), "");
59*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1 + 3, 3), iArr1 + 3), "");
60*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int>(iArr1 + 4, 4), iArr1 + 4), "");
61*a8cf78c7SLouis Dionne
62*a8cf78c7SLouis Dionne // static size
63*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<int, 0>(), nullptr), "");
64*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<long, 0>(), nullptr), "");
65*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<double, 0>(), nullptr), "");
66*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<A, 0>(), nullptr), "");
67*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<std::string, 0>(), nullptr), "");
68*a8cf78c7SLouis Dionne
69*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 1>(iArr1, 1), iArr1), "");
70*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 2>(iArr1, 2), iArr1), "");
71*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 3>(iArr1, 3), iArr1), "");
72*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 4>(iArr1, 4), iArr1), "");
73*a8cf78c7SLouis Dionne
74*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 1>(iArr1 + 1, 1), iArr1 + 1), "");
75*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 2>(iArr1 + 2, 2), iArr1 + 2), "");
76*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 3>(iArr1 + 3, 3), iArr1 + 3), "");
77*a8cf78c7SLouis Dionne static_assert(testConstexprSpan(std::span<const int, 4>(iArr1 + 4, 4), iArr1 + 4), "");
78*a8cf78c7SLouis Dionne
79*a8cf78c7SLouis Dionne
80*a8cf78c7SLouis Dionne // dynamic size
81*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(), nullptr);
82*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<long>(), nullptr);
83*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<double>(), nullptr);
84*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<A>(), nullptr);
85*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<std::string>(), nullptr);
86*a8cf78c7SLouis Dionne
87*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2, 1), iArr2);
88*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2, 2), iArr2);
89*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2, 3), iArr2);
90*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2, 4), iArr2);
91*a8cf78c7SLouis Dionne
92*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2 + 1, 1), iArr2 + 1);
93*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2 + 2, 2), iArr2 + 2);
94*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2 + 3, 3), iArr2 + 3);
95*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int>(iArr2 + 4, 4), iArr2 + 4);
96*a8cf78c7SLouis Dionne
97*a8cf78c7SLouis Dionne // static size
98*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 0>(), nullptr);
99*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<long, 0>(), nullptr);
100*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<double, 0>(), nullptr);
101*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<A, 0>(), nullptr);
102*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<std::string, 0>(), nullptr);
103*a8cf78c7SLouis Dionne
104*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 1>(iArr2, 1), iArr2);
105*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 2>(iArr2, 2), iArr2);
106*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 3>(iArr2, 3), iArr2);
107*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 4>(iArr2, 4), iArr2);
108*a8cf78c7SLouis Dionne
109*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 1>(iArr2 + 1, 1), iArr2 + 1);
110*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 2>(iArr2 + 2, 2), iArr2 + 2);
111*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 3>(iArr2 + 3, 3), iArr2 + 3);
112*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<int, 4>(iArr2 + 4, 4), iArr2 + 4);
113*a8cf78c7SLouis Dionne
114*a8cf78c7SLouis Dionne
115*a8cf78c7SLouis Dionne std::string s;
116*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<std::string>(&s, 1), &s);
117*a8cf78c7SLouis Dionne testRuntimeSpan(std::span<std::string, 1>(&s, 1), &s);
118*a8cf78c7SLouis Dionne
119*a8cf78c7SLouis Dionne
120*a8cf78c7SLouis Dionne return 0;
121*a8cf78c7SLouis Dionne }
122