[simd] Use M instead of V for mask types

Author: mattkretz

source/numerics.tex

@@ -16634,27 +16634,27 @@
   // \ref{simd.permute.dynamic}, Permute by dynamic index
   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);
+  template<@\exposconcept{simd-mask-type}@ M, @\exposconcept{simd-integral}@ I>
+    constexpr resize_t<I::size(), M> permute(const M& v, const I& indices);
 
   // \ref{simd.permute.mask}, Permute by active mask bits
   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-mask-type}@ M>
+    constexpr M compress(const M& v, const type_identity_t<M>& selector);
   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,
+  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);
 
   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>
-    constexpr V expand(const V& v, const type_identity_t<V>& 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 = {});
 
   // \ref{simd.permute.memory}, Permute to and from memory
   template<class V = @\seebelow@,
@@ -18709,8 +18709,8 @@
 \begin{itemdecl}
 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>
-  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);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18765,8 +18765,8 @@
 \begin{itemdecl}
 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);
+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}
 
 \begin{itemdescr}
@@ -18786,8 +18786,8 @@
 \begin{itemdecl}
 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-mask-type}@ M>
+  constexpr M compress(const M& v, const type_identity_t<M>& selector);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18818,8 +18818,8 @@
 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,
+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);
 \end{itemdecl}
 
@@ -18846,8 +18846,8 @@
 \begin{itemdecl}
 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>
-  constexpr V expand(const V& v, const type_identity_t<V>& 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}
 
 \begin{itemdescr}