Hoopl vs LLVM?
marlowsd at gmail.com
Thu Dec 13 09:32:59 CET 2012
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, 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
More information about the Glasgow-haskell-users