Re: Hoopl vs LLVM?

On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow wrote:

Now, all that LLVM knows is that z was read from Sp[8], it has no more information about its value.

Are you saying Hoopl can deduce the original form from the CPS-version? Or that LLVM can't encode the original form? Or within GHC, LLVM is thrown in late in the game, where neither Hoopl nor LLVM can be of much use. -Greg