It would be great if firm produced code for WebAssembly. Currently, only LLVM and Binaryen can do this. But LLVM is too huge, and Binaryen mostly good for low-level optimization of the wasm stack machine, but weak in intermediate speculative optimizations. Firm could be a good alternative.