WebAssembly-Optimierung

Analysiert ein binäres WebAssembly-Modul, faltet konstante Ausdrücke, entfernt Code nach abschließenden Anweisungen und ungenutzte lokale Variablen und gibt ein kleineres Modul aus. Das Ergebnis wird durch Ausführung in einer eigenen Sandbox geprüft: Größe vorher und nachher, jede Änderung und das echte Aufrufergebnis.

Parses a binary WebAssembly module, folds constant expressions, removes code after terminating instructions and unused locals, and then emits a smaller module. The result is verified by running it in an own sandbox: the size before and after, every change and the real call result are shown.