26#define DEBUG_TYPE "frame-info"
29 "amdgpu-spill-vgpr-to-agpr",
30 cl::desc(
"Enable spilling VGPRs to AGPRs"),
57 OS <<
uint8_t(dwarf::DW_OP_reg0 + DwarfReg);
59 OS <<
uint8_t(dwarf::DW_OP_regx);
65 int64_t DwarfStackPtrReg) {
66 assert(ST.hasFlatScratchEnabled());
74 const unsigned WavefrontSizeLog2 = ST.getWavefrontSizeLog2();
75 assert(WavefrontSizeLog2 < 32);
81 <<
uint8_t(dwarf::DW_OP_lit0 + WavefrontSizeLog2)
84 dwarf::DW_ASPACE_LLVM_AMDGPU_private_wave)
85 <<
uint8_t(dwarf::DW_OP_LLVM_user)
86 <<
uint8_t(dwarf::DW_OP_LLVM_form_aspace_address);
90 OSCFIInst <<
uint8_t(dwarf::DW_CFA_def_cfa_expression);
100 bool AspaceAlreadyDefined,
104 const SIRegisterInfo *
TRI =
ST.getRegisterInfo();
106 int64_t DwarfStackPtrReg =
TRI->getDwarfRegNum(StackPtrReg,
false);
107 MCCFIInstruction CFIInst =
108 ST.hasFlatScratchEnabled()
110 : (AspaceAlreadyDefined
111 ? MCCFIInstruction::createLLVMDefAspaceCfa(
112 nullptr, DwarfStackPtrReg, 0,
113 dwarf::DW_ASPACE_LLVM_AMDGPU_private_wave, SMLoc())
114 : MCCFIInstruction::createDefCfaRegister(nullptr,
128 for (
unsigned i = 0; CSRegs[i]; ++i)
129 LiveUnits.
addReg(CSRegs[i]);
149 bool IncludeScratchCopy =
true) {
155 unsigned Size =
TRI->getSpillSize(RC);
156 Align Alignment =
TRI->getSpillAlign(RC);
164 if (IncludeScratchCopy)
168 int FI = FrameInfo.CreateStackObject(
Size, Alignment,
true,
nullptr,
171 if (
TRI->spillSGPRToVGPR() &&
188 FI = FrameInfo.CreateSpillStackObject(
Size, Alignment);
199 LiveUnits.
addReg(ScratchSGPR);
214 int64_t DwordOff = 0) {
215 unsigned Opc = ST.hasFlatScratchEnabled() ? AMDGPU::SCRATCH_STORE_DWORD_SADDR
216 : AMDGPU::BUFFER_STORE_DWORD_OFFSET;
222 FrameInfo.getObjectAlign(FI));
223 LiveUnits.
addReg(SpillReg);
224 bool IsKill = !
MBB.isLiveIn(SpillReg);
225 TRI.buildSpillLoadStore(
MBB,
I,
DL,
Opc, FI, SpillReg, IsKill, FrameReg,
226 DwordOff, MMO,
nullptr, &LiveUnits);
238 Register FrameReg, int64_t DwordOff = 0) {
239 unsigned Opc = ST.hasFlatScratchEnabled() ? AMDGPU::SCRATCH_LOAD_DWORD_SADDR
240 : AMDGPU::BUFFER_LOAD_DWORD_OFFSET;
246 FrameInfo.getObjectAlign(FI));
247 TRI.buildSpillLoadStore(
MBB,
I,
DL,
Opc, FI, SpillReg,
false, FrameReg,
248 DwordOff, MMO,
nullptr, &LiveUnits);
258 Register TargetLo =
TRI->getSubReg(TargetReg, AMDGPU::sub0);
259 Register TargetHi =
TRI->getSubReg(TargetReg, AMDGPU::sub1);
266 const MCInstrDesc &GetPC64 =
TII->get(AMDGPU::S_GETPC_B64_pseudo);
271 MBB.addLiveIn(GitPtrLo);
280 if (LiveUnits.
empty()) {
316 unsigned EltSize = 4;
317 bool IsFramePtrPrologSpill;
318 bool NeedsFrameMoves;
321 return Reg == AMDGPU::EXEC_LO || Reg == AMDGPU::EXEC;
333 if (IsFramePtrPrologSpill)
334 return FuncInfo->getFrameOffsetReg();
337 if (isExec(SuperReg))
342 void saveToMemory(
const int FI)
const {
345 assert(!MFI.isDeadObjectIndex(FI));
350 MRI, LiveUnits, AMDGPU::VGPR_32RegClass);
355 TFI->buildCFI(MBB, MI, DL,
357 nullptr, MCRI->getDwarfRegNum(Reg,
false),
358 MFI.getObjectOffset(FI) * ST.getWavefrontSize()));
361 for (
unsigned I = 0, DwordOff = 0;
I < NumSubRegs; ++
I) {
364 :
Register(TRI.getSubReg(SuperReg, SplitParts[
I]));
365 BuildMI(MBB, MI, DL, TII->get(AMDGPU::V_MOV_B32_e32), TmpVGPR)
369 FI, FrameReg, DwordOff);
370 if (NeedsFrameMoves && !CFISuperReg)
374 if (NeedsFrameMoves && CFISuperReg)
375 BuildCFI(CFISuperReg);
378 void saveToVGPRLane(
const int FI)
const {
379 assert(!MFI.isDeadObjectIndex(FI));
383 FuncInfo->getSGPRSpillToPhysicalVGPRLanes(FI);
384 assert(Spill.size() == NumSubRegs);
387 for (
unsigned I = 0;
I < NumSubRegs; ++
I) {
390 :
Register(TRI.getSubReg(SuperReg, SplitParts[
I]));
391 BuildMI(MBB, MI, DL, TII->get(AMDGPU::SI_SPILL_S32_TO_VGPR),
396 if (NeedsFrameMoves && !CFISuperReg)
397 TFI->buildCFIForSGPRToVGPRSpill(MBB, MI, DL, SubReg, Spill[
I].VGPR,
400 if (NeedsFrameMoves && CFISuperReg)
401 TFI->buildCFIForSGPRToVGPRSpill(MBB, MI, DL, CFISuperReg, Spill);
404 void copyToScratchSGPR(
Register DstReg)
const {
405 BuildMI(MBB, MI, DL, TII->get(AMDGPU::COPY), DstReg)
408 if (NeedsFrameMoves) {
410 TFI->buildCFIForSRegToSRegSpill(
411 MBB, MI, DL, CFISuperReg ? CFISuperReg : SuperReg.asMCReg(), DstReg);
415 void restoreFromMemory(
const int FI) {
421 MRI, LiveUnits, AMDGPU::VGPR_32RegClass);
425 for (
unsigned I = 0, DwordOff = 0;
I < NumSubRegs; ++
I) {
428 : TRI.getSubReg(SuperReg, SplitParts[
I]);
431 TmpVGPR, FI, FrameReg, DwordOff);
434 BuildMI(MBB, MI, DL, TII->get(AMDGPU::V_READFIRSTLANE_B32), SubReg)
440 void restoreFromVGPRLane(
const int FI) {
443 FuncInfo->getSGPRSpillToPhysicalVGPRLanes(FI);
444 assert(Spill.size() == NumSubRegs);
446 for (
unsigned I = 0;
I < NumSubRegs; ++
I) {
449 : TRI.getSubReg(SuperReg, SplitParts[
I]);
450 BuildMI(MBB, MI, DL, TII->get(AMDGPU::SI_RESTORE_S32_FROM_VGPR), SubReg)
456 void copyFromScratchSGPR(
Register SrcReg)
const {
457 BuildMI(MBB, MI, DL, TII->get(AMDGPU::COPY), SuperReg)
470 bool IsFramePtrPrologSpill =
false)
471 : MI(MI), MBB(MBB), MF(*MBB.
getParent()),
472 ST(MF.getSubtarget<
GCNSubtarget>()), MFI(MF.getFrameInfo()),
474 MCRI(MF.
getContext().getRegisterInfo()), TFI(ST.getFrameLowering()),
475 SuperReg(Reg), SI(SI), LiveUnits(LiveUnits), DL(DL), FrameReg(FrameReg),
476 IsFramePtrPrologSpill(IsFramePtrPrologSpill),
477 NeedsFrameMoves(MF.needsFrameMoves()) {
479 SplitParts = TRI.getRegSplitParts(RC, EltSize);
480 NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size();
482 assert(SuperReg != AMDGPU::M0 &&
"m0 should never spill");
486 switch (SI.getKind()) {
488 return saveToMemory(SI.getIndex());
490 return saveToVGPRLane(SI.getIndex());
492 return copyToScratchSGPR(SI.getReg());
497 switch (SI.getKind()) {
499 return restoreFromMemory(SI.getIndex());
501 return restoreFromVGPRLane(SI.getIndex());
503 return copyFromScratchSGPR(SI.getReg());
511void SIFrameLowering::emitEntryFunctionFlatScratchInit(
515 const SIInstrInfo *
TII =
ST.getInstrInfo();
517 const SIMachineFunctionInfo *MFI = MF.
getInfo<SIMachineFunctionInfo>();
532 if (
ST.isAmdPalOS()) {
534 LiveRegUnits LiveUnits;
540 Register FlatScrInit = AMDGPU::NoRegister;
543 AllSGPR64s = AllSGPR64s.
slice(
544 std::min(
static_cast<unsigned>(AllSGPR64s.
size()), NumPreloaded));
553 assert(FlatScrInit &&
"Failed to find free register for scratch init");
555 FlatScrInitLo =
TRI->getSubReg(FlatScrInit, AMDGPU::sub0);
556 FlatScrInitHi =
TRI->getSubReg(FlatScrInit, AMDGPU::sub1);
563 const MCInstrDesc &LoadDwordX2 =
TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
571 const GCNSubtarget &Subtarget = MF.
getSubtarget<GCNSubtarget>();
580 const MCInstrDesc &SAndB32 =
TII->get(AMDGPU::S_AND_B32);
588 assert(FlatScratchInitReg);
594 FlatScrInitLo =
TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0);
595 FlatScrInitHi =
TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1);
599 if (
ST.flatScratchIsPointer()) {
603 .
addReg(ScratchWaveOffsetReg);
610 using namespace AMDGPU::Hwreg;
613 .
addImm(int16_t(HwregEncoding::encode(ID_FLAT_SCR_LO, 0, 32)));
616 .
addImm(int16_t(HwregEncoding::encode(ID_FLAT_SCR_HI, 0, 32)));
623 .
addReg(ScratchWaveOffsetReg);
643 .
addReg(ScratchWaveOffsetReg);
666Register SIFrameLowering::getEntryFunctionReservedScratchRsrcReg(
670 const SIInstrInfo *
TII =
ST.getInstrInfo();
673 SIMachineFunctionInfo *MFI = MF.
getInfo<SIMachineFunctionInfo>();
683 if (
ST.hasSGPRInitBug() ||
684 ScratchRsrcReg !=
TRI->reservedPrivateSegmentBufferReg(MF))
685 return ScratchRsrcReg;
698 AllSGPR128s = AllSGPR128s.
slice(std::min(
static_cast<unsigned>(AllSGPR128s.
size()), NumPreloaded));
708 (!GITPtrLoReg || !
TRI->isSubRegisterEq(
Reg, GITPtrLoReg))) {
716 return ScratchRsrcReg;
720 return ST.hasFlatScratchEnabled() ? 1 : ST.getWavefrontSize();
725 assert(&MF.
front() == &
MBB &&
"Shrink-wrapping not yet supported");
756 static const char CFAEncodedInstUserOpsArr[] = {
757 dwarf::DW_CFA_def_cfa_expression,
759 static_cast<char>(dwarf::DW_OP_lit0),
760 static_cast<char>(dwarf::DW_OP_lit0 +
761 dwarf::DW_ASPACE_LLVM_AMDGPU_private_wave),
762 static_cast<char>(dwarf::DW_OP_LLVM_user),
763 static_cast<char>(dwarf::DW_OP_LLVM_form_aspace_address)};
765 StringRef(CFAEncodedInstUserOpsArr,
sizeof(CFAEncodedInstUserOpsArr));
769 "CFA is 0 in private_wave aspace"));
773 nullptr,
TRI->getDwarfRegNum(AMDGPU::PC_REG,
false)));
786 if (!ST.hasFlatScratchEnabled())
787 ScratchRsrcReg = getEntryFunctionReservedScratchRsrcReg(MF);
790 if (ScratchRsrcReg) {
792 if (&OtherBB != &
MBB) {
793 OtherBB.addLiveIn(ScratchRsrcReg);
801 if (ST.isAmdHsaOrMesa(
F)) {
802 PreloadedScratchRsrcReg =
804 if (ScratchRsrcReg && PreloadedScratchRsrcReg) {
807 MRI.addLiveIn(PreloadedScratchRsrcReg);
808 MBB.addLiveIn(PreloadedScratchRsrcReg);
818 if (PreloadedScratchWaveOffsetReg &&
819 TRI->isSubRegisterEq(ScratchRsrcReg, PreloadedScratchWaveOffsetReg)) {
822 AllSGPRs = AllSGPRs.
slice(
823 std::min(
static_cast<unsigned>(AllSGPRs.
size()), NumPreloaded));
826 if (!
MRI.isPhysRegUsed(Reg) &&
MRI.isAllocatable(Reg) &&
827 !
TRI->isSubRegisterEq(ScratchRsrcReg, Reg) && GITPtrLoReg != Reg) {
828 ScratchWaveOffsetReg = Reg;
837 if (!ScratchWaveOffsetReg)
839 "could not find temporary scratch offset register in prolog");
841 ScratchWaveOffsetReg = PreloadedScratchWaveOffsetReg;
843 assert(ScratchWaveOffsetReg || !PreloadedScratchWaveOffsetReg);
873 FrameInfo.getMaxAlign());
885 ST.hasInv2PiInlineImm())) {
897 bool NeedsFlatScratchInit =
899 (
MRI.isPhysRegUsed(AMDGPU::FLAT_SCR) || FrameInfo.hasCalls() ||
902 if ((NeedsFlatScratchInit || ScratchRsrcReg) &&
903 PreloadedScratchWaveOffsetReg && !ST.hasArchitectedFlatScratch()) {
904 MRI.addLiveIn(PreloadedScratchWaveOffsetReg);
905 MBB.addLiveIn(PreloadedScratchWaveOffsetReg);
908 if (NeedsFlatScratchInit) {
909 emitEntryFunctionFlatScratchInit(MF,
MBB,
I,
DL, ScratchWaveOffsetReg);
912 if (ScratchRsrcReg) {
913 emitEntryFunctionScratchRsrcRegSetup(MF,
MBB,
I,
DL,
914 PreloadedScratchRsrcReg,
915 ScratchRsrcReg, ScratchWaveOffsetReg);
920void SIFrameLowering::emitEntryFunctionScratchRsrcRegSetup(
931 if (ST.isAmdPalOS()) {
934 Register Rsrc01 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
935 Register Rsrc03 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
942 const MCInstrDesc &LoadDwordX4 =
TII->get(AMDGPU::S_LOAD_DWORDX4_IMM);
971 }
else if (
ST.isMesaGfxShader(Fn) || !PreloadedScratchRsrcReg) {
973 const MCInstrDesc &SMovB32 =
TII->get(AMDGPU::S_MOV_B32);
975 Register Rsrc2 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2);
976 Register Rsrc3 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3);
982 Register Rsrc01 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1);
985 const MCInstrDesc &Mov64 =
TII->get(AMDGPU::S_MOV_B64);
991 const MCInstrDesc &LoadDwordX2 =
TII->get(AMDGPU::S_LOAD_DWORDX2_IMM);
1010 Register Rsrc0 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
1011 Register Rsrc1 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
1029 }
else if (
ST.isAmdHsaOrMesa(Fn)) {
1030 assert(PreloadedScratchRsrcReg);
1032 if (ScratchRsrcReg != PreloadedScratchRsrcReg) {
1047 Register ScratchRsrcSub0 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0);
1048 Register ScratchRsrcSub1 =
TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1);
1054 .
addReg(ScratchWaveOffsetReg)
1056 auto Addc =
BuildMI(
MBB,
I,
DL,
TII->get(AMDGPU::S_ADDC_U32), ScratchRsrcSub1)
1089 emitDefCFA(
MBB,
MBBI,
DL, StackPtrReg,
true,
1093 TRI.getReturnAddressReg(MF));
1097 for (
unsigned I = 0; CSRegs[
I]; ++
I) {
1098 IsCalleeSaved.set(CSRegs[
I]);
1102 if (
Reg == AMDGPU::VCC ||
Reg == AMDGPU::VCC_LO ||
Reg == AMDGPU::VCC_HI)
1104 if (IsCalleeSaved.test(
Reg) || !
MRI.isPhysRegModified(
Reg))
1112 unsigned NumArchVGPRs =
ST.hasVGPRMSBs() ? 1024 : 256;
1113 for_each(AMDGPU::VGPR_32RegClass.getRegisters().take_front(NumArchVGPRs),
1117 if (
ST.hasMAIInsts()) {
1118 for_each(AMDGPU::AGPR_32RegClass.getRegisters(), ProcessReg);
1122 for_each(AMDGPU::SGPR_32RegClass.getRegisters(), ProcessReg);
1132 bool EnableInactiveLanes) {
1145 assert(IsProlog &&
"Epilog should look at return, not setup");
1147 TII->getWholeWaveFunctionSetup(MF)->getOperand(0).getReg();
1148 assert(ScratchExecCopy &&
"Couldn't find copy of EXEC");
1151 MRI, LiveUnits, *
TRI.getWaveMaskRegClass());
1154 if (!ScratchExecCopy)
1157 LiveUnits.
addReg(ScratchExecCopy);
1159 const unsigned SaveExecOpc =
1160 ST.isWave32() ? (EnableInactiveLanes ? AMDGPU::S_XOR_SAVEEXEC_B32
1161 : AMDGPU::S_OR_SAVEEXEC_B32)
1162 : (EnableInactiveLanes ? AMDGPU::S_XOR_SAVEEXEC_B64
1163 : AMDGPU::S_OR_SAVEEXEC_B64);
1168 return ScratchExecCopy;
1175 const bool NeedsFrameMoves)
const {
1191 if (!WWMScratchRegs.
empty())
1196 auto StoreWWMRegisters =
1198 for (
const auto &Reg : WWMRegs) {
1200 int FI = Reg.second;
1202 VGPR, FI, FrameReg);
1203 if (NeedsFrameMoves) {
1208 MFI.getObjectOffset(FI) * ST.getWavefrontSize()));
1214 if (!
MRI.isReserved(Reg)) {
1219 StoreWWMRegisters(WWMScratchRegs);
1221 auto EnableAllLanes = [&]() {
1225 if (!WWMCalleeSavedRegs.
empty()) {
1226 if (ScratchExecCopy) {
1235 StoreWWMRegisters(WWMCalleeSavedRegs);
1240 if (!ScratchExecCopy)
1243 else if (WWMCalleeSavedRegs.
empty())
1245 }
else if (ScratchExecCopy) {
1249 LiveUnits.
addReg(ScratchExecCopy);
1259 bool IsFramePtrPrologSpill = Spill.first == FramePtrReg;
1260 Register Reg = IsFramePtrPrologSpill ? FramePtrRegScratchCopy : Spill.first;
1265 LiveUnits, FrameReg, IsFramePtrPrologSpill);
1273 if (!ScratchSGPRs.
empty()) {
1278 MBB.sortUniqueLiveIns();
1280 if (!LiveUnits.
empty()) {
1288 if (
TRI.isCFISavedRegsSpillEnabled())
1296 Register FramePtrRegScratchCopy)
const {
1311 Spill.first == FramePtrReg ? FramePtrRegScratchCopy : Spill.first;
1316 LiveUnits, FrameReg);
1326 auto RestoreWWMRegisters =
1328 for (
const auto &Reg : WWMRegs) {
1330 int FI = Reg.second;
1332 VGPR, FI, FrameReg);
1339 RestoreWWMRegisters(WWMCalleeSavedRegs);
1343 unsigned Opcode = Return.getOpcode();
1345 case AMDGPU::SI_WHOLE_WAVE_FUNC_RETURN:
1346 Opcode = AMDGPU::SI_RETURN;
1348 case AMDGPU::SI_TCRETURN_GFX_WholeWave:
1349 Opcode = AMDGPU::SI_TCRETURN_GFX;
1354 Register OrigExec = Return.getOperand(0).getReg();
1356 if (!WWMScratchRegs.
empty()) {
1360 RestoreWWMRegisters(WWMScratchRegs);
1367 Return.removeOperand(0);
1368 Return.setDesc(
TII->get(Opcode));
1373 if (!WWMScratchRegs.
empty()) {
1378 RestoreWWMRegisters(WWMScratchRegs);
1379 if (!WWMCalleeSavedRegs.
empty()) {
1380 if (ScratchExecCopy) {
1389 RestoreWWMRegisters(WWMCalleeSavedRegs);
1390 if (ScratchExecCopy) {
1425 int64_t RoundedSize = NumBytes;
1429 bool SavesStackRegs =
1434 if (NeedsFrameMoves)
1437 if (
TRI.hasStackRealignment(MF))
1441 if (!HasFP && !
hasFP(MF)) {
1444 FramePtrRegScratchCopy, NeedsFrameMoves);
1445 }
else if (SavesStackRegs) {
1447 Register SGPRForFPSaveRestoreCopy =
1451 if (SGPRForFPSaveRestoreCopy) {
1458 DL,
TII,
TRI, LiveUnits, FramePtrReg,
1461 LiveUnits.
addReg(SGPRForFPSaveRestoreCopy);
1466 MRI, LiveUnits, AMDGPU::SReg_32_XM0_XEXECRegClass);
1467 if (!FramePtrRegScratchCopy)
1470 LiveUnits.
addReg(FramePtrRegScratchCopy);
1479 RoundedSize += Alignment;
1480 if (LiveUnits.
empty()) {
1495 And->getOperand(3).setIsDead();
1497 }
else if ((HasFP =
hasFP(MF))) {
1506 FramePtrRegScratchCopy, NeedsFrameMoves);
1507 if (FramePtrRegScratchCopy)
1508 LiveUnits.
removeReg(FramePtrRegScratchCopy);
1515 if ((HasBP =
TRI.hasBasePointer(MF))) {
1522 if (NeedsFrameMoves)
1523 emitDefCFA(
MBB,
MBBI,
DL, FramePtrReg,
false,
1527 if (HasFP && RoundedSize != 0) {
1532 Add->getOperand(3).setIsDead();
1537 assert((!HasFP || FPSaved || !SavesStackRegs) &&
1538 "Needed to save FP but didn't save it anywhere");
1543 "Saved FP but didn't need it");
1547 assert((!HasBP || BPSaved || !SavesStackRegs) &&
1548 "Needed to save BP but didn't save it anywhere");
1550 assert((HasBP || !BPSaved) &&
"Saved BP but didn't need it");
1554 TII->getWholeWaveFunctionSetup(MF)->eraseFromParent();
1578 MBBI =
MBB.getLastNonDebugInstr();
1580 DL =
MBBI->getDebugLoc();
1582 MBBI =
MBB.getFirstTerminator();
1593 if (RoundedSize != 0) {
1594 if (
TRI.hasBasePointer(MF)) {
1598 }
else if (
hasFP(MF)) {
1606 Register SGPRForFPSaveRestoreCopy =
1614 if (SGPRForFPSaveRestoreCopy) {
1615 LiveUnits.
addReg(SGPRForFPSaveRestoreCopy);
1618 MRI, LiveUnits, AMDGPU::SReg_32_XM0_XEXECRegClass);
1619 if (!FramePtrRegScratchCopy)
1622 LiveUnits.
addReg(FramePtrRegScratchCopy);
1626 FramePtrRegScratchCopy);
1630 emitDefCFA(
MBB,
MBBI,
DL, StackPtrReg,
false,
1636 Register SrcReg = SGPRForFPSaveRestoreCopy ? SGPRForFPSaveRestoreCopy
1637 : FramePtrRegScratchCopy;
1641 if (SGPRForFPSaveRestoreCopy)
1646 FramePtrRegScratchCopy);
1687 const bool SpillVGPRToAGPR = ST.hasMAIInsts() && FuncInfo->
hasSpilledVGPRs()
1690 if (SpillVGPRToAGPR) {
1695 bool SeenDbgInstr =
false;
1700 if (
MI.isDebugInstr())
1701 SeenDbgInstr =
true;
1703 if (
TII->isVGPRSpill(
MI)) {
1706 unsigned FIOp = AMDGPU::getNamedOperandIdx(
MI.getOpcode(),
1707 AMDGPU::OpName::vaddr);
1708 int FI =
MI.getOperand(FIOp).getIndex();
1710 TII->getNamedOperand(
MI, AMDGPU::OpName::vdata)->getReg();
1712 TRI->isAGPR(
MRI, VReg))) {
1714 RS->enterBasicBlockEnd(
MBB);
1715 RS->backward(std::next(
MI.getIterator()));
1716 TRI->eliminateFrameIndex(
MI, 0, FIOp, RS);
1720 }
else if (
TII->isStoreToStackSlot(
MI, FrameIndex) ||
1721 TII->isLoadFromStackSlot(
MI, FrameIndex))
1723 NonVGPRSpillFIs.
set(FrameIndex);
1729 for (
unsigned FI : SpillFIs.
set_bits())
1730 if (!NonVGPRSpillFIs.
test(FI))
1740 MBB.sortUniqueLiveIns();
1742 if (!SpillFIs.
empty() && SeenDbgInstr)
1750 bool HaveSGPRToVMemSpill =
1753 "SGPR spill should have been removed in SILowerSGPRSpills");
1759 assert(RS &&
"RegScavenger required if spilling");
1770 }
else if (HaveSGPRToVMemSpill &&
1786 if (ST.hasMAIInsts() && !ST.hasGFX90AInsts()) {
1793 TRI->findUnusedRegister(
MRI, &AMDGPU::VGPR_32RegClass, MF);
1794 if (UnusedLowVGPR && (
TRI->getHWRegIndex(UnusedLowVGPR) <
1795 TRI->getHWRegIndex(VGPRForAGPRCopy))) {
1801 MRI.reserveReg(UnusedLowVGPR,
TRI);
1808 TRI->findUnusedRegister(
MRI, &AMDGPU::SGPR_64RegClass, MF);
1813 if (LongBranchReservedReg && UnusedLowSGPR) {
1815 MRI.reserveReg(UnusedLowSGPR,
TRI);
1823 bool NeedExecCopyReservedReg)
const {
1834 for (
unsigned I = 0; CSRegs[
I]; ++
I)
1840 if (NeedExecCopyReservedReg ||
1841 (ReservedRegForExecCopy &&
1842 MRI.isPhysRegUsed(ReservedRegForExecCopy,
true))) {
1843 MRI.reserveReg(ReservedRegForExecCopy,
TRI);
1845 if (UnusedScratchReg) {
1849 MRI.replaceRegWith(ReservedRegForExecCopy, UnusedScratchReg);
1850 LiveUnits.
addReg(UnusedScratchReg);
1854 "Re-reserving spill slot for EXEC copy register");
1858 }
else if (ReservedRegForExecCopy) {
1864 if (
TRI->isCFISavedRegsSpillEnabled()) {
1867 "Re-reserving spill slot for EXEC");
1874 if (
F.hasFnAttribute(Attribute::NoReturn) ||
1886 const bool WillHaveFP =
1887 FrameInfo.hasCalls() &&
1890 if (WillHaveFP ||
hasFP(MF)) {
1893 "Re-reserving spill slot for FP");
1897 if (
TRI->hasBasePointer(MF)) {
1900 "Re-reserving spill slot for BP");
1922 bool NeedExecCopyReservedReg =
false;
1929 if (
TII->isWWMRegSpillOpcode(
MI.getOpcode()))
1930 NeedExecCopyReservedReg =
true;
1931 else if (
MI.getOpcode() == AMDGPU::SI_RETURN ||
1932 MI.getOpcode() == AMDGPU::SI_RETURN_TO_EPILOG ||
1933 MI.getOpcode() == AMDGPU::SI_WHOLE_WAVE_FUNC_RETURN ||
1935 TII->isChainCallOpcode(
MI.getOpcode()))) {
1938 (
count_if(
MI.operands(), [](
auto Op) { return Op.isReg(); }) ==
1951 if (
TRI->getRegSizeInBits(*RC) != 32)
1956 sort(SortedWWMVGPRs, std::greater<Register>());
1965 assert(!NeedExecCopyReservedReg &&
1966 "Whole wave functions can use the reg mapped for their i1 argument");
1968 unsigned NumArchVGPRs = ST.getAddressableNumArchVGPRs();
1970 AMDGPU::VGPR_32RegClass.getRegisters().take_front(NumArchVGPRs))
1973 MF.
begin()->addLiveIn(Reg);
1975 MF.
begin()->sortUniqueLiveIns();
1983 SavedVGPRs.
reset(
Op.getReg());
1991 TRI->getSpillAlign(*RC));
2000 if (!ST.hasGFX90AInsts())
2008 SavedVGPRs.
reset(Reg.first);
2025 const BitVector AllSavedRegs = SavedRegs;
2034 const bool WillHaveFP =
2038 if (WillHaveFP ||
hasFP(MF))
2048 Register RetAddrReg =
TRI->getReturnAddressReg(MF);
2050 (FrameInfo.hasCalls() ||
MRI.isPhysRegModified(RetAddrReg))) {
2051 SavedRegs.
set(
TRI->getSubReg(RetAddrReg, AMDGPU::sub0));
2052 SavedRegs.
set(
TRI->getSubReg(RetAddrReg, AMDGPU::sub1));
2058 std::vector<CalleeSavedInfo> &CSI) {
2066 return A.getReg() <
B.getReg();
2068 "Callee saved registers not sorted");
2071 return !CSI.isSpilledToReg() &&
2072 TRI->getPhysRegBaseClass(CSI.getReg()) == &AMDGPU::VGPR_32RegClass &&
2076 auto CSEnd = CSI.end();
2077 for (
auto CSIt = CSI.begin(); CSIt != CSEnd; ++CSIt) {
2079 if (!CanUseBlockOps(*CSIt))
2086 CSEnd = std::remove_if(
2088 if (CanUseBlockOps(CSI) && CSI.
getReg() <
Reg + 32) {
2098 TRI->getMatchingSuperReg(
Reg, AMDGPU::sub0, BlockRegClass);
2107 TRI->getMatchingSuperReg(LastBlockStart, AMDGPU::sub0, BlockRegClass);
2108 assert(RegBlock &&
TRI->isSubRegister(RegBlock,
Reg) &&
2109 "Couldn't find super register");
2110 int RegDelta =
Reg - LastBlockStart;
2112 "Bad shift amount");
2123 unsigned BlockSize =
TRI->getSpillSize(*BlockRegClass) - UnusedBits * 4;
2125 MFI.CreateStackObject(
BlockSize,
TRI->getSpillAlign(*BlockRegClass),
2127 MFI.setIsCalleeSavedObjectIndex(FrameIdx,
true);
2129 CSIt->setFrameIdx(FrameIdx);
2130 CSIt->setReg(RegBlock);
2132 CSI.erase(CSEnd, CSI.end());
2137 std::vector<CalleeSavedInfo> &CSI)
const {
2142 bool UseVGPRBlocks = ST.useVGPRBlockOpsForCSR();
2152 std::vector<CalleeSavedInfo> &CSI)
const {
2160 Register BasePtrReg = RI->getBaseRegister();
2161 Register SGPRForFPSaveRestoreCopy =
2163 Register SGPRForBPSaveRestoreCopy =
2165 if (!SGPRForFPSaveRestoreCopy && !SGPRForBPSaveRestoreCopy)
2168 unsigned NumModifiedRegs = 0;
2170 if (SGPRForFPSaveRestoreCopy)
2172 if (SGPRForBPSaveRestoreCopy)
2175 for (
auto &CS : CSI) {
2176 if (CS.getReg() == FramePtrReg.
asMCReg() && SGPRForFPSaveRestoreCopy) {
2177 CS.setDstReg(SGPRForFPSaveRestoreCopy);
2178 if (--NumModifiedRegs)
2180 }
else if (CS.getReg() == BasePtrReg.
asMCReg() &&
2181 SGPRForBPSaveRestoreCopy) {
2182 CS.setDstReg(SGPRForBPSaveRestoreCopy);
2183 if (--NumModifiedRegs)
2197 uint64_t EstStackSize = MFI.estimateStackSize(MF);
2198 uint64_t MaxOffset = EstStackSize - 1;
2207 if (ST.hasFlatScratchEnabled()) {
2212 if (
TII->isLegalMUBUFImmOffset(MaxOffset))
2226 for (
const auto &LI :
MBB.liveins()) {
2228 auto [Unit, UnitLaneMask] = *
MI;
2229 if ((LI.LaneMask & UnitLaneMask).none())
2232 LiveInRoots.
set(*RI);
2244 if (LiveInRoots.
test(*RI))
2251void SIFrameLowering::spillCalleeSavedRegisterWithoutBlockOps(
2285 std::optional<SparseBitVector<>> LiveInRoots;
2286 if (
MBB.getParent()->getRegInfo().tracksLiveness())
2289 if (!ST.useVGPRBlockOpsForCSR()) {
2291 spillCalleeSavedRegisterWithoutBlockOps(
MBB,
MI, CS,
TII,
TRI,
2294 MBB.sortUniqueLiveIns();
2304 if (!BlockRegClass->contains(Reg) ||
2306 spillCalleeSavedRegisterWithoutBlockOps(
MBB,
MI, CS,
TII,
TRI,
2318 FrameInfo.getObjectSize(FrameIndex),
2319 FrameInfo.getObjectAlign(FrameIndex));
2322 TII->get(AMDGPU::SI_BLOCK_SPILL_V1024_CFI_SAVE))
2340 MBB.sortUniqueLiveIns();
2352 if (!ST.useVGPRBlockOpsForCSR())
2361 if (!BlockRegClass->
contains(Reg) ||
2374 MFI.getObjectAlign(FrameIndex));
2377 TII->get(AMDGPU::SI_BLOCK_SPILL_V1024_RESTORE), Reg)
2383 TRI.addImplicitUsesForBlockCSRLoad(MIB, Reg);
2392 MBB.sortUniqueLiveIns();
2400 int64_t Amount =
I->getOperand(0).getImm();
2402 return MBB.erase(
I);
2407 unsigned Opc =
I->getOpcode();
2408 bool IsDestroy =
Opc ==
TII->getCallFrameDestroyOpcode();
2409 uint64_t CalleePopAmount = IsDestroy ?
I->getOperand(1).getImm() : 0;
2423 Add->getOperand(3).setIsDead();
2424 }
else if (CalleePopAmount != 0) {
2428 return MBB.erase(
I);
2482 "only expected to call this for entry points functions");
2517 ST.isWave32() ? AMDGPU::EXEC_LO : AMDGPU::EXEC,
false);
2521 ST.getWavefrontSize());
2528 const int Lane)
const {
2534 assert(DwarfSGPR != -1 && DwarfVGPR != -1);
2535 assert(Lane != -1 &&
"Expected a lane to be present");
2550 if (VGPRSpills.
size() == 1u)
2552 VGPRSpills[0].Lane);
2566 assert(Spill.hasLane() &&
"Expected a lane to be present");
2597 ST.isWave32() ? AMDGPU::EXEC_LO : AMDGPU::EXEC,
false);
2606 int64_t DwarfReg =
TRI.getDwarfRegNum(
Reg,
false);
2607 if (DwarfReg >= 0) {
2608 DwarfRegs.
push_back(
unsigned(DwarfReg));
2614 for (
unsigned I = 0;
I < SplitParts.
size(); ++
I) {
2616 DwarfReg =
TRI.getDwarfRegNum(SubReg,
false);
2621 DwarfRegs.
push_back(
unsigned(DwarfReg));
2636 if (DwarfRegs.
size() == DwarfCopyRegs.
size()) {
2637 for (
unsigned I = 0, E = DwarfRegs.
size();
I < E; ++
I) {
2645 if (DwarfRegs.
size() == 1 && DwarfCopyRegs.
size() == 2) {
2647 nullptr, DwarfRegs[0], DwarfCopyRegs[0],
SGPRBitSize, DwarfCopyRegs[1],
2653 for (
unsigned I = 0, E = DwarfRegs.
size();
I < E; ++
I) {
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Provides AMDGPU specific target descriptions.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file contains constants used for implementing Dwarf debug support.
AMD GCN specific subclass of TargetSubtarget.
const HexagonInstrInfo * TII
Register const TargetRegisterInfo * TRI
Promote Memory to Register
static constexpr MCPhysReg FPReg
static constexpr MCPhysReg SPReg
MachineRegisterInfo & MRI
This file declares the machine register scavenger class.
static void buildEpilogRestore(const GCNSubtarget &ST, const SIRegisterInfo &TRI, const SIMachineFunctionInfo &FuncInfo, LiveRegUnits &LiveUnits, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, Register SpillReg, int FI, Register FrameReg, int64_t DwordOff=0)
static cl::opt< bool > EnableSpillVGPRToAGPR("amdgpu-spill-vgpr-to-agpr", cl::desc("Enable spilling VGPRs to AGPRs"), cl::ReallyHidden, cl::init(true))
static void getVGPRSpillLaneOrTempRegister(MachineFunction &MF, LiveRegUnits &LiveUnits, Register SGPR, const TargetRegisterClass &RC=AMDGPU::SReg_32_XM0_XEXECRegClass, bool IncludeScratchCopy=true)
Query target location for spilling SGPRs IncludeScratchCopy : Also look for free scratch SGPRs.
static void buildGitPtr(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, const SIInstrInfo *TII, Register TargetReg)
static bool allStackObjectsAreDead(const MachineFrameInfo &MFI)
static MCCFIInstruction createScaledCFAInPrivateWave(const GCNSubtarget &ST, int64_t DwarfStackPtrReg)
static void buildPrologSpill(const GCNSubtarget &ST, const SIRegisterInfo &TRI, const SIMachineFunctionInfo &FuncInfo, LiveRegUnits &LiveUnits, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator I, const DebugLoc &DL, Register SpillReg, int FI, Register FrameReg, int64_t DwordOff=0)
static Register buildScratchExecCopy(LiveRegUnits &LiveUnits, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, bool IsProlog, bool EnableInactiveLanes)
static void encodeDwarfRegisterLocation(int DwarfReg, raw_ostream &OS)
static constexpr unsigned SGPRBitSize
static bool frameTriviallyRequiresSP(const MachineFrameInfo &MFI)
Returns true if the frame will require a reference to the stack pointer.
static void decomposeDwarfRegs(const SIRegisterInfo &TRI, MCRegister Reg, SmallVectorImpl< unsigned > &DwarfRegs)
static SparseBitVector buildLiveInRoots(const MachineBasicBlock &MBB, const SIRegisterInfo &TRI)
Return the set of all root registers of regunits live-in to MBB.
static void initLiveUnits(LiveRegUnits &LiveUnits, const SIRegisterInfo &TRI, const SIMachineFunctionInfo *FuncInfo, MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, bool IsProlog)
static constexpr unsigned VGPRLaneBitSize
static bool allSGPRSpillsAreDead(const MachineFunction &MF)
static MCRegister findScratchNonCalleeSaveRegister(MachineRegisterInfo &MRI, LiveRegUnits &LiveUnits, const TargetRegisterClass &RC, bool Unused=false)
static MCRegister findUnusedRegister(MachineRegisterInfo &MRI, const LiveRegUnits &LiveUnits, const TargetRegisterClass &RC)
static constexpr unsigned SGPRByteSize
static void assignSlotsUsingVGPRBlocks(MachineFunction &MF, const GCNSubtarget &ST, std::vector< CalleeSavedInfo > &CSI)
static bool isAnyRootLiveIn(const SparseBitVector<> &LiveInRoots, const SIRegisterInfo &TRI, MCRegister Reg)
Returns true iff any root of Reg is in LiveInRoots (see buildLiveInRoots).
static unsigned getScratchScaleFactor(const GCNSubtarget &ST)
Func getContext().diagnose(DiagnosticInfoUnsupported(Func
static const int BlockSize
bool isChainFunction() const
bool isEntryFunction() const
static const LaneMaskConstants & get(const GCNSubtarget &ST)
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
ArrayRef< T > slice(size_t N, size_t M) const
slice(n, m) - Chop off the first N elements of the array, and keep M elements in the array.
bool test(unsigned Idx) const
Returns true if bit Idx is set.
BitVector & reset()
Reset all bits in the bitvector.
void clearBitsNotInMask(const uint32_t *Mask, unsigned MaskWords=~0u)
Clear a bit in this vector for every '0' bit in Mask.
BitVector & set()
Set all bits in the bitvector.
bool any() const
Returns true if any bit is set.
void clearBitsInMask(const uint32_t *Mask, unsigned MaskWords=~0u)
Clear any bits in this vector that are set in Mask.
iterator_range< const_set_bits_iterator > set_bits() const
bool empty() const
Returns whether there are no bits in this bitvector.
The CalleeSavedInfo class tracks the information need to locate where a callee saved register is in t...
bool isSpilledToReg() const
MCRegister getReg() const
MCRegister getDstReg() const
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
bool hasImplicitBufferPtr() const
bool hasFlatScratchInit() const
const HexagonRegisterInfo & getRegisterInfo() const
A set of register units used to track register liveness.
bool available(MCRegister Reg) const
Returns true if no part of physical register Reg is live.
void init(const TargetRegisterInfo &TRI)
Initialize and clear the set.
void addReg(MCRegister Reg)
Adds register units covered by physical register Reg.
LLVM_ABI void stepBackward(const MachineInstr &MI)
Updates liveness when stepping backwards over the instruction MI.
LLVM_ABI void addLiveOuts(const MachineBasicBlock &MBB)
Adds registers living out of block MBB.
void removeReg(MCRegister Reg)
Removes all register units covered by physical register Reg.
bool empty() const
Returns true if the set is empty.
LLVM_ABI void addLiveIns(const MachineBasicBlock &MBB)
Adds registers living into block MBB.
static MCCFIInstruction createLLVMVectorOffset(MCSymbol *L, unsigned Register, unsigned RegisterSizeInBits, unsigned MaskRegister, unsigned MaskRegisterSizeInBits, int64_t Offset, SMLoc Loc={})
.cfi_llvm_vector_offset Previous value of Register is saved at Offset from CFA.
static MCCFIInstruction createUndefined(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_undefined From now on the previous value of Register can't be restored anymore.
static MCCFIInstruction createLLVMVectorRegisters(MCSymbol *L, unsigned Register, ArrayRef< VectorRegisterWithLane > VectorRegisters, SMLoc Loc={})
.cfi_llvm_vector_registers Previous value of Register is saved in lanes of vector registers.
static MCCFIInstruction createLLVMVectorRegisterMask(MCSymbol *L, unsigned Register, unsigned SpillRegister, unsigned SpillRegisterLaneSizeInBits, unsigned MaskRegister, unsigned MaskRegisterSizeInBits, SMLoc Loc={})
.cfi_llvm_vector_register_mask Previous value of Register is saved in SpillRegister,...
static MCCFIInstruction createRegister(MCSymbol *L, unsigned Register1, unsigned Register2, SMLoc Loc={})
.cfi_register Previous value of Register1 is saved in register Register2.
static MCCFIInstruction createOffset(MCSymbol *L, unsigned Register, int64_t Offset, SMLoc Loc={})
.cfi_offset Previous value of Register is saved at offset Offset from CFA.
static MCCFIInstruction createLLVMRegisterPair(MCSymbol *L, unsigned Register, unsigned R1, unsigned R1SizeInBits, unsigned R2, unsigned R2SizeInBits, SMLoc Loc={})
.cfi_llvm_register_pair Previous value of Register is saved in R1:R2.
static MCCFIInstruction createEscape(MCSymbol *L, StringRef Vals, SMLoc Loc={}, StringRef Comment="")
.cfi_escape Allows the user to add arbitrary bytes to the unwind info.
static MCCFIInstruction createSameValue(MCSymbol *L, unsigned Register, SMLoc Loc={})
.cfi_same_value Current value of Register is the same as in the previous frame.
const MCRegisterInfo * getRegisterInfo() const
Describe properties that are true of each instruction in the target description file.
bool isValid() const
Returns true if this iterator is not yet at the end.
MCRegUnitMaskIterator enumerates a list of register units and their associated lane masks for Reg.
MCRegUnitRootIterator enumerates the root registers of a register unit.
bool isValid() const
Check if the iterator is at the end of the list.
bool contains(MCRegister Reg) const
contains - Return true if the specified register is included in this register class.
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
virtual int64_t getDwarfRegNum(MCRegister Reg, bool isEH) const
Map a target register to an equivalent dwarf register number.
Wrapper class representing physical registers. Should be passed by value.
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
void addLiveIn(MCRegister PhysReg, LaneBitmask LaneMask=LaneBitmask::getAll())
Adds the specified register as a live in.
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
MachineInstrBundleIterator< MachineInstr > iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
bool hasCalls() const
Return true if the current function has any function calls.
bool isFrameAddressTaken() const
This method may be called any time after instruction selection is complete to determine if there is a...
Align getMaxAlign() const
Return alignment of this function's frame.
bool hasPatchPoint() const
This method may be called any time after instruction selection is complete to determine if there is a...
bool hasTailCall() const
Returns true if the function contains a tail call.
bool hasStackMap() const
This method may be called any time after instruction selection is complete to determine if there is a...
LLVM_ABI int CreateSpillStackObject(uint64_t Size, Align Alignment, TargetStackID::Value StackID=TargetStackID::Default)
Create a new statically sized stack object that represents a spill slot, returning a nonnegative iden...
void RemoveStackObject(int ObjectIdx)
Remove or mark dead a statically sized stack object.
int getObjectIndexEnd() const
Return one past the maximum frame object index.
uint8_t getStackID(int ObjectIdx) const
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
bool isFixedObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a fixed stack object.
int getObjectIndexBegin() const
Return the minimum frame object index.
bool isDeadObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a dead object.
unsigned addFrameInst(const MCCFIInstruction &Inst)
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
bool needsFrameMoves() const
True if this function needs frame moves for debug or exceptions.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
MCContext & getContext() const
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
bool disableFramePointerElim() const
Returns true if frame pointer elimination should be disabled for this function.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const MachineBasicBlock & front() const
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags F, LLT MemTy, Align BaseAlignment, const MMOMetadata &Metadata=MMOMetadata(), SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
const MachineInstrBuilder & addExternalSymbol(const char *FnName, unsigned TargetFlags=0) const
const MachineInstrBuilder & addCFIIndex(unsigned CFIIndex) const
const MachineInstrBuilder & addReg(Register RegNo, RegState Flags={}, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & setMIFlag(MachineInstr::MIFlag Flag) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & addFrameIndex(int Idx) const
const MachineInstrBuilder & addMemOperand(MachineMemOperand *MMO) const
Representation of each machine instruction.
const MachineOperand & getOperand(unsigned i) const
A description of a memory reference used in the backend.
@ MODereferenceable
The memory access is dereferenceable (i.e., doesn't trap).
@ MOLoad
The memory access reads data.
@ MOInvariant
The memory access always returns the same value (or traps).
@ MOStore
The memory access writes data.
void setIsDead(bool Val=true)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
bool isReserved(MCRegister PhysReg) const
isReserved - Returns true when PhysReg is a reserved register.
bool isAllocatable(MCRegister PhysReg) const
isAllocatable - Returns true when PhysReg belongs to an allocatable register class and it hasn't been...
LLVM_ABI const MCPhysReg * getCalleeSavedRegs() const
Returns list of callee saved registers.
void reserveReg(MCRegister PhysReg, const TargetRegisterInfo *TRI)
reserveReg – Mark a register as reserved so checks like isAllocatable will not suggest using it.
void addLiveIn(MCRegister Reg, Register vreg=Register())
addLiveIn - Add the specified register as a live-in.
LLVM_ABI void replaceRegWith(Register FromReg, Register ToReg)
replaceRegWith - Replace all instances of FromReg with ToReg in the machine function.
LLVM_ABI bool isPhysRegModified(MCRegister PhysReg, bool SkipNoReturnDef=false) const
Return true if the specified register is modified in this function.
LLVM_ABI bool isPhysRegUsed(MCRegister PhysReg, bool SkipRegMaskTest=false) const
Return true if the specified register is modified or read in this function.
Represent a mutable reference to an array (0 or more elements consecutively in memory),...
PrologEpilogSGPRSpillBuilder(Register Reg, const PrologEpilogSGPRSaveRestoreInfo SI, MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL, const SIInstrInfo *TII, const SIRegisterInfo &TRI, LiveRegUnits &LiveUnits, Register FrameReg, bool IsFramePtrPrologSpill=false)
Wrapper class representing virtual and physical registers.
MCRegister asMCReg() const
Utility to check-convert this value to a MCRegister.
void determinePrologEpilogSGPRSaves(MachineFunction &MF, BitVector &SavedRegs, bool NeedExecCopyReservedReg) const
MachineInstr * buildCFIForSGPRToVMEMSpill(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister SGPR, int64_t Offset) const
Create a CFI index describing a spill of a SGPR to VMEM and build a MachineInstr around it.
void buildCFIForSRegToSRegSpill(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister Reg, MCRegister CopyReg) const
void emitCSRSpillRestores(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, LiveRegUnits &LiveUnits, Register FrameReg, Register FramePtrRegScratchCopy) const
StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const override
getFrameIndexReference - This method should return the base register and offset used to reference a f...
void processFunctionBeforeFrameFinalized(MachineFunction &MF, RegScavenger *RS=nullptr) const override
processFunctionBeforeFrameFinalized - This method is called immediately before the specified function...
bool mayReserveScratchForCWSR(const MachineFunction &MF) const
bool allocateScavengingFrameIndexesNearIncomingSP(const MachineFunction &MF) const override
Control the placement of special register scavenging spill slots when allocating a stack frame.
bool requiresStackPointerReference(const MachineFunction &MF) const
void emitEntryFunctionPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const
void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const override
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
bool hasFPImpl(const MachineFunction &MF) const override
bool assignCalleeSavedSpillSlotsImpl(MachineFunction &MF, const TargetRegisterInfo *TRI, std::vector< CalleeSavedInfo > &CSI) const
MachineInstr * buildCFIForVRegToVRegSpill(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, const MCRegister Reg, const MCRegister RegCopy) const
Create a CFI index describing a spill of the VGPR/AGPR Reg to another VGPR/AGPR RegCopy and build a M...
bool spillCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, ArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
spillCalleeSavedRegisters - Issues instruction(s) to spill all callee saved registers and returns tru...
MachineInstr * buildCFIForVGPRToVMEMSpill(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister VGPR, int64_t Offset) const
Create a CFI index describing a spill of a VGPR to VMEM and build a MachineInstr around it.
MachineInstr * buildCFIForSGPRToVGPRSpill(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, const MCRegister SGPR, const MCRegister VGPR, const int Lane) const
Create a CFI index describing a spill of an SGPR to a single lane of a VGPR and build a MachineInstr ...
bool assignCalleeSavedSpillSlots(MachineFunction &MF, const TargetRegisterInfo *TRI, std::vector< CalleeSavedInfo > &CSI) const override
assignCalleeSavedSpillSlots - Allows target to override spill slot assignment logic.
void determineCalleeSavesSGPR(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override
MachineInstr * buildCFIForSameValue(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister Reg) const
MachineInstr * buildCFI(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, const MCCFIInstruction &CFIInst, MachineInstr::MIFlag flag=MachineInstr::FrameSetup) const
Create a CFI index for CFIInst and build a MachineInstr around it.
void emitCSRSpillStores(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, LiveRegUnits &LiveUnits, Register FrameReg, Register FramePtrRegScratchCopy, const bool NeedsFrameMoves) const
void processFunctionBeforeFrameIndicesReplaced(MachineFunction &MF, RegScavenger *RS=nullptr) const override
processFunctionBeforeFrameIndicesReplaced - This method is called immediately before MO_FrameIndex op...
bool isSupportedStackID(TargetStackID::Value ID) const override
void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const override
emitProlog/emitEpilog - These methods insert prolog and epilog code into the function.
MachineBasicBlock::iterator eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB, MachineBasicBlock::iterator MI) const override
This method is called during prolog/epilog code insertion to eliminate call frame setup and destroy p...
bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, MutableArrayRef< CalleeSavedInfo > CSI, const TargetRegisterInfo *TRI) const override
restoreCalleeSavedRegisters - Issues instruction(s) to restore all callee saved registers and returns...
This class keeps track of the SPI_SP_INPUT_ADDR config register, which tells the hardware which inter...
ArrayRef< PrologEpilogSGPRSpill > getPrologEpilogSGPRSpills() const
const WWMSpillsMap & getWWMSpills() const
void getAllScratchSGPRCopyDstRegs(SmallVectorImpl< Register > &Regs) const
ArrayRef< MCPhysReg > getAGPRSpillVGPRs() const
void setSGPRForEXECCopy(Register Reg)
void removePrologEpilogSGPRSpillEntry(Register Reg)
unsigned getNumPreloadedSGPRs() const
void shiftWwmVGPRsToLowestRange(MachineFunction &MF, SmallVectorImpl< Register > &WWMVGPRs, BitVector &SavedVGPRs)
void setMaskForVGPRBlockOps(Register RegisterBlock, uint32_t Mask)
GCNUserSGPRUsageInfo & getUserSGPRInfo()
void allocateWWMSpill(MachineFunction &MF, Register VGPR, uint64_t Size=4, Align Alignment=Align(4))
Register getLongBranchReservedReg() const
unsigned getDynamicVGPRBlockSize() const
bool hasSpilledVGPRs() const
void setVGPRToAGPRSpillDead(int FrameIndex)
bool isWholeWaveFunction() const
Register getStackPtrOffsetReg() const
bool isStackRealigned() const
Register getScratchRSrcReg() const
Returns the physical register reserved for use as the resource descriptor for scratch accesses.
ArrayRef< MCPhysReg > getVGPRSpillAGPRs() const
int getScavengeFI(MachineFrameInfo &MFI, const SIRegisterInfo &TRI)
uint32_t getMaskForVGPRBlockOps(Register RegisterBlock) const
bool hasMaskForVGPRBlockOps(Register RegisterBlock) const
bool hasPrologEpilogSGPRSpillEntry(Register Reg) const
Register getGITPtrLoReg(const MachineFunction &MF) const
void setVGPRForAGPRCopy(Register NewVGPRForAGPRCopy)
bool allocateVGPRSpillToAGPR(MachineFunction &MF, int FI, bool isAGPRtoVGPR)
Reserve AGPRs or VGPRs to support spilling for FrameIndex FI.
bool hasNoWWMPoolSGPRSpillFallback() const
void splitWWMSpillRegisters(MachineFunction &MF, SmallVectorImpl< std::pair< Register, int > > &CalleeSavedRegs, SmallVectorImpl< std::pair< Register, int > > &ScratchRegs) const
Register getSGPRForEXECCopy() const
bool isWWMReservedRegister(Register Reg) const
ArrayRef< SIRegisterInfo::SpilledReg > getSGPRSpillToPhysicalVGPRLanes(int FrameIndex) const
Register getVGPRForAGPRCopy() const
bool allocateSGPRSpillToVGPRLane(MachineFunction &MF, int FI, bool SpillToPhysVGPRLane=false, bool IsPrologEpilog=false)
Register getFrameOffsetReg() const
void setLongBranchReservedReg(Register Reg)
void setHasSpilledVGPRs(bool Spill=true)
bool removeDeadFrameIndices(MachineFrameInfo &MFI, bool ResetSGPRSpillStackIDs)
If ResetSGPRSpillStackIDs is true, reset the stack ID from sgpr-spill to the default stack.
void setScratchReservedForDynamicVGPRs(unsigned SizeInBytes)
MCRegister getPreloadedReg(AMDGPUFunctionArgInfo::PreloadedValue Value) const
bool checkIndexInPrologEpilogSGPRSpills(int FI) const
const ReservedRegSet & getWWMReservedRegs() const
Register getImplicitBufferPtrUserSGPR() const
const PrologEpilogSGPRSaveRestoreInfo & getPrologEpilogSGPRSaveRestoreInfo(Register Reg) const
void setIsStackRealigned(bool Realigned=true)
unsigned getGITPtrHigh() const
bool hasSpilledSGPRs() const
void addToPrologEpilogSGPRSpills(Register Reg, PrologEpilogSGPRSaveRestoreInfo SI)
Register getScratchSGPRCopyDstReg(Register Reg) const
void setScratchRSrcReg(Register Reg)
void reserveWWMRegister(Register Reg)
Register getFrameRegister(const MachineFunction &MF) const override
Represents a location in source code.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
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 test(unsigned Idx) const
StackOffset holds a fixed and a scalable offset in bytes.
int64_t getFixed() const
Returns the fixed component of the stack.
Represent a constant reference to a string, i.e.
bool hasFP(const MachineFunction &MF) const
hasFP - Return true if the specified function should have a dedicated frame pointer register.
virtual bool hasReservedCallFrame(const MachineFunction &MF) const
hasReservedCallFrame - Under normal circumstances, when a frame pointer is not required,...
virtual void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, RegScavenger *RS=nullptr) const
This method determines which of the registers reported by TargetRegisterInfo::getCalleeSavedRegs() sh...
void restoreCalleeSavedRegister(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const CalleeSavedInfo &CS, const TargetInstrInfo *TII, const TargetRegisterInfo *TRI) const
Align getStackAlign() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
This class implements an extremely fast bulk output stream that can only output to a stream.
A raw_ostream that writes to an SmallVector or SmallString.
StringRef str() const
Return a StringRef for the vector contents.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ CONSTANT_ADDRESS
Address space for constant memory (VTX2).
@ PRIVATE_ADDRESS
Address space for private memory.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
unsigned getVGPRAllocGranule(const MCSubtargetInfo &STI, unsigned DynamicVGPRBlockSize, std::optional< bool > EnableWavefrontSize32)
uint64_t convertSMRDOffsetUnits(const MCSubtargetInfo &ST, uint64_t ByteOffset)
Convert ByteOffset to dwords if the subtarget uses dword SMRD immediate offsets.
LLVM_READNONE constexpr bool isEntryFunctionCC(CallingConv::ID CC)
bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi)
LLVM_READNONE constexpr bool isCompute(CallingConv::ID CC)
LLVM_READNONE constexpr bool isChainCC(CallingConv::ID CC)
@ AMDGPU_CS
Used for Mesa/AMDPAL compute shaders.
@ ScalablePredicateVector
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
UnaryFunction for_each(R &&Range, UnaryFunction F)
Provide wrappers to std::for_each which take ranges instead of having to pass begin/end explicitly.
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.
constexpr RegState getKillRegState(bool B)
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
constexpr T alignDown(U Value, V Align, W Skew=0)
Returns the largest unsigned integer less than or equal to Value and is Skew mod Align.
void clearDebugInfoForSpillFIs(MachineFrameInfo &MFI, MachineBasicBlock &MBB, const BitVector &SpillFIs)
Replace frame index operands with null registers in debug value instructions for the specified spill ...
int countl_zero(T Val)
Count number of 0's from the most significant bit to the least stopping at the first 1.
auto reverse(ContainerTy &&C)
void sort(IteratorTy Start, IteratorTy End)
constexpr uint32_t Hi_32(uint64_t Value)
Return the high 32 bits of a 64 bit value.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
auto make_first_range(ContainerTy &&c)
Given a container of pairs, return a range over the first elements.
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
bool is_sorted(R &&Range, Compare C)
Wrapper function around std::is_sorted to check if elements in a range R are sorted with respect to a...
constexpr bool isUInt(uint64_t x)
Checks if an unsigned integer fits into the given bit width.
constexpr uint32_t Lo_32(uint64_t Value)
Return the low 32 bits of a 64 bit value.
@ And
Bitwise or logical AND of integers.
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
auto count_if(R &&Range, UnaryPredicate P)
Wrapper function around std::count_if to count the number of times an element satisfying a given pred...
unsigned encodeULEB128(uint64_t Value, raw_ostream &OS, unsigned PadTo=0)
Utility function to encode a ULEB128 value to an output stream.
LLVM_ABI Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
MCRegisterClass TargetRegisterClass
@ PRIVATE_SEGMENT_WAVE_BYTE_OFFSET
This struct is a compact representation of a valid (non-zero power of two) alignment.
constexpr uint64_t value() const
This is a hole in the type system and should not be abused.
This class contains a discriminated union of information about pointers in memory operands,...
static LLVM_ABI MachinePointerInfo getFixedStack(MachineFunction &MF, int FI, int64_t Offset=0)
Return a MachinePointerInfo record that refers to the specified FrameIndex.