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"
25*678e111eSMatt 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;
129ac106addSNikolay Haustov   const auto SavedBytes = Bytes;
130ac106addSNikolay Haustov   if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
131ac106addSNikolay Haustov     MI = TmpInst;
132ac106addSNikolay Haustov     return MCDisassembler::Success;
133ac106addSNikolay Haustov   }
134ac106addSNikolay Haustov   Bytes = SavedBytes;
135ac106addSNikolay Haustov   return MCDisassembler::Fail;
136ac106addSNikolay Haustov }
137ac106addSNikolay Haustov 
138e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
139ac106addSNikolay Haustov                                                 ArrayRef<uint8_t> Bytes_,
140e1818af8STom Stellard                                                 uint64_t Address,
141e1818af8STom Stellard                                                 raw_ostream &WS,
142e1818af8STom Stellard                                                 raw_ostream &CS) const {
143e1818af8STom Stellard   CommentStream = &CS;
144e1818af8STom Stellard 
145e1818af8STom Stellard   // ToDo: AMDGPUDisassembler supports only VI ISA.
146d122abeaSMatt Arsenault   if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
147d122abeaSMatt Arsenault     report_fatal_error("Disassembly not yet supported for subtarget");
148e1818af8STom Stellard 
149ac106addSNikolay Haustov   const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
150ac106addSNikolay Haustov   Bytes = Bytes_.slice(0, MaxInstBytesNum);
151161a158eSNikolay Haustov 
152ac106addSNikolay Haustov   DecodeStatus Res = MCDisassembler::Fail;
153ac106addSNikolay Haustov   do {
154824e804bSValery Pykhtin     // ToDo: better to switch encoding length using some bit predicate
155ac106addSNikolay Haustov     // but it is unknown yet, so try all we can
1561048fb18SSam Kolton 
157c9bdcb75SSam Kolton     // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
158c9bdcb75SSam Kolton     // encodings
1591048fb18SSam Kolton     if (Bytes.size() >= 8) {
1601048fb18SSam Kolton       const uint64_t QW = eatBytes<uint64_t>(Bytes);
1611048fb18SSam Kolton       Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
1621048fb18SSam Kolton       if (Res) break;
163c9bdcb75SSam Kolton 
164c9bdcb75SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
165c9bdcb75SSam Kolton       if (Res) break;
1661048fb18SSam Kolton     }
1671048fb18SSam Kolton 
1681048fb18SSam Kolton     // Reinitialize Bytes as DPP64 could have eaten too much
1691048fb18SSam Kolton     Bytes = Bytes_.slice(0, MaxInstBytesNum);
1701048fb18SSam Kolton 
1711048fb18SSam Kolton     // Try decode 32-bit instruction
172ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1731048fb18SSam Kolton     const uint32_t DW = eatBytes<uint32_t>(Bytes);
174ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
175ac106addSNikolay Haustov     if (Res) break;
176e1818af8STom Stellard 
177ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
178ac106addSNikolay Haustov     if (Res) break;
179ac106addSNikolay Haustov 
180ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1811048fb18SSam Kolton     const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
182ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
183ac106addSNikolay Haustov     if (Res) break;
184ac106addSNikolay Haustov 
185ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
186ac106addSNikolay Haustov   } while (false);
187ac106addSNikolay Haustov 
188*678e111eSMatt Arsenault   if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
189*678e111eSMatt Arsenault               MI.getOpcode() == AMDGPU::V_MAC_F32_e64_si ||
190*678e111eSMatt Arsenault               MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi)) {
191*678e111eSMatt Arsenault     // Insert dummy unused src2_modifiers.
192*678e111eSMatt Arsenault     int Src2ModIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
193*678e111eSMatt Arsenault                                                 AMDGPU::OpName::src2_modifiers);
194*678e111eSMatt Arsenault     auto I = MI.begin();
195*678e111eSMatt Arsenault     std::advance(I, Src2ModIdx);
196*678e111eSMatt Arsenault     MI.insert(I, MCOperand::createImm(0));
197*678e111eSMatt Arsenault   }
198*678e111eSMatt Arsenault 
199ac106addSNikolay Haustov   Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
200ac106addSNikolay Haustov   return Res;
201161a158eSNikolay Haustov }
202e1818af8STom Stellard 
203ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
204ac106addSNikolay Haustov   return getContext().getRegisterInfo()->
205ac106addSNikolay Haustov     getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
206e1818af8STom Stellard }
207e1818af8STom Stellard 
208ac106addSNikolay Haustov inline
209ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V,
210ac106addSNikolay Haustov                                          const Twine& ErrMsg) const {
211ac106addSNikolay Haustov   *CommentStream << "Error: " + ErrMsg;
212ac106addSNikolay Haustov 
213ac106addSNikolay Haustov   // ToDo: add support for error operands to MCInst.h
214ac106addSNikolay Haustov   // return MCOperand::createError(V);
215ac106addSNikolay Haustov   return MCOperand();
216ac106addSNikolay Haustov }
217ac106addSNikolay Haustov 
218ac106addSNikolay Haustov inline
219ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
220ac106addSNikolay Haustov   return MCOperand::createReg(RegId);
221ac106addSNikolay Haustov }
222ac106addSNikolay Haustov 
223ac106addSNikolay Haustov inline
224ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
225ac106addSNikolay Haustov                                                unsigned Val) const {
226ac106addSNikolay Haustov   const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
227ac106addSNikolay Haustov   if (Val >= RegCl.getNumRegs())
228ac106addSNikolay Haustov     return errOperand(Val, Twine(getRegClassName(RegClassID)) +
229ac106addSNikolay Haustov                            ": unknown register " + Twine(Val));
230ac106addSNikolay Haustov   return createRegOperand(RegCl.getRegister(Val));
231ac106addSNikolay Haustov }
232ac106addSNikolay Haustov 
233ac106addSNikolay Haustov inline
234ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
235ac106addSNikolay Haustov                                                 unsigned Val) const {
236ac106addSNikolay Haustov   // ToDo: SI/CI have 104 SGPRs, VI - 102
237ac106addSNikolay Haustov   // Valery: here we accepting as much as we can, let assembler sort it out
238ac106addSNikolay Haustov   int shift = 0;
239ac106addSNikolay Haustov   switch (SRegClassID) {
240ac106addSNikolay Haustov   case AMDGPU::SGPR_32RegClassID:
241212a251cSArtem Tamazov   case AMDGPU::TTMP_32RegClassID:
242212a251cSArtem Tamazov     break;
243ac106addSNikolay Haustov   case AMDGPU::SGPR_64RegClassID:
244212a251cSArtem Tamazov   case AMDGPU::TTMP_64RegClassID:
245212a251cSArtem Tamazov     shift = 1;
246212a251cSArtem Tamazov     break;
247212a251cSArtem Tamazov   case AMDGPU::SGPR_128RegClassID:
248212a251cSArtem Tamazov   case AMDGPU::TTMP_128RegClassID:
249ac106addSNikolay Haustov   // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
250ac106addSNikolay Haustov   // this bundle?
251ac106addSNikolay Haustov   case AMDGPU::SReg_256RegClassID:
252ac106addSNikolay Haustov   // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
253ac106addSNikolay Haustov   // this bundle?
254212a251cSArtem Tamazov   case AMDGPU::SReg_512RegClassID:
255212a251cSArtem Tamazov     shift = 2;
256212a251cSArtem Tamazov     break;
257ac106addSNikolay Haustov   // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
258ac106addSNikolay Haustov   // this bundle?
259212a251cSArtem Tamazov   default:
26092b355b1SMatt Arsenault     llvm_unreachable("unhandled register class");
261ac106addSNikolay Haustov   }
26292b355b1SMatt Arsenault 
26392b355b1SMatt Arsenault   if (Val % (1 << shift)) {
264ac106addSNikolay Haustov     *CommentStream << "Warning: " << getRegClassName(SRegClassID)
265ac106addSNikolay Haustov                    << ": scalar reg isn't aligned " << Val;
26692b355b1SMatt Arsenault   }
26792b355b1SMatt Arsenault 
268ac106addSNikolay Haustov   return createRegOperand(SRegClassID, Val >> shift);
269ac106addSNikolay Haustov }
270ac106addSNikolay Haustov 
271ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
272212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
273ac106addSNikolay Haustov }
274ac106addSNikolay Haustov 
275ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
276212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
277ac106addSNikolay Haustov }
278ac106addSNikolay Haustov 
2794bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
2804bd72361SMatt Arsenault   return decodeSrcOp(OPW16, Val);
2814bd72361SMatt Arsenault }
2824bd72361SMatt Arsenault 
2839be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
2849be7b0d4SMatt Arsenault   return decodeSrcOp(OPWV216, Val);
2859be7b0d4SMatt Arsenault }
2869be7b0d4SMatt Arsenault 
287ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
288cb540bc0SMatt Arsenault   // Some instructions have operand restrictions beyond what the encoding
289cb540bc0SMatt Arsenault   // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
290cb540bc0SMatt Arsenault   // high bit.
291cb540bc0SMatt Arsenault   Val &= 255;
292cb540bc0SMatt Arsenault 
293ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
294ac106addSNikolay Haustov }
295ac106addSNikolay Haustov 
296ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
297ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
298ac106addSNikolay Haustov }
299ac106addSNikolay Haustov 
300ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
301ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
302ac106addSNikolay Haustov }
303ac106addSNikolay Haustov 
304ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
305ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
306ac106addSNikolay Haustov }
307ac106addSNikolay Haustov 
308ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
309ac106addSNikolay Haustov   // table-gen generated disassembler doesn't care about operand types
310ac106addSNikolay Haustov   // leaving only registry class so SSrc_32 operand turns into SReg_32
311ac106addSNikolay Haustov   // and therefore we accept immediates and literals here as well
312212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
313ac106addSNikolay Haustov }
314ac106addSNikolay Haustov 
315640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
316640c44b8SMatt Arsenault   unsigned Val) const {
317640c44b8SMatt Arsenault   // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
31838e496b1SArtem Tamazov   return decodeOperand_SReg_32(Val);
31938e496b1SArtem Tamazov }
32038e496b1SArtem Tamazov 
321ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
322640c44b8SMatt Arsenault   return decodeSrcOp(OPW64, Val);
323640c44b8SMatt Arsenault }
324640c44b8SMatt Arsenault 
325640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
326212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
327ac106addSNikolay Haustov }
328ac106addSNikolay Haustov 
329ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
330212a251cSArtem Tamazov   return decodeSrcOp(OPW128, Val);
331ac106addSNikolay Haustov }
332ac106addSNikolay Haustov 
333ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
334ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
335ac106addSNikolay Haustov }
336ac106addSNikolay Haustov 
337ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
338ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
339ac106addSNikolay Haustov }
340ac106addSNikolay Haustov 
341ac106addSNikolay Haustov 
342ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
343ac106addSNikolay Haustov   // For now all literal constants are supposed to be unsigned integer
344ac106addSNikolay Haustov   // ToDo: deal with signed/unsigned 64-bit integer constants
345ac106addSNikolay Haustov   // ToDo: deal with float/double constants
346ac106addSNikolay Haustov   if (Bytes.size() < 4)
347ac106addSNikolay Haustov     return errOperand(0, "cannot read literal, inst bytes left " +
348ac106addSNikolay Haustov                          Twine(Bytes.size()));
3491048fb18SSam Kolton   return MCOperand::createImm(eatBytes<uint32_t>(Bytes));
350ac106addSNikolay Haustov }
351ac106addSNikolay Haustov 
352ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
353212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
354212a251cSArtem Tamazov   assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
355212a251cSArtem Tamazov   return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
356212a251cSArtem Tamazov     (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
357212a251cSArtem Tamazov     (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
358212a251cSArtem Tamazov       // Cast prevents negative overflow.
359ac106addSNikolay Haustov }
360ac106addSNikolay Haustov 
3614bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) {
3624bd72361SMatt Arsenault   switch (Imm) {
3634bd72361SMatt Arsenault   case 240:
3644bd72361SMatt Arsenault     return FloatToBits(0.5f);
3654bd72361SMatt Arsenault   case 241:
3664bd72361SMatt Arsenault     return FloatToBits(-0.5f);
3674bd72361SMatt Arsenault   case 242:
3684bd72361SMatt Arsenault     return FloatToBits(1.0f);
3694bd72361SMatt Arsenault   case 243:
3704bd72361SMatt Arsenault     return FloatToBits(-1.0f);
3714bd72361SMatt Arsenault   case 244:
3724bd72361SMatt Arsenault     return FloatToBits(2.0f);
3734bd72361SMatt Arsenault   case 245:
3744bd72361SMatt Arsenault     return FloatToBits(-2.0f);
3754bd72361SMatt Arsenault   case 246:
3764bd72361SMatt Arsenault     return FloatToBits(4.0f);
3774bd72361SMatt Arsenault   case 247:
3784bd72361SMatt Arsenault     return FloatToBits(-4.0f);
3794bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3804bd72361SMatt Arsenault     return 0x3e22f983;
3814bd72361SMatt Arsenault   default:
3824bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
3834bd72361SMatt Arsenault   }
3844bd72361SMatt Arsenault }
3854bd72361SMatt Arsenault 
3864bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) {
3874bd72361SMatt Arsenault   switch (Imm) {
3884bd72361SMatt Arsenault   case 240:
3894bd72361SMatt Arsenault     return DoubleToBits(0.5);
3904bd72361SMatt Arsenault   case 241:
3914bd72361SMatt Arsenault     return DoubleToBits(-0.5);
3924bd72361SMatt Arsenault   case 242:
3934bd72361SMatt Arsenault     return DoubleToBits(1.0);
3944bd72361SMatt Arsenault   case 243:
3954bd72361SMatt Arsenault     return DoubleToBits(-1.0);
3964bd72361SMatt Arsenault   case 244:
3974bd72361SMatt Arsenault     return DoubleToBits(2.0);
3984bd72361SMatt Arsenault   case 245:
3994bd72361SMatt Arsenault     return DoubleToBits(-2.0);
4004bd72361SMatt Arsenault   case 246:
4014bd72361SMatt Arsenault     return DoubleToBits(4.0);
4024bd72361SMatt Arsenault   case 247:
4034bd72361SMatt Arsenault     return DoubleToBits(-4.0);
4044bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4054bd72361SMatt Arsenault     return 0x3fc45f306dc9c882;
4064bd72361SMatt Arsenault   default:
4074bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4084bd72361SMatt Arsenault   }
4094bd72361SMatt Arsenault }
4104bd72361SMatt Arsenault 
4114bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) {
4124bd72361SMatt Arsenault   switch (Imm) {
4134bd72361SMatt Arsenault   case 240:
4144bd72361SMatt Arsenault     return 0x3800;
4154bd72361SMatt Arsenault   case 241:
4164bd72361SMatt Arsenault     return 0xB800;
4174bd72361SMatt Arsenault   case 242:
4184bd72361SMatt Arsenault     return 0x3C00;
4194bd72361SMatt Arsenault   case 243:
4204bd72361SMatt Arsenault     return 0xBC00;
4214bd72361SMatt Arsenault   case 244:
4224bd72361SMatt Arsenault     return 0x4000;
4234bd72361SMatt Arsenault   case 245:
4244bd72361SMatt Arsenault     return 0xC000;
4254bd72361SMatt Arsenault   case 246:
4264bd72361SMatt Arsenault     return 0x4400;
4274bd72361SMatt Arsenault   case 247:
4284bd72361SMatt Arsenault     return 0xC400;
4294bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4304bd72361SMatt Arsenault     return 0x3118;
4314bd72361SMatt Arsenault   default:
4324bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4334bd72361SMatt Arsenault   }
4344bd72361SMatt Arsenault }
4354bd72361SMatt Arsenault 
4364bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
437212a251cSArtem Tamazov   assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
438212a251cSArtem Tamazov       && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
4394bd72361SMatt Arsenault 
440e1818af8STom Stellard   // ToDo: case 248: 1/(2*PI) - is allowed only on VI
4414bd72361SMatt Arsenault   switch (Width) {
4424bd72361SMatt Arsenault   case OPW32:
4434bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal32(Imm));
4444bd72361SMatt Arsenault   case OPW64:
4454bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal64(Imm));
4464bd72361SMatt Arsenault   case OPW16:
4479be7b0d4SMatt Arsenault   case OPWV216:
4484bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal16(Imm));
4494bd72361SMatt Arsenault   default:
4504bd72361SMatt Arsenault     llvm_unreachable("implement me");
451e1818af8STom Stellard   }
452e1818af8STom Stellard }
453e1818af8STom Stellard 
454212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
455e1818af8STom Stellard   using namespace AMDGPU;
456212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
457212a251cSArtem Tamazov   switch (Width) {
458212a251cSArtem Tamazov   default: // fall
4594bd72361SMatt Arsenault   case OPW32:
4604bd72361SMatt Arsenault   case OPW16:
4619be7b0d4SMatt Arsenault   case OPWV216:
4624bd72361SMatt Arsenault     return VGPR_32RegClassID;
463212a251cSArtem Tamazov   case OPW64: return VReg_64RegClassID;
464212a251cSArtem Tamazov   case OPW128: return VReg_128RegClassID;
465212a251cSArtem Tamazov   }
466212a251cSArtem Tamazov }
467212a251cSArtem Tamazov 
468212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
469212a251cSArtem Tamazov   using namespace AMDGPU;
470212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
471212a251cSArtem Tamazov   switch (Width) {
472212a251cSArtem Tamazov   default: // fall
4734bd72361SMatt Arsenault   case OPW32:
4744bd72361SMatt Arsenault   case OPW16:
4759be7b0d4SMatt Arsenault   case OPWV216:
4764bd72361SMatt Arsenault     return SGPR_32RegClassID;
477212a251cSArtem Tamazov   case OPW64: return SGPR_64RegClassID;
478212a251cSArtem Tamazov   case OPW128: return SGPR_128RegClassID;
479212a251cSArtem Tamazov   }
480212a251cSArtem Tamazov }
481212a251cSArtem Tamazov 
482212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
483212a251cSArtem Tamazov   using namespace AMDGPU;
484212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
485212a251cSArtem Tamazov   switch (Width) {
486212a251cSArtem Tamazov   default: // fall
4874bd72361SMatt Arsenault   case OPW32:
4884bd72361SMatt Arsenault   case OPW16:
4899be7b0d4SMatt Arsenault   case OPWV216:
4904bd72361SMatt Arsenault     return TTMP_32RegClassID;
491212a251cSArtem Tamazov   case OPW64: return TTMP_64RegClassID;
492212a251cSArtem Tamazov   case OPW128: return TTMP_128RegClassID;
493212a251cSArtem Tamazov   }
494212a251cSArtem Tamazov }
495212a251cSArtem Tamazov 
496212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
497212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
498ac106addSNikolay Haustov   assert(Val < 512); // enum9
499ac106addSNikolay Haustov 
500212a251cSArtem Tamazov   if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
501212a251cSArtem Tamazov     return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
502212a251cSArtem Tamazov   }
503b49c3361SArtem Tamazov   if (Val <= SGPR_MAX) {
504b49c3361SArtem Tamazov     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
505212a251cSArtem Tamazov     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
506212a251cSArtem Tamazov   }
507212a251cSArtem Tamazov   if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
508212a251cSArtem Tamazov     return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
509212a251cSArtem Tamazov   }
510ac106addSNikolay Haustov 
5114bd72361SMatt Arsenault   assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
512212a251cSArtem Tamazov 
513212a251cSArtem Tamazov   if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
514ac106addSNikolay Haustov     return decodeIntImmed(Val);
515ac106addSNikolay Haustov 
516212a251cSArtem Tamazov   if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
5174bd72361SMatt Arsenault     return decodeFPImmed(Width, Val);
518ac106addSNikolay Haustov 
519212a251cSArtem Tamazov   if (Val == LITERAL_CONST)
520ac106addSNikolay Haustov     return decodeLiteralConstant();
521ac106addSNikolay Haustov 
5224bd72361SMatt Arsenault   switch (Width) {
5234bd72361SMatt Arsenault   case OPW32:
5244bd72361SMatt Arsenault   case OPW16:
5259be7b0d4SMatt Arsenault   case OPWV216:
5264bd72361SMatt Arsenault     return decodeSpecialReg32(Val);
5274bd72361SMatt Arsenault   case OPW64:
5284bd72361SMatt Arsenault     return decodeSpecialReg64(Val);
5294bd72361SMatt Arsenault   default:
5304bd72361SMatt Arsenault     llvm_unreachable("unexpected immediate type");
5314bd72361SMatt Arsenault   }
532ac106addSNikolay Haustov }
533ac106addSNikolay Haustov 
534ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
535ac106addSNikolay Haustov   using namespace AMDGPU;
536e1818af8STom Stellard   switch (Val) {
537ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
538ac106addSNikolay Haustov   case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
539e1818af8STom Stellard     // ToDo: no support for xnack_mask_lo/_hi register
540e1818af8STom Stellard   case 104:
541ac106addSNikolay Haustov   case 105: break;
542ac106addSNikolay Haustov   case 106: return createRegOperand(VCC_LO);
543ac106addSNikolay Haustov   case 107: return createRegOperand(VCC_HI);
544212a251cSArtem Tamazov   case 108: return createRegOperand(TBA_LO);
545212a251cSArtem Tamazov   case 109: return createRegOperand(TBA_HI);
546212a251cSArtem Tamazov   case 110: return createRegOperand(TMA_LO);
547212a251cSArtem Tamazov   case 111: return createRegOperand(TMA_HI);
548ac106addSNikolay Haustov   case 124: return createRegOperand(M0);
549ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC_LO);
550ac106addSNikolay Haustov   case 127: return createRegOperand(EXEC_HI);
551a3b3b489SMatt Arsenault   case 235: return createRegOperand(SRC_SHARED_BASE);
552a3b3b489SMatt Arsenault   case 236: return createRegOperand(SRC_SHARED_LIMIT);
553a3b3b489SMatt Arsenault   case 237: return createRegOperand(SRC_PRIVATE_BASE);
554a3b3b489SMatt Arsenault   case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
555a3b3b489SMatt Arsenault     // TODO: SRC_POPS_EXITING_WAVE_ID
556e1818af8STom Stellard     // ToDo: no support for vccz register
557ac106addSNikolay Haustov   case 251: break;
558e1818af8STom Stellard     // ToDo: no support for execz register
559ac106addSNikolay Haustov   case 252: break;
560ac106addSNikolay Haustov   case 253: return createRegOperand(SCC);
561ac106addSNikolay Haustov   default: break;
562e1818af8STom Stellard   }
563ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
564e1818af8STom Stellard }
565e1818af8STom Stellard 
566ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
567161a158eSNikolay Haustov   using namespace AMDGPU;
568161a158eSNikolay Haustov   switch (Val) {
569ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
570ac106addSNikolay Haustov   case 106: return createRegOperand(VCC);
571212a251cSArtem Tamazov   case 108: return createRegOperand(TBA);
572212a251cSArtem Tamazov   case 110: return createRegOperand(TMA);
573ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC);
574ac106addSNikolay Haustov   default: break;
575161a158eSNikolay Haustov   }
576ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
577161a158eSNikolay Haustov }
578161a158eSNikolay Haustov 
5793381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5803381d7a2SSam Kolton // AMDGPUSymbolizer
5813381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5823381d7a2SSam Kolton 
5833381d7a2SSam Kolton // Try to find symbol name for specified label
5843381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
5853381d7a2SSam Kolton                                 raw_ostream &/*cStream*/, int64_t Value,
5863381d7a2SSam Kolton                                 uint64_t /*Address*/, bool IsBranch,
5873381d7a2SSam Kolton                                 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
5883381d7a2SSam Kolton   typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
5893381d7a2SSam Kolton   typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
5903381d7a2SSam Kolton 
5913381d7a2SSam Kolton   if (!IsBranch) {
5923381d7a2SSam Kolton     return false;
5933381d7a2SSam Kolton   }
5943381d7a2SSam Kolton 
5953381d7a2SSam Kolton   auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
5963381d7a2SSam Kolton   auto Result = std::find_if(Symbols->begin(), Symbols->end(),
5973381d7a2SSam Kolton                              [Value](const SymbolInfoTy& Val) {
5983381d7a2SSam Kolton                                 return std::get<0>(Val) == static_cast<uint64_t>(Value)
5993381d7a2SSam Kolton                                     && std::get<2>(Val) == ELF::STT_NOTYPE;
6003381d7a2SSam Kolton                              });
6013381d7a2SSam Kolton   if (Result != Symbols->end()) {
6023381d7a2SSam Kolton     auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
6033381d7a2SSam Kolton     const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
6043381d7a2SSam Kolton     Inst.addOperand(MCOperand::createExpr(Add));
6053381d7a2SSam Kolton     return true;
6063381d7a2SSam Kolton   }
6073381d7a2SSam Kolton   return false;
6083381d7a2SSam Kolton }
6093381d7a2SSam Kolton 
61092b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
61192b355b1SMatt Arsenault                                                        int64_t Value,
61292b355b1SMatt Arsenault                                                        uint64_t Address) {
61392b355b1SMatt Arsenault   llvm_unreachable("unimplemented");
61492b355b1SMatt Arsenault }
61592b355b1SMatt Arsenault 
6163381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6173381d7a2SSam Kolton // Initialization
6183381d7a2SSam Kolton //===----------------------------------------------------------------------===//
6193381d7a2SSam Kolton 
6203381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
6213381d7a2SSam Kolton                               LLVMOpInfoCallback /*GetOpInfo*/,
6223381d7a2SSam Kolton                               LLVMSymbolLookupCallback /*SymbolLookUp*/,
6233381d7a2SSam Kolton                               void *DisInfo,
6243381d7a2SSam Kolton                               MCContext *Ctx,
6253381d7a2SSam Kolton                               std::unique_ptr<MCRelocationInfo> &&RelInfo) {
6263381d7a2SSam Kolton   return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
6273381d7a2SSam Kolton }
6283381d7a2SSam Kolton 
629e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T,
630e1818af8STom Stellard                                                 const MCSubtargetInfo &STI,
631e1818af8STom Stellard                                                 MCContext &Ctx) {
632e1818af8STom Stellard   return new AMDGPUDisassembler(STI, Ctx);
633e1818af8STom Stellard }
634e1818af8STom Stellard 
635e1818af8STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() {
636f42454b9SMehdi Amini   TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
637f42454b9SMehdi Amini                                          createAMDGPUDisassembler);
638f42454b9SMehdi Amini   TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
639f42454b9SMehdi Amini                                        createAMDGPUSymbolizer);
640e1818af8STom Stellard }
641