1 //===----------------------- SIFrameLowering.cpp --------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //==-----------------------------------------------------------------------===// 9 10 #include "SIFrameLowering.h" 11 #include "AMDGPUSubtarget.h" 12 #include "SIInstrInfo.h" 13 #include "SIMachineFunctionInfo.h" 14 #include "SIRegisterInfo.h" 15 16 #include "llvm/CodeGen/MachineFrameInfo.h" 17 #include "llvm/CodeGen/MachineFunction.h" 18 #include "llvm/CodeGen/MachineInstrBuilder.h" 19 #include "llvm/CodeGen/RegisterScavenging.h" 20 21 using namespace llvm; 22 23 24 static ArrayRef<MCPhysReg> getAllSGPR128(const SISubtarget &ST, 25 const MachineFunction &MF) { 26 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(), 27 ST.getMaxNumSGPRs(MF) / 4); 28 } 29 30 static ArrayRef<MCPhysReg> getAllSGPRs(const SISubtarget &ST, 31 const MachineFunction &MF) { 32 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(), 33 ST.getMaxNumSGPRs(MF)); 34 } 35 36 void SIFrameLowering::emitFlatScratchInit(const SISubtarget &ST, 37 MachineFunction &MF, 38 MachineBasicBlock &MBB) const { 39 const SIInstrInfo *TII = ST.getInstrInfo(); 40 const SIRegisterInfo* TRI = &TII->getRegisterInfo(); 41 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 42 43 // We don't need this if we only have spills since there is no user facing 44 // scratch. 45 46 // TODO: If we know we don't have flat instructions earlier, we can omit 47 // this from the input registers. 48 // 49 // TODO: We only need to know if we access scratch space through a flat 50 // pointer. Because we only detect if flat instructions are used at all, 51 // this will be used more often than necessary on VI. 52 53 // Debug location must be unknown since the first debug location is used to 54 // determine the end of the prologue. 55 DebugLoc DL; 56 MachineBasicBlock::iterator I = MBB.begin(); 57 58 unsigned FlatScratchInitReg 59 = MFI->getPreloadedReg(AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT); 60 61 MachineRegisterInfo &MRI = MF.getRegInfo(); 62 MRI.addLiveIn(FlatScratchInitReg); 63 MBB.addLiveIn(FlatScratchInitReg); 64 65 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0); 66 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1); 67 68 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg(); 69 70 // Do a 64-bit pointer add. 71 if (ST.flatScratchIsPointer()) { 72 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), AMDGPU::FLAT_SCR_LO) 73 .addReg(FlatScrInitLo) 74 .addReg(ScratchWaveOffsetReg); 75 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), AMDGPU::FLAT_SCR_HI) 76 .addReg(FlatScrInitHi) 77 .addImm(0); 78 79 return; 80 } 81 82 // Copy the size in bytes. 83 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO) 84 .addReg(FlatScrInitHi, RegState::Kill); 85 86 // Add wave offset in bytes to private base offset. 87 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init. 88 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo) 89 .addReg(FlatScrInitLo) 90 .addReg(ScratchWaveOffsetReg); 91 92 // Convert offset to 256-byte units. 93 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI) 94 .addReg(FlatScrInitLo, RegState::Kill) 95 .addImm(8); 96 } 97 98 unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg( 99 const SISubtarget &ST, 100 const SIInstrInfo *TII, 101 const SIRegisterInfo *TRI, 102 SIMachineFunctionInfo *MFI, 103 MachineFunction &MF) const { 104 MachineRegisterInfo &MRI = MF.getRegInfo(); 105 106 // We need to insert initialization of the scratch resource descriptor. 107 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg(); 108 if (ScratchRsrcReg == AMDGPU::NoRegister || 109 !MRI.isPhysRegUsed(ScratchRsrcReg)) 110 return AMDGPU::NoRegister; 111 112 if (ST.hasSGPRInitBug() || 113 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF)) 114 return ScratchRsrcReg; 115 116 // We reserved the last registers for this. Shift it down to the end of those 117 // which were actually used. 118 // 119 // FIXME: It might be safer to use a pseudoregister before replacement. 120 121 // FIXME: We should be able to eliminate unused input registers. We only 122 // cannot do this for the resources required for scratch access. For now we 123 // skip over user SGPRs and may leave unused holes. 124 125 // We find the resource first because it has an alignment requirement. 126 127 unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4; 128 ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF); 129 AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded)); 130 131 // Skip the last N reserved elements because they should have already been 132 // reserved for VCC etc. 133 for (MCPhysReg Reg : AllSGPR128s) { 134 // Pick the first unallocated one. Make sure we don't clobber the other 135 // reserved input we needed. 136 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) { 137 MRI.replaceRegWith(ScratchRsrcReg, Reg); 138 MFI->setScratchRSrcReg(Reg); 139 return Reg; 140 } 141 } 142 143 return ScratchRsrcReg; 144 } 145 146 // Shift down registers reserved for the scratch wave offset and stack pointer 147 // SGPRs. 148 std::pair<unsigned, unsigned> 149 SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg( 150 const SISubtarget &ST, 151 const SIInstrInfo *TII, 152 const SIRegisterInfo *TRI, 153 SIMachineFunctionInfo *MFI, 154 MachineFunction &MF) const { 155 MachineRegisterInfo &MRI = MF.getRegInfo(); 156 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg(); 157 158 // No replacement necessary. 159 if (ScratchWaveOffsetReg == AMDGPU::NoRegister || 160 !MRI.isPhysRegUsed(ScratchWaveOffsetReg)) { 161 assert(MFI->getStackPtrOffsetReg() == AMDGPU::SP_REG); 162 return std::make_pair(AMDGPU::NoRegister, AMDGPU::NoRegister); 163 } 164 165 unsigned SPReg = MFI->getStackPtrOffsetReg(); 166 if (ST.hasSGPRInitBug()) 167 return std::make_pair(ScratchWaveOffsetReg, SPReg); 168 169 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs(); 170 171 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF); 172 if (NumPreloaded > AllSGPRs.size()) 173 return std::make_pair(ScratchWaveOffsetReg, SPReg); 174 175 AllSGPRs = AllSGPRs.slice(NumPreloaded); 176 177 // We need to drop register from the end of the list that we cannot use 178 // for the scratch wave offset. 179 // + 2 s102 and s103 do not exist on VI. 180 // + 2 for vcc 181 // + 2 for xnack_mask 182 // + 2 for flat_scratch 183 // + 4 for registers reserved for scratch resource register 184 // + 1 for register reserved for scratch wave offset. (By exluding this 185 // register from the list to consider, it means that when this 186 // register is being used for the scratch wave offset and there 187 // are no other free SGPRs, then the value will stay in this register. 188 // + 1 if stack pointer is used. 189 // ---- 190 // 13 (+1) 191 unsigned ReservedRegCount = 13; 192 193 if (AllSGPRs.size() < ReservedRegCount) 194 return std::make_pair(ScratchWaveOffsetReg, SPReg); 195 196 bool HandledScratchWaveOffsetReg = 197 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF); 198 199 for (MCPhysReg Reg : AllSGPRs.drop_back(ReservedRegCount)) { 200 // Pick the first unallocated SGPR. Be careful not to pick an alias of the 201 // scratch descriptor, since we haven’t added its uses yet. 202 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) { 203 if (!HandledScratchWaveOffsetReg) { 204 HandledScratchWaveOffsetReg = true; 205 206 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg); 207 MFI->setScratchWaveOffsetReg(Reg); 208 ScratchWaveOffsetReg = Reg; 209 break; 210 } 211 } 212 } 213 214 return std::make_pair(ScratchWaveOffsetReg, SPReg); 215 } 216 217 void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF, 218 MachineBasicBlock &MBB) const { 219 // Emit debugger prologue if "amdgpu-debugger-emit-prologue" attribute was 220 // specified. 221 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 222 auto AMDGPUASI = ST.getAMDGPUAS(); 223 if (ST.debuggerEmitPrologue()) 224 emitDebuggerPrologue(MF, MBB); 225 226 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); 227 228 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 229 230 // If we only have SGPR spills, we won't actually be using scratch memory 231 // since these spill to VGPRs. 232 // 233 // FIXME: We should be cleaning up these unused SGPR spill frame indices 234 // somewhere. 235 236 const SIInstrInfo *TII = ST.getInstrInfo(); 237 const SIRegisterInfo *TRI = &TII->getRegisterInfo(); 238 MachineRegisterInfo &MRI = MF.getRegInfo(); 239 240 // We need to do the replacement of the private segment buffer and wave offset 241 // register even if there are no stack objects. There could be stores to undef 242 // or a constant without an associated object. 243 244 // FIXME: We still have implicit uses on SGPR spill instructions in case they 245 // need to spill to vector memory. It's likely that will not happen, but at 246 // this point it appears we need the setup. This part of the prolog should be 247 // emitted after frame indices are eliminated. 248 249 if (MFI->hasFlatScratchInit()) 250 emitFlatScratchInit(ST, MF, MBB); 251 252 unsigned SPReg = MFI->getStackPtrOffsetReg(); 253 if (SPReg != AMDGPU::SP_REG) { 254 assert(MRI.isReserved(SPReg) && "SPReg used but not reserved"); 255 256 DebugLoc DL; 257 const MachineFrameInfo &FrameInfo = MF.getFrameInfo(); 258 int64_t StackSize = FrameInfo.getStackSize(); 259 260 if (StackSize == 0) { 261 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::COPY), SPReg) 262 .addReg(MFI->getScratchWaveOffsetReg()); 263 } else { 264 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::S_ADD_U32), SPReg) 265 .addReg(MFI->getScratchWaveOffsetReg()) 266 .addImm(StackSize * ST.getWavefrontSize()); 267 } 268 } 269 270 unsigned ScratchRsrcReg 271 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF); 272 273 unsigned ScratchWaveOffsetReg; 274 std::tie(ScratchWaveOffsetReg, SPReg) 275 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF); 276 277 // It's possible to have uses of only ScratchWaveOffsetReg without 278 // ScratchRsrcReg if it's only used for the initialization of flat_scratch, 279 // but the inverse is not true. 280 if (ScratchWaveOffsetReg == AMDGPU::NoRegister) { 281 assert(ScratchRsrcReg == AMDGPU::NoRegister); 282 return; 283 } 284 285 // We need to insert initialization of the scratch resource descriptor. 286 unsigned PreloadedScratchWaveOffsetReg = MFI->getPreloadedReg( 287 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET); 288 289 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister; 290 if (ST.isAmdCodeObjectV2(MF)) { 291 PreloadedPrivateBufferReg = MFI->getPreloadedReg( 292 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER); 293 } 294 295 bool OffsetRegUsed = MRI.isPhysRegUsed(ScratchWaveOffsetReg); 296 bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister && 297 MRI.isPhysRegUsed(ScratchRsrcReg); 298 299 // We added live-ins during argument lowering, but since they were not used 300 // they were deleted. We're adding the uses now, so add them back. 301 if (OffsetRegUsed) { 302 assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister && 303 "scratch wave offset input is required"); 304 MRI.addLiveIn(PreloadedScratchWaveOffsetReg); 305 MBB.addLiveIn(PreloadedScratchWaveOffsetReg); 306 } 307 308 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) { 309 assert(ST.isAmdCodeObjectV2(MF) || ST.isMesaGfxShader(MF)); 310 MRI.addLiveIn(PreloadedPrivateBufferReg); 311 MBB.addLiveIn(PreloadedPrivateBufferReg); 312 } 313 314 // Make the register selected live throughout the function. 315 for (MachineBasicBlock &OtherBB : MF) { 316 if (&OtherBB == &MBB) 317 continue; 318 319 if (OffsetRegUsed) 320 OtherBB.addLiveIn(ScratchWaveOffsetReg); 321 322 if (ResourceRegUsed) 323 OtherBB.addLiveIn(ScratchRsrcReg); 324 } 325 326 DebugLoc DL; 327 MachineBasicBlock::iterator I = MBB.begin(); 328 329 // If we reserved the original input registers, we don't need to copy to the 330 // reserved registers. 331 332 bool CopyBuffer = ResourceRegUsed && 333 PreloadedPrivateBufferReg != AMDGPU::NoRegister && 334 ST.isAmdCodeObjectV2(MF) && 335 ScratchRsrcReg != PreloadedPrivateBufferReg; 336 337 // This needs to be careful of the copying order to avoid overwriting one of 338 // the input registers before it's been copied to it's final 339 // destination. Usually the offset should be copied first. 340 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg, 341 ScratchWaveOffsetReg); 342 if (CopyBuffer && CopyBufferFirst) { 343 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg) 344 .addReg(PreloadedPrivateBufferReg, RegState::Kill); 345 } 346 347 if (OffsetRegUsed && 348 PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) { 349 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg) 350 .addReg(PreloadedScratchWaveOffsetReg, 351 MRI.isPhysRegUsed(ScratchWaveOffsetReg) ? 0 : RegState::Kill); 352 } 353 354 if (CopyBuffer && !CopyBufferFirst) { 355 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg) 356 .addReg(PreloadedPrivateBufferReg, RegState::Kill); 357 } 358 359 if (ResourceRegUsed && (ST.isMesaGfxShader(MF) || (PreloadedPrivateBufferReg == AMDGPU::NoRegister))) { 360 assert(!ST.isAmdCodeObjectV2(MF)); 361 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32); 362 363 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2); 364 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3); 365 366 // Use relocations to get the pointer, and setup the other bits manually. 367 uint64_t Rsrc23 = TII->getScratchRsrcWords23(); 368 369 if (MFI->hasImplicitBufferPtr()) { 370 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1); 371 372 if (AMDGPU::isCompute(MF.getFunction()->getCallingConv())) { 373 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64); 374 375 BuildMI(MBB, I, DL, Mov64, Rsrc01) 376 .addReg(MFI->getImplicitBufferPtrUserSGPR()) 377 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 378 } else { 379 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM); 380 381 PointerType *PtrTy = 382 PointerType::get(Type::getInt64Ty(MF.getFunction()->getContext()), 383 AMDGPUASI.CONSTANT_ADDRESS); 384 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy)); 385 auto MMO = MF.getMachineMemOperand(PtrInfo, 386 MachineMemOperand::MOLoad | 387 MachineMemOperand::MOInvariant | 388 MachineMemOperand::MODereferenceable, 389 0, 0); 390 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01) 391 .addReg(MFI->getImplicitBufferPtrUserSGPR()) 392 .addImm(0) // offset 393 .addImm(0) // glc 394 .addMemOperand(MMO) 395 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 396 } 397 } else { 398 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0); 399 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1); 400 401 BuildMI(MBB, I, DL, SMovB32, Rsrc0) 402 .addExternalSymbol("SCRATCH_RSRC_DWORD0") 403 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 404 405 BuildMI(MBB, I, DL, SMovB32, Rsrc1) 406 .addExternalSymbol("SCRATCH_RSRC_DWORD1") 407 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 408 409 } 410 411 BuildMI(MBB, I, DL, SMovB32, Rsrc2) 412 .addImm(Rsrc23 & 0xffffffff) 413 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 414 415 BuildMI(MBB, I, DL, SMovB32, Rsrc3) 416 .addImm(Rsrc23 >> 32) 417 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 418 } 419 } 420 421 void SIFrameLowering::emitPrologue(MachineFunction &MF, 422 MachineBasicBlock &MBB) const { 423 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 424 if (FuncInfo->isEntryFunction()) { 425 emitEntryFunctionPrologue(MF, MBB); 426 return; 427 } 428 429 const MachineFrameInfo &MFI = MF.getFrameInfo(); 430 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 431 const SIInstrInfo *TII = ST.getInstrInfo(); 432 433 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg(); 434 unsigned FramePtrReg = FuncInfo->getFrameOffsetReg(); 435 436 MachineBasicBlock::iterator MBBI = MBB.begin(); 437 DebugLoc DL; 438 439 bool NeedFP = hasFP(MF); 440 if (NeedFP) { 441 // If we need a base pointer, set it up here. It's whatever the value of 442 // the stack pointer is at this point. Any variable size objects will be 443 // allocated after this, so we can still use the base pointer to reference 444 // locals. 445 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg) 446 .addReg(StackPtrReg) 447 .setMIFlag(MachineInstr::FrameSetup); 448 } 449 450 uint32_t NumBytes = MFI.getStackSize(); 451 if (NumBytes != 0 && hasSP(MF)) { 452 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg) 453 .addReg(StackPtrReg) 454 .addImm(NumBytes * ST.getWavefrontSize()) 455 .setMIFlag(MachineInstr::FrameSetup); 456 } 457 458 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg 459 : FuncInfo->getSGPRSpillVGPRs()) { 460 if (!Reg.FI.hasValue()) 461 continue; 462 TII->storeRegToStackSlot(MBB, MBBI, Reg.VGPR, true, 463 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass, 464 &TII->getRegisterInfo()); 465 } 466 } 467 468 void SIFrameLowering::emitEpilogue(MachineFunction &MF, 469 MachineBasicBlock &MBB) const { 470 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 471 if (FuncInfo->isEntryFunction()) 472 return; 473 474 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 475 const SIInstrInfo *TII = ST.getInstrInfo(); 476 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(); 477 478 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg 479 : FuncInfo->getSGPRSpillVGPRs()) { 480 if (!Reg.FI.hasValue()) 481 continue; 482 TII->loadRegFromStackSlot(MBB, MBBI, Reg.VGPR, 483 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass, 484 &TII->getRegisterInfo()); 485 } 486 487 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg(); 488 if (StackPtrReg == AMDGPU::NoRegister) 489 return; 490 491 const MachineFrameInfo &MFI = MF.getFrameInfo(); 492 uint32_t NumBytes = MFI.getStackSize(); 493 494 DebugLoc DL; 495 496 // FIXME: Clarify distinction between no set SP and SP. For callee functions, 497 // it's really whether we need SP to be accurate or not. 498 499 if (NumBytes != 0 && hasSP(MF)) { 500 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg) 501 .addReg(StackPtrReg) 502 .addImm(NumBytes * ST.getWavefrontSize()) 503 .setMIFlag(MachineInstr::FrameDestroy); 504 } 505 } 506 507 static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) { 508 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd(); 509 I != E; ++I) { 510 if (!MFI.isDeadObjectIndex(I)) 511 return false; 512 } 513 514 return true; 515 } 516 517 int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI, 518 unsigned &FrameReg) const { 519 const SIRegisterInfo *RI = MF.getSubtarget<SISubtarget>().getRegisterInfo(); 520 521 FrameReg = RI->getFrameRegister(MF); 522 return MF.getFrameInfo().getObjectOffset(FI); 523 } 524 525 void SIFrameLowering::processFunctionBeforeFrameFinalized( 526 MachineFunction &MF, 527 RegScavenger *RS) const { 528 MachineFrameInfo &MFI = MF.getFrameInfo(); 529 530 if (!MFI.hasStackObjects()) 531 return; 532 533 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 534 const SIInstrInfo *TII = ST.getInstrInfo(); 535 const SIRegisterInfo &TRI = TII->getRegisterInfo(); 536 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 537 bool AllSGPRSpilledToVGPRs = false; 538 539 if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) { 540 AllSGPRSpilledToVGPRs = true; 541 542 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs 543 // are spilled to VGPRs, in which case we can eliminate the stack usage. 544 // 545 // XXX - This operates under the assumption that only other SGPR spills are 546 // users of the frame index. I'm not 100% sure this is correct. The 547 // StackColoring pass has a comment saying a future improvement would be to 548 // merging of allocas with spill slots, but for now according to 549 // MachineFrameInfo isSpillSlot can't alias any other object. 550 for (MachineBasicBlock &MBB : MF) { 551 MachineBasicBlock::iterator Next; 552 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) { 553 MachineInstr &MI = *I; 554 Next = std::next(I); 555 556 if (TII->isSGPRSpill(MI)) { 557 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex(); 558 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) { 559 bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS); 560 (void)Spilled; 561 assert(Spilled && "failed to spill SGPR to VGPR when allocated"); 562 } else 563 AllSGPRSpilledToVGPRs = false; 564 } 565 } 566 } 567 568 FuncInfo->removeSGPRToVGPRFrameIndices(MFI); 569 } 570 571 // FIXME: The other checks should be redundant with allStackObjectsAreDead, 572 // but currently hasNonSpillStackObjects is set only from source 573 // allocas. Stack temps produced from legalization are not counted currently. 574 if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() || 575 !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) { 576 assert(RS && "RegScavenger required if spilling"); 577 578 // We force this to be at offset 0 so no user object ever has 0 as an 579 // address, so we may use 0 as an invalid pointer value. This is because 580 // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca 581 // is required to be address space 0, we are forced to accept this for 582 // now. Ideally we could have the stack in another address space with 0 as a 583 // valid pointer, and -1 as the null value. 584 // 585 // This will also waste additional space when user stack objects require > 4 586 // byte alignment. 587 // 588 // The main cost here is losing the offset for addressing modes. However 589 // this also ensures we shouldn't need a register for the offset when 590 // emergency scavenging. 591 int ScavengeFI = MFI.CreateFixedObject( 592 TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false); 593 RS->addScavengingFrameIndex(ScavengeFI); 594 } 595 } 596 597 void SIFrameLowering::determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, 598 RegScavenger *RS) const { 599 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 600 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 601 602 // The SP is specifically managed and we don't want extra spills of it. 603 SavedRegs.reset(MFI->getStackPtrOffsetReg()); 604 } 605 606 MachineBasicBlock::iterator SIFrameLowering::eliminateCallFramePseudoInstr( 607 MachineFunction &MF, 608 MachineBasicBlock &MBB, 609 MachineBasicBlock::iterator I) const { 610 int64_t Amount = I->getOperand(0).getImm(); 611 if (Amount == 0) 612 return MBB.erase(I); 613 614 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 615 const SIInstrInfo *TII = ST.getInstrInfo(); 616 const DebugLoc &DL = I->getDebugLoc(); 617 unsigned Opc = I->getOpcode(); 618 bool IsDestroy = Opc == TII->getCallFrameDestroyOpcode(); 619 uint64_t CalleePopAmount = IsDestroy ? I->getOperand(1).getImm() : 0; 620 621 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering(); 622 if (!TFI->hasReservedCallFrame(MF)) { 623 unsigned Align = getStackAlignment(); 624 625 Amount = alignTo(Amount, Align); 626 assert(isUInt<32>(Amount) && "exceeded stack address space size"); 627 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 628 unsigned SPReg = MFI->getStackPtrOffsetReg(); 629 630 unsigned Op = IsDestroy ? AMDGPU::S_SUB_U32 : AMDGPU::S_ADD_U32; 631 BuildMI(MBB, I, DL, TII->get(Op), SPReg) 632 .addReg(SPReg) 633 .addImm(Amount * ST.getWavefrontSize()); 634 } else if (CalleePopAmount != 0) { 635 llvm_unreachable("is this used?"); 636 } 637 638 return MBB.erase(I); 639 } 640 641 void SIFrameLowering::emitDebuggerPrologue(MachineFunction &MF, 642 MachineBasicBlock &MBB) const { 643 const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); 644 const SIInstrInfo *TII = ST.getInstrInfo(); 645 const SIRegisterInfo *TRI = &TII->getRegisterInfo(); 646 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 647 648 MachineBasicBlock::iterator I = MBB.begin(); 649 DebugLoc DL; 650 651 // For each dimension: 652 for (unsigned i = 0; i < 3; ++i) { 653 // Get work group ID SGPR, and make it live-in again. 654 unsigned WorkGroupIDSGPR = MFI->getWorkGroupIDSGPR(i); 655 MF.getRegInfo().addLiveIn(WorkGroupIDSGPR); 656 MBB.addLiveIn(WorkGroupIDSGPR); 657 658 // Since SGPRs are spilled into VGPRs, copy work group ID SGPR to VGPR in 659 // order to spill it to scratch. 660 unsigned WorkGroupIDVGPR = 661 MF.getRegInfo().createVirtualRegister(&AMDGPU::VGPR_32RegClass); 662 BuildMI(MBB, I, DL, TII->get(AMDGPU::V_MOV_B32_e32), WorkGroupIDVGPR) 663 .addReg(WorkGroupIDSGPR); 664 665 // Spill work group ID. 666 int WorkGroupIDObjectIdx = MFI->getDebuggerWorkGroupIDStackObjectIndex(i); 667 TII->storeRegToStackSlot(MBB, I, WorkGroupIDVGPR, false, 668 WorkGroupIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI); 669 670 // Get work item ID VGPR, and make it live-in again. 671 unsigned WorkItemIDVGPR = MFI->getWorkItemIDVGPR(i); 672 MF.getRegInfo().addLiveIn(WorkItemIDVGPR); 673 MBB.addLiveIn(WorkItemIDVGPR); 674 675 // Spill work item ID. 676 int WorkItemIDObjectIdx = MFI->getDebuggerWorkItemIDStackObjectIndex(i); 677 TII->storeRegToStackSlot(MBB, I, WorkItemIDVGPR, false, 678 WorkItemIDObjectIdx, &AMDGPU::VGPR_32RegClass, TRI); 679 } 680 } 681 682 bool SIFrameLowering::hasFP(const MachineFunction &MF) const { 683 // All stack operations are relative to the frame offset SGPR. 684 // TODO: Still want to eliminate sometimes. 685 const MachineFrameInfo &MFI = MF.getFrameInfo(); 686 687 // XXX - Is this only called after frame is finalized? Should be able to check 688 // frame size. 689 return MFI.hasStackObjects() && !allStackObjectsAreDead(MFI); 690 } 691 692 bool SIFrameLowering::hasSP(const MachineFunction &MF) const { 693 // All stack operations are relative to the frame offset SGPR. 694 const MachineFrameInfo &MFI = MF.getFrameInfo(); 695 return MFI.hasCalls() || MFI.hasVarSizedObjects(); 696 } 697