| // Copyright (C) 2020-2021 Free Software Foundation, Inc. |
| // |
| // This file is part of the GNU ISO C++ Library. This library is free |
| // software; you can redistribute it and/or modify it under the |
| // terms of the GNU General Public License as published by the |
| // Free Software Foundation; either version 3, or (at your option) |
| // any later version. |
| // |
| // This library is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| // |
| // You should have received a copy of the GNU General Public License along |
| // with this library; see the file COPYING3. If not see |
| // <http://www.gnu.org/licenses/>. |
| |
| // expensive: * [1-9] * * |
| #include "bits/verify.h" |
| #include "bits/metahelpers.h" |
| |
| template <typename V> |
| void |
| test() |
| { |
| using M = typename V::mask_type; |
| static_assert(std::is_convertible<typename M::reference, bool>::value, |
| "A smart_reference<simd_mask> must be convertible to bool."); |
| static_assert( |
| std::is_same<bool, decltype(std::declval<const typename M::reference&>() |
| == true)>::value, |
| "A smart_reference<simd_mask> must be comparable against bool."); |
| static_assert( |
| vir::test::sfinae_is_callable<typename M::reference&&, bool>( |
| [](auto&& a, auto&& b) -> decltype(std::declval<decltype(a)>() |
| == std::declval<decltype(b)>()) { |
| return {}; |
| }), |
| "A smart_reference<simd_mask> must be comparable against bool."); |
| VERIFY(std::experimental::is_simd_mask_v<M>); |
| |
| { |
| M x; // uninitialized |
| x = M{}; // default broadcasts 0 |
| COMPARE(x, M(false)); |
| COMPARE(x, M()); |
| COMPARE(x, M{}); |
| x = M(); // default broadcasts 0 |
| COMPARE(x, M(false)); |
| COMPARE(x, M()); |
| COMPARE(x, M{}); |
| x = x; |
| for (std::size_t i = 0; i < M::size(); ++i) |
| { |
| COMPARE(x[i], false); |
| } |
| } |
| |
| M x(true); |
| M y(false); |
| for (std::size_t i = 0; i < M::size(); ++i) |
| { |
| COMPARE(x[i], true); |
| COMPARE(y[i], false); |
| } |
| y = M(true); |
| COMPARE(x, y); |
| } |