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