xref: /src/contrib/llvm-project/llvm/lib/CodeGen/LiveIntervalCalc.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
1cfca06d7SDimitry Andric //===- LiveIntervalCalc.cpp - Calculate live interval --------------------===//
2cfca06d7SDimitry Andric //
3cfca06d7SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4cfca06d7SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5cfca06d7SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6cfca06d7SDimitry Andric //
7cfca06d7SDimitry Andric //===----------------------------------------------------------------------===//
8cfca06d7SDimitry Andric //
9cfca06d7SDimitry Andric // Implementation of the LiveIntervalCalc class.
10cfca06d7SDimitry Andric //
11cfca06d7SDimitry Andric //===----------------------------------------------------------------------===//
12cfca06d7SDimitry Andric 
13cfca06d7SDimitry Andric #include "llvm/CodeGen/LiveIntervalCalc.h"
14cfca06d7SDimitry Andric #include "llvm/ADT/SmallVector.h"
15cfca06d7SDimitry Andric #include "llvm/CodeGen/LiveInterval.h"
16cfca06d7SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
17cfca06d7SDimitry Andric #include "llvm/CodeGen/MachineOperand.h"
18cfca06d7SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
19cfca06d7SDimitry Andric #include "llvm/CodeGen/SlotIndexes.h"
20cfca06d7SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
21cfca06d7SDimitry Andric #include "llvm/MC/LaneBitmask.h"
22cfca06d7SDimitry Andric #include "llvm/Support/ErrorHandling.h"
23cfca06d7SDimitry Andric #include <cassert>
24cfca06d7SDimitry Andric 
25cfca06d7SDimitry Andric using namespace llvm;
26cfca06d7SDimitry Andric 
27cfca06d7SDimitry Andric #define DEBUG_TYPE "regalloc"
28cfca06d7SDimitry Andric 
29cfca06d7SDimitry Andric // Reserve an address that indicates a value that is known to be "undef".
30cfca06d7SDimitry Andric static VNInfo UndefVNI(0xbad, SlotIndex());
31cfca06d7SDimitry Andric 
createDeadDef(SlotIndexes & Indexes,VNInfo::Allocator & Alloc,LiveRange & LR,const MachineOperand & MO)32cfca06d7SDimitry Andric static void createDeadDef(SlotIndexes &Indexes, VNInfo::Allocator &Alloc,
33cfca06d7SDimitry Andric                           LiveRange &LR, const MachineOperand &MO) {
34cfca06d7SDimitry Andric   const MachineInstr &MI = *MO.getParent();
35cfca06d7SDimitry Andric   SlotIndex DefIdx =
36cfca06d7SDimitry Andric       Indexes.getInstructionIndex(MI).getRegSlot(MO.isEarlyClobber());
37cfca06d7SDimitry Andric 
38cfca06d7SDimitry Andric   // Create the def in LR. This may find an existing def.
39cfca06d7SDimitry Andric   LR.createDeadDef(DefIdx, Alloc);
40cfca06d7SDimitry Andric }
41cfca06d7SDimitry Andric 
calculate(LiveInterval & LI,bool TrackSubRegs)42cfca06d7SDimitry Andric void LiveIntervalCalc::calculate(LiveInterval &LI, bool TrackSubRegs) {
43cfca06d7SDimitry Andric   const MachineRegisterInfo *MRI = getRegInfo();
44cfca06d7SDimitry Andric   SlotIndexes *Indexes = getIndexes();
45cfca06d7SDimitry Andric   VNInfo::Allocator *Alloc = getVNAlloc();
46cfca06d7SDimitry Andric 
47cfca06d7SDimitry Andric   assert(MRI && Indexes && "call reset() first");
48cfca06d7SDimitry Andric 
49cfca06d7SDimitry Andric   // Step 1: Create minimal live segments for every definition of Reg.
50cfca06d7SDimitry Andric   // Visit all def operands. If the same instruction has multiple defs of Reg,
51cfca06d7SDimitry Andric   // createDeadDef() will deduplicate.
52cfca06d7SDimitry Andric   const TargetRegisterInfo &TRI = *MRI->getTargetRegisterInfo();
53e3b55780SDimitry Andric   Register Reg = LI.reg();
54cfca06d7SDimitry Andric   for (const MachineOperand &MO : MRI->reg_nodbg_operands(Reg)) {
55cfca06d7SDimitry Andric     if (!MO.isDef() && !MO.readsReg())
56cfca06d7SDimitry Andric       continue;
57cfca06d7SDimitry Andric 
58cfca06d7SDimitry Andric     unsigned SubReg = MO.getSubReg();
59cfca06d7SDimitry Andric     if (LI.hasSubRanges() || (SubReg != 0 && TrackSubRegs)) {
60cfca06d7SDimitry Andric       LaneBitmask SubMask = SubReg != 0 ? TRI.getSubRegIndexLaneMask(SubReg)
61cfca06d7SDimitry Andric                                         : MRI->getMaxLaneMaskForVReg(Reg);
62cfca06d7SDimitry Andric       // If this is the first time we see a subregister def, initialize
63cfca06d7SDimitry Andric       // subranges by creating a copy of the main range.
64cfca06d7SDimitry Andric       if (!LI.hasSubRanges() && !LI.empty()) {
65cfca06d7SDimitry Andric         LaneBitmask ClassMask = MRI->getMaxLaneMaskForVReg(Reg);
66cfca06d7SDimitry Andric         LI.createSubRangeFrom(*Alloc, ClassMask, LI);
67cfca06d7SDimitry Andric       }
68cfca06d7SDimitry Andric 
69cfca06d7SDimitry Andric       LI.refineSubRanges(
70cfca06d7SDimitry Andric           *Alloc, SubMask,
71cfca06d7SDimitry Andric           [&MO, Indexes, Alloc](LiveInterval::SubRange &SR) {
72cfca06d7SDimitry Andric             if (MO.isDef())
73cfca06d7SDimitry Andric               createDeadDef(*Indexes, *Alloc, SR, MO);
74cfca06d7SDimitry Andric           },
75cfca06d7SDimitry Andric           *Indexes, TRI);
76cfca06d7SDimitry Andric     }
77cfca06d7SDimitry Andric 
78cfca06d7SDimitry Andric     // Create the def in the main liverange. We do not have to do this if
79cfca06d7SDimitry Andric     // subranges are tracked as we recreate the main range later in this case.
80cfca06d7SDimitry Andric     if (MO.isDef() && !LI.hasSubRanges())
81cfca06d7SDimitry Andric       createDeadDef(*Indexes, *Alloc, LI, MO);
82cfca06d7SDimitry Andric   }
83cfca06d7SDimitry Andric 
84cfca06d7SDimitry Andric   // We may have created empty live ranges for partially undefined uses, we
85cfca06d7SDimitry Andric   // can't keep them because we won't find defs in them later.
86cfca06d7SDimitry Andric   LI.removeEmptySubRanges();
87cfca06d7SDimitry Andric 
88cfca06d7SDimitry Andric   const MachineFunction *MF = getMachineFunction();
89cfca06d7SDimitry Andric   MachineDominatorTree *DomTree = getDomTree();
90cfca06d7SDimitry Andric   // Step 2: Extend live segments to all uses, constructing SSA form as
91cfca06d7SDimitry Andric   // necessary.
92cfca06d7SDimitry Andric   if (LI.hasSubRanges()) {
93cfca06d7SDimitry Andric     for (LiveInterval::SubRange &S : LI.subranges()) {
94cfca06d7SDimitry Andric       LiveIntervalCalc SubLIC;
95cfca06d7SDimitry Andric       SubLIC.reset(MF, Indexes, DomTree, Alloc);
96cfca06d7SDimitry Andric       SubLIC.extendToUses(S, Reg, S.LaneMask, &LI);
97cfca06d7SDimitry Andric     }
98cfca06d7SDimitry Andric     LI.clear();
99cfca06d7SDimitry Andric     constructMainRangeFromSubranges(LI);
100cfca06d7SDimitry Andric   } else {
101cfca06d7SDimitry Andric     resetLiveOutMap();
102cfca06d7SDimitry Andric     extendToUses(LI, Reg, LaneBitmask::getAll());
103cfca06d7SDimitry Andric   }
104cfca06d7SDimitry Andric }
105cfca06d7SDimitry Andric 
constructMainRangeFromSubranges(LiveInterval & LI)106cfca06d7SDimitry Andric void LiveIntervalCalc::constructMainRangeFromSubranges(LiveInterval &LI) {
107cfca06d7SDimitry Andric   // First create dead defs at all defs found in subranges.
108cfca06d7SDimitry Andric   LiveRange &MainRange = LI;
109cfca06d7SDimitry Andric   assert(MainRange.segments.empty() && MainRange.valnos.empty() &&
110cfca06d7SDimitry Andric          "Expect empty main liverange");
111cfca06d7SDimitry Andric 
112cfca06d7SDimitry Andric   VNInfo::Allocator *Alloc = getVNAlloc();
113cfca06d7SDimitry Andric   for (const LiveInterval::SubRange &SR : LI.subranges()) {
114cfca06d7SDimitry Andric     for (const VNInfo *VNI : SR.valnos) {
115cfca06d7SDimitry Andric       if (!VNI->isUnused() && !VNI->isPHIDef())
116cfca06d7SDimitry Andric         MainRange.createDeadDef(VNI->def, *Alloc);
117cfca06d7SDimitry Andric     }
118cfca06d7SDimitry Andric   }
119cfca06d7SDimitry Andric   resetLiveOutMap();
120b60736ecSDimitry Andric   extendToUses(MainRange, LI.reg(), LaneBitmask::getAll(), &LI);
121cfca06d7SDimitry Andric }
122cfca06d7SDimitry Andric 
createDeadDefs(LiveRange & LR,Register Reg)123cfca06d7SDimitry Andric void LiveIntervalCalc::createDeadDefs(LiveRange &LR, Register Reg) {
124cfca06d7SDimitry Andric   const MachineRegisterInfo *MRI = getRegInfo();
125cfca06d7SDimitry Andric   SlotIndexes *Indexes = getIndexes();
126cfca06d7SDimitry Andric   VNInfo::Allocator *Alloc = getVNAlloc();
127cfca06d7SDimitry Andric   assert(MRI && Indexes && "call reset() first");
128cfca06d7SDimitry Andric 
129cfca06d7SDimitry Andric   // Visit all def operands. If the same instruction has multiple defs of Reg,
130cfca06d7SDimitry Andric   // LR.createDeadDef() will deduplicate.
131cfca06d7SDimitry Andric   for (MachineOperand &MO : MRI->def_operands(Reg))
132cfca06d7SDimitry Andric     createDeadDef(*Indexes, *Alloc, LR, MO);
133cfca06d7SDimitry Andric }
134cfca06d7SDimitry Andric 
extendToUses(LiveRange & LR,Register Reg,LaneBitmask Mask,LiveInterval * LI)135cfca06d7SDimitry Andric void LiveIntervalCalc::extendToUses(LiveRange &LR, Register Reg,
136cfca06d7SDimitry Andric                                     LaneBitmask Mask, LiveInterval *LI) {
137cfca06d7SDimitry Andric   const MachineRegisterInfo *MRI = getRegInfo();
138cfca06d7SDimitry Andric   SlotIndexes *Indexes = getIndexes();
139cfca06d7SDimitry Andric   SmallVector<SlotIndex, 4> Undefs;
140cfca06d7SDimitry Andric   if (LI != nullptr)
141cfca06d7SDimitry Andric     LI->computeSubRangeUndefs(Undefs, Mask, *MRI, *Indexes);
142cfca06d7SDimitry Andric 
143cfca06d7SDimitry Andric   // Visit all operands that read Reg. This may include partial defs.
144cfca06d7SDimitry Andric   bool IsSubRange = !Mask.all();
145cfca06d7SDimitry Andric   const TargetRegisterInfo &TRI = *MRI->getTargetRegisterInfo();
146cfca06d7SDimitry Andric   for (MachineOperand &MO : MRI->reg_nodbg_operands(Reg)) {
147cfca06d7SDimitry Andric     // Clear all kill flags. They will be reinserted after register allocation
148cfca06d7SDimitry Andric     // by LiveIntervals::addKillFlags().
149cfca06d7SDimitry Andric     if (MO.isUse())
150cfca06d7SDimitry Andric       MO.setIsKill(false);
151cfca06d7SDimitry Andric     // MO::readsReg returns "true" for subregister defs. This is for keeping
152cfca06d7SDimitry Andric     // liveness of the entire register (i.e. for the main range of the live
153cfca06d7SDimitry Andric     // interval). For subranges, definitions of non-overlapping subregisters
154cfca06d7SDimitry Andric     // do not count as uses.
155cfca06d7SDimitry Andric     if (!MO.readsReg() || (IsSubRange && MO.isDef()))
156cfca06d7SDimitry Andric       continue;
157cfca06d7SDimitry Andric 
158cfca06d7SDimitry Andric     unsigned SubReg = MO.getSubReg();
159cfca06d7SDimitry Andric     if (SubReg != 0) {
160cfca06d7SDimitry Andric       LaneBitmask SLM = TRI.getSubRegIndexLaneMask(SubReg);
161cfca06d7SDimitry Andric       if (MO.isDef())
162cfca06d7SDimitry Andric         SLM = ~SLM;
163cfca06d7SDimitry Andric       // Ignore uses not reading the current (sub)range.
164cfca06d7SDimitry Andric       if ((SLM & Mask).none())
165cfca06d7SDimitry Andric         continue;
166cfca06d7SDimitry Andric     }
167cfca06d7SDimitry Andric 
168cfca06d7SDimitry Andric     // Determine the actual place of the use.
169cfca06d7SDimitry Andric     const MachineInstr *MI = MO.getParent();
170cfca06d7SDimitry Andric     unsigned OpNo = (&MO - &MI->getOperand(0));
171cfca06d7SDimitry Andric     SlotIndex UseIdx;
172cfca06d7SDimitry Andric     if (MI->isPHI()) {
173cfca06d7SDimitry Andric       assert(!MO.isDef() && "Cannot handle PHI def of partial register.");
174cfca06d7SDimitry Andric       // The actual place where a phi operand is used is the end of the pred
175cfca06d7SDimitry Andric       // MBB. PHI operands are paired: (Reg, PredMBB).
176cfca06d7SDimitry Andric       UseIdx = Indexes->getMBBEndIdx(MI->getOperand(OpNo + 1).getMBB());
177cfca06d7SDimitry Andric     } else {
178cfca06d7SDimitry Andric       // Check for early-clobber redefs.
179cfca06d7SDimitry Andric       bool isEarlyClobber = false;
180cfca06d7SDimitry Andric       unsigned DefIdx;
181cfca06d7SDimitry Andric       if (MO.isDef())
182cfca06d7SDimitry Andric         isEarlyClobber = MO.isEarlyClobber();
183cfca06d7SDimitry Andric       else if (MI->isRegTiedToDefOperand(OpNo, &DefIdx)) {
184cfca06d7SDimitry Andric         // FIXME: This would be a lot easier if tied early-clobber uses also
185cfca06d7SDimitry Andric         // had an early-clobber flag.
186cfca06d7SDimitry Andric         isEarlyClobber = MI->getOperand(DefIdx).isEarlyClobber();
187cfca06d7SDimitry Andric       }
188cfca06d7SDimitry Andric       UseIdx = Indexes->getInstructionIndex(*MI).getRegSlot(isEarlyClobber);
189cfca06d7SDimitry Andric     }
190cfca06d7SDimitry Andric 
191cfca06d7SDimitry Andric     // MI is reading Reg. We may have visited MI before if it happens to be
192cfca06d7SDimitry Andric     // reading Reg multiple times. That is OK, extend() is idempotent.
193cfca06d7SDimitry Andric     extend(LR, UseIdx, Reg, Undefs);
194cfca06d7SDimitry Andric   }
195cfca06d7SDimitry Andric }
196