Re: Hoopl vs LLVM?

On 12.12 09:06, Greg Fitzgerald wrote:

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

I think what happens is that in GHC the Hoopl optimizations are performed before the CPS transformation whereas LLVM runs after the transformation. So Hoopl will have the access to the easier version of the above code and LLVM to the more difficult one. Cheers, Michal