1WABT(1)                   BSD General Commands Manual                  WABT(1)
2

NAME

4     wasm-interp — decode and run a WebAssembly binary file
5

SYNOPSIS

7     wasm-interp [options] file
8

DESCRIPTION

10     wasm-interp decodes and runs a WebAssembly binary file using a stack-
11     based interpreter.
12
13     The options are as follows:
14
15     -v, --verbose
16             Use multiple times for more info
17
18     --help  Print a help message
19
20     --enable-exceptions
21             Experimental exception handling
22
23     --disable-mutable-globals
24             Import/export mutable globals
25
26     --enable-saturating-float-to-int
27             Saturating float-to-int operators
28
29     --enable-sign-extension
30             Sign-extension operators
31
32     --disable-simd
33             SIMD support
34
35     --enable-threads
36             Threading support
37
38     -V, --value-stack-size=SIZE
39             Size in elements of the value stack
40
41     -C, --call-stack-size=SIZE
42             Size in elements of the call stack
43
44     -t, --trace
45             Trace execution
46
47     --run-all-exports
48             Run all the exported functions, in order. Useful for testing
49
50     --host-print
51             Include an importable function named "host.print" for printing to
52             stdout
53

EXAMPLES

55     Parse binary file test.wasm, and type-check it
56
57           $ wasm-interp test.wasm
58
59     Parse test.wasm and run all its exported functions
60
61           $ wasm-interp test.wasm --run-all-exports
62
63     Parse test.wasm, run the exported functions and trace the output
64
65           $ wasm-interp test.wasm --run-all-exports --trace
66
67     Parse test.wasm and run all its exported functions, setting the value
68     stack size to 100 elements
69
70           $ wasm-interp test.wasm -V 100 --run-all-exports
71

SEE ALSO

73     wasm-objdump(1), wasm-opcodecnt(1), wasm-strip(1), wasm-validate(1),
74     wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1), wat2wasm(1),
75     spectest-interp(1)
76

BUGS

78     If you find a bug, please report it at
79     https://github.com/WebAssembly/wabt/issues
80
81BSD                              July 21, 2022                             BSD
Impressum