LLVM 24.0.0git
SparcFrameLowering.cpp
Go to the documentation of this file.
1//===-- SparcFrameLowering.cpp - Sparc Frame Information ------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the Sparc implementation of TargetFrameLowering class.
10//
11//===----------------------------------------------------------------------===//
12
13#include "SparcFrameLowering.h"
14#include "SparcInstrInfo.h"
16#include "SparcSubtarget.h"
24
25using namespace llvm;
26
27#define DEBUG_TYPE "sparc-frame-lowering"
28
31 ST.is64Bit() ? Align(16) : Align(8), 0,
32 ST.is64Bit() ? Align(16) : Align(8),
33 /*StackRealignable=*/false),
34 STI(ST) {}
35
36void SparcFrameLowering::emitSPAdjustment(MachineFunction &MF,
39 const DebugLoc &dl, int NumBytes,
40 unsigned ADDrr,
41 unsigned ADDri) const {
42
43 const SparcInstrInfo &TII =
44 *static_cast<const SparcInstrInfo *>(MF.getSubtarget().getInstrInfo());
45
46 if (NumBytes >= -4096 && NumBytes < 4096) {
47 BuildMI(MBB, MBBI, dl, TII.get(ADDri), SP::O6)
48 .addReg(SP::O6).addImm(NumBytes);
49 return;
50 }
51
52 // Emit this the hard way. This clobbers G1 which we always know is
53 // available here.
54 if (NumBytes >= 0) {
55 // Emit nonnegative numbers with sethi + or.
56 // sethi %hi(NumBytes), %g1
57 // or %g1, %lo(NumBytes), %g1
58 // add %sp, %g1, %sp
59 BuildMI(MBB, MBBI, dl, TII.get(SP::SETHIi), SP::G1)
60 .addImm(HI22(NumBytes));
61 BuildMI(MBB, MBBI, dl, TII.get(SP::ORri), SP::G1)
62 .addReg(SP::G1).addImm(LO10(NumBytes));
63 BuildMI(MBB, MBBI, dl, TII.get(ADDrr), SP::O6)
64 .addReg(SP::O6).addReg(SP::G1);
65 return ;
66 }
67
68 // Emit negative numbers with sethi + xor.
69 // sethi %hix(NumBytes), %g1
70 // xor %g1, %lox(NumBytes), %g1
71 // add %sp, %g1, %sp
72 BuildMI(MBB, MBBI, dl, TII.get(SP::SETHIi), SP::G1)
73 .addImm(HIX22(NumBytes));
74 BuildMI(MBB, MBBI, dl, TII.get(SP::XORri), SP::G1)
75 .addReg(SP::G1).addImm(LOX10(NumBytes));
76 BuildMI(MBB, MBBI, dl, TII.get(ADDrr), SP::O6)
77 .addReg(SP::O6).addReg(SP::G1);
78}
79
81 MachineBasicBlock &MBB) const {
83
84 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
86 const SparcSubtarget &Subtarget = MF.getSubtarget<SparcSubtarget>();
88
89 // Get the number of bytes to allocate from the FrameInfo
90 int NumBytes = (int) MFI.getStackSize();
91
92 unsigned SAVEri = SP::SAVEri;
93 unsigned SAVErr = SP::SAVErr;
94 if (FuncInfo->isLeafProc()) {
95 if (NumBytes == 0)
96 return;
97 SAVEri = SP::ADDri;
98 SAVErr = SP::ADDrr;
99 }
100
101 // The SPARC ABI is a bit odd in that it requires a reserved 92-byte
102 // (128 in v9) area in the user's stack, starting at %sp. Thus, the
103 // first part of the stack that can actually be used is located at
104 // %sp + 92.
105 //
106 // We therefore need to add that offset to the total stack size
107 // after all the stack objects are placed by
108 // PrologEpilogInserter calculateFrameObjectOffsets. However, since the stack needs to be
109 // aligned *after* the extra size is added, we need to disable
110 // calculateFrameObjectOffsets's built-in stack alignment, by having
111 // targetHandlesStackFrameRounding return true.
112
113
114 // Add the extra call frame stack size, if needed. (This is the same
115 // code as in PrologEpilogInserter, but also gets disabled by
116 // targetHandlesStackFrameRounding)
117 if (MFI.adjustsStack() && hasReservedCallFrame(MF))
118 NumBytes += MFI.getMaxCallFrameSize();
119
120 // Adds the SPARC subtarget-specific spill area to the stack
121 // size. Also ensures target-required alignment.
122 NumBytes = Subtarget.getAdjustedFrameSize(NumBytes);
123
124 // Finally, ensure that the size is sufficiently aligned for the
125 // data on the stack.
126 NumBytes = alignTo(NumBytes, MFI.getMaxAlign());
127
128 // Update stack size with corrected value.
129 MFI.setStackSize(NumBytes);
130
131 emitSPAdjustment(MF, MBB, MBBI, DebugLoc(), -NumBytes, SAVErr, SAVEri);
132
133 if (MF.needsFrameMoves()) {
135 if (FuncInfo->isLeafProc()) {
136 CFIBuilder.buildDefCFAOffset(NumBytes + Subtarget.getStackPointerBias());
137 } else {
138 CFIBuilder.buildDefCFARegister(SP::I6);
139 CFIBuilder.buildWindowSave();
140 CFIBuilder.buildRegister(SP::O7, SP::I7);
141 }
142 }
143}
144
148 if (!hasReservedCallFrame(MF)) {
149 MachineInstr &MI = *I;
150 int Size = MI.getOperand(0).getImm();
151 if (MI.getOpcode() == SP::ADJCALLSTACKDOWN)
152 Size = -Size;
153
154 if (Size)
155 emitSPAdjustment(MF, MBB, I, DebugLoc(), Size, SP::ADDrr, SP::ADDri);
156 }
157 return MBB.erase(I);
158}
159
160
162 MachineBasicBlock &MBB) const {
164 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
165 const SparcInstrInfo &TII =
166 *static_cast<const SparcInstrInfo *>(MF.getSubtarget().getInstrInfo());
167 DebugLoc dl = MBBI->getDebugLoc();
168 assert((MBBI->getOpcode() == SP::RETL || MBBI->getOpcode() == SP::TAIL_CALL ||
169 MBBI->getOpcode() == SP::TAIL_CALLri) &&
170 "Can only put epilog before 'retl' or 'tail_call' instruction!");
171 if (!FuncInfo->isLeafProc()) {
172 BuildMI(MBB, MBBI, dl, TII.get(SP::RESTORErr), SP::G0).addReg(SP::G0)
173 .addReg(SP::G0);
174 return;
175 }
176 MachineFrameInfo &MFI = MF.getFrameInfo();
177
178 int NumBytes = (int) MFI.getStackSize();
179 if (NumBytes != 0)
180 emitSPAdjustment(MF, MBB, MBBI, dl, NumBytes, SP::ADDrr, SP::ADDri);
181
182 // Preserve return address in %o7
183 if (MBBI->getOpcode() == SP::TAIL_CALL) {
184 MBB.addLiveIn(SP::O7);
185 BuildMI(MBB, MBBI, dl, TII.get(SP::ORrr), SP::G1)
186 .addReg(SP::G0)
187 .addReg(SP::O7);
188 BuildMI(MBB, MBBI, dl, TII.get(SP::ORrr), SP::O7)
189 .addReg(SP::G0)
190 .addReg(SP::G1);
191 }
192}
193
195 // Reserve call frame if there are no variable sized objects on the stack.
196 return !MF.getFrameInfo().hasVarSizedObjects();
197}
198
199// hasFPImpl - Return true if the specified function should have a dedicated
200// frame pointer register. This is true if the function has variable sized
201// allocas or if frame pointer elimination is disabled.
203 const MachineFrameInfo &MFI = MF.getFrameInfo();
204 return MF.disableFramePointerElim() || MFI.hasVarSizedObjects() ||
206}
207
210 Register &FrameReg) const {
211 const SparcSubtarget &Subtarget = MF.getSubtarget<SparcSubtarget>();
212 const MachineFrameInfo &MFI = MF.getFrameInfo();
213 const SparcRegisterInfo *RegInfo = Subtarget.getRegisterInfo();
215 bool isFixed = MFI.isFixedObjectIndex(FI);
216
217 // Addressable stack objects are accessed using neg. offsets from
218 // %fp, or positive offsets from %sp.
219 bool UseFP;
220
221 // Sparc uses FP-based references in general, even when "hasFP" is
222 // false. That function is rather a misnomer, because %fp is
223 // actually always available, unless isLeafProc.
224 if (FuncInfo->isLeafProc()) {
225 // If there's a leaf proc, all offsets need to be %sp-based,
226 // because we haven't caused %fp to actually point to our frame.
227 UseFP = false;
228 } else if (isFixed) {
229 // Otherwise, argument access should always use %fp.
230 UseFP = true;
231 } else {
232 // Finally, default to using %fp.
233 UseFP = true;
234 }
235
236 int64_t FrameOffset = MF.getFrameInfo().getObjectOffset(FI) +
237 Subtarget.getStackPointerBias();
238
239 if (UseFP) {
240 FrameReg = RegInfo->getFrameRegister(MF);
241 return StackOffset::getFixed(FrameOffset);
242 } else {
243 FrameReg = SP::O6; // %sp
244 return StackOffset::getFixed(FrameOffset + MF.getFrameInfo().getStackSize());
245 }
246}
247
248[[maybe_unused]] static bool verifyLeafProcRegUse(MachineRegisterInfo *MRI) {
249
250 for (unsigned reg = SP::I0; reg <= SP::I7; ++reg)
251 if (MRI->isPhysRegUsed(reg))
252 return false;
253
254 for (unsigned reg = SP::L0; reg <= SP::L7; ++reg)
255 if (MRI->isPhysRegUsed(reg))
256 return false;
257
258 return true;
259}
260
261bool SparcFrameLowering::isLeafProc(MachineFunction &MF) const
262{
263
264 MachineRegisterInfo &MRI = MF.getRegInfo();
265 MachineFrameInfo &MFI = MF.getFrameInfo();
266 SparcMachineFunctionInfo *SMFI = MF.getInfo<SparcMachineFunctionInfo>();
267
268 return !(MFI.hasCalls() // has calls
269 || MRI.isPhysRegUsed(SP::L0) // Too many registers needed
270 || MRI.isPhysRegUsed(SP::O6) // %sp is used
271 || hasFP(MF) // need %fp
272 || MF.hasInlineAsm() // has inline assembly
273 || SMFI->isLargeProc()); // is a large procedure
274}
275
276void SparcFrameLowering::remapRegsForLeafProc(MachineFunction &MF) const {
277 MachineRegisterInfo &MRI = MF.getRegInfo();
278 SmallVector<MCRegister, 2> UntrackedLiveIns;
279
280 // Remap %i[0-7] to %o[0-7].
281 for (unsigned reg = SP::I0; reg <= SP::I7; ++reg) {
282 if (!MRI.isPhysRegUsed(reg))
283 continue;
284
285 unsigned mapped_reg = reg - SP::I0 + SP::O0;
286
287 // Reserved registers are not tracked by liveness
288 if (MRI.isReserved(reg) && !MRI.isReserved(mapped_reg))
289 UntrackedLiveIns.push_back(mapped_reg);
290
291 // Replace I register with O register.
292 MRI.replaceRegWith(reg, mapped_reg);
293
294 // Also replace register pair super-registers.
295 if ((reg - SP::I0) % 2 == 0) {
296 unsigned preg = (reg - SP::I0) / 2 + SP::I0_I1;
297 unsigned mapped_preg = preg - SP::I0_I1 + SP::O0_O1;
298 MRI.replaceRegWith(preg, mapped_preg);
299 }
300 }
301
302 // Rewrite MBB's Live-ins.
303 for (MachineBasicBlock &MBB : MF) {
304 for (unsigned reg = SP::I0_I1; reg <= SP::I6_I7; ++reg) {
305 if (!MBB.isLiveIn(reg))
306 continue;
307 MBB.removeLiveIn(reg);
308 MBB.addLiveIn(reg - SP::I0_I1 + SP::O0_O1);
309 }
310 for (unsigned reg = SP::I0; reg <= SP::I7; ++reg) {
311 if (!MBB.isLiveIn(reg))
312 continue;
313 MBB.removeLiveIn(reg);
314 MBB.addLiveIn(reg - SP::I0 + SP::O0);
315 }
316 for (MCRegister Reg : UntrackedLiveIns)
317 if (!MBB.isLiveIn(Reg))
319 }
320 for (MCRegister Reg : UntrackedLiveIns)
322
324#ifdef EXPENSIVE_CHECKS
325 MF.verify(0, "After LeafProc Remapping");
326#endif
327}
328
330 const MachineFunction &MF) {
331 uint64_t FuncSize = 0;
332 for (auto &MBB : MF)
333 for (auto &MI : MBB) {
334 // Be conservative here and count the DS too.
335 uint64_t Multiplier = MI.hasDelaySlot() ? 2 : 1;
336 FuncSize += (TII->getInstSizeInBytes(MI) * Multiplier);
337 }
338 return FuncSize;
339}
340
342 BitVector &SavedRegs,
343 RegScavenger *RS) const {
346 const SparcInstrInfo *TII = STI.getInstrInfo();
347 const SparcSubtarget &Subtarget = MF.getSubtarget<SparcSubtarget>();
348
349 bool IsLargeFunction = !isInt<23>(estimateFunctionSizeInBytes(TII, MF));
350 MFI->setLargeProc(IsLargeFunction);
351
352 if (!Subtarget.getCLOpts().disable_sparc_leaf_proc && isLeafProc(MF)) {
353 MFI->setLeafProc(true);
354
355 remapRegsForLeafProc(MF);
356 }
357}
358
360 MachineFunction &MF, RegScavenger *RS) const {
361 const SparcRegisterInfo *RI = STI.getRegisterInfo();
362 const TargetRegisterClass &RC =
363 STI.is64Bit() ? SP::I64RegsRegClass : SP::IntRegsRegClass;
364 MachineFrameInfo &MFI = MF.getFrameInfo();
366
367 // Far branches beyond 23-bit offset require a spill slot for scratch
368 // register.
369 if (SMFI->isLargeProc()) {
370 int FI =
371 MFI.CreateSpillStackObject(RI->getSpillSize(RC), RI->getSpillAlign(RC));
372 RS->addScavengingFrameIndex(FI);
373 if (SMFI->getBranchRelaxationSpillFrameIndex() == -1)
375 LLVM_DEBUG(dbgs() << "Allocated FI(" << FI
376 << ") as the emergency spill slot.\n");
377 }
378}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
uint64_t uint64_t
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator MBBI
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
static uint64_t estimateFunctionSizeInBytes(const LoongArchInstrInfo *TII, const MachineFunction &MF)
#define I(x, y, z)
Definition MD5.cpp:57
Register Reg
MachineRegisterInfo & MRI
This file declares the machine register scavenger class.
static bool verifyLeafProcRegUse(MachineRegisterInfo *MRI)
#define LLVM_DEBUG(...)
Definition Debug.h:119
static bool is64Bit(const char *name)
Helper class for creating CFI instructions and inserting them into MIR.
void buildDefCFAOffset(int64_t Offset, MCSymbol *Label=nullptr) const
void buildWindowSave() const
void buildRegister(MCRegister Reg1, MCRegister Reg2) const
void buildDefCFARegister(MCRegister Reg) const
A debug info location.
Definition DebugLoc.h:126
LLVM_ABI void removeLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll())
Remove the specified register from the live in set.
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
MachineInstrBundleIterator< MachineInstr > iterator
LLVM_ABI bool isLiveIn(MCRegister Reg, LaneBitmask LaneMask=LaneBitmask::getAll()) const
Return true if the specified register is in the live in set.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
bool adjustsStack() const
Return true if this function adjusts the stack – e.g., when calling another function.
bool hasCalls() const
Return true if the current function has any function calls.
bool isFrameAddressTaken() const
This method may be called any time after instruction selection is complete to determine if there is a...
Align getMaxAlign() const
Return alignment of this function's frame.
uint64_t getMaxCallFrameSize() const
Return the maximum size of a call frame that must be allocated for an outgoing function call.
LLVM_ABI int CreateSpillStackObject(uint64_t Size, Align Alignment, TargetStackID::Value StackID=TargetStackID::Default)
Create a new statically sized stack object that represents a spill slot, returning a nonnegative iden...
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
void setStackSize(uint64_t Size)
Set the size of the stack.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
bool hasInlineAsm() const
Returns true if the function contains any inline assembly.
bool needsFrameMoves() const
True if this function needs frame moves for debug or exceptions.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
bool disableFramePointerElim() const
Returns true if frame pointer elimination should be disabled for this function.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const MachineBasicBlock & front() const
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
Representation of each machine instruction.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI void clearKillFlags(Register Reg) const
clearKillFlags - Iterate over all the uses of the given register and clear the kill flag from the Mac...
bool isReserved(MCRegister PhysReg) const
isReserved - Returns true when PhysReg is a reserved register.
LLVM_ABI void replaceRegWith(Register FromReg, Register ToReg)
replaceRegWith - Replace all instances of FromReg with ToReg in the machine function.
LLVM_ABI bool isPhysRegUsed(MCRegister PhysReg, bool SkipRegMaskTest=false) const
Return true if the specified register is modified or read in this function.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
void push_back(const T &Elt)
void processFunctionBeforeFrameFinalized(MachineFunction &MF, RegScavenger *RS) const override
processFunctionBeforeFrameFinalized - This method is called immediately before the specified function...
void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override
emitProlog/emitEpilog - These methods insert prolog and epilog code into the function.
SparcFrameLowering(const SparcSubtarget &ST)
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override
void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const override
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
bool hasFPImpl(const MachineFunction &MF) const override
StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const override
getFrameIndexReference - This method should return the base register and offset used to reference a f...
MachineBasicBlock::iterator eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator I) const override
This method is called during prolog/epilog code insertion to eliminate call frame setup and destroy p...
bool hasReservedCallFrame(const MachineFunction &MF) const override
hasReservedCallFrame - Under normal circumstances, when a frame pointer is not required,...
const SparcRegisterInfo * getRegisterInfo() const override
int64_t getStackPointerBias() const
The 64-bit ABI uses biased stack and frame pointers, so the stack frame of the current function is th...
int getAdjustedFrameSize(int stackSize) const
Given a actual stack size as determined by FrameInfo, this function returns adjusted framesize which ...
const SparcOptions & getCLOpts() const
StackOffset holds a fixed and a scalable offset in bytes.
Definition TypeSize.h:31
int64_t getFixed() const
Returns the fixed component of the stack.
Definition TypeSize.h:47
bool hasFP(const MachineFunction &MF) const
hasFP - Return true if the specified function should have a dedicated frame pointer register.
virtual void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
TargetFrameLowering(StackDirection D, Align StackAl, int LAO, Align TransAl=Align(1), bool StackReal=true)
This is an optimization pass for GlobalISel generic memory operations.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
constexpr bool isInt(int64_t x)
Checks if an integer fits into the given bit width.
Definition MathExtras.h:166
static unsigned HI22(int64_t imm)
Definition Sparc.h:223
static unsigned HIX22(int64_t imm)
Definition Sparc.h:231
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition Alignment.h:149
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
static unsigned LOX10(int64_t imm)
Definition Sparc.h:235
static unsigned LO10(int64_t imm)
Definition Sparc.h:227
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39