diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2019-02-14 11:07:03 -0600 |
|---|---|---|
| committer | Ben Smith <binjimin@gmail.com> | 2019-02-14 09:07:03 -0800 |
| commit | 2b33a37dc49c033ba9b34f438233f204002415d9 (patch) | |
| tree | c7c091542e4287b2e19dfb644e5186ce42235cf0 /test/typecheck | |
| parent | 19191efaf1b5b92b0357b303be1b25cf439be9a2 (diff) | |
| download | wabt-2b33a37dc49c033ba9b34f438233f204002415d9.tar.gz wabt-2b33a37dc49c033ba9b34f438233f204002415d9.tar.bz2 wabt-2b33a37dc49c033ba9b34f438233f204002415d9.zip | |
Add support for the reference types proposal (#938)
* Add support for the reference types proposal
This commit adds support for the reference types proposal to wabt.
Namely it adds new opcodes like `table.{get,set,grow}` as well as adds a
new `anyref` type. These are plumbed throughout for various operations
in relatively simple fashions, no support was added for a subtyping
relationship between `anyref` and `anyfunc` just yet.
This also raises the restriction that multiple tables are disallowed,
allowing multiple tables to exist when `--enable-reference-types` is
passed.
* Allow nonzero table indices in `call_indirect`
Plumb support throughout for the `call_indirect` instruction (and
`return_call_indirect`) to work with multi-table modules according to
the reference types proposal.
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/bad-bulk-memory-no-table.txt | 6 | ||||
| -rw-r--r-- | test/typecheck/bad-reference-types-no-table.txt | 20 | ||||
| -rw-r--r-- | test/typecheck/bad-returncallindirect-no-table.txt | 2 |
3 files changed, 24 insertions, 4 deletions
diff --git a/test/typecheck/bad-bulk-memory-no-table.txt b/test/typecheck/bad-bulk-memory-no-table.txt index 5d5ecc16..f7cad08e 100644 --- a/test/typecheck/bad-bulk-memory-no-table.txt +++ b/test/typecheck/bad-bulk-memory-no-table.txt @@ -10,19 +10,19 @@ ) ) (;; STDERR ;;; -out/test/typecheck/bad-bulk-memory-no-table.txt:7:41: error: table.init requires an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:7:41: error: table.init requires table 0 to be an imported or defined table. i32.const 0 i32.const 0 i32.const 0 table.init 0 ^^^^^^^^^^ out/test/typecheck/bad-bulk-memory-no-table.txt:7:52: error: elem_segment variable out of range (max 0) i32.const 0 i32.const 0 i32.const 0 table.init 0 ^ -out/test/typecheck/bad-bulk-memory-no-table.txt:8:5: error: elem.drop requires an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:8:5: error: elem.drop requires table 0 to be an imported or defined table. elem.drop 0 ^^^^^^^^^ out/test/typecheck/bad-bulk-memory-no-table.txt:8:15: error: elem_segment variable out of range (max 0) elem.drop 0 ^ -out/test/typecheck/bad-bulk-memory-no-table.txt:9:41: error: table.copy requires an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:9:41: error: table.copy requires table 0 to be an imported or defined table. i32.const 0 i32.const 0 i32.const 0 table.copy ^^^^^^^^^^ ;;; STDERR ;;) diff --git a/test/typecheck/bad-reference-types-no-table.txt b/test/typecheck/bad-reference-types-no-table.txt new file mode 100644 index 00000000..0c0449ee --- /dev/null +++ b/test/typecheck/bad-reference-types-no-table.txt @@ -0,0 +1,20 @@ +;;; TOOL: wat2wasm +;;; ARGS: --enable-reference-types +;;; ERROR: 1 + +(module + (func + i32.const 0 + i32.const 0 + table.get $t + table.set $t + ) +) +(;; STDERR ;;; +out/test/typecheck/bad-reference-types-no-table.txt:9:15: error: undefined table variable "$t" + table.get $t + ^^ +out/test/typecheck/bad-reference-types-no-table.txt:10:15: error: undefined table variable "$t" + table.set $t + ^^ +;;; STDERR ;;) diff --git a/test/typecheck/bad-returncallindirect-no-table.txt b/test/typecheck/bad-returncallindirect-no-table.txt index c9b8d3f0..24c7f808 100644 --- a/test/typecheck/bad-returncallindirect-no-table.txt +++ b/test/typecheck/bad-returncallindirect-no-table.txt @@ -9,7 +9,7 @@ return_call_indirect) ) (;; STDERR ;;; -out/test/typecheck/bad-returncallindirect-no-table.txt:9:5: error: found return_call_indirect operator, but no table +out/test/typecheck/bad-returncallindirect-no-table.txt:9:5: error: return_call_indirect requires table 0 to be an imported or defined table. return_call_indirect) ^^^^^^^^^^^^^^^^^^^^ ;;; STDERR ;;) |