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
|
//@HEADER
// ************************************************************************
//
// Kokkos v. 4.0
// Copyright (2022) National Technology & Engineering
// Solutions of Sandia, LLC (NTESS).
//
// Under the terms of Contract DE-NA0003525 with NTESS,
// the U.S. Government retains certain rights in this software.
//
// Part of Kokkos, under the Apache License v2.0 with LLVM Exceptions.
// See https://kokkos.org/LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//@HEADER
#include <Kokkos_Core.hpp>
namespace {
template <class View, size_t Rank, size_t RankDynamic>
constexpr bool test_view_rank_and_dynamic_rank() {
static_assert(View::rank == Rank);
static_assert(View::rank() == Rank);
static_assert(View::rank_dynamic == RankDynamic);
static_assert(View::rank_dynamic() == RankDynamic);
static_assert(std::is_convertible_v<decltype(View::rank), size_t>);
static_assert(std::is_same_v<decltype(View::rank()), size_t>);
static_assert(std::is_convertible_v<decltype(View::rank_dynamic), size_t>);
static_assert(std::is_same_v<decltype(View::rank_dynamic()), size_t>);
auto rank = View::rank; // not an integral type in contrast to Kokkos version
// less than 4.0.01
static_assert(!std::is_integral_v<decltype(rank)>);
auto rank_preferred = View::rank(); // since 4.0.01
static_assert(std::is_same_v<decltype(rank_preferred), size_t>);
return rank == rank_preferred;
}
// clang-format off
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<long long>, 0, 0>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<unsigned[1]>, 1, 0>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<unsigned * >, 1, 1>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<double[1][2]>, 2, 0>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<double * [2]>, 2, 1>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<double * * >, 2, 2>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<float[1][2][3]>, 3, 0>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<float * [2][3]>, 3, 1>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<float * * [3]>, 3, 2>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<float * * * >, 3, 3>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<int[1][2][3][4]>, 4, 0>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<int * [2][3][4]>, 4, 1>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<int * * [3][4]>, 4, 2>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<int * * * [4]>, 4, 3>());
static_assert(test_view_rank_and_dynamic_rank<Kokkos::View<int * * * * >, 4, 4>());
//clang-format on
} // namespace
|
