Clemens Backes

[memory64] Optimization failures on memory.size

1

wasm-opt fails to process this code with `--enable-memory64 -O3`: ``` (module (type $i32_i64_=>_i32 (func (param i32 i64) (result i32))) (type $none_=>_none (func)) (memory $0 i64 256 256) (export "main" (func...

assert_invalid and assert_malformed produce inconsistent JS tests

6

I observed this on the [address.wast](https://github.com/WebAssembly/spec/blob/main/test/core/address.wast#L213) test, line 213: ``` (assert_malformed (module quote "(memory 1)" "(func (drop (i32.load offset=4294967296 (i32.const 0))))" ) "i32 constant" ) ``` Converted to JS via...

Adapt class decl regexp to match V8's decorators

3

This also allows digits in class decorators, to also match macros like V8_EXPORT_PRIVATE.

The limit was raised to 100 memories in #27, but the `test/js-api/limits.any.js` test still tests for 1 memory: https://github.com/WebAssembly/multi-memory/blob/main/test/js-api/limits.any.js#L20

js-api tests broken after #1796

9

I don't have time to investigate this further currently (and my OCaml knowledge is limited), but after #1796 we now fail most tests in the memory64 and js-promise-integration repositories, which...

Interpreter does not compile

5

Building the interpreter (running `make -C interpreter`) currently fails with this error: ``` $ make -C interpreter echo >_tags "true: bin_annot" echo >>_tags "true: debug" echo >>_tags ": for-pack(Wasm)" ocamlbuild...

I believe the current JS-API spec underspecifies the behavior of `WebAssembly.instantiate(bytes)` when `WebAssembly.Module` has been modified to include a `then` method (making the module a "thenable"). Reproducer: ``` const bytes...

Remove duplicate (broken) definition of `assert_ArrayBuffer`

10

This was removed from the upstream test in https://github.com/WebAssembly/spec/commit/cc2d59bd56e5342e3c1834a7699915f8b67fc29c. The `assert_ArrayBuffer` helper is now defined in the `assertions.js` file. The version there does not have the problem with `self`. This...