[LLVMdev] [PATCH] Symbol offsets

Ben Gamari bgamari.foss at gmail.com
Mon Nov 3 10:55:47 PST 2014


Reid Kleckner <rnk at google.com> writes:

> +the people I hashed this out with so many months ago
>
> I think it's a reasonable proposal, but obviously I floated it. :) Let's
> try to get a second opinion.
>
> Again, it's a syntax something like:
> define void @foo() prefix [i8* x 2] { i8* @a, i8* @b } prologue [i8 x 4]
> c"\xde\xad\xbe\xef" { ret void }
>
As I've said previously, this syntax looks great to me. I haven't yet
written any code against this interface but I see no reason why we
wouldn't be able to use this to implement tables-next-to-code.

Gabor's suggestion of prefix data on basic blocks is interesting but I'm
not sure how this would be realized syntactically.

Either way, would it be possible to see something like this in LLVM
3.6. For a variety of reasons the TNTC hack GHC's LLVM backend currently
uses is becoming rather burdensome. It would be great to have a more
principled approach soon.

Cheers,

- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141103/24f608e7/attachment.sig>


More information about the llvm-dev mailing list