Not an LLVM developer, but I've given my thoughts at [1]. The QBE developer agrees fwiw[2], and there is some other interesting discussion in that thread, in p

Not an LLVM developer, but I've given my thoughts at [1]. The QBE developer agrees fwiw[2], and there is some other interesting discussion in that thread, in particular comparing block parameters to CPS. (Which I think is appropriate for a functional-language compiler, but makes less sense for an imperative-language compiler which must manage mutability and which tends to be less focused on interprocedural optimizations.) 1. https://groups.google.com/g/comp.compilers/c/73kOI_S7r5A https://groups.google.com/g/comp.compilers/c/73kOI_S7r5A. (Sorry for g groups link; comp.compilers website mangles unicode—my fault—and narkive doesn't seem to have the post.) 2. https://www.reddit.com/r/Compilers/comments/5tq6mo/a_common_flaw_in_ssa_intermediate_representations/ddouldu/ https://www.reddit.com/r/Compilers/comments/5tq6mo/a_common_...