blob: f7d61725110fa67df24821b2029b340b8e03f808 [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 Arsenault2b1f9aa2017-05-17 21:56:25 +000074 FrameOffsetReg = AMDGPU::SGPR5;
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) {
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000148 // TODO: This could be refined a lot. The attribute is a poor way of
149 // detecting calls that may require it before argument lowering.
Matthias Braunf1caa282017-12-15 22:22:58 +0000150 if (HasStackObjects || F.hasFnAttribute("amdgpu-flat-scratch"))
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000151 FlatScratchInit = true;
152 }
Tim Renouf13229152017-09-29 09:49:35 +0000153
Matthias Braunf1caa282017-12-15 22:22:58 +0000154 Attribute A = F.getFnAttribute("amdgpu-git-ptr-high");
Tim Renouf13229152017-09-29 09:49:35 +0000155 StringRef S = A.getValueAsString();
156 if (!S.empty())
157 S.consumeInteger(0, GITPtrHigh);
Matt Arsenault923712b2018-02-09 16:57:57 +0000158
159 A = F.getFnAttribute("amdgpu-32bit-address-high-bits");
160 S = A.getValueAsString();
161 if (!S.empty())
162 S.consumeInteger(0, HighBitsOf32BitAddress);
Nicolai Haehnle4dc3b2b2019-07-01 17:17:45 +0000163
164 S = F.getFnAttribute("amdgpu-gds-size").getValueAsString();
165 if (!S.empty())
166 S.consumeInteger(0, GDSSize);
Matt Arsenault49affb82015-11-25 20:55:12 +0000167}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000168
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000169void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) {
170 limitOccupancy(getMaxWavesPerEU());
Tom Stellard5bfbae52018-07-11 20:59:01 +0000171 const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>();
Stanislav Mekhanoshind4b500c2018-05-31 05:36:04 +0000172 limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(),
173 MF.getFunction()));
174}
175
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000176unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
177 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000178 ArgInfo.PrivateSegmentBuffer =
179 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
180 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000181 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000182 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000183}
184
185unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000186 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
187 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000188 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000189 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000190}
191
192unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000193 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
194 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000195 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000196 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000197}
198
199unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000200 ArgInfo.KernargSegmentPtr
201 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
202 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000203 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000204 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000205}
206
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000207unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000208 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
209 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000210 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000211 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000212}
213
Matt Arsenault296b8492016-02-12 06:31:30 +0000214unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000215 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
216 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000217 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000218 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000219}
220
Matt Arsenault10fc0622017-06-26 03:01:31 +0000221unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000222 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
223 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000224 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000225 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000226}
227
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000228static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
229 for (unsigned I = 0; CSRegs[I]; ++I) {
230 if (CSRegs[I] == Reg)
231 return true;
232 }
233
234 return false;
235}
236
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000237/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
238bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
239 int FI) {
240 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000241
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000242 // This has already been allocated.
243 if (!SpillLanes.empty())
244 return true;
245
Tom Stellard5bfbae52018-07-11 20:59:01 +0000246 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000247 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000248 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
249 MachineRegisterInfo &MRI = MF.getRegInfo();
250 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000251
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000252 unsigned Size = FrameInfo.getObjectSize(FI);
253 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
254 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000255
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000256 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000257
Matt Arsenaulte0b84432019-06-26 13:39:29 +0000258 const MCPhysReg *CSRegs = MRI.getCalleeSavedRegs();
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000259
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000260 // Make sure to handle the case where a wide SGPR spill may span between two
261 // VGPRs.
262 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
263 unsigned LaneVGPR;
264 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000265
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000266 if (VGPRIndex == 0) {
267 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
268 if (LaneVGPR == AMDGPU::NoRegister) {
Tim Renouf6cb007f2017-09-11 08:31:32 +0000269 // We have no VGPRs left for spilling SGPRs. Reset because we will not
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000270 // partially spill the SGPR to VGPRs.
271 SGPRToVGPRSpills.erase(FI);
272 NumVGPRSpillLanes -= I;
273 return false;
274 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000275
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000276 Optional<int> CSRSpillFI;
Matt Arsenault17f33382018-03-27 19:42:55 +0000277 if ((FrameInfo.hasCalls() || !isEntryFunction()) && CSRegs &&
278 isCalleeSavedReg(CSRegs, LaneVGPR)) {
279 CSRSpillFI = FrameInfo.CreateSpillStackObject(4, 4);
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000280 }
281
282 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000283
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000284 // Add this register as live-in to all blocks to avoid machine verifer
285 // complaining about use of an undefined physical register.
286 for (MachineBasicBlock &BB : MF)
287 BB.addLiveIn(LaneVGPR);
288 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000289 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000290 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000291
292 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000293 }
294
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000295 return true;
296}
297
298void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
299 for (auto &R : SGPRToVGPRSpills)
300 MFI.RemoveStackObject(R.first);
Sander de Smalen7f23e0a2019-04-02 09:46:52 +0000301 // All other SPGRs must be allocated on the default stack, so reset
302 // the stack ID.
303 for (unsigned i = MFI.getObjectIndexBegin(), e = MFI.getObjectIndexEnd();
304 i != e; ++i)
305 MFI.setStackID(i, 0);
Tom Stellardc149dc02013-11-27 21:23:35 +0000306}
Tom Stellard44b30b42018-05-22 02:03:23 +0000307
Tom Stellard44b30b42018-05-22 02:03:23 +0000308MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const {
309 assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs");
310 return AMDGPU::SGPR0 + NumUserSGPRs;
311}
312
313MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const {
314 return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs;
315}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000316
317static yaml::StringValue regToString(unsigned Reg,
318 const TargetRegisterInfo &TRI) {
319 yaml::StringValue Dest;
Tim Renouf8723a562019-03-18 19:00:46 +0000320 {
321 raw_string_ostream OS(Dest.Value);
322 OS << printReg(Reg, &TRI);
323 }
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000324 return Dest;
325}
326
Michael Liao80177ca2019-07-03 02:00:21 +0000327static Optional<yaml::SIArgumentInfo>
328convertArgumentInfo(const AMDGPUFunctionArgInfo &ArgInfo,
329 const TargetRegisterInfo &TRI) {
330 yaml::SIArgumentInfo AI;
331
332 auto convertArg = [&](Optional<yaml::SIArgument> &A,
333 const ArgDescriptor &Arg) {
334 if (!Arg)
335 return false;
336
337 // Create a register or stack argument.
338 yaml::SIArgument SA = yaml::SIArgument::createArgument(Arg.isRegister());
339 if (Arg.isRegister()) {
340 raw_string_ostream OS(SA.RegisterName.Value);
341 OS << printReg(Arg.getRegister(), &TRI);
342 } else
343 SA.StackOffset = Arg.getStackOffset();
344 // Check and update the optional mask.
345 if (Arg.isMasked())
346 SA.Mask = Arg.getMask();
347
348 A = SA;
349 return true;
350 };
351
352 bool Any = false;
353 Any |= convertArg(AI.PrivateSegmentBuffer, ArgInfo.PrivateSegmentBuffer);
354 Any |= convertArg(AI.DispatchPtr, ArgInfo.DispatchPtr);
355 Any |= convertArg(AI.QueuePtr, ArgInfo.QueuePtr);
356 Any |= convertArg(AI.KernargSegmentPtr, ArgInfo.KernargSegmentPtr);
357 Any |= convertArg(AI.DispatchID, ArgInfo.DispatchID);
358 Any |= convertArg(AI.FlatScratchInit, ArgInfo.FlatScratchInit);
359 Any |= convertArg(AI.PrivateSegmentSize, ArgInfo.PrivateSegmentSize);
360 Any |= convertArg(AI.WorkGroupIDX, ArgInfo.WorkGroupIDX);
361 Any |= convertArg(AI.WorkGroupIDY, ArgInfo.WorkGroupIDY);
362 Any |= convertArg(AI.WorkGroupIDZ, ArgInfo.WorkGroupIDZ);
363 Any |= convertArg(AI.WorkGroupInfo, ArgInfo.WorkGroupInfo);
364 Any |= convertArg(AI.PrivateSegmentWaveByteOffset,
365 ArgInfo.PrivateSegmentWaveByteOffset);
366 Any |= convertArg(AI.ImplicitArgPtr, ArgInfo.ImplicitArgPtr);
367 Any |= convertArg(AI.ImplicitBufferPtr, ArgInfo.ImplicitBufferPtr);
368 Any |= convertArg(AI.WorkItemIDX, ArgInfo.WorkItemIDX);
369 Any |= convertArg(AI.WorkItemIDY, ArgInfo.WorkItemIDY);
370 Any |= convertArg(AI.WorkItemIDZ, ArgInfo.WorkItemIDZ);
371
372 if (Any)
373 return AI;
374
375 return None;
376}
377
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000378yaml::SIMachineFunctionInfo::SIMachineFunctionInfo(
379 const llvm::SIMachineFunctionInfo& MFI,
380 const TargetRegisterInfo &TRI)
381 : ExplicitKernArgSize(MFI.getExplicitKernArgSize()),
382 MaxKernArgAlign(MFI.getMaxKernArgAlign()),
383 LDSSize(MFI.getLDSSize()),
384 IsEntryFunction(MFI.isEntryFunction()),
385 NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()),
386 MemoryBound(MFI.isMemoryBound()),
387 WaveLimiter(MFI.needsWaveLimiter()),
388 ScratchRSrcReg(regToString(MFI.getScratchRSrcReg(), TRI)),
389 ScratchWaveOffsetReg(regToString(MFI.getScratchWaveOffsetReg(), TRI)),
390 FrameOffsetReg(regToString(MFI.getFrameOffsetReg(), TRI)),
Michael Liao80177ca2019-07-03 02:00:21 +0000391 StackPtrOffsetReg(regToString(MFI.getStackPtrOffsetReg(), TRI)),
392 ArgInfo(convertArgumentInfo(MFI.getArgInfo(), TRI)) {}
Matt Arsenaultbc6d07c2019-03-14 22:54:43 +0000393
394void yaml::SIMachineFunctionInfo::mappingImpl(yaml::IO &YamlIO) {
395 MappingTraits<SIMachineFunctionInfo>::mapping(YamlIO, *this);
396}
397
398bool SIMachineFunctionInfo::initializeBaseYamlFields(
399 const yaml::SIMachineFunctionInfo &YamlMFI) {
400 ExplicitKernArgSize = YamlMFI.ExplicitKernArgSize;
401 MaxKernArgAlign = YamlMFI.MaxKernArgAlign;
402 LDSSize = YamlMFI.LDSSize;
403 IsEntryFunction = YamlMFI.IsEntryFunction;
404 NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath;
405 MemoryBound = YamlMFI.MemoryBound;
406 WaveLimiter = YamlMFI.WaveLimiter;
407 return false;
408}