Hoopl vs LLVM?

On 12/12/12 17:06, Greg Fitzgerald wrote:
> On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow <marlowsd at gmail.com> <mailto: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.
We can run Hoopl passes on the pre-CPS code, but LLVM only sees the
post-CPS code.
Cheers,
Simon