Update constant expression validation rules (#17)

These changes a published here: https://webassembly.github.io/extended-const/core/valid/instructions.html#constant-expressions
Wasm-DSL · Apr 19, 2023 · 7612271 · 7612271
1 parent 02bac88
commit 7612271
Showing 1 changed file with 4 additions and 11 deletions.
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -1604,6 +1604,8 @@ Constant Expressions
 
   * either of the form :math:`t.\CONST~c`,
 
+  * or of the form :math:`\K{i}\X{nn}\K{.}\ibinop`, where :math:`\ibinop` is limited to :math:`\ADD`, :math:`\SUB`, or :math:`\MUL`.
+
   * or of the form :math:`\REFNULL`,
 
   * or of the form :math:`\REFFUNC~x`,
@@ -1619,18 +1621,9 @@ Constant Expressions
 
 .. math::
    \frac{
+     \ibinop \in \{\ADD, \SUB, \MUL\}
    }{
-     C \vdashinstrconst t.\CONST~c \const
-   }
-   \qquad
-   \frac{
-   }{
-     C \vdashinstrconst \REFNULL~t \const
-   }
-   \qquad
-   \frac{
-   }{
-     C \vdashinstrconst \REFFUNC~x \const
+     C \vdashinstrconst \K{i}\X{nn}\K{.}\ibinop \const
    }
 
 .. math::