LLVM 20.0.0git
RegisterScavenging.cpp
Go to the documentation of this file.
1//===- RegisterScavenging.cpp - Machine register scavenging ---------------===//
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/// \file
10/// This file implements the machine register scavenger. It can provide
11/// information, such as unused registers, at any point in a machine basic
12/// block. It also provides a mechanism to make registers available by evicting
13/// them to spill slots.
14//
15//===----------------------------------------------------------------------===//
16
18#include "llvm/ADT/ArrayRef.h"
19#include "llvm/ADT/BitVector.h"
21#include "llvm/ADT/Statistic.h"
36#include "llvm/Pass.h"
37#include "llvm/Support/Debug.h"
40#include <cassert>
41#include <iterator>
42#include <limits>
43#include <utility>
44
45using namespace llvm;
46
47#define DEBUG_TYPE "reg-scavenging"
48
49STATISTIC(NumScavengedRegs, "Number of frame index regs scavenged");
50
52 LiveUnits.addRegMasked(Reg, LaneMask);
53}
54
55void RegScavenger::init(MachineBasicBlock &MBB) {
57 TII = MF.getSubtarget().getInstrInfo();
58 TRI = MF.getSubtarget().getRegisterInfo();
59 MRI = &MF.getRegInfo();
60 LiveUnits.init(*TRI);
61
62 this->MBB = &MBB;
63
64 for (ScavengedInfo &SI : Scavenged) {
65 SI.Reg = 0;
66 SI.Restore = nullptr;
67 }
68}
69
71 init(MBB);
72 LiveUnits.addLiveIns(MBB);
73 MBBI = MBB.begin();
74}
75
77 init(MBB);
78 LiveUnits.addLiveOuts(MBB);
79 MBBI = MBB.end();
80}
81
83 const MachineInstr &MI = *--MBBI;
84 LiveUnits.stepBackward(MI);
85
86 // Expire scavenge spill frameindex uses.
87 for (ScavengedInfo &I : Scavenged) {
88 if (I.Restore == &MI) {
89 I.Reg = 0;
90 I.Restore = nullptr;
91 }
92 }
93}
94
95bool RegScavenger::isRegUsed(Register Reg, bool includeReserved) const {
96 if (isReserved(Reg))
97 return includeReserved;
98 return !LiveUnits.available(Reg);
99}
100
102 for (Register Reg : *RC) {
103 if (!isRegUsed(Reg)) {
104 LLVM_DEBUG(dbgs() << "Scavenger found unused reg: " << printReg(Reg, TRI)
105 << "\n");
106 return Reg;
107 }
108 }
109 return 0;
110}
111
113 BitVector Mask(TRI->getNumRegs());
114 for (Register Reg : *RC)
115 if (!isRegUsed(Reg))
116 Mask.set(Reg);
117 return Mask;
118}
119
120/// Given the bitvector \p Available of free register units at position
121/// \p From. Search backwards to find a register that is part of \p
122/// Candidates and not used/clobbered until the point \p To. If there is
123/// multiple candidates continue searching and pick the one that is not used/
124/// clobbered for the longest time.
125/// Returns the register and the earliest position we know it to be free or
126/// the position MBB.end() if no register is available.
127static std::pair<MCPhysReg, MachineBasicBlock::iterator>
131 bool RestoreAfter) {
132 bool FoundTo = false;
133 MCPhysReg Survivor = 0;
135 MachineBasicBlock &MBB = *From->getParent();
136 unsigned InstrLimit = 25;
137 unsigned InstrCountDown = InstrLimit;
138 const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo();
139 LiveRegUnits Used(TRI);
140
141 assert(From->getParent() == To->getParent() &&
142 "Target instruction is in other than current basic block, use "
143 "enterBasicBlockEnd first");
144
145 for (MachineBasicBlock::iterator I = From;; --I) {
146 const MachineInstr &MI = *I;
147
148 Used.accumulate(MI);
149
150 if (I == To) {
151 // See if one of the registers in RC wasn't used so far.
152 for (MCPhysReg Reg : AllocationOrder) {
153 if (!MRI.isReserved(Reg) && Used.available(Reg) &&
154 LiveOut.available(Reg))
155 return std::make_pair(Reg, MBB.end());
156 }
157 // Otherwise we will continue up to InstrLimit instructions to find
158 // the register which is not defined/used for the longest time.
159 FoundTo = true;
160 Pos = To;
161 // Note: It was fine so far to start our search at From, however now that
162 // we have to spill, and can only place the restore after From then
163 // add the regs used/defed by std::next(From) to the set.
164 if (RestoreAfter)
165 Used.accumulate(*std::next(From));
166 }
167 if (FoundTo) {
168 // Don't search to FrameSetup instructions if we were searching from
169 // Non-FrameSetup instructions. Otherwise, the spill position may point
170 // before FrameSetup instructions.
171 if (!From->getFlag(MachineInstr::FrameSetup) &&
173 break;
174
175 if (Survivor == 0 || !Used.available(Survivor)) {
176 MCPhysReg AvilableReg = 0;
177 for (MCPhysReg Reg : AllocationOrder) {
178 if (!MRI.isReserved(Reg) && Used.available(Reg)) {
179 AvilableReg = Reg;
180 break;
181 }
182 }
183 if (AvilableReg == 0)
184 break;
185 Survivor = AvilableReg;
186 }
187 if (--InstrCountDown == 0)
188 break;
189
190 // Keep searching when we find a vreg since the spilled register will
191 // be usefull for this other vreg as well later.
192 bool FoundVReg = false;
193 for (const MachineOperand &MO : MI.operands()) {
194 if (MO.isReg() && MO.getReg().isVirtual()) {
195 FoundVReg = true;
196 break;
197 }
198 }
199 if (FoundVReg) {
200 InstrCountDown = InstrLimit;
201 Pos = I;
202 }
203 if (I == MBB.begin())
204 break;
205 }
206 assert(I != MBB.begin() && "Did not find target instruction while "
207 "iterating backwards");
208 }
209
210 return std::make_pair(Survivor, Pos);
211}
212
214 unsigned i = 0;
215 while (!MI.getOperand(i).isFI()) {
216 ++i;
217 assert(i < MI.getNumOperands() && "Instr doesn't have FrameIndex operand!");
218 }
219 return i;
220}
221
222RegScavenger::ScavengedInfo &
223RegScavenger::spill(Register Reg, const TargetRegisterClass &RC, int SPAdj,
226 // Find an available scavenging slot with size and alignment matching
227 // the requirements of the class RC.
228 const MachineFunction &MF = *Before->getMF();
229 const MachineFrameInfo &MFI = MF.getFrameInfo();
230 unsigned NeedSize = TRI->getSpillSize(RC);
231 Align NeedAlign = TRI->getSpillAlign(RC);
232
233 unsigned SI = Scavenged.size(), Diff = std::numeric_limits<unsigned>::max();
234 int FIB = MFI.getObjectIndexBegin(), FIE = MFI.getObjectIndexEnd();
235 for (unsigned I = 0; I < Scavenged.size(); ++I) {
236 if (Scavenged[I].Reg != 0)
237 continue;
238 // Verify that this slot is valid for this register.
239 int FI = Scavenged[I].FrameIndex;
240 if (FI < FIB || FI >= FIE)
241 continue;
242 unsigned S = MFI.getObjectSize(FI);
243 Align A = MFI.getObjectAlign(FI);
244 if (NeedSize > S || NeedAlign > A)
245 continue;
246 // Avoid wasting slots with large size and/or large alignment. Pick one
247 // that is the best fit for this register class (in street metric).
248 // Picking a larger slot than necessary could happen if a slot for a
249 // larger register is reserved before a slot for a smaller one. When
250 // trying to spill a smaller register, the large slot would be found
251 // first, thus making it impossible to spill the larger register later.
252 unsigned D = (S - NeedSize) + (A.value() - NeedAlign.value());
253 if (D < Diff) {
254 SI = I;
255 Diff = D;
256 }
257 }
258
259 if (SI == Scavenged.size()) {
260 // We need to scavenge a register but have no spill slot, the target
261 // must know how to do it (if not, we'll assert below).
262 Scavenged.push_back(ScavengedInfo(FIE));
263 }
264
265 // Avoid infinite regress
266 Scavenged[SI].Reg = Reg;
267
268 // If the target knows how to save/restore the register, let it do so;
269 // otherwise, use the emergency stack spill slot.
270 if (!TRI->saveScavengerRegister(*MBB, Before, UseMI, &RC, Reg)) {
271 // Spill the scavenged register before \p Before.
272 int FI = Scavenged[SI].FrameIndex;
273 if (FI < FIB || FI >= FIE) {
274 report_fatal_error(Twine("Error while trying to spill ") +
275 TRI->getName(Reg) + " from class " +
276 TRI->getRegClassName(&RC) +
277 ": Cannot scavenge register without an emergency "
278 "spill slot!");
279 }
280 TII->storeRegToStackSlot(*MBB, Before, Reg, true, FI, &RC, TRI, Register());
282
283 unsigned FIOperandNum = getFrameIndexOperandNum(*II);
284 TRI->eliminateFrameIndex(II, SPAdj, FIOperandNum, this);
285
286 // Restore the scavenged register before its use (or first terminator).
287 TII->loadRegFromStackSlot(*MBB, UseMI, Reg, FI, &RC, TRI, Register());
288 II = std::prev(UseMI);
289
290 FIOperandNum = getFrameIndexOperandNum(*II);
291 TRI->eliminateFrameIndex(II, SPAdj, FIOperandNum, this);
292 }
293 return Scavenged[SI];
294}
295
298 bool RestoreAfter, int SPAdj,
299 bool AllowSpill) {
300 const MachineBasicBlock &MBB = *To->getParent();
301 const MachineFunction &MF = *MBB.getParent();
302
303 // Find the register whose use is furthest away.
306 std::pair<MCPhysReg, MachineBasicBlock::iterator> P = findSurvivorBackwards(
307 *MRI, std::prev(MBBI), To, LiveUnits, AllocationOrder, RestoreAfter);
308 MCPhysReg Reg = P.first;
309 MachineBasicBlock::iterator SpillBefore = P.second;
310 // Found an available register?
311 if (Reg != 0 && SpillBefore == MBB.end()) {
312 LLVM_DEBUG(dbgs() << "Scavenged free register: " << printReg(Reg, TRI)
313 << '\n');
314 return Reg;
315 }
316
317 if (!AllowSpill)
318 return 0;
319
320 assert(Reg != 0 && "No register left to scavenge!");
321
322 MachineBasicBlock::iterator ReloadBefore =
323 RestoreAfter ? std::next(MBBI) : MBBI;
324 if (ReloadBefore != MBB.end())
325 LLVM_DEBUG(dbgs() << "Reload before: " << *ReloadBefore << '\n');
326 ScavengedInfo &Scavenged = spill(Reg, RC, SPAdj, SpillBefore, ReloadBefore);
327 Scavenged.Restore = &*std::prev(SpillBefore);
328 LiveUnits.removeReg(Reg);
329 LLVM_DEBUG(dbgs() << "Scavenged register with spill: " << printReg(Reg, TRI)
330 << " until " << *SpillBefore);
331 return Reg;
332}
333
334/// Allocate a register for the virtual register \p VReg. The last use of
335/// \p VReg is around the current position of the register scavenger \p RS.
336/// \p ReserveAfter controls whether the scavenged register needs to be reserved
337/// after the current instruction, otherwise it will only be reserved before the
338/// current instruction.
340 Register VReg, bool ReserveAfter) {
341 const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo();
342#ifndef NDEBUG
343 // Verify that all definitions and uses are in the same basic block.
344 const MachineBasicBlock *CommonMBB = nullptr;
345 // Real definition for the reg, re-definitions are not considered.
346 const MachineInstr *RealDef = nullptr;
347 for (MachineOperand &MO : MRI.reg_nodbg_operands(VReg)) {
348 MachineBasicBlock *MBB = MO.getParent()->getParent();
349 if (CommonMBB == nullptr)
350 CommonMBB = MBB;
351 assert(MBB == CommonMBB && "All defs+uses must be in the same basic block");
352 if (MO.isDef()) {
353 const MachineInstr &MI = *MO.getParent();
354 if (!MI.readsRegister(VReg, &TRI)) {
355 assert((!RealDef || RealDef == &MI) &&
356 "Can have at most one definition which is not a redefinition");
357 RealDef = &MI;
358 }
359 }
360 }
361 assert(RealDef != nullptr && "Must have at least 1 Def");
362#endif
363
364 // We should only have one definition of the register. However to accommodate
365 // the requirements of two address code we also allow definitions in
366 // subsequent instructions provided they also read the register. That way
367 // we get a single contiguous lifetime.
368 //
369 // Definitions in MRI.def_begin() are unordered, search for the first.
371 MRI.def_operands(VReg), [VReg, &TRI](const MachineOperand &MO) {
372 return !MO.getParent()->readsRegister(VReg, &TRI);
373 });
374 assert(FirstDef != MRI.def_end() &&
375 "Must have one definition that does not redefine vreg");
376 MachineInstr &DefMI = *FirstDef->getParent();
377
378 // The register scavenger will report a free register inserting an emergency
379 // spill/reload if necessary.
380 int SPAdj = 0;
381 const TargetRegisterClass &RC = *MRI.getRegClass(VReg);
382 Register SReg = RS.scavengeRegisterBackwards(RC, DefMI.getIterator(),
383 ReserveAfter, SPAdj);
384 MRI.replaceRegWith(VReg, SReg);
385 ++NumScavengedRegs;
386 return SReg;
387}
388
389/// Allocate (scavenge) vregs inside a single basic block.
390/// Returns true if the target spill callback created new vregs and a 2nd pass
391/// is necessary.
393 RegScavenger &RS,
395 const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo();
397
398 unsigned InitialNumVirtRegs = MRI.getNumVirtRegs();
399 bool NextInstructionReadsVReg = false;
400 for (MachineBasicBlock::iterator I = MBB.end(); I != MBB.begin(); ) {
401 // Move RegScavenger to the position between *std::prev(I) and *I.
402 RS.backward(I);
403 --I;
404
405 // Look for unassigned vregs in the uses of *std::next(I).
406 if (NextInstructionReadsVReg) {
407 MachineBasicBlock::iterator N = std::next(I);
408 const MachineInstr &NMI = *N;
409 for (const MachineOperand &MO : NMI.operands()) {
410 if (!MO.isReg())
411 continue;
412 Register Reg = MO.getReg();
413 // We only care about virtual registers and ignore virtual registers
414 // created by the target callbacks in the process (those will be handled
415 // in a scavenging round).
416 if (!Reg.isVirtual() ||
417 Register::virtReg2Index(Reg) >= InitialNumVirtRegs)
418 continue;
419 if (!MO.readsReg())
420 continue;
421
422 Register SReg = scavengeVReg(MRI, RS, Reg, true);
423 N->addRegisterKilled(SReg, &TRI, false);
424 RS.setRegUsed(SReg);
425 }
426 }
427
428 // Look for unassigned vregs in the defs of *I.
429 NextInstructionReadsVReg = false;
430 const MachineInstr &MI = *I;
431 for (const MachineOperand &MO : MI.operands()) {
432 if (!MO.isReg())
433 continue;
434 Register Reg = MO.getReg();
435 // Only vregs, no newly created vregs (see above).
436 if (!Reg.isVirtual() ||
437 Register::virtReg2Index(Reg) >= InitialNumVirtRegs)
438 continue;
439 // We have to look at all operands anyway so we can precalculate here
440 // whether there is a reading operand. This allows use to skip the use
441 // step in the next iteration if there was none.
442 assert(!MO.isInternalRead() && "Cannot assign inside bundles");
443 assert((!MO.isUndef() || MO.isDef()) && "Cannot handle undef uses");
444 if (MO.readsReg()) {
445 NextInstructionReadsVReg = true;
446 }
447 if (MO.isDef()) {
448 Register SReg = scavengeVReg(MRI, RS, Reg, false);
449 I->addRegisterDead(SReg, &TRI, false);
450 }
451 }
452 }
453#ifndef NDEBUG
454 for (const MachineOperand &MO : MBB.front().operands()) {
455 if (!MO.isReg() || !MO.getReg().isVirtual())
456 continue;
457 assert(!MO.isInternalRead() && "Cannot assign inside bundles");
458 assert((!MO.isUndef() || MO.isDef()) && "Cannot handle undef uses");
459 assert(!MO.readsReg() && "Vreg use in first instruction not allowed");
460 }
461#endif
462
463 return MRI.getNumVirtRegs() != InitialNumVirtRegs;
464}
465
467 // FIXME: Iterating over the instruction stream is unnecessary. We can simply
468 // iterate over the vreg use list, which at this point only contains machine
469 // operands for which eliminateFrameIndex need a new scratch reg.
471 // Shortcut.
472 if (MRI.getNumVirtRegs() == 0) {
474 return;
475 }
476
477 // Run through the instructions and find any virtual registers.
478 for (MachineBasicBlock &MBB : MF) {
479 if (MBB.empty())
480 continue;
481
482 bool Again = scavengeFrameVirtualRegsInBlock(MRI, RS, MBB);
483 if (Again) {
484 LLVM_DEBUG(dbgs() << "Warning: Required two scavenging passes for block "
485 << MBB.getName() << '\n');
487 // The target required a 2nd run (because it created new vregs while
488 // spilling). Refuse to do another pass to keep compiletime in check.
489 if (Again)
490 report_fatal_error("Incomplete scavenging after 2nd pass");
491 }
492 }
493
494 MRI.clearVirtRegs();
496}
497
498namespace {
499
500/// This class runs register scavenging independ of the PrologEpilogInserter.
501/// This is used in for testing.
502class ScavengerTest : public MachineFunctionPass {
503public:
504 static char ID;
505
506 ScavengerTest() : MachineFunctionPass(ID) {}
507
508 bool runOnMachineFunction(MachineFunction &MF) override {
509 const TargetSubtargetInfo &STI = MF.getSubtarget();
510 const TargetFrameLowering &TFL = *STI.getFrameLowering();
511
512 RegScavenger RS;
513 // Let's hope that calling those outside of PrologEpilogueInserter works
514 // well enough to initialize the scavenger with some emergency spillslots
515 // for the target.
516 BitVector SavedRegs;
517 TFL.determineCalleeSaves(MF, SavedRegs, &RS);
519
520 // Let's scavenge the current function
522 return true;
523 }
524};
525
526} // end anonymous namespace
527
528char ScavengerTest::ID;
529
530INITIALIZE_PASS(ScavengerTest, "scavenger-test",
531 "Scavenge virtual registers inside basic blocks", false, false)
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder & UseMI
MachineInstrBuilder MachineInstrBuilder & DefMI
MachineBasicBlock & MBB
This file implements the BitVector class.
BlockVerifier::State From
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static cl::opt< unsigned > InstrLimit("dfa-instr-limit", cl::Hidden, cl::init(0), cl::desc("If present, stops packetizing after N instructions"))
#define LLVM_DEBUG(X)
Definition: Debug.h:101
IRTranslator LLVM IR MI
A set of register units.
#define I(x, y, z)
Definition: MD5.cpp:58
unsigned const TargetRegisterInfo * TRI
uint64_t IntrinsicInst * II
#define P(N)
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:38
static Register scavengeVReg(MachineRegisterInfo &MRI, RegScavenger &RS, Register VReg, bool ReserveAfter)
Allocate a register for the virtual register VReg.
static unsigned getFrameIndexOperandNum(MachineInstr &MI)
static bool scavengeFrameVirtualRegsInBlock(MachineRegisterInfo &MRI, RegScavenger &RS, MachineBasicBlock &MBB)
Allocate (scavenge) vregs inside a single basic block.
static std::pair< MCPhysReg, MachineBasicBlock::iterator > findSurvivorBackwards(const MachineRegisterInfo &MRI, MachineBasicBlock::iterator From, MachineBasicBlock::iterator To, const LiveRegUnits &LiveOut, ArrayRef< MCPhysReg > AllocationOrder, bool RestoreAfter)
Given the bitvector Available of free register units at position From.
This file declares the machine register scavenger class.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition: Statistic.h:166
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
A set of register units used to track register liveness.
Definition: LiveRegUnits.h:30
void addRegMasked(MCPhysReg Reg, LaneBitmask Mask)
Adds register units covered by physical register Reg that are part of the lanemask Mask.
Definition: LiveRegUnits.h:93
bool available(MCPhysReg Reg) const
Returns true if no part of physical register Reg is live.
Definition: LiveRegUnits.h:116
void init(const TargetRegisterInfo &TRI)
Initialize and clear the set.
Definition: LiveRegUnits.h:73
void stepBackward(const MachineInstr &MI)
Updates liveness when stepping backwards over the instruction MI.
void addLiveOuts(const MachineBasicBlock &MBB)
Adds registers living out of block MBB.
void addLiveIns(const MachineBasicBlock &MBB)
Adds registers living into block MBB.
void removeReg(MCPhysReg Reg)
Removes all register units covered by physical register Reg.
Definition: LiveRegUnits.h:102
const char * getName(MCRegister RegNo) const
Return the human-readable symbolic target-specific name for the specified physical register.
unsigned getNumRegs() const
Return the number of registers this target has (useful for sizing arrays holding per register informa...
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
StringRef getName() const
Return the name of the corresponding LLVM basic block, or an empty string.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Align getObjectAlign(int ObjectIdx) const
Return the alignment of the specified stack object.
int64_t getObjectSize(int ObjectIdx) const
Return the size of the specified object.
int getObjectIndexEnd() const
Return one past the maximum frame object index.
int getObjectIndexBegin() const
Return the minimum frame object index.
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
MachineFunctionProperties & set(Property P)
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
const MachineFunctionProperties & getProperties() const
Get the function properties.
Representation of each machine instruction.
Definition: MachineInstr.h:69
iterator_range< mop_iterator > operands()
Definition: MachineInstr.h:685
MachineOperand class - Representation of each machine instruction operand.
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
reg_begin/reg_end - Provide iteration support to walk over all definitions and uses of a register wit...
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
void enterBasicBlockEnd(MachineBasicBlock &MBB)
Start tracking liveness from the end of basic block MBB.
bool isRegUsed(Register Reg, bool includeReserved=true) const
Return if a specific register is currently used.
Register FindUnusedReg(const TargetRegisterClass *RC) const
Find an unused register of the specified register class.
void setRegUsed(Register Reg, LaneBitmask LaneMask=LaneBitmask::getAll())
Tell the scavenger a register is used.
void backward()
Update internal register state and move MBB iterator backwards.
void enterBasicBlock(MachineBasicBlock &MBB)
Start tracking liveness from the begin of basic block MBB.
Register scavengeRegisterBackwards(const TargetRegisterClass &RC, MachineBasicBlock::iterator To, bool RestoreAfter, int SPAdj, bool AllowSpill=true)
Make a register of the specific register class available from the current position backwards to the p...
BitVector getRegsAvailable(const TargetRegisterClass *RC)
Return all available registers in the register class in Mask.
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
static unsigned virtReg2Index(Register Reg)
Convert a virtual register number to a 0-based index.
Definition: Register.h:77
size_t size() const
Definition: SmallVector.h:91
void push_back(const T &Elt)
Definition: SmallVector.h:426
Information about stack frame layout on the target.
virtual void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
virtual void processFunctionBeforeFrameFinalized(MachineFunction &MF, RegScavenger *RS=nullptr) const
processFunctionBeforeFrameFinalized - This method is called immediately before the specified function...
virtual void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register DestReg, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const
Load the specified register of the given register class from the specified stack frame index.
virtual void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const
Store the specified register of the given register class to the specified stack frame index.
ArrayRef< MCPhysReg > getRawAllocationOrder(const MachineFunction &MF) const
Returns the preferred order for allocating registers from this register class in MF.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Align getSpillAlign(const TargetRegisterClass &RC) const
Return the minimum required alignment in bytes for a spill slot for a register of this class.
virtual bool eliminateFrameIndex(MachineBasicBlock::iterator MI, int SPAdj, unsigned FIOperandNum, RegScavenger *RS=nullptr) const =0
This method must be overriden to eliminate abstract frame indices from instructions which may use the...
virtual bool saveScavengerRegister(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, MachineBasicBlock::iterator &UseMI, const TargetRegisterClass *RC, Register Reg) const
Spill the register so it can be used by the register scavenger.
unsigned getSpillSize(const TargetRegisterClass &RC) const
Return the size in bytes of the stack slot allocated to hold a spilled copy of a register from class ...
const char * getRegClassName(const TargetRegisterClass *Class) const
Returns the name of the register class.
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
Reg
All possible values of the reg field in the ModR/M byte.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
void scavengeFrameVirtualRegs(MachineFunction &MF, RegScavenger &RS)
Replaces all frame index virtual registers with physical registers.
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1749
Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39
uint64_t value() const
This is a hole in the type system and should not be abused.
Definition: Alignment.h:85