WebAssembly / WebAssembly/binaryen
Validate by default?
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 8.6k
- Forks
- 885
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 69
Description
Binaryen tools validate the wasm input by default (there is a flag to disable it). On a 200MB wasm file I'm looking at now, it takes 30% of the time (over 10 seconds) in a debug build (in an optimized one, the opts make it not matter).
Should we keep validating by default? Rarely it catches an LLVM bug, but not that often.
Maybe we could not validate by default, but only validate when verbose debugging is used? Like BINARYEN_PASS_DEBUG is set, or in emscripten, EMCC_DEBUG?
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by examining the Binaryen tools' default wasm validation path and the effects of BINARYEN_PASS_DEBUG and EMCC_DEBUG. Compare validation cost on the noted debug and optimized builds, then determine and document the agreed default behavior; the issue is done when that policy is decided and implemented with supporting measurements.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, wasm
- Domain
- compilers, performance
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100