diff options
author | Ben Smith <binji@chromium.org> | 2020-05-28 11:30:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-28 11:30:38 -0700 |
commit | bf46c08b05fc6fcc457f1657e936fab24b4dceee (patch) | |
tree | f57a19c670a3e222896c252c829d5eb5ec4db6d2 /test/roundtrip | |
parent | 0630dc53755678239d7609b61776b125221eefb8 (diff) | |
download | wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.tar.gz wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.tar.bz2 wabt-bf46c08b05fc6fcc457f1657e936fab24b4dceee.zip |
Reference types changes to remove subtyping (#1407)
Main changes:
* Rename `anyref` -> `externref`
* Remove `nullref`
* Rename `hostref` -> `externref`
* `ref.null` and `ref.is_null` now have "ref kind" parameter
* Add ref kind keywords: `func`, `extern`, `exn`
Diffstat (limited to 'test/roundtrip')
-rw-r--r-- | test/roundtrip/bulk-memory.txt | 4 | ||||
-rw-r--r-- | test/roundtrip/fold-reference-types.txt | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/roundtrip/bulk-memory.txt b/test/roundtrip/bulk-memory.txt index 3c932961..a84135ea 100644 --- a/test/roundtrip/bulk-memory.txt +++ b/test/roundtrip/bulk-memory.txt @@ -39,7 +39,7 @@ (func) (data "hi") - (elem funcref (ref.func 0) (ref.null)) + (elem funcref (ref.func 0) (ref.null func)) (elem func 1) ) @@ -72,7 +72,7 @@ (func (;1;) (type 0)) (table (;0;) 0 funcref) (memory (;0;) 0) - (elem (;0;) funcref (ref.func 0) (ref.null)) + (elem (;0;) funcref (ref.func 0) (ref.null func)) (elem (;1;) func 1) (data (;0;) "hi")) ;;; STDOUT ;;) diff --git a/test/roundtrip/fold-reference-types.txt b/test/roundtrip/fold-reference-types.txt index 23412a5f..54a6c150 100644 --- a/test/roundtrip/fold-reference-types.txt +++ b/test/roundtrip/fold-reference-types.txt @@ -2,7 +2,7 @@ ;;; ARGS: --stdout --fold-exprs --enable-reference-types (module - (table $t 1 anyref) + (table $t 1 externref) (func i32.const 0 i32.const 0 @@ -18,5 +18,5 @@ (i32.const 0) (table.get 0 (i32.const 0)))) - (table (;0;) 1 anyref)) + (table (;0;) 1 externref)) ;;; STDOUT ;;) |