blob: 69572b85e1cf9ada0681673d7a2d3e5c359840b7 [file] [log] [blame]
Eugene Zelenkod96089b2017-02-14 00:33:36 +00001//===- AMDGPUBaseInfo.cpp - AMDGPU Base encoding information --------------===//
Tom Stellard347ac792015-06-26 21:15:07 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Eugene Zelenkod96089b2017-02-14 00:33:36 +00009
Eugene Zelenkod96089b2017-02-14 00:33:36 +000010#include "AMDGPUBaseInfo.h"
Alexander Timofeev2e5eece2018-03-05 15:12:21 +000011#include "AMDGPUTargetTransformInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000012#include "AMDGPU.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000013#include "SIDefines.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000014#include "llvm/ADT/StringRef.h"
15#include "llvm/ADT/Triple.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000016#include "llvm/BinaryFormat/ELF.h"
Tom Stellard08efb7e2017-01-27 18:41:14 +000017#include "llvm/CodeGen/MachineMemOperand.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000018#include "llvm/IR/Attributes.h"
Tom Stellard08efb7e2017-01-27 18:41:14 +000019#include "llvm/IR/Constants.h"
Tom Stellardac00eb52015-12-15 16:26:16 +000020#include "llvm/IR/Function.h"
Tom Stellarde3b5aea2015-12-02 17:00:42 +000021#include "llvm/IR/GlobalValue.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000022#include "llvm/IR/Instruction.h"
Tom Stellardca166212017-01-30 21:56:46 +000023#include "llvm/IR/LLVMContext.h"
Yaxun Liu1a14bfa2017-03-27 14:04:01 +000024#include "llvm/IR/Module.h"
Tom Stellarde135ffd2015-09-25 21:41:28 +000025#include "llvm/MC/MCContext.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000026#include "llvm/MC/MCInstrDesc.h"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000027#include "llvm/MC/MCInstrInfo.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000028#include "llvm/MC/MCRegisterInfo.h"
Tom Stellarde135ffd2015-09-25 21:41:28 +000029#include "llvm/MC/MCSectionELF.h"
Tom Stellard2b65ed32015-12-21 18:44:27 +000030#include "llvm/MC/MCSubtargetInfo.h"
Tom Stellard347ac792015-06-26 21:15:07 +000031#include "llvm/MC/SubtargetFeature.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000032#include "llvm/Support/Casting.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000033#include "llvm/Support/ErrorHandling.h"
34#include "llvm/Support/MathExtras.h"
35#include <algorithm>
36#include <cassert>
37#include <cstdint>
38#include <cstring>
39#include <utility>
Tom Stellard347ac792015-06-26 21:15:07 +000040
Matt Arsenault678e1112017-04-10 17:58:06 +000041#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellard347ac792015-06-26 21:15:07 +000042
Sam Koltona3ec5c12016-10-07 14:46:06 +000043#define GET_INSTRINFO_NAMED_OPS
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000044#define GET_INSTRMAP_INFO
Sam Koltona3ec5c12016-10-07 14:46:06 +000045#include "AMDGPUGenInstrInfo.inc"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000046#undef GET_INSTRMAP_INFO
Sam Koltona3ec5c12016-10-07 14:46:06 +000047#undef GET_INSTRINFO_NAMED_OPS
Sam Koltona3ec5c12016-10-07 14:46:06 +000048
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000049namespace {
50
51/// \returns Bit mask for given bit \p Shift and bit \p Width.
52unsigned getBitMask(unsigned Shift, unsigned Width) {
53 return ((1 << Width) - 1) << Shift;
54}
55
56/// \brief Packs \p Src into \p Dst for given bit \p Shift and bit \p Width.
57///
58/// \returns Packed \p Dst.
59unsigned packBits(unsigned Src, unsigned Dst, unsigned Shift, unsigned Width) {
60 Dst &= ~(1 << Shift) & ~getBitMask(Shift, Width);
61 Dst |= (Src << Shift) & getBitMask(Shift, Width);
62 return Dst;
63}
64
65/// \brief Unpacks bits from \p Src for given bit \p Shift and bit \p Width.
66///
67/// \returns Unpacked bits.
68unsigned unpackBits(unsigned Src, unsigned Shift, unsigned Width) {
69 return (Src & getBitMask(Shift, Width)) >> Shift;
70}
71
Matt Arsenaulte823d922017-02-18 18:29:53 +000072/// \returns Vmcnt bit shift (lower bits).
73unsigned getVmcntBitShiftLo() { return 0; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000074
Matt Arsenaulte823d922017-02-18 18:29:53 +000075/// \returns Vmcnt bit width (lower bits).
76unsigned getVmcntBitWidthLo() { return 4; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000077
78/// \returns Expcnt bit shift.
79unsigned getExpcntBitShift() { return 4; }
80
81/// \returns Expcnt bit width.
82unsigned getExpcntBitWidth() { return 3; }
83
84/// \returns Lgkmcnt bit shift.
85unsigned getLgkmcntBitShift() { return 8; }
86
87/// \returns Lgkmcnt bit width.
88unsigned getLgkmcntBitWidth() { return 4; }
89
Matt Arsenaulte823d922017-02-18 18:29:53 +000090/// \returns Vmcnt bit shift (higher bits).
91unsigned getVmcntBitShiftHi() { return 14; }
92
93/// \returns Vmcnt bit width (higher bits).
94unsigned getVmcntBitWidthHi() { return 2; }
95
Eugene Zelenkod96089b2017-02-14 00:33:36 +000096} // end namespace anonymous
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000097
Tom Stellard347ac792015-06-26 21:15:07 +000098namespace llvm {
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +000099
100static cl::opt<bool> EnablePackedInlinableLiterals(
101 "enable-packed-inlinable-literals",
102 cl::desc("Enable packed inlinable literals (v2f16, v2i16)"),
103 cl::init(false));
104
Tom Stellard347ac792015-06-26 21:15:07 +0000105namespace AMDGPU {
106
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000107LLVM_READNONE
108static inline Channels indexToChannel(unsigned Channel) {
109 switch (Channel) {
110 case 1:
111 return AMDGPU::Channels_1;
112 case 2:
113 return AMDGPU::Channels_2;
114 case 3:
115 return AMDGPU::Channels_3;
116 case 4:
117 return AMDGPU::Channels_4;
118 default:
119 llvm_unreachable("invalid MIMG channel");
120 }
121}
122
123
124// FIXME: Need to handle d16 images correctly.
125static unsigned rcToChannels(unsigned RCID) {
126 switch (RCID) {
127 case AMDGPU::VGPR_32RegClassID:
128 return 1;
129 case AMDGPU::VReg_64RegClassID:
130 return 2;
131 case AMDGPU::VReg_96RegClassID:
132 return 3;
133 case AMDGPU::VReg_128RegClassID:
134 return 4;
135 default:
136 llvm_unreachable("invalid MIMG register class");
137 }
138}
139
140int getMaskedMIMGOp(const MCInstrInfo &MII, unsigned Opc, unsigned NewChannels) {
141 AMDGPU::Channels Channel = AMDGPU::indexToChannel(NewChannels);
142 unsigned OrigChannels = rcToChannels(MII.get(Opc).OpInfo[0].RegClass);
143 if (NewChannels == OrigChannels)
144 return Opc;
145
146 switch (OrigChannels) {
147 case 1:
148 return AMDGPU::getMaskedMIMGOp1(Opc, Channel);
149 case 2:
150 return AMDGPU::getMaskedMIMGOp2(Opc, Channel);
151 case 3:
152 return AMDGPU::getMaskedMIMGOp3(Opc, Channel);
153 case 4:
154 return AMDGPU::getMaskedMIMGOp4(Opc, Channel);
155 default:
156 llvm_unreachable("invalid MIMG channel");
157 }
158}
159
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000160int getMaskedMIMGAtomicOp(const MCInstrInfo &MII, unsigned Opc, unsigned NewChannels) {
161 assert(AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::vdst) != -1);
162 assert(NewChannels == 1 || NewChannels == 2 || NewChannels == 4);
163
164 unsigned OrigChannels = rcToChannels(MII.get(Opc).OpInfo[0].RegClass);
165 assert(OrigChannels == 1 || OrigChannels == 2 || OrigChannels == 4);
166
167 if (NewChannels == OrigChannels) return Opc;
168
169 if (OrigChannels <= 2 && NewChannels <= 2) {
170 // This is an ordinary atomic (not an atomic_cmpswap)
171 return (OrigChannels == 1)?
172 AMDGPU::getMIMGAtomicOp1(Opc) : AMDGPU::getMIMGAtomicOp2(Opc);
173 } else if (OrigChannels >= 2 && NewChannels >= 2) {
174 // This is an atomic_cmpswap
175 return (OrigChannels == 2)?
176 AMDGPU::getMIMGAtomicOp1(Opc) : AMDGPU::getMIMGAtomicOp2(Opc);
177 } else { // invalid OrigChannels/NewChannels value
178 return -1;
179 }
180}
181
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000182// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
183// header files, so we need to wrap it in a function that takes unsigned
184// instead.
185int getMCOpcode(uint16_t Opcode, unsigned Gen) {
186 return getMCOpcodeGen(Opcode, static_cast<Subtarget>(Gen));
187}
188
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000189namespace IsaInfo {
Tom Stellard347ac792015-06-26 21:15:07 +0000190
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000191IsaVersion getIsaVersion(const FeatureBitset &Features) {
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000192 // GCN GFX6 (Southern Islands (SI)).
Wei Ding7c3e5112017-06-10 03:53:19 +0000193 if (Features.test(FeatureISAVersion6_0_0))
194 return {6, 0, 0};
195 if (Features.test(FeatureISAVersion6_0_1))
196 return {6, 0, 1};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000197
198 // GCN GFX7 (Sea Islands (CI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000199 if (Features.test(FeatureISAVersion7_0_0))
200 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000201 if (Features.test(FeatureISAVersion7_0_1))
202 return {7, 0, 1};
Yaxun Liu94add852016-10-26 16:37:56 +0000203 if (Features.test(FeatureISAVersion7_0_2))
204 return {7, 0, 2};
Wei Ding7c3e5112017-06-10 03:53:19 +0000205 if (Features.test(FeatureISAVersion7_0_3))
206 return {7, 0, 3};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000207 if (Features.test(FeatureISAVersion7_0_4))
208 return {7, 0, 4};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000209 if (Features.test(FeatureSeaIslands))
210 return {7, 0, 0};
Yaxun Liu94add852016-10-26 16:37:56 +0000211
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000212 // GCN GFX8 (Volcanic Islands (VI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000213 if (Features.test(FeatureISAVersion8_0_1))
214 return {8, 0, 1};
Changpeng Fang98317d22016-10-11 16:00:47 +0000215 if (Features.test(FeatureISAVersion8_0_2))
216 return {8, 0, 2};
Changpeng Fangc16be002016-01-13 20:39:25 +0000217 if (Features.test(FeatureISAVersion8_0_3))
218 return {8, 0, 3};
Yaxun Liu94add852016-10-26 16:37:56 +0000219 if (Features.test(FeatureISAVersion8_1_0))
220 return {8, 1, 0};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000221 if (Features.test(FeatureVolcanicIslands))
222 return {8, 0, 0};
Yaxun Liu94add852016-10-26 16:37:56 +0000223
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000224 // GCN GFX9.
Matt Arsenaulte823d922017-02-18 18:29:53 +0000225 if (Features.test(FeatureISAVersion9_0_0))
226 return {9, 0, 0};
Wei Ding7c3e5112017-06-10 03:53:19 +0000227 if (Features.test(FeatureISAVersion9_0_2))
228 return {9, 0, 2};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000229 if (Features.test(FeatureGFX9))
230 return {9, 0, 0};
Matt Arsenaulte823d922017-02-18 18:29:53 +0000231
Konstantin Zhuravlyov94b3b472017-07-11 17:57:41 +0000232 if (!Features.test(FeatureGCN) || Features.test(FeatureSouthernIslands))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000233 return {0, 0, 0};
234 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000235}
236
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000237void streamIsaVersion(const MCSubtargetInfo *STI, raw_ostream &Stream) {
238 auto TargetTriple = STI->getTargetTriple();
239 auto ISAVersion = IsaInfo::getIsaVersion(STI->getFeatureBits());
240
241 Stream << TargetTriple.getArchName() << '-'
242 << TargetTriple.getVendorName() << '-'
243 << TargetTriple.getOSName() << '-'
244 << TargetTriple.getEnvironmentName() << '-'
245 << "gfx"
246 << ISAVersion.Major
247 << ISAVersion.Minor
248 << ISAVersion.Stepping;
249 Stream.flush();
250}
251
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000252bool hasCodeObjectV3(const FeatureBitset &Features) {
253 return Features.test(FeatureCodeObjectV3);
254}
255
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000256unsigned getWavefrontSize(const FeatureBitset &Features) {
257 if (Features.test(FeatureWavefrontSize16))
258 return 16;
259 if (Features.test(FeatureWavefrontSize32))
260 return 32;
261
262 return 64;
263}
264
265unsigned getLocalMemorySize(const FeatureBitset &Features) {
266 if (Features.test(FeatureLocalMemorySize32768))
267 return 32768;
268 if (Features.test(FeatureLocalMemorySize65536))
269 return 65536;
270
271 return 0;
272}
273
274unsigned getEUsPerCU(const FeatureBitset &Features) {
275 return 4;
276}
277
278unsigned getMaxWorkGroupsPerCU(const FeatureBitset &Features,
279 unsigned FlatWorkGroupSize) {
280 if (!Features.test(FeatureGCN))
281 return 8;
Stanislav Mekhanoshin19f98c62017-02-15 01:03:59 +0000282 unsigned N = getWavesPerWorkGroup(Features, FlatWorkGroupSize);
283 if (N == 1)
284 return 40;
285 N = 40 / N;
286 return std::min(N, 16u);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000287}
288
289unsigned getMaxWavesPerCU(const FeatureBitset &Features) {
290 return getMaxWavesPerEU(Features) * getEUsPerCU(Features);
291}
292
293unsigned getMaxWavesPerCU(const FeatureBitset &Features,
294 unsigned FlatWorkGroupSize) {
295 return getWavesPerWorkGroup(Features, FlatWorkGroupSize);
296}
297
298unsigned getMinWavesPerEU(const FeatureBitset &Features) {
299 return 1;
300}
301
302unsigned getMaxWavesPerEU(const FeatureBitset &Features) {
303 if (!Features.test(FeatureGCN))
304 return 8;
305 // FIXME: Need to take scratch memory into account.
306 return 10;
307}
308
309unsigned getMaxWavesPerEU(const FeatureBitset &Features,
310 unsigned FlatWorkGroupSize) {
311 return alignTo(getMaxWavesPerCU(Features, FlatWorkGroupSize),
312 getEUsPerCU(Features)) / getEUsPerCU(Features);
313}
314
315unsigned getMinFlatWorkGroupSize(const FeatureBitset &Features) {
316 return 1;
317}
318
319unsigned getMaxFlatWorkGroupSize(const FeatureBitset &Features) {
320 return 2048;
321}
322
323unsigned getWavesPerWorkGroup(const FeatureBitset &Features,
324 unsigned FlatWorkGroupSize) {
325 return alignTo(FlatWorkGroupSize, getWavefrontSize(Features)) /
326 getWavefrontSize(Features);
327}
328
329unsigned getSGPRAllocGranule(const FeatureBitset &Features) {
330 IsaVersion Version = getIsaVersion(Features);
331 if (Version.Major >= 8)
332 return 16;
333 return 8;
334}
335
336unsigned getSGPREncodingGranule(const FeatureBitset &Features) {
337 return 8;
338}
339
340unsigned getTotalNumSGPRs(const FeatureBitset &Features) {
341 IsaVersion Version = getIsaVersion(Features);
342 if (Version.Major >= 8)
343 return 800;
344 return 512;
345}
346
347unsigned getAddressableNumSGPRs(const FeatureBitset &Features) {
348 if (Features.test(FeatureSGPRInitBug))
349 return FIXED_NUM_SGPRS_FOR_INIT_BUG;
350
351 IsaVersion Version = getIsaVersion(Features);
352 if (Version.Major >= 8)
353 return 102;
354 return 104;
355}
356
357unsigned getMinNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000358 assert(WavesPerEU != 0);
359
360 if (WavesPerEU >= getMaxWavesPerEU(Features))
361 return 0;
362 unsigned MinNumSGPRs =
363 alignDown(getTotalNumSGPRs(Features) / (WavesPerEU + 1),
364 getSGPRAllocGranule(Features)) + 1;
365 return std::min(MinNumSGPRs, getAddressableNumSGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000366}
367
368unsigned getMaxNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU,
369 bool Addressable) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000370 assert(WavesPerEU != 0);
371
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000372 IsaVersion Version = getIsaVersion(Features);
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000373 unsigned MaxNumSGPRs = alignDown(getTotalNumSGPRs(Features) / WavesPerEU,
374 getSGPRAllocGranule(Features));
375 unsigned AddressableNumSGPRs = getAddressableNumSGPRs(Features);
376 if (Version.Major >= 8 && !Addressable)
377 AddressableNumSGPRs = 112;
378 return std::min(MaxNumSGPRs, AddressableNumSGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000379}
380
381unsigned getVGPRAllocGranule(const FeatureBitset &Features) {
382 return 4;
383}
384
385unsigned getVGPREncodingGranule(const FeatureBitset &Features) {
386 return getVGPRAllocGranule(Features);
387}
388
389unsigned getTotalNumVGPRs(const FeatureBitset &Features) {
390 return 256;
391}
392
393unsigned getAddressableNumVGPRs(const FeatureBitset &Features) {
394 return getTotalNumVGPRs(Features);
395}
396
397unsigned getMinNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000398 assert(WavesPerEU != 0);
399
400 if (WavesPerEU >= getMaxWavesPerEU(Features))
401 return 0;
402 unsigned MinNumVGPRs =
403 alignDown(getTotalNumVGPRs(Features) / (WavesPerEU + 1),
404 getVGPRAllocGranule(Features)) + 1;
405 return std::min(MinNumVGPRs, getAddressableNumVGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000406}
407
408unsigned getMaxNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000409 assert(WavesPerEU != 0);
410
411 unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(Features) / WavesPerEU,
412 getVGPRAllocGranule(Features));
413 unsigned AddressableNumVGPRs = getAddressableNumVGPRs(Features);
414 return std::min(MaxNumVGPRs, AddressableNumVGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000415}
416
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000417} // end namespace IsaInfo
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000418
Tom Stellardff7416b2015-06-26 21:58:31 +0000419void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header,
420 const FeatureBitset &Features) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000421 IsaInfo::IsaVersion ISA = IsaInfo::getIsaVersion(Features);
Tom Stellardff7416b2015-06-26 21:58:31 +0000422
423 memset(&Header, 0, sizeof(Header));
424
425 Header.amd_kernel_code_version_major = 1;
Konstantin Zhuravlyov182e9cc2017-02-28 17:17:52 +0000426 Header.amd_kernel_code_version_minor = 1;
Tom Stellardff7416b2015-06-26 21:58:31 +0000427 Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU
428 Header.amd_machine_version_major = ISA.Major;
429 Header.amd_machine_version_minor = ISA.Minor;
430 Header.amd_machine_version_stepping = ISA.Stepping;
431 Header.kernel_code_entry_byte_offset = sizeof(Header);
432 // wavefront_size is specified as a power of 2: 2^6 = 64 threads.
433 Header.wavefront_size = 6;
Matt Arsenault5d910192017-01-25 20:21:57 +0000434
435 // If the code object does not support indirect functions, then the value must
436 // be 0xffffffff.
437 Header.call_convention = -1;
438
Tom Stellardff7416b2015-06-26 21:58:31 +0000439 // These alignment values are specified in powers of two, so alignment =
440 // 2^n. The minimum alignment is 2^4 = 16.
441 Header.kernarg_segment_alignment = 4;
442 Header.group_segment_alignment = 4;
443 Header.private_segment_alignment = 4;
444}
445
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000446bool isGroupSegment(const GlobalValue *GV) {
447 return GV->getType()->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000448}
449
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000450bool isGlobalSegment(const GlobalValue *GV) {
451 return GV->getType()->getAddressSpace() == AMDGPUAS::GLOBAL_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000452}
453
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000454bool isReadOnlySegment(const GlobalValue *GV) {
Matt Arsenault923712b2018-02-09 16:57:57 +0000455 return GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS ||
456 GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT;
Tom Stellard00f2f912015-12-02 19:47:57 +0000457}
458
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000459bool shouldEmitConstantsToTextSection(const Triple &TT) {
460 return TT.getOS() != Triple::AMDHSA;
461}
462
Matt Arsenault83002722016-05-12 02:45:18 +0000463int getIntegerAttribute(const Function &F, StringRef Name, int Default) {
Marek Olsakfccabaf2016-01-13 11:45:36 +0000464 Attribute A = F.getFnAttribute(Name);
Matt Arsenault83002722016-05-12 02:45:18 +0000465 int Result = Default;
Tom Stellardac00eb52015-12-15 16:26:16 +0000466
467 if (A.isStringAttribute()) {
468 StringRef Str = A.getValueAsString();
Marek Olsakfccabaf2016-01-13 11:45:36 +0000469 if (Str.getAsInteger(0, Result)) {
Tom Stellardac00eb52015-12-15 16:26:16 +0000470 LLVMContext &Ctx = F.getContext();
Matt Arsenault83002722016-05-12 02:45:18 +0000471 Ctx.emitError("can't parse integer attribute " + Name);
Tom Stellardac00eb52015-12-15 16:26:16 +0000472 }
473 }
Matt Arsenault83002722016-05-12 02:45:18 +0000474
Marek Olsakfccabaf2016-01-13 11:45:36 +0000475 return Result;
476}
477
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000478std::pair<int, int> getIntegerPairAttribute(const Function &F,
479 StringRef Name,
480 std::pair<int, int> Default,
481 bool OnlyFirstRequired) {
482 Attribute A = F.getFnAttribute(Name);
483 if (!A.isStringAttribute())
484 return Default;
485
486 LLVMContext &Ctx = F.getContext();
487 std::pair<int, int> Ints = Default;
488 std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(',');
489 if (Strs.first.trim().getAsInteger(0, Ints.first)) {
490 Ctx.emitError("can't parse first integer attribute " + Name);
491 return Default;
492 }
493 if (Strs.second.trim().getAsInteger(0, Ints.second)) {
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000494 if (!OnlyFirstRequired || !Strs.second.trim().empty()) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000495 Ctx.emitError("can't parse second integer attribute " + Name);
496 return Default;
497 }
498 }
499
500 return Ints;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000501}
502
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000503unsigned getVmcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000504 unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1;
505 if (Version.Major < 9)
506 return VmcntLo;
507
508 unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo();
509 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000510}
511
512unsigned getExpcntBitMask(const IsaInfo::IsaVersion &Version) {
513 return (1 << getExpcntBitWidth()) - 1;
514}
515
516unsigned getLgkmcntBitMask(const IsaInfo::IsaVersion &Version) {
517 return (1 << getLgkmcntBitWidth()) - 1;
518}
519
520unsigned getWaitcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000521 unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000522 unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth());
523 unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth());
Matt Arsenaulte823d922017-02-18 18:29:53 +0000524 unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt;
525 if (Version.Major < 9)
526 return Waitcnt;
527
528 unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi());
529 return Waitcnt | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000530}
531
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000532unsigned decodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000533 unsigned VmcntLo =
534 unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
535 if (Version.Major < 9)
536 return VmcntLo;
537
538 unsigned VmcntHi =
539 unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
540 VmcntHi <<= getVmcntBitWidthLo();
541 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000542}
543
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000544unsigned decodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000545 return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
546}
547
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000548unsigned decodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000549 return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
550}
551
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000552void decodeWaitcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000553 unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) {
554 Vmcnt = decodeVmcnt(Version, Waitcnt);
555 Expcnt = decodeExpcnt(Version, Waitcnt);
556 Lgkmcnt = decodeLgkmcnt(Version, Waitcnt);
557}
558
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000559unsigned encodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
560 unsigned Vmcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000561 Waitcnt =
562 packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
563 if (Version.Major < 9)
564 return Waitcnt;
565
566 Vmcnt >>= getVmcntBitWidthLo();
567 return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000568}
569
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000570unsigned encodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
571 unsigned Expcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000572 return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
573}
574
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000575unsigned encodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
576 unsigned Lgkmcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000577 return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
578}
579
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000580unsigned encodeWaitcnt(const IsaInfo::IsaVersion &Version,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000581 unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) {
Konstantin Zhuravlyov31dbb032017-01-06 17:23:21 +0000582 unsigned Waitcnt = getWaitcntBitMask(Version);
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000583 Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt);
584 Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt);
585 Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt);
586 return Waitcnt;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000587}
588
Marek Olsakfccabaf2016-01-13 11:45:36 +0000589unsigned getInitialPSInputAddr(const Function &F) {
590 return getIntegerAttribute(F, "InitialPSInputAddr", 0);
Tom Stellardac00eb52015-12-15 16:26:16 +0000591}
592
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000593bool isShader(CallingConv::ID cc) {
594 switch(cc) {
595 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000596 case CallingConv::AMDGPU_LS:
Marek Olsaka302a7362017-05-02 15:41:10 +0000597 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000598 case CallingConv::AMDGPU_ES:
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000599 case CallingConv::AMDGPU_GS:
600 case CallingConv::AMDGPU_PS:
601 case CallingConv::AMDGPU_CS:
602 return true;
603 default:
604 return false;
605 }
606}
607
608bool isCompute(CallingConv::ID cc) {
609 return !isShader(cc) || cc == CallingConv::AMDGPU_CS;
610}
611
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000612bool isEntryFunctionCC(CallingConv::ID CC) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000613 switch (CC) {
614 case CallingConv::AMDGPU_KERNEL:
615 case CallingConv::SPIR_KERNEL:
616 case CallingConv::AMDGPU_VS:
617 case CallingConv::AMDGPU_GS:
618 case CallingConv::AMDGPU_PS:
619 case CallingConv::AMDGPU_CS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000620 case CallingConv::AMDGPU_ES:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000621 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000622 case CallingConv::AMDGPU_LS:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000623 return true;
624 default:
625 return false;
626 }
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000627}
628
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000629bool hasXNACK(const MCSubtargetInfo &STI) {
630 return STI.getFeatureBits()[AMDGPU::FeatureXNACK];
631}
632
Dmitry Preobrazhenskye3271ae2018-02-05 12:45:43 +0000633bool hasMIMG_R128(const MCSubtargetInfo &STI) {
634 return STI.getFeatureBits()[AMDGPU::FeatureMIMG_R128];
635}
636
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000637bool hasPackedD16(const MCSubtargetInfo &STI) {
638 return !STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem];
639}
640
Tom Stellard2b65ed32015-12-21 18:44:27 +0000641bool isSI(const MCSubtargetInfo &STI) {
642 return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands];
643}
644
645bool isCI(const MCSubtargetInfo &STI) {
646 return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands];
647}
648
649bool isVI(const MCSubtargetInfo &STI) {
650 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
651}
652
Sam Koltonf7659d712017-05-23 10:08:55 +0000653bool isGFX9(const MCSubtargetInfo &STI) {
654 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
655}
656
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000657bool isGCN3Encoding(const MCSubtargetInfo &STI) {
658 return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding];
659}
660
Sam Koltonf7659d712017-05-23 10:08:55 +0000661bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) {
662 const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID);
663 const unsigned FirstSubReg = TRI->getSubReg(Reg, 1);
664 return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) ||
665 Reg == AMDGPU::SCC;
666}
667
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000668bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) {
Dmitry Preobrazhensky00deef82017-07-18 11:14:02 +0000669 for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) {
670 if (*R == Reg1) return true;
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000671 }
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000672 return false;
673}
674
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000675#define MAP_REG2REG \
676 using namespace AMDGPU; \
677 switch(Reg) { \
678 default: return Reg; \
679 CASE_CI_VI(FLAT_SCR) \
680 CASE_CI_VI(FLAT_SCR_LO) \
681 CASE_CI_VI(FLAT_SCR_HI) \
682 CASE_VI_GFX9(TTMP0) \
683 CASE_VI_GFX9(TTMP1) \
684 CASE_VI_GFX9(TTMP2) \
685 CASE_VI_GFX9(TTMP3) \
686 CASE_VI_GFX9(TTMP4) \
687 CASE_VI_GFX9(TTMP5) \
688 CASE_VI_GFX9(TTMP6) \
689 CASE_VI_GFX9(TTMP7) \
690 CASE_VI_GFX9(TTMP8) \
691 CASE_VI_GFX9(TTMP9) \
692 CASE_VI_GFX9(TTMP10) \
693 CASE_VI_GFX9(TTMP11) \
694 CASE_VI_GFX9(TTMP12) \
695 CASE_VI_GFX9(TTMP13) \
696 CASE_VI_GFX9(TTMP14) \
697 CASE_VI_GFX9(TTMP15) \
698 CASE_VI_GFX9(TTMP0_TTMP1) \
699 CASE_VI_GFX9(TTMP2_TTMP3) \
700 CASE_VI_GFX9(TTMP4_TTMP5) \
701 CASE_VI_GFX9(TTMP6_TTMP7) \
702 CASE_VI_GFX9(TTMP8_TTMP9) \
703 CASE_VI_GFX9(TTMP10_TTMP11) \
704 CASE_VI_GFX9(TTMP12_TTMP13) \
705 CASE_VI_GFX9(TTMP14_TTMP15) \
706 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3) \
707 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7) \
708 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11) \
709 CASE_VI_GFX9(TTMP12_TTMP13_TTMP14_TTMP15) \
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000710 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7) \
711 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11) \
712 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
713 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
Tom Stellard2b65ed32015-12-21 18:44:27 +0000714 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000715
716#define CASE_CI_VI(node) \
717 assert(!isSI(STI)); \
718 case node: return isCI(STI) ? node##_ci : node##_vi;
719
720#define CASE_VI_GFX9(node) \
721 case node: return isGFX9(STI) ? node##_gfx9 : node##_vi;
722
723unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) {
724 MAP_REG2REG
Tom Stellard2b65ed32015-12-21 18:44:27 +0000725}
726
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000727#undef CASE_CI_VI
728#undef CASE_VI_GFX9
729
730#define CASE_CI_VI(node) case node##_ci: case node##_vi: return node;
731#define CASE_VI_GFX9(node) case node##_vi: case node##_gfx9: return node;
732
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000733unsigned mc2PseudoReg(unsigned Reg) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000734 MAP_REG2REG
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000735}
736
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000737#undef CASE_CI_VI
738#undef CASE_VI_GFX9
739#undef MAP_REG2REG
740
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000741bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000742 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000743 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000744 return OpType >= AMDGPU::OPERAND_SRC_FIRST &&
745 OpType <= AMDGPU::OPERAND_SRC_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000746}
747
748bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000749 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000750 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000751 switch (OpType) {
752 case AMDGPU::OPERAND_REG_IMM_FP32:
753 case AMDGPU::OPERAND_REG_IMM_FP64:
754 case AMDGPU::OPERAND_REG_IMM_FP16:
755 case AMDGPU::OPERAND_REG_INLINE_C_FP32:
756 case AMDGPU::OPERAND_REG_INLINE_C_FP64:
757 case AMDGPU::OPERAND_REG_INLINE_C_FP16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000758 case AMDGPU::OPERAND_REG_INLINE_C_V2FP16:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000759 return true;
760 default:
761 return false;
762 }
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000763}
764
765bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000766 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000767 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000768 return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST &&
769 OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000770}
771
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000772// Avoid using MCRegisterClass::getSize, since that function will go away
773// (move from MC* level to Target* level). Return size in bits.
Tom Stellardb133fbb2016-10-27 23:05:31 +0000774unsigned getRegBitWidth(unsigned RCID) {
775 switch (RCID) {
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000776 case AMDGPU::SGPR_32RegClassID:
777 case AMDGPU::VGPR_32RegClassID:
778 case AMDGPU::VS_32RegClassID:
779 case AMDGPU::SReg_32RegClassID:
780 case AMDGPU::SReg_32_XM0RegClassID:
781 return 32;
782 case AMDGPU::SGPR_64RegClassID:
783 case AMDGPU::VS_64RegClassID:
784 case AMDGPU::SReg_64RegClassID:
785 case AMDGPU::VReg_64RegClassID:
786 return 64;
787 case AMDGPU::VReg_96RegClassID:
788 return 96;
789 case AMDGPU::SGPR_128RegClassID:
790 case AMDGPU::SReg_128RegClassID:
791 case AMDGPU::VReg_128RegClassID:
792 return 128;
793 case AMDGPU::SReg_256RegClassID:
794 case AMDGPU::VReg_256RegClassID:
795 return 256;
796 case AMDGPU::SReg_512RegClassID:
797 case AMDGPU::VReg_512RegClassID:
798 return 512;
799 default:
800 llvm_unreachable("Unexpected register class");
801 }
802}
803
Tom Stellardb133fbb2016-10-27 23:05:31 +0000804unsigned getRegBitWidth(const MCRegisterClass &RC) {
805 return getRegBitWidth(RC.getID());
806}
807
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000808unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc,
809 unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000810 assert(OpNo < Desc.NumOperands);
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000811 unsigned RCID = Desc.OpInfo[OpNo].RegClass;
812 return getRegBitWidth(MRI->getRegClass(RCID)) / 8;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000813}
814
Matt Arsenault26faed32016-12-05 22:26:17 +0000815bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000816 if (Literal >= -16 && Literal <= 64)
817 return true;
818
Matt Arsenault26faed32016-12-05 22:26:17 +0000819 uint64_t Val = static_cast<uint64_t>(Literal);
820 return (Val == DoubleToBits(0.0)) ||
821 (Val == DoubleToBits(1.0)) ||
822 (Val == DoubleToBits(-1.0)) ||
823 (Val == DoubleToBits(0.5)) ||
824 (Val == DoubleToBits(-0.5)) ||
825 (Val == DoubleToBits(2.0)) ||
826 (Val == DoubleToBits(-2.0)) ||
827 (Val == DoubleToBits(4.0)) ||
828 (Val == DoubleToBits(-4.0)) ||
829 (Val == 0x3fc45f306dc9c882 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000830}
831
Matt Arsenault26faed32016-12-05 22:26:17 +0000832bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000833 if (Literal >= -16 && Literal <= 64)
834 return true;
835
Matt Arsenault4bd72362016-12-10 00:39:12 +0000836 // The actual type of the operand does not seem to matter as long
837 // as the bits match one of the inline immediate values. For example:
838 //
839 // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
840 // so it is a legal inline immediate.
841 //
842 // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
843 // floating-point, so it is a legal inline immediate.
844
Matt Arsenault26faed32016-12-05 22:26:17 +0000845 uint32_t Val = static_cast<uint32_t>(Literal);
846 return (Val == FloatToBits(0.0f)) ||
847 (Val == FloatToBits(1.0f)) ||
848 (Val == FloatToBits(-1.0f)) ||
849 (Val == FloatToBits(0.5f)) ||
850 (Val == FloatToBits(-0.5f)) ||
851 (Val == FloatToBits(2.0f)) ||
852 (Val == FloatToBits(-2.0f)) ||
853 (Val == FloatToBits(4.0f)) ||
854 (Val == FloatToBits(-4.0f)) ||
855 (Val == 0x3e22f983 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000856}
857
Matt Arsenault4bd72362016-12-10 00:39:12 +0000858bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) {
Sam Kolton9dffada2017-01-17 15:26:02 +0000859 if (!HasInv2Pi)
860 return false;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000861
862 if (Literal >= -16 && Literal <= 64)
863 return true;
864
865 uint16_t Val = static_cast<uint16_t>(Literal);
866 return Val == 0x3C00 || // 1.0
867 Val == 0xBC00 || // -1.0
868 Val == 0x3800 || // 0.5
869 Val == 0xB800 || // -0.5
870 Val == 0x4000 || // 2.0
871 Val == 0xC000 || // -2.0
872 Val == 0x4400 || // 4.0
873 Val == 0xC400 || // -4.0
874 Val == 0x3118; // 1/2pi
875}
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000876
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000877bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) {
878 assert(HasInv2Pi);
879
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +0000880 if (!EnablePackedInlinableLiterals)
881 return false;
882
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000883 int16_t Lo16 = static_cast<int16_t>(Literal);
884 int16_t Hi16 = static_cast<int16_t>(Literal >> 16);
885 return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi);
886}
887
Matt Arsenault894e53d2017-07-26 20:39:42 +0000888bool isArgPassedInSGPR(const Argument *A) {
889 const Function *F = A->getParent();
890
891 // Arguments to compute shaders are never a source of divergence.
892 CallingConv::ID CC = F->getCallingConv();
893 switch (CC) {
894 case CallingConv::AMDGPU_KERNEL:
895 case CallingConv::SPIR_KERNEL:
896 return true;
897 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000898 case CallingConv::AMDGPU_LS:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000899 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000900 case CallingConv::AMDGPU_ES:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000901 case CallingConv::AMDGPU_GS:
902 case CallingConv::AMDGPU_PS:
903 case CallingConv::AMDGPU_CS:
904 // For non-compute shaders, SGPR inputs are marked with either inreg or byval.
905 // Everything else is in VGPRs.
906 return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) ||
907 F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal);
908 default:
909 // TODO: Should calls support inreg for SGPR inputs?
910 return false;
911 }
912}
913
Tom Stellard08efb7e2017-01-27 18:41:14 +0000914int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000915 if (isGCN3Encoding(ST))
916 return ByteOffset;
917 return ByteOffset >> 2;
Tom Stellard08efb7e2017-01-27 18:41:14 +0000918}
919
920bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
921 int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset);
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000922 return isGCN3Encoding(ST) ?
923 isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset);
Tom Stellard08efb7e2017-01-27 18:41:14 +0000924}
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000925
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000926} // end namespace AMDGPU
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000927
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000928} // end namespace llvm
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000929
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000930namespace llvm {
931namespace AMDGPU {
932
933AMDGPUAS getAMDGPUAS(Triple T) {
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000934 AMDGPUAS AS;
Yaxun Liu2a22c5d2018-02-02 16:07:16 +0000935 AS.FLAT_ADDRESS = 0;
936 AS.PRIVATE_ADDRESS = 5;
Yaxun Liu0124b542018-02-13 18:00:25 +0000937 AS.REGION_ADDRESS = 2;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000938 return AS;
939}
940
941AMDGPUAS getAMDGPUAS(const TargetMachine &M) {
942 return getAMDGPUAS(M.getTargetTriple());
943}
944
945AMDGPUAS getAMDGPUAS(const Module &M) {
946 return getAMDGPUAS(Triple(M.getTargetTriple()));
947}
Alexander Timofeev2e5eece2018-03-05 15:12:21 +0000948
949bool isIntrinsicSourceOfDivergence(unsigned IntrID) {
950 switch (IntrID) {
951 case Intrinsic::amdgcn_workitem_id_x:
952 case Intrinsic::amdgcn_workitem_id_y:
953 case Intrinsic::amdgcn_workitem_id_z:
954 case Intrinsic::amdgcn_interp_mov:
955 case Intrinsic::amdgcn_interp_p1:
956 case Intrinsic::amdgcn_interp_p2:
957 case Intrinsic::amdgcn_mbcnt_hi:
958 case Intrinsic::amdgcn_mbcnt_lo:
959 case Intrinsic::r600_read_tidig_x:
960 case Intrinsic::r600_read_tidig_y:
961 case Intrinsic::r600_read_tidig_z:
962 case Intrinsic::amdgcn_atomic_inc:
963 case Intrinsic::amdgcn_atomic_dec:
964 case Intrinsic::amdgcn_ds_fadd:
965 case Intrinsic::amdgcn_ds_fmin:
966 case Intrinsic::amdgcn_ds_fmax:
967 case Intrinsic::amdgcn_image_atomic_swap:
968 case Intrinsic::amdgcn_image_atomic_add:
969 case Intrinsic::amdgcn_image_atomic_sub:
970 case Intrinsic::amdgcn_image_atomic_smin:
971 case Intrinsic::amdgcn_image_atomic_umin:
972 case Intrinsic::amdgcn_image_atomic_smax:
973 case Intrinsic::amdgcn_image_atomic_umax:
974 case Intrinsic::amdgcn_image_atomic_and:
975 case Intrinsic::amdgcn_image_atomic_or:
976 case Intrinsic::amdgcn_image_atomic_xor:
977 case Intrinsic::amdgcn_image_atomic_inc:
978 case Intrinsic::amdgcn_image_atomic_dec:
979 case Intrinsic::amdgcn_image_atomic_cmpswap:
980 case Intrinsic::amdgcn_buffer_atomic_swap:
981 case Intrinsic::amdgcn_buffer_atomic_add:
982 case Intrinsic::amdgcn_buffer_atomic_sub:
983 case Intrinsic::amdgcn_buffer_atomic_smin:
984 case Intrinsic::amdgcn_buffer_atomic_umin:
985 case Intrinsic::amdgcn_buffer_atomic_smax:
986 case Intrinsic::amdgcn_buffer_atomic_umax:
987 case Intrinsic::amdgcn_buffer_atomic_and:
988 case Intrinsic::amdgcn_buffer_atomic_or:
989 case Intrinsic::amdgcn_buffer_atomic_xor:
990 case Intrinsic::amdgcn_buffer_atomic_cmpswap:
991 case Intrinsic::amdgcn_ps_live:
992 case Intrinsic::amdgcn_ds_swizzle:
993 return true;
994 default:
995 return false;
996 }
997}
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000998} // namespace AMDGPU
999} // namespace llvm