Superoptimization of WebAssembly Bytecode

Authors :: Cabrera-Arteaga, Javier
Donde, Shrinish
Gu, Jian
Floros, Orestis
Satabin, Lucas
Baudry, Benoit
Monperrus, Martin
Source :: Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)
Publication Year :: 2020
Abstract: 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.<br />Comment: 4 pages, 3 figures. Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)

Subjects :: Computer Science - Programming Languages
Computer Science - Software Engineering

Database :: arXiv
Journal :: Proceedings of MoreVMs: Workshop on Modern Language Runtimes, Ecosystems, and VMs (2020)
Publication Type :: Report
Accession number :: edsarx.2002.10213
Document Type :: Working Paper
Full Text :: https://doi.org/10.1145/3397537.3397567