[spec] Fix v128.loadX_splat in instruction index (#1477)

Author: ictrobot

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

@@ -338,10 +338,10 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
     Instruction(r'\V128.\LOAD\K{16x4\_u}~\memarg', r'\hex{FD}~~\hex{04}', r'[\I32] \to [\V128]', r'valid-load-extend', r'exec-load-extend'),
     Instruction(r'\V128.\LOAD\K{32x2\_s}~\memarg', r'\hex{FD}~~\hex{05}', r'[\I32] \to [\V128]', r'valid-load-extend', r'exec-load-extend'),
     Instruction(r'\V128.\LOAD\K{32x2\_u}~\memarg', r'\hex{FD}~~\hex{06}', r'[\I32] \to [\V128]', r'valid-load-extend', r'exec-load-extend'),
-    Instruction(r'\V128.\LOAD\K{\_splat}~\memarg', r'\hex{FD}~~\hex{07}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
-    Instruction(r'\V128.\LOAD\K{\_splat}~\memarg', r'\hex{FD}~~\hex{08}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
-    Instruction(r'\V128.\LOAD\K{\_splat}~\memarg', r'\hex{FD}~~\hex{09}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
-    Instruction(r'\V128.\LOAD\K{\_splat}~\memarg', r'\hex{FD}~~\hex{0A}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
+    Instruction(r'\V128.\LOAD\K{8\_splat}~\memarg', r'\hex{FD}~~\hex{07}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
+    Instruction(r'\V128.\LOAD\K{16\_splat}~\memarg', r'\hex{FD}~~\hex{08}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
+    Instruction(r'\V128.\LOAD\K{32\_splat}~\memarg', r'\hex{FD}~~\hex{09}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
+    Instruction(r'\V128.\LOAD\K{64\_splat}~\memarg', r'\hex{FD}~~\hex{0A}', r'[\I32] \to [\V128]', r'valid-load-splat', r'exec-load-splat'),
     Instruction(r'\V128.\STORE~\memarg', r'\hex{FD}~~\hex{0B}', r'[\I32~\V128] \to []', r'valid-store', r'exec-store'),
     Instruction(r'\V128.\VCONST~\i128', r'\hex{FD}~~\hex{0C}', r'[] \to [\V128]', r'valid-vconst', r'exec-vconst'),
     Instruction(r'\I8X16.\SHUFFLE~\laneidx^{16}', r'\hex{FD}~~\hex{0D}', r'[\V128~\V128] \to [\V128]', r'valid-vec-shuffle', r'exec-vec-shuffle'),

document/core/appendix/index-instructions.rst

@@ -286,10 +286,10 @@ Instruction                                        Binary Opcode
 :math:`\V128.\LOAD\K{16x4\_u}~\memarg`             :math:`\hex{FD}~~\hex{04}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-extend>`          :ref:`execution <exec-load-extend>`                               
 :math:`\V128.\LOAD\K{32x2\_s}~\memarg`             :math:`\hex{FD}~~\hex{05}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-extend>`          :ref:`execution <exec-load-extend>`                               
 :math:`\V128.\LOAD\K{32x2\_u}~\memarg`             :math:`\hex{FD}~~\hex{06}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-extend>`          :ref:`execution <exec-load-extend>`                               
-:math:`\V128.\LOAD\K{\_splat}~\memarg`             :math:`\hex{FD}~~\hex{07}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
-:math:`\V128.\LOAD\K{\_splat}~\memarg`             :math:`\hex{FD}~~\hex{08}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
-:math:`\V128.\LOAD\K{\_splat}~\memarg`             :math:`\hex{FD}~~\hex{09}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
-:math:`\V128.\LOAD\K{\_splat}~\memarg`             :math:`\hex{FD}~~\hex{0A}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
+:math:`\V128.\LOAD\K{8\_splat}~\memarg`            :math:`\hex{FD}~~\hex{07}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
+:math:`\V128.\LOAD\K{16\_splat}~\memarg`           :math:`\hex{FD}~~\hex{08}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
+:math:`\V128.\LOAD\K{32\_splat}~\memarg`           :math:`\hex{FD}~~\hex{09}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
+:math:`\V128.\LOAD\K{64\_splat}~\memarg`           :math:`\hex{FD}~~\hex{0A}`            :math:`[\I32] \to [\V128]`                     :ref:`validation <valid-load-splat>`           :ref:`execution <exec-load-splat>`                                
 :math:`\V128.\STORE~\memarg`                       :math:`\hex{FD}~~\hex{0B}`            :math:`[\I32~\V128] \to []`                    :ref:`validation <valid-store>`                :ref:`execution <exec-store>`                                     
 :math:`\V128.\VCONST~\i128`                        :math:`\hex{FD}~~\hex{0C}`            :math:`[] \to [\V128]`                         :ref:`validation <valid-vconst>`               :ref:`execution <exec-vconst>`                                    
 :math:`\I8X16.\SHUFFLE~\laneidx^{16}`              :math:`\hex{FD}~~\hex{0D}`            :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <valid-vec-shuffle>`          :ref:`execution <exec-vec-shuffle>`