I think the extra load&#x2F;stores clutter the IL.<p>Also, QBE does not really &quot;alternate&quot; SSA&#x2F;non-SSA, SSA form is built once at the beginning of the compilation pipeline and preserved later.<p>I don&#x27;t understand what you mean by &quot;fully pruned programs&quot;. Maybe you want to refer to pruned SSA form. And then, here is my point: with LLVM, either you build SSA yourself or you use allocas. QBE offers a convenient third option.