1733655 - Enable non-MVP features with wasm-smith fuzzing

Status: RESOLVED FIXED

(Core :: JavaScript: WebAssembly, task, P3)

Description

[Ryan Hunt [:rhunt] (on leave until early May)]

wasm-smith has a config option that allows enabling non-MVP features. We should enable these. We should also update our wasm-smith for exception-handling support.

Comment 1

[Ryan Hunt [:rhunt] (on leave until early May)]

Attachment: WIP: Bug 1733655 - wasm: Create prototype for exception if it's not already created.

Comment 2

[Ryan Hunt [:rhunt] (on leave until early May)]

Attachment: Bug 1733655 - wasm: Update wasm-smith for exception-handling support. r?decoder

Update the vendored copy of wasm-smith to 0.8.0.

Depends on D127297

Comment 3

[Ryan Hunt [:rhunt] (on leave until early May)]

Attachment: Bug 1733655 - wasm: Enable non-MVP features that we have support for in wasm-smith. r?decoder

Add and use a manual config implementation that enables proposals
that we have any amount of support for. This commit does not enable
any features on the runtime side that aren't enabled by default.

Depends on D127298

Comment 4

[Ryan Hunt [:rhunt] (on leave until early May)]

There is one patch attached that fixes a non-security issue I found while running fuzzing with these patches. Upon further review of the code, I believe the patch may be unnecessary and only fixes an issue due to how my local patch enabled exception-handling support in the fuzzer. I need to do some more investigation on it.

Comment 5

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/393b1a897117
wasm: Update wasm-smith for exception-handling support. r=decoder
https://hg.mozilla.org/integration/autoland/rev/519f76cce21a
wasm: Enable non-MVP features that we have support for in wasm-smith. r=decoder

Comment 6

[Natalia Csoregi [:nataliaCs]]

https://hg.mozilla.org/mozilla-central/rev/393b1a897117
https://hg.mozilla.org/mozilla-central/rev/519f76cce21a