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