blob: ebb83fea1fde9a62aea8508bf915ee9be37c68a2 [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//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
Tom Stellard75aadc22012-12-11 21:25:42 +00008//===----------------------------------------------------------------------===//
9
Tom Stellard75aadc22012-12-11 21:25:42 +000010#include "SIMachineFunctionInfo.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000011#include "AMDGPUArgumentUsageInfo.h"
Tom Stellard96468902014-09-24 01:33:17 +000012#include "AMDGPUSubtarget.h"
Eugene Zelenko59e12822017-08-08 00:47:13 +000013#include "SIRegisterInfo.h"
14#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),
Jan Sjodin312ccf72017-09-14 20:53:51 +000031 BufferPSV(*(MF.getSubtarget().getInstrInfo())),
32 ImagePSV(*(MF.getSubtarget().getInstrInfo())),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000033 PrivateSegmentBuffer(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000034 DispatchPtr(false),
35 QueuePtr(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000036 KernargSegmentPtr(false),
Matt Arsenault8d718dc2016-07-22 17:01:30 +000037 DispatchID(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000038 FlatScratchInit(false),
39 GridWorkgroupCountX(false),
40 GridWorkgroupCountY(false),
41 GridWorkgroupCountZ(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000042 WorkGroupIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000043 WorkGroupIDY(false),
44 WorkGroupIDZ(false),
45 WorkGroupInfo(false),
Matt Arsenault26f8f3d2015-11-30 21:16:03 +000046 PrivateSegmentWaveByteOffset(false),
Tom Stellardf110f8f2016-04-14 16:27:03 +000047 WorkItemIDX(false),
Matt Arsenault49affb82015-11-25 20:55:12 +000048 WorkItemIDY(false),
Tom Stellard2f3f9852017-01-25 01:25:13 +000049 WorkItemIDZ(false),
Matt Arsenault817c2532017-08-03 23:12:44 +000050 ImplicitBufferPtr(false),
51 ImplicitArgPtr(false) {
Matt Arsenault43e92fe2016-06-24 06:30:11 +000052 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault49affb82015-11-25 20:55:12 +000053 const Function *F = MF.getFunction();
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000054 FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F);
55 WavesPerEU = ST.getWavesPerEU(*F);
Matt Arsenault49affb82015-11-25 20:55:12 +000056
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000057 if (!isEntryFunction()) {
58 // Non-entry functions have no special inputs for now, other registers
59 // required for scratch access.
60 ScratchRSrcReg = AMDGPU::SGPR0_SGPR1_SGPR2_SGPR3;
61 ScratchWaveOffsetReg = AMDGPU::SGPR4;
62 FrameOffsetReg = AMDGPU::SGPR5;
Matt Arsenaultf28683c2017-06-26 17:53:59 +000063 StackPtrOffsetReg = AMDGPU::SGPR32;
Matt Arsenault1cc47f82017-07-18 16:44:56 +000064
Matt Arsenault8623e8d2017-08-03 23:00:29 +000065 ArgInfo.PrivateSegmentBuffer =
66 ArgDescriptor::createRegister(ScratchRSrcReg);
67 ArgInfo.PrivateSegmentWaveByteOffset =
68 ArgDescriptor::createRegister(ScratchWaveOffsetReg);
69
Matt Arsenault9166ce82017-07-28 15:52:08 +000070 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
71 ImplicitArgPtr = true;
72 } else {
73 if (F->hasFnAttribute("amdgpu-implicitarg-ptr"))
74 KernargSegmentPtr = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000075 }
Marek Olsakfccabaf2016-01-13 11:45:36 +000076
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000077 CallingConv::ID CC = F->getCallingConv();
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000078 if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) {
Matt Arsenault9166ce82017-07-28 15:52:08 +000079 if (!F->arg_empty())
80 KernargSegmentPtr = true;
Tom Stellardf110f8f2016-04-14 16:27:03 +000081 WorkGroupIDX = true;
82 WorkItemIDX = true;
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +000083 } else if (CC == CallingConv::AMDGPU_PS) {
84 PSInputAddr = AMDGPU::getInitialPSInputAddr(*F);
Tom Stellardf110f8f2016-04-14 16:27:03 +000085 }
Matt Arsenault49affb82015-11-25 20:55:12 +000086
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000087 if (ST.debuggerEmitPrologue()) {
88 // Enable everything.
Matt Arsenaulte15855d2017-07-17 22:35:50 +000089 WorkGroupIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +000090 WorkGroupIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +000091 WorkGroupIDZ = true;
Matt Arsenaulte15855d2017-07-17 22:35:50 +000092 WorkItemIDX = true;
Matt Arsenault49affb82015-11-25 20:55:12 +000093 WorkItemIDY = true;
Matt Arsenault49affb82015-11-25 20:55:12 +000094 WorkItemIDZ = true;
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000095 } else {
Matt Arsenaulte15855d2017-07-17 22:35:50 +000096 if (F->hasFnAttribute("amdgpu-work-group-id-x"))
97 WorkGroupIDX = true;
98
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +000099 if (F->hasFnAttribute("amdgpu-work-group-id-y"))
100 WorkGroupIDY = true;
101
102 if (F->hasFnAttribute("amdgpu-work-group-id-z"))
103 WorkGroupIDZ = true;
104
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000105 if (F->hasFnAttribute("amdgpu-work-item-id-x"))
106 WorkItemIDX = true;
107
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000108 if (F->hasFnAttribute("amdgpu-work-item-id-y"))
109 WorkItemIDY = true;
110
111 if (F->hasFnAttribute("amdgpu-work-item-id-z"))
112 WorkItemIDZ = true;
113 }
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000114
Matt Arsenaultefa9f4b2017-04-11 22:29:28 +0000115 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000116 bool MaySpill = ST.isVGPRSpillingEnabled(*F);
Matt Arsenault1cc47f82017-07-18 16:44:56 +0000117 bool HasStackObjects = FrameInfo.hasStackObjects();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000118
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000119 if (isEntryFunction()) {
120 // X, XY, and XYZ are the only supported combinations, so make sure Y is
121 // enabled if Z is.
122 if (WorkItemIDZ)
123 WorkItemIDY = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000124
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000125 if (HasStackObjects || MaySpill) {
126 PrivateSegmentWaveByteOffset = true;
127
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000128 // HS and GS always have the scratch wave offset in SGPR5 on GFX9.
129 if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 &&
130 (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS))
131 ArgInfo.PrivateSegmentWaveByteOffset
132 = ArgDescriptor::createRegister(AMDGPU::SGPR5);
Matt Arsenaulte15855d2017-07-17 22:35:50 +0000133 }
Marek Olsak584d2c02017-05-04 22:25:20 +0000134 }
135
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000136 bool IsCOV2 = ST.isAmdCodeObjectV2(MF);
137 if (IsCOV2) {
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000138 if (HasStackObjects || MaySpill)
139 PrivateSegmentBuffer = true;
140
141 if (F->hasFnAttribute("amdgpu-dispatch-ptr"))
142 DispatchPtr = true;
Matt Arsenault48ab5262016-04-25 19:27:18 +0000143
144 if (F->hasFnAttribute("amdgpu-queue-ptr"))
145 QueuePtr = true;
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000146
147 if (F->hasFnAttribute("amdgpu-dispatch-id"))
148 DispatchID = true;
Tom Stellard2f3f9852017-01-25 01:25:13 +0000149 } else if (ST.isMesaGfxShader(MF)) {
150 if (HasStackObjects || MaySpill)
Matt Arsenault10fc0622017-06-26 03:01:31 +0000151 ImplicitBufferPtr = true;
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000152 }
153
Matt Arsenault23e4df62017-07-14 00:11:13 +0000154 if (F->hasFnAttribute("amdgpu-kernarg-segment-ptr"))
155 KernargSegmentPtr = true;
156
Matt Arsenault254ad3d2017-07-18 16:44:58 +0000157 if (ST.hasFlatAddressSpace() && isEntryFunction() && IsCOV2) {
158 // TODO: This could be refined a lot. The attribute is a poor way of
159 // detecting calls that may require it before argument lowering.
160 if (HasStackObjects || F->hasFnAttribute("amdgpu-flat-scratch"))
161 FlatScratchInit = true;
162 }
Matt Arsenault49affb82015-11-25 20:55:12 +0000163}
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000164
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000165unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer(
166 const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000167 ArgInfo.PrivateSegmentBuffer =
168 ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
169 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000170 NumUserSGPRs += 4;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000171 return ArgInfo.PrivateSegmentBuffer.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000172}
173
174unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000175 ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
176 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000177 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000178 return ArgInfo.DispatchPtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000179}
180
181unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000182 ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
183 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000184 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000185 return ArgInfo.QueuePtr.getRegister();
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000186}
187
188unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000189 ArgInfo.KernargSegmentPtr
190 = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
191 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault26f8f3d2015-11-30 21:16:03 +0000192 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000193 return ArgInfo.KernargSegmentPtr.getRegister();
Matt Arsenault0e3d3892015-11-30 21:15:53 +0000194}
195
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000196unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000197 ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
198 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000199 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000200 return ArgInfo.DispatchID.getRegister();
Matt Arsenault8d718dc2016-07-22 17:01:30 +0000201}
202
Matt Arsenault296b8492016-02-12 06:31:30 +0000203unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000204 ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
205 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Matt Arsenault296b8492016-02-12 06:31:30 +0000206 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000207 return ArgInfo.FlatScratchInit.getRegister();
Matt Arsenault296b8492016-02-12 06:31:30 +0000208}
209
Matt Arsenault10fc0622017-06-26 03:01:31 +0000210unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) {
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000211 ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg(
212 getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass));
Tom Stellard2f3f9852017-01-25 01:25:13 +0000213 NumUserSGPRs += 2;
Matt Arsenault8623e8d2017-08-03 23:00:29 +0000214 return ArgInfo.ImplicitBufferPtr.getRegister();
Tom Stellard2f3f9852017-01-25 01:25:13 +0000215}
216
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000217static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) {
218 for (unsigned I = 0; CSRegs[I]; ++I) {
219 if (CSRegs[I] == Reg)
220 return true;
221 }
222
223 return false;
224}
225
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000226/// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI.
227bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF,
228 int FI) {
229 std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI];
Matt Arsenault8d4b0ed2016-06-23 20:00:34 +0000230
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000231 // This has already been allocated.
232 if (!SpillLanes.empty())
233 return true;
234
235 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000236 const SIRegisterInfo *TRI = ST.getRegisterInfo();
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000237 MachineFrameInfo &FrameInfo = MF.getFrameInfo();
238 MachineRegisterInfo &MRI = MF.getRegInfo();
239 unsigned WaveSize = ST.getWavefrontSize();
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000240
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000241 unsigned Size = FrameInfo.getObjectSize(FI);
242 assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size");
243 assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs");
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000244
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000245 int NumLanes = Size / 4;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000246
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000247 const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF);
248
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000249 // Make sure to handle the case where a wide SGPR spill may span between two
250 // VGPRs.
251 for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) {
252 unsigned LaneVGPR;
253 unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize);
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000254
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000255 if (VGPRIndex == 0) {
256 LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF);
257 if (LaneVGPR == AMDGPU::NoRegister) {
Tim Renouf6cb007f2017-09-11 08:31:32 +0000258 // We have no VGPRs left for spilling SGPRs. Reset because we will not
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000259 // partially spill the SGPR to VGPRs.
260 SGPRToVGPRSpills.erase(FI);
261 NumVGPRSpillLanes -= I;
262 return false;
263 }
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000264
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000265 Optional<int> CSRSpillFI;
266 if (FrameInfo.hasCalls() && CSRegs && isCalleeSavedReg(CSRegs, LaneVGPR)) {
267 // TODO: Should this be a CreateSpillStackObject? This is technically a
268 // weird CSR spill.
269 CSRSpillFI = FrameInfo.CreateStackObject(4, 4, false);
270 }
271
272 SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI));
Nicolai Haehnlee705aad2016-01-04 15:50:01 +0000273
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000274 // Add this register as live-in to all blocks to avoid machine verifer
275 // complaining about use of an undefined physical register.
276 for (MachineBasicBlock &BB : MF)
277 BB.addLiveIn(LaneVGPR);
278 } else {
Matt Arsenault8e8f8f42017-08-02 01:52:45 +0000279 LaneVGPR = SpillVGPRs.back().VGPR;
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000280 }
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000281
282 SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex));
Tom Stellardc5cf2f02014-08-21 20:40:54 +0000283 }
284
Matt Arsenaulte0bf7d02017-02-21 19:12:08 +0000285 return true;
286}
287
288void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) {
289 for (auto &R : SGPRToVGPRSpills)
290 MFI.RemoveStackObject(R.first);
Tom Stellardc149dc02013-11-27 21:23:35 +0000291}