diff options
Diffstat (limited to 'libcxx/test/std/experimental/simd/simd.traits')
5 files changed, 350 insertions, 361 deletions
diff --git a/libcxx/test/std/experimental/simd/simd.traits/abi_for_size.pass.cpp b/libcxx/test/std/experimental/simd/simd.traits/abi_for_size.pass.cpp index b3cd92add53..6e244220d7e 100644 --- a/libcxx/test/std/experimental/simd/simd.traits/abi_for_size.pass.cpp +++ b/libcxx/test/std/experimental/simd/simd.traits/abi_for_size.pass.cpp @@ -7,26 +7,24 @@ // //===----------------------------------------------------------------------===// -// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: c++98, c++03 // <experimental/simd> // // [simd.traits] -// template <class T, size_t N> struct abi_for_size { using type = see below ; -// }; template <class T, size_t N> using ex::abi_for_size_t = typename -// ex::abi_for_size<T, N>::type; +// template <class T, size_t N> struct abi_for_size { using type = see below ; }; +// template <class T, size_t N> using abi_for_size_t = typename abi_for_size<T, N>::type; #include <cstdint> #include <experimental/simd> -namespace ex = std::experimental::parallelism_v2; +using namespace std::experimental::parallelism_v2; -static_assert(std::is_same<typename ex::abi_for_size<int, 4>::type, - ex::simd_abi::fixed_size<4>>::value, +static_assert(std::is_same<typename abi_for_size<int, 4>::type, + simd_abi::fixed_size<4>>::value, ""); -static_assert(std::is_same<ex::abi_for_size_t<int, 4>, - ex::simd_abi::fixed_size<4>>::value, - ""); +static_assert( + std::is_same<abi_for_size_t<int, 4>, simd_abi::fixed_size<4>>::value, ""); int main() {} diff --git a/libcxx/test/std/experimental/simd/simd.traits/is_abi_tag.pass.cpp b/libcxx/test/std/experimental/simd/simd.traits/is_abi_tag.pass.cpp index e87eafbdb1d..4f4f738a835 100644 --- a/libcxx/test/std/experimental/simd/simd.traits/is_abi_tag.pass.cpp +++ b/libcxx/test/std/experimental/simd/simd.traits/is_abi_tag.pass.cpp @@ -7,107 +7,109 @@ // //===----------------------------------------------------------------------===// -// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: c++98, c++03 // <experimental/simd> // // [simd.traits] // template <class T> struct is_abi_tag; -// template <class T> inline constexpr bool ex::is_abi_tag_v = -// ex::is_abi_tag<T>::value; +// template <class T> inline constexpr bool is_abi_tag_v = is_abi_tag<T>::value; #include <cstdint> #include <experimental/simd> #include "test_macros.h" -namespace ex = std::experimental::parallelism_v2; +using namespace std::experimental::parallelism_v2; struct UserType {}; -static_assert(ex::is_abi_tag<ex::simd_abi::native<int8_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<int16_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<int32_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<int64_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<uint8_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<uint16_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<uint32_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<uint64_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<float>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::native<double>>::value, ""); - -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int8_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int16_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int32_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int64_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint8_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint16_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint32_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint64_t>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<float>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::compatible<double>>::value, ""); - -static_assert(ex::is_abi_tag<ex::simd_abi::scalar>::value, ""); -static_assert( - !std::is_same<ex::simd_abi::scalar, ex::simd_abi::fixed_size<1>>::value, - ""); - -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<1>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<2>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<3>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<4>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<5>>::value, ""); -static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<32>>::value, ""); - -static_assert(!ex::is_abi_tag<void>::value, ""); -static_assert(!ex::is_abi_tag<int>::value, ""); -static_assert(!ex::is_abi_tag<float>::value, ""); -static_assert(!ex::is_abi_tag<UserType>::value, ""); -static_assert(!ex::is_abi_tag<ex::simd<int>>::value, ""); -static_assert(!ex::is_abi_tag<ex::simd<float>>::value, ""); -static_assert(!ex::is_abi_tag<ex::simd_mask<int>>::value, ""); -static_assert(!ex::is_abi_tag<ex::simd_mask<float>>::value, ""); - -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int8_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int16_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int32_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int64_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint8_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint16_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint32_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint64_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<float>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::native<double>>, ""); - -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int8_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int16_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int32_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int64_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint8_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint16_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint32_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint64_t>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<float>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<double>>, ""); - -static_assert(ex::is_abi_tag_v<ex::simd_abi::scalar>, ""); -static_assert( - !std::is_same<ex::simd_abi::scalar, ex::simd_abi::fixed_size<1>>::value, - ""); - -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<1>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<2>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<3>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<4>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<5>>, ""); -static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<32>>, ""); - -static_assert(!ex::is_abi_tag_v<void>, ""); -static_assert(!ex::is_abi_tag_v<int>, ""); -static_assert(!ex::is_abi_tag_v<float>, ""); -static_assert(!ex::is_abi_tag_v<UserType>, ""); -static_assert(!ex::is_abi_tag_v<ex::simd<int>>, ""); -static_assert(!ex::is_abi_tag_v<ex::simd<float>>, ""); -static_assert(!ex::is_abi_tag_v<ex::simd_mask<int>>, ""); -static_assert(!ex::is_abi_tag_v<ex::simd_mask<float>>, ""); +static_assert( is_abi_tag<simd_abi::native<int8_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<int16_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<int32_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<int64_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<uint8_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<uint16_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<uint32_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<uint64_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<float>>::value, ""); +static_assert( is_abi_tag<simd_abi::native<double>>::value, ""); + +static_assert( is_abi_tag<simd_abi::compatible<int8_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<int16_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<int32_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<int64_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<uint8_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<uint16_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<uint32_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<uint64_t>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<float>>::value, ""); +static_assert( is_abi_tag<simd_abi::compatible<double>>::value, ""); + +static_assert( is_abi_tag<simd_abi::scalar>::value, ""); +static_assert(!std::is_same<simd_abi::scalar, simd_abi::fixed_size<1>>::value, + ""); + +static_assert( is_abi_tag<simd_abi::fixed_size<1>>::value, ""); +static_assert( is_abi_tag<simd_abi::fixed_size<2>>::value, ""); +static_assert( is_abi_tag<simd_abi::fixed_size<3>>::value, ""); +static_assert( is_abi_tag<simd_abi::fixed_size<4>>::value, ""); +static_assert( is_abi_tag<simd_abi::fixed_size<5>>::value, ""); +static_assert( is_abi_tag<simd_abi::fixed_size<32>>::value, ""); + +static_assert(!is_abi_tag<void>::value, ""); +static_assert(!is_abi_tag<int>::value, ""); +static_assert(!is_abi_tag<float>::value, ""); +static_assert(!is_abi_tag<UserType>::value, ""); +static_assert(!is_abi_tag<simd<int>>::value, ""); +static_assert(!is_abi_tag<simd<float>>::value, ""); +static_assert(!is_abi_tag<simd_mask<int>>::value, ""); +static_assert(!is_abi_tag<simd_mask<float>>::value, ""); + +#if TEST_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_VARIABLE_TEMPLATES) && \ + !defined(_LIBCPP_HAS_NO_INLINE_VARIABLES) + +static_assert( is_abi_tag_v<simd_abi::native<int8_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<int16_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<int32_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<int64_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<uint8_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<uint16_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<uint32_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<uint64_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<float>>, ""); +static_assert( is_abi_tag_v<simd_abi::native<double>>, ""); + +static_assert( is_abi_tag_v<simd_abi::compatible<int8_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<int16_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<int32_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<int64_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<uint8_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<uint16_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<uint32_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<uint64_t>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<float>>, ""); +static_assert( is_abi_tag_v<simd_abi::compatible<double>>, ""); + +static_assert( is_abi_tag_v<simd_abi::scalar>, ""); +static_assert(!std::is_same<simd_abi::scalar, simd_abi::fixed_size<1>>::value, + ""); + +static_assert( is_abi_tag_v<simd_abi::fixed_size<1>>, ""); +static_assert( is_abi_tag_v<simd_abi::fixed_size<2>>, ""); +static_assert( is_abi_tag_v<simd_abi::fixed_size<3>>, ""); +static_assert( is_abi_tag_v<simd_abi::fixed_size<4>>, ""); +static_assert( is_abi_tag_v<simd_abi::fixed_size<5>>, ""); +static_assert( is_abi_tag_v<simd_abi::fixed_size<32>>, ""); + +static_assert(!is_abi_tag_v<void>, ""); +static_assert(!is_abi_tag_v<int>, ""); +static_assert(!is_abi_tag_v<float>, ""); +static_assert(!is_abi_tag_v<UserType>, ""); +static_assert(!is_abi_tag_v<simd<int>>, ""); +static_assert(!is_abi_tag_v<simd<float>>, ""); +static_assert(!is_abi_tag_v<simd_mask<int>>, ""); +static_assert(!is_abi_tag_v<simd_mask<float>>, ""); + +#endif int main() {} diff --git a/libcxx/test/std/experimental/simd/simd.traits/is_simd.pass.cpp b/libcxx/test/std/experimental/simd/simd.traits/is_simd.pass.cpp index 8d7c0946c73..77f5d10ed3a 100644 --- a/libcxx/test/std/experimental/simd/simd.traits/is_simd.pass.cpp +++ b/libcxx/test/std/experimental/simd/simd.traits/is_simd.pass.cpp @@ -7,123 +7,127 @@ // //===----------------------------------------------------------------------===// -// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: c++98, c++03 // <experimental/simd> // // [simd.traits] -// template <class T> struct ex::is_simd; -// template <class T> inline constexpr bool ex::is_simd_v = -// ex::is_simd<T>::value; +// template <class T> struct is_simd; +// template <class T> inline constexpr bool is_simd_v = is_simd<T>::value; #include <cstdint> #include <experimental/simd> #include "test_macros.h" -namespace ex = std::experimental::parallelism_v2; +using namespace std::experimental::parallelism_v2; struct UserType {}; -static_assert(ex::is_simd<ex::native_simd<int8_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<int16_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<int32_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<int64_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<uint8_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<uint16_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<uint32_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<uint64_t>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<float>>::value, ""); -static_assert(ex::is_simd<ex::native_simd<double>>::value, ""); - -static_assert(ex::is_simd<ex::fixed_size_simd<int8_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int16_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int32_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int64_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint8_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint16_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint32_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint64_t, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<float, 1>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<double, 1>>::value, ""); - -static_assert(ex::is_simd<ex::fixed_size_simd<int8_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int16_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int32_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int64_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint8_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint16_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint32_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint64_t, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<float, 3>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<double, 3>>::value, ""); - -static_assert(ex::is_simd<ex::fixed_size_simd<int8_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int16_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int32_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<int64_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint8_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint16_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint32_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<uint64_t, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<float, 32>>::value, ""); -static_assert(ex::is_simd<ex::fixed_size_simd<double, 32>>::value, ""); - -static_assert(!ex::is_simd<void>::value, ""); -static_assert(!ex::is_simd<int>::value, ""); -static_assert(!ex::is_simd<float>::value, ""); -static_assert(!ex::is_simd<ex::simd_mask<int>>::value, ""); -static_assert(!ex::is_simd<ex::simd_mask<float>>::value, ""); -static_assert(!ex::is_simd<UserType>::value, ""); - -static_assert(ex::is_simd_v<ex::native_simd<int8_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<int16_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<int32_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<int64_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<uint8_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<uint16_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<uint32_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<uint64_t>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<float>>, ""); -static_assert(ex::is_simd_v<ex::native_simd<double>>, ""); - -static_assert(ex::is_simd_v<ex::fixed_size_simd<int8_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int16_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int32_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int64_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint8_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint16_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint32_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint64_t, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<float, 1>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<double, 1>>, ""); - -static_assert(ex::is_simd_v<ex::fixed_size_simd<int8_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int16_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int32_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int64_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint8_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint16_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint32_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint64_t, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<float, 3>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<double, 3>>, ""); - -static_assert(ex::is_simd_v<ex::fixed_size_simd<int8_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int16_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int32_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<int64_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint8_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint16_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint32_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<uint64_t, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<float, 32>>, ""); -static_assert(ex::is_simd_v<ex::fixed_size_simd<double, 32>>, ""); - -static_assert(!ex::is_simd_v<void>, ""); -static_assert(!ex::is_simd_v<int>, ""); -static_assert(!ex::is_simd_v<float>, ""); -static_assert(!ex::is_simd_v<ex::simd_mask<int>>, ""); -static_assert(!ex::is_simd_v<ex::simd_mask<float>>, ""); -static_assert(!ex::is_simd_v<UserType>, ""); +static_assert( is_simd<native_simd<int8_t>>::value, ""); +static_assert( is_simd<native_simd<int16_t>>::value, ""); +static_assert( is_simd<native_simd<int32_t>>::value, ""); +static_assert( is_simd<native_simd<int64_t>>::value, ""); +static_assert( is_simd<native_simd<uint8_t>>::value, ""); +static_assert( is_simd<native_simd<uint16_t>>::value, ""); +static_assert( is_simd<native_simd<uint32_t>>::value, ""); +static_assert( is_simd<native_simd<uint64_t>>::value, ""); +static_assert( is_simd<native_simd<float>>::value, ""); +static_assert( is_simd<native_simd<double>>::value, ""); + +static_assert( is_simd<fixed_size_simd<int8_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<int16_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<int32_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<int64_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint8_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint16_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint32_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint64_t, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<float, 1>>::value, ""); +static_assert( is_simd<fixed_size_simd<double, 1>>::value, ""); + +static_assert( is_simd<fixed_size_simd<int8_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<int16_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<int32_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<int64_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint8_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint16_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint32_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint64_t, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<float, 3>>::value, ""); +static_assert( is_simd<fixed_size_simd<double, 3>>::value, ""); + +static_assert( is_simd<fixed_size_simd<int8_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<int16_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<int32_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<int64_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint8_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint16_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint32_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<uint64_t, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<float, 32>>::value, ""); +static_assert( is_simd<fixed_size_simd<double, 32>>::value, ""); + +static_assert(!is_simd<void>::value, ""); +static_assert(!is_simd<int>::value, ""); +static_assert(!is_simd<float>::value, ""); +static_assert(!is_simd<simd_mask<int>>::value, ""); +static_assert(!is_simd<simd_mask<float>>::value, ""); +static_assert(!is_simd<UserType>::value, ""); + +#if TEST_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_VARIABLE_TEMPLATES) && \ + !defined(_LIBCPP_HAS_NO_INLINE_VARIABLES) + +static_assert( is_simd_v<native_simd<int8_t>>, ""); +static_assert( is_simd_v<native_simd<int16_t>>, ""); +static_assert( is_simd_v<native_simd<int32_t>>, ""); +static_assert( is_simd_v<native_simd<int64_t>>, ""); +static_assert( is_simd_v<native_simd<uint8_t>>, ""); +static_assert( is_simd_v<native_simd<uint16_t>>, ""); +static_assert( is_simd_v<native_simd<uint32_t>>, ""); +static_assert( is_simd_v<native_simd<uint64_t>>, ""); +static_assert( is_simd_v<native_simd<float>>, ""); +static_assert( is_simd_v<native_simd<double>>, ""); + +static_assert( is_simd_v<fixed_size_simd<int8_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<int16_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<int32_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<int64_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint8_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint16_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint32_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint64_t, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<float, 1>>, ""); +static_assert( is_simd_v<fixed_size_simd<double, 1>>, ""); + +static_assert( is_simd_v<fixed_size_simd<int8_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<int16_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<int32_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<int64_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint8_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint16_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint32_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint64_t, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<float, 3>>, ""); +static_assert( is_simd_v<fixed_size_simd<double, 3>>, ""); + +static_assert( is_simd_v<fixed_size_simd<int8_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<int16_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<int32_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<int64_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint8_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint16_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint32_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<uint64_t, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<float, 32>>, ""); +static_assert( is_simd_v<fixed_size_simd<double, 32>>, ""); + +static_assert(!is_simd_v<void>, ""); +static_assert(!is_simd_v<int>, ""); +static_assert(!is_simd_v<float>, ""); +static_assert(!is_simd_v<simd_mask<int>>, ""); +static_assert(!is_simd_v<simd_mask<float>>, ""); +static_assert(!is_simd_v<UserType>, ""); + +#endif int main() {} diff --git a/libcxx/test/std/experimental/simd/simd.traits/is_simd_flag_type.pass.cpp b/libcxx/test/std/experimental/simd/simd.traits/is_simd_flag_type.pass.cpp index ecb68fb6284..a6fe409057c 100644 --- a/libcxx/test/std/experimental/simd/simd.traits/is_simd_flag_type.pass.cpp +++ b/libcxx/test/std/experimental/simd/simd.traits/is_simd_flag_type.pass.cpp @@ -7,45 +7,49 @@ // //===----------------------------------------------------------------------===// -// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: c++98, c++03 // <experimental/simd> // // [simd.traits] // template <class T> struct is_simd_flag_type; -// template <class T> inline constexpr bool ex::is_simd_flag_type_v = -// ex::is_simd_flag_type<T>::value; +// template <class T> inline constexpr bool is_simd_flag_type_v = is_simd_flag_type<T>::value; #include <cstdint> #include <experimental/simd> #include "test_macros.h" -namespace ex = std::experimental::parallelism_v2; +using namespace std::experimental::parallelism_v2; struct UserType {}; -static_assert(ex::is_simd_flag_type<ex::element_aligned_tag>::value, ""); -static_assert(ex::is_simd_flag_type<ex::vector_aligned_tag>::value, ""); -static_assert(ex::is_simd_flag_type<ex::overaligned_tag<16>>::value, ""); -static_assert(ex::is_simd_flag_type<ex::overaligned_tag<32>>::value, ""); - -static_assert(!ex::is_simd_flag_type<void>::value, ""); -static_assert(!ex::is_simd_flag_type<int>::value, ""); -static_assert(!ex::is_simd_flag_type<float>::value, ""); -static_assert(!ex::is_simd_flag_type<UserType>::value, ""); -static_assert(!ex::is_simd_flag_type<ex::simd<int8_t>>::value, ""); -static_assert(!ex::is_simd_flag_type<ex::simd_mask<int8_t>>::value, ""); - -static_assert(ex::is_simd_flag_type_v<ex::element_aligned_tag>, ""); -static_assert(ex::is_simd_flag_type_v<ex::vector_aligned_tag>, ""); -static_assert(ex::is_simd_flag_type_v<ex::overaligned_tag<16>>, ""); -static_assert(ex::is_simd_flag_type_v<ex::overaligned_tag<32>>, ""); - -static_assert(!ex::is_simd_flag_type_v<void>, ""); -static_assert(!ex::is_simd_flag_type_v<int>, ""); -static_assert(!ex::is_simd_flag_type_v<float>, ""); -static_assert(!ex::is_simd_flag_type_v<UserType>, ""); -static_assert(!ex::is_simd_flag_type_v<ex::simd<int8_t>>, ""); -static_assert(!ex::is_simd_flag_type_v<ex::simd_mask<int8_t>>, ""); +static_assert( is_simd_flag_type<element_aligned_tag>::value, ""); +static_assert( is_simd_flag_type<vector_aligned_tag>::value, ""); +static_assert( is_simd_flag_type<overaligned_tag<16>>::value, ""); +static_assert( is_simd_flag_type<overaligned_tag<32>>::value, ""); + +static_assert(!is_simd_flag_type<void>::value, ""); +static_assert(!is_simd_flag_type<int>::value, ""); +static_assert(!is_simd_flag_type<float>::value, ""); +static_assert(!is_simd_flag_type<UserType>::value, ""); +static_assert(!is_simd_flag_type<simd<int8_t>>::value, ""); +static_assert(!is_simd_flag_type<simd_mask<int8_t>>::value, ""); + +#if TEST_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_VARIABLE_TEMPLATES) && \ + !defined(_LIBCPP_HAS_NO_INLINE_VARIABLES) + +static_assert( is_simd_flag_type_v<element_aligned_tag>, ""); +static_assert( is_simd_flag_type_v<vector_aligned_tag>, ""); +static_assert( is_simd_flag_type_v<overaligned_tag<16>>, ""); +static_assert( is_simd_flag_type_v<overaligned_tag<32>>, ""); + +static_assert(!is_simd_flag_type_v<void>, ""); +static_assert(!is_simd_flag_type_v<int>, ""); +static_assert(!is_simd_flag_type_v<float>, ""); +static_assert(!is_simd_flag_type_v<UserType>, ""); +static_assert(!is_simd_flag_type_v<simd<int8_t>>, ""); +static_assert(!is_simd_flag_type_v<simd_mask<int8_t>>, ""); + +#endif int main() {} diff --git a/libcxx/test/std/experimental/simd/simd.traits/is_simd_mask.pass.cpp b/libcxx/test/std/experimental/simd/simd.traits/is_simd_mask.pass.cpp index 73680244301..8c2e0ed5bf4 100644 --- a/libcxx/test/std/experimental/simd/simd.traits/is_simd_mask.pass.cpp +++ b/libcxx/test/std/experimental/simd/simd.traits/is_simd_mask.pass.cpp @@ -7,146 +7,127 @@ // //===----------------------------------------------------------------------===// -// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: c++98, c++03 // <experimental/simd> // // [simd.traits] -// template <class T> struct ex::is_simd_mask; -// template <class T> inline constexpr bool ex::is_simd_mask_v = -// ex::is_simd_mask<T>::value; +// template <class T> struct is_simd_mask; +// template <class T> inline constexpr bool is_simd_mask_v = is_simd_mask<T>::value; #include <cstdint> #include <experimental/simd> #include "test_macros.h" -namespace ex = std::experimental::parallelism_v2; +using namespace std::experimental::parallelism_v2; struct UserType {}; -static_assert(ex::is_simd_mask<ex::native_simd_mask<int8_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<int16_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<int32_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<int64_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<uint8_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<uint16_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<uint32_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<uint64_t>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<float>>::value, ""); -static_assert(ex::is_simd_mask<ex::native_simd_mask<double>>::value, ""); - -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int8_t, 1>>::value, ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int16_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int32_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int64_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint8_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint16_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint32_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint64_t, 1>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<float, 1>>::value, ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<double, 1>>::value, ""); - -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int8_t, 3>>::value, ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int16_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int32_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int64_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint8_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint16_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint32_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint64_t, 3>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<float, 3>>::value, ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<double, 3>>::value, ""); - -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int8_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int16_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int32_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<int64_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint8_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint16_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint32_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<uint64_t, 32>>::value, - ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<float, 32>>::value, ""); -static_assert(ex::is_simd_mask<ex::fixed_size_simd_mask<double, 32>>::value, - ""); - -static_assert(!ex::is_simd_mask<void>::value, ""); -static_assert(!ex::is_simd_mask<int>::value, ""); -static_assert(!ex::is_simd_mask<float>::value, ""); -static_assert(!ex::is_simd_mask<ex::simd<int>>::value, ""); -static_assert(!ex::is_simd_mask<ex::simd<float>>::value, ""); -static_assert(!ex::is_simd_mask<UserType>::value, ""); - -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<int8_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<int16_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<int32_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<int64_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<uint8_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<uint16_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<uint32_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<uint64_t>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<float>>, ""); -static_assert(ex::is_simd_mask_v<ex::native_simd_mask<double>>, ""); - -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int8_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int16_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int32_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int64_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint8_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint16_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint32_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint64_t, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<float, 1>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<double, 1>>, ""); - -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int8_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int16_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int32_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int64_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint8_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint16_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint32_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint64_t, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<float, 3>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<double, 3>>, ""); - -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int8_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int16_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int32_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<int64_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint8_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint16_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint32_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<uint64_t, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<float, 32>>, ""); -static_assert(ex::is_simd_mask_v<ex::fixed_size_simd_mask<double, 32>>, ""); - -static_assert(!ex::is_simd_mask_v<void>, ""); -static_assert(!ex::is_simd_mask_v<int>, ""); -static_assert(!ex::is_simd_mask_v<float>, ""); -static_assert(!ex::is_simd_mask_v<ex::simd<int>>, ""); -static_assert(!ex::is_simd_mask_v<ex::simd<float>>, ""); -static_assert(!ex::is_simd_mask_v<UserType>, ""); +static_assert( is_simd_mask<native_simd_mask<int8_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<int16_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<int32_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<int64_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<uint8_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<uint16_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<uint32_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<uint64_t>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<float>>::value, ""); +static_assert( is_simd_mask<native_simd_mask<double>>::value, ""); + +static_assert( is_simd_mask<fixed_size_simd_mask<int8_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int16_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int32_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int64_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint8_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint16_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint32_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint64_t, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<float, 1>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<double, 1>>::value, ""); + +static_assert( is_simd_mask<fixed_size_simd_mask<int8_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int16_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int32_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int64_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint8_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint16_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint32_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint64_t, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<float, 3>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<double, 3>>::value, ""); + +static_assert( is_simd_mask<fixed_size_simd_mask<int8_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int16_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int32_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<int64_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint8_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint16_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint32_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<uint64_t, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<float, 32>>::value, ""); +static_assert( is_simd_mask<fixed_size_simd_mask<double, 32>>::value, ""); + +static_assert(!is_simd_mask<void>::value, ""); +static_assert(!is_simd_mask<int>::value, ""); +static_assert(!is_simd_mask<float>::value, ""); +static_assert(!is_simd_mask<simd<int>>::value, ""); +static_assert(!is_simd_mask<simd<float>>::value, ""); +static_assert(!is_simd_mask<UserType>::value, ""); + +#if TEST_STD_VER > 14 && !defined(_LIBCPP_HAS_NO_VARIABLE_TEMPLATES) && \ + !defined(_LIBCPP_HAS_NO_INLINE_VARIABLES) + +static_assert( is_simd_mask_v<native_simd_mask<int8_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<int16_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<int32_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<int64_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<uint8_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<uint16_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<uint32_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<uint64_t>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<float>>, ""); +static_assert( is_simd_mask_v<native_simd_mask<double>>, ""); + +static_assert( is_simd_mask_v<fixed_size_simd_mask<int8_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int16_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int32_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int64_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint8_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint16_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint32_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint64_t, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<float, 1>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<double, 1>>, ""); + +static_assert( is_simd_mask_v<fixed_size_simd_mask<int8_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int16_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int32_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int64_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint8_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint16_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint32_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint64_t, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<float, 3>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<double, 3>>, ""); + +static_assert( is_simd_mask_v<fixed_size_simd_mask<int8_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int16_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int32_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<int64_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint8_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint16_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint32_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<uint64_t, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<float, 32>>, ""); +static_assert( is_simd_mask_v<fixed_size_simd_mask<double, 32>>, ""); + +static_assert(!is_simd_mask_v<void>, ""); +static_assert(!is_simd_mask_v<int>, ""); +static_assert(!is_simd_mask_v<float>, ""); +static_assert(!is_simd_mask_v<simd<int>>, ""); +static_assert(!is_simd_mask_v<simd<float>>, ""); +static_assert(!is_simd_mask_v<UserType>, ""); + +#endif int main() {} |
