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"
25e1818af8STom Stellard 
26ac106addSNikolay Haustov #include "llvm/MC/MCContext.h"
27e1818af8STom Stellard #include "llvm/MC/MCFixedLenDisassembler.h"
28e1818af8STom Stellard #include "llvm/MC/MCInst.h"
29e1818af8STom Stellard #include "llvm/MC/MCInstrDesc.h"
30e1818af8STom Stellard #include "llvm/MC/MCSubtargetInfo.h"
313381d7a2SSam Kolton #include "llvm/Support/ELF.h"
32ac106addSNikolay Haustov #include "llvm/Support/Endian.h"
33e1818af8STom Stellard #include "llvm/Support/Debug.h"
34e1818af8STom Stellard #include "llvm/Support/TargetRegistry.h"
35e1818af8STom Stellard 
36e1818af8STom Stellard 
37e1818af8STom Stellard using namespace llvm;
38e1818af8STom Stellard 
39e1818af8STom Stellard #define DEBUG_TYPE "amdgpu-disassembler"
40e1818af8STom Stellard 
41e1818af8STom Stellard typedef llvm::MCDisassembler::DecodeStatus DecodeStatus;
42e1818af8STom Stellard 
43e1818af8STom Stellard 
44ac106addSNikolay Haustov inline static MCDisassembler::DecodeStatus
45ac106addSNikolay Haustov addOperand(MCInst &Inst, const MCOperand& Opnd) {
46ac106addSNikolay Haustov   Inst.addOperand(Opnd);
47ac106addSNikolay Haustov   return Opnd.isValid() ?
48ac106addSNikolay Haustov     MCDisassembler::Success :
49ac106addSNikolay Haustov     MCDisassembler::SoftFail;
50e1818af8STom Stellard }
51e1818af8STom Stellard 
523381d7a2SSam Kolton static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
533381d7a2SSam Kolton                                        uint64_t Addr, const void *Decoder) {
543381d7a2SSam Kolton   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
553381d7a2SSam Kolton 
563381d7a2SSam Kolton   APInt SignedOffset(18, Imm * 4, true);
573381d7a2SSam Kolton   int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
583381d7a2SSam Kolton 
593381d7a2SSam Kolton   if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
603381d7a2SSam Kolton     return MCDisassembler::Success;
613381d7a2SSam Kolton   return addOperand(Inst, MCOperand::createImm(Imm));
623381d7a2SSam Kolton }
633381d7a2SSam Kolton 
64ac106addSNikolay Haustov #define DECODE_OPERAND2(RegClass, DecName) \
65ac106addSNikolay Haustov static DecodeStatus Decode##RegClass##RegisterClass(MCInst &Inst, \
66ac106addSNikolay Haustov                                                     unsigned Imm, \
67ac106addSNikolay Haustov                                                     uint64_t /*Addr*/, \
68ac106addSNikolay Haustov                                                     const void *Decoder) { \
69ac106addSNikolay Haustov   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
70ac106addSNikolay Haustov   return addOperand(Inst, DAsm->decodeOperand_##DecName(Imm)); \
71e1818af8STom Stellard }
72e1818af8STom Stellard 
73ac106addSNikolay Haustov #define DECODE_OPERAND(RegClass) DECODE_OPERAND2(RegClass, RegClass)
74e1818af8STom Stellard 
75ac106addSNikolay Haustov DECODE_OPERAND(VGPR_32)
76ac106addSNikolay Haustov DECODE_OPERAND(VS_32)
77ac106addSNikolay Haustov DECODE_OPERAND(VS_64)
78e1818af8STom Stellard 
79ac106addSNikolay Haustov DECODE_OPERAND(VReg_64)
80ac106addSNikolay Haustov DECODE_OPERAND(VReg_96)
81ac106addSNikolay Haustov DECODE_OPERAND(VReg_128)
82e1818af8STom Stellard 
83ac106addSNikolay Haustov DECODE_OPERAND(SReg_32)
84640c44b8SMatt Arsenault DECODE_OPERAND(SReg_32_XM0_XEXEC)
85ac106addSNikolay Haustov DECODE_OPERAND(SReg_64)
86640c44b8SMatt Arsenault DECODE_OPERAND(SReg_64_XEXEC)
87ac106addSNikolay Haustov DECODE_OPERAND(SReg_128)
88ac106addSNikolay Haustov DECODE_OPERAND(SReg_256)
89a4db224dSValery Pykhtin DECODE_OPERAND(SReg_512)
90e1818af8STom Stellard 
914bd72361SMatt Arsenault 
924bd72361SMatt Arsenault static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
934bd72361SMatt Arsenault                                          unsigned Imm,
944bd72361SMatt Arsenault                                          uint64_t Addr,
954bd72361SMatt Arsenault                                          const void *Decoder) {
964bd72361SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
974bd72361SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
984bd72361SMatt Arsenault }
994bd72361SMatt Arsenault 
100*9be7b0d4SMatt Arsenault static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
101*9be7b0d4SMatt Arsenault                                          unsigned Imm,
102*9be7b0d4SMatt Arsenault                                          uint64_t Addr,
103*9be7b0d4SMatt Arsenault                                          const void *Decoder) {
104*9be7b0d4SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
105*9be7b0d4SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
106*9be7b0d4SMatt Arsenault }
107*9be7b0d4SMatt Arsenault 
108e1818af8STom Stellard #define GET_SUBTARGETINFO_ENUM
109e1818af8STom Stellard #include "AMDGPUGenSubtargetInfo.inc"
110e1818af8STom Stellard #undef GET_SUBTARGETINFO_ENUM
111e1818af8STom Stellard 
112e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc"
113e1818af8STom Stellard 
114e1818af8STom Stellard //===----------------------------------------------------------------------===//
115e1818af8STom Stellard //
116e1818af8STom Stellard //===----------------------------------------------------------------------===//
117e1818af8STom Stellard 
1181048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
1191048fb18SSam Kolton   assert(Bytes.size() >= sizeof(T));
1201048fb18SSam Kolton   const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
1211048fb18SSam Kolton   Bytes = Bytes.slice(sizeof(T));
122ac106addSNikolay Haustov   return Res;
123ac106addSNikolay Haustov }
124ac106addSNikolay Haustov 
125ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
126ac106addSNikolay Haustov                                                MCInst &MI,
127ac106addSNikolay Haustov                                                uint64_t Inst,
128ac106addSNikolay Haustov                                                uint64_t Address) const {
129ac106addSNikolay Haustov   assert(MI.getOpcode() == 0);
130ac106addSNikolay Haustov   assert(MI.getNumOperands() == 0);
131ac106addSNikolay Haustov   MCInst TmpInst;
132ac106addSNikolay Haustov   const auto SavedBytes = Bytes;
133ac106addSNikolay Haustov   if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
134ac106addSNikolay Haustov     MI = TmpInst;
135ac106addSNikolay Haustov     return MCDisassembler::Success;
136ac106addSNikolay Haustov   }
137ac106addSNikolay Haustov   Bytes = SavedBytes;
138ac106addSNikolay Haustov   return MCDisassembler::Fail;
139ac106addSNikolay Haustov }
140ac106addSNikolay Haustov 
141e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
142ac106addSNikolay Haustov                                                 ArrayRef<uint8_t> Bytes_,
143e1818af8STom Stellard                                                 uint64_t Address,
144e1818af8STom Stellard                                                 raw_ostream &WS,
145e1818af8STom Stellard                                                 raw_ostream &CS) const {
146e1818af8STom Stellard   CommentStream = &CS;
147e1818af8STom Stellard 
148e1818af8STom Stellard   // ToDo: AMDGPUDisassembler supports only VI ISA.
149d122abeaSMatt Arsenault   if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
150d122abeaSMatt Arsenault     report_fatal_error("Disassembly not yet supported for subtarget");
151e1818af8STom Stellard 
152ac106addSNikolay Haustov   const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
153ac106addSNikolay Haustov   Bytes = Bytes_.slice(0, MaxInstBytesNum);
154161a158eSNikolay Haustov 
155ac106addSNikolay Haustov   DecodeStatus Res = MCDisassembler::Fail;
156ac106addSNikolay Haustov   do {
157824e804bSValery Pykhtin     // ToDo: better to switch encoding length using some bit predicate
158ac106addSNikolay Haustov     // but it is unknown yet, so try all we can
1591048fb18SSam Kolton 
160c9bdcb75SSam Kolton     // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
161c9bdcb75SSam Kolton     // encodings
1621048fb18SSam Kolton     if (Bytes.size() >= 8) {
1631048fb18SSam Kolton       const uint64_t QW = eatBytes<uint64_t>(Bytes);
1641048fb18SSam Kolton       Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
1651048fb18SSam Kolton       if (Res) break;
166c9bdcb75SSam Kolton 
167c9bdcb75SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
168c9bdcb75SSam Kolton       if (Res) break;
1691048fb18SSam Kolton     }
1701048fb18SSam Kolton 
1711048fb18SSam Kolton     // Reinitialize Bytes as DPP64 could have eaten too much
1721048fb18SSam Kolton     Bytes = Bytes_.slice(0, MaxInstBytesNum);
1731048fb18SSam Kolton 
1741048fb18SSam Kolton     // Try decode 32-bit instruction
175ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1761048fb18SSam Kolton     const uint32_t DW = eatBytes<uint32_t>(Bytes);
177ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
178ac106addSNikolay Haustov     if (Res) break;
179e1818af8STom Stellard 
180ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
181ac106addSNikolay Haustov     if (Res) break;
182ac106addSNikolay Haustov 
183ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1841048fb18SSam Kolton     const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
185ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
186ac106addSNikolay Haustov     if (Res) break;
187ac106addSNikolay Haustov 
188ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
189ac106addSNikolay Haustov   } while (false);
190ac106addSNikolay Haustov 
191ac106addSNikolay Haustov   Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
192ac106addSNikolay Haustov   return Res;
193161a158eSNikolay Haustov }
194e1818af8STom Stellard 
195ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
196ac106addSNikolay Haustov   return getContext().getRegisterInfo()->
197ac106addSNikolay Haustov     getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
198e1818af8STom Stellard }
199e1818af8STom Stellard 
200ac106addSNikolay Haustov inline
201ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V,
202ac106addSNikolay Haustov                                          const Twine& ErrMsg) const {
203ac106addSNikolay Haustov   *CommentStream << "Error: " + ErrMsg;
204ac106addSNikolay Haustov 
205ac106addSNikolay Haustov   // ToDo: add support for error operands to MCInst.h
206ac106addSNikolay Haustov   // return MCOperand::createError(V);
207ac106addSNikolay Haustov   return MCOperand();
208ac106addSNikolay Haustov }
209ac106addSNikolay Haustov 
210ac106addSNikolay Haustov inline
211ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
212ac106addSNikolay Haustov   return MCOperand::createReg(RegId);
213ac106addSNikolay Haustov }
214ac106addSNikolay Haustov 
215ac106addSNikolay Haustov inline
216ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
217ac106addSNikolay Haustov                                                unsigned Val) const {
218ac106addSNikolay Haustov   const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
219ac106addSNikolay Haustov   if (Val >= RegCl.getNumRegs())
220ac106addSNikolay Haustov     return errOperand(Val, Twine(getRegClassName(RegClassID)) +
221ac106addSNikolay Haustov                            ": unknown register " + Twine(Val));
222ac106addSNikolay Haustov   return createRegOperand(RegCl.getRegister(Val));
223ac106addSNikolay Haustov }
224ac106addSNikolay Haustov 
225ac106addSNikolay Haustov inline
226ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
227ac106addSNikolay Haustov                                                 unsigned Val) const {
228ac106addSNikolay Haustov   // ToDo: SI/CI have 104 SGPRs, VI - 102
229ac106addSNikolay Haustov   // Valery: here we accepting as much as we can, let assembler sort it out
230ac106addSNikolay Haustov   int shift = 0;
231ac106addSNikolay Haustov   switch (SRegClassID) {
232ac106addSNikolay Haustov   case AMDGPU::SGPR_32RegClassID:
233212a251cSArtem Tamazov   case AMDGPU::TTMP_32RegClassID:
234212a251cSArtem Tamazov     break;
235ac106addSNikolay Haustov   case AMDGPU::SGPR_64RegClassID:
236212a251cSArtem Tamazov   case AMDGPU::TTMP_64RegClassID:
237212a251cSArtem Tamazov     shift = 1;
238212a251cSArtem Tamazov     break;
239212a251cSArtem Tamazov   case AMDGPU::SGPR_128RegClassID:
240212a251cSArtem Tamazov   case AMDGPU::TTMP_128RegClassID:
241ac106addSNikolay Haustov   // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
242ac106addSNikolay Haustov   // this bundle?
243ac106addSNikolay Haustov   case AMDGPU::SReg_256RegClassID:
244ac106addSNikolay Haustov   // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
245ac106addSNikolay Haustov   // this bundle?
246212a251cSArtem Tamazov   case AMDGPU::SReg_512RegClassID:
247212a251cSArtem Tamazov     shift = 2;
248212a251cSArtem Tamazov     break;
249ac106addSNikolay Haustov   // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
250ac106addSNikolay Haustov   // this bundle?
251212a251cSArtem Tamazov   default:
25292b355b1SMatt Arsenault     llvm_unreachable("unhandled register class");
253ac106addSNikolay Haustov   }
25492b355b1SMatt Arsenault 
25592b355b1SMatt Arsenault   if (Val % (1 << shift)) {
256ac106addSNikolay Haustov     *CommentStream << "Warning: " << getRegClassName(SRegClassID)
257ac106addSNikolay Haustov                    << ": scalar reg isn't aligned " << Val;
25892b355b1SMatt Arsenault   }
25992b355b1SMatt Arsenault 
260ac106addSNikolay Haustov   return createRegOperand(SRegClassID, Val >> shift);
261ac106addSNikolay Haustov }
262ac106addSNikolay Haustov 
263ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
264212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
265ac106addSNikolay Haustov }
266ac106addSNikolay Haustov 
267ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
268212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
269ac106addSNikolay Haustov }
270ac106addSNikolay Haustov 
2714bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
2724bd72361SMatt Arsenault   return decodeSrcOp(OPW16, Val);
2734bd72361SMatt Arsenault }
2744bd72361SMatt Arsenault 
275*9be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
276*9be7b0d4SMatt Arsenault   return decodeSrcOp(OPWV216, Val);
277*9be7b0d4SMatt Arsenault }
278*9be7b0d4SMatt Arsenault 
279ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
280cb540bc0SMatt Arsenault   // Some instructions have operand restrictions beyond what the encoding
281cb540bc0SMatt Arsenault   // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
282cb540bc0SMatt Arsenault   // high bit.
283cb540bc0SMatt Arsenault   Val &= 255;
284cb540bc0SMatt Arsenault 
285ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
286ac106addSNikolay Haustov }
287ac106addSNikolay Haustov 
288ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
289ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
290ac106addSNikolay Haustov }
291ac106addSNikolay Haustov 
292ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
293ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
294ac106addSNikolay Haustov }
295ac106addSNikolay Haustov 
296ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
297ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
298ac106addSNikolay Haustov }
299ac106addSNikolay Haustov 
300ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
301ac106addSNikolay Haustov   // table-gen generated disassembler doesn't care about operand types
302ac106addSNikolay Haustov   // leaving only registry class so SSrc_32 operand turns into SReg_32
303ac106addSNikolay Haustov   // and therefore we accept immediates and literals here as well
304212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
305ac106addSNikolay Haustov }
306ac106addSNikolay Haustov 
307640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
308640c44b8SMatt Arsenault   unsigned Val) const {
309640c44b8SMatt Arsenault   // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
31038e496b1SArtem Tamazov   return decodeOperand_SReg_32(Val);
31138e496b1SArtem Tamazov }
31238e496b1SArtem Tamazov 
313ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
314640c44b8SMatt Arsenault   return decodeSrcOp(OPW64, Val);
315640c44b8SMatt Arsenault }
316640c44b8SMatt Arsenault 
317640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
318212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
319ac106addSNikolay Haustov }
320ac106addSNikolay Haustov 
321ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
322212a251cSArtem Tamazov   return decodeSrcOp(OPW128, Val);
323ac106addSNikolay Haustov }
324ac106addSNikolay Haustov 
325ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
326ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
327ac106addSNikolay Haustov }
328ac106addSNikolay Haustov 
329ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
330ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
331ac106addSNikolay Haustov }
332ac106addSNikolay Haustov 
333ac106addSNikolay Haustov 
334ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
335ac106addSNikolay Haustov   // For now all literal constants are supposed to be unsigned integer
336ac106addSNikolay Haustov   // ToDo: deal with signed/unsigned 64-bit integer constants
337ac106addSNikolay Haustov   // ToDo: deal with float/double constants
338ac106addSNikolay Haustov   if (Bytes.size() < 4)
339ac106addSNikolay Haustov     return errOperand(0, "cannot read literal, inst bytes left " +
340ac106addSNikolay Haustov                          Twine(Bytes.size()));
3411048fb18SSam Kolton   return MCOperand::createImm(eatBytes<uint32_t>(Bytes));
342ac106addSNikolay Haustov }
343ac106addSNikolay Haustov 
344ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
345212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
346212a251cSArtem Tamazov   assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
347212a251cSArtem Tamazov   return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
348212a251cSArtem Tamazov     (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
349212a251cSArtem Tamazov     (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
350212a251cSArtem Tamazov       // Cast prevents negative overflow.
351ac106addSNikolay Haustov }
352ac106addSNikolay Haustov 
3534bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) {
3544bd72361SMatt Arsenault   switch (Imm) {
3554bd72361SMatt Arsenault   case 240:
3564bd72361SMatt Arsenault     return FloatToBits(0.5f);
3574bd72361SMatt Arsenault   case 241:
3584bd72361SMatt Arsenault     return FloatToBits(-0.5f);
3594bd72361SMatt Arsenault   case 242:
3604bd72361SMatt Arsenault     return FloatToBits(1.0f);
3614bd72361SMatt Arsenault   case 243:
3624bd72361SMatt Arsenault     return FloatToBits(-1.0f);
3634bd72361SMatt Arsenault   case 244:
3644bd72361SMatt Arsenault     return FloatToBits(2.0f);
3654bd72361SMatt Arsenault   case 245:
3664bd72361SMatt Arsenault     return FloatToBits(-2.0f);
3674bd72361SMatt Arsenault   case 246:
3684bd72361SMatt Arsenault     return FloatToBits(4.0f);
3694bd72361SMatt Arsenault   case 247:
3704bd72361SMatt Arsenault     return FloatToBits(-4.0f);
3714bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3724bd72361SMatt Arsenault     return 0x3e22f983;
3734bd72361SMatt Arsenault   default:
3744bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
3754bd72361SMatt Arsenault   }
3764bd72361SMatt Arsenault }
3774bd72361SMatt Arsenault 
3784bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) {
3794bd72361SMatt Arsenault   switch (Imm) {
3804bd72361SMatt Arsenault   case 240:
3814bd72361SMatt Arsenault     return DoubleToBits(0.5);
3824bd72361SMatt Arsenault   case 241:
3834bd72361SMatt Arsenault     return DoubleToBits(-0.5);
3844bd72361SMatt Arsenault   case 242:
3854bd72361SMatt Arsenault     return DoubleToBits(1.0);
3864bd72361SMatt Arsenault   case 243:
3874bd72361SMatt Arsenault     return DoubleToBits(-1.0);
3884bd72361SMatt Arsenault   case 244:
3894bd72361SMatt Arsenault     return DoubleToBits(2.0);
3904bd72361SMatt Arsenault   case 245:
3914bd72361SMatt Arsenault     return DoubleToBits(-2.0);
3924bd72361SMatt Arsenault   case 246:
3934bd72361SMatt Arsenault     return DoubleToBits(4.0);
3944bd72361SMatt Arsenault   case 247:
3954bd72361SMatt Arsenault     return DoubleToBits(-4.0);
3964bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3974bd72361SMatt Arsenault     return 0x3fc45f306dc9c882;
3984bd72361SMatt Arsenault   default:
3994bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4004bd72361SMatt Arsenault   }
4014bd72361SMatt Arsenault }
4024bd72361SMatt Arsenault 
4034bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) {
4044bd72361SMatt Arsenault   switch (Imm) {
4054bd72361SMatt Arsenault   case 240:
4064bd72361SMatt Arsenault     return 0x3800;
4074bd72361SMatt Arsenault   case 241:
4084bd72361SMatt Arsenault     return 0xB800;
4094bd72361SMatt Arsenault   case 242:
4104bd72361SMatt Arsenault     return 0x3C00;
4114bd72361SMatt Arsenault   case 243:
4124bd72361SMatt Arsenault     return 0xBC00;
4134bd72361SMatt Arsenault   case 244:
4144bd72361SMatt Arsenault     return 0x4000;
4154bd72361SMatt Arsenault   case 245:
4164bd72361SMatt Arsenault     return 0xC000;
4174bd72361SMatt Arsenault   case 246:
4184bd72361SMatt Arsenault     return 0x4400;
4194bd72361SMatt Arsenault   case 247:
4204bd72361SMatt Arsenault     return 0xC400;
4214bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4224bd72361SMatt Arsenault     return 0x3118;
4234bd72361SMatt Arsenault   default:
4244bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4254bd72361SMatt Arsenault   }
4264bd72361SMatt Arsenault }
4274bd72361SMatt Arsenault 
4284bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
429212a251cSArtem Tamazov   assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
430212a251cSArtem Tamazov       && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
4314bd72361SMatt Arsenault 
432e1818af8STom Stellard   // ToDo: case 248: 1/(2*PI) - is allowed only on VI
4334bd72361SMatt Arsenault   switch (Width) {
4344bd72361SMatt Arsenault   case OPW32:
4354bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal32(Imm));
4364bd72361SMatt Arsenault   case OPW64:
4374bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal64(Imm));
4384bd72361SMatt Arsenault   case OPW16:
439*9be7b0d4SMatt Arsenault   case OPWV216:
4404bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal16(Imm));
4414bd72361SMatt Arsenault   default:
4424bd72361SMatt Arsenault     llvm_unreachable("implement me");
443e1818af8STom Stellard   }
444e1818af8STom Stellard }
445e1818af8STom Stellard 
446212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
447e1818af8STom Stellard   using namespace AMDGPU;
448212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
449212a251cSArtem Tamazov   switch (Width) {
450212a251cSArtem Tamazov   default: // fall
4514bd72361SMatt Arsenault   case OPW32:
4524bd72361SMatt Arsenault   case OPW16:
453*9be7b0d4SMatt Arsenault   case OPWV216:
4544bd72361SMatt Arsenault     return VGPR_32RegClassID;
455212a251cSArtem Tamazov   case OPW64: return VReg_64RegClassID;
456212a251cSArtem Tamazov   case OPW128: return VReg_128RegClassID;
457212a251cSArtem Tamazov   }
458212a251cSArtem Tamazov }
459212a251cSArtem Tamazov 
460212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
461212a251cSArtem Tamazov   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:
467*9be7b0d4SMatt Arsenault   case OPWV216:
4684bd72361SMatt Arsenault     return SGPR_32RegClassID;
469212a251cSArtem Tamazov   case OPW64: return SGPR_64RegClassID;
470212a251cSArtem Tamazov   case OPW128: return SGPR_128RegClassID;
471212a251cSArtem Tamazov   }
472212a251cSArtem Tamazov }
473212a251cSArtem Tamazov 
474212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(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:
481*9be7b0d4SMatt Arsenault   case OPWV216:
4824bd72361SMatt Arsenault     return TTMP_32RegClassID;
483212a251cSArtem Tamazov   case OPW64: return TTMP_64RegClassID;
484212a251cSArtem Tamazov   case OPW128: return TTMP_128RegClassID;
485212a251cSArtem Tamazov   }
486212a251cSArtem Tamazov }
487212a251cSArtem Tamazov 
488212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
489212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
490ac106addSNikolay Haustov   assert(Val < 512); // enum9
491ac106addSNikolay Haustov 
492212a251cSArtem Tamazov   if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
493212a251cSArtem Tamazov     return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
494212a251cSArtem Tamazov   }
495b49c3361SArtem Tamazov   if (Val <= SGPR_MAX) {
496b49c3361SArtem Tamazov     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
497212a251cSArtem Tamazov     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
498212a251cSArtem Tamazov   }
499212a251cSArtem Tamazov   if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
500212a251cSArtem Tamazov     return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
501212a251cSArtem Tamazov   }
502ac106addSNikolay Haustov 
5034bd72361SMatt Arsenault   assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
504212a251cSArtem Tamazov 
505212a251cSArtem Tamazov   if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
506ac106addSNikolay Haustov     return decodeIntImmed(Val);
507ac106addSNikolay Haustov 
508212a251cSArtem Tamazov   if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
5094bd72361SMatt Arsenault     return decodeFPImmed(Width, Val);
510ac106addSNikolay Haustov 
511212a251cSArtem Tamazov   if (Val == LITERAL_CONST)
512ac106addSNikolay Haustov     return decodeLiteralConstant();
513ac106addSNikolay Haustov 
5144bd72361SMatt Arsenault   switch (Width) {
5154bd72361SMatt Arsenault   case OPW32:
5164bd72361SMatt Arsenault   case OPW16:
517*9be7b0d4SMatt Arsenault   case OPWV216:
5184bd72361SMatt Arsenault     return decodeSpecialReg32(Val);
5194bd72361SMatt Arsenault   case OPW64:
5204bd72361SMatt Arsenault     return decodeSpecialReg64(Val);
5214bd72361SMatt Arsenault   default:
5224bd72361SMatt Arsenault     llvm_unreachable("unexpected immediate type");
5234bd72361SMatt Arsenault   }
524ac106addSNikolay Haustov }
525ac106addSNikolay Haustov 
526ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
527ac106addSNikolay Haustov   using namespace AMDGPU;
528e1818af8STom Stellard   switch (Val) {
529ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
530ac106addSNikolay Haustov   case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
531e1818af8STom Stellard     // ToDo: no support for xnack_mask_lo/_hi register
532e1818af8STom Stellard   case 104:
533ac106addSNikolay Haustov   case 105: break;
534ac106addSNikolay Haustov   case 106: return createRegOperand(VCC_LO);
535ac106addSNikolay Haustov   case 107: return createRegOperand(VCC_HI);
536212a251cSArtem Tamazov   case 108: return createRegOperand(TBA_LO);
537212a251cSArtem Tamazov   case 109: return createRegOperand(TBA_HI);
538212a251cSArtem Tamazov   case 110: return createRegOperand(TMA_LO);
539212a251cSArtem Tamazov   case 111: return createRegOperand(TMA_HI);
540ac106addSNikolay Haustov   case 124: return createRegOperand(M0);
541ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC_LO);
542ac106addSNikolay Haustov   case 127: return createRegOperand(EXEC_HI);
543a3b3b489SMatt Arsenault   case 235: return createRegOperand(SRC_SHARED_BASE);
544a3b3b489SMatt Arsenault   case 236: return createRegOperand(SRC_SHARED_LIMIT);
545a3b3b489SMatt Arsenault   case 237: return createRegOperand(SRC_PRIVATE_BASE);
546a3b3b489SMatt Arsenault   case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
547a3b3b489SMatt Arsenault     // TODO: SRC_POPS_EXITING_WAVE_ID
548e1818af8STom Stellard     // ToDo: no support for vccz register
549ac106addSNikolay Haustov   case 251: break;
550e1818af8STom Stellard     // ToDo: no support for execz register
551ac106addSNikolay Haustov   case 252: break;
552ac106addSNikolay Haustov   case 253: return createRegOperand(SCC);
553ac106addSNikolay Haustov   default: break;
554e1818af8STom Stellard   }
555ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
556e1818af8STom Stellard }
557e1818af8STom Stellard 
558ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
559161a158eSNikolay Haustov   using namespace AMDGPU;
560161a158eSNikolay Haustov   switch (Val) {
561ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
562ac106addSNikolay Haustov   case 106: return createRegOperand(VCC);
563212a251cSArtem Tamazov   case 108: return createRegOperand(TBA);
564212a251cSArtem Tamazov   case 110: return createRegOperand(TMA);
565ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC);
566ac106addSNikolay Haustov   default: break;
567161a158eSNikolay Haustov   }
568ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
569161a158eSNikolay Haustov }
570161a158eSNikolay Haustov 
5713381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5723381d7a2SSam Kolton // AMDGPUSymbolizer
5733381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5743381d7a2SSam Kolton 
5753381d7a2SSam Kolton // Try to find symbol name for specified label
5763381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
5773381d7a2SSam Kolton                                 raw_ostream &/*cStream*/, int64_t Value,
5783381d7a2SSam Kolton                                 uint64_t /*Address*/, bool IsBranch,
5793381d7a2SSam Kolton                                 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
5803381d7a2SSam Kolton   typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
5813381d7a2SSam Kolton   typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
5823381d7a2SSam Kolton 
5833381d7a2SSam Kolton   if (!IsBranch) {
5843381d7a2SSam Kolton     return false;
5853381d7a2SSam Kolton   }
5863381d7a2SSam Kolton 
5873381d7a2SSam Kolton   auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
5883381d7a2SSam Kolton   auto Result = std::find_if(Symbols->begin(), Symbols->end(),
5893381d7a2SSam Kolton                              [Value](const SymbolInfoTy& Val) {
5903381d7a2SSam Kolton                                 return std::get<0>(Val) == static_cast<uint64_t>(Value)
5913381d7a2SSam Kolton                                     && std::get<2>(Val) == ELF::STT_NOTYPE;
5923381d7a2SSam Kolton                              });
5933381d7a2SSam Kolton   if (Result != Symbols->end()) {
5943381d7a2SSam Kolton     auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
5953381d7a2SSam Kolton     const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
5963381d7a2SSam Kolton     Inst.addOperand(MCOperand::createExpr(Add));
5973381d7a2SSam Kolton     return true;
5983381d7a2SSam Kolton   }
5993381d7a2SSam Kolton   return false;
6003381d7a2SSam Kolton }
6013381d7a2SSam Kolton 
60292b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
60392b355b1SMatt Arsenault                                                        int64_t Value,
60492b355b1SMatt Arsenault                                                        uint64_t Address) {
60592b355b1SMatt Arsenault   llvm_unreachable("unimplemented");
60692b355b1SMatt Arsenault }
60792b355b1SMatt Arsenault 
6083381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6093381d7a2SSam Kolton // Initialization
6103381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6113381d7a2SSam Kolton 
6123381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
6133381d7a2SSam Kolton                               LLVMOpInfoCallback /*GetOpInfo*/,
6143381d7a2SSam Kolton                               LLVMSymbolLookupCallback /*SymbolLookUp*/,
6153381d7a2SSam Kolton                               void *DisInfo,
6163381d7a2SSam Kolton                               MCContext *Ctx,
6173381d7a2SSam Kolton                               std::unique_ptr<MCRelocationInfo> &&RelInfo) {
6183381d7a2SSam Kolton   return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
6193381d7a2SSam Kolton }
6203381d7a2SSam Kolton 
621e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T,
622e1818af8STom Stellard                                                 const MCSubtargetInfo &STI,
623e1818af8STom Stellard                                                 MCContext &Ctx) {
624e1818af8STom Stellard   return new AMDGPUDisassembler(STI, Ctx);
625e1818af8STom Stellard }
626e1818af8STom Stellard 
627e1818af8STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() {
628f42454b9SMehdi Amini   TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
629f42454b9SMehdi Amini                                          createAMDGPUDisassembler);
630f42454b9SMehdi Amini   TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
631f42454b9SMehdi Amini                                        createAMDGPUSymbolizer);
632e1818af8STom Stellard }
633