[simd] Rename \exposconcept simd-type to simd-vec-type

The name simd-type could refer to both basic_vec and basic_mask
specializations. simd-vec-type is clearer and more consistent with the
simd-mask-type concept.

Author: mattkretz

source/numerics.tex

@@ -16232,7 +16232,7 @@
 template<class V, class T> using @\exposidnc{make-compatible-simd-t} = \seebelownc@; // \expos
 
 template<class V>
-  concept @\defexposconceptnc{simd-type}@ =                                                // \expos
+  concept @\defexposconceptnc{simd-vec-type}@ =                                            // \expos
     @\libconcept{same_as}@<V, basic_simd<typename V::value_type, typename V::abi_type>> &&
     is_default_constructible_v<V>;
 
@@ -16243,7 +16243,7 @@
 
 template<class V>
   concept @\defexposconceptnc{simd-floating-point}@ =                                      // \expos
-    @\exposconcept{simd-type}@<V> && @\libconcept{floating_point}@<typename V::value_type>;
+    @\exposconcept{simd-vec-type}@<V> && @\libconcept{floating_point}@<typename V::value_type>;
 
 template<class V>
   concept @\defexposconceptnc{simd-integral}@ =                                            // \expos
@@ -16254,7 +16254,7 @@
 
 template<class V>
   concept @\defexposconceptnc{simd-complex}@ =                                             // \expos
-    @\exposconcept{simd-type}@<V> && @\libconcept{same_as}@<typename V::value_type, complex<@\exposid{simd-complex-value-type}@<V>>>;
+    @\exposconcept{simd-vec-type}@<V> && @\libconcept{same_as}@<typename V::value_type, complex<@\exposid{simd-complex-value-type}@<V>>>;
 
 template<class... Ts>
   concept @\defexposconceptnc{math-floating-point}@ =                                      // \expos
@@ -16626,30 +16626,30 @@
   static constexpr @\exposid{simd-size-type}@ zero_element   = @\impdefx{value of \tcode{simd::zero_element}}@;
   static constexpr @\exposid{simd-size-type}@ uninit_element = @\impdefx{value of \tcode{simd::uninit_element}}@;
 
-  template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-type}@ V, class IdxMap>
+  template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-vec-type}@ V, class 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);
 
   // \ref{simd.permute.dynamic}, Permute by dynamic index
-  template<@\exposconcept{simd-type}@ V, @\exposconcept{simd-integral}@ I>
+  template<@\exposconcept{simd-vec-type}@ V, @\exposconcept{simd-integral}@ I>
     constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
   template<@\exposconcept{simd-mask-type}@ V, @\exposconcept{simd-integral}@ I>
     constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
 
   // \ref{simd.permute.mask}, Permute by active mask bits
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr V compress(const V& v, const typename V::mask_type& selector);
   template<@\exposconcept{simd-mask-type}@ V>
     constexpr V compress(const V& v, const type_identity_t<V>& selector);
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-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}@ V>
     constexpr V compress(const V& v, const type_identity_t<V>& selector,
                          const typename V::value_type& fill_value);
 
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
   constexpr V expand(const V& v, const typename V::mask_type& selector,
                       const V& original = {});
   template<@\exposconcept{simd-mask-type}@ V>
@@ -16681,13 +16681,13 @@
       partial_gather_from(R&& in, const typename I::mask_type& mask,
                           const I& indices, flags<Flags...> f = {});
 
-  template<@\exposconcept{simd-type}@ V,
+  template<@\exposconcept{simd-vec-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,
+  template<@\exposconcept{simd-vec-type}@ V,
            ranges::@\libconcept{contiguous_range}@ R,
            @\exposconcept{simd-integral}@ I, class... Flags>
     requires ranges::@\libconcept{sized_range}@<R>
@@ -16696,13 +16696,13 @@
                            const typename I::mask_type& mask,
                            const I& indices, flags<Flags...> f = {});
 
-  template<@\exposconcept{simd-type}@ V,
+  template<@\exposconcept{simd-vec-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,
+  template<@\exposconcept{simd-vec-type}@ V,
            ranges::@\libconcept{contiguous_range}@ R,
            @\exposconcept{simd-integral}@ I, class... Flags>
     requires ranges::@\libconcept{sized_range}@<R>
@@ -16962,36 +16962,36 @@
       sph_neumann(const rebind_t<unsigned, @\exposid{deduced-simd-t}@<V>>& n, const V& x);
 
   // \ref{simd.bit}, Bit manipulation
-  template<@\exposconcept{simd-type}@ V> constexpr V byteswap(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V> constexpr V bit_floor(const V& v) noexcept;
+  template<@\exposconcept{simd-vec-type}@ V> constexpr V byteswap(const V& v) noexcept;
+  template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
+  template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_floor(const V& v) noexcept;
 
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr typename V::mask_type has_single_bit(const V& v) noexcept;
 
-  template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
+  template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
     constexpr V0 rotl(const V0& v, const V1& s) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr V  rotl(const V& v, int s) noexcept;
 
-  template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
+  template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
     constexpr V0 rotr(const V0& v, const V1& s) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr V  rotr(const V& v, int s) noexcept;
 
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V> bit_width(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V>
     countl_zero(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_one(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V>
     countr_zero(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_one(const V& v) noexcept;
-  template<@\exposconcept{simd-type}@ V>
+  template<@\exposconcept{simd-vec-type}@ V>
     constexpr rebind_t<make_signed_t<typename V::value_type>, V> popcount(const V& v) noexcept;
 
   // \ref{simd.complex.math}, simd complex math
@@ -18715,7 +18715,7 @@
 \rSec3[simd.permute.static]{\tcode{simd} static permute}
 
 \begin{itemdecl}
-template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-type}@ V, class IdxMap>
+template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-vec-type}@ V, class IdxMap>
   constexpr resize_t<N, V> permute(const V& v, IdxMap&& idxmap);
 
 template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-mask-type}@ V, class IdxMap>
@@ -18768,7 +18768,7 @@
 \rSec3[simd.permute.dynamic]{\tcode{simd} dynamic permute}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V, @\exposconcept{simd-integral}@ I>
+template<@\exposconcept{simd-vec-type}@ V, @\exposconcept{simd-integral}@ I>
   constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
 
 template<@\exposconcept{simd-mask-type}@ V, @\exposconcept{simd-integral}@ I>
@@ -18790,7 +18790,7 @@
 \rSec3[simd.permute.mask]{\tcode{simd} mask permute}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr V compress(const V& v, const typename V::mask_type& selector);
 
 template<@\exposconcept{simd-mask-type}@ V>
@@ -18818,7 +18818,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr V compress(const V& v, const typename V::mask_type& selector,
                        const typename V::value_type& fill_value);
 
@@ -18846,7 +18846,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr V expand(const V& v, const typename V::mask_type& selector,
                      const V& original = {});
 
@@ -18972,12 +18972,12 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<@\exposconcept{simd-vec-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>
+template<@\exposconcept{simd-vec-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,
@@ -19001,12 +19001,12 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
+template<@\exposconcept{simd-vec-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-vec-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,
@@ -19589,7 +19589,7 @@
 \rSec3[simd.bit]{\tcode{basic_simd} bit library}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V> constexpr V byteswap(const V& v) noexcept;
+template<@\exposconcept{simd-vec-type}@ V> constexpr V byteswap(const V& v) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19605,7 +19605,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
+template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19632,7 +19632,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V> constexpr V bit_floor(const V& v) noexcept;
+template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_floor(const V& v) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19648,7 +19648,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr typename V::mask_type has_single_bit(const V& v) noexcept;
 \end{itemdecl}
 
@@ -19665,9 +19665,9 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
+template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
   constexpr V0 rotl(const V0& v0, const V1& v1) noexcept;
-template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
+template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
   constexpr V0 rotr(const V0& v0, const V1& v1) noexcept;
 \end{itemdecl}
 
@@ -19694,8 +19694,8 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V> constexpr V rotl(const V& v, int s) noexcept;
-template<@\exposconcept{simd-type}@ V> constexpr V rotr(const V& v, int s) noexcept;
+template<@\exposconcept{simd-vec-type}@ V> constexpr V rotl(const V& v, int s) noexcept;
+template<@\exposconcept{simd-vec-type}@ V> constexpr V rotr(const V& v, int s) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19712,17 +19712,17 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> bit_width(const V& v) noexcept;
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_zero(const V& v) noexcept;
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_one(const V& v) noexcept;
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_zero(const V& v) noexcept;
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_one(const V& v) noexcept;
-template<@\exposconcept{simd-type}@ V>
+template<@\exposconcept{simd-vec-type}@ V>
   constexpr rebind_t<make_signed_t<typename V::value_type>, V> popcount(const V& v) noexcept;
 \end{itemdecl}