blob: 26515b27bb77d218d3b916575a77c09bfb92a62c [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"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000011#include "AMDGPU.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000012#include "SIDefines.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000013#include "llvm/ADT/StringRef.h"
14#include "llvm/ADT/Triple.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000015#include "llvm/BinaryFormat/ELF.h"
Tom Stellard08efb7e2017-01-27 18:41:14 +000016#include "llvm/CodeGen/MachineMemOperand.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000017#include "llvm/IR/Attributes.h"
Tom Stellard08efb7e2017-01-27 18:41:14 +000018#include "llvm/IR/Constants.h"
Tom Stellardac00eb52015-12-15 16:26:16 +000019#include "llvm/IR/Function.h"
Tom Stellarde3b5aea2015-12-02 17:00:42 +000020#include "llvm/IR/GlobalValue.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000021#include "llvm/IR/Instruction.h"
Tom Stellardca166212017-01-30 21:56:46 +000022#include "llvm/IR/LLVMContext.h"
Yaxun Liu1a14bfa2017-03-27 14:04:01 +000023#include "llvm/IR/Module.h"
Tom Stellarde135ffd2015-09-25 21:41:28 +000024#include "llvm/MC/MCContext.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000025#include "llvm/MC/MCInstrDesc.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000026#include "llvm/MC/MCRegisterInfo.h"
Tom Stellarde135ffd2015-09-25 21:41:28 +000027#include "llvm/MC/MCSectionELF.h"
Tom Stellard2b65ed32015-12-21 18:44:27 +000028#include "llvm/MC/MCSubtargetInfo.h"
Tom Stellard347ac792015-06-26 21:15:07 +000029#include "llvm/MC/SubtargetFeature.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000030#include "llvm/Support/Casting.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000031#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 Stellard347ac792015-06-26 21:15:07 +000038
Matt Arsenault678e1112017-04-10 17:58:06 +000039#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellard347ac792015-06-26 21:15:07 +000040
Sam Koltona3ec5c12016-10-07 14:46:06 +000041#define GET_INSTRINFO_NAMED_OPS
Sam Koltona3ec5c12016-10-07 14:46:06 +000042#include "AMDGPUGenInstrInfo.inc"
43#undef GET_INSTRINFO_NAMED_OPS
Sam Koltona3ec5c12016-10-07 14:46:06 +000044
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000045namespace {
46
47/// \returns Bit mask for given bit \p Shift and bit \p Width.
48unsigned 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.
55unsigned 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.
64unsigned unpackBits(unsigned Src, unsigned Shift, unsigned Width) {
65 return (Src & getBitMask(Shift, Width)) >> Shift;
66}
67
Matt Arsenaulte823d922017-02-18 18:29:53 +000068/// \returns Vmcnt bit shift (lower bits).
69unsigned getVmcntBitShiftLo() { return 0; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000070
Matt Arsenaulte823d922017-02-18 18:29:53 +000071/// \returns Vmcnt bit width (lower bits).
72unsigned getVmcntBitWidthLo() { return 4; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000073
74/// \returns Expcnt bit shift.
75unsigned getExpcntBitShift() { return 4; }
76
77/// \returns Expcnt bit width.
78unsigned getExpcntBitWidth() { return 3; }
79
80/// \returns Lgkmcnt bit shift.
81unsigned getLgkmcntBitShift() { return 8; }
82
83/// \returns Lgkmcnt bit width.
84unsigned getLgkmcntBitWidth() { return 4; }
85
Matt Arsenaulte823d922017-02-18 18:29:53 +000086/// \returns Vmcnt bit shift (higher bits).
87unsigned getVmcntBitShiftHi() { return 14; }
88
89/// \returns Vmcnt bit width (higher bits).
90unsigned getVmcntBitWidthHi() { return 2; }
91
Eugene Zelenkod96089b2017-02-14 00:33:36 +000092} // end namespace anonymous
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000093
Tom Stellard347ac792015-06-26 21:15:07 +000094namespace llvm {
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +000095
96static cl::opt<bool> EnablePackedInlinableLiterals(
97 "enable-packed-inlinable-literals",
98 cl::desc("Enable packed inlinable literals (v2f16, v2i16)"),
99 cl::init(false));
100
Tom Stellard347ac792015-06-26 21:15:07 +0000101namespace AMDGPU {
102
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000103namespace IsaInfo {
Tom Stellard347ac792015-06-26 21:15:07 +0000104
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000105IsaVersion getIsaVersion(const FeatureBitset &Features) {
Wei Ding7c3e5112017-06-10 03:53:19 +0000106 // 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000111 // CI.
Tom Stellard347ac792015-06-26 21:15:07 +0000112 if (Features.test(FeatureISAVersion7_0_0))
113 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000114 if (Features.test(FeatureISAVersion7_0_1))
115 return {7, 0, 1};
Yaxun Liu94add852016-10-26 16:37:56 +0000116 if (Features.test(FeatureISAVersion7_0_2))
117 return {7, 0, 2};
Wei Ding7c3e5112017-06-10 03:53:19 +0000118 if (Features.test(FeatureISAVersion7_0_3))
119 return {7, 0, 3};
Yaxun Liu94add852016-10-26 16:37:56 +0000120
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000121 // VI.
Tom Stellard347ac792015-06-26 21:15:07 +0000122 if (Features.test(FeatureISAVersion8_0_0))
123 return {8, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000124 if (Features.test(FeatureISAVersion8_0_1))
125 return {8, 0, 1};
Changpeng Fang98317d22016-10-11 16:00:47 +0000126 if (Features.test(FeatureISAVersion8_0_2))
127 return {8, 0, 2};
Changpeng Fangc16be002016-01-13 20:39:25 +0000128 if (Features.test(FeatureISAVersion8_0_3))
129 return {8, 0, 3};
Yaxun Liu94add852016-10-26 16:37:56 +0000130 if (Features.test(FeatureISAVersion8_0_4))
131 return {8, 0, 4};
Yaxun Liu94add852016-10-26 16:37:56 +0000132 if (Features.test(FeatureISAVersion8_1_0))
133 return {8, 1, 0};
134
Matt Arsenaulte823d922017-02-18 18:29:53 +0000135 // 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 Ding7c3e5112017-06-10 03:53:19 +0000140 if (Features.test(FeatureISAVersion9_0_2))
141 return {9, 0, 2};
142 if (Features.test(FeatureISAVersion9_0_3))
143 return {9, 0, 3};
Matt Arsenaulte823d922017-02-18 18:29:53 +0000144
Konstantin Zhuravlyov94b3b472017-07-11 17:57:41 +0000145 if (!Features.test(FeatureGCN) || Features.test(FeatureSouthernIslands))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000146 return {0, 0, 0};
147 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000148}
149
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000150unsigned 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
159unsigned 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
168unsigned getEUsPerCU(const FeatureBitset &Features) {
169 return 4;
170}
171
172unsigned getMaxWorkGroupsPerCU(const FeatureBitset &Features,
173 unsigned FlatWorkGroupSize) {
174 if (!Features.test(FeatureGCN))
175 return 8;
Stanislav Mekhanoshin19f98c62017-02-15 01:03:59 +0000176 unsigned N = getWavesPerWorkGroup(Features, FlatWorkGroupSize);
177 if (N == 1)
178 return 40;
179 N = 40 / N;
180 return std::min(N, 16u);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000181}
182
183unsigned getMaxWavesPerCU(const FeatureBitset &Features) {
184 return getMaxWavesPerEU(Features) * getEUsPerCU(Features);
185}
186
187unsigned getMaxWavesPerCU(const FeatureBitset &Features,
188 unsigned FlatWorkGroupSize) {
189 return getWavesPerWorkGroup(Features, FlatWorkGroupSize);
190}
191
192unsigned getMinWavesPerEU(const FeatureBitset &Features) {
193 return 1;
194}
195
196unsigned 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
203unsigned getMaxWavesPerEU(const FeatureBitset &Features,
204 unsigned FlatWorkGroupSize) {
205 return alignTo(getMaxWavesPerCU(Features, FlatWorkGroupSize),
206 getEUsPerCU(Features)) / getEUsPerCU(Features);
207}
208
209unsigned getMinFlatWorkGroupSize(const FeatureBitset &Features) {
210 return 1;
211}
212
213unsigned getMaxFlatWorkGroupSize(const FeatureBitset &Features) {
214 return 2048;
215}
216
217unsigned getWavesPerWorkGroup(const FeatureBitset &Features,
218 unsigned FlatWorkGroupSize) {
219 return alignTo(FlatWorkGroupSize, getWavefrontSize(Features)) /
220 getWavefrontSize(Features);
221}
222
223unsigned getSGPRAllocGranule(const FeatureBitset &Features) {
224 IsaVersion Version = getIsaVersion(Features);
225 if (Version.Major >= 8)
226 return 16;
227 return 8;
228}
229
230unsigned getSGPREncodingGranule(const FeatureBitset &Features) {
231 return 8;
232}
233
234unsigned getTotalNumSGPRs(const FeatureBitset &Features) {
235 IsaVersion Version = getIsaVersion(Features);
236 if (Version.Major >= 8)
237 return 800;
238 return 512;
239}
240
241unsigned 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
251unsigned getMinNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000252 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000260}
261
262unsigned getMaxNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU,
263 bool Addressable) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000264 assert(WavesPerEU != 0);
265
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000266 IsaVersion Version = getIsaVersion(Features);
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000267 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000273}
274
275unsigned getVGPRAllocGranule(const FeatureBitset &Features) {
276 return 4;
277}
278
279unsigned getVGPREncodingGranule(const FeatureBitset &Features) {
280 return getVGPRAllocGranule(Features);
281}
282
283unsigned getTotalNumVGPRs(const FeatureBitset &Features) {
284 return 256;
285}
286
287unsigned getAddressableNumVGPRs(const FeatureBitset &Features) {
288 return getTotalNumVGPRs(Features);
289}
290
291unsigned getMinNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000292 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000300}
301
302unsigned getMaxNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000303 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000309}
310
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000311} // end namespace IsaInfo
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000312
Tom Stellardff7416b2015-06-26 21:58:31 +0000313void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header,
314 const FeatureBitset &Features) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000315 IsaInfo::IsaVersion ISA = IsaInfo::getIsaVersion(Features);
Tom Stellardff7416b2015-06-26 21:58:31 +0000316
317 memset(&Header, 0, sizeof(Header));
318
319 Header.amd_kernel_code_version_major = 1;
Konstantin Zhuravlyov182e9cc2017-02-28 17:17:52 +0000320 Header.amd_kernel_code_version_minor = 1;
Tom Stellardff7416b2015-06-26 21:58:31 +0000321 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 Arsenault5d910192017-01-25 20:21:57 +0000328
329 // If the code object does not support indirect functions, then the value must
330 // be 0xffffffff.
331 Header.call_convention = -1;
332
Tom Stellardff7416b2015-06-26 21:58:31 +0000333 // 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 Liu1a14bfa2017-03-27 14:04:01 +0000340bool isGroupSegment(const GlobalValue *GV, AMDGPUAS AS) {
341 return GV->getType()->getAddressSpace() == AS.LOCAL_ADDRESS;
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000342}
343
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000344bool isGlobalSegment(const GlobalValue *GV, AMDGPUAS AS) {
345 return GV->getType()->getAddressSpace() == AS.GLOBAL_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000346}
347
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000348bool isReadOnlySegment(const GlobalValue *GV, AMDGPUAS AS) {
349 return GV->getType()->getAddressSpace() == AS.CONSTANT_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000350}
351
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000352bool shouldEmitConstantsToTextSection(const Triple &TT) {
353 return TT.getOS() != Triple::AMDHSA;
354}
355
Matt Arsenault83002722016-05-12 02:45:18 +0000356int getIntegerAttribute(const Function &F, StringRef Name, int Default) {
Marek Olsakfccabaf2016-01-13 11:45:36 +0000357 Attribute A = F.getFnAttribute(Name);
Matt Arsenault83002722016-05-12 02:45:18 +0000358 int Result = Default;
Tom Stellardac00eb52015-12-15 16:26:16 +0000359
360 if (A.isStringAttribute()) {
361 StringRef Str = A.getValueAsString();
Marek Olsakfccabaf2016-01-13 11:45:36 +0000362 if (Str.getAsInteger(0, Result)) {
Tom Stellardac00eb52015-12-15 16:26:16 +0000363 LLVMContext &Ctx = F.getContext();
Matt Arsenault83002722016-05-12 02:45:18 +0000364 Ctx.emitError("can't parse integer attribute " + Name);
Tom Stellardac00eb52015-12-15 16:26:16 +0000365 }
366 }
Matt Arsenault83002722016-05-12 02:45:18 +0000367
Marek Olsakfccabaf2016-01-13 11:45:36 +0000368 return Result;
369}
370
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000371std::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 Zelenkod96089b2017-02-14 00:33:36 +0000387 if (!OnlyFirstRequired || !Strs.second.trim().empty()) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000388 Ctx.emitError("can't parse second integer attribute " + Name);
389 return Default;
390 }
391 }
392
393 return Ints;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000394}
395
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000396unsigned getVmcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000397 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 Zhuravlyov9f89ede2017-02-08 14:05:23 +0000403}
404
405unsigned getExpcntBitMask(const IsaInfo::IsaVersion &Version) {
406 return (1 << getExpcntBitWidth()) - 1;
407}
408
409unsigned getLgkmcntBitMask(const IsaInfo::IsaVersion &Version) {
410 return (1 << getLgkmcntBitWidth()) - 1;
411}
412
413unsigned getWaitcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000414 unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000415 unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth());
416 unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth());
Matt Arsenaulte823d922017-02-18 18:29:53 +0000417 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 Zhuravlyov836cbff2016-09-30 17:01:40 +0000423}
424
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000425unsigned decodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000426 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 Zhuravlyov836cbff2016-09-30 17:01:40 +0000435}
436
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000437unsigned decodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000438 return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
439}
440
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000441unsigned decodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000442 return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
443}
444
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000445void decodeWaitcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000446 unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) {
447 Vmcnt = decodeVmcnt(Version, Waitcnt);
448 Expcnt = decodeExpcnt(Version, Waitcnt);
449 Lgkmcnt = decodeLgkmcnt(Version, Waitcnt);
450}
451
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000452unsigned encodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
453 unsigned Vmcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000454 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 Zhuravlyovcdd45472016-10-11 18:58:22 +0000461}
462
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000463unsigned encodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
464 unsigned Expcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000465 return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
466}
467
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000468unsigned encodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
469 unsigned Lgkmcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000470 return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
471}
472
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000473unsigned encodeWaitcnt(const IsaInfo::IsaVersion &Version,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000474 unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) {
Konstantin Zhuravlyov31dbb032017-01-06 17:23:21 +0000475 unsigned Waitcnt = getWaitcntBitMask(Version);
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000476 Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt);
477 Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt);
478 Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt);
479 return Waitcnt;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000480}
481
Marek Olsakfccabaf2016-01-13 11:45:36 +0000482unsigned getInitialPSInputAddr(const Function &F) {
483 return getIntegerAttribute(F, "InitialPSInputAddr", 0);
Tom Stellardac00eb52015-12-15 16:26:16 +0000484}
485
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000486bool isShader(CallingConv::ID cc) {
487 switch(cc) {
488 case CallingConv::AMDGPU_VS:
Marek Olsaka302a7362017-05-02 15:41:10 +0000489 case CallingConv::AMDGPU_HS:
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000490 case CallingConv::AMDGPU_GS:
491 case CallingConv::AMDGPU_PS:
492 case CallingConv::AMDGPU_CS:
493 return true;
494 default:
495 return false;
496 }
497}
498
499bool isCompute(CallingConv::ID cc) {
500 return !isShader(cc) || cc == CallingConv::AMDGPU_CS;
501}
502
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000503bool isEntryFunctionCC(CallingConv::ID CC) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000504 switch (CC) {
505 case CallingConv::AMDGPU_KERNEL:
506 case CallingConv::SPIR_KERNEL:
507 case CallingConv::AMDGPU_VS:
508 case CallingConv::AMDGPU_GS:
509 case CallingConv::AMDGPU_PS:
510 case CallingConv::AMDGPU_CS:
511 case CallingConv::AMDGPU_HS:
512 return true;
513 default:
514 return false;
515 }
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000516}
517
Tom Stellard2b65ed32015-12-21 18:44:27 +0000518bool isSI(const MCSubtargetInfo &STI) {
519 return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands];
520}
521
522bool isCI(const MCSubtargetInfo &STI) {
523 return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands];
524}
525
526bool isVI(const MCSubtargetInfo &STI) {
527 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
528}
529
Sam Koltonf7659d712017-05-23 10:08:55 +0000530bool isGFX9(const MCSubtargetInfo &STI) {
531 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
532}
533
534bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) {
535 const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID);
536 const unsigned FirstSubReg = TRI->getSubReg(Reg, 1);
537 return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) ||
538 Reg == AMDGPU::SCC;
539}
540
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000541bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) {
542
543 if (Reg0 == Reg1) {
544 return true;
545 }
546
547 unsigned SubReg0 = TRI->getSubReg(Reg0, 1);
548 if (SubReg0 == 0) {
549 return TRI->getSubRegIndex(Reg1, Reg0) > 0;
550 }
551
552 for (unsigned Idx = 2; SubReg0 > 0; ++Idx) {
553 if (isRegIntersect(Reg1, SubReg0, TRI)) {
554 return true;
555 }
556 SubReg0 = TRI->getSubReg(Reg0, Idx);
557 }
558
559 return false;
560}
561
Tom Stellard2b65ed32015-12-21 18:44:27 +0000562unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) {
563
564 switch(Reg) {
565 default: break;
566 case AMDGPU::FLAT_SCR:
567 assert(!isSI(STI));
568 return isCI(STI) ? AMDGPU::FLAT_SCR_ci : AMDGPU::FLAT_SCR_vi;
569
570 case AMDGPU::FLAT_SCR_LO:
571 assert(!isSI(STI));
572 return isCI(STI) ? AMDGPU::FLAT_SCR_LO_ci : AMDGPU::FLAT_SCR_LO_vi;
573
574 case AMDGPU::FLAT_SCR_HI:
575 assert(!isSI(STI));
576 return isCI(STI) ? AMDGPU::FLAT_SCR_HI_ci : AMDGPU::FLAT_SCR_HI_vi;
577 }
578 return Reg;
579}
580
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000581unsigned mc2PseudoReg(unsigned Reg) {
582 switch (Reg) {
583 case AMDGPU::FLAT_SCR_ci:
584 case AMDGPU::FLAT_SCR_vi:
585 return FLAT_SCR;
586
587 case AMDGPU::FLAT_SCR_LO_ci:
588 case AMDGPU::FLAT_SCR_LO_vi:
589 return AMDGPU::FLAT_SCR_LO;
590
591 case AMDGPU::FLAT_SCR_HI_ci:
592 case AMDGPU::FLAT_SCR_HI_vi:
593 return AMDGPU::FLAT_SCR_HI;
594
595 default:
596 return Reg;
597 }
598}
599
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000600bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000601 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000602 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000603 return OpType >= AMDGPU::OPERAND_SRC_FIRST &&
604 OpType <= AMDGPU::OPERAND_SRC_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000605}
606
607bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000608 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000609 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000610 switch (OpType) {
611 case AMDGPU::OPERAND_REG_IMM_FP32:
612 case AMDGPU::OPERAND_REG_IMM_FP64:
613 case AMDGPU::OPERAND_REG_IMM_FP16:
614 case AMDGPU::OPERAND_REG_INLINE_C_FP32:
615 case AMDGPU::OPERAND_REG_INLINE_C_FP64:
616 case AMDGPU::OPERAND_REG_INLINE_C_FP16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000617 case AMDGPU::OPERAND_REG_INLINE_C_V2FP16:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000618 return true;
619 default:
620 return false;
621 }
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000622}
623
624bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000625 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000626 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000627 return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST &&
628 OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000629}
630
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000631// Avoid using MCRegisterClass::getSize, since that function will go away
632// (move from MC* level to Target* level). Return size in bits.
Tom Stellardb133fbb2016-10-27 23:05:31 +0000633unsigned getRegBitWidth(unsigned RCID) {
634 switch (RCID) {
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000635 case AMDGPU::SGPR_32RegClassID:
636 case AMDGPU::VGPR_32RegClassID:
637 case AMDGPU::VS_32RegClassID:
638 case AMDGPU::SReg_32RegClassID:
639 case AMDGPU::SReg_32_XM0RegClassID:
640 return 32;
641 case AMDGPU::SGPR_64RegClassID:
642 case AMDGPU::VS_64RegClassID:
643 case AMDGPU::SReg_64RegClassID:
644 case AMDGPU::VReg_64RegClassID:
645 return 64;
646 case AMDGPU::VReg_96RegClassID:
647 return 96;
648 case AMDGPU::SGPR_128RegClassID:
649 case AMDGPU::SReg_128RegClassID:
650 case AMDGPU::VReg_128RegClassID:
651 return 128;
652 case AMDGPU::SReg_256RegClassID:
653 case AMDGPU::VReg_256RegClassID:
654 return 256;
655 case AMDGPU::SReg_512RegClassID:
656 case AMDGPU::VReg_512RegClassID:
657 return 512;
658 default:
659 llvm_unreachable("Unexpected register class");
660 }
661}
662
Tom Stellardb133fbb2016-10-27 23:05:31 +0000663unsigned getRegBitWidth(const MCRegisterClass &RC) {
664 return getRegBitWidth(RC.getID());
665}
666
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000667unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc,
668 unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000669 assert(OpNo < Desc.NumOperands);
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000670 unsigned RCID = Desc.OpInfo[OpNo].RegClass;
671 return getRegBitWidth(MRI->getRegClass(RCID)) / 8;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000672}
673
Matt Arsenault26faed32016-12-05 22:26:17 +0000674bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000675 if (Literal >= -16 && Literal <= 64)
676 return true;
677
Matt Arsenault26faed32016-12-05 22:26:17 +0000678 uint64_t Val = static_cast<uint64_t>(Literal);
679 return (Val == DoubleToBits(0.0)) ||
680 (Val == DoubleToBits(1.0)) ||
681 (Val == DoubleToBits(-1.0)) ||
682 (Val == DoubleToBits(0.5)) ||
683 (Val == DoubleToBits(-0.5)) ||
684 (Val == DoubleToBits(2.0)) ||
685 (Val == DoubleToBits(-2.0)) ||
686 (Val == DoubleToBits(4.0)) ||
687 (Val == DoubleToBits(-4.0)) ||
688 (Val == 0x3fc45f306dc9c882 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000689}
690
Matt Arsenault26faed32016-12-05 22:26:17 +0000691bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000692 if (Literal >= -16 && Literal <= 64)
693 return true;
694
Matt Arsenault4bd72362016-12-10 00:39:12 +0000695 // The actual type of the operand does not seem to matter as long
696 // as the bits match one of the inline immediate values. For example:
697 //
698 // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
699 // so it is a legal inline immediate.
700 //
701 // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
702 // floating-point, so it is a legal inline immediate.
703
Matt Arsenault26faed32016-12-05 22:26:17 +0000704 uint32_t Val = static_cast<uint32_t>(Literal);
705 return (Val == FloatToBits(0.0f)) ||
706 (Val == FloatToBits(1.0f)) ||
707 (Val == FloatToBits(-1.0f)) ||
708 (Val == FloatToBits(0.5f)) ||
709 (Val == FloatToBits(-0.5f)) ||
710 (Val == FloatToBits(2.0f)) ||
711 (Val == FloatToBits(-2.0f)) ||
712 (Val == FloatToBits(4.0f)) ||
713 (Val == FloatToBits(-4.0f)) ||
714 (Val == 0x3e22f983 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000715}
716
Matt Arsenault4bd72362016-12-10 00:39:12 +0000717bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) {
Sam Kolton9dffada2017-01-17 15:26:02 +0000718 if (!HasInv2Pi)
719 return false;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000720
721 if (Literal >= -16 && Literal <= 64)
722 return true;
723
724 uint16_t Val = static_cast<uint16_t>(Literal);
725 return Val == 0x3C00 || // 1.0
726 Val == 0xBC00 || // -1.0
727 Val == 0x3800 || // 0.5
728 Val == 0xB800 || // -0.5
729 Val == 0x4000 || // 2.0
730 Val == 0xC000 || // -2.0
731 Val == 0x4400 || // 4.0
732 Val == 0xC400 || // -4.0
733 Val == 0x3118; // 1/2pi
734}
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000735
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000736bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) {
737 assert(HasInv2Pi);
738
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +0000739 if (!EnablePackedInlinableLiterals)
740 return false;
741
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000742 int16_t Lo16 = static_cast<int16_t>(Literal);
743 int16_t Hi16 = static_cast<int16_t>(Literal >> 16);
744 return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi);
745}
746
Tom Stellard08efb7e2017-01-27 18:41:14 +0000747bool isUniformMMO(const MachineMemOperand *MMO) {
748 const Value *Ptr = MMO->getValue();
749 // UndefValue means this is a load of a kernel input. These are uniform.
750 // Sometimes LDS instructions have constant pointers.
751 // If Ptr is null, then that means this mem operand contains a
752 // PseudoSourceValue like GOT.
753 if (!Ptr || isa<UndefValue>(Ptr) || isa<Argument>(Ptr) ||
754 isa<Constant>(Ptr) || isa<GlobalValue>(Ptr))
755 return true;
756
757 const Instruction *I = dyn_cast<Instruction>(Ptr);
758 return I && I->getMetadata("amdgpu.uniform");
759}
760
761int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
762 if (isSI(ST) || isCI(ST))
763 return ByteOffset >> 2;
764
765 return ByteOffset;
766}
767
768bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
769 int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset);
Marek Olsak8973a0a2017-05-24 14:53:50 +0000770 return isSI(ST) || isCI(ST) ? isUInt<8>(EncodedOffset) :
Tom Stellard08efb7e2017-01-27 18:41:14 +0000771 isUInt<20>(EncodedOffset);
772}
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000773} // end namespace AMDGPU
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000774
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000775} // end namespace llvm
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000776
777const unsigned AMDGPUAS::MAX_COMMON_ADDRESS;
778const unsigned AMDGPUAS::GLOBAL_ADDRESS;
779const unsigned AMDGPUAS::LOCAL_ADDRESS;
780const unsigned AMDGPUAS::PARAM_D_ADDRESS;
781const unsigned AMDGPUAS::PARAM_I_ADDRESS;
782const unsigned AMDGPUAS::CONSTANT_BUFFER_0;
783const unsigned AMDGPUAS::CONSTANT_BUFFER_1;
784const unsigned AMDGPUAS::CONSTANT_BUFFER_2;
785const unsigned AMDGPUAS::CONSTANT_BUFFER_3;
786const unsigned AMDGPUAS::CONSTANT_BUFFER_4;
787const unsigned AMDGPUAS::CONSTANT_BUFFER_5;
788const unsigned AMDGPUAS::CONSTANT_BUFFER_6;
789const unsigned AMDGPUAS::CONSTANT_BUFFER_7;
790const unsigned AMDGPUAS::CONSTANT_BUFFER_8;
791const unsigned AMDGPUAS::CONSTANT_BUFFER_9;
792const unsigned AMDGPUAS::CONSTANT_BUFFER_10;
793const unsigned AMDGPUAS::CONSTANT_BUFFER_11;
794const unsigned AMDGPUAS::CONSTANT_BUFFER_12;
795const unsigned AMDGPUAS::CONSTANT_BUFFER_13;
796const unsigned AMDGPUAS::CONSTANT_BUFFER_14;
797const unsigned AMDGPUAS::CONSTANT_BUFFER_15;
798const unsigned AMDGPUAS::UNKNOWN_ADDRESS_SPACE;
799
800namespace llvm {
801namespace AMDGPU {
802
803AMDGPUAS getAMDGPUAS(Triple T) {
804 auto Env = T.getEnvironmentName();
805 AMDGPUAS AS;
806 if (Env == "amdgiz" || Env == "amdgizcl") {
807 AS.FLAT_ADDRESS = 0;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000808 AS.PRIVATE_ADDRESS = 5;
Yaxun Liu76ae47c2017-04-06 19:17:32 +0000809 AS.REGION_ADDRESS = 4;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000810 }
811 else {
812 AS.FLAT_ADDRESS = 4;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000813 AS.PRIVATE_ADDRESS = 0;
814 AS.REGION_ADDRESS = 5;
815 }
816 return AS;
817}
818
819AMDGPUAS getAMDGPUAS(const TargetMachine &M) {
820 return getAMDGPUAS(M.getTargetTriple());
821}
822
823AMDGPUAS getAMDGPUAS(const Module &M) {
824 return getAMDGPUAS(Triple(M.getTargetTriple()));
825}
826} // namespace AMDGPU
827} // namespace llvm