Add constraint for BinaryOperation to reduce overloads

ChangeLog: * P1928/changelog.tex: * P1928/wording.tex:
mattkretz · Oct 2, 2023 · 22f1b48 · 22f1b48
1 parent 4fdf826
commit 22f1b48
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/P1928/changelog.tex b/P1928/changelog.tex
@@ -112,5 +112,6 @@ \section{Changelog}
 \item Update section on \code{size_t} vs. \code{int} usage (\sect{sec:simdsizetype}).
 \item Remove all open design questions, leaving LWG / wording questions.
 \item Add LWG question on implementation note (\sect{sec:implnote}).
+\item Add constraint for \code{BinaryOperation} to \code{reduce} overloads (\ref{sec:simd.reductions}).
 %  \todo Add \code{numeric_limits} / numeric traits specializations since behavior of e.g. \code{simd<float>} and \code{float} may differ for reasonable implementations.
 \end{revision}
diff --git a/P1928/wording.tex b/P1928/wording.tex
@@ -1132,6 +1132,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+  \pnum\constraints
+  \tcode{BinaryOperation} satisfies \tcode{invocable<simd<T, 1>, simd<T, 1>>}.
+
   \pnum\mandates
   \tcode{binary_op} can be invoked with two arguments of type
   \tcode{basic_simd<T, A1>} returning \tcode{basic_simd<T, A1>} for every
@@ -1151,6 +1154,9 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+  \pnum\constraints
+  \tcode{BinaryOperation} satisfies \tcode{invocable<simd<T, 1>, simd<T, 1>>}.
+
   \pnum\mandates
   \tcode{binary_op} can be invoked with two arguments of type \tcode{basic_simd<T, A1>} returning \tcode{basic_simd<T, A1>} for every \tcode{A1} that is an ABI tag type.