blob: 137b5cca96ce811f249d9c3b7be2ad6d83ff49a0 [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"
Matt Arsenault678e1112017-04-10 17:58:06 +000025#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000026
Nikolay Haustovac106ad2016-03-01 13:57:29 +000027#include "llvm/MC/MCContext.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000028#include "llvm/MC/MCFixedLenDisassembler.h"
29#include "llvm/MC/MCInst.h"
30#include "llvm/MC/MCInstrDesc.h"
31#include "llvm/MC/MCSubtargetInfo.h"
Sam Kolton3381d7a2016-10-06 13:46:08 +000032#include "llvm/Support/ELF.h"
Nikolay Haustovac106ad2016-03-01 13:57:29 +000033#include "llvm/Support/Endian.h"
Tom Stellarde1818af2016-02-18 03:42:32 +000034#include "llvm/Support/Debug.h"
35#include "llvm/Support/TargetRegistry.h"
36
37
38using namespace llvm;
39
40#define DEBUG_TYPE "amdgpu-disassembler"
41
42typedef llvm::MCDisassembler::DecodeStatus DecodeStatus;
43
44
Nikolay Haustovac106ad2016-03-01 13:57:29 +000045inline static MCDisassembler::DecodeStatus
46addOperand(MCInst &Inst, const MCOperand& Opnd) {
47 Inst.addOperand(Opnd);
48 return Opnd.isValid() ?
49 MCDisassembler::Success :
50 MCDisassembler::SoftFail;
Tom Stellarde1818af2016-02-18 03:42:32 +000051}
52
Sam Kolton3381d7a2016-10-06 13:46:08 +000053static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
54 uint64_t Addr, const void *Decoder) {
55 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
56
57 APInt SignedOffset(18, Imm * 4, true);
58 int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
59
60 if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
61 return MCDisassembler::Success;
Matt Arsenaultf3dd8632016-11-01 00:55:14 +000062 return addOperand(Inst, MCOperand::createImm(Imm));
Sam Kolton3381d7a2016-10-06 13:46:08 +000063}
64
Nikolay Haustovac106ad2016-03-01 13:57:29 +000065#define DECODE_OPERAND2(RegClass, DecName) \
66static DecodeStatus Decode##RegClass##RegisterClass(MCInst &Inst, \
67 unsigned Imm, \
68 uint64_t /*Addr*/, \
69 const void *Decoder) { \
70 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
71 return addOperand(Inst, DAsm->decodeOperand_##DecName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +000072}
73
Nikolay Haustovac106ad2016-03-01 13:57:29 +000074#define DECODE_OPERAND(RegClass) DECODE_OPERAND2(RegClass, RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +000075
Nikolay Haustovac106ad2016-03-01 13:57:29 +000076DECODE_OPERAND(VGPR_32)
77DECODE_OPERAND(VS_32)
78DECODE_OPERAND(VS_64)
Nikolay Haustov161a1582016-02-25 16:09:14 +000079
Nikolay Haustovac106ad2016-03-01 13:57:29 +000080DECODE_OPERAND(VReg_64)
81DECODE_OPERAND(VReg_96)
82DECODE_OPERAND(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +000083
Nikolay Haustovac106ad2016-03-01 13:57:29 +000084DECODE_OPERAND(SReg_32)
Matt Arsenault640c44b2016-11-29 19:39:53 +000085DECODE_OPERAND(SReg_32_XM0_XEXEC)
Nikolay Haustovac106ad2016-03-01 13:57:29 +000086DECODE_OPERAND(SReg_64)
Matt Arsenault640c44b2016-11-29 19:39:53 +000087DECODE_OPERAND(SReg_64_XEXEC)
Nikolay Haustovac106ad2016-03-01 13:57:29 +000088DECODE_OPERAND(SReg_128)
89DECODE_OPERAND(SReg_256)
Valery Pykhtina4db2242016-03-10 13:06:08 +000090DECODE_OPERAND(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +000091
Matt Arsenault4bd72362016-12-10 00:39:12 +000092
93static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
94 unsigned Imm,
95 uint64_t Addr,
96 const void *Decoder) {
97 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
98 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
99}
100
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000101static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
102 unsigned Imm,
103 uint64_t Addr,
104 const void *Decoder) {
105 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
106 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
107}
108
Tom Stellarde1818af2016-02-18 03:42:32 +0000109#include "AMDGPUGenDisassemblerTables.inc"
110
111//===----------------------------------------------------------------------===//
112//
113//===----------------------------------------------------------------------===//
114
Sam Kolton1048fb12016-03-31 14:15:04 +0000115template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
116 assert(Bytes.size() >= sizeof(T));
117 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
118 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000119 return Res;
120}
121
122DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
123 MCInst &MI,
124 uint64_t Inst,
125 uint64_t Address) const {
126 assert(MI.getOpcode() == 0);
127 assert(MI.getNumOperands() == 0);
128 MCInst TmpInst;
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000129 HasLiteral = false;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000130 const auto SavedBytes = Bytes;
131 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
132 MI = TmpInst;
133 return MCDisassembler::Success;
134 }
135 Bytes = SavedBytes;
136 return MCDisassembler::Fail;
137}
138
Tom Stellarde1818af2016-02-18 03:42:32 +0000139DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000140 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000141 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000142 raw_ostream &WS,
143 raw_ostream &CS) const {
144 CommentStream = &CS;
145
146 // ToDo: AMDGPUDisassembler supports only VI ISA.
Matt Arsenaultd122abe2017-02-15 21:50:34 +0000147 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
148 report_fatal_error("Disassembly not yet supported for subtarget");
Tom Stellarde1818af2016-02-18 03:42:32 +0000149
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000150 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
151 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000152
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000153 DecodeStatus Res = MCDisassembler::Fail;
154 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000155 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000156 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000157
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000158 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
159 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000160 if (Bytes.size() >= 8) {
161 const uint64_t QW = eatBytes<uint64_t>(Bytes);
162 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
163 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000164
165 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
166 if (Res) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000167 }
168
169 // Reinitialize Bytes as DPP64 could have eaten too much
170 Bytes = Bytes_.slice(0, MaxInstBytesNum);
171
172 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000173 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000174 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000175 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
176 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000177
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000178 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
179 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000180
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000181 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000182 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000183 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
184 if (Res) break;
185
186 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
187 } while (false);
188
Matt Arsenault678e1112017-04-10 17:58:06 +0000189 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
190 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
191 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi)) {
192 // Insert dummy unused src2_modifiers.
193 int Src2ModIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
194 AMDGPU::OpName::src2_modifiers);
195 auto I = MI.begin();
196 std::advance(I, Src2ModIdx);
197 MI.insert(I, MCOperand::createImm(0));
198 }
199
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000200 Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
201 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000202}
203
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000204const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
205 return getContext().getRegisterInfo()->
206 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000207}
208
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000209inline
210MCOperand AMDGPUDisassembler::errOperand(unsigned V,
211 const Twine& ErrMsg) const {
212 *CommentStream << "Error: " + ErrMsg;
213
214 // ToDo: add support for error operands to MCInst.h
215 // return MCOperand::createError(V);
216 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000217}
218
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000219inline
220MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
221 return MCOperand::createReg(RegId);
Tom Stellarde1818af2016-02-18 03:42:32 +0000222}
223
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000224inline
225MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
226 unsigned Val) const {
227 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
228 if (Val >= RegCl.getNumRegs())
229 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
230 ": unknown register " + Twine(Val));
231 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000232}
233
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000234inline
235MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
236 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000237 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000238 // Valery: here we accepting as much as we can, let assembler sort it out
239 int shift = 0;
240 switch (SRegClassID) {
241 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000242 case AMDGPU::TTMP_32RegClassID:
243 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000244 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000245 case AMDGPU::TTMP_64RegClassID:
246 shift = 1;
247 break;
248 case AMDGPU::SGPR_128RegClassID:
249 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000250 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
251 // this bundle?
252 case AMDGPU::SReg_256RegClassID:
253 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
254 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000255 case AMDGPU::SReg_512RegClassID:
256 shift = 2;
257 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000258 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
259 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000260 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000261 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000262 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000263
264 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000265 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
266 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000267 }
268
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000269 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000270}
271
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000272MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000273 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000274}
275
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000276MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000277 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000278}
279
Matt Arsenault4bd72362016-12-10 00:39:12 +0000280MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
281 return decodeSrcOp(OPW16, Val);
282}
283
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000284MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
285 return decodeSrcOp(OPWV216, Val);
286}
287
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000288MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000289 // Some instructions have operand restrictions beyond what the encoding
290 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
291 // high bit.
292 Val &= 255;
293
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000294 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
295}
296
297MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
298 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
299}
300
301MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
302 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
303}
304
305MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
306 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
307}
308
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000309MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
310 // table-gen generated disassembler doesn't care about operand types
311 // leaving only registry class so SSrc_32 operand turns into SReg_32
312 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000313 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000314}
315
Matt Arsenault640c44b2016-11-29 19:39:53 +0000316MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
317 unsigned Val) const {
318 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000319 return decodeOperand_SReg_32(Val);
320}
321
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000322MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000323 return decodeSrcOp(OPW64, Val);
324}
325
326MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000327 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000328}
329
330MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000331 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000332}
333
334MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
335 return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
336}
337
338MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
339 return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
340}
341
342
343MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000344 // For now all literal constants are supposed to be unsigned integer
345 // ToDo: deal with signed/unsigned 64-bit integer constants
346 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000347 if (!HasLiteral) {
348 if (Bytes.size() < 4) {
349 return errOperand(0, "cannot read literal, inst bytes left " +
350 Twine(Bytes.size()));
351 }
352 HasLiteral = true;
353 Literal = eatBytes<uint32_t>(Bytes);
354 }
355 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000356}
357
358MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000359 using namespace AMDGPU::EncValues;
360 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
361 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
362 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
363 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
364 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000365}
366
Matt Arsenault4bd72362016-12-10 00:39:12 +0000367static int64_t getInlineImmVal32(unsigned Imm) {
368 switch (Imm) {
369 case 240:
370 return FloatToBits(0.5f);
371 case 241:
372 return FloatToBits(-0.5f);
373 case 242:
374 return FloatToBits(1.0f);
375 case 243:
376 return FloatToBits(-1.0f);
377 case 244:
378 return FloatToBits(2.0f);
379 case 245:
380 return FloatToBits(-2.0f);
381 case 246:
382 return FloatToBits(4.0f);
383 case 247:
384 return FloatToBits(-4.0f);
385 case 248: // 1 / (2 * PI)
386 return 0x3e22f983;
387 default:
388 llvm_unreachable("invalid fp inline imm");
389 }
390}
391
392static int64_t getInlineImmVal64(unsigned Imm) {
393 switch (Imm) {
394 case 240:
395 return DoubleToBits(0.5);
396 case 241:
397 return DoubleToBits(-0.5);
398 case 242:
399 return DoubleToBits(1.0);
400 case 243:
401 return DoubleToBits(-1.0);
402 case 244:
403 return DoubleToBits(2.0);
404 case 245:
405 return DoubleToBits(-2.0);
406 case 246:
407 return DoubleToBits(4.0);
408 case 247:
409 return DoubleToBits(-4.0);
410 case 248: // 1 / (2 * PI)
411 return 0x3fc45f306dc9c882;
412 default:
413 llvm_unreachable("invalid fp inline imm");
414 }
415}
416
417static int64_t getInlineImmVal16(unsigned Imm) {
418 switch (Imm) {
419 case 240:
420 return 0x3800;
421 case 241:
422 return 0xB800;
423 case 242:
424 return 0x3C00;
425 case 243:
426 return 0xBC00;
427 case 244:
428 return 0x4000;
429 case 245:
430 return 0xC000;
431 case 246:
432 return 0x4400;
433 case 247:
434 return 0xC400;
435 case 248: // 1 / (2 * PI)
436 return 0x3118;
437 default:
438 llvm_unreachable("invalid fp inline imm");
439 }
440}
441
442MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000443 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
444 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000445
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000446 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000447 switch (Width) {
448 case OPW32:
449 return MCOperand::createImm(getInlineImmVal32(Imm));
450 case OPW64:
451 return MCOperand::createImm(getInlineImmVal64(Imm));
452 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000453 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000454 return MCOperand::createImm(getInlineImmVal16(Imm));
455 default:
456 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000457 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000458}
459
Artem Tamazov212a2512016-05-24 12:05:16 +0000460unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000461 using namespace AMDGPU;
Artem Tamazov212a2512016-05-24 12:05:16 +0000462 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
463 switch (Width) {
464 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000465 case OPW32:
466 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000467 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000468 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000469 case OPW64: return VReg_64RegClassID;
470 case OPW128: return VReg_128RegClassID;
471 }
472}
473
474unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
475 using namespace AMDGPU;
476 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
477 switch (Width) {
478 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000479 case OPW32:
480 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000481 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000482 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000483 case OPW64: return SGPR_64RegClassID;
484 case OPW128: return SGPR_128RegClassID;
485 }
486}
487
488unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
489 using namespace AMDGPU;
490 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
491 switch (Width) {
492 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000493 case OPW32:
494 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000495 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000496 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000497 case OPW64: return TTMP_64RegClassID;
498 case OPW128: return TTMP_128RegClassID;
499 }
500}
501
502MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
503 using namespace AMDGPU::EncValues;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000504 assert(Val < 512); // enum9
505
Artem Tamazov212a2512016-05-24 12:05:16 +0000506 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
507 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
508 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000509 if (Val <= SGPR_MAX) {
510 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000511 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
512 }
513 if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
514 return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
515 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000516
Matt Arsenault4bd72362016-12-10 00:39:12 +0000517 assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
Artem Tamazov212a2512016-05-24 12:05:16 +0000518
519 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000520 return decodeIntImmed(Val);
521
Artem Tamazov212a2512016-05-24 12:05:16 +0000522 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000523 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000524
Artem Tamazov212a2512016-05-24 12:05:16 +0000525 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000526 return decodeLiteralConstant();
527
Matt Arsenault4bd72362016-12-10 00:39:12 +0000528 switch (Width) {
529 case OPW32:
530 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000531 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000532 return decodeSpecialReg32(Val);
533 case OPW64:
534 return decodeSpecialReg64(Val);
535 default:
536 llvm_unreachable("unexpected immediate type");
537 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000538}
539
540MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
541 using namespace AMDGPU;
542 switch (Val) {
543 case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
544 case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
545 // ToDo: no support for xnack_mask_lo/_hi register
546 case 104:
547 case 105: break;
548 case 106: return createRegOperand(VCC_LO);
549 case 107: return createRegOperand(VCC_HI);
Artem Tamazov212a2512016-05-24 12:05:16 +0000550 case 108: return createRegOperand(TBA_LO);
551 case 109: return createRegOperand(TBA_HI);
552 case 110: return createRegOperand(TMA_LO);
553 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000554 case 124: return createRegOperand(M0);
555 case 126: return createRegOperand(EXEC_LO);
556 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000557 case 235: return createRegOperand(SRC_SHARED_BASE);
558 case 236: return createRegOperand(SRC_SHARED_LIMIT);
559 case 237: return createRegOperand(SRC_PRIVATE_BASE);
560 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
561 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000562 // ToDo: no support for vccz register
563 case 251: break;
564 // ToDo: no support for execz register
565 case 252: break;
566 case 253: return createRegOperand(SCC);
567 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000568 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000569 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000570}
571
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000572MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
573 using namespace AMDGPU;
574 switch (Val) {
575 case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
576 case 106: return createRegOperand(VCC);
Artem Tamazov212a2512016-05-24 12:05:16 +0000577 case 108: return createRegOperand(TBA);
578 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000579 case 126: return createRegOperand(EXEC);
580 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000581 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000582 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000583}
584
Sam Kolton3381d7a2016-10-06 13:46:08 +0000585//===----------------------------------------------------------------------===//
586// AMDGPUSymbolizer
587//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000588
Sam Kolton3381d7a2016-10-06 13:46:08 +0000589// Try to find symbol name for specified label
590bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
591 raw_ostream &/*cStream*/, int64_t Value,
592 uint64_t /*Address*/, bool IsBranch,
593 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
594 typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
595 typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
596
597 if (!IsBranch) {
598 return false;
599 }
600
601 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
602 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
603 [Value](const SymbolInfoTy& Val) {
604 return std::get<0>(Val) == static_cast<uint64_t>(Value)
605 && std::get<2>(Val) == ELF::STT_NOTYPE;
606 });
607 if (Result != Symbols->end()) {
608 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
609 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
610 Inst.addOperand(MCOperand::createExpr(Add));
611 return true;
612 }
613 return false;
614}
615
Matt Arsenault92b355b2016-11-15 19:34:37 +0000616void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
617 int64_t Value,
618 uint64_t Address) {
619 llvm_unreachable("unimplemented");
620}
621
Sam Kolton3381d7a2016-10-06 13:46:08 +0000622//===----------------------------------------------------------------------===//
623// Initialization
624//===----------------------------------------------------------------------===//
625
626static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
627 LLVMOpInfoCallback /*GetOpInfo*/,
628 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000629 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000630 MCContext *Ctx,
631 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
632 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
633}
634
Tom Stellarde1818af2016-02-18 03:42:32 +0000635static MCDisassembler *createAMDGPUDisassembler(const Target &T,
636 const MCSubtargetInfo &STI,
637 MCContext &Ctx) {
638 return new AMDGPUDisassembler(STI, Ctx);
639}
640
641extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000642 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
643 createAMDGPUDisassembler);
644 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
645 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000646}