blob: 4f465836580e33a9da5748c94240da3d7a99a215 [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//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10//===----------------------------------------------------------------------===//
11//
12/// \file
13///
14/// This file contains definition for AMDGPU ISA disassembler
15//
16//===----------------------------------------------------------------------===//
17
18// ToDo: What to do with instruction suffixes (v_mov_b32 vs v_mov_b32_e32)?
19
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000020#include "Disassembler/AMDGPUDisassembler.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000021#include "AMDGPU.h"
22#include "AMDGPURegisterInfo.h"
Artem Tamazov212a2512016-05-24 12:05:16 +000023#include "SIDefines.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000024#include "Utils/AMDGPUBaseInfo.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000025#include "llvm-c/Disassembler.h"
26#include "llvm/ADT/APInt.h"
27#include "llvm/ADT/ArrayRef.h"
28#include "llvm/ADT/Twine.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000029#include "llvm/BinaryFormat/ELF.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000030#include "llvm/MC/MCContext.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000031#include "llvm/MC/MCDisassembler/MCDisassembler.h"
32#include "llvm/MC/MCExpr.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000033#include "llvm/MC/MCFixedLenDisassembler.h"
34#include "llvm/MC/MCInst.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000035#include "llvm/MC/MCSubtargetInfo.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000036#include "llvm/Support/Endian.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000037#include "llvm/Support/ErrorHandling.h"
38#include "llvm/Support/MathExtras.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000039#include "llvm/Support/TargetRegistry.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000040#include "llvm/Support/raw_ostream.h"
41#include <algorithm>
42#include <cassert>
43#include <cstddef>
44#include <cstdint>
45#include <iterator>
46#include <tuple>
47#include <vector>
Tom Stellarde1818af2016-02-18 03:42:32 +000048
Tom Stellarde1818af2016-02-18 03:42:32 +000049using namespace llvm;
50
51#define DEBUG_TYPE "amdgpu-disassembler"
52
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000053using DecodeStatus = llvm::MCDisassembler::DecodeStatus;
Tom Stellarde1818af2016-02-18 03:42:32 +000054
Nikolay Haustovac106ad2016-03-01 13:57:29 +000055inline static MCDisassembler::DecodeStatus
56addOperand(MCInst &Inst, const MCOperand& Opnd) {
57 Inst.addOperand(Opnd);
58 return Opnd.isValid() ?
59 MCDisassembler::Success :
60 MCDisassembler::SoftFail;
Tom Stellarde1818af2016-02-18 03:42:32 +000061}
62
Sam Kolton549c89d2017-06-21 08:53:38 +000063static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op,
64 uint16_t NameIdx) {
65 int OpIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), NameIdx);
66 if (OpIdx != -1) {
67 auto I = MI.begin();
68 std::advance(I, OpIdx);
69 MI.insert(I, Op);
70 }
71 return OpIdx;
72}
73
Sam Kolton3381d7a2016-10-06 13:46:08 +000074static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
75 uint64_t Addr, const void *Decoder) {
76 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
77
78 APInt SignedOffset(18, Imm * 4, true);
79 int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
80
81 if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
82 return MCDisassembler::Success;
Matt Arsenaultf3dd8632016-11-01 00:55:14 +000083 return addOperand(Inst, MCOperand::createImm(Imm));
Sam Kolton3381d7a2016-10-06 13:46:08 +000084}
85
Sam Kolton363f47a2017-05-26 15:52:00 +000086#define DECODE_OPERAND(StaticDecoderName, DecoderName) \
87static DecodeStatus StaticDecoderName(MCInst &Inst, \
88 unsigned Imm, \
89 uint64_t /*Addr*/, \
90 const void *Decoder) { \
Nikolay Haustovac106ad2016-03-01 13:57:29 +000091 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
Sam Kolton363f47a2017-05-26 15:52:00 +000092 return addOperand(Inst, DAsm->DecoderName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +000093}
94
Sam Kolton363f47a2017-05-26 15:52:00 +000095#define DECODE_OPERAND_REG(RegClass) \
96DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +000097
Sam Kolton363f47a2017-05-26 15:52:00 +000098DECODE_OPERAND_REG(VGPR_32)
99DECODE_OPERAND_REG(VS_32)
100DECODE_OPERAND_REG(VS_64)
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000101DECODE_OPERAND_REG(VS_128)
Nikolay Haustov161a1582016-02-25 16:09:14 +0000102
Sam Kolton363f47a2017-05-26 15:52:00 +0000103DECODE_OPERAND_REG(VReg_64)
104DECODE_OPERAND_REG(VReg_96)
105DECODE_OPERAND_REG(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +0000106
Sam Kolton363f47a2017-05-26 15:52:00 +0000107DECODE_OPERAND_REG(SReg_32)
108DECODE_OPERAND_REG(SReg_32_XM0_XEXEC)
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000109DECODE_OPERAND_REG(SReg_32_XEXEC_HI)
Sam Kolton363f47a2017-05-26 15:52:00 +0000110DECODE_OPERAND_REG(SReg_64)
111DECODE_OPERAND_REG(SReg_64_XEXEC)
112DECODE_OPERAND_REG(SReg_128)
113DECODE_OPERAND_REG(SReg_256)
114DECODE_OPERAND_REG(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +0000115
Matt Arsenault4bd72362016-12-10 00:39:12 +0000116static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
117 unsigned Imm,
118 uint64_t Addr,
119 const void *Decoder) {
120 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
121 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
122}
123
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000124static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
125 unsigned Imm,
126 uint64_t Addr,
127 const void *Decoder) {
128 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
129 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
130}
131
Sam Kolton549c89d2017-06-21 08:53:38 +0000132#define DECODE_SDWA(DecName) \
133DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName)
Sam Kolton363f47a2017-05-26 15:52:00 +0000134
Sam Kolton549c89d2017-06-21 08:53:38 +0000135DECODE_SDWA(Src32)
136DECODE_SDWA(Src16)
137DECODE_SDWA(VopcDst)
Sam Kolton363f47a2017-05-26 15:52:00 +0000138
Tom Stellarde1818af2016-02-18 03:42:32 +0000139#include "AMDGPUGenDisassemblerTables.inc"
140
141//===----------------------------------------------------------------------===//
142//
143//===----------------------------------------------------------------------===//
144
Sam Kolton1048fb12016-03-31 14:15:04 +0000145template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
146 assert(Bytes.size() >= sizeof(T));
147 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
148 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000149 return Res;
150}
151
152DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
153 MCInst &MI,
154 uint64_t Inst,
155 uint64_t Address) const {
156 assert(MI.getOpcode() == 0);
157 assert(MI.getNumOperands() == 0);
158 MCInst TmpInst;
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000159 HasLiteral = false;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000160 const auto SavedBytes = Bytes;
161 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
162 MI = TmpInst;
163 return MCDisassembler::Success;
164 }
165 Bytes = SavedBytes;
166 return MCDisassembler::Fail;
167}
168
Tom Stellarde1818af2016-02-18 03:42:32 +0000169DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000170 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000171 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000172 raw_ostream &WS,
173 raw_ostream &CS) const {
174 CommentStream = &CS;
Sam Kolton549c89d2017-06-21 08:53:38 +0000175 bool IsSDWA = false;
Tom Stellarde1818af2016-02-18 03:42:32 +0000176
177 // ToDo: AMDGPUDisassembler supports only VI ISA.
Matt Arsenaultd122abe2017-02-15 21:50:34 +0000178 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
179 report_fatal_error("Disassembly not yet supported for subtarget");
Tom Stellarde1818af2016-02-18 03:42:32 +0000180
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000181 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
182 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000183
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000184 DecodeStatus Res = MCDisassembler::Fail;
185 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000186 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000187 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000188
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000189 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
190 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000191 if (Bytes.size() >= 8) {
192 const uint64_t QW = eatBytes<uint64_t>(Bytes);
193 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
194 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000195
196 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000197 if (Res) { IsSDWA = true; break; }
Sam Kolton363f47a2017-05-26 15:52:00 +0000198
199 Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000200 if (Res) { IsSDWA = true; break; }
Changpeng Fang09058702018-01-30 16:42:40 +0000201
202 if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) {
203 Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address);
Matt Arsenault0084adc2018-04-30 19:08:16 +0000204 if (Res)
205 break;
206 }
207
208 // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
209 // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
210 // table first so we print the correct name.
211 if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
212 Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
213 if (Res)
214 break;
Changpeng Fang09058702018-01-30 16:42:40 +0000215 }
Sam Kolton1048fb12016-03-31 14:15:04 +0000216 }
217
218 // Reinitialize Bytes as DPP64 could have eaten too much
219 Bytes = Bytes_.slice(0, MaxInstBytesNum);
220
221 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000222 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000223 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000224 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
225 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000226
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000227 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
228 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000229
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000230 Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address);
231 if (Res) break;
232
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000233 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000234 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000235 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
236 if (Res) break;
237
238 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000239 if (Res) break;
240
241 Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000242 } while (false);
243
Matt Arsenault678e1112017-04-10 17:58:06 +0000244 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
245 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
Konstantin Zhuravlyov603a43f2018-05-15 17:39:13 +0000246 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi ||
247 MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi)) {
Matt Arsenault678e1112017-04-10 17:58:06 +0000248 // Insert dummy unused src2_modifiers.
Sam Kolton549c89d2017-06-21 08:53:38 +0000249 insertNamedMCOperand(MI, MCOperand::createImm(0),
250 AMDGPU::OpName::src2_modifiers);
Matt Arsenault678e1112017-04-10 17:58:06 +0000251 }
252
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000253 if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) {
254 Res = convertMIMGInst(MI);
255 }
256
Sam Kolton549c89d2017-06-21 08:53:38 +0000257 if (Res && IsSDWA)
258 Res = convertSDWAInst(MI);
259
Tim Corringham7116e892018-03-26 17:06:33 +0000260 // if the opcode was not recognized we'll assume a Size of 4 bytes
261 // (unless there are fewer bytes left)
262 Size = Res ? (MaxInstBytesNum - Bytes.size())
263 : std::min((size_t)4, Bytes_.size());
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000264 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000265}
266
Sam Kolton549c89d2017-06-21 08:53:38 +0000267DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const {
268 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
269 if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1)
270 // VOPC - insert clamp
271 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp);
272 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
273 int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst);
274 if (SDst != -1) {
275 // VOPC - insert VCC register as sdst
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000276 insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC),
Sam Kolton549c89d2017-06-21 08:53:38 +0000277 AMDGPU::OpName::sdst);
278 } else {
279 // VOP1/2 - insert omod if present in instruction
280 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod);
281 }
282 }
283 return MCDisassembler::Success;
284}
285
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000286// Note that MIMG format provides no information about VADDR size.
287// Consequently, decoded instructions always show address
288// as if it has 1 dword, which could be not really so.
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000289DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const {
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000290
291 if (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4) {
292 return MCDisassembler::Success;
293 }
294
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000295 int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
296 AMDGPU::OpName::vdst);
297
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000298 int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
299 AMDGPU::OpName::vdata);
300
301 int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
302 AMDGPU::OpName::dmask);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000303
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000304 int TFEIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
305 AMDGPU::OpName::tfe);
306
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000307 assert(VDataIdx != -1);
308 assert(DMaskIdx != -1);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000309 assert(TFEIdx != -1);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000310
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000311 bool IsAtomic = (VDstIdx != -1);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000312
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000313 unsigned DMask = MI.getOperand(DMaskIdx).getImm() & 0xf;
314 if (DMask == 0)
315 return MCDisassembler::Success;
316
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000317 unsigned DstSize = countPopulation(DMask);
318 if (DstSize == 1)
319 return MCDisassembler::Success;
320
321 bool D16 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::D16;
322 if (D16 && AMDGPU::hasPackedD16(STI)) {
323 DstSize = (DstSize + 1) / 2;
324 }
325
326 // FIXME: Add tfe support
327 if (MI.getOperand(TFEIdx).getImm())
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000328 return MCDisassembler::Success;
329
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000330 int NewOpcode = -1;
331
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000332 if (IsAtomic) {
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000333 if (DMask == 0x1 || DMask == 0x3 || DMask == 0xF) {
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000334 NewOpcode = AMDGPU::getMaskedMIMGAtomicOp(*MCII, MI.getOpcode(), DstSize);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000335 }
336 if (NewOpcode == -1) return MCDisassembler::Success;
337 } else {
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000338 NewOpcode = AMDGPU::getMaskedMIMGOp(*MCII, MI.getOpcode(), DstSize);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000339 assert(NewOpcode != -1 && "could not find matching mimg channel instruction");
340 }
341
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000342 auto RCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass;
343
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000344 // Get first subregister of VData
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000345 unsigned Vdata0 = MI.getOperand(VDataIdx).getReg();
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000346 unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0);
347 Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0;
348
349 // Widen the register to the correct number of enabled channels.
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000350 auto NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0,
351 &MRI.getRegClass(RCID));
352 if (NewVdata == AMDGPU::NoRegister) {
353 // It's possible to encode this such that the low register + enabled
354 // components exceeds the register count.
355 return MCDisassembler::Success;
356 }
357
358 MI.setOpcode(NewOpcode);
359 // vaddr will be always appear as a single VGPR. This will look different than
360 // how it is usually emitted because the number of register components is not
361 // in the instruction encoding.
362 MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000363
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000364 if (IsAtomic) {
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000365 // Atomic operations have an additional operand (a copy of data)
366 MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata);
367 }
368
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000369 return MCDisassembler::Success;
370}
371
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000372const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
373 return getContext().getRegisterInfo()->
374 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000375}
376
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000377inline
378MCOperand AMDGPUDisassembler::errOperand(unsigned V,
379 const Twine& ErrMsg) const {
380 *CommentStream << "Error: " + ErrMsg;
381
382 // ToDo: add support for error operands to MCInst.h
383 // return MCOperand::createError(V);
384 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000385}
386
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000387inline
388MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000389 return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI));
Tom Stellarde1818af2016-02-18 03:42:32 +0000390}
391
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000392inline
393MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
394 unsigned Val) const {
395 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
396 if (Val >= RegCl.getNumRegs())
397 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
398 ": unknown register " + Twine(Val));
399 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000400}
401
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000402inline
403MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
404 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000405 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000406 // Valery: here we accepting as much as we can, let assembler sort it out
407 int shift = 0;
408 switch (SRegClassID) {
409 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000410 case AMDGPU::TTMP_32RegClassID:
411 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000412 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000413 case AMDGPU::TTMP_64RegClassID:
414 shift = 1;
415 break;
416 case AMDGPU::SGPR_128RegClassID:
417 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000418 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
419 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000420 case AMDGPU::SGPR_256RegClassID:
421 case AMDGPU::TTMP_256RegClassID:
422 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000423 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000424 case AMDGPU::SGPR_512RegClassID:
425 case AMDGPU::TTMP_512RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000426 shift = 2;
427 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000428 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
429 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000430 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000431 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000432 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000433
434 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000435 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
436 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000437 }
438
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000439 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000440}
441
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000442MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000443 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000444}
445
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000446MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000447 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000448}
449
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000450MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const {
451 return decodeSrcOp(OPW128, Val);
452}
453
Matt Arsenault4bd72362016-12-10 00:39:12 +0000454MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
455 return decodeSrcOp(OPW16, Val);
456}
457
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000458MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
459 return decodeSrcOp(OPWV216, Val);
460}
461
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000462MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000463 // Some instructions have operand restrictions beyond what the encoding
464 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
465 // high bit.
466 Val &= 255;
467
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000468 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
469}
470
471MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
472 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
473}
474
475MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
476 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
477}
478
479MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
480 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
481}
482
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000483MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
484 // table-gen generated disassembler doesn't care about operand types
485 // leaving only registry class so SSrc_32 operand turns into SReg_32
486 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000487 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000488}
489
Matt Arsenault640c44b2016-11-29 19:39:53 +0000490MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
491 unsigned Val) const {
492 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000493 return decodeOperand_SReg_32(Val);
494}
495
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000496MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI(
497 unsigned Val) const {
498 // SReg_32_XM0 is SReg_32 without EXEC_HI
499 return decodeOperand_SReg_32(Val);
500}
501
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000502MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000503 return decodeSrcOp(OPW64, Val);
504}
505
506MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000507 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000508}
509
510MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000511 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000512}
513
514MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000515 return decodeDstOp(OPW256, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000516}
517
518MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000519 return decodeDstOp(OPW512, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000520}
521
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000522MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000523 // For now all literal constants are supposed to be unsigned integer
524 // ToDo: deal with signed/unsigned 64-bit integer constants
525 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000526 if (!HasLiteral) {
527 if (Bytes.size() < 4) {
528 return errOperand(0, "cannot read literal, inst bytes left " +
529 Twine(Bytes.size()));
530 }
531 HasLiteral = true;
532 Literal = eatBytes<uint32_t>(Bytes);
533 }
534 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000535}
536
537MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000538 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000539
Artem Tamazov212a2512016-05-24 12:05:16 +0000540 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
541 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
542 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
543 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
544 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000545}
546
Matt Arsenault4bd72362016-12-10 00:39:12 +0000547static int64_t getInlineImmVal32(unsigned Imm) {
548 switch (Imm) {
549 case 240:
550 return FloatToBits(0.5f);
551 case 241:
552 return FloatToBits(-0.5f);
553 case 242:
554 return FloatToBits(1.0f);
555 case 243:
556 return FloatToBits(-1.0f);
557 case 244:
558 return FloatToBits(2.0f);
559 case 245:
560 return FloatToBits(-2.0f);
561 case 246:
562 return FloatToBits(4.0f);
563 case 247:
564 return FloatToBits(-4.0f);
565 case 248: // 1 / (2 * PI)
566 return 0x3e22f983;
567 default:
568 llvm_unreachable("invalid fp inline imm");
569 }
570}
571
572static int64_t getInlineImmVal64(unsigned Imm) {
573 switch (Imm) {
574 case 240:
575 return DoubleToBits(0.5);
576 case 241:
577 return DoubleToBits(-0.5);
578 case 242:
579 return DoubleToBits(1.0);
580 case 243:
581 return DoubleToBits(-1.0);
582 case 244:
583 return DoubleToBits(2.0);
584 case 245:
585 return DoubleToBits(-2.0);
586 case 246:
587 return DoubleToBits(4.0);
588 case 247:
589 return DoubleToBits(-4.0);
590 case 248: // 1 / (2 * PI)
591 return 0x3fc45f306dc9c882;
592 default:
593 llvm_unreachable("invalid fp inline imm");
594 }
595}
596
597static int64_t getInlineImmVal16(unsigned Imm) {
598 switch (Imm) {
599 case 240:
600 return 0x3800;
601 case 241:
602 return 0xB800;
603 case 242:
604 return 0x3C00;
605 case 243:
606 return 0xBC00;
607 case 244:
608 return 0x4000;
609 case 245:
610 return 0xC000;
611 case 246:
612 return 0x4400;
613 case 247:
614 return 0xC400;
615 case 248: // 1 / (2 * PI)
616 return 0x3118;
617 default:
618 llvm_unreachable("invalid fp inline imm");
619 }
620}
621
622MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000623 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
624 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000625
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000626 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000627 switch (Width) {
628 case OPW32:
629 return MCOperand::createImm(getInlineImmVal32(Imm));
630 case OPW64:
631 return MCOperand::createImm(getInlineImmVal64(Imm));
632 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000633 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000634 return MCOperand::createImm(getInlineImmVal16(Imm));
635 default:
636 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000637 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000638}
639
Artem Tamazov212a2512016-05-24 12:05:16 +0000640unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000641 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000642
Artem Tamazov212a2512016-05-24 12:05:16 +0000643 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
644 switch (Width) {
645 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000646 case OPW32:
647 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000648 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000649 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000650 case OPW64: return VReg_64RegClassID;
651 case OPW128: return VReg_128RegClassID;
652 }
653}
654
655unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
656 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000657
Artem Tamazov212a2512016-05-24 12:05:16 +0000658 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
659 switch (Width) {
660 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000661 case OPW32:
662 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000663 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000664 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000665 case OPW64: return SGPR_64RegClassID;
666 case OPW128: return SGPR_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000667 case OPW256: return SGPR_256RegClassID;
668 case OPW512: return SGPR_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000669 }
670}
671
672unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
673 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000674
Artem Tamazov212a2512016-05-24 12:05:16 +0000675 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
676 switch (Width) {
677 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000678 case OPW32:
679 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000680 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000681 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000682 case OPW64: return TTMP_64RegClassID;
683 case OPW128: return TTMP_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000684 case OPW256: return TTMP_256RegClassID;
685 case OPW512: return TTMP_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000686 }
687}
688
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000689int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const {
690 using namespace AMDGPU::EncValues;
691
692 unsigned TTmpMin = isGFX9() ? TTMP_GFX9_MIN : TTMP_VI_MIN;
693 unsigned TTmpMax = isGFX9() ? TTMP_GFX9_MAX : TTMP_VI_MAX;
694
695 return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1;
696}
697
Artem Tamazov212a2512016-05-24 12:05:16 +0000698MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
699 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000700
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000701 assert(Val < 512); // enum9
702
Artem Tamazov212a2512016-05-24 12:05:16 +0000703 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
704 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
705 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000706 if (Val <= SGPR_MAX) {
707 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000708 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
709 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000710
711 int TTmpIdx = getTTmpIdx(Val);
712 if (TTmpIdx >= 0) {
713 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
Artem Tamazov212a2512016-05-24 12:05:16 +0000714 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000715
Artem Tamazov212a2512016-05-24 12:05:16 +0000716 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000717 return decodeIntImmed(Val);
718
Artem Tamazov212a2512016-05-24 12:05:16 +0000719 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000720 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000721
Artem Tamazov212a2512016-05-24 12:05:16 +0000722 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000723 return decodeLiteralConstant();
724
Matt Arsenault4bd72362016-12-10 00:39:12 +0000725 switch (Width) {
726 case OPW32:
727 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000728 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000729 return decodeSpecialReg32(Val);
730 case OPW64:
731 return decodeSpecialReg64(Val);
732 default:
733 llvm_unreachable("unexpected immediate type");
734 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000735}
736
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000737MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const {
738 using namespace AMDGPU::EncValues;
739
740 assert(Val < 128);
741 assert(Width == OPW256 || Width == OPW512);
742
743 if (Val <= SGPR_MAX) {
744 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
745 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
746 }
747
748 int TTmpIdx = getTTmpIdx(Val);
749 if (TTmpIdx >= 0) {
750 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
751 }
752
753 llvm_unreachable("unknown dst register");
754}
755
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000756MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
757 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000758
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000759 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000760 case 102: return createRegOperand(FLAT_SCR_LO);
761 case 103: return createRegOperand(FLAT_SCR_HI);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000762 case 104: return createRegOperand(XNACK_MASK_LO);
763 case 105: return createRegOperand(XNACK_MASK_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000764 case 106: return createRegOperand(VCC_LO);
765 case 107: return createRegOperand(VCC_HI);
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000766 case 108: assert(!isGFX9()); return createRegOperand(TBA_LO);
767 case 109: assert(!isGFX9()); return createRegOperand(TBA_HI);
768 case 110: assert(!isGFX9()); return createRegOperand(TMA_LO);
769 case 111: assert(!isGFX9()); return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000770 case 124: return createRegOperand(M0);
771 case 126: return createRegOperand(EXEC_LO);
772 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000773 case 235: return createRegOperand(SRC_SHARED_BASE);
774 case 236: return createRegOperand(SRC_SHARED_LIMIT);
775 case 237: return createRegOperand(SRC_PRIVATE_BASE);
776 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
777 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000778 // ToDo: no support for vccz register
779 case 251: break;
780 // ToDo: no support for execz register
781 case 252: break;
782 case 253: return createRegOperand(SCC);
783 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000784 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000785 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000786}
787
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000788MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
789 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000790
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000791 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000792 case 102: return createRegOperand(FLAT_SCR);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000793 case 104: return createRegOperand(XNACK_MASK);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000794 case 106: return createRegOperand(VCC);
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000795 case 108: assert(!isGFX9()); return createRegOperand(TBA);
796 case 110: assert(!isGFX9()); return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000797 case 126: return createRegOperand(EXEC);
798 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000799 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000800 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000801}
802
Sam Kolton549c89d2017-06-21 08:53:38 +0000803MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width,
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000804 const unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000805 using namespace AMDGPU::SDWA;
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000806 using namespace AMDGPU::EncValues;
Sam Kolton363f47a2017-05-26 15:52:00 +0000807
Sam Kolton549c89d2017-06-21 08:53:38 +0000808 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
Sam Koltona179d252017-06-27 15:02:23 +0000809 // XXX: static_cast<int> is needed to avoid stupid warning:
810 // compare with unsigned is always true
811 if (SDWA9EncValues::SRC_VGPR_MIN <= static_cast<int>(Val) &&
Sam Kolton549c89d2017-06-21 08:53:38 +0000812 Val <= SDWA9EncValues::SRC_VGPR_MAX) {
813 return createRegOperand(getVgprClassId(Width),
814 Val - SDWA9EncValues::SRC_VGPR_MIN);
815 }
816 if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
817 Val <= SDWA9EncValues::SRC_SGPR_MAX) {
818 return createSRegOperand(getSgprClassId(Width),
819 Val - SDWA9EncValues::SRC_SGPR_MIN);
820 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000821 if (SDWA9EncValues::SRC_TTMP_MIN <= Val &&
822 Val <= SDWA9EncValues::SRC_TTMP_MAX) {
823 return createSRegOperand(getTtmpClassId(Width),
824 Val - SDWA9EncValues::SRC_TTMP_MIN);
825 }
Sam Kolton549c89d2017-06-21 08:53:38 +0000826
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000827 const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN;
828
829 if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX)
830 return decodeIntImmed(SVal);
831
832 if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX)
833 return decodeFPImmed(Width, SVal);
834
835 return decodeSpecialReg32(SVal);
Sam Kolton549c89d2017-06-21 08:53:38 +0000836 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
837 return createRegOperand(getVgprClassId(Width), Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000838 }
Sam Kolton549c89d2017-06-21 08:53:38 +0000839 llvm_unreachable("unsupported target");
Sam Kolton363f47a2017-05-26 15:52:00 +0000840}
841
Sam Kolton549c89d2017-06-21 08:53:38 +0000842MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const {
843 return decodeSDWASrc(OPW16, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000844}
845
Sam Kolton549c89d2017-06-21 08:53:38 +0000846MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const {
847 return decodeSDWASrc(OPW32, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000848}
849
Sam Kolton549c89d2017-06-21 08:53:38 +0000850MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000851 using namespace AMDGPU::SDWA;
852
Sam Kolton549c89d2017-06-21 08:53:38 +0000853 assert(STI.getFeatureBits()[AMDGPU::FeatureGFX9] &&
854 "SDWAVopcDst should be present only on GFX9");
Sam Kolton363f47a2017-05-26 15:52:00 +0000855 if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
856 Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000857
858 int TTmpIdx = getTTmpIdx(Val);
859 if (TTmpIdx >= 0) {
860 return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx);
861 } else if (Val > AMDGPU::EncValues::SGPR_MAX) {
Sam Kolton363f47a2017-05-26 15:52:00 +0000862 return decodeSpecialReg64(Val);
863 } else {
864 return createSRegOperand(getSgprClassId(OPW64), Val);
865 }
866 } else {
867 return createRegOperand(AMDGPU::VCC);
868 }
869}
870
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000871bool AMDGPUDisassembler::isVI() const {
872 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
873}
874
875bool AMDGPUDisassembler::isGFX9() const {
876 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
877}
878
Sam Kolton3381d7a2016-10-06 13:46:08 +0000879//===----------------------------------------------------------------------===//
880// AMDGPUSymbolizer
881//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000882
Sam Kolton3381d7a2016-10-06 13:46:08 +0000883// Try to find symbol name for specified label
884bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
885 raw_ostream &/*cStream*/, int64_t Value,
886 uint64_t /*Address*/, bool IsBranch,
887 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000888 using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>;
889 using SectionSymbolsTy = std::vector<SymbolInfoTy>;
Sam Kolton3381d7a2016-10-06 13:46:08 +0000890
891 if (!IsBranch) {
892 return false;
893 }
894
895 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
Nicolai Haehnleb1c3b222018-04-10 15:46:43 +0000896 if (!Symbols)
897 return false;
898
Sam Kolton3381d7a2016-10-06 13:46:08 +0000899 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
900 [Value](const SymbolInfoTy& Val) {
901 return std::get<0>(Val) == static_cast<uint64_t>(Value)
902 && std::get<2>(Val) == ELF::STT_NOTYPE;
903 });
904 if (Result != Symbols->end()) {
905 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
906 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
907 Inst.addOperand(MCOperand::createExpr(Add));
908 return true;
909 }
910 return false;
911}
912
Matt Arsenault92b355b2016-11-15 19:34:37 +0000913void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
914 int64_t Value,
915 uint64_t Address) {
916 llvm_unreachable("unimplemented");
917}
918
Sam Kolton3381d7a2016-10-06 13:46:08 +0000919//===----------------------------------------------------------------------===//
920// Initialization
921//===----------------------------------------------------------------------===//
922
923static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
924 LLVMOpInfoCallback /*GetOpInfo*/,
925 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000926 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000927 MCContext *Ctx,
928 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
929 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
930}
931
Tom Stellarde1818af2016-02-18 03:42:32 +0000932static MCDisassembler *createAMDGPUDisassembler(const Target &T,
933 const MCSubtargetInfo &STI,
934 MCContext &Ctx) {
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000935 return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo());
Tom Stellarde1818af2016-02-18 03:42:32 +0000936}
937
938extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000939 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
940 createAMDGPUDisassembler);
941 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
942 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000943}