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
20namespace ex = std::experimental::parallelism_v2;
21
22template <class T, class SimdAbi, std::size_t array_size>
23struct ConversionHelper {
24 const std::array<T, array_size>& expected_value;
25
26 ConversionHelper(const std::array<T, array_size>& value) : expected_value(value) {}
27
28 template <class U>
29 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
40template <class T, std::size_t>
41struct CheckConversionSimdCtor {
42 template <class SimdAbi>
43 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
53template <class T, class SimdAbi, std::size_t array_size>
54struct CheckConversionSimdCtorTraitsHelper {
55 template <class U>
56 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
67template <class T, std::size_t>
68struct CheckConversionSimdCtorTraits {
69 template <class SimdAbi>
70 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
77int main(int, char**) {
78 test_all_simd_abi<CheckConversionSimdCtor>();
79 test_all_simd_abi<CheckConversionSimdCtorTraits>();
80 return 0;
81}
82

source code of libcxx/test/std/experimental/simd/simd.class/simd_ctor_conversion.pass.cpp