xref: /llvm-project/libcxx/test/std/experimental/simd/simd.class/simd_ctor_conversion.pass.cpp (revision 5c663aa9ae4656c46d09914994859118759b426b)
1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // UNSUPPORTED: c++03, c++11, c++14
10 // XFAIL: target=powerpc{{.*}}le-unknown-linux-gnu
11 
12 // <experimental/simd>
13 //
14 // [simd.class]
15 // template<class U> simd(const simd<U, simd_abi::fixed_size<size()>>&) noexcept;
16 
17 #include "../test_utils.h"
18 #include <experimental/simd>
19 
20 namespace ex = std::experimental::parallelism_v2;
21 
22 template <class T, class SimdAbi, std::size_t array_size>
23 struct ConversionHelper {
24   const std::array<T, array_size>& expected_value;
25 
ConversionHelperConversionHelper26   ConversionHelper(const std::array<T, array_size>& value) : expected_value(value) {}
27 
28   template <class U>
operator ()ConversionHelper29   void operator()() const {
30     if constexpr (!std::is_same_v<U, T> && std::is_same_v<SimdAbi, ex::simd_abi::fixed_size<array_size>> &&
31                   is_non_narrowing_convertible_v<U, T>) {
32       static_assert(noexcept(ex::simd<T, SimdAbi>(ex::simd<U, SimdAbi>{})));
33       ex::simd<U, SimdAbi> origin_simd([](U i) { return i; });
34       ex::simd<T, SimdAbi> simd_from_implicit_conversion(origin_simd);
35       assert_simd_values_equal<array_size>(simd_from_implicit_conversion, expected_value);
36     }
37   }
38 };
39 
40 template <class T, std::size_t>
41 struct CheckConversionSimdCtor {
42   template <class SimdAbi>
operator ()CheckConversionSimdCtor43   void operator()() {
44     constexpr std::size_t array_size = ex::simd_size_v<T, SimdAbi>;
45     std::array<T, array_size> expected_value;
46     for (size_t i = 0; i < array_size; ++i)
47       expected_value[i] = static_cast<T>(i);
48 
49     types::for_each(simd_test_types(), ConversionHelper<T, SimdAbi, array_size>(expected_value));
50   }
51 };
52 
53 template <class T, class SimdAbi, std::size_t array_size>
54 struct CheckConversionSimdCtorTraitsHelper {
55   template <class U>
operator ()CheckConversionSimdCtorTraitsHelper56   void operator()() {
57     if constexpr (!std::is_same_v<U, T>) {
58       if constexpr (std::is_same_v<SimdAbi, ex::simd_abi::fixed_size<array_size>> &&
59                     is_non_narrowing_convertible_v<U, T>)
60         static_assert(std::is_convertible_v<ex::simd<U, SimdAbi>, ex::simd<T, SimdAbi>>);
61       else
62         static_assert(!std::is_convertible_v<ex::simd<U, SimdAbi>, ex::simd<T, SimdAbi>>);
63     }
64   }
65 };
66 
67 template <class T, std::size_t>
68 struct CheckConversionSimdCtorTraits {
69   template <class SimdAbi>
operator ()CheckConversionSimdCtorTraits70   void operator()() {
71     constexpr std::size_t array_size = ex::simd_size_v<T, SimdAbi>;
72 
73     types::for_each(simd_test_types(), CheckConversionSimdCtorTraitsHelper<T, SimdAbi, array_size>());
74   }
75 };
76 
main(int,char **)77 int main(int, char**) {
78   test_all_simd_abi<CheckConversionSimdCtor>();
79   test_all_simd_abi<CheckConversionSimdCtorTraits>();
80   return 0;
81 }
82