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