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" 248ce2ee9dSRichard 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" 31ca64ef20SMatt Arsenault #include "llvm/MC/MCAsmInfo.h" 32ac106addSNikolay Haustov #include "llvm/MC/MCContext.h" 33c8fbf6ffSEugene Zelenko #include "llvm/MC/MCDisassembler/MCDisassembler.h" 34c8fbf6ffSEugene Zelenko #include "llvm/MC/MCExpr.h" 35e1818af8STom Stellard #include "llvm/MC/MCFixedLenDisassembler.h" 36e1818af8STom Stellard #include "llvm/MC/MCInst.h" 37e1818af8STom Stellard #include "llvm/MC/MCSubtargetInfo.h" 38ac106addSNikolay Haustov #include "llvm/Support/Endian.h" 39c8fbf6ffSEugene Zelenko #include "llvm/Support/ErrorHandling.h" 40c8fbf6ffSEugene Zelenko #include "llvm/Support/MathExtras.h" 41e1818af8STom Stellard #include "llvm/Support/TargetRegistry.h" 42c8fbf6ffSEugene Zelenko #include "llvm/Support/raw_ostream.h" 43c8fbf6ffSEugene Zelenko #include <algorithm> 44c8fbf6ffSEugene Zelenko #include <cassert> 45c8fbf6ffSEugene Zelenko #include <cstddef> 46c8fbf6ffSEugene Zelenko #include <cstdint> 47c8fbf6ffSEugene Zelenko #include <iterator> 48c8fbf6ffSEugene Zelenko #include <tuple> 49c8fbf6ffSEugene Zelenko #include <vector> 50e1818af8STom Stellard 51e1818af8STom Stellard using namespace llvm; 52e1818af8STom Stellard 53e1818af8STom Stellard #define DEBUG_TYPE "amdgpu-disassembler" 54e1818af8STom Stellard 5533d806a5SStanislav Mekhanoshin #define SGPR_MAX (isGFX10() ? AMDGPU::EncValues::SGPR_MAX_GFX10 \ 5633d806a5SStanislav Mekhanoshin : AMDGPU::EncValues::SGPR_MAX_SI) 5733d806a5SStanislav Mekhanoshin 58c8fbf6ffSEugene Zelenko using DecodeStatus = llvm::MCDisassembler::DecodeStatus; 59e1818af8STom Stellard 60ca64ef20SMatt Arsenault AMDGPUDisassembler::AMDGPUDisassembler(const MCSubtargetInfo &STI, 61ca64ef20SMatt Arsenault MCContext &Ctx, 62ca64ef20SMatt Arsenault MCInstrInfo const *MCII) : 63ca64ef20SMatt Arsenault MCDisassembler(STI, Ctx), MCII(MCII), MRI(*Ctx.getRegisterInfo()), 64418e23e3SMatt Arsenault TargetMaxInstBytes(Ctx.getAsmInfo()->getMaxInstLength(&STI)) { 65418e23e3SMatt Arsenault 66418e23e3SMatt Arsenault // ToDo: AMDGPUDisassembler supports only VI ISA. 67418e23e3SMatt Arsenault if (!STI.getFeatureBits()[AMDGPU::FeatureGCN3Encoding] && !isGFX10()) 68418e23e3SMatt Arsenault report_fatal_error("Disassembly not yet supported for subtarget"); 69418e23e3SMatt Arsenault } 70ca64ef20SMatt Arsenault 71ac106addSNikolay Haustov inline static MCDisassembler::DecodeStatus 72ac106addSNikolay Haustov addOperand(MCInst &Inst, const MCOperand& Opnd) { 73ac106addSNikolay Haustov Inst.addOperand(Opnd); 74ac106addSNikolay Haustov return Opnd.isValid() ? 75ac106addSNikolay Haustov MCDisassembler::Success : 76ac106addSNikolay Haustov MCDisassembler::SoftFail; 77e1818af8STom Stellard } 78e1818af8STom Stellard 79549c89d2SSam Kolton static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op, 80549c89d2SSam Kolton uint16_t NameIdx) { 81549c89d2SSam Kolton int OpIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), NameIdx); 82549c89d2SSam Kolton if (OpIdx != -1) { 83549c89d2SSam Kolton auto I = MI.begin(); 84549c89d2SSam Kolton std::advance(I, OpIdx); 85549c89d2SSam Kolton MI.insert(I, Op); 86549c89d2SSam Kolton } 87549c89d2SSam Kolton return OpIdx; 88549c89d2SSam Kolton } 89549c89d2SSam Kolton 903381d7a2SSam Kolton static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm, 913381d7a2SSam Kolton uint64_t Addr, const void *Decoder) { 923381d7a2SSam Kolton auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 933381d7a2SSam Kolton 94efec1396SScott Linder // Our branches take a simm16, but we need two extra bits to account for the 95efec1396SScott Linder // factor of 4. 963381d7a2SSam Kolton APInt SignedOffset(18, Imm * 4, true); 973381d7a2SSam Kolton int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue(); 983381d7a2SSam Kolton 993381d7a2SSam Kolton if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2)) 1003381d7a2SSam Kolton return MCDisassembler::Success; 1013381d7a2SSam Kolton return addOperand(Inst, MCOperand::createImm(Imm)); 1023381d7a2SSam Kolton } 1033381d7a2SSam Kolton 104*0846c125SStanislav Mekhanoshin static DecodeStatus decodeBoolReg(MCInst &Inst, unsigned Val, 105*0846c125SStanislav Mekhanoshin uint64_t Addr, const void *Decoder) { 106*0846c125SStanislav Mekhanoshin auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 107*0846c125SStanislav Mekhanoshin return addOperand(Inst, DAsm->decodeBoolReg(Val)); 108*0846c125SStanislav Mekhanoshin } 109*0846c125SStanislav Mekhanoshin 110363f47a2SSam Kolton #define DECODE_OPERAND(StaticDecoderName, DecoderName) \ 111363f47a2SSam Kolton static DecodeStatus StaticDecoderName(MCInst &Inst, \ 112ac106addSNikolay Haustov unsigned Imm, \ 113ac106addSNikolay Haustov uint64_t /*Addr*/, \ 114ac106addSNikolay Haustov const void *Decoder) { \ 115ac106addSNikolay Haustov auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \ 116363f47a2SSam Kolton return addOperand(Inst, DAsm->DecoderName(Imm)); \ 117e1818af8STom Stellard } 118e1818af8STom Stellard 119363f47a2SSam Kolton #define DECODE_OPERAND_REG(RegClass) \ 120363f47a2SSam Kolton DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass) 121e1818af8STom Stellard 122363f47a2SSam Kolton DECODE_OPERAND_REG(VGPR_32) 1236023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(VRegOrLds_32) 124363f47a2SSam Kolton DECODE_OPERAND_REG(VS_32) 125363f47a2SSam Kolton DECODE_OPERAND_REG(VS_64) 12630fc5239SDmitry Preobrazhensky DECODE_OPERAND_REG(VS_128) 127e1818af8STom Stellard 128363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_64) 129363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_96) 130363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_128) 131e1818af8STom Stellard 132363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32) 133363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32_XM0_XEXEC) 134ca7b0a17SMatt Arsenault DECODE_OPERAND_REG(SReg_32_XEXEC_HI) 1356023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(SRegOrLds_32) 136363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64) 137363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64_XEXEC) 138363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_128) 139363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_256) 140363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_512) 141e1818af8STom Stellard 1424bd72361SMatt Arsenault static DecodeStatus decodeOperand_VSrc16(MCInst &Inst, 1434bd72361SMatt Arsenault unsigned Imm, 1444bd72361SMatt Arsenault uint64_t Addr, 1454bd72361SMatt Arsenault const void *Decoder) { 1464bd72361SMatt Arsenault auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 1474bd72361SMatt Arsenault return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm)); 1484bd72361SMatt Arsenault } 1494bd72361SMatt Arsenault 1509be7b0d4SMatt Arsenault static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst, 1519be7b0d4SMatt Arsenault unsigned Imm, 1529be7b0d4SMatt Arsenault uint64_t Addr, 1539be7b0d4SMatt Arsenault const void *Decoder) { 1549be7b0d4SMatt Arsenault auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); 1559be7b0d4SMatt Arsenault return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm)); 1569be7b0d4SMatt Arsenault } 1579be7b0d4SMatt Arsenault 158549c89d2SSam Kolton #define DECODE_SDWA(DecName) \ 159549c89d2SSam Kolton DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName) 160363f47a2SSam Kolton 161549c89d2SSam Kolton DECODE_SDWA(Src32) 162549c89d2SSam Kolton DECODE_SDWA(Src16) 163549c89d2SSam Kolton DECODE_SDWA(VopcDst) 164363f47a2SSam Kolton 165e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc" 166e1818af8STom Stellard 167e1818af8STom Stellard //===----------------------------------------------------------------------===// 168e1818af8STom Stellard // 169e1818af8STom Stellard //===----------------------------------------------------------------------===// 170e1818af8STom Stellard 1711048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) { 1721048fb18SSam Kolton assert(Bytes.size() >= sizeof(T)); 1731048fb18SSam Kolton const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data()); 1741048fb18SSam Kolton Bytes = Bytes.slice(sizeof(T)); 175ac106addSNikolay Haustov return Res; 176ac106addSNikolay Haustov } 177ac106addSNikolay Haustov 178ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table, 179ac106addSNikolay Haustov MCInst &MI, 180ac106addSNikolay Haustov uint64_t Inst, 181ac106addSNikolay Haustov uint64_t Address) const { 182ac106addSNikolay Haustov assert(MI.getOpcode() == 0); 183ac106addSNikolay Haustov assert(MI.getNumOperands() == 0); 184ac106addSNikolay Haustov MCInst TmpInst; 185ce941c9cSDmitry Preobrazhensky HasLiteral = false; 186ac106addSNikolay Haustov const auto SavedBytes = Bytes; 187ac106addSNikolay Haustov if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) { 188ac106addSNikolay Haustov MI = TmpInst; 189ac106addSNikolay Haustov return MCDisassembler::Success; 190ac106addSNikolay Haustov } 191ac106addSNikolay Haustov Bytes = SavedBytes; 192ac106addSNikolay Haustov return MCDisassembler::Fail; 193ac106addSNikolay Haustov } 194ac106addSNikolay Haustov 195245b5ba3SStanislav Mekhanoshin static bool isValidDPP8(const MCInst &MI) { 196245b5ba3SStanislav Mekhanoshin using namespace llvm::AMDGPU::DPP; 197245b5ba3SStanislav Mekhanoshin int FiIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::fi); 198245b5ba3SStanislav Mekhanoshin assert(FiIdx != -1); 199245b5ba3SStanislav Mekhanoshin if ((unsigned)FiIdx >= MI.getNumOperands()) 200245b5ba3SStanislav Mekhanoshin return false; 201245b5ba3SStanislav Mekhanoshin unsigned Fi = MI.getOperand(FiIdx).getImm(); 202245b5ba3SStanislav Mekhanoshin return Fi == DPP8_FI_0 || Fi == DPP8_FI_1; 203245b5ba3SStanislav Mekhanoshin } 204245b5ba3SStanislav Mekhanoshin 205e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size, 206ac106addSNikolay Haustov ArrayRef<uint8_t> Bytes_, 207e1818af8STom Stellard uint64_t Address, 208e1818af8STom Stellard raw_ostream &WS, 209e1818af8STom Stellard raw_ostream &CS) const { 210e1818af8STom Stellard CommentStream = &CS; 211549c89d2SSam Kolton bool IsSDWA = false; 212e1818af8STom Stellard 213ca64ef20SMatt Arsenault unsigned MaxInstBytesNum = std::min((size_t)TargetMaxInstBytes, Bytes_.size()); 214ac106addSNikolay Haustov Bytes = Bytes_.slice(0, MaxInstBytesNum); 215161a158eSNikolay Haustov 216ac106addSNikolay Haustov DecodeStatus Res = MCDisassembler::Fail; 217ac106addSNikolay Haustov do { 218824e804bSValery Pykhtin // ToDo: better to switch encoding length using some bit predicate 219ac106addSNikolay Haustov // but it is unknown yet, so try all we can 2201048fb18SSam Kolton 221c9bdcb75SSam Kolton // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2 222c9bdcb75SSam Kolton // encodings 2231048fb18SSam Kolton if (Bytes.size() >= 8) { 2241048fb18SSam Kolton const uint64_t QW = eatBytes<uint64_t>(Bytes); 225245b5ba3SStanislav Mekhanoshin 226245b5ba3SStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableDPP864, MI, QW, Address); 227245b5ba3SStanislav Mekhanoshin if (Res && convertDPP8Inst(MI) == MCDisassembler::Success) 228245b5ba3SStanislav Mekhanoshin break; 229245b5ba3SStanislav Mekhanoshin 230245b5ba3SStanislav Mekhanoshin MI = MCInst(); // clear 231245b5ba3SStanislav Mekhanoshin 2321048fb18SSam Kolton Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address); 2331048fb18SSam Kolton if (Res) break; 234c9bdcb75SSam Kolton 235c9bdcb75SSam Kolton Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address); 236549c89d2SSam Kolton if (Res) { IsSDWA = true; break; } 237363f47a2SSam Kolton 238363f47a2SSam Kolton Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address); 239549c89d2SSam Kolton if (Res) { IsSDWA = true; break; } 2400905870fSChangpeng Fang 2418f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableSDWA1064, MI, QW, Address); 2428f3da70eSStanislav Mekhanoshin if (Res) { IsSDWA = true; break; } 2438f3da70eSStanislav Mekhanoshin 2448f3da70eSStanislav Mekhanoshin // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and 2458f3da70eSStanislav Mekhanoshin // v_mad_mixhi_f16 for FMA variants. Try to decode using this special 2468f3da70eSStanislav Mekhanoshin // table first so we print the correct name. 2478f3da70eSStanislav Mekhanoshin 2488f3da70eSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) { 2498f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address); 2508f3da70eSStanislav Mekhanoshin if (Res) break; 2518f3da70eSStanislav Mekhanoshin } 2528f3da70eSStanislav Mekhanoshin 2530905870fSChangpeng Fang if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) { 2540905870fSChangpeng Fang Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address); 2550084adc5SMatt Arsenault if (Res) 2560084adc5SMatt Arsenault break; 2570084adc5SMatt Arsenault } 2580084adc5SMatt Arsenault 2590084adc5SMatt Arsenault // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and 2600084adc5SMatt Arsenault // v_mad_mixhi_f16 for FMA variants. Try to decode using this special 2610084adc5SMatt Arsenault // table first so we print the correct name. 2620084adc5SMatt Arsenault if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) { 2630084adc5SMatt Arsenault Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address); 2640084adc5SMatt Arsenault if (Res) 2650084adc5SMatt Arsenault break; 2660905870fSChangpeng Fang } 2671048fb18SSam Kolton } 2681048fb18SSam Kolton 2691048fb18SSam Kolton // Reinitialize Bytes as DPP64 could have eaten too much 2701048fb18SSam Kolton Bytes = Bytes_.slice(0, MaxInstBytesNum); 2711048fb18SSam Kolton 2721048fb18SSam Kolton // Try decode 32-bit instruction 273ac106addSNikolay Haustov if (Bytes.size() < 4) break; 2741048fb18SSam Kolton const uint32_t DW = eatBytes<uint32_t>(Bytes); 2755182302aSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX832, MI, DW, Address); 276ac106addSNikolay Haustov if (Res) break; 277e1818af8STom Stellard 278ac106addSNikolay Haustov Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address); 279ac106addSNikolay Haustov if (Res) break; 280ac106addSNikolay Haustov 281a0342dc9SDmitry Preobrazhensky Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address); 282a0342dc9SDmitry Preobrazhensky if (Res) break; 283a0342dc9SDmitry Preobrazhensky 2848f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX1032, MI, DW, Address); 2858f3da70eSStanislav Mekhanoshin if (Res) break; 2868f3da70eSStanislav Mekhanoshin 287ac106addSNikolay Haustov if (Bytes.size() < 4) break; 2881048fb18SSam Kolton const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW; 2895182302aSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX864, MI, QW, Address); 290ac106addSNikolay Haustov if (Res) break; 291ac106addSNikolay Haustov 292ac106addSNikolay Haustov Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address); 2931e32550dSDmitry Preobrazhensky if (Res) break; 2941e32550dSDmitry Preobrazhensky 2951e32550dSDmitry Preobrazhensky Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address); 2968f3da70eSStanislav Mekhanoshin if (Res) break; 2978f3da70eSStanislav Mekhanoshin 2988f3da70eSStanislav Mekhanoshin Res = tryDecodeInst(DecoderTableGFX1064, MI, QW, Address); 299ac106addSNikolay Haustov } while (false); 300ac106addSNikolay Haustov 3018f3da70eSStanislav Mekhanoshin if (Res && (MaxInstBytesNum - Bytes.size()) == 12 && (!HasLiteral || 3028f3da70eSStanislav Mekhanoshin !(MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::VOP3))) { 3038f3da70eSStanislav Mekhanoshin MaxInstBytesNum = 8; 3048f3da70eSStanislav Mekhanoshin Bytes = Bytes_.slice(0, MaxInstBytesNum); 3058f3da70eSStanislav Mekhanoshin eatBytes<uint64_t>(Bytes); 3068f3da70eSStanislav Mekhanoshin } 3078f3da70eSStanislav Mekhanoshin 308678e111eSMatt Arsenault if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi || 3098f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx6_gfx7 || 3108f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx10 || 311603a43fcSKonstantin Zhuravlyov MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi || 3128f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi || 3138f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_gfx10 || 3148f3da70eSStanislav Mekhanoshin MI.getOpcode() == AMDGPU::V_FMAC_F16_e64_gfx10)) { 315678e111eSMatt Arsenault // Insert dummy unused src2_modifiers. 316549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), 317678e111eSMatt Arsenault AMDGPU::OpName::src2_modifiers); 318678e111eSMatt Arsenault } 319678e111eSMatt Arsenault 320cad7fa85SMatt Arsenault if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) { 321692560dcSStanislav Mekhanoshin int VAddr0Idx = 322692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0); 323692560dcSStanislav Mekhanoshin int RsrcIdx = 324692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::srsrc); 325692560dcSStanislav Mekhanoshin unsigned NSAArgs = RsrcIdx - VAddr0Idx - 1; 326692560dcSStanislav Mekhanoshin if (VAddr0Idx >= 0 && NSAArgs > 0) { 327692560dcSStanislav Mekhanoshin unsigned NSAWords = (NSAArgs + 3) / 4; 328692560dcSStanislav Mekhanoshin if (Bytes.size() < 4 * NSAWords) { 329692560dcSStanislav Mekhanoshin Res = MCDisassembler::Fail; 330692560dcSStanislav Mekhanoshin } else { 331692560dcSStanislav Mekhanoshin for (unsigned i = 0; i < NSAArgs; ++i) { 332692560dcSStanislav Mekhanoshin MI.insert(MI.begin() + VAddr0Idx + 1 + i, 333692560dcSStanislav Mekhanoshin decodeOperand_VGPR_32(Bytes[i])); 334692560dcSStanislav Mekhanoshin } 335692560dcSStanislav Mekhanoshin Bytes = Bytes.slice(4 * NSAWords); 336692560dcSStanislav Mekhanoshin } 337692560dcSStanislav Mekhanoshin } 338692560dcSStanislav Mekhanoshin 339692560dcSStanislav Mekhanoshin if (Res) 340cad7fa85SMatt Arsenault Res = convertMIMGInst(MI); 341cad7fa85SMatt Arsenault } 342cad7fa85SMatt Arsenault 343549c89d2SSam Kolton if (Res && IsSDWA) 344549c89d2SSam Kolton Res = convertSDWAInst(MI); 345549c89d2SSam Kolton 3468f3da70eSStanislav Mekhanoshin int VDstIn_Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 3478f3da70eSStanislav Mekhanoshin AMDGPU::OpName::vdst_in); 3488f3da70eSStanislav Mekhanoshin if (VDstIn_Idx != -1) { 3498f3da70eSStanislav Mekhanoshin int Tied = MCII->get(MI.getOpcode()).getOperandConstraint(VDstIn_Idx, 3508f3da70eSStanislav Mekhanoshin MCOI::OperandConstraint::TIED_TO); 3518f3da70eSStanislav Mekhanoshin if (Tied != -1 && (MI.getNumOperands() <= (unsigned)VDstIn_Idx || 3528f3da70eSStanislav Mekhanoshin !MI.getOperand(VDstIn_Idx).isReg() || 3538f3da70eSStanislav Mekhanoshin MI.getOperand(VDstIn_Idx).getReg() != MI.getOperand(Tied).getReg())) { 3548f3da70eSStanislav Mekhanoshin if (MI.getNumOperands() > (unsigned)VDstIn_Idx) 3558f3da70eSStanislav Mekhanoshin MI.erase(&MI.getOperand(VDstIn_Idx)); 3568f3da70eSStanislav Mekhanoshin insertNamedMCOperand(MI, 3578f3da70eSStanislav Mekhanoshin MCOperand::createReg(MI.getOperand(Tied).getReg()), 3588f3da70eSStanislav Mekhanoshin AMDGPU::OpName::vdst_in); 3598f3da70eSStanislav Mekhanoshin } 3608f3da70eSStanislav Mekhanoshin } 3618f3da70eSStanislav Mekhanoshin 3627116e896STim Corringham // if the opcode was not recognized we'll assume a Size of 4 bytes 3637116e896STim Corringham // (unless there are fewer bytes left) 3647116e896STim Corringham Size = Res ? (MaxInstBytesNum - Bytes.size()) 3657116e896STim Corringham : std::min((size_t)4, Bytes_.size()); 366ac106addSNikolay Haustov return Res; 367161a158eSNikolay Haustov } 368e1818af8STom Stellard 369549c89d2SSam Kolton DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const { 3708f3da70eSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 3718f3da70eSStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 372549c89d2SSam Kolton if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1) 373549c89d2SSam Kolton // VOPC - insert clamp 374549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp); 375549c89d2SSam Kolton } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) { 376549c89d2SSam Kolton int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst); 377549c89d2SSam Kolton if (SDst != -1) { 378549c89d2SSam Kolton // VOPC - insert VCC register as sdst 379ac2b0264SDmitry Preobrazhensky insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC), 380549c89d2SSam Kolton AMDGPU::OpName::sdst); 381549c89d2SSam Kolton } else { 382549c89d2SSam Kolton // VOP1/2 - insert omod if present in instruction 383549c89d2SSam Kolton insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod); 384549c89d2SSam Kolton } 385549c89d2SSam Kolton } 386549c89d2SSam Kolton return MCDisassembler::Success; 387549c89d2SSam Kolton } 388549c89d2SSam Kolton 389245b5ba3SStanislav Mekhanoshin DecodeStatus AMDGPUDisassembler::convertDPP8Inst(MCInst &MI) const { 390245b5ba3SStanislav Mekhanoshin unsigned Opc = MI.getOpcode(); 391245b5ba3SStanislav Mekhanoshin unsigned DescNumOps = MCII->get(Opc).getNumOperands(); 392245b5ba3SStanislav Mekhanoshin 393245b5ba3SStanislav Mekhanoshin // Insert dummy unused src modifiers. 394245b5ba3SStanislav Mekhanoshin if (MI.getNumOperands() < DescNumOps && 395245b5ba3SStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src0_modifiers) != -1) 396245b5ba3SStanislav Mekhanoshin insertNamedMCOperand(MI, MCOperand::createImm(0), 397245b5ba3SStanislav Mekhanoshin AMDGPU::OpName::src0_modifiers); 398245b5ba3SStanislav Mekhanoshin 399245b5ba3SStanislav Mekhanoshin if (MI.getNumOperands() < DescNumOps && 400245b5ba3SStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src1_modifiers) != -1) 401245b5ba3SStanislav Mekhanoshin insertNamedMCOperand(MI, MCOperand::createImm(0), 402245b5ba3SStanislav Mekhanoshin AMDGPU::OpName::src1_modifiers); 403245b5ba3SStanislav Mekhanoshin 404245b5ba3SStanislav Mekhanoshin return isValidDPP8(MI) ? MCDisassembler::Success : MCDisassembler::SoftFail; 405245b5ba3SStanislav Mekhanoshin } 406245b5ba3SStanislav Mekhanoshin 407692560dcSStanislav Mekhanoshin // Note that before gfx10, the MIMG encoding provided no information about 408692560dcSStanislav Mekhanoshin // VADDR size. Consequently, decoded instructions always show address as if it 409692560dcSStanislav Mekhanoshin // has 1 dword, which could be not really so. 410cad7fa85SMatt Arsenault DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const { 411da4a7c01SDmitry Preobrazhensky 4120b4eb1eaSDmitry Preobrazhensky int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 4130b4eb1eaSDmitry Preobrazhensky AMDGPU::OpName::vdst); 4140b4eb1eaSDmitry Preobrazhensky 415cad7fa85SMatt Arsenault int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 416cad7fa85SMatt Arsenault AMDGPU::OpName::vdata); 417692560dcSStanislav Mekhanoshin int VAddr0Idx = 418692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0); 419cad7fa85SMatt Arsenault int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 420cad7fa85SMatt Arsenault AMDGPU::OpName::dmask); 4210b4eb1eaSDmitry Preobrazhensky 4220a1ff464SDmitry Preobrazhensky int TFEIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 4230a1ff464SDmitry Preobrazhensky AMDGPU::OpName::tfe); 424f2674319SNicolai Haehnle int D16Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), 425f2674319SNicolai Haehnle AMDGPU::OpName::d16); 4260a1ff464SDmitry Preobrazhensky 4270b4eb1eaSDmitry Preobrazhensky assert(VDataIdx != -1); 4280b4eb1eaSDmitry Preobrazhensky assert(DMaskIdx != -1); 4290a1ff464SDmitry Preobrazhensky assert(TFEIdx != -1); 4300b4eb1eaSDmitry Preobrazhensky 431692560dcSStanislav Mekhanoshin const AMDGPU::MIMGInfo *Info = AMDGPU::getMIMGInfo(MI.getOpcode()); 432da4a7c01SDmitry Preobrazhensky bool IsAtomic = (VDstIdx != -1); 433f2674319SNicolai Haehnle bool IsGather4 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4; 4340b4eb1eaSDmitry Preobrazhensky 435692560dcSStanislav Mekhanoshin bool IsNSA = false; 436692560dcSStanislav Mekhanoshin unsigned AddrSize = Info->VAddrDwords; 437cad7fa85SMatt Arsenault 438692560dcSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 439692560dcSStanislav Mekhanoshin unsigned DimIdx = 440692560dcSStanislav Mekhanoshin AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::dim); 441692560dcSStanislav Mekhanoshin const AMDGPU::MIMGBaseOpcodeInfo *BaseOpcode = 442692560dcSStanislav Mekhanoshin AMDGPU::getMIMGBaseOpcodeInfo(Info->BaseOpcode); 443692560dcSStanislav Mekhanoshin const AMDGPU::MIMGDimInfo *Dim = 444692560dcSStanislav Mekhanoshin AMDGPU::getMIMGDimInfoByEncoding(MI.getOperand(DimIdx).getImm()); 445692560dcSStanislav Mekhanoshin 446692560dcSStanislav Mekhanoshin AddrSize = BaseOpcode->NumExtraArgs + 447692560dcSStanislav Mekhanoshin (BaseOpcode->Gradients ? Dim->NumGradients : 0) + 448692560dcSStanislav Mekhanoshin (BaseOpcode->Coordinates ? Dim->NumCoords : 0) + 449692560dcSStanislav Mekhanoshin (BaseOpcode->LodOrClampOrMip ? 1 : 0); 450692560dcSStanislav Mekhanoshin IsNSA = Info->MIMGEncoding == AMDGPU::MIMGEncGfx10NSA; 451692560dcSStanislav Mekhanoshin if (!IsNSA) { 452692560dcSStanislav Mekhanoshin if (AddrSize > 8) 453692560dcSStanislav Mekhanoshin AddrSize = 16; 454692560dcSStanislav Mekhanoshin else if (AddrSize > 4) 455692560dcSStanislav Mekhanoshin AddrSize = 8; 456692560dcSStanislav Mekhanoshin } else { 457692560dcSStanislav Mekhanoshin if (AddrSize > Info->VAddrDwords) { 458692560dcSStanislav Mekhanoshin // The NSA encoding does not contain enough operands for the combination 459692560dcSStanislav Mekhanoshin // of base opcode / dimension. Should this be an error? 4600a1ff464SDmitry Preobrazhensky return MCDisassembler::Success; 461692560dcSStanislav Mekhanoshin } 462692560dcSStanislav Mekhanoshin } 463692560dcSStanislav Mekhanoshin } 464692560dcSStanislav Mekhanoshin 465692560dcSStanislav Mekhanoshin unsigned DMask = MI.getOperand(DMaskIdx).getImm() & 0xf; 466692560dcSStanislav Mekhanoshin unsigned DstSize = IsGather4 ? 4 : std::max(countPopulation(DMask), 1u); 4670a1ff464SDmitry Preobrazhensky 468f2674319SNicolai Haehnle bool D16 = D16Idx >= 0 && MI.getOperand(D16Idx).getImm(); 4690a1ff464SDmitry Preobrazhensky if (D16 && AMDGPU::hasPackedD16(STI)) { 4700a1ff464SDmitry Preobrazhensky DstSize = (DstSize + 1) / 2; 4710a1ff464SDmitry Preobrazhensky } 4720a1ff464SDmitry Preobrazhensky 4730a1ff464SDmitry Preobrazhensky // FIXME: Add tfe support 4740a1ff464SDmitry Preobrazhensky if (MI.getOperand(TFEIdx).getImm()) 475cad7fa85SMatt Arsenault return MCDisassembler::Success; 476cad7fa85SMatt Arsenault 477692560dcSStanislav Mekhanoshin if (DstSize == Info->VDataDwords && AddrSize == Info->VAddrDwords) 478f2674319SNicolai Haehnle return MCDisassembler::Success; 479692560dcSStanislav Mekhanoshin 480692560dcSStanislav Mekhanoshin int NewOpcode = 481692560dcSStanislav Mekhanoshin AMDGPU::getMIMGOpcode(Info->BaseOpcode, Info->MIMGEncoding, DstSize, AddrSize); 4820ab200b6SNicolai Haehnle if (NewOpcode == -1) 4830ab200b6SNicolai Haehnle return MCDisassembler::Success; 4840b4eb1eaSDmitry Preobrazhensky 485692560dcSStanislav Mekhanoshin // Widen the register to the correct number of enabled channels. 486692560dcSStanislav Mekhanoshin unsigned NewVdata = AMDGPU::NoRegister; 487692560dcSStanislav Mekhanoshin if (DstSize != Info->VDataDwords) { 488692560dcSStanislav Mekhanoshin auto DataRCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass; 489cad7fa85SMatt Arsenault 4900b4eb1eaSDmitry Preobrazhensky // Get first subregister of VData 491cad7fa85SMatt Arsenault unsigned Vdata0 = MI.getOperand(VDataIdx).getReg(); 4920b4eb1eaSDmitry Preobrazhensky unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0); 4930b4eb1eaSDmitry Preobrazhensky Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0; 4940b4eb1eaSDmitry Preobrazhensky 495692560dcSStanislav Mekhanoshin NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0, 496692560dcSStanislav Mekhanoshin &MRI.getRegClass(DataRCID)); 497cad7fa85SMatt Arsenault if (NewVdata == AMDGPU::NoRegister) { 498cad7fa85SMatt Arsenault // It's possible to encode this such that the low register + enabled 499cad7fa85SMatt Arsenault // components exceeds the register count. 500cad7fa85SMatt Arsenault return MCDisassembler::Success; 501cad7fa85SMatt Arsenault } 502692560dcSStanislav Mekhanoshin } 503692560dcSStanislav Mekhanoshin 504692560dcSStanislav Mekhanoshin unsigned NewVAddr0 = AMDGPU::NoRegister; 505692560dcSStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX10] && !IsNSA && 506692560dcSStanislav Mekhanoshin AddrSize != Info->VAddrDwords) { 507692560dcSStanislav Mekhanoshin unsigned VAddr0 = MI.getOperand(VAddr0Idx).getReg(); 508692560dcSStanislav Mekhanoshin unsigned VAddrSub0 = MRI.getSubReg(VAddr0, AMDGPU::sub0); 509692560dcSStanislav Mekhanoshin VAddr0 = (VAddrSub0 != 0) ? VAddrSub0 : VAddr0; 510692560dcSStanislav Mekhanoshin 511692560dcSStanislav Mekhanoshin auto AddrRCID = MCII->get(NewOpcode).OpInfo[VAddr0Idx].RegClass; 512692560dcSStanislav Mekhanoshin NewVAddr0 = MRI.getMatchingSuperReg(VAddr0, AMDGPU::sub0, 513692560dcSStanislav Mekhanoshin &MRI.getRegClass(AddrRCID)); 514692560dcSStanislav Mekhanoshin if (NewVAddr0 == AMDGPU::NoRegister) 515692560dcSStanislav Mekhanoshin return MCDisassembler::Success; 516692560dcSStanislav Mekhanoshin } 517cad7fa85SMatt Arsenault 518cad7fa85SMatt Arsenault MI.setOpcode(NewOpcode); 519692560dcSStanislav Mekhanoshin 520692560dcSStanislav Mekhanoshin if (NewVdata != AMDGPU::NoRegister) { 521cad7fa85SMatt Arsenault MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata); 5220b4eb1eaSDmitry Preobrazhensky 523da4a7c01SDmitry Preobrazhensky if (IsAtomic) { 5240b4eb1eaSDmitry Preobrazhensky // Atomic operations have an additional operand (a copy of data) 5250b4eb1eaSDmitry Preobrazhensky MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata); 5260b4eb1eaSDmitry Preobrazhensky } 527692560dcSStanislav Mekhanoshin } 528692560dcSStanislav Mekhanoshin 529692560dcSStanislav Mekhanoshin if (NewVAddr0 != AMDGPU::NoRegister) { 530692560dcSStanislav Mekhanoshin MI.getOperand(VAddr0Idx) = MCOperand::createReg(NewVAddr0); 531692560dcSStanislav Mekhanoshin } else if (IsNSA) { 532692560dcSStanislav Mekhanoshin assert(AddrSize <= Info->VAddrDwords); 533692560dcSStanislav Mekhanoshin MI.erase(MI.begin() + VAddr0Idx + AddrSize, 534692560dcSStanislav Mekhanoshin MI.begin() + VAddr0Idx + Info->VAddrDwords); 535692560dcSStanislav Mekhanoshin } 5360b4eb1eaSDmitry Preobrazhensky 537cad7fa85SMatt Arsenault return MCDisassembler::Success; 538cad7fa85SMatt Arsenault } 539cad7fa85SMatt Arsenault 540ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const { 541ac106addSNikolay Haustov return getContext().getRegisterInfo()-> 542ac106addSNikolay Haustov getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]); 543e1818af8STom Stellard } 544e1818af8STom Stellard 545ac106addSNikolay Haustov inline 546ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V, 547ac106addSNikolay Haustov const Twine& ErrMsg) const { 548ac106addSNikolay Haustov *CommentStream << "Error: " + ErrMsg; 549ac106addSNikolay Haustov 550ac106addSNikolay Haustov // ToDo: add support for error operands to MCInst.h 551ac106addSNikolay Haustov // return MCOperand::createError(V); 552ac106addSNikolay Haustov return MCOperand(); 553ac106addSNikolay Haustov } 554ac106addSNikolay Haustov 555ac106addSNikolay Haustov inline 556ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const { 557ac2b0264SDmitry Preobrazhensky return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI)); 558ac106addSNikolay Haustov } 559ac106addSNikolay Haustov 560ac106addSNikolay Haustov inline 561ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID, 562ac106addSNikolay Haustov unsigned Val) const { 563ac106addSNikolay Haustov const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID]; 564ac106addSNikolay Haustov if (Val >= RegCl.getNumRegs()) 565ac106addSNikolay Haustov return errOperand(Val, Twine(getRegClassName(RegClassID)) + 566ac106addSNikolay Haustov ": unknown register " + Twine(Val)); 567ac106addSNikolay Haustov return createRegOperand(RegCl.getRegister(Val)); 568ac106addSNikolay Haustov } 569ac106addSNikolay Haustov 570ac106addSNikolay Haustov inline 571ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID, 572ac106addSNikolay Haustov unsigned Val) const { 573ac106addSNikolay Haustov // ToDo: SI/CI have 104 SGPRs, VI - 102 574ac106addSNikolay Haustov // Valery: here we accepting as much as we can, let assembler sort it out 575ac106addSNikolay Haustov int shift = 0; 576ac106addSNikolay Haustov switch (SRegClassID) { 577ac106addSNikolay Haustov case AMDGPU::SGPR_32RegClassID: 578212a251cSArtem Tamazov case AMDGPU::TTMP_32RegClassID: 579212a251cSArtem Tamazov break; 580ac106addSNikolay Haustov case AMDGPU::SGPR_64RegClassID: 581212a251cSArtem Tamazov case AMDGPU::TTMP_64RegClassID: 582212a251cSArtem Tamazov shift = 1; 583212a251cSArtem Tamazov break; 584212a251cSArtem Tamazov case AMDGPU::SGPR_128RegClassID: 585212a251cSArtem Tamazov case AMDGPU::TTMP_128RegClassID: 586ac106addSNikolay Haustov // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in 587ac106addSNikolay Haustov // this bundle? 58827134953SDmitry Preobrazhensky case AMDGPU::SGPR_256RegClassID: 58927134953SDmitry Preobrazhensky case AMDGPU::TTMP_256RegClassID: 590ac106addSNikolay Haustov // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in 591ac106addSNikolay Haustov // this bundle? 59227134953SDmitry Preobrazhensky case AMDGPU::SGPR_512RegClassID: 59327134953SDmitry Preobrazhensky case AMDGPU::TTMP_512RegClassID: 594212a251cSArtem Tamazov shift = 2; 595212a251cSArtem Tamazov break; 596ac106addSNikolay Haustov // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in 597ac106addSNikolay Haustov // this bundle? 598212a251cSArtem Tamazov default: 59992b355b1SMatt Arsenault llvm_unreachable("unhandled register class"); 600ac106addSNikolay Haustov } 60192b355b1SMatt Arsenault 60292b355b1SMatt Arsenault if (Val % (1 << shift)) { 603ac106addSNikolay Haustov *CommentStream << "Warning: " << getRegClassName(SRegClassID) 604ac106addSNikolay Haustov << ": scalar reg isn't aligned " << Val; 60592b355b1SMatt Arsenault } 60692b355b1SMatt Arsenault 607ac106addSNikolay Haustov return createRegOperand(SRegClassID, Val >> shift); 608ac106addSNikolay Haustov } 609ac106addSNikolay Haustov 610ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const { 611212a251cSArtem Tamazov return decodeSrcOp(OPW32, Val); 612ac106addSNikolay Haustov } 613ac106addSNikolay Haustov 614ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const { 615212a251cSArtem Tamazov return decodeSrcOp(OPW64, Val); 616ac106addSNikolay Haustov } 617ac106addSNikolay Haustov 61830fc5239SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const { 61930fc5239SDmitry Preobrazhensky return decodeSrcOp(OPW128, Val); 62030fc5239SDmitry Preobrazhensky } 62130fc5239SDmitry Preobrazhensky 6224bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const { 6234bd72361SMatt Arsenault return decodeSrcOp(OPW16, Val); 6244bd72361SMatt Arsenault } 6254bd72361SMatt Arsenault 6269be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const { 6279be7b0d4SMatt Arsenault return decodeSrcOp(OPWV216, Val); 6289be7b0d4SMatt Arsenault } 6299be7b0d4SMatt Arsenault 630ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const { 631cb540bc0SMatt Arsenault // Some instructions have operand restrictions beyond what the encoding 632cb540bc0SMatt Arsenault // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra 633cb540bc0SMatt Arsenault // high bit. 634cb540bc0SMatt Arsenault Val &= 255; 635cb540bc0SMatt Arsenault 636ac106addSNikolay Haustov return createRegOperand(AMDGPU::VGPR_32RegClassID, Val); 637ac106addSNikolay Haustov } 638ac106addSNikolay Haustov 6396023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VRegOrLds_32(unsigned Val) const { 6406023d599SDmitry Preobrazhensky return decodeSrcOp(OPW32, Val); 6416023d599SDmitry Preobrazhensky } 6426023d599SDmitry Preobrazhensky 643ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const { 644ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_64RegClassID, Val); 645ac106addSNikolay Haustov } 646ac106addSNikolay Haustov 647ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const { 648ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_96RegClassID, Val); 649ac106addSNikolay Haustov } 650ac106addSNikolay Haustov 651ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const { 652ac106addSNikolay Haustov return createRegOperand(AMDGPU::VReg_128RegClassID, Val); 653ac106addSNikolay Haustov } 654ac106addSNikolay Haustov 655ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const { 656ac106addSNikolay Haustov // table-gen generated disassembler doesn't care about operand types 657ac106addSNikolay Haustov // leaving only registry class so SSrc_32 operand turns into SReg_32 658ac106addSNikolay Haustov // and therefore we accept immediates and literals here as well 659212a251cSArtem Tamazov return decodeSrcOp(OPW32, Val); 660ac106addSNikolay Haustov } 661ac106addSNikolay Haustov 662640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC( 663640c44b8SMatt Arsenault unsigned Val) const { 664640c44b8SMatt Arsenault // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI 66538e496b1SArtem Tamazov return decodeOperand_SReg_32(Val); 66638e496b1SArtem Tamazov } 66738e496b1SArtem Tamazov 668ca7b0a17SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI( 669ca7b0a17SMatt Arsenault unsigned Val) const { 670ca7b0a17SMatt Arsenault // SReg_32_XM0 is SReg_32 without EXEC_HI 671ca7b0a17SMatt Arsenault return decodeOperand_SReg_32(Val); 672ca7b0a17SMatt Arsenault } 673ca7b0a17SMatt Arsenault 6746023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_SRegOrLds_32(unsigned Val) const { 6756023d599SDmitry Preobrazhensky // table-gen generated disassembler doesn't care about operand types 6766023d599SDmitry Preobrazhensky // leaving only registry class so SSrc_32 operand turns into SReg_32 6776023d599SDmitry Preobrazhensky // and therefore we accept immediates and literals here as well 6786023d599SDmitry Preobrazhensky return decodeSrcOp(OPW32, Val); 6796023d599SDmitry Preobrazhensky } 6806023d599SDmitry Preobrazhensky 681ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const { 682640c44b8SMatt Arsenault return decodeSrcOp(OPW64, Val); 683640c44b8SMatt Arsenault } 684640c44b8SMatt Arsenault 685640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const { 686212a251cSArtem Tamazov return decodeSrcOp(OPW64, Val); 687ac106addSNikolay Haustov } 688ac106addSNikolay Haustov 689ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const { 690212a251cSArtem Tamazov return decodeSrcOp(OPW128, Val); 691ac106addSNikolay Haustov } 692ac106addSNikolay Haustov 693ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const { 69427134953SDmitry Preobrazhensky return decodeDstOp(OPW256, Val); 695ac106addSNikolay Haustov } 696ac106addSNikolay Haustov 697ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const { 69827134953SDmitry Preobrazhensky return decodeDstOp(OPW512, Val); 699ac106addSNikolay Haustov } 700ac106addSNikolay Haustov 701ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const { 702ac106addSNikolay Haustov // For now all literal constants are supposed to be unsigned integer 703ac106addSNikolay Haustov // ToDo: deal with signed/unsigned 64-bit integer constants 704ac106addSNikolay Haustov // ToDo: deal with float/double constants 705ce941c9cSDmitry Preobrazhensky if (!HasLiteral) { 706ce941c9cSDmitry Preobrazhensky if (Bytes.size() < 4) { 707ac106addSNikolay Haustov return errOperand(0, "cannot read literal, inst bytes left " + 708ac106addSNikolay Haustov Twine(Bytes.size())); 709ce941c9cSDmitry Preobrazhensky } 710ce941c9cSDmitry Preobrazhensky HasLiteral = true; 711ce941c9cSDmitry Preobrazhensky Literal = eatBytes<uint32_t>(Bytes); 712ce941c9cSDmitry Preobrazhensky } 713ce941c9cSDmitry Preobrazhensky return MCOperand::createImm(Literal); 714ac106addSNikolay Haustov } 715ac106addSNikolay Haustov 716ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) { 717212a251cSArtem Tamazov using namespace AMDGPU::EncValues; 718c8fbf6ffSEugene Zelenko 719212a251cSArtem Tamazov assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX); 720212a251cSArtem Tamazov return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ? 721212a251cSArtem Tamazov (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) : 722212a251cSArtem Tamazov (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm))); 723212a251cSArtem Tamazov // Cast prevents negative overflow. 724ac106addSNikolay Haustov } 725ac106addSNikolay Haustov 7264bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) { 7274bd72361SMatt Arsenault switch (Imm) { 7284bd72361SMatt Arsenault case 240: 7294bd72361SMatt Arsenault return FloatToBits(0.5f); 7304bd72361SMatt Arsenault case 241: 7314bd72361SMatt Arsenault return FloatToBits(-0.5f); 7324bd72361SMatt Arsenault case 242: 7334bd72361SMatt Arsenault return FloatToBits(1.0f); 7344bd72361SMatt Arsenault case 243: 7354bd72361SMatt Arsenault return FloatToBits(-1.0f); 7364bd72361SMatt Arsenault case 244: 7374bd72361SMatt Arsenault return FloatToBits(2.0f); 7384bd72361SMatt Arsenault case 245: 7394bd72361SMatt Arsenault return FloatToBits(-2.0f); 7404bd72361SMatt Arsenault case 246: 7414bd72361SMatt Arsenault return FloatToBits(4.0f); 7424bd72361SMatt Arsenault case 247: 7434bd72361SMatt Arsenault return FloatToBits(-4.0f); 7444bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 7454bd72361SMatt Arsenault return 0x3e22f983; 7464bd72361SMatt Arsenault default: 7474bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7484bd72361SMatt Arsenault } 7494bd72361SMatt Arsenault } 7504bd72361SMatt Arsenault 7514bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) { 7524bd72361SMatt Arsenault switch (Imm) { 7534bd72361SMatt Arsenault case 240: 7544bd72361SMatt Arsenault return DoubleToBits(0.5); 7554bd72361SMatt Arsenault case 241: 7564bd72361SMatt Arsenault return DoubleToBits(-0.5); 7574bd72361SMatt Arsenault case 242: 7584bd72361SMatt Arsenault return DoubleToBits(1.0); 7594bd72361SMatt Arsenault case 243: 7604bd72361SMatt Arsenault return DoubleToBits(-1.0); 7614bd72361SMatt Arsenault case 244: 7624bd72361SMatt Arsenault return DoubleToBits(2.0); 7634bd72361SMatt Arsenault case 245: 7644bd72361SMatt Arsenault return DoubleToBits(-2.0); 7654bd72361SMatt Arsenault case 246: 7664bd72361SMatt Arsenault return DoubleToBits(4.0); 7674bd72361SMatt Arsenault case 247: 7684bd72361SMatt Arsenault return DoubleToBits(-4.0); 7694bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 7704bd72361SMatt Arsenault return 0x3fc45f306dc9c882; 7714bd72361SMatt Arsenault default: 7724bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7734bd72361SMatt Arsenault } 7744bd72361SMatt Arsenault } 7754bd72361SMatt Arsenault 7764bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) { 7774bd72361SMatt Arsenault switch (Imm) { 7784bd72361SMatt Arsenault case 240: 7794bd72361SMatt Arsenault return 0x3800; 7804bd72361SMatt Arsenault case 241: 7814bd72361SMatt Arsenault return 0xB800; 7824bd72361SMatt Arsenault case 242: 7834bd72361SMatt Arsenault return 0x3C00; 7844bd72361SMatt Arsenault case 243: 7854bd72361SMatt Arsenault return 0xBC00; 7864bd72361SMatt Arsenault case 244: 7874bd72361SMatt Arsenault return 0x4000; 7884bd72361SMatt Arsenault case 245: 7894bd72361SMatt Arsenault return 0xC000; 7904bd72361SMatt Arsenault case 246: 7914bd72361SMatt Arsenault return 0x4400; 7924bd72361SMatt Arsenault case 247: 7934bd72361SMatt Arsenault return 0xC400; 7944bd72361SMatt Arsenault case 248: // 1 / (2 * PI) 7954bd72361SMatt Arsenault return 0x3118; 7964bd72361SMatt Arsenault default: 7974bd72361SMatt Arsenault llvm_unreachable("invalid fp inline imm"); 7984bd72361SMatt Arsenault } 7994bd72361SMatt Arsenault } 8004bd72361SMatt Arsenault 8014bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) { 802212a251cSArtem Tamazov assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN 803212a251cSArtem Tamazov && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX); 8044bd72361SMatt Arsenault 805e1818af8STom Stellard // ToDo: case 248: 1/(2*PI) - is allowed only on VI 8064bd72361SMatt Arsenault switch (Width) { 8074bd72361SMatt Arsenault case OPW32: 8084bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal32(Imm)); 8094bd72361SMatt Arsenault case OPW64: 8104bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal64(Imm)); 8114bd72361SMatt Arsenault case OPW16: 8129be7b0d4SMatt Arsenault case OPWV216: 8134bd72361SMatt Arsenault return MCOperand::createImm(getInlineImmVal16(Imm)); 8144bd72361SMatt Arsenault default: 8154bd72361SMatt Arsenault llvm_unreachable("implement me"); 816e1818af8STom Stellard } 817e1818af8STom Stellard } 818e1818af8STom Stellard 819212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const { 820e1818af8STom Stellard using namespace AMDGPU; 821c8fbf6ffSEugene Zelenko 822212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 823212a251cSArtem Tamazov switch (Width) { 824212a251cSArtem Tamazov default: // fall 8254bd72361SMatt Arsenault case OPW32: 8264bd72361SMatt Arsenault case OPW16: 8279be7b0d4SMatt Arsenault case OPWV216: 8284bd72361SMatt Arsenault return VGPR_32RegClassID; 829212a251cSArtem Tamazov case OPW64: return VReg_64RegClassID; 830212a251cSArtem Tamazov case OPW128: return VReg_128RegClassID; 831212a251cSArtem Tamazov } 832212a251cSArtem Tamazov } 833212a251cSArtem Tamazov 834212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const { 835212a251cSArtem Tamazov using namespace AMDGPU; 836c8fbf6ffSEugene Zelenko 837212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 838212a251cSArtem Tamazov switch (Width) { 839212a251cSArtem Tamazov default: // fall 8404bd72361SMatt Arsenault case OPW32: 8414bd72361SMatt Arsenault case OPW16: 8429be7b0d4SMatt Arsenault case OPWV216: 8434bd72361SMatt Arsenault return SGPR_32RegClassID; 844212a251cSArtem Tamazov case OPW64: return SGPR_64RegClassID; 845212a251cSArtem Tamazov case OPW128: return SGPR_128RegClassID; 84627134953SDmitry Preobrazhensky case OPW256: return SGPR_256RegClassID; 84727134953SDmitry Preobrazhensky case OPW512: return SGPR_512RegClassID; 848212a251cSArtem Tamazov } 849212a251cSArtem Tamazov } 850212a251cSArtem Tamazov 851212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const { 852212a251cSArtem Tamazov using namespace AMDGPU; 853c8fbf6ffSEugene Zelenko 854212a251cSArtem Tamazov assert(OPW_FIRST_ <= Width && Width < OPW_LAST_); 855212a251cSArtem Tamazov switch (Width) { 856212a251cSArtem Tamazov default: // fall 8574bd72361SMatt Arsenault case OPW32: 8584bd72361SMatt Arsenault case OPW16: 8599be7b0d4SMatt Arsenault case OPWV216: 8604bd72361SMatt Arsenault return TTMP_32RegClassID; 861212a251cSArtem Tamazov case OPW64: return TTMP_64RegClassID; 862212a251cSArtem Tamazov case OPW128: return TTMP_128RegClassID; 86327134953SDmitry Preobrazhensky case OPW256: return TTMP_256RegClassID; 86427134953SDmitry Preobrazhensky case OPW512: return TTMP_512RegClassID; 865212a251cSArtem Tamazov } 866212a251cSArtem Tamazov } 867212a251cSArtem Tamazov 868ac2b0264SDmitry Preobrazhensky int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const { 869ac2b0264SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 870ac2b0264SDmitry Preobrazhensky 87133d806a5SStanislav Mekhanoshin unsigned TTmpMin = 87233d806a5SStanislav Mekhanoshin (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MIN : TTMP_VI_MIN; 87333d806a5SStanislav Mekhanoshin unsigned TTmpMax = 87433d806a5SStanislav Mekhanoshin (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MAX : TTMP_VI_MAX; 875ac2b0264SDmitry Preobrazhensky 876ac2b0264SDmitry Preobrazhensky return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1; 877ac2b0264SDmitry Preobrazhensky } 878ac2b0264SDmitry Preobrazhensky 879212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const { 880212a251cSArtem Tamazov using namespace AMDGPU::EncValues; 881c8fbf6ffSEugene Zelenko 882ac106addSNikolay Haustov assert(Val < 512); // enum9 883ac106addSNikolay Haustov 884212a251cSArtem Tamazov if (VGPR_MIN <= Val && Val <= VGPR_MAX) { 885212a251cSArtem Tamazov return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN); 886212a251cSArtem Tamazov } 887b49c3361SArtem Tamazov if (Val <= SGPR_MAX) { 888b49c3361SArtem Tamazov assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning. 889212a251cSArtem Tamazov return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN); 890212a251cSArtem Tamazov } 891ac2b0264SDmitry Preobrazhensky 892ac2b0264SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 893ac2b0264SDmitry Preobrazhensky if (TTmpIdx >= 0) { 894ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), TTmpIdx); 895212a251cSArtem Tamazov } 896ac106addSNikolay Haustov 897212a251cSArtem Tamazov if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX) 898ac106addSNikolay Haustov return decodeIntImmed(Val); 899ac106addSNikolay Haustov 900212a251cSArtem Tamazov if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX) 9014bd72361SMatt Arsenault return decodeFPImmed(Width, Val); 902ac106addSNikolay Haustov 903212a251cSArtem Tamazov if (Val == LITERAL_CONST) 904ac106addSNikolay Haustov return decodeLiteralConstant(); 905ac106addSNikolay Haustov 9064bd72361SMatt Arsenault switch (Width) { 9074bd72361SMatt Arsenault case OPW32: 9084bd72361SMatt Arsenault case OPW16: 9099be7b0d4SMatt Arsenault case OPWV216: 9104bd72361SMatt Arsenault return decodeSpecialReg32(Val); 9114bd72361SMatt Arsenault case OPW64: 9124bd72361SMatt Arsenault return decodeSpecialReg64(Val); 9134bd72361SMatt Arsenault default: 9144bd72361SMatt Arsenault llvm_unreachable("unexpected immediate type"); 9154bd72361SMatt Arsenault } 916ac106addSNikolay Haustov } 917ac106addSNikolay Haustov 91827134953SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const { 91927134953SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 92027134953SDmitry Preobrazhensky 92127134953SDmitry Preobrazhensky assert(Val < 128); 92227134953SDmitry Preobrazhensky assert(Width == OPW256 || Width == OPW512); 92327134953SDmitry Preobrazhensky 92427134953SDmitry Preobrazhensky if (Val <= SGPR_MAX) { 92527134953SDmitry Preobrazhensky assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning. 92627134953SDmitry Preobrazhensky return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN); 92727134953SDmitry Preobrazhensky } 92827134953SDmitry Preobrazhensky 92927134953SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 93027134953SDmitry Preobrazhensky if (TTmpIdx >= 0) { 93127134953SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), TTmpIdx); 93227134953SDmitry Preobrazhensky } 93327134953SDmitry Preobrazhensky 93427134953SDmitry Preobrazhensky llvm_unreachable("unknown dst register"); 93527134953SDmitry Preobrazhensky } 93627134953SDmitry Preobrazhensky 937ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const { 938ac106addSNikolay Haustov using namespace AMDGPU; 939c8fbf6ffSEugene Zelenko 940e1818af8STom Stellard switch (Val) { 941ac2b0264SDmitry Preobrazhensky case 102: return createRegOperand(FLAT_SCR_LO); 942ac2b0264SDmitry Preobrazhensky case 103: return createRegOperand(FLAT_SCR_HI); 9433afbd825SDmitry Preobrazhensky case 104: return createRegOperand(XNACK_MASK_LO); 9443afbd825SDmitry Preobrazhensky case 105: return createRegOperand(XNACK_MASK_HI); 945ac106addSNikolay Haustov case 106: return createRegOperand(VCC_LO); 946ac106addSNikolay Haustov case 107: return createRegOperand(VCC_HI); 947137976faSDmitry Preobrazhensky case 108: return createRegOperand(TBA_LO); 948137976faSDmitry Preobrazhensky case 109: return createRegOperand(TBA_HI); 949137976faSDmitry Preobrazhensky case 110: return createRegOperand(TMA_LO); 950137976faSDmitry Preobrazhensky case 111: return createRegOperand(TMA_HI); 951ac106addSNikolay Haustov case 124: return createRegOperand(M0); 95233d806a5SStanislav Mekhanoshin case 125: return createRegOperand(SGPR_NULL); 953ac106addSNikolay Haustov case 126: return createRegOperand(EXEC_LO); 954ac106addSNikolay Haustov case 127: return createRegOperand(EXEC_HI); 955a3b3b489SMatt Arsenault case 235: return createRegOperand(SRC_SHARED_BASE); 956a3b3b489SMatt Arsenault case 236: return createRegOperand(SRC_SHARED_LIMIT); 957a3b3b489SMatt Arsenault case 237: return createRegOperand(SRC_PRIVATE_BASE); 958a3b3b489SMatt Arsenault case 238: return createRegOperand(SRC_PRIVATE_LIMIT); 959137976faSDmitry Preobrazhensky case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID); 9609111f35fSDmitry Preobrazhensky case 251: return createRegOperand(SRC_VCCZ); 9619111f35fSDmitry Preobrazhensky case 252: return createRegOperand(SRC_EXECZ); 9629111f35fSDmitry Preobrazhensky case 253: return createRegOperand(SRC_SCC); 963942c273dSDmitry Preobrazhensky case 254: return createRegOperand(LDS_DIRECT); 964ac106addSNikolay Haustov default: break; 965e1818af8STom Stellard } 966ac106addSNikolay Haustov return errOperand(Val, "unknown operand encoding " + Twine(Val)); 967e1818af8STom Stellard } 968e1818af8STom Stellard 969ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const { 970161a158eSNikolay Haustov using namespace AMDGPU; 971c8fbf6ffSEugene Zelenko 972161a158eSNikolay Haustov switch (Val) { 973ac2b0264SDmitry Preobrazhensky case 102: return createRegOperand(FLAT_SCR); 9743afbd825SDmitry Preobrazhensky case 104: return createRegOperand(XNACK_MASK); 975ac106addSNikolay Haustov case 106: return createRegOperand(VCC); 976137976faSDmitry Preobrazhensky case 108: return createRegOperand(TBA); 977137976faSDmitry Preobrazhensky case 110: return createRegOperand(TMA); 978ac106addSNikolay Haustov case 126: return createRegOperand(EXEC); 979137976faSDmitry Preobrazhensky case 235: return createRegOperand(SRC_SHARED_BASE); 980137976faSDmitry Preobrazhensky case 236: return createRegOperand(SRC_SHARED_LIMIT); 981137976faSDmitry Preobrazhensky case 237: return createRegOperand(SRC_PRIVATE_BASE); 982137976faSDmitry Preobrazhensky case 238: return createRegOperand(SRC_PRIVATE_LIMIT); 983137976faSDmitry Preobrazhensky case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID); 9849111f35fSDmitry Preobrazhensky case 251: return createRegOperand(SRC_VCCZ); 9859111f35fSDmitry Preobrazhensky case 252: return createRegOperand(SRC_EXECZ); 9869111f35fSDmitry Preobrazhensky case 253: return createRegOperand(SRC_SCC); 987ac106addSNikolay Haustov default: break; 988161a158eSNikolay Haustov } 989ac106addSNikolay Haustov return errOperand(Val, "unknown operand encoding " + Twine(Val)); 990161a158eSNikolay Haustov } 991161a158eSNikolay Haustov 992549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width, 9936b65f7c3SDmitry Preobrazhensky const unsigned Val) const { 994363f47a2SSam Kolton using namespace AMDGPU::SDWA; 9956b65f7c3SDmitry Preobrazhensky using namespace AMDGPU::EncValues; 996363f47a2SSam Kolton 99733d806a5SStanislav Mekhanoshin if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 99833d806a5SStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) { 999da644c02SStanislav Mekhanoshin // XXX: cast to int is needed to avoid stupid warning: 1000a179d25bSSam Kolton // compare with unsigned is always true 1001da644c02SStanislav Mekhanoshin if (int(SDWA9EncValues::SRC_VGPR_MIN) <= int(Val) && 1002363f47a2SSam Kolton Val <= SDWA9EncValues::SRC_VGPR_MAX) { 1003363f47a2SSam Kolton return createRegOperand(getVgprClassId(Width), 1004363f47a2SSam Kolton Val - SDWA9EncValues::SRC_VGPR_MIN); 1005363f47a2SSam Kolton } 1006363f47a2SSam Kolton if (SDWA9EncValues::SRC_SGPR_MIN <= Val && 100733d806a5SStanislav Mekhanoshin Val <= (isGFX10() ? SDWA9EncValues::SRC_SGPR_MAX_GFX10 100833d806a5SStanislav Mekhanoshin : SDWA9EncValues::SRC_SGPR_MAX_SI)) { 1009363f47a2SSam Kolton return createSRegOperand(getSgprClassId(Width), 1010363f47a2SSam Kolton Val - SDWA9EncValues::SRC_SGPR_MIN); 1011363f47a2SSam Kolton } 1012ac2b0264SDmitry Preobrazhensky if (SDWA9EncValues::SRC_TTMP_MIN <= Val && 1013ac2b0264SDmitry Preobrazhensky Val <= SDWA9EncValues::SRC_TTMP_MAX) { 1014ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(Width), 1015ac2b0264SDmitry Preobrazhensky Val - SDWA9EncValues::SRC_TTMP_MIN); 1016ac2b0264SDmitry Preobrazhensky } 1017363f47a2SSam Kolton 10186b65f7c3SDmitry Preobrazhensky const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN; 10196b65f7c3SDmitry Preobrazhensky 10206b65f7c3SDmitry Preobrazhensky if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX) 10216b65f7c3SDmitry Preobrazhensky return decodeIntImmed(SVal); 10226b65f7c3SDmitry Preobrazhensky 10236b65f7c3SDmitry Preobrazhensky if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX) 10246b65f7c3SDmitry Preobrazhensky return decodeFPImmed(Width, SVal); 10256b65f7c3SDmitry Preobrazhensky 10266b65f7c3SDmitry Preobrazhensky return decodeSpecialReg32(SVal); 1027549c89d2SSam Kolton } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) { 1028549c89d2SSam Kolton return createRegOperand(getVgprClassId(Width), Val); 1029549c89d2SSam Kolton } 1030549c89d2SSam Kolton llvm_unreachable("unsupported target"); 1031363f47a2SSam Kolton } 1032363f47a2SSam Kolton 1033549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const { 1034549c89d2SSam Kolton return decodeSDWASrc(OPW16, Val); 1035363f47a2SSam Kolton } 1036363f47a2SSam Kolton 1037549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const { 1038549c89d2SSam Kolton return decodeSDWASrc(OPW32, Val); 1039363f47a2SSam Kolton } 1040363f47a2SSam Kolton 1041549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const { 1042363f47a2SSam Kolton using namespace AMDGPU::SDWA; 1043363f47a2SSam Kolton 104433d806a5SStanislav Mekhanoshin assert((STI.getFeatureBits()[AMDGPU::FeatureGFX9] || 104533d806a5SStanislav Mekhanoshin STI.getFeatureBits()[AMDGPU::FeatureGFX10]) && 104633d806a5SStanislav Mekhanoshin "SDWAVopcDst should be present only on GFX9+"); 104733d806a5SStanislav Mekhanoshin 1048ab4f2ea7SStanislav Mekhanoshin bool IsWave64 = STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64]; 1049ab4f2ea7SStanislav Mekhanoshin 1050363f47a2SSam Kolton if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) { 1051363f47a2SSam Kolton Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK; 1052ac2b0264SDmitry Preobrazhensky 1053ac2b0264SDmitry Preobrazhensky int TTmpIdx = getTTmpIdx(Val); 1054ac2b0264SDmitry Preobrazhensky if (TTmpIdx >= 0) { 1055ac2b0264SDmitry Preobrazhensky return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx); 105633d806a5SStanislav Mekhanoshin } else if (Val > SGPR_MAX) { 1057ab4f2ea7SStanislav Mekhanoshin return IsWave64 ? decodeSpecialReg64(Val) 1058ab4f2ea7SStanislav Mekhanoshin : decodeSpecialReg32(Val); 1059363f47a2SSam Kolton } else { 1060ab4f2ea7SStanislav Mekhanoshin return createSRegOperand(getSgprClassId(IsWave64 ? OPW64 : OPW32), Val); 1061363f47a2SSam Kolton } 1062363f47a2SSam Kolton } else { 1063ab4f2ea7SStanislav Mekhanoshin return createRegOperand(IsWave64 ? AMDGPU::VCC : AMDGPU::VCC_LO); 1064363f47a2SSam Kolton } 1065363f47a2SSam Kolton } 1066363f47a2SSam Kolton 1067ab4f2ea7SStanislav Mekhanoshin MCOperand AMDGPUDisassembler::decodeBoolReg(unsigned Val) const { 1068ab4f2ea7SStanislav Mekhanoshin return STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64] ? 1069ab4f2ea7SStanislav Mekhanoshin decodeOperand_SReg_64(Val) : decodeOperand_SReg_32(Val); 1070ab4f2ea7SStanislav Mekhanoshin } 1071ab4f2ea7SStanislav Mekhanoshin 1072ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isVI() const { 1073ac2b0264SDmitry Preobrazhensky return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]; 1074ac2b0264SDmitry Preobrazhensky } 1075ac2b0264SDmitry Preobrazhensky 1076ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isGFX9() const { 1077ac2b0264SDmitry Preobrazhensky return STI.getFeatureBits()[AMDGPU::FeatureGFX9]; 1078ac2b0264SDmitry Preobrazhensky } 1079ac2b0264SDmitry Preobrazhensky 108033d806a5SStanislav Mekhanoshin bool AMDGPUDisassembler::isGFX10() const { 108133d806a5SStanislav Mekhanoshin return STI.getFeatureBits()[AMDGPU::FeatureGFX10]; 108233d806a5SStanislav Mekhanoshin } 108333d806a5SStanislav Mekhanoshin 10843381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10853381d7a2SSam Kolton // AMDGPUSymbolizer 10863381d7a2SSam Kolton //===----------------------------------------------------------------------===// 10873381d7a2SSam Kolton 10883381d7a2SSam Kolton // Try to find symbol name for specified label 10893381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst, 10903381d7a2SSam Kolton raw_ostream &/*cStream*/, int64_t Value, 10913381d7a2SSam Kolton uint64_t /*Address*/, bool IsBranch, 10923381d7a2SSam Kolton uint64_t /*Offset*/, uint64_t /*InstSize*/) { 1093c8fbf6ffSEugene Zelenko using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>; 1094c8fbf6ffSEugene Zelenko using SectionSymbolsTy = std::vector<SymbolInfoTy>; 10953381d7a2SSam Kolton 10963381d7a2SSam Kolton if (!IsBranch) { 10973381d7a2SSam Kolton return false; 10983381d7a2SSam Kolton } 10993381d7a2SSam Kolton 11003381d7a2SSam Kolton auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo); 1101b1c3b22bSNicolai Haehnle if (!Symbols) 1102b1c3b22bSNicolai Haehnle return false; 1103b1c3b22bSNicolai Haehnle 11043381d7a2SSam Kolton auto Result = std::find_if(Symbols->begin(), Symbols->end(), 11053381d7a2SSam Kolton [Value](const SymbolInfoTy& Val) { 11063381d7a2SSam Kolton return std::get<0>(Val) == static_cast<uint64_t>(Value) 11073381d7a2SSam Kolton && std::get<2>(Val) == ELF::STT_NOTYPE; 11083381d7a2SSam Kolton }); 11093381d7a2SSam Kolton if (Result != Symbols->end()) { 11103381d7a2SSam Kolton auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result)); 11113381d7a2SSam Kolton const auto *Add = MCSymbolRefExpr::create(Sym, Ctx); 11123381d7a2SSam Kolton Inst.addOperand(MCOperand::createExpr(Add)); 11133381d7a2SSam Kolton return true; 11143381d7a2SSam Kolton } 11153381d7a2SSam Kolton return false; 11163381d7a2SSam Kolton } 11173381d7a2SSam Kolton 111892b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream, 111992b355b1SMatt Arsenault int64_t Value, 112092b355b1SMatt Arsenault uint64_t Address) { 112192b355b1SMatt Arsenault llvm_unreachable("unimplemented"); 112292b355b1SMatt Arsenault } 112392b355b1SMatt Arsenault 11243381d7a2SSam Kolton //===----------------------------------------------------------------------===// 11253381d7a2SSam Kolton // Initialization 11263381d7a2SSam Kolton //===----------------------------------------------------------------------===// 11273381d7a2SSam Kolton 11283381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/, 11293381d7a2SSam Kolton LLVMOpInfoCallback /*GetOpInfo*/, 11303381d7a2SSam Kolton LLVMSymbolLookupCallback /*SymbolLookUp*/, 11313381d7a2SSam Kolton void *DisInfo, 11323381d7a2SSam Kolton MCContext *Ctx, 11333381d7a2SSam Kolton std::unique_ptr<MCRelocationInfo> &&RelInfo) { 11343381d7a2SSam Kolton return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo); 11353381d7a2SSam Kolton } 11363381d7a2SSam Kolton 1137e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T, 1138e1818af8STom Stellard const MCSubtargetInfo &STI, 1139e1818af8STom Stellard MCContext &Ctx) { 1140cad7fa85SMatt Arsenault return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo()); 1141e1818af8STom Stellard } 1142e1818af8STom Stellard 11434b0b2619STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() { 1144f42454b9SMehdi Amini TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(), 1145f42454b9SMehdi Amini createAMDGPUDisassembler); 1146f42454b9SMehdi Amini TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(), 1147f42454b9SMehdi Amini createAMDGPUSymbolizer); 1148e1818af8STom Stellard } 1149