1 //===- RegisterPressure.cpp - Dynamic Register Pressure -------------------===//
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
7 //===----------------------------------------------------------------------===//
9 // This file implements the RegisterPressure class which can be used to track
10 // MachineInstr level register pressure.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/CodeGen/RegisterPressure.h"
15 #include "llvm/ADT/ArrayRef.h"
16 #include "llvm/ADT/STLExtras.h"
17 #include "llvm/ADT/SmallVector.h"
18 #include "llvm/CodeGen/LiveInterval.h"
19 #include "llvm/CodeGen/LiveIntervals.h"
20 #include "llvm/CodeGen/MachineBasicBlock.h"
21 #include "llvm/CodeGen/MachineFunction.h"
22 #include "llvm/CodeGen/MachineInstr.h"
23 #include "llvm/CodeGen/MachineInstrBundle.h"
24 #include "llvm/CodeGen/MachineOperand.h"
25 #include "llvm/CodeGen/MachineRegisterInfo.h"
26 #include "llvm/CodeGen/RegisterClassInfo.h"
27 #include "llvm/CodeGen/SlotIndexes.h"
28 #include "llvm/CodeGen/TargetRegisterInfo.h"
29 #include "llvm/CodeGen/TargetSubtargetInfo.h"
30 #include "llvm/Config/llvm-config.h"
31 #include "llvm/MC/LaneBitmask.h"
32 #include "llvm/MC/MCRegisterInfo.h"
33 #include "llvm/Support/Compiler.h"
34 #include "llvm/Support/Debug.h"
35 #include "llvm/Support/ErrorHandling.h"
36 #include "llvm/Support/raw_ostream.h"
49 /// Increase pressure for each pressure set provided by TargetRegisterInfo.
50 static void increaseSetPressure(std::vector
<unsigned> &CurrSetPressure
,
51 const MachineRegisterInfo
&MRI
, unsigned Reg
,
52 LaneBitmask PrevMask
, LaneBitmask NewMask
) {
53 assert((PrevMask
& ~NewMask
).none() && "Must not remove bits");
54 if (PrevMask
.any() || NewMask
.none())
57 PSetIterator PSetI
= MRI
.getPressureSets(Reg
);
58 unsigned Weight
= PSetI
.getWeight();
59 for (; PSetI
.isValid(); ++PSetI
)
60 CurrSetPressure
[*PSetI
] += Weight
;
63 /// Decrease pressure for each pressure set provided by TargetRegisterInfo.
64 static void decreaseSetPressure(std::vector
<unsigned> &CurrSetPressure
,
65 const MachineRegisterInfo
&MRI
, unsigned Reg
,
66 LaneBitmask PrevMask
, LaneBitmask NewMask
) {
67 //assert((NewMask & !PrevMask) == 0 && "Must not add bits");
68 if (NewMask
.any() || PrevMask
.none())
71 PSetIterator PSetI
= MRI
.getPressureSets(Reg
);
72 unsigned Weight
= PSetI
.getWeight();
73 for (; PSetI
.isValid(); ++PSetI
) {
74 assert(CurrSetPressure
[*PSetI
] >= Weight
&& "register pressure underflow");
75 CurrSetPressure
[*PSetI
] -= Weight
;
79 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
81 void llvm::dumpRegSetPressure(ArrayRef
<unsigned> SetPressure
,
82 const TargetRegisterInfo
*TRI
) {
84 for (unsigned i
= 0, e
= SetPressure
.size(); i
< e
; ++i
) {
85 if (SetPressure
[i
] != 0) {
86 dbgs() << TRI
->getRegPressureSetName(i
) << "=" << SetPressure
[i
] << '\n';
95 void RegisterPressure::dump(const TargetRegisterInfo
*TRI
) const {
96 dbgs() << "Max Pressure: ";
97 dumpRegSetPressure(MaxSetPressure
, TRI
);
98 dbgs() << "Live In: ";
99 for (const RegisterMaskPair
&P
: LiveInRegs
) {
100 dbgs() << printVRegOrUnit(P
.RegUnit
, TRI
);
101 if (!P
.LaneMask
.all())
102 dbgs() << ':' << PrintLaneMask(P
.LaneMask
);
106 dbgs() << "Live Out: ";
107 for (const RegisterMaskPair
&P
: LiveOutRegs
) {
108 dbgs() << printVRegOrUnit(P
.RegUnit
, TRI
);
109 if (!P
.LaneMask
.all())
110 dbgs() << ':' << PrintLaneMask(P
.LaneMask
);
117 void RegPressureTracker::dump() const {
118 if (!isTopClosed() || !isBottomClosed()) {
119 dbgs() << "Curr Pressure: ";
120 dumpRegSetPressure(CurrSetPressure
, TRI
);
126 void PressureDiff::dump(const TargetRegisterInfo
&TRI
) const {
127 const char *sep
= "";
128 for (const PressureChange
&Change
: *this) {
129 if (!Change
.isValid())
131 dbgs() << sep
<< TRI
.getRegPressureSetName(Change
.getPSet())
132 << " " << Change
.getUnitInc();
139 void PressureChange::dump() const {
140 dbgs() << "[" << getPSetOrMax() << ", " << getUnitInc() << "]\n";
143 void RegPressureDelta::dump() const {
144 dbgs() << "[Excess=";
146 dbgs() << ", CriticalMax=";
148 dbgs() << ", CurrentMax=";
155 void RegPressureTracker::increaseRegPressure(unsigned RegUnit
,
156 LaneBitmask PreviousMask
,
157 LaneBitmask NewMask
) {
158 if (PreviousMask
.any() || NewMask
.none())
161 PSetIterator PSetI
= MRI
->getPressureSets(RegUnit
);
162 unsigned Weight
= PSetI
.getWeight();
163 for (; PSetI
.isValid(); ++PSetI
) {
164 CurrSetPressure
[*PSetI
] += Weight
;
165 P
.MaxSetPressure
[*PSetI
] =
166 std::max(P
.MaxSetPressure
[*PSetI
], CurrSetPressure
[*PSetI
]);
170 void RegPressureTracker::decreaseRegPressure(unsigned RegUnit
,
171 LaneBitmask PreviousMask
,
172 LaneBitmask NewMask
) {
173 decreaseSetPressure(CurrSetPressure
, *MRI
, RegUnit
, PreviousMask
, NewMask
);
176 /// Clear the result so it can be used for another round of pressure tracking.
177 void IntervalPressure::reset() {
178 TopIdx
= BottomIdx
= SlotIndex();
179 MaxSetPressure
.clear();
184 /// Clear the result so it can be used for another round of pressure tracking.
185 void RegionPressure::reset() {
186 TopPos
= BottomPos
= MachineBasicBlock::const_iterator();
187 MaxSetPressure
.clear();
192 /// If the current top is not less than or equal to the next index, open it.
193 /// We happen to need the SlotIndex for the next top for pressure update.
194 void IntervalPressure::openTop(SlotIndex NextTop
) {
195 if (TopIdx
<= NextTop
)
197 TopIdx
= SlotIndex();
201 /// If the current top is the previous instruction (before receding), open it.
202 void RegionPressure::openTop(MachineBasicBlock::const_iterator PrevTop
) {
203 if (TopPos
!= PrevTop
)
205 TopPos
= MachineBasicBlock::const_iterator();
209 /// If the current bottom is not greater than the previous index, open it.
210 void IntervalPressure::openBottom(SlotIndex PrevBottom
) {
211 if (BottomIdx
> PrevBottom
)
213 BottomIdx
= SlotIndex();
217 /// If the current bottom is the previous instr (before advancing), open it.
218 void RegionPressure::openBottom(MachineBasicBlock::const_iterator PrevBottom
) {
219 if (BottomPos
!= PrevBottom
)
221 BottomPos
= MachineBasicBlock::const_iterator();
225 void LiveRegSet::init(const MachineRegisterInfo
&MRI
) {
226 const TargetRegisterInfo
&TRI
= *MRI
.getTargetRegisterInfo();
227 unsigned NumRegUnits
= TRI
.getNumRegs();
228 unsigned NumVirtRegs
= MRI
.getNumVirtRegs();
229 Regs
.setUniverse(NumRegUnits
+ NumVirtRegs
);
230 this->NumRegUnits
= NumRegUnits
;
233 void LiveRegSet::clear() {
237 static const LiveRange
*getLiveRange(const LiveIntervals
&LIS
, unsigned Reg
) {
238 if (Register::isVirtualRegister(Reg
))
239 return &LIS
.getInterval(Reg
);
240 return LIS
.getCachedRegUnit(Reg
);
243 void RegPressureTracker::reset() {
247 CurrSetPressure
.clear();
248 LiveThruPressure
.clear();
249 P
.MaxSetPressure
.clear();
251 if (RequireIntervals
)
252 static_cast<IntervalPressure
&>(P
).reset();
254 static_cast<RegionPressure
&>(P
).reset();
260 /// Setup the RegPressureTracker.
262 /// TODO: Add support for pressure without LiveIntervals.
263 void RegPressureTracker::init(const MachineFunction
*mf
,
264 const RegisterClassInfo
*rci
,
265 const LiveIntervals
*lis
,
266 const MachineBasicBlock
*mbb
,
267 MachineBasicBlock::const_iterator pos
,
268 bool TrackLaneMasks
, bool TrackUntiedDefs
) {
272 TRI
= MF
->getSubtarget().getRegisterInfo();
274 MRI
= &MF
->getRegInfo();
276 this->TrackUntiedDefs
= TrackUntiedDefs
;
277 this->TrackLaneMasks
= TrackLaneMasks
;
279 if (RequireIntervals
) {
280 assert(lis
&& "IntervalPressure requires LiveIntervals");
285 CurrSetPressure
.assign(TRI
->getNumRegPressureSets(), 0);
287 P
.MaxSetPressure
= CurrSetPressure
;
291 UntiedDefs
.setUniverse(MRI
->getNumVirtRegs());
294 /// Does this pressure result have a valid top position and live ins.
295 bool RegPressureTracker::isTopClosed() const {
296 if (RequireIntervals
)
297 return static_cast<IntervalPressure
&>(P
).TopIdx
.isValid();
298 return (static_cast<RegionPressure
&>(P
).TopPos
==
299 MachineBasicBlock::const_iterator());
302 /// Does this pressure result have a valid bottom position and live outs.
303 bool RegPressureTracker::isBottomClosed() const {
304 if (RequireIntervals
)
305 return static_cast<IntervalPressure
&>(P
).BottomIdx
.isValid();
306 return (static_cast<RegionPressure
&>(P
).BottomPos
==
307 MachineBasicBlock::const_iterator());
310 SlotIndex
RegPressureTracker::getCurrSlot() const {
311 MachineBasicBlock::const_iterator IdxPos
=
312 skipDebugInstructionsForward(CurrPos
, MBB
->end());
313 if (IdxPos
== MBB
->end())
314 return LIS
->getMBBEndIdx(MBB
);
315 return LIS
->getInstructionIndex(*IdxPos
).getRegSlot();
318 /// Set the boundary for the top of the region and summarize live ins.
319 void RegPressureTracker::closeTop() {
320 if (RequireIntervals
)
321 static_cast<IntervalPressure
&>(P
).TopIdx
= getCurrSlot();
323 static_cast<RegionPressure
&>(P
).TopPos
= CurrPos
;
325 assert(P
.LiveInRegs
.empty() && "inconsistent max pressure result");
326 P
.LiveInRegs
.reserve(LiveRegs
.size());
327 LiveRegs
.appendTo(P
.LiveInRegs
);
330 /// Set the boundary for the bottom of the region and summarize live outs.
331 void RegPressureTracker::closeBottom() {
332 if (RequireIntervals
)
333 static_cast<IntervalPressure
&>(P
).BottomIdx
= getCurrSlot();
335 static_cast<RegionPressure
&>(P
).BottomPos
= CurrPos
;
337 assert(P
.LiveOutRegs
.empty() && "inconsistent max pressure result");
338 P
.LiveOutRegs
.reserve(LiveRegs
.size());
339 LiveRegs
.appendTo(P
.LiveOutRegs
);
342 /// Finalize the region boundaries and record live ins and live outs.
343 void RegPressureTracker::closeRegion() {
344 if (!isTopClosed() && !isBottomClosed()) {
345 assert(LiveRegs
.size() == 0 && "no region boundary");
348 if (!isBottomClosed())
350 else if (!isTopClosed())
352 // If both top and bottom are closed, do nothing.
355 /// The register tracker is unaware of global liveness so ignores normal
356 /// live-thru ranges. However, two-address or coalesced chains can also lead
357 /// to live ranges with no holes. Count these to inform heuristics that we
358 /// can never drop below this pressure.
359 void RegPressureTracker::initLiveThru(const RegPressureTracker
&RPTracker
) {
360 LiveThruPressure
.assign(TRI
->getNumRegPressureSets(), 0);
361 assert(isBottomClosed() && "need bottom-up tracking to intialize.");
362 for (const RegisterMaskPair
&Pair
: P
.LiveOutRegs
) {
363 unsigned RegUnit
= Pair
.RegUnit
;
364 if (Register::isVirtualRegister(RegUnit
)
365 && !RPTracker
.hasUntiedDef(RegUnit
))
366 increaseSetPressure(LiveThruPressure
, *MRI
, RegUnit
,
367 LaneBitmask::getNone(), Pair
.LaneMask
);
371 static LaneBitmask
getRegLanes(ArrayRef
<RegisterMaskPair
> RegUnits
,
373 auto I
= llvm::find_if(RegUnits
, [RegUnit
](const RegisterMaskPair Other
) {
374 return Other
.RegUnit
== RegUnit
;
376 if (I
== RegUnits
.end())
377 return LaneBitmask::getNone();
381 static void addRegLanes(SmallVectorImpl
<RegisterMaskPair
> &RegUnits
,
382 RegisterMaskPair Pair
) {
383 unsigned RegUnit
= Pair
.RegUnit
;
384 assert(Pair
.LaneMask
.any());
385 auto I
= llvm::find_if(RegUnits
, [RegUnit
](const RegisterMaskPair Other
) {
386 return Other
.RegUnit
== RegUnit
;
388 if (I
== RegUnits
.end()) {
389 RegUnits
.push_back(Pair
);
391 I
->LaneMask
|= Pair
.LaneMask
;
395 static void setRegZero(SmallVectorImpl
<RegisterMaskPair
> &RegUnits
,
397 auto I
= llvm::find_if(RegUnits
, [RegUnit
](const RegisterMaskPair Other
) {
398 return Other
.RegUnit
== RegUnit
;
400 if (I
== RegUnits
.end()) {
401 RegUnits
.push_back(RegisterMaskPair(RegUnit
, LaneBitmask::getNone()));
403 I
->LaneMask
= LaneBitmask::getNone();
407 static void removeRegLanes(SmallVectorImpl
<RegisterMaskPair
> &RegUnits
,
408 RegisterMaskPair Pair
) {
409 unsigned RegUnit
= Pair
.RegUnit
;
410 assert(Pair
.LaneMask
.any());
411 auto I
= llvm::find_if(RegUnits
, [RegUnit
](const RegisterMaskPair Other
) {
412 return Other
.RegUnit
== RegUnit
;
414 if (I
!= RegUnits
.end()) {
415 I
->LaneMask
&= ~Pair
.LaneMask
;
416 if (I
->LaneMask
.none())
421 static LaneBitmask
getLanesWithProperty(const LiveIntervals
&LIS
,
422 const MachineRegisterInfo
&MRI
, bool TrackLaneMasks
, unsigned RegUnit
,
423 SlotIndex Pos
, LaneBitmask SafeDefault
,
424 bool(*Property
)(const LiveRange
&LR
, SlotIndex Pos
)) {
425 if (Register::isVirtualRegister(RegUnit
)) {
426 const LiveInterval
&LI
= LIS
.getInterval(RegUnit
);
428 if (TrackLaneMasks
&& LI
.hasSubRanges()) {
429 for (const LiveInterval::SubRange
&SR
: LI
.subranges()) {
430 if (Property(SR
, Pos
))
431 Result
|= SR
.LaneMask
;
433 } else if (Property(LI
, Pos
)) {
434 Result
= TrackLaneMasks
? MRI
.getMaxLaneMaskForVReg(RegUnit
)
435 : LaneBitmask::getAll();
440 const LiveRange
*LR
= LIS
.getCachedRegUnit(RegUnit
);
441 // Be prepared for missing liveranges: We usually do not compute liveranges
442 // for physical registers on targets with many registers (GPUs).
445 return Property(*LR
, Pos
) ? LaneBitmask::getAll() : LaneBitmask::getNone();
449 static LaneBitmask
getLiveLanesAt(const LiveIntervals
&LIS
,
450 const MachineRegisterInfo
&MRI
,
451 bool TrackLaneMasks
, unsigned RegUnit
,
453 return getLanesWithProperty(LIS
, MRI
, TrackLaneMasks
, RegUnit
, Pos
,
454 LaneBitmask::getAll(),
455 [](const LiveRange
&LR
, SlotIndex Pos
) {
456 return LR
.liveAt(Pos
);
463 /// Collect this instruction's unique uses and defs into SmallVectors for
464 /// processing defs and uses in order.
466 /// FIXME: always ignore tied opers
467 class RegisterOperandsCollector
{
468 friend class llvm::RegisterOperands
;
470 RegisterOperands
&RegOpers
;
471 const TargetRegisterInfo
&TRI
;
472 const MachineRegisterInfo
&MRI
;
475 RegisterOperandsCollector(RegisterOperands
&RegOpers
,
476 const TargetRegisterInfo
&TRI
,
477 const MachineRegisterInfo
&MRI
, bool IgnoreDead
)
478 : RegOpers(RegOpers
), TRI(TRI
), MRI(MRI
), IgnoreDead(IgnoreDead
) {}
480 void collectInstr(const MachineInstr
&MI
) const {
481 for (ConstMIBundleOperands
OperI(MI
); OperI
.isValid(); ++OperI
)
482 collectOperand(*OperI
);
484 // Remove redundant physreg dead defs.
485 for (const RegisterMaskPair
&P
: RegOpers
.Defs
)
486 removeRegLanes(RegOpers
.DeadDefs
, P
);
489 void collectInstrLanes(const MachineInstr
&MI
) const {
490 for (ConstMIBundleOperands
OperI(MI
); OperI
.isValid(); ++OperI
)
491 collectOperandLanes(*OperI
);
493 // Remove redundant physreg dead defs.
494 for (const RegisterMaskPair
&P
: RegOpers
.Defs
)
495 removeRegLanes(RegOpers
.DeadDefs
, P
);
498 /// Push this operand's register onto the correct vectors.
499 void collectOperand(const MachineOperand
&MO
) const {
500 if (!MO
.isReg() || !MO
.getReg())
502 Register Reg
= MO
.getReg();
504 if (!MO
.isUndef() && !MO
.isInternalRead())
505 pushReg(Reg
, RegOpers
.Uses
);
508 // Subregister definitions may imply a register read.
510 pushReg(Reg
, RegOpers
.Uses
);
514 pushReg(Reg
, RegOpers
.DeadDefs
);
516 pushReg(Reg
, RegOpers
.Defs
);
520 void pushReg(unsigned Reg
,
521 SmallVectorImpl
<RegisterMaskPair
> &RegUnits
) const {
522 if (Register::isVirtualRegister(Reg
)) {
523 addRegLanes(RegUnits
, RegisterMaskPair(Reg
, LaneBitmask::getAll()));
524 } else if (MRI
.isAllocatable(Reg
)) {
525 for (MCRegUnitIterator
Units(Reg
, &TRI
); Units
.isValid(); ++Units
)
526 addRegLanes(RegUnits
, RegisterMaskPair(*Units
, LaneBitmask::getAll()));
530 void collectOperandLanes(const MachineOperand
&MO
) const {
531 if (!MO
.isReg() || !MO
.getReg())
533 Register Reg
= MO
.getReg();
534 unsigned SubRegIdx
= MO
.getSubReg();
536 if (!MO
.isUndef() && !MO
.isInternalRead())
537 pushRegLanes(Reg
, SubRegIdx
, RegOpers
.Uses
);
540 // Treat read-undef subreg defs as definitions of the whole register.
546 pushRegLanes(Reg
, SubRegIdx
, RegOpers
.DeadDefs
);
548 pushRegLanes(Reg
, SubRegIdx
, RegOpers
.Defs
);
552 void pushRegLanes(unsigned Reg
, unsigned SubRegIdx
,
553 SmallVectorImpl
<RegisterMaskPair
> &RegUnits
) const {
554 if (Register::isVirtualRegister(Reg
)) {
555 LaneBitmask LaneMask
= SubRegIdx
!= 0
556 ? TRI
.getSubRegIndexLaneMask(SubRegIdx
)
557 : MRI
.getMaxLaneMaskForVReg(Reg
);
558 addRegLanes(RegUnits
, RegisterMaskPair(Reg
, LaneMask
));
559 } else if (MRI
.isAllocatable(Reg
)) {
560 for (MCRegUnitIterator
Units(Reg
, &TRI
); Units
.isValid(); ++Units
)
561 addRegLanes(RegUnits
, RegisterMaskPair(*Units
, LaneBitmask::getAll()));
566 } // end anonymous namespace
568 void RegisterOperands::collect(const MachineInstr
&MI
,
569 const TargetRegisterInfo
&TRI
,
570 const MachineRegisterInfo
&MRI
,
571 bool TrackLaneMasks
, bool IgnoreDead
) {
572 RegisterOperandsCollector
Collector(*this, TRI
, MRI
, IgnoreDead
);
574 Collector
.collectInstrLanes(MI
);
576 Collector
.collectInstr(MI
);
579 void RegisterOperands::detectDeadDefs(const MachineInstr
&MI
,
580 const LiveIntervals
&LIS
) {
581 SlotIndex SlotIdx
= LIS
.getInstructionIndex(MI
);
582 for (auto RI
= Defs
.begin(); RI
!= Defs
.end(); /*empty*/) {
583 unsigned Reg
= RI
->RegUnit
;
584 const LiveRange
*LR
= getLiveRange(LIS
, Reg
);
586 LiveQueryResult LRQ
= LR
->Query(SlotIdx
);
587 if (LRQ
.isDeadDef()) {
588 // LiveIntervals knows this is a dead even though it's MachineOperand is
589 // not flagged as such.
590 DeadDefs
.push_back(*RI
);
599 void RegisterOperands::adjustLaneLiveness(const LiveIntervals
&LIS
,
600 const MachineRegisterInfo
&MRI
,
602 MachineInstr
*AddFlagsMI
) {
603 for (auto I
= Defs
.begin(); I
!= Defs
.end(); ) {
604 LaneBitmask LiveAfter
= getLiveLanesAt(LIS
, MRI
, true, I
->RegUnit
,
606 // If the def is all that is live after the instruction, then in case
607 // of a subregister def we need a read-undef flag.
608 unsigned RegUnit
= I
->RegUnit
;
609 if (Register::isVirtualRegister(RegUnit
) &&
610 AddFlagsMI
!= nullptr && (LiveAfter
& ~I
->LaneMask
).none())
611 AddFlagsMI
->setRegisterDefReadUndef(RegUnit
);
613 LaneBitmask ActualDef
= I
->LaneMask
& LiveAfter
;
614 if (ActualDef
.none()) {
617 I
->LaneMask
= ActualDef
;
621 for (auto I
= Uses
.begin(); I
!= Uses
.end(); ) {
622 LaneBitmask LiveBefore
= getLiveLanesAt(LIS
, MRI
, true, I
->RegUnit
,
624 LaneBitmask LaneMask
= I
->LaneMask
& LiveBefore
;
625 if (LaneMask
.none()) {
628 I
->LaneMask
= LaneMask
;
632 if (AddFlagsMI
!= nullptr) {
633 for (const RegisterMaskPair
&P
: DeadDefs
) {
634 unsigned RegUnit
= P
.RegUnit
;
635 if (!Register::isVirtualRegister(RegUnit
))
637 LaneBitmask LiveAfter
= getLiveLanesAt(LIS
, MRI
, true, RegUnit
,
639 if (LiveAfter
.none())
640 AddFlagsMI
->setRegisterDefReadUndef(RegUnit
);
645 /// Initialize an array of N PressureDiffs.
646 void PressureDiffs::init(unsigned N
) {
649 memset(PDiffArray
, 0, N
* sizeof(PressureDiff
));
654 PDiffArray
= static_cast<PressureDiff
*>(safe_calloc(N
, sizeof(PressureDiff
)));
657 void PressureDiffs::addInstruction(unsigned Idx
,
658 const RegisterOperands
&RegOpers
,
659 const MachineRegisterInfo
&MRI
) {
660 PressureDiff
&PDiff
= (*this)[Idx
];
661 assert(!PDiff
.begin()->isValid() && "stale PDiff");
662 for (const RegisterMaskPair
&P
: RegOpers
.Defs
)
663 PDiff
.addPressureChange(P
.RegUnit
, true, &MRI
);
665 for (const RegisterMaskPair
&P
: RegOpers
.Uses
)
666 PDiff
.addPressureChange(P
.RegUnit
, false, &MRI
);
669 /// Add a change in pressure to the pressure diff of a given instruction.
670 void PressureDiff::addPressureChange(unsigned RegUnit
, bool IsDec
,
671 const MachineRegisterInfo
*MRI
) {
672 PSetIterator PSetI
= MRI
->getPressureSets(RegUnit
);
673 int Weight
= IsDec
? -PSetI
.getWeight() : PSetI
.getWeight();
674 for (; PSetI
.isValid(); ++PSetI
) {
675 // Find an existing entry in the pressure diff for this PSet.
676 PressureDiff::iterator I
= nonconst_begin(), E
= nonconst_end();
677 for (; I
!= E
&& I
->isValid(); ++I
) {
678 if (I
->getPSet() >= *PSetI
)
681 // If all pressure sets are more constrained, skip the remaining PSets.
684 // Insert this PressureChange.
685 if (!I
->isValid() || I
->getPSet() != *PSetI
) {
686 PressureChange PTmp
= PressureChange(*PSetI
);
687 for (PressureDiff::iterator J
= I
; J
!= E
&& PTmp
.isValid(); ++J
)
690 // Update the units for this pressure set.
691 unsigned NewUnitInc
= I
->getUnitInc() + Weight
;
692 if (NewUnitInc
!= 0) {
693 I
->setUnitInc(NewUnitInc
);
696 PressureDiff::iterator J
;
697 for (J
= std::next(I
); J
!= E
&& J
->isValid(); ++J
, ++I
)
699 *I
= PressureChange();
704 /// Force liveness of registers.
705 void RegPressureTracker::addLiveRegs(ArrayRef
<RegisterMaskPair
> Regs
) {
706 for (const RegisterMaskPair
&P
: Regs
) {
707 LaneBitmask PrevMask
= LiveRegs
.insert(P
);
708 LaneBitmask NewMask
= PrevMask
| P
.LaneMask
;
709 increaseRegPressure(P
.RegUnit
, PrevMask
, NewMask
);
713 void RegPressureTracker::discoverLiveInOrOut(RegisterMaskPair Pair
,
714 SmallVectorImpl
<RegisterMaskPair
> &LiveInOrOut
) {
715 assert(Pair
.LaneMask
.any());
717 unsigned RegUnit
= Pair
.RegUnit
;
718 auto I
= llvm::find_if(LiveInOrOut
, [RegUnit
](const RegisterMaskPair
&Other
) {
719 return Other
.RegUnit
== RegUnit
;
721 LaneBitmask PrevMask
;
723 if (I
== LiveInOrOut
.end()) {
724 PrevMask
= LaneBitmask::getNone();
725 NewMask
= Pair
.LaneMask
;
726 LiveInOrOut
.push_back(Pair
);
728 PrevMask
= I
->LaneMask
;
729 NewMask
= PrevMask
| Pair
.LaneMask
;
730 I
->LaneMask
= NewMask
;
732 increaseSetPressure(P
.MaxSetPressure
, *MRI
, RegUnit
, PrevMask
, NewMask
);
735 void RegPressureTracker::discoverLiveIn(RegisterMaskPair Pair
) {
736 discoverLiveInOrOut(Pair
, P
.LiveInRegs
);
739 void RegPressureTracker::discoverLiveOut(RegisterMaskPair Pair
) {
740 discoverLiveInOrOut(Pair
, P
.LiveOutRegs
);
743 void RegPressureTracker::bumpDeadDefs(ArrayRef
<RegisterMaskPair
> DeadDefs
) {
744 for (const RegisterMaskPair
&P
: DeadDefs
) {
745 unsigned Reg
= P
.RegUnit
;
746 LaneBitmask LiveMask
= LiveRegs
.contains(Reg
);
747 LaneBitmask BumpedMask
= LiveMask
| P
.LaneMask
;
748 increaseRegPressure(Reg
, LiveMask
, BumpedMask
);
750 for (const RegisterMaskPair
&P
: DeadDefs
) {
751 unsigned Reg
= P
.RegUnit
;
752 LaneBitmask LiveMask
= LiveRegs
.contains(Reg
);
753 LaneBitmask BumpedMask
= LiveMask
| P
.LaneMask
;
754 decreaseRegPressure(Reg
, BumpedMask
, LiveMask
);
758 /// Recede across the previous instruction. If LiveUses is provided, record any
759 /// RegUnits that are made live by the current instruction's uses. This includes
760 /// registers that are both defined and used by the instruction. If a pressure
761 /// difference pointer is provided record the changes is pressure caused by this
762 /// instruction independent of liveness.
763 void RegPressureTracker::recede(const RegisterOperands
&RegOpers
,
764 SmallVectorImpl
<RegisterMaskPair
> *LiveUses
) {
765 assert(!CurrPos
->isDebugInstr());
767 // Boost pressure for all dead defs together.
768 bumpDeadDefs(RegOpers
.DeadDefs
);
770 // Kill liveness at live defs.
771 // TODO: consider earlyclobbers?
772 for (const RegisterMaskPair
&Def
: RegOpers
.Defs
) {
773 unsigned Reg
= Def
.RegUnit
;
775 LaneBitmask PreviousMask
= LiveRegs
.erase(Def
);
776 LaneBitmask NewMask
= PreviousMask
& ~Def
.LaneMask
;
778 LaneBitmask LiveOut
= Def
.LaneMask
& ~PreviousMask
;
780 discoverLiveOut(RegisterMaskPair(Reg
, LiveOut
));
781 // Retroactively model effects on pressure of the live out lanes.
782 increaseSetPressure(CurrSetPressure
, *MRI
, Reg
, LaneBitmask::getNone(),
784 PreviousMask
= LiveOut
;
787 if (NewMask
.none()) {
788 // Add a 0 entry to LiveUses as a marker that the complete vreg has become
790 if (TrackLaneMasks
&& LiveUses
!= nullptr)
791 setRegZero(*LiveUses
, Reg
);
794 decreaseRegPressure(Reg
, PreviousMask
, NewMask
);
798 if (RequireIntervals
)
799 SlotIdx
= LIS
->getInstructionIndex(*CurrPos
).getRegSlot();
801 // Generate liveness for uses.
802 for (const RegisterMaskPair
&Use
: RegOpers
.Uses
) {
803 unsigned Reg
= Use
.RegUnit
;
804 assert(Use
.LaneMask
.any());
805 LaneBitmask PreviousMask
= LiveRegs
.insert(Use
);
806 LaneBitmask NewMask
= PreviousMask
| Use
.LaneMask
;
807 if (NewMask
== PreviousMask
)
810 // Did the register just become live?
811 if (PreviousMask
.none()) {
812 if (LiveUses
!= nullptr) {
813 if (!TrackLaneMasks
) {
814 addRegLanes(*LiveUses
, RegisterMaskPair(Reg
, NewMask
));
817 llvm::find_if(*LiveUses
, [Reg
](const RegisterMaskPair Other
) {
818 return Other
.RegUnit
== Reg
;
820 bool IsRedef
= I
!= LiveUses
->end();
822 // ignore re-defs here...
823 assert(I
->LaneMask
.none());
824 removeRegLanes(*LiveUses
, RegisterMaskPair(Reg
, NewMask
));
826 addRegLanes(*LiveUses
, RegisterMaskPair(Reg
, NewMask
));
831 // Discover live outs if this may be the first occurance of this register.
832 if (RequireIntervals
) {
833 LaneBitmask LiveOut
= getLiveThroughAt(Reg
, SlotIdx
);
835 discoverLiveOut(RegisterMaskPair(Reg
, LiveOut
));
839 increaseRegPressure(Reg
, PreviousMask
, NewMask
);
841 if (TrackUntiedDefs
) {
842 for (const RegisterMaskPair
&Def
: RegOpers
.Defs
) {
843 unsigned RegUnit
= Def
.RegUnit
;
844 if (Register::isVirtualRegister(RegUnit
) &&
845 (LiveRegs
.contains(RegUnit
) & Def
.LaneMask
).none())
846 UntiedDefs
.insert(RegUnit
);
851 void RegPressureTracker::recedeSkipDebugValues() {
852 assert(CurrPos
!= MBB
->begin());
853 if (!isBottomClosed())
856 // Open the top of the region using block iterators.
857 if (!RequireIntervals
&& isTopClosed())
858 static_cast<RegionPressure
&>(P
).openTop(CurrPos
);
860 // Find the previous instruction.
861 CurrPos
= skipDebugInstructionsBackward(std::prev(CurrPos
), MBB
->begin());
864 if (RequireIntervals
&& !CurrPos
->isDebugInstr())
865 SlotIdx
= LIS
->getInstructionIndex(*CurrPos
).getRegSlot();
867 // Open the top of the region using slot indexes.
868 if (RequireIntervals
&& isTopClosed())
869 static_cast<IntervalPressure
&>(P
).openTop(SlotIdx
);
872 void RegPressureTracker::recede(SmallVectorImpl
<RegisterMaskPair
> *LiveUses
) {
873 recedeSkipDebugValues();
874 if (CurrPos
->isDebugValue()) {
875 // It's possible to only have debug_value instructions and hit the start of
877 assert(CurrPos
== MBB
->begin());
881 const MachineInstr
&MI
= *CurrPos
;
882 RegisterOperands RegOpers
;
883 RegOpers
.collect(MI
, *TRI
, *MRI
, TrackLaneMasks
, false);
884 if (TrackLaneMasks
) {
885 SlotIndex SlotIdx
= LIS
->getInstructionIndex(*CurrPos
).getRegSlot();
886 RegOpers
.adjustLaneLiveness(*LIS
, *MRI
, SlotIdx
);
887 } else if (RequireIntervals
) {
888 RegOpers
.detectDeadDefs(MI
, *LIS
);
891 recede(RegOpers
, LiveUses
);
894 /// Advance across the current instruction.
895 void RegPressureTracker::advance(const RegisterOperands
&RegOpers
) {
896 assert(!TrackUntiedDefs
&& "unsupported mode");
897 assert(CurrPos
!= MBB
->end());
902 if (RequireIntervals
)
903 SlotIdx
= getCurrSlot();
905 // Open the bottom of the region using slot indexes.
906 if (isBottomClosed()) {
907 if (RequireIntervals
)
908 static_cast<IntervalPressure
&>(P
).openBottom(SlotIdx
);
910 static_cast<RegionPressure
&>(P
).openBottom(CurrPos
);
913 for (const RegisterMaskPair
&Use
: RegOpers
.Uses
) {
914 unsigned Reg
= Use
.RegUnit
;
915 LaneBitmask LiveMask
= LiveRegs
.contains(Reg
);
916 LaneBitmask LiveIn
= Use
.LaneMask
& ~LiveMask
;
918 discoverLiveIn(RegisterMaskPair(Reg
, LiveIn
));
919 increaseRegPressure(Reg
, LiveMask
, LiveMask
| LiveIn
);
920 LiveRegs
.insert(RegisterMaskPair(Reg
, LiveIn
));
922 // Kill liveness at last uses.
923 if (RequireIntervals
) {
924 LaneBitmask LastUseMask
= getLastUsedLanes(Reg
, SlotIdx
);
925 if (LastUseMask
.any()) {
926 LiveRegs
.erase(RegisterMaskPair(Reg
, LastUseMask
));
927 decreaseRegPressure(Reg
, LiveMask
, LiveMask
& ~LastUseMask
);
932 // Generate liveness for defs.
933 for (const RegisterMaskPair
&Def
: RegOpers
.Defs
) {
934 LaneBitmask PreviousMask
= LiveRegs
.insert(Def
);
935 LaneBitmask NewMask
= PreviousMask
| Def
.LaneMask
;
936 increaseRegPressure(Def
.RegUnit
, PreviousMask
, NewMask
);
939 // Boost pressure for all dead defs together.
940 bumpDeadDefs(RegOpers
.DeadDefs
);
942 // Find the next instruction.
943 CurrPos
= skipDebugInstructionsForward(std::next(CurrPos
), MBB
->end());
946 void RegPressureTracker::advance() {
947 const MachineInstr
&MI
= *CurrPos
;
948 RegisterOperands RegOpers
;
949 RegOpers
.collect(MI
, *TRI
, *MRI
, TrackLaneMasks
, false);
950 if (TrackLaneMasks
) {
951 SlotIndex SlotIdx
= getCurrSlot();
952 RegOpers
.adjustLaneLiveness(*LIS
, *MRI
, SlotIdx
);
957 /// Find the max change in excess pressure across all sets.
958 static void computeExcessPressureDelta(ArrayRef
<unsigned> OldPressureVec
,
959 ArrayRef
<unsigned> NewPressureVec
,
960 RegPressureDelta
&Delta
,
961 const RegisterClassInfo
*RCI
,
962 ArrayRef
<unsigned> LiveThruPressureVec
) {
963 Delta
.Excess
= PressureChange();
964 for (unsigned i
= 0, e
= OldPressureVec
.size(); i
< e
; ++i
) {
965 unsigned POld
= OldPressureVec
[i
];
966 unsigned PNew
= NewPressureVec
[i
];
967 int PDiff
= (int)PNew
- (int)POld
;
968 if (!PDiff
) // No change in this set in the common case.
970 // Only consider change beyond the limit.
971 unsigned Limit
= RCI
->getRegPressureSetLimit(i
);
972 if (!LiveThruPressureVec
.empty())
973 Limit
+= LiveThruPressureVec
[i
];
977 PDiff
= 0; // Under the limit
979 PDiff
= PNew
- Limit
; // Just exceeded limit.
980 } else if (Limit
> PNew
)
981 PDiff
= Limit
- POld
; // Just obeyed limit.
984 Delta
.Excess
= PressureChange(i
);
985 Delta
.Excess
.setUnitInc(PDiff
);
991 /// Find the max change in max pressure that either surpasses a critical PSet
992 /// limit or exceeds the current MaxPressureLimit.
994 /// FIXME: comparing each element of the old and new MaxPressure vectors here is
995 /// silly. It's done now to demonstrate the concept but will go away with a
996 /// RegPressureTracker API change to work with pressure differences.
997 static void computeMaxPressureDelta(ArrayRef
<unsigned> OldMaxPressureVec
,
998 ArrayRef
<unsigned> NewMaxPressureVec
,
999 ArrayRef
<PressureChange
> CriticalPSets
,
1000 ArrayRef
<unsigned> MaxPressureLimit
,
1001 RegPressureDelta
&Delta
) {
1002 Delta
.CriticalMax
= PressureChange();
1003 Delta
.CurrentMax
= PressureChange();
1005 unsigned CritIdx
= 0, CritEnd
= CriticalPSets
.size();
1006 for (unsigned i
= 0, e
= OldMaxPressureVec
.size(); i
< e
; ++i
) {
1007 unsigned POld
= OldMaxPressureVec
[i
];
1008 unsigned PNew
= NewMaxPressureVec
[i
];
1009 if (PNew
== POld
) // No change in this set in the common case.
1012 if (!Delta
.CriticalMax
.isValid()) {
1013 while (CritIdx
!= CritEnd
&& CriticalPSets
[CritIdx
].getPSet() < i
)
1016 if (CritIdx
!= CritEnd
&& CriticalPSets
[CritIdx
].getPSet() == i
) {
1017 int PDiff
= (int)PNew
- (int)CriticalPSets
[CritIdx
].getUnitInc();
1019 Delta
.CriticalMax
= PressureChange(i
);
1020 Delta
.CriticalMax
.setUnitInc(PDiff
);
1024 // Find the first increase above MaxPressureLimit.
1025 // (Ignores negative MDiff).
1026 if (!Delta
.CurrentMax
.isValid() && PNew
> MaxPressureLimit
[i
]) {
1027 Delta
.CurrentMax
= PressureChange(i
);
1028 Delta
.CurrentMax
.setUnitInc(PNew
- POld
);
1029 if (CritIdx
== CritEnd
|| Delta
.CriticalMax
.isValid())
1035 /// Record the upward impact of a single instruction on current register
1036 /// pressure. Unlike the advance/recede pressure tracking interface, this does
1037 /// not discover live in/outs.
1039 /// This is intended for speculative queries. It leaves pressure inconsistent
1040 /// with the current position, so must be restored by the caller.
1041 void RegPressureTracker::bumpUpwardPressure(const MachineInstr
*MI
) {
1042 assert(!MI
->isDebugInstr() && "Expect a nondebug instruction.");
1045 if (RequireIntervals
)
1046 SlotIdx
= LIS
->getInstructionIndex(*MI
).getRegSlot();
1048 // Account for register pressure similar to RegPressureTracker::recede().
1049 RegisterOperands RegOpers
;
1050 RegOpers
.collect(*MI
, *TRI
, *MRI
, TrackLaneMasks
, /*IgnoreDead=*/true);
1051 assert(RegOpers
.DeadDefs
.size() == 0);
1053 RegOpers
.adjustLaneLiveness(*LIS
, *MRI
, SlotIdx
);
1054 else if (RequireIntervals
)
1055 RegOpers
.detectDeadDefs(*MI
, *LIS
);
1057 // Boost max pressure for all dead defs together.
1058 // Since CurrSetPressure and MaxSetPressure
1059 bumpDeadDefs(RegOpers
.DeadDefs
);
1061 // Kill liveness at live defs.
1062 for (const RegisterMaskPair
&P
: RegOpers
.Defs
) {
1063 unsigned Reg
= P
.RegUnit
;
1064 LaneBitmask LiveLanes
= LiveRegs
.contains(Reg
);
1065 LaneBitmask UseLanes
= getRegLanes(RegOpers
.Uses
, Reg
);
1066 LaneBitmask DefLanes
= P
.LaneMask
;
1067 LaneBitmask LiveAfter
= (LiveLanes
& ~DefLanes
) | UseLanes
;
1068 decreaseRegPressure(Reg
, LiveLanes
, LiveAfter
);
1070 // Generate liveness for uses.
1071 for (const RegisterMaskPair
&P
: RegOpers
.Uses
) {
1072 unsigned Reg
= P
.RegUnit
;
1073 LaneBitmask LiveLanes
= LiveRegs
.contains(Reg
);
1074 LaneBitmask LiveAfter
= LiveLanes
| P
.LaneMask
;
1075 increaseRegPressure(Reg
, LiveLanes
, LiveAfter
);
1079 /// Consider the pressure increase caused by traversing this instruction
1080 /// bottom-up. Find the pressure set with the most change beyond its pressure
1081 /// limit based on the tracker's current pressure, and return the change in
1082 /// number of register units of that pressure set introduced by this
1085 /// This assumes that the current LiveOut set is sufficient.
1087 /// This is expensive for an on-the-fly query because it calls
1088 /// bumpUpwardPressure to recompute the pressure sets based on current
1089 /// liveness. This mainly exists to verify correctness, e.g. with
1090 /// -verify-misched. getUpwardPressureDelta is the fast version of this query
1091 /// that uses the per-SUnit cache of the PressureDiff.
1092 void RegPressureTracker::
1093 getMaxUpwardPressureDelta(const MachineInstr
*MI
, PressureDiff
*PDiff
,
1094 RegPressureDelta
&Delta
,
1095 ArrayRef
<PressureChange
> CriticalPSets
,
1096 ArrayRef
<unsigned> MaxPressureLimit
) {
1097 // Snapshot Pressure.
1098 // FIXME: The snapshot heap space should persist. But I'm planning to
1099 // summarize the pressure effect so we don't need to snapshot at all.
1100 std::vector
<unsigned> SavedPressure
= CurrSetPressure
;
1101 std::vector
<unsigned> SavedMaxPressure
= P
.MaxSetPressure
;
1103 bumpUpwardPressure(MI
);
1105 computeExcessPressureDelta(SavedPressure
, CurrSetPressure
, Delta
, RCI
,
1107 computeMaxPressureDelta(SavedMaxPressure
, P
.MaxSetPressure
, CriticalPSets
,
1108 MaxPressureLimit
, Delta
);
1109 assert(Delta
.CriticalMax
.getUnitInc() >= 0 &&
1110 Delta
.CurrentMax
.getUnitInc() >= 0 && "cannot decrease max pressure");
1112 // Restore the tracker's state.
1113 P
.MaxSetPressure
.swap(SavedMaxPressure
);
1114 CurrSetPressure
.swap(SavedPressure
);
1120 // Check if the alternate algorithm yields the same result.
1121 RegPressureDelta Delta2
;
1122 getUpwardPressureDelta(MI
, *PDiff
, Delta2
, CriticalPSets
, MaxPressureLimit
);
1123 if (Delta
!= Delta2
) {
1124 dbgs() << "PDiff: ";
1126 dbgs() << "DELTA: " << *MI
;
1127 if (Delta
.Excess
.isValid())
1128 dbgs() << "Excess1 " << TRI
->getRegPressureSetName(Delta
.Excess
.getPSet())
1129 << " " << Delta
.Excess
.getUnitInc() << "\n";
1130 if (Delta
.CriticalMax
.isValid())
1131 dbgs() << "Critic1 " << TRI
->getRegPressureSetName(Delta
.CriticalMax
.getPSet())
1132 << " " << Delta
.CriticalMax
.getUnitInc() << "\n";
1133 if (Delta
.CurrentMax
.isValid())
1134 dbgs() << "CurrMx1 " << TRI
->getRegPressureSetName(Delta
.CurrentMax
.getPSet())
1135 << " " << Delta
.CurrentMax
.getUnitInc() << "\n";
1136 if (Delta2
.Excess
.isValid())
1137 dbgs() << "Excess2 " << TRI
->getRegPressureSetName(Delta2
.Excess
.getPSet())
1138 << " " << Delta2
.Excess
.getUnitInc() << "\n";
1139 if (Delta2
.CriticalMax
.isValid())
1140 dbgs() << "Critic2 " << TRI
->getRegPressureSetName(Delta2
.CriticalMax
.getPSet())
1141 << " " << Delta2
.CriticalMax
.getUnitInc() << "\n";
1142 if (Delta2
.CurrentMax
.isValid())
1143 dbgs() << "CurrMx2 " << TRI
->getRegPressureSetName(Delta2
.CurrentMax
.getPSet())
1144 << " " << Delta2
.CurrentMax
.getUnitInc() << "\n";
1145 llvm_unreachable("RegP Delta Mismatch");
1150 /// This is the fast version of querying register pressure that does not
1151 /// directly depend on current liveness.
1153 /// @param Delta captures information needed for heuristics.
1155 /// @param CriticalPSets Are the pressure sets that are known to exceed some
1156 /// limit within the region, not necessarily at the current position.
1158 /// @param MaxPressureLimit Is the max pressure within the region, not
1159 /// necessarily at the current position.
1160 void RegPressureTracker::
1161 getUpwardPressureDelta(const MachineInstr
*MI
, /*const*/ PressureDiff
&PDiff
,
1162 RegPressureDelta
&Delta
,
1163 ArrayRef
<PressureChange
> CriticalPSets
,
1164 ArrayRef
<unsigned> MaxPressureLimit
) const {
1165 unsigned CritIdx
= 0, CritEnd
= CriticalPSets
.size();
1166 for (PressureDiff::const_iterator
1167 PDiffI
= PDiff
.begin(), PDiffE
= PDiff
.end();
1168 PDiffI
!= PDiffE
&& PDiffI
->isValid(); ++PDiffI
) {
1170 unsigned PSetID
= PDiffI
->getPSet();
1171 unsigned Limit
= RCI
->getRegPressureSetLimit(PSetID
);
1172 if (!LiveThruPressure
.empty())
1173 Limit
+= LiveThruPressure
[PSetID
];
1175 unsigned POld
= CurrSetPressure
[PSetID
];
1176 unsigned MOld
= P
.MaxSetPressure
[PSetID
];
1177 unsigned MNew
= MOld
;
1178 // Ignore DeadDefs here because they aren't captured by PressureChange.
1179 unsigned PNew
= POld
+ PDiffI
->getUnitInc();
1180 assert((PDiffI
->getUnitInc() >= 0) == (PNew
>= POld
)
1181 && "PSet overflow/underflow");
1184 // Check if current pressure has exceeded the limit.
1185 if (!Delta
.Excess
.isValid()) {
1186 unsigned ExcessInc
= 0;
1188 ExcessInc
= POld
> Limit
? PNew
- POld
: PNew
- Limit
;
1189 else if (POld
> Limit
)
1190 ExcessInc
= Limit
- POld
;
1192 Delta
.Excess
= PressureChange(PSetID
);
1193 Delta
.Excess
.setUnitInc(ExcessInc
);
1196 // Check if max pressure has exceeded a critical pressure set max.
1199 if (!Delta
.CriticalMax
.isValid()) {
1200 while (CritIdx
!= CritEnd
&& CriticalPSets
[CritIdx
].getPSet() < PSetID
)
1203 if (CritIdx
!= CritEnd
&& CriticalPSets
[CritIdx
].getPSet() == PSetID
) {
1204 int CritInc
= (int)MNew
- (int)CriticalPSets
[CritIdx
].getUnitInc();
1205 if (CritInc
> 0 && CritInc
<= std::numeric_limits
<int16_t>::max()) {
1206 Delta
.CriticalMax
= PressureChange(PSetID
);
1207 Delta
.CriticalMax
.setUnitInc(CritInc
);
1211 // Check if max pressure has exceeded the current max.
1212 if (!Delta
.CurrentMax
.isValid() && MNew
> MaxPressureLimit
[PSetID
]) {
1213 Delta
.CurrentMax
= PressureChange(PSetID
);
1214 Delta
.CurrentMax
.setUnitInc(MNew
- MOld
);
1219 /// Helper to find a vreg use between two indices [PriorUseIdx, NextUseIdx).
1220 /// The query starts with a lane bitmask which gets lanes/bits removed for every
1222 static LaneBitmask
findUseBetween(unsigned Reg
, LaneBitmask LastUseMask
,
1223 SlotIndex PriorUseIdx
, SlotIndex NextUseIdx
,
1224 const MachineRegisterInfo
&MRI
,
1225 const LiveIntervals
*LIS
) {
1226 const TargetRegisterInfo
&TRI
= *MRI
.getTargetRegisterInfo();
1227 for (const MachineOperand
&MO
: MRI
.use_nodbg_operands(Reg
)) {
1230 const MachineInstr
*MI
= MO
.getParent();
1231 SlotIndex InstSlot
= LIS
->getInstructionIndex(*MI
).getRegSlot();
1232 if (InstSlot
>= PriorUseIdx
&& InstSlot
< NextUseIdx
) {
1233 unsigned SubRegIdx
= MO
.getSubReg();
1234 LaneBitmask UseMask
= TRI
.getSubRegIndexLaneMask(SubRegIdx
);
1235 LastUseMask
&= ~UseMask
;
1236 if (LastUseMask
.none())
1237 return LaneBitmask::getNone();
1243 LaneBitmask
RegPressureTracker::getLiveLanesAt(unsigned RegUnit
,
1244 SlotIndex Pos
) const {
1245 assert(RequireIntervals
);
1246 return getLanesWithProperty(*LIS
, *MRI
, TrackLaneMasks
, RegUnit
, Pos
,
1247 LaneBitmask::getAll(),
1248 [](const LiveRange
&LR
, SlotIndex Pos
) {
1249 return LR
.liveAt(Pos
);
1253 LaneBitmask
RegPressureTracker::getLastUsedLanes(unsigned RegUnit
,
1254 SlotIndex Pos
) const {
1255 assert(RequireIntervals
);
1256 return getLanesWithProperty(*LIS
, *MRI
, TrackLaneMasks
, RegUnit
,
1257 Pos
.getBaseIndex(), LaneBitmask::getNone(),
1258 [](const LiveRange
&LR
, SlotIndex Pos
) {
1259 const LiveRange::Segment
*S
= LR
.getSegmentContaining(Pos
);
1260 return S
!= nullptr && S
->end
== Pos
.getRegSlot();
1264 LaneBitmask
RegPressureTracker::getLiveThroughAt(unsigned RegUnit
,
1265 SlotIndex Pos
) const {
1266 assert(RequireIntervals
);
1267 return getLanesWithProperty(*LIS
, *MRI
, TrackLaneMasks
, RegUnit
, Pos
,
1268 LaneBitmask::getNone(),
1269 [](const LiveRange
&LR
, SlotIndex Pos
) {
1270 const LiveRange::Segment
*S
= LR
.getSegmentContaining(Pos
);
1271 return S
!= nullptr && S
->start
< Pos
.getRegSlot(true) &&
1272 S
->end
!= Pos
.getDeadSlot();
1276 /// Record the downward impact of a single instruction on current register
1277 /// pressure. Unlike the advance/recede pressure tracking interface, this does
1278 /// not discover live in/outs.
1280 /// This is intended for speculative queries. It leaves pressure inconsistent
1281 /// with the current position, so must be restored by the caller.
1282 void RegPressureTracker::bumpDownwardPressure(const MachineInstr
*MI
) {
1283 assert(!MI
->isDebugInstr() && "Expect a nondebug instruction.");
1286 if (RequireIntervals
)
1287 SlotIdx
= LIS
->getInstructionIndex(*MI
).getRegSlot();
1289 // Account for register pressure similar to RegPressureTracker::recede().
1290 RegisterOperands RegOpers
;
1291 RegOpers
.collect(*MI
, *TRI
, *MRI
, TrackLaneMasks
, false);
1293 RegOpers
.adjustLaneLiveness(*LIS
, *MRI
, SlotIdx
);
1295 if (RequireIntervals
) {
1296 for (const RegisterMaskPair
&Use
: RegOpers
.Uses
) {
1297 unsigned Reg
= Use
.RegUnit
;
1298 LaneBitmask LastUseMask
= getLastUsedLanes(Reg
, SlotIdx
);
1299 if (LastUseMask
.none())
1301 // The LastUseMask is queried from the liveness information of instruction
1302 // which may be further down the schedule. Some lanes may actually not be
1303 // last uses for the current position.
1304 // FIXME: allow the caller to pass in the list of vreg uses that remain
1305 // to be bottom-scheduled to avoid searching uses at each query.
1306 SlotIndex CurrIdx
= getCurrSlot();
1308 = findUseBetween(Reg
, LastUseMask
, CurrIdx
, SlotIdx
, *MRI
, LIS
);
1309 if (LastUseMask
.none())
1312 LaneBitmask LiveMask
= LiveRegs
.contains(Reg
);
1313 LaneBitmask NewMask
= LiveMask
& ~LastUseMask
;
1314 decreaseRegPressure(Reg
, LiveMask
, NewMask
);
1318 // Generate liveness for defs.
1319 for (const RegisterMaskPair
&Def
: RegOpers
.Defs
) {
1320 unsigned Reg
= Def
.RegUnit
;
1321 LaneBitmask LiveMask
= LiveRegs
.contains(Reg
);
1322 LaneBitmask NewMask
= LiveMask
| Def
.LaneMask
;
1323 increaseRegPressure(Reg
, LiveMask
, NewMask
);
1326 // Boost pressure for all dead defs together.
1327 bumpDeadDefs(RegOpers
.DeadDefs
);
1330 /// Consider the pressure increase caused by traversing this instruction
1331 /// top-down. Find the register class with the most change in its pressure limit
1332 /// based on the tracker's current pressure, and return the number of excess
1333 /// register units of that pressure set introduced by this instruction.
1335 /// This assumes that the current LiveIn set is sufficient.
1337 /// This is expensive for an on-the-fly query because it calls
1338 /// bumpDownwardPressure to recompute the pressure sets based on current
1339 /// liveness. We don't yet have a fast version of downward pressure tracking
1340 /// analogous to getUpwardPressureDelta.
1341 void RegPressureTracker::
1342 getMaxDownwardPressureDelta(const MachineInstr
*MI
, RegPressureDelta
&Delta
,
1343 ArrayRef
<PressureChange
> CriticalPSets
,
1344 ArrayRef
<unsigned> MaxPressureLimit
) {
1345 // Snapshot Pressure.
1346 std::vector
<unsigned> SavedPressure
= CurrSetPressure
;
1347 std::vector
<unsigned> SavedMaxPressure
= P
.MaxSetPressure
;
1349 bumpDownwardPressure(MI
);
1351 computeExcessPressureDelta(SavedPressure
, CurrSetPressure
, Delta
, RCI
,
1353 computeMaxPressureDelta(SavedMaxPressure
, P
.MaxSetPressure
, CriticalPSets
,
1354 MaxPressureLimit
, Delta
);
1355 assert(Delta
.CriticalMax
.getUnitInc() >= 0 &&
1356 Delta
.CurrentMax
.getUnitInc() >= 0 && "cannot decrease max pressure");
1358 // Restore the tracker's state.
1359 P
.MaxSetPressure
.swap(SavedMaxPressure
);
1360 CurrSetPressure
.swap(SavedPressure
);
1363 /// Get the pressure of each PSet after traversing this instruction bottom-up.
1364 void RegPressureTracker::
1365 getUpwardPressure(const MachineInstr
*MI
,
1366 std::vector
<unsigned> &PressureResult
,
1367 std::vector
<unsigned> &MaxPressureResult
) {
1368 // Snapshot pressure.
1369 PressureResult
= CurrSetPressure
;
1370 MaxPressureResult
= P
.MaxSetPressure
;
1372 bumpUpwardPressure(MI
);
1374 // Current pressure becomes the result. Restore current pressure.
1375 P
.MaxSetPressure
.swap(MaxPressureResult
);
1376 CurrSetPressure
.swap(PressureResult
);
1379 /// Get the pressure of each PSet after traversing this instruction top-down.
1380 void RegPressureTracker::
1381 getDownwardPressure(const MachineInstr
*MI
,
1382 std::vector
<unsigned> &PressureResult
,
1383 std::vector
<unsigned> &MaxPressureResult
) {
1384 // Snapshot pressure.
1385 PressureResult
= CurrSetPressure
;
1386 MaxPressureResult
= P
.MaxSetPressure
;
1388 bumpDownwardPressure(MI
);
1390 // Current pressure becomes the result. Restore current pressure.
1391 P
.MaxSetPressure
.swap(MaxPressureResult
);
1392 CurrSetPressure
.swap(PressureResult
);