10b57cec5SDimitry Andric //===-- R600MachineScheduler.cpp - R600 Scheduler Interface -*- C++ -*-----===// 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 /// \file 100b57cec5SDimitry Andric /// R600 Machine Scheduler interface 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #include "R600MachineScheduler.h" 150b57cec5SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h" 16*e8d8bef9SDimitry Andric #include "R600Subtarget.h" 170b57cec5SDimitry Andric 180b57cec5SDimitry Andric using namespace llvm; 190b57cec5SDimitry Andric 200b57cec5SDimitry Andric #define DEBUG_TYPE "machine-scheduler" 210b57cec5SDimitry Andric 220b57cec5SDimitry Andric void R600SchedStrategy::initialize(ScheduleDAGMI *dag) { 230b57cec5SDimitry Andric assert(dag->hasVRegLiveness() && "R600SchedStrategy needs vreg liveness"); 240b57cec5SDimitry Andric DAG = static_cast<ScheduleDAGMILive*>(dag); 250b57cec5SDimitry Andric const R600Subtarget &ST = DAG->MF.getSubtarget<R600Subtarget>(); 260b57cec5SDimitry Andric TII = static_cast<const R600InstrInfo*>(DAG->TII); 270b57cec5SDimitry Andric TRI = static_cast<const R600RegisterInfo*>(DAG->TRI); 280b57cec5SDimitry Andric VLIW5 = !ST.hasCaymanISA(); 290b57cec5SDimitry Andric MRI = &DAG->MRI; 300b57cec5SDimitry Andric CurInstKind = IDOther; 310b57cec5SDimitry Andric CurEmitted = 0; 320b57cec5SDimitry Andric OccupedSlotsMask = 31; 330b57cec5SDimitry Andric InstKindLimit[IDAlu] = TII->getMaxAlusPerClause(); 340b57cec5SDimitry Andric InstKindLimit[IDOther] = 32; 350b57cec5SDimitry Andric InstKindLimit[IDFetch] = ST.getTexVTXClauseSize(); 360b57cec5SDimitry Andric AluInstCount = 0; 370b57cec5SDimitry Andric FetchInstCount = 0; 380b57cec5SDimitry Andric } 390b57cec5SDimitry Andric 400b57cec5SDimitry Andric void R600SchedStrategy::MoveUnits(std::vector<SUnit *> &QSrc, 410b57cec5SDimitry Andric std::vector<SUnit *> &QDst) 420b57cec5SDimitry Andric { 43*e8d8bef9SDimitry Andric llvm::append_range(QDst, QSrc); 440b57cec5SDimitry Andric QSrc.clear(); 450b57cec5SDimitry Andric } 460b57cec5SDimitry Andric 470b57cec5SDimitry Andric static unsigned getWFCountLimitedByGPR(unsigned GPRCount) { 480b57cec5SDimitry Andric assert (GPRCount && "GPRCount cannot be 0"); 490b57cec5SDimitry Andric return 248 / GPRCount; 500b57cec5SDimitry Andric } 510b57cec5SDimitry Andric 520b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickNode(bool &IsTopNode) { 530b57cec5SDimitry Andric SUnit *SU = nullptr; 540b57cec5SDimitry Andric NextInstKind = IDOther; 550b57cec5SDimitry Andric 560b57cec5SDimitry Andric IsTopNode = false; 570b57cec5SDimitry Andric 580b57cec5SDimitry Andric // check if we might want to switch current clause type 590b57cec5SDimitry Andric bool AllowSwitchToAlu = (CurEmitted >= InstKindLimit[CurInstKind]) || 600b57cec5SDimitry Andric (Available[CurInstKind].empty()); 610b57cec5SDimitry Andric bool AllowSwitchFromAlu = (CurEmitted >= InstKindLimit[CurInstKind]) && 620b57cec5SDimitry Andric (!Available[IDFetch].empty() || !Available[IDOther].empty()); 630b57cec5SDimitry Andric 640b57cec5SDimitry Andric if (CurInstKind == IDAlu && !Available[IDFetch].empty()) { 650b57cec5SDimitry Andric // We use the heuristic provided by AMD Accelerated Parallel Processing 660b57cec5SDimitry Andric // OpenCL Programming Guide : 670b57cec5SDimitry Andric // The approx. number of WF that allows TEX inst to hide ALU inst is : 680b57cec5SDimitry Andric // 500 (cycles for TEX) / (AluFetchRatio * 8 (cycles for ALU)) 690b57cec5SDimitry Andric float ALUFetchRationEstimate = 700b57cec5SDimitry Andric (AluInstCount + AvailablesAluCount() + Pending[IDAlu].size()) / 710b57cec5SDimitry Andric (FetchInstCount + Available[IDFetch].size()); 720b57cec5SDimitry Andric if (ALUFetchRationEstimate == 0) { 730b57cec5SDimitry Andric AllowSwitchFromAlu = true; 740b57cec5SDimitry Andric } else { 750b57cec5SDimitry Andric unsigned NeededWF = 62.5f / ALUFetchRationEstimate; 760b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << NeededWF << " approx. Wavefronts Required\n"); 770b57cec5SDimitry Andric // We assume the local GPR requirements to be "dominated" by the requirement 780b57cec5SDimitry Andric // of the TEX clause (which consumes 128 bits regs) ; ALU inst before and 790b57cec5SDimitry Andric // after TEX are indeed likely to consume or generate values from/for the 800b57cec5SDimitry Andric // TEX clause. 810b57cec5SDimitry Andric // Available[IDFetch].size() * 2 : GPRs required in the Fetch clause 820b57cec5SDimitry Andric // We assume that fetch instructions are either TnXYZW = TEX TnXYZW (need 830b57cec5SDimitry Andric // one GPR) or TmXYZW = TnXYZW (need 2 GPR). 840b57cec5SDimitry Andric // (TODO : use RegisterPressure) 850b57cec5SDimitry Andric // If we are going too use too many GPR, we flush Fetch instruction to lower 860b57cec5SDimitry Andric // register pressure on 128 bits regs. 870b57cec5SDimitry Andric unsigned NearRegisterRequirement = 2 * Available[IDFetch].size(); 880b57cec5SDimitry Andric if (NeededWF > getWFCountLimitedByGPR(NearRegisterRequirement)) 890b57cec5SDimitry Andric AllowSwitchFromAlu = true; 900b57cec5SDimitry Andric } 910b57cec5SDimitry Andric } 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric if (!SU && ((AllowSwitchToAlu && CurInstKind != IDAlu) || 940b57cec5SDimitry Andric (!AllowSwitchFromAlu && CurInstKind == IDAlu))) { 950b57cec5SDimitry Andric // try to pick ALU 960b57cec5SDimitry Andric SU = pickAlu(); 970b57cec5SDimitry Andric if (!SU && !PhysicalRegCopy.empty()) { 980b57cec5SDimitry Andric SU = PhysicalRegCopy.front(); 990b57cec5SDimitry Andric PhysicalRegCopy.erase(PhysicalRegCopy.begin()); 1000b57cec5SDimitry Andric } 1010b57cec5SDimitry Andric if (SU) { 1020b57cec5SDimitry Andric if (CurEmitted >= InstKindLimit[IDAlu]) 1030b57cec5SDimitry Andric CurEmitted = 0; 1040b57cec5SDimitry Andric NextInstKind = IDAlu; 1050b57cec5SDimitry Andric } 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 1080b57cec5SDimitry Andric if (!SU) { 1090b57cec5SDimitry Andric // try to pick FETCH 1100b57cec5SDimitry Andric SU = pickOther(IDFetch); 1110b57cec5SDimitry Andric if (SU) 1120b57cec5SDimitry Andric NextInstKind = IDFetch; 1130b57cec5SDimitry Andric } 1140b57cec5SDimitry Andric 1150b57cec5SDimitry Andric // try to pick other 1160b57cec5SDimitry Andric if (!SU) { 1170b57cec5SDimitry Andric SU = pickOther(IDOther); 1180b57cec5SDimitry Andric if (SU) 1190b57cec5SDimitry Andric NextInstKind = IDOther; 1200b57cec5SDimitry Andric } 1210b57cec5SDimitry Andric 1220b57cec5SDimitry Andric LLVM_DEBUG(if (SU) { 1230b57cec5SDimitry Andric dbgs() << " ** Pick node **\n"; 1240b57cec5SDimitry Andric DAG->dumpNode(*SU); 1250b57cec5SDimitry Andric } else { 1260b57cec5SDimitry Andric dbgs() << "NO NODE \n"; 1270b57cec5SDimitry Andric for (unsigned i = 0; i < DAG->SUnits.size(); i++) { 1280b57cec5SDimitry Andric const SUnit &S = DAG->SUnits[i]; 1290b57cec5SDimitry Andric if (!S.isScheduled) 1300b57cec5SDimitry Andric DAG->dumpNode(S); 1310b57cec5SDimitry Andric } 1320b57cec5SDimitry Andric }); 1330b57cec5SDimitry Andric 1340b57cec5SDimitry Andric return SU; 1350b57cec5SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric void R600SchedStrategy::schedNode(SUnit *SU, bool IsTopNode) { 1380b57cec5SDimitry Andric if (NextInstKind != CurInstKind) { 1390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Instruction Type Switch\n"); 1400b57cec5SDimitry Andric if (NextInstKind != IDAlu) 1410b57cec5SDimitry Andric OccupedSlotsMask |= 31; 1420b57cec5SDimitry Andric CurEmitted = 0; 1430b57cec5SDimitry Andric CurInstKind = NextInstKind; 1440b57cec5SDimitry Andric } 1450b57cec5SDimitry Andric 1460b57cec5SDimitry Andric if (CurInstKind == IDAlu) { 1470b57cec5SDimitry Andric AluInstCount ++; 1480b57cec5SDimitry Andric switch (getAluKind(SU)) { 1490b57cec5SDimitry Andric case AluT_XYZW: 1500b57cec5SDimitry Andric CurEmitted += 4; 1510b57cec5SDimitry Andric break; 1520b57cec5SDimitry Andric case AluDiscarded: 1530b57cec5SDimitry Andric break; 1540b57cec5SDimitry Andric default: { 1550b57cec5SDimitry Andric ++CurEmitted; 1560b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = SU->getInstr()->operands_begin(), 1570b57cec5SDimitry Andric E = SU->getInstr()->operands_end(); It != E; ++It) { 1580b57cec5SDimitry Andric MachineOperand &MO = *It; 1590b57cec5SDimitry Andric if (MO.isReg() && MO.getReg() == R600::ALU_LITERAL_X) 1600b57cec5SDimitry Andric ++CurEmitted; 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric } 1630b57cec5SDimitry Andric } 1640b57cec5SDimitry Andric } else { 1650b57cec5SDimitry Andric ++CurEmitted; 1660b57cec5SDimitry Andric } 1670b57cec5SDimitry Andric 1680b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << CurEmitted << " Instructions Emitted in this clause\n"); 1690b57cec5SDimitry Andric 1700b57cec5SDimitry Andric if (CurInstKind != IDFetch) { 1710b57cec5SDimitry Andric MoveUnits(Pending[IDFetch], Available[IDFetch]); 1720b57cec5SDimitry Andric } else 1730b57cec5SDimitry Andric FetchInstCount++; 1740b57cec5SDimitry Andric } 1750b57cec5SDimitry Andric 1760b57cec5SDimitry Andric static bool 1770b57cec5SDimitry Andric isPhysicalRegCopy(MachineInstr *MI) { 1780b57cec5SDimitry Andric if (MI->getOpcode() != R600::COPY) 1790b57cec5SDimitry Andric return false; 1800b57cec5SDimitry Andric 181*e8d8bef9SDimitry Andric return !MI->getOperand(1).getReg().isVirtual(); 1820b57cec5SDimitry Andric } 1830b57cec5SDimitry Andric 1840b57cec5SDimitry Andric void R600SchedStrategy::releaseTopNode(SUnit *SU) { 1850b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Top Releasing "; DAG->dumpNode(*SU)); 1860b57cec5SDimitry Andric } 1870b57cec5SDimitry Andric 1880b57cec5SDimitry Andric void R600SchedStrategy::releaseBottomNode(SUnit *SU) { 1890b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Bottom Releasing "; DAG->dumpNode(*SU)); 1900b57cec5SDimitry Andric if (isPhysicalRegCopy(SU->getInstr())) { 1910b57cec5SDimitry Andric PhysicalRegCopy.push_back(SU); 1920b57cec5SDimitry Andric return; 1930b57cec5SDimitry Andric } 1940b57cec5SDimitry Andric 1950b57cec5SDimitry Andric int IK = getInstKind(SU); 1960b57cec5SDimitry Andric 1970b57cec5SDimitry Andric // There is no export clause, we can schedule one as soon as its ready 1980b57cec5SDimitry Andric if (IK == IDOther) 1990b57cec5SDimitry Andric Available[IDOther].push_back(SU); 2000b57cec5SDimitry Andric else 2010b57cec5SDimitry Andric Pending[IK].push_back(SU); 2020b57cec5SDimitry Andric 2030b57cec5SDimitry Andric } 2040b57cec5SDimitry Andric 205*e8d8bef9SDimitry Andric bool R600SchedStrategy::regBelongsToClass(Register Reg, 2060b57cec5SDimitry Andric const TargetRegisterClass *RC) const { 207*e8d8bef9SDimitry Andric if (!Reg.isVirtual()) { 2080b57cec5SDimitry Andric return RC->contains(Reg); 2090b57cec5SDimitry Andric } else { 2100b57cec5SDimitry Andric return MRI->getRegClass(Reg) == RC; 2110b57cec5SDimitry Andric } 2120b57cec5SDimitry Andric } 2130b57cec5SDimitry Andric 2140b57cec5SDimitry Andric R600SchedStrategy::AluKind R600SchedStrategy::getAluKind(SUnit *SU) const { 2150b57cec5SDimitry Andric MachineInstr *MI = SU->getInstr(); 2160b57cec5SDimitry Andric 2170b57cec5SDimitry Andric if (TII->isTransOnly(*MI)) 2180b57cec5SDimitry Andric return AluTrans; 2190b57cec5SDimitry Andric 2200b57cec5SDimitry Andric switch (MI->getOpcode()) { 2210b57cec5SDimitry Andric case R600::PRED_X: 2220b57cec5SDimitry Andric return AluPredX; 2230b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 2240b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 2250b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 2260b57cec5SDimitry Andric case R600::DOT_4: 2270b57cec5SDimitry Andric return AluT_XYZW; 2280b57cec5SDimitry Andric case R600::COPY: 2290b57cec5SDimitry Andric if (MI->getOperand(1).isUndef()) { 2300b57cec5SDimitry Andric // MI will become a KILL, don't considers it in scheduling 2310b57cec5SDimitry Andric return AluDiscarded; 2320b57cec5SDimitry Andric } 2330b57cec5SDimitry Andric break; 2340b57cec5SDimitry Andric default: 2350b57cec5SDimitry Andric break; 2360b57cec5SDimitry Andric } 2370b57cec5SDimitry Andric 2380b57cec5SDimitry Andric // Does the instruction take a whole IG ? 2390b57cec5SDimitry Andric // XXX: Is it possible to add a helper function in R600InstrInfo that can 2400b57cec5SDimitry Andric // be used here and in R600PacketizerList::isSoloInstruction() ? 2410b57cec5SDimitry Andric if(TII->isVector(*MI) || 2420b57cec5SDimitry Andric TII->isCubeOp(MI->getOpcode()) || 2430b57cec5SDimitry Andric TII->isReductionOp(MI->getOpcode()) || 2440b57cec5SDimitry Andric MI->getOpcode() == R600::GROUP_BARRIER) { 2450b57cec5SDimitry Andric return AluT_XYZW; 2460b57cec5SDimitry Andric } 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric if (TII->isLDSInstr(MI->getOpcode())) { 2490b57cec5SDimitry Andric return AluT_X; 2500b57cec5SDimitry Andric } 2510b57cec5SDimitry Andric 2520b57cec5SDimitry Andric // Is the result already assigned to a channel ? 2530b57cec5SDimitry Andric unsigned DestSubReg = MI->getOperand(0).getSubReg(); 2540b57cec5SDimitry Andric switch (DestSubReg) { 2550b57cec5SDimitry Andric case R600::sub0: 2560b57cec5SDimitry Andric return AluT_X; 2570b57cec5SDimitry Andric case R600::sub1: 2580b57cec5SDimitry Andric return AluT_Y; 2590b57cec5SDimitry Andric case R600::sub2: 2600b57cec5SDimitry Andric return AluT_Z; 2610b57cec5SDimitry Andric case R600::sub3: 2620b57cec5SDimitry Andric return AluT_W; 2630b57cec5SDimitry Andric default: 2640b57cec5SDimitry Andric break; 2650b57cec5SDimitry Andric } 2660b57cec5SDimitry Andric 2670b57cec5SDimitry Andric // Is the result already member of a X/Y/Z/W class ? 2688bcb0991SDimitry Andric Register DestReg = MI->getOperand(0).getReg(); 2690b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_XRegClass) || 2700b57cec5SDimitry Andric regBelongsToClass(DestReg, &R600::R600_AddrRegClass)) 2710b57cec5SDimitry Andric return AluT_X; 2720b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_YRegClass)) 2730b57cec5SDimitry Andric return AluT_Y; 2740b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_ZRegClass)) 2750b57cec5SDimitry Andric return AluT_Z; 2760b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_WRegClass)) 2770b57cec5SDimitry Andric return AluT_W; 2780b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_Reg128RegClass)) 2790b57cec5SDimitry Andric return AluT_XYZW; 2800b57cec5SDimitry Andric 2810b57cec5SDimitry Andric // LDS src registers cannot be used in the Trans slot. 2820b57cec5SDimitry Andric if (TII->readsLDSSrcReg(*MI)) 2830b57cec5SDimitry Andric return AluT_XYZW; 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric return AluAny; 2860b57cec5SDimitry Andric } 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric int R600SchedStrategy::getInstKind(SUnit* SU) { 2890b57cec5SDimitry Andric int Opcode = SU->getInstr()->getOpcode(); 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric if (TII->usesTextureCache(Opcode) || TII->usesVertexCache(Opcode)) 2920b57cec5SDimitry Andric return IDFetch; 2930b57cec5SDimitry Andric 2940b57cec5SDimitry Andric if (TII->isALUInstr(Opcode)) { 2950b57cec5SDimitry Andric return IDAlu; 2960b57cec5SDimitry Andric } 2970b57cec5SDimitry Andric 2980b57cec5SDimitry Andric switch (Opcode) { 2990b57cec5SDimitry Andric case R600::PRED_X: 3000b57cec5SDimitry Andric case R600::COPY: 3010b57cec5SDimitry Andric case R600::CONST_COPY: 3020b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 3030b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 3040b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 3050b57cec5SDimitry Andric case R600::DOT_4: 3060b57cec5SDimitry Andric return IDAlu; 3070b57cec5SDimitry Andric default: 3080b57cec5SDimitry Andric return IDOther; 3090b57cec5SDimitry Andric } 3100b57cec5SDimitry Andric } 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric SUnit *R600SchedStrategy::PopInst(std::vector<SUnit *> &Q, bool AnyALU) { 3130b57cec5SDimitry Andric if (Q.empty()) 3140b57cec5SDimitry Andric return nullptr; 3150b57cec5SDimitry Andric for (std::vector<SUnit *>::reverse_iterator It = Q.rbegin(), E = Q.rend(); 3160b57cec5SDimitry Andric It != E; ++It) { 3170b57cec5SDimitry Andric SUnit *SU = *It; 3180b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 3190b57cec5SDimitry Andric if (TII->fitsConstReadLimitations(InstructionsGroupCandidate) && 3200b57cec5SDimitry Andric (!AnyALU || !TII->isVectorOnly(*SU->getInstr()))) { 3210b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 3220b57cec5SDimitry Andric Q.erase((It + 1).base()); 3230b57cec5SDimitry Andric return SU; 3240b57cec5SDimitry Andric } else { 3250b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 3260b57cec5SDimitry Andric } 3270b57cec5SDimitry Andric } 3280b57cec5SDimitry Andric return nullptr; 3290b57cec5SDimitry Andric } 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric void R600SchedStrategy::LoadAlu() { 3320b57cec5SDimitry Andric std::vector<SUnit *> &QSrc = Pending[IDAlu]; 3330b57cec5SDimitry Andric for (unsigned i = 0, e = QSrc.size(); i < e; ++i) { 3340b57cec5SDimitry Andric AluKind AK = getAluKind(QSrc[i]); 3350b57cec5SDimitry Andric AvailableAlus[AK].push_back(QSrc[i]); 3360b57cec5SDimitry Andric } 3370b57cec5SDimitry Andric QSrc.clear(); 3380b57cec5SDimitry Andric } 3390b57cec5SDimitry Andric 3400b57cec5SDimitry Andric void R600SchedStrategy::PrepareNextSlot() { 3410b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "New Slot\n"); 3420b57cec5SDimitry Andric assert (OccupedSlotsMask && "Slot wasn't filled"); 3430b57cec5SDimitry Andric OccupedSlotsMask = 0; 3440b57cec5SDimitry Andric // if (HwGen == AMDGPUSubtarget::NORTHERN_ISLANDS) 3450b57cec5SDimitry Andric // OccupedSlotsMask |= 16; 3460b57cec5SDimitry Andric InstructionsGroupCandidate.clear(); 3470b57cec5SDimitry Andric LoadAlu(); 3480b57cec5SDimitry Andric } 3490b57cec5SDimitry Andric 3500b57cec5SDimitry Andric void R600SchedStrategy::AssignSlot(MachineInstr* MI, unsigned Slot) { 3510b57cec5SDimitry Andric int DstIndex = TII->getOperandIdx(MI->getOpcode(), R600::OpName::dst); 3520b57cec5SDimitry Andric if (DstIndex == -1) { 3530b57cec5SDimitry Andric return; 3540b57cec5SDimitry Andric } 3558bcb0991SDimitry Andric Register DestReg = MI->getOperand(DstIndex).getReg(); 3560b57cec5SDimitry Andric // PressureRegister crashes if an operand is def and used in the same inst 3570b57cec5SDimitry Andric // and we try to constraint its regclass 3580b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = MI->operands_begin(), 3590b57cec5SDimitry Andric E = MI->operands_end(); It != E; ++It) { 3600b57cec5SDimitry Andric MachineOperand &MO = *It; 3610b57cec5SDimitry Andric if (MO.isReg() && !MO.isDef() && 3620b57cec5SDimitry Andric MO.getReg() == DestReg) 3630b57cec5SDimitry Andric return; 3640b57cec5SDimitry Andric } 3650b57cec5SDimitry Andric // Constrains the regclass of DestReg to assign it to Slot 3660b57cec5SDimitry Andric switch (Slot) { 3670b57cec5SDimitry Andric case 0: 3680b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_XRegClass); 3690b57cec5SDimitry Andric break; 3700b57cec5SDimitry Andric case 1: 3710b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_YRegClass); 3720b57cec5SDimitry Andric break; 3730b57cec5SDimitry Andric case 2: 3740b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_ZRegClass); 3750b57cec5SDimitry Andric break; 3760b57cec5SDimitry Andric case 3: 3770b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_WRegClass); 3780b57cec5SDimitry Andric break; 3790b57cec5SDimitry Andric } 3800b57cec5SDimitry Andric } 3810b57cec5SDimitry Andric 3820b57cec5SDimitry Andric SUnit *R600SchedStrategy::AttemptFillSlot(unsigned Slot, bool AnyAlu) { 3830b57cec5SDimitry Andric static const AluKind IndexToID[] = {AluT_X, AluT_Y, AluT_Z, AluT_W}; 3840b57cec5SDimitry Andric SUnit *SlotedSU = PopInst(AvailableAlus[IndexToID[Slot]], AnyAlu); 3850b57cec5SDimitry Andric if (SlotedSU) 3860b57cec5SDimitry Andric return SlotedSU; 3870b57cec5SDimitry Andric SUnit *UnslotedSU = PopInst(AvailableAlus[AluAny], AnyAlu); 3880b57cec5SDimitry Andric if (UnslotedSU) 3890b57cec5SDimitry Andric AssignSlot(UnslotedSU->getInstr(), Slot); 3900b57cec5SDimitry Andric return UnslotedSU; 3910b57cec5SDimitry Andric } 3920b57cec5SDimitry Andric 3930b57cec5SDimitry Andric unsigned R600SchedStrategy::AvailablesAluCount() const { 3940b57cec5SDimitry Andric return AvailableAlus[AluAny].size() + AvailableAlus[AluT_XYZW].size() + 3950b57cec5SDimitry Andric AvailableAlus[AluT_X].size() + AvailableAlus[AluT_Y].size() + 3960b57cec5SDimitry Andric AvailableAlus[AluT_Z].size() + AvailableAlus[AluT_W].size() + 3970b57cec5SDimitry Andric AvailableAlus[AluTrans].size() + AvailableAlus[AluDiscarded].size() + 3980b57cec5SDimitry Andric AvailableAlus[AluPredX].size(); 3990b57cec5SDimitry Andric } 4000b57cec5SDimitry Andric 4010b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickAlu() { 4020b57cec5SDimitry Andric while (AvailablesAluCount() || !Pending[IDAlu].empty()) { 4030b57cec5SDimitry Andric if (!OccupedSlotsMask) { 4040b57cec5SDimitry Andric // Bottom up scheduling : predX must comes first 4050b57cec5SDimitry Andric if (!AvailableAlus[AluPredX].empty()) { 4060b57cec5SDimitry Andric OccupedSlotsMask |= 31; 4070b57cec5SDimitry Andric return PopInst(AvailableAlus[AluPredX], false); 4080b57cec5SDimitry Andric } 4090b57cec5SDimitry Andric // Flush physical reg copies (RA will discard them) 4100b57cec5SDimitry Andric if (!AvailableAlus[AluDiscarded].empty()) { 4110b57cec5SDimitry Andric OccupedSlotsMask |= 31; 4120b57cec5SDimitry Andric return PopInst(AvailableAlus[AluDiscarded], false); 4130b57cec5SDimitry Andric } 4140b57cec5SDimitry Andric // If there is a T_XYZW alu available, use it 4150b57cec5SDimitry Andric if (!AvailableAlus[AluT_XYZW].empty()) { 4160b57cec5SDimitry Andric OccupedSlotsMask |= 15; 4170b57cec5SDimitry Andric return PopInst(AvailableAlus[AluT_XYZW], false); 4180b57cec5SDimitry Andric } 4190b57cec5SDimitry Andric } 4200b57cec5SDimitry Andric bool TransSlotOccuped = OccupedSlotsMask & 16; 4210b57cec5SDimitry Andric if (!TransSlotOccuped && VLIW5) { 4220b57cec5SDimitry Andric if (!AvailableAlus[AluTrans].empty()) { 4230b57cec5SDimitry Andric OccupedSlotsMask |= 16; 4240b57cec5SDimitry Andric return PopInst(AvailableAlus[AluTrans], false); 4250b57cec5SDimitry Andric } 4260b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(3, true); 4270b57cec5SDimitry Andric if (SU) { 4280b57cec5SDimitry Andric OccupedSlotsMask |= 16; 4290b57cec5SDimitry Andric return SU; 4300b57cec5SDimitry Andric } 4310b57cec5SDimitry Andric } 4320b57cec5SDimitry Andric for (int Chan = 3; Chan > -1; --Chan) { 4330b57cec5SDimitry Andric bool isOccupied = OccupedSlotsMask & (1 << Chan); 4340b57cec5SDimitry Andric if (!isOccupied) { 4350b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(Chan, false); 4360b57cec5SDimitry Andric if (SU) { 4370b57cec5SDimitry Andric OccupedSlotsMask |= (1 << Chan); 4380b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 4390b57cec5SDimitry Andric return SU; 4400b57cec5SDimitry Andric } 4410b57cec5SDimitry Andric } 4420b57cec5SDimitry Andric } 4430b57cec5SDimitry Andric PrepareNextSlot(); 4440b57cec5SDimitry Andric } 4450b57cec5SDimitry Andric return nullptr; 4460b57cec5SDimitry Andric } 4470b57cec5SDimitry Andric 4480b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickOther(int QID) { 4490b57cec5SDimitry Andric SUnit *SU = nullptr; 4500b57cec5SDimitry Andric std::vector<SUnit *> &AQ = Available[QID]; 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric if (AQ.empty()) { 4530b57cec5SDimitry Andric MoveUnits(Pending[QID], AQ); 4540b57cec5SDimitry Andric } 4550b57cec5SDimitry Andric if (!AQ.empty()) { 4560b57cec5SDimitry Andric SU = AQ.back(); 4570b57cec5SDimitry Andric AQ.pop_back(); 4580b57cec5SDimitry Andric } 4590b57cec5SDimitry Andric return SU; 4600b57cec5SDimitry Andric } 461