40#include "llvm/Config/llvm-config.h"
60#define DEBUG_TYPE "regalloc"
74 OS <<
"Live intervals for machine function: " << MF.
getName() <<
":\n";
82 "Live Interval Analysis",
false,
false)
99 cl::desc(
"Eagerly compute live intervals for all physreg units."));
107 "Use segment set for the computation of the live ranges of physregs."));
128 MachineFunctionAnalysisManager::Invalidator &Inv) {
140void LiveIntervals::clear() {
142 for (
unsigned i = 0, e = VirtRegIntervals.size(); i != e; ++i)
144 VirtRegIntervals.clear();
145 RegMaskSlots.clear();
147 RegMaskBlocks.
clear();
151 RegUnitRanges.clear();
154 VNInfoAllocator.
Reset();
164 LICalc = std::make_unique<LiveIntervalCalc>();
167 VirtRegIntervals.resize(
MRI->getNumVirtRegs());
171 computeLiveInRegUnits();
176 for (
unsigned i = 0, e =
TRI->getNumRegUnits(); i != e; ++i)
182 OS <<
"********** INTERVALS **********\n";
185 for (
unsigned Unit = 0, UnitE = RegUnitRanges.size(); Unit != UnitE; ++Unit)
190 for (
unsigned i = 0, e = MRI->getNumVirtRegs(); i != e; ++i) {
204void LiveIntervals::printInstrs(
raw_ostream &OS)
const {
205 OS <<
"********** MACHINEINSTRS **********\n";
206 MF->
print(OS, Indexes);
209#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
215#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
225bool LiveIntervals::computeVirtRegInterval(
LiveInterval &LI) {
226 assert(LICalc &&
"LICalc not initialized.");
227 assert(LI.
empty() &&
"Should only compute empty intervals.");
229 LICalc->calculate(LI,
MRI->shouldTrackSubRegLiveness(LI.
reg()));
230 return computeDeadValues(LI,
nullptr);
233void LiveIntervals::computeVirtRegs() {
234 for (
unsigned i = 0, e = MRI->getNumVirtRegs(); i != e; ++i) {
236 if (MRI->reg_nodbg_empty(
Reg))
239 bool NeedSplit = computeVirtRegInterval(LI);
247void LiveIntervals::computeRegMasks() {
248 RegMaskBlocks.resize(MF->getNumBlockIDs());
251 for (
const MachineBasicBlock &
MBB : *MF) {
252 std::pair<unsigned, unsigned> &RMB = RegMaskBlocks[
MBB.
getNumber()];
253 RMB.first = RegMaskSlots.size();
257 RegMaskSlots.push_back(Indexes->getMBBStartIdx(&
MBB));
258 RegMaskBits.push_back(Mask);
265 if (
auto *Mask = TRI->getCustomEHPadPreservedMask(*
MBB.
getParent())) {
266 RegMaskSlots.push_back(Indexes->getMBBStartIdx(&
MBB));
267 RegMaskBits.push_back(Mask);
270 for (
const MachineInstr &
MI :
MBB) {
271 for (
const MachineOperand &MO :
MI.operands()) {
274 RegMaskSlots.push_back(Indexes->getInstructionIndex(
MI).getRegSlot());
275 RegMaskBits.push_back(MO.getRegMask());
284 RegMaskSlots.push_back(
285 Indexes->getInstructionIndex(
MBB.
back()).getRegSlot());
286 RegMaskBits.push_back(Mask);
290 RMB.second = RegMaskSlots.size() - RMB.first;
308void LiveIntervals::computeRegUnitRange(
LiveRange &LR,
unsigned Unit) {
309 assert(LICalc &&
"LICalc not initialized.");
317 bool IsReserved =
false;
318 for (MCRegUnitRootIterator Root(Unit, TRI); Root.isValid(); ++Root) {
319 bool IsRootReserved =
true;
321 if (!MRI->reg_empty(
Reg))
322 LICalc->createDeadDefs(LR,
Reg);
325 if (!MRI->isReserved(
Reg))
326 IsRootReserved =
false;
328 IsReserved |= IsRootReserved;
330 assert(IsReserved == MRI->isReservedRegUnit(Unit) &&
331 "reserved computation mismatch");
336 for (MCRegUnitRootIterator Root(Unit, TRI); Root.isValid(); ++Root) {
338 if (!MRI->reg_empty(
Reg))
339 LICalc->extendToUses(LR,
Reg);
352void LiveIntervals::computeLiveInRegUnits() {
353 RegUnitRanges.resize(TRI->getNumRegUnits());
354 LLVM_DEBUG(
dbgs() <<
"Computing live-in reg-units in ABI blocks.\n");
357 SmallVector<unsigned, 8> NewRanges;
360 for (
const MachineBasicBlock &
MBB : *MF) {
366 SlotIndex Begin = Indexes->getMBBStartIdx(&
MBB);
369 for (
MCRegUnit Unit : TRI->regunits(LI.PhysReg)) {
386 for (
unsigned Unit : NewRanges)
387 computeRegUnitRange(*RegUnitRanges[Unit], Unit);
392 for (
VNInfo *VNI : VNIs) {
400void LiveIntervals::extendSegmentsToUses(
LiveRange &Segments,
401 ShrinkToUsesWorkList &WorkList,
404 SmallPtrSet<VNInfo*, 8> UsedPHIs;
406 SmallPtrSet<const MachineBasicBlock*, 16> LiveOut;
408 auto getSubRange = [](
const LiveInterval &
I, LaneBitmask
M)
412 for (
const LiveInterval::SubRange &SR :
I.subranges()) {
413 if ((SR.LaneMask & M).any()) {
414 assert(SR.LaneMask == M &&
"Expecting lane masks to match exactly");
422 const LiveRange &OldRange = getSubRange(LI, LaneMask);
425 while (!WorkList.empty()) {
426 SlotIndex Idx = WorkList.back().first;
427 VNInfo *VNI = WorkList.back().second;
429 const MachineBasicBlock *
MBB = Indexes->getMBBFromIndex(Idx.
getPrevSlot());
430 SlotIndex BlockStart = Indexes->getMBBStartIdx(
MBB);
433 if (VNInfo *ExtVNI =
Segments.extendInBlock(BlockStart, Idx)) {
434 assert(ExtVNI == VNI &&
"Unexpected existing value number");
438 !UsedPHIs.
insert(VNI).second)
442 if (!LiveOut.
insert(Pred).second)
444 SlotIndex Stop = Indexes->getMBBEndIdx(Pred);
447 WorkList.push_back(std::make_pair(Stop, PVNI));
454 Segments.addSegment(LiveRange::Segment(BlockStart, Idx, VNI));
458 if (!LiveOut.
insert(Pred).second)
460 SlotIndex Stop = Indexes->getMBBEndIdx(Pred);
462 assert(OldVNI == VNI &&
"Wrong value out of predecessor");
464 WorkList.push_back(std::make_pair(Stop, VNI));
470 "Missing value out of predecessor for main range");
474 "Missing value out of predecessor for subrange");
487 bool NeedsCleanup =
false;
497 ShrinkToUsesWorkList WorkList;
502 if (
UseMI.isDebugInstr() || !
UseMI.readsVirtualRegister(Reg))
513 <<
"Warning: Instr claims to read non-existent value in "
522 WorkList.
push_back(std::make_pair(Idx, VNI));
534 bool CanSeparate = computeDeadValues(*li, dead);
541 bool MayHaveSplitComponents =
false;
548 assert(
I != LI.
end() &&
"Missing segment for VNI");
553 if (
MRI->shouldTrackSubRegLiveness(VReg)) {
554 if ((
I == LI.
begin() || std::prev(
I)->end < Def) && !VNI->
isPHIDef()) {
556 MI->setRegisterDefReadUndef(VReg);
560 if (
I->end !=
Def.getDeadSlot())
566 LLVM_DEBUG(
dbgs() <<
"Dead PHI at " << Def <<
" may separate interval\n");
570 assert(
MI &&
"No instruction defining live value");
571 MI->addRegisterDead(LI.
reg(), TRI);
573 if (dead &&
MI->allDefsAreDead()) {
578 MayHaveSplitComponents =
true;
580 return MayHaveSplitComponents;
585 assert(Reg.isVirtual() &&
"Can only shrink virtual registers");
587 ShrinkToUsesWorkList WorkList;
596 unsigned SubReg = MO.getSubReg();
599 if ((LaneMask & SR.
LaneMask).none())
621 WorkList.
push_back(std::make_pair(Idx, VNI));
627 extendSegmentsToUses(NewLR, WorkList, Reg, SR.
LaneMask);
637 assert(Segment !=
nullptr &&
"Missing segment for VNI");
643 <<
" may separate interval\n");
655 assert(LICalc &&
"LICalc not initialized.");
658 LICalc->extend(LR, Idx, 0, Undefs);
672 SlotIndex MBBEnd = Indexes->getMBBEndIdx(KillMBB);
683 if (EndPoints) EndPoints->
push_back(MBBEnd);
698 std::tie(MBBStart, MBBEnd) = Indexes->getMBBRange(
MBB);
716 if (EndPoints) EndPoints->
push_back(MBBEnd);
730 for (
unsigned i = 0, e = MRI->getNumVirtRegs(); i != e; ++i) {
732 if (MRI->reg_nodbg_empty(Reg))
748 auto [Unit, Bitmask] = *UI;
750 if (TRI->isArtificialRegUnit(Unit))
751 ArtificialLanes |= Bitmask;
762 if (RI->end.isBlock())
776 for (
auto &RUP : RU) {
779 if (
I == RURange.
end())
782 if (
I == RURange.
end() ||
I->start >= RI->end)
788 if (MRI->subRegLivenessEnabled()) {
807 DefinedLanesMask = ArtificialLanes;
810 if (Segment.
start >= RI->end)
812 if (Segment.
end == RI->end) {
813 DefinedLanesMask |= SR.LaneMask;
820 bool IsFullWrite =
false;
822 if (!MO.isReg() || MO.getReg() != Reg)
826 unsigned SubReg = MO.getSubReg();
828 : MRI->getMaxLaneMaskForVReg(Reg);
829 if ((UseMask & ~DefinedLanesMask).any())
831 }
else if (MO.getSubReg() == 0) {
845 if (
N != LI.
end() &&
N->start == RI->end)
850 MI->addRegisterKilled(Reg,
nullptr);
853 MI->clearRegisterKills(Reg,
nullptr);
881 return MBB1 == MBB2 ? MBB1 :
nullptr;
887 if (
PHI->isUnused() || !
PHI->isPHIDef())
911 float Weight = isDef + isUse;
912 const auto *MF =
MBB->getParent();
940 if (
MI->getOpcode() != TargetOpcode::STATEPOINT)
982 auto unionBitMask = [&](
unsigned Idx) {
986 UsableRegs.
resize(TRI->getNumRegs(),
true);
993 assert(*SlotI >= LiveI->start);
995 while (*SlotI < LiveI->end) {
997 unionBitMask(SlotI - Slots.
begin());
998 if (++SlotI == SlotE)
1002 if (*SlotI == LiveI->end)
1005 unionBitMask(SlotI++ - Slots.
begin());
1008 if (++LiveI == LiveE || SlotI == SlotE || *SlotI > LI.
endIndex())
1010 while (LiveI->end < *SlotI)
1013 while (*SlotI < LiveI->start)
1014 if (++SlotI == SlotE)
1038 : LIS(LIS), MRI(MRI), TRI(TRI), OldIdx(OldIdx), NewIdx(NewIdx),
1039 UpdateFlags(UpdateFlags) {}
1046 if (UpdateFlags && !MRI.isReservedRegUnit(Unit))
1047 return &LIS.getRegUnit(Unit);
1048 return LIS.getCachedRegUnit(Unit);
1054 LLVM_DEBUG(
dbgs() <<
"handleMove " << OldIdx <<
" -> " << NewIdx <<
": "
1056 bool hasRegMask =
false;
1067 MO.setIsKill(
false);
1073 if (Reg.isVirtual()) {
1076 unsigned SubReg = MO.getSubReg();
1078 : MRI.getMaxLaneMaskForVReg(Reg);
1080 if ((S.LaneMask & LaneMask).none())
1093 unsigned SubReg = MO.getSubReg();
1095 : MRI.getMaxLaneMaskForVReg(Reg);
1097 if ((S.LaneMask & LaneMask).none() || LI.
covers(S))
1100 LIS.constructMainRangeFromSubranges(LI);
1110 for (
MCRegUnit Unit : TRI.regunits(Reg.asMCReg()))
1115 updateRegMaskSlots();
1123 if (!Updated.
insert(&LR).second)
1134 dbgs() <<
":\t" << LR <<
'\n';
1139 handleMoveUp(LR, VRegOrUnit, LaneMask);
1164 if (MachineInstr *KillMI = LIS.getInstructionFromIndex(OldIdxIn->end))
1166 if (MOP.isReg() && MOP.isUse())
1167 MOP.setIsKill(
false);
1178 if (NewIdxIn ==
E ||
1181 Prev->end = NewIdx.getRegSlot();
1184 OldIdxIn->end =
Next->start;
1191 OldIdxIn->end = NewIdx.getRegSlot(OldIdxIn->end.isEarlyClobber());
1201 OldIdxOut = OldIdxIn;
1208 VNInfo *OldIdxVNI = OldIdxOut->valno;
1209 assert(OldIdxVNI->
def == OldIdxOut->start &&
"Inconsistent def");
1213 SlotIndex NewIdxDef = NewIdx.getRegSlot(OldIdxOut->start.isEarlyClobber());
1215 OldIdxVNI->
def = NewIdxDef;
1216 OldIdxOut->start = OldIdxVNI->
def;
1225 = LR.
advanceTo(OldIdxOut, NewIdx.getRegSlot());
1226 bool OldIdxDefIsDead = OldIdxOut->end.isDead();
1227 if (!OldIdxDefIsDead &&
1231 if (OldIdxOut != LR.
begin() &&
1233 OldIdxOut->start)) {
1238 IPrev->end = OldIdxOut->end;
1242 assert(INext !=
E &&
"Must have following segment");
1248 INext->start = OldIdxOut->end;
1249 INext->valno->def = INext->start;
1252 if (AfterNewIdx ==
E) {
1257 std::copy(std::next(OldIdxOut),
E, OldIdxOut);
1260 *NewSegment = LiveRange::Segment(NewIdxDef, NewIdxDef.
getDeadSlot(),
1262 DefVNI->
def = NewIdxDef;
1265 Prev->end = NewIdxDef;
1271 std::copy(std::next(OldIdxOut), std::next(AfterNewIdx), OldIdxOut);
1278 *NewSegment = LiveRange::Segment(NewIdxDef, Prev->end, Prev->valno);
1279 Prev->valno->def = NewIdxDef;
1281 *Prev = LiveRange::Segment(Prev->start, NewIdxDef, DefVNI);
1282 DefVNI->
def = Prev->start;
1286 *Prev = LiveRange::Segment(NewIdxDef, AfterNewIdx->start, DefVNI);
1287 DefVNI->
def = NewIdxDef;
1288 assert(DefVNI != AfterNewIdx->valno);
1294 if (AfterNewIdx !=
E &&
1298 assert(AfterNewIdx->valno != OldIdxVNI &&
"Multiple defs of value?");
1306 assert(AfterNewIdx != OldIdxOut &&
"Inconsistent iterators");
1307 std::copy(std::next(OldIdxOut), AfterNewIdx, OldIdxOut);
1310 VNInfo *NewSegmentVNI = OldIdxVNI;
1311 NewSegmentVNI->
def = NewIdxDef;
1312 *NewSegment = LiveRange::Segment(NewIdxDef, NewIdxDef.
getDeadSlot(),
1319 void handleMoveUp(
LiveRange &LR, VirtRegOrUnit VRegOrUnit,
1320 LaneBitmask LaneMask) {
1341 SlotIndex DefBeforeOldIdx
1342 = std::max(OldIdxIn->start.getDeadSlot(),
1343 NewIdx.getRegSlot(OldIdxIn->end.isEarlyClobber()));
1344 OldIdxIn->end = findLastUseBefore(DefBeforeOldIdx, VRegOrUnit, LaneMask);
1347 OldIdxOut = std::next(OldIdxIn);
1351 OldIdxOut = OldIdxIn;
1352 OldIdxIn = OldIdxOut != LR.
begin() ? std::prev(OldIdxOut) :
E;
1359 VNInfo *OldIdxVNI = OldIdxOut->valno;
1360 assert(OldIdxVNI->
def == OldIdxOut->start &&
"Inconsistent def");
1361 bool OldIdxDefIsDead = OldIdxOut->end.isDead();
1364 SlotIndex NewIdxDef = NewIdx.
getRegSlot(OldIdxOut->start.isEarlyClobber());
1367 assert(NewIdxOut->valno != OldIdxVNI &&
1368 "Same value defined more than once?");
1370 if (!OldIdxDefIsDead) {
1373 OldIdxVNI->
def = NewIdxDef;
1374 OldIdxOut->start = NewIdxDef;
1383 if (!OldIdxDefIsDead) {
1385 if (OldIdxIn !=
E &&
1389 assert(NewIdxIn == LR.
find(NewIdx.getBaseIndex()));
1390 const SlotIndex SplitPos = NewIdxDef;
1391 OldIdxVNI = OldIdxIn->valno;
1393 SlotIndex NewDefEndPoint = std::next(NewIdxIn)->end;
1395 if (OldIdxIn != LR.
begin() &&
1403 NewDefEndPoint = std::min(OldIdxIn->start,
1404 std::next(NewIdxOut)->start);
1408 OldIdxOut->valno->def = OldIdxIn->start;
1409 *OldIdxOut = LiveRange::Segment(OldIdxIn->start, OldIdxOut->end,
1415 std::copy_backward(NewIdxIn, OldIdxIn, OldIdxOut);
1422 *NewSegment = LiveRange::Segment(
Next->start, SplitPos,
1425 *
Next = LiveRange::Segment(SplitPos, NewDefEndPoint, OldIdxVNI);
1426 Next->valno->def = SplitPos;
1430 *NewSegment = LiveRange::Segment(SplitPos,
Next->start, OldIdxVNI);
1431 NewSegment->valno->def = SplitPos;
1435 OldIdxOut->start = NewIdxDef;
1436 OldIdxVNI->
def = NewIdxDef;
1438 OldIdxIn->end = NewIdxDef;
1440 }
else if (OldIdxIn !=
E
1451 std::copy_backward(NewIdxOut, OldIdxOut, std::next(OldIdxOut));
1455 *NewIdxOut = LiveRange::Segment(
1456 NewIdxOut->start, NewIdxDef.
getRegSlot(), NewIdxOut->valno);
1457 *(NewIdxOut + 1) = LiveRange::Segment(
1458 NewIdxDef.
getRegSlot(), (NewIdxOut + 1)->end, OldIdxVNI);
1459 OldIdxVNI->
def = NewIdxDef;
1461 for (
auto *Idx = NewIdxOut + 2; Idx <= OldIdxOut; ++Idx)
1462 Idx->valno = OldIdxVNI;
1466 if (MachineInstr *KillMI = LIS.getInstructionFromIndex(NewIdx))
1467 for (MIBundleOperands MO(*KillMI); MO.isValid(); ++MO)
1468 if (MO->isReg() && !MO->isUse())
1469 MO->setIsDead(
false);
1476 std::copy_backward(NewIdxOut, OldIdxOut, std::next(OldIdxOut));
1479 VNInfo *NewSegmentVNI = OldIdxVNI;
1480 *NewSegment = LiveRange::Segment(NewIdxDef, NewIdxDef.
getDeadSlot(),
1482 NewSegmentVNI->
def = NewIdxDef;
1487 void updateRegMaskSlots() {
1490 assert(RI != LIS.RegMaskSlots.end() && *RI == OldIdx.getRegSlot() &&
1491 "No RegMask at OldIdx.");
1492 *RI = NewIdx.getRegSlot();
1493 assert((RI == LIS.RegMaskSlots.begin() ||
1495 "Cannot move regmask instruction above another call");
1496 assert((std::next(RI) == LIS.RegMaskSlots.end() ||
1498 "Cannot move regmask instruction below another call");
1502 SlotIndex findLastUseBefore(SlotIndex Before, VirtRegOrUnit VRegOrUnit,
1503 LaneBitmask LaneMask) {
1505 SlotIndex LastUse = Before;
1506 for (MachineOperand &MO :
1510 unsigned SubReg = MO.getSubReg();
1512 && (TRI.getSubRegIndexLaneMask(
SubReg) & LaneMask).none())
1515 const MachineInstr &
MI = *MO.getParent();
1516 SlotIndex InstSlot = LIS.getSlotIndexes()->getInstructionIndex(
MI);
1517 if (InstSlot > LastUse && InstSlot < OldIdx)
1525 assert(Before < OldIdx &&
"Expected upwards move");
1526 SlotIndexes *Indexes = LIS.getSlotIndexes();
1534 if (
MI->getParent() ==
MBB)
1538 while (MII != Begin) {
1539 if ((--MII)->isDebugOrPseudoInstr())
1548 for (MIBundleOperands MO(*MII); MO.isValid(); ++MO)
1549 if (MO->isReg() && !MO->isUndef() && MO->getReg().isPhysical() &&
1550 TRI.hasRegUnit(MO->getReg(), VRegOrUnit.
asMCRegUnit()))
1561 assert((!
MI.isBundled() ||
MI.getOpcode() == TargetOpcode::BUNDLE) &&
1562 "Cannot move instruction in bundle");
1563 SlotIndex OldIndex = Indexes->getInstructionIndex(
MI);
1564 Indexes->removeMachineInstrFromMaps(
MI);
1565 SlotIndex NewIndex = Indexes->insertMachineInstrInMaps(
MI);
1568 "Cannot handle moves across basic block boundaries.");
1570 HMEditor HME(*
this, *MRI, *TRI, OldIndex, NewIndex, UpdateFlags);
1577 "Bundle start is not a bundle");
1579 const SlotIndex NewIndex = Indexes->insertMachineInstrInMaps(BundleStart);
1584 while (
I != BundleEnd) {
1585 if (!Indexes->hasIndex(*
I))
1587 SlotIndex OldIndex = Indexes->getInstructionIndex(*
I,
true);
1589 Indexes->removeMachineInstrFromMaps(*
I,
true);
1593 HMEditor HME(*
this, *MRI, *TRI, OldIndex, NewIndex, UpdateFlags);
1603 if (Reg.isVirtual() &&
hasInterval(Reg) && !MO.isUndef()) {
1619 if (LII != LR.
end() && LII->start < EndIdx) {
1620 lastUseIdx = LII->end;
1621 }
else if (LII == LR.
begin()) {
1630 MachineInstr &
MI = *
I;
1631 if (
MI.isDebugOrPseudoInstr())
1640 for (
const MachineOperand &MO :
MI.operands()) {
1641 if (!MO.isReg() || MO.getReg() !=
Reg)
1644 unsigned SubReg = MO.getSubReg();
1645 LaneBitmask
Mask = TRI->getSubRegIndexLaneMask(
SubReg);
1646 if ((Mask & LaneMask).
none())
1650 if (!isStartValid) {
1651 if (LII->end.isDead()) {
1653 if (LII != LR.
begin())
1658 if (MO.getSubReg() && !MO.isUndef())
1661 lastUseIdx = SlotIndex();
1671 }
else if (LII->start != instrIdx.
getRegSlot()) {
1673 LiveRange::Segment S(instrIdx.
getRegSlot(), lastUseIdx, VNI);
1677 if (MO.getSubReg() && !MO.isUndef())
1680 lastUseIdx = SlotIndex();
1681 }
else if (MO.isUse()) {
1685 if (!isEndValid && !LII->end.isBlock())
1694 if (!isStartValid && LII->end.isDead())
1705 while (Begin !=
MBB->begin() && !Indexes->hasIndex(*std::prev(Begin)))
1707 while (End !=
MBB->end() && !Indexes->hasIndex(*End))
1711 if (End ==
MBB->end())
1716 Indexes->repairIndexesInRange(
MBB, Begin, End);
1723 if (
MI.isDebugOrPseudoInstr())
1726 if (MO.isReg() && MO.getReg().isVirtual()) {
1729 MRI->shouldTrackSubRegLiveness(Reg)) {
1736 }
else if (MO.isDef()) {
1739 unsigned SubReg = MO.getSubReg();
1743 return SR.LaneMask == Mask;
1758 for (
Register Reg : RegsToRepair) {
1759 if (!Reg.isVirtual())
1768 repairOldRegInRange(Begin, End, EndIdx, S, Reg, S.LaneMask);
1771 repairOldRegInRange(Begin, End, EndIdx, LI, Reg);
1776 for (
MCRegUnit Unit : TRI->regunits(Reg)) {
1787 if (VNI !=
nullptr) {
1794 if (
VNInfo *SVNI = S.getVNInfoAt(Pos))
1796 S.removeValNo(SVNI);
1804 unsigned NumComp = ConEQ.
Classify(LI);
1807 LLVM_DEBUG(
dbgs() <<
" Split " << NumComp <<
" components: " << LI <<
'\n');
1809 for (
unsigned I = 1;
I < NumComp; ++
I) {
1810 Register NewVReg = MRI->cloneVirtualRegister(Reg);
1818 assert(LICalc &&
"LICalc not initialized.");
1820 LICalc->constructMainRangeFromSubranges(LI);
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder & UseMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
This file builds on the ADT/GraphTraits.h file to build generic depth first graph iterator.
const HexagonInstrInfo * TII
A common definition of LaneBitmask for use in TableGen and CodeGen.
static cl::opt< bool > EnablePrecomputePhysRegs("precompute-phys-liveness", cl::Hidden, cl::desc("Eagerly compute live intervals for all physreg units."))
static bool hasLiveThroughUse(const MachineInstr *MI, Register Reg)
Check whether use of reg in MI is live-through.
static void createSegmentsForValues(LiveRange &LR, iterator_range< LiveInterval::vni_iterator > VNIs)
Register const TargetRegisterInfo * TRI
std::pair< uint64_t, uint64_t > Interval
Promote Memory to Register
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
SI Optimize VGPR LiveRange
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
Toolkit used by handleMove to trim or extend live intervals.
HMEditor(LiveIntervals &LIS, const MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, SlotIndex OldIdx, SlotIndex NewIdx, bool UpdateFlags)
void updateAllRanges(MachineInstr *MI)
Update all live ranges touched by MI, assuming a move from OldIdx to NewIdx.
LiveRange * getRegUnitLI(unsigned Unit)
This templated class represents "all analyses that operate over <aparticular IR unit>" (e....
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
LLVM_ABI AnalysisUsage & addRequiredTransitiveID(char &ID)
AnalysisUsage & addPreservedID(const void *ID)
AnalysisUsage & addPreserved()
Add the specified Pass class to the set of analyses preserved by this pass.
LLVM_ABI void setPreservesCFG()
This function should be called by the pass, iff they do not:
AnalysisUsage & addRequiredTransitive()
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
void resize(unsigned N, bool t=false)
resize - Grow or shrink the bitvector.
void clear()
clear - Removes all bits from the bitvector.
void clearBitsNotInMask(const uint32_t *Mask, unsigned MaskWords=~0u)
clearBitsNotInMask - Clear a bit in this vector for every '0' bit in Mask.
void Reset()
Deallocate all but the current slab and reset the current pointer to the beginning of it,...
ConnectedVNInfoEqClasses - Helper class that can divide VNInfos in a LiveInterval into equivalence cl...
LLVM_ABI void Distribute(LiveInterval &LI, LiveInterval *LIV[], MachineRegisterInfo &MRI)
Distribute values in LI into a separate LiveIntervals for each connected component.
LLVM_ABI unsigned Classify(const LiveRange &LR)
Classify the values in LR into connected components.
A live range for subregisters.
LiveInterval - This class represents the liveness of a register, or stack slot.
LLVM_ABI void removeEmptySubRanges()
Removes all subranges without any segments (subranges without segments are not considered valid and s...
bool hasSubRanges() const
Returns true if subregister liveness information is available.
iterator_range< subrange_iterator > subranges()
LLVM_ABI void computeSubRangeUndefs(SmallVectorImpl< SlotIndex > &Undefs, LaneBitmask LaneMask, const MachineRegisterInfo &MRI, const SlotIndexes &Indexes) const
For a given lane mask LaneMask, compute indexes at which the lane is marked undefined by subregister ...
LLVM_ABI Result run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
LLVM_ABI PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
bool runOnMachineFunction(MachineFunction &) override
Pass entry point; Calculates LiveIntervals.
LiveIntervalsWrapperPass()
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
LLVM_ABI ~LiveIntervals()
LLVM_ABI void repairIntervalsInRange(MachineBasicBlock *MBB, MachineBasicBlock::iterator Begin, MachineBasicBlock::iterator End, ArrayRef< Register > OrigRegs)
Update live intervals for instructions in a range of iterators.
bool hasInterval(Register Reg) const
SlotIndex getMBBStartIdx(const MachineBasicBlock *mbb) const
Return the first index in the given basic block.
MachineInstr * getInstructionFromIndex(SlotIndex index) const
Returns the instruction associated with the given index.
LLVM_ABI bool hasPHIKill(const LiveInterval &LI, const VNInfo *VNI) const
Returns true if VNI is killed by any PHI-def values in LI.
LLVM_ABI bool checkRegMaskInterference(const LiveInterval &LI, BitVector &UsableRegs)
Test if LI is live across any register mask instructions, and compute a bit mask of physical register...
LLVM_ABI void handleMove(MachineInstr &MI, bool UpdateFlags=false)
Call this method to notify LiveIntervals that instruction MI has been moved within a basic block.
SlotIndexes * getSlotIndexes() const
ArrayRef< const uint32_t * > getRegMaskBits() const
Returns an array of register mask pointers corresponding to getRegMaskSlots().
LiveInterval & getOrCreateEmptyInterval(Register Reg)
Return an existing interval for Reg.
LLVM_ABI void addKillFlags(const VirtRegMap *)
Add kill flags to any instruction that kills a virtual register.
SlotIndex getInstructionIndex(const MachineInstr &Instr) const
Returns the base index of the given instruction.
LLVM_ABI bool invalidate(MachineFunction &MF, const PreservedAnalyses &PA, MachineFunctionAnalysisManager::Invalidator &Inv)
VNInfo::Allocator & getVNInfoAllocator()
ArrayRef< const uint32_t * > getRegMaskBitsInBlock(unsigned MBBNum) const
Returns an array of mask pointers corresponding to getRegMaskSlotsInBlock(MBBNum).
SlotIndex getMBBEndIdx(const MachineBasicBlock *mbb) const
Return the last index in the given basic block.
static LLVM_ABI float getSpillWeight(bool isDef, bool isUse, const MachineBlockFrequencyInfo *MBFI, const MachineInstr &MI, ProfileSummaryInfo *PSI=nullptr)
Calculate the spill weight to assign to a single instruction.
ArrayRef< SlotIndex > getRegMaskSlots() const
Returns a sorted array of slot indices of all instructions with register mask operands.
LiveRange & getRegUnit(unsigned Unit)
Return the live range for register unit Unit.
ArrayRef< SlotIndex > getRegMaskSlotsInBlock(unsigned MBBNum) const
Returns a sorted array of slot indices of all instructions with register mask operands in the basic b...
LiveRange * getCachedRegUnit(unsigned Unit)
Return the live range for register unit Unit if it has already been computed, or nullptr if it hasn't...
LiveInterval & getInterval(Register Reg)
friend class LiveIntervalsAnalysis
LLVM_ABI void pruneValue(LiveRange &LR, SlotIndex Kill, SmallVectorImpl< SlotIndex > *EndPoints)
If LR has a live value at Kill, prune its live range by removing any liveness reachable from Kill.
void removeInterval(Register Reg)
Interval removal.
LLVM_ABI void handleMoveIntoNewBundle(MachineInstr &BundleStart, bool UpdateFlags=false)
Update intervals of operands of all instructions in the newly created bundle specified by BundleStart...
LLVM_ABI MachineBasicBlock * intervalIsInOneMBB(const LiveInterval &LI) const
If LI is confined to a single basic block, return a pointer to that block.
LLVM_ABI void removeVRegDefAt(LiveInterval &LI, SlotIndex Pos)
Remove value number and related live segments of LI and its subranges that start at position Pos.
LLVM_ABI LiveInterval::Segment addSegmentToEndOfBlock(Register Reg, MachineInstr &startInst)
Given a register and an instruction, adds a live segment from that instruction to the end of its MBB.
LLVM_ABI bool shrinkToUses(LiveInterval *li, SmallVectorImpl< MachineInstr * > *dead=nullptr)
After removing some uses of a register, shrink its live range to just the remaining uses.
LLVM_ABI void constructMainRangeFromSubranges(LiveInterval &LI)
For live interval LI with correct SubRanges construct matching information for the main live range.
LiveInterval & createEmptyInterval(Register Reg)
Interval creation.
LLVM_ABI void extendToIndices(LiveRange &LR, ArrayRef< SlotIndex > Indices, ArrayRef< SlotIndex > Undefs)
Extend the live range LR to reach all points in Indices.
LLVM_ABI void dump() const
LLVM_ABI void print(raw_ostream &O) const
Implement the dump method.
LLVM_ABI void removePhysRegDefAt(MCRegister Reg, SlotIndex Pos)
Remove value numbers and related live segments starting at position Pos that are part of any liverang...
LLVM_ABI void splitSeparateComponents(LiveInterval &LI, SmallVectorImpl< LiveInterval * > &SplitLIs)
Split separate components in LiveInterval LI into separate intervals.
MachineBasicBlock * getMBBFromIndex(SlotIndex index) const
LiveInterval & createAndComputeVirtRegInterval(Register Reg)
Result of a LiveRange query.
VNInfo * valueOutOrDead() const
Returns the value alive at the end of the instruction, if any.
bool isDeadDef() const
Return true if this instruction has a dead def.
VNInfo * valueIn() const
Return the value that is live-in to the instruction.
VNInfo * valueDefined() const
Return the value defined by this instruction, if any.
SlotIndex endPoint() const
Return the end point of the last live range segment to interact with the instruction,...
static LLVM_ABI bool isJointlyDominated(const MachineBasicBlock *MBB, ArrayRef< SlotIndex > Defs, const SlotIndexes &Indexes)
A diagnostic function to check if the end of the block MBB is jointly dominated by the blocks corresp...
This class represents the liveness of a register, stack slot, etc.
LLVM_ABI iterator addSegment(Segment S)
Add the specified Segment to this range, merging segments as appropriate.
Segments::iterator iterator
const Segment * getSegmentContaining(SlotIndex Idx) const
Return the segment that contains the specified index, or null if there is none.
iterator_range< vni_iterator > vnis()
Segments::const_iterator const_iterator
LLVM_ABI VNInfo * createDeadDef(SlotIndex Def, VNInfo::Allocator &VNIAlloc)
createDeadDef - Make sure the range has a value defined at Def.
LLVM_ABI bool covers(const LiveRange &Other) const
Returns true if all segments of the Other live range are completely covered by this live range.
iterator advanceTo(iterator I, SlotIndex Pos)
advanceTo - Advance the specified iterator to point to the Segment containing the specified position,...
LLVM_ABI void removeValNo(VNInfo *ValNo)
removeValNo - Remove all the segments defined by the specified value#.
LiveQueryResult Query(SlotIndex Idx) const
Query Liveness at Idx.
VNInfo * getVNInfoBefore(SlotIndex Idx) const
getVNInfoBefore - Return the VNInfo that is live up to but not necessarily including Idx,...
bool verify() const
Walk the range and assert if any invariants fail to hold.
SlotIndex beginIndex() const
beginIndex - Return the lowest numbered slot covered.
SlotIndex endIndex() const
endNumber - return the maximum point of the range of the whole, exclusive.
bool hasAtLeastOneValue() const
VNInfo * getNextValue(SlotIndex Def, VNInfo::Allocator &VNInfoAllocator)
getNextValue - Create a new value number and return it.
iterator FindSegmentContaining(SlotIndex Idx)
Return an iterator to the segment that contains the specified index, or end() if there is none.
LLVM_ABI void removeSegment(SlotIndex Start, SlotIndex End, bool RemoveDeadValNo=false)
Remove the specified interval from this live range.
LLVM_ABI void flushSegmentSet()
Flush segment set into the regular segment vector.
VNInfo * getVNInfoAt(SlotIndex Idx) const
getVNInfoAt - Return the VNInfo that is live at Idx, or NULL.
LLVM_ABI iterator find(SlotIndex Pos)
find - Return an iterator pointing to the first segment that ends after Pos, or end().
MCRegUnitMaskIterator enumerates a list of register units and their associated lane masks for Reg.
bool isValid() const
Returns true if this iterator is not yet at the end.
Wrapper class representing physical registers. Should be passed by value.
unsigned pred_size() const
bool isEHPad() const
Returns true if the block is a landing pad.
iterator_range< livein_iterator > liveins() const
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
bool livein_empty() const
LLVM_ABI const uint32_t * getBeginClobberMask(const TargetRegisterInfo *TRI) const
Get the clobber mask for the start of this basic block.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
iterator_range< succ_iterator > successors()
iterator_range< pred_iterator > predecessors()
MachineInstrBundleIterator< MachineInstr > iterator
LLVM_ABI const uint32_t * getEndClobberMask(const TargetRegisterInfo *TRI) const
Get the clobber mask for the end of the basic block.
MachineBlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate machine basic b...
double getBlockFreqRelativeToEntryBlock(const MachineBasicBlock *MBB) const
Compute the frequency of the block, relative to the entry block.
Analysis pass which computes a MachineDominatorTree.
Analysis pass which computes a MachineDominatorTree.
MachineFunctionPass(char &ID)
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
void print(raw_ostream &OS, const SlotIndexes *=nullptr) const
print - Print out the MachineFunction in a format suitable for debugging to the specified stream.
Representation of each machine instruction.
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
const MachineBasicBlock * getParent() const
MachineOperand class - Representation of each machine instruction operand.
bool isReg() const
isReg - Tests if this is a MO_Register operand.
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
PreservedAnalysisChecker getChecker() const
Build a checker for this PreservedAnalyses and the specified analysis type.
Analysis providing profile information.
Wrapper class representing virtual and physical registers.
static Register index2VirtReg(unsigned Index)
Convert a 0-based index to a virtual register number.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
SlotIndex - An opaque wrapper around machine indexes.
static bool isSameInstr(SlotIndex A, SlotIndex B)
isSameInstr - Return true if A and B refer to the same instruction.
bool isBlock() const
isBlock - Returns true if this is a block boundary slot.
SlotIndex getDeadSlot() const
Returns the dead def kill slot for the current instruction.
static bool isEarlierInstr(SlotIndex A, SlotIndex B)
isEarlierInstr - Return true if A refers to an instruction earlier than B.
bool isValid() const
Returns true if this is a valid index.
static bool isEarlierEqualInstr(SlotIndex A, SlotIndex B)
Return true if A refers to the same instruction as B or an earlier one.
SlotIndex getBaseIndex() const
Returns the base index for associated with this index.
SlotIndex getPrevSlot() const
Returns the previous slot in the index list.
SlotIndex getRegSlot(bool EC=false) const
Returns the register use/def slot in the current instruction for a normal or early-clobber def.
MachineBasicBlock * getMBBFromIndex(SlotIndex index) const
Returns the basic block which the given index falls in.
SlotIndex getNextNonNullIndex(SlotIndex Index)
Returns the next non-null index, if one exists.
SlotIndex getInstructionIndex(const MachineInstr &MI, bool IgnoreBundle=false) const
Returns the base index for the given instruction.
MachineInstr * getInstructionFromIndex(SlotIndex index) const
Returns the instruction for the given index, or null if the given index has no instruction associated...
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void swap(SmallVectorImpl &RHS)
typename SuperClass::iterator iterator
void push_back(const T &Elt)
pointer data()
Return a pointer to the vector's buffer, even if empty().
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
MI-level Statepoint operands.
unsigned getNumDeoptArgsIdx() const
Get index of Number Deopt Arguments operand.
uint64_t getFlags() const
Return the statepoint flags.
LLVM_ABI unsigned getNumGCPtrIdx()
Get index of number of GC pointers.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetRegisterInfo * getRegisterInfo() const =0
Return the target's register information.
VNInfo - Value Number Information.
void markUnused()
Mark this value as unused.
bool isUnused() const
Returns true if this value is unused.
unsigned id
The ID number of this value.
SlotIndex def
The index of the defining instruction.
bool isPHIDef() const
Returns true if this value is defined by a PHI instruction (or was, PHI instructions may have been el...
MCRegister getPhys(Register virtReg) const
returns the physical register mapped to the specified virtual register
Wrapper class representing a virtual register or register unit.
constexpr bool isVirtualReg() const
constexpr MCRegUnit asMCRegUnit() const
constexpr Register asVirtualReg() const
self_iterator getIterator()
A range adaptor for a pair of iterators.
This class implements an extremely fast bulk output stream that can only output to a stream.
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
initializer< Ty > init(const Ty &Val)
NodeAddr< DefNode * > Def
This is an optimization pass for GlobalISel generic memory operations.
void dump(const SparseBitVector< ElementSize > &LHS, raw_ostream &out)
Printable print(const GCNRegPressure &RP, const GCNSubtarget *ST=nullptr, unsigned DynamicVGPRBlockSize=0)
LLVM_ABI cl::opt< bool > UseSegmentSetForPhysRegs
LLVM_ABI char & MachineDominatorsID
MachineDominators - This pass is a machine dominators analysis pass.
LLVM_ABI Printable printRegUnit(unsigned Unit, const TargetRegisterInfo *TRI)
Create Printable object to print register units on a raw_ostream.
LLVM_ABI bool shouldOptimizeForSize(const MachineFunction *MF, ProfileSummaryInfo *PSI, const MachineBlockFrequencyInfo *BFI, PGSOQueryType QueryType=PGSOQueryType::Other)
Returns true if machine function MF is suggested to be size-optimized based on the profile.
LLVM_ABI void initializeLiveIntervalsWrapperPassPass(PassRegistry &)
Printable PrintLaneMask(LaneBitmask LaneMask)
Create Printable object to print LaneBitmasks on a raw_ostream.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
void erase(Container &C, ValueType V)
Wrapper function to remove a value from a container:
LLVM_ABI char & MachineLoopInfoID
MachineLoopInfo - This pass is a loop analysis pass.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
df_ext_iterator< T, SetTy > df_ext_begin(const T &G, SetTy &S)
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
MachineBasicBlock::instr_iterator getBundleEnd(MachineBasicBlock::instr_iterator I)
Returns an iterator pointing beyond the bundle containing I.
unsigned MCRegUnit
Register units are used to compute register aliasing.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
LLVM_ABI const float huge_valf
Use this rather than HUGE_VALF; the latter causes warnings on MSVC.
auto lower_bound(R &&Range, T &&Value)
Provide wrappers to std::lower_bound which take ranges instead of having to pass begin/end explicitly...
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
FunctionAddr VTableAddr Next
@ DeoptLiveIn
Mark the deopt arguments associated with the statepoint as only being "live-in".
iterator_range< MIBundleOperands > mi_bundle_ops(MachineInstr &MI)
df_ext_iterator< T, SetTy > df_ext_end(const T &G, SetTy &S)
LLVM_ABI 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.
LLVM_ABI char & LiveIntervalsID
LiveIntervals - This analysis keeps track of the live ranges of virtual and physical registers.
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
A special type used by analysis passes to provide an address that identifies that particular analysis...
static constexpr LaneBitmask getAll()
constexpr bool any() const
static constexpr LaneBitmask getNone()
This represents a simple continuous liveness interval for a value.