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 
104363f47a2SSam Kolton #define DECODE_OPERAND(StaticDecoderName, DecoderName) \
105363f47a2SSam Kolton static DecodeStatus StaticDecoderName(MCInst &Inst, \
106ac106addSNikolay Haustov                                        unsigned Imm, \
107ac106addSNikolay Haustov                                        uint64_t /*Addr*/, \
108ac106addSNikolay Haustov                                        const void *Decoder) { \
109ac106addSNikolay Haustov   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \
110363f47a2SSam Kolton   return addOperand(Inst, DAsm->DecoderName(Imm)); \
111e1818af8STom Stellard }
112e1818af8STom Stellard 
113363f47a2SSam Kolton #define DECODE_OPERAND_REG(RegClass) \
114363f47a2SSam Kolton DECODE_OPERAND(Decode##RegClass##RegisterClass, decodeOperand_##RegClass)
115e1818af8STom Stellard 
116363f47a2SSam Kolton DECODE_OPERAND_REG(VGPR_32)
1176023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(VRegOrLds_32)
118363f47a2SSam Kolton DECODE_OPERAND_REG(VS_32)
119363f47a2SSam Kolton DECODE_OPERAND_REG(VS_64)
12030fc5239SDmitry Preobrazhensky DECODE_OPERAND_REG(VS_128)
121e1818af8STom Stellard 
122363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_64)
123363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_96)
124363f47a2SSam Kolton DECODE_OPERAND_REG(VReg_128)
125e1818af8STom Stellard 
126363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32)
127363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_32_XM0_XEXEC)
128ca7b0a17SMatt Arsenault DECODE_OPERAND_REG(SReg_32_XEXEC_HI)
1296023d599SDmitry Preobrazhensky DECODE_OPERAND_REG(SRegOrLds_32)
130363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64)
131363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_64_XEXEC)
132363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_128)
133363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_256)
134363f47a2SSam Kolton DECODE_OPERAND_REG(SReg_512)
135e1818af8STom Stellard 
1364bd72361SMatt Arsenault static DecodeStatus decodeOperand_VSrc16(MCInst &Inst,
1374bd72361SMatt Arsenault                                          unsigned Imm,
1384bd72361SMatt Arsenault                                          uint64_t Addr,
1394bd72361SMatt Arsenault                                          const void *Decoder) {
1404bd72361SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
1414bd72361SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrc16(Imm));
1424bd72361SMatt Arsenault }
1434bd72361SMatt Arsenault 
1449be7b0d4SMatt Arsenault static DecodeStatus decodeOperand_VSrcV216(MCInst &Inst,
1459be7b0d4SMatt Arsenault                                          unsigned Imm,
1469be7b0d4SMatt Arsenault                                          uint64_t Addr,
1479be7b0d4SMatt Arsenault                                          const void *Decoder) {
1489be7b0d4SMatt Arsenault   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
1499be7b0d4SMatt Arsenault   return addOperand(Inst, DAsm->decodeOperand_VSrcV216(Imm));
1509be7b0d4SMatt Arsenault }
1519be7b0d4SMatt Arsenault 
152549c89d2SSam Kolton #define DECODE_SDWA(DecName) \
153549c89d2SSam Kolton DECODE_OPERAND(decodeSDWA##DecName, decodeSDWA##DecName)
154363f47a2SSam Kolton 
155549c89d2SSam Kolton DECODE_SDWA(Src32)
156549c89d2SSam Kolton DECODE_SDWA(Src16)
157549c89d2SSam Kolton DECODE_SDWA(VopcDst)
158363f47a2SSam Kolton 
159e1818af8STom Stellard #include "AMDGPUGenDisassemblerTables.inc"
160e1818af8STom Stellard 
161e1818af8STom Stellard //===----------------------------------------------------------------------===//
162e1818af8STom Stellard //
163e1818af8STom Stellard //===----------------------------------------------------------------------===//
164e1818af8STom Stellard 
1651048fb18SSam Kolton template <typename T> static inline T eatBytes(ArrayRef<uint8_t>& Bytes) {
1661048fb18SSam Kolton   assert(Bytes.size() >= sizeof(T));
1671048fb18SSam Kolton   const auto Res = support::endian::read<T, support::endianness::little>(Bytes.data());
1681048fb18SSam Kolton   Bytes = Bytes.slice(sizeof(T));
169ac106addSNikolay Haustov   return Res;
170ac106addSNikolay Haustov }
171ac106addSNikolay Haustov 
172ac106addSNikolay Haustov DecodeStatus AMDGPUDisassembler::tryDecodeInst(const uint8_t* Table,
173ac106addSNikolay Haustov                                                MCInst &MI,
174ac106addSNikolay Haustov                                                uint64_t Inst,
175ac106addSNikolay Haustov                                                uint64_t Address) const {
176ac106addSNikolay Haustov   assert(MI.getOpcode() == 0);
177ac106addSNikolay Haustov   assert(MI.getNumOperands() == 0);
178ac106addSNikolay Haustov   MCInst TmpInst;
179ce941c9cSDmitry Preobrazhensky   HasLiteral = false;
180ac106addSNikolay Haustov   const auto SavedBytes = Bytes;
181ac106addSNikolay Haustov   if (decodeInstruction(Table, TmpInst, Inst, Address, this, STI)) {
182ac106addSNikolay Haustov     MI = TmpInst;
183ac106addSNikolay Haustov     return MCDisassembler::Success;
184ac106addSNikolay Haustov   }
185ac106addSNikolay Haustov   Bytes = SavedBytes;
186ac106addSNikolay Haustov   return MCDisassembler::Fail;
187ac106addSNikolay Haustov }
188ac106addSNikolay Haustov 
189245b5ba3SStanislav Mekhanoshin static bool isValidDPP8(const MCInst &MI) {
190245b5ba3SStanislav Mekhanoshin   using namespace llvm::AMDGPU::DPP;
191245b5ba3SStanislav Mekhanoshin   int FiIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::fi);
192245b5ba3SStanislav Mekhanoshin   assert(FiIdx != -1);
193245b5ba3SStanislav Mekhanoshin   if ((unsigned)FiIdx >= MI.getNumOperands())
194245b5ba3SStanislav Mekhanoshin     return false;
195245b5ba3SStanislav Mekhanoshin   unsigned Fi = MI.getOperand(FiIdx).getImm();
196245b5ba3SStanislav Mekhanoshin   return Fi == DPP8_FI_0 || Fi == DPP8_FI_1;
197245b5ba3SStanislav Mekhanoshin }
198245b5ba3SStanislav Mekhanoshin 
199e1818af8STom Stellard DecodeStatus AMDGPUDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
200ac106addSNikolay Haustov                                                 ArrayRef<uint8_t> Bytes_,
201e1818af8STom Stellard                                                 uint64_t Address,
202e1818af8STom Stellard                                                 raw_ostream &WS,
203e1818af8STom Stellard                                                 raw_ostream &CS) const {
204e1818af8STom Stellard   CommentStream = &CS;
205549c89d2SSam Kolton   bool IsSDWA = false;
206e1818af8STom Stellard 
207ca64ef20SMatt Arsenault   unsigned MaxInstBytesNum = std::min((size_t)TargetMaxInstBytes, Bytes_.size());
208ac106addSNikolay Haustov   Bytes = Bytes_.slice(0, MaxInstBytesNum);
209161a158eSNikolay Haustov 
210ac106addSNikolay Haustov   DecodeStatus Res = MCDisassembler::Fail;
211ac106addSNikolay Haustov   do {
212824e804bSValery Pykhtin     // ToDo: better to switch encoding length using some bit predicate
213ac106addSNikolay Haustov     // but it is unknown yet, so try all we can
2141048fb18SSam Kolton 
215c9bdcb75SSam Kolton     // Try to decode DPP and SDWA first to solve conflict with VOP1 and VOP2
216c9bdcb75SSam Kolton     // encodings
2171048fb18SSam Kolton     if (Bytes.size() >= 8) {
2181048fb18SSam Kolton       const uint64_t QW = eatBytes<uint64_t>(Bytes);
219245b5ba3SStanislav Mekhanoshin 
220245b5ba3SStanislav Mekhanoshin       Res = tryDecodeInst(DecoderTableDPP864, MI, QW, Address);
221245b5ba3SStanislav Mekhanoshin       if (Res && convertDPP8Inst(MI) == MCDisassembler::Success)
222245b5ba3SStanislav Mekhanoshin         break;
223245b5ba3SStanislav Mekhanoshin 
224245b5ba3SStanislav Mekhanoshin       MI = MCInst(); // clear
225245b5ba3SStanislav Mekhanoshin 
2261048fb18SSam Kolton       Res = tryDecodeInst(DecoderTableDPP64, MI, QW, Address);
2271048fb18SSam Kolton       if (Res) break;
228c9bdcb75SSam Kolton 
229c9bdcb75SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA64, MI, QW, Address);
230549c89d2SSam Kolton       if (Res) { IsSDWA = true;  break; }
231363f47a2SSam Kolton 
232363f47a2SSam Kolton       Res = tryDecodeInst(DecoderTableSDWA964, MI, QW, Address);
233549c89d2SSam Kolton       if (Res) { IsSDWA = true;  break; }
2340905870fSChangpeng Fang 
2358f3da70eSStanislav Mekhanoshin       Res = tryDecodeInst(DecoderTableSDWA1064, MI, QW, Address);
2368f3da70eSStanislav Mekhanoshin       if (Res) { IsSDWA = true;  break; }
2378f3da70eSStanislav Mekhanoshin 
2388f3da70eSStanislav Mekhanoshin       // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
2398f3da70eSStanislav Mekhanoshin       // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
2408f3da70eSStanislav Mekhanoshin       // table first so we print the correct name.
2418f3da70eSStanislav Mekhanoshin 
2428f3da70eSStanislav Mekhanoshin       if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
2438f3da70eSStanislav Mekhanoshin         Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
2448f3da70eSStanislav Mekhanoshin         if (Res) break;
2458f3da70eSStanislav Mekhanoshin       }
2468f3da70eSStanislav Mekhanoshin 
2470905870fSChangpeng Fang       if (STI.getFeatureBits()[AMDGPU::FeatureUnpackedD16VMem]) {
2480905870fSChangpeng Fang         Res = tryDecodeInst(DecoderTableGFX80_UNPACKED64, MI, QW, Address);
2490084adc5SMatt Arsenault         if (Res)
2500084adc5SMatt Arsenault           break;
2510084adc5SMatt Arsenault       }
2520084adc5SMatt Arsenault 
2530084adc5SMatt Arsenault       // Some GFX9 subtargets repurposed the v_mad_mix_f32, v_mad_mixlo_f16 and
2540084adc5SMatt Arsenault       // v_mad_mixhi_f16 for FMA variants. Try to decode using this special
2550084adc5SMatt Arsenault       // table first so we print the correct name.
2560084adc5SMatt Arsenault       if (STI.getFeatureBits()[AMDGPU::FeatureFmaMixInsts]) {
2570084adc5SMatt Arsenault         Res = tryDecodeInst(DecoderTableGFX9_DL64, MI, QW, Address);
2580084adc5SMatt Arsenault         if (Res)
2590084adc5SMatt Arsenault           break;
2600905870fSChangpeng Fang       }
2611048fb18SSam Kolton     }
2621048fb18SSam Kolton 
2631048fb18SSam Kolton     // Reinitialize Bytes as DPP64 could have eaten too much
2641048fb18SSam Kolton     Bytes = Bytes_.slice(0, MaxInstBytesNum);
2651048fb18SSam Kolton 
2661048fb18SSam Kolton     // Try decode 32-bit instruction
267ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
2681048fb18SSam Kolton     const uint32_t DW = eatBytes<uint32_t>(Bytes);
2695182302aSStanislav Mekhanoshin     Res = tryDecodeInst(DecoderTableGFX832, MI, DW, Address);
270ac106addSNikolay Haustov     if (Res) break;
271e1818af8STom Stellard 
272ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU32, MI, DW, Address);
273ac106addSNikolay Haustov     if (Res) break;
274ac106addSNikolay Haustov 
275a0342dc9SDmitry Preobrazhensky     Res = tryDecodeInst(DecoderTableGFX932, MI, DW, Address);
276a0342dc9SDmitry Preobrazhensky     if (Res) break;
277a0342dc9SDmitry Preobrazhensky 
2788f3da70eSStanislav Mekhanoshin     Res = tryDecodeInst(DecoderTableGFX1032, MI, DW, Address);
2798f3da70eSStanislav Mekhanoshin     if (Res) break;
2808f3da70eSStanislav Mekhanoshin 
281ac106addSNikolay Haustov     if (Bytes.size() < 4) break;
2821048fb18SSam Kolton     const uint64_t QW = ((uint64_t)eatBytes<uint32_t>(Bytes) << 32) | DW;
2835182302aSStanislav Mekhanoshin     Res = tryDecodeInst(DecoderTableGFX864, MI, QW, Address);
284ac106addSNikolay Haustov     if (Res) break;
285ac106addSNikolay Haustov 
286ac106addSNikolay Haustov     Res = tryDecodeInst(DecoderTableAMDGPU64, MI, QW, Address);
2871e32550dSDmitry Preobrazhensky     if (Res) break;
2881e32550dSDmitry Preobrazhensky 
2891e32550dSDmitry Preobrazhensky     Res = tryDecodeInst(DecoderTableGFX964, MI, QW, Address);
2908f3da70eSStanislav Mekhanoshin     if (Res) break;
2918f3da70eSStanislav Mekhanoshin 
2928f3da70eSStanislav Mekhanoshin     Res = tryDecodeInst(DecoderTableGFX1064, MI, QW, Address);
293ac106addSNikolay Haustov   } while (false);
294ac106addSNikolay Haustov 
2958f3da70eSStanislav Mekhanoshin   if (Res && (MaxInstBytesNum - Bytes.size()) == 12 && (!HasLiteral ||
2968f3da70eSStanislav Mekhanoshin         !(MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::VOP3))) {
2978f3da70eSStanislav Mekhanoshin     MaxInstBytesNum = 8;
2988f3da70eSStanislav Mekhanoshin     Bytes = Bytes_.slice(0, MaxInstBytesNum);
2998f3da70eSStanislav Mekhanoshin     eatBytes<uint64_t>(Bytes);
3008f3da70eSStanislav Mekhanoshin   }
3018f3da70eSStanislav Mekhanoshin 
302678e111eSMatt Arsenault   if (Res && (MI.getOpcode() == AMDGPU::V_MAC_F32_e64_vi ||
3038f3da70eSStanislav Mekhanoshin               MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx6_gfx7 ||
3048f3da70eSStanislav Mekhanoshin               MI.getOpcode() == AMDGPU::V_MAC_F32_e64_gfx10 ||
305603a43fcSKonstantin Zhuravlyov               MI.getOpcode() == AMDGPU::V_MAC_F16_e64_vi ||
3068f3da70eSStanislav Mekhanoshin               MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_vi ||
3078f3da70eSStanislav Mekhanoshin               MI.getOpcode() == AMDGPU::V_FMAC_F32_e64_gfx10 ||
3088f3da70eSStanislav Mekhanoshin               MI.getOpcode() == AMDGPU::V_FMAC_F16_e64_gfx10)) {
309678e111eSMatt Arsenault     // Insert dummy unused src2_modifiers.
310549c89d2SSam Kolton     insertNamedMCOperand(MI, MCOperand::createImm(0),
311678e111eSMatt Arsenault                          AMDGPU::OpName::src2_modifiers);
312678e111eSMatt Arsenault   }
313678e111eSMatt Arsenault 
314cad7fa85SMatt Arsenault   if (Res && (MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::MIMG)) {
315692560dcSStanislav Mekhanoshin     int VAddr0Idx =
316692560dcSStanislav Mekhanoshin         AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0);
317692560dcSStanislav Mekhanoshin     int RsrcIdx =
318692560dcSStanislav Mekhanoshin         AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::srsrc);
319692560dcSStanislav Mekhanoshin     unsigned NSAArgs = RsrcIdx - VAddr0Idx - 1;
320692560dcSStanislav Mekhanoshin     if (VAddr0Idx >= 0 && NSAArgs > 0) {
321692560dcSStanislav Mekhanoshin       unsigned NSAWords = (NSAArgs + 3) / 4;
322692560dcSStanislav Mekhanoshin       if (Bytes.size() < 4 * NSAWords) {
323692560dcSStanislav Mekhanoshin         Res = MCDisassembler::Fail;
324692560dcSStanislav Mekhanoshin       } else {
325692560dcSStanislav Mekhanoshin         for (unsigned i = 0; i < NSAArgs; ++i) {
326692560dcSStanislav Mekhanoshin           MI.insert(MI.begin() + VAddr0Idx + 1 + i,
327692560dcSStanislav Mekhanoshin                     decodeOperand_VGPR_32(Bytes[i]));
328692560dcSStanislav Mekhanoshin         }
329692560dcSStanislav Mekhanoshin         Bytes = Bytes.slice(4 * NSAWords);
330692560dcSStanislav Mekhanoshin       }
331692560dcSStanislav Mekhanoshin     }
332692560dcSStanislav Mekhanoshin 
333692560dcSStanislav Mekhanoshin     if (Res)
334cad7fa85SMatt Arsenault       Res = convertMIMGInst(MI);
335cad7fa85SMatt Arsenault   }
336cad7fa85SMatt Arsenault 
337549c89d2SSam Kolton   if (Res && IsSDWA)
338549c89d2SSam Kolton     Res = convertSDWAInst(MI);
339549c89d2SSam Kolton 
3408f3da70eSStanislav Mekhanoshin   int VDstIn_Idx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
3418f3da70eSStanislav Mekhanoshin                                               AMDGPU::OpName::vdst_in);
3428f3da70eSStanislav Mekhanoshin   if (VDstIn_Idx != -1) {
3438f3da70eSStanislav Mekhanoshin     int Tied = MCII->get(MI.getOpcode()).getOperandConstraint(VDstIn_Idx,
3448f3da70eSStanislav Mekhanoshin                            MCOI::OperandConstraint::TIED_TO);
3458f3da70eSStanislav Mekhanoshin     if (Tied != -1 && (MI.getNumOperands() <= (unsigned)VDstIn_Idx ||
3468f3da70eSStanislav Mekhanoshin          !MI.getOperand(VDstIn_Idx).isReg() ||
3478f3da70eSStanislav Mekhanoshin          MI.getOperand(VDstIn_Idx).getReg() != MI.getOperand(Tied).getReg())) {
3488f3da70eSStanislav Mekhanoshin       if (MI.getNumOperands() > (unsigned)VDstIn_Idx)
3498f3da70eSStanislav Mekhanoshin         MI.erase(&MI.getOperand(VDstIn_Idx));
3508f3da70eSStanislav Mekhanoshin       insertNamedMCOperand(MI,
3518f3da70eSStanislav Mekhanoshin         MCOperand::createReg(MI.getOperand(Tied).getReg()),
3528f3da70eSStanislav Mekhanoshin         AMDGPU::OpName::vdst_in);
3538f3da70eSStanislav Mekhanoshin     }
3548f3da70eSStanislav Mekhanoshin   }
3558f3da70eSStanislav Mekhanoshin 
3567116e896STim Corringham   // if the opcode was not recognized we'll assume a Size of 4 bytes
3577116e896STim Corringham   // (unless there are fewer bytes left)
3587116e896STim Corringham   Size = Res ? (MaxInstBytesNum - Bytes.size())
3597116e896STim Corringham              : std::min((size_t)4, Bytes_.size());
360ac106addSNikolay Haustov   return Res;
361161a158eSNikolay Haustov }
362e1818af8STom Stellard 
363549c89d2SSam Kolton DecodeStatus AMDGPUDisassembler::convertSDWAInst(MCInst &MI) const {
3648f3da70eSStanislav Mekhanoshin   if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
3658f3da70eSStanislav Mekhanoshin       STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
366549c89d2SSam Kolton     if (AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst) != -1)
367549c89d2SSam Kolton       // VOPC - insert clamp
368549c89d2SSam Kolton       insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::clamp);
369549c89d2SSam Kolton   } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
370549c89d2SSam Kolton     int SDst = AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::sdst);
371549c89d2SSam Kolton     if (SDst != -1) {
372549c89d2SSam Kolton       // VOPC - insert VCC register as sdst
373ac2b0264SDmitry Preobrazhensky       insertNamedMCOperand(MI, createRegOperand(AMDGPU::VCC),
374549c89d2SSam Kolton                            AMDGPU::OpName::sdst);
375549c89d2SSam Kolton     } else {
376549c89d2SSam Kolton       // VOP1/2 - insert omod if present in instruction
377549c89d2SSam Kolton       insertNamedMCOperand(MI, MCOperand::createImm(0), AMDGPU::OpName::omod);
378549c89d2SSam Kolton     }
379549c89d2SSam Kolton   }
380549c89d2SSam Kolton   return MCDisassembler::Success;
381549c89d2SSam Kolton }
382549c89d2SSam Kolton 
383245b5ba3SStanislav Mekhanoshin DecodeStatus AMDGPUDisassembler::convertDPP8Inst(MCInst &MI) const {
384245b5ba3SStanislav Mekhanoshin   unsigned Opc = MI.getOpcode();
385245b5ba3SStanislav Mekhanoshin   unsigned DescNumOps = MCII->get(Opc).getNumOperands();
386245b5ba3SStanislav Mekhanoshin 
387245b5ba3SStanislav Mekhanoshin   // Insert dummy unused src modifiers.
388245b5ba3SStanislav Mekhanoshin   if (MI.getNumOperands() < DescNumOps &&
389245b5ba3SStanislav Mekhanoshin       AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src0_modifiers) != -1)
390245b5ba3SStanislav Mekhanoshin     insertNamedMCOperand(MI, MCOperand::createImm(0),
391245b5ba3SStanislav Mekhanoshin                          AMDGPU::OpName::src0_modifiers);
392245b5ba3SStanislav Mekhanoshin 
393245b5ba3SStanislav Mekhanoshin   if (MI.getNumOperands() < DescNumOps &&
394245b5ba3SStanislav Mekhanoshin       AMDGPU::getNamedOperandIdx(Opc, AMDGPU::OpName::src1_modifiers) != -1)
395245b5ba3SStanislav Mekhanoshin     insertNamedMCOperand(MI, MCOperand::createImm(0),
396245b5ba3SStanislav Mekhanoshin                          AMDGPU::OpName::src1_modifiers);
397245b5ba3SStanislav Mekhanoshin 
398245b5ba3SStanislav Mekhanoshin   return isValidDPP8(MI) ? MCDisassembler::Success : MCDisassembler::SoftFail;
399245b5ba3SStanislav Mekhanoshin }
400245b5ba3SStanislav Mekhanoshin 
401692560dcSStanislav Mekhanoshin // Note that before gfx10, the MIMG encoding provided no information about
402692560dcSStanislav Mekhanoshin // VADDR size. Consequently, decoded instructions always show address as if it
403692560dcSStanislav Mekhanoshin // has 1 dword, which could be not really so.
404cad7fa85SMatt Arsenault DecodeStatus AMDGPUDisassembler::convertMIMGInst(MCInst &MI) const {
405da4a7c01SDmitry Preobrazhensky 
4060b4eb1eaSDmitry Preobrazhensky   int VDstIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
4070b4eb1eaSDmitry Preobrazhensky                                            AMDGPU::OpName::vdst);
4080b4eb1eaSDmitry Preobrazhensky 
409cad7fa85SMatt Arsenault   int VDataIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
410cad7fa85SMatt Arsenault                                             AMDGPU::OpName::vdata);
411692560dcSStanislav Mekhanoshin   int VAddr0Idx =
412692560dcSStanislav Mekhanoshin       AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::vaddr0);
413cad7fa85SMatt Arsenault   int DMaskIdx = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
414cad7fa85SMatt Arsenault                                             AMDGPU::OpName::dmask);
4150b4eb1eaSDmitry Preobrazhensky 
4160a1ff464SDmitry Preobrazhensky   int TFEIdx   = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
4170a1ff464SDmitry Preobrazhensky                                             AMDGPU::OpName::tfe);
418f2674319SNicolai Haehnle   int D16Idx   = AMDGPU::getNamedOperandIdx(MI.getOpcode(),
419f2674319SNicolai Haehnle                                             AMDGPU::OpName::d16);
4200a1ff464SDmitry Preobrazhensky 
4210b4eb1eaSDmitry Preobrazhensky   assert(VDataIdx != -1);
4220b4eb1eaSDmitry Preobrazhensky   assert(DMaskIdx != -1);
4230a1ff464SDmitry Preobrazhensky   assert(TFEIdx != -1);
4240b4eb1eaSDmitry Preobrazhensky 
425692560dcSStanislav Mekhanoshin   const AMDGPU::MIMGInfo *Info = AMDGPU::getMIMGInfo(MI.getOpcode());
426da4a7c01SDmitry Preobrazhensky   bool IsAtomic = (VDstIdx != -1);
427f2674319SNicolai Haehnle   bool IsGather4 = MCII->get(MI.getOpcode()).TSFlags & SIInstrFlags::Gather4;
4280b4eb1eaSDmitry Preobrazhensky 
429692560dcSStanislav Mekhanoshin   bool IsNSA = false;
430692560dcSStanislav Mekhanoshin   unsigned AddrSize = Info->VAddrDwords;
431cad7fa85SMatt Arsenault 
432692560dcSStanislav Mekhanoshin   if (STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
433692560dcSStanislav Mekhanoshin     unsigned DimIdx =
434692560dcSStanislav Mekhanoshin         AMDGPU::getNamedOperandIdx(MI.getOpcode(), AMDGPU::OpName::dim);
435692560dcSStanislav Mekhanoshin     const AMDGPU::MIMGBaseOpcodeInfo *BaseOpcode =
436692560dcSStanislav Mekhanoshin         AMDGPU::getMIMGBaseOpcodeInfo(Info->BaseOpcode);
437692560dcSStanislav Mekhanoshin     const AMDGPU::MIMGDimInfo *Dim =
438692560dcSStanislav Mekhanoshin         AMDGPU::getMIMGDimInfoByEncoding(MI.getOperand(DimIdx).getImm());
439692560dcSStanislav Mekhanoshin 
440692560dcSStanislav Mekhanoshin     AddrSize = BaseOpcode->NumExtraArgs +
441692560dcSStanislav Mekhanoshin                (BaseOpcode->Gradients ? Dim->NumGradients : 0) +
442692560dcSStanislav Mekhanoshin                (BaseOpcode->Coordinates ? Dim->NumCoords : 0) +
443692560dcSStanislav Mekhanoshin                (BaseOpcode->LodOrClampOrMip ? 1 : 0);
444692560dcSStanislav Mekhanoshin     IsNSA = Info->MIMGEncoding == AMDGPU::MIMGEncGfx10NSA;
445692560dcSStanislav Mekhanoshin     if (!IsNSA) {
446692560dcSStanislav Mekhanoshin       if (AddrSize > 8)
447692560dcSStanislav Mekhanoshin         AddrSize = 16;
448692560dcSStanislav Mekhanoshin       else if (AddrSize > 4)
449692560dcSStanislav Mekhanoshin         AddrSize = 8;
450692560dcSStanislav Mekhanoshin     } else {
451692560dcSStanislav Mekhanoshin       if (AddrSize > Info->VAddrDwords) {
452692560dcSStanislav Mekhanoshin         // The NSA encoding does not contain enough operands for the combination
453692560dcSStanislav Mekhanoshin         // of base opcode / dimension. Should this be an error?
4540a1ff464SDmitry Preobrazhensky         return MCDisassembler::Success;
455692560dcSStanislav Mekhanoshin       }
456692560dcSStanislav Mekhanoshin     }
457692560dcSStanislav Mekhanoshin   }
458692560dcSStanislav Mekhanoshin 
459692560dcSStanislav Mekhanoshin   unsigned DMask = MI.getOperand(DMaskIdx).getImm() & 0xf;
460692560dcSStanislav Mekhanoshin   unsigned DstSize = IsGather4 ? 4 : std::max(countPopulation(DMask), 1u);
4610a1ff464SDmitry Preobrazhensky 
462f2674319SNicolai Haehnle   bool D16 = D16Idx >= 0 && MI.getOperand(D16Idx).getImm();
4630a1ff464SDmitry Preobrazhensky   if (D16 && AMDGPU::hasPackedD16(STI)) {
4640a1ff464SDmitry Preobrazhensky     DstSize = (DstSize + 1) / 2;
4650a1ff464SDmitry Preobrazhensky   }
4660a1ff464SDmitry Preobrazhensky 
4670a1ff464SDmitry Preobrazhensky   // FIXME: Add tfe support
4680a1ff464SDmitry Preobrazhensky   if (MI.getOperand(TFEIdx).getImm())
469cad7fa85SMatt Arsenault     return MCDisassembler::Success;
470cad7fa85SMatt Arsenault 
471692560dcSStanislav Mekhanoshin   if (DstSize == Info->VDataDwords && AddrSize == Info->VAddrDwords)
472f2674319SNicolai Haehnle     return MCDisassembler::Success;
473692560dcSStanislav Mekhanoshin 
474692560dcSStanislav Mekhanoshin   int NewOpcode =
475692560dcSStanislav Mekhanoshin       AMDGPU::getMIMGOpcode(Info->BaseOpcode, Info->MIMGEncoding, DstSize, AddrSize);
4760ab200b6SNicolai Haehnle   if (NewOpcode == -1)
4770ab200b6SNicolai Haehnle     return MCDisassembler::Success;
4780b4eb1eaSDmitry Preobrazhensky 
479692560dcSStanislav Mekhanoshin   // Widen the register to the correct number of enabled channels.
480692560dcSStanislav Mekhanoshin   unsigned NewVdata = AMDGPU::NoRegister;
481692560dcSStanislav Mekhanoshin   if (DstSize != Info->VDataDwords) {
482692560dcSStanislav Mekhanoshin     auto DataRCID = MCII->get(NewOpcode).OpInfo[VDataIdx].RegClass;
483cad7fa85SMatt Arsenault 
4840b4eb1eaSDmitry Preobrazhensky     // Get first subregister of VData
485cad7fa85SMatt Arsenault     unsigned Vdata0 = MI.getOperand(VDataIdx).getReg();
4860b4eb1eaSDmitry Preobrazhensky     unsigned VdataSub0 = MRI.getSubReg(Vdata0, AMDGPU::sub0);
4870b4eb1eaSDmitry Preobrazhensky     Vdata0 = (VdataSub0 != 0)? VdataSub0 : Vdata0;
4880b4eb1eaSDmitry Preobrazhensky 
489692560dcSStanislav Mekhanoshin     NewVdata = MRI.getMatchingSuperReg(Vdata0, AMDGPU::sub0,
490692560dcSStanislav Mekhanoshin                                        &MRI.getRegClass(DataRCID));
491cad7fa85SMatt Arsenault     if (NewVdata == AMDGPU::NoRegister) {
492cad7fa85SMatt Arsenault       // It's possible to encode this such that the low register + enabled
493cad7fa85SMatt Arsenault       // components exceeds the register count.
494cad7fa85SMatt Arsenault       return MCDisassembler::Success;
495cad7fa85SMatt Arsenault     }
496692560dcSStanislav Mekhanoshin   }
497692560dcSStanislav Mekhanoshin 
498692560dcSStanislav Mekhanoshin   unsigned NewVAddr0 = AMDGPU::NoRegister;
499692560dcSStanislav Mekhanoshin   if (STI.getFeatureBits()[AMDGPU::FeatureGFX10] && !IsNSA &&
500692560dcSStanislav Mekhanoshin       AddrSize != Info->VAddrDwords) {
501692560dcSStanislav Mekhanoshin     unsigned VAddr0 = MI.getOperand(VAddr0Idx).getReg();
502692560dcSStanislav Mekhanoshin     unsigned VAddrSub0 = MRI.getSubReg(VAddr0, AMDGPU::sub0);
503692560dcSStanislav Mekhanoshin     VAddr0 = (VAddrSub0 != 0) ? VAddrSub0 : VAddr0;
504692560dcSStanislav Mekhanoshin 
505692560dcSStanislav Mekhanoshin     auto AddrRCID = MCII->get(NewOpcode).OpInfo[VAddr0Idx].RegClass;
506692560dcSStanislav Mekhanoshin     NewVAddr0 = MRI.getMatchingSuperReg(VAddr0, AMDGPU::sub0,
507692560dcSStanislav Mekhanoshin                                         &MRI.getRegClass(AddrRCID));
508692560dcSStanislav Mekhanoshin     if (NewVAddr0 == AMDGPU::NoRegister)
509692560dcSStanislav Mekhanoshin       return MCDisassembler::Success;
510692560dcSStanislav Mekhanoshin   }
511cad7fa85SMatt Arsenault 
512cad7fa85SMatt Arsenault   MI.setOpcode(NewOpcode);
513692560dcSStanislav Mekhanoshin 
514692560dcSStanislav Mekhanoshin   if (NewVdata != AMDGPU::NoRegister) {
515cad7fa85SMatt Arsenault     MI.getOperand(VDataIdx) = MCOperand::createReg(NewVdata);
5160b4eb1eaSDmitry Preobrazhensky 
517da4a7c01SDmitry Preobrazhensky     if (IsAtomic) {
5180b4eb1eaSDmitry Preobrazhensky       // Atomic operations have an additional operand (a copy of data)
5190b4eb1eaSDmitry Preobrazhensky       MI.getOperand(VDstIdx) = MCOperand::createReg(NewVdata);
5200b4eb1eaSDmitry Preobrazhensky     }
521692560dcSStanislav Mekhanoshin   }
522692560dcSStanislav Mekhanoshin 
523692560dcSStanislav Mekhanoshin   if (NewVAddr0 != AMDGPU::NoRegister) {
524692560dcSStanislav Mekhanoshin     MI.getOperand(VAddr0Idx) = MCOperand::createReg(NewVAddr0);
525692560dcSStanislav Mekhanoshin   } else if (IsNSA) {
526692560dcSStanislav Mekhanoshin     assert(AddrSize <= Info->VAddrDwords);
527692560dcSStanislav Mekhanoshin     MI.erase(MI.begin() + VAddr0Idx + AddrSize,
528692560dcSStanislav Mekhanoshin              MI.begin() + VAddr0Idx + Info->VAddrDwords);
529692560dcSStanislav Mekhanoshin   }
5300b4eb1eaSDmitry Preobrazhensky 
531cad7fa85SMatt Arsenault   return MCDisassembler::Success;
532cad7fa85SMatt Arsenault }
533cad7fa85SMatt Arsenault 
534ac106addSNikolay Haustov const char* AMDGPUDisassembler::getRegClassName(unsigned RegClassID) const {
535ac106addSNikolay Haustov   return getContext().getRegisterInfo()->
536ac106addSNikolay Haustov     getRegClassName(&AMDGPUMCRegisterClasses[RegClassID]);
537e1818af8STom Stellard }
538e1818af8STom Stellard 
539ac106addSNikolay Haustov inline
540ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::errOperand(unsigned V,
541ac106addSNikolay Haustov                                          const Twine& ErrMsg) const {
542ac106addSNikolay Haustov   *CommentStream << "Error: " + ErrMsg;
543ac106addSNikolay Haustov 
544ac106addSNikolay Haustov   // ToDo: add support for error operands to MCInst.h
545ac106addSNikolay Haustov   // return MCOperand::createError(V);
546ac106addSNikolay Haustov   return MCOperand();
547ac106addSNikolay Haustov }
548ac106addSNikolay Haustov 
549ac106addSNikolay Haustov inline
550ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned int RegId) const {
551ac2b0264SDmitry Preobrazhensky   return MCOperand::createReg(AMDGPU::getMCReg(RegId, STI));
552ac106addSNikolay Haustov }
553ac106addSNikolay Haustov 
554ac106addSNikolay Haustov inline
555ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createRegOperand(unsigned RegClassID,
556ac106addSNikolay Haustov                                                unsigned Val) const {
557ac106addSNikolay Haustov   const auto& RegCl = AMDGPUMCRegisterClasses[RegClassID];
558ac106addSNikolay Haustov   if (Val >= RegCl.getNumRegs())
559ac106addSNikolay Haustov     return errOperand(Val, Twine(getRegClassName(RegClassID)) +
560ac106addSNikolay Haustov                            ": unknown register " + Twine(Val));
561ac106addSNikolay Haustov   return createRegOperand(RegCl.getRegister(Val));
562ac106addSNikolay Haustov }
563ac106addSNikolay Haustov 
564ac106addSNikolay Haustov inline
565ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::createSRegOperand(unsigned SRegClassID,
566ac106addSNikolay Haustov                                                 unsigned Val) const {
567ac106addSNikolay Haustov   // ToDo: SI/CI have 104 SGPRs, VI - 102
568ac106addSNikolay Haustov   // Valery: here we accepting as much as we can, let assembler sort it out
569ac106addSNikolay Haustov   int shift = 0;
570ac106addSNikolay Haustov   switch (SRegClassID) {
571ac106addSNikolay Haustov   case AMDGPU::SGPR_32RegClassID:
572212a251cSArtem Tamazov   case AMDGPU::TTMP_32RegClassID:
573212a251cSArtem Tamazov     break;
574ac106addSNikolay Haustov   case AMDGPU::SGPR_64RegClassID:
575212a251cSArtem Tamazov   case AMDGPU::TTMP_64RegClassID:
576212a251cSArtem Tamazov     shift = 1;
577212a251cSArtem Tamazov     break;
578212a251cSArtem Tamazov   case AMDGPU::SGPR_128RegClassID:
579212a251cSArtem Tamazov   case AMDGPU::TTMP_128RegClassID:
580ac106addSNikolay Haustov   // ToDo: unclear if s[100:104] is available on VI. Can we use VCC as SGPR in
581ac106addSNikolay Haustov   // this bundle?
58227134953SDmitry Preobrazhensky   case AMDGPU::SGPR_256RegClassID:
58327134953SDmitry Preobrazhensky   case AMDGPU::TTMP_256RegClassID:
584ac106addSNikolay Haustov     // ToDo: unclear if s[96:104] is available on VI. Can we use VCC as SGPR in
585ac106addSNikolay Haustov   // this bundle?
58627134953SDmitry Preobrazhensky   case AMDGPU::SGPR_512RegClassID:
58727134953SDmitry Preobrazhensky   case AMDGPU::TTMP_512RegClassID:
588212a251cSArtem Tamazov     shift = 2;
589212a251cSArtem Tamazov     break;
590ac106addSNikolay Haustov   // ToDo: unclear if s[88:104] is available on VI. Can we use VCC as SGPR in
591ac106addSNikolay Haustov   // this bundle?
592212a251cSArtem Tamazov   default:
59392b355b1SMatt Arsenault     llvm_unreachable("unhandled register class");
594ac106addSNikolay Haustov   }
59592b355b1SMatt Arsenault 
59692b355b1SMatt Arsenault   if (Val % (1 << shift)) {
597ac106addSNikolay Haustov     *CommentStream << "Warning: " << getRegClassName(SRegClassID)
598ac106addSNikolay Haustov                    << ": scalar reg isn't aligned " << Val;
59992b355b1SMatt Arsenault   }
60092b355b1SMatt Arsenault 
601ac106addSNikolay Haustov   return createRegOperand(SRegClassID, Val >> shift);
602ac106addSNikolay Haustov }
603ac106addSNikolay Haustov 
604ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_32(unsigned Val) const {
605212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
606ac106addSNikolay Haustov }
607ac106addSNikolay Haustov 
608ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VS_64(unsigned Val) const {
609212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
610ac106addSNikolay Haustov }
611ac106addSNikolay Haustov 
61230fc5239SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VS_128(unsigned Val) const {
61330fc5239SDmitry Preobrazhensky   return decodeSrcOp(OPW128, Val);
61430fc5239SDmitry Preobrazhensky }
61530fc5239SDmitry Preobrazhensky 
6164bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrc16(unsigned Val) const {
6174bd72361SMatt Arsenault   return decodeSrcOp(OPW16, Val);
6184bd72361SMatt Arsenault }
6194bd72361SMatt Arsenault 
6209be7b0d4SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_VSrcV216(unsigned Val) const {
6219be7b0d4SMatt Arsenault   return decodeSrcOp(OPWV216, Val);
6229be7b0d4SMatt Arsenault }
6239be7b0d4SMatt Arsenault 
624ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VGPR_32(unsigned Val) const {
625cb540bc0SMatt Arsenault   // Some instructions have operand restrictions beyond what the encoding
626cb540bc0SMatt Arsenault   // allows. Some ordinarily VSrc_32 operands are VGPR_32, so clear the extra
627cb540bc0SMatt Arsenault   // high bit.
628cb540bc0SMatt Arsenault   Val &= 255;
629cb540bc0SMatt Arsenault 
630ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VGPR_32RegClassID, Val);
631ac106addSNikolay Haustov }
632ac106addSNikolay Haustov 
6336023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_VRegOrLds_32(unsigned Val) const {
6346023d599SDmitry Preobrazhensky   return decodeSrcOp(OPW32, Val);
6356023d599SDmitry Preobrazhensky }
6366023d599SDmitry Preobrazhensky 
637ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_64(unsigned Val) const {
638ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_64RegClassID, Val);
639ac106addSNikolay Haustov }
640ac106addSNikolay Haustov 
641ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_96(unsigned Val) const {
642ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_96RegClassID, Val);
643ac106addSNikolay Haustov }
644ac106addSNikolay Haustov 
645ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_VReg_128(unsigned Val) const {
646ac106addSNikolay Haustov   return createRegOperand(AMDGPU::VReg_128RegClassID, Val);
647ac106addSNikolay Haustov }
648ac106addSNikolay Haustov 
649ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_32(unsigned Val) const {
650ac106addSNikolay Haustov   // table-gen generated disassembler doesn't care about operand types
651ac106addSNikolay Haustov   // leaving only registry class so SSrc_32 operand turns into SReg_32
652ac106addSNikolay Haustov   // and therefore we accept immediates and literals here as well
653212a251cSArtem Tamazov   return decodeSrcOp(OPW32, Val);
654ac106addSNikolay Haustov }
655ac106addSNikolay Haustov 
656640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XM0_XEXEC(
657640c44b8SMatt Arsenault   unsigned Val) const {
658640c44b8SMatt Arsenault   // SReg_32_XM0 is SReg_32 without M0 or EXEC_LO/EXEC_HI
65938e496b1SArtem Tamazov   return decodeOperand_SReg_32(Val);
66038e496b1SArtem Tamazov }
66138e496b1SArtem Tamazov 
662ca7b0a17SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_32_XEXEC_HI(
663ca7b0a17SMatt Arsenault   unsigned Val) const {
664ca7b0a17SMatt Arsenault   // SReg_32_XM0 is SReg_32 without EXEC_HI
665ca7b0a17SMatt Arsenault   return decodeOperand_SReg_32(Val);
666ca7b0a17SMatt Arsenault }
667ca7b0a17SMatt Arsenault 
6686023d599SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeOperand_SRegOrLds_32(unsigned Val) const {
6696023d599SDmitry Preobrazhensky   // table-gen generated disassembler doesn't care about operand types
6706023d599SDmitry Preobrazhensky   // leaving only registry class so SSrc_32 operand turns into SReg_32
6716023d599SDmitry Preobrazhensky   // and therefore we accept immediates and literals here as well
6726023d599SDmitry Preobrazhensky   return decodeSrcOp(OPW32, Val);
6736023d599SDmitry Preobrazhensky }
6746023d599SDmitry Preobrazhensky 
675ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_64(unsigned Val) const {
676640c44b8SMatt Arsenault   return decodeSrcOp(OPW64, Val);
677640c44b8SMatt Arsenault }
678640c44b8SMatt Arsenault 
679640c44b8SMatt Arsenault MCOperand AMDGPUDisassembler::decodeOperand_SReg_64_XEXEC(unsigned Val) const {
680212a251cSArtem Tamazov   return decodeSrcOp(OPW64, Val);
681ac106addSNikolay Haustov }
682ac106addSNikolay Haustov 
683ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_128(unsigned Val) const {
684212a251cSArtem Tamazov   return decodeSrcOp(OPW128, Val);
685ac106addSNikolay Haustov }
686ac106addSNikolay Haustov 
687ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_256(unsigned Val) const {
68827134953SDmitry Preobrazhensky   return decodeDstOp(OPW256, Val);
689ac106addSNikolay Haustov }
690ac106addSNikolay Haustov 
691ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeOperand_SReg_512(unsigned Val) const {
69227134953SDmitry Preobrazhensky   return decodeDstOp(OPW512, Val);
693ac106addSNikolay Haustov }
694ac106addSNikolay Haustov 
695ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeLiteralConstant() const {
696ac106addSNikolay Haustov   // For now all literal constants are supposed to be unsigned integer
697ac106addSNikolay Haustov   // ToDo: deal with signed/unsigned 64-bit integer constants
698ac106addSNikolay Haustov   // ToDo: deal with float/double constants
699ce941c9cSDmitry Preobrazhensky   if (!HasLiteral) {
700ce941c9cSDmitry Preobrazhensky     if (Bytes.size() < 4) {
701ac106addSNikolay Haustov       return errOperand(0, "cannot read literal, inst bytes left " +
702ac106addSNikolay Haustov                         Twine(Bytes.size()));
703ce941c9cSDmitry Preobrazhensky     }
704ce941c9cSDmitry Preobrazhensky     HasLiteral = true;
705ce941c9cSDmitry Preobrazhensky     Literal = eatBytes<uint32_t>(Bytes);
706ce941c9cSDmitry Preobrazhensky   }
707ce941c9cSDmitry Preobrazhensky   return MCOperand::createImm(Literal);
708ac106addSNikolay Haustov }
709ac106addSNikolay Haustov 
710ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeIntImmed(unsigned Imm) {
711212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
712c8fbf6ffSEugene Zelenko 
713212a251cSArtem Tamazov   assert(Imm >= INLINE_INTEGER_C_MIN && Imm <= INLINE_INTEGER_C_MAX);
714212a251cSArtem Tamazov   return MCOperand::createImm((Imm <= INLINE_INTEGER_C_POSITIVE_MAX) ?
715212a251cSArtem Tamazov     (static_cast<int64_t>(Imm) - INLINE_INTEGER_C_MIN) :
716212a251cSArtem Tamazov     (INLINE_INTEGER_C_POSITIVE_MAX - static_cast<int64_t>(Imm)));
717212a251cSArtem Tamazov       // Cast prevents negative overflow.
718ac106addSNikolay Haustov }
719ac106addSNikolay Haustov 
7204bd72361SMatt Arsenault static int64_t getInlineImmVal32(unsigned Imm) {
7214bd72361SMatt Arsenault   switch (Imm) {
7224bd72361SMatt Arsenault   case 240:
7234bd72361SMatt Arsenault     return FloatToBits(0.5f);
7244bd72361SMatt Arsenault   case 241:
7254bd72361SMatt Arsenault     return FloatToBits(-0.5f);
7264bd72361SMatt Arsenault   case 242:
7274bd72361SMatt Arsenault     return FloatToBits(1.0f);
7284bd72361SMatt Arsenault   case 243:
7294bd72361SMatt Arsenault     return FloatToBits(-1.0f);
7304bd72361SMatt Arsenault   case 244:
7314bd72361SMatt Arsenault     return FloatToBits(2.0f);
7324bd72361SMatt Arsenault   case 245:
7334bd72361SMatt Arsenault     return FloatToBits(-2.0f);
7344bd72361SMatt Arsenault   case 246:
7354bd72361SMatt Arsenault     return FloatToBits(4.0f);
7364bd72361SMatt Arsenault   case 247:
7374bd72361SMatt Arsenault     return FloatToBits(-4.0f);
7384bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
7394bd72361SMatt Arsenault     return 0x3e22f983;
7404bd72361SMatt Arsenault   default:
7414bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
7424bd72361SMatt Arsenault   }
7434bd72361SMatt Arsenault }
7444bd72361SMatt Arsenault 
7454bd72361SMatt Arsenault static int64_t getInlineImmVal64(unsigned Imm) {
7464bd72361SMatt Arsenault   switch (Imm) {
7474bd72361SMatt Arsenault   case 240:
7484bd72361SMatt Arsenault     return DoubleToBits(0.5);
7494bd72361SMatt Arsenault   case 241:
7504bd72361SMatt Arsenault     return DoubleToBits(-0.5);
7514bd72361SMatt Arsenault   case 242:
7524bd72361SMatt Arsenault     return DoubleToBits(1.0);
7534bd72361SMatt Arsenault   case 243:
7544bd72361SMatt Arsenault     return DoubleToBits(-1.0);
7554bd72361SMatt Arsenault   case 244:
7564bd72361SMatt Arsenault     return DoubleToBits(2.0);
7574bd72361SMatt Arsenault   case 245:
7584bd72361SMatt Arsenault     return DoubleToBits(-2.0);
7594bd72361SMatt Arsenault   case 246:
7604bd72361SMatt Arsenault     return DoubleToBits(4.0);
7614bd72361SMatt Arsenault   case 247:
7624bd72361SMatt Arsenault     return DoubleToBits(-4.0);
7634bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
7644bd72361SMatt Arsenault     return 0x3fc45f306dc9c882;
7654bd72361SMatt Arsenault   default:
7664bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
7674bd72361SMatt Arsenault   }
7684bd72361SMatt Arsenault }
7694bd72361SMatt Arsenault 
7704bd72361SMatt Arsenault static int64_t getInlineImmVal16(unsigned Imm) {
7714bd72361SMatt Arsenault   switch (Imm) {
7724bd72361SMatt Arsenault   case 240:
7734bd72361SMatt Arsenault     return 0x3800;
7744bd72361SMatt Arsenault   case 241:
7754bd72361SMatt Arsenault     return 0xB800;
7764bd72361SMatt Arsenault   case 242:
7774bd72361SMatt Arsenault     return 0x3C00;
7784bd72361SMatt Arsenault   case 243:
7794bd72361SMatt Arsenault     return 0xBC00;
7804bd72361SMatt Arsenault   case 244:
7814bd72361SMatt Arsenault     return 0x4000;
7824bd72361SMatt Arsenault   case 245:
7834bd72361SMatt Arsenault     return 0xC000;
7844bd72361SMatt Arsenault   case 246:
7854bd72361SMatt Arsenault     return 0x4400;
7864bd72361SMatt Arsenault   case 247:
7874bd72361SMatt Arsenault     return 0xC400;
7884bd72361SMatt Arsenault   case 248: // 1 / (2 * PI)
7894bd72361SMatt Arsenault     return 0x3118;
7904bd72361SMatt Arsenault   default:
7914bd72361SMatt Arsenault     llvm_unreachable("invalid fp inline imm");
7924bd72361SMatt Arsenault   }
7934bd72361SMatt Arsenault }
7944bd72361SMatt Arsenault 
7954bd72361SMatt Arsenault MCOperand AMDGPUDisassembler::decodeFPImmed(OpWidthTy Width, unsigned Imm) {
796212a251cSArtem Tamazov   assert(Imm >= AMDGPU::EncValues::INLINE_FLOATING_C_MIN
797212a251cSArtem Tamazov       && Imm <= AMDGPU::EncValues::INLINE_FLOATING_C_MAX);
7984bd72361SMatt Arsenault 
799e1818af8STom Stellard   // ToDo: case 248: 1/(2*PI) - is allowed only on VI
8004bd72361SMatt Arsenault   switch (Width) {
8014bd72361SMatt Arsenault   case OPW32:
8024bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal32(Imm));
8034bd72361SMatt Arsenault   case OPW64:
8044bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal64(Imm));
8054bd72361SMatt Arsenault   case OPW16:
8069be7b0d4SMatt Arsenault   case OPWV216:
8074bd72361SMatt Arsenault     return MCOperand::createImm(getInlineImmVal16(Imm));
8084bd72361SMatt Arsenault   default:
8094bd72361SMatt Arsenault     llvm_unreachable("implement me");
810e1818af8STom Stellard   }
811e1818af8STom Stellard }
812e1818af8STom Stellard 
813212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getVgprClassId(const OpWidthTy Width) const {
814e1818af8STom Stellard   using namespace AMDGPU;
815c8fbf6ffSEugene Zelenko 
816212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
817212a251cSArtem Tamazov   switch (Width) {
818212a251cSArtem Tamazov   default: // fall
8194bd72361SMatt Arsenault   case OPW32:
8204bd72361SMatt Arsenault   case OPW16:
8219be7b0d4SMatt Arsenault   case OPWV216:
8224bd72361SMatt Arsenault     return VGPR_32RegClassID;
823212a251cSArtem Tamazov   case OPW64: return VReg_64RegClassID;
824212a251cSArtem Tamazov   case OPW128: return VReg_128RegClassID;
825212a251cSArtem Tamazov   }
826212a251cSArtem Tamazov }
827212a251cSArtem Tamazov 
828212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getSgprClassId(const OpWidthTy Width) const {
829212a251cSArtem Tamazov   using namespace AMDGPU;
830c8fbf6ffSEugene Zelenko 
831212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
832212a251cSArtem Tamazov   switch (Width) {
833212a251cSArtem Tamazov   default: // fall
8344bd72361SMatt Arsenault   case OPW32:
8354bd72361SMatt Arsenault   case OPW16:
8369be7b0d4SMatt Arsenault   case OPWV216:
8374bd72361SMatt Arsenault     return SGPR_32RegClassID;
838212a251cSArtem Tamazov   case OPW64: return SGPR_64RegClassID;
839212a251cSArtem Tamazov   case OPW128: return SGPR_128RegClassID;
84027134953SDmitry Preobrazhensky   case OPW256: return SGPR_256RegClassID;
84127134953SDmitry Preobrazhensky   case OPW512: return SGPR_512RegClassID;
842212a251cSArtem Tamazov   }
843212a251cSArtem Tamazov }
844212a251cSArtem Tamazov 
845212a251cSArtem Tamazov unsigned AMDGPUDisassembler::getTtmpClassId(const OpWidthTy Width) const {
846212a251cSArtem Tamazov   using namespace AMDGPU;
847c8fbf6ffSEugene Zelenko 
848212a251cSArtem Tamazov   assert(OPW_FIRST_ <= Width && Width < OPW_LAST_);
849212a251cSArtem Tamazov   switch (Width) {
850212a251cSArtem Tamazov   default: // fall
8514bd72361SMatt Arsenault   case OPW32:
8524bd72361SMatt Arsenault   case OPW16:
8539be7b0d4SMatt Arsenault   case OPWV216:
8544bd72361SMatt Arsenault     return TTMP_32RegClassID;
855212a251cSArtem Tamazov   case OPW64: return TTMP_64RegClassID;
856212a251cSArtem Tamazov   case OPW128: return TTMP_128RegClassID;
85727134953SDmitry Preobrazhensky   case OPW256: return TTMP_256RegClassID;
85827134953SDmitry Preobrazhensky   case OPW512: return TTMP_512RegClassID;
859212a251cSArtem Tamazov   }
860212a251cSArtem Tamazov }
861212a251cSArtem Tamazov 
862ac2b0264SDmitry Preobrazhensky int AMDGPUDisassembler::getTTmpIdx(unsigned Val) const {
863ac2b0264SDmitry Preobrazhensky   using namespace AMDGPU::EncValues;
864ac2b0264SDmitry Preobrazhensky 
86533d806a5SStanislav Mekhanoshin   unsigned TTmpMin =
86633d806a5SStanislav Mekhanoshin       (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MIN : TTMP_VI_MIN;
86733d806a5SStanislav Mekhanoshin   unsigned TTmpMax =
86833d806a5SStanislav Mekhanoshin       (isGFX9() || isGFX10()) ? TTMP_GFX9_GFX10_MAX : TTMP_VI_MAX;
869ac2b0264SDmitry Preobrazhensky 
870ac2b0264SDmitry Preobrazhensky   return (TTmpMin <= Val && Val <= TTmpMax)? Val - TTmpMin : -1;
871ac2b0264SDmitry Preobrazhensky }
872ac2b0264SDmitry Preobrazhensky 
873212a251cSArtem Tamazov MCOperand AMDGPUDisassembler::decodeSrcOp(const OpWidthTy Width, unsigned Val) const {
874212a251cSArtem Tamazov   using namespace AMDGPU::EncValues;
875c8fbf6ffSEugene Zelenko 
876ac106addSNikolay Haustov   assert(Val < 512); // enum9
877ac106addSNikolay Haustov 
878212a251cSArtem Tamazov   if (VGPR_MIN <= Val && Val <= VGPR_MAX) {
879212a251cSArtem Tamazov     return createRegOperand(getVgprClassId(Width), Val - VGPR_MIN);
880212a251cSArtem Tamazov   }
881b49c3361SArtem Tamazov   if (Val <= SGPR_MAX) {
882b49c3361SArtem Tamazov     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
883212a251cSArtem Tamazov     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
884212a251cSArtem Tamazov   }
885ac2b0264SDmitry Preobrazhensky 
886ac2b0264SDmitry Preobrazhensky   int TTmpIdx = getTTmpIdx(Val);
887ac2b0264SDmitry Preobrazhensky   if (TTmpIdx >= 0) {
888ac2b0264SDmitry Preobrazhensky     return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
889212a251cSArtem Tamazov   }
890ac106addSNikolay Haustov 
891212a251cSArtem Tamazov   if (INLINE_INTEGER_C_MIN <= Val && Val <= INLINE_INTEGER_C_MAX)
892ac106addSNikolay Haustov     return decodeIntImmed(Val);
893ac106addSNikolay Haustov 
894212a251cSArtem Tamazov   if (INLINE_FLOATING_C_MIN <= Val && Val <= INLINE_FLOATING_C_MAX)
8954bd72361SMatt Arsenault     return decodeFPImmed(Width, Val);
896ac106addSNikolay Haustov 
897212a251cSArtem Tamazov   if (Val == LITERAL_CONST)
898ac106addSNikolay Haustov     return decodeLiteralConstant();
899ac106addSNikolay Haustov 
9004bd72361SMatt Arsenault   switch (Width) {
9014bd72361SMatt Arsenault   case OPW32:
9024bd72361SMatt Arsenault   case OPW16:
9039be7b0d4SMatt Arsenault   case OPWV216:
9044bd72361SMatt Arsenault     return decodeSpecialReg32(Val);
9054bd72361SMatt Arsenault   case OPW64:
9064bd72361SMatt Arsenault     return decodeSpecialReg64(Val);
9074bd72361SMatt Arsenault   default:
9084bd72361SMatt Arsenault     llvm_unreachable("unexpected immediate type");
9094bd72361SMatt Arsenault   }
910ac106addSNikolay Haustov }
911ac106addSNikolay Haustov 
91227134953SDmitry Preobrazhensky MCOperand AMDGPUDisassembler::decodeDstOp(const OpWidthTy Width, unsigned Val) const {
91327134953SDmitry Preobrazhensky   using namespace AMDGPU::EncValues;
91427134953SDmitry Preobrazhensky 
91527134953SDmitry Preobrazhensky   assert(Val < 128);
91627134953SDmitry Preobrazhensky   assert(Width == OPW256 || Width == OPW512);
91727134953SDmitry Preobrazhensky 
91827134953SDmitry Preobrazhensky   if (Val <= SGPR_MAX) {
91927134953SDmitry Preobrazhensky     assert(SGPR_MIN == 0); // "SGPR_MIN <= Val" is always true and causes compilation warning.
92027134953SDmitry Preobrazhensky     return createSRegOperand(getSgprClassId(Width), Val - SGPR_MIN);
92127134953SDmitry Preobrazhensky   }
92227134953SDmitry Preobrazhensky 
92327134953SDmitry Preobrazhensky   int TTmpIdx = getTTmpIdx(Val);
92427134953SDmitry Preobrazhensky   if (TTmpIdx >= 0) {
92527134953SDmitry Preobrazhensky     return createSRegOperand(getTtmpClassId(Width), TTmpIdx);
92627134953SDmitry Preobrazhensky   }
92727134953SDmitry Preobrazhensky 
92827134953SDmitry Preobrazhensky   llvm_unreachable("unknown dst register");
92927134953SDmitry Preobrazhensky }
93027134953SDmitry Preobrazhensky 
931ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg32(unsigned Val) const {
932ac106addSNikolay Haustov   using namespace AMDGPU;
933c8fbf6ffSEugene Zelenko 
934e1818af8STom Stellard   switch (Val) {
935ac2b0264SDmitry Preobrazhensky   case 102: return createRegOperand(FLAT_SCR_LO);
936ac2b0264SDmitry Preobrazhensky   case 103: return createRegOperand(FLAT_SCR_HI);
9373afbd825SDmitry Preobrazhensky   case 104: return createRegOperand(XNACK_MASK_LO);
9383afbd825SDmitry Preobrazhensky   case 105: return createRegOperand(XNACK_MASK_HI);
939ac106addSNikolay Haustov   case 106: return createRegOperand(VCC_LO);
940ac106addSNikolay Haustov   case 107: return createRegOperand(VCC_HI);
941137976faSDmitry Preobrazhensky   case 108: return createRegOperand(TBA_LO);
942137976faSDmitry Preobrazhensky   case 109: return createRegOperand(TBA_HI);
943137976faSDmitry Preobrazhensky   case 110: return createRegOperand(TMA_LO);
944137976faSDmitry Preobrazhensky   case 111: return createRegOperand(TMA_HI);
945ac106addSNikolay Haustov   case 124: return createRegOperand(M0);
94633d806a5SStanislav Mekhanoshin   case 125: return createRegOperand(SGPR_NULL);
947ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC_LO);
948ac106addSNikolay Haustov   case 127: return createRegOperand(EXEC_HI);
949a3b3b489SMatt Arsenault   case 235: return createRegOperand(SRC_SHARED_BASE);
950a3b3b489SMatt Arsenault   case 236: return createRegOperand(SRC_SHARED_LIMIT);
951a3b3b489SMatt Arsenault   case 237: return createRegOperand(SRC_PRIVATE_BASE);
952a3b3b489SMatt Arsenault   case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
953137976faSDmitry Preobrazhensky   case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID);
9549111f35fSDmitry Preobrazhensky   case 251: return createRegOperand(SRC_VCCZ);
9559111f35fSDmitry Preobrazhensky   case 252: return createRegOperand(SRC_EXECZ);
9569111f35fSDmitry Preobrazhensky   case 253: return createRegOperand(SRC_SCC);
957942c273dSDmitry Preobrazhensky   case 254: return createRegOperand(LDS_DIRECT);
958ac106addSNikolay Haustov   default: break;
959e1818af8STom Stellard   }
960ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
961e1818af8STom Stellard }
962e1818af8STom Stellard 
963ac106addSNikolay Haustov MCOperand AMDGPUDisassembler::decodeSpecialReg64(unsigned Val) const {
964161a158eSNikolay Haustov   using namespace AMDGPU;
965c8fbf6ffSEugene Zelenko 
966161a158eSNikolay Haustov   switch (Val) {
967ac2b0264SDmitry Preobrazhensky   case 102: return createRegOperand(FLAT_SCR);
9683afbd825SDmitry Preobrazhensky   case 104: return createRegOperand(XNACK_MASK);
969ac106addSNikolay Haustov   case 106: return createRegOperand(VCC);
970137976faSDmitry Preobrazhensky   case 108: return createRegOperand(TBA);
971137976faSDmitry Preobrazhensky   case 110: return createRegOperand(TMA);
972ac106addSNikolay Haustov   case 126: return createRegOperand(EXEC);
973137976faSDmitry Preobrazhensky   case 235: return createRegOperand(SRC_SHARED_BASE);
974137976faSDmitry Preobrazhensky   case 236: return createRegOperand(SRC_SHARED_LIMIT);
975137976faSDmitry Preobrazhensky   case 237: return createRegOperand(SRC_PRIVATE_BASE);
976137976faSDmitry Preobrazhensky   case 238: return createRegOperand(SRC_PRIVATE_LIMIT);
977137976faSDmitry Preobrazhensky   case 239: return createRegOperand(SRC_POPS_EXITING_WAVE_ID);
9789111f35fSDmitry Preobrazhensky   case 251: return createRegOperand(SRC_VCCZ);
9799111f35fSDmitry Preobrazhensky   case 252: return createRegOperand(SRC_EXECZ);
9809111f35fSDmitry Preobrazhensky   case 253: return createRegOperand(SRC_SCC);
981ac106addSNikolay Haustov   default: break;
982161a158eSNikolay Haustov   }
983ac106addSNikolay Haustov   return errOperand(Val, "unknown operand encoding " + Twine(Val));
984161a158eSNikolay Haustov }
985161a158eSNikolay Haustov 
986549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc(const OpWidthTy Width,
9876b65f7c3SDmitry Preobrazhensky                                             const unsigned Val) const {
988363f47a2SSam Kolton   using namespace AMDGPU::SDWA;
9896b65f7c3SDmitry Preobrazhensky   using namespace AMDGPU::EncValues;
990363f47a2SSam Kolton 
99133d806a5SStanislav Mekhanoshin   if (STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
99233d806a5SStanislav Mekhanoshin       STI.getFeatureBits()[AMDGPU::FeatureGFX10]) {
993da644c02SStanislav Mekhanoshin     // XXX: cast to int is needed to avoid stupid warning:
994a179d25bSSam Kolton     // compare with unsigned is always true
995da644c02SStanislav Mekhanoshin     if (int(SDWA9EncValues::SRC_VGPR_MIN) <= int(Val) &&
996363f47a2SSam Kolton         Val <= SDWA9EncValues::SRC_VGPR_MAX) {
997363f47a2SSam Kolton       return createRegOperand(getVgprClassId(Width),
998363f47a2SSam Kolton                               Val - SDWA9EncValues::SRC_VGPR_MIN);
999363f47a2SSam Kolton     }
1000363f47a2SSam Kolton     if (SDWA9EncValues::SRC_SGPR_MIN <= Val &&
100133d806a5SStanislav Mekhanoshin         Val <= (isGFX10() ? SDWA9EncValues::SRC_SGPR_MAX_GFX10
100233d806a5SStanislav Mekhanoshin                           : SDWA9EncValues::SRC_SGPR_MAX_SI)) {
1003363f47a2SSam Kolton       return createSRegOperand(getSgprClassId(Width),
1004363f47a2SSam Kolton                                Val - SDWA9EncValues::SRC_SGPR_MIN);
1005363f47a2SSam Kolton     }
1006ac2b0264SDmitry Preobrazhensky     if (SDWA9EncValues::SRC_TTMP_MIN <= Val &&
1007ac2b0264SDmitry Preobrazhensky         Val <= SDWA9EncValues::SRC_TTMP_MAX) {
1008ac2b0264SDmitry Preobrazhensky       return createSRegOperand(getTtmpClassId(Width),
1009ac2b0264SDmitry Preobrazhensky                                Val - SDWA9EncValues::SRC_TTMP_MIN);
1010ac2b0264SDmitry Preobrazhensky     }
1011363f47a2SSam Kolton 
10126b65f7c3SDmitry Preobrazhensky     const unsigned SVal = Val - SDWA9EncValues::SRC_SGPR_MIN;
10136b65f7c3SDmitry Preobrazhensky 
10146b65f7c3SDmitry Preobrazhensky     if (INLINE_INTEGER_C_MIN <= SVal && SVal <= INLINE_INTEGER_C_MAX)
10156b65f7c3SDmitry Preobrazhensky       return decodeIntImmed(SVal);
10166b65f7c3SDmitry Preobrazhensky 
10176b65f7c3SDmitry Preobrazhensky     if (INLINE_FLOATING_C_MIN <= SVal && SVal <= INLINE_FLOATING_C_MAX)
10186b65f7c3SDmitry Preobrazhensky       return decodeFPImmed(Width, SVal);
10196b65f7c3SDmitry Preobrazhensky 
10206b65f7c3SDmitry Preobrazhensky     return decodeSpecialReg32(SVal);
1021549c89d2SSam Kolton   } else if (STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands]) {
1022549c89d2SSam Kolton     return createRegOperand(getVgprClassId(Width), Val);
1023549c89d2SSam Kolton   }
1024549c89d2SSam Kolton   llvm_unreachable("unsupported target");
1025363f47a2SSam Kolton }
1026363f47a2SSam Kolton 
1027549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc16(unsigned Val) const {
1028549c89d2SSam Kolton   return decodeSDWASrc(OPW16, Val);
1029363f47a2SSam Kolton }
1030363f47a2SSam Kolton 
1031549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWASrc32(unsigned Val) const {
1032549c89d2SSam Kolton   return decodeSDWASrc(OPW32, Val);
1033363f47a2SSam Kolton }
1034363f47a2SSam Kolton 
1035549c89d2SSam Kolton MCOperand AMDGPUDisassembler::decodeSDWAVopcDst(unsigned Val) const {
1036363f47a2SSam Kolton   using namespace AMDGPU::SDWA;
1037363f47a2SSam Kolton 
103833d806a5SStanislav Mekhanoshin   assert((STI.getFeatureBits()[AMDGPU::FeatureGFX9] ||
103933d806a5SStanislav Mekhanoshin           STI.getFeatureBits()[AMDGPU::FeatureGFX10]) &&
104033d806a5SStanislav Mekhanoshin          "SDWAVopcDst should be present only on GFX9+");
104133d806a5SStanislav Mekhanoshin 
1042*ab4f2ea7SStanislav Mekhanoshin   bool IsWave64 = STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64];
1043*ab4f2ea7SStanislav Mekhanoshin 
1044363f47a2SSam Kolton   if (Val & SDWA9EncValues::VOPC_DST_VCC_MASK) {
1045363f47a2SSam Kolton     Val &= SDWA9EncValues::VOPC_DST_SGPR_MASK;
1046ac2b0264SDmitry Preobrazhensky 
1047ac2b0264SDmitry Preobrazhensky     int TTmpIdx = getTTmpIdx(Val);
1048ac2b0264SDmitry Preobrazhensky     if (TTmpIdx >= 0) {
1049ac2b0264SDmitry Preobrazhensky       return createSRegOperand(getTtmpClassId(OPW64), TTmpIdx);
105033d806a5SStanislav Mekhanoshin     } else if (Val > SGPR_MAX) {
1051*ab4f2ea7SStanislav Mekhanoshin       return IsWave64 ? decodeSpecialReg64(Val)
1052*ab4f2ea7SStanislav Mekhanoshin                       : decodeSpecialReg32(Val);
1053363f47a2SSam Kolton     } else {
1054*ab4f2ea7SStanislav Mekhanoshin       return createSRegOperand(getSgprClassId(IsWave64 ? OPW64 : OPW32), Val);
1055363f47a2SSam Kolton     }
1056363f47a2SSam Kolton   } else {
1057*ab4f2ea7SStanislav Mekhanoshin     return createRegOperand(IsWave64 ? AMDGPU::VCC : AMDGPU::VCC_LO);
1058363f47a2SSam Kolton   }
1059363f47a2SSam Kolton }
1060363f47a2SSam Kolton 
1061*ab4f2ea7SStanislav Mekhanoshin MCOperand AMDGPUDisassembler::decodeBoolReg(unsigned Val) const {
1062*ab4f2ea7SStanislav Mekhanoshin   return STI.getFeatureBits()[AMDGPU::FeatureWavefrontSize64] ?
1063*ab4f2ea7SStanislav Mekhanoshin     decodeOperand_SReg_64(Val) : decodeOperand_SReg_32(Val);
1064*ab4f2ea7SStanislav Mekhanoshin }
1065*ab4f2ea7SStanislav Mekhanoshin 
1066ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isVI() const {
1067ac2b0264SDmitry Preobrazhensky   return STI.getFeatureBits()[AMDGPU::FeatureVolcanicIslands];
1068ac2b0264SDmitry Preobrazhensky }
1069ac2b0264SDmitry Preobrazhensky 
1070ac2b0264SDmitry Preobrazhensky bool AMDGPUDisassembler::isGFX9() const {
1071ac2b0264SDmitry Preobrazhensky   return STI.getFeatureBits()[AMDGPU::FeatureGFX9];
1072ac2b0264SDmitry Preobrazhensky }
1073ac2b0264SDmitry Preobrazhensky 
107433d806a5SStanislav Mekhanoshin bool AMDGPUDisassembler::isGFX10() const {
107533d806a5SStanislav Mekhanoshin   return STI.getFeatureBits()[AMDGPU::FeatureGFX10];
107633d806a5SStanislav Mekhanoshin }
107733d806a5SStanislav Mekhanoshin 
10783381d7a2SSam Kolton //===----------------------------------------------------------------------===//
10793381d7a2SSam Kolton // AMDGPUSymbolizer
10803381d7a2SSam Kolton //===----------------------------------------------------------------------===//
10813381d7a2SSam Kolton 
10823381d7a2SSam Kolton // Try to find symbol name for specified label
10833381d7a2SSam Kolton bool AMDGPUSymbolizer::tryAddingSymbolicOperand(MCInst &Inst,
10843381d7a2SSam Kolton                                 raw_ostream &/*cStream*/, int64_t Value,
10853381d7a2SSam Kolton                                 uint64_t /*Address*/, bool IsBranch,
10863381d7a2SSam Kolton                                 uint64_t /*Offset*/, uint64_t /*InstSize*/) {
1087c8fbf6ffSEugene Zelenko   using SymbolInfoTy = std::tuple<uint64_t, StringRef, uint8_t>;
1088c8fbf6ffSEugene Zelenko   using SectionSymbolsTy = std::vector<SymbolInfoTy>;
10893381d7a2SSam Kolton 
10903381d7a2SSam Kolton   if (!IsBranch) {
10913381d7a2SSam Kolton     return false;
10923381d7a2SSam Kolton   }
10933381d7a2SSam Kolton 
10943381d7a2SSam Kolton   auto *Symbols = static_cast<SectionSymbolsTy *>(DisInfo);
1095b1c3b22bSNicolai Haehnle   if (!Symbols)
1096b1c3b22bSNicolai Haehnle     return false;
1097b1c3b22bSNicolai Haehnle 
10983381d7a2SSam Kolton   auto Result = std::find_if(Symbols->begin(), Symbols->end(),
10993381d7a2SSam Kolton                              [Value](const SymbolInfoTy& Val) {
11003381d7a2SSam Kolton                                 return std::get<0>(Val) == static_cast<uint64_t>(Value)
11013381d7a2SSam Kolton                                     && std::get<2>(Val) == ELF::STT_NOTYPE;
11023381d7a2SSam Kolton                              });
11033381d7a2SSam Kolton   if (Result != Symbols->end()) {
11043381d7a2SSam Kolton     auto *Sym = Ctx.getOrCreateSymbol(std::get<1>(*Result));
11053381d7a2SSam Kolton     const auto *Add = MCSymbolRefExpr::create(Sym, Ctx);
11063381d7a2SSam Kolton     Inst.addOperand(MCOperand::createExpr(Add));
11073381d7a2SSam Kolton     return true;
11083381d7a2SSam Kolton   }
11093381d7a2SSam Kolton   return false;
11103381d7a2SSam Kolton }
11113381d7a2SSam Kolton 
111292b355b1SMatt Arsenault void AMDGPUSymbolizer::tryAddingPcLoadReferenceComment(raw_ostream &cStream,
111392b355b1SMatt Arsenault                                                        int64_t Value,
111492b355b1SMatt Arsenault                                                        uint64_t Address) {
111592b355b1SMatt Arsenault   llvm_unreachable("unimplemented");
111692b355b1SMatt Arsenault }
111792b355b1SMatt Arsenault 
11183381d7a2SSam Kolton //===----------------------------------------------------------------------===//
11193381d7a2SSam Kolton // Initialization
11203381d7a2SSam Kolton //===----------------------------------------------------------------------===//
11213381d7a2SSam Kolton 
11223381d7a2SSam Kolton static MCSymbolizer *createAMDGPUSymbolizer(const Triple &/*TT*/,
11233381d7a2SSam Kolton                               LLVMOpInfoCallback /*GetOpInfo*/,
11243381d7a2SSam Kolton                               LLVMSymbolLookupCallback /*SymbolLookUp*/,
11253381d7a2SSam Kolton                               void *DisInfo,
11263381d7a2SSam Kolton                               MCContext *Ctx,
11273381d7a2SSam Kolton                               std::unique_ptr<MCRelocationInfo> &&RelInfo) {
11283381d7a2SSam Kolton   return new AMDGPUSymbolizer(*Ctx, std::move(RelInfo), DisInfo);
11293381d7a2SSam Kolton }
11303381d7a2SSam Kolton 
1131e1818af8STom Stellard static MCDisassembler *createAMDGPUDisassembler(const Target &T,
1132e1818af8STom Stellard                                                 const MCSubtargetInfo &STI,
1133e1818af8STom Stellard                                                 MCContext &Ctx) {
1134cad7fa85SMatt Arsenault   return new AMDGPUDisassembler(STI, Ctx, T.createMCInstrInfo());
1135e1818af8STom Stellard }
1136e1818af8STom Stellard 
11374b0b2619STom Stellard extern "C" void LLVMInitializeAMDGPUDisassembler() {
1138f42454b9SMehdi Amini   TargetRegistry::RegisterMCDisassembler(getTheGCNTarget(),
1139f42454b9SMehdi Amini                                          createAMDGPUDisassembler);
1140f42454b9SMehdi Amini   TargetRegistry::RegisterMCSymbolizer(getTheGCNTarget(),
1141f42454b9SMehdi Amini                                        createAMDGPUSymbolizer);
1142e1818af8STom Stellard }
1143