blob: 9b3cde7c4df60be3e337906140fd1354f85bd892 [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
Sam Kolton363f47a2017-05-26 15:52:00 +000065#define DECODE_OPERAND(StaticDecoderName, DecoderName) \
66static DecodeStatus StaticDecoderName(MCInst &Inst, \
67 unsigned Imm, \
68 uint64_t /*Addr*/, \
69 const void *Decoder) { \
Nikolay Haustovac106ad2016-03-01 13:57:29 +000070 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
Sam Kolton363f47a2017-05-26 15:52:00 +000071 return addOperand(Inst, DAsm->DecoderName(Imm)); \
Tom Stellarde1818af2016-02-18 03:42:32 +000072}
73
Sam Kolton363f47a2017-05-26 15:52:00 +000074#define DECODE_OPERAND_REG(RegClass) \
75DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass)
Tom Stellarde1818af2016-02-18 03:42:32 +000076
Sam Kolton363f47a2017-05-26 15:52:00 +000077DECODE_OPERAND_REG(VGPR_32)
78DECODE_OPERAND_REG(VS_32)
79DECODE_OPERAND_REG(VS_64)
Nikolay Haustov161a1582016-02-25 16:09:14 +000080
Sam Kolton363f47a2017-05-26 15:52:00 +000081DECODE_OPERAND_REG(VReg_64)
82DECODE_OPERAND_REG(VReg_96)
83DECODE_OPERAND_REG(VReg_128)
Tom Stellarde1818af2016-02-18 03:42:32 +000084
Sam Kolton363f47a2017-05-26 15:52:00 +000085DECODE_OPERAND_REG(SReg_32)
86DECODE_OPERAND_REG(SReg_32_XM0_XEXEC)
87DECODE_OPERAND_REG(SReg_64)
88DECODE_OPERAND_REG(SReg_64_XEXEC)
89DECODE_OPERAND_REG(SReg_128)
90DECODE_OPERAND_REG(SReg_256)
91DECODE_OPERAND_REG(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +000092
Matt Arsenault4bd72362016-12-10 00:39:12 +000093
94static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
95 unsigned Imm,
96 uint64_t Addr,
97 const void *Decoder) {
98 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
99 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
100}
101
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000102static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
103 unsigned Imm,
104 uint64_t Addr,
105 const void *Decoder) {
106 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
107 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
108}
109
Sam Kolton363f47a2017-05-26 15:52:00 +0000110#define DECODE_SDWA9(DecName) \
111DECODE_OPERAND(decodeSDWA9##DecName, decodeSDWA9##DecName)
112
113DECODE_SDWA9(Src32)
114DECODE_SDWA9(Src16)
115DECODE_SDWA9(VopcDst)
116
Tom Stellarde1818af2016-02-18 03:42:32 +0000117#include "AMDGPUGenDisassemblerTables.inc"
118
119//===----------------------------------------------------------------------===//
120//
121//===----------------------------------------------------------------------===//
122
Sam Kolton1048fb12016-03-31 14:15:04 +0000123template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
124 assert(Bytes.size() >= sizeof(T));
125 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
126 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000127 return Res;
128}
129
130DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
131 MCInst &MI,
132 uint64_t Inst,
133 uint64_t Address) const {
134 assert(MI.getOpcode() == 0);
135 assert(MI.getNumOperands() == 0);
136 MCInst TmpInst;
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000137 HasLiteral = false;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000138 const auto SavedBytes = Bytes;
139 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
140 MI = TmpInst;
141 return MCDisassembler::Success;
142 }
143 Bytes = SavedBytes;
144 return MCDisassembler::Fail;
145}
146
Tom Stellarde1818af2016-02-18 03:42:32 +0000147DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000148 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000149 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000150 raw_ostream &WS,
151 raw_ostream &CS) const {
152 CommentStream = &CS;
153
154 // ToDo: AMDGPUDisassembler supports only VI ISA.
Matt Arsenaultd122abe2017-02-15 21:50:34 +0000155 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
156 report_fatal_error("Disassembly not yet supported for subtarget");
Tom Stellarde1818af2016-02-18 03:42:32 +0000157
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000158 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
159 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000160
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000161 DecodeStatus Res = MCDisassembler::Fail;
162 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000163 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000164 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000165
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000166 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
167 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000168 if (Bytes.size() >= 8) {
169 const uint64_t QW = eatBytes<uint64_t>(Bytes);
170 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
171 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000172
173 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
174 if (Res) break;
Sam Kolton363f47a2017-05-26 15:52:00 +0000175
176 Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address);
177 if (Res) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000178 }
179
180 // Reinitialize Bytes as DPP64 could have eaten too much
181 Bytes = Bytes_.slice(0, MaxInstBytesNum);
182
183 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000184 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000185 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000186 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
187 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000188
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000189 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
190 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000191
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000192 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000193 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000194 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
195 if (Res) break;
196
197 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
198 } while (false);
199
Matt Arsenault678e1112017-04-10 17:58:06 +0000200 if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
201 MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
202 MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi)) {
203 // Insert dummy unused src2_modifiers.
204 int Src2ModIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
205 AMDGPU::OpName::src2_modifiers);
206 auto I = MI.begin();
207 std::advance(I, Src2ModIdx);
208 MI.insert(I, MCOperand::createImm(0));
209 }
210
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000211 Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
212 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000213}
214
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000215const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
216 return getContext().getRegisterInfo()->
217 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000218}
219
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000220inline
221MCOperand AMDGPUDisassembler::errOperand(unsigned V,
222 const Twine& ErrMsg) const {
223 *CommentStream << "Error: " + ErrMsg;
224
225 // ToDo: add support for error operands to MCInst.h
226 // return MCOperand::createError(V);
227 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000228}
229
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000230inline
231MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
232 return MCOperand::createReg(RegId);
Tom Stellarde1818af2016-02-18 03:42:32 +0000233}
234
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000235inline
236MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
237 unsigned Val) const {
238 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
239 if (Val >= RegCl.getNumRegs())
240 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
241 ": unknown register " + Twine(Val));
242 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000243}
244
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000245inline
246MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
247 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000248 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000249 // Valery: here we accepting as much as we can, let assembler sort it out
250 int shift = 0;
251 switch (SRegClassID) {
252 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000253 case AMDGPU::TTMP_32RegClassID:
254 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000255 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000256 case AMDGPU::TTMP_64RegClassID:
257 shift = 1;
258 break;
259 case AMDGPU::SGPR_128RegClassID:
260 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000261 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
262 // this bundle?
263 case AMDGPU::SReg_256RegClassID:
264 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
265 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000266 case AMDGPU::SReg_512RegClassID:
267 shift = 2;
268 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000269 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
270 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000271 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000272 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000273 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000274
275 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000276 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
277 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000278 }
279
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000280 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000281}
282
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000283MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000284 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000285}
286
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000287MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000288 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000289}
290
Matt Arsenault4bd72362016-12-10 00:39:12 +0000291MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
292 return decodeSrcOp(OPW16, Val);
293}
294
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000295MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
296 return decodeSrcOp(OPWV216, Val);
297}
298
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000299MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000300 // Some instructions have operand restrictions beyond what the encoding
301 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
302 // high bit.
303 Val &= 255;
304
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000305 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
306}
307
308MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
309 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
310}
311
312MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
313 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
314}
315
316MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
317 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
318}
319
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000320MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
321 // table-gen generated disassembler doesn't care about operand types
322 // leaving only registry class so SSrc_32 operand turns into SReg_32
323 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000324 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000325}
326
Matt Arsenault640c44b2016-11-29 19:39:53 +0000327MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
328 unsigned Val) const {
329 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000330 return decodeOperand_SReg_32(Val);
331}
332
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000333MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000334 return decodeSrcOp(OPW64, Val);
335}
336
337MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000338 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000339}
340
341MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000342 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000343}
344
345MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
346 return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
347}
348
349MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
350 return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
351}
352
353
354MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000355 // For now all literal constants are supposed to be unsigned integer
356 // ToDo: deal with signed/unsigned 64-bit integer constants
357 // ToDo: deal with float/double constants
Dmitry Preobrazhenskyce941c92017-05-19 14:27:52 +0000358 if (!HasLiteral) {
359 if (Bytes.size() < 4) {
360 return errOperand(0, "cannot read literal, inst bytes left " +
361 Twine(Bytes.size()));
362 }
363 HasLiteral = true;
364 Literal = eatBytes<uint32_t>(Bytes);
365 }
366 return MCOperand::createImm(Literal);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000367}
368
369MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000370 using namespace AMDGPU::EncValues;
371 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
372 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
373 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
374 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
375 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000376}
377
Matt Arsenault4bd72362016-12-10 00:39:12 +0000378static int64_t getInlineImmVal32(unsigned Imm) {
379 switch (Imm) {
380 case 240:
381 return FloatToBits(0.5f);
382 case 241:
383 return FloatToBits(-0.5f);
384 case 242:
385 return FloatToBits(1.0f);
386 case 243:
387 return FloatToBits(-1.0f);
388 case 244:
389 return FloatToBits(2.0f);
390 case 245:
391 return FloatToBits(-2.0f);
392 case 246:
393 return FloatToBits(4.0f);
394 case 247:
395 return FloatToBits(-4.0f);
396 case 248: // 1 / (2 * PI)
397 return 0x3e22f983;
398 default:
399 llvm_unreachable("invalid fp inline imm");
400 }
401}
402
403static int64_t getInlineImmVal64(unsigned Imm) {
404 switch (Imm) {
405 case 240:
406 return DoubleToBits(0.5);
407 case 241:
408 return DoubleToBits(-0.5);
409 case 242:
410 return DoubleToBits(1.0);
411 case 243:
412 return DoubleToBits(-1.0);
413 case 244:
414 return DoubleToBits(2.0);
415 case 245:
416 return DoubleToBits(-2.0);
417 case 246:
418 return DoubleToBits(4.0);
419 case 247:
420 return DoubleToBits(-4.0);
421 case 248: // 1 / (2 * PI)
422 return 0x3fc45f306dc9c882;
423 default:
424 llvm_unreachable("invalid fp inline imm");
425 }
426}
427
428static int64_t getInlineImmVal16(unsigned Imm) {
429 switch (Imm) {
430 case 240:
431 return 0x3800;
432 case 241:
433 return 0xB800;
434 case 242:
435 return 0x3C00;
436 case 243:
437 return 0xBC00;
438 case 244:
439 return 0x4000;
440 case 245:
441 return 0xC000;
442 case 246:
443 return 0x4400;
444 case 247:
445 return 0xC400;
446 case 248: // 1 / (2 * PI)
447 return 0x3118;
448 default:
449 llvm_unreachable("invalid fp inline imm");
450 }
451}
452
453MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000454 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
455 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000456
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000457 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000458 switch (Width) {
459 case OPW32:
460 return MCOperand::createImm(getInlineImmVal32(Imm));
461 case OPW64:
462 return MCOperand::createImm(getInlineImmVal64(Imm));
463 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000464 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000465 return MCOperand::createImm(getInlineImmVal16(Imm));
466 default:
467 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000468 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000469}
470
Artem Tamazov212a2512016-05-24 12:05:16 +0000471unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000472 using namespace AMDGPU;
Artem Tamazov212a2512016-05-24 12:05:16 +0000473 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
474 switch (Width) {
475 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000476 case OPW32:
477 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000478 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000479 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000480 case OPW64: return VReg_64RegClassID;
481 case OPW128: return VReg_128RegClassID;
482 }
483}
484
485unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
486 using namespace AMDGPU;
487 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
488 switch (Width) {
489 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000490 case OPW32:
491 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000492 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000493 return SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000494 case OPW64: return SGPR_64RegClassID;
495 case OPW128: return SGPR_128RegClassID;
496 }
497}
498
499unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
500 using namespace AMDGPU;
501 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
502 switch (Width) {
503 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000504 case OPW32:
505 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000506 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000507 return TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000508 case OPW64: return TTMP_64RegClassID;
509 case OPW128: return TTMP_128RegClassID;
510 }
511}
512
513MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
514 using namespace AMDGPU::EncValues;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000515 assert(Val < 512); // enum9
516
Artem Tamazov212a2512016-05-24 12:05:16 +0000517 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
518 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
519 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000520 if (Val <= SGPR_MAX) {
521 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000522 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
523 }
524 if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
525 return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
526 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000527
Matt Arsenault4bd72362016-12-10 00:39:12 +0000528 assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
Artem Tamazov212a2512016-05-24 12:05:16 +0000529
530 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000531 return decodeIntImmed(Val);
532
Artem Tamazov212a2512016-05-24 12:05:16 +0000533 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000534 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000535
Artem Tamazov212a2512016-05-24 12:05:16 +0000536 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000537 return decodeLiteralConstant();
538
Matt Arsenault4bd72362016-12-10 00:39:12 +0000539 switch (Width) {
540 case OPW32:
541 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000542 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000543 return decodeSpecialReg32(Val);
544 case OPW64:
545 return decodeSpecialReg64(Val);
546 default:
547 llvm_unreachable("unexpected immediate type");
548 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000549}
550
551MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
552 using namespace AMDGPU;
553 switch (Val) {
554 case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
555 case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
556 // ToDo: no support for xnack_mask_lo/_hi register
557 case 104:
558 case 105: break;
559 case 106: return createRegOperand(VCC_LO);
560 case 107: return createRegOperand(VCC_HI);
Artem Tamazov212a2512016-05-24 12:05:16 +0000561 case 108: return createRegOperand(TBA_LO);
562 case 109: return createRegOperand(TBA_HI);
563 case 110: return createRegOperand(TMA_LO);
564 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000565 case 124: return createRegOperand(M0);
566 case 126: return createRegOperand(EXEC_LO);
567 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000568 case 235: return createRegOperand(SRC_SHARED_BASE);
569 case 236: return createRegOperand(SRC_SHARED_LIMIT);
570 case 237: return createRegOperand(SRC_PRIVATE_BASE);
571 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
572 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000573 // ToDo: no support for vccz register
574 case 251: break;
575 // ToDo: no support for execz register
576 case 252: break;
577 case 253: return createRegOperand(SCC);
578 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000579 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000580 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000581}
582
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000583MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
584 using namespace AMDGPU;
585 switch (Val) {
586 case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
587 case 106: return createRegOperand(VCC);
Artem Tamazov212a2512016-05-24 12:05:16 +0000588 case 108: return createRegOperand(TBA);
589 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000590 case 126: return createRegOperand(EXEC);
591 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000592 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000593 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000594}
595
Sam Kolton363f47a2017-05-26 15:52:00 +0000596MCOperand AMDGPUDisassembler::decodeSDWA9Src(const OpWidthTy Width,
597 unsigned Val) const {
598 using namespace AMDGPU::SDWA;
599
600 if (SDWA9EncValues::SRC_VGPR_MIN <= Val &&
601 Val <= SDWA9EncValues::SRC_VGPR_MAX) {
602 return createRegOperand(getVgprClassId(Width),
603 Val - SDWA9EncValues::SRC_VGPR_MIN);
604 }
605 if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
606 Val <= SDWA9EncValues::SRC_SGPR_MAX) {
607 return createSRegOperand(getSgprClassId(Width),
608 Val - SDWA9EncValues::SRC_SGPR_MIN);
609 }
610
611 return decodeSpecialReg32(Val - SDWA9EncValues::SRC_SGPR_MIN);
612}
613
614MCOperand AMDGPUDisassembler::decodeSDWA9Src16(unsigned Val) const {
615 return decodeSDWA9Src(OPW16, Val);
616}
617
618MCOperand AMDGPUDisassembler::decodeSDWA9Src32(unsigned Val) const {
619 return decodeSDWA9Src(OPW32, Val);
620}
621
622
623MCOperand AMDGPUDisassembler::decodeSDWA9VopcDst(unsigned Val) const {
624 using namespace AMDGPU::SDWA;
625
626 if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
627 Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
628 if (Val > AMDGPU::EncValues::SGPR_MAX) {
629 return decodeSpecialReg64(Val);
630 } else {
631 return createSRegOperand(getSgprClassId(OPW64), Val);
632 }
633 } else {
634 return createRegOperand(AMDGPU::VCC);
635 }
636}
637
Sam Kolton3381d7a2016-10-06 13:46:08 +0000638//===----------------------------------------------------------------------===//
639// AMDGPUSymbolizer
640//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000641
Sam Kolton3381d7a2016-10-06 13:46:08 +0000642// Try to find symbol name for specified label
643bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
644 raw_ostream &/*cStream*/, int64_t Value,
645 uint64_t /*Address*/, bool IsBranch,
646 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
647 typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
648 typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
649
650 if (!IsBranch) {
651 return false;
652 }
653
654 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
655 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
656 [Value](const SymbolInfoTy& Val) {
657 return std::get<0>(Val) == static_cast<uint64_t>(Value)
658 && std::get<2>(Val) == ELF::STT_NOTYPE;
659 });
660 if (Result != Symbols->end()) {
661 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
662 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
663 Inst.addOperand(MCOperand::createExpr(Add));
664 return true;
665 }
666 return false;
667}
668
Matt Arsenault92b355b2016-11-15 19:34:37 +0000669void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
670 int64_t Value,
671 uint64_t Address) {
672 llvm_unreachable("unimplemented");
673}
674
Sam Kolton3381d7a2016-10-06 13:46:08 +0000675//===----------------------------------------------------------------------===//
676// Initialization
677//===----------------------------------------------------------------------===//
678
679static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
680 LLVMOpInfoCallback /*GetOpInfo*/,
681 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000682 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000683 MCContext *Ctx,
684 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
685 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
686}
687
Tom Stellarde1818af2016-02-18 03:42:32 +0000688static MCDisassembler *createAMDGPUDisassembler(const Target &T,
689 const MCSubtargetInfo &STI,
690 MCContext &Ctx) {
691 return new AMDGPUDisassembler(STI, Ctx);
692}
693
694extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000695 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
696 createAMDGPUDisassembler);
697 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
698 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000699}