25#ifndef _GLIBCXX_EXPERIMENTAL_SIMD_H
26#define _GLIBCXX_EXPERIMENTAL_SIMD_H
28#if __cplusplus >= 201703L
30#include "simd_detail.h"
31#include "numeric_traits.h"
34#ifdef _GLIBCXX_DEBUG_UB
44#if _GLIBCXX_SIMD_X86INTRIN
46#elif _GLIBCXX_SIMD_HAVE_NEON
47#pragma GCC diagnostic push
50#pragma GCC diagnostic ignored "-Wnarrowing"
52#pragma GCC diagnostic pop
54#if _GLIBCXX_SIMD_HAVE_SVE
81_GLIBCXX_SIMD_BEGIN_NAMESPACE
83#if !_GLIBCXX_SIMD_X86INTRIN
84using __m128 [[__gnu__::__vector_size__(16)]] = float;
85using __m128d [[__gnu__::__vector_size__(16)]] = double;
86using __m128i [[__gnu__::__vector_size__(16)]] =
long long;
87using __m256 [[__gnu__::__vector_size__(32)]] = float;
88using __m256d [[__gnu__::__vector_size__(32)]] = double;
89using __m256i [[__gnu__::__vector_size__(32)]] =
long long;
90using __m512 [[__gnu__::__vector_size__(64)]] = float;
91using __m512d [[__gnu__::__vector_size__(64)]] = double;
92using __m512i [[__gnu__::__vector_size__(64)]] =
long long;
95#if _GLIBCXX_SIMD_HAVE_SVE
96constexpr inline int __sve_vectorized_size_bytes = __ARM_FEATURE_SVE_BITS / 8;
98constexpr inline int __sve_vectorized_size_bytes = 0;
120template <
int _UsedBytes>
123template <
int _UsedBytes>
124 struct _VecBltnBtmsk;
126template <
int _UsedBytes,
int _TotalBytes = __sve_vectorized_size_
bytes>
129template <
typename _Tp,
int _Np>
130 using _VecN = _VecBuiltin<
sizeof(_Tp) * _Np>;
132template <
int _UsedBytes = 16>
133 using _Sse = _VecBuiltin<_UsedBytes>;
135template <
int _UsedBytes = 32>
136 using _Avx = _VecBuiltin<_UsedBytes>;
138template <
int _UsedBytes = 64>
139 using _Avx512 = _VecBltnBtmsk<_UsedBytes>;
141template <
int _UsedBytes = 16>
142 using _Neon = _VecBuiltin<_UsedBytes>;
144template <
int _UsedBytes = __sve_vectorized_size_
bytes>
145 using _Sve = _SveAbi<_UsedBytes, __sve_vectorized_size_bytes>;
150using __avx512 = _Avx512<>;
151using __neon = _Neon<>;
152using __neon128 = _Neon<16>;
153using __neon64 = _Neon<8>;
157template <
typename _Tp,
size_t _Np,
typename...>
161 using fixed_size = _Fixed<_Np>;
163using scalar = _Scalar;
168template <
typename _Tp>
171template <
typename _Tp>
174template <
typename _Tp,
typename _Abi>
177template <
typename _Tp,
typename _Abi>
180template <
typename _Tp,
typename _Abi>
185struct element_aligned_tag
187 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
188 static constexpr size_t _S_alignment =
alignof(_Up);
190 template <
typename _Tp,
typename _Up>
191 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
196struct vector_aligned_tag
198 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
199 static constexpr size_t _S_alignment
200 = std::__bit_ceil(
sizeof(_Up) * _Tp::size());
202 template <
typename _Tp,
typename _Up>
203 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
205 {
return static_cast<_Up*
>(__builtin_assume_aligned(__ptr, _S_alignment<_Tp, _Up>)); }
208template <
size_t _Np>
struct overaligned_tag
210 template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
211 static constexpr size_t _S_alignment = _Np;
213 template <
typename _Tp,
typename _Up>
214 _GLIBCXX_SIMD_INTRINSIC
static constexpr _Up*
216 {
return static_cast<_Up*
>(__builtin_assume_aligned(__ptr, _Np)); }
219inline constexpr element_aligned_tag element_aligned = {};
221inline constexpr vector_aligned_tag vector_aligned = {};
224 inline constexpr overaligned_tag<_Np> overaligned = {};
228 using _SizeConstant = integral_constant<size_t, _Xp>;
230constexpr inline bool __have_mmx = _GLIBCXX_SIMD_HAVE_MMX;
231constexpr inline bool __have_sse = _GLIBCXX_SIMD_HAVE_SSE;
232constexpr inline bool __have_sse2 = _GLIBCXX_SIMD_HAVE_SSE2;
233constexpr inline bool __have_sse3 = _GLIBCXX_SIMD_HAVE_SSE3;
234constexpr inline bool __have_ssse3 = _GLIBCXX_SIMD_HAVE_SSSE3;
235constexpr inline bool __have_sse4_1 = _GLIBCXX_SIMD_HAVE_SSE4_1;
236constexpr inline bool __have_sse4_2 = _GLIBCXX_SIMD_HAVE_SSE4_2;
237constexpr inline bool __have_xop = _GLIBCXX_SIMD_HAVE_XOP;
238constexpr inline bool __have_avx = _GLIBCXX_SIMD_HAVE_AVX;
239constexpr inline bool __have_avx2 = _GLIBCXX_SIMD_HAVE_AVX2;
240constexpr inline bool __have_bmi = _GLIBCXX_SIMD_HAVE_BMI1;
241constexpr inline bool __have_bmi2 = _GLIBCXX_SIMD_HAVE_BMI2;
242constexpr inline bool __have_lzcnt = _GLIBCXX_SIMD_HAVE_LZCNT;
243constexpr inline bool __have_sse4a = _GLIBCXX_SIMD_HAVE_SSE4A;
244constexpr inline bool __have_fma = _GLIBCXX_SIMD_HAVE_FMA;
245constexpr inline bool __have_fma4 = _GLIBCXX_SIMD_HAVE_FMA4;
246constexpr inline bool __have_f16c = _GLIBCXX_SIMD_HAVE_F16C;
247constexpr inline bool __have_popcnt = _GLIBCXX_SIMD_HAVE_POPCNT;
248constexpr inline bool __have_avx512f = _GLIBCXX_SIMD_HAVE_AVX512F;
249constexpr inline bool __have_avx512dq = _GLIBCXX_SIMD_HAVE_AVX512DQ;
250constexpr inline bool __have_avx512vl = _GLIBCXX_SIMD_HAVE_AVX512VL;
251constexpr inline bool __have_avx512bw = _GLIBCXX_SIMD_HAVE_AVX512BW;
252constexpr inline bool __have_avx512dq_vl = __have_avx512dq && __have_avx512vl;
253constexpr inline bool __have_avx512bw_vl = __have_avx512bw && __have_avx512vl;
254constexpr inline bool __have_avx512bitalg = _GLIBCXX_SIMD_HAVE_AVX512BITALG;
255constexpr inline bool __have_avx512vbmi2 = _GLIBCXX_SIMD_HAVE_AVX512VBMI2;
256constexpr inline bool __have_avx512vbmi = _GLIBCXX_SIMD_HAVE_AVX512VBMI;
257constexpr inline bool __have_avx512ifma = _GLIBCXX_SIMD_HAVE_AVX512IFMA;
258constexpr inline bool __have_avx512cd = _GLIBCXX_SIMD_HAVE_AVX512CD;
259constexpr inline bool __have_avx512vnni = _GLIBCXX_SIMD_HAVE_AVX512VNNI;
260constexpr inline bool __have_avx512vpopcntdq = _GLIBCXX_SIMD_HAVE_AVX512VPOPCNTDQ;
261constexpr inline bool __have_avx512vp2intersect = _GLIBCXX_SIMD_HAVE_AVX512VP2INTERSECT;
263constexpr inline bool __have_neon = _GLIBCXX_SIMD_HAVE_NEON;
264constexpr inline bool __have_neon_a32 = _GLIBCXX_SIMD_HAVE_NEON_A32;
265constexpr inline bool __have_neon_a64 = _GLIBCXX_SIMD_HAVE_NEON_A64;
266constexpr inline bool __support_neon_float =
267#if defined __GCC_IEC_559
269#elif defined __FAST_MATH__
275constexpr inline bool __have_sve = _GLIBCXX_SIMD_HAVE_SVE;
276constexpr inline bool __have_sve2 = _GLIBCXX_SIMD_HAVE_SVE2;
279constexpr inline bool __have_power10vec =
true;
281constexpr inline bool __have_power10vec =
false;
283#ifdef __POWER9_VECTOR__
284constexpr inline bool __have_power9vec =
true;
286constexpr inline bool __have_power9vec =
false;
288#if defined __POWER8_VECTOR__
289constexpr inline bool __have_power8vec =
true;
291constexpr inline bool __have_power8vec = __have_power9vec;
294constexpr inline bool __have_power_vsx =
true;
296constexpr inline bool __have_power_vsx = __have_power8vec;
298#if defined __ALTIVEC__
299constexpr inline bool __have_power_vmx =
true;
301constexpr inline bool __have_power_vmx = __have_power_vsx;
308#ifdef math_errhandling
312 template <
int = math_errhandling>
314 __handle_fpexcept_impl(
int)
315 {
return math_errhandling & MATH_ERREXCEPT; }
321 __handle_fpexcept_impl(
float)
323#if defined __FAST_MATH__
331 static constexpr bool _S_handle_fpexcept = __handle_fpexcept_impl(0);
333 constexpr std::uint_least64_t
334 __floating_point_flags()
336 std::uint_least64_t __flags = 0;
337 if constexpr (_S_handle_fpexcept)
341#elif __FINITE_MATH_ONLY__
343#elif __GCC_IEC_559 < 2
346 __flags |= (__FLT_EVAL_METHOD__ + 1) << 3;
350 constexpr std::uint_least64_t
353 if constexpr (__have_mmx || __have_sse)
358 | (__have_ssse3 << 4)
359 | (__have_sse4_1 << 5)
360 | (__have_sse4_2 << 6)
365 | (__have_bmi2 << 11)
366 | (__have_lzcnt << 12)
367 | (__have_sse4a << 13)
369 | (__have_fma4 << 15)
370 | (__have_f16c << 16)
371 | (__have_popcnt << 17)
372 | (__have_avx512f << 18)
373 | (__have_avx512dq << 19)
374 | (__have_avx512vl << 20)
375 | (__have_avx512bw << 21)
376 | (__have_avx512bitalg << 22)
377 | (__have_avx512vbmi2 << 23)
378 | (__have_avx512vbmi << 24)
379 | (__have_avx512ifma << 25)
380 | (__have_avx512cd << 26)
381 | (__have_avx512vnni << 27)
382 | (__have_avx512vpopcntdq << 28)
383 | (__have_avx512vp2intersect << 29);
384 else if constexpr (__have_neon || __have_sve)
386 | (__have_neon_a32 << 1)
387 | (__have_neon_a64 << 2)
388 | (__have_neon_a64 << 2)
389 | (__support_neon_float << 3)
391 | (__have_sve2 << 5);
392 else if constexpr (__have_power_vmx)
393 return __have_power_vmx
394 | (__have_power_vsx << 1)
395 | (__have_power8vec << 2)
396 | (__have_power9vec << 3)
397 | (__have_power10vec << 4);
404 struct _OdrEnforcer {};
407 template <std::uint_least64_t...>
408 struct _MachineFlagsTemplate {};
421 _MachineFlagsTemplate<__machine_flags(), __floating_point_flags()>>;
425 template <
typename _Tp>
426 _GLIBCXX_SIMD_INTRINSIC
constexpr
428 operator()(_Tp __a, _Tp __b)
const
431 return min(__a, __b);
437 template <
typename _Tp>
438 _GLIBCXX_SIMD_INTRINSIC
constexpr
440 operator()(_Tp __a, _Tp __b)
const
443 return max(__a, __b);
450template <
typename _Fp,
size_t... _I>
451 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
453 __execute_on_index_sequence(_Fp&& __f, index_sequence<_I...>)
454 { ((void)__f(_SizeConstant<_I>()), ...); }
456template <
typename _Fp>
457 _GLIBCXX_SIMD_INTRINSIC
constexpr void
458 __execute_on_index_sequence(_Fp&&, index_sequence<>)
461template <
size_t _Np,
typename _Fp>
462 _GLIBCXX_SIMD_INTRINSIC
constexpr void
463 __execute_n_times(_Fp&& __f)
465 __execute_on_index_sequence(
static_cast<_Fp&&
>(__f),
466 make_index_sequence<_Np>{});
471template <
typename _R,
typename _Fp,
size_t... _I>
472 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
474 __execute_on_index_sequence_with_return(_Fp&& __f, index_sequence<_I...>)
475 {
return _R{__f(_SizeConstant<_I>())...}; }
477template <
size_t _Np,
typename _R,
typename _Fp>
478 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
479 __generate_from_n_evaluations(_Fp&& __f)
481 return __execute_on_index_sequence_with_return<_R>(
482 static_cast<_Fp&&
>(__f), make_index_sequence<_Np>{});
487template <
size_t... _I,
typename _F0,
typename _FArgs>
488 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
490 __call_with_n_evaluations(index_sequence<_I...>, _F0&& __f0, _FArgs&& __fargs)
491 {
return __f0(__fargs(_SizeConstant<_I>())...); }
493template <
size_t _Np,
typename _F0,
typename _FArgs>
494 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
495 __call_with_n_evaluations(_F0&& __f0, _FArgs&& __fargs)
497 return __call_with_n_evaluations(make_index_sequence<_Np>{},
498 static_cast<_F0&&
>(__f0),
499 static_cast<_FArgs&&
>(__fargs));
504template <
size_t _First = 0,
size_t... _It,
typename _Tp,
typename _Fp>
505 [[__gnu__::__flatten__]] _GLIBCXX_SIMD_INTRINSIC
constexpr
507 __call_with_subscripts(_Tp&& __x, index_sequence<_It...>, _Fp&& __fun)
508 {
return __fun(__x[_First + _It]...); }
510template <
size_t _Np,
size_t _First = 0,
typename _Tp,
typename _Fp>
511 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
512 __call_with_subscripts(_Tp&& __x, _Fp&& __fun)
514 return __call_with_subscripts<_First>(
static_cast<_Tp&&
>(__x),
515 make_index_sequence<_Np>(),
516 static_cast<_Fp&&
>(__fun));
523using _UChar =
unsigned char;
524using _SChar =
signed char;
525using _UShort =
unsigned short;
526using _UInt =
unsigned int;
527using _ULong =
unsigned long;
528using _ULLong =
unsigned long long;
529using _LLong =
long long;
533template <
typename _T0,
typename...>
534 struct __first_of_pack
535 {
using type = _T0; };
537template <
typename... _Ts>
538 using __first_of_pack_t =
typename __first_of_pack<_Ts...>::type;
542template <
typename _Tp>
543 typename _Tp::value_type
544 __value_type_or_identity_impl(
int);
546template <
typename _Tp>
548 __value_type_or_identity_impl(
float);
550template <
typename _Tp>
551 using __value_type_or_identity_t
552 =
decltype(__value_type_or_identity_impl<_Tp>(
int()));
556template <
typename _Tp>
557 struct __is_vectorizable :
public is_arithmetic<_Tp> {};
560 struct __is_vectorizable<bool> :
public false_type {};
562template <
typename _Tp>
563 inline constexpr bool __is_vectorizable_v = __is_vectorizable<_Tp>::value;
566template <
typename _Tp,
typename = enable_if_t<__is_vectorizable_v<_Tp>>>
567 using _Vectorizable = _Tp;
571template <
typename _Ptr,
typename _ValueType>
572 struct __is_possible_loadstore_conversion
573 : conjunction<__is_vectorizable<_Ptr>, __is_vectorizable<_ValueType>> {};
576 struct __is_possible_loadstore_conversion<bool, bool> : true_type {};
579template <
typename _Ptr,
typename _ValueType,
581 __is_possible_loadstore_conversion<_Ptr, _ValueType>::value>>
582 using _LoadStorePtr = _Ptr;
586template <
typename _Tp,
typename =
void_t<>>
587 struct __is_bitmask : false_type {};
589template <
typename _Tp>
590 inline constexpr bool __is_bitmask_v = __is_bitmask<_Tp>::value;
593template <
typename _Tp>
594 struct __is_bitmask<_Tp,
595 void_t<decltype(
declval<unsigned&>() = declval<_Tp>() & 1u)>>
600#pragma GCC diagnostic push
601#pragma GCC diagnostic ignored "-Wpedantic"
602template <
size_t _Bytes>
606 static_assert(_Bytes > 0);
607 if constexpr (_Bytes ==
sizeof(int))
609 else if constexpr (_Bytes ==
sizeof(_SChar))
611 else if constexpr (_Bytes ==
sizeof(short))
613 else if constexpr (_Bytes ==
sizeof(long))
615 else if constexpr (_Bytes ==
sizeof(_LLong))
617 #ifdef __SIZEOF_INT128__
618 else if constexpr (_Bytes ==
sizeof(__int128))
621 else if constexpr (_Bytes %
sizeof(int) == 0)
623 constexpr size_t _Np = _Bytes /
sizeof(int);
628 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
631 return __generate_from_n_evaluations<_Np, _Ip>(
632 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
633 return __rhs._M_data[__i] & _M_data[__i];
637 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
640 return __generate_from_n_evaluations<_Np, _Ip>(
641 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
642 return __rhs._M_data[__i] | _M_data[__i];
646 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
649 return __generate_from_n_evaluations<_Np, _Ip>(
650 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
651 return __rhs._M_data[__i] ^ _M_data[__i];
655 _GLIBCXX_SIMD_INTRINSIC
constexpr _Ip
658 return __generate_from_n_evaluations<_Np, _Ip>(
659 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return ~_M_data[__i]; });
665 static_assert(_Bytes == 0,
"this should be unreachable");
667#pragma GCC diagnostic pop
669template <
typename _Tp>
670 using __int_for_sizeof_t =
decltype(__int_for_sizeof<sizeof(_Tp)>());
673 using __int_with_sizeof_t =
decltype(__int_for_sizeof<_Np>());
677template <
typename _Tp>
678 struct __is_fixed_size_abi : false_type {};
681 struct __is_fixed_size_abi<simd_abi::fixed_size<_Np>> : true_type {};
683template <
typename _Tp>
684 inline constexpr bool __is_fixed_size_abi_v = __is_fixed_size_abi<_Tp>::value;
688template <
typename _Abi>
691 {
return is_same_v<simd_abi::scalar, _Abi>; }
695template <
template <
int>
class _Abi,
int _Bytes>
697 __abi_bytes_impl(_Abi<_Bytes>*)
700template <
typename _Tp>
702 __abi_bytes_impl(_Tp*)
705template <
typename _Abi>
706 inline constexpr int __abi_bytes_v
707 = __abi_bytes_impl(
static_cast<_Abi*
>(
nullptr));
711template <
typename _Abi>
713 __is_builtin_bitmask_abi()
714 {
return is_same_v<simd_abi::_VecBltnBtmsk<__abi_bytes_v<_Abi>>, _Abi>; }
718template <
typename _Abi>
722 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
723 return _Bytes <= 16 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
728template <
typename _Abi>
732 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
733 return _Bytes > 16 && _Bytes <= 32
734 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
739template <
typename _Abi>
743 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
744 return _Bytes <= 64 && is_same_v<simd_abi::_Avx512<_Bytes>, _Abi>;
749template <
typename _Abi>
753 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
754 return _Bytes <= 16 && is_same_v<simd_abi::_VecBuiltin<_Bytes>, _Abi>;
759template <
typename _Abi>
763 constexpr auto _Bytes = __abi_bytes_v<_Abi>;
764 return _Bytes <= __sve_vectorized_size_bytes && is_same_v<simd_abi::_Sve<_Bytes>, _Abi>;
769template <
typename,
typename _Up>
770 struct __make_dependent
771 {
using type = _Up; };
773template <
typename _Tp,
typename _Up>
774 using __make_dependent_t =
typename __make_dependent<_Tp, _Up>::type;
780template <
typename... _Args>
781 [[noreturn]] _GLIBCXX_SIMD_ALWAYS_INLINE
void
782 __invoke_ub([[maybe_unused]]
const char* __msg, [[maybe_unused]]
const _Args&... __args)
784#ifdef _GLIBCXX_DEBUG_UB
785 __builtin_fprintf(stderr, __msg, __args...);
788 __builtin_unreachable();
794template <
typename _Tp>
795 struct __assert_unreachable
796 {
static_assert(!is_same_v<_Tp, _Tp>,
"this should be unreachable"); };
800template <typename _Tp, typename _Ap, size_t _Np = simd_size<_Tp, _Ap>::value>
802 __size_or_zero_dispatch(
int)
805template <
typename _Tp,
typename _Ap>
807 __size_or_zero_dispatch(
float)
810template <
typename _Tp,
typename _Ap>
811 inline constexpr size_t __size_or_zero_v
812 = __size_or_zero_dispatch<_Tp, _Ap>(0);
816inline constexpr size_t
817__div_roundup(
size_t __a,
size_t __b)
818{
return (__a + __b - 1) / __b; }
827 _GLIBCXX_SIMD_INTRINSIC
constexpr
828 _ExactBool(
bool __b) : _M_data(__b) {}
830 _ExactBool(
int) =
delete;
832 _GLIBCXX_SIMD_INTRINSIC
constexpr
833 operator bool()
const
844template <
typename _Tp>
845 using __may_alias [[__gnu__::__may_alias__]] = _Tp;
850struct _UnsupportedBase
852 _UnsupportedBase() =
delete;
853 _UnsupportedBase(
const _UnsupportedBase&) =
delete;
854 _UnsupportedBase& operator=(
const _UnsupportedBase&) =
delete;
855 ~_UnsupportedBase() =
delete;
871 using _SimdBase = _UnsupportedBase;
872 using _MaskBase = _UnsupportedBase;
874 static constexpr size_t _S_full_size = 0;
875 static constexpr bool _S_is_partial =
false;
877 static constexpr size_t _S_simd_align = 1;
879 struct _SimdMember {};
880 struct _SimdCastType;
882 static constexpr size_t _S_mask_align = 1;
884 struct _MaskMember {};
885 struct _MaskCastType;
890template <
typename _Tp,
typename _Abi,
typename =
void_t<>>
891 struct _SimdTraits : _InvalidTraits {};
899inline constexpr struct _PrivateInit {} __private_init = {};
901inline constexpr struct _BitsetInit {} __bitset_init = {};
905template <
typename _From,
typename _To,
bool = is_arithmetic_v<_From>,
906 bool = is_arithmetic_v<_To>>
907 struct __is_narrowing_conversion;
911template <
typename _From,
typename _To>
912 struct __is_narrowing_conversion<_From, _To, true, true>
913 :
public __bool_constant<(
914 __digits_v<_From> > __digits_v<_To>
915 || __finite_max_v<_From> > __finite_max_v<_To>
916 || __finite_min_v<_From> < __finite_min_v<_To>
917 || (is_signed_v<_From> && is_unsigned_v<_To>))> {};
919template <
typename _Tp>
920 struct __is_narrowing_conversion<_Tp, bool, true, true>
921 :
public true_type {};
924 struct __is_narrowing_conversion<bool, bool, true, true>
925 :
public false_type {};
927template <
typename _Tp>
928 struct __is_narrowing_conversion<_Tp, _Tp, true, true>
929 :
public false_type {};
931template <
typename _From,
typename _To>
932 struct __is_narrowing_conversion<_From, _To, false, true>
933 :
public negation<is_convertible<_From, _To>> {};
937template <
typename _From,
typename _To,
bool = (sizeof(_From) < sizeof(_To))>
938 struct __converts_to_higher_
integer_rank : public true_type {};
941template <
typename _From,
typename _To>
942 struct __converts_to_higher_integer_rank<_From, _To, false>
943 :
public is_same<decltype(declval<_From>() + declval<_To>()), _To> {};
947template <
typename _Tp,
typename _Ap>
948 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
949 __data(
const simd<_Tp, _Ap>& __x);
951template <
typename _Tp,
typename _Ap>
952 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
953 __data(simd<_Tp, _Ap>& __x);
955template <
typename _Tp,
typename _Ap>
956 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
957 __data(
const simd_mask<_Tp, _Ap>& __x);
959template <
typename _Tp,
typename _Ap>
960 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
961 __data(simd_mask<_Tp, _Ap>& __x);
965template <
typename _FromT,
typename _FromA,
typename _ToT,
typename _ToA,
967 struct _SimdConverter;
969template <
typename _Tp,
typename _Ap>
970 struct _SimdConverter<_Tp, _Ap, _Tp, _Ap, void>
972 template <
typename _Up>
973 _GLIBCXX_SIMD_INTRINSIC
const _Up&
974 operator()(
const _Up& __x)
980template <
typename _V>
981 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
982 __to_value_type_or_member_type(
const _V& __x) ->
decltype(__data(__x))
983 {
return __data(__x); }
985template <
typename _V>
986 _GLIBCXX_SIMD_INTRINSIC
constexpr const typename _V::value_type&
987 __to_value_type_or_member_type(
const typename _V::value_type& __x)
992template <
size_t _Size>
993 struct __bool_storage_member_type;
995template <
size_t _Size>
996 using __bool_storage_member_type_t =
997 typename __bool_storage_member_type<_Size>::type;
1007template <
typename _Tp,
typename... _Abis>
1012template <
typename _Tp,
int _Np>
1013 struct __fixed_size_storage;
1015template <
typename _Tp,
int _Np>
1016 using __fixed_size_storage_t =
typename __fixed_size_storage<_Tp, _Np>::type;
1020template <
typename _Tp,
size_t _Size,
typename =
void_t<>>
1021 struct _SimdWrapper;
1023template <
typename _Tp>
1024 using _SimdWrapper8 = _SimdWrapper<_Tp, 8 /
sizeof(_Tp)>;
1025template <
typename _Tp>
1026 using _SimdWrapper16 = _SimdWrapper<_Tp, 16 /
sizeof(_Tp)>;
1027template <
typename _Tp>
1028 using _SimdWrapper32 = _SimdWrapper<_Tp, 32 /
sizeof(_Tp)>;
1029template <
typename _Tp>
1030 using _SimdWrapper64 = _SimdWrapper<_Tp, 64 /
sizeof(_Tp)>;
1032template <
typename _Tp,
size_t _W
idth>
1033 struct _SveSimdWrapper;
1037template <
typename _Tp>
1038 struct __is_simd_wrapper : false_type {};
1040template <
typename _Tp,
size_t _Np>
1041 struct __is_simd_wrapper<_SimdWrapper<_Tp, _Np>> : true_type {};
1043template <
typename _Tp>
1044 inline constexpr bool __is_simd_wrapper_v = __is_simd_wrapper<_Tp>::value;
1051 template <
typename _Tp,
typename _Fp>
1053 _S_bit_iteration(_Tp __mask, _Fp&& __f)
1055 static_assert(
sizeof(_ULLong) >=
sizeof(_Tp));
1056 conditional_t<
sizeof(_Tp) <=
sizeof(_UInt), _UInt, _ULLong> __k;
1057 if constexpr (is_convertible_v<_Tp,
decltype(__k)>)
1060 __k = __mask.to_ullong();
1063 __f(std::__countr_zero(__k));
1073template <
typename _Tp =
void>
1075 {
constexpr _Tp operator()(_Tp __a)
const {
return ++__a; } };
1078 struct __increment<void>
1080 template <
typename _Tp>
1082 operator()(_Tp __a)
const
1086template <
typename _Tp =
void>
1088 {
constexpr _Tp operator()(_Tp __a)
const {
return --__a; } };
1091 struct __decrement<void>
1093 template <
typename _Tp>
1095 operator()(_Tp __a)
const
1101template <
typename _From,
typename _To,
1103 __is_narrowing_conversion<__remove_cvref_t<_From>, _To>>::value>>
1104 using _ValuePreserving = _From;
1106template <
typename _From,
typename _To,
1107 typename _DecayedFrom = __remove_cvref_t<_From>,
1109 is_convertible<_From, _To>,
1111 is_same<_DecayedFrom, _To>, is_same<_DecayedFrom, int>,
1112 conjunction<is_same<_DecayedFrom, _UInt>, is_unsigned<_To>>,
1113 negation<__is_narrowing_conversion<_DecayedFrom, _To>>>>::value>>
1114 using _ValuePreservingOrInt = _From;
1118template <
typename _Tp,
size_t _Bytes,
typename =
void_t<>>
1119 struct __intrinsic_type;
1121template <
typename _Tp,
size_t _Size>
1122 using __intrinsic_type_t =
1123 typename __intrinsic_type<_Tp, _Size *
sizeof(_Tp)>::type;
1125template <
typename _Tp>
1126 using __intrinsic_type2_t =
typename __intrinsic_type<_Tp, 2>::type;
1127template <
typename _Tp>
1128 using __intrinsic_type4_t =
typename __intrinsic_type<_Tp, 4>::type;
1129template <
typename _Tp>
1130 using __intrinsic_type8_t =
typename __intrinsic_type<_Tp, 8>::type;
1131template <
typename _Tp>
1132 using __intrinsic_type16_t =
typename __intrinsic_type<_Tp, 16>::type;
1133template <
typename _Tp>
1134 using __intrinsic_type32_t =
typename __intrinsic_type<_Tp, 32>::type;
1135template <
typename _Tp>
1136 using __intrinsic_type64_t =
typename __intrinsic_type<_Tp, 64>::type;
1140template <
size_t _Np,
bool _Sanitized = false>
1143template <
size_t _Np,
bool _Sanitized>
1144 struct __is_bitmask<_BitMask<_Np, _Sanitized>, void> : true_type {};
1146template <
size_t _Np>
1147 using _SanitizedBitMask = _BitMask<_Np, true>;
1149template <
size_t _Np,
bool _Sanitized>
1152 static_assert(_Np > 0);
1154 static constexpr size_t _NBytes = __div_roundup(_Np, __CHAR_BIT__);
1158 sizeof(_ULLong), std::__bit_ceil(_NBytes))>>>;
1160 static constexpr int _S_array_size = __div_roundup(_NBytes,
sizeof(_Tp));
1162 _Tp _M_bits[_S_array_size];
1164 static constexpr int _S_unused_bits
1165 = _Np == 1 ? 0 : _S_array_size *
sizeof(_Tp) * __CHAR_BIT__ - _Np;
1167 static constexpr _Tp _S_bitmask = +_Tp(~_Tp()) >> _S_unused_bits;
1169 constexpr _BitMask() noexcept = default;
1171 constexpr _BitMask(
unsigned long long __x) noexcept
1172 : _M_bits{
static_cast<_Tp
>(__x)} {}
1174 _BitMask(bitset<_Np> __x) noexcept : _BitMask(__x.to_ullong()) {}
1176 constexpr _BitMask(
const _BitMask&)
noexcept =
default;
1178 template <
bool _RhsSanitized,
typename =
enable_if_t<_RhsSanitized ==
false
1179 && _Sanitized ==
true>>
1180 constexpr _BitMask(
const _BitMask<_Np, _RhsSanitized>& __rhs) noexcept
1181 : _BitMask(__rhs._M_sanitized()) {}
1183 constexpr operator _SimdWrapper<bool, _Np>() const noexcept
1185 static_assert(_S_array_size == 1);
1191 _M_to_bits() const noexcept
1193 static_assert(_S_array_size == 1);
1198 constexpr unsigned long long
1199 to_ullong() const noexcept
1201 static_assert(_S_array_size == 1);
1206 constexpr unsigned long
1207 to_ulong() const noexcept
1209 static_assert(_S_array_size == 1);
1213 constexpr bitset<_Np>
1214 _M_to_bitset() const noexcept
1216 static_assert(_S_array_size == 1);
1220 constexpr decltype(
auto)
1221 _M_sanitized()
const noexcept
1223 if constexpr (_Sanitized)
1225 else if constexpr (_Np == 1)
1226 return _SanitizedBitMask<_Np>(_M_bits[0]);
1229 _SanitizedBitMask<_Np> __r = {};
1230 for (
int __i = 0; __i < _S_array_size; ++__i)
1231 __r._M_bits[__i] = _M_bits[__i];
1232 if constexpr (_S_unused_bits > 0)
1233 __r._M_bits[_S_array_size - 1] &= _S_bitmask;
1238 template <
size_t _Mp,
bool _LSanitized>
1239 constexpr _BitMask<_Np + _Mp, _Sanitized>
1240 _M_prepend(_BitMask<_Mp, _LSanitized> __lsb)
const noexcept
1242 constexpr size_t _RN = _Np + _Mp;
1243 using _Rp = _BitMask<_RN, _Sanitized>;
1244 if constexpr (_Rp::_S_array_size == 1)
1246 _Rp __r{{_M_bits[0]}};
1247 __r._M_bits[0] <<= _Mp;
1248 __r._M_bits[0] |= __lsb._M_sanitized()._M_bits[0];
1252 __assert_unreachable<_Rp>();
1258 template <
size_t _DropLsb,
size_t _NewSize = _Np - _DropLsb>
1260 _M_extract() const noexcept
1262 static_assert(_Np > _DropLsb);
1263 static_assert(_DropLsb + _NewSize <=
sizeof(_ULLong) * __CHAR_BIT__,
1264 "not implemented for bitmasks larger than one ullong");
1265 if constexpr (_NewSize == 1)
1267 return _SanitizedBitMask<1>(_M_bits[0] & (_Tp(1) << _DropLsb));
1269 return _BitMask<_NewSize,
1270 ((_NewSize + _DropLsb ==
sizeof(_Tp) * __CHAR_BIT__
1271 && _NewSize + _DropLsb <= _Np)
1272 || ((_Sanitized || _Np ==
sizeof(_Tp) * __CHAR_BIT__)
1273 && _NewSize + _DropLsb >= _Np))>(_M_bits[0]
1279 all() const noexcept
1281 if constexpr (_Np == 1)
1283 else if constexpr (!_Sanitized)
1284 return _M_sanitized().all();
1287 constexpr _Tp __allbits = ~_Tp();
1288 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1289 if (_M_bits[__i] != __allbits)
1291 return _M_bits[_S_array_size - 1] == _S_bitmask;
1298 any() const noexcept
1300 if constexpr (_Np == 1)
1302 else if constexpr (!_Sanitized)
1303 return _M_sanitized().any();
1306 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1307 if (_M_bits[__i] != 0)
1309 return _M_bits[_S_array_size - 1] != 0;
1315 none() const noexcept
1317 if constexpr (_Np == 1)
1319 else if constexpr (!_Sanitized)
1320 return _M_sanitized().none();
1323 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1324 if (_M_bits[__i] != 0)
1326 return _M_bits[_S_array_size - 1] == 0;
1333 count() const noexcept
1335 if constexpr (_Np == 1)
1337 else if constexpr (!_Sanitized)
1338 return _M_sanitized().none();
1341 int __result = __builtin_popcountll(_M_bits[0]);
1342 for (
int __i = 1; __i < _S_array_size; ++__i)
1343 __result += __builtin_popcountll(_M_bits[__i]);
1350 operator[](
size_t __i)
const noexcept
1352 if constexpr (_Np == 1)
1354 else if constexpr (_S_array_size == 1)
1355 return (_M_bits[0] >> __i) & 1;
1358 const size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1359 const size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1360 return (_M_bits[__j] >> __shift) & 1;
1364 template <
size_t __i>
1366 operator[](_SizeConstant<__i>)
const noexcept
1368 static_assert(__i < _Np);
1369 constexpr size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1370 constexpr size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1371 return static_cast<bool>(_M_bits[__j] & (_Tp(1) << __shift));
1376 set(
size_t __i,
bool __x)
noexcept
1378 if constexpr (_Np == 1)
1380 else if constexpr (_S_array_size == 1)
1382 _M_bits[0] &= ~_Tp(_Tp(1) << __i);
1383 _M_bits[0] |= _Tp(_Tp(__x) << __i);
1387 const size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1388 const size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1389 _M_bits[__j] &= ~_Tp(_Tp(1) << __shift);
1390 _M_bits[__j] |= _Tp(_Tp(__x) << __shift);
1394 template <
size_t __i>
1396 set(_SizeConstant<__i>,
bool __x)
noexcept
1398 static_assert(__i < _Np);
1399 if constexpr (_Np == 1)
1403 constexpr size_t __j = __i / (
sizeof(_Tp) * __CHAR_BIT__);
1404 constexpr size_t __shift = __i % (
sizeof(_Tp) * __CHAR_BIT__);
1405 constexpr _Tp __mask = ~_Tp(_Tp(1) << __shift);
1406 _M_bits[__j] &= __mask;
1407 _M_bits[__j] |= _Tp(_Tp(__x) << __shift);
1413 operator~() const noexcept
1415 if constexpr (_Np == 1)
1419 _BitMask __result{};
1420 for (
int __i = 0; __i < _S_array_size - 1; ++__i)
1421 __result._M_bits[__i] = ~_M_bits[__i];
1422 if constexpr (_Sanitized)
1423 __result._M_bits[_S_array_size - 1]
1424 = _M_bits[_S_array_size - 1] ^ _S_bitmask;
1426 __result._M_bits[_S_array_size - 1] = ~_M_bits[_S_array_size - 1];
1432 operator^=(
const _BitMask& __b) &
noexcept
1434 __execute_n_times<_S_array_size>(
1435 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] ^= __b._M_bits[__i]; });
1440 operator|=(
const _BitMask& __b) &
noexcept
1442 __execute_n_times<_S_array_size>(
1443 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] |= __b._M_bits[__i]; });
1448 operator&=(
const _BitMask& __b) &
noexcept
1450 __execute_n_times<_S_array_size>(
1451 [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA { _M_bits[__i] &= __b._M_bits[__i]; });
1455 friend constexpr _BitMask
1456 operator^(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1463 friend constexpr _BitMask
1464 operator|(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1471 friend constexpr _BitMask
1472 operator&(
const _BitMask& __a,
const _BitMask& __b)
noexcept
1479 _GLIBCXX_SIMD_INTRINSIC
1481 _M_is_constprop()
const
1483 if constexpr (_S_array_size == 0)
1484 return __builtin_constant_p(_M_bits[0]);
1487 for (
int __i = 0; __i < _S_array_size; ++__i)
1488 if (!__builtin_constant_p(_M_bits[__i]))
1499template <
typename _Tp =
void>
1500 static inline constexpr int __min_vector_size = 2 *
sizeof(_Tp);
1502#if _GLIBCXX_SIMD_HAVE_NEON
1504 inline constexpr int __min_vector_size<void> = 8;
1507 inline constexpr int __min_vector_size<void> = 16;
1512template <
typename _Tp,
size_t _Np,
typename =
void>
1513 struct __vector_type_n {};
1516template <
typename _Tp>
1517 struct __vector_type_n<_Tp, 0, void> {};
1520template <
typename _Tp>
1521 struct __vector_type_n<_Tp, 1,
enable_if_t<__is_vectorizable_v<_Tp>>>
1522 {
using type = _Tp; };
1525template <
typename _Tp,
size_t _Np>
1526 struct __vector_type_n<_Tp, _Np,
enable_if_t<__is_vectorizable_v<_Tp> && _Np >= 2>>
1528 static constexpr size_t _S_Np2 = std::__bit_ceil(_Np *
sizeof(_Tp));
1530 static constexpr size_t _S_Bytes =
1536 _S_Np2 < __min_vector_size<_Tp> ? __min_vector_size<_Tp>
1539 using type [[__gnu__::__vector_size__(_S_Bytes)]] = _Tp;
1542template <
typename _Tp,
size_t _Bytes,
size_t = _Bytes % sizeof(_Tp)>
1543 struct __vector_type;
1545template <
typename _Tp,
size_t _Bytes>
1546 struct __vector_type<_Tp, _Bytes, 0>
1547 : __vector_type_n<_Tp, _Bytes / sizeof(_Tp)> {};
1549template <
typename _Tp,
size_t _Size>
1550 using __vector_type_t =
typename __vector_type_n<_Tp, _Size>::type;
1552template <
typename _Tp>
1553 using __vector_type2_t =
typename __vector_type<_Tp, 2>::type;
1554template <
typename _Tp>
1555 using __vector_type4_t =
typename __vector_type<_Tp, 4>::type;
1556template <
typename _Tp>
1557 using __vector_type8_t =
typename __vector_type<_Tp, 8>::type;
1558template <
typename _Tp>
1559 using __vector_type16_t =
typename __vector_type<_Tp, 16>::type;
1560template <
typename _Tp>
1561 using __vector_type32_t =
typename __vector_type<_Tp, 32>::type;
1562template <
typename _Tp>
1563 using __vector_type64_t =
typename __vector_type<_Tp, 64>::type;
1567template <
typename _Tp,
typename =
void_t<>>
1568 struct __is_vector_type : false_type {};
1570template <
typename _Tp>
1571 struct __is_vector_type<
1572 _Tp,
void_t<typename __vector_type<
1574 : is_same<_Tp, typename __vector_type<
1575 remove_reference_t<decltype(declval<_Tp>()[0])>,
1576 sizeof(_Tp)>::type> {};
1578template <
typename _Tp>
1579 inline constexpr bool __is_vector_type_v = __is_vector_type<_Tp>::value;
1583#if _GLIBCXX_SIMD_HAVE_SSE_ABI
1584template <
typename _Tp>
1585 using __is_intrinsic_type = __is_vector_type<_Tp>;
1587template <
typename _Tp,
typename =
void_t<>>
1588 struct __is_intrinsic_type : false_type {};
1590template <
typename _Tp>
1591 struct __is_intrinsic_type<
1592 _Tp,
void_t<typename __intrinsic_type<
1594 : is_same<_Tp, typename __intrinsic_type<
1595 remove_reference_t<decltype(declval<_Tp>()[0])>,
1596 sizeof(_Tp)>::type> {};
1599template <
typename _Tp>
1600 inline constexpr bool __is_intrinsic_type_v = __is_intrinsic_type<_Tp>::value;
1604template <
typename _Tp,
typename =
void_t<>>
1605 struct _VectorTraitsImpl;
1607template <
typename _Tp>
1608 struct _VectorTraitsImpl<_Tp,
enable_if_t<__is_vector_type_v<_Tp>
1609 || __is_intrinsic_type_v<_Tp>>>
1612 using value_type = remove_reference_t<decltype(declval<_Tp>()[0])>;
1613 static constexpr int _S_full_size =
sizeof(_Tp) /
sizeof(value_type);
1614 using _Wrapper = _SimdWrapper<value_type, _S_full_size>;
1615 template <
typename _Up,
int _W = _S_full_size>
1616 static constexpr bool _S_is
1617 = is_same_v<value_type, _Up> && _W == _S_full_size;
1620template <
typename _Tp,
size_t _Np>
1621 struct _VectorTraitsImpl<_SimdWrapper<_Tp, _Np>,
1622 void_t<__vector_type_t<_Tp, _Np>>>
1624 using type = __vector_type_t<_Tp, _Np>;
1625 using value_type = _Tp;
1626 static constexpr int _S_full_size =
sizeof(type) /
sizeof(value_type);
1627 using _Wrapper = _SimdWrapper<_Tp, _Np>;
1628 static constexpr bool _S_is_partial = (_Np == _S_full_size);
1629 static constexpr int _S_partial_width = _Np;
1630 template <
typename _Up,
int _W = _S_full_size>
1631 static constexpr bool _S_is
1632 = is_same_v<value_type, _Up>&& _W == _S_full_size;
1635template <typename _Tp, typename = typename _VectorTraitsImpl<_Tp>::type>
1636 using _VectorTraits = _VectorTraitsImpl<_Tp>;
1640template <
typename _V>
1641 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
1644 if constexpr (__is_vector_type_v<_V>)
1646 else if constexpr (is_simd<_V>::value || is_simd_mask<_V>::value)
1648 if constexpr (__is_fixed_size_abi_v<typename _V::abi_type>)
1650 static_assert(is_simd<_V>::value);
1651 static_assert(_V::abi_type::template __traits<
1652 typename _V::value_type>::_SimdMember::_S_tuple_size == 1);
1653 return __as_vector(__data(__x).first);
1655 else if constexpr (_V::size() > 1)
1656 return __data(__x)._M_data;
1659 static_assert(is_simd<_V>::value);
1660 using _Tp =
typename _V::value_type;
1662 constexpr auto __bytes =
sizeof(_Tp) == 8 ? 16 : sizeof(_Tp);
1663 using _RV [[__gnu__::__vector_size__(__bytes)]] = _Tp;
1665 using _RV [[__gnu__::__vector_size__(
sizeof(_Tp))]] = _Tp;
1667 return _RV{__data(__x)};
1670 else if constexpr (__is_vectorizable_v<_V>)
1671 return __vector_type_t<_V, 2>{__x};
1678template <
size_t _Np = 0,
typename _V>
1679 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
1680 __as_wrapper(_V __x)
1682 if constexpr (__is_vector_type_v<_V>)
1683 return _SimdWrapper<
typename _VectorTraits<_V>::value_type,
1684 (_Np > 0 ? _Np : _VectorTraits<_V>::_S_full_size)>(__x);
1685 else if constexpr (is_simd<_V>::value || is_simd_mask<_V>::value)
1687 static_assert(_V::size() == _Np);
1692 static_assert(_V::_S_size == _Np);
1699template <
typename _To,
typename _From>
1700 _GLIBCXX_SIMD_INTRINSIC
constexpr _To
1701 __intrin_bitcast(_From __v)
1703 static_assert((__is_vector_type_v<_From> || __is_intrinsic_type_v<_From>)
1704 && (__is_vector_type_v<_To> || __is_intrinsic_type_v<_To>));
1705 if constexpr (
sizeof(_To) ==
sizeof(_From))
1706 return reinterpret_cast<_To
>(__v);
1707 else if constexpr (
sizeof(_From) >
sizeof(_To))
1708 if constexpr (
sizeof(_To) >= 16)
1709 return reinterpret_cast<const __may_alias<_To>&
>(__v);
1713 __builtin_memcpy(&__r, &__v,
sizeof(_To));
1716#if _GLIBCXX_SIMD_X86INTRIN && !defined _GLIBCXX_CLANG
1717 else if constexpr (__have_avx &&
sizeof(_From) == 16 &&
sizeof(_To) == 32)
1718 return reinterpret_cast<_To
>(__builtin_ia32_ps256_ps(
1719 reinterpret_cast<__vector_type_t<float, 4>
>(__v)));
1720 else if constexpr (__have_avx512f &&
sizeof(_From) == 16
1721 &&
sizeof(_To) == 64)
1722 return reinterpret_cast<_To
>(__builtin_ia32_ps512_ps(
1723 reinterpret_cast<__vector_type_t<float, 4>
>(__v)));
1724 else if constexpr (__have_avx512f &&
sizeof(_From) == 32
1725 &&
sizeof(_To) == 64)
1726 return reinterpret_cast<_To
>(__builtin_ia32_ps512_256ps(
1727 reinterpret_cast<__vector_type_t<float, 8>
>(__v)));
1729 else if constexpr (
sizeof(__v) <= 8)
1730 return reinterpret_cast<_To
>(
1731 __vector_type_t<__int_for_sizeof_t<_From>,
sizeof(_To) /
sizeof(_From)>{
1732 reinterpret_cast<__int_for_sizeof_t<_From>
>(__v)});
1735 static_assert(
sizeof(_To) >
sizeof(_From));
1737 __builtin_memcpy(&__r, &__v,
sizeof(_From));
1744template <
typename _To,
size_t _NN = 0,
typename _From,
1745 typename _FromVT = _VectorTraits<_From>,
1746 size_t _Np = _NN == 0 ?
sizeof(_From) /
sizeof(_To) : _NN>
1747 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_To, _Np>
1748 __vector_bitcast(_From __x)
1750 using _R = __vector_type_t<_To, _Np>;
1751 return __intrin_bitcast<_R>(__x);
1754template <
typename _To,
size_t _NN = 0,
typename _Tp,
size_t _Nx,
1756 = _NN == 0 ?
sizeof(_SimdWrapper<_Tp, _Nx>) /
sizeof(_To) : _NN>
1757 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_To, _Np>
1758 __vector_bitcast(
const _SimdWrapper<_Tp, _Nx>& __x)
1760 static_assert(_Np > 1);
1761 return __intrin_bitcast<__vector_type_t<_To, _Np>>(__x._M_data);
1766#ifdef _GLIBCXX_SIMD_WORKAROUND_PR85048
1767template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1768 _To __convert_x86(_Tp);
1770template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1771 _To __convert_x86(_Tp, _Tp);
1773template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1774 _To __convert_x86(_Tp, _Tp, _Tp, _Tp);
1776template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1777 _To __convert_x86(_Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp);
1779template <
typename _To,
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
1780 _To __convert_x86(_Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp, _Tp,
1781 _Tp, _Tp, _Tp, _Tp);
1786template <
typename _To,
typename _From>
1787 _GLIBCXX_SIMD_INTRINSIC
constexpr _To
1788 __bit_cast(
const _From __x)
1790#if __has_builtin(__builtin_bit_cast)
1791 return __builtin_bit_cast(_To, __x);
1793 static_assert(
sizeof(_To) ==
sizeof(_From));
1794 constexpr bool __to_is_vectorizable
1795 = is_arithmetic_v<_To> || is_enum_v<_To>;
1796 constexpr bool __from_is_vectorizable
1797 = is_arithmetic_v<_From> || is_enum_v<_From>;
1798 if constexpr (__is_vector_type_v<_To> && __is_vector_type_v<_From>)
1799 return reinterpret_cast<_To
>(__x);
1800 else if constexpr (__is_vector_type_v<_To> && __from_is_vectorizable)
1802 using _FV [[__gnu__::__vector_size__(
sizeof(_From))]] = _From;
1803 return reinterpret_cast<_To
>(_FV{__x});
1805 else if constexpr (__to_is_vectorizable && __from_is_vectorizable)
1807 using _TV [[__gnu__::__vector_size__(
sizeof(_To))]] = _To;
1808 using _FV [[__gnu__::__vector_size__(
sizeof(_From))]] = _From;
1809 return reinterpret_cast<_TV
>(_FV{__x})[0];
1811 else if constexpr (__to_is_vectorizable && __is_vector_type_v<_From>)
1813 using _TV [[__gnu__::__vector_size__(
sizeof(_To))]] = _To;
1814 return reinterpret_cast<_TV
>(__x)[0];
1819 __builtin_memcpy(
reinterpret_cast<char*
>(&__r),
1820 reinterpret_cast<const char*
>(&__x),
sizeof(_To));
1828template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>,
1829 typename _R = __
intrinsic_type_t<
typename _TVT::value_type, _TVT::_S_full_size>>
1830 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
1831 __to_intrin(_Tp __x)
1833 static_assert(
sizeof(__x) <=
sizeof(_R),
1834 "__to_intrin may never drop values off the end");
1835 if constexpr (
sizeof(__x) ==
sizeof(_R))
1836 return reinterpret_cast<_R
>(__as_vector(__x));
1839 using _Up = __int_for_sizeof_t<_Tp>;
1840 return reinterpret_cast<_R
>(
1841 __vector_type_t<_Up,
sizeof(_R) /
sizeof(_Up)>{__bit_cast<_Up>(__x)});
1847template <
typename _Tp,
typename... _Args>
1848 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp,
sizeof...(_Args)>
1849 __make_vector(
const _Args&... __args)
1850 {
return __vector_type_t<_Tp,
sizeof...(_Args)>{
static_cast<_Tp
>(__args)...}; }
1854template <
size_t _Np,
typename _Tp,
size_t... _I>
1855 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1856 __vector_broadcast_impl(_Tp __x, index_sequence<_I...>)
1857 {
return __vector_type_t<_Tp, _Np>{((void)_I, __x)...}; }
1859template <
size_t _Np,
typename _Tp>
1860 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1861 __vector_broadcast(_Tp __x)
1862 {
return __vector_broadcast_impl<_Np, _Tp>(__x, make_index_sequence<_Np>()); }
1866 template <
typename _Tp,
size_t _Np,
typename _Gp,
size_t... _I>
1867 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1868 __generate_vector_impl(_Gp&& __gen, index_sequence<_I...>)
1869 {
return __vector_type_t<_Tp, _Np>{
static_cast<_Tp
>(__gen(_SizeConstant<_I>()))...}; }
1871template <
typename _V,
typename _VVT = _VectorTraits<_V>,
typename _Gp>
1872 _GLIBCXX_SIMD_INTRINSIC
constexpr _V
1873 __generate_vector(_Gp&& __gen)
1875 if constexpr (__is_vector_type_v<_V>)
1876 return __generate_vector_impl<
typename _VVT::value_type,
1877 _VVT::_S_full_size>(
1878 static_cast<_Gp&&
>(__gen), make_index_sequence<_VVT::_S_full_size>());
1880 return __generate_vector_impl<
typename _VVT::value_type,
1881 _VVT::_S_partial_width>(
1882 static_cast<_Gp&&
>(__gen),
1883 make_index_sequence<_VVT::_S_partial_width>());
1886template <
typename _Tp,
size_t _Np,
typename _Gp>
1887 _GLIBCXX_SIMD_INTRINSIC
constexpr __vector_type_t<_Tp, _Np>
1888 __generate_vector(_Gp&& __gen)
1890 return __generate_vector_impl<_Tp, _Np>(
static_cast<_Gp&&
>(__gen),
1891 make_index_sequence<_Np>());
1896template <
typename _TW>
1897 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1898 __xor(_TW __a, _TW __b)
noexcept
1900 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1902 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1903 _VectorTraitsImpl<_TW>>::value_type;
1904 if constexpr (is_floating_point_v<_Tp>)
1906 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1907 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1908 ^ __vector_bitcast<_Ip>(__b));
1910 else if constexpr (__is_vector_type_v<_TW>)
1913 return __a._M_data ^ __b._M_data;
1921template <
typename _TW>
1922 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1923 __or(_TW __a, _TW __b)
noexcept
1925 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1927 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1928 _VectorTraitsImpl<_TW>>::value_type;
1929 if constexpr (is_floating_point_v<_Tp>)
1931 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1932 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1933 | __vector_bitcast<_Ip>(__b));
1935 else if constexpr (__is_vector_type_v<_TW>)
1938 return __a._M_data | __b._M_data;
1946template <
typename _TW>
1947 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
1948 __and(_TW __a, _TW __b)
noexcept
1950 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
1952 using _Tp =
typename conditional_t<__is_simd_wrapper_v<_TW>, _TW,
1953 _VectorTraitsImpl<_TW>>::value_type;
1954 if constexpr (is_floating_point_v<_Tp>)
1956 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
1957 return __vector_bitcast<_Tp>(__vector_bitcast<_Ip>(__a)
1958 & __vector_bitcast<_Ip>(__b));
1960 else if constexpr (__is_vector_type_v<_TW>)
1963 return __a._M_data & __b._M_data;
1971#if _GLIBCXX_SIMD_X86INTRIN && !defined _GLIBCXX_CLANG
1972static constexpr struct
1974 _GLIBCXX_SIMD_INTRINSIC __v4sf
1975 operator()(__v4sf __a, __v4sf __b)
const noexcept
1976 {
return __builtin_ia32_andnps(__a, __b); }
1978 _GLIBCXX_SIMD_INTRINSIC __v2df
1979 operator()(__v2df __a, __v2df __b)
const noexcept
1980 {
return __builtin_ia32_andnpd(__a, __b); }
1982 _GLIBCXX_SIMD_INTRINSIC __v2di
1983 operator()(__v2di __a, __v2di __b)
const noexcept
1984 {
return __builtin_ia32_pandn128(__a, __b); }
1986 _GLIBCXX_SIMD_INTRINSIC __v8sf
1987 operator()(__v8sf __a, __v8sf __b)
const noexcept
1988 {
return __builtin_ia32_andnps256(__a, __b); }
1990 _GLIBCXX_SIMD_INTRINSIC __v4df
1991 operator()(__v4df __a, __v4df __b)
const noexcept
1992 {
return __builtin_ia32_andnpd256(__a, __b); }
1994 _GLIBCXX_SIMD_INTRINSIC __v4di
1995 operator()(__v4di __a, __v4di __b)
const noexcept
1997 if constexpr (__have_avx2)
1998 return __builtin_ia32_andnotsi256(__a, __b);
2000 return reinterpret_cast<__v4di
>(
2001 __builtin_ia32_andnpd256(
reinterpret_cast<__v4df
>(__a),
2002 reinterpret_cast<__v4df
>(__b)));
2005 _GLIBCXX_SIMD_INTRINSIC __v16sf
2006 operator()(__v16sf __a, __v16sf __b)
const noexcept
2008 if constexpr (__have_avx512dq)
2009 return _mm512_andnot_ps(__a, __b);
2011 return reinterpret_cast<__v16sf
>(
2012 _mm512_andnot_si512(
reinterpret_cast<__v8di
>(__a),
2013 reinterpret_cast<__v8di
>(__b)));
2016 _GLIBCXX_SIMD_INTRINSIC __v8df
2017 operator()(__v8df __a, __v8df __b)
const noexcept
2019 if constexpr (__have_avx512dq)
2020 return _mm512_andnot_pd(__a, __b);
2022 return reinterpret_cast<__v8df
>(
2023 _mm512_andnot_si512(
reinterpret_cast<__v8di
>(__a),
2024 reinterpret_cast<__v8di
>(__b)));
2027 _GLIBCXX_SIMD_INTRINSIC __v8di
2028 operator()(__v8di __a, __v8di __b)
const noexcept
2029 {
return _mm512_andnot_si512(__a, __b); }
2033template <
typename _TW>
2034 _GLIBCXX_SIMD_INTRINSIC
constexpr _TW
2035 __andnot(_TW __a, _TW __b)
noexcept
2037 if constexpr (__is_vector_type_v<_TW> || __is_simd_wrapper_v<_TW>)
2039 using _TVT = conditional_t<__is_simd_wrapper_v<_TW>, _TW,
2040 _VectorTraitsImpl<_TW>>;
2041 using _Tp =
typename _TVT::value_type;
2042#if _GLIBCXX_SIMD_X86INTRIN && !defined _GLIBCXX_CLANG
2043 if constexpr (
sizeof(_TW) >= 16)
2045 const auto __ai = __to_intrin(__a);
2046 const auto __bi = __to_intrin(__b);
2047 if (!__builtin_is_constant_evaluated()
2048 && !(__builtin_constant_p(__ai) && __builtin_constant_p(__bi)))
2050 const auto __r = _S_x86_andnot(__ai, __bi);
2051 if constexpr (is_convertible_v<
decltype(__r), _TW>)
2054 return reinterpret_cast<typename _TVT::type
>(__r);
2058 using _Ip = make_unsigned_t<__int_for_sizeof_t<_Tp>>;
2059 return __vector_bitcast<_Tp>(~__vector_bitcast<_Ip>(__a)
2060 & __vector_bitcast<_Ip>(__b));
2068template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2069 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2070 __not(_Tp __a)
noexcept
2072 if constexpr (is_floating_point_v<typename _TVT::value_type>)
2073 return reinterpret_cast<typename _TVT::type
>(
2074 ~__vector_bitcast<unsigned>(__a));
2081template <
typename _T0,
typename _T1,
typename _Fun,
size_t... _Is>
2082 _GLIBCXX_SIMD_INTRINSIC
constexpr
2083 __vector_type_t<remove_reference_t<decltype(declval<_T0>()[0])>,
sizeof...(_Is)>
2084 __vec_shuffle(_T0 __x, _T1 __y, index_sequence<_Is...> __seq, _Fun __idx_perm)
2086 constexpr int _N0 =
sizeof(__x) /
sizeof(__x[0]);
2087 constexpr int _N1 =
sizeof(__y) /
sizeof(__y[0]);
2088 using _Tp = remove_reference_t<decltype(declval<_T0>()[0])>;
2089 using _RV [[maybe_unused]] = __vector_type_t<_Tp,
sizeof...(_Is)>;
2090#if __has_builtin(__builtin_shufflevector)
2091#ifdef _GLIBCXX_CLANG
2093 if constexpr (
sizeof(__x) >
sizeof(__y) and _N1 == 1)
2094 return __vec_shuffle(__x, _T0{__y[0]}, __seq, __idx_perm);
2095 else if constexpr (
sizeof(__x) >
sizeof(__y))
2096 return __vec_shuffle(__x, __intrin_bitcast<_T0>(__y), __seq, __idx_perm);
2097 else if constexpr (
sizeof(__x) <
sizeof(__y) and _N0 == 1)
2098 return __vec_shuffle(_T1{__x[0]}, __y, __seq, [=](
int __i) {
2099 __i = __idx_perm(__i);
2100 return __i < _N0 ? __i : __i - _N0 + _N1;
2102 else if constexpr (
sizeof(__x) <
sizeof(__y))
2103 return __vec_shuffle(__intrin_bitcast<_T1>(__x), __y, __seq, [=](
int __i) {
2104 __i = __idx_perm(__i);
2105 return __i < _N0 ? __i : __i - _N0 + _N1;
2110 const auto __r = __builtin_shufflevector(__x, __y, [=] {
2111 constexpr int __j = __idx_perm(_Is);
2112 static_assert(__j < _N0 + _N1);
2116 if constexpr (
sizeof(__r) ==
sizeof(_RV))
2119 return _RV {__r[_Is]...};
2127 constexpr int __j = __idx_perm(_Is);
2128 static_assert(__j < _N0 + _N1);
2129 if constexpr (__j < 0)
2131 else if constexpr (__j < _N0)
2134 return __y[__j - _N0];
2140template <
typename _T0,
typename _Fun,
typename _Seq>
2141 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2142 __vec_shuffle(_T0 __x, _Seq __seq, _Fun __idx_perm)
2143 {
return __vec_shuffle(__x, _T0(), __seq, __idx_perm); }
2147template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>,
2148 typename _R = __vector_type_t<
typename _TVT::value_type, _TVT::_S_full_size * 2>>
2150 __concat(_Tp a_, _Tp b_)
2152#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_1
2154 = conditional_t<is_floating_point_v<typename _TVT::value_type>, double,
2156 long long,
typename _TVT::value_type>>;
2157 constexpr int input_width =
sizeof(_Tp) /
sizeof(_W);
2158 const auto __a = __vector_bitcast<_W>(a_);
2159 const auto __b = __vector_bitcast<_W>(b_);
2160 using _Up = __vector_type_t<_W,
sizeof(_R) /
sizeof(_W)>;
2162 constexpr int input_width = _TVT::_S_full_size;
2163 const _Tp& __a = a_;
2164 const _Tp& __b = b_;
2167 if constexpr (input_width == 2)
2168 return reinterpret_cast<_R
>(_Up{__a[0], __a[1], __b[0], __b[1]});
2169 else if constexpr (input_width == 4)
2170 return reinterpret_cast<_R
>(
2171 _Up{__a[0], __a[1], __a[2], __a[3], __b[0], __b[1], __b[2], __b[3]});
2172 else if constexpr (input_width == 8)
2173 return reinterpret_cast<_R
>(
2174 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6], __a[7],
2175 __b[0], __b[1], __b[2], __b[3], __b[4], __b[5], __b[6], __b[7]});
2176 else if constexpr (input_width == 16)
2177 return reinterpret_cast<_R
>(
2178 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6],
2179 __a[7], __a[8], __a[9], __a[10], __a[11], __a[12], __a[13],
2180 __a[14], __a[15], __b[0], __b[1], __b[2], __b[3], __b[4],
2181 __b[5], __b[6], __b[7], __b[8], __b[9], __b[10], __b[11],
2182 __b[12], __b[13], __b[14], __b[15]});
2183 else if constexpr (input_width == 32)
2184 return reinterpret_cast<_R
>(
2185 _Up{__a[0], __a[1], __a[2], __a[3], __a[4], __a[5], __a[6],
2186 __a[7], __a[8], __a[9], __a[10], __a[11], __a[12], __a[13],
2187 __a[14], __a[15], __a[16], __a[17], __a[18], __a[19], __a[20],
2188 __a[21], __a[22], __a[23], __a[24], __a[25], __a[26], __a[27],
2189 __a[28], __a[29], __a[30], __a[31], __b[0], __b[1], __b[2],
2190 __b[3], __b[4], __b[5], __b[6], __b[7], __b[8], __b[9],
2191 __b[10], __b[11], __b[12], __b[13], __b[14], __b[15], __b[16],
2192 __b[17], __b[18], __b[19], __b[20], __b[21], __b[22], __b[23],
2193 __b[24], __b[25], __b[26], __b[27], __b[28], __b[29], __b[30],
2199template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2200 struct _ZeroExtendProxy
2202 using value_type =
typename _TVT::value_type;
2203 static constexpr size_t _Np = _TVT::_S_full_size;
2206 template <
typename _To,
typename _ToVT = _VectorTraits<_To>,
2208 = enable_if_t<is_same_v<
typename _ToVT::value_type, value_type>>>
2209 _GLIBCXX_SIMD_INTRINSIC
operator _To()
const
2211 constexpr size_t _ToN = _ToVT::_S_full_size;
2212 if constexpr (_ToN == _Np)
2214 else if constexpr (_ToN == 2 * _Np)
2216#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_3
2217 if constexpr (__have_avx && _TVT::template _S_is<float, 4>)
2218 return __vector_bitcast<value_type>(
2219 _mm256_insertf128_ps(__m256(), __x, 0));
2220 else if constexpr (__have_avx && _TVT::template _S_is<double, 2>)
2221 return __vector_bitcast<value_type>(
2222 _mm256_insertf128_pd(__m256d(), __x, 0));
2223 else if constexpr (__have_avx2 && _Np *
sizeof(value_type) == 16)
2224 return __vector_bitcast<value_type>(
2225 _mm256_insertf128_si256(__m256i(), __to_intrin(__x), 0));
2226 else if constexpr (__have_avx512f && _TVT::template _S_is<float, 8>)
2228 if constexpr (__have_avx512dq)
2229 return __vector_bitcast<value_type>(
2230 _mm512_insertf32x8(__m512(), __x, 0));
2232 return reinterpret_cast<__m512
>(
2233 _mm512_insertf64x4(__m512d(),
2234 reinterpret_cast<__m256d
>(__x), 0));
2236 else if constexpr (__have_avx512f
2237 && _TVT::template _S_is<double, 4>)
2238 return __vector_bitcast<value_type>(
2239 _mm512_insertf64x4(__m512d(), __x, 0));
2240 else if constexpr (__have_avx512f && _Np *
sizeof(value_type) == 32)
2241 return __vector_bitcast<value_type>(
2242 _mm512_inserti64x4(__m512i(), __to_intrin(__x), 0));
2244 return __concat(__x, _Tp());
2246 else if constexpr (_ToN == 4 * _Np)
2248#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_3
2249 if constexpr (__have_avx512dq && _TVT::template _S_is<double, 2>)
2251 return __vector_bitcast<value_type>(
2252 _mm512_insertf64x2(__m512d(), __x, 0));
2254 else if constexpr (__have_avx512f
2255 && is_floating_point_v<value_type>)
2257 return __vector_bitcast<value_type>(
2258 _mm512_insertf32x4(__m512(),
reinterpret_cast<__m128
>(__x),
2261 else if constexpr (__have_avx512f && _Np *
sizeof(value_type) == 16)
2263 return __vector_bitcast<value_type>(
2264 _mm512_inserti32x4(__m512i(), __to_intrin(__x), 0));
2267 return __concat(__concat(__x, _Tp()),
2268 __vector_type_t<value_type, _Np * 2>());
2270 else if constexpr (_ToN == 8 * _Np)
2271 return __concat(
operator __vector_type_t<value_type, _Np * 4>(),
2272 __vector_type_t<value_type, _Np * 4>());
2273 else if constexpr (_ToN == 16 * _Np)
2274 return __concat(
operator __vector_type_t<value_type, _Np * 8>(),
2275 __vector_type_t<value_type, _Np * 8>());
2277 __assert_unreachable<_Tp>();
2281template <
typename _Tp,
typename _TVT = _VectorTraits<_Tp>>
2282 _GLIBCXX_SIMD_INTRINSIC _ZeroExtendProxy<_Tp, _TVT>
2283 __zero_extend(_Tp __x)
2288template <
int _Offset,
2291 typename _TVT = _VectorTraits<_Tp>,
2292 typename _R = __vector_type_t<
typename _TVT::value_type, _TVT::_S_full_size / _SplitBy>>
2293 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2296 using value_type =
typename _TVT::value_type;
2297#if _GLIBCXX_SIMD_X86INTRIN
2298 if constexpr (
sizeof(_Tp) == 64 && _SplitBy == 4 && _Offset > 0)
2300 if constexpr (__have_avx512dq && is_same_v<double, value_type>)
2301 return _mm512_extractf64x2_pd(__to_intrin(__in), _Offset);
2302 else if constexpr (is_floating_point_v<value_type>)
2303 return __vector_bitcast<value_type>(
2304 _mm512_extractf32x4_ps(__intrin_bitcast<__m512>(__in), _Offset));
2306 return reinterpret_cast<_R
>(
2307 _mm512_extracti32x4_epi32(__intrin_bitcast<__m512i>(__in),
2313#ifdef _GLIBCXX_SIMD_WORKAROUND_XXX_1
2315 is_floating_point_v<value_type>, double,
2317 static_assert(
sizeof(_R) %
sizeof(_W) == 0);
2318 constexpr int __return_width =
sizeof(_R) /
sizeof(_W);
2319 using _Up = __vector_type_t<_W, __return_width>;
2320 const auto __x = __vector_bitcast<_W>(__in);
2322 constexpr int __return_width = _TVT::_S_full_size / _SplitBy;
2324 const __vector_type_t<value_type, _TVT::_S_full_size>& __x
2327 constexpr int _O = _Offset * __return_width;
2328 return __call_with_subscripts<__return_width, _O>(
2329 __x, [](
auto... __entries) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
2330 return reinterpret_cast<_R
>(_Up{__entries...});
2337template <
typename _Tp,
2338 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2339 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2343 __builtin_memcpy(&__r, &__x, 8);
2347template <
typename _Tp,
2348 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2349 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2352 static_assert(
sizeof(_Tp) == 16,
"use __hi64z if you meant it");
2354 __builtin_memcpy(&__r,
reinterpret_cast<const char*
>(&__x) + 8, 8);
2358template <
typename _Tp,
2359 typename _R = __vector_type8_t<typename _VectorTraits<_Tp>::value_type>>
2360 _GLIBCXX_SIMD_INTRINSIC
constexpr _R
2361 __hi64z([[maybe_unused]] _Tp __x)
2364 if constexpr (
sizeof(_Tp) == 16)
2365 __builtin_memcpy(&__r,
reinterpret_cast<const char*
>(&__x) + 8, 8);
2371template <
typename _Tp>
2372 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2374 {
return __extract<0,
sizeof(_Tp) / 16>(__x); }
2376template <
typename _Tp>
2377 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2380 static_assert(
sizeof(__x) == 32);
2381 return __extract<1, 2>(__x);
2386template <
typename _Tp>
2387 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2390 static_assert(
sizeof(__x) == 64);
2391 return __extract<0, 2>(__x);
2394template <
typename _Tp>
2395 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
2398 static_assert(
sizeof(__x) == 64);
2399 return __extract<1, 2>(__x);
2404template <
typename _Tp>
2407 static_assert(__is_vector_type_v<_Tp>);
2411 template <
typename _Up,
typename _UVT = _VectorTraits<_Up>>
2412 _GLIBCXX_SIMD_INTRINSIC
constexpr operator _Up()
const
2413 {
return __intrin_bitcast<typename _UVT::type>(__x); }
2416template <
typename _Tp>
2417 _GLIBCXX_SIMD_INTRINSIC
constexpr _AutoCast<_Tp>
2418 __auto_bitcast(
const _Tp& __x)
2421template <
typename _Tp,
size_t _Np>
2422 _GLIBCXX_SIMD_INTRINSIC
constexpr
2423 _AutoCast<typename _SimdWrapper<_Tp, _Np>::_BuiltinType>
2424 __auto_bitcast(
const _SimdWrapper<_Tp, _Np>& __x)
2425 {
return {__x._M_data}; }
2430#if _GLIBCXX_SIMD_HAVE_SSE_ABI
2432#if _GLIBCXX_SIMD_HAVE_AVX512F && _GLIBCXX_SIMD_X86INTRIN
2433template <
size_t _Size>
2434 struct __bool_storage_member_type
2436 static_assert((_Size & (_Size - 1)) != 0,
2437 "This trait may only be used for non-power-of-2 sizes. "
2438 "Power-of-2 sizes must be specialized.");
2440 typename __bool_storage_member_type<std::__bit_ceil(_Size)>::type;
2444 struct __bool_storage_member_type<1> {
using type = bool; };
2447 struct __bool_storage_member_type<2> {
using type = __mmask8; };
2450 struct __bool_storage_member_type<4> {
using type = __mmask8; };
2453 struct __bool_storage_member_type<8> {
using type = __mmask8; };
2456 struct __bool_storage_member_type<16> {
using type = __mmask16; };
2459 struct __bool_storage_member_type<32> {
using type = __mmask32; };
2462 struct __bool_storage_member_type<64> {
using type = __mmask64; };
2468#if _GLIBCXX_SIMD_HAVE_SSE
2469template <
typename _Tp,
size_t _Bytes>
2470 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 64>>
2473 static_assert(!(is_same_v<_Tp, long double>
2474 &&
sizeof(
long double) >
sizeof(double)),
2475 "no __intrinsic_type support for long double on x86");
2477 static constexpr size_t _S_VBytes = _Bytes <= 16 ? 16 : _Bytes <= 32 ? 32 : 64;
2479 using type [[__gnu__::__vector_size__(_S_VBytes)]]
2480 = conditional_t<is_integral_v<_Tp>,
long long int,
2481 conditional_t<is_same_v<_Tp, long double>, double, _Tp> >;
2488#if _GLIBCXX_SIMD_HAVE_NEON
2490 struct __intrinsic_type<float, 8, void>
2491 {
using type = float32x2_t; };
2494 struct __intrinsic_type<float, 16, void>
2495 {
using type = float32x4_t; };
2498 struct __intrinsic_type<double, 8, void>
2500#if _GLIBCXX_SIMD_HAVE_NEON_A64
2501 using type = float64x1_t;
2506 struct __intrinsic_type<double, 16, void>
2508#if _GLIBCXX_SIMD_HAVE_NEON_A64
2509 using type = float64x2_t;
2513#define _GLIBCXX_SIMD_ARM_INTRIN(_Bits, _Np) \
2515 struct __intrinsic_type<__int_with_sizeof_t<_Bits / 8>, \
2516 _Np * _Bits / 8, void> \
2517 { using type = int##_Bits##x##_Np##_t; }; \
2519 struct __intrinsic_type<make_unsigned_t<__int_with_sizeof_t<_Bits / 8>>, \
2520 _Np * _Bits / 8, void> \
2521 { using type = uint##_Bits##x##_Np##_t; }
2522_GLIBCXX_SIMD_ARM_INTRIN(8, 8);
2523_GLIBCXX_SIMD_ARM_INTRIN(8, 16);
2524_GLIBCXX_SIMD_ARM_INTRIN(16, 4);
2525_GLIBCXX_SIMD_ARM_INTRIN(16, 8);
2526_GLIBCXX_SIMD_ARM_INTRIN(32, 2);
2527_GLIBCXX_SIMD_ARM_INTRIN(32, 4);
2528_GLIBCXX_SIMD_ARM_INTRIN(64, 1);
2529_GLIBCXX_SIMD_ARM_INTRIN(64, 2);
2530#undef _GLIBCXX_SIMD_ARM_INTRIN
2532template <
typename _Tp,
size_t _Bytes>
2533 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 16>>
2535 static constexpr int _SVecBytes = _Bytes <= 8 ? 8 : 16;
2537 using _Ip = __int_for_sizeof_t<_Tp>;
2540 is_floating_point_v<_Tp>, _Tp,
2541 conditional_t<is_unsigned_v<_Tp>, make_unsigned_t<_Ip>, _Ip>>;
2543 static_assert(!is_same_v<_Tp, _Up> || _SVecBytes != _Bytes,
2544 "should use explicit specialization above");
2546 using type =
typename __intrinsic_type<_Up, _SVecBytes>::type;
2553template <
typename _Tp>
2554 struct __intrinsic_type_impl;
2556#define _GLIBCXX_SIMD_PPC_INTRIN(_Tp) \
2558 struct __intrinsic_type_impl<_Tp> { using type = __vector _Tp; }
2559_GLIBCXX_SIMD_PPC_INTRIN(
float);
2561_GLIBCXX_SIMD_PPC_INTRIN(
double);
2563_GLIBCXX_SIMD_PPC_INTRIN(
signed char);
2564_GLIBCXX_SIMD_PPC_INTRIN(
unsigned char);
2565_GLIBCXX_SIMD_PPC_INTRIN(
signed short);
2566_GLIBCXX_SIMD_PPC_INTRIN(
unsigned short);
2567_GLIBCXX_SIMD_PPC_INTRIN(
signed int);
2568_GLIBCXX_SIMD_PPC_INTRIN(
unsigned int);
2569#if defined __VSX__ || __SIZEOF_LONG__ == 4
2570_GLIBCXX_SIMD_PPC_INTRIN(
signed long);
2571_GLIBCXX_SIMD_PPC_INTRIN(
unsigned long);
2574_GLIBCXX_SIMD_PPC_INTRIN(
signed long long);
2575_GLIBCXX_SIMD_PPC_INTRIN(
unsigned long long);
2577#undef _GLIBCXX_SIMD_PPC_INTRIN
2579template <
typename _Tp,
size_t _Bytes>
2580 struct __intrinsic_type<_Tp, _Bytes,
enable_if_t<__is_vectorizable_v<_Tp> && _Bytes <= 16>>
2582 static constexpr bool _S_is_ldouble = is_same_v<_Tp, long double>;
2585 static_assert(!(_S_is_ldouble &&
sizeof(
long double) >
sizeof(double)),
2586 "no __intrinsic_type support for 128-bit floating point on PowerPC");
2589 static_assert(!(is_same_v<_Tp, double>
2590 || (_S_is_ldouble &&
sizeof(
long double) ==
sizeof(double))),
2591 "no __intrinsic_type support for 64-bit floating point on PowerPC w/o VSX");
2594 static constexpr auto __element_type()
2596 if constexpr (is_floating_point_v<_Tp>)
2598 if constexpr (_S_is_ldouble)
2603 else if constexpr (is_signed_v<_Tp>)
2605 if constexpr (
sizeof(_Tp) ==
sizeof(_SChar))
2607 else if constexpr (
sizeof(_Tp) ==
sizeof(short))
2609 else if constexpr (
sizeof(_Tp) ==
sizeof(int))
2611 else if constexpr (
sizeof(_Tp) ==
sizeof(_LLong))
2616 if constexpr (
sizeof(_Tp) ==
sizeof(_UChar))
2618 else if constexpr (
sizeof(_Tp) ==
sizeof(_UShort))
2620 else if constexpr (
sizeof(_Tp) ==
sizeof(_UInt))
2622 else if constexpr (
sizeof(_Tp) ==
sizeof(_ULLong))
2627 using type =
typename __intrinsic_type_impl<
decltype(__element_type())>::type;
2633template <
size_t _W
idth>
2634 struct _SimdWrapper<bool, _Width,
2635 void_t<typename __bool_storage_member_type<_Width>::type>>
2637 using _BuiltinType =
typename __bool_storage_member_type<_Width>::type;
2638 using value_type = bool;
2640 static constexpr size_t _S_full_size =
sizeof(_BuiltinType) * __CHAR_BIT__;
2642 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper<bool, _S_full_size>
2643 __as_full_vector()
const
2646 _GLIBCXX_SIMD_INTRINSIC
constexpr
2647 _SimdWrapper() =
default;
2649 _GLIBCXX_SIMD_INTRINSIC
constexpr
2650 _SimdWrapper(_BuiltinType __k) : _M_data(__k) {};
2652 _GLIBCXX_SIMD_INTRINSIC
2653 operator const _BuiltinType&()
const
2656 _GLIBCXX_SIMD_INTRINSIC
2657 operator _BuiltinType&()
2660 _GLIBCXX_SIMD_INTRINSIC _BuiltinType
2664 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
2665 operator[](
size_t __i)
const
2666 {
return _M_data & (_BuiltinType(1) << __i); }
2668 template <
size_t __i>
2669 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
2670 operator[](_SizeConstant<__i>)
const
2671 {
return _M_data & (_BuiltinType(1) << __i); }
2673 _GLIBCXX_SIMD_INTRINSIC
constexpr void
2674 _M_set(
size_t __i, value_type __x)
2677 _M_data |= (_BuiltinType(1) << __i);
2679 _M_data &= ~(_BuiltinType(1) << __i);
2682 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2683 _M_is_constprop()
const
2684 {
return __builtin_constant_p(_M_data); }
2686 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2687 _M_is_constprop_none_of()
const
2689 if (__builtin_constant_p(_M_data))
2691 constexpr int __nbits =
sizeof(_BuiltinType) * __CHAR_BIT__;
2692 constexpr _BuiltinType __active_mask
2693 = ~_BuiltinType() >> (__nbits - _Width);
2694 return (_M_data & __active_mask) == 0;
2699 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2700 _M_is_constprop_all_of()
const
2702 if (__builtin_constant_p(_M_data))
2704 constexpr int __nbits =
sizeof(_BuiltinType) * __CHAR_BIT__;
2705 constexpr _BuiltinType __active_mask
2706 = ~_BuiltinType() >> (__nbits - _Width);
2707 return (_M_data & __active_mask) == __active_mask;
2712 _BuiltinType _M_data;
2716template <
bool _MustZeroInitPadding,
typename _BuiltinType>
2717 struct _SimdWrapperBase;
2719template <
typename _BuiltinType>
2720 struct _SimdWrapperBase<false, _BuiltinType>
2722 _GLIBCXX_SIMD_INTRINSIC
constexpr
2723 _SimdWrapperBase() =
default;
2725 _GLIBCXX_SIMD_INTRINSIC
constexpr
2726 _SimdWrapperBase(_BuiltinType __init) : _M_data(__init) {}
2728 _BuiltinType _M_data;
2731template <
typename _BuiltinType>
2732 struct _SimdWrapperBase<true, _BuiltinType>
2735 _GLIBCXX_SIMD_INTRINSIC
constexpr
2736 _SimdWrapperBase() : _M_data() {}
2738 _GLIBCXX_SIMD_INTRINSIC
constexpr
2739 _SimdWrapperBase(_BuiltinType __init) : _M_data(__init) {}
2741 _BuiltinType _M_data;
2746struct _DisabledSimdWrapper;
2748template <
typename _Tp,
size_t _W
idth>
2749 struct _SimdWrapper<
2751 void_t<__vector_type_t<_Tp, _Width>, __intrinsic_type_t<_Tp, _Width>>>
2752 : _SimdWrapperBase<__has_iec559_behavior<__signaling_NaN, _Tp>::value
2753 && sizeof(_Tp) * _Width
2754 == sizeof(__vector_type_t<_Tp, _Width>),
2755 __vector_type_t<_Tp, _Width>>
2757 static constexpr bool _S_need_default_init
2758 = __has_iec559_behavior<__signaling_NaN, _Tp>::value
2759 and
sizeof(_Tp) * _Width ==
sizeof(__vector_type_t<_Tp, _Width>);
2761 using _BuiltinType = __vector_type_t<_Tp, _Width>;
2763 using _Base = _SimdWrapperBase<_S_need_default_init, _BuiltinType>;
2765 static_assert(__is_vectorizable_v<_Tp>);
2766 static_assert(_Width >= 2);
2768 using value_type = _Tp;
2770 static inline constexpr size_t _S_full_size
2771 =
sizeof(_BuiltinType) /
sizeof(value_type);
2772 static inline constexpr int _S_size = _Width;
2773 static inline constexpr bool _S_is_partial = _S_full_size != _S_size;
2775 using _Base::_M_data;
2777 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper<_Tp, _S_full_size>
2778 __as_full_vector()
const
2781 _GLIBCXX_SIMD_INTRINSIC
constexpr
2782 _SimdWrapper(initializer_list<_Tp> __init)
2783 : _Base(__generate_from_n_evaluations<_Width, _BuiltinType>(
2784 [&](auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
2785 return __init.begin()[__i.value];
2788 _GLIBCXX_SIMD_INTRINSIC
constexpr
2789 _SimdWrapper() =
default;
2791 _GLIBCXX_SIMD_INTRINSIC
constexpr
2792 _SimdWrapper(
const _SimdWrapper&) =
default;
2794 _GLIBCXX_SIMD_INTRINSIC
constexpr
2795 _SimdWrapper(_SimdWrapper&&) =
default;
2797 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper&
2798 operator=(
const _SimdWrapper&) =
default;
2800 _GLIBCXX_SIMD_INTRINSIC
constexpr _SimdWrapper&
2801 operator=(_SimdWrapper&&) =
default;
2804 using _SimdWrapperBase<_S_need_default_init, _BuiltinType>::_SimdWrapperBase;
2808 _GLIBCXX_SIMD_INTRINSIC
constexpr
2809 _SimdWrapper(conditional_t<is_same_v<_BuiltinType, __intrinsic_type_t<_Tp, _Width>>,
2810 _DisabledSimdWrapper, __intrinsic_type_t<_Tp, _Width>> __x)
2811 : _Base(__vector_bitcast<_Tp, _Width>(__x)) {}
2815 template <
typename _V,
typename _TVT = _VectorTraits<_V>,
2816 typename = enable_if_t<sizeof(
typename _TVT::value_type) == sizeof(_Tp)
2817 and sizeof(_V) == sizeof(_BuiltinType)
2818 and is_
integral_v<_Tp>
2819 and is_
integral_v<
typename _TVT::value_type>>>
2820 _GLIBCXX_SIMD_INTRINSIC
constexpr
2821 _SimdWrapper(_V __x)
2822 : _Base(reinterpret_cast<_BuiltinType>(__x)) {}
2824 template <
typename... _As,
2825 typename =
enable_if_t<((is_same_v<simd_abi::scalar, _As> && ...)
2826 &&
sizeof...(_As) <= _Width)>>
2827 _GLIBCXX_SIMD_INTRINSIC
constexpr
2828 operator _SimdTuple<_Tp, _As...>()
const
2830 return __generate_from_n_evaluations<
sizeof...(_As), _SimdTuple<_Tp, _As...>>(
2831 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
2832 {
return _M_data[int(__i)]; });
2835 _GLIBCXX_SIMD_INTRINSIC
constexpr
2836 operator const _BuiltinType&()
const
2839 _GLIBCXX_SIMD_INTRINSIC
constexpr
2840 operator _BuiltinType&()
2843 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2844 operator[](
size_t __i)
const
2845 {
return _M_data[__i]; }
2847 template <
size_t __i>
2848 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
2849 operator[](_SizeConstant<__i>)
const
2850 {
return _M_data[__i]; }
2852 _GLIBCXX_SIMD_INTRINSIC
constexpr void
2853 _M_set(
size_t __i, _Tp __x)
2855 if (__builtin_is_constant_evaluated())
2856 _M_data = __generate_from_n_evaluations<_Width, _BuiltinType>([&](
auto __j) {
2857 return __j == __i ? __x : _M_data[__j()];
2863 _GLIBCXX_SIMD_INTRINSIC
2865 _M_is_constprop()
const
2866 {
return __builtin_constant_p(_M_data); }
2868 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2869 _M_is_constprop_none_of()
const
2871 if (__builtin_constant_p(_M_data))
2874 if constexpr (is_floating_point_v<_Tp>)
2876 using _Ip = __int_for_sizeof_t<_Tp>;
2877 const auto __intdata = __vector_bitcast<_Ip>(_M_data);
2878 __execute_n_times<_Width>(
2879 [&](
auto __i) { __r &= __intdata[__i.value] == _Ip(); });
2882 __execute_n_times<_Width>(
2883 [&](
auto __i) { __r &= _M_data[__i.value] == _Tp(); });
2884 if (__builtin_constant_p(__r))
2890 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
2891 _M_is_constprop_all_of()
const
2893 if (__builtin_constant_p(_M_data))
2896 if constexpr (is_floating_point_v<_Tp>)
2898 using _Ip = __int_for_sizeof_t<_Tp>;
2899 const auto __intdata = __vector_bitcast<_Ip>(_M_data);
2900 __execute_n_times<_Width>(
2901 [&](
auto __i) { __r &= __intdata[__i.value] == ~_Ip(); });
2904 __execute_n_times<_Width>(
2905 [&](
auto __i) { __r &= _M_data[__i.value] == ~_Tp(); });
2906 if (__builtin_constant_p(__r))
2916template <
typename _Tp>
2918 __vectorized_sizeof()
2920 if constexpr (!__is_vectorizable_v<_Tp>)
2923 if constexpr (
sizeof(_Tp) <= 8)
2926 if constexpr (__have_avx512bw)
2928 if constexpr (__have_avx512f &&
sizeof(_Tp) >= 4)
2930 if constexpr (__have_avx2)
2932 if constexpr (__have_avx && is_floating_point_v<_Tp>)
2934 if constexpr (__have_sse2)
2936 if constexpr (__have_sse && is_same_v<_Tp, float>)
2946 if constexpr (__have_power8vec
2947 || (__have_power_vmx && (
sizeof(_Tp) < 8))
2948 || (__have_power_vsx && is_floating_point_v<_Tp>) )
2952 if constexpr (__have_neon_a64)
2954 if constexpr (__have_neon_a32 and (not is_floating_point_v<_Tp>
2955 or is_same_v<_Tp, float>))
2957 if constexpr (__have_neon
2962 && (__support_neon_float || !is_floating_point_v<_Tp>))
2972template <
typename _Tp>
2973 inline constexpr int max_fixed_size
2974 = ((__have_avx512bw &&
sizeof(_Tp) == 1)
2975 || (__have_sve && __sve_vectorized_size_bytes/
sizeof(_Tp) >= 64)) ? 64 : 32;
2978#if defined __x86_64__ || defined __aarch64__
2979template <
typename _Tp>
2980 using compatible =
conditional_t<(
sizeof(_Tp) <= 8), _VecBuiltin<16>, scalar>;
2981#elif defined __ARM_NEON
2984template <
typename _Tp>
2987 && (__support_neon_float || !is_floating_point_v<_Tp>)),
2988 _VecBuiltin<16>, scalar>;
2991 using compatible = scalar;
2996template <
typename _Tp>
2998 __determine_native_abi()
3000 constexpr size_t __bytes = __vectorized_sizeof<_Tp>();
3001 if constexpr (__bytes ==
sizeof(_Tp))
3002 return static_cast<scalar*
>(
nullptr);
3003 else if constexpr (__have_sve)
3004 return static_cast<_SveAbi<__sve_vectorized_size_bytes>*
>(
nullptr);
3005 else if constexpr (__have_avx512vl || (__have_avx512f && __bytes == 64))
3006 return static_cast<_VecBltnBtmsk<__bytes>*
>(
nullptr);
3008 return static_cast<_VecBuiltin<__bytes>*
>(
nullptr);
3011template <
typename _Tp,
typename = enable_if_t<__is_vectorizable_v<_Tp>>>
3012 using native = remove_pointer_t<decltype(__determine_native_abi<_Tp>())>;
3016#if defined _GLIBCXX_SIMD_DEFAULT_ABI
3017template <
typename _Tp>
3018 using __default_abi = _GLIBCXX_SIMD_DEFAULT_ABI<_Tp>;
3020template <
typename _Tp>
3021 using __default_abi = compatible<_Tp>;
3028template <
typename _Tp>
3029 struct is_simd_flag_type
3034 struct is_simd_flag_type<element_aligned_tag>
3039 struct is_simd_flag_type<vector_aligned_tag>
3043template <
size_t _Np>
3044 struct is_simd_flag_type<overaligned_tag<_Np>>
3045 : __bool_constant<(_Np > 0) and __has_single_bit(_Np)>
3048template <
typename _Tp>
3049 inline constexpr bool is_simd_flag_type_v = is_simd_flag_type<_Tp>::value;
3051template <
typename _Tp,
typename = enable_if_t<is_simd_flag_type_v<_Tp>>>
3052 using _IsSimdFlagType = _Tp;
3055template <
typename _Tp,
typename =
void_t<>>
3056 struct is_abi_tag : false_type {};
3058template <
typename _Tp>
3059 struct is_abi_tag<_Tp,
void_t<typename _Tp::_IsValidAbiTag>>
3060 :
public _Tp::_IsValidAbiTag {};
3062template <
typename _Tp>
3063 inline constexpr bool is_abi_tag_v = is_abi_tag<_Tp>::value;
3066template <
typename _Tp>
3067 struct is_simd :
public false_type {};
3069template <
typename _Tp>
3070 inline constexpr bool is_simd_v = is_simd<_Tp>::value;
3072template <
typename _Tp>
3073 struct is_simd_mask :
public false_type {};
3075template <
typename _Tp>
3076inline constexpr bool is_simd_mask_v = is_simd_mask<_Tp>::value;
3079template <
typename _Tp,
typename _Abi,
typename =
void>
3080 struct __simd_size_impl {};
3082template <
typename _Tp,
typename _Abi>
3083 struct __simd_size_impl<
3085 enable_if_t<conjunction_v<__is_vectorizable<_Tp>, is_abi_tag<_Abi>>>>
3086 : _SizeConstant<_Abi::template _S_size<_Tp>> {};
3088template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3089 struct simd_size : __simd_size_impl<_Tp, _Abi> {};
3091template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3092 inline constexpr size_t simd_size_v = simd_size<_Tp, _Abi>::value;
3095template <
typename _Tp,
size_t _Np,
typename =
void>
3096 struct __deduce_impl;
3098template <
typename _Tp,
size_t _Np,
typename =
void>
3099 struct __no_sve_deduce_impl;
3110template <
typename _Tp,
size_t _Np,
typename...>
3111 struct deduce : __deduce_impl<_Tp, _Np> {};
3113template <
typename _Tp,
size_t _Np,
typename... _Abis>
3114 using deduce_t =
typename deduce<_Tp, _Np, _Abis...>::type;
3116template <
typename _Tp,
size_t _Np,
typename...>
3117 struct __no_sve_deduce : __no_sve_deduce_impl<_Tp, _Np> {};
3119template <
typename _Tp,
size_t _Np,
typename... _Abis>
3120 using __no_sve_deduce_t =
typename __no_sve_deduce<_Tp, _Np, _Abis...>::type;
3125template <
typename _Tp,
typename _V,
typename =
void>
3128template <
typename _Tp,
typename _Up,
typename _Abi>
3129 struct rebind_simd<_Tp, simd<_Up, _Abi>,
3131 simd_abi::__no_sve_deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>,
3132 simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>>
3135 !__is_sve_abi<_Abi>(),
3136 simd_abi::__no_sve_deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>,
3137 simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>;
3140template <
typename _Tp,
typename _Up,
typename _Abi>
3141 struct rebind_simd<_Tp, simd_mask<_Up, _Abi>,
3143 simd_abi::__no_sve_deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>,
3144 simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>>
3147 !__is_sve_abi<_Abi>(),
3148 simd_abi::__no_sve_deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>,
3149 simd_abi::deduce_t<_Tp, simd_size_v<_Up, _Abi>, _Abi>>>;
3152template <
typename _Tp,
typename _V>
3153 using rebind_simd_t =
typename rebind_simd<_Tp, _V>::type;
3156template <
int _Np,
typename _V,
typename =
void>
3159template <
int _Np,
typename _Tp,
typename _Abi>
3160 struct resize_simd<_Np, simd<_Tp, _Abi>,
void_t<simd_abi::deduce_t<_Tp, _Np, _Abi>>>
3161 {
using type = simd<_Tp, simd_abi::deduce_t<_Tp, _Np, _Abi>>; };
3163template <
int _Np,
typename _Tp,
typename _Abi>
3164 struct resize_simd<_Np, simd_mask<_Tp, _Abi>,
void_t<simd_abi::deduce_t<_Tp, _Np, _Abi>>>
3165 {
using type = simd_mask<_Tp, simd_abi::deduce_t<_Tp, _Np, _Abi>>; };
3167template <
int _Np,
typename _V>
3168 using resize_simd_t =
typename resize_simd<_Np, _V>::type;
3172template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
3173 struct memory_alignment
3174 :
public _SizeConstant<vector_aligned_tag::_S_alignment<_Tp, _Up>> {};
3176template <
typename _Tp,
typename _Up =
typename _Tp::value_type>
3177 inline constexpr size_t memory_alignment_v = memory_alignment<_Tp, _Up>::value;
3180template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3183template <
typename _Tp,
typename _Abi>
3184 struct is_simd<simd<_Tp, _Abi>> :
public true_type {};
3186template <
typename _Tp>
3187 using native_simd = simd<_Tp, simd_abi::native<_Tp>>;
3189template <
typename _Tp,
int _Np>
3190 using fixed_size_simd = simd<_Tp, simd_abi::fixed_size<_Np>>;
3192template <
typename _Tp,
size_t _Np>
3193 using __deduced_simd = simd<_Tp, simd_abi::deduce_t<_Tp, _Np>>;
3196template <
typename _Tp,
typename _Abi = simd_abi::__default_abi<_Tp>>
3199template <
typename _Tp,
typename _Abi>
3200 struct is_simd_mask<simd_mask<_Tp, _Abi>> :
public true_type {};
3202template <
typename _Tp>
3203 using native_simd_mask = simd_mask<_Tp, simd_abi::native<_Tp>>;
3205template <
typename _Tp,
int _Np>
3206 using fixed_size_simd_mask = simd_mask<_Tp, simd_abi::fixed_size<_Np>>;
3208template <
typename _Tp,
size_t _Np>
3209 using __deduced_simd_mask = simd_mask<_Tp, simd_abi::deduce_t<_Tp, _Np>>;
3213template <
typename _Tp,
typename _Up,
typename _Ap,
bool = is_simd_v<_Tp>,
typename =
void>
3214 struct __static_simd_cast_return_type;
3216template <
typename _Tp,
typename _A0,
typename _Up,
typename _Ap>
3217 struct __static_simd_cast_return_type<simd_mask<_Tp, _A0>, _Up, _Ap, false, void>
3218 : __static_simd_cast_return_type<simd<_Tp, _A0>, _Up, _Ap> {};
3220template <
typename _Tp,
typename _Up,
typename _Ap>
3221 struct __static_simd_cast_return_type<
3222 _Tp, _Up, _Ap, true,
enable_if_t<_Tp::size() == simd_size_v<_Up, _Ap>>>
3223 {
using type = _Tp; };
3225template <
typename _Tp,
typename _Ap>
3226 struct __static_simd_cast_return_type<_Tp, _Tp, _Ap, false,
3227#ifdef _GLIBCXX_SIMD_FIX_P2TS_ISSUE66
3233 {
using type = simd<_Tp, _Ap>; };
3235template <
typename _Tp,
typename =
void>
3236 struct __safe_make_signed {
using type = _Tp;};
3238template <
typename _Tp>
3239 struct __safe_make_signed<_Tp,
enable_if_t<is_integral_v<_Tp>>>
3242 using type = make_signed_t<make_unsigned_t<_Tp>>;
3245template <
typename _Tp>
3246 using safe_make_signed_t =
typename __safe_make_signed<_Tp>::type;
3248template <
typename _Tp,
typename _Up,
typename _Ap>
3249 struct __static_simd_cast_return_type<_Tp, _Up, _Ap, false,
3250#ifdef _GLIBCXX_SIMD_FIX_P2TS_ISSUE66
3258 (is_integral_v<_Up> && is_integral_v<_Tp> &&
3259#ifndef _GLIBCXX_SIMD_FIX_P2TS_ISSUE65
3260 is_signed_v<_Up> != is_signed_v<_Tp> &&
3262 is_same_v<safe_make_signed_t<_Up>, safe_make_signed_t<_Tp>>),
3263 simd<_Tp, _Ap>, fixed_size_simd<_Tp, simd_size_v<_Up, _Ap>>>;
3266template <
typename _Tp,
typename _Up,
typename _Ap,
3268 =
typename __static_simd_cast_return_type<_Tp, _Up, _Ap>::type>
3269 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _R
3270 static_simd_cast(
const simd<_Up, _Ap>& __x)
3272 if constexpr (is_same<_R, simd<_Up, _Ap>>::value)
3276 _SimdConverter<_Up, _Ap, typename _R::value_type, typename _R::abi_type>
3278 return _R(__private_init, __c(__data(__x)));
3282namespace __proposed {
3283template <
typename _Tp,
typename _Up,
typename _Ap,
3285 =
typename __static_simd_cast_return_type<_Tp, _Up, _Ap>::type>
3286 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
typename _R::mask_type
3287 static_simd_cast(
const simd_mask<_Up, _Ap>& __x)
3289 using _RM =
typename _R::mask_type;
3290 return {__private_init, _RM::abi_type::_MaskImpl::template _S_convert<
3291 typename _RM::simd_type::value_type>(__x)};
3294template <
typename _To,
typename _Up,
typename _Abi>
3295 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3297 simd_bit_cast(
const simd<_Up, _Abi>& __x)
3299 using _Tp =
typename _To::value_type;
3300 using _ToMember =
typename _SimdTraits<_Tp, typename _To::abi_type>::_SimdMember;
3301 using _From = simd<_Up, _Abi>;
3302 using _FromMember =
typename _SimdTraits<_Up, _Abi>::_SimdMember;
3304 static_assert(
sizeof(_To) ==
sizeof(_From));
3305 static_assert(is_trivially_copyable_v<_Tp> && is_trivially_copyable_v<_Up>);
3306 static_assert(is_trivially_copyable_v<_ToMember> && is_trivially_copyable_v<_FromMember>);
3307#if __has_builtin(__builtin_bit_cast)
3308 return {__private_init, __builtin_bit_cast(_ToMember, __data(__x))};
3310 return {__private_init, __bit_cast<_ToMember>(__data(__x))};
3314template <
typename _To,
typename _Up,
typename _Abi>
3315 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3317 simd_bit_cast(
const simd_mask<_Up, _Abi>& __x)
3319 using _From = simd_mask<_Up, _Abi>;
3320 static_assert(
sizeof(_To) ==
sizeof(_From));
3321 static_assert(is_trivially_copyable_v<_From>);
3324 if constexpr (is_simd_v<_To>)
3326 using _Tp =
typename _To::value_type;
3327 using _ToMember =
typename _SimdTraits<_Tp, typename _To::abi_type>::_SimdMember;
3328 static_assert(is_trivially_copyable_v<_ToMember>);
3329#if __has_builtin(__builtin_bit_cast)
3330 return {__private_init, __builtin_bit_cast(_ToMember, __x)};
3332 return {__private_init, __bit_cast<_ToMember>(__x)};
3337 static_assert(is_trivially_copyable_v<_To>);
3338#if __has_builtin(__builtin_bit_cast)
3339 return __builtin_bit_cast(_To, __x);
3341 return __bit_cast<_To>(__x);
3348template <
typename _Tp,
typename _Up,
typename _Ap,
3349 typename _To = __value_type_or_identity_t<_Tp>>
3350 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
auto
3351 simd_cast(
const simd<_ValuePreserving<_Up, _To>, _Ap>& __x)
3352 ->
decltype(static_simd_cast<_Tp>(__x))
3353 {
return static_simd_cast<_Tp>(__x); }
3355namespace __proposed {
3356template <
typename _Tp,
typename _Up,
typename _Ap,
3357 typename _To = __value_type_or_identity_t<_Tp>>
3358 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
auto
3359 simd_cast(
const simd_mask<_ValuePreserving<_Up, _To>, _Ap>& __x)
3360 ->
decltype(static_simd_cast<_Tp>(__x))
3361 {
return static_simd_cast<_Tp>(__x); }
3366namespace __proposed {
3393template <
typename _Tp,
typename _Up,
typename _Ap>
3394 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
enable_if_t<
3395 conjunction_v<is_simd<_Tp>, is_same<typename _Tp::value_type, _Up>>, _Tp>
3396 resizing_simd_cast(
const simd<_Up, _Ap>& __x)
3398 if constexpr (is_same_v<typename _Tp::abi_type, _Ap>)
3400 else if (__builtin_is_constant_evaluated())
3401 return _Tp([&](
auto __i)
constexpr {
3402 return __i < simd_size_v<_Up, _Ap> ? __x[__i] : _Up();
3404 else if constexpr (simd_size_v<_Up, _Ap> == 1)
3410 else if constexpr (_Tp::size() == 1)
3412 else if constexpr (
sizeof(_Tp) ==
sizeof(__x)
3413 && !__is_fixed_size_abi_v<_Ap> && !__is_sve_abi<_Ap>())
3414 return {__private_init,
3415 __vector_bitcast<typename _Tp::value_type, _Tp::size()>(
3416 _Ap::_S_masked(__data(__x))._M_data)};
3420 __builtin_memcpy(&__data(__r), &__data(__x),
3422 *
std::min(_Tp::size(), simd_size_v<_Up, _Ap>));
3427template <
typename _Tp,
typename _Up,
typename _Ap>
3428 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3429 enable_if_t<is_simd_mask_v<_Tp>, _Tp>
3430 resizing_simd_cast(
const simd_mask<_Up, _Ap>& __x)
3432 return {__private_init, _Tp::abi_type::_MaskImpl::template _S_convert<
3433 typename _Tp::simd_type::value_type>(__x)};
3439template <
typename _Tp,
int _Np>
3440 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd<_Tp, _Np>
3441 to_fixed_size(
const fixed_size_simd<_Tp, _Np>& __x)
3444template <
typename _Tp,
int _Np>
3445 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd_mask<_Tp, _Np>
3446 to_fixed_size(
const fixed_size_simd_mask<_Tp, _Np>& __x)
3449template <
typename _Tp,
typename _Ap>
3450 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd<_Tp, simd_size_v<_Tp, _Ap>>
3451 to_fixed_size(
const simd<_Tp, _Ap>& __x)
3453 using _Rp = fixed_size_simd<_Tp, simd_size_v<_Tp, _Ap>>;
3454 return _Rp([&__x](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3457template <
typename _Tp,
typename _Ap>
3458 _GLIBCXX_SIMD_INTRINSIC fixed_size_simd_mask<_Tp, simd_size_v<_Tp, _Ap>>
3459 to_fixed_size(
const simd_mask<_Tp, _Ap>& __x)
3461 return {__private_init,
3462 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; }};
3466template <
typename _Tp,
int _Np>
3467 _GLIBCXX_SIMD_INTRINSIC
3468 enable_if_t<(_Np == native_simd<_Tp>::size()), native_simd<_Tp>>
3469 to_native(
const fixed_size_simd<_Tp, _Np>& __x)
3471 alignas(memory_alignment_v<native_simd<_Tp>>) _Tp __mem[_Np];
3472 __x.copy_to(__mem, vector_aligned);
3473 return {__mem, vector_aligned};
3476template <
typename _Tp,
int _Np>
3477 _GLIBCXX_SIMD_INTRINSIC
3478 enable_if_t<(_Np == native_simd_mask<_Tp>::size()), native_simd_mask<_Tp>>
3479 to_native(
const fixed_size_simd_mask<_Tp, _Np>& __x)
3481 return native_simd_mask<_Tp>(
3483 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3487template <
typename _Tp,
int _Np>
3488 _GLIBCXX_SIMD_INTRINSIC
enable_if_t<(_Np == simd<_Tp>::size()), simd<_Tp>>
3489 to_compatible(
const simd<_Tp, simd_abi::fixed_size<_Np>>& __x)
3491 alignas(memory_alignment_v<simd<_Tp>>) _Tp __mem[_Np];
3492 __x.copy_to(__mem, vector_aligned);
3493 return {__mem, vector_aligned};
3496template <
typename _Tp,
int _Np>
3497 _GLIBCXX_SIMD_INTRINSIC
3498 enable_if_t<(_Np == simd_mask<_Tp>::size()), simd_mask<_Tp>>
3499 to_compatible(
const simd_mask<_Tp, simd_abi::fixed_size<_Np>>& __x)
3501 return simd_mask<_Tp>(
3503 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
3510template <
typename _M,
typename _Tp>
3511 class const_where_expression
3514 static_assert(is_same_v<_V, __remove_cvref_t<_Tp>>);
3516 struct _Wrapper {
using value_type = _V; };
3519 using _Impl =
typename _V::_Impl;
3522 typename conditional_t<is_arithmetic_v<_V>, _Wrapper, _V>::value_type;
3524 _GLIBCXX_SIMD_INTRINSIC
friend const _M&
3525 __get_mask(
const const_where_expression& __x)
3526 {
return __x._M_k; }
3528 _GLIBCXX_SIMD_INTRINSIC
friend const _Tp&
3529 __get_lvalue(
const const_where_expression& __x)
3530 {
return __x._M_value; }
3536 const_where_expression(
const const_where_expression&) =
delete;
3538 const_where_expression& operator=(
const const_where_expression&) =
delete;
3540 _GLIBCXX_SIMD_INTRINSIC
constexpr
3541 const_where_expression(
const _M& __kk,
const _Tp& dd)
3542 : _M_k(__kk), _M_value(const_cast<_Tp&>(dd)) {}
3544 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3547 return {__private_init,
3548 _Impl::template _S_masked_unary<negate>(__data(_M_k),
3552 template <
typename _Up,
typename _Flags>
3553 [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3554 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3556 return {__private_init,
3557 _Impl::_S_masked_load(__data(_M_value), __data(_M_k),
3558 _Flags::template _S_apply<_V>(__mem))};
3561 template <
typename _Up,
typename _Flags>
3562 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3563 copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3565 _Impl::_S_masked_store(__data(_M_value),
3566 _Flags::template _S_apply<_V>(__mem),
3572template <
typename _Tp>
3573 class const_where_expression<bool, _Tp>
3578 static_assert(is_same_v<_V, __remove_cvref_t<_Tp>>);
3580 struct _Wrapper {
using value_type = _V; };
3584 =
typename conditional_t<is_arithmetic_v<_V>, _Wrapper, _V>::value_type;
3586 _GLIBCXX_SIMD_INTRINSIC
friend const _M&
3587 __get_mask(
const const_where_expression& __x)
3588 {
return __x._M_k; }
3590 _GLIBCXX_SIMD_INTRINSIC
friend const _Tp&
3591 __get_lvalue(
const const_where_expression& __x)
3592 {
return __x._M_value; }
3598 const_where_expression(
const const_where_expression&) =
delete;
3599 const_where_expression& operator=(
const const_where_expression&) =
delete;
3601 _GLIBCXX_SIMD_INTRINSIC
constexpr
3602 const_where_expression(
const bool __kk,
const _Tp& dd)
3603 : _M_k(__kk), _M_value(const_cast<_Tp&>(dd)) {}
3605 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3607 {
return _M_k ? -_M_value : _M_value; }
3609 template <
typename _Up,
typename _Flags>
3610 [[nodiscard]] _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _V
3611 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3612 {
return _M_k ?
static_cast<_V
>(__mem[0]) : _M_value; }
3614 template <
typename _Up,
typename _Flags>
3615 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3616 copy_to(_LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>)
const&&
3619 __mem[0] = _M_value;
3624template <
typename _M,
typename _Tp>
3625 class where_expression :
public const_where_expression<_M, _Tp>
3627 using _Impl =
typename const_where_expression<_M, _Tp>::_Impl;
3629 static_assert(!is_const<_Tp>::value,
3630 "where_expression may only be instantiated with __a non-const "
3633 using typename const_where_expression<_M, _Tp>::value_type;
3634 using const_where_expression<_M, _Tp>::_M_k;
3635 using const_where_expression<_M, _Tp>::_M_value;
3638 is_same<typename _M::abi_type, typename _Tp::abi_type>::value,
"");
3639 static_assert(_M::size() == _Tp::size(),
"");
3641 _GLIBCXX_SIMD_INTRINSIC
friend constexpr _Tp&
3642 __get_lvalue(where_expression& __x)
3643 {
return __x._M_value; }
3646 where_expression(
const where_expression&) =
delete;
3647 where_expression& operator=(
const where_expression&) =
delete;
3649 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3650 where_expression(
const _M& __kk, _Tp& dd)
3651 : const_where_expression<_M, _Tp>(__kk, dd) {}
3653 template <
typename _Up>
3654 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3655 operator=(_Up&& __x) &&
3657 _Impl::_S_masked_assign(__data(_M_k), __data(_M_value),
3658 __to_value_type_or_member_type<_Tp>(
3659 static_cast<_Up&&
>(__x)));
3662#define _GLIBCXX_SIMD_OP_(__op, __name) \
3663 template <typename _Up> \
3664 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR void \
3665 operator __op##=(_Up&& __x)&& \
3667 _Impl::template _S_masked_cassign( \
3668 __data(_M_k), __data(_M_value), \
3669 __to_value_type_or_member_type<_Tp>(static_cast<_Up&&>(__x)), \
3670 [](auto __impl, auto __lhs, auto __rhs) \
3671 constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA \
3672 { return __impl.__name(__lhs, __rhs); }); \
3675 _GLIBCXX_SIMD_OP_(+, _S_plus);
3676 _GLIBCXX_SIMD_OP_(-, _S_minus);
3677 _GLIBCXX_SIMD_OP_(*, _S_multiplies);
3678 _GLIBCXX_SIMD_OP_(/, _S_divides);
3679 _GLIBCXX_SIMD_OP_(%, _S_modulus);
3680 _GLIBCXX_SIMD_OP_(&, _S_bit_and);
3681 _GLIBCXX_SIMD_OP_(|, _S_bit_or);
3682 _GLIBCXX_SIMD_OP_(^, _S_bit_xor);
3683 _GLIBCXX_SIMD_OP_(<<, _S_shift_left);
3684 _GLIBCXX_SIMD_OP_(>>, _S_shift_right);
3685#undef _GLIBCXX_SIMD_OP_
3687 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3691 = _Impl::template _S_masked_unary<__increment>(__data(_M_k), __data(_M_value));
3694 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3698 = _Impl::template _S_masked_unary<__increment>(__data(_M_k), __data(_M_value));
3701 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3705 = _Impl::template _S_masked_unary<__decrement>(__data(_M_k), __data(_M_value));
3708 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3712 = _Impl::template _S_masked_unary<__decrement>(__data(_M_k), __data(_M_value));
3716 template <
typename _Up,
typename _Flags>
3717 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3718 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) &&
3720 __data(_M_value) = _Impl::_S_masked_load(__data(_M_value), __data(_M_k),
3721 _Flags::template _S_apply<_Tp>(__mem));
3726template <
typename _Tp>
3727 class where_expression<bool, _Tp>
3728 :
public const_where_expression<bool, _Tp>
3731 using typename const_where_expression<_M, _Tp>::value_type;
3732 using const_where_expression<_M, _Tp>::_M_k;
3733 using const_where_expression<_M, _Tp>::_M_value;
3736 where_expression(
const where_expression&) =
delete;
3737 where_expression& operator=(
const where_expression&) =
delete;
3739 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3740 where_expression(
const _M& __kk, _Tp& dd)
3741 : const_where_expression<_M, _Tp>(__kk, dd) {}
3743#define _GLIBCXX_SIMD_OP_(__op) \
3744 template <typename _Up> \
3745 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR void \
3746 operator __op(_Up&& __x)&& \
3747 { if (_M_k) _M_value __op static_cast<_Up&&>(__x); }
3749 _GLIBCXX_SIMD_OP_(=)
3750 _GLIBCXX_SIMD_OP_(+=)
3751 _GLIBCXX_SIMD_OP_(-=)
3752 _GLIBCXX_SIMD_OP_(*=)
3753 _GLIBCXX_SIMD_OP_(/=)
3754 _GLIBCXX_SIMD_OP_(%=)
3755 _GLIBCXX_SIMD_OP_(&=)
3756 _GLIBCXX_SIMD_OP_(|=)
3757 _GLIBCXX_SIMD_OP_(^=)
3758 _GLIBCXX_SIMD_OP_(<<=)
3759 _GLIBCXX_SIMD_OP_(>>=)
3760 #undef _GLIBCXX_SIMD_OP_
3762 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3764 {
if (_M_k) ++_M_value; }
3766 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3768 {
if (_M_k) ++_M_value; }
3770 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3772 {
if (_M_k) --_M_value; }
3774 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3776 {
if (_M_k) --_M_value; }
3779 template <
typename _Up,
typename _Flags>
3780 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
void
3781 copy_from(
const _LoadStorePtr<_Up, value_type>* __mem, _IsSimdFlagType<_Flags>) &&
3782 {
if (_M_k) _M_value = __mem[0]; }
3786template <
typename _Tp,
typename _Ap>
3787 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3788 where_expression<simd_mask<_Tp, _Ap>, simd<_Tp, _Ap>>
3789 where(
const typename simd<_Tp, _Ap>::mask_type& __k, simd<_Tp, _Ap>& __value)
3790 {
return {__k, __value}; }
3792template <
typename _Tp,
typename _Ap>
3793 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3794 const_where_expression<simd_mask<_Tp, _Ap>, simd<_Tp, _Ap>>
3795 where(
const typename simd<_Tp, _Ap>::mask_type& __k,
const simd<_Tp, _Ap>& __value)
3796 {
return {__k, __value}; }
3798template <
typename _Tp,
typename _Ap>
3799 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3800 where_expression<simd_mask<_Tp, _Ap>, simd_mask<_Tp, _Ap>>
3801 where(
const remove_const_t<simd_mask<_Tp, _Ap>>& __k, simd_mask<_Tp, _Ap>& __value)
3802 {
return {__k, __value}; }
3804template <
typename _Tp,
typename _Ap>
3805 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3806 const_where_expression<simd_mask<_Tp, _Ap>, simd_mask<_Tp, _Ap>>
3807 where(
const remove_const_t<simd_mask<_Tp, _Ap>>& __k,
const simd_mask<_Tp, _Ap>& __value)
3808 {
return {__k, __value}; }
3810template <
typename _Tp>
3811 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR where_expression<bool, _Tp>
3812 where(_ExactBool __k, _Tp& __value)
3813 {
return {__k, __value}; }
3815template <
typename _Tp>
3816 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR const_where_expression<bool, _Tp>
3817 where(_ExactBool __k,
const _Tp& __value)
3818 {
return {__k, __value}; }
3820template <
typename _Tp,
typename _Ap>
3821 _GLIBCXX_SIMD_CONSTEXPR
void
3822 where(
bool __k, simd<_Tp, _Ap>& __value) =
delete;
3824template <
typename _Tp,
typename _Ap>
3825 _GLIBCXX_SIMD_CONSTEXPR
void
3826 where(
bool __k,
const simd<_Tp, _Ap>& __value) =
delete;
3829namespace __proposed {
3830template <
size_t _Np>
3833 const bitset<_Np> __bits;
3836 where_range(bitset<_Np> __b) : __bits(__b) {}
3843 _GLIBCXX_SIMD_INTRINSIC
void
3845 { __bit = __builtin_ctzl(__mask); }
3847 _GLIBCXX_SIMD_INTRINSIC
void
3851 __mask &= (__mask - 1);
3856 iterator(
decltype(__mask) __m) : __mask(__m) { __next_bit(); }
3857 iterator(
const iterator&) =
default;
3858 iterator(iterator&&) =
default;
3860 _GLIBCXX_SIMD_ALWAYS_INLINE
size_t
3864 _GLIBCXX_SIMD_ALWAYS_INLINE
size_t
3868 _GLIBCXX_SIMD_ALWAYS_INLINE iterator&
3876 _GLIBCXX_SIMD_ALWAYS_INLINE iterator
3879 iterator __tmp = *
this;
3885 _GLIBCXX_SIMD_ALWAYS_INLINE
bool
3886 operator==(
const iterator& __rhs)
const
3887 {
return __mask == __rhs.__mask; }
3889 _GLIBCXX_SIMD_ALWAYS_INLINE
bool
3890 operator!=(
const iterator& __rhs)
const
3891 {
return __mask != __rhs.__mask; }
3896 {
return __bits.to_ullong(); }
3903template <
typename _Tp,
typename _Ap>
3904 where_range<simd_size_v<_Tp, _Ap>>
3905 where(
const simd_mask<_Tp, _Ap>& __k)
3906 {
return __k.__to_bitset(); }
3912template <
typename _Tp,
typename _Abi,
typename _BinaryOperation = plus<>>
3913 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3914 reduce(
const simd<_Tp, _Abi>& __v, _BinaryOperation __binary_op = _BinaryOperation())
3915 {
return _Abi::_SimdImpl::_S_reduce(__v, __binary_op); }
3917template <
typename _M,
typename _V,
typename _BinaryOperation = plus<>>
3918 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3919 reduce(
const const_where_expression<_M, _V>& __x,
3920 typename _V::value_type __identity_element, _BinaryOperation __binary_op)
3922 if (__builtin_expect(none_of(__get_mask(__x)),
false))
3923 return __identity_element;
3925 _V __tmp = __identity_element;
3926 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
3927 __data(__get_lvalue(__x)));
3928 return reduce(__tmp, __binary_op);
3931template <
typename _M,
typename _V>
3932 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3933 reduce(
const const_where_expression<_M, _V>& __x, plus<> __binary_op = {})
3934 {
return reduce(__x, 0, __binary_op); }
3936template <
typename _M,
typename _V>
3937 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3938 reduce(
const const_where_expression<_M, _V>& __x, multiplies<> __binary_op)
3939 {
return reduce(__x, 1, __binary_op); }
3941template <
typename _M,
typename _V>
3942 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3943 reduce(
const const_where_expression<_M, _V>& __x, bit_and<> __binary_op)
3944 {
return reduce(__x, ~
typename _V::value_type(), __binary_op); }
3946template <
typename _M,
typename _V>
3947 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3948 reduce(
const const_where_expression<_M, _V>& __x, bit_or<> __binary_op)
3949 {
return reduce(__x, 0, __binary_op); }
3951template <
typename _M,
typename _V>
3952 _GLIBCXX_SIMD_INTRINSIC
typename _V::value_type
3953 reduce(
const const_where_expression<_M, _V>& __x, bit_xor<> __binary_op)
3954 {
return reduce(__x, 0, __binary_op); }
3956template <
typename _Tp,
typename _Abi>
3957 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3958 hmin(
const simd<_Tp, _Abi>& __v)
noexcept
3959 {
return _Abi::_SimdImpl::_S_reduce(__v, __detail::_Minimum()); }
3961template <
typename _Tp,
typename _Abi>
3962 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR _Tp
3963 hmax(
const simd<_Tp, _Abi>& __v)
noexcept
3964 {
return _Abi::_SimdImpl::_S_reduce(__v, __detail::_Maximum()); }
3966template <
typename _M,
typename _V>
3967 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3968 typename _V::value_type
3969 hmin(
const const_where_expression<_M, _V>& __x)
noexcept
3971 using _Tp =
typename _V::value_type;
3972 constexpr _Tp __id_elem =
3973#ifdef __FINITE_MATH_ONLY__
3974 __finite_max_v<_Tp>;
3976 __value_or<__infinity, _Tp>(__finite_max_v<_Tp>);
3978 _V __tmp = __id_elem;
3979 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
3980 __data(__get_lvalue(__x)));
3981 return _V::abi_type::_SimdImpl::_S_reduce(__tmp, __detail::_Minimum());
3984template <
typename _M,
typename _V>
3985 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
3986 typename _V::value_type
3987 hmax(
const const_where_expression<_M, _V>& __x)
noexcept
3989 using _Tp =
typename _V::value_type;
3990 constexpr _Tp __id_elem =
3991#ifdef __FINITE_MATH_ONLY__
3992 __finite_min_v<_Tp>;
3995 if constexpr (__value_exists_v<__infinity, _Tp>)
3996 return -__infinity_v<_Tp>;
3998 return __finite_min_v<_Tp>;
4001 _V __tmp = __id_elem;
4002 _V::_Impl::_S_masked_assign(__data(__get_mask(__x)), __data(__tmp),
4003 __data(__get_lvalue(__x)));
4004 return _V::abi_type::_SimdImpl::_S_reduce(__tmp, __detail::_Maximum());
4009template <
typename _Tp,
typename _Ap>
4010 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
4011 min(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
4012 {
return {__private_init, _Ap::_SimdImpl::_S_min(__data(__a), __data(__b))}; }
4014template <
typename _Tp,
typename _Ap>
4015 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
4016 max(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
4017 {
return {__private_init, _Ap::_SimdImpl::_S_max(__data(__a), __data(__b))}; }
4019template <
typename _Tp,
typename _Ap>
4020 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
4021 pair<simd<_Tp, _Ap>, simd<_Tp, _Ap>>
4022 minmax(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
4024 const auto pair_of_members
4025 = _Ap::_SimdImpl::_S_minmax(__data(__a), __data(__b));
4026 return {simd<_Tp, _Ap>(__private_init, pair_of_members.first),
4027 simd<_Tp, _Ap>(__private_init, pair_of_members.second)};
4030template <
typename _Tp,
typename _Ap>
4031 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
4032 clamp(
const simd<_Tp, _Ap>& __v,
const simd<_Tp, _Ap>& __lo,
const simd<_Tp, _Ap>& __hi)
4034 using _Impl =
typename _Ap::_SimdImpl;
4035 return {__private_init,
4036 _Impl::_S_min(__data(__hi),
4037 _Impl::_S_max(__data(__lo), __data(__v)))};
4042template <
size_t... _Sizes,
typename _Tp,
typename _Ap,
4043 typename =
enable_if_t<((_Sizes + ...) == simd<_Tp, _Ap>::size())>>
4044 inline tuple<simd<_Tp, simd_abi::deduce_t<_Tp, _Sizes>>...>
4045 split(
const simd<_Tp, _Ap>&);
4048template <
int _Index,
int _Total,
int _Combine = 1,
typename _Tp,
size_t _Np>
4049 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_CONST
constexpr
4050 conditional_t<_Np == _Total and _Combine == 1, _Tp, _SimdWrapper<_Tp, _Np / _Total * _Combine>>
4051 __extract_part(
const _SimdWrapper<_Tp, _Np> __x);
4053template <
int _Index,
int _Parts,
int _Combine = 1,
typename _Tp,
typename _A0,
typename... _As>
4054 _GLIBCXX_SIMD_INTRINSIC
constexpr auto
4055 __extract_part(
const _SimdTuple<_Tp, _A0, _As...>& __x);
4059template <
size_t _V0,
size_t... _Values>
4062 template <
size_t _I>
4063 static constexpr size_t
4064 _S_at(_SizeConstant<_I> = {})
4066 if constexpr (_I == 0)
4069 return _SizeList<_Values...>::template _S_at<_I - 1>();
4072 template <
size_t _I>
4073 static constexpr auto
4074 _S_before(_SizeConstant<_I> = {})
4076 if constexpr (_I == 0)
4077 return _SizeConstant<0>();
4079 return _SizeConstant<
4080 _V0 + _SizeList<_Values...>::template _S_before<_I - 1>()>();
4083 template <
size_t _Np>
4084 static constexpr auto
4085 _S_pop_front(_SizeConstant<_Np> = {})
4087 if constexpr (_Np == 0)
4090 return _SizeList<_Values...>::template _S_pop_front<_Np - 1>();
4096template <
typename _Tp,
size_t _Np>
4097 _GLIBCXX_SIMD_INTRINSIC _SimdWrapper<_Tp, _Np / 2>
4098 __extract_center(_SimdWrapper<_Tp, _Np> __x)
4100 static_assert(_Np >= 4);
4101 static_assert(_Np % 4 == 0);
4102#if _GLIBCXX_SIMD_X86INTRIN
4103 if constexpr (__have_avx512f &&
sizeof(_Tp) * _Np == 64)
4105 const auto __intrin = __to_intrin(__x);
4106 if constexpr (is_integral_v<_Tp>)
4107 return __vector_bitcast<_Tp>(_mm512_castsi512_si256(
4108 _mm512_shuffle_i32x4(__intrin, __intrin,
4109 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
4110 else if constexpr (
sizeof(_Tp) == 4)
4111 return __vector_bitcast<_Tp>(_mm512_castps512_ps256(
4112 _mm512_shuffle_f32x4(__intrin, __intrin,
4113 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
4114 else if constexpr (
sizeof(_Tp) == 8)
4115 return __vector_bitcast<_Tp>(_mm512_castpd512_pd256(
4116 _mm512_shuffle_f64x2(__intrin, __intrin,
4117 1 + 2 * 0x4 + 2 * 0x10 + 3 * 0x40)));
4119 __assert_unreachable<_Tp>();
4121 else if constexpr (
sizeof(_Tp) * _Np == 32 && is_floating_point_v<_Tp>)
4122 return __vector_bitcast<_Tp>(
4123 _mm_shuffle_pd(__lo128(__vector_bitcast<double>(__x)),
4124 __hi128(__vector_bitcast<double>(__x)), 1));
4125 else if constexpr (
sizeof(__x) == 32 &&
sizeof(_Tp) * _Np <= 32)
4126 return __vector_bitcast<_Tp>(
4127 _mm_alignr_epi8(__hi128(__vector_bitcast<_LLong>(__x)),
4128 __lo128(__vector_bitcast<_LLong>(__x)),
4129 sizeof(_Tp) * _Np / 4));
4133 __vector_type_t<_Tp, _Np / 2> __r;
4134 __builtin_memcpy(&__r,
4135 reinterpret_cast<const char*
>(&__x)
4136 +
sizeof(_Tp) * _Np / 4,
4137 sizeof(_Tp) * _Np / 2);
4142template <
typename _Tp,
typename _A0,
typename... _As>
4143 _GLIBCXX_SIMD_INTRINSIC
4144 _SimdWrapper<_Tp, _SimdTuple<_Tp, _A0, _As...>::_S_size() / 2>
4145 __extract_center(
const _SimdTuple<_Tp, _A0, _As...>& __x)
4147 if constexpr (
sizeof...(_As) == 0)
4148 return __extract_center(__x.first);
4150 return __extract_part<1, 4, 2>(__x);
4155template <
size_t... _Sizes,
typename _Tp,
typename... _As>
4157 __split_wrapper(_SizeList<_Sizes...>,
const _SimdTuple<_Tp, _As...>& __x)
4159 return split<_Sizes...>(
4160 fixed_size_simd<_Tp, _SimdTuple<_Tp, _As...>::_S_size()>(__private_init,
4167template <
typename _V,
typename _Ap,
4168 size_t _Parts = simd_size_v<typename _V::value_type, _Ap> / _V::size()>
4169 enable_if_t<simd_size_v<typename _V::value_type, _Ap> == _Parts * _V::size()
4170 && is_simd_v<_V>, array<_V, _Parts>>
4171 split(
const simd<typename _V::value_type, _Ap>& __x)
4173 using _Tp =
typename _V::value_type;
4175 auto __gen_fallback = [&]()
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4176 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4177 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4178 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4179 {
return __x[__i * _V::size() + __j]; });
4183 if constexpr (_Parts == 1)
4185 return {simd_cast<_V>(__x)};
4187 else if (__x._M_is_constprop())
4189 return __gen_fallback();
4191#if _GLIBCXX_SIMD_HAVE_SVE
4192 else if constexpr(__is_sve_abi<_Ap>)
4194 return __gen_fallback();
4198 __is_fixed_size_abi_v<_Ap>
4199 && (is_same_v<typename _V::abi_type, simd_abi::scalar>
4200 || (__is_fixed_size_abi_v<typename _V::abi_type>
4201 &&
sizeof(_V) ==
sizeof(_Tp) * _V::size()
4205#ifdef _GLIBCXX_SIMD_USE_ALIASING_LOADS
4206 const __may_alias<_Tp>*
const __element_ptr
4207 =
reinterpret_cast<const __may_alias<_Tp>*
>(&__data(__x));
4208 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4209 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4210 {
return _V(__element_ptr + __i * _V::size(), vector_aligned); });
4212 const auto& __xx = __data(__x);
4213 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4214 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4215 [[maybe_unused]]
constexpr size_t __offset
4216 =
decltype(__i)::value * _V::size();
4217 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4218 constexpr _SizeConstant<__j + __offset> __k;
4224 else if constexpr (is_same_v<typename _V::abi_type, simd_abi::scalar>)
4227 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4228 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
return __x[__i]; });
4232 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4233 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4234 if constexpr (__is_fixed_size_abi_v<typename _V::abi_type>)
4235 return _V([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4236 return __x[__i * _V::size() + __j];
4239 return _V(__private_init,
4240 __extract_part<
decltype(__i)::value, _Parts>(__data(__x)));
4247template <
typename _V,
typename _Ap,
4248 size_t _Parts = simd_size_v<typename _V::simd_type::value_type, _Ap> / _V::size()>
4249 enable_if_t<is_simd_mask_v<_V> && simd_size_v<
typename
4250 _V::simd_type::value_type, _Ap> == _Parts * _V::size(), array<_V, _Parts>>
4251 split(
const simd_mask<typename _V::simd_type::value_type, _Ap>& __x)
4253 if constexpr (is_same_v<_Ap, typename _V::abi_type>)
4255 else if constexpr (_Parts == 1)
4256 return {__proposed::static_simd_cast<_V>(__x)};
4257 else if constexpr (_Parts == 2 && __is_sse_abi<typename _V::abi_type>()
4258 && __is_avx_abi<_Ap>())
4259 return {_V(__private_init, __lo128(__data(__x))),
4260 _V(__private_init, __hi128(__data(__x)))};
4261 else if constexpr (_V::size() <= __CHAR_BIT__ *
sizeof(_ULLong))
4263 const bitset __bits = __x.__to_bitset();
4264 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4265 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4266 constexpr size_t __offset = __i * _V::size();
4267 return _V(__bitset_init, (__bits >> __offset).to_ullong());
4272 return __generate_from_n_evaluations<_Parts, array<_V, _Parts>>(
4273 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4274 constexpr size_t __offset = __i * _V::size();
4275 return _V(__private_init,
4276 [&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4277 return __x[__j + __offset];
4285template <
size_t... _Sizes,
typename _Tp,
typename _Ap,
typename>
4286 _GLIBCXX_SIMD_ALWAYS_INLINE
4287 tuple<simd<_Tp, simd_abi::deduce_t<_Tp, _Sizes>>...>
4288 split(
const simd<_Tp, _Ap>& __x)
4290 using _SL = _SizeList<_Sizes...>;
4291 using _Tuple = tuple<__deduced_simd<_Tp, _Sizes>...>;
4292 constexpr size_t _Np = simd_size_v<_Tp, _Ap>;
4293 constexpr size_t _N0 = _SL::template _S_at<0>();
4294 using _V = __deduced_simd<_Tp, _N0>;
4296 auto __gen_fallback = [&]()
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4298 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4299 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4300 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4301 constexpr size_t __offset = _SL::_S_before(__i);
4302 return _Vi([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4303 return __x[__offset + __j];
4308 if (__x._M_is_constprop())
4310#if _GLIBCXX_SIMD_HAVE_SVE
4311 else if constexpr (__have_sve)
4314 else if constexpr (_Np == _N0)
4316 static_assert(
sizeof...(_Sizes) == 1);
4317 return {simd_cast<_V>(__x)};
4320 (__is_fixed_size_abi_v<
4321 _Ap> && __fixed_size_storage_t<_Tp, _Np>::_S_first_size == _N0)
4324 !__is_fixed_size_abi_v<typename _V::abi_type>,
4325 "How can <_Tp, _Np> be __a single _SimdTuple entry but __a "
4331 __split_wrapper(_SL::template _S_pop_front<1>(),
4332 __data(__x).second));
4334 else if constexpr ((!__is_fixed_size_abi_v<simd_abi::deduce_t<_Tp, _Sizes>> && ...))
4336 constexpr array<size_t,
sizeof...(_Sizes)> __size = {_Sizes...};
4337 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4338 [&](
auto __i)
constexpr {
4339 constexpr size_t __offset = [&]() {
4341 for (
unsigned __j = 0; __j < __i; ++__j)
4345 return __deduced_simd<_Tp, __size[__i]>(
4347 __extract_part<__offset, _Np, __size[__i]>(__data(__x)));
4350#ifdef _GLIBCXX_SIMD_USE_ALIASING_LOADS
4351 const __may_alias<_Tp>*
const __element_ptr
4352 =
reinterpret_cast<const __may_alias<_Tp>*
>(&__x);
4353 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4354 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4355 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4356 constexpr size_t __offset = _SL::_S_before(__i);
4357 constexpr size_t __base_align =
alignof(simd<_Tp, _Ap>);
4358 constexpr size_t __a
4359 = __base_align - ((__offset *
sizeof(_Tp)) % __base_align);
4360 constexpr size_t __b = ((__a - 1) & __a) ^ __a;
4361 constexpr size_t __alignment = __b == 0 ? __a : __b;
4362 return _Vi(__element_ptr + __offset, overaligned<__alignment>);
4365 return __generate_from_n_evaluations<
sizeof...(_Sizes), _Tuple>(
4366 [&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4367 using _Vi = __deduced_simd<_Tp, _SL::_S_at(__i)>;
4368 const auto& __xx = __data(__x);
4369 using _Offset =
decltype(_SL::_S_before(__i));
4370 return _Vi([&](
auto __j)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4371 constexpr _SizeConstant<_Offset::value + __j> __k;
4381template <
size_t _I,
typename _Tp,
typename _Ap,
typename... _As>
4382 _GLIBCXX_SIMD_INTRINSIC
constexpr _Tp
4383 __subscript_in_pack(
const simd<_Tp, _Ap>& __x,
const simd<_Tp, _As>&... __xs)
4385 if constexpr (_I < simd_size_v<_Tp, _Ap>)
4388 return __subscript_in_pack<_I - simd_size_v<_Tp, _Ap>>(__xs...);
4393template <
typename _Tp,
typename _A0,
typename... _As>
4394 _GLIBCXX_SIMD_INTRINSIC
void
4395 __store_pack_of_simd(
char* __mem,
const simd<_Tp, _A0>& __x0,
const simd<_Tp, _As>&... __xs)
4397 constexpr size_t __n_bytes =
sizeof(_Tp) * simd_size_v<_Tp, _A0>;
4398 __builtin_memcpy(__mem, &__data(__x0), __n_bytes);
4399 if constexpr (
sizeof...(__xs) > 0)
4400 __store_pack_of_simd(__mem + __n_bytes, __xs...);
4405template <
typename _Tp,
typename... _As,
typename = __detail::__odr_helper>
4406 inline _GLIBCXX_SIMD_CONSTEXPR
4407 simd<_Tp, simd_abi::deduce_t<_Tp, (simd_size_v<_Tp, _As> + ...)>>
4408 concat(
const simd<_Tp, _As>&... __xs)
4410 constexpr int _Np = (simd_size_v<_Tp, _As> + ...);
4411 using _Abi = simd_abi::deduce_t<_Tp, _Np>;
4412 using _Rp = simd<_Tp, _Abi>;
4413 using _RW =
typename _SimdTraits<_Tp, _Abi>::_SimdMember;
4414 if constexpr (
sizeof...(__xs) == 1)
4415 return simd_cast<_Rp>(__xs...);
4416 else if ((... && __xs._M_is_constprop()))
4417 return _Rp([&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA
4418 {
return __subscript_in_pack<__i>(__xs...); });
4419 else if constexpr (__is_simd_wrapper_v<_RW> and
sizeof...(__xs) == 2)
4421 return {__private_init,
4424 constexpr int __sizes[2] = {int(simd_size_v<_Tp, _As>)...};
4425 constexpr int __vsizes[2]
4426 = {int(
sizeof(__as_vector(__xs)) /
sizeof(_Tp))...};
4427 constexpr int __padding0 = __vsizes[0] - __sizes[0];
4428 return __i >= _Np ? -1 : __i < __sizes[0] ? __i : __i + __padding0;
4431 else if constexpr (__is_simd_wrapper_v<_RW> and
sizeof...(__xs) == 3)
4432 return [](
const auto& __x0,
const auto& __x1,
const auto& __x2)
4433 _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4434 return concat(concat(__x0, __x1), __x2);
4436 else if constexpr (__is_simd_wrapper_v<_RW> and
sizeof...(__xs) > 3)
4437 return [](
const auto& __x0,
const auto& __x1,
const auto&... __rest)
4438 _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4439 return concat(concat(__x0, __x1), concat(__rest...));
4444 __store_pack_of_simd(
reinterpret_cast<char*
>(&__data(__r)), __xs...);
4451template <
typename _Tp,
typename _Abi,
size_t _Np>
4452 _GLIBCXX_SIMD_ALWAYS_INLINE
4453 _GLIBCXX_SIMD_CONSTEXPR __deduced_simd<_Tp, simd_size_v<_Tp, _Abi> * _Np>
4454 concat(
const array<simd<_Tp, _Abi>, _Np>& __x)
4456 return __call_with_subscripts<_Np>(
4457 __x, [](
const auto&... __xs) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
4458 return concat(__xs...);
4466template <
typename _Up,
typename _Accessor = _Up,
4467 typename _ValueType =
typename _Up::value_type>
4468 class _SmartReference
4474 _GLIBCXX_SIMD_INTRINSIC
constexpr _ValueType
4475 _M_read() const noexcept
4477 if constexpr (is_arithmetic_v<_Up>)
4480 return _M_obj[_M_index];
4483 template <
typename _Tp>
4484 _GLIBCXX_SIMD_INTRINSIC
constexpr void
4485 _M_write(_Tp&& __x)
const
4486 { _Accessor::_S_set(_M_obj, _M_index,
static_cast<_Tp&&
>(__x)); }
4489 _GLIBCXX_SIMD_INTRINSIC
constexpr
4490 _SmartReference(_Up& __o,
int __i) noexcept
4491 : _M_index(__i), _M_obj(__o) {}
4493 using value_type = _ValueType;
4495 _GLIBCXX_SIMD_INTRINSIC
4496 _SmartReference(
const _SmartReference&) =
delete;
4498 _GLIBCXX_SIMD_INTRINSIC
constexpr
4499 operator value_type() const noexcept
4500 {
return _M_read(); }
4502 template <
typename _Tp,
typename = _ValuePreservingOrInt<__remove_cvref_t<_Tp>, value_type>>
4503 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4504 operator=(_Tp&& __x) &&
4506 _M_write(
static_cast<_Tp&&
>(__x));
4507 return {_M_obj, _M_index};
4510#define _GLIBCXX_SIMD_OP_(__op) \
4511 template <typename _Tp, \
4512 typename _TT = decltype(declval<value_type>() __op declval<_Tp>()), \
4513 typename = _ValuePreservingOrInt<__remove_cvref_t<_Tp>, _TT>, \
4514 typename = _ValuePreservingOrInt<_TT, value_type>> \
4515 _GLIBCXX_SIMD_INTRINSIC constexpr _SmartReference \
4516 operator __op##=(_Tp&& __x) && \
4518 const value_type& __lhs = _M_read(); \
4519 _M_write(__lhs __op __x); \
4520 return {_M_obj, _M_index}; \
4522 _GLIBCXX_SIMD_ALL_ARITHMETICS(_GLIBCXX_SIMD_OP_);
4523 _GLIBCXX_SIMD_ALL_SHIFTS(_GLIBCXX_SIMD_OP_);
4524 _GLIBCXX_SIMD_ALL_BINARY(_GLIBCXX_SIMD_OP_);
4525#undef _GLIBCXX_SIMD_OP_
4527 template <
typename _Tp = void,
4528 typename =
decltype(++declval<conditional_t<true, value_type, _Tp>&>())>
4529 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4532 value_type __x = _M_read();
4534 return {_M_obj, _M_index};
4537 template <
typename _Tp = void,
4538 typename =
decltype(declval<conditional_t<true, value_type, _Tp>&>()++)>
4539 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
4542 const value_type __r = _M_read();
4543 value_type __x = __r;
4548 template <
typename _Tp = void,
4549 typename =
decltype(--declval<conditional_t<true, value_type, _Tp>&>())>
4550 _GLIBCXX_SIMD_INTRINSIC
constexpr _SmartReference
4553 value_type __x = _M_read();
4555 return {_M_obj, _M_index};
4558 template <
typename _Tp = void,
4559 typename =
decltype(declval<conditional_t<true, value_type, _Tp>&>()--)>
4560 _GLIBCXX_SIMD_INTRINSIC
constexpr value_type
4563 const value_type __r = _M_read();
4564 value_type __x = __r;
4569 _GLIBCXX_SIMD_INTRINSIC
friend void
4570 swap(_SmartReference&& __a, _SmartReference&& __b)
noexcept(
4572 is_nothrow_constructible<value_type, _SmartReference&&>,
4573 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4575 value_type __tmp =
static_cast<_SmartReference&&
>(__a);
4576 static_cast<_SmartReference&&
>(__a) =
static_cast<value_type
>(__b);
4577 static_cast<_SmartReference&&
>(__b) =
std::move(__tmp);
4580 _GLIBCXX_SIMD_INTRINSIC
friend void
4581 swap(value_type& __a, _SmartReference&& __b)
noexcept(
4583 is_nothrow_constructible<value_type, value_type&&>,
4584 is_nothrow_assignable<value_type&, value_type&&>,
4585 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4588 __a =
static_cast<value_type
>(__b);
4589 static_cast<_SmartReference&&
>(__b) =
std::move(__tmp);
4592 _GLIBCXX_SIMD_INTRINSIC
friend void
4593 swap(_SmartReference&& __a, value_type& __b)
noexcept(
4595 is_nothrow_constructible<value_type, _SmartReference&&>,
4596 is_nothrow_assignable<value_type&, value_type&&>,
4597 is_nothrow_assignable<_SmartReference&&, value_type&&>>::value)
4599 value_type __tmp(__a);
4600 static_cast<_SmartReference&&
>(__a) =
std::move(__b);
4607template <
int _Bytes>
4608 struct __scalar_abi_wrapper
4610 template <
typename _Tp>
static constexpr size_t _S_full_size = 1;
4611 template <
typename _Tp>
static constexpr size_t _S_size = 1;
4612 template <
typename _Tp>
static constexpr size_t _S_is_partial =
false;
4614 template <
typename _Tp,
typename _Abi = simd_abi::scalar>
4615 static constexpr bool _S_is_valid_v
4616 = _Abi::template _IsValid<_Tp>::value &&
sizeof(_Tp) == _Bytes;
4621template <
typename _Tp>
4622 struct __decay_abi {
using type = _Tp; };
4624template <
int _Bytes>
4625 struct __decay_abi<__scalar_abi_wrapper<_Bytes>>
4626 {
using type = simd_abi::scalar; };
4634template <
template <
int>
class _Abi,
int _Bytes,
typename _Tp>
4635 struct __find_next_valid_abi
4637 static constexpr auto
4640 constexpr int _NextBytes = std::__bit_ceil((
unsigned)_Bytes) / 2;
4641 using _NextAbi = _Abi<_NextBytes>;
4642 if constexpr (_NextBytes <
sizeof(_Tp) * 2)
4643 return _Abi<_Bytes>();
4644 else if constexpr (_NextAbi::template _S_is_partial<_Tp> ==
false
4645 && _NextAbi::template _S_is_valid_v<_Tp>)
4648 return __find_next_valid_abi<_Abi, _NextBytes, _Tp>::_S_choose();
4651 using type =
decltype(_S_choose());
4654template <
int _Bytes,
typename _Tp>
4655 struct __find_next_valid_abi<__scalar_abi_wrapper, _Bytes, _Tp>
4656 {
using type = simd_abi::scalar; };
4659template <
template <
int>
class...>
4662 template <
typename,
int>
static constexpr bool _S_has_valid_abi =
false;
4663 template <
typename,
int>
using _FirstValidAbi = void;
4664 template <
typename,
int>
using _BestAbi = void;
4667template <
template <
int>
class _A0,
template <
int>
class... _Rest>
4668 struct _AbiList<_A0, _Rest...>
4670 template <
typename _Tp,
int _Np>
4671 static constexpr bool _S_has_valid_abi
4672 = _A0<
sizeof(_Tp) * _Np>::template _S_is_valid_v<
4673 _Tp> || _AbiList<_Rest...>::template _S_has_valid_abi<_Tp, _Np>;
4675 template <
typename _Tp,
int _Np>
4677 _A0<
sizeof(_Tp) * _Np>::template _S_is_valid_v<_Tp>,
4678 typename __decay_abi<_A0<
sizeof(_Tp) * _Np>>::type,
4679 typename _AbiList<_Rest...>::template _FirstValidAbi<_Tp, _Np>>;
4681 template <
typename _Tp,
int _Np>
4682 static constexpr auto
4683 _S_determine_best_abi()
4685 static_assert(_Np >= 1);
4686 constexpr int _Bytes =
sizeof(_Tp) * _Np;
4687 if constexpr (_Np == 1)
4688 return __make_dependent_t<_Tp, simd_abi::scalar>{};
4691 constexpr int __fullsize = _A0<_Bytes>::template _S_full_size<_Tp>;
4696 if constexpr (_A0<_Bytes>::template _S_is_valid_v<_Tp>
4697 && ((__is_sve_abi<_A0<_Bytes>>() && __have_sve
4698 && (_Np <= __sve_vectorized_size_bytes/
sizeof(_Tp)))
4699 || (__fullsize / 2 < _Np))
4701 return typename __decay_abi<_A0<_Bytes>>::type{};
4705 typename __find_next_valid_abi<_A0, _Bytes, _Tp>::type;
4706 if constexpr (_Bp::template _S_is_valid_v<
4707 _Tp> && _Bp::template _S_size<_Tp> <= _Np)
4711 typename _AbiList<_Rest...>::template _BestAbi<_Tp, _Np>{};
4716 template <
typename _Tp,
int _Np>
4717 using _BestAbi =
decltype(_S_determine_best_abi<_Tp, _Np>());
4725using _AllNativeAbis = _AbiList<
4726#if _GLIBCXX_SIMD_HAVE_SVE
4729 simd_abi::_VecBltnBtmsk, simd_abi::_VecBuiltin, __scalar_abi_wrapper>;
4731using _NoSveAllNativeAbis = _AbiList<simd_abi::_VecBltnBtmsk, simd_abi::_VecBuiltin,
4732 __scalar_abi_wrapper>;
4735template <
typename _Tp,
typename _Abi>
4736 struct _SimdTraits<_Tp, _Abi,
void_t<typename _Abi::template _IsValid<_Tp>>>
4737 : _Abi::template __traits<_Tp> {};
4741template <
typename _Tp,
size_t _Np>
4742 struct __deduce_impl<
4743 _Tp, _Np,
enable_if_t<_AllNativeAbis::template _S_has_valid_abi<_Tp, _Np>>>
4744 {
using type = _AllNativeAbis::_FirstValidAbi<_Tp, _Np>; };
4746template <
typename _Tp,
size_t _Np>
4747 struct __no_sve_deduce_impl<
4748 _Tp, _Np,
enable_if_t<_NoSveAllNativeAbis::template _S_has_valid_abi<_Tp, _Np>>>
4749 {
using type = _NoSveAllNativeAbis::_FirstValidAbi<_Tp, _Np>; };
4752template <
typename _Tp,
size_t _Np,
typename =
void>
4753 struct __deduce_fixed_size_fallback {};
4755template <
typename _Tp,
size_t _Np>
4756 struct __deduce_fixed_size_fallback<_Tp, _Np,
4757 enable_if_t<simd_abi::fixed_size<_Np>::template _S_is_valid_v<_Tp>>>
4758 {
using type = simd_abi::fixed_size<_Np>; };
4760template <
typename _Tp,
size_t _Np,
typename>
4761 struct __deduce_impl :
public __deduce_fixed_size_fallback<_Tp, _Np> {};
4763template <
typename _Tp,
size_t _Np,
typename>
4764 struct __no_sve_deduce_impl
4765 :
public __deduce_fixed_size_fallback<_Tp, _Np>
4773template <
typename _Tp,
typename _Abi>
4774 class simd_mask :
public _SimdTraits<_Tp, _Abi>::_MaskBase
4777 using _Traits = _SimdTraits<_Tp, _Abi>;
4778 using _MemberType =
typename _Traits::_MaskMember;
4784 using _Ip = __int_for_sizeof_t<_Tp>;
4785 static constexpr _Ip* _S_type_tag =
nullptr;
4787 friend typename _Traits::_MaskBase;
4788 friend class simd<_Tp, _Abi>;
4789 friend typename _Traits::_SimdImpl;
4792 using _Impl =
typename _Traits::_MaskImpl;
4797 using value_type = bool;
4798 using reference = _SmartReference<_MemberType, _Impl, value_type>;
4799 using simd_type = simd<_Tp, _Abi>;
4800 using abi_type = _Abi;
4803 static constexpr size_t size()
4804 {
return __size_or_zero_v<_Tp, _Abi>; }
4808 simd_mask() =
default;
4809 simd_mask(
const simd_mask&) =
default;
4810 simd_mask(simd_mask&&) =
default;
4811 simd_mask& operator=(
const simd_mask&) =
default;
4812 simd_mask& operator=(simd_mask&&) =
default;
4816 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
explicit
4817 simd_mask(
typename _Traits::_MaskCastType __init)
4818 : _M_data{__init} {}
4827 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
static simd_mask
4828 __from_bitset(bitset<size()> bs)
4829 {
return {__bitset_init, bs}; }
4831 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR bitset<size()>
4833 {
return _Impl::_S_to_bits(_M_data)._M_to_bitset(); }
4837 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
4838 simd_mask(value_type __x)
4839 : _M_data(_Impl::template _S_broadcast<_Ip>(__x)) {}
4843 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
4845 template <
typename _Up,
typename _A2,
4846 typename = enable_if_t<simd_size_v<_Up, _A2> == size()>>
4847 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit(
sizeof(_MemberType)
4848 !=
sizeof(
typename _SimdTraits<_Up, _A2>::_MaskMember))
4849 simd_mask(
const simd_mask<_Up, _A2>& __x)
4850 : simd_mask(__proposed::static_simd_cast<simd_mask>(__x)) {}
4853 template <
typename _Up,
typename =
enable_if_t<conjunction<
4854 is_same<abi_type, simd_abi::fixed_size<size()>>,
4855 is_same<_Up, _Up>>::value>>
4856 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4857 simd_mask(
const simd_mask<_Up, simd_abi::fixed_size<size()>>& __x)
4858 : _M_data(_Impl::_S_from_bitmask(__data(__x), _S_type_tag)) {}
4863 template <
typename _Flags>
4864 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4865 simd_mask(
const value_type* __mem, _IsSimdFlagType<_Flags>)
4866 : _M_data(_Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem))) {}
4868 template <
typename _Flags>
4869 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
4870 simd_mask(
const value_type* __mem, simd_mask __k, _IsSimdFlagType<_Flags>)
4873 _M_data = _Impl::_S_masked_load(_M_data, __k._M_data,
4874 _Flags::template _S_apply<simd_mask>(__mem));
4879 template <
typename _Flags>
4880 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
4881 copy_from(
const value_type* __mem, _IsSimdFlagType<_Flags>)
4882 { _M_data = _Impl::template _S_load<_Ip>(_Flags::template _S_apply<simd_mask>(__mem)); }
4886 template <
typename _Flags>
4887 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
4888 copy_to(value_type* __mem, _IsSimdFlagType<_Flags>)
const
4889 { _Impl::_S_store(_M_data, _Flags::template _S_apply<simd_mask>(__mem)); }
4893 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR reference
4894 operator[](
size_t __i)
4897 __invoke_ub(
"Subscript %d is out of range [0, %d]", __i, size() - 1);
4898 return {_M_data, int(__i)};
4901 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR value_type
4902 operator[](
size_t __i)
const
4905 __invoke_ub(
"Subscript %d is out of range [0, %d]", __i, size() - 1);
4906 if constexpr (__is_scalar_abi<_Abi>())
4909 return static_cast<bool>(_M_data[__i]);
4914 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd_mask
4916 {
return {__private_init, _Impl::_S_bit_not(_M_data)}; }
4920 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
4922 template <
typename _Up,
typename _A2,
4923 typename = enable_if_t<is_convertible_v<simd_mask<_Up, _A2>, simd_mask>>>
4924 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4925 operator&&(
const simd_mask& __x,
const simd_mask<_Up, _A2>& __y)
4927 return {__private_init,
4928 _Impl::_S_logical_and(__x._M_data, simd_mask(__y)._M_data)};
4931 template <
typename _Up,
typename _A2,
4932 typename = enable_if_t<is_convertible_v<simd_mask<_Up, _A2>, simd_mask>>>
4933 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4934 operator||(
const simd_mask& __x,
const simd_mask<_Up, _A2>& __y)
4936 return {__private_init,
4937 _Impl::_S_logical_or(__x._M_data, simd_mask(__y)._M_data)};
4941 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4942 operator&&(
const simd_mask& __x,
const simd_mask& __y)
4943 {
return {__private_init, _Impl::_S_logical_and(__x._M_data, __y._M_data)}; }
4945 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4946 operator||(
const simd_mask& __x,
const simd_mask& __y)
4947 {
return {__private_init, _Impl::_S_logical_or(__x._M_data, __y._M_data)}; }
4949 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4950 operator&(
const simd_mask& __x,
const simd_mask& __y)
4951 {
return {__private_init, _Impl::_S_bit_and(__x._M_data, __y._M_data)}; }
4953 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4954 operator|(
const simd_mask& __x,
const simd_mask& __y)
4955 {
return {__private_init, _Impl::_S_bit_or(__x._M_data, __y._M_data)}; }
4957 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4958 operator^(
const simd_mask& __x,
const simd_mask& __y)
4959 {
return {__private_init, _Impl::_S_bit_xor(__x._M_data, __y._M_data)}; }
4961 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4962 operator&=(simd_mask& __x,
const simd_mask& __y)
4964 __x._M_data = _Impl::_S_bit_and(__x._M_data, __y._M_data);
4968 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4969 operator|=(simd_mask& __x,
const simd_mask& __y)
4971 __x._M_data = _Impl::_S_bit_or(__x._M_data, __y._M_data);
4975 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask&
4976 operator^=(simd_mask& __x,
const simd_mask& __y)
4978 __x._M_data = _Impl::_S_bit_xor(__x._M_data, __y._M_data);
4984 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4985 operator==(
const simd_mask& __x,
const simd_mask& __y)
4986 {
return !operator!=(__x, __y); }
4988 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
4989 operator!=(
const simd_mask& __x,
const simd_mask& __y)
4990 {
return {__private_init, _Impl::_S_bit_xor(__x._M_data, __y._M_data)}; }
4994 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
4995 simd_mask(_PrivateInit,
typename _Traits::_MaskMember __init)
4996 : _M_data(__init) {}
5000 template <typename _Fp, typename = decltype(bool(declval<_Fp>()(size_t())))>
5001 _GLIBCXX_SIMD_INTRINSIC
constexpr
5002 simd_mask(_PrivateInit, _Fp&& __gen)
5005 __execute_n_times<size()>([&](
auto __i)
constexpr _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5006 _Impl::_S_set(_M_data, __i, __gen(__i));
5012 _GLIBCXX_SIMD_INTRINSIC
constexpr
5013 simd_mask(_BitsetInit, bitset<size()> __init)
5014 : _M_data(_Impl::_S_from_bitmask(_SanitizedBitMask<size()>(__init), _S_type_tag))
5025 template <
typename _Up,
typename _A2,
5026 typename = enable_if_t<simd_size_v<_Up, _A2> == simd_size_v<_Tp, _Abi>>>
5027 _GLIBCXX_SIMD_ALWAYS_INLINE
5028 operator simd_mask<_Up, _A2>() &&
5030 using namespace std::experimental::__proposed;
5031 return static_simd_cast<simd_mask<_Up, _A2>>(_M_data);
5034 const simd_mask<_Tp, _Abi>& _M_data;
5037 _GLIBCXX_SIMD_INTRINSIC _CvtProxy
5043 #ifdef __GXX_CONDITIONAL_IS_OVERLOADABLE__
5044 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
5045 operator?:(
const simd_mask& __k,
const simd_mask& __where_true,
5046 const simd_mask& __where_false)
5048 auto __ret = __where_false;
5049 _Impl::_S_masked_assign(__k._M_data, __ret._M_data, __where_true._M_data);
5053 template <
typename _U1,
typename _U2,
5054 typename _Rp = simd<common_type_t<_U1, _U2>, _Abi>,
5056 is_convertible<_U1, _Rp>, is_convertible<_U2, _Rp>,
5057 is_convertible<simd_mask, typename _Rp::mask_type>>>>
5058 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend _Rp
5059 operator?:(
const simd_mask& __k,
const _U1& __where_true,
5060 const _U2& __where_false)
5062 _Rp __ret = __where_false;
5063 _Rp::_Impl::_S_masked_assign(
5064 __data(
static_cast<typename _Rp::mask_type
>(__k)), __data(__ret),
5065 __data(
static_cast<_Rp
>(__where_true)));
5069 #ifdef _GLIBCXX_SIMD_ENABLE_IMPLICIT_MASK_CAST
5070 template <
typename _Kp,
typename _Ak,
typename _Up,
typename _Au,
5072 conjunction_v<is_convertible<simd_mask<_Kp, _Ak>, simd_mask>,
5073 is_convertible<simd_mask<_Up, _Au>, simd_mask>>>>
5074 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd_mask
5075 operator?:(
const simd_mask<_Kp, _Ak>& __k,
const simd_mask& __where_true,
5076 const simd_mask<_Up, _Au>& __where_false)
5078 simd_mask __ret = __where_false;
5079 _Impl::_S_masked_assign(simd_mask(__k)._M_data, __ret._M_data,
5080 __where_true._M_data);
5088 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
5089 _M_is_constprop()
const
5091 if constexpr (__is_scalar_abi<_Abi>())
5092 return __builtin_constant_p(_M_data);
5094 return _M_data._M_is_constprop();
5100 friend const auto& __data<_Tp, abi_type>(
const simd_mask&);
5101 friend auto& __data<_Tp, abi_type>(simd_mask&);
5102 alignas(_Traits::_S_mask_align) _MemberType _M_data;
5109template <
typename _Tp,
typename _Ap>
5110 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
5111 __data(
const simd_mask<_Tp, _Ap>& __x)
5112 {
return __x._M_data; }
5114template <
typename _Tp,
typename _Ap>
5115 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
5116 __data(simd_mask<_Tp, _Ap>& __x)
5117 {
return __x._M_data; }
5123template <
typename _Tp,
typename _Abi>
5124 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5125 all_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
5127 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5129 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
5135 return _Abi::_MaskImpl::_S_all_of(__k);
5138template <
typename _Tp,
typename _Abi>
5139 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5140 any_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
5142 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5144 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
5150 return _Abi::_MaskImpl::_S_any_of(__k);
5153template <
typename _Tp,
typename _Abi>
5154 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5155 none_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
5157 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5159 for (
size_t __i = 0; __i < simd_size_v<_Tp, _Abi>; ++__i)
5165 return _Abi::_MaskImpl::_S_none_of(__k);
5168template <
typename _Tp,
typename _Abi>
5169 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5170 some_of(
const simd_mask<_Tp, _Abi>& __k)
noexcept
5172 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5174 for (
size_t __i = 1; __i < simd_size_v<_Tp, _Abi>; ++__i)
5175 if (__k[__i] != __k[__i - 1])
5180 return _Abi::_MaskImpl::_S_some_of(__k);
5183template <
typename _Tp,
typename _Abi>
5184 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5185 popcount(
const simd_mask<_Tp, _Abi>& __k)
noexcept
5187 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5189 const int __r = __call_with_subscripts<simd_size_v<_Tp, _Abi>>(
5190 __k, [](
auto... __elements) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5191 return ((__elements != 0) + ...);
5193 if (__builtin_is_constant_evaluated() || __builtin_constant_p(__r))
5196 return _Abi::_MaskImpl::_S_popcount(__k);
5199template <
typename _Tp,
typename _Abi>
5200 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5201 find_first_set(
const simd_mask<_Tp, _Abi>& __k)
5203 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5205 constexpr size_t _Np = simd_size_v<_Tp, _Abi>;
5206 const size_t _Idx = __call_with_n_evaluations<_Np>(
5207 [](
auto... __indexes) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5209 }, [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5210 return __k[__i] ? +__i : _Np;
5213 __invoke_ub(
"find_first_set(empty mask) is UB");
5214 if (__builtin_constant_p(_Idx))
5217 return _Abi::_MaskImpl::_S_find_first_set(__k);
5220template <
typename _Tp,
typename _Abi>
5221 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5222 find_last_set(
const simd_mask<_Tp, _Abi>& __k)
5224 if (__builtin_is_constant_evaluated() || __k._M_is_constprop())
5226 constexpr size_t _Np = simd_size_v<_Tp, _Abi>;
5227 const int _Idx = __call_with_n_evaluations<_Np>(
5228 [](
auto... __indexes) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5230 }, [&](
auto __i) _GLIBCXX_SIMD_ALWAYS_INLINE_LAMBDA {
5231 return __k[__i] ? int(__i) : -1;
5234 __invoke_ub(
"find_first_set(empty mask) is UB");
5235 if (__builtin_constant_p(_Idx))
5238 return _Abi::_MaskImpl::_S_find_last_set(__k);
5241_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5242all_of(_ExactBool __x)
noexcept
5245_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5246any_of(_ExactBool __x)
noexcept
5249_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5250none_of(_ExactBool __x)
noexcept
5253_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
bool
5254some_of(_ExactBool)
noexcept
5257_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5258popcount(_ExactBool __x)
noexcept
5261_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5262find_first_set(_ExactBool)
5265_GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
int
5266find_last_set(_ExactBool)
5273template <
typename _V,
typename _Tp,
typename _Abi,
bool>
5274 class _SimdIntOperators {};
5276template <
typename _V,
typename _Tp,
typename _Abi>
5277 class _SimdIntOperators<_V, _Tp, _Abi, true>
5279 using _Impl =
typename _SimdTraits<_Tp, _Abi>::_SimdImpl;
5281 _GLIBCXX_SIMD_INTRINSIC
constexpr const _V&
5283 {
return *
static_cast<const _V*
>(
this); }
5285 template <
typename _Up>
5286 _GLIBCXX_SIMD_INTRINSIC
static _GLIBCXX_SIMD_CONSTEXPR _V
5287 _S_make_derived(_Up&& __d)
5288 {
return {__private_init,
static_cast<_Up&&
>(__d)}; }
5291 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5293 operator%=(_V& __lhs,
const _V& __x)
5294 {
return __lhs = __lhs % __x; }
5296 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5298 operator&=(_V& __lhs,
const _V& __x)
5299 {
return __lhs = __lhs & __x; }
5301 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5303 operator|=(_V& __lhs,
const _V& __x)
5304 {
return __lhs = __lhs | __x; }
5306 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5308 operator^=(_V& __lhs,
const _V& __x)
5309 {
return __lhs = __lhs ^ __x; }
5311 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5313 operator<<=(_V& __lhs,
const _V& __x)
5314 {
return __lhs = __lhs << __x; }
5316 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5318 operator>>=(_V& __lhs,
const _V& __x)
5319 {
return __lhs = __lhs >> __x; }
5321 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5323 operator<<=(_V& __lhs,
int __x)
5324 {
return __lhs = __lhs << __x; }
5326 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5328 operator>>=(_V& __lhs,
int __x)
5329 {
return __lhs = __lhs >> __x; }
5331 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5335 return _SimdIntOperators::_S_make_derived(
5336 _Impl::_S_modulus(__data(__x), __data(__y)));
5339 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5343 return _SimdIntOperators::_S_make_derived(
5344 _Impl::_S_bit_and(__data(__x), __data(__y)));
5347 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5351 return _SimdIntOperators::_S_make_derived(
5352 _Impl::_S_bit_or(__data(__x), __data(__y)));
5355 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5359 return _SimdIntOperators::_S_make_derived(
5360 _Impl::_S_bit_xor(__data(__x), __data(__y)));
5363 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5367 return _SimdIntOperators::_S_make_derived(
5368 _Impl::_S_bit_shift_left(__data(__x), __data(__y)));
5371 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5375 return _SimdIntOperators::_S_make_derived(
5376 _Impl::_S_bit_shift_right(__data(__x), __data(__y)));
5379 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5384 __invoke_ub(
"The behavior is undefined if the right operand of a "
5385 "shift operation is negative. [expr.shift]\nA shift by "
5388 if (
size_t(__y) >=
sizeof(declval<_Tp>() << __y) * __CHAR_BIT__)
5390 "The behavior is undefined if the right operand of a "
5391 "shift operation is greater than or equal to the width of the "
5392 "promoted left operand. [expr.shift]\nA shift by %d was requested",
5394 return _SimdIntOperators::_S_make_derived(
5395 _Impl::_S_bit_shift_left(__data(__x), __y));
5398 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend
5404 "The behavior is undefined if the right operand of a shift "
5405 "operation is negative. [expr.shift]\nA shift by %d was requested",
5407 if (
size_t(__y) >=
sizeof(declval<_Tp>() << __y) * __CHAR_BIT__)
5409 "The behavior is undefined if the right operand of a shift "
5410 "operation is greater than or equal to the width of the promoted "
5411 "left operand. [expr.shift]\nA shift by %d was requested",
5413 return _SimdIntOperators::_S_make_derived(
5414 _Impl::_S_bit_shift_right(__data(__x), __y));
5418 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5421 {
return {__private_init, _Impl::_S_complement(__derived()._M_data)}; }
5428template <
typename _Tp,
typename _Abi>
5429 class simd :
public _SimdIntOperators<
5430 simd<_Tp, _Abi>, _Tp, _Abi,
5431 conjunction<is_integral<_Tp>,
5432 typename _SimdTraits<_Tp, _Abi>::_IsValid>::value>,
5433 public _SimdTraits<_Tp, _Abi>::_SimdBase
5435 using _Traits = _SimdTraits<_Tp, _Abi>;
5436 using _MemberType =
typename _Traits::_SimdMember;
5437 using _CastType =
typename _Traits::_SimdCastType;
5438 static constexpr _Tp* _S_type_tag =
nullptr;
5439 friend typename _Traits::_SimdBase;
5442 using _Impl =
typename _Traits::_SimdImpl;
5444 friend _SimdIntOperators<simd, _Tp, _Abi, true>;
5446 using value_type = _Tp;
5447 using reference = _SmartReference<_MemberType, _Impl, value_type>;
5448 using mask_type = simd_mask<_Tp, _Abi>;
5449 using abi_type = _Abi;
5451 static constexpr size_t size()
5452 {
return __size_or_zero_v<_Tp, _Abi>; }
5454 _GLIBCXX_SIMD_CONSTEXPR simd() =
default;
5455 _GLIBCXX_SIMD_CONSTEXPR simd(
const simd&) =
default;
5456 _GLIBCXX_SIMD_CONSTEXPR simd(simd&&) noexcept = default;
5457 _GLIBCXX_SIMD_CONSTEXPR simd& operator=(const simd&) = default;
5458 _GLIBCXX_SIMD_CONSTEXPR simd& operator=(simd&&) noexcept = default;
5461 template <typename _Up,
5462 typename = enable_if_t<!is_same_v<__remove_cvref_t<_Up>,
bool>>>
5463 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5464 simd(_ValuePreservingOrInt<_Up, value_type>&& __x)
5466 _Impl::_S_broadcast(static_cast<value_type>(static_cast<_Up&&>(__x))))
5471 template <
typename _Up>
5472 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5473 simd(
const simd<_Up, simd_abi::fixed_size<size()>>& __x,
5476 is_same<simd_abi::fixed_size<size()>, abi_type>,
5477 negation<__is_narrowing_conversion<_Up, value_type>>,
5478 __converts_to_higher_integer_rank<_Up, value_type>>::value,
5480 : simd{static_cast<array<_Up, size()>>(__x).data(), vector_aligned} {}
5483#ifdef _GLIBCXX_SIMD_ENABLE_STATIC_CAST
5484 template <
typename _Up,
typename _A2,
5485 typename =
decltype(static_simd_cast<simd>(
5486 declval<
const simd<_Up, _A2>&>()))>
5487 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5488 simd(
const simd<_Up, _A2>& __x)
5489 : simd(static_simd_cast<simd>(__x)) {}
5493 template <
typename _Fp>
5494 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5495 simd(_Fp&& __gen, _ValuePreservingOrInt<
decltype(declval<_Fp>()(
5496 declval<_SizeConstant<0>&>())),
5497 value_type>* =
nullptr)
5498 : _M_data(_Impl::_S_generator(static_cast<_Fp&&>(__gen), _S_type_tag)) {}
5501 template <
typename _Up,
typename _Flags>
5502 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
5503 simd(
const _Up* __mem, _IsSimdFlagType<_Flags>)
5505 _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag))
5509 template <
typename _Up,
typename _Flags>
5510 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
5511 copy_from(
const _Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>)
5513 _M_data =
static_cast<decltype(_M_data)
>(
5514 _Impl::_S_load(_Flags::template _S_apply<simd>(__mem), _S_type_tag));
5518 template <
typename _Up,
typename _Flags>
5519 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
void
5520 copy_to(_Vectorizable<_Up>* __mem, _IsSimdFlagType<_Flags>)
const
5522 _Impl::_S_store(_M_data, _Flags::template _S_apply<simd>(__mem),
5527 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR reference
5528 operator[](
size_t __i)
5529 {
return {_M_data, int(__i)}; }
5531 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR value_type
5532 operator[]([[maybe_unused]]
size_t __i)
const
5534 if constexpr (__is_scalar_abi<_Abi>())
5536 _GLIBCXX_DEBUG_ASSERT(__i == 0);
5540 return _M_data[__i];
5544 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd&
5547 _Impl::_S_increment(_M_data);
5551 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5555 _Impl::_S_increment(_M_data);
5559 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd&
5562 _Impl::_S_decrement(_M_data);
5566 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5570 _Impl::_S_decrement(_M_data);
5575 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR mask_type
5577 {
return {__private_init, _Impl::_S_negate(_M_data)}; }
5579 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5583 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR simd
5585 {
return {__private_init, _Impl::_S_unary_minus(_M_data)}; }
5588 _GLIBCXX_SIMD_ALWAYS_INLINE
explicit _GLIBCXX_SIMD_CONSTEXPR
5589 simd(_CastType __init) : _M_data(__init) {}
5592 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5593 operator+=(simd& __lhs,
const simd& __x)
5594 {
return __lhs = __lhs + __x; }
5596 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5597 operator-=(simd& __lhs,
const simd& __x)
5598 {
return __lhs = __lhs - __x; }
5600 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5601 operator*=(simd& __lhs,
const simd& __x)
5602 {
return __lhs = __lhs * __x; }
5604 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd&
5605 operator/=(simd& __lhs,
const simd& __x)
5606 {
return __lhs = __lhs / __x; }
5609 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5610 operator+(
const simd& __x,
const simd& __y)
5611 {
return {__private_init, _Impl::_S_plus(__x._M_data, __y._M_data)}; }
5613 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5614 operator-(
const simd& __x,
const simd& __y)
5615 {
return {__private_init, _Impl::_S_minus(__x._M_data, __y._M_data)}; }
5617 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5618 operator*(
const simd& __x,
const simd& __y)
5619 {
return {__private_init, _Impl::_S_multiplies(__x._M_data, __y._M_data)}; }
5621 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5622 operator/(
const simd& __x,
const simd& __y)
5623 {
return {__private_init, _Impl::_S_divides(__x._M_data, __y._M_data)}; }
5626 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5627 operator==(
const simd& __x,
const simd& __y)
5628 {
return simd::_S_make_mask(_Impl::_S_equal_to(__x._M_data, __y._M_data)); }
5630 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5631 operator!=(
const simd& __x,
const simd& __y)
5633 return simd::_S_make_mask(
5634 _Impl::_S_not_equal_to(__x._M_data, __y._M_data));
5637 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5638 operator<(
const simd& __x,
const simd& __y)
5639 {
return simd::_S_make_mask(_Impl::_S_less(__x._M_data, __y._M_data)); }
5641 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5642 operator<=(
const simd& __x,
const simd& __y)
5644 return simd::_S_make_mask(_Impl::_S_less_equal(__x._M_data, __y._M_data));
5647 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5648 operator>(
const simd& __x,
const simd& __y)
5649 {
return simd::_S_make_mask(_Impl::_S_less(__y._M_data, __x._M_data)); }
5651 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend mask_type
5652 operator>=(
const simd& __x,
const simd& __y)
5654 return simd::_S_make_mask(_Impl::_S_less_equal(__y._M_data, __x._M_data));
5658#ifdef __GXX_CONDITIONAL_IS_OVERLOADABLE__
5659 _GLIBCXX_SIMD_ALWAYS_INLINE _GLIBCXX_SIMD_CONSTEXPR
friend simd
5660 operator?:(
const mask_type& __k,
const simd& __where_true,
5661 const simd& __where_false)
5663 auto __ret = __where_false;
5664 _Impl::_S_masked_assign(__data(__k), __data(__ret), __data(__where_true));
5672 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
5673 simd(_PrivateInit,
const _MemberType& __init)
5674 : _M_data(__init) {}
5677 _GLIBCXX_SIMD_INTRINSIC
5678 simd(_BitsetInit, bitset<size()> __init) : _M_data()
5679 { where(mask_type(__bitset_init, __init), *
this) = ~*
this; }
5681 _GLIBCXX_SIMD_INTRINSIC
constexpr bool
5682 _M_is_constprop()
const
5684 if constexpr (__is_scalar_abi<_Abi>())
5685 return __builtin_constant_p(_M_data);
5687 return _M_data._M_is_constprop();
5691 _GLIBCXX_SIMD_INTRINSIC
static constexpr mask_type
5692 _S_make_mask(
typename mask_type::_MemberType __k)
5693 {
return {__private_init, __k}; }
5695 friend const auto& __data<value_type, abi_type>(
const simd&);
5696 friend auto& __data<value_type, abi_type>(simd&);
5697 alignas(_Traits::_S_simd_align) _MemberType _M_data;
5703template <
typename _Tp,
typename _Ap>
5704 _GLIBCXX_SIMD_INTRINSIC
constexpr const auto&
5705 __data(
const simd<_Tp, _Ap>& __x)
5706 {
return __x._M_data; }
5708template <
typename _Tp,
typename _Ap>
5709 _GLIBCXX_SIMD_INTRINSIC
constexpr auto&
5710 __data(simd<_Tp, _Ap>& __x)
5711 {
return __x._M_data; }
5714namespace __float_bitwise_operators {
5715template <
typename _Tp,
typename _Ap>
5716 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5717 operator^(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5718 {
return {__private_init, _Ap::_SimdImpl::_S_bit_xor(__data(__a), __data(__b))}; }
5720template <
typename _Tp,
typename _Ap>
5721 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5722 operator|(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5723 {
return {__private_init, _Ap::_SimdImpl::_S_bit_or(__data(__a), __data(__b))}; }
5725template <
typename _Tp,
typename _Ap>
5726 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR simd<_Tp, _Ap>
5727 operator&(
const simd<_Tp, _Ap>& __a,
const simd<_Tp, _Ap>& __b)
5728 {
return {__private_init, _Ap::_SimdImpl::_S_bit_and(__data(__a), __data(__b))}; }
5730template <
typename _Tp,
typename _Ap>
5731 _GLIBCXX_SIMD_INTRINSIC _GLIBCXX_SIMD_CONSTEXPR
5732 enable_if_t<is_floating_point_v<_Tp>, simd<_Tp, _Ap>>
5733 operator~(
const simd<_Tp, _Ap>& __a)
5734 {
return {__private_init, _Ap::_SimdImpl::_S_complement(__data(__a))}; }
5739_GLIBCXX_SIMD_END_NAMESPACE
constexpr duration< __common_rep_t< _Rep1, __disable_if_is_duration< _Rep2 > >, _Period > operator%(const duration< _Rep1, _Period > &__d, const _Rep2 &__s)
typename conditional< _Cond, _Iftrue, _Iffalse >::type conditional_t
Alias template for conditional.
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.
typename enable_if< _Cond, _Tp >::type enable_if_t
Alias template for enable_if.
__bool_constant< false > false_type
The type used as a compile-time boolean with false value.
constexpr auto tuple_cat(_Tpls &&... __tpls) -> typename __tuple_cat_result< _Tpls... >::__type
Create a tuple containing all elements from multiple tuple-like objects.
auto declval() noexcept -> decltype(__declval< _Tp >(0))
constexpr tuple< typename __decay_and_strip< _Elements >::__type... > make_tuple(_Elements &&... __args)
Create a tuple containing copies of the arguments.
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.
void void_t
A metafunction that always yields void, used for detecting valid types.
ISO C++ entities toplevel namespace is std.
make_integer_sequence< size_t, _Num > make_index_sequence
Alias template make_index_sequence.
constexpr 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.
constexpr bitset< _Nb > operator|(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.
constexpr bitset< _Nb > operator&(const bitset< _Nb > &__x, const bitset< _Nb > &__y) noexcept
Global bitwise operations on bitsets.