blob: d274d6a7505d5ca89582cff42cc5d25f61943bd7 [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;
Matt Arsenaultf3dd8632016-11-01 00:55:14 +000061 return addOperand(Inst, MCOperand::createImm(Imm));
Sam Kolton3381d7a2016-10-06 13:46:08 +000062}
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)
Matt Arsenault640c44b2016-11-29 19:39:53 +000084DECODE_OPERAND(SReg_32_XM0_XEXEC)
Nikolay Haustovac106ad2016-03-01 13:57:29 +000085DECODE_OPERAND(SReg_64)
Matt Arsenault640c44b2016-11-29 19:39:53 +000086DECODE_OPERAND(SReg_64_XEXEC)
Nikolay Haustovac106ad2016-03-01 13:57:29 +000087DECODE_OPERAND(SReg_128)
88DECODE_OPERAND(SReg_256)
Valery Pykhtina4db2242016-03-10 13:06:08 +000089DECODE_OPERAND(SReg_512)
Tom Stellarde1818af2016-02-18 03:42:32 +000090
Matt Arsenault4bd72362016-12-10 00:39:12 +000091
92static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
93 unsigned Imm,
94 uint64_t Addr,
95 const void *Decoder) {
96 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
97 return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
98}
99
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000100static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
101 unsigned Imm,
102 uint64_t Addr,
103 const void *Decoder) {
104 auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
105 return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
106}
107
Tom Stellarde1818af2016-02-18 03:42:32 +0000108#define GET_SUBTARGETINFO_ENUM
109#include "AMDGPUGenSubtargetInfo.inc"
110#undef GET_SUBTARGETINFO_ENUM
111
112#include "AMDGPUGenDisassemblerTables.inc"
113
114//===----------------------------------------------------------------------===//
115//
116//===----------------------------------------------------------------------===//
117
Sam Kolton1048fb12016-03-31 14:15:04 +0000118template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
119 assert(Bytes.size() >= sizeof(T));
120 const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
121 Bytes = Bytes.slice(sizeof(T));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000122 return Res;
123}
124
125DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
126 MCInst &MI,
127 uint64_t Inst,
128 uint64_t Address) const {
129 assert(MI.getOpcode() == 0);
130 assert(MI.getNumOperands() == 0);
131 MCInst TmpInst;
132 const auto SavedBytes = Bytes;
133 if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
134 MI = TmpInst;
135 return MCDisassembler::Success;
136 }
137 Bytes = SavedBytes;
138 return MCDisassembler::Fail;
139}
140
Tom Stellarde1818af2016-02-18 03:42:32 +0000141DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000142 ArrayRef<uint8_t> Bytes_,
Nikolay Haustov161a1582016-02-25 16:09:14 +0000143 uint64_t Address,
Tom Stellarde1818af2016-02-18 03:42:32 +0000144 raw_ostream &WS,
145 raw_ostream &CS) const {
146 CommentStream = &CS;
147
148 // ToDo: AMDGPUDisassembler supports only VI ISA.
Matt Arsenaultd122abe2017-02-15 21:50:34 +0000149 if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
150 report_fatal_error("Disassembly not yet supported for subtarget");
Tom Stellarde1818af2016-02-18 03:42:32 +0000151
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000152 const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
153 Bytes = Bytes_.slice(0, MaxInstBytesNum);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000154
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000155 DecodeStatus Res = MCDisassembler::Fail;
156 do {
Valery Pykhtin824e8042016-03-04 10:59:50 +0000157 // ToDo: better to switch encoding length using some bit predicate
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000158 // but it is unknown yet, so try all we can
Matt Arsenault37fefd62016-06-10 02:18:02 +0000159
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000160 // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
161 // encodings
Sam Kolton1048fb12016-03-31 14:15:04 +0000162 if (Bytes.size() >= 8) {
163 const uint64_t QW = eatBytes<uint64_t>(Bytes);
164 Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
165 if (Res) break;
Sam Koltonc9bdcb72016-06-09 11:04:45 +0000166
167 Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
168 if (Res) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000169 }
170
171 // Reinitialize Bytes as DPP64 could have eaten too much
172 Bytes = Bytes_.slice(0, MaxInstBytesNum);
173
174 // Try decode 32-bit instruction
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000175 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000176 const uint32_t DW = eatBytes<uint32_t>(Bytes);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000177 Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
178 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000179
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000180 Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
181 if (Res) break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000182
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000183 if (Bytes.size() < 4) break;
Sam Kolton1048fb12016-03-31 14:15:04 +0000184 const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000185 Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
186 if (Res) break;
187
188 Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
189 } while (false);
190
191 Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
192 return Res;
Tom Stellarde1818af2016-02-18 03:42:32 +0000193}
194
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000195const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
196 return getContext().getRegisterInfo()->
197 getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
Tom Stellarde1818af2016-02-18 03:42:32 +0000198}
199
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000200inline
201MCOperand AMDGPUDisassembler::errOperand(unsigned V,
202 const Twine& ErrMsg) const {
203 *CommentStream << "Error: " + ErrMsg;
204
205 // ToDo: add support for error operands to MCInst.h
206 // return MCOperand::createError(V);
207 return MCOperand();
Nikolay Haustov161a1582016-02-25 16:09:14 +0000208}
209
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000210inline
211MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
212 return MCOperand::createReg(RegId);
Tom Stellarde1818af2016-02-18 03:42:32 +0000213}
214
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000215inline
216MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
217 unsigned Val) const {
218 const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
219 if (Val >= RegCl.getNumRegs())
220 return errOperand(Val, Twine(getRegClassName(RegClassID)) +
221 ": unknown register " + Twine(Val));
222 return createRegOperand(RegCl.getRegister(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000223}
224
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000225inline
226MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
227 unsigned Val) const {
Tom Stellarde1818af2016-02-18 03:42:32 +0000228 // ToDo: SI/CI have 104 SGPRs, VI - 102
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000229 // Valery: here we accepting as much as we can, let assembler sort it out
230 int shift = 0;
231 switch (SRegClassID) {
232 case AMDGPU::SGPR_32RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000233 case AMDGPU::TTMP_32RegClassID:
234 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000235 case AMDGPU::SGPR_64RegClassID:
Artem Tamazov212a2512016-05-24 12:05:16 +0000236 case AMDGPU::TTMP_64RegClassID:
237 shift = 1;
238 break;
239 case AMDGPU::SGPR_128RegClassID:
240 case AMDGPU::TTMP_128RegClassID:
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000241 // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
242 // this bundle?
243 case AMDGPU::SReg_256RegClassID:
244 // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
245 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000246 case AMDGPU::SReg_512RegClassID:
247 shift = 2;
248 break;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000249 // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
250 // this bundle?
Artem Tamazov212a2512016-05-24 12:05:16 +0000251 default:
Matt Arsenault92b355b2016-11-15 19:34:37 +0000252 llvm_unreachable("unhandled register class");
Tom Stellarde1818af2016-02-18 03:42:32 +0000253 }
Matt Arsenault92b355b2016-11-15 19:34:37 +0000254
255 if (Val % (1 << shift)) {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000256 *CommentStream << "Warning: " << getRegClassName(SRegClassID)
257 << ": scalar reg isn't aligned " << Val;
Matt Arsenault92b355b2016-11-15 19:34:37 +0000258 }
259
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000260 return createRegOperand(SRegClassID, Val >> shift);
Tom Stellarde1818af2016-02-18 03:42:32 +0000261}
262
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000263MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000264 return decodeSrcOp(OPW32, Val);
Tom Stellarde1818af2016-02-18 03:42:32 +0000265}
266
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000267MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000268 return decodeSrcOp(OPW64, Val);
Nikolay Haustov161a1582016-02-25 16:09:14 +0000269}
270
Matt Arsenault4bd72362016-12-10 00:39:12 +0000271MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
272 return decodeSrcOp(OPW16, Val);
273}
274
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000275MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
276 return decodeSrcOp(OPWV216, Val);
277}
278
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000279MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
Matt Arsenaultcb540bc2016-07-19 00:35:03 +0000280 // Some instructions have operand restrictions beyond what the encoding
281 // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
282 // high bit.
283 Val &= 255;
284
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000285 return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
286}
287
288MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
289 return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
290}
291
292MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
293 return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
294}
295
296MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
297 return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
298}
299
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000300MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
301 // table-gen generated disassembler doesn't care about operand types
302 // leaving only registry class so SSrc_32 operand turns into SReg_32
303 // and therefore we accept immediates and literals here as well
Artem Tamazov212a2512016-05-24 12:05:16 +0000304 return decodeSrcOp(OPW32, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000305}
306
Matt Arsenault640c44b2016-11-29 19:39:53 +0000307MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
308 unsigned Val) const {
309 // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
Artem Tamazov38e496b2016-04-29 17:04:50 +0000310 return decodeOperand_SReg_32(Val);
311}
312
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000313MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
Matt Arsenault640c44b2016-11-29 19:39:53 +0000314 return decodeSrcOp(OPW64, Val);
315}
316
317MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000318 return decodeSrcOp(OPW64, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000319}
320
321MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
Artem Tamazov212a2512016-05-24 12:05:16 +0000322 return decodeSrcOp(OPW128, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000323}
324
325MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
326 return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
327}
328
329MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
330 return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
331}
332
333
334MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
Nikolay Haustov161a1582016-02-25 16:09:14 +0000335 // For now all literal constants are supposed to be unsigned integer
336 // ToDo: deal with signed/unsigned 64-bit integer constants
337 // ToDo: deal with float/double constants
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000338 if (Bytes.size() < 4)
339 return errOperand(0, "cannot read literal, inst bytes left " +
340 Twine(Bytes.size()));
Sam Kolton1048fb12016-03-31 14:15:04 +0000341 return MCOperand::createImm(eatBytes<uint32_t>(Bytes));
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000342}
343
344MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000345 using namespace AMDGPU::EncValues;
346 assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
347 return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
348 (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
349 (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
350 // Cast prevents negative overflow.
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000351}
352
Matt Arsenault4bd72362016-12-10 00:39:12 +0000353static int64_t getInlineImmVal32(unsigned Imm) {
354 switch (Imm) {
355 case 240:
356 return FloatToBits(0.5f);
357 case 241:
358 return FloatToBits(-0.5f);
359 case 242:
360 return FloatToBits(1.0f);
361 case 243:
362 return FloatToBits(-1.0f);
363 case 244:
364 return FloatToBits(2.0f);
365 case 245:
366 return FloatToBits(-2.0f);
367 case 246:
368 return FloatToBits(4.0f);
369 case 247:
370 return FloatToBits(-4.0f);
371 case 248: // 1 / (2 * PI)
372 return 0x3e22f983;
373 default:
374 llvm_unreachable("invalid fp inline imm");
375 }
376}
377
378static int64_t getInlineImmVal64(unsigned Imm) {
379 switch (Imm) {
380 case 240:
381 return DoubleToBits(0.5);
382 case 241:
383 return DoubleToBits(-0.5);
384 case 242:
385 return DoubleToBits(1.0);
386 case 243:
387 return DoubleToBits(-1.0);
388 case 244:
389 return DoubleToBits(2.0);
390 case 245:
391 return DoubleToBits(-2.0);
392 case 246:
393 return DoubleToBits(4.0);
394 case 247:
395 return DoubleToBits(-4.0);
396 case 248: // 1 / (2 * PI)
397 return 0x3fc45f306dc9c882;
398 default:
399 llvm_unreachable("invalid fp inline imm");
400 }
401}
402
403static int64_t getInlineImmVal16(unsigned Imm) {
404 switch (Imm) {
405 case 240:
406 return 0x3800;
407 case 241:
408 return 0xB800;
409 case 242:
410 return 0x3C00;
411 case 243:
412 return 0xBC00;
413 case 244:
414 return 0x4000;
415 case 245:
416 return 0xC000;
417 case 246:
418 return 0x4400;
419 case 247:
420 return 0xC400;
421 case 248: // 1 / (2 * PI)
422 return 0x3118;
423 default:
424 llvm_unreachable("invalid fp inline imm");
425 }
426}
427
428MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
Artem Tamazov212a2512016-05-24 12:05:16 +0000429 assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
430 && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
Matt Arsenault4bd72362016-12-10 00:39:12 +0000431
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000432 // ToDo: case 248: 1/(2*PI) - is allowed only on VI
Matt Arsenault4bd72362016-12-10 00:39:12 +0000433 switch (Width) {
434 case OPW32:
435 return MCOperand::createImm(getInlineImmVal32(Imm));
436 case OPW64:
437 return MCOperand::createImm(getInlineImmVal64(Imm));
438 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000439 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000440 return MCOperand::createImm(getInlineImmVal16(Imm));
441 default:
442 llvm_unreachable("implement me");
Nikolay Haustov161a1582016-02-25 16:09:14 +0000443 }
Nikolay Haustov161a1582016-02-25 16:09:14 +0000444}
445
Artem Tamazov212a2512016-05-24 12:05:16 +0000446unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000447 using namespace AMDGPU;
Artem Tamazov212a2512016-05-24 12:05:16 +0000448 assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
449 switch (Width) {
450 default: // fall
Matt Arsenault4bd72362016-12-10 00:39:12 +0000451 case OPW32:
452 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000453 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000454 return VGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000455 case OPW64: return VReg_64RegClassID;
456 case OPW128: return VReg_128RegClassID;
457 }
458}
459
460unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
461 using namespace AMDGPU;
462 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 SGPR_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000469 case OPW64: return SGPR_64RegClassID;
470 case OPW128: return SGPR_128RegClassID;
471 }
472}
473
474unsigned AMDGPUDisassembler::getTtmpClassId(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 TTMP_32RegClassID;
Artem Tamazov212a2512016-05-24 12:05:16 +0000483 case OPW64: return TTMP_64RegClassID;
484 case OPW128: return TTMP_128RegClassID;
485 }
486}
487
488MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
489 using namespace AMDGPU::EncValues;
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000490 assert(Val < 512); // enum9
491
Artem Tamazov212a2512016-05-24 12:05:16 +0000492 if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
493 return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
494 }
Artem Tamazovb49c3362016-05-26 15:52:16 +0000495 if (Val <= SGPR_MAX) {
496 assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
Artem Tamazov212a2512016-05-24 12:05:16 +0000497 return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
498 }
499 if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
500 return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
501 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000502
Matt Arsenault4bd72362016-12-10 00:39:12 +0000503 assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
Artem Tamazov212a2512016-05-24 12:05:16 +0000504
505 if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000506 return decodeIntImmed(Val);
507
Artem Tamazov212a2512016-05-24 12:05:16 +0000508 if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
Matt Arsenault4bd72362016-12-10 00:39:12 +0000509 return decodeFPImmed(Width, Val);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000510
Artem Tamazov212a2512016-05-24 12:05:16 +0000511 if (Val == LITERAL_CONST)
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000512 return decodeLiteralConstant();
513
Matt Arsenault4bd72362016-12-10 00:39:12 +0000514 switch (Width) {
515 case OPW32:
516 case OPW16:
Matt Arsenault9be7b0d2017-02-27 18:49:11 +0000517 case OPWV216:
Matt Arsenault4bd72362016-12-10 00:39:12 +0000518 return decodeSpecialReg32(Val);
519 case OPW64:
520 return decodeSpecialReg64(Val);
521 default:
522 llvm_unreachable("unexpected immediate type");
523 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000524}
525
526MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
527 using namespace AMDGPU;
528 switch (Val) {
529 case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
530 case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
531 // ToDo: no support for xnack_mask_lo/_hi register
532 case 104:
533 case 105: break;
534 case 106: return createRegOperand(VCC_LO);
535 case 107: return createRegOperand(VCC_HI);
Artem Tamazov212a2512016-05-24 12:05:16 +0000536 case 108: return createRegOperand(TBA_LO);
537 case 109: return createRegOperand(TBA_HI);
538 case 110: return createRegOperand(TMA_LO);
539 case 111: return createRegOperand(TMA_HI);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000540 case 124: return createRegOperand(M0);
541 case 126: return createRegOperand(EXEC_LO);
542 case 127: return createRegOperand(EXEC_HI);
Matt Arsenaulta3b3b482017-02-18 18:41:41 +0000543 case 235: return createRegOperand(SRC_SHARED_BASE);
544 case 236: return createRegOperand(SRC_SHARED_LIMIT);
545 case 237: return createRegOperand(SRC_PRIVATE_BASE);
546 case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
547 // TODO: SRC_POPS_EXITING_WAVE_ID
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000548 // ToDo: no support for vccz register
549 case 251: break;
550 // ToDo: no support for execz register
551 case 252: break;
552 case 253: return createRegOperand(SCC);
553 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000554 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000555 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000556}
557
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000558MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
559 using namespace AMDGPU;
560 switch (Val) {
561 case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
562 case 106: return createRegOperand(VCC);
Artem Tamazov212a2512016-05-24 12:05:16 +0000563 case 108: return createRegOperand(TBA);
564 case 110: return createRegOperand(TMA);
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000565 case 126: return createRegOperand(EXEC);
566 default: break;
Tom Stellarde1818af2016-02-18 03:42:32 +0000567 }
Nikolay Haustovac106ad2016-03-01 13:57:29 +0000568 return errOperand(Val, "unknown operand encoding " + Twine(Val));
Tom Stellarde1818af2016-02-18 03:42:32 +0000569}
570
Sam Kolton3381d7a2016-10-06 13:46:08 +0000571//===----------------------------------------------------------------------===//
572// AMDGPUSymbolizer
573//===----------------------------------------------------------------------===//
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000574
Sam Kolton3381d7a2016-10-06 13:46:08 +0000575// Try to find symbol name for specified label
576bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
577 raw_ostream &/*cStream*/, int64_t Value,
578 uint64_t /*Address*/, bool IsBranch,
579 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
580 typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
581 typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
582
583 if (!IsBranch) {
584 return false;
585 }
586
587 auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
588 auto Result = std::find_if(Symbols->begin(), Symbols->end(),
589 [Value](const SymbolInfoTy& Val) {
590 return std::get<0>(Val) == static_cast<uint64_t>(Value)
591 && std::get<2>(Val) == ELF::STT_NOTYPE;
592 });
593 if (Result != Symbols->end()) {
594 auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
595 const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
596 Inst.addOperand(MCOperand::createExpr(Add));
597 return true;
598 }
599 return false;
600}
601
Matt Arsenault92b355b2016-11-15 19:34:37 +0000602void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
603 int64_t Value,
604 uint64_t Address) {
605 llvm_unreachable("unimplemented");
606}
607
Sam Kolton3381d7a2016-10-06 13:46:08 +0000608//===----------------------------------------------------------------------===//
609// Initialization
610//===----------------------------------------------------------------------===//
611
612static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
613 LLVMOpInfoCallback /*GetOpInfo*/,
614 LLVMSymbolLookupCallback /*SymbolLookUp*/,
Matt Arsenaultf3dd8632016-11-01 00:55:14 +0000615 void *DisInfo,
Sam Kolton3381d7a2016-10-06 13:46:08 +0000616 MCContext *Ctx,
617 std::unique_ptr<MCRelocationInfo> &&RelInfo) {
618 return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
619}
620
Tom Stellarde1818af2016-02-18 03:42:32 +0000621static MCDisassembler *createAMDGPUDisassembler(const Target &T,
622 const MCSubtargetInfo &STI,
623 MCContext &Ctx) {
624 return new AMDGPUDisassembler(STI, Ctx);
625}
626
627extern "C" void LLVMInitializeAMDGPUDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000628 TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
629 createAMDGPUDisassembler);
630 TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
631 createAMDGPUSymbolizer);
Tom Stellarde1818af2016-02-18 03:42:32 +0000632}