blob: 4ec4be9bc4858939ea38d86f40df1f1fea431648 [file] [log] [blame]
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +00001//===- AMDGPUDisassembler.cpp - Disassembler for AMDGPU ISA ---------------===//
Tom Stellarde1818af2016-02-18 03:42:32 +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 Stellarde1818af2016-02-18 03:42:32 +00006//
7//===----------------------------------------------------------------------===//
8//
9//===----------------------------------------------------------------------===//
10//
11/// \file
12///
13/// This file contains definition for AMDGPU ISA disassembler
14//
15//===----------------------------------------------------------------------===//
16
17// ToDo: What to do with instruction suffixes (v_mov_b32 vs v_mov_b32_e32)?
18
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000019#include "Disassembler/AMDGPUDisassembler.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000020#include "AMDGPU.h"
21#include "AMDGPURegisterInfo.h"
Tom Stellardc5a154d2018-06-28 23:47:12 +000022#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Artem Tamazov212a2512016-05-24 12:05:16 +000023#include "SIDefines.h"
Richard Trieu8ce2ee92019-05-14 21:54:37 +000024#include "TargetInfo/AMDGPUTargetInfo.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000025#include "Utils/AMDGPUBaseInfo.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000026#include "llvm-c/Disassembler.h"
27#include "llvm/ADT/APInt.h"
28#include "llvm/ADT/ArrayRef.h"
29#include "llvm/ADT/Twine.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000030#include "llvm/BinaryFormat/ELF.h"
Matt Arsenaultca64ef22019-05-22 16:28:41 +000031#include "llvm/MC/MCAsmInfo.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000032#include "llvm/MC/MCContext.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000033#include "llvm/MC/MCDisassembler/MCDisassembler.h"
34#include "llvm/MC/MCExpr.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000035#include "llvm/MC/MCFixedLenDisassembler.h"
36#include "llvm/MC/MCInst.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000037#include "llvm/MC/MCSubtargetInfo.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000038#include "llvm/Support/Endian.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000039#include "llvm/Support/ErrorHandling.h"
40#include "llvm/Support/MathExtras.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000041#include "llvm/Support/TargetRegistry.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000042#include "llvm/Support/raw_ostream.h"
43#include <algorithm>
44#include <cassert>
45#include <cstddef>
46#include <cstdint>
47#include <iterator>
48#include <tuple>
49#include <vector>
Tom Stellarde1818af2016-02-18 03:42:32 +000050
Tom Stellarde1818af2016-02-18 03:42:32 +000051using namespace llvm;
52
53#define DEBUG_TYPE "amdgpu-disassembler"
54
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +000055#define SGPR_MAX (isGFX10() ? AMDGPU::EncValues::SGPR_MAX_GFX10 \
56 : AMDGPU::EncValues::SGPR_MAX_SI)
57
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000058using DecodeStatus = llvm::MCDisassembler::DecodeStatus;
Tom Stellarde1818af2016-02-18 03:42:32 +000059
Matt Arsenaultca64ef22019-05-22 16:28:41 +000060AMDGPUDisassembler::AMDGPUDisassembler(const MCSubtargetInfo &STI,
61 MCContext &Ctx,
62 MCInstrInfo const *MCII) :
63 MCDisassembler(STI, Ctx), MCII(MCII), MRI(*Ctx.getRegisterInfo()),
Matt Arsenault418e23e2019-05-22 16:28:48 +000064 TargetMaxInstBytes(Ctx.getAsmInfo()->getMaxInstLength(&STI)) {
65
66 // ToDo: AMDGPUDisassembler supports only VI ISA.
67 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding] && !isGFX10())
68 report_fatal_error("Disassembly not yet supported for subtarget");
69}
Matt Arsenaultca64ef22019-05-22 16:28:41 +000070
Nikolay Haustovac106ad2016-03-01 13:57:29 +000071inline static MCDisassembler::DecodeStatus
72addOperand(MCInst &Inst, const MCOperand& Opnd) {
73 Inst.addOperand(Opnd);
74 return Opnd.isValid() ?
75 MCDisassembler::Success :
76 MCDisassembler::SoftFail;
Tom Stellarde1818af2016-02-18 03:42:32 +000077}
78
Sam Kolton549c89d2017-06-21 08:53:38 +000079static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op,
80 uint16_t NameIdx) {
81 int OpIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), NameIdx);
82 if (OpIdx != -1) {
83 auto I = MI.begin();
84 std::advance(I, OpIdx);
85 MI.insert(I, Op);
86 }
87 return OpIdx;
88}
89
Sam Kolton3381d7a2016-10-06 13:46:08 +000090static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
91 uint64_t Addr, const void *Decoder) {
92 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
93
Scott Linderefec1392019-03-05 03:02:00 +000094 // Our branches take a simm16, but we need two extra bits to account for the
95 // factor of 4.
Sam Kolton3381d7a2016-10-06 13:46:08 +000096 APInt SignedOffset(18, Imm * 4, true);
97 int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
98
99 if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
100 return MCDisassembler::Success;
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000101 return addOperand(Inst, MCOperand::createImm(Imm));
Sam Kolton3381d7a2016-10-06 13:46:08 +0000102}
103
Stanislav Mekhanoshin0846c122019-06-20 15:08:34 +0000104static DecodeStatus decodeBoolReg(MCInst &Inst, unsigned Val,
105 uint64_t Addr, const void *Decoder) {
106 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
107 return addOperand(Inst, DAsm->decodeBoolReg(Val));
108}
109
Sam Kolton363f47a2017-05-26 15:52:00 +0000110#define DECODE_OPERAND(StaticDecoderName, DecoderName) \
111static DecodeStatus StaticDecoderName(MCInst &Inst, \
112 unsigned Imm, \
113 uint64_t /*Addr*/, \
114 const void *Decoder) { \
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000115 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
Sam Kolton363f47a2017-05-26 15:52:00 +0000116 return addOperand(Inst, DAsm->DecoderName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +0000117}
118
Sam Kolton363f47a2017-05-26 15:52:00 +0000119#define DECODE_OPERAND_REG(RegClass) \
120DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +0000121
Sam Kolton363f47a2017-05-26 15:52:00 +0000122DECODE_OPERAND_REG(VGPR_32)
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +0000123DECODE_OPERAND_REG(VRegOrLds_32)
Sam Kolton363f47a2017-05-26 15:52:00 +0000124DECODE_OPERAND_REG(VS_32)
125DECODE_OPERAND_REG(VS_64)
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000126DECODE_OPERAND_REG(VS_128)
Nikolay Haustov161a1582016-02-25 16:09:14 +0000127
Sam Kolton363f47a2017-05-26 15:52:00 +0000128DECODE_OPERAND_REG(VReg_64)
129DECODE_OPERAND_REG(VReg_96)
130DECODE_OPERAND_REG(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +0000131
Sam Kolton363f47a2017-05-26 15:52:00 +0000132DECODE_OPERAND_REG(SReg_32)
133DECODE_OPERAND_REG(SReg_32_XM0_XEXEC)
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000134DECODE_OPERAND_REG(SReg_32_XEXEC_HI)
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +0000135DECODE_OPERAND_REG(SRegOrLds_32)
Sam Kolton363f47a2017-05-26 15:52:00 +0000136DECODE_OPERAND_REG(SReg_64)
137DECODE_OPERAND_REG(SReg_64_XEXEC)
138DECODE_OPERAND_REG(SReg_128)
139DECODE_OPERAND_REG(SReg_256)
140DECODE_OPERAND_REG(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +0000141
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +0000142DECODE_OPERAND_REG(AGPR_32)
143DECODE_OPERAND_REG(AReg_128)
144DECODE_OPERAND_REG(AReg_512)
145DECODE_OPERAND_REG(AReg_1024)
146DECODE_OPERAND_REG(AV_32)
147DECODE_OPERAND_REG(AV_64)
148
Matt Arsenault4bd72362016-12-10 00:39:12 +0000149static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
150 unsigned Imm,
151 uint64_t Addr,
152 const void *Decoder) {
153 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
154 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
155}
156
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000157static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
158 unsigned Imm,
159 uint64_t Addr,
160 const void *Decoder) {
161 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
162 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
163}
164
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000165static DecodeStatus decodeOperand_VS_16(MCInst &Inst,
166 unsigned Imm,
167 uint64_t Addr,
168 const void *Decoder) {
169 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
170 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
171}
172
173static DecodeStatus decodeOperand_VS_32(MCInst &Inst,
174 unsigned Imm,
175 uint64_t Addr,
176 const void *Decoder) {
177 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
178 return addOperand(Inst, DAsm->decodeOperand_VS_32(Imm));
179}
180
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +0000181static DecodeStatus decodeOperand_AReg_128(MCInst &Inst,
182 unsigned Imm,
183 uint64_t Addr,
184 const void *Decoder) {
185 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
186 return addOperand(Inst, DAsm->decodeSrcOp(AMDGPUDisassembler::OPW128, Imm | 512));
187}
188
189static DecodeStatus decodeOperand_AReg_512(MCInst &Inst,
190 unsigned Imm,
191 uint64_t Addr,
192 const void *Decoder) {
193 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
194 return addOperand(Inst, DAsm->decodeSrcOp(AMDGPUDisassembler::OPW512, Imm | 512));
195}
196
197static DecodeStatus decodeOperand_AReg_1024(MCInst &Inst,
198 unsigned Imm,
199 uint64_t Addr,
200 const void *Decoder) {
201 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
202 return addOperand(Inst, DAsm->decodeSrcOp(AMDGPUDisassembler::OPW1024, Imm | 512));
203}
204
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000205static DecodeStatus decodeOperand_SReg_32(MCInst &Inst,
206 unsigned Imm,
207 uint64_t Addr,
208 const void *Decoder) {
209 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
210 return addOperand(Inst, DAsm->decodeOperand_SReg_32(Imm));
211}
212
Stanislav Mekhanoshin50d7f4642019-07-09 21:43:09 +0000213static DecodeStatus decodeOperand_VGPR_32(MCInst &Inst,
214 unsigned Imm,
215 uint64_t Addr,
216 const void *Decoder) {
217 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
218 return addOperand(Inst, DAsm->decodeSrcOp(AMDGPUDisassembler::OPW32, Imm));
219}
220
Sam Kolton549c89d2017-06-21 08:53:38 +0000221#define DECODE_SDWA(DecName) \
222DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName)
Sam Kolton363f47a2017-05-26 15:52:00 +0000223
Sam Kolton549c89d2017-06-21 08:53:38 +0000224DECODE_SDWA(Src32)
225DECODE_SDWA(Src16)
226DECODE_SDWA(VopcDst)
Sam Kolton363f47a2017-05-26 15:52:00 +0000227
Tom Stellarde1818af2016-02-18 03:42:32 +0000228#include "AMDGPUGenDisassemblerTables.inc"
229
230//===----------------------------------------------------------------------===//
231//
232//===----------------------------------------------------------------------===//
233
Sam Kolton1048fb12016-03-31 14:15:04 +0000234template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
235 assert(Bytes.size() >= sizeof(T));
236 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
237 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000238 return Res;
239}
240
241DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
242 MCInst &MI,
243 uint64_t Inst,
244 uint64_t Address) const {
245 assert(MI.getOpcode() == 0);
246 assert(MI.getNumOperands() == 0);
247 MCInst TmpInst;
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000248 HasLiteral = false;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000249 const auto SavedBytes = Bytes;
250 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
251 MI = TmpInst;
252 return MCDisassembler::Success;
253 }
254 Bytes = SavedBytes;
255 return MCDisassembler::Fail;
256}
257
Stanislav Mekhanoshin245b5ba2019-06-12 18:02:41 +0000258static bool isValidDPP8(const MCInst &MI) {
259 using namespace llvm::AMDGPU::DPP;
260 int FiIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::fi);
261 assert(FiIdx != -1);
262 if ((unsigned)FiIdx >= MI.getNumOperands())
263 return false;
264 unsigned Fi = MI.getOperand(FiIdx).getImm();
265 return Fi == DPP8_FI_0 || Fi == DPP8_FI_1;
266}
267
Tom Stellarde1818af2016-02-18 03:42:32 +0000268DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000269 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000270 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000271 raw_ostream &WS,
272 raw_ostream &CS) const {
273 CommentStream = &CS;
Sam Kolton549c89d2017-06-21 08:53:38 +0000274 bool IsSDWA = false;
Tom Stellarde1818af2016-02-18 03:42:32 +0000275
Matt Arsenaultca64ef22019-05-22 16:28:41 +0000276 unsigned MaxInstBytesNum = std::min((size_t)TargetMaxInstBytes, Bytes_.size());
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000277 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000278
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000279 DecodeStatus Res = MCDisassembler::Fail;
280 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000281 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000282 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000283
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000284 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
285 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000286 if (Bytes.size() >= 8) {
287 const uint64_t QW = eatBytes<uint64_t>(Bytes);
Stanislav Mekhanoshin245b5ba2019-06-12 18:02:41 +0000288
289 Res = tryDecodeInst(DecoderTableDPP864, MI, QW, Address);
290 if (Res && convertDPP8Inst(MI) == MCDisassembler::Success)
291 break;
292
293 MI = MCInst(); // clear
294
Sam Kolton1048fb12016-03-31 14:15:04 +0000295 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
296 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000297
298 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000299 if (Res) { IsSDWA = true; break; }
Sam Kolton363f47a2017-05-26 15:52:00 +0000300
301 Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000302 if (Res) { IsSDWA = true; break; }
Changpeng Fang09058702018-01-30 16:42:40 +0000303
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000304 Res = tryDecodeInst(DecoderTableSDWA1064, MI, QW, Address);
305 if (Res) { IsSDWA = true; break; }
306
307 // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
308 // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
309 // table first so we print the correct name.
310
311 if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
312 Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
313 if (Res) break;
314 }
315
Changpeng Fang09058702018-01-30 16:42:40 +0000316 if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) {
317 Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address);
Matt Arsenault0084adc2018-04-30 19:08:16 +0000318 if (Res)
319 break;
320 }
321
322 // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
323 // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
324 // table first so we print the correct name.
325 if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
326 Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
327 if (Res)
328 break;
Changpeng Fang09058702018-01-30 16:42:40 +0000329 }
Sam Kolton1048fb12016-03-31 14:15:04 +0000330 }
331
332 // Reinitialize Bytes as DPP64 could have eaten too much
333 Bytes = Bytes_.slice(0, MaxInstBytesNum);
334
335 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000336 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000337 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Stanislav Mekhanoshin51823022019-04-06 09:20:48 +0000338 Res = tryDecodeInst(DecoderTableGFX832, MI, DW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000339 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000340
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000341 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
342 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000343
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000344 Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address);
345 if (Res) break;
346
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000347 Res = tryDecodeInst(DecoderTableGFX1032, MI, DW, Address);
348 if (Res) break;
349
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000350 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000351 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Stanislav Mekhanoshin51823022019-04-06 09:20:48 +0000352 Res = tryDecodeInst(DecoderTableGFX864, MI, QW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000353 if (Res) break;
354
355 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000356 if (Res) break;
357
358 Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address);
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000359 if (Res) break;
360
361 Res = tryDecodeInst(DecoderTableGFX1064, MI, QW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000362 } while (false);
363
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000364 if (Res && (MaxInstBytesNum - Bytes.size()) == 12 && (!HasLiteral ||
365 !(MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::VOP3))) {
366 MaxInstBytesNum = 8;
367 Bytes = Bytes_.slice(0, MaxInstBytesNum);
368 eatBytes<uint64_t>(Bytes);
369 }
370
Matt Arsenault678e1112017-04-10 17:58:06 +0000371 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000372 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx6_gfx7 ||
373 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx10 ||
Konstantin Zhuravlyov603a43f2018-05-15 17:39:13 +0000374 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi ||
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000375 MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi ||
376 MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_gfx10 ||
377 MI.getOpcode() == AMDGPU::V_FMAC_F16_e64_gfx10)) {
Matt Arsenault678e1112017-04-10 17:58:06 +0000378 // Insert dummy unused src2_modifiers.
Sam Kolton549c89d2017-06-21 08:53:38 +0000379 insertNamedMCOperand(MI, MCOperand::createImm(0),
380 AMDGPU::OpName::src2_modifiers);
Matt Arsenault678e1112017-04-10 17:58:06 +0000381 }
382
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000383 if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) {
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000384 int VAddr0Idx =
385 AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0);
386 int RsrcIdx =
387 AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::srsrc);
388 unsigned NSAArgs = RsrcIdx - VAddr0Idx - 1;
389 if (VAddr0Idx >= 0 && NSAArgs > 0) {
390 unsigned NSAWords = (NSAArgs + 3) / 4;
391 if (Bytes.size() < 4 * NSAWords) {
392 Res = MCDisassembler::Fail;
393 } else {
394 for (unsigned i = 0; i < NSAArgs; ++i) {
395 MI.insert(MI.begin() + VAddr0Idx + 1 + i,
396 decodeOperand_VGPR_32(Bytes[i]));
397 }
398 Bytes = Bytes.slice(4 * NSAWords);
399 }
400 }
401
402 if (Res)
403 Res = convertMIMGInst(MI);
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000404 }
405
Sam Kolton549c89d2017-06-21 08:53:38 +0000406 if (Res && IsSDWA)
407 Res = convertSDWAInst(MI);
408
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000409 int VDstIn_Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
410 AMDGPU::OpName::vdst_in);
411 if (VDstIn_Idx != -1) {
412 int Tied = MCII->get(MI.getOpcode()).getOperandConstraint(VDstIn_Idx,
413 MCOI::OperandConstraint::TIED_TO);
414 if (Tied != -1 && (MI.getNumOperands() <= (unsigned)VDstIn_Idx ||
415 !MI.getOperand(VDstIn_Idx).isReg() ||
416 MI.getOperand(VDstIn_Idx).getReg() != MI.getOperand(Tied).getReg())) {
417 if (MI.getNumOperands() > (unsigned)VDstIn_Idx)
418 MI.erase(&MI.getOperand(VDstIn_Idx));
419 insertNamedMCOperand(MI,
420 MCOperand::createReg(MI.getOperand(Tied).getReg()),
421 AMDGPU::OpName::vdst_in);
422 }
423 }
424
Tim Corringham7116e892018-03-26 17:06:33 +0000425 // if the opcode was not recognized we'll assume a Size of 4 bytes
426 // (unless there are fewer bytes left)
427 Size = Res ? (MaxInstBytesNum - Bytes.size())
428 : std::min((size_t)4, Bytes_.size());
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000429 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000430}
431
Sam Kolton549c89d2017-06-21 08:53:38 +0000432DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const {
Stanislav Mekhanoshin8f3da702019-04-26 16:37:51 +0000433 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
434 STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
Sam Kolton549c89d2017-06-21 08:53:38 +0000435 if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1)
436 // VOPC - insert clamp
437 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp);
438 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
439 int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst);
440 if (SDst != -1) {
441 // VOPC - insert VCC register as sdst
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000442 insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC),
Sam Kolton549c89d2017-06-21 08:53:38 +0000443 AMDGPU::OpName::sdst);
444 } else {
445 // VOP1/2 - insert omod if present in instruction
446 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod);
447 }
448 }
449 return MCDisassembler::Success;
450}
451
Stanislav Mekhanoshin245b5ba2019-06-12 18:02:41 +0000452DecodeStatus AMDGPUDisassembler::convertDPP8Inst(MCInst &MI) const {
453 unsigned Opc = MI.getOpcode();
454 unsigned DescNumOps = MCII->get(Opc).getNumOperands();
455
456 // Insert dummy unused src modifiers.
457 if (MI.getNumOperands() < DescNumOps &&
458 AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src0_modifiers) != -1)
459 insertNamedMCOperand(MI, MCOperand::createImm(0),
460 AMDGPU::OpName::src0_modifiers);
461
462 if (MI.getNumOperands() < DescNumOps &&
463 AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src1_modifiers) != -1)
464 insertNamedMCOperand(MI, MCOperand::createImm(0),
465 AMDGPU::OpName::src1_modifiers);
466
467 return isValidDPP8(MI) ? MCDisassembler::Success : MCDisassembler::SoftFail;
468}
469
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000470// Note that before gfx10, the MIMG encoding provided no information about
471// VADDR size. Consequently, decoded instructions always show address as if it
472// has 1 dword, which could be not really so.
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000473DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const {
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000474
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000475 int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
476 AMDGPU::OpName::vdst);
477
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000478 int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
479 AMDGPU::OpName::vdata);
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000480 int VAddr0Idx =
481 AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0);
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000482 int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
483 AMDGPU::OpName::dmask);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000484
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000485 int TFEIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
486 AMDGPU::OpName::tfe);
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000487 int D16Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
488 AMDGPU::OpName::d16);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000489
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000490 assert(VDataIdx != -1);
491 assert(DMaskIdx != -1);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000492 assert(TFEIdx != -1);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000493
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000494 const AMDGPU::MIMGInfo *Info = AMDGPU::getMIMGInfo(MI.getOpcode());
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000495 bool IsAtomic = (VDstIdx != -1);
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000496 bool IsGather4 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000497
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000498 bool IsNSA = false;
499 unsigned AddrSize = Info->VAddrDwords;
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000500
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000501 if (STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
502 unsigned DimIdx =
503 AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::dim);
504 const AMDGPU::MIMGBaseOpcodeInfo *BaseOpcode =
505 AMDGPU::getMIMGBaseOpcodeInfo(Info->BaseOpcode);
506 const AMDGPU::MIMGDimInfo *Dim =
507 AMDGPU::getMIMGDimInfoByEncoding(MI.getOperand(DimIdx).getImm());
508
509 AddrSize = BaseOpcode->NumExtraArgs +
510 (BaseOpcode->Gradients ? Dim->NumGradients : 0) +
511 (BaseOpcode->Coordinates ? Dim->NumCoords : 0) +
512 (BaseOpcode->LodOrClampOrMip ? 1 : 0);
513 IsNSA = Info->MIMGEncoding == AMDGPU::MIMGEncGfx10NSA;
514 if (!IsNSA) {
515 if (AddrSize > 8)
516 AddrSize = 16;
517 else if (AddrSize > 4)
518 AddrSize = 8;
519 } else {
520 if (AddrSize > Info->VAddrDwords) {
521 // The NSA encoding does not contain enough operands for the combination
522 // of base opcode / dimension. Should this be an error?
523 return MCDisassembler::Success;
524 }
525 }
526 }
527
528 unsigned DMask = MI.getOperand(DMaskIdx).getImm() & 0xf;
529 unsigned DstSize = IsGather4 ? 4 : std::max(countPopulation(DMask), 1u);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000530
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000531 bool D16 = D16Idx >= 0 && MI.getOperand(D16Idx).getImm();
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000532 if (D16 && AMDGPU::hasPackedD16(STI)) {
533 DstSize = (DstSize + 1) / 2;
534 }
535
536 // FIXME: Add tfe support
537 if (MI.getOperand(TFEIdx).getImm())
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000538 return MCDisassembler::Success;
539
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000540 if (DstSize == Info->VDataDwords && AddrSize == Info->VAddrDwords)
541 return MCDisassembler::Success;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000542
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000543 int NewOpcode =
544 AMDGPU::getMIMGOpcode(Info->BaseOpcode, Info->MIMGEncoding, DstSize, AddrSize);
545 if (NewOpcode == -1)
546 return MCDisassembler::Success;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000547
548 // Widen the register to the correct number of enabled channels.
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000549 unsigned NewVdata = AMDGPU::NoRegister;
550 if (DstSize != Info->VDataDwords) {
551 auto DataRCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass;
552
553 // Get first subregister of VData
554 unsigned Vdata0 = MI.getOperand(VDataIdx).getReg();
555 unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0);
556 Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0;
557
558 NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0,
559 &MRI.getRegClass(DataRCID));
560 if (NewVdata == AMDGPU::NoRegister) {
561 // It's possible to encode this such that the low register + enabled
562 // components exceeds the register count.
563 return MCDisassembler::Success;
564 }
565 }
566
567 unsigned NewVAddr0 = AMDGPU::NoRegister;
568 if (STI.getFeatureBits()[AMDGPU::FeatureGFX10] && !IsNSA &&
569 AddrSize != Info->VAddrDwords) {
570 unsigned VAddr0 = MI.getOperand(VAddr0Idx).getReg();
571 unsigned VAddrSub0 = MRI.getSubReg(VAddr0, AMDGPU::sub0);
572 VAddr0 = (VAddrSub0 != 0) ? VAddrSub0 : VAddr0;
573
574 auto AddrRCID = MCII->get(NewOpcode).OpInfo[VAddr0Idx].RegClass;
575 NewVAddr0 = MRI.getMatchingSuperReg(VAddr0, AMDGPU::sub0,
576 &MRI.getRegClass(AddrRCID));
577 if (NewVAddr0 == AMDGPU::NoRegister)
578 return MCDisassembler::Success;
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000579 }
580
581 MI.setOpcode(NewOpcode);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000582
Stanislav Mekhanoshin692560d2019-05-01 16:32:58 +0000583 if (NewVdata != AMDGPU::NoRegister) {
584 MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata);
585
586 if (IsAtomic) {
587 // Atomic operations have an additional operand (a copy of data)
588 MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata);
589 }
590 }
591
592 if (NewVAddr0 != AMDGPU::NoRegister) {
593 MI.getOperand(VAddr0Idx) = MCOperand::createReg(NewVAddr0);
594 } else if (IsNSA) {
595 assert(AddrSize <= Info->VAddrDwords);
596 MI.erase(MI.begin() + VAddr0Idx + AddrSize,
597 MI.begin() + VAddr0Idx + Info->VAddrDwords);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000598 }
599
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000600 return MCDisassembler::Success;
601}
602
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000603const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
604 return getContext().getRegisterInfo()->
605 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000606}
607
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000608inline
609MCOperand AMDGPUDisassembler::errOperand(unsigned V,
610 const Twine& ErrMsg) const {
611 *CommentStream << "Error: " + ErrMsg;
612
613 // ToDo: add support for error operands to MCInst.h
614 // return MCOperand::createError(V);
615 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000616}
617
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000618inline
619MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000620 return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI));
Tom Stellarde1818af2016-02-18 03:42:32 +0000621}
622
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000623inline
624MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
625 unsigned Val) const {
626 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
627 if (Val >= RegCl.getNumRegs())
628 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
629 ": unknown register " + Twine(Val));
630 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000631}
632
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000633inline
634MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
635 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000636 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000637 // Valery: here we accepting as much as we can, let assembler sort it out
638 int shift = 0;
639 switch (SRegClassID) {
640 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000641 case AMDGPU::TTMP_32RegClassID:
642 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000643 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000644 case AMDGPU::TTMP_64RegClassID:
645 shift = 1;
646 break;
647 case AMDGPU::SGPR_128RegClassID:
648 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000649 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
650 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000651 case AMDGPU::SGPR_256RegClassID:
652 case AMDGPU::TTMP_256RegClassID:
653 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000654 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000655 case AMDGPU::SGPR_512RegClassID:
656 case AMDGPU::TTMP_512RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000657 shift = 2;
658 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000659 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
660 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000661 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000662 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000663 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000664
665 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000666 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
667 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000668 }
669
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000670 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000671}
672
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000673MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000674 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000675}
676
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000677MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000678 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000679}
680
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000681MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const {
682 return decodeSrcOp(OPW128, Val);
683}
684
Matt Arsenault4bd72362016-12-10 00:39:12 +0000685MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
686 return decodeSrcOp(OPW16, Val);
687}
688
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000689MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
690 return decodeSrcOp(OPWV216, Val);
691}
692
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000693MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000694 // Some instructions have operand restrictions beyond what the encoding
695 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
696 // high bit.
697 Val &= 255;
698
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000699 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
700}
701
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +0000702MCOperand AMDGPUDisassembler::decodeOperand_VRegOrLds_32(unsigned Val) const {
703 return decodeSrcOp(OPW32, Val);
704}
705
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000706MCOperand AMDGPUDisassembler::decodeOperand_AGPR_32(unsigned Val) const {
707 return createRegOperand(AMDGPU::AGPR_32RegClassID, Val & 255);
708}
709
710MCOperand AMDGPUDisassembler::decodeOperand_AReg_128(unsigned Val) const {
711 return createRegOperand(AMDGPU::AReg_128RegClassID, Val & 255);
712}
713
714MCOperand AMDGPUDisassembler::decodeOperand_AReg_512(unsigned Val) const {
715 return createRegOperand(AMDGPU::AReg_512RegClassID, Val & 255);
716}
717
718MCOperand AMDGPUDisassembler::decodeOperand_AReg_1024(unsigned Val) const {
719 return createRegOperand(AMDGPU::AReg_1024RegClassID, Val & 255);
720}
721
722MCOperand AMDGPUDisassembler::decodeOperand_AV_32(unsigned Val) const {
723 return decodeSrcOp(OPW32, Val);
724}
725
726MCOperand AMDGPUDisassembler::decodeOperand_AV_64(unsigned Val) const {
727 return decodeSrcOp(OPW64, Val);
728}
729
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000730MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
731 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
732}
733
734MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
735 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
736}
737
738MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
739 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
740}
741
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000742MCOperand AMDGPUDisassembler::decodeOperand_VReg_256(unsigned Val) const {
743 return createRegOperand(AMDGPU::VReg_256RegClassID, Val);
744}
745
746MCOperand AMDGPUDisassembler::decodeOperand_VReg_512(unsigned Val) const {
747 return createRegOperand(AMDGPU::VReg_512RegClassID, Val);
748}
749
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000750MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
751 // table-gen generated disassembler doesn't care about operand types
752 // leaving only registry class so SSrc_32 operand turns into SReg_32
753 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000754 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000755}
756
Matt Arsenault640c44b2016-11-29 19:39:53 +0000757MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
758 unsigned Val) const {
759 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000760 return decodeOperand_SReg_32(Val);
761}
762
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000763MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI(
764 unsigned Val) const {
765 // SReg_32_XM0 is SReg_32 without EXEC_HI
766 return decodeOperand_SReg_32(Val);
767}
768
Dmitry Preobrazhensky6023d592019-03-04 12:48:32 +0000769MCOperand AMDGPUDisassembler::decodeOperand_SRegOrLds_32(unsigned Val) const {
770 // table-gen generated disassembler doesn't care about operand types
771 // leaving only registry class so SSrc_32 operand turns into SReg_32
772 // and therefore we accept immediates and literals here as well
773 return decodeSrcOp(OPW32, Val);
774}
775
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000776MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000777 return decodeSrcOp(OPW64, Val);
778}
779
780MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000781 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000782}
783
784MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000785 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000786}
787
788MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000789 return decodeDstOp(OPW256, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000790}
791
792MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000793 return decodeDstOp(OPW512, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000794}
795
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000796MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000797 // For now all literal constants are supposed to be unsigned integer
798 // ToDo: deal with signed/unsigned 64-bit integer constants
799 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000800 if (!HasLiteral) {
801 if (Bytes.size() < 4) {
802 return errOperand(0, "cannot read literal, inst bytes left " +
803 Twine(Bytes.size()));
804 }
805 HasLiteral = true;
806 Literal = eatBytes<uint32_t>(Bytes);
807 }
808 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000809}
810
811MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000812 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000813
Artem Tamazov212a2512016-05-24 12:05:16 +0000814 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
815 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
816 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
817 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
818 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000819}
820
Matt Arsenault4bd72362016-12-10 00:39:12 +0000821static int64_t getInlineImmVal32(unsigned Imm) {
822 switch (Imm) {
823 case 240:
824 return FloatToBits(0.5f);
825 case 241:
826 return FloatToBits(-0.5f);
827 case 242:
828 return FloatToBits(1.0f);
829 case 243:
830 return FloatToBits(-1.0f);
831 case 244:
832 return FloatToBits(2.0f);
833 case 245:
834 return FloatToBits(-2.0f);
835 case 246:
836 return FloatToBits(4.0f);
837 case 247:
838 return FloatToBits(-4.0f);
839 case 248: // 1 / (2 * PI)
840 return 0x3e22f983;
841 default:
842 llvm_unreachable("invalid fp inline imm");
843 }
844}
845
846static int64_t getInlineImmVal64(unsigned Imm) {
847 switch (Imm) {
848 case 240:
849 return DoubleToBits(0.5);
850 case 241:
851 return DoubleToBits(-0.5);
852 case 242:
853 return DoubleToBits(1.0);
854 case 243:
855 return DoubleToBits(-1.0);
856 case 244:
857 return DoubleToBits(2.0);
858 case 245:
859 return DoubleToBits(-2.0);
860 case 246:
861 return DoubleToBits(4.0);
862 case 247:
863 return DoubleToBits(-4.0);
864 case 248: // 1 / (2 * PI)
865 return 0x3fc45f306dc9c882;
866 default:
867 llvm_unreachable("invalid fp inline imm");
868 }
869}
870
871static int64_t getInlineImmVal16(unsigned Imm) {
872 switch (Imm) {
873 case 240:
874 return 0x3800;
875 case 241:
876 return 0xB800;
877 case 242:
878 return 0x3C00;
879 case 243:
880 return 0xBC00;
881 case 244:
882 return 0x4000;
883 case 245:
884 return 0xC000;
885 case 246:
886 return 0x4400;
887 case 247:
888 return 0xC400;
889 case 248: // 1 / (2 * PI)
890 return 0x3118;
891 default:
892 llvm_unreachable("invalid fp inline imm");
893 }
894}
895
896MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000897 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
898 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000899
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000900 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000901 switch (Width) {
902 case OPW32:
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000903 case OPW128: // splat constants
904 case OPW512:
905 case OPW1024:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000906 return MCOperand::createImm(getInlineImmVal32(Imm));
907 case OPW64:
908 return MCOperand::createImm(getInlineImmVal64(Imm));
909 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000910 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000911 return MCOperand::createImm(getInlineImmVal16(Imm));
912 default:
913 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000914 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000915}
916
Artem Tamazov212a2512016-05-24 12:05:16 +0000917unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000918 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000919
Artem Tamazov212a2512016-05-24 12:05:16 +0000920 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
921 switch (Width) {
922 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000923 case OPW32:
924 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000925 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000926 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000927 case OPW64: return VReg_64RegClassID;
928 case OPW128: return VReg_128RegClassID;
929 }
930}
931
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000932unsigned AMDGPUDisassembler::getAgprClassId(const OpWidthTy Width) const {
933 using namespace AMDGPU;
934
935 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
936 switch (Width) {
937 default: // fall
938 case OPW32:
939 case OPW16:
940 case OPWV216:
941 return AGPR_32RegClassID;
942 case OPW64: return AReg_64RegClassID;
943 case OPW128: return AReg_128RegClassID;
944 case OPW512: return AReg_512RegClassID;
945 case OPW1024: return AReg_1024RegClassID;
946 }
947}
948
949
Artem Tamazov212a2512016-05-24 12:05:16 +0000950unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
951 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000952
Artem Tamazov212a2512016-05-24 12:05:16 +0000953 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
954 switch (Width) {
955 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000956 case OPW32:
957 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000958 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000959 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000960 case OPW64: return SGPR_64RegClassID;
961 case OPW128: return SGPR_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000962 case OPW256: return SGPR_256RegClassID;
963 case OPW512: return SGPR_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000964 }
965}
966
967unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
968 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000969
Artem Tamazov212a2512016-05-24 12:05:16 +0000970 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
971 switch (Width) {
972 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000973 case OPW32:
974 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000975 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000976 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000977 case OPW64: return TTMP_64RegClassID;
978 case OPW128: return TTMP_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000979 case OPW256: return TTMP_256RegClassID;
980 case OPW512: return TTMP_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000981 }
982}
983
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000984int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const {
985 using namespace AMDGPU::EncValues;
986
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +0000987 unsigned TTmpMin =
988 (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MIN : TTMP_VI_MIN;
989 unsigned TTmpMax =
990 (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MAX : TTMP_VI_MAX;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000991
992 return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1;
993}
994
Artem Tamazov212a2512016-05-24 12:05:16 +0000995MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
996 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000997
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +0000998 assert(Val < 1024); // enum10
999
1000 bool IsAGPR = Val & 512;
1001 Val &= 511;
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001002
Artem Tamazov212a2512016-05-24 12:05:16 +00001003 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
Stanislav Mekhanoshin9e77d0c2019-07-09 19:41:51 +00001004 return createRegOperand(IsAGPR ? getAgprClassId(Width)
1005 : getVgprClassId(Width), Val - VGPR_MIN);
Artem Tamazov212a2512016-05-24 12:05:16 +00001006 }
Artem Tamazovb49c3362016-05-26 15:52:16 +00001007 if (Val <= SGPR_MAX) {
1008 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +00001009 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
1010 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001011
1012 int TTmpIdx = getTTmpIdx(Val);
1013 if (TTmpIdx >= 0) {
1014 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
Artem Tamazov212a2512016-05-24 12:05:16 +00001015 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001016
Artem Tamazov212a2512016-05-24 12:05:16 +00001017 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001018 return decodeIntImmed(Val);
1019
Artem Tamazov212a2512016-05-24 12:05:16 +00001020 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +00001021 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001022
Artem Tamazov212a2512016-05-24 12:05:16 +00001023 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001024 return decodeLiteralConstant();
1025
Matt Arsenault4bd72362016-12-10 00:39:12 +00001026 switch (Width) {
1027 case OPW32:
1028 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +00001029 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +00001030 return decodeSpecialReg32(Val);
1031 case OPW64:
1032 return decodeSpecialReg64(Val);
1033 default:
1034 llvm_unreachable("unexpected immediate type");
1035 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001036}
1037
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +00001038MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const {
1039 using namespace AMDGPU::EncValues;
1040
1041 assert(Val < 128);
1042 assert(Width == OPW256 || Width == OPW512);
1043
1044 if (Val <= SGPR_MAX) {
1045 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
1046 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
1047 }
1048
1049 int TTmpIdx = getTTmpIdx(Val);
1050 if (TTmpIdx >= 0) {
1051 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
1052 }
1053
1054 llvm_unreachable("unknown dst register");
1055}
1056
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001057MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
1058 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +00001059
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001060 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001061 case 102: return createRegOperand(FLAT_SCR_LO);
1062 case 103: return createRegOperand(FLAT_SCR_HI);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +00001063 case 104: return createRegOperand(XNACK_MASK_LO);
1064 case 105: return createRegOperand(XNACK_MASK_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001065 case 106: return createRegOperand(VCC_LO);
1066 case 107: return createRegOperand(VCC_HI);
Dmitry Preobrazhensky137976f2019-03-20 15:40:52 +00001067 case 108: return createRegOperand(TBA_LO);
1068 case 109: return createRegOperand(TBA_HI);
1069 case 110: return createRegOperand(TMA_LO);
1070 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001071 case 124: return createRegOperand(M0);
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001072 case 125: return createRegOperand(SGPR_NULL);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001073 case 126: return createRegOperand(EXEC_LO);
1074 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +00001075 case 235: return createRegOperand(SRC_SHARED_BASE);
1076 case 236: return createRegOperand(SRC_SHARED_LIMIT);
1077 case 237: return createRegOperand(SRC_PRIVATE_BASE);
1078 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
Dmitry Preobrazhensky137976f2019-03-20 15:40:52 +00001079 case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID);
Dmitry Preobrazhensky9111f352019-06-03 13:51:24 +00001080 case 251: return createRegOperand(SRC_VCCZ);
1081 case 252: return createRegOperand(SRC_EXECZ);
1082 case 253: return createRegOperand(SRC_SCC);
Dmitry Preobrazhensky942c2732019-02-08 14:57:37 +00001083 case 254: return createRegOperand(LDS_DIRECT);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001084 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +00001085 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001086 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +00001087}
1088
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001089MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
1090 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +00001091
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001092 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001093 case 102: return createRegOperand(FLAT_SCR);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +00001094 case 104: return createRegOperand(XNACK_MASK);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001095 case 106: return createRegOperand(VCC);
Dmitry Preobrazhensky137976f2019-03-20 15:40:52 +00001096 case 108: return createRegOperand(TBA);
1097 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001098 case 126: return createRegOperand(EXEC);
Dmitry Preobrazhensky137976f2019-03-20 15:40:52 +00001099 case 235: return createRegOperand(SRC_SHARED_BASE);
1100 case 236: return createRegOperand(SRC_SHARED_LIMIT);
1101 case 237: return createRegOperand(SRC_PRIVATE_BASE);
1102 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
1103 case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID);
Dmitry Preobrazhensky9111f352019-06-03 13:51:24 +00001104 case 251: return createRegOperand(SRC_VCCZ);
1105 case 252: return createRegOperand(SRC_EXECZ);
1106 case 253: return createRegOperand(SRC_SCC);
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001107 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +00001108 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +00001109 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +00001110}
1111
Sam Kolton549c89d2017-06-21 08:53:38 +00001112MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width,
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +00001113 const unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +00001114 using namespace AMDGPU::SDWA;
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +00001115 using namespace AMDGPU::EncValues;
Sam Kolton363f47a2017-05-26 15:52:00 +00001116
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001117 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
1118 STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
Stanislav Mekhanoshinda644c02019-03-13 21:15:52 +00001119 // XXX: cast to int is needed to avoid stupid warning:
Sam Koltona179d252017-06-27 15:02:23 +00001120 // compare with unsigned is always true
Stanislav Mekhanoshinda644c02019-03-13 21:15:52 +00001121 if (int(SDWA9EncValues::SRC_VGPR_MIN) <= int(Val) &&
Sam Kolton549c89d2017-06-21 08:53:38 +00001122 Val <= SDWA9EncValues::SRC_VGPR_MAX) {
1123 return createRegOperand(getVgprClassId(Width),
1124 Val - SDWA9EncValues::SRC_VGPR_MIN);
1125 }
1126 if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001127 Val <= (isGFX10() ? SDWA9EncValues::SRC_SGPR_MAX_GFX10
1128 : SDWA9EncValues::SRC_SGPR_MAX_SI)) {
Sam Kolton549c89d2017-06-21 08:53:38 +00001129 return createSRegOperand(getSgprClassId(Width),
1130 Val - SDWA9EncValues::SRC_SGPR_MIN);
1131 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001132 if (SDWA9EncValues::SRC_TTMP_MIN <= Val &&
1133 Val <= SDWA9EncValues::SRC_TTMP_MAX) {
1134 return createSRegOperand(getTtmpClassId(Width),
1135 Val - SDWA9EncValues::SRC_TTMP_MIN);
1136 }
Sam Kolton549c89d2017-06-21 08:53:38 +00001137
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +00001138 const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN;
1139
1140 if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX)
1141 return decodeIntImmed(SVal);
1142
1143 if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX)
1144 return decodeFPImmed(Width, SVal);
1145
1146 return decodeSpecialReg32(SVal);
Sam Kolton549c89d2017-06-21 08:53:38 +00001147 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
1148 return createRegOperand(getVgprClassId(Width), Val);
Sam Kolton363f47a2017-05-26 15:52:00 +00001149 }
Sam Kolton549c89d2017-06-21 08:53:38 +00001150 llvm_unreachable("unsupported target");
Sam Kolton363f47a2017-05-26 15:52:00 +00001151}
1152
Sam Kolton549c89d2017-06-21 08:53:38 +00001153MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const {
1154 return decodeSDWASrc(OPW16, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +00001155}
1156
Sam Kolton549c89d2017-06-21 08:53:38 +00001157MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const {
1158 return decodeSDWASrc(OPW32, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +00001159}
1160
Sam Kolton549c89d2017-06-21 08:53:38 +00001161MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +00001162 using namespace AMDGPU::SDWA;
1163
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001164 assert((STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
1165 STI.getFeatureBits()[AMDGPU::FeatureGFX10]) &&
1166 "SDWAVopcDst should be present only on GFX9+");
1167
Stanislav Mekhanoshinab4f2ea2019-06-18 19:10:59 +00001168 bool IsWave64 = STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64];
1169
Sam Kolton363f47a2017-05-26 15:52:00 +00001170 if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
1171 Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001172
1173 int TTmpIdx = getTTmpIdx(Val);
1174 if (TTmpIdx >= 0) {
1175 return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx);
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001176 } else if (Val > SGPR_MAX) {
Stanislav Mekhanoshinab4f2ea2019-06-18 19:10:59 +00001177 return IsWave64 ? decodeSpecialReg64(Val)
1178 : decodeSpecialReg32(Val);
Sam Kolton363f47a2017-05-26 15:52:00 +00001179 } else {
Stanislav Mekhanoshinab4f2ea2019-06-18 19:10:59 +00001180 return createSRegOperand(getSgprClassId(IsWave64 ? OPW64 : OPW32), Val);
Sam Kolton363f47a2017-05-26 15:52:00 +00001181 }
1182 } else {
Stanislav Mekhanoshinab4f2ea2019-06-18 19:10:59 +00001183 return createRegOperand(IsWave64 ? AMDGPU::VCC : AMDGPU::VCC_LO);
Sam Kolton363f47a2017-05-26 15:52:00 +00001184 }
1185}
1186
Stanislav Mekhanoshinab4f2ea2019-06-18 19:10:59 +00001187MCOperand AMDGPUDisassembler::decodeBoolReg(unsigned Val) const {
1188 return STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64] ?
1189 decodeOperand_SReg_64(Val) : decodeOperand_SReg_32(Val);
1190}
1191
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +00001192bool AMDGPUDisassembler::isVI() const {
1193 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
1194}
1195
1196bool AMDGPUDisassembler::isGFX9() const {
1197 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
1198}
1199
Stanislav Mekhanoshin33d806a2019-04-24 17:28:30 +00001200bool AMDGPUDisassembler::isGFX10() const {
1201 return STI.getFeatureBits()[AMDGPU::FeatureGFX10];
1202}
1203
Sam Kolton3381d7a2016-10-06 13:46:08 +00001204//===----------------------------------------------------------------------===//
1205// AMDGPUSymbolizer
1206//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +00001207
Sam Kolton3381d7a2016-10-06 13:46:08 +00001208// Try to find symbol name for specified label
1209bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
1210 raw_ostream &/*cStream*/, int64_t Value,
1211 uint64_t /*Address*/, bool IsBranch,
1212 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +00001213 using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>;
1214 using SectionSymbolsTy = std::vector<SymbolInfoTy>;
Sam Kolton3381d7a2016-10-06 13:46:08 +00001215
1216 if (!IsBranch) {
1217 return false;
1218 }
1219
1220 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
Nicolai Haehnleb1c3b222018-04-10 15:46:43 +00001221 if (!Symbols)
1222 return false;
1223
Sam Kolton3381d7a2016-10-06 13:46:08 +00001224 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
1225 [Value](const SymbolInfoTy& Val) {
1226 return std::get<0>(Val) == static_cast<uint64_t>(Value)
1227 && std::get<2>(Val) == ELF::STT_NOTYPE;
1228 });
1229 if (Result != Symbols->end()) {
1230 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
1231 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
1232 Inst.addOperand(MCOperand::createExpr(Add));
1233 return true;
1234 }
1235 return false;
1236}
1237
Matt Arsenault92b355b2016-11-15 19:34:37 +00001238void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
1239 int64_t Value,
1240 uint64_t Address) {
1241 llvm_unreachable("unimplemented");
1242}
1243
Sam Kolton3381d7a2016-10-06 13:46:08 +00001244//===----------------------------------------------------------------------===//
1245// Initialization
1246//===----------------------------------------------------------------------===//
1247
1248static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
1249 LLVMOpInfoCallback /*GetOpInfo*/,
1250 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +00001251 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +00001252 MCContext *Ctx,
1253 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
1254 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
1255}
1256
Tom Stellarde1818af2016-02-18 03:42:32 +00001257static MCDisassembler *createAMDGPUDisassembler(const Target &T,
1258 const MCSubtargetInfo &STI,
1259 MCContext &Ctx) {
Matt Arsenaultcad7fa82017-12-13 21:07:51 +00001260 return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo());
Tom Stellarde1818af2016-02-18 03:42:32 +00001261}
1262
Tom Stellard4b0b2612019-06-11 03:21:13 +00001263extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +00001264 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
1265 createAMDGPUDisassembler);
1266 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
1267 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +00001268}