test/std/experimental/simd/simd.traits/is_abi_tag.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // UNSUPPORTED: c++98, c++03, c++11, c++14
  11
  12 // <experimental/simd>
  13 //
  14 // [simd.traits]
  15 // template <class T> struct is_abi_tag;
  16 // template <class T> inline constexpr bool ex::is_abi_tag_v =
  17 // ex::is_abi_tag<T>::value;
  18
  19 #include <cstdint>
  20 #include <experimental/simd>
  21 #include "test_macros.h"
  22
  23 namespace ex = std::experimental::parallelism_v2;
  24
  25 struct UserType {};
  26
  27 static_assert(ex::is_abi_tag<ex::simd_abi::native<int8_t>>::value, "");
  28 static_assert(ex::is_abi_tag<ex::simd_abi::native<int16_t>>::value, "");
  29 static_assert(ex::is_abi_tag<ex::simd_abi::native<int32_t>>::value, "");
  30 static_assert(ex::is_abi_tag<ex::simd_abi::native<int64_t>>::value, "");
  31 static_assert(ex::is_abi_tag<ex::simd_abi::native<uint8_t>>::value, "");
  32 static_assert(ex::is_abi_tag<ex::simd_abi::native<uint16_t>>::value, "");
  33 static_assert(ex::is_abi_tag<ex::simd_abi::native<uint32_t>>::value, "");
  34 static_assert(ex::is_abi_tag<ex::simd_abi::native<uint64_t>>::value, "");
  35 static_assert(ex::is_abi_tag<ex::simd_abi::native<float>>::value, "");
  36 static_assert(ex::is_abi_tag<ex::simd_abi::native<double>>::value, "");
  37
  38 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int8_t>>::value, "");
  39 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int16_t>>::value, "");
  40 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int32_t>>::value, "");
  41 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<int64_t>>::value, "");
  42 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint8_t>>::value, "");
  43 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint16_t>>::value, "");
  44 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint32_t>>::value, "");
  45 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<uint64_t>>::value, "");
  46 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<float>>::value, "");
  47 static_assert(ex::is_abi_tag<ex::simd_abi::compatible<double>>::value, "");
  48
  49 static_assert(ex::is_abi_tag<ex::simd_abi::scalar>::value, "");
  50 static_assert(
  51     !std::is_same<ex::simd_abi::scalar, ex::simd_abi::fixed_size<1>>::value,
  52     "");
  53
  54 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<1>>::value, "");
  55 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<2>>::value, "");
  56 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<3>>::value, "");
  57 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<4>>::value, "");
  58 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<5>>::value, "");
  59 static_assert(ex::is_abi_tag<ex::simd_abi::fixed_size<32>>::value, "");
  60
  61 static_assert(!ex::is_abi_tag<void>::value, "");
  62 static_assert(!ex::is_abi_tag<int>::value, "");
  63 static_assert(!ex::is_abi_tag<float>::value, "");
  64 static_assert(!ex::is_abi_tag<UserType>::value, "");
  65 static_assert(!ex::is_abi_tag<ex::simd<int>>::value, "");
  66 static_assert(!ex::is_abi_tag<ex::simd<float>>::value, "");
  67 static_assert(!ex::is_abi_tag<ex::simd_mask<int>>::value, "");
  68 static_assert(!ex::is_abi_tag<ex::simd_mask<float>>::value, "");
  69
  70 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int8_t>>, "");
  71 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int16_t>>, "");
  72 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int32_t>>, "");
  73 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<int64_t>>, "");
  74 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint8_t>>, "");
  75 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint16_t>>, "");
  76 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint32_t>>, "");
  77 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<uint64_t>>, "");
  78 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<float>>, "");
  79 static_assert(ex::is_abi_tag_v<ex::simd_abi::native<double>>, "");
  80
  81 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int8_t>>, "");
  82 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int16_t>>, "");
  83 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int32_t>>, "");
  84 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<int64_t>>, "");
  85 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint8_t>>, "");
  86 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint16_t>>, "");
  87 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint32_t>>, "");
  88 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<uint64_t>>, "");
  89 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<float>>, "");
  90 static_assert(ex::is_abi_tag_v<ex::simd_abi::compatible<double>>, "");
  91
  92 static_assert(ex::is_abi_tag_v<ex::simd_abi::scalar>, "");
  93 static_assert(
  94     !std::is_same<ex::simd_abi::scalar, ex::simd_abi::fixed_size<1>>::value,
  95     "");
  96
  97 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<1>>, "");
  98 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<2>>, "");
  99 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<3>>, "");
 100 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<4>>, "");
 101 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<5>>, "");
 102 static_assert(ex::is_abi_tag_v<ex::simd_abi::fixed_size<32>>, "");
 103
 104 static_assert(!ex::is_abi_tag_v<void>, "");
 105 static_assert(!ex::is_abi_tag_v<int>, "");
 106 static_assert(!ex::is_abi_tag_v<float>, "");
 107 static_assert(!ex::is_abi_tag_v<UserType>, "");
 108 static_assert(!ex::is_abi_tag_v<ex::simd<int>>, "");
 109 static_assert(!ex::is_abi_tag_v<ex::simd<float>>, "");
 110 static_assert(!ex::is_abi_tag_v<ex::simd_mask<int>>, "");
 111 static_assert(!ex::is_abi_tag_v<ex::simd_mask<float>>, "");
 112
 113 int main() {}