Typed continuations: resume instructions - #6083

Merged

tlively merged 27 commits into

WebAssembly:mainfrom

wasmfx:wasmfx-resume

Jan 11, 2024

Commits on Nov 5, 2023

[Typed continuations] resume instruction
frank-emrich
committed
f9ab9d4

Commits on Nov 14, 2023

Merge remote-tracking branch 'upstream/main' into wasmfx-resume
frank-emrich
committed
2a932d3
dummy implementation for TypeGeneralizing pass
frank-emrich
committed
e96014a
new implementation of operateOnScopeNameUsesAndSentTypes
frank-emrich
committed
6b8787d

Commits on Nov 15, 2023

OverriddenScopeNameUseVisitor
frank-emrich
committed
a3cc291
pass nullptr to func in operateOnScopeNameUsesAndSentValues
frank-emrich
committed
dfbb193
resume instructions have implicitTrap effect
frank-emrich
committed
ef0a683
move comment on own line
frank-emrich
committed
53e40d4
manually remove (tag ...) lines erroneously added by updater script
frank-emrich
committed
8f85434
experiment: move SentTypesVisitor outside of lambda
frank-emrich
committed
b475268
combine both experiments
frank-emrich
committed
3c1906e
give up on OverriddenScopeNameUseVisitor
frank-emrich
committed
6ab20ad

Commits on Nov 16, 2023

add typed_continuations_resume.wast to fuzzer ignore list
frank-emrich
committed
3556171

Commits on Nov 21, 2023

Commits on Dec 13, 2023

Commits on Dec 23, 2023

remove SentTypesVisitor in favor of simple loop
frank-emrich
committed
143bb2d

Commits on Jan 7, 2024

Commits on Jan 8, 2024

address minor nits
frank-emrich
committed
d41256d
move invariant checks to FunctionValidator::visitResume
frank-emrich
committed
ab6ff8b
move & update typed_continuations_resume.wast
frank-emrich
committed
179faa4