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" 15349cc55cSDimitry Andric #include "MCTargetDesc/R600MCTargetDesc.h" 16e8d8bef9SDimitry 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; 32349cc55cSDimitry Andric OccupiedSlotsMask = 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 { 43e8d8bef9SDimitry 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"; 1274824e7fdSDimitry Andric for (const SUnit &S : DAG->SUnits) 1280b57cec5SDimitry Andric if (!S.isScheduled) 1290b57cec5SDimitry Andric DAG->dumpNode(S); 1300b57cec5SDimitry Andric }); 1310b57cec5SDimitry Andric 1320b57cec5SDimitry Andric return SU; 1330b57cec5SDimitry Andric } 1340b57cec5SDimitry Andric 1350b57cec5SDimitry Andric void R600SchedStrategy::schedNode(SUnit *SU, bool IsTopNode) { 1360b57cec5SDimitry Andric if (NextInstKind != CurInstKind) { 1370b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Instruction Type Switch\n"); 1380b57cec5SDimitry Andric if (NextInstKind != IDAlu) 139349cc55cSDimitry Andric OccupiedSlotsMask |= 31; 1400b57cec5SDimitry Andric CurEmitted = 0; 1410b57cec5SDimitry Andric CurInstKind = NextInstKind; 1420b57cec5SDimitry Andric } 1430b57cec5SDimitry Andric 1440b57cec5SDimitry Andric if (CurInstKind == IDAlu) { 1450b57cec5SDimitry Andric AluInstCount ++; 1460b57cec5SDimitry Andric switch (getAluKind(SU)) { 1470b57cec5SDimitry Andric case AluT_XYZW: 1480b57cec5SDimitry Andric CurEmitted += 4; 1490b57cec5SDimitry Andric break; 1500b57cec5SDimitry Andric case AluDiscarded: 1510b57cec5SDimitry Andric break; 1520b57cec5SDimitry Andric default: { 1530b57cec5SDimitry Andric ++CurEmitted; 1540b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = SU->getInstr()->operands_begin(), 1550b57cec5SDimitry Andric E = SU->getInstr()->operands_end(); It != E; ++It) { 1560b57cec5SDimitry Andric MachineOperand &MO = *It; 1570b57cec5SDimitry Andric if (MO.isReg() && MO.getReg() == R600::ALU_LITERAL_X) 1580b57cec5SDimitry Andric ++CurEmitted; 1590b57cec5SDimitry Andric } 1600b57cec5SDimitry Andric } 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric } else { 1630b57cec5SDimitry Andric ++CurEmitted; 1640b57cec5SDimitry Andric } 1650b57cec5SDimitry Andric 1660b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << CurEmitted << " Instructions Emitted in this clause\n"); 1670b57cec5SDimitry Andric 1680b57cec5SDimitry Andric if (CurInstKind != IDFetch) { 1690b57cec5SDimitry Andric MoveUnits(Pending[IDFetch], Available[IDFetch]); 1700b57cec5SDimitry Andric } else 1710b57cec5SDimitry Andric FetchInstCount++; 1720b57cec5SDimitry Andric } 1730b57cec5SDimitry Andric 1740b57cec5SDimitry Andric static bool 1750b57cec5SDimitry Andric isPhysicalRegCopy(MachineInstr *MI) { 1760b57cec5SDimitry Andric if (MI->getOpcode() != R600::COPY) 1770b57cec5SDimitry Andric return false; 1780b57cec5SDimitry Andric 179e8d8bef9SDimitry Andric return !MI->getOperand(1).getReg().isVirtual(); 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric 1820b57cec5SDimitry Andric void R600SchedStrategy::releaseTopNode(SUnit *SU) { 1830b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Top Releasing "; DAG->dumpNode(*SU)); 1840b57cec5SDimitry Andric } 1850b57cec5SDimitry Andric 1860b57cec5SDimitry Andric void R600SchedStrategy::releaseBottomNode(SUnit *SU) { 1870b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Bottom Releasing "; DAG->dumpNode(*SU)); 1880b57cec5SDimitry Andric if (isPhysicalRegCopy(SU->getInstr())) { 1890b57cec5SDimitry Andric PhysicalRegCopy.push_back(SU); 1900b57cec5SDimitry Andric return; 1910b57cec5SDimitry Andric } 1920b57cec5SDimitry Andric 1930b57cec5SDimitry Andric int IK = getInstKind(SU); 1940b57cec5SDimitry Andric 1950b57cec5SDimitry Andric // There is no export clause, we can schedule one as soon as its ready 1960b57cec5SDimitry Andric if (IK == IDOther) 1970b57cec5SDimitry Andric Available[IDOther].push_back(SU); 1980b57cec5SDimitry Andric else 1990b57cec5SDimitry Andric Pending[IK].push_back(SU); 2000b57cec5SDimitry Andric 2010b57cec5SDimitry Andric } 2020b57cec5SDimitry Andric 203e8d8bef9SDimitry Andric bool R600SchedStrategy::regBelongsToClass(Register Reg, 2040b57cec5SDimitry Andric const TargetRegisterClass *RC) const { 205e8d8bef9SDimitry Andric if (!Reg.isVirtual()) { 2060b57cec5SDimitry Andric return RC->contains(Reg); 2070b57cec5SDimitry Andric } else { 2080b57cec5SDimitry Andric return MRI->getRegClass(Reg) == RC; 2090b57cec5SDimitry Andric } 2100b57cec5SDimitry Andric } 2110b57cec5SDimitry Andric 2120b57cec5SDimitry Andric R600SchedStrategy::AluKind R600SchedStrategy::getAluKind(SUnit *SU) const { 2130b57cec5SDimitry Andric MachineInstr *MI = SU->getInstr(); 2140b57cec5SDimitry Andric 2150b57cec5SDimitry Andric if (TII->isTransOnly(*MI)) 2160b57cec5SDimitry Andric return AluTrans; 2170b57cec5SDimitry Andric 2180b57cec5SDimitry Andric switch (MI->getOpcode()) { 2190b57cec5SDimitry Andric case R600::PRED_X: 2200b57cec5SDimitry Andric return AluPredX; 2210b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 2220b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 2230b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 2240b57cec5SDimitry Andric case R600::DOT_4: 2250b57cec5SDimitry Andric return AluT_XYZW; 2260b57cec5SDimitry Andric case R600::COPY: 2270b57cec5SDimitry Andric if (MI->getOperand(1).isUndef()) { 2280b57cec5SDimitry Andric // MI will become a KILL, don't considers it in scheduling 2290b57cec5SDimitry Andric return AluDiscarded; 2300b57cec5SDimitry Andric } 2310b57cec5SDimitry Andric break; 2320b57cec5SDimitry Andric default: 2330b57cec5SDimitry Andric break; 2340b57cec5SDimitry Andric } 2350b57cec5SDimitry Andric 2360b57cec5SDimitry Andric // Does the instruction take a whole IG ? 2370b57cec5SDimitry Andric // XXX: Is it possible to add a helper function in R600InstrInfo that can 2380b57cec5SDimitry Andric // be used here and in R600PacketizerList::isSoloInstruction() ? 2390b57cec5SDimitry Andric if(TII->isVector(*MI) || 2400b57cec5SDimitry Andric TII->isCubeOp(MI->getOpcode()) || 2410b57cec5SDimitry Andric TII->isReductionOp(MI->getOpcode()) || 2420b57cec5SDimitry Andric MI->getOpcode() == R600::GROUP_BARRIER) { 2430b57cec5SDimitry Andric return AluT_XYZW; 2440b57cec5SDimitry Andric } 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric if (TII->isLDSInstr(MI->getOpcode())) { 2470b57cec5SDimitry Andric return AluT_X; 2480b57cec5SDimitry Andric } 2490b57cec5SDimitry Andric 2500b57cec5SDimitry Andric // Is the result already assigned to a channel ? 2510b57cec5SDimitry Andric unsigned DestSubReg = MI->getOperand(0).getSubReg(); 2520b57cec5SDimitry Andric switch (DestSubReg) { 2530b57cec5SDimitry Andric case R600::sub0: 2540b57cec5SDimitry Andric return AluT_X; 2550b57cec5SDimitry Andric case R600::sub1: 2560b57cec5SDimitry Andric return AluT_Y; 2570b57cec5SDimitry Andric case R600::sub2: 2580b57cec5SDimitry Andric return AluT_Z; 2590b57cec5SDimitry Andric case R600::sub3: 2600b57cec5SDimitry Andric return AluT_W; 2610b57cec5SDimitry Andric default: 2620b57cec5SDimitry Andric break; 2630b57cec5SDimitry Andric } 2640b57cec5SDimitry Andric 2650b57cec5SDimitry Andric // Is the result already member of a X/Y/Z/W class ? 2668bcb0991SDimitry Andric Register DestReg = MI->getOperand(0).getReg(); 2670b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_XRegClass) || 2680b57cec5SDimitry Andric regBelongsToClass(DestReg, &R600::R600_AddrRegClass)) 2690b57cec5SDimitry Andric return AluT_X; 2700b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_YRegClass)) 2710b57cec5SDimitry Andric return AluT_Y; 2720b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_ZRegClass)) 2730b57cec5SDimitry Andric return AluT_Z; 2740b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_WRegClass)) 2750b57cec5SDimitry Andric return AluT_W; 2760b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_Reg128RegClass)) 2770b57cec5SDimitry Andric return AluT_XYZW; 2780b57cec5SDimitry Andric 2790b57cec5SDimitry Andric // LDS src registers cannot be used in the Trans slot. 2800b57cec5SDimitry Andric if (TII->readsLDSSrcReg(*MI)) 2810b57cec5SDimitry Andric return AluT_XYZW; 2820b57cec5SDimitry Andric 2830b57cec5SDimitry Andric return AluAny; 2840b57cec5SDimitry Andric } 2850b57cec5SDimitry Andric 2860b57cec5SDimitry Andric int R600SchedStrategy::getInstKind(SUnit* SU) { 2870b57cec5SDimitry Andric int Opcode = SU->getInstr()->getOpcode(); 2880b57cec5SDimitry Andric 2890b57cec5SDimitry Andric if (TII->usesTextureCache(Opcode) || TII->usesVertexCache(Opcode)) 2900b57cec5SDimitry Andric return IDFetch; 2910b57cec5SDimitry Andric 2920b57cec5SDimitry Andric if (TII->isALUInstr(Opcode)) { 2930b57cec5SDimitry Andric return IDAlu; 2940b57cec5SDimitry Andric } 2950b57cec5SDimitry Andric 2960b57cec5SDimitry Andric switch (Opcode) { 2970b57cec5SDimitry Andric case R600::PRED_X: 2980b57cec5SDimitry Andric case R600::COPY: 2990b57cec5SDimitry Andric case R600::CONST_COPY: 3000b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 3010b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 3020b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 3030b57cec5SDimitry Andric case R600::DOT_4: 3040b57cec5SDimitry Andric return IDAlu; 3050b57cec5SDimitry Andric default: 3060b57cec5SDimitry Andric return IDOther; 3070b57cec5SDimitry Andric } 3080b57cec5SDimitry Andric } 3090b57cec5SDimitry Andric 3100b57cec5SDimitry Andric SUnit *R600SchedStrategy::PopInst(std::vector<SUnit *> &Q, bool AnyALU) { 3110b57cec5SDimitry Andric if (Q.empty()) 3120b57cec5SDimitry Andric return nullptr; 3130b57cec5SDimitry Andric for (std::vector<SUnit *>::reverse_iterator It = Q.rbegin(), E = Q.rend(); 3140b57cec5SDimitry Andric It != E; ++It) { 3150b57cec5SDimitry Andric SUnit *SU = *It; 3160b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 3170b57cec5SDimitry Andric if (TII->fitsConstReadLimitations(InstructionsGroupCandidate) && 3180b57cec5SDimitry Andric (!AnyALU || !TII->isVectorOnly(*SU->getInstr()))) { 3190b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 3200b57cec5SDimitry Andric Q.erase((It + 1).base()); 3210b57cec5SDimitry Andric return SU; 3220b57cec5SDimitry Andric } else { 3230b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 3240b57cec5SDimitry Andric } 3250b57cec5SDimitry Andric } 3260b57cec5SDimitry Andric return nullptr; 3270b57cec5SDimitry Andric } 3280b57cec5SDimitry Andric 3290b57cec5SDimitry Andric void R600SchedStrategy::LoadAlu() { 3300b57cec5SDimitry Andric std::vector<SUnit *> &QSrc = Pending[IDAlu]; 331*0eae32dcSDimitry Andric for (SUnit *SU : QSrc) { 332*0eae32dcSDimitry Andric AluKind AK = getAluKind(SU); 333*0eae32dcSDimitry Andric AvailableAlus[AK].push_back(SU); 3340b57cec5SDimitry Andric } 3350b57cec5SDimitry Andric QSrc.clear(); 3360b57cec5SDimitry Andric } 3370b57cec5SDimitry Andric 3380b57cec5SDimitry Andric void R600SchedStrategy::PrepareNextSlot() { 3390b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "New Slot\n"); 340349cc55cSDimitry Andric assert(OccupiedSlotsMask && "Slot wasn't filled"); 341349cc55cSDimitry Andric OccupiedSlotsMask = 0; 3420b57cec5SDimitry Andric // if (HwGen == AMDGPUSubtarget::NORTHERN_ISLANDS) 343349cc55cSDimitry Andric // OccupiedSlotsMask |= 16; 3440b57cec5SDimitry Andric InstructionsGroupCandidate.clear(); 3450b57cec5SDimitry Andric LoadAlu(); 3460b57cec5SDimitry Andric } 3470b57cec5SDimitry Andric 3480b57cec5SDimitry Andric void R600SchedStrategy::AssignSlot(MachineInstr* MI, unsigned Slot) { 3490b57cec5SDimitry Andric int DstIndex = TII->getOperandIdx(MI->getOpcode(), R600::OpName::dst); 3500b57cec5SDimitry Andric if (DstIndex == -1) { 3510b57cec5SDimitry Andric return; 3520b57cec5SDimitry Andric } 3538bcb0991SDimitry Andric Register DestReg = MI->getOperand(DstIndex).getReg(); 3540b57cec5SDimitry Andric // PressureRegister crashes if an operand is def and used in the same inst 3550b57cec5SDimitry Andric // and we try to constraint its regclass 3560b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = MI->operands_begin(), 3570b57cec5SDimitry Andric E = MI->operands_end(); It != E; ++It) { 3580b57cec5SDimitry Andric MachineOperand &MO = *It; 3590b57cec5SDimitry Andric if (MO.isReg() && !MO.isDef() && 3600b57cec5SDimitry Andric MO.getReg() == DestReg) 3610b57cec5SDimitry Andric return; 3620b57cec5SDimitry Andric } 3630b57cec5SDimitry Andric // Constrains the regclass of DestReg to assign it to Slot 3640b57cec5SDimitry Andric switch (Slot) { 3650b57cec5SDimitry Andric case 0: 3660b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_XRegClass); 3670b57cec5SDimitry Andric break; 3680b57cec5SDimitry Andric case 1: 3690b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_YRegClass); 3700b57cec5SDimitry Andric break; 3710b57cec5SDimitry Andric case 2: 3720b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_ZRegClass); 3730b57cec5SDimitry Andric break; 3740b57cec5SDimitry Andric case 3: 3750b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_WRegClass); 3760b57cec5SDimitry Andric break; 3770b57cec5SDimitry Andric } 3780b57cec5SDimitry Andric } 3790b57cec5SDimitry Andric 3800b57cec5SDimitry Andric SUnit *R600SchedStrategy::AttemptFillSlot(unsigned Slot, bool AnyAlu) { 3810b57cec5SDimitry Andric static const AluKind IndexToID[] = {AluT_X, AluT_Y, AluT_Z, AluT_W}; 3820b57cec5SDimitry Andric SUnit *SlotedSU = PopInst(AvailableAlus[IndexToID[Slot]], AnyAlu); 3830b57cec5SDimitry Andric if (SlotedSU) 3840b57cec5SDimitry Andric return SlotedSU; 3850b57cec5SDimitry Andric SUnit *UnslotedSU = PopInst(AvailableAlus[AluAny], AnyAlu); 3860b57cec5SDimitry Andric if (UnslotedSU) 3870b57cec5SDimitry Andric AssignSlot(UnslotedSU->getInstr(), Slot); 3880b57cec5SDimitry Andric return UnslotedSU; 3890b57cec5SDimitry Andric } 3900b57cec5SDimitry Andric 3910b57cec5SDimitry Andric unsigned R600SchedStrategy::AvailablesAluCount() const { 3920b57cec5SDimitry Andric return AvailableAlus[AluAny].size() + AvailableAlus[AluT_XYZW].size() + 3930b57cec5SDimitry Andric AvailableAlus[AluT_X].size() + AvailableAlus[AluT_Y].size() + 3940b57cec5SDimitry Andric AvailableAlus[AluT_Z].size() + AvailableAlus[AluT_W].size() + 3950b57cec5SDimitry Andric AvailableAlus[AluTrans].size() + AvailableAlus[AluDiscarded].size() + 3960b57cec5SDimitry Andric AvailableAlus[AluPredX].size(); 3970b57cec5SDimitry Andric } 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickAlu() { 4000b57cec5SDimitry Andric while (AvailablesAluCount() || !Pending[IDAlu].empty()) { 401349cc55cSDimitry Andric if (!OccupiedSlotsMask) { 4020b57cec5SDimitry Andric // Bottom up scheduling : predX must comes first 4030b57cec5SDimitry Andric if (!AvailableAlus[AluPredX].empty()) { 404349cc55cSDimitry Andric OccupiedSlotsMask |= 31; 4050b57cec5SDimitry Andric return PopInst(AvailableAlus[AluPredX], false); 4060b57cec5SDimitry Andric } 4070b57cec5SDimitry Andric // Flush physical reg copies (RA will discard them) 4080b57cec5SDimitry Andric if (!AvailableAlus[AluDiscarded].empty()) { 409349cc55cSDimitry Andric OccupiedSlotsMask |= 31; 4100b57cec5SDimitry Andric return PopInst(AvailableAlus[AluDiscarded], false); 4110b57cec5SDimitry Andric } 4120b57cec5SDimitry Andric // If there is a T_XYZW alu available, use it 4130b57cec5SDimitry Andric if (!AvailableAlus[AluT_XYZW].empty()) { 414349cc55cSDimitry Andric OccupiedSlotsMask |= 15; 4150b57cec5SDimitry Andric return PopInst(AvailableAlus[AluT_XYZW], false); 4160b57cec5SDimitry Andric } 4170b57cec5SDimitry Andric } 418349cc55cSDimitry Andric bool TransSlotOccupied = OccupiedSlotsMask & 16; 419349cc55cSDimitry Andric if (!TransSlotOccupied && VLIW5) { 4200b57cec5SDimitry Andric if (!AvailableAlus[AluTrans].empty()) { 421349cc55cSDimitry Andric OccupiedSlotsMask |= 16; 4220b57cec5SDimitry Andric return PopInst(AvailableAlus[AluTrans], false); 4230b57cec5SDimitry Andric } 4240b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(3, true); 4250b57cec5SDimitry Andric if (SU) { 426349cc55cSDimitry Andric OccupiedSlotsMask |= 16; 4270b57cec5SDimitry Andric return SU; 4280b57cec5SDimitry Andric } 4290b57cec5SDimitry Andric } 4300b57cec5SDimitry Andric for (int Chan = 3; Chan > -1; --Chan) { 431349cc55cSDimitry Andric bool isOccupied = OccupiedSlotsMask & (1 << Chan); 4320b57cec5SDimitry Andric if (!isOccupied) { 4330b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(Chan, false); 4340b57cec5SDimitry Andric if (SU) { 435349cc55cSDimitry Andric OccupiedSlotsMask |= (1 << Chan); 4360b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 4370b57cec5SDimitry Andric return SU; 4380b57cec5SDimitry Andric } 4390b57cec5SDimitry Andric } 4400b57cec5SDimitry Andric } 4410b57cec5SDimitry Andric PrepareNextSlot(); 4420b57cec5SDimitry Andric } 4430b57cec5SDimitry Andric return nullptr; 4440b57cec5SDimitry Andric } 4450b57cec5SDimitry Andric 4460b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickOther(int QID) { 4470b57cec5SDimitry Andric SUnit *SU = nullptr; 4480b57cec5SDimitry Andric std::vector<SUnit *> &AQ = Available[QID]; 4490b57cec5SDimitry Andric 4500b57cec5SDimitry Andric if (AQ.empty()) { 4510b57cec5SDimitry Andric MoveUnits(Pending[QID], AQ); 4520b57cec5SDimitry Andric } 4530b57cec5SDimitry Andric if (!AQ.empty()) { 4540b57cec5SDimitry Andric SU = AQ.back(); 4550b57cec5SDimitry Andric AQ.pop_back(); 4560b57cec5SDimitry Andric } 4570b57cec5SDimitry Andric return SU; 4580b57cec5SDimitry Andric } 459