Skip to content

Commit 724b3e7

Browse files
authored
[spec] Fix sx to be sx? in reduction of vcvtop_zero (WebAssembly#1720)
1 parent 91e770c commit 724b3e7

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

document/core/exec/instructions.rst

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -837,8 +837,8 @@ where:
837837
\end{array}
838838
839839
840-
:math:`t_2\K{x}N\K{.}\vcvtop\K{\_}t_1\K{x}M\K{\_}\sx\K{\_zero}`
841-
...............................................................
840+
:math:`t_2\K{x}N\K{.}\vcvtop\K{\_}t_1\K{x}M\K{\_}\sx^?\K{\_zero}`
841+
.................................................................
842842

843843
1. Assert: due to :ref:`syntax <syntax-instr-vec>`, :math:`N = 2 \cdot M`.
844844

@@ -848,7 +848,7 @@ where:
848848

849849
4. Let :math:`i^\ast` be the result of computing :math:`\lanes_{t_1\K{x}M}(c_1)`.
850850

851-
5. Let :math:`j^\ast` be the result of computing :math:`\vcvtop^{\sx}_{|t_1|,|t_2|}(i^\ast)`.
851+
5. Let :math:`j^\ast` be the result of computing :math:`\vcvtop^{\sx^?}_{|t_1|,|t_2|}(i^\ast)`.
852852

853853
6. Let :math:`k^\ast` be the concatenation of the two sequences :math:`j^\ast` and :math:`0^M`.
854854

@@ -859,11 +859,11 @@ where:
859859
.. math::
860860
\begin{array}{l}
861861
\begin{array}{lcl@{\qquad}l}
862-
(\V128\K{.}\VCONST~c_1)~t_2\K{x}N\K{.}\vcvtop\K{\_}t_1\K{x}M\K{\_}\sx\K{\_zero} &\stepto& (\V128\K{.}\VCONST~c) \\
862+
(\V128\K{.}\VCONST~c_1)~t_2\K{x}N\K{.}\vcvtop\K{\_}t_1\K{x}M\K{\_}\sx^?\K{\_zero} &\stepto& (\V128\K{.}\VCONST~c) \\
863863
\end{array}
864864
\\ \qquad
865865
\begin{array}[t]{@{}r@{~}l@{}}
866-
(\iff & c = \lanes^{-1}_{t_2\K{x}N}(\vcvtop^{\sx}_{|t_1|,|t_2|}(\lanes_{t_1\K{x}M}(c_1))~0^M))
866+
(\iff & c = \lanes^{-1}_{t_2\K{x}N}(\vcvtop^{\sx^?}_{|t_1|,|t_2|}(\lanes_{t_1\K{x}M}(c_1))~0^M))
867867
\end{array}
868868
\end{array}
869869

0 commit comments

Comments
 (0)