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 /src/tools | |
| 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 'src/tools')
| -rw-r--r-- | src/tools/spectest-interp.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/spectest-interp.cc b/src/tools/spectest-interp.cc index 643c10f2..ce59f3d7 100644 --- a/src/tools/spectest-interp.cc +++ b/src/tools/spectest-interp.cc @@ -839,7 +839,7 @@ static void InitEnvironment(Environment* env) { host_module->AppendFuncExport("print_f64_f64", {{Type::F64, Type::F64}, {}}, PrintCallback); - host_module->AppendTableExport("table", Limits(10, 20)); + host_module->AppendTableExport("table", Type::Anyfunc, Limits(10, 20)); host_module->AppendMemoryExport("memory", Limits(1, 2)); host_module->AppendGlobalExport("global_i32", false, uint32_t(666)); |