82 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++1410// XFAIL: target=powerpc{{.*}}le-unknown-linux-gnu11 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 else62 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