8000 [spec] Clean up · WebAssembly/spec@9afe68b · GitHub
[go: up one dir, main page]
Skip to content

Commit 9afe68b

Browse files
rossbergrossberg
committed
[spec] Clean up
1 parent 72b8361 commit 9afe68b

File tree

4 files changed

+7
-10
lines changed

4 files changed

+7
-10
lines changed

‎document/core/appendix/index-instructions.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -478,7 +478,7 @@ def Instruction(version, name, opcode, type=None, validation=None, execution=Non
478478
Instruction(2.0, r'\I8X16.\VABS', r'\hex{FD}~~\hex{60}', r'[\V128] \to [\V128]', r'valid-vunop', r'exec-vunop', r'op-iabs'),
479479
Instruction(2.0, r'\I8X16.\VNEG', r'\hex{FD}~~\hex{61}', r'[\V128] \to [\V128]', r'valid-vunop', r'exec-vunop', r'op-ineg'),
480480
Instruction(2.0, r'\I8X16.\VPOPCNT', r'\hex{FD}~~\hex{62}', r'[\V128] \t 10BC0 o [\V128]', r'valid-vunop', r'exec-vunop', r'op-ipopcnt'),
481-
Instruction(2.0, r'\I8X16.\VALLTRUE', r'\hex{FD}~~\hex{63}', r'[\V128] \to [\I32]', r'valid-vtestop', r'exec-vtestop', r'op-inez'),
481+
Instruction(2.0, r'\I8X16.\VALLTRUE', r'\hex{FD}~~\hex{63}', r'[\V128] \to [\I32]', r'valid-vtestop', r'exec-vtestop', r'op-iall_true'),
482482
Instruction(2.0, r'\I8X16.\VBITMASK', r'\hex{FD}~~\hex{64}', r'[\V128] \to [\I32]', r'valid-vbitmask', r'exec-vbitmask', r'op-ivbitmask'),
483483
Instruction(2.0, r'\I8X16.\VNARROW\K{\_i16x8\_s}', r'\hex{FD}~~\hex{65}', r'[\V128~\V128] \to [\V128]', r'valid-vbinop', r'exec-vnarrow', r'op-vnarrow'),
484484
Instruction(2.0, r'\I8X16.\VNARROW\K{\_i16x8\_u}', r'\hex{FD}~~\hex{66}', r'[\V128~\V128] \to [\V128]', r'valid-vbinop', r'exec-vnarrow', r'op-vnarrow'),

‎document/core/exec/numerics.rst‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -583,16 +583,16 @@ The integer result of predicates -- i.e., :ref:`tests <syntax-testop>` and :ref:
583583
\end{array}
584584
585585
586-
.. _op-inez:
586+
.. _op-iall_true:
587587

588-
:math:`\inez_N(i)`
589-
..................
588+
:math:`\ialltrue_N(i)`
589+
......................
590590

591591
* Return :math:`0` if :math:`i` is zero, :math:`1` otherwise.
592592

593593
.. math::
594594
\begin{array}{@{}lcll}
595-
\inez_N(i) &=& \tobool(i =/= 0)
595+
\ialltrue_N(i) &=& \tobool(i =/= 0)
596596
\end{array}
597597
598598

‎document/core/util/macros.def‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1581,7 +1581,7 @@
15811581
.. |ictz| mathdef:: \xref{exec/numerics}{op-ictz}{\F{ictz}}
15821582
.. |ipopcnt| mathdef:: \xref{exec/numerics}{op-ipopcnt}{\F{ipopcnt}}
15831583
.. |ieqz| mathdef:: \xref{exec/numerics}{op-ieqz}{\F{ieqz}}
1584-
.. |inez| mathdef:: \xref{exec/numerics}{op-inez}{\F{inez}}
1584+
.. |ialltrue| mathdef:: \xref{exec/numerics}{op-iall_true}{\F{iall\_true}}
15851585
.. |ieq| mathdef:: \xref{exec/numerics}{op-ieq}{\F{ieq}}
15861586
.. |ine| mathdef:: \xref{exec/numerics}{op-ine}{\F{ine}}
15871587
.. |ilt| m 951B athdef:: \xref{exec/numerics}{op-ilt}{\F{ilt}}

‎spectec/Makefile‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -105,10 +105,7 @@ clean:
105105
rm -f src/frontend/parser.{automaton,conflicts}
106106
for dir in $(TESTDIRS); do (cd $$dir && make clean); done
107107

108-
distclean: clean
108+
distclean: clean spec-clean
109109
rm -f ./$(NAME)
110110
rm -rf $(CLONEDIR)
111111
for dir in $(TESTDIRS); do (cd $$dir && make distclean); done
112-
113-
specclean:
114-
(cd ../document/core && make clean)

0 commit comments

Comments
 (0)
0