LLVM and other compilers that use SSA but target a stack machine can run a stackification phase. Even without reordering instructions, it seems to work well in

LLVM and other compilers that use SSA but target a stack machine can run a stackification phase. Even without reordering instructions, it seems to work well in practice. In Virgil I implemented this for both the JVM and Wasm. Here's the algorithm used for Wasm: https://github.com/titzer/virgil/blob/master/aeneas/src/mach/MachStackifier.v3 https://github.com/titzer/virgil/blob/master/aeneas/src/mach...