Re: Hoopl vs LLVM?

On 12/12/12 17:06, Greg Fitzgerald wrote:

On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow mailto:marlowsd@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.

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