llvm dev - Jun 2013 - [LLVMdev] Contants generation

Hi,

I'd like to generate constants inside .text in order to use ip-relative
loads, when the code model is "large".
How can I do this?
(I'm on X86_64 linux)

Thank you.

-        Elena



---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20130624/e2c2535a/attachment.html>

Hi Elena,
> I’d like to generate constants inside .text in order to use ip-relative
> loads, when the code model is “large”.
I don't think this is a sequence the x86 backend supports at the
moment, but it is how ARM handles its constant-pools. The outline is
that you have a pass which looks through a functions constpool uses
and emits a pseudo-instruction for each, which is then handled in the
AsmPrinter.

ARM has the added complication that the instructions accessing these
constants are of limited range, which means lots of extra complexity
making sure they can be reached when needed. This is probably
unnecessary with x86's +/- 2GB limit. Any single function over 2GB in
size has bigger problems than where its constants are.

Actually, originally the AArch64 backend did the same thing but I
switched to the x86 model back in February. Which means thar r175258
is a nice potted (but reversed) description of all the steps needed.
Ignore the more baroque parts of AArch64ConstantIslandsPass.cpp, yours
will probably only have to add a bunch of CONSTPOOL_ENTRYs at the end
of the function (the doInitialPlacement method, though even that does
more than you need).

I'll watch with interest to see how you handle it, AArch64 will
probably have the same issues in the large code model.

Cheers.

Tim.

Hi again,

Actually, I've just been looking at the existing code and the ARM
solution may be over-complicated for this situation.

You should be able to override EmitConstantPool directly, or possibly
even just override getSectionForConstantKind in
X86LinuxTargetObjectFile (and perhaps others) to return .text.

Tim.