Skip to content

Commit 242d3d7

Browse files
mattkretzmattkretz
committed
[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.
1 parent 558318e commit 242d3d7

File tree

1 file changed

+49
-49
lines changed

1 file changed

+49
-49
lines changed

‎source/numerics.tex

Lines changed: 49 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -16216,7 +16216,7 @@
1621616216
template<class V, class T> using @\exposidnc{make-compatible-simd-t} = \seebelownc@; // \expos
1621716217

1621816218
template<class V>
16219-
concept @\defexposconceptnc{simd-type}@ = // \expos
16219+
concept @\defexposconceptnc{simd-vec-type}@ = // \expos
1622016220
@\libconcept{same_as}@<V, basic_vec<typename V::value_type, typename V::abi_type>> &&
1622116221
is_default_constructible_v<V>;
1622216222

@@ -16227,7 +16227,7 @@
1622716227

1622816228
template<class V>
1622916229
concept @\defexposconceptnc{simd-floating-point}@ = // \expos
16230-
@\exposconcept{simd-type}@<V> && @\libconcept{floating_point}@<typename V::value_type>;
16230+
@\exposconcept{simd-vec-type}@<V> && @\libconcept{floating_point}@<typename V::value_type>;
1623116231

1623216232
template<class V>
1623316233
concept @\defexposconceptnc{simd-integral}@ = // \expos
@@ -16238,7 +16238,7 @@
1623816238

1623916239
template<class V>
1624016240
concept @\defexposconceptnc{simd-complex}@ = // \expos
16241-
@\exposconcept{simd-type}@<V> && @\libconcept{same_as}@<typename V::value_type, complex<@\exposid{simd-complex-value-type}@<V>>>;
16241+
@\exposconcept{simd-vec-type}@<V> && @\libconcept{same_as}@<typename V::value_type, complex<@\exposid{simd-complex-value-type}@<V>>>;
1624216242

1624316243
template<class... Ts>
1624416244
concept @\defexposconceptnc{math-floating-point}@ = // \expos
@@ -16606,30 +16606,30 @@
1660616606
static constexpr @\exposid{simd-size-type}@ zero_element = @\impdefx{value of \tcode{simd::zero_element}}@;
1660716607
static constexpr @\exposid{simd-size-type}@ uninit_element = @\impdefx{value of \tcode{simd::uninit_element}}@;
1660816608

16609-
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-type}@ V, class IdxMap>
16609+
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-vec-type}@ V, class IdxMap>
1661016610
constexpr resize_t<N, V> permute(const V& v, IdxMap&& idxmap);
1661116611
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-mask-type}@ M, class IdxMap>
1661216612
constexpr resize_t<N, M> permute(const M& v, IdxMap&& idxmap);
1661316613

1661416614
// \ref{simd.permute.dynamic}, Permute by dynamic index
16615-
template<@\exposconcept{simd-type}@ V, @\exposconcept{simd-integral}@ I>
16615+
template<@\exposconcept{simd-vec-type}@ V, @\exposconcept{simd-integral}@ I>
1661616616
constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
1661716617
template<@\exposconcept{simd-mask-type}@ M, @\exposconcept{simd-integral}@ I>
1661816618
constexpr resize_t<I::size(), M> permute(const M& v, const I& indices);
1661916619

1662016620
// \ref{simd.permute.mask}, Permute by active mask bits
16621-
template<@\exposconcept{simd-type}@ V>
16621+
template<@\exposconcept{simd-vec-type}@ V>
1662216622
constexpr V compress(const V& v, const typename V::mask_type& selector);
1662316623
template<@\exposconcept{simd-mask-type}@ M>
1662416624
constexpr M compress(const M& v, const type_identity_t<M>& selector);
16625-
template<@\exposconcept{simd-type}@ V>
16625+
template<@\exposconcept{simd-vec-type}@ V>
1662616626
constexpr V compress(const V& v, const typename V::mask_type& selector,
1662716627
const typename V::value_type& fill_value);
1662816628
template<@\exposconcept{simd-mask-type}@ M>
1662916629
constexpr M compress(const M& v, const type_identity_t<M>& selector,
1663016630
const typename V::value_type& fill_value);
1663116631

16632-
template<@\exposconcept{simd-type}@ V>
16632+
template<@\exposconcept{simd-vec-type}@ V>
1663316633
constexpr V expand(const V& v, const typename V::mask_type& selector,
1663416634
const V& original = {});
1663516635
template<@\exposconcept{simd-mask-type}@ M>
@@ -16660,13 +16660,13 @@
1666016660
partial_gather_from(R&& in, const typename I::mask_type& mask,
1666116661
const I& indices, flags<Flags...> f = {});
1666216662

16663-
template<@\exposconcept{simd-type}@ V,
16663+
template<@\exposconcept{simd-vec-type}@ V,
1666416664
ranges::@\libconcept{contiguous_range}@ R,
1666516665
@\exposconcept{simd-integral}@ I, class... Flags>
1666616666
requires ranges::@\libconcept{sized_range}@<R>
1666716667
constexpr void
1666816668
unchecked_scatter_to(const V& v, R&& out, const I& indices, flags<Flags...> f = {});
16669-
template<@\exposconcept{simd-type}@ V,
16669+
template<@\exposconcept{simd-vec-type}@ V,
1667016670
ranges::@\libconcept{contiguous_range}@ R,
1667116671
@\exposconcept{simd-integral}@ I, class... Flags>
1667216672
requires ranges::@\libconcept{sized_range}@<R>
@@ -16675,13 +16675,13 @@
1667516675
const typename I::mask_type& mask,
1667616676
const I& indices, flags<Flags...> f = {});
1667716677

16678-
template<@\exposconcept{simd-type}@ V,
16678+
template<@\exposconcept{simd-vec-type}@ V,
1667916679
ranges::@\libconcept{contiguous_range}@ R,
1668016680
@\exposconcept{simd-integral}@ I, class... Flags>
1668116681
requires ranges::@\libconcept{sized_range}@<R>
1668216682
constexpr void
1668316683
partial_scatter_to(const V& v, R&& out, const I& indices, flags<Flags...> f = {});
16684-
template<@\exposconcept{simd-type}@ V,
16684+
template<@\exposconcept{simd-vec-type}@ V,
1668516685
ranges::@\libconcept{contiguous_range}@ R,
1668616686
@\exposconcept{simd-integral}@ I, class... Flags>
1668716687
requires ranges::@\libconcept{sized_range}@<R>
@@ -16941,36 +16941,36 @@
1694116941
sph_neumann(const rebind_t<unsigned, @\exposid{deduced-simd-t}@<V>>& n, const V& x);
1694216942

1694316943
// \ref{simd.bit}, Bit manipulation
16944-
template<@\exposconcept{simd-type}@ V> constexpr V byteswap(const V& v) noexcept;
16945-
template<@\exposconcept{simd-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
16946-
template<@\exposconcept{simd-type}@ V> constexpr V bit_floor(const V& v) noexcept;
16944+
template<@\exposconcept{simd-vec-type}@ V> constexpr V byteswap(const V& v) noexcept;
16945+
template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
16946+
template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_floor(const V& v) noexcept;
1694716947

16948-
template<@\exposconcept{simd-type}@ V>
16948+
template<@\exposconcept{simd-vec-type}@ V>
1694916949
constexpr typename V::mask_type has_single_bit(const V& v) noexcept;
1695016950

16951-
template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
16951+
template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
1695216952
constexpr V0 rotl(const V0& v, const V1& s) noexcept;
16953-
template<@\exposconcept{simd-type}@ V>
16953+
template<@\exposconcept{simd-vec-type}@ V>
1695416954
constexpr V rotl(const V& v, int s) noexcept;
1695516955

16956-
template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
16956+
template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
1695716957
constexpr V0 rotr(const V0& v, const V1& s) noexcept;
16958-
template<@\exposconcept{simd-type}@ V>
16958+
template<@\exposconcept{simd-vec-type}@ V>
1695916959
constexpr V rotr(const V& v, int s) noexcept;
1696016960

16961-
template<@\exposconcept{simd-type}@ V>
16961+
template<@\exposconcept{simd-vec-type}@ V>
1696216962
constexpr rebind_t<make_signed_t<typename V::value_type>, V> bit_width(const V& v) noexcept;
16963-
template<@\exposconcept{simd-type}@ V>
16963+
template<@\exposconcept{simd-vec-type}@ V>
1696416964
constexpr rebind_t<make_signed_t<typename V::value_type>, V>
1696516965
countl_zero(const V& v) noexcept;
16966-
template<@\exposconcept{simd-type}@ V>
16966+
template<@\exposconcept{simd-vec-type}@ V>
1696716967
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_one(const V& v) noexcept;
16968-
template<@\exposconcept{simd-type}@ V>
16968+
template<@\exposconcept{simd-vec-type}@ V>
1696916969
constexpr rebind_t<make_signed_t<typename V::value_type>, V>
1697016970
countr_zero(const V& v) noexcept;
16971-
template<@\exposconcept{simd-type}@ V>
16971+
template<@\exposconcept{simd-vec-type}@ V>
1697216972
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_one(const V& v) noexcept;
16973-
template<@\exposconcept{simd-type}@ V>
16973+
template<@\exposconcept{simd-vec-type}@ V>
1697416974
constexpr rebind_t<make_signed_t<typename V::value_type>, V> popcount(const V& v) noexcept;
1697516975

1697616976
// \ref{simd.complex.math}, vec complex math
@@ -18692,7 +18692,7 @@
1869218692
\rSec3[simd.permute.static]{\tcode{vec} static permute}
1869318693

1869418694
\begin{itemdecl}
18695-
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-type}@ V, class IdxMap>
18695+
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-vec-type}@ V, class IdxMap>
1869618696
constexpr resize_t<N, V> permute(const V& v, IdxMap&& idxmap);
1869718697
template<@\exposid{simd-size-type}@ N = @\seebelow@, @\exposconcept{simd-mask-type}@ M, class IdxMap>
1869818698
constexpr resize_t<N, M> permute(const M& v, IdxMap&& idxmap);
@@ -18742,7 +18742,7 @@
1874218742
\rSec3[simd.permute.dynamic]{\tcode{vec} dynamic permute}
1874318743

1874418744
\begin{itemdecl}
18745-
template<@\exposconcept{simd-type}@ V, @\exposconcept{simd-integral}@ I>
18745+
template<@\exposconcept{simd-vec-type}@ V, @\exposconcept{simd-integral}@ I>
1874618746
constexpr resize_t<I::size(), V> permute(const V& v, const I& indices);
1874718747
template<@\exposconcept{simd-mask-type}@ M, @\exposconcept{simd-integral}@ I>
1874818748
constexpr resize_t<I::size(), M> permute(const M& v, const I& indices);
@@ -18763,7 +18763,7 @@
1876318763
\rSec3[simd.permute.mask]{\tcode{vec} mask permute}
1876418764

1876518765
\begin{itemdecl}
18766-
template<@\exposconcept{simd-type}@ V>
18766+
template<@\exposconcept{simd-vec-type}@ V>
1876718767
constexpr V compress(const V& v, const typename V::mask_type& selector);
1876818768
template<@\exposconcept{simd-mask-type}@ M>
1876918769
constexpr M compress(const M& v, const type_identity_t<M>& selector);
@@ -18790,7 +18790,7 @@
1879018790
\end{itemdescr}
1879118791

1879218792
\begin{itemdecl}
18793-
template<@\exposconcept{simd-type}@ V>
18793+
template<@\exposconcept{simd-vec-type}@ V>
1879418794
constexpr V compress(const V& v, const typename V::mask_type& selector,
1879518795
const typename V::value_type& fill_value);
1879618796
template<@\exposconcept{simd-mask-type}@ M>
@@ -18817,7 +18817,7 @@
1881718817
\end{itemdescr}
1881818818

1881918819
\begin{itemdecl}
18820-
template<@\exposconcept{simd-type}@ V>
18820+
template<@\exposconcept{simd-vec-type}@ V>
1882118821
constexpr V expand(const V& v, const typename V::mask_type& selector, const V& original = {});
1882218822
template<@\exposconcept{simd-mask-type}@ M>
1882318823
constexpr M expand(const M& v, const type_identity_t<M>& selector, const M& original = {});
@@ -18935,11 +18935,11 @@
1893518935
\end{itemdescr}
1893618936

1893718937
\begin{itemdecl}
18938-
template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
18938+
template<@\exposconcept{simd-vec-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
1893918939
requires ranges::@\libconcept{sized_range}@<R>
1894018940
constexpr void unchecked_scatter_to(const V& v, R&& out, const I& indices,
1894118941
flags<Flags...> f = {});
18942-
template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
18942+
template<@\exposconcept{simd-vec-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
1894318943
requires ranges::@\libconcept{sized_range}@<R>
1894418944
constexpr void unchecked_scatter_to(const V& v, R&& out, const typename I::mask_type& mask,
1894518945
const I& indices, flags<Flags...> f = {});
@@ -18961,11 +18961,11 @@
1896118961
\end{itemdescr}
1896218962

1896318963
\begin{itemdecl}
18964-
template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
18964+
template<@\exposconcept{simd-vec-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
1896518965
requires ranges::@\libconcept{sized_range}@<R>
1896618966
constexpr void
1896718967
partial_scatter_to(const V& v, R&& out, const I& indices, flags<Flags...> f = {});
18968-
template<@\exposconcept{simd-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
18968+
template<@\exposconcept{simd-vec-type}@ V, ranges::@\libconcept{contiguous_range}@ R, @\exposconcept{simd-integral}@ I, class... Flags>
1896918969
requires ranges::@\libconcept{sized_range}@<R>
1897018970
constexpr void
1897118971
partial_scatter_to(const V& v, R&& out,
@@ -19548,7 +19548,7 @@
1954819548
\rSec3[simd.bit]{\tcode{basic_vec} bit library}
1954919549

1955019550
\begin{itemdecl}
19551-
template<@\exposconcept{simd-type}@ V> constexpr V byteswap(const V& v) noexcept;
19551+
template<@\exposconcept{simd-vec-type}@ V> constexpr V byteswap(const V& v) noexcept;
1955219552
\end{itemdecl}
1955319553

1955419554
\begin{itemdescr}
@@ -19564,7 +19564,7 @@
1956419564
\end{itemdescr}
1956519565

1956619566
\begin{itemdecl}
19567-
template<@\exposconcept{simd-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
19567+
template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_ceil(const V& v) noexcept;
1956819568
\end{itemdecl}
1956919569

1957019570
\begin{itemdescr}
@@ -19591,7 +19591,7 @@
1959119591
\end{itemdescr}
1959219592

1959319593
\begin{itemdecl}
19594-
template<@\exposconcept{simd-type}@ V> constexpr V bit_floor(const V& v) noexcept;
19594+
template<@\exposconcept{simd-vec-type}@ V> constexpr V bit_floor(const V& v) noexcept;
1959519595
\end{itemdecl}
1959619596

1959719597
\begin{itemdescr}
@@ -19607,7 +19607,7 @@
1960719607
\end{itemdescr}
1960819608

1960919609
\begin{itemdecl}
19610-
template<@\exposconcept{simd-type}@ V>
19610+
template<@\exposconcept{simd-vec-type}@ V>
1961119611
constexpr typename V::mask_type has_single_bit(const V& v) noexcept;
1961219612
\end{itemdecl}
1961319613

@@ -19624,9 +19624,9 @@
1962419624
\end{itemdescr}
1962519625

1962619626
\begin{itemdecl}
19627-
template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
19627+
template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
1962819628
constexpr V0 rotl(const V0& v0, const V1& v1) noexcept;
19629-
template<@\exposconcept{simd-type}@ V0, @\exposconcept{simd-type}@ V1>
19629+
template<@\exposconcept{simd-vec-type}@ V0, @\exposconcept{simd-vec-type}@ V1>
1963019630
constexpr V0 rotr(const V0& v0, const V1& v1) noexcept;
1963119631
\end{itemdecl}
1963219632

@@ -19653,8 +19653,8 @@
1965319653
\end{itemdescr}
1965419654

1965519655
\begin{itemdecl}
19656-
template<@\exposconcept{simd-type}@ V> constexpr V rotl(const V& v, int s) noexcept;
19657-
template<@\exposconcept{simd-type}@ V> constexpr V rotr(const V& v, int s) noexcept;
19656+
template<@\exposconcept{simd-vec-type}@ V> constexpr V rotl(const V& v, int s) noexcept;
19657+
template<@\exposconcept{simd-vec-type}@ V> constexpr V rotr(const V& v, int s) noexcept;
1965819658
\end{itemdecl}
1965919659

1966019660
\begin{itemdescr}
@@ -19671,17 +19671,17 @@
1967119671
\end{itemdescr}
1967219672

1967319673
\begin{itemdecl}
19674-
template<@\exposconcept{simd-type}@ V>
19674+
template<@\exposconcept{simd-vec-type}@ V>
1967519675
constexpr rebind_t<make_signed_t<typename V::value_type>, V> bit_width(const V& v) noexcept;
19676-
template<@\exposconcept{simd-type}@ V>
19676+
template<@\exposconcept{simd-vec-type}@ V>
1967719677
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_zero(const V& v) noexcept;
19678-
template<@\exposconcept{simd-type}@ V>
19678+
template<@\exposconcept{simd-vec-type}@ V>
1967919679
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countl_one(const V& v) noexcept;
19680-
template<@\exposconcept{simd-type}@ V>
19680+
template<@\exposconcept{simd-vec-type}@ V>
1968119681
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_zero(const V& v) noexcept;
19682-
template<@\exposconcept{simd-type}@ V>
19682+
template<@\exposconcept{simd-vec-type}@ V>
1968319683
constexpr rebind_t<make_signed_t<typename V::value_type>, V> countr_one(const V& v) noexcept;
19684-
template<@\exposconcept{simd-type}@ V>
19684+
template<@\exposconcept{simd-vec-type}@ V>
1968519685
constexpr rebind_t<make_signed_t<typename V::value_type>, V> popcount(const V& v) noexcept;
1968619686
\end{itemdecl}
1968719687

0 commit comments

Comments
 (0)