basic parsing support for wasmfx (#63)

Author: ahuoguo

benchmarks/wasm/wasmfx/README

@@ -0,0 +1,5 @@
+# Tests for wasmfx
+
+Shorter tests: https://github.com/titzer/wizard-engine/tree/master/test/regress/ext:stack-switching
+
+Wasm reference interpreter tests: https://github.com/WebAssembly/stack-switching/blob/wasmfx/test/core/stack-switching/cont.wast

benchmarks/wasm/wasmfx/cont1-stripped.wat

@@ -0,0 +1,11 @@
+(module
+  (type (;0;) (func (param i32)))
+  (type (;1;) (func (param i64)))
+  (type (;2;) (func (param f32)))
+  (type (;3;) (func (param f64)))
+  (type (;4;) (cont 0))
+  (type (;5;) (cont 1))
+  (type (;6;) (cont 2))
+  (type (;7;) (cont 3))
+  (tag (;0;) (type 0) (param i32))
+)

benchmarks/wasm/wasmfx/cont1.wat

@@ -0,0 +1,12 @@
+;; Check that continuations can be made from all basic primitives types
+(module
+  (type $func1 (func (param i32)))
+  (type $func2 (func (param i64)))
+  (type $func3 (func (param f32)))
+  (type $func4 (func (param f64)))
+  (type $cont1 (cont $func1))
+  (type $cont2 (cont $func2))
+  (type $cont3 (cont $func3))
+  (type $cont4 (cont $func4))
+  (tag $tag1 (param i32))
+)

benchmarks/wasm/wasmfx/gen-stripped.wat

@@ -0,0 +1,40 @@
+(module
+  (type (;0;) (func))
+  (type (;1;) (cont 0))
+  (type (;2;) (func (param i32)))
+  (type (;3;) (func (result i32 (ref 1))))
+  (import "spectest" "print_i32" (func (;0;) (type 2)))
+  (tag (;0;) (type 2) (param i32))
+  (start 2)
+  (elem (;0;) declare func 1)
+  (func (;1;) (type 0)
+    (local i32)
+    i32.const 100
+    local.set 0
+    loop ;; label = @1
+      local.get 0
+      suspend 0
+      local.get 0
+      i32.const 1
+      i32.sub
+      local.tee 0
+      br_if 0 (;@1;)
+    end
+  )
+  (func (;2;) (type 0)
+    (local (ref 1))
+    ref.func 1
+    cont.new 1
+    local.set 0
+    loop ;; label = @1
+      block (type 3) (result i32 (ref 1)) ;; label = @2
+        local.get 0
+        resume 1 (on 0 0 (;@2;))
+        return
+      end
+      local.set 0
+      call 0
+      br 0 (;@1;)
+    end
+  )
+)

benchmarks/wasm/wasmfx/gen.wat

@@ -0,0 +1,52 @@
+(module $generator
+  (type $ft (func))
+  ;; Types of continuations used by the generator:
+  ;; No need for param or result types: No data passed back to the
+  ;; generator when resuming it, and $generator function has no return
+  ;; values.
+  (type $ct (cont $ft))
+  (func $print (import "spectest" "print_i32") (param i32))
+  
+  ;; Tag used to coordinate between generator and consumer: The i32 param
+  ;; corresponds to the generated values passed; no values passed back from
+  ;; generator to consumer.
+  (tag $gen (param i32))
+
+  ;; Simple generator yielding values from 100 down to 1
+  (func $generator
+    (local $i i32)
+    (local.set $i (i32.const 100))
+    (loop $l
+      ;; Suspend execution, pass current value of $i to consumer
+      (suspend $gen (local.get $i))
+      ;; Decrement $i and exit loop once $i reaches 0
+      (local.tee $i (i32.sub (local.get $i) (i32.const 1)))
+      (br_if $l)
+    )
+  )
+  (elem declare func $generator)
+
+  (func $consumer
+    (local $c (ref $ct))
+    ;; Create continuation executing function $generator.
+    ;; Execution only starts when resumed for the first time.
+    (local.set $c (cont.new $ct (ref.func $generator)))
+
+    (loop $loop
+      (block $on_gen (result i32 (ref $ct))
+        ;; Resume continuation $c
+        (resume $ct (on $gen $on_gen) (local.get $c))
+        ;; $generator returned: no more data
+        (return)
+      )
+      ;; Generator suspended, stack now contains [i32 (ref $ct)]
+      ;; Save continuation to resume it in the next iteration
+      (local.set $c)
+      ;; Stack now contains the i32 value produced by $generator
+      (call $print)
+
+      (br $loop)
+    )
+  )
+  (start $consumer)
+)

benchmarks/wasm/wasmfx/wizard-stack-switching/TODO

@@ -0,0 +1,15 @@
+- typechecking tests
+  - cont.new
+  - resume
+  - resume_throw
+  - suspend
+  - handlers
+  - cont.bind
+- passing parameters of GC types
+- order of arguments to resumes
+- more chains of resumes
+- more matching of tags for a suspend
+- suspends
+- nested suspends
+- throwing + catching on another stack
+- repeat all exception handling tests and systematically split the stacks?

benchmarks/wasm/wasmfx/wizard-stack-switching/build.sh

@@ -0,0 +1,21 @@
+#!/bin/bash
+
+SOURCE="${BASH_SOURCE[0]}"
+while [ -h "$SOURCE" ]; do
+  HERE="$( cd -P "$( dirname "$SOURCE" )" >/dev/null 2>&1 && pwd )"
+  SOURCE="$(readlink "$SOURCE")"
+  [[ $SOURCE != /* ]] && SOURCE="$HERE/$SOURCE"
+done
+HERE="$( cd -P "$( dirname "$SOURCE" )" >/dev/null 2>&1 && pwd )"
+
+cd $HERE
+
+export WIZENG_LOC=$(cd $HERE/../../../ && pwd)
+export SPEC_LOC=${SPEC_LOC:=$(cd $WIZENG_LOC/wasm-spec/repos/stack-switching && pwd)}
+
+if [ ! -d $SPEC_LOC ]; then
+    echo "WebAssembly specification repo not found: $SPEC_LOC"
+    exit 1
+fi
+
+../build.sh "$@"

benchmarks/wasm/wasmfx/wizard-stack-switching/cont0.bin.wast

@@ -0,0 +1,6 @@
+(module definition binary
+  "\00\61\73\6d\01\00\00\00\01\99\80\80\80\00\08\60"
+  "\00\00\60\01\7f\00\60\00\01\7f\60\01\7f\01\7f\5d"
+  "\00\5d\01\5d\02\5d\03"
+)
+(module instance)

benchmarks/wasm/wasmfx/wizard-stack-switching/cont0.wast

@@ -0,0 +1,10 @@
+(module
+  (type $f1 (func))
+  (type $f2 (func (param i32)))
+  (type $f3 (func (result i32)))
+  (type $f4 (func (param i32) (result i32)))
+  (type $c1 (cont $f1))
+  (type $c2 (cont $f2))
+  (type $c3 (cont $f3))
+  (type $c4 (cont $f4))
+)

benchmarks/wasm/wasmfx/wizard-stack-switching/cont1.bin.wast

@@ -0,0 +1,6 @@
+(module definition binary
+  "\00\61\73\6d\01\00\00\00\01\9f\80\80\80\00\0a\60"
+  "\01\7f\00\60\01\7e\00\60\01\7d\00\60\01\7c\00\60"
+  "\01\7b\00\5d\00\5d\01\5d\02\5d\03\5d\04"
+)
+(module instance)