On 12/12/12 17:06, Greg Fitzgerald wrote:
On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow <marlo...@gmail.com
<mailto:marlo...@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


_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to