Squashed rebased#154
Open
fgmccabe wants to merge 3151 commits into
Open
Conversation
Part of #1950, similarly to what was done with the memory64 core tests
This doesn't affect any existing code, so I'm merging for now to make the downstream sync easier.
…broken links) (#2190)
This commit implements the WebAssembly Stack Switching proposal in the interpreter and tests. Key changes: - AST & Types: Added continuation types (`cont`) and stack switching instructions (`cont.new`, `cont.bind`, `suspend`, `resume`, `resume_throw`, `resume_throw_ref`, `switch`). - Parsing & Lexing: Added support for the new instructions and types in text format. - Validation: Implemented validation rules for the new instructions, ensuring correct type checking and handling of concrete continuation types. - Execution: Implemented the reduction semantics for stack switching, including prompting, suspending, resuming, and switching continuations. Corrected stack popping order for `resume_throw_ref`. - Binary Format: Implemented encoding and decoding for the new instructions and continuation types. - Tests: Added comprehensive test suite for stack switching under `test/core/stack-switching/`. - Documentation: Added explainer and design notes under `proposals/stack-switching/`. TAG=agy CONV=cad20525-759c-46ac-a1c0-b6841b990f5c
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
20 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Mega merge of current main spec into stack switching repo