Skip to content

Implementation of effects based on the Stack Switching proposal #1832

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.

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

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from

Conversation

vouillon
Copy link
Member

@vouillon vouillon commented Feb 6, 2025

To generate Wasm code that makes use of the Stack Switching proposal, you first need to install the development version of Binaryen (or version 124 once it is released).

Then, you need to run wasm_of_ocaml with the --enable wasi flag:

wasm_of_ocaml --enable wasi foo.byte -o foo.js

This produces some Wasm code that can be directly executed by the Wizard engine:

wizeng.x86-64-linux -ext:stack-switching -ext:legacy-eh foo.assets/code.wasm

Note that we keep the same output convention, at least for now: a JavaScript file foo.js and a directory foo.assets containing the Wasm code. The JavaScript file should be useful to run the tests with node once it supports this extension. It is used at the moment in #1831 to test the WASI runtime.

@vouillon vouillon force-pushed the native-effects branch 10 times, most recently from 49e1043 to f368877 Compare February 13, 2025 16:43
@vouillon vouillon added the wasm label Feb 14, 2025
@vouillon vouillon force-pushed the native-effects branch 13 times, most recently from 3b9ce6d to 3f4555c Compare February 19, 2025 20:03
@vouillon vouillon force-pushed the native-effects branch 2 times, most recently from a8763e2 to 4d6ce8e Compare February 26, 2025 17:15
@vouillon vouillon force-pushed the native-effects branch 3 times, most recently from 5c5211c to 41291bc Compare April 4, 2025 14:28
@vouillon vouillon force-pushed the native-effects branch 5 times, most recently from 2fd57df to 226063f Compare May 5, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant