1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
// <mdspan>
// A type M meets the layout mapping requirements if
// - M models copyable and equality_comparable,
// - is_nothrow_move_constructible_v<M> is true,
// - is_nothrow_move_assignable_v<M> is true,
// - is_nothrow_swappable_v<M> is true, and
//
// the following types and expressions are well-formed and have the specified semantics.
//
// typename M::extents_type
// Result: A type that is a specialization of extents.
//
// typename M::index_type
// Result: typename M::extents_type::index_type.
//
// typename M::rank_type
// Result: typename M::extents_type::rank_type.
//
// typename M::layout_type
// Result: A type MP that meets the layout mapping policy requirements ([mdspan.layout.policy.reqmts]) and for which is-mapping-of<MP, M> is true.
//
// m.extents()
// Result: const typename M::extents_type&
//
// m(i...)
// Result: typename M::index_type
// Returns: A nonnegative integer less than numeric_limits<typename M::index_type>::max() and less than or equal to numeric_limits<size_t>::max().
//
// m(i...) == m(static_cast<typename M::index_type>(i)...)
// Result: bool
// Returns: true
//
// m.required_span_size()
// Result: typename M::index_type
// Returns: If the size of the multidimensional index space m.extents() is 0, then 0, else 1 plus the maximum value of m(i...) for all i.
//
// m.is_unique()
// Result: bool
// Returns: true only if for every i and j where (i != j || ...) is true, m(i...) != m(j...) is true.
//
// m.is_exhaustive()
// Result: bool
// Returns: true only if for all k in the range [0, m.required_span_size()) there exists an i such that m(i...) equals k.
//
// m.is_strided()
// Result: bool
// Returns: true only if for every rank index r of m.extents() there exists an integer
// sr such that, for all i where (i+dr) is a multidimensional index in m.extents() ([mdspan.overview]),
// m((i + dr)...) - m(i...) equals sr
//
// m.stride(r)
// Preconditions: m.is_strided() is true.
// Result: typename M::index_type
// Returns: sr as defined in m.is_strided() above.
//
// M::is_always_unique()
// Result: A constant expression ([expr.const]) of type bool.
// Returns: true only if m.is_unique() is true for all possible objects m of type M.
//
// M::is_always_exhaustive()
// Result: A constant expression ([expr.const]) of type bool.
// Returns: true only if m.is_exhaustive() is true for all possible objects m of type M.
//
// M::is_always_strided()
// Result: A constant expression ([expr.const]) of type bool.
// Returns: true only if m.is_strided() is true for all possible objects m of type M.
#include <mdspan>
#include <type_traits>
#include <concepts>
#include <cassert>
#include "test_macros.h"
// Common requirements of all layout mappings
template <class M, size_t... Idxs>
void test_mapping_requirements(std::index_sequence<Idxs...>) {
using E = typename M::extents_type;
LIBCPP_STATIC_ASSERT(std::__mdspan_detail::__is_extents_v<E>);
static_assert(std::is_copy_constructible_v<M>);
static_assert(std::is_nothrow_move_constructible_v<M>);
static_assert(std::is_nothrow_move_assignable_v<M>);
static_assert(std::is_nothrow_swappable_v<M>);
ASSERT_SAME_TYPE(typename M::index_type, typename E::index_type);
ASSERT_SAME_TYPE(typename M::size_type, typename E::size_type);
ASSERT_SAME_TYPE(typename M::rank_type, typename E::rank_type);
ASSERT_SAME_TYPE(typename M::layout_type, std::layout_left);
ASSERT_SAME_TYPE(typename M::layout_type::template mapping<E>, M);
static_assert(std::is_same_v<decltype(std::declval<M>().extents()), const E&>);
static_assert(std::is_same_v<decltype(std::declval<M>()(Idxs...)), typename M::index_type>);
static_assert(std::is_same_v<decltype(std::declval<M>().required_span_size()), typename M::index_type>);
static_assert(std::is_same_v<decltype(std::declval<M>().is_unique()), bool>);
static_assert(std::is_same_v<decltype(std::declval<M>().is_exhaustive()), bool>);
static_assert(std::is_same_v<decltype(std::declval<M>().is_strided()), bool>);
if constexpr (E::rank() > 0)
static_assert(std::is_same_v<decltype(std::declval<M>().stride(0)), typename M::index_type>);
static_assert(std::is_same_v<decltype(M::is_always_unique()), bool>);
static_assert(std::is_same_v<decltype(M::is_always_exhaustive()), bool>);
static_assert(std::is_same_v<decltype(M::is_always_strided()), bool>);
}
template <class L, class E>
void test_layout_mapping_requirements() {
using M = typename L::template mapping<E>;
test_mapping_requirements<M>(std::make_index_sequence<E::rank()>());
}
template <class E>
void test_layout_mapping_left() {
test_layout_mapping_requirements<std::layout_left, E>();
}
int main(int, char**) {
constexpr size_t D = std::dynamic_extent;
test_layout_mapping_left<std::extents<int>>();
test_layout_mapping_left<std::extents<signed char, 4, 5>>();
test_layout_mapping_left<std::extents<unsigned, D, 4>>();
test_layout_mapping_left<std::extents<size_t, D, D, D, D>>();
return 0;
}
|
