From acf6365c9ec57d2dee97c62c78d7c9ff9a346eb5 Mon Sep 17 00:00:00 2001 From: Tom Stuart Date: Sat, 18 Feb 2023 09:16:45 +0000 Subject: [PATCH] [spec] Add missing initialization value to table.grow reduction rule MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This rule was probably copied from the (very similar) memory.grow rule when it was introduced by #1287 in c3d5cbc1f7c6b166b7a312adc4efdb7e34746b3d. While memory.grow doesn’t have an initialization value, table.grow does. --- document/core/exec/instructions.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst index bf5acdfead..8bc05499bc 100644 --- a/document/core/exec/instructions.rst +++ b/document/core/exec/instructions.rst @@ -1312,7 +1312,7 @@ Table Instructions \end{array} \\[1ex] \begin{array}{lcl@{\qquad}l} - S; F; (\I32.\CONST~n)~(\TABLEGROW~x) &\stepto& S; F; (\I32.\CONST~\signed_{32}^{-1}(-1)) + S; F; \val~(\I32.\CONST~n)~(\TABLEGROW~x) &\stepto& S; F; (\I32.\CONST~\signed_{32}^{-1}(-1)) \end{array} \end{array}