Re: Hoopl vs LLVM?

On 12/12/12 17:06, Greg Fitzgerald wrote:
> On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow <[email protected]
> <mailto:[email protected]>> 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.

We can run Hoopl passes on the pre-CPS code, but LLVM only sees the 
post-CPS code.

Cheers,
	Simon