blob: 8cdc06c71ddedb97e33ad7d6d3a75386dfb2491b [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"
Tom Stellard44b30b42018-05-22 02:03:23 +000024#include "MCTargetDesc/AMDGPUMCTargetDesc.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"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000031#include "llvm/MC/MCContext.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000032#include "llvm/MC/MCDisassembler/MCDisassembler.h"
33#include "llvm/MC/MCExpr.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000034#include "llvm/MC/MCFixedLenDisassembler.h"
35#include "llvm/MC/MCInst.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000036#include "llvm/MC/MCSubtargetInfo.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000037#include "llvm/Support/Endian.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000038#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Support/MathExtras.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000040#include "llvm/Support/TargetRegistry.h"
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000041#include "llvm/Support/raw_ostream.h"
42#include <algorithm>
43#include <cassert>
44#include <cstddef>
45#include <cstdint>
46#include <iterator>
47#include <tuple>
48#include <vector>
Tom Stellarde1818af2016-02-18 03:42:32 +000049
Tom Stellarde1818af2016-02-18 03:42:32 +000050using namespace llvm;
51
52#define DEBUG_TYPE "amdgpu-disassembler"
53
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +000054using DecodeStatus = llvm::MCDisassembler::DecodeStatus;
Tom Stellarde1818af2016-02-18 03:42:32 +000055
Nikolay Haustovac106ad2016-03-01 13:57:29 +000056inline static MCDisassembler::DecodeStatus
57addOperand(MCInst &Inst, const MCOperand& Opnd) {
58 Inst.addOperand(Opnd);
59 return Opnd.isValid() ?
60 MCDisassembler::Success :
61 MCDisassembler::SoftFail;
Tom Stellarde1818af2016-02-18 03:42:32 +000062}
63
Sam Kolton549c89d2017-06-21 08:53:38 +000064static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op,
65 uint16_t NameIdx) {
66 int OpIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), NameIdx);
67 if (OpIdx != -1) {
68 auto I = MI.begin();
69 std::advance(I, OpIdx);
70 MI.insert(I, Op);
71 }
72 return OpIdx;
73}
74
Sam Kolton3381d7a2016-10-06 13:46:08 +000075static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
76 uint64_t Addr, const void *Decoder) {
77 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
78
79 APInt SignedOffset(18, Imm * 4, true);
80 int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
81
82 if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
83 return MCDisassembler::Success;
Matt Arsenaultf3dd8632016-11-01 00:55:14 +000084 return addOperand(Inst, MCOperand::createImm(Imm));
Sam Kolton3381d7a2016-10-06 13:46:08 +000085}
86
Sam Kolton363f47a2017-05-26 15:52:00 +000087#define DECODE_OPERAND(StaticDecoderName, DecoderName) \
88static DecodeStatus StaticDecoderName(MCInst &Inst, \
89 unsigned Imm, \
90 uint64_t /*Addr*/, \
91 const void *Decoder) { \
Nikolay Haustovac106ad2016-03-01 13:57:29 +000092 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
Sam Kolton363f47a2017-05-26 15:52:00 +000093 return addOperand(Inst, DAsm->DecoderName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +000094}
95
Sam Kolton363f47a2017-05-26 15:52:00 +000096#define DECODE_OPERAND_REG(RegClass) \
97DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +000098
Sam Kolton363f47a2017-05-26 15:52:00 +000099DECODE_OPERAND_REG(VGPR_32)
100DECODE_OPERAND_REG(VS_32)
101DECODE_OPERAND_REG(VS_64)
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000102DECODE_OPERAND_REG(VS_128)
Nikolay Haustov161a1582016-02-25 16:09:14 +0000103
Sam Kolton363f47a2017-05-26 15:52:00 +0000104DECODE_OPERAND_REG(VReg_64)
105DECODE_OPERAND_REG(VReg_96)
106DECODE_OPERAND_REG(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +0000107
Sam Kolton363f47a2017-05-26 15:52:00 +0000108DECODE_OPERAND_REG(SReg_32)
109DECODE_OPERAND_REG(SReg_32_XM0_XEXEC)
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000110DECODE_OPERAND_REG(SReg_32_XEXEC_HI)
Sam Kolton363f47a2017-05-26 15:52:00 +0000111DECODE_OPERAND_REG(SReg_64)
112DECODE_OPERAND_REG(SReg_64_XEXEC)
113DECODE_OPERAND_REG(SReg_128)
114DECODE_OPERAND_REG(SReg_256)
115DECODE_OPERAND_REG(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +0000116
Matt Arsenault4bd72362016-12-10 00:39:12 +0000117static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
118 unsigned Imm,
119 uint64_t Addr,
120 const void *Decoder) {
121 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
122 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
123}
124
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000125static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
126 unsigned Imm,
127 uint64_t Addr,
128 const void *Decoder) {
129 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
130 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
131}
132
Sam Kolton549c89d2017-06-21 08:53:38 +0000133#define DECODE_SDWA(DecName) \
134DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName)
Sam Kolton363f47a2017-05-26 15:52:00 +0000135
Sam Kolton549c89d2017-06-21 08:53:38 +0000136DECODE_SDWA(Src32)
137DECODE_SDWA(Src16)
138DECODE_SDWA(VopcDst)
Sam Kolton363f47a2017-05-26 15:52:00 +0000139
Tom Stellarde1818af2016-02-18 03:42:32 +0000140#include "AMDGPUGenDisassemblerTables.inc"
141
142//===----------------------------------------------------------------------===//
143//
144//===----------------------------------------------------------------------===//
145
Sam Kolton1048fb12016-03-31 14:15:04 +0000146template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
147 assert(Bytes.size() >= sizeof(T));
148 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
149 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000150 return Res;
151}
152
153DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
154 MCInst &MI,
155 uint64_t Inst,
156 uint64_t Address) const {
157 assert(MI.getOpcode() == 0);
158 assert(MI.getNumOperands() == 0);
159 MCInst TmpInst;
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000160 HasLiteral = false;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000161 const auto SavedBytes = Bytes;
162 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
163 MI = TmpInst;
164 return MCDisassembler::Success;
165 }
166 Bytes = SavedBytes;
167 return MCDisassembler::Fail;
168}
169
Tom Stellarde1818af2016-02-18 03:42:32 +0000170DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000171 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000172 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000173 raw_ostream &WS,
174 raw_ostream &CS) const {
175 CommentStream = &CS;
Sam Kolton549c89d2017-06-21 08:53:38 +0000176 bool IsSDWA = false;
Tom Stellarde1818af2016-02-18 03:42:32 +0000177
178 // ToDo: AMDGPUDisassembler supports only VI ISA.
Matt Arsenaultd122abe2017-02-15 21:50:34 +0000179 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
180 report_fatal_error("Disassembly not yet supported for subtarget");
Tom Stellarde1818af2016-02-18 03:42:32 +0000181
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000182 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
183 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000184
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000185 DecodeStatus Res = MCDisassembler::Fail;
186 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000187 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000188 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000189
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000190 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
191 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000192 if (Bytes.size() >= 8) {
193 const uint64_t QW = eatBytes<uint64_t>(Bytes);
194 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
195 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000196
197 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000198 if (Res) { IsSDWA = true; break; }
Sam Kolton363f47a2017-05-26 15:52:00 +0000199
200 Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address);
Sam Kolton549c89d2017-06-21 08:53:38 +0000201 if (Res) { IsSDWA = true; break; }
Changpeng Fang09058702018-01-30 16:42:40 +0000202
203 if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) {
204 Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address);
Matt Arsenault0084adc2018-04-30 19:08:16 +0000205 if (Res)
206 break;
207 }
208
209 // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
210 // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
211 // table first so we print the correct name.
212 if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
213 Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
214 if (Res)
215 break;
Changpeng Fang09058702018-01-30 16:42:40 +0000216 }
Sam Kolton1048fb12016-03-31 14:15:04 +0000217 }
218
219 // Reinitialize Bytes as DPP64 could have eaten too much
220 Bytes = Bytes_.slice(0, MaxInstBytesNum);
221
222 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000223 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000224 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000225 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
226 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000227
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000228 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
229 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000230
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000231 Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address);
232 if (Res) break;
233
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000234 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000235 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000236 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
237 if (Res) break;
238
239 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000240 if (Res) break;
241
242 Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000243 } while (false);
244
Matt Arsenault678e1112017-04-10 17:58:06 +0000245 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
246 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
Konstantin Zhuravlyov603a43f2018-05-15 17:39:13 +0000247 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi ||
248 MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi)) {
Matt Arsenault678e1112017-04-10 17:58:06 +0000249 // Insert dummy unused src2_modifiers.
Sam Kolton549c89d2017-06-21 08:53:38 +0000250 insertNamedMCOperand(MI, MCOperand::createImm(0),
251 AMDGPU::OpName::src2_modifiers);
Matt Arsenault678e1112017-04-10 17:58:06 +0000252 }
253
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000254 if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) {
255 Res = convertMIMGInst(MI);
256 }
257
Sam Kolton549c89d2017-06-21 08:53:38 +0000258 if (Res && IsSDWA)
259 Res = convertSDWAInst(MI);
260
Tim Corringham7116e892018-03-26 17:06:33 +0000261 // if the opcode was not recognized we'll assume a Size of 4 bytes
262 // (unless there are fewer bytes left)
263 Size = Res ? (MaxInstBytesNum - Bytes.size())
264 : std::min((size_t)4, Bytes_.size());
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000265 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000266}
267
Sam Kolton549c89d2017-06-21 08:53:38 +0000268DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const {
269 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
270 if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1)
271 // VOPC - insert clamp
272 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp);
273 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
274 int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst);
275 if (SDst != -1) {
276 // VOPC - insert VCC register as sdst
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000277 insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC),
Sam Kolton549c89d2017-06-21 08:53:38 +0000278 AMDGPU::OpName::sdst);
279 } else {
280 // VOP1/2 - insert omod if present in instruction
281 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod);
282 }
283 }
284 return MCDisassembler::Success;
285}
286
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000287// Note that MIMG format provides no information about VADDR size.
288// Consequently, decoded instructions always show address
289// as if it has 1 dword, which could be not really so.
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000290DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const {
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000291
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000292 int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
293 AMDGPU::OpName::vdst);
294
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000295 int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
296 AMDGPU::OpName::vdata);
297
298 int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
299 AMDGPU::OpName::dmask);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000300
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000301 int TFEIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
302 AMDGPU::OpName::tfe);
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000303 int D16Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
304 AMDGPU::OpName::d16);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000305
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000306 assert(VDataIdx != -1);
307 assert(DMaskIdx != -1);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000308 assert(TFEIdx != -1);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000309
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000310 bool IsAtomic = (VDstIdx != -1);
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000311 bool IsGather4 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4;
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
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000317 unsigned DstSize = IsGather4 ? 4 : countPopulation(DMask);
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000318 if (DstSize == 1)
319 return MCDisassembler::Success;
320
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000321 bool D16 = D16Idx >= 0 && MI.getOperand(D16Idx).getImm();
Dmitry Preobrazhensky0a1ff462018-02-05 14:18:53 +0000322 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
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000332 if (IsGather4) {
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000333 if (D16 && AMDGPU::hasPackedD16(STI))
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000334 NewOpcode = AMDGPU::getMaskedMIMGOp(MI.getOpcode(), 2);
Nicolai Haehnlef2674312018-06-21 13:36:01 +0000335 else
336 return MCDisassembler::Success;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000337 } else {
Nicolai Haehnle0ab200b2018-06-21 13:36:44 +0000338 NewOpcode = AMDGPU::getMaskedMIMGOp(MI.getOpcode(), DstSize);
339 if (NewOpcode == -1)
340 return MCDisassembler::Success;
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000341 }
342
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000343 auto RCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass;
344
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000345 // Get first subregister of VData
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000346 unsigned Vdata0 = MI.getOperand(VDataIdx).getReg();
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000347 unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0);
348 Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0;
349
350 // Widen the register to the correct number of enabled channels.
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000351 auto NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0,
352 &MRI.getRegClass(RCID));
353 if (NewVdata == AMDGPU::NoRegister) {
354 // It's possible to encode this such that the low register + enabled
355 // components exceeds the register count.
356 return MCDisassembler::Success;
357 }
358
359 MI.setOpcode(NewOpcode);
360 // vaddr will be always appear as a single VGPR. This will look different than
361 // how it is usually emitted because the number of register components is not
362 // in the instruction encoding.
363 MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata);
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000364
Dmitry Preobrazhenskyda4a7c02018-03-12 15:03:34 +0000365 if (IsAtomic) {
Dmitry Preobrazhensky0b4eb1e2018-01-26 15:43:29 +0000366 // Atomic operations have an additional operand (a copy of data)
367 MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata);
368 }
369
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000370 return MCDisassembler::Success;
371}
372
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000373const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
374 return getContext().getRegisterInfo()->
375 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000376}
377
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000378inline
379MCOperand AMDGPUDisassembler::errOperand(unsigned V,
380 const Twine& ErrMsg) const {
381 *CommentStream << "Error: " + ErrMsg;
382
383 // ToDo: add support for error operands to MCInst.h
384 // return MCOperand::createError(V);
385 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000386}
387
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000388inline
389MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000390 return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI));
Tom Stellarde1818af2016-02-18 03:42:32 +0000391}
392
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000393inline
394MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
395 unsigned Val) const {
396 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
397 if (Val >= RegCl.getNumRegs())
398 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
399 ": unknown register " + Twine(Val));
400 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000401}
402
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000403inline
404MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
405 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000406 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000407 // Valery: here we accepting as much as we can, let assembler sort it out
408 int shift = 0;
409 switch (SRegClassID) {
410 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000411 case AMDGPU::TTMP_32RegClassID:
412 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000413 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000414 case AMDGPU::TTMP_64RegClassID:
415 shift = 1;
416 break;
417 case AMDGPU::SGPR_128RegClassID:
418 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000419 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
420 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000421 case AMDGPU::SGPR_256RegClassID:
422 case AMDGPU::TTMP_256RegClassID:
423 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000424 // this bundle?
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000425 case AMDGPU::SGPR_512RegClassID:
426 case AMDGPU::TTMP_512RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000427 shift = 2;
428 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000429 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
430 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000431 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000432 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000433 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000434
435 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000436 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
437 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000438 }
439
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000440 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000441}
442
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000443MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000444 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000445}
446
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000447MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000448 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000449}
450
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000451MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const {
452 return decodeSrcOp(OPW128, Val);
453}
454
Matt Arsenault4bd72362016-12-10 00:39:12 +0000455MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
456 return decodeSrcOp(OPW16, Val);
457}
458
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000459MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
460 return decodeSrcOp(OPWV216, Val);
461}
462
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000463MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000464 // Some instructions have operand restrictions beyond what the encoding
465 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
466 // high bit.
467 Val &= 255;
468
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000469 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
470}
471
472MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
473 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
474}
475
476MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
477 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
478}
479
480MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
481 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
482}
483
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000484MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
485 // table-gen generated disassembler doesn't care about operand types
486 // leaving only registry class so SSrc_32 operand turns into SReg_32
487 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000488 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000489}
490
Matt Arsenault640c44b2016-11-29 19:39:53 +0000491MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
492 unsigned Val) const {
493 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000494 return decodeOperand_SReg_32(Val);
495}
496
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000497MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI(
498 unsigned Val) const {
499 // SReg_32_XM0 is SReg_32 without EXEC_HI
500 return decodeOperand_SReg_32(Val);
501}
502
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000503MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000504 return decodeSrcOp(OPW64, Val);
505}
506
507MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000508 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000509}
510
511MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000512 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000513}
514
515MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000516 return decodeDstOp(OPW256, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000517}
518
519MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000520 return decodeDstOp(OPW512, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000521}
522
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000523MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000524 // For now all literal constants are supposed to be unsigned integer
525 // ToDo: deal with signed/unsigned 64-bit integer constants
526 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000527 if (!HasLiteral) {
528 if (Bytes.size() < 4) {
529 return errOperand(0, "cannot read literal, inst bytes left " +
530 Twine(Bytes.size()));
531 }
532 HasLiteral = true;
533 Literal = eatBytes<uint32_t>(Bytes);
534 }
535 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000536}
537
538MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000539 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000540
Artem Tamazov212a2512016-05-24 12:05:16 +0000541 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
542 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
543 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
544 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
545 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000546}
547
Matt Arsenault4bd72362016-12-10 00:39:12 +0000548static int64_t getInlineImmVal32(unsigned Imm) {
549 switch (Imm) {
550 case 240:
551 return FloatToBits(0.5f);
552 case 241:
553 return FloatToBits(-0.5f);
554 case 242:
555 return FloatToBits(1.0f);
556 case 243:
557 return FloatToBits(-1.0f);
558 case 244:
559 return FloatToBits(2.0f);
560 case 245:
561 return FloatToBits(-2.0f);
562 case 246:
563 return FloatToBits(4.0f);
564 case 247:
565 return FloatToBits(-4.0f);
566 case 248: // 1 / (2 * PI)
567 return 0x3e22f983;
568 default:
569 llvm_unreachable("invalid fp inline imm");
570 }
571}
572
573static int64_t getInlineImmVal64(unsigned Imm) {
574 switch (Imm) {
575 case 240:
576 return DoubleToBits(0.5);
577 case 241:
578 return DoubleToBits(-0.5);
579 case 242:
580 return DoubleToBits(1.0);
581 case 243:
582 return DoubleToBits(-1.0);
583 case 244:
584 return DoubleToBits(2.0);
585 case 245:
586 return DoubleToBits(-2.0);
587 case 246:
588 return DoubleToBits(4.0);
589 case 247:
590 return DoubleToBits(-4.0);
591 case 248: // 1 / (2 * PI)
592 return 0x3fc45f306dc9c882;
593 default:
594 llvm_unreachable("invalid fp inline imm");
595 }
596}
597
598static int64_t getInlineImmVal16(unsigned Imm) {
599 switch (Imm) {
600 case 240:
601 return 0x3800;
602 case 241:
603 return 0xB800;
604 case 242:
605 return 0x3C00;
606 case 243:
607 return 0xBC00;
608 case 244:
609 return 0x4000;
610 case 245:
611 return 0xC000;
612 case 246:
613 return 0x4400;
614 case 247:
615 return 0xC400;
616 case 248: // 1 / (2 * PI)
617 return 0x3118;
618 default:
619 llvm_unreachable("invalid fp inline imm");
620 }
621}
622
623MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000624 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
625 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000626
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000627 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000628 switch (Width) {
629 case OPW32:
630 return MCOperand::createImm(getInlineImmVal32(Imm));
631 case OPW64:
632 return MCOperand::createImm(getInlineImmVal64(Imm));
633 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000634 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000635 return MCOperand::createImm(getInlineImmVal16(Imm));
636 default:
637 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000638 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000639}
640
Artem Tamazov212a2512016-05-24 12:05:16 +0000641unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000642 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000643
Artem Tamazov212a2512016-05-24 12:05:16 +0000644 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
645 switch (Width) {
646 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000647 case OPW32:
648 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000649 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000650 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000651 case OPW64: return VReg_64RegClassID;
652 case OPW128: return VReg_128RegClassID;
653 }
654}
655
656unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
657 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000658
Artem Tamazov212a2512016-05-24 12:05:16 +0000659 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
660 switch (Width) {
661 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000662 case OPW32:
663 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000664 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000665 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000666 case OPW64: return SGPR_64RegClassID;
667 case OPW128: return SGPR_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000668 case OPW256: return SGPR_256RegClassID;
669 case OPW512: return SGPR_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000670 }
671}
672
673unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
674 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000675
Artem Tamazov212a2512016-05-24 12:05:16 +0000676 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
677 switch (Width) {
678 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000679 case OPW32:
680 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000681 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000682 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000683 case OPW64: return TTMP_64RegClassID;
684 case OPW128: return TTMP_128RegClassID;
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000685 case OPW256: return TTMP_256RegClassID;
686 case OPW512: return TTMP_512RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000687 }
688}
689
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000690int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const {
691 using namespace AMDGPU::EncValues;
692
693 unsigned TTmpMin = isGFX9() ? TTMP_GFX9_MIN : TTMP_VI_MIN;
694 unsigned TTmpMax = isGFX9() ? TTMP_GFX9_MAX : TTMP_VI_MAX;
695
696 return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1;
697}
698
Artem Tamazov212a2512016-05-24 12:05:16 +0000699MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
700 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000701
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000702 assert(Val < 512); // enum9
703
Artem Tamazov212a2512016-05-24 12:05:16 +0000704 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
705 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
706 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000707 if (Val <= SGPR_MAX) {
708 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000709 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
710 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000711
712 int TTmpIdx = getTTmpIdx(Val);
713 if (TTmpIdx >= 0) {
714 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
Artem Tamazov212a2512016-05-24 12:05:16 +0000715 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000716
Artem Tamazov212a2512016-05-24 12:05:16 +0000717 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000718 return decodeIntImmed(Val);
719
Artem Tamazov212a2512016-05-24 12:05:16 +0000720 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000721 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000722
Artem Tamazov212a2512016-05-24 12:05:16 +0000723 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000724 return decodeLiteralConstant();
725
Matt Arsenault4bd72362016-12-10 00:39:12 +0000726 switch (Width) {
727 case OPW32:
728 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000729 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000730 return decodeSpecialReg32(Val);
731 case OPW64:
732 return decodeSpecialReg64(Val);
733 default:
734 llvm_unreachable("unexpected immediate type");
735 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000736}
737
Dmitry Preobrazhensky27134952017-12-22 15:18:06 +0000738MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const {
739 using namespace AMDGPU::EncValues;
740
741 assert(Val < 128);
742 assert(Width == OPW256 || Width == OPW512);
743
744 if (Val <= SGPR_MAX) {
745 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
746 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
747 }
748
749 int TTmpIdx = getTTmpIdx(Val);
750 if (TTmpIdx >= 0) {
751 return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
752 }
753
754 llvm_unreachable("unknown dst register");
755}
756
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000757MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
758 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000759
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000760 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000761 case 102: return createRegOperand(FLAT_SCR_LO);
762 case 103: return createRegOperand(FLAT_SCR_HI);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000763 case 104: return createRegOperand(XNACK_MASK_LO);
764 case 105: return createRegOperand(XNACK_MASK_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000765 case 106: return createRegOperand(VCC_LO);
766 case 107: return createRegOperand(VCC_HI);
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000767 case 108: assert(!isGFX9()); return createRegOperand(TBA_LO);
768 case 109: assert(!isGFX9()); return createRegOperand(TBA_HI);
769 case 110: assert(!isGFX9()); return createRegOperand(TMA_LO);
770 case 111: assert(!isGFX9()); return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000771 case 124: return createRegOperand(M0);
772 case 126: return createRegOperand(EXEC_LO);
773 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000774 case 235: return createRegOperand(SRC_SHARED_BASE);
775 case 236: return createRegOperand(SRC_SHARED_LIMIT);
776 case 237: return createRegOperand(SRC_PRIVATE_BASE);
777 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
778 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000779 // ToDo: no support for vccz register
780 case 251: break;
781 // ToDo: no support for execz register
782 case 252: break;
783 case 253: return createRegOperand(SCC);
784 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000785 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000786 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000787}
788
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000789MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
790 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000791
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000792 switch (Val) {
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000793 case 102: return createRegOperand(FLAT_SCR);
Dmitry Preobrazhensky3afbd822018-01-10 14:22:19 +0000794 case 104: return createRegOperand(XNACK_MASK);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000795 case 106: return createRegOperand(VCC);
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000796 case 108: assert(!isGFX9()); return createRegOperand(TBA);
797 case 110: assert(!isGFX9()); return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000798 case 126: return createRegOperand(EXEC);
799 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000800 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000801 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000802}
803
Sam Kolton549c89d2017-06-21 08:53:38 +0000804MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width,
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000805 const unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000806 using namespace AMDGPU::SDWA;
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000807 using namespace AMDGPU::EncValues;
Sam Kolton363f47a2017-05-26 15:52:00 +0000808
Sam Kolton549c89d2017-06-21 08:53:38 +0000809 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
Sam Koltona179d252017-06-27 15:02:23 +0000810 // XXX: static_cast<int> is needed to avoid stupid warning:
811 // compare with unsigned is always true
812 if (SDWA9EncValues::SRC_VGPR_MIN <= static_cast<int>(Val) &&
Sam Kolton549c89d2017-06-21 08:53:38 +0000813 Val <= SDWA9EncValues::SRC_VGPR_MAX) {
814 return createRegOperand(getVgprClassId(Width),
815 Val - SDWA9EncValues::SRC_VGPR_MIN);
816 }
817 if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
818 Val <= SDWA9EncValues::SRC_SGPR_MAX) {
819 return createSRegOperand(getSgprClassId(Width),
820 Val - SDWA9EncValues::SRC_SGPR_MIN);
821 }
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000822 if (SDWA9EncValues::SRC_TTMP_MIN <= Val &&
823 Val <= SDWA9EncValues::SRC_TTMP_MAX) {
824 return createSRegOperand(getTtmpClassId(Width),
825 Val - SDWA9EncValues::SRC_TTMP_MIN);
826 }
Sam Kolton549c89d2017-06-21 08:53:38 +0000827
Dmitry Preobrazhensky6b65f7c2018-01-17 14:00:48 +0000828 const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN;
829
830 if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX)
831 return decodeIntImmed(SVal);
832
833 if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX)
834 return decodeFPImmed(Width, SVal);
835
836 return decodeSpecialReg32(SVal);
Sam Kolton549c89d2017-06-21 08:53:38 +0000837 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
838 return createRegOperand(getVgprClassId(Width), Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000839 }
Sam Kolton549c89d2017-06-21 08:53:38 +0000840 llvm_unreachable("unsupported target");
Sam Kolton363f47a2017-05-26 15:52:00 +0000841}
842
Sam Kolton549c89d2017-06-21 08:53:38 +0000843MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const {
844 return decodeSDWASrc(OPW16, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000845}
846
Sam Kolton549c89d2017-06-21 08:53:38 +0000847MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const {
848 return decodeSDWASrc(OPW32, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000849}
850
Sam Kolton549c89d2017-06-21 08:53:38 +0000851MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000852 using namespace AMDGPU::SDWA;
853
Sam Kolton549c89d2017-06-21 08:53:38 +0000854 assert(STI.getFeatureBits()[AMDGPU::FeatureGFX9] &&
855 "SDWAVopcDst should be present only on GFX9");
Sam Kolton363f47a2017-05-26 15:52:00 +0000856 if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
857 Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000858
859 int TTmpIdx = getTTmpIdx(Val);
860 if (TTmpIdx >= 0) {
861 return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx);
862 } else if (Val > AMDGPU::EncValues::SGPR_MAX) {
Sam Kolton363f47a2017-05-26 15:52:00 +0000863 return decodeSpecialReg64(Val);
864 } else {
865 return createSRegOperand(getSgprClassId(OPW64), Val);
866 }
867 } else {
868 return createRegOperand(AMDGPU::VCC);
869 }
870}
871
Dmitry Preobrazhenskyac2b0262017-12-11 15:23:20 +0000872bool AMDGPUDisassembler::isVI() const {
873 return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
874}
875
876bool AMDGPUDisassembler::isGFX9() const {
877 return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
878}
879
Sam Kolton3381d7a2016-10-06 13:46:08 +0000880//===----------------------------------------------------------------------===//
881// AMDGPUSymbolizer
882//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000883
Sam Kolton3381d7a2016-10-06 13:46:08 +0000884// Try to find symbol name for specified label
885bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
886 raw_ostream &/*cStream*/, int64_t Value,
887 uint64_t /*Address*/, bool IsBranch,
888 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000889 using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>;
890 using SectionSymbolsTy = std::vector<SymbolInfoTy>;
Sam Kolton3381d7a2016-10-06 13:46:08 +0000891
892 if (!IsBranch) {
893 return false;
894 }
895
896 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
Nicolai Haehnleb1c3b222018-04-10 15:46:43 +0000897 if (!Symbols)
898 return false;
899
Sam Kolton3381d7a2016-10-06 13:46:08 +0000900 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
901 [Value](const SymbolInfoTy& Val) {
902 return std::get<0>(Val) == static_cast<uint64_t>(Value)
903 && std::get<2>(Val) == ELF::STT_NOTYPE;
904 });
905 if (Result != Symbols->end()) {
906 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
907 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
908 Inst.addOperand(MCOperand::createExpr(Add));
909 return true;
910 }
911 return false;
912}
913
Matt Arsenault92b355b2016-11-15 19:34:37 +0000914void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
915 int64_t Value,
916 uint64_t Address) {
917 llvm_unreachable("unimplemented");
918}
919
Sam Kolton3381d7a2016-10-06 13:46:08 +0000920//===----------------------------------------------------------------------===//
921// Initialization
922//===----------------------------------------------------------------------===//
923
924static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
925 LLVMOpInfoCallback /*GetOpInfo*/,
926 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000927 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000928 MCContext *Ctx,
929 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
930 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
931}
932
Tom Stellarde1818af2016-02-18 03:42:32 +0000933static MCDisassembler *createAMDGPUDisassembler(const Target &T,
934 const MCSubtargetInfo &STI,
935 MCContext &Ctx) {
Matt Arsenaultcad7fa82017-12-13 21:07:51 +0000936 return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo());
Tom Stellarde1818af2016-02-18 03:42:32 +0000937}
938
939extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000940 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
941 createAMDGPUDisassembler);
942 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
943 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000944}