diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst
index 7d20577b12..53279a2a93 100644
--- a/document/core/exec/instructions.rst
+++ b/document/core/exec/instructions.rst
@@ -614,6 +614,385 @@ Memory Instructions
    In practice, the choice depends on the resources available to the :ref:`embedder <embedder>`.
 
 
+.. index:: atomic memory instruction
+   pair: execution; instruction
+   single: abstract syntax; instruction
+.. _exec-instr-atomic-memory:
+
+Atomic Memory Instructions
+~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+.. _exec-atomic-load:
+.. _exec-atomic-loadn:
+
+:math:`t\K{.}\ATOMICLOAD~\memarg` and :math:`t\K{.}\ATOMICLOAD{N}\K{\_u}~\memarg`
+.................................................................................
+
+1. Let :math:`F` be the :ref:`current <exec-notation-textual>` :ref:`frame <syntax-frame>`.
+
+2. Assert: due to :ref:`validation <valid-atomic-loadn>`, :math:`F.\AMODULE.\MIMEMS[0]` exists.
+
+3. Let :math:`a` be the :ref:`memory address <syntax-memaddr>` :math:`F.\AMODULE.\MIMEMS[0]`.
+
+4. Assert: due to :ref:`validation <valid-atomic-loadn>`, :math:`S.\SMEMS[a]` exists.
+
+5. Let :math:`\X{mem}` be the :ref:`memory instance <syntax-meminst>` :math:`S.\SMEMS[a]`.
+
+6. Assert: due to :ref:`validation <valid-atomic-loadn>`, a value :ref:`value type <syntax-valtype>` |I32| is on the top of the stack.
+
+7. Pop the value :math:`\I32.\CONST~i` from the stack.
+
+8. Let :math:`\X{ea}` be :math:`i + \memarg.\OFFSET`.
+
+9. If :math:`N` is not part of the instruction, then:
+
+   a. Let :math:`N` be the :ref:`bit width <syntax-valtype>` :math:`|t|` of :ref:`value type <syntax-valtype>` :math:`t`.
+
+10. If :math:`\X{ea} + N/8` is larger than the length of :math:`\X{mem}.\MIDATA`, then:
+
+    a. Trap.
+
+11. If :math:`\X{ea}` modulo :math:`N/8` is not equal to :math:`0`, then:
+
+    a. Trap.
+
+12. Let :math:`b^\ast` be the byte sequence :math:`\X{mem}.\MIDATA[\X{ea}:N/8]`.
+
+13. Let :math:`c` be the constant for which :math:`\bytes_t(c) = b^\ast`.
+
+14. Push the value :math:`t.\CONST~c` to the stack.
+
+.. math::
+   \begin{array}{l}
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\ATOMICLOAD~\memarg) &\stepto& S; F; (t.\CONST~c)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & \X{ea} + |t|/8 \leq |S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA| \\
+     \wedge & \X{ea} \mod |t|/8 = 0 \\
+     \wedge & \bytes_t(c) = S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA[\X{ea} \slice |t|/8])
+     \end{array}
+   \\[1ex]
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\ATOMICLOAD{N}\K{\_u}~\memarg) &\stepto& S; F; (t.\CONST~c))
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & \X{ea} + N/8 \leq |S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA| \\
+     \wedge & \X{ea} \mod N/8 = 0 \\
+     \wedge & \bytes_{\iN}(c) = S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA[\X{ea} \slice N/8])
+     \end{array}
+   \\[1ex]
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~k)~(t.\ATOMICLOAD({N}\K{\_u})^?~\memarg) &\stepto& S; F; \TRAP
+   \end{array}
+   \\ \qquad
+     (\otherwise) \\
+   \end{array}
+
+
+.. _exec-atomic-store:
+.. _exec-atomic-storen:
+
+:math:`t\K{.}\ATOMICSTORE~\memarg` and :math:`t\K{.}\ATOMICSTORE{N}~\memarg`
+............................................................................
+
+1. Let :math:`F` be the :ref:`current <exec-notation-textual>` :ref:`frame <syntax-frame>`.
+
+2. Assert: due to :ref:`validation <valid-atomic-storen>`, :math:`F.\AMODULE.\MIMEMS[0]` exists.
+
+3. Let :math:`a` be the :ref:`memory address <syntax-memaddr>` :math:`F.\AMODULE.\MIMEMS[0]`.
+
+4. Assert: due to :ref:`validation <valid-atomic-storen>`, :math:`S.\SMEMS[a]` exists.
+
+5. Let :math:`\X{mem}` be the :ref:`memory instance <syntax-meminst>` :math:`S.\SMEMS[a]`.
+
+6. Assert: due to :ref:`validation <valid-atomic-storen>`, a value of :ref:`value type <syntax-valtype>` :math:`t` is on the top of the stack.
+
+7. Pop the value :math:`t.\CONST~c` from the stack.
+
+8. Assert: due to :ref:`validation <valid-atomic-storen>`, a value of :ref:`value type <syntax-valtype>` |I32| is on the top of the stack.
+
+9. Pop the value :math:`\I32.\CONST~i` from the stack.
+
+10. Let :math:`\X{ea}` be :math:`i + \memarg.\OFFSET`.
+
+11. If :math:`N` is not part of the instruction, then:
+
+    a. Let :math:`N` be the :ref:`bit width <syntax-valtype>` :math:`|t|` of :ref:`value type <syntax-valtype>` :math:`t`.
+
+12. If :math:`\X{ea} + N/8` is larger than the length of :math:`\X{mem}.\MIDATA`, then:
+
+    a. Trap.
+
+13. If :math:`\X{ea}` modulo :math:`N/8` is not equal to :math:`0`, then:
+
+    a. Trap.
+
+14. If :math:`N` is part of the instruction, then:
+
+    a. Let :math:`n` be the result of computing :math:`\wrap_{|t|,N}(c)`.
+
+    b. Let :math:`b^\ast` be the byte sequence :math:`\bytes_{\iN}(n)`.
+
+15. Else:
+
+    a. Let :math:`b^\ast` be the byte sequence :math:`\bytes_t(c)`.
+
+16. Replace the bytes :math:`\X{mem}.\MIDATA[\X{ea} \slice N/8]` with :math:`b^\ast`.
+
+.. math::
+   ~\\[-1ex]
+   \begin{array}{l}
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c)~(t.\ATOMICSTORE~\memarg) &\stepto& S'; F; \epsilon
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & \X{ea} + |t|/8 \leq |S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA| \\
+     \wedge & \X{ea} \mod |t|/8 = 0 \\
+     \wedge & S' = S \with \MIMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA[\X{ea} \slice |t|/8] = \bytes_t(c)
+     \end{array}
+   \\[1ex]
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c)~(t.\ATOMICSTORE{N}~\memarg) &\stepto& S'; F; \epsilon
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & \X{ea} + N/8 \leq |S.\SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA| \\
+     \wedge & \X{ea} \mod N/8 = 0 \\
+     \wedge & S' = S \with \SMEMS[F.\AMODULE.\MIMEMS[0]].\MIDATA[\X{ea} \slice N/8] = \bytes_{\iN}(\wrap_{|t|,N}(c))
+     \end{array}
+   \\[1ex]
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~k)~(t.\CONST~c)~(t.\ATOMICSTORE{N}^?~\memarg) &\stepto& S; F; \TRAP
+   \end{array}
+   \\ \qquad
+     (\otherwise) \\
+   \end{array}
+
+
+.. _exec-atomic-rmw:
+.. _exec-atomic-rmwn:
+
+:math:`t\K{.}\ATOMICRMW{.}\atomicop~\memarg` and :math:`t\K{.}\ATOMICRMW{N}\K{\_u.}\atomicop~\memarg`
+.....................................................................................................
+
+1. Let :math:`F` be the :ref:`current <exec-notation-textual>` :ref:`frame <syntax-frame>`.
+
+2. Assert: due to :ref:`validation <valid-atomic-rmwn>`, :math:`F.\AMODULE.\MIMEMS[0]` exists.
+
+3. Let :math:`a` be the :ref:`memory address <syntax-memaddr>` :math:`F.\AMODULE.\MIMEMS[0]`.
+
+4. Assert: due to :ref:`validation <valid-atomic-rmwn>`, :math:`S.\SMEMS[a]` exists.
+
+5. Let :math:`\X{mem}` be the :ref:`memory instance <syntax-meminst>` :math:`S.\SMEMS[a]`.
+
+6. Assert: due to :ref:`validation <valid-atomic-rmwn>`, a value of :ref:`value type <syntax-valtype>` :math:`t` is on the top of the stack.
+
+7. Pop the value :math:`t.\CONST~c_2` from the stack.
+
+8. Assert: due to :ref:`validation <valid-atomic-rmwn>`, a value of :ref:`value type <syntax-valtype>` |I32| is on the top of the stack.
+
+9. Pop the value :math:`\I32.\CONST~i` from the stack.
+
+10. Let :math:`\X{ea}` be :math:`i + \memarg.\OFFSET`.
+
+11. If :math:`N` is not part of the instruction, then:
+
+    a. Let :math:`N` be the :ref:`bit width <syntax-valtype>` :math:`|t|` of :ref:`value type <syntax-valtype>` :math:`t`.
+
+12. If :math:`\X{ea} + N/8` is larger than the length of :math:`\X{mem}.\MIDATA`, then:
+
+    a. Trap.
+
+13. If :math:`\X{ea}` modulo :math:`N/8` is not equal to :math:`0`, then:
+
+    a. Trap.
+
+14. Let :math:`b^\ast_r` be the byte sequence :math:`\X{mem}.\MIDATA[\X{ea} \slice N/8]`.
+
+15. Let :math:`c_1` be the integer for which :math:`bytes_{\iN}(m) = b^\ast_r`.
+
+16. Let :math:`m` be the result of computing :math:`\atomicop_t(c_1, c_2)`.
+
+17. If :math:`N` is part of the instruction, then:
+
+    a. Let :math:`n` be the result of computing :math:`\wrap_{|t|,N}(m)`.
+
+    b. Let :math:`b^\ast_w` be the byte sequence :math:`\bytes_{\iN}(n)`.
+
+18. Else:
+
+    a. Let :math:`b^\ast_w` be the byte sequence :math:`\bytes_t(m)`.
+
+19. Replace the bytes :math:`\X{mem}.\MIDATA[\X{ea} \slice N/8]` with :math:`b^\ast_w`.
+
+20. Push the value :math:`t.\CONST~c_1` to the stack.
+
+.. math::
+   \begin{array}{l}
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\ATOMICRMW.\atomicop~\memarg) &\stepto& S'; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + |t|/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod |t|/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice |t|/8]) \\
+     \wedge & m = \atomicop_t(c_1, c_2) \\
+     \wedge & S' = S \with \SMEMS[a].\MIDATA[\X{ea}:|t|/8] = \bytes_t(m)
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\ATOMICRMW{N}\K{\_u}.\atomicop~\memarg) &\stepto& S'; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + N/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod N/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice N/8]) \\
+     \wedge & m = \atomicop_t(c_1, c_2) \\
+     \wedge & S' = S \with \SMEMS[a].\MIDATA[\X{ea}:N/8] = \bytes_{\iN}(\wrap_{|t|,N}(m))
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~k)~(t.\CONST~c)~(t.\ATOMICRMW({N}\K{\_u})^?.\atomicop~\memarg) &\stepto& S; F; \TRAP
+   \end{array}
+   \\ \qquad
+     (\mbox{otherwise}) \\
+   \end{array}
+
+
+.. _exec-atomic-rmw-cmpxchg:
+.. _exec-atomic-rmwn-cmpxchg:
+
+:math:`t\K{.}\ATOMICRMW{.}\ATOMICCMPXCHG~\memarg` and :math:`t\K{.}\ATOMICRMW{N}\K{\_u.}\ATOMICCMPXCHG~\memarg`
+...............................................................................................................
+
+1. Let :math:`F` be the :ref:`current <exec-notation-textual>` :ref:`frame <syntax-frame>`.
+
+2. Assert: due to :ref:`validation <valid-atomic-rmwn-cmpxchg>`, :math:`F.\AMODULE.\MIMEMS[0]` exists.
+
+3. Let :math:`a` be the :ref:`memory address <syntax-memaddr>` :math:`F.\AMODULE.\MIMEMS[0]`.
+
+4. Assert: due to :ref:`validation <valid-atomic-rmwn-cmpxchg>`, :math:`S.\SMEMS[a]` exists.
+
+5. Let :math:`\X{mem}` be the :ref:`memory instance <syntax-meminst>` :math:`S.\SMEMS[a]`.
+
+6. Assert: due to :ref:`validation <valid-atomic-rmwn-cmpxchg>`, a value of :ref:`value type <syntax-valtype>` :math:`t` is on the top of the stack.
+
+7. Pop the value :math:`t.\CONST~c_3` from the stack.
+
+8. Assert: due to :ref:`validation <valid-atomic-rmwn-cmpxchg>`, a value of :ref:`value type <syntax-valtype>` :math:`t` is on the top of the stack.
+
+9. Pop the value :math:`t.\CONST~c_2` from the stack.
+
+10. Assert: due to :ref:`validation <valid-atomic-rmwn-cmpxchg>`, a value of :ref:`value type <syntax-valtype>` |I32| is on the top of the stack.
+
+11. Pop the value :math:`\I32.\CONST~i` from the stack.
+
+12. Let :math:`\X{ea}` be :math:`i + \memarg.\OFFSET`.
+
+13. If :math:`N` is not part of the instruction, then:
+
+    a. Let :math:`N` be the :ref:`bit width <syntax-valtype>` :math:`|t|` of :ref:`value type <syntax-valtype>` :math:`t`.
+
+14. If :math:`\X{ea} + N/8` is larger than the length of :math:`\X{mem}.\MIDATA`, then:
+
+    a. Trap.
+
+15. If :math:`\X{ea}` modulo :math:`N/8` is not equal to :math:`0`, then:
+
+    a. Trap.
+
+16. Let :math:`b^\ast_r` be the byte sequence :math:`\X{mem}.\MIDATA[\X{ea} \slice N/8]`.
+
+17. Let :math:`c_1` be the integer for which :math:`bytes_{\iN}(m) = b^\ast_r`.
+
+18. If :math:`N` is part of the instruction, then:
+
+    a. Let :math:`n` be the result of computing :math:`\wrap_{|t|,N}(c_3)`.
+
+    b. Let :math:`b^\ast_w` be the byte sequence :math:`\bytes_{\iN}(n)`.
+
+19. Else:
+
+    a. Let :math:`b^\ast_w` be the byte sequence :math:`\bytes_t(c_3)`.
+
+20. If :math:`c_1 = c_2`, then:
+
+    a. Replace the bytes :math:`\X{mem}.\MIDATA[\X{ea} \slice N/8]` with :math:`b^\ast_w`.
+
+21. Push the value :math:`t.\CONST~c_1` to the stack.
+
+.. math::
+   \begin{array}{l}
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\CONST~c_3)~(t.\ATOMICRMW.\ATOMICCMPXCHG~\memarg) &\stepto& S'; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + |t|/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod |t|/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice |t|/8]) \\
+     \wedge & c_1 = c_2 \\
+     \wedge & S' = S \with \SMEMS[a].\MIDATA[\X{ea}:|t|/8] = \bytes_t(c_3)
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\CONST~c_3)~(t.\ATOMICRMW.\ATOMICCMPXCHG~\memarg) &\stepto& S; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + |t|/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod |t|/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice |t|/8]) \\
+     \wedge & c_1 \ne c_2 \\
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\CONST~c_3)~(t.\ATOMICRMW{N}\K{\_u.}\ATOMICCMPXCHG~\memarg) &\stepto& S'; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + N/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod N/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice N/8]) \\
+     \wedge & c_1 = c_2 \\
+     \wedge & S' = S \with \SMEMS[a].\MIDATA[\X{ea}:N/8] = \bytes_{\iN}(\wrap_{|t|,N}(c_3))
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~i)~(t.\CONST~c_2)~(t.\CONST~c_3)~(t.\ATOMICRMW{N}\K{\_u.}\ATOMICCMPXCHG~\memarg) &\stepto& S; F; (t.\CONST~c_1)
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}}
+     (\mbox{if} & \X{ea} = i + \memarg.\OFFSET \\
+     \wedge & F.\AMODULE.\MIMEMS[0] = a \\
+     \wedge & \X{ea} + N/8 \leq |S.\SMEMS[a].\MIDATA| \\
+     \wedge & \X{ea} \mod N/8 = 0 \\
+     \wedge & \bytes_t(c_1) = S.\SMEMS[a].\MIDATA[\X{ea} \slice N/8]) \\
+     \wedge & c_1 \ne c_2 \\
+     \end{array} \\
+   \begin{array}{lcl@{\qquad}l}
+   S; F; (\I32.\CONST~k)~(t.\CONST~c)~(t.\CONST~c_3)~(t.\ATOMICRMW({N}\K{\_u})^?.\ATOMICCMPXCHG~\memarg) &\stepto& S; F; \TRAP
+   \end{array}
+   \\ \qquad
+     (\mbox{otherwise}) \\
+   \end{array}
+
+
 .. index:: control instructions, structured control, label, block, branch, result type, label index, function index, type index, vector, address, table address, table instance, store, frame
    pair: execution; instruction
    single: abstract syntax; instruction
diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst
index 4eb005103d..972521d3a1 100644
--- a/document/core/exec/numerics.rst
+++ b/document/core/exec/numerics.rst
@@ -623,6 +623,19 @@ The integer result of predicates -- i.e., :ref:`tests <syntax-testop>` and :ref:
    \end{array}
 
 
+.. _op-ixchg:
+
+:math:`\ixchg_N(i_1, i_2)`
+..........................
+
+* Return :math:`i_2` modulo :math:`2^N`.
+
+.. math::
+   \begin{array}{@{}lcll}
+   \ixchg_N(i_1, i_2) &=& i_2 \mod 2^N
+   \end{array}
+
+
 .. index:: floating-point, IEEE 754
 
 Floating-Point Operations
diff --git a/document/core/syntax/instrindex.rst b/document/core/syntax/instrindex.rst
index 6f3e043e5a..8d855830ac 100644
--- a/document/core/syntax/instrindex.rst
+++ b/document/core/syntax/instrindex.rst
@@ -3,14 +3,14 @@
 Index of Instructions
 ---------------------
 
-=======================================================  =========================  ==========================================  ========================================  ===============================================================
-Instruction                                              Opcode                     Type                                        Validation                                Execution
-=======================================================  =========================  ==========================================  ========================================  ===============================================================
-:math:`\UNREACHABLE`                                     :math:`\hex{00}`           :math:`[t_1^\ast] \to [t_2^\ast]`           :ref:`validation <valid-unreachable>`     :ref:`execution <exec-unreachable>`
-:math:`\NOP`                                             :math:`\hex{01}`           :math:`[] \to []`                           :ref:`validation <valid-nop>`             :ref:`execution <exec-nop>`
-:math:`\BLOCK~[t^?]`                                     :math:`\hex{02}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-block>`           :ref:`execution <exec-block>`
-:math:`\LOOP~[t^?]`                                      :math:`\hex{03}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-loop>`            :ref:`execution <exec-loop>`
-:math:`\IF~[t^?]`                                        :math:`\hex{04}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-if>`              :ref:`execution <exec-if>`
+=======================================================  =========================  ==========================================  =============================================  ===============================================================
+Instruction                                              Opcode                     Type                                        Validation                                     Execution
+=======================================================  =========================  ==========================================  =============================================  ===============================================================
+:math:`\UNREACHABLE`                                     :math:`\hex{00}`           :math:`[t_1^\ast] \to [t_2^\ast]`           :ref:`validation <valid-unreachable>`          :ref:`execution <exec-unreachable>`
+:math:`\NOP`                                             :math:`\hex{01}`           :math:`[] \to []`                           :ref:`validation <valid-nop>`                  :ref:`execution <exec-nop>`
+:math:`\BLOCK~[t^?]`                                     :math:`\hex{02}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-block>`                :ref:`execution <exec-block>`
+:math:`\LOOP~[t^?]`                                      :math:`\hex{03}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-loop>`                 :ref:`execution <exec-loop>`
+:math:`\IF~[t^?]`                                        :math:`\hex{04}`           :math:`[] \to [t^\ast]`                     :ref:`validation <valid-if>`                   :ref:`execution <exec-if>`
 :math:`\ELSE`                                            :math:`\hex{05}`
 (reserved)                                               :math:`\hex{06}`
 (reserved)                                               :math:`\hex{07}`
@@ -18,12 +18,12 @@ Instruction                                              Opcode
 (reserved)                                               :math:`\hex{09}`
 (reserved)                                               :math:`\hex{0A}`
 :math:`\END`                                             :math:`\hex{0B}`
-:math:`\BR~l`                                            :math:`\hex{0C}`           :math:`[t_1^\ast~t^?] \to [t_2^\ast]`       :ref:`validation <valid-br>`              :ref:`execution <exec-br>`
-:math:`\BRIF~l`                                          :math:`\hex{0D}`           :math:`[t^?~\I32] \to [t^?]`                :ref:`validation <valid-br_if>`           :ref:`execution <exec-br_if>`
-:math:`\BRTABLE~l^\ast~l`                                :math:`\hex{0E}`           :math:`[t_1^\ast~t^?~\I32] \to [t_2^\ast]`  :ref:`validation <valid-br_table>`        :ref:`execution <exec-br_table>`
-:math:`\RETURN`                                          :math:`\hex{0F}`           :math:`[t_1^\ast~t^?] \to [t_2^\ast]`       :ref:`validation <valid-return>`          :ref:`execution <exec-return>`
-:math:`\CALL~x`                                          :math:`\hex{10}`           :math:`[t_1^\ast] \to [t_2^\ast]`           :ref:`validation <valid-call>`            :ref:`execution <exec-call>`
-:math:`\CALLINDIRECT~x`                                  :math:`\hex{11}`           :math:`[t_1^\ast~\I32] \to [t_2^\ast]`      :ref:`validation <valid-call_indirect>`   :ref:`execution <exec-call_indirect>`
+:math:`\BR~l`                                            :math:`\hex{0C}`           :math:`[t_1^\ast~t^?] \to [t_2^\ast]`       :ref:`validation <valid-br>`                   :ref:`execution <exec-br>`
+:math:`\BRIF~l`                                          :math:`\hex{0D}`           :math:`[t^?~\I32] \to [t^?]`                :ref:`validation <valid-br_if>`                :ref:`execution <exec-br_if>`
+:math:`\BRTABLE~l^\ast~l`                                :math:`\hex{0E}`           :math:`[t_1^\ast~t^?~\I32] \to [t_2^\ast]`  :ref:`validation <valid-br_table>`             :ref:`execution <exec-br_table>`
+:math:`\RETURN`                                          :math:`\hex{0F}`           :math:`[t_1^\ast~t^?] \to [t_2^\ast]`       :ref:`validation <valid-return>`               :ref:`execution <exec-return>`
+:math:`\CALL~x`                                          :math:`\hex{10}`           :math:`[t_1^\ast] \to [t_2^\ast]`           :ref:`validation <valid-call>`                 :ref:`execution <exec-call>`
+:math:`\CALLINDIRECT~x`                                  :math:`\hex{11}`           :math:`[t_1^\ast~\I32] \to [t_2^\ast]`      :ref:`validation <valid-call_indirect>`        :ref:`execution <exec-call_indirect>`
 (reserved)                                               :math:`\hex{12}`
 (reserved)                                               :math:`\hex{13}`
 (reserved)                                               :math:`\hex{14}`
@@ -32,238 +32,238 @@ Instruction                                              Opcode
 (reserved)                                               :math:`\hex{17}`
 (reserved)                                               :math:`\hex{18}`
 (reserved)                                               :math:`\hex{19}`
-:math:`\DROP`                                            :math:`\hex{1A}`           :math:`[t] \to []`                          :ref:`validation <valid-drop>`            :ref:`execution <exec-drop>`
-:math:`\SELECT`                                          :math:`\hex{1B}`           :math:`[t~t~\I32] \to [t]`                  :ref:`validation <valid-select>`          :ref:`execution <exec-select>`
+:math:`\DROP`                                            :math:`\hex{1A}`           :math:`[t] \to []`                          :ref:`validation <valid-drop>`                 :ref:`execution <exec-drop>`
+:math:`\SELECT`                                          :math:`\hex{1B}`           :math:`[t~t~\I32] \to [t]`                  :ref:`validation <valid-select>`               :ref:`execution <exec-select>`
 (reserved)                                               :math:`\hex{1C}`
 (reserved)                                               :math:`\hex{1D}`
 (reserved)                                               :math:`\hex{1E}`
 (reserved)                                               :math:`\hex{1F}`
-:math:`\GETLOCAL~x`                                      :math:`\hex{20}`           :math:`[] \to [t]`                          :ref:`validation <valid-get_local>`       :ref:`execution <exec-get_local>`
-:math:`\SETLOCAL~x`                                      :math:`\hex{21}`           :math:`[t] \to []`                          :ref:`validation <valid-set_local>`       :ref:`execution <exec-set_local>`
-:math:`\TEELOCAL~x`                                      :math:`\hex{22}`           :math:`[t] \to [t]`                         :ref:`validation <valid-tee_local>`       :ref:`execution <exec-tee_local>`
-:math:`\GETGLOBAL~x`                                     :math:`\hex{23}`           :math:`[] \to [t]`                          :ref:`validation <valid-get_global>`      :ref:`execution <exec-get_global>`
-:math:`\SETGLOBAL~x`                                     :math:`\hex{24}`           :math:`[t] \to []`                          :ref:`validation <valid-set_global>`      :ref:`execution <exec-set_global>`
+:math:`\GETLOCAL~x`                                      :math:`\hex{20}`           :math:`[] \to [t]`                          :ref:`validation <valid-get_local>`            :ref:`execution <exec-get_local>`
+:math:`\SETLOCAL~x`                                      :math:`\hex{21}`           :math:`[t] \to []`                          :ref:`validation <valid-set_local>`            :ref:`execution <exec-set_local>`
+:math:`\TEELOCAL~x`                                      :math:`\hex{22}`           :math:`[t] \to [t]`                         :ref:`validation <valid-tee_local>`            :ref:`execution <exec-tee_local>`
+:math:`\GETGLOBAL~x`                                     :math:`\hex{23}`           :math:`[] \to [t]`                          :ref:`validation <valid-get_global>`           :ref:`execution <exec-get_global>`
+:math:`\SETGLOBAL~x`                                     :math:`\hex{24}`           :math:`[t] \to []`                          :ref:`validation <valid-set_global>`           :ref:`execution <exec-set_global>`
 (reserved)                                               :math:`\hex{25}`
 (reserved)                                               :math:`\hex{26}`
 (reserved)                                               :math:`\hex{27}`
-:math:`\I32.\LOAD~\memarg`                               :math:`\hex{28}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-load>`            :ref:`execution <exec-load>`
-:math:`\I64.\LOAD~\memarg`                               :math:`\hex{29}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-load>`            :ref:`execution <exec-load>`
-:math:`\F32.\LOAD~\memarg`                               :math:`\hex{2A}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-load>`            :ref:`execution <exec-load>`
-:math:`\F64.\LOAD~\memarg`                               :math:`\hex{2B}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-load>`            :ref:`execution <exec-load>`
-:math:`\I32.\LOAD\K{8\_s}~\memarg`                       :math:`\hex{2C}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I32.\LOAD\K{8\_u}~\memarg`                       :math:`\hex{2D}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I32.\LOAD\K{16\_s}~\memarg`                      :math:`\hex{2E}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I32.\LOAD\K{16\_u}~\memarg`                      :math:`\hex{2F}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{8\_s}~\memarg`                       :math:`\hex{30}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{8\_u}~\memarg`                       :math:`\hex{31}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{16\_s}~\memarg`                      :math:`\hex{32}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{16\_u}~\memarg`                      :math:`\hex{33}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{32\_s}~\memarg`                      :math:`\hex{34}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I64.\LOAD\K{32\_u}~\memarg`                      :math:`\hex{35}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`           :ref:`execution <exec-loadn>`
-:math:`\I32.\STORE~\memarg`                              :math:`\hex{36}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-store>`           :ref:`execution <exec-store>`
-:math:`\I64.\STORE~\memarg`                              :math:`\hex{37}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-store>`           :ref:`execution <exec-store>`
-:math:`\F32.\STORE~\memarg`                              :math:`\hex{38}`           :math:`[\I32~\F32] \to []`                  :ref:`validation <valid-store>`           :ref:`execution <exec-store>`
-:math:`\F64.\STORE~\memarg`                              :math:`\hex{39}`           :math:`[\I32~\F64] \to []`                  :ref:`validation <valid-store>`           :ref:`execution <exec-store>`
-:math:`\I32.\STORE\K{8}~\memarg`                         :math:`\hex{3A}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-storen>`          :ref:`execution <exec-storen>`
-:math:`\I32.\STORE\K{16}~\memarg`                        :math:`\hex{3B}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-storen>`          :ref:`execution <exec-storen>`
-:math:`\I64.\STORE\K{8}~\memarg`                         :math:`\hex{3C}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`          :ref:`execution <exec-storen>`
-:math:`\I64.\STORE\K{16}~\memarg`                        :math:`\hex{3D}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`          :ref:`execution <exec-storen>`
-:math:`\I64.\STORE\K{32}~\memarg`                        :math:`\hex{3E}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`          :ref:`execution <exec-storen>`
-:math:`\CURRENTMEMORY`                                   :math:`\hex{3F}`           :math:`[] \to [\I32]`                       :ref:`validation <valid-current_memory>`  :ref:`execution <exec-current_memory>`
-:math:`\GROWMEMORY`                                      :math:`\hex{40}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-grow_memory>`     :ref:`execution <exec-grow_memory>`
-:math:`\I32.\CONST~\i32`                                 :math:`\hex{41}`           :math:`[] \to [\I32]`                       :ref:`validation <valid-const>`           :ref:`execution <exec-const>`
-:math:`\I64.\CONST~\i64`                                 :math:`\hex{42}`           :math:`[] \to [\I64]`                       :ref:`validation <valid-const>`           :ref:`execution <exec-const>`
-:math:`\F32.\CONST~\f32`                                 :math:`\hex{43}`           :math:`[] \to [\F32]`                       :ref:`validation <valid-const>`           :ref:`execution <exec-const>`
-:math:`\F64.\CONST~\f64`                                 :math:`\hex{44}`           :math:`[] \to [\F64]`                       :ref:`validation <valid-const>`           :ref:`execution <exec-const>`
-:math:`\I32.\EQZ`                                        :math:`\hex{45}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-testop>`          :ref:`execution <exec-testop>`, :ref:`operator <op-ieqz>`
-:math:`\I32.\EQ`                                         :math:`\hex{46}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ieq>`
-:math:`\I32.\NE`                                         :math:`\hex{47}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ine>`
-:math:`\I32.\LT\K{\_s}`                                  :math:`\hex{48}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_s>`
-:math:`\I32.\LT\K{\_u}`                                  :math:`\hex{49}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_u>`
-:math:`\I32.\GT\K{\_s}`                                  :math:`\hex{4A}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-igt_s>`
-:math:`\I32.\GT\K{\_u}`                                  :math:`\hex{4B}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-igt_u>`
-:math:`\I32.\LE\K{\_s}`                                  :math:`\hex{4C}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ile_s>`
-:math:`\I32.\LE\K{\_u}`                                  :math:`\hex{4D}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ile_u>`
-:math:`\I32.\GE\K{\_s}`                                  :math:`\hex{4E}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ige_s>`
-:math:`\I32.\GE\K{\_u}`                                  :math:`\hex{4F}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ige_u>`
-:math:`\I64.\EQZ`                                        :math:`\hex{50}`           :math:`[\I64] \to [\I32]`                   :ref:`validation <valid-testop>`          :ref:`execution <exec-testop>`, :ref:`operator <op-ieqz>`
-:math:`\I64.\EQ`                                         :math:`\hex{51}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ieq>`
-:math:`\I64.\NE`                                         :math:`\hex{52}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ine>`
-:math:`\I64.\LT\K{\_s}`                                  :math:`\hex{53}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_s>`
-:math:`\I64.\LT\K{\_u}`                                  :math:`\hex{54}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_u>`
-:math:`\I64.\GT\K{\_s}`                                  :math:`\hex{55}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-igt_s>`
-:math:`\I64.\GT\K{\_u}`                                  :math:`\hex{56}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-igt_u>`
-:math:`\I64.\LE\K{\_s}`                                  :math:`\hex{57}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ile_s>`
-:math:`\I64.\LE\K{\_u}`                                  :math:`\hex{58}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ile_u>`
-:math:`\I64.\GE\K{\_s}`                                  :math:`\hex{59}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ige_s>`
-:math:`\I64.\GE\K{\_u}`                                  :math:`\hex{5A}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-ige_u>`
-:math:`\F32.\EQ`                                         :math:`\hex{5B}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-feq>`
-:math:`\F32.\NE`                                         :math:`\hex{5C}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fne>`
-:math:`\F32.\LT`                                         :math:`\hex{5D}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-flt>`
-:math:`\F32.\GT`                                         :math:`\hex{5E}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fgt>`
-:math:`\F32.\LE`                                         :math:`\hex{5F}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fle>`
-:math:`\F32.\GE`                                         :math:`\hex{60}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fge>`
-:math:`\F64.\EQ`                                         :math:`\hex{61}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-feq>`
-:math:`\F64.\NE`                                         :math:`\hex{62}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fne>`
-:math:`\F64.\LT`                                         :math:`\hex{63}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-flt>`
-:math:`\F64.\GT`                                         :math:`\hex{64}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fgt>`
-:math:`\F64.\LE`                                         :math:`\hex{65}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fle>`
-:math:`\F64.\GE`                                         :math:`\hex{66}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`           :ref:`execution <exec-relop>`, :ref:`operator <op-fge>`
-:math:`\I32.\CLZ`                                        :math:`\hex{67}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iclz>`
-:math:`\I32.\CTZ`                                        :math:`\hex{68}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ictz>`
-:math:`\I32.\POPCNT`                                     :math:`\hex{69}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ipopcnt>`
-:math:`\I32.\ADD`                                        :math:`\hex{6A}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-iadd>`
-:math:`\I32.\SUB`                                        :math:`\hex{6B}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-isub>`
-:math:`\I32.\MUL`                                        :math:`\hex{6C}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-imul>`
-:math:`\I32.\DIV\K{\_s}`                                 :math:`\hex{6D}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_s>`
-:math:`\I32.\DIV\K{\_u}`                                 :math:`\hex{6E}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_u>`
-:math:`\I32.\REM\K{\_s}`                                 :math:`\hex{6F}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irem_s>`
-:math:`\I32.\REM\K{\_u}`                                 :math:`\hex{70}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irem_u>`
-:math:`\I32.\AND`                                        :math:`\hex{71}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-iand>`
-:math:`\I32.\OR`                                         :math:`\hex{72}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ior>`
-:math:`\I32.\XOR`                                        :math:`\hex{73}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ixor>`
-:math:`\I32.\SHL`                                        :math:`\hex{74}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishl>`
-:math:`\I32.\SHR\K{\_s}`                                 :math:`\hex{75}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_s>`
-:math:`\I32.\SHR\K{\_u}`                                 :math:`\hex{76}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_u>`
-:math:`\I32.\ROTL`                                       :math:`\hex{77}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irotl>`
-:math:`\I32.\ROTR`                                       :math:`\hex{78}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irotr>`
-:math:`\I64.\CLZ`                                        :math:`\hex{79}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iclz>`
-:math:`\I64.\CTZ`                                        :math:`\hex{7A}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ictz>`
-:math:`\I64.\POPCNT`                                     :math:`\hex{7B}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ipopcnt>`
-:math:`\I64.\ADD`                                        :math:`\hex{7C}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-iadd>`
-:math:`\I64.\SUB`                                        :math:`\hex{7D}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-isub>`
-:math:`\I64.\MUL`                                        :math:`\hex{7E}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-imul>`
-:math:`\I64.\DIV\K{\_s}`                                 :math:`\hex{7F}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_s>`
-:math:`\I64.\DIV\K{\_u}`                                 :math:`\hex{80}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_u>`
-:math:`\I64.\REM\K{\_s}`                                 :math:`\hex{81}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irem_s>`
-:math:`\I64.\REM\K{\_u}`                                 :math:`\hex{82}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irem_u>`
-:math:`\I64.\AND`                                        :math:`\hex{83}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-iand>`
-:math:`\I64.\OR`                                         :math:`\hex{84}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ior>`
-:math:`\I64.\XOR`                                        :math:`\hex{85}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ixor>`
-:math:`\I64.\SHL`                                        :math:`\hex{86}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishl>`
-:math:`\I64.\SHR\K{\_s}`                                 :math:`\hex{87}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_s>`
-:math:`\I64.\SHR\K{\_u}`                                 :math:`\hex{88}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_u>`
-:math:`\I64.\ROTL`                                       :math:`\hex{89}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irotl>`
-:math:`\I64.\ROTR`                                       :math:`\hex{8A}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-irotr>`
-:math:`\F32.\ABS`                                        :math:`\hex{8B}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fabs>`
-:math:`\F32.\NEG`                                        :math:`\hex{8C}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fneg>`
-:math:`\F32.\CEIL`                                       :math:`\hex{8D}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fceil>`
-:math:`\F32.\FLOOR`                                      :math:`\hex{8E}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ffloor>`
-:math:`\F32.\TRUNC`                                      :math:`\hex{8F}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ftrunc>`
-:math:`\F32.\NEAREST`                                    :math:`\hex{90}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fnearest>`
-:math:`\F32.\SQRT`                                       :math:`\hex{91}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fsqrt>`
-:math:`\F32.\ADD`                                        :math:`\hex{92}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fadd>`
-:math:`\F32.\SUB`                                        :math:`\hex{93}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fsub>`
-:math:`\F32.\MUL`                                        :math:`\hex{94}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmul>`
-:math:`\F32.\DIV`                                        :math:`\hex{95}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fdiv>`
-:math:`\F32.\FMIN`                                       :math:`\hex{96}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmin>`
-:math:`\F32.\FMAX`                                       :math:`\hex{97}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmax>`
-:math:`\F32.\COPYSIGN`                                   :math:`\hex{98}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fcopysign>`
-:math:`\F64.\ABS`                                        :math:`\hex{99}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fabs>`
-:math:`\F64.\NEG`                                        :math:`\hex{9A}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fneg>`
-:math:`\F64.\CEIL`                                       :math:`\hex{9B}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fceil>`
-:math:`\F64.\FLOOR`                                      :math:`\hex{9C}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ffloor>`
-:math:`\F64.\TRUNC`                                      :math:`\hex{9D}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-ftrunc>`
-:math:`\F64.\NEAREST`                                    :math:`\hex{9E}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fnearest>`
-:math:`\F64.\SQRT`                                       :math:`\hex{9F}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-fsqrt>`
-:math:`\F64.\ADD`                                        :math:`\hex{A0}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fadd>`
-:math:`\F64.\SUB`                                        :math:`\hex{A1}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fsub>`
-:math:`\F64.\MUL`                                        :math:`\hex{A2}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmul>`
-:math:`\F64.\DIV`                                        :math:`\hex{A3}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fdiv>`
-:math:`\F64.\FMIN`                                       :math:`\hex{A4}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmin>`
-:math:`\F64.\FMAX`                                       :math:`\hex{A5}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fmax>`
-:math:`\F64.\COPYSIGN`                                   :math:`\hex{A6}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`           :ref:`execution <exec-binop>`, :ref:`operator <op-fcopysign>`
-:math:`\I32.\WRAP\K{/}\I64`                              :math:`\hex{A7}`           :math:`[\I64] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-wrap>`
-:math:`\I32.\TRUNC\K{\_s/}\F32`                          :math:`\hex{A8}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
-:math:`\I32.\TRUNC\K{\_u/}\F32`                          :math:`\hex{A9}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
-:math:`\I32.\TRUNC\K{\_s/}\F64`                          :math:`\hex{AA}`           :math:`[\F64] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
-:math:`\I32.\TRUNC\K{\_u/}\F64`                          :math:`\hex{AB}`           :math:`[\F64] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
-:math:`\I64.\EXTEND\K{\_s/}\I32`                         :math:`\hex{AC}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-extend_s>`
-:math:`\I64.\EXTEND\K{\_u/}\I32`                         :math:`\hex{AD}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-extend_u>`
-:math:`\I64.\TRUNC\K{\_s/}\F32`                          :math:`\hex{AE}`           :math:`[\F32] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
-:math:`\I64.\TRUNC\K{\_u/}\F32`                          :math:`\hex{AF}`           :math:`[\F32] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
-:math:`\I64.\TRUNC\K{\_s/}\F64`                          :math:`\hex{B0}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
-:math:`\I64.\TRUNC\K{\_u/}\F64`                          :math:`\hex{B1}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
-:math:`\F32.\CONVERT\K{\_s/}\I32`                        :math:`\hex{B2}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
-:math:`\F32.\CONVERT\K{\_u/}\I32`                        :math:`\hex{B3}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
-:math:`\F32.\CONVERT\K{\_s/}\I64`                        :math:`\hex{B4}`           :math:`[\I64] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
-:math:`\F32.\CONVERT\K{\_u/}\I64`                        :math:`\hex{B5}`           :math:`[\I64] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
-:math:`\F32.\DEMOTE\K{/}\F64`                            :math:`\hex{B6}`           :math:`[\F64] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-demote>`
-:math:`\F64.\CONVERT\K{\_s/}\I32`                        :math:`\hex{B7}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
-:math:`\F64.\CONVERT\K{\_u/}\I32`                        :math:`\hex{B8}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
-:math:`\F64.\CONVERT\K{\_s/}\I64`                        :math:`\hex{B9}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
-:math:`\F64.\CONVERT\K{\_u/}\I64`                        :math:`\hex{BA}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
-:math:`\F64.\PROMOTE\K{/}\F32`                           :math:`\hex{BB}`           :math:`[\F32] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-promote>`
-:math:`\I32.\REINTERPRET\K{/}\F32`                       :math:`\hex{BC}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
-:math:`\I64.\REINTERPRET\K{/}\F64`                       :math:`\hex{BD}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
-:math:`\F32.\REINTERPRET\K{/}\I32`                       :math:`\hex{BE}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
-:math:`\F64.\REINTERPRET\K{/}\I64`                       :math:`\hex{BF}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`           :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
-:math:`\I32.\EXTEND\K{8\_s}`                             :math:`\hex{C0}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
-:math:`\I32.\EXTEND\K{16\_s}`                            :math:`\hex{C1}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
-:math:`\I64.\EXTEND\K{8\_s}`                             :math:`\hex{C2}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
-:math:`\I64.\EXTEND\K{16\_s}`                            :math:`\hex{C3}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
-:math:`\I64.\EXTEND\K{32\_s}`                            :math:`\hex{C4}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`            :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
-:math:`\I32.\ATOMICLOAD~\memarg`                         :math:`\hex{FE}~\hex{10}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-load>`
-:math:`\I64.\ATOMICLOAD~\memarg`                         :math:`\hex{FE}~\hex{11}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-load>`
-:math:`\I32.\ATOMICLOAD\K{8\_u}~\memarg`                 :math:`\hex{FE}~\hex{12}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-loadn>`
-:math:`\I32.\ATOMICLOAD\K{16\_u}~\memarg`                :math:`\hex{FE}~\hex{13}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-loadn>`
-:math:`\I64.\ATOMICLOAD\K{8\_u}~\memarg`                 :math:`\hex{FE}~\hex{14}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`
-:math:`\I64.\ATOMICLOAD\K{16\_u}~\memarg`                :math:`\hex{FE}~\hex{15}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`
-:math:`\I64.\ATOMICLOAD\K{32\_u}~\memarg`                :math:`\hex{FE}~\hex{16}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`
-:math:`\I32.\ATOMICSTORE~\memarg`                        :math:`\hex{FE}~\hex{17}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-store>`
-:math:`\I64.\ATOMICSTORE~\memarg`                        :math:`\hex{FE}~\hex{18}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-store>`
-:math:`\I32.\ATOMICSTORE\K{8\_u}~\memarg`                :math:`\hex{FE}~\hex{19}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-storen>`
-:math:`\I32.\ATOMICSTORE\K{16\_u}~\memarg`               :math:`\hex{FE}~\hex{1A}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-storen>`
-:math:`\I64.\ATOMICSTORE\K{8\_u}~\memarg`                :math:`\hex{FE}~\hex{1B}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`
-:math:`\I64.\ATOMICSTORE\K{16\_u}~\memarg`               :math:`\hex{FE}~\hex{1C}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`
-:math:`\I64.\ATOMICSTORE\K{32\_u}~\memarg`               :math:`\hex{FE}~\hex{1D}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`
-:math:`\I32.\ATOMICRMW.\ATOMICADD~\memarg`               :math:`\hex{FE}~\hex{1E}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICADD~\memarg`               :math:`\hex{FE}~\hex{1F}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICADD~\memarg`       :math:`\hex{FE}~\hex{20}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{21}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICADD~\memarg`       :math:`\hex{FE}~\hex{22}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{23}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{24}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICSUB~\memarg`               :math:`\hex{FE}~\hex{25}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICSUB~\memarg`               :math:`\hex{FE}~\hex{26}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICSUB~\memarg`       :math:`\hex{FE}~\hex{27}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{28}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICSUB~\memarg`       :math:`\hex{FE}~\hex{29}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{2A}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{2B}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICAND~\memarg`               :math:`\hex{FE}~\hex{2C}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICAND~\memarg`               :math:`\hex{FE}~\hex{2D}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICAND~\memarg`       :math:`\hex{FE}~\hex{2E}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{2F}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICAND~\memarg`       :math:`\hex{FE}~\hex{30}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{31}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{32}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICOR~\memarg`                :math:`\hex{FE}~\hex{33}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICOR~\memarg`                :math:`\hex{FE}~\hex{34}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICOR~\memarg`        :math:`\hex{FE}~\hex{35}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{36}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICOR~\memarg`        :math:`\hex{FE}~\hex{37}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{38}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{39}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICXOR~\memarg`               :math:`\hex{FE}~\hex{3A}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICXOR~\memarg`               :math:`\hex{FE}~\hex{3B}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICXOR~\memarg`       :math:`\hex{FE}~\hex{3C}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{3D}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICXOR~\memarg`       :math:`\hex{FE}~\hex{3E}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{3F}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{40}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICXCHG~\memarg`              :math:`\hex{FE}~\hex{41}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICXCHG~\memarg`              :math:`\hex{FE}~\hex{42}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICXCHG~\memarg`      :math:`\hex{FE}~\hex{43}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{44}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICXCHG~\memarg`      :math:`\hex{FE}~\hex{45}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{46}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{47}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW.\ATOMICCMPXCHG~\memarg`           :math:`\hex{FE}~\hex{48}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmw>`
-:math:`\I64.\ATOMICRMW.\ATOMICCMPXCHG~\memarg`           :math:`\hex{FE}~\hex{49}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmw>`
-:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICCMPXCHG~\memarg`   :math:`\hex{FE}~\hex{4A}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmwn>`
-:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4B}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICCMPXCHG~\memarg`   :math:`\hex{FE}~\hex{4C}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4D}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn>`
-:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4E}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn>`
-=======================================================  =========================  ==========================================  ========================================  ===============================================================
+:math:`\I32.\LOAD~\memarg`                               :math:`\hex{28}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-load>`                 :ref:`execution <exec-load>`
+:math:`\I64.\LOAD~\memarg`                               :math:`\hex{29}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-load>`                 :ref:`execution <exec-load>`
+:math:`\F32.\LOAD~\memarg`                               :math:`\hex{2A}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-load>`                 :ref:`execution <exec-load>`
+:math:`\F64.\LOAD~\memarg`                               :math:`\hex{2B}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-load>`                 :ref:`execution <exec-load>`
+:math:`\I32.\LOAD\K{8\_s}~\memarg`                       :math:`\hex{2C}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I32.\LOAD\K{8\_u}~\memarg`                       :math:`\hex{2D}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I32.\LOAD\K{16\_s}~\memarg`                      :math:`\hex{2E}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I32.\LOAD\K{16\_u}~\memarg`                      :math:`\hex{2F}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{8\_s}~\memarg`                       :math:`\hex{30}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{8\_u}~\memarg`                       :math:`\hex{31}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{16\_s}~\memarg`                      :math:`\hex{32}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{16\_u}~\memarg`                      :math:`\hex{33}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{32\_s}~\memarg`                      :math:`\hex{34}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I64.\LOAD\K{32\_u}~\memarg`                      :math:`\hex{35}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-loadn>`                :ref:`execution <exec-loadn>`
+:math:`\I32.\STORE~\memarg`                              :math:`\hex{36}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-store>`                :ref:`execution <exec-store>`
+:math:`\I64.\STORE~\memarg`                              :math:`\hex{37}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-store>`                :ref:`execution <exec-store>`
+:math:`\F32.\STORE~\memarg`                              :math:`\hex{38}`           :math:`[\I32~\F32] \to []`                  :ref:`validation <valid-store>`                :ref:`execution <exec-store>`
+:math:`\F64.\STORE~\memarg`                              :math:`\hex{39}`           :math:`[\I32~\F64] \to []`                  :ref:`validation <valid-store>`                :ref:`execution <exec-store>`
+:math:`\I32.\STORE\K{8}~\memarg`                         :math:`\hex{3A}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-storen>`               :ref:`execution <exec-storen>`
+:math:`\I32.\STORE\K{16}~\memarg`                        :math:`\hex{3B}`           :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-storen>`               :ref:`execution <exec-storen>`
+:math:`\I64.\STORE\K{8}~\memarg`                         :math:`\hex{3C}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`               :ref:`execution <exec-storen>`
+:math:`\I64.\STORE\K{16}~\memarg`                        :math:`\hex{3D}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`               :ref:`execution <exec-storen>`
+:math:`\I64.\STORE\K{32}~\memarg`                        :math:`\hex{3E}`           :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-storen>`               :ref:`execution <exec-storen>`
+:math:`\CURRENTMEMORY`                                   :math:`\hex{3F}`           :math:`[] \to [\I32]`                       :ref:`validation <valid-current_memory>`       :ref:`execution <exec-current_memory>`
+:math:`\GROWMEMORY`                                      :math:`\hex{40}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-grow_memory>`          :ref:`execution <exec-grow_memory>`
+:math:`\I32.\CONST~\i32`                                 :math:`\hex{41}`           :math:`[] \to [\I32]`                       :ref:`validation <valid-const>`                :ref:`execution <exec-const>`
+:math:`\I64.\CONST~\i64`                                 :math:`\hex{42}`           :math:`[] \to [\I64]`                       :ref:`validation <valid-const>`                :ref:`execution <exec-const>`
+:math:`\F32.\CONST~\f32`                                 :math:`\hex{43}`           :math:`[] \to [\F32]`                       :ref:`validation <valid-const>`                :ref:`execution <exec-const>`
+:math:`\F64.\CONST~\f64`                                 :math:`\hex{44}`           :math:`[] \to [\F64]`                       :ref:`validation <valid-const>`                :ref:`execution <exec-const>`
+:math:`\I32.\EQZ`                                        :math:`\hex{45}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-testop>`               :ref:`execution <exec-testop>`, :ref:`operator <op-ieqz>`
+:math:`\I32.\EQ`                                         :math:`\hex{46}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ieq>`
+:math:`\I32.\NE`                                         :math:`\hex{47}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ine>`
+:math:`\I32.\LT\K{\_s}`                                  :math:`\hex{48}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_s>`
+:math:`\I32.\LT\K{\_u}`                                  :math:`\hex{49}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_u>`
+:math:`\I32.\GT\K{\_s}`                                  :math:`\hex{4A}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-igt_s>`
+:math:`\I32.\GT\K{\_u}`                                  :math:`\hex{4B}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-igt_u>`
+:math:`\I32.\LE\K{\_s}`                                  :math:`\hex{4C}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ile_s>`
+:math:`\I32.\LE\K{\_u}`                                  :math:`\hex{4D}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ile_u>`
+:math:`\I32.\GE\K{\_s}`                                  :math:`\hex{4E}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ige_s>`
+:math:`\I32.\GE\K{\_u}`                                  :math:`\hex{4F}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ige_u>`
+:math:`\I64.\EQZ`                                        :math:`\hex{50}`           :math:`[\I64] \to [\I32]`                   :ref:`validation <valid-testop>`               :ref:`execution <exec-testop>`, :ref:`operator <op-ieqz>`
+:math:`\I64.\EQ`                                         :math:`\hex{51}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ieq>`
+:math:`\I64.\NE`                                         :math:`\hex{52}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ine>`
+:math:`\I64.\LT\K{\_s}`                                  :math:`\hex{53}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_s>`
+:math:`\I64.\LT\K{\_u}`                                  :math:`\hex{54}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ilt_u>`
+:math:`\I64.\GT\K{\_s}`                                  :math:`\hex{55}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-igt_s>`
+:math:`\I64.\GT\K{\_u}`                                  :math:`\hex{56}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-igt_u>`
+:math:`\I64.\LE\K{\_s}`                                  :math:`\hex{57}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ile_s>`
+:math:`\I64.\LE\K{\_u}`                                  :math:`\hex{58}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ile_u>`
+:math:`\I64.\GE\K{\_s}`                                  :math:`\hex{59}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ige_s>`
+:math:`\I64.\GE\K{\_u}`                                  :math:`\hex{5A}`           :math:`[\I64~\I64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-ige_u>`
+:math:`\F32.\EQ`                                         :math:`\hex{5B}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-feq>`
+:math:`\F32.\NE`                                         :math:`\hex{5C}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fne>`
+:math:`\F32.\LT`                                         :math:`\hex{5D}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-flt>`
+:math:`\F32.\GT`                                         :math:`\hex{5E}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fgt>`
+:math:`\F32.\LE`                                         :math:`\hex{5F}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fle>`
+:math:`\F32.\GE`                                         :math:`\hex{60}`           :math:`[\F32~\F32] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fge>`
+:math:`\F64.\EQ`                                         :math:`\hex{61}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-feq>`
+:math:`\F64.\NE`                                         :math:`\hex{62}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fne>`
+:math:`\F64.\LT`                                         :math:`\hex{63}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-flt>`
+:math:`\F64.\GT`                                         :math:`\hex{64}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fgt>`
+:math:`\F64.\LE`                                         :math:`\hex{65}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fle>`
+:math:`\F64.\GE`                                         :math:`\hex{66}`           :math:`[\F64~\F64] \to [\I32]`              :ref:`validation <valid-relop>`                :ref:`execution <exec-relop>`, :ref:`operator <op-fge>`
+:math:`\I32.\CLZ`                                        :math:`\hex{67}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iclz>`
+:math:`\I32.\CTZ`                                        :math:`\hex{68}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ictz>`
+:math:`\I32.\POPCNT`                                     :math:`\hex{69}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ipopcnt>`
+:math:`\I32.\ADD`                                        :math:`\hex{6A}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-iadd>`
+:math:`\I32.\SUB`                                        :math:`\hex{6B}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-isub>`
+:math:`\I32.\MUL`                                        :math:`\hex{6C}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-imul>`
+:math:`\I32.\DIV\K{\_s}`                                 :math:`\hex{6D}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_s>`
+:math:`\I32.\DIV\K{\_u}`                                 :math:`\hex{6E}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_u>`
+:math:`\I32.\REM\K{\_s}`                                 :math:`\hex{6F}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irem_s>`
+:math:`\I32.\REM\K{\_u}`                                 :math:`\hex{70}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irem_u>`
+:math:`\I32.\AND`                                        :math:`\hex{71}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-iand>`
+:math:`\I32.\OR`                                         :math:`\hex{72}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ior>`
+:math:`\I32.\XOR`                                        :math:`\hex{73}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ixor>`
+:math:`\I32.\SHL`                                        :math:`\hex{74}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishl>`
+:math:`\I32.\SHR\K{\_s}`                                 :math:`\hex{75}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_s>`
+:math:`\I32.\SHR\K{\_u}`                                 :math:`\hex{76}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_u>`
+:math:`\I32.\ROTL`                                       :math:`\hex{77}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irotl>`
+:math:`\I32.\ROTR`                                       :math:`\hex{78}`           :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irotr>`
+:math:`\I64.\CLZ`                                        :math:`\hex{79}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iclz>`
+:math:`\I64.\CTZ`                                        :math:`\hex{7A}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ictz>`
+:math:`\I64.\POPCNT`                                     :math:`\hex{7B}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ipopcnt>`
+:math:`\I64.\ADD`                                        :math:`\hex{7C}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-iadd>`
+:math:`\I64.\SUB`                                        :math:`\hex{7D}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-isub>`
+:math:`\I64.\MUL`                                        :math:`\hex{7E}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-imul>`
+:math:`\I64.\DIV\K{\_s}`                                 :math:`\hex{7F}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_s>`
+:math:`\I64.\DIV\K{\_u}`                                 :math:`\hex{80}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-idiv_u>`
+:math:`\I64.\REM\K{\_s}`                                 :math:`\hex{81}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irem_s>`
+:math:`\I64.\REM\K{\_u}`                                 :math:`\hex{82}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irem_u>`
+:math:`\I64.\AND`                                        :math:`\hex{83}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-iand>`
+:math:`\I64.\OR`                                         :math:`\hex{84}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ior>`
+:math:`\I64.\XOR`                                        :math:`\hex{85}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ixor>`
+:math:`\I64.\SHL`                                        :math:`\hex{86}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishl>`
+:math:`\I64.\SHR\K{\_s}`                                 :math:`\hex{87}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_s>`
+:math:`\I64.\SHR\K{\_u}`                                 :math:`\hex{88}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-ishr_u>`
+:math:`\I64.\ROTL`                                       :math:`\hex{89}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irotl>`
+:math:`\I64.\ROTR`                                       :math:`\hex{8A}`           :math:`[\I64~\I64] \to [\I64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-irotr>`
+:math:`\F32.\ABS`                                        :math:`\hex{8B}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fabs>`
+:math:`\F32.\NEG`                                        :math:`\hex{8C}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fneg>`
+:math:`\F32.\CEIL`                                       :math:`\hex{8D}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fceil>`
+:math:`\F32.\FLOOR`                                      :math:`\hex{8E}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ffloor>`
+:math:`\F32.\TRUNC`                                      :math:`\hex{8F}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ftrunc>`
+:math:`\F32.\NEAREST`                                    :math:`\hex{90}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fnearest>`
+:math:`\F32.\SQRT`                                       :math:`\hex{91}`           :math:`[\F32] \to [\F32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fsqrt>`
+:math:`\F32.\ADD`                                        :math:`\hex{92}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fadd>`
+:math:`\F32.\SUB`                                        :math:`\hex{93}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fsub>`
+:math:`\F32.\MUL`                                        :math:`\hex{94}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmul>`
+:math:`\F32.\DIV`                                        :math:`\hex{95}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fdiv>`
+:math:`\F32.\FMIN`                                       :math:`\hex{96}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmin>`
+:math:`\F32.\FMAX`                                       :math:`\hex{97}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmax>`
+:math:`\F32.\COPYSIGN`                                   :math:`\hex{98}`           :math:`[\F32~\F32] \to [\F32]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fcopysign>`
+:math:`\F64.\ABS`                                        :math:`\hex{99}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fabs>`
+:math:`\F64.\NEG`                                        :math:`\hex{9A}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fneg>`
+:math:`\F64.\CEIL`                                       :math:`\hex{9B}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fceil>`
+:math:`\F64.\FLOOR`                                      :math:`\hex{9C}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ffloor>`
+:math:`\F64.\TRUNC`                                      :math:`\hex{9D}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-ftrunc>`
+:math:`\F64.\NEAREST`                                    :math:`\hex{9E}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fnearest>`
+:math:`\F64.\SQRT`                                       :math:`\hex{9F}`           :math:`[\F64] \to [\F64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-fsqrt>`
+:math:`\F64.\ADD`                                        :math:`\hex{A0}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fadd>`
+:math:`\F64.\SUB`                                        :math:`\hex{A1}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fsub>`
+:math:`\F64.\MUL`                                        :math:`\hex{A2}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmul>`
+:math:`\F64.\DIV`                                        :math:`\hex{A3}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fdiv>`
+:math:`\F64.\FMIN`                                       :math:`\hex{A4}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmin>`
+:math:`\F64.\FMAX`                                       :math:`\hex{A5}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fmax>`
+:math:`\F64.\COPYSIGN`                                   :math:`\hex{A6}`           :math:`[\F64~\F64] \to [\F64]`              :ref:`validation <valid-binop>`                :ref:`execution <exec-binop>`, :ref:`operator <op-fcopysign>`
+:math:`\I32.\WRAP\K{/}\I64`                              :math:`\hex{A7}`           :math:`[\I64] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-wrap>`
+:math:`\I32.\TRUNC\K{\_s/}\F32`                          :math:`\hex{A8}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
+:math:`\I32.\TRUNC\K{\_u/}\F32`                          :math:`\hex{A9}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
+:math:`\I32.\TRUNC\K{\_s/}\F64`                          :math:`\hex{AA}`           :math:`[\F64] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
+:math:`\I32.\TRUNC\K{\_u/}\F64`                          :math:`\hex{AB}`           :math:`[\F64] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
+:math:`\I64.\EXTEND\K{\_s/}\I32`                         :math:`\hex{AC}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-extend_s>`
+:math:`\I64.\EXTEND\K{\_u/}\I32`                         :math:`\hex{AD}`           :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-extend_u>`
+:math:`\I64.\TRUNC\K{\_s/}\F32`                          :math:`\hex{AE}`           :math:`[\F32] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
+:math:`\I64.\TRUNC\K{\_u/}\F32`                          :math:`\hex{AF}`           :math:`[\F32] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
+:math:`\I64.\TRUNC\K{\_s/}\F64`                          :math:`\hex{B0}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_s>`
+:math:`\I64.\TRUNC\K{\_u/}\F64`                          :math:`\hex{B1}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-trunc_u>`
+:math:`\F32.\CONVERT\K{\_s/}\I32`                        :math:`\hex{B2}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
+:math:`\F32.\CONVERT\K{\_u/}\I32`                        :math:`\hex{B3}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
+:math:`\F32.\CONVERT\K{\_s/}\I64`                        :math:`\hex{B4}`           :math:`[\I64] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
+:math:`\F32.\CONVERT\K{\_u/}\I64`                        :math:`\hex{B5}`           :math:`[\I64] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
+:math:`\F32.\DEMOTE\K{/}\F64`                            :math:`\hex{B6}`           :math:`[\F64] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-demote>`
+:math:`\F64.\CONVERT\K{\_s/}\I32`                        :math:`\hex{B7}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
+:math:`\F64.\CONVERT\K{\_u/}\I32`                        :math:`\hex{B8}`           :math:`[\I32] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
+:math:`\F64.\CONVERT\K{\_s/}\I64`                        :math:`\hex{B9}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_s>`
+:math:`\F64.\CONVERT\K{\_u/}\I64`                        :math:`\hex{BA}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-convert_u>`
+:math:`\F64.\PROMOTE\K{/}\F32`                           :math:`\hex{BB}`           :math:`[\F32] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-promote>`
+:math:`\I32.\REINTERPRET\K{/}\F32`                       :math:`\hex{BC}`           :math:`[\F32] \to [\I32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
+:math:`\I64.\REINTERPRET\K{/}\F64`                       :math:`\hex{BD}`           :math:`[\F64] \to [\I64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
+:math:`\F32.\REINTERPRET\K{/}\I32`                       :math:`\hex{BE}`           :math:`[\I32] \to [\F32]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
+:math:`\F64.\REINTERPRET\K{/}\I64`                       :math:`\hex{BF}`           :math:`[\I64] \to [\F64]`                   :ref:`validation <valid-cvtop>`                :ref:`execution <exec-cvtop>`, :ref:`operator <op-reinterpret>`
+:math:`\I32.\EXTEND\K{8\_s}`                             :math:`\hex{C0}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
+:math:`\I32.\EXTEND\K{16\_s}`                            :math:`\hex{C1}`           :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
+:math:`\I64.\EXTEND\K{8\_s}`                             :math:`\hex{C2}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
+:math:`\I64.\EXTEND\K{16\_s}`                            :math:`\hex{C3}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
+:math:`\I64.\EXTEND\K{32\_s}`                            :math:`\hex{C4}`           :math:`[\I64] \to [\I64]`                   :ref:`validation <valid-unop>`                 :ref:`execution <exec-unop>`, :ref:`operator <op-iextendn_s>`
+:math:`\I32.\ATOMICLOAD~\memarg`                         :math:`\hex{FE}~\hex{10}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-load>`          :ref:`execution <exec-atomic-load>`
+:math:`\I64.\ATOMICLOAD~\memarg`                         :math:`\hex{FE}~\hex{11}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-load>`          :ref:`execution <exec-atomic-load>`
+:math:`\I32.\ATOMICLOAD\K{8\_u}~\memarg`                 :math:`\hex{FE}~\hex{12}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-loadn>`         :ref:`execution <exec-atomic-loadn>`
+:math:`\I32.\ATOMICLOAD\K{16\_u}~\memarg`                :math:`\hex{FE}~\hex{13}`  :math:`[\I32] \to [\I32]`                   :ref:`validation <valid-atomic-loadn>`         :ref:`execution <exec-atomic-loadn>`
+:math:`\I64.\ATOMICLOAD\K{8\_u}~\memarg`                 :math:`\hex{FE}~\hex{14}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`         :ref:`execution <exec-atomic-loadn>`
+:math:`\I64.\ATOMICLOAD\K{16\_u}~\memarg`                :math:`\hex{FE}~\hex{15}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`         :ref:`execution <exec-atomic-loadn>`
+:math:`\I64.\ATOMICLOAD\K{32\_u}~\memarg`                :math:`\hex{FE}~\hex{16}`  :math:`[\I32] \to [\I64]`                   :ref:`validation <valid-atomic-loadn>`         :ref:`execution <exec-atomic-loadn>`
+:math:`\I32.\ATOMICSTORE~\memarg`                        :math:`\hex{FE}~\hex{17}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-store>`         :ref:`execution <exec-atomic-store>`
+:math:`\I64.\ATOMICSTORE~\memarg`                        :math:`\hex{FE}~\hex{18}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-store>`         :ref:`execution <exec-atomic-store>`
+:math:`\I32.\ATOMICSTORE\K{8\_u}~\memarg`                :math:`\hex{FE}~\hex{19}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-storen>`        :ref:`execution <exec-atomic-storen>`
+:math:`\I32.\ATOMICSTORE\K{16\_u}~\memarg`               :math:`\hex{FE}~\hex{1A}`  :math:`[\I32~\I32] \to []`                  :ref:`validation <valid-atomic-storen>`        :ref:`execution <exec-atomic-storen>`
+:math:`\I64.\ATOMICSTORE\K{8\_u}~\memarg`                :math:`\hex{FE}~\hex{1B}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`        :ref:`execution <exec-atomic-storen>`
+:math:`\I64.\ATOMICSTORE\K{16\_u}~\memarg`               :math:`\hex{FE}~\hex{1C}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`        :ref:`execution <exec-atomic-storen>`
+:math:`\I64.\ATOMICSTORE\K{32\_u}~\memarg`               :math:`\hex{FE}~\hex{1D}`  :math:`[\I32~\I64] \to []`                  :ref:`validation <valid-atomic-storen>`        :ref:`execution <exec-atomic-storen>`
+:math:`\I32.\ATOMICRMW.\ATOMICADD~\memarg`               :math:`\hex{FE}~\hex{1E}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-iadd>`
+:math:`\I64.\ATOMICRMW.\ATOMICADD~\memarg`               :math:`\hex{FE}~\hex{1F}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-iadd>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICADD~\memarg`       :math:`\hex{FE}~\hex{20}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iadd>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{21}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iadd>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICADD~\memarg`       :math:`\hex{FE}~\hex{22}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iadd>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{23}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iadd>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICADD~\memarg`      :math:`\hex{FE}~\hex{24}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iadd>`
+:math:`\I32.\ATOMICRMW.\ATOMICSUB~\memarg`               :math:`\hex{FE}~\hex{25}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-isub>`
+:math:`\I64.\ATOMICRMW.\ATOMICSUB~\memarg`               :math:`\hex{FE}~\hex{26}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-isub>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICSUB~\memarg`       :math:`\hex{FE}~\hex{27}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-isub>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{28}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-isub>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICSUB~\memarg`       :math:`\hex{FE}~\hex{29}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-isub>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{2A}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-isub>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICSUB~\memarg`      :math:`\hex{FE}~\hex{2B}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-isub>`
+:math:`\I32.\ATOMICRMW.\ATOMICAND~\memarg`               :math:`\hex{FE}~\hex{2C}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-iand>`
+:math:`\I64.\ATOMICRMW.\ATOMICAND~\memarg`               :math:`\hex{FE}~\hex{2D}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-iand>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICAND~\memarg`       :math:`\hex{FE}~\hex{2E}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iand>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{2F}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iand>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICAND~\memarg`       :math:`\hex{FE}~\hex{30}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iand>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{31}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iand>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICAND~\memarg`      :math:`\hex{FE}~\hex{32}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-iand>`
+:math:`\I32.\ATOMICRMW.\ATOMICOR~\memarg`                :math:`\hex{FE}~\hex{33}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-ior>`
+:math:`\I64.\ATOMICRMW.\ATOMICOR~\memarg`                :math:`\hex{FE}~\hex{34}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-ior>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICOR~\memarg`        :math:`\hex{FE}~\hex{35}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ior>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{36}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ior>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICOR~\memarg`        :math:`\hex{FE}~\hex{37}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ior>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{38}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ior>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICOR~\memarg`       :math:`\hex{FE}~\hex{39}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ior>`
+:math:`\I32.\ATOMICRMW.\ATOMICXOR~\memarg`               :math:`\hex{FE}~\hex{3A}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-ixor>`
+:math:`\I64.\ATOMICRMW.\ATOMICXOR~\memarg`               :math:`\hex{FE}~\hex{3B}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-ixor>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICXOR~\memarg`       :math:`\hex{FE}~\hex{3C}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixor>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{3D}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixor>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICXOR~\memarg`       :math:`\hex{FE}~\hex{3E}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixor>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{3F}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixor>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICXOR~\memarg`      :math:`\hex{FE}~\hex{40}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixor>`
+:math:`\I32.\ATOMICRMW.\ATOMICXCHG~\memarg`              :math:`\hex{FE}~\hex{41}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>`, :ref:`operator <op-ixchg>`
+:math:`\I64.\ATOMICRMW.\ATOMICXCHG~\memarg`              :math:`\hex{FE}~\hex{42}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmw>`           :ref:`execution <exec-atomic-rmw>` , :ref:`operator <op-ixchg>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICXCHG~\memarg`      :math:`\hex{FE}~\hex{43}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixchg>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{44}`  :math:`[\I32~\I32] \to [\I32]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixchg>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICXCHG~\memarg`      :math:`\hex{FE}~\hex{45}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixchg>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{46}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixchg>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICXCHG~\memarg`     :math:`\hex{FE}~\hex{47}`  :math:`[\I32~\I64] \to [\I64]`              :ref:`validation <valid-atomic-rmwn>`          :ref:`execution <exec-atomic-rmwn>`, :ref:`operator <op-ixchg>`
+:math:`\I32.\ATOMICRMW.\ATOMICCMPXCHG~\memarg`           :math:`\hex{FE}~\hex{48}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmw-cmpxchg>`   :ref:`execution <exec-atomic-rmw-cmpxchg>`
+:math:`\I64.\ATOMICRMW.\ATOMICCMPXCHG~\memarg`           :math:`\hex{FE}~\hex{49}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmw-cmpxchg>`   :ref:`execution <exec-atomic-rmw-cmpxchg>`
+:math:`\I32.\ATOMICRMW\K{8\_u}.\ATOMICCMPXCHG~\memarg`   :math:`\hex{FE}~\hex{4A}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmwn-cmpxchg>`  :ref:`execution <exec-atomic-rmwn-cmpxchg>`
+:math:`\I32.\ATOMICRMW\K{16\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4B}`  :math:`[\I32~\I32~\I32] \to [\I32]`         :ref:`validation <valid-atomic-rmwn-cmpxchg>`  :ref:`execution <exec-atomic-rmwn-cmpxchg>`
+:math:`\I64.\ATOMICRMW\K{8\_u}.\ATOMICCMPXCHG~\memarg`   :math:`\hex{FE}~\hex{4C}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn-cmpxchg>`  :ref:`execution <exec-atomic-rmwn-cmpxchg>`
+:math:`\I64.\ATOMICRMW\K{16\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4D}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn-cmpxchg>`  :ref:`execution <exec-atomic-rmwn-cmpxchg>`
+:math:`\I64.\ATOMICRMW\K{32\_u}.\ATOMICCMPXCHG~\memarg`  :math:`\hex{FE}~\hex{4E}`  :math:`[\I32~\I64~\I64] \to [\I64]`         :ref:`validation <valid-atomic-rmwn-cmpxchg>`  :ref:`execution <exec-atomic-rmwn-cmpxchg>`
+=======================================================  =========================  ==========================================  =============================================  ===============================================================
diff --git a/document/core/syntax/instructions.rst b/document/core/syntax/instructions.rst
index 46b341bfcc..d689885b21 100644
--- a/document/core/syntax/instructions.rst
+++ b/document/core/syntax/instructions.rst
@@ -273,7 +273,7 @@ Both instructions operate in units of :ref:`page size <page-size>`.
 
 .. index:: ! atomic memory instruction, ! rmw
    pair: abstract syntax; instruction
-.. _syntax-instr-atomicop:
+.. _syntax-atomicop:
 .. _syntax-instr-atomic-memory:
 
 Atomic Memory Instructions
@@ -289,8 +289,7 @@ Instructions in this group are concerned with accessing :ref:`linear memory <syn
      \ATOMICAND ~|~
      \ATOMICOR ~|~
      \ATOMICXOR ~|~
-     \ATOMICXCHG ~|~
-     \ATOMICCMPXCHG \\
+     \ATOMICXCHG \\
    \production{instruction} & \instr &::=&
      \dots ~|~ \\&&&
      \K{i}\X{nn}\K{.}\ATOMICLOAD~\memarg ~|~ \\&&&
@@ -304,7 +303,11 @@ Instructions in this group are concerned with accessing :ref:`linear memory <syn
      \K{i}\X{nn}\K{.}\ATOMICRMW\K{.}\atomicop~\memarg ~|~ \\&&&
      \K{i}\X{nn}\K{.}\ATOMICRMW\K{8\_u.}\atomicop~\memarg ~|~ \\&&&
      \K{i}\X{nn}\K{.}\ATOMICRMW\K{16\_u.}\atomicop~\memarg ~|~ \\&&&
-     \K{i64.}\ATOMICRMW\K{32\_u.}\atomicop~\memarg \\&&&
+     \K{i64.}\ATOMICRMW\K{32\_u.}\atomicop~\memarg ~|~ \\&&&
+     \K{i}\X{nn}\K{.}\ATOMICRMW\K{.}\ATOMICCMPXCHG~\memarg ~|~ \\&&&
+     \K{i}\X{nn}\K{.}\ATOMICRMW\K{8\_u.}\ATOMICCMPXCHG~\memarg ~|~ \\&&&
+     \K{i}\X{nn}\K{.}\ATOMICRMW\K{16\_u.}\ATOMICCMPXCHG~\memarg ~|~ \\&&&
+     \K{i64.}\ATOMICRMW\K{32\_u.}\ATOMICCMPXCHG~\memarg \\
    \end{array}
 
 Memory is accessed atomically using the |ATOMICLOAD|, |ATOMICSTORE|, and
@@ -315,14 +318,14 @@ used. Also unlike non-atomic memory access instructions, there are no
 sign extension modes; atomic memory accesses are always zero-extending.
 
 The |ATOMICRMW| instructions are `read-modify-write <https://en.wikipedia.org/wiki/Read-modify-write>`_
-instructions. They each have an :ref:`atomicop <syntax-instr-atomicop>`, which
+instructions. They each have an :ref:`atomicop <syntax-atomicop>`, which
 specifies how memory will be modified. Each instruction returns the value read
-from memory before modification. The |ATOMICXCHG| :ref:`atomicop <syntax-instr-atomicop>`
+from memory before modification. The |ATOMICXCHG| :ref:`atomicop <syntax-atomicop>`
 doesn't use the read value, but instead stores its argument unmodified. The
-|ATOMICCMPXCHG| :ref:`atomicop <syntax-instr-atomicop>` is similar, but only
-performs this action conditionally, if the read value is equal to a provided
-comparison argument. All other :ref:`atomicops <syntax-instr-atomicop>` have
-behavior of the :ref:`ibinop <syntax-ibinop>` of the same name.
+|ATOMICCMPXCHG| :ref:`atomicop <syntax-atomicop>` is similar, but only performs
+this action conditionally, if the read value is equal to a provided comparison
+argument. All other :ref:`atomicops <syntax-atomicop>` have behavior of the
+:ref:`ibinop <syntax-ibinop>` of the same name.
 
 
 .. index:: ! control instruction, ! structured control, ! label, ! block, ! branch, ! unwinding, result type, label index, function index, type index, vector, trap, function, table, function type
diff --git a/document/core/util/math.def b/document/core/util/math.def
index 9641f86238..bc83d4122f 100644
--- a/document/core/util/math.def
+++ b/document/core/util/math.def
@@ -839,6 +839,7 @@
 .. |igeu| mathdef:: \xref{exec/numerics}{op-ige_u}{\F{ige\_u}}
 .. |iges| mathdef:: \xref{exec/numerics}{op-ige_s}{\F{ige\_s}}
 .. |iextendns| mathdef:: \xref{exec/numerics}{op-iextendn_s}{\F{iextend}M\F{\_s}}
+.. |ixchg| mathdef:: \xref{exec/numerics}{op-ixchg}{\F{ixchg}}
 
 .. |fadd| mathdef:: \xref{exec/numerics}{op-fadd}{\F{fadd}}
 .. |fsub| mathdef:: \xref{exec/numerics}{op-fsub}{\F{fsub}}