blob: 7db1e24e399a1ffebbc9d6afcb733bc78032488e [file] [log] [blame]
Tom Stellarde1818af2016-02-18 03:42:32 +00001//===-- AMDGPUDisassembler.cpp - Disassembler for AMDGPU ISA --------------===//
2//
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
20#include "AMDGPUDisassembler.h"
21#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"
25
Nikolay Haustovac106ad2016-03-01 13:57:29 +000026#include "llvm/MC/MCContext.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000027#include "llvm/MC/MCFixedLenDisassembler.h"
28#include "llvm/MC/MCInst.h"
29#include "llvm/MC/MCInstrDesc.h"
30#include "llvm/MC/MCSubtargetInfo.h"
Sam Kolton3381d7a2016-10-06 13:46:08 +000031#include "llvm/Support/ELF.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000032#include "llvm/Support/Endian.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000033#include "llvm/Support/Debug.h"
34#include "llvm/Support/TargetRegistry.h"
35
36
37using namespace llvm;
38
39#define DEBUG_TYPE "amdgpu-disassembler"
40
41typedef llvm::MCDisassembler::DecodeStatus DecodeStatus;
42
43
Nikolay Haustovac106ad2016-03-01 13:57:29 +000044inline static MCDisassembler::DecodeStatus
45addOperand(MCInst &Inst, const MCOperand& Opnd) {
46 Inst.addOperand(Opnd);
47 return Opnd.isValid() ?
48 MCDisassembler::Success :
49 MCDisassembler::SoftFail;
Tom Stellarde1818af2016-02-18 03:42:32 +000050}
51
Sam Kolton3381d7a2016-10-06 13:46:08 +000052static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
53 uint64_t Addr, const void *Decoder) {
54 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
55
56 APInt SignedOffset(18, Imm * 4, true);
57 int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
58
59 if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
60 return MCDisassembler::Success;
61 return addOperand(Inst, MCOperand::createImm(Imm));
62}
63
Nikolay Haustovac106ad2016-03-01 13:57:29 +000064#define DECODE_OPERAND2(RegClass, DecName) \
65static DecodeStatus Decode##RegClass##RegisterClass(MCInst &Inst, \
66 unsigned Imm, \
67 uint64_t /*Addr*/, \
68 const void *Decoder) { \
69 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
70 return addOperand(Inst, DAsm->decodeOperand_##DecName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +000071}
72
Nikolay Haustovac106ad2016-03-01 13:57:29 +000073#define DECODE_OPERAND(RegClass) DECODE_OPERAND2(RegClass, RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +000074
Nikolay Haustovac106ad2016-03-01 13:57:29 +000075DECODE_OPERAND(VGPR_32)
76DECODE_OPERAND(VS_32)
77DECODE_OPERAND(VS_64)
Nikolay Haustov161a1582016-02-25 16:09:14 +000078
Nikolay Haustovac106ad2016-03-01 13:57:29 +000079DECODE_OPERAND(VReg_64)
80DECODE_OPERAND(VReg_96)
81DECODE_OPERAND(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +000082
Nikolay Haustovac106ad2016-03-01 13:57:29 +000083DECODE_OPERAND(SReg_32)
Artem Tamazov38e496b2016-04-29 17:04:50 +000084DECODE_OPERAND(SReg_32_XM0)
Nikolay Haustovac106ad2016-03-01 13:57:29 +000085DECODE_OPERAND(SReg_64)
86DECODE_OPERAND(SReg_128)
87DECODE_OPERAND(SReg_256)
Valery Pykhtina4db2242016-03-10 13:06:08 +000088DECODE_OPERAND(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +000089
Tom Stellarde1818af2016-02-18 03:42:32 +000090#define GET_SUBTARGETINFO_ENUM
91#include "AMDGPUGenSubtargetInfo.inc"
92#undef GET_SUBTARGETINFO_ENUM
93
94#include "AMDGPUGenDisassemblerTables.inc"
95
96//===----------------------------------------------------------------------===//
97//
98//===----------------------------------------------------------------------===//
99
Sam Kolton1048fb12016-03-31 14:15:04 +0000100template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
101 assert(Bytes.size() >= sizeof(T));
102 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
103 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000104 return Res;
105}
106
107DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
108 MCInst &MI,
109 uint64_t Inst,
110 uint64_t Address) const {
111 assert(MI.getOpcode() == 0);
112 assert(MI.getNumOperands() == 0);
113 MCInst TmpInst;
114 const auto SavedBytes = Bytes;
115 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
116 MI = TmpInst;
117 return MCDisassembler::Success;
118 }
119 Bytes = SavedBytes;
120 return MCDisassembler::Fail;
121}
122
Tom Stellarde1818af2016-02-18 03:42:32 +0000123DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000124 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000125 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000126 raw_ostream &WS,
127 raw_ostream &CS) const {
128 CommentStream = &CS;
129
130 // ToDo: AMDGPUDisassembler supports only VI ISA.
131 assert(AMDGPU::isVI(STI) && "Can disassemble only VI ISA.");
132
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000133 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
134 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000135
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000136 DecodeStatus Res = MCDisassembler::Fail;
137 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000138 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000139 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000140
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000141 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
142 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000143 if (Bytes.size() >= 8) {
144 const uint64_t QW = eatBytes<uint64_t>(Bytes);
145 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
146 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000147
148 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
149 if (Res) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000150 }
151
152 // Reinitialize Bytes as DPP64 could have eaten too much
153 Bytes = Bytes_.slice(0, MaxInstBytesNum);
154
155 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000156 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000157 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000158 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
159 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000160
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000161 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
162 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000163
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000164 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000165 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000166 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
167 if (Res) break;
168
169 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
170 } while (false);
171
172 Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
173 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000174}
175
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000176const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
177 return getContext().getRegisterInfo()->
178 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000179}
180
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000181inline
182MCOperand AMDGPUDisassembler::errOperand(unsigned V,
183 const Twine& ErrMsg) const {
184 *CommentStream << "Error: " + ErrMsg;
185
186 // ToDo: add support for error operands to MCInst.h
187 // return MCOperand::createError(V);
188 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000189}
190
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000191inline
192MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
193 return MCOperand::createReg(RegId);
Tom Stellarde1818af2016-02-18 03:42:32 +0000194}
195
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000196inline
197MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
198 unsigned Val) const {
199 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
200 if (Val >= RegCl.getNumRegs())
201 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
202 ": unknown register " + Twine(Val));
203 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000204}
205
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000206inline
207MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
208 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000209 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000210 // Valery: here we accepting as much as we can, let assembler sort it out
211 int shift = 0;
212 switch (SRegClassID) {
213 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000214 case AMDGPU::TTMP_32RegClassID:
215 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000216 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000217 case AMDGPU::TTMP_64RegClassID:
218 shift = 1;
219 break;
220 case AMDGPU::SGPR_128RegClassID:
221 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000222 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
223 // this bundle?
224 case AMDGPU::SReg_256RegClassID:
225 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
226 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000227 case AMDGPU::SReg_512RegClassID:
228 shift = 2;
229 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000230 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
231 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000232 default:
233 assert(false);
234 break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000235 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000236 if (Val % (1 << shift))
237 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
238 << ": scalar reg isn't aligned " << Val;
239 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000240}
241
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000242MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000243 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000244}
245
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000246MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000247 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000248}
249
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000250MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000251 // Some instructions have operand restrictions beyond what the encoding
252 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
253 // high bit.
254 Val &= 255;
255
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000256 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
257}
258
259MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
260 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
261}
262
263MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
264 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
265}
266
267MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
268 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
269}
270
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000271MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
272 // table-gen generated disassembler doesn't care about operand types
273 // leaving only registry class so SSrc_32 operand turns into SReg_32
274 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000275 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000276}
277
Artem Tamazov38e496b2016-04-29 17:04:50 +0000278MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0(unsigned Val) const {
279 // SReg_32_XM0 is SReg_32 without M0
280 return decodeOperand_SReg_32(Val);
281}
282
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000283MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
284 // see decodeOperand_SReg_32 comment
Artem Tamazov212a2512016-05-24 12:05:16 +0000285 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000286}
287
288MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000289 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000290}
291
292MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
293 return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
294}
295
296MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
297 return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
298}
299
300
301MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000302 // For now all literal constants are supposed to be unsigned integer
303 // ToDo: deal with signed/unsigned 64-bit integer constants
304 // ToDo: deal with float/double constants
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000305 if (Bytes.size() < 4)
306 return errOperand(0, "cannot read literal, inst bytes left " +
307 Twine(Bytes.size()));
Sam Kolton1048fb12016-03-31 14:15:04 +0000308 return MCOperand::createImm(eatBytes<uint32_t>(Bytes));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000309}
310
311MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000312 using namespace AMDGPU::EncValues;
313 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
314 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
315 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
316 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
317 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000318}
319
320MCOperand AMDGPUDisassembler::decodeFPImmed(bool Is32, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000321 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
322 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000323 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
324 // ToDo: AMDGPUInstPrinter does not support 1/(2*PI). It consider 1/(2*PI) as
325 // literal constant.
326 float V = 0.0f;
327 switch (Imm) {
328 case 240: V = 0.5f; break;
329 case 241: V = -0.5f; break;
330 case 242: V = 1.0f; break;
331 case 243: V = -1.0f; break;
332 case 244: V = 2.0f; break;
333 case 245: V = -2.0f; break;
334 case 246: V = 4.0f; break;
335 case 247: V = -4.0f; break;
336 case 248: return MCOperand::createImm(Is32 ? // 1/(2*PI)
337 0x3e22f983 :
338 0x3fc45f306dc9c882);
339 default: break;
Nikolay Haustov161a1582016-02-25 16:09:14 +0000340 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000341 return MCOperand::createImm(Is32? FloatToBits(V) : DoubleToBits(V));
Nikolay Haustov161a1582016-02-25 16:09:14 +0000342}
343
Artem Tamazov212a2512016-05-24 12:05:16 +0000344unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000345 using namespace AMDGPU;
Artem Tamazov212a2512016-05-24 12:05:16 +0000346 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
347 switch (Width) {
348 default: // fall
349 case OPW32: return VGPR_32RegClassID;
350 case OPW64: return VReg_64RegClassID;
351 case OPW128: return VReg_128RegClassID;
352 }
353}
354
355unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
356 using namespace AMDGPU;
357 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
358 switch (Width) {
359 default: // fall
360 case OPW32: return SGPR_32RegClassID;
361 case OPW64: return SGPR_64RegClassID;
362 case OPW128: return SGPR_128RegClassID;
363 }
364}
365
366unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
367 using namespace AMDGPU;
368 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
369 switch (Width) {
370 default: // fall
371 case OPW32: return TTMP_32RegClassID;
372 case OPW64: return TTMP_64RegClassID;
373 case OPW128: return TTMP_128RegClassID;
374 }
375}
376
377MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
378 using namespace AMDGPU::EncValues;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000379 assert(Val < 512); // enum9
380
Artem Tamazov212a2512016-05-24 12:05:16 +0000381 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
382 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
383 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000384 if (Val <= SGPR_MAX) {
385 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000386 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
387 }
388 if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
389 return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
390 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000391
Artem Tamazov212a2512016-05-24 12:05:16 +0000392 assert(Width == OPW32 || Width == OPW64);
393 const bool Is32 = (Width == OPW32);
394
395 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000396 return decodeIntImmed(Val);
397
Artem Tamazov212a2512016-05-24 12:05:16 +0000398 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000399 return decodeFPImmed(Is32, Val);
400
Artem Tamazov212a2512016-05-24 12:05:16 +0000401 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000402 return decodeLiteralConstant();
403
404 return Is32 ? decodeSpecialReg32(Val) : decodeSpecialReg64(Val);
405}
406
407MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
408 using namespace AMDGPU;
409 switch (Val) {
410 case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
411 case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
412 // ToDo: no support for xnack_mask_lo/_hi register
413 case 104:
414 case 105: break;
415 case 106: return createRegOperand(VCC_LO);
416 case 107: return createRegOperand(VCC_HI);
Artem Tamazov212a2512016-05-24 12:05:16 +0000417 case 108: return createRegOperand(TBA_LO);
418 case 109: return createRegOperand(TBA_HI);
419 case 110: return createRegOperand(TMA_LO);
420 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000421 case 124: return createRegOperand(M0);
422 case 126: return createRegOperand(EXEC_LO);
423 case 127: return createRegOperand(EXEC_HI);
424 // ToDo: no support for vccz register
425 case 251: break;
426 // ToDo: no support for execz register
427 case 252: break;
428 case 253: return createRegOperand(SCC);
429 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000430 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000431 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000432}
433
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000434MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
435 using namespace AMDGPU;
436 switch (Val) {
437 case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
438 case 106: return createRegOperand(VCC);
Artem Tamazov212a2512016-05-24 12:05:16 +0000439 case 108: return createRegOperand(TBA);
440 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000441 case 126: return createRegOperand(EXEC);
442 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000443 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000444 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000445}
446
Sam Kolton3381d7a2016-10-06 13:46:08 +0000447//===----------------------------------------------------------------------===//
448// AMDGPUSymbolizer
449//===----------------------------------------------------------------------===//
450
451// Try to find symbol name for specified label
452bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
453 raw_ostream &/*cStream*/, int64_t Value,
454 uint64_t /*Address*/, bool IsBranch,
455 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
456 typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
457 typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
458
459 if (!IsBranch) {
460 return false;
461 }
462
463 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
464 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
465 [Value](const SymbolInfoTy& Val) {
466 return std::get<0>(Val) == static_cast<uint64_t>(Value)
467 && std::get<2>(Val) == ELF::STT_NOTYPE;
468 });
469 if (Result != Symbols->end()) {
470 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
471 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
472 Inst.addOperand(MCOperand::createExpr(Add));
473 return true;
474 }
475 return false;
476}
477
478//===----------------------------------------------------------------------===//
479// Initialization
480//===----------------------------------------------------------------------===//
481
482static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
483 LLVMOpInfoCallback /*GetOpInfo*/,
484 LLVMSymbolLookupCallback /*SymbolLookUp*/,
485 void *DisInfo,
486 MCContext *Ctx,
487 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
488 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
489}
490
Tom Stellarde1818af2016-02-18 03:42:32 +0000491static MCDisassembler *createAMDGPUDisassembler(const Target &T,
492 const MCSubtargetInfo &STI,
493 MCContext &Ctx) {
494 return new AMDGPUDisassembler(STI, Ctx);
495}
496
497extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000498 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
499 createAMDGPUDisassembler);
500 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
501 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000502}