blob: 9f399c386482c520e8cd46b47ca78bc4be4b8ab3 [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; }
Sam Kolton1048fb12016-03-31 14:15:04 +0000201 }
202
203 // Reinitialize Bytes as DPP64 could have eaten too much
204 Bytes = Bytes_.slice(0, MaxInstBytesNum);
205
206 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000207 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000208 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000209 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
210 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000211
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000212 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
213 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000214
Dmitry Preobrazhenskya0342dc2017-11-20 18:24:21 +0000215 Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address);
216 if (Res) break;
217
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000218 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000219 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000220 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
221 if (Res) break;
222
223 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
Dmitry Preobrazhensky1e325502017-08-09 17:10:47 +0000224 if (Res) break;
225
226 Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000227 } while (false);
228
Matt Arsenault678e1112017-04-10 17:58:06 +0000229 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
230 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
231 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi)) {
232 // Insert dummy unused src2_modifiers.
Sam Kolton549c89d2017-06-21 08:53:38 +0000233 insertNamedMCOperand(MI, MCOperand::createImm(0),
234 AMDGPU::OpName::src2_modifiers);
Matt Arsenault678e1112017-04-10 17:58:06 +0000235 }
236
Sam Kolton549c89d2017-06-21 08:53:38 +0000237 if (Res && IsSDWA)
238 Res = convertSDWAInst(MI);
239
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000240 Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
241 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000242}
243
Sam Kolton549c89d2017-06-21 08:53:38 +0000244DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const {
245 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
246 if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1)
247 // VOPC - insert clamp
248 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp);
249 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
250 int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst);
251 if (SDst != -1) {
252 // VOPC - insert VCC register as sdst
253 insertNamedMCOperand(MI, MCOperand::createReg(AMDGPU::VCC),
254 AMDGPU::OpName::sdst);
255 } else {
256 // VOP1/2 - insert omod if present in instruction
257 insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod);
258 }
259 }
260 return MCDisassembler::Success;
261}
262
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000263const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
264 return getContext().getRegisterInfo()->
265 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000266}
267
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000268inline
269MCOperand AMDGPUDisassembler::errOperand(unsigned V,
270 const Twine& ErrMsg) const {
271 *CommentStream << "Error: " + ErrMsg;
272
273 // ToDo: add support for error operands to MCInst.h
274 // return MCOperand::createError(V);
275 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000276}
277
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000278inline
279MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
280 return MCOperand::createReg(RegId);
Tom Stellarde1818af2016-02-18 03:42:32 +0000281}
282
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000283inline
284MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
285 unsigned Val) const {
286 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
287 if (Val >= RegCl.getNumRegs())
288 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
289 ": unknown register " + Twine(Val));
290 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000291}
292
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000293inline
294MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
295 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000296 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000297 // Valery: here we accepting as much as we can, let assembler sort it out
298 int shift = 0;
299 switch (SRegClassID) {
300 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000301 case AMDGPU::TTMP_32RegClassID:
302 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000303 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000304 case AMDGPU::TTMP_64RegClassID:
305 shift = 1;
306 break;
307 case AMDGPU::SGPR_128RegClassID:
308 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000309 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
310 // this bundle?
311 case AMDGPU::SReg_256RegClassID:
312 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
313 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000314 case AMDGPU::SReg_512RegClassID:
315 shift = 2;
316 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000317 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
318 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000319 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000320 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000321 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000322
323 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000324 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
325 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000326 }
327
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000328 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000329}
330
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000331MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000332 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000333}
334
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000335MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000336 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000337}
338
Dmitry Preobrazhensky30fc5232017-07-18 13:12:48 +0000339MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const {
340 return decodeSrcOp(OPW128, Val);
341}
342
Matt Arsenault4bd72362016-12-10 00:39:12 +0000343MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
344 return decodeSrcOp(OPW16, Val);
345}
346
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000347MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
348 return decodeSrcOp(OPWV216, Val);
349}
350
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000351MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000352 // Some instructions have operand restrictions beyond what the encoding
353 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
354 // high bit.
355 Val &= 255;
356
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000357 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
358}
359
360MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
361 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
362}
363
364MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
365 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
366}
367
368MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
369 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
370}
371
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000372MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
373 // table-gen generated disassembler doesn't care about operand types
374 // leaving only registry class so SSrc_32 operand turns into SReg_32
375 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000376 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000377}
378
Matt Arsenault640c44b2016-11-29 19:39:53 +0000379MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
380 unsigned Val) const {
381 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000382 return decodeOperand_SReg_32(Val);
383}
384
Matt Arsenaultca7b0a12017-07-21 15:36:16 +0000385MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI(
386 unsigned Val) const {
387 // SReg_32_XM0 is SReg_32 without EXEC_HI
388 return decodeOperand_SReg_32(Val);
389}
390
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000391MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000392 return decodeSrcOp(OPW64, Val);
393}
394
395MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000396 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000397}
398
399MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000400 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000401}
402
403MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
404 return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
405}
406
407MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
408 return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
409}
410
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000411MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000412 // For now all literal constants are supposed to be unsigned integer
413 // ToDo: deal with signed/unsigned 64-bit integer constants
414 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000415 if (!HasLiteral) {
416 if (Bytes.size() < 4) {
417 return errOperand(0, "cannot read literal, inst bytes left " +
418 Twine(Bytes.size()));
419 }
420 HasLiteral = true;
421 Literal = eatBytes<uint32_t>(Bytes);
422 }
423 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000424}
425
426MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000427 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000428
Artem Tamazov212a2512016-05-24 12:05:16 +0000429 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
430 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
431 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
432 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
433 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000434}
435
Matt Arsenault4bd72362016-12-10 00:39:12 +0000436static int64_t getInlineImmVal32(unsigned Imm) {
437 switch (Imm) {
438 case 240:
439 return FloatToBits(0.5f);
440 case 241:
441 return FloatToBits(-0.5f);
442 case 242:
443 return FloatToBits(1.0f);
444 case 243:
445 return FloatToBits(-1.0f);
446 case 244:
447 return FloatToBits(2.0f);
448 case 245:
449 return FloatToBits(-2.0f);
450 case 246:
451 return FloatToBits(4.0f);
452 case 247:
453 return FloatToBits(-4.0f);
454 case 248: // 1 / (2 * PI)
455 return 0x3e22f983;
456 default:
457 llvm_unreachable("invalid fp inline imm");
458 }
459}
460
461static int64_t getInlineImmVal64(unsigned Imm) {
462 switch (Imm) {
463 case 240:
464 return DoubleToBits(0.5);
465 case 241:
466 return DoubleToBits(-0.5);
467 case 242:
468 return DoubleToBits(1.0);
469 case 243:
470 return DoubleToBits(-1.0);
471 case 244:
472 return DoubleToBits(2.0);
473 case 245:
474 return DoubleToBits(-2.0);
475 case 246:
476 return DoubleToBits(4.0);
477 case 247:
478 return DoubleToBits(-4.0);
479 case 248: // 1 / (2 * PI)
480 return 0x3fc45f306dc9c882;
481 default:
482 llvm_unreachable("invalid fp inline imm");
483 }
484}
485
486static int64_t getInlineImmVal16(unsigned Imm) {
487 switch (Imm) {
488 case 240:
489 return 0x3800;
490 case 241:
491 return 0xB800;
492 case 242:
493 return 0x3C00;
494 case 243:
495 return 0xBC00;
496 case 244:
497 return 0x4000;
498 case 245:
499 return 0xC000;
500 case 246:
501 return 0x4400;
502 case 247:
503 return 0xC400;
504 case 248: // 1 / (2 * PI)
505 return 0x3118;
506 default:
507 llvm_unreachable("invalid fp inline imm");
508 }
509}
510
511MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000512 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
513 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000514
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000515 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000516 switch (Width) {
517 case OPW32:
518 return MCOperand::createImm(getInlineImmVal32(Imm));
519 case OPW64:
520 return MCOperand::createImm(getInlineImmVal64(Imm));
521 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000522 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000523 return MCOperand::createImm(getInlineImmVal16(Imm));
524 default:
525 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000526 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000527}
528
Artem Tamazov212a2512016-05-24 12:05:16 +0000529unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000530 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000531
Artem Tamazov212a2512016-05-24 12:05:16 +0000532 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
533 switch (Width) {
534 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000535 case OPW32:
536 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000537 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000538 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000539 case OPW64: return VReg_64RegClassID;
540 case OPW128: return VReg_128RegClassID;
541 }
542}
543
544unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
545 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000546
Artem Tamazov212a2512016-05-24 12:05:16 +0000547 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
548 switch (Width) {
549 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000550 case OPW32:
551 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000552 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000553 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000554 case OPW64: return SGPR_64RegClassID;
555 case OPW128: return SGPR_128RegClassID;
556 }
557}
558
559unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
560 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000561
Artem Tamazov212a2512016-05-24 12:05:16 +0000562 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
563 switch (Width) {
564 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000565 case OPW32:
566 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000567 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000568 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000569 case OPW64: return TTMP_64RegClassID;
570 case OPW128: return TTMP_128RegClassID;
571 }
572}
573
574MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
575 using namespace AMDGPU::EncValues;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000576
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000577 assert(Val < 512); // enum9
578
Artem Tamazov212a2512016-05-24 12:05:16 +0000579 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
580 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
581 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000582 if (Val <= SGPR_MAX) {
583 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000584 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
585 }
586 if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
587 return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
588 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000589
Artem Tamazov212a2512016-05-24 12:05:16 +0000590 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000591 return decodeIntImmed(Val);
592
Artem Tamazov212a2512016-05-24 12:05:16 +0000593 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000594 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000595
Artem Tamazov212a2512016-05-24 12:05:16 +0000596 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000597 return decodeLiteralConstant();
598
Matt Arsenault4bd72362016-12-10 00:39:12 +0000599 switch (Width) {
600 case OPW32:
601 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000602 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000603 return decodeSpecialReg32(Val);
604 case OPW64:
605 return decodeSpecialReg64(Val);
606 default:
607 llvm_unreachable("unexpected immediate type");
608 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000609}
610
611MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
612 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000613
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000614 switch (Val) {
615 case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
616 case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
617 // ToDo: no support for xnack_mask_lo/_hi register
618 case 104:
619 case 105: break;
620 case 106: return createRegOperand(VCC_LO);
621 case 107: return createRegOperand(VCC_HI);
Artem Tamazov212a2512016-05-24 12:05:16 +0000622 case 108: return createRegOperand(TBA_LO);
623 case 109: return createRegOperand(TBA_HI);
624 case 110: return createRegOperand(TMA_LO);
625 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000626 case 124: return createRegOperand(M0);
627 case 126: return createRegOperand(EXEC_LO);
628 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000629 case 235: return createRegOperand(SRC_SHARED_BASE);
630 case 236: return createRegOperand(SRC_SHARED_LIMIT);
631 case 237: return createRegOperand(SRC_PRIVATE_BASE);
632 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
633 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000634 // ToDo: no support for vccz register
635 case 251: break;
636 // ToDo: no support for execz register
637 case 252: break;
638 case 253: return createRegOperand(SCC);
639 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000640 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000641 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000642}
643
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000644MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
645 using namespace AMDGPU;
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000646
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000647 switch (Val) {
648 case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
649 case 106: return createRegOperand(VCC);
Artem Tamazov212a2512016-05-24 12:05:16 +0000650 case 108: return createRegOperand(TBA);
651 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000652 case 126: return createRegOperand(EXEC);
653 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000654 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000655 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000656}
657
Sam Kolton549c89d2017-06-21 08:53:38 +0000658MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width,
659 unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000660 using namespace AMDGPU::SDWA;
661
Sam Kolton549c89d2017-06-21 08:53:38 +0000662 if (STI.getFeatureBits()[AMDGPU::FeatureGFX9]) {
Sam Koltona179d252017-06-27 15:02:23 +0000663 // XXX: static_cast<int> is needed to avoid stupid warning:
664 // compare with unsigned is always true
665 if (SDWA9EncValues::SRC_VGPR_MIN <= static_cast<int>(Val) &&
Sam Kolton549c89d2017-06-21 08:53:38 +0000666 Val <= SDWA9EncValues::SRC_VGPR_MAX) {
667 return createRegOperand(getVgprClassId(Width),
668 Val - SDWA9EncValues::SRC_VGPR_MIN);
669 }
670 if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
671 Val <= SDWA9EncValues::SRC_SGPR_MAX) {
672 return createSRegOperand(getSgprClassId(Width),
673 Val - SDWA9EncValues::SRC_SGPR_MIN);
674 }
675
676 return decodeSpecialReg32(Val - SDWA9EncValues::SRC_SGPR_MIN);
677 } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
678 return createRegOperand(getVgprClassId(Width), Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000679 }
Sam Kolton549c89d2017-06-21 08:53:38 +0000680 llvm_unreachable("unsupported target");
Sam Kolton363f47a2017-05-26 15:52:00 +0000681}
682
Sam Kolton549c89d2017-06-21 08:53:38 +0000683MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const {
684 return decodeSDWASrc(OPW16, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000685}
686
Sam Kolton549c89d2017-06-21 08:53:38 +0000687MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const {
688 return decodeSDWASrc(OPW32, Val);
Sam Kolton363f47a2017-05-26 15:52:00 +0000689}
690
Sam Kolton549c89d2017-06-21 08:53:38 +0000691MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const {
Sam Kolton363f47a2017-05-26 15:52:00 +0000692 using namespace AMDGPU::SDWA;
693
Sam Kolton549c89d2017-06-21 08:53:38 +0000694 assert(STI.getFeatureBits()[AMDGPU::FeatureGFX9] &&
695 "SDWAVopcDst should be present only on GFX9");
Sam Kolton363f47a2017-05-26 15:52:00 +0000696 if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
697 Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
698 if (Val > AMDGPU::EncValues::SGPR_MAX) {
699 return decodeSpecialReg64(Val);
700 } else {
701 return createSRegOperand(getSgprClassId(OPW64), Val);
702 }
703 } else {
704 return createRegOperand(AMDGPU::VCC);
705 }
706}
707
Sam Kolton3381d7a2016-10-06 13:46:08 +0000708//===----------------------------------------------------------------------===//
709// AMDGPUSymbolizer
710//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000711
Sam Kolton3381d7a2016-10-06 13:46:08 +0000712// Try to find symbol name for specified label
713bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
714 raw_ostream &/*cStream*/, int64_t Value,
715 uint64_t /*Address*/, bool IsBranch,
716 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
Eugene Zelenkoc8fbf6f2017-08-10 00:46:15 +0000717 using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>;
718 using SectionSymbolsTy = std::vector<SymbolInfoTy>;
Sam Kolton3381d7a2016-10-06 13:46:08 +0000719
720 if (!IsBranch) {
721 return false;
722 }
723
724 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
725 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
726 [Value](const SymbolInfoTy& Val) {
727 return std::get<0>(Val) == static_cast<uint64_t>(Value)
728 && std::get<2>(Val) == ELF::STT_NOTYPE;
729 });
730 if (Result != Symbols->end()) {
731 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
732 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
733 Inst.addOperand(MCOperand::createExpr(Add));
734 return true;
735 }
736 return false;
737}
738
Matt Arsenault92b355b2016-11-15 19:34:37 +0000739void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
740 int64_t Value,
741 uint64_t Address) {
742 llvm_unreachable("unimplemented");
743}
744
Sam Kolton3381d7a2016-10-06 13:46:08 +0000745//===----------------------------------------------------------------------===//
746// Initialization
747//===----------------------------------------------------------------------===//
748
749static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
750 LLVMOpInfoCallback /*GetOpInfo*/,
751 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000752 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000753 MCContext *Ctx,
754 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
755 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
756}
757
Tom Stellarde1818af2016-02-18 03:42:32 +0000758static MCDisassembler *createAMDGPUDisassembler(const Target &T,
759 const MCSubtargetInfo &STI,
760 MCContext &Ctx) {
761 return new AMDGPUDisassembler(STI, Ctx);
762}
763
764extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000765 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
766 createAMDGPUDisassembler);
767 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
768 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000769}