From bcc76146fed433cbc8ba01a9f568d979c145110b Mon Sep 17 00:00:00 2001
From: Heejin Ahn <aheejin@gmail.com>
Date: Mon, 30 Dec 2019 17:55:20 -0800
Subject: Add support for reference types proposal (#2451)

This adds support for the reference type proposal. This includes support
for all reference types (`anyref`, `funcref`(=`anyfunc`), and `nullref`)
and four new instructions: `ref.null`, `ref.is_null`, `ref.func`, and
new typed `select`. This also adds subtype relationship support between
reference types.

This does not include table instructions yet. This also does not include
wasm2js support.

Fixes #2444 and fixes #2447.
---
 test/exception-handling.wast.fromBinary | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'test/exception-handling.wast.fromBinary')

diff --git a/test/exception-handling.wast.fromBinary b/test/exception-handling.wast.fromBinary
index f83ad5d48..369b17dd9 100644
--- a/test/exception-handling.wast.fromBinary
+++ b/test/exception-handling.wast.fromBinary
@@ -66,5 +66,24 @@
    )
   )
  )
+ (func $subtype_test (; 4 ;)
+  (try
+   (nop)
+   (catch
+    (drop
+     (exnref.pop)
+    )
+    (drop
+     (block $label$3 (result i32)
+      (rethrow
+       (br_on_exn $label$3 $event$0
+        (ref.null)
+       )
+      )
+     )
+    )
+   )
+  )
+ )
 )
 
-- 
cgit v1.2.3