| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
The only ones that are failing are imports, exports, linking and start.
Fixes:
* Make sure to assign loc_ for WasmVar
* Imports must occur before any definition, not just a definition of the
same kind
* Check that load/store alignment is not larger than natural alignment
* Always check type stack at the end of the check_block; that way an
empty block is still validated
* Only allow one memory or table, including imports
* Don't allow importing or exporting mutable globals
* Loop label signature is for the fallthrough at the bottom, not the
branch target. This was implemented properly in the AST checker, but
not in binary-reader-interpreter
* `top_type_is_any` will check if there is ANY anywhere on the type
stack; previously this check did not look past the top label's type
stack limit
* `drop_types_for_return` may be called without having enough values on
the type stack; for example, at the end of a function the ends with
return
* properly handle cleaning up the type stack for the interpreter when
branching to the implicit function label
* rename invoke -> action a few places
|
