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; // FIXME: This should be removed 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 bool UseKill = IsKill && i == NumSubRegs - 1; 1036 1037 // During SGPR spilling to VGPR, determine if the VGPR is defined. The 1038 // only circumstance in which we say it is undefined is when it is the 1039 // first spill to this VGPR in the first basic block. 1040 bool VGPRDefined = true; 1041 if (MBB == &MF->front()) 1042 VGPRDefined = !SGPRSpillVGPRDefinedSet.insert(Spill.VGPR).second; 1043 1044 // Mark the "old value of vgpr" input undef only if this is the first sgpr 1045 // spill to this specific vgpr in the first basic block. 1046 auto MIB = BuildMI(*MBB, MI, DL, 1047 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1048 Spill.VGPR) 1049 .addReg(SubReg, getKillRegState(UseKill)) 1050 .addImm(Spill.Lane) 1051 .addReg(Spill.VGPR, VGPRDefined ? 0 : RegState::Undef); 1052 1053 if (i == 0 && NumSubRegs > 1) { 1054 // We may be spilling a super-register which is only partially defined, 1055 // and need to ensure later spills think the value is defined. 1056 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1057 } 1058 1059 if (NumSubRegs > 1) 1060 MIB.addReg(SuperReg, getKillRegState(UseKill) | RegState::Implicit); 1061 1062 // FIXME: Since this spills to another register instead of an actual 1063 // frame index, we should delete the frame index when all references to 1064 // it are fixed. 1065 } 1066 } else { 1067 // Scavenged temporary VGPR to use. It must be scavenged once for any number 1068 // of spilled subregs. 1069 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1070 RS->setRegUsed(TmpVGPR); 1071 1072 // SubReg carries the "Kill" flag when SubReg == SuperReg. 1073 unsigned SubKillState = getKillRegState((NumSubRegs == 1) && IsKill); 1074 1075 unsigned PerVGPR = 32; 1076 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1077 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1078 1079 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1080 unsigned TmpVGPRFlags = RegState::Undef; 1081 1082 // Write sub registers into the VGPR 1083 for (unsigned i = Offset * PerVGPR, 1084 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1085 i < e; ++i) { 1086 Register SubReg = 1087 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1088 1089 MachineInstrBuilder WriteLane = 1090 BuildMI(*MBB, MI, DL, 1091 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1092 TmpVGPR) 1093 .addReg(SubReg, SubKillState) 1094 .addImm(i % PerVGPR) 1095 .addReg(TmpVGPR, TmpVGPRFlags); 1096 TmpVGPRFlags = 0; 1097 1098 // There could be undef components of a spilled super register. 1099 // TODO: Can we detect this and skip the spill? 1100 if (NumSubRegs > 1) { 1101 // The last implicit use of the SuperReg carries the "Kill" flag. 1102 unsigned SuperKillState = 0; 1103 if (i + 1 == NumSubRegs) 1104 SuperKillState |= getKillRegState(IsKill); 1105 WriteLane.addReg(SuperReg, RegState::Implicit | SuperKillState); 1106 } 1107 } 1108 1109 // Write out VGPR 1110 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1111 RS, false); 1112 } 1113 } 1114 1115 MI->eraseFromParent(); 1116 MFI->addToSpilledSGPRs(NumSubRegs); 1117 return true; 1118 } 1119 1120 bool SIRegisterInfo::restoreSGPR(MachineBasicBlock::iterator MI, 1121 int Index, 1122 RegScavenger *RS, 1123 bool OnlyToVGPR) const { 1124 MachineFunction *MF = MI->getParent()->getParent(); 1125 MachineBasicBlock *MBB = MI->getParent(); 1126 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1127 1128 ArrayRef<SIMachineFunctionInfo::SpilledReg> VGPRSpills 1129 = MFI->getSGPRToVGPRSpills(Index); 1130 bool SpillToVGPR = !VGPRSpills.empty(); 1131 if (OnlyToVGPR && !SpillToVGPR) 1132 return false; 1133 1134 const SIInstrInfo *TII = ST.getInstrInfo(); 1135 const DebugLoc &DL = MI->getDebugLoc(); 1136 1137 Register SuperReg = MI->getOperand(0).getReg(); 1138 1139 assert(SuperReg != AMDGPU::M0 && "m0 should never spill"); 1140 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 1141 SuperReg != AMDGPU::EXEC && "exec should never spill"); 1142 1143 unsigned EltSize = 4; 1144 1145 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 1146 1147 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 1148 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 1149 1150 if (SpillToVGPR) { 1151 for (unsigned i = 0, e = NumSubRegs; i < e; ++i) { 1152 Register SubReg = 1153 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1154 1155 SIMachineFunctionInfo::SpilledReg Spill = VGPRSpills[i]; 1156 auto MIB = 1157 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 1158 SubReg) 1159 .addReg(Spill.VGPR) 1160 .addImm(Spill.Lane); 1161 if (NumSubRegs > 1 && i == 0) 1162 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1163 } 1164 } else { 1165 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1166 RS->setRegUsed(TmpVGPR); 1167 1168 unsigned PerVGPR = 32; 1169 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1170 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1171 1172 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1173 // Load in VGPR data 1174 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1175 RS, true); 1176 1177 // Unpack lanes 1178 for (unsigned i = Offset * PerVGPR, 1179 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1180 i < e; ++i) { 1181 Register SubReg = 1182 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1183 1184 bool LastSubReg = (i + 1 == e); 1185 auto MIB = 1186 BuildMI(*MBB, MI, DL, 1187 TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), SubReg) 1188 .addReg(TmpVGPR, getKillRegState(LastSubReg)) 1189 .addImm(i); 1190 if (NumSubRegs > 1 && i == 0) 1191 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1192 } 1193 } 1194 } 1195 1196 MI->eraseFromParent(); 1197 return true; 1198 } 1199 1200 /// Special case of eliminateFrameIndex. Returns true if the SGPR was spilled to 1201 /// a VGPR and the stack slot can be safely eliminated when all other users are 1202 /// handled. 1203 bool SIRegisterInfo::eliminateSGPRToVGPRSpillFrameIndex( 1204 MachineBasicBlock::iterator MI, 1205 int FI, 1206 RegScavenger *RS) const { 1207 switch (MI->getOpcode()) { 1208 case AMDGPU::SI_SPILL_S1024_SAVE: 1209 case AMDGPU::SI_SPILL_S512_SAVE: 1210 case AMDGPU::SI_SPILL_S256_SAVE: 1211 case AMDGPU::SI_SPILL_S192_SAVE: 1212 case AMDGPU::SI_SPILL_S160_SAVE: 1213 case AMDGPU::SI_SPILL_S128_SAVE: 1214 case AMDGPU::SI_SPILL_S96_SAVE: 1215 case AMDGPU::SI_SPILL_S64_SAVE: 1216 case AMDGPU::SI_SPILL_S32_SAVE: 1217 return spillSGPR(MI, FI, RS, true); 1218 case AMDGPU::SI_SPILL_S1024_RESTORE: 1219 case AMDGPU::SI_SPILL_S512_RESTORE: 1220 case AMDGPU::SI_SPILL_S256_RESTORE: 1221 case AMDGPU::SI_SPILL_S192_RESTORE: 1222 case AMDGPU::SI_SPILL_S160_RESTORE: 1223 case AMDGPU::SI_SPILL_S128_RESTORE: 1224 case AMDGPU::SI_SPILL_S96_RESTORE: 1225 case AMDGPU::SI_SPILL_S64_RESTORE: 1226 case AMDGPU::SI_SPILL_S32_RESTORE: 1227 return restoreSGPR(MI, FI, RS, true); 1228 default: 1229 llvm_unreachable("not an SGPR spill instruction"); 1230 } 1231 } 1232 1233 void SIRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator MI, 1234 int SPAdj, unsigned FIOperandNum, 1235 RegScavenger *RS) const { 1236 MachineFunction *MF = MI->getParent()->getParent(); 1237 MachineBasicBlock *MBB = MI->getParent(); 1238 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1239 MachineFrameInfo &FrameInfo = MF->getFrameInfo(); 1240 const SIInstrInfo *TII = ST.getInstrInfo(); 1241 DebugLoc DL = MI->getDebugLoc(); 1242 1243 assert(SPAdj == 0 && "unhandled SP adjustment in call sequence?"); 1244 1245 MachineOperand &FIOp = MI->getOperand(FIOperandNum); 1246 int Index = MI->getOperand(FIOperandNum).getIndex(); 1247 1248 Register FrameReg = FrameInfo.isFixedObjectIndex(Index) && hasBasePointer(*MF) 1249 ? getBaseRegister() 1250 : getFrameRegister(*MF); 1251 1252 switch (MI->getOpcode()) { 1253 // SGPR register spill 1254 case AMDGPU::SI_SPILL_S1024_SAVE: 1255 case AMDGPU::SI_SPILL_S512_SAVE: 1256 case AMDGPU::SI_SPILL_S256_SAVE: 1257 case AMDGPU::SI_SPILL_S192_SAVE: 1258 case AMDGPU::SI_SPILL_S160_SAVE: 1259 case AMDGPU::SI_SPILL_S128_SAVE: 1260 case AMDGPU::SI_SPILL_S96_SAVE: 1261 case AMDGPU::SI_SPILL_S64_SAVE: 1262 case AMDGPU::SI_SPILL_S32_SAVE: { 1263 spillSGPR(MI, Index, RS); 1264 break; 1265 } 1266 1267 // SGPR register restore 1268 case AMDGPU::SI_SPILL_S1024_RESTORE: 1269 case AMDGPU::SI_SPILL_S512_RESTORE: 1270 case AMDGPU::SI_SPILL_S256_RESTORE: 1271 case AMDGPU::SI_SPILL_S192_RESTORE: 1272 case AMDGPU::SI_SPILL_S160_RESTORE: 1273 case AMDGPU::SI_SPILL_S128_RESTORE: 1274 case AMDGPU::SI_SPILL_S96_RESTORE: 1275 case AMDGPU::SI_SPILL_S64_RESTORE: 1276 case AMDGPU::SI_SPILL_S32_RESTORE: { 1277 restoreSGPR(MI, Index, RS); 1278 break; 1279 } 1280 1281 // VGPR register spill 1282 case AMDGPU::SI_SPILL_V1024_SAVE: 1283 case AMDGPU::SI_SPILL_V512_SAVE: 1284 case AMDGPU::SI_SPILL_V256_SAVE: 1285 case AMDGPU::SI_SPILL_V160_SAVE: 1286 case AMDGPU::SI_SPILL_V128_SAVE: 1287 case AMDGPU::SI_SPILL_V96_SAVE: 1288 case AMDGPU::SI_SPILL_V64_SAVE: 1289 case AMDGPU::SI_SPILL_V32_SAVE: 1290 case AMDGPU::SI_SPILL_A1024_SAVE: 1291 case AMDGPU::SI_SPILL_A512_SAVE: 1292 case AMDGPU::SI_SPILL_A256_SAVE: 1293 case AMDGPU::SI_SPILL_A192_SAVE: 1294 case AMDGPU::SI_SPILL_A160_SAVE: 1295 case AMDGPU::SI_SPILL_A128_SAVE: 1296 case AMDGPU::SI_SPILL_A96_SAVE: 1297 case AMDGPU::SI_SPILL_A64_SAVE: 1298 case AMDGPU::SI_SPILL_A32_SAVE: { 1299 const MachineOperand *VData = TII->getNamedOperand(*MI, 1300 AMDGPU::OpName::vdata); 1301 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1302 MFI->getStackPtrOffsetReg()); 1303 1304 buildSpillLoadStore(MI, AMDGPU::BUFFER_STORE_DWORD_OFFSET, 1305 Index, 1306 VData->getReg(), VData->isKill(), 1307 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1308 FrameReg, 1309 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1310 *MI->memoperands_begin(), 1311 RS); 1312 MFI->addToSpilledVGPRs(getNumSubRegsForSpillOp(MI->getOpcode())); 1313 MI->eraseFromParent(); 1314 break; 1315 } 1316 case AMDGPU::SI_SPILL_V32_RESTORE: 1317 case AMDGPU::SI_SPILL_V64_RESTORE: 1318 case AMDGPU::SI_SPILL_V96_RESTORE: 1319 case AMDGPU::SI_SPILL_V128_RESTORE: 1320 case AMDGPU::SI_SPILL_V160_RESTORE: 1321 case AMDGPU::SI_SPILL_V256_RESTORE: 1322 case AMDGPU::SI_SPILL_V512_RESTORE: 1323 case AMDGPU::SI_SPILL_V1024_RESTORE: 1324 case AMDGPU::SI_SPILL_A32_RESTORE: 1325 case AMDGPU::SI_SPILL_A64_RESTORE: 1326 case AMDGPU::SI_SPILL_A96_RESTORE: 1327 case AMDGPU::SI_SPILL_A128_RESTORE: 1328 case AMDGPU::SI_SPILL_A160_RESTORE: 1329 case AMDGPU::SI_SPILL_A192_RESTORE: 1330 case AMDGPU::SI_SPILL_A256_RESTORE: 1331 case AMDGPU::SI_SPILL_A512_RESTORE: 1332 case AMDGPU::SI_SPILL_A1024_RESTORE: { 1333 const MachineOperand *VData = TII->getNamedOperand(*MI, 1334 AMDGPU::OpName::vdata); 1335 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1336 MFI->getStackPtrOffsetReg()); 1337 1338 buildSpillLoadStore(MI, AMDGPU::BUFFER_LOAD_DWORD_OFFSET, 1339 Index, 1340 VData->getReg(), VData->isKill(), 1341 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1342 FrameReg, 1343 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1344 *MI->memoperands_begin(), 1345 RS); 1346 MI->eraseFromParent(); 1347 break; 1348 } 1349 1350 default: { 1351 const DebugLoc &DL = MI->getDebugLoc(); 1352 bool IsMUBUF = TII->isMUBUF(*MI); 1353 1354 if (!IsMUBUF && !MFI->isEntryFunction()) { 1355 // Convert to a swizzled stack address by scaling by the wave size. 1356 // 1357 // In an entry function/kernel the offset is already swizzled. 1358 1359 bool IsCopy = MI->getOpcode() == AMDGPU::V_MOV_B32_e32; 1360 Register ResultReg = 1361 IsCopy ? MI->getOperand(0).getReg() 1362 : RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1363 1364 int64_t Offset = FrameInfo.getObjectOffset(Index); 1365 if (Offset == 0) { 1366 // XXX - This never happens because of emergency scavenging slot at 0? 1367 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), ResultReg) 1368 .addImm(ST.getWavefrontSizeLog2()) 1369 .addReg(FrameReg); 1370 } else { 1371 if (auto MIB = TII->getAddNoCarry(*MBB, MI, DL, ResultReg, *RS)) { 1372 // Reuse ResultReg in intermediate step. 1373 Register ScaledReg = ResultReg; 1374 1375 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), 1376 ScaledReg) 1377 .addImm(ST.getWavefrontSizeLog2()) 1378 .addReg(FrameReg); 1379 1380 const bool IsVOP2 = MIB->getOpcode() == AMDGPU::V_ADD_U32_e32; 1381 1382 // TODO: Fold if use instruction is another add of a constant. 1383 if (IsVOP2 || AMDGPU::isInlinableLiteral32(Offset, ST.hasInv2PiInlineImm())) { 1384 // FIXME: This can fail 1385 MIB.addImm(Offset); 1386 MIB.addReg(ScaledReg, RegState::Kill); 1387 if (!IsVOP2) 1388 MIB.addImm(0); // clamp bit 1389 } else { 1390 assert(MIB->getOpcode() == AMDGPU::V_ADD_CO_U32_e64 && 1391 "Need to reuse carry out register"); 1392 1393 // Use scavenged unused carry out as offset register. 1394 Register ConstOffsetReg; 1395 if (!isWave32) 1396 ConstOffsetReg = getSubReg(MIB.getReg(1), AMDGPU::sub0); 1397 else 1398 ConstOffsetReg = MIB.getReg(1); 1399 1400 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::S_MOV_B32), ConstOffsetReg) 1401 .addImm(Offset); 1402 MIB.addReg(ConstOffsetReg, RegState::Kill); 1403 MIB.addReg(ScaledReg, RegState::Kill); 1404 MIB.addImm(0); // clamp bit 1405 } 1406 } else { 1407 // We have to produce a carry out, and there isn't a free SGPR pair 1408 // for it. We can keep the whole computation on the SALU to avoid 1409 // clobbering an additional register at the cost of an extra mov. 1410 1411 // We may have 1 free scratch SGPR even though a carry out is 1412 // unavailable. Only one additional mov is needed. 1413 Register TmpScaledReg = 1414 RS->scavengeRegister(&AMDGPU::SReg_32_XM0RegClass, MI, 0, false); 1415 Register ScaledReg = TmpScaledReg.isValid() ? TmpScaledReg : FrameReg; 1416 1417 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHR_B32), ScaledReg) 1418 .addReg(FrameReg) 1419 .addImm(ST.getWavefrontSizeLog2()); 1420 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_ADD_U32), ScaledReg) 1421 .addReg(ScaledReg, RegState::Kill) 1422 .addImm(Offset); 1423 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::COPY), ResultReg) 1424 .addReg(ScaledReg, RegState::Kill); 1425 1426 // If there were truly no free SGPRs, we need to undo everything. 1427 if (!TmpScaledReg.isValid()) { 1428 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_SUB_U32), ScaledReg) 1429 .addReg(ScaledReg, RegState::Kill) 1430 .addImm(Offset); 1431 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHL_B32), ScaledReg) 1432 .addReg(FrameReg) 1433 .addImm(ST.getWavefrontSizeLog2()); 1434 } 1435 } 1436 } 1437 1438 // Don't introduce an extra copy if we're just materializing in a mov. 1439 if (IsCopy) 1440 MI->eraseFromParent(); 1441 else 1442 FIOp.ChangeToRegister(ResultReg, false, false, true); 1443 return; 1444 } 1445 1446 if (IsMUBUF) { 1447 // Disable offen so we don't need a 0 vgpr base. 1448 assert(static_cast<int>(FIOperandNum) == 1449 AMDGPU::getNamedOperandIdx(MI->getOpcode(), 1450 AMDGPU::OpName::vaddr)); 1451 1452 auto &SOffset = *TII->getNamedOperand(*MI, AMDGPU::OpName::soffset); 1453 assert((SOffset.isReg() && 1454 SOffset.getReg() == MFI->getStackPtrOffsetReg()) || 1455 (SOffset.isImm() && SOffset.getImm() == 0)); 1456 if (SOffset.isReg()) { 1457 if (FrameReg == AMDGPU::NoRegister) { 1458 SOffset.ChangeToImmediate(0); 1459 } else { 1460 SOffset.setReg(FrameReg); 1461 } 1462 } 1463 1464 int64_t Offset = FrameInfo.getObjectOffset(Index); 1465 int64_t OldImm 1466 = TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(); 1467 int64_t NewOffset = OldImm + Offset; 1468 1469 if (isUInt<12>(NewOffset) && 1470 buildMUBUFOffsetLoadStore(ST, FrameInfo, MI, Index, NewOffset)) { 1471 MI->eraseFromParent(); 1472 return; 1473 } 1474 } 1475 1476 // If the offset is simply too big, don't convert to a scratch wave offset 1477 // relative index. 1478 1479 int64_t Offset = FrameInfo.getObjectOffset(Index); 1480 FIOp.ChangeToImmediate(Offset); 1481 if (!TII->isImmOperandLegal(*MI, FIOperandNum, FIOp)) { 1482 Register TmpReg = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1483 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_MOV_B32_e32), TmpReg) 1484 .addImm(Offset); 1485 FIOp.ChangeToRegister(TmpReg, false, false, true); 1486 } 1487 } 1488 } 1489 } 1490 1491 StringRef SIRegisterInfo::getRegAsmName(MCRegister Reg) const { 1492 return AMDGPUInstPrinter::getRegisterName(Reg); 1493 } 1494 1495 const TargetRegisterClass * 1496 SIRegisterInfo::getVGPRClassForBitWidth(unsigned BitWidth) { 1497 if (BitWidth == 1) 1498 return &AMDGPU::VReg_1RegClass; 1499 if (BitWidth <= 16) 1500 return &AMDGPU::VGPR_LO16RegClass; 1501 if (BitWidth <= 32) 1502 return &AMDGPU::VGPR_32RegClass; 1503 if (BitWidth <= 64) 1504 return &AMDGPU::VReg_64RegClass; 1505 if (BitWidth <= 96) 1506 return &AMDGPU::VReg_96RegClass; 1507 if (BitWidth <= 128) 1508 return &AMDGPU::VReg_128RegClass; 1509 if (BitWidth <= 160) 1510 return &AMDGPU::VReg_160RegClass; 1511 if (BitWidth <= 192) 1512 return &AMDGPU::VReg_192RegClass; 1513 if (BitWidth <= 256) 1514 return &AMDGPU::VReg_256RegClass; 1515 if (BitWidth <= 512) 1516 return &AMDGPU::VReg_512RegClass; 1517 if (BitWidth <= 1024) 1518 return &AMDGPU::VReg_1024RegClass; 1519 1520 return nullptr; 1521 } 1522 1523 const TargetRegisterClass * 1524 SIRegisterInfo::getAGPRClassForBitWidth(unsigned BitWidth) { 1525 if (BitWidth <= 16) 1526 return &AMDGPU::AGPR_LO16RegClass; 1527 if (BitWidth <= 32) 1528 return &AMDGPU::AGPR_32RegClass; 1529 if (BitWidth <= 64) 1530 return &AMDGPU::AReg_64RegClass; 1531 if (BitWidth <= 96) 1532 return &AMDGPU::AReg_96RegClass; 1533 if (BitWidth <= 128) 1534 return &AMDGPU::AReg_128RegClass; 1535 if (BitWidth <= 160) 1536 return &AMDGPU::AReg_160RegClass; 1537 if (BitWidth <= 192) 1538 return &AMDGPU::AReg_192RegClass; 1539 if (BitWidth <= 256) 1540 return &AMDGPU::AReg_256RegClass; 1541 if (BitWidth <= 512) 1542 return &AMDGPU::AReg_512RegClass; 1543 if (BitWidth <= 1024) 1544 return &AMDGPU::AReg_1024RegClass; 1545 1546 return nullptr; 1547 } 1548 1549 const TargetRegisterClass * 1550 SIRegisterInfo::getSGPRClassForBitWidth(unsigned BitWidth) { 1551 if (BitWidth <= 16) 1552 return &AMDGPU::SGPR_LO16RegClass; 1553 if (BitWidth <= 32) 1554 return &AMDGPU::SReg_32RegClass; 1555 if (BitWidth <= 64) 1556 return &AMDGPU::SReg_64RegClass; 1557 if (BitWidth <= 96) 1558 return &AMDGPU::SGPR_96RegClass; 1559 if (BitWidth <= 128) 1560 return &AMDGPU::SGPR_128RegClass; 1561 if (BitWidth <= 160) 1562 return &AMDGPU::SGPR_160RegClass; 1563 if (BitWidth <= 192) 1564 return &AMDGPU::SGPR_192RegClass; 1565 if (BitWidth <= 256) 1566 return &AMDGPU::SGPR_256RegClass; 1567 if (BitWidth <= 512) 1568 return &AMDGPU::SGPR_512RegClass; 1569 if (BitWidth <= 1024) 1570 return &AMDGPU::SGPR_1024RegClass; 1571 1572 return nullptr; 1573 } 1574 1575 // FIXME: This is very slow. It might be worth creating a map from physreg to 1576 // register class. 1577 const TargetRegisterClass * 1578 SIRegisterInfo::getPhysRegClass(MCRegister Reg) const { 1579 static const TargetRegisterClass *const BaseClasses[] = { 1580 &AMDGPU::VGPR_LO16RegClass, 1581 &AMDGPU::VGPR_HI16RegClass, 1582 &AMDGPU::SReg_LO16RegClass, 1583 &AMDGPU::AGPR_LO16RegClass, 1584 &AMDGPU::VGPR_32RegClass, 1585 &AMDGPU::SReg_32RegClass, 1586 &AMDGPU::AGPR_32RegClass, 1587 &AMDGPU::VReg_64RegClass, 1588 &AMDGPU::SReg_64RegClass, 1589 &AMDGPU::AReg_64RegClass, 1590 &AMDGPU::VReg_96RegClass, 1591 &AMDGPU::SReg_96RegClass, 1592 &AMDGPU::AReg_96RegClass, 1593 &AMDGPU::VReg_128RegClass, 1594 &AMDGPU::SReg_128RegClass, 1595 &AMDGPU::AReg_128RegClass, 1596 &AMDGPU::VReg_160RegClass, 1597 &AMDGPU::SReg_160RegClass, 1598 &AMDGPU::AReg_160RegClass, 1599 &AMDGPU::VReg_192RegClass, 1600 &AMDGPU::SReg_192RegClass, 1601 &AMDGPU::AReg_192RegClass, 1602 &AMDGPU::VReg_256RegClass, 1603 &AMDGPU::SReg_256RegClass, 1604 &AMDGPU::AReg_256RegClass, 1605 &AMDGPU::VReg_512RegClass, 1606 &AMDGPU::SReg_512RegClass, 1607 &AMDGPU::AReg_512RegClass, 1608 &AMDGPU::SReg_1024RegClass, 1609 &AMDGPU::VReg_1024RegClass, 1610 &AMDGPU::AReg_1024RegClass, 1611 &AMDGPU::SCC_CLASSRegClass, 1612 &AMDGPU::Pseudo_SReg_32RegClass, 1613 &AMDGPU::Pseudo_SReg_128RegClass, 1614 }; 1615 1616 for (const TargetRegisterClass *BaseClass : BaseClasses) { 1617 if (BaseClass->contains(Reg)) { 1618 return BaseClass; 1619 } 1620 } 1621 return nullptr; 1622 } 1623 1624 // TODO: It might be helpful to have some target specific flags in 1625 // TargetRegisterClass to mark which classes are VGPRs to make this trivial. 1626 bool SIRegisterInfo::hasVGPRs(const TargetRegisterClass *RC) const { 1627 unsigned Size = getRegSizeInBits(*RC); 1628 if (Size == 16) { 1629 return getCommonSubClass(&AMDGPU::VGPR_LO16RegClass, RC) != nullptr || 1630 getCommonSubClass(&AMDGPU::VGPR_HI16RegClass, RC) != nullptr; 1631 } 1632 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1633 if (!VRC) { 1634 assert(Size < 32 && "Invalid register class size"); 1635 return false; 1636 } 1637 return getCommonSubClass(VRC, RC) != nullptr; 1638 } 1639 1640 bool SIRegisterInfo::hasAGPRs(const TargetRegisterClass *RC) const { 1641 unsigned Size = getRegSizeInBits(*RC); 1642 if (Size < 16) 1643 return false; 1644 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1645 if (!ARC) { 1646 assert(getVGPRClassForBitWidth(Size) && "Invalid register class size"); 1647 return false; 1648 } 1649 return getCommonSubClass(ARC, RC) != nullptr; 1650 } 1651 1652 const TargetRegisterClass * 1653 SIRegisterInfo::getEquivalentVGPRClass(const TargetRegisterClass *SRC) const { 1654 unsigned Size = getRegSizeInBits(*SRC); 1655 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1656 assert(VRC && "Invalid register class size"); 1657 return VRC; 1658 } 1659 1660 const TargetRegisterClass * 1661 SIRegisterInfo::getEquivalentAGPRClass(const TargetRegisterClass *SRC) const { 1662 unsigned Size = getRegSizeInBits(*SRC); 1663 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1664 assert(ARC && "Invalid register class size"); 1665 return ARC; 1666 } 1667 1668 const TargetRegisterClass * 1669 SIRegisterInfo::getEquivalentSGPRClass(const TargetRegisterClass *VRC) const { 1670 unsigned Size = getRegSizeInBits(*VRC); 1671 if (Size == 32) 1672 return &AMDGPU::SGPR_32RegClass; 1673 const TargetRegisterClass *SRC = getSGPRClassForBitWidth(Size); 1674 assert(SRC && "Invalid register class size"); 1675 return SRC; 1676 } 1677 1678 const TargetRegisterClass *SIRegisterInfo::getSubRegClass( 1679 const TargetRegisterClass *RC, unsigned SubIdx) const { 1680 if (SubIdx == AMDGPU::NoSubRegister) 1681 return RC; 1682 1683 // We can assume that each lane corresponds to one 32-bit register. 1684 unsigned Size = getNumChannelsFromSubReg(SubIdx) * 32; 1685 if (isSGPRClass(RC)) { 1686 if (Size == 32) 1687 RC = &AMDGPU::SGPR_32RegClass; 1688 else 1689 RC = getSGPRClassForBitWidth(Size); 1690 } else if (hasAGPRs(RC)) { 1691 RC = getAGPRClassForBitWidth(Size); 1692 } else { 1693 RC = getVGPRClassForBitWidth(Size); 1694 } 1695 assert(RC && "Invalid sub-register class size"); 1696 return RC; 1697 } 1698 1699 bool SIRegisterInfo::opCanUseInlineConstant(unsigned OpType) const { 1700 if (OpType >= AMDGPU::OPERAND_REG_INLINE_AC_FIRST && 1701 OpType <= AMDGPU::OPERAND_REG_INLINE_AC_LAST) 1702 return !ST.hasMFMAInlineLiteralBug(); 1703 1704 return OpType >= AMDGPU::OPERAND_SRC_FIRST && 1705 OpType <= AMDGPU::OPERAND_SRC_LAST; 1706 } 1707 1708 bool SIRegisterInfo::shouldRewriteCopySrc( 1709 const TargetRegisterClass *DefRC, 1710 unsigned DefSubReg, 1711 const TargetRegisterClass *SrcRC, 1712 unsigned SrcSubReg) const { 1713 // We want to prefer the smallest register class possible, so we don't want to 1714 // stop and rewrite on anything that looks like a subregister 1715 // extract. Operations mostly don't care about the super register class, so we 1716 // only want to stop on the most basic of copies between the same register 1717 // class. 1718 // 1719 // e.g. if we have something like 1720 // %0 = ... 1721 // %1 = ... 1722 // %2 = REG_SEQUENCE %0, sub0, %1, sub1, %2, sub2 1723 // %3 = COPY %2, sub0 1724 // 1725 // We want to look through the COPY to find: 1726 // => %3 = COPY %0 1727 1728 // Plain copy. 1729 return getCommonSubClass(DefRC, SrcRC) != nullptr; 1730 } 1731 1732 /// Returns a lowest register that is not used at any point in the function. 1733 /// If all registers are used, then this function will return 1734 /// AMDGPU::NoRegister. If \p ReserveHighestVGPR = true, then return 1735 /// highest unused register. 1736 MCRegister SIRegisterInfo::findUnusedRegister(const MachineRegisterInfo &MRI, 1737 const TargetRegisterClass *RC, 1738 const MachineFunction &MF, 1739 bool ReserveHighestVGPR) const { 1740 if (ReserveHighestVGPR) { 1741 for (MCRegister Reg : reverse(*RC)) 1742 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1743 return Reg; 1744 } else { 1745 for (MCRegister Reg : *RC) 1746 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1747 return Reg; 1748 } 1749 return MCRegister(); 1750 } 1751 1752 ArrayRef<int16_t> SIRegisterInfo::getRegSplitParts(const TargetRegisterClass *RC, 1753 unsigned EltSize) const { 1754 const unsigned RegBitWidth = AMDGPU::getRegBitWidth(*RC->MC); 1755 assert(RegBitWidth >= 32 && RegBitWidth <= 1024); 1756 1757 const unsigned RegDWORDs = RegBitWidth / 32; 1758 const unsigned EltDWORDs = EltSize / 4; 1759 assert(RegSplitParts.size() + 1 >= EltDWORDs); 1760 1761 const std::vector<int16_t> &Parts = RegSplitParts[EltDWORDs - 1]; 1762 const unsigned NumParts = RegDWORDs / EltDWORDs; 1763 1764 return makeArrayRef(Parts.data(), NumParts); 1765 } 1766 1767 const TargetRegisterClass* 1768 SIRegisterInfo::getRegClassForReg(const MachineRegisterInfo &MRI, 1769 Register Reg) const { 1770 return Reg.isVirtual() ? MRI.getRegClass(Reg) : getPhysRegClass(Reg); 1771 } 1772 1773 bool SIRegisterInfo::isVGPR(const MachineRegisterInfo &MRI, 1774 Register Reg) const { 1775 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1776 // Registers without classes are unaddressable, SGPR-like registers. 1777 return RC && hasVGPRs(RC); 1778 } 1779 1780 bool SIRegisterInfo::isAGPR(const MachineRegisterInfo &MRI, 1781 Register Reg) const { 1782 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1783 1784 // Registers without classes are unaddressable, SGPR-like registers. 1785 return RC && hasAGPRs(RC); 1786 } 1787 1788 bool SIRegisterInfo::shouldCoalesce(MachineInstr *MI, 1789 const TargetRegisterClass *SrcRC, 1790 unsigned SubReg, 1791 const TargetRegisterClass *DstRC, 1792 unsigned DstSubReg, 1793 const TargetRegisterClass *NewRC, 1794 LiveIntervals &LIS) const { 1795 unsigned SrcSize = getRegSizeInBits(*SrcRC); 1796 unsigned DstSize = getRegSizeInBits(*DstRC); 1797 unsigned NewSize = getRegSizeInBits(*NewRC); 1798 1799 // Do not increase size of registers beyond dword, we would need to allocate 1800 // adjacent registers and constraint regalloc more than needed. 1801 1802 // Always allow dword coalescing. 1803 if (SrcSize <= 32 || DstSize <= 32) 1804 return true; 1805 1806 return NewSize <= DstSize || NewSize <= SrcSize; 1807 } 1808 1809 unsigned SIRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC, 1810 MachineFunction &MF) const { 1811 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 1812 1813 unsigned Occupancy = ST.getOccupancyWithLocalMemSize(MFI->getLDSSize(), 1814 MF.getFunction()); 1815 switch (RC->getID()) { 1816 default: 1817 return AMDGPUGenRegisterInfo::getRegPressureLimit(RC, MF); 1818 case AMDGPU::VGPR_32RegClassID: 1819 case AMDGPU::VGPR_LO16RegClassID: 1820 case AMDGPU::VGPR_HI16RegClassID: 1821 return std::min(ST.getMaxNumVGPRs(Occupancy), ST.getMaxNumVGPRs(MF)); 1822 case AMDGPU::SGPR_32RegClassID: 1823 case AMDGPU::SGPR_LO16RegClassID: 1824 return std::min(ST.getMaxNumSGPRs(Occupancy, true), ST.getMaxNumSGPRs(MF)); 1825 } 1826 } 1827 1828 unsigned SIRegisterInfo::getRegPressureSetLimit(const MachineFunction &MF, 1829 unsigned Idx) const { 1830 if (Idx == AMDGPU::RegisterPressureSets::VGPR_32 || 1831 Idx == AMDGPU::RegisterPressureSets::AGPR_32) 1832 return getRegPressureLimit(&AMDGPU::VGPR_32RegClass, 1833 const_cast<MachineFunction &>(MF)); 1834 1835 if (Idx == AMDGPU::RegisterPressureSets::SReg_32) 1836 return getRegPressureLimit(&AMDGPU::SGPR_32RegClass, 1837 const_cast<MachineFunction &>(MF)); 1838 1839 llvm_unreachable("Unexpected register pressure set!"); 1840 } 1841 1842 const int *SIRegisterInfo::getRegUnitPressureSets(unsigned RegUnit) const { 1843 static const int Empty[] = { -1 }; 1844 1845 if (RegPressureIgnoredUnits[RegUnit]) 1846 return Empty; 1847 1848 return AMDGPUGenRegisterInfo::getRegUnitPressureSets(RegUnit); 1849 } 1850 1851 MCRegister SIRegisterInfo::getReturnAddressReg(const MachineFunction &MF) const { 1852 // Not a callee saved register. 1853 return AMDGPU::SGPR30_SGPR31; 1854 } 1855 1856 const TargetRegisterClass * 1857 SIRegisterInfo::getRegClassForSizeOnBank(unsigned Size, 1858 const RegisterBank &RB, 1859 const MachineRegisterInfo &MRI) const { 1860 switch (RB.getID()) { 1861 case AMDGPU::VGPRRegBankID: 1862 return getVGPRClassForBitWidth(std::max(32u, Size)); 1863 case AMDGPU::VCCRegBankID: 1864 assert(Size == 1); 1865 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1866 : &AMDGPU::SReg_64_XEXECRegClass; 1867 case AMDGPU::SGPRRegBankID: 1868 return getSGPRClassForBitWidth(std::max(32u, Size)); 1869 case AMDGPU::AGPRRegBankID: 1870 return getAGPRClassForBitWidth(std::max(32u, Size)); 1871 default: 1872 llvm_unreachable("unknown register bank"); 1873 } 1874 } 1875 1876 const TargetRegisterClass * 1877 SIRegisterInfo::getConstrainedRegClassForOperand(const MachineOperand &MO, 1878 const MachineRegisterInfo &MRI) const { 1879 const RegClassOrRegBank &RCOrRB = MRI.getRegClassOrRegBank(MO.getReg()); 1880 if (const RegisterBank *RB = RCOrRB.dyn_cast<const RegisterBank*>()) 1881 return getRegClassForTypeOnBank(MRI.getType(MO.getReg()), *RB, MRI); 1882 1883 const TargetRegisterClass *RC = RCOrRB.get<const TargetRegisterClass*>(); 1884 return getAllocatableClass(RC); 1885 } 1886 1887 MCRegister SIRegisterInfo::getVCC() const { 1888 return isWave32 ? AMDGPU::VCC_LO : AMDGPU::VCC; 1889 } 1890 1891 const TargetRegisterClass * 1892 SIRegisterInfo::getRegClass(unsigned RCID) const { 1893 switch ((int)RCID) { 1894 case AMDGPU::SReg_1RegClassID: 1895 return getBoolRC(); 1896 case AMDGPU::SReg_1_XEXECRegClassID: 1897 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1898 : &AMDGPU::SReg_64_XEXECRegClass; 1899 case -1: 1900 return nullptr; 1901 default: 1902 return AMDGPUGenRegisterInfo::getRegClass(RCID); 1903 } 1904 } 1905 1906 // Find reaching register definition 1907 MachineInstr *SIRegisterInfo::findReachingDef(Register Reg, unsigned SubReg, 1908 MachineInstr &Use, 1909 MachineRegisterInfo &MRI, 1910 LiveIntervals *LIS) const { 1911 auto &MDT = LIS->getAnalysis<MachineDominatorTree>(); 1912 SlotIndex UseIdx = LIS->getInstructionIndex(Use); 1913 SlotIndex DefIdx; 1914 1915 if (Reg.isVirtual()) { 1916 if (!LIS->hasInterval(Reg)) 1917 return nullptr; 1918 LiveInterval &LI = LIS->getInterval(Reg); 1919 LaneBitmask SubLanes = SubReg ? getSubRegIndexLaneMask(SubReg) 1920 : MRI.getMaxLaneMaskForVReg(Reg); 1921 VNInfo *V = nullptr; 1922 if (LI.hasSubRanges()) { 1923 for (auto &S : LI.subranges()) { 1924 if ((S.LaneMask & SubLanes) == SubLanes) { 1925 V = S.getVNInfoAt(UseIdx); 1926 break; 1927 } 1928 } 1929 } else { 1930 V = LI.getVNInfoAt(UseIdx); 1931 } 1932 if (!V) 1933 return nullptr; 1934 DefIdx = V->def; 1935 } else { 1936 // Find last def. 1937 for (MCRegUnitIterator Units(Reg, this); Units.isValid(); ++Units) { 1938 LiveRange &LR = LIS->getRegUnit(*Units); 1939 if (VNInfo *V = LR.getVNInfoAt(UseIdx)) { 1940 if (!DefIdx.isValid() || 1941 MDT.dominates(LIS->getInstructionFromIndex(DefIdx), 1942 LIS->getInstructionFromIndex(V->def))) 1943 DefIdx = V->def; 1944 } else { 1945 return nullptr; 1946 } 1947 } 1948 } 1949 1950 MachineInstr *Def = LIS->getInstructionFromIndex(DefIdx); 1951 1952 if (!Def || !MDT.dominates(Def, &Use)) 1953 return nullptr; 1954 1955 assert(Def->modifiesRegister(Reg, this)); 1956 1957 return Def; 1958 } 1959 1960 MCPhysReg SIRegisterInfo::get32BitRegister(MCPhysReg Reg) const { 1961 assert(getRegSizeInBits(*getPhysRegClass(Reg)) <= 32); 1962 1963 for (const TargetRegisterClass &RC : { AMDGPU::VGPR_32RegClass, 1964 AMDGPU::SReg_32RegClass, 1965 AMDGPU::AGPR_32RegClass } ) { 1966 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::lo16, &RC)) 1967 return Super; 1968 } 1969 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::hi16, 1970 &AMDGPU::VGPR_32RegClass)) { 1971 return Super; 1972 } 1973 1974 return AMDGPU::NoRegister; 1975 } 1976 1977 bool SIRegisterInfo::isConstantPhysReg(MCRegister PhysReg) const { 1978 switch (PhysReg) { 1979 case AMDGPU::SGPR_NULL: 1980 case AMDGPU::SRC_SHARED_BASE: 1981 case AMDGPU::SRC_PRIVATE_BASE: 1982 case AMDGPU::SRC_SHARED_LIMIT: 1983 case AMDGPU::SRC_PRIVATE_LIMIT: 1984 return true; 1985 default: 1986 return false; 1987 } 1988 } 1989 1990 ArrayRef<MCPhysReg> 1991 SIRegisterInfo::getAllSGPR128(const MachineFunction &MF) const { 1992 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(), 1993 ST.getMaxNumSGPRs(MF) / 4); 1994 } 1995 1996 ArrayRef<MCPhysReg> 1997 SIRegisterInfo::getAllSGPR32(const MachineFunction &MF) const { 1998 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(), ST.getMaxNumSGPRs(MF)); 1999 } 2000 2001 ArrayRef<MCPhysReg> 2002 SIRegisterInfo::getAllVGPR32(const MachineFunction &MF) const { 2003 return makeArrayRef(AMDGPU::VGPR_32RegClass.begin(), ST.getMaxNumVGPRs(MF)); 2004 } 2005