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" 300b57cec5SDimitry Andric #include "llvm/MC/MCInstrDesc.h" 310b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h" 320b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 330b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 340b57cec5SDimitry Andric #include "llvm/Support/MachineValueType.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) 1230b57cec5SDimitry Andric : AntiDepBreaker(), MF(MFi), MRI(MF.getRegInfo()), 1240b57cec5SDimitry Andric TII(MF.getSubtarget().getInstrInfo()), 1250b57cec5SDimitry Andric TRI(MF.getSubtarget().getRegisterInfo()), RegClassInfo(RCI) { 1260b57cec5SDimitry Andric /* Collect a bitset of all registers that are only broken if they 1270b57cec5SDimitry Andric are on the critical path. */ 1280b57cec5SDimitry Andric for (unsigned i = 0, e = CriticalPathRCs.size(); i < e; ++i) { 1290b57cec5SDimitry Andric BitVector CPSet = TRI->getAllocatableSet(MF, CriticalPathRCs[i]); 1300b57cec5SDimitry Andric if (CriticalPathSet.none()) 1310b57cec5SDimitry Andric CriticalPathSet = CPSet; 1320b57cec5SDimitry Andric else 1330b57cec5SDimitry Andric CriticalPathSet |= CPSet; 1340b57cec5SDimitry Andric } 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "AntiDep Critical-Path Registers:"); 1370b57cec5SDimitry Andric LLVM_DEBUG(for (unsigned r 1380b57cec5SDimitry Andric : CriticalPathSet.set_bits()) dbgs() 1390b57cec5SDimitry Andric << " " << printReg(r, TRI)); 1400b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 1410b57cec5SDimitry Andric } 1420b57cec5SDimitry Andric 1430b57cec5SDimitry Andric AggressiveAntiDepBreaker::~AggressiveAntiDepBreaker() { 1440b57cec5SDimitry Andric delete State; 1450b57cec5SDimitry Andric } 1460b57cec5SDimitry Andric 1470b57cec5SDimitry Andric void AggressiveAntiDepBreaker::StartBlock(MachineBasicBlock *BB) { 1480b57cec5SDimitry Andric assert(!State); 1490b57cec5SDimitry Andric State = new AggressiveAntiDepState(TRI->getNumRegs(), BB); 1500b57cec5SDimitry Andric 1510b57cec5SDimitry Andric bool IsReturnBlock = BB->isReturnBlock(); 1520b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 1530b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 1540b57cec5SDimitry Andric 1550b57cec5SDimitry Andric // Examine the live-in regs of all successors. 156fe6060f1SDimitry Andric for (MachineBasicBlock *Succ : BB->successors()) 157fe6060f1SDimitry Andric for (const auto &LI : Succ->liveins()) { 1580b57cec5SDimitry Andric for (MCRegAliasIterator AI(LI.PhysReg, TRI, true); AI.isValid(); ++AI) { 1590b57cec5SDimitry Andric unsigned Reg = *AI; 1600b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 1610b57cec5SDimitry Andric KillIndices[Reg] = BB->size(); 1620b57cec5SDimitry Andric DefIndices[Reg] = ~0u; 1630b57cec5SDimitry Andric } 1640b57cec5SDimitry Andric } 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric // Mark live-out callee-saved registers. In a return block this is 1670b57cec5SDimitry Andric // all callee-saved registers. In non-return this is any 1680b57cec5SDimitry Andric // callee-saved register that is not saved in the prolog. 1690b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo(); 1700b57cec5SDimitry Andric BitVector Pristine = MFI.getPristineRegs(MF); 1710b57cec5SDimitry Andric for (const MCPhysReg *I = MF.getRegInfo().getCalleeSavedRegs(); *I; 1720b57cec5SDimitry Andric ++I) { 1730b57cec5SDimitry Andric unsigned Reg = *I; 1740b57cec5SDimitry Andric if (!IsReturnBlock && !Pristine.test(Reg)) 1750b57cec5SDimitry Andric continue; 1760b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) { 1770b57cec5SDimitry Andric unsigned AliasReg = *AI; 1780b57cec5SDimitry Andric State->UnionGroups(AliasReg, 0); 1790b57cec5SDimitry Andric KillIndices[AliasReg] = BB->size(); 1800b57cec5SDimitry Andric DefIndices[AliasReg] = ~0u; 1810b57cec5SDimitry Andric } 1820b57cec5SDimitry Andric } 1830b57cec5SDimitry Andric } 1840b57cec5SDimitry Andric 1850b57cec5SDimitry Andric void AggressiveAntiDepBreaker::FinishBlock() { 1860b57cec5SDimitry Andric delete State; 1870b57cec5SDimitry Andric State = nullptr; 1880b57cec5SDimitry Andric } 1890b57cec5SDimitry Andric 1900b57cec5SDimitry Andric void AggressiveAntiDepBreaker::Observe(MachineInstr &MI, unsigned Count, 1910b57cec5SDimitry Andric unsigned InsertPosIndex) { 1920b57cec5SDimitry Andric assert(Count < InsertPosIndex && "Instruction index out of expected range!"); 1930b57cec5SDimitry Andric 1940b57cec5SDimitry Andric std::set<unsigned> PassthruRegs; 1950b57cec5SDimitry Andric GetPassthruRegs(MI, PassthruRegs); 1960b57cec5SDimitry Andric PrescanInstruction(MI, Count, PassthruRegs); 1970b57cec5SDimitry Andric ScanInstruction(MI, Count); 1980b57cec5SDimitry Andric 1990b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Observe: "); 2000b57cec5SDimitry Andric LLVM_DEBUG(MI.dump()); 2010b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tRegs:"); 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 2040b57cec5SDimitry Andric for (unsigned Reg = 0; Reg != TRI->getNumRegs(); ++Reg) { 2050b57cec5SDimitry Andric // If Reg is current live, then mark that it can't be renamed as 2060b57cec5SDimitry Andric // we don't know the extent of its live-range anymore (now that it 2070b57cec5SDimitry Andric // has been scheduled). If it is not live but was defined in the 2080b57cec5SDimitry Andric // previous schedule region, then set its def index to the most 2090b57cec5SDimitry Andric // conservative location (i.e. the beginning of the previous 2100b57cec5SDimitry Andric // schedule region). 2110b57cec5SDimitry Andric if (State->IsLive(Reg)) { 2120b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() 2130b57cec5SDimitry Andric << " " << printReg(Reg, TRI) << "=g" << State->GetGroup(Reg) 2140b57cec5SDimitry Andric << "->g0(region live-out)"); 2150b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 2160b57cec5SDimitry Andric } else if ((DefIndices[Reg] < InsertPosIndex) 2170b57cec5SDimitry Andric && (DefIndices[Reg] >= Count)) { 2180b57cec5SDimitry Andric DefIndices[Reg] = Count; 2190b57cec5SDimitry Andric } 2200b57cec5SDimitry Andric } 2210b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 2220b57cec5SDimitry Andric } 2230b57cec5SDimitry Andric 2240b57cec5SDimitry Andric bool AggressiveAntiDepBreaker::IsImplicitDefUse(MachineInstr &MI, 2250b57cec5SDimitry Andric MachineOperand &MO) { 2260b57cec5SDimitry Andric if (!MO.isReg() || !MO.isImplicit()) 2270b57cec5SDimitry Andric return false; 2280b57cec5SDimitry Andric 2298bcb0991SDimitry Andric Register Reg = MO.getReg(); 2300b57cec5SDimitry Andric if (Reg == 0) 2310b57cec5SDimitry Andric return false; 2320b57cec5SDimitry Andric 2330b57cec5SDimitry Andric MachineOperand *Op = nullptr; 2340b57cec5SDimitry Andric if (MO.isDef()) 2350b57cec5SDimitry Andric Op = MI.findRegisterUseOperand(Reg, true); 2360b57cec5SDimitry Andric else 2370b57cec5SDimitry Andric Op = MI.findRegisterDefOperand(Reg); 2380b57cec5SDimitry Andric 2390b57cec5SDimitry Andric return(Op && Op->isImplicit()); 2400b57cec5SDimitry Andric } 2410b57cec5SDimitry Andric 2420b57cec5SDimitry Andric void AggressiveAntiDepBreaker::GetPassthruRegs( 2430b57cec5SDimitry Andric MachineInstr &MI, std::set<unsigned> &PassthruRegs) { 2440b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 2450b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 2460b57cec5SDimitry Andric if (!MO.isReg()) continue; 2470b57cec5SDimitry Andric if ((MO.isDef() && MI.isRegTiedToUseOperand(i)) || 2480b57cec5SDimitry Andric IsImplicitDefUse(MI, MO)) { 2498bcb0991SDimitry Andric const Register Reg = MO.getReg(); 2500b57cec5SDimitry Andric for (MCSubRegIterator SubRegs(Reg, TRI, /*IncludeSelf=*/true); 2510b57cec5SDimitry Andric SubRegs.isValid(); ++SubRegs) 2520b57cec5SDimitry Andric PassthruRegs.insert(*SubRegs); 2530b57cec5SDimitry Andric } 2540b57cec5SDimitry Andric } 2550b57cec5SDimitry Andric } 2560b57cec5SDimitry Andric 2570b57cec5SDimitry Andric /// AntiDepEdges - Return in Edges the anti- and output- dependencies 2580b57cec5SDimitry Andric /// in SU that we want to consider for breaking. 2590b57cec5SDimitry Andric static void AntiDepEdges(const SUnit *SU, std::vector<const SDep *> &Edges) { 2600b57cec5SDimitry Andric SmallSet<unsigned, 4> RegSet; 261fe6060f1SDimitry Andric for (const SDep &Pred : SU->Preds) { 262fe6060f1SDimitry Andric if ((Pred.getKind() == SDep::Anti) || (Pred.getKind() == SDep::Output)) { 263fe6060f1SDimitry Andric if (RegSet.insert(Pred.getReg()).second) 264fe6060f1SDimitry Andric Edges.push_back(&Pred); 2650b57cec5SDimitry Andric } 2660b57cec5SDimitry Andric } 2670b57cec5SDimitry Andric } 2680b57cec5SDimitry Andric 2690b57cec5SDimitry Andric /// CriticalPathStep - Return the next SUnit after SU on the bottom-up 2700b57cec5SDimitry Andric /// critical path. 2710b57cec5SDimitry Andric static const SUnit *CriticalPathStep(const SUnit *SU) { 2720b57cec5SDimitry Andric const SDep *Next = nullptr; 2730b57cec5SDimitry Andric unsigned NextDepth = 0; 2740b57cec5SDimitry Andric // Find the predecessor edge with the greatest depth. 2750b57cec5SDimitry Andric if (SU) { 276fe6060f1SDimitry Andric for (const SDep &Pred : SU->Preds) { 277fe6060f1SDimitry Andric const SUnit *PredSU = Pred.getSUnit(); 278fe6060f1SDimitry Andric unsigned PredLatency = Pred.getLatency(); 2790b57cec5SDimitry Andric unsigned PredTotalLatency = PredSU->getDepth() + PredLatency; 2800b57cec5SDimitry Andric // In the case of a latency tie, prefer an anti-dependency edge over 2810b57cec5SDimitry Andric // other types of edges. 2820b57cec5SDimitry Andric if (NextDepth < PredTotalLatency || 283fe6060f1SDimitry Andric (NextDepth == PredTotalLatency && Pred.getKind() == SDep::Anti)) { 2840b57cec5SDimitry Andric NextDepth = PredTotalLatency; 285fe6060f1SDimitry Andric Next = &Pred; 2860b57cec5SDimitry Andric } 2870b57cec5SDimitry Andric } 2880b57cec5SDimitry Andric } 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric return (Next) ? Next->getSUnit() : nullptr; 2910b57cec5SDimitry Andric } 2920b57cec5SDimitry Andric 2930b57cec5SDimitry Andric void AggressiveAntiDepBreaker::HandleLastUse(unsigned Reg, unsigned KillIdx, 2940b57cec5SDimitry Andric const char *tag, 2950b57cec5SDimitry Andric const char *header, 2960b57cec5SDimitry Andric const char *footer) { 2970b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 2980b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 2990b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 3000b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 3010b57cec5SDimitry Andric 3020b57cec5SDimitry Andric // FIXME: We must leave subregisters of live super registers as live, so that 3030b57cec5SDimitry Andric // we don't clear out the register tracking information for subregisters of 3040b57cec5SDimitry Andric // super registers we're still tracking (and with which we're unioning 3050b57cec5SDimitry Andric // subregister definitions). 3060b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) 3070b57cec5SDimitry Andric if (TRI->isSuperRegister(Reg, *AI) && State->IsLive(*AI)) { 3080b57cec5SDimitry Andric LLVM_DEBUG(if (!header && footer) dbgs() << footer); 3090b57cec5SDimitry Andric return; 3100b57cec5SDimitry Andric } 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric if (!State->IsLive(Reg)) { 3130b57cec5SDimitry Andric KillIndices[Reg] = KillIdx; 3140b57cec5SDimitry Andric DefIndices[Reg] = ~0u; 3150b57cec5SDimitry Andric RegRefs.erase(Reg); 3160b57cec5SDimitry Andric State->LeaveGroup(Reg); 3170b57cec5SDimitry Andric LLVM_DEBUG(if (header) { 3180b57cec5SDimitry Andric dbgs() << header << printReg(Reg, TRI); 3190b57cec5SDimitry Andric header = nullptr; 3200b57cec5SDimitry Andric }); 3210b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(Reg) << tag); 3220b57cec5SDimitry Andric // Repeat for subregisters. Note that we only do this if the superregister 3230b57cec5SDimitry Andric // was not live because otherwise, regardless whether we have an explicit 3240b57cec5SDimitry Andric // use of the subregister, the subregister's contents are needed for the 3250b57cec5SDimitry Andric // uses of the superregister. 3260b57cec5SDimitry Andric for (MCSubRegIterator SubRegs(Reg, TRI); SubRegs.isValid(); ++SubRegs) { 3270b57cec5SDimitry Andric unsigned SubregReg = *SubRegs; 3280b57cec5SDimitry Andric if (!State->IsLive(SubregReg)) { 3290b57cec5SDimitry Andric KillIndices[SubregReg] = KillIdx; 3300b57cec5SDimitry Andric DefIndices[SubregReg] = ~0u; 3310b57cec5SDimitry Andric RegRefs.erase(SubregReg); 3320b57cec5SDimitry Andric State->LeaveGroup(SubregReg); 3330b57cec5SDimitry Andric LLVM_DEBUG(if (header) { 3340b57cec5SDimitry Andric dbgs() << header << printReg(Reg, TRI); 3350b57cec5SDimitry Andric header = nullptr; 3360b57cec5SDimitry Andric }); 3370b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(SubregReg, TRI) << "->g" 3380b57cec5SDimitry Andric << State->GetGroup(SubregReg) << tag); 3390b57cec5SDimitry Andric } 3400b57cec5SDimitry Andric } 3410b57cec5SDimitry Andric } 3420b57cec5SDimitry Andric 3430b57cec5SDimitry Andric LLVM_DEBUG(if (!header && footer) dbgs() << footer); 3440b57cec5SDimitry Andric } 3450b57cec5SDimitry Andric 3460b57cec5SDimitry Andric void AggressiveAntiDepBreaker::PrescanInstruction( 3470b57cec5SDimitry Andric MachineInstr &MI, unsigned Count, std::set<unsigned> &PassthruRegs) { 3480b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 3490b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 3500b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 3510b57cec5SDimitry Andric 3520b57cec5SDimitry Andric // Handle dead defs by simulating a last-use of the register just 3530b57cec5SDimitry Andric // after the def. A dead def can occur because the def is truly 3540b57cec5SDimitry Andric // dead, or because only a subregister is live at the def. If we 3550b57cec5SDimitry Andric // don't do this the dead def will be incorrectly merged into the 3560b57cec5SDimitry Andric // previous def. 357*4824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 3580b57cec5SDimitry Andric if (!MO.isReg() || !MO.isDef()) continue; 3598bcb0991SDimitry Andric Register Reg = MO.getReg(); 3600b57cec5SDimitry Andric if (Reg == 0) continue; 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric HandleLastUse(Reg, Count + 1, "", "\tDead Def: ", "\n"); 3630b57cec5SDimitry Andric } 3640b57cec5SDimitry Andric 3650b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tDef Groups:"); 3660b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 3670b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 3680b57cec5SDimitry Andric if (!MO.isReg() || !MO.isDef()) continue; 3698bcb0991SDimitry Andric Register Reg = MO.getReg(); 3700b57cec5SDimitry Andric if (Reg == 0) continue; 3710b57cec5SDimitry Andric 3720b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI) << "=g" 3730b57cec5SDimitry Andric << State->GetGroup(Reg)); 3740b57cec5SDimitry Andric 3750b57cec5SDimitry Andric // If MI's defs have a special allocation requirement, don't allow 3760b57cec5SDimitry Andric // any def registers to be changed. Also assume all registers 3770b57cec5SDimitry Andric // defined in a call must not be changed (ABI). Inline assembly may 3780b57cec5SDimitry Andric // reference either system calls or the register directly. Skip it until we 3790b57cec5SDimitry Andric // can tell user specified registers from compiler-specified. 3800b57cec5SDimitry Andric if (MI.isCall() || MI.hasExtraDefRegAllocReq() || TII->isPredicated(MI) || 3810b57cec5SDimitry Andric MI.isInlineAsm()) { 3820b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() << "->g0(alloc-req)"); 3830b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 3840b57cec5SDimitry Andric } 3850b57cec5SDimitry Andric 3860b57cec5SDimitry Andric // Any aliased that are live at this point are completely or 3870b57cec5SDimitry Andric // partially defined here, so group those aliases with Reg. 3880b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, false); AI.isValid(); ++AI) { 3890b57cec5SDimitry Andric unsigned AliasReg = *AI; 3900b57cec5SDimitry Andric if (State->IsLive(AliasReg)) { 3910b57cec5SDimitry Andric State->UnionGroups(Reg, AliasReg); 3920b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(Reg) << "(via " 3930b57cec5SDimitry Andric << printReg(AliasReg, TRI) << ")"); 3940b57cec5SDimitry Andric } 3950b57cec5SDimitry Andric } 3960b57cec5SDimitry Andric 3970b57cec5SDimitry Andric // Note register reference... 3980b57cec5SDimitry Andric const TargetRegisterClass *RC = nullptr; 3990b57cec5SDimitry Andric if (i < MI.getDesc().getNumOperands()) 4000b57cec5SDimitry Andric RC = TII->getRegClass(MI.getDesc(), i, TRI, MF); 4010b57cec5SDimitry Andric AggressiveAntiDepState::RegisterReference RR = { &MO, RC }; 4020b57cec5SDimitry Andric RegRefs.insert(std::make_pair(Reg, RR)); 4030b57cec5SDimitry Andric } 4040b57cec5SDimitry Andric 4050b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 4060b57cec5SDimitry Andric 4070b57cec5SDimitry Andric // Scan the register defs for this instruction and update 4080b57cec5SDimitry Andric // live-ranges. 409*4824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 4100b57cec5SDimitry Andric if (!MO.isReg() || !MO.isDef()) continue; 4118bcb0991SDimitry Andric Register Reg = MO.getReg(); 4120b57cec5SDimitry Andric if (Reg == 0) continue; 4130b57cec5SDimitry Andric // Ignore KILLs and passthru registers for liveness... 4140b57cec5SDimitry Andric if (MI.isKill() || (PassthruRegs.count(Reg) != 0)) 4150b57cec5SDimitry Andric continue; 4160b57cec5SDimitry Andric 4170b57cec5SDimitry Andric // Update def for Reg and aliases. 4180b57cec5SDimitry Andric for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI) { 4190b57cec5SDimitry Andric // We need to be careful here not to define already-live super registers. 4200b57cec5SDimitry Andric // If the super register is already live, then this definition is not 4210b57cec5SDimitry Andric // a definition of the whole super register (just a partial insertion 4220b57cec5SDimitry Andric // into it). Earlier subregister definitions (which we've not yet visited 4230b57cec5SDimitry Andric // because we're iterating bottom-up) need to be linked to the same group 4240b57cec5SDimitry Andric // as this definition. 4250b57cec5SDimitry Andric if (TRI->isSuperRegister(Reg, *AI) && State->IsLive(*AI)) 4260b57cec5SDimitry Andric continue; 4270b57cec5SDimitry Andric 4280b57cec5SDimitry Andric DefIndices[*AI] = Count; 4290b57cec5SDimitry Andric } 4300b57cec5SDimitry Andric } 4310b57cec5SDimitry Andric } 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andric void AggressiveAntiDepBreaker::ScanInstruction(MachineInstr &MI, 4340b57cec5SDimitry Andric unsigned Count) { 4350b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tUse Groups:"); 4360b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 4370b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 4380b57cec5SDimitry Andric 4390b57cec5SDimitry Andric // If MI's uses have special allocation requirement, don't allow 4400b57cec5SDimitry Andric // any use registers to be changed. Also assume all registers 4410b57cec5SDimitry Andric // used in a call must not be changed (ABI). 4420b57cec5SDimitry Andric // Inline Assembly register uses also cannot be safely changed. 4430b57cec5SDimitry Andric // FIXME: The issue with predicated instruction is more complex. We are being 4440b57cec5SDimitry Andric // conservatively here because the kill markers cannot be trusted after 4450b57cec5SDimitry Andric // if-conversion: 4460b57cec5SDimitry Andric // %r6 = LDR %sp, %reg0, 92, 14, %reg0; mem:LD4[FixedStack14] 4470b57cec5SDimitry Andric // ... 4480b57cec5SDimitry Andric // STR %r0, killed %r6, %reg0, 0, 0, %cpsr; mem:ST4[%395] 4490b57cec5SDimitry Andric // %r6 = LDR %sp, %reg0, 100, 0, %cpsr; mem:LD4[FixedStack12] 4500b57cec5SDimitry Andric // STR %r0, killed %r6, %reg0, 0, 14, %reg0; mem:ST4[%396](align=8) 4510b57cec5SDimitry Andric // 4520b57cec5SDimitry Andric // The first R6 kill is not really a kill since it's killed by a predicated 4530b57cec5SDimitry Andric // instruction which may not be executed. The second R6 def may or may not 4540b57cec5SDimitry Andric // re-define R6 so it's not safe to change it since the last R6 use cannot be 4550b57cec5SDimitry Andric // changed. 4560b57cec5SDimitry Andric bool Special = MI.isCall() || MI.hasExtraSrcRegAllocReq() || 4570b57cec5SDimitry Andric TII->isPredicated(MI) || MI.isInlineAsm(); 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric // Scan the register uses for this instruction and update 4600b57cec5SDimitry Andric // live-ranges, groups and RegRefs. 4610b57cec5SDimitry Andric for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { 4620b57cec5SDimitry Andric MachineOperand &MO = MI.getOperand(i); 4630b57cec5SDimitry Andric if (!MO.isReg() || !MO.isUse()) continue; 4648bcb0991SDimitry Andric Register Reg = MO.getReg(); 4650b57cec5SDimitry Andric if (Reg == 0) continue; 4660b57cec5SDimitry Andric 4670b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI) << "=g" 4680b57cec5SDimitry Andric << State->GetGroup(Reg)); 4690b57cec5SDimitry Andric 4700b57cec5SDimitry Andric // It wasn't previously live but now it is, this is a kill. Forget 4710b57cec5SDimitry Andric // the previous live-range information and start a new live-range 4720b57cec5SDimitry Andric // for the register. 4730b57cec5SDimitry Andric HandleLastUse(Reg, Count, "(last-use)"); 4740b57cec5SDimitry Andric 4750b57cec5SDimitry Andric if (Special) { 4760b57cec5SDimitry Andric LLVM_DEBUG(if (State->GetGroup(Reg) != 0) dbgs() << "->g0(alloc-req)"); 4770b57cec5SDimitry Andric State->UnionGroups(Reg, 0); 4780b57cec5SDimitry Andric } 4790b57cec5SDimitry Andric 4800b57cec5SDimitry Andric // Note register reference... 4810b57cec5SDimitry Andric const TargetRegisterClass *RC = nullptr; 4820b57cec5SDimitry Andric if (i < MI.getDesc().getNumOperands()) 4830b57cec5SDimitry Andric RC = TII->getRegClass(MI.getDesc(), i, TRI, MF); 4840b57cec5SDimitry Andric AggressiveAntiDepState::RegisterReference RR = { &MO, RC }; 4850b57cec5SDimitry Andric RegRefs.insert(std::make_pair(Reg, RR)); 4860b57cec5SDimitry Andric } 4870b57cec5SDimitry Andric 4880b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 4890b57cec5SDimitry Andric 4900b57cec5SDimitry Andric // Form a group of all defs and uses of a KILL instruction to ensure 4910b57cec5SDimitry Andric // that all registers are renamed as a group. 4920b57cec5SDimitry Andric if (MI.isKill()) { 4930b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tKill Group:"); 4940b57cec5SDimitry Andric 4950b57cec5SDimitry Andric unsigned FirstReg = 0; 496*4824e7fdSDimitry Andric for (const MachineOperand &MO : MI.operands()) { 4970b57cec5SDimitry Andric if (!MO.isReg()) continue; 4988bcb0991SDimitry Andric Register Reg = MO.getReg(); 4990b57cec5SDimitry Andric if (Reg == 0) continue; 5000b57cec5SDimitry Andric 5010b57cec5SDimitry Andric if (FirstReg != 0) { 5020b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "=" << printReg(Reg, TRI)); 5030b57cec5SDimitry Andric State->UnionGroups(FirstReg, Reg); 5040b57cec5SDimitry Andric } else { 5050b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI)); 5060b57cec5SDimitry Andric FirstReg = Reg; 5070b57cec5SDimitry Andric } 5080b57cec5SDimitry Andric } 5090b57cec5SDimitry Andric 5100b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "->g" << State->GetGroup(FirstReg) << '\n'); 5110b57cec5SDimitry Andric } 5120b57cec5SDimitry Andric } 5130b57cec5SDimitry Andric 5140b57cec5SDimitry Andric BitVector AggressiveAntiDepBreaker::GetRenameRegisters(unsigned Reg) { 5150b57cec5SDimitry Andric BitVector BV(TRI->getNumRegs(), false); 5160b57cec5SDimitry Andric bool first = true; 5170b57cec5SDimitry Andric 5180b57cec5SDimitry Andric // Check all references that need rewriting for Reg. For each, use 5190b57cec5SDimitry Andric // the corresponding register class to narrow the set of registers 5200b57cec5SDimitry Andric // that are appropriate for renaming. 5210b57cec5SDimitry Andric for (const auto &Q : make_range(State->GetRegRefs().equal_range(Reg))) { 5220b57cec5SDimitry Andric const TargetRegisterClass *RC = Q.second.RC; 5230b57cec5SDimitry Andric if (!RC) continue; 5240b57cec5SDimitry Andric 5250b57cec5SDimitry Andric BitVector RCBV = TRI->getAllocatableSet(MF, RC); 5260b57cec5SDimitry Andric if (first) { 5270b57cec5SDimitry Andric BV |= RCBV; 5280b57cec5SDimitry Andric first = false; 5290b57cec5SDimitry Andric } else { 5300b57cec5SDimitry Andric BV &= RCBV; 5310b57cec5SDimitry Andric } 5320b57cec5SDimitry Andric 5330b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << TRI->getRegClassName(RC)); 5340b57cec5SDimitry Andric } 5350b57cec5SDimitry Andric 5360b57cec5SDimitry Andric return BV; 5370b57cec5SDimitry Andric } 5380b57cec5SDimitry Andric 5390b57cec5SDimitry Andric bool AggressiveAntiDepBreaker::FindSuitableFreeRegisters( 5400b57cec5SDimitry Andric unsigned AntiDepGroupIndex, 5410b57cec5SDimitry Andric RenameOrderType& RenameOrder, 5420b57cec5SDimitry Andric std::map<unsigned, unsigned> &RenameMap) { 5430b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 5440b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 5450b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 5460b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 5470b57cec5SDimitry Andric 5480b57cec5SDimitry Andric // Collect all referenced registers in the same group as 5490b57cec5SDimitry Andric // AntiDepReg. These all need to be renamed together if we are to 5500b57cec5SDimitry Andric // break the anti-dependence. 5510b57cec5SDimitry Andric std::vector<unsigned> Regs; 5520b57cec5SDimitry Andric State->GetGroupRegs(AntiDepGroupIndex, Regs, &RegRefs); 5530b57cec5SDimitry Andric assert(!Regs.empty() && "Empty register group!"); 5540b57cec5SDimitry Andric if (Regs.empty()) 5550b57cec5SDimitry Andric return false; 5560b57cec5SDimitry Andric 5570b57cec5SDimitry Andric // Find the "superest" register in the group. At the same time, 5580b57cec5SDimitry Andric // collect the BitVector of registers that can be used to rename 5590b57cec5SDimitry Andric // each register. 5600b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tRename Candidates for Group g" << AntiDepGroupIndex 5610b57cec5SDimitry Andric << ":\n"); 5620b57cec5SDimitry Andric std::map<unsigned, BitVector> RenameRegisterMap; 5630b57cec5SDimitry Andric unsigned SuperReg = 0; 5640b57cec5SDimitry Andric for (unsigned i = 0, e = Regs.size(); i != e; ++i) { 5650b57cec5SDimitry Andric unsigned Reg = Regs[i]; 5660b57cec5SDimitry Andric if ((SuperReg == 0) || TRI->isSuperRegister(SuperReg, Reg)) 5670b57cec5SDimitry Andric SuperReg = Reg; 5680b57cec5SDimitry Andric 5690b57cec5SDimitry Andric // If Reg has any references, then collect possible rename regs 5700b57cec5SDimitry Andric if (RegRefs.count(Reg) > 0) { 5710b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\t\t" << printReg(Reg, TRI) << ":"); 5720b57cec5SDimitry Andric 5730b57cec5SDimitry Andric BitVector &BV = RenameRegisterMap[Reg]; 5740b57cec5SDimitry Andric assert(BV.empty()); 5750b57cec5SDimitry Andric BV = GetRenameRegisters(Reg); 5760b57cec5SDimitry Andric 5770b57cec5SDimitry Andric LLVM_DEBUG({ 5780b57cec5SDimitry Andric dbgs() << " ::"; 5790b57cec5SDimitry Andric for (unsigned r : BV.set_bits()) 5800b57cec5SDimitry Andric dbgs() << " " << printReg(r, TRI); 5810b57cec5SDimitry Andric dbgs() << "\n"; 5820b57cec5SDimitry Andric }); 5830b57cec5SDimitry Andric } 5840b57cec5SDimitry Andric } 5850b57cec5SDimitry Andric 5860b57cec5SDimitry Andric // All group registers should be a subreg of SuperReg. 5870b57cec5SDimitry Andric for (unsigned i = 0, e = Regs.size(); i != e; ++i) { 5880b57cec5SDimitry Andric unsigned Reg = Regs[i]; 5890b57cec5SDimitry Andric if (Reg == SuperReg) continue; 5900b57cec5SDimitry Andric bool IsSub = TRI->isSubRegister(SuperReg, Reg); 5910b57cec5SDimitry Andric // FIXME: remove this once PR18663 has been properly fixed. For now, 5920b57cec5SDimitry Andric // return a conservative answer: 5930b57cec5SDimitry Andric // assert(IsSub && "Expecting group subregister"); 5940b57cec5SDimitry Andric if (!IsSub) 5950b57cec5SDimitry Andric return false; 5960b57cec5SDimitry Andric } 5970b57cec5SDimitry Andric 5980b57cec5SDimitry Andric #ifndef NDEBUG 5990b57cec5SDimitry Andric // If DebugDiv > 0 then only rename (renamecnt % DebugDiv) == DebugMod 6000b57cec5SDimitry Andric if (DebugDiv > 0) { 6010b57cec5SDimitry Andric static int renamecnt = 0; 6020b57cec5SDimitry Andric if (renamecnt++ % DebugDiv != DebugMod) 6030b57cec5SDimitry Andric return false; 6040b57cec5SDimitry Andric 6050b57cec5SDimitry Andric dbgs() << "*** Performing rename " << printReg(SuperReg, TRI) 6060b57cec5SDimitry Andric << " for debug ***\n"; 6070b57cec5SDimitry Andric } 6080b57cec5SDimitry Andric #endif 6090b57cec5SDimitry Andric 6100b57cec5SDimitry Andric // Check each possible rename register for SuperReg in round-robin 6110b57cec5SDimitry Andric // order. If that register is available, and the corresponding 6120b57cec5SDimitry Andric // registers are available for the other group subregisters, then we 6130b57cec5SDimitry Andric // can use those registers to rename. 6140b57cec5SDimitry Andric 6150b57cec5SDimitry Andric // FIXME: Using getMinimalPhysRegClass is very conservative. We should 6160b57cec5SDimitry Andric // check every use of the register and find the largest register class 6170b57cec5SDimitry Andric // that can be used in all of them. 6180b57cec5SDimitry Andric const TargetRegisterClass *SuperRC = 6190b57cec5SDimitry Andric TRI->getMinimalPhysRegClass(SuperReg, MVT::Other); 6200b57cec5SDimitry Andric 6210b57cec5SDimitry Andric ArrayRef<MCPhysReg> Order = RegClassInfo.getOrder(SuperRC); 6220b57cec5SDimitry Andric if (Order.empty()) { 6230b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tEmpty Super Regclass!!\n"); 6240b57cec5SDimitry Andric return false; 6250b57cec5SDimitry Andric } 6260b57cec5SDimitry Andric 6270b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tFind Registers:"); 6280b57cec5SDimitry Andric 6290b57cec5SDimitry Andric RenameOrder.insert(RenameOrderType::value_type(SuperRC, Order.size())); 6300b57cec5SDimitry Andric 6310b57cec5SDimitry Andric unsigned OrigR = RenameOrder[SuperRC]; 6320b57cec5SDimitry Andric unsigned EndR = ((OrigR == Order.size()) ? 0 : OrigR); 6330b57cec5SDimitry Andric unsigned R = OrigR; 6340b57cec5SDimitry Andric do { 6350b57cec5SDimitry Andric if (R == 0) R = Order.size(); 6360b57cec5SDimitry Andric --R; 6370b57cec5SDimitry Andric const unsigned NewSuperReg = Order[R]; 6380b57cec5SDimitry Andric // Don't consider non-allocatable registers 6390b57cec5SDimitry Andric if (!MRI.isAllocatable(NewSuperReg)) continue; 6400b57cec5SDimitry Andric // Don't replace a register with itself. 6410b57cec5SDimitry Andric if (NewSuperReg == SuperReg) continue; 6420b57cec5SDimitry Andric 6430b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " [" << printReg(NewSuperReg, TRI) << ':'); 6440b57cec5SDimitry Andric RenameMap.clear(); 6450b57cec5SDimitry Andric 6460b57cec5SDimitry Andric // For each referenced group register (which must be a SuperReg or 6470b57cec5SDimitry Andric // a subregister of SuperReg), find the corresponding subregister 6480b57cec5SDimitry Andric // of NewSuperReg and make sure it is free to be renamed. 6490b57cec5SDimitry Andric for (unsigned i = 0, e = Regs.size(); i != e; ++i) { 6500b57cec5SDimitry Andric unsigned Reg = Regs[i]; 6510b57cec5SDimitry Andric unsigned NewReg = 0; 6520b57cec5SDimitry Andric if (Reg == SuperReg) { 6530b57cec5SDimitry Andric NewReg = NewSuperReg; 6540b57cec5SDimitry Andric } else { 6550b57cec5SDimitry Andric unsigned NewSubRegIdx = TRI->getSubRegIndex(SuperReg, Reg); 6560b57cec5SDimitry Andric if (NewSubRegIdx != 0) 6570b57cec5SDimitry Andric NewReg = TRI->getSubReg(NewSuperReg, NewSubRegIdx); 6580b57cec5SDimitry Andric } 6590b57cec5SDimitry Andric 6600b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(NewReg, TRI)); 6610b57cec5SDimitry Andric 6620b57cec5SDimitry Andric // Check if Reg can be renamed to NewReg. 6630b57cec5SDimitry Andric if (!RenameRegisterMap[Reg].test(NewReg)) { 6640b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(no rename)"); 6650b57cec5SDimitry Andric goto next_super_reg; 6660b57cec5SDimitry Andric } 6670b57cec5SDimitry Andric 6680b57cec5SDimitry Andric // If NewReg is dead and NewReg's most recent def is not before 6690b57cec5SDimitry Andric // Regs's kill, it's safe to replace Reg with NewReg. We 6700b57cec5SDimitry Andric // must also check all aliases of NewReg, because we can't define a 6710b57cec5SDimitry Andric // register when any sub or super is already live. 6720b57cec5SDimitry Andric if (State->IsLive(NewReg) || (KillIndices[Reg] > DefIndices[NewReg])) { 6730b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(live)"); 6740b57cec5SDimitry Andric goto next_super_reg; 6750b57cec5SDimitry Andric } else { 6760b57cec5SDimitry Andric bool found = false; 6770b57cec5SDimitry Andric for (MCRegAliasIterator AI(NewReg, TRI, false); AI.isValid(); ++AI) { 6780b57cec5SDimitry Andric unsigned AliasReg = *AI; 6790b57cec5SDimitry Andric if (State->IsLive(AliasReg) || 6800b57cec5SDimitry Andric (KillIndices[Reg] > DefIndices[AliasReg])) { 6810b57cec5SDimitry Andric LLVM_DEBUG(dbgs() 6820b57cec5SDimitry Andric << "(alias " << printReg(AliasReg, TRI) << " live)"); 6830b57cec5SDimitry Andric found = true; 6840b57cec5SDimitry Andric break; 6850b57cec5SDimitry Andric } 6860b57cec5SDimitry Andric } 6870b57cec5SDimitry Andric if (found) 6880b57cec5SDimitry Andric goto next_super_reg; 6890b57cec5SDimitry Andric } 6900b57cec5SDimitry Andric 6910b57cec5SDimitry Andric // We cannot rename 'Reg' to 'NewReg' if one of the uses of 'Reg' also 6920b57cec5SDimitry Andric // defines 'NewReg' via an early-clobber operand. 6930b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(Reg))) { 6940b57cec5SDimitry Andric MachineInstr *UseMI = Q.second.Operand->getParent(); 6950b57cec5SDimitry Andric int Idx = UseMI->findRegisterDefOperandIdx(NewReg, false, true, TRI); 6960b57cec5SDimitry Andric if (Idx == -1) 6970b57cec5SDimitry Andric continue; 6980b57cec5SDimitry Andric 6990b57cec5SDimitry Andric if (UseMI->getOperand(Idx).isEarlyClobber()) { 7000b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(ec)"); 7010b57cec5SDimitry Andric goto next_super_reg; 7020b57cec5SDimitry Andric } 7030b57cec5SDimitry Andric } 7040b57cec5SDimitry Andric 7050b57cec5SDimitry Andric // Also, we cannot rename 'Reg' to 'NewReg' if the instruction defining 7060b57cec5SDimitry Andric // 'Reg' is an early-clobber define and that instruction also uses 7070b57cec5SDimitry Andric // 'NewReg'. 7080b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(Reg))) { 7090b57cec5SDimitry Andric if (!Q.second.Operand->isDef() || !Q.second.Operand->isEarlyClobber()) 7100b57cec5SDimitry Andric continue; 7110b57cec5SDimitry Andric 7120b57cec5SDimitry Andric MachineInstr *DefMI = Q.second.Operand->getParent(); 7130b57cec5SDimitry Andric if (DefMI->readsRegister(NewReg, TRI)) { 7140b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "(ec)"); 7150b57cec5SDimitry Andric goto next_super_reg; 7160b57cec5SDimitry Andric } 7170b57cec5SDimitry Andric } 7180b57cec5SDimitry Andric 7190b57cec5SDimitry Andric // Record that 'Reg' can be renamed to 'NewReg'. 7200b57cec5SDimitry Andric RenameMap.insert(std::pair<unsigned, unsigned>(Reg, NewReg)); 7210b57cec5SDimitry Andric } 7220b57cec5SDimitry Andric 7230b57cec5SDimitry Andric // If we fall-out here, then every register in the group can be 7240b57cec5SDimitry Andric // renamed, as recorded in RenameMap. 7250b57cec5SDimitry Andric RenameOrder.erase(SuperRC); 7260b57cec5SDimitry Andric RenameOrder.insert(RenameOrderType::value_type(SuperRC, R)); 7270b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "]\n"); 7280b57cec5SDimitry Andric return true; 7290b57cec5SDimitry Andric 7300b57cec5SDimitry Andric next_super_reg: 7310b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << ']'); 7320b57cec5SDimitry Andric } while (R != EndR); 7330b57cec5SDimitry Andric 7340b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 7350b57cec5SDimitry Andric 7360b57cec5SDimitry Andric // No registers are free and available! 7370b57cec5SDimitry Andric return false; 7380b57cec5SDimitry Andric } 7390b57cec5SDimitry Andric 7400b57cec5SDimitry Andric /// BreakAntiDependencies - Identifiy anti-dependencies within the 7410b57cec5SDimitry Andric /// ScheduleDAG and break them by renaming registers. 7420b57cec5SDimitry Andric unsigned AggressiveAntiDepBreaker::BreakAntiDependencies( 7430b57cec5SDimitry Andric const std::vector<SUnit> &SUnits, 7440b57cec5SDimitry Andric MachineBasicBlock::iterator Begin, 7450b57cec5SDimitry Andric MachineBasicBlock::iterator End, 7460b57cec5SDimitry Andric unsigned InsertPosIndex, 7470b57cec5SDimitry Andric DbgValueVector &DbgValues) { 7480b57cec5SDimitry Andric std::vector<unsigned> &KillIndices = State->GetKillIndices(); 7490b57cec5SDimitry Andric std::vector<unsigned> &DefIndices = State->GetDefIndices(); 7500b57cec5SDimitry Andric std::multimap<unsigned, AggressiveAntiDepState::RegisterReference>& 7510b57cec5SDimitry Andric RegRefs = State->GetRegRefs(); 7520b57cec5SDimitry Andric 7530b57cec5SDimitry Andric // The code below assumes that there is at least one instruction, 7540b57cec5SDimitry Andric // so just duck out immediately if the block is empty. 7550b57cec5SDimitry Andric if (SUnits.empty()) return 0; 7560b57cec5SDimitry Andric 7570b57cec5SDimitry Andric // For each regclass the next register to use for renaming. 7580b57cec5SDimitry Andric RenameOrderType RenameOrder; 7590b57cec5SDimitry Andric 7600b57cec5SDimitry Andric // ...need a map from MI to SUnit. 7610b57cec5SDimitry Andric std::map<MachineInstr *, const SUnit *> MISUnitMap; 762*4824e7fdSDimitry Andric for (const SUnit &SU : SUnits) 763*4824e7fdSDimitry Andric MISUnitMap.insert(std::make_pair(SU.getInstr(), &SU)); 7640b57cec5SDimitry Andric 7650b57cec5SDimitry Andric // Track progress along the critical path through the SUnit graph as 7660b57cec5SDimitry Andric // we walk the instructions. This is needed for regclasses that only 7670b57cec5SDimitry Andric // break critical-path anti-dependencies. 7680b57cec5SDimitry Andric const SUnit *CriticalPathSU = nullptr; 7690b57cec5SDimitry Andric MachineInstr *CriticalPathMI = nullptr; 7700b57cec5SDimitry Andric if (CriticalPathSet.any()) { 771*4824e7fdSDimitry Andric for (const SUnit &SU : SUnits) { 7720b57cec5SDimitry Andric if (!CriticalPathSU || 773*4824e7fdSDimitry Andric ((SU.getDepth() + SU.Latency) > 7740b57cec5SDimitry Andric (CriticalPathSU->getDepth() + CriticalPathSU->Latency))) { 775*4824e7fdSDimitry Andric CriticalPathSU = &SU; 7760b57cec5SDimitry Andric } 7770b57cec5SDimitry Andric } 7788bcb0991SDimitry Andric assert(CriticalPathSU && "Failed to find SUnit critical path"); 7790b57cec5SDimitry Andric CriticalPathMI = CriticalPathSU->getInstr(); 7800b57cec5SDimitry Andric } 7810b57cec5SDimitry Andric 7820b57cec5SDimitry Andric #ifndef NDEBUG 7830b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\n===== Aggressive anti-dependency breaking\n"); 7840b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Available regs:"); 7850b57cec5SDimitry Andric for (unsigned Reg = 0; Reg < TRI->getNumRegs(); ++Reg) { 7860b57cec5SDimitry Andric if (!State->IsLive(Reg)) 7870b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(Reg, TRI)); 7880b57cec5SDimitry Andric } 7890b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 7900b57cec5SDimitry Andric #endif 7910b57cec5SDimitry Andric 7920b57cec5SDimitry Andric BitVector RegAliases(TRI->getNumRegs()); 7930b57cec5SDimitry Andric 7940b57cec5SDimitry Andric // Attempt to break anti-dependence edges. Walk the instructions 7950b57cec5SDimitry Andric // from the bottom up, tracking information about liveness as we go 7960b57cec5SDimitry Andric // to help determine which registers are available. 7970b57cec5SDimitry Andric unsigned Broken = 0; 7980b57cec5SDimitry Andric unsigned Count = InsertPosIndex - 1; 7990b57cec5SDimitry Andric for (MachineBasicBlock::iterator I = End, E = Begin; 8000b57cec5SDimitry Andric I != E; --Count) { 8010b57cec5SDimitry Andric MachineInstr &MI = *--I; 8020b57cec5SDimitry Andric 8030b57cec5SDimitry Andric if (MI.isDebugInstr()) 8040b57cec5SDimitry Andric continue; 8050b57cec5SDimitry Andric 8060b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Anti: "); 8070b57cec5SDimitry Andric LLVM_DEBUG(MI.dump()); 8080b57cec5SDimitry Andric 8090b57cec5SDimitry Andric std::set<unsigned> PassthruRegs; 8100b57cec5SDimitry Andric GetPassthruRegs(MI, PassthruRegs); 8110b57cec5SDimitry Andric 8120b57cec5SDimitry Andric // Process the defs in MI... 8130b57cec5SDimitry Andric PrescanInstruction(MI, Count, PassthruRegs); 8140b57cec5SDimitry Andric 8150b57cec5SDimitry Andric // The dependence edges that represent anti- and output- 8160b57cec5SDimitry Andric // dependencies that are candidates for breaking. 8170b57cec5SDimitry Andric std::vector<const SDep *> Edges; 8180b57cec5SDimitry Andric const SUnit *PathSU = MISUnitMap[&MI]; 8190b57cec5SDimitry Andric AntiDepEdges(PathSU, Edges); 8200b57cec5SDimitry Andric 8210b57cec5SDimitry Andric // If MI is not on the critical path, then we don't rename 8220b57cec5SDimitry Andric // registers in the CriticalPathSet. 8230b57cec5SDimitry Andric BitVector *ExcludeRegs = nullptr; 8240b57cec5SDimitry Andric if (&MI == CriticalPathMI) { 8250b57cec5SDimitry Andric CriticalPathSU = CriticalPathStep(CriticalPathSU); 8260b57cec5SDimitry Andric CriticalPathMI = (CriticalPathSU) ? CriticalPathSU->getInstr() : nullptr; 8270b57cec5SDimitry Andric } else if (CriticalPathSet.any()) { 8280b57cec5SDimitry Andric ExcludeRegs = &CriticalPathSet; 8290b57cec5SDimitry Andric } 8300b57cec5SDimitry Andric 8310b57cec5SDimitry Andric // Ignore KILL instructions (they form a group in ScanInstruction 8320b57cec5SDimitry Andric // but don't cause any anti-dependence breaking themselves) 8330b57cec5SDimitry Andric if (!MI.isKill()) { 8340b57cec5SDimitry Andric // Attempt to break each anti-dependency... 835*4824e7fdSDimitry Andric for (const SDep *Edge : Edges) { 8360b57cec5SDimitry Andric SUnit *NextSU = Edge->getSUnit(); 8370b57cec5SDimitry Andric 8380b57cec5SDimitry Andric if ((Edge->getKind() != SDep::Anti) && 8390b57cec5SDimitry Andric (Edge->getKind() != SDep::Output)) continue; 8400b57cec5SDimitry Andric 8410b57cec5SDimitry Andric unsigned AntiDepReg = Edge->getReg(); 8420b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tAntidep reg: " << printReg(AntiDepReg, TRI)); 8430b57cec5SDimitry Andric assert(AntiDepReg != 0 && "Anti-dependence on reg0?"); 8440b57cec5SDimitry Andric 8450b57cec5SDimitry Andric if (!MRI.isAllocatable(AntiDepReg)) { 8460b57cec5SDimitry Andric // Don't break anti-dependencies on non-allocatable registers. 8470b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (non-allocatable)\n"); 8480b57cec5SDimitry Andric continue; 8490b57cec5SDimitry Andric } else if (ExcludeRegs && ExcludeRegs->test(AntiDepReg)) { 8500b57cec5SDimitry Andric // Don't break anti-dependencies for critical path registers 8510b57cec5SDimitry Andric // if not on the critical path 8520b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (not critical-path)\n"); 8530b57cec5SDimitry Andric continue; 8540b57cec5SDimitry Andric } else if (PassthruRegs.count(AntiDepReg) != 0) { 8550b57cec5SDimitry Andric // If the anti-dep register liveness "passes-thru", then 8560b57cec5SDimitry Andric // don't try to change it. It will be changed along with 8570b57cec5SDimitry Andric // the use if required to break an earlier antidep. 8580b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (passthru)\n"); 8590b57cec5SDimitry Andric continue; 8600b57cec5SDimitry Andric } else { 8610b57cec5SDimitry Andric // No anti-dep breaking for implicit deps 8620b57cec5SDimitry Andric MachineOperand *AntiDepOp = MI.findRegisterDefOperand(AntiDepReg); 8630b57cec5SDimitry Andric assert(AntiDepOp && "Can't find index for defined register operand"); 8640b57cec5SDimitry Andric if (!AntiDepOp || AntiDepOp->isImplicit()) { 8650b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (implicit)\n"); 8660b57cec5SDimitry Andric continue; 8670b57cec5SDimitry Andric } 8680b57cec5SDimitry Andric 8690b57cec5SDimitry Andric // If the SUnit has other dependencies on the SUnit that 8700b57cec5SDimitry Andric // it anti-depends on, don't bother breaking the 8710b57cec5SDimitry Andric // anti-dependency since those edges would prevent such 8720b57cec5SDimitry Andric // units from being scheduled past each other 8730b57cec5SDimitry Andric // regardless. 8740b57cec5SDimitry Andric // 8750b57cec5SDimitry Andric // Also, if there are dependencies on other SUnits with the 8760b57cec5SDimitry Andric // same register as the anti-dependency, don't attempt to 8770b57cec5SDimitry Andric // break it. 878fe6060f1SDimitry Andric for (const SDep &Pred : PathSU->Preds) { 879fe6060f1SDimitry Andric if (Pred.getSUnit() == NextSU ? (Pred.getKind() != SDep::Anti || 880fe6060f1SDimitry Andric Pred.getReg() != AntiDepReg) 881fe6060f1SDimitry Andric : (Pred.getKind() == SDep::Data && 882fe6060f1SDimitry Andric Pred.getReg() == AntiDepReg)) { 8830b57cec5SDimitry Andric AntiDepReg = 0; 8840b57cec5SDimitry Andric break; 8850b57cec5SDimitry Andric } 8860b57cec5SDimitry Andric } 887fe6060f1SDimitry Andric for (const SDep &Pred : PathSU->Preds) { 888fe6060f1SDimitry Andric if ((Pred.getSUnit() == NextSU) && (Pred.getKind() != SDep::Anti) && 889fe6060f1SDimitry Andric (Pred.getKind() != SDep::Output)) { 8900b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (real dependency)\n"); 8910b57cec5SDimitry Andric AntiDepReg = 0; 8920b57cec5SDimitry Andric break; 893fe6060f1SDimitry Andric } else if ((Pred.getSUnit() != NextSU) && 894fe6060f1SDimitry Andric (Pred.getKind() == SDep::Data) && 895fe6060f1SDimitry Andric (Pred.getReg() == AntiDepReg)) { 8960b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (other dependency)\n"); 8970b57cec5SDimitry Andric AntiDepReg = 0; 8980b57cec5SDimitry Andric break; 8990b57cec5SDimitry Andric } 9000b57cec5SDimitry Andric } 9010b57cec5SDimitry Andric 9020b57cec5SDimitry Andric if (AntiDepReg == 0) continue; 9030b57cec5SDimitry Andric 9040b57cec5SDimitry Andric // If the definition of the anti-dependency register does not start 9050b57cec5SDimitry Andric // a new live range, bail out. This can happen if the anti-dep 9060b57cec5SDimitry Andric // register is a sub-register of another register whose live range 9070b57cec5SDimitry Andric // spans over PathSU. In such case, PathSU defines only a part of 9080b57cec5SDimitry Andric // the larger register. 9090b57cec5SDimitry Andric RegAliases.reset(); 9100b57cec5SDimitry Andric for (MCRegAliasIterator AI(AntiDepReg, TRI, true); AI.isValid(); ++AI) 9110b57cec5SDimitry Andric RegAliases.set(*AI); 9120b57cec5SDimitry Andric for (SDep S : PathSU->Succs) { 9130b57cec5SDimitry Andric SDep::Kind K = S.getKind(); 9140b57cec5SDimitry Andric if (K != SDep::Data && K != SDep::Output && K != SDep::Anti) 9150b57cec5SDimitry Andric continue; 9160b57cec5SDimitry Andric unsigned R = S.getReg(); 9170b57cec5SDimitry Andric if (!RegAliases[R]) 9180b57cec5SDimitry Andric continue; 9190b57cec5SDimitry Andric if (R == AntiDepReg || TRI->isSubRegister(AntiDepReg, R)) 9200b57cec5SDimitry Andric continue; 9210b57cec5SDimitry Andric AntiDepReg = 0; 9220b57cec5SDimitry Andric break; 9230b57cec5SDimitry Andric } 9240b57cec5SDimitry Andric 9250b57cec5SDimitry Andric if (AntiDepReg == 0) continue; 9260b57cec5SDimitry Andric } 9270b57cec5SDimitry Andric 9280b57cec5SDimitry Andric assert(AntiDepReg != 0); 9290b57cec5SDimitry Andric if (AntiDepReg == 0) continue; 9300b57cec5SDimitry Andric 9310b57cec5SDimitry Andric // Determine AntiDepReg's register group. 9320b57cec5SDimitry Andric const unsigned GroupIndex = State->GetGroup(AntiDepReg); 9330b57cec5SDimitry Andric if (GroupIndex == 0) { 9340b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " (zero group)\n"); 9350b57cec5SDimitry Andric continue; 9360b57cec5SDimitry Andric } 9370b57cec5SDimitry Andric 9380b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 9390b57cec5SDimitry Andric 9400b57cec5SDimitry Andric // Look for a suitable register to use to break the anti-dependence. 9410b57cec5SDimitry Andric std::map<unsigned, unsigned> RenameMap; 9420b57cec5SDimitry Andric if (FindSuitableFreeRegisters(GroupIndex, RenameOrder, RenameMap)) { 9430b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "\tBreaking anti-dependence edge on " 9440b57cec5SDimitry Andric << printReg(AntiDepReg, TRI) << ":"); 9450b57cec5SDimitry Andric 9460b57cec5SDimitry Andric // Handle each group register... 947fe6060f1SDimitry Andric for (const auto &P : RenameMap) { 948fe6060f1SDimitry Andric unsigned CurrReg = P.first; 949fe6060f1SDimitry Andric unsigned NewReg = P.second; 9500b57cec5SDimitry Andric 9510b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << " " << printReg(CurrReg, TRI) << "->" 9520b57cec5SDimitry Andric << printReg(NewReg, TRI) << "(" 9530b57cec5SDimitry Andric << RegRefs.count(CurrReg) << " refs)"); 9540b57cec5SDimitry Andric 9550b57cec5SDimitry Andric // Update the references to the old register CurrReg to 9560b57cec5SDimitry Andric // refer to the new register NewReg. 9570b57cec5SDimitry Andric for (const auto &Q : make_range(RegRefs.equal_range(CurrReg))) { 9580b57cec5SDimitry Andric Q.second.Operand->setReg(NewReg); 9590b57cec5SDimitry Andric // If the SU for the instruction being updated has debug 9600b57cec5SDimitry Andric // information related to the anti-dependency register, make 9610b57cec5SDimitry Andric // sure to update that as well. 9620b57cec5SDimitry Andric const SUnit *SU = MISUnitMap[Q.second.Operand->getParent()]; 9630b57cec5SDimitry Andric if (!SU) continue; 9640b57cec5SDimitry Andric UpdateDbgValues(DbgValues, Q.second.Operand->getParent(), 9650b57cec5SDimitry Andric AntiDepReg, NewReg); 9660b57cec5SDimitry Andric } 9670b57cec5SDimitry Andric 9680b57cec5SDimitry Andric // We just went back in time and modified history; the 9690b57cec5SDimitry Andric // liveness information for CurrReg is now inconsistent. Set 9700b57cec5SDimitry Andric // the state as if it were dead. 9710b57cec5SDimitry Andric State->UnionGroups(NewReg, 0); 9720b57cec5SDimitry Andric RegRefs.erase(NewReg); 9730b57cec5SDimitry Andric DefIndices[NewReg] = DefIndices[CurrReg]; 9740b57cec5SDimitry Andric KillIndices[NewReg] = KillIndices[CurrReg]; 9750b57cec5SDimitry Andric 9760b57cec5SDimitry Andric State->UnionGroups(CurrReg, 0); 9770b57cec5SDimitry Andric RegRefs.erase(CurrReg); 9780b57cec5SDimitry Andric DefIndices[CurrReg] = KillIndices[CurrReg]; 9790b57cec5SDimitry Andric KillIndices[CurrReg] = ~0u; 9800b57cec5SDimitry Andric assert(((KillIndices[CurrReg] == ~0u) != 9810b57cec5SDimitry Andric (DefIndices[CurrReg] == ~0u)) && 9820b57cec5SDimitry Andric "Kill and Def maps aren't consistent for AntiDepReg!"); 9830b57cec5SDimitry Andric } 9840b57cec5SDimitry Andric 9850b57cec5SDimitry Andric ++Broken; 9860b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << '\n'); 9870b57cec5SDimitry Andric } 9880b57cec5SDimitry Andric } 9890b57cec5SDimitry Andric } 9900b57cec5SDimitry Andric 9910b57cec5SDimitry Andric ScanInstruction(MI, Count); 9920b57cec5SDimitry Andric } 9930b57cec5SDimitry Andric 9940b57cec5SDimitry Andric return Broken; 9950b57cec5SDimitry Andric } 9965ffd83dbSDimitry Andric 9975ffd83dbSDimitry Andric AntiDepBreaker *llvm::createAggressiveAntiDepBreaker( 9985ffd83dbSDimitry Andric MachineFunction &MFi, const RegisterClassInfo &RCI, 9995ffd83dbSDimitry Andric TargetSubtargetInfo::RegClassVector &CriticalPathRCs) { 10005ffd83dbSDimitry Andric return new AggressiveAntiDepBreaker(MFi, RCI, CriticalPathRCs); 10015ffd83dbSDimitry Andric } 1002