libstdc++-v3/testsuite/experimental/simd/standard_abi_usable.cc

   1 // { dg-options "-std=c++17 -fno-fast-math" }
   2 // { dg-do compile { target c++17 } }
   3
   4 // Copyright (C) 2020-2021 Free Software Foundation, Inc.
   5 //
   6 // This file is part of the GNU ISO C++ Library.  This library is free
   7 // software; you can redistribute it and/or modify it under the
   8 // terms of the GNU General Public License as published by the
   9 // Free Software Foundation; either version 3, or (at your option)
  10 // any later version.
  11
  12 // This library is distributed in the hope that it will be useful,
  13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 // GNU General Public License for more details.
  16
  17 // You should have received a copy of the GNU General Public License along
  18 // with this library; see the file COPYING3.  If not see
  19 // <http://www.gnu.org/licenses/>.
  20
  21 #include <experimental/simd>
  22
  23 template <typename V>
  24   void
  25   is_usable()
  26   {
  27     static_assert(std::is_default_constructible_v<V>);
  28     static_assert(std::is_destructible_v         <V>);
  29     static_assert(std::is_default_constructible_v<typename V::mask_type>);
  30     static_assert(std::is_destructible_v         <typename V::mask_type>);
  31   }
  32
  33 template <typename T>
  34   void
  35   test01()
  36   {
  37     namespace stdx = std::experimental;
  38     is_usable<stdx::simd<T>>();
  39     is_usable<stdx::native_simd<T>>();
  40     is_usable<stdx::fixed_size_simd<T, 3>>();
  41     is_usable<stdx::fixed_size_simd<T, stdx::simd_abi::max_fixed_size<T>>>();
  42   }
  43
  44 int main()
  45 {
  46   test01<char>();
  47   test01<wchar_t>();
  48   test01<char16_t>();
  49   test01<char32_t>();
  50
  51   test01<signed char>();
  52   test01<unsigned char>();
  53   test01<short>();
  54   test01<unsigned short>();
  55   test01<int>();
  56   test01<unsigned int>();
  57   test01<long>();
  58   test01<unsigned long>();
  59   test01<long long>();
  60   test01<unsigned long long>();
  61   test01<float>();
  62   test01<double>();
  63   test01<long double>();
  64 }