xref: /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/LiveIntervalCalc.cpp (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
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