25#ifndef _GLIBCXX_EXPERIMENTAL_SIMD_H
26#define _GLIBCXX_EXPERIMENTAL_SIMD_H
28#if __cplusplus >= 201703L
30#include "simd_detail.h"
34#ifdef _GLIBCXX_DEBUG_UB
43#if _GLIBCXX_SIMD_X86INTRIN
45#elif _GLIBCXX_SIMD_HAVE_NEON
72_GLIBCXX_SIMD_BEGIN_NAMESPACE
74#if !_GLIBCXX_SIMD_X86INTRIN
75using __m128 [[__gnu__::__vector_size__(16)]] = float;
76using __m128d [[__gnu__::__vector_size__(16)]] = double;
77using __m128i [[__gnu__::__vector_size__(16)]] =
long long;
78using __m256 [[__gnu__::__vector_size__(32)]] = float;
79using __m256d [[__gnu__::__vector_size__(32)]] = double;
80using __m256i [[__gnu__::__vector_size__(32)]] =
long long;
81using __m512 [[__gnu__::__vector_size__(64)]] = float;
82using __m512d [[__gnu__::__vector_size__(64)]] = double;
83using __m512i [[__gnu__::__vector_size__(64)]] =
long long;
105template <
int _UsedBytes>
108template <
int _UsedBytes>
109 struct _VecBltnBtmsk;
111template <
typename _Tp,
int _Np>
112 using _VecN = _VecBuiltin<
sizeof(_Tp) * _Np>;
114template <
int _UsedBytes = 16>
115 using _Sse = _VecBuiltin<_UsedBytes>;
117template <
int _UsedBytes = 32>
118 using _Avx = _VecBuiltin<_UsedBytes>;
120template <
int _UsedBytes = 64>
121 using _Avx512 = _VecBltnBtmsk<_UsedBytes>;
123template <
int _UsedBytes = 16>
124 using _Neon = _VecBuiltin<_UsedBytes>;
129using __avx512 = _Avx512<>;
130using __neon = _Neon<>;
131using __neon128 = _Neon<16>;
132using __neon64 = _Neon<8>;
135template <
typename _Tp,
size_t _Np,
typename...>
139 using fixed_size = _Fixed<_Np>;
141using scalar = _Scalar;
146template <
typename _Tp>
149template <
typename _Tp>
152template <
typename _Tp,
typename _Abi>
155template <
typename _Tp,
typename _Abi>
158template <
typename _Tp,
typename _Abi>
163struct element_aligned_tag
165 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
166 static constexpr size_t _S_alignment =
alignof(_Up);
168 template <
typename _Tp,
typename _Up>
169 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
174struct vector_aligned_tag
176 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
177 static constexpr size_t _S_alignment
178 = std::__bit_ceil(
sizeof(_Up) * _Tp::size());
180 template <
typename _Tp,
typename _Up>
181 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
183 {
return static_cast<_Up*
>(__builtin_assume_aligned(__ptr, _S_alignment<_Tp, _Up>)); }
186template <
size_t _Np>
struct overaligned_tag
188 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
189 static constexpr size_t _S_alignment = _Np;
191 template <
typename _Tp,
typename _Up>
192 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
194 {
return static_cast<_Up*
>(__builtin_assume_aligned(__ptr, _Np)); }
197inline constexpr element_aligned_tag element_aligned = {};
199inline constexpr vector_aligned_tag vector_aligned = {};
202 inline constexpr overaligned_tag<_Np> overaligned = {};
206 using _SizeConstant = integral_constant<size_t, _Xp>;
208constexpr inline bool __have_mmx = _GLIBCXX_SIMD_HAVE_MMX;
209constexpr inline bool __have_sse = _GLIBCXX_SIMD_HAVE_SSE;
210constexpr inline bool __have_sse2 = _GLIBCXX_SIMD_HAVE_SSE2;
211constexpr inline bool __have_sse3 = _GLIBCXX_SIMD_HAVE_SSE3;
212constexpr inline bool __have_ssse3 = _GLIBCXX_SIMD_HAVE_SSSE3;
213constexpr inline bool __have_sse4_1 = _GLIBCXX_SIMD_HAVE_SSE4_1;
214constexpr inline bool __have_sse4_2 = _GLIBCXX_SIMD_HAVE_SSE4_2;
215constexpr inline bool __have_xop = _GLIBCXX_SIMD_HAVE_XOP;
216constexpr inline bool __have_avx = _GLIBCXX_SIMD_HAVE_AVX;
217constexpr inline bool __have_avx2 = _GLIBCXX_SIMD_HAVE_AVX2;
218constexpr inline bool __have_bmi = _GLIBCXX_SIMD_HAVE_BMI1;
219constexpr inline bool __have_bmi2 = _GLIBCXX_SIMD_HAVE_BMI2;
220constexpr inline bool __have_lzcnt = _GLIBCXX_SIMD_HAVE_LZCNT;
221constexpr inline bool __have_sse4a = _GLIBCXX_SIMD_HAVE_SSE4A;
222constexpr inline bool __have_fma = _GLIBCXX_SIMD_HAVE_FMA;
223constexpr inline bool __have_fma4 = _GLIBCXX_SIMD_HAVE_FMA4;
224constexpr inline bool __have_f16c = _GLIBCXX_SIMD_HAVE_F16C;
225constexpr inline bool __have_popcnt = _GLIBCXX_SIMD_HAVE_POPCNT;
226constexpr inline bool __have_avx512f = _GLIBCXX_SIMD_HAVE_AVX512F;
227constexpr inline bool __have_avx512dq = _GLIBCXX_SIMD_HAVE_AVX512DQ;
228constexpr inline bool __have_avx512vl = _GLIBCXX_SIMD_HAVE_AVX512VL;
229constexpr inline bool __have_avx512bw = _GLIBCXX_SIMD_HAVE_AVX512BW;
230constexpr inline bool __have_avx512dq_vl = __have_avx512dq && __have_avx512vl;
231constexpr inline bool __have_avx512bw_vl = __have_avx512bw && __have_avx512vl;
232constexpr inline bool __have_avx512bitalg = _GLIBCXX_SIMD_HAVE_AVX512BITALG;
233constexpr inline bool __have_avx512vbmi2 = _GLIBCXX_SIMD_HAVE_AVX512VBMI2;
234constexpr inline bool __have_avx512vbmi = _GLIBCXX_SIMD_HAVE_AVX512VBMI;
235constexpr inline bool __have_avx512ifma = _GLIBCXX_SIMD_HAVE_AVX512IFMA;
236constexpr inline bool __have_avx512cd = _GLIBCXX_SIMD_HAVE_AVX512CD;
237constexpr inline bool __have_avx512vnni = _GLIBCXX_SIMD_HAVE_AVX512VNNI;
238constexpr inline bool __have_avx512vpopcntdq = _GLIBCXX_SIMD_HAVE_AVX512VPOPCNTDQ;
239constexpr inline bool __have_avx512vp2intersect = _GLIBCXX_SIMD_HAVE_AVX512VP2INTERSECT;
241constexpr inline bool __have_neon = _GLIBCXX_SIMD_HAVE_NEON;
242constexpr inline bool __have_neon_a32 = _GLIBCXX_SIMD_HAVE_NEON_A32;
243constexpr inline bool __have_neon_a64 = _GLIBCXX_SIMD_HAVE_NEON_A64;
244constexpr inline bool __support_neon_float =
245#if defined __GCC_IEC_559
247#elif defined __FAST_MATH__
254constexpr inline bool __have_power10vec =
true;
256constexpr inline bool __have_power10vec =
false;
258#ifdef __POWER9_VECTOR__
259constexpr inline bool __have_power9vec =
true;
261constexpr inline bool __have_power9vec =
false;
263#if defined __POWER8_VECTOR__
264constexpr inline bool __have_power8vec =
true;
266constexpr inline bool __have_power8vec = __have_power9vec;
269constexpr inline bool __have_power_vsx =
true;
271constexpr inline bool __have_power_vsx = __have_power8vec;
273#if defined __ALTIVEC__
274constexpr inline bool __have_power_vmx =
true;
276constexpr inline bool __have_power_vmx = __have_power_vsx;
283#ifdef math_errhandling
287 template <
int = math_errhandling>
289 __handle_fpexcept_impl(
int)
290 {
return math_errhandling & MATH_ERREXCEPT; }
296 __handle_fpexcept_impl(
float)
298#if defined __FAST_MATH__
306 static constexpr bool _S_handle_fpexcept = __handle_fpexcept_impl(0);
308 constexpr std::uint_least64_t
309 __floating_point_flags()
311 std::uint_least64_t __flags = 0;
312 if constexpr (_S_handle_fpexcept)
316#elif __FINITE_MATH_ONLY__
318#elif __GCC_IEC_559 < 2
321 __flags |= (__FLT_EVAL_METHOD__ + 1) << 3;
325 constexpr std::uint_least64_t
328 if constexpr (__have_mmx || __have_sse)
333 | (__have_ssse3 << 4)
334 | (__have_sse4_1 << 5)
335 | (__have_sse4_2 << 6)
340 | (__have_bmi2 << 11)
341 | (__have_lzcnt << 12)
342 | (__have_sse4a << 13)
344 | (__have_fma4 << 15)
345 | (__have_f16c << 16)
346 | (__have_popcnt << 17)
347 | (__have_avx512f << 18)
348 | (__have_avx512dq << 19)
349 | (__have_avx512vl << 20)
350 | (__have_avx512bw << 21)
351 | (__have_avx512bitalg << 22)
352 | (__have_avx512vbmi2 << 23)
353 | (__have_avx512vbmi << 24)
354 | (__have_avx512ifma << 25)
355 | (__have_avx512cd << 26)
356 | (__have_avx512vnni << 27)
357 | (__have_avx512vpopcntdq << 28)
358 | (__have_avx512vp2intersect << 29);
359 else if constexpr (__have_neon)
361 | (__have_neon_a32 << 1)
362 | (__have_neon_a64 << 2)
363 | (__have_neon_a64 << 2)
364 | (__support_neon_float << 3);
365 else if constexpr (__have_power_vmx)
366 return __have_power_vmx
367 | (__have_power_vsx << 1)
368 | (__have_power8vec << 2)
369 | (__have_power9vec << 3)
370 | (__have_power10vec << 4);
377 struct _OdrEnforcer {};
380 template <std::uint_least64_t...>
381 struct _MachineFlagsTemplate {};
394 _MachineFlagsTemplate<__machine_flags(), __floating_point_flags()>>;
398 template <
typename _Tp>
399 _GLIBCXX_SIMD_INTRINSIC
constexpr
401 operator()(_Tp __a, _Tp __b)
const
404 return min(__a, __b);
410 template <
typename _Tp>
411 _GLIBCXX_SIMD_INTRINSIC
constexpr
413 operator()(_Tp __a, _Tp __b)
const
416 return max(__a, __b);
423template <
typename _Fp,
size_t... _I>
424 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
426 __execute_on_index_sequence(_Fp&& __f, index_sequence<_I...>)
427 { ((void)__f(_SizeConstant<_I>()), ...); }
429template <
typename _Fp>
430 _GLIBCXX_SIMD_INTRINSIC
constexpr void
431 __execute_on_index_sequence(_Fp&&, index_sequence<>)
434template <
size_t _Np,
typename _Fp>
435 _GLIBCXX_SIMD_INTRINSIC
constexpr void
436 __execute_n_times(_Fp&& __f)
438 __execute_on_index_sequence(
static_cast<_Fp&&
>(__f),
439 make_index_sequence<_Np>{});
444template <
typename _R,
typename _Fp,
size_t... _I>
445 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
447 __execute_on_index_sequence_with_return(_Fp&& __f, index_sequence<_I...>)
448 {
return _R{__f(_SizeConstant<_I>())...}; }
450template <
size_t _Np,
typename _R,
typename _Fp>
451 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
452 __generate_from_n_evaluations(_Fp&& __f)
454 return __execute_on_index_sequence_with_return<_R>(
455 static_cast<_Fp&&
>(__f), make_index_sequence<_Np>{});
460template <
size_t... _I,
typename _F0,
typename _FArgs>
461 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
463 __call_with_n_evaluations(index_sequence<_I...>, _F0&& __f0, _FArgs&& __fargs)
464 {
return __f0(__fargs(_SizeConstant<_I>())...); }
466template <
size_t _Np,
typename _F0,
typename _FArgs>
467 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
468 __call_with_n_evaluations(_F0&& __f0, _FArgs&& __fargs)
470 return __call_with_n_evaluations(make_index_sequence<_Np>{},
471 static_cast<_F0&&
>(__f0),
472 static_cast<_FArgs&&
>(__fargs));
477template <
size_t _First = 0,
size_t... _It,
typename _Tp,
typename _Fp>
478 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
480 __call_with_subscripts(_Tp&& __x, index_sequence<_It...>, _Fp&& __fun)
481 {
return __fun(__x[_First + _It]...); }
483template <
size_t _Np,
size_t _First = 0,
typename _Tp,
typename _Fp>
484 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
485 __call_with_subscripts(_Tp&& __x, _Fp&& __fun)
487 return __call_with_subscripts<_First>(
static_cast<_Tp&&
>(__x),
488 make_index_sequence<_Np>(),
489 static_cast<_Fp&&
>(__fun));
496using _UChar =
unsigned char;
497using _SChar =
signed char;
498using _UShort =
unsigned short;
499using _UInt =
unsigned int;
500using _ULong =
unsigned long;
501using _ULLong =
unsigned long long;
502using _LLong =
long long;
506template <
typename _T0,
typename...>
507 struct __first_of_pack
508 {
using type = _T0; };
510template <
typename... _Ts>
511 using __first_of_pack_t =
typename __first_of_pack<_Ts...>::type;
515template <
typename _Tp>
516 typename _Tp::value_type
517 __value_type_or_identity_impl(
int);
519template <
typename _Tp>
521 __value_type_or_identity_impl(
float);
523template <
typename _Tp>
524 using __value_type_or_identity_t
525 =
decltype(__value_type_or_identity_impl<_Tp>(
int()));
529template <
typename _Tp>
530 struct __is_vectorizable :
public is_arithmetic<_Tp> {};
533 struct __is_vectorizable<bool> :
public false_type {};
535template <
typename _Tp>
536 inline constexpr bool __is_vectorizable_v = __is_vectorizable<_Tp>::value;
539template <
typename _Tp,
typename = enable_if_t<__is_vectorizable_v<_Tp>>>
540 using _Vectorizable = _Tp;
544template <
typename _Ptr,
typename _ValueType>
545 struct __is_possible_loadstore_conversion
546 : conjunction<__is_vectorizable<_Ptr>, __is_vectorizable<_ValueType>> {};
549 struct __is_possible_loadstore_conversion<bool, bool> :
true_type {};
552template <
typename _Ptr,
typename _ValueType,
554 __is_possible_loadstore_conversion<_Ptr, _ValueType>::value>>
555 using _LoadStorePtr = _Ptr;
559template <
typename _Tp,
typename =
void_t<>>
562template <
typename _Tp>
563 inline constexpr bool __is_bitmask_v = __is_bitmask<_Tp>::value;
566template <
typename _Tp>
567 struct __is_bitmask<_Tp,
568 void_t<decltype(
declval<unsigned&>() = declval<_Tp>() & 1u)>>
573#pragma GCC diagnostic push
574#pragma GCC diagnostic ignored "-Wpedantic"
575template <
size_t _Bytes>
579 if constexpr (_Bytes ==
sizeof(int))
582 else if constexpr (_Bytes ==
sizeof(char))
585 else if constexpr (_Bytes ==
sizeof(_SChar))
588 else if constexpr (_Bytes ==
sizeof(short))
591 else if constexpr (_Bytes ==
sizeof(long))
594 else if constexpr (_Bytes ==
sizeof(_LLong))
596 #ifdef __SIZEOF_INT128__
597 else if constexpr (_Bytes ==
sizeof(__int128))
600 else if constexpr (_Bytes %
sizeof(int) == 0)
602 constexpr size_t _Np = _Bytes /
sizeof(int);
607 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
610 return __generate_from_n_evaluations<_Np, _Ip>(
611 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
612 return __rhs._M_data[__i] & _M_data[__i];
616 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
619 return __generate_from_n_evaluations<_Np, _Ip>(
620 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
621 return __rhs._M_data[__i] | _M_data[__i];
625 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
628 return __generate_from_n_evaluations<_Np, _Ip>(
629 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
630 return __rhs._M_data[__i] ^ _M_data[__i];
634 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
637 return __generate_from_n_evaluations<_Np, _Ip>(
638 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return ~_M_data[__i]; });
644 static_assert(_Bytes != _Bytes,
"this should be unreachable");
646#pragma GCC diagnostic pop
648template <
typename _Tp>
649 using __int_for_sizeof_t =
decltype(__int_for_sizeof<sizeof(_Tp)>());
652 using __int_with_sizeof_t =
decltype(__int_for_sizeof<_Np>());
656template <
typename _Tp>
660 struct __is_fixed_size_abi<simd_abi::fixed_size<_Np>> :
true_type {};
662template <
typename _Tp>
663 inline constexpr bool __is_fixed_size_abi_v = __is_fixed_size_abi<_Tp>::value;
667template <
typename _Abi>
670 {
return is_same_v<simd_abi::scalar, _Abi>; }
674template <
template <
int>
class _Abi,
int _Bytes>
676 __abi_bytes_impl(_Abi<_Bytes>*)
679template <
typename _Tp>
681 __abi_bytes_impl(_Tp*)
684template <
typename _Abi>
685 inline constexpr int __abi_bytes_v
686 = __abi_bytes_impl(
static_cast<_Abi*
>(
nullptr));
690template <
typename _Abi>
692 __is_builtin_bitmask_abi()
693 {
return is_same_v<simd_abi::_VecBltnBtmsk<__abi_bytes_v<_Abi>>, _Abi>; }
697template <
typename _Abi>
701 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
702 return _Bytes <= 16 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
707template <
typename _Abi>
711 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
712 return _Bytes > 16 && _Bytes <= 32
713 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
718template <
typename _Abi>
722 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
723 return _Bytes <= 64 && is_same_v<simd_abi::_Avx512<_Bytes>, _Abi>;
728template <
typename _Abi>
732 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
733 return _Bytes <= 16 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
738template <
typename,
typename _Up>
739 struct __make_dependent
740 {
using type = _Up; };
742template <
typename _Tp,
typename _Up>
743 using __make_dependent_t =
typename __make_dependent<_Tp, _Up>::type;
749template <
typename... _Args>
750 [[noreturn]] _GLIBCXX_SIMD_ALWAYS_INLINE
void
751 __invoke_ub([[maybe_unused]]
const char* __msg, [[maybe_unused]]
const _Args&... __args)
753#ifdef _GLIBCXX_DEBUG_UB
754 __builtin_fprintf(stderr, __msg, __args...);
757 __builtin_unreachable();
763template <
typename _Tp>
764 struct __assert_unreachable
765 {
static_assert(!is_same_v<_Tp, _Tp>,
"this should be unreachable"); };
769template <typename _Tp, typename _Ap, size_t _Np = simd_size<_Tp, _Ap>::value>
771 __size_or_zero_dispatch(
int)
774template <
typename _Tp,
typename _Ap>
776 __size_or_zero_dispatch(
float)
779template <
typename _Tp,
typename _Ap>
780 inline constexpr size_t __size_or_zero_v
781 = __size_or_zero_dispatch<_Tp, _Ap>(0);
785inline constexpr size_t
786__div_roundup(
size_t __a,
size_t __b)
787{
return (__a + __b - 1) / __b; }
796 _GLIBCXX_SIMD_INTRINSIC
constexpr
797 _ExactBool(
bool __b) : _M_data(__b) {}
799 _ExactBool(
int) =
delete;
801 _GLIBCXX_SIMD_INTRINSIC
constexpr
802 operator bool()
const
813template <
typename _Tp>
814 using __may_alias [[__gnu__::__may_alias__]] = _Tp;
819struct _UnsupportedBase
821 _UnsupportedBase() =
delete;
822 _UnsupportedBase(
const _UnsupportedBase&) =
delete;
823 _UnsupportedBase& operator=(
const _UnsupportedBase&) =
delete;
824 ~_UnsupportedBase() =
delete;
840 using _SimdBase = _UnsupportedBase;
841 using _MaskBase = _UnsupportedBase;
843 static constexpr size_t _S_full_size = 0;
844 static constexpr bool _S_is_partial =
false;
846 static constexpr size_t _S_simd_align = 1;
848 struct _SimdMember {};
849 struct _SimdCastType;
851 static constexpr size_t _S_mask_align = 1;
853 struct _MaskMember {};
854 struct _MaskCastType;
859template <
typename _Tp,
typename _Abi,
typename =
void_t<>>
860 struct _SimdTraits : _InvalidTraits {};
868inline constexpr struct _PrivateInit {} __private_init = {};
870inline constexpr struct _BitsetInit {} __bitset_init = {};
874template <
typename _From,
typename _To,
bool = is_arithmetic_v<_From>,
875 bool = is_arithmetic_v<_To>>
876 struct __is_narrowing_conversion;
880template <
typename _From,
typename _To>
881 struct __is_narrowing_conversion<_From, _To, true, true>
882 :
public __bool_constant<(
883 __digits_v<_From> > __digits_v<_To>
884 || __finite_max_v<_From> > __finite_max_v<_To>
885 || __finite_min_v<_From> < __finite_min_v<_To>
886 || (is_signed_v<_From> && is_unsigned_v<_To>))> {};
888template <
typename _Tp>
889 struct __is_narrowing_conversion<_Tp, bool, true, true>
893 struct __is_narrowing_conversion<bool, bool, true, true>
896template <
typename _Tp>
897 struct __is_narrowing_conversion<_Tp, _Tp, true, true>
900template <
typename _From,
typename _To>
901 struct __is_narrowing_conversion<_From, _To, false, true>
902 :
public negation<is_convertible<_From, _To>> {};
906template <
typename _From,
typename _To,
bool = (sizeof(_From) < sizeof(_To))>
907 struct __converts_to_higher_
integer_rank : public true_type {};
910template <
typename _From,
typename _To>
911 struct __converts_to_higher_integer_rank<_From, _To, false>
912 :
public is_same<decltype(declval<_From>() + declval<_To>()), _To> {};
916template <
typename _Tp,
typename _Ap>
917 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
918 __data(
const simd<_Tp, _Ap>& __x);
920template <
typename _Tp,
typename _Ap>
921 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
922 __data(simd<_Tp, _Ap>& __x);
924template <
typename _Tp,
typename _Ap>
925 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
926 __data(
const simd_mask<_Tp, _Ap>& __x);
928template <
typename _Tp,
typename _Ap>
929 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
930 __data(simd_mask<_Tp, _Ap>& __x);
934template <
typename _FromT,
typename _FromA,
typename _ToT,
typename _ToA,
936 struct _SimdConverter;
938template <
typename _Tp,
typename _Ap>
939 struct _SimdConverter<_Tp, _Ap, _Tp, _Ap, void>
941 template <
typename _Up>
942 _GLIBCXX_SIMD_INTRINSIC
const _Up&
943 operator()(
const _Up& __x)
949template <
typename _V>
950 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
951 __to_value_type_or_member_type(
const _V& __x) ->
decltype(__data(__x))
952 {
return __data(__x); }
954template <
typename _V>
955 _GLIBCXX_SIMD_INTRINSIC
constexpr const typename _V::value_type&
956 __to_value_type_or_member_type(
const typename _V::value_type& __x)
961template <
size_t _Size>
962 struct __bool_storage_member_type;
964template <
size_t _Size>
965 using __bool_storage_member_type_t =
966 typename __bool_storage_member_type<_Size>::type;
976template <
typename _Tp,
typename... _Abis>
981template <
typename _Tp,
int _Np>
982 struct __fixed_size_storage;
984template <
typename _Tp,
int _Np>
985 using __fixed_size_storage_t =
typename __fixed_size_storage<_Tp, _Np>::type;
989template <
typename _Tp,
size_t _Size,
typename =
void_t<>>
992template <
typename _Tp>
993 using _SimdWrapper8 = _SimdWrapper<_Tp, 8 /
sizeof(_Tp)>;
994template <
typename _Tp>
995 using _SimdWrapper16 = _SimdWrapper<_Tp, 16 /
sizeof(_Tp)>;
996template <
typename _Tp>
997 using _SimdWrapper32 = _SimdWrapper<_Tp, 32 /
sizeof(_Tp)>;
998template <
typename _Tp>
999 using _SimdWrapper64 = _SimdWrapper<_Tp, 64 /
sizeof(_Tp)>;
1003template <
typename _Tp>
1006template <
typename _Tp,
size_t _Np>
1007 struct __is_simd_wrapper<_SimdWrapper<_Tp, _Np>> :
true_type {};
1009template <
typename _Tp>
1010 inline constexpr bool __is_simd_wrapper_v = __is_simd_wrapper<_Tp>::value;
1017 template <
typename _Tp,
typename _Fp>
1019 _S_bit_iteration(_Tp __mask, _Fp&& __f)
1021 static_assert(
sizeof(_ULLong) >=
sizeof(_Tp));
1022 conditional_t<
sizeof(_Tp) <=
sizeof(_UInt), _UInt, _ULLong> __k;
1023 if constexpr (is_convertible_v<_Tp,
decltype(__k)>)
1026 __k = __mask.to_ullong();
1029 __f(std::__countr_zero(__k));
1039template <
typename _Tp =
void>
1041 {
constexpr _Tp operator()(_Tp __a)
const {
return ++__a; } };
1044 struct __increment<void>
1046 template <
typename _Tp>
1048 operator()(_Tp __a)
const
1052template <
typename _Tp =
void>
1054 {
constexpr _Tp operator()(_Tp __a)
const {
return --__a; } };
1057 struct __decrement<void>
1059 template <
typename _Tp>
1061 operator()(_Tp __a)
const
1067template <
typename _From,
typename _To,
1069 __is_narrowing_conversion<__remove_cvref_t<_From>, _To>>::value>>
1070 using _ValuePreserving = _From;
1072template <
typename _From,
typename _To,
1073 typename _DecayedFrom = __remove_cvref_t<_From>,
1075 is_convertible<_From, _To>,
1077 is_same<_DecayedFrom, _To>, is_same<_DecayedFrom, int>,
1078 conjunction<is_same<_DecayedFrom, _UInt>, is_unsigned<_To>>,
1079 negation<__is_narrowing_conversion<_DecayedFrom, _To>>>>::value>>
1080 using _ValuePreservingOrInt = _From;
1084template <
typename _Tp,
size_t _Bytes,
typename =
void_t<>>
1085 struct __intrinsic_type;
1087template <
typename _Tp,
size_t _Size>
1088 using __intrinsic_type_t =
1089 typename __intrinsic_type<_Tp, _Size *
sizeof(_Tp)>::type;
1091template <
typename _Tp>
1092 using __intrinsic_type2_t =
typename __intrinsic_type<_Tp, 2>::type;
1093template <
typename _Tp>
1094 using __intrinsic_type4_t =
typename __intrinsic_type<_Tp, 4>::type;
1095template <
typename _Tp>
1096 using __intrinsic_type8_t =
typename __intrinsic_type<_Tp, 8>::type;
1097template <
typename _Tp>
1098 using __intrinsic_type16_t =
typename __intrinsic_type<_Tp, 16>::type;
1099template <
typename _Tp>
1100 using __intrinsic_type32_t =
typename __intrinsic_type<_Tp, 32>::type;
1101template <
typename _Tp>
1102 using __intrinsic_type64_t =
typename __intrinsic_type<_Tp, 64>::type;
1106template <
size_t _Np,
bool _Sanitized = false>
1109template <
size_t _Np,
bool _Sanitized>
1110 struct __is_bitmask<_BitMask<_Np, _Sanitized>, void> :
true_type {};
1112template <
size_t _Np>
1113 using _SanitizedBitMask = _BitMask<_Np, true>;
1115template <
size_t _Np,
bool _Sanitized>
1118 static_assert(_Np > 0);
1120 static constexpr size_t _NBytes = __div_roundup(_Np, __CHAR_BIT__);
1124 sizeof(_ULLong), std::__bit_ceil(_NBytes))>>>;
1126 static constexpr int _S_array_size = __div_roundup(_NBytes,
sizeof(_Tp));
1128 _Tp _M_bits[_S_array_size];
1130 static constexpr int _S_unused_bits
1131 = _Np == 1 ? 0 : _S_array_size *
sizeof(_Tp) * __CHAR_BIT__ - _Np;
1133 static constexpr _Tp _S_bitmask = +_Tp(~_Tp()) >> _S_unused_bits;
1135 constexpr _BitMask() noexcept = default;
1137 constexpr _BitMask(
unsigned long long __x) noexcept
1138 : _M_bits{
static_cast<_Tp
>(__x)} {}
1140 _BitMask(bitset<_Np> __x) noexcept : _BitMask(__x.to_ullong()) {}
1142 constexpr _BitMask(
const _BitMask&)
noexcept =
default;
1144 template <
bool _RhsSanitized,
typename =
enable_if_t<_RhsSanitized ==
false
1145 && _Sanitized ==
true>>
1146 constexpr _BitMask(
const _BitMask<_Np, _RhsSanitized>& __rhs) noexcept
1147 : _BitMask(__rhs._M_sanitized()) {}
1149 constexpr operator _SimdWrapper<bool, _Np>() const noexcept
1151 static_assert(_S_array_size == 1);
1157 _M_to_bits() const noexcept
1159 static_assert(_S_array_size == 1);
1164 constexpr unsigned long long
1165 to_ullong() const noexcept
1167 static_assert(_S_array_size == 1);
1172 constexpr unsigned long
1173 to_ulong() const noexcept
1175 static_assert(_S_array_size == 1);
1179 constexpr bitset<_Np>
1180 _M_to_bitset() const noexcept
1182 static_assert(_S_array_size == 1);
1186 constexpr decltype(
auto)
1187 _M_sanitized()
const noexcept
1189 if constexpr (_Sanitized)
1191 else if constexpr (_Np == 1)
1192 return _SanitizedBitMask<_Np>(_M_bits[0]);
1195 _SanitizedBitMask<_Np> __r = {};
1196 for (
int __i = 0; __i < _S_array_size; ++__i)
1197 __r._M_bits[__i] = _M_bits[__i];
1198 if constexpr (_S_unused_bits > 0)
1199 __r._M_bits[_S_array_size - 1] &= _S_bitmask;
1204 template <
size_t _Mp,
bool _LSanitized>
1205 constexpr _BitMask<_Np + _Mp, _Sanitized>
1206 _M_prepend(_BitMask<_Mp, _LSanitized> __lsb)
const noexcept
1208 constexpr size_t _RN = _Np + _Mp;
1209 using _Rp = _BitMask<_RN, _Sanitized>;
1210 if constexpr (_Rp::_S_array_size == 1)
1212 _Rp __r{{_M_bits[0]}};
1213 __r._M_bits[0] <<= _Mp;
1214 __r._M_bits[0] |= __lsb._M_sanitized()._M_bits[0];
1218 __assert_unreachable<_Rp>();
1224 template <
size_t _DropLsb,
size_t _NewSize = _Np - _DropLsb>
1226 _M_extract() const noexcept
1228 static_assert(_Np > _DropLsb);
1229 static_assert(_DropLsb + _NewSize <=
sizeof(_ULLong) * __CHAR_BIT__,
1230 "not implemented for bitmasks larger than one ullong");
1231 if constexpr (_NewSize == 1)
1233 return _SanitizedBitMask<1>(_M_bits[0] & (_Tp(1) << _DropLsb));
1235 return _BitMask<_NewSize,
1236 ((_NewSize + _DropLsb ==
sizeof(_Tp) * __CHAR_BIT__
1237 && _NewSize + _DropLsb <= _Np)
1238 || ((_Sanitized || _Np ==
sizeof(_Tp) * __CHAR_BIT__)
1239 && _NewSize + _DropLsb >= _Np))>(_M_bits[0]
1245 all() const noexcept
1247 if constexpr (_Np == 1)
1249 else if constexpr (!_Sanitized)
1250 return _M_sanitized().all();
1253 constexpr _Tp __allbits = ~_Tp();
1254 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1255 if (_M_bits[__i] != __allbits)
1257 return _M_bits[_S_array_size - 1] == _S_bitmask;
1264 any() const noexcept
1266 if constexpr (_Np == 1)
1268 else if constexpr (!_Sanitized)
1269 return _M_sanitized().any();
1272 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1273 if (_M_bits[__i] != 0)
1275 return _M_bits[_S_array_size - 1] != 0;
1281 none() const noexcept
1283 if constexpr (_Np == 1)
1285 else if constexpr (!_Sanitized)
1286 return _M_sanitized().none();
1289 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1290 if (_M_bits[__i] != 0)
1292 return _M_bits[_S_array_size - 1] == 0;
1299 count() const noexcept
1301 if constexpr (_Np == 1)
1303 else if constexpr (!_Sanitized)
1304 return _M_sanitized().none();
1307 int __result = __builtin_popcountll(_M_bits[0]);
1308 for (
int __i = 1; __i < _S_array_size; ++__i)
1309 __result += __builtin_popcountll(_M_bits[__i]);
1316 operator[](
size_t __i)
const noexcept
1318 if constexpr (_Np == 1)
1320 else if constexpr (_S_array_size == 1)
1321 return (_M_bits[0] >> __i) & 1;
1324 const size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1325 const size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1326 return (_M_bits[__j] >> __shift) & 1;
1330 template <
size_t __i>
1332 operator[](_SizeConstant<__i>)
const noexcept
1334 static_assert(__i < _Np);
1335 constexpr size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1336 constexpr size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1337 return static_cast<bool>(_M_bits[__j] & (_Tp(1) << __shift));
1342 set(
size_t __i,
bool __x)
noexcept
1344 if constexpr (_Np == 1)
1346 else if constexpr (_S_array_size == 1)
1348 _M_bits[0] &= ~_Tp(_Tp(1) << __i);
1349 _M_bits[0] |= _Tp(_Tp(__x) << __i);
1353 const size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1354 const size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1355 _M_bits[__j] &= ~_Tp(_Tp(1) << __shift);
1356 _M_bits[__j] |= _Tp(_Tp(__x) << __shift);
1360 template <
size_t __i>
1362 set(_SizeConstant<__i>,
bool __x)
noexcept
1364 static_assert(__i < _Np);
1365 if constexpr (_Np == 1)
1369 constexpr size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1370 constexpr size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1371 constexpr _Tp __mask = ~_Tp(_Tp(1) << __shift);
1372 _M_bits[__j] &= __mask;
1373 _M_bits[__j] |= _Tp(_Tp(__x) << __shift);
1379 operator~() const noexcept
1381 if constexpr (_Np == 1)
1385 _BitMask __result{};
1386 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1387 __result._M_bits[__i] = ~_M_bits[__i];
1388 if constexpr (_Sanitized)
1389 __result._M_bits[_S_array_size - 1]
1390 = _M_bits[_S_array_size - 1] ^ _S_bitmask;
1392 __result._M_bits[_S_array_size - 1] = ~_M_bits[_S_array_size - 1];
1398 operator^=(
const _BitMask& __b) &
noexcept
1400 __execute_n_times<_S_array_size>(
1401 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] ^= __b._M_bits[__i]; });
1406 operator|=(
const _BitMask& __b) &
noexcept
1408 __execute_n_times<_S_array_size>(
1409 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] |= __b._M_bits[__i]; });
1414 operator&=(
const _BitMask& __b) &
noexcept
1416 __execute_n_times<_S_array_size>(
1417 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] &= __b._M_bits[__i]; });
1421 friend constexpr _BitMask
1422 operator^(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1429 friend constexpr _BitMask
1430 operator|(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1437 friend constexpr _BitMask
1438 operator&(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1445 _GLIBCXX_SIMD_INTRINSIC
1447 _M_is_constprop()
const
1449 if constexpr (_S_array_size == 0)
1450 return __builtin_constant_p(_M_bits[0]);
1453 for (
int __i = 0; __i < _S_array_size; ++__i)
1454 if (!__builtin_constant_p(_M_bits[__i]))
1465template <
typename _Tp =
void>
1466 static inline constexpr int __min_vector_size = 2 *
sizeof(_Tp);
1468#if _GLIBCXX_SIMD_HAVE_NEON
1470 inline constexpr int __min_vector_size<void> = 8;
1473 inline constexpr int __min_vector_size<void> = 16;
1478template <
typename _Tp,
size_t _Np,
typename =
void>
1479 struct __vector_type_n {};
1482template <
typename _Tp>
1483 struct __vector_type_n<_Tp, 0, void> {};
1486template <
typename _Tp>
1487 struct __vector_type_n<_Tp, 1,
enable_if_t<__is_vectorizable_v<_Tp>>>
1488 {
using type = _Tp; };
1491template <
typename _Tp,
size_t _Np>
1492 struct __vector_type_n<_Tp, _Np,
enable_if_t<__is_vectorizable_v<_Tp> && _Np >= 2>>
1494 static constexpr size_t _S_Np2 = std::__bit_ceil(_Np *
sizeof(_Tp));
1496 static constexpr size_t _S_Bytes =
1502 _S_Np2 < __min_vector_size<_Tp> ? __min_vector_size<_Tp>
1505 using type [[__gnu__::__vector_size__(_S_Bytes)]] = _Tp;
1508template <
typename _Tp,
size_t _Bytes,
size_t = _Bytes % sizeof(_Tp)>
1509 struct __vector_type;
1511template <
typename _Tp,
size_t _Bytes>
1512 struct __vector_type<_Tp, _Bytes, 0>
1513 : __vector_type_n<_Tp, _Bytes / sizeof(_Tp)> {};
1515template <
typename _Tp,
size_t _Size>
1516 using __vector_type_t =
typename __vector_type_n<_Tp, _Size>::type;
1518template <
typename _Tp>
1519 using __vector_type2_t =
typename __vector_type<_Tp, 2>::type;
1520template <
typename _Tp>
1521 using __vector_type4_t =
typename __vector_type<_Tp, 4>::type;
1522template <
typename _Tp>
1523 using __vector_type8_t =
typename __vector_type<_Tp, 8>::type;
1524template <
typename _Tp>
1525 using __vector_type16_t =
typename __vector_type<_Tp, 16>::type;
1526template <
typename _Tp>
1527 using __vector_type32_t =
typename __vector_type<_Tp, 32>::type;
1528template <
typename _Tp>
1529 using __vector_type64_t =
typename __vector_type<_Tp, 64>::type;
1533template <
typename _Tp,
typename =
void_t<>>
1536template <
typename _Tp>
1537 struct __is_vector_type<
1538 _Tp,
void_t<typename __vector_type<
1540 : is_same<_Tp, typename __vector_type<
1541 remove_reference_t<decltype(declval<_Tp>()[0])>,
1542 sizeof(_Tp)>::type> {};
1544template <
typename _Tp>
1545 inline constexpr bool __is_vector_type_v = __is_vector_type<_Tp>::value;
1549#if _GLIBCXX_SIMD_HAVE_SSE_ABI
1550template <
typename _Tp>
1551 using __is_intrinsic_type = __is_vector_type<_Tp>;
1553template <
typename _Tp,
typename =
void_t<>>
1556template <
typename _Tp>
1557 struct __is_intrinsic_type<
1558 _Tp,
void_t<typename __intrinsic_type<
1560 : is_same<_Tp, typename __intrinsic_type<
1561 remove_reference_t<decltype(declval<_Tp>()[0])>,
1562 sizeof(_Tp)>::type> {};
1565template <
typename _Tp>
1566 inline constexpr bool __is_intrinsic_type_v = __is_intrinsic_type<_Tp>::value;
1570template <
typename _Tp,
typename =
void_t<>>
1571 struct _VectorTraitsImpl;
1573template <
typename _Tp>
1574 struct _VectorTraitsImpl<_Tp,
enable_if_t<__is_vector_type_v<_Tp>
1575 || __is_intrinsic_type_v<_Tp>>>
1578 using value_type = remove_reference_t<decltype(declval<_Tp>()[0])>;
1579 static constexpr int _S_full_size =
sizeof(_Tp) /
sizeof(value_type);
1580 using _Wrapper = _SimdWrapper<value_type, _S_full_size>;
1581 template <
typename _Up,
int _W = _S_full_size>
1582 static constexpr bool _S_is
1583 = is_same_v<value_type, _Up> && _W == _S_full_size;
1586template <
typename _Tp,
size_t _Np>
1587 struct _VectorTraitsImpl<_SimdWrapper<_Tp, _Np>,
1588 void_t<__vector_type_t<_Tp, _Np>>>
1590 using type = __vector_type_t<_Tp, _Np>;
1591 using value_type = _Tp;
1592 static constexpr int _S_full_size =
sizeof(type) /
sizeof(value_type);
1593 using _Wrapper = _SimdWrapper<_Tp, _Np>;
1594 static constexpr bool _S_is_partial = (_Np == _S_full_size);
1595 static constexpr int _S_partial_width = _Np;
1596 template <
typename _Up,
int _W = _S_full_size>
1597 static constexpr bool _S_is
1598 = is_same_v<value_type, _Up>&& _W == _S_full_size;
1601template <typename _Tp, typename = typename _VectorTraitsImpl<_Tp>::type>
1602 using _VectorTraits = _VectorTraitsImpl<_Tp>;
1606template <
typename _V>
1607 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
1610 if constexpr (__is_vector_type_v<_V>)
1612 else if constexpr (is_simd<_V>::value || is_simd_mask<_V>::value)
1613 return __data(__x)._M_data;
1614 else if constexpr (__is_vectorizable_v<_V>)
1615 return __vector_type_t<_V, 2>{__x};
1622template <
size_t _Np = 0,
typename _V>
1623 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
1624 __as_wrapper(_V __x)
1626 if constexpr (__is_vector_type_v<_V>)
1627 return _SimdWrapper<
typename _VectorTraits<_V>::value_type,
1628 (_Np > 0 ? _Np : _VectorTraits<_V>::_S_full_size)>(__x);
1629 else if constexpr (is_simd<_V>::value || is_simd_mask<_V>::value)
1631 static_assert(_V::size() == _Np);
1636 static_assert(_V::_S_size == _Np);
1643template <
typename _To,
typename _From>
1644 _GLIBCXX_SIMD_INTRINSIC
constexpr _To
1645 __intrin_bitcast(_From __v)
1647 static_assert((__is_vector_type_v<_From> || __is_intrinsic_type_v<_From>)
1648 && (__is_vector_type_v<_To> || __is_intrinsic_type_v<_To>));
1649 if constexpr (
sizeof(_To) ==
sizeof(_From))
1650 return reinterpret_cast<_To
>(__v);
1651 else if constexpr (
sizeof(_From) >
sizeof(_To))
1652 if constexpr (
sizeof(_To) >= 16)
1653 return reinterpret_cast<const __may_alias<_To>&
>(__v);
1657 __builtin_memcpy(&__r, &__v,
sizeof(_To));
1660#if _GLIBCXX_SIMD_X86INTRIN && !defined __clang__
1661 else if constexpr (__have_avx &&
sizeof(_From) == 16 &&
sizeof(_To) == 32)
1662 return reinterpret_cast<_To
>(__builtin_ia32_ps256_ps(
1663 reinterpret_cast<__vector_type_t<float, 4>
>(__v)));
1664 else if constexpr (__have_avx512f &&
sizeof(_From) == 16
1665 &&
sizeof(_To) == 64)
1666 return reinterpret_cast<_To
>(__builtin_ia32_ps512_ps(
1667 reinterpret_cast<__vector_type_t<float, 4>
>(__v)));
1668 else if constexpr (__have_avx512f &&
sizeof(_From) == 32
1669 &&
sizeof(_To) == 64)
1670 return reinterpret_cast<_To
>(__builtin_ia32_ps512_256ps(
1671 reinterpret_cast<__vector_type_t<float, 8>
>(__v)));
1673 else if constexpr (
sizeof(__v) <= 8)
1674 return reinterpret_cast<_To
>(
1675 __vector_type_t<__int_for_sizeof_t<_From>,
sizeof(_To) /
sizeof(_From)>{
1676 reinterpret_cast<__int_for_sizeof_t<_From>
>(__v)});
1679 static_assert(
sizeof(_To) >
sizeof(_From));
1681 __builtin_memcpy(&__r, &__v,
sizeof(_From));
1688template <
typename _To,
size_t _NN = 0,
typename _From,
1689 typename _FromVT = _VectorTraits<_From>,
1690 size_t _Np = _NN == 0 ?
sizeof(_From) /
sizeof(_To) : _NN>
1691 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_To, _Np>
1692 __vector_bitcast(_From __x)
1694 using _R = __vector_type_t<_To, _Np>;
1695 return __intrin_bitcast<_R>(__x);
1698template <
typename _To,
size_t _NN = 0,
typename _Tp,
size_t _Nx,
1700 = _NN == 0 ?
sizeof(_SimdWrapper<_Tp, _Nx>) /
sizeof(_To) : _NN>
1701 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_To, _Np>
1702 __vector_bitcast(
const _SimdWrapper<_Tp, _Nx>& __x)
1704 static_assert(_Np > 1);
1705 return __intrin_bitcast<__vector_type_t<_To, _Np>>(__x._M_data);
1710#ifdef _GLIBCXX_SIMD_WORKAROUND_PR85048
1711template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1712 _To __convert_x86(_Tp);
1714template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1715 _To __convert_x86(_Tp, _Tp);
1717template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1718 _To __convert_x86(_Tp, _Tp, _Tp, _Tp);
1720template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1721 _To __convert_x86(_Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp);
1723template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1724 _To __convert_x86(_Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp,
1725 _Tp, _Tp, _Tp, _Tp);
1730template <
typename _To,
typename _From>
1731 _GLIBCXX_SIMD_INTRINSIC
constexpr _To
1732 __bit_cast(
const _From __x)
1734#if __has_builtin(__builtin_bit_cast)
1735 return __builtin_bit_cast(_To, __x);
1737 static_assert(
sizeof(_To) ==
sizeof(_From));
1738 constexpr bool __to_is_vectorizable
1739 = is_arithmetic_v<_To> || is_enum_v<_To>;
1740 constexpr bool __from_is_vectorizable
1741 = is_arithmetic_v<_From> || is_enum_v<_From>;
1742 if constexpr (__is_vector_type_v<_To> && __is_vector_type_v<_From>)
1743 return reinterpret_cast<_To
>(__x);
1744 else if constexpr (__is_vector_type_v<_To> && __from_is_vectorizable)
1746 using _FV [[gnu::vector_size(
sizeof(_From))]] = _From;
1747 return reinterpret_cast<_To
>(_FV{__x});
1749 else if constexpr (__to_is_vectorizable && __from_is_vectorizable)
1751 using _TV [[gnu::vector_size(
sizeof(_To))]] = _To;
1752 using _FV [[gnu::vector_size(
sizeof(_From))]] = _From;
1753 return reinterpret_cast<_TV
>(_FV{__x})[0];
1755 else if constexpr (__to_is_vectorizable && __is_vector_type_v<_From>)
1757 using _TV [[gnu::vector_size(
sizeof(_To))]] = _To;
1758 return reinterpret_cast<_TV
>(__x)[0];
1763 __builtin_memcpy(
reinterpret_cast<char*
>(&__r),
1764 reinterpret_cast<const char*
>(&__x),
sizeof(_To));
1772template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>,
1773 typename _R = __
intrinsic_type_t<
typename _TVT::value_type, _TVT::_S_full_size>>
1774 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
1775 __to_intrin(_Tp __x)
1777 static_assert(
sizeof(__x) <=
sizeof(_R),
1778 "__to_intrin may never drop values off the end");
1779 if constexpr (
sizeof(__x) ==
sizeof(_R))
1780 return reinterpret_cast<_R
>(__as_vector(__x));
1783 using _Up = __int_for_sizeof_t<_Tp>;
1784 return reinterpret_cast<_R
>(
1785 __vector_type_t<_Up,
sizeof(_R) /
sizeof(_Up)>{__bit_cast<_Up>(__x)});
1791template <
typename _Tp,
typename... _Args>
1792 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp,
sizeof...(_Args)>
1793 __make_vector(
const _Args&... __args)
1794 {
return __vector_type_t<_Tp,
sizeof...(_Args)>{
static_cast<_Tp
>(__args)...}; }
1798template <
size_t _Np,
typename _Tp,
size_t... _I>
1799 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1800 __vector_broadcast_impl(_Tp __x, index_sequence<_I...>)
1801 {
return __vector_type_t<_Tp, _Np>{((void)_I, __x)...}; }
1803template <
size_t _Np,
typename _Tp>
1804 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1805 __vector_broadcast(_Tp __x)
1806 {
return __vector_broadcast_impl<_Np, _Tp>(__x, make_index_sequence<_Np>()); }
1810 template <
typename _Tp,
size_t _Np,
typename _Gp,
size_t... _I>
1811 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1812 __generate_vector_impl(_Gp&& __gen, index_sequence<_I...>)
1813 {
return __vector_type_t<_Tp, _Np>{
static_cast<_Tp
>(__gen(_SizeConstant<_I>()))...}; }
1815template <
typename _V,
typename _VVT = _VectorTraits<_V>,
typename _Gp>
1816 _GLIBCXX_SIMD_INTRINSIC
constexpr _V
1817 __generate_vector(_Gp&& __gen)
1819 if constexpr (__is_vector_type_v<_V>)
1820 return __generate_vector_impl<
typename _VVT::value_type,
1821 _VVT::_S_full_size>(
1822 static_cast<_Gp&&
>(__gen), make_index_sequence<_VVT::_S_full_size>());
1824 return __generate_vector_impl<
typename _VVT::value_type,
1825 _VVT::_S_partial_width>(
1826 static_cast<_Gp&&
>(__gen),
1827 make_index_sequence<_VVT::_S_partial_width>());
1830template <
typename _Tp,
size_t _Np,
typename _Gp>
1831 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1832 __generate_vector(_Gp&& __gen)
1834 return __generate_vector_impl<_Tp, _Np>(
static_cast<_Gp&&
>(__gen),
1835 make_index_sequence<_Np>());
1840template <
typename _TW>
1841 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1842 __xor(_TW __a, _TW __b)
noexcept
1844 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1846 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1847 _VectorTraitsImpl<_TW>>::value_type;
1848 if constexpr (is_floating_point_v<_Tp>)
1850 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1851 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1852 ^ __vector_bitcast<_Ip>(__b));
1854 else if constexpr (__is_vector_type_v<_TW>)
1857 return __a._M_data ^ __b._M_data;
1865template <
typename _TW>
1866 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1867 __or(_TW __a, _TW __b)
noexcept
1869 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1871 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1872 _VectorTraitsImpl<_TW>>::value_type;
1873 if constexpr (is_floating_point_v<_Tp>)
1875 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1876 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1877 | __vector_bitcast<_Ip>(__b));
1879 else if constexpr (__is_vector_type_v<_TW>)
1882 return __a._M_data | __b._M_data;
1890template <
typename _TW>
1891 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1892 __and(_TW __a, _TW __b)
noexcept
1894 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1896 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1897 _VectorTraitsImpl<_TW>>::value_type;
1898 if constexpr (is_floating_point_v<_Tp>)
1900 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1901 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1902 & __vector_bitcast<_Ip>(__b));
1904 else if constexpr (__is_vector_type_v<_TW>)
1907 return __a._M_data & __b._M_data;
1915#if _GLIBCXX_SIMD_X86INTRIN && !defined __clang__
1916static constexpr struct
1918 _GLIBCXX_SIMD_INTRINSIC __v4sf
1919 operator()(__v4sf __a, __v4sf __b)
const noexcept
1920 {
return __builtin_ia32_andnps(__a, __b); }
1922 _GLIBCXX_SIMD_INTRINSIC __v2df
1923 operator()(__v2df __a, __v2df __b)
const noexcept
1924 {
return __builtin_ia32_andnpd(__a, __b); }
1926 _GLIBCXX_SIMD_INTRINSIC __v2di
1927 operator()(__v2di __a, __v2di __b)
const noexcept
1928 {
return __builtin_ia32_pandn128(__a, __b); }
1930 _GLIBCXX_SIMD_INTRINSIC __v8sf
1931 operator()(__v8sf __a, __v8sf __b)
const noexcept
1932 {
return __builtin_ia32_andnps256(__a, __b); }
1934 _GLIBCXX_SIMD_INTRINSIC __v4df
1935 operator()(__v4df __a, __v4df __b)
const noexcept
1936 {
return __builtin_ia32_andnpd256(__a, __b); }
1938 _GLIBCXX_SIMD_INTRINSIC __v4di
1939 operator()(__v4di __a, __v4di __b)
const noexcept
1941 if constexpr (__have_avx2)
1942 return __builtin_ia32_andnotsi256(__a, __b);
1944 return reinterpret_cast<__v4di
>(
1945 __builtin_ia32_andnpd256(
reinterpret_cast<__v4df
>(__a),
1946 reinterpret_cast<__v4df
>(__b)));
1949 _GLIBCXX_SIMD_INTRINSIC __v16sf
1950 operator()(__v16sf __a, __v16sf __b)
const noexcept
1952 if constexpr (__have_avx512dq)
1953 return _mm512_andnot_ps(__a, __b);
1955 return reinterpret_cast<__v16sf
>(
1956 _mm512_andnot_si512(
reinterpret_cast<__v8di
>(__a),
1957 reinterpret_cast<__v8di
>(__b)));
1960 _GLIBCXX_SIMD_INTRINSIC __v8df
1961 operator()(__v8df __a, __v8df __b)
const noexcept
1963 if constexpr (__have_avx512dq)
1964 return _mm512_andnot_pd(__a, __b);
1966 return reinterpret_cast<__v8df
>(
1967 _mm512_andnot_si512(
reinterpret_cast<__v8di
>(__a),
1968 reinterpret_cast<__v8di
>(__b)));
1971 _GLIBCXX_SIMD_INTRINSIC __v8di
1972 operator()(__v8di __a, __v8di __b)
const noexcept
1973 {
return _mm512_andnot_si512(__a, __b); }
1977template <
typename _TW>
1978 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1979 __andnot(_TW __a, _TW __b)
noexcept
1981 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1983 using _TVT = conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1984 _VectorTraitsImpl<_TW>>;
1985 using _Tp =
typename _TVT::value_type;
1986#if _GLIBCXX_SIMD_X86INTRIN && !defined __clang__
1987 if constexpr (
sizeof(_TW) >= 16)
1989 const auto __ai = __to_intrin(__a);
1990 const auto __bi = __to_intrin(__b);
1991 if (!__builtin_is_constant_evaluated()
1992 && !(__builtin_constant_p(__ai) && __builtin_constant_p(__bi)))
1994 const auto __r = _S_x86_andnot(__ai, __bi);
1995 if constexpr (is_convertible_v<
decltype(__r), _TW>)
1998 return reinterpret_cast<typename _TVT::type
>(__r);
2002 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
2003 return __vector_bitcast<_Tp>(~__vector_bitcast<_Ip>(__a)
2004 & __vector_bitcast<_Ip>(__b));
2012template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2013 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2014 __not(_Tp __a)
noexcept
2016 if constexpr (is_floating_point_v<typename _TVT::value_type>)
2017 return reinterpret_cast<typename _TVT::type
>(
2018 ~__vector_bitcast<unsigned>(__a));
2025template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>,
2026 typename _R = __vector_type_t<
typename _TVT::value_type, _TVT::_S_full_size * 2>>
2028 __concat(_Tp a_, _Tp b_)
2030#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_1
2032 = conditional_t<is_floating_point_v<typename _TVT::value_type>, double,
2034 long long,
typename _TVT::value_type>>;
2035 constexpr int input_width =
sizeof(_Tp) /
sizeof(_W);
2036 const auto __a = __vector_bitcast<_W>(a_);
2037 const auto __b = __vector_bitcast<_W>(b_);
2038 using _Up = __vector_type_t<_W,
sizeof(_R) /
sizeof(_W)>;
2040 constexpr int input_width = _TVT::_S_full_size;
2041 const _Tp& __a = a_;
2042 const _Tp& __b = b_;
2045 if constexpr (input_width == 2)
2046 return reinterpret_cast<_R
>(_Up{__a[0], __a[1], __b[0], __b[1]});
2047 else if constexpr (input_width == 4)
2048 return reinterpret_cast<_R
>(
2049 _Up{__a[0], __a[1], __a[2], __a[3], __b[0], __b[1], __b[2], __b[3]});
2050 else if constexpr (input_width == 8)
2051 return reinterpret_cast<_R
>(
2052 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6], __a[7],
2053 __b[0], __b[1], __b[2], __b[3], __b[4], __b[5], __b[6], __b[7]});
2054 else if constexpr (input_width == 16)
2055 return reinterpret_cast<_R
>(
2056 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6],
2057 __a[7], __a[8], __a[9], __a[10], __a[11], __a[12], __a[13],
2058 __a[14], __a[15], __b[0], __b[1], __b[2], __b[3], __b[4],
2059 __b[5], __b[6], __b[7], __b[8], __b[9], __b[10], __b[11],
2060 __b[12], __b[13], __b[14], __b[15]});
2061 else if constexpr (input_width == 32)
2062 return reinterpret_cast<_R
>(
2063 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6],
2064 __a[7], __a[8], __a[9], __a[10], __a[11], __a[12], __a[13],
2065 __a[14], __a[15], __a[16], __a[17], __a[18], __a[19], __a[20],
2066 __a[21], __a[22], __a[23], __a[24], __a[25], __a[26], __a[27],
2067 __a[28], __a[29], __a[30], __a[31], __b[0], __b[1], __b[2],
2068 __b[3], __b[4], __b[5], __b[6], __b[7], __b[8], __b[9],
2069 __b[10], __b[11], __b[12], __b[13], __b[14], __b[15], __b[16],
2070 __b[17], __b[18], __b[19], __b[20], __b[21], __b[22], __b[23],
2071 __b[24], __b[25], __b[26], __b[27], __b[28], __b[29], __b[30],
2077template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2078 struct _ZeroExtendProxy
2080 using value_type =
typename _TVT::value_type;
2081 static constexpr size_t _Np = _TVT::_S_full_size;
2084 template <
typename _To,
typename _ToVT = _VectorTraits<_To>,
2086 = enable_if_t<is_same_v<
typename _ToVT::value_type, value_type>>>
2087 _GLIBCXX_SIMD_INTRINSIC
operator _To()
const
2089 constexpr size_t _ToN = _ToVT::_S_full_size;
2090 if constexpr (_ToN == _Np)
2092 else if constexpr (_ToN == 2 * _Np)
2094#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_3
2095 if constexpr (__have_avx && _TVT::template _S_is<float, 4>)
2096 return __vector_bitcast<value_type>(
2097 _mm256_insertf128_ps(__m256(), __x, 0));
2098 else if constexpr (__have_avx && _TVT::template _S_is<double, 2>)
2099 return __vector_bitcast<value_type>(
2100 _mm256_insertf128_pd(__m256d(), __x, 0));
2101 else if constexpr (__have_avx2 && _Np *
sizeof(value_type) == 16)
2102 return __vector_bitcast<value_type>(
2103 _mm256_insertf128_si256(__m256i(), __to_intrin(__x), 0));
2104 else if constexpr (__have_avx512f && _TVT::template _S_is<float, 8>)
2106 if constexpr (__have_avx512dq)
2107 return __vector_bitcast<value_type>(
2108 _mm512_insertf32x8(__m512(), __x, 0));
2110 return reinterpret_cast<__m512
>(
2111 _mm512_insertf64x4(__m512d(),
2112 reinterpret_cast<__m256d
>(__x), 0));
2114 else if constexpr (__have_avx512f
2115 && _TVT::template _S_is<double, 4>)
2116 return __vector_bitcast<value_type>(
2117 _mm512_insertf64x4(__m512d(), __x, 0));
2118 else if constexpr (__have_avx512f && _Np *
sizeof(value_type) == 32)
2119 return __vector_bitcast<value_type>(
2120 _mm512_inserti64x4(__m512i(), __to_intrin(__x), 0));
2122 return __concat(__x, _Tp());
2124 else if constexpr (_ToN == 4 * _Np)
2126#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_3
2127 if constexpr (__have_avx512dq && _TVT::template _S_is<double, 2>)
2129 return __vector_bitcast<value_type>(
2130 _mm512_insertf64x2(__m512d(), __x, 0));
2132 else if constexpr (__have_avx512f
2133 && is_floating_point_v<value_type>)
2135 return __vector_bitcast<value_type>(
2136 _mm512_insertf32x4(__m512(),
reinterpret_cast<__m128
>(__x),
2139 else if constexpr (__have_avx512f && _Np *
sizeof(value_type) == 16)
2141 return __vector_bitcast<value_type>(
2142 _mm512_inserti32x4(__m512i(), __to_intrin(__x), 0));
2145 return __concat(__concat(__x, _Tp()),
2146 __vector_type_t<value_type, _Np * 2>());
2148 else if constexpr (_ToN == 8 * _Np)
2149 return __concat(
operator __vector_type_t<value_type, _Np * 4>(),
2150 __vector_type_t<value_type, _Np * 4>());
2151 else if constexpr (_ToN == 16 * _Np)
2152 return __concat(
operator __vector_type_t<value_type, _Np * 8>(),
2153 __vector_type_t<value_type, _Np * 8>());
2155 __assert_unreachable<_Tp>();
2159template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2160 _GLIBCXX_SIMD_INTRINSIC _ZeroExtendProxy<_Tp, _TVT>
2161 __zero_extend(_Tp __x)
2166template <
int _Offset,
2169 typename _TVT = _VectorTraits<_Tp>,
2170 typename _R = __vector_type_t<
typename _TVT::value_type, _TVT::_S_full_size / _SplitBy>>
2171 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2174 using value_type =
typename _TVT::value_type;
2175#if _GLIBCXX_SIMD_X86INTRIN
2176 if constexpr (
sizeof(_Tp) == 64 && _SplitBy == 4 && _Offset > 0)
2178 if constexpr (__have_avx512dq && is_same_v<double, value_type>)
2179 return _mm512_extractf64x2_pd(__to_intrin(__in), _Offset);
2180 else if constexpr (is_floating_point_v<value_type>)
2181 return __vector_bitcast<value_type>(
2182 _mm512_extractf32x4_ps(__intrin_bitcast<__m512>(__in), _Offset));
2184 return reinterpret_cast<_R
>(
2185 _mm512_extracti32x4_epi32(__intrin_bitcast<__m512i>(__in),
2191#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_1
2193 is_floating_point_v<value_type>, double,
2195 static_assert(
sizeof(_R) %
sizeof(_W) == 0);
2196 constexpr int __return_width =
sizeof(_R) /
sizeof(_W);
2197 using _Up = __vector_type_t<_W, __return_width>;
2198 const auto __x = __vector_bitcast<_W>(__in);
2200 constexpr int __return_width = _TVT::_S_full_size / _SplitBy;
2202 const __vector_type_t<value_type, _TVT::_S_full_size>& __x
2205 constexpr int _O = _Offset * __return_width;
2206 return __call_with_subscripts<__return_width, _O>(
2207 __x, [](
auto... __entries) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
2208 return reinterpret_cast<_R
>(_Up{__entries...});
2215template <
typename _Tp,
2216 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2217 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2221 __builtin_memcpy(&__r, &__x, 8);
2225template <
typename _Tp,
2226 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2227 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2230 static_assert(
sizeof(_Tp) == 16,
"use __hi64z if you meant it");
2232 __builtin_memcpy(&__r,
reinterpret_cast<const char*
>(&__x) + 8, 8);
2236template <
typename _Tp,
2237 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2238 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2239 __hi64z([[maybe_unused]] _Tp __x)
2242 if constexpr (
sizeof(_Tp) == 16)
2243 __builtin_memcpy(&__r,
reinterpret_cast<const char*
>(&__x) + 8, 8);
2249template <
typename _Tp>
2250 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2252 {
return __extract<0,
sizeof(_Tp) / 16>(__x); }
2254template <
typename _Tp>
2255 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2258 static_assert(
sizeof(__x) == 32);
2259 return __extract<1, 2>(__x);
2264template <
typename _Tp>
2265 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2268 static_assert(
sizeof(__x) == 64);
2269 return __extract<0, 2>(__x);
2272template <
typename _Tp>
2273 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2276 static_assert(
sizeof(__x) == 64);
2277 return __extract<1, 2>(__x);
2282template <
typename _Tp>
2285 static_assert(__is_vector_type_v<_Tp>);
2289 template <
typename _Up,
typename _UVT = _VectorTraits<_Up>>
2290 _GLIBCXX_SIMD_INTRINSIC
constexpr operator _Up()
const
2291 {
return __intrin_bitcast<typename _UVT::type>(__x); }
2294template <
typename _Tp>
2295 _GLIBCXX_SIMD_INTRINSIC
constexpr _AutoCast<_Tp>
2296 __auto_bitcast(
const _Tp& __x)
2299template <
typename _Tp,
size_t _Np>
2300 _GLIBCXX_SIMD_INTRINSIC
constexpr
2301 _AutoCast<typename _SimdWrapper<_Tp, _Np>::_BuiltinType>
2302 __auto_bitcast(
const _SimdWrapper<_Tp, _Np>& __x)
2303 {
return {__x._M_data}; }
2308#if _GLIBCXX_SIMD_HAVE_SSE_ABI
2310#if _GLIBCXX_SIMD_HAVE_AVX512F && _GLIBCXX_SIMD_X86INTRIN
2311template <
size_t _Size>
2312 struct __bool_storage_member_type
2314 static_assert((_Size & (_Size - 1)) != 0,
2315 "This trait may only be used for non-power-of-2 sizes. "
2316 "Power-of-2 sizes must be specialized.");
2318 typename __bool_storage_member_type<std::__bit_ceil(_Size)>::type;
2322 struct __bool_storage_member_type<1> {
using type = bool; };
2325 struct __bool_storage_member_type<2> {
using type = __mmask8; };
2328 struct __bool_storage_member_type<4> {
using type = __mmask8; };
2331 struct __bool_storage_member_type<8> {
using type = __mmask8; };
2334 struct __bool_storage_member_type<16> {
using type = __mmask16; };
2337 struct __bool_storage_member_type<32> {
using type = __mmask32; };
2340 struct __bool_storage_member_type<64> {
using type = __mmask64; };
2346#if _GLIBCXX_SIMD_HAVE_SSE
2347template <
typename _Tp,
size_t _Bytes>
2348 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 64>>
2350 static_assert(!is_same_v<_Tp, long double>,
2351 "no __intrinsic_type support for long double on x86");
2353 static constexpr size_t _S_VBytes = _Bytes <= 16 ? 16 : _Bytes <= 32 ? 32 : 64;
2355 using type [[__gnu__::__vector_size__(_S_VBytes)]]
2356 = conditional_t<is_integral_v<_Tp>,
long long int, _Tp>;
2363#if _GLIBCXX_SIMD_HAVE_NEON
2365 struct __intrinsic_type<float, 8, void>
2366 {
using type = float32x2_t; };
2369 struct __intrinsic_type<float, 16, void>
2370 {
using type = float32x4_t; };
2373 struct __intrinsic_type<double, 8, void>
2375#if _GLIBCXX_SIMD_HAVE_NEON_A64
2376 using type = float64x1_t;
2381 struct __intrinsic_type<double, 16, void>
2383#if _GLIBCXX_SIMD_HAVE_NEON_A64
2384 using type = float64x2_t;
2388#define _GLIBCXX_SIMD_ARM_INTRIN(_Bits, _Np) \
2390 struct __intrinsic_type<__int_with_sizeof_t<_Bits / 8>, \
2391 _Np * _Bits / 8, void> \
2392 { using type = int##_Bits##x##_Np##_t; }; \
2394 struct __intrinsic_type<make_unsigned_t<__int_with_sizeof_t<_Bits / 8>>, \
2395 _Np * _Bits / 8, void> \
2396 { using type = uint##_Bits##x##_Np##_t; }
2397_GLIBCXX_SIMD_ARM_INTRIN(8, 8);
2398_GLIBCXX_SIMD_ARM_INTRIN(8, 16);
2399_GLIBCXX_SIMD_ARM_INTRIN(16, 4);
2400_GLIBCXX_SIMD_ARM_INTRIN(16, 8);
2401_GLIBCXX_SIMD_ARM_INTRIN(32, 2);
2402_GLIBCXX_SIMD_ARM_INTRIN(32, 4);
2403_GLIBCXX_SIMD_ARM_INTRIN(64, 1);
2404_GLIBCXX_SIMD_ARM_INTRIN(64, 2);
2405#undef _GLIBCXX_SIMD_ARM_INTRIN
2407template <
typename _Tp,
size_t _Bytes>
2408 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 16>>
2410 static constexpr int _SVecBytes = _Bytes <= 8 ? 8 : 16;
2412 using _Ip = __int_for_sizeof_t<_Tp>;
2415 is_floating_point_v<_Tp>, _Tp,
2416 conditional_t<is_unsigned_v<_Tp>, make_unsigned_t<_Ip>, _Ip>>;
2418 static_assert(!is_same_v<_Tp, _Up> || _SVecBytes != _Bytes,
2419 "should use explicit specialization above");
2421 using type =
typename __intrinsic_type<_Up, _SVecBytes>::type;
2428template <
typename _Tp>
2429 struct __intrinsic_type_impl;
2431#define _GLIBCXX_SIMD_PPC_INTRIN(_Tp) \
2433 struct __intrinsic_type_impl<_Tp> { using type = __vector _Tp; }
2434_GLIBCXX_SIMD_PPC_INTRIN(
float);
2436_GLIBCXX_SIMD_PPC_INTRIN(
double);
2438_GLIBCXX_SIMD_PPC_INTRIN(
signed char);
2439_GLIBCXX_SIMD_PPC_INTRIN(
unsigned char);
2440_GLIBCXX_SIMD_PPC_INTRIN(
signed short);
2441_GLIBCXX_SIMD_PPC_INTRIN(
unsigned short);
2442_GLIBCXX_SIMD_PPC_INTRIN(
signed int);
2443_GLIBCXX_SIMD_PPC_INTRIN(
unsigned int);
2444#if defined __VSX__ || __SIZEOF_LONG__ == 4
2445_GLIBCXX_SIMD_PPC_INTRIN(
signed long);
2446_GLIBCXX_SIMD_PPC_INTRIN(
unsigned long);
2449_GLIBCXX_SIMD_PPC_INTRIN(
signed long long);
2450_GLIBCXX_SIMD_PPC_INTRIN(
unsigned long long);
2452#undef _GLIBCXX_SIMD_PPC_INTRIN
2454template <
typename _Tp,
size_t _Bytes>
2455 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 16>>
2457 static constexpr bool _S_is_ldouble = is_same_v<_Tp, long double>;
2460 static_assert(!(_S_is_ldouble &&
sizeof(
long double) >
sizeof(
double)),
2461 "no __intrinsic_type support for 128-bit floating point on PowerPC");
2464 static_assert(!(is_same_v<_Tp, double>
2465 || (_S_is_ldouble &&
sizeof(
long double) ==
sizeof(
double))),
2466 "no __intrinsic_type support for 64-bit floating point on PowerPC w/o VSX");
2469 static constexpr auto __element_type()
2471 if constexpr (is_floating_point_v<_Tp>)
2473 if constexpr (_S_is_ldouble)
2478 else if constexpr (is_signed_v<_Tp>)
2480 if constexpr (
sizeof(_Tp) ==
sizeof(_SChar))
2482 else if constexpr (
sizeof(_Tp) ==
sizeof(
short))
2484 else if constexpr (
sizeof(_Tp) ==
sizeof(
int))
2486 else if constexpr (
sizeof(_Tp) ==
sizeof(_LLong))
2491 if constexpr (
sizeof(_Tp) ==
sizeof(_UChar))
2493 else if constexpr (
sizeof(_Tp) ==
sizeof(_UShort))
2495 else if constexpr (
sizeof(_Tp) ==
sizeof(_UInt))
2497 else if constexpr (
sizeof(_Tp) ==
sizeof(_ULLong))
2502 using type =
typename __intrinsic_type_impl<
decltype(__element_type())>::type;
2508template <
size_t _W
idth>
2509 struct _SimdWrapper<bool, _Width,
2510 void_t<typename __bool_storage_member_type<_Width>::type>>
2512 using _BuiltinType =
typename __bool_storage_member_type<_Width>::type;
2513 using value_type = bool;
2515 static constexpr size_t _S_full_size =
sizeof(_BuiltinType) * __CHAR_BIT__;
2517 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper<bool, _S_full_size>
2518 __as_full_vector()
const
2521 _GLIBCXX_SIMD_INTRINSIC
constexpr
2522 _SimdWrapper() =
default;
2524 _GLIBCXX_SIMD_INTRINSIC
constexpr
2525 _SimdWrapper(_BuiltinType __k) : _M_data(__k) {};
2527 _GLIBCXX_SIMD_INTRINSIC
2528 operator const _BuiltinType&()
const
2531 _GLIBCXX_SIMD_INTRINSIC
2532 operator _BuiltinType&()
2535 _GLIBCXX_SIMD_INTRINSIC _BuiltinType
2539 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
2540 operator[](
size_t __i)
const
2541 {
return _M_data & (_BuiltinType(1) << __i); }
2543 template <
size_t __i>
2544 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
2545 operator[](_SizeConstant<__i>)
const
2546 {
return _M_data & (_BuiltinType(1) << __i); }
2548 _GLIBCXX_SIMD_INTRINSIC
constexpr void
2549 _M_set(
size_t __i, value_type __x)
2552 _M_data |= (_BuiltinType(1) << __i);
2554 _M_data &= ~(_BuiltinType(1) << __i);
2557 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2558 _M_is_constprop()
const
2559 {
return __builtin_constant_p(_M_data); }
2561 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2562 _M_is_constprop_none_of()
const
2564 if (__builtin_constant_p(_M_data))
2566 constexpr int __nbits =
sizeof(_BuiltinType) * __CHAR_BIT__;
2567 constexpr _BuiltinType __active_mask
2568 = ~_BuiltinType() >> (__nbits - _Width);
2569 return (_M_data & __active_mask) == 0;
2574 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2575 _M_is_constprop_all_of()
const
2577 if (__builtin_constant_p(_M_data))
2579 constexpr int __nbits =
sizeof(_BuiltinType) * __CHAR_BIT__;
2580 constexpr _BuiltinType __active_mask
2581 = ~_BuiltinType() >> (__nbits - _Width);
2582 return (_M_data & __active_mask) == __active_mask;
2587 _BuiltinType _M_data;
2591template <
bool _MustZeroInitPadding,
typename _BuiltinType>
2592 struct _SimdWrapperBase;
2594template <
typename _BuiltinType>
2595 struct _SimdWrapperBase<false, _BuiltinType>
2597 _GLIBCXX_SIMD_INTRINSIC
constexpr
2598 _SimdWrapperBase() =
default;
2600 _GLIBCXX_SIMD_INTRINSIC
constexpr
2601 _SimdWrapperBase(_BuiltinType __init) : _M_data(__init) {}
2603 _BuiltinType _M_data;
2606template <
typename _BuiltinType>
2607 struct _SimdWrapperBase<true, _BuiltinType>
2610 _GLIBCXX_SIMD_INTRINSIC
constexpr
2611 _SimdWrapperBase() : _M_data() {}
2613 _GLIBCXX_SIMD_INTRINSIC
constexpr
2614 _SimdWrapperBase(_BuiltinType __init) : _M_data(__init) {}
2616 _BuiltinType _M_data;
2621template <
typename _Tp,
size_t _W
idth>
2622 struct _SimdWrapper<
2624 void_t<__vector_type_t<_Tp, _Width>, __intrinsic_type_t<_Tp, _Width>>>
2625 : _SimdWrapperBase<__has_iec559_behavior<__signaling_NaN, _Tp>::value
2626 && sizeof(_Tp) * _Width
2627 == sizeof(__vector_type_t<_Tp, _Width>),
2628 __vector_type_t<_Tp, _Width>>
2631 = _SimdWrapperBase<__has_iec559_behavior<__signaling_NaN, _Tp>::value
2632 &&
sizeof(_Tp) * _Width
2633 ==
sizeof(__vector_type_t<_Tp, _Width>),
2634 __vector_type_t<_Tp, _Width>>;
2636 static_assert(__is_vectorizable_v<_Tp>);
2637 static_assert(_Width >= 2);
2639 using _BuiltinType = __vector_type_t<_Tp, _Width>;
2640 using value_type = _Tp;
2642 static inline constexpr size_t _S_full_size
2643 =
sizeof(_BuiltinType) /
sizeof(value_type);
2644 static inline constexpr int _S_size = _Width;
2645 static inline constexpr bool _S_is_partial = _S_full_size != _S_size;
2647 using _Base::_M_data;
2649 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper<_Tp, _S_full_size>
2650 __as_full_vector()
const
2653 _GLIBCXX_SIMD_INTRINSIC
constexpr
2654 _SimdWrapper(initializer_list<_Tp> __init)
2655 : _Base(__generate_from_n_evaluations<_Width, _BuiltinType>(
2656 [&](auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
2657 return __init.begin()[__i.value];
2660 _GLIBCXX_SIMD_INTRINSIC
constexpr
2661 _SimdWrapper() =
default;
2663 _GLIBCXX_SIMD_INTRINSIC
constexpr
2664 _SimdWrapper(
const _SimdWrapper&) =
default;
2666 _GLIBCXX_SIMD_INTRINSIC
constexpr
2667 _SimdWrapper(_SimdWrapper&&) =
default;
2669 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper&
2670 operator=(
const _SimdWrapper&) =
default;
2672 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper&
2673 operator=(_SimdWrapper&&) =
default;
2675 template <
typename _V,
typename =
enable_if_t<disjunction_v<
2676 is_same<_V, __vector_type_t<_Tp, _Width>>,
2677 is_same<_V, __intrinsic_type_t<_Tp, _Width>>>>>
2678 _GLIBCXX_SIMD_INTRINSIC
constexpr
2679 _SimdWrapper(_V __x)
2681 : _Base(__vector_bitcast<_Tp, _Width>(__x)) {}
2683 template <
typename... _As,
2684 typename =
enable_if_t<((is_same_v<simd_abi::scalar, _As> && ...)
2685 &&
sizeof...(_As) <= _Width)>>
2686 _GLIBCXX_SIMD_INTRINSIC
constexpr
2687 operator _SimdTuple<_Tp, _As...>()
const
2689 return __generate_from_n_evaluations<
sizeof...(_As), _SimdTuple<_Tp, _As...>>(
2690 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
2691 {
return _M_data[int(__i)]; });
2694 _GLIBCXX_SIMD_INTRINSIC
constexpr
2695 operator const _BuiltinType&()
const
2698 _GLIBCXX_SIMD_INTRINSIC
constexpr
2699 operator _BuiltinType&()
2702 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2703 operator[](
size_t __i)
const
2704 {
return _M_data[__i]; }
2706 template <
size_t __i>
2707 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2708 operator[](_SizeConstant<__i>)
const
2709 {
return _M_data[__i]; }
2711 _GLIBCXX_SIMD_INTRINSIC
constexpr void
2712 _M_set(
size_t __i, _Tp __x)
2714 if (__builtin_is_constant_evaluated())
2715 _M_data = __generate_from_n_evaluations<_Width, _BuiltinType>([&](
auto __j) {
2716 return __j == __i ? __x : _M_data[__j()];
2722 _GLIBCXX_SIMD_INTRINSIC
2724 _M_is_constprop()
const
2725 {
return __builtin_constant_p(_M_data); }
2727 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2728 _M_is_constprop_none_of()
const
2730 if (__builtin_constant_p(_M_data))
2733 if constexpr (is_floating_point_v<_Tp>)
2735 using _Ip = __int_for_sizeof_t<_Tp>;
2736 const auto __intdata = __vector_bitcast<_Ip>(_M_data);
2737 __execute_n_times<_Width>(
2738 [&](
auto __i) { __r &= __intdata[__i.value] == _Ip(); });
2741 __execute_n_times<_Width>(
2742 [&](
auto __i) { __r &= _M_data[__i.value] == _Tp(); });
2743 if (__builtin_constant_p(__r))
2749 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2750 _M_is_constprop_all_of()
const
2752 if (__builtin_constant_p(_M_data))
2755 if constexpr (is_floating_point_v<_Tp>)
2757 using _Ip = __int_for_sizeof_t<_Tp>;
2758 const auto __intdata = __vector_bitcast<_Ip>(_M_data);
2759 __execute_n_times<_Width>(
2760 [&](
auto __i) { __r &= __intdata[__i.value] == ~_Ip(); });
2763 __execute_n_times<_Width>(
2764 [&](
auto __i) { __r &= _M_data[__i.value] == ~_Tp(); });
2765 if (__builtin_constant_p(__r))
2775template <
typename _Tp>
2777 __vectorized_sizeof()
2779 if constexpr (!__is_vectorizable_v<_Tp>)
2782 if constexpr (
sizeof(_Tp) <= 8)
2785 if constexpr (__have_avx512bw)
2787 if constexpr (__have_avx512f &&
sizeof(_Tp) >= 4)
2789 if constexpr (__have_avx2)
2791 if constexpr (__have_avx && is_floating_point_v<_Tp>)
2793 if constexpr (__have_sse2)
2795 if constexpr (__have_sse && is_same_v<_Tp, float>)
2805 if constexpr (__have_power8vec
2806 || (__have_power_vmx && (
sizeof(_Tp) < 8))
2807 || (__have_power_vsx && is_floating_point_v<_Tp>) )
2811 if constexpr (__have_neon_a64
2812 || (__have_neon_a32 && !is_same_v<_Tp, double>) )
2814 if constexpr (__have_neon
2819 && (__support_neon_float || !is_floating_point_v<_Tp>))
2829template <
typename _Tp>
2830 inline constexpr int max_fixed_size
2831 = (__have_avx512bw &&
sizeof(_Tp) == 1) ? 64 : 32;
2834#if defined __x86_64__ || defined __aarch64__
2835template <
typename _Tp>
2836 using compatible =
conditional_t<(
sizeof(_Tp) <= 8), _VecBuiltin<16>, scalar>;
2837#elif defined __ARM_NEON
2840template <
typename _Tp>
2843 && (__support_neon_float || !is_floating_point_v<_Tp>)),
2844 _VecBuiltin<16>, scalar>;
2847 using compatible = scalar;
2852template <
typename _Tp>
2854 __determine_native_abi()
2856 constexpr size_t __bytes = __vectorized_sizeof<_Tp>();
2857 if constexpr (__bytes ==
sizeof(_Tp))
2858 return static_cast<scalar*
>(
nullptr);
2859 else if constexpr (__have_avx512vl || (__have_avx512f && __bytes == 64))
2860 return static_cast<_VecBltnBtmsk<__bytes>*
>(
nullptr);
2862 return static_cast<_VecBuiltin<__bytes>*
>(
nullptr);
2865template <
typename _Tp,
typename = enable_if_t<__is_vectorizable_v<_Tp>>>
2866 using native = remove_pointer_t<decltype(__determine_native_abi<_Tp>())>;
2870#if defined _GLIBCXX_SIMD_DEFAULT_ABI
2871template <
typename _Tp>
2872 using __default_abi = _GLIBCXX_SIMD_DEFAULT_ABI<_Tp>;
2874template <
typename _Tp>
2875 using __default_abi = compatible<_Tp>;
2882template <
typename _Tp>
2883 struct is_simd_flag_type
2888 struct is_simd_flag_type<element_aligned_tag>
2893 struct is_simd_flag_type<vector_aligned_tag>
2897template <
size_t _Np>
2898 struct is_simd_flag_type<overaligned_tag<_Np>>
2899 : __bool_constant<(_Np > 0) and __has_single_bit(_Np)>
2902template <
typename _Tp>
2903 inline constexpr bool is_simd_flag_type_v = is_simd_flag_type<_Tp>::value;
2905template <
typename _Tp,
typename = enable_if_t<is_simd_flag_type_v<_Tp>>>
2906 using _IsSimdFlagType = _Tp;
2909template <
typename _Tp,
typename =
void_t<>>
2912template <
typename _Tp>
2913 struct is_abi_tag<_Tp,
void_t<typename _Tp::_IsValidAbiTag>>
2914 :
public _Tp::_IsValidAbiTag {};
2916template <
typename _Tp>
2917 inline constexpr bool is_abi_tag_v = is_abi_tag<_Tp>::value;
2920template <
typename _Tp>
2923template <
typename _Tp>
2924 inline constexpr bool is_simd_v = is_simd<_Tp>::value;
2926template <
typename _Tp>
2929template <
typename _Tp>
2930inline constexpr bool is_simd_mask_v = is_simd_mask<_Tp>::value;
2933template <
typename _Tp,
typename _Abi,
typename =
void>
2934 struct __simd_size_impl {};
2936template <
typename _Tp,
typename _Abi>
2937 struct __simd_size_impl<
2939 enable_if_t<conjunction_v<__is_vectorizable<_Tp>, is_abi_tag<_Abi>>>>
2940 : _SizeConstant<_Abi::template _S_size<_Tp>> {};
2942template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
2943 struct simd_size : __simd_size_impl<_Tp, _Abi> {};
2945template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
2946 inline constexpr size_t simd_size_v = simd_size<_Tp, _Abi>::value;
2949template <
typename _Tp,
size_t _Np,
typename =
void>
2950 struct __deduce_impl;
2961template <
typename _Tp,
size_t _Np,
typename...>
2964template <
typename _Tp,
size_t _Np,
typename... _Abis>
2965 using deduce_t =
typename deduce<_Tp, _Np, _Abis...>::type;
2970template <
typename _Tp,
typename _V,
typename =
void>
2973template <
typename _Tp,
typename _Up,
typename _Abi>
2974 struct rebind_simd<_Tp, simd<_Up, _Abi>,
2975 void_t<simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>
2976 {
using type = simd<_Tp, simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>; };
2978template <
typename _Tp,
typename _Up,
typename _Abi>
2979 struct rebind_simd<_Tp, simd_mask<_Up, _Abi>,
2980 void_t<simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>
2981 {
using type = simd_mask<_Tp, simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>; };
2983template <
typename _Tp,
typename _V>
2984 using rebind_simd_t =
typename rebind_simd<_Tp, _V>::type;
2987template <
int _Np,
typename _V,
typename =
void>
2990template <
int _Np,
typename _Tp,
typename _Abi>
2991 struct resize_simd<_Np, simd<_Tp, _Abi>,
void_t<simd_abi::deduce_t<_Tp, _Np, _Abi>>>
2992 {
using type = simd<_Tp, simd_abi::deduce_t<_Tp, _Np, _Abi>>; };
2994template <
int _Np,
typename _Tp,
typename _Abi>
2995 struct resize_simd<_Np, simd_mask<_Tp, _Abi>,
void_t<simd_abi::deduce_t<_Tp, _Np, _Abi>>>
2996 {
using type = simd_mask<_Tp, simd_abi::deduce_t<_Tp, _Np, _Abi>>; };
2998template <
int _Np,
typename _V>
2999 using resize_simd_t =
typename resize_simd<_Np, _V>::type;
3003template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
3004 struct memory_alignment
3005 :
public _SizeConstant<vector_aligned_tag::_S_alignment<_Tp, _Up>> {};
3007template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
3008 inline constexpr size_t memory_alignment_v = memory_alignment<_Tp, _Up>::value;
3011template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3014template <
typename _Tp,
typename _Abi>
3015 struct is_simd<simd<_Tp, _Abi>> :
public true_type {};
3017template <
typename _Tp>
3018 using native_simd = simd<_Tp, simd_abi::native<_Tp>>;
3020template <
typename _Tp,
int _Np>
3021 using fixed_size_simd = simd<_Tp, simd_abi::fixed_size<_Np>>;
3023template <
typename _Tp,
size_t _Np>
3024 using __deduced_simd = simd<_Tp, simd_abi::deduce_t<_Tp, _Np>>;
3027template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3030template <
typename _Tp,
typename _Abi>
3031 struct is_simd_mask<simd_mask<_Tp, _Abi>> :
public true_type {};
3033template <
typename _Tp>
3034 using native_simd_mask = simd_mask<_Tp, simd_abi::native<_Tp>>;
3036template <
typename _Tp,
int _Np>
3037 using fixed_size_simd_mask = simd_mask<_Tp, simd_abi::fixed_size<_Np>>;
3039template <
typename _Tp,
size_t _Np>
3040 using __deduced_simd_mask = simd_mask<_Tp, simd_abi::deduce_t<_Tp, _Np>>;
3044template <
typename _Tp,
typename _Up,
typename _Ap,
bool = is_simd_v<_Tp>,
typename =
void>
3045 struct __static_simd_cast_return_type;
3047template <
typename _Tp,
typename _A0,
typename _Up,
typename _Ap>
3048 struct __static_simd_cast_return_type<simd_mask<_Tp, _A0>, _Up, _Ap, false, void>
3049 : __static_simd_cast_return_type<simd<_Tp, _A0>, _Up, _Ap> {};
3051template <
typename _Tp,
typename _Up,
typename _Ap>
3052 struct __static_simd_cast_return_type<
3053 _Tp, _Up, _Ap, true,
enable_if_t<_Tp::size() == simd_size_v<_Up, _Ap>>>
3054 {
using type = _Tp; };
3056template <
typename _Tp,
typename _Ap>
3057 struct __static_simd_cast_return_type<_Tp, _Tp, _Ap, false,
3058#ifdef _GLIBCXX_SIMD_FIX_P2TS_ISSUE66
3064 {
using type = simd<_Tp, _Ap>; };
3066template <
typename _Tp,
typename =
void>
3067 struct __safe_make_signed {
using type = _Tp;};
3069template <
typename _Tp>
3070 struct __safe_make_signed<_Tp,
enable_if_t<is_integral_v<_Tp>>>
3073 using type = make_signed_t<make_unsigned_t<_Tp>>;
3076template <
typename _Tp>
3077 using safe_make_signed_t =
typename __safe_make_signed<_Tp>::type;
3079template <
typename _Tp,
typename _Up,
typename _Ap>
3080 struct __static_simd_cast_return_type<_Tp, _Up, _Ap, false,
3081#ifdef _GLIBCXX_SIMD_FIX_P2TS_ISSUE66
3089 (is_integral_v<_Up> && is_integral_v<_Tp> &&
3090#ifndef _GLIBCXX_SIMD_FIX_P2TS_ISSUE65
3091 is_signed_v<_Up> != is_signed_v<_Tp> &&
3093 is_same_v<safe_make_signed_t<_Up>, safe_make_signed_t<_Tp>>),
3094 simd<_Tp, _Ap>, fixed_size_simd<_Tp, simd_size_v<_Up, _Ap>>>;
3097template <
typename _Tp,
typename _Up,
typename _Ap,
3099 =
typename __static_simd_cast_return_type<_Tp, _Up, _Ap>::type>
3100 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _R
3101 static_simd_cast(
const simd<_Up, _Ap>& __x)
3103 if constexpr (is_same<_R, simd<_Up, _Ap>>::value)
3107 _SimdConverter<_Up, _Ap, typename _R::value_type, typename _R::abi_type>
3109 return _R(__private_init, __c(__data(__x)));
3113namespace __proposed {
3114template <
typename _Tp,
typename _Up,
typename _Ap,
3116 =
typename __static_simd_cast_return_type<_Tp, _Up, _Ap>::type>
3117 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
typename _R::mask_type
3118 static_simd_cast(
const simd_mask<_Up, _Ap>& __x)
3120 using _RM =
typename _R::mask_type;
3121 return {__private_init, _RM::abi_type::_MaskImpl::template _S_convert<
3122 typename _RM::simd_type::value_type>(__x)};
3125template <
typename _To,
typename _Up,
typename _Abi>
3126 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3128 simd_bit_cast(
const simd<_Up, _Abi>& __x)
3130 using _Tp =
typename _To::value_type;
3131 using _ToMember =
typename _SimdTraits<_Tp, typename _To::abi_type>::_SimdMember;
3132 using _From = simd<_Up, _Abi>;
3133 using _FromMember =
typename _SimdTraits<_Up, _Abi>::_SimdMember;
3135 static_assert(
sizeof(_To) ==
sizeof(_From));
3136 static_assert(is_trivially_copyable_v<_Tp> && is_trivially_copyable_v<_Up>);
3137 static_assert(is_trivially_copyable_v<_ToMember> && is_trivially_copyable_v<_FromMember>);
3138#if __has_builtin(__builtin_bit_cast)
3139 return {__private_init, __builtin_bit_cast(_ToMember, __data(__x))};
3141 return {__private_init, __bit_cast<_ToMember>(__data(__x))};
3145template <
typename _To,
typename _Up,
typename _Abi>
3146 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3148 simd_bit_cast(
const simd_mask<_Up, _Abi>& __x)
3150 using _From = simd_mask<_Up, _Abi>;
3151 static_assert(
sizeof(_To) ==
sizeof(_From));
3152 static_assert(is_trivially_copyable_v<_From>);
3155 if constexpr (is_simd_v<_To>)
3157 using _Tp =
typename _To::value_type;
3158 using _ToMember =
typename _SimdTraits<_Tp, typename _To::abi_type>::_SimdMember;
3159 static_assert(is_trivially_copyable_v<_ToMember>);
3160#if __has_builtin(__builtin_bit_cast)
3161 return {__private_init, __builtin_bit_cast(_ToMember, __x)};
3163 return {__private_init, __bit_cast<_ToMember>(__x)};
3168 static_assert(is_trivially_copyable_v<_To>);
3169#if __has_builtin(__builtin_bit_cast)
3170 return __builtin_bit_cast(_To, __x);
3172 return __bit_cast<_To>(__x);
3179template <
typename _Tp,
typename _Up,
typename _Ap,
3180 typename _To = __value_type_or_identity_t<_Tp>>
3181 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
auto
3182 simd_cast(
const simd<_ValuePreserving<_Up, _To>, _Ap>& __x)
3183 ->
decltype(static_simd_cast<_Tp>(__x))
3184 {
return static_simd_cast<_Tp>(__x); }
3186namespace __proposed {
3187template <
typename _Tp,
typename _Up,
typename _Ap,
3188 typename _To = __value_type_or_identity_t<_Tp>>
3189 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
auto
3190 simd_cast(
const simd_mask<_ValuePreserving<_Up, _To>, _Ap>& __x)
3191 ->
decltype(static_simd_cast<_Tp>(__x))
3192 {
return static_simd_cast<_Tp>(__x); }
3197namespace __proposed {
3224template <
typename _Tp,
typename _Up,
typename _Ap>
3225 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
enable_if_t<
3226 conjunction_v<is_simd<_Tp>, is_same<typename _Tp::value_type, _Up>>, _Tp>
3227 resizing_simd_cast(
const simd<_Up, _Ap>& __x)
3229 if constexpr (is_same_v<typename _Tp::abi_type, _Ap>)
3231 else if (__builtin_is_constant_evaluated())
3232 return _Tp([&](
auto __i)
constexpr {
3233 return __i < simd_size_v<_Up, _Ap> ? __x[__i] : _Up();
3235 else if constexpr (simd_size_v<_Up, _Ap> == 1)
3241 else if constexpr (_Tp::size() == 1)
3243 else if constexpr (
sizeof(_Tp) ==
sizeof(__x)
3244 && !__is_fixed_size_abi_v<_Ap>)
3245 return {__private_init,
3246 __vector_bitcast<typename _Tp::value_type, _Tp::size()>(
3247 _Ap::_S_masked(__data(__x))._M_data)};
3251 __builtin_memcpy(&__data(__r), &__data(__x),
3253 *
std::min(_Tp::size(), simd_size_v<_Up, _Ap>));
3258template <
typename _Tp,
typename _Up,
typename _Ap>
3259 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3260 enable_if_t<is_simd_mask_v<_Tp>, _Tp>
3261 resizing_simd_cast(
const simd_mask<_Up, _Ap>& __x)
3263 return {__private_init, _Tp::abi_type::_MaskImpl::template _S_convert<
3264 typename _Tp::simd_type::value_type>(__x)};
3270template <
typename _Tp,
int _Np>
3271 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd<_Tp, _Np>
3272 to_fixed_size(
const fixed_size_simd<_Tp, _Np>& __x)
3275template <
typename _Tp,
int _Np>
3276 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd_mask<_Tp, _Np>
3277 to_fixed_size(
const fixed_size_simd_mask<_Tp, _Np>& __x)
3280template <
typename _Tp,
typename _Ap>
3281 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd<_Tp, simd_size_v<_Tp, _Ap>>
3282 to_fixed_size(
const simd<_Tp, _Ap>& __x)
3284 using _Rp = fixed_size_simd<_Tp, simd_size_v<_Tp, _Ap>>;
3285 return _Rp([&__x](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3288template <
typename _Tp,
typename _Ap>
3289 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd_mask<_Tp, simd_size_v<_Tp, _Ap>>
3290 to_fixed_size(
const simd_mask<_Tp, _Ap>& __x)
3292 return {__private_init,
3293 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; }};
3297template <
typename _Tp,
int _Np>
3298 _GLIBCXX_SIMD_INTRINSIC
3299 enable_if_t<(_Np == native_simd<_Tp>::size()), native_simd<_Tp>>
3300 to_native(
const fixed_size_simd<_Tp, _Np>& __x)
3302 alignas(memory_alignment_v<native_simd<_Tp>>) _Tp __mem[_Np];
3303 __x.copy_to(__mem, vector_aligned);
3304 return {__mem, vector_aligned};
3307template <
typename _Tp,
int _Np>
3308 _GLIBCXX_SIMD_INTRINSIC
3309 enable_if_t<(_Np == native_simd_mask<_Tp>::size()), native_simd_mask<_Tp>>
3310 to_native(
const fixed_size_simd_mask<_Tp, _Np>& __x)
3312 return native_simd_mask<_Tp>(
3314 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3318template <
typename _Tp,
int _Np>
3319 _GLIBCXX_SIMD_INTRINSIC
enable_if_t<(_Np == simd<_Tp>::size()), simd<_Tp>>
3320 to_compatible(
const simd<_Tp, simd_abi::fixed_size<_Np>>& __x)
3322 alignas(memory_alignment_v<simd<_Tp>>) _Tp __mem[_Np];
3323 __x.copy_to(__mem, vector_aligned);
3324 return {__mem, vector_aligned};
3327template <
typename _Tp,
int _Np>
3328 _GLIBCXX_SIMD_INTRINSIC
3329 enable_if_t<(_Np == simd_mask<_Tp>::size()), simd_mask<_Tp>>
3330 to_compatible(
const simd_mask<_Tp, simd_abi::fixed_size<_Np>>& __x)
3332 return simd_mask<_Tp>(
3334 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3341template <
typename _M,
typename _Tp>
3342 class const_where_expression
3345 static_assert(is_same_v<_V, __remove_cvref_t<_Tp>>);
3347 struct _Wrapper {
using value_type = _V; };
3350 using _Impl =
typename _V::_Impl;
3353 typename conditional_t<is_arithmetic_v<_V>, _Wrapper, _V>::value_type;
3355 _GLIBCXX_SIMD_INTRINSIC
friend const _M&
3356 __get_mask(
const const_where_expression& __x)
3357 {
return __x._M_k; }
3359 _GLIBCXX_SIMD_INTRINSIC
friend const _Tp&
3360 __get_lvalue(
const const_where_expression& __x)
3361 {
return __x._M_value; }
3367 const_where_expression(
const const_where_expression&) =
delete;
3369 const_where_expression& operator=(
const const_where_expression&) =
delete;
3371 _GLIBCXX_SIMD_INTRINSIC
constexpr
3372 const_where_expression(
const _M& __kk,
const _Tp& dd)
3373 : _M_k(__kk), _M_value(const_cast<_Tp&>(dd)) {}
3375 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3378 return {__private_init,
3379 _Impl::template _S_masked_unary<negate>(__data(_M_k),
3383 template <
typename _Up,
typename _Flags>
3384 [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3385 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3387 return {__private_init,
3388 _Impl::_S_masked_load(__data(_M_value), __data(_M_k),
3389 _Flags::template _S_apply<_V>(__mem))};
3392 template <
typename _Up,
typename _Flags>
3393 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3394 copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3396 _Impl::_S_masked_store(__data(_M_value),
3397 _Flags::template _S_apply<_V>(__mem),
3403template <
typename _Tp>
3404 class const_where_expression<bool, _Tp>
3409 static_assert(is_same_v<_V, __remove_cvref_t<_Tp>>);
3411 struct _Wrapper {
using value_type = _V; };
3415 =
typename conditional_t<is_arithmetic_v<_V>, _Wrapper, _V>::value_type;
3417 _GLIBCXX_SIMD_INTRINSIC
friend const _M&
3418 __get_mask(
const const_where_expression& __x)
3419 {
return __x._M_k; }
3421 _GLIBCXX_SIMD_INTRINSIC
friend const _Tp&
3422 __get_lvalue(
const const_where_expression& __x)
3423 {
return __x._M_value; }
3429 const_where_expression(
const const_where_expression&) =
delete;
3430 const_where_expression& operator=(
const const_where_expression&) =
delete;
3432 _GLIBCXX_SIMD_INTRINSIC
constexpr
3433 const_where_expression(
const bool __kk,
const _Tp& dd)
3434 : _M_k(__kk), _M_value(const_cast<_Tp&>(dd)) {}
3436 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3438 {
return _M_k ? -_M_value : _M_value; }
3440 template <
typename _Up,
typename _Flags>
3441 [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3442 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3443 {
return _M_k ?
static_cast<_V
>(__mem[0]) : _M_value; }
3445 template <
typename _Up,
typename _Flags>
3446 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3447 copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3450 __mem[0] = _M_value;
3455template <
typename _M,
typename _Tp>
3456 class where_expression :
public const_where_expression<_M, _Tp>
3458 using _Impl =
typename const_where_expression<_M, _Tp>::_Impl;
3460 static_assert(!is_const<_Tp>::value,
3461 "where_expression may only be instantiated with __a non-const "
3464 using typename const_where_expression<_M, _Tp>::value_type;
3465 using const_where_expression<_M, _Tp>::_M_k;
3466 using const_where_expression<_M, _Tp>::_M_value;
3469 is_same<typename _M::abi_type, typename _Tp::abi_type>::value,
"");
3470 static_assert(_M::size() == _Tp::size(),
"");
3472 _GLIBCXX_SIMD_INTRINSIC
friend constexpr _Tp&
3473 __get_lvalue(where_expression& __x)
3474 {
return __x._M_value; }
3477 where_expression(
const where_expression&) =
delete;
3478 where_expression& operator=(
const where_expression&) =
delete;
3480 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3481 where_expression(
const _M& __kk, _Tp& dd)
3482 : const_where_expression<_M, _Tp>(__kk, dd) {}
3484 template <
typename _Up>
3485 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3486 operator=(_Up&& __x) &&
3488 _Impl::_S_masked_assign(__data(_M_k), __data(_M_value),
3489 __to_value_type_or_member_type<_Tp>(
3490 static_cast<_Up&&
>(__x)));
3493#define _GLIBCXX_SIMD_OP_(__op, __name) \
3494 template <typename _Up> \
3495 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR void \
3496 operator __op##=(_Up&& __x)&& \
3498 _Impl::template _S_masked_cassign( \
3499 __data(_M_k), __data(_M_value), \
3500 __to_value_type_or_member_type<_Tp>(static_cast<_Up&&>(__x)), \
3501 [](auto __impl, auto __lhs, auto __rhs) \
3502 constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA \
3503 { return __impl.__name(__lhs, __rhs); }); \
3506 _GLIBCXX_SIMD_OP_(+, _S_plus);
3507 _GLIBCXX_SIMD_OP_(-, _S_minus);
3508 _GLIBCXX_SIMD_OP_(*, _S_multiplies);
3509 _GLIBCXX_SIMD_OP_(/, _S_divides);
3510 _GLIBCXX_SIMD_OP_(%, _S_modulus);
3511 _GLIBCXX_SIMD_OP_(&, _S_bit_and);
3512 _GLIBCXX_SIMD_OP_(|, _S_bit_or);
3513 _GLIBCXX_SIMD_OP_(^, _S_bit_xor);
3514 _GLIBCXX_SIMD_OP_(<<, _S_shift_left);
3515 _GLIBCXX_SIMD_OP_(>>, _S_shift_right);
3516#undef _GLIBCXX_SIMD_OP_
3518 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3522 = _Impl::template _S_masked_unary<__increment>(__data(_M_k), __data(_M_value));
3525 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3529 = _Impl::template _S_masked_unary<__increment>(__data(_M_k), __data(_M_value));
3532 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3536 = _Impl::template _S_masked_unary<__decrement>(__data(_M_k), __data(_M_value));
3539 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3543 = _Impl::template _S_masked_unary<__decrement>(__data(_M_k), __data(_M_value));
3547 template <
typename _Up,
typename _Flags>
3548 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3549 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) &&
3551 __data(_M_value) = _Impl::_S_masked_load(__data(_M_value), __data(_M_k),
3552 _Flags::template _S_apply<_Tp>(__mem));
3557template <
typename _Tp>
3558 class where_expression<bool, _Tp>
3559 :
public const_where_expression<bool, _Tp>
3562 using typename const_where_expression<_M, _Tp>::value_type;
3563 using const_where_expression<_M, _Tp>::_M_k;
3564 using const_where_expression<_M, _Tp>::_M_value;
3567 where_expression(
const where_expression&) =
delete;
3568 where_expression& operator=(
const where_expression&) =
delete;
3570 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3571 where_expression(
const _M& __kk, _Tp& dd)
3572 : const_where_expression<_M, _Tp>(__kk, dd) {}
3574#define _GLIBCXX_SIMD_OP_(__op) \
3575 template <typename _Up> \
3576 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR void \
3577 operator __op(_Up&& __x)&& \
3578 { if (_M_k) _M_value __op static_cast<_Up&&>(__x); }
3580 _GLIBCXX_SIMD_OP_(=)
3581 _GLIBCXX_SIMD_OP_(+=)
3582 _GLIBCXX_SIMD_OP_(-=)
3583 _GLIBCXX_SIMD_OP_(*=)
3584 _GLIBCXX_SIMD_OP_(/=)
3585 _GLIBCXX_SIMD_OP_(%=)
3586 _GLIBCXX_SIMD_OP_(&=)
3587 _GLIBCXX_SIMD_OP_(|=)
3588 _GLIBCXX_SIMD_OP_(^=)
3589 _GLIBCXX_SIMD_OP_(<<=)
3590 _GLIBCXX_SIMD_OP_(>>=)
3591 #undef _GLIBCXX_SIMD_OP_
3593 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3595 {
if (_M_k) ++_M_value; }
3597 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3599 {
if (_M_k) ++_M_value; }
3601 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3603 {
if (_M_k) --_M_value; }
3605 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3607 {
if (_M_k) --_M_value; }
3610 template <
typename _Up,
typename _Flags>
3611 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3612 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) &&
3613 {
if (_M_k) _M_value = __mem[0]; }
3617template <
typename _Tp,
typename _Ap>
3618 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3619 where_expression<simd_mask<_Tp, _Ap>, simd<_Tp, _Ap>>
3620 where(
const typename simd<_Tp, _Ap>::mask_type& __k, simd<_Tp, _Ap>& __value)
3621 {
return {__k, __value}; }
3623template <
typename _Tp,
typename _Ap>
3624 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3625 const_where_expression<simd_mask<_Tp, _Ap>, simd<_Tp, _Ap>>
3626 where(
const typename simd<_Tp, _Ap>::mask_type& __k,
const simd<_Tp, _Ap>& __value)
3627 {
return {__k, __value}; }
3629template <
typename _Tp,
typename _Ap>
3630 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3631 where_expression<simd_mask<_Tp, _Ap>, simd_mask<_Tp, _Ap>>
3632 where(
const remove_const_t<simd_mask<_Tp, _Ap>>& __k, simd_mask<_Tp, _Ap>& __value)
3633 {
return {__k, __value}; }
3635template <
typename _Tp,
typename _Ap>
3636 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3637 const_where_expression<simd_mask<_Tp, _Ap>, simd_mask<_Tp, _Ap>>
3638 where(
const remove_const_t<simd_mask<_Tp, _Ap>>& __k,
const simd_mask<_Tp, _Ap>& __value)
3639 {
return {__k, __value}; }
3641template <
typename _Tp>
3642 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR where_expression<bool, _Tp>
3643 where(_ExactBool __k, _Tp& __value)
3644 {
return {__k, __value}; }
3646template <
typename _Tp>
3647 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR const_where_expression<bool, _Tp>
3648 where(_ExactBool __k,
const _Tp& __value)
3649 {
return {__k, __value}; }
3651template <
typename _Tp,
typename _Ap>
3652 _GLIBCXX_SIMD_CONSTEXPR
void
3653 where(
bool __k, simd<_Tp, _Ap>& __value) =
delete;
3655template <
typename _Tp,
typename _Ap>
3656 _GLIBCXX_SIMD_CONSTEXPR
void
3657 where(
bool __k,
const simd<_Tp, _Ap>& __value) =
delete;
3660namespace __proposed {
3661template <
size_t _Np>
3664 const bitset<_Np> __bits;
3667 where_range(bitset<_Np> __b) : __bits(__b) {}
3674 _GLIBCXX_SIMD_INTRINSIC
void
3676 { __bit = __builtin_ctzl(__mask); }
3678 _GLIBCXX_SIMD_INTRINSIC
void
3682 __mask &= (__mask - 1);
3687 iterator(
decltype(__mask) __m) : __mask(__m) { __next_bit(); }
3688 iterator(
const iterator&) =
default;
3689 iterator(iterator&&) =
default;
3691 _GLIBCXX_SIMD_ALWAYS_INLINE
size_t
3695 _GLIBCXX_SIMD_ALWAYS_INLINE
size_t
3699 _GLIBCXX_SIMD_ALWAYS_INLINE iterator&
3707 _GLIBCXX_SIMD_ALWAYS_INLINE iterator
3710 iterator __tmp = *
this;
3716 _GLIBCXX_SIMD_ALWAYS_INLINE
bool
3717 operator==(
const iterator& __rhs)
const
3718 {
return __mask == __rhs.__mask; }
3720 _GLIBCXX_SIMD_ALWAYS_INLINE
bool
3721 operator!=(
const iterator& __rhs)
const
3722 {
return __mask != __rhs.__mask; }
3727 {
return __bits.to_ullong(); }
3734template <
typename _Tp,
typename _Ap>
3735 where_range<simd_size_v<_Tp, _Ap>>
3736 where(
const simd_mask<_Tp, _Ap>& __k)
3737 {
return __k.__to_bitset(); }
3743template <
typename _Tp,
typename _Abi,
typename _BinaryOperation = plus<>>
3744 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3745 reduce(
const simd<_Tp, _Abi>& __v, _BinaryOperation __binary_op = _BinaryOperation())
3746 {
return _Abi::_SimdImpl::_S_reduce(__v, __binary_op); }
3748template <
typename _M,
typename _V,
typename _BinaryOperation = plus<>>
3749 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3750 reduce(
const const_where_expression<_M, _V>& __x,
3751 typename _V::value_type __identity_element, _BinaryOperation __binary_op)
3753 if (__builtin_expect(none_of(__get_mask(__x)),
false))
3754 return __identity_element;
3756 _V __tmp = __identity_element;
3757 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
3758 __data(__get_lvalue(__x)));
3759 return reduce(__tmp, __binary_op);
3762template <
typename _M,
typename _V>
3763 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3764 reduce(
const const_where_expression<_M, _V>& __x, plus<> __binary_op = {})
3765 {
return reduce(__x, 0, __binary_op); }
3767template <
typename _M,
typename _V>
3768 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3769 reduce(
const const_where_expression<_M, _V>& __x, multiplies<> __binary_op)
3770 {
return reduce(__x, 1, __binary_op); }
3772template <
typename _M,
typename _V>
3773 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3774 reduce(
const const_where_expression<_M, _V>& __x, bit_and<> __binary_op)
3775 {
return reduce(__x, ~
typename _V::value_type(), __binary_op); }
3777template <
typename _M,
typename _V>
3778 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3779 reduce(
const const_where_expression<_M, _V>& __x, bit_or<> __binary_op)
3780 {
return reduce(__x, 0, __binary_op); }
3782template <
typename _M,
typename _V>
3783 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3784 reduce(
const const_where_expression<_M, _V>& __x, bit_xor<> __binary_op)
3785 {
return reduce(__x, 0, __binary_op); }
3787template <
typename _Tp,
typename _Abi>
3788 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3789 hmin(
const simd<_Tp, _Abi>& __v)
noexcept
3790 {
return _Abi::_SimdImpl::_S_reduce(__v, __detail::_Minimum()); }
3792template <
typename _Tp,
typename _Abi>
3793 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3794 hmax(
const simd<_Tp, _Abi>& __v)
noexcept
3795 {
return _Abi::_SimdImpl::_S_reduce(__v, __detail::_Maximum()); }
3797template <
typename _M,
typename _V>
3798 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3799 typename _V::value_type
3800 hmin(
const const_where_expression<_M, _V>& __x)
noexcept
3802 using _Tp =
typename _V::value_type;
3803 constexpr _Tp __id_elem =
3804#ifdef __FINITE_MATH_ONLY__
3805 __finite_max_v<_Tp>;
3807 __value_or<__infinity, _Tp>(__finite_max_v<_Tp>);
3809 _V __tmp = __id_elem;
3810 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
3811 __data(__get_lvalue(__x)));
3812 return _V::abi_type::_SimdImpl::_S_reduce(__tmp, __detail::_Minimum());
3815template <
typename _M,
typename _V>
3816 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3817 typename _V::value_type
3818 hmax(
const const_where_expression<_M, _V>& __x)
noexcept
3820 using _Tp =
typename _V::value_type;
3821 constexpr _Tp __id_elem =
3822#ifdef __FINITE_MATH_ONLY__
3823 __finite_min_v<_Tp>;
3826 if constexpr (__value_exists_v<__infinity, _Tp>)
3827 return -__infinity_v<_Tp>;
3829 return __finite_min_v<_Tp>;
3832 _V __tmp = __id_elem;
3833 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
3834 __data(__get_lvalue(__x)));
3835 return _V::abi_type::_SimdImpl::_S_reduce(__tmp, __detail::_Maximum());
3840template <
typename _Tp,
typename _Ap>
3841 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
3842 min(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
3843 {
return {__private_init, _Ap::_SimdImpl::_S_min(__data(__a), __data(__b))}; }
3845template <
typename _Tp,
typename _Ap>
3846 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
3847 max(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
3848 {
return {__private_init, _Ap::_SimdImpl::_S_max(__data(__a), __data(__b))}; }
3850template <
typename _Tp,
typename _Ap>
3851 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3852 pair<simd<_Tp, _Ap>, simd<_Tp, _Ap>>
3853 minmax(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
3855 const auto pair_of_members
3856 = _Ap::_SimdImpl::_S_minmax(__data(__a), __data(__b));
3857 return {simd<_Tp, _Ap>(__private_init, pair_of_members.first),
3858 simd<_Tp, _Ap>(__private_init, pair_of_members.second)};
3861template <
typename _Tp,
typename _Ap>
3862 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
3863 clamp(
const simd<_Tp, _Ap>& __v,
const simd<_Tp, _Ap>& __lo,
const simd<_Tp, _Ap>& __hi)
3865 using _Impl =
typename _Ap::_SimdImpl;
3866 return {__private_init,
3867 _Impl::_S_min(__data(__hi),
3868 _Impl::_S_max(__data(__lo), __data(__v)))};
3873template <
size_t... _Sizes,
typename _Tp,
typename _Ap,
3874 typename =
enable_if_t<((_Sizes + ...) == simd<_Tp, _Ap>::size())>>
3875 inline tuple<simd<_Tp, simd_abi::deduce_t<_Tp, _Sizes>>...>
3876 split(
const simd<_Tp, _Ap>&);
3879template <
int _Index,
int _Total,
int _Combine = 1,
typename _Tp,
size_t _Np>
3880 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_CONST
constexpr
3881 _SimdWrapper<_Tp, _Np / _Total * _Combine>
3882 __extract_part(
const _SimdWrapper<_Tp, _Np> __x);
3884template <
int _Index,
int _Parts,
int _Combine = 1,
typename _Tp,
typename _A0,
typename... _As>
3885 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
3886 __extract_part(
const _SimdTuple<_Tp, _A0, _As...>& __x);
3890template <
size_t _V0,
size_t... _Values>
3893 template <
size_t _I>
3894 static constexpr size_t
3895 _S_at(_SizeConstant<_I> = {})
3897 if constexpr (_I == 0)
3900 return _SizeList<_Values...>::template _S_at<_I - 1>();
3903 template <
size_t _I>
3904 static constexpr auto
3905 _S_before(_SizeConstant<_I> = {})
3907 if constexpr (_I == 0)
3908 return _SizeConstant<0>();
3910 return _SizeConstant<
3911 _V0 + _SizeList<_Values...>::template _S_before<_I - 1>()>();
3914 template <
size_t _Np>
3915 static constexpr auto
3916 _S_pop_front(_SizeConstant<_Np> = {})
3918 if constexpr (_Np == 0)
3921 return _SizeList<_Values...>::template _S_pop_front<_Np - 1>();
3927template <
typename _Tp,
size_t _Np>
3928 _GLIBCXX_SIMD_INTRINSIC _SimdWrapper<_Tp, _Np / 2>
3929 __extract_center(_SimdWrapper<_Tp, _Np> __x)
3931 static_assert(_Np >= 4);
3932 static_assert(_Np % 4 == 0);
3933#if _GLIBCXX_SIMD_X86INTRIN
3934 if constexpr (__have_avx512f &&
sizeof(_Tp) * _Np == 64)
3936 const auto __intrin = __to_intrin(__x);
3937 if constexpr (is_integral_v<_Tp>)
3938 return __vector_bitcast<_Tp>(_mm512_castsi512_si256(
3939 _mm512_shuffle_i32x4(__intrin, __intrin,
3940 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
3941 else if constexpr (
sizeof(_Tp) == 4)
3942 return __vector_bitcast<_Tp>(_mm512_castps512_ps256(
3943 _mm512_shuffle_f32x4(__intrin, __intrin,
3944 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
3945 else if constexpr (
sizeof(_Tp) == 8)
3946 return __vector_bitcast<_Tp>(_mm512_castpd512_pd256(
3947 _mm512_shuffle_f64x2(__intrin, __intrin,
3948 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
3950 __assert_unreachable<_Tp>();
3952 else if constexpr (
sizeof(_Tp) * _Np == 32 && is_floating_point_v<_Tp>)
3953 return __vector_bitcast<_Tp>(
3954 _mm_shuffle_pd(__lo128(__vector_bitcast<double>(__x)),
3955 __hi128(__vector_bitcast<double>(__x)), 1));
3956 else if constexpr (
sizeof(__x) == 32 &&
sizeof(_Tp) * _Np <= 32)
3957 return __vector_bitcast<_Tp>(
3958 _mm_alignr_epi8(__hi128(__vector_bitcast<_LLong>(__x)),
3959 __lo128(__vector_bitcast<_LLong>(__x)),
3960 sizeof(_Tp) * _Np / 4));
3964 __vector_type_t<_Tp, _Np / 2> __r;
3965 __builtin_memcpy(&__r,
3966 reinterpret_cast<const char*
>(&__x)
3967 +
sizeof(_Tp) * _Np / 4,
3968 sizeof(_Tp) * _Np / 2);
3973template <
typename _Tp,
typename _A0,
typename... _As>
3974 _GLIBCXX_SIMD_INTRINSIC
3975 _SimdWrapper<_Tp, _SimdTuple<_Tp, _A0, _As...>::_S_size() / 2>
3976 __extract_center(
const _SimdTuple<_Tp, _A0, _As...>& __x)
3978 if constexpr (
sizeof...(_As) == 0)
3979 return __extract_center(__x.first);
3981 return __extract_part<1, 4, 2>(__x);
3986template <
size_t... _Sizes,
typename _Tp,
typename... _As>
3988 __split_wrapper(_SizeList<_Sizes...>,
const _SimdTuple<_Tp, _As...>& __x)
3990 return split<_Sizes...>(
3991 fixed_size_simd<_Tp, _SimdTuple<_Tp, _As...>::_S_size()>(__private_init,
3998template <
typename _V,
typename _Ap,
3999 size_t _Parts = simd_size_v<typename _V::value_type, _Ap> / _V::size()>
4000 enable_if_t<simd_size_v<typename _V::value_type, _Ap> == _Parts * _V::size()
4001 && is_simd_v<_V>, array<_V, _Parts>>
4002 split(
const simd<typename _V::value_type, _Ap>& __x)
4004 using _Tp =
typename _V::value_type;
4005 if constexpr (_Parts == 1)
4007 return {simd_cast<_V>(__x)};
4009 else if (__x._M_is_constprop())
4011 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4012 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4013 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4014 {
return __x[__i * _V::size() + __j]; });
4018 __is_fixed_size_abi_v<_Ap>
4019 && (is_same_v<typename _V::abi_type, simd_abi::scalar>
4020 || (__is_fixed_size_abi_v<typename _V::abi_type>
4021 &&
sizeof(_V) ==
sizeof(_Tp) * _V::size()
4025#ifdef _GLIBCXX_SIMD_USE_ALIASING_LOADS
4026 const __may_alias<_Tp>*
const __element_ptr
4027 =
reinterpret_cast<const __may_alias<_Tp>*
>(&__data(__x));
4028 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4029 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4030 {
return _V(__element_ptr + __i * _V::size(), vector_aligned); });
4032 const auto& __xx = __data(__x);
4033 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4034 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4035 [[maybe_unused]]
constexpr size_t __offset
4036 =
decltype(__i)::value * _V::size();
4037 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4038 constexpr _SizeConstant<__j + __offset> __k;
4044 else if constexpr (is_same_v<typename _V::abi_type, simd_abi::scalar>)
4047 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4048 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
4052 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4053 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4054 if constexpr (__is_fixed_size_abi_v<typename _V::abi_type>)
4055 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4056 return __x[__i * _V::size() + __j];
4059 return _V(__private_init,
4060 __extract_part<
decltype(__i)::value, _Parts>(__data(__x)));
4067template <
typename _V,
typename _Ap,
4068 size_t _Parts = simd_size_v<typename _V::simd_type::value_type, _Ap> / _V::size()>
4069 enable_if_t<is_simd_mask_v<_V> && simd_size_v<
typename
4070 _V::simd_type::value_type, _Ap> == _Parts * _V::size(), array<_V, _Parts>>
4071 split(
const simd_mask<typename _V::simd_type::value_type, _Ap>& __x)
4073 if constexpr (is_same_v<_Ap, typename _V::abi_type>)
4075 else if constexpr (_Parts == 1)
4076 return {__proposed::static_simd_cast<_V>(__x)};
4077 else if constexpr (_Parts == 2 && __is_sse_abi<typename _V::abi_type>()
4078 && __is_avx_abi<_Ap>())
4079 return {_V(__private_init, __lo128(__data(__x))),
4080 _V(__private_init, __hi128(__data(__x)))};
4081 else if constexpr (_V::size() <= __CHAR_BIT__ *
sizeof(_ULLong))
4083 const bitset __bits = __x.__to_bitset();
4084 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4085 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4086 constexpr size_t __offset = __i * _V::size();
4087 return _V(__bitset_init, (__bits >> __offset).to_ullong());
4092 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4093 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4094 constexpr size_t __offset = __i * _V::size();
4095 return _V(__private_init,
4096 [&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4097 return __x[__j + __offset];
4105template <
size_t... _Sizes,
typename _Tp,
typename _Ap,
typename>
4106 _GLIBCXX_SIMD_ALWAYS_INLINE
4107 tuple<simd<_Tp, simd_abi::deduce_t<_Tp, _Sizes>>...>
4108 split(
const simd<_Tp, _Ap>& __x)
4110 using _SL = _SizeList<_Sizes...>;
4111 using _Tuple = tuple<__deduced_simd<_Tp, _Sizes>...>;
4112 constexpr size_t _Np = simd_size_v<_Tp, _Ap>;
4113 constexpr size_t _N0 = _SL::template _S_at<0>();
4114 using _V = __deduced_simd<_Tp, _N0>;
4116 if (__x._M_is_constprop())
4117 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4118 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4119 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4120 constexpr size_t __offset = _SL::_S_before(__i);
4121 return _Vi([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4122 return __x[__offset + __j];
4125 else if constexpr (_Np == _N0)
4127 static_assert(
sizeof...(_Sizes) == 1);
4128 return {simd_cast<_V>(__x)};
4131 (__is_fixed_size_abi_v<
4132 _Ap> && __fixed_size_storage_t<_Tp, _Np>::_S_first_size == _N0)
4135 !__is_fixed_size_abi_v<typename _V::abi_type>,
4136 "How can <_Tp, _Np> be __a single _SimdTuple entry but __a "
4141 return tuple_cat(make_tuple(_V(__private_init, __data(__x).first)),
4142 __split_wrapper(_SL::template _S_pop_front<1>(),
4143 __data(__x).second));
4145 else if constexpr ((!is_same_v<simd_abi::scalar,
4146 simd_abi::deduce_t<_Tp, _Sizes>> && ...)
4147 && (!__is_fixed_size_abi_v<
4148 simd_abi::deduce_t<_Tp, _Sizes>> && ...))
4150 if constexpr (((_Sizes * 2 == _Np) && ...))
4151 return {{__private_init, __extract_part<0, 2>(__data(__x))},
4152 {__private_init, __extract_part<1, 2>(__data(__x))}};
4153 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4154 _SizeList<_Np / 3, _Np / 3, _Np / 3>>)
4155 return {{__private_init, __extract_part<0, 3>(__data(__x))},
4156 {__private_init, __extract_part<1, 3>(__data(__x))},
4157 {__private_init, __extract_part<2, 3>(__data(__x))}};
4158 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4159 _SizeList<2 * _Np / 3, _Np / 3>>)
4160 return {{__private_init, __extract_part<0, 3, 2>(__data(__x))},
4161 {__private_init, __extract_part<2, 3>(__data(__x))}};
4162 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4163 _SizeList<_Np / 3, 2 * _Np / 3>>)
4164 return {{__private_init, __extract_part<0, 3>(__data(__x))},
4165 {__private_init, __extract_part<1, 3, 2>(__data(__x))}};
4166 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4167 _SizeList<_Np / 2, _Np / 4, _Np / 4>>)
4168 return {{__private_init, __extract_part<0, 2>(__data(__x))},
4169 {__private_init, __extract_part<2, 4>(__data(__x))},
4170 {__private_init, __extract_part<3, 4>(__data(__x))}};
4171 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4172 _SizeList<_Np / 4, _Np / 4, _Np / 2>>)
4173 return {{__private_init, __extract_part<0, 4>(__data(__x))},
4174 {__private_init, __extract_part<1, 4>(__data(__x))},
4175 {__private_init, __extract_part<1, 2>(__data(__x))}};
4176 else if constexpr (is_same_v<_SizeList<_Sizes...>,
4177 _SizeList<_Np / 4, _Np / 2, _Np / 4>>)
4178 return {{__private_init, __extract_part<0, 4>(__data(__x))},
4179 {__private_init, __extract_center(__data(__x))},
4180 {__private_init, __extract_part<3, 4>(__data(__x))}};
4181 else if constexpr (((_Sizes * 4 == _Np) && ...))
4182 return {{__private_init, __extract_part<0, 4>(__data(__x))},
4183 {__private_init, __extract_part<1, 4>(__data(__x))},
4184 {__private_init, __extract_part<2, 4>(__data(__x))},
4185 {__private_init, __extract_part<3, 4>(__data(__x))}};
4188#ifdef _GLIBCXX_SIMD_USE_ALIASING_LOADS
4189 const __may_alias<_Tp>*
const __element_ptr
4190 =
reinterpret_cast<const __may_alias<_Tp>*
>(&__x);
4191 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4192 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4193 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4194 constexpr size_t __offset = _SL::_S_before(__i);
4195 constexpr size_t __base_align =
alignof(simd<_Tp, _Ap>);
4196 constexpr size_t __a
4197 = __base_align - ((__offset *
sizeof(_Tp)) % __base_align);
4198 constexpr size_t __b = ((__a - 1) & __a) ^ __a;
4199 constexpr size_t __alignment = __b == 0 ? __a : __b;
4200 return _Vi(__element_ptr + __offset, overaligned<__alignment>);
4203 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4204 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4205 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4206 const auto& __xx = __data(__x);
4207 using _Offset =
decltype(_SL::_S_before(__i));
4208 return _Vi([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4209 constexpr _SizeConstant<_Offset::value + __j> __k;
4219template <
size_t _I,
typename _Tp,
typename _Ap,
typename... _As>
4220 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
4221 __subscript_in_pack(
const simd<_Tp, _Ap>& __x,
const simd<_Tp, _As>&... __xs)
4223 if constexpr (_I < simd_size_v<_Tp, _Ap>)
4226 return __subscript_in_pack<_I - simd_size_v<_Tp, _Ap>>(__xs...);
4231template <
typename _Tp,
typename _A0,
typename... _As>
4232 _GLIBCXX_SIMD_INTRINSIC
void
4233 __store_pack_of_simd(
char* __mem,
const simd<_Tp, _A0>& __x0,
const simd<_Tp, _As>&... __xs)
4235 constexpr size_t __n_bytes =
sizeof(_Tp) * simd_size_v<_Tp, _A0>;
4236 __builtin_memcpy(__mem, &__data(__x0), __n_bytes);
4237 if constexpr (
sizeof...(__xs) > 0)
4238 __store_pack_of_simd(__mem + __n_bytes, __xs...);
4243template <
typename _Tp,
typename... _As,
typename = __detail::__odr_helper>
4244 inline _GLIBCXX_SIMD_CONSTEXPR
4245 simd<_Tp, simd_abi::deduce_t<_Tp, (simd_size_v<_Tp, _As> + ...)>>
4246 concat(
const simd<_Tp, _As>&... __xs)
4248 using _Rp = __deduced_simd<_Tp, (simd_size_v<_Tp, _As> + ...)>;
4249 if constexpr (
sizeof...(__xs) == 1)
4250 return simd_cast<_Rp>(__xs...);
4251 else if ((... && __xs._M_is_constprop()))
4253 simd_abi::deduce_t<_Tp, (simd_size_v<_Tp, _As> + ...)>>(
4254 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4255 {
return __subscript_in_pack<__i>(__xs...); });
4259 __store_pack_of_simd(
reinterpret_cast<char*
>(&__data(__r)), __xs...);
4266template <
typename _Tp,
typename _Abi,
size_t _Np>
4267 _GLIBCXX_SIMD_ALWAYS_INLINE
4268 _GLIBCXX_SIMD_CONSTEXPR __deduced_simd<_Tp, simd_size_v<_Tp, _Abi> * _Np>
4269 concat(
const array<simd<_Tp, _Abi>, _Np>& __x)
4271 return __call_with_subscripts<_Np>(
4272 __x, [](
const auto&... __xs) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4273 return concat(__xs...);
4281template <
typename _Up,
typename _Accessor = _Up,
4282 typename _ValueType =
typename _Up::value_type>
4283 class _SmartReference
4289 _GLIBCXX_SIMD_INTRINSIC
constexpr _ValueType
4290 _M_read() const noexcept
4292 if constexpr (is_arithmetic_v<_Up>)
4295 return _M_obj[_M_index];
4298 template <
typename _Tp>
4299 _GLIBCXX_SIMD_INTRINSIC
constexpr void
4300 _M_write(_Tp&& __x)
const
4301 { _Accessor::_S_set(_M_obj, _M_index,
static_cast<_Tp&&
>(__x)); }
4304 _GLIBCXX_SIMD_INTRINSIC
constexpr
4305 _SmartReference(_Up& __o,
int __i) noexcept
4306 : _M_index(__i), _M_obj(__o) {}
4308 using value_type = _ValueType;
4310 _GLIBCXX_SIMD_INTRINSIC
4311 _SmartReference(
const _SmartReference&) =
delete;
4313 _GLIBCXX_SIMD_INTRINSIC
constexpr
4314 operator value_type() const noexcept
4315 {
return _M_read(); }
4317 template <
typename _Tp,
typename = _ValuePreservingOrInt<__remove_cvref_t<_Tp>, value_type>>
4318 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4319 operator=(_Tp&& __x) &&
4321 _M_write(
static_cast<_Tp&&
>(__x));
4322 return {_M_obj, _M_index};
4325#define _GLIBCXX_SIMD_OP_(__op) \
4326 template <typename _Tp, \
4327 typename _TT = decltype(declval<value_type>() __op declval<_Tp>()), \
4328 typename = _ValuePreservingOrInt<__remove_cvref_t<_Tp>, _TT>, \
4329 typename = _ValuePreservingOrInt<_TT, value_type>> \
4330 _GLIBCXX_SIMD_INTRINSIC constexpr _SmartReference \
4331 operator __op##=(_Tp&& __x) && \
4333 const value_type& __lhs = _M_read(); \
4334 _M_write(__lhs __op __x); \
4335 return {_M_obj, _M_index}; \
4337 _GLIBCXX_SIMD_ALL_ARITHMETICS(_GLIBCXX_SIMD_OP_);
4338 _GLIBCXX_SIMD_ALL_SHIFTS(_GLIBCXX_SIMD_OP_);
4339 _GLIBCXX_SIMD_ALL_BINARY(_GLIBCXX_SIMD_OP_);
4340#undef _GLIBCXX_SIMD_OP_
4342 template <
typename _Tp = void,
4343 typename =
decltype(++declval<conditional_t<true, value_type, _Tp>&>())>
4344 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4347 value_type __x = _M_read();
4349 return {_M_obj, _M_index};
4352 template <
typename _Tp = void,
4353 typename =
decltype(declval<conditional_t<true, value_type, _Tp>&>()++)>
4354 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
4357 const value_type __r = _M_read();
4358 value_type __x = __r;
4363 template <
typename _Tp = void,
4364 typename =
decltype(--declval<conditional_t<true, value_type, _Tp>&>())>
4365 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4368 value_type __x = _M_read();
4370 return {_M_obj, _M_index};
4373 template <
typename _Tp = void,
4374 typename =
decltype(declval<conditional_t<true, value_type, _Tp>&>()--)>
4375 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
4378 const value_type __r = _M_read();
4379 value_type __x = __r;
4384 _GLIBCXX_SIMD_INTRINSIC
friend void
4385 swap(_SmartReference&& __a, _SmartReference&& __b)
noexcept(
4387 is_nothrow_constructible<value_type, _SmartReference&&>,
4388 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4390 value_type __tmp =
static_cast<_SmartReference&&
>(__a);
4391 static_cast<_SmartReference&&
>(__a) =
static_cast<value_type
>(__b);
4392 static_cast<_SmartReference&&
>(__b) =
std::move(__tmp);
4395 _GLIBCXX_SIMD_INTRINSIC
friend void
4396 swap(value_type& __a, _SmartReference&& __b)
noexcept(
4398 is_nothrow_constructible<value_type, value_type&&>,
4399 is_nothrow_assignable<value_type&, value_type&&>,
4400 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4403 __a =
static_cast<value_type
>(__b);
4404 static_cast<_SmartReference&&
>(__b) =
std::move(__tmp);
4407 _GLIBCXX_SIMD_INTRINSIC
friend void
4408 swap(_SmartReference&& __a, value_type& __b)
noexcept(
4410 is_nothrow_constructible<value_type, _SmartReference&&>,
4411 is_nothrow_assignable<value_type&, value_type&&>,
4412 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4414 value_type __tmp(__a);
4415 static_cast<_SmartReference&&
>(__a) =
std::move(__b);
4422template <
int _Bytes>
4423 struct __scalar_abi_wrapper
4425 template <
typename _Tp>
static constexpr size_t _S_full_size = 1;
4426 template <
typename _Tp>
static constexpr size_t _S_size = 1;
4427 template <
typename _Tp>
static constexpr size_t _S_is_partial =
false;
4429 template <
typename _Tp,
typename _Abi = simd_abi::scalar>
4430 static constexpr bool _S_is_valid_v
4431 = _Abi::template _IsValid<_Tp>::value &&
sizeof(_Tp) == _Bytes;
4436template <
typename _Tp>
4437 struct __decay_abi {
using type = _Tp; };
4439template <
int _Bytes>
4440 struct __decay_abi<__scalar_abi_wrapper<_Bytes>>
4441 {
using type = simd_abi::scalar; };
4449template <
template <
int>
class _Abi,
int _Bytes,
typename _Tp>
4450 struct __find_next_valid_abi
4452 static constexpr auto
4455 constexpr int _NextBytes = std::__bit_ceil(_Bytes) / 2;
4456 using _NextAbi = _Abi<_NextBytes>;
4457 if constexpr (_NextBytes <
sizeof(_Tp) * 2)
4458 return _Abi<_Bytes>();
4459 else if constexpr (_NextAbi::template _S_is_partial<_Tp> ==
false
4460 && _NextAbi::template _S_is_valid_v<_Tp>)
4463 return __find_next_valid_abi<_Abi, _NextBytes, _Tp>::_S_choose();
4466 using type =
decltype(_S_choose());
4469template <
int _Bytes,
typename _Tp>
4470 struct __find_next_valid_abi<__scalar_abi_wrapper, _Bytes, _Tp>
4471 {
using type = simd_abi::scalar; };
4474template <
template <
int>
class...>
4477 template <
typename,
int>
static constexpr bool _S_has_valid_abi =
false;
4478 template <
typename,
int>
using _FirstValidAbi = void;
4479 template <
typename,
int>
using _BestAbi = void;
4482template <
template <
int>
class _A0,
template <
int>
class... _Rest>
4483 struct _AbiList<_A0, _Rest...>
4485 template <
typename _Tp,
int _Np>
4486 static constexpr bool _S_has_valid_abi
4487 = _A0<
sizeof(_Tp) * _Np>::template _S_is_valid_v<
4488 _Tp> || _AbiList<_Rest...>::template _S_has_valid_abi<_Tp, _Np>;
4490 template <
typename _Tp,
int _Np>
4492 _A0<
sizeof(_Tp) * _Np>::template _S_is_valid_v<_Tp>,
4493 typename __decay_abi<_A0<
sizeof(_Tp) * _Np>>::type,
4494 typename _AbiList<_Rest...>::template _FirstValidAbi<_Tp, _Np>>;
4496 template <
typename _Tp,
int _Np>
4497 static constexpr auto
4498 _S_determine_best_abi()
4500 static_assert(_Np >= 1);
4501 constexpr int _Bytes =
sizeof(_Tp) * _Np;
4502 if constexpr (_Np == 1)
4503 return __make_dependent_t<_Tp, simd_abi::scalar>{};
4506 constexpr int __fullsize = _A0<_Bytes>::template _S_full_size<_Tp>;
4511 if constexpr (_A0<_Bytes>::template _S_is_valid_v<
4512 _Tp> && __fullsize / 2 < _Np)
4513 return typename __decay_abi<_A0<_Bytes>>::type{};
4517 typename __find_next_valid_abi<_A0, _Bytes, _Tp>::type;
4518 if constexpr (_Bp::template _S_is_valid_v<
4519 _Tp> && _Bp::template _S_size<_Tp> <= _Np)
4523 typename _AbiList<_Rest...>::template _BestAbi<_Tp, _Np>{};
4528 template <
typename _Tp,
int _Np>
4529 using _BestAbi =
decltype(_S_determine_best_abi<_Tp, _Np>());
4537using _AllNativeAbis = _AbiList<simd_abi::_VecBltnBtmsk, simd_abi::_VecBuiltin,
4538 __scalar_abi_wrapper>;
4541template <
typename _Tp,
typename _Abi>
4542 struct _SimdTraits<_Tp, _Abi,
void_t<typename _Abi::template _IsValid<_Tp>>>
4543 : _Abi::template __traits<_Tp> {};
4547template <
typename _Tp,
size_t _Np>
4548 struct __deduce_impl<
4549 _Tp, _Np,
enable_if_t<_AllNativeAbis::template _S_has_valid_abi<_Tp, _Np>>>
4550 {
using type = _AllNativeAbis::_FirstValidAbi<_Tp, _Np>; };
4553template <
typename _Tp,
size_t _Np,
typename =
void>
4554 struct __deduce_fixed_size_fallback {};
4556template <
typename _Tp,
size_t _Np>
4557 struct __deduce_fixed_size_fallback<_Tp, _Np,
4558 enable_if_t<simd_abi::fixed_size<_Np>::template _S_is_valid_v<_Tp>>>
4559 {
using type = simd_abi::fixed_size<_Np>; };
4561template <
typename _Tp,
size_t _Np,
typename>
4562 struct __deduce_impl :
public __deduce_fixed_size_fallback<_Tp, _Np> {};
4568template <
typename _Tp,
typename _Abi>
4569 class simd_mask :
public _SimdTraits<_Tp, _Abi>::_MaskBase
4572 using _Traits = _SimdTraits<_Tp, _Abi>;
4573 using _MemberType =
typename _Traits::_MaskMember;
4579 using _Ip = __int_for_sizeof_t<_Tp>;
4580 static constexpr _Ip* _S_type_tag =
nullptr;
4582 friend typename _Traits::_MaskBase;
4583 friend class simd<_Tp, _Abi>;
4584 friend typename _Traits::_SimdImpl;
4587 using _Impl =
typename _Traits::_MaskImpl;
4592 using value_type = bool;
4593 using reference = _SmartReference<_MemberType, _Impl, value_type>;
4594 using simd_type = simd<_Tp, _Abi>;
4595 using abi_type = _Abi;
4598 static constexpr size_t size()
4599 {
return __size_or_zero_v<_Tp, _Abi>; }
4603 simd_mask() =
default;
4604 simd_mask(
const simd_mask&) =
default;
4605 simd_mask(simd_mask&&) =
default;
4606 simd_mask& operator=(
const simd_mask&) =
default;
4607 simd_mask& operator=(simd_mask&&) =
default;
4611 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
explicit
4612 simd_mask(
typename _Traits::_MaskCastType __init)
4613 : _M_data{__init} {}
4622 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
static simd_mask
4623 __from_bitset(bitset<size()> bs)
4624 {
return {__bitset_init, bs}; }
4626 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR bitset<size()>
4628 {
return _Impl::_S_to_bits(_M_data)._M_to_bitset(); }
4632 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
4633 simd_mask(value_type __x)
4634 : _M_data(_Impl::template _S_broadcast<_Ip>(__x)) {}
4638 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
4640 template <
typename _Up,
typename _A2,
4641 typename = enable_if_t<simd_size_v<_Up, _A2> == size()>>
4642 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit(
sizeof(_MemberType)
4643 !=
sizeof(
typename _SimdTraits<_Up, _A2>::_MaskMember))
4644 simd_mask(
const simd_mask<_Up, _A2>& __x)
4645 : simd_mask(__proposed::static_simd_cast<simd_mask>(__x)) {}
4648 template <
typename _Up,
typename =
enable_if_t<conjunction<
4649 is_same<abi_type, simd_abi::fixed_size<size()>>,
4650 is_same<_Up, _Up>>::value>>
4651 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4652 simd_mask(
const simd_mask<_Up, simd_abi::fixed_size<size()>>& __x)
4653 : _M_data(_Impl::_S_from_bitmask(__data(__x), _S_type_tag)) {}
4658 template <
typename _Flags>
4659 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4660 simd_mask(
const value_type* __mem, _IsSimdFlagType<_Flags>)
4661 : _M_data(_Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem))) {}
4663 template <
typename _Flags>
4664 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4665 simd_mask(
const value_type* __mem, simd_mask __k, _IsSimdFlagType<_Flags>)
4668 _M_data = _Impl::_S_masked_load(_M_data, __k._M_data,
4669 _Flags::template _S_apply<simd_mask>(__mem));
4674 template <
typename _Flags>
4675 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
4676 copy_from(
const value_type* __mem, _IsSimdFlagType<_Flags>)
4677 { _M_data = _Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem)); }
4681 template <
typename _Flags>
4682 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
4683 copy_to(value_type* __mem, _IsSimdFlagType<_Flags>)
const
4684 { _Impl::_S_store(_M_data, _Flags::template _S_apply<simd_mask>(__mem)); }
4688 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR reference
4689 operator[](
size_t __i)
4692 __invoke_ub(
"Subscript %d is out of range [0, %d]", __i, size() - 1);
4693 return {_M_data, int(__i)};
4696 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR value_type
4697 operator[](
size_t __i)
const
4700 __invoke_ub(
"Subscript %d is out of range [0, %d]", __i, size() - 1);
4701 if constexpr (__is_scalar_abi<_Abi>())
4704 return static_cast<bool>(_M_data[__i]);
4709 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd_mask
4711 {
return {__private_init, _Impl::_S_bit_not(_M_data)}; }
4715 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
4717 template <
typename _Up,
typename _A2,
4718 typename = enable_if_t<is_convertible_v<simd_mask<_Up, _A2>, simd_mask>>>
4719 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4720 operator&&(
const simd_mask& __x,
const simd_mask<_Up, _A2>& __y)
4722 return {__private_init,
4723 _Impl::_S_logical_and(__x._M_data, simd_mask(__y)._M_data)};
4726 template <
typename _Up,
typename _A2,
4727 typename = enable_if_t<is_convertible_v<simd_mask<_Up, _A2>, simd_mask>>>
4728 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4729 operator||(
const simd_mask& __x,
const simd_mask<_Up, _A2>& __y)
4731 return {__private_init,
4732 _Impl::_S_logical_or(__x._M_data, simd_mask(__y)._M_data)};
4736 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4737 operator&&(
const simd_mask& __x,
const simd_mask& __y)
4738 {
return {__private_init, _Impl::_S_logical_and(__x._M_data, __y._M_data)}; }
4740 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4741 operator||(
const simd_mask& __x,
const simd_mask& __y)
4742 {
return {__private_init, _Impl::_S_logical_or(__x._M_data, __y._M_data)}; }
4744 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4745 operator&(
const simd_mask& __x,
const simd_mask& __y)
4746 {
return {__private_init, _Impl::_S_bit_and(__x._M_data, __y._M_data)}; }
4748 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4749 operator|(
const simd_mask& __x,
const simd_mask& __y)
4750 {
return {__private_init, _Impl::_S_bit_or(__x._M_data, __y._M_data)}; }
4752 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4753 operator^(
const simd_mask& __x,
const simd_mask& __y)
4754 {
return {__private_init, _Impl::_S_bit_xor(__x._M_data, __y._M_data)}; }
4756 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4757 operator&=(simd_mask& __x,
const simd_mask& __y)
4759 __x._M_data = _Impl::_S_bit_and(__x._M_data, __y._M_data);
4763 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4764 operator|=(simd_mask& __x,
const simd_mask& __y)
4766 __x._M_data = _Impl::_S_bit_or(__x._M_data, __y._M_data);
4770 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4771 operator^=(simd_mask& __x,
const simd_mask& __y)
4773 __x._M_data = _Impl::_S_bit_xor(__x._M_data, __y._M_data);
4779 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4780 operator==(
const simd_mask& __x,
const simd_mask& __y)
4781 {
return !operator!=(__x, __y); }
4783 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4784 operator!=(
const simd_mask& __x,
const simd_mask& __y)
4785 {
return {__private_init, _Impl::_S_bit_xor(__x._M_data, __y._M_data)}; }
4789 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
4790 simd_mask(_PrivateInit,
typename _Traits::_MaskMember __init)
4791 : _M_data(__init) {}
4795 template <typename _Fp, typename = decltype(bool(declval<_Fp>()(size_t())))>
4796 _GLIBCXX_SIMD_INTRINSIC
constexpr
4797 simd_mask(_PrivateInit, _Fp&& __gen)
4800 __execute_n_times<size()>([&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4801 _Impl::_S_set(_M_data, __i, __gen(__i));
4807 _GLIBCXX_SIMD_INTRINSIC
constexpr
4808 simd_mask(_BitsetInit, bitset<size()> __init)
4809 : _M_data(_Impl::_S_from_bitmask(_SanitizedBitMask<size()>(__init), _S_type_tag))
4820 template <
typename _Up,
typename _A2,
4821 typename = enable_if_t<simd_size_v<_Up, _A2> == simd_size_v<_Tp, _Abi>>>
4822 _GLIBCXX_SIMD_ALWAYS_INLINE
4823 operator simd_mask<_Up, _A2>() &&
4825 using namespace std::experimental::__proposed;
4826 return static_simd_cast<simd_mask<_Up, _A2>>(_M_data);
4829 const simd_mask<_Tp, _Abi>& _M_data;
4832 _GLIBCXX_SIMD_INTRINSIC _CvtProxy
4838 #ifdef __GXX_CONDITIONAL_IS_OVERLOADABLE__
4839 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4840 operator?:(
const simd_mask& __k,
const simd_mask& __where_true,
4841 const simd_mask& __where_false)
4843 auto __ret = __where_false;
4844 _Impl::_S_masked_assign(__k._M_data, __ret._M_data, __where_true._M_data);
4848 template <
typename _U1,
typename _U2,
4849 typename _Rp = simd<common_type_t<_U1, _U2>, _Abi>,
4851 is_convertible<_U1, _Rp>, is_convertible<_U2, _Rp>,
4852 is_convertible<simd_mask, typename _Rp::mask_type>>>>
4853 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend _Rp
4854 operator?:(
const simd_mask& __k,
const _U1& __where_true,
4855 const _U2& __where_false)
4857 _Rp __ret = __where_false;
4858 _Rp::_Impl::_S_masked_assign(
4859 __data(
static_cast<typename _Rp::mask_type
>(__k)), __data(__ret),
4860 __data(
static_cast<_Rp
>(__where_true)));
4864 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
4865 template <
typename _Kp,
typename _Ak,
typename _Up,
typename _Au,
4867 conjunction_v<is_convertible<simd_mask<_Kp, _Ak>, simd_mask>,
4868 is_convertible<simd_mask<_Up, _Au>, simd_mask>>>>
4869 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4870 operator?:(
const simd_mask<_Kp, _Ak>& __k,
const simd_mask& __where_true,
4871 const simd_mask<_Up, _Au>& __where_false)
4873 simd_mask __ret = __where_false;
4874 _Impl::_S_masked_assign(simd_mask(__k)._M_data, __ret._M_data,
4875 __where_true._M_data);
4883 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
4884 _M_is_constprop()
const
4886 if constexpr (__is_scalar_abi<_Abi>())
4887 return __builtin_constant_p(_M_data);
4889 return _M_data._M_is_constprop();
4895 friend const auto& __data<_Tp, abi_type>(
const simd_mask&);
4896 friend auto& __data<_Tp, abi_type>(simd_mask&);
4897 alignas(_Traits::_S_mask_align) _MemberType _M_data;
4904template <
typename _Tp,
typename _Ap>
4905 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
4906 __data(
const simd_mask<_Tp, _Ap>& __x)
4907 {
return __x._M_data; }
4909template <
typename _Tp,
typename _Ap>
4910 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
4911 __data(simd_mask<_Tp, _Ap>& __x)
4912 {
return __x._M_data; }
4918template <
typename _Tp,
typename _Abi>
4919 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
4920 all_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
4922 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
4924 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
4930 return _Abi::_MaskImpl::_S_all_of(__k);
4933template <
typename _Tp,
typename _Abi>
4934 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
4935 any_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
4937 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
4939 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
4945 return _Abi::_MaskImpl::_S_any_of(__k);
4948template <
typename _Tp,
typename _Abi>
4949 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
4950 none_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
4952 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
4954 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
4960 return _Abi::_MaskImpl::_S_none_of(__k);
4963template <
typename _Tp,
typename _Abi>
4964 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
4965 some_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
4967 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
4969 for (
size_t __i = 1; __i < simd_size_v<_Tp, _Abi>; ++__i)
4970 if (__k[__i] != __k[__i - 1])
4975 return _Abi::_MaskImpl::_S_some_of(__k);
4978template <
typename _Tp,
typename _Abi>
4979 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
4980 popcount(
const simd_mask<_Tp, _Abi>& __k)
noexcept
4982 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
4984 const int __r = __call_with_subscripts<simd_size_v<_Tp, _Abi>>(
4985 __k, [](
auto... __elements) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4986 return ((__elements != 0) + ...);
4988 if (__builtin_is_constant_evaluated() || __builtin_constant_p(__r))
4991 return _Abi::_MaskImpl::_S_popcount(__k);
4994template <
typename _Tp,
typename _Abi>
4995 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
4996 find_first_set(
const simd_mask<_Tp, _Abi>& __k)
4998 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5000 constexpr size_t _Np = simd_size_v<_Tp, _Abi>;
5001 const size_t _Idx = __call_with_n_evaluations<_Np>(
5002 [](
auto... __indexes) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5004 }, [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5005 return __k[__i] ? +__i : _Np;
5008 __invoke_ub(
"find_first_set(empty mask) is UB");
5009 if (__builtin_constant_p(_Idx))
5012 return _Abi::_MaskImpl::_S_find_first_set(__k);
5015template <
typename _Tp,
typename _Abi>
5016 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5017 find_last_set(
const simd_mask<_Tp, _Abi>& __k)
5019 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5021 constexpr size_t _Np = simd_size_v<_Tp, _Abi>;
5022 const int _Idx = __call_with_n_evaluations<_Np>(
5023 [](
auto... __indexes) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5025 }, [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5026 return __k[__i] ? int(__i) : -1;
5029 __invoke_ub(
"find_first_set(empty mask) is UB");
5030 if (__builtin_constant_p(_Idx))
5033 return _Abi::_MaskImpl::_S_find_last_set(__k);
5036_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5037all_of(_ExactBool __x)
noexcept
5040_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5041any_of(_ExactBool __x)
noexcept
5044_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5045none_of(_ExactBool __x)
noexcept
5048_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5049some_of(_ExactBool)
noexcept
5052_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5056_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5057find_first_set(_ExactBool)
5060_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5061find_last_set(_ExactBool)
5068template <
typename _V,
typename _Tp,
typename _Abi,
bool>
5069 class _SimdIntOperators {};
5071template <
typename _V,
typename _Tp,
typename _Abi>
5072 class _SimdIntOperators<_V, _Tp, _Abi, true>
5074 using _Impl =
typename _SimdTraits<_Tp, _Abi>::_SimdImpl;
5076 _GLIBCXX_SIMD_INTRINSIC
constexpr const _V&
5078 {
return *
static_cast<const _V*
>(
this); }
5080 template <
typename _Up>
5081 _GLIBCXX_SIMD_INTRINSIC
static _GLIBCXX_SIMD_CONSTEXPR _V
5082 _S_make_derived(_Up&& __d)
5083 {
return {__private_init,
static_cast<_Up&&
>(__d)}; }
5086 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5088 operator%=(_V& __lhs,
const _V& __x)
5089 {
return __lhs = __lhs % __x; }
5091 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5093 operator&=(_V& __lhs,
const _V& __x)
5094 {
return __lhs = __lhs & __x; }
5096 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5098 operator|=(_V& __lhs,
const _V& __x)
5099 {
return __lhs = __lhs | __x; }
5101 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5103 operator^=(_V& __lhs,
const _V& __x)
5104 {
return __lhs = __lhs ^ __x; }
5106 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5108 operator<<=(_V& __lhs,
const _V& __x)
5109 {
return __lhs = __lhs << __x; }
5111 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5113 operator>>=(_V& __lhs,
const _V& __x)
5114 {
return __lhs = __lhs >> __x; }
5116 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5118 operator<<=(_V& __lhs,
int __x)
5119 {
return __lhs = __lhs << __x; }
5121 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5123 operator>>=(_V& __lhs,
int __x)
5124 {
return __lhs = __lhs >> __x; }
5126 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5130 return _SimdIntOperators::_S_make_derived(
5131 _Impl::_S_modulus(__data(__x), __data(__y)));
5134 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5138 return _SimdIntOperators::_S_make_derived(
5139 _Impl::_S_bit_and(__data(__x), __data(__y)));
5142 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5146 return _SimdIntOperators::_S_make_derived(
5147 _Impl::_S_bit_or(__data(__x), __data(__y)));
5150 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5154 return _SimdIntOperators::_S_make_derived(
5155 _Impl::_S_bit_xor(__data(__x), __data(__y)));
5158 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5162 return _SimdIntOperators::_S_make_derived(
5163 _Impl::_S_bit_shift_left(__data(__x), __data(__y)));
5166 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5170 return _SimdIntOperators::_S_make_derived(
5171 _Impl::_S_bit_shift_right(__data(__x), __data(__y)));
5174 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5179 __invoke_ub(
"The behavior is undefined if the right operand of a "
5180 "shift operation is negative. [expr.shift]\nA shift by "
5183 if (
size_t(__y) >=
sizeof(declval<_Tp>() << __y) * __CHAR_BIT__)
5185 "The behavior is undefined if the right operand of a "
5186 "shift operation is greater than or equal to the width of the "
5187 "promoted left operand. [expr.shift]\nA shift by %d was requested",
5189 return _SimdIntOperators::_S_make_derived(
5190 _Impl::_S_bit_shift_left(__data(__x), __y));
5193 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5199 "The behavior is undefined if the right operand of a shift "
5200 "operation is negative. [expr.shift]\nA shift by %d was requested",
5202 if (
size_t(__y) >=
sizeof(declval<_Tp>() << __y) * __CHAR_BIT__)
5204 "The behavior is undefined if the right operand of a shift "
5205 "operation is greater than or equal to the width of the promoted "
5206 "left operand. [expr.shift]\nA shift by %d was requested",
5208 return _SimdIntOperators::_S_make_derived(
5209 _Impl::_S_bit_shift_right(__data(__x), __y));
5213 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5216 {
return {__private_init, _Impl::_S_complement(__derived()._M_data)}; }
5223template <
typename _Tp,
typename _Abi>
5224 class simd :
public _SimdIntOperators<
5225 simd<_Tp, _Abi>, _Tp, _Abi,
5226 conjunction<is_integral<_Tp>,
5227 typename _SimdTraits<_Tp, _Abi>::_IsValid>::value>,
5228 public _SimdTraits<_Tp, _Abi>::_SimdBase
5230 using _Traits = _SimdTraits<_Tp, _Abi>;
5231 using _MemberType =
typename _Traits::_SimdMember;
5232 using _CastType =
typename _Traits::_SimdCastType;
5233 static constexpr _Tp* _S_type_tag =
nullptr;
5234 friend typename _Traits::_SimdBase;
5237 using _Impl =
typename _Traits::_SimdImpl;
5239 friend _SimdIntOperators<simd, _Tp, _Abi, true>;
5241 using value_type = _Tp;
5242 using reference = _SmartReference<_MemberType, _Impl, value_type>;
5243 using mask_type = simd_mask<_Tp, _Abi>;
5244 using abi_type = _Abi;
5246 static constexpr size_t size()
5247 {
return __size_or_zero_v<_Tp, _Abi>; }
5249 _GLIBCXX_SIMD_CONSTEXPR simd() =
default;
5250 _GLIBCXX_SIMD_CONSTEXPR simd(
const simd&) =
default;
5251 _GLIBCXX_SIMD_CONSTEXPR simd(simd&&) noexcept = default;
5252 _GLIBCXX_SIMD_CONSTEXPR simd& operator=(const simd&) = default;
5253 _GLIBCXX_SIMD_CONSTEXPR simd& operator=(simd&&) noexcept = default;
5256 template <typename _Up,
5257 typename =
enable_if_t<!is_same_v<__remove_cvref_t<_Up>,
bool>>>
5258 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5259 simd(_ValuePreservingOrInt<_Up, value_type>&& __x)
5261 _Impl::_S_broadcast(static_cast<value_type>(static_cast<_Up&&>(__x))))
5266 template <
typename _Up>
5267 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5268 simd(
const simd<_Up, simd_abi::fixed_size<size()>>& __x,
5271 is_same<simd_abi::fixed_size<size()>, abi_type>,
5272 negation<__is_narrowing_conversion<_Up, value_type>>,
5273 __converts_to_higher_integer_rank<_Up, value_type>>::value,
5275 : simd{static_cast<array<_Up, size()>>(__x).data(), vector_aligned} {}
5278#ifdef _GLIBCXX_SIMD_ENABLE_STATIC_CAST
5279 template <
typename _Up,
typename _A2,
5280 typename =
decltype(static_simd_cast<simd>(
5281 declval<
const simd<_Up, _A2>&>()))>
5282 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5283 simd(
const simd<_Up, _A2>& __x)
5284 : simd(static_simd_cast<simd>(__x)) {}
5288 template <
typename _Fp>
5289 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5290 simd(_Fp&& __gen, _ValuePreservingOrInt<
decltype(declval<_Fp>()(
5291 declval<_SizeConstant<0>&>())),
5292 value_type>* =
nullptr)
5293 : _M_data(_Impl::_S_generator(static_cast<_Fp&&>(__gen), _S_type_tag)) {}
5296 template <
typename _Up,
typename _Flags>
5297 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5298 simd(
const _Up* __mem, _IsSimdFlagType<_Flags>)
5300 _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag))
5304 template <
typename _Up,
typename _Flags>
5305 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
5306 copy_from(
const _Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>)
5308 _M_data =
static_cast<decltype(_M_data)
>(
5309 _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag));
5313 template <
typename _Up,
typename _Flags>
5314 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
5315 copy_to(_Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>)
const
5317 _Impl::_S_store(_M_data, _Flags::template _S_apply<simd>(__mem),
5322 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR reference
5323 operator[](
size_t __i)
5324 {
return {_M_data, int(__i)}; }
5326 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR value_type
5327 operator[]([[maybe_unused]]
size_t __i)
const
5329 if constexpr (__is_scalar_abi<_Abi>())
5331 _GLIBCXX_DEBUG_ASSERT(__i == 0);
5335 return _M_data[__i];
5339 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd&
5342 _Impl::_S_increment(_M_data);
5346 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5350 _Impl::_S_increment(_M_data);
5354 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd&
5357 _Impl::_S_decrement(_M_data);
5361 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5365 _Impl::_S_decrement(_M_data);
5370 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR mask_type
5372 {
return {__private_init, _Impl::_S_negate(_M_data)}; }
5374 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5378 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5380 {
return {__private_init, _Impl::_S_unary_minus(_M_data)}; }
5383 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5384 simd(_CastType __init) : _M_data(__init) {}
5387 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5388 operator+=(simd& __lhs,
const simd& __x)
5389 {
return __lhs = __lhs + __x; }
5391 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5392 operator-=(simd& __lhs,
const simd& __x)
5393 {
return __lhs = __lhs - __x; }
5395 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5396 operator*=(simd& __lhs,
const simd& __x)
5397 {
return __lhs = __lhs * __x; }
5399 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5400 operator/=(simd& __lhs,
const simd& __x)
5401 {
return __lhs = __lhs / __x; }
5404 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5405 operator+(
const simd& __x,
const simd& __y)
5406 {
return {__private_init, _Impl::_S_plus(__x._M_data, __y._M_data)}; }
5408 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5409 operator-(
const simd& __x,
const simd& __y)
5410 {
return {__private_init, _Impl::_S_minus(__x._M_data, __y._M_data)}; }
5412 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5413 operator*(
const simd& __x,
const simd& __y)
5414 {
return {__private_init, _Impl::_S_multiplies(__x._M_data, __y._M_data)}; }
5416 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5417 operator/(
const simd& __x,
const simd& __y)
5418 {
return {__private_init, _Impl::_S_divides(__x._M_data, __y._M_data)}; }
5421 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5422 operator==(
const simd& __x,
const simd& __y)
5423 {
return simd::_S_make_mask(_Impl::_S_equal_to(__x._M_data, __y._M_data)); }
5425 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5426 operator!=(
const simd& __x,
const simd& __y)
5428 return simd::_S_make_mask(
5429 _Impl::_S_not_equal_to(__x._M_data, __y._M_data));
5432 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5433 operator<(
const simd& __x,
const simd& __y)
5434 {
return simd::_S_make_mask(_Impl::_S_less(__x._M_data, __y._M_data)); }
5436 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5437 operator<=(
const simd& __x,
const simd& __y)
5439 return simd::_S_make_mask(_Impl::_S_less_equal(__x._M_data, __y._M_data));
5442 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5443 operator>(
const simd& __x,
const simd& __y)
5444 {
return simd::_S_make_mask(_Impl::_S_less(__y._M_data, __x._M_data)); }
5446 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5447 operator>=(
const simd& __x,
const simd& __y)
5449 return simd::_S_make_mask(_Impl::_S_less_equal(__y._M_data, __x._M_data));
5453#ifdef __GXX_CONDITIONAL_IS_OVERLOADABLE__
5454 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5455 operator?:(
const mask_type& __k,
const simd& __where_true,
5456 const simd& __where_false)
5458 auto __ret = __where_false;
5459 _Impl::_S_masked_assign(__data(__k), __data(__ret), __data(__where_true));
5467 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
5468 simd(_PrivateInit,
const _MemberType& __init)
5469 : _M_data(__init) {}
5472 _GLIBCXX_SIMD_INTRINSIC
5473 simd(_BitsetInit, bitset<size()> __init) : _M_data()
5474 { where(mask_type(__bitset_init, __init), *
this) = ~*
this; }
5476 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
5477 _M_is_constprop()
const
5479 if constexpr (__is_scalar_abi<_Abi>())
5480 return __builtin_constant_p(_M_data);
5482 return _M_data._M_is_constprop();
5486 _GLIBCXX_SIMD_INTRINSIC
static constexpr mask_type
5487 _S_make_mask(
typename mask_type::_MemberType __k)
5488 {
return {__private_init, __k}; }
5490 friend const auto& __data<value_type, abi_type>(
const simd&);
5491 friend auto& __data<value_type, abi_type>(simd&);
5492 alignas(_Traits::_S_simd_align) _MemberType _M_data;
5498template <
typename _Tp,
typename _Ap>
5499 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
5500 __data(
const simd<_Tp, _Ap>& __x)
5501 {
return __x._M_data; }
5503template <
typename _Tp,
typename _Ap>
5504 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
5505 __data(simd<_Tp, _Ap>& __x)
5506 {
return __x._M_data; }
5509namespace __float_bitwise_operators {
5510template <
typename _Tp,
typename _Ap>
5511 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5512 operator^(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5513 {
return {__private_init, _Ap::_SimdImpl::_S_bit_xor(__data(__a), __data(__b))}; }
5515template <
typename _Tp,
typename _Ap>
5516 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5517 operator|(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5518 {
return {__private_init, _Ap::_SimdImpl::_S_bit_or(__data(__a), __data(__b))}; }
5520template <
typename _Tp,
typename _Ap>
5521 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5522 operator&(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5523 {
return {__private_init, _Ap::_SimdImpl::_S_bit_and(__data(__a), __data(__b))}; }
5525template <
typename _Tp,
typename _Ap>
5526 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
5527 enable_if_t<is_floating_point_v<_Tp>, simd<_Tp, _Ap>>
5528 operator~(
const simd<_Tp, _Ap>& __a)
5529 {
return {__private_init, _Ap::_SimdImpl::_S_complement(__data(__a))}; }
5534_GLIBCXX_SIMD_END_NAMESPACE
constexpr _If_is_unsigned_integer< _Tp, int > popcount(_Tp __x) noexcept
The number of bits set in x.
constexpr duration< __common_rep_t< _Rep1, __disable_if_is_duration< _Rep2 > >, _Period > operator%(const duration< _Rep1, _Period > &__d, const _Rep2 &__s)
constexpr complex< _Tp > operator*(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x times y.
constexpr complex< _Tp > operator-(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x minus y.
constexpr complex< _Tp > operator+(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x plus y.
constexpr complex< _Tp > operator/(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x divided by y.
typename remove_reference< _Tp >::type remove_reference_t
Alias template for remove_reference.
typename make_unsigned< _Tp >::type make_unsigned_t
Alias template for make_unsigned.
void void_t
A metafunction that always yields void, used for detecting valid types.
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
typename conditional< _Cond, _Iftrue, _Iffalse >::type conditional_t
Alias template for conditional.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
typename remove_const< _Tp >::type remove_const_t
Alias template for remove_const.
typename enable_if< _Cond, _Tp >::type enable_if_t
Alias template for enable_if.
constexpr auto tuple_cat(_Tpls &&... __tpls) -> typename __tuple_cat_result< _Tpls... >::__type
tuple_cat
auto declval() noexcept -> decltype(__declval< _Tp >(0))
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr const _Tp & max(const _Tp &, const _Tp &)
This does what you think it does.
constexpr const _Tp & min(const _Tp &, const _Tp &)
This does what you think it does.
constexpr _Tp reduce(_InputIterator __first, _InputIterator __last, _Tp __init, _BinaryOperation __binary_op)
Calculate reduction of values in a range.
bitset< _Nb > operator&(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
bitset< _Nb > operator|(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
std::basic_istream< _CharT, _Traits > & operator>>(std::basic_istream< _CharT, _Traits > &__is, bitset< _Nb > &__x)
Global I/O operators for bitsets.
std::basic_ostream< _CharT, _Traits > & operator<<(std::basic_ostream< _CharT, _Traits > &__os, const bitset< _Nb > &__x)
Global I/O operators for bitsets.
bitset< _Nb > operator^(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.