1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
.Dd $Mdocdate$
.Dt WABT 1
.Os
.Sh NAME
.Nm wasm-interp
.Nd decode and run a WebAssembly binary file
.Sh SYNOPSIS
.Nm wasm-interp
.Op options
.Ar file
.Sh DESCRIPTION
.Nm
Read a file in the wasm binary format, and run it in a stack-based interpreter.
.Pp
The options are as follows:
.Bl -tag -width Ds
.It Fl Fl help
Print a help message
.It Fl Fl version
Print version information
.It Fl v , Fl Fl verbose
Use multiple times for more info
.It Fl Fl enable-exceptions
Enable Experimental exception handling
.It Fl Fl disable-mutable-globals
Disable Import/export mutable globals
.It Fl Fl disable-saturating-float-to-int
Disable Saturating float-to-int operators
.It Fl Fl disable-sign-extension
Disable Sign-extension operators
.It Fl Fl disable-simd
Disable SIMD support
.It Fl Fl enable-threads
Enable Threading support
.It Fl Fl enable-function-references
Enable Typed function references
.It Fl Fl disable-multi-value
Disable Multi-value
.It Fl Fl enable-tail-call
Enable Tail-call support
.It Fl Fl disable-bulk-memory
Disable Bulk-memory operations
.It Fl Fl disable-reference-types
Disable Reference types (externref)
.It Fl Fl enable-annotations
Enable Custom annotation syntax
.It Fl Fl enable-code-metadata
Enable Code metadata
.It Fl Fl enable-gc
Enable Garbage collection
.It Fl Fl enable-memory64
Enable 64-bit memory
.It Fl Fl enable-multi-memory
Enable Multi-memory
.It Fl Fl enable-extended-const
Enable Extended constant expressions
.It Fl Fl enable-all
Enable all features
.It Fl V , Fl Fl value-stack-size=SIZE
Size in elements of the value stack
.It Fl C , Fl Fl call-stack-size=SIZE
Size in elements of the call stack
.It Fl t , Fl Fl trace
Trace execution
.It Fl Fl wasi
Assume input module is WASI compliant (Export
WASI API the the module and invoke _start function)
.It Fl e , Fl Fl env=ENV
Pass the given environment string in the WASI runtime
.It Fl d , Fl Fl dir=DIR
Pass the given directory the the WASI runtime
.It Fl Fl run-all-exports
Run all the exported functions, in order. Useful for testing
.It Fl Fl host-print
Include an importable function named "host.print" for printing to stdout
.It Fl Fl dummy-import-func
Provide a dummy implementation of all imported functions. The function will log the call and return an appropriate zero value.
.El
.Sh EXAMPLES
Parse binary file test.wasm, and type-check it
.Pp
.Dl $ wasm-interp test.wasm
.Pp
Parse test.wasm and run all its exported functions
.Pp
.Dl $ wasm-interp test.wasm --run-all-exports
.Pp
Parse test.wasm, run the exported functions and trace the output
.Pp
.Dl $ wasm-interp test.wasm --run-all-exports --trace
.Pp
Parse test.wasm and run all its exported functions, setting the value stack size to 100 elements
.Pp
.Dl $ wasm-interp test.wasm -V 100 --run-all-exports
.Sh SEE ALSO
.Xr wasm-decompile 1 ,
.Xr wasm-objdump 1 ,
.Xr wasm-stats 1 ,
.Xr wasm-strip 1 ,
.Xr wasm-validate 1 ,
.Xr wasm2c 1 ,
.Xr wasm2wat 1 ,
.Xr wast2json 1 ,
.Xr wat-desugar 1 ,
.Xr wat2wasm 1 ,
.Xr spectest-interp 1
.Sh BUGS
If you find a bug, please report it at
.br
.Lk https://github.com/WebAssembly/wabt/issues .
|
