From 13923285377ede8aa217f9e6b154ffd1c7dda5a4 Mon Sep 17 00:00:00 2001 From: Andreas Haas Date: Mon, 27 May 2019 16:56:00 +0200 Subject: [PATCH 1/2] Adjust binary format of segments --- document/core/binary/modules.rst | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/document/core/binary/modules.rst b/document/core/binary/modules.rst index 9c44b95c..0fb76857 100644 --- a/document/core/binary/modules.rst +++ b/document/core/binary/modules.rst @@ -319,8 +319,10 @@ It decodes into a vector of :ref:`element segments ` that represent \production{element section} & \Belemsec &::=& \X{seg}^\ast{:}\Bsection_9(\Bvec(\Belem)) &\Rightarrow& \X{seg} \\ \production{element segment} & \Belem &::=& - x{:}\Btableidx~~e{:}\Bexpr~~y^\ast{:}\Bvec(\Bfuncidx) - &\Rightarrow& \{ \ETABLE~x, \EOFFSET~e, \EINIT~y^\ast \} \\ + \hex{00}~~e{:}\Bexpr~~y^\ast{:}\Bvec(\Bfuncidx) + &\Rightarrow& \{ \ETABLE~0, \EOFFSET~e, \EINIT~((\REFFUNC~y)~\END)^\ast \} \\ &&|& + \hex{02}~~x{:}\Btableidx~~e{:}\Bexpr~~y^\ast{:}\Bvec(\Bfuncidx) + &\Rightarrow& \{ \ETABLE~x, \EOFFSET~e, \EINIT~((\REFFUNC~y)~\END)^\ast \} \\ \end{array} From 31482b0ed524abcc34e322cc392b7d4d4a5643f4 Mon Sep 17 00:00:00 2001 From: Andreas Haas Date: Mon, 27 May 2019 17:51:45 +0200 Subject: [PATCH 2/2] Address comments --- document/core/binary/modules.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/document/core/binary/modules.rst b/document/core/binary/modules.rst index 0fb76857..0d5e9a84 100644 --- a/document/core/binary/modules.rst +++ b/document/core/binary/modules.rst @@ -320,9 +320,9 @@ It decodes into a vector of :ref:`element segments ` that represent \X{seg}^\ast{:}\Bsection_9(\Bvec(\Belem)) &\Rightarrow& \X{seg} \\ \production{element segment} & \Belem &::=& \hex{00}~~e{:}\Bexpr~~y^\ast{:}\Bvec(\Bfuncidx) - &\Rightarrow& \{ \ETABLE~0, \EOFFSET~e, \EINIT~((\REFFUNC~y)~\END)^\ast \} \\ &&|& + &\Rightarrow& \{ \ETABLE~0, \EOFFSET~e, \EINIT~y^\ast \} \\ &&|& \hex{02}~~x{:}\Btableidx~~e{:}\Bexpr~~y^\ast{:}\Bvec(\Bfuncidx) - &\Rightarrow& \{ \ETABLE~x, \EOFFSET~e, \EINIT~((\REFFUNC~y)~\END)^\ast \} \\ + &\Rightarrow& \{ \ETABLE~x, \EOFFSET~e, \EINIT~y^\ast \} \\ \end{array}