Dummy interpreter support for EH (#2774)

This adds dummy interpreter support for EH instructions, mainly for
fuzzing. The plan is to make the interpreter support for EH instructions
correctly using Asyncify in the future. Also to support the correct
behavior we will need a `Literal` of `exnref` type too, which will be
added later too.

Currently what this dummy implementation does is:
- `try`-`catch`-`end`: only runs `try` body and ignores `catch` body
- `throw`: traps
- `retyrow`:
  - Traps on nullref argument (correct behavior based on the spec)
  - Traps otherwise too (dummy implementation for now)
- `br_on_exn`:
  - Traps on nullref (correct behavior)
  - Otherwise we assume the current expression matches the current event
    and extracts a 0 literal based on the current type.

This also adds some interpreter tests, which tests the basic dummy
behaviors for now. (Deleted tests are the ones that weren't tested
before.)

1 files changed, 25 insertions, 15 deletions

diff --git a/test/spec/exception-handling.wast b/test/spec/exception-handling.wast
index d81bd433c..6e0ca9055 100644
--- a/test/spec/exception-handling.wast
+++ b/test/spec/exception-handling.wast
@@ -2,29 +2,39 @@
   (event $e0 (attr 0) (param i32))
   (event $e1 (attr 0) (param i32 f32))
 
-  (func $exnref_test (param $0 exnref) (result exnref)
-    (local.get $0)
+  (func (export "throw_test")
+    (throw $e0 (i32.const 0))
   )
 
-  (func $eh_test (local $exn exnref)
-    (try
-      (throw $e0 (i32.const 0))
+  (func (export "rethrow_test")
+    (rethrow (ref.null))
+  )
+
+  (func (export "try_test") (result i32)
+    (try (result i32)
+      (i32.const 3)
       (catch
-        ;; Multi-value is not available yet, so block can't take a value from
-        ;; stack. So this uses locals for now.
-        (local.set $exn (exnref.pop))
-        (drop
-          (block $l0 (result i32)
-            (rethrow
-              (br_on_exn $l0 $e0 (local.get $exn))
-            )
-          )
-        )
+        (drop (exnref.pop))
+        (i32.const 3)
       )
     )
   )
+
+  (func (export "br_on_exn_test") (result i32)
+    (block $l0 (result i32)
+      (drop
+        (br_on_exn $l0 $e0 (ref.null))
+      )
+      (i32.const 0)
+    )
+  )
 )
 
+(assert_trap (invoke "throw_test"))
+(assert_trap (invoke "rethrow_test"))
+(assert_return (invoke "try_test") (i32.const 3))
+(assert_trap (invoke "br_on_exn_test"))
+
 (assert_invalid
   (module
     (func $f0