| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 1 | //===- SIMachineFunctionInfo.cpp - SI Machine Function Info ---------------===// | 
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 2 | // | 
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // 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 Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 6 | // | 
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// | 
|  | 8 |  | 
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 9 | #include "SIMachineFunctionInfo.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 10 | #include "AMDGPUArgumentUsageInfo.h" | 
| Tom Stellard | 9646890 | 2014-09-24 01:33:17 +0000 | [diff] [blame] | 11 | #include "AMDGPUSubtarget.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 12 | #include "SIRegisterInfo.h" | 
| Tom Stellard | 44b30b4 | 2018-05-22 02:03:23 +0000 | [diff] [blame] | 13 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 14 | #include "Utils/AMDGPUBaseInfo.h" | 
|  | 15 | #include "llvm/ADT/Optional.h" | 
|  | 16 | #include "llvm/CodeGen/MachineBasicBlock.h" | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 17 | #include "llvm/CodeGen/MachineFrameInfo.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunction.h" | 
| Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineRegisterInfo.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 20 | #include "llvm/IR/CallingConv.h" | 
| Tom Stellard | eba6107 | 2014-05-02 15:41:42 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Function.h" | 
| Eugene Zelenko | 59e1282 | 2017-08-08 00:47:13 +0000 | [diff] [blame] | 22 | #include <cassert> | 
|  | 23 | #include <vector> | 
| Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 24 |  | 
|  | 25 | #define MAX_LANES 64 | 
| Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 26 |  | 
|  | 27 | using namespace llvm; | 
|  | 28 |  | 
|  | 29 | SIMachineFunctionInfo::SIMachineFunctionInfo(const MachineFunction &MF) | 
| Vincent Lejeune | ace6f73 | 2013-04-01 21:47:53 +0000 | [diff] [blame] | 30 | : AMDGPUMachineFunction(MF), | 
| Matt Arsenault | 055e4dc | 2019-03-29 19:14:54 +0000 | [diff] [blame] | 31 | Mode(MF.getFunction()), | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 32 | PrivateSegmentBuffer(false), | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 33 | DispatchPtr(false), | 
|  | 34 | QueuePtr(false), | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 35 | KernargSegmentPtr(false), | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 36 | DispatchID(false), | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 37 | FlatScratchInit(false), | 
| Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 38 | WorkGroupIDX(false), | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 39 | WorkGroupIDY(false), | 
|  | 40 | WorkGroupIDZ(false), | 
|  | 41 | WorkGroupInfo(false), | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 42 | PrivateSegmentWaveByteOffset(false), | 
| Tom Stellard | f110f8f | 2016-04-14 16:27:03 +0000 | [diff] [blame] | 43 | WorkItemIDX(false), | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 44 | WorkItemIDY(false), | 
| Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 45 | WorkItemIDZ(false), | 
| Matt Arsenault | 817c253 | 2017-08-03 23:12:44 +0000 | [diff] [blame] | 46 | ImplicitBufferPtr(false), | 
| Tim Renouf | 1322915 | 2017-09-29 09:49:35 +0000 | [diff] [blame] | 47 | ImplicitArgPtr(false), | 
| Matt Arsenault | 923712b | 2018-02-09 16:57:57 +0000 | [diff] [blame] | 48 | GITPtrHigh(0xffffffff), | 
|  | 49 | HighBitsOf32BitAddress(0) { | 
| Tom Stellard | 5bfbae5 | 2018-07-11 20:59:01 +0000 | [diff] [blame] | 50 | const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 51 | const Function &F = MF.getFunction(); | 
|  | 52 | FlatWorkGroupSizes = ST.getFlatWorkGroupSizes(F); | 
|  | 53 | WavesPerEU = ST.getWavesPerEU(F); | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 54 |  | 
| Stanislav Mekhanoshin | d4b500c | 2018-05-31 05:36:04 +0000 | [diff] [blame] | 55 | Occupancy = getMaxWavesPerEU(); | 
|  | 56 | limitOccupancy(MF); | 
| Matt Arsenault | 4bec7d4 | 2018-07-20 09:05:08 +0000 | [diff] [blame] | 57 | 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 Mekhanoshin | d4b500c | 2018-05-31 05:36:04 +0000 | [diff] [blame] | 67 |  | 
| Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 68 | 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; | 
|  | 72 | ScratchWaveOffsetReg = AMDGPU::SGPR4; | 
|  | 73 | FrameOffsetReg = AMDGPU::SGPR5; | 
| Matt Arsenault | f28683c | 2017-06-26 17:53:59 +0000 | [diff] [blame] | 74 | StackPtrOffsetReg = AMDGPU::SGPR32; | 
| Matt Arsenault | 1cc47f8 | 2017-07-18 16:44:56 +0000 | [diff] [blame] | 75 |  | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 76 | ArgInfo.PrivateSegmentBuffer = | 
|  | 77 | ArgDescriptor::createRegister(ScratchRSrcReg); | 
|  | 78 | ArgInfo.PrivateSegmentWaveByteOffset = | 
|  | 79 | ArgDescriptor::createRegister(ScratchWaveOffsetReg); | 
|  | 80 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 81 | if (F.hasFnAttribute("amdgpu-implicitarg-ptr")) | 
| Matt Arsenault | 9166ce8 | 2017-07-28 15:52:08 +0000 | [diff] [blame] | 82 | ImplicitArgPtr = true; | 
|  | 83 | } else { | 
| Matt Arsenault | 1ea0402 | 2018-05-29 19:35:00 +0000 | [diff] [blame] | 84 | if (F.hasFnAttribute("amdgpu-implicitarg-ptr")) { | 
| Matt Arsenault | 9166ce8 | 2017-07-28 15:52:08 +0000 | [diff] [blame] | 85 | KernargSegmentPtr = true; | 
| Matt Arsenault | 4bec7d4 | 2018-07-20 09:05:08 +0000 | [diff] [blame] | 86 | MaxKernArgAlign = std::max(ST.getAlignmentForImplicitArgPtr(), | 
|  | 87 | MaxKernArgAlign); | 
| Matt Arsenault | 1ea0402 | 2018-05-29 19:35:00 +0000 | [diff] [blame] | 88 | } | 
| Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 89 | } | 
| Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 90 |  | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 91 | if (F.hasFnAttribute("amdgpu-work-group-id-x")) | 
| Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 92 | WorkGroupIDX = true; | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 93 |  | 
|  | 94 | if (F.hasFnAttribute("amdgpu-work-group-id-y")) | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 95 | WorkGroupIDY = true; | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 96 |  | 
|  | 97 | if (F.hasFnAttribute("amdgpu-work-group-id-z")) | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 98 | WorkGroupIDZ = true; | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 99 |  | 
|  | 100 | if (F.hasFnAttribute("amdgpu-work-item-id-x")) | 
| Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 101 | WorkItemIDX = true; | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 102 |  | 
|  | 103 | if (F.hasFnAttribute("amdgpu-work-item-id-y")) | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 104 | WorkItemIDY = true; | 
| Matt Arsenault | aa6fb4c | 2019-02-21 23:27:46 +0000 | [diff] [blame] | 105 |  | 
|  | 106 | if (F.hasFnAttribute("amdgpu-work-item-id-z")) | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 107 | WorkItemIDZ = true; | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 108 |  | 
| Matt Arsenault | efa9f4b | 2017-04-11 22:29:28 +0000 | [diff] [blame] | 109 | const MachineFrameInfo &FrameInfo = MF.getFrameInfo(); | 
| Matt Arsenault | 1cc47f8 | 2017-07-18 16:44:56 +0000 | [diff] [blame] | 110 | bool HasStackObjects = FrameInfo.hasStackObjects(); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 111 |  | 
| Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 112 | if (isEntryFunction()) { | 
|  | 113 | // X, XY, and XYZ are the only supported combinations, so make sure Y is | 
|  | 114 | // enabled if Z is. | 
|  | 115 | if (WorkItemIDZ) | 
|  | 116 | WorkItemIDY = true; | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 117 |  | 
| Scott Linder | c6c6272 | 2018-10-31 18:54:06 +0000 | [diff] [blame] | 118 | PrivateSegmentWaveByteOffset = true; | 
| Matt Arsenault | e15855d | 2017-07-17 22:35:50 +0000 | [diff] [blame] | 119 |  | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 120 | // HS and GS always have the scratch wave offset in SGPR5 on GFX9. | 
|  | 121 | if (ST.getGeneration() >= AMDGPUSubtarget::GFX9 && | 
|  | 122 | (CC == CallingConv::AMDGPU_HS || CC == CallingConv::AMDGPU_GS)) | 
| Scott Linder | c6c6272 | 2018-10-31 18:54:06 +0000 | [diff] [blame] | 123 | ArgInfo.PrivateSegmentWaveByteOffset = | 
|  | 124 | ArgDescriptor::createRegister(AMDGPU::SGPR5); | 
| Marek Olsak | 584d2c0 | 2017-05-04 22:25:20 +0000 | [diff] [blame] | 125 | } | 
|  | 126 |  | 
| Konstantin Zhuravlyov | aa067cb | 2018-10-04 21:02:16 +0000 | [diff] [blame] | 127 | bool isAmdHsaOrMesa = ST.isAmdHsaOrMesa(F); | 
|  | 128 | if (isAmdHsaOrMesa) { | 
| Scott Linder | c6c6272 | 2018-10-31 18:54:06 +0000 | [diff] [blame] | 129 | PrivateSegmentBuffer = true; | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 130 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 131 | if (F.hasFnAttribute("amdgpu-dispatch-ptr")) | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 132 | DispatchPtr = true; | 
| Matt Arsenault | 48ab526 | 2016-04-25 19:27:18 +0000 | [diff] [blame] | 133 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 134 | if (F.hasFnAttribute("amdgpu-queue-ptr")) | 
| Matt Arsenault | 48ab526 | 2016-04-25 19:27:18 +0000 | [diff] [blame] | 135 | QueuePtr = true; | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 136 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 137 | if (F.hasFnAttribute("amdgpu-dispatch-id")) | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 138 | DispatchID = true; | 
| Matt Arsenault | ceafc55 | 2018-05-29 17:42:50 +0000 | [diff] [blame] | 139 | } else if (ST.isMesaGfxShader(F)) { | 
| Scott Linder | c6c6272 | 2018-10-31 18:54:06 +0000 | [diff] [blame] | 140 | ImplicitBufferPtr = true; | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 141 | } | 
|  | 142 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 143 | if (F.hasFnAttribute("amdgpu-kernarg-segment-ptr")) | 
| Matt Arsenault | 23e4df6 | 2017-07-14 00:11:13 +0000 | [diff] [blame] | 144 | KernargSegmentPtr = true; | 
|  | 145 |  | 
| Konstantin Zhuravlyov | aa067cb | 2018-10-04 21:02:16 +0000 | [diff] [blame] | 146 | if (ST.hasFlatAddressSpace() && isEntryFunction() && isAmdHsaOrMesa) { | 
| Matt Arsenault | 254ad3d | 2017-07-18 16:44:58 +0000 | [diff] [blame] | 147 | // TODO: This could be refined a lot. The attribute is a poor way of | 
|  | 148 | // detecting calls that may require it before argument lowering. | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 149 | if (HasStackObjects || F.hasFnAttribute("amdgpu-flat-scratch")) | 
| Matt Arsenault | 254ad3d | 2017-07-18 16:44:58 +0000 | [diff] [blame] | 150 | FlatScratchInit = true; | 
|  | 151 | } | 
| Tim Renouf | 1322915 | 2017-09-29 09:49:35 +0000 | [diff] [blame] | 152 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 153 | Attribute A = F.getFnAttribute("amdgpu-git-ptr-high"); | 
| Tim Renouf | 1322915 | 2017-09-29 09:49:35 +0000 | [diff] [blame] | 154 | StringRef S = A.getValueAsString(); | 
|  | 155 | if (!S.empty()) | 
|  | 156 | S.consumeInteger(0, GITPtrHigh); | 
| Matt Arsenault | 923712b | 2018-02-09 16:57:57 +0000 | [diff] [blame] | 157 |  | 
|  | 158 | A = F.getFnAttribute("amdgpu-32bit-address-high-bits"); | 
|  | 159 | S = A.getValueAsString(); | 
|  | 160 | if (!S.empty()) | 
|  | 161 | S.consumeInteger(0, HighBitsOf32BitAddress); | 
| Matt Arsenault | 49affb8 | 2015-11-25 20:55:12 +0000 | [diff] [blame] | 162 | } | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 163 |  | 
| Stanislav Mekhanoshin | d4b500c | 2018-05-31 05:36:04 +0000 | [diff] [blame] | 164 | void SIMachineFunctionInfo::limitOccupancy(const MachineFunction &MF) { | 
|  | 165 | limitOccupancy(getMaxWavesPerEU()); | 
| Tom Stellard | 5bfbae5 | 2018-07-11 20:59:01 +0000 | [diff] [blame] | 166 | const GCNSubtarget& ST = MF.getSubtarget<GCNSubtarget>(); | 
| Stanislav Mekhanoshin | d4b500c | 2018-05-31 05:36:04 +0000 | [diff] [blame] | 167 | limitOccupancy(ST.getOccupancyWithLocalMemSize(getLDSSize(), | 
|  | 168 | MF.getFunction())); | 
|  | 169 | } | 
|  | 170 |  | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 171 | unsigned SIMachineFunctionInfo::addPrivateSegmentBuffer( | 
|  | 172 | const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 173 | ArgInfo.PrivateSegmentBuffer = | 
|  | 174 | ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 175 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_128RegClass)); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 176 | NumUserSGPRs += 4; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 177 | return ArgInfo.PrivateSegmentBuffer.getRegister(); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 178 | } | 
|  | 179 |  | 
|  | 180 | unsigned SIMachineFunctionInfo::addDispatchPtr(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 181 | ArgInfo.DispatchPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 182 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 183 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 184 | return ArgInfo.DispatchPtr.getRegister(); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 185 | } | 
|  | 186 |  | 
|  | 187 | unsigned SIMachineFunctionInfo::addQueuePtr(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 188 | ArgInfo.QueuePtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 189 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 190 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 191 | return ArgInfo.QueuePtr.getRegister(); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 192 | } | 
|  | 193 |  | 
|  | 194 | unsigned SIMachineFunctionInfo::addKernargSegmentPtr(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 195 | ArgInfo.KernargSegmentPtr | 
|  | 196 | = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 197 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Matt Arsenault | 26f8f3d | 2015-11-30 21:16:03 +0000 | [diff] [blame] | 198 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 199 | return ArgInfo.KernargSegmentPtr.getRegister(); | 
| Matt Arsenault | 0e3d389 | 2015-11-30 21:15:53 +0000 | [diff] [blame] | 200 | } | 
|  | 201 |  | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 202 | unsigned SIMachineFunctionInfo::addDispatchID(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 203 | ArgInfo.DispatchID = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 204 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 205 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 206 | return ArgInfo.DispatchID.getRegister(); | 
| Matt Arsenault | 8d718dc | 2016-07-22 17:01:30 +0000 | [diff] [blame] | 207 | } | 
|  | 208 |  | 
| Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 209 | unsigned SIMachineFunctionInfo::addFlatScratchInit(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 210 | ArgInfo.FlatScratchInit = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 211 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 212 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 213 | return ArgInfo.FlatScratchInit.getRegister(); | 
| Matt Arsenault | 296b849 | 2016-02-12 06:31:30 +0000 | [diff] [blame] | 214 | } | 
|  | 215 |  | 
| Matt Arsenault | 10fc062 | 2017-06-26 03:01:31 +0000 | [diff] [blame] | 216 | unsigned SIMachineFunctionInfo::addImplicitBufferPtr(const SIRegisterInfo &TRI) { | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 217 | ArgInfo.ImplicitBufferPtr = ArgDescriptor::createRegister(TRI.getMatchingSuperReg( | 
|  | 218 | getNextUserSGPR(), AMDGPU::sub0, &AMDGPU::SReg_64RegClass)); | 
| Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 219 | NumUserSGPRs += 2; | 
| Matt Arsenault | 8623e8d | 2017-08-03 23:00:29 +0000 | [diff] [blame] | 220 | return ArgInfo.ImplicitBufferPtr.getRegister(); | 
| Tom Stellard | 2f3f985 | 2017-01-25 01:25:13 +0000 | [diff] [blame] | 221 | } | 
|  | 222 |  | 
| Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 223 | static bool isCalleeSavedReg(const MCPhysReg *CSRegs, MCPhysReg Reg) { | 
|  | 224 | for (unsigned I = 0; CSRegs[I]; ++I) { | 
|  | 225 | if (CSRegs[I] == Reg) | 
|  | 226 | return true; | 
|  | 227 | } | 
|  | 228 |  | 
|  | 229 | return false; | 
|  | 230 | } | 
|  | 231 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 232 | /// Reserve a slice of a VGPR to support spilling for FrameIndex \p FI. | 
|  | 233 | bool SIMachineFunctionInfo::allocateSGPRSpillToVGPR(MachineFunction &MF, | 
|  | 234 | int FI) { | 
|  | 235 | std::vector<SpilledReg> &SpillLanes = SGPRToVGPRSpills[FI]; | 
| Matt Arsenault | 8d4b0ed | 2016-06-23 20:00:34 +0000 | [diff] [blame] | 236 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 237 | // This has already been allocated. | 
|  | 238 | if (!SpillLanes.empty()) | 
|  | 239 | return true; | 
|  | 240 |  | 
| Tom Stellard | 5bfbae5 | 2018-07-11 20:59:01 +0000 | [diff] [blame] | 241 | const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>(); | 
| Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 242 | const SIRegisterInfo *TRI = ST.getRegisterInfo(); | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 243 | MachineFrameInfo &FrameInfo = MF.getFrameInfo(); | 
|  | 244 | MachineRegisterInfo &MRI = MF.getRegInfo(); | 
|  | 245 | unsigned WaveSize = ST.getWavefrontSize(); | 
| Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 246 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 247 | unsigned Size = FrameInfo.getObjectSize(FI); | 
|  | 248 | assert(Size >= 4 && Size <= 64 && "invalid sgpr spill size"); | 
|  | 249 | assert(TRI->spillSGPRToVGPR() && "not spilling SGPRs to VGPRs"); | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 250 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 251 | int NumLanes = Size / 4; | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 252 |  | 
| Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 253 | const MCPhysReg *CSRegs = TRI->getCalleeSavedRegs(&MF); | 
|  | 254 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 255 | // Make sure to handle the case where a wide SGPR spill may span between two | 
|  | 256 | // VGPRs. | 
|  | 257 | for (int I = 0; I < NumLanes; ++I, ++NumVGPRSpillLanes) { | 
|  | 258 | unsigned LaneVGPR; | 
|  | 259 | unsigned VGPRIndex = (NumVGPRSpillLanes % WaveSize); | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 260 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 261 | if (VGPRIndex == 0) { | 
|  | 262 | LaneVGPR = TRI->findUnusedRegister(MRI, &AMDGPU::VGPR_32RegClass, MF); | 
|  | 263 | if (LaneVGPR == AMDGPU::NoRegister) { | 
| Tim Renouf | 6cb007f | 2017-09-11 08:31:32 +0000 | [diff] [blame] | 264 | // We have no VGPRs left for spilling SGPRs. Reset because we will not | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 265 | // partially spill the SGPR to VGPRs. | 
|  | 266 | SGPRToVGPRSpills.erase(FI); | 
|  | 267 | NumVGPRSpillLanes -= I; | 
|  | 268 | return false; | 
|  | 269 | } | 
| Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 270 |  | 
| Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 271 | Optional<int> CSRSpillFI; | 
| Matt Arsenault | 17f3338 | 2018-03-27 19:42:55 +0000 | [diff] [blame] | 272 | if ((FrameInfo.hasCalls() || !isEntryFunction()) && CSRegs && | 
|  | 273 | isCalleeSavedReg(CSRegs, LaneVGPR)) { | 
|  | 274 | CSRSpillFI = FrameInfo.CreateSpillStackObject(4, 4); | 
| Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 275 | } | 
|  | 276 |  | 
|  | 277 | SpillVGPRs.push_back(SGPRSpillVGPRCSR(LaneVGPR, CSRSpillFI)); | 
| Nicolai Haehnle | e705aad | 2016-01-04 15:50:01 +0000 | [diff] [blame] | 278 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 279 | // Add this register as live-in to all blocks to avoid machine verifer | 
|  | 280 | // complaining about use of an undefined physical register. | 
|  | 281 | for (MachineBasicBlock &BB : MF) | 
|  | 282 | BB.addLiveIn(LaneVGPR); | 
|  | 283 | } else { | 
| Matt Arsenault | 8e8f8f4 | 2017-08-02 01:52:45 +0000 | [diff] [blame] | 284 | LaneVGPR = SpillVGPRs.back().VGPR; | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 285 | } | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 286 |  | 
|  | 287 | SpillLanes.push_back(SpilledReg(LaneVGPR, VGPRIndex)); | 
| Tom Stellard | c5cf2f0 | 2014-08-21 20:40:54 +0000 | [diff] [blame] | 288 | } | 
|  | 289 |  | 
| Matt Arsenault | e0bf7d0 | 2017-02-21 19:12:08 +0000 | [diff] [blame] | 290 | return true; | 
|  | 291 | } | 
|  | 292 |  | 
|  | 293 | void SIMachineFunctionInfo::removeSGPRToVGPRFrameIndices(MachineFrameInfo &MFI) { | 
|  | 294 | for (auto &R : SGPRToVGPRSpills) | 
|  | 295 | MFI.RemoveStackObject(R.first); | 
| Sander de Smalen | 7f23e0a | 2019-04-02 09:46:52 +0000 | [diff] [blame] | 296 | // All other SPGRs must be allocated on the default stack, so reset | 
|  | 297 | // the stack ID. | 
|  | 298 | for (unsigned i = MFI.getObjectIndexBegin(), e = MFI.getObjectIndexEnd(); | 
|  | 299 | i != e; ++i) | 
|  | 300 | MFI.setStackID(i, 0); | 
| Tom Stellard | c149dc0 | 2013-11-27 21:23:35 +0000 | [diff] [blame] | 301 | } | 
| Tom Stellard | 44b30b4 | 2018-05-22 02:03:23 +0000 | [diff] [blame] | 302 |  | 
|  | 303 |  | 
|  | 304 | /// \returns VGPR used for \p Dim' work item ID. | 
|  | 305 | unsigned SIMachineFunctionInfo::getWorkItemIDVGPR(unsigned Dim) const { | 
|  | 306 | switch (Dim) { | 
|  | 307 | case 0: | 
|  | 308 | assert(hasWorkItemIDX()); | 
|  | 309 | return AMDGPU::VGPR0; | 
|  | 310 | case 1: | 
|  | 311 | assert(hasWorkItemIDY()); | 
|  | 312 | return AMDGPU::VGPR1; | 
|  | 313 | case 2: | 
|  | 314 | assert(hasWorkItemIDZ()); | 
|  | 315 | return AMDGPU::VGPR2; | 
|  | 316 | } | 
|  | 317 | llvm_unreachable("unexpected dimension"); | 
|  | 318 | } | 
|  | 319 |  | 
|  | 320 | MCPhysReg SIMachineFunctionInfo::getNextUserSGPR() const { | 
|  | 321 | assert(NumSystemSGPRs == 0 && "System SGPRs must be added after user SGPRs"); | 
|  | 322 | return AMDGPU::SGPR0 + NumUserSGPRs; | 
|  | 323 | } | 
|  | 324 |  | 
|  | 325 | MCPhysReg SIMachineFunctionInfo::getNextSystemSGPR() const { | 
|  | 326 | return AMDGPU::SGPR0 + NumUserSGPRs + NumSystemSGPRs; | 
|  | 327 | } | 
| Matt Arsenault | bc6d07c | 2019-03-14 22:54:43 +0000 | [diff] [blame] | 328 |  | 
|  | 329 | static yaml::StringValue regToString(unsigned Reg, | 
|  | 330 | const TargetRegisterInfo &TRI) { | 
|  | 331 | yaml::StringValue Dest; | 
| Tim Renouf | 8723a56 | 2019-03-18 19:00:46 +0000 | [diff] [blame] | 332 | { | 
|  | 333 | raw_string_ostream OS(Dest.Value); | 
|  | 334 | OS << printReg(Reg, &TRI); | 
|  | 335 | } | 
| Matt Arsenault | bc6d07c | 2019-03-14 22:54:43 +0000 | [diff] [blame] | 336 | return Dest; | 
|  | 337 | } | 
|  | 338 |  | 
|  | 339 | yaml::SIMachineFunctionInfo::SIMachineFunctionInfo( | 
|  | 340 | const llvm::SIMachineFunctionInfo& MFI, | 
|  | 341 | const TargetRegisterInfo &TRI) | 
|  | 342 | : ExplicitKernArgSize(MFI.getExplicitKernArgSize()), | 
|  | 343 | MaxKernArgAlign(MFI.getMaxKernArgAlign()), | 
|  | 344 | LDSSize(MFI.getLDSSize()), | 
|  | 345 | IsEntryFunction(MFI.isEntryFunction()), | 
|  | 346 | NoSignedZerosFPMath(MFI.hasNoSignedZerosFPMath()), | 
|  | 347 | MemoryBound(MFI.isMemoryBound()), | 
|  | 348 | WaveLimiter(MFI.needsWaveLimiter()), | 
|  | 349 | ScratchRSrcReg(regToString(MFI.getScratchRSrcReg(), TRI)), | 
|  | 350 | ScratchWaveOffsetReg(regToString(MFI.getScratchWaveOffsetReg(), TRI)), | 
|  | 351 | FrameOffsetReg(regToString(MFI.getFrameOffsetReg(), TRI)), | 
|  | 352 | StackPtrOffsetReg(regToString(MFI.getStackPtrOffsetReg(), TRI)) {} | 
|  | 353 |  | 
|  | 354 | void yaml::SIMachineFunctionInfo::mappingImpl(yaml::IO &YamlIO) { | 
|  | 355 | MappingTraits<SIMachineFunctionInfo>::mapping(YamlIO, *this); | 
|  | 356 | } | 
|  | 357 |  | 
|  | 358 | bool SIMachineFunctionInfo::initializeBaseYamlFields( | 
|  | 359 | const yaml::SIMachineFunctionInfo &YamlMFI) { | 
|  | 360 | ExplicitKernArgSize = YamlMFI.ExplicitKernArgSize; | 
|  | 361 | MaxKernArgAlign = YamlMFI.MaxKernArgAlign; | 
|  | 362 | LDSSize = YamlMFI.LDSSize; | 
|  | 363 | IsEntryFunction = YamlMFI.IsEntryFunction; | 
|  | 364 | NoSignedZerosFPMath = YamlMFI.NoSignedZerosFPMath; | 
|  | 365 | MemoryBound = YamlMFI.MemoryBound; | 
|  | 366 | WaveLimiter = YamlMFI.WaveLimiter; | 
|  | 367 | return false; | 
|  | 368 | } |