Check in generated instructions

Author: ngzhian

document/core/appendix/index-instructions.rst

@@ -419,7 +419,7 @@ Instruction                                  Binary Opcode          Type
 :math:`\I32X4.\VMAX\K{\_s}`                  :math:`\hex{FD}~~184`  :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <validation <valid-vbinop>>`                :ref:`execution <execution <exec-vbinop>>`, :ref:`operator <operator <op-imax_s>>`      
 :math:`\I32X4.\VMAX\K{\_u}`                  :math:`\hex{FD}~~185`  :math:`[\V128~\V128] \to [\V128]`              :ref:`validation <validation <valid-vbinop>>`                :ref:`execution <execution <exec-vbinop>>`, :ref:`operator <operator <op-imax_u>>`      
 :math:`\I64X2.\VNEG`                         :math:`\hex{FD}~~193`  :math:`[\V128] \to [\V128]`                    :ref:`validation <validation <valid-vunop>>`                 :ref:`execution <execution <exec-vunop>>`, :ref:`operator <operator <op-ineg>>`         
-:math:`\I64x2.\BITMASK`                      :math:`\hex{FD}~~196`  :math:`[\V128] \to [\I32]`                     :ref:`validation <validation <valid-simd-bitmask>>`          :ref:`execution <execution <exec-simd-bitmask>>`                                        
+:math:`\I64X2.\BITMASK`                      :math:`\hex{FD}~~196`  :math:`[\V128] \to [\I32]`                     :ref:`validation <validation <valid-simd-bitmask>>`          :ref:`execution <execution <exec-simd-bitmask>>`                                        
 :math:`\I64X2.\VSHL`                         :math:`\hex{FD}~~203`  :math:`[\V128~\I32] \to [\V128]`               :ref:`validation <validation <valid-vshiftop>>`              :ref:`execution <execution <exec-vshiftop>>`, :ref:`operator <operator <op-ishl>>`      
 :math:`\I64X2.\VSHR\K{\_s}`                  :math:`\hex{FD}~~204`  :math:`[\V128~\I32] \to [\V128]`               :ref:`validation <validation <valid-vshiftop>>`              :ref:`execution <execution <exec-vshiftop>>`, :ref:`operator <operator <op-ishr_s>>`    
 :math:`\I64X2.\VSHR\K{\_u}`                  :math:`\hex{FD}~~205`  :math:`[\V128~\I32] \to [\V128]`               :ref:`validation <validation <valid-vshiftop>>`              :ref:`execution <execution <exec-vshiftop>>`, :ref:`operator <operator <op-ishr_u>>`