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