| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354 |
- // Generic simd conversions -*- C++ -*-
- // 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.
- // Under Section 7 of GPL version 3, you are granted additional
- // permissions described in the GCC Runtime Library Exception, version
- // 3.1, as published by the Free Software Foundation.
- // You should have received a copy of the GNU General Public License and
- // a copy of the GCC Runtime Library Exception along with this program;
- // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- // <http://www.gnu.org/licenses/>.
- #ifndef _GLIBCXX_EXPERIMENTAL_SIMD_CONVERTER_H_
- #define _GLIBCXX_EXPERIMENTAL_SIMD_CONVERTER_H_
- #if __cplusplus >= 201703L
- _GLIBCXX_SIMD_BEGIN_NAMESPACE
- // _SimdConverter scalar -> scalar {{{
- template <typename _From, typename _To>
- struct _SimdConverter<_From, simd_abi::scalar, _To, simd_abi::scalar,
- enable_if_t<!is_same_v<_From, _To>>>
- {
- _GLIBCXX_SIMD_INTRINSIC constexpr _To operator()(_From __a) const noexcept
- { return static_cast<_To>(__a); }
- };
- // }}}
- // _SimdConverter scalar -> "native" {{{
- template <typename _From, typename _To, typename _Abi>
- struct _SimdConverter<_From, simd_abi::scalar, _To, _Abi,
- enable_if_t<!is_same_v<_Abi, simd_abi::scalar>>>
- {
- using _Ret = typename _Abi::template __traits<_To>::_SimdMember;
- template <typename... _More>
- _GLIBCXX_SIMD_INTRINSIC constexpr _Ret
- operator()(_From __a, _More... __more) const noexcept
- {
- static_assert(sizeof...(_More) + 1 == _Abi::template _S_size<_To>);
- static_assert(conjunction_v<is_same<_From, _More>...>);
- return __make_vector<_To>(__a, __more...);
- }
- };
- // }}}
- // _SimdConverter "native 1" -> "native 2" {{{
- template <typename _From, typename _To, typename _AFrom, typename _ATo>
- struct _SimdConverter<
- _From, _AFrom, _To, _ATo,
- enable_if_t<!disjunction_v<
- __is_fixed_size_abi<_AFrom>, __is_fixed_size_abi<_ATo>,
- is_same<_AFrom, simd_abi::scalar>, is_same<_ATo, simd_abi::scalar>,
- conjunction<is_same<_From, _To>, is_same<_AFrom, _ATo>>>>>
- {
- using _Arg = typename _AFrom::template __traits<_From>::_SimdMember;
- using _Ret = typename _ATo::template __traits<_To>::_SimdMember;
- using _V = __vector_type_t<_To, simd_size_v<_To, _ATo>>;
- template <typename... _More>
- _GLIBCXX_SIMD_INTRINSIC constexpr _Ret
- operator()(_Arg __a, _More... __more) const noexcept
- { return __vector_convert<_V>(__a, __more...); }
- };
- // }}}
- // _SimdConverter scalar -> fixed_size<1> {{{1
- template <typename _From, typename _To>
- struct _SimdConverter<_From, simd_abi::scalar, _To, simd_abi::fixed_size<1>,
- void>
- {
- _GLIBCXX_SIMD_INTRINSIC constexpr _SimdTuple<_To, simd_abi::scalar>
- operator()(_From __x) const noexcept
- { return {static_cast<_To>(__x)}; }
- };
- // _SimdConverter fixed_size<1> -> scalar {{{1
- template <typename _From, typename _To>
- struct _SimdConverter<_From, simd_abi::fixed_size<1>, _To, simd_abi::scalar,
- void>
- {
- _GLIBCXX_SIMD_INTRINSIC constexpr _To
- operator()(_SimdTuple<_From, simd_abi::scalar> __x) const noexcept
- { return {static_cast<_To>(__x.first)}; }
- };
- // _SimdConverter fixed_size<_Np> -> fixed_size<_Np> {{{1
- template <typename _From, typename _To, int _Np>
- struct _SimdConverter<_From, simd_abi::fixed_size<_Np>, _To,
- simd_abi::fixed_size<_Np>,
- enable_if_t<!is_same_v<_From, _To>>>
- {
- using _Ret = __fixed_size_storage_t<_To, _Np>;
- using _Arg = __fixed_size_storage_t<_From, _Np>;
- _GLIBCXX_SIMD_INTRINSIC constexpr _Ret
- operator()(const _Arg& __x) const noexcept
- {
- if constexpr (is_same_v<_From, _To>)
- return __x;
- // special case (optimize) int signedness casts
- else if constexpr (sizeof(_From) == sizeof(_To)
- && is_integral_v<_From> && is_integral_v<_To>)
- return __bit_cast<_Ret>(__x);
- // special case if all ABI tags in _Ret are scalar
- else if constexpr (__is_scalar_abi<typename _Ret::_FirstAbi>())
- {
- return __call_with_subscripts(
- __x, make_index_sequence<_Np>(),
- [](auto... __values) constexpr->_Ret {
- return __make_simd_tuple<_To, decltype((void) __values,
- simd_abi::scalar())...>(
- static_cast<_To>(__values)...);
- });
- }
- // from one vector to one vector
- else if constexpr (_Arg::_S_first_size == _Ret::_S_first_size)
- {
- _SimdConverter<_From, typename _Arg::_FirstAbi, _To,
- typename _Ret::_FirstAbi>
- __native_cvt;
- if constexpr (_Arg::_S_tuple_size == 1)
- return {__native_cvt(__x.first)};
- else
- {
- constexpr size_t _NRemain = _Np - _Arg::_S_first_size;
- _SimdConverter<_From, simd_abi::fixed_size<_NRemain>, _To,
- simd_abi::fixed_size<_NRemain>>
- __remainder_cvt;
- return {__native_cvt(__x.first), __remainder_cvt(__x.second)};
- }
- }
- // from one vector to multiple vectors
- else if constexpr (_Arg::_S_first_size > _Ret::_S_first_size)
- {
- const auto __multiple_return_chunks
- = __convert_all<__vector_type_t<_To, _Ret::_S_first_size>>(
- __x.first);
- constexpr auto __converted = __multiple_return_chunks.size()
- * _Ret::_FirstAbi::template _S_size<_To>;
- constexpr auto __remaining = _Np - __converted;
- if constexpr (_Arg::_S_tuple_size == 1 && __remaining == 0)
- return __to_simd_tuple<_To, _Np>(__multiple_return_chunks);
- else if constexpr (_Arg::_S_tuple_size == 1)
- { // e.g. <int, 3> -> <double, 2, 1> or <short, 7> -> <double, 4, 2,
- // 1>
- using _RetRem
- = __remove_cvref_t<decltype(__simd_tuple_pop_front<__converted>(
- _Ret()))>;
- const auto __return_chunks2
- = __convert_all<__vector_type_t<_To, _RetRem::_S_first_size>, 0,
- __converted>(__x.first);
- constexpr auto __converted2
- = __converted
- + __return_chunks2.size() * _RetRem::_S_first_size;
- if constexpr (__converted2 == _Np)
- return __to_simd_tuple<_To, _Np>(__multiple_return_chunks,
- __return_chunks2);
- else
- {
- using _RetRem2 = __remove_cvref_t<
- decltype(__simd_tuple_pop_front<__return_chunks2.size()
- * _RetRem::_S_first_size>(
- _RetRem()))>;
- const auto __return_chunks3 = __convert_all<
- __vector_type_t<_To, _RetRem2::_S_first_size>, 0,
- __converted2>(__x.first);
- constexpr auto __converted3
- = __converted2
- + __return_chunks3.size() * _RetRem2::_S_first_size;
- if constexpr (__converted3 == _Np)
- return __to_simd_tuple<_To, _Np>(__multiple_return_chunks,
- __return_chunks2,
- __return_chunks3);
- else
- {
- using _RetRem3
- = __remove_cvref_t<decltype(__simd_tuple_pop_front<
- __return_chunks3.size()
- * _RetRem2::_S_first_size>(
- _RetRem2()))>;
- const auto __return_chunks4 = __convert_all<
- __vector_type_t<_To, _RetRem3::_S_first_size>, 0,
- __converted3>(__x.first);
- constexpr auto __converted4
- = __converted3
- + __return_chunks4.size() * _RetRem3::_S_first_size;
- if constexpr (__converted4 == _Np)
- return __to_simd_tuple<_To, _Np>(
- __multiple_return_chunks, __return_chunks2,
- __return_chunks3, __return_chunks4);
- else
- __assert_unreachable<_To>();
- }
- }
- }
- else
- {
- constexpr size_t _NRemain = _Np - _Arg::_S_first_size;
- _SimdConverter<_From, simd_abi::fixed_size<_NRemain>, _To,
- simd_abi::fixed_size<_NRemain>>
- __remainder_cvt;
- return __simd_tuple_concat(
- __to_simd_tuple<_To, _Arg::_S_first_size>(
- __multiple_return_chunks),
- __remainder_cvt(__x.second));
- }
- }
- // from multiple vectors to one vector
- // _Arg::_S_first_size < _Ret::_S_first_size
- // a) heterogeneous input at the end of the tuple (possible with partial
- // native registers in _Ret)
- else if constexpr (_Ret::_S_tuple_size == 1
- && _Np % _Arg::_S_first_size != 0)
- {
- static_assert(_Ret::_FirstAbi::template _S_is_partial<_To>);
- return _Ret{__generate_from_n_evaluations<
- _Np, typename _VectorTraits<typename _Ret::_FirstType>::type>(
- [&](auto __i) { return static_cast<_To>(__x[__i]); })};
- }
- else
- {
- static_assert(_Arg::_S_tuple_size > 1);
- constexpr auto __n
- = __div_roundup(_Ret::_S_first_size, _Arg::_S_first_size);
- return __call_with_n_evaluations<__n>(
- [&__x](auto... __uncvted) {
- // assuming _Arg Abi tags for all __i are _Arg::_FirstAbi
- _SimdConverter<_From, typename _Arg::_FirstAbi, _To,
- typename _Ret::_FirstAbi>
- __native_cvt;
- if constexpr (_Ret::_S_tuple_size == 1)
- return _Ret{__native_cvt(__uncvted...)};
- else
- return _Ret{
- __native_cvt(__uncvted...),
- _SimdConverter<
- _From, simd_abi::fixed_size<_Np - _Ret::_S_first_size>, _To,
- simd_abi::fixed_size<_Np - _Ret::_S_first_size>>()(
- __simd_tuple_pop_front<_Ret::_S_first_size>(__x))};
- },
- [&__x](auto __i) { return __get_tuple_at<__i>(__x); });
- }
- }
- };
- // _SimdConverter "native" -> fixed_size<_Np> {{{1
- // i.e. 1 register to ? registers
- template <typename _From, typename _Ap, typename _To, int _Np>
- struct _SimdConverter<_From, _Ap, _To, simd_abi::fixed_size<_Np>,
- enable_if_t<!__is_fixed_size_abi_v<_Ap>>>
- {
- static_assert(
- _Np == simd_size_v<_From, _Ap>,
- "_SimdConverter to fixed_size only works for equal element counts");
- using _Ret = __fixed_size_storage_t<_To, _Np>;
- _GLIBCXX_SIMD_INTRINSIC constexpr _Ret
- operator()(typename _SimdTraits<_From, _Ap>::_SimdMember __x) const noexcept
- {
- if constexpr (_Ret::_S_tuple_size == 1)
- return {__vector_convert<typename _Ret::_FirstType::_BuiltinType>(__x)};
- else
- {
- using _FixedNp = simd_abi::fixed_size<_Np>;
- _SimdConverter<_From, _FixedNp, _To, _FixedNp> __fixed_cvt;
- using _FromFixedStorage = __fixed_size_storage_t<_From, _Np>;
- if constexpr (_FromFixedStorage::_S_tuple_size == 1)
- return __fixed_cvt(_FromFixedStorage{__x});
- else if constexpr (_FromFixedStorage::_S_tuple_size == 2)
- {
- _FromFixedStorage __tmp;
- static_assert(sizeof(__tmp) <= sizeof(__x));
- __builtin_memcpy(&__tmp.first, &__x, sizeof(__tmp.first));
- __builtin_memcpy(&__tmp.second.first,
- reinterpret_cast<const char*>(&__x)
- + sizeof(__tmp.first),
- sizeof(__tmp.second.first));
- return __fixed_cvt(__tmp);
- }
- else
- __assert_unreachable<_From>();
- }
- }
- };
- // _SimdConverter fixed_size<_Np> -> "native" {{{1
- // i.e. ? register to 1 registers
- template <typename _From, int _Np, typename _To, typename _Ap>
- struct _SimdConverter<_From, simd_abi::fixed_size<_Np>, _To, _Ap,
- enable_if_t<!__is_fixed_size_abi_v<_Ap>>>
- {
- static_assert(
- _Np == simd_size_v<_To, _Ap>,
- "_SimdConverter to fixed_size only works for equal element counts");
- using _Arg = __fixed_size_storage_t<_From, _Np>;
- _GLIBCXX_SIMD_INTRINSIC constexpr
- typename _SimdTraits<_To, _Ap>::_SimdMember
- operator()(_Arg __x) const noexcept
- {
- if constexpr (_Arg::_S_tuple_size == 1)
- return __vector_convert<__vector_type_t<_To, _Np>>(__x.first);
- else if constexpr (_Arg::_S_is_homogeneous)
- return __call_with_n_evaluations<_Arg::_S_tuple_size>(
- [](auto... __members) {
- if constexpr ((is_convertible_v<decltype(__members), _To> && ...))
- return __vector_type_t<_To, _Np>{static_cast<_To>(__members)...};
- else
- return __vector_convert<__vector_type_t<_To, _Np>>(__members...);
- },
- [&](auto __i) { return __get_tuple_at<__i>(__x); });
- else if constexpr (__fixed_size_storage_t<_To, _Np>::_S_tuple_size == 1)
- {
- _SimdConverter<_From, simd_abi::fixed_size<_Np>, _To,
- simd_abi::fixed_size<_Np>>
- __fixed_cvt;
- return __fixed_cvt(__x).first;
- }
- else
- {
- const _SimdWrapper<_From, _Np> __xv
- = __generate_from_n_evaluations<_Np, __vector_type_t<_From, _Np>>(
- [&](auto __i) { return __x[__i]; });
- return __vector_convert<__vector_type_t<_To, _Np>>(__xv);
- }
- }
- };
- // }}}1
- _GLIBCXX_SIMD_END_NAMESPACE
- #endif // __cplusplus >= 201703L
- #endif // _GLIBCXX_EXPERIMENTAL_SIMD_CONVERTER_H_
- // vim: foldmethod=marker sw=2 noet ts=8 sts=2 tw=80
|