10b57cec5SDimitry Andric //===- SIMachineFunctionInfo.cpp - SI Machine Function Info ---------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "SIMachineFunctionInfo.h"
10fe6060f1SDimitry Andric #include "AMDGPUSubtarget.h"
11c9157d92SDimitry Andric #include "AMDGPUTargetMachine.h"
12c9157d92SDimitry Andric #include "GCNSubtarget.h"
13fe6060f1SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
14c9157d92SDimitry Andric #include "SIRegisterInfo.h"
15fe6060f1SDimitry Andric #include "Utils/AMDGPUBaseInfo.h"
16fe6060f1SDimitry Andric #include "llvm/CodeGen/LiveIntervals.h"
17c9157d92SDimitry Andric #include "llvm/CodeGen/MIRParser/MIParser.h"
18fe6060f1SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
19fe6060f1SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
20fe6060f1SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
21fe6060f1SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
22fe6060f1SDimitry Andric #include "llvm/IR/CallingConv.h"
23fe6060f1SDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
24fe6060f1SDimitry Andric #include "llvm/IR/Function.h"
25fe6060f1SDimitry Andric #include <cassert>
26bdd1243dSDimitry Andric #include <optional>
27fe6060f1SDimitry Andric #include <vector>
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric #define MAX_LANES 64
300b57cec5SDimitry Andric 
310b57cec5SDimitry Andric using namespace llvm;
320b57cec5SDimitry Andric 
getTM(const GCNSubtarget * STI)33bdd1243dSDimitry Andric const GCNTargetMachine &getTM(const GCNSubtarget *STI) {
34bdd1243dSDimitry Andric   const SITargetLowering *TLI = STI->getTargetLowering();
35bdd1243dSDimitry Andric   return static_cast<const GCNTargetMachine &>(TLI->getTargetMachine());
36bdd1243dSDimitry Andric }
37bdd1243dSDimitry Andric 
SIMachineFunctionInfo(const Function & F,const GCNSubtarget * STI)38bdd1243dSDimitry Andric SIMachineFunctionInfo::SIMachineFunctionInfo(const Function &F,
39bdd1243dSDimitry Andric                                              const GCNSubtarget *STI)
40c9157d92SDimitry Andric     : AMDGPUMachineFunction(F, *STI), Mode(F, *STI), GWSResourcePSV(getTM(STI)),
41c9157d92SDimitry Andric       UserSGPRInfo(F, *STI), WorkGroupIDX(false), WorkGroupIDY(false),
42c9157d92SDimitry Andric       WorkGroupIDZ(false), WorkGroupInfo(false), LDSKernelId(false),
43c9157d92SDimitry Andric       PrivateSegmentWaveByteOffset(false), WorkItemIDX(false),
44c9157d92SDimitry Andric       WorkItemIDY(false), WorkItemIDZ(false), ImplicitArgPtr(false),
45c9157d92SDimitry Andric       GITPtrHigh(0xffffffff), HighBitsOf32BitAddress(0) {
46bdd1243dSDimitry Andric   const GCNSubtarget &ST = *static_cast<const GCNSubtarget *>(STI);
470b57cec5SDimitry Andric   FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(F);
480b57cec5SDimitry Andric   WavesPerEU = ST.getWavesPerEU(F);
490b57cec5SDimitry Andric 
505ffd83dbSDimitry Andric   Occupancy = ST.computeOccupancy(F, getLDSSize());
510b57cec5SDimitry Andric   CallingConv::ID CC = F.getCallingConv();
520b57cec5SDimitry Andric 
53fe013be4SDimitry Andric   VRegFlags.reserve(1024);
54fe013be4SDimitry Andric 
55349cc55cSDimitry Andric   const bool IsKernel = CC == CallingConv::AMDGPU_KERNEL ||
56349cc55cSDimitry Andric                         CC == CallingConv::SPIR_KERNEL;
575ffd83dbSDimitry Andric 
58349cc55cSDimitry Andric   if (IsKernel) {
590b57cec5SDimitry Andric     WorkGroupIDX = true;
600b57cec5SDimitry Andric     WorkItemIDX = true;
610b57cec5SDimitry Andric   } else if (CC == CallingConv::AMDGPU_PS) {
620b57cec5SDimitry Andric     PSInputAddr = AMDGPU::getInitialPSInputAddr(F);
630b57cec5SDimitry Andric   }
640b57cec5SDimitry Andric 
6581ad6265SDimitry Andric   MayNeedAGPRs = ST.hasMAIInsts();
6681ad6265SDimitry Andric 
67c9157d92SDimitry Andric   if (AMDGPU::isChainCC(CC)) {
68c9157d92SDimitry Andric     // Chain functions don't receive an SP from their caller, but are free to
69c9157d92SDimitry Andric     // set one up. For now, we can use s32 to match what amdgpu_gfx functions
70c9157d92SDimitry Andric     // would use if called, but this can be revisited.
71c9157d92SDimitry Andric     // FIXME: Only reserve this if we actually need it.
72c9157d92SDimitry Andric     StackPtrOffsetReg = AMDGPU::SGPR32;
73c9157d92SDimitry Andric 
74c9157d92SDimitry Andric     ScratchRSrcReg = AMDGPU::SGPR48_SGPR49_SGPR50_SGPR51;
75c9157d92SDimitry Andric 
76c9157d92SDimitry Andric     ArgInfo.PrivateSegmentBuffer =
77c9157d92SDimitry Andric         ArgDescriptor::createRegister(ScratchRSrcReg);
78c9157d92SDimitry Andric 
79c9157d92SDimitry Andric     ImplicitArgPtr = false;
80c9157d92SDimitry Andric   } else if (!isEntryFunction()) {
810eae32dcSDimitry Andric     if (CC != CallingConv::AMDGPU_Gfx)
82fe6060f1SDimitry Andric       ArgInfo = AMDGPUArgumentUsageInfo::FixedABIFunctionInfo;
83fe6060f1SDimitry Andric 
840b57cec5SDimitry Andric     // TODO: Pick a high register, and shift down, similar to a kernel.
855ffd83dbSDimitry Andric     FrameOffsetReg = AMDGPU::SGPR33;
860b57cec5SDimitry Andric     StackPtrOffsetReg = AMDGPU::SGPR32;
870b57cec5SDimitry Andric 
88e8d8bef9SDimitry Andric     if (!ST.enableFlatScratch()) {
89e8d8bef9SDimitry Andric       // Non-entry functions have no special inputs for now, other registers
90e8d8bef9SDimitry Andric       // required for scratch access.
91e8d8bef9SDimitry Andric       ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
92e8d8bef9SDimitry Andric 
930b57cec5SDimitry Andric       ArgInfo.PrivateSegmentBuffer =
940b57cec5SDimitry Andric         ArgDescriptor::createRegister(ScratchRSrcReg);
95e8d8bef9SDimitry Andric     }
960b57cec5SDimitry Andric 
97349cc55cSDimitry Andric     if (!F.hasFnAttribute("amdgpu-no-implicitarg-ptr"))
980b57cec5SDimitry Andric       ImplicitArgPtr = true;
990b57cec5SDimitry Andric   } else {
100349cc55cSDimitry Andric     ImplicitArgPtr = false;
1010b57cec5SDimitry Andric     MaxKernArgAlign = std::max(ST.getAlignmentForImplicitArgPtr(),
1020b57cec5SDimitry Andric                                MaxKernArgAlign);
10381ad6265SDimitry Andric 
10481ad6265SDimitry Andric     if (ST.hasGFX90AInsts() &&
10581ad6265SDimitry Andric         ST.getMaxNumVGPRs(F) <= AMDGPU::VGPR_32RegClass.getNumRegs() &&
106bdd1243dSDimitry Andric         !mayUseAGPRs(F))
10781ad6265SDimitry Andric       MayNeedAGPRs = false; // We will select all MAI with VGPR operands.
1080b57cec5SDimitry Andric   }
109349cc55cSDimitry Andric 
110fe013be4SDimitry Andric   if (!AMDGPU::isGraphics(CC) ||
111fe013be4SDimitry Andric       (CC == CallingConv::AMDGPU_CS && ST.hasArchitectedSGPRs())) {
112349cc55cSDimitry Andric     if (IsKernel || !F.hasFnAttribute("amdgpu-no-workgroup-id-x"))
1130b57cec5SDimitry Andric       WorkGroupIDX = true;
1140b57cec5SDimitry Andric 
115349cc55cSDimitry Andric     if (!F.hasFnAttribute("amdgpu-no-workgroup-id-y"))
1160b57cec5SDimitry Andric       WorkGroupIDY = true;
1170b57cec5SDimitry Andric 
118349cc55cSDimitry Andric     if (!F.hasFnAttribute("amdgpu-no-workgroup-id-z"))
1190b57cec5SDimitry Andric       WorkGroupIDZ = true;
120fe013be4SDimitry Andric   }
1210b57cec5SDimitry Andric 
122fe013be4SDimitry Andric   if (!AMDGPU::isGraphics(CC)) {
123349cc55cSDimitry Andric     if (IsKernel || !F.hasFnAttribute("amdgpu-no-workitem-id-x"))
1240b57cec5SDimitry Andric       WorkItemIDX = true;
1250b57cec5SDimitry Andric 
12604eeddc0SDimitry Andric     if (!F.hasFnAttribute("amdgpu-no-workitem-id-y") &&
12704eeddc0SDimitry Andric         ST.getMaxWorkitemID(F, 1) != 0)
1280b57cec5SDimitry Andric       WorkItemIDY = true;
1290b57cec5SDimitry Andric 
13004eeddc0SDimitry Andric     if (!F.hasFnAttribute("amdgpu-no-workitem-id-z") &&
13104eeddc0SDimitry Andric         ST.getMaxWorkitemID(F, 2) != 0)
1320b57cec5SDimitry Andric       WorkItemIDZ = true;
133349cc55cSDimitry Andric 
134fcaf7f86SDimitry Andric     if (!IsKernel && !F.hasFnAttribute("amdgpu-no-lds-kernel-id"))
135fcaf7f86SDimitry Andric       LDSKernelId = true;
1365ffd83dbSDimitry Andric   }
1370b57cec5SDimitry Andric 
1380b57cec5SDimitry Andric   if (isEntryFunction()) {
1390b57cec5SDimitry Andric     // X, XY, and XYZ are the only supported combinations, so make sure Y is
1400b57cec5SDimitry Andric     // enabled if Z is.
1410b57cec5SDimitry Andric     if (WorkItemIDZ)
1420b57cec5SDimitry Andric       WorkItemIDY = true;
1430b57cec5SDimitry Andric 
144fe6060f1SDimitry Andric     if (!ST.flatScratchIsArchitected()) {
1450b57cec5SDimitry Andric       PrivateSegmentWaveByteOffset = true;
1460b57cec5SDimitry Andric 
1470b57cec5SDimitry Andric       // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
1480b57cec5SDimitry Andric       if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
1490b57cec5SDimitry Andric           (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
1500b57cec5SDimitry Andric         ArgInfo.PrivateSegmentWaveByteOffset =
1510b57cec5SDimitry Andric             ArgDescriptor::createRegister(AMDGPU::SGPR5);
1520b57cec5SDimitry Andric     }
153fe6060f1SDimitry Andric   }
1540b57cec5SDimitry Andric 
1550b57cec5SDimitry Andric   Attribute A = F.getFnAttribute("amdgpu-git-ptr-high");
1560b57cec5SDimitry Andric   StringRef S = A.getValueAsString();
1570b57cec5SDimitry Andric   if (!S.empty())
1580b57cec5SDimitry Andric     S.consumeInteger(0, GITPtrHigh);
1590b57cec5SDimitry Andric 
1600b57cec5SDimitry Andric   A = F.getFnAttribute("amdgpu-32bit-address-high-bits");
1610b57cec5SDimitry Andric   S = A.getValueAsString();
1620b57cec5SDimitry Andric   if (!S.empty())
1630b57cec5SDimitry Andric     S.consumeInteger(0, HighBitsOf32BitAddress);
1640b57cec5SDimitry Andric 
16581ad6265SDimitry Andric   // On GFX908, in order to guarantee copying between AGPRs, we need a scratch
16681ad6265SDimitry Andric   // VGPR available at all times. For now, reserve highest available VGPR. After
16781ad6265SDimitry Andric   // RA, shift it to the lowest available unused VGPR if the one exist.
16881ad6265SDimitry Andric   if (ST.hasMAIInsts() && !ST.hasGFX90AInsts()) {
16981ad6265SDimitry Andric     VGPRForAGPRCopy =
17081ad6265SDimitry Andric         AMDGPU::VGPR_32RegClass.getRegister(ST.getMaxNumVGPRs(F) - 1);
17181ad6265SDimitry Andric   }
17281ad6265SDimitry Andric }
17381ad6265SDimitry Andric 
clone(BumpPtrAllocator & Allocator,MachineFunction & DestMF,const DenseMap<MachineBasicBlock *,MachineBasicBlock * > & Src2DstMBB) const17481ad6265SDimitry Andric MachineFunctionInfo *SIMachineFunctionInfo::clone(
17581ad6265SDimitry Andric     BumpPtrAllocator &Allocator, MachineFunction &DestMF,
17681ad6265SDimitry Andric     const DenseMap<MachineBasicBlock *, MachineBasicBlock *> &Src2DstMBB)
17781ad6265SDimitry Andric     const {
17881ad6265SDimitry Andric   return DestMF.cloneInfo<SIMachineFunctionInfo>(*this);
1790b57cec5SDimitry Andric }
1800b57cec5SDimitry Andric 
limitOccupancy(const MachineFunction & MF)1810b57cec5SDimitry Andric void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) {
1820b57cec5SDimitry Andric   limitOccupancy(getMaxWavesPerEU());
1830b57cec5SDimitry Andric   const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>();
1840b57cec5SDimitry Andric   limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(),
1850b57cec5SDimitry Andric                  MF.getFunction()));
1860b57cec5SDimitry Andric }
1870b57cec5SDimitry Andric 
addPrivateSegmentBuffer(const SIRegisterInfo & TRI)1885ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addPrivateSegmentBuffer(
1890b57cec5SDimitry Andric   const SIRegisterInfo &TRI) {
1900b57cec5SDimitry Andric   ArgInfo.PrivateSegmentBuffer =
1910b57cec5SDimitry Andric     ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
1928bcb0991SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SGPR_128RegClass));
1930b57cec5SDimitry Andric   NumUserSGPRs += 4;
1940b57cec5SDimitry Andric   return ArgInfo.PrivateSegmentBuffer.getRegister();
1950b57cec5SDimitry Andric }
1960b57cec5SDimitry Andric 
addDispatchPtr(const SIRegisterInfo & TRI)1975ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
1980b57cec5SDimitry Andric   ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
1990b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2000b57cec5SDimitry Andric   NumUserSGPRs += 2;
2010b57cec5SDimitry Andric   return ArgInfo.DispatchPtr.getRegister();
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric 
addQueuePtr(const SIRegisterInfo & TRI)2045ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
2050b57cec5SDimitry Andric   ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
2060b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2070b57cec5SDimitry Andric   NumUserSGPRs += 2;
2080b57cec5SDimitry Andric   return ArgInfo.QueuePtr.getRegister();
2090b57cec5SDimitry Andric }
2100b57cec5SDimitry Andric 
addKernargSegmentPtr(const SIRegisterInfo & TRI)2115ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
2120b57cec5SDimitry Andric   ArgInfo.KernargSegmentPtr
2130b57cec5SDimitry Andric     = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
2140b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2150b57cec5SDimitry Andric   NumUserSGPRs += 2;
2160b57cec5SDimitry Andric   return ArgInfo.KernargSegmentPtr.getRegister();
2170b57cec5SDimitry Andric }
2180b57cec5SDimitry Andric 
addDispatchID(const SIRegisterInfo & TRI)2195ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
2200b57cec5SDimitry Andric   ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
2210b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2220b57cec5SDimitry Andric   NumUserSGPRs += 2;
2230b57cec5SDimitry Andric   return ArgInfo.DispatchID.getRegister();
2240b57cec5SDimitry Andric }
2250b57cec5SDimitry Andric 
addFlatScratchInit(const SIRegisterInfo & TRI)2265ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
2270b57cec5SDimitry Andric   ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
2280b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2290b57cec5SDimitry Andric   NumUserSGPRs += 2;
2300b57cec5SDimitry Andric   return ArgInfo.FlatScratchInit.getRegister();
2310b57cec5SDimitry Andric }
2320b57cec5SDimitry Andric 
addImplicitBufferPtr(const SIRegisterInfo & TRI)2335ffd83dbSDimitry Andric Register SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
2340b57cec5SDimitry Andric   ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
2350b57cec5SDimitry Andric     getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
2360b57cec5SDimitry Andric   NumUserSGPRs += 2;
2370b57cec5SDimitry Andric   return ArgInfo.ImplicitBufferPtr.getRegister();
2380b57cec5SDimitry Andric }
2390b57cec5SDimitry Andric 
addLDSKernelId()240fcaf7f86SDimitry Andric Register SIMachineFunctionInfo::addLDSKernelId() {
241fcaf7f86SDimitry Andric   ArgInfo.LDSKernelId = ArgDescriptor::createRegister(getNextUserSGPR());
242fcaf7f86SDimitry Andric   NumUserSGPRs += 1;
243fcaf7f86SDimitry Andric   return ArgInfo.LDSKernelId.getRegister();
244fcaf7f86SDimitry Andric }
245fcaf7f86SDimitry Andric 
addPreloadedKernArg(const SIRegisterInfo & TRI,const TargetRegisterClass * RC,unsigned AllocSizeDWord,int KernArgIdx,int PaddingSGPRs)246c9157d92SDimitry Andric SmallVectorImpl<MCRegister> *SIMachineFunctionInfo::addPreloadedKernArg(
247c9157d92SDimitry Andric     const SIRegisterInfo &TRI, const TargetRegisterClass *RC,
248c9157d92SDimitry Andric     unsigned AllocSizeDWord, int KernArgIdx, int PaddingSGPRs) {
249c9157d92SDimitry Andric   assert(!ArgInfo.PreloadKernArgs.count(KernArgIdx) &&
250c9157d92SDimitry Andric          "Preload kernel argument allocated twice.");
251c9157d92SDimitry Andric   NumUserSGPRs += PaddingSGPRs;
252c9157d92SDimitry Andric   // If the available register tuples are aligned with the kernarg to be
253c9157d92SDimitry Andric   // preloaded use that register, otherwise we need to use a set of SGPRs and
254c9157d92SDimitry Andric   // merge them.
255c9157d92SDimitry Andric   Register PreloadReg =
256c9157d92SDimitry Andric       TRI.getMatchingSuperReg(getNextUserSGPR(), AMDGPU::sub0, RC);
257c9157d92SDimitry Andric   if (PreloadReg &&
258c9157d92SDimitry Andric       (RC == &AMDGPU::SReg_32RegClass || RC == &AMDGPU::SReg_64RegClass)) {
259c9157d92SDimitry Andric     ArgInfo.PreloadKernArgs[KernArgIdx].Regs.push_back(PreloadReg);
260c9157d92SDimitry Andric     NumUserSGPRs += AllocSizeDWord;
261c9157d92SDimitry Andric   } else {
262c9157d92SDimitry Andric     for (unsigned I = 0; I < AllocSizeDWord; ++I) {
263c9157d92SDimitry Andric       ArgInfo.PreloadKernArgs[KernArgIdx].Regs.push_back(getNextUserSGPR());
264c9157d92SDimitry Andric       NumUserSGPRs++;
265c9157d92SDimitry Andric     }
266c9157d92SDimitry Andric   }
267c9157d92SDimitry Andric 
268c9157d92SDimitry Andric   // Track the actual number of SGPRs that HW will preload to.
269c9157d92SDimitry Andric   UserSGPRInfo.allocKernargPreloadSGPRs(AllocSizeDWord + PaddingSGPRs);
270c9157d92SDimitry Andric   return &ArgInfo.PreloadKernArgs[KernArgIdx].Regs;
271c9157d92SDimitry Andric }
272c9157d92SDimitry Andric 
allocateWWMSpill(MachineFunction & MF,Register VGPR,uint64_t Size,Align Alignment)273bdd1243dSDimitry Andric void SIMachineFunctionInfo::allocateWWMSpill(MachineFunction &MF, Register VGPR,
274bdd1243dSDimitry Andric                                              uint64_t Size, Align Alignment) {
275bdd1243dSDimitry Andric   // Skip if it is an entry function or the register is already added.
276bdd1243dSDimitry Andric   if (isEntryFunction() || WWMSpills.count(VGPR))
277bdd1243dSDimitry Andric     return;
278bdd1243dSDimitry Andric 
279c9157d92SDimitry Andric   // Skip if this is a function with the amdgpu_cs_chain or
280c9157d92SDimitry Andric   // amdgpu_cs_chain_preserve calling convention and this is a scratch register.
281c9157d92SDimitry Andric   // We never need to allocate a spill for these because we don't even need to
282c9157d92SDimitry Andric   // restore the inactive lanes for them (they're scratchier than the usual
283c9157d92SDimitry Andric   // scratch registers).
284c9157d92SDimitry Andric   if (isChainFunction() && SIRegisterInfo::isChainScratchRegister(VGPR))
285c9157d92SDimitry Andric     return;
286c9157d92SDimitry Andric 
287bdd1243dSDimitry Andric   WWMSpills.insert(std::make_pair(
288bdd1243dSDimitry Andric       VGPR, MF.getFrameInfo().CreateSpillStackObject(Size, Alignment)));
289bdd1243dSDimitry Andric }
290bdd1243dSDimitry Andric 
291bdd1243dSDimitry Andric // Separate out the callee-saved and scratch registers.
splitWWMSpillRegisters(MachineFunction & MF,SmallVectorImpl<std::pair<Register,int>> & CalleeSavedRegs,SmallVectorImpl<std::pair<Register,int>> & ScratchRegs) const292bdd1243dSDimitry Andric void SIMachineFunctionInfo::splitWWMSpillRegisters(
293bdd1243dSDimitry Andric     MachineFunction &MF,
294bdd1243dSDimitry Andric     SmallVectorImpl<std::pair<Register, int>> &CalleeSavedRegs,
295bdd1243dSDimitry Andric     SmallVectorImpl<std::pair<Register, int>> &ScratchRegs) const {
296bdd1243dSDimitry Andric   const MCPhysReg *CSRegs = MF.getRegInfo().getCalleeSavedRegs();
297bdd1243dSDimitry Andric   for (auto &Reg : WWMSpills) {
298bdd1243dSDimitry Andric     if (isCalleeSavedReg(CSRegs, Reg.first))
299bdd1243dSDimitry Andric       CalleeSavedRegs.push_back(Reg);
300bdd1243dSDimitry Andric     else
301bdd1243dSDimitry Andric       ScratchRegs.push_back(Reg);
302bdd1243dSDimitry Andric   }
303bdd1243dSDimitry Andric }
304bdd1243dSDimitry Andric 
isCalleeSavedReg(const MCPhysReg * CSRegs,MCPhysReg Reg) const3055ffd83dbSDimitry Andric bool SIMachineFunctionInfo::isCalleeSavedReg(const MCPhysReg *CSRegs,
306bdd1243dSDimitry Andric                                              MCPhysReg Reg) const {
3070b57cec5SDimitry Andric   for (unsigned I = 0; CSRegs[I]; ++I) {
3080b57cec5SDimitry Andric     if (CSRegs[I] == Reg)
3090b57cec5SDimitry Andric       return true;
3100b57cec5SDimitry Andric   }
3110b57cec5SDimitry Andric 
3120b57cec5SDimitry Andric   return false;
3130b57cec5SDimitry Andric }
3140b57cec5SDimitry Andric 
shiftSpillPhysVGPRsToLowestRange(MachineFunction & MF)315*a58f00eaSDimitry Andric void SIMachineFunctionInfo::shiftSpillPhysVGPRsToLowestRange(
316*a58f00eaSDimitry Andric     MachineFunction &MF) {
317*a58f00eaSDimitry Andric   const SIRegisterInfo *TRI = MF.getSubtarget<GCNSubtarget>().getRegisterInfo();
318*a58f00eaSDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
319*a58f00eaSDimitry Andric   for (unsigned I = 0, E = SpillPhysVGPRs.size(); I < E; ++I) {
320*a58f00eaSDimitry Andric     Register Reg = SpillPhysVGPRs[I];
321*a58f00eaSDimitry Andric     Register NewReg =
322*a58f00eaSDimitry Andric         TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
323*a58f00eaSDimitry Andric     if (!NewReg || NewReg >= Reg)
324*a58f00eaSDimitry Andric       break;
325*a58f00eaSDimitry Andric 
326*a58f00eaSDimitry Andric     MRI.replaceRegWith(Reg, NewReg);
327*a58f00eaSDimitry Andric 
328*a58f00eaSDimitry Andric     // Update various tables with the new VGPR.
329*a58f00eaSDimitry Andric     SpillPhysVGPRs[I] = NewReg;
330*a58f00eaSDimitry Andric     WWMReservedRegs.remove(Reg);
331*a58f00eaSDimitry Andric     WWMReservedRegs.insert(NewReg);
332*a58f00eaSDimitry Andric     WWMSpills.insert(std::make_pair(NewReg, WWMSpills[Reg]));
333*a58f00eaSDimitry Andric     WWMSpills.erase(Reg);
334*a58f00eaSDimitry Andric 
335*a58f00eaSDimitry Andric     for (MachineBasicBlock &MBB : MF) {
336*a58f00eaSDimitry Andric       MBB.removeLiveIn(Reg);
337*a58f00eaSDimitry Andric       MBB.sortUniqueLiveIns();
338*a58f00eaSDimitry Andric     }
339*a58f00eaSDimitry Andric   }
340*a58f00eaSDimitry Andric }
341*a58f00eaSDimitry Andric 
allocateVirtualVGPRForSGPRSpills(MachineFunction & MF,int FI,unsigned LaneIndex)342c9157d92SDimitry Andric bool SIMachineFunctionInfo::allocateVirtualVGPRForSGPRSpills(
343c9157d92SDimitry Andric     MachineFunction &MF, int FI, unsigned LaneIndex) {
344bdd1243dSDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
345bdd1243dSDimitry Andric   Register LaneVGPR;
346bdd1243dSDimitry Andric   if (!LaneIndex) {
347c9157d92SDimitry Andric     LaneVGPR = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass);
348bdd1243dSDimitry Andric     SpillVGPRs.push_back(LaneVGPR);
349bdd1243dSDimitry Andric   } else {
350bdd1243dSDimitry Andric     LaneVGPR = SpillVGPRs.back();
351bdd1243dSDimitry Andric   }
352bdd1243dSDimitry Andric 
353c9157d92SDimitry Andric   SGPRSpillsToVirtualVGPRLanes[FI].push_back(
354bdd1243dSDimitry Andric       SIRegisterInfo::SpilledReg(LaneVGPR, LaneIndex));
355bdd1243dSDimitry Andric   return true;
356bdd1243dSDimitry Andric }
357bdd1243dSDimitry Andric 
allocatePhysicalVGPRForSGPRSpills(MachineFunction & MF,int FI,unsigned LaneIndex,bool IsPrologEpilog)358c9157d92SDimitry Andric bool SIMachineFunctionInfo::allocatePhysicalVGPRForSGPRSpills(
359*a58f00eaSDimitry Andric     MachineFunction &MF, int FI, unsigned LaneIndex, bool IsPrologEpilog) {
360bdd1243dSDimitry Andric   const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
361bdd1243dSDimitry Andric   const SIRegisterInfo *TRI = ST.getRegisterInfo();
362bdd1243dSDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
363bdd1243dSDimitry Andric   Register LaneVGPR;
364bdd1243dSDimitry Andric   if (!LaneIndex) {
365*a58f00eaSDimitry Andric     // Find the highest available register if called before RA to ensure the
366*a58f00eaSDimitry Andric     // lowest registers are available for allocation. The LaneVGPR, in that
367*a58f00eaSDimitry Andric     // case, will be shifted back to the lowest range after VGPR allocation.
368*a58f00eaSDimitry Andric     LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF,
369*a58f00eaSDimitry Andric                                        !IsPrologEpilog);
370bdd1243dSDimitry Andric     if (LaneVGPR == AMDGPU::NoRegister) {
371bdd1243dSDimitry Andric       // We have no VGPRs left for spilling SGPRs. Reset because we will not
372bdd1243dSDimitry Andric       // partially spill the SGPR to VGPRs.
373c9157d92SDimitry Andric       SGPRSpillsToPhysicalVGPRLanes.erase(FI);
374bdd1243dSDimitry Andric       return false;
375bdd1243dSDimitry Andric     }
376bdd1243dSDimitry Andric 
377bdd1243dSDimitry Andric     allocateWWMSpill(MF, LaneVGPR);
378c9157d92SDimitry Andric     reserveWWMRegister(LaneVGPR);
379c9157d92SDimitry Andric     for (MachineBasicBlock &MBB : MF) {
380c9157d92SDimitry Andric       MBB.addLiveIn(LaneVGPR);
381c9157d92SDimitry Andric       MBB.sortUniqueLiveIns();
382c9157d92SDimitry Andric     }
383c9157d92SDimitry Andric     SpillPhysVGPRs.push_back(LaneVGPR);
384bdd1243dSDimitry Andric   } else {
385c9157d92SDimitry Andric     LaneVGPR = SpillPhysVGPRs.back();
386bdd1243dSDimitry Andric   }
387bdd1243dSDimitry Andric 
388c9157d92SDimitry Andric   SGPRSpillsToPhysicalVGPRLanes[FI].push_back(
389bdd1243dSDimitry Andric       SIRegisterInfo::SpilledReg(LaneVGPR, LaneIndex));
390bdd1243dSDimitry Andric   return true;
391bdd1243dSDimitry Andric }
392bdd1243dSDimitry Andric 
allocateSGPRSpillToVGPRLane(MachineFunction & MF,int FI,bool SpillToPhysVGPRLane,bool IsPrologEpilog)393*a58f00eaSDimitry Andric bool SIMachineFunctionInfo::allocateSGPRSpillToVGPRLane(
394*a58f00eaSDimitry Andric     MachineFunction &MF, int FI, bool SpillToPhysVGPRLane,
395bdd1243dSDimitry Andric     bool IsPrologEpilog) {
396bdd1243dSDimitry Andric   std::vector<SIRegisterInfo::SpilledReg> &SpillLanes =
397*a58f00eaSDimitry Andric       SpillToPhysVGPRLane ? SGPRSpillsToPhysicalVGPRLanes[FI]
398c9157d92SDimitry Andric                           : SGPRSpillsToVirtualVGPRLanes[FI];
3990b57cec5SDimitry Andric 
4000b57cec5SDimitry Andric   // This has already been allocated.
4010b57cec5SDimitry Andric   if (!SpillLanes.empty())
4020b57cec5SDimitry Andric     return true;
4030b57cec5SDimitry Andric 
4040b57cec5SDimitry Andric   const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
4050b57cec5SDimitry Andric   MachineFrameInfo &FrameInfo = MF.getFrameInfo();
4060b57cec5SDimitry Andric   unsigned WaveSize = ST.getWavefrontSize();
4070b57cec5SDimitry Andric 
4080b57cec5SDimitry Andric   unsigned Size = FrameInfo.getObjectSize(FI);
4095ffd83dbSDimitry Andric   unsigned NumLanes = Size / 4;
4100b57cec5SDimitry Andric 
4115ffd83dbSDimitry Andric   if (NumLanes > WaveSize)
4125ffd83dbSDimitry Andric     return false;
4135ffd83dbSDimitry Andric 
4145ffd83dbSDimitry Andric   assert(Size >= 4 && "invalid sgpr spill size");
415bdd1243dSDimitry Andric   assert(ST.getRegisterInfo()->spillSGPRToVGPR() &&
416bdd1243dSDimitry Andric          "not spilling SGPRs to VGPRs");
4170b57cec5SDimitry Andric 
418*a58f00eaSDimitry Andric   unsigned &NumSpillLanes = SpillToPhysVGPRLane ? NumPhysicalVGPRSpillLanes
419*a58f00eaSDimitry Andric                                                 : NumVirtualVGPRSpillLanes;
4200b57cec5SDimitry Andric 
421bdd1243dSDimitry Andric   for (unsigned I = 0; I < NumLanes; ++I, ++NumSpillLanes) {
422bdd1243dSDimitry Andric     unsigned LaneIndex = (NumSpillLanes % WaveSize);
423fe6060f1SDimitry Andric 
424*a58f00eaSDimitry Andric     bool Allocated = SpillToPhysVGPRLane
425*a58f00eaSDimitry Andric                          ? allocatePhysicalVGPRForSGPRSpills(MF, FI, LaneIndex,
426*a58f00eaSDimitry Andric                                                              IsPrologEpilog)
427c9157d92SDimitry Andric                          : allocateVirtualVGPRForSGPRSpills(MF, FI, LaneIndex);
428bdd1243dSDimitry Andric     if (!Allocated) {
429bdd1243dSDimitry Andric       NumSpillLanes -= I;
4300b57cec5SDimitry Andric       return false;
4310b57cec5SDimitry Andric     }
4320b57cec5SDimitry Andric   }
4330b57cec5SDimitry Andric 
4340b57cec5SDimitry Andric   return true;
4350b57cec5SDimitry Andric }
4360b57cec5SDimitry Andric 
4370b57cec5SDimitry Andric /// Reserve AGPRs or VGPRs to support spilling for FrameIndex \p FI.
4380b57cec5SDimitry Andric /// Either AGPR is spilled to VGPR to vice versa.
4390b57cec5SDimitry Andric /// Returns true if a \p FI can be eliminated completely.
allocateVGPRSpillToAGPR(MachineFunction & MF,int FI,bool isAGPRtoVGPR)4400b57cec5SDimitry Andric bool SIMachineFunctionInfo::allocateVGPRSpillToAGPR(MachineFunction &MF,
4410b57cec5SDimitry Andric                                                     int FI,
4420b57cec5SDimitry Andric                                                     bool isAGPRtoVGPR) {
4430b57cec5SDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
4440b57cec5SDimitry Andric   MachineFrameInfo &FrameInfo = MF.getFrameInfo();
4450b57cec5SDimitry Andric   const GCNSubtarget &ST =  MF.getSubtarget<GCNSubtarget>();
4460b57cec5SDimitry Andric 
4470b57cec5SDimitry Andric   assert(ST.hasMAIInsts() && FrameInfo.isSpillSlotObjectIndex(FI));
4480b57cec5SDimitry Andric 
4490b57cec5SDimitry Andric   auto &Spill = VGPRToAGPRSpills[FI];
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric   // This has already been allocated.
4520b57cec5SDimitry Andric   if (!Spill.Lanes.empty())
4530b57cec5SDimitry Andric     return Spill.FullyAllocated;
4540b57cec5SDimitry Andric 
4550b57cec5SDimitry Andric   unsigned Size = FrameInfo.getObjectSize(FI);
4560b57cec5SDimitry Andric   unsigned NumLanes = Size / 4;
4570b57cec5SDimitry Andric   Spill.Lanes.resize(NumLanes, AMDGPU::NoRegister);
4580b57cec5SDimitry Andric 
4590b57cec5SDimitry Andric   const TargetRegisterClass &RC =
4600b57cec5SDimitry Andric       isAGPRtoVGPR ? AMDGPU::VGPR_32RegClass : AMDGPU::AGPR_32RegClass;
4610b57cec5SDimitry Andric   auto Regs = RC.getRegisters();
4620b57cec5SDimitry Andric 
4630b57cec5SDimitry Andric   auto &SpillRegs = isAGPRtoVGPR ? SpillAGPR : SpillVGPR;
4640b57cec5SDimitry Andric   const SIRegisterInfo *TRI = ST.getRegisterInfo();
4650b57cec5SDimitry Andric   Spill.FullyAllocated = true;
4660b57cec5SDimitry Andric 
4670b57cec5SDimitry Andric   // FIXME: Move allocation logic out of MachineFunctionInfo and initialize
4680b57cec5SDimitry Andric   // once.
4690b57cec5SDimitry Andric   BitVector OtherUsedRegs;
4700b57cec5SDimitry Andric   OtherUsedRegs.resize(TRI->getNumRegs());
4710b57cec5SDimitry Andric 
4720b57cec5SDimitry Andric   const uint32_t *CSRMask =
4730b57cec5SDimitry Andric       TRI->getCallPreservedMask(MF, MF.getFunction().getCallingConv());
4740b57cec5SDimitry Andric   if (CSRMask)
4750b57cec5SDimitry Andric     OtherUsedRegs.setBitsInMask(CSRMask);
4760b57cec5SDimitry Andric 
4770b57cec5SDimitry Andric   // TODO: Should include register tuples, but doesn't matter with current
4780b57cec5SDimitry Andric   // usage.
4790b57cec5SDimitry Andric   for (MCPhysReg Reg : SpillAGPR)
4800b57cec5SDimitry Andric     OtherUsedRegs.set(Reg);
4810b57cec5SDimitry Andric   for (MCPhysReg Reg : SpillVGPR)
4820b57cec5SDimitry Andric     OtherUsedRegs.set(Reg);
4830b57cec5SDimitry Andric 
4840b57cec5SDimitry Andric   SmallVectorImpl<MCPhysReg>::const_iterator NextSpillReg = Regs.begin();
485349cc55cSDimitry Andric   for (int I = NumLanes - 1; I >= 0; --I) {
4860b57cec5SDimitry Andric     NextSpillReg = std::find_if(
4870b57cec5SDimitry Andric         NextSpillReg, Regs.end(), [&MRI, &OtherUsedRegs](MCPhysReg Reg) {
4880b57cec5SDimitry Andric           return MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg) &&
4890b57cec5SDimitry Andric                  !OtherUsedRegs[Reg];
4900b57cec5SDimitry Andric         });
4910b57cec5SDimitry Andric 
4920b57cec5SDimitry Andric     if (NextSpillReg == Regs.end()) { // Registers exhausted
4930b57cec5SDimitry Andric       Spill.FullyAllocated = false;
4940b57cec5SDimitry Andric       break;
4950b57cec5SDimitry Andric     }
4960b57cec5SDimitry Andric 
4970b57cec5SDimitry Andric     OtherUsedRegs.set(*NextSpillReg);
4980b57cec5SDimitry Andric     SpillRegs.push_back(*NextSpillReg);
499bdd1243dSDimitry Andric     MRI.reserveReg(*NextSpillReg, TRI);
5000b57cec5SDimitry Andric     Spill.Lanes[I] = *NextSpillReg++;
5010b57cec5SDimitry Andric   }
5020b57cec5SDimitry Andric 
5030b57cec5SDimitry Andric   return Spill.FullyAllocated;
5040b57cec5SDimitry Andric }
5050b57cec5SDimitry Andric 
removeDeadFrameIndices(MachineFrameInfo & MFI,bool ResetSGPRSpillStackIDs)50681ad6265SDimitry Andric bool SIMachineFunctionInfo::removeDeadFrameIndices(
50781ad6265SDimitry Andric     MachineFrameInfo &MFI, bool ResetSGPRSpillStackIDs) {
508c9157d92SDimitry Andric   // Remove dead frame indices from function frame, however keep FP & BP since
509c9157d92SDimitry Andric   // spills for them haven't been inserted yet. And also make sure to remove the
510c9157d92SDimitry Andric   // frame indices from `SGPRSpillsToVirtualVGPRLanes` data structure,
511c9157d92SDimitry Andric   // otherwise, it could result in an unexpected side effect and bug, in case of
512c9157d92SDimitry Andric   // any re-mapping of freed frame indices by later pass(es) like "stack slot
513bdd1243dSDimitry Andric   // coloring".
514c9157d92SDimitry Andric   for (auto &R : make_early_inc_range(SGPRSpillsToVirtualVGPRLanes)) {
5150b57cec5SDimitry Andric     MFI.RemoveStackObject(R.first);
516c9157d92SDimitry Andric     SGPRSpillsToVirtualVGPRLanes.erase(R.first);
5170b57cec5SDimitry Andric   }
5180b57cec5SDimitry Andric 
519c9157d92SDimitry Andric   // Remove the dead frame indices of CSR SGPRs which are spilled to physical
520c9157d92SDimitry Andric   // VGPR lanes during SILowerSGPRSpills pass.
521c9157d92SDimitry Andric   if (!ResetSGPRSpillStackIDs) {
522c9157d92SDimitry Andric     for (auto &R : make_early_inc_range(SGPRSpillsToPhysicalVGPRLanes)) {
523c9157d92SDimitry Andric       MFI.RemoveStackObject(R.first);
524c9157d92SDimitry Andric       SGPRSpillsToPhysicalVGPRLanes.erase(R.first);
525c9157d92SDimitry Andric     }
526c9157d92SDimitry Andric   }
52781ad6265SDimitry Andric   bool HaveSGPRToMemory = false;
52881ad6265SDimitry Andric 
52981ad6265SDimitry Andric   if (ResetSGPRSpillStackIDs) {
530bdd1243dSDimitry Andric     // All other SGPRs must be allocated on the default stack, so reset the
53181ad6265SDimitry Andric     // stack ID.
532bdd1243dSDimitry Andric     for (int I = MFI.getObjectIndexBegin(), E = MFI.getObjectIndexEnd(); I != E;
533bdd1243dSDimitry Andric          ++I) {
534bdd1243dSDimitry Andric       if (!checkIndexInPrologEpilogSGPRSpills(I)) {
535bdd1243dSDimitry Andric         if (MFI.getStackID(I) == TargetStackID::SGPRSpill) {
536bdd1243dSDimitry Andric           MFI.setStackID(I, TargetStackID::Default);
53781ad6265SDimitry Andric           HaveSGPRToMemory = true;
53881ad6265SDimitry Andric         }
53981ad6265SDimitry Andric       }
54081ad6265SDimitry Andric     }
54181ad6265SDimitry Andric   }
5420b57cec5SDimitry Andric 
5430b57cec5SDimitry Andric   for (auto &R : VGPRToAGPRSpills) {
5440eae32dcSDimitry Andric     if (R.second.IsDead)
5450b57cec5SDimitry Andric       MFI.RemoveStackObject(R.first);
5460b57cec5SDimitry Andric   }
54781ad6265SDimitry Andric 
54881ad6265SDimitry Andric   return HaveSGPRToMemory;
54981ad6265SDimitry Andric }
55081ad6265SDimitry Andric 
getScavengeFI(MachineFrameInfo & MFI,const SIRegisterInfo & TRI)551fe6060f1SDimitry Andric int SIMachineFunctionInfo::getScavengeFI(MachineFrameInfo &MFI,
552fe6060f1SDimitry Andric                                          const SIRegisterInfo &TRI) {
553fe6060f1SDimitry Andric   if (ScavengeFI)
554fe6060f1SDimitry Andric     return *ScavengeFI;
555c9157d92SDimitry Andric   if (isBottomOfStack()) {
556fe6060f1SDimitry Andric     ScavengeFI = MFI.CreateFixedObject(
557fe6060f1SDimitry Andric         TRI.getSpillSize(AMDGPU::SGPR_32RegClass), 0, false);
558fe6060f1SDimitry Andric   } else {
559fe6060f1SDimitry Andric     ScavengeFI = MFI.CreateStackObject(
560fe6060f1SDimitry Andric         TRI.getSpillSize(AMDGPU::SGPR_32RegClass),
561fe6060f1SDimitry Andric         TRI.getSpillAlign(AMDGPU::SGPR_32RegClass), false);
562fe6060f1SDimitry Andric   }
563fe6060f1SDimitry Andric   return *ScavengeFI;
564fe6060f1SDimitry Andric }
565fe6060f1SDimitry Andric 
getNextUserSGPR() const5660b57cec5SDimitry Andric MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const {
5670b57cec5SDimitry Andric   assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs");
5680b57cec5SDimitry Andric   return AMDGPU::SGPR0 + NumUserSGPRs;
5690b57cec5SDimitry Andric }
5700b57cec5SDimitry Andric 
getNextSystemSGPR() const5710b57cec5SDimitry Andric MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const {
5720b57cec5SDimitry Andric   return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs;
5730b57cec5SDimitry Andric }
5740b57cec5SDimitry Andric 
MRI_NoteNewVirtualRegister(Register Reg)575fe013be4SDimitry Andric void SIMachineFunctionInfo::MRI_NoteNewVirtualRegister(Register Reg) {
576fe013be4SDimitry Andric   VRegFlags.grow(Reg);
577fe013be4SDimitry Andric }
578fe013be4SDimitry Andric 
MRI_NoteCloneVirtualRegister(Register NewReg,Register SrcReg)579fe013be4SDimitry Andric void SIMachineFunctionInfo::MRI_NoteCloneVirtualRegister(Register NewReg,
580fe013be4SDimitry Andric                                                          Register SrcReg) {
581fe013be4SDimitry Andric   VRegFlags.grow(NewReg);
582fe013be4SDimitry Andric   VRegFlags[NewReg] = VRegFlags[SrcReg];
583fe013be4SDimitry Andric }
584fe013be4SDimitry Andric 
5855ffd83dbSDimitry Andric Register
getGITPtrLoReg(const MachineFunction & MF) const5865ffd83dbSDimitry Andric SIMachineFunctionInfo::getGITPtrLoReg(const MachineFunction &MF) const {
5875ffd83dbSDimitry Andric   const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
5885ffd83dbSDimitry Andric   if (!ST.isAmdPalOS())
5895ffd83dbSDimitry Andric     return Register();
5905ffd83dbSDimitry Andric   Register GitPtrLo = AMDGPU::SGPR0; // Low GIT address passed in
5915ffd83dbSDimitry Andric   if (ST.hasMergedShaders()) {
5925ffd83dbSDimitry Andric     switch (MF.getFunction().getCallingConv()) {
5935ffd83dbSDimitry Andric     case CallingConv::AMDGPU_HS:
5945ffd83dbSDimitry Andric     case CallingConv::AMDGPU_GS:
5955ffd83dbSDimitry Andric       // Low GIT address is passed in s8 rather than s0 for an LS+HS or
5965ffd83dbSDimitry Andric       // ES+GS merged shader on gfx9+.
5975ffd83dbSDimitry Andric       GitPtrLo = AMDGPU::SGPR8;
5985ffd83dbSDimitry Andric       return GitPtrLo;
5995ffd83dbSDimitry Andric     default:
6005ffd83dbSDimitry Andric       return GitPtrLo;
6015ffd83dbSDimitry Andric     }
6025ffd83dbSDimitry Andric   }
6035ffd83dbSDimitry Andric   return GitPtrLo;
6045ffd83dbSDimitry Andric }
6055ffd83dbSDimitry Andric 
regToString(Register Reg,const TargetRegisterInfo & TRI)6065ffd83dbSDimitry Andric static yaml::StringValue regToString(Register Reg,
6070b57cec5SDimitry Andric                                      const TargetRegisterInfo &TRI) {
6080b57cec5SDimitry Andric   yaml::StringValue Dest;
6090b57cec5SDimitry Andric   {
6100b57cec5SDimitry Andric     raw_string_ostream OS(Dest.Value);
6110b57cec5SDimitry Andric     OS << printReg(Reg, &TRI);
6120b57cec5SDimitry Andric   }
6130b57cec5SDimitry Andric   return Dest;
6140b57cec5SDimitry Andric }
6150b57cec5SDimitry Andric 
616bdd1243dSDimitry Andric static std::optional<yaml::SIArgumentInfo>
convertArgumentInfo(const AMDGPUFunctionArgInfo & ArgInfo,const TargetRegisterInfo & TRI)6170b57cec5SDimitry Andric convertArgumentInfo(const AMDGPUFunctionArgInfo &ArgInfo,
6180b57cec5SDimitry Andric                     const TargetRegisterInfo &TRI) {
6190b57cec5SDimitry Andric   yaml::SIArgumentInfo AI;
6200b57cec5SDimitry Andric 
621bdd1243dSDimitry Andric   auto convertArg = [&](std::optional<yaml::SIArgument> &A,
6220b57cec5SDimitry Andric                         const ArgDescriptor &Arg) {
6230b57cec5SDimitry Andric     if (!Arg)
6240b57cec5SDimitry Andric       return false;
6250b57cec5SDimitry Andric 
6260b57cec5SDimitry Andric     // Create a register or stack argument.
6270b57cec5SDimitry Andric     yaml::SIArgument SA = yaml::SIArgument::createArgument(Arg.isRegister());
6280b57cec5SDimitry Andric     if (Arg.isRegister()) {
6290b57cec5SDimitry Andric       raw_string_ostream OS(SA.RegisterName.Value);
6300b57cec5SDimitry Andric       OS << printReg(Arg.getRegister(), &TRI);
6310b57cec5SDimitry Andric     } else
6320b57cec5SDimitry Andric       SA.StackOffset = Arg.getStackOffset();
6330b57cec5SDimitry Andric     // Check and update the optional mask.
6340b57cec5SDimitry Andric     if (Arg.isMasked())
6350b57cec5SDimitry Andric       SA.Mask = Arg.getMask();
6360b57cec5SDimitry Andric 
6370b57cec5SDimitry Andric     A = SA;
6380b57cec5SDimitry Andric     return true;
6390b57cec5SDimitry Andric   };
6400b57cec5SDimitry Andric 
641c9157d92SDimitry Andric   // TODO: Need to serialize kernarg preloads.
6420b57cec5SDimitry Andric   bool Any = false;
6430b57cec5SDimitry Andric   Any |= convertArg(AI.PrivateSegmentBuffer, ArgInfo.PrivateSegmentBuffer);
6440b57cec5SDimitry Andric   Any |= convertArg(AI.DispatchPtr, ArgInfo.DispatchPtr);
6450b57cec5SDimitry Andric   Any |= convertArg(AI.QueuePtr, ArgInfo.QueuePtr);
6460b57cec5SDimitry Andric   Any |= convertArg(AI.KernargSegmentPtr, ArgInfo.KernargSegmentPtr);
6470b57cec5SDimitry Andric   Any |= convertArg(AI.DispatchID, ArgInfo.DispatchID);
6480b57cec5SDimitry Andric   Any |= convertArg(AI.FlatScratchInit, ArgInfo.FlatScratchInit);
649fcaf7f86SDimitry Andric   Any |= convertArg(AI.LDSKernelId, ArgInfo.LDSKernelId);
6500b57cec5SDimitry Andric   Any |= convertArg(AI.PrivateSegmentSize, ArgInfo.PrivateSegmentSize);
6510b57cec5SDimitry Andric   Any |= convertArg(AI.WorkGroupIDX, ArgInfo.WorkGroupIDX);
6520b57cec5SDimitry Andric   Any |= convertArg(AI.WorkGroupIDY, ArgInfo.WorkGroupIDY);
6530b57cec5SDimitry Andric   Any |= convertArg(AI.WorkGroupIDZ, ArgInfo.WorkGroupIDZ);
6540b57cec5SDimitry Andric   Any |= convertArg(AI.WorkGroupInfo, ArgInfo.WorkGroupInfo);
6550b57cec5SDimitry Andric   Any |= convertArg(AI.PrivateSegmentWaveByteOffset,
6560b57cec5SDimitry Andric                     ArgInfo.PrivateSegmentWaveByteOffset);
6570b57cec5SDimitry Andric   Any |= convertArg(AI.ImplicitArgPtr, ArgInfo.ImplicitArgPtr);
6580b57cec5SDimitry Andric   Any |= convertArg(AI.ImplicitBufferPtr, ArgInfo.ImplicitBufferPtr);
6590b57cec5SDimitry Andric   Any |= convertArg(AI.WorkItemIDX, ArgInfo.WorkItemIDX);
6600b57cec5SDimitry Andric   Any |= convertArg(AI.WorkItemIDY, ArgInfo.WorkItemIDY);
6610b57cec5SDimitry Andric   Any |= convertArg(AI.WorkItemIDZ, ArgInfo.WorkItemIDZ);
6620b57cec5SDimitry Andric 
6630b57cec5SDimitry Andric   if (Any)
6640b57cec5SDimitry Andric     return AI;
6650b57cec5SDimitry Andric 
666bdd1243dSDimitry Andric   return std::nullopt;
6670b57cec5SDimitry Andric }
6680b57cec5SDimitry Andric 
SIMachineFunctionInfo(const llvm::SIMachineFunctionInfo & MFI,const TargetRegisterInfo & TRI,const llvm::MachineFunction & MF)6690b57cec5SDimitry Andric yaml::SIMachineFunctionInfo::SIMachineFunctionInfo(
670fe6060f1SDimitry Andric     const llvm::SIMachineFunctionInfo &MFI, const TargetRegisterInfo &TRI,
671fe6060f1SDimitry Andric     const llvm::MachineFunction &MF)
6720b57cec5SDimitry Andric     : ExplicitKernArgSize(MFI.getExplicitKernArgSize()),
673e8d8bef9SDimitry Andric       MaxKernArgAlign(MFI.getMaxKernArgAlign()), LDSSize(MFI.getLDSSize()),
67481ad6265SDimitry Andric       GDSSize(MFI.getGDSSize()),
675e8d8bef9SDimitry Andric       DynLDSAlign(MFI.getDynLDSAlign()), IsEntryFunction(MFI.isEntryFunction()),
6760b57cec5SDimitry Andric       NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()),
677e8d8bef9SDimitry Andric       MemoryBound(MFI.isMemoryBound()), WaveLimiter(MFI.needsWaveLimiter()),
678e8d8bef9SDimitry Andric       HasSpilledSGPRs(MFI.hasSpilledSGPRs()),
679e8d8bef9SDimitry Andric       HasSpilledVGPRs(MFI.hasSpilledVGPRs()),
6808bcb0991SDimitry Andric       HighBitsOf32BitAddress(MFI.get32BitAddressHighBits()),
681e8d8bef9SDimitry Andric       Occupancy(MFI.getOccupancy()),
6820b57cec5SDimitry Andric       ScratchRSrcReg(regToString(MFI.getScratchRSrcReg(), TRI)),
6830b57cec5SDimitry Andric       FrameOffsetReg(regToString(MFI.getFrameOffsetReg(), TRI)),
6840b57cec5SDimitry Andric       StackPtrOffsetReg(regToString(MFI.getStackPtrOffsetReg(), TRI)),
68581ad6265SDimitry Andric       BytesInStackArgArea(MFI.getBytesInStackArgArea()),
68681ad6265SDimitry Andric       ReturnsVoid(MFI.returnsVoid()),
687fe013be4SDimitry Andric       ArgInfo(convertArgumentInfo(MFI.getArgInfo(), TRI)),
688fe013be4SDimitry Andric       PSInputAddr(MFI.getPSInputAddr()),
689fe013be4SDimitry Andric       PSInputEnable(MFI.getPSInputEnable()),
690fe013be4SDimitry Andric       Mode(MFI.getMode()) {
691bdd1243dSDimitry Andric   for (Register Reg : MFI.getWWMReservedRegs())
69281ad6265SDimitry Andric     WWMReservedRegs.push_back(regToString(Reg, TRI));
69381ad6265SDimitry Andric 
694fe013be4SDimitry Andric   if (MFI.getLongBranchReservedReg())
695fe013be4SDimitry Andric     LongBranchReservedReg = regToString(MFI.getLongBranchReservedReg(), TRI);
69681ad6265SDimitry Andric   if (MFI.getVGPRForAGPRCopy())
69781ad6265SDimitry Andric     VGPRForAGPRCopy = regToString(MFI.getVGPRForAGPRCopy(), TRI);
698fe013be4SDimitry Andric 
699fe013be4SDimitry Andric   if (MFI.getSGPRForEXECCopy())
700fe013be4SDimitry Andric     SGPRForEXECCopy = regToString(MFI.getSGPRForEXECCopy(), TRI);
701fe013be4SDimitry Andric 
702fe6060f1SDimitry Andric   auto SFI = MFI.getOptionalScavengeFI();
703fe6060f1SDimitry Andric   if (SFI)
704fe6060f1SDimitry Andric     ScavengeFI = yaml::FrameIndex(*SFI, MF.getFrameInfo());
705e8d8bef9SDimitry Andric }
7060b57cec5SDimitry Andric 
mappingImpl(yaml::IO & YamlIO)7070b57cec5SDimitry Andric void yaml::SIMachineFunctionInfo::mappingImpl(yaml::IO &YamlIO) {
7080b57cec5SDimitry Andric   MappingTraits<SIMachineFunctionInfo>::mapping(YamlIO, *this);
7090b57cec5SDimitry Andric }
7100b57cec5SDimitry Andric 
initializeBaseYamlFields(const yaml::SIMachineFunctionInfo & YamlMFI,const MachineFunction & MF,PerFunctionMIParsingState & PFS,SMDiagnostic & Error,SMRange & SourceRange)7110b57cec5SDimitry Andric bool SIMachineFunctionInfo::initializeBaseYamlFields(
712fe6060f1SDimitry Andric     const yaml::SIMachineFunctionInfo &YamlMFI, const MachineFunction &MF,
713fe6060f1SDimitry Andric     PerFunctionMIParsingState &PFS, SMDiagnostic &Error, SMRange &SourceRange) {
7140b57cec5SDimitry Andric   ExplicitKernArgSize = YamlMFI.ExplicitKernArgSize;
71581ad6265SDimitry Andric   MaxKernArgAlign = YamlMFI.MaxKernArgAlign;
7160b57cec5SDimitry Andric   LDSSize = YamlMFI.LDSSize;
71781ad6265SDimitry Andric   GDSSize = YamlMFI.GDSSize;
718e8d8bef9SDimitry Andric   DynLDSAlign = YamlMFI.DynLDSAlign;
719fe013be4SDimitry Andric   PSInputAddr = YamlMFI.PSInputAddr;
720fe013be4SDimitry Andric   PSInputEnable = YamlMFI.PSInputEnable;
7218bcb0991SDimitry Andric   HighBitsOf32BitAddress = YamlMFI.HighBitsOf32BitAddress;
722e8d8bef9SDimitry Andric   Occupancy = YamlMFI.Occupancy;
7230b57cec5SDimitry Andric   IsEntryFunction = YamlMFI.IsEntryFunction;
7240b57cec5SDimitry Andric   NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath;
7250b57cec5SDimitry Andric   MemoryBound = YamlMFI.MemoryBound;
7260b57cec5SDimitry Andric   WaveLimiter = YamlMFI.WaveLimiter;
727e8d8bef9SDimitry Andric   HasSpilledSGPRs = YamlMFI.HasSpilledSGPRs;
728e8d8bef9SDimitry Andric   HasSpilledVGPRs = YamlMFI.HasSpilledVGPRs;
72981ad6265SDimitry Andric   BytesInStackArgArea = YamlMFI.BytesInStackArgArea;
73081ad6265SDimitry Andric   ReturnsVoid = YamlMFI.ReturnsVoid;
731fe6060f1SDimitry Andric 
732fe6060f1SDimitry Andric   if (YamlMFI.ScavengeFI) {
733fe6060f1SDimitry Andric     auto FIOrErr = YamlMFI.ScavengeFI->getFI(MF.getFrameInfo());
734fe6060f1SDimitry Andric     if (!FIOrErr) {
735fe6060f1SDimitry Andric       // Create a diagnostic for a the frame index.
736fe6060f1SDimitry Andric       const MemoryBuffer &Buffer =
737fe6060f1SDimitry Andric           *PFS.SM->getMemoryBuffer(PFS.SM->getMainFileID());
738fe6060f1SDimitry Andric 
739fe6060f1SDimitry Andric       Error = SMDiagnostic(*PFS.SM, SMLoc(), Buffer.getBufferIdentifier(), 1, 1,
740fe6060f1SDimitry Andric                            SourceMgr::DK_Error, toString(FIOrErr.takeError()),
741bdd1243dSDimitry Andric                            "", std::nullopt, std::nullopt);
742fe6060f1SDimitry Andric       SourceRange = YamlMFI.ScavengeFI->SourceRange;
743fe6060f1SDimitry Andric       return true;
744fe6060f1SDimitry Andric     }
745fe6060f1SDimitry Andric     ScavengeFI = *FIOrErr;
746fe6060f1SDimitry Andric   } else {
747bdd1243dSDimitry Andric     ScavengeFI = std::nullopt;
748fe6060f1SDimitry Andric   }
7490b57cec5SDimitry Andric   return false;
7500b57cec5SDimitry Andric }
7515ffd83dbSDimitry Andric 
mayUseAGPRs(const Function & F) const752bdd1243dSDimitry Andric bool SIMachineFunctionInfo::mayUseAGPRs(const Function &F) const {
753bdd1243dSDimitry Andric   for (const BasicBlock &BB : F) {
75481ad6265SDimitry Andric     for (const Instruction &I : BB) {
75581ad6265SDimitry Andric       const auto *CB = dyn_cast<CallBase>(&I);
75681ad6265SDimitry Andric       if (!CB)
75781ad6265SDimitry Andric         continue;
75881ad6265SDimitry Andric 
75981ad6265SDimitry Andric       if (CB->isInlineAsm()) {
76081ad6265SDimitry Andric         const InlineAsm *IA = dyn_cast<InlineAsm>(CB->getCalledOperand());
76181ad6265SDimitry Andric         for (const auto &CI : IA->ParseConstraints()) {
76281ad6265SDimitry Andric           for (StringRef Code : CI.Codes) {
76381ad6265SDimitry Andric             Code.consume_front("{");
764c9157d92SDimitry Andric             if (Code.starts_with("a"))
76581ad6265SDimitry Andric               return true;
76681ad6265SDimitry Andric           }
76781ad6265SDimitry Andric         }
76881ad6265SDimitry Andric         continue;
76981ad6265SDimitry Andric       }
77081ad6265SDimitry Andric 
77181ad6265SDimitry Andric       const Function *Callee =
77281ad6265SDimitry Andric           dyn_cast<Function>(CB->getCalledOperand()->stripPointerCasts());
77381ad6265SDimitry Andric       if (!Callee)
77481ad6265SDimitry Andric         return true;
77581ad6265SDimitry Andric 
77681ad6265SDimitry Andric       if (Callee->getIntrinsicID() == Intrinsic::not_intrinsic)
77781ad6265SDimitry Andric         return true;
77881ad6265SDimitry Andric     }
77981ad6265SDimitry Andric   }
78081ad6265SDimitry Andric 
78181ad6265SDimitry Andric   return false;
78281ad6265SDimitry Andric }
78381ad6265SDimitry Andric 
usesAGPRs(const MachineFunction & MF) const784349cc55cSDimitry Andric bool SIMachineFunctionInfo::usesAGPRs(const MachineFunction &MF) const {
785349cc55cSDimitry Andric   if (UsesAGPRs)
786349cc55cSDimitry Andric     return *UsesAGPRs;
787349cc55cSDimitry Andric 
78881ad6265SDimitry Andric   if (!mayNeedAGPRs()) {
78981ad6265SDimitry Andric     UsesAGPRs = false;
79081ad6265SDimitry Andric     return false;
79181ad6265SDimitry Andric   }
79281ad6265SDimitry Andric 
793349cc55cSDimitry Andric   if (!AMDGPU::isEntryFunctionCC(MF.getFunction().getCallingConv()) ||
794349cc55cSDimitry Andric       MF.getFrameInfo().hasCalls()) {
795349cc55cSDimitry Andric     UsesAGPRs = true;
796349cc55cSDimitry Andric     return true;
797349cc55cSDimitry Andric   }
798349cc55cSDimitry Andric 
799349cc55cSDimitry Andric   const MachineRegisterInfo &MRI = MF.getRegInfo();
800349cc55cSDimitry Andric 
801349cc55cSDimitry Andric   for (unsigned I = 0, E = MRI.getNumVirtRegs(); I != E; ++I) {
802349cc55cSDimitry Andric     const Register Reg = Register::index2VirtReg(I);
803349cc55cSDimitry Andric     const TargetRegisterClass *RC = MRI.getRegClassOrNull(Reg);
804349cc55cSDimitry Andric     if (RC && SIRegisterInfo::isAGPRClass(RC)) {
805349cc55cSDimitry Andric       UsesAGPRs = true;
806349cc55cSDimitry Andric       return true;
807349cc55cSDimitry Andric     } else if (!RC && !MRI.use_empty(Reg) && MRI.getType(Reg).isValid()) {
808349cc55cSDimitry Andric       // Defer caching UsesAGPRs, function might not yet been regbank selected.
809349cc55cSDimitry Andric       return true;
810349cc55cSDimitry Andric     }
811349cc55cSDimitry Andric   }
812349cc55cSDimitry Andric 
813349cc55cSDimitry Andric   for (MCRegister Reg : AMDGPU::AGPR_32RegClass) {
814349cc55cSDimitry Andric     if (MRI.isPhysRegUsed(Reg)) {
815349cc55cSDimitry Andric       UsesAGPRs = true;
816349cc55cSDimitry Andric       return true;
817349cc55cSDimitry Andric     }
818349cc55cSDimitry Andric   }
819349cc55cSDimitry Andric 
820349cc55cSDimitry Andric   UsesAGPRs = false;
821349cc55cSDimitry Andric   return false;
822349cc55cSDimitry Andric }
823