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 
100e1818af8STom Stellard #define GET_SUBTARGETINFO_ENUM
101e1818af8STom Stellard #include "AMDGPUGenSubtargetInfo.inc"
102e1818af8STom Stellard #undef GET_SUBTARGETINFO_ENUM
103e1818af8STom Stellard 
104e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc"
105e1818af8STom Stellard 
106e1818af8STom Stellard //===----------------------------------------------------------------------===//
107e1818af8STom Stellard //
108e1818af8STom Stellard //===----------------------------------------------------------------------===//
109e1818af8STom Stellard 
1101048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
1111048fb18SSam Kolton   assert(Bytes.size() >= sizeof(T));
1121048fb18SSam Kolton   const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
1131048fb18SSam Kolton   Bytes = Bytes.slice(sizeof(T));
114ac106addSNikolay Haustov   return Res;
115ac106addSNikolay Haustov }
116ac106addSNikolay Haustov 
117ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
118ac106addSNikolay Haustov                                                MCInst &MI,
119ac106addSNikolay Haustov                                                uint64_t Inst,
120ac106addSNikolay Haustov                                                uint64_t Address) const {
121ac106addSNikolay Haustov   assert(MI.getOpcode() == 0);
122ac106addSNikolay Haustov   assert(MI.getNumOperands() == 0);
123ac106addSNikolay Haustov   MCInst TmpInst;
124ac106addSNikolay Haustov   const auto SavedBytes = Bytes;
125ac106addSNikolay Haustov   if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
126ac106addSNikolay Haustov     MI = TmpInst;
127ac106addSNikolay Haustov     return MCDisassembler::Success;
128ac106addSNikolay Haustov   }
129ac106addSNikolay Haustov   Bytes = SavedBytes;
130ac106addSNikolay Haustov   return MCDisassembler::Fail;
131ac106addSNikolay Haustov }
132ac106addSNikolay Haustov 
133e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
134ac106addSNikolay Haustov                                                 ArrayRef<uint8_t> Bytes_,
135e1818af8STom Stellard                                                 uint64_t Address,
136e1818af8STom Stellard                                                 raw_ostream &WS,
137e1818af8STom Stellard                                                 raw_ostream &CS) const {
138e1818af8STom Stellard   CommentStream = &CS;
139e1818af8STom Stellard 
140e1818af8STom Stellard   // ToDo: AMDGPUDisassembler supports only VI ISA.
141*d122abeaSMatt Arsenault   if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding])
142*d122abeaSMatt Arsenault     report_fatal_error("Disassembly not yet supported for subtarget");
143e1818af8STom Stellard 
144ac106addSNikolay Haustov   const unsigned MaxInstBytesNum = (std::min)((size_t)8, Bytes_.size());
145ac106addSNikolay Haustov   Bytes = Bytes_.slice(0, MaxInstBytesNum);
146161a158eSNikolay Haustov 
147ac106addSNikolay Haustov   DecodeStatus Res = MCDisassembler::Fail;
148ac106addSNikolay Haustov   do {
149824e804bSValery Pykhtin     // ToDo: better to switch encoding length using some bit predicate
150ac106addSNikolay Haustov     // but it is unknown yet, so try all we can
1511048fb18SSam Kolton 
152c9bdcb75SSam Kolton     // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
153c9bdcb75SSam Kolton     // encodings
1541048fb18SSam Kolton     if (Bytes.size() >= 8) {
1551048fb18SSam Kolton       const uint64_t QW = eatBytes<uint64_t>(Bytes);
1561048fb18SSam Kolton       Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
1571048fb18SSam Kolton       if (Res) break;
158c9bdcb75SSam Kolton 
159c9bdcb75SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
160c9bdcb75SSam Kolton       if (Res) break;
1611048fb18SSam Kolton     }
1621048fb18SSam Kolton 
1631048fb18SSam Kolton     // Reinitialize Bytes as DPP64 could have eaten too much
1641048fb18SSam Kolton     Bytes = Bytes_.slice(0, MaxInstBytesNum);
1651048fb18SSam Kolton 
1661048fb18SSam Kolton     // Try decode 32-bit instruction
167ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1681048fb18SSam Kolton     const uint32_t DW = eatBytes<uint32_t>(Bytes);
169ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI32, MI, DW, Address);
170ac106addSNikolay Haustov     if (Res) break;
171e1818af8STom Stellard 
172ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
173ac106addSNikolay Haustov     if (Res) break;
174ac106addSNikolay Haustov 
175ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
1761048fb18SSam Kolton     const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
177ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableVI64, MI, QW, Address);
178ac106addSNikolay Haustov     if (Res) break;
179ac106addSNikolay Haustov 
180ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
181ac106addSNikolay Haustov   } while (false);
182ac106addSNikolay Haustov 
183ac106addSNikolay Haustov   Size = Res ? (MaxInstBytesNum - Bytes.size()) : 0;
184ac106addSNikolay Haustov   return Res;
185161a158eSNikolay Haustov }
186e1818af8STom Stellard 
187ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
188ac106addSNikolay Haustov   return getContext().getRegisterInfo()->
189ac106addSNikolay Haustov     getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
190e1818af8STom Stellard }
191e1818af8STom Stellard 
192ac106addSNikolay Haustov inline
193ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V,
194ac106addSNikolay Haustov                                          const Twine& ErrMsg) const {
195ac106addSNikolay Haustov   *CommentStream << "Error: " + ErrMsg;
196ac106addSNikolay Haustov 
197ac106addSNikolay Haustov   // ToDo: add support for error operands to MCInst.h
198ac106addSNikolay Haustov   // return MCOperand::createError(V);
199ac106addSNikolay Haustov   return MCOperand();
200ac106addSNikolay Haustov }
201ac106addSNikolay Haustov 
202ac106addSNikolay Haustov inline
203ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
204ac106addSNikolay Haustov   return MCOperand::createReg(RegId);
205ac106addSNikolay Haustov }
206ac106addSNikolay Haustov 
207ac106addSNikolay Haustov inline
208ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
209ac106addSNikolay Haustov                                                unsigned Val) const {
210ac106addSNikolay Haustov   const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
211ac106addSNikolay Haustov   if (Val >= RegCl.getNumRegs())
212ac106addSNikolay Haustov     return errOperand(Val, Twine(getRegClassName(RegClassID)) +
213ac106addSNikolay Haustov                            ": unknown register " + Twine(Val));
214ac106addSNikolay Haustov   return createRegOperand(RegCl.getRegister(Val));
215ac106addSNikolay Haustov }
216ac106addSNikolay Haustov 
217ac106addSNikolay Haustov inline
218ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
219ac106addSNikolay Haustov                                                 unsigned Val) const {
220ac106addSNikolay Haustov   // ToDo: SI/CI have 104 SGPRs, VI - 102
221ac106addSNikolay Haustov   // Valery: here we accepting as much as we can, let assembler sort it out
222ac106addSNikolay Haustov   int shift = 0;
223ac106addSNikolay Haustov   switch (SRegClassID) {
224ac106addSNikolay Haustov   case AMDGPU::SGPR_32RegClassID:
225212a251cSArtem Tamazov   case AMDGPU::TTMP_32RegClassID:
226212a251cSArtem Tamazov     break;
227ac106addSNikolay Haustov   case AMDGPU::SGPR_64RegClassID:
228212a251cSArtem Tamazov   case AMDGPU::TTMP_64RegClassID:
229212a251cSArtem Tamazov     shift = 1;
230212a251cSArtem Tamazov     break;
231212a251cSArtem Tamazov   case AMDGPU::SGPR_128RegClassID:
232212a251cSArtem Tamazov   case AMDGPU::TTMP_128RegClassID:
233ac106addSNikolay Haustov   // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
234ac106addSNikolay Haustov   // this bundle?
235ac106addSNikolay Haustov   case AMDGPU::SReg_256RegClassID:
236ac106addSNikolay Haustov   // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
237ac106addSNikolay Haustov   // this bundle?
238212a251cSArtem Tamazov   case AMDGPU::SReg_512RegClassID:
239212a251cSArtem Tamazov     shift = 2;
240212a251cSArtem Tamazov     break;
241ac106addSNikolay Haustov   // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
242ac106addSNikolay Haustov   // this bundle?
243212a251cSArtem Tamazov   default:
24492b355b1SMatt Arsenault     llvm_unreachable("unhandled register class");
245ac106addSNikolay Haustov   }
24692b355b1SMatt Arsenault 
24792b355b1SMatt Arsenault   if (Val % (1 << shift)) {
248ac106addSNikolay Haustov     *CommentStream << "Warning: " << getRegClassName(SRegClassID)
249ac106addSNikolay Haustov                    << ": scalar reg isn't aligned " << Val;
25092b355b1SMatt Arsenault   }
25192b355b1SMatt Arsenault 
252ac106addSNikolay Haustov   return createRegOperand(SRegClassID, Val >> shift);
253ac106addSNikolay Haustov }
254ac106addSNikolay Haustov 
255ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
256212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
257ac106addSNikolay Haustov }
258ac106addSNikolay Haustov 
259ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
260212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
261ac106addSNikolay Haustov }
262ac106addSNikolay Haustov 
2634bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
2644bd72361SMatt Arsenault   return decodeSrcOp(OPW16, Val);
2654bd72361SMatt Arsenault }
2664bd72361SMatt Arsenault 
267ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
268cb540bc0SMatt Arsenault   // Some instructions have operand restrictions beyond what the encoding
269cb540bc0SMatt Arsenault   // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
270cb540bc0SMatt Arsenault   // high bit.
271cb540bc0SMatt Arsenault   Val &= 255;
272cb540bc0SMatt Arsenault 
273ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
274ac106addSNikolay Haustov }
275ac106addSNikolay Haustov 
276ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
277ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
278ac106addSNikolay Haustov }
279ac106addSNikolay Haustov 
280ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
281ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
282ac106addSNikolay Haustov }
283ac106addSNikolay Haustov 
284ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
285ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
286ac106addSNikolay Haustov }
287ac106addSNikolay Haustov 
288ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
289ac106addSNikolay Haustov   // table-gen generated disassembler doesn't care about operand types
290ac106addSNikolay Haustov   // leaving only registry class so SSrc_32 operand turns into SReg_32
291ac106addSNikolay Haustov   // and therefore we accept immediates and literals here as well
292212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
293ac106addSNikolay Haustov }
294ac106addSNikolay Haustov 
295640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
296640c44b8SMatt Arsenault   unsigned Val) const {
297640c44b8SMatt Arsenault   // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
29838e496b1SArtem Tamazov   return decodeOperand_SReg_32(Val);
29938e496b1SArtem Tamazov }
30038e496b1SArtem Tamazov 
301ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
302640c44b8SMatt Arsenault   return decodeSrcOp(OPW64, Val);
303640c44b8SMatt Arsenault }
304640c44b8SMatt Arsenault 
305640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
306212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
307ac106addSNikolay Haustov }
308ac106addSNikolay Haustov 
309ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
310212a251cSArtem Tamazov   return decodeSrcOp(OPW128, Val);
311ac106addSNikolay Haustov }
312ac106addSNikolay Haustov 
313ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
314ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_256RegClassID, Val);
315ac106addSNikolay Haustov }
316ac106addSNikolay Haustov 
317ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
318ac106addSNikolay Haustov   return createSRegOperand(AMDGPU::SReg_512RegClassID, Val);
319ac106addSNikolay Haustov }
320ac106addSNikolay Haustov 
321ac106addSNikolay Haustov 
322ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
323ac106addSNikolay Haustov   // For now all literal constants are supposed to be unsigned integer
324ac106addSNikolay Haustov   // ToDo: deal with signed/unsigned 64-bit integer constants
325ac106addSNikolay Haustov   // ToDo: deal with float/double constants
326ac106addSNikolay Haustov   if (Bytes.size() < 4)
327ac106addSNikolay Haustov     return errOperand(0, "cannot read literal, inst bytes left " +
328ac106addSNikolay Haustov                          Twine(Bytes.size()));
3291048fb18SSam Kolton   return MCOperand::createImm(eatBytes<uint32_t>(Bytes));
330ac106addSNikolay Haustov }
331ac106addSNikolay Haustov 
332ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
333212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
334212a251cSArtem Tamazov   assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
335212a251cSArtem Tamazov   return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
336212a251cSArtem Tamazov     (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
337212a251cSArtem Tamazov     (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
338212a251cSArtem Tamazov       // Cast prevents negative overflow.
339ac106addSNikolay Haustov }
340ac106addSNikolay Haustov 
3414bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) {
3424bd72361SMatt Arsenault   switch (Imm) {
3434bd72361SMatt Arsenault   case 240:
3444bd72361SMatt Arsenault     return FloatToBits(0.5f);
3454bd72361SMatt Arsenault   case 241:
3464bd72361SMatt Arsenault     return FloatToBits(-0.5f);
3474bd72361SMatt Arsenault   case 242:
3484bd72361SMatt Arsenault     return FloatToBits(1.0f);
3494bd72361SMatt Arsenault   case 243:
3504bd72361SMatt Arsenault     return FloatToBits(-1.0f);
3514bd72361SMatt Arsenault   case 244:
3524bd72361SMatt Arsenault     return FloatToBits(2.0f);
3534bd72361SMatt Arsenault   case 245:
3544bd72361SMatt Arsenault     return FloatToBits(-2.0f);
3554bd72361SMatt Arsenault   case 246:
3564bd72361SMatt Arsenault     return FloatToBits(4.0f);
3574bd72361SMatt Arsenault   case 247:
3584bd72361SMatt Arsenault     return FloatToBits(-4.0f);
3594bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3604bd72361SMatt Arsenault     return 0x3e22f983;
3614bd72361SMatt Arsenault   default:
3624bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
3634bd72361SMatt Arsenault   }
3644bd72361SMatt Arsenault }
3654bd72361SMatt Arsenault 
3664bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) {
3674bd72361SMatt Arsenault   switch (Imm) {
3684bd72361SMatt Arsenault   case 240:
3694bd72361SMatt Arsenault     return DoubleToBits(0.5);
3704bd72361SMatt Arsenault   case 241:
3714bd72361SMatt Arsenault     return DoubleToBits(-0.5);
3724bd72361SMatt Arsenault   case 242:
3734bd72361SMatt Arsenault     return DoubleToBits(1.0);
3744bd72361SMatt Arsenault   case 243:
3754bd72361SMatt Arsenault     return DoubleToBits(-1.0);
3764bd72361SMatt Arsenault   case 244:
3774bd72361SMatt Arsenault     return DoubleToBits(2.0);
3784bd72361SMatt Arsenault   case 245:
3794bd72361SMatt Arsenault     return DoubleToBits(-2.0);
3804bd72361SMatt Arsenault   case 246:
3814bd72361SMatt Arsenault     return DoubleToBits(4.0);
3824bd72361SMatt Arsenault   case 247:
3834bd72361SMatt Arsenault     return DoubleToBits(-4.0);
3844bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
3854bd72361SMatt Arsenault     return 0x3fc45f306dc9c882;
3864bd72361SMatt Arsenault   default:
3874bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
3884bd72361SMatt Arsenault   }
3894bd72361SMatt Arsenault }
3904bd72361SMatt Arsenault 
3914bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) {
3924bd72361SMatt Arsenault   switch (Imm) {
3934bd72361SMatt Arsenault   case 240:
3944bd72361SMatt Arsenault     return 0x3800;
3954bd72361SMatt Arsenault   case 241:
3964bd72361SMatt Arsenault     return 0xB800;
3974bd72361SMatt Arsenault   case 242:
3984bd72361SMatt Arsenault     return 0x3C00;
3994bd72361SMatt Arsenault   case 243:
4004bd72361SMatt Arsenault     return 0xBC00;
4014bd72361SMatt Arsenault   case 244:
4024bd72361SMatt Arsenault     return 0x4000;
4034bd72361SMatt Arsenault   case 245:
4044bd72361SMatt Arsenault     return 0xC000;
4054bd72361SMatt Arsenault   case 246:
4064bd72361SMatt Arsenault     return 0x4400;
4074bd72361SMatt Arsenault   case 247:
4084bd72361SMatt Arsenault     return 0xC400;
4094bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
4104bd72361SMatt Arsenault     return 0x3118;
4114bd72361SMatt Arsenault   default:
4124bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
4134bd72361SMatt Arsenault   }
4144bd72361SMatt Arsenault }
4154bd72361SMatt Arsenault 
4164bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
417212a251cSArtem Tamazov   assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
418212a251cSArtem Tamazov       && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
4194bd72361SMatt Arsenault 
420e1818af8STom Stellard   // ToDo: case 248: 1/(2*PI) - is allowed only on VI
4214bd72361SMatt Arsenault   switch (Width) {
4224bd72361SMatt Arsenault   case OPW32:
4234bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal32(Imm));
4244bd72361SMatt Arsenault   case OPW64:
4254bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal64(Imm));
4264bd72361SMatt Arsenault   case OPW16:
4274bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal16(Imm));
4284bd72361SMatt Arsenault   default:
4294bd72361SMatt Arsenault     llvm_unreachable("implement me");
430e1818af8STom Stellard   }
431e1818af8STom Stellard }
432e1818af8STom Stellard 
433212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
434e1818af8STom Stellard   using namespace AMDGPU;
435212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
436212a251cSArtem Tamazov   switch (Width) {
437212a251cSArtem Tamazov   default: // fall
4384bd72361SMatt Arsenault   case OPW32:
4394bd72361SMatt Arsenault   case OPW16:
4404bd72361SMatt Arsenault     return VGPR_32RegClassID;
441212a251cSArtem Tamazov   case OPW64: return VReg_64RegClassID;
442212a251cSArtem Tamazov   case OPW128: return VReg_128RegClassID;
443212a251cSArtem Tamazov   }
444212a251cSArtem Tamazov }
445212a251cSArtem Tamazov 
446212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
447212a251cSArtem Tamazov   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:
4534bd72361SMatt Arsenault     return SGPR_32RegClassID;
454212a251cSArtem Tamazov   case OPW64: return SGPR_64RegClassID;
455212a251cSArtem Tamazov   case OPW128: return SGPR_128RegClassID;
456212a251cSArtem Tamazov   }
457212a251cSArtem Tamazov }
458212a251cSArtem Tamazov 
459212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
460212a251cSArtem Tamazov   using namespace AMDGPU;
461212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
462212a251cSArtem Tamazov   switch (Width) {
463212a251cSArtem Tamazov   default: // fall
4644bd72361SMatt Arsenault   case OPW32:
4654bd72361SMatt Arsenault   case OPW16:
4664bd72361SMatt Arsenault     return TTMP_32RegClassID;
467212a251cSArtem Tamazov   case OPW64: return TTMP_64RegClassID;
468212a251cSArtem Tamazov   case OPW128: return TTMP_128RegClassID;
469212a251cSArtem Tamazov   }
470212a251cSArtem Tamazov }
471212a251cSArtem Tamazov 
472212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
473212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
474ac106addSNikolay Haustov   assert(Val < 512); // enum9
475ac106addSNikolay Haustov 
476212a251cSArtem Tamazov   if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
477212a251cSArtem Tamazov     return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
478212a251cSArtem Tamazov   }
479b49c3361SArtem Tamazov   if (Val <= SGPR_MAX) {
480b49c3361SArtem Tamazov     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
481212a251cSArtem Tamazov     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
482212a251cSArtem Tamazov   }
483212a251cSArtem Tamazov   if (TTMP_MIN <= Val && Val <= TTMP_MAX) {
484212a251cSArtem Tamazov     return createSRegOperand(getTtmpClassId(Width), Val - TTMP_MIN);
485212a251cSArtem Tamazov   }
486ac106addSNikolay Haustov 
4874bd72361SMatt Arsenault   assert(Width == OPW16 || Width == OPW32 || Width == OPW64);
488212a251cSArtem Tamazov 
489212a251cSArtem Tamazov   if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
490ac106addSNikolay Haustov     return decodeIntImmed(Val);
491ac106addSNikolay Haustov 
492212a251cSArtem Tamazov   if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
4934bd72361SMatt Arsenault     return decodeFPImmed(Width, Val);
494ac106addSNikolay Haustov 
495212a251cSArtem Tamazov   if (Val == LITERAL_CONST)
496ac106addSNikolay Haustov     return decodeLiteralConstant();
497ac106addSNikolay Haustov 
4984bd72361SMatt Arsenault   switch (Width) {
4994bd72361SMatt Arsenault   case OPW32:
5004bd72361SMatt Arsenault   case OPW16:
5014bd72361SMatt Arsenault     return decodeSpecialReg32(Val);
5024bd72361SMatt Arsenault   case OPW64:
5034bd72361SMatt Arsenault     return decodeSpecialReg64(Val);
5044bd72361SMatt Arsenault   default:
5054bd72361SMatt Arsenault     llvm_unreachable("unexpected immediate type");
5064bd72361SMatt Arsenault   }
507ac106addSNikolay Haustov }
508ac106addSNikolay Haustov 
509ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
510ac106addSNikolay Haustov   using namespace AMDGPU;
511e1818af8STom Stellard   switch (Val) {
512ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR_LO, STI));
513ac106addSNikolay Haustov   case 103: return createRegOperand(getMCReg(FLAT_SCR_HI, STI));
514e1818af8STom Stellard     // ToDo: no support for xnack_mask_lo/_hi register
515e1818af8STom Stellard   case 104:
516ac106addSNikolay Haustov   case 105: break;
517ac106addSNikolay Haustov   case 106: return createRegOperand(VCC_LO);
518ac106addSNikolay Haustov   case 107: return createRegOperand(VCC_HI);
519212a251cSArtem Tamazov   case 108: return createRegOperand(TBA_LO);
520212a251cSArtem Tamazov   case 109: return createRegOperand(TBA_HI);
521212a251cSArtem Tamazov   case 110: return createRegOperand(TMA_LO);
522212a251cSArtem Tamazov   case 111: return createRegOperand(TMA_HI);
523ac106addSNikolay Haustov   case 124: return createRegOperand(M0);
524ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC_LO);
525ac106addSNikolay Haustov   case 127: return createRegOperand(EXEC_HI);
526e1818af8STom Stellard     // ToDo: no support for vccz register
527ac106addSNikolay Haustov   case 251: break;
528e1818af8STom Stellard     // ToDo: no support for execz register
529ac106addSNikolay Haustov   case 252: break;
530ac106addSNikolay Haustov   case 253: return createRegOperand(SCC);
531ac106addSNikolay Haustov   default: break;
532e1818af8STom Stellard   }
533ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
534e1818af8STom Stellard }
535e1818af8STom Stellard 
536ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
537161a158eSNikolay Haustov   using namespace AMDGPU;
538161a158eSNikolay Haustov   switch (Val) {
539ac106addSNikolay Haustov   case 102: return createRegOperand(getMCReg(FLAT_SCR, STI));
540ac106addSNikolay Haustov   case 106: return createRegOperand(VCC);
541212a251cSArtem Tamazov   case 108: return createRegOperand(TBA);
542212a251cSArtem Tamazov   case 110: return createRegOperand(TMA);
543ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC);
544ac106addSNikolay Haustov   default: break;
545161a158eSNikolay Haustov   }
546ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
547161a158eSNikolay Haustov }
548161a158eSNikolay Haustov 
5493381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5503381d7a2SSam Kolton // AMDGPUSymbolizer
5513381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5523381d7a2SSam Kolton 
5533381d7a2SSam Kolton // Try to find symbol name for specified label
5543381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
5553381d7a2SSam Kolton                                 raw_ostream &/*cStream*/, int64_t Value,
5563381d7a2SSam Kolton                                 uint64_t /*Address*/, bool IsBranch,
5573381d7a2SSam Kolton                                 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
5583381d7a2SSam Kolton   typedef std::tuple<uint64_t, StringRef, uint8_t> SymbolInfoTy;
5593381d7a2SSam Kolton   typedef std::vector<SymbolInfoTy> SectionSymbolsTy;
5603381d7a2SSam Kolton 
5613381d7a2SSam Kolton   if (!IsBranch) {
5623381d7a2SSam Kolton     return false;
5633381d7a2SSam Kolton   }
5643381d7a2SSam Kolton 
5653381d7a2SSam Kolton   auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
5663381d7a2SSam Kolton   auto Result = std::find_if(Symbols->begin(), Symbols->end(),
5673381d7a2SSam Kolton                              [Value](const SymbolInfoTy& Val) {
5683381d7a2SSam Kolton                                 return std::get<0>(Val) == static_cast<uint64_t>(Value)
5693381d7a2SSam Kolton                                     && std::get<2>(Val) == ELF::STT_NOTYPE;
5703381d7a2SSam Kolton                              });
5713381d7a2SSam Kolton   if (Result != Symbols->end()) {
5723381d7a2SSam Kolton     auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
5733381d7a2SSam Kolton     const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
5743381d7a2SSam Kolton     Inst.addOperand(MCOperand::createExpr(Add));
5753381d7a2SSam Kolton     return true;
5763381d7a2SSam Kolton   }
5773381d7a2SSam Kolton   return false;
5783381d7a2SSam Kolton }
5793381d7a2SSam Kolton 
58092b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
58192b355b1SMatt Arsenault                                                        int64_t Value,
58292b355b1SMatt Arsenault                                                        uint64_t Address) {
58392b355b1SMatt Arsenault   llvm_unreachable("unimplemented");
58492b355b1SMatt Arsenault }
58592b355b1SMatt Arsenault 
5863381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5873381d7a2SSam Kolton // Initialization
5883381d7a2SSam Kolton //===----------------------------------------------------------------------===//
5893381d7a2SSam Kolton 
5903381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
5913381d7a2SSam Kolton                               LLVMOpInfoCallback /*GetOpInfo*/,
5923381d7a2SSam Kolton                               LLVMSymbolLookupCallback /*SymbolLookUp*/,
5933381d7a2SSam Kolton                               void *DisInfo,
5943381d7a2SSam Kolton                               MCContext *Ctx,
5953381d7a2SSam Kolton                               std::unique_ptr<MCRelocationInfo> &&RelInfo) {
5963381d7a2SSam Kolton   return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
5973381d7a2SSam Kolton }
5983381d7a2SSam Kolton 
599e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T,
600e1818af8STom Stellard                                                 const MCSubtargetInfo &STI,
601e1818af8STom Stellard                                                 MCContext &Ctx) {
602e1818af8STom Stellard   return new AMDGPUDisassembler(STI, Ctx);
603e1818af8STom Stellard }
604e1818af8STom Stellard 
605e1818af8STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() {
606f42454b9SMehdi Amini   TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
607f42454b9SMehdi Amini                                          createAMDGPUDisassembler);
608f42454b9SMehdi Amini   TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
609f42454b9SMehdi Amini                                        createAMDGPUSymbolizer);
610e1818af8STom Stellard }
611