67 lines · cpp
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++17, c++2010 11// <mdspan>12 13// namespace std {14// template<class Extents>15// class layout_left::mapping {16//17// ...18// static constexpr bool is_always_unique() noexcept { return true; }19// static constexpr bool is_always_exhaustive() noexcept { return true; }20// static constexpr bool is_always_strided() noexcept { return true; }21//22// static constexpr bool is_unique() noexcept { return true; }23// static constexpr bool is_exhaustive() noexcept { return true; }24// static constexpr bool is_strided() noexcept { return true; }25// ...26// };27// }28 29#include <cassert>30#include <cstddef>31#include <mdspan>32#include <utility>33 34#include "test_macros.h"35 36template <class E>37constexpr void test_layout_mapping_left() {38 using M = std::layout_left::mapping<E>;39 assert(M::is_unique() == true);40 assert(M::is_exhaustive() == true);41 assert(M::is_strided() == true);42 assert(M::is_always_unique() == true);43 assert(M::is_always_exhaustive() == true);44 assert(M::is_always_strided() == true);45 ASSERT_NOEXCEPT(std::declval<M>().is_unique());46 ASSERT_NOEXCEPT(std::declval<M>().is_exhaustive());47 ASSERT_NOEXCEPT(std::declval<M>().is_strided());48 ASSERT_NOEXCEPT(M::is_always_unique());49 ASSERT_NOEXCEPT(M::is_always_exhaustive());50 ASSERT_NOEXCEPT(M::is_always_strided());51}52 53constexpr bool test() {54 constexpr size_t D = std::dynamic_extent;55 test_layout_mapping_left<std::extents<int>>();56 test_layout_mapping_left<std::extents<signed char, 4, 5>>();57 test_layout_mapping_left<std::extents<unsigned, D, 4>>();58 test_layout_mapping_left<std::extents<size_t, D, D, D, D>>();59 return true;60}61 62int main(int, char**) {63 test();64 static_assert(test());65 return 0;66}67