blob: 46da974a2f455cc87f1fd7b20124c9a9c4109729 [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 Arsenault055e4dc2019-03-29 19:14:54 +000031 Mode(MF.getFunction()),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000032 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000033 DispatchPtr(false),
34 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000035 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000036 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000037 FlatScratchInit(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000038 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000039 WorkGroupIDY(false),
40 WorkGroupIDZ(false),
41 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000042 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000043 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000044 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000045 WorkItemIDZ(false),
Matt Arsenault817c2532017-08-03 23:12:44 +000046 ImplicitBufferPtr(false),
Tim Renouf13229152017-09-29 09:49:35 +000047 ImplicitArgPtr(false),
Matt Arsenault923712b2018-02-09 16:57:57 +000048 GITPtrHigh(0xffffffff),
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +000049 HighBitsOf32BitAddress(0),
50 GDSSize(0) {
Tom Stellard5bfbae52018-07-11 20:59:01 +000051 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matthias Braunf1caa282017-12-15 22:22:58 +000052 const Function &F = MF.getFunction();
53 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(F);
54 WavesPerEU = ST.getWavesPerEU(F);
Matt Arsenault49affb82015-11-25 20:55:12 +000055
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +000056 Occupancy = getMaxWavesPerEU();
57 limitOccupancy(MF);
Matt Arsenault4bec7d42018-07-20 09:05:08 +000058 CallingConv::ID CC = F.getCallingConv();
59
60 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
61 if (!F.arg_empty())
62 KernargSegmentPtr = true;
63 WorkGroupIDX = true;
64 WorkItemIDX = true;
65 } else if (CC == CallingConv::AMDGPU_PS) {
66 PSInputAddr = AMDGPU::getInitialPSInputAddr(F);
67 }
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +000068
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000069 if (!isEntryFunction()) {
70 // Non-entry functions have no special inputs for now, other registers
71 // required for scratch access.
72 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
Matt Arsenaultd88db6d2019-06-20 21:58:24 +000073 ScratchWaveOffsetReg = AMDGPU::SGPR33;
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000074
Matt Arsenaultacc9e1e2019-07-08 19:05:19 +000075 // TODO: Pick a high register, and shift down, similar to a kernel.
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000076 FrameOffsetReg = AMDGPU::SGPR34;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000077 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000078
Matt Arsenault8623e8d2017-08-03 23:00:29 +000079 ArgInfo.PrivateSegmentBuffer =
80 ArgDescriptor::createRegister(ScratchRSrcReg);
81 ArgInfo.PrivateSegmentWaveByteOffset =
82 ArgDescriptor::createRegister(ScratchWaveOffsetReg);
83
Matthias Braunf1caa282017-12-15 22:22:58 +000084 if (F.hasFnAttribute("amdgpu-implicitarg-ptr"))
Matt Arsenault9166ce82017-07-28 15:52:08 +000085 ImplicitArgPtr = true;
86 } else {
Matt Arsenault1ea04022018-05-29 19:35:00 +000087 if (F.hasFnAttribute("amdgpu-implicitarg-ptr")) {
Matt Arsenault9166ce82017-07-28 15:52:08 +000088 KernargSegmentPtr = true;
Matt Arsenault4bec7d42018-07-20 09:05:08 +000089 MaxKernArgAlign = std::max(ST.getAlignmentForImplicitArgPtr(),
90 MaxKernArgAlign);
Matt Arsenault1ea04022018-05-29 19:35:00 +000091 }
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000092 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000093
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000094 if (F.hasFnAttribute("amdgpu-work-group-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +000095 WorkGroupIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000096
97 if (F.hasFnAttribute("amdgpu-work-group-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +000098 WorkGroupIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000099
100 if (F.hasFnAttribute("amdgpu-work-group-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000101 WorkGroupIDZ = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000102
103 if (F.hasFnAttribute("amdgpu-work-item-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000104 WorkItemIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000105
106 if (F.hasFnAttribute("amdgpu-work-item-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000107 WorkItemIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000108
109 if (F.hasFnAttribute("amdgpu-work-item-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000110 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000111
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000112 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000113 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000114
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000115 if (isEntryFunction()) {
116 // X, XY, and XYZ are the only supported combinations, so make sure Y is
117 // enabled if Z is.
118 if (WorkItemIDZ)
119 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000120
Scott Linderc6c62722018-10-31 18:54:06 +0000121 PrivateSegmentWaveByteOffset = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000122
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000123 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
124 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
125 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
Scott Linderc6c62722018-10-31 18:54:06 +0000126 ArgInfo.PrivateSegmentWaveByteOffset =
127 ArgDescriptor::createRegister(AMDGPU::SGPR5);
Marek Olsak584d2c02017-05-04 22:25:20 +0000128 }
129
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000130 bool isAmdHsaOrMesa = ST.isAmdHsaOrMesa(F);
131 if (isAmdHsaOrMesa) {
Scott Linderc6c62722018-10-31 18:54:06 +0000132 PrivateSegmentBuffer = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000133
Matthias Braunf1caa282017-12-15 22:22:58 +0000134 if (F.hasFnAttribute("amdgpu-dispatch-ptr"))
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000135 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000136
Matthias Braunf1caa282017-12-15 22:22:58 +0000137 if (F.hasFnAttribute("amdgpu-queue-ptr"))
Matt Arsenault48ab5262016-04-25 19:27:18 +0000138 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000139
Matthias Braunf1caa282017-12-15 22:22:58 +0000140 if (F.hasFnAttribute("amdgpu-dispatch-id"))
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000141 DispatchID = true;
Matt Arsenaultceafc552018-05-29 17:42:50 +0000142 } else if (ST.isMesaGfxShader(F)) {
Scott Linderc6c62722018-10-31 18:54:06 +0000143 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000144 }
145
Matthias Braunf1caa282017-12-15 22:22:58 +0000146 if (F.hasFnAttribute("amdgpu-kernarg-segment-ptr"))
Matt Arsenault23e4df62017-07-14 00:11:13 +0000147 KernargSegmentPtr = true;
148
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000149 if (ST.hasFlatAddressSpace() && isEntryFunction() && isAmdHsaOrMesa) {
Michael Liao7a9ad432019-07-04 13:29:45 +0000150 auto hasNonSpillStackObjects = [&]() {
151 // Avoid expensive checking if there's no stack objects.
152 if (!HasStackObjects)
153 return false;
154 for (auto OI = FrameInfo.getObjectIndexBegin(),
155 OE = FrameInfo.getObjectIndexEnd(); OI != OE; ++OI)
156 if (!FrameInfo.isSpillSlotObjectIndex(OI))
157 return true;
158 // All stack objects are spill slots.
159 return false;
160 };
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000161 // TODO: This could be refined a lot. The attribute is a poor way of
162 // detecting calls that may require it before argument lowering.
Michael Liao7a9ad432019-07-04 13:29:45 +0000163 if (hasNonSpillStackObjects() || F.hasFnAttribute("amdgpu-flat-scratch"))
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000164 FlatScratchInit = true;
165 }
Tim Renouf13229152017-09-29 09:49:35 +0000166
Matthias Braunf1caa282017-12-15 22:22:58 +0000167 Attribute A = F.getFnAttribute("amdgpu-git-ptr-high");
Tim Renouf13229152017-09-29 09:49:35 +0000168 StringRef S = A.getValueAsString();
169 if (!S.empty())
170 S.consumeInteger(0, GITPtrHigh);
Matt Arsenault923712b2018-02-09 16:57:57 +0000171
172 A = F.getFnAttribute("amdgpu-32bit-address-high-bits");
173 S = A.getValueAsString();
174 if (!S.empty())
175 S.consumeInteger(0, HighBitsOf32BitAddress);
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +0000176
177 S = F.getFnAttribute("amdgpu-gds-size").getValueAsString();
178 if (!S.empty())
179 S.consumeInteger(0, GDSSize);
Matt Arsenault49affb82015-11-25 20:55:12 +0000180}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000181
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000182void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) {
183 limitOccupancy(getMaxWavesPerEU());
Tom Stellard5bfbae52018-07-11 20:59:01 +0000184 const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>();
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000185 limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(),
186 MF.getFunction()));
187}
188
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000189unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
190 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000191 ArgInfo.PrivateSegmentBuffer =
192 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
193 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000194 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000195 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000196}
197
198unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000199 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
200 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000201 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000202 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000203}
204
205unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000206 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
207 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000208 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000209 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000210}
211
212unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000213 ArgInfo.KernargSegmentPtr
214 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
215 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000216 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000217 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000218}
219
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000220unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000221 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
222 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000223 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000224 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000225}
226
Matt Arsenault296b8492016-02-12 06:31:30 +0000227unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000228 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
229 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000230 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000231 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000232}
233
Matt Arsenault10fc0622017-06-26 03:01:31 +0000234unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000235 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
236 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000237 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000238 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000239}
240
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000241static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
242 for (unsigned I = 0; CSRegs[I]; ++I) {
243 if (CSRegs[I] == Reg)
244 return true;
245 }
246
247 return false;
248}
249
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000250/// \p returns true if \p NumLanes slots are available in VGPRs already used for
251/// SGPR spilling.
252//
253// FIXME: This only works after processFunctionBeforeFrameFinalized
254bool SIMachineFunctionInfo::haveFreeLanesForSGPRSpill(const MachineFunction &MF,
255 unsigned NumNeed) const {
256 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
257 unsigned WaveSize = ST.getWavefrontSize();
258 return NumVGPRSpillLanes + NumNeed <= WaveSize * SpillVGPRs.size();
259}
260
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000261/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
262bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
263 int FI) {
264 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000265
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000266 // This has already been allocated.
267 if (!SpillLanes.empty())
268 return true;
269
Tom Stellard5bfbae52018-07-11 20:59:01 +0000270 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000271 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000272 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
273 MachineRegisterInfo &MRI = MF.getRegInfo();
274 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000275
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000276 unsigned Size = FrameInfo.getObjectSize(FI);
277 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
278 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000279
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000280 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000281
Matt Arsenaulte0b84432019-06-26 13:39:29 +0000282 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000283
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000284 // Make sure to handle the case where a wide SGPR spill may span between two
285 // VGPRs.
286 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
287 unsigned LaneVGPR;
288 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000289
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000290 if (VGPRIndex == 0) {
291 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
292 if (LaneVGPR == AMDGPU::NoRegister) {
Tim Renouf6cb007f2017-09-11 08:31:32 +0000293 // We have no VGPRs left for spilling SGPRs. Reset because we will not
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000294 // partially spill the SGPR to VGPRs.
295 SGPRToVGPRSpills.erase(FI);
296 NumVGPRSpillLanes -= I;
297 return false;
298 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000299
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000300 Optional<int> CSRSpillFI;
Matt Arsenault17f33382018-03-27 19:42:55 +0000301 if ((FrameInfo.hasCalls() || !isEntryFunction()) && CSRegs &&
302 isCalleeSavedReg(CSRegs, LaneVGPR)) {
303 CSRSpillFI = FrameInfo.CreateSpillStackObject(4, 4);
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000304 }
305
306 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000307
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000308 // Add this register as live-in to all blocks to avoid machine verifer
309 // complaining about use of an undefined physical register.
310 for (MachineBasicBlock &BB : MF)
311 BB.addLiveIn(LaneVGPR);
312 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000313 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000314 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000315
316 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000317 }
318
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000319 return true;
320}
321
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000322/// Reserve AGPRs or VGPRs to support spilling for FrameIndex \p FI.
323/// Either AGPR is spilled to VGPR to vice versa.
324/// Returns true if a \p FI can be eliminated completely.
325bool SIMachineFunctionInfo::allocateVGPRSpillToAGPR(MachineFunction &MF,
326 int FI,
327 bool isAGPRtoVGPR) {
328 MachineRegisterInfo &MRI = MF.getRegInfo();
329 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
330 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
331
332 assert(ST.hasMAIInsts() && FrameInfo.isSpillSlotObjectIndex(FI));
333
334 auto &Spill = VGPRToAGPRSpills[FI];
335
336 // This has already been allocated.
337 if (!Spill.Lanes.empty())
338 return Spill.FullyAllocated;
339
340 unsigned Size = FrameInfo.getObjectSize(FI);
341 unsigned NumLanes = Size / 4;
342 Spill.Lanes.resize(NumLanes, AMDGPU::NoRegister);
343
344 const TargetRegisterClass &RC =
345 isAGPRtoVGPR ? AMDGPU::VGPR_32RegClass : AMDGPU::AGPR_32RegClass;
346 auto Regs = RC.getRegisters();
347
348 auto &SpillRegs = isAGPRtoVGPR ? SpillAGPR : SpillVGPR;
349 const SIRegisterInfo *TRI = ST.getRegisterInfo();
350 Spill.FullyAllocated = true;
351
352 // FIXME: Move allocation logic out of MachineFunctionInfo and initialize
353 // once.
354 BitVector OtherUsedRegs;
355 OtherUsedRegs.resize(TRI->getNumRegs());
356
357 const uint32_t *CSRMask =
358 TRI->getCallPreservedMask(MF, MF.getFunction().getCallingConv());
359 if (CSRMask)
360 OtherUsedRegs.setBitsInMask(CSRMask);
361
362 // TODO: Should include register tuples, but doesn't matter with current
363 // usage.
364 for (MCPhysReg Reg : SpillAGPR)
365 OtherUsedRegs.set(Reg);
366 for (MCPhysReg Reg : SpillVGPR)
367 OtherUsedRegs.set(Reg);
368
369 SmallVectorImpl<MCPhysReg>::const_iterator NextSpillReg = Regs.begin();
370 for (unsigned I = 0; I < NumLanes; ++I) {
371 NextSpillReg = std::find_if(
372 NextSpillReg, Regs.end(), [&MRI, &OtherUsedRegs](MCPhysReg Reg) {
373 return MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg) &&
374 !OtherUsedRegs[Reg];
375 });
376
377 if (NextSpillReg == Regs.end()) { // Registers exhausted
378 Spill.FullyAllocated = false;
379 break;
380 }
381
382 OtherUsedRegs.set(*NextSpillReg);
383 SpillRegs.push_back(*NextSpillReg);
384 Spill.Lanes[I] = *NextSpillReg++;
385 }
386
387 return Spill.FullyAllocated;
388}
389
390void SIMachineFunctionInfo::removeDeadFrameIndices(MachineFrameInfo &MFI) {
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000391 // The FP spill hasn't been inserted yet, so keep it around.
392 for (auto &R : SGPRToVGPRSpills) {
393 if (R.first != FramePointerSaveIndex)
394 MFI.RemoveStackObject(R.first);
395 }
396
397 // All other SPGRs must be allocated on the default stack, so reset the stack
398 // ID.
399 for (int i = MFI.getObjectIndexBegin(), e = MFI.getObjectIndexEnd(); i != e;
400 ++i)
401 if (i != FramePointerSaveIndex)
402 MFI.setStackID(i, TargetStackID::Default);
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000403
404 for (auto &R : VGPRToAGPRSpills) {
405 if (R.second.FullyAllocated)
406 MFI.RemoveStackObject(R.first);
407 }
Tom Stellardc149dc02013-11-27 21:23:35 +0000408}
Tom Stellard44b30b42018-05-22 02:03:23 +0000409
Tom Stellard44b30b42018-05-22 02:03:23 +0000410MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const {
411 assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs");
412 return AMDGPU::SGPR0 + NumUserSGPRs;
413}
414
415MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const {
416 return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs;
417}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000418
419static yaml::StringValue regToString(unsigned Reg,
420 const TargetRegisterInfo &TRI) {
421 yaml::StringValue Dest;
Tim Renouf8723a562019-03-18 19:00:46 +0000422 {
423 raw_string_ostream OS(Dest.Value);
424 OS << printReg(Reg, &TRI);
425 }
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000426 return Dest;
427}
428
Michael Liao80177ca2019-07-03 02:00:21 +0000429static Optional<yaml::SIArgumentInfo>
430convertArgumentInfo(const AMDGPUFunctionArgInfo &ArgInfo,
431 const TargetRegisterInfo &TRI) {
432 yaml::SIArgumentInfo AI;
433
434 auto convertArg = [&](Optional<yaml::SIArgument> &A,
435 const ArgDescriptor &Arg) {
436 if (!Arg)
437 return false;
438
439 // Create a register or stack argument.
440 yaml::SIArgument SA = yaml::SIArgument::createArgument(Arg.isRegister());
441 if (Arg.isRegister()) {
442 raw_string_ostream OS(SA.RegisterName.Value);
443 OS << printReg(Arg.getRegister(), &TRI);
444 } else
445 SA.StackOffset = Arg.getStackOffset();
446 // Check and update the optional mask.
447 if (Arg.isMasked())
448 SA.Mask = Arg.getMask();
449
450 A = SA;
451 return true;
452 };
453
454 bool Any = false;
455 Any |= convertArg(AI.PrivateSegmentBuffer, ArgInfo.PrivateSegmentBuffer);
456 Any |= convertArg(AI.DispatchPtr, ArgInfo.DispatchPtr);
457 Any |= convertArg(AI.QueuePtr, ArgInfo.QueuePtr);
458 Any |= convertArg(AI.KernargSegmentPtr, ArgInfo.KernargSegmentPtr);
459 Any |= convertArg(AI.DispatchID, ArgInfo.DispatchID);
460 Any |= convertArg(AI.FlatScratchInit, ArgInfo.FlatScratchInit);
461 Any |= convertArg(AI.PrivateSegmentSize, ArgInfo.PrivateSegmentSize);
462 Any |= convertArg(AI.WorkGroupIDX, ArgInfo.WorkGroupIDX);
463 Any |= convertArg(AI.WorkGroupIDY, ArgInfo.WorkGroupIDY);
464 Any |= convertArg(AI.WorkGroupIDZ, ArgInfo.WorkGroupIDZ);
465 Any |= convertArg(AI.WorkGroupInfo, ArgInfo.WorkGroupInfo);
466 Any |= convertArg(AI.PrivateSegmentWaveByteOffset,
467 ArgInfo.PrivateSegmentWaveByteOffset);
468 Any |= convertArg(AI.ImplicitArgPtr, ArgInfo.ImplicitArgPtr);
469 Any |= convertArg(AI.ImplicitBufferPtr, ArgInfo.ImplicitBufferPtr);
470 Any |= convertArg(AI.WorkItemIDX, ArgInfo.WorkItemIDX);
471 Any |= convertArg(AI.WorkItemIDY, ArgInfo.WorkItemIDY);
472 Any |= convertArg(AI.WorkItemIDZ, ArgInfo.WorkItemIDZ);
473
474 if (Any)
475 return AI;
476
477 return None;
478}
479
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000480yaml::SIMachineFunctionInfo::SIMachineFunctionInfo(
481 const llvm::SIMachineFunctionInfo& MFI,
482 const TargetRegisterInfo &TRI)
483 : ExplicitKernArgSize(MFI.getExplicitKernArgSize()),
484 MaxKernArgAlign(MFI.getMaxKernArgAlign()),
485 LDSSize(MFI.getLDSSize()),
486 IsEntryFunction(MFI.isEntryFunction()),
487 NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()),
488 MemoryBound(MFI.isMemoryBound()),
489 WaveLimiter(MFI.needsWaveLimiter()),
490 ScratchRSrcReg(regToString(MFI.getScratchRSrcReg(), TRI)),
491 ScratchWaveOffsetReg(regToString(MFI.getScratchWaveOffsetReg(), TRI)),
492 FrameOffsetReg(regToString(MFI.getFrameOffsetReg(), TRI)),
Michael Liao80177ca2019-07-03 02:00:21 +0000493 StackPtrOffsetReg(regToString(MFI.getStackPtrOffsetReg(), TRI)),
Matt Arsenault58426a32019-07-10 16:09:26 +0000494 ArgInfo(convertArgumentInfo(MFI.getArgInfo(), TRI)),
495 Mode(MFI.getMode()) {}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000496
497void yaml::SIMachineFunctionInfo::mappingImpl(yaml::IO &YamlIO) {
498 MappingTraits<SIMachineFunctionInfo>::mapping(YamlIO, *this);
499}
500
501bool SIMachineFunctionInfo::initializeBaseYamlFields(
502 const yaml::SIMachineFunctionInfo &YamlMFI) {
503 ExplicitKernArgSize = YamlMFI.ExplicitKernArgSize;
504 MaxKernArgAlign = YamlMFI.MaxKernArgAlign;
505 LDSSize = YamlMFI.LDSSize;
506 IsEntryFunction = YamlMFI.IsEntryFunction;
507 NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath;
508 MemoryBound = YamlMFI.MemoryBound;
509 WaveLimiter = YamlMFI.WaveLimiter;
510 return false;
511}