28#define DEBUG_TYPE "gcn-hazard-recognizer"
31#define DEBUG_TYPE_VERBOSE "gcn-hazard-recognizer-verbose"
34 "Number of WMMA hazard V_NOPs hoisted from loops");
36 "Number of WMMA hazards where V_NOP hoisting was not possible");
40struct MFMAPaddingRatioParser :
public cl::parser<unsigned> {
43 bool parse(cl::Option &O, StringRef ArgName, StringRef Arg,
unsigned &
Value) {
45 return O.error(
"'" + Arg +
"' value invalid for uint argument!");
48 return O.error(
"'" + Arg +
"' value must be in the range [0, 100]!");
58 cl::desc(
"Fill a percentage of the latency between "
59 "neighboring MFMA with s_nops."));
64 cl::desc(
"Insert a s_nop x before every instruction"));
68 cl::desc(
"Hoist WMMA hazard V_NOPs from loops to preheaders"));
80 : Mode(Mode), CurrCycleInstr(nullptr), MF(MF),
81 ST(MF.getSubtarget<
GCNSubtarget>()), TII(*ST.getInstrInfo()),
82 TRI(TII.getRegisterInfo()), TSchedModel(TII.getSchedModel()), MLI(MLI),
83 ClauseUses(TRI.getNumRegUnits()), ClauseDefs(TRI.getNumRegUnits()) {
84 MaxLookAhead = MF.getRegInfo().isPhysRegUsed(AMDGPU::AGPR0) ? 19 : 5;
88 dbgs() <<
" PreRA hazard recognizer: " << MF.getName() <<
"\n";
100 if (CurrentCoExecStage.has_value()) {
101 unsigned Stage = *CurrentCoExecStage;
103 CoExecWindowLog[Stage] = ActiveCoExecInfo.Pattern[Stage];
104 dbgs() <<
" CoExec window ended at stage " << Stage <<
":\n";
111 EmittedInstrs.clear();
112 EmittedVALUInstrs.clear();
113 HasPendingWMMACoexecHazard =
false;
118void GCNHazardRecognizer::schedulerReset() {
120 if (CurrentCoExecStage.has_value() || CyclesUntilTRANS > 0 ||
122 dbgs() <<
" Scheduler Reset: clearing co-exec window, TRANS="
123 << CyclesUntilTRANS <<
", VALU=" << CyclesUntilVALU <<
"\n";
125 CurrentCoExecStage = std::nullopt;
126 CoExecWindowStartCycle = 0;
127 CyclesUntilTRANS = 0;
130 CoExecWindowLog.fill(
'.');
133void GCNHazardRecognizer::dumpCoExecWindow()
const {
134 unsigned W = ActiveCoExecInfo.TotalWindow;
139 dbgs() <<
" Stages: ";
140 for (
unsigned I = 0;
I <
W; ++
I)
141 dbgs() <<
I % 10 <<
' ';
145 dbgs() <<
" Slots: ";
146 for (
unsigned I = 0;
I <
W; ++
I)
147 dbgs() << ActiveCoExecInfo.Pattern[
I] <<
' ';
151 dbgs() <<
" Scheduled: ";
152 for (
unsigned I = 0;
I <
W; ++
I)
153 dbgs() << CoExecWindowLog[
I] <<
' ';
157void GCNHazardRecognizer::schedulerAdvanceCycle() {
159 if (CurrentCoExecStage.has_value()) {
160 unsigned Stage = *CurrentCoExecStage;
163 CoExecWindowLog[Stage] = ActiveCoExecInfo.Pattern[Stage];
165 CoExecWindowLog[Stage] =
'-';
170 bool HasState = CurrentCoExecStage.has_value() || CyclesUntilTRANS > 0 ||
173 dbgs() <<
" Scheduler AdvanceCycle:";
174 if (CurrentCoExecStage.has_value()) {
175 unsigned Stage = *CurrentCoExecStage;
176 unsigned Next = Stage + 1;
177 if (
Next >= ActiveCoExecInfo.TotalWindow)
178 dbgs() <<
" stage " << Stage <<
"->expired";
180 dbgs() <<
" stage " << Stage <<
"->" <<
Next;
182 if (CyclesUntilTRANS > 0)
183 dbgs() <<
" TRANS=" << CyclesUntilTRANS <<
"->"
184 << (CyclesUntilTRANS - 1);
185 if (CyclesUntilVALU > 0)
186 dbgs() <<
" VALU=" << CyclesUntilVALU <<
"->" << (CyclesUntilVALU - 1);
192 if (CyclesUntilTRANS > 0)
194 if (CyclesUntilVALU > 0)
198 if (CurrentCoExecStage.has_value()) {
199 unsigned Stage = *CurrentCoExecStage + 1;
200 if (Stage >= ActiveCoExecInfo.TotalWindow) {
203 dbgs() <<
" CoExec window complete:\n";
206 CurrentCoExecStage = std::nullopt;
208 CurrentCoExecStage = Stage;
213bool GCNHazardRecognizer::hasCoExecWindowModel()
const {
219 if (ST.hasWMMACoexecutionHazards() && ST.hasTransCoexecutionHazard() &&
223 if (ST.hasGFX950Insts() &&
230void GCNHazardRecognizer::updateWMMAWindowState(
const MachineInstr &
MI) {
231 if (!hasCoExecWindowModel())
241 if (CurrentCoExecStage.has_value()) {
242 unsigned Stage = *CurrentCoExecStage;
244 CoExecWindowLog[Stage] = ActiveCoExecInfo.Pattern[Stage];
245 dbgs() <<
" CoExec window interrupted at stage " << Stage <<
":\n";
252 CurrentCoExecStage = 0;
253 CoExecWindowLog.fill(
'.');
255 LLVM_DEBUG(
dbgs() <<
" WMMA window started: " << ActiveCoExecInfo.Pattern
256 <<
" (window=" << ActiveCoExecInfo.TotalWindow <<
")\n"
260void GCNHazardRecognizer::updateTRANSState(
const MachineInstr &
MI) {
261 if (!hasCoExecWindowModel())
275 CyclesUntilTRANS = 2;
279void GCNHazardRecognizer::updateMultiCycleVALUState(
const MachineInstr &
MI) {
280 if (!hasCoExecWindowModel())
291 unsigned RepeatRate = TII.getRepeatRate(
MI);
292 if (RepeatRate > 1) {
296 CyclesUntilVALU = RepeatRate;
298 <<
", CyclesUntilVALU=" << CyclesUntilVALU <<
"\n");
308unsigned GCNHazardRecognizer::checkTRANSHazard(
const MachineInstr &
MI)
const {
309 if (!CyclesUntilTRANS)
314 return CyclesUntilTRANS;
318 TII.getRepeatRate(
MI) > 1)
319 return CyclesUntilTRANS;
325GCNHazardRecognizer::checkMultiCycleVALUHazard(
const MachineInstr &
MI)
const {
326 if (!CyclesUntilVALU)
337 return CyclesUntilVALU;
341GCNHazardRecognizer::checkWMMACoexecSlot(
const MachineInstr &
MI)
const {
343 if (!CurrentCoExecStage.has_value())
346 unsigned Stage = *CurrentCoExecStage;
348 unsigned StallCycles = ActiveCoExecInfo.getStallCycles(InstMask, Stage);
351 if (StallCycles == 0)
355 unsigned NextStage = Stage + StallCycles;
356 if (NextStage < ActiveCoExecInfo.TotalWindow) {
359 dbgs() <<
" CoExec stall: stage=" << Stage <<
"("
362 <<
" -> stall " << StallCycles <<
" (next allowed=" << NextStage
371 dbgs() <<
" CoExec stall: stage=" << Stage <<
"("
374 << StallCycles <<
" (window ends)\n"
380GCNHazardRecognizer::checkMultiShadowHazard(
const MachineInstr &
MI)
const {
382 if (!hasCoExecWindowModel())
386 if (!CurrentCoExecStage.has_value())
389 if (!CyclesUntilTRANS)
399 unsigned LookAheadStage = *CurrentCoExecStage + CyclesUntilTRANS;
401 return CyclesUntilTRANS +
402 ActiveCoExecInfo.getStallCycles(InstMask, LookAheadStage);
405void GCNHazardRecognizer::schedulerEmitInstruction(
MachineInstr *
MI) {
407 bool InWindow = CurrentCoExecStage.has_value();
408 bool HasActiveState =
409 InWindow || CyclesUntilTRANS > 0 || CyclesUntilVALU > 0;
410 if (HasActiveState) {
412 unsigned Stage = *CurrentCoExecStage;
413 dbgs() <<
" Stage " << Stage <<
"("
426 bool HasActiveState = CurrentCoExecStage.has_value() ||
427 CyclesUntilTRANS > 0 || CyclesUntilVALU > 0;
433 updateWMMAWindowState(*
MI);
434 updateTRANSState(*
MI);
435 updateMultiCycleVALUState(*
MI);
445 schedulerEmitInstruction(
MI);
449 return Opcode == AMDGPU::V_DIV_FMAS_F32_e64 || Opcode == AMDGPU::V_DIV_FMAS_F64_e64;
453 return Opcode == AMDGPU::S_GETREG_B32 || Opcode == AMDGPU::S_GETREG_B32_const;
458 case AMDGPU::S_SETREG_B32:
459 case AMDGPU::S_SETREG_B32_mode:
460 case AMDGPU::S_SETREG_IMM32_B32:
461 case AMDGPU::S_SETREG_IMM32_B32_mode:
468 return Opcode == AMDGPU::V_READLANE_B32 || Opcode == AMDGPU::V_WRITELANE_B32;
472 return Opcode == AMDGPU::S_RFE_B64;
477 case AMDGPU::S_MOVRELS_B32:
478 case AMDGPU::S_MOVRELS_B64:
479 case AMDGPU::S_MOVRELD_B32:
480 case AMDGPU::S_MOVRELD_B64:
489 if (
TII.isAlwaysGDS(
MI.getOpcode()))
492 switch (
MI.getOpcode()) {
493 case AMDGPU::S_SENDMSG:
494 case AMDGPU::S_SENDMSGHALT:
495 case AMDGPU::S_TTRACEDATA:
499 case AMDGPU::DS_PERMUTE_B32:
500 case AMDGPU::DS_BPERMUTE_B32:
503 if (
TII.isDS(
MI.getOpcode())) {
504 int GDS = AMDGPU::getNamedOperandIdx(
MI.getOpcode(),
505 AMDGPU::OpName::gds);
506 if (
MI.getOperand(GDS).getImm())
514 unsigned Opcode =
MI.getOpcode();
515 return Opcode == AMDGPU::V_PERMLANE16_B32_e64 ||
516 Opcode == AMDGPU::V_PERMLANE64_B32 ||
517 Opcode == AMDGPU::V_PERMLANEX16_B32_e64 ||
518 Opcode == AMDGPU::V_PERMLANE16_VAR_B32_e64 ||
519 Opcode == AMDGPU::V_PERMLANEX16_VAR_B32_e64 ||
520 Opcode == AMDGPU::V_PERMLANE16_SWAP_B32_e32 ||
521 Opcode == AMDGPU::V_PERMLANE16_SWAP_B32_e64 ||
522 Opcode == AMDGPU::V_PERMLANE32_SWAP_B32_e32 ||
523 Opcode == AMDGPU::V_PERMLANE32_SWAP_B32_e64 ||
524 Opcode == AMDGPU::V_PERMLANE_BCAST_B32_e64 ||
525 Opcode == AMDGPU::V_PERMLANE_UP_B32_e64 ||
526 Opcode == AMDGPU::V_PERMLANE_DOWN_B32_e64 ||
527 Opcode == AMDGPU::V_PERMLANE_XOR_B32_e64 ||
528 Opcode == AMDGPU::V_PERMLANE_IDX_GEN_B32_e64;
537 AMDGPU::OpName::simm16);
553 if (checkMultiShadowHazard(*
MI) > 0)
555 if (checkWMMACoexecSlot(*
MI) > 0)
557 if (checkTRANSHazard(*
MI) > 0)
559 if (checkMultiCycleVALUHazard(*
MI) > 0)
569 if (ST.hasNSAtoVMEMBug() && checkNSAtoVMEMHazard(
MI) > 0)
572 if (checkFPAtomicToDenormModeHazard(
MI) > 0)
577 if (checkWMMACoexecutionHazards(
MI) > 0) {
578 HasPendingWMMACoexecHazard =
true;
583 if (ST.hasNoDataDepHazard())
590 checkVALUHazards(
MI) > 0)
596 if (
isDivFMas(
MI->getOpcode()) && checkDivFMasHazards(
MI) > 0)
599 if (
isRWLane(
MI->getOpcode()) && checkRWLaneHazards(
MI) > 0)
605 checkMAIVALUHazards(
MI) > 0)
608 if (
isSGetReg(
MI->getOpcode()) && checkGetRegHazards(
MI) > 0)
611 if (
isSSetReg(
MI->getOpcode()) && checkSetRegHazards(
MI) > 0)
614 if (
isRFE(
MI->getOpcode()) && checkRFEHazards(
MI) > 0)
617 if (((ST.hasReadM0MovRelInterpHazard() &&
619 MI->getOpcode() == AMDGPU::DS_WRITE_ADDTID_B32 ||
620 MI->getOpcode() == AMDGPU::DS_READ_ADDTID_B32)) ||
622 (ST.hasReadM0LdsDmaHazard() &&
isLdsDma(*
MI)) ||
623 (ST.hasReadM0LdsDirectHazard() &&
624 MI->readsRegister(AMDGPU::LDS_DIRECT,
nullptr))) &&
625 checkReadM0Hazards(
MI) > 0)
632 checkMAILdStHazards(
MI) > 0)
635 if (ST.hasPermlaneForwardingHazard() &&
isPermlane(*
MI) &&
636 checkPermlaneHazards(
MI) > 0)
639 if (
MI->isInlineAsm() && checkInlineAsmHazards(
MI) > 0)
647 while (Quantity > 0) {
648 unsigned Arg = std::min(Quantity, 8u);
656GCNHazardRecognizer::getMFMAPipelineWaitStates(
const MachineInstr &
MI)
const {
657 const MCSchedClassDesc *SC = TSchedModel.resolveSchedClass(&
MI);
658 assert(TSchedModel.getWriteProcResBegin(SC) !=
659 TSchedModel.getWriteProcResEnd(SC));
660 return TSchedModel.getWriteProcResBegin(SC)->ReleaseAtCycle;
663void GCNHazardRecognizer::processBundle() {
667 for (;
MI !=
E &&
MI->isInsideBundle(); ++
MI) {
668 CurrCycleInstr = &*
MI;
672 fixHazards(CurrCycleInstr);
680 for (
unsigned i = 0, e = std::min(WaitStates,
MaxLookAhead - 1); i <
e; ++i)
681 EmittedInstrs.push_front(
nullptr);
683 EmittedInstrs.push_front(CurrCycleInstr);
686 CurrCycleInstr =
nullptr;
694 if (
MI->isInsideBundle())
708 CurrCycleInstr =
nullptr;
717 W = checkWMMACoexecSlot(*
MI);
718 W = std::max(W, checkTRANSHazard(*
MI));
719 W = std::max(W, checkMultiCycleVALUHazard(*
MI));
720 W = std::max(W, checkMultiShadowHazard(*
MI));
736 return std::max(WaitStates, checkSMRDHazards(
MI));
738 if (ST.hasNSAtoVMEMBug())
739 WaitStates = std::max(WaitStates, checkNSAtoVMEMHazard(
MI));
741 WaitStates = std::max(WaitStates, checkFPAtomicToDenormModeHazard(
MI));
743 if (ST.hasNoDataDepHazard())
747 WaitStates = std::max(WaitStates, checkVMEMHazards(
MI));
750 WaitStates = std::max(WaitStates, checkVALUHazards(
MI));
753 WaitStates = std::max(WaitStates, checkDPPHazards(
MI));
756 WaitStates = std::max(WaitStates, checkDivFMasHazards(
MI));
759 WaitStates = std::max(WaitStates, checkRWLaneHazards(
MI));
764 WaitStates = std::max(WaitStates, checkMAIVALUHazards(
MI));
766 if (
MI->isInlineAsm())
767 return std::max(WaitStates, checkInlineAsmHazards(
MI));
770 return std::max(WaitStates, checkGetRegHazards(
MI));
773 return std::max(WaitStates, checkSetRegHazards(
MI));
776 return std::max(WaitStates, checkRFEHazards(
MI));
778 if ((ST.hasReadM0MovRelInterpHazard() &&
780 MI->getOpcode() == AMDGPU::DS_WRITE_ADDTID_B32 ||
781 MI->getOpcode() == AMDGPU::DS_READ_ADDTID_B32)) ||
783 (ST.hasReadM0LdsDmaHazard() &&
isLdsDma(*
MI)) ||
784 (ST.hasReadM0LdsDirectHazard() &&
785 MI->readsRegister(AMDGPU::LDS_DIRECT,
nullptr)))
786 return std::max(WaitStates, checkReadM0Hazards(
MI));
789 return std::max(WaitStates, checkMAIHazards(
MI));
792 return std::max(WaitStates, checkMAILdStHazards(
MI));
794 if (ST.hasPermlaneForwardingHazard() &&
isPermlane(*
MI))
795 return std::max(WaitStates, checkPermlaneHazards(
MI));
801 EmittedInstrs.push_front(
nullptr);
806 schedulerAdvanceCycle();
810 if (!CurrCycleInstr) {
811 EmittedInstrs.push_front(
nullptr);
813 if (HasPendingWMMACoexecHazard)
814 EmittedVALUInstrs.push_front(
nullptr);
818 HasPendingWMMACoexecHazard =
false;
820 if (CurrCycleInstr->isBundle()) {
825 unsigned NumWaitStates = TII.getNumWaitStates(*CurrCycleInstr);
826 if (!NumWaitStates) {
827 CurrCycleInstr =
nullptr;
832 EmittedInstrs.push_front(CurrCycleInstr);
839 EmittedVALUInstrs.push_front(CurrCycleInstr);
845 while (!EmittedVALUInstrs.empty() && EmittedVALUInstrs.front() ==
nullptr)
846 EmittedVALUInstrs.pop_front();
854 EmittedInstrs.push_front(
nullptr);
861 if (EmittedVALUInstrs.size() > MaxVALULookAhead)
862 EmittedVALUInstrs.resize(MaxVALULookAhead);
864 CurrCycleInstr =
nullptr;
869 "Bottom-up scheduling shouldn't run in hazard recognizer mode");
879template <
typename StateT>
889 static bool isEqual(
const StateMapKey &
LHS,
const StateMapKey &
RHS) {
894 static unsigned getHashValue(
const StateMapKey &
Key) {
895 return StateT::getHashValue((*
Key.States)[
Key.Idx]);
897 static unsigned getHashValue(
const StateT &State) {
898 return StateT::getHashValue(State);
900 static bool isEqual(
const StateMapKey &
LHS,
const StateMapKey &
RHS) {
901 return StateT::isEqual((*
LHS.States)[
LHS.Idx], (*
RHS.States)[
RHS.Idx]);
903 static bool isEqual(
const StateT &
LHS,
const StateMapKey &
RHS) {
904 return StateT::isEqual(
LHS, (*
RHS.States)[
RHS.Idx]);
913 StateT State = InitialState;
916 unsigned WorkIdx = 0;
918 bool Expired =
false;
919 for (
auto E =
MBB->instr_rend();
I !=
E; ++
I) {
924 auto Result = IsHazard(State, *
I);
932 if (
I->isInlineAsm() ||
I->isMetaInstruction())
935 UpdateState(State, *
I);
939 unsigned StateIdx = States.
size();
940 StateMapKey
Key = {&States, StateIdx};
941 auto Insertion = StateMap.
insert_as(std::pair(
Key, StateIdx), State);
942 if (Insertion.second) {
945 StateIdx = Insertion.first->second;
948 Worklist.
insert(std::pair(Pred, StateIdx));
951 if (WorkIdx == Worklist.
size())
955 std::tie(
MBB, StateIdx) = Worklist[WorkIdx++];
956 State = States[StateIdx];
957 I =
MBB->instr_rbegin();
969 *Pred.getParent()->getSubtarget<
GCNSubtarget>().getInstrInfo();
970 unsigned Unexecuted = 0, Passed = 0;
971 for (
auto I = Pred.instr_rbegin(),
E = Pred.instr_rend();
972 I !=
E &&
I->isTerminator(); ++
I, ++Passed) {
975 if (
I->isBranch() &&
I->getNumOperands() > 0 &&
I->getOperand(0).isMBB() &&
976 TII.getBranchDestBlock(*
I) ==
MBB)
987 return MI.isInlineAsm() ? 0 : GetNumWaitStates(
MI);
996class WindowDeficitSearch {
999 function_ref<std::optional<int>(
const MachineInstr &)> WindowFor,
1003 : WindowFor(WindowFor), GetNumWaitStates(GetNumWaitStates),
1004 MaxWindow(MaxWindow) {}
1006 int run(
const MachineInstr &
MI);
1013 const MachineBasicBlock *
MBB;
1018 void arrive(
const MachineBasicBlock *
MBB,
1021 void scan(Arrival
A);
1023 const function_ref<std::optional<int>(
const MachineInstr &)> WindowFor;
1025 const int MaxWindow;
1032 DenseMap<const MachineBasicBlock *, int> Best;
1037void WindowDeficitSearch::arrive(
1042 if (MaxWindow - Distance <= Deficit)
1045 if (Pending.empty())
1046 Pending.resize(MaxWindow);
1048 auto [It,
Inserted] = Best.try_emplace(
MBB, Distance);
1050 if (It->second <= Distance)
1052 It->second = Distance;
1055 assert(Distance < MaxWindow &&
"arrival outside the window");
1056 Pending[Distance].push_back({
MBB,
Start, Distance});
1061void WindowDeficitSearch::scan(Arrival
A) {
1063 if (Best.lookup(
A.MBB) <
A.Distance)
1066 int Distance =
A.Distance;
1067 for (
auto I =
A.Start,
E =
A.MBB->instr_rend();
I !=
E; ++
I) {
1071 if (std::optional<int> Window = WindowFor(*
I)) {
1072 assert(*Window >= 0 && *Window <= MaxWindow &&
"window out of bounds");
1073 Deficit = std::max(Deficit, *Window - Distance);
1078 if (Distance >= MaxWindow)
1083 auto Start = Pred->instr_rbegin(),
End = Pred->instr_rend();
1089 assert(!WindowFor(*Start) &&
"terminators must not ask for a window");
1093 arrive(Pred, Start, Distance + Executed);
1100 scan({
MI.getParent(), std::next(
MI.getReverseIterator()), 0});
1106 for (
int Distance = 0; Distance < static_cast<int>(Pending.size());
1108 for (
unsigned I = 0;
I != Pending[Distance].size(); ++
I)
1109 scan(Pending[Distance][
I]);
1125 for (
auto E =
MBB->instr_rend();
I !=
E; ++
I) {
1133 if (
I->isInlineAsm())
1136 WaitStates += GetNumWaitStates(*
I);
1138 if (IsExpired(*
I, WaitStates))
1139 return std::numeric_limits<int>::max();
1142 int MinWaitStates = std::numeric_limits<int>::max();
1144 if (!Visited.
insert(Pred).second)
1148 IsExpired, Visited, GetNumWaitStates);
1150 MinWaitStates = std::min(MinWaitStates, W);
1153 return MinWaitStates;
1164 std::next(
MI->getReverseIterator()), 0, IsExpired,
1165 Visited, GetNumWaitStates);
1168int GCNHazardRecognizer::getMaxWindowDeficit(
int MaxWindow,
1169 WindowForFn WindowFor)
const {
1171 return WindowDeficitSearch(WindowFor, MaxWindow).run(*CurrCycleInstr);
1175 int Deficit = 0, Distance = 0;
1176 for (MachineInstr *
MI : EmittedInstrs) {
1178 if (std::optional<int> Window = WindowFor(*
MI)) {
1179 assert(*Window >= 0 && *Window <= MaxWindow &&
"window out of bounds");
1180 Deficit = std::max(Deficit, *Window - Distance);
1187 if (Distance >= MaxWindow)
1193int GCNHazardRecognizer::getWaitStatesSince(
1194 IsHazardFn IsHazard,
int Limit, GetNumWaitStatesFn GetNumWaitStates)
const {
1196 auto IsExpiredFn = [Limit](
const MachineInstr &,
int WaitStates) {
1197 return WaitStates >= Limit;
1199 return ::getWaitStatesSince(IsHazard, CurrCycleInstr,
IsExpiredFn,
1204 for (MachineInstr *
MI : EmittedInstrs) {
1209 if (
MI->isInlineAsm())
1212 WaitStates +=
MI ? GetNumWaitStates(*
MI) : 1;
1214 if (WaitStates >= Limit)
1217 return std::numeric_limits<int>::max();
1220int GCNHazardRecognizer::getWaitStatesSince(IsHazardFn IsHazard,
1225int GCNHazardRecognizer::getMaxVALUWindowDeficit(
int MaxWindow,
1226 WindowForFn WindowFor)
const {
1228 auto GetVALUWaitStates = [](
const MachineInstr &
MI) ->
unsigned {
1231 return WindowDeficitSearch(WindowFor, MaxWindow, GetVALUWaitStates)
1232 .run(*CurrCycleInstr);
1238 assert(MaxWindow <=
static_cast<int>(MaxVALULookAhead) &&
1239 "MaxWindow exceeds the EmittedVALUInstrs lookahead window");
1241 for (MachineInstr *
MI : EmittedVALUInstrs) {
1243 if (std::optional<int> Window = WindowFor(*
MI)) {
1244 assert(*Window >= 0 && *Window <= MaxWindow &&
"window out of bounds");
1245 return *Window - WaitStates;
1251 if (WaitStates >= MaxWindow)
1257int GCNHazardRecognizer::getWaitStatesSinceDef(
unsigned Reg,
1258 IsHazardFn IsHazardDef,
1260 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1263 return IsHazardDef(
MI) &&
MI.modifiesRegister(
Reg, TRI);
1266 return getWaitStatesSince(
IsHazardFn, Limit);
1269int GCNHazardRecognizer::getWaitStatesSinceSetReg(IsHazardFn IsHazard,
1275 return getWaitStatesSince(
IsHazardFn, Limit);
1284 for (MCRegUnit Unit :
TRI.regunits(
Reg))
1285 BV.
set(
static_cast<unsigned>(Unit));
1297void GCNHazardRecognizer::addClauseInst(
const MachineInstr &
MI)
const {
1309int GCNHazardRecognizer::checkSoftClauseHazards(
MachineInstr *MEM)
const {
1312 if (!ST.isXNACKEnabled())
1315 bool IsSMRD = TII.isSMRD(*MEM);
1329 for (MachineInstr *
MI : EmittedInstrs) {
1341 if (ClauseDefs.none())
1347 if (
MEM->mayStore())
1350 addClauseInst(*MEM);
1354 return ClauseDefs.anyCommon(ClauseUses) ? 1 : 0;
1357int GCNHazardRecognizer::checkSMRDHazards(
MachineInstr *SMRD)
const {
1358 int WaitStatesNeeded = 0;
1360 WaitStatesNeeded = checkSoftClauseHazards(SMRD);
1363 if (!ST.hasSMRDReadVALUDefHazard())
1364 return WaitStatesNeeded;
1368 int SmrdSgprWaitStates = 4;
1369 auto IsHazardDefFn = [
this](
const MachineInstr &
MI) {
1370 return TII.isVALU(
MI,
true);
1372 auto IsBufferHazardDefFn = [
this](
const MachineInstr &
MI) {
1373 return TII.isSALU(
MI);
1376 bool IsBufferSMRD = TII.isBufferSMRD(*SMRD);
1378 for (
const MachineOperand &Use :
SMRD->uses()) {
1381 int WaitStatesNeededForUse =
1382 SmrdSgprWaitStates - getWaitStatesSinceDef(
Use.getReg(), IsHazardDefFn,
1383 SmrdSgprWaitStates);
1384 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
1394 int WaitStatesNeededForUse =
1395 SmrdSgprWaitStates - getWaitStatesSinceDef(
Use.getReg(),
1396 IsBufferHazardDefFn,
1397 SmrdSgprWaitStates);
1398 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
1402 return WaitStatesNeeded;
1405int GCNHazardRecognizer::checkVMEMHazards(
MachineInstr *VMEM)
const {
1406 if (!ST.hasVMEMReadSGPRVALUDefHazard())
1409 int WaitStatesNeeded = checkSoftClauseHazards(VMEM);
1413 const int VmemSgprWaitStates = 5;
1414 auto IsHazardDefFn = [
this](
const MachineInstr &
MI) {
1415 return TII.isVALU(
MI,
true);
1417 for (
const MachineOperand &Use :
VMEM->uses()) {
1418 if (!
Use.isReg() || TRI.isVectorRegister(MF.getRegInfo(),
Use.getReg()))
1421 int WaitStatesNeededForUse =
1422 VmemSgprWaitStates - getWaitStatesSinceDef(
Use.getReg(), IsHazardDefFn,
1423 VmemSgprWaitStates);
1424 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
1426 return WaitStatesNeeded;
1430 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1431 const SIInstrInfo *TII = ST.getInstrInfo();
1434 int DppVgprWaitStates = 2;
1435 int DppExecWaitStates = 5;
1436 int WaitStatesNeeded = 0;
1437 auto IsHazardDefFn = [TII](
const MachineInstr &
MI) {
1438 return TII->isVALU(
MI,
true);
1441 for (
const MachineOperand &Use :
DPP->uses()) {
1442 if (!
Use.isReg() || !TRI->isVGPR(MF.getRegInfo(),
Use.getReg()))
1444 int WaitStatesNeededForUse =
1445 DppVgprWaitStates - getWaitStatesSinceDef(
1447 [](
const MachineInstr &) { return true; },
1449 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
1452 WaitStatesNeeded = std::max(
1454 DppExecWaitStates - getWaitStatesSinceDef(AMDGPU::EXEC, IsHazardDefFn,
1455 DppExecWaitStates));
1457 return WaitStatesNeeded;
1460int GCNHazardRecognizer::checkDivFMasHazards(
MachineInstr *DivFMas)
const {
1461 const SIInstrInfo *TII = ST.getInstrInfo();
1465 const int DivFMasWaitStates = 4;
1466 auto IsHazardDefFn = [TII](
const MachineInstr &
MI) {
1467 return TII->isVALU(
MI,
true);
1469 int WaitStatesNeeded = getWaitStatesSinceDef(AMDGPU::VCC, IsHazardDefFn,
1472 return DivFMasWaitStates - WaitStatesNeeded;
1475int GCNHazardRecognizer::checkGetRegHazards(
MachineInstr *GetRegInstr)
const {
1476 const SIInstrInfo *TII = ST.getInstrInfo();
1477 unsigned GetRegHWReg =
getHWReg(TII, *GetRegInstr);
1479 const int GetRegWaitStates = 2;
1480 auto IsHazardFn = [TII, GetRegHWReg](
const MachineInstr &
MI) {
1483 int WaitStatesNeeded = getWaitStatesSinceSetReg(
IsHazardFn, GetRegWaitStates);
1485 return GetRegWaitStates - WaitStatesNeeded;
1488int GCNHazardRecognizer::checkSetRegHazards(
MachineInstr *SetRegInstr)
const {
1489 const SIInstrInfo *TII = ST.getInstrInfo();
1490 unsigned HWReg =
getHWReg(TII, *SetRegInstr);
1492 const int SetRegWaitStates = ST.getSetRegWaitStates();
1493 auto IsHazardFn = [TII, HWReg](
const MachineInstr &
MI) {
1496 int WaitStatesNeeded = getWaitStatesSinceSetReg(
IsHazardFn, SetRegWaitStates);
1497 return SetRegWaitStates - WaitStatesNeeded;
1500int GCNHazardRecognizer::createsVALUHazard(
const MachineInstr &
MI)
const {
1504 const SIInstrInfo *TII = ST.getInstrInfo();
1505 unsigned Opcode =
MI.getOpcode();
1506 const MCInstrDesc &
Desc =
MI.getDesc();
1508 int VDataIdx = AMDGPU::getNamedOperandIdx(Opcode, AMDGPU::OpName::vdata);
1511 VDataRCID = TII->getOpRegClassID(
Desc.operands()[VDataIdx]);
1513 if (TII->isMUBUF(
MI) || TII->isMTBUF(
MI)) {
1523 if (ST.hasVDecCoExecHazard())
1525 const MachineOperand *SOffset =
1526 TII->getNamedOperand(
MI, AMDGPU::OpName::soffset);
1527 if (!SOffset || !SOffset->
isReg())
1536 if (TII->isMIMG(
MI)) {
1537 int SRsrcIdx = AMDGPU::getNamedOperandIdx(Opcode, AMDGPU::OpName::srsrc);
1539 Desc.operands()[SRsrcIdx])) == 256);
1543 if (TII->isFLAT(
MI)) {
1555int GCNHazardRecognizer::checkUniformWindowVALUHazardsHelper(
1560 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1562 auto IsHazard = [&](
const MachineInstr &
MI) {
1563 int DataIdx = createsVALUHazard(
MI);
1564 return DataIdx >= 0 &&
1565 TRI->regsOverlap(
MI.getOperand(DataIdx).getReg(),
Reg);
1568 return std::max(0, 1 - getWaitStatesSince(IsHazard, 1));
1571int GCNHazardRecognizer::checkSOFFSETWindowVALUHazardsHelper(
1578 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1579 const SIInstrInfo *TII = ST.getInstrInfo();
1581 int WaitStatesNeeded = 0;
1585 for (
int Window = 1; Window <= 2; ++Window) {
1586 auto IsHazard = [&](
const MachineInstr &
MI) {
1587 int DataIdx = createsVALUHazard(
MI);
1589 !TRI->regsOverlap(
MI.getOperand(DataIdx).getReg(),
Reg))
1594 if (Window == 1 || !TII->isBUF(
MI))
1597 const MachineOperand *SOffset =
1598 TII->getNamedOperand(
MI, AMDGPU::OpName::soffset);
1599 return !SOffset || !SOffset->
isReg();
1601 WaitStatesNeeded = std::max(WaitStatesNeeded,
1602 Window - getWaitStatesSince(IsHazard, Window));
1605 return WaitStatesNeeded;
1608int GCNHazardRecognizer::checkVALUHazardsHelper(
1613 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1615 if (!TRI->isVectorRegister(MRI,
Def.getReg()))
1618 if (ST.hasVDecCoExecHazard())
1619 return checkSOFFSETWindowVALUHazardsHelper(
Def.getReg());
1621 return checkUniformWindowVALUHazardsHelper(
Def.getReg());
1637 unsigned Opcode =
MI.getOpcode();
1647 if (
auto *DstSel =
TII->getNamedOperand(
MI, AMDGPU::OpName::dst_sel))
1649 return TII->getNamedOperand(
MI, AMDGPU::OpName::vdst);
1657 (
TII->getNamedImmOperand(
MI, AMDGPU::OpName::src0_modifiers) &
1659 return TII->getNamedOperand(
MI, AMDGPU::OpName::vdst);
1667 return TII->getNamedOperand(
MI, AMDGPU::OpName::vdst);
1671 (
TII->getNamedImmOperand(
MI, AMDGPU::OpName::src2_modifiers) &
1673 return TII->getNamedOperand(
MI, AMDGPU::OpName::vdst);
1679 return TII->getNamedOperand(
MI, AMDGPU::OpName::vdst);
1700 for (
auto &Operand : VALU->operands()) {
1701 if (Operand.isReg() &&
TRI->regsOverlap(Dst->getReg(), Operand.getReg())) {
1708int GCNHazardRecognizer::checkVALUHazards(
MachineInstr *VALU)
const {
1709 int WaitStatesNeeded = 0;
1712 const int TransDefWaitstates = 1;
1714 auto IsTransDefFn = [
this,
VALU](
const MachineInstr &
MI) {
1717 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1718 const SIInstrInfo *TII = ST.getInstrInfo();
1719 Register Def = TII->getNamedOperand(
MI, AMDGPU::OpName::vdst)->getReg();
1721 for (
const MachineOperand &Use :
VALU->explicit_uses()) {
1722 if (
Use.isReg() && TRI->regsOverlap(Def,
Use.getReg()))
1729 int WaitStatesNeededForDef =
1730 TransDefWaitstates -
1731 getWaitStatesSince(IsTransDefFn, TransDefWaitstates);
1732 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1735 if (ST.hasDstSelForwardingHazard() || ST.hasCvtScaleForwardingHazard()) {
1736 const int Shift16DefWaitstates = 1;
1738 auto IsShift16BitDefFn = [
this,
VALU](
const MachineInstr &ProducerMI) {
1739 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1740 const MachineOperand *ForwardedDst =
1746 if (ProducerMI.isInlineAsm()) {
1748 for (
auto &Def : ProducerMI.all_defs()) {
1757 int WaitStatesNeededForDef =
1758 Shift16DefWaitstates -
1759 getWaitStatesSince(IsShift16BitDefFn, Shift16DefWaitstates);
1760 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1763 if (ST.hasVDecCoExecHazard()) {
1764 const int VALUWriteSGPRVALUReadWaitstates = 2;
1765 const int VALUWriteEXECRWLane = 4;
1766 const int VALUWriteVGPRReadlaneRead = 1;
1768 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1769 const MachineRegisterInfo &MRI = MF.getRegInfo();
1771 auto IsVALUDefSGPRFn = [&
UseReg, TRI](
const MachineInstr &
MI) {
1774 return MI.modifiesRegister(
UseReg, TRI);
1777 for (
const MachineOperand &Use :
VALU->explicit_uses()) {
1782 if (TRI->isSGPRReg(MRI,
UseReg)) {
1783 int WaitStatesNeededForDef =
1784 VALUWriteSGPRVALUReadWaitstates -
1785 getWaitStatesSince(IsVALUDefSGPRFn,
1786 VALUWriteSGPRVALUReadWaitstates);
1787 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1791 if (
VALU->readsRegister(AMDGPU::VCC, TRI)) {
1793 int WaitStatesNeededForDef =
1794 VALUWriteSGPRVALUReadWaitstates -
1795 getWaitStatesSince(IsVALUDefSGPRFn, VALUWriteSGPRVALUReadWaitstates);
1796 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1799 switch (
VALU->getOpcode()) {
1800 case AMDGPU::V_READLANE_B32:
1801 case AMDGPU::V_READFIRSTLANE_B32: {
1802 MachineOperand *Src = TII.getNamedOperand(*VALU, AMDGPU::OpName::src0);
1804 int WaitStatesNeededForDef =
1805 VALUWriteVGPRReadlaneRead -
1806 getWaitStatesSince(IsVALUDefSGPRFn, VALUWriteVGPRReadlaneRead);
1807 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1810 case AMDGPU::V_WRITELANE_B32: {
1812 int WaitStatesNeededForDef =
1813 VALUWriteEXECRWLane -
1814 getWaitStatesSince(IsVALUDefSGPRFn, VALUWriteEXECRWLane);
1815 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1825 if (!ST.has12DWordStoreHazard())
1826 return WaitStatesNeeded;
1828 const MachineRegisterInfo &MRI = MF.getRegInfo();
1830 for (
const MachineOperand &Def :
VALU->defs()) {
1831 WaitStatesNeeded = std::max(WaitStatesNeeded, checkVALUHazardsHelper(Def, MRI));
1834 return WaitStatesNeeded;
1837int GCNHazardRecognizer::checkInlineAsmHazards(
MachineInstr *IA)
const {
1846 if (!ST.has12DWordStoreHazard() && !ST.hasDstSelForwardingHazard() &&
1847 !ST.hasCvtScaleForwardingHazard())
1850 const MachineRegisterInfo &MRI = MF.getRegInfo();
1851 int WaitStatesNeeded = 0;
1853 for (
const MachineOperand &
Op :
1855 if (
Op.isReg() &&
Op.isDef()) {
1856 if (!TRI.isVectorRegister(MRI,
Op.getReg()))
1859 if (ST.has12DWordStoreHazard()) {
1861 std::max(WaitStatesNeeded, checkVALUHazardsHelper(
Op, MRI));
1866 if (ST.hasDstSelForwardingHazard()) {
1867 const int Shift16DefWaitstates = 1;
1869 auto IsShift16BitDefFn = [
this, &
IA](
const MachineInstr &ProducerMI) {
1873 return IA->modifiesRegister(Dst->getReg(), &TRI) ||
1874 IA->readsRegister(Dst->getReg(), &TRI);
1876 if (ProducerMI.isInlineAsm()) {
1878 for (
auto &Def : ProducerMI.all_defs()) {
1879 if (
IA->modifiesRegister(
Def.getReg(), &TRI) ||
1880 IA->readsRegister(
Def.getReg(), &TRI)) {
1889 int WaitStatesNeededForDef =
1890 Shift16DefWaitstates -
1891 getWaitStatesSince(IsShift16BitDefFn, Shift16DefWaitstates);
1892 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForDef);
1895 return WaitStatesNeeded;
1898int GCNHazardRecognizer::checkRWLaneHazards(
MachineInstr *RWLane)
const {
1899 const SIInstrInfo *TII = ST.getInstrInfo();
1900 const SIRegisterInfo *TRI = ST.getRegisterInfo();
1901 const MachineRegisterInfo &MRI = MF.getRegInfo();
1903 const MachineOperand *LaneSelectOp =
1904 TII->getNamedOperand(*RWLane, AMDGPU::OpName::src1);
1906 if (!LaneSelectOp->
isReg() || !TRI->isSGPRReg(MRI, LaneSelectOp->
getReg()))
1911 return TII->isVALU(
MI,
true);
1914 const int RWLaneWaitStates = 4;
1915 int WaitStatesSince = getWaitStatesSinceDef(LaneSelectReg,
IsHazardFn,
1917 return RWLaneWaitStates - WaitStatesSince;
1920int GCNHazardRecognizer::checkRFEHazards(
MachineInstr *RFE)
const {
1921 if (!ST.hasRFEHazards())
1924 const SIInstrInfo *TII = ST.getInstrInfo();
1926 const int RFEWaitStates = 1;
1931 int WaitStatesNeeded = getWaitStatesSinceSetReg(
IsHazardFn, RFEWaitStates);
1932 return RFEWaitStates - WaitStatesNeeded;
1935int GCNHazardRecognizer::checkReadM0Hazards(
MachineInstr *
MI)
const {
1936 const SIInstrInfo *TII = ST.getInstrInfo();
1937 const int ReadM0WaitStates = 1;
1938 auto IsHazardFn = [TII](
const MachineInstr &
MI) {
return TII->isSALU(
MI); };
1939 return ReadM0WaitStates -
1940 getWaitStatesSinceDef(AMDGPU::M0,
IsHazardFn, ReadM0WaitStates);
1945 int WaitStatesNeeded,
bool IsHoisting) {
1947 for (
int I = 0;
I < WaitStatesNeeded; ++
I)
1948 BuildMI(
MBB, InsertPt,
DL, TII.get(AMDGPU::V_NOP_e32));
1952 fixVMEMtoScalarWriteHazards(
MI);
1953 fixVcmpxPermlaneHazards(
MI);
1954 fixSMEMtoVectorWriteHazards(
MI);
1955 fixVcmpxExecWARHazard(
MI);
1956 fixLdsBranchVmemWARHazard(
MI);
1957 if (ST.hasLdsDirect()) {
1958 fixLdsDirectVALUHazard(
MI);
1959 fixLdsDirectVMEMHazard(
MI);
1961 fixVALUPartialForwardingHazard(
MI);
1962 fixVALUTransUseHazard(
MI);
1963 fixVALUTransCoexecutionHazards(
MI);
1965 fixWMMACoexecutionHazards(
MI);
1966 fixShift64HighRegBug(
MI);
1967 fixPkF32InvalidOpSel(
MI);
1968 fixVALUMaskWriteHazard(
MI);
1969 fixRequiredExportPriority(
MI);
1970 if (ST.hasVPermPk16Hazard())
1971 fixVPermPk16Hazard(
MI);
1972 if (ST.requiresWaitIdleBeforeGetReg())
1973 fixGetRegWaitIdle(
MI);
1974 if (ST.hasDsAtomicAsyncBarrierArriveB64PipeBug())
1975 fixDsAtomicAsyncBarrierArriveB64(
MI);
1976 if (ST.hasScratchBaseForwardingHazard())
1977 fixScratchBaseForwardingHazard(
MI);
1978 if (ST.setRegModeNeedsVNOPs())
1980 if (ST.hasNeedsTDMDrain())
1986 return (
TII.isVOPC(
MI) ||
1987 (
MI.isCompare() && (
TII.isVOP3(
MI) ||
TII.isSDWA(
MI)))) &&
1988 MI.modifiesRegister(AMDGPU::EXEC, &
TRI);
1991bool GCNHazardRecognizer::fixVcmpxPermlaneHazards(
MachineInstr *
MI) {
1995 const SIInstrInfo *TII = ST.getInstrInfo();
1996 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2002 unsigned Opc =
MI.getOpcode();
2004 Opc != AMDGPU::V_NOP_e32 &&
Opc != AMDGPU::V_NOP_e64 &&
2005 Opc != AMDGPU::V_NOP_sdwa;
2009 std::numeric_limits<int>::max())
2015 auto *
Src0 = TII->getNamedOperand(*
MI, AMDGPU::OpName::src0);
2017 bool IsUndef =
Src0->isUndef();
2019 TII->get(AMDGPU::V_MOV_B32_e32))
2026bool GCNHazardRecognizer::fixVMEMtoScalarWriteHazards(
MachineInstr *
MI) {
2027 if (!ST.hasVMEMtoScalarWriteHazard())
2029 assert(!ST.hasExtendedWaitCounts());
2034 if (
MI->getNumDefs() == 0)
2037 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2043 for (
const MachineOperand &Def :
MI->defs()) {
2044 const MachineOperand *
Op =
2045 I.findRegisterUseOperand(
Def.getReg(), TRI,
false);
2055 (
MI.getOpcode() == AMDGPU::S_WAITCNT &&
2056 !
MI.getOperand(0).getImm()) ||
2057 (
MI.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR &&
2062 std::numeric_limits<int>::max())
2065 const SIInstrInfo *TII = ST.getInstrInfo();
2067 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
2072bool GCNHazardRecognizer::fixSMEMtoVectorWriteHazards(
MachineInstr *
MI) {
2073 if (!ST.hasSMEMtoVectorWriteHazard())
2075 assert(!ST.hasExtendedWaitCounts());
2080 AMDGPU::OpName SDSTName;
2081 switch (
MI->getOpcode()) {
2082 case AMDGPU::V_READLANE_B32:
2083 case AMDGPU::V_READFIRSTLANE_B32:
2084 SDSTName = AMDGPU::OpName::vdst;
2087 SDSTName = AMDGPU::OpName::sdst;
2091 const SIInstrInfo *TII = ST.getInstrInfo();
2092 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2094 const MachineOperand *SDST = TII->getNamedOperand(*
MI, SDSTName);
2096 for (
const auto &MO :
MI->implicit_operands()) {
2097 if (MO.isDef() && TRI->isSGPRClass(TRI->getPhysRegBaseClass(MO.getReg()))) {
2108 auto IsHazardFn = [SDSTReg, TRI](
const MachineInstr &
I) {
2113 if (TII->isSALU(
MI)) {
2114 switch (
MI.getOpcode()) {
2115 case AMDGPU::S_SETVSKIP:
2116 case AMDGPU::S_VERSION:
2117 case AMDGPU::S_WAITCNT_VSCNT:
2118 case AMDGPU::S_WAITCNT_VMCNT:
2119 case AMDGPU::S_WAITCNT_EXPCNT:
2122 case AMDGPU::S_WAITCNT_LGKMCNT:
2124 return (
MI.getOperand(1).getImm() == 0) &&
2125 (
MI.getOperand(0).
getReg() == AMDGPU::SGPR_NULL);
2126 case AMDGPU::S_WAITCNT: {
2127 const int64_t
Imm =
MI.getOperand(0).getImm();
2134 MI.getOpcode() == AMDGPU::S_WAIT_IDLE) &&
2135 "unexpected wait count instruction");
2137 if (TII->isSOPP(
MI))
2153 std::numeric_limits<int>::max())
2157 TII->get(AMDGPU::S_MOV_B32), AMDGPU::SGPR_NULL)
2162bool GCNHazardRecognizer::fixVcmpxExecWARHazard(
MachineInstr *
MI) {
2163 if (!ST.hasVcmpxExecWARHazard())
2165 assert(!ST.hasExtendedWaitCounts());
2170 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2171 if (!
MI->modifiesRegister(AMDGPU::EXEC, TRI))
2177 return I.readsRegister(AMDGPU::EXEC, TRI);
2180 const SIInstrInfo *TII = ST.getInstrInfo();
2181 auto IsExpiredFn = [TII, TRI](
const MachineInstr &
MI, int) {
2183 if (TII->getNamedOperand(
MI, AMDGPU::OpName::sdst))
2185 for (
auto MO :
MI.implicit_operands())
2186 if (MO.isDef() && TRI->isSGPRClass(TRI->getPhysRegBaseClass(MO.getReg())))
2189 if (
MI.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR &&
2196 std::numeric_limits<int>::max())
2200 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
2207 if (!ST.hasLdsBranchVmemWARHazard())
2212 bool HasLds =
false;
2213 bool HasVmem =
false;
2214 for (
auto &
MBB : MF) {
2215 for (
auto &
MI :
MBB) {
2218 if (HasLds && HasVmem)
2226 return I.getOpcode() == AMDGPU::S_WAITCNT_VSCNT &&
2227 I.getOperand(0).getReg() == AMDGPU::SGPR_NULL &&
2228 !
I.getOperand(1).getImm();
2231bool GCNHazardRecognizer::fixLdsBranchVmemWARHazard(
MachineInstr *
MI) {
2232 if (!RunLdsBranchVmemWARHazardFixup)
2235 assert(ST.hasLdsBranchVmemWARHazard());
2236 assert(!ST.hasExtendedWaitCounts());
2238 auto IsHazardInst = [](
const MachineInstr &
MI) {
2246 auto InstType = IsHazardInst(*
MI);
2250 auto IsExpiredFn = [&IsHazardInst](
const MachineInstr &
I, int) {
2254 auto IsHazardFn = [InstType, &IsHazardInst](
const MachineInstr &
I) {
2258 auto IsHazardFn = [InstType, IsHazardInst](
const MachineInstr &
I) {
2259 auto InstType2 = IsHazardInst(
I);
2260 return InstType2 && InstType != InstType2;
2263 auto IsExpiredFn = [InstType, &IsHazardInst](
const MachineInstr &
I, int) {
2264 auto InstType2 = IsHazardInst(
I);
2265 if (InstType == InstType2)
2272 std::numeric_limits<int>::max();
2276 std::numeric_limits<int>::max())
2279 const SIInstrInfo *TII = ST.getInstrInfo();
2281 TII->get(AMDGPU::S_WAITCNT_VSCNT))
2288bool GCNHazardRecognizer::fixLdsDirectVALUHazard(
MachineInstr *
MI) {
2292 const int NoHazardWaitStates = 15;
2293 const MachineOperand *VDST = TII.getNamedOperand(*
MI, AMDGPU::OpName::vdst);
2296 bool VisitedTrans =
false;
2297 auto IsHazardFn = [
this, VDSTReg, &VisitedTrans](
const MachineInstr &
I) {
2302 return I.readsRegister(VDSTReg, &TRI) ||
I.modifiesRegister(VDSTReg, &TRI);
2304 auto IsExpiredFn = [&](
const MachineInstr &
I,
int WaitStates) {
2305 if (WaitStates >= NoHazardWaitStates)
2311 auto GetWaitStatesFn = [](
const MachineInstr &
MI) {
2315 DenseSet<const MachineBasicBlock *> Visited;
2317 std::next(
MI->getReverseIterator()), 0,
2325 MachineOperand *WaitVdstOp =
2326 TII.getNamedOperand(*
MI, AMDGPU::OpName::waitvdst);
2327 WaitVdstOp->
setImm(std::min(
Count, NoHazardWaitStates));
2332bool GCNHazardRecognizer::fixLdsDirectVMEMHazard(
MachineInstr *
MI) {
2336 const MachineOperand *VDST = TII.getNamedOperand(*
MI, AMDGPU::OpName::vdst);
2339 auto IsHazardFn = [
this, VDSTReg](
const MachineInstr &
I) {
2342 return I.readsRegister(VDSTReg, &TRI) ||
I.modifiesRegister(VDSTReg, &TRI);
2344 bool LdsdirCanWait = ST.hasLdsWaitVMSRC();
2347 auto IsExpiredFn = [
this, LdsdirCanWait](
const MachineInstr &
I, int) {
2350 (
I.getOpcode() == AMDGPU::S_WAITCNT && !
I.getOperand(0).getImm()) ||
2351 (
I.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR &&
2354 !TII.getNamedOperand(
I, AMDGPU::OpName::waitvsrc)->getImm());
2358 std::numeric_limits<int>::max())
2361 if (LdsdirCanWait) {
2362 TII.getNamedOperand(*
MI, AMDGPU::OpName::waitvsrc)->setImm(0);
2365 TII.get(AMDGPU::S_WAITCNT_DEPCTR))
2372bool GCNHazardRecognizer::fixVALUPartialForwardingHazard(
MachineInstr *
MI) {
2373 if (!ST.hasVALUPartialForwardingHazard())
2375 assert(!ST.hasExtendedWaitCounts());
2380 SmallSetVector<Register, 4> SrcVGPRs;
2382 for (
const MachineOperand &Use :
MI->explicit_uses()) {
2383 if (
Use.isReg() && TRI.isVGPR(MF.getRegInfo(),
Use.getReg()))
2388 if (SrcVGPRs.
size() <= 1)
2406 const int Intv1plus2MaxVALUs = 2;
2407 const int Intv3MaxVALUs = 4;
2408 const int IntvMaxVALUs = 6;
2409 const int NoHazardVALUWaitStates = IntvMaxVALUs + 2;
2412 SmallDenseMap<Register, int, 4> DefPos;
2413 int ExecPos = std::numeric_limits<int>::max();
2416 static unsigned getHashValue(
const StateType &State) {
2418 for (
const auto &[
Reg, Pos] : State.DefPos)
2422 static bool isEqual(
const StateType &
LHS,
const StateType &
RHS) {
2423 return LHS.DefPos ==
RHS.DefPos &&
LHS.ExecPos ==
RHS.ExecPos &&
2431 auto IsHazardFn = [&,
this](StateType &State,
const MachineInstr &
I) {
2433 if (State.VALUs > NoHazardVALUWaitStates)
2439 (
I.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR &&
2447 if (!State.DefPos.count(Src) &&
I.modifiesRegister(Src, &TRI)) {
2448 State.DefPos[Src] = State.VALUs;
2453 if (State.ExecPos == std::numeric_limits<int>::max()) {
2454 if (!State.DefPos.empty() &&
I.modifiesRegister(AMDGPU::EXEC, &TRI)) {
2455 State.ExecPos = State.VALUs;
2462 if (State.VALUs > Intv3MaxVALUs && State.DefPos.empty())
2470 if (State.ExecPos == std::numeric_limits<int>::max())
2473 int PreExecPos = std::numeric_limits<int>::max();
2474 int PostExecPos = std::numeric_limits<int>::max();
2476 for (
auto Entry : State.DefPos) {
2477 int DefVALUs =
Entry.second;
2478 if (DefVALUs != std::numeric_limits<int>::max()) {
2479 if (DefVALUs >= State.ExecPos)
2480 PreExecPos = std::min(PreExecPos, DefVALUs);
2482 PostExecPos = std::min(PostExecPos, DefVALUs);
2487 if (PostExecPos == std::numeric_limits<int>::max())
2491 int Intv3VALUs = PostExecPos;
2492 if (Intv3VALUs > Intv3MaxVALUs)
2496 int Intv2VALUs = (State.ExecPos - PostExecPos) - 1;
2497 if (Intv2VALUs > Intv1plus2MaxVALUs)
2501 if (PreExecPos == std::numeric_limits<int>::max())
2505 int Intv1VALUs = PreExecPos - State.ExecPos;
2506 if (Intv1VALUs > Intv1plus2MaxVALUs)
2510 if (Intv1VALUs + Intv2VALUs > Intv1plus2MaxVALUs)
2515 auto UpdateStateFn = [](StateType &State,
const MachineInstr &
MI) {
2521 std::next(
MI->getReverseIterator())))
2525 TII.get(AMDGPU::S_WAITCNT_DEPCTR))
2531bool GCNHazardRecognizer::fixVALUTransUseHazard(
MachineInstr *
MI) {
2532 if (!ST.hasVALUTransUseHazard())
2534 assert(!ST.hasExtendedWaitCounts());
2539 SmallSet<Register, 4> SrcVGPRs;
2541 for (
const MachineOperand &Use :
MI->explicit_uses()) {
2542 if (
Use.isReg() && TRI.isVGPR(MF.getRegInfo(),
Use.getReg()))
2556 const int IntvMaxVALUs = 5;
2557 const int IntvMaxTRANS = 1;
2563 static unsigned getHashValue(
const StateType &State) {
2566 static bool isEqual(
const StateType &
LHS,
const StateType &
RHS) {
2567 return LHS.VALUs ==
RHS.VALUs &&
LHS.TRANS ==
RHS.TRANS;
2574 auto IsHazardFn = [&,
this](StateType &State,
const MachineInstr &
I) {
2576 if (State.VALUs > IntvMaxVALUs || State.TRANS > IntvMaxTRANS)
2582 (
I.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR &&
2589 if (
I.modifiesRegister(Src, &TRI)) {
2597 auto UpdateStateFn = [](StateType &State,
const MachineInstr &
MI) {
2605 std::next(
MI->getReverseIterator())))
2611 TII.get(AMDGPU::S_WAITCNT_DEPCTR))
2617bool GCNHazardRecognizer::fixVALUTransCoexecutionHazards(
MachineInstr *
MI) {
2618 if (!ST.hasTransCoexecutionHazard() ||
2623 const SIInstrInfo *TII = ST.getInstrInfo();
2624 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2626 auto IsTransHazardFn = [
MI, TII, TRI](
const MachineInstr &
I) {
2631 Register TransDef = TII->getNamedOperand(
I, AMDGPU::OpName::vdst)->getReg();
2632 for (
const MachineOperand &ValuUse :
MI->explicit_uses()) {
2633 if (ValuUse.isReg() && TRI->regsOverlap(TransDef, ValuUse.getReg()))
2639 for (
const MachineOperand &TransUse :
I.explicit_uses()) {
2640 if (TransUse.isReg() &&
MI->modifiesRegister(TransUse.getReg(), TRI))
2651 const int HasVALU = std::numeric_limits<int>::max();
2652 if (::getWaitStatesSince(IsTransHazardFn,
MI,
IsExpiredFn) == HasVALU)
2655 BuildMI(*
MI->getParent(),
MI,
MI->getDebugLoc(), TII->get(AMDGPU::V_NOP_e32));
2663 const SIInstrInfo *TII = ST.getInstrInfo();
2664 const SIRegisterInfo *TRI = ST.getRegisterInfo();
2666 auto IsHazardFn = [
MI, TII, TRI,
this](
const MachineInstr &
I) {
2673 TII->getNamedOperand(*
MI, AMDGPU::OpName::src0)->getReg();
2675 TII->getNamedOperand(*
MI, AMDGPU::OpName::src1)->getReg();
2678 TII->getNamedOperand(
I, AMDGPU::OpName::vdst)->getReg();
2680 if (TRI->regsOverlap(PrevDstReg, CurSrc0Reg) ||
2681 TRI->regsOverlap(PrevDstReg, CurSrc1Reg)) {
2690 TII->getNamedOperand(*
MI, AMDGPU::OpName::src2)->getReg();
2691 if (TRI->regsOverlap(PrevDstReg, CurIndex))
2705 std::numeric_limits<int>::max())
2708 BuildMI(*
MI->getParent(),
MI,
MI->getDebugLoc(), TII->get(AMDGPU::V_NOP_e32));
2762 bool IsLowestRateWMMA = ST.hasGFX125xLowestRateWMMA();
2763 unsigned Category = 0;
2765 unsigned Latency = SchedModel.computeInstrLatency(&
MI);
2770 assert(!IsSWMMAC &&
"no 4-cycle SWMMAC expected");
2774 Category = IsSWMMAC ? 2 : 0;
2777 Category = IsLowestRateWMMA ? 4 : (IsSWMMAC ? 3 : 1);
2780 assert(IsLowestRateWMMA &&
"latency 32 is not expected");
2790int GCNHazardRecognizer::checkWMMACoexecutionHazards(
MachineInstr *
MI)
const {
2791 if (!ST.hasWMMACoexecutionHazards())
2794 const SIInstrInfo *TII = ST.getInstrInfo();
2803 const int WMMAWaitStates[] = {5, 9, 3, 5, 9, 17, 2};
2804 const int VALUWaitStates[] = {4, 8, 2, 4, 8, 16, 1};
2805 const bool IsWMMA = TII->isXDLWMMA(*
MI);
2806 const bool IsLowestRateWMMA = ST.hasGFX125xLowestRateWMMA();
2807 ArrayRef<int> RequiredWaitStates =
2808 IsWMMA ? ArrayRef<int>(WMMAWaitStates) :
ArrayRef<int>(VALUWaitStates);
2809 const int MaxWaitStates =
2810 IsWMMA ? (IsLowestRateWMMA ? 17 : 9) : (IsLowestRateWMMA ? 16 : 8);
2812 auto WindowFor = [=](
const MachineInstr &
I) -> std::optional<int> {
2813 if (!TII->isXDLWMMA(
I))
2814 return std::nullopt;
2815 if (IsWMMA ? !hasWMMAToWMMARegOverlap(
I, *
MI)
2816 : !hasWMMAToVALURegOverlap(
I, *
MI))
2817 return std::nullopt;
2822 return getMaxVALUWindowDeficit(MaxWaitStates, WindowFor);
2825bool GCNHazardRecognizer::hasWMMAToWMMARegOverlap(
2827 Register D0 = TII.getNamedOperand(WMMA, AMDGPU::OpName::vdst)->getReg();
2828 Register A1 = TII.getNamedOperand(
MI, AMDGPU::OpName::src0)->getReg();
2829 Register B1 = TII.getNamedOperand(
MI, AMDGPU::OpName::src1)->getReg();
2832 if (TRI.regsOverlap(D0, A1) || TRI.regsOverlap(D0, B1))
2836 Register Idx1 = TII.getNamedOperand(
MI, AMDGPU::OpName::src2)->getReg();
2837 if (TRI.regsOverlap(D0, Idx1))
2843bool GCNHazardRecognizer::hasWMMAToVALURegOverlap(
2846 Register D0 = TII.getNamedOperand(WMMA, AMDGPU::OpName::vdst)->getReg();
2847 for (
const MachineOperand &ValuUse :
MI.explicit_uses()) {
2848 if (ValuUse.isReg() && TRI.regsOverlap(D0, ValuUse.getReg()))
2853 Register A0 = TII.getNamedOperand(WMMA, AMDGPU::OpName::src0)->getReg();
2854 Register B0 = TII.getNamedOperand(WMMA, AMDGPU::OpName::src1)->getReg();
2857 const MachineOperand *
Src2 = TII.getNamedOperand(WMMA, AMDGPU::OpName::src2);
2859 WMMARegs.push_back(
Src2->getReg());
2861 for (
const MachineOperand &ValuDef :
MI.defs()) {
2862 Register VDstReg = ValuDef.getReg();
2863 for (
Register WMMAReg : WMMARegs) {
2864 if (TRI.regsOverlap(VDstReg, WMMAReg))
2871bool GCNHazardRecognizer::isCoexecutionHazardFor(
const MachineInstr &
I,
2875 if (!TII.isXDLWMMA(
I))
2879 if (TII.isXDLWMMA(
MI))
2880 return hasWMMAToWMMARegOverlap(
I,
MI);
2882 return hasWMMAToVALURegOverlap(
I,
MI);
2888 bool IncludeSubloops) {
2891 for (MachineBasicBlock *
MBB :
L->getBlocks()) {
2892 if (!IncludeSubloops && MLI->getLoopFor(
MBB) != L)
2894 for (MachineInstr &
I : *
MBB) {
2897 if (isCoexecutionHazardFor(
I, *
MI))
2904bool GCNHazardRecognizer::tryHoistWMMAVnopsFromLoop(
MachineInstr *
MI,
2905 int WaitStatesNeeded) {
2909 MachineLoop *
L = MLI->getLoopFor(
MI->getParent());
2911 ++NumWMMAHoistingBailed;
2916 if (hasWMMAHazardInLoop(L,
MI)) {
2917 ++NumWMMAHoistingBailed;
2922 MachineLoop *TargetLoop =
L;
2924 if (hasWMMAHazardInLoop(Parent,
MI,
false))
2926 TargetLoop = Parent;
2932 ++NumWMMAHoistingBailed;
2936 LLVM_DEBUG(
dbgs() <<
"WMMA V_NOP Hoisting: Moving " << WaitStatesNeeded
2942 NumWMMANopsHoisted += WaitStatesNeeded;
2946bool GCNHazardRecognizer::fixWMMACoexecutionHazards(
MachineInstr *
MI) {
2947 int WaitStatesNeeded = checkWMMACoexecutionHazards(
MI);
2948 if (WaitStatesNeeded <= 0)
2954 emitVNops(*
MI->getParent(),
MI->getIterator(), WaitStatesNeeded);
2958bool GCNHazardRecognizer::fixShift64HighRegBug(
MachineInstr *
MI) {
2959 if (!ST.hasShift64HighRegBug())
2961 assert(!ST.hasExtendedWaitCounts());
2963 switch (
MI->getOpcode()) {
2966 case AMDGPU::V_LSHLREV_B64_e64:
2967 case AMDGPU::V_LSHRREV_B64_e64:
2968 case AMDGPU::V_ASHRREV_I64_e64:
2972 MachineOperand *Amt = TII.getNamedOperand(*
MI, AMDGPU::OpName::src0);
2977 const MachineRegisterInfo &MRI = MF.getRegInfo();
2979 if (!TRI.isVGPR(MRI, AmtReg) || ((AmtReg - AMDGPU::VGPR0) & 7) != 7)
2982 if (AmtReg != AMDGPU::VGPR255 && MRI.
isPhysRegUsed(AmtReg + 1))
2985 assert(ST.needsAlignedVGPRs());
2986 static_assert(AMDGPU::VGPR0 + 1 == AMDGPU::VGPR1);
2990 MachineOperand *
Src1 = TII.getNamedOperand(*
MI, AMDGPU::OpName::src1);
3001 Register DstReg =
MI->getOperand(0).getReg();
3002 if (!
Src1->isReg() ||
Src1->getReg() != DstReg) {
3003 Register DstLo = TRI.getSubReg(DstReg, AMDGPU::sub0);
3011 bool Overlapped =
MI->modifiesRegister(AmtReg, &TRI);
3013 for (MCRegister
Reg : Overlapped ? AMDGPU::VReg_64_Align2RegClass
3014 : AMDGPU::VGPR_32RegClass) {
3015 if (!
MI->modifiesRegister(
Reg, &TRI) && !
MI->readsRegister(
Reg, &TRI)) {
3021 Register NewAmt = Overlapped ? (
Register)TRI.getSubReg(NewReg, AMDGPU::sub1)
3026 NewAmtLo = TRI.getSubReg(NewReg, AMDGPU::sub0);
3039 runOnInstruction(
BuildMI(*
MBB,
MI,
DL, TII.get(AMDGPU::V_SWAP_B32), NewAmt)
3046 BuildMI(*
MBB, std::next(
MI->getIterator()),
DL, TII.get(AMDGPU::V_SWAP_B32),
3052 BuildMI(*
MBB, std::next(
MI->getIterator()),
DL, TII.get(AMDGPU::V_SWAP_B32),
3066 MI->getOperand(0).setReg(NewReg);
3067 Src1->setReg(NewReg);
3068 Src1->setIsKill(
false);
3078bool GCNHazardRecognizer::fixPkF32InvalidOpSel(
MachineInstr *
MI) {
3079 if (!ST.hasPkF32InvalidOpSel())
3082 switch (
MI->getOpcode()) {
3085 case AMDGPU::V_PK_ADD_F32:
3086 case AMDGPU::V_PK_MUL_F32:
3087 case AMDGPU::V_PK_FMA_F32:
3091 const MachineOperand *Src0Mods =
3092 TII.getNamedOperand(*
MI, AMDGPU::OpName::src0_modifiers);
3093 const MachineOperand *Src1Mods =
3094 TII.getNamedOperand(*
MI, AMDGPU::OpName::src1_modifiers);
3095 if (!Src0Mods || !Src1Mods)
3098 if (
MI->getOpcode() != AMDGPU::V_PK_FMA_F32) {
3101 if (!TII.commuteInstruction(*
MI)) {
3103 "cannot swap the GFX950 v_pk_add/mul_f32 src0 and src1: " +
3104 Twine(TII.getName(
MI->getOpcode())));
3114 if (!TII.isLegalPkFMAF32OpSel(*
MI)) {
3116 "should have been legalized earlier in the "
3123int GCNHazardRecognizer::checkNSAtoVMEMHazard(
MachineInstr *
MI)
const {
3124 int NSAtoVMEMWaitStates = 1;
3126 if (!ST.hasNSAtoVMEMBug())
3132 const SIInstrInfo *TII = ST.getInstrInfo();
3133 const auto *
Offset = TII->getNamedOperand(*
MI, AMDGPU::OpName::offset);
3141 return Info->MIMGEncoding == AMDGPU::MIMGEncGfx10NSA &&
3142 TII->getInstSizeInBytes(
I) >= 16;
3145 return NSAtoVMEMWaitStates - getWaitStatesSince(
IsHazardFn, 1);
3148int GCNHazardRecognizer::checkFPAtomicToDenormModeHazard(
3150 int FPAtomicToDenormModeWaitStates = 3;
3152 if (!ST.hasFPAtomicToDenormModeHazard())
3154 assert(!ST.hasExtendedWaitCounts());
3156 if (
MI->getOpcode() != AMDGPU::S_DENORM_MODE)
3165 auto IsExpiredFn = [](
const MachineInstr &
MI,
int WaitStates) {
3172 return FPAtomicToDenormModeWaitStates -
3176int GCNHazardRecognizer::checkMAIHazards(
MachineInstr *
MI)
const {
3179 return ST.hasGFX90AInsts() ? checkMAIHazards90A(
MI) : checkMAIHazards908(
MI);
3182int GCNHazardRecognizer::checkMFMAPadding(
MachineInstr *
MI)
const {
3187 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
3191 int NeighborMFMALatency = 0;
3192 auto IsNeighboringMFMA = [&NeighborMFMALatency,
3193 this](
const MachineInstr &
MI) {
3197 NeighborMFMALatency = this->getMFMAPipelineWaitStates(
MI);
3201 const int MaxMFMAPipelineWaitStates = 16;
3202 int WaitStatesSinceNeighborMFMA =
3203 getWaitStatesSince(IsNeighboringMFMA, MaxMFMAPipelineWaitStates);
3205 int NeighborMFMAPaddingNeeded =
3207 WaitStatesSinceNeighborMFMA;
3209 return std::max(0, NeighborMFMAPaddingNeeded);
3212int GCNHazardRecognizer::checkMAIHazards908(
MachineInstr *
MI)
const {
3213 int WaitStatesNeeded = 0;
3214 unsigned Opc =
MI->getOpcode();
3216 auto IsVALUFn = [](
const MachineInstr &
MI) {
3220 if (
Opc != AMDGPU::V_ACCVGPR_READ_B32_e64) {
3221 const int LegacyVALUWritesVGPRWaitStates = 2;
3222 const int VALUWritesExecWaitStates = 4;
3223 const int MaxWaitStates = 4;
3225 int WaitStatesNeededForUse = VALUWritesExecWaitStates -
3226 getWaitStatesSinceDef(AMDGPU::EXEC, IsVALUFn, MaxWaitStates);
3227 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3229 if (WaitStatesNeeded < MaxWaitStates) {
3230 for (
const MachineOperand &Use :
MI->explicit_uses()) {
3231 const int MaxWaitStates = 2;
3233 if (!
Use.isReg() || !TRI.isVGPR(MF.getRegInfo(),
Use.getReg()))
3236 int WaitStatesNeededForUse = LegacyVALUWritesVGPRWaitStates -
3237 getWaitStatesSinceDef(
Use.getReg(), IsVALUFn, MaxWaitStates);
3238 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3240 if (WaitStatesNeeded == MaxWaitStates)
3246 for (
const MachineOperand &
Op :
MI->explicit_operands()) {
3247 if (!
Op.isReg() || !TRI.isAGPR(MF.getRegInfo(),
Op.getReg()))
3250 if (
Op.isDef() &&
Opc != AMDGPU::V_ACCVGPR_WRITE_B32_e64)
3253 const int MFMAWritesAGPROverlappedSrcABWaitStates = 4;
3254 const int MFMAWritesAGPROverlappedSrcCWaitStates = 2;
3255 const int MFMA4x4WritesAGPRAccVgprReadWaitStates = 4;
3256 const int MFMA16x16WritesAGPRAccVgprReadWaitStates = 10;
3257 const int MFMA32x32WritesAGPRAccVgprReadWaitStates = 18;
3258 const int MFMA4x4WritesAGPRAccVgprWriteWaitStates = 1;
3259 const int MFMA16x16WritesAGPRAccVgprWriteWaitStates = 7;
3260 const int MFMA32x32WritesAGPRAccVgprWriteWaitStates = 15;
3261 const int MaxWaitStates = 18;
3263 unsigned HazardDefLatency = 0;
3265 auto IsOverlappedMFMAFn = [
Reg, &HazardDefLatency,
3266 this](
const MachineInstr &
MI) {
3273 std::max(HazardDefLatency, TSchedModel.computeInstrLatency(&
MI));
3274 return TRI.regsOverlap(DstReg,
Reg);
3277 int WaitStatesSinceDef = getWaitStatesSinceDef(
Reg, IsOverlappedMFMAFn,
3279 int NeedWaitStates = MFMAWritesAGPROverlappedSrcABWaitStates;
3280 int SrcCIdx = AMDGPU::getNamedOperandIdx(
Opc, AMDGPU::OpName::src2);
3281 int OpNo =
Op.getOperandNo();
3282 if (OpNo == SrcCIdx) {
3283 NeedWaitStates = MFMAWritesAGPROverlappedSrcCWaitStates;
3284 }
else if (
Opc == AMDGPU::V_ACCVGPR_READ_B32_e64) {
3285 switch (HazardDefLatency) {
3286 case 2: NeedWaitStates = MFMA4x4WritesAGPRAccVgprReadWaitStates;
3288 case 8: NeedWaitStates = MFMA16x16WritesAGPRAccVgprReadWaitStates;
3290 case 16: [[fallthrough]];
3291 default: NeedWaitStates = MFMA32x32WritesAGPRAccVgprReadWaitStates;
3294 }
else if (
Opc == AMDGPU::V_ACCVGPR_WRITE_B32_e64) {
3295 switch (HazardDefLatency) {
3296 case 2: NeedWaitStates = MFMA4x4WritesAGPRAccVgprWriteWaitStates;
3298 case 8: NeedWaitStates = MFMA16x16WritesAGPRAccVgprWriteWaitStates;
3300 case 16: [[fallthrough]];
3301 default: NeedWaitStates = MFMA32x32WritesAGPRAccVgprWriteWaitStates;
3306 int WaitStatesNeededForUse = NeedWaitStates - WaitStatesSinceDef;
3307 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3309 if (WaitStatesNeeded == MaxWaitStates)
3310 return WaitStatesNeeded;
3312 auto IsAccVgprWriteFn = [
Reg,
this](
const MachineInstr &
MI) {
3313 if (
MI.getOpcode() != AMDGPU::V_ACCVGPR_WRITE_B32_e64)
3316 return TRI.regsOverlap(
Reg, DstReg);
3319 const int AccVGPRWriteMFMAReadSrcCWaitStates = 1;
3320 const int AccVGPRWriteMFMAReadSrcABWaitStates = 3;
3321 const int AccVGPRWriteAccVgprReadWaitStates = 3;
3322 NeedWaitStates = AccVGPRWriteMFMAReadSrcABWaitStates;
3323 if (OpNo == SrcCIdx)
3324 NeedWaitStates = AccVGPRWriteMFMAReadSrcCWaitStates;
3325 else if (
Opc == AMDGPU::V_ACCVGPR_READ_B32_e64)
3326 NeedWaitStates = AccVGPRWriteAccVgprReadWaitStates;
3328 WaitStatesNeededForUse = NeedWaitStates -
3329 getWaitStatesSinceDef(
Reg, IsAccVgprWriteFn, MaxWaitStates);
3330 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3332 if (WaitStatesNeeded == MaxWaitStates)
3333 return WaitStatesNeeded;
3336 if (
Opc == AMDGPU::V_ACCVGPR_WRITE_B32_e64) {
3337 const int MFMA4x4ReadSrcCAccVgprWriteWaitStates = 0;
3338 const int MFMA16x16ReadSrcCAccVgprWriteWaitStates = 5;
3339 const int MFMA32x32ReadSrcCAccVgprWriteWaitStates = 13;
3340 const int MaxWaitStates = 13;
3341 Register DstReg =
MI->getOperand(0).getReg();
3342 unsigned HazardDefLatency = 0;
3344 auto IsSrcCMFMAFn = [DstReg, &HazardDefLatency,
3345 this](
const MachineInstr &
MI) {
3348 Register Reg = TII.getNamedOperand(
MI, AMDGPU::OpName::src2)->getReg();
3350 std::max(HazardDefLatency, TSchedModel.computeInstrLatency(&
MI));
3351 return TRI.regsOverlap(
Reg, DstReg);
3354 int WaitStatesSince = getWaitStatesSince(IsSrcCMFMAFn, MaxWaitStates);
3356 switch (HazardDefLatency) {
3357 case 2: NeedWaitStates = MFMA4x4ReadSrcCAccVgprWriteWaitStates;
3359 case 8: NeedWaitStates = MFMA16x16ReadSrcCAccVgprWriteWaitStates;
3361 case 16: [[fallthrough]];
3362 default: NeedWaitStates = MFMA32x32ReadSrcCAccVgprWriteWaitStates;
3366 int WaitStatesNeededForUse = NeedWaitStates - WaitStatesSince;
3367 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3371 WaitStatesNeeded = std::max(WaitStatesNeeded, checkMFMAPadding(
MI));
3373 return WaitStatesNeeded;
3402 return NumPasses + 1 + IsGFX950;
3413 return NumPasses + 1 + (NumPasses != 2 && IsGFX950);
3431 return NumPasses + 2;
3441 return NumPasses + 3 + (NumPasses != 2 && IsGFX950);
3444int GCNHazardRecognizer::getMFMAOverlappedSrcCWaitStates(
3446 constexpr int SMFMA4x4WritesVGPROverlappedSMFMASrcCWaitStates = 2;
3447 constexpr int SMFMA16x16WritesVGPROverlappedSMFMASrcCWaitStates = 8;
3448 constexpr int SMFMA32x32WritesVGPROverlappedSMFMASrcCWaitStates = 16;
3449 constexpr int SMFMA4x4WritesVGPROverlappedDMFMASrcCWaitStates = 3;
3450 constexpr int SMFMA16x16WritesVGPROverlappedDMFMASrcCWaitStates = 9;
3451 constexpr int SMFMA32x32WritesVGPROverlappedDMFMASrcCWaitStates = 17;
3452 constexpr int DMFMA16x16WritesVGPROverlappedSrcCWaitStates = 9;
3453 constexpr int GFX950_DMFMA16x16WritesVGPROverlappedSrcCWaitStates = 17;
3454 constexpr int DMFMA4x4WritesVGPROverlappedSrcCWaitStates = 4;
3458 if (TII.isXDL(*Reader) && !TII.isXDL(*Writer))
3462 case AMDGPU::V_MFMA_F64_16X16X4F64_e64:
3463 case AMDGPU::V_MFMA_F64_16X16X4F64_vgprcd_e64:
3464 case AMDGPU::V_MFMA_F64_16X16X4F64_mac_e64:
3465 case AMDGPU::V_MFMA_F64_16X16X4F64_mac_vgprcd_e64:
3466 return ST.hasGFX950Insts()
3467 ? GFX950_DMFMA16x16WritesVGPROverlappedSrcCWaitStates
3468 : DMFMA16x16WritesVGPROverlappedSrcCWaitStates;
3469 case AMDGPU::V_MFMA_F64_4X4X4F64_e64:
3470 case AMDGPU::V_MFMA_F64_4X4X4F64_vgprcd_e64:
3471 return DMFMA4x4WritesVGPROverlappedSrcCWaitStates;
3476 int NumPasses = TSchedModel.computeInstrLatency(Writer);
3477 if (ST.hasGFX940Insts()) {
3478 if (!TII.isXDL(*Writer))
3481 return TII.isXDL(*Reader)
3483 NumPasses, ST.hasGFX950Insts())
3485 NumPasses, ST.hasGFX950Insts());
3489 switch (NumPasses) {
3491 return IsDGEMM ? SMFMA4x4WritesVGPROverlappedDMFMASrcCWaitStates
3492 : SMFMA4x4WritesVGPROverlappedSMFMASrcCWaitStates;
3494 return IsDGEMM ? SMFMA16x16WritesVGPROverlappedDMFMASrcCWaitStates
3495 : SMFMA16x16WritesVGPROverlappedSMFMASrcCWaitStates;
3497 return IsDGEMM ? SMFMA32x32WritesVGPROverlappedDMFMASrcCWaitStates
3498 : SMFMA32x32WritesVGPROverlappedSMFMASrcCWaitStates;
3504int GCNHazardRecognizer::getMFMAReadWaitStates(
const MachineInstr &Consumer,
3507 bool IsSrcC)
const {
3509 const int SMFMA4x4WritesVGPROverlappedSrcABWaitStates = 5;
3510 const int SMFMA16x16WritesVGPROverlappedSrcABWaitStates = 11;
3511 const int SMFMA32x32WritesVGPROverlappedSrcABWaitStates = 19;
3512 const int DMFMA4x4WritesVGPROverlappedMFMASrcABWaitStates = 6;
3513 const int DMFMA16x16WritesVGPROverlappedMFMASrcABWaitStates = 11;
3514 const int GFX950_DMFMA16x16WritesVGPROverlappedMFMASrcABWaitStates = 19;
3515 const int DMFMA4x4WritesVGPRFullSrcCWaitStates = 4;
3516 const int GFX940_SMFMA4x4WritesVGPRFullSrcCWaitStates = 2;
3518 bool FullReg =
Producer.getOperand(0).getReg() ==
Reg;
3519 unsigned Opc1 =
Producer.getOpcode();
3520 int NeedWaitStates = 0;
3525 }
else if (FullReg) {
3526 if ((
Opc == AMDGPU::V_MFMA_F64_4X4X4F64_e64 ||
3527 Opc == AMDGPU::V_MFMA_F64_4X4X4F64_vgprcd_e64) &&
3528 (Opc1 == AMDGPU::V_MFMA_F64_4X4X4F64_e64 ||
3529 Opc1 == AMDGPU::V_MFMA_F64_4X4X4F64_vgprcd_e64))
3530 NeedWaitStates = DMFMA4x4WritesVGPRFullSrcCWaitStates;
3531 else if (ST.hasGFX940Insts() &&
3532 TSchedModel.computeInstrLatency(&Producer) == 2)
3533 NeedWaitStates = GFX940_SMFMA4x4WritesVGPRFullSrcCWaitStates;
3540 std::max(NeedWaitStates,
3541 getMFMAOverlappedSrcCWaitStates(&Consumer, &Producer));
3544 NeedWaitStates = getMFMAOverlappedSrcCWaitStates(&Consumer, &Producer);
3548 case AMDGPU::V_MFMA_F64_16X16X4F64_e64:
3549 case AMDGPU::V_MFMA_F64_16X16X4F64_vgprcd_e64:
3550 case AMDGPU::V_MFMA_F64_16X16X4F64_mac_e64:
3551 case AMDGPU::V_MFMA_F64_16X16X4F64_mac_vgprcd_e64:
3554 ? GFX950_DMFMA16x16WritesVGPROverlappedMFMASrcABWaitStates
3555 : DMFMA16x16WritesVGPROverlappedMFMASrcABWaitStates;
3557 case AMDGPU::V_MFMA_F64_4X4X4F64_e64:
3558 case AMDGPU::V_MFMA_F64_4X4X4F64_vgprcd_e64:
3559 NeedWaitStates = DMFMA4x4WritesVGPROverlappedMFMASrcABWaitStates;
3562 int NumPasses = TSchedModel.computeInstrLatency(&Producer);
3564 if (ST.hasGFX940Insts()) {
3568 NumPasses, ST.hasGFX950Insts())
3574 switch (NumPasses) {
3576 NeedWaitStates = SMFMA4x4WritesVGPROverlappedSrcABWaitStates;
3581 NeedWaitStates = SMFMA16x16WritesVGPROverlappedSrcABWaitStates;
3585 NeedWaitStates = SMFMA32x32WritesVGPROverlappedSrcABWaitStates;
3589 return NeedWaitStates;
3592int GCNHazardRecognizer::checkMAIHazards90A(
MachineInstr *
MI)
const {
3593 int WaitStatesNeeded = 0;
3594 unsigned Opc =
MI->getOpcode();
3596 auto IsLegacyVALUFn = [](
const MachineInstr &
MI) {
3601 auto IsLegacyVALUNotDotFn = [](
const MachineInstr &
MI) {
3607 return WaitStatesNeeded;
3609 const int VALUWritesExecWaitStates = 4;
3610 int WaitStatesNeededForUse = VALUWritesExecWaitStates -
3611 getWaitStatesSinceDef(AMDGPU::EXEC, IsLegacyVALUFn,
3612 VALUWritesExecWaitStates);
3613 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3615 int SrcCIdx = AMDGPU::getNamedOperandIdx(
Opc, AMDGPU::OpName::src2);
3618 for (
const MachineOperand &Use :
MI->explicit_uses()) {
3619 const int LegacyVALUNotDotWritesVGPRWaitStates = 2;
3620 const int MaxWaitStates =
3622 16, ST.hasGFX950Insts());
3628 WaitStatesNeededForUse = LegacyVALUNotDotWritesVGPRWaitStates -
3629 getWaitStatesSinceDef(
Reg, IsLegacyVALUNotDotFn, MaxWaitStates);
3630 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3632 int OpNo =
Use.getOperandNo();
3633 WaitStatesNeeded = std::max(
3635 getMaxWindowDeficit(
3636 MaxWaitStates, [&](
const MachineInstr &
P) -> std::optional<int> {
3638 !TRI.regsOverlap(
P.getOperand(0).getReg(),
Reg))
3639 return std::nullopt;
3640 return getMFMAReadWaitStates(*
MI,
P,
Reg, OpNo == SrcCIdx);
3643 if (WaitStatesNeeded == MaxWaitStates)
3648 WaitStatesNeeded = std::max(WaitStatesNeeded, checkMFMAPadding(
MI));
3650 return WaitStatesNeeded;
3653int GCNHazardRecognizer::checkMAILdStHazards(
MachineInstr *
MI)
const {
3655 if (!ST.hasMAIInsts() || ST.hasGFX90AInsts())
3658 int WaitStatesNeeded = 0;
3660 auto IsAccVgprReadFn = [](
const MachineInstr &
MI) {
3661 return MI.getOpcode() == AMDGPU::V_ACCVGPR_READ_B32_e64;
3664 for (
const MachineOperand &
Op :
MI->explicit_uses()) {
3665 if (!
Op.isReg() || !TRI.isVGPR(MF.getRegInfo(),
Op.getReg()))
3670 const int AccVgprReadLdStWaitStates = 2;
3671 const int VALUWriteAccVgprRdWrLdStDepVALUWaitStates = 1;
3672 const int MaxWaitStates = 2;
3674 int WaitStatesNeededForUse = AccVgprReadLdStWaitStates -
3675 getWaitStatesSinceDef(
Reg, IsAccVgprReadFn, MaxWaitStates);
3676 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3678 if (WaitStatesNeeded == MaxWaitStates)
3679 return WaitStatesNeeded;
3681 auto IsVALUAccVgprRdWrCheckFn = [
Reg,
this](
const MachineInstr &
MI) {
3682 if (
MI.getOpcode() != AMDGPU::V_ACCVGPR_READ_B32_e64 &&
3683 MI.getOpcode() != AMDGPU::V_ACCVGPR_WRITE_B32_e64)
3685 auto IsVALUFn = [](
const MachineInstr &
MI) {
3689 return getWaitStatesSinceDef(
Reg, IsVALUFn, 2 ) <
3690 std::numeric_limits<int>::max();
3693 WaitStatesNeededForUse = VALUWriteAccVgprRdWrLdStDepVALUWaitStates -
3694 getWaitStatesSince(IsVALUAccVgprRdWrCheckFn, MaxWaitStates);
3695 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3698 return WaitStatesNeeded;
3701int GCNHazardRecognizer::checkPermlaneHazards(
MachineInstr *
MI)
const {
3702 assert(!ST.hasVcmpxPermlaneHazard() &&
3703 "this is a different vcmpx+permlane hazard");
3704 const SIRegisterInfo *TRI = ST.getRegisterInfo();
3705 const SIInstrInfo *TII = ST.getInstrInfo();
3707 auto IsVCmpXWritesExecFn = [TII, TRI](
const MachineInstr &
MI) {
3711 auto IsVALUFn = [](
const MachineInstr &
MI) {
3715 const int VCmpXWritesExecWaitStates = 4;
3716 const int VALUWritesVDstWaitStates = 2;
3717 int WaitStatesNeeded = 0;
3719 for (
const MachineOperand &
Op :
MI->explicit_uses()) {
3720 if (!
Op.isReg() || !TRI->isVGPR(MF.getRegInfo(),
Op.getReg()))
3724 int WaitStatesSinceDef =
3725 VALUWritesVDstWaitStates -
3726 getWaitStatesSinceDef(
Reg, IsVALUFn,
3727 VALUWritesVDstWaitStates);
3728 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesSinceDef);
3729 if (WaitStatesNeeded >= VALUWritesVDstWaitStates)
3733 int VCmpXHazardWaits =
3734 VCmpXWritesExecWaitStates -
3735 getWaitStatesSince(IsVCmpXWritesExecFn, VCmpXWritesExecWaitStates);
3737 WaitStatesNeeded = std::max(WaitStatesNeeded, VCmpXHazardWaits);
3738 return WaitStatesNeeded;
3746 return NumPasses + 2;
3756 return NumPasses + 3 + (NumPasses != 2 && IsGFX950);
3766 return NumPasses + 3 + (NumPasses != 2 && IsGFX950);
3774 return NumPasses + 2;
3777int GCNHazardRecognizer::checkMAIVALUHazards(
MachineInstr *
MI)
const {
3778 if (!ST.hasGFX90AInsts())
3781 auto IsDGEMMFn = [](
const MachineInstr &
MI) ->
bool {
3789 const MachineRegisterInfo &MRI = MF.getRegInfo();
3791 int WaitStatesNeeded = 0;
3798 auto IsMFMAWriteFn = [&
Reg,
this](
const MachineInstr &
MI) {
3800 !TRI.regsOverlap(
MI.getOperand(0).getReg(),
Reg))
3805 const MachineInstr *
DOT =
nullptr;
3806 auto IsDotWriteFn = [&
Reg, &
DOT,
this](
const MachineInstr &
MI) {
3808 !TRI.regsOverlap(
MI.getOperand(0).getReg(),
Reg))
3814 bool DGEMMAfterVALUWrite =
false;
3815 auto IsDGEMMHazard = [&DGEMMAfterVALUWrite,
this](
const MachineInstr &
MI) {
3818 DGEMMAfterVALUWrite =
true;
3822 if (!TII.isVALU(
MI,
true) || !DGEMMAfterVALUWrite)
3828 int SrcCIdx = AMDGPU::getNamedOperandIdx(
MI->getOpcode(),
3829 AMDGPU::OpName::src2);
3831 if (IsMemOrExport || IsVALU) {
3832 const int SMFMA4x4WriteVgprVALUMemExpReadWaitStates = 5;
3833 const int SMFMA16x16WriteVgprVALUMemExpReadWaitStates = 11;
3834 const int SMFMA32x32WriteVgprVALUMemExpReadWaitStates = 19;
3835 const int DMFMA4x4WriteVgprMemExpReadWaitStates = 9;
3836 const int DMFMA16x16WriteVgprMemExpReadWaitStates = 18;
3837 const int DMFMA4x4WriteVgprVALUReadWaitStates = 6;
3838 const int DMFMA16x16WriteVgprVALUReadWaitStates = 11;
3839 const int GFX950_DMFMA16x16WriteVgprVALUReadWaitStates = 19;
3840 const int DotWriteSameDotReadSrcAB = 3;
3841 const int DotWriteDifferentVALURead = 3;
3842 const int DMFMABetweenVALUWriteVMEMRead = 2;
3843 const int MaxWaitStates =
3845 ST.hasGFX950Insts());
3847 for (
const MachineOperand &Use :
MI->explicit_uses()) {
3853 int WaitStatesSinceDef = getWaitStatesSinceDef(
Reg, IsDotWriteFn,
3856 int NeedWaitStates = 0;
3857 if (
DOT->getOpcode() ==
MI->getOpcode()) {
3858 if (&Use - &
MI->getOperand(0) != SrcCIdx)
3859 NeedWaitStates = DotWriteSameDotReadSrcAB;
3861 NeedWaitStates = DotWriteDifferentVALURead;
3864 int WaitStatesNeededForUse = NeedWaitStates - WaitStatesSinceDef;
3865 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3872 if (IsMem && ST.hasGFX90AInsts() && !ST.hasGFX940Insts()) {
3873 DGEMMAfterVALUWrite =
false;
3874 if (TRI.isVectorRegister(MRI,
Reg)) {
3875 int WaitStatesNeededForUse =
3876 DMFMABetweenVALUWriteVMEMRead -
3877 getWaitStatesSinceDef(
Reg, IsDGEMMHazard,
3878 DMFMABetweenVALUWriteVMEMRead);
3880 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3884 auto MFMAWindow = [&](
const MachineInstr &
Producer) {
3885 int NumPasses = TSchedModel.computeInstrLatency(&Producer);
3886 int NeedWaitStates = MaxWaitStates;
3889 switch (NumPasses) {
3891 NeedWaitStates = IsMemOrExport
3892 ? DMFMA4x4WriteVgprMemExpReadWaitStates
3893 : DMFMA4x4WriteVgprVALUReadWaitStates;
3899 ? DMFMA16x16WriteVgprMemExpReadWaitStates
3900 : (ST.hasGFX950Insts()
3901 ? GFX950_DMFMA16x16WriteVgprVALUReadWaitStates
3902 : DMFMA16x16WriteVgprVALUReadWaitStates);
3907 }
else if (ST.hasGFX940Insts()) {
3911 NumPasses, ST.hasGFX950Insts())
3915 switch (NumPasses) {
3917 NeedWaitStates = SMFMA4x4WriteVgprVALUMemExpReadWaitStates;
3920 NeedWaitStates = SMFMA16x16WriteVgprVALUMemExpReadWaitStates;
3923 NeedWaitStates = SMFMA32x32WriteVgprVALUMemExpReadWaitStates;
3930 assert(NeedWaitStates <= MaxWaitStates &&
3931 "hazard requirement exceeds the scan window");
3932 return NeedWaitStates;
3935 WaitStatesNeeded = std::max(
3937 getMaxWindowDeficit(MaxWaitStates,
3938 [&](
const MachineInstr &
P) -> std::optional<int> {
3939 if (!IsMFMAWriteFn(
P))
3940 return std::nullopt;
3941 return MFMAWindow(
P);
3944 if (WaitStatesNeeded >= MaxWaitStates)
3949 unsigned Opc =
MI->getOpcode();
3950 const int DMFMAToFMA64WaitStates = 2;
3951 if ((
Opc == AMDGPU::V_FMA_F64_e64 ||
3952 Opc == AMDGPU::V_FMAC_F64_e32 ||
Opc == AMDGPU::V_FMAC_F64_e64 ||
3953 Opc == AMDGPU::V_FMAC_F64_dpp) &&
3954 WaitStatesNeeded < DMFMAToFMA64WaitStates) {
3955 int WaitStatesNeededForUse = DMFMAToFMA64WaitStates -
3956 getWaitStatesSince(IsDGEMMFn, DMFMAToFMA64WaitStates);
3957 WaitStatesNeeded = std::max(WaitStatesNeeded, WaitStatesNeededForUse);
3960 if (!IsVALU && !IsMemOrExport)
3961 return WaitStatesNeeded;
3963 for (
const MachineOperand &Def :
MI->defs()) {
3964 const int SMFMA4x4WriteVgprVALUWawWaitStates = 5;
3965 const int SMFMA16x16WriteVgprVALUWawWaitStates = 11;
3966 const int SMFMA32x32WriteVgprVALUWawWaitStates = 19;
3967 const int SMFMA4x4ReadVgprVALUWarWaitStates = 1;
3968 const int GFX940_XDL4PassReadVgprVALUWarWaitStates = 3;
3969 const int SMFMA16x16ReadVgprVALUWarWaitStates = 7;
3970 const int SMFMA32x32ReadVgprVALUWarWaitStates = 15;
3971 const int DMFMA4x4WriteVgprVALUWriteWaitStates = 6;
3972 const int DMFMA16x16WriteVgprVALUWriteWaitStates = 11;
3973 const int DotWriteDifferentVALUWrite = 3;
3974 const int MaxWaitStates =
3976 const int MaxWarWaitStates = 15;
3981 int WaitStatesSinceDef = getWaitStatesSinceDef(
Reg, IsDotWriteFn,
3983 if (DOT &&
DOT->getOpcode() !=
MI->getOpcode())
3984 WaitStatesNeeded = std::max(WaitStatesNeeded, DotWriteDifferentVALUWrite -
3985 WaitStatesSinceDef);
3987 auto MFMAWawWindow = [&](
const MachineInstr &
Producer) {
3988 int NeedWaitStates = MaxWaitStates;
3989 int NumPasses = TSchedModel.computeInstrLatency(&Producer);
3992 switch (NumPasses) {
3994 NeedWaitStates = DMFMA4x4WriteVgprVALUWriteWaitStates;
3998 NeedWaitStates = DMFMA16x16WriteVgprVALUWriteWaitStates;
4003 }
else if (ST.hasGFX940Insts()) {
4007 NumPasses, ST.hasGFX950Insts())
4010 switch (NumPasses) {
4012 NeedWaitStates = SMFMA4x4WriteVgprVALUWawWaitStates;
4015 NeedWaitStates = SMFMA16x16WriteVgprVALUWawWaitStates;
4018 NeedWaitStates = SMFMA32x32WriteVgprVALUWawWaitStates;
4025 assert(NeedWaitStates <= MaxWaitStates &&
4026 "hazard requirement exceeds the scan window");
4027 return NeedWaitStates;
4030 WaitStatesNeeded = std::max(
4032 getMaxWindowDeficit(MaxWaitStates,
4033 [&](
const MachineInstr &
P) -> std::optional<int> {
4034 if (!IsMFMAWriteFn(
P))
4035 return std::nullopt;
4036 return MFMAWawWindow(
P);
4039 if (WaitStatesNeeded >= MaxWaitStates)
4043 auto SMFMAReadAsCWindow =
4044 [&](
const MachineInstr &Reader) -> std::optional<int> {
4048 return std::nullopt;
4050 if (ST.hasGFX940Insts() && !TII.isXDL(Reader))
4051 return std::nullopt;
4053 const MachineOperand *SrcC =
4054 TII.getNamedOperand(Reader, AMDGPU::OpName::src2);
4055 assert(SrcC &&
"an MFMA must have a src2 operand");
4057 return std::nullopt;
4059 switch (TSchedModel.computeInstrLatency(&Reader)) {
4061 return SMFMA4x4ReadVgprVALUWarWaitStates;
4063 assert(ST.hasGFX940Insts() &&
"4-pass XDL is gfx940 or later");
4064 return GFX940_XDL4PassReadVgprVALUWarWaitStates;
4066 return SMFMA16x16ReadVgprVALUWarWaitStates;
4070 return SMFMA32x32ReadVgprVALUWarWaitStates;
4075 std::max(WaitStatesNeeded,
4076 getMaxWindowDeficit(MaxWarWaitStates, SMFMAReadAsCWindow));
4079 return WaitStatesNeeded;
4092 return MAI !=
nullptr;
4096 if (IsMFMAFn(*
MI)) {
4097 int W = getWaitStatesSince(IsMFMAFn, 16);
4099 return W < (int)TSchedModel.computeInstrLatency(MAI);
4113 while (
I->isBundledWithPred())
4119 if (
I->getOpcode() != AMDGPU::S_GETPC_B64)
4123 const unsigned NewBytes = 4;
4125 "Unexpected instruction insertion in bundle");
4128 while (NextMI !=
End && NextMI->isBundledWithPred()) {
4129 for (
auto &Operand : NextMI->operands()) {
4130 if (Operand.isGlobal())
4131 Operand.setOffset(Operand.getOffset() + NewBytes);
4137bool GCNHazardRecognizer::fixVALUMaskWriteHazard(
MachineInstr *
MI) {
4138 if (!ST.hasVALUMaskWriteHazard())
4140 assert(!ST.hasExtendedWaitCounts());
4147 if (!IsSALU && !IsVALU)
4159 const SIRegisterInfo *TRI = ST.getRegisterInfo();
4160 const MachineRegisterInfo &MRI = MF.getRegInfo();
4165 case AMDGPU::EXEC_LO:
4166 case AMDGPU::EXEC_HI:
4168 case AMDGPU::SGPR_NULL:
4169 case AMDGPU::SGPR_NULL64:
4177 return Reg == AMDGPU::VCC ||
Reg == AMDGPU::VCC_LO ||
Reg == AMDGPU::VCC_HI;
4181 SmallSet<Register, 2> HazardSGPRs;
4183 static unsigned getHashValue(
const StateType &State) {
4186 static bool isEqual(
const StateType &
LHS,
const StateType &
RHS) {
4187 return LHS.HazardSGPRs ==
RHS.HazardSGPRs;
4191 SmallVector<const MachineInstr *> WaitInstrs;
4192 StateType InitialState;
4195 MachineOperand *HazardDef =
nullptr;
4196 for (MachineOperand &
Op :
MI->all_defs()) {
4198 if (IgnoreableSGPR(
Reg))
4201 if (
Op.isImplicit())
4203 if (!TRI->isSGPRReg(MRI,
Reg))
4216 if (AMDGPU::SReg_32RegClass.
contains(HazardReg)) {
4217 InitialState.HazardSGPRs.insert(HazardReg);
4220 InitialState.HazardSGPRs.insert(TRI->getSubReg(HazardReg, AMDGPU::sub0));
4221 InitialState.HazardSGPRs.insert(TRI->getSubReg(HazardReg, AMDGPU::sub1));
4224 auto IsHazardFn = [&](StateType &State,
const MachineInstr &
I) {
4225 if (State.HazardSGPRs.empty())
4228 switch (
I.getOpcode()) {
4229 case AMDGPU::V_ADDC_U32_e32:
4230 case AMDGPU::V_ADDC_U32_dpp:
4231 case AMDGPU::V_CNDMASK_B16_t16_e32:
4232 case AMDGPU::V_CNDMASK_B16_fake16_e32:
4233 case AMDGPU::V_CNDMASK_B16_t16_dpp:
4234 case AMDGPU::V_CNDMASK_B16_fake16_dpp:
4235 case AMDGPU::V_CNDMASK_B32_e32:
4236 case AMDGPU::V_CNDMASK_B32_dpp:
4237 case AMDGPU::V_DIV_FMAS_F32_e64:
4238 case AMDGPU::V_DIV_FMAS_F64_e64:
4239 case AMDGPU::V_SUBB_U32_e32:
4240 case AMDGPU::V_SUBB_U32_dpp:
4241 case AMDGPU::V_SUBBREV_U32_e32:
4242 case AMDGPU::V_SUBBREV_U32_dpp: {
4246 case AMDGPU::V_ADDC_U32_e64:
4247 case AMDGPU::V_ADDC_U32_e64_dpp:
4248 case AMDGPU::V_CNDMASK_B16_t16_e64:
4249 case AMDGPU::V_CNDMASK_B16_fake16_e64:
4250 case AMDGPU::V_CNDMASK_B16_t16_e64_dpp:
4251 case AMDGPU::V_CNDMASK_B16_fake16_e64_dpp:
4252 case AMDGPU::V_CNDMASK_B32_e64:
4253 case AMDGPU::V_CNDMASK_B32_e64_dpp:
4254 case AMDGPU::V_SUBB_U32_e64:
4255 case AMDGPU::V_SUBB_U32_e64_dpp:
4256 case AMDGPU::V_SUBBREV_U32_e64:
4257 case AMDGPU::V_SUBBREV_U32_e64_dpp: {
4259 const MachineOperand *SSRCOp = TII.getNamedOperand(
I, AMDGPU::OpName::src2);
4261 bool Result = TRI->regsOverlap(SSRCOp->
getReg(), HazardReg);
4269 auto UpdateStateFn = [&](StateType &State,
const MachineInstr &
I) {
4271 for (
auto &
Op :
I.all_defs()) {
4273 if (IgnoreableSGPR(
Reg))
4276 if (
Op.isImplicit())
4278 if (!TRI->isSGPRReg(MRI,
Reg))
4285 for (
Register SGPR : State.HazardSGPRs) {
4286 if (
Reg == SGPR || TRI->regsOverlap(
Reg, SGPR))
4290 State.HazardSGPRs.erase(SGPR);
4297 std::next(
MI->getReverseIterator())))
4307 auto NextMI = std::next(
MI->getIterator());
4308 auto NewMI =
BuildMI(*
MI->getParent(), NextMI,
MI->getDebugLoc(),
4309 TII.get(AMDGPU::S_WAITCNT_DEPCTR))
4321 if (EntryMBB.
begin() != EntryMBB.
end()) {
4322 auto &EntryMI = *EntryMBB.
begin();
4323 if (EntryMI.getOpcode() == AMDGPU::S_SETPRIO &&
4324 EntryMI.getOperand(0).getImm() >= Priority)
4333bool GCNHazardRecognizer::fixRequiredExportPriority(
MachineInstr *
MI) {
4334 if (!ST.hasRequiredExportPriority())
4352 const int MaxPriority = 3;
4353 const int NormalPriority = 2;
4354 const int PostExportPriority = 0;
4356 auto It =
MI->getIterator();
4357 switch (
MI->getOpcode()) {
4358 case AMDGPU::S_ENDPGM:
4359 case AMDGPU::S_ENDPGM_SAVED:
4360 case AMDGPU::S_ENDPGM_ORDERED_PS_DONE:
4361 case AMDGPU::SI_RETURN_TO_EPILOG:
4364 if (MF->getFrameInfo().hasCalls())
4367 case AMDGPU::S_SETPRIO: {
4369 auto &PrioOp =
MI->getOperand(0);
4370 int Prio = PrioOp.getImm();
4371 bool InWA = (Prio == PostExportPriority) &&
4372 (It !=
MBB->
begin() && TII.isEXP(*std::prev(It)));
4373 if (InWA || Prio >= NormalPriority)
4375 PrioOp.setImm(std::min(Prio + NormalPriority, MaxPriority));
4379 if (!TII.isEXP(*
MI))
4390 auto NextMI = std::next(It);
4391 bool EndOfShader =
false;
4392 if (NextMI !=
MBB->
end()) {
4394 if (TII.isEXP(*NextMI))
4397 if (NextMI->getOpcode() == AMDGPU::S_SETPRIO &&
4398 NextMI->getOperand(0).getImm() == PostExportPriority)
4400 EndOfShader = NextMI->getOpcode() == AMDGPU::S_ENDPGM;
4407 .
addImm(PostExportPriority);
4411 BuildMI(*
MBB, NextMI,
DL, TII.get(AMDGPU::S_WAITCNT_EXPCNT))
4412 .
addReg(AMDGPU::SGPR_NULL)
4434 while (
I !=
End &&
I->isMetaInstruction())
4443 assert(ST.hasRequiresInitialUnclausedVmem() &&
4444 "V_PERM_PK16-hazard subtarget must provide the unclaused-VMEM entry "
4445 "prologue to satisfy the cross-wave entry mitigation");
4456 if (NextI !=
MBB->
end() && TII.isVPermPk16SafeInstr(*NextI))
4462 BuildMI(*
MBB, NextI,
MI->getDebugLoc(), TII.get(AMDGPU::V_NOP_e32));
4470 const SIInstrInfo *TII = ST.getInstrInfo();
4482 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
4487bool GCNHazardRecognizer::fixDsAtomicAsyncBarrierArriveB64(
MachineInstr *
MI) {
4488 if (
MI->getOpcode() != AMDGPU::DS_ATOMIC_ASYNC_BARRIER_ARRIVE_B64)
4491 const SIInstrInfo *TII = ST.getInstrInfo();
4493 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
4495 BuildMI(*
MI->getParent(), std::next(
MI->getIterator()),
MI->getDebugLoc(),
4496 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
4502bool GCNHazardRecognizer::fixScratchBaseForwardingHazard(
MachineInstr *
MI) {
4508 const SIRegisterInfo *TRI = ST.getRegisterInfo();
4509 const SIInstrInfo *TII = ST.getInstrInfo();
4511 const int FlatScrBaseWaitStates = 10;
4513 bool ReadsFlatScrLo =
4515 bool ReadsFlatScrHi =
4516 MI->readsRegister(AMDGPU::SRC_FLAT_SCRATCH_BASE_HI, TRI);
4522 ReadsFlatScrLo =
true;
4525 ReadsFlatScrHi =
true;
4530 const MachineRegisterInfo &MRI = MF.getRegInfo();
4533 DenseSet<const MachineBasicBlock *> Visited;
4535 return MI.modifiesRegister(
Reg, TRI);
4540 auto IsSGPRDef = [TII, TRI, &MRI](
const MachineInstr &
MI) ->
unsigned {
4541 if (!TII->isSALU(
MI) && !TII->isVALU(
MI,
true))
4543 for (
const MachineOperand &MO :
MI.all_defs()) {
4544 if (TRI->isSGPRReg(MRI, MO.getReg()))
4550 auto IsExpiredFn = [=](
const MachineInstr &
MI,
int SgprWrites) {
4551 if (
MI.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR) {
4552 unsigned Wait =
MI.getOperand(0).getImm();
4557 return SgprWrites >= FlatScrBaseWaitStates;
4560 return ::getWaitStatesSince(
4561 IsHazardFn,
MI->getParent(), std::next(
MI->getReverseIterator()),
4562 0,
IsExpiredFn, Visited, IsSGPRDef) < FlatScrBaseWaitStates;
4566 !IsRegDefHazard(AMDGPU::SGPR102)) &&
4568 !IsRegDefHazard(AMDGPU::SGPR103)))
4572 TII->get(AMDGPU::S_WAITCNT_DEPCTR))
4583 BuildMI(*
MI->getParent(),
MI,
MI->getDebugLoc(), TII.get(AMDGPU::V_NOP_e32));
4584 BuildMI(*
MI->getParent(),
MI,
MI->getDebugLoc(), TII.get(AMDGPU::V_NOP_e32));
4589 auto IsTDM = [&](
const MachineInstr &
MI) ->
bool {
4591 MI.getOpcode() != AMDGPU::S_WAIT_TENSORCNT;
4598 if (
MI.getOpcode() != AMDGPU::S_WAIT_TENSORCNT)
4600 return MI.getOperand(0).getImm() <= 10;
4604 std::numeric_limits<int>::max())
4608 TII.get(AMDGPU::S_WAIT_TENSORCNT))
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
The AMDGPU TargetMachine interface definition for hw codegen targets.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static bool isEqual(const Function &Caller, const Function &Callee)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static cl::opt< unsigned, false, MFMAPaddingRatioParser > MFMAPaddingRatio("amdgpu-mfma-padding-ratio", cl::init(0), cl::Hidden, cl::desc("Fill a percentage of the latency between " "neighboring MFMA with s_nops."))
static bool shouldRunLdsBranchVmemWARHazardFixup(const MachineFunction &MF, const GCNSubtarget &ST)
static cl::opt< bool > EnableWMMAVnopHoisting("amdgpu-wmma-vnop-hoisting", cl::init(true), cl::Hidden, cl::desc("Hoist WMMA hazard V_NOPs from loops to preheaders"))
static bool consumesDstSelForwardingOperand(const MachineInstr *VALU, const MachineOperand *Dst, const SIRegisterInfo *TRI)
Checks whether the provided MI "consumes" the operand with a Dest sel fowarding issue Dst .
static bool isSGetReg(unsigned Opcode)
static bool breaksSMEMSoftClause(MachineInstr *MI)
static bool isLdsDma(const MachineInstr &MI)
static int GFX940_XDL_N_PassWritesVGPROverlappedSrcABWaitStates(int NumPasses, bool IsGFX950)
static unsigned getWMMAHazardInstInCategory(const MachineInstr &MI, const SIInstrInfo *TII, const TargetSchedModel &SchedModel, const GCNSubtarget &ST)
static bool isRFE(unsigned Opcode)
static bool isRWLane(unsigned Opcode)
static bool isSMovRel(unsigned Opcode)
static unsigned getMFMANonMacAGPRFormOp(unsigned Opc)
One MFMA can be written with up to four opcodes that differ only in how vdst and src2 are encoded: bo...
#define DEBUG_TYPE_VERBOSE
static const MachineOperand * getDstSelForwardingOperand(const MachineInstr &MI, const GCNSubtarget &ST)
Dest sel forwarding issue occurs if additional logic is needed to swizzle / pack the computed value i...
static int GFX940_XDL_N_PassWritesVGPROverlappedSGEMMDGEMMSrcCWaitStates(int NumPasses, bool IsGFX950)
static void updateGetPCBundle(MachineInstr *NewMI)
static int GFX940_XDL_N_PassWriteVgprVALUMemExpReadWaitStates(int NumPasses, bool IsGFX950)
static bool isStoreCountWaitZero(const MachineInstr &I)
static bool breaksVMEMSoftClause(MachineInstr *MI)
static bool isVCmpXWritesExec(const SIInstrInfo &TII, const SIRegisterInfo &TRI, const MachineInstr &MI)
static bool isSSetReg(unsigned Opcode)
static void addRegUnits(const SIRegisterInfo &TRI, BitVector &BV, MCRegister Reg)
static unsigned getHWReg(const SIInstrInfo *TII, const MachineInstr &RegInstr)
static bool isSameMFMA(unsigned Opc0, unsigned Opc1)
static bool isDivFMas(unsigned Opcode)
static unsigned getCountedWaitStates(const MachineInstr &MI, GCNHazardRecognizer::GetNumWaitStatesFn GetNumWaitStates)
static bool hasHazard(StateT InitialState, function_ref< HazardFnResult(StateT &, const MachineInstr &)> IsHazard, function_ref< void(StateT &, const MachineInstr &)> UpdateState, const MachineBasicBlock *InitialMBB, MachineBasicBlock::const_reverse_instr_iterator InitialI)
static int getWaitStatesSince(GCNHazardRecognizer::IsHazardFn IsHazard, const MachineBasicBlock *MBB, MachineBasicBlock::const_reverse_instr_iterator I, int WaitStates, GCNHazardRecognizer::IsExpiredFn IsExpired, DenseSet< const MachineBasicBlock * > &Visited, GCNHazardRecognizer::GetNumWaitStatesFn GetNumWaitStates=SIInstrInfo::getNumWaitStates)
static int GFX940_SMFMA_N_PassWritesVGPROverlappedSrcABWaitStates(int NumPasses)
static int GFX940_XDL_N_PassWriteVgprVALUWawWaitStates(int NumPasses, bool IsGFX950)
static int GFX940_SMFMA_N_PassWriteVgprVALUMemExpReadWaitStates(int NumPasses)
static MachineBasicBlock::iterator skipMetaInstructionsForward(MachineBasicBlock::iterator I, MachineBasicBlock::iterator End)
static int GFX940_SMFMA_N_PassWritesVGPROverlappedSMFMASrcCWaitStates(int NumPasses)
static bool isCoexecutableVALUInst(const MachineInstr &MI)
static bool ensureEntrySetPrio(MachineFunction *MF, int Priority, const SIInstrInfo &TII)
static void addRegsToSet(const SIRegisterInfo &TRI, iterator_range< MachineInstr::const_mop_iterator > Ops, BitVector &DefSet, BitVector &UseSet)
static void insertNoopsInBundle(MachineInstr *MI, const SIInstrInfo &TII, unsigned Quantity)
static bool isSendMsgTraceDataOrGDS(const SIInstrInfo &TII, const MachineInstr &MI)
static unsigned countUnexecutedTerminators(const MachineBasicBlock &Pred, const MachineBasicBlock *MBB)
static cl::opt< unsigned > NopPadding("amdgpu-snop-padding", cl::init(0), cl::Hidden, cl::desc("Insert a s_nop x before every instruction"))
static bool isPermlane(const MachineInstr &MI)
static int GFX940_SMFMA_N_PassWriteVgprVALUWawWaitStates(int NumPasses)
static int GFX940_XDL_N_PassWritesVGPROverlappedXDLOrSMFMASrcCWaitStates(int NumPasses, bool IsGFX950)
AMD GCN specific subclass of TargetSubtarget.
static Register UseReg(const MachineOperand &MO)
const HexagonInstrInfo * TII
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static llvm::Error parse(GsymDataExtractor &Data, uint64_t BaseAddr, LineEntryCallback const &Callback)
Register const TargetRegisterInfo * TRI
Promote Memory to Register
static MCRegister getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
#define DEBUG_WITH_TYPE(TYPE,...)
DEBUG_WITH_TYPE macro - This macro should be used by passes to emit debug information.
static const uint32_t IV[8]
unsigned get(InstCounterType T) const
BitVector & set()
Set all bits in the bitvector.
std::pair< iterator, bool > insert_as(std::pair< KeyT, ValueT > &&KV, const LookupKeyT &Val)
Alternate version of insert() which allows a different, and possibly less expensive,...
Implements a dense probed hash-table based set.
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
unsigned getHazardWaitStates(MachineInstr *MI) const
Returns the number of wait states until all hazards for MI are resolved.
unsigned PreEmitNoopsCommon(MachineInstr *) const
OperatingMode
Operating mode for the hazard recognizer.
void EmitNoop() override
EmitNoop - This callback is invoked when a noop was added to the instruction stream.
void Reset() override
Reset - This callback is invoked when a new block of instructions is about to be schedule.
unsigned PreEmitNoops(MachineInstr *) override
This overload will be used when the hazard recognizer is being used by a non-scheduling pass,...
void EmitInstruction(SUnit *SU) override
EmitInstruction - This callback is invoked when an instruction is emitted, to advance the hazard stat...
function_ref< bool(const MachineInstr &)> IsHazardFn
void AdvanceCycle() override
AdvanceCycle - This callback is invoked whenever the next top-down instruction to be scheduled cannot...
function_ref< unsigned int(const MachineInstr &)> GetNumWaitStatesFn
bool ShouldPreferAnother(SUnit *SU) const override
ShouldPreferAnother - This callback may be invoked if getHazardType returns NoHazard.
bool hasPhysRegs() const
Returns true if instruction operands are physical registers, so that hazards defined by register depe...
function_ref< bool(const MachineInstr &, int WaitStates)> IsExpiredFn
bool isSchedulerMode() const
Returns true if running as a scheduler (pre-RA or post-RA).
GCNHazardRecognizer(const MachineFunction &MF, OperatingMode Mode, MachineLoopInfo *MLI=nullptr)
Construct with explicit operating mode.
static AMDGPU::CoExecMaskT getCoExecMaskForMI(const MachineInstr &MI, const SIInstrInfo &TII)
Get the CoExecMask for a given instruction.
HazardType getHazardType(SUnit *SU, int Stalls) override
getHazardType - Return the hazard type of emitting this node.
void RecedeCycle() override
RecedeCycle - This callback is invoked whenever the next bottom-up instruction to be scheduled cannot...
bool isHazardRecognizerMode() const
Returns true if running as the standalone hazard recognizer pass.
bool isPreRA() const
Returns true if running in pre-RA scheduling mode.
BlockT * getLoopPreheader() const
If there is a preheader for this loop, return it.
LoopT * getParentLoop() const
Return the parent loop if it exists or nullptr for top level loops.
Wrapper class representing physical registers. Should be passed by value.
Instructions::const_reverse_iterator const_reverse_instr_iterator
LLVM_ABI iterator getFirstTerminator()
Returns an iterator to the first terminator instruction of this basic block.
Instructions::iterator instr_iterator
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
iterator_range< pred_iterator > predecessors()
MachineInstrBundleIterator< MachineInstr > iterator
Function & getFunction()
Return the LLVM function that this machine code represents.
const MachineBasicBlock & front() const
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addDef(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a virtual register definition operand.
Representation of each machine instruction.
unsigned getOpcode() const
Returns the opcode of this MachineInstr.
const MachineBasicBlock * getParent() const
bool readsRegister(Register Reg, const TargetRegisterInfo *TRI) const
Return true if the MachineInstr reads the specified register.
bool isBundled() const
Return true if this instruction part of a bundle.
MachineOperand class - Representation of each machine instruction operand.
void setImm(int64_t immVal)
bool isReg() const
isReg - Tests if this is a MO_Register operand.
LLVM_ABI void setReg(Register Reg)
Change the register this operand corresponds to.
void setIsKill(bool Val=true)
void setIsUndef(bool Val=true)
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI bool isConstantPhysReg(MCRegister PhysReg) const
Returns true if PhysReg is unallocatable and constant throughout the function.
LLVM_ABI bool isPhysRegUsed(MCRegister PhysReg, bool SkipRegMaskTest=false) const
Return true if the specified register is modified or read in this function.
Wrapper class representing virtual and physical registers.
static bool isDS(const MachineInstr &MI)
static bool isVMEM(const MachineInstr &MI)
static bool isSMRD(const MachineInstr &MI)
static bool isMTBUF(const MachineInstr &MI)
static bool isDGEMM(unsigned Opcode)
static bool isEXP(const MachineInstr &MI)
static bool isSALU(const MachineInstr &MI)
static bool isSDWA(const MachineInstr &MI)
static bool isDOT(const MachineInstr &MI)
static bool usesTENSOR_CNT(const MachineInstr &MI)
static bool isSWMMAC(const MachineInstr &MI)
static bool isLDSDIR(const MachineInstr &MI)
static bool isVPermPk16(unsigned Opcode)
static bool isVALU(const MachineInstr &MI, bool AllowLDSDMA)
static bool isTRANS(const MachineInstr &MI)
static bool isMUBUF(const MachineInstr &MI)
static bool isWaitcnt(unsigned Opcode)
static bool isVOP3(const MCInstrDesc &Desc)
static bool isDPP(const MachineInstr &MI)
static bool isMFMA(const MachineInstr &MI)
static bool isMAI(const MCInstrDesc &Desc)
static bool isFPAtomic(const MachineInstr &MI)
static bool isMIMG(const MachineInstr &MI)
static unsigned getNumWaitStates(const MachineInstr &MI)
Return the number of wait states that result from executing this instruction.
static bool isVOP3P(const MachineInstr &MI)
static bool isWMMA(const MachineInstr &MI)
static bool isLDSDMA(const MachineInstr &MI)
unsigned getOccupancy() const
Scheduling unit. This is a node in the scheduling DAG.
bool isInstr() const
Returns true if this SUnit refers to a machine instruction as opposed to an SDNode.
MachineInstr * getInstr() const
Returns the representative MachineInstr for this SUnit.
unsigned getMaxLookAhead() const
unsigned MaxLookAhead
MaxLookAhead - Indicate the number of cycles in the scoreboard state.
virtual void EmitNoops(unsigned Quantity)
EmitNoops - This callback is invoked when noops were added to the instruction stream.
size_type size() const
Determine the number of elements in the SetVector.
bool insert(const value_type &X)
Insert a new element into the SetVector.
A SetVector that performs no allocations if smaller than a certain size.
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
bool getAsInteger(unsigned Radix, T &Result) const
Parse the current string as an integer of the specified radix.
Provide an instruction scheduling machine model to CodeGen passes.
std::pair< iterator, bool > insert(const ValueT &V)
An efficient, type-erasing, non-owning reference to a callable.
self_iterator getIterator()
A range adaptor for a pair of iterators.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned encodeFieldVaVcc(unsigned Encoded, unsigned VaVcc)
unsigned encodeFieldVaVdst(unsigned Encoded, unsigned VaVdst)
unsigned decodeFieldSaSdst(unsigned Encoded)
unsigned decodeFieldVaSdst(unsigned Encoded)
unsigned encodeFieldVmVsrc(unsigned Encoded, unsigned VmVsrc)
unsigned encodeFieldSaSdst(unsigned Encoded, unsigned SaSdst)
unsigned decodeFieldVaVdst(unsigned Encoded)
unsigned decodeFieldVmVsrc(unsigned Encoded)
unsigned encodeFieldVaSdst(unsigned Encoded, unsigned VaSdst)
const char * getCoExecMaskName(CoExecMaskT Mask)
Return a human-readable name for a mask holding a single instruction class, as produced by getCoExecM...
LLVM_READONLY const MIMGInfo * getMIMGInfo(unsigned Opc)
StringRef getSchedStrategy(const Function &F)
constexpr unsigned MaxCoExecStages
Max stages: INT8 16x16x64 = 17 cycles, round up for safety.
FPType getFPDstSelType(unsigned Opc)
bool isGFX12Plus(const MCSubtargetInfo &STI)
const char * getStageTypeName(CoExecStageType T)
LLVM_ABI IsaVersion getIsaVersion(StringRef GPU)
unsigned getRegBitWidth(unsigned RCID)
Get the size in bits of a register from the register class RC.
LLVM_READONLY int32_t getMFMAEarlyClobberOp(uint32_t Opcode)
Waitcnt decodeWaitcnt(const IsaVersion &Version, unsigned Encoded)
CoExecInfo getCoExecInfo(const MachineInstr &MI, const SIInstrInfo &TII)
Get co-execution info for a WMMA instruction, selecting the per-cycle slot pattern from the opcode (a...
LLVM_READONLY bool hasNamedOperand(uint32_t Opcode, OpName NamedIdx)
LLVM_READONLY int32_t getAGPRFormOp(uint32_t Opcode)
InstructionFlavor classifyFlavor(const MachineInstr &MI, const SIInstrInfo &SII)
Classify MI into the execution flavor that drives both the scheduler's slot preferences and the hazar...
CoExecMaskT getCoExecMask(InstructionFlavor F)
Map a flavor to the co-execution class it occupies in a window slot.
bool isGFX1250(const MCSubtargetInfo &STI)
@ AMDGPU_CS
Used for Mesa/AMDPAL compute shaders.
@ AMDGPU_KERNEL
Used for AMDGPU code object kernels.
@ AMDGPU_Gfx
Used for AMD graphics targets.
@ AMDGPU_CS_ChainPreserve
Used on AMDGPUs to give the middle-end more control over argument placement.
@ AMDGPU_CS_Chain
Used on AMDGPUs to give the middle-end more control over argument placement.
This namespace contains all of the command line option processing machinery.
initializer< Ty > init(const Ty &Val)
PointerTypeMap run(const Module &M)
Compute the PointerTypeMap for the module M.
NodeAddr< DefNode * > Def
NodeAddr< UseNode * > Use
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
@ Kill
The last use of a register.
@ Undef
Value of the register doesn't matter.
@ Define
Register definition.
constexpr RegState getDeadRegState(bool B)
LLVM_ABI void reportFatalInternalError(Error Err)
Report a fatal error that indicates a bug in LLVM.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Count
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Next
hash_code hash_combine(const Ts &...args)
Combine values into a single hash_code.
@ End
Run the machine verifier once, at the end of the pipeline.
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
hash_code hash_combine_range(InputIteratorT first, InputIteratorT last)
Compute a hash_code for a sequence of values.
Co-execution characteristics for a multi-cycle instruction.
static std::tuple< typename Fields::ValueType... > decode(uint64_t Encoded)
An information struct used to provide DenseMap with the various necessary components for a given valu...