15ffd83dbSDimitry Andric //===- LiveIntervalCalc.cpp - Calculate live interval --------------------===// 25ffd83dbSDimitry Andric // 35ffd83dbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45ffd83dbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 55ffd83dbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65ffd83dbSDimitry Andric // 75ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 85ffd83dbSDimitry Andric // 95ffd83dbSDimitry Andric // Implementation of the LiveIntervalCalc class. 105ffd83dbSDimitry Andric // 115ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 125ffd83dbSDimitry Andric 135ffd83dbSDimitry Andric #include "llvm/CodeGen/LiveIntervalCalc.h" 145ffd83dbSDimitry Andric #include "llvm/ADT/STLExtras.h" 155ffd83dbSDimitry Andric #include "llvm/ADT/SetVector.h" 165ffd83dbSDimitry Andric #include "llvm/ADT/SmallVector.h" 175ffd83dbSDimitry Andric #include "llvm/CodeGen/LiveInterval.h" 185ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h" 195ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineDominators.h" 205ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 215ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 225ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineOperand.h" 235ffd83dbSDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 245ffd83dbSDimitry Andric #include "llvm/CodeGen/SlotIndexes.h" 255ffd83dbSDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 265ffd83dbSDimitry Andric #include "llvm/MC/LaneBitmask.h" 275ffd83dbSDimitry Andric #include "llvm/Support/ErrorHandling.h" 285ffd83dbSDimitry Andric #include "llvm/Support/raw_ostream.h" 295ffd83dbSDimitry Andric #include <algorithm> 305ffd83dbSDimitry Andric #include <cassert> 315ffd83dbSDimitry Andric #include <iterator> 325ffd83dbSDimitry Andric #include <tuple> 335ffd83dbSDimitry Andric #include <utility> 345ffd83dbSDimitry Andric 355ffd83dbSDimitry Andric using namespace llvm; 365ffd83dbSDimitry Andric 375ffd83dbSDimitry Andric #define DEBUG_TYPE "regalloc" 385ffd83dbSDimitry Andric 395ffd83dbSDimitry Andric // Reserve an address that indicates a value that is known to be "undef". 405ffd83dbSDimitry Andric static VNInfo UndefVNI(0xbad, SlotIndex()); 415ffd83dbSDimitry Andric 425ffd83dbSDimitry Andric static void createDeadDef(SlotIndexes &Indexes, VNInfo::Allocator &Alloc, 435ffd83dbSDimitry Andric LiveRange &LR, const MachineOperand &MO) { 445ffd83dbSDimitry Andric const MachineInstr &MI = *MO.getParent(); 455ffd83dbSDimitry Andric SlotIndex DefIdx = 465ffd83dbSDimitry Andric Indexes.getInstructionIndex(MI).getRegSlot(MO.isEarlyClobber()); 475ffd83dbSDimitry Andric 485ffd83dbSDimitry Andric // Create the def in LR. This may find an existing def. 495ffd83dbSDimitry Andric LR.createDeadDef(DefIdx, Alloc); 505ffd83dbSDimitry Andric } 515ffd83dbSDimitry Andric 525ffd83dbSDimitry Andric void LiveIntervalCalc::calculate(LiveInterval &LI, bool TrackSubRegs) { 535ffd83dbSDimitry Andric const MachineRegisterInfo *MRI = getRegInfo(); 545ffd83dbSDimitry Andric SlotIndexes *Indexes = getIndexes(); 555ffd83dbSDimitry Andric VNInfo::Allocator *Alloc = getVNAlloc(); 565ffd83dbSDimitry Andric 575ffd83dbSDimitry Andric assert(MRI && Indexes && "call reset() first"); 585ffd83dbSDimitry Andric 595ffd83dbSDimitry Andric // Step 1: Create minimal live segments for every definition of Reg. 605ffd83dbSDimitry Andric // Visit all def operands. If the same instruction has multiple defs of Reg, 615ffd83dbSDimitry Andric // createDeadDef() will deduplicate. 625ffd83dbSDimitry Andric const TargetRegisterInfo &TRI = *MRI->getTargetRegisterInfo(); 63*e8d8bef9SDimitry Andric unsigned Reg = LI.reg(); 645ffd83dbSDimitry Andric for (const MachineOperand &MO : MRI->reg_nodbg_operands(Reg)) { 655ffd83dbSDimitry Andric if (!MO.isDef() && !MO.readsReg()) 665ffd83dbSDimitry Andric continue; 675ffd83dbSDimitry Andric 685ffd83dbSDimitry Andric unsigned SubReg = MO.getSubReg(); 695ffd83dbSDimitry Andric if (LI.hasSubRanges() || (SubReg != 0 && TrackSubRegs)) { 705ffd83dbSDimitry Andric LaneBitmask SubMask = SubReg != 0 ? TRI.getSubRegIndexLaneMask(SubReg) 715ffd83dbSDimitry Andric : MRI->getMaxLaneMaskForVReg(Reg); 725ffd83dbSDimitry Andric // If this is the first time we see a subregister def, initialize 735ffd83dbSDimitry Andric // subranges by creating a copy of the main range. 745ffd83dbSDimitry Andric if (!LI.hasSubRanges() && !LI.empty()) { 755ffd83dbSDimitry Andric LaneBitmask ClassMask = MRI->getMaxLaneMaskForVReg(Reg); 765ffd83dbSDimitry Andric LI.createSubRangeFrom(*Alloc, ClassMask, LI); 775ffd83dbSDimitry Andric } 785ffd83dbSDimitry Andric 795ffd83dbSDimitry Andric LI.refineSubRanges( 805ffd83dbSDimitry Andric *Alloc, SubMask, 815ffd83dbSDimitry Andric [&MO, Indexes, Alloc](LiveInterval::SubRange &SR) { 825ffd83dbSDimitry Andric if (MO.isDef()) 835ffd83dbSDimitry Andric createDeadDef(*Indexes, *Alloc, SR, MO); 845ffd83dbSDimitry Andric }, 855ffd83dbSDimitry Andric *Indexes, TRI); 865ffd83dbSDimitry Andric } 875ffd83dbSDimitry Andric 885ffd83dbSDimitry Andric // Create the def in the main liverange. We do not have to do this if 895ffd83dbSDimitry Andric // subranges are tracked as we recreate the main range later in this case. 905ffd83dbSDimitry Andric if (MO.isDef() && !LI.hasSubRanges()) 915ffd83dbSDimitry Andric createDeadDef(*Indexes, *Alloc, LI, MO); 925ffd83dbSDimitry Andric } 935ffd83dbSDimitry Andric 945ffd83dbSDimitry Andric // We may have created empty live ranges for partially undefined uses, we 955ffd83dbSDimitry Andric // can't keep them because we won't find defs in them later. 965ffd83dbSDimitry Andric LI.removeEmptySubRanges(); 975ffd83dbSDimitry Andric 985ffd83dbSDimitry Andric const MachineFunction *MF = getMachineFunction(); 995ffd83dbSDimitry Andric MachineDominatorTree *DomTree = getDomTree(); 1005ffd83dbSDimitry Andric // Step 2: Extend live segments to all uses, constructing SSA form as 1015ffd83dbSDimitry Andric // necessary. 1025ffd83dbSDimitry Andric if (LI.hasSubRanges()) { 1035ffd83dbSDimitry Andric for (LiveInterval::SubRange &S : LI.subranges()) { 1045ffd83dbSDimitry Andric LiveIntervalCalc SubLIC; 1055ffd83dbSDimitry Andric SubLIC.reset(MF, Indexes, DomTree, Alloc); 1065ffd83dbSDimitry Andric SubLIC.extendToUses(S, Reg, S.LaneMask, &LI); 1075ffd83dbSDimitry Andric } 1085ffd83dbSDimitry Andric LI.clear(); 1095ffd83dbSDimitry Andric constructMainRangeFromSubranges(LI); 1105ffd83dbSDimitry Andric } else { 1115ffd83dbSDimitry Andric resetLiveOutMap(); 1125ffd83dbSDimitry Andric extendToUses(LI, Reg, LaneBitmask::getAll()); 1135ffd83dbSDimitry Andric } 1145ffd83dbSDimitry Andric } 1155ffd83dbSDimitry Andric 1165ffd83dbSDimitry Andric void LiveIntervalCalc::constructMainRangeFromSubranges(LiveInterval &LI) { 1175ffd83dbSDimitry Andric // First create dead defs at all defs found in subranges. 1185ffd83dbSDimitry Andric LiveRange &MainRange = LI; 1195ffd83dbSDimitry Andric assert(MainRange.segments.empty() && MainRange.valnos.empty() && 1205ffd83dbSDimitry Andric "Expect empty main liverange"); 1215ffd83dbSDimitry Andric 1225ffd83dbSDimitry Andric VNInfo::Allocator *Alloc = getVNAlloc(); 1235ffd83dbSDimitry Andric for (const LiveInterval::SubRange &SR : LI.subranges()) { 1245ffd83dbSDimitry Andric for (const VNInfo *VNI : SR.valnos) { 1255ffd83dbSDimitry Andric if (!VNI->isUnused() && !VNI->isPHIDef()) 1265ffd83dbSDimitry Andric MainRange.createDeadDef(VNI->def, *Alloc); 1275ffd83dbSDimitry Andric } 1285ffd83dbSDimitry Andric } 1295ffd83dbSDimitry Andric resetLiveOutMap(); 130*e8d8bef9SDimitry Andric extendToUses(MainRange, LI.reg(), LaneBitmask::getAll(), &LI); 1315ffd83dbSDimitry Andric } 1325ffd83dbSDimitry Andric 1335ffd83dbSDimitry Andric void LiveIntervalCalc::createDeadDefs(LiveRange &LR, Register Reg) { 1345ffd83dbSDimitry Andric const MachineRegisterInfo *MRI = getRegInfo(); 1355ffd83dbSDimitry Andric SlotIndexes *Indexes = getIndexes(); 1365ffd83dbSDimitry Andric VNInfo::Allocator *Alloc = getVNAlloc(); 1375ffd83dbSDimitry Andric assert(MRI && Indexes && "call reset() first"); 1385ffd83dbSDimitry Andric 1395ffd83dbSDimitry Andric // Visit all def operands. If the same instruction has multiple defs of Reg, 1405ffd83dbSDimitry Andric // LR.createDeadDef() will deduplicate. 1415ffd83dbSDimitry Andric for (MachineOperand &MO : MRI->def_operands(Reg)) 1425ffd83dbSDimitry Andric createDeadDef(*Indexes, *Alloc, LR, MO); 1435ffd83dbSDimitry Andric } 1445ffd83dbSDimitry Andric 1455ffd83dbSDimitry Andric void LiveIntervalCalc::extendToUses(LiveRange &LR, Register Reg, 1465ffd83dbSDimitry Andric LaneBitmask Mask, LiveInterval *LI) { 1475ffd83dbSDimitry Andric const MachineRegisterInfo *MRI = getRegInfo(); 1485ffd83dbSDimitry Andric SlotIndexes *Indexes = getIndexes(); 1495ffd83dbSDimitry Andric SmallVector<SlotIndex, 4> Undefs; 1505ffd83dbSDimitry Andric if (LI != nullptr) 1515ffd83dbSDimitry Andric LI->computeSubRangeUndefs(Undefs, Mask, *MRI, *Indexes); 1525ffd83dbSDimitry Andric 1535ffd83dbSDimitry Andric // Visit all operands that read Reg. This may include partial defs. 1545ffd83dbSDimitry Andric bool IsSubRange = !Mask.all(); 1555ffd83dbSDimitry Andric const TargetRegisterInfo &TRI = *MRI->getTargetRegisterInfo(); 1565ffd83dbSDimitry Andric for (MachineOperand &MO : MRI->reg_nodbg_operands(Reg)) { 1575ffd83dbSDimitry Andric // Clear all kill flags. They will be reinserted after register allocation 1585ffd83dbSDimitry Andric // by LiveIntervals::addKillFlags(). 1595ffd83dbSDimitry Andric if (MO.isUse()) 1605ffd83dbSDimitry Andric MO.setIsKill(false); 1615ffd83dbSDimitry Andric // MO::readsReg returns "true" for subregister defs. This is for keeping 1625ffd83dbSDimitry Andric // liveness of the entire register (i.e. for the main range of the live 1635ffd83dbSDimitry Andric // interval). For subranges, definitions of non-overlapping subregisters 1645ffd83dbSDimitry Andric // do not count as uses. 1655ffd83dbSDimitry Andric if (!MO.readsReg() || (IsSubRange && MO.isDef())) 1665ffd83dbSDimitry Andric continue; 1675ffd83dbSDimitry Andric 1685ffd83dbSDimitry Andric unsigned SubReg = MO.getSubReg(); 1695ffd83dbSDimitry Andric if (SubReg != 0) { 1705ffd83dbSDimitry Andric LaneBitmask SLM = TRI.getSubRegIndexLaneMask(SubReg); 1715ffd83dbSDimitry Andric if (MO.isDef()) 1725ffd83dbSDimitry Andric SLM = ~SLM; 1735ffd83dbSDimitry Andric // Ignore uses not reading the current (sub)range. 1745ffd83dbSDimitry Andric if ((SLM & Mask).none()) 1755ffd83dbSDimitry Andric continue; 1765ffd83dbSDimitry Andric } 1775ffd83dbSDimitry Andric 1785ffd83dbSDimitry Andric // Determine the actual place of the use. 1795ffd83dbSDimitry Andric const MachineInstr *MI = MO.getParent(); 1805ffd83dbSDimitry Andric unsigned OpNo = (&MO - &MI->getOperand(0)); 1815ffd83dbSDimitry Andric SlotIndex UseIdx; 1825ffd83dbSDimitry Andric if (MI->isPHI()) { 1835ffd83dbSDimitry Andric assert(!MO.isDef() && "Cannot handle PHI def of partial register."); 1845ffd83dbSDimitry Andric // The actual place where a phi operand is used is the end of the pred 1855ffd83dbSDimitry Andric // MBB. PHI operands are paired: (Reg, PredMBB). 1865ffd83dbSDimitry Andric UseIdx = Indexes->getMBBEndIdx(MI->getOperand(OpNo + 1).getMBB()); 1875ffd83dbSDimitry Andric } else { 1885ffd83dbSDimitry Andric // Check for early-clobber redefs. 1895ffd83dbSDimitry Andric bool isEarlyClobber = false; 1905ffd83dbSDimitry Andric unsigned DefIdx; 1915ffd83dbSDimitry Andric if (MO.isDef()) 1925ffd83dbSDimitry Andric isEarlyClobber = MO.isEarlyClobber(); 1935ffd83dbSDimitry Andric else if (MI->isRegTiedToDefOperand(OpNo, &DefIdx)) { 1945ffd83dbSDimitry Andric // FIXME: This would be a lot easier if tied early-clobber uses also 1955ffd83dbSDimitry Andric // had an early-clobber flag. 1965ffd83dbSDimitry Andric isEarlyClobber = MI->getOperand(DefIdx).isEarlyClobber(); 1975ffd83dbSDimitry Andric } 1985ffd83dbSDimitry Andric UseIdx = Indexes->getInstructionIndex(*MI).getRegSlot(isEarlyClobber); 1995ffd83dbSDimitry Andric } 2005ffd83dbSDimitry Andric 2015ffd83dbSDimitry Andric // MI is reading Reg. We may have visited MI before if it happens to be 2025ffd83dbSDimitry Andric // reading Reg multiple times. That is OK, extend() is idempotent. 2035ffd83dbSDimitry Andric extend(LR, UseIdx, Reg, Undefs); 2045ffd83dbSDimitry Andric } 2055ffd83dbSDimitry Andric } 206