1e1818af8STom Stellard //===-- AMDGPUDisassembler.cpp - Disassembler for AMDGPU ISA --------------===//
2e1818af8STom Stellard //
3e1818af8STom Stellard //                     The LLVM Compiler Infrastructure
4e1818af8STom Stellard //
5e1818af8STom Stellard // This file is distributed under the University of Illinois Open Source
6e1818af8STom Stellard // License. See LICENSE.TXT for details.
7e1818af8STom Stellard //
8e1818af8STom Stellard //===----------------------------------------------------------------------===//
9e1818af8STom Stellard //
10e1818af8STom Stellard //===----------------------------------------------------------------------===//
11e1818af8STom Stellard //
12e1818af8STom Stellard /// \file
13e1818af8STom Stellard ///
14e1818af8STom Stellard /// This file contains definition for AMDGPU ISA disassembler
15e1818af8STom Stellard //
16e1818af8STom Stellard //===----------------------------------------------------------------------===//
17e1818af8STom Stellard 
18e1818af8STom Stellard // ToDo: What to do with instruction suffixes (v_mov_b32 vs v_mov_b32_e32)?
19e1818af8STom Stellard 
20e1818af8STom Stellard #include "AMDGPUDisassembler.h"
21e1818af8STom Stellard #include "AMDGPU.h"
22e1818af8STom Stellard #include "AMDGPURegisterInfo.h"
23212a251cSArtem Tamazov #include "SIDefines.h"
24e1818af8STom Stellard #include "Utils/AMDGPUBaseInfo.h"
25678e111eSMatt Arsenault #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
26e1818af8STom Stellard 
27ac106addSNikolay Haustov #include "llvm/MC/MCContext.h"
28e1818af8STom Stellard #include "llvm/MC/MCFixedLenDisassembler.h"
29e1818af8STom Stellard #include "llvm/MC/MCInst.h"
30e1818af8STom Stellard #include "llvm/MC/MCInstrDesc.h"
31e1818af8STom Stellard #include "llvm/MC/MCSubtargetInfo.h"
323381d7a2SSam Kolton #include "llvm/Support/ELF.h"
33ac106addSNikolay Haustov #include "llvm/Support/Endian.h"
34e1818af8STom Stellard #include "llvm/Support/Debug.h"
35e1818af8STom Stellard #include "llvm/Support/TargetRegistry.h"
36e1818af8STom Stellard 
37e1818af8STom Stellard 
38e1818af8STom Stellard using namespace llvm;
39e1818af8STom Stellard 
40e1818af8STom Stellard #define DEBUG_TYPE "amdgpu-disassembler"
41e1818af8STom Stellard 
42e1818af8STom Stellard typedef llvm::MCDisassembler::DecodeStatus DecodeStatus;
43e1818af8STom Stellard 
44e1818af8STom Stellard 
45ac106addSNikolay Haustov inline static MCDisassembler::DecodeStatus
46ac106addSNikolay Haustov addOperand(MCInst &Inst, const MCOperand& Opnd) {
47ac106addSNikolay Haustov   Inst.addOperand(Opnd);
48ac106addSNikolay Haustov   return Opnd.isValid() ?
49ac106addSNikolay Haustov     MCDisassembler::Success :
50ac106addSNikolay Haustov     MCDisassembler::SoftFail;
51e1818af8STom Stellard }
52e1818af8STom Stellard 
533381d7a2SSam Kolton static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
543381d7a2SSam Kolton                                        uint64_t Addr, const void *Decoder) {
553381d7a2SSam Kolton   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
563381d7a2SSam Kolton 
573381d7a2SSam Kolton   APInt SignedOffset(18, Imm * 4, true);
583381d7a2SSam Kolton   int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
593381d7a2SSam Kolton 
603381d7a2SSam Kolton   if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
613381d7a2SSam Kolton     return MCDisassembler::Success;
623381d7a2SSam Kolton   return addOperand(Inst, MCOperand::createImm(Imm));
633381d7a2SSam Kolton }
643381d7a2SSam Kolton 
65ac106addSNikolay Haustov #define DECODE_OPERAND2(RegClass, DecName) \
66ac106addSNikolay Haustov static DecodeStatus Decode##RegClass##RegisterClass(MCInst &Inst, \
67ac106addSNikolay Haustov                                                     unsigned Imm, \
68ac106addSNikolay Haustov                                                     uint64_t /*Addr*/, \
69ac106addSNikolay Haustov                                                     const void *Decoder) { \
70ac106addSNikolay Haustov   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
71ac106addSNikolay Haustov   return addOperand(Inst, DAsm->decodeOperand_##DecName(Imm)); \
72e1818af8STom Stellard }
73e1818af8STom Stellard 
74ac106addSNikolay Haustov #define DECODE_OPERAND(RegClass) DECODE_OPERAND2(RegClass, RegClass)
75e1818af8STom Stellard 
76ac106addSNikolay Haustov DECODE_OPERAND(VGPR_32)
77ac106addSNikolay Haustov DECODE_OPERAND(VS_32)
78ac106addSNikolay Haustov DECODE_OPERAND(VS_64)
79e1818af8STom Stellard 
80ac106addSNikolay Haustov DECODE_OPERAND(VReg_64)
81ac106addSNikolay Haustov DECODE_OPERAND(VReg_96)
82ac106addSNikolay Haustov DECODE_OPERAND(VReg_128)
83e1818af8STom Stellard 
84ac106addSNikolay Haustov DECODE_OPERAND(SReg_32)
85640c44b8SMatt Arsenault DECODE_OPERAND(SReg_32_XM0_XEXEC)
86ac106addSNikolay Haustov DECODE_OPERAND(SReg_64)
87640c44b8SMatt Arsenault DECODE_OPERAND(SReg_64_XEXEC)
88ac106addSNikolay Haustov DECODE_OPERAND(SReg_128)
89ac106addSNikolay Haustov DECODE_OPERAND(SReg_256)
90a4db224dSValery Pykhtin DECODE_OPERAND(SReg_512)
91e1818af8STom Stellard 
924bd72361SMatt Arsenault 
934bd72361SMatt Arsenault static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
944bd72361SMatt Arsenault                                          unsigned Imm,
954bd72361SMatt Arsenault                                          uint64_t Addr,
964bd72361SMatt Arsenault                                          const void *Decoder) {
974bd72361SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
984bd72361SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
994bd72361SMatt Arsenault }
1004bd72361SMatt Arsenault 
1019be7b0d4SMatt Arsenault static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
1029be7b0d4SMatt Arsenault                                          unsigned Imm,
1039be7b0d4SMatt Arsenault                                          uint64_t Addr,
1049be7b0d4SMatt Arsenault                                          const void *Decoder) {
1059be7b0d4SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
1069be7b0d4SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
1079be7b0d4SMatt Arsenault }
1089be7b0d4SMatt Arsenault 
109e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc"
110e1818af8STom Stellard 
111e1818af8STom Stellard //===----------------------------------------------------------------------===//
112e1818af8STom Stellard //
113e1818af8STom Stellard //===----------------------------------------------------------------------===//
114e1818af8STom Stellard 
1151048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
1161048fb18SSam Kolton   assert(Bytes.size() >= sizeof(T));
1171048fb18SSam Kolton   const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
1181048fb18SSam Kolton   Bytes = Bytes.slice(sizeof(T));
119ac106addSNikolay Haustov   return Res;
120ac106addSNikolay Haustov }
121ac106addSNikolay Haustov 
122ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
123ac106addSNikolay Haustov                                                MCInst &MI,
124ac106addSNikolay Haustov                                                uint64_t Inst,
125ac106addSNikolay Haustov                                                uint64_t Address) const {
126ac106addSNikolay Haustov   assert(MI.getOpcode() == 0);
127ac106addSNikolay Haustov   assert(MI.getNumOperands() == 0);
128ac106addSNikolay Haustov   MCInst TmpInst;
129*ce941c9cSDmitry Preobrazhensky   HasLiteral = false;
130ac106addSNikolay Haustov   const auto SavedBytes = Bytes;
131ac106addSNikolay Haustov   if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
132ac106addSNikolay Haustov     MI = TmpInst;
133ac106addSNikolay Haustov     return MCDisassembler::Success;
134ac106addSNikolay Haustov   }
135ac106addSNikolay Haustov   Bytes = SavedBytes;
136ac106addSNikolay Haustov   return MCDisassembler::Fail;
137ac106addSNikolay Haustov }
138ac106addSNikolay Haustov 
139e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
140ac106addSNikolay Haustov                                                 ArrayRef<uint8_t> Bytes_,
141e1818af8STom Stellard                                                 uint64_t Address,
142e1818af8STom Stellard                                                 raw_ostream &WS,
143e1818af8STom Stellard                                                 raw_ostream &CS) const {
144e1818af8STom Stellard   CommentStream = &CS;
145e1818af8STom Stellard 
146e1818af8STom Stellard   // ToDo: AMDGPUDisassembler supports only VI ISA.
147d122abeaSMatt Arsenault   if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
148d122abeaSMatt Arsenault     report_fatal_error("Disassembly not yet supported for subtarget");
149e1818af8STom Stellard 
150ac106addSNikolay Haustov   const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
151ac106addSNikolay Haustov   Bytes = Bytes_.slice(0, MaxInstBytesNum);
152161a158eSNikolay Haustov 
153ac106addSNikolay Haustov   DecodeStatus Res = MCDisassembler::Fail;
154ac106addSNikolay Haustov   do {
155824e804bSValery Pykhtin     // ToDo: better to switch encoding length using some bit predicate
156ac106addSNikolay Haustov     // but it is unknown yet, so try all we can
1571048fb18SSam Kolton 
158c9bdcb75SSam Kolton     // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
159c9bdcb75SSam Kolton     // encodings
1601048fb18SSam Kolton     if (Bytes.size() >= 8) {
1611048fb18SSam Kolton       const uint64_t QW = eatBytes<uint64_t>(Bytes);
1621048fb18SSam Kolton       Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
1631048fb18SSam Kolton       if (Res) break;
164c9bdcb75SSam Kolton 
165c9bdcb75SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
166c9bdcb75SSam Kolton       if (Res) break;
1671048fb18SSam Kolton     }
1681048fb18SSam Kolton 
1691048fb18SSam Kolton     // Reinitialize Bytes as DPP64 could have eaten too much
1701048fb18SSam Kolton     Bytes = Bytes_.slice(0, MaxInstBytesNum);
1711048fb18SSam Kolton 
1721048fb18SSam Kolton     // Try decode 32-bit instruction
173ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1741048fb18SSam Kolton     const uint32_t DW = eatBytes<uint32_t>(Bytes);
175ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
176ac106addSNikolay Haustov     if (Res) break;
177e1818af8STom Stellard 
178ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
179ac106addSNikolay Haustov     if (Res) break;
180ac106addSNikolay Haustov 
181ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1821048fb18SSam Kolton     const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
183ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
184ac106addSNikolay Haustov     if (Res) break;
185ac106addSNikolay Haustov 
186ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
187ac106addSNikolay Haustov   } while (false);
188ac106addSNikolay Haustov 
189678e111eSMatt Arsenault   if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
190678e111eSMatt Arsenault               MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
191678e111eSMatt Arsenault               MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi)) {
192678e111eSMatt Arsenault     // Insert dummy unused src2_modifiers.
193678e111eSMatt Arsenault     int Src2ModIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
194678e111eSMatt Arsenault                                                 AMDGPU::OpName::src2_modifiers);
195678e111eSMatt Arsenault     auto I = MI.begin();
196678e111eSMatt Arsenault     std::advance(I, Src2ModIdx);
197678e111eSMatt Arsenault     MI.insert(I, MCOperand::createImm(0));
198678e111eSMatt Arsenault   }
199678e111eSMatt Arsenault 
200ac106addSNikolay Haustov   Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
201ac106addSNikolay Haustov   return Res;
202161a158eSNikolay Haustov }
203e1818af8STom Stellard 
204ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
205ac106addSNikolay Haustov   return getContext().getRegisterInfo()->
206ac106addSNikolay Haustov     getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
207e1818af8STom Stellard }
208e1818af8STom Stellard 
209ac106addSNikolay Haustov inline
210ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V,
211ac106addSNikolay Haustov                                          const Twine& ErrMsg) const {
212ac106addSNikolay Haustov   *CommentStream << "Error: " + ErrMsg;
213ac106addSNikolay Haustov 
214ac106addSNikolay Haustov   // ToDo: add support for error operands to MCInst.h
215ac106addSNikolay Haustov   // return MCOperand::createError(V);
216ac106addSNikolay Haustov   return MCOperand();
217ac106addSNikolay Haustov }
218ac106addSNikolay Haustov 
219ac106addSNikolay Haustov inline
220ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
221ac106addSNikolay Haustov   return MCOperand::createReg(RegId);
222ac106addSNikolay Haustov }
223ac106addSNikolay Haustov 
224ac106addSNikolay Haustov inline
225ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
226ac106addSNikolay Haustov                                                unsigned Val) const {
227ac106addSNikolay Haustov   const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
228ac106addSNikolay Haustov   if (Val >= RegCl.getNumRegs())
229ac106addSNikolay Haustov     return errOperand(Val, Twine(getRegClassName(RegClassID)) +
230ac106addSNikolay Haustov                            ": unknown register " + Twine(Val));
231ac106addSNikolay Haustov   return createRegOperand(RegCl.getRegister(Val));
232ac106addSNikolay Haustov }
233ac106addSNikolay Haustov 
234ac106addSNikolay Haustov inline
235ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
236ac106addSNikolay Haustov                                                 unsigned Val) const {
237ac106addSNikolay Haustov   // ToDo: SI/CI have 104 SGPRs, VI - 102
238ac106addSNikolay Haustov   // Valery: here we accepting as much as we can, let assembler sort it out
239ac106addSNikolay Haustov   int shift = 0;
240ac106addSNikolay Haustov   switch (SRegClassID) {
241ac106addSNikolay Haustov   case AMDGPU::SGPR_32RegClassID:
242212a251cSArtem Tamazov   case AMDGPU::TTMP_32RegClassID:
243212a251cSArtem Tamazov     break;
244ac106addSNikolay Haustov   case AMDGPU::SGPR_64RegClassID:
245212a251cSArtem Tamazov   case AMDGPU::TTMP_64RegClassID:
246212a251cSArtem Tamazov     shift = 1;
247212a251cSArtem Tamazov     break;
248212a251cSArtem Tamazov   case AMDGPU::SGPR_128RegClassID:
249212a251cSArtem Tamazov   case AMDGPU::TTMP_128RegClassID:
250ac106addSNikolay Haustov   // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
251ac106addSNikolay Haustov   // this bundle?
252ac106addSNikolay Haustov   case AMDGPU::SReg_256RegClassID:
253ac106addSNikolay Haustov   // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
254ac106addSNikolay Haustov   // this bundle?
255212a251cSArtem Tamazov   case AMDGPU::SReg_512RegClassID:
256212a251cSArtem Tamazov     shift = 2;
257212a251cSArtem Tamazov     break;
258ac106addSNikolay Haustov   // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
259ac106addSNikolay Haustov   // this bundle?
260212a251cSArtem Tamazov   default:
26192b355b1SMatt Arsenault     llvm_unreachable("unhandled register class");
262ac106addSNikolay Haustov   }
26392b355b1SMatt Arsenault 
26492b355b1SMatt Arsenault   if (Val % (1 << shift)) {
265ac106addSNikolay Haustov     *CommentStream << "Warning: " << getRegClassName(SRegClassID)
266ac106addSNikolay Haustov                    << ": scalar reg isn't aligned " << Val;
26792b355b1SMatt Arsenault   }
26892b355b1SMatt Arsenault 
269ac106addSNikolay Haustov   return createRegOperand(SRegClassID, Val >> shift);
270ac106addSNikolay Haustov }
271ac106addSNikolay Haustov 
272ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
273212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
274ac106addSNikolay Haustov }
275ac106addSNikolay Haustov 
276ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
277212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
278ac106addSNikolay Haustov }
279ac106addSNikolay Haustov 
2804bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
2814bd72361SMatt Arsenault   return decodeSrcOp(OPW16, Val);
2824bd72361SMatt Arsenault }
2834bd72361SMatt Arsenault 
2849be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
2859be7b0d4SMatt Arsenault   return decodeSrcOp(OPWV216, Val);
2869be7b0d4SMatt Arsenault }
2879be7b0d4SMatt Arsenault 
288ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
289cb540bc0SMatt Arsenault   // Some instructions have operand restrictions beyond what the encoding
290cb540bc0SMatt Arsenault   // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
291cb540bc0SMatt Arsenault   // high bit.
292cb540bc0SMatt Arsenault   Val &= 255;
293cb540bc0SMatt Arsenault 
294ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
295ac106addSNikolay Haustov }
296ac106addSNikolay Haustov 
297ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
298ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
299ac106addSNikolay Haustov }
300ac106addSNikolay Haustov 
301ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
302ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
303ac106addSNikolay Haustov }
304ac106addSNikolay Haustov 
305ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
306ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
307ac106addSNikolay Haustov }
308ac106addSNikolay Haustov 
309ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
310ac106addSNikolay Haustov   // table-gen generated disassembler doesn't care about operand types
311ac106addSNikolay Haustov   // leaving only registry class so SSrc_32 operand turns into SReg_32
312ac106addSNikolay Haustov   // and therefore we accept immediates and literals here as well
313212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
314ac106addSNikolay Haustov }
315ac106addSNikolay Haustov 
316640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
317640c44b8SMatt Arsenault   unsigned Val) const {
318640c44b8SMatt Arsenault   // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
31938e496b1SArtem Tamazov   return decodeOperand_SReg_32(Val);
32038e496b1SArtem Tamazov }
32138e496b1SArtem Tamazov 
322ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
323640c44b8SMatt Arsenault   return decodeSrcOp(OPW64, Val);
324640c44b8SMatt Arsenault }
325640c44b8SMatt Arsenault 
326640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
327212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
328ac106addSNikolay Haustov }
329ac106addSNikolay Haustov 
330ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
331212a251cSArtem Tamazov   return decodeSrcOp(OPW128, Val);
332ac106addSNikolay Haustov }
333ac106addSNikolay Haustov 
334ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
335ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
336ac106addSNikolay Haustov }
337ac106addSNikolay Haustov 
338ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
339ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
340ac106addSNikolay Haustov }
341ac106addSNikolay Haustov 
342ac106addSNikolay Haustov 
343ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
344ac106addSNikolay Haustov   // For now all literal constants are supposed to be unsigned integer
345ac106addSNikolay Haustov   // ToDo: deal with signed/unsigned 64-bit integer constants
346ac106addSNikolay Haustov   // ToDo: deal with float/double constants
347*ce941c9cSDmitry Preobrazhensky   if (!HasLiteral) {
348*ce941c9cSDmitry Preobrazhensky     if (Bytes.size() < 4) {
349ac106addSNikolay Haustov       return errOperand(0, "cannot read literal, inst bytes left " +
350ac106addSNikolay Haustov                         Twine(Bytes.size()));
351*ce941c9cSDmitry Preobrazhensky     }
352*ce941c9cSDmitry Preobrazhensky     HasLiteral = true;
353*ce941c9cSDmitry Preobrazhensky     Literal = eatBytes<uint32_t>(Bytes);
354*ce941c9cSDmitry Preobrazhensky   }
355*ce941c9cSDmitry Preobrazhensky   return MCOperand::createImm(Literal);
356ac106addSNikolay Haustov }
357ac106addSNikolay Haustov 
358ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
359212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
360212a251cSArtem Tamazov   assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
361212a251cSArtem Tamazov   return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
362212a251cSArtem Tamazov     (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
363212a251cSArtem Tamazov     (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
364212a251cSArtem Tamazov       // Cast prevents negative overflow.
365ac106addSNikolay Haustov }
366ac106addSNikolay Haustov 
3674bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) {
3684bd72361SMatt Arsenault   switch (Imm) {
3694bd72361SMatt Arsenault   case 240:
3704bd72361SMatt Arsenault     return FloatToBits(0.5f);
3714bd72361SMatt Arsenault   case 241:
3724bd72361SMatt Arsenault     return FloatToBits(-0.5f);
3734bd72361SMatt Arsenault   case 242:
3744bd72361SMatt Arsenault     return FloatToBits(1.0f);
3754bd72361SMatt Arsenault   case 243:
3764bd72361SMatt Arsenault     return FloatToBits(-1.0f);
3774bd72361SMatt Arsenault   case 244:
3784bd72361SMatt Arsenault     return FloatToBits(2.0f);
3794bd72361SMatt Arsenault   case 245:
3804bd72361SMatt Arsenault     return FloatToBits(-2.0f);
3814bd72361SMatt Arsenault   case 246:
3824bd72361SMatt Arsenault     return FloatToBits(4.0f);
3834bd72361SMatt Arsenault   case 247:
3844bd72361SMatt Arsenault     return FloatToBits(-4.0f);
3854bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3864bd72361SMatt Arsenault     return 0x3e22f983;
3874bd72361SMatt Arsenault   default:
3884bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
3894bd72361SMatt Arsenault   }
3904bd72361SMatt Arsenault }
3914bd72361SMatt Arsenault 
3924bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) {
3934bd72361SMatt Arsenault   switch (Imm) {
3944bd72361SMatt Arsenault   case 240:
3954bd72361SMatt Arsenault     return DoubleToBits(0.5);
3964bd72361SMatt Arsenault   case 241:
3974bd72361SMatt Arsenault     return DoubleToBits(-0.5);
3984bd72361SMatt Arsenault   case 242:
3994bd72361SMatt Arsenault     return DoubleToBits(1.0);
4004bd72361SMatt Arsenault   case 243:
4014bd72361SMatt Arsenault     return DoubleToBits(-1.0);
4024bd72361SMatt Arsenault   case 244:
4034bd72361SMatt Arsenault     return DoubleToBits(2.0);
4044bd72361SMatt Arsenault   case 245:
4054bd72361SMatt Arsenault     return DoubleToBits(-2.0);
4064bd72361SMatt Arsenault   case 246:
4074bd72361SMatt Arsenault     return DoubleToBits(4.0);
4084bd72361SMatt Arsenault   case 247:
4094bd72361SMatt Arsenault     return DoubleToBits(-4.0);
4104bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4114bd72361SMatt Arsenault     return 0x3fc45f306dc9c882;
4124bd72361SMatt Arsenault   default:
4134bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4144bd72361SMatt Arsenault   }
4154bd72361SMatt Arsenault }
4164bd72361SMatt Arsenault 
4174bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) {
4184bd72361SMatt Arsenault   switch (Imm) {
4194bd72361SMatt Arsenault   case 240:
4204bd72361SMatt Arsenault     return 0x3800;
4214bd72361SMatt Arsenault   case 241:
4224bd72361SMatt Arsenault     return 0xB800;
4234bd72361SMatt Arsenault   case 242:
4244bd72361SMatt Arsenault     return 0x3C00;
4254bd72361SMatt Arsenault   case 243:
4264bd72361SMatt Arsenault     return 0xBC00;
4274bd72361SMatt Arsenault   case 244:
4284bd72361SMatt Arsenault     return 0x4000;
4294bd72361SMatt Arsenault   case 245:
4304bd72361SMatt Arsenault     return 0xC000;
4314bd72361SMatt Arsenault   case 246:
4324bd72361SMatt Arsenault     return 0x4400;
4334bd72361SMatt Arsenault   case 247:
4344bd72361SMatt Arsenault     return 0xC400;
4354bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4364bd72361SMatt Arsenault     return 0x3118;
4374bd72361SMatt Arsenault   default:
4384bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4394bd72361SMatt Arsenault   }
4404bd72361SMatt Arsenault }
4414bd72361SMatt Arsenault 
4424bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
443212a251cSArtem Tamazov   assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
444212a251cSArtem Tamazov       && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
4454bd72361SMatt Arsenault 
446e1818af8STom Stellard   // ToDo: case 248: 1/(2*PI) - is allowed only on VI
4474bd72361SMatt Arsenault   switch (Width) {
4484bd72361SMatt Arsenault   case OPW32:
4494bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal32(Imm));
4504bd72361SMatt Arsenault   case OPW64:
4514bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal64(Imm));
4524bd72361SMatt Arsenault   case OPW16:
4539be7b0d4SMatt Arsenault   case OPWV216:
4544bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal16(Imm));
4554bd72361SMatt Arsenault   default:
4564bd72361SMatt Arsenault     llvm_unreachable("implement me");
457e1818af8STom Stellard   }
458e1818af8STom Stellard }
459e1818af8STom Stellard 
460212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
461e1818af8STom Stellard   using namespace AMDGPU;
462212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
463212a251cSArtem Tamazov   switch (Width) {
464212a251cSArtem Tamazov   default: // fall
4654bd72361SMatt Arsenault   case OPW32:
4664bd72361SMatt Arsenault   case OPW16:
4679be7b0d4SMatt Arsenault   case OPWV216:
4684bd72361SMatt Arsenault     return VGPR_32RegClassID;
469212a251cSArtem Tamazov   case OPW64: return VReg_64RegClassID;
470212a251cSArtem Tamazov   case OPW128: return VReg_128RegClassID;
471212a251cSArtem Tamazov   }
472212a251cSArtem Tamazov }
473212a251cSArtem Tamazov 
474212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
475212a251cSArtem Tamazov   using namespace AMDGPU;
476212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
477212a251cSArtem Tamazov   switch (Width) {
478212a251cSArtem Tamazov   default: // fall
4794bd72361SMatt Arsenault   case OPW32:
4804bd72361SMatt Arsenault   case OPW16:
4819be7b0d4SMatt Arsenault   case OPWV216:
4824bd72361SMatt Arsenault     return SGPR_32RegClassID;
483212a251cSArtem Tamazov   case OPW64: return SGPR_64RegClassID;
484212a251cSArtem Tamazov   case OPW128: return SGPR_128RegClassID;
485212a251cSArtem Tamazov   }
486212a251cSArtem Tamazov }
487212a251cSArtem Tamazov 
488212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
489212a251cSArtem Tamazov   using namespace AMDGPU;
490212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
491212a251cSArtem Tamazov   switch (Width) {
492212a251cSArtem Tamazov   default: // fall
4934bd72361SMatt Arsenault   case OPW32:
4944bd72361SMatt Arsenault   case OPW16:
4959be7b0d4SMatt Arsenault   case OPWV216:
4964bd72361SMatt Arsenault     return TTMP_32RegClassID;
497212a251cSArtem Tamazov   case OPW64: return TTMP_64RegClassID;
498212a251cSArtem Tamazov   case OPW128: return TTMP_128RegClassID;
499212a251cSArtem Tamazov   }
500212a251cSArtem Tamazov }
501212a251cSArtem Tamazov 
502212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
503212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
504ac106addSNikolay Haustov   assert(Val < 512); // enum9
505ac106addSNikolay Haustov 
506212a251cSArtem Tamazov   if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
507212a251cSArtem Tamazov     return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
508212a251cSArtem Tamazov   }
509b49c3361SArtem Tamazov   if (Val <= SGPR_MAX) {
510b49c3361SArtem Tamazov     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
511212a251cSArtem Tamazov     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
512212a251cSArtem Tamazov   }
513212a251cSArtem Tamazov   if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
514212a251cSArtem Tamazov     return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
515212a251cSArtem Tamazov   }
516ac106addSNikolay Haustov 
5174bd72361SMatt Arsenault   assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
518212a251cSArtem Tamazov 
519212a251cSArtem Tamazov   if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
520ac106addSNikolay Haustov     return decodeIntImmed(Val);
521ac106addSNikolay Haustov 
522212a251cSArtem Tamazov   if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
5234bd72361SMatt Arsenault     return decodeFPImmed(Width, Val);
524ac106addSNikolay Haustov 
525212a251cSArtem Tamazov   if (Val == LITERAL_CONST)
526ac106addSNikolay Haustov     return decodeLiteralConstant();
527ac106addSNikolay Haustov 
5284bd72361SMatt Arsenault   switch (Width) {
5294bd72361SMatt Arsenault   case OPW32:
5304bd72361SMatt Arsenault   case OPW16:
5319be7b0d4SMatt Arsenault   case OPWV216:
5324bd72361SMatt Arsenault     return decodeSpecialReg32(Val);
5334bd72361SMatt Arsenault   case OPW64:
5344bd72361SMatt Arsenault     return decodeSpecialReg64(Val);
5354bd72361SMatt Arsenault   default:
5364bd72361SMatt Arsenault     llvm_unreachable("unexpected immediate type");
5374bd72361SMatt Arsenault   }
538ac106addSNikolay Haustov }
539ac106addSNikolay Haustov 
540ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
541ac106addSNikolay Haustov   using namespace AMDGPU;
542e1818af8STom Stellard   switch (Val) {
543ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
544ac106addSNikolay Haustov   case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
545e1818af8STom Stellard     // ToDo: no support for xnack_mask_lo/_hi register
546e1818af8STom Stellard   case 104:
547ac106addSNikolay Haustov   case 105: break;
548ac106addSNikolay Haustov   case 106: return createRegOperand(VCC_LO);
549ac106addSNikolay Haustov   case 107: return createRegOperand(VCC_HI);
550212a251cSArtem Tamazov   case 108: return createRegOperand(TBA_LO);
551212a251cSArtem Tamazov   case 109: return createRegOperand(TBA_HI);
552212a251cSArtem Tamazov   case 110: return createRegOperand(TMA_LO);
553212a251cSArtem Tamazov   case 111: return createRegOperand(TMA_HI);
554ac106addSNikolay Haustov   case 124: return createRegOperand(M0);
555ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC_LO);
556ac106addSNikolay Haustov   case 127: return createRegOperand(EXEC_HI);
557a3b3b489SMatt Arsenault   case 235: return createRegOperand(SRC_SHARED_BASE);
558a3b3b489SMatt Arsenault   case 236: return createRegOperand(SRC_SHARED_LIMIT);
559a3b3b489SMatt Arsenault   case 237: return createRegOperand(SRC_PRIVATE_BASE);
560a3b3b489SMatt Arsenault   case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
561a3b3b489SMatt Arsenault     // TODO: SRC_POPS_EXITING_WAVE_ID
562e1818af8STom Stellard     // ToDo: no support for vccz register
563ac106addSNikolay Haustov   case 251: break;
564e1818af8STom Stellard     // ToDo: no support for execz register
565ac106addSNikolay Haustov   case 252: break;
566ac106addSNikolay Haustov   case 253: return createRegOperand(SCC);
567ac106addSNikolay Haustov   default: break;
568e1818af8STom Stellard   }
569ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
570e1818af8STom Stellard }
571e1818af8STom Stellard 
572ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
573161a158eSNikolay Haustov   using namespace AMDGPU;
574161a158eSNikolay Haustov   switch (Val) {
575ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
576ac106addSNikolay Haustov   case 106: return createRegOperand(VCC);
577212a251cSArtem Tamazov   case 108: return createRegOperand(TBA);
578212a251cSArtem Tamazov   case 110: return createRegOperand(TMA);
579ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC);
580ac106addSNikolay Haustov   default: break;
581161a158eSNikolay Haustov   }
582ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
583161a158eSNikolay Haustov }
584161a158eSNikolay Haustov 
5853381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5863381d7a2SSam Kolton // AMDGPUSymbolizer
5873381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5883381d7a2SSam Kolton 
5893381d7a2SSam Kolton // Try to find symbol name for specified label
5903381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
5913381d7a2SSam Kolton                                 raw_ostream &/*cStream*/, int64_t Value,
5923381d7a2SSam Kolton                                 uint64_t /*Address*/, bool IsBranch,
5933381d7a2SSam Kolton                                 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
5943381d7a2SSam Kolton   typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
5953381d7a2SSam Kolton   typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
5963381d7a2SSam Kolton 
5973381d7a2SSam Kolton   if (!IsBranch) {
5983381d7a2SSam Kolton     return false;
5993381d7a2SSam Kolton   }
6003381d7a2SSam Kolton 
6013381d7a2SSam Kolton   auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
6023381d7a2SSam Kolton   auto Result = std::find_if(Symbols->begin(), Symbols->end(),
6033381d7a2SSam Kolton                              [Value](const SymbolInfoTy& Val) {
6043381d7a2SSam Kolton                                 return std::get<0>(Val) == static_cast<uint64_t>(Value)
6053381d7a2SSam Kolton                                     && std::get<2>(Val) == ELF::STT_NOTYPE;
6063381d7a2SSam Kolton                              });
6073381d7a2SSam Kolton   if (Result != Symbols->end()) {
6083381d7a2SSam Kolton     auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
6093381d7a2SSam Kolton     const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
6103381d7a2SSam Kolton     Inst.addOperand(MCOperand::createExpr(Add));
6113381d7a2SSam Kolton     return true;
6123381d7a2SSam Kolton   }
6133381d7a2SSam Kolton   return false;
6143381d7a2SSam Kolton }
6153381d7a2SSam Kolton 
61692b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
61792b355b1SMatt Arsenault                                                        int64_t Value,
61892b355b1SMatt Arsenault                                                        uint64_t Address) {
61992b355b1SMatt Arsenault   llvm_unreachable("unimplemented");
62092b355b1SMatt Arsenault }
62192b355b1SMatt Arsenault 
6223381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6233381d7a2SSam Kolton // Initialization
6243381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6253381d7a2SSam Kolton 
6263381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
6273381d7a2SSam Kolton                               LLVMOpInfoCallback /*GetOpInfo*/,
6283381d7a2SSam Kolton                               LLVMSymbolLookupCallback /*SymbolLookUp*/,
6293381d7a2SSam Kolton                               void *DisInfo,
6303381d7a2SSam Kolton                               MCContext *Ctx,
6313381d7a2SSam Kolton                               std::unique_ptr<MCRelocationInfo> &&RelInfo) {
6323381d7a2SSam Kolton   return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
6333381d7a2SSam Kolton }
6343381d7a2SSam Kolton 
635e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T,
636e1818af8STom Stellard                                                 const MCSubtargetInfo &STI,
637e1818af8STom Stellard                                                 MCContext &Ctx) {
638e1818af8STom Stellard   return new AMDGPUDisassembler(STI, Ctx);
639e1818af8STom Stellard }
640e1818af8STom Stellard 
641e1818af8STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() {
642f42454b9SMehdi Amini   TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
643f42454b9SMehdi Amini                                          createAMDGPUDisassembler);
644f42454b9SMehdi Amini   TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
645f42454b9SMehdi Amini                                        createAMDGPUSymbolizer);
646e1818af8STom Stellard }
647