Skip to content

[Relaxed SIMD] Fix validation and fuzzer handling - #8967

Merged
kripken merged 5 commits into
WebAssembly:mainfrom
kripken:v8.two.relaxe
Aug 4, 2026
Merged

[Relaxed SIMD] Fix validation and fuzzer handling#8967
kripken merged 5 commits into
WebAssembly:mainfrom
kripken:v8.two.relaxe

Conversation

@kripken

@kripken kripken commented Aug 4, 2026

Copy link
Copy Markdown
Member
  1. An opcode was not noted as requiring the feature.
  2. Like NaNs, we can't optimize wasms and then compare them, if relaxed SIMD is enabled.

@kripken
kripken requested a review from brendandahl August 4, 2026 18:04
@kripken
kripken requested a review from a team as a code owner August 4, 2026 18:04
@kripken
kripken requested review from aheejin and removed request for a team August 4, 2026 18:04
Comment thread scripts/fuzz_opt.py Outdated
Comment on lines +867 to +868
# With nans or relaxed SIMD, VM differences can confuse us, so only very
# simple VMs can compare to themselves after binaryen opts in that case.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What are those very simple VMs?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm, good question, I guess only the binaryen interpreter itself, so this wasn't very clear. I rewrote it.

@kripken
kripken merged commit fc8f31c into WebAssembly:main Aug 4, 2026
16 checks passed
@kripken
kripken deleted the v8.two.relaxe branch August 4, 2026 23:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants