1 files changed, 150 insertions, 0 deletions
diff --git a/test/spec/exception-handling.wast b/test/spec/exception-handling.wast
index 95350b77b..c6da12eef 100644
--- a/test/spec/exception-handling.wast
+++ b/test/spec/exception-handling.wast
@@ -1,3 +1,153 @@
+(module
+  (tag $e-v)
+  (tag $e-i32 (param i32))
+  (tag $e-f32 (param f32))
+  (tag $e-i32-f32 (param i32 f32))
+
+  (func $throw_single_value (export "throw_single_value")
+    (throw $e-i32 (i32.const 5))
+  )
+
+  (func (export "throw_multiple_values")
+    (throw $e-i32-f32 (i32.const 3) (f32.const 3.5))
+  )
+
+  (func (export "try_table_nothrow") (result i32)
+    (block $tryend (result i32)
+      (drop
+        (block $catch (result i32)
+          (br $tryend
+            (try_table (result i32) (catch $e-i32 $catch)
+              (i32.const 3)
+            )
+          )
+        )
+      )
+      (i32.const 0)
+    )
+  )
+
+  (func (export "try_table_throw_catch") (result i32)
+    (block $tryend (result i32)
+      (drop
+        (block $catch (result i32)
+          (br $tryend
+            (try_table (result i32) (catch $e-i32 $catch)
+              (throw $e-i32 (i32.const 5))
+            )
+          )
+        )
+      )
+      (i32.const 3)
+    )
+  )
+
+  (func (export "try_table_throw_nocatch") (result i32)
+    (block $tryend (result i32)
+      (drop
+        (block $catch (result f32)
+          (br $tryend
+            (try_table (result i32) (catch $e-f32 $catch)
+              (throw $e-i32 (i32.const 5))
+            )
+          )
+        )
+      )
+      (i32.const 3)
+    )
+  )
+
+  (func (export "try_table_throw_catchall") (result i32)
+    (block $tryend (result i32)
+      (block $catch-all
+        (drop
+          (block $catch-f32 (result f32)
+            (br $tryend
+              (try_table (result i32) (catch $e-f32 $catch-f32) (catch_all $catch-all)
+                (throw $e-i32 (i32.const 5))
+              )
+            )
+          )
+        )
+        (br $tryend (i32.const 4))
+      )
+      (i32.const 3)
+    )
+  )
+
+  (func (export "try_table_call_catch") (result i32)
+    (block $tryend (result i32)
+      (block $catch (result i32)
+        (br $tryend
+          (try_table (result i32) (catch $e-i32 $catch)
+            (call $throw_single_value)
+            (unreachable)
+          )
+        )
+      )
+    )
+  )
+
+  (func (export "try_table_throw_multivalue_catch") (result i32) (local $x (tuple i32 f32))
+    (block $tryend (result i32)
+      (local.set $x
+        (block $catch (result i32) (result f32)
+          (br $tryend
+            (try_table (result i32) (catch $e-i32-f32 $catch)
+              (throw $e-i32-f32 (i32.const 5) (f32.const 1.5))
+            )
+          )
+        )
+      )
+      (tuple.extract 2 0
+        (local.get $x)
+      )
+    )
+  )
+
+  (func (export "try_table_throw_throw_ref") (local $x (tuple i32 exnref))
+    (block $tryend
+      (local.set $x
+        (block $catch (result i32) (result exnref)
+          (try_table (catch_ref $e-i32 $catch)
+            (throw $e-i32 (i32.const 5))
+          )
+          (br $tryend)
+        )
+      )
+      (throw_ref
+        (tuple.extract 2 1
+          (local.get $x)
+        )
+      )
+    )
+  )
+
+  (func (export "try_table_call_throw_ref")
+    (block $tryend
+      (throw_ref
+        (block $catch (result exnref)
+          (try_table (catch_all_ref $catch)
+            (call $throw_single_value)
+          )
+          (br $tryend)
+        )
+      )
+    )
+  )
+)
+
+(assert_exception (invoke "throw_single_value"))
+(assert_exception (invoke "throw_multiple_values"))
+(assert_return (invoke "try_table_nothrow") (i32.const 3))
+(assert_return (invoke "try_table_throw_catch") (i32.const 3))
+(assert_exception (invoke "try_table_throw_nocatch"))
+(assert_return (invoke "try_table_throw_catchall") (i32.const 3))
+(assert_return (invoke "try_table_call_catch") (i32.const 5))
+(assert_return (invoke "try_table_throw_multivalue_catch") (i32.const 5))
+(assert_exception (invoke "try_table_throw_throw_ref"))
+(assert_exception (invoke "try_table_call_throw_ref"))
+
 (assert_invalid
   (module
     (tag $e-i32 (param i32))