blob: 4eba19382315455d965b1096b7b3ec689740ea05 [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
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000056/// Packs \p Src into \p Dst for given bit \p Shift and bit \p Width.
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000057///
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
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000065/// Unpacks bits from \p Src for given bit \p Shift and bit \p Width.
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000066///
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
Tom Stellard347ac792015-06-26 21:15:07 +0000100namespace AMDGPU {
101
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000102struct MIMGInfo {
103 uint16_t Opcode;
104 uint16_t BaseOpcode;
105 uint8_t MIMGEncoding;
106 uint8_t VDataDwords;
107 uint8_t VAddrDwords;
108};
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000109
Nicolai Haehnle7a9c03f2018-06-21 13:36:57 +0000110#define GET_MIMGBaseOpcodesTable_IMPL
111#define GET_MIMGDimInfoTable_IMPL
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000112#define GET_MIMGInfoTable_IMPL
Ryan Taylor894c8fd2018-08-01 12:12:01 +0000113#define GET_MIMGLZMappingTable_IMPL
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000114#include "AMDGPUGenSearchableTables.inc"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000115
Nicolai Haehnle7a9c03f2018-06-21 13:36:57 +0000116int getMIMGOpcode(unsigned BaseOpcode, unsigned MIMGEncoding,
117 unsigned VDataDwords, unsigned VAddrDwords) {
118 const MIMGInfo *Info = getMIMGOpcodeHelper(BaseOpcode, MIMGEncoding,
119 VDataDwords, VAddrDwords);
120 return Info ? Info->Opcode : -1;
121}
122
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000123int getMaskedMIMGOp(unsigned Opc, unsigned NewChannels) {
124 const MIMGInfo *OrigInfo = getMIMGInfo(Opc);
125 const MIMGInfo *NewInfo =
126 getMIMGOpcodeHelper(OrigInfo->BaseOpcode, OrigInfo->MIMGEncoding,
127 NewChannels, OrigInfo->VAddrDwords);
128 return NewInfo ? NewInfo->Opcode : -1;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000129}
130
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000131// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
132// header files, so we need to wrap it in a function that takes unsigned
133// instead.
134int getMCOpcode(uint16_t Opcode, unsigned Gen) {
135 return getMCOpcodeGen(Opcode, static_cast<Subtarget>(Gen));
136}
137
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000138namespace IsaInfo {
Tom Stellard347ac792015-06-26 21:15:07 +0000139
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000140IsaVersion getIsaVersion(const FeatureBitset &Features) {
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000141 // GCN GFX6 (Southern Islands (SI)).
Wei Ding7c3e5112017-06-10 03:53:19 +0000142 if (Features.test(FeatureISAVersion6_0_0))
143 return {6, 0, 0};
144 if (Features.test(FeatureISAVersion6_0_1))
145 return {6, 0, 1};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000146
147 // GCN GFX7 (Sea Islands (CI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000148 if (Features.test(FeatureISAVersion7_0_0))
149 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000150 if (Features.test(FeatureISAVersion7_0_1))
151 return {7, 0, 1};
Yaxun Liu94add852016-10-26 16:37:56 +0000152 if (Features.test(FeatureISAVersion7_0_2))
153 return {7, 0, 2};
Wei Ding7c3e5112017-06-10 03:53:19 +0000154 if (Features.test(FeatureISAVersion7_0_3))
155 return {7, 0, 3};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000156 if (Features.test(FeatureISAVersion7_0_4))
157 return {7, 0, 4};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000158 if (Features.test(FeatureSeaIslands))
159 return {7, 0, 0};
Yaxun Liu94add852016-10-26 16:37:56 +0000160
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000161 // GCN GFX8 (Volcanic Islands (VI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000162 if (Features.test(FeatureISAVersion8_0_1))
163 return {8, 0, 1};
Changpeng Fang98317d22016-10-11 16:00:47 +0000164 if (Features.test(FeatureISAVersion8_0_2))
165 return {8, 0, 2};
Changpeng Fangc16be002016-01-13 20:39:25 +0000166 if (Features.test(FeatureISAVersion8_0_3))
167 return {8, 0, 3};
Yaxun Liu94add852016-10-26 16:37:56 +0000168 if (Features.test(FeatureISAVersion8_1_0))
169 return {8, 1, 0};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000170 if (Features.test(FeatureVolcanicIslands))
171 return {8, 0, 0};
Yaxun Liu94add852016-10-26 16:37:56 +0000172
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000173 // GCN GFX9.
Matt Arsenaulte823d922017-02-18 18:29:53 +0000174 if (Features.test(FeatureISAVersion9_0_0))
175 return {9, 0, 0};
Wei Ding7c3e5112017-06-10 03:53:19 +0000176 if (Features.test(FeatureISAVersion9_0_2))
177 return {9, 0, 2};
Matt Arsenault0084adc2018-04-30 19:08:16 +0000178 if (Features.test(FeatureISAVersion9_0_4))
179 return {9, 0, 4};
180 if (Features.test(FeatureISAVersion9_0_6))
181 return {9, 0, 6};
Stanislav Mekhanoshin0f722252018-03-06 18:33:55 +0000182 if (Features.test(FeatureGFX9))
183 return {9, 0, 0};
Matt Arsenaulte823d922017-02-18 18:29:53 +0000184
Tom Stellardc5a154d2018-06-28 23:47:12 +0000185 if (Features.test(FeatureSouthernIslands))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000186 return {0, 0, 0};
187 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000188}
189
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000190void streamIsaVersion(const MCSubtargetInfo *STI, raw_ostream &Stream) {
191 auto TargetTriple = STI->getTargetTriple();
192 auto ISAVersion = IsaInfo::getIsaVersion(STI->getFeatureBits());
193
194 Stream << TargetTriple.getArchName() << '-'
195 << TargetTriple.getVendorName() << '-'
196 << TargetTriple.getOSName() << '-'
197 << TargetTriple.getEnvironmentName() << '-'
198 << "gfx"
199 << ISAVersion.Major
200 << ISAVersion.Minor
201 << ISAVersion.Stepping;
Scott Linder1e8c2c72018-06-21 19:38:56 +0000202
203 if (hasXNACK(*STI))
204 Stream << "+xnack";
205
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000206 Stream.flush();
207}
208
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000209bool hasCodeObjectV3(const MCSubtargetInfo *STI) {
210 return STI->getFeatureBits().test(FeatureCodeObjectV3);
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000211}
212
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000213unsigned getWavefrontSize(const FeatureBitset &Features) {
214 if (Features.test(FeatureWavefrontSize16))
215 return 16;
216 if (Features.test(FeatureWavefrontSize32))
217 return 32;
218
219 return 64;
220}
221
222unsigned getLocalMemorySize(const FeatureBitset &Features) {
223 if (Features.test(FeatureLocalMemorySize32768))
224 return 32768;
225 if (Features.test(FeatureLocalMemorySize65536))
226 return 65536;
227
228 return 0;
229}
230
231unsigned getEUsPerCU(const FeatureBitset &Features) {
232 return 4;
233}
234
235unsigned getMaxWorkGroupsPerCU(const FeatureBitset &Features,
236 unsigned FlatWorkGroupSize) {
237 if (!Features.test(FeatureGCN))
238 return 8;
Stanislav Mekhanoshin19f98c62017-02-15 01:03:59 +0000239 unsigned N = getWavesPerWorkGroup(Features, FlatWorkGroupSize);
240 if (N == 1)
241 return 40;
242 N = 40 / N;
243 return std::min(N, 16u);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000244}
245
246unsigned getMaxWavesPerCU(const FeatureBitset &Features) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000247 return getMaxWavesPerEU() * getEUsPerCU(Features);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000248}
249
250unsigned getMaxWavesPerCU(const FeatureBitset &Features,
251 unsigned FlatWorkGroupSize) {
252 return getWavesPerWorkGroup(Features, FlatWorkGroupSize);
253}
254
255unsigned getMinWavesPerEU(const FeatureBitset &Features) {
256 return 1;
257}
258
Tom Stellardc5a154d2018-06-28 23:47:12 +0000259unsigned getMaxWavesPerEU() {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000260 // FIXME: Need to take scratch memory into account.
261 return 10;
262}
263
264unsigned getMaxWavesPerEU(const FeatureBitset &Features,
265 unsigned FlatWorkGroupSize) {
266 return alignTo(getMaxWavesPerCU(Features, FlatWorkGroupSize),
267 getEUsPerCU(Features)) / getEUsPerCU(Features);
268}
269
270unsigned getMinFlatWorkGroupSize(const FeatureBitset &Features) {
271 return 1;
272}
273
274unsigned getMaxFlatWorkGroupSize(const FeatureBitset &Features) {
275 return 2048;
276}
277
278unsigned getWavesPerWorkGroup(const FeatureBitset &Features,
279 unsigned FlatWorkGroupSize) {
280 return alignTo(FlatWorkGroupSize, getWavefrontSize(Features)) /
281 getWavefrontSize(Features);
282}
283
284unsigned getSGPRAllocGranule(const FeatureBitset &Features) {
285 IsaVersion Version = getIsaVersion(Features);
286 if (Version.Major >= 8)
287 return 16;
288 return 8;
289}
290
291unsigned getSGPREncodingGranule(const FeatureBitset &Features) {
292 return 8;
293}
294
295unsigned getTotalNumSGPRs(const FeatureBitset &Features) {
296 IsaVersion Version = getIsaVersion(Features);
297 if (Version.Major >= 8)
298 return 800;
299 return 512;
300}
301
302unsigned getAddressableNumSGPRs(const FeatureBitset &Features) {
303 if (Features.test(FeatureSGPRInitBug))
304 return FIXED_NUM_SGPRS_FOR_INIT_BUG;
305
306 IsaVersion Version = getIsaVersion(Features);
307 if (Version.Major >= 8)
308 return 102;
309 return 104;
310}
311
312unsigned getMinNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000313 assert(WavesPerEU != 0);
314
Tom Stellardc5a154d2018-06-28 23:47:12 +0000315 if (WavesPerEU >= getMaxWavesPerEU())
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000316 return 0;
Konstantin Zhuravlyovc72ece62018-05-16 20:47:48 +0000317
318 unsigned MinNumSGPRs = getTotalNumSGPRs(Features) / (WavesPerEU + 1);
319 if (Features.test(FeatureTrapHandler))
320 MinNumSGPRs -= std::min(MinNumSGPRs, (unsigned)TRAP_NUM_SGPRS);
321 MinNumSGPRs = alignDown(MinNumSGPRs, getSGPRAllocGranule(Features)) + 1;
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000322 return std::min(MinNumSGPRs, getAddressableNumSGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000323}
324
325unsigned getMaxNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU,
326 bool Addressable) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000327 assert(WavesPerEU != 0);
328
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000329 IsaVersion Version = getIsaVersion(Features);
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000330 unsigned AddressableNumSGPRs = getAddressableNumSGPRs(Features);
331 if (Version.Major >= 8 && !Addressable)
332 AddressableNumSGPRs = 112;
Konstantin Zhuravlyovc72ece62018-05-16 20:47:48 +0000333 unsigned MaxNumSGPRs = getTotalNumSGPRs(Features) / WavesPerEU;
334 if (Features.test(FeatureTrapHandler))
335 MaxNumSGPRs -= std::min(MaxNumSGPRs, (unsigned)TRAP_NUM_SGPRS);
336 MaxNumSGPRs = alignDown(MaxNumSGPRs, getSGPRAllocGranule(Features));
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000337 return std::min(MaxNumSGPRs, AddressableNumSGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000338}
339
Scott Linder1e8c2c72018-06-21 19:38:56 +0000340unsigned getNumExtraSGPRs(const FeatureBitset &Features, bool VCCUsed,
341 bool FlatScrUsed, bool XNACKUsed) {
342 unsigned ExtraSGPRs = 0;
343 if (VCCUsed)
344 ExtraSGPRs = 2;
345
346 IsaVersion Version = getIsaVersion(Features);
347 if (Version.Major < 8) {
348 if (FlatScrUsed)
349 ExtraSGPRs = 4;
350 } else {
351 if (XNACKUsed)
352 ExtraSGPRs = 4;
353
354 if (FlatScrUsed)
355 ExtraSGPRs = 6;
356 }
357
358 return ExtraSGPRs;
359}
360
361unsigned getNumExtraSGPRs(const FeatureBitset &Features, bool VCCUsed,
362 bool FlatScrUsed) {
363 return getNumExtraSGPRs(Features, VCCUsed, FlatScrUsed,
364 Features[AMDGPU::FeatureXNACK]);
365}
366
367unsigned getNumSGPRBlocks(const FeatureBitset &Features, unsigned NumSGPRs) {
368 NumSGPRs = alignTo(std::max(1u, NumSGPRs), getSGPREncodingGranule(Features));
369 // SGPRBlocks is actual number of SGPR blocks minus 1.
370 return NumSGPRs / getSGPREncodingGranule(Features) - 1;
371}
372
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000373unsigned getVGPRAllocGranule(const FeatureBitset &Features) {
374 return 4;
375}
376
377unsigned getVGPREncodingGranule(const FeatureBitset &Features) {
378 return getVGPRAllocGranule(Features);
379}
380
381unsigned getTotalNumVGPRs(const FeatureBitset &Features) {
382 return 256;
383}
384
385unsigned getAddressableNumVGPRs(const FeatureBitset &Features) {
386 return getTotalNumVGPRs(Features);
387}
388
389unsigned getMinNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000390 assert(WavesPerEU != 0);
391
Tom Stellardc5a154d2018-06-28 23:47:12 +0000392 if (WavesPerEU >= getMaxWavesPerEU())
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000393 return 0;
394 unsigned MinNumVGPRs =
395 alignDown(getTotalNumVGPRs(Features) / (WavesPerEU + 1),
396 getVGPRAllocGranule(Features)) + 1;
397 return std::min(MinNumVGPRs, getAddressableNumVGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000398}
399
400unsigned getMaxNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000401 assert(WavesPerEU != 0);
402
403 unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(Features) / WavesPerEU,
404 getVGPRAllocGranule(Features));
405 unsigned AddressableNumVGPRs = getAddressableNumVGPRs(Features);
406 return std::min(MaxNumVGPRs, AddressableNumVGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000407}
408
Scott Linder1e8c2c72018-06-21 19:38:56 +0000409unsigned getNumVGPRBlocks(const FeatureBitset &Features, unsigned NumVGPRs) {
410 NumVGPRs = alignTo(std::max(1u, NumVGPRs), getVGPREncodingGranule(Features));
411 // VGPRBlocks is actual number of VGPR blocks minus 1.
412 return NumVGPRs / getVGPREncodingGranule(Features) - 1;
413}
414
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000415} // end namespace IsaInfo
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000416
Tom Stellardff7416b2015-06-26 21:58:31 +0000417void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header,
418 const FeatureBitset &Features) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000419 IsaInfo::IsaVersion ISA = IsaInfo::getIsaVersion(Features);
Tom Stellardff7416b2015-06-26 21:58:31 +0000420
421 memset(&Header, 0, sizeof(Header));
422
423 Header.amd_kernel_code_version_major = 1;
Konstantin Zhuravlyov61830652018-04-09 20:47:22 +0000424 Header.amd_kernel_code_version_minor = 2;
Tom Stellardff7416b2015-06-26 21:58:31 +0000425 Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU
426 Header.amd_machine_version_major = ISA.Major;
427 Header.amd_machine_version_minor = ISA.Minor;
428 Header.amd_machine_version_stepping = ISA.Stepping;
429 Header.kernel_code_entry_byte_offset = sizeof(Header);
430 // wavefront_size is specified as a power of 2: 2^6 = 64 threads.
431 Header.wavefront_size = 6;
Matt Arsenault5d910192017-01-25 20:21:57 +0000432
433 // If the code object does not support indirect functions, then the value must
434 // be 0xffffffff.
435 Header.call_convention = -1;
436
Tom Stellardff7416b2015-06-26 21:58:31 +0000437 // These alignment values are specified in powers of two, so alignment =
438 // 2^n. The minimum alignment is 2^4 = 16.
439 Header.kernarg_segment_alignment = 4;
440 Header.group_segment_alignment = 4;
441 Header.private_segment_alignment = 4;
442}
443
Scott Linder1e8c2c72018-06-21 19:38:56 +0000444amdhsa::kernel_descriptor_t getDefaultAmdhsaKernelDescriptor() {
445 amdhsa::kernel_descriptor_t KD;
446 memset(&KD, 0, sizeof(KD));
447 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
448 amdhsa::COMPUTE_PGM_RSRC1_FLOAT_DENORM_MODE_16_64,
449 amdhsa::FLOAT_DENORM_MODE_FLUSH_NONE);
450 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
451 amdhsa::COMPUTE_PGM_RSRC1_ENABLE_DX10_CLAMP, 1);
452 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
453 amdhsa::COMPUTE_PGM_RSRC1_ENABLE_IEEE_MODE, 1);
454 AMDHSA_BITS_SET(KD.compute_pgm_rsrc2,
455 amdhsa::COMPUTE_PGM_RSRC2_ENABLE_SGPR_WORKGROUP_ID_X, 1);
456 return KD;
457}
458
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000459bool isGroupSegment(const GlobalValue *GV) {
460 return GV->getType()->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000461}
462
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000463bool isGlobalSegment(const GlobalValue *GV) {
464 return GV->getType()->getAddressSpace() == AMDGPUAS::GLOBAL_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000465}
466
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000467bool isReadOnlySegment(const GlobalValue *GV) {
Matt Arsenault923712b2018-02-09 16:57:57 +0000468 return GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS ||
469 GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT;
Tom Stellard00f2f912015-12-02 19:47:57 +0000470}
471
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000472bool shouldEmitConstantsToTextSection(const Triple &TT) {
473 return TT.getOS() != Triple::AMDHSA;
474}
475
Matt Arsenault83002722016-05-12 02:45:18 +0000476int getIntegerAttribute(const Function &F, StringRef Name, int Default) {
Marek Olsakfccabaf2016-01-13 11:45:36 +0000477 Attribute A = F.getFnAttribute(Name);
Matt Arsenault83002722016-05-12 02:45:18 +0000478 int Result = Default;
Tom Stellardac00eb52015-12-15 16:26:16 +0000479
480 if (A.isStringAttribute()) {
481 StringRef Str = A.getValueAsString();
Marek Olsakfccabaf2016-01-13 11:45:36 +0000482 if (Str.getAsInteger(0, Result)) {
Tom Stellardac00eb52015-12-15 16:26:16 +0000483 LLVMContext &Ctx = F.getContext();
Matt Arsenault83002722016-05-12 02:45:18 +0000484 Ctx.emitError("can't parse integer attribute " + Name);
Tom Stellardac00eb52015-12-15 16:26:16 +0000485 }
486 }
Matt Arsenault83002722016-05-12 02:45:18 +0000487
Marek Olsakfccabaf2016-01-13 11:45:36 +0000488 return Result;
489}
490
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000491std::pair<int, int> getIntegerPairAttribute(const Function &F,
492 StringRef Name,
493 std::pair<int, int> Default,
494 bool OnlyFirstRequired) {
495 Attribute A = F.getFnAttribute(Name);
496 if (!A.isStringAttribute())
497 return Default;
498
499 LLVMContext &Ctx = F.getContext();
500 std::pair<int, int> Ints = Default;
501 std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(',');
502 if (Strs.first.trim().getAsInteger(0, Ints.first)) {
503 Ctx.emitError("can't parse first integer attribute " + Name);
504 return Default;
505 }
506 if (Strs.second.trim().getAsInteger(0, Ints.second)) {
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000507 if (!OnlyFirstRequired || !Strs.second.trim().empty()) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000508 Ctx.emitError("can't parse second integer attribute " + Name);
509 return Default;
510 }
511 }
512
513 return Ints;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000514}
515
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000516unsigned getVmcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000517 unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1;
518 if (Version.Major < 9)
519 return VmcntLo;
520
521 unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo();
522 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000523}
524
525unsigned getExpcntBitMask(const IsaInfo::IsaVersion &Version) {
526 return (1 << getExpcntBitWidth()) - 1;
527}
528
529unsigned getLgkmcntBitMask(const IsaInfo::IsaVersion &Version) {
530 return (1 << getLgkmcntBitWidth()) - 1;
531}
532
533unsigned getWaitcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000534 unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000535 unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth());
536 unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth());
Matt Arsenaulte823d922017-02-18 18:29:53 +0000537 unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt;
538 if (Version.Major < 9)
539 return Waitcnt;
540
541 unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi());
542 return Waitcnt | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000543}
544
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000545unsigned decodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000546 unsigned VmcntLo =
547 unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
548 if (Version.Major < 9)
549 return VmcntLo;
550
551 unsigned VmcntHi =
552 unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
553 VmcntHi <<= getVmcntBitWidthLo();
554 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000555}
556
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000557unsigned decodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000558 return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
559}
560
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000561unsigned decodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000562 return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
563}
564
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000565void decodeWaitcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000566 unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) {
567 Vmcnt = decodeVmcnt(Version, Waitcnt);
568 Expcnt = decodeExpcnt(Version, Waitcnt);
569 Lgkmcnt = decodeLgkmcnt(Version, Waitcnt);
570}
571
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000572unsigned encodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
573 unsigned Vmcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000574 Waitcnt =
575 packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
576 if (Version.Major < 9)
577 return Waitcnt;
578
579 Vmcnt >>= getVmcntBitWidthLo();
580 return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000581}
582
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000583unsigned encodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
584 unsigned Expcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000585 return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
586}
587
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000588unsigned encodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
589 unsigned Lgkmcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000590 return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
591}
592
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000593unsigned encodeWaitcnt(const IsaInfo::IsaVersion &Version,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000594 unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) {
Konstantin Zhuravlyov31dbb032017-01-06 17:23:21 +0000595 unsigned Waitcnt = getWaitcntBitMask(Version);
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000596 Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt);
597 Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt);
598 Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt);
599 return Waitcnt;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000600}
601
Marek Olsakfccabaf2016-01-13 11:45:36 +0000602unsigned getInitialPSInputAddr(const Function &F) {
603 return getIntegerAttribute(F, "InitialPSInputAddr", 0);
Tom Stellardac00eb52015-12-15 16:26:16 +0000604}
605
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000606bool isShader(CallingConv::ID cc) {
607 switch(cc) {
608 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000609 case CallingConv::AMDGPU_LS:
Marek Olsaka302a7362017-05-02 15:41:10 +0000610 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000611 case CallingConv::AMDGPU_ES:
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000612 case CallingConv::AMDGPU_GS:
613 case CallingConv::AMDGPU_PS:
614 case CallingConv::AMDGPU_CS:
615 return true;
616 default:
617 return false;
618 }
619}
620
621bool isCompute(CallingConv::ID cc) {
622 return !isShader(cc) || cc == CallingConv::AMDGPU_CS;
623}
624
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000625bool isEntryFunctionCC(CallingConv::ID CC) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000626 switch (CC) {
627 case CallingConv::AMDGPU_KERNEL:
628 case CallingConv::SPIR_KERNEL:
629 case CallingConv::AMDGPU_VS:
630 case CallingConv::AMDGPU_GS:
631 case CallingConv::AMDGPU_PS:
632 case CallingConv::AMDGPU_CS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000633 case CallingConv::AMDGPU_ES:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000634 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000635 case CallingConv::AMDGPU_LS:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000636 return true;
637 default:
638 return false;
639 }
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000640}
641
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000642bool hasXNACK(const MCSubtargetInfo &STI) {
643 return STI.getFeatureBits()[AMDGPU::FeatureXNACK];
644}
645
Dmitry Preobrazhenskye3271ae2018-02-05 12:45:43 +0000646bool hasMIMG_R128(const MCSubtargetInfo &STI) {
647 return STI.getFeatureBits()[AMDGPU::FeatureMIMG_R128];
648}
649
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000650bool hasPackedD16(const MCSubtargetInfo &STI) {
651 return !STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem];
652}
653
Tom Stellard2b65ed32015-12-21 18:44:27 +0000654bool isSI(const MCSubtargetInfo &STI) {
655 return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands];
656}
657
658bool isCI(const MCSubtargetInfo &STI) {
659 return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands];
660}
661
662bool isVI(const MCSubtargetInfo &STI) {
663 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
664}
665
Sam Koltonf7659d712017-05-23 10:08:55 +0000666bool isGFX9(const MCSubtargetInfo &STI) {
667 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
668}
669
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000670bool isGCN3Encoding(const MCSubtargetInfo &STI) {
671 return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding];
672}
673
Sam Koltonf7659d712017-05-23 10:08:55 +0000674bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) {
675 const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID);
676 const unsigned FirstSubReg = TRI->getSubReg(Reg, 1);
677 return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) ||
678 Reg == AMDGPU::SCC;
679}
680
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000681bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) {
Dmitry Preobrazhensky00deef82017-07-18 11:14:02 +0000682 for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) {
683 if (*R == Reg1) return true;
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000684 }
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000685 return false;
686}
687
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000688#define MAP_REG2REG \
689 using namespace AMDGPU; \
690 switch(Reg) { \
691 default: return Reg; \
692 CASE_CI_VI(FLAT_SCR) \
693 CASE_CI_VI(FLAT_SCR_LO) \
694 CASE_CI_VI(FLAT_SCR_HI) \
695 CASE_VI_GFX9(TTMP0) \
696 CASE_VI_GFX9(TTMP1) \
697 CASE_VI_GFX9(TTMP2) \
698 CASE_VI_GFX9(TTMP3) \
699 CASE_VI_GFX9(TTMP4) \
700 CASE_VI_GFX9(TTMP5) \
701 CASE_VI_GFX9(TTMP6) \
702 CASE_VI_GFX9(TTMP7) \
703 CASE_VI_GFX9(TTMP8) \
704 CASE_VI_GFX9(TTMP9) \
705 CASE_VI_GFX9(TTMP10) \
706 CASE_VI_GFX9(TTMP11) \
707 CASE_VI_GFX9(TTMP12) \
708 CASE_VI_GFX9(TTMP13) \
709 CASE_VI_GFX9(TTMP14) \
710 CASE_VI_GFX9(TTMP15) \
711 CASE_VI_GFX9(TTMP0_TTMP1) \
712 CASE_VI_GFX9(TTMP2_TTMP3) \
713 CASE_VI_GFX9(TTMP4_TTMP5) \
714 CASE_VI_GFX9(TTMP6_TTMP7) \
715 CASE_VI_GFX9(TTMP8_TTMP9) \
716 CASE_VI_GFX9(TTMP10_TTMP11) \
717 CASE_VI_GFX9(TTMP12_TTMP13) \
718 CASE_VI_GFX9(TTMP14_TTMP15) \
719 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3) \
720 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7) \
721 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11) \
722 CASE_VI_GFX9(TTMP12_TTMP13_TTMP14_TTMP15) \
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000723 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7) \
724 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11) \
725 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
726 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 +0000727 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000728
729#define CASE_CI_VI(node) \
730 assert(!isSI(STI)); \
731 case node: return isCI(STI) ? node##_ci : node##_vi;
732
733#define CASE_VI_GFX9(node) \
734 case node: return isGFX9(STI) ? node##_gfx9 : node##_vi;
735
736unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) {
Tom Stellardc5a154d2018-06-28 23:47:12 +0000737 if (STI.getTargetTriple().getArch() == Triple::r600)
738 return Reg;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000739 MAP_REG2REG
Tom Stellard2b65ed32015-12-21 18:44:27 +0000740}
741
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000742#undef CASE_CI_VI
743#undef CASE_VI_GFX9
744
745#define CASE_CI_VI(node) case node##_ci: case node##_vi: return node;
746#define CASE_VI_GFX9(node) case node##_vi: case node##_gfx9: return node;
747
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000748unsigned mc2PseudoReg(unsigned Reg) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000749 MAP_REG2REG
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000750}
751
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000752#undef CASE_CI_VI
753#undef CASE_VI_GFX9
754#undef MAP_REG2REG
755
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000756bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000757 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000758 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000759 return OpType >= AMDGPU::OPERAND_SRC_FIRST &&
760 OpType <= AMDGPU::OPERAND_SRC_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000761}
762
763bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000764 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000765 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000766 switch (OpType) {
767 case AMDGPU::OPERAND_REG_IMM_FP32:
768 case AMDGPU::OPERAND_REG_IMM_FP64:
769 case AMDGPU::OPERAND_REG_IMM_FP16:
770 case AMDGPU::OPERAND_REG_INLINE_C_FP32:
771 case AMDGPU::OPERAND_REG_INLINE_C_FP64:
772 case AMDGPU::OPERAND_REG_INLINE_C_FP16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000773 case AMDGPU::OPERAND_REG_INLINE_C_V2FP16:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000774 return true;
775 default:
776 return false;
777 }
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000778}
779
780bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000781 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000782 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000783 return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST &&
784 OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000785}
786
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000787// Avoid using MCRegisterClass::getSize, since that function will go away
788// (move from MC* level to Target* level). Return size in bits.
Tom Stellardb133fbb2016-10-27 23:05:31 +0000789unsigned getRegBitWidth(unsigned RCID) {
790 switch (RCID) {
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000791 case AMDGPU::SGPR_32RegClassID:
792 case AMDGPU::VGPR_32RegClassID:
793 case AMDGPU::VS_32RegClassID:
794 case AMDGPU::SReg_32RegClassID:
795 case AMDGPU::SReg_32_XM0RegClassID:
796 return 32;
797 case AMDGPU::SGPR_64RegClassID:
798 case AMDGPU::VS_64RegClassID:
799 case AMDGPU::SReg_64RegClassID:
800 case AMDGPU::VReg_64RegClassID:
801 return 64;
802 case AMDGPU::VReg_96RegClassID:
803 return 96;
804 case AMDGPU::SGPR_128RegClassID:
805 case AMDGPU::SReg_128RegClassID:
806 case AMDGPU::VReg_128RegClassID:
807 return 128;
808 case AMDGPU::SReg_256RegClassID:
809 case AMDGPU::VReg_256RegClassID:
810 return 256;
811 case AMDGPU::SReg_512RegClassID:
812 case AMDGPU::VReg_512RegClassID:
813 return 512;
814 default:
815 llvm_unreachable("Unexpected register class");
816 }
817}
818
Tom Stellardb133fbb2016-10-27 23:05:31 +0000819unsigned getRegBitWidth(const MCRegisterClass &RC) {
820 return getRegBitWidth(RC.getID());
821}
822
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000823unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc,
824 unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000825 assert(OpNo < Desc.NumOperands);
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000826 unsigned RCID = Desc.OpInfo[OpNo].RegClass;
827 return getRegBitWidth(MRI->getRegClass(RCID)) / 8;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000828}
829
Matt Arsenault26faed32016-12-05 22:26:17 +0000830bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000831 if (Literal >= -16 && Literal <= 64)
832 return true;
833
Matt Arsenault26faed32016-12-05 22:26:17 +0000834 uint64_t Val = static_cast<uint64_t>(Literal);
835 return (Val == DoubleToBits(0.0)) ||
836 (Val == DoubleToBits(1.0)) ||
837 (Val == DoubleToBits(-1.0)) ||
838 (Val == DoubleToBits(0.5)) ||
839 (Val == DoubleToBits(-0.5)) ||
840 (Val == DoubleToBits(2.0)) ||
841 (Val == DoubleToBits(-2.0)) ||
842 (Val == DoubleToBits(4.0)) ||
843 (Val == DoubleToBits(-4.0)) ||
844 (Val == 0x3fc45f306dc9c882 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000845}
846
Matt Arsenault26faed32016-12-05 22:26:17 +0000847bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000848 if (Literal >= -16 && Literal <= 64)
849 return true;
850
Matt Arsenault4bd72362016-12-10 00:39:12 +0000851 // The actual type of the operand does not seem to matter as long
852 // as the bits match one of the inline immediate values. For example:
853 //
854 // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
855 // so it is a legal inline immediate.
856 //
857 // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
858 // floating-point, so it is a legal inline immediate.
859
Matt Arsenault26faed32016-12-05 22:26:17 +0000860 uint32_t Val = static_cast<uint32_t>(Literal);
861 return (Val == FloatToBits(0.0f)) ||
862 (Val == FloatToBits(1.0f)) ||
863 (Val == FloatToBits(-1.0f)) ||
864 (Val == FloatToBits(0.5f)) ||
865 (Val == FloatToBits(-0.5f)) ||
866 (Val == FloatToBits(2.0f)) ||
867 (Val == FloatToBits(-2.0f)) ||
868 (Val == FloatToBits(4.0f)) ||
869 (Val == FloatToBits(-4.0f)) ||
870 (Val == 0x3e22f983 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000871}
872
Matt Arsenault4bd72362016-12-10 00:39:12 +0000873bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) {
Sam Kolton9dffada2017-01-17 15:26:02 +0000874 if (!HasInv2Pi)
875 return false;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000876
877 if (Literal >= -16 && Literal <= 64)
878 return true;
879
880 uint16_t Val = static_cast<uint16_t>(Literal);
881 return Val == 0x3C00 || // 1.0
882 Val == 0xBC00 || // -1.0
883 Val == 0x3800 || // 0.5
884 Val == 0xB800 || // -0.5
885 Val == 0x4000 || // 2.0
886 Val == 0xC000 || // -2.0
887 Val == 0x4400 || // 4.0
888 Val == 0xC400 || // -4.0
889 Val == 0x3118; // 1/2pi
890}
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000891
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000892bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) {
893 assert(HasInv2Pi);
894
895 int16_t Lo16 = static_cast<int16_t>(Literal);
896 int16_t Hi16 = static_cast<int16_t>(Literal >> 16);
897 return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi);
898}
899
Matt Arsenault894e53d2017-07-26 20:39:42 +0000900bool isArgPassedInSGPR(const Argument *A) {
901 const Function *F = A->getParent();
902
903 // Arguments to compute shaders are never a source of divergence.
904 CallingConv::ID CC = F->getCallingConv();
905 switch (CC) {
906 case CallingConv::AMDGPU_KERNEL:
907 case CallingConv::SPIR_KERNEL:
908 return true;
909 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000910 case CallingConv::AMDGPU_LS:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000911 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000912 case CallingConv::AMDGPU_ES:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000913 case CallingConv::AMDGPU_GS:
914 case CallingConv::AMDGPU_PS:
915 case CallingConv::AMDGPU_CS:
916 // For non-compute shaders, SGPR inputs are marked with either inreg or byval.
917 // Everything else is in VGPRs.
918 return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) ||
919 F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal);
920 default:
921 // TODO: Should calls support inreg for SGPR inputs?
922 return false;
923 }
924}
925
Tom Stellard08efb7e2017-01-27 18:41:14 +0000926int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000927 if (isGCN3Encoding(ST))
928 return ByteOffset;
929 return ByteOffset >> 2;
Tom Stellard08efb7e2017-01-27 18:41:14 +0000930}
931
932bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
933 int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset);
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000934 return isGCN3Encoding(ST) ?
935 isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset);
Tom Stellard08efb7e2017-01-27 18:41:14 +0000936}
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000937
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000938} // end namespace AMDGPU
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000939
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000940} // end namespace llvm
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000941
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000942namespace llvm {
943namespace AMDGPU {
944
945AMDGPUAS getAMDGPUAS(Triple T) {
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000946 AMDGPUAS AS;
Yaxun Liu2a22c5d2018-02-02 16:07:16 +0000947 AS.FLAT_ADDRESS = 0;
948 AS.PRIVATE_ADDRESS = 5;
Yaxun Liu0124b542018-02-13 18:00:25 +0000949 AS.REGION_ADDRESS = 2;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000950 return AS;
951}
952
953AMDGPUAS getAMDGPUAS(const TargetMachine &M) {
954 return getAMDGPUAS(M.getTargetTriple());
955}
956
957AMDGPUAS getAMDGPUAS(const Module &M) {
958 return getAMDGPUAS(Triple(M.getTargetTriple()));
959}
Alexander Timofeev2e5eece2018-03-05 15:12:21 +0000960
Nicolai Haehnle4254d452018-04-01 17:09:14 +0000961namespace {
962
963struct SourceOfDivergence {
964 unsigned Intr;
965};
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +0000966const SourceOfDivergence *lookupSourceOfDivergence(unsigned Intr);
Nicolai Haehnle4254d452018-04-01 17:09:14 +0000967
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +0000968#define GET_SourcesOfDivergence_IMPL
Nicolai Haehnle4254d452018-04-01 17:09:14 +0000969#include "AMDGPUGenSearchableTables.inc"
970
971} // end anonymous namespace
972
Alexander Timofeev2e5eece2018-03-05 15:12:21 +0000973bool isIntrinsicSourceOfDivergence(unsigned IntrID) {
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +0000974 return lookupSourceOfDivergence(IntrID);
Alexander Timofeev2e5eece2018-03-05 15:12:21 +0000975}
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000976} // namespace AMDGPU
977} // namespace llvm