[simd] Use M instead of V for mask types

Author: mattkretz

source/numerics.tex

@@ -16609,26 +16609,26 @@
   // \ref{simd.permute.dynamic}, Permute by dynamic index
   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}@ 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-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-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-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@,
@@ -18690,8 +18690,8 @@
 template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-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}
@@ -18741,8 +18741,8 @@
 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}@ 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}
@@ -18763,8 +18763,8 @@
 template<@\exposconcept{simd-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}
@@ -18792,9 +18792,9 @@
   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-mask-type}@ M>
+  constexpr M compress(const M& v, const type_identity_t<M>& selector,
+                       const typename M::value_type& fill_value);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18820,8 +18820,8 @@
   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}