A Brief Tour of Binaryen
summary
Binaryen is an open source WebAssembly optimizer and toolkit (C++ library and npm package) that provides wasm-opt, a disassembler, interpreter, linker, wasm-split, wasm2js and wasm-reduce; running its passes typically yields about 2x performance on Java→Wasm outputs and 4x code-size reduction (9x if initial dead-code elimination runs). Its IR is an AST not SSA, so it uses tuples and scratch locals and special types like none/unreachable; a parallel pass runner, validator, and a new lattice-based static-analysis framework are implemented and actively used.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 2:11What is Binaryen
- 3:57Toolkit and ecosystem
- 8:55Performance and size
- 9:36Development and maintenance
- 11:03Binaryen’s intermediate representation design
- 19:16IR processing with passes
- 25:26Static analysis in Binaryen
- 32:36Open source contributions
- 32:58Q&A
