Atomic instructions are not fuzzed

[alexcrichton]

Currently wasm-smith doesn't generate any atomic instructions at all, meaning there's no fuzz coverage of atomics. Before re-enabling threads as tier 1 we should ensure that this is taken care of.

[github-actions]

Subscribe to Label Action

cc @fitzgen

Details

This issue or pull request has been labeled: "fuzzing"

Thus the following users have been cc'd because of the following labels:

• fitzgen: fuzzing

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

[fitzgen]

Filed an upstream issue for adding this support to wasm-smith: bytecodealliance/wasm-tools#2384

[danielvallance]

should this be closed now that bytecodealliance/wasm-tools#2386 has been merged ?

[alexcrichton]

Not quite unfortunately. Fuzzing of threads was disabled in #12036 and even with an update to wasm-tools Wasmtime still won't be fuzzing these instructions. Fuzzing currently can't happen due to ResourceLimiter not applying to shared memories, and that'll need to get fixed to turn this back on.