From: Luc Grosheintz Date: Tue, 18 Nov 2025 14:24:52 +0000 (+0100) Subject: libstdc++: Prepare mdspan-related code for submdspan. X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=828ac566b7c6356ff94dc6153b278b8e0fa26981;p=thirdparty%2Fgcc.git libstdc++: Prepare mdspan-related code for submdspan. The changes needed for submdspan are: * In submdspan related code the user-defined integer-like types need to be copy- and move-constructable. * The traits for writing tests that work with both left- and right, possibly padded, layouts will also be useful for submdspan. Therefore, this code is moved up and generalized. * Move __offset further up in and fix some formatting mistakes. libstdc++-v3/ChangeLog: * include/std/mdspan: Improve formatting and placement. * testsuite/23_containers/mdspan/int_like.h: Optionally, add move- and copy-ctors. * testsuite/23_containers/mdspan/layouts/padded_traits.h: Move to... * testsuite/23_containers/mdspan/layout_traits.h: ...here. * testsuite/23_containers/mdspan/layouts/ctors.cc: Fix include. * testsuite/23_containers/mdspan/layouts/mapping.cc: Ditto. * testsuite/23_containers/mdspan/layouts/padded.cc: Ditto. * testsuite/23_containers/mdspan/layouts/padded_neg.cc: Ditto. Reviewed-by: Jonathan Wakely Reviewed-by: Tomasz Kamiński Signed-off-by: Luc Grosheintz --- diff --git a/libstdc++-v3/include/std/mdspan b/libstdc++-v3/include/std/mdspan index bd7a2a201a7..f02a9defad3 100644 --- a/libstdc++-v3/include/std/mdspan +++ b/libstdc++-v3/include/std/mdspan @@ -345,7 +345,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION inline constexpr full_extent_t full_extent{}; template - struct strided_slice { + struct strided_slice + { static_assert(__is_standard_integer<_OffsetType>::value || __detail::__integral_constant_like<_OffsetType>); static_assert(__is_standard_integer<_ExtentType>::value @@ -368,7 +369,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION [[no_unique_address]] _Mapping mapping = _Mapping(); size_t offset{}; }; -#endif +#endif // __glibcxx_submdspan template class extents @@ -553,7 +554,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION __fwd_prod(const _Extents& __exts, size_t __begin, size_t __end) noexcept { size_t __sta_prod = [__begin, __end] { - span __sta_exts = __static_extents<_Extents>(__begin, __end); + span __sta_exts + = __static_extents<_Extents>(__begin, __end); size_t __ret = 1; for(auto __ext : __sta_exts) if (__ext != dynamic_extent) @@ -769,7 +771,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template concept __mapping_of = - is_same_v, + is_same_v, _Mapping>; template typename _Layout, typename _Mapping> @@ -804,6 +807,25 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION // A tag type to create internal ctors. class __internal_ctor { }; + + template + constexpr typename _Mapping::index_type + __offset(const _Mapping& __m) noexcept + { + using _IndexType = typename _Mapping::index_type; + constexpr auto __rank = _Mapping::extents_type::rank(); + + if constexpr (__standardized_mapping<_Mapping>) + return 0; + else if (__empty(__m.extents())) + return 0; + else + { + auto __impl = [&__m](index_sequence<_Counts...>) + { return __m(((void) _Counts, _IndexType(0))...); }; + return __impl(make_index_sequence<__rank>()); + } + } } template @@ -1136,25 +1158,6 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION bool_constant<_Mp::is_always_unique()>::value; }; - template - constexpr typename _Mapping::index_type - __offset(const _Mapping& __m) noexcept - { - using _IndexType = typename _Mapping::index_type; - constexpr auto __rank = _Mapping::extents_type::rank(); - - if constexpr (__standardized_mapping<_Mapping>) - return 0; - else if (__empty(__m.extents())) - return 0; - else - { - auto __impl = [&__m](index_sequence<_Counts...>) - { return __m(((void) _Counts, _IndexType(0))...); }; - return __impl(make_index_sequence<__rank>()); - } - } - template constexpr typename _Mapping::index_type __linear_index_strides(const _Mapping& __m, _Indices... __indices) diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/int_like.h b/libstdc++-v3/testsuite/23_containers/mdspan/int_like.h index e9172c13455..2f79b9dd3b5 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/int_like.h +++ b/libstdc++-v3/testsuite/23_containers/mdspan/int_like.h @@ -9,7 +9,7 @@ enum class CustomIndexKind RValue, }; -template +template class CustomIndexType { public: @@ -18,15 +18,24 @@ template : value(i) { } - CustomIndexType() = delete; - CustomIndexType(const CustomIndexType&) = delete; - CustomIndexType(CustomIndexType&&) = delete; + CustomIndexType() requires(Copyable) = default; + CustomIndexType() requires(!Copyable) = delete; - const CustomIndexType& - operator=(const CustomIndexType&) = delete; + CustomIndexType(const CustomIndexType&) requires(Copyable) = default; + CustomIndexType(const CustomIndexType&) requires(!Copyable) = delete; - const CustomIndexType& - operator=(CustomIndexType&&) = delete; + CustomIndexType(CustomIndexType&&) requires(Copyable) = default; + CustomIndexType(CustomIndexType&&) requires(!Copyable) = delete; + + CustomIndexType& + operator=(const CustomIndexType&) requires(Copyable) = default; + CustomIndexType& + operator=(const CustomIndexType&) requires(!Copyable) = delete; + + CustomIndexType& + operator=(CustomIndexType&&) requires(Copyable) = default; + CustomIndexType& + operator=(CustomIndexType&&) requires(!Copyable) = delete; constexpr operator int() const noexcept diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_traits.h b/libstdc++-v3/testsuite/23_containers/mdspan/layout_traits.h similarity index 70% rename from libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_traits.h rename to libstdc++-v3/testsuite/23_containers/mdspan/layout_traits.h index 788ae82fcc4..619cab53b9e 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_traits.h +++ b/libstdc++-v3/testsuite/23_containers/mdspan/layout_traits.h @@ -1,8 +1,14 @@ -#ifndef TEST_MDSPAN_PADDED_TRAITS_H -#define TEST_MDSPAN_PADDED_TRAITS_H +#ifndef TEST_MDSPAN_LAYOUT_TRAITS_H +#define TEST_MDSPAN_LAYOUT_TRAITS_H #include +enum class PaddingSide +{ + Left, + Right +}; + template constexpr static bool is_left_padded = false; @@ -26,6 +32,18 @@ template is_padded_layout = is_left_padded || is_right_padded; #if __cplusplus > 202302L +template + constexpr bool + is_same_padded; + +template + constexpr bool + is_same_padded = is_left_padded; + +template + constexpr bool + is_same_padded = is_right_padded; + template constexpr auto dynamic_extents_array(const Extents& exts) @@ -36,12 +54,6 @@ template return ret; } -enum class PaddingSide -{ - Left, - Right -}; - struct DeducePaddingSide { template typename Layout> @@ -58,7 +70,9 @@ struct DeducePaddingSide constexpr static PaddingSide from_typename() { - if constexpr (is_left_padded) + if constexpr (std::same_as) + return PaddingSide::Left; + else if constexpr (is_left_padded) return PaddingSide::Left; else return PaddingSide::Right; @@ -84,8 +98,18 @@ template<> template constexpr static std::array - make_array(const std::array& expected) - { return expected; } + make_array(const std::array& a) + { return a; } + + template + constexpr static auto + make_indices(Indices... indices) + { return std::array{indices...}; } + + template + constexpr static std::tuple + make_tuple(const std::tuple& tup) + { return tup; } template constexpr static auto @@ -128,6 +152,25 @@ template<> return a; } + template + constexpr static auto + make_indices(Indices... indices) + { return make_array(std::array{indices...}); } + + template + constexpr static auto + make_tuple(const std::tuple& tup) + { + constexpr size_t rank = sizeof...(Ts); + auto impl = [&](std::index_sequence) + { + auto idx = [rank](size_t i) consteval + { return rank - 1 - i; }; + return std::tuple{get(tup)...}; + }; + return impl(std::make_index_sequence()); + } + template constexpr static auto padded_stride(const Mapping& m) diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/ctors.cc b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/ctors.cc index 27065a0dfc6..80ae5d8d56a 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/ctors.cc +++ b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/ctors.cc @@ -1,7 +1,7 @@ // { dg-do run { target c++23 } } #include -#include "padded_traits.h" +#include "../layout_traits.h" #include #include diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/mapping.cc b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/mapping.cc index d1486e4e11c..17cfac54113 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/mapping.cc +++ b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/mapping.cc @@ -2,7 +2,7 @@ #include #include "../int_like.h" -#include "padded_traits.h" +#include "../layout_traits.h" #include #include diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded.cc b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded.cc index cf4821a3c74..19fdf93ce0d 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded.cc +++ b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded.cc @@ -3,7 +3,7 @@ #include #include "../int_like.h" -#include "padded_traits.h" +#include "../layout_traits.h" #include constexpr size_t dyn = std::dynamic_extent; diff --git a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_neg.cc b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_neg.cc index a758f74287f..4073f683822 100644 --- a/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_neg.cc +++ b/libstdc++-v3/testsuite/23_containers/mdspan/layouts/padded_neg.cc @@ -1,7 +1,7 @@ // { dg-do compile { target c++26 } } #include -#include "padded_traits.h" +#include "../layout_traits.h" #include constexpr size_t dyn = std::dynamic_extent;