[spec] Fix irem_s (#743)

WebAssembly · Mar 6, 2018 · e72b2e6 · e72b2e6
1 parent ffae259
commit e72b2e6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst
@@ -291,7 +291,8 @@ The integer result of predicates -- i.e., :ref:`tests <syntax-testop>` and :ref:
 .. math::
    \begin{array}{@{}lcll}
    \irems_N(i_1, 0) &=& \{\} \\
-   \irems_N(i_1, i_2) &=& \signed_N^{-1}(i_1 - i_2 \cdot \trunc(\signed_N(i_1) / \signed_N(i_2))) \\
+   \irems_N(i_1, i_2) &=& \signed_N^{-1}(j_1 - j_2 \cdot \trunc(j_1 / j_2)) \\
+     && (\where j_1 = \signed_N(i_1) \wedge j_2 = \signed_N(i_2)) \\
    \end{array}
 
 .. note::