29 Numerics library [numerics]

29.10 Data-parallel types [simd]

29.10.8 basic_vec non-member operations [simd.nonmembers]

29.10.8.12 basic_vec and basic_mask creation [simd.creation]

template<class T, class Abi>
  constexpr auto chunk(const basic_vec<typename T::value_type, Abi>& x) noexcept;
template<class T, class Abi>
  constexpr auto chunk(const basic_mask<mask-element-size<T>, Abi>& x) noexcept;

Constraints:

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

If basic_vec<typename T::value_type, Abi>::size() % T::size() is not 0, then resize_t<basic_vec<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_mask.

If basic_mask<mask-element-size<T>, Abi>::size() % T::size() is not 0, then resize_t<basic_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_vec or basic_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_t<x.size() % T::size(), T>.

The $i^{th}$ basic_vec or basic_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_vec or basic_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<simd-size-type N, class T, class Abi>
  constexpr auto chunk(const basic_vec<T, Abi>& x) noexcept;

Effects: Equivalent to: return chunk<resize_t<N, basic_vec<T, Abi>>>(x);

🔗

template<simd-size-type N, size_t Bytes, class Abi>
  constexpr auto chunk(const basic_mask<Bytes, Abi>& x) noexcept;

Effects: Equivalent to: return chunk<resize_t<N, basic_mask<Bytes, Abi>>>(x);

🔗

template<class T, class... Abis>
  constexpr vec<T, (basic_vec<T, Abis>::size() + ...)>
    cat(const basic_vec<T, Abis>&... xs) noexcept;
template<size_t Bytes, class... Abis>
  constexpr basic_mask<Bytes, deduce-abi-t<integer-from<Bytes>,
                            (basic_mask<Bytes, Abis>::size() + ...)>>
    cat(const basic_mask<Bytes, Abis>&... xs) noexcept;

Constraints:

(6.1)
For the first overload vec<T, (basic_vec<T, Abis>::size() + ...)> is enabled.
(6.2)
For the second overload basic_mask<Bytes, deduce-abi-t<integer-from<Bytes>, (basic_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_vec/basic_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.