1*0b57cec5SDimitry Andric //===-- R600MachineScheduler.cpp - R600 Scheduler Interface -*- C++ -*-----===// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric // 9*0b57cec5SDimitry Andric /// \file 10*0b57cec5SDimitry Andric /// R600 Machine Scheduler interface 11*0b57cec5SDimitry Andric // 12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 13*0b57cec5SDimitry Andric 14*0b57cec5SDimitry Andric #include "R600MachineScheduler.h" 15*0b57cec5SDimitry Andric #include "AMDGPUSubtarget.h" 16*0b57cec5SDimitry Andric #include "R600InstrInfo.h" 17*0b57cec5SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h" 18*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h" 19*0b57cec5SDimitry Andric #include "llvm/IR/LegacyPassManager.h" 20*0b57cec5SDimitry Andric #include "llvm/Pass.h" 21*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 22*0b57cec5SDimitry Andric 23*0b57cec5SDimitry Andric using namespace llvm; 24*0b57cec5SDimitry Andric 25*0b57cec5SDimitry Andric #define DEBUG_TYPE "machine-scheduler" 26*0b57cec5SDimitry Andric 27*0b57cec5SDimitry Andric void R600SchedStrategy::initialize(ScheduleDAGMI *dag) { 28*0b57cec5SDimitry Andric assert(dag->hasVRegLiveness() && "R600SchedStrategy needs vreg liveness"); 29*0b57cec5SDimitry Andric DAG = static_cast<ScheduleDAGMILive*>(dag); 30*0b57cec5SDimitry Andric const R600Subtarget &ST = DAG->MF.getSubtarget<R600Subtarget>(); 31*0b57cec5SDimitry Andric TII = static_cast<const R600InstrInfo*>(DAG->TII); 32*0b57cec5SDimitry Andric TRI = static_cast<const R600RegisterInfo*>(DAG->TRI); 33*0b57cec5SDimitry Andric VLIW5 = !ST.hasCaymanISA(); 34*0b57cec5SDimitry Andric MRI = &DAG->MRI; 35*0b57cec5SDimitry Andric CurInstKind = IDOther; 36*0b57cec5SDimitry Andric CurEmitted = 0; 37*0b57cec5SDimitry Andric OccupedSlotsMask = 31; 38*0b57cec5SDimitry Andric InstKindLimit[IDAlu] = TII->getMaxAlusPerClause(); 39*0b57cec5SDimitry Andric InstKindLimit[IDOther] = 32; 40*0b57cec5SDimitry Andric InstKindLimit[IDFetch] = ST.getTexVTXClauseSize(); 41*0b57cec5SDimitry Andric AluInstCount = 0; 42*0b57cec5SDimitry Andric FetchInstCount = 0; 43*0b57cec5SDimitry Andric } 44*0b57cec5SDimitry Andric 45*0b57cec5SDimitry Andric void R600SchedStrategy::MoveUnits(std::vector<SUnit *> &QSrc, 46*0b57cec5SDimitry Andric std::vector<SUnit *> &QDst) 47*0b57cec5SDimitry Andric { 48*0b57cec5SDimitry Andric QDst.insert(QDst.end(), QSrc.begin(), QSrc.end()); 49*0b57cec5SDimitry Andric QSrc.clear(); 50*0b57cec5SDimitry Andric } 51*0b57cec5SDimitry Andric 52*0b57cec5SDimitry Andric static unsigned getWFCountLimitedByGPR(unsigned GPRCount) { 53*0b57cec5SDimitry Andric assert (GPRCount && "GPRCount cannot be 0"); 54*0b57cec5SDimitry Andric return 248 / GPRCount; 55*0b57cec5SDimitry Andric } 56*0b57cec5SDimitry Andric 57*0b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickNode(bool &IsTopNode) { 58*0b57cec5SDimitry Andric SUnit *SU = nullptr; 59*0b57cec5SDimitry Andric NextInstKind = IDOther; 60*0b57cec5SDimitry Andric 61*0b57cec5SDimitry Andric IsTopNode = false; 62*0b57cec5SDimitry Andric 63*0b57cec5SDimitry Andric // check if we might want to switch current clause type 64*0b57cec5SDimitry Andric bool AllowSwitchToAlu = (CurEmitted >= InstKindLimit[CurInstKind]) || 65*0b57cec5SDimitry Andric (Available[CurInstKind].empty()); 66*0b57cec5SDimitry Andric bool AllowSwitchFromAlu = (CurEmitted >= InstKindLimit[CurInstKind]) && 67*0b57cec5SDimitry Andric (!Available[IDFetch].empty() || !Available[IDOther].empty()); 68*0b57cec5SDimitry Andric 69*0b57cec5SDimitry Andric if (CurInstKind == IDAlu && !Available[IDFetch].empty()) { 70*0b57cec5SDimitry Andric // We use the heuristic provided by AMD Accelerated Parallel Processing 71*0b57cec5SDimitry Andric // OpenCL Programming Guide : 72*0b57cec5SDimitry Andric // The approx. number of WF that allows TEX inst to hide ALU inst is : 73*0b57cec5SDimitry Andric // 500 (cycles for TEX) / (AluFetchRatio * 8 (cycles for ALU)) 74*0b57cec5SDimitry Andric float ALUFetchRationEstimate = 75*0b57cec5SDimitry Andric (AluInstCount + AvailablesAluCount() + Pending[IDAlu].size()) / 76*0b57cec5SDimitry Andric (FetchInstCount + Available[IDFetch].size()); 77*0b57cec5SDimitry Andric if (ALUFetchRationEstimate == 0) { 78*0b57cec5SDimitry Andric AllowSwitchFromAlu = true; 79*0b57cec5SDimitry Andric } else { 80*0b57cec5SDimitry Andric unsigned NeededWF = 62.5f / ALUFetchRationEstimate; 81*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << NeededWF << " approx. Wavefronts Required\n"); 82*0b57cec5SDimitry Andric // We assume the local GPR requirements to be "dominated" by the requirement 83*0b57cec5SDimitry Andric // of the TEX clause (which consumes 128 bits regs) ; ALU inst before and 84*0b57cec5SDimitry Andric // after TEX are indeed likely to consume or generate values from/for the 85*0b57cec5SDimitry Andric // TEX clause. 86*0b57cec5SDimitry Andric // Available[IDFetch].size() * 2 : GPRs required in the Fetch clause 87*0b57cec5SDimitry Andric // We assume that fetch instructions are either TnXYZW = TEX TnXYZW (need 88*0b57cec5SDimitry Andric // one GPR) or TmXYZW = TnXYZW (need 2 GPR). 89*0b57cec5SDimitry Andric // (TODO : use RegisterPressure) 90*0b57cec5SDimitry Andric // If we are going too use too many GPR, we flush Fetch instruction to lower 91*0b57cec5SDimitry Andric // register pressure on 128 bits regs. 92*0b57cec5SDimitry Andric unsigned NearRegisterRequirement = 2 * Available[IDFetch].size(); 93*0b57cec5SDimitry Andric if (NeededWF > getWFCountLimitedByGPR(NearRegisterRequirement)) 94*0b57cec5SDimitry Andric AllowSwitchFromAlu = true; 95*0b57cec5SDimitry Andric } 96*0b57cec5SDimitry Andric } 97*0b57cec5SDimitry Andric 98*0b57cec5SDimitry Andric if (!SU && ((AllowSwitchToAlu && CurInstKind != IDAlu) || 99*0b57cec5SDimitry Andric (!AllowSwitchFromAlu && CurInstKind == IDAlu))) { 100*0b57cec5SDimitry Andric // try to pick ALU 101*0b57cec5SDimitry Andric SU = pickAlu(); 102*0b57cec5SDimitry Andric if (!SU && !PhysicalRegCopy.empty()) { 103*0b57cec5SDimitry Andric SU = PhysicalRegCopy.front(); 104*0b57cec5SDimitry Andric PhysicalRegCopy.erase(PhysicalRegCopy.begin()); 105*0b57cec5SDimitry Andric } 106*0b57cec5SDimitry Andric if (SU) { 107*0b57cec5SDimitry Andric if (CurEmitted >= InstKindLimit[IDAlu]) 108*0b57cec5SDimitry Andric CurEmitted = 0; 109*0b57cec5SDimitry Andric NextInstKind = IDAlu; 110*0b57cec5SDimitry Andric } 111*0b57cec5SDimitry Andric } 112*0b57cec5SDimitry Andric 113*0b57cec5SDimitry Andric if (!SU) { 114*0b57cec5SDimitry Andric // try to pick FETCH 115*0b57cec5SDimitry Andric SU = pickOther(IDFetch); 116*0b57cec5SDimitry Andric if (SU) 117*0b57cec5SDimitry Andric NextInstKind = IDFetch; 118*0b57cec5SDimitry Andric } 119*0b57cec5SDimitry Andric 120*0b57cec5SDimitry Andric // try to pick other 121*0b57cec5SDimitry Andric if (!SU) { 122*0b57cec5SDimitry Andric SU = pickOther(IDOther); 123*0b57cec5SDimitry Andric if (SU) 124*0b57cec5SDimitry Andric NextInstKind = IDOther; 125*0b57cec5SDimitry Andric } 126*0b57cec5SDimitry Andric 127*0b57cec5SDimitry Andric LLVM_DEBUG(if (SU) { 128*0b57cec5SDimitry Andric dbgs() << " ** Pick node **\n"; 129*0b57cec5SDimitry Andric DAG->dumpNode(*SU); 130*0b57cec5SDimitry Andric } else { 131*0b57cec5SDimitry Andric dbgs() << "NO NODE \n"; 132*0b57cec5SDimitry Andric for (unsigned i = 0; i < DAG->SUnits.size(); i++) { 133*0b57cec5SDimitry Andric const SUnit &S = DAG->SUnits[i]; 134*0b57cec5SDimitry Andric if (!S.isScheduled) 135*0b57cec5SDimitry Andric DAG->dumpNode(S); 136*0b57cec5SDimitry Andric } 137*0b57cec5SDimitry Andric }); 138*0b57cec5SDimitry Andric 139*0b57cec5SDimitry Andric return SU; 140*0b57cec5SDimitry Andric } 141*0b57cec5SDimitry Andric 142*0b57cec5SDimitry Andric void R600SchedStrategy::schedNode(SUnit *SU, bool IsTopNode) { 143*0b57cec5SDimitry Andric if (NextInstKind != CurInstKind) { 144*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Instruction Type Switch\n"); 145*0b57cec5SDimitry Andric if (NextInstKind != IDAlu) 146*0b57cec5SDimitry Andric OccupedSlotsMask |= 31; 147*0b57cec5SDimitry Andric CurEmitted = 0; 148*0b57cec5SDimitry Andric CurInstKind = NextInstKind; 149*0b57cec5SDimitry Andric } 150*0b57cec5SDimitry Andric 151*0b57cec5SDimitry Andric if (CurInstKind == IDAlu) { 152*0b57cec5SDimitry Andric AluInstCount ++; 153*0b57cec5SDimitry Andric switch (getAluKind(SU)) { 154*0b57cec5SDimitry Andric case AluT_XYZW: 155*0b57cec5SDimitry Andric CurEmitted += 4; 156*0b57cec5SDimitry Andric break; 157*0b57cec5SDimitry Andric case AluDiscarded: 158*0b57cec5SDimitry Andric break; 159*0b57cec5SDimitry Andric default: { 160*0b57cec5SDimitry Andric ++CurEmitted; 161*0b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = SU->getInstr()->operands_begin(), 162*0b57cec5SDimitry Andric E = SU->getInstr()->operands_end(); It != E; ++It) { 163*0b57cec5SDimitry Andric MachineOperand &MO = *It; 164*0b57cec5SDimitry Andric if (MO.isReg() && MO.getReg() == R600::ALU_LITERAL_X) 165*0b57cec5SDimitry Andric ++CurEmitted; 166*0b57cec5SDimitry Andric } 167*0b57cec5SDimitry Andric } 168*0b57cec5SDimitry Andric } 169*0b57cec5SDimitry Andric } else { 170*0b57cec5SDimitry Andric ++CurEmitted; 171*0b57cec5SDimitry Andric } 172*0b57cec5SDimitry Andric 173*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << CurEmitted << " Instructions Emitted in this clause\n"); 174*0b57cec5SDimitry Andric 175*0b57cec5SDimitry Andric if (CurInstKind != IDFetch) { 176*0b57cec5SDimitry Andric MoveUnits(Pending[IDFetch], Available[IDFetch]); 177*0b57cec5SDimitry Andric } else 178*0b57cec5SDimitry Andric FetchInstCount++; 179*0b57cec5SDimitry Andric } 180*0b57cec5SDimitry Andric 181*0b57cec5SDimitry Andric static bool 182*0b57cec5SDimitry Andric isPhysicalRegCopy(MachineInstr *MI) { 183*0b57cec5SDimitry Andric if (MI->getOpcode() != R600::COPY) 184*0b57cec5SDimitry Andric return false; 185*0b57cec5SDimitry Andric 186*0b57cec5SDimitry Andric return !TargetRegisterInfo::isVirtualRegister(MI->getOperand(1).getReg()); 187*0b57cec5SDimitry Andric } 188*0b57cec5SDimitry Andric 189*0b57cec5SDimitry Andric void R600SchedStrategy::releaseTopNode(SUnit *SU) { 190*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Top Releasing "; DAG->dumpNode(*SU)); 191*0b57cec5SDimitry Andric } 192*0b57cec5SDimitry Andric 193*0b57cec5SDimitry Andric void R600SchedStrategy::releaseBottomNode(SUnit *SU) { 194*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "Bottom Releasing "; DAG->dumpNode(*SU)); 195*0b57cec5SDimitry Andric if (isPhysicalRegCopy(SU->getInstr())) { 196*0b57cec5SDimitry Andric PhysicalRegCopy.push_back(SU); 197*0b57cec5SDimitry Andric return; 198*0b57cec5SDimitry Andric } 199*0b57cec5SDimitry Andric 200*0b57cec5SDimitry Andric int IK = getInstKind(SU); 201*0b57cec5SDimitry Andric 202*0b57cec5SDimitry Andric // There is no export clause, we can schedule one as soon as its ready 203*0b57cec5SDimitry Andric if (IK == IDOther) 204*0b57cec5SDimitry Andric Available[IDOther].push_back(SU); 205*0b57cec5SDimitry Andric else 206*0b57cec5SDimitry Andric Pending[IK].push_back(SU); 207*0b57cec5SDimitry Andric 208*0b57cec5SDimitry Andric } 209*0b57cec5SDimitry Andric 210*0b57cec5SDimitry Andric bool R600SchedStrategy::regBelongsToClass(unsigned Reg, 211*0b57cec5SDimitry Andric const TargetRegisterClass *RC) const { 212*0b57cec5SDimitry Andric if (!TargetRegisterInfo::isVirtualRegister(Reg)) { 213*0b57cec5SDimitry Andric return RC->contains(Reg); 214*0b57cec5SDimitry Andric } else { 215*0b57cec5SDimitry Andric return MRI->getRegClass(Reg) == RC; 216*0b57cec5SDimitry Andric } 217*0b57cec5SDimitry Andric } 218*0b57cec5SDimitry Andric 219*0b57cec5SDimitry Andric R600SchedStrategy::AluKind R600SchedStrategy::getAluKind(SUnit *SU) const { 220*0b57cec5SDimitry Andric MachineInstr *MI = SU->getInstr(); 221*0b57cec5SDimitry Andric 222*0b57cec5SDimitry Andric if (TII->isTransOnly(*MI)) 223*0b57cec5SDimitry Andric return AluTrans; 224*0b57cec5SDimitry Andric 225*0b57cec5SDimitry Andric switch (MI->getOpcode()) { 226*0b57cec5SDimitry Andric case R600::PRED_X: 227*0b57cec5SDimitry Andric return AluPredX; 228*0b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 229*0b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 230*0b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 231*0b57cec5SDimitry Andric case R600::DOT_4: 232*0b57cec5SDimitry Andric return AluT_XYZW; 233*0b57cec5SDimitry Andric case R600::COPY: 234*0b57cec5SDimitry Andric if (MI->getOperand(1).isUndef()) { 235*0b57cec5SDimitry Andric // MI will become a KILL, don't considers it in scheduling 236*0b57cec5SDimitry Andric return AluDiscarded; 237*0b57cec5SDimitry Andric } 238*0b57cec5SDimitry Andric break; 239*0b57cec5SDimitry Andric default: 240*0b57cec5SDimitry Andric break; 241*0b57cec5SDimitry Andric } 242*0b57cec5SDimitry Andric 243*0b57cec5SDimitry Andric // Does the instruction take a whole IG ? 244*0b57cec5SDimitry Andric // XXX: Is it possible to add a helper function in R600InstrInfo that can 245*0b57cec5SDimitry Andric // be used here and in R600PacketizerList::isSoloInstruction() ? 246*0b57cec5SDimitry Andric if(TII->isVector(*MI) || 247*0b57cec5SDimitry Andric TII->isCubeOp(MI->getOpcode()) || 248*0b57cec5SDimitry Andric TII->isReductionOp(MI->getOpcode()) || 249*0b57cec5SDimitry Andric MI->getOpcode() == R600::GROUP_BARRIER) { 250*0b57cec5SDimitry Andric return AluT_XYZW; 251*0b57cec5SDimitry Andric } 252*0b57cec5SDimitry Andric 253*0b57cec5SDimitry Andric if (TII->isLDSInstr(MI->getOpcode())) { 254*0b57cec5SDimitry Andric return AluT_X; 255*0b57cec5SDimitry Andric } 256*0b57cec5SDimitry Andric 257*0b57cec5SDimitry Andric // Is the result already assigned to a channel ? 258*0b57cec5SDimitry Andric unsigned DestSubReg = MI->getOperand(0).getSubReg(); 259*0b57cec5SDimitry Andric switch (DestSubReg) { 260*0b57cec5SDimitry Andric case R600::sub0: 261*0b57cec5SDimitry Andric return AluT_X; 262*0b57cec5SDimitry Andric case R600::sub1: 263*0b57cec5SDimitry Andric return AluT_Y; 264*0b57cec5SDimitry Andric case R600::sub2: 265*0b57cec5SDimitry Andric return AluT_Z; 266*0b57cec5SDimitry Andric case R600::sub3: 267*0b57cec5SDimitry Andric return AluT_W; 268*0b57cec5SDimitry Andric default: 269*0b57cec5SDimitry Andric break; 270*0b57cec5SDimitry Andric } 271*0b57cec5SDimitry Andric 272*0b57cec5SDimitry Andric // Is the result already member of a X/Y/Z/W class ? 273*0b57cec5SDimitry Andric unsigned DestReg = MI->getOperand(0).getReg(); 274*0b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_XRegClass) || 275*0b57cec5SDimitry Andric regBelongsToClass(DestReg, &R600::R600_AddrRegClass)) 276*0b57cec5SDimitry Andric return AluT_X; 277*0b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_YRegClass)) 278*0b57cec5SDimitry Andric return AluT_Y; 279*0b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_ZRegClass)) 280*0b57cec5SDimitry Andric return AluT_Z; 281*0b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_TReg32_WRegClass)) 282*0b57cec5SDimitry Andric return AluT_W; 283*0b57cec5SDimitry Andric if (regBelongsToClass(DestReg, &R600::R600_Reg128RegClass)) 284*0b57cec5SDimitry Andric return AluT_XYZW; 285*0b57cec5SDimitry Andric 286*0b57cec5SDimitry Andric // LDS src registers cannot be used in the Trans slot. 287*0b57cec5SDimitry Andric if (TII->readsLDSSrcReg(*MI)) 288*0b57cec5SDimitry Andric return AluT_XYZW; 289*0b57cec5SDimitry Andric 290*0b57cec5SDimitry Andric return AluAny; 291*0b57cec5SDimitry Andric } 292*0b57cec5SDimitry Andric 293*0b57cec5SDimitry Andric int R600SchedStrategy::getInstKind(SUnit* SU) { 294*0b57cec5SDimitry Andric int Opcode = SU->getInstr()->getOpcode(); 295*0b57cec5SDimitry Andric 296*0b57cec5SDimitry Andric if (TII->usesTextureCache(Opcode) || TII->usesVertexCache(Opcode)) 297*0b57cec5SDimitry Andric return IDFetch; 298*0b57cec5SDimitry Andric 299*0b57cec5SDimitry Andric if (TII->isALUInstr(Opcode)) { 300*0b57cec5SDimitry Andric return IDAlu; 301*0b57cec5SDimitry Andric } 302*0b57cec5SDimitry Andric 303*0b57cec5SDimitry Andric switch (Opcode) { 304*0b57cec5SDimitry Andric case R600::PRED_X: 305*0b57cec5SDimitry Andric case R600::COPY: 306*0b57cec5SDimitry Andric case R600::CONST_COPY: 307*0b57cec5SDimitry Andric case R600::INTERP_PAIR_XY: 308*0b57cec5SDimitry Andric case R600::INTERP_PAIR_ZW: 309*0b57cec5SDimitry Andric case R600::INTERP_VEC_LOAD: 310*0b57cec5SDimitry Andric case R600::DOT_4: 311*0b57cec5SDimitry Andric return IDAlu; 312*0b57cec5SDimitry Andric default: 313*0b57cec5SDimitry Andric return IDOther; 314*0b57cec5SDimitry Andric } 315*0b57cec5SDimitry Andric } 316*0b57cec5SDimitry Andric 317*0b57cec5SDimitry Andric SUnit *R600SchedStrategy::PopInst(std::vector<SUnit *> &Q, bool AnyALU) { 318*0b57cec5SDimitry Andric if (Q.empty()) 319*0b57cec5SDimitry Andric return nullptr; 320*0b57cec5SDimitry Andric for (std::vector<SUnit *>::reverse_iterator It = Q.rbegin(), E = Q.rend(); 321*0b57cec5SDimitry Andric It != E; ++It) { 322*0b57cec5SDimitry Andric SUnit *SU = *It; 323*0b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 324*0b57cec5SDimitry Andric if (TII->fitsConstReadLimitations(InstructionsGroupCandidate) && 325*0b57cec5SDimitry Andric (!AnyALU || !TII->isVectorOnly(*SU->getInstr()))) { 326*0b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 327*0b57cec5SDimitry Andric Q.erase((It + 1).base()); 328*0b57cec5SDimitry Andric return SU; 329*0b57cec5SDimitry Andric } else { 330*0b57cec5SDimitry Andric InstructionsGroupCandidate.pop_back(); 331*0b57cec5SDimitry Andric } 332*0b57cec5SDimitry Andric } 333*0b57cec5SDimitry Andric return nullptr; 334*0b57cec5SDimitry Andric } 335*0b57cec5SDimitry Andric 336*0b57cec5SDimitry Andric void R600SchedStrategy::LoadAlu() { 337*0b57cec5SDimitry Andric std::vector<SUnit *> &QSrc = Pending[IDAlu]; 338*0b57cec5SDimitry Andric for (unsigned i = 0, e = QSrc.size(); i < e; ++i) { 339*0b57cec5SDimitry Andric AluKind AK = getAluKind(QSrc[i]); 340*0b57cec5SDimitry Andric AvailableAlus[AK].push_back(QSrc[i]); 341*0b57cec5SDimitry Andric } 342*0b57cec5SDimitry Andric QSrc.clear(); 343*0b57cec5SDimitry Andric } 344*0b57cec5SDimitry Andric 345*0b57cec5SDimitry Andric void R600SchedStrategy::PrepareNextSlot() { 346*0b57cec5SDimitry Andric LLVM_DEBUG(dbgs() << "New Slot\n"); 347*0b57cec5SDimitry Andric assert (OccupedSlotsMask && "Slot wasn't filled"); 348*0b57cec5SDimitry Andric OccupedSlotsMask = 0; 349*0b57cec5SDimitry Andric // if (HwGen == AMDGPUSubtarget::NORTHERN_ISLANDS) 350*0b57cec5SDimitry Andric // OccupedSlotsMask |= 16; 351*0b57cec5SDimitry Andric InstructionsGroupCandidate.clear(); 352*0b57cec5SDimitry Andric LoadAlu(); 353*0b57cec5SDimitry Andric } 354*0b57cec5SDimitry Andric 355*0b57cec5SDimitry Andric void R600SchedStrategy::AssignSlot(MachineInstr* MI, unsigned Slot) { 356*0b57cec5SDimitry Andric int DstIndex = TII->getOperandIdx(MI->getOpcode(), R600::OpName::dst); 357*0b57cec5SDimitry Andric if (DstIndex == -1) { 358*0b57cec5SDimitry Andric return; 359*0b57cec5SDimitry Andric } 360*0b57cec5SDimitry Andric unsigned DestReg = MI->getOperand(DstIndex).getReg(); 361*0b57cec5SDimitry Andric // PressureRegister crashes if an operand is def and used in the same inst 362*0b57cec5SDimitry Andric // and we try to constraint its regclass 363*0b57cec5SDimitry Andric for (MachineInstr::mop_iterator It = MI->operands_begin(), 364*0b57cec5SDimitry Andric E = MI->operands_end(); It != E; ++It) { 365*0b57cec5SDimitry Andric MachineOperand &MO = *It; 366*0b57cec5SDimitry Andric if (MO.isReg() && !MO.isDef() && 367*0b57cec5SDimitry Andric MO.getReg() == DestReg) 368*0b57cec5SDimitry Andric return; 369*0b57cec5SDimitry Andric } 370*0b57cec5SDimitry Andric // Constrains the regclass of DestReg to assign it to Slot 371*0b57cec5SDimitry Andric switch (Slot) { 372*0b57cec5SDimitry Andric case 0: 373*0b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_XRegClass); 374*0b57cec5SDimitry Andric break; 375*0b57cec5SDimitry Andric case 1: 376*0b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_YRegClass); 377*0b57cec5SDimitry Andric break; 378*0b57cec5SDimitry Andric case 2: 379*0b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_ZRegClass); 380*0b57cec5SDimitry Andric break; 381*0b57cec5SDimitry Andric case 3: 382*0b57cec5SDimitry Andric MRI->constrainRegClass(DestReg, &R600::R600_TReg32_WRegClass); 383*0b57cec5SDimitry Andric break; 384*0b57cec5SDimitry Andric } 385*0b57cec5SDimitry Andric } 386*0b57cec5SDimitry Andric 387*0b57cec5SDimitry Andric SUnit *R600SchedStrategy::AttemptFillSlot(unsigned Slot, bool AnyAlu) { 388*0b57cec5SDimitry Andric static const AluKind IndexToID[] = {AluT_X, AluT_Y, AluT_Z, AluT_W}; 389*0b57cec5SDimitry Andric SUnit *SlotedSU = PopInst(AvailableAlus[IndexToID[Slot]], AnyAlu); 390*0b57cec5SDimitry Andric if (SlotedSU) 391*0b57cec5SDimitry Andric return SlotedSU; 392*0b57cec5SDimitry Andric SUnit *UnslotedSU = PopInst(AvailableAlus[AluAny], AnyAlu); 393*0b57cec5SDimitry Andric if (UnslotedSU) 394*0b57cec5SDimitry Andric AssignSlot(UnslotedSU->getInstr(), Slot); 395*0b57cec5SDimitry Andric return UnslotedSU; 396*0b57cec5SDimitry Andric } 397*0b57cec5SDimitry Andric 398*0b57cec5SDimitry Andric unsigned R600SchedStrategy::AvailablesAluCount() const { 399*0b57cec5SDimitry Andric return AvailableAlus[AluAny].size() + AvailableAlus[AluT_XYZW].size() + 400*0b57cec5SDimitry Andric AvailableAlus[AluT_X].size() + AvailableAlus[AluT_Y].size() + 401*0b57cec5SDimitry Andric AvailableAlus[AluT_Z].size() + AvailableAlus[AluT_W].size() + 402*0b57cec5SDimitry Andric AvailableAlus[AluTrans].size() + AvailableAlus[AluDiscarded].size() + 403*0b57cec5SDimitry Andric AvailableAlus[AluPredX].size(); 404*0b57cec5SDimitry Andric } 405*0b57cec5SDimitry Andric 406*0b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickAlu() { 407*0b57cec5SDimitry Andric while (AvailablesAluCount() || !Pending[IDAlu].empty()) { 408*0b57cec5SDimitry Andric if (!OccupedSlotsMask) { 409*0b57cec5SDimitry Andric // Bottom up scheduling : predX must comes first 410*0b57cec5SDimitry Andric if (!AvailableAlus[AluPredX].empty()) { 411*0b57cec5SDimitry Andric OccupedSlotsMask |= 31; 412*0b57cec5SDimitry Andric return PopInst(AvailableAlus[AluPredX], false); 413*0b57cec5SDimitry Andric } 414*0b57cec5SDimitry Andric // Flush physical reg copies (RA will discard them) 415*0b57cec5SDimitry Andric if (!AvailableAlus[AluDiscarded].empty()) { 416*0b57cec5SDimitry Andric OccupedSlotsMask |= 31; 417*0b57cec5SDimitry Andric return PopInst(AvailableAlus[AluDiscarded], false); 418*0b57cec5SDimitry Andric } 419*0b57cec5SDimitry Andric // If there is a T_XYZW alu available, use it 420*0b57cec5SDimitry Andric if (!AvailableAlus[AluT_XYZW].empty()) { 421*0b57cec5SDimitry Andric OccupedSlotsMask |= 15; 422*0b57cec5SDimitry Andric return PopInst(AvailableAlus[AluT_XYZW], false); 423*0b57cec5SDimitry Andric } 424*0b57cec5SDimitry Andric } 425*0b57cec5SDimitry Andric bool TransSlotOccuped = OccupedSlotsMask & 16; 426*0b57cec5SDimitry Andric if (!TransSlotOccuped && VLIW5) { 427*0b57cec5SDimitry Andric if (!AvailableAlus[AluTrans].empty()) { 428*0b57cec5SDimitry Andric OccupedSlotsMask |= 16; 429*0b57cec5SDimitry Andric return PopInst(AvailableAlus[AluTrans], false); 430*0b57cec5SDimitry Andric } 431*0b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(3, true); 432*0b57cec5SDimitry Andric if (SU) { 433*0b57cec5SDimitry Andric OccupedSlotsMask |= 16; 434*0b57cec5SDimitry Andric return SU; 435*0b57cec5SDimitry Andric } 436*0b57cec5SDimitry Andric } 437*0b57cec5SDimitry Andric for (int Chan = 3; Chan > -1; --Chan) { 438*0b57cec5SDimitry Andric bool isOccupied = OccupedSlotsMask & (1 << Chan); 439*0b57cec5SDimitry Andric if (!isOccupied) { 440*0b57cec5SDimitry Andric SUnit *SU = AttemptFillSlot(Chan, false); 441*0b57cec5SDimitry Andric if (SU) { 442*0b57cec5SDimitry Andric OccupedSlotsMask |= (1 << Chan); 443*0b57cec5SDimitry Andric InstructionsGroupCandidate.push_back(SU->getInstr()); 444*0b57cec5SDimitry Andric return SU; 445*0b57cec5SDimitry Andric } 446*0b57cec5SDimitry Andric } 447*0b57cec5SDimitry Andric } 448*0b57cec5SDimitry Andric PrepareNextSlot(); 449*0b57cec5SDimitry Andric } 450*0b57cec5SDimitry Andric return nullptr; 451*0b57cec5SDimitry Andric } 452*0b57cec5SDimitry Andric 453*0b57cec5SDimitry Andric SUnit* R600SchedStrategy::pickOther(int QID) { 454*0b57cec5SDimitry Andric SUnit *SU = nullptr; 455*0b57cec5SDimitry Andric std::vector<SUnit *> &AQ = Available[QID]; 456*0b57cec5SDimitry Andric 457*0b57cec5SDimitry Andric if (AQ.empty()) { 458*0b57cec5SDimitry Andric MoveUnits(Pending[QID], AQ); 459*0b57cec5SDimitry Andric } 460*0b57cec5SDimitry Andric if (!AQ.empty()) { 461*0b57cec5SDimitry Andric SU = AQ.back(); 462*0b57cec5SDimitry Andric AQ.pop_back(); 463*0b57cec5SDimitry Andric } 464*0b57cec5SDimitry Andric return SU; 465*0b57cec5SDimitry Andric } 466