blob: 58f4590daf9c4872b3beb9504aa0097af874406a [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 Mekhanoshin2594fa82019-07-31 01:07:10 +000056 Occupancy = ST.computeOccupancy(MF, getLDSSize());
Matt Arsenault4bec7d42018-07-20 09:05:08 +000057 CallingConv::ID CC = F.getCallingConv();
58
59 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
60 if (!F.arg_empty())
61 KernargSegmentPtr = true;
62 WorkGroupIDX = true;
63 WorkItemIDX = true;
64 } else if (CC == CallingConv::AMDGPU_PS) {
65 PSInputAddr = AMDGPU::getInitialPSInputAddr(F);
66 }
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +000067
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000068 if (!isEntryFunction()) {
69 // Non-entry functions have no special inputs for now, other registers
70 // required for scratch access.
71 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
Matt Arsenaultd88db6d2019-06-20 21:58:24 +000072 ScratchWaveOffsetReg = AMDGPU::SGPR33;
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000073
Matt Arsenaultacc9e1e2019-07-08 19:05:19 +000074 // TODO: Pick a high register, and shift down, similar to a kernel.
Matt Arsenault71dfb7e2019-07-08 19:03:38 +000075 FrameOffsetReg = AMDGPU::SGPR34;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000076 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000077
Matt Arsenault8623e8d2017-08-03 23:00:29 +000078 ArgInfo.PrivateSegmentBuffer =
79 ArgDescriptor::createRegister(ScratchRSrcReg);
80 ArgInfo.PrivateSegmentWaveByteOffset =
81 ArgDescriptor::createRegister(ScratchWaveOffsetReg);
82
Matthias Braunf1caa282017-12-15 22:22:58 +000083 if (F.hasFnAttribute("amdgpu-implicitarg-ptr"))
Matt Arsenault9166ce82017-07-28 15:52:08 +000084 ImplicitArgPtr = true;
85 } else {
Matt Arsenault1ea04022018-05-29 19:35:00 +000086 if (F.hasFnAttribute("amdgpu-implicitarg-ptr")) {
Matt Arsenault9166ce82017-07-28 15:52:08 +000087 KernargSegmentPtr = true;
Matt Arsenault4bec7d42018-07-20 09:05:08 +000088 MaxKernArgAlign = std::max(ST.getAlignmentForImplicitArgPtr(),
89 MaxKernArgAlign);
Matt Arsenault1ea04022018-05-29 19:35:00 +000090 }
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000091 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000092
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000093 if (F.hasFnAttribute("amdgpu-work-group-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +000094 WorkGroupIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000095
96 if (F.hasFnAttribute("amdgpu-work-group-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +000097 WorkGroupIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +000098
99 if (F.hasFnAttribute("amdgpu-work-group-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000100 WorkGroupIDZ = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000101
102 if (F.hasFnAttribute("amdgpu-work-item-id-x"))
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000103 WorkItemIDX = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000104
105 if (F.hasFnAttribute("amdgpu-work-item-id-y"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000106 WorkItemIDY = true;
Matt Arsenaultaa6fb4c2019-02-21 23:27:46 +0000107
108 if (F.hasFnAttribute("amdgpu-work-item-id-z"))
Matt Arsenault49affb82015-11-25 20:55:12 +0000109 WorkItemIDZ = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000110
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000111 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000112 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000113
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000114 if (isEntryFunction()) {
115 // X, XY, and XYZ are the only supported combinations, so make sure Y is
116 // enabled if Z is.
117 if (WorkItemIDZ)
118 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000119
Scott Linderc6c62722018-10-31 18:54:06 +0000120 PrivateSegmentWaveByteOffset = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000121
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000122 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
123 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
124 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
Scott Linderc6c62722018-10-31 18:54:06 +0000125 ArgInfo.PrivateSegmentWaveByteOffset =
126 ArgDescriptor::createRegister(AMDGPU::SGPR5);
Marek Olsak584d2c02017-05-04 22:25:20 +0000127 }
128
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000129 bool isAmdHsaOrMesa = ST.isAmdHsaOrMesa(F);
130 if (isAmdHsaOrMesa) {
Scott Linderc6c62722018-10-31 18:54:06 +0000131 PrivateSegmentBuffer = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000132
Matthias Braunf1caa282017-12-15 22:22:58 +0000133 if (F.hasFnAttribute("amdgpu-dispatch-ptr"))
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000134 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000135
Matthias Braunf1caa282017-12-15 22:22:58 +0000136 if (F.hasFnAttribute("amdgpu-queue-ptr"))
Matt Arsenault48ab5262016-04-25 19:27:18 +0000137 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000138
Matthias Braunf1caa282017-12-15 22:22:58 +0000139 if (F.hasFnAttribute("amdgpu-dispatch-id"))
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000140 DispatchID = true;
Matt Arsenaultceafc552018-05-29 17:42:50 +0000141 } else if (ST.isMesaGfxShader(F)) {
Scott Linderc6c62722018-10-31 18:54:06 +0000142 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000143 }
144
Matthias Braunf1caa282017-12-15 22:22:58 +0000145 if (F.hasFnAttribute("amdgpu-kernarg-segment-ptr"))
Matt Arsenault23e4df62017-07-14 00:11:13 +0000146 KernargSegmentPtr = true;
147
Konstantin Zhuravlyovaa067cb2018-10-04 21:02:16 +0000148 if (ST.hasFlatAddressSpace() && isEntryFunction() && isAmdHsaOrMesa) {
Michael Liao7a9ad432019-07-04 13:29:45 +0000149 auto hasNonSpillStackObjects = [&]() {
150 // Avoid expensive checking if there's no stack objects.
151 if (!HasStackObjects)
152 return false;
153 for (auto OI = FrameInfo.getObjectIndexBegin(),
154 OE = FrameInfo.getObjectIndexEnd(); OI != OE; ++OI)
155 if (!FrameInfo.isSpillSlotObjectIndex(OI))
156 return true;
157 // All stack objects are spill slots.
158 return false;
159 };
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000160 // TODO: This could be refined a lot. The attribute is a poor way of
161 // detecting calls that may require it before argument lowering.
Michael Liao7a9ad432019-07-04 13:29:45 +0000162 if (hasNonSpillStackObjects() || F.hasFnAttribute("amdgpu-flat-scratch"))
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000163 FlatScratchInit = true;
164 }
Tim Renouf13229152017-09-29 09:49:35 +0000165
Matthias Braunf1caa282017-12-15 22:22:58 +0000166 Attribute A = F.getFnAttribute("amdgpu-git-ptr-high");
Tim Renouf13229152017-09-29 09:49:35 +0000167 StringRef S = A.getValueAsString();
168 if (!S.empty())
169 S.consumeInteger(0, GITPtrHigh);
Matt Arsenault923712b2018-02-09 16:57:57 +0000170
171 A = F.getFnAttribute("amdgpu-32bit-address-high-bits");
172 S = A.getValueAsString();
173 if (!S.empty())
174 S.consumeInteger(0, HighBitsOf32BitAddress);
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +0000175
176 S = F.getFnAttribute("amdgpu-gds-size").getValueAsString();
177 if (!S.empty())
178 S.consumeInteger(0, GDSSize);
Matt Arsenault49affb82015-11-25 20:55:12 +0000179}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000180
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000181void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) {
182 limitOccupancy(getMaxWavesPerEU());
Tom Stellard5bfbae52018-07-11 20:59:01 +0000183 const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>();
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000184 limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(),
185 MF.getFunction()));
186}
187
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000188unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
189 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000190 ArgInfo.PrivateSegmentBuffer =
191 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
192 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000193 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000194 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000195}
196
197unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000198 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
199 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000200 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000201 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000202}
203
204unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000205 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
206 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000207 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000208 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000209}
210
211unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000212 ArgInfo.KernargSegmentPtr
213 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
214 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000215 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000216 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000217}
218
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000219unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000220 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
221 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000222 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000223 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000224}
225
Matt Arsenault296b8492016-02-12 06:31:30 +0000226unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000227 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
228 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000229 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000230 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000231}
232
Matt Arsenault10fc0622017-06-26 03:01:31 +0000233unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000234 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
235 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000236 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000237 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000238}
239
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000240static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
241 for (unsigned I = 0; CSRegs[I]; ++I) {
242 if (CSRegs[I] == Reg)
243 return true;
244 }
245
246 return false;
247}
248
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000249/// \p returns true if \p NumLanes slots are available in VGPRs already used for
250/// SGPR spilling.
251//
252// FIXME: This only works after processFunctionBeforeFrameFinalized
253bool SIMachineFunctionInfo::haveFreeLanesForSGPRSpill(const MachineFunction &MF,
254 unsigned NumNeed) const {
255 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
256 unsigned WaveSize = ST.getWavefrontSize();
257 return NumVGPRSpillLanes + NumNeed <= WaveSize * SpillVGPRs.size();
258}
259
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000260/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
261bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
262 int FI) {
263 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000264
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000265 // This has already been allocated.
266 if (!SpillLanes.empty())
267 return true;
268
Tom Stellard5bfbae52018-07-11 20:59:01 +0000269 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000270 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000271 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
272 MachineRegisterInfo &MRI = MF.getRegInfo();
273 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000274
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000275 unsigned Size = FrameInfo.getObjectSize(FI);
276 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
277 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000278
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000279 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000280
Matt Arsenaulte0b84432019-06-26 13:39:29 +0000281 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000282
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000283 // Make sure to handle the case where a wide SGPR spill may span between two
284 // VGPRs.
285 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
286 unsigned LaneVGPR;
287 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000288
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000289 if (VGPRIndex == 0) {
290 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
291 if (LaneVGPR == AMDGPU::NoRegister) {
Tim Renouf6cb007f2017-09-11 08:31:32 +0000292 // We have no VGPRs left for spilling SGPRs. Reset because we will not
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000293 // partially spill the SGPR to VGPRs.
294 SGPRToVGPRSpills.erase(FI);
295 NumVGPRSpillLanes -= I;
296 return false;
297 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000298
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000299 Optional<int> CSRSpillFI;
Matt Arsenault17f33382018-03-27 19:42:55 +0000300 if ((FrameInfo.hasCalls() || !isEntryFunction()) && CSRegs &&
301 isCalleeSavedReg(CSRegs, LaneVGPR)) {
302 CSRSpillFI = FrameInfo.CreateSpillStackObject(4, 4);
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000303 }
304
305 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000306
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000307 // Add this register as live-in to all blocks to avoid machine verifer
308 // complaining about use of an undefined physical register.
309 for (MachineBasicBlock &BB : MF)
310 BB.addLiveIn(LaneVGPR);
311 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000312 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000313 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000314
315 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000316 }
317
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000318 return true;
319}
320
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000321/// Reserve AGPRs or VGPRs to support spilling for FrameIndex \p FI.
322/// Either AGPR is spilled to VGPR to vice versa.
323/// Returns true if a \p FI can be eliminated completely.
324bool SIMachineFunctionInfo::allocateVGPRSpillToAGPR(MachineFunction &MF,
325 int FI,
326 bool isAGPRtoVGPR) {
327 MachineRegisterInfo &MRI = MF.getRegInfo();
328 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
329 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
330
331 assert(ST.hasMAIInsts() && FrameInfo.isSpillSlotObjectIndex(FI));
332
333 auto &Spill = VGPRToAGPRSpills[FI];
334
335 // This has already been allocated.
336 if (!Spill.Lanes.empty())
337 return Spill.FullyAllocated;
338
339 unsigned Size = FrameInfo.getObjectSize(FI);
340 unsigned NumLanes = Size / 4;
341 Spill.Lanes.resize(NumLanes, AMDGPU::NoRegister);
342
343 const TargetRegisterClass &RC =
344 isAGPRtoVGPR ? AMDGPU::VGPR_32RegClass : AMDGPU::AGPR_32RegClass;
345 auto Regs = RC.getRegisters();
346
347 auto &SpillRegs = isAGPRtoVGPR ? SpillAGPR : SpillVGPR;
348 const SIRegisterInfo *TRI = ST.getRegisterInfo();
349 Spill.FullyAllocated = true;
350
351 // FIXME: Move allocation logic out of MachineFunctionInfo and initialize
352 // once.
353 BitVector OtherUsedRegs;
354 OtherUsedRegs.resize(TRI->getNumRegs());
355
356 const uint32_t *CSRMask =
357 TRI->getCallPreservedMask(MF, MF.getFunction().getCallingConv());
358 if (CSRMask)
359 OtherUsedRegs.setBitsInMask(CSRMask);
360
361 // TODO: Should include register tuples, but doesn't matter with current
362 // usage.
363 for (MCPhysReg Reg : SpillAGPR)
364 OtherUsedRegs.set(Reg);
365 for (MCPhysReg Reg : SpillVGPR)
366 OtherUsedRegs.set(Reg);
367
368 SmallVectorImpl<MCPhysReg>::const_iterator NextSpillReg = Regs.begin();
369 for (unsigned I = 0; I < NumLanes; ++I) {
370 NextSpillReg = std::find_if(
371 NextSpillReg, Regs.end(), [&MRI, &OtherUsedRegs](MCPhysReg Reg) {
372 return MRI.isAllocatable(Reg) && !MRI.isPhysRegUsed(Reg) &&
373 !OtherUsedRegs[Reg];
374 });
375
376 if (NextSpillReg == Regs.end()) { // Registers exhausted
377 Spill.FullyAllocated = false;
378 break;
379 }
380
381 OtherUsedRegs.set(*NextSpillReg);
382 SpillRegs.push_back(*NextSpillReg);
383 Spill.Lanes[I] = *NextSpillReg++;
384 }
385
386 return Spill.FullyAllocated;
387}
388
389void SIMachineFunctionInfo::removeDeadFrameIndices(MachineFrameInfo &MFI) {
Matt Arsenault71dfb7e2019-07-08 19:03:38 +0000390 // The FP spill hasn't been inserted yet, so keep it around.
391 for (auto &R : SGPRToVGPRSpills) {
392 if (R.first != FramePointerSaveIndex)
393 MFI.RemoveStackObject(R.first);
394 }
395
396 // All other SPGRs must be allocated on the default stack, so reset the stack
397 // ID.
398 for (int i = MFI.getObjectIndexBegin(), e = MFI.getObjectIndexEnd(); i != e;
399 ++i)
400 if (i != FramePointerSaveIndex)
401 MFI.setStackID(i, TargetStackID::Default);
Stanislav Mekhanoshin937ff6e72019-07-11 21:54:13 +0000402
403 for (auto &R : VGPRToAGPRSpills) {
404 if (R.second.FullyAllocated)
405 MFI.RemoveStackObject(R.first);
406 }
Tom Stellardc149dc02013-11-27 21:23:35 +0000407}
Tom Stellard44b30b42018-05-22 02:03:23 +0000408
Tom Stellard44b30b42018-05-22 02:03:23 +0000409MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const {
410 assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs");
411 return AMDGPU::SGPR0 + NumUserSGPRs;
412}
413
414MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const {
415 return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs;
416}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000417
418static yaml::StringValue regToString(unsigned Reg,
419 const TargetRegisterInfo &TRI) {
420 yaml::StringValue Dest;
Tim Renouf8723a562019-03-18 19:00:46 +0000421 {
422 raw_string_ostream OS(Dest.Value);
423 OS << printReg(Reg, &TRI);
424 }
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000425 return Dest;
426}
427
Michael Liao80177ca2019-07-03 02:00:21 +0000428static Optional<yaml::SIArgumentInfo>
429convertArgumentInfo(const AMDGPUFunctionArgInfo &ArgInfo,
430 const TargetRegisterInfo &TRI) {
431 yaml::SIArgumentInfo AI;
432
433 auto convertArg = [&](Optional<yaml::SIArgument> &A,
434 const ArgDescriptor &Arg) {
435 if (!Arg)
436 return false;
437
438 // Create a register or stack argument.
439 yaml::SIArgument SA = yaml::SIArgument::createArgument(Arg.isRegister());
440 if (Arg.isRegister()) {
441 raw_string_ostream OS(SA.RegisterName.Value);
442 OS << printReg(Arg.getRegister(), &TRI);
443 } else
444 SA.StackOffset = Arg.getStackOffset();
445 // Check and update the optional mask.
446 if (Arg.isMasked())
447 SA.Mask = Arg.getMask();
448
449 A = SA;
450 return true;
451 };
452
453 bool Any = false;
454 Any |= convertArg(AI.PrivateSegmentBuffer, ArgInfo.PrivateSegmentBuffer);
455 Any |= convertArg(AI.DispatchPtr, ArgInfo.DispatchPtr);
456 Any |= convertArg(AI.QueuePtr, ArgInfo.QueuePtr);
457 Any |= convertArg(AI.KernargSegmentPtr, ArgInfo.KernargSegmentPtr);
458 Any |= convertArg(AI.DispatchID, ArgInfo.DispatchID);
459 Any |= convertArg(AI.FlatScratchInit, ArgInfo.FlatScratchInit);
460 Any |= convertArg(AI.PrivateSegmentSize, ArgInfo.PrivateSegmentSize);
461 Any |= convertArg(AI.WorkGroupIDX, ArgInfo.WorkGroupIDX);
462 Any |= convertArg(AI.WorkGroupIDY, ArgInfo.WorkGroupIDY);
463 Any |= convertArg(AI.WorkGroupIDZ, ArgInfo.WorkGroupIDZ);
464 Any |= convertArg(AI.WorkGroupInfo, ArgInfo.WorkGroupInfo);
465 Any |= convertArg(AI.PrivateSegmentWaveByteOffset,
466 ArgInfo.PrivateSegmentWaveByteOffset);
467 Any |= convertArg(AI.ImplicitArgPtr, ArgInfo.ImplicitArgPtr);
468 Any |= convertArg(AI.ImplicitBufferPtr, ArgInfo.ImplicitBufferPtr);
469 Any |= convertArg(AI.WorkItemIDX, ArgInfo.WorkItemIDX);
470 Any |= convertArg(AI.WorkItemIDY, ArgInfo.WorkItemIDY);
471 Any |= convertArg(AI.WorkItemIDZ, ArgInfo.WorkItemIDZ);
472
473 if (Any)
474 return AI;
475
476 return None;
477}
478
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000479yaml::SIMachineFunctionInfo::SIMachineFunctionInfo(
480 const llvm::SIMachineFunctionInfo& MFI,
481 const TargetRegisterInfo &TRI)
482 : ExplicitKernArgSize(MFI.getExplicitKernArgSize()),
483 MaxKernArgAlign(MFI.getMaxKernArgAlign()),
484 LDSSize(MFI.getLDSSize()),
485 IsEntryFunction(MFI.isEntryFunction()),
486 NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()),
487 MemoryBound(MFI.isMemoryBound()),
488 WaveLimiter(MFI.needsWaveLimiter()),
Matt Arsenaultff076312019-08-27 18:18:38 +0000489 HighBitsOf32BitAddress(MFI.get32BitAddressHighBits()),
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000490 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;
Matt Arsenaultff076312019-08-27 18:18:38 +0000506 HighBitsOf32BitAddress = YamlMFI.HighBitsOf32BitAddress;
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000507 IsEntryFunction = YamlMFI.IsEntryFunction;
508 NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath;
509 MemoryBound = YamlMFI.MemoryBound;
510 WaveLimiter = YamlMFI.WaveLimiter;
511 return false;
512}