1 //===-- SILowerSGPRSPills.cpp ---------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // Handle SGPR spills. This pass takes the place of PrologEpilogInserter for all 10 // SGPR spills, so must insert CSR SGPR spills as well as expand them. 11 // 12 // This pass must never create new SGPR virtual registers. 13 // 14 // FIXME: Must stop RegScavenger spills in later passes. 15 // 16 //===----------------------------------------------------------------------===// 17 18 #include "AMDGPU.h" 19 #include "AMDGPUSubtarget.h" 20 #include "SIInstrInfo.h" 21 #include "SIMachineFunctionInfo.h" 22 #include "llvm/CodeGen/LiveIntervals.h" 23 #include "llvm/CodeGen/MachineBasicBlock.h" 24 #include "llvm/CodeGen/MachineFunction.h" 25 #include "llvm/CodeGen/MachineFunctionPass.h" 26 #include "llvm/CodeGen/MachineInstr.h" 27 #include "llvm/CodeGen/MachineInstrBuilder.h" 28 #include "llvm/CodeGen/MachineOperand.h" 29 #include "llvm/CodeGen/VirtRegMap.h" 30 #include "llvm/InitializePasses.h" 31 #include "llvm/Target/TargetMachine.h" 32 33 using namespace llvm; 34 35 #define DEBUG_TYPE "si-lower-sgpr-spills" 36 37 using MBBVector = SmallVector<MachineBasicBlock *, 4>; 38 39 namespace { 40 41 static cl::opt<bool> EnableSpillVGPRToAGPR( 42 "amdgpu-spill-vgpr-to-agpr", 43 cl::desc("Enable spilling VGPRs to AGPRs"), 44 cl::ReallyHidden, 45 cl::init(true)); 46 47 class SILowerSGPRSpills : public MachineFunctionPass { 48 private: 49 const SIRegisterInfo *TRI = nullptr; 50 const SIInstrInfo *TII = nullptr; 51 VirtRegMap *VRM = nullptr; 52 LiveIntervals *LIS = nullptr; 53 54 // Save and Restore blocks of the current function. Typically there is a 55 // single save block, unless Windows EH funclets are involved. 56 MBBVector SaveBlocks; 57 MBBVector RestoreBlocks; 58 59 public: 60 static char ID; 61 62 SILowerSGPRSpills() : MachineFunctionPass(ID) {} 63 64 void calculateSaveRestoreBlocks(MachineFunction &MF); 65 bool spillCalleeSavedRegs(MachineFunction &MF); 66 67 bool runOnMachineFunction(MachineFunction &MF) override; 68 69 void getAnalysisUsage(AnalysisUsage &AU) const override { 70 AU.setPreservesAll(); 71 MachineFunctionPass::getAnalysisUsage(AU); 72 } 73 }; 74 75 } // end anonymous namespace 76 77 char SILowerSGPRSpills::ID = 0; 78 79 INITIALIZE_PASS_BEGIN(SILowerSGPRSpills, DEBUG_TYPE, 80 "SI lower SGPR spill instructions", false, false) 81 INITIALIZE_PASS_DEPENDENCY(VirtRegMap) 82 INITIALIZE_PASS_END(SILowerSGPRSpills, DEBUG_TYPE, 83 "SI lower SGPR spill instructions", false, false) 84 85 char &llvm::SILowerSGPRSpillsID = SILowerSGPRSpills::ID; 86 87 /// Insert restore code for the callee-saved registers used in the function. 88 static void insertCSRSaves(MachineBasicBlock &SaveBlock, 89 ArrayRef<CalleeSavedInfo> CSI, 90 LiveIntervals *LIS) { 91 MachineFunction &MF = *SaveBlock.getParent(); 92 const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo(); 93 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering(); 94 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); 95 96 MachineBasicBlock::iterator I = SaveBlock.begin(); 97 if (!TFI->spillCalleeSavedRegisters(SaveBlock, I, CSI, TRI)) { 98 for (const CalleeSavedInfo &CS : CSI) { 99 // Insert the spill to the stack frame. 100 unsigned Reg = CS.getReg(); 101 102 MachineInstrSpan MIS(I, &SaveBlock); 103 const TargetRegisterClass *RC = 104 TRI->getMinimalPhysRegClass(Reg, MVT::i32); 105 106 TII.storeRegToStackSlot(SaveBlock, I, Reg, true, CS.getFrameIdx(), RC, 107 TRI); 108 109 if (LIS) { 110 assert(std::distance(MIS.begin(), I) == 1); 111 MachineInstr &Inst = *std::prev(I); 112 113 LIS->InsertMachineInstrInMaps(Inst); 114 LIS->removeAllRegUnitsForPhysReg(Reg); 115 } 116 } 117 } 118 } 119 120 /// Insert restore code for the callee-saved registers used in the function. 121 static void insertCSRRestores(MachineBasicBlock &RestoreBlock, 122 MutableArrayRef<CalleeSavedInfo> CSI, 123 LiveIntervals *LIS) { 124 MachineFunction &MF = *RestoreBlock.getParent(); 125 const TargetInstrInfo &TII = *MF.getSubtarget().getInstrInfo(); 126 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering(); 127 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); 128 129 // Restore all registers immediately before the return and any 130 // terminators that precede it. 131 MachineBasicBlock::iterator I = RestoreBlock.getFirstTerminator(); 132 133 // FIXME: Just emit the readlane/writelane directly 134 if (!TFI->restoreCalleeSavedRegisters(RestoreBlock, I, CSI, TRI)) { 135 for (const CalleeSavedInfo &CI : reverse(CSI)) { 136 unsigned Reg = CI.getReg(); 137 const TargetRegisterClass *RC = 138 TRI->getMinimalPhysRegClass(Reg, MVT::i32); 139 140 TII.loadRegFromStackSlot(RestoreBlock, I, Reg, CI.getFrameIdx(), RC, TRI); 141 assert(I != RestoreBlock.begin() && 142 "loadRegFromStackSlot didn't insert any code!"); 143 // Insert in reverse order. loadRegFromStackSlot can insert 144 // multiple instructions. 145 146 if (LIS) { 147 MachineInstr &Inst = *std::prev(I); 148 LIS->InsertMachineInstrInMaps(Inst); 149 LIS->removeAllRegUnitsForPhysReg(Reg); 150 } 151 } 152 } 153 } 154 155 /// Compute the sets of entry and return blocks for saving and restoring 156 /// callee-saved registers, and placing prolog and epilog code. 157 void SILowerSGPRSpills::calculateSaveRestoreBlocks(MachineFunction &MF) { 158 const MachineFrameInfo &MFI = MF.getFrameInfo(); 159 160 // Even when we do not change any CSR, we still want to insert the 161 // prologue and epilogue of the function. 162 // So set the save points for those. 163 164 // Use the points found by shrink-wrapping, if any. 165 if (MFI.getSavePoint()) { 166 SaveBlocks.push_back(MFI.getSavePoint()); 167 assert(MFI.getRestorePoint() && "Both restore and save must be set"); 168 MachineBasicBlock *RestoreBlock = MFI.getRestorePoint(); 169 // If RestoreBlock does not have any successor and is not a return block 170 // then the end point is unreachable and we do not need to insert any 171 // epilogue. 172 if (!RestoreBlock->succ_empty() || RestoreBlock->isReturnBlock()) 173 RestoreBlocks.push_back(RestoreBlock); 174 return; 175 } 176 177 // Save refs to entry and return blocks. 178 SaveBlocks.push_back(&MF.front()); 179 for (MachineBasicBlock &MBB : MF) { 180 if (MBB.isEHFuncletEntry()) 181 SaveBlocks.push_back(&MBB); 182 if (MBB.isReturnBlock()) 183 RestoreBlocks.push_back(&MBB); 184 } 185 } 186 187 bool SILowerSGPRSpills::spillCalleeSavedRegs(MachineFunction &MF) { 188 MachineRegisterInfo &MRI = MF.getRegInfo(); 189 const Function &F = MF.getFunction(); 190 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 191 const SIFrameLowering *TFI = ST.getFrameLowering(); 192 MachineFrameInfo &MFI = MF.getFrameInfo(); 193 RegScavenger *RS = nullptr; 194 195 // Determine which of the registers in the callee save list should be saved. 196 BitVector SavedRegs; 197 TFI->determineCalleeSavesSGPR(MF, SavedRegs, RS); 198 199 // Add the code to save and restore the callee saved registers. 200 if (!F.hasFnAttribute(Attribute::Naked)) { 201 // FIXME: This is a lie. The CalleeSavedInfo is incomplete, but this is 202 // necessary for verifier liveness checks. 203 MFI.setCalleeSavedInfoValid(true); 204 205 std::vector<CalleeSavedInfo> CSI; 206 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs(); 207 208 for (unsigned I = 0; CSRegs[I]; ++I) { 209 unsigned Reg = CSRegs[I]; 210 if (SavedRegs.test(Reg)) { 211 const TargetRegisterClass *RC = 212 TRI->getMinimalPhysRegClass(Reg, MVT::i32); 213 int JunkFI = MFI.CreateStackObject(TRI->getSpillSize(*RC), 214 TRI->getSpillAlignment(*RC), 215 true); 216 217 CSI.push_back(CalleeSavedInfo(Reg, JunkFI)); 218 } 219 } 220 221 if (!CSI.empty()) { 222 for (MachineBasicBlock *SaveBlock : SaveBlocks) 223 insertCSRSaves(*SaveBlock, CSI, LIS); 224 225 for (MachineBasicBlock *RestoreBlock : RestoreBlocks) 226 insertCSRRestores(*RestoreBlock, CSI, LIS); 227 return true; 228 } 229 } 230 231 return false; 232 } 233 234 static ArrayRef<MCPhysReg> getAllVGPR32(const GCNSubtarget &ST, 235 const MachineFunction &MF) { 236 return makeArrayRef(AMDGPU::VGPR_32RegClass.begin(), ST.getMaxNumVGPRs(MF)); 237 } 238 239 // Find lowest available VGPR and use it as VGPR reserved for SGPR spills. 240 static bool lowerShiftReservedVGPR(MachineFunction &MF, 241 const GCNSubtarget &ST) { 242 MachineRegisterInfo &MRI = MF.getRegInfo(); 243 MachineFrameInfo &FrameInfo = MF.getFrameInfo(); 244 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 245 Register LowestAvailableVGPR, ReservedVGPR; 246 ArrayRef<MCPhysReg> AllVGPR32s = getAllVGPR32(ST, MF); 247 for (MCPhysReg Reg : AllVGPR32s) { 248 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) { 249 LowestAvailableVGPR = Reg; 250 break; 251 } 252 } 253 254 if (!LowestAvailableVGPR) 255 return false; 256 257 ReservedVGPR = FuncInfo->VGPRReservedForSGPRSpill; 258 const MCPhysReg *CSRegs = MF.getRegInfo().getCalleeSavedRegs(); 259 int i = 0; 260 261 for (MachineBasicBlock &MBB : MF) { 262 for (auto Reg : FuncInfo->getSGPRSpillVGPRs()) { 263 if (Reg.VGPR == ReservedVGPR) { 264 MBB.removeLiveIn(ReservedVGPR); 265 MBB.addLiveIn(LowestAvailableVGPR); 266 Optional<int> FI; 267 if (FuncInfo->isCalleeSavedReg(CSRegs, LowestAvailableVGPR)) 268 FI = FrameInfo.CreateSpillStackObject(4, Align(4)); 269 270 FuncInfo->setSGPRSpillVGPRs(LowestAvailableVGPR, FI, i); 271 } 272 ++i; 273 } 274 MBB.sortUniqueLiveIns(); 275 } 276 277 return true; 278 } 279 280 bool SILowerSGPRSpills::runOnMachineFunction(MachineFunction &MF) { 281 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 282 TII = ST.getInstrInfo(); 283 TRI = &TII->getRegisterInfo(); 284 285 VRM = getAnalysisIfAvailable<VirtRegMap>(); 286 287 assert(SaveBlocks.empty() && RestoreBlocks.empty()); 288 289 // First, expose any CSR SGPR spills. This is mostly the same as what PEI 290 // does, but somewhat simpler. 291 calculateSaveRestoreBlocks(MF); 292 bool HasCSRs = spillCalleeSavedRegs(MF); 293 294 MachineFrameInfo &MFI = MF.getFrameInfo(); 295 if (!MFI.hasStackObjects() && !HasCSRs) { 296 SaveBlocks.clear(); 297 RestoreBlocks.clear(); 298 return false; 299 } 300 301 MachineRegisterInfo &MRI = MF.getRegInfo(); 302 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 303 const bool SpillVGPRToAGPR = ST.hasMAIInsts() && FuncInfo->hasSpilledVGPRs() 304 && EnableSpillVGPRToAGPR; 305 306 bool MadeChange = false; 307 308 const bool SpillToAGPR = EnableSpillVGPRToAGPR && ST.hasMAIInsts(); 309 310 // TODO: CSR VGPRs will never be spilled to AGPRs. These can probably be 311 // handled as SpilledToReg in regular PrologEpilogInserter. 312 if ((TRI->spillSGPRToVGPR() && (HasCSRs || FuncInfo->hasSpilledSGPRs())) || 313 SpillVGPRToAGPR) { 314 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs 315 // are spilled to VGPRs, in which case we can eliminate the stack usage. 316 // 317 // This operates under the assumption that only other SGPR spills are users 318 // of the frame index. 319 320 lowerShiftReservedVGPR(MF, ST); 321 322 for (MachineBasicBlock &MBB : MF) { 323 MachineBasicBlock::iterator Next; 324 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) { 325 MachineInstr &MI = *I; 326 Next = std::next(I); 327 328 if (SpillToAGPR && TII->isVGPRSpill(MI)) { 329 // Try to eliminate stack used by VGPR spills before frame 330 // finalization. 331 unsigned FIOp = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 332 AMDGPU::OpName::vaddr); 333 int FI = MI.getOperand(FIOp).getIndex(); 334 Register VReg = 335 TII->getNamedOperand(MI, AMDGPU::OpName::vdata)->getReg(); 336 if (FuncInfo->allocateVGPRSpillToAGPR(MF, FI, 337 TRI->isAGPR(MRI, VReg))) { 338 TRI->eliminateFrameIndex(MI, 0, FIOp, nullptr); 339 continue; 340 } 341 } 342 343 if (!TII->isSGPRSpill(MI)) 344 continue; 345 346 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex(); 347 assert(MFI.getStackID(FI) == TargetStackID::SGPRSpill); 348 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) { 349 bool Spilled = TRI->eliminateSGPRToVGPRSpillFrameIndex(MI, FI, nullptr); 350 (void)Spilled; 351 assert(Spilled && "failed to spill SGPR to VGPR when allocated"); 352 } 353 } 354 } 355 356 for (MachineBasicBlock &MBB : MF) { 357 for (auto SSpill : FuncInfo->getSGPRSpillVGPRs()) 358 MBB.addLiveIn(SSpill.VGPR); 359 360 for (MCPhysReg Reg : FuncInfo->getVGPRSpillAGPRs()) 361 MBB.addLiveIn(Reg); 362 363 for (MCPhysReg Reg : FuncInfo->getAGPRSpillVGPRs()) 364 MBB.addLiveIn(Reg); 365 366 MBB.sortUniqueLiveIns(); 367 } 368 369 MadeChange = true; 370 } else if (FuncInfo->VGPRReservedForSGPRSpill) { 371 FuncInfo->removeVGPRForSGPRSpill(FuncInfo->VGPRReservedForSGPRSpill, MF); 372 } 373 374 SaveBlocks.clear(); 375 RestoreBlocks.clear(); 376 377 return MadeChange; 378 } 379