diff options
author | Alon Zakai <azakai@google.com> | 2023-11-06 12:29:19 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-06 12:29:19 -0800 |
commit | e3d27166370da202bef6c012014604beac41d43f (patch) | |
tree | f9e0515c0c6044e6c9b12f6d5d83f8ba99ab0fc3 /src/wasm-builder.h | |
parent | 4fba26a77ea344b8d2b49cc8e1afdc8fcda13e96 (diff) | |
download | binaryen-e3d27166370da202bef6c012014604beac41d43f.tar.gz binaryen-e3d27166370da202bef6c012014604beac41d43f.tar.bz2 binaryen-e3d27166370da202bef6c012014604beac41d43f.zip |
Implement table.copy (#6078)
Helps #5951
Diffstat (limited to 'src/wasm-builder.h')
-rw-r--r-- | src/wasm-builder.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/wasm-builder.h b/src/wasm-builder.h index 9a59b4015..9e2881145 100644 --- a/src/wasm-builder.h +++ b/src/wasm-builder.h @@ -771,6 +771,20 @@ public: ret->finalize(); return ret; } + TableCopy* makeTableCopy(Expression* dest, + Expression* source, + Expression* size, + Name destTable, + Name sourceTable) { + auto* ret = wasm.allocator.alloc<TableCopy>(); + ret->dest = dest; + ret->source = source; + ret->size = size; + ret->destTable = destTable; + ret->sourceTable = sourceTable; + ret->finalize(); + return ret; + } private: Try* makeTry(Name name, |