From 24c5e927cb1cc5db3019bf098f919bdaa8c613be Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Fri, 4 Oct 2019 13:05:56 +0200 Subject: [PATCH 1/2] Adjust immediate memidx order --- proposals/bulk-memory-operations/Overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proposals/bulk-memory-operations/Overview.md b/proposals/bulk-memory-operations/Overview.md index 6500b8a8..8d867edb 100644 --- a/proposals/bulk-memory-operations/Overview.md +++ b/proposals/bulk-memory-operations/Overview.md @@ -418,7 +418,7 @@ instr ::= ... | ---- | ---- | ---- | ---- | | `memory.init` | `0xfc 0x08` | `segment:varuint32`, `memory:0x00` | :thinking: copy from a passive data segment to linear memory | | `data.drop` | `0xfc 0x09` | `segment:varuint32` | :thinking: prevent further use of passive data segment | -| `memory.copy` | `0xfc 0x0a` | `memory_src:0x00` `memory_dst:0x00` | :thinking: copy from one region of linear memory to another region | +| `memory.copy` | `0xfc 0x0a` | `memory_dst:0x00` `memory_src:0x00` | :thinking: copy from one region of linear memory to another region | | `memory.fill` | `0xfc 0x0b` | `memory:0x00` | :thinking: fill a region of linear memory with a given byte value | | `table.init` | `0xfc 0x0c` | `segment:varuint32`, `table:0x00` | :thinking: copy from a passive element segment to a table | | `elem.drop` | `0xfc 0x0d` | `segment:varuint32` | :thinking: prevent further use of a passive element segment | From 50d4e5a3510ee4cd099482a916fdc1cbd82bdb34 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Fri, 4 Oct 2019 13:07:33 +0200 Subject: [PATCH 2/2] Update Overview.md --- proposals/bulk-memory-operations/Overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proposals/bulk-memory-operations/Overview.md b/proposals/bulk-memory-operations/Overview.md index 8d867edb..69fb55ff 100644 --- a/proposals/bulk-memory-operations/Overview.md +++ b/proposals/bulk-memory-operations/Overview.md @@ -422,7 +422,7 @@ instr ::= ... | `memory.fill` | `0xfc 0x0b` | `memory:0x00` | :thinking: fill a region of linear memory with a given byte value | | `table.init` | `0xfc 0x0c` | `segment:varuint32`, `table:0x00` | :thinking: copy from a passive element segment to a table | | `elem.drop` | `0xfc 0x0d` | `segment:varuint32` | :thinking: prevent further use of a passive element segment | -| `table.copy` | `0xfc 0x0e` | `table_src:0x00` `table_dst:0x00` | :thinking: copy from one region of a table to another region | +| `table.copy` | `0xfc 0x0e` | `table_dst:0x00` `table_src:0x00` | :thinking: copy from one region of a table to another region | ### `DataCount` section