[llvm-dev] Spill code
fateme Hoseini via llvm-dev
llvm-dev at lists.llvm.org
Thu May 5 19:37:33 PDT 2016
Thanks for your reply. My goal is to do some optimizations on the final
assembly code. I want to do register renaming in the code hotspot and I
need to spill some registers before entering some loops. And later, reload
them after exiting the loop.
So I guess I don't want it to be in the SelectionDAG, it's after register
allocation and everything and before emitting the instructions.
My target architecture is ARM. I have a sample code like this:
str r2, [sp, #8] @ 4-byte Spill
ldrb r2, [r4, r12]!
and in another code
str r1, [sp, #52] @ 4-byte Spill
and both of them are the first spills in the code. so why #8 in one and #52
in the other?
Now assume I want to spill some variable at the end of some basic blocks in
a program, I should create a store and give it an offset, but how to decide
what it should be.
On Thu, May 5, 2016 at 10:21 PM, Tim Northover <t.p.northover at gmail.com>
> Hi Fateme,
> On 5 May 2016 at 19:10, fateme Hoseini via llvm-dev
> <llvm-dev at lists.llvm.org> wrote:
> > Is it possible to add a spill code (a pair of store /load ) to the
> > machinecode in a pass before the instruction emitter?
> Do you mean during the SelectionDAG phase? If so, the very rough
> outline would be something like:
> MachineFrameInfo *MFI = MF.getFrameInfo();
> int Idx = MFI->CreateStackObject(Size, Align);
> SDValue FI = DAG.getFrameIndex(Idx, PtrVT);
> DAG.getStore(Chain, DL, WhateverVal, FI);
> The keyword to grep for in the existing code is probably
> "CreateStackObject", possibly also "CreateFixedObject" (see later).
> Various backends to something along those lines for arguments that get
> passed in on the stack and so on.
> > If so, how can I calculate the address (offset to the sp) for the spill
> > instructions?
> The offset to SP during the function's execution isn't decided until
> much later (LLVM may need more or less stack space depending on how
> many spills *it* decides is necessary). For things that don't need to
> have a fixed location, you usually don't need to know it early either
> so you'd just use instructions referencing the FrameIndex. Later
> passes will then fill in the offsets properly.
> If you really, really want to you can use CreateFixedObject, which
> will have a set position relative to SP immediately on function entry,
> but you'd have to be aware of and handle that in XYZFrameLowering too,
> I expect.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev