[simd.syn] [simd.permute.static] [simd.permute.dynamic] [simd.permute.mask] [simd.permute.memory] Improve indentation and linebreaks; fix overfull \hboxes

Author: mattkretz

source/numerics.tex

@@ -16619,14 +16619,14 @@
     constexpr M compress(const M& v, const type_identity_t<M>& selector);
   template<@\exposconcept{simd-type}@ V>
     constexpr V compress(const V& v, const typename V::mask_type& selector,
-                          const typename V::value_type& fill_value);
+                         const typename V::value_type& fill_value);
   template<@\exposconcept{simd-mask-type}@ M>
     constexpr M compress(const M& v, const type_identity_t<M>& selector,
-                          const typename V::value_type& fill_value);
+                         const typename V::value_type& fill_value);
 
   template<@\exposconcept{simd-type}@ V>
-  constexpr V expand(const V& v, const typename V::mask_type& selector,
-                      const V& original = {});
+    constexpr V expand(const V& v, const typename V::mask_type& selector,
+                       const V& original = {});
   template<@\exposconcept{simd-mask-type}@ M>
     constexpr M expand(const M& v, const type_identity_t<M>& selector, const M& original = {});
 
@@ -18688,10 +18688,9 @@
 
 \begin{itemdecl}
 template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-type}@ V, class IdxMap>
-constexpr resize_t<N, V> permute(const V& v, IdxMap&& idxmap);
-
+  constexpr resize_t<N, V> permute(const V& v, IdxMap&& idxmap);
 template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-mask-type}@ M, class IdxMap>
-constexpr resize_t<N, M> permute(const M& v, IdxMap&& idxmap);
+  constexpr resize_t<N, M> permute(const M& v, IdxMap&& idxmap);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18715,7 +18714,7 @@
 \pnum
 \constraints
 \tcode{integral<invoke_result_t<IdxMap\&, \exposid{simd-size-type}>> ||
-integral<invoke_result_t<IdxMap\&, \exposid{simd-size-type},
+integral<invoke_re\-sult_t<IdxMap\&, \exposid{simd-size-type},
 \exposid{simd-size-type}>>} is \tcode{true}.
 
 \pnum
@@ -18740,7 +18739,6 @@
 \begin{itemdecl}
 template<@\exposconcept{simd-type}@ V, @\exposconcept{simd-integral}@ I>
   constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
-
 template<@\exposconcept{simd-mask-type}@ M, @\exposconcept{simd-integral}@ I>
   constexpr resize_t<I::size(), M> permute(const M& v, const I& indices);
 \end{itemdecl}
@@ -18762,7 +18760,6 @@
 \begin{itemdecl}
 template<@\exposconcept{simd-type}@ V>
   constexpr V compress(const V& v, const typename V::mask_type& selector);
-
 template<@\exposconcept{simd-mask-type}@ M>
   constexpr M compress(const M& v, const type_identity_t<M>& selector);
 \end{itemdecl}
@@ -18791,7 +18788,6 @@
 template<@\exposconcept{simd-type}@ V>
   constexpr V compress(const V& v, const typename V::mask_type& selector,
                        const typename V::value_type& fill_value);
-
 template<@\exposconcept{simd-mask-type}@ M>
   constexpr M compress(const M& v, const type_identity_t<M>& selector,
                        const typename M::value_type& fill_value);
@@ -18817,9 +18813,7 @@
 
 \begin{itemdecl}
 template<@\exposconcept{simd-type}@ V>
-  constexpr V expand(const V& v, const typename V::mask_type& selector,
-                     const V& original = {});
-
+  constexpr V expand(const V& v, const typename V::mask_type& selector, const V& original = {});
 template<@\exposconcept{simd-mask-type}@ M>
   constexpr M expand(const M& v, const type_identity_t<M>& selector, const M& original = {});
 \end{itemdecl}
@@ -18847,13 +18841,10 @@
 \rSec3[simd.permute.memory]{\tcode{simd} memory permute}
 
 \begin{itemdecl}
-template<class V = @\seebelow@,
-         ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<class V = @\seebelow@, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr V unchecked_gather_from(R&& in, const I& indices, flags<Flags...> f = {});
-
-template<class V = @\seebelow@,
-         ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<class V = @\seebelow@, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr V unchecked_gather_from(R&& in, const typename I::mask_type& mask,
                                     const I& indices, flags<Flags...> f = {});
@@ -18880,13 +18871,10 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<class V = @\seebelow@,
-         ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<class V = @\seebelow@, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr V partial_gather_from(R&& in, const I& indices, flags<Flags...> f = {});
-
-template<class V = @\seebelow@,
-         ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<class V = @\seebelow@, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr V partial_gather_from(R&& in, const typename I::mask_type& mask,
                                   const I& indices, flags<Flags...> f = {});
@@ -18925,8 +18913,10 @@
 \returns
 A \tcode{basic_vec} or \tcode{basic_mask} object where the $i^\text{th}$
 element is initialized to the result of \tcode{mask[$i$] \&\& indices[$i$] <
-ranges::size(in) ? static_cast<V::value_type>(ranges::data(in)[indices[$i$]]) :
-typename V::value_type()} for all $i$ in the range \range{0}{I::size()}.
+ranges::size(in) ? static_cast<typename
+V::value_type>(range::\brk{}data(in)[indices[$i$]]) : typename
+V::value_type()} for all $i$ in the range \range{0}{I::size()}.
+% FIXME: the above \tcode{...} is too long => Overfull \hbox. codeblock?
 
 \pnum
 \remarks
@@ -18935,18 +18925,14 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R,
-         @\exposconcept{simd-integral}@ I, class... Flags>
+template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
-  constexpr void unchecked_scatter_to(const V& v, R&& out, const I& indices, flags<Flags...> f = {});
-
-template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R,
-         @\exposconcept{simd-integral}@ I, class... Flags>
+  constexpr void unchecked_scatter_to(const V& v, R&& out, const I& indices,
+                                      flags<Flags...> f = {});
+template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
-  constexpr void
-  unchecked_scatter_to(const V& v, R&& out,
-                       const typename I::mask_type& mask,
-                       const I& indices, flags<Flags...> f = {});
+  constexpr void unchecked_scatter_to(const V& v, R&& out, const typename I::mask_type& mask,
+                                      const I& indices, flags<Flags...> f = {});
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18965,15 +18951,11 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R,
-         @\exposconcept{simd-integral}@ I, class... Flags>
+template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr void
   partial_scatter_to(const V& v, R&& out, const I& indices, flags<Flags...> f = {});
-
-template<@\exposconcept{simd-type}@ V,
-         ranges::@\libconcept{contiguous_range}@ R,
-         @\exposconcept{simd-integral}@ I, class... Flags>
+template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
   requires ranges::@\libconcept{sized_range}@<R>
   constexpr void
   partial_scatter_to(const V& v, R&& out,