Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 1 | //===- AMDGPUBaseInfo.cpp - AMDGPU Base encoding information --------------===// |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +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 | // |
| 8 | //===----------------------------------------------------------------------===// |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 9 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 10 | #include "AMDGPUBaseInfo.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 11 | #include "AMDGPU.h" |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 12 | #include "SIDefines.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 13 | #include "llvm/ADT/StringRef.h" |
| 14 | #include "llvm/ADT/Triple.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 15 | #include "llvm/BinaryFormat/ELF.h" |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineMemOperand.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Attributes.h" |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 18 | #include "llvm/IR/Constants.h" |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 19 | #include "llvm/IR/Function.h" |
Tom Stellard | e3b5aea | 2015-12-02 17:00:42 +0000 | [diff] [blame] | 20 | #include "llvm/IR/GlobalValue.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Instruction.h" |
Tom Stellard | ca16621 | 2017-01-30 21:56:46 +0000 | [diff] [blame] | 22 | #include "llvm/IR/LLVMContext.h" |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Module.h" |
Tom Stellard | e135ffd | 2015-09-25 21:41:28 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCContext.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCInstrDesc.h" |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCRegisterInfo.h" |
Tom Stellard | e135ffd | 2015-09-25 21:41:28 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCSectionELF.h" |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 28 | #include "llvm/MC/MCSubtargetInfo.h" |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 29 | #include "llvm/MC/SubtargetFeature.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 30 | #include "llvm/Support/Casting.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 31 | #include "llvm/Support/ErrorHandling.h" |
| 32 | #include "llvm/Support/MathExtras.h" |
| 33 | #include <algorithm> |
| 34 | #include <cassert> |
| 35 | #include <cstdint> |
| 36 | #include <cstring> |
| 37 | #include <utility> |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 38 | |
Matt Arsenault | 678e111 | 2017-04-10 17:58:06 +0000 | [diff] [blame] | 39 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 40 | |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 41 | #define GET_INSTRINFO_NAMED_OPS |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 42 | #include "AMDGPUGenInstrInfo.inc" |
| 43 | #undef GET_INSTRINFO_NAMED_OPS |
Sam Kolton | a3ec5c1 | 2016-10-07 14:46:06 +0000 | [diff] [blame] | 44 | |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 45 | namespace { |
| 46 | |
| 47 | /// \returns Bit mask for given bit \p Shift and bit \p Width. |
| 48 | unsigned getBitMask(unsigned Shift, unsigned Width) { |
| 49 | return ((1 << Width) - 1) << Shift; |
| 50 | } |
| 51 | |
| 52 | /// \brief Packs \p Src into \p Dst for given bit \p Shift and bit \p Width. |
| 53 | /// |
| 54 | /// \returns Packed \p Dst. |
| 55 | unsigned packBits(unsigned Src, unsigned Dst, unsigned Shift, unsigned Width) { |
| 56 | Dst &= ~(1 << Shift) & ~getBitMask(Shift, Width); |
| 57 | Dst |= (Src << Shift) & getBitMask(Shift, Width); |
| 58 | return Dst; |
| 59 | } |
| 60 | |
| 61 | /// \brief Unpacks bits from \p Src for given bit \p Shift and bit \p Width. |
| 62 | /// |
| 63 | /// \returns Unpacked bits. |
| 64 | unsigned unpackBits(unsigned Src, unsigned Shift, unsigned Width) { |
| 65 | return (Src & getBitMask(Shift, Width)) >> Shift; |
| 66 | } |
| 67 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 68 | /// \returns Vmcnt bit shift (lower bits). |
| 69 | unsigned getVmcntBitShiftLo() { return 0; } |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 70 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 71 | /// \returns Vmcnt bit width (lower bits). |
| 72 | unsigned getVmcntBitWidthLo() { return 4; } |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 73 | |
| 74 | /// \returns Expcnt bit shift. |
| 75 | unsigned getExpcntBitShift() { return 4; } |
| 76 | |
| 77 | /// \returns Expcnt bit width. |
| 78 | unsigned getExpcntBitWidth() { return 3; } |
| 79 | |
| 80 | /// \returns Lgkmcnt bit shift. |
| 81 | unsigned getLgkmcntBitShift() { return 8; } |
| 82 | |
| 83 | /// \returns Lgkmcnt bit width. |
| 84 | unsigned getLgkmcntBitWidth() { return 4; } |
| 85 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 86 | /// \returns Vmcnt bit shift (higher bits). |
| 87 | unsigned getVmcntBitShiftHi() { return 14; } |
| 88 | |
| 89 | /// \returns Vmcnt bit width (higher bits). |
| 90 | unsigned getVmcntBitWidthHi() { return 2; } |
| 91 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 92 | } // end namespace anonymous |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 93 | |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 94 | namespace llvm { |
Konstantin Zhuravlyov | 3d1cc88 | 2017-04-21 19:45:22 +0000 | [diff] [blame] | 95 | |
| 96 | static cl::opt<bool> EnablePackedInlinableLiterals( |
| 97 | "enable-packed-inlinable-literals", |
| 98 | cl::desc("Enable packed inlinable literals (v2f16, v2i16)"), |
| 99 | cl::init(false)); |
| 100 | |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 101 | namespace AMDGPU { |
| 102 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 103 | namespace IsaInfo { |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 104 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 105 | IsaVersion getIsaVersion(const FeatureBitset &Features) { |
Wei Ding | 7c3e511 | 2017-06-10 03:53:19 +0000 | [diff] [blame] | 106 | // SI. |
| 107 | if (Features.test(FeatureISAVersion6_0_0)) |
| 108 | return {6, 0, 0}; |
| 109 | if (Features.test(FeatureISAVersion6_0_1)) |
| 110 | return {6, 0, 1}; |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 111 | // CI. |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 112 | if (Features.test(FeatureISAVersion7_0_0)) |
| 113 | return {7, 0, 0}; |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 114 | if (Features.test(FeatureISAVersion7_0_1)) |
| 115 | return {7, 0, 1}; |
Yaxun Liu | 94add85 | 2016-10-26 16:37:56 +0000 | [diff] [blame] | 116 | if (Features.test(FeatureISAVersion7_0_2)) |
| 117 | return {7, 0, 2}; |
Wei Ding | 7c3e511 | 2017-06-10 03:53:19 +0000 | [diff] [blame] | 118 | if (Features.test(FeatureISAVersion7_0_3)) |
| 119 | return {7, 0, 3}; |
Yaxun Liu | 94add85 | 2016-10-26 16:37:56 +0000 | [diff] [blame] | 120 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 121 | // VI. |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 122 | if (Features.test(FeatureISAVersion8_0_0)) |
| 123 | return {8, 0, 0}; |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 124 | if (Features.test(FeatureISAVersion8_0_1)) |
| 125 | return {8, 0, 1}; |
Changpeng Fang | 98317d2 | 2016-10-11 16:00:47 +0000 | [diff] [blame] | 126 | if (Features.test(FeatureISAVersion8_0_2)) |
| 127 | return {8, 0, 2}; |
Changpeng Fang | c16be00 | 2016-01-13 20:39:25 +0000 | [diff] [blame] | 128 | if (Features.test(FeatureISAVersion8_0_3)) |
| 129 | return {8, 0, 3}; |
Yaxun Liu | 94add85 | 2016-10-26 16:37:56 +0000 | [diff] [blame] | 130 | if (Features.test(FeatureISAVersion8_0_4)) |
| 131 | return {8, 0, 4}; |
Yaxun Liu | 94add85 | 2016-10-26 16:37:56 +0000 | [diff] [blame] | 132 | if (Features.test(FeatureISAVersion8_1_0)) |
| 133 | return {8, 1, 0}; |
| 134 | |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 135 | // GFX9. |
| 136 | if (Features.test(FeatureISAVersion9_0_0)) |
| 137 | return {9, 0, 0}; |
| 138 | if (Features.test(FeatureISAVersion9_0_1)) |
| 139 | return {9, 0, 1}; |
Wei Ding | 7c3e511 | 2017-06-10 03:53:19 +0000 | [diff] [blame] | 140 | if (Features.test(FeatureISAVersion9_0_2)) |
| 141 | return {9, 0, 2}; |
| 142 | if (Features.test(FeatureISAVersion9_0_3)) |
| 143 | return {9, 0, 3}; |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 144 | |
Konstantin Zhuravlyov | 94b3b47 | 2017-07-11 17:57:41 +0000 | [diff] [blame] | 145 | if (!Features.test(FeatureGCN) || Features.test(FeatureSouthernIslands)) |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 146 | return {0, 0, 0}; |
| 147 | return {7, 0, 0}; |
Tom Stellard | 347ac79 | 2015-06-26 21:15:07 +0000 | [diff] [blame] | 148 | } |
| 149 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 150 | unsigned getWavefrontSize(const FeatureBitset &Features) { |
| 151 | if (Features.test(FeatureWavefrontSize16)) |
| 152 | return 16; |
| 153 | if (Features.test(FeatureWavefrontSize32)) |
| 154 | return 32; |
| 155 | |
| 156 | return 64; |
| 157 | } |
| 158 | |
| 159 | unsigned getLocalMemorySize(const FeatureBitset &Features) { |
| 160 | if (Features.test(FeatureLocalMemorySize32768)) |
| 161 | return 32768; |
| 162 | if (Features.test(FeatureLocalMemorySize65536)) |
| 163 | return 65536; |
| 164 | |
| 165 | return 0; |
| 166 | } |
| 167 | |
| 168 | unsigned getEUsPerCU(const FeatureBitset &Features) { |
| 169 | return 4; |
| 170 | } |
| 171 | |
| 172 | unsigned getMaxWorkGroupsPerCU(const FeatureBitset &Features, |
| 173 | unsigned FlatWorkGroupSize) { |
| 174 | if (!Features.test(FeatureGCN)) |
| 175 | return 8; |
Stanislav Mekhanoshin | 19f98c6 | 2017-02-15 01:03:59 +0000 | [diff] [blame] | 176 | unsigned N = getWavesPerWorkGroup(Features, FlatWorkGroupSize); |
| 177 | if (N == 1) |
| 178 | return 40; |
| 179 | N = 40 / N; |
| 180 | return std::min(N, 16u); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 181 | } |
| 182 | |
| 183 | unsigned getMaxWavesPerCU(const FeatureBitset &Features) { |
| 184 | return getMaxWavesPerEU(Features) * getEUsPerCU(Features); |
| 185 | } |
| 186 | |
| 187 | unsigned getMaxWavesPerCU(const FeatureBitset &Features, |
| 188 | unsigned FlatWorkGroupSize) { |
| 189 | return getWavesPerWorkGroup(Features, FlatWorkGroupSize); |
| 190 | } |
| 191 | |
| 192 | unsigned getMinWavesPerEU(const FeatureBitset &Features) { |
| 193 | return 1; |
| 194 | } |
| 195 | |
| 196 | unsigned getMaxWavesPerEU(const FeatureBitset &Features) { |
| 197 | if (!Features.test(FeatureGCN)) |
| 198 | return 8; |
| 199 | // FIXME: Need to take scratch memory into account. |
| 200 | return 10; |
| 201 | } |
| 202 | |
| 203 | unsigned getMaxWavesPerEU(const FeatureBitset &Features, |
| 204 | unsigned FlatWorkGroupSize) { |
| 205 | return alignTo(getMaxWavesPerCU(Features, FlatWorkGroupSize), |
| 206 | getEUsPerCU(Features)) / getEUsPerCU(Features); |
| 207 | } |
| 208 | |
| 209 | unsigned getMinFlatWorkGroupSize(const FeatureBitset &Features) { |
| 210 | return 1; |
| 211 | } |
| 212 | |
| 213 | unsigned getMaxFlatWorkGroupSize(const FeatureBitset &Features) { |
| 214 | return 2048; |
| 215 | } |
| 216 | |
| 217 | unsigned getWavesPerWorkGroup(const FeatureBitset &Features, |
| 218 | unsigned FlatWorkGroupSize) { |
| 219 | return alignTo(FlatWorkGroupSize, getWavefrontSize(Features)) / |
| 220 | getWavefrontSize(Features); |
| 221 | } |
| 222 | |
| 223 | unsigned getSGPRAllocGranule(const FeatureBitset &Features) { |
| 224 | IsaVersion Version = getIsaVersion(Features); |
| 225 | if (Version.Major >= 8) |
| 226 | return 16; |
| 227 | return 8; |
| 228 | } |
| 229 | |
| 230 | unsigned getSGPREncodingGranule(const FeatureBitset &Features) { |
| 231 | return 8; |
| 232 | } |
| 233 | |
| 234 | unsigned getTotalNumSGPRs(const FeatureBitset &Features) { |
| 235 | IsaVersion Version = getIsaVersion(Features); |
| 236 | if (Version.Major >= 8) |
| 237 | return 800; |
| 238 | return 512; |
| 239 | } |
| 240 | |
| 241 | unsigned getAddressableNumSGPRs(const FeatureBitset &Features) { |
| 242 | if (Features.test(FeatureSGPRInitBug)) |
| 243 | return FIXED_NUM_SGPRS_FOR_INIT_BUG; |
| 244 | |
| 245 | IsaVersion Version = getIsaVersion(Features); |
| 246 | if (Version.Major >= 8) |
| 247 | return 102; |
| 248 | return 104; |
| 249 | } |
| 250 | |
| 251 | unsigned getMinNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 252 | assert(WavesPerEU != 0); |
| 253 | |
| 254 | if (WavesPerEU >= getMaxWavesPerEU(Features)) |
| 255 | return 0; |
| 256 | unsigned MinNumSGPRs = |
| 257 | alignDown(getTotalNumSGPRs(Features) / (WavesPerEU + 1), |
| 258 | getSGPRAllocGranule(Features)) + 1; |
| 259 | return std::min(MinNumSGPRs, getAddressableNumSGPRs(Features)); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 260 | } |
| 261 | |
| 262 | unsigned getMaxNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU, |
| 263 | bool Addressable) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 264 | assert(WavesPerEU != 0); |
| 265 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 266 | IsaVersion Version = getIsaVersion(Features); |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 267 | unsigned MaxNumSGPRs = alignDown(getTotalNumSGPRs(Features) / WavesPerEU, |
| 268 | getSGPRAllocGranule(Features)); |
| 269 | unsigned AddressableNumSGPRs = getAddressableNumSGPRs(Features); |
| 270 | if (Version.Major >= 8 && !Addressable) |
| 271 | AddressableNumSGPRs = 112; |
| 272 | return std::min(MaxNumSGPRs, AddressableNumSGPRs); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 273 | } |
| 274 | |
| 275 | unsigned getVGPRAllocGranule(const FeatureBitset &Features) { |
| 276 | return 4; |
| 277 | } |
| 278 | |
| 279 | unsigned getVGPREncodingGranule(const FeatureBitset &Features) { |
| 280 | return getVGPRAllocGranule(Features); |
| 281 | } |
| 282 | |
| 283 | unsigned getTotalNumVGPRs(const FeatureBitset &Features) { |
| 284 | return 256; |
| 285 | } |
| 286 | |
| 287 | unsigned getAddressableNumVGPRs(const FeatureBitset &Features) { |
| 288 | return getTotalNumVGPRs(Features); |
| 289 | } |
| 290 | |
| 291 | unsigned getMinNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 292 | assert(WavesPerEU != 0); |
| 293 | |
| 294 | if (WavesPerEU >= getMaxWavesPerEU(Features)) |
| 295 | return 0; |
| 296 | unsigned MinNumVGPRs = |
| 297 | alignDown(getTotalNumVGPRs(Features) / (WavesPerEU + 1), |
| 298 | getVGPRAllocGranule(Features)) + 1; |
| 299 | return std::min(MinNumVGPRs, getAddressableNumVGPRs(Features)); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 300 | } |
| 301 | |
| 302 | unsigned getMaxNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) { |
Konstantin Zhuravlyov | fd87137 | 2017-02-09 21:33:23 +0000 | [diff] [blame] | 303 | assert(WavesPerEU != 0); |
| 304 | |
| 305 | unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(Features) / WavesPerEU, |
| 306 | getVGPRAllocGranule(Features)); |
| 307 | unsigned AddressableNumVGPRs = getAddressableNumVGPRs(Features); |
| 308 | return std::min(MaxNumVGPRs, AddressableNumVGPRs); |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 309 | } |
| 310 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 311 | } // end namespace IsaInfo |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 312 | |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 313 | void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header, |
| 314 | const FeatureBitset &Features) { |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 315 | IsaInfo::IsaVersion ISA = IsaInfo::getIsaVersion(Features); |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 316 | |
| 317 | memset(&Header, 0, sizeof(Header)); |
| 318 | |
| 319 | Header.amd_kernel_code_version_major = 1; |
Konstantin Zhuravlyov | 182e9cc | 2017-02-28 17:17:52 +0000 | [diff] [blame] | 320 | Header.amd_kernel_code_version_minor = 1; |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 321 | Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU |
| 322 | Header.amd_machine_version_major = ISA.Major; |
| 323 | Header.amd_machine_version_minor = ISA.Minor; |
| 324 | Header.amd_machine_version_stepping = ISA.Stepping; |
| 325 | Header.kernel_code_entry_byte_offset = sizeof(Header); |
| 326 | // wavefront_size is specified as a power of 2: 2^6 = 64 threads. |
| 327 | Header.wavefront_size = 6; |
Matt Arsenault | 5d91019 | 2017-01-25 20:21:57 +0000 | [diff] [blame] | 328 | |
| 329 | // If the code object does not support indirect functions, then the value must |
| 330 | // be 0xffffffff. |
| 331 | Header.call_convention = -1; |
| 332 | |
Tom Stellard | ff7416b | 2015-06-26 21:58:31 +0000 | [diff] [blame] | 333 | // These alignment values are specified in powers of two, so alignment = |
| 334 | // 2^n. The minimum alignment is 2^4 = 16. |
| 335 | Header.kernarg_segment_alignment = 4; |
| 336 | Header.group_segment_alignment = 4; |
| 337 | Header.private_segment_alignment = 4; |
| 338 | } |
| 339 | |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 340 | bool isGroupSegment(const GlobalValue *GV, AMDGPUAS AS) { |
| 341 | return GV->getType()->getAddressSpace() == AS.LOCAL_ADDRESS; |
Tom Stellard | e3b5aea | 2015-12-02 17:00:42 +0000 | [diff] [blame] | 342 | } |
| 343 | |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 344 | bool isGlobalSegment(const GlobalValue *GV, AMDGPUAS AS) { |
| 345 | return GV->getType()->getAddressSpace() == AS.GLOBAL_ADDRESS; |
Tom Stellard | 00f2f91 | 2015-12-02 19:47:57 +0000 | [diff] [blame] | 346 | } |
| 347 | |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 348 | bool isReadOnlySegment(const GlobalValue *GV, AMDGPUAS AS) { |
| 349 | return GV->getType()->getAddressSpace() == AS.CONSTANT_ADDRESS; |
Tom Stellard | 00f2f91 | 2015-12-02 19:47:57 +0000 | [diff] [blame] | 350 | } |
| 351 | |
Konstantin Zhuravlyov | 08326b6 | 2016-10-20 18:12:38 +0000 | [diff] [blame] | 352 | bool shouldEmitConstantsToTextSection(const Triple &TT) { |
| 353 | return TT.getOS() != Triple::AMDHSA; |
| 354 | } |
| 355 | |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 356 | int getIntegerAttribute(const Function &F, StringRef Name, int Default) { |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 357 | Attribute A = F.getFnAttribute(Name); |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 358 | int Result = Default; |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 359 | |
| 360 | if (A.isStringAttribute()) { |
| 361 | StringRef Str = A.getValueAsString(); |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 362 | if (Str.getAsInteger(0, Result)) { |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 363 | LLVMContext &Ctx = F.getContext(); |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 364 | Ctx.emitError("can't parse integer attribute " + Name); |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 365 | } |
| 366 | } |
Matt Arsenault | 8300272 | 2016-05-12 02:45:18 +0000 | [diff] [blame] | 367 | |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 368 | return Result; |
| 369 | } |
| 370 | |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 371 | std::pair<int, int> getIntegerPairAttribute(const Function &F, |
| 372 | StringRef Name, |
| 373 | std::pair<int, int> Default, |
| 374 | bool OnlyFirstRequired) { |
| 375 | Attribute A = F.getFnAttribute(Name); |
| 376 | if (!A.isStringAttribute()) |
| 377 | return Default; |
| 378 | |
| 379 | LLVMContext &Ctx = F.getContext(); |
| 380 | std::pair<int, int> Ints = Default; |
| 381 | std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(','); |
| 382 | if (Strs.first.trim().getAsInteger(0, Ints.first)) { |
| 383 | Ctx.emitError("can't parse first integer attribute " + Name); |
| 384 | return Default; |
| 385 | } |
| 386 | if (Strs.second.trim().getAsInteger(0, Ints.second)) { |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 387 | if (!OnlyFirstRequired || !Strs.second.trim().empty()) { |
Konstantin Zhuravlyov | 1d65026 | 2016-09-06 20:22:28 +0000 | [diff] [blame] | 388 | Ctx.emitError("can't parse second integer attribute " + Name); |
| 389 | return Default; |
| 390 | } |
| 391 | } |
| 392 | |
| 393 | return Ints; |
Tom Stellard | 79a1fd7 | 2016-04-14 16:27:07 +0000 | [diff] [blame] | 394 | } |
| 395 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 396 | unsigned getVmcntBitMask(const IsaInfo::IsaVersion &Version) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 397 | unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1; |
| 398 | if (Version.Major < 9) |
| 399 | return VmcntLo; |
| 400 | |
| 401 | unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo(); |
| 402 | return VmcntLo | VmcntHi; |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 403 | } |
| 404 | |
| 405 | unsigned getExpcntBitMask(const IsaInfo::IsaVersion &Version) { |
| 406 | return (1 << getExpcntBitWidth()) - 1; |
| 407 | } |
| 408 | |
| 409 | unsigned getLgkmcntBitMask(const IsaInfo::IsaVersion &Version) { |
| 410 | return (1 << getLgkmcntBitWidth()) - 1; |
| 411 | } |
| 412 | |
| 413 | unsigned getWaitcntBitMask(const IsaInfo::IsaVersion &Version) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 414 | unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 415 | unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth()); |
| 416 | unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth()); |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 417 | unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt; |
| 418 | if (Version.Major < 9) |
| 419 | return Waitcnt; |
| 420 | |
| 421 | unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
| 422 | return Waitcnt | VmcntHi; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 423 | } |
| 424 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 425 | unsigned decodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 426 | unsigned VmcntLo = |
| 427 | unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
| 428 | if (Version.Major < 9) |
| 429 | return VmcntLo; |
| 430 | |
| 431 | unsigned VmcntHi = |
| 432 | unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
| 433 | VmcntHi <<= getVmcntBitWidthLo(); |
| 434 | return VmcntLo | VmcntHi; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 435 | } |
| 436 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 437 | unsigned decodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 438 | return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth()); |
| 439 | } |
| 440 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 441 | unsigned decodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 442 | return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth()); |
| 443 | } |
| 444 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 445 | void decodeWaitcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt, |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 446 | unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) { |
| 447 | Vmcnt = decodeVmcnt(Version, Waitcnt); |
| 448 | Expcnt = decodeExpcnt(Version, Waitcnt); |
| 449 | Lgkmcnt = decodeLgkmcnt(Version, Waitcnt); |
| 450 | } |
| 451 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 452 | unsigned encodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt, |
| 453 | unsigned Vmcnt) { |
Matt Arsenault | e823d92 | 2017-02-18 18:29:53 +0000 | [diff] [blame] | 454 | Waitcnt = |
| 455 | packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo()); |
| 456 | if (Version.Major < 9) |
| 457 | return Waitcnt; |
| 458 | |
| 459 | Vmcnt >>= getVmcntBitWidthLo(); |
| 460 | return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi()); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 461 | } |
| 462 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 463 | unsigned encodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt, |
| 464 | unsigned Expcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 465 | return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth()); |
| 466 | } |
| 467 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 468 | unsigned encodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt, |
| 469 | unsigned Lgkmcnt) { |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 470 | return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth()); |
| 471 | } |
| 472 | |
Konstantin Zhuravlyov | 9f89ede | 2017-02-08 14:05:23 +0000 | [diff] [blame] | 473 | unsigned encodeWaitcnt(const IsaInfo::IsaVersion &Version, |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 474 | unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) { |
Konstantin Zhuravlyov | 31dbb03 | 2017-01-06 17:23:21 +0000 | [diff] [blame] | 475 | unsigned Waitcnt = getWaitcntBitMask(Version); |
Konstantin Zhuravlyov | cdd4547 | 2016-10-11 18:58:22 +0000 | [diff] [blame] | 476 | Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt); |
| 477 | Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt); |
| 478 | Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt); |
| 479 | return Waitcnt; |
Konstantin Zhuravlyov | 836cbff | 2016-09-30 17:01:40 +0000 | [diff] [blame] | 480 | } |
| 481 | |
Marek Olsak | fccabaf | 2016-01-13 11:45:36 +0000 | [diff] [blame] | 482 | unsigned getInitialPSInputAddr(const Function &F) { |
| 483 | return getIntegerAttribute(F, "InitialPSInputAddr", 0); |
Tom Stellard | ac00eb5 | 2015-12-15 16:26:16 +0000 | [diff] [blame] | 484 | } |
| 485 | |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 486 | bool isShader(CallingConv::ID cc) { |
| 487 | switch(cc) { |
| 488 | case CallingConv::AMDGPU_VS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 489 | case CallingConv::AMDGPU_LS: |
Marek Olsak | a302a736 | 2017-05-02 15:41:10 +0000 | [diff] [blame] | 490 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 491 | case CallingConv::AMDGPU_ES: |
Nicolai Haehnle | df3a20c | 2016-04-06 19:40:20 +0000 | [diff] [blame] | 492 | case CallingConv::AMDGPU_GS: |
| 493 | case CallingConv::AMDGPU_PS: |
| 494 | case CallingConv::AMDGPU_CS: |
| 495 | return true; |
| 496 | default: |
| 497 | return false; |
| 498 | } |
| 499 | } |
| 500 | |
| 501 | bool isCompute(CallingConv::ID cc) { |
| 502 | return !isShader(cc) || cc == CallingConv::AMDGPU_CS; |
| 503 | } |
| 504 | |
Matt Arsenault | e622dc3 | 2017-04-11 22:29:24 +0000 | [diff] [blame] | 505 | bool isEntryFunctionCC(CallingConv::ID CC) { |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 506 | switch (CC) { |
| 507 | case CallingConv::AMDGPU_KERNEL: |
| 508 | case CallingConv::SPIR_KERNEL: |
| 509 | case CallingConv::AMDGPU_VS: |
| 510 | case CallingConv::AMDGPU_GS: |
| 511 | case CallingConv::AMDGPU_PS: |
| 512 | case CallingConv::AMDGPU_CS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 513 | case CallingConv::AMDGPU_ES: |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 514 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 515 | case CallingConv::AMDGPU_LS: |
Matt Arsenault | 2b1f9aa | 2017-05-17 21:56:25 +0000 | [diff] [blame] | 516 | return true; |
| 517 | default: |
| 518 | return false; |
| 519 | } |
Matt Arsenault | e622dc3 | 2017-04-11 22:29:24 +0000 | [diff] [blame] | 520 | } |
| 521 | |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 522 | bool isSI(const MCSubtargetInfo &STI) { |
| 523 | return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands]; |
| 524 | } |
| 525 | |
| 526 | bool isCI(const MCSubtargetInfo &STI) { |
| 527 | return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands]; |
| 528 | } |
| 529 | |
| 530 | bool isVI(const MCSubtargetInfo &STI) { |
| 531 | return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]; |
| 532 | } |
| 533 | |
Sam Kolton | f7659d71 | 2017-05-23 10:08:55 +0000 | [diff] [blame] | 534 | bool isGFX9(const MCSubtargetInfo &STI) { |
| 535 | return STI.getFeatureBits()[AMDGPU::FeatureGFX9]; |
| 536 | } |
| 537 | |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 538 | bool isGCN3Encoding(const MCSubtargetInfo &STI) { |
| 539 | return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding]; |
| 540 | } |
| 541 | |
Sam Kolton | f7659d71 | 2017-05-23 10:08:55 +0000 | [diff] [blame] | 542 | bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) { |
| 543 | const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID); |
| 544 | const unsigned FirstSubReg = TRI->getSubReg(Reg, 1); |
| 545 | return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) || |
| 546 | Reg == AMDGPU::SCC; |
| 547 | } |
| 548 | |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 549 | bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) { |
Dmitry Preobrazhensky | 00deef8 | 2017-07-18 11:14:02 +0000 | [diff] [blame] | 550 | for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) { |
| 551 | if (*R == Reg1) return true; |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 552 | } |
Dmitry Preobrazhensky | dc4ac82 | 2017-06-21 14:41:34 +0000 | [diff] [blame] | 553 | return false; |
| 554 | } |
| 555 | |
Tom Stellard | 2b65ed3 | 2015-12-21 18:44:27 +0000 | [diff] [blame] | 556 | unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) { |
| 557 | |
| 558 | switch(Reg) { |
| 559 | default: break; |
| 560 | case AMDGPU::FLAT_SCR: |
| 561 | assert(!isSI(STI)); |
| 562 | return isCI(STI) ? AMDGPU::FLAT_SCR_ci : AMDGPU::FLAT_SCR_vi; |
| 563 | |
| 564 | case AMDGPU::FLAT_SCR_LO: |
| 565 | assert(!isSI(STI)); |
| 566 | return isCI(STI) ? AMDGPU::FLAT_SCR_LO_ci : AMDGPU::FLAT_SCR_LO_vi; |
| 567 | |
| 568 | case AMDGPU::FLAT_SCR_HI: |
| 569 | assert(!isSI(STI)); |
| 570 | return isCI(STI) ? AMDGPU::FLAT_SCR_HI_ci : AMDGPU::FLAT_SCR_HI_vi; |
| 571 | } |
| 572 | return Reg; |
| 573 | } |
| 574 | |
Dmitry Preobrazhensky | 03880f8 | 2017-03-03 14:31:06 +0000 | [diff] [blame] | 575 | unsigned mc2PseudoReg(unsigned Reg) { |
| 576 | switch (Reg) { |
| 577 | case AMDGPU::FLAT_SCR_ci: |
| 578 | case AMDGPU::FLAT_SCR_vi: |
| 579 | return FLAT_SCR; |
| 580 | |
| 581 | case AMDGPU::FLAT_SCR_LO_ci: |
| 582 | case AMDGPU::FLAT_SCR_LO_vi: |
| 583 | return AMDGPU::FLAT_SCR_LO; |
| 584 | |
| 585 | case AMDGPU::FLAT_SCR_HI_ci: |
| 586 | case AMDGPU::FLAT_SCR_HI_vi: |
| 587 | return AMDGPU::FLAT_SCR_HI; |
| 588 | |
| 589 | default: |
| 590 | return Reg; |
| 591 | } |
| 592 | } |
| 593 | |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 594 | bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 595 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 596 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 597 | return OpType >= AMDGPU::OPERAND_SRC_FIRST && |
| 598 | OpType <= AMDGPU::OPERAND_SRC_LAST; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 599 | } |
| 600 | |
| 601 | bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 602 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 603 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 604 | switch (OpType) { |
| 605 | case AMDGPU::OPERAND_REG_IMM_FP32: |
| 606 | case AMDGPU::OPERAND_REG_IMM_FP64: |
| 607 | case AMDGPU::OPERAND_REG_IMM_FP16: |
| 608 | case AMDGPU::OPERAND_REG_INLINE_C_FP32: |
| 609 | case AMDGPU::OPERAND_REG_INLINE_C_FP64: |
| 610 | case AMDGPU::OPERAND_REG_INLINE_C_FP16: |
Matt Arsenault | 9be7b0d | 2017-02-27 18:49:11 +0000 | [diff] [blame] | 611 | case AMDGPU::OPERAND_REG_INLINE_C_V2FP16: |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 612 | return true; |
| 613 | default: |
| 614 | return false; |
| 615 | } |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 616 | } |
| 617 | |
| 618 | bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 619 | assert(OpNo < Desc.NumOperands); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 620 | unsigned OpType = Desc.OpInfo[OpNo].OperandType; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 621 | return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST && |
| 622 | OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 623 | } |
| 624 | |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 625 | // Avoid using MCRegisterClass::getSize, since that function will go away |
| 626 | // (move from MC* level to Target* level). Return size in bits. |
Tom Stellard | b133fbb | 2016-10-27 23:05:31 +0000 | [diff] [blame] | 627 | unsigned getRegBitWidth(unsigned RCID) { |
| 628 | switch (RCID) { |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 629 | case AMDGPU::SGPR_32RegClassID: |
| 630 | case AMDGPU::VGPR_32RegClassID: |
| 631 | case AMDGPU::VS_32RegClassID: |
| 632 | case AMDGPU::SReg_32RegClassID: |
| 633 | case AMDGPU::SReg_32_XM0RegClassID: |
| 634 | return 32; |
| 635 | case AMDGPU::SGPR_64RegClassID: |
| 636 | case AMDGPU::VS_64RegClassID: |
| 637 | case AMDGPU::SReg_64RegClassID: |
| 638 | case AMDGPU::VReg_64RegClassID: |
| 639 | return 64; |
| 640 | case AMDGPU::VReg_96RegClassID: |
| 641 | return 96; |
| 642 | case AMDGPU::SGPR_128RegClassID: |
| 643 | case AMDGPU::SReg_128RegClassID: |
| 644 | case AMDGPU::VReg_128RegClassID: |
| 645 | return 128; |
| 646 | case AMDGPU::SReg_256RegClassID: |
| 647 | case AMDGPU::VReg_256RegClassID: |
| 648 | return 256; |
| 649 | case AMDGPU::SReg_512RegClassID: |
| 650 | case AMDGPU::VReg_512RegClassID: |
| 651 | return 512; |
| 652 | default: |
| 653 | llvm_unreachable("Unexpected register class"); |
| 654 | } |
| 655 | } |
| 656 | |
Tom Stellard | b133fbb | 2016-10-27 23:05:31 +0000 | [diff] [blame] | 657 | unsigned getRegBitWidth(const MCRegisterClass &RC) { |
| 658 | return getRegBitWidth(RC.getID()); |
| 659 | } |
| 660 | |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 661 | unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc, |
| 662 | unsigned OpNo) { |
Artem Tamazov | 43b6156 | 2017-02-03 12:47:30 +0000 | [diff] [blame] | 663 | assert(OpNo < Desc.NumOperands); |
Krzysztof Parzyszek | c871550 | 2016-10-19 17:40:36 +0000 | [diff] [blame] | 664 | unsigned RCID = Desc.OpInfo[OpNo].RegClass; |
| 665 | return getRegBitWidth(MRI->getRegClass(RCID)) / 8; |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 666 | } |
| 667 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 668 | bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) { |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 669 | if (Literal >= -16 && Literal <= 64) |
| 670 | return true; |
| 671 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 672 | uint64_t Val = static_cast<uint64_t>(Literal); |
| 673 | return (Val == DoubleToBits(0.0)) || |
| 674 | (Val == DoubleToBits(1.0)) || |
| 675 | (Val == DoubleToBits(-1.0)) || |
| 676 | (Val == DoubleToBits(0.5)) || |
| 677 | (Val == DoubleToBits(-0.5)) || |
| 678 | (Val == DoubleToBits(2.0)) || |
| 679 | (Val == DoubleToBits(-2.0)) || |
| 680 | (Val == DoubleToBits(4.0)) || |
| 681 | (Val == DoubleToBits(-4.0)) || |
| 682 | (Val == 0x3fc45f306dc9c882 && HasInv2Pi); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 683 | } |
| 684 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 685 | bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) { |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 686 | if (Literal >= -16 && Literal <= 64) |
| 687 | return true; |
| 688 | |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 689 | // The actual type of the operand does not seem to matter as long |
| 690 | // as the bits match one of the inline immediate values. For example: |
| 691 | // |
| 692 | // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal, |
| 693 | // so it is a legal inline immediate. |
| 694 | // |
| 695 | // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in |
| 696 | // floating-point, so it is a legal inline immediate. |
| 697 | |
Matt Arsenault | 26faed3 | 2016-12-05 22:26:17 +0000 | [diff] [blame] | 698 | uint32_t Val = static_cast<uint32_t>(Literal); |
| 699 | return (Val == FloatToBits(0.0f)) || |
| 700 | (Val == FloatToBits(1.0f)) || |
| 701 | (Val == FloatToBits(-1.0f)) || |
| 702 | (Val == FloatToBits(0.5f)) || |
| 703 | (Val == FloatToBits(-0.5f)) || |
| 704 | (Val == FloatToBits(2.0f)) || |
| 705 | (Val == FloatToBits(-2.0f)) || |
| 706 | (Val == FloatToBits(4.0f)) || |
| 707 | (Val == FloatToBits(-4.0f)) || |
| 708 | (Val == 0x3e22f983 && HasInv2Pi); |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 709 | } |
| 710 | |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 711 | bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) { |
Sam Kolton | 9dffada | 2017-01-17 15:26:02 +0000 | [diff] [blame] | 712 | if (!HasInv2Pi) |
| 713 | return false; |
Matt Arsenault | 4bd7236 | 2016-12-10 00:39:12 +0000 | [diff] [blame] | 714 | |
| 715 | if (Literal >= -16 && Literal <= 64) |
| 716 | return true; |
| 717 | |
| 718 | uint16_t Val = static_cast<uint16_t>(Literal); |
| 719 | return Val == 0x3C00 || // 1.0 |
| 720 | Val == 0xBC00 || // -1.0 |
| 721 | Val == 0x3800 || // 0.5 |
| 722 | Val == 0xB800 || // -0.5 |
| 723 | Val == 0x4000 || // 2.0 |
| 724 | Val == 0xC000 || // -2.0 |
| 725 | Val == 0x4400 || // 4.0 |
| 726 | Val == 0xC400 || // -4.0 |
| 727 | Val == 0x3118; // 1/2pi |
| 728 | } |
Sam Kolton | 1eeb11b | 2016-09-09 14:44:04 +0000 | [diff] [blame] | 729 | |
Matt Arsenault | 9be7b0d | 2017-02-27 18:49:11 +0000 | [diff] [blame] | 730 | bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) { |
| 731 | assert(HasInv2Pi); |
| 732 | |
Konstantin Zhuravlyov | 3d1cc88 | 2017-04-21 19:45:22 +0000 | [diff] [blame] | 733 | if (!EnablePackedInlinableLiterals) |
| 734 | return false; |
| 735 | |
Matt Arsenault | 9be7b0d | 2017-02-27 18:49:11 +0000 | [diff] [blame] | 736 | int16_t Lo16 = static_cast<int16_t>(Literal); |
| 737 | int16_t Hi16 = static_cast<int16_t>(Literal >> 16); |
| 738 | return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi); |
| 739 | } |
| 740 | |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 741 | bool isArgPassedInSGPR(const Argument *A) { |
| 742 | const Function *F = A->getParent(); |
| 743 | |
| 744 | // Arguments to compute shaders are never a source of divergence. |
| 745 | CallingConv::ID CC = F->getCallingConv(); |
| 746 | switch (CC) { |
| 747 | case CallingConv::AMDGPU_KERNEL: |
| 748 | case CallingConv::SPIR_KERNEL: |
| 749 | return true; |
| 750 | case CallingConv::AMDGPU_VS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 751 | case CallingConv::AMDGPU_LS: |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 752 | case CallingConv::AMDGPU_HS: |
Tim Renouf | ef1ae8f | 2017-09-29 09:51:22 +0000 | [diff] [blame] | 753 | case CallingConv::AMDGPU_ES: |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 754 | case CallingConv::AMDGPU_GS: |
| 755 | case CallingConv::AMDGPU_PS: |
| 756 | case CallingConv::AMDGPU_CS: |
| 757 | // For non-compute shaders, SGPR inputs are marked with either inreg or byval. |
| 758 | // Everything else is in VGPRs. |
| 759 | return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) || |
| 760 | F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal); |
| 761 | default: |
| 762 | // TODO: Should calls support inreg for SGPR inputs? |
| 763 | return false; |
| 764 | } |
| 765 | } |
| 766 | |
| 767 | // TODO: Should largely merge with AMDGPUTTIImpl::isSourceOfDivergence. |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 768 | bool isUniformMMO(const MachineMemOperand *MMO) { |
| 769 | const Value *Ptr = MMO->getValue(); |
| 770 | // UndefValue means this is a load of a kernel input. These are uniform. |
| 771 | // Sometimes LDS instructions have constant pointers. |
| 772 | // If Ptr is null, then that means this mem operand contains a |
| 773 | // PseudoSourceValue like GOT. |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 774 | if (!Ptr || isa<UndefValue>(Ptr) || |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 775 | isa<Constant>(Ptr) || isa<GlobalValue>(Ptr)) |
| 776 | return true; |
| 777 | |
Matt Arsenault | 894e53d | 2017-07-26 20:39:42 +0000 | [diff] [blame] | 778 | if (const Argument *Arg = dyn_cast<Argument>(Ptr)) |
| 779 | return isArgPassedInSGPR(Arg); |
| 780 | |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 781 | const Instruction *I = dyn_cast<Instruction>(Ptr); |
| 782 | return I && I->getMetadata("amdgpu.uniform"); |
| 783 | } |
| 784 | |
| 785 | int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) { |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 786 | if (isGCN3Encoding(ST)) |
| 787 | return ByteOffset; |
| 788 | return ByteOffset >> 2; |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 789 | } |
| 790 | |
| 791 | bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) { |
| 792 | int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset); |
Matt Arsenault | 8728c5f | 2017-08-07 14:58:04 +0000 | [diff] [blame] | 793 | return isGCN3Encoding(ST) ? |
| 794 | isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset); |
Tom Stellard | 08efb7e | 2017-01-27 18:41:14 +0000 | [diff] [blame] | 795 | } |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 796 | } // end namespace AMDGPU |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 797 | |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 798 | } // end namespace llvm |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 799 | |
| 800 | const unsigned AMDGPUAS::MAX_COMMON_ADDRESS; |
| 801 | const unsigned AMDGPUAS::GLOBAL_ADDRESS; |
| 802 | const unsigned AMDGPUAS::LOCAL_ADDRESS; |
| 803 | const unsigned AMDGPUAS::PARAM_D_ADDRESS; |
| 804 | const unsigned AMDGPUAS::PARAM_I_ADDRESS; |
| 805 | const unsigned AMDGPUAS::CONSTANT_BUFFER_0; |
| 806 | const unsigned AMDGPUAS::CONSTANT_BUFFER_1; |
| 807 | const unsigned AMDGPUAS::CONSTANT_BUFFER_2; |
| 808 | const unsigned AMDGPUAS::CONSTANT_BUFFER_3; |
| 809 | const unsigned AMDGPUAS::CONSTANT_BUFFER_4; |
| 810 | const unsigned AMDGPUAS::CONSTANT_BUFFER_5; |
| 811 | const unsigned AMDGPUAS::CONSTANT_BUFFER_6; |
| 812 | const unsigned AMDGPUAS::CONSTANT_BUFFER_7; |
| 813 | const unsigned AMDGPUAS::CONSTANT_BUFFER_8; |
| 814 | const unsigned AMDGPUAS::CONSTANT_BUFFER_9; |
| 815 | const unsigned AMDGPUAS::CONSTANT_BUFFER_10; |
| 816 | const unsigned AMDGPUAS::CONSTANT_BUFFER_11; |
| 817 | const unsigned AMDGPUAS::CONSTANT_BUFFER_12; |
| 818 | const unsigned AMDGPUAS::CONSTANT_BUFFER_13; |
| 819 | const unsigned AMDGPUAS::CONSTANT_BUFFER_14; |
| 820 | const unsigned AMDGPUAS::CONSTANT_BUFFER_15; |
| 821 | const unsigned AMDGPUAS::UNKNOWN_ADDRESS_SPACE; |
| 822 | |
| 823 | namespace llvm { |
| 824 | namespace AMDGPU { |
| 825 | |
| 826 | AMDGPUAS getAMDGPUAS(Triple T) { |
| 827 | auto Env = T.getEnvironmentName(); |
| 828 | AMDGPUAS AS; |
| 829 | if (Env == "amdgiz" || Env == "amdgizcl") { |
| 830 | AS.FLAT_ADDRESS = 0; |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 831 | AS.PRIVATE_ADDRESS = 5; |
Yaxun Liu | 76ae47c | 2017-04-06 19:17:32 +0000 | [diff] [blame] | 832 | AS.REGION_ADDRESS = 4; |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 833 | } |
| 834 | else { |
| 835 | AS.FLAT_ADDRESS = 4; |
Yaxun Liu | 1a14bfa | 2017-03-27 14:04:01 +0000 | [diff] [blame] | 836 | AS.PRIVATE_ADDRESS = 0; |
| 837 | AS.REGION_ADDRESS = 5; |
| 838 | } |
| 839 | return AS; |
| 840 | } |
| 841 | |
| 842 | AMDGPUAS getAMDGPUAS(const TargetMachine &M) { |
| 843 | return getAMDGPUAS(M.getTargetTriple()); |
| 844 | } |
| 845 | |
| 846 | AMDGPUAS getAMDGPUAS(const Module &M) { |
| 847 | return getAMDGPUAS(Triple(M.getTargetTriple())); |
| 848 | } |
| 849 | } // namespace AMDGPU |
| 850 | } // namespace llvm |