[spectext] Add i64x2.all_true

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

@@ -474,6 +474,7 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
     Instruction(r'\I64X2.\VSHR\K{\_s}', r'\hex{FD}~~204', r'[\V128~\I32] \to [\V128]', r'valid-vshiftop', r'exec-vshiftop', r'op-ishr_s'),
     Instruction(r'\I64X2.\VSHR\K{\_u}', r'\hex{FD}~~205', r'[\V128~\I32] \to [\V128]', r'valid-vshiftop', r'exec-vshiftop', r'op-ishr_u'),
     Instruction(r'\I64X2.\VADD', r'\hex{FD}~~206', r'[\V128~\V128] \to [\V128]', r'valid-vbinop', r'exec-vbinop', r'op-iadd'),
+    Instruction(r'\I64X2.\ALLTRUE', r'\hex{FD}~~207', r'[\V128] \to [\I32]', r'valid-vitestop', r'exec-vitestop'),
     Instruction(r'\I64X2.\VSUB', r'\hex{FD}~~209', r'[\V128~\V128] \to [\V128]', r'valid-vbinop', r'exec-vbinop', r'op-isub'),
     Instruction(r'\I64X2.\VMUL', r'\hex{FD}~~213', r'[\V128~\V128] \to [\V128]', r'valid-vbinop', r'exec-vbinop', r'op-imul'),
     Instruction(r'\F32X4.\VABS', r'\hex{FD}~~224', r'[\V128] \to [\V128]', r'valid-vunop', r'exec-vunop', r'op-fabs'),

document/core/appendix/index-instructions.rst

@@ -422,6 +422,7 @@ Instruction                                  Binary Opcode          Type
 :math:`\I64X2.\VSHR\K{\_s}`                  :math:`\hex{FD}~~204`  :math:`[\V128~\I32] \to [\V128]`               :ref:`validation <valid-vshiftop>`           :ref:`execution <exec-vshiftop>`, :ref:`operator <op-ishr_s>`    
 :math:`\I64X2.\VSHR\K{\_u}`                  :math:`\hex{FD}~~205`  :math:`[\V128~\I32] \to [\V128]`               :ref:`validation <valid-vshiftop>`           :ref:`execution <exec-vshiftop>`, :ref:`operator <op-ishr_u>`    
 :math:`\I64X2.\VADD`                         :math:`\hex{FD}~~206`  :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <valid-vbinop>`             :ref:`execution <exec-vbinop>`, :ref:`operator <op-iadd>`        
+:math:`\I64X2.\ALLTRUE`                      :math:`\hex{FD}~~207`  :math:`[\V128] \to [\I32]`                     :ref:`validation <valid-vitestop>`           :ref:`execution <exec-vitestop>`                                 
 :math:`\I64X2.\VSUB`                         :math:`\hex{FD}~~209`  :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <valid-vbinop>`             :ref:`execution <exec-vbinop>`, :ref:`operator <op-isub>`        
 :math:`\I64X2.\VMUL`                         :math:`\hex{FD}~~213`  :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <valid-vbinop>`             :ref:`execution <exec-vbinop>`, :ref:`operator <op-imul>`        
 :math:`\F32X4.\VABS`                         :math:`\hex{FD}~~224`  :math:`[\V128] \to [\V128]`                    :ref:`validation <valid-vunop>`              :ref:`execution <exec-vunop>`, :ref:`operator <op-fabs>`         

document/core/binary/instructions.rst

@@ -670,6 +670,7 @@ All other SIMD instructions are plain opcodes without any immediates.
      \hex{FD}~~204{:}\Bu32 &\Rightarrow& \I64X2.\VSHR\K{\_s} \\ &&|&
      \hex{FD}~~205{:}\Bu32 &\Rightarrow& \I64X2.\VSHR\K{\_u} \\ &&|&
      \hex{FD}~~206{:}\Bu32 &\Rightarrow& \I64X2.\VADD \\ &&|&
+     \hex{FD}~~207{:}\Bu32 &\Rightarrow& \I64X2.\ALLTRUE \\ &&|&
      \hex{FD}~~209{:}\Bu32 &\Rightarrow& \I64X2.\VSUB \\ &&|&
      \hex{FD}~~213{:}\Bu32 &\Rightarrow& \I64X2.\VMUL \\
   \end{array}

document/core/syntax/instructions.rst

@@ -228,13 +228,8 @@ SIMD instructions provide basic operations over :ref:`values <syntax-value>` of
      \K{i32x4.}\viunop \\&&|&
      \K{i64x2.}\NEG \\&&|&
      \fshape\K{.}\vfunop \\&&|&
-     \K{i8x16.}\vitestop ~|~
-     \K{i16x8.}\vitestop ~|~
-     \K{i32x4.}\vitestop \\&&|&
-     \K{i8x16.}\BITMASK ~|~
-     \K{i16x8.}\BITMASK ~|~
-     \K{i32x4.}\BITMASK ~|~
-     \K{i64x2.}\BITMASK \\&&|&
+     \ishape\K{.}\vitestop \\ &&|&
+     \ishape\K{.}\BITMASK \\ &&|&
      \K{i8x16.}\NARROW\K{\_i16x8\_}\sx ~|~
      \K{i16x8.}\NARROW\K{\_i32x4\_}\sx \\&&|&
      \K{i16x8.}\WIDEN\K{\_low}\K{\_i8x16\_}\sx ~|~

document/core/text/instructions.rst

@@ -699,6 +699,7 @@ SIMD const instructions have a mandatory :ref:`shape <syntax-simd-shape>` descri
    \begin{array}{llclll}
    \phantom{\production{instruction}} & \phantom{\Tplaininstr_I} &\phantom{::=}& \phantom{averylonginstructionnameforsimdtext} && \phantom{simdhasreallylonginstructionnames} \\[-2ex] &&|&
      \text{i64x2.neg} &\Rightarrow& \I64X2.\VNEG\\ &&|&
+     \text{i64x2.all\_true} &\Rightarrow& \I64X2.\ALLTRUE\\ &&|&
      \text{i64x2.bitmask} &\Rightarrow& \I64X2.\BITMASK\\ &&|&
      \text{i64x2.shl} &\Rightarrow& \I64X2.\VSHL\\ &&|&
      \text{i64x2.shr\_s} &\Rightarrow& \I64X2.\VSHR\K{\_s}\\ &&|&