29 Numerics library [numerics]

29.10 Data-parallel types [simd]

29.10.7 basic_simd non-member operations [simd.nonmembers]

29.10.7.7 basic_simd and basic_simd_mask creation [simd.creation]

template<class T, class Abi>
  constexpr auto simd_split(const basic_simd<typename T::value_type, Abi>& x) noexcept;
template<class T, class Abi>
  constexpr auto simd_split(const basic_simd_mask<mask-element-size<T>, Abi>& x) noexcept;

Constraints:

(1.1)
For the first overload T is an enabled specialization of basic_simd.

If basic_simd<typename T::value_type, Abi>::size() % T::size() is not 0 then resize_simd_t<basic_simd<typename T::value_type, Abi>::size() % T::size(), T> is valid and denotes a type.
(1.2)
For the second overload T is an enabled specialization of basic_simd_mask.

If basic_simd_mask<mask-element-size<T>, Abi>::size() % T::size() is not 0 then resize_simd_t<basic_simd_mask<mask-element-size<T>, Abi>::size() % T::size(), T> is valid and denotes a type.

Let N be x.size() / T::size().

Returns:

(3.1)
If x.size() % T::size() == 0 is true, an array<T, N> with the $i^{th}$ basic_simd or basic_simd_mask element of the $j^{th}$ array element initialized to the value of the element in x with index i + j * T::size().
(3.2)
Otherwise, a tuple of N objects of type T and one object of type resize_simd_t<x.size() % T::size(), T>.

The $i^{th}$ basic_simd or basic_simd_mask element of the $j^{th}$ tuple element of type T is initialized to the value of the element in x with index i + j * T::size().

The $i^{th}$ basic_simd or basic_simd_mask element of the $N^{th}$ tuple element is initialized to the value of the element in x with index i + N * T::size().

🔗

template<class T, class... Abis>
  constexpr simd<T, (basic_simd<T, Abis>::size() + ...)>
    simd_cat(const basic_simd<T, Abis>&... xs) noexcept;
template<size_t Bytes, class... Abis>
  constexpr basic_simd_mask<Bytes, deduce-abi-t<integer-from<Bytes>,
                            (basic_simd_mask<Bytes, Abis>::size() + ...)>>
    simd_cat(const basic_simd_mask<Bytes, Abis>&... xs) noexcept;

Constraints:

(4.1)
For the first overload simd<T, (basic_simd<T, Abis>::size() + ...)> is enabled.
(4.2)
For the second overload basic_simd_mask<Bytes, deduce-abi-t<integer-from<Bytes>, (basic_simd_mask<Bytes, Abis>::size() + ...)>> is enabled.

Returns: A data-parallel object initialized with the concatenated values in the xs pack of data-parallel objects: The

i^{th}

basic_simd/basic_simd_mask element of the

j^{th}

parameter in the xs pack is copied to the return value's element with index i + the sum of the width of the first j parameters in the xs pack.