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