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.

1 files changed, 10 insertions, 2 deletions

diff --git a/test/binaryen.js/push-pop.js.txt b/test/binaryen.js/push-pop.js.txt
index bf4c5fd8c..00fbd58b9 100644
--- a/test/binaryen.js/push-pop.js.txt
+++ b/test/binaryen.js/push-pop.js.txt
@@ -17,9 +17,15 @@
    (v128.pop)
   )
   (push
+   (funcref.pop)
+  )
+  (push
    (anyref.pop)
   )
   (push
+   (nullref.pop)
+  )
+  (push
    (exnref.pop)
   )
  )
@@ -30,6 +36,8 @@ getExpressionInfo(i64.pop) = {"id":39,"type":3}
 getExpressionInfo(f32.pop) = {"id":39,"type":4}
 getExpressionInfo(f64.pop) = {"id":39,"type":5}
 getExpressionInfo(v128.pop) = {"id":39,"type":6}
-getExpressionInfo(anyref.pop) = {"id":39,"type":7}
-getExpressionInfo(exnref.pop) = {"id":39,"type":8}
+getExpressionInfo(funcref.pop) = {"id":39,"type":7}
+getExpressionInfo(anyref.pop) = {"id":39,"type":8}
+getExpressionInfo(nullref.pop) = {"id":39,"type":9}
+getExpressionInfo(exnref.pop) = {"id":39,"type":10}
 getExpressionInfo(push) = {"id":38}