Hoopl vs LLVM?

[Johan Tibell]

On Tue, Dec 11, 2012 at 11:16 AM, Simon Peyton-Jones
<simonpj at microsoft.com> wrote:
> Notice that the stack is now *explicit* rather than implicit, and LLVM has no hope of moving the assignment to z past the call to g (which is trivial in the original).  I can explain WHY we do this (there is stuff on the wiki) but the fact is that we do, and it's no accident.

I'd definitely be interesting in understanding why as it, like you
say, makes it harder for LLVM to understand what our code does and
optimize it well.

-- Johan