Hoopl vs LLVM?

[Greg Fitzgerald]

On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow <marlowsd at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20121212/a9bb6376/attachment.htm>