Runtime error using LLVM bitcode execution

Mikhail Glushenkov the.dead.shall.rise at
Mon Mar 3 12:30:06 UTC 2014

Hello Simon,

On 3 March 2014 09:39, Simon Marlow <marlowsd at> wrote:
> I believe the problem is that we can't represent the output of the mangler
> in LLVM's intermediate language as it stands.  Although I think it may now
> be possible to do this with LLVM 3.4:
> GHC's code generator needs to be updated to take advantage of this.  Is
> anyone interested in looking into it?

IIUC, GHC can't take advantage of this yet, because global symbol
offsets [1] are not yet implemented. LLVM currently doesn't allow
arbitrary function prefix data, but requires prefix data to "begin
with a sequence of bytes which decode to a sequence of machine
instructions, [...] which transfer control to the point immediately
succeeding the prefix data" [2].


More information about the ghc-devs mailing list