1c8fbf6ffSEugene Zelenko //===- AMDGPUDisassembler.cpp - Disassembler for AMDGPU ISA ---------------===// 2e1818af8STom Stellard // 32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6e1818af8STom Stellard // 7e1818af8STom Stellard //===----------------------------------------------------------------------===// 8e1818af8STom Stellard // 9e1818af8STom Stellard //===----------------------------------------------------------------------===// 10e1818af8STom Stellard // 11e1818af8STom Stellard /// \file 12e1818af8STom Stellard /// 13e1818af8STom Stellard /// This file contains definition for AMDGPU ISA disassembler 14e1818af8STom Stellard // 15e1818af8STom Stellard //===----------------------------------------------------------------------===// 16e1818af8STom Stellard 17e1818af8STom Stellard // ToDo: What to do with instruction suffixes (v_mov_b32 vs v_mov_b32_e32)? 18e1818af8STom Stellard 19c8fbf6ffSEugene Zelenko #include "Disassembler/AMDGPUDisassembler.h" 20e1818af8STom Stellard #include "AMDGPU.h" 21e1818af8STom Stellard #include "AMDGPURegisterInfo.h" 22c5a154dbSTom Stellard #include "MCTargetDesc/AMDGPUMCTargetDesc.h" 23212a251cSArtem Tamazov #include "SIDefines.h" 24*8ce2ee9dSRichard Trieu #include "TargetInfo/AMDGPUTargetInfo.h" 25e1818af8STom Stellard #include "Utils/AMDGPUBaseInfo.h" 26c8fbf6ffSEugene Zelenko #include "llvm-c/Disassembler.h" 27c8fbf6ffSEugene Zelenko #include "llvm/ADT/APInt.h" 28c8fbf6ffSEugene Zelenko #include "llvm/ADT/ArrayRef.h" 29c8fbf6ffSEugene Zelenko #include "llvm/ADT/Twine.h" 30264b5d9eSZachary Turner #include "llvm/BinaryFormat/ELF.h" 31ac106addSNikolay Haustov #include "llvm/MC/MCContext.h" 32c8fbf6ffSEugene Zelenko #include "llvm/MC/MCDisassembler/MCDisassembler.h" 33c8fbf6ffSEugene Zelenko #include "llvm/MC/MCExpr.h" 34e1818af8STom Stellard #include "llvm/MC/MCFixedLenDisassembler.h" 35e1818af8STom Stellard #include "llvm/MC/MCInst.h" 36e1818af8STom Stellard #include "llvm/MC/MCSubtargetInfo.h" 37ac106addSNikolay Haustov #include "llvm/Support/Endian.h" 38c8fbf6ffSEugene Zelenko #include "llvm/Support/ErrorHandling.h" 39c8fbf6ffSEugene Zelenko #include "llvm/Support/MathExtras.h" 40e1818af8STom Stellard #include "llvm/Support/TargetRegistry.h" 41c8fbf6ffSEugene Zelenko #include "llvm/Support/raw_ostream.h" 42c8fbf6ffSEugene Zelenko #include <algorithm> 43c8fbf6ffSEugene Zelenko #include <cassert> 44c8fbf6ffSEugene Zelenko #include <cstddef> 45c8fbf6ffSEugene Zelenko #include <cstdint> 46c8fbf6ffSEugene Zelenko #include <iterator> 47c8fbf6ffSEugene Zelenko #include <tuple> 48c8fbf6ffSEugene Zelenko #include <vector> 49e1818af8STom Stellard 50e1818af8STom Stellard using namespace llvm; 51e1818af8STom Stellard 52e1818af8STom Stellard #define DEBUG_TYPE "amdgpu-disassembler" 53e1818af8STom Stellard 5433d806a5SStanislav Mekhanoshin #define SGPR_MAX (isGFX10() ? AMDGPU::EncValues::SGPR_MAX_GFX10 \ 5533d806a5SStanislav Mekhanoshin : AMDGPU::EncValues::SGPR_MAX_SI) 5633d806a5SStanislav Mekhanoshin 57c8fbf6ffSEugene Zelenko using DecodeStatus = llvm::MCDisassembler::DecodeStatus; 58e1818af8STom Stellard 59ac106addSNikolay Haustov inline static MCDisassembler::DecodeStatus 60ac106addSNikolay Haustov addOperand(MCInst &Inst, const MCOperand& Opnd) { 61ac106addSNikolay Haustov Inst.addOperand(Opnd); 62ac106addSNikolay Haustov return Opnd.isValid() ? 63ac106addSNikolay Haustov MCDisassembler::Success : 64ac106addSNikolay Haustov MCDisassembler::SoftFail; 65e1818af8STom Stellard } 66e1818af8STom Stellard 67549c89d2SSam Kolton static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op, 68549c89d2SSam Kolton uint16_t NameIdx) { 69549c89d2SSam Kolton int OpIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), NameIdx); 70549c89d2SSam Kolton if (OpIdx != -1) { 71549c89d2SSam Kolton auto I = MI.begin(); 72549c89d2SSam Kolton std::advance(I, OpIdx); 73549c89d2SSam Kolton MI.insert(I, Op); 74549c89d2SSam Kolton } 75549c89d2SSam Kolton return OpIdx; 76549c89d2SSam Kolton } 77549c89d2SSam Kolton 783381d7a2SSam Kolton static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm, 793381d7a2SSam Kolton uint64_t Addr, const void *Decoder) { 803381d7a2SSam Kolton auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 813381d7a2SSam Kolton 82efec1396SScott Linder // Our branches take a simm16, but we need two extra bits to account for the 83efec1396SScott Linder // factor of 4. 843381d7a2SSam Kolton APInt SignedOffset(18, Imm * 4, true); 853381d7a2SSam Kolton int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue(); 863381d7a2SSam Kolton 873381d7a2SSam Kolton if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2)) 883381d7a2SSam Kolton return MCDisassembler::Success; 893381d7a2SSam Kolton return addOperand(Inst, MCOperand::createImm(Imm)); 903381d7a2SSam Kolton } 913381d7a2SSam Kolton 92363f47a2SSam Kolton #define DECODE_OPERAND(StaticDecoderName, DecoderName) \ 93363f47a2SSam Kolton static DecodeStatus StaticDecoderName(MCInst &Inst, \ 94ac106addSNikolay Haustov unsigned Imm, \ 95ac106addSNikolay Haustov uint64_t /*Addr*/, \ 96ac106addSNikolay Haustov const void *Decoder) { \ 97ac106addSNikolay Haustov auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \ 98363f47a2SSam Kolton return addOperand(Inst, DAsm->DecoderName(Imm)); \ 99e1818af8STom Stellard } 100e1818af8STom Stellard 101363f47a2SSam Kolton #define DECODE_OPERAND_REG(RegClass) \ 102363f47a2SSam Kolton DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass) 103e1818af8STom Stellard 104363f47a2SSam Kolton DECODE_OPERAND_REG(VGPR_32) 1056023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(VRegOrLds_32) 106363f47a2SSam Kolton DECODE_OPERAND_REG(VS_32) 107363f47a2SSam Kolton DECODE_OPERAND_REG(VS_64) 10830fc5239SDmitry Preobrazhensky DECODE_OPERAND_REG(VS_128) 109e1818af8STom Stellard 110363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_64) 111363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_96) 112363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_128) 113e1818af8STom Stellard 114363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32) 115363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32_XM0_XEXEC) 116ca7b0a17SMatt Arsenault DECODE_OPERAND_REG(SReg_32_XEXEC_HI) 1176023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(SRegOrLds_32) 118363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64) 119363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64_XEXEC) 120363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_128) 121363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_256) 122363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_512) 123e1818af8STom Stellard 1244bd72361SMatt Arsenault static DecodeStatus decodeOperand_VSrc16(MCInst &Inst, 1254bd72361SMatt Arsenault unsigned Imm, 1264bd72361SMatt Arsenault uint64_t Addr, 1274bd72361SMatt Arsenault const void *Decoder) { 1284bd72361SMatt Arsenault auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 1294bd72361SMatt Arsenault return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm)); 1304bd72361SMatt Arsenault } 1314bd72361SMatt Arsenault 1329be7b0d4SMatt Arsenault static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst, 1339be7b0d4SMatt Arsenault unsigned Imm, 1349be7b0d4SMatt Arsenault uint64_t Addr, 1359be7b0d4SMatt Arsenault const void *Decoder) { 1369be7b0d4SMatt Arsenault auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 1379be7b0d4SMatt Arsenault return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm)); 1389be7b0d4SMatt Arsenault } 1399be7b0d4SMatt Arsenault 140549c89d2SSam Kolton #define DECODE_SDWA(DecName) \ 141549c89d2SSam Kolton DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName) 142363f47a2SSam Kolton 143549c89d2SSam Kolton DECODE_SDWA(Src32) 144549c89d2SSam Kolton DECODE_SDWA(Src16) 145549c89d2SSam Kolton DECODE_SDWA(VopcDst) 146363f47a2SSam Kolton 147e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc" 148e1818af8STom Stellard 149e1818af8STom Stellard //===----------------------------------------------------------------------===// 150e1818af8STom Stellard // 151e1818af8STom Stellard //===----------------------------------------------------------------------===// 152e1818af8STom Stellard 1531048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) { 1541048fb18SSam Kolton assert(Bytes.size() >= sizeof(T)); 1551048fb18SSam Kolton const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data()); 1561048fb18SSam Kolton Bytes = Bytes.slice(sizeof(T)); 157ac106addSNikolay Haustov return Res; 158ac106addSNikolay Haustov } 159ac106addSNikolay Haustov 160ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table, 161ac106addSNikolay Haustov MCInst &MI, 162ac106addSNikolay Haustov uint64_t Inst, 163ac106addSNikolay Haustov uint64_t Address) const { 164ac106addSNikolay Haustov assert(MI.getOpcode() == 0); 165ac106addSNikolay Haustov assert(MI.getNumOperands() == 0); 166ac106addSNikolay Haustov MCInst TmpInst; 167ce941c9cSDmitry Preobrazhensky HasLiteral = false; 168ac106addSNikolay Haustov const auto SavedBytes = Bytes; 169ac106addSNikolay Haustov if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) { 170ac106addSNikolay Haustov MI = TmpInst; 171ac106addSNikolay Haustov return MCDisassembler::Success; 172ac106addSNikolay Haustov } 173ac106addSNikolay Haustov Bytes = SavedBytes; 174ac106addSNikolay Haustov return MCDisassembler::Fail; 175ac106addSNikolay Haustov } 176ac106addSNikolay Haustov 177e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size, 178ac106addSNikolay Haustov ArrayRef<uint8_t> Bytes_, 179e1818af8STom Stellard uint64_t Address, 180e1818af8STom Stellard raw_ostream &WS, 181e1818af8STom Stellard raw_ostream &CS) const { 182e1818af8STom Stellard CommentStream = &CS; 183549c89d2SSam Kolton bool IsSDWA = false; 184e1818af8STom Stellard 185e1818af8STom Stellard // ToDo: AMDGPUDisassembler supports only VI ISA. 1868f3da70eSStanislav Mekhanoshin if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding] && !isGFX10()) 187d122abeaSMatt Arsenault report_fatal_error("Disassembly not yet supported for subtarget"); 188e1818af8STom Stellard 1898f3da70eSStanislav Mekhanoshin unsigned MaxInstBytesNum = (std::min)( 1908f3da70eSStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10] ? (size_t) 20 : 1918f3da70eSStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureVOP3Literal] ? (size_t) 12 : (size_t)8, 1928f3da70eSStanislav Mekhanoshin Bytes_.size()); 193ac106addSNikolay Haustov Bytes = Bytes_.slice(0, MaxInstBytesNum); 194161a158eSNikolay Haustov 195ac106addSNikolay Haustov DecodeStatus Res = MCDisassembler::Fail; 196ac106addSNikolay Haustov do { 197824e804bSValery Pykhtin // ToDo: better to switch encoding length using some bit predicate 198ac106addSNikolay Haustov // but it is unknown yet, so try all we can 1991048fb18SSam Kolton 200c9bdcb75SSam Kolton // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2 201c9bdcb75SSam Kolton // encodings 2021048fb18SSam Kolton if (Bytes.size() >= 8) { 2031048fb18SSam Kolton const uint64_t QW = eatBytes<uint64_t>(Bytes); 2041048fb18SSam Kolton Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address); 2051048fb18SSam Kolton if (Res) break; 206c9bdcb75SSam Kolton 207c9bdcb75SSam Kolton Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address); 208549c89d2SSam Kolton if (Res) { IsSDWA = true; break; } 209363f47a2SSam Kolton 210363f47a2SSam Kolton Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address); 211549c89d2SSam Kolton if (Res) { IsSDWA = true; break; } 2120905870fSChangpeng Fang 2138f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableSDWA1064, MI, QW, Address); 2148f3da70eSStanislav Mekhanoshin if (Res) { IsSDWA = true; break; } 2158f3da70eSStanislav Mekhanoshin 2168f3da70eSStanislav Mekhanoshin // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and 2178f3da70eSStanislav Mekhanoshin // v_mad_mixhi_f16 for FMA variants. Try to decode using this special 2188f3da70eSStanislav Mekhanoshin // table first so we print the correct name. 2198f3da70eSStanislav Mekhanoshin 2208f3da70eSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) { 2218f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address); 2228f3da70eSStanislav Mekhanoshin if (Res) break; 2238f3da70eSStanislav Mekhanoshin } 2248f3da70eSStanislav Mekhanoshin 2250905870fSChangpeng Fang if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) { 2260905870fSChangpeng Fang Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address); 2270084adc5SMatt Arsenault if (Res) 2280084adc5SMatt Arsenault break; 2290084adc5SMatt Arsenault } 2300084adc5SMatt Arsenault 2310084adc5SMatt Arsenault // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and 2320084adc5SMatt Arsenault // v_mad_mixhi_f16 for FMA variants. Try to decode using this special 2330084adc5SMatt Arsenault // table first so we print the correct name. 2340084adc5SMatt Arsenault if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) { 2350084adc5SMatt Arsenault Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address); 2360084adc5SMatt Arsenault if (Res) 2370084adc5SMatt Arsenault break; 2380905870fSChangpeng Fang } 2391048fb18SSam Kolton } 2401048fb18SSam Kolton 2411048fb18SSam Kolton // Reinitialize Bytes as DPP64 could have eaten too much 2421048fb18SSam Kolton Bytes = Bytes_.slice(0, MaxInstBytesNum); 2431048fb18SSam Kolton 2441048fb18SSam Kolton // Try decode 32-bit instruction 245ac106addSNikolay Haustov if (Bytes.size() < 4) break; 2461048fb18SSam Kolton const uint32_t DW = eatBytes<uint32_t>(Bytes); 2475182302aSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX832, MI, DW, Address); 248ac106addSNikolay Haustov if (Res) break; 249e1818af8STom Stellard 250ac106addSNikolay Haustov Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address); 251ac106addSNikolay Haustov if (Res) break; 252ac106addSNikolay Haustov 253a0342dc9SDmitry Preobrazhensky Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address); 254a0342dc9SDmitry Preobrazhensky if (Res) break; 255a0342dc9SDmitry Preobrazhensky 2568f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX1032, MI, DW, Address); 2578f3da70eSStanislav Mekhanoshin if (Res) break; 2588f3da70eSStanislav Mekhanoshin 259ac106addSNikolay Haustov if (Bytes.size() < 4) break; 2601048fb18SSam Kolton const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW; 2615182302aSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX864, MI, QW, Address); 262ac106addSNikolay Haustov if (Res) break; 263ac106addSNikolay Haustov 264ac106addSNikolay Haustov Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address); 2651e32550dSDmitry Preobrazhensky if (Res) break; 2661e32550dSDmitry Preobrazhensky 2671e32550dSDmitry Preobrazhensky Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address); 2688f3da70eSStanislav Mekhanoshin if (Res) break; 2698f3da70eSStanislav Mekhanoshin 2708f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX1064, MI, QW, Address); 271ac106addSNikolay Haustov } while (false); 272ac106addSNikolay Haustov 2738f3da70eSStanislav Mekhanoshin if (Res && (MaxInstBytesNum - Bytes.size()) == 12 && (!HasLiteral || 2748f3da70eSStanislav Mekhanoshin !(MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::VOP3))) { 2758f3da70eSStanislav Mekhanoshin MaxInstBytesNum = 8; 2768f3da70eSStanislav Mekhanoshin Bytes = Bytes_.slice(0, MaxInstBytesNum); 2778f3da70eSStanislav Mekhanoshin eatBytes<uint64_t>(Bytes); 2788f3da70eSStanislav Mekhanoshin } 2798f3da70eSStanislav Mekhanoshin 280678e111eSMatt Arsenault if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi || 2818f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx6_gfx7 || 2828f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx10 || 283603a43fcSKonstantin Zhuravlyov MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi || 2848f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi || 2858f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_gfx10 || 2868f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F16_e64_gfx10)) { 287678e111eSMatt Arsenault // Insert dummy unused src2_modifiers. 288549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), 289678e111eSMatt Arsenault AMDGPU::OpName::src2_modifiers); 290678e111eSMatt Arsenault } 291678e111eSMatt Arsenault 292cad7fa85SMatt Arsenault if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) { 293692560dcSStanislav Mekhanoshin int VAddr0Idx = 294692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0); 295692560dcSStanislav Mekhanoshin int RsrcIdx = 296692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::srsrc); 297692560dcSStanislav Mekhanoshin unsigned NSAArgs = RsrcIdx - VAddr0Idx - 1; 298692560dcSStanislav Mekhanoshin if (VAddr0Idx >= 0 && NSAArgs > 0) { 299692560dcSStanislav Mekhanoshin unsigned NSAWords = (NSAArgs + 3) / 4; 300692560dcSStanislav Mekhanoshin if (Bytes.size() < 4 * NSAWords) { 301692560dcSStanislav Mekhanoshin Res = MCDisassembler::Fail; 302692560dcSStanislav Mekhanoshin } else { 303692560dcSStanislav Mekhanoshin for (unsigned i = 0; i < NSAArgs; ++i) { 304692560dcSStanislav Mekhanoshin MI.insert(MI.begin() + VAddr0Idx + 1 + i, 305692560dcSStanislav Mekhanoshin decodeOperand_VGPR_32(Bytes[i])); 306692560dcSStanislav Mekhanoshin } 307692560dcSStanislav Mekhanoshin Bytes = Bytes.slice(4 * NSAWords); 308692560dcSStanislav Mekhanoshin } 309692560dcSStanislav Mekhanoshin } 310692560dcSStanislav Mekhanoshin 311692560dcSStanislav Mekhanoshin if (Res) 312cad7fa85SMatt Arsenault Res = convertMIMGInst(MI); 313cad7fa85SMatt Arsenault } 314cad7fa85SMatt Arsenault 315549c89d2SSam Kolton if (Res && IsSDWA) 316549c89d2SSam Kolton Res = convertSDWAInst(MI); 317549c89d2SSam Kolton 3188f3da70eSStanislav Mekhanoshin int VDstIn_Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 3198f3da70eSStanislav Mekhanoshin AMDGPU::OpName::vdst_in); 3208f3da70eSStanislav Mekhanoshin if (VDstIn_Idx != -1) { 3218f3da70eSStanislav Mekhanoshin int Tied = MCII->get(MI.getOpcode()).getOperandConstraint(VDstIn_Idx, 3228f3da70eSStanislav Mekhanoshin MCOI::OperandConstraint::TIED_TO); 3238f3da70eSStanislav Mekhanoshin if (Tied != -1 && (MI.getNumOperands() <= (unsigned)VDstIn_Idx || 3248f3da70eSStanislav Mekhanoshin !MI.getOperand(VDstIn_Idx).isReg() || 3258f3da70eSStanislav Mekhanoshin MI.getOperand(VDstIn_Idx).getReg() != MI.getOperand(Tied).getReg())) { 3268f3da70eSStanislav Mekhanoshin if (MI.getNumOperands() > (unsigned)VDstIn_Idx) 3278f3da70eSStanislav Mekhanoshin MI.erase(&MI.getOperand(VDstIn_Idx)); 3288f3da70eSStanislav Mekhanoshin insertNamedMCOperand(MI, 3298f3da70eSStanislav Mekhanoshin MCOperand::createReg(MI.getOperand(Tied).getReg()), 3308f3da70eSStanislav Mekhanoshin AMDGPU::OpName::vdst_in); 3318f3da70eSStanislav Mekhanoshin } 3328f3da70eSStanislav Mekhanoshin } 3338f3da70eSStanislav Mekhanoshin 3347116e896STim Corringham // if the opcode was not recognized we'll assume a Size of 4 bytes 3357116e896STim Corringham // (unless there are fewer bytes left) 3367116e896STim Corringham Size = Res ? (MaxInstBytesNum - Bytes.size()) 3377116e896STim Corringham : std::min((size_t)4, Bytes_.size()); 338ac106addSNikolay Haustov return Res; 339161a158eSNikolay Haustov } 340e1818af8STom Stellard 341549c89d2SSam Kolton DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const { 3428f3da70eSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 3438f3da70eSStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 344549c89d2SSam Kolton if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1) 345549c89d2SSam Kolton // VOPC - insert clamp 346549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp); 347549c89d2SSam Kolton } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) { 348549c89d2SSam Kolton int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst); 349549c89d2SSam Kolton if (SDst != -1) { 350549c89d2SSam Kolton // VOPC - insert VCC register as sdst 351ac2b0264SDmitry Preobrazhensky insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC), 352549c89d2SSam Kolton AMDGPU::OpName::sdst); 353549c89d2SSam Kolton } else { 354549c89d2SSam Kolton // VOP1/2 - insert omod if present in instruction 355549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod); 356549c89d2SSam Kolton } 357549c89d2SSam Kolton } 358549c89d2SSam Kolton return MCDisassembler::Success; 359549c89d2SSam Kolton } 360549c89d2SSam Kolton 361692560dcSStanislav Mekhanoshin // Note that before gfx10, the MIMG encoding provided no information about 362692560dcSStanislav Mekhanoshin // VADDR size. Consequently, decoded instructions always show address as if it 363692560dcSStanislav Mekhanoshin // has 1 dword, which could be not really so. 364cad7fa85SMatt Arsenault DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const { 365da4a7c01SDmitry Preobrazhensky 3660b4eb1eaSDmitry Preobrazhensky int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 3670b4eb1eaSDmitry Preobrazhensky AMDGPU::OpName::vdst); 3680b4eb1eaSDmitry Preobrazhensky 369cad7fa85SMatt Arsenault int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 370cad7fa85SMatt Arsenault AMDGPU::OpName::vdata); 371692560dcSStanislav Mekhanoshin int VAddr0Idx = 372692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0); 373cad7fa85SMatt Arsenault int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 374cad7fa85SMatt Arsenault AMDGPU::OpName::dmask); 3750b4eb1eaSDmitry Preobrazhensky 3760a1ff464SDmitry Preobrazhensky int TFEIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 3770a1ff464SDmitry Preobrazhensky AMDGPU::OpName::tfe); 378f2674319SNicolai Haehnle int D16Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 379f2674319SNicolai Haehnle AMDGPU::OpName::d16); 3800a1ff464SDmitry Preobrazhensky 3810b4eb1eaSDmitry Preobrazhensky assert(VDataIdx != -1); 3820b4eb1eaSDmitry Preobrazhensky assert(DMaskIdx != -1); 3830a1ff464SDmitry Preobrazhensky assert(TFEIdx != -1); 3840b4eb1eaSDmitry Preobrazhensky 385692560dcSStanislav Mekhanoshin const AMDGPU::MIMGInfo *Info = AMDGPU::getMIMGInfo(MI.getOpcode()); 386da4a7c01SDmitry Preobrazhensky bool IsAtomic = (VDstIdx != -1); 387f2674319SNicolai Haehnle bool IsGather4 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4; 3880b4eb1eaSDmitry Preobrazhensky 389692560dcSStanislav Mekhanoshin bool IsNSA = false; 390692560dcSStanislav Mekhanoshin unsigned AddrSize = Info->VAddrDwords; 391cad7fa85SMatt Arsenault 392692560dcSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 393692560dcSStanislav Mekhanoshin unsigned DimIdx = 394692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::dim); 395692560dcSStanislav Mekhanoshin const AMDGPU::MIMGBaseOpcodeInfo *BaseOpcode = 396692560dcSStanislav Mekhanoshin AMDGPU::getMIMGBaseOpcodeInfo(Info->BaseOpcode); 397692560dcSStanislav Mekhanoshin const AMDGPU::MIMGDimInfo *Dim = 398692560dcSStanislav Mekhanoshin AMDGPU::getMIMGDimInfoByEncoding(MI.getOperand(DimIdx).getImm()); 399692560dcSStanislav Mekhanoshin 400692560dcSStanislav Mekhanoshin AddrSize = BaseOpcode->NumExtraArgs + 401692560dcSStanislav Mekhanoshin (BaseOpcode->Gradients ? Dim->NumGradients : 0) + 402692560dcSStanislav Mekhanoshin (BaseOpcode->Coordinates ? Dim->NumCoords : 0) + 403692560dcSStanislav Mekhanoshin (BaseOpcode->LodOrClampOrMip ? 1 : 0); 404692560dcSStanislav Mekhanoshin IsNSA = Info->MIMGEncoding == AMDGPU::MIMGEncGfx10NSA; 405692560dcSStanislav Mekhanoshin if (!IsNSA) { 406692560dcSStanislav Mekhanoshin if (AddrSize > 8) 407692560dcSStanislav Mekhanoshin AddrSize = 16; 408692560dcSStanislav Mekhanoshin else if (AddrSize > 4) 409692560dcSStanislav Mekhanoshin AddrSize = 8; 410692560dcSStanislav Mekhanoshin } else { 411692560dcSStanislav Mekhanoshin if (AddrSize > Info->VAddrDwords) { 412692560dcSStanislav Mekhanoshin // The NSA encoding does not contain enough operands for the combination 413692560dcSStanislav Mekhanoshin // of base opcode / dimension. Should this be an error? 4140a1ff464SDmitry Preobrazhensky return MCDisassembler::Success; 415692560dcSStanislav Mekhanoshin } 416692560dcSStanislav Mekhanoshin } 417692560dcSStanislav Mekhanoshin } 418692560dcSStanislav Mekhanoshin 419692560dcSStanislav Mekhanoshin unsigned DMask = MI.getOperand(DMaskIdx).getImm() & 0xf; 420692560dcSStanislav Mekhanoshin unsigned DstSize = IsGather4 ? 4 : std::max(countPopulation(DMask), 1u); 4210a1ff464SDmitry Preobrazhensky 422f2674319SNicolai Haehnle bool D16 = D16Idx >= 0 && MI.getOperand(D16Idx).getImm(); 4230a1ff464SDmitry Preobrazhensky if (D16 && AMDGPU::hasPackedD16(STI)) { 4240a1ff464SDmitry Preobrazhensky DstSize = (DstSize + 1) / 2; 4250a1ff464SDmitry Preobrazhensky } 4260a1ff464SDmitry Preobrazhensky 4270a1ff464SDmitry Preobrazhensky // FIXME: Add tfe support 4280a1ff464SDmitry Preobrazhensky if (MI.getOperand(TFEIdx).getImm()) 429cad7fa85SMatt Arsenault return MCDisassembler::Success; 430cad7fa85SMatt Arsenault 431692560dcSStanislav Mekhanoshin if (DstSize == Info->VDataDwords && AddrSize == Info->VAddrDwords) 432f2674319SNicolai Haehnle return MCDisassembler::Success; 433692560dcSStanislav Mekhanoshin 434692560dcSStanislav Mekhanoshin int NewOpcode = 435692560dcSStanislav Mekhanoshin AMDGPU::getMIMGOpcode(Info->BaseOpcode, Info->MIMGEncoding, DstSize, AddrSize); 4360ab200b6SNicolai Haehnle if (NewOpcode == -1) 4370ab200b6SNicolai Haehnle return MCDisassembler::Success; 4380b4eb1eaSDmitry Preobrazhensky 439692560dcSStanislav Mekhanoshin // Widen the register to the correct number of enabled channels. 440692560dcSStanislav Mekhanoshin unsigned NewVdata = AMDGPU::NoRegister; 441692560dcSStanislav Mekhanoshin if (DstSize != Info->VDataDwords) { 442692560dcSStanislav Mekhanoshin auto DataRCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass; 443cad7fa85SMatt Arsenault 4440b4eb1eaSDmitry Preobrazhensky // Get first subregister of VData 445cad7fa85SMatt Arsenault unsigned Vdata0 = MI.getOperand(VDataIdx).getReg(); 4460b4eb1eaSDmitry Preobrazhensky unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0); 4470b4eb1eaSDmitry Preobrazhensky Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0; 4480b4eb1eaSDmitry Preobrazhensky 449692560dcSStanislav Mekhanoshin NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0, 450692560dcSStanislav Mekhanoshin &MRI.getRegClass(DataRCID)); 451cad7fa85SMatt Arsenault if (NewVdata == AMDGPU::NoRegister) { 452cad7fa85SMatt Arsenault // It's possible to encode this such that the low register + enabled 453cad7fa85SMatt Arsenault // components exceeds the register count. 454cad7fa85SMatt Arsenault return MCDisassembler::Success; 455cad7fa85SMatt Arsenault } 456692560dcSStanislav Mekhanoshin } 457692560dcSStanislav Mekhanoshin 458692560dcSStanislav Mekhanoshin unsigned NewVAddr0 = AMDGPU::NoRegister; 459692560dcSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX10] && !IsNSA && 460692560dcSStanislav Mekhanoshin AddrSize != Info->VAddrDwords) { 461692560dcSStanislav Mekhanoshin unsigned VAddr0 = MI.getOperand(VAddr0Idx).getReg(); 462692560dcSStanislav Mekhanoshin unsigned VAddrSub0 = MRI.getSubReg(VAddr0, AMDGPU::sub0); 463692560dcSStanislav Mekhanoshin VAddr0 = (VAddrSub0 != 0) ? VAddrSub0 : VAddr0; 464692560dcSStanislav Mekhanoshin 465692560dcSStanislav Mekhanoshin auto AddrRCID = MCII->get(NewOpcode).OpInfo[VAddr0Idx].RegClass; 466692560dcSStanislav Mekhanoshin NewVAddr0 = MRI.getMatchingSuperReg(VAddr0, AMDGPU::sub0, 467692560dcSStanislav Mekhanoshin &MRI.getRegClass(AddrRCID)); 468692560dcSStanislav Mekhanoshin if (NewVAddr0 == AMDGPU::NoRegister) 469692560dcSStanislav Mekhanoshin return MCDisassembler::Success; 470692560dcSStanislav Mekhanoshin } 471cad7fa85SMatt Arsenault 472cad7fa85SMatt Arsenault MI.setOpcode(NewOpcode); 473692560dcSStanislav Mekhanoshin 474692560dcSStanislav Mekhanoshin if (NewVdata != AMDGPU::NoRegister) { 475cad7fa85SMatt Arsenault MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata); 4760b4eb1eaSDmitry Preobrazhensky 477da4a7c01SDmitry Preobrazhensky if (IsAtomic) { 4780b4eb1eaSDmitry Preobrazhensky // Atomic operations have an additional operand (a copy of data) 4790b4eb1eaSDmitry Preobrazhensky MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata); 4800b4eb1eaSDmitry Preobrazhensky } 481692560dcSStanislav Mekhanoshin } 482692560dcSStanislav Mekhanoshin 483692560dcSStanislav Mekhanoshin if (NewVAddr0 != AMDGPU::NoRegister) { 484692560dcSStanislav Mekhanoshin MI.getOperand(VAddr0Idx) = MCOperand::createReg(NewVAddr0); 485692560dcSStanislav Mekhanoshin } else if (IsNSA) { 486692560dcSStanislav Mekhanoshin assert(AddrSize <= Info->VAddrDwords); 487692560dcSStanislav Mekhanoshin MI.erase(MI.begin() + VAddr0Idx + AddrSize, 488692560dcSStanislav Mekhanoshin MI.begin() + VAddr0Idx + Info->VAddrDwords); 489692560dcSStanislav Mekhanoshin } 4900b4eb1eaSDmitry Preobrazhensky 491cad7fa85SMatt Arsenault return MCDisassembler::Success; 492cad7fa85SMatt Arsenault } 493cad7fa85SMatt Arsenault 494ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const { 495ac106addSNikolay Haustov return getContext().getRegisterInfo()-> 496ac106addSNikolay Haustov getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]); 497e1818af8STom Stellard } 498e1818af8STom Stellard 499ac106addSNikolay Haustov inline 500ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V, 501ac106addSNikolay Haustov const Twine& ErrMsg) const { 502ac106addSNikolay Haustov *CommentStream << "Error: " + ErrMsg; 503ac106addSNikolay Haustov 504ac106addSNikolay Haustov // ToDo: add support for error operands to MCInst.h 505ac106addSNikolay Haustov // return MCOperand::createError(V); 506ac106addSNikolay Haustov return MCOperand(); 507ac106addSNikolay Haustov } 508ac106addSNikolay Haustov 509ac106addSNikolay Haustov inline 510ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const { 511ac2b0264SDmitry Preobrazhensky return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI)); 512ac106addSNikolay Haustov } 513ac106addSNikolay Haustov 514ac106addSNikolay Haustov inline 515ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID, 516ac106addSNikolay Haustov unsigned Val) const { 517ac106addSNikolay Haustov const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID]; 518ac106addSNikolay Haustov if (Val >= RegCl.getNumRegs()) 519ac106addSNikolay Haustov return errOperand(Val, Twine(getRegClassName(RegClassID)) + 520ac106addSNikolay Haustov ": unknown register " + Twine(Val)); 521ac106addSNikolay Haustov return createRegOperand(RegCl.getRegister(Val)); 522ac106addSNikolay Haustov } 523ac106addSNikolay Haustov 524ac106addSNikolay Haustov inline 525ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID, 526ac106addSNikolay Haustov unsigned Val) const { 527ac106addSNikolay Haustov // ToDo: SI/CI have 104 SGPRs, VI - 102 528ac106addSNikolay Haustov // Valery: here we accepting as much as we can, let assembler sort it out 529ac106addSNikolay Haustov int shift = 0; 530ac106addSNikolay Haustov switch (SRegClassID) { 531ac106addSNikolay Haustov case AMDGPU::SGPR_32RegClassID: 532212a251cSArtem Tamazov case AMDGPU::TTMP_32RegClassID: 533212a251cSArtem Tamazov break; 534ac106addSNikolay Haustov case AMDGPU::SGPR_64RegClassID: 535212a251cSArtem Tamazov case AMDGPU::TTMP_64RegClassID: 536212a251cSArtem Tamazov shift = 1; 537212a251cSArtem Tamazov break; 538212a251cSArtem Tamazov case AMDGPU::SGPR_128RegClassID: 539212a251cSArtem Tamazov case AMDGPU::TTMP_128RegClassID: 540ac106addSNikolay Haustov // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in 541ac106addSNikolay Haustov // this bundle? 54227134953SDmitry Preobrazhensky case AMDGPU::SGPR_256RegClassID: 54327134953SDmitry Preobrazhensky case AMDGPU::TTMP_256RegClassID: 544ac106addSNikolay Haustov // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in 545ac106addSNikolay Haustov // this bundle? 54627134953SDmitry Preobrazhensky case AMDGPU::SGPR_512RegClassID: 54727134953SDmitry Preobrazhensky case AMDGPU::TTMP_512RegClassID: 548212a251cSArtem Tamazov shift = 2; 549212a251cSArtem Tamazov break; 550ac106addSNikolay Haustov // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in 551ac106addSNikolay Haustov // this bundle? 552212a251cSArtem Tamazov default: 55392b355b1SMatt Arsenault llvm_unreachable("unhandled register class"); 554ac106addSNikolay Haustov } 55592b355b1SMatt Arsenault 55692b355b1SMatt Arsenault if (Val % (1 << shift)) { 557ac106addSNikolay Haustov *CommentStream << "Warning: " << getRegClassName(SRegClassID) 558ac106addSNikolay Haustov << ": scalar reg isn't aligned " << Val; 55992b355b1SMatt Arsenault } 56092b355b1SMatt Arsenault 561ac106addSNikolay Haustov return createRegOperand(SRegClassID, Val >> shift); 562ac106addSNikolay Haustov } 563ac106addSNikolay Haustov 564ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const { 565212a251cSArtem Tamazov return decodeSrcOp(OPW32, Val); 566ac106addSNikolay Haustov } 567ac106addSNikolay Haustov 568ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const { 569212a251cSArtem Tamazov return decodeSrcOp(OPW64, Val); 570ac106addSNikolay Haustov } 571ac106addSNikolay Haustov 57230fc5239SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const { 57330fc5239SDmitry Preobrazhensky return decodeSrcOp(OPW128, Val); 57430fc5239SDmitry Preobrazhensky } 57530fc5239SDmitry Preobrazhensky 5764bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const { 5774bd72361SMatt Arsenault return decodeSrcOp(OPW16, Val); 5784bd72361SMatt Arsenault } 5794bd72361SMatt Arsenault 5809be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const { 5819be7b0d4SMatt Arsenault return decodeSrcOp(OPWV216, Val); 5829be7b0d4SMatt Arsenault } 5839be7b0d4SMatt Arsenault 584ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const { 585cb540bc0SMatt Arsenault // Some instructions have operand restrictions beyond what the encoding 586cb540bc0SMatt Arsenault // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra 587cb540bc0SMatt Arsenault // high bit. 588cb540bc0SMatt Arsenault Val &= 255; 589cb540bc0SMatt Arsenault 590ac106addSNikolay Haustov return createRegOperand(AMDGPU::VGPR_32RegClassID, Val); 591ac106addSNikolay Haustov } 592ac106addSNikolay Haustov 5936023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VRegOrLds_32(unsigned Val) const { 5946023d599SDmitry Preobrazhensky return decodeSrcOp(OPW32, Val); 5956023d599SDmitry Preobrazhensky } 5966023d599SDmitry Preobrazhensky 597ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const { 598ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_64RegClassID, Val); 599ac106addSNikolay Haustov } 600ac106addSNikolay Haustov 601ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const { 602ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_96RegClassID, Val); 603ac106addSNikolay Haustov } 604ac106addSNikolay Haustov 605ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const { 606ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_128RegClassID, Val); 607ac106addSNikolay Haustov } 608ac106addSNikolay Haustov 609ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const { 610ac106addSNikolay Haustov // table-gen generated disassembler doesn't care about operand types 611ac106addSNikolay Haustov // leaving only registry class so SSrc_32 operand turns into SReg_32 612ac106addSNikolay Haustov // and therefore we accept immediates and literals here as well 613212a251cSArtem Tamazov return decodeSrcOp(OPW32, Val); 614ac106addSNikolay Haustov } 615ac106addSNikolay Haustov 616640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC( 617640c44b8SMatt Arsenault unsigned Val) const { 618640c44b8SMatt Arsenault // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI 61938e496b1SArtem Tamazov return decodeOperand_SReg_32(Val); 62038e496b1SArtem Tamazov } 62138e496b1SArtem Tamazov 622ca7b0a17SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI( 623ca7b0a17SMatt Arsenault unsigned Val) const { 624ca7b0a17SMatt Arsenault // SReg_32_XM0 is SReg_32 without EXEC_HI 625ca7b0a17SMatt Arsenault return decodeOperand_SReg_32(Val); 626ca7b0a17SMatt Arsenault } 627ca7b0a17SMatt Arsenault 6286023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_SRegOrLds_32(unsigned Val) const { 6296023d599SDmitry Preobrazhensky // table-gen generated disassembler doesn't care about operand types 6306023d599SDmitry Preobrazhensky // leaving only registry class so SSrc_32 operand turns into SReg_32 6316023d599SDmitry Preobrazhensky // and therefore we accept immediates and literals here as well 6326023d599SDmitry Preobrazhensky return decodeSrcOp(OPW32, Val); 6336023d599SDmitry Preobrazhensky } 6346023d599SDmitry Preobrazhensky 635ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const { 636640c44b8SMatt Arsenault return decodeSrcOp(OPW64, Val); 637640c44b8SMatt Arsenault } 638640c44b8SMatt Arsenault 639640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const { 640212a251cSArtem Tamazov return decodeSrcOp(OPW64, Val); 641ac106addSNikolay Haustov } 642ac106addSNikolay Haustov 643ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const { 644212a251cSArtem Tamazov return decodeSrcOp(OPW128, Val); 645ac106addSNikolay Haustov } 646ac106addSNikolay Haustov 647ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const { 64827134953SDmitry Preobrazhensky return decodeDstOp(OPW256, Val); 649ac106addSNikolay Haustov } 650ac106addSNikolay Haustov 651ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const { 65227134953SDmitry Preobrazhensky return decodeDstOp(OPW512, Val); 653ac106addSNikolay Haustov } 654ac106addSNikolay Haustov 655ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const { 656ac106addSNikolay Haustov // For now all literal constants are supposed to be unsigned integer 657ac106addSNikolay Haustov // ToDo: deal with signed/unsigned 64-bit integer constants 658ac106addSNikolay Haustov // ToDo: deal with float/double constants 659ce941c9cSDmitry Preobrazhensky if (!HasLiteral) { 660ce941c9cSDmitry Preobrazhensky if (Bytes.size() < 4) { 661ac106addSNikolay Haustov return errOperand(0, "cannot read literal, inst bytes left " + 662ac106addSNikolay Haustov Twine(Bytes.size())); 663ce941c9cSDmitry Preobrazhensky } 664ce941c9cSDmitry Preobrazhensky HasLiteral = true; 665ce941c9cSDmitry Preobrazhensky Literal = eatBytes<uint32_t>(Bytes); 666ce941c9cSDmitry Preobrazhensky } 667ce941c9cSDmitry Preobrazhensky return MCOperand::createImm(Literal); 668ac106addSNikolay Haustov } 669ac106addSNikolay Haustov 670ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) { 671212a251cSArtem Tamazov using namespace AMDGPU::EncValues; 672c8fbf6ffSEugene Zelenko 673212a251cSArtem Tamazov assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX); 674212a251cSArtem Tamazov return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ? 675212a251cSArtem Tamazov (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) : 676212a251cSArtem Tamazov (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm))); 677212a251cSArtem Tamazov // Cast prevents negative overflow. 678ac106addSNikolay Haustov } 679ac106addSNikolay Haustov 6804bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) { 6814bd72361SMatt Arsenault switch (Imm) { 6824bd72361SMatt Arsenault case 240: 6834bd72361SMatt Arsenault return FloatToBits(0.5f); 6844bd72361SMatt Arsenault case 241: 6854bd72361SMatt Arsenault return FloatToBits(-0.5f); 6864bd72361SMatt Arsenault case 242: 6874bd72361SMatt Arsenault return FloatToBits(1.0f); 6884bd72361SMatt Arsenault case 243: 6894bd72361SMatt Arsenault return FloatToBits(-1.0f); 6904bd72361SMatt Arsenault case 244: 6914bd72361SMatt Arsenault return FloatToBits(2.0f); 6924bd72361SMatt Arsenault case 245: 6934bd72361SMatt Arsenault return FloatToBits(-2.0f); 6944bd72361SMatt Arsenault case 246: 6954bd72361SMatt Arsenault return FloatToBits(4.0f); 6964bd72361SMatt Arsenault case 247: 6974bd72361SMatt Arsenault return FloatToBits(-4.0f); 6984bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 6994bd72361SMatt Arsenault return 0x3e22f983; 7004bd72361SMatt Arsenault default: 7014bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7024bd72361SMatt Arsenault } 7034bd72361SMatt Arsenault } 7044bd72361SMatt Arsenault 7054bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) { 7064bd72361SMatt Arsenault switch (Imm) { 7074bd72361SMatt Arsenault case 240: 7084bd72361SMatt Arsenault return DoubleToBits(0.5); 7094bd72361SMatt Arsenault case 241: 7104bd72361SMatt Arsenault return DoubleToBits(-0.5); 7114bd72361SMatt Arsenault case 242: 7124bd72361SMatt Arsenault return DoubleToBits(1.0); 7134bd72361SMatt Arsenault case 243: 7144bd72361SMatt Arsenault return DoubleToBits(-1.0); 7154bd72361SMatt Arsenault case 244: 7164bd72361SMatt Arsenault return DoubleToBits(2.0); 7174bd72361SMatt Arsenault case 245: 7184bd72361SMatt Arsenault return DoubleToBits(-2.0); 7194bd72361SMatt Arsenault case 246: 7204bd72361SMatt Arsenault return DoubleToBits(4.0); 7214bd72361SMatt Arsenault case 247: 7224bd72361SMatt Arsenault return DoubleToBits(-4.0); 7234bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 7244bd72361SMatt Arsenault return 0x3fc45f306dc9c882; 7254bd72361SMatt Arsenault default: 7264bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7274bd72361SMatt Arsenault } 7284bd72361SMatt Arsenault } 7294bd72361SMatt Arsenault 7304bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) { 7314bd72361SMatt Arsenault switch (Imm) { 7324bd72361SMatt Arsenault case 240: 7334bd72361SMatt Arsenault return 0x3800; 7344bd72361SMatt Arsenault case 241: 7354bd72361SMatt Arsenault return 0xB800; 7364bd72361SMatt Arsenault case 242: 7374bd72361SMatt Arsenault return 0x3C00; 7384bd72361SMatt Arsenault case 243: 7394bd72361SMatt Arsenault return 0xBC00; 7404bd72361SMatt Arsenault case 244: 7414bd72361SMatt Arsenault return 0x4000; 7424bd72361SMatt Arsenault case 245: 7434bd72361SMatt Arsenault return 0xC000; 7444bd72361SMatt Arsenault case 246: 7454bd72361SMatt Arsenault return 0x4400; 7464bd72361SMatt Arsenault case 247: 7474bd72361SMatt Arsenault return 0xC400; 7484bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 7494bd72361SMatt Arsenault return 0x3118; 7504bd72361SMatt Arsenault default: 7514bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7524bd72361SMatt Arsenault } 7534bd72361SMatt Arsenault } 7544bd72361SMatt Arsenault 7554bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) { 756212a251cSArtem Tamazov assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN 757212a251cSArtem Tamazov && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX); 7584bd72361SMatt Arsenault 759e1818af8STom Stellard // ToDo: case 248: 1/(2*PI) - is allowed only on VI 7604bd72361SMatt Arsenault switch (Width) { 7614bd72361SMatt Arsenault case OPW32: 7624bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal32(Imm)); 7634bd72361SMatt Arsenault case OPW64: 7644bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal64(Imm)); 7654bd72361SMatt Arsenault case OPW16: 7669be7b0d4SMatt Arsenault case OPWV216: 7674bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal16(Imm)); 7684bd72361SMatt Arsenault default: 7694bd72361SMatt Arsenault llvm_unreachable("implement me"); 770e1818af8STom Stellard } 771e1818af8STom Stellard } 772e1818af8STom Stellard 773212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const { 774e1818af8STom Stellard using namespace AMDGPU; 775c8fbf6ffSEugene Zelenko 776212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 777212a251cSArtem Tamazov switch (Width) { 778212a251cSArtem Tamazov default: // fall 7794bd72361SMatt Arsenault case OPW32: 7804bd72361SMatt Arsenault case OPW16: 7819be7b0d4SMatt Arsenault case OPWV216: 7824bd72361SMatt Arsenault return VGPR_32RegClassID; 783212a251cSArtem Tamazov case OPW64: return VReg_64RegClassID; 784212a251cSArtem Tamazov case OPW128: return VReg_128RegClassID; 785212a251cSArtem Tamazov } 786212a251cSArtem Tamazov } 787212a251cSArtem Tamazov 788212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const { 789212a251cSArtem Tamazov using namespace AMDGPU; 790c8fbf6ffSEugene Zelenko 791212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 792212a251cSArtem Tamazov switch (Width) { 793212a251cSArtem Tamazov default: // fall 7944bd72361SMatt Arsenault case OPW32: 7954bd72361SMatt Arsenault case OPW16: 7969be7b0d4SMatt Arsenault case OPWV216: 7974bd72361SMatt Arsenault return SGPR_32RegClassID; 798212a251cSArtem Tamazov case OPW64: return SGPR_64RegClassID; 799212a251cSArtem Tamazov case OPW128: return SGPR_128RegClassID; 80027134953SDmitry Preobrazhensky case OPW256: return SGPR_256RegClassID; 80127134953SDmitry Preobrazhensky case OPW512: return SGPR_512RegClassID; 802212a251cSArtem Tamazov } 803212a251cSArtem Tamazov } 804212a251cSArtem Tamazov 805212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const { 806212a251cSArtem Tamazov using namespace AMDGPU; 807c8fbf6ffSEugene Zelenko 808212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 809212a251cSArtem Tamazov switch (Width) { 810212a251cSArtem Tamazov default: // fall 8114bd72361SMatt Arsenault case OPW32: 8124bd72361SMatt Arsenault case OPW16: 8139be7b0d4SMatt Arsenault case OPWV216: 8144bd72361SMatt Arsenault return TTMP_32RegClassID; 815212a251cSArtem Tamazov case OPW64: return TTMP_64RegClassID; 816212a251cSArtem Tamazov case OPW128: return TTMP_128RegClassID; 81727134953SDmitry Preobrazhensky case OPW256: return TTMP_256RegClassID; 81827134953SDmitry Preobrazhensky case OPW512: return TTMP_512RegClassID; 819212a251cSArtem Tamazov } 820212a251cSArtem Tamazov } 821212a251cSArtem Tamazov 822ac2b0264SDmitry Preobrazhensky int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const { 823ac2b0264SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 824ac2b0264SDmitry Preobrazhensky 82533d806a5SStanislav Mekhanoshin unsigned TTmpMin = 82633d806a5SStanislav Mekhanoshin (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MIN : TTMP_VI_MIN; 82733d806a5SStanislav Mekhanoshin unsigned TTmpMax = 82833d806a5SStanislav Mekhanoshin (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MAX : TTMP_VI_MAX; 829ac2b0264SDmitry Preobrazhensky 830ac2b0264SDmitry Preobrazhensky return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1; 831ac2b0264SDmitry Preobrazhensky } 832ac2b0264SDmitry Preobrazhensky 833212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const { 834212a251cSArtem Tamazov using namespace AMDGPU::EncValues; 835c8fbf6ffSEugene Zelenko 836ac106addSNikolay Haustov assert(Val < 512); // enum9 837ac106addSNikolay Haustov 838212a251cSArtem Tamazov if (VGPR_MIN <= Val && Val <= VGPR_MAX) { 839212a251cSArtem Tamazov return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN); 840212a251cSArtem Tamazov } 841b49c3361SArtem Tamazov if (Val <= SGPR_MAX) { 842b49c3361SArtem Tamazov assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning. 843212a251cSArtem Tamazov return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN); 844212a251cSArtem Tamazov } 845ac2b0264SDmitry Preobrazhensky 846ac2b0264SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 847ac2b0264SDmitry Preobrazhensky if (TTmpIdx >= 0) { 848ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), TTmpIdx); 849212a251cSArtem Tamazov } 850ac106addSNikolay Haustov 851212a251cSArtem Tamazov if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX) 852ac106addSNikolay Haustov return decodeIntImmed(Val); 853ac106addSNikolay Haustov 854212a251cSArtem Tamazov if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX) 8554bd72361SMatt Arsenault return decodeFPImmed(Width, Val); 856ac106addSNikolay Haustov 857212a251cSArtem Tamazov if (Val == LITERAL_CONST) 858ac106addSNikolay Haustov return decodeLiteralConstant(); 859ac106addSNikolay Haustov 8604bd72361SMatt Arsenault switch (Width) { 8614bd72361SMatt Arsenault case OPW32: 8624bd72361SMatt Arsenault case OPW16: 8639be7b0d4SMatt Arsenault case OPWV216: 8644bd72361SMatt Arsenault return decodeSpecialReg32(Val); 8654bd72361SMatt Arsenault case OPW64: 8664bd72361SMatt Arsenault return decodeSpecialReg64(Val); 8674bd72361SMatt Arsenault default: 8684bd72361SMatt Arsenault llvm_unreachable("unexpected immediate type"); 8694bd72361SMatt Arsenault } 870ac106addSNikolay Haustov } 871ac106addSNikolay Haustov 87227134953SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const { 87327134953SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 87427134953SDmitry Preobrazhensky 87527134953SDmitry Preobrazhensky assert(Val < 128); 87627134953SDmitry Preobrazhensky assert(Width == OPW256 || Width == OPW512); 87727134953SDmitry Preobrazhensky 87827134953SDmitry Preobrazhensky if (Val <= SGPR_MAX) { 87927134953SDmitry Preobrazhensky assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning. 88027134953SDmitry Preobrazhensky return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN); 88127134953SDmitry Preobrazhensky } 88227134953SDmitry Preobrazhensky 88327134953SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 88427134953SDmitry Preobrazhensky if (TTmpIdx >= 0) { 88527134953SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), TTmpIdx); 88627134953SDmitry Preobrazhensky } 88727134953SDmitry Preobrazhensky 88827134953SDmitry Preobrazhensky llvm_unreachable("unknown dst register"); 88927134953SDmitry Preobrazhensky } 89027134953SDmitry Preobrazhensky 891ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const { 892ac106addSNikolay Haustov using namespace AMDGPU; 893c8fbf6ffSEugene Zelenko 894e1818af8STom Stellard switch (Val) { 895ac2b0264SDmitry Preobrazhensky case 102: return createRegOperand(FLAT_SCR_LO); 896ac2b0264SDmitry Preobrazhensky case 103: return createRegOperand(FLAT_SCR_HI); 8973afbd825SDmitry Preobrazhensky case 104: return createRegOperand(XNACK_MASK_LO); 8983afbd825SDmitry Preobrazhensky case 105: return createRegOperand(XNACK_MASK_HI); 899ac106addSNikolay Haustov case 106: return createRegOperand(VCC_LO); 900ac106addSNikolay Haustov case 107: return createRegOperand(VCC_HI); 901137976faSDmitry Preobrazhensky case 108: return createRegOperand(TBA_LO); 902137976faSDmitry Preobrazhensky case 109: return createRegOperand(TBA_HI); 903137976faSDmitry Preobrazhensky case 110: return createRegOperand(TMA_LO); 904137976faSDmitry Preobrazhensky case 111: return createRegOperand(TMA_HI); 905ac106addSNikolay Haustov case 124: return createRegOperand(M0); 90633d806a5SStanislav Mekhanoshin case 125: return createRegOperand(SGPR_NULL); 907ac106addSNikolay Haustov case 126: return createRegOperand(EXEC_LO); 908ac106addSNikolay Haustov case 127: return createRegOperand(EXEC_HI); 909a3b3b489SMatt Arsenault case 235: return createRegOperand(SRC_SHARED_BASE); 910a3b3b489SMatt Arsenault case 236: return createRegOperand(SRC_SHARED_LIMIT); 911a3b3b489SMatt Arsenault case 237: return createRegOperand(SRC_PRIVATE_BASE); 912a3b3b489SMatt Arsenault case 238: return createRegOperand(SRC_PRIVATE_LIMIT); 913137976faSDmitry Preobrazhensky case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID); 914e1818af8STom Stellard // ToDo: no support for vccz register 915ac106addSNikolay Haustov case 251: break; 916e1818af8STom Stellard // ToDo: no support for execz register 917ac106addSNikolay Haustov case 252: break; 918ac106addSNikolay Haustov case 253: return createRegOperand(SCC); 919942c273dSDmitry Preobrazhensky case 254: return createRegOperand(LDS_DIRECT); 920ac106addSNikolay Haustov default: break; 921e1818af8STom Stellard } 922ac106addSNikolay Haustov return errOperand(Val, "unknown operand encoding " + Twine(Val)); 923e1818af8STom Stellard } 924e1818af8STom Stellard 925ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const { 926161a158eSNikolay Haustov using namespace AMDGPU; 927c8fbf6ffSEugene Zelenko 928161a158eSNikolay Haustov switch (Val) { 929ac2b0264SDmitry Preobrazhensky case 102: return createRegOperand(FLAT_SCR); 9303afbd825SDmitry Preobrazhensky case 104: return createRegOperand(XNACK_MASK); 931ac106addSNikolay Haustov case 106: return createRegOperand(VCC); 932137976faSDmitry Preobrazhensky case 108: return createRegOperand(TBA); 933137976faSDmitry Preobrazhensky case 110: return createRegOperand(TMA); 934ac106addSNikolay Haustov case 126: return createRegOperand(EXEC); 935137976faSDmitry Preobrazhensky case 235: return createRegOperand(SRC_SHARED_BASE); 936137976faSDmitry Preobrazhensky case 236: return createRegOperand(SRC_SHARED_LIMIT); 937137976faSDmitry Preobrazhensky case 237: return createRegOperand(SRC_PRIVATE_BASE); 938137976faSDmitry Preobrazhensky case 238: return createRegOperand(SRC_PRIVATE_LIMIT); 939137976faSDmitry Preobrazhensky case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID); 940ac106addSNikolay Haustov default: break; 941161a158eSNikolay Haustov } 942ac106addSNikolay Haustov return errOperand(Val, "unknown operand encoding " + Twine(Val)); 943161a158eSNikolay Haustov } 944161a158eSNikolay Haustov 945549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width, 9466b65f7c3SDmitry Preobrazhensky const unsigned Val) const { 947363f47a2SSam Kolton using namespace AMDGPU::SDWA; 9486b65f7c3SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 949363f47a2SSam Kolton 95033d806a5SStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 95133d806a5SStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 952da644c02SStanislav Mekhanoshin // XXX: cast to int is needed to avoid stupid warning: 953a179d25bSSam Kolton // compare with unsigned is always true 954da644c02SStanislav Mekhanoshin if (int(SDWA9EncValues::SRC_VGPR_MIN) <= int(Val) && 955363f47a2SSam Kolton Val <= SDWA9EncValues::SRC_VGPR_MAX) { 956363f47a2SSam Kolton return createRegOperand(getVgprClassId(Width), 957363f47a2SSam Kolton Val - SDWA9EncValues::SRC_VGPR_MIN); 958363f47a2SSam Kolton } 959363f47a2SSam Kolton if (SDWA9EncValues::SRC_SGPR_MIN <= Val && 96033d806a5SStanislav Mekhanoshin Val <= (isGFX10() ? SDWA9EncValues::SRC_SGPR_MAX_GFX10 96133d806a5SStanislav Mekhanoshin : SDWA9EncValues::SRC_SGPR_MAX_SI)) { 962363f47a2SSam Kolton return createSRegOperand(getSgprClassId(Width), 963363f47a2SSam Kolton Val - SDWA9EncValues::SRC_SGPR_MIN); 964363f47a2SSam Kolton } 965ac2b0264SDmitry Preobrazhensky if (SDWA9EncValues::SRC_TTMP_MIN <= Val && 966ac2b0264SDmitry Preobrazhensky Val <= SDWA9EncValues::SRC_TTMP_MAX) { 967ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), 968ac2b0264SDmitry Preobrazhensky Val - SDWA9EncValues::SRC_TTMP_MIN); 969ac2b0264SDmitry Preobrazhensky } 970363f47a2SSam Kolton 9716b65f7c3SDmitry Preobrazhensky const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN; 9726b65f7c3SDmitry Preobrazhensky 9736b65f7c3SDmitry Preobrazhensky if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX) 9746b65f7c3SDmitry Preobrazhensky return decodeIntImmed(SVal); 9756b65f7c3SDmitry Preobrazhensky 9766b65f7c3SDmitry Preobrazhensky if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX) 9776b65f7c3SDmitry Preobrazhensky return decodeFPImmed(Width, SVal); 9786b65f7c3SDmitry Preobrazhensky 9796b65f7c3SDmitry Preobrazhensky return decodeSpecialReg32(SVal); 980549c89d2SSam Kolton } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) { 981549c89d2SSam Kolton return createRegOperand(getVgprClassId(Width), Val); 982549c89d2SSam Kolton } 983549c89d2SSam Kolton llvm_unreachable("unsupported target"); 984363f47a2SSam Kolton } 985363f47a2SSam Kolton 986549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const { 987549c89d2SSam Kolton return decodeSDWASrc(OPW16, Val); 988363f47a2SSam Kolton } 989363f47a2SSam Kolton 990549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const { 991549c89d2SSam Kolton return decodeSDWASrc(OPW32, Val); 992363f47a2SSam Kolton } 993363f47a2SSam Kolton 994549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const { 995363f47a2SSam Kolton using namespace AMDGPU::SDWA; 996363f47a2SSam Kolton 99733d806a5SStanislav Mekhanoshin assert((STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 99833d806a5SStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) && 99933d806a5SStanislav Mekhanoshin "SDWAVopcDst should be present only on GFX9+"); 100033d806a5SStanislav Mekhanoshin 1001363f47a2SSam Kolton if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) { 1002363f47a2SSam Kolton Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK; 1003ac2b0264SDmitry Preobrazhensky 1004ac2b0264SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 1005ac2b0264SDmitry Preobrazhensky if (TTmpIdx >= 0) { 1006ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx); 100733d806a5SStanislav Mekhanoshin } else if (Val > SGPR_MAX) { 1008363f47a2SSam Kolton return decodeSpecialReg64(Val); 1009363f47a2SSam Kolton } else { 1010363f47a2SSam Kolton return createSRegOperand(getSgprClassId(OPW64), Val); 1011363f47a2SSam Kolton } 1012363f47a2SSam Kolton } else { 1013363f47a2SSam Kolton return createRegOperand(AMDGPU::VCC); 1014363f47a2SSam Kolton } 1015363f47a2SSam Kolton } 1016363f47a2SSam Kolton 1017ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isVI() const { 1018ac2b0264SDmitry Preobrazhensky return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]; 1019ac2b0264SDmitry Preobrazhensky } 1020ac2b0264SDmitry Preobrazhensky 1021ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isGFX9() const { 1022ac2b0264SDmitry Preobrazhensky return STI.getFeatureBits()[AMDGPU::FeatureGFX9]; 1023ac2b0264SDmitry Preobrazhensky } 1024ac2b0264SDmitry Preobrazhensky 102533d806a5SStanislav Mekhanoshin bool AMDGPUDisassembler::isGFX10() const { 102633d806a5SStanislav Mekhanoshin return STI.getFeatureBits()[AMDGPU::FeatureGFX10]; 102733d806a5SStanislav Mekhanoshin } 102833d806a5SStanislav Mekhanoshin 10293381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10303381d7a2SSam Kolton // AMDGPUSymbolizer 10313381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10323381d7a2SSam Kolton 10333381d7a2SSam Kolton // Try to find symbol name for specified label 10343381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst, 10353381d7a2SSam Kolton raw_ostream &/*cStream*/, int64_t Value, 10363381d7a2SSam Kolton uint64_t /*Address*/, bool IsBranch, 10373381d7a2SSam Kolton uint64_t /*Offset*/, uint64_t /*InstSize*/) { 1038c8fbf6ffSEugene Zelenko using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>; 1039c8fbf6ffSEugene Zelenko using SectionSymbolsTy = std::vector<SymbolInfoTy>; 10403381d7a2SSam Kolton 10413381d7a2SSam Kolton if (!IsBranch) { 10423381d7a2SSam Kolton return false; 10433381d7a2SSam Kolton } 10443381d7a2SSam Kolton 10453381d7a2SSam Kolton auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo); 1046b1c3b22bSNicolai Haehnle if (!Symbols) 1047b1c3b22bSNicolai Haehnle return false; 1048b1c3b22bSNicolai Haehnle 10493381d7a2SSam Kolton auto Result = std::find_if(Symbols->begin(), Symbols->end(), 10503381d7a2SSam Kolton [Value](const SymbolInfoTy& Val) { 10513381d7a2SSam Kolton return std::get<0>(Val) == static_cast<uint64_t>(Value) 10523381d7a2SSam Kolton && std::get<2>(Val) == ELF::STT_NOTYPE; 10533381d7a2SSam Kolton }); 10543381d7a2SSam Kolton if (Result != Symbols->end()) { 10553381d7a2SSam Kolton auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result)); 10563381d7a2SSam Kolton const auto *Add = MCSymbolRefExpr::create(Sym, Ctx); 10573381d7a2SSam Kolton Inst.addOperand(MCOperand::createExpr(Add)); 10583381d7a2SSam Kolton return true; 10593381d7a2SSam Kolton } 10603381d7a2SSam Kolton return false; 10613381d7a2SSam Kolton } 10623381d7a2SSam Kolton 106392b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream, 106492b355b1SMatt Arsenault int64_t Value, 106592b355b1SMatt Arsenault uint64_t Address) { 106692b355b1SMatt Arsenault llvm_unreachable("unimplemented"); 106792b355b1SMatt Arsenault } 106892b355b1SMatt Arsenault 10693381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10703381d7a2SSam Kolton // Initialization 10713381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10723381d7a2SSam Kolton 10733381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/, 10743381d7a2SSam Kolton LLVMOpInfoCallback /*GetOpInfo*/, 10753381d7a2SSam Kolton LLVMSymbolLookupCallback /*SymbolLookUp*/, 10763381d7a2SSam Kolton void *DisInfo, 10773381d7a2SSam Kolton MCContext *Ctx, 10783381d7a2SSam Kolton std::unique_ptr<MCRelocationInfo> &&RelInfo) { 10793381d7a2SSam Kolton return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo); 10803381d7a2SSam Kolton } 10813381d7a2SSam Kolton 1082e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T, 1083e1818af8STom Stellard const MCSubtargetInfo &STI, 1084e1818af8STom Stellard MCContext &Ctx) { 1085cad7fa85SMatt Arsenault return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo()); 1086e1818af8STom Stellard } 1087e1818af8STom Stellard 1088e1818af8STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() { 1089f42454b9SMehdi Amini TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(), 1090f42454b9SMehdi Amini createAMDGPUDisassembler); 1091f42454b9SMehdi Amini TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(), 1092f42454b9SMehdi Amini createAMDGPUSymbolizer); 1093e1818af8STom Stellard } 1094