blob: 0c67b1467a5d2493226142e7511af6ff5ac78db8 [file] [log] [blame]
Eugene Zelenko59e12822017-08-08 00:47:13 +00001//===- SIMachineFunctionInfo.cpp - SI Machine Function Info ---------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Tom Stellard75aadc22012-12-11 21:25:42 +00006//
Tom Stellard75aadc22012-12-11 21:25:42 +00007//===----------------------------------------------------------------------===//
8
Tom Stellard75aadc22012-12-11 21:25:42 +00009#include "SIMachineFunctionInfo.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000010#include "AMDGPUArgumentUsageInfo.h"
Tom Stellard96468902014-09-24 01:33:17 +000011#include "AMDGPUSubtarget.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000012#include "SIRegisterInfo.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000013#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000014#include "Utils/AMDGPUBaseInfo.h"
15#include "llvm/ADT/Optional.h"
16#include "llvm/CodeGen/MachineBasicBlock.h"
Tom Stellardc5cf2f02014-08-21 20:40:54 +000017#include "llvm/CodeGen/MachineFrameInfo.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000018#include "llvm/CodeGen/MachineFunction.h"
Tom Stellardc149dc02013-11-27 21:23:35 +000019#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000020#include "llvm/IR/CallingConv.h"
Tom Stellardeba61072014-05-02 15:41:42 +000021#include "llvm/IR/Function.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000022#include <cassert>
23#include <vector>
Tom Stellardc149dc02013-11-27 21:23:35 +000024
25#define MAX_LANES 64
Tom Stellard75aadc22012-12-11 21:25:42 +000026
27using namespace llvm;
28
29SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF)
Vincent Lejeuneace6f732013-04-01 21:47:53 +000030 : AMDGPUMachineFunction(MF),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000031 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000032 DispatchPtr(false),
33 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000034 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000035 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000036 FlatScratchInit(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000037 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000038 WorkGroupIDY(false),
39 WorkGroupIDZ(false),
40 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000041 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000042 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000043 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000044 WorkItemIDZ(false),
Matt Arsenault817c2532017-08-03 23:12:44 +000045 ImplicitBufferPtr(false),
Tim Renouf13229152017-09-29 09:49:35 +000046 ImplicitArgPtr(false),
Matt Arsenault923712b2018-02-09 16:57:57 +000047 GITPtrHigh(0xffffffff),
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +000048 HighBitsOf32BitAddress(0),
49 GDSSize(0) {
Tom Stellard5bfbae52018-07-11 20:59:01 +000050 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matthias Braunf1caa282017-12-15 22:22:58 +000051 const Function &F = MF.getFunction();
52 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(F);
53 WavesPerEU = ST.getWavesPerEU(F);
Matt Arsenault49affb82015-11-25 20:55:12 +000054
Stanislav Mekhanoshin2594fa82019-07-31 01:07:10 +000055 Occupancy = ST.computeOccupancy(MF, getLDSSize());
Matt Arsenault4bec7d42018-07-20 09:05:08 +000056 CallingConv::ID CC = F.getCallingConv();
57
58 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
59 if (!F.arg_empty())
60 KernargSegmentPtr = true;
61 WorkGroupIDX = true;
62 WorkItemIDX = true;
63 } else if (CC == CallingConv::AMDGPU_PS) {
64 PSInputAddr = AMDGPU::getInitialPSInputAddr(F);
65 }
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +000066
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000067 if (!isEntryFunction()) {
68 // Non-entry functions have no special inputs for now, other registers
69 // required for scratch access.
70 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
Matt Arsenaultd88db6d2019-06-20 21:58:24 +000071 ScratchWaveOffsetReg = AMDGPU::SGPR33;
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000072
Matt Arsenaultacc9e1e2019-07-08 19:05:19 +000073 // TODO: Pick a high register, and shift down, similar to a kernel.
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000074 FrameOffsetReg = AMDGPU::SGPR34;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000075 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000076
Matt Arsenault8623e8d2017-08-03 23:00:29 +000077 ArgInfo.PrivateSegmentBuffer =
78 ArgDescriptor::createRegister(ScratchRSrcReg);
79 ArgInfo.PrivateSegmentWaveByteOffset =
80 ArgDescriptor::createRegister(ScratchWaveOffsetReg);
81
Matthias Braunf1caa282017-12-15 22:22:58 +000082 if (F.hasFnAttribute("amdgpu-implicitarg-ptr"))
Matt Arsenault9166ce82017-07-28 15:52:08 +000083 ImplicitArgPtr = true;
84 } else {
Matt Arsenault1ea04022018-05-29 19:35:00 +000085 if (F.hasFnAttribute("amdgpu-implicitarg-ptr")) {
Matt Arsenault9166ce82017-07-28 15:52:08 +000086 KernargSegmentPtr = true;
Matt Arsenault4bec7d42018-07-20 09:05:08 +000087 MaxKernArgAlign = std::max(ST.getAlignmentForImplicitArgPtr(),
88 MaxKernArgAlign);
Matt Arsenault1ea04022018-05-29 19:35:00 +000089 }
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000090 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000091
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000092 if (F.hasFnAttribute("amdgpu-work-group-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +000093 WorkGroupIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000094
95 if (F.hasFnAttribute("amdgpu-work-group-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +000096 WorkGroupIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000097
98 if (F.hasFnAttribute("amdgpu-work-group-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +000099 WorkGroupIDZ = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000100
101 if (F.hasFnAttribute("amdgpu-work-item-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000102 WorkItemIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000103
104 if (F.hasFnAttribute("amdgpu-work-item-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000105 WorkItemIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000106
107 if (F.hasFnAttribute("amdgpu-work-item-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000108 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000109
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000110 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000111 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000112
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000113 if (isEntryFunction()) {
114 // X, XY, and XYZ are the only supported combinations, so make sure Y is
115 // enabled if Z is.
116 if (WorkItemIDZ)
117 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000118
Scott Linderc6c62722018-10-31 18:54:06 +0000119 PrivateSegmentWaveByteOffset = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000120
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000121 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
122 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
123 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
Scott Linderc6c62722018-10-31 18:54:06 +0000124 ArgInfo.PrivateSegmentWaveByteOffset =
125 ArgDescriptor::createRegister(AMDGPU::SGPR5);
Marek Olsak584d2c02017-05-04 22:25:20 +0000126 }
127
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000128 bool isAmdHsaOrMesa = ST.isAmdHsaOrMesa(F);
129 if (isAmdHsaOrMesa) {
Scott Linderc6c62722018-10-31 18:54:06 +0000130 PrivateSegmentBuffer = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000131
Matthias Braunf1caa282017-12-15 22:22:58 +0000132 if (F.hasFnAttribute("amdgpu-dispatch-ptr"))
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000133 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000134
Matthias Braunf1caa282017-12-15 22:22:58 +0000135 if (F.hasFnAttribute("amdgpu-queue-ptr"))
Matt Arsenault48ab5262016-04-25 19:27:18 +0000136 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000137
Matthias Braunf1caa282017-12-15 22:22:58 +0000138 if (F.hasFnAttribute("amdgpu-dispatch-id"))
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000139 DispatchID = true;
Matt Arsenaultceafc552018-05-29 17:42:50 +0000140 } else if (ST.isMesaGfxShader(F)) {
Scott Linderc6c62722018-10-31 18:54:06 +0000141 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000142 }
143
Matthias Braunf1caa282017-12-15 22:22:58 +0000144 if (F.hasFnAttribute("amdgpu-kernarg-segment-ptr"))
Matt Arsenault23e4df62017-07-14 00:11:13 +0000145 KernargSegmentPtr = true;
146
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000147 if (ST.hasFlatAddressSpace() && isEntryFunction() && isAmdHsaOrMesa) {
Michael Liao7a9ad432019-07-04 13:29:45 +0000148 auto hasNonSpillStackObjects = [&]() {
149 // Avoid expensive checking if there's no stack objects.
150 if (!HasStackObjects)
151 return false;
152 for (auto OI = FrameInfo.getObjectIndexBegin(),
153 OE = FrameInfo.getObjectIndexEnd(); OI != OE; ++OI)
154 if (!FrameInfo.isSpillSlotObjectIndex(OI))
155 return true;
156 // All stack objects are spill slots.
157 return false;
158 };
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000159 // TODO: This could be refined a lot. The attribute is a poor way of
160 // detecting calls that may require it before argument lowering.
Michael Liao7a9ad432019-07-04 13:29:45 +0000161 if (hasNonSpillStackObjects() || F.hasFnAttribute("amdgpu-flat-scratch"))
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000162 FlatScratchInit = true;
163 }
Tim Renouf13229152017-09-29 09:49:35 +0000164
Matthias Braunf1caa282017-12-15 22:22:58 +0000165 Attribute A = F.getFnAttribute("amdgpu-git-ptr-high");
Tim Renouf13229152017-09-29 09:49:35 +0000166 StringRef S = A.getValueAsString();
167 if (!S.empty())
168 S.consumeInteger(0, GITPtrHigh);
Matt Arsenault923712b2018-02-09 16:57:57 +0000169
170 A = F.getFnAttribute("amdgpu-32bit-address-high-bits");
171 S = A.getValueAsString();
172 if (!S.empty())
173 S.consumeInteger(0, HighBitsOf32BitAddress);
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +0000174
175 S = F.getFnAttribute("amdgpu-gds-size").getValueAsString();
176 if (!S.empty())
177 S.consumeInteger(0, GDSSize);
Matt Arsenault49affb82015-11-25 20:55:12 +0000178}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000179
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000180void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) {
181 limitOccupancy(getMaxWavesPerEU());
Tom Stellard5bfbae52018-07-11 20:59:01 +0000182 const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>();
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000183 limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(),
184 MF.getFunction()));
185}
186
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000187unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
188 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000189 ArgInfo.PrivateSegmentBuffer =
190 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
Matt Arsenault12994a72019-10-10 07:11:33 +0000191 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SGPR_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000192 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000193 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000194}
195
196unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000197 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
198 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000199 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000200 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000201}
202
203unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000204 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
205 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000206 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000207 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000208}
209
210unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000211 ArgInfo.KernargSegmentPtr
212 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
213 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000214 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000215 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000216}
217
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000218unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000219 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
220 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000221 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000222 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000223}
224
Matt Arsenault296b8492016-02-12 06:31:30 +0000225unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000226 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
227 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000228 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000229 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000230}
231
Matt Arsenault10fc0622017-06-26 03:01:31 +0000232unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000233 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
234 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000235 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000236 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000237}
238
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000239static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
240 for (unsigned I = 0; CSRegs[I]; ++I) {
241 if (CSRegs[I] == Reg)
242 return true;
243 }
244
245 return false;
246}
247
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000248/// \p returns true if \p NumLanes slots are available in VGPRs already used for
249/// SGPR spilling.
250//
251// FIXME: This only works after processFunctionBeforeFrameFinalized
252bool SIMachineFunctionInfo::haveFreeLanesForSGPRSpill(const MachineFunction &MF,
253 unsigned NumNeed) const {
254 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
255 unsigned WaveSize = ST.getWavefrontSize();
256 return NumVGPRSpillLanes + NumNeed <= WaveSize * SpillVGPRs.size();
257}
258
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000259/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
260bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
261 int FI) {
262 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000263
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000264 // This has already been allocated.
265 if (!SpillLanes.empty())
266 return true;
267
Tom Stellard5bfbae52018-07-11 20:59:01 +0000268 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000269 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000270 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
271 MachineRegisterInfo &MRI = MF.getRegInfo();
272 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000273
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000274 unsigned Size = FrameInfo.getObjectSize(FI);
275 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
276 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000277
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000278 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000279
Matt Arsenaulte0b84432019-06-26 13:39:29 +0000280 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000281
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000282 // Make sure to handle the case where a wide SGPR spill may span between two
283 // VGPRs.
284 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
285 unsigned LaneVGPR;
286 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000287
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000288 if (VGPRIndex == 0) {
289 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
290 if (LaneVGPR == AMDGPU::NoRegister) {
Tim Renouf6cb007f2017-09-11 08:31:32 +0000291 // We have no VGPRs left for spilling SGPRs. Reset because we will not
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000292 // partially spill the SGPR to VGPRs.
293 SGPRToVGPRSpills.erase(FI);
294 NumVGPRSpillLanes -= I;
295 return false;
296 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000297
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000298 Optional<int> CSRSpillFI;
Matt Arsenault17f33382018-03-27 19:42:55 +0000299 if ((FrameInfo.hasCalls() || !isEntryFunction()) && CSRegs &&
300 isCalleeSavedReg(CSRegs, LaneVGPR)) {
301 CSRSpillFI = FrameInfo.CreateSpillStackObject(4, 4);
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000302 }
303
304 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000305
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000306 // Add this register as live-in to all blocks to avoid machine verifer
307 // complaining about use of an undefined physical register.
308 for (MachineBasicBlock &BB : MF)
309 BB.addLiveIn(LaneVGPR);
310 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000311 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000312 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000313
314 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000315 }
316
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000317 return true;
318}
319
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000320/// Reserve AGPRs or VGPRs to support spilling for FrameIndex \p FI.
321/// Either AGPR is spilled to VGPR to vice versa.
322/// Returns true if a \p FI can be eliminated completely.
323bool SIMachineFunctionInfo::allocateVGPRSpillToAGPR(MachineFunction &MF,
324 int FI,
325 bool isAGPRtoVGPR) {
326 MachineRegisterInfo &MRI = MF.getRegInfo();
327 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
328 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
329
330 assert(ST.hasMAIInsts() && FrameInfo.isSpillSlotObjectIndex(FI));
331
332 auto &Spill = VGPRToAGPRSpills[FI];
333
334 // This has already been allocated.
335 if (!Spill.Lanes.empty())
336 return Spill.FullyAllocated;
337
338 unsigned Size = FrameInfo.getObjectSize(FI);
339 unsigned NumLanes = Size / 4;
340 Spill.Lanes.resize(NumLanes, AMDGPU::NoRegister);
341
342 const TargetRegisterClass &RC =
343 isAGPRtoVGPR ? AMDGPU::VGPR_32RegClass : AMDGPU::AGPR_32RegClass;
344 auto Regs = RC.getRegisters();
345
346 auto &SpillRegs = isAGPRtoVGPR ? SpillAGPR : SpillVGPR;
347 const SIRegisterInfo *TRI = ST.getRegisterInfo();
348 Spill.FullyAllocated = true;
349
350 // FIXME: Move allocation logic out of MachineFunctionInfo and initialize
351 // once.
352 BitVector OtherUsedRegs;
353 OtherUsedRegs.resize(TRI->getNumRegs());
354
355 const uint32_t *CSRMask =
356 TRI->getCallPreservedMask(MF, MF.getFunction().getCallingConv());
357 if (CSRMask)
358 OtherUsedRegs.setBitsInMask(CSRMask);
359
360 // TODO: Should include register tuples, but doesn't matter with current
361 // usage.
362 for (MCPhysReg Reg : SpillAGPR)
363 OtherUsedRegs.set(Reg);
364 for (MCPhysReg Reg : SpillVGPR)
365 OtherUsedRegs.set(Reg);
366
367 SmallVectorImpl<MCPhysReg>::const_iterator NextSpillReg = Regs.begin();
368 for (unsigned I = 0; I < NumLanes; ++I) {
369 NextSpillReg = std::find_if(
370 NextSpillReg, Regs.end(), [&MRI, &OtherUsedRegs](MCPhysReg Reg) {
371 return MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg) &&
372 !OtherUsedRegs[Reg];
373 });
374
375 if (NextSpillReg == Regs.end()) { // Registers exhausted
376 Spill.FullyAllocated = false;
377 break;
378 }
379
380 OtherUsedRegs.set(*NextSpillReg);
381 SpillRegs.push_back(*NextSpillReg);
382 Spill.Lanes[I] = *NextSpillReg++;
383 }
384
385 return Spill.FullyAllocated;
386}
387
388void SIMachineFunctionInfo::removeDeadFrameIndices(MachineFrameInfo &MFI) {
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000389 // The FP spill hasn't been inserted yet, so keep it around.
390 for (auto &R : SGPRToVGPRSpills) {
391 if (R.first != FramePointerSaveIndex)
392 MFI.RemoveStackObject(R.first);
393 }
394
395 // All other SPGRs must be allocated on the default stack, so reset the stack
396 // ID.
397 for (int i = MFI.getObjectIndexBegin(), e = MFI.getObjectIndexEnd(); i != e;
398 ++i)
399 if (i != FramePointerSaveIndex)
400 MFI.setStackID(i, TargetStackID::Default);
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000401
402 for (auto &R : VGPRToAGPRSpills) {
403 if (R.second.FullyAllocated)
404 MFI.RemoveStackObject(R.first);
405 }
Tom Stellardc149dc02013-11-27 21:23:35 +0000406}
Tom Stellard44b30b42018-05-22 02:03:23 +0000407
Tom Stellard44b30b42018-05-22 02:03:23 +0000408MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const {
409 assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs");
410 return AMDGPU::SGPR0 + NumUserSGPRs;
411}
412
413MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const {
414 return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs;
415}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000416
417static yaml::StringValue regToString(unsigned Reg,
418 const TargetRegisterInfo &TRI) {
419 yaml::StringValue Dest;
Tim Renouf8723a562019-03-18 19:00:46 +0000420 {
421 raw_string_ostream OS(Dest.Value);
422 OS << printReg(Reg, &TRI);
423 }
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000424 return Dest;
425}
426
Michael Liao80177ca2019-07-03 02:00:21 +0000427static Optional<yaml::SIArgumentInfo>
428convertArgumentInfo(const AMDGPUFunctionArgInfo &ArgInfo,
429 const TargetRegisterInfo &TRI) {
430 yaml::SIArgumentInfo AI;
431
432 auto convertArg = [&](Optional<yaml::SIArgument> &A,
433 const ArgDescriptor &Arg) {
434 if (!Arg)
435 return false;
436
437 // Create a register or stack argument.
438 yaml::SIArgument SA = yaml::SIArgument::createArgument(Arg.isRegister());
439 if (Arg.isRegister()) {
440 raw_string_ostream OS(SA.RegisterName.Value);
441 OS << printReg(Arg.getRegister(), &TRI);
442 } else
443 SA.StackOffset = Arg.getStackOffset();
444 // Check and update the optional mask.
445 if (Arg.isMasked())
446 SA.Mask = Arg.getMask();
447
448 A = SA;
449 return true;
450 };
451
452 bool Any = false;
453 Any |= convertArg(AI.PrivateSegmentBuffer, ArgInfo.PrivateSegmentBuffer);
454 Any |= convertArg(AI.DispatchPtr, ArgInfo.DispatchPtr);
455 Any |= convertArg(AI.QueuePtr, ArgInfo.QueuePtr);
456 Any |= convertArg(AI.KernargSegmentPtr, ArgInfo.KernargSegmentPtr);
457 Any |= convertArg(AI.DispatchID, ArgInfo.DispatchID);
458 Any |= convertArg(AI.FlatScratchInit, ArgInfo.FlatScratchInit);
459 Any |= convertArg(AI.PrivateSegmentSize, ArgInfo.PrivateSegmentSize);
460 Any |= convertArg(AI.WorkGroupIDX, ArgInfo.WorkGroupIDX);
461 Any |= convertArg(AI.WorkGroupIDY, ArgInfo.WorkGroupIDY);
462 Any |= convertArg(AI.WorkGroupIDZ, ArgInfo.WorkGroupIDZ);
463 Any |= convertArg(AI.WorkGroupInfo, ArgInfo.WorkGroupInfo);
464 Any |= convertArg(AI.PrivateSegmentWaveByteOffset,
465 ArgInfo.PrivateSegmentWaveByteOffset);
466 Any |= convertArg(AI.ImplicitArgPtr, ArgInfo.ImplicitArgPtr);
467 Any |= convertArg(AI.ImplicitBufferPtr, ArgInfo.ImplicitBufferPtr);
468 Any |= convertArg(AI.WorkItemIDX, ArgInfo.WorkItemIDX);
469 Any |= convertArg(AI.WorkItemIDY, ArgInfo.WorkItemIDY);
470 Any |= convertArg(AI.WorkItemIDZ, ArgInfo.WorkItemIDZ);
471
472 if (Any)
473 return AI;
474
475 return None;
476}
477
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000478yaml::SIMachineFunctionInfo::SIMachineFunctionInfo(
479 const llvm::SIMachineFunctionInfo& MFI,
480 const TargetRegisterInfo &TRI)
481 : ExplicitKernArgSize(MFI.getExplicitKernArgSize()),
482 MaxKernArgAlign(MFI.getMaxKernArgAlign()),
483 LDSSize(MFI.getLDSSize()),
484 IsEntryFunction(MFI.isEntryFunction()),
485 NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()),
486 MemoryBound(MFI.isMemoryBound()),
487 WaveLimiter(MFI.needsWaveLimiter()),
Matt Arsenaultff076312019-08-27 18:18:38 +0000488 HighBitsOf32BitAddress(MFI.get32BitAddressHighBits()),
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000489 ScratchRSrcReg(regToString(MFI.getScratchRSrcReg(), TRI)),
490 ScratchWaveOffsetReg(regToString(MFI.getScratchWaveOffsetReg(), TRI)),
491 FrameOffsetReg(regToString(MFI.getFrameOffsetReg(), TRI)),
Michael Liao80177ca2019-07-03 02:00:21 +0000492 StackPtrOffsetReg(regToString(MFI.getStackPtrOffsetReg(), TRI)),
Matt Arsenault58426a32019-07-10 16:09:26 +0000493 ArgInfo(convertArgumentInfo(MFI.getArgInfo(), TRI)),
494 Mode(MFI.getMode()) {}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000495
496void yaml::SIMachineFunctionInfo::mappingImpl(yaml::IO &YamlIO) {
497 MappingTraits<SIMachineFunctionInfo>::mapping(YamlIO, *this);
498}
499
500bool SIMachineFunctionInfo::initializeBaseYamlFields(
501 const yaml::SIMachineFunctionInfo &YamlMFI) {
502 ExplicitKernArgSize = YamlMFI.ExplicitKernArgSize;
Guillaume Chateletb65fa482019-10-15 12:56:24 +0000503 MaxKernArgAlign = assumeAligned(YamlMFI.MaxKernArgAlign);
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000504 LDSSize = YamlMFI.LDSSize;
Matt Arsenaultff076312019-08-27 18:18:38 +0000505 HighBitsOf32BitAddress = YamlMFI.HighBitsOf32BitAddress;
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000506 IsEntryFunction = YamlMFI.IsEntryFunction;
507 NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath;
508 MemoryBound = YamlMFI.MemoryBound;
509 WaveLimiter = YamlMFI.WaveLimiter;
510 return false;
511}