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 /scripts | |
| 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 'scripts')
| -rwxr-xr-x | scripts/fuzz_opt.py | 1 | ||||
| -rwxr-xr-x | scripts/gen-s-parser.py | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 28cf4eb70..953108a44 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -315,6 +315,7 @@ INITIAL_CONTENTS_IGNORE = [ 'multi-memory-lowering-import-error.wast', # the fuzzer does not support typed continuations 'typed_continuations.wast', + 'typed_continuations_resume.wast', # New EH implementation is in progress 'exception-handling.wast', ] diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index 9d6e58481..d873ca4f6 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -566,6 +566,8 @@ instructions = [ # Typed function references instructions ("call_ref", "makeCallRef(s, /*isReturn=*/false)"), ("return_call_ref", "makeCallRef(s, /*isReturn=*/true)"), + # Typed continuations instructions + ("resume", "makeResume(s)"), # GC ("i31.new", "makeRefI31(s)"), # deprecated ("ref.i31", "makeRefI31(s)"), |