Superoptimization of WebAssembly Bytecode
This work addresses performance optimization for WebAssembly, a widely adopted web technology, though it appears incremental as it builds on existing tools like LLVM and Souper.
The authors tackled the problem of optimizing WebAssembly bytecode by proposing the first functional superoptimization pipeline, which improved code section size for 8 out of 12 tested programs from the Rosetta code project.
Motivated by the fast adoption of WebAssembly, we propose the first functional pipeline to support the superoptimization of WebAssembly bytecode. Our pipeline works over LLVM and Souper. We evaluate our superoptimization pipeline with 12 programs from the Rosetta code project. Our pipeline improves the code section size of 8 out of 12 programs. We discuss the challenges faced in superoptimization of WebAssembly with two case studies.