Skip to content

[2026-03 LWG Motion 6] P4012R1 Value-preserving consteval broadcast to simd::vec #8920

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
eisenwave wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[2026-03 LWG Motion 6] P4012R1 Value-preserving consteval broadcast to simd::vec #8920

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 16 additions & 20 deletions source/numerics.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17899,7 +17899,7 @@

// \ref{simd.ctor}, \tcode{basic_vec} constructors
template<class U>
constexpr explicit(@\seebelow@) basic_vec(U&& value) noexcept;
constexpr basic_vec(U&& value) noexcept;
template<class U, class UAbi>
constexpr explicit(@\seebelow@) basic_vec(const basic_vec<U, UAbi>&) noexcept;
template<class G>
Expand Down Expand Up @@ -18026,7 +18026,7 @@

\indexlibraryctor{basic_vec}
\begin{itemdecl}
template<class U> constexpr explicit(@\seebelow@) basic_vec(U&& value) noexcept;
template<class U> constexpr basic_vec(U&& value) noexcept;
\end{itemdecl}

\begin{itemdescr}
Expand All @@ -18035,29 +18035,25 @@

\pnum
\constraints
\tcode{U} satisfies \tcode{\exposconcept{explicitly-convertible-to}<value_type>}.
\begin{itemize}
\item
\tcode{U} satisfies \tcode{\libconcept{convertible_to}<value_type>} and
\tcode{From} is not an arithmetic type and
does not satisfy \exposconcept{constexpr-wrapper-like},
\item
\tcode{From} is an arithmetic type and
the conversion from \tcode{From} to \tcode{value_type}
is value-preserving\iref{simd.general}, or
\item
\tcode{From} satisfies \exposconcept{constexpr-wrapper-like},
\tcode{remove_cvref_t<decltype(From::value)>} is an arithmetic type, and
\tcode{From::value} is representable by \tcode{value_type}.
\end{itemize}

\pnum
\effects
Initializes each element to the value of the argument after conversion to
\tcode{value_type}.

\pnum
\remarks
The expression inside \tcode{explicit} evaluates to \tcode{false} if and only if
\tcode{U} satisfies \tcode{\libconcept{convertible_to}<value_type>}, and either
\begin{itemize}
\item
\tcode{From} is not an arithmetic type and does not satisfy
\exposconcept{constexpr-wrapper-like},
\item
\tcode{From} is an arithmetic type and the conversion from \tcode{From} to
\tcode{value_type} is value-preserving\iref{simd.general}, or
\item
\tcode{From} satisfies \exposconcept{constexpr-wrapper-like},
\tcode{remove_cvref_t<decltype(From::value)>} is an arithmetic type, and
\tcode{From::value} is representable by \tcode{value_type}.
\end{itemize}
\end{itemdescr}

\indexlibraryctor{basic_vec}
Expand Down
Loading