blob: 125a3b22d0cfb20ee487078adceb7fc04a6c7a0b [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"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000026#include "llvm/MC/MCInstrInfo.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000027#include "llvm/MC/MCRegisterInfo.h"
Tom Stellarde135ffd2015-09-25 21:41:28 +000028#include "llvm/MC/MCSectionELF.h"
Tom Stellard2b65ed32015-12-21 18:44:27 +000029#include "llvm/MC/MCSubtargetInfo.h"
Tom Stellard347ac792015-06-26 21:15:07 +000030#include "llvm/MC/SubtargetFeature.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000031#include "llvm/Support/Casting.h"
Eugene Zelenkod96089b2017-02-14 00:33:36 +000032#include "llvm/Support/ErrorHandling.h"
33#include "llvm/Support/MathExtras.h"
34#include <algorithm>
35#include <cassert>
36#include <cstdint>
37#include <cstring>
38#include <utility>
Tom Stellard347ac792015-06-26 21:15:07 +000039
Matt Arsenault678e1112017-04-10 17:58:06 +000040#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellard347ac792015-06-26 21:15:07 +000041
Sam Koltona3ec5c12016-10-07 14:46:06 +000042#define GET_INSTRINFO_NAMED_OPS
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000043#define GET_INSTRMAP_INFO
Sam Koltona3ec5c12016-10-07 14:46:06 +000044#include "AMDGPUGenInstrInfo.inc"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +000045#undef GET_INSTRMAP_INFO
Sam Koltona3ec5c12016-10-07 14:46:06 +000046#undef GET_INSTRINFO_NAMED_OPS
Sam Koltona3ec5c12016-10-07 14:46:06 +000047
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000048namespace {
49
50/// \returns Bit mask for given bit \p Shift and bit \p Width.
51unsigned getBitMask(unsigned Shift, unsigned Width) {
52 return ((1 << Width) - 1) << Shift;
53}
54
55/// \brief Packs \p Src into \p Dst for given bit \p Shift and bit \p Width.
56///
57/// \returns Packed \p Dst.
58unsigned packBits(unsigned Src, unsigned Dst, unsigned Shift, unsigned Width) {
59 Dst &= ~(1 << Shift) & ~getBitMask(Shift, Width);
60 Dst |= (Src << Shift) & getBitMask(Shift, Width);
61 return Dst;
62}
63
64/// \brief Unpacks bits from \p Src for given bit \p Shift and bit \p Width.
65///
66/// \returns Unpacked bits.
67unsigned unpackBits(unsigned Src, unsigned Shift, unsigned Width) {
68 return (Src & getBitMask(Shift, Width)) >> Shift;
69}
70
Matt Arsenaulte823d922017-02-18 18:29:53 +000071/// \returns Vmcnt bit shift (lower bits).
72unsigned getVmcntBitShiftLo() { return 0; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000073
Matt Arsenaulte823d922017-02-18 18:29:53 +000074/// \returns Vmcnt bit width (lower bits).
75unsigned getVmcntBitWidthLo() { return 4; }
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000076
77/// \returns Expcnt bit shift.
78unsigned getExpcntBitShift() { return 4; }
79
80/// \returns Expcnt bit width.
81unsigned getExpcntBitWidth() { return 3; }
82
83/// \returns Lgkmcnt bit shift.
84unsigned getLgkmcntBitShift() { return 8; }
85
86/// \returns Lgkmcnt bit width.
87unsigned getLgkmcntBitWidth() { return 4; }
88
Matt Arsenaulte823d922017-02-18 18:29:53 +000089/// \returns Vmcnt bit shift (higher bits).
90unsigned getVmcntBitShiftHi() { return 14; }
91
92/// \returns Vmcnt bit width (higher bits).
93unsigned getVmcntBitWidthHi() { return 2; }
94
Eugene Zelenkod96089b2017-02-14 00:33:36 +000095} // end namespace anonymous
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000096
Tom Stellard347ac792015-06-26 21:15:07 +000097namespace llvm {
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +000098
99static cl::opt<bool> EnablePackedInlinableLiterals(
100 "enable-packed-inlinable-literals",
101 cl::desc("Enable packed inlinable literals (v2f16, v2i16)"),
102 cl::init(false));
103
Tom Stellard347ac792015-06-26 21:15:07 +0000104namespace AMDGPU {
105
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000106LLVM_READNONE
107static inline Channels indexToChannel(unsigned Channel) {
108 switch (Channel) {
109 case 1:
110 return AMDGPU::Channels_1;
111 case 2:
112 return AMDGPU::Channels_2;
113 case 3:
114 return AMDGPU::Channels_3;
115 case 4:
116 return AMDGPU::Channels_4;
117 default:
118 llvm_unreachable("invalid MIMG channel");
119 }
120}
121
122
123// FIXME: Need to handle d16 images correctly.
124static unsigned rcToChannels(unsigned RCID) {
125 switch (RCID) {
126 case AMDGPU::VGPR_32RegClassID:
127 return 1;
128 case AMDGPU::VReg_64RegClassID:
129 return 2;
130 case AMDGPU::VReg_96RegClassID:
131 return 3;
132 case AMDGPU::VReg_128RegClassID:
133 return 4;
134 default:
135 llvm_unreachable("invalid MIMG register class");
136 }
137}
138
139int getMaskedMIMGOp(const MCInstrInfo &MII, unsigned Opc, unsigned NewChannels) {
140 AMDGPU::Channels Channel = AMDGPU::indexToChannel(NewChannels);
141 unsigned OrigChannels = rcToChannels(MII.get(Opc).OpInfo[0].RegClass);
142 if (NewChannels == OrigChannels)
143 return Opc;
144
145 switch (OrigChannels) {
146 case 1:
147 return AMDGPU::getMaskedMIMGOp1(Opc, Channel);
148 case 2:
149 return AMDGPU::getMaskedMIMGOp2(Opc, Channel);
150 case 3:
151 return AMDGPU::getMaskedMIMGOp3(Opc, Channel);
152 case 4:
153 return AMDGPU::getMaskedMIMGOp4(Opc, Channel);
154 default:
155 llvm_unreachable("invalid MIMG channel");
156 }
157}
158
159// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
160// header files, so we need to wrap it in a function that takes unsigned
161// instead.
162int getMCOpcode(uint16_t Opcode, unsigned Gen) {
163 return getMCOpcodeGen(Opcode, static_cast<Subtarget>(Gen));
164}
165
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000166namespace IsaInfo {
Tom Stellard347ac792015-06-26 21:15:07 +0000167
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000168IsaVersion getIsaVersion(const FeatureBitset &Features) {
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000169 // GCN GFX6 (Southern Islands (SI)).
Wei Ding7c3e5112017-06-10 03:53:19 +0000170 if (Features.test(FeatureISAVersion6_0_0))
171 return {6, 0, 0};
172 if (Features.test(FeatureISAVersion6_0_1))
173 return {6, 0, 1};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000174
175 // GCN GFX7 (Sea Islands (CI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000176 if (Features.test(FeatureISAVersion7_0_0))
177 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000178 if (Features.test(FeatureISAVersion7_0_1))
179 return {7, 0, 1};
Yaxun Liu94add852016-10-26 16:37:56 +0000180 if (Features.test(FeatureISAVersion7_0_2))
181 return {7, 0, 2};
Wei Ding7c3e5112017-06-10 03:53:19 +0000182 if (Features.test(FeatureISAVersion7_0_3))
183 return {7, 0, 3};
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000184 if (Features.test(FeatureISAVersion7_0_4))
185 return {7, 0, 4};
Yaxun Liu94add852016-10-26 16:37:56 +0000186
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000187 // GCN GFX8 (Volcanic Islands (VI)).
Tom Stellard347ac792015-06-26 21:15:07 +0000188 if (Features.test(FeatureISAVersion8_0_0))
189 return {8, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000190 if (Features.test(FeatureISAVersion8_0_1))
191 return {8, 0, 1};
Changpeng Fang98317d22016-10-11 16:00:47 +0000192 if (Features.test(FeatureISAVersion8_0_2))
193 return {8, 0, 2};
Changpeng Fangc16be002016-01-13 20:39:25 +0000194 if (Features.test(FeatureISAVersion8_0_3))
195 return {8, 0, 3};
Yaxun Liu94add852016-10-26 16:37:56 +0000196 if (Features.test(FeatureISAVersion8_1_0))
197 return {8, 1, 0};
198
Konstantin Zhuravlyovc40d9f22017-12-08 20:52:28 +0000199 // GCN GFX9.
Matt Arsenaulte823d922017-02-18 18:29:53 +0000200 if (Features.test(FeatureISAVersion9_0_0))
201 return {9, 0, 0};
Wei Ding7c3e5112017-06-10 03:53:19 +0000202 if (Features.test(FeatureISAVersion9_0_2))
203 return {9, 0, 2};
Matt Arsenaulte823d922017-02-18 18:29:53 +0000204
Konstantin Zhuravlyov94b3b472017-07-11 17:57:41 +0000205 if (!Features.test(FeatureGCN) || Features.test(FeatureSouthernIslands))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000206 return {0, 0, 0};
207 return {7, 0, 0};
Tom Stellard347ac792015-06-26 21:15:07 +0000208}
209
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000210void streamIsaVersion(const MCSubtargetInfo *STI, raw_ostream &Stream) {
211 auto TargetTriple = STI->getTargetTriple();
212 auto ISAVersion = IsaInfo::getIsaVersion(STI->getFeatureBits());
213
214 Stream << TargetTriple.getArchName() << '-'
215 << TargetTriple.getVendorName() << '-'
216 << TargetTriple.getOSName() << '-'
217 << TargetTriple.getEnvironmentName() << '-'
218 << "gfx"
219 << ISAVersion.Major
220 << ISAVersion.Minor
221 << ISAVersion.Stepping;
222 Stream.flush();
223}
224
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000225bool hasCodeObjectV3(const FeatureBitset &Features) {
226 return Features.test(FeatureCodeObjectV3);
227}
228
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000229unsigned getWavefrontSize(const FeatureBitset &Features) {
230 if (Features.test(FeatureWavefrontSize16))
231 return 16;
232 if (Features.test(FeatureWavefrontSize32))
233 return 32;
234
235 return 64;
236}
237
238unsigned getLocalMemorySize(const FeatureBitset &Features) {
239 if (Features.test(FeatureLocalMemorySize32768))
240 return 32768;
241 if (Features.test(FeatureLocalMemorySize65536))
242 return 65536;
243
244 return 0;
245}
246
247unsigned getEUsPerCU(const FeatureBitset &Features) {
248 return 4;
249}
250
251unsigned getMaxWorkGroupsPerCU(const FeatureBitset &Features,
252 unsigned FlatWorkGroupSize) {
253 if (!Features.test(FeatureGCN))
254 return 8;
Stanislav Mekhanoshin19f98c62017-02-15 01:03:59 +0000255 unsigned N = getWavesPerWorkGroup(Features, FlatWorkGroupSize);
256 if (N == 1)
257 return 40;
258 N = 40 / N;
259 return std::min(N, 16u);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000260}
261
262unsigned getMaxWavesPerCU(const FeatureBitset &Features) {
263 return getMaxWavesPerEU(Features) * getEUsPerCU(Features);
264}
265
266unsigned getMaxWavesPerCU(const FeatureBitset &Features,
267 unsigned FlatWorkGroupSize) {
268 return getWavesPerWorkGroup(Features, FlatWorkGroupSize);
269}
270
271unsigned getMinWavesPerEU(const FeatureBitset &Features) {
272 return 1;
273}
274
275unsigned getMaxWavesPerEU(const FeatureBitset &Features) {
276 if (!Features.test(FeatureGCN))
277 return 8;
278 // FIXME: Need to take scratch memory into account.
279 return 10;
280}
281
282unsigned getMaxWavesPerEU(const FeatureBitset &Features,
283 unsigned FlatWorkGroupSize) {
284 return alignTo(getMaxWavesPerCU(Features, FlatWorkGroupSize),
285 getEUsPerCU(Features)) / getEUsPerCU(Features);
286}
287
288unsigned getMinFlatWorkGroupSize(const FeatureBitset &Features) {
289 return 1;
290}
291
292unsigned getMaxFlatWorkGroupSize(const FeatureBitset &Features) {
293 return 2048;
294}
295
296unsigned getWavesPerWorkGroup(const FeatureBitset &Features,
297 unsigned FlatWorkGroupSize) {
298 return alignTo(FlatWorkGroupSize, getWavefrontSize(Features)) /
299 getWavefrontSize(Features);
300}
301
302unsigned getSGPRAllocGranule(const FeatureBitset &Features) {
303 IsaVersion Version = getIsaVersion(Features);
304 if (Version.Major >= 8)
305 return 16;
306 return 8;
307}
308
309unsigned getSGPREncodingGranule(const FeatureBitset &Features) {
310 return 8;
311}
312
313unsigned getTotalNumSGPRs(const FeatureBitset &Features) {
314 IsaVersion Version = getIsaVersion(Features);
315 if (Version.Major >= 8)
316 return 800;
317 return 512;
318}
319
320unsigned getAddressableNumSGPRs(const FeatureBitset &Features) {
321 if (Features.test(FeatureSGPRInitBug))
322 return FIXED_NUM_SGPRS_FOR_INIT_BUG;
323
324 IsaVersion Version = getIsaVersion(Features);
325 if (Version.Major >= 8)
326 return 102;
327 return 104;
328}
329
330unsigned getMinNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000331 assert(WavesPerEU != 0);
332
333 if (WavesPerEU >= getMaxWavesPerEU(Features))
334 return 0;
335 unsigned MinNumSGPRs =
336 alignDown(getTotalNumSGPRs(Features) / (WavesPerEU + 1),
337 getSGPRAllocGranule(Features)) + 1;
338 return std::min(MinNumSGPRs, getAddressableNumSGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000339}
340
341unsigned getMaxNumSGPRs(const FeatureBitset &Features, unsigned WavesPerEU,
342 bool Addressable) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000343 assert(WavesPerEU != 0);
344
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000345 IsaVersion Version = getIsaVersion(Features);
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000346 unsigned MaxNumSGPRs = alignDown(getTotalNumSGPRs(Features) / WavesPerEU,
347 getSGPRAllocGranule(Features));
348 unsigned AddressableNumSGPRs = getAddressableNumSGPRs(Features);
349 if (Version.Major >= 8 && !Addressable)
350 AddressableNumSGPRs = 112;
351 return std::min(MaxNumSGPRs, AddressableNumSGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000352}
353
354unsigned getVGPRAllocGranule(const FeatureBitset &Features) {
355 return 4;
356}
357
358unsigned getVGPREncodingGranule(const FeatureBitset &Features) {
359 return getVGPRAllocGranule(Features);
360}
361
362unsigned getTotalNumVGPRs(const FeatureBitset &Features) {
363 return 256;
364}
365
366unsigned getAddressableNumVGPRs(const FeatureBitset &Features) {
367 return getTotalNumVGPRs(Features);
368}
369
370unsigned getMinNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000371 assert(WavesPerEU != 0);
372
373 if (WavesPerEU >= getMaxWavesPerEU(Features))
374 return 0;
375 unsigned MinNumVGPRs =
376 alignDown(getTotalNumVGPRs(Features) / (WavesPerEU + 1),
377 getVGPRAllocGranule(Features)) + 1;
378 return std::min(MinNumVGPRs, getAddressableNumVGPRs(Features));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000379}
380
381unsigned getMaxNumVGPRs(const FeatureBitset &Features, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000382 assert(WavesPerEU != 0);
383
384 unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(Features) / WavesPerEU,
385 getVGPRAllocGranule(Features));
386 unsigned AddressableNumVGPRs = getAddressableNumVGPRs(Features);
387 return std::min(MaxNumVGPRs, AddressableNumVGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000388}
389
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000390} // end namespace IsaInfo
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000391
Tom Stellardff7416b2015-06-26 21:58:31 +0000392void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header,
393 const FeatureBitset &Features) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000394 IsaInfo::IsaVersion ISA = IsaInfo::getIsaVersion(Features);
Tom Stellardff7416b2015-06-26 21:58:31 +0000395
396 memset(&Header, 0, sizeof(Header));
397
398 Header.amd_kernel_code_version_major = 1;
Konstantin Zhuravlyov182e9cc2017-02-28 17:17:52 +0000399 Header.amd_kernel_code_version_minor = 1;
Tom Stellardff7416b2015-06-26 21:58:31 +0000400 Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU
401 Header.amd_machine_version_major = ISA.Major;
402 Header.amd_machine_version_minor = ISA.Minor;
403 Header.amd_machine_version_stepping = ISA.Stepping;
404 Header.kernel_code_entry_byte_offset = sizeof(Header);
405 // wavefront_size is specified as a power of 2: 2^6 = 64 threads.
406 Header.wavefront_size = 6;
Matt Arsenault5d910192017-01-25 20:21:57 +0000407
408 // If the code object does not support indirect functions, then the value must
409 // be 0xffffffff.
410 Header.call_convention = -1;
411
Tom Stellardff7416b2015-06-26 21:58:31 +0000412 // These alignment values are specified in powers of two, so alignment =
413 // 2^n. The minimum alignment is 2^4 = 16.
414 Header.kernarg_segment_alignment = 4;
415 Header.group_segment_alignment = 4;
416 Header.private_segment_alignment = 4;
417}
418
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000419bool isGroupSegment(const GlobalValue *GV) {
420 return GV->getType()->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000421}
422
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000423bool isGlobalSegment(const GlobalValue *GV) {
424 return GV->getType()->getAddressSpace() == AMDGPUAS::GLOBAL_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000425}
426
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000427bool isReadOnlySegment(const GlobalValue *GV) {
428 return GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000429}
430
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000431bool shouldEmitConstantsToTextSection(const Triple &TT) {
432 return TT.getOS() != Triple::AMDHSA;
433}
434
Matt Arsenault83002722016-05-12 02:45:18 +0000435int getIntegerAttribute(const Function &F, StringRef Name, int Default) {
Marek Olsakfccabaf2016-01-13 11:45:36 +0000436 Attribute A = F.getFnAttribute(Name);
Matt Arsenault83002722016-05-12 02:45:18 +0000437 int Result = Default;
Tom Stellardac00eb52015-12-15 16:26:16 +0000438
439 if (A.isStringAttribute()) {
440 StringRef Str = A.getValueAsString();
Marek Olsakfccabaf2016-01-13 11:45:36 +0000441 if (Str.getAsInteger(0, Result)) {
Tom Stellardac00eb52015-12-15 16:26:16 +0000442 LLVMContext &Ctx = F.getContext();
Matt Arsenault83002722016-05-12 02:45:18 +0000443 Ctx.emitError("can't parse integer attribute " + Name);
Tom Stellardac00eb52015-12-15 16:26:16 +0000444 }
445 }
Matt Arsenault83002722016-05-12 02:45:18 +0000446
Marek Olsakfccabaf2016-01-13 11:45:36 +0000447 return Result;
448}
449
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000450std::pair<int, int> getIntegerPairAttribute(const Function &F,
451 StringRef Name,
452 std::pair<int, int> Default,
453 bool OnlyFirstRequired) {
454 Attribute A = F.getFnAttribute(Name);
455 if (!A.isStringAttribute())
456 return Default;
457
458 LLVMContext &Ctx = F.getContext();
459 std::pair<int, int> Ints = Default;
460 std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(',');
461 if (Strs.first.trim().getAsInteger(0, Ints.first)) {
462 Ctx.emitError("can't parse first integer attribute " + Name);
463 return Default;
464 }
465 if (Strs.second.trim().getAsInteger(0, Ints.second)) {
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000466 if (!OnlyFirstRequired || !Strs.second.trim().empty()) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000467 Ctx.emitError("can't parse second integer attribute " + Name);
468 return Default;
469 }
470 }
471
472 return Ints;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000473}
474
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000475unsigned getVmcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000476 unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1;
477 if (Version.Major < 9)
478 return VmcntLo;
479
480 unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo();
481 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000482}
483
484unsigned getExpcntBitMask(const IsaInfo::IsaVersion &Version) {
485 return (1 << getExpcntBitWidth()) - 1;
486}
487
488unsigned getLgkmcntBitMask(const IsaInfo::IsaVersion &Version) {
489 return (1 << getLgkmcntBitWidth()) - 1;
490}
491
492unsigned getWaitcntBitMask(const IsaInfo::IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000493 unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000494 unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth());
495 unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(), getLgkmcntBitWidth());
Matt Arsenaulte823d922017-02-18 18:29:53 +0000496 unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt;
497 if (Version.Major < 9)
498 return Waitcnt;
499
500 unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi());
501 return Waitcnt | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000502}
503
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000504unsigned decodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000505 unsigned VmcntLo =
506 unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
507 if (Version.Major < 9)
508 return VmcntLo;
509
510 unsigned VmcntHi =
511 unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
512 VmcntHi <<= getVmcntBitWidthLo();
513 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000514}
515
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000516unsigned decodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000517 return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
518}
519
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000520unsigned decodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000521 return unpackBits(Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
522}
523
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000524void decodeWaitcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000525 unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) {
526 Vmcnt = decodeVmcnt(Version, Waitcnt);
527 Expcnt = decodeExpcnt(Version, Waitcnt);
528 Lgkmcnt = decodeLgkmcnt(Version, Waitcnt);
529}
530
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000531unsigned encodeVmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
532 unsigned Vmcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000533 Waitcnt =
534 packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
535 if (Version.Major < 9)
536 return Waitcnt;
537
538 Vmcnt >>= getVmcntBitWidthLo();
539 return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000540}
541
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000542unsigned encodeExpcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
543 unsigned Expcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000544 return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
545}
546
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000547unsigned encodeLgkmcnt(const IsaInfo::IsaVersion &Version, unsigned Waitcnt,
548 unsigned Lgkmcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000549 return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(), getLgkmcntBitWidth());
550}
551
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000552unsigned encodeWaitcnt(const IsaInfo::IsaVersion &Version,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000553 unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) {
Konstantin Zhuravlyov31dbb032017-01-06 17:23:21 +0000554 unsigned Waitcnt = getWaitcntBitMask(Version);
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000555 Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt);
556 Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt);
557 Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt);
558 return Waitcnt;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000559}
560
Marek Olsakfccabaf2016-01-13 11:45:36 +0000561unsigned getInitialPSInputAddr(const Function &F) {
562 return getIntegerAttribute(F, "InitialPSInputAddr", 0);
Tom Stellardac00eb52015-12-15 16:26:16 +0000563}
564
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000565bool isShader(CallingConv::ID cc) {
566 switch(cc) {
567 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000568 case CallingConv::AMDGPU_LS:
Marek Olsaka302a7362017-05-02 15:41:10 +0000569 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000570 case CallingConv::AMDGPU_ES:
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000571 case CallingConv::AMDGPU_GS:
572 case CallingConv::AMDGPU_PS:
573 case CallingConv::AMDGPU_CS:
574 return true;
575 default:
576 return false;
577 }
578}
579
580bool isCompute(CallingConv::ID cc) {
581 return !isShader(cc) || cc == CallingConv::AMDGPU_CS;
582}
583
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000584bool isEntryFunctionCC(CallingConv::ID CC) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000585 switch (CC) {
586 case CallingConv::AMDGPU_KERNEL:
587 case CallingConv::SPIR_KERNEL:
588 case CallingConv::AMDGPU_VS:
589 case CallingConv::AMDGPU_GS:
590 case CallingConv::AMDGPU_PS:
591 case CallingConv::AMDGPU_CS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000592 case CallingConv::AMDGPU_ES:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000593 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000594 case CallingConv::AMDGPU_LS:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000595 return true;
596 default:
597 return false;
598 }
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000599}
600
Tom Stellard2b65ed32015-12-21 18:44:27 +0000601bool isSI(const MCSubtargetInfo &STI) {
602 return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands];
603}
604
605bool isCI(const MCSubtargetInfo &STI) {
606 return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands];
607}
608
609bool isVI(const MCSubtargetInfo &STI) {
610 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
611}
612
Sam Koltonf7659d712017-05-23 10:08:55 +0000613bool isGFX9(const MCSubtargetInfo &STI) {
614 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
615}
616
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000617bool isGCN3Encoding(const MCSubtargetInfo &STI) {
618 return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding];
619}
620
Sam Koltonf7659d712017-05-23 10:08:55 +0000621bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) {
622 const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID);
623 const unsigned FirstSubReg = TRI->getSubReg(Reg, 1);
624 return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) ||
625 Reg == AMDGPU::SCC;
626}
627
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000628bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) {
Dmitry Preobrazhensky00deef82017-07-18 11:14:02 +0000629 for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) {
630 if (*R == Reg1) return true;
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000631 }
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000632 return false;
633}
634
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000635#define MAP_REG2REG \
636 using namespace AMDGPU; \
637 switch(Reg) { \
638 default: return Reg; \
639 CASE_CI_VI(FLAT_SCR) \
640 CASE_CI_VI(FLAT_SCR_LO) \
641 CASE_CI_VI(FLAT_SCR_HI) \
642 CASE_VI_GFX9(TTMP0) \
643 CASE_VI_GFX9(TTMP1) \
644 CASE_VI_GFX9(TTMP2) \
645 CASE_VI_GFX9(TTMP3) \
646 CASE_VI_GFX9(TTMP4) \
647 CASE_VI_GFX9(TTMP5) \
648 CASE_VI_GFX9(TTMP6) \
649 CASE_VI_GFX9(TTMP7) \
650 CASE_VI_GFX9(TTMP8) \
651 CASE_VI_GFX9(TTMP9) \
652 CASE_VI_GFX9(TTMP10) \
653 CASE_VI_GFX9(TTMP11) \
654 CASE_VI_GFX9(TTMP12) \
655 CASE_VI_GFX9(TTMP13) \
656 CASE_VI_GFX9(TTMP14) \
657 CASE_VI_GFX9(TTMP15) \
658 CASE_VI_GFX9(TTMP0_TTMP1) \
659 CASE_VI_GFX9(TTMP2_TTMP3) \
660 CASE_VI_GFX9(TTMP4_TTMP5) \
661 CASE_VI_GFX9(TTMP6_TTMP7) \
662 CASE_VI_GFX9(TTMP8_TTMP9) \
663 CASE_VI_GFX9(TTMP10_TTMP11) \
664 CASE_VI_GFX9(TTMP12_TTMP13) \
665 CASE_VI_GFX9(TTMP14_TTMP15) \
666 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3) \
667 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7) \
668 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11) \
669 CASE_VI_GFX9(TTMP12_TTMP13_TTMP14_TTMP15) \
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000670 CASE_VI_GFX9(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7) \
671 CASE_VI_GFX9(TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11) \
672 CASE_VI_GFX9(TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
673 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 +0000674 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000675
676#define CASE_CI_VI(node) \
677 assert(!isSI(STI)); \
678 case node: return isCI(STI) ? node##_ci : node##_vi;
679
680#define CASE_VI_GFX9(node) \
681 case node: return isGFX9(STI) ? node##_gfx9 : node##_vi;
682
683unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) {
684 MAP_REG2REG
Tom Stellard2b65ed32015-12-21 18:44:27 +0000685}
686
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000687#undef CASE_CI_VI
688#undef CASE_VI_GFX9
689
690#define CASE_CI_VI(node) case node##_ci: case node##_vi: return node;
691#define CASE_VI_GFX9(node) case node##_vi: case node##_gfx9: return node;
692
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000693unsigned mc2PseudoReg(unsigned Reg) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000694 MAP_REG2REG
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +0000695}
696
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000697#undef CASE_CI_VI
698#undef CASE_VI_GFX9
699#undef MAP_REG2REG
700
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000701bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000702 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000703 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000704 return OpType >= AMDGPU::OPERAND_SRC_FIRST &&
705 OpType <= AMDGPU::OPERAND_SRC_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000706}
707
708bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000709 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000710 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000711 switch (OpType) {
712 case AMDGPU::OPERAND_REG_IMM_FP32:
713 case AMDGPU::OPERAND_REG_IMM_FP64:
714 case AMDGPU::OPERAND_REG_IMM_FP16:
715 case AMDGPU::OPERAND_REG_INLINE_C_FP32:
716 case AMDGPU::OPERAND_REG_INLINE_C_FP64:
717 case AMDGPU::OPERAND_REG_INLINE_C_FP16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000718 case AMDGPU::OPERAND_REG_INLINE_C_V2FP16:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000719 return true;
720 default:
721 return false;
722 }
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000723}
724
725bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000726 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000727 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000728 return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST &&
729 OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000730}
731
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000732// Avoid using MCRegisterClass::getSize, since that function will go away
733// (move from MC* level to Target* level). Return size in bits.
Tom Stellardb133fbb2016-10-27 23:05:31 +0000734unsigned getRegBitWidth(unsigned RCID) {
735 switch (RCID) {
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000736 case AMDGPU::SGPR_32RegClassID:
737 case AMDGPU::VGPR_32RegClassID:
738 case AMDGPU::VS_32RegClassID:
739 case AMDGPU::SReg_32RegClassID:
740 case AMDGPU::SReg_32_XM0RegClassID:
741 return 32;
742 case AMDGPU::SGPR_64RegClassID:
743 case AMDGPU::VS_64RegClassID:
744 case AMDGPU::SReg_64RegClassID:
745 case AMDGPU::VReg_64RegClassID:
746 return 64;
747 case AMDGPU::VReg_96RegClassID:
748 return 96;
749 case AMDGPU::SGPR_128RegClassID:
750 case AMDGPU::SReg_128RegClassID:
751 case AMDGPU::VReg_128RegClassID:
752 return 128;
753 case AMDGPU::SReg_256RegClassID:
754 case AMDGPU::VReg_256RegClassID:
755 return 256;
756 case AMDGPU::SReg_512RegClassID:
757 case AMDGPU::VReg_512RegClassID:
758 return 512;
759 default:
760 llvm_unreachable("Unexpected register class");
761 }
762}
763
Tom Stellardb133fbb2016-10-27 23:05:31 +0000764unsigned getRegBitWidth(const MCRegisterClass &RC) {
765 return getRegBitWidth(RC.getID());
766}
767
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000768unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc,
769 unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +0000770 assert(OpNo < Desc.NumOperands);
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +0000771 unsigned RCID = Desc.OpInfo[OpNo].RegClass;
772 return getRegBitWidth(MRI->getRegClass(RCID)) / 8;
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000773}
774
Matt Arsenault26faed32016-12-05 22:26:17 +0000775bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000776 if (Literal >= -16 && Literal <= 64)
777 return true;
778
Matt Arsenault26faed32016-12-05 22:26:17 +0000779 uint64_t Val = static_cast<uint64_t>(Literal);
780 return (Val == DoubleToBits(0.0)) ||
781 (Val == DoubleToBits(1.0)) ||
782 (Val == DoubleToBits(-1.0)) ||
783 (Val == DoubleToBits(0.5)) ||
784 (Val == DoubleToBits(-0.5)) ||
785 (Val == DoubleToBits(2.0)) ||
786 (Val == DoubleToBits(-2.0)) ||
787 (Val == DoubleToBits(4.0)) ||
788 (Val == DoubleToBits(-4.0)) ||
789 (Val == 0x3fc45f306dc9c882 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000790}
791
Matt Arsenault26faed32016-12-05 22:26:17 +0000792bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000793 if (Literal >= -16 && Literal <= 64)
794 return true;
795
Matt Arsenault4bd72362016-12-10 00:39:12 +0000796 // The actual type of the operand does not seem to matter as long
797 // as the bits match one of the inline immediate values. For example:
798 //
799 // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
800 // so it is a legal inline immediate.
801 //
802 // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
803 // floating-point, so it is a legal inline immediate.
804
Matt Arsenault26faed32016-12-05 22:26:17 +0000805 uint32_t Val = static_cast<uint32_t>(Literal);
806 return (Val == FloatToBits(0.0f)) ||
807 (Val == FloatToBits(1.0f)) ||
808 (Val == FloatToBits(-1.0f)) ||
809 (Val == FloatToBits(0.5f)) ||
810 (Val == FloatToBits(-0.5f)) ||
811 (Val == FloatToBits(2.0f)) ||
812 (Val == FloatToBits(-2.0f)) ||
813 (Val == FloatToBits(4.0f)) ||
814 (Val == FloatToBits(-4.0f)) ||
815 (Val == 0x3e22f983 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000816}
817
Matt Arsenault4bd72362016-12-10 00:39:12 +0000818bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) {
Sam Kolton9dffada2017-01-17 15:26:02 +0000819 if (!HasInv2Pi)
820 return false;
Matt Arsenault4bd72362016-12-10 00:39:12 +0000821
822 if (Literal >= -16 && Literal <= 64)
823 return true;
824
825 uint16_t Val = static_cast<uint16_t>(Literal);
826 return Val == 0x3C00 || // 1.0
827 Val == 0xBC00 || // -1.0
828 Val == 0x3800 || // 0.5
829 Val == 0xB800 || // -0.5
830 Val == 0x4000 || // 2.0
831 Val == 0xC000 || // -2.0
832 Val == 0x4400 || // 4.0
833 Val == 0xC400 || // -4.0
834 Val == 0x3118; // 1/2pi
835}
Sam Kolton1eeb11b2016-09-09 14:44:04 +0000836
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000837bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) {
838 assert(HasInv2Pi);
839
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +0000840 if (!EnablePackedInlinableLiterals)
841 return false;
842
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000843 int16_t Lo16 = static_cast<int16_t>(Literal);
844 int16_t Hi16 = static_cast<int16_t>(Literal >> 16);
845 return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi);
846}
847
Matt Arsenault894e53d2017-07-26 20:39:42 +0000848bool isArgPassedInSGPR(const Argument *A) {
849 const Function *F = A->getParent();
850
851 // Arguments to compute shaders are never a source of divergence.
852 CallingConv::ID CC = F->getCallingConv();
853 switch (CC) {
854 case CallingConv::AMDGPU_KERNEL:
855 case CallingConv::SPIR_KERNEL:
856 return true;
857 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000858 case CallingConv::AMDGPU_LS:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000859 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000860 case CallingConv::AMDGPU_ES:
Matt Arsenault894e53d2017-07-26 20:39:42 +0000861 case CallingConv::AMDGPU_GS:
862 case CallingConv::AMDGPU_PS:
863 case CallingConv::AMDGPU_CS:
864 // For non-compute shaders, SGPR inputs are marked with either inreg or byval.
865 // Everything else is in VGPRs.
866 return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) ||
867 F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal);
868 default:
869 // TODO: Should calls support inreg for SGPR inputs?
870 return false;
871 }
872}
873
874// TODO: Should largely merge with AMDGPUTTIImpl::isSourceOfDivergence.
Tom Stellard08efb7e2017-01-27 18:41:14 +0000875bool isUniformMMO(const MachineMemOperand *MMO) {
876 const Value *Ptr = MMO->getValue();
877 // UndefValue means this is a load of a kernel input. These are uniform.
878 // Sometimes LDS instructions have constant pointers.
879 // If Ptr is null, then that means this mem operand contains a
880 // PseudoSourceValue like GOT.
Matt Arsenault894e53d2017-07-26 20:39:42 +0000881 if (!Ptr || isa<UndefValue>(Ptr) ||
Tom Stellard08efb7e2017-01-27 18:41:14 +0000882 isa<Constant>(Ptr) || isa<GlobalValue>(Ptr))
883 return true;
884
Matt Arsenault894e53d2017-07-26 20:39:42 +0000885 if (const Argument *Arg = dyn_cast<Argument>(Ptr))
886 return isArgPassedInSGPR(Arg);
887
Tom Stellard08efb7e2017-01-27 18:41:14 +0000888 const Instruction *I = dyn_cast<Instruction>(Ptr);
889 return I && I->getMetadata("amdgpu.uniform");
890}
891
892int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000893 if (isGCN3Encoding(ST))
894 return ByteOffset;
895 return ByteOffset >> 2;
Tom Stellard08efb7e2017-01-27 18:41:14 +0000896}
897
898bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
899 int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset);
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000900 return isGCN3Encoding(ST) ?
901 isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset);
Tom Stellard08efb7e2017-01-27 18:41:14 +0000902}
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000903
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000904} // end namespace AMDGPU
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000905
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000906} // end namespace llvm
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000907
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000908namespace llvm {
909namespace AMDGPU {
910
911AMDGPUAS getAMDGPUAS(Triple T) {
912 auto Env = T.getEnvironmentName();
913 AMDGPUAS AS;
914 if (Env == "amdgiz" || Env == "amdgizcl") {
915 AS.FLAT_ADDRESS = 0;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000916 AS.PRIVATE_ADDRESS = 5;
Yaxun Liu76ae47c2017-04-06 19:17:32 +0000917 AS.REGION_ADDRESS = 4;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000918 }
919 else {
920 AS.FLAT_ADDRESS = 4;
Yaxun Liu1a14bfa2017-03-27 14:04:01 +0000921 AS.PRIVATE_ADDRESS = 0;
922 AS.REGION_ADDRESS = 5;
923 }
924 return AS;
925}
926
927AMDGPUAS getAMDGPUAS(const TargetMachine &M) {
928 return getAMDGPUAS(M.getTargetTriple());
929}
930
931AMDGPUAS getAMDGPUAS(const Module &M) {
932 return getAMDGPUAS(Triple(M.getTargetTriple()));
933}
934} // namespace AMDGPU
935} // namespace llvm