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 | |
Matt Arsenault | 8d4b0ed | 2016-06-23 20:00:34 +0000 | [diff] [blame] | 23 | static cl::opt<bool> EnableSpillSGPRToVGPR( |
| 24 | "amdgpu-spill-sgpr-to-vgpr", |
| 25 | cl::desc("Enable spilling VGPRs to SGPRs"), |
| 26 | cl::ReallyHidden, |
| 27 | cl::init(true)); |
Juergen Ributzka | d12ccbd | 2013-11-19 00:57:56 +0000 | [diff] [blame] | 28 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 29 | SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF) |
Vincent Lejeune | ace6f73 | 2013-04-01 21:47:53 +0000 | [diff] [blame] | 30 | : AMDGPUMachineFunction(MF), |
Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 31 | TIDReg(AMDGPU::NoRegister), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 32 | ScratchRSrcReg(AMDGPU::NoRegister), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 33 | ScratchWaveOffsetReg(AMDGPU::NoRegister), |
| 34 | PrivateSegmentBufferUserSGPR(AMDGPU::NoRegister), |
| 35 | DispatchPtrUserSGPR(AMDGPU::NoRegister), |
| 36 | QueuePtrUserSGPR(AMDGPU::NoRegister), |
| 37 | KernargSegmentPtrUserSGPR(AMDGPU::NoRegister), |
| 38 | DispatchIDUserSGPR(AMDGPU::NoRegister), |
| 39 | FlatScratchInitUserSGPR(AMDGPU::NoRegister), |
| 40 | PrivateSegmentSizeUserSGPR(AMDGPU::NoRegister), |
| 41 | GridWorkGroupCountXUserSGPR(AMDGPU::NoRegister), |
| 42 | GridWorkGroupCountYUserSGPR(AMDGPU::NoRegister), |
| 43 | GridWorkGroupCountZUserSGPR(AMDGPU::NoRegister), |
| 44 | WorkGroupIDXSystemSGPR(AMDGPU::NoRegister), |
| 45 | WorkGroupIDYSystemSGPR(AMDGPU::NoRegister), |
| 46 | WorkGroupIDZSystemSGPR(AMDGPU::NoRegister), |
| 47 | WorkGroupInfoSystemSGPR(AMDGPU::NoRegister), |
| 48 | PrivateSegmentWaveByteOffsetSystemSGPR(AMDGPU::NoRegister), |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 49 | PSInputAddr(0), |
Marek Olsak | 8e9cc63 | 2016-01-13 17:23:09 +0000 | [diff] [blame] | 50 | ReturnsVoid(true), |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 51 | FlatWorkGroupSizes(0, 0), |
| 52 | WavesPerEU(0, 0), |
NAKAMURA Takumi | 5cbd41e | 2016-06-27 10:26:43 +0000 | [diff] [blame] | 53 | DebuggerWorkGroupIDStackObjectIndices({{0, 0, 0}}), |
| 54 | DebuggerWorkItemIDStackObjectIndices({{0, 0, 0}}), |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 55 | LDSWaveSpillSize(0), |
| 56 | PSInputEna(0), |
Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 57 | NumUserSGPRs(0), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 58 | NumSystemSGPRs(0), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 59 | HasSpilledSGPRs(false), |
| 60 | HasSpilledVGPRs(false), |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 61 | HasNonSpillStackObjects(false), |
Marek Olsak | 0532c19 | 2016-07-13 17:35:15 +0000 | [diff] [blame] | 62 | NumSpilledSGPRs(0), |
| 63 | NumSpilledVGPRs(0), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 64 | PrivateSegmentBuffer(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 65 | DispatchPtr(false), |
| 66 | QueuePtr(false), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 67 | KernargSegmentPtr(false), |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 68 | DispatchID(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 69 | FlatScratchInit(false), |
| 70 | GridWorkgroupCountX(false), |
| 71 | GridWorkgroupCountY(false), |
| 72 | GridWorkgroupCountZ(false), |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 73 | WorkGroupIDX(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 74 | WorkGroupIDY(false), |
| 75 | WorkGroupIDZ(false), |
| 76 | WorkGroupInfo(false), |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 77 | PrivateSegmentWaveByteOffset(false), |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 78 | WorkItemIDX(false), |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 79 | WorkItemIDY(false), |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 80 | WorkItemIDZ(false), |
| 81 | PrivateMemoryInputPtr(false) { |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 82 | const SISubtarget &ST = MF.getSubtarget<SISubtarget>(); |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 83 | const Function *F = MF.getFunction(); |
| 84 | |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 85 | PSInputAddr = AMDGPU::getInitialPSInputAddr(*F); |
| 86 | |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 87 | const MachineFrameInfo &FrameInfo = MF.getFrameInfo(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 88 | |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 89 | if (!AMDGPU::isShader(F->getCallingConv())) { |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 90 | KernargSegmentPtr = true; |
Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 91 | WorkGroupIDX = true; |
| 92 | WorkItemIDX = true; |
| 93 | } |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 94 | |
Konstantin Zhuravlyov | f2f3d14 | 2016-06-25 03:11:28 +0000 | [diff] [blame] | 95 | if (F->hasFnAttribute("amdgpu-work-group-id-y") || ST.debuggerEmitPrologue()) |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 96 | WorkGroupIDY = true; |
| 97 | |
Konstantin Zhuravlyov | f2f3d14 | 2016-06-25 03:11:28 +0000 | [diff] [blame] | 98 | if (F->hasFnAttribute("amdgpu-work-group-id-z") || ST.debuggerEmitPrologue()) |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 99 | WorkGroupIDZ = true; |
| 100 | |
Konstantin Zhuravlyov | f2f3d14 | 2016-06-25 03:11:28 +0000 | [diff] [blame] | 101 | if (F->hasFnAttribute("amdgpu-work-item-id-y") || ST.debuggerEmitPrologue()) |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 102 | WorkItemIDY = true; |
| 103 | |
Konstantin Zhuravlyov | f2f3d14 | 2016-06-25 03:11:28 +0000 | [diff] [blame] | 104 | if (F->hasFnAttribute("amdgpu-work-item-id-z") || ST.debuggerEmitPrologue()) |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 105 | WorkItemIDZ = true; |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 106 | |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 107 | // X, XY, and XYZ are the only supported combinations, so make sure Y is |
| 108 | // enabled if Z is. |
| 109 | if (WorkItemIDZ) |
| 110 | WorkItemIDY = true; |
| 111 | |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 112 | bool MaySpill = ST.isVGPRSpillingEnabled(*F); |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 113 | bool HasStackObjects = FrameInfo.hasStackObjects(); |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 114 | |
| 115 | if (HasStackObjects || MaySpill) |
| 116 | PrivateSegmentWaveByteOffset = true; |
| 117 | |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 118 | if (ST.isAmdCodeObjectV2(MF)) { |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 119 | if (HasStackObjects || MaySpill) |
| 120 | PrivateSegmentBuffer = true; |
| 121 | |
| 122 | if (F->hasFnAttribute("amdgpu-dispatch-ptr")) |
| 123 | DispatchPtr = true; |
Matt Arsenault | 48ab526 | 2016-04-25 19:27:18 +0000 | [diff] [blame] | 124 | |
| 125 | if (F->hasFnAttribute("amdgpu-queue-ptr")) |
| 126 | QueuePtr = true; |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 127 | |
| 128 | if (F->hasFnAttribute("amdgpu-dispatch-id")) |
| 129 | DispatchID = true; |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 130 | } else if (ST.isMesaGfxShader(MF)) { |
| 131 | if (HasStackObjects || MaySpill) |
| 132 | PrivateMemoryInputPtr = true; |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 133 | } |
| 134 | |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 135 | // We don't need to worry about accessing spills with flat instructions. |
| 136 | // TODO: On VI where we must use flat for global, we should be able to omit |
| 137 | // this if it is never used for generic access. |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 138 | if (HasStackObjects && ST.getGeneration() >= SISubtarget::SEA_ISLANDS && |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 139 | ST.isAmdHsaOS()) |
| 140 | FlatScratchInit = true; |
Tom Stellard | 79a1fd7 | 2016-04-14 16:27:07 +0000 | [diff] [blame] | 141 | |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 142 | FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(*F); |
| 143 | WavesPerEU = ST.getWavesPerEU(*F); |
Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 144 | } |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 145 | |
Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 146 | unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer( |
| 147 | const SIRegisterInfo &TRI) { |
| 148 | PrivateSegmentBufferUserSGPR = TRI.getMatchingSuperReg( |
| 149 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass); |
| 150 | NumUserSGPRs += 4; |
| 151 | return PrivateSegmentBufferUserSGPR; |
| 152 | } |
| 153 | |
| 154 | unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) { |
| 155 | DispatchPtrUserSGPR = TRI.getMatchingSuperReg( |
| 156 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 157 | NumUserSGPRs += 2; |
| 158 | return DispatchPtrUserSGPR; |
| 159 | } |
| 160 | |
| 161 | unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) { |
| 162 | QueuePtrUserSGPR = TRI.getMatchingSuperReg( |
| 163 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 164 | NumUserSGPRs += 2; |
| 165 | return QueuePtrUserSGPR; |
| 166 | } |
| 167 | |
| 168 | unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) { |
| 169 | KernargSegmentPtrUserSGPR = TRI.getMatchingSuperReg( |
| 170 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 171 | NumUserSGPRs += 2; |
| 172 | return KernargSegmentPtrUserSGPR; |
Matt Arsenault | 0e3d389 | 2015-11-30 21:15:53 +0000 | [diff] [blame] | 173 | } |
| 174 | |
Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 175 | unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) { |
| 176 | DispatchIDUserSGPR = TRI.getMatchingSuperReg( |
| 177 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 178 | NumUserSGPRs += 2; |
| 179 | return DispatchIDUserSGPR; |
| 180 | } |
| 181 | |
Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 182 | unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) { |
| 183 | FlatScratchInitUserSGPR = TRI.getMatchingSuperReg( |
| 184 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 185 | NumUserSGPRs += 2; |
| 186 | return FlatScratchInitUserSGPR; |
| 187 | } |
| 188 | |
Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 189 | unsigned SIMachineFunctionInfo::addPrivateMemoryPtr(const SIRegisterInfo &TRI) { |
| 190 | PrivateMemoryPtrUserSGPR = TRI.getMatchingSuperReg( |
| 191 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass); |
| 192 | NumUserSGPRs += 2; |
| 193 | return PrivateMemoryPtrUserSGPR; |
| 194 | } |
| 195 | |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 196 | SIMachineFunctionInfo::SpilledReg SIMachineFunctionInfo::getSpilledReg ( |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 197 | MachineFunction *MF, |
| 198 | unsigned FrameIndex, |
| 199 | unsigned SubIdx) { |
Matt Arsenault | 8d4b0ed | 2016-06-23 20:00:34 +0000 | [diff] [blame] | 200 | if (!EnableSpillSGPRToVGPR) |
| 201 | return SpilledReg(); |
| 202 | |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 203 | const SISubtarget &ST = MF->getSubtarget<SISubtarget>(); |
| 204 | const SIRegisterInfo *TRI = ST.getRegisterInfo(); |
| 205 | |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 206 | MachineFrameInfo &FrameInfo = MF->getFrameInfo(); |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 207 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 208 | int64_t Offset = FrameInfo.getObjectOffset(FrameIndex); |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 209 | Offset += SubIdx * 4; |
| 210 | |
| 211 | unsigned LaneVGPRIdx = Offset / (64 * 4); |
| 212 | unsigned Lane = (Offset / 4) % 64; |
| 213 | |
| 214 | struct SpilledReg Spill; |
Tom Stellard | 649b5db | 2016-03-04 18:31:18 +0000 | [diff] [blame] | 215 | Spill.Lane = Lane; |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 216 | |
| 217 | if (!LaneVGPRs.count(LaneVGPRIdx)) { |
Tom Stellard | 19f4301 | 2016-07-28 14:30:43 +0000 | [diff] [blame] | 218 | unsigned LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, |
| 219 | *MF); |
Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 220 | |
Tom Stellard | 649b5db | 2016-03-04 18:31:18 +0000 | [diff] [blame] | 221 | if (LaneVGPR == AMDGPU::NoRegister) |
| 222 | // We have no VGPRs left for spilling SGPRs. |
| 223 | return Spill; |
Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 224 | |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 225 | LaneVGPRs[LaneVGPRIdx] = LaneVGPR; |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 226 | |
| 227 | // Add this register as live-in to all blocks to avoid machine verifer |
| 228 | // complaining about use of an undefined physical register. |
| 229 | for (MachineFunction::iterator BI = MF->begin(), BE = MF->end(); |
| 230 | BI != BE; ++BI) { |
| 231 | BI->addLiveIn(LaneVGPR); |
| 232 | } |
| 233 | } |
| 234 | |
| 235 | Spill.VGPR = LaneVGPRs[LaneVGPRIdx]; |
Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 236 | return Spill; |
Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 237 | } |