//===----------------------------------------------------------------------===//
//
// 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>
//
// friend constexpr void swap(mdspan& x, mdspan& y) noexcept;
//
// Effects: Equivalent to:
// swap(x.ptr_, y.ptr_);
// swap(x.map_, y.map_);
// swap(x.acc_, y.acc_);
#include <mdspan>
#include <cassert>
#include <concepts>
#include <span> // dynamic_extent
#include <type_traits>
#include "test_macros.h"
#include "../MinimalElementType.h"
#include "../CustomTestLayouts.h"
template <class MDS>
constexpr void test_swap(MDS a, MDS b) {
auto org_a = a;
auto org_b = b;
swap(a, b);
assert(a.extents() == org_b.extents());
assert(b.extents() == org_a.extents());
if constexpr (std::equality_comparable<typename MDS::mapping_type>) {
assert(a.mapping() == org_b.mapping());
assert(b.mapping() == org_a.mapping());
}
if constexpr (std::equality_comparable<typename MDS::data_handle_type>) {
assert(a.data_handle() == org_b.data_handle());
assert(b.data_handle() == org_a.data_handle());
}
// This check uses a side effect of layout_wrapping_integral::swap to make sure
// mdspan calls the underlying components' swap via ADL
if (!std::is_constant_evaluated()) {
if constexpr (std::is_same_v<typename MDS::layout_type, layout_wrapping_integral<4>>) {
assert(MDS::mapping_type::swap_counter() > 0);
}
}
}
constexpr bool test() {
using extents_t = std::extents<int, 4, std::dynamic_extent>;
float data_a[1024];
float data_b[1024];
{
std::mdspan a(data_a, extents_t(12));
std::mdspan b(data_b, extents_t(5));
test_swap(a, b);
}
{
layout_wrapping_integral<4>::mapping<extents_t> map_a(extents_t(12), not_extents_constructible_tag()),
map_b(extents_t(5), not_extents_constructible_tag());
std::mdspan a(data_a, map_a);
std::mdspan b(data_b, map_b);
test_swap(a, b);
}
return true;
}
int main(int, char**) {
test();
static_assert(test());
return 0;
}