On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow <marlo...@gmail.com> 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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to