1 //===----------------------- SIFrameLowering.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 #include "SIFrameLowering.h" 10 #include "AMDGPUSubtarget.h" 11 #include "SIInstrInfo.h" 12 #include "SIMachineFunctionInfo.h" 13 #include "SIRegisterInfo.h" 14 #include "MCTargetDesc/AMDGPUMCTargetDesc.h" 15 16 #include "llvm/CodeGen/LivePhysRegs.h" 17 #include "llvm/CodeGen/MachineFrameInfo.h" 18 #include "llvm/CodeGen/MachineFunction.h" 19 #include "llvm/CodeGen/MachineInstrBuilder.h" 20 #include "llvm/CodeGen/RegisterScavenging.h" 21 22 using namespace llvm; 23 24 25 static ArrayRef<MCPhysReg> getAllSGPR128(const GCNSubtarget &ST, 26 const MachineFunction &MF) { 27 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(), 28 ST.getMaxNumSGPRs(MF) / 4); 29 } 30 31 static ArrayRef<MCPhysReg> getAllSGPRs(const GCNSubtarget &ST, 32 const MachineFunction &MF) { 33 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(), 34 ST.getMaxNumSGPRs(MF)); 35 } 36 37 void SIFrameLowering::emitFlatScratchInit(const GCNSubtarget &ST, 38 MachineFunction &MF, 39 MachineBasicBlock &MBB) const { 40 const SIInstrInfo *TII = ST.getInstrInfo(); 41 const SIRegisterInfo* TRI = &TII->getRegisterInfo(); 42 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 43 44 // We don't need this if we only have spills since there is no user facing 45 // scratch. 46 47 // TODO: If we know we don't have flat instructions earlier, we can omit 48 // this from the input registers. 49 // 50 // TODO: We only need to know if we access scratch space through a flat 51 // pointer. Because we only detect if flat instructions are used at all, 52 // this will be used more often than necessary on VI. 53 54 // Debug location must be unknown since the first debug location is used to 55 // determine the end of the prologue. 56 DebugLoc DL; 57 MachineBasicBlock::iterator I = MBB.begin(); 58 59 unsigned FlatScratchInitReg 60 = MFI->getPreloadedReg(AMDGPUFunctionArgInfo::FLAT_SCRATCH_INIT); 61 62 MachineRegisterInfo &MRI = MF.getRegInfo(); 63 MRI.addLiveIn(FlatScratchInitReg); 64 MBB.addLiveIn(FlatScratchInitReg); 65 66 unsigned FlatScrInitLo = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub0); 67 unsigned FlatScrInitHi = TRI->getSubReg(FlatScratchInitReg, AMDGPU::sub1); 68 69 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg(); 70 71 // Do a 64-bit pointer add. 72 if (ST.flatScratchIsPointer()) { 73 if (ST.getGeneration() >= AMDGPUSubtarget::GFX10) { 74 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo) 75 .addReg(FlatScrInitLo) 76 .addReg(ScratchWaveOffsetReg); 77 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), FlatScrInitHi) 78 .addReg(FlatScrInitHi) 79 .addImm(0); 80 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_SETREG_B32)). 81 addReg(FlatScrInitLo). 82 addImm(int16_t(AMDGPU::Hwreg::ID_FLAT_SCR_LO | 83 (31 << AMDGPU::Hwreg::WIDTH_M1_SHIFT_))); 84 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_SETREG_B32)). 85 addReg(FlatScrInitHi). 86 addImm(int16_t(AMDGPU::Hwreg::ID_FLAT_SCR_HI | 87 (31 << AMDGPU::Hwreg::WIDTH_M1_SHIFT_))); 88 return; 89 } 90 91 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), AMDGPU::FLAT_SCR_LO) 92 .addReg(FlatScrInitLo) 93 .addReg(ScratchWaveOffsetReg); 94 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADDC_U32), AMDGPU::FLAT_SCR_HI) 95 .addReg(FlatScrInitHi) 96 .addImm(0); 97 98 return; 99 } 100 101 assert(ST.getGeneration() < AMDGPUSubtarget::GFX10); 102 103 // Copy the size in bytes. 104 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), AMDGPU::FLAT_SCR_LO) 105 .addReg(FlatScrInitHi, RegState::Kill); 106 107 // Add wave offset in bytes to private base offset. 108 // See comment in AMDKernelCodeT.h for enable_sgpr_flat_scratch_init. 109 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_ADD_U32), FlatScrInitLo) 110 .addReg(FlatScrInitLo) 111 .addReg(ScratchWaveOffsetReg); 112 113 // Convert offset to 256-byte units. 114 BuildMI(MBB, I, DL, TII->get(AMDGPU::S_LSHR_B32), AMDGPU::FLAT_SCR_HI) 115 .addReg(FlatScrInitLo, RegState::Kill) 116 .addImm(8); 117 } 118 119 unsigned SIFrameLowering::getReservedPrivateSegmentBufferReg( 120 const GCNSubtarget &ST, 121 const SIInstrInfo *TII, 122 const SIRegisterInfo *TRI, 123 SIMachineFunctionInfo *MFI, 124 MachineFunction &MF) const { 125 MachineRegisterInfo &MRI = MF.getRegInfo(); 126 127 // We need to insert initialization of the scratch resource descriptor. 128 unsigned ScratchRsrcReg = MFI->getScratchRSrcReg(); 129 if (ScratchRsrcReg == AMDGPU::NoRegister || 130 !MRI.isPhysRegUsed(ScratchRsrcReg)) 131 return AMDGPU::NoRegister; 132 133 if (ST.hasSGPRInitBug() || 134 ScratchRsrcReg != TRI->reservedPrivateSegmentBufferReg(MF)) 135 return ScratchRsrcReg; 136 137 // We reserved the last registers for this. Shift it down to the end of those 138 // which were actually used. 139 // 140 // FIXME: It might be safer to use a pseudoregister before replacement. 141 142 // FIXME: We should be able to eliminate unused input registers. We only 143 // cannot do this for the resources required for scratch access. For now we 144 // skip over user SGPRs and may leave unused holes. 145 146 // We find the resource first because it has an alignment requirement. 147 148 unsigned NumPreloaded = (MFI->getNumPreloadedSGPRs() + 3) / 4; 149 ArrayRef<MCPhysReg> AllSGPR128s = getAllSGPR128(ST, MF); 150 AllSGPR128s = AllSGPR128s.slice(std::min(static_cast<unsigned>(AllSGPR128s.size()), NumPreloaded)); 151 152 // Skip the last N reserved elements because they should have already been 153 // reserved for VCC etc. 154 for (MCPhysReg Reg : AllSGPR128s) { 155 // Pick the first unallocated one. Make sure we don't clobber the other 156 // reserved input we needed. 157 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) { 158 MRI.replaceRegWith(ScratchRsrcReg, Reg); 159 MFI->setScratchRSrcReg(Reg); 160 return Reg; 161 } 162 } 163 164 return ScratchRsrcReg; 165 } 166 167 // Shift down registers reserved for the scratch wave offset and stack pointer 168 // SGPRs. 169 std::pair<unsigned, unsigned> 170 SIFrameLowering::getReservedPrivateSegmentWaveByteOffsetReg( 171 const GCNSubtarget &ST, 172 const SIInstrInfo *TII, 173 const SIRegisterInfo *TRI, 174 SIMachineFunctionInfo *MFI, 175 MachineFunction &MF) const { 176 MachineRegisterInfo &MRI = MF.getRegInfo(); 177 unsigned ScratchWaveOffsetReg = MFI->getScratchWaveOffsetReg(); 178 179 // No replacement necessary. 180 if (ScratchWaveOffsetReg == AMDGPU::NoRegister || 181 !MRI.isPhysRegUsed(ScratchWaveOffsetReg)) { 182 assert(MFI->getStackPtrOffsetReg() == AMDGPU::SP_REG); 183 return std::make_pair(AMDGPU::NoRegister, AMDGPU::NoRegister); 184 } 185 186 unsigned SPReg = MFI->getStackPtrOffsetReg(); 187 if (ST.hasSGPRInitBug()) 188 return std::make_pair(ScratchWaveOffsetReg, SPReg); 189 190 unsigned NumPreloaded = MFI->getNumPreloadedSGPRs(); 191 192 ArrayRef<MCPhysReg> AllSGPRs = getAllSGPRs(ST, MF); 193 if (NumPreloaded > AllSGPRs.size()) 194 return std::make_pair(ScratchWaveOffsetReg, SPReg); 195 196 AllSGPRs = AllSGPRs.slice(NumPreloaded); 197 198 // We need to drop register from the end of the list that we cannot use 199 // for the scratch wave offset. 200 // + 2 s102 and s103 do not exist on VI. 201 // + 2 for vcc 202 // + 2 for xnack_mask 203 // + 2 for flat_scratch 204 // + 4 for registers reserved for scratch resource register 205 // + 1 for register reserved for scratch wave offset. (By exluding this 206 // register from the list to consider, it means that when this 207 // register is being used for the scratch wave offset and there 208 // are no other free SGPRs, then the value will stay in this register. 209 // + 1 if stack pointer is used. 210 // ---- 211 // 13 (+1) 212 unsigned ReservedRegCount = 13; 213 214 if (AllSGPRs.size() < ReservedRegCount) 215 return std::make_pair(ScratchWaveOffsetReg, SPReg); 216 217 bool HandledScratchWaveOffsetReg = 218 ScratchWaveOffsetReg != TRI->reservedPrivateSegmentWaveByteOffsetReg(MF); 219 220 for (MCPhysReg Reg : AllSGPRs.drop_back(ReservedRegCount)) { 221 // Pick the first unallocated SGPR. Be careful not to pick an alias of the 222 // scratch descriptor, since we haven’t added its uses yet. 223 if (!MRI.isPhysRegUsed(Reg) && MRI.isAllocatable(Reg)) { 224 if (!HandledScratchWaveOffsetReg) { 225 HandledScratchWaveOffsetReg = true; 226 227 MRI.replaceRegWith(ScratchWaveOffsetReg, Reg); 228 MFI->setScratchWaveOffsetReg(Reg); 229 ScratchWaveOffsetReg = Reg; 230 break; 231 } 232 } 233 } 234 235 return std::make_pair(ScratchWaveOffsetReg, SPReg); 236 } 237 238 void SIFrameLowering::emitEntryFunctionPrologue(MachineFunction &MF, 239 MachineBasicBlock &MBB) const { 240 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported"); 241 242 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 243 244 // If we only have SGPR spills, we won't actually be using scratch memory 245 // since these spill to VGPRs. 246 // 247 // FIXME: We should be cleaning up these unused SGPR spill frame indices 248 // somewhere. 249 250 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 251 const SIInstrInfo *TII = ST.getInstrInfo(); 252 const SIRegisterInfo *TRI = &TII->getRegisterInfo(); 253 MachineRegisterInfo &MRI = MF.getRegInfo(); 254 const Function &F = MF.getFunction(); 255 256 // We need to do the replacement of the private segment buffer and wave offset 257 // register even if there are no stack objects. There could be stores to undef 258 // or a constant without an associated object. 259 260 // FIXME: We still have implicit uses on SGPR spill instructions in case they 261 // need to spill to vector memory. It's likely that will not happen, but at 262 // this point it appears we need the setup. This part of the prolog should be 263 // emitted after frame indices are eliminated. 264 265 if (MFI->hasFlatScratchInit()) 266 emitFlatScratchInit(ST, MF, MBB); 267 268 unsigned SPReg = MFI->getStackPtrOffsetReg(); 269 if (SPReg != AMDGPU::SP_REG) { 270 assert(MRI.isReserved(SPReg) && "SPReg used but not reserved"); 271 272 DebugLoc DL; 273 const MachineFrameInfo &FrameInfo = MF.getFrameInfo(); 274 int64_t StackSize = FrameInfo.getStackSize(); 275 276 if (StackSize == 0) { 277 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::COPY), SPReg) 278 .addReg(MFI->getScratchWaveOffsetReg()); 279 } else { 280 BuildMI(MBB, MBB.begin(), DL, TII->get(AMDGPU::S_ADD_U32), SPReg) 281 .addReg(MFI->getScratchWaveOffsetReg()) 282 .addImm(StackSize * ST.getWavefrontSize()); 283 } 284 } 285 286 unsigned ScratchRsrcReg 287 = getReservedPrivateSegmentBufferReg(ST, TII, TRI, MFI, MF); 288 289 unsigned ScratchWaveOffsetReg; 290 std::tie(ScratchWaveOffsetReg, SPReg) 291 = getReservedPrivateSegmentWaveByteOffsetReg(ST, TII, TRI, MFI, MF); 292 293 // It's possible to have uses of only ScratchWaveOffsetReg without 294 // ScratchRsrcReg if it's only used for the initialization of flat_scratch, 295 // but the inverse is not true. 296 if (ScratchWaveOffsetReg == AMDGPU::NoRegister) { 297 assert(ScratchRsrcReg == AMDGPU::NoRegister); 298 return; 299 } 300 301 // We need to insert initialization of the scratch resource descriptor. 302 unsigned PreloadedScratchWaveOffsetReg = MFI->getPreloadedReg( 303 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_WAVE_BYTE_OFFSET); 304 305 unsigned PreloadedPrivateBufferReg = AMDGPU::NoRegister; 306 if (ST.isAmdHsaOrMesa(F)) { 307 PreloadedPrivateBufferReg = MFI->getPreloadedReg( 308 AMDGPUFunctionArgInfo::PRIVATE_SEGMENT_BUFFER); 309 } 310 311 bool OffsetRegUsed = MRI.isPhysRegUsed(ScratchWaveOffsetReg); 312 bool ResourceRegUsed = ScratchRsrcReg != AMDGPU::NoRegister && 313 MRI.isPhysRegUsed(ScratchRsrcReg); 314 315 // We added live-ins during argument lowering, but since they were not used 316 // they were deleted. We're adding the uses now, so add them back. 317 if (OffsetRegUsed) { 318 assert(PreloadedScratchWaveOffsetReg != AMDGPU::NoRegister && 319 "scratch wave offset input is required"); 320 MRI.addLiveIn(PreloadedScratchWaveOffsetReg); 321 MBB.addLiveIn(PreloadedScratchWaveOffsetReg); 322 } 323 324 if (ResourceRegUsed && PreloadedPrivateBufferReg != AMDGPU::NoRegister) { 325 assert(ST.isAmdHsaOrMesa(F) || ST.isMesaGfxShader(F)); 326 MRI.addLiveIn(PreloadedPrivateBufferReg); 327 MBB.addLiveIn(PreloadedPrivateBufferReg); 328 } 329 330 // Make the register selected live throughout the function. 331 for (MachineBasicBlock &OtherBB : MF) { 332 if (&OtherBB == &MBB) 333 continue; 334 335 if (OffsetRegUsed) 336 OtherBB.addLiveIn(ScratchWaveOffsetReg); 337 338 if (ResourceRegUsed) 339 OtherBB.addLiveIn(ScratchRsrcReg); 340 } 341 342 DebugLoc DL; 343 MachineBasicBlock::iterator I = MBB.begin(); 344 345 // If we reserved the original input registers, we don't need to copy to the 346 // reserved registers. 347 348 bool CopyBuffer = ResourceRegUsed && 349 PreloadedPrivateBufferReg != AMDGPU::NoRegister && 350 ST.isAmdHsaOrMesa(F) && 351 ScratchRsrcReg != PreloadedPrivateBufferReg; 352 353 // This needs to be careful of the copying order to avoid overwriting one of 354 // the input registers before it's been copied to it's final 355 // destination. Usually the offset should be copied first. 356 bool CopyBufferFirst = TRI->isSubRegisterEq(PreloadedPrivateBufferReg, 357 ScratchWaveOffsetReg); 358 if (CopyBuffer && CopyBufferFirst) { 359 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg) 360 .addReg(PreloadedPrivateBufferReg, RegState::Kill); 361 } 362 363 if (OffsetRegUsed && 364 PreloadedScratchWaveOffsetReg != ScratchWaveOffsetReg) { 365 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchWaveOffsetReg) 366 .addReg(PreloadedScratchWaveOffsetReg, 367 MRI.isPhysRegUsed(ScratchWaveOffsetReg) ? 0 : RegState::Kill); 368 } 369 370 if (CopyBuffer && !CopyBufferFirst) { 371 BuildMI(MBB, I, DL, TII->get(AMDGPU::COPY), ScratchRsrcReg) 372 .addReg(PreloadedPrivateBufferReg, RegState::Kill); 373 } 374 375 if (ResourceRegUsed) 376 emitEntryFunctionScratchSetup(ST, MF, MBB, MFI, I, 377 PreloadedPrivateBufferReg, ScratchRsrcReg); 378 } 379 380 // Emit scratch setup code for AMDPAL or Mesa, assuming ResourceRegUsed is set. 381 void SIFrameLowering::emitEntryFunctionScratchSetup(const GCNSubtarget &ST, 382 MachineFunction &MF, MachineBasicBlock &MBB, SIMachineFunctionInfo *MFI, 383 MachineBasicBlock::iterator I, unsigned PreloadedPrivateBufferReg, 384 unsigned ScratchRsrcReg) const { 385 386 const SIInstrInfo *TII = ST.getInstrInfo(); 387 const SIRegisterInfo *TRI = &TII->getRegisterInfo(); 388 const Function &Fn = MF.getFunction(); 389 DebugLoc DL; 390 391 if (ST.isAmdPalOS()) { 392 // The pointer to the GIT is formed from the offset passed in and either 393 // the amdgpu-git-ptr-high function attribute or the top part of the PC 394 unsigned RsrcLo = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0); 395 unsigned RsrcHi = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1); 396 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1); 397 398 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32); 399 400 if (MFI->getGITPtrHigh() != 0xffffffff) { 401 BuildMI(MBB, I, DL, SMovB32, RsrcHi) 402 .addImm(MFI->getGITPtrHigh()) 403 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 404 } else { 405 const MCInstrDesc &GetPC64 = TII->get(AMDGPU::S_GETPC_B64); 406 BuildMI(MBB, I, DL, GetPC64, Rsrc01); 407 } 408 auto GitPtrLo = AMDGPU::SGPR0; // Low GIT address passed in 409 if (ST.hasMergedShaders()) { 410 switch (MF.getFunction().getCallingConv()) { 411 case CallingConv::AMDGPU_HS: 412 case CallingConv::AMDGPU_GS: 413 // Low GIT address is passed in s8 rather than s0 for an LS+HS or 414 // ES+GS merged shader on gfx9+. 415 GitPtrLo = AMDGPU::SGPR8; 416 break; 417 default: 418 break; 419 } 420 } 421 MF.getRegInfo().addLiveIn(GitPtrLo); 422 MF.front().addLiveIn(GitPtrLo); 423 BuildMI(MBB, I, DL, SMovB32, RsrcLo) 424 .addReg(GitPtrLo) 425 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 426 427 // We now have the GIT ptr - now get the scratch descriptor from the entry 428 // at offset 0 (or offset 16 for a compute shader). 429 PointerType *PtrTy = 430 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()), 431 AMDGPUAS::CONSTANT_ADDRESS); 432 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy)); 433 const MCInstrDesc &LoadDwordX4 = TII->get(AMDGPU::S_LOAD_DWORDX4_IMM); 434 auto MMO = MF.getMachineMemOperand(PtrInfo, 435 MachineMemOperand::MOLoad | 436 MachineMemOperand::MOInvariant | 437 MachineMemOperand::MODereferenceable, 438 16, 4); 439 unsigned Offset = Fn.getCallingConv() == CallingConv::AMDGPU_CS ? 16 : 0; 440 const GCNSubtarget &Subtarget = MF.getSubtarget<GCNSubtarget>(); 441 unsigned EncodedOffset = AMDGPU::getSMRDEncodedOffset(Subtarget, Offset); 442 BuildMI(MBB, I, DL, LoadDwordX4, ScratchRsrcReg) 443 .addReg(Rsrc01) 444 .addImm(EncodedOffset) // offset 445 .addImm(0) // glc 446 .addImm(0) // dlc 447 .addReg(ScratchRsrcReg, RegState::ImplicitDefine) 448 .addMemOperand(MMO); 449 return; 450 } 451 if (ST.isMesaGfxShader(Fn) 452 || (PreloadedPrivateBufferReg == AMDGPU::NoRegister)) { 453 assert(!ST.isAmdHsaOrMesa(Fn)); 454 const MCInstrDesc &SMovB32 = TII->get(AMDGPU::S_MOV_B32); 455 456 unsigned Rsrc2 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub2); 457 unsigned Rsrc3 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub3); 458 459 // Use relocations to get the pointer, and setup the other bits manually. 460 uint64_t Rsrc23 = TII->getScratchRsrcWords23(); 461 462 if (MFI->hasImplicitBufferPtr()) { 463 unsigned Rsrc01 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0_sub1); 464 465 if (AMDGPU::isCompute(MF.getFunction().getCallingConv())) { 466 const MCInstrDesc &Mov64 = TII->get(AMDGPU::S_MOV_B64); 467 468 BuildMI(MBB, I, DL, Mov64, Rsrc01) 469 .addReg(MFI->getImplicitBufferPtrUserSGPR()) 470 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 471 } else { 472 const MCInstrDesc &LoadDwordX2 = TII->get(AMDGPU::S_LOAD_DWORDX2_IMM); 473 474 PointerType *PtrTy = 475 PointerType::get(Type::getInt64Ty(MF.getFunction().getContext()), 476 AMDGPUAS::CONSTANT_ADDRESS); 477 MachinePointerInfo PtrInfo(UndefValue::get(PtrTy)); 478 auto MMO = MF.getMachineMemOperand(PtrInfo, 479 MachineMemOperand::MOLoad | 480 MachineMemOperand::MOInvariant | 481 MachineMemOperand::MODereferenceable, 482 8, 4); 483 BuildMI(MBB, I, DL, LoadDwordX2, Rsrc01) 484 .addReg(MFI->getImplicitBufferPtrUserSGPR()) 485 .addImm(0) // offset 486 .addImm(0) // glc 487 .addImm(0) // dlc 488 .addMemOperand(MMO) 489 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 490 } 491 } else { 492 unsigned Rsrc0 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub0); 493 unsigned Rsrc1 = TRI->getSubReg(ScratchRsrcReg, AMDGPU::sub1); 494 495 BuildMI(MBB, I, DL, SMovB32, Rsrc0) 496 .addExternalSymbol("SCRATCH_RSRC_DWORD0") 497 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 498 499 BuildMI(MBB, I, DL, SMovB32, Rsrc1) 500 .addExternalSymbol("SCRATCH_RSRC_DWORD1") 501 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 502 503 } 504 505 BuildMI(MBB, I, DL, SMovB32, Rsrc2) 506 .addImm(Rsrc23 & 0xffffffff) 507 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 508 509 BuildMI(MBB, I, DL, SMovB32, Rsrc3) 510 .addImm(Rsrc23 >> 32) 511 .addReg(ScratchRsrcReg, RegState::ImplicitDefine); 512 } 513 } 514 515 // Find a scratch register that we can use at the start of the prologue to 516 // re-align the stack pointer. We avoid using callee-save registers since they 517 // may appear to be free when this is called from canUseAsPrologue (during 518 // shrink wrapping), but then no longer be free when this is called from 519 // emitPrologue. 520 // 521 // FIXME: This is a bit conservative, since in the above case we could use one 522 // of the callee-save registers as a scratch temp to re-align the stack pointer, 523 // but we would then have to make sure that we were in fact saving at least one 524 // callee-save register in the prologue, which is additional complexity that 525 // doesn't seem worth the benefit. 526 static unsigned findScratchNonCalleeSaveRegister(MachineFunction &MF, 527 LivePhysRegs &LiveRegs, 528 const TargetRegisterClass &RC) { 529 const GCNSubtarget &Subtarget = MF.getSubtarget<GCNSubtarget>(); 530 const SIRegisterInfo &TRI = *Subtarget.getRegisterInfo(); 531 532 // Mark callee saved registers as used so we will not choose them. 533 const MCPhysReg *CSRegs = TRI.getCalleeSavedRegs(&MF); 534 for (unsigned i = 0; CSRegs[i]; ++i) 535 LiveRegs.addReg(CSRegs[i]); 536 537 MachineRegisterInfo &MRI = MF.getRegInfo(); 538 539 for (unsigned Reg : RC) { 540 if (LiveRegs.available(MRI, Reg)) 541 return Reg; 542 } 543 544 return AMDGPU::NoRegister; 545 } 546 547 void SIFrameLowering::emitPrologue(MachineFunction &MF, 548 MachineBasicBlock &MBB) const { 549 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 550 if (FuncInfo->isEntryFunction()) { 551 emitEntryFunctionPrologue(MF, MBB); 552 return; 553 } 554 555 const MachineFrameInfo &MFI = MF.getFrameInfo(); 556 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 557 const SIInstrInfo *TII = ST.getInstrInfo(); 558 const SIRegisterInfo &TRI = TII->getRegisterInfo(); 559 560 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg(); 561 unsigned FramePtrReg = FuncInfo->getFrameOffsetReg(); 562 LivePhysRegs LiveRegs; 563 564 MachineBasicBlock::iterator MBBI = MBB.begin(); 565 DebugLoc DL; 566 567 // XXX - Is this the right predicate? 568 569 bool NeedFP = hasFP(MF); 570 uint32_t NumBytes = MFI.getStackSize(); 571 uint32_t RoundedSize = NumBytes; 572 const bool NeedsRealignment = TRI.needsStackRealignment(MF); 573 574 if (NeedsRealignment) { 575 assert(NeedFP); 576 const unsigned Alignment = MFI.getMaxAlignment(); 577 578 RoundedSize += Alignment; 579 580 LiveRegs.init(TRI); 581 LiveRegs.addLiveIns(MBB); 582 583 unsigned ScratchSPReg 584 = findScratchNonCalleeSaveRegister(MF, LiveRegs, 585 AMDGPU::SReg_32_XM0RegClass); 586 assert(ScratchSPReg != AMDGPU::NoRegister); 587 588 // s_add_u32 tmp_reg, s32, NumBytes 589 // s_and_b32 s32, tmp_reg, 0b111...0000 590 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), ScratchSPReg) 591 .addReg(StackPtrReg) 592 .addImm((Alignment - 1) * ST.getWavefrontSize()) 593 .setMIFlag(MachineInstr::FrameSetup); 594 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_AND_B32), FramePtrReg) 595 .addReg(ScratchSPReg, RegState::Kill) 596 .addImm(-Alignment * ST.getWavefrontSize()) 597 .setMIFlag(MachineInstr::FrameSetup); 598 FuncInfo->setIsStackRealigned(true); 599 } else if (NeedFP) { 600 // If we need a base pointer, set it up here. It's whatever the value of 601 // the stack pointer is at this point. Any variable size objects will be 602 // allocated after this, so we can still use the base pointer to reference 603 // locals. 604 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::COPY), FramePtrReg) 605 .addReg(StackPtrReg) 606 .setMIFlag(MachineInstr::FrameSetup); 607 } 608 609 if (RoundedSize != 0 && hasSP(MF)) { 610 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_ADD_U32), StackPtrReg) 611 .addReg(StackPtrReg) 612 .addImm(RoundedSize * ST.getWavefrontSize()) 613 .setMIFlag(MachineInstr::FrameSetup); 614 } 615 616 // To avoid clobbering VGPRs in lanes that weren't active on function entry, 617 // turn on all lanes before doing the spill to memory. 618 unsigned ScratchExecCopy = AMDGPU::NoRegister; 619 620 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg 621 : FuncInfo->getSGPRSpillVGPRs()) { 622 if (!Reg.FI.hasValue()) 623 continue; 624 625 if (ScratchExecCopy == AMDGPU::NoRegister) { 626 if (LiveRegs.empty()) { 627 LiveRegs.init(TRI); 628 LiveRegs.addLiveIns(MBB); 629 } 630 631 ScratchExecCopy 632 = findScratchNonCalleeSaveRegister(MF, LiveRegs, 633 AMDGPU::SReg_64_XEXECRegClass); 634 635 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_OR_SAVEEXEC_B64), 636 ScratchExecCopy) 637 .addImm(-1); 638 } 639 640 TII->storeRegToStackSlot(MBB, MBBI, Reg.VGPR, true, 641 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass, 642 &TII->getRegisterInfo()); 643 } 644 645 if (ScratchExecCopy != AMDGPU::NoRegister) { 646 // FIXME: Split block and make terminator. 647 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_MOV_B64), AMDGPU::EXEC) 648 .addReg(ScratchExecCopy); 649 } 650 } 651 652 void SIFrameLowering::emitEpilogue(MachineFunction &MF, 653 MachineBasicBlock &MBB) const { 654 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 655 if (FuncInfo->isEntryFunction()) 656 return; 657 658 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 659 const SIInstrInfo *TII = ST.getInstrInfo(); 660 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(); 661 DebugLoc DL; 662 663 unsigned ScratchExecCopy = AMDGPU::NoRegister; 664 for (const SIMachineFunctionInfo::SGPRSpillVGPRCSR &Reg 665 : FuncInfo->getSGPRSpillVGPRs()) { 666 if (!Reg.FI.hasValue()) 667 continue; 668 669 if (ScratchExecCopy == AMDGPU::NoRegister) { 670 // See emitPrologue 671 LivePhysRegs LiveRegs(*ST.getRegisterInfo()); 672 LiveRegs.addLiveIns(MBB); 673 674 ScratchExecCopy 675 = findScratchNonCalleeSaveRegister(MF, LiveRegs, 676 AMDGPU::SReg_64_XEXECRegClass); 677 678 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_OR_SAVEEXEC_B64), ScratchExecCopy) 679 .addImm(-1); 680 } 681 682 TII->loadRegFromStackSlot(MBB, MBBI, Reg.VGPR, 683 Reg.FI.getValue(), &AMDGPU::VGPR_32RegClass, 684 &TII->getRegisterInfo()); 685 } 686 687 if (ScratchExecCopy != AMDGPU::NoRegister) { 688 // FIXME: Split block and make terminator. 689 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_MOV_B64), AMDGPU::EXEC) 690 .addReg(ScratchExecCopy); 691 } 692 693 unsigned StackPtrReg = FuncInfo->getStackPtrOffsetReg(); 694 if (StackPtrReg == AMDGPU::NoRegister) 695 return; 696 697 const MachineFrameInfo &MFI = MF.getFrameInfo(); 698 uint32_t NumBytes = MFI.getStackSize(); 699 700 // FIXME: Clarify distinction between no set SP and SP. For callee functions, 701 // it's really whether we need SP to be accurate or not. 702 703 if (NumBytes != 0 && hasSP(MF)) { 704 uint32_t RoundedSize = FuncInfo->isStackRealigned() ? 705 NumBytes + MFI.getMaxAlignment() : NumBytes; 706 707 BuildMI(MBB, MBBI, DL, TII->get(AMDGPU::S_SUB_U32), StackPtrReg) 708 .addReg(StackPtrReg) 709 .addImm(RoundedSize * ST.getWavefrontSize()); 710 } 711 } 712 713 static bool allStackObjectsAreDead(const MachineFrameInfo &MFI) { 714 for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd(); 715 I != E; ++I) { 716 if (!MFI.isDeadObjectIndex(I)) 717 return false; 718 } 719 720 return true; 721 } 722 723 int SIFrameLowering::getFrameIndexReference(const MachineFunction &MF, int FI, 724 unsigned &FrameReg) const { 725 const SIRegisterInfo *RI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo(); 726 727 FrameReg = RI->getFrameRegister(MF); 728 return MF.getFrameInfo().getObjectOffset(FI); 729 } 730 731 void SIFrameLowering::processFunctionBeforeFrameFinalized( 732 MachineFunction &MF, 733 RegScavenger *RS) const { 734 MachineFrameInfo &MFI = MF.getFrameInfo(); 735 736 if (!MFI.hasStackObjects()) 737 return; 738 739 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 740 const SIInstrInfo *TII = ST.getInstrInfo(); 741 const SIRegisterInfo &TRI = TII->getRegisterInfo(); 742 SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 743 bool AllSGPRSpilledToVGPRs = false; 744 745 if (TRI.spillSGPRToVGPR() && FuncInfo->hasSpilledSGPRs()) { 746 AllSGPRSpilledToVGPRs = true; 747 748 // Process all SGPR spills before frame offsets are finalized. Ideally SGPRs 749 // are spilled to VGPRs, in which case we can eliminate the stack usage. 750 // 751 // XXX - This operates under the assumption that only other SGPR spills are 752 // users of the frame index. I'm not 100% sure this is correct. The 753 // StackColoring pass has a comment saying a future improvement would be to 754 // merging of allocas with spill slots, but for now according to 755 // MachineFrameInfo isSpillSlot can't alias any other object. 756 for (MachineBasicBlock &MBB : MF) { 757 MachineBasicBlock::iterator Next; 758 for (auto I = MBB.begin(), E = MBB.end(); I != E; I = Next) { 759 MachineInstr &MI = *I; 760 Next = std::next(I); 761 762 if (TII->isSGPRSpill(MI)) { 763 int FI = TII->getNamedOperand(MI, AMDGPU::OpName::addr)->getIndex(); 764 assert(MFI.getStackID(FI) == SIStackID::SGPR_SPILL); 765 if (FuncInfo->allocateSGPRSpillToVGPR(MF, FI)) { 766 bool Spilled = TRI.eliminateSGPRToVGPRSpillFrameIndex(MI, FI, RS); 767 (void)Spilled; 768 assert(Spilled && "failed to spill SGPR to VGPR when allocated"); 769 } else 770 AllSGPRSpilledToVGPRs = false; 771 } 772 } 773 } 774 } 775 776 FuncInfo->removeSGPRToVGPRFrameIndices(MFI); 777 778 // FIXME: The other checks should be redundant with allStackObjectsAreDead, 779 // but currently hasNonSpillStackObjects is set only from source 780 // allocas. Stack temps produced from legalization are not counted currently. 781 if (FuncInfo->hasNonSpillStackObjects() || FuncInfo->hasSpilledVGPRs() || 782 !AllSGPRSpilledToVGPRs || !allStackObjectsAreDead(MFI)) { 783 assert(RS && "RegScavenger required if spilling"); 784 785 // We force this to be at offset 0 so no user object ever has 0 as an 786 // address, so we may use 0 as an invalid pointer value. This is because 787 // LLVM assumes 0 is an invalid pointer in address space 0. Because alloca 788 // is required to be address space 0, we are forced to accept this for 789 // now. Ideally we could have the stack in another address space with 0 as a 790 // valid pointer, and -1 as the null value. 791 // 792 // This will also waste additional space when user stack objects require > 4 793 // byte alignment. 794 // 795 // The main cost here is losing the offset for addressing modes. However 796 // this also ensures we shouldn't need a register for the offset when 797 // emergency scavenging. 798 int ScavengeFI = MFI.CreateFixedObject( 799 TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false); 800 RS->addScavengingFrameIndex(ScavengeFI); 801 } 802 } 803 804 void SIFrameLowering::determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs, 805 RegScavenger *RS) const { 806 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); 807 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 808 809 // The SP is specifically managed and we don't want extra spills of it. 810 SavedRegs.reset(MFI->getStackPtrOffsetReg()); 811 } 812 813 MachineBasicBlock::iterator SIFrameLowering::eliminateCallFramePseudoInstr( 814 MachineFunction &MF, 815 MachineBasicBlock &MBB, 816 MachineBasicBlock::iterator I) const { 817 int64_t Amount = I->getOperand(0).getImm(); 818 if (Amount == 0) 819 return MBB.erase(I); 820 821 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); 822 const SIInstrInfo *TII = ST.getInstrInfo(); 823 const DebugLoc &DL = I->getDebugLoc(); 824 unsigned Opc = I->getOpcode(); 825 bool IsDestroy = Opc == TII->getCallFrameDestroyOpcode(); 826 uint64_t CalleePopAmount = IsDestroy ? I->getOperand(1).getImm() : 0; 827 828 const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering(); 829 if (!TFI->hasReservedCallFrame(MF)) { 830 unsigned Align = getStackAlignment(); 831 832 Amount = alignTo(Amount, Align); 833 assert(isUInt<32>(Amount) && "exceeded stack address space size"); 834 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 835 unsigned SPReg = MFI->getStackPtrOffsetReg(); 836 837 unsigned Op = IsDestroy ? AMDGPU::S_SUB_U32 : AMDGPU::S_ADD_U32; 838 BuildMI(MBB, I, DL, TII->get(Op), SPReg) 839 .addReg(SPReg) 840 .addImm(Amount * ST.getWavefrontSize()); 841 } else if (CalleePopAmount != 0) { 842 llvm_unreachable("is this used?"); 843 } 844 845 return MBB.erase(I); 846 } 847 848 bool SIFrameLowering::hasFP(const MachineFunction &MF) const { 849 // All stack operations are relative to the frame offset SGPR. 850 // TODO: Still want to eliminate sometimes. 851 const MachineFrameInfo &MFI = MF.getFrameInfo(); 852 853 // XXX - Is this only called after frame is finalized? Should be able to check 854 // frame size. 855 return MFI.hasStackObjects() && !allStackObjectsAreDead(MFI); 856 } 857 858 bool SIFrameLowering::hasSP(const MachineFunction &MF) const { 859 const SIRegisterInfo *TRI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo(); 860 // All stack operations are relative to the frame offset SGPR. 861 const MachineFrameInfo &MFI = MF.getFrameInfo(); 862 return MFI.hasCalls() || MFI.hasVarSizedObjects() || TRI->needsStackRealignment(MF); 863 } 864