1 //===-- SIRegisterInfo.cpp - SI Register Information ---------------------===// 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 /// \file 10 /// SI implementation of the TargetRegisterInfo class. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "SIRegisterInfo.h" 15 #include "AMDGPURegisterBankInfo.h" 16 #include "AMDGPUSubtarget.h" 17 #include "SIInstrInfo.h" 18 #include "SIMachineFunctionInfo.h" 19 #include "MCTargetDesc/AMDGPUInstPrinter.h" 20 #include "MCTargetDesc/AMDGPUMCTargetDesc.h" 21 #include "llvm/CodeGen/LiveIntervals.h" 22 #include "llvm/CodeGen/MachineDominators.h" 23 #include "llvm/CodeGen/MachineFrameInfo.h" 24 #include "llvm/CodeGen/MachineInstrBuilder.h" 25 #include "llvm/CodeGen/RegisterScavenging.h" 26 #include "llvm/CodeGen/SlotIndexes.h" 27 #include "llvm/IR/Function.h" 28 #include "llvm/IR/LLVMContext.h" 29 #include <vector> 30 31 using namespace llvm; 32 33 #define GET_REGINFO_TARGET_DESC 34 #include "AMDGPUGenRegisterInfo.inc" 35 36 static cl::opt<bool> EnableSpillSGPRToVGPR( 37 "amdgpu-spill-sgpr-to-vgpr", 38 cl::desc("Enable spilling VGPRs to SGPRs"), 39 cl::ReallyHidden, 40 cl::init(true)); 41 42 std::array<std::vector<int16_t>, 16> SIRegisterInfo::RegSplitParts; 43 44 SIRegisterInfo::SIRegisterInfo(const GCNSubtarget &ST) 45 : AMDGPUGenRegisterInfo(AMDGPU::PC_REG, ST.getAMDGPUDwarfFlavour()), ST(ST), 46 SpillSGPRToVGPR(EnableSpillSGPRToVGPR), isWave32(ST.isWave32()) { 47 48 assert(getSubRegIndexLaneMask(AMDGPU::sub0).getAsInteger() == 3 && 49 getSubRegIndexLaneMask(AMDGPU::sub31).getAsInteger() == (3ULL << 62) && 50 (getSubRegIndexLaneMask(AMDGPU::lo16) | 51 getSubRegIndexLaneMask(AMDGPU::hi16)).getAsInteger() == 52 getSubRegIndexLaneMask(AMDGPU::sub0).getAsInteger() && 53 "getNumCoveredRegs() will not work with generated subreg masks!"); 54 55 RegPressureIgnoredUnits.resize(getNumRegUnits()); 56 RegPressureIgnoredUnits.set(*MCRegUnitIterator(AMDGPU::M0, this)); 57 for (auto Reg : AMDGPU::VGPR_HI16RegClass) 58 RegPressureIgnoredUnits.set(*MCRegUnitIterator(Reg, this)); 59 60 // HACK: Until this is fully tablegen'd. 61 static llvm::once_flag InitializeRegSplitPartsFlag; 62 63 static auto InitializeRegSplitPartsOnce = [this]() { 64 for (unsigned Idx = 1, E = getNumSubRegIndices() - 1; Idx < E; ++Idx) { 65 unsigned Size = getSubRegIdxSize(Idx); 66 if (Size & 31) 67 continue; 68 std::vector<int16_t> &Vec = RegSplitParts[Size / 32 - 1]; 69 unsigned Pos = getSubRegIdxOffset(Idx); 70 if (Pos % Size) 71 continue; 72 Pos /= Size; 73 if (Vec.empty()) { 74 unsigned MaxNumParts = 1024 / Size; // Maximum register is 1024 bits. 75 Vec.resize(MaxNumParts); 76 } 77 Vec[Pos] = Idx; 78 } 79 }; 80 81 82 llvm::call_once(InitializeRegSplitPartsFlag, InitializeRegSplitPartsOnce); 83 } 84 85 void SIRegisterInfo::reserveRegisterTuples(BitVector &Reserved, 86 MCRegister Reg) const { 87 MCRegAliasIterator R(Reg, this, true); 88 89 for (; R.isValid(); ++R) 90 Reserved.set(*R); 91 } 92 93 // Forced to be here by one .inc 94 const MCPhysReg *SIRegisterInfo::getCalleeSavedRegs( 95 const MachineFunction *MF) const { 96 CallingConv::ID CC = MF->getFunction().getCallingConv(); 97 switch (CC) { 98 case CallingConv::C: 99 case CallingConv::Fast: 100 case CallingConv::Cold: 101 return CSR_AMDGPU_HighRegs_SaveList; 102 default: { 103 // Dummy to not crash RegisterClassInfo. 104 static const MCPhysReg NoCalleeSavedReg = AMDGPU::NoRegister; 105 return &NoCalleeSavedReg; 106 } 107 } 108 } 109 110 const MCPhysReg * 111 SIRegisterInfo::getCalleeSavedRegsViaCopy(const MachineFunction *MF) const { 112 return nullptr; 113 } 114 115 const uint32_t *SIRegisterInfo::getCallPreservedMask(const MachineFunction &MF, 116 CallingConv::ID CC) const { 117 switch (CC) { 118 case CallingConv::C: 119 case CallingConv::Fast: 120 case CallingConv::Cold: 121 return CSR_AMDGPU_HighRegs_RegMask; 122 default: 123 return nullptr; 124 } 125 } 126 127 Register SIRegisterInfo::getFrameRegister(const MachineFunction &MF) const { 128 const SIFrameLowering *TFI = 129 MF.getSubtarget<GCNSubtarget>().getFrameLowering(); 130 const SIMachineFunctionInfo *FuncInfo = MF.getInfo<SIMachineFunctionInfo>(); 131 // During ISel lowering we always reserve the stack pointer in entry 132 // functions, but never actually want to reference it when accessing our own 133 // frame. If we need a frame pointer we use it, but otherwise we can just use 134 // an immediate "0" which we represent by returning NoRegister. 135 if (FuncInfo->isEntryFunction()) { 136 return TFI->hasFP(MF) ? FuncInfo->getFrameOffsetReg() : Register(); 137 } 138 return TFI->hasFP(MF) ? FuncInfo->getFrameOffsetReg() 139 : FuncInfo->getStackPtrOffsetReg(); 140 } 141 142 bool SIRegisterInfo::hasBasePointer(const MachineFunction &MF) const { 143 // When we need stack realignment, we can't reference off of the 144 // stack pointer, so we reserve a base pointer. 145 const MachineFrameInfo &MFI = MF.getFrameInfo(); 146 return MFI.getNumFixedObjects() && needsStackRealignment(MF); 147 } 148 149 Register SIRegisterInfo::getBaseRegister() const { return AMDGPU::SGPR34; } 150 151 const uint32_t *SIRegisterInfo::getAllVGPRRegMask() const { 152 return CSR_AMDGPU_AllVGPRs_RegMask; 153 } 154 155 const uint32_t *SIRegisterInfo::getAllAllocatableSRegMask() const { 156 return CSR_AMDGPU_AllAllocatableSRegs_RegMask; 157 } 158 159 // FIXME: TableGen should generate something to make this manageable for all 160 // register classes. At a minimum we could use the opposite of 161 // composeSubRegIndices and go up from the base 32-bit subreg. 162 unsigned SIRegisterInfo::getSubRegFromChannel(unsigned Channel, 163 unsigned NumRegs) { 164 // Table of NumRegs sized pieces at every 32-bit offset. 165 static const uint16_t SubRegFromChannelTable[][32] = { 166 {AMDGPU::sub0, AMDGPU::sub1, AMDGPU::sub2, AMDGPU::sub3, 167 AMDGPU::sub4, AMDGPU::sub5, AMDGPU::sub6, AMDGPU::sub7, 168 AMDGPU::sub8, AMDGPU::sub9, AMDGPU::sub10, AMDGPU::sub11, 169 AMDGPU::sub12, AMDGPU::sub13, AMDGPU::sub14, AMDGPU::sub15, 170 AMDGPU::sub16, AMDGPU::sub17, AMDGPU::sub18, AMDGPU::sub19, 171 AMDGPU::sub20, AMDGPU::sub21, AMDGPU::sub22, AMDGPU::sub23, 172 AMDGPU::sub24, AMDGPU::sub25, AMDGPU::sub26, AMDGPU::sub27, 173 AMDGPU::sub28, AMDGPU::sub29, AMDGPU::sub30, AMDGPU::sub31}, 174 {AMDGPU::sub0_sub1, AMDGPU::sub1_sub2, AMDGPU::sub2_sub3, 175 AMDGPU::sub3_sub4, AMDGPU::sub4_sub5, AMDGPU::sub5_sub6, 176 AMDGPU::sub6_sub7, AMDGPU::sub7_sub8, AMDGPU::sub8_sub9, 177 AMDGPU::sub9_sub10, AMDGPU::sub10_sub11, AMDGPU::sub11_sub12, 178 AMDGPU::sub12_sub13, AMDGPU::sub13_sub14, AMDGPU::sub14_sub15, 179 AMDGPU::sub15_sub16, AMDGPU::sub16_sub17, AMDGPU::sub17_sub18, 180 AMDGPU::sub18_sub19, AMDGPU::sub19_sub20, AMDGPU::sub20_sub21, 181 AMDGPU::sub21_sub22, AMDGPU::sub22_sub23, AMDGPU::sub23_sub24, 182 AMDGPU::sub24_sub25, AMDGPU::sub25_sub26, AMDGPU::sub26_sub27, 183 AMDGPU::sub27_sub28, AMDGPU::sub28_sub29, AMDGPU::sub29_sub30, 184 AMDGPU::sub30_sub31, AMDGPU::NoSubRegister}, 185 {AMDGPU::sub0_sub1_sub2, AMDGPU::sub1_sub2_sub3, 186 AMDGPU::sub2_sub3_sub4, AMDGPU::sub3_sub4_sub5, 187 AMDGPU::sub4_sub5_sub6, AMDGPU::sub5_sub6_sub7, 188 AMDGPU::sub6_sub7_sub8, AMDGPU::sub7_sub8_sub9, 189 AMDGPU::sub8_sub9_sub10, AMDGPU::sub9_sub10_sub11, 190 AMDGPU::sub10_sub11_sub12, AMDGPU::sub11_sub12_sub13, 191 AMDGPU::sub12_sub13_sub14, AMDGPU::sub13_sub14_sub15, 192 AMDGPU::sub14_sub15_sub16, AMDGPU::sub15_sub16_sub17, 193 AMDGPU::sub16_sub17_sub18, AMDGPU::sub17_sub18_sub19, 194 AMDGPU::sub18_sub19_sub20, AMDGPU::sub19_sub20_sub21, 195 AMDGPU::sub20_sub21_sub22, AMDGPU::sub21_sub22_sub23, 196 AMDGPU::sub22_sub23_sub24, AMDGPU::sub23_sub24_sub25, 197 AMDGPU::sub24_sub25_sub26, AMDGPU::sub25_sub26_sub27, 198 AMDGPU::sub26_sub27_sub28, AMDGPU::sub27_sub28_sub29, 199 AMDGPU::sub28_sub29_sub30, AMDGPU::sub29_sub30_sub31, 200 AMDGPU::NoSubRegister, AMDGPU::NoSubRegister}, 201 {AMDGPU::sub0_sub1_sub2_sub3, AMDGPU::sub1_sub2_sub3_sub4, 202 AMDGPU::sub2_sub3_sub4_sub5, AMDGPU::sub3_sub4_sub5_sub6, 203 AMDGPU::sub4_sub5_sub6_sub7, AMDGPU::sub5_sub6_sub7_sub8, 204 AMDGPU::sub6_sub7_sub8_sub9, AMDGPU::sub7_sub8_sub9_sub10, 205 AMDGPU::sub8_sub9_sub10_sub11, AMDGPU::sub9_sub10_sub11_sub12, 206 AMDGPU::sub10_sub11_sub12_sub13, AMDGPU::sub11_sub12_sub13_sub14, 207 AMDGPU::sub12_sub13_sub14_sub15, AMDGPU::sub13_sub14_sub15_sub16, 208 AMDGPU::sub14_sub15_sub16_sub17, AMDGPU::sub15_sub16_sub17_sub18, 209 AMDGPU::sub16_sub17_sub18_sub19, AMDGPU::sub17_sub18_sub19_sub20, 210 AMDGPU::sub18_sub19_sub20_sub21, AMDGPU::sub19_sub20_sub21_sub22, 211 AMDGPU::sub20_sub21_sub22_sub23, AMDGPU::sub21_sub22_sub23_sub24, 212 AMDGPU::sub22_sub23_sub24_sub25, AMDGPU::sub23_sub24_sub25_sub26, 213 AMDGPU::sub24_sub25_sub26_sub27, AMDGPU::sub25_sub26_sub27_sub28, 214 AMDGPU::sub26_sub27_sub28_sub29, AMDGPU::sub27_sub28_sub29_sub30, 215 AMDGPU::sub28_sub29_sub30_sub31, AMDGPU::NoSubRegister, 216 AMDGPU::NoSubRegister, AMDGPU::NoSubRegister}}; 217 218 const unsigned NumRegIndex = NumRegs - 1; 219 220 assert(NumRegIndex < array_lengthof(SubRegFromChannelTable) && 221 "Not implemented"); 222 assert(Channel < array_lengthof(SubRegFromChannelTable[0])); 223 return SubRegFromChannelTable[NumRegIndex][Channel]; 224 } 225 226 MCRegister SIRegisterInfo::reservedPrivateSegmentBufferReg( 227 const MachineFunction &MF) const { 228 unsigned BaseIdx = alignDown(ST.getMaxNumSGPRs(MF), 4) - 4; 229 MCRegister BaseReg(AMDGPU::SGPR_32RegClass.getRegister(BaseIdx)); 230 return getMatchingSuperReg(BaseReg, AMDGPU::sub0, &AMDGPU::SGPR_128RegClass); 231 } 232 233 BitVector SIRegisterInfo::getReservedRegs(const MachineFunction &MF) const { 234 BitVector Reserved(getNumRegs()); 235 Reserved.set(AMDGPU::MODE); 236 237 // EXEC_LO and EXEC_HI could be allocated and used as regular register, but 238 // this seems likely to result in bugs, so I'm marking them as reserved. 239 reserveRegisterTuples(Reserved, AMDGPU::EXEC); 240 reserveRegisterTuples(Reserved, AMDGPU::FLAT_SCR); 241 242 // M0 has to be reserved so that llvm accepts it as a live-in into a block. 243 reserveRegisterTuples(Reserved, AMDGPU::M0); 244 245 // Reserve src_vccz, src_execz, src_scc. 246 reserveRegisterTuples(Reserved, AMDGPU::SRC_VCCZ); 247 reserveRegisterTuples(Reserved, AMDGPU::SRC_EXECZ); 248 reserveRegisterTuples(Reserved, AMDGPU::SRC_SCC); 249 250 // Reserve the memory aperture registers. 251 reserveRegisterTuples(Reserved, AMDGPU::SRC_SHARED_BASE); 252 reserveRegisterTuples(Reserved, AMDGPU::SRC_SHARED_LIMIT); 253 reserveRegisterTuples(Reserved, AMDGPU::SRC_PRIVATE_BASE); 254 reserveRegisterTuples(Reserved, AMDGPU::SRC_PRIVATE_LIMIT); 255 256 // Reserve src_pops_exiting_wave_id - support is not implemented in Codegen. 257 reserveRegisterTuples(Reserved, AMDGPU::SRC_POPS_EXITING_WAVE_ID); 258 259 // Reserve xnack_mask registers - support is not implemented in Codegen. 260 reserveRegisterTuples(Reserved, AMDGPU::XNACK_MASK); 261 262 // Reserve lds_direct register - support is not implemented in Codegen. 263 reserveRegisterTuples(Reserved, AMDGPU::LDS_DIRECT); 264 265 // Reserve Trap Handler registers - support is not implemented in Codegen. 266 reserveRegisterTuples(Reserved, AMDGPU::TBA); 267 reserveRegisterTuples(Reserved, AMDGPU::TMA); 268 reserveRegisterTuples(Reserved, AMDGPU::TTMP0_TTMP1); 269 reserveRegisterTuples(Reserved, AMDGPU::TTMP2_TTMP3); 270 reserveRegisterTuples(Reserved, AMDGPU::TTMP4_TTMP5); 271 reserveRegisterTuples(Reserved, AMDGPU::TTMP6_TTMP7); 272 reserveRegisterTuples(Reserved, AMDGPU::TTMP8_TTMP9); 273 reserveRegisterTuples(Reserved, AMDGPU::TTMP10_TTMP11); 274 reserveRegisterTuples(Reserved, AMDGPU::TTMP12_TTMP13); 275 reserveRegisterTuples(Reserved, AMDGPU::TTMP14_TTMP15); 276 277 // Reserve null register - it shall never be allocated 278 reserveRegisterTuples(Reserved, AMDGPU::SGPR_NULL); 279 280 // Disallow vcc_hi allocation in wave32. It may be allocated but most likely 281 // will result in bugs. 282 if (isWave32) { 283 Reserved.set(AMDGPU::VCC); 284 Reserved.set(AMDGPU::VCC_HI); 285 } 286 287 unsigned MaxNumSGPRs = ST.getMaxNumSGPRs(MF); 288 unsigned TotalNumSGPRs = AMDGPU::SGPR_32RegClass.getNumRegs(); 289 for (unsigned i = MaxNumSGPRs; i < TotalNumSGPRs; ++i) { 290 unsigned Reg = AMDGPU::SGPR_32RegClass.getRegister(i); 291 reserveRegisterTuples(Reserved, Reg); 292 } 293 294 unsigned MaxNumVGPRs = ST.getMaxNumVGPRs(MF); 295 unsigned TotalNumVGPRs = AMDGPU::VGPR_32RegClass.getNumRegs(); 296 for (unsigned i = MaxNumVGPRs; i < TotalNumVGPRs; ++i) { 297 unsigned Reg = AMDGPU::VGPR_32RegClass.getRegister(i); 298 reserveRegisterTuples(Reserved, Reg); 299 Reg = AMDGPU::AGPR_32RegClass.getRegister(i); 300 reserveRegisterTuples(Reserved, Reg); 301 } 302 303 for (auto Reg : AMDGPU::SReg_32RegClass) { 304 Reserved.set(getSubReg(Reg, AMDGPU::hi16)); 305 Register Low = getSubReg(Reg, AMDGPU::lo16); 306 // This is to prevent BB vcc liveness errors. 307 if (!AMDGPU::SGPR_LO16RegClass.contains(Low)) 308 Reserved.set(Low); 309 } 310 311 for (auto Reg : AMDGPU::AGPR_32RegClass) { 312 Reserved.set(getSubReg(Reg, AMDGPU::hi16)); 313 } 314 315 // Reserve all the rest AGPRs if there are no instructions to use it. 316 if (!ST.hasMAIInsts()) { 317 for (unsigned i = 0; i < MaxNumVGPRs; ++i) { 318 unsigned Reg = AMDGPU::AGPR_32RegClass.getRegister(i); 319 reserveRegisterTuples(Reserved, Reg); 320 } 321 } 322 323 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 324 325 Register ScratchRSrcReg = MFI->getScratchRSrcReg(); 326 if (ScratchRSrcReg != AMDGPU::NoRegister) { 327 // Reserve 4 SGPRs for the scratch buffer resource descriptor in case we need 328 // to spill. 329 // TODO: May need to reserve a VGPR if doing LDS spilling. 330 reserveRegisterTuples(Reserved, ScratchRSrcReg); 331 } 332 333 // We have to assume the SP is needed in case there are calls in the function, 334 // which is detected after the function is lowered. If we aren't really going 335 // to need SP, don't bother reserving it. 336 MCRegister StackPtrReg = MFI->getStackPtrOffsetReg(); 337 338 if (StackPtrReg) { 339 reserveRegisterTuples(Reserved, StackPtrReg); 340 assert(!isSubRegister(ScratchRSrcReg, StackPtrReg)); 341 } 342 343 MCRegister FrameReg = MFI->getFrameOffsetReg(); 344 if (FrameReg) { 345 reserveRegisterTuples(Reserved, FrameReg); 346 assert(!isSubRegister(ScratchRSrcReg, FrameReg)); 347 } 348 349 if (hasBasePointer(MF)) { 350 MCRegister BasePtrReg = getBaseRegister(); 351 reserveRegisterTuples(Reserved, BasePtrReg); 352 assert(!isSubRegister(ScratchRSrcReg, BasePtrReg)); 353 } 354 355 for (MCRegister Reg : MFI->WWMReservedRegs) { 356 reserveRegisterTuples(Reserved, Reg); 357 } 358 359 // FIXME: Stop using reserved registers for this. 360 for (MCPhysReg Reg : MFI->getAGPRSpillVGPRs()) 361 reserveRegisterTuples(Reserved, Reg); 362 363 for (MCPhysReg Reg : MFI->getVGPRSpillAGPRs()) 364 reserveRegisterTuples(Reserved, Reg); 365 366 if (MFI->VGPRReservedForSGPRSpill) 367 for (auto SSpill : MFI->getSGPRSpillVGPRs()) 368 reserveRegisterTuples(Reserved, SSpill.VGPR); 369 370 return Reserved; 371 } 372 373 bool SIRegisterInfo::canRealignStack(const MachineFunction &MF) const { 374 const SIMachineFunctionInfo *Info = MF.getInfo<SIMachineFunctionInfo>(); 375 // On entry, the base address is 0, so it can't possibly need any more 376 // alignment. 377 378 // FIXME: Should be able to specify the entry frame alignment per calling 379 // convention instead. 380 if (Info->isEntryFunction()) 381 return false; 382 383 return TargetRegisterInfo::canRealignStack(MF); 384 } 385 386 bool SIRegisterInfo::requiresRegisterScavenging(const MachineFunction &Fn) const { 387 const SIMachineFunctionInfo *Info = Fn.getInfo<SIMachineFunctionInfo>(); 388 if (Info->isEntryFunction()) { 389 const MachineFrameInfo &MFI = Fn.getFrameInfo(); 390 return MFI.hasStackObjects() || MFI.hasCalls(); 391 } 392 393 // May need scavenger for dealing with callee saved registers. 394 return true; 395 } 396 397 bool SIRegisterInfo::requiresFrameIndexScavenging( 398 const MachineFunction &MF) const { 399 // Do not use frame virtual registers. They used to be used for SGPRs, but 400 // once we reach PrologEpilogInserter, we can no longer spill SGPRs. If the 401 // scavenger fails, we can increment/decrement the necessary SGPRs to avoid a 402 // spill. 403 return false; 404 } 405 406 bool SIRegisterInfo::requiresFrameIndexReplacementScavenging( 407 const MachineFunction &MF) const { 408 const MachineFrameInfo &MFI = MF.getFrameInfo(); 409 return MFI.hasStackObjects(); 410 } 411 412 bool SIRegisterInfo::requiresVirtualBaseRegisters( 413 const MachineFunction &) const { 414 // There are no special dedicated stack or frame pointers. 415 return true; 416 } 417 418 int64_t SIRegisterInfo::getMUBUFInstrOffset(const MachineInstr *MI) const { 419 assert(SIInstrInfo::isMUBUF(*MI)); 420 421 int OffIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(), 422 AMDGPU::OpName::offset); 423 return MI->getOperand(OffIdx).getImm(); 424 } 425 426 int64_t SIRegisterInfo::getFrameIndexInstrOffset(const MachineInstr *MI, 427 int Idx) const { 428 if (!SIInstrInfo::isMUBUF(*MI)) 429 return 0; 430 431 assert(Idx == AMDGPU::getNamedOperandIdx(MI->getOpcode(), 432 AMDGPU::OpName::vaddr) && 433 "Should never see frame index on non-address operand"); 434 435 return getMUBUFInstrOffset(MI); 436 } 437 438 bool SIRegisterInfo::needsFrameBaseReg(MachineInstr *MI, int64_t Offset) const { 439 if (!MI->mayLoadOrStore()) 440 return false; 441 442 int64_t FullOffset = Offset + getMUBUFInstrOffset(MI); 443 444 return !isUInt<12>(FullOffset); 445 } 446 447 void SIRegisterInfo::materializeFrameBaseRegister(MachineBasicBlock *MBB, 448 Register BaseReg, 449 int FrameIdx, 450 int64_t Offset) const { 451 MachineBasicBlock::iterator Ins = MBB->begin(); 452 DebugLoc DL; // Defaults to "unknown" 453 454 if (Ins != MBB->end()) 455 DL = Ins->getDebugLoc(); 456 457 MachineFunction *MF = MBB->getParent(); 458 const SIInstrInfo *TII = ST.getInstrInfo(); 459 460 if (Offset == 0) { 461 BuildMI(*MBB, Ins, DL, TII->get(AMDGPU::V_MOV_B32_e32), BaseReg) 462 .addFrameIndex(FrameIdx); 463 return; 464 } 465 466 MachineRegisterInfo &MRI = MF->getRegInfo(); 467 Register OffsetReg = MRI.createVirtualRegister(&AMDGPU::SReg_32_XM0RegClass); 468 469 Register FIReg = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass); 470 471 BuildMI(*MBB, Ins, DL, TII->get(AMDGPU::S_MOV_B32), OffsetReg) 472 .addImm(Offset); 473 BuildMI(*MBB, Ins, DL, TII->get(AMDGPU::V_MOV_B32_e32), FIReg) 474 .addFrameIndex(FrameIdx); 475 476 TII->getAddNoCarry(*MBB, Ins, DL, BaseReg) 477 .addReg(OffsetReg, RegState::Kill) 478 .addReg(FIReg) 479 .addImm(0); // clamp bit 480 } 481 482 void SIRegisterInfo::resolveFrameIndex(MachineInstr &MI, Register BaseReg, 483 int64_t Offset) const { 484 const SIInstrInfo *TII = ST.getInstrInfo(); 485 486 #ifndef NDEBUG 487 // FIXME: Is it possible to be storing a frame index to itself? 488 bool SeenFI = false; 489 for (const MachineOperand &MO: MI.operands()) { 490 if (MO.isFI()) { 491 if (SeenFI) 492 llvm_unreachable("should not see multiple frame indices"); 493 494 SeenFI = true; 495 } 496 } 497 #endif 498 499 MachineOperand *FIOp = TII->getNamedOperand(MI, AMDGPU::OpName::vaddr); 500 #ifndef NDEBUG 501 MachineBasicBlock *MBB = MI.getParent(); 502 MachineFunction *MF = MBB->getParent(); 503 #endif 504 assert(FIOp && FIOp->isFI() && "frame index must be address operand"); 505 assert(TII->isMUBUF(MI)); 506 assert(TII->getNamedOperand(MI, AMDGPU::OpName::soffset)->getReg() == 507 MF->getInfo<SIMachineFunctionInfo>()->getStackPtrOffsetReg() && 508 "should only be seeing stack pointer offset relative FrameIndex"); 509 510 MachineOperand *OffsetOp = TII->getNamedOperand(MI, AMDGPU::OpName::offset); 511 int64_t NewOffset = OffsetOp->getImm() + Offset; 512 assert(isUInt<12>(NewOffset) && "offset should be legal"); 513 514 FIOp->ChangeToRegister(BaseReg, false); 515 OffsetOp->setImm(NewOffset); 516 } 517 518 bool SIRegisterInfo::isFrameOffsetLegal(const MachineInstr *MI, 519 Register BaseReg, 520 int64_t Offset) const { 521 if (!SIInstrInfo::isMUBUF(*MI)) 522 return false; 523 524 int64_t NewOffset = Offset + getMUBUFInstrOffset(MI); 525 526 return isUInt<12>(NewOffset); 527 } 528 529 const TargetRegisterClass *SIRegisterInfo::getPointerRegClass( 530 const MachineFunction &MF, unsigned Kind) const { 531 // This is inaccurate. It depends on the instruction and address space. The 532 // only place where we should hit this is for dealing with frame indexes / 533 // private accesses, so this is correct in that case. 534 return &AMDGPU::VGPR_32RegClass; 535 } 536 537 static unsigned getNumSubRegsForSpillOp(unsigned Op) { 538 539 switch (Op) { 540 case AMDGPU::SI_SPILL_S1024_SAVE: 541 case AMDGPU::SI_SPILL_S1024_RESTORE: 542 case AMDGPU::SI_SPILL_V1024_SAVE: 543 case AMDGPU::SI_SPILL_V1024_RESTORE: 544 case AMDGPU::SI_SPILL_A1024_SAVE: 545 case AMDGPU::SI_SPILL_A1024_RESTORE: 546 return 32; 547 case AMDGPU::SI_SPILL_S512_SAVE: 548 case AMDGPU::SI_SPILL_S512_RESTORE: 549 case AMDGPU::SI_SPILL_V512_SAVE: 550 case AMDGPU::SI_SPILL_V512_RESTORE: 551 case AMDGPU::SI_SPILL_A512_SAVE: 552 case AMDGPU::SI_SPILL_A512_RESTORE: 553 return 16; 554 case AMDGPU::SI_SPILL_S256_SAVE: 555 case AMDGPU::SI_SPILL_S256_RESTORE: 556 case AMDGPU::SI_SPILL_V256_SAVE: 557 case AMDGPU::SI_SPILL_V256_RESTORE: 558 case AMDGPU::SI_SPILL_A256_SAVE: 559 case AMDGPU::SI_SPILL_A256_RESTORE: 560 return 8; 561 case AMDGPU::SI_SPILL_S192_SAVE: 562 case AMDGPU::SI_SPILL_S192_RESTORE: 563 case AMDGPU::SI_SPILL_V192_SAVE: 564 case AMDGPU::SI_SPILL_V192_RESTORE: 565 case AMDGPU::SI_SPILL_A192_SAVE: 566 case AMDGPU::SI_SPILL_A192_RESTORE: 567 return 6; 568 case AMDGPU::SI_SPILL_S160_SAVE: 569 case AMDGPU::SI_SPILL_S160_RESTORE: 570 case AMDGPU::SI_SPILL_V160_SAVE: 571 case AMDGPU::SI_SPILL_V160_RESTORE: 572 case AMDGPU::SI_SPILL_A160_SAVE: 573 case AMDGPU::SI_SPILL_A160_RESTORE: 574 return 5; 575 case AMDGPU::SI_SPILL_S128_SAVE: 576 case AMDGPU::SI_SPILL_S128_RESTORE: 577 case AMDGPU::SI_SPILL_V128_SAVE: 578 case AMDGPU::SI_SPILL_V128_RESTORE: 579 case AMDGPU::SI_SPILL_A128_SAVE: 580 case AMDGPU::SI_SPILL_A128_RESTORE: 581 return 4; 582 case AMDGPU::SI_SPILL_S96_SAVE: 583 case AMDGPU::SI_SPILL_S96_RESTORE: 584 case AMDGPU::SI_SPILL_V96_SAVE: 585 case AMDGPU::SI_SPILL_V96_RESTORE: 586 case AMDGPU::SI_SPILL_A96_SAVE: 587 case AMDGPU::SI_SPILL_A96_RESTORE: 588 return 3; 589 case AMDGPU::SI_SPILL_S64_SAVE: 590 case AMDGPU::SI_SPILL_S64_RESTORE: 591 case AMDGPU::SI_SPILL_V64_SAVE: 592 case AMDGPU::SI_SPILL_V64_RESTORE: 593 case AMDGPU::SI_SPILL_A64_SAVE: 594 case AMDGPU::SI_SPILL_A64_RESTORE: 595 return 2; 596 case AMDGPU::SI_SPILL_S32_SAVE: 597 case AMDGPU::SI_SPILL_S32_RESTORE: 598 case AMDGPU::SI_SPILL_V32_SAVE: 599 case AMDGPU::SI_SPILL_V32_RESTORE: 600 case AMDGPU::SI_SPILL_A32_SAVE: 601 case AMDGPU::SI_SPILL_A32_RESTORE: 602 return 1; 603 default: llvm_unreachable("Invalid spill opcode"); 604 } 605 } 606 607 static int getOffsetMUBUFStore(unsigned Opc) { 608 switch (Opc) { 609 case AMDGPU::BUFFER_STORE_DWORD_OFFEN: 610 return AMDGPU::BUFFER_STORE_DWORD_OFFSET; 611 case AMDGPU::BUFFER_STORE_BYTE_OFFEN: 612 return AMDGPU::BUFFER_STORE_BYTE_OFFSET; 613 case AMDGPU::BUFFER_STORE_SHORT_OFFEN: 614 return AMDGPU::BUFFER_STORE_SHORT_OFFSET; 615 case AMDGPU::BUFFER_STORE_DWORDX2_OFFEN: 616 return AMDGPU::BUFFER_STORE_DWORDX2_OFFSET; 617 case AMDGPU::BUFFER_STORE_DWORDX4_OFFEN: 618 return AMDGPU::BUFFER_STORE_DWORDX4_OFFSET; 619 case AMDGPU::BUFFER_STORE_SHORT_D16_HI_OFFEN: 620 return AMDGPU::BUFFER_STORE_SHORT_D16_HI_OFFSET; 621 case AMDGPU::BUFFER_STORE_BYTE_D16_HI_OFFEN: 622 return AMDGPU::BUFFER_STORE_BYTE_D16_HI_OFFSET; 623 default: 624 return -1; 625 } 626 } 627 628 static int getOffsetMUBUFLoad(unsigned Opc) { 629 switch (Opc) { 630 case AMDGPU::BUFFER_LOAD_DWORD_OFFEN: 631 return AMDGPU::BUFFER_LOAD_DWORD_OFFSET; 632 case AMDGPU::BUFFER_LOAD_UBYTE_OFFEN: 633 return AMDGPU::BUFFER_LOAD_UBYTE_OFFSET; 634 case AMDGPU::BUFFER_LOAD_SBYTE_OFFEN: 635 return AMDGPU::BUFFER_LOAD_SBYTE_OFFSET; 636 case AMDGPU::BUFFER_LOAD_USHORT_OFFEN: 637 return AMDGPU::BUFFER_LOAD_USHORT_OFFSET; 638 case AMDGPU::BUFFER_LOAD_SSHORT_OFFEN: 639 return AMDGPU::BUFFER_LOAD_SSHORT_OFFSET; 640 case AMDGPU::BUFFER_LOAD_DWORDX2_OFFEN: 641 return AMDGPU::BUFFER_LOAD_DWORDX2_OFFSET; 642 case AMDGPU::BUFFER_LOAD_DWORDX4_OFFEN: 643 return AMDGPU::BUFFER_LOAD_DWORDX4_OFFSET; 644 case AMDGPU::BUFFER_LOAD_UBYTE_D16_OFFEN: 645 return AMDGPU::BUFFER_LOAD_UBYTE_D16_OFFSET; 646 case AMDGPU::BUFFER_LOAD_UBYTE_D16_HI_OFFEN: 647 return AMDGPU::BUFFER_LOAD_UBYTE_D16_HI_OFFSET; 648 case AMDGPU::BUFFER_LOAD_SBYTE_D16_OFFEN: 649 return AMDGPU::BUFFER_LOAD_SBYTE_D16_OFFSET; 650 case AMDGPU::BUFFER_LOAD_SBYTE_D16_HI_OFFEN: 651 return AMDGPU::BUFFER_LOAD_SBYTE_D16_HI_OFFSET; 652 case AMDGPU::BUFFER_LOAD_SHORT_D16_OFFEN: 653 return AMDGPU::BUFFER_LOAD_SHORT_D16_OFFSET; 654 case AMDGPU::BUFFER_LOAD_SHORT_D16_HI_OFFEN: 655 return AMDGPU::BUFFER_LOAD_SHORT_D16_HI_OFFSET; 656 default: 657 return -1; 658 } 659 } 660 661 static MachineInstrBuilder spillVGPRtoAGPR(const GCNSubtarget &ST, 662 MachineBasicBlock::iterator MI, 663 int Index, 664 unsigned Lane, 665 unsigned ValueReg, 666 bool IsKill) { 667 MachineBasicBlock *MBB = MI->getParent(); 668 MachineFunction *MF = MI->getParent()->getParent(); 669 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 670 const SIInstrInfo *TII = ST.getInstrInfo(); 671 672 MCPhysReg Reg = MFI->getVGPRToAGPRSpill(Index, Lane); 673 674 if (Reg == AMDGPU::NoRegister) 675 return MachineInstrBuilder(); 676 677 bool IsStore = MI->mayStore(); 678 MachineRegisterInfo &MRI = MF->getRegInfo(); 679 auto *TRI = static_cast<const SIRegisterInfo*>(MRI.getTargetRegisterInfo()); 680 681 unsigned Dst = IsStore ? Reg : ValueReg; 682 unsigned Src = IsStore ? ValueReg : Reg; 683 unsigned Opc = (IsStore ^ TRI->isVGPR(MRI, Reg)) ? AMDGPU::V_ACCVGPR_WRITE_B32 684 : AMDGPU::V_ACCVGPR_READ_B32; 685 686 return BuildMI(*MBB, MI, MI->getDebugLoc(), TII->get(Opc), Dst) 687 .addReg(Src, getKillRegState(IsKill)); 688 } 689 690 // This differs from buildSpillLoadStore by only scavenging a VGPR. It does not 691 // need to handle the case where an SGPR may need to be spilled while spilling. 692 static bool buildMUBUFOffsetLoadStore(const GCNSubtarget &ST, 693 MachineFrameInfo &MFI, 694 MachineBasicBlock::iterator MI, 695 int Index, 696 int64_t Offset) { 697 const SIInstrInfo *TII = ST.getInstrInfo(); 698 MachineBasicBlock *MBB = MI->getParent(); 699 const DebugLoc &DL = MI->getDebugLoc(); 700 bool IsStore = MI->mayStore(); 701 702 unsigned Opc = MI->getOpcode(); 703 int LoadStoreOp = IsStore ? 704 getOffsetMUBUFStore(Opc) : getOffsetMUBUFLoad(Opc); 705 if (LoadStoreOp == -1) 706 return false; 707 708 const MachineOperand *Reg = TII->getNamedOperand(*MI, AMDGPU::OpName::vdata); 709 if (spillVGPRtoAGPR(ST, MI, Index, 0, Reg->getReg(), false).getInstr()) 710 return true; 711 712 MachineInstrBuilder NewMI = 713 BuildMI(*MBB, MI, DL, TII->get(LoadStoreOp)) 714 .add(*Reg) 715 .add(*TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)) 716 .add(*TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)) 717 .addImm(Offset) 718 .addImm(0) // glc 719 .addImm(0) // slc 720 .addImm(0) // tfe 721 .addImm(0) // dlc 722 .addImm(0) // swz 723 .cloneMemRefs(*MI); 724 725 const MachineOperand *VDataIn = TII->getNamedOperand(*MI, 726 AMDGPU::OpName::vdata_in); 727 if (VDataIn) 728 NewMI.add(*VDataIn); 729 return true; 730 } 731 732 void SIRegisterInfo::buildSpillLoadStore(MachineBasicBlock::iterator MI, 733 unsigned LoadStoreOp, 734 int Index, 735 Register ValueReg, 736 bool IsKill, 737 MCRegister ScratchRsrcReg, 738 MCRegister ScratchOffsetReg, 739 int64_t InstOffset, 740 MachineMemOperand *MMO, 741 RegScavenger *RS) const { 742 MachineBasicBlock *MBB = MI->getParent(); 743 MachineFunction *MF = MI->getParent()->getParent(); 744 const SIInstrInfo *TII = ST.getInstrInfo(); 745 const MachineFrameInfo &MFI = MF->getFrameInfo(); 746 const SIMachineFunctionInfo *FuncInfo = MF->getInfo<SIMachineFunctionInfo>(); 747 748 const MCInstrDesc &Desc = TII->get(LoadStoreOp); 749 const DebugLoc &DL = MI->getDebugLoc(); 750 bool IsStore = Desc.mayStore(); 751 752 bool Scavenged = false; 753 MCRegister SOffset = ScratchOffsetReg; 754 755 const unsigned EltSize = 4; 756 const TargetRegisterClass *RC = getRegClassForReg(MF->getRegInfo(), ValueReg); 757 unsigned NumSubRegs = AMDGPU::getRegBitWidth(RC->getID()) / (EltSize * CHAR_BIT); 758 unsigned Size = NumSubRegs * EltSize; 759 int64_t Offset = InstOffset + MFI.getObjectOffset(Index); 760 int64_t ScratchOffsetRegDelta = 0; 761 762 Align Alignment = MFI.getObjectAlign(Index); 763 const MachinePointerInfo &BasePtrInfo = MMO->getPointerInfo(); 764 765 assert((Offset % EltSize) == 0 && "unexpected VGPR spill offset"); 766 767 if (!isUInt<12>(Offset + Size - EltSize)) { 768 SOffset = MCRegister(); 769 770 // We currently only support spilling VGPRs to EltSize boundaries, meaning 771 // we can simplify the adjustment of Offset here to just scale with 772 // WavefrontSize. 773 Offset *= ST.getWavefrontSize(); 774 775 // We don't have access to the register scavenger if this function is called 776 // during PEI::scavengeFrameVirtualRegs(). 777 if (RS) 778 SOffset = RS->scavengeRegister(&AMDGPU::SGPR_32RegClass, MI, 0, false); 779 780 if (!SOffset) { 781 // There are no free SGPRs, and since we are in the process of spilling 782 // VGPRs too. Since we need a VGPR in order to spill SGPRs (this is true 783 // on SI/CI and on VI it is true until we implement spilling using scalar 784 // stores), we have no way to free up an SGPR. Our solution here is to 785 // add the offset directly to the ScratchOffset or StackPtrOffset 786 // register, and then subtract the offset after the spill to return the 787 // register to it's original value. 788 if (!ScratchOffsetReg) 789 ScratchOffsetReg = FuncInfo->getStackPtrOffsetReg(); 790 SOffset = ScratchOffsetReg; 791 ScratchOffsetRegDelta = Offset; 792 } else { 793 Scavenged = true; 794 } 795 796 if (!SOffset) 797 report_fatal_error("could not scavenge SGPR to spill in entry function"); 798 799 if (ScratchOffsetReg == AMDGPU::NoRegister) { 800 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_MOV_B32), SOffset) 801 .addImm(Offset); 802 } else { 803 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_ADD_U32), SOffset) 804 .addReg(ScratchOffsetReg) 805 .addImm(Offset); 806 } 807 808 Offset = 0; 809 } 810 811 Register TmpReg; 812 813 for (unsigned i = 0, e = NumSubRegs; i != e; ++i, Offset += EltSize) { 814 Register SubReg = NumSubRegs == 1 815 ? Register(ValueReg) 816 : getSubReg(ValueReg, getSubRegFromChannel(i)); 817 818 unsigned SOffsetRegState = 0; 819 unsigned SrcDstRegState = getDefRegState(!IsStore); 820 if (i + 1 == e) { 821 SOffsetRegState |= getKillRegState(Scavenged); 822 // The last implicit use carries the "Kill" flag. 823 SrcDstRegState |= getKillRegState(IsKill); 824 } 825 826 auto MIB = spillVGPRtoAGPR(ST, MI, Index, i, SubReg, IsKill); 827 828 if (!MIB.getInstr()) { 829 unsigned FinalReg = SubReg; 830 if (hasAGPRs(RC)) { 831 if (!TmpReg) { 832 assert(RS && "Needs to have RegScavenger to spill an AGPR!"); 833 // FIXME: change to scavengeRegisterBackwards() 834 TmpReg = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 835 RS->setRegUsed(TmpReg); 836 } 837 if (IsStore) 838 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_ACCVGPR_READ_B32), TmpReg) 839 .addReg(SubReg, getKillRegState(IsKill)); 840 SubReg = TmpReg; 841 } 842 843 MachinePointerInfo PInfo = BasePtrInfo.getWithOffset(EltSize * i); 844 MachineMemOperand *NewMMO = 845 MF->getMachineMemOperand(PInfo, MMO->getFlags(), EltSize, 846 commonAlignment(Alignment, EltSize * i)); 847 848 MIB = BuildMI(*MBB, MI, DL, Desc) 849 .addReg(SubReg, 850 getDefRegState(!IsStore) | getKillRegState(IsKill)) 851 .addReg(ScratchRsrcReg); 852 if (SOffset == AMDGPU::NoRegister) { 853 MIB.addImm(0); 854 } else { 855 MIB.addReg(SOffset, SOffsetRegState); 856 } 857 MIB.addImm(Offset) 858 .addImm(0) // glc 859 .addImm(0) // slc 860 .addImm(0) // tfe 861 .addImm(0) // dlc 862 .addImm(0) // swz 863 .addMemOperand(NewMMO); 864 865 if (!IsStore && TmpReg != AMDGPU::NoRegister) 866 MIB = BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_ACCVGPR_WRITE_B32), 867 FinalReg) 868 .addReg(TmpReg, RegState::Kill); 869 } 870 871 if (NumSubRegs > 1) 872 MIB.addReg(ValueReg, RegState::Implicit | SrcDstRegState); 873 } 874 875 if (ScratchOffsetRegDelta != 0) { 876 // Subtract the offset we added to the ScratchOffset register. 877 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_SUB_U32), SOffset) 878 .addReg(SOffset) 879 .addImm(ScratchOffsetRegDelta); 880 } 881 } 882 883 // Generate a VMEM access which loads or stores the VGPR containing an SGPR 884 // spill such that all the lanes set in VGPRLanes are loaded or stored. 885 // This generates exec mask manipulation and will use SGPRs available in MI 886 // or VGPR lanes in the VGPR to save and restore the exec mask. 887 void SIRegisterInfo::buildSGPRSpillLoadStore(MachineBasicBlock::iterator MI, 888 int Index, int Offset, 889 unsigned EltSize, Register VGPR, 890 int64_t VGPRLanes, 891 RegScavenger *RS, 892 bool IsLoad) const { 893 MachineBasicBlock *MBB = MI->getParent(); 894 MachineFunction *MF = MBB->getParent(); 895 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 896 const SIInstrInfo *TII = ST.getInstrInfo(); 897 898 Register SuperReg = MI->getOperand(0).getReg(); 899 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 900 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 901 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 902 unsigned FirstPart = Offset * 32; 903 unsigned ExecLane = 0; 904 905 bool IsKill = MI->getOperand(0).isKill(); 906 const DebugLoc &DL = MI->getDebugLoc(); 907 908 // Cannot handle load/store to EXEC 909 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 910 SuperReg != AMDGPU::EXEC && "exec should never spill"); 911 912 // On Wave32 only handle EXEC_LO. 913 // On Wave64 only update EXEC_HI if there is sufficent space for a copy. 914 bool OnlyExecLo = isWave32 || NumSubRegs == 1 || SuperReg == AMDGPU::EXEC_HI; 915 916 unsigned ExecMovOpc = OnlyExecLo ? AMDGPU::S_MOV_B32 : AMDGPU::S_MOV_B64; 917 Register ExecReg = OnlyExecLo ? AMDGPU::EXEC_LO : AMDGPU::EXEC; 918 Register SavedExecReg; 919 920 // Backup EXEC 921 if (OnlyExecLo) { 922 SavedExecReg = NumSubRegs == 1 923 ? SuperReg 924 : getSubReg(SuperReg, SplitParts[FirstPart + ExecLane]); 925 } else { 926 // If src/dst is an odd size it is possible subreg0 is not aligned. 927 for (; ExecLane < (NumSubRegs - 1); ++ExecLane) { 928 SavedExecReg = getMatchingSuperReg( 929 getSubReg(SuperReg, SplitParts[FirstPart + ExecLane]), AMDGPU::sub0, 930 &AMDGPU::SReg_64_XEXECRegClass); 931 if (SavedExecReg) 932 break; 933 } 934 } 935 assert(SavedExecReg); 936 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), SavedExecReg).addReg(ExecReg); 937 938 // Setup EXEC 939 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), ExecReg).addImm(VGPRLanes); 940 941 // Load/store VGPR 942 MachineFrameInfo &FrameInfo = MF->getFrameInfo(); 943 assert(FrameInfo.getStackID(Index) != TargetStackID::SGPRSpill); 944 945 Register FrameReg = FrameInfo.isFixedObjectIndex(Index) && hasBasePointer(*MF) 946 ? getBaseRegister() 947 : getFrameRegister(*MF); 948 949 Align Alignment = FrameInfo.getObjectAlign(Index); 950 MachinePointerInfo PtrInfo = 951 MachinePointerInfo::getFixedStack(*MF, Index); 952 MachineMemOperand *MMO = MF->getMachineMemOperand( 953 PtrInfo, IsLoad ? MachineMemOperand::MOLoad : MachineMemOperand::MOStore, 954 EltSize, Alignment); 955 956 if (IsLoad) { 957 buildSpillLoadStore(MI, AMDGPU::BUFFER_LOAD_DWORD_OFFSET, 958 Index, 959 VGPR, false, 960 MFI->getScratchRSrcReg(), FrameReg, 961 Offset * EltSize, MMO, 962 RS); 963 } else { 964 buildSpillLoadStore(MI, AMDGPU::BUFFER_STORE_DWORD_OFFSET, Index, VGPR, 965 IsKill, MFI->getScratchRSrcReg(), FrameReg, 966 Offset * EltSize, MMO, RS); 967 // This only ever adds one VGPR spill 968 MFI->addToSpilledVGPRs(1); 969 } 970 971 // Restore EXEC 972 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), ExecReg) 973 .addReg(SavedExecReg, getKillRegState(IsLoad || IsKill)); 974 975 // Restore clobbered SGPRs 976 if (IsLoad) { 977 // Nothing to do; register will be overwritten 978 } else if (!IsKill) { 979 // Restore SGPRs from appropriate VGPR lanes 980 if (!OnlyExecLo) { 981 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 982 getSubReg(SuperReg, SplitParts[FirstPart + ExecLane + 1])) 983 .addReg(VGPR) 984 .addImm(ExecLane + 1); 985 } 986 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 987 NumSubRegs == 1 988 ? SavedExecReg 989 : getSubReg(SuperReg, SplitParts[FirstPart + ExecLane])) 990 .addReg(VGPR, RegState::Kill) 991 .addImm(ExecLane); 992 } 993 } 994 995 bool SIRegisterInfo::spillSGPR(MachineBasicBlock::iterator MI, 996 int Index, 997 RegScavenger *RS, 998 bool OnlyToVGPR) const { 999 MachineBasicBlock *MBB = MI->getParent(); 1000 MachineFunction *MF = MBB->getParent(); 1001 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1002 DenseSet<Register> SGPRSpillVGPRDefinedSet; 1003 1004 ArrayRef<SIMachineFunctionInfo::SpilledReg> VGPRSpills 1005 = MFI->getSGPRToVGPRSpills(Index); 1006 bool SpillToVGPR = !VGPRSpills.empty(); 1007 if (OnlyToVGPR && !SpillToVGPR) 1008 return false; 1009 1010 const SIInstrInfo *TII = ST.getInstrInfo(); 1011 1012 Register SuperReg = MI->getOperand(0).getReg(); 1013 bool IsKill = MI->getOperand(0).isKill(); 1014 const DebugLoc &DL = MI->getDebugLoc(); 1015 1016 assert(SpillToVGPR || (SuperReg != MFI->getStackPtrOffsetReg() && 1017 SuperReg != MFI->getFrameOffsetReg())); 1018 1019 assert(SuperReg != AMDGPU::M0 && "m0 should never spill"); 1020 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 1021 SuperReg != AMDGPU::EXEC && "exec should never spill"); 1022 1023 unsigned EltSize = 4; 1024 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 1025 1026 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 1027 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 1028 1029 if (SpillToVGPR) { 1030 for (unsigned i = 0, e = NumSubRegs; i < e; ++i) { 1031 Register SubReg = 1032 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1033 SIMachineFunctionInfo::SpilledReg Spill = VGPRSpills[i]; 1034 1035 // During SGPR spilling to VGPR, determine if the VGPR is defined. The 1036 // only circumstance in which we say it is undefined is when it is the 1037 // first spill to this VGPR in the first basic block. 1038 bool VGPRDefined = true; 1039 if (MBB == &MF->front()) 1040 VGPRDefined = !SGPRSpillVGPRDefinedSet.insert(Spill.VGPR).second; 1041 1042 // Mark the "old value of vgpr" input undef only if this is the first sgpr 1043 // spill to this specific vgpr in the first basic block. 1044 auto MIB = BuildMI(*MBB, MI, DL, 1045 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1046 Spill.VGPR) 1047 .addReg(SubReg, getKillRegState(IsKill)) 1048 .addImm(Spill.Lane) 1049 .addReg(Spill.VGPR, VGPRDefined ? 0 : RegState::Undef); 1050 1051 if (i == 0 && NumSubRegs > 1) { 1052 // We may be spilling a super-register which is only partially defined, 1053 // and need to ensure later spills think the value is defined. 1054 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1055 } 1056 1057 // FIXME: Since this spills to another register instead of an actual 1058 // frame index, we should delete the frame index when all references to 1059 // it are fixed. 1060 } 1061 } else { 1062 // Scavenged temporary VGPR to use. It must be scavenged once for any number 1063 // of spilled subregs. 1064 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1065 RS->setRegUsed(TmpVGPR); 1066 1067 // SubReg carries the "Kill" flag when SubReg == SuperReg. 1068 unsigned SubKillState = getKillRegState((NumSubRegs == 1) && IsKill); 1069 1070 unsigned PerVGPR = 32; 1071 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1072 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1073 1074 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1075 unsigned TmpVGPRFlags = RegState::Undef; 1076 1077 // Write sub registers into the VGPR 1078 for (unsigned i = Offset * PerVGPR, 1079 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1080 i < e; ++i) { 1081 Register SubReg = 1082 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1083 1084 MachineInstrBuilder WriteLane = 1085 BuildMI(*MBB, MI, DL, 1086 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1087 TmpVGPR) 1088 .addReg(SubReg, SubKillState) 1089 .addImm(i % PerVGPR) 1090 .addReg(TmpVGPR, TmpVGPRFlags); 1091 TmpVGPRFlags = 0; 1092 1093 // There could be undef components of a spilled super register. 1094 // TODO: Can we detect this and skip the spill? 1095 if (NumSubRegs > 1) { 1096 // The last implicit use of the SuperReg carries the "Kill" flag. 1097 unsigned SuperKillState = 0; 1098 if (i + 1 == NumSubRegs) 1099 SuperKillState |= getKillRegState(IsKill); 1100 WriteLane.addReg(SuperReg, RegState::Implicit | SuperKillState); 1101 } 1102 } 1103 1104 // Write out VGPR 1105 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1106 RS, false); 1107 } 1108 } 1109 1110 MI->eraseFromParent(); 1111 MFI->addToSpilledSGPRs(NumSubRegs); 1112 return true; 1113 } 1114 1115 bool SIRegisterInfo::restoreSGPR(MachineBasicBlock::iterator MI, 1116 int Index, 1117 RegScavenger *RS, 1118 bool OnlyToVGPR) const { 1119 MachineFunction *MF = MI->getParent()->getParent(); 1120 MachineBasicBlock *MBB = MI->getParent(); 1121 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1122 1123 ArrayRef<SIMachineFunctionInfo::SpilledReg> VGPRSpills 1124 = MFI->getSGPRToVGPRSpills(Index); 1125 bool SpillToVGPR = !VGPRSpills.empty(); 1126 if (OnlyToVGPR && !SpillToVGPR) 1127 return false; 1128 1129 const SIInstrInfo *TII = ST.getInstrInfo(); 1130 const DebugLoc &DL = MI->getDebugLoc(); 1131 1132 Register SuperReg = MI->getOperand(0).getReg(); 1133 1134 assert(SuperReg != AMDGPU::M0 && "m0 should never spill"); 1135 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 1136 SuperReg != AMDGPU::EXEC && "exec should never spill"); 1137 1138 unsigned EltSize = 4; 1139 1140 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 1141 1142 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 1143 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 1144 1145 if (SpillToVGPR) { 1146 for (unsigned i = 0, e = NumSubRegs; i < e; ++i) { 1147 Register SubReg = 1148 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1149 1150 SIMachineFunctionInfo::SpilledReg Spill = VGPRSpills[i]; 1151 auto MIB = 1152 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 1153 SubReg) 1154 .addReg(Spill.VGPR) 1155 .addImm(Spill.Lane); 1156 if (NumSubRegs > 1 && i == 0) 1157 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1158 } 1159 } else { 1160 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1161 RS->setRegUsed(TmpVGPR); 1162 1163 unsigned PerVGPR = 32; 1164 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1165 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1166 1167 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1168 // Load in VGPR data 1169 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1170 RS, true); 1171 1172 // Unpack lanes 1173 for (unsigned i = Offset * PerVGPR, 1174 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1175 i < e; ++i) { 1176 Register SubReg = 1177 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1178 1179 bool LastSubReg = (i + 1 == e); 1180 auto MIB = 1181 BuildMI(*MBB, MI, DL, 1182 TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), SubReg) 1183 .addReg(TmpVGPR, getKillRegState(LastSubReg)) 1184 .addImm(i); 1185 if (NumSubRegs > 1 && i == 0) 1186 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1187 } 1188 } 1189 } 1190 1191 MI->eraseFromParent(); 1192 return true; 1193 } 1194 1195 /// Special case of eliminateFrameIndex. Returns true if the SGPR was spilled to 1196 /// a VGPR and the stack slot can be safely eliminated when all other users are 1197 /// handled. 1198 bool SIRegisterInfo::eliminateSGPRToVGPRSpillFrameIndex( 1199 MachineBasicBlock::iterator MI, 1200 int FI, 1201 RegScavenger *RS) const { 1202 switch (MI->getOpcode()) { 1203 case AMDGPU::SI_SPILL_S1024_SAVE: 1204 case AMDGPU::SI_SPILL_S512_SAVE: 1205 case AMDGPU::SI_SPILL_S256_SAVE: 1206 case AMDGPU::SI_SPILL_S192_SAVE: 1207 case AMDGPU::SI_SPILL_S160_SAVE: 1208 case AMDGPU::SI_SPILL_S128_SAVE: 1209 case AMDGPU::SI_SPILL_S96_SAVE: 1210 case AMDGPU::SI_SPILL_S64_SAVE: 1211 case AMDGPU::SI_SPILL_S32_SAVE: 1212 return spillSGPR(MI, FI, RS, true); 1213 case AMDGPU::SI_SPILL_S1024_RESTORE: 1214 case AMDGPU::SI_SPILL_S512_RESTORE: 1215 case AMDGPU::SI_SPILL_S256_RESTORE: 1216 case AMDGPU::SI_SPILL_S192_RESTORE: 1217 case AMDGPU::SI_SPILL_S160_RESTORE: 1218 case AMDGPU::SI_SPILL_S128_RESTORE: 1219 case AMDGPU::SI_SPILL_S96_RESTORE: 1220 case AMDGPU::SI_SPILL_S64_RESTORE: 1221 case AMDGPU::SI_SPILL_S32_RESTORE: 1222 return restoreSGPR(MI, FI, RS, true); 1223 default: 1224 llvm_unreachable("not an SGPR spill instruction"); 1225 } 1226 } 1227 1228 void SIRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator MI, 1229 int SPAdj, unsigned FIOperandNum, 1230 RegScavenger *RS) const { 1231 MachineFunction *MF = MI->getParent()->getParent(); 1232 MachineBasicBlock *MBB = MI->getParent(); 1233 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1234 MachineFrameInfo &FrameInfo = MF->getFrameInfo(); 1235 const SIInstrInfo *TII = ST.getInstrInfo(); 1236 DebugLoc DL = MI->getDebugLoc(); 1237 1238 assert(SPAdj == 0 && "unhandled SP adjustment in call sequence?"); 1239 1240 MachineOperand &FIOp = MI->getOperand(FIOperandNum); 1241 int Index = MI->getOperand(FIOperandNum).getIndex(); 1242 1243 Register FrameReg = FrameInfo.isFixedObjectIndex(Index) && hasBasePointer(*MF) 1244 ? getBaseRegister() 1245 : getFrameRegister(*MF); 1246 1247 switch (MI->getOpcode()) { 1248 // SGPR register spill 1249 case AMDGPU::SI_SPILL_S1024_SAVE: 1250 case AMDGPU::SI_SPILL_S512_SAVE: 1251 case AMDGPU::SI_SPILL_S256_SAVE: 1252 case AMDGPU::SI_SPILL_S192_SAVE: 1253 case AMDGPU::SI_SPILL_S160_SAVE: 1254 case AMDGPU::SI_SPILL_S128_SAVE: 1255 case AMDGPU::SI_SPILL_S96_SAVE: 1256 case AMDGPU::SI_SPILL_S64_SAVE: 1257 case AMDGPU::SI_SPILL_S32_SAVE: { 1258 spillSGPR(MI, Index, RS); 1259 break; 1260 } 1261 1262 // SGPR register restore 1263 case AMDGPU::SI_SPILL_S1024_RESTORE: 1264 case AMDGPU::SI_SPILL_S512_RESTORE: 1265 case AMDGPU::SI_SPILL_S256_RESTORE: 1266 case AMDGPU::SI_SPILL_S192_RESTORE: 1267 case AMDGPU::SI_SPILL_S160_RESTORE: 1268 case AMDGPU::SI_SPILL_S128_RESTORE: 1269 case AMDGPU::SI_SPILL_S96_RESTORE: 1270 case AMDGPU::SI_SPILL_S64_RESTORE: 1271 case AMDGPU::SI_SPILL_S32_RESTORE: { 1272 restoreSGPR(MI, Index, RS); 1273 break; 1274 } 1275 1276 // VGPR register spill 1277 case AMDGPU::SI_SPILL_V1024_SAVE: 1278 case AMDGPU::SI_SPILL_V512_SAVE: 1279 case AMDGPU::SI_SPILL_V256_SAVE: 1280 case AMDGPU::SI_SPILL_V160_SAVE: 1281 case AMDGPU::SI_SPILL_V128_SAVE: 1282 case AMDGPU::SI_SPILL_V96_SAVE: 1283 case AMDGPU::SI_SPILL_V64_SAVE: 1284 case AMDGPU::SI_SPILL_V32_SAVE: 1285 case AMDGPU::SI_SPILL_A1024_SAVE: 1286 case AMDGPU::SI_SPILL_A512_SAVE: 1287 case AMDGPU::SI_SPILL_A256_SAVE: 1288 case AMDGPU::SI_SPILL_A192_SAVE: 1289 case AMDGPU::SI_SPILL_A160_SAVE: 1290 case AMDGPU::SI_SPILL_A128_SAVE: 1291 case AMDGPU::SI_SPILL_A96_SAVE: 1292 case AMDGPU::SI_SPILL_A64_SAVE: 1293 case AMDGPU::SI_SPILL_A32_SAVE: { 1294 const MachineOperand *VData = TII->getNamedOperand(*MI, 1295 AMDGPU::OpName::vdata); 1296 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1297 MFI->getStackPtrOffsetReg()); 1298 1299 buildSpillLoadStore(MI, AMDGPU::BUFFER_STORE_DWORD_OFFSET, 1300 Index, 1301 VData->getReg(), VData->isKill(), 1302 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1303 FrameReg, 1304 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1305 *MI->memoperands_begin(), 1306 RS); 1307 MFI->addToSpilledVGPRs(getNumSubRegsForSpillOp(MI->getOpcode())); 1308 MI->eraseFromParent(); 1309 break; 1310 } 1311 case AMDGPU::SI_SPILL_V32_RESTORE: 1312 case AMDGPU::SI_SPILL_V64_RESTORE: 1313 case AMDGPU::SI_SPILL_V96_RESTORE: 1314 case AMDGPU::SI_SPILL_V128_RESTORE: 1315 case AMDGPU::SI_SPILL_V160_RESTORE: 1316 case AMDGPU::SI_SPILL_V256_RESTORE: 1317 case AMDGPU::SI_SPILL_V512_RESTORE: 1318 case AMDGPU::SI_SPILL_V1024_RESTORE: 1319 case AMDGPU::SI_SPILL_A32_RESTORE: 1320 case AMDGPU::SI_SPILL_A64_RESTORE: 1321 case AMDGPU::SI_SPILL_A96_RESTORE: 1322 case AMDGPU::SI_SPILL_A128_RESTORE: 1323 case AMDGPU::SI_SPILL_A160_RESTORE: 1324 case AMDGPU::SI_SPILL_A192_RESTORE: 1325 case AMDGPU::SI_SPILL_A256_RESTORE: 1326 case AMDGPU::SI_SPILL_A512_RESTORE: 1327 case AMDGPU::SI_SPILL_A1024_RESTORE: { 1328 const MachineOperand *VData = TII->getNamedOperand(*MI, 1329 AMDGPU::OpName::vdata); 1330 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1331 MFI->getStackPtrOffsetReg()); 1332 1333 buildSpillLoadStore(MI, AMDGPU::BUFFER_LOAD_DWORD_OFFSET, 1334 Index, 1335 VData->getReg(), VData->isKill(), 1336 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1337 FrameReg, 1338 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1339 *MI->memoperands_begin(), 1340 RS); 1341 MI->eraseFromParent(); 1342 break; 1343 } 1344 1345 default: { 1346 const DebugLoc &DL = MI->getDebugLoc(); 1347 bool IsMUBUF = TII->isMUBUF(*MI); 1348 1349 if (!IsMUBUF && !MFI->isEntryFunction()) { 1350 // Convert to a swizzled stack address by scaling by the wave size. 1351 // 1352 // In an entry function/kernel the offset is already swizzled. 1353 1354 bool IsCopy = MI->getOpcode() == AMDGPU::V_MOV_B32_e32; 1355 Register ResultReg = 1356 IsCopy ? MI->getOperand(0).getReg() 1357 : RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1358 1359 int64_t Offset = FrameInfo.getObjectOffset(Index); 1360 if (Offset == 0) { 1361 // XXX - This never happens because of emergency scavenging slot at 0? 1362 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), ResultReg) 1363 .addImm(ST.getWavefrontSizeLog2()) 1364 .addReg(FrameReg); 1365 } else { 1366 if (auto MIB = TII->getAddNoCarry(*MBB, MI, DL, ResultReg, *RS)) { 1367 // Reuse ResultReg in intermediate step. 1368 Register ScaledReg = ResultReg; 1369 1370 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), 1371 ScaledReg) 1372 .addImm(ST.getWavefrontSizeLog2()) 1373 .addReg(FrameReg); 1374 1375 const bool IsVOP2 = MIB->getOpcode() == AMDGPU::V_ADD_U32_e32; 1376 1377 // TODO: Fold if use instruction is another add of a constant. 1378 if (IsVOP2 || AMDGPU::isInlinableLiteral32(Offset, ST.hasInv2PiInlineImm())) { 1379 // FIXME: This can fail 1380 MIB.addImm(Offset); 1381 MIB.addReg(ScaledReg, RegState::Kill); 1382 if (!IsVOP2) 1383 MIB.addImm(0); // clamp bit 1384 } else { 1385 assert(MIB->getOpcode() == AMDGPU::V_ADD_CO_U32_e64 && 1386 "Need to reuse carry out register"); 1387 1388 // Use scavenged unused carry out as offset register. 1389 Register ConstOffsetReg; 1390 if (!isWave32) 1391 ConstOffsetReg = getSubReg(MIB.getReg(1), AMDGPU::sub0); 1392 else 1393 ConstOffsetReg = MIB.getReg(1); 1394 1395 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::S_MOV_B32), ConstOffsetReg) 1396 .addImm(Offset); 1397 MIB.addReg(ConstOffsetReg, RegState::Kill); 1398 MIB.addReg(ScaledReg, RegState::Kill); 1399 MIB.addImm(0); // clamp bit 1400 } 1401 } else { 1402 // We have to produce a carry out, and there isn't a free SGPR pair 1403 // for it. We can keep the whole computation on the SALU to avoid 1404 // clobbering an additional register at the cost of an extra mov. 1405 1406 // We may have 1 free scratch SGPR even though a carry out is 1407 // unavailable. Only one additional mov is needed. 1408 Register TmpScaledReg = 1409 RS->scavengeRegister(&AMDGPU::SReg_32_XM0RegClass, MI, 0, false); 1410 Register ScaledReg = TmpScaledReg.isValid() ? TmpScaledReg : FrameReg; 1411 1412 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHR_B32), ScaledReg) 1413 .addReg(FrameReg) 1414 .addImm(ST.getWavefrontSizeLog2()); 1415 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_ADD_U32), ScaledReg) 1416 .addReg(ScaledReg, RegState::Kill) 1417 .addImm(Offset); 1418 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::COPY), ResultReg) 1419 .addReg(ScaledReg, RegState::Kill); 1420 1421 // If there were truly no free SGPRs, we need to undo everything. 1422 if (!TmpScaledReg.isValid()) { 1423 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_SUB_U32), ScaledReg) 1424 .addReg(ScaledReg, RegState::Kill) 1425 .addImm(Offset); 1426 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHL_B32), ScaledReg) 1427 .addReg(FrameReg) 1428 .addImm(ST.getWavefrontSizeLog2()); 1429 } 1430 } 1431 } 1432 1433 // Don't introduce an extra copy if we're just materializing in a mov. 1434 if (IsCopy) 1435 MI->eraseFromParent(); 1436 else 1437 FIOp.ChangeToRegister(ResultReg, false, false, true); 1438 return; 1439 } 1440 1441 if (IsMUBUF) { 1442 // Disable offen so we don't need a 0 vgpr base. 1443 assert(static_cast<int>(FIOperandNum) == 1444 AMDGPU::getNamedOperandIdx(MI->getOpcode(), 1445 AMDGPU::OpName::vaddr)); 1446 1447 auto &SOffset = *TII->getNamedOperand(*MI, AMDGPU::OpName::soffset); 1448 assert((SOffset.isReg() && 1449 SOffset.getReg() == MFI->getStackPtrOffsetReg()) || 1450 (SOffset.isImm() && SOffset.getImm() == 0)); 1451 if (SOffset.isReg()) { 1452 if (FrameReg == AMDGPU::NoRegister) { 1453 SOffset.ChangeToImmediate(0); 1454 } else { 1455 SOffset.setReg(FrameReg); 1456 } 1457 } 1458 1459 int64_t Offset = FrameInfo.getObjectOffset(Index); 1460 int64_t OldImm 1461 = TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(); 1462 int64_t NewOffset = OldImm + Offset; 1463 1464 if (isUInt<12>(NewOffset) && 1465 buildMUBUFOffsetLoadStore(ST, FrameInfo, MI, Index, NewOffset)) { 1466 MI->eraseFromParent(); 1467 return; 1468 } 1469 } 1470 1471 // If the offset is simply too big, don't convert to a scratch wave offset 1472 // relative index. 1473 1474 int64_t Offset = FrameInfo.getObjectOffset(Index); 1475 FIOp.ChangeToImmediate(Offset); 1476 if (!TII->isImmOperandLegal(*MI, FIOperandNum, FIOp)) { 1477 Register TmpReg = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1478 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_MOV_B32_e32), TmpReg) 1479 .addImm(Offset); 1480 FIOp.ChangeToRegister(TmpReg, false, false, true); 1481 } 1482 } 1483 } 1484 } 1485 1486 StringRef SIRegisterInfo::getRegAsmName(MCRegister Reg) const { 1487 return AMDGPUInstPrinter::getRegisterName(Reg); 1488 } 1489 1490 const TargetRegisterClass * 1491 SIRegisterInfo::getVGPRClassForBitWidth(unsigned BitWidth) { 1492 if (BitWidth == 1) 1493 return &AMDGPU::VReg_1RegClass; 1494 if (BitWidth <= 16) 1495 return &AMDGPU::VGPR_LO16RegClass; 1496 if (BitWidth <= 32) 1497 return &AMDGPU::VGPR_32RegClass; 1498 if (BitWidth <= 64) 1499 return &AMDGPU::VReg_64RegClass; 1500 if (BitWidth <= 96) 1501 return &AMDGPU::VReg_96RegClass; 1502 if (BitWidth <= 128) 1503 return &AMDGPU::VReg_128RegClass; 1504 if (BitWidth <= 160) 1505 return &AMDGPU::VReg_160RegClass; 1506 if (BitWidth <= 192) 1507 return &AMDGPU::VReg_192RegClass; 1508 if (BitWidth <= 256) 1509 return &AMDGPU::VReg_256RegClass; 1510 if (BitWidth <= 512) 1511 return &AMDGPU::VReg_512RegClass; 1512 if (BitWidth <= 1024) 1513 return &AMDGPU::VReg_1024RegClass; 1514 1515 return nullptr; 1516 } 1517 1518 const TargetRegisterClass * 1519 SIRegisterInfo::getAGPRClassForBitWidth(unsigned BitWidth) { 1520 if (BitWidth <= 16) 1521 return &AMDGPU::AGPR_LO16RegClass; 1522 if (BitWidth <= 32) 1523 return &AMDGPU::AGPR_32RegClass; 1524 if (BitWidth <= 64) 1525 return &AMDGPU::AReg_64RegClass; 1526 if (BitWidth <= 96) 1527 return &AMDGPU::AReg_96RegClass; 1528 if (BitWidth <= 128) 1529 return &AMDGPU::AReg_128RegClass; 1530 if (BitWidth <= 160) 1531 return &AMDGPU::AReg_160RegClass; 1532 if (BitWidth <= 192) 1533 return &AMDGPU::AReg_192RegClass; 1534 if (BitWidth <= 256) 1535 return &AMDGPU::AReg_256RegClass; 1536 if (BitWidth <= 512) 1537 return &AMDGPU::AReg_512RegClass; 1538 if (BitWidth <= 1024) 1539 return &AMDGPU::AReg_1024RegClass; 1540 1541 return nullptr; 1542 } 1543 1544 const TargetRegisterClass * 1545 SIRegisterInfo::getSGPRClassForBitWidth(unsigned BitWidth) { 1546 if (BitWidth <= 16) 1547 return &AMDGPU::SGPR_LO16RegClass; 1548 if (BitWidth <= 32) 1549 return &AMDGPU::SReg_32RegClass; 1550 if (BitWidth <= 64) 1551 return &AMDGPU::SReg_64RegClass; 1552 if (BitWidth <= 96) 1553 return &AMDGPU::SGPR_96RegClass; 1554 if (BitWidth <= 128) 1555 return &AMDGPU::SGPR_128RegClass; 1556 if (BitWidth <= 160) 1557 return &AMDGPU::SGPR_160RegClass; 1558 if (BitWidth <= 192) 1559 return &AMDGPU::SGPR_192RegClass; 1560 if (BitWidth <= 256) 1561 return &AMDGPU::SGPR_256RegClass; 1562 if (BitWidth <= 512) 1563 return &AMDGPU::SGPR_512RegClass; 1564 if (BitWidth <= 1024) 1565 return &AMDGPU::SGPR_1024RegClass; 1566 1567 return nullptr; 1568 } 1569 1570 // FIXME: This is very slow. It might be worth creating a map from physreg to 1571 // register class. 1572 const TargetRegisterClass * 1573 SIRegisterInfo::getPhysRegClass(MCRegister Reg) const { 1574 static const TargetRegisterClass *const BaseClasses[] = { 1575 &AMDGPU::VGPR_LO16RegClass, 1576 &AMDGPU::VGPR_HI16RegClass, 1577 &AMDGPU::SReg_LO16RegClass, 1578 &AMDGPU::AGPR_LO16RegClass, 1579 &AMDGPU::VGPR_32RegClass, 1580 &AMDGPU::SReg_32RegClass, 1581 &AMDGPU::AGPR_32RegClass, 1582 &AMDGPU::VReg_64RegClass, 1583 &AMDGPU::SReg_64RegClass, 1584 &AMDGPU::AReg_64RegClass, 1585 &AMDGPU::VReg_96RegClass, 1586 &AMDGPU::SReg_96RegClass, 1587 &AMDGPU::AReg_96RegClass, 1588 &AMDGPU::VReg_128RegClass, 1589 &AMDGPU::SReg_128RegClass, 1590 &AMDGPU::AReg_128RegClass, 1591 &AMDGPU::VReg_160RegClass, 1592 &AMDGPU::SReg_160RegClass, 1593 &AMDGPU::AReg_160RegClass, 1594 &AMDGPU::VReg_192RegClass, 1595 &AMDGPU::SReg_192RegClass, 1596 &AMDGPU::AReg_192RegClass, 1597 &AMDGPU::VReg_256RegClass, 1598 &AMDGPU::SReg_256RegClass, 1599 &AMDGPU::AReg_256RegClass, 1600 &AMDGPU::VReg_512RegClass, 1601 &AMDGPU::SReg_512RegClass, 1602 &AMDGPU::AReg_512RegClass, 1603 &AMDGPU::SReg_1024RegClass, 1604 &AMDGPU::VReg_1024RegClass, 1605 &AMDGPU::AReg_1024RegClass, 1606 &AMDGPU::SCC_CLASSRegClass, 1607 &AMDGPU::Pseudo_SReg_32RegClass, 1608 &AMDGPU::Pseudo_SReg_128RegClass, 1609 }; 1610 1611 for (const TargetRegisterClass *BaseClass : BaseClasses) { 1612 if (BaseClass->contains(Reg)) { 1613 return BaseClass; 1614 } 1615 } 1616 return nullptr; 1617 } 1618 1619 // TODO: It might be helpful to have some target specific flags in 1620 // TargetRegisterClass to mark which classes are VGPRs to make this trivial. 1621 bool SIRegisterInfo::hasVGPRs(const TargetRegisterClass *RC) const { 1622 unsigned Size = getRegSizeInBits(*RC); 1623 if (Size == 16) { 1624 return getCommonSubClass(&AMDGPU::VGPR_LO16RegClass, RC) != nullptr || 1625 getCommonSubClass(&AMDGPU::VGPR_HI16RegClass, RC) != nullptr; 1626 } 1627 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1628 if (!VRC) { 1629 assert(Size < 32 && "Invalid register class size"); 1630 return false; 1631 } 1632 return getCommonSubClass(VRC, RC) != nullptr; 1633 } 1634 1635 bool SIRegisterInfo::hasAGPRs(const TargetRegisterClass *RC) const { 1636 unsigned Size = getRegSizeInBits(*RC); 1637 if (Size < 16) 1638 return false; 1639 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1640 if (!ARC) { 1641 assert(getVGPRClassForBitWidth(Size) && "Invalid register class size"); 1642 return false; 1643 } 1644 return getCommonSubClass(ARC, RC) != nullptr; 1645 } 1646 1647 const TargetRegisterClass * 1648 SIRegisterInfo::getEquivalentVGPRClass(const TargetRegisterClass *SRC) const { 1649 unsigned Size = getRegSizeInBits(*SRC); 1650 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1651 assert(VRC && "Invalid register class size"); 1652 return VRC; 1653 } 1654 1655 const TargetRegisterClass * 1656 SIRegisterInfo::getEquivalentAGPRClass(const TargetRegisterClass *SRC) const { 1657 unsigned Size = getRegSizeInBits(*SRC); 1658 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1659 assert(ARC && "Invalid register class size"); 1660 return ARC; 1661 } 1662 1663 const TargetRegisterClass * 1664 SIRegisterInfo::getEquivalentSGPRClass(const TargetRegisterClass *VRC) const { 1665 unsigned Size = getRegSizeInBits(*VRC); 1666 if (Size == 32) 1667 return &AMDGPU::SGPR_32RegClass; 1668 const TargetRegisterClass *SRC = getSGPRClassForBitWidth(Size); 1669 assert(SRC && "Invalid register class size"); 1670 return SRC; 1671 } 1672 1673 const TargetRegisterClass *SIRegisterInfo::getSubRegClass( 1674 const TargetRegisterClass *RC, unsigned SubIdx) const { 1675 if (SubIdx == AMDGPU::NoSubRegister) 1676 return RC; 1677 1678 // We can assume that each lane corresponds to one 32-bit register. 1679 unsigned Size = getNumChannelsFromSubReg(SubIdx) * 32; 1680 if (isSGPRClass(RC)) { 1681 if (Size == 32) 1682 RC = &AMDGPU::SGPR_32RegClass; 1683 else 1684 RC = getSGPRClassForBitWidth(Size); 1685 } else if (hasAGPRs(RC)) { 1686 RC = getAGPRClassForBitWidth(Size); 1687 } else { 1688 RC = getVGPRClassForBitWidth(Size); 1689 } 1690 assert(RC && "Invalid sub-register class size"); 1691 return RC; 1692 } 1693 1694 bool SIRegisterInfo::opCanUseInlineConstant(unsigned OpType) const { 1695 if (OpType >= AMDGPU::OPERAND_REG_INLINE_AC_FIRST && 1696 OpType <= AMDGPU::OPERAND_REG_INLINE_AC_LAST) 1697 return !ST.hasMFMAInlineLiteralBug(); 1698 1699 return OpType >= AMDGPU::OPERAND_SRC_FIRST && 1700 OpType <= AMDGPU::OPERAND_SRC_LAST; 1701 } 1702 1703 bool SIRegisterInfo::shouldRewriteCopySrc( 1704 const TargetRegisterClass *DefRC, 1705 unsigned DefSubReg, 1706 const TargetRegisterClass *SrcRC, 1707 unsigned SrcSubReg) const { 1708 // We want to prefer the smallest register class possible, so we don't want to 1709 // stop and rewrite on anything that looks like a subregister 1710 // extract. Operations mostly don't care about the super register class, so we 1711 // only want to stop on the most basic of copies between the same register 1712 // class. 1713 // 1714 // e.g. if we have something like 1715 // %0 = ... 1716 // %1 = ... 1717 // %2 = REG_SEQUENCE %0, sub0, %1, sub1, %2, sub2 1718 // %3 = COPY %2, sub0 1719 // 1720 // We want to look through the COPY to find: 1721 // => %3 = COPY %0 1722 1723 // Plain copy. 1724 return getCommonSubClass(DefRC, SrcRC) != nullptr; 1725 } 1726 1727 /// Returns a lowest register that is not used at any point in the function. 1728 /// If all registers are used, then this function will return 1729 /// AMDGPU::NoRegister. If \p ReserveHighestVGPR = true, then return 1730 /// highest unused register. 1731 MCRegister SIRegisterInfo::findUnusedRegister(const MachineRegisterInfo &MRI, 1732 const TargetRegisterClass *RC, 1733 const MachineFunction &MF, 1734 bool ReserveHighestVGPR) const { 1735 if (ReserveHighestVGPR) { 1736 for (MCRegister Reg : reverse(*RC)) 1737 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1738 return Reg; 1739 } else { 1740 for (MCRegister Reg : *RC) 1741 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1742 return Reg; 1743 } 1744 return MCRegister(); 1745 } 1746 1747 ArrayRef<int16_t> SIRegisterInfo::getRegSplitParts(const TargetRegisterClass *RC, 1748 unsigned EltSize) const { 1749 const unsigned RegBitWidth = AMDGPU::getRegBitWidth(*RC->MC); 1750 assert(RegBitWidth >= 32 && RegBitWidth <= 1024); 1751 1752 const unsigned RegDWORDs = RegBitWidth / 32; 1753 const unsigned EltDWORDs = EltSize / 4; 1754 assert(RegSplitParts.size() + 1 >= EltDWORDs); 1755 1756 const std::vector<int16_t> &Parts = RegSplitParts[EltDWORDs - 1]; 1757 const unsigned NumParts = RegDWORDs / EltDWORDs; 1758 1759 return makeArrayRef(Parts.data(), NumParts); 1760 } 1761 1762 const TargetRegisterClass* 1763 SIRegisterInfo::getRegClassForReg(const MachineRegisterInfo &MRI, 1764 Register Reg) const { 1765 return Reg.isVirtual() ? MRI.getRegClass(Reg) : getPhysRegClass(Reg); 1766 } 1767 1768 bool SIRegisterInfo::isVGPR(const MachineRegisterInfo &MRI, 1769 Register Reg) const { 1770 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1771 // Registers without classes are unaddressable, SGPR-like registers. 1772 return RC && hasVGPRs(RC); 1773 } 1774 1775 bool SIRegisterInfo::isAGPR(const MachineRegisterInfo &MRI, 1776 Register Reg) const { 1777 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1778 1779 // Registers without classes are unaddressable, SGPR-like registers. 1780 return RC && hasAGPRs(RC); 1781 } 1782 1783 bool SIRegisterInfo::shouldCoalesce(MachineInstr *MI, 1784 const TargetRegisterClass *SrcRC, 1785 unsigned SubReg, 1786 const TargetRegisterClass *DstRC, 1787 unsigned DstSubReg, 1788 const TargetRegisterClass *NewRC, 1789 LiveIntervals &LIS) const { 1790 unsigned SrcSize = getRegSizeInBits(*SrcRC); 1791 unsigned DstSize = getRegSizeInBits(*DstRC); 1792 unsigned NewSize = getRegSizeInBits(*NewRC); 1793 1794 // Do not increase size of registers beyond dword, we would need to allocate 1795 // adjacent registers and constraint regalloc more than needed. 1796 1797 // Always allow dword coalescing. 1798 if (SrcSize <= 32 || DstSize <= 32) 1799 return true; 1800 1801 return NewSize <= DstSize || NewSize <= SrcSize; 1802 } 1803 1804 unsigned SIRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC, 1805 MachineFunction &MF) const { 1806 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 1807 1808 unsigned Occupancy = ST.getOccupancyWithLocalMemSize(MFI->getLDSSize(), 1809 MF.getFunction()); 1810 switch (RC->getID()) { 1811 default: 1812 return AMDGPUGenRegisterInfo::getRegPressureLimit(RC, MF); 1813 case AMDGPU::VGPR_32RegClassID: 1814 case AMDGPU::VGPR_LO16RegClassID: 1815 case AMDGPU::VGPR_HI16RegClassID: 1816 return std::min(ST.getMaxNumVGPRs(Occupancy), ST.getMaxNumVGPRs(MF)); 1817 case AMDGPU::SGPR_32RegClassID: 1818 case AMDGPU::SGPR_LO16RegClassID: 1819 return std::min(ST.getMaxNumSGPRs(Occupancy, true), ST.getMaxNumSGPRs(MF)); 1820 } 1821 } 1822 1823 unsigned SIRegisterInfo::getRegPressureSetLimit(const MachineFunction &MF, 1824 unsigned Idx) const { 1825 if (Idx == AMDGPU::RegisterPressureSets::VGPR_32 || 1826 Idx == AMDGPU::RegisterPressureSets::AGPR_32) 1827 return getRegPressureLimit(&AMDGPU::VGPR_32RegClass, 1828 const_cast<MachineFunction &>(MF)); 1829 1830 if (Idx == AMDGPU::RegisterPressureSets::SReg_32) 1831 return getRegPressureLimit(&AMDGPU::SGPR_32RegClass, 1832 const_cast<MachineFunction &>(MF)); 1833 1834 llvm_unreachable("Unexpected register pressure set!"); 1835 } 1836 1837 const int *SIRegisterInfo::getRegUnitPressureSets(unsigned RegUnit) const { 1838 static const int Empty[] = { -1 }; 1839 1840 if (RegPressureIgnoredUnits[RegUnit]) 1841 return Empty; 1842 1843 return AMDGPUGenRegisterInfo::getRegUnitPressureSets(RegUnit); 1844 } 1845 1846 MCRegister SIRegisterInfo::getReturnAddressReg(const MachineFunction &MF) const { 1847 // Not a callee saved register. 1848 return AMDGPU::SGPR30_SGPR31; 1849 } 1850 1851 const TargetRegisterClass * 1852 SIRegisterInfo::getRegClassForSizeOnBank(unsigned Size, 1853 const RegisterBank &RB, 1854 const MachineRegisterInfo &MRI) const { 1855 switch (RB.getID()) { 1856 case AMDGPU::VGPRRegBankID: 1857 return getVGPRClassForBitWidth(std::max(32u, Size)); 1858 case AMDGPU::VCCRegBankID: 1859 assert(Size == 1); 1860 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1861 : &AMDGPU::SReg_64_XEXECRegClass; 1862 case AMDGPU::SGPRRegBankID: 1863 return getSGPRClassForBitWidth(std::max(32u, Size)); 1864 case AMDGPU::AGPRRegBankID: 1865 return getAGPRClassForBitWidth(std::max(32u, Size)); 1866 default: 1867 llvm_unreachable("unknown register bank"); 1868 } 1869 } 1870 1871 const TargetRegisterClass * 1872 SIRegisterInfo::getConstrainedRegClassForOperand(const MachineOperand &MO, 1873 const MachineRegisterInfo &MRI) const { 1874 const RegClassOrRegBank &RCOrRB = MRI.getRegClassOrRegBank(MO.getReg()); 1875 if (const RegisterBank *RB = RCOrRB.dyn_cast<const RegisterBank*>()) 1876 return getRegClassForTypeOnBank(MRI.getType(MO.getReg()), *RB, MRI); 1877 1878 const TargetRegisterClass *RC = RCOrRB.get<const TargetRegisterClass*>(); 1879 return getAllocatableClass(RC); 1880 } 1881 1882 MCRegister SIRegisterInfo::getVCC() const { 1883 return isWave32 ? AMDGPU::VCC_LO : AMDGPU::VCC; 1884 } 1885 1886 const TargetRegisterClass * 1887 SIRegisterInfo::getRegClass(unsigned RCID) const { 1888 switch ((int)RCID) { 1889 case AMDGPU::SReg_1RegClassID: 1890 return getBoolRC(); 1891 case AMDGPU::SReg_1_XEXECRegClassID: 1892 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1893 : &AMDGPU::SReg_64_XEXECRegClass; 1894 case -1: 1895 return nullptr; 1896 default: 1897 return AMDGPUGenRegisterInfo::getRegClass(RCID); 1898 } 1899 } 1900 1901 // Find reaching register definition 1902 MachineInstr *SIRegisterInfo::findReachingDef(Register Reg, unsigned SubReg, 1903 MachineInstr &Use, 1904 MachineRegisterInfo &MRI, 1905 LiveIntervals *LIS) const { 1906 auto &MDT = LIS->getAnalysis<MachineDominatorTree>(); 1907 SlotIndex UseIdx = LIS->getInstructionIndex(Use); 1908 SlotIndex DefIdx; 1909 1910 if (Reg.isVirtual()) { 1911 if (!LIS->hasInterval(Reg)) 1912 return nullptr; 1913 LiveInterval &LI = LIS->getInterval(Reg); 1914 LaneBitmask SubLanes = SubReg ? getSubRegIndexLaneMask(SubReg) 1915 : MRI.getMaxLaneMaskForVReg(Reg); 1916 VNInfo *V = nullptr; 1917 if (LI.hasSubRanges()) { 1918 for (auto &S : LI.subranges()) { 1919 if ((S.LaneMask & SubLanes) == SubLanes) { 1920 V = S.getVNInfoAt(UseIdx); 1921 break; 1922 } 1923 } 1924 } else { 1925 V = LI.getVNInfoAt(UseIdx); 1926 } 1927 if (!V) 1928 return nullptr; 1929 DefIdx = V->def; 1930 } else { 1931 // Find last def. 1932 for (MCRegUnitIterator Units(Reg, this); Units.isValid(); ++Units) { 1933 LiveRange &LR = LIS->getRegUnit(*Units); 1934 if (VNInfo *V = LR.getVNInfoAt(UseIdx)) { 1935 if (!DefIdx.isValid() || 1936 MDT.dominates(LIS->getInstructionFromIndex(DefIdx), 1937 LIS->getInstructionFromIndex(V->def))) 1938 DefIdx = V->def; 1939 } else { 1940 return nullptr; 1941 } 1942 } 1943 } 1944 1945 MachineInstr *Def = LIS->getInstructionFromIndex(DefIdx); 1946 1947 if (!Def || !MDT.dominates(Def, &Use)) 1948 return nullptr; 1949 1950 assert(Def->modifiesRegister(Reg, this)); 1951 1952 return Def; 1953 } 1954 1955 MCPhysReg SIRegisterInfo::get32BitRegister(MCPhysReg Reg) const { 1956 assert(getRegSizeInBits(*getPhysRegClass(Reg)) <= 32); 1957 1958 for (const TargetRegisterClass &RC : { AMDGPU::VGPR_32RegClass, 1959 AMDGPU::SReg_32RegClass, 1960 AMDGPU::AGPR_32RegClass } ) { 1961 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::lo16, &RC)) 1962 return Super; 1963 } 1964 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::hi16, 1965 &AMDGPU::VGPR_32RegClass)) { 1966 return Super; 1967 } 1968 1969 return AMDGPU::NoRegister; 1970 } 1971 1972 bool SIRegisterInfo::isConstantPhysReg(MCRegister PhysReg) const { 1973 switch (PhysReg) { 1974 case AMDGPU::SGPR_NULL: 1975 case AMDGPU::SRC_SHARED_BASE: 1976 case AMDGPU::SRC_PRIVATE_BASE: 1977 case AMDGPU::SRC_SHARED_LIMIT: 1978 case AMDGPU::SRC_PRIVATE_LIMIT: 1979 return true; 1980 default: 1981 return false; 1982 } 1983 } 1984 1985 ArrayRef<MCPhysReg> 1986 SIRegisterInfo::getAllSGPR128(const MachineFunction &MF) const { 1987 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(), 1988 ST.getMaxNumSGPRs(MF) / 4); 1989 } 1990 1991 ArrayRef<MCPhysReg> 1992 SIRegisterInfo::getAllSGPR32(const MachineFunction &MF) const { 1993 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(), ST.getMaxNumSGPRs(MF)); 1994 } 1995 1996 ArrayRef<MCPhysReg> 1997 SIRegisterInfo::getAllVGPR32(const MachineFunction &MF) const { 1998 return makeArrayRef(AMDGPU::VGPR_32RegClass.begin(), ST.getMaxNumVGPRs(MF)); 1999 } 2000