Add multi memories to Changes

Author: rossberg

document/core/appendix/changes.rst

@@ -15,7 +15,7 @@ Release 2.0
 Sign extension instructions
 ...........................
 
-Added new numeric instructions for performing sign extension within integer representations [#proposal-signext]_.
+Added new numeric instructions for performing sign extension within integer representations. [#proposal-signext]_
 
 * New :ref:`numeric instructions <syntax-instr-numeric>`: :math:`\K{i}\X{nn}\K{.}\EXTEND\X{N}\K{\_s}`
 
@@ -25,7 +25,7 @@ Added new numeric instructions for performing sign extension within integer repr
 Non-trapping float-to-int conversions
 .....................................
 
-Added new conversion instructions that avoid trapping when converting a floating-point number to an integer [#proposal-cvtsat]_.
+Added new conversion instructions that avoid trapping when converting a floating-point number to an integer. [#proposal-cvtsat]_
 
 * New :ref:`numeric instructions <syntax-instr-numeric>`: :math:`\K{i}\X{nn}\K{.}\TRUNC\K{\_sat\_f}\X{mm}\K{\_}\sx`
 
@@ -35,7 +35,7 @@ Added new conversion instructions that avoid trapping when converting a floating
 Multiple values
 ...............
 
-Generalized the result type of blocks and functions to allow for multiple values; in addition, introduced the ability to have block parameters [#proposal-multivalue]_.
+Generalized the result type of blocks and functions to allow for multiple values; in addition, introduced the ability to have block parameters. [#proposal-multivalue]_
 
 * :ref:`Function types <syntax-functype>` allow more than one result
 
@@ -47,7 +47,7 @@ Generalized the result type of blocks and functions to allow for multiple values
 Reference types
 ...............
 
-Added |FUNCREF| and |EXTERNREF| as new value types and respective instructions [#proposal-reftype]_.
+Added |FUNCREF| and |EXTERNREF| as new value types and respective instructions. [#proposal-reftype]_
 
 * New :ref:`value types <syntax-valtype>`: :ref:`reference types <syntax-reftype>` |FUNCREF| and |EXTERNREF|
 
@@ -63,19 +63,19 @@ Added |FUNCREF| and |EXTERNREF| as new value types and respective instructions [
 Table instructions
 ..................
 
-Added instructions to directly access and modify tables [#proposal-reftype]_.
+Added instructions to directly access and modify tables. [#proposal-reftype]_
 
 * :ref:`Table types <syntax-tabletype>` allow any :ref:`reference type <syntax-reftype>` as element type
 
 * New :ref:`table instructions <syntax-instr-table>`: |TABLEGET|, |TABLESET|, |TABLESIZE|, |TABLEGROW|
 
 
-.. index:: table, instruction, table index, element segment
+.. index:: table, instruction, table index, element segment, import, export
 
 Multiple tables
 ...............
 
-Added the ability to use multiple tables per module [#proposal-reftype]_.
+Added the ability to use multiple tables per module. [#proposal-reftype]_
 
 * :ref:`Modules <syntax-module>` may :ref:`define <syntax-table>`, :ref:`import <syntax-import>`, and :ref:`export <syntax-export>` multiple tables
 
@@ -89,7 +89,7 @@ Added the ability to use multiple tables per module [#proposal-reftype]_.
 Bulk memory and table instructions
 ..................................
 
-Added instructions that modify ranges of memory or table entries [#proposal-reftype]_ [#proposal-bulk]_
+Added instructions that modify ranges of memory or table entries. [#proposal-reftype]_ [#proposal-bulk]_
 
 * New :ref:`memory instructions <syntax-instr-memory>`: |MEMORYFILL|, |MEMORYINIT|, |MEMORYCOPY|, |DATADROP|
 
@@ -138,17 +138,36 @@ Added vector type and instructions that manipulate multiple numeric values in pa
 * New injection/projection :ref:`vector instructions <syntax-instr-vec>`: :math:`\K{i}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{f}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{i}\!N\!\K{x}\!M\!\K{.bitmask}`
 
 
+.. [#proposal-signext]
+   https://github.com/WebAssembly/spec/tree/main/proposals/sign-extension-ops/
+
+.. [#proposal-cvtsat]
+   https://github.com/WebAssembly/spec/tree/main/proposals/nontrapping-float-to-int-conversion/
+
+.. [#proposal-multivalue]
+   https://github.com/WebAssembly/spec/tree/main/proposals/multi-value/
+
+.. [#proposal-reftype]
+   https://github.com/WebAssembly/spec/tree/main/proposals/reference-types/
+
+.. [#proposal-bulk]
+   https://github.com/WebAssembly/spec/tree/main/proposals/bulk-memory-operations/
+
+.. [#proposal-vectype]
+   https://github.com/WebAssembly/spec/tree/main/proposals/simd/
+
+
 Release 3.0
 ~~~~~~~~~~~
 
 .. index: instruction, expression, constant
 
-Extended Constant Expressions
+Extended constant expressions
 .............................
 
-Allowed basic numeric computations in constant expressions [#proposal-extconst]_.
+Allowed basic numeric computations in constant expressions. [#proposal-extconst]_
 
-* Extended set of :ref:`constant instructions <valid-const>` with :math:`\K{i}\!N\!\K{.add}`, :math:`\K{i}\!N\!\K{.sub}`, and :math:`\K{i}\!N\!\K{.mul}`
+* Extended set of :ref:`constant instructions <valid-const>` with :math:`\K{i}\X{nn}\K{.add}`, :math:`\K{i}\X{nn}\K{.sub}`, and :math:`\K{i}\X{nn}\K{.mul}`, and |GLOBALGET| for any previously declared immutable :ref:`global <syntax-global>`
 
 .. note::
    The :ref:`garbage collection <extension-gc>` added further constant instructions.
@@ -159,17 +178,31 @@ Allowed basic numeric computations in constant expressions [#proposal-extconst]_
 Tail calls
 ..........
 
-Added instructions to perform tail calls [#proposal-tailcall]_.
+Added instructions to perform tail calls. [#proposal-tailcall]_
+
+* New :ref:`control instructions <syntax-instr-control>`: |RETURNCALL| and |RETURNCALLINDIRECT|
+
+
+.. index: instruction, memory, memory index, data segment, import, export
+
+Multiple memories
+.................
 
-* New :ref:`control instructions <syntax-instr-control>`: :math:`RETURNCALL` and :math:`RETURNCALLINDIRECT`
+Added the ability to use multiple memories per module. [#proposal-multimem]_
+
+* :ref:`Modules <syntax-module>` may :ref:`define <syntax-mem>`, :ref:`import <syntax-import>`, and :ref:`export <syntax-export>` multiple memories
+
+* :ref:`Memory instructions <syntax-instr-memory>` take a :ref:`memory index <syntax-memidx>` immediate: |MEMORYSIZE|, |MEMORYGROW|, |MEMORYFILL|, |MEMORYCOPY|, |MEMORYINIT|, :math:`t\K{.load}`, :math:`t\K{.store}`, :math:`t\K{.load}\!N\!\K{\_}\sx`, :math:`t\K{.store}\!N`, :math:`\K{v128.load}\!N\!\K{x}\!M\!\K{\_}\sx`, :math:`\K{v128.load}\!N\!\K{\_zero}`, :math:`\K{v128.load}\!N\!\K{\_splat}`, :math:`\K{v128.load}\!N\!\K{\_lane}`, :math:`\K{v128.store}\!N\!\K{\_lane}`
+
+* :ref:`Data segments <syntax-elem>` take a :ref:`memory index <syntax-memidx>`
 
 
 .. index:: reference, reference type, heap type, value type, local, local type, instruction, instruction type, table, function, function type, matching, subtyping
 
-Typeful References
+Typeful references
 ..................
 
-Added more precise types for references [#proposal-typedref]_.
+Added more precise types for references. [#proposal-typedref]_
 
 * New generalised form of :ref:`reference types <syntax-reftype>`: :math:`(\REF~\NULL^?~\heaptype)`
 
@@ -191,10 +224,10 @@ Added more precise types for references [#proposal-typedref]_.
 .. index:: reference, reference type, heap type, field type, storage type, structure type, array type, composite type, sub type, recursive type
 .. _extension-gc:
 
-Garbage Collection
+Garbage collection
 ..................
 
-Added managed reference types [#proposal-gc]_.
+Added managed reference types. [#proposal-gc]_
 
 * New forms of :ref:`heap types <syntax-heaptype>`: |ANY|, |EQT|, |I31|, |STRUCT|, |ARRAY|, |NONE|, |NOFUNC|, |NOEXTERN|
 
@@ -214,33 +247,18 @@ Added managed reference types [#proposal-gc]_.
 
 * New :ref:`reference instructions <syntax-instr-ref>` for converting :ref:`host types <syntax-externtype>`: |ANYCONVERTEXTERN|, |EXTERNCONVERTANY|
 
-* Extended set of :ref:`constant instructions <valid-const>` with |REFI31|, |STRUCTNEW|, |STRUCTNEWDEFAULT|, |ARRAYNEW|, |ARRAYNEWDEFAULT|, |ARRAYNEWFIXED|, |ANYCONVERTEXTERN|, |EXTERNCONVERTANY|, and |GLOBALGET| for any previously declared immutable :ref:`global <syntax-global>`
-
-
-.. [#proposal-signext]
-   https://github.com/WebAssembly/spec/tree/main/proposals/sign-extension-ops/
-
-.. [#proposal-cvtsat]
-   https://github.com/WebAssembly/spec/tree/main/proposals/nontrapping-float-to-int-conversion/
-
-.. [#proposal-multivalue]
-   https://github.com/WebAssembly/spec/tree/main/proposals/multi-value/
+* Extended set of :ref:`constant instructions <valid-const>` with |REFI31|, |STRUCTNEW|, |STRUCTNEWDEFAULT|, |ARRAYNEW|, |ARRAYNEWDEFAULT|, |ARRAYNEWFIXED|, |ANYCONVERTEXTERN|, |EXTERNCONVERTANY|
 
-.. [#proposal-reftype]
-   https://github.com/WebAssembly/spec/tree/main/proposals/reference-types/
-
-.. [#proposal-bulk]
-   https://github.com/WebAssembly/spec/tree/main/proposals/bulk-memory-operations/
-
-.. [#proposal-vectype]
-   https://github.com/WebAssembly/spec/tree/main/proposals/simd/
 
 .. [#proposal-extconst]
    https://github.com/WebAssembly/extended-const/blob/main/proposals/extended-const/
 
 .. [#proposal-tailcall]
    https://github.com/WebAssembly/spec/tree/main/proposals/tail-call/
 
+.. [#proposal-multimem]
+   https://github.com/WebAssembly/multi-memory/blob/main/proposals/multi-memory/
+
 .. [#proposal-typedref]
    https://github.com/WebAssembly/spec/tree/main/proposals/function-references/