29 Numerics library [numerics]

29.10 Data-parallel types [simd]

29.10.4 Type traits [simd.traits]

template<class T, class U = typename T::value_type> struct alignment { see below };

alignment<T, U> has a member value if and only if T is a specialization of basic_vec and U is a vectorizable type.

If value is present, the type alignment<T, U> is a BinaryTypeTrait with a base characteristic of integral_constant<size_t, N> for some unspecified N ([simd.ctor], [simd.loadstore]).

[Note 1:

value identifies the alignment restrictions on pointers used for (converting) loads and stores for the given type T on arrays of type U.

— end note]

🔗

template<class T, class V> struct rebind { using type = see below; };

The member type is present if and only if

(3.1)
V is a data-parallel type,
(3.2)
T is a vectorizable type, and
(3.3)
deduce-abi-t<T, V::size()> names an ABI tag type.

If V is a specialization of basic_vec, let Abi1 denote an ABI tag such that basic_vec<T, Abi1>::size() equals V::size().

If V is a specialization of basic_mask, let Abi1 denote an ABI tag such that basic_mask<sizeof(T), Abi1>::size() equals V::size().

Where present, the member typedef type names basic_vec<T, Abi1> if V is a specialization of basic_vec or basic_mask<sizeof(T), Abi1> if V is a specialization of basic_mask.

🔗

template<simd-size-type N, class V> struct resize { using type = see below; };

Let Abi1 denote an ABI tag

(6.1)
such that simd-size-v<typename V::value_type, Abi1> equals N if V is a specialization of basic_vec,
(6.2)
otherwise such that mask-size-v<mask-element-size<V>, Abi1> equals N if V is a specialization of basic_mask.

The member type is present if and only if

(7.1)
V is a data-parallel type, and
(7.2)
there exists at least one ABI tag that satisfies the above constraints for Abi1.

Where present, the member typedef type names basic_vec<typename V::value_type, Abi1> if V is a specialization of basic_vec, or basic_mask<mask-element-size<V>, Abi1> if V is a specialization of basic_mask.