Skip to content

Typed continuations: resume instructions #6083

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tlively merged 27 commits into from
Jan 11, 2024
Merged

Typed continuations: resume instructions #6083

Changes from 1 commit
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
f9ab9d4
[Typed continuations] resume instruction
frank-emrich Oct 3, 2023
2a932d3
Merge remote-tracking branch 'upstream/main' into wasmfx-resume
frank-emrich Nov 14, 2023
e96014a
dummy implementation for TypeGeneralizing pass
frank-emrich Nov 14, 2023
6b8787d
new implementation of operateOnScopeNameUsesAndSentTypes
frank-emrich Nov 14, 2023
a3cc291
OverriddenScopeNameUseVisitor
frank-emrich Nov 14, 2023
dfbb193
pass nullptr to func in operateOnScopeNameUsesAndSentValues
frank-emrich Nov 15, 2023
ef0a683
resume instructions have implicitTrap effect
frank-emrich Nov 15, 2023
53e40d4
move comment on own line
frank-emrich Nov 15, 2023
8f85434
manually remove (tag ...) lines erroneously added by updater script
frank-emrich Nov 15, 2023
b475268
experiment: move SentTypesVisitor outside of lambda
frank-emrich Nov 15, 2023
3c1906e
combine both experiments
frank-emrich Nov 15, 2023
6ab20ad
give up on OverriddenScopeNameUseVisitor
frank-emrich Nov 15, 2023
3556171
add typed_continuations_resume.wast to fuzzer ignore list
frank-emrich Nov 16, 2023
bc86090
remove visitTry, visitRethrow from SentTypesVisitor
frank-emrich Nov 21, 2023
97d54f7
Merge remote-tracking branch 'upstream/main' into wasmfx-resume
frank-emrich Nov 21, 2023
cf17036
dummy implementation of SubtypingDiscoverer::visitResume
frank-emrich Nov 21, 2023
db5b02a
Merge remote-tracking branch 'upstream/main' into wasmfx-resume
frank-emrich Dec 13, 2023
115d0e2
when printing resume instructions, keep tag clauses on same line
frank-emrich Dec 13, 2023
143bb2d
remove SentTypesVisitor in favor of simple loop
frank-emrich Dec 23, 2023
6749e08
printing: move as much into PrintExpressionContents as possible
frank-emrich Jan 7, 2024
17be964
Merge remote-tracking branch 'upstream/main' into wasmfx-resume
frank-emrich Jan 7, 2024
c262d3c
rephrase comment
frank-emrich Jan 7, 2024
fbcb7fb
Make Resume class more consistent with TryTable
frank-emrich Jan 7, 2024
06a26c1
include Resume's sentTypes field in field delegations
frank-emrich Jan 7, 2024
d41256d
address minor nits
frank-emrich Jan 8, 2024
ab6ff8b
move invariant checks to FunctionValidator::visitResume
frank-emrich Jan 8, 2024
179faa4
move & update typed_continuations_resume.wast
frank-emrich Jan 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'upstream/main' into wasmfx-resume
  • Loading branch information
@frank-emrich
frank-emrich committed Dec 13, 2023
commit db5b02ae3636ca3a38eb79a227e98a727bba94fd

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.