Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
78 changes: 78 additions & 0 deletions llvm/lib/Target/AMDGPU/GCNHazardRecognizer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1204,6 +1204,8 @@ void GCNHazardRecognizer::fixHazards(MachineInstr *MI) {
fixGetRegWaitIdle(MI);
if (ST.hasDsAtomicAsyncBarrierArriveB64PipeBug())
fixDsAtomicAsyncBarrierArriveB64(MI);
if (ST.hasScratchBaseForwardingHazard())
fixScratchBaseForwardingHazard(MI);
}

static bool isVCmpXWritesExec(const SIInstrInfo &TII, const SIRegisterInfo &TRI,
Expand Down Expand Up @@ -3468,3 +3470,79 @@ bool GCNHazardRecognizer::fixDsAtomicAsyncBarrierArriveB64(MachineInstr *MI) {

return true;
}

bool GCNHazardRecognizer::fixScratchBaseForwardingHazard(MachineInstr *MI) {
// No reason to check this in pre-RA scheduling, SGPRs have to be allocated
// for hazard to trigger.
if (!IsHazardRecognizerMode)
return false;

const SIRegisterInfo *TRI = ST.getRegisterInfo();
const SIInstrInfo *TII = ST.getInstrInfo();
// Hazard expires after 10 SGPR writes by SALU or 8 SGPR writes by VALU.
const int FlatScrBaseWaitStates = 10;

bool ReadsFlatScrLo =
MI->readsRegister(AMDGPU::SRC_FLAT_SCRATCH_BASE_LO, TRI);
bool ReadsFlatScrHi =
MI->readsRegister(AMDGPU::SRC_FLAT_SCRATCH_BASE_HI, TRI);
if (isSGetReg(MI->getOpcode())) {
switch (getHWReg(TII, *MI)) {
default:
break;
case AMDGPU::Hwreg::ID_FLAT_SCR_LO:
ReadsFlatScrLo = true;
break;
case AMDGPU::Hwreg::ID_FLAT_SCR_HI:
ReadsFlatScrHi = true;
break;
}
}

const MachineRegisterInfo &MRI = MF.getRegInfo();

auto IsRegDefHazard = [&](Register Reg) -> bool {
DenseSet<const MachineBasicBlock *> Visited;
auto IsHazardFn = [TRI, Reg](const MachineInstr &MI) {
return MI.modifiesRegister(Reg, TRI);
};

// This literally abuses the idea of waitstates. Instead of waitstates it
// returns 1 for SGPR written and 0 otherwise.
auto IsSGPRDef = [TII, TRI, &MRI](const MachineInstr &MI) -> unsigned {
if (!TII->isSALU(MI) && !TII->isVALU(MI))
return 0;
for (const MachineOperand &MO : MI.all_defs()) {
if (TRI->isSGPRReg(MRI, MO.getReg()))
return 1;
}
return 0;
};

auto IsExpiredFn = [=](const MachineInstr &MI, int SgprWrites) {
if (MI.getOpcode() == AMDGPU::S_WAITCNT_DEPCTR) {
unsigned Wait = MI.getOperand(0).getImm();
if (AMDGPU::DepCtr::decodeFieldSaSdst(Wait) == 0 &&
AMDGPU::DepCtr::decodeFieldVaSdst(Wait) == 0)
return true;
}
return SgprWrites >= FlatScrBaseWaitStates;
};

return ::getWaitStatesSince(
IsHazardFn, MI->getParent(), std::next(MI->getReverseIterator()),
0, IsExpiredFn, Visited, IsSGPRDef) < FlatScrBaseWaitStates;
};

if ((!ReadsFlatScrLo || MRI.isConstantPhysReg(AMDGPU::SGPR102) ||
!IsRegDefHazard(AMDGPU::SGPR102)) &&
(!ReadsFlatScrHi || MRI.isConstantPhysReg(AMDGPU::SGPR103) ||
!IsRegDefHazard(AMDGPU::SGPR103)))
return false;

BuildMI(*MI->getParent(), MI, MI->getDebugLoc(),
TII->get(AMDGPU::S_WAITCNT_DEPCTR))
.addImm(AMDGPU::DepCtr::encodeFieldVaSdst(
AMDGPU::DepCtr::encodeFieldSaSdst(0), 0));
return true;
}
1 change: 1 addition & 0 deletions llvm/lib/Target/AMDGPU/GCNHazardRecognizer.h
Original file line number Diff line number Diff line change
Expand Up @@ -112,6 +112,7 @@ class GCNHazardRecognizer final : public ScheduleHazardRecognizer {
bool fixRequiredExportPriority(MachineInstr *MI);
bool fixGetRegWaitIdle(MachineInstr *MI);
bool fixDsAtomicAsyncBarrierArriveB64(MachineInstr *MI);
bool fixScratchBaseForwardingHazard(MachineInstr *MI);

int checkMAIHazards(MachineInstr *MI);
int checkMAIHazards908(MachineInstr *MI);
Expand Down
6 changes: 6 additions & 0 deletions llvm/lib/Target/AMDGPU/GCNSubtarget.h
Original file line number Diff line number Diff line change
Expand Up @@ -1821,6 +1821,12 @@ class GCNSubtarget final : public AMDGPUGenSubtargetInfo,
bool hasDsAtomicAsyncBarrierArriveB64PipeBug() const {
return getGeneration() == GFX12;
}

// Requires s_wait_alu(0) after s102/s103 write and src_flat_scratch_base
// read.
bool hasScratchBaseForwardingHazard() const {
return GFX1250Insts && getGeneration() == GFX12;
}
};

class GCNUserSGPRUsageInfo {
Expand Down
Loading
Loading