Skip to content

Commit 11c4cc2

Browse files
committed
[spec] Hotfix last accidental commit
1 parent ff149b4 commit 11c4cc2

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

document/core/exec/modules.rst

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -655,7 +655,7 @@ It is up to the :ref:`embedder <embedder>` to define how such conditions are rep
655655

656656
13. Push the frame :math:`F` to the stack.
657657

658-
14. For each :ref:`element segment <syntax-elem>` :math:`\elem_i` in :math:`\module.\MELEMS` whose :ref:`mode <syntax-elemmode>` is either of the form :math:`\EDECLARATIVE` or :math:`\EACTIVE~\{ \ETABLE~\tableidx_i, \EOFFSET~\X{einstr}^\ast_i~\END \}`, do:
658+
14. For each :ref:`element segment <syntax-elem>` :math:`\elem_i` in :math:`\module.\MELEMS` whose :ref:`mode <syntax-elemmode>` is of the form :math:`\EACTIVE~\{ \ETABLE~\tableidx_i, \EOFFSET~\X{einstr}^\ast_i~\END \}`, do:
659659

660660
a. Let :math:`n` be the length of the vector :math:`\elem_i.\EINIT`.
661661

@@ -669,7 +669,11 @@ It is up to the :ref:`embedder <embedder>` to define how such conditions are rep
669669

670670
f. :ref:`Execute <exec-elem.drop>` the instruction :math:`\ELEMDROP~i`.
671671

672-
15. For each :ref:`data segment <syntax-data>` :math:`\data_i` in :math:`\module.\MDATAS` whose :ref:`mode <syntax-datamode>` is of the form :math:`\DACTIVE~\{ \DMEM~\memidx_i, \DOFFSET~\X{dinstr}^\ast_i~\END \}`, do:
672+
15. For each :ref:`element segment <syntax-elem>` :math:`\elem_i` in :math:`\module.\MELEMS` whose :ref:`mode <syntax-elemmode>` is of the form :math:`\EDECLARATIVE`, do:
673+
674+
a. :ref:`Execute <exec-elem.drop>` the instruction :math:`\ELEMDROP~i`.
675+
676+
16. For each :ref:`data segment <syntax-data>` :math:`\data_i` in :math:`\module.\MDATAS` whose :ref:`mode <syntax-datamode>` is of the form :math:`\DACTIVE~\{ \DMEM~\memidx_i, \DOFFSET~\X{dinstr}^\ast_i~\END \}`, do:
673677

674678
a. Assert: :math:`\memidx_i` is :math:`0`.
675679

@@ -685,10 +689,6 @@ It is up to the :ref:`embedder <embedder>` to define how such conditions are rep
685689

686690
g. :ref:`Execute <exec-data.drop>` the instruction :math:`\DATADROP~i`.
687691

688-
16. For each :ref:`data segment <syntax-data>` :math:`\data_i` in :math:`\module.\MDATAS` whose :ref:`mode <syntax-datamode>` is of the form :math:`\DDECLARATIVE`, do:
689-
690-
a. :ref:`Execute <exec-data.drop>` the instruction :math:`\DATADROP~i`.
691-
692692
17. If the :ref:`start function <syntax-start>` :math:`\module.\MSTART` is not empty, then:
693693

694694
a. Let :math:`\start` be the :ref:`start function <syntax-start>` :math:`\module.\MSTART`.

0 commit comments

Comments
 (0)