blob: afb2fd987afdca4422c76c1565e8eb6cfed1744a [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Tom Stellard347ac792015-06-26 21:15:07 +00006//
7//===----------------------------------------------------------------------===//
Eugene Zelenkod96089b2017-02-14 00:33:36 +00008
Eugene Zelenkod96089b2017-02-14 00:33:36 +00009#include "AMDGPUBaseInfo.h"
Alexander Timofeev2e5eece2018-03-05 15:12:21 +000010#include "AMDGPUTargetTransformInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000011#include "AMDGPU.h"
Sam Kolton1eeb11b2016-09-09 14:44:04 +000012#include "SIDefines.h"
Dmitry Preobrazhensky1fca3b12019-06-13 12:46:37 +000013#include "AMDGPUAsmUtils.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.
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +000088unsigned getLgkmcntBitWidth(unsigned VersionMajor) {
89 return (VersionMajor >= 10) ? 6 : 4;
90}
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000091
Matt Arsenaulte823d922017-02-18 18:29:53 +000092/// \returns Vmcnt bit shift (higher bits).
93unsigned getVmcntBitShiftHi() { return 14; }
94
95/// \returns Vmcnt bit width (higher bits).
96unsigned getVmcntBitWidthHi() { return 2; }
97
Eugene Zelenkod96089b2017-02-14 00:33:36 +000098} // end namespace anonymous
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +000099
Tom Stellard347ac792015-06-26 21:15:07 +0000100namespace llvm {
Konstantin Zhuravlyov3d1cc882017-04-21 19:45:22 +0000101
Tom Stellard347ac792015-06-26 21:15:07 +0000102namespace AMDGPU {
103
Nicolai Haehnle7a9c03f2018-06-21 13:36:57 +0000104#define GET_MIMGBaseOpcodesTable_IMPL
105#define GET_MIMGDimInfoTable_IMPL
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000106#define GET_MIMGInfoTable_IMPL
Ryan Taylor894c8fd2018-08-01 12:12:01 +0000107#define GET_MIMGLZMappingTable_IMPL
Piotr Sobczak9b11e932019-06-10 15:58:51 +0000108#define GET_MIMGMIPMappingTable_IMPL
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000109#include "AMDGPUGenSearchableTables.inc"
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000110
Nicolai Haehnle7a9c03f2018-06-21 13:36:57 +0000111int getMIMGOpcode(unsigned BaseOpcode, unsigned MIMGEncoding,
112 unsigned VDataDwords, unsigned VAddrDwords) {
113 const MIMGInfo *Info = getMIMGOpcodeHelper(BaseOpcode, MIMGEncoding,
114 VDataDwords, VAddrDwords);
115 return Info ? Info->Opcode : -1;
116}
117
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000118const MIMGBaseOpcodeInfo *getMIMGBaseOpcode(unsigned Opc) {
119 const MIMGInfo *Info = getMIMGInfo(Opc);
120 return Info ? getMIMGBaseOpcodeInfo(Info->BaseOpcode) : nullptr;
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
Neil Henning76504a42018-12-12 16:15:21 +0000131struct MUBUFInfo {
132 uint16_t Opcode;
133 uint16_t BaseOpcode;
Matt Arsenaultcfdc2b92019-08-18 00:20:43 +0000134 uint8_t elements;
Neil Henning76504a42018-12-12 16:15:21 +0000135 bool has_vaddr;
136 bool has_srsrc;
137 bool has_soffset;
138};
139
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000140struct MTBUFInfo {
141 uint16_t Opcode;
142 uint16_t BaseOpcode;
143 uint8_t elements;
144 bool has_vaddr;
145 bool has_srsrc;
146 bool has_soffset;
147};
148
149#define GET_MTBUFInfoTable_DECL
150#define GET_MTBUFInfoTable_IMPL
Neil Henning76504a42018-12-12 16:15:21 +0000151#define GET_MUBUFInfoTable_DECL
152#define GET_MUBUFInfoTable_IMPL
153#include "AMDGPUGenSearchableTables.inc"
154
Piotr Sobczak265e94e2019-10-02 17:22:36 +0000155int getMTBUFBaseOpcode(unsigned Opc) {
156 const MTBUFInfo *Info = getMTBUFInfoFromOpcode(Opc);
157 return Info ? Info->BaseOpcode : -1;
158}
159
160int getMTBUFOpcode(unsigned BaseOpc, unsigned Elements) {
161 const MTBUFInfo *Info = getMTBUFInfoFromBaseOpcodeAndElements(BaseOpc, Elements);
162 return Info ? Info->Opcode : -1;
163}
164
165int getMTBUFElements(unsigned Opc) {
166 const MTBUFInfo *Info = getMTBUFOpcodeHelper(Opc);
167 return Info ? Info->elements : 0;
168}
169
170bool getMTBUFHasVAddr(unsigned Opc) {
171 const MTBUFInfo *Info = getMTBUFOpcodeHelper(Opc);
172 return Info ? Info->has_vaddr : false;
173}
174
175bool getMTBUFHasSrsrc(unsigned Opc) {
176 const MTBUFInfo *Info = getMTBUFOpcodeHelper(Opc);
177 return Info ? Info->has_srsrc : false;
178}
179
180bool getMTBUFHasSoffset(unsigned Opc) {
181 const MTBUFInfo *Info = getMTBUFOpcodeHelper(Opc);
182 return Info ? Info->has_soffset : false;
183}
184
Neil Henning76504a42018-12-12 16:15:21 +0000185int getMUBUFBaseOpcode(unsigned Opc) {
186 const MUBUFInfo *Info = getMUBUFInfoFromOpcode(Opc);
187 return Info ? Info->BaseOpcode : -1;
188}
189
Matt Arsenaultcfdc2b92019-08-18 00:20:43 +0000190int getMUBUFOpcode(unsigned BaseOpc, unsigned Elements) {
191 const MUBUFInfo *Info = getMUBUFInfoFromBaseOpcodeAndElements(BaseOpc, Elements);
Neil Henning76504a42018-12-12 16:15:21 +0000192 return Info ? Info->Opcode : -1;
193}
194
Matt Arsenaultcfdc2b92019-08-18 00:20:43 +0000195int getMUBUFElements(unsigned Opc) {
Neil Henning76504a42018-12-12 16:15:21 +0000196 const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc);
Matt Arsenaultcfdc2b92019-08-18 00:20:43 +0000197 return Info ? Info->elements : 0;
Neil Henning76504a42018-12-12 16:15:21 +0000198}
199
200bool getMUBUFHasVAddr(unsigned Opc) {
201 const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc);
202 return Info ? Info->has_vaddr : false;
203}
204
205bool getMUBUFHasSrsrc(unsigned Opc) {
206 const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc);
207 return Info ? Info->has_srsrc : false;
208}
209
210bool getMUBUFHasSoffset(unsigned Opc) {
211 const MUBUFInfo *Info = getMUBUFOpcodeHelper(Opc);
212 return Info ? Info->has_soffset : false;
213}
214
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000215// Wrapper for Tablegen'd function. enum Subtarget is not defined in any
216// header files, so we need to wrap it in a function that takes unsigned
217// instead.
218int getMCOpcode(uint16_t Opcode, unsigned Gen) {
219 return getMCOpcodeGen(Opcode, static_cast<Subtarget>(Gen));
220}
221
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000222namespace IsaInfo {
Tom Stellard347ac792015-06-26 21:15:07 +0000223
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000224void streamIsaVersion(const MCSubtargetInfo *STI, raw_ostream &Stream) {
225 auto TargetTriple = STI->getTargetTriple();
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000226 auto Version = getIsaVersion(STI->getCPU());
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000227
228 Stream << TargetTriple.getArchName() << '-'
229 << TargetTriple.getVendorName() << '-'
230 << TargetTriple.getOSName() << '-'
231 << TargetTriple.getEnvironmentName() << '-'
232 << "gfx"
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000233 << Version.Major
234 << Version.Minor
235 << Version.Stepping;
Scott Linder1e8c2c72018-06-21 19:38:56 +0000236
237 if (hasXNACK(*STI))
238 Stream << "+xnack";
Konstantin Zhuravlyov108927b2018-11-05 22:44:19 +0000239 if (hasSRAMECC(*STI))
240 Stream << "+sram-ecc";
Scott Linder1e8c2c72018-06-21 19:38:56 +0000241
Konstantin Zhuravlyov9c05b2b2017-10-14 15:40:33 +0000242 Stream.flush();
243}
244
Konstantin Zhuravlyov00f2cb12018-06-12 18:02:46 +0000245bool hasCodeObjectV3(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyovaf7b5d72018-11-15 23:14:23 +0000246 return STI->getTargetTriple().getOS() == Triple::AMDHSA &&
247 STI->getFeatureBits().test(FeatureCodeObjectV3);
Konstantin Zhuravlyoveda425e2017-10-14 15:59:07 +0000248}
249
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000250unsigned getWavefrontSize(const MCSubtargetInfo *STI) {
251 if (STI->getFeatureBits().test(FeatureWavefrontSize16))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000252 return 16;
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000253 if (STI->getFeatureBits().test(FeatureWavefrontSize32))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000254 return 32;
255
256 return 64;
257}
258
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000259unsigned getLocalMemorySize(const MCSubtargetInfo *STI) {
260 if (STI->getFeatureBits().test(FeatureLocalMemorySize32768))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000261 return 32768;
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000262 if (STI->getFeatureBits().test(FeatureLocalMemorySize65536))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000263 return 65536;
264
265 return 0;
266}
267
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000268unsigned getEUsPerCU(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000269 return 4;
270}
271
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000272unsigned getMaxWorkGroupsPerCU(const MCSubtargetInfo *STI,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000273 unsigned FlatWorkGroupSize) {
Matt Arsenaultd7047272019-02-08 19:18:01 +0000274 assert(FlatWorkGroupSize != 0);
275 if (STI->getTargetTriple().getArch() != Triple::amdgcn)
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000276 return 8;
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000277 unsigned N = getWavesPerWorkGroup(STI, FlatWorkGroupSize);
Stanislav Mekhanoshin19f98c62017-02-15 01:03:59 +0000278 if (N == 1)
279 return 40;
280 N = 40 / N;
281 return std::min(N, 16u);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000282}
283
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000284unsigned getMaxWavesPerCU(const MCSubtargetInfo *STI) {
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000285 return getMaxWavesPerEU(STI) * getEUsPerCU(STI);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000286}
287
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000288unsigned getMaxWavesPerCU(const MCSubtargetInfo *STI,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000289 unsigned FlatWorkGroupSize) {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000290 return getWavesPerWorkGroup(STI, FlatWorkGroupSize);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000291}
292
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000293unsigned getMinWavesPerEU(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000294 return 1;
295}
296
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000297unsigned getMaxWavesPerEU(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000298 // FIXME: Need to take scratch memory into account.
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000299 if (!isGFX10(*STI))
300 return 10;
301 return 20;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000302}
303
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000304unsigned getMaxWavesPerEU(const MCSubtargetInfo *STI,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000305 unsigned FlatWorkGroupSize) {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000306 return alignTo(getMaxWavesPerCU(STI, FlatWorkGroupSize),
307 getEUsPerCU(STI)) / getEUsPerCU(STI);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000308}
309
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000310unsigned getMinFlatWorkGroupSize(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000311 return 1;
312}
313
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000314unsigned getMaxFlatWorkGroupSize(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000315 return 2048;
316}
317
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000318unsigned getWavesPerWorkGroup(const MCSubtargetInfo *STI,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000319 unsigned FlatWorkGroupSize) {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000320 return alignTo(FlatWorkGroupSize, getWavefrontSize(STI)) /
321 getWavefrontSize(STI);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000322}
323
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000324unsigned getSGPRAllocGranule(const MCSubtargetInfo *STI) {
325 IsaVersion Version = getIsaVersion(STI->getCPU());
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000326 if (Version.Major >= 10)
327 return getAddressableNumSGPRs(STI);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000328 if (Version.Major >= 8)
329 return 16;
330 return 8;
331}
332
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000333unsigned getSGPREncodingGranule(const MCSubtargetInfo *STI) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000334 return 8;
335}
336
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000337unsigned getTotalNumSGPRs(const MCSubtargetInfo *STI) {
338 IsaVersion Version = getIsaVersion(STI->getCPU());
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000339 if (Version.Major >= 8)
340 return 800;
341 return 512;
342}
343
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000344unsigned getAddressableNumSGPRs(const MCSubtargetInfo *STI) {
345 if (STI->getFeatureBits().test(FeatureSGPRInitBug))
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000346 return FIXED_NUM_SGPRS_FOR_INIT_BUG;
347
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000348 IsaVersion Version = getIsaVersion(STI->getCPU());
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000349 if (Version.Major >= 10)
350 return 106;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000351 if (Version.Major >= 8)
352 return 102;
353 return 104;
354}
355
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000356unsigned getMinNumSGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000357 assert(WavesPerEU != 0);
358
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000359 IsaVersion Version = getIsaVersion(STI->getCPU());
360 if (Version.Major >= 10)
361 return 0;
362
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000363 if (WavesPerEU >= getMaxWavesPerEU(STI))
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000364 return 0;
Konstantin Zhuravlyovc72ece62018-05-16 20:47:48 +0000365
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000366 unsigned MinNumSGPRs = getTotalNumSGPRs(STI) / (WavesPerEU + 1);
367 if (STI->getFeatureBits().test(FeatureTrapHandler))
Konstantin Zhuravlyovc72ece62018-05-16 20:47:48 +0000368 MinNumSGPRs -= std::min(MinNumSGPRs, (unsigned)TRAP_NUM_SGPRS);
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000369 MinNumSGPRs = alignDown(MinNumSGPRs, getSGPRAllocGranule(STI)) + 1;
370 return std::min(MinNumSGPRs, getAddressableNumSGPRs(STI));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000371}
372
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000373unsigned getMaxNumSGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000374 bool Addressable) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000375 assert(WavesPerEU != 0);
376
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000377 unsigned AddressableNumSGPRs = getAddressableNumSGPRs(STI);
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000378 IsaVersion Version = getIsaVersion(STI->getCPU());
379 if (Version.Major >= 10)
380 return Addressable ? AddressableNumSGPRs : 108;
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000381 if (Version.Major >= 8 && !Addressable)
382 AddressableNumSGPRs = 112;
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000383 unsigned MaxNumSGPRs = getTotalNumSGPRs(STI) / WavesPerEU;
384 if (STI->getFeatureBits().test(FeatureTrapHandler))
Konstantin Zhuravlyovc72ece62018-05-16 20:47:48 +0000385 MaxNumSGPRs -= std::min(MaxNumSGPRs, (unsigned)TRAP_NUM_SGPRS);
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000386 MaxNumSGPRs = alignDown(MaxNumSGPRs, getSGPRAllocGranule(STI));
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000387 return std::min(MaxNumSGPRs, AddressableNumSGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000388}
389
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000390unsigned getNumExtraSGPRs(const MCSubtargetInfo *STI, bool VCCUsed,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000391 bool FlatScrUsed, bool XNACKUsed) {
392 unsigned ExtraSGPRs = 0;
393 if (VCCUsed)
394 ExtraSGPRs = 2;
395
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000396 IsaVersion Version = getIsaVersion(STI->getCPU());
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000397 if (Version.Major >= 10)
398 return ExtraSGPRs;
399
Scott Linder1e8c2c72018-06-21 19:38:56 +0000400 if (Version.Major < 8) {
401 if (FlatScrUsed)
402 ExtraSGPRs = 4;
403 } else {
404 if (XNACKUsed)
405 ExtraSGPRs = 4;
406
407 if (FlatScrUsed)
408 ExtraSGPRs = 6;
409 }
410
411 return ExtraSGPRs;
412}
413
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000414unsigned getNumExtraSGPRs(const MCSubtargetInfo *STI, bool VCCUsed,
Scott Linder1e8c2c72018-06-21 19:38:56 +0000415 bool FlatScrUsed) {
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000416 return getNumExtraSGPRs(STI, VCCUsed, FlatScrUsed,
417 STI->getFeatureBits().test(AMDGPU::FeatureXNACK));
Scott Linder1e8c2c72018-06-21 19:38:56 +0000418}
419
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000420unsigned getNumSGPRBlocks(const MCSubtargetInfo *STI, unsigned NumSGPRs) {
421 NumSGPRs = alignTo(std::max(1u, NumSGPRs), getSGPREncodingGranule(STI));
Scott Linder1e8c2c72018-06-21 19:38:56 +0000422 // SGPRBlocks is actual number of SGPR blocks minus 1.
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000423 return NumSGPRs / getSGPREncodingGranule(STI) - 1;
Scott Linder1e8c2c72018-06-21 19:38:56 +0000424}
425
Stanislav Mekhanoshin8bcc9bb2019-06-13 19:18:29 +0000426unsigned getVGPRAllocGranule(const MCSubtargetInfo *STI,
427 Optional<bool> EnableWavefrontSize32) {
428 bool IsWave32 = EnableWavefrontSize32 ?
429 *EnableWavefrontSize32 :
430 STI->getFeatureBits().test(FeatureWavefrontSize32);
431 return IsWave32 ? 8 : 4;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000432}
433
Stanislav Mekhanoshin8bcc9bb2019-06-13 19:18:29 +0000434unsigned getVGPREncodingGranule(const MCSubtargetInfo *STI,
435 Optional<bool> EnableWavefrontSize32) {
436 return getVGPRAllocGranule(STI, EnableWavefrontSize32);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000437}
438
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000439unsigned getTotalNumVGPRs(const MCSubtargetInfo *STI) {
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000440 if (!isGFX10(*STI))
441 return 256;
442 return STI->getFeatureBits().test(FeatureWavefrontSize32) ? 1024 : 512;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000443}
444
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000445unsigned getAddressableNumVGPRs(const MCSubtargetInfo *STI) {
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000446 return 256;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000447}
448
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000449unsigned getMinNumVGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000450 assert(WavesPerEU != 0);
451
Stanislav Mekhanoshin7b5a54e2019-07-19 21:29:51 +0000452 if (WavesPerEU >= getMaxWavesPerEU(STI))
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000453 return 0;
454 unsigned MinNumVGPRs =
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000455 alignDown(getTotalNumVGPRs(STI) / (WavesPerEU + 1),
456 getVGPRAllocGranule(STI)) + 1;
457 return std::min(MinNumVGPRs, getAddressableNumVGPRs(STI));
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000458}
459
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000460unsigned getMaxNumVGPRs(const MCSubtargetInfo *STI, unsigned WavesPerEU) {
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000461 assert(WavesPerEU != 0);
462
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000463 unsigned MaxNumVGPRs = alignDown(getTotalNumVGPRs(STI) / WavesPerEU,
464 getVGPRAllocGranule(STI));
465 unsigned AddressableNumVGPRs = getAddressableNumVGPRs(STI);
Konstantin Zhuravlyovfd871372017-02-09 21:33:23 +0000466 return std::min(MaxNumVGPRs, AddressableNumVGPRs);
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000467}
468
Stanislav Mekhanoshin8bcc9bb2019-06-13 19:18:29 +0000469unsigned getNumVGPRBlocks(const MCSubtargetInfo *STI, unsigned NumVGPRs,
470 Optional<bool> EnableWavefrontSize32) {
471 NumVGPRs = alignTo(std::max(1u, NumVGPRs),
472 getVGPREncodingGranule(STI, EnableWavefrontSize32));
Scott Linder1e8c2c72018-06-21 19:38:56 +0000473 // VGPRBlocks is actual number of VGPR blocks minus 1.
Stanislav Mekhanoshin8bcc9bb2019-06-13 19:18:29 +0000474 return NumVGPRs / getVGPREncodingGranule(STI, EnableWavefrontSize32) - 1;
Scott Linder1e8c2c72018-06-21 19:38:56 +0000475}
476
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000477} // end namespace IsaInfo
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000478
Tom Stellardff7416b2015-06-26 21:58:31 +0000479void initDefaultAMDKernelCodeT(amd_kernel_code_t &Header,
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000480 const MCSubtargetInfo *STI) {
481 IsaVersion Version = getIsaVersion(STI->getCPU());
Tom Stellardff7416b2015-06-26 21:58:31 +0000482
483 memset(&Header, 0, sizeof(Header));
484
485 Header.amd_kernel_code_version_major = 1;
Konstantin Zhuravlyov61830652018-04-09 20:47:22 +0000486 Header.amd_kernel_code_version_minor = 2;
Tom Stellardff7416b2015-06-26 21:58:31 +0000487 Header.amd_machine_kind = 1; // AMD_MACHINE_KIND_AMDGPU
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000488 Header.amd_machine_version_major = Version.Major;
489 Header.amd_machine_version_minor = Version.Minor;
490 Header.amd_machine_version_stepping = Version.Stepping;
Tom Stellardff7416b2015-06-26 21:58:31 +0000491 Header.kernel_code_entry_byte_offset = sizeof(Header);
Tom Stellardff7416b2015-06-26 21:58:31 +0000492 Header.wavefront_size = 6;
Matt Arsenault5d910192017-01-25 20:21:57 +0000493
494 // If the code object does not support indirect functions, then the value must
495 // be 0xffffffff.
496 Header.call_convention = -1;
497
Tom Stellardff7416b2015-06-26 21:58:31 +0000498 // These alignment values are specified in powers of two, so alignment =
499 // 2^n. The minimum alignment is 2^4 = 16.
500 Header.kernarg_segment_alignment = 4;
501 Header.group_segment_alignment = 4;
502 Header.private_segment_alignment = 4;
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000503
504 if (Version.Major >= 10) {
Stanislav Mekhanoshin5d00c302019-06-17 16:48:56 +0000505 if (STI->getFeatureBits().test(FeatureWavefrontSize32)) {
506 Header.wavefront_size = 5;
507 Header.code_properties |= AMD_CODE_PROPERTY_ENABLE_WAVEFRONT_SIZE32;
508 }
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000509 Header.compute_pgm_resource_registers |=
510 S_00B848_WGP_MODE(STI->getFeatureBits().test(FeatureCuMode) ? 0 : 1) |
511 S_00B848_MEM_ORDERED(1);
512 }
Tom Stellardff7416b2015-06-26 21:58:31 +0000513}
514
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000515amdhsa::kernel_descriptor_t getDefaultAmdhsaKernelDescriptor(
516 const MCSubtargetInfo *STI) {
517 IsaVersion Version = getIsaVersion(STI->getCPU());
518
Scott Linder1e8c2c72018-06-21 19:38:56 +0000519 amdhsa::kernel_descriptor_t KD;
520 memset(&KD, 0, sizeof(KD));
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000521
Scott Linder1e8c2c72018-06-21 19:38:56 +0000522 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
523 amdhsa::COMPUTE_PGM_RSRC1_FLOAT_DENORM_MODE_16_64,
524 amdhsa::FLOAT_DENORM_MODE_FLUSH_NONE);
525 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
526 amdhsa::COMPUTE_PGM_RSRC1_ENABLE_DX10_CLAMP, 1);
527 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
528 amdhsa::COMPUTE_PGM_RSRC1_ENABLE_IEEE_MODE, 1);
529 AMDHSA_BITS_SET(KD.compute_pgm_rsrc2,
530 amdhsa::COMPUTE_PGM_RSRC2_ENABLE_SGPR_WORKGROUP_ID_X, 1);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000531 if (Version.Major >= 10) {
Stanislav Mekhanoshin5d00c302019-06-17 16:48:56 +0000532 AMDHSA_BITS_SET(KD.kernel_code_properties,
533 amdhsa::KERNEL_CODE_PROPERTY_ENABLE_WAVEFRONT_SIZE32,
534 STI->getFeatureBits().test(FeatureWavefrontSize32) ? 1 : 0);
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000535 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
536 amdhsa::COMPUTE_PGM_RSRC1_WGP_MODE,
537 STI->getFeatureBits().test(FeatureCuMode) ? 0 : 1);
538 AMDHSA_BITS_SET(KD.compute_pgm_rsrc1,
539 amdhsa::COMPUTE_PGM_RSRC1_MEM_ORDERED, 1);
540 }
Scott Linder1e8c2c72018-06-21 19:38:56 +0000541 return KD;
542}
543
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000544bool isGroupSegment(const GlobalValue *GV) {
545 return GV->getType()->getAddressSpace() == AMDGPUAS::LOCAL_ADDRESS;
Tom Stellarde3b5aea2015-12-02 17:00:42 +0000546}
547
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000548bool isGlobalSegment(const GlobalValue *GV) {
549 return GV->getType()->getAddressSpace() == AMDGPUAS::GLOBAL_ADDRESS;
Tom Stellard00f2f912015-12-02 19:47:57 +0000550}
551
Konstantin Zhuravlyov435151a2017-11-01 19:12:38 +0000552bool isReadOnlySegment(const GlobalValue *GV) {
Matt Arsenault923712b2018-02-09 16:57:57 +0000553 return GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS ||
554 GV->getType()->getAddressSpace() == AMDGPUAS::CONSTANT_ADDRESS_32BIT;
Tom Stellard00f2f912015-12-02 19:47:57 +0000555}
556
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000557bool shouldEmitConstantsToTextSection(const Triple &TT) {
Jay Foad6e182662019-09-02 14:40:57 +0000558 return TT.getOS() == Triple::AMDPAL;
Konstantin Zhuravlyov08326b62016-10-20 18:12:38 +0000559}
560
Matt Arsenault83002722016-05-12 02:45:18 +0000561int getIntegerAttribute(const Function &F, StringRef Name, int Default) {
Marek Olsakfccabaf2016-01-13 11:45:36 +0000562 Attribute A = F.getFnAttribute(Name);
Matt Arsenault83002722016-05-12 02:45:18 +0000563 int Result = Default;
Tom Stellardac00eb52015-12-15 16:26:16 +0000564
565 if (A.isStringAttribute()) {
566 StringRef Str = A.getValueAsString();
Marek Olsakfccabaf2016-01-13 11:45:36 +0000567 if (Str.getAsInteger(0, Result)) {
Tom Stellardac00eb52015-12-15 16:26:16 +0000568 LLVMContext &Ctx = F.getContext();
Matt Arsenault83002722016-05-12 02:45:18 +0000569 Ctx.emitError("can't parse integer attribute " + Name);
Tom Stellardac00eb52015-12-15 16:26:16 +0000570 }
571 }
Matt Arsenault83002722016-05-12 02:45:18 +0000572
Marek Olsakfccabaf2016-01-13 11:45:36 +0000573 return Result;
574}
575
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000576std::pair<int, int> getIntegerPairAttribute(const Function &F,
577 StringRef Name,
578 std::pair<int, int> Default,
579 bool OnlyFirstRequired) {
580 Attribute A = F.getFnAttribute(Name);
581 if (!A.isStringAttribute())
582 return Default;
583
584 LLVMContext &Ctx = F.getContext();
585 std::pair<int, int> Ints = Default;
586 std::pair<StringRef, StringRef> Strs = A.getValueAsString().split(',');
587 if (Strs.first.trim().getAsInteger(0, Ints.first)) {
588 Ctx.emitError("can't parse first integer attribute " + Name);
589 return Default;
590 }
591 if (Strs.second.trim().getAsInteger(0, Ints.second)) {
Eugene Zelenkod96089b2017-02-14 00:33:36 +0000592 if (!OnlyFirstRequired || !Strs.second.trim().empty()) {
Konstantin Zhuravlyov1d650262016-09-06 20:22:28 +0000593 Ctx.emitError("can't parse second integer attribute " + Name);
594 return Default;
595 }
596 }
597
598 return Ints;
Tom Stellard79a1fd72016-04-14 16:27:07 +0000599}
600
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000601unsigned getVmcntBitMask(const IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000602 unsigned VmcntLo = (1 << getVmcntBitWidthLo()) - 1;
603 if (Version.Major < 9)
604 return VmcntLo;
605
606 unsigned VmcntHi = ((1 << getVmcntBitWidthHi()) - 1) << getVmcntBitWidthLo();
607 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000608}
609
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000610unsigned getExpcntBitMask(const IsaVersion &Version) {
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000611 return (1 << getExpcntBitWidth()) - 1;
612}
613
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000614unsigned getLgkmcntBitMask(const IsaVersion &Version) {
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000615 return (1 << getLgkmcntBitWidth(Version.Major)) - 1;
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000616}
617
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000618unsigned getWaitcntBitMask(const IsaVersion &Version) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000619 unsigned VmcntLo = getBitMask(getVmcntBitShiftLo(), getVmcntBitWidthLo());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000620 unsigned Expcnt = getBitMask(getExpcntBitShift(), getExpcntBitWidth());
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000621 unsigned Lgkmcnt = getBitMask(getLgkmcntBitShift(),
622 getLgkmcntBitWidth(Version.Major));
Matt Arsenaulte823d922017-02-18 18:29:53 +0000623 unsigned Waitcnt = VmcntLo | Expcnt | Lgkmcnt;
624 if (Version.Major < 9)
625 return Waitcnt;
626
627 unsigned VmcntHi = getBitMask(getVmcntBitShiftHi(), getVmcntBitWidthHi());
628 return Waitcnt | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000629}
630
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000631unsigned decodeVmcnt(const IsaVersion &Version, unsigned Waitcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000632 unsigned VmcntLo =
633 unpackBits(Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
634 if (Version.Major < 9)
635 return VmcntLo;
636
637 unsigned VmcntHi =
638 unpackBits(Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
639 VmcntHi <<= getVmcntBitWidthLo();
640 return VmcntLo | VmcntHi;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000641}
642
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000643unsigned decodeExpcnt(const IsaVersion &Version, unsigned Waitcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000644 return unpackBits(Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
645}
646
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000647unsigned decodeLgkmcnt(const IsaVersion &Version, unsigned Waitcnt) {
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000648 return unpackBits(Waitcnt, getLgkmcntBitShift(),
649 getLgkmcntBitWidth(Version.Major));
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000650}
651
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000652void decodeWaitcnt(const IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000653 unsigned &Vmcnt, unsigned &Expcnt, unsigned &Lgkmcnt) {
654 Vmcnt = decodeVmcnt(Version, Waitcnt);
655 Expcnt = decodeExpcnt(Version, Waitcnt);
656 Lgkmcnt = decodeLgkmcnt(Version, Waitcnt);
657}
658
Nicolai Haehnle1a94cbb2018-11-29 11:06:06 +0000659Waitcnt decodeWaitcnt(const IsaVersion &Version, unsigned Encoded) {
660 Waitcnt Decoded;
661 Decoded.VmCnt = decodeVmcnt(Version, Encoded);
662 Decoded.ExpCnt = decodeExpcnt(Version, Encoded);
663 Decoded.LgkmCnt = decodeLgkmcnt(Version, Encoded);
664 return Decoded;
665}
666
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000667unsigned encodeVmcnt(const IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000668 unsigned Vmcnt) {
Matt Arsenaulte823d922017-02-18 18:29:53 +0000669 Waitcnt =
670 packBits(Vmcnt, Waitcnt, getVmcntBitShiftLo(), getVmcntBitWidthLo());
671 if (Version.Major < 9)
672 return Waitcnt;
673
674 Vmcnt >>= getVmcntBitWidthLo();
675 return packBits(Vmcnt, Waitcnt, getVmcntBitShiftHi(), getVmcntBitWidthHi());
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000676}
677
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000678unsigned encodeExpcnt(const IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000679 unsigned Expcnt) {
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000680 return packBits(Expcnt, Waitcnt, getExpcntBitShift(), getExpcntBitWidth());
681}
682
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000683unsigned encodeLgkmcnt(const IsaVersion &Version, unsigned Waitcnt,
Konstantin Zhuravlyov9f89ede2017-02-08 14:05:23 +0000684 unsigned Lgkmcnt) {
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +0000685 return packBits(Lgkmcnt, Waitcnt, getLgkmcntBitShift(),
686 getLgkmcntBitWidth(Version.Major));
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000687}
688
Konstantin Zhuravlyov71e43ee2018-09-12 18:50:47 +0000689unsigned encodeWaitcnt(const IsaVersion &Version,
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000690 unsigned Vmcnt, unsigned Expcnt, unsigned Lgkmcnt) {
Konstantin Zhuravlyov31dbb032017-01-06 17:23:21 +0000691 unsigned Waitcnt = getWaitcntBitMask(Version);
Konstantin Zhuravlyovcdd45472016-10-11 18:58:22 +0000692 Waitcnt = encodeVmcnt(Version, Waitcnt, Vmcnt);
693 Waitcnt = encodeExpcnt(Version, Waitcnt, Expcnt);
694 Waitcnt = encodeLgkmcnt(Version, Waitcnt, Lgkmcnt);
695 return Waitcnt;
Konstantin Zhuravlyov836cbff2016-09-30 17:01:40 +0000696}
697
Nicolai Haehnle1a94cbb2018-11-29 11:06:06 +0000698unsigned encodeWaitcnt(const IsaVersion &Version, const Waitcnt &Decoded) {
699 return encodeWaitcnt(Version, Decoded.VmCnt, Decoded.ExpCnt, Decoded.LgkmCnt);
700}
701
Dmitry Preobrazhensky1fca3b12019-06-13 12:46:37 +0000702//===----------------------------------------------------------------------===//
703// hwreg
704//===----------------------------------------------------------------------===//
705
706namespace Hwreg {
707
708int64_t getHwregId(const StringRef Name) {
709 for (int Id = ID_SYMBOLIC_FIRST_; Id < ID_SYMBOLIC_LAST_; ++Id) {
710 if (IdSymbolic[Id] && Name == IdSymbolic[Id])
711 return Id;
712 }
713 return ID_UNKNOWN_;
714}
715
716static unsigned getLastSymbolicHwreg(const MCSubtargetInfo &STI) {
717 if (isSI(STI) || isCI(STI) || isVI(STI))
718 return ID_SYMBOLIC_FIRST_GFX9_;
719 else if (isGFX9(STI))
720 return ID_SYMBOLIC_FIRST_GFX10_;
721 else
722 return ID_SYMBOLIC_LAST_;
723}
724
725bool isValidHwreg(int64_t Id, const MCSubtargetInfo &STI) {
726 return ID_SYMBOLIC_FIRST_ <= Id && Id < getLastSymbolicHwreg(STI) &&
727 IdSymbolic[Id];
728}
729
730bool isValidHwreg(int64_t Id) {
731 return 0 <= Id && isUInt<ID_WIDTH_>(Id);
732}
733
734bool isValidHwregOffset(int64_t Offset) {
735 return 0 <= Offset && isUInt<OFFSET_WIDTH_>(Offset);
736}
737
738bool isValidHwregWidth(int64_t Width) {
739 return 0 <= (Width - 1) && isUInt<WIDTH_M1_WIDTH_>(Width - 1);
740}
741
Dmitry Preobrazhensky2eff0312019-07-08 14:27:37 +0000742uint64_t encodeHwreg(uint64_t Id, uint64_t Offset, uint64_t Width) {
Dmitry Preobrazhensky1fca3b12019-06-13 12:46:37 +0000743 return (Id << ID_SHIFT_) |
744 (Offset << OFFSET_SHIFT_) |
745 ((Width - 1) << WIDTH_M1_SHIFT_);
746}
747
748StringRef getHwreg(unsigned Id, const MCSubtargetInfo &STI) {
749 return isValidHwreg(Id, STI) ? IdSymbolic[Id] : "";
750}
751
752void decodeHwreg(unsigned Val, unsigned &Id, unsigned &Offset, unsigned &Width) {
753 Id = (Val & ID_MASK_) >> ID_SHIFT_;
754 Offset = (Val & OFFSET_MASK_) >> OFFSET_SHIFT_;
755 Width = ((Val & WIDTH_M1_MASK_) >> WIDTH_M1_SHIFT_) + 1;
756}
757
758} // namespace Hwreg
759
760//===----------------------------------------------------------------------===//
Dmitry Preobrazhensky1d572ce2019-06-28 14:14:02 +0000761// SendMsg
762//===----------------------------------------------------------------------===//
763
764namespace SendMsg {
765
766int64_t getMsgId(const StringRef Name) {
767 for (int i = ID_GAPS_FIRST_; i < ID_GAPS_LAST_; ++i) {
768 if (IdSymbolic[i] && Name == IdSymbolic[i])
769 return i;
770 }
771 return ID_UNKNOWN_;
772}
773
774static bool isValidMsgId(int64_t MsgId) {
775 return (ID_GAPS_FIRST_ <= MsgId && MsgId < ID_GAPS_LAST_) && IdSymbolic[MsgId];
776}
777
778bool isValidMsgId(int64_t MsgId, const MCSubtargetInfo &STI, bool Strict) {
Dmitry Preobrazhensky5153b172019-07-15 15:12:16 +0000779 if (Strict) {
780 if (MsgId == ID_GS_ALLOC_REQ || MsgId == ID_GET_DOORBELL)
781 return isGFX9(STI) || isGFX10(STI);
782 else
783 return isValidMsgId(MsgId);
784 } else {
785 return 0 <= MsgId && isUInt<ID_WIDTH_>(MsgId);
786 }
Dmitry Preobrazhensky1d572ce2019-06-28 14:14:02 +0000787}
788
789StringRef getMsgName(int64_t MsgId) {
790 return isValidMsgId(MsgId)? IdSymbolic[MsgId] : "";
791}
792
793int64_t getMsgOpId(int64_t MsgId, const StringRef Name) {
794 const char* const *S = (MsgId == ID_SYSMSG) ? OpSysSymbolic : OpGsSymbolic;
795 const int F = (MsgId == ID_SYSMSG) ? OP_SYS_FIRST_ : OP_GS_FIRST_;
796 const int L = (MsgId == ID_SYSMSG) ? OP_SYS_LAST_ : OP_GS_LAST_;
797 for (int i = F; i < L; ++i) {
798 if (Name == S[i]) {
799 return i;
800 }
801 }
802 return OP_UNKNOWN_;
803}
804
805bool isValidMsgOp(int64_t MsgId, int64_t OpId, bool Strict) {
806
807 if (!Strict)
808 return 0 <= OpId && isUInt<OP_WIDTH_>(OpId);
809
810 switch(MsgId)
811 {
812 case ID_GS:
813 return (OP_GS_FIRST_ <= OpId && OpId < OP_GS_LAST_) && OpId != OP_GS_NOP;
814 case ID_GS_DONE:
815 return OP_GS_FIRST_ <= OpId && OpId < OP_GS_LAST_;
816 case ID_SYSMSG:
817 return OP_SYS_FIRST_ <= OpId && OpId < OP_SYS_LAST_;
818 default:
819 return OpId == OP_NONE_;
820 }
821}
822
823StringRef getMsgOpName(int64_t MsgId, int64_t OpId) {
824 assert(msgRequiresOp(MsgId));
825 return (MsgId == ID_SYSMSG)? OpSysSymbolic[OpId] : OpGsSymbolic[OpId];
826}
827
828bool isValidMsgStream(int64_t MsgId, int64_t OpId, int64_t StreamId, bool Strict) {
829
830 if (!Strict)
831 return 0 <= StreamId && isUInt<STREAM_ID_WIDTH_>(StreamId);
832
833 switch(MsgId)
834 {
835 case ID_GS:
836 return STREAM_ID_FIRST_ <= StreamId && StreamId < STREAM_ID_LAST_;
837 case ID_GS_DONE:
838 return (OpId == OP_GS_NOP)?
839 (StreamId == STREAM_ID_NONE_) :
840 (STREAM_ID_FIRST_ <= StreamId && StreamId < STREAM_ID_LAST_);
841 default:
842 return StreamId == STREAM_ID_NONE_;
843 }
844}
845
846bool msgRequiresOp(int64_t MsgId) {
847 return MsgId == ID_GS || MsgId == ID_GS_DONE || MsgId == ID_SYSMSG;
848}
849
850bool msgSupportsStream(int64_t MsgId, int64_t OpId) {
851 return (MsgId == ID_GS || MsgId == ID_GS_DONE) && OpId != OP_GS_NOP;
852}
853
854void decodeMsg(unsigned Val,
855 uint16_t &MsgId,
856 uint16_t &OpId,
857 uint16_t &StreamId) {
858 MsgId = Val & ID_MASK_;
859 OpId = (Val & OP_MASK_) >> OP_SHIFT_;
860 StreamId = (Val & STREAM_ID_MASK_) >> STREAM_ID_SHIFT_;
861}
862
Dmitry Preobrazhenskye1eb25f2019-06-28 16:28:46 +0000863uint64_t encodeMsg(uint64_t MsgId,
864 uint64_t OpId,
865 uint64_t StreamId) {
Dmitry Preobrazhensky1d572ce2019-06-28 14:14:02 +0000866 return (MsgId << ID_SHIFT_) |
867 (OpId << OP_SHIFT_) |
868 (StreamId << STREAM_ID_SHIFT_);
869}
870
871} // namespace SendMsg
872
873//===----------------------------------------------------------------------===//
Dmitry Preobrazhensky1fca3b12019-06-13 12:46:37 +0000874//
875//===----------------------------------------------------------------------===//
876
Marek Olsakfccabaf2016-01-13 11:45:36 +0000877unsigned getInitialPSInputAddr(const Function &F) {
878 return getIntegerAttribute(F, "InitialPSInputAddr", 0);
Tom Stellardac00eb52015-12-15 16:26:16 +0000879}
880
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000881bool isShader(CallingConv::ID cc) {
882 switch(cc) {
883 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000884 case CallingConv::AMDGPU_LS:
Marek Olsaka302a7362017-05-02 15:41:10 +0000885 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000886 case CallingConv::AMDGPU_ES:
Nicolai Haehnledf3a20c2016-04-06 19:40:20 +0000887 case CallingConv::AMDGPU_GS:
888 case CallingConv::AMDGPU_PS:
889 case CallingConv::AMDGPU_CS:
890 return true;
891 default:
892 return false;
893 }
894}
895
896bool isCompute(CallingConv::ID cc) {
897 return !isShader(cc) || cc == CallingConv::AMDGPU_CS;
898}
899
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000900bool isEntryFunctionCC(CallingConv::ID CC) {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000901 switch (CC) {
902 case CallingConv::AMDGPU_KERNEL:
903 case CallingConv::SPIR_KERNEL:
904 case CallingConv::AMDGPU_VS:
905 case CallingConv::AMDGPU_GS:
906 case CallingConv::AMDGPU_PS:
907 case CallingConv::AMDGPU_CS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000908 case CallingConv::AMDGPU_ES:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000909 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +0000910 case CallingConv::AMDGPU_LS:
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000911 return true;
912 default:
913 return false;
914 }
Matt Arsenaulte622dc32017-04-11 22:29:24 +0000915}
916
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000917bool hasXNACK(const MCSubtargetInfo &STI) {
918 return STI.getFeatureBits()[AMDGPU::FeatureXNACK];
919}
920
Konstantin Zhuravlyov108927b2018-11-05 22:44:19 +0000921bool hasSRAMECC(const MCSubtargetInfo &STI) {
922 return STI.getFeatureBits()[AMDGPU::FeatureSRAMECC];
923}
924
Dmitry Preobrazhenskye3271ae2018-02-05 12:45:43 +0000925bool hasMIMG_R128(const MCSubtargetInfo &STI) {
926 return STI.getFeatureBits()[AMDGPU::FeatureMIMG_R128];
927}
928
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000929bool hasPackedD16(const MCSubtargetInfo &STI) {
930 return !STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem];
931}
932
Tom Stellard2b65ed32015-12-21 18:44:27 +0000933bool isSI(const MCSubtargetInfo &STI) {
934 return STI.getFeatureBits()[AMDGPU::FeatureSouthernIslands];
935}
936
937bool isCI(const MCSubtargetInfo &STI) {
938 return STI.getFeatureBits()[AMDGPU::FeatureSeaIslands];
939}
940
941bool isVI(const MCSubtargetInfo &STI) {
942 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
943}
944
Sam Koltonf7659d712017-05-23 10:08:55 +0000945bool isGFX9(const MCSubtargetInfo &STI) {
946 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
947}
948
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000949bool isGFX10(const MCSubtargetInfo &STI) {
950 return STI.getFeatureBits()[AMDGPU::FeatureGFX10];
951}
952
Matt Arsenault8728c5f2017-08-07 14:58:04 +0000953bool isGCN3Encoding(const MCSubtargetInfo &STI) {
954 return STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding];
955}
956
Sam Koltonf7659d712017-05-23 10:08:55 +0000957bool isSGPR(unsigned Reg, const MCRegisterInfo* TRI) {
958 const MCRegisterClass SGPRClass = TRI->getRegClass(AMDGPU::SReg_32RegClassID);
959 const unsigned FirstSubReg = TRI->getSubReg(Reg, 1);
960 return SGPRClass.contains(FirstSubReg != 0 ? FirstSubReg : Reg) ||
961 Reg == AMDGPU::SCC;
962}
963
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000964bool isRegIntersect(unsigned Reg0, unsigned Reg1, const MCRegisterInfo* TRI) {
Dmitry Preobrazhensky00deef82017-07-18 11:14:02 +0000965 for (MCRegAliasIterator R(Reg0, TRI, true); R.isValid(); ++R) {
966 if (*R == Reg1) return true;
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000967 }
Dmitry Preobrazhenskydc4ac822017-06-21 14:41:34 +0000968 return false;
969}
970
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000971#define MAP_REG2REG \
972 using namespace AMDGPU; \
973 switch(Reg) { \
974 default: return Reg; \
975 CASE_CI_VI(FLAT_SCR) \
976 CASE_CI_VI(FLAT_SCR_LO) \
977 CASE_CI_VI(FLAT_SCR_HI) \
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +0000978 CASE_VI_GFX9_GFX10(TTMP0) \
979 CASE_VI_GFX9_GFX10(TTMP1) \
980 CASE_VI_GFX9_GFX10(TTMP2) \
981 CASE_VI_GFX9_GFX10(TTMP3) \
982 CASE_VI_GFX9_GFX10(TTMP4) \
983 CASE_VI_GFX9_GFX10(TTMP5) \
984 CASE_VI_GFX9_GFX10(TTMP6) \
985 CASE_VI_GFX9_GFX10(TTMP7) \
986 CASE_VI_GFX9_GFX10(TTMP8) \
987 CASE_VI_GFX9_GFX10(TTMP9) \
988 CASE_VI_GFX9_GFX10(TTMP10) \
989 CASE_VI_GFX9_GFX10(TTMP11) \
990 CASE_VI_GFX9_GFX10(TTMP12) \
991 CASE_VI_GFX9_GFX10(TTMP13) \
992 CASE_VI_GFX9_GFX10(TTMP14) \
993 CASE_VI_GFX9_GFX10(TTMP15) \
994 CASE_VI_GFX9_GFX10(TTMP0_TTMP1) \
995 CASE_VI_GFX9_GFX10(TTMP2_TTMP3) \
996 CASE_VI_GFX9_GFX10(TTMP4_TTMP5) \
997 CASE_VI_GFX9_GFX10(TTMP6_TTMP7) \
998 CASE_VI_GFX9_GFX10(TTMP8_TTMP9) \
999 CASE_VI_GFX9_GFX10(TTMP10_TTMP11) \
1000 CASE_VI_GFX9_GFX10(TTMP12_TTMP13) \
1001 CASE_VI_GFX9_GFX10(TTMP14_TTMP15) \
1002 CASE_VI_GFX9_GFX10(TTMP0_TTMP1_TTMP2_TTMP3) \
1003 CASE_VI_GFX9_GFX10(TTMP4_TTMP5_TTMP6_TTMP7) \
1004 CASE_VI_GFX9_GFX10(TTMP8_TTMP9_TTMP10_TTMP11) \
1005 CASE_VI_GFX9_GFX10(TTMP12_TTMP13_TTMP14_TTMP15) \
1006 CASE_VI_GFX9_GFX10(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7) \
1007 CASE_VI_GFX9_GFX10(TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11) \
1008 CASE_VI_GFX9_GFX10(TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
1009 CASE_VI_GFX9_GFX10(TTMP0_TTMP1_TTMP2_TTMP3_TTMP4_TTMP5_TTMP6_TTMP7_TTMP8_TTMP9_TTMP10_TTMP11_TTMP12_TTMP13_TTMP14_TTMP15) \
Tom Stellard2b65ed32015-12-21 18:44:27 +00001010 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001011
1012#define CASE_CI_VI(node) \
1013 assert(!isSI(STI)); \
1014 case node: return isCI(STI) ? node##_ci : node##_vi;
1015
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +00001016#define CASE_VI_GFX9_GFX10(node) \
1017 case node: return (isGFX9(STI) || isGFX10(STI)) ? node##_gfx9_gfx10 : node##_vi;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001018
1019unsigned getMCReg(unsigned Reg, const MCSubtargetInfo &STI) {
Tom Stellardc5a154d2018-06-28 23:47:12 +00001020 if (STI.getTargetTriple().getArch() == Triple::r600)
1021 return Reg;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001022 MAP_REG2REG
Tom Stellard2b65ed32015-12-21 18:44:27 +00001023}
1024
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001025#undef CASE_CI_VI
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +00001026#undef CASE_VI_GFX9_GFX10
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001027
1028#define CASE_CI_VI(node) case node##_ci: case node##_vi: return node;
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +00001029#define CASE_VI_GFX9_GFX10(node) case node##_vi: case node##_gfx9_gfx10: return node;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001030
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +00001031unsigned mc2PseudoReg(unsigned Reg) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001032 MAP_REG2REG
Dmitry Preobrazhensky03880f82017-03-03 14:31:06 +00001033}
1034
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001035#undef CASE_CI_VI
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +00001036#undef CASE_VI_GFX9_GFX10
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001037#undef MAP_REG2REG
1038
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001039bool isSISrcOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +00001040 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001041 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +00001042 return OpType >= AMDGPU::OPERAND_SRC_FIRST &&
1043 OpType <= AMDGPU::OPERAND_SRC_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001044}
1045
1046bool isSISrcFPOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +00001047 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001048 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +00001049 switch (OpType) {
1050 case AMDGPU::OPERAND_REG_IMM_FP32:
1051 case AMDGPU::OPERAND_REG_IMM_FP64:
1052 case AMDGPU::OPERAND_REG_IMM_FP16:
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001053 case AMDGPU::OPERAND_REG_IMM_V2FP16:
1054 case AMDGPU::OPERAND_REG_IMM_V2INT16:
Matt Arsenault4bd72362016-12-10 00:39:12 +00001055 case AMDGPU::OPERAND_REG_INLINE_C_FP32:
1056 case AMDGPU::OPERAND_REG_INLINE_C_FP64:
1057 case AMDGPU::OPERAND_REG_INLINE_C_FP16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +00001058 case AMDGPU::OPERAND_REG_INLINE_C_V2FP16:
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001059 case AMDGPU::OPERAND_REG_INLINE_C_V2INT16:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001060 case AMDGPU::OPERAND_REG_INLINE_AC_FP32:
1061 case AMDGPU::OPERAND_REG_INLINE_AC_FP16:
1062 case AMDGPU::OPERAND_REG_INLINE_AC_V2FP16:
1063 case AMDGPU::OPERAND_REG_INLINE_AC_V2INT16:
Matt Arsenault4bd72362016-12-10 00:39:12 +00001064 return true;
1065 default:
1066 return false;
1067 }
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001068}
1069
1070bool isSISrcInlinableOperand(const MCInstrDesc &Desc, unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +00001071 assert(OpNo < Desc.NumOperands);
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001072 unsigned OpType = Desc.OpInfo[OpNo].OperandType;
Matt Arsenault4bd72362016-12-10 00:39:12 +00001073 return OpType >= AMDGPU::OPERAND_REG_INLINE_C_FIRST &&
1074 OpType <= AMDGPU::OPERAND_REG_INLINE_C_LAST;
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001075}
1076
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001077// Avoid using MCRegisterClass::getSize, since that function will go away
1078// (move from MC* level to Target* level). Return size in bits.
Tom Stellardb133fbb2016-10-27 23:05:31 +00001079unsigned getRegBitWidth(unsigned RCID) {
1080 switch (RCID) {
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001081 case AMDGPU::SGPR_32RegClassID:
1082 case AMDGPU::VGPR_32RegClassID:
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +00001083 case AMDGPU::VRegOrLds_32RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001084 case AMDGPU::AGPR_32RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001085 case AMDGPU::VS_32RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001086 case AMDGPU::AV_32RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001087 case AMDGPU::SReg_32RegClassID:
1088 case AMDGPU::SReg_32_XM0RegClassID:
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +00001089 case AMDGPU::SRegOrLds_32RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001090 return 32;
1091 case AMDGPU::SGPR_64RegClassID:
1092 case AMDGPU::VS_64RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001093 case AMDGPU::AV_64RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001094 case AMDGPU::SReg_64RegClassID:
1095 case AMDGPU::VReg_64RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001096 case AMDGPU::AReg_64RegClassID:
Ron Liebermancac749a2018-11-16 01:13:34 +00001097 case AMDGPU::SReg_64_XEXECRegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001098 return 64;
Tim Renouf361b5b22019-03-21 12:01:21 +00001099 case AMDGPU::SGPR_96RegClassID:
1100 case AMDGPU::SReg_96RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001101 case AMDGPU::VReg_96RegClassID:
1102 return 96;
1103 case AMDGPU::SGPR_128RegClassID:
1104 case AMDGPU::SReg_128RegClassID:
1105 case AMDGPU::VReg_128RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001106 case AMDGPU::AReg_128RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001107 return 128;
Tim Renouf033f99a2019-03-22 10:11:21 +00001108 case AMDGPU::SGPR_160RegClassID:
1109 case AMDGPU::SReg_160RegClassID:
1110 case AMDGPU::VReg_160RegClassID:
1111 return 160;
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001112 case AMDGPU::SReg_256RegClassID:
1113 case AMDGPU::VReg_256RegClassID:
1114 return 256;
1115 case AMDGPU::SReg_512RegClassID:
1116 case AMDGPU::VReg_512RegClassID:
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001117 case AMDGPU::AReg_512RegClassID:
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001118 return 512;
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +00001119 case AMDGPU::SReg_1024RegClassID:
1120 case AMDGPU::VReg_1024RegClassID:
1121 case AMDGPU::AReg_1024RegClassID:
1122 return 1024;
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001123 default:
1124 llvm_unreachable("Unexpected register class");
1125 }
1126}
1127
Tom Stellardb133fbb2016-10-27 23:05:31 +00001128unsigned getRegBitWidth(const MCRegisterClass &RC) {
1129 return getRegBitWidth(RC.getID());
1130}
1131
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001132unsigned getRegOperandSize(const MCRegisterInfo *MRI, const MCInstrDesc &Desc,
1133 unsigned OpNo) {
Artem Tamazov43b61562017-02-03 12:47:30 +00001134 assert(OpNo < Desc.NumOperands);
Krzysztof Parzyszekc8715502016-10-19 17:40:36 +00001135 unsigned RCID = Desc.OpInfo[OpNo].RegClass;
1136 return getRegBitWidth(MRI->getRegClass(RCID)) / 8;
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001137}
1138
Matt Arsenault26faed32016-12-05 22:26:17 +00001139bool isInlinableLiteral64(int64_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001140 if (Literal >= -16 && Literal <= 64)
1141 return true;
1142
Matt Arsenault26faed32016-12-05 22:26:17 +00001143 uint64_t Val = static_cast<uint64_t>(Literal);
1144 return (Val == DoubleToBits(0.0)) ||
1145 (Val == DoubleToBits(1.0)) ||
1146 (Val == DoubleToBits(-1.0)) ||
1147 (Val == DoubleToBits(0.5)) ||
1148 (Val == DoubleToBits(-0.5)) ||
1149 (Val == DoubleToBits(2.0)) ||
1150 (Val == DoubleToBits(-2.0)) ||
1151 (Val == DoubleToBits(4.0)) ||
1152 (Val == DoubleToBits(-4.0)) ||
1153 (Val == 0x3fc45f306dc9c882 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001154}
1155
Matt Arsenault26faed32016-12-05 22:26:17 +00001156bool isInlinableLiteral32(int32_t Literal, bool HasInv2Pi) {
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001157 if (Literal >= -16 && Literal <= 64)
1158 return true;
1159
Matt Arsenault4bd72362016-12-10 00:39:12 +00001160 // The actual type of the operand does not seem to matter as long
1161 // as the bits match one of the inline immediate values. For example:
1162 //
1163 // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
1164 // so it is a legal inline immediate.
1165 //
1166 // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
1167 // floating-point, so it is a legal inline immediate.
1168
Matt Arsenault26faed32016-12-05 22:26:17 +00001169 uint32_t Val = static_cast<uint32_t>(Literal);
1170 return (Val == FloatToBits(0.0f)) ||
1171 (Val == FloatToBits(1.0f)) ||
1172 (Val == FloatToBits(-1.0f)) ||
1173 (Val == FloatToBits(0.5f)) ||
1174 (Val == FloatToBits(-0.5f)) ||
1175 (Val == FloatToBits(2.0f)) ||
1176 (Val == FloatToBits(-2.0f)) ||
1177 (Val == FloatToBits(4.0f)) ||
1178 (Val == FloatToBits(-4.0f)) ||
1179 (Val == 0x3e22f983 && HasInv2Pi);
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001180}
1181
Matt Arsenault4bd72362016-12-10 00:39:12 +00001182bool isInlinableLiteral16(int16_t Literal, bool HasInv2Pi) {
Sam Kolton9dffada2017-01-17 15:26:02 +00001183 if (!HasInv2Pi)
1184 return false;
Matt Arsenault4bd72362016-12-10 00:39:12 +00001185
1186 if (Literal >= -16 && Literal <= 64)
1187 return true;
1188
1189 uint16_t Val = static_cast<uint16_t>(Literal);
1190 return Val == 0x3C00 || // 1.0
1191 Val == 0xBC00 || // -1.0
1192 Val == 0x3800 || // 0.5
1193 Val == 0xB800 || // -0.5
1194 Val == 0x4000 || // 2.0
1195 Val == 0xC000 || // -2.0
1196 Val == 0x4400 || // 4.0
1197 Val == 0xC400 || // -4.0
1198 Val == 0x3118; // 1/2pi
1199}
Sam Kolton1eeb11b2016-09-09 14:44:04 +00001200
Matt Arsenault9be7b0d2017-02-27 18:49:11 +00001201bool isInlinableLiteralV216(int32_t Literal, bool HasInv2Pi) {
1202 assert(HasInv2Pi);
1203
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001204 if (isInt<16>(Literal) || isUInt<16>(Literal)) {
1205 int16_t Trunc = static_cast<int16_t>(Literal);
1206 return AMDGPU::isInlinableLiteral16(Trunc, HasInv2Pi);
1207 }
1208 if (!(Literal & 0xffff))
1209 return AMDGPU::isInlinableLiteral16(Literal >> 16, HasInv2Pi);
1210
Matt Arsenault9be7b0d2017-02-27 18:49:11 +00001211 int16_t Lo16 = static_cast<int16_t>(Literal);
1212 int16_t Hi16 = static_cast<int16_t>(Literal >> 16);
1213 return Lo16 == Hi16 && isInlinableLiteral16(Lo16, HasInv2Pi);
1214}
1215
Matt Arsenault894e53d2017-07-26 20:39:42 +00001216bool isArgPassedInSGPR(const Argument *A) {
1217 const Function *F = A->getParent();
1218
1219 // Arguments to compute shaders are never a source of divergence.
1220 CallingConv::ID CC = F->getCallingConv();
1221 switch (CC) {
1222 case CallingConv::AMDGPU_KERNEL:
1223 case CallingConv::SPIR_KERNEL:
1224 return true;
1225 case CallingConv::AMDGPU_VS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +00001226 case CallingConv::AMDGPU_LS:
Matt Arsenault894e53d2017-07-26 20:39:42 +00001227 case CallingConv::AMDGPU_HS:
Tim Renoufef1ae8f2017-09-29 09:51:22 +00001228 case CallingConv::AMDGPU_ES:
Matt Arsenault894e53d2017-07-26 20:39:42 +00001229 case CallingConv::AMDGPU_GS:
1230 case CallingConv::AMDGPU_PS:
1231 case CallingConv::AMDGPU_CS:
1232 // For non-compute shaders, SGPR inputs are marked with either inreg or byval.
1233 // Everything else is in VGPRs.
1234 return F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::InReg) ||
1235 F->getAttributes().hasParamAttribute(A->getArgNo(), Attribute::ByVal);
1236 default:
1237 // TODO: Should calls support inreg for SGPR inputs?
1238 return false;
1239 }
1240}
1241
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001242static bool hasSMEMByteOffset(const MCSubtargetInfo &ST) {
1243 return isGCN3Encoding(ST) || isGFX10(ST);
1244}
1245
Tom Stellard08efb7e2017-01-27 18:41:14 +00001246int64_t getSMRDEncodedOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001247 if (hasSMEMByteOffset(ST))
Matt Arsenault8728c5f2017-08-07 14:58:04 +00001248 return ByteOffset;
1249 return ByteOffset >> 2;
Tom Stellard08efb7e2017-01-27 18:41:14 +00001250}
1251
1252bool isLegalSMRDImmOffset(const MCSubtargetInfo &ST, int64_t ByteOffset) {
1253 int64_t EncodedOffset = getSMRDEncodedOffset(ST, ByteOffset);
Stanislav Mekhanoshin956b0be2019-04-25 18:53:41 +00001254 return (hasSMEMByteOffset(ST)) ?
Matt Arsenault8728c5f2017-08-07 14:58:04 +00001255 isUInt<20>(EncodedOffset) : isUInt<8>(EncodedOffset);
Tom Stellard08efb7e2017-01-27 18:41:14 +00001256}
Matt Arsenaultcad7fa82017-12-13 21:07:51 +00001257
Tim Renouf4f703f52018-08-21 11:07:10 +00001258// Given Imm, split it into the values to put into the SOffset and ImmOffset
1259// fields in an MUBUF instruction. Return false if it is not possible (due to a
1260// hardware bug needing a workaround).
Nicolai Haehnlea7b00052018-11-30 22:55:38 +00001261//
1262// The required alignment ensures that individual address components remain
1263// aligned if they are aligned to begin with. It also ensures that additional
1264// offsets within the given alignment can be added to the resulting ImmOffset.
Tim Renouf4f703f52018-08-21 11:07:10 +00001265bool splitMUBUFOffset(uint32_t Imm, uint32_t &SOffset, uint32_t &ImmOffset,
Nicolai Haehnlea7b00052018-11-30 22:55:38 +00001266 const GCNSubtarget *Subtarget, uint32_t Align) {
Tim Renouf4f703f52018-08-21 11:07:10 +00001267 const uint32_t MaxImm = alignDown(4095, Align);
1268 uint32_t Overflow = 0;
1269
1270 if (Imm > MaxImm) {
1271 if (Imm <= MaxImm + 64) {
1272 // Use an SOffset inline constant for 4..64
1273 Overflow = Imm - MaxImm;
1274 Imm = MaxImm;
1275 } else {
1276 // Try to keep the same value in SOffset for adjacent loads, so that
1277 // the corresponding register contents can be re-used.
1278 //
1279 // Load values with all low-bits (except for alignment bits) set into
1280 // SOffset, so that a larger range of values can be covered using
1281 // s_movk_i32.
1282 //
1283 // Atomic operations fail to work correctly when individual address
1284 // components are unaligned, even if their sum is aligned.
1285 uint32_t High = (Imm + Align) & ~4095;
1286 uint32_t Low = (Imm + Align) & 4095;
1287 Imm = Low;
1288 Overflow = High - Align;
1289 }
1290 }
1291
1292 // There is a hardware bug in SI and CI which prevents address clamping in
1293 // MUBUF instructions from working correctly with SOffsets. The immediate
1294 // offset is unaffected.
1295 if (Overflow > 0 &&
1296 Subtarget->getGeneration() <= AMDGPUSubtarget::SEA_ISLANDS)
1297 return false;
1298
1299 ImmOffset = Imm;
1300 SOffset = Overflow;
1301 return true;
1302}
1303
Matt Arsenault055e4dc2019-03-29 19:14:54 +00001304SIModeRegisterDefaults::SIModeRegisterDefaults(const Function &F) {
1305 *this = getDefaultForCallingConv(F.getCallingConv());
1306
1307 StringRef IEEEAttr = F.getFnAttribute("amdgpu-ieee").getValueAsString();
1308 if (!IEEEAttr.empty())
1309 IEEE = IEEEAttr == "true";
1310
1311 StringRef DX10ClampAttr
1312 = F.getFnAttribute("amdgpu-dx10-clamp").getValueAsString();
1313 if (!DX10ClampAttr.empty())
1314 DX10Clamp = DX10ClampAttr == "true";
1315}
1316
Nicolai Haehnle4254d452018-04-01 17:09:14 +00001317namespace {
1318
1319struct SourceOfDivergence {
1320 unsigned Intr;
1321};
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +00001322const SourceOfDivergence *lookupSourceOfDivergence(unsigned Intr);
Nicolai Haehnle4254d452018-04-01 17:09:14 +00001323
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +00001324#define GET_SourcesOfDivergence_IMPL
Nicolai Haehnle4254d452018-04-01 17:09:14 +00001325#include "AMDGPUGenSearchableTables.inc"
1326
1327} // end anonymous namespace
1328
Alexander Timofeev2e5eece2018-03-05 15:12:21 +00001329bool isIntrinsicSourceOfDivergence(unsigned IntrID) {
Nicolai Haehnlee741d7e2018-06-21 13:36:33 +00001330 return lookupSourceOfDivergence(IntrID);
Alexander Timofeev2e5eece2018-03-05 15:12:21 +00001331}
Stanislav Mekhanoshincee607e2019-04-24 17:03:15 +00001332
Yaxun Liu1a14bfa2017-03-27 14:04:01 +00001333} // namespace AMDGPU
1334} // namespace llvm