how to wasm-interp sieve.wat

Lss-lmj · Sep 26, 2019 · db31ebf · db31ebf
1 parent b1d53fc
commit db31ebf
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -23,6 +23,15 @@ define i32 @add(i32 %a, i32 %b) #0 {
 }
 ```
 
+## How to run sieve.wat
+
+```
+wat2wasm --enable-tail-call -v sieve.wat  -o sieve.wasm
+wasm-interp --run-all-exports --enable-tail-call --host-print sieve.wasm 
+called host host.print(i32:42) => i32:0
+f() => i32:0
+```
+
 ## How wabt(-rs) works
 
 `ScriptParser::from_str` takes wast input e.g. testsuite/i32.wast

diff --git a/sieve.wat b/sieve.wat
@@ -0,0 +1,9 @@
+(module
+  (import "host" "print" (func $imported (param i32) (result i32)))
+
+  (func (export "f") (result i32)
+    i32.const 42
+    return_call $imported
+    unreachable
+  )
+)