Matt Arsenault | 8d4b0ed | 2016-06-23 20:00:34 +0000 | [diff] [blame] | 1 | //===-- SIMachineFunctionInfo.cpp -------- SI Machine Function Info -------===// |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 2 | // |
| 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 Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 10 | #include "SIMachineFunctionInfo.h" |
Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 11 | #include "AMDGPUSubtarget.h" |
Tom Stellard | eba6107 | 2014-05-02 15:41:42 +0000 | [diff] [blame] | 12 | #include "SIInstrInfo.h" |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 13 | #include "llvm/CodeGen/MachineFrameInfo.h" |
NAKAMURA Takumi | f619b50 | 2016-06-27 10:26:36 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Tom Stellard | eba6107 | 2014-05-02 15:41:42 +0000 | [diff] [blame] | 16 | #include "llvm/IR/Function.h" |
| 17 | #include "llvm/IR/LLVMContext.h" |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 18 | |
| 19 | #define MAX_LANES 64 |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 20 | |
| 21 | using namespace llvm; |
| 22 | |
| 23 | SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF) |
Vincent Lejeune | ace6f73 | 2013-04-01 21:47:53 +0000 | [diff] [blame] | 24 | : AMDGPUMachineFunction(MF), |
Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 25 | TIDReg(AMDGPU::NoRegister), |
Matt Arsenault | 1cc47f8 | 2017-07-18 16:44:56 +0000 | [diff] [blame] | 26 | ScratchRSrcReg(AMDGPU::PRIVATE_RSRC_REG), |
| 27 | ScratchWaveOffsetReg(AMDGPU::SCRATCH_WAVE_OFFSET_REG), |
| 28 | FrameOffsetReg(AMDGPU::FP_REG), |
| 29 | StackPtrOffsetReg(AMDGPU::SP_REG), |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 30 | ArgInfo(), |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 31 | PSInputAddr(0), |
Matt Arsenault | e622dc3 | 2017-04-11 22:29:24 +0000 | [diff] [blame] | 32 | PSInputEnable(0), |
Marek Olsak | 8e9cc63 | 2016-01-13 17:23:09 +0000 | [diff] [blame] | 33 | ReturnsVoid(true), |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 34 | FlatWorkGroupSizes(0, 0), |
| 35 | WavesPerEU(0, 0), |
NAKAMURA Takumi | 5cbd41e | 2016-06-27 10:26:43 +0000 | [diff] [blame] | 36 | DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}), |
| 37 | DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}), |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 38 | LDSWaveSpillSize(0), |
Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 39 | NumUserSGPRs(0), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 40 | NumSystemSGPRs(0), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 41 | HasSpilledSGPRs(false), |
| 42 | HasSpilledVGPRs(false), |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 43 | HasNonSpillStackObjects(false), |
Marek Olsak | 0532c19 | 2016-07-13 17:35:15 +0000 | [diff] [blame] | 44 | NumSpilledSGPRs(0), |
| 45 | NumSpilledVGPRs(0), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 46 | PrivateSegmentBuffer(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 47 | DispatchPtr(false), |
| 48 | QueuePtr(false), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 49 | KernargSegmentPtr(false), |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 50 | DispatchID(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 51 | FlatScratchInit(false), |
| 52 | GridWorkgroupCountX(false), |
| 53 | GridWorkgroupCountY(false), |
| 54 | GridWorkgroupCountZ(false), |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 55 | WorkGroupIDX(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 56 | WorkGroupIDY(false), |
| 57 | WorkGroupIDZ(false), |
| 58 | WorkGroupInfo(false), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 59 | PrivateSegmentWaveByteOffset(false), |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 60 | WorkItemIDX(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 61 | WorkItemIDY(false), |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 62 | WorkItemIDZ(false), |
Matt Arsenault | 10fc062 | 2017-06-26 03:01:31 +0000 | [diff] [blame] | 63 | ImplicitBufferPtr(false) { |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 64 | const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 65 | const Function *F = MF.getFunction(); |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 66 | FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F); |
| 67 | WavesPerEU = ST.getWavesPerEU(*F); |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 68 | |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 69 | 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; |
| 73 | ScratchWaveOffsetReg = AMDGPU::SGPR4; |
| 74 | FrameOffsetReg = AMDGPU::SGPR5; |
Matt Arsenault | f28683c | 2017-06-26 17:53:59 +0000 | [diff] [blame] | 75 | StackPtrOffsetReg = AMDGPU::SGPR32; |
Matt Arsenault | 1cc47f8 | 2017-07-18 16:44:56 +0000 | [diff] [blame] | 76 | |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 77 | ArgInfo.PrivateSegmentBuffer = |
| 78 | ArgDescriptor::createRegister(ScratchRSrcReg); |
| 79 | ArgInfo.PrivateSegmentWaveByteOffset = |
| 80 | ArgDescriptor::createRegister(ScratchWaveOffsetReg); |
| 81 | |
Matt Arsenault | 9166ce8 | 2017-07-28 15:52:08 +0000 | [diff] [blame] | 82 | if (F->hasFnAttribute("amdgpu-implicitarg-ptr")) |
| 83 | ImplicitArgPtr = true; |
| 84 | } else { |
| 85 | if (F->hasFnAttribute("amdgpu-implicitarg-ptr")) |
| 86 | KernargSegmentPtr = true; |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 87 | } |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 88 | |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 89 | CallingConv::ID CC = F->getCallingConv(); |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 90 | if (CC == CallingConv::AMDGPU_KERNEL || CC == CallingConv::SPIR_KERNEL) { |
Matt Arsenault | 9166ce8 | 2017-07-28 15:52:08 +0000 | [diff] [blame] | 91 | if (!F->arg_empty()) |
| 92 | KernargSegmentPtr = true; |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 93 | WorkGroupIDX = true; |
| 94 | WorkItemIDX = true; |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 95 | } else if (CC == CallingConv::AMDGPU_PS) { |
| 96 | PSInputAddr = AMDGPU::getInitialPSInputAddr(*F); |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 97 | } |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 98 | |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 99 | if (ST.debuggerEmitPrologue()) { |
| 100 | // Enable everything. |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 101 | WorkGroupIDX = true; |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 102 | WorkGroupIDY = true; |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 103 | WorkGroupIDZ = true; |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 104 | WorkItemIDX = true; |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 105 | WorkItemIDY = true; |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 106 | WorkItemIDZ = true; |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 107 | } else { |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 108 | if (F->hasFnAttribute("amdgpu-work-group-id-x")) |
| 109 | WorkGroupIDX = true; |
| 110 | |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 111 | if (F->hasFnAttribute("amdgpu-work-group-id-y")) |
| 112 | WorkGroupIDY = true; |
| 113 | |
| 114 | if (F->hasFnAttribute("amdgpu-work-group-id-z")) |
| 115 | WorkGroupIDZ = true; |
| 116 | |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 117 | if (F->hasFnAttribute("amdgpu-work-item-id-x")) |
| 118 | WorkItemIDX = true; |
| 119 | |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 120 | if (F->hasFnAttribute("amdgpu-work-item-id-y")) |
| 121 | WorkItemIDY = true; |
| 122 | |
| 123 | if (F->hasFnAttribute("amdgpu-work-item-id-z")) |
| 124 | WorkItemIDZ = true; |
| 125 | } |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 126 | |
Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 127 | const MachineFrameInfo &FrameInfo = MF.getFrameInfo(); |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 128 | bool MaySpill = ST.isVGPRSpillingEnabled(*F); |
Matt Arsenault | 1cc47f8 | 2017-07-18 16:44:56 +0000 | [diff] [blame] | 129 | bool HasStackObjects = FrameInfo.hasStackObjects(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 130 | |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 131 | if (isEntryFunction()) { |
| 132 | // X, XY, and XYZ are the only supported combinations, so make sure Y is |
| 133 | // enabled if Z is. |
| 134 | if (WorkItemIDZ) |
| 135 | WorkItemIDY = true; |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 136 | |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 137 | if (HasStackObjects || MaySpill) { |
| 138 | PrivateSegmentWaveByteOffset = true; |
| 139 | |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 140 | // HS and GS always have the scratch wave offset in SGPR5 on GFX9. |
| 141 | if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 && |
| 142 | (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS)) |
| 143 | ArgInfo.PrivateSegmentWaveByteOffset |
| 144 | = ArgDescriptor::createRegister(AMDGPU::SGPR5); |
Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 145 | } |
Marek Olsak | 584d2c0 | 2017-05-04 22:25:20 +0000 | [diff] [blame] | 146 | } |
| 147 | |
Matt Arsenault | 254ad3d | 2017-07-18 16:44:58 +0000 | [diff] [blame] | 148 | bool IsCOV2 = ST.isAmdCodeObjectV2(MF); |
| 149 | if (IsCOV2) { |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 150 | if (HasStackObjects || MaySpill) |
| 151 | PrivateSegmentBuffer = true; |
| 152 | |
| 153 | if (F->hasFnAttribute("amdgpu-dispatch-ptr")) |
| 154 | DispatchPtr = true; |
Matt Arsenault | 48ab526 | 2016-04-25 19:27:18 +0000 | [diff] [blame] | 155 | |
| 156 | if (F->hasFnAttribute("amdgpu-queue-ptr")) |
| 157 | QueuePtr = true; |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 158 | |
| 159 | if (F->hasFnAttribute("amdgpu-dispatch-id")) |
| 160 | DispatchID = true; |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 161 | } else if (ST.isMesaGfxShader(MF)) { |
| 162 | if (HasStackObjects || MaySpill) |
Matt Arsenault | 10fc062 | 2017-06-26 03:01:31 +0000 | [diff] [blame] | 163 | ImplicitBufferPtr = true; |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 164 | } |
| 165 | |
Matt Arsenault | 23e4df6 | 2017-07-14 00:11:13 +0000 | [diff] [blame] | 166 | if (F->hasFnAttribute("amdgpu-kernarg-segment-ptr")) |
| 167 | KernargSegmentPtr = true; |
| 168 | |
Matt Arsenault | 254ad3d | 2017-07-18 16:44:58 +0000 | [diff] [blame] | 169 | if (ST.hasFlatAddressSpace() && isEntryFunction() && IsCOV2) { |
| 170 | // TODO: This could be refined a lot. The attribute is a poor way of |
| 171 | // detecting calls that may require it before argument lowering. |
| 172 | if (HasStackObjects || F->hasFnAttribute("amdgpu-flat-scratch")) |
| 173 | FlatScratchInit = true; |
| 174 | } |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 175 | } |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 176 | |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 177 | unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer( |
| 178 | const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 179 | ArgInfo.PrivateSegmentBuffer = |
| 180 | ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 181 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass)); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 182 | NumUserSGPRs += 4; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 183 | return ArgInfo.PrivateSegmentBuffer.getRegister(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 184 | } |
| 185 | |
| 186 | unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 187 | ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 188 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 189 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 190 | return ArgInfo.DispatchPtr.getRegister(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 191 | } |
| 192 | |
| 193 | unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 194 | ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 195 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 196 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 197 | return ArgInfo.QueuePtr.getRegister(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 198 | } |
| 199 | |
| 200 | unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 201 | ArgInfo.KernargSegmentPtr |
| 202 | = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 203 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 204 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 205 | return ArgInfo.KernargSegmentPtr.getRegister(); |
Matt Arsenault | 0e3d389 | 2015-11-30 21:15:53 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 208 | unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 209 | ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 210 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 211 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 212 | return ArgInfo.DispatchID.getRegister(); |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 213 | } |
| 214 | |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 215 | unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 216 | ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 217 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 218 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 219 | return ArgInfo.FlatScratchInit.getRegister(); |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Matt Arsenault | 10fc062 | 2017-06-26 03:01:31 +0000 | [diff] [blame] | 222 | unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) { |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 223 | ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( |
| 224 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 225 | NumUserSGPRs += 2; |
Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame^] | 226 | return ArgInfo.ImplicitBufferPtr.getRegister(); |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 227 | } |
| 228 | |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 229 | static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) { |
| 230 | for (unsigned I = 0; CSRegs[I]; ++I) { |
| 231 | if (CSRegs[I] == Reg) |
| 232 | return true; |
| 233 | } |
| 234 | |
| 235 | return false; |
| 236 | } |
| 237 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 238 | /// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI. |
| 239 | bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF, |
| 240 | int FI) { |
| 241 | std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI]; |
Matt Arsenault | 8d4b0ed | 2016-06-23 20:00:34 +0000 | [diff] [blame] | 242 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 243 | // This has already been allocated. |
| 244 | if (!SpillLanes.empty()) |
| 245 | return true; |
| 246 | |
| 247 | const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 248 | const SIRegisterInfo *TRI = ST.getRegisterInfo(); |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 249 | MachineFrameInfo &FrameInfo = MF.getFrameInfo(); |
| 250 | MachineRegisterInfo &MRI = MF.getRegInfo(); |
| 251 | unsigned WaveSize = ST.getWavefrontSize(); |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 252 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 253 | unsigned Size = FrameInfo.getObjectSize(FI); |
| 254 | assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size"); |
| 255 | assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs"); |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 256 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 257 | int NumLanes = Size / 4; |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 258 | |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 259 | const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF); |
| 260 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 261 | // Make sure to handle the case where a wide SGPR spill may span between two |
| 262 | // VGPRs. |
| 263 | for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) { |
| 264 | unsigned LaneVGPR; |
| 265 | unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize); |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 266 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 267 | if (VGPRIndex == 0) { |
| 268 | LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF); |
| 269 | if (LaneVGPR == AMDGPU::NoRegister) { |
| 270 | // We have no VGPRs left for spilling SGPRs. Reset because we won't |
| 271 | // partially spill the SGPR to VGPRs. |
| 272 | SGPRToVGPRSpills.erase(FI); |
| 273 | NumVGPRSpillLanes -= I; |
| 274 | return false; |
| 275 | } |
Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 276 | |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 277 | Optional<int> CSRSpillFI; |
| 278 | if (FrameInfo.hasCalls() && CSRegs && isCalleeSavedReg(CSRegs, LaneVGPR)) { |
| 279 | // TODO: Should this be a CreateSpillStackObject? This is technically a |
| 280 | // weird CSR spill. |
| 281 | CSRSpillFI = FrameInfo.CreateStackObject(4, 4, false); |
| 282 | } |
| 283 | |
| 284 | SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI)); |
Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 285 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 286 | // Add this register as live-in to all blocks to avoid machine verifer |
| 287 | // complaining about use of an undefined physical register. |
| 288 | for (MachineBasicBlock &BB : MF) |
| 289 | BB.addLiveIn(LaneVGPR); |
| 290 | } else { |
Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 291 | LaneVGPR = SpillVGPRs.back().VGPR; |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 292 | } |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 293 | |
| 294 | SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex)); |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 295 | } |
| 296 | |
Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 297 | return true; |
| 298 | } |
| 299 | |
| 300 | void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) { |
| 301 | for (auto &R : SGPRToVGPRSpills) |
| 302 | MFI.RemoveStackObject(R.first); |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 303 | } |