1717895 - Vendor Wasm exception handling spec tests

Status: RESOLVED FIXED

(Core :: JavaScript: WebAssembly, enhancement, P2)

Description

[Asumu Takikawa]

Core spec tests for the Wasm exception handling proposal were merged recently (https://github.com/WebAssembly/exception-handling/pull/160) so it's now possible to vendor these tests into jit-tests.

I've already tried importing these and running them before they were merged, and the tests will pass with some minor changes (in wasm-tools and wast2js) for the Baseline implementation.

I think it makes sense to wait until the events to tag renaming is resolved to vendor the tests.

Comment 1

[Asumu Takikawa]

Attachment: Bug 1717895 - Bump wast version and handle assert_exception

This updates wast2js to be able to handle exception handling
core spec tests.

Comment 2

[Asumu Takikawa]

Attachment: Bug 1717895 - Vendor latest Wasm spec tests

Now includes the exception handling proposal test repo in the
generate-spectests configuration.

Depends on D123403

Comment 3

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/16701eb65706
Bump wast version and handle assert_exception r=rhunt
https://hg.mozilla.org/integration/autoland/rev/f6f4514d09bf
Vendor latest Wasm spec tests r=rhunt

Comment 4

[Alexandru Michis [:malexandru]]

https://hg.mozilla.org/mozilla-central/rev/16701eb65706
https://hg.mozilla.org/mozilla-central/rev/f6f4514d09bf