WABT(1) (original) (raw)
NAME
wasm-interp —decode and run a WebAssembly binary file
SYNOPSIS
| wasm-interp | [options] file |
|---|
DESCRIPTION
wasm-interp Read a file in the wasm binary format, and run it in a stack-based interpreter.
The options are as follows:
Print a help message
Print version information
-v,--verbose
Use multiple times for more info
Enable Experimental exception handling
Disable Import/export mutable globals
--disable-saturating-float-to-int
Disable Saturating float-to-int operators
Disable Sign-extension operators
Disable SIMD support
Enable Threading support
Enable Typed function references
Disable Multi-value
Enable Tail-call support
Disable Bulk-memory operations
Disable Reference types (externref)
Enable Custom annotation syntax
Enable Code metadata
Enable Garbage collection
Enable 64-bit memory
Enable Multi-memory
Enable Extended constant expressions
Enable all features
-V,--value-stack-size=SIZE
Size in elements of the value stack
-C,--call-stack-size=SIZE
Size in elements of the call stack
-t,--trace
Trace execution
Assume input module is WASI compliant (Export WASI API the the module and invoke _start function)
-e,--env=ENV
Pass the given environment string in the WASI runtime
-d,--dir=DIR
Pass the given directory the the WASI runtime
Run all the exported functions, in order. Useful for testing
Include an importable function named "host.print" for printing to stdout
Provide a dummy implementation of all imported functions. The function will log the call and return an appropriate zero value.
EXAMPLES
Parse binary file test.wasm, and type-check it
$ wasm-interp test.wasm
Parse test.wasm and run all its exported functions
$ wasm-interp test.wasm --run-all-exports
Parse test.wasm, run the exported functions and trace the output
$ wasm-interp test.wasm --run-all-exports --trace
Parse test.wasm and run all its exported functions, setting the value stack size to 100 elements
$ wasm-interp test.wasm -V 100 --run-all-exports
SEE ALSO
wasm-decompile(1),wasm-objdump(1),wasm-stats(1),wasm-strip(1),wasm-validate(1),wasm2c(1),wasm2wat(1),wast2json(1),wat-desugar(1),wat2wasm(1),spectest-interp(1)
BUGS
If you find a bug, please report it at
https://github.com/WebAssembly/wabt/issues.