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