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 507 MachineOperand *SOffset = TII->getNamedOperand(MI, AMDGPU::OpName::soffset); 508 assert(SOffset->getReg() == 509 MF->getInfo<SIMachineFunctionInfo>()->getStackPtrOffsetReg() && 510 "should only be seeing stack pointer offset relative FrameIndex"); 511 512 MachineOperand *OffsetOp = TII->getNamedOperand(MI, AMDGPU::OpName::offset); 513 int64_t NewOffset = OffsetOp->getImm() + Offset; 514 assert(isUInt<12>(NewOffset) && "offset should be legal"); 515 516 FIOp->ChangeToRegister(BaseReg, false); 517 OffsetOp->setImm(NewOffset); 518 519 // The move materializing the base address will be an absolute stack address, 520 // so clear the base offset. 521 SOffset->ChangeToImmediate(0); 522 } 523 524 bool SIRegisterInfo::isFrameOffsetLegal(const MachineInstr *MI, 525 Register BaseReg, 526 int64_t Offset) const { 527 if (!SIInstrInfo::isMUBUF(*MI)) 528 return false; 529 530 int64_t NewOffset = Offset + getMUBUFInstrOffset(MI); 531 532 return isUInt<12>(NewOffset); 533 } 534 535 const TargetRegisterClass *SIRegisterInfo::getPointerRegClass( 536 const MachineFunction &MF, unsigned Kind) const { 537 // This is inaccurate. It depends on the instruction and address space. The 538 // only place where we should hit this is for dealing with frame indexes / 539 // private accesses, so this is correct in that case. 540 return &AMDGPU::VGPR_32RegClass; 541 } 542 543 static unsigned getNumSubRegsForSpillOp(unsigned Op) { 544 545 switch (Op) { 546 case AMDGPU::SI_SPILL_S1024_SAVE: 547 case AMDGPU::SI_SPILL_S1024_RESTORE: 548 case AMDGPU::SI_SPILL_V1024_SAVE: 549 case AMDGPU::SI_SPILL_V1024_RESTORE: 550 case AMDGPU::SI_SPILL_A1024_SAVE: 551 case AMDGPU::SI_SPILL_A1024_RESTORE: 552 return 32; 553 case AMDGPU::SI_SPILL_S512_SAVE: 554 case AMDGPU::SI_SPILL_S512_RESTORE: 555 case AMDGPU::SI_SPILL_V512_SAVE: 556 case AMDGPU::SI_SPILL_V512_RESTORE: 557 case AMDGPU::SI_SPILL_A512_SAVE: 558 case AMDGPU::SI_SPILL_A512_RESTORE: 559 return 16; 560 case AMDGPU::SI_SPILL_S256_SAVE: 561 case AMDGPU::SI_SPILL_S256_RESTORE: 562 case AMDGPU::SI_SPILL_V256_SAVE: 563 case AMDGPU::SI_SPILL_V256_RESTORE: 564 case AMDGPU::SI_SPILL_A256_SAVE: 565 case AMDGPU::SI_SPILL_A256_RESTORE: 566 return 8; 567 case AMDGPU::SI_SPILL_S192_SAVE: 568 case AMDGPU::SI_SPILL_S192_RESTORE: 569 case AMDGPU::SI_SPILL_V192_SAVE: 570 case AMDGPU::SI_SPILL_V192_RESTORE: 571 case AMDGPU::SI_SPILL_A192_SAVE: 572 case AMDGPU::SI_SPILL_A192_RESTORE: 573 return 6; 574 case AMDGPU::SI_SPILL_S160_SAVE: 575 case AMDGPU::SI_SPILL_S160_RESTORE: 576 case AMDGPU::SI_SPILL_V160_SAVE: 577 case AMDGPU::SI_SPILL_V160_RESTORE: 578 case AMDGPU::SI_SPILL_A160_SAVE: 579 case AMDGPU::SI_SPILL_A160_RESTORE: 580 return 5; 581 case AMDGPU::SI_SPILL_S128_SAVE: 582 case AMDGPU::SI_SPILL_S128_RESTORE: 583 case AMDGPU::SI_SPILL_V128_SAVE: 584 case AMDGPU::SI_SPILL_V128_RESTORE: 585 case AMDGPU::SI_SPILL_A128_SAVE: 586 case AMDGPU::SI_SPILL_A128_RESTORE: 587 return 4; 588 case AMDGPU::SI_SPILL_S96_SAVE: 589 case AMDGPU::SI_SPILL_S96_RESTORE: 590 case AMDGPU::SI_SPILL_V96_SAVE: 591 case AMDGPU::SI_SPILL_V96_RESTORE: 592 case AMDGPU::SI_SPILL_A96_SAVE: 593 case AMDGPU::SI_SPILL_A96_RESTORE: 594 return 3; 595 case AMDGPU::SI_SPILL_S64_SAVE: 596 case AMDGPU::SI_SPILL_S64_RESTORE: 597 case AMDGPU::SI_SPILL_V64_SAVE: 598 case AMDGPU::SI_SPILL_V64_RESTORE: 599 case AMDGPU::SI_SPILL_A64_SAVE: 600 case AMDGPU::SI_SPILL_A64_RESTORE: 601 return 2; 602 case AMDGPU::SI_SPILL_S32_SAVE: 603 case AMDGPU::SI_SPILL_S32_RESTORE: 604 case AMDGPU::SI_SPILL_V32_SAVE: 605 case AMDGPU::SI_SPILL_V32_RESTORE: 606 case AMDGPU::SI_SPILL_A32_SAVE: 607 case AMDGPU::SI_SPILL_A32_RESTORE: 608 return 1; 609 default: llvm_unreachable("Invalid spill opcode"); 610 } 611 } 612 613 static int getOffsetMUBUFStore(unsigned Opc) { 614 switch (Opc) { 615 case AMDGPU::BUFFER_STORE_DWORD_OFFEN: 616 return AMDGPU::BUFFER_STORE_DWORD_OFFSET; 617 case AMDGPU::BUFFER_STORE_BYTE_OFFEN: 618 return AMDGPU::BUFFER_STORE_BYTE_OFFSET; 619 case AMDGPU::BUFFER_STORE_SHORT_OFFEN: 620 return AMDGPU::BUFFER_STORE_SHORT_OFFSET; 621 case AMDGPU::BUFFER_STORE_DWORDX2_OFFEN: 622 return AMDGPU::BUFFER_STORE_DWORDX2_OFFSET; 623 case AMDGPU::BUFFER_STORE_DWORDX4_OFFEN: 624 return AMDGPU::BUFFER_STORE_DWORDX4_OFFSET; 625 case AMDGPU::BUFFER_STORE_SHORT_D16_HI_OFFEN: 626 return AMDGPU::BUFFER_STORE_SHORT_D16_HI_OFFSET; 627 case AMDGPU::BUFFER_STORE_BYTE_D16_HI_OFFEN: 628 return AMDGPU::BUFFER_STORE_BYTE_D16_HI_OFFSET; 629 default: 630 return -1; 631 } 632 } 633 634 static int getOffsetMUBUFLoad(unsigned Opc) { 635 switch (Opc) { 636 case AMDGPU::BUFFER_LOAD_DWORD_OFFEN: 637 return AMDGPU::BUFFER_LOAD_DWORD_OFFSET; 638 case AMDGPU::BUFFER_LOAD_UBYTE_OFFEN: 639 return AMDGPU::BUFFER_LOAD_UBYTE_OFFSET; 640 case AMDGPU::BUFFER_LOAD_SBYTE_OFFEN: 641 return AMDGPU::BUFFER_LOAD_SBYTE_OFFSET; 642 case AMDGPU::BUFFER_LOAD_USHORT_OFFEN: 643 return AMDGPU::BUFFER_LOAD_USHORT_OFFSET; 644 case AMDGPU::BUFFER_LOAD_SSHORT_OFFEN: 645 return AMDGPU::BUFFER_LOAD_SSHORT_OFFSET; 646 case AMDGPU::BUFFER_LOAD_DWORDX2_OFFEN: 647 return AMDGPU::BUFFER_LOAD_DWORDX2_OFFSET; 648 case AMDGPU::BUFFER_LOAD_DWORDX4_OFFEN: 649 return AMDGPU::BUFFER_LOAD_DWORDX4_OFFSET; 650 case AMDGPU::BUFFER_LOAD_UBYTE_D16_OFFEN: 651 return AMDGPU::BUFFER_LOAD_UBYTE_D16_OFFSET; 652 case AMDGPU::BUFFER_LOAD_UBYTE_D16_HI_OFFEN: 653 return AMDGPU::BUFFER_LOAD_UBYTE_D16_HI_OFFSET; 654 case AMDGPU::BUFFER_LOAD_SBYTE_D16_OFFEN: 655 return AMDGPU::BUFFER_LOAD_SBYTE_D16_OFFSET; 656 case AMDGPU::BUFFER_LOAD_SBYTE_D16_HI_OFFEN: 657 return AMDGPU::BUFFER_LOAD_SBYTE_D16_HI_OFFSET; 658 case AMDGPU::BUFFER_LOAD_SHORT_D16_OFFEN: 659 return AMDGPU::BUFFER_LOAD_SHORT_D16_OFFSET; 660 case AMDGPU::BUFFER_LOAD_SHORT_D16_HI_OFFEN: 661 return AMDGPU::BUFFER_LOAD_SHORT_D16_HI_OFFSET; 662 default: 663 return -1; 664 } 665 } 666 667 static MachineInstrBuilder spillVGPRtoAGPR(const GCNSubtarget &ST, 668 MachineBasicBlock::iterator MI, 669 int Index, 670 unsigned Lane, 671 unsigned ValueReg, 672 bool IsKill) { 673 MachineBasicBlock *MBB = MI->getParent(); 674 MachineFunction *MF = MI->getParent()->getParent(); 675 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 676 const SIInstrInfo *TII = ST.getInstrInfo(); 677 678 MCPhysReg Reg = MFI->getVGPRToAGPRSpill(Index, Lane); 679 680 if (Reg == AMDGPU::NoRegister) 681 return MachineInstrBuilder(); 682 683 bool IsStore = MI->mayStore(); 684 MachineRegisterInfo &MRI = MF->getRegInfo(); 685 auto *TRI = static_cast<const SIRegisterInfo*>(MRI.getTargetRegisterInfo()); 686 687 unsigned Dst = IsStore ? Reg : ValueReg; 688 unsigned Src = IsStore ? ValueReg : Reg; 689 unsigned Opc = (IsStore ^ TRI->isVGPR(MRI, Reg)) ? AMDGPU::V_ACCVGPR_WRITE_B32 690 : AMDGPU::V_ACCVGPR_READ_B32; 691 692 return BuildMI(*MBB, MI, MI->getDebugLoc(), TII->get(Opc), Dst) 693 .addReg(Src, getKillRegState(IsKill)); 694 } 695 696 // This differs from buildSpillLoadStore by only scavenging a VGPR. It does not 697 // need to handle the case where an SGPR may need to be spilled while spilling. 698 static bool buildMUBUFOffsetLoadStore(const GCNSubtarget &ST, 699 MachineFrameInfo &MFI, 700 MachineBasicBlock::iterator MI, 701 int Index, 702 int64_t Offset) { 703 const SIInstrInfo *TII = ST.getInstrInfo(); 704 MachineBasicBlock *MBB = MI->getParent(); 705 const DebugLoc &DL = MI->getDebugLoc(); 706 bool IsStore = MI->mayStore(); 707 708 unsigned Opc = MI->getOpcode(); 709 int LoadStoreOp = IsStore ? 710 getOffsetMUBUFStore(Opc) : getOffsetMUBUFLoad(Opc); 711 if (LoadStoreOp == -1) 712 return false; 713 714 const MachineOperand *Reg = TII->getNamedOperand(*MI, AMDGPU::OpName::vdata); 715 if (spillVGPRtoAGPR(ST, MI, Index, 0, Reg->getReg(), false).getInstr()) 716 return true; 717 718 MachineInstrBuilder NewMI = 719 BuildMI(*MBB, MI, DL, TII->get(LoadStoreOp)) 720 .add(*Reg) 721 .add(*TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)) 722 .add(*TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)) 723 .addImm(Offset) 724 .addImm(0) // glc 725 .addImm(0) // slc 726 .addImm(0) // tfe 727 .addImm(0) // dlc 728 .addImm(0) // swz 729 .cloneMemRefs(*MI); 730 731 const MachineOperand *VDataIn = TII->getNamedOperand(*MI, 732 AMDGPU::OpName::vdata_in); 733 if (VDataIn) 734 NewMI.add(*VDataIn); 735 return true; 736 } 737 738 void SIRegisterInfo::buildSpillLoadStore(MachineBasicBlock::iterator MI, 739 unsigned LoadStoreOp, 740 int Index, 741 Register ValueReg, 742 bool IsKill, 743 MCRegister ScratchRsrcReg, 744 MCRegister ScratchOffsetReg, 745 int64_t InstOffset, 746 MachineMemOperand *MMO, 747 RegScavenger *RS) const { 748 MachineBasicBlock *MBB = MI->getParent(); 749 MachineFunction *MF = MI->getParent()->getParent(); 750 const SIInstrInfo *TII = ST.getInstrInfo(); 751 const MachineFrameInfo &MFI = MF->getFrameInfo(); 752 const SIMachineFunctionInfo *FuncInfo = MF->getInfo<SIMachineFunctionInfo>(); 753 754 const MCInstrDesc &Desc = TII->get(LoadStoreOp); 755 const DebugLoc &DL = MI->getDebugLoc(); 756 bool IsStore = Desc.mayStore(); 757 758 bool Scavenged = false; 759 MCRegister SOffset = ScratchOffsetReg; 760 761 const unsigned EltSize = 4; 762 const TargetRegisterClass *RC = getRegClassForReg(MF->getRegInfo(), ValueReg); 763 unsigned NumSubRegs = AMDGPU::getRegBitWidth(RC->getID()) / (EltSize * CHAR_BIT); 764 unsigned Size = NumSubRegs * EltSize; 765 int64_t Offset = InstOffset + MFI.getObjectOffset(Index); 766 int64_t ScratchOffsetRegDelta = 0; 767 768 Align Alignment = MFI.getObjectAlign(Index); 769 const MachinePointerInfo &BasePtrInfo = MMO->getPointerInfo(); 770 771 assert((Offset % EltSize) == 0 && "unexpected VGPR spill offset"); 772 773 if (!isUInt<12>(Offset + Size - EltSize)) { 774 SOffset = MCRegister(); 775 776 // We currently only support spilling VGPRs to EltSize boundaries, meaning 777 // we can simplify the adjustment of Offset here to just scale with 778 // WavefrontSize. 779 Offset *= ST.getWavefrontSize(); 780 781 // We don't have access to the register scavenger if this function is called 782 // during PEI::scavengeFrameVirtualRegs(). 783 if (RS) 784 SOffset = RS->scavengeRegister(&AMDGPU::SGPR_32RegClass, MI, 0, false); 785 786 if (!SOffset) { 787 // There are no free SGPRs, and since we are in the process of spilling 788 // VGPRs too. Since we need a VGPR in order to spill SGPRs (this is true 789 // on SI/CI and on VI it is true until we implement spilling using scalar 790 // stores), we have no way to free up an SGPR. Our solution here is to 791 // add the offset directly to the ScratchOffset or StackPtrOffset 792 // register, and then subtract the offset after the spill to return the 793 // register to it's original value. 794 if (!ScratchOffsetReg) 795 ScratchOffsetReg = FuncInfo->getStackPtrOffsetReg(); 796 SOffset = ScratchOffsetReg; 797 ScratchOffsetRegDelta = Offset; 798 } else { 799 Scavenged = true; 800 } 801 802 if (!SOffset) 803 report_fatal_error("could not scavenge SGPR to spill in entry function"); 804 805 if (ScratchOffsetReg == AMDGPU::NoRegister) { 806 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_MOV_B32), SOffset) 807 .addImm(Offset); 808 } else { 809 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_ADD_U32), SOffset) 810 .addReg(ScratchOffsetReg) 811 .addImm(Offset); 812 } 813 814 Offset = 0; 815 } 816 817 Register TmpReg; 818 819 for (unsigned i = 0, e = NumSubRegs; i != e; ++i, Offset += EltSize) { 820 Register SubReg = NumSubRegs == 1 821 ? Register(ValueReg) 822 : getSubReg(ValueReg, getSubRegFromChannel(i)); 823 824 unsigned SOffsetRegState = 0; 825 unsigned SrcDstRegState = getDefRegState(!IsStore); 826 if (i + 1 == e) { 827 SOffsetRegState |= getKillRegState(Scavenged); 828 // The last implicit use carries the "Kill" flag. 829 SrcDstRegState |= getKillRegState(IsKill); 830 } 831 832 auto MIB = spillVGPRtoAGPR(ST, MI, Index, i, SubReg, IsKill); 833 834 if (!MIB.getInstr()) { 835 unsigned FinalReg = SubReg; 836 if (hasAGPRs(RC)) { 837 if (!TmpReg) { 838 assert(RS && "Needs to have RegScavenger to spill an AGPR!"); 839 // FIXME: change to scavengeRegisterBackwards() 840 TmpReg = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 841 RS->setRegUsed(TmpReg); 842 } 843 if (IsStore) 844 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_ACCVGPR_READ_B32), TmpReg) 845 .addReg(SubReg, getKillRegState(IsKill)); 846 SubReg = TmpReg; 847 } 848 849 MachinePointerInfo PInfo = BasePtrInfo.getWithOffset(EltSize * i); 850 MachineMemOperand *NewMMO = 851 MF->getMachineMemOperand(PInfo, MMO->getFlags(), EltSize, 852 commonAlignment(Alignment, EltSize * i)); 853 854 MIB = BuildMI(*MBB, MI, DL, Desc) 855 .addReg(SubReg, 856 getDefRegState(!IsStore) | getKillRegState(IsKill)) 857 .addReg(ScratchRsrcReg); 858 if (SOffset == AMDGPU::NoRegister) { 859 MIB.addImm(0); 860 } else { 861 MIB.addReg(SOffset, SOffsetRegState); 862 } 863 MIB.addImm(Offset) 864 .addImm(0) // glc 865 .addImm(0) // slc 866 .addImm(0) // tfe 867 .addImm(0) // dlc 868 .addImm(0) // swz 869 .addMemOperand(NewMMO); 870 871 if (!IsStore && TmpReg != AMDGPU::NoRegister) 872 MIB = BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_ACCVGPR_WRITE_B32), 873 FinalReg) 874 .addReg(TmpReg, RegState::Kill); 875 } 876 877 if (NumSubRegs > 1) 878 MIB.addReg(ValueReg, RegState::Implicit | SrcDstRegState); 879 } 880 881 if (ScratchOffsetRegDelta != 0) { 882 // Subtract the offset we added to the ScratchOffset register. 883 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_SUB_U32), SOffset) 884 .addReg(SOffset) 885 .addImm(ScratchOffsetRegDelta); 886 } 887 } 888 889 // Generate a VMEM access which loads or stores the VGPR containing an SGPR 890 // spill such that all the lanes set in VGPRLanes are loaded or stored. 891 // This generates exec mask manipulation and will use SGPRs available in MI 892 // or VGPR lanes in the VGPR to save and restore the exec mask. 893 void SIRegisterInfo::buildSGPRSpillLoadStore(MachineBasicBlock::iterator MI, 894 int Index, int Offset, 895 unsigned EltSize, Register VGPR, 896 int64_t VGPRLanes, 897 RegScavenger *RS, 898 bool IsLoad) const { 899 MachineBasicBlock *MBB = MI->getParent(); 900 MachineFunction *MF = MBB->getParent(); 901 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 902 const SIInstrInfo *TII = ST.getInstrInfo(); 903 904 Register SuperReg = MI->getOperand(0).getReg(); 905 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 906 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 907 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 908 unsigned FirstPart = Offset * 32; 909 unsigned ExecLane = 0; 910 911 bool IsKill = MI->getOperand(0).isKill(); 912 const DebugLoc &DL = MI->getDebugLoc(); 913 914 // Cannot handle load/store to EXEC 915 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 916 SuperReg != AMDGPU::EXEC && "exec should never spill"); 917 918 // On Wave32 only handle EXEC_LO. 919 // On Wave64 only update EXEC_HI if there is sufficent space for a copy. 920 bool OnlyExecLo = isWave32 || NumSubRegs == 1 || SuperReg == AMDGPU::EXEC_HI; 921 922 unsigned ExecMovOpc = OnlyExecLo ? AMDGPU::S_MOV_B32 : AMDGPU::S_MOV_B64; 923 Register ExecReg = OnlyExecLo ? AMDGPU::EXEC_LO : AMDGPU::EXEC; 924 Register SavedExecReg; 925 926 // Backup EXEC 927 if (OnlyExecLo) { 928 SavedExecReg = NumSubRegs == 1 929 ? SuperReg 930 : getSubReg(SuperReg, SplitParts[FirstPart + ExecLane]); 931 } else { 932 // If src/dst is an odd size it is possible subreg0 is not aligned. 933 for (; ExecLane < (NumSubRegs - 1); ++ExecLane) { 934 SavedExecReg = getMatchingSuperReg( 935 getSubReg(SuperReg, SplitParts[FirstPart + ExecLane]), AMDGPU::sub0, 936 &AMDGPU::SReg_64_XEXECRegClass); 937 if (SavedExecReg) 938 break; 939 } 940 } 941 assert(SavedExecReg); 942 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), SavedExecReg).addReg(ExecReg); 943 944 // Setup EXEC 945 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), ExecReg).addImm(VGPRLanes); 946 947 // Load/store VGPR 948 MachineFrameInfo &FrameInfo = MF->getFrameInfo(); 949 assert(FrameInfo.getStackID(Index) != TargetStackID::SGPRSpill); 950 951 Register FrameReg = FrameInfo.isFixedObjectIndex(Index) && hasBasePointer(*MF) 952 ? getBaseRegister() 953 : getFrameRegister(*MF); 954 955 Align Alignment = FrameInfo.getObjectAlign(Index); 956 MachinePointerInfo PtrInfo = 957 MachinePointerInfo::getFixedStack(*MF, Index); 958 MachineMemOperand *MMO = MF->getMachineMemOperand( 959 PtrInfo, IsLoad ? MachineMemOperand::MOLoad : MachineMemOperand::MOStore, 960 EltSize, Alignment); 961 962 if (IsLoad) { 963 buildSpillLoadStore(MI, AMDGPU::BUFFER_LOAD_DWORD_OFFSET, 964 Index, 965 VGPR, false, 966 MFI->getScratchRSrcReg(), FrameReg, 967 Offset * EltSize, MMO, 968 RS); 969 } else { 970 buildSpillLoadStore(MI, AMDGPU::BUFFER_STORE_DWORD_OFFSET, Index, VGPR, 971 IsKill, MFI->getScratchRSrcReg(), FrameReg, 972 Offset * EltSize, MMO, RS); 973 // This only ever adds one VGPR spill 974 MFI->addToSpilledVGPRs(1); 975 } 976 977 // Restore EXEC 978 BuildMI(*MBB, MI, DL, TII->get(ExecMovOpc), ExecReg) 979 .addReg(SavedExecReg, getKillRegState(IsLoad || IsKill)); 980 981 // Restore clobbered SGPRs 982 if (IsLoad) { 983 // Nothing to do; register will be overwritten 984 } else if (!IsKill) { 985 // Restore SGPRs from appropriate VGPR lanes 986 if (!OnlyExecLo) { 987 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 988 getSubReg(SuperReg, SplitParts[FirstPart + ExecLane + 1])) 989 .addReg(VGPR) 990 .addImm(ExecLane + 1); 991 } 992 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 993 NumSubRegs == 1 994 ? SavedExecReg 995 : getSubReg(SuperReg, SplitParts[FirstPart + ExecLane])) 996 .addReg(VGPR, RegState::Kill) 997 .addImm(ExecLane); 998 } 999 } 1000 1001 bool SIRegisterInfo::spillSGPR(MachineBasicBlock::iterator MI, 1002 int Index, 1003 RegScavenger *RS, 1004 bool OnlyToVGPR) const { 1005 MachineBasicBlock *MBB = MI->getParent(); 1006 MachineFunction *MF = MBB->getParent(); 1007 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1008 DenseSet<Register> SGPRSpillVGPRDefinedSet; // FIXME: This should be removed 1009 1010 ArrayRef<SIMachineFunctionInfo::SpilledReg> VGPRSpills 1011 = MFI->getSGPRToVGPRSpills(Index); 1012 bool SpillToVGPR = !VGPRSpills.empty(); 1013 if (OnlyToVGPR && !SpillToVGPR) 1014 return false; 1015 1016 const SIInstrInfo *TII = ST.getInstrInfo(); 1017 1018 Register SuperReg = MI->getOperand(0).getReg(); 1019 bool IsKill = MI->getOperand(0).isKill(); 1020 const DebugLoc &DL = MI->getDebugLoc(); 1021 1022 assert(SpillToVGPR || (SuperReg != MFI->getStackPtrOffsetReg() && 1023 SuperReg != MFI->getFrameOffsetReg())); 1024 1025 assert(SuperReg != AMDGPU::M0 && "m0 should never spill"); 1026 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 1027 SuperReg != AMDGPU::EXEC && "exec should never spill"); 1028 1029 unsigned EltSize = 4; 1030 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 1031 1032 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 1033 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 1034 1035 if (SpillToVGPR) { 1036 for (unsigned i = 0, e = NumSubRegs; i < e; ++i) { 1037 Register SubReg = 1038 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1039 SIMachineFunctionInfo::SpilledReg Spill = VGPRSpills[i]; 1040 1041 bool UseKill = IsKill && i == NumSubRegs - 1; 1042 1043 // During SGPR spilling to VGPR, determine if the VGPR is defined. The 1044 // only circumstance in which we say it is undefined is when it is the 1045 // first spill to this VGPR in the first basic block. 1046 bool VGPRDefined = true; 1047 if (MBB == &MF->front()) 1048 VGPRDefined = !SGPRSpillVGPRDefinedSet.insert(Spill.VGPR).second; 1049 1050 // Mark the "old value of vgpr" input undef only if this is the first sgpr 1051 // spill to this specific vgpr in the first basic block. 1052 auto MIB = BuildMI(*MBB, MI, DL, 1053 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1054 Spill.VGPR) 1055 .addReg(SubReg, getKillRegState(UseKill)) 1056 .addImm(Spill.Lane) 1057 .addReg(Spill.VGPR, VGPRDefined ? 0 : RegState::Undef); 1058 1059 if (i == 0 && NumSubRegs > 1) { 1060 // We may be spilling a super-register which is only partially defined, 1061 // and need to ensure later spills think the value is defined. 1062 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1063 } 1064 1065 if (NumSubRegs > 1) 1066 MIB.addReg(SuperReg, getKillRegState(UseKill) | RegState::Implicit); 1067 1068 // FIXME: Since this spills to another register instead of an actual 1069 // frame index, we should delete the frame index when all references to 1070 // it are fixed. 1071 } 1072 } else { 1073 // Scavenged temporary VGPR to use. It must be scavenged once for any number 1074 // of spilled subregs. 1075 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1076 RS->setRegUsed(TmpVGPR); 1077 1078 // SubReg carries the "Kill" flag when SubReg == SuperReg. 1079 unsigned SubKillState = getKillRegState((NumSubRegs == 1) && IsKill); 1080 1081 unsigned PerVGPR = 32; 1082 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1083 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1084 1085 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1086 unsigned TmpVGPRFlags = RegState::Undef; 1087 1088 // Write sub registers into the VGPR 1089 for (unsigned i = Offset * PerVGPR, 1090 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1091 i < e; ++i) { 1092 Register SubReg = 1093 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1094 1095 MachineInstrBuilder WriteLane = 1096 BuildMI(*MBB, MI, DL, 1097 TII->getMCOpcodeFromPseudo(AMDGPU::V_WRITELANE_B32), 1098 TmpVGPR) 1099 .addReg(SubReg, SubKillState) 1100 .addImm(i % PerVGPR) 1101 .addReg(TmpVGPR, TmpVGPRFlags); 1102 TmpVGPRFlags = 0; 1103 1104 // There could be undef components of a spilled super register. 1105 // TODO: Can we detect this and skip the spill? 1106 if (NumSubRegs > 1) { 1107 // The last implicit use of the SuperReg carries the "Kill" flag. 1108 unsigned SuperKillState = 0; 1109 if (i + 1 == NumSubRegs) 1110 SuperKillState |= getKillRegState(IsKill); 1111 WriteLane.addReg(SuperReg, RegState::Implicit | SuperKillState); 1112 } 1113 } 1114 1115 // Write out VGPR 1116 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1117 RS, false); 1118 } 1119 } 1120 1121 MI->eraseFromParent(); 1122 MFI->addToSpilledSGPRs(NumSubRegs); 1123 return true; 1124 } 1125 1126 bool SIRegisterInfo::restoreSGPR(MachineBasicBlock::iterator MI, 1127 int Index, 1128 RegScavenger *RS, 1129 bool OnlyToVGPR) const { 1130 MachineFunction *MF = MI->getParent()->getParent(); 1131 MachineBasicBlock *MBB = MI->getParent(); 1132 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1133 1134 ArrayRef<SIMachineFunctionInfo::SpilledReg> VGPRSpills 1135 = MFI->getSGPRToVGPRSpills(Index); 1136 bool SpillToVGPR = !VGPRSpills.empty(); 1137 if (OnlyToVGPR && !SpillToVGPR) 1138 return false; 1139 1140 const SIInstrInfo *TII = ST.getInstrInfo(); 1141 const DebugLoc &DL = MI->getDebugLoc(); 1142 1143 Register SuperReg = MI->getOperand(0).getReg(); 1144 1145 assert(SuperReg != AMDGPU::M0 && "m0 should never spill"); 1146 assert(SuperReg != AMDGPU::EXEC_LO && SuperReg != AMDGPU::EXEC_HI && 1147 SuperReg != AMDGPU::EXEC && "exec should never spill"); 1148 1149 unsigned EltSize = 4; 1150 1151 const TargetRegisterClass *RC = getPhysRegClass(SuperReg); 1152 1153 ArrayRef<int16_t> SplitParts = getRegSplitParts(RC, EltSize); 1154 unsigned NumSubRegs = SplitParts.empty() ? 1 : SplitParts.size(); 1155 1156 if (SpillToVGPR) { 1157 for (unsigned i = 0, e = NumSubRegs; i < e; ++i) { 1158 Register SubReg = 1159 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1160 1161 SIMachineFunctionInfo::SpilledReg Spill = VGPRSpills[i]; 1162 auto MIB = 1163 BuildMI(*MBB, MI, DL, TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), 1164 SubReg) 1165 .addReg(Spill.VGPR) 1166 .addImm(Spill.Lane); 1167 if (NumSubRegs > 1 && i == 0) 1168 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1169 } 1170 } else { 1171 Register TmpVGPR = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1172 RS->setRegUsed(TmpVGPR); 1173 1174 unsigned PerVGPR = 32; 1175 unsigned NumVGPRs = (NumSubRegs + (PerVGPR - 1)) / PerVGPR; 1176 int64_t VGPRLanes = (1LL << std::min(PerVGPR, NumSubRegs)) - 1LL; 1177 1178 for (unsigned Offset = 0; Offset < NumVGPRs; ++Offset) { 1179 // Load in VGPR data 1180 buildSGPRSpillLoadStore(MI, Index, Offset, EltSize, TmpVGPR, VGPRLanes, 1181 RS, true); 1182 1183 // Unpack lanes 1184 for (unsigned i = Offset * PerVGPR, 1185 e = std::min((Offset + 1) * PerVGPR, NumSubRegs); 1186 i < e; ++i) { 1187 Register SubReg = 1188 NumSubRegs == 1 ? SuperReg : getSubReg(SuperReg, SplitParts[i]); 1189 1190 bool LastSubReg = (i + 1 == e); 1191 auto MIB = 1192 BuildMI(*MBB, MI, DL, 1193 TII->getMCOpcodeFromPseudo(AMDGPU::V_READLANE_B32), SubReg) 1194 .addReg(TmpVGPR, getKillRegState(LastSubReg)) 1195 .addImm(i); 1196 if (NumSubRegs > 1 && i == 0) 1197 MIB.addReg(SuperReg, RegState::ImplicitDefine); 1198 } 1199 } 1200 } 1201 1202 MI->eraseFromParent(); 1203 return true; 1204 } 1205 1206 /// Special case of eliminateFrameIndex. Returns true if the SGPR was spilled to 1207 /// a VGPR and the stack slot can be safely eliminated when all other users are 1208 /// handled. 1209 bool SIRegisterInfo::eliminateSGPRToVGPRSpillFrameIndex( 1210 MachineBasicBlock::iterator MI, 1211 int FI, 1212 RegScavenger *RS) const { 1213 switch (MI->getOpcode()) { 1214 case AMDGPU::SI_SPILL_S1024_SAVE: 1215 case AMDGPU::SI_SPILL_S512_SAVE: 1216 case AMDGPU::SI_SPILL_S256_SAVE: 1217 case AMDGPU::SI_SPILL_S192_SAVE: 1218 case AMDGPU::SI_SPILL_S160_SAVE: 1219 case AMDGPU::SI_SPILL_S128_SAVE: 1220 case AMDGPU::SI_SPILL_S96_SAVE: 1221 case AMDGPU::SI_SPILL_S64_SAVE: 1222 case AMDGPU::SI_SPILL_S32_SAVE: 1223 return spillSGPR(MI, FI, RS, true); 1224 case AMDGPU::SI_SPILL_S1024_RESTORE: 1225 case AMDGPU::SI_SPILL_S512_RESTORE: 1226 case AMDGPU::SI_SPILL_S256_RESTORE: 1227 case AMDGPU::SI_SPILL_S192_RESTORE: 1228 case AMDGPU::SI_SPILL_S160_RESTORE: 1229 case AMDGPU::SI_SPILL_S128_RESTORE: 1230 case AMDGPU::SI_SPILL_S96_RESTORE: 1231 case AMDGPU::SI_SPILL_S64_RESTORE: 1232 case AMDGPU::SI_SPILL_S32_RESTORE: 1233 return restoreSGPR(MI, FI, RS, true); 1234 default: 1235 llvm_unreachable("not an SGPR spill instruction"); 1236 } 1237 } 1238 1239 void SIRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator MI, 1240 int SPAdj, unsigned FIOperandNum, 1241 RegScavenger *RS) const { 1242 MachineFunction *MF = MI->getParent()->getParent(); 1243 MachineBasicBlock *MBB = MI->getParent(); 1244 SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>(); 1245 MachineFrameInfo &FrameInfo = MF->getFrameInfo(); 1246 const SIInstrInfo *TII = ST.getInstrInfo(); 1247 DebugLoc DL = MI->getDebugLoc(); 1248 1249 assert(SPAdj == 0 && "unhandled SP adjustment in call sequence?"); 1250 1251 MachineOperand &FIOp = MI->getOperand(FIOperandNum); 1252 int Index = MI->getOperand(FIOperandNum).getIndex(); 1253 1254 Register FrameReg = FrameInfo.isFixedObjectIndex(Index) && hasBasePointer(*MF) 1255 ? getBaseRegister() 1256 : getFrameRegister(*MF); 1257 1258 switch (MI->getOpcode()) { 1259 // SGPR register spill 1260 case AMDGPU::SI_SPILL_S1024_SAVE: 1261 case AMDGPU::SI_SPILL_S512_SAVE: 1262 case AMDGPU::SI_SPILL_S256_SAVE: 1263 case AMDGPU::SI_SPILL_S192_SAVE: 1264 case AMDGPU::SI_SPILL_S160_SAVE: 1265 case AMDGPU::SI_SPILL_S128_SAVE: 1266 case AMDGPU::SI_SPILL_S96_SAVE: 1267 case AMDGPU::SI_SPILL_S64_SAVE: 1268 case AMDGPU::SI_SPILL_S32_SAVE: { 1269 spillSGPR(MI, Index, RS); 1270 break; 1271 } 1272 1273 // SGPR register restore 1274 case AMDGPU::SI_SPILL_S1024_RESTORE: 1275 case AMDGPU::SI_SPILL_S512_RESTORE: 1276 case AMDGPU::SI_SPILL_S256_RESTORE: 1277 case AMDGPU::SI_SPILL_S192_RESTORE: 1278 case AMDGPU::SI_SPILL_S160_RESTORE: 1279 case AMDGPU::SI_SPILL_S128_RESTORE: 1280 case AMDGPU::SI_SPILL_S96_RESTORE: 1281 case AMDGPU::SI_SPILL_S64_RESTORE: 1282 case AMDGPU::SI_SPILL_S32_RESTORE: { 1283 restoreSGPR(MI, Index, RS); 1284 break; 1285 } 1286 1287 // VGPR register spill 1288 case AMDGPU::SI_SPILL_V1024_SAVE: 1289 case AMDGPU::SI_SPILL_V512_SAVE: 1290 case AMDGPU::SI_SPILL_V256_SAVE: 1291 case AMDGPU::SI_SPILL_V160_SAVE: 1292 case AMDGPU::SI_SPILL_V128_SAVE: 1293 case AMDGPU::SI_SPILL_V96_SAVE: 1294 case AMDGPU::SI_SPILL_V64_SAVE: 1295 case AMDGPU::SI_SPILL_V32_SAVE: 1296 case AMDGPU::SI_SPILL_A1024_SAVE: 1297 case AMDGPU::SI_SPILL_A512_SAVE: 1298 case AMDGPU::SI_SPILL_A256_SAVE: 1299 case AMDGPU::SI_SPILL_A192_SAVE: 1300 case AMDGPU::SI_SPILL_A160_SAVE: 1301 case AMDGPU::SI_SPILL_A128_SAVE: 1302 case AMDGPU::SI_SPILL_A96_SAVE: 1303 case AMDGPU::SI_SPILL_A64_SAVE: 1304 case AMDGPU::SI_SPILL_A32_SAVE: { 1305 const MachineOperand *VData = TII->getNamedOperand(*MI, 1306 AMDGPU::OpName::vdata); 1307 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1308 MFI->getStackPtrOffsetReg()); 1309 1310 buildSpillLoadStore(MI, AMDGPU::BUFFER_STORE_DWORD_OFFSET, 1311 Index, 1312 VData->getReg(), VData->isKill(), 1313 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1314 FrameReg, 1315 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1316 *MI->memoperands_begin(), 1317 RS); 1318 MFI->addToSpilledVGPRs(getNumSubRegsForSpillOp(MI->getOpcode())); 1319 MI->eraseFromParent(); 1320 break; 1321 } 1322 case AMDGPU::SI_SPILL_V32_RESTORE: 1323 case AMDGPU::SI_SPILL_V64_RESTORE: 1324 case AMDGPU::SI_SPILL_V96_RESTORE: 1325 case AMDGPU::SI_SPILL_V128_RESTORE: 1326 case AMDGPU::SI_SPILL_V160_RESTORE: 1327 case AMDGPU::SI_SPILL_V256_RESTORE: 1328 case AMDGPU::SI_SPILL_V512_RESTORE: 1329 case AMDGPU::SI_SPILL_V1024_RESTORE: 1330 case AMDGPU::SI_SPILL_A32_RESTORE: 1331 case AMDGPU::SI_SPILL_A64_RESTORE: 1332 case AMDGPU::SI_SPILL_A96_RESTORE: 1333 case AMDGPU::SI_SPILL_A128_RESTORE: 1334 case AMDGPU::SI_SPILL_A160_RESTORE: 1335 case AMDGPU::SI_SPILL_A192_RESTORE: 1336 case AMDGPU::SI_SPILL_A256_RESTORE: 1337 case AMDGPU::SI_SPILL_A512_RESTORE: 1338 case AMDGPU::SI_SPILL_A1024_RESTORE: { 1339 const MachineOperand *VData = TII->getNamedOperand(*MI, 1340 AMDGPU::OpName::vdata); 1341 assert(TII->getNamedOperand(*MI, AMDGPU::OpName::soffset)->getReg() == 1342 MFI->getStackPtrOffsetReg()); 1343 1344 buildSpillLoadStore(MI, AMDGPU::BUFFER_LOAD_DWORD_OFFSET, 1345 Index, 1346 VData->getReg(), VData->isKill(), 1347 TII->getNamedOperand(*MI, AMDGPU::OpName::srsrc)->getReg(), 1348 FrameReg, 1349 TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(), 1350 *MI->memoperands_begin(), 1351 RS); 1352 MI->eraseFromParent(); 1353 break; 1354 } 1355 1356 default: { 1357 const DebugLoc &DL = MI->getDebugLoc(); 1358 bool IsMUBUF = TII->isMUBUF(*MI); 1359 1360 if (!IsMUBUF && !MFI->isEntryFunction()) { 1361 // Convert to a swizzled stack address by scaling by the wave size. 1362 // 1363 // In an entry function/kernel the offset is already swizzled. 1364 1365 bool IsCopy = MI->getOpcode() == AMDGPU::V_MOV_B32_e32; 1366 Register ResultReg = 1367 IsCopy ? MI->getOperand(0).getReg() 1368 : RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1369 1370 int64_t Offset = FrameInfo.getObjectOffset(Index); 1371 if (Offset == 0) { 1372 // XXX - This never happens because of emergency scavenging slot at 0? 1373 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), ResultReg) 1374 .addImm(ST.getWavefrontSizeLog2()) 1375 .addReg(FrameReg); 1376 } else { 1377 if (auto MIB = TII->getAddNoCarry(*MBB, MI, DL, ResultReg, *RS)) { 1378 // Reuse ResultReg in intermediate step. 1379 Register ScaledReg = ResultReg; 1380 1381 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::V_LSHRREV_B32_e64), 1382 ScaledReg) 1383 .addImm(ST.getWavefrontSizeLog2()) 1384 .addReg(FrameReg); 1385 1386 const bool IsVOP2 = MIB->getOpcode() == AMDGPU::V_ADD_U32_e32; 1387 1388 // TODO: Fold if use instruction is another add of a constant. 1389 if (IsVOP2 || AMDGPU::isInlinableLiteral32(Offset, ST.hasInv2PiInlineImm())) { 1390 // FIXME: This can fail 1391 MIB.addImm(Offset); 1392 MIB.addReg(ScaledReg, RegState::Kill); 1393 if (!IsVOP2) 1394 MIB.addImm(0); // clamp bit 1395 } else { 1396 assert(MIB->getOpcode() == AMDGPU::V_ADD_CO_U32_e64 && 1397 "Need to reuse carry out register"); 1398 1399 // Use scavenged unused carry out as offset register. 1400 Register ConstOffsetReg; 1401 if (!isWave32) 1402 ConstOffsetReg = getSubReg(MIB.getReg(1), AMDGPU::sub0); 1403 else 1404 ConstOffsetReg = MIB.getReg(1); 1405 1406 BuildMI(*MBB, *MIB, DL, TII->get(AMDGPU::S_MOV_B32), ConstOffsetReg) 1407 .addImm(Offset); 1408 MIB.addReg(ConstOffsetReg, RegState::Kill); 1409 MIB.addReg(ScaledReg, RegState::Kill); 1410 MIB.addImm(0); // clamp bit 1411 } 1412 } else { 1413 // We have to produce a carry out, and there isn't a free SGPR pair 1414 // for it. We can keep the whole computation on the SALU to avoid 1415 // clobbering an additional register at the cost of an extra mov. 1416 1417 // We may have 1 free scratch SGPR even though a carry out is 1418 // unavailable. Only one additional mov is needed. 1419 Register TmpScaledReg = 1420 RS->scavengeRegister(&AMDGPU::SReg_32_XM0RegClass, MI, 0, false); 1421 Register ScaledReg = TmpScaledReg.isValid() ? TmpScaledReg : FrameReg; 1422 1423 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHR_B32), ScaledReg) 1424 .addReg(FrameReg) 1425 .addImm(ST.getWavefrontSizeLog2()); 1426 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_ADD_U32), ScaledReg) 1427 .addReg(ScaledReg, RegState::Kill) 1428 .addImm(Offset); 1429 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::COPY), ResultReg) 1430 .addReg(ScaledReg, RegState::Kill); 1431 1432 // If there were truly no free SGPRs, we need to undo everything. 1433 if (!TmpScaledReg.isValid()) { 1434 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_SUB_U32), ScaledReg) 1435 .addReg(ScaledReg, RegState::Kill) 1436 .addImm(Offset); 1437 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::S_LSHL_B32), ScaledReg) 1438 .addReg(FrameReg) 1439 .addImm(ST.getWavefrontSizeLog2()); 1440 } 1441 } 1442 } 1443 1444 // Don't introduce an extra copy if we're just materializing in a mov. 1445 if (IsCopy) 1446 MI->eraseFromParent(); 1447 else 1448 FIOp.ChangeToRegister(ResultReg, false, false, true); 1449 return; 1450 } 1451 1452 if (IsMUBUF) { 1453 // Disable offen so we don't need a 0 vgpr base. 1454 assert(static_cast<int>(FIOperandNum) == 1455 AMDGPU::getNamedOperandIdx(MI->getOpcode(), 1456 AMDGPU::OpName::vaddr)); 1457 1458 auto &SOffset = *TII->getNamedOperand(*MI, AMDGPU::OpName::soffset); 1459 assert((SOffset.isReg() && 1460 SOffset.getReg() == MFI->getStackPtrOffsetReg()) || 1461 (SOffset.isImm() && SOffset.getImm() == 0)); 1462 if (SOffset.isReg()) { 1463 if (FrameReg == AMDGPU::NoRegister) { 1464 SOffset.ChangeToImmediate(0); 1465 } else { 1466 SOffset.setReg(FrameReg); 1467 } 1468 } 1469 1470 int64_t Offset = FrameInfo.getObjectOffset(Index); 1471 int64_t OldImm 1472 = TII->getNamedOperand(*MI, AMDGPU::OpName::offset)->getImm(); 1473 int64_t NewOffset = OldImm + Offset; 1474 1475 if (isUInt<12>(NewOffset) && 1476 buildMUBUFOffsetLoadStore(ST, FrameInfo, MI, Index, NewOffset)) { 1477 MI->eraseFromParent(); 1478 return; 1479 } 1480 } 1481 1482 // If the offset is simply too big, don't convert to a scratch wave offset 1483 // relative index. 1484 1485 int64_t Offset = FrameInfo.getObjectOffset(Index); 1486 FIOp.ChangeToImmediate(Offset); 1487 if (!TII->isImmOperandLegal(*MI, FIOperandNum, FIOp)) { 1488 Register TmpReg = RS->scavengeRegister(&AMDGPU::VGPR_32RegClass, MI, 0); 1489 BuildMI(*MBB, MI, DL, TII->get(AMDGPU::V_MOV_B32_e32), TmpReg) 1490 .addImm(Offset); 1491 FIOp.ChangeToRegister(TmpReg, false, false, true); 1492 } 1493 } 1494 } 1495 } 1496 1497 StringRef SIRegisterInfo::getRegAsmName(MCRegister Reg) const { 1498 return AMDGPUInstPrinter::getRegisterName(Reg); 1499 } 1500 1501 const TargetRegisterClass * 1502 SIRegisterInfo::getVGPRClassForBitWidth(unsigned BitWidth) { 1503 if (BitWidth == 1) 1504 return &AMDGPU::VReg_1RegClass; 1505 if (BitWidth <= 16) 1506 return &AMDGPU::VGPR_LO16RegClass; 1507 if (BitWidth <= 32) 1508 return &AMDGPU::VGPR_32RegClass; 1509 if (BitWidth <= 64) 1510 return &AMDGPU::VReg_64RegClass; 1511 if (BitWidth <= 96) 1512 return &AMDGPU::VReg_96RegClass; 1513 if (BitWidth <= 128) 1514 return &AMDGPU::VReg_128RegClass; 1515 if (BitWidth <= 160) 1516 return &AMDGPU::VReg_160RegClass; 1517 if (BitWidth <= 192) 1518 return &AMDGPU::VReg_192RegClass; 1519 if (BitWidth <= 256) 1520 return &AMDGPU::VReg_256RegClass; 1521 if (BitWidth <= 512) 1522 return &AMDGPU::VReg_512RegClass; 1523 if (BitWidth <= 1024) 1524 return &AMDGPU::VReg_1024RegClass; 1525 1526 return nullptr; 1527 } 1528 1529 const TargetRegisterClass * 1530 SIRegisterInfo::getAGPRClassForBitWidth(unsigned BitWidth) { 1531 if (BitWidth <= 16) 1532 return &AMDGPU::AGPR_LO16RegClass; 1533 if (BitWidth <= 32) 1534 return &AMDGPU::AGPR_32RegClass; 1535 if (BitWidth <= 64) 1536 return &AMDGPU::AReg_64RegClass; 1537 if (BitWidth <= 96) 1538 return &AMDGPU::AReg_96RegClass; 1539 if (BitWidth <= 128) 1540 return &AMDGPU::AReg_128RegClass; 1541 if (BitWidth <= 160) 1542 return &AMDGPU::AReg_160RegClass; 1543 if (BitWidth <= 192) 1544 return &AMDGPU::AReg_192RegClass; 1545 if (BitWidth <= 256) 1546 return &AMDGPU::AReg_256RegClass; 1547 if (BitWidth <= 512) 1548 return &AMDGPU::AReg_512RegClass; 1549 if (BitWidth <= 1024) 1550 return &AMDGPU::AReg_1024RegClass; 1551 1552 return nullptr; 1553 } 1554 1555 const TargetRegisterClass * 1556 SIRegisterInfo::getSGPRClassForBitWidth(unsigned BitWidth) { 1557 if (BitWidth <= 16) 1558 return &AMDGPU::SGPR_LO16RegClass; 1559 if (BitWidth <= 32) 1560 return &AMDGPU::SReg_32RegClass; 1561 if (BitWidth <= 64) 1562 return &AMDGPU::SReg_64RegClass; 1563 if (BitWidth <= 96) 1564 return &AMDGPU::SGPR_96RegClass; 1565 if (BitWidth <= 128) 1566 return &AMDGPU::SGPR_128RegClass; 1567 if (BitWidth <= 160) 1568 return &AMDGPU::SGPR_160RegClass; 1569 if (BitWidth <= 192) 1570 return &AMDGPU::SGPR_192RegClass; 1571 if (BitWidth <= 256) 1572 return &AMDGPU::SGPR_256RegClass; 1573 if (BitWidth <= 512) 1574 return &AMDGPU::SGPR_512RegClass; 1575 if (BitWidth <= 1024) 1576 return &AMDGPU::SGPR_1024RegClass; 1577 1578 return nullptr; 1579 } 1580 1581 // FIXME: This is very slow. It might be worth creating a map from physreg to 1582 // register class. 1583 const TargetRegisterClass * 1584 SIRegisterInfo::getPhysRegClass(MCRegister Reg) const { 1585 static const TargetRegisterClass *const BaseClasses[] = { 1586 &AMDGPU::VGPR_LO16RegClass, 1587 &AMDGPU::VGPR_HI16RegClass, 1588 &AMDGPU::SReg_LO16RegClass, 1589 &AMDGPU::AGPR_LO16RegClass, 1590 &AMDGPU::VGPR_32RegClass, 1591 &AMDGPU::SReg_32RegClass, 1592 &AMDGPU::AGPR_32RegClass, 1593 &AMDGPU::VReg_64RegClass, 1594 &AMDGPU::SReg_64RegClass, 1595 &AMDGPU::AReg_64RegClass, 1596 &AMDGPU::VReg_96RegClass, 1597 &AMDGPU::SReg_96RegClass, 1598 &AMDGPU::AReg_96RegClass, 1599 &AMDGPU::VReg_128RegClass, 1600 &AMDGPU::SReg_128RegClass, 1601 &AMDGPU::AReg_128RegClass, 1602 &AMDGPU::VReg_160RegClass, 1603 &AMDGPU::SReg_160RegClass, 1604 &AMDGPU::AReg_160RegClass, 1605 &AMDGPU::VReg_192RegClass, 1606 &AMDGPU::SReg_192RegClass, 1607 &AMDGPU::AReg_192RegClass, 1608 &AMDGPU::VReg_256RegClass, 1609 &AMDGPU::SReg_256RegClass, 1610 &AMDGPU::AReg_256RegClass, 1611 &AMDGPU::VReg_512RegClass, 1612 &AMDGPU::SReg_512RegClass, 1613 &AMDGPU::AReg_512RegClass, 1614 &AMDGPU::SReg_1024RegClass, 1615 &AMDGPU::VReg_1024RegClass, 1616 &AMDGPU::AReg_1024RegClass, 1617 &AMDGPU::SCC_CLASSRegClass, 1618 &AMDGPU::Pseudo_SReg_32RegClass, 1619 &AMDGPU::Pseudo_SReg_128RegClass, 1620 }; 1621 1622 for (const TargetRegisterClass *BaseClass : BaseClasses) { 1623 if (BaseClass->contains(Reg)) { 1624 return BaseClass; 1625 } 1626 } 1627 return nullptr; 1628 } 1629 1630 // TODO: It might be helpful to have some target specific flags in 1631 // TargetRegisterClass to mark which classes are VGPRs to make this trivial. 1632 bool SIRegisterInfo::hasVGPRs(const TargetRegisterClass *RC) const { 1633 unsigned Size = getRegSizeInBits(*RC); 1634 if (Size == 16) { 1635 return getCommonSubClass(&AMDGPU::VGPR_LO16RegClass, RC) != nullptr || 1636 getCommonSubClass(&AMDGPU::VGPR_HI16RegClass, RC) != nullptr; 1637 } 1638 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1639 if (!VRC) { 1640 assert(Size < 32 && "Invalid register class size"); 1641 return false; 1642 } 1643 return getCommonSubClass(VRC, RC) != nullptr; 1644 } 1645 1646 bool SIRegisterInfo::hasAGPRs(const TargetRegisterClass *RC) const { 1647 unsigned Size = getRegSizeInBits(*RC); 1648 if (Size < 16) 1649 return false; 1650 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1651 if (!ARC) { 1652 assert(getVGPRClassForBitWidth(Size) && "Invalid register class size"); 1653 return false; 1654 } 1655 return getCommonSubClass(ARC, RC) != nullptr; 1656 } 1657 1658 const TargetRegisterClass * 1659 SIRegisterInfo::getEquivalentVGPRClass(const TargetRegisterClass *SRC) const { 1660 unsigned Size = getRegSizeInBits(*SRC); 1661 const TargetRegisterClass *VRC = getVGPRClassForBitWidth(Size); 1662 assert(VRC && "Invalid register class size"); 1663 return VRC; 1664 } 1665 1666 const TargetRegisterClass * 1667 SIRegisterInfo::getEquivalentAGPRClass(const TargetRegisterClass *SRC) const { 1668 unsigned Size = getRegSizeInBits(*SRC); 1669 const TargetRegisterClass *ARC = getAGPRClassForBitWidth(Size); 1670 assert(ARC && "Invalid register class size"); 1671 return ARC; 1672 } 1673 1674 const TargetRegisterClass * 1675 SIRegisterInfo::getEquivalentSGPRClass(const TargetRegisterClass *VRC) const { 1676 unsigned Size = getRegSizeInBits(*VRC); 1677 if (Size == 32) 1678 return &AMDGPU::SGPR_32RegClass; 1679 const TargetRegisterClass *SRC = getSGPRClassForBitWidth(Size); 1680 assert(SRC && "Invalid register class size"); 1681 return SRC; 1682 } 1683 1684 const TargetRegisterClass *SIRegisterInfo::getSubRegClass( 1685 const TargetRegisterClass *RC, unsigned SubIdx) const { 1686 if (SubIdx == AMDGPU::NoSubRegister) 1687 return RC; 1688 1689 // We can assume that each lane corresponds to one 32-bit register. 1690 unsigned Size = getNumChannelsFromSubReg(SubIdx) * 32; 1691 if (isSGPRClass(RC)) { 1692 if (Size == 32) 1693 RC = &AMDGPU::SGPR_32RegClass; 1694 else 1695 RC = getSGPRClassForBitWidth(Size); 1696 } else if (hasAGPRs(RC)) { 1697 RC = getAGPRClassForBitWidth(Size); 1698 } else { 1699 RC = getVGPRClassForBitWidth(Size); 1700 } 1701 assert(RC && "Invalid sub-register class size"); 1702 return RC; 1703 } 1704 1705 bool SIRegisterInfo::opCanUseInlineConstant(unsigned OpType) const { 1706 if (OpType >= AMDGPU::OPERAND_REG_INLINE_AC_FIRST && 1707 OpType <= AMDGPU::OPERAND_REG_INLINE_AC_LAST) 1708 return !ST.hasMFMAInlineLiteralBug(); 1709 1710 return OpType >= AMDGPU::OPERAND_SRC_FIRST && 1711 OpType <= AMDGPU::OPERAND_SRC_LAST; 1712 } 1713 1714 bool SIRegisterInfo::shouldRewriteCopySrc( 1715 const TargetRegisterClass *DefRC, 1716 unsigned DefSubReg, 1717 const TargetRegisterClass *SrcRC, 1718 unsigned SrcSubReg) const { 1719 // We want to prefer the smallest register class possible, so we don't want to 1720 // stop and rewrite on anything that looks like a subregister 1721 // extract. Operations mostly don't care about the super register class, so we 1722 // only want to stop on the most basic of copies between the same register 1723 // class. 1724 // 1725 // e.g. if we have something like 1726 // %0 = ... 1727 // %1 = ... 1728 // %2 = REG_SEQUENCE %0, sub0, %1, sub1, %2, sub2 1729 // %3 = COPY %2, sub0 1730 // 1731 // We want to look through the COPY to find: 1732 // => %3 = COPY %0 1733 1734 // Plain copy. 1735 return getCommonSubClass(DefRC, SrcRC) != nullptr; 1736 } 1737 1738 /// Returns a lowest register that is not used at any point in the function. 1739 /// If all registers are used, then this function will return 1740 /// AMDGPU::NoRegister. If \p ReserveHighestVGPR = true, then return 1741 /// highest unused register. 1742 MCRegister SIRegisterInfo::findUnusedRegister(const MachineRegisterInfo &MRI, 1743 const TargetRegisterClass *RC, 1744 const MachineFunction &MF, 1745 bool ReserveHighestVGPR) const { 1746 if (ReserveHighestVGPR) { 1747 for (MCRegister Reg : reverse(*RC)) 1748 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1749 return Reg; 1750 } else { 1751 for (MCRegister Reg : *RC) 1752 if (MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg)) 1753 return Reg; 1754 } 1755 return MCRegister(); 1756 } 1757 1758 ArrayRef<int16_t> SIRegisterInfo::getRegSplitParts(const TargetRegisterClass *RC, 1759 unsigned EltSize) const { 1760 const unsigned RegBitWidth = AMDGPU::getRegBitWidth(*RC->MC); 1761 assert(RegBitWidth >= 32 && RegBitWidth <= 1024); 1762 1763 const unsigned RegDWORDs = RegBitWidth / 32; 1764 const unsigned EltDWORDs = EltSize / 4; 1765 assert(RegSplitParts.size() + 1 >= EltDWORDs); 1766 1767 const std::vector<int16_t> &Parts = RegSplitParts[EltDWORDs - 1]; 1768 const unsigned NumParts = RegDWORDs / EltDWORDs; 1769 1770 return makeArrayRef(Parts.data(), NumParts); 1771 } 1772 1773 const TargetRegisterClass* 1774 SIRegisterInfo::getRegClassForReg(const MachineRegisterInfo &MRI, 1775 Register Reg) const { 1776 return Reg.isVirtual() ? MRI.getRegClass(Reg) : getPhysRegClass(Reg); 1777 } 1778 1779 bool SIRegisterInfo::isVGPR(const MachineRegisterInfo &MRI, 1780 Register Reg) const { 1781 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1782 // Registers without classes are unaddressable, SGPR-like registers. 1783 return RC && hasVGPRs(RC); 1784 } 1785 1786 bool SIRegisterInfo::isAGPR(const MachineRegisterInfo &MRI, 1787 Register Reg) const { 1788 const TargetRegisterClass *RC = getRegClassForReg(MRI, Reg); 1789 1790 // Registers without classes are unaddressable, SGPR-like registers. 1791 return RC && hasAGPRs(RC); 1792 } 1793 1794 bool SIRegisterInfo::shouldCoalesce(MachineInstr *MI, 1795 const TargetRegisterClass *SrcRC, 1796 unsigned SubReg, 1797 const TargetRegisterClass *DstRC, 1798 unsigned DstSubReg, 1799 const TargetRegisterClass *NewRC, 1800 LiveIntervals &LIS) const { 1801 unsigned SrcSize = getRegSizeInBits(*SrcRC); 1802 unsigned DstSize = getRegSizeInBits(*DstRC); 1803 unsigned NewSize = getRegSizeInBits(*NewRC); 1804 1805 // Do not increase size of registers beyond dword, we would need to allocate 1806 // adjacent registers and constraint regalloc more than needed. 1807 1808 // Always allow dword coalescing. 1809 if (SrcSize <= 32 || DstSize <= 32) 1810 return true; 1811 1812 return NewSize <= DstSize || NewSize <= SrcSize; 1813 } 1814 1815 unsigned SIRegisterInfo::getRegPressureLimit(const TargetRegisterClass *RC, 1816 MachineFunction &MF) const { 1817 const SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>(); 1818 1819 unsigned Occupancy = ST.getOccupancyWithLocalMemSize(MFI->getLDSSize(), 1820 MF.getFunction()); 1821 switch (RC->getID()) { 1822 default: 1823 return AMDGPUGenRegisterInfo::getRegPressureLimit(RC, MF); 1824 case AMDGPU::VGPR_32RegClassID: 1825 case AMDGPU::VGPR_LO16RegClassID: 1826 case AMDGPU::VGPR_HI16RegClassID: 1827 return std::min(ST.getMaxNumVGPRs(Occupancy), ST.getMaxNumVGPRs(MF)); 1828 case AMDGPU::SGPR_32RegClassID: 1829 case AMDGPU::SGPR_LO16RegClassID: 1830 return std::min(ST.getMaxNumSGPRs(Occupancy, true), ST.getMaxNumSGPRs(MF)); 1831 } 1832 } 1833 1834 unsigned SIRegisterInfo::getRegPressureSetLimit(const MachineFunction &MF, 1835 unsigned Idx) const { 1836 if (Idx == AMDGPU::RegisterPressureSets::VGPR_32 || 1837 Idx == AMDGPU::RegisterPressureSets::AGPR_32) 1838 return getRegPressureLimit(&AMDGPU::VGPR_32RegClass, 1839 const_cast<MachineFunction &>(MF)); 1840 1841 if (Idx == AMDGPU::RegisterPressureSets::SReg_32) 1842 return getRegPressureLimit(&AMDGPU::SGPR_32RegClass, 1843 const_cast<MachineFunction &>(MF)); 1844 1845 llvm_unreachable("Unexpected register pressure set!"); 1846 } 1847 1848 const int *SIRegisterInfo::getRegUnitPressureSets(unsigned RegUnit) const { 1849 static const int Empty[] = { -1 }; 1850 1851 if (RegPressureIgnoredUnits[RegUnit]) 1852 return Empty; 1853 1854 return AMDGPUGenRegisterInfo::getRegUnitPressureSets(RegUnit); 1855 } 1856 1857 MCRegister SIRegisterInfo::getReturnAddressReg(const MachineFunction &MF) const { 1858 // Not a callee saved register. 1859 return AMDGPU::SGPR30_SGPR31; 1860 } 1861 1862 const TargetRegisterClass * 1863 SIRegisterInfo::getRegClassForSizeOnBank(unsigned Size, 1864 const RegisterBank &RB, 1865 const MachineRegisterInfo &MRI) const { 1866 switch (RB.getID()) { 1867 case AMDGPU::VGPRRegBankID: 1868 return getVGPRClassForBitWidth(std::max(32u, Size)); 1869 case AMDGPU::VCCRegBankID: 1870 assert(Size == 1); 1871 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1872 : &AMDGPU::SReg_64_XEXECRegClass; 1873 case AMDGPU::SGPRRegBankID: 1874 return getSGPRClassForBitWidth(std::max(32u, Size)); 1875 case AMDGPU::AGPRRegBankID: 1876 return getAGPRClassForBitWidth(std::max(32u, Size)); 1877 default: 1878 llvm_unreachable("unknown register bank"); 1879 } 1880 } 1881 1882 const TargetRegisterClass * 1883 SIRegisterInfo::getConstrainedRegClassForOperand(const MachineOperand &MO, 1884 const MachineRegisterInfo &MRI) const { 1885 const RegClassOrRegBank &RCOrRB = MRI.getRegClassOrRegBank(MO.getReg()); 1886 if (const RegisterBank *RB = RCOrRB.dyn_cast<const RegisterBank*>()) 1887 return getRegClassForTypeOnBank(MRI.getType(MO.getReg()), *RB, MRI); 1888 1889 const TargetRegisterClass *RC = RCOrRB.get<const TargetRegisterClass*>(); 1890 return getAllocatableClass(RC); 1891 } 1892 1893 MCRegister SIRegisterInfo::getVCC() const { 1894 return isWave32 ? AMDGPU::VCC_LO : AMDGPU::VCC; 1895 } 1896 1897 const TargetRegisterClass * 1898 SIRegisterInfo::getRegClass(unsigned RCID) const { 1899 switch ((int)RCID) { 1900 case AMDGPU::SReg_1RegClassID: 1901 return getBoolRC(); 1902 case AMDGPU::SReg_1_XEXECRegClassID: 1903 return isWave32 ? &AMDGPU::SReg_32_XM0_XEXECRegClass 1904 : &AMDGPU::SReg_64_XEXECRegClass; 1905 case -1: 1906 return nullptr; 1907 default: 1908 return AMDGPUGenRegisterInfo::getRegClass(RCID); 1909 } 1910 } 1911 1912 // Find reaching register definition 1913 MachineInstr *SIRegisterInfo::findReachingDef(Register Reg, unsigned SubReg, 1914 MachineInstr &Use, 1915 MachineRegisterInfo &MRI, 1916 LiveIntervals *LIS) const { 1917 auto &MDT = LIS->getAnalysis<MachineDominatorTree>(); 1918 SlotIndex UseIdx = LIS->getInstructionIndex(Use); 1919 SlotIndex DefIdx; 1920 1921 if (Reg.isVirtual()) { 1922 if (!LIS->hasInterval(Reg)) 1923 return nullptr; 1924 LiveInterval &LI = LIS->getInterval(Reg); 1925 LaneBitmask SubLanes = SubReg ? getSubRegIndexLaneMask(SubReg) 1926 : MRI.getMaxLaneMaskForVReg(Reg); 1927 VNInfo *V = nullptr; 1928 if (LI.hasSubRanges()) { 1929 for (auto &S : LI.subranges()) { 1930 if ((S.LaneMask & SubLanes) == SubLanes) { 1931 V = S.getVNInfoAt(UseIdx); 1932 break; 1933 } 1934 } 1935 } else { 1936 V = LI.getVNInfoAt(UseIdx); 1937 } 1938 if (!V) 1939 return nullptr; 1940 DefIdx = V->def; 1941 } else { 1942 // Find last def. 1943 for (MCRegUnitIterator Units(Reg, this); Units.isValid(); ++Units) { 1944 LiveRange &LR = LIS->getRegUnit(*Units); 1945 if (VNInfo *V = LR.getVNInfoAt(UseIdx)) { 1946 if (!DefIdx.isValid() || 1947 MDT.dominates(LIS->getInstructionFromIndex(DefIdx), 1948 LIS->getInstructionFromIndex(V->def))) 1949 DefIdx = V->def; 1950 } else { 1951 return nullptr; 1952 } 1953 } 1954 } 1955 1956 MachineInstr *Def = LIS->getInstructionFromIndex(DefIdx); 1957 1958 if (!Def || !MDT.dominates(Def, &Use)) 1959 return nullptr; 1960 1961 assert(Def->modifiesRegister(Reg, this)); 1962 1963 return Def; 1964 } 1965 1966 MCPhysReg SIRegisterInfo::get32BitRegister(MCPhysReg Reg) const { 1967 assert(getRegSizeInBits(*getPhysRegClass(Reg)) <= 32); 1968 1969 for (const TargetRegisterClass &RC : { AMDGPU::VGPR_32RegClass, 1970 AMDGPU::SReg_32RegClass, 1971 AMDGPU::AGPR_32RegClass } ) { 1972 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::lo16, &RC)) 1973 return Super; 1974 } 1975 if (MCPhysReg Super = getMatchingSuperReg(Reg, AMDGPU::hi16, 1976 &AMDGPU::VGPR_32RegClass)) { 1977 return Super; 1978 } 1979 1980 return AMDGPU::NoRegister; 1981 } 1982 1983 bool SIRegisterInfo::isConstantPhysReg(MCRegister PhysReg) const { 1984 switch (PhysReg) { 1985 case AMDGPU::SGPR_NULL: 1986 case AMDGPU::SRC_SHARED_BASE: 1987 case AMDGPU::SRC_PRIVATE_BASE: 1988 case AMDGPU::SRC_SHARED_LIMIT: 1989 case AMDGPU::SRC_PRIVATE_LIMIT: 1990 return true; 1991 default: 1992 return false; 1993 } 1994 } 1995 1996 ArrayRef<MCPhysReg> 1997 SIRegisterInfo::getAllSGPR128(const MachineFunction &MF) const { 1998 return makeArrayRef(AMDGPU::SGPR_128RegClass.begin(), 1999 ST.getMaxNumSGPRs(MF) / 4); 2000 } 2001 2002 ArrayRef<MCPhysReg> 2003 SIRegisterInfo::getAllSGPR32(const MachineFunction &MF) const { 2004 return makeArrayRef(AMDGPU::SGPR_32RegClass.begin(), ST.getMaxNumSGPRs(MF)); 2005 } 2006 2007 ArrayRef<MCPhysReg> 2008 SIRegisterInfo::getAllVGPR32(const MachineFunction &MF) const { 2009 return makeArrayRef(AMDGPU::VGPR_32RegClass.begin(), ST.getMaxNumVGPRs(MF)); 2010 } 2011