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