diff options
| author | Heejin Ahn <aheejin@gmail.com> | 2019-12-30 17:55:20 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-30 17:55:20 -0800 |
| commit | bcc76146fed433cbc8ba01a9f568d979c145110b (patch) | |
| tree | ab70ad24afc257b73513c3e62f3aab9938d05944 /test/spec/ref_null.wast | |
| parent | a30f1df5696ccb3490e2eaa3a9ed5e7e487c7b0e (diff) | |
| download | binaryen-bcc76146fed433cbc8ba01a9f568d979c145110b.tar.gz binaryen-bcc76146fed433cbc8ba01a9f568d979c145110b.tar.bz2 binaryen-bcc76146fed433cbc8ba01a9f568d979c145110b.zip | |
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.
Diffstat (limited to 'test/spec/ref_null.wast')
| -rw-r--r-- | test/spec/ref_null.wast | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/spec/ref_null.wast b/test/spec/ref_null.wast new file mode 100644 index 000000000..96cac314a --- /dev/null +++ b/test/spec/ref_null.wast @@ -0,0 +1,13 @@ +(module + (func (export "anyref") (result anyref) (ref.null)) + (func (export "funcref") (result funcref) (ref.null)) + (func (export "nullref") (result nullref) (ref.null)) + + (global anyref (ref.null)) + (global funcref (ref.null)) + (global nullref (ref.null)) +) + +(assert_return (invoke "anyref") (ref.null)) +(assert_return (invoke "funcref") (ref.null)) +(assert_return (invoke "nullref") (ref.null)) |