10b57cec5SDimitry Andric //===- AggressiveAntiDepBreaker.cpp - Anti-dep breaker --------------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file implements the AggressiveAntiDepBreaker class, which 100b57cec5SDimitry Andric // implements register anti-dependence breaking during post-RA 110b57cec5SDimitry Andric // scheduling. It attempts to break all anti-dependencies within a 120b57cec5SDimitry Andric // block. 130b57cec5SDimitry Andric // 140b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 150b57cec5SDimitry Andric 160b57cec5SDimitry Andric #include "AggressiveAntiDepBreaker.h" 170b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h" 180b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h" 190b57cec5SDimitry Andric #include "llvm/ADT/iterator_range.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h" 220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h" 230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h" 240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineOperand.h" 250b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 260b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterClassInfo.h" 270b57cec5SDimitry Andric #include "llvm/CodeGen/ScheduleDAG.h" 280b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 290b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 30*0fca6ea1SDimitry Andric #include "llvm/CodeGenTypes/MachineValueType.h" 310b57cec5SDimitry Andric #include "llvm/MC/MCInstrDesc.h" 320b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h" 330b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 340b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 350b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 360b57cec5SDimitry Andric #include <cassert> 370b57cec5SDimitry Andric #include <utility> 380b57cec5SDimitry Andric 390b57cec5SDimitry Andric using namespace llvm; 400b57cec5SDimitry Andric 410b57cec5SDimitry Andric #define DEBUG_TYPE "post-RA-sched" 420b57cec5SDimitry Andric 430b57cec5SDimitry Andric // If DebugDiv > 0 then only break antidep with (ID % DebugDiv) == DebugMod 440b57cec5SDimitry Andric static cl::opt<int> 450b57cec5SDimitry Andric DebugDiv("agg-antidep-debugdiv", 460b57cec5SDimitry Andric cl::desc("Debug control for aggressive anti-dep breaker"), 470b57cec5SDimitry Andric cl::init(0), cl::Hidden); 480b57cec5SDimitry Andric 490b57cec5SDimitry Andric static cl::opt<int> 500b57cec5SDimitry Andric DebugMod("agg-antidep-debugmod", 510b57cec5SDimitry Andric cl::desc("Debug control for aggressive anti-dep breaker"), 520b57cec5SDimitry Andric cl::init(0), cl::Hidden); 530b57cec5SDimitry Andric 540b57cec5SDimitry Andric AggressiveAntiDepState::AggressiveAntiDepState(const unsigned TargetRegs, 550b57cec5SDimitry Andric MachineBasicBlock *BB) 560b57cec5SDimitry Andric : NumTargetRegs(TargetRegs), GroupNodes(TargetRegs, 0), 570b57cec5SDimitry Andric GroupNodeIndices(TargetRegs, 0), KillIndices(TargetRegs, 0), 580b57cec5SDimitry Andric DefIndices(TargetRegs, 0) { 590b57cec5SDimitry Andric const unsigned BBSize = BB->size(); 600b57cec5SDimitry Andric for (unsigned i = 0; i < NumTargetRegs; ++i) { 610b57cec5SDimitry Andric // Initialize all registers to be in their own group. Initially we 620b57cec5SDimitry Andric // assign the register to the same-indexed GroupNode. 630b57cec5SDimitry Andric GroupNodeIndices[i] = i; 640b57cec5SDimitry Andric // Initialize the indices to indicate that no registers are live. 650b57cec5SDimitry Andric KillIndices[i] = ~0u; 660b57cec5SDimitry Andric DefIndices[i] = BBSize; 670b57cec5SDimitry Andric } 680b57cec5SDimitry Andric } 690b57cec5SDimitry Andric 700b57cec5SDimitry Andric unsigned AggressiveAntiDepState::GetGroup(unsigned Reg) { 710b57cec5SDimitry Andric unsigned Node = GroupNodeIndices[Reg]; 720b57cec5SDimitry Andric while (GroupNodes[Node] != Node) 730b57cec5SDimitry Andric Node = GroupNodes[Node]; 740b57cec5SDimitry Andric 750b57cec5SDimitry Andric return Node; 760b57cec5SDimitry Andric } 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric void AggressiveAntiDepState::GetGroupRegs( 790b57cec5SDimitry Andric unsigned Group, 800b57cec5SDimitry Andric std::vector<unsigned> &Regs, 810b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference> *RegRefs) 820b57cec5SDimitry Andric { 830b57cec5SDimitry Andric for (unsigned Reg = 0; Reg != NumTargetRegs; ++Reg) { 840b57cec5SDimitry Andric if ((GetGroup(Reg) == Group) && (RegRefs->count(Reg) > 0)) 850b57cec5SDimitry Andric Regs.push_back(Reg); 860b57cec5SDimitry Andric } 870b57cec5SDimitry Andric } 880b57cec5SDimitry Andric 890b57cec5SDimitry Andric unsigned AggressiveAntiDepState::UnionGroups(unsigned Reg1, unsigned Reg2) { 900b57cec5SDimitry Andric assert(GroupNodes[0] == 0 && "GroupNode 0 not parent!"); 910b57cec5SDimitry Andric assert(GroupNodeIndices[0] == 0 && "Reg 0 not in Group 0!"); 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric // find group for each register 940b57cec5SDimitry Andric unsigned Group1 = GetGroup(Reg1); 950b57cec5SDimitry Andric unsigned Group2 = GetGroup(Reg2); 960b57cec5SDimitry Andric 970b57cec5SDimitry Andric // if either group is 0, then that must become the parent 980b57cec5SDimitry Andric unsigned Parent = (Group1 == 0) ? Group1 : Group2; 990b57cec5SDimitry Andric unsigned Other = (Parent == Group1) ? Group2 : Group1; 1000b57cec5SDimitry Andric GroupNodes.at(Other) = Parent; 1010b57cec5SDimitry Andric return Parent; 1020b57cec5SDimitry Andric } 1030b57cec5SDimitry Andric 1040b57cec5SDimitry Andric unsigned AggressiveAntiDepState::LeaveGroup(unsigned Reg) { 1050b57cec5SDimitry Andric // Create a new GroupNode for Reg. Reg's existing GroupNode must 1060b57cec5SDimitry Andric // stay as is because there could be other GroupNodes referring to 1070b57cec5SDimitry Andric // it. 1080b57cec5SDimitry Andric unsigned idx = GroupNodes.size(); 1090b57cec5SDimitry Andric GroupNodes.push_back(idx); 1100b57cec5SDimitry Andric GroupNodeIndices[Reg] = idx; 1110b57cec5SDimitry Andric return idx; 1120b57cec5SDimitry Andric } 1130b57cec5SDimitry Andric 1140b57cec5SDimitry Andric bool AggressiveAntiDepState::IsLive(unsigned Reg) { 1150b57cec5SDimitry Andric // KillIndex must be defined and DefIndex not defined for a register 1160b57cec5SDimitry Andric // to be live. 1170b57cec5SDimitry Andric return((KillIndices[Reg] != ~0u) && (DefIndices[Reg] == ~0u)); 1180b57cec5SDimitry Andric } 1190b57cec5SDimitry Andric 1200b57cec5SDimitry Andric AggressiveAntiDepBreaker::AggressiveAntiDepBreaker( 1210b57cec5SDimitry Andric MachineFunction &MFi, const RegisterClassInfo &RCI, 1220b57cec5SDimitry Andric TargetSubtargetInfo::RegClassVector &CriticalPathRCs) 12304eeddc0SDimitry Andric : MF(MFi), MRI(MF.getRegInfo()), TII(MF.getSubtarget().getInstrInfo()), 1240b57cec5SDimitry Andric TRI(MF.getSubtarget().getRegisterInfo()), RegClassInfo(RCI) { 1250b57cec5SDimitry Andric /* Collect a bitset of all registers that are only broken if they 1260b57cec5SDimitry Andric are on the critical path. */ 127*0fca6ea1SDimitry Andric for (const TargetRegisterClass *RC : CriticalPathRCs) { 128*0fca6ea1SDimitry Andric BitVector CPSet = TRI->getAllocatableSet(MF, RC); 1290b57cec5SDimitry Andric if (CriticalPathSet.none()) 1300b57cec5SDimitry Andric CriticalPathSet = CPSet; 1310b57cec5SDimitry Andric else 1320b57cec5SDimitry Andric CriticalPathSet |= CPSet; 1330b57cec5SDimitry Andric } 1340b57cec5SDimitry Andric 1350b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "AntiDep Critical-Path Registers:"); 1360b57cec5SDimitry Andric LLVM_DEBUG(for (unsigned r 1370b57cec5SDimitry Andric : CriticalPathSet.set_bits()) dbgs() 1380b57cec5SDimitry Andric << " " << printReg(r, TRI)); 1390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 1400b57cec5SDimitry Andric } 1410b57cec5SDimitry Andric 1420b57cec5SDimitry Andric AggressiveAntiDepBreaker::~AggressiveAntiDepBreaker() { 1430b57cec5SDimitry Andric delete State; 1440b57cec5SDimitry Andric } 1450b57cec5SDimitry Andric 1460b57cec5SDimitry Andric void AggressiveAntiDepBreaker::StartBlock(MachineBasicBlock *BB) { 1470b57cec5SDimitry Andric assert(!State); 1480b57cec5SDimitry Andric State = new AggressiveAntiDepState(TRI->getNumRegs(), BB); 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric bool IsReturnBlock = BB->isReturnBlock(); 1510b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 1520b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 1530b57cec5SDimitry Andric 1540b57cec5SDimitry Andric // Examine the live-in regs of all successors. 155fe6060f1SDimitry Andric for (MachineBasicBlock *Succ : BB->successors()) 156fe6060f1SDimitry Andric for (const auto &LI : Succ->liveins()) { 1570b57cec5SDimitry Andric for (MCRegAliasIterator AI(LI.PhysReg, TRI, true); AI.isValid(); ++AI) { 1580b57cec5SDimitry Andric unsigned Reg = *AI; 1590b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 1600b57cec5SDimitry Andric KillIndices[Reg] = BB->size(); 1610b57cec5SDimitry Andric DefIndices[Reg] = ~0u; 1620b57cec5SDimitry Andric } 1630b57cec5SDimitry Andric } 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric // Mark live-out callee-saved registers. In a return block this is 1660b57cec5SDimitry Andric // all callee-saved registers. In non-return this is any 1670b57cec5SDimitry Andric // callee-saved register that is not saved in the prolog. 1680b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 1690b57cec5SDimitry Andric BitVector Pristine = MFI.getPristineRegs(MF); 1700b57cec5SDimitry Andric for (const MCPhysReg *I = MF.getRegInfo().getCalleeSavedRegs(); *I; 1710b57cec5SDimitry Andric ++I) { 1720b57cec5SDimitry Andric unsigned Reg = *I; 1730b57cec5SDimitry Andric if (!IsReturnBlock && !Pristine.test(Reg)) 1740b57cec5SDimitry Andric continue; 1750b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) { 1760b57cec5SDimitry Andric unsigned AliasReg = *AI; 1770b57cec5SDimitry Andric State->UnionGroups(AliasReg, 0); 1780b57cec5SDimitry Andric KillIndices[AliasReg] = BB->size(); 1790b57cec5SDimitry Andric DefIndices[AliasReg] = ~0u; 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric } 1820b57cec5SDimitry Andric } 1830b57cec5SDimitry Andric 1840b57cec5SDimitry Andric void AggressiveAntiDepBreaker::FinishBlock() { 1850b57cec5SDimitry Andric delete State; 1860b57cec5SDimitry Andric State = nullptr; 1870b57cec5SDimitry Andric } 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric void AggressiveAntiDepBreaker::Observe(MachineInstr &MI, unsigned Count, 1900b57cec5SDimitry Andric unsigned InsertPosIndex) { 1910b57cec5SDimitry Andric assert(Count < InsertPosIndex && "Instruction index out of expected range!"); 1920b57cec5SDimitry Andric 1930b57cec5SDimitry Andric std::set<unsigned> PassthruRegs; 1940b57cec5SDimitry Andric GetPassthruRegs(MI, PassthruRegs); 1950b57cec5SDimitry Andric PrescanInstruction(MI, Count, PassthruRegs); 1960b57cec5SDimitry Andric ScanInstruction(MI, Count); 1970b57cec5SDimitry Andric 1980b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Observe: "); 1990b57cec5SDimitry Andric LLVM_DEBUG(MI.dump()); 2000b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tRegs:"); 2010b57cec5SDimitry Andric 2020b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 20306c3fb27SDimitry Andric for (unsigned Reg = 1; Reg != TRI->getNumRegs(); ++Reg) { 2040b57cec5SDimitry Andric // If Reg is current live, then mark that it can't be renamed as 2050b57cec5SDimitry Andric // we don't know the extent of its live-range anymore (now that it 2060b57cec5SDimitry Andric // has been scheduled). If it is not live but was defined in the 2070b57cec5SDimitry Andric // previous schedule region, then set its def index to the most 2080b57cec5SDimitry Andric // conservative location (i.e. the beginning of the previous 2090b57cec5SDimitry Andric // schedule region). 2100b57cec5SDimitry Andric if (State->IsLive(Reg)) { 2110b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() 2120b57cec5SDimitry Andric << " " << printReg(Reg, TRI) << "=g" << State->GetGroup(Reg) 2130b57cec5SDimitry Andric << "->g0(region live-out)"); 2140b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 2150b57cec5SDimitry Andric } else if ((DefIndices[Reg] < InsertPosIndex) 2160b57cec5SDimitry Andric && (DefIndices[Reg] >= Count)) { 2170b57cec5SDimitry Andric DefIndices[Reg] = Count; 2180b57cec5SDimitry Andric } 2190b57cec5SDimitry Andric } 2200b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 2210b57cec5SDimitry Andric } 2220b57cec5SDimitry Andric 2230b57cec5SDimitry Andric bool AggressiveAntiDepBreaker::IsImplicitDefUse(MachineInstr &MI, 2240b57cec5SDimitry Andric MachineOperand &MO) { 2250b57cec5SDimitry Andric if (!MO.isReg() || !MO.isImplicit()) 2260b57cec5SDimitry Andric return false; 2270b57cec5SDimitry Andric 2288bcb0991SDimitry Andric Register Reg = MO.getReg(); 2290b57cec5SDimitry Andric if (Reg == 0) 2300b57cec5SDimitry Andric return false; 2310b57cec5SDimitry Andric 2320b57cec5SDimitry Andric MachineOperand *Op = nullptr; 2330b57cec5SDimitry Andric if (MO.isDef()) 234*0fca6ea1SDimitry Andric Op = MI.findRegisterUseOperand(Reg, /*TRI=*/nullptr, true); 2350b57cec5SDimitry Andric else 236*0fca6ea1SDimitry Andric Op = MI.findRegisterDefOperand(Reg, /*TRI=*/nullptr); 2370b57cec5SDimitry Andric 2380b57cec5SDimitry Andric return(Op && Op->isImplicit()); 2390b57cec5SDimitry Andric } 2400b57cec5SDimitry Andric 2410b57cec5SDimitry Andric void AggressiveAntiDepBreaker::GetPassthruRegs( 2420b57cec5SDimitry Andric MachineInstr &MI, std::set<unsigned> &PassthruRegs) { 2430b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 2440b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 2450b57cec5SDimitry Andric if (!MO.isReg()) continue; 2460b57cec5SDimitry Andric if ((MO.isDef() && MI.isRegTiedToUseOperand(i)) || 2470b57cec5SDimitry Andric IsImplicitDefUse(MI, MO)) { 2488bcb0991SDimitry Andric const Register Reg = MO.getReg(); 24906c3fb27SDimitry Andric for (MCPhysReg SubReg : TRI->subregs_inclusive(Reg)) 25006c3fb27SDimitry Andric PassthruRegs.insert(SubReg); 2510b57cec5SDimitry Andric } 2520b57cec5SDimitry Andric } 2530b57cec5SDimitry Andric } 2540b57cec5SDimitry Andric 2550b57cec5SDimitry Andric /// AntiDepEdges - Return in Edges the anti- and output- dependencies 2560b57cec5SDimitry Andric /// in SU that we want to consider for breaking. 2570b57cec5SDimitry Andric static void AntiDepEdges(const SUnit *SU, std::vector<const SDep *> &Edges) { 2580b57cec5SDimitry Andric SmallSet<unsigned, 4> RegSet; 259fe6060f1SDimitry Andric for (const SDep &Pred : SU->Preds) { 260fe6060f1SDimitry Andric if ((Pred.getKind() == SDep::Anti) || (Pred.getKind() == SDep::Output)) { 261fe6060f1SDimitry Andric if (RegSet.insert(Pred.getReg()).second) 262fe6060f1SDimitry Andric Edges.push_back(&Pred); 2630b57cec5SDimitry Andric } 2640b57cec5SDimitry Andric } 2650b57cec5SDimitry Andric } 2660b57cec5SDimitry Andric 2670b57cec5SDimitry Andric /// CriticalPathStep - Return the next SUnit after SU on the bottom-up 2680b57cec5SDimitry Andric /// critical path. 2690b57cec5SDimitry Andric static const SUnit *CriticalPathStep(const SUnit *SU) { 2700b57cec5SDimitry Andric const SDep *Next = nullptr; 2710b57cec5SDimitry Andric unsigned NextDepth = 0; 2720b57cec5SDimitry Andric // Find the predecessor edge with the greatest depth. 2730b57cec5SDimitry Andric if (SU) { 274fe6060f1SDimitry Andric for (const SDep &Pred : SU->Preds) { 275fe6060f1SDimitry Andric const SUnit *PredSU = Pred.getSUnit(); 276fe6060f1SDimitry Andric unsigned PredLatency = Pred.getLatency(); 2770b57cec5SDimitry Andric unsigned PredTotalLatency = PredSU->getDepth() + PredLatency; 2780b57cec5SDimitry Andric // In the case of a latency tie, prefer an anti-dependency edge over 2790b57cec5SDimitry Andric // other types of edges. 2800b57cec5SDimitry Andric if (NextDepth < PredTotalLatency || 281fe6060f1SDimitry Andric (NextDepth == PredTotalLatency && Pred.getKind() == SDep::Anti)) { 2820b57cec5SDimitry Andric NextDepth = PredTotalLatency; 283fe6060f1SDimitry Andric Next = &Pred; 2840b57cec5SDimitry Andric } 2850b57cec5SDimitry Andric } 2860b57cec5SDimitry Andric } 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric return (Next) ? Next->getSUnit() : nullptr; 2890b57cec5SDimitry Andric } 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric void AggressiveAntiDepBreaker::HandleLastUse(unsigned Reg, unsigned KillIdx, 2920b57cec5SDimitry Andric const char *tag, 2930b57cec5SDimitry Andric const char *header, 2940b57cec5SDimitry Andric const char *footer) { 2950b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 2960b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 2970b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 2980b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 2990b57cec5SDimitry Andric 3000b57cec5SDimitry Andric // FIXME: We must leave subregisters of live super registers as live, so that 3010b57cec5SDimitry Andric // we don't clear out the register tracking information for subregisters of 3020b57cec5SDimitry Andric // super registers we're still tracking (and with which we're unioning 3030b57cec5SDimitry Andric // subregister definitions). 3040b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) 3050b57cec5SDimitry Andric if (TRI->isSuperRegister(Reg, *AI) && State->IsLive(*AI)) { 3060b57cec5SDimitry Andric LLVM_DEBUG(if (!header && footer) dbgs() << footer); 3070b57cec5SDimitry Andric return; 3080b57cec5SDimitry Andric } 3090b57cec5SDimitry Andric 3100b57cec5SDimitry Andric if (!State->IsLive(Reg)) { 3110b57cec5SDimitry Andric KillIndices[Reg] = KillIdx; 3120b57cec5SDimitry Andric DefIndices[Reg] = ~0u; 3130b57cec5SDimitry Andric RegRefs.erase(Reg); 3140b57cec5SDimitry Andric State->LeaveGroup(Reg); 3150b57cec5SDimitry Andric LLVM_DEBUG(if (header) { 3160b57cec5SDimitry Andric dbgs() << header << printReg(Reg, TRI); 3170b57cec5SDimitry Andric header = nullptr; 3180b57cec5SDimitry Andric }); 3190b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(Reg) << tag); 3200b57cec5SDimitry Andric // Repeat for subregisters. Note that we only do this if the superregister 3210b57cec5SDimitry Andric // was not live because otherwise, regardless whether we have an explicit 3220b57cec5SDimitry Andric // use of the subregister, the subregister's contents are needed for the 3230b57cec5SDimitry Andric // uses of the superregister. 32406c3fb27SDimitry Andric for (MCPhysReg SubregReg : TRI->subregs(Reg)) { 3250b57cec5SDimitry Andric if (!State->IsLive(SubregReg)) { 3260b57cec5SDimitry Andric KillIndices[SubregReg] = KillIdx; 3270b57cec5SDimitry Andric DefIndices[SubregReg] = ~0u; 3280b57cec5SDimitry Andric RegRefs.erase(SubregReg); 3290b57cec5SDimitry Andric State->LeaveGroup(SubregReg); 3300b57cec5SDimitry Andric LLVM_DEBUG(if (header) { 3310b57cec5SDimitry Andric dbgs() << header << printReg(Reg, TRI); 3320b57cec5SDimitry Andric header = nullptr; 3330b57cec5SDimitry Andric }); 3340b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(SubregReg, TRI) << "->g" 3350b57cec5SDimitry Andric << State->GetGroup(SubregReg) << tag); 3360b57cec5SDimitry Andric } 3370b57cec5SDimitry Andric } 3380b57cec5SDimitry Andric } 3390b57cec5SDimitry Andric 3400b57cec5SDimitry Andric LLVM_DEBUG(if (!header && footer) dbgs() << footer); 3410b57cec5SDimitry Andric } 3420b57cec5SDimitry Andric 3430b57cec5SDimitry Andric void AggressiveAntiDepBreaker::PrescanInstruction( 3440b57cec5SDimitry Andric MachineInstr &MI, unsigned Count, std::set<unsigned> &PassthruRegs) { 3450b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 3460b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 3470b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 3480b57cec5SDimitry Andric 3490b57cec5SDimitry Andric // Handle dead defs by simulating a last-use of the register just 3500b57cec5SDimitry Andric // after the def. A dead def can occur because the def is truly 3510b57cec5SDimitry Andric // dead, or because only a subregister is live at the def. If we 3520b57cec5SDimitry Andric // don't do this the dead def will be incorrectly merged into the 3530b57cec5SDimitry Andric // previous def. 35406c3fb27SDimitry Andric for (const MachineOperand &MO : MI.all_defs()) { 3558bcb0991SDimitry Andric Register Reg = MO.getReg(); 3560b57cec5SDimitry Andric if (Reg == 0) continue; 3570b57cec5SDimitry Andric 3580b57cec5SDimitry Andric HandleLastUse(Reg, Count + 1, "", "\tDead Def: ", "\n"); 3590b57cec5SDimitry Andric } 3600b57cec5SDimitry Andric 3610b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tDef Groups:"); 3620b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 3630b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 3640b57cec5SDimitry Andric if (!MO.isReg() || !MO.isDef()) continue; 3658bcb0991SDimitry Andric Register Reg = MO.getReg(); 3660b57cec5SDimitry Andric if (Reg == 0) continue; 3670b57cec5SDimitry Andric 3680b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI) << "=g" 3690b57cec5SDimitry Andric << State->GetGroup(Reg)); 3700b57cec5SDimitry Andric 3710b57cec5SDimitry Andric // If MI's defs have a special allocation requirement, don't allow 3720b57cec5SDimitry Andric // any def registers to be changed. Also assume all registers 3730b57cec5SDimitry Andric // defined in a call must not be changed (ABI). Inline assembly may 3740b57cec5SDimitry Andric // reference either system calls or the register directly. Skip it until we 3750b57cec5SDimitry Andric // can tell user specified registers from compiler-specified. 3760b57cec5SDimitry Andric if (MI.isCall() || MI.hasExtraDefRegAllocReq() || TII->isPredicated(MI) || 3770b57cec5SDimitry Andric MI.isInlineAsm()) { 3780b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() << "->g0(alloc-req)"); 3790b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 3800b57cec5SDimitry Andric } 3810b57cec5SDimitry Andric 3820b57cec5SDimitry Andric // Any aliased that are live at this point are completely or 3830b57cec5SDimitry Andric // partially defined here, so group those aliases with Reg. 3840b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) { 3850b57cec5SDimitry Andric unsigned AliasReg = *AI; 3860b57cec5SDimitry Andric if (State->IsLive(AliasReg)) { 3870b57cec5SDimitry Andric State->UnionGroups(Reg, AliasReg); 3880b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(Reg) << "(via " 3890b57cec5SDimitry Andric << printReg(AliasReg, TRI) << ")"); 3900b57cec5SDimitry Andric } 3910b57cec5SDimitry Andric } 3920b57cec5SDimitry Andric 3930b57cec5SDimitry Andric // Note register reference... 3940b57cec5SDimitry Andric const TargetRegisterClass *RC = nullptr; 3950b57cec5SDimitry Andric if (i < MI.getDesc().getNumOperands()) 3960b57cec5SDimitry Andric RC = TII->getRegClass(MI.getDesc(), i, TRI, MF); 3970b57cec5SDimitry Andric AggressiveAntiDepState::RegisterReference RR = { &MO, RC }; 3980b57cec5SDimitry Andric RegRefs.insert(std::make_pair(Reg, RR)); 3990b57cec5SDimitry Andric } 4000b57cec5SDimitry Andric 4010b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 4020b57cec5SDimitry Andric 4030b57cec5SDimitry Andric // Scan the register defs for this instruction and update 4040b57cec5SDimitry Andric // live-ranges. 4054824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 4060b57cec5SDimitry Andric if (!MO.isReg() || !MO.isDef()) continue; 4078bcb0991SDimitry Andric Register Reg = MO.getReg(); 4080b57cec5SDimitry Andric if (Reg == 0) continue; 4090b57cec5SDimitry Andric // Ignore KILLs and passthru registers for liveness... 4100b57cec5SDimitry Andric if (MI.isKill() || (PassthruRegs.count(Reg) != 0)) 4110b57cec5SDimitry Andric continue; 4120b57cec5SDimitry Andric 4130b57cec5SDimitry Andric // Update def for Reg and aliases. 4140b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) { 4150b57cec5SDimitry Andric // We need to be careful here not to define already-live super registers. 4160b57cec5SDimitry Andric // If the super register is already live, then this definition is not 4170b57cec5SDimitry Andric // a definition of the whole super register (just a partial insertion 4180b57cec5SDimitry Andric // into it). Earlier subregister definitions (which we've not yet visited 4190b57cec5SDimitry Andric // because we're iterating bottom-up) need to be linked to the same group 4200b57cec5SDimitry Andric // as this definition. 4210b57cec5SDimitry Andric if (TRI->isSuperRegister(Reg, *AI) && State->IsLive(*AI)) 4220b57cec5SDimitry Andric continue; 4230b57cec5SDimitry Andric 4240b57cec5SDimitry Andric DefIndices[*AI] = Count; 4250b57cec5SDimitry Andric } 4260b57cec5SDimitry Andric } 4270b57cec5SDimitry Andric } 4280b57cec5SDimitry Andric 4290b57cec5SDimitry Andric void AggressiveAntiDepBreaker::ScanInstruction(MachineInstr &MI, 4300b57cec5SDimitry Andric unsigned Count) { 4310b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tUse Groups:"); 4320b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 4330b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 4340b57cec5SDimitry Andric 4350b57cec5SDimitry Andric // If MI's uses have special allocation requirement, don't allow 4360b57cec5SDimitry Andric // any use registers to be changed. Also assume all registers 4370b57cec5SDimitry Andric // used in a call must not be changed (ABI). 4380b57cec5SDimitry Andric // Inline Assembly register uses also cannot be safely changed. 4390b57cec5SDimitry Andric // FIXME: The issue with predicated instruction is more complex. We are being 4400b57cec5SDimitry Andric // conservatively here because the kill markers cannot be trusted after 4410b57cec5SDimitry Andric // if-conversion: 4420b57cec5SDimitry Andric // %r6 = LDR %sp, %reg0, 92, 14, %reg0; mem:LD4[FixedStack14] 4430b57cec5SDimitry Andric // ... 4440b57cec5SDimitry Andric // STR %r0, killed %r6, %reg0, 0, 0, %cpsr; mem:ST4[%395] 4450b57cec5SDimitry Andric // %r6 = LDR %sp, %reg0, 100, 0, %cpsr; mem:LD4[FixedStack12] 4460b57cec5SDimitry Andric // STR %r0, killed %r6, %reg0, 0, 14, %reg0; mem:ST4[%396](align=8) 4470b57cec5SDimitry Andric // 4480b57cec5SDimitry Andric // The first R6 kill is not really a kill since it's killed by a predicated 4490b57cec5SDimitry Andric // instruction which may not be executed. The second R6 def may or may not 4500b57cec5SDimitry Andric // re-define R6 so it's not safe to change it since the last R6 use cannot be 4510b57cec5SDimitry Andric // changed. 4520b57cec5SDimitry Andric bool Special = MI.isCall() || MI.hasExtraSrcRegAllocReq() || 4530b57cec5SDimitry Andric TII->isPredicated(MI) || MI.isInlineAsm(); 4540b57cec5SDimitry Andric 4550b57cec5SDimitry Andric // Scan the register uses for this instruction and update 4560b57cec5SDimitry Andric // live-ranges, groups and RegRefs. 4570b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 4580b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 4590b57cec5SDimitry Andric if (!MO.isReg() || !MO.isUse()) continue; 4608bcb0991SDimitry Andric Register Reg = MO.getReg(); 4610b57cec5SDimitry Andric if (Reg == 0) continue; 4620b57cec5SDimitry Andric 4630b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI) << "=g" 4640b57cec5SDimitry Andric << State->GetGroup(Reg)); 4650b57cec5SDimitry Andric 4660b57cec5SDimitry Andric // It wasn't previously live but now it is, this is a kill. Forget 4670b57cec5SDimitry Andric // the previous live-range information and start a new live-range 4680b57cec5SDimitry Andric // for the register. 4690b57cec5SDimitry Andric HandleLastUse(Reg, Count, "(last-use)"); 4700b57cec5SDimitry Andric 4710b57cec5SDimitry Andric if (Special) { 4720b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() << "->g0(alloc-req)"); 4730b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 4740b57cec5SDimitry Andric } 4750b57cec5SDimitry Andric 4760b57cec5SDimitry Andric // Note register reference... 4770b57cec5SDimitry Andric const TargetRegisterClass *RC = nullptr; 4780b57cec5SDimitry Andric if (i < MI.getDesc().getNumOperands()) 4790b57cec5SDimitry Andric RC = TII->getRegClass(MI.getDesc(), i, TRI, MF); 4800b57cec5SDimitry Andric AggressiveAntiDepState::RegisterReference RR = { &MO, RC }; 4810b57cec5SDimitry Andric RegRefs.insert(std::make_pair(Reg, RR)); 4820b57cec5SDimitry Andric } 4830b57cec5SDimitry Andric 4840b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 4850b57cec5SDimitry Andric 4860b57cec5SDimitry Andric // Form a group of all defs and uses of a KILL instruction to ensure 4870b57cec5SDimitry Andric // that all registers are renamed as a group. 4880b57cec5SDimitry Andric if (MI.isKill()) { 4890b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tKill Group:"); 4900b57cec5SDimitry Andric 4910b57cec5SDimitry Andric unsigned FirstReg = 0; 4924824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 4930b57cec5SDimitry Andric if (!MO.isReg()) continue; 4948bcb0991SDimitry Andric Register Reg = MO.getReg(); 4950b57cec5SDimitry Andric if (Reg == 0) continue; 4960b57cec5SDimitry Andric 4970b57cec5SDimitry Andric if (FirstReg != 0) { 4980b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "=" << printReg(Reg, TRI)); 4990b57cec5SDimitry Andric State->UnionGroups(FirstReg, Reg); 5000b57cec5SDimitry Andric } else { 5010b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI)); 5020b57cec5SDimitry Andric FirstReg = Reg; 5030b57cec5SDimitry Andric } 5040b57cec5SDimitry Andric } 5050b57cec5SDimitry Andric 5060b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(FirstReg) << '\n'); 5070b57cec5SDimitry Andric } 5080b57cec5SDimitry Andric } 5090b57cec5SDimitry Andric 5100b57cec5SDimitry Andric BitVector AggressiveAntiDepBreaker::GetRenameRegisters(unsigned Reg) { 5110b57cec5SDimitry Andric BitVector BV(TRI->getNumRegs(), false); 5120b57cec5SDimitry Andric bool first = true; 5130b57cec5SDimitry Andric 5140b57cec5SDimitry Andric // Check all references that need rewriting for Reg. For each, use 5150b57cec5SDimitry Andric // the corresponding register class to narrow the set of registers 5160b57cec5SDimitry Andric // that are appropriate for renaming. 5170b57cec5SDimitry Andric for (const auto &Q : make_range(State->GetRegRefs().equal_range(Reg))) { 5180b57cec5SDimitry Andric const TargetRegisterClass *RC = Q.second.RC; 5190b57cec5SDimitry Andric if (!RC) continue; 5200b57cec5SDimitry Andric 5210b57cec5SDimitry Andric BitVector RCBV = TRI->getAllocatableSet(MF, RC); 5220b57cec5SDimitry Andric if (first) { 5230b57cec5SDimitry Andric BV |= RCBV; 5240b57cec5SDimitry Andric first = false; 5250b57cec5SDimitry Andric } else { 5260b57cec5SDimitry Andric BV &= RCBV; 5270b57cec5SDimitry Andric } 5280b57cec5SDimitry Andric 5290b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << TRI->getRegClassName(RC)); 5300b57cec5SDimitry Andric } 5310b57cec5SDimitry Andric 5320b57cec5SDimitry Andric return BV; 5330b57cec5SDimitry Andric } 5340b57cec5SDimitry Andric 5350b57cec5SDimitry Andric bool AggressiveAntiDepBreaker::FindSuitableFreeRegisters( 5365f757f3fSDimitry Andric unsigned SuperReg, unsigned AntiDepGroupIndex, RenameOrderType &RenameOrder, 5370b57cec5SDimitry Andric std::map<unsigned, unsigned> &RenameMap) { 5380b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 5390b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 5400b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 5410b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 5420b57cec5SDimitry Andric 5430b57cec5SDimitry Andric // Collect all referenced registers in the same group as 5440b57cec5SDimitry Andric // AntiDepReg. These all need to be renamed together if we are to 5450b57cec5SDimitry Andric // break the anti-dependence. 5460b57cec5SDimitry Andric std::vector<unsigned> Regs; 5470b57cec5SDimitry Andric State->GetGroupRegs(AntiDepGroupIndex, Regs, &RegRefs); 5480b57cec5SDimitry Andric assert(!Regs.empty() && "Empty register group!"); 5490b57cec5SDimitry Andric if (Regs.empty()) 5500b57cec5SDimitry Andric return false; 5510b57cec5SDimitry Andric 5525f757f3fSDimitry Andric // Collect the BitVector of registers that can be used to rename 5530b57cec5SDimitry Andric // each register. 5540b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tRename Candidates for Group g" << AntiDepGroupIndex 5550b57cec5SDimitry Andric << ":\n"); 5560b57cec5SDimitry Andric std::map<unsigned, BitVector> RenameRegisterMap; 5570eae32dcSDimitry Andric for (unsigned Reg : Regs) { 5580b57cec5SDimitry Andric // If Reg has any references, then collect possible rename regs 5590b57cec5SDimitry Andric if (RegRefs.count(Reg) > 0) { 5600b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\t\t" << printReg(Reg, TRI) << ":"); 5610b57cec5SDimitry Andric 5620b57cec5SDimitry Andric BitVector &BV = RenameRegisterMap[Reg]; 5630b57cec5SDimitry Andric assert(BV.empty()); 5640b57cec5SDimitry Andric BV = GetRenameRegisters(Reg); 5650b57cec5SDimitry Andric 5660b57cec5SDimitry Andric LLVM_DEBUG({ 5670b57cec5SDimitry Andric dbgs() << " ::"; 5680b57cec5SDimitry Andric for (unsigned r : BV.set_bits()) 5690b57cec5SDimitry Andric dbgs() << " " << printReg(r, TRI); 5700b57cec5SDimitry Andric dbgs() << "\n"; 5710b57cec5SDimitry Andric }); 5720b57cec5SDimitry Andric } 5730b57cec5SDimitry Andric } 5740b57cec5SDimitry Andric 5750b57cec5SDimitry Andric // All group registers should be a subreg of SuperReg. 5760eae32dcSDimitry Andric for (unsigned Reg : Regs) { 5770b57cec5SDimitry Andric if (Reg == SuperReg) continue; 5780b57cec5SDimitry Andric bool IsSub = TRI->isSubRegister(SuperReg, Reg); 5790b57cec5SDimitry Andric // FIXME: remove this once PR18663 has been properly fixed. For now, 5800b57cec5SDimitry Andric // return a conservative answer: 5810b57cec5SDimitry Andric // assert(IsSub && "Expecting group subregister"); 5820b57cec5SDimitry Andric if (!IsSub) 5830b57cec5SDimitry Andric return false; 5840b57cec5SDimitry Andric } 5850b57cec5SDimitry Andric 5860b57cec5SDimitry Andric #ifndef NDEBUG 5870b57cec5SDimitry Andric // If DebugDiv > 0 then only rename (renamecnt % DebugDiv) == DebugMod 5880b57cec5SDimitry Andric if (DebugDiv > 0) { 5890b57cec5SDimitry Andric static int renamecnt = 0; 5900b57cec5SDimitry Andric if (renamecnt++ % DebugDiv != DebugMod) 5910b57cec5SDimitry Andric return false; 5920b57cec5SDimitry Andric 5930b57cec5SDimitry Andric dbgs() << "*** Performing rename " << printReg(SuperReg, TRI) 5940b57cec5SDimitry Andric << " for debug ***\n"; 5950b57cec5SDimitry Andric } 5960b57cec5SDimitry Andric #endif 5970b57cec5SDimitry Andric 5980b57cec5SDimitry Andric // Check each possible rename register for SuperReg in round-robin 5990b57cec5SDimitry Andric // order. If that register is available, and the corresponding 6000b57cec5SDimitry Andric // registers are available for the other group subregisters, then we 6010b57cec5SDimitry Andric // can use those registers to rename. 6020b57cec5SDimitry Andric 6030b57cec5SDimitry Andric // FIXME: Using getMinimalPhysRegClass is very conservative. We should 6040b57cec5SDimitry Andric // check every use of the register and find the largest register class 6050b57cec5SDimitry Andric // that can be used in all of them. 6060b57cec5SDimitry Andric const TargetRegisterClass *SuperRC = 6070b57cec5SDimitry Andric TRI->getMinimalPhysRegClass(SuperReg, MVT::Other); 6080b57cec5SDimitry Andric 6090b57cec5SDimitry Andric ArrayRef<MCPhysReg> Order = RegClassInfo.getOrder(SuperRC); 6100b57cec5SDimitry Andric if (Order.empty()) { 6110b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tEmpty Super Regclass!!\n"); 6120b57cec5SDimitry Andric return false; 6130b57cec5SDimitry Andric } 6140b57cec5SDimitry Andric 6150b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tFind Registers:"); 6160b57cec5SDimitry Andric 6170b57cec5SDimitry Andric RenameOrder.insert(RenameOrderType::value_type(SuperRC, Order.size())); 6180b57cec5SDimitry Andric 6190b57cec5SDimitry Andric unsigned OrigR = RenameOrder[SuperRC]; 6200b57cec5SDimitry Andric unsigned EndR = ((OrigR == Order.size()) ? 0 : OrigR); 6210b57cec5SDimitry Andric unsigned R = OrigR; 6220b57cec5SDimitry Andric do { 6230b57cec5SDimitry Andric if (R == 0) R = Order.size(); 6240b57cec5SDimitry Andric --R; 6250b57cec5SDimitry Andric const unsigned NewSuperReg = Order[R]; 6260b57cec5SDimitry Andric // Don't consider non-allocatable registers 6270b57cec5SDimitry Andric if (!MRI.isAllocatable(NewSuperReg)) continue; 6280b57cec5SDimitry Andric // Don't replace a register with itself. 6290b57cec5SDimitry Andric if (NewSuperReg == SuperReg) continue; 6300b57cec5SDimitry Andric 6310b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " [" << printReg(NewSuperReg, TRI) << ':'); 6320b57cec5SDimitry Andric RenameMap.clear(); 6330b57cec5SDimitry Andric 6340b57cec5SDimitry Andric // For each referenced group register (which must be a SuperReg or 6350b57cec5SDimitry Andric // a subregister of SuperReg), find the corresponding subregister 6360b57cec5SDimitry Andric // of NewSuperReg and make sure it is free to be renamed. 6370eae32dcSDimitry Andric for (unsigned Reg : Regs) { 6380b57cec5SDimitry Andric unsigned NewReg = 0; 6390b57cec5SDimitry Andric if (Reg == SuperReg) { 6400b57cec5SDimitry Andric NewReg = NewSuperReg; 6410b57cec5SDimitry Andric } else { 6420b57cec5SDimitry Andric unsigned NewSubRegIdx = TRI->getSubRegIndex(SuperReg, Reg); 6430b57cec5SDimitry Andric if (NewSubRegIdx != 0) 6440b57cec5SDimitry Andric NewReg = TRI->getSubReg(NewSuperReg, NewSubRegIdx); 6450b57cec5SDimitry Andric } 6460b57cec5SDimitry Andric 6470b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(NewReg, TRI)); 6480b57cec5SDimitry Andric 6490b57cec5SDimitry Andric // Check if Reg can be renamed to NewReg. 6500b57cec5SDimitry Andric if (!RenameRegisterMap[Reg].test(NewReg)) { 6510b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(no rename)"); 6520b57cec5SDimitry Andric goto next_super_reg; 6530b57cec5SDimitry Andric } 6540b57cec5SDimitry Andric 6550b57cec5SDimitry Andric // If NewReg is dead and NewReg's most recent def is not before 6560b57cec5SDimitry Andric // Regs's kill, it's safe to replace Reg with NewReg. We 6570b57cec5SDimitry Andric // must also check all aliases of NewReg, because we can't define a 6580b57cec5SDimitry Andric // register when any sub or super is already live. 6590b57cec5SDimitry Andric if (State->IsLive(NewReg) || (KillIndices[Reg] > DefIndices[NewReg])) { 6600b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(live)"); 6610b57cec5SDimitry Andric goto next_super_reg; 6620b57cec5SDimitry Andric } else { 6630b57cec5SDimitry Andric bool found = false; 6640b57cec5SDimitry Andric for (MCRegAliasIterator AI(NewReg, TRI, false); AI.isValid(); ++AI) { 6650b57cec5SDimitry Andric unsigned AliasReg = *AI; 6660b57cec5SDimitry Andric if (State->IsLive(AliasReg) || 6670b57cec5SDimitry Andric (KillIndices[Reg] > DefIndices[AliasReg])) { 6680b57cec5SDimitry Andric LLVM_DEBUG(dbgs() 6690b57cec5SDimitry Andric << "(alias " << printReg(AliasReg, TRI) << " live)"); 6700b57cec5SDimitry Andric found = true; 6710b57cec5SDimitry Andric break; 6720b57cec5SDimitry Andric } 6730b57cec5SDimitry Andric } 6740b57cec5SDimitry Andric if (found) 6750b57cec5SDimitry Andric goto next_super_reg; 6760b57cec5SDimitry Andric } 6770b57cec5SDimitry Andric 6780b57cec5SDimitry Andric // We cannot rename 'Reg' to 'NewReg' if one of the uses of 'Reg' also 6790b57cec5SDimitry Andric // defines 'NewReg' via an early-clobber operand. 6800b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(Reg))) { 6810b57cec5SDimitry Andric MachineInstr *UseMI = Q.second.Operand->getParent(); 682*0fca6ea1SDimitry Andric int Idx = UseMI->findRegisterDefOperandIdx(NewReg, TRI, false, true); 6830b57cec5SDimitry Andric if (Idx == -1) 6840b57cec5SDimitry Andric continue; 6850b57cec5SDimitry Andric 6860b57cec5SDimitry Andric if (UseMI->getOperand(Idx).isEarlyClobber()) { 6870b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(ec)"); 6880b57cec5SDimitry Andric goto next_super_reg; 6890b57cec5SDimitry Andric } 6900b57cec5SDimitry Andric } 6910b57cec5SDimitry Andric 6920b57cec5SDimitry Andric // Also, we cannot rename 'Reg' to 'NewReg' if the instruction defining 6930b57cec5SDimitry Andric // 'Reg' is an early-clobber define and that instruction also uses 6940b57cec5SDimitry Andric // 'NewReg'. 6950b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(Reg))) { 6960b57cec5SDimitry Andric if (!Q.second.Operand->isDef() || !Q.second.Operand->isEarlyClobber()) 6970b57cec5SDimitry Andric continue; 6980b57cec5SDimitry Andric 6990b57cec5SDimitry Andric MachineInstr *DefMI = Q.second.Operand->getParent(); 7000b57cec5SDimitry Andric if (DefMI->readsRegister(NewReg, TRI)) { 7010b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(ec)"); 7020b57cec5SDimitry Andric goto next_super_reg; 7030b57cec5SDimitry Andric } 7040b57cec5SDimitry Andric } 7050b57cec5SDimitry Andric 7060b57cec5SDimitry Andric // Record that 'Reg' can be renamed to 'NewReg'. 7070b57cec5SDimitry Andric RenameMap.insert(std::pair<unsigned, unsigned>(Reg, NewReg)); 7080b57cec5SDimitry Andric } 7090b57cec5SDimitry Andric 7100b57cec5SDimitry Andric // If we fall-out here, then every register in the group can be 7110b57cec5SDimitry Andric // renamed, as recorded in RenameMap. 7120b57cec5SDimitry Andric RenameOrder.erase(SuperRC); 7130b57cec5SDimitry Andric RenameOrder.insert(RenameOrderType::value_type(SuperRC, R)); 7140b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "]\n"); 7150b57cec5SDimitry Andric return true; 7160b57cec5SDimitry Andric 7170b57cec5SDimitry Andric next_super_reg: 7180b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ']'); 7190b57cec5SDimitry Andric } while (R != EndR); 7200b57cec5SDimitry Andric 7210b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 7220b57cec5SDimitry Andric 7230b57cec5SDimitry Andric // No registers are free and available! 7240b57cec5SDimitry Andric return false; 7250b57cec5SDimitry Andric } 7260b57cec5SDimitry Andric 7270b57cec5SDimitry Andric /// BreakAntiDependencies - Identifiy anti-dependencies within the 7280b57cec5SDimitry Andric /// ScheduleDAG and break them by renaming registers. 7290b57cec5SDimitry Andric unsigned AggressiveAntiDepBreaker::BreakAntiDependencies( 7300b57cec5SDimitry Andric const std::vector<SUnit> &SUnits, 7310b57cec5SDimitry Andric MachineBasicBlock::iterator Begin, 7320b57cec5SDimitry Andric MachineBasicBlock::iterator End, 7330b57cec5SDimitry Andric unsigned InsertPosIndex, 7340b57cec5SDimitry Andric DbgValueVector &DbgValues) { 7350b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 7360b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 7370b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 7380b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 7390b57cec5SDimitry Andric 7400b57cec5SDimitry Andric // The code below assumes that there is at least one instruction, 7410b57cec5SDimitry Andric // so just duck out immediately if the block is empty. 7420b57cec5SDimitry Andric if (SUnits.empty()) return 0; 7430b57cec5SDimitry Andric 7440b57cec5SDimitry Andric // For each regclass the next register to use for renaming. 7450b57cec5SDimitry Andric RenameOrderType RenameOrder; 7460b57cec5SDimitry Andric 7470b57cec5SDimitry Andric // ...need a map from MI to SUnit. 7480b57cec5SDimitry Andric std::map<MachineInstr *, const SUnit *> MISUnitMap; 7494824e7fdSDimitry Andric for (const SUnit &SU : SUnits) 7504824e7fdSDimitry Andric MISUnitMap.insert(std::make_pair(SU.getInstr(), &SU)); 7510b57cec5SDimitry Andric 7520b57cec5SDimitry Andric // Track progress along the critical path through the SUnit graph as 7530b57cec5SDimitry Andric // we walk the instructions. This is needed for regclasses that only 7540b57cec5SDimitry Andric // break critical-path anti-dependencies. 7550b57cec5SDimitry Andric const SUnit *CriticalPathSU = nullptr; 7560b57cec5SDimitry Andric MachineInstr *CriticalPathMI = nullptr; 7570b57cec5SDimitry Andric if (CriticalPathSet.any()) { 7584824e7fdSDimitry Andric for (const SUnit &SU : SUnits) { 7590b57cec5SDimitry Andric if (!CriticalPathSU || 7604824e7fdSDimitry Andric ((SU.getDepth() + SU.Latency) > 7610b57cec5SDimitry Andric (CriticalPathSU->getDepth() + CriticalPathSU->Latency))) { 7624824e7fdSDimitry Andric CriticalPathSU = &SU; 7630b57cec5SDimitry Andric } 7640b57cec5SDimitry Andric } 7658bcb0991SDimitry Andric assert(CriticalPathSU && "Failed to find SUnit critical path"); 7660b57cec5SDimitry Andric CriticalPathMI = CriticalPathSU->getInstr(); 7670b57cec5SDimitry Andric } 7680b57cec5SDimitry Andric 7690b57cec5SDimitry Andric #ifndef NDEBUG 7700b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\n===== Aggressive anti-dependency breaking\n"); 7710b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Available regs:"); 77206c3fb27SDimitry Andric for (unsigned Reg = 1; Reg < TRI->getNumRegs(); ++Reg) { 7730b57cec5SDimitry Andric if (!State->IsLive(Reg)) 7740b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI)); 7750b57cec5SDimitry Andric } 7760b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 7770b57cec5SDimitry Andric #endif 7780b57cec5SDimitry Andric 7790b57cec5SDimitry Andric BitVector RegAliases(TRI->getNumRegs()); 7800b57cec5SDimitry Andric 7810b57cec5SDimitry Andric // Attempt to break anti-dependence edges. Walk the instructions 7820b57cec5SDimitry Andric // from the bottom up, tracking information about liveness as we go 7830b57cec5SDimitry Andric // to help determine which registers are available. 7840b57cec5SDimitry Andric unsigned Broken = 0; 7850b57cec5SDimitry Andric unsigned Count = InsertPosIndex - 1; 7860b57cec5SDimitry Andric for (MachineBasicBlock::iterator I = End, E = Begin; 7870b57cec5SDimitry Andric I != E; --Count) { 7880b57cec5SDimitry Andric MachineInstr &MI = *--I; 7890b57cec5SDimitry Andric 7900b57cec5SDimitry Andric if (MI.isDebugInstr()) 7910b57cec5SDimitry Andric continue; 7920b57cec5SDimitry Andric 7930b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Anti: "); 7940b57cec5SDimitry Andric LLVM_DEBUG(MI.dump()); 7950b57cec5SDimitry Andric 7960b57cec5SDimitry Andric std::set<unsigned> PassthruRegs; 7970b57cec5SDimitry Andric GetPassthruRegs(MI, PassthruRegs); 7980b57cec5SDimitry Andric 7990b57cec5SDimitry Andric // Process the defs in MI... 8000b57cec5SDimitry Andric PrescanInstruction(MI, Count, PassthruRegs); 8010b57cec5SDimitry Andric 8020b57cec5SDimitry Andric // The dependence edges that represent anti- and output- 8030b57cec5SDimitry Andric // dependencies that are candidates for breaking. 8040b57cec5SDimitry Andric std::vector<const SDep *> Edges; 8050b57cec5SDimitry Andric const SUnit *PathSU = MISUnitMap[&MI]; 8060b57cec5SDimitry Andric AntiDepEdges(PathSU, Edges); 8070b57cec5SDimitry Andric 8080b57cec5SDimitry Andric // If MI is not on the critical path, then we don't rename 8090b57cec5SDimitry Andric // registers in the CriticalPathSet. 8100b57cec5SDimitry Andric BitVector *ExcludeRegs = nullptr; 8110b57cec5SDimitry Andric if (&MI == CriticalPathMI) { 8120b57cec5SDimitry Andric CriticalPathSU = CriticalPathStep(CriticalPathSU); 8130b57cec5SDimitry Andric CriticalPathMI = (CriticalPathSU) ? CriticalPathSU->getInstr() : nullptr; 8140b57cec5SDimitry Andric } else if (CriticalPathSet.any()) { 8150b57cec5SDimitry Andric ExcludeRegs = &CriticalPathSet; 8160b57cec5SDimitry Andric } 8170b57cec5SDimitry Andric 8180b57cec5SDimitry Andric // Ignore KILL instructions (they form a group in ScanInstruction 8190b57cec5SDimitry Andric // but don't cause any anti-dependence breaking themselves) 8200b57cec5SDimitry Andric if (!MI.isKill()) { 8210b57cec5SDimitry Andric // Attempt to break each anti-dependency... 8224824e7fdSDimitry Andric for (const SDep *Edge : Edges) { 8230b57cec5SDimitry Andric SUnit *NextSU = Edge->getSUnit(); 8240b57cec5SDimitry Andric 8250b57cec5SDimitry Andric if ((Edge->getKind() != SDep::Anti) && 8260b57cec5SDimitry Andric (Edge->getKind() != SDep::Output)) continue; 8270b57cec5SDimitry Andric 8280b57cec5SDimitry Andric unsigned AntiDepReg = Edge->getReg(); 8290b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tAntidep reg: " << printReg(AntiDepReg, TRI)); 8300b57cec5SDimitry Andric assert(AntiDepReg != 0 && "Anti-dependence on reg0?"); 8310b57cec5SDimitry Andric 8320b57cec5SDimitry Andric if (!MRI.isAllocatable(AntiDepReg)) { 8330b57cec5SDimitry Andric // Don't break anti-dependencies on non-allocatable registers. 8340b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (non-allocatable)\n"); 8350b57cec5SDimitry Andric continue; 8360b57cec5SDimitry Andric } else if (ExcludeRegs && ExcludeRegs->test(AntiDepReg)) { 8370b57cec5SDimitry Andric // Don't break anti-dependencies for critical path registers 8380b57cec5SDimitry Andric // if not on the critical path 8390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (not critical-path)\n"); 8400b57cec5SDimitry Andric continue; 8410b57cec5SDimitry Andric } else if (PassthruRegs.count(AntiDepReg) != 0) { 8420b57cec5SDimitry Andric // If the anti-dep register liveness "passes-thru", then 8430b57cec5SDimitry Andric // don't try to change it. It will be changed along with 8440b57cec5SDimitry Andric // the use if required to break an earlier antidep. 8450b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (passthru)\n"); 8460b57cec5SDimitry Andric continue; 8470b57cec5SDimitry Andric } else { 8480b57cec5SDimitry Andric // No anti-dep breaking for implicit deps 849*0fca6ea1SDimitry Andric MachineOperand *AntiDepOp = 850*0fca6ea1SDimitry Andric MI.findRegisterDefOperand(AntiDepReg, /*TRI=*/nullptr); 8510b57cec5SDimitry Andric assert(AntiDepOp && "Can't find index for defined register operand"); 8520b57cec5SDimitry Andric if (!AntiDepOp || AntiDepOp->isImplicit()) { 8530b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (implicit)\n"); 8540b57cec5SDimitry Andric continue; 8550b57cec5SDimitry Andric } 8560b57cec5SDimitry Andric 8570b57cec5SDimitry Andric // If the SUnit has other dependencies on the SUnit that 8580b57cec5SDimitry Andric // it anti-depends on, don't bother breaking the 8590b57cec5SDimitry Andric // anti-dependency since those edges would prevent such 8600b57cec5SDimitry Andric // units from being scheduled past each other 8610b57cec5SDimitry Andric // regardless. 8620b57cec5SDimitry Andric // 8630b57cec5SDimitry Andric // Also, if there are dependencies on other SUnits with the 8640b57cec5SDimitry Andric // same register as the anti-dependency, don't attempt to 8650b57cec5SDimitry Andric // break it. 866fe6060f1SDimitry Andric for (const SDep &Pred : PathSU->Preds) { 867fe6060f1SDimitry Andric if (Pred.getSUnit() == NextSU ? (Pred.getKind() != SDep::Anti || 868fe6060f1SDimitry Andric Pred.getReg() != AntiDepReg) 869fe6060f1SDimitry Andric : (Pred.getKind() == SDep::Data && 870fe6060f1SDimitry Andric Pred.getReg() == AntiDepReg)) { 8710b57cec5SDimitry Andric AntiDepReg = 0; 8720b57cec5SDimitry Andric break; 8730b57cec5SDimitry Andric } 8740b57cec5SDimitry Andric } 875fe6060f1SDimitry Andric for (const SDep &Pred : PathSU->Preds) { 876fe6060f1SDimitry Andric if ((Pred.getSUnit() == NextSU) && (Pred.getKind() != SDep::Anti) && 877fe6060f1SDimitry Andric (Pred.getKind() != SDep::Output)) { 8780b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (real dependency)\n"); 8790b57cec5SDimitry Andric AntiDepReg = 0; 8800b57cec5SDimitry Andric break; 881fe6060f1SDimitry Andric } else if ((Pred.getSUnit() != NextSU) && 882fe6060f1SDimitry Andric (Pred.getKind() == SDep::Data) && 883fe6060f1SDimitry Andric (Pred.getReg() == AntiDepReg)) { 8840b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (other dependency)\n"); 8850b57cec5SDimitry Andric AntiDepReg = 0; 8860b57cec5SDimitry Andric break; 8870b57cec5SDimitry Andric } 8880b57cec5SDimitry Andric } 8890b57cec5SDimitry Andric 8905f757f3fSDimitry Andric if (AntiDepReg == 0) 8910b57cec5SDimitry Andric continue; 8920b57cec5SDimitry Andric } 8930b57cec5SDimitry Andric 8940b57cec5SDimitry Andric assert(AntiDepReg != 0); 8950b57cec5SDimitry Andric 8960b57cec5SDimitry Andric // Determine AntiDepReg's register group. 8970b57cec5SDimitry Andric const unsigned GroupIndex = State->GetGroup(AntiDepReg); 8980b57cec5SDimitry Andric if (GroupIndex == 0) { 8990b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (zero group)\n"); 9000b57cec5SDimitry Andric continue; 9010b57cec5SDimitry Andric } 9020b57cec5SDimitry Andric 9030b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 9040b57cec5SDimitry Andric 9050b57cec5SDimitry Andric // Look for a suitable register to use to break the anti-dependence. 9060b57cec5SDimitry Andric std::map<unsigned, unsigned> RenameMap; 9075f757f3fSDimitry Andric if (FindSuitableFreeRegisters(AntiDepReg, GroupIndex, RenameOrder, 9085f757f3fSDimitry Andric RenameMap)) { 9090b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tBreaking anti-dependence edge on " 9100b57cec5SDimitry Andric << printReg(AntiDepReg, TRI) << ":"); 9110b57cec5SDimitry Andric 9120b57cec5SDimitry Andric // Handle each group register... 913fe6060f1SDimitry Andric for (const auto &P : RenameMap) { 914fe6060f1SDimitry Andric unsigned CurrReg = P.first; 915fe6060f1SDimitry Andric unsigned NewReg = P.second; 9160b57cec5SDimitry Andric 9170b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(CurrReg, TRI) << "->" 9180b57cec5SDimitry Andric << printReg(NewReg, TRI) << "(" 9190b57cec5SDimitry Andric << RegRefs.count(CurrReg) << " refs)"); 9200b57cec5SDimitry Andric 9210b57cec5SDimitry Andric // Update the references to the old register CurrReg to 9220b57cec5SDimitry Andric // refer to the new register NewReg. 9230b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(CurrReg))) { 9240b57cec5SDimitry Andric Q.second.Operand->setReg(NewReg); 9250b57cec5SDimitry Andric // If the SU for the instruction being updated has debug 9260b57cec5SDimitry Andric // information related to the anti-dependency register, make 9270b57cec5SDimitry Andric // sure to update that as well. 9280b57cec5SDimitry Andric const SUnit *SU = MISUnitMap[Q.second.Operand->getParent()]; 9290b57cec5SDimitry Andric if (!SU) continue; 9300b57cec5SDimitry Andric UpdateDbgValues(DbgValues, Q.second.Operand->getParent(), 9310b57cec5SDimitry Andric AntiDepReg, NewReg); 9320b57cec5SDimitry Andric } 9330b57cec5SDimitry Andric 9340b57cec5SDimitry Andric // We just went back in time and modified history; the 9350b57cec5SDimitry Andric // liveness information for CurrReg is now inconsistent. Set 9360b57cec5SDimitry Andric // the state as if it were dead. 9370b57cec5SDimitry Andric State->UnionGroups(NewReg, 0); 9380b57cec5SDimitry Andric RegRefs.erase(NewReg); 9390b57cec5SDimitry Andric DefIndices[NewReg] = DefIndices[CurrReg]; 9400b57cec5SDimitry Andric KillIndices[NewReg] = KillIndices[CurrReg]; 9410b57cec5SDimitry Andric 9420b57cec5SDimitry Andric State->UnionGroups(CurrReg, 0); 9430b57cec5SDimitry Andric RegRefs.erase(CurrReg); 9440b57cec5SDimitry Andric DefIndices[CurrReg] = KillIndices[CurrReg]; 9450b57cec5SDimitry Andric KillIndices[CurrReg] = ~0u; 9460b57cec5SDimitry Andric assert(((KillIndices[CurrReg] == ~0u) != 9470b57cec5SDimitry Andric (DefIndices[CurrReg] == ~0u)) && 9480b57cec5SDimitry Andric "Kill and Def maps aren't consistent for AntiDepReg!"); 9490b57cec5SDimitry Andric } 9500b57cec5SDimitry Andric 9510b57cec5SDimitry Andric ++Broken; 9520b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 9530b57cec5SDimitry Andric } 9540b57cec5SDimitry Andric } 9550b57cec5SDimitry Andric } 9560b57cec5SDimitry Andric 9570b57cec5SDimitry Andric ScanInstruction(MI, Count); 9580b57cec5SDimitry Andric } 9590b57cec5SDimitry Andric 9600b57cec5SDimitry Andric return Broken; 9610b57cec5SDimitry Andric } 9625ffd83dbSDimitry Andric 9635ffd83dbSDimitry Andric AntiDepBreaker *llvm::createAggressiveAntiDepBreaker( 9645ffd83dbSDimitry Andric MachineFunction &MFi, const RegisterClassInfo &RCI, 9655ffd83dbSDimitry Andric TargetSubtargetInfo::RegClassVector &CriticalPathRCs) { 9665ffd83dbSDimitry Andric return new AggressiveAntiDepBreaker(MFi, RCI, CriticalPathRCs); 9675ffd83dbSDimitry Andric } 968