diff options
| author | Frank Emrich <git@emrich.io> | 2024-01-11 21:22:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-11 13:22:43 -0800 |
| commit | b4dee3dc05834ada8bf94e3e925186bc8b430c30 (patch) | |
| tree | 19d3150e7438803274c1dfc03be56dff83309fe7 /src/wasm-delegations-fields.def | |
| parent | e5948a939eb6610f1cb7742df8c54f6d17389b83 (diff) | |
| download | binaryen-b4dee3dc05834ada8bf94e3e925186bc8b430c30.tar.gz binaryen-b4dee3dc05834ada8bf94e3e925186bc8b430c30.tar.bz2 binaryen-b4dee3dc05834ada8bf94e3e925186bc8b430c30.zip | |
Typed continuations: resume instructions (#6083)
This PR is part of a series that adds basic support for the [typed continuations proposal](https://github.com/wasmfx/specfx).
This particular PR adds support for the `resume` instruction. The most notable missing feature is validation, which is not implemented, yet.
Diffstat (limited to 'src/wasm-delegations-fields.def')
| -rw-r--r-- | src/wasm-delegations-fields.def | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/wasm-delegations-fields.def b/src/wasm-delegations-fields.def index 3f8072445..aeb32e689 100644 --- a/src/wasm-delegations-fields.def +++ b/src/wasm-delegations-fields.def @@ -945,6 +945,18 @@ switch (DELEGATE_ID) { DELEGATE_END(StringSliceIter); break; } + + case Expression::Id::ResumeId: { + DELEGATE_START(Resume); + DELEGATE_FIELD_TYPE_VECTOR(Resume, sentTypes); + DELEGATE_FIELD_CHILD(Resume, cont); + DELEGATE_FIELD_CHILD_VECTOR(Resume, operands); + DELEGATE_FIELD_SCOPE_NAME_USE_VECTOR(Resume, handlerBlocks); + DELEGATE_FIELD_NAME_KIND_VECTOR(Resume, handlerTags, ModuleItemKind::Tag); + DELEGATE_FIELD_HEAPTYPE(Resume, contType); + DELEGATE_END(Resume); + break; + } } #undef DELEGATE_ID |