blob: a804857cc20135040ff1f084c4c322c42f8af5b4 [file] [log] [blame]
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +00001//===- HexagonDisassembler.cpp - Disassembler for Hexagon ISA -------------===//
NAKAMURA Takumi729be142014-10-27 12:37:26 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Colin LeMahieu7cd08922015-11-09 04:07:48 +000010#define DEBUG_TYPE "hexagon-disassembler"
11
Colin LeMahieu68d967d2015-05-29 14:44:13 +000012#include "Hexagon.h"
NAKAMURA Takumi729be142014-10-27 12:37:26 +000013#include "MCTargetDesc/HexagonBaseInfo.h"
Colin LeMahieu7cd08922015-11-09 04:07:48 +000014#include "MCTargetDesc/HexagonMCChecker.h"
Colin LeMahieu7cd08922015-11-09 04:07:48 +000015#include "MCTargetDesc/HexagonMCInstrInfo.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000016#include "MCTargetDesc/HexagonMCTargetDesc.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000017#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/STLExtras.h"
Colin LeMahieu7cd08922015-11-09 04:07:48 +000019#include "llvm/MC/MCContext.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000020#include "llvm/MC/MCDisassembler/MCDisassembler.h"
NAKAMURA Takumi729be142014-10-27 12:37:26 +000021#include "llvm/MC/MCExpr.h"
22#include "llvm/MC/MCFixedLenDisassembler.h"
23#include "llvm/MC/MCInst.h"
Colin LeMahieu7cd08922015-11-09 04:07:48 +000024#include "llvm/MC/MCInstrInfo.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000025#include "llvm/MC/MCRegisterInfo.h"
NAKAMURA Takumi729be142014-10-27 12:37:26 +000026#include "llvm/MC/MCSubtargetInfo.h"
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +000027#include "llvm/Support/Endian.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000028#include "llvm/Support/MathExtras.h"
Colin LeMahieu7cd08922015-11-09 04:07:48 +000029#include "llvm/Support/TargetRegistry.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000030#include "llvm/Support/raw_ostream.h"
Eugene Zelenko82085922016-12-13 22:13:50 +000031#include <cassert>
32#include <cstddef>
33#include <cstdint>
34#include <memory>
NAKAMURA Takumi729be142014-10-27 12:37:26 +000035
36using namespace llvm;
Colin LeMahieu68d967d2015-05-29 14:44:13 +000037using namespace Hexagon;
NAKAMURA Takumi729be142014-10-27 12:37:26 +000038
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +000039using DecodeStatus = MCDisassembler::DecodeStatus;
NAKAMURA Takumi729be142014-10-27 12:37:26 +000040
41namespace {
Eugene Zelenko82085922016-12-13 22:13:50 +000042
NAKAMURA Takumi729be142014-10-27 12:37:26 +000043/// \brief Hexagon disassembler for all Hexagon platforms.
44class HexagonDisassembler : public MCDisassembler {
45public:
Colin LeMahieu7cd08922015-11-09 04:07:48 +000046 std::unique_ptr<MCInstrInfo const> const MCII;
Colin LeMahieu68d967d2015-05-29 14:44:13 +000047 std::unique_ptr<MCInst *> CurrentBundle;
Eugene Zelenko82085922016-12-13 22:13:50 +000048
Colin LeMahieu7cd08922015-11-09 04:07:48 +000049 HexagonDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx,
50 MCInstrInfo const *MCII)
51 : MCDisassembler(STI, Ctx), MCII(MCII), CurrentBundle(new MCInst *) {}
NAKAMURA Takumi729be142014-10-27 12:37:26 +000052
Colin LeMahieu68d967d2015-05-29 14:44:13 +000053 DecodeStatus getSingleInstruction(MCInst &Instr, MCInst &MCB,
54 ArrayRef<uint8_t> Bytes, uint64_t Address,
55 raw_ostream &VStream, raw_ostream &CStream,
56 bool &Complete) const;
Rafael Espindola4aa6bea2014-11-10 18:11:10 +000057 DecodeStatus getInstruction(MCInst &Instr, uint64_t &Size,
Rafael Espindola7fc5b872014-11-12 02:04:27 +000058 ArrayRef<uint8_t> Bytes, uint64_t Address,
Rafael Espindola4aa6bea2014-11-10 18:11:10 +000059 raw_ostream &VStream,
60 raw_ostream &CStream) const override;
Colin LeMahieu7cd08922015-11-09 04:07:48 +000061 void addSubinstOperands(MCInst *MI, unsigned opcode, unsigned inst) const;
NAKAMURA Takumi729be142014-10-27 12:37:26 +000062};
Eugene Zelenko82085922016-12-13 22:13:50 +000063
64} // end anonymous namespace
NAKAMURA Takumi729be142014-10-27 12:37:26 +000065
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +000066static uint32_t fullValue(MCInstrInfo const &MCII, MCInst &MCB, MCInst &MI,
67 int64_t Value) {
68 MCInst const *Extender = HexagonMCInstrInfo::extenderForIndex(
69 MCB, HexagonMCInstrInfo::bundleSize(MCB));
70 if (!Extender || MI.size() != HexagonMCInstrInfo::getExtendableOp(MCII, MI))
71 return Value;
72 unsigned Alignment = HexagonMCInstrInfo::getExtentAlignment(MCII, MI);
73 uint32_t Lower6 = static_cast<uint32_t>(Value >> Alignment) & 0x3f;
74 int64_t Bits;
75 bool Success = Extender->getOperand(0).getExpr()->evaluateAsAbsolute(Bits);
76 assert(Success); (void)Success;
77 uint32_t Upper26 = static_cast<uint32_t>(Bits);
78 uint32_t Operand = Upper26 | Lower6;
79 return Operand;
80}
81
82static HexagonDisassembler const &disassembler(void const *Decoder) {
83 return *static_cast<HexagonDisassembler const *>(Decoder);
84}
85
86template <size_t T>
87static void signedDecoder(MCInst &MI, unsigned tmp, const void *Decoder) {
88 HexagonDisassembler const &Disassembler = disassembler(Decoder);
89 int64_t FullValue =
90 fullValue(*Disassembler.MCII, **Disassembler.CurrentBundle, MI,
91 SignExtend64<T>(tmp));
92 int64_t Extended = SignExtend64<32>(FullValue);
93 HexagonMCInstrInfo::addConstant(MI, Extended, Disassembler.getContext());
94}
95
Colin LeMahieu7cd08922015-11-09 04:07:48 +000096// Forward declare these because the auto-generated code will reference them.
97// Definitions are further down.
98
99static DecodeStatus DecodeIntRegsRegisterClass(MCInst &Inst, unsigned RegNo,
Colin LeMahieube8c4532015-06-05 16:00:11 +0000100 uint64_t Address,
101 const void *Decoder);
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000102static DecodeStatus DecodeGeneralSubRegsRegisterClass(MCInst &Inst,
103 unsigned RegNo,
104 uint64_t Address,
105 const void *Decoder);
Colin LeMahieu7c958712015-10-17 01:33:04 +0000106static DecodeStatus DecodeIntRegsLow8RegisterClass(MCInst &Inst, unsigned RegNo,
107 uint64_t Address,
108 const void *Decoder);
109static DecodeStatus DecodeVectorRegsRegisterClass(MCInst &Inst, unsigned RegNo,
110 uint64_t Address,
111 const void *Decoder);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000112static DecodeStatus DecodeDoubleRegsRegisterClass(MCInst &Inst, unsigned RegNo,
113 uint64_t Address,
114 const void *Decoder);
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000115static DecodeStatus
116DecodeGeneralDoubleLow8RegsRegisterClass(MCInst &Inst, unsigned RegNo,
117 uint64_t Address, const void *Decoder);
Colin LeMahieu7c958712015-10-17 01:33:04 +0000118static DecodeStatus DecodeVecDblRegsRegisterClass(MCInst &Inst, unsigned RegNo,
119 uint64_t Address,
120 const void *Decoder);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000121static DecodeStatus DecodePredRegsRegisterClass(MCInst &Inst, unsigned RegNo,
122 uint64_t Address,
123 const void *Decoder);
Colin LeMahieu7c958712015-10-17 01:33:04 +0000124static DecodeStatus DecodeVecPredRegsRegisterClass(MCInst &Inst, unsigned RegNo,
125 uint64_t Address,
126 const void *Decoder);
Colin LeMahieuf3db8842014-12-19 19:06:32 +0000127static DecodeStatus DecodeCtrRegsRegisterClass(MCInst &Inst, unsigned RegNo,
Colin LeMahieube8c4532015-06-05 16:00:11 +0000128 uint64_t Address,
129 const void *Decoder);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000130static DecodeStatus DecodeModRegsRegisterClass(MCInst &Inst, unsigned RegNo,
131 uint64_t Address,
132 const void *Decoder);
Colin LeMahieu404d5b22015-02-10 16:59:36 +0000133static DecodeStatus DecodeCtrRegs64RegisterClass(MCInst &Inst, unsigned RegNo,
Colin LeMahieube8c4532015-06-05 16:00:11 +0000134 uint64_t Address,
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000135 const void *Decoder);
136
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000137static DecodeStatus unsignedImmDecoder(MCInst &MI, unsigned tmp,
138 uint64_t Address, const void *Decoder);
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000139static DecodeStatus s32_0ImmDecoder(MCInst &MI, unsigned tmp,
140 uint64_t /*Address*/, const void *Decoder);
Krzysztof Parzyszek654dc112016-11-01 19:02:10 +0000141static DecodeStatus s8_0ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
Colin LeMahieu1e9d1d72015-06-10 16:52:32 +0000142 const void *Decoder);
143static DecodeStatus s6_0ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
144 const void *Decoder);
145static DecodeStatus s4_0ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
146 const void *Decoder);
147static DecodeStatus s4_1ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
148 const void *Decoder);
149static DecodeStatus s4_2ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
150 const void *Decoder);
151static DecodeStatus s4_3ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
152 const void *Decoder);
Krzysztof Parzyszek058abf1a2017-04-06 17:28:21 +0000153static DecodeStatus s3_0ImmDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
Colin LeMahieu7c958712015-10-17 01:33:04 +0000154 const void *Decoder);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000155static DecodeStatus brtargetDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
156 const void *Decoder);
Colin LeMahieuefa74e02014-11-18 20:28:11 +0000157
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000158#include "HexagonDepDecoders.h"
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000159#include "HexagonGenDisassemblerTables.inc"
160
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000161static MCDisassembler *createHexagonDisassembler(const Target &T,
162 const MCSubtargetInfo &STI,
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000163 MCContext &Ctx) {
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000164 return new HexagonDisassembler(STI, Ctx, T.createMCInstrInfo());
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000165}
166
167extern "C" void LLVMInitializeHexagonDisassembler() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000168 TargetRegistry::RegisterMCDisassembler(getTheHexagonTarget(),
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000169 createHexagonDisassembler);
170}
171
172DecodeStatus HexagonDisassembler::getInstruction(MCInst &MI, uint64_t &Size,
Rafael Espindola7fc5b872014-11-12 02:04:27 +0000173 ArrayRef<uint8_t> Bytes,
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000174 uint64_t Address,
175 raw_ostream &os,
176 raw_ostream &cs) const {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000177 DecodeStatus Result = DecodeStatus::Success;
178 bool Complete = false;
179 Size = 0;
Rafael Espindola4aa6bea2014-11-10 18:11:10 +0000180
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000181 *CurrentBundle = &MI;
Colin LeMahieuf0af6e52015-11-13 17:42:46 +0000182 MI = HexagonMCInstrInfo::createBundle();
Eugene Zelenko82085922016-12-13 22:13:50 +0000183 while (Result == Success && !Complete) {
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000184 if (Bytes.size() < HEXAGON_INSTR_SIZE)
185 return MCDisassembler::Fail;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000186 MCInst *Inst = new (getContext()) MCInst;
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000187 Result = getSingleInstruction(*Inst, MI, Bytes, Address, os, cs, Complete);
188 MI.addOperand(MCOperand::createInst(Inst));
189 Size += HEXAGON_INSTR_SIZE;
190 Bytes = Bytes.slice(HEXAGON_INSTR_SIZE);
191 }
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000192 if (Result == MCDisassembler::Fail)
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000193 return Result;
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000194 if (Size > HEXAGON_MAX_PACKET_SIZE)
195 return MCDisassembler::Fail;
Krzysztof Parzyszeke12d1e72017-05-01 19:41:43 +0000196 HexagonMCChecker Checker(getContext(), *MCII, STI, MI,
197 *getContext().getRegisterInfo(), false);
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000198 if (!Checker.check())
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000199 return MCDisassembler::Fail;
200 return MCDisassembler::Success;
201}
202
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +0000203static void adjustDuplex(MCInst &MI, MCContext &Context) {
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000204 switch (MI.getOpcode()) {
205 case Hexagon::SA1_setin1:
206 MI.insert(MI.begin() + 1,
207 MCOperand::createExpr(MCConstantExpr::create(-1, Context)));
208 break;
209 case Hexagon::SA1_dec:
210 MI.insert(MI.begin() + 2,
211 MCOperand::createExpr(MCConstantExpr::create(-1, Context)));
212 break;
213 default:
214 break;
215 }
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000216}
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000217
218DecodeStatus HexagonDisassembler::getSingleInstruction(
219 MCInst &MI, MCInst &MCB, ArrayRef<uint8_t> Bytes, uint64_t Address,
220 raw_ostream &os, raw_ostream &cs, bool &Complete) const {
221 assert(Bytes.size() >= HEXAGON_INSTR_SIZE);
222
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000223 uint32_t Instruction = support::endian::read32le(Bytes.data());
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000224
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000225 auto BundleSize = HexagonMCInstrInfo::bundleSize(MCB);
226 if ((Instruction & HexagonII::INST_PARSE_MASK) ==
227 HexagonII::INST_PARSE_LOOP_END) {
228 if (BundleSize == 0)
229 HexagonMCInstrInfo::setInnerLoop(MCB);
230 else if (BundleSize == 1)
231 HexagonMCInstrInfo::setOuterLoop(MCB);
232 else
233 return DecodeStatus::Fail;
234 }
235
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000236 MCInst const *Extender = HexagonMCInstrInfo::extenderForIndex(
237 MCB, HexagonMCInstrInfo::bundleSize(MCB));
238
239 DecodeStatus Result = DecodeStatus::Fail;
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000240 if ((Instruction & HexagonII::INST_PARSE_MASK) ==
Colin LeMahieube8c4532015-06-05 16:00:11 +0000241 HexagonII::INST_PARSE_DUPLEX) {
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000242 unsigned duplexIClass;
243 uint8_t const *DecodeLow, *DecodeHigh;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000244 duplexIClass = ((Instruction >> 28) & 0xe) | ((Instruction >> 13) & 0x1);
245 switch (duplexIClass) {
246 default:
247 return MCDisassembler::Fail;
248 case 0:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000249 DecodeLow = DecoderTableSUBINSN_L132;
250 DecodeHigh = DecoderTableSUBINSN_L132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000251 break;
252 case 1:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000253 DecodeLow = DecoderTableSUBINSN_L232;
254 DecodeHigh = DecoderTableSUBINSN_L132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000255 break;
256 case 2:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000257 DecodeLow = DecoderTableSUBINSN_L232;
258 DecodeHigh = DecoderTableSUBINSN_L232;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000259 break;
260 case 3:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000261 DecodeLow = DecoderTableSUBINSN_A32;
262 DecodeHigh = DecoderTableSUBINSN_A32;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000263 break;
264 case 4:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000265 DecodeLow = DecoderTableSUBINSN_L132;
266 DecodeHigh = DecoderTableSUBINSN_A32;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000267 break;
268 case 5:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000269 DecodeLow = DecoderTableSUBINSN_L232;
270 DecodeHigh = DecoderTableSUBINSN_A32;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000271 break;
272 case 6:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000273 DecodeLow = DecoderTableSUBINSN_S132;
274 DecodeHigh = DecoderTableSUBINSN_A32;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000275 break;
276 case 7:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000277 DecodeLow = DecoderTableSUBINSN_S232;
278 DecodeHigh = DecoderTableSUBINSN_A32;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000279 break;
280 case 8:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000281 DecodeLow = DecoderTableSUBINSN_S132;
282 DecodeHigh = DecoderTableSUBINSN_L132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000283 break;
284 case 9:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000285 DecodeLow = DecoderTableSUBINSN_S132;
286 DecodeHigh = DecoderTableSUBINSN_L232;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000287 break;
288 case 10:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000289 DecodeLow = DecoderTableSUBINSN_S132;
290 DecodeHigh = DecoderTableSUBINSN_S132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000291 break;
292 case 11:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000293 DecodeLow = DecoderTableSUBINSN_S232;
294 DecodeHigh = DecoderTableSUBINSN_S132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000295 break;
296 case 12:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000297 DecodeLow = DecoderTableSUBINSN_S232;
298 DecodeHigh = DecoderTableSUBINSN_L132;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000299 break;
300 case 13:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000301 DecodeLow = DecoderTableSUBINSN_S232;
302 DecodeHigh = DecoderTableSUBINSN_L232;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000303 break;
304 case 14:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000305 DecodeLow = DecoderTableSUBINSN_S232;
306 DecodeHigh = DecoderTableSUBINSN_S232;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000307 break;
308 }
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000309 MI.setOpcode(Hexagon::DuplexIClass0 + duplexIClass);
Colin LeMahieube8c4532015-06-05 16:00:11 +0000310 MCInst *MILow = new (getContext()) MCInst;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000311 MCInst *MIHigh = new (getContext()) MCInst;
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000312 Result = decodeInstruction(DecodeLow, *MILow, Instruction & 0x1fff, Address,
313 this, STI);
314 if (Result != DecodeStatus::Success)
315 return DecodeStatus::Fail;
316 adjustDuplex(*MILow, getContext());
317 Result = decodeInstruction(
318 DecodeHigh, *MIHigh, (Instruction >> 16) & 0x1fff, Address, this, STI);
319 if (Result != DecodeStatus::Success)
320 return DecodeStatus::Fail;
321 adjustDuplex(*MIHigh, getContext());
Colin LeMahieube8c4532015-06-05 16:00:11 +0000322 MCOperand OPLow = MCOperand::createInst(MILow);
323 MCOperand OPHigh = MCOperand::createInst(MIHigh);
324 MI.addOperand(OPLow);
325 MI.addOperand(OPHigh);
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000326 Complete = true;
Colin LeMahieube8c4532015-06-05 16:00:11 +0000327 } else {
328 if ((Instruction & HexagonII::INST_PARSE_MASK) ==
329 HexagonII::INST_PARSE_PACKET_END)
330 Complete = true;
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000331
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000332 if (Extender != nullptr)
333 Result = decodeInstruction(DecoderTableMustExtend32, MI, Instruction,
334 Address, this, STI);
335
336 if (Result != MCDisassembler::Success)
337 Result = decodeInstruction(DecoderTable32, MI, Instruction, Address, this,
338 STI);
339
340 if (Result != MCDisassembler::Success &&
341 STI.getFeatureBits()[Hexagon::ExtensionHVX])
342 Result = decodeInstruction(DecoderTableEXT_mmvec32, MI, Instruction,
343 Address, this, STI);
344
Colin LeMahieube8c4532015-06-05 16:00:11 +0000345 }
Colin LeMahieu68d967d2015-05-29 14:44:13 +0000346
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000347 switch (MI.getOpcode()) {
Colin LeMahieu81707542016-12-05 04:29:00 +0000348 case Hexagon::J4_cmpeqn1_f_jumpnv_nt:
349 case Hexagon::J4_cmpeqn1_f_jumpnv_t:
350 case Hexagon::J4_cmpeqn1_fp0_jump_nt:
351 case Hexagon::J4_cmpeqn1_fp0_jump_t:
352 case Hexagon::J4_cmpeqn1_fp1_jump_nt:
353 case Hexagon::J4_cmpeqn1_fp1_jump_t:
354 case Hexagon::J4_cmpeqn1_t_jumpnv_nt:
355 case Hexagon::J4_cmpeqn1_t_jumpnv_t:
356 case Hexagon::J4_cmpeqn1_tp0_jump_nt:
357 case Hexagon::J4_cmpeqn1_tp0_jump_t:
358 case Hexagon::J4_cmpeqn1_tp1_jump_nt:
359 case Hexagon::J4_cmpeqn1_tp1_jump_t:
360 case Hexagon::J4_cmpgtn1_f_jumpnv_nt:
361 case Hexagon::J4_cmpgtn1_f_jumpnv_t:
362 case Hexagon::J4_cmpgtn1_fp0_jump_nt:
363 case Hexagon::J4_cmpgtn1_fp0_jump_t:
364 case Hexagon::J4_cmpgtn1_fp1_jump_nt:
365 case Hexagon::J4_cmpgtn1_fp1_jump_t:
366 case Hexagon::J4_cmpgtn1_t_jumpnv_nt:
367 case Hexagon::J4_cmpgtn1_t_jumpnv_t:
368 case Hexagon::J4_cmpgtn1_tp0_jump_nt:
369 case Hexagon::J4_cmpgtn1_tp0_jump_t:
370 case Hexagon::J4_cmpgtn1_tp1_jump_nt:
371 case Hexagon::J4_cmpgtn1_tp1_jump_t:
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000372 MI.insert(MI.begin() + 1,
373 MCOperand::createExpr(MCConstantExpr::create(-1, getContext())));
Colin LeMahieu81707542016-12-05 04:29:00 +0000374 break;
375 default:
376 break;
377 }
378
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000379 if (HexagonMCInstrInfo::isNewValue(*MCII, MI)) {
380 unsigned OpIndex = HexagonMCInstrInfo::getNewValueOp(*MCII, MI);
381 MCOperand &MCO = MI.getOperand(OpIndex);
382 assert(MCO.isReg() && "New value consumers must be registers");
383 unsigned Register =
384 getContext().getRegisterInfo()->getEncodingValue(MCO.getReg());
385 if ((Register & 0x6) == 0)
386 // HexagonPRM 10.11 Bit 1-2 == 0 is reserved
387 return MCDisassembler::Fail;
388 unsigned Lookback = (Register & 0x6) >> 1;
389 unsigned Offset = 1;
390 bool Vector = HexagonMCInstrInfo::isVector(*MCII, MI);
391 auto Instructions = HexagonMCInstrInfo::bundleInstructions(**CurrentBundle);
392 auto i = Instructions.end() - 1;
393 for (auto n = Instructions.begin() - 1;; --i, ++Offset) {
394 if (i == n)
395 // Couldn't find producer
396 return MCDisassembler::Fail;
397 if (Vector && !HexagonMCInstrInfo::isVector(*MCII, *i->getInst()))
398 // Skip scalars when calculating distances for vectors
399 ++Lookback;
400 if (HexagonMCInstrInfo::isImmext(*i->getInst()))
401 ++Lookback;
402 if (Offset == Lookback)
403 break;
404 }
405 auto const &Inst = *i->getInst();
406 bool SubregBit = (Register & 0x1) != 0;
407 if (SubregBit && HexagonMCInstrInfo::hasNewValue2(*MCII, Inst)) {
408 // If subreg bit is set we're selecting the second produced newvalue
409 unsigned Producer =
410 HexagonMCInstrInfo::getNewValueOperand2(*MCII, Inst).getReg();
411 assert(Producer != Hexagon::NoRegister);
412 MCO.setReg(Producer);
413 } else if (HexagonMCInstrInfo::hasNewValue(*MCII, Inst)) {
414 unsigned Producer =
415 HexagonMCInstrInfo::getNewValueOperand(*MCII, Inst).getReg();
416 if (Producer >= Hexagon::W0 && Producer <= Hexagon::W15)
417 Producer = ((Producer - Hexagon::W0) << 1) + SubregBit + Hexagon::V0;
418 else if (SubregBit)
Colin LeMahieu2d497a02016-03-01 22:05:03 +0000419 // Hexagon PRM 10.11 New-value operands
420 // Nt[0] is reserved and should always be encoded as zero.
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000421 return MCDisassembler::Fail;
422 assert(Producer != Hexagon::NoRegister);
423 MCO.setReg(Producer);
424 } else
425 return MCDisassembler::Fail;
426 }
427
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000428 if (Extender != nullptr) {
429 MCInst const &Inst = HexagonMCInstrInfo::isDuplex(*MCII, MI)
430 ? *MI.getOperand(1).getInst()
431 : MI;
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000432 if (!HexagonMCInstrInfo::isExtendable(*MCII, Inst) &&
433 !HexagonMCInstrInfo::isExtended(*MCII, Inst))
434 return MCDisassembler::Fail;
435 }
Colin LeMahieu5d6f03b2014-12-04 03:41:21 +0000436 return Result;
NAKAMURA Takumi729be142014-10-27 12:37:26 +0000437}
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000438
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000439static DecodeStatus DecodeRegisterClass(MCInst &Inst, unsigned RegNo,
Craig Toppere5e035a32015-12-05 07:13:35 +0000440 ArrayRef<MCPhysReg> Table) {
Craig Topper3da000c2015-12-01 06:13:04 +0000441 if (RegNo < Table.size()) {
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000442 Inst.addOperand(MCOperand::createReg(Table[RegNo]));
443 return MCDisassembler::Success;
Craig Topper3da000c2015-12-01 06:13:04 +0000444 }
445
446 return MCDisassembler::Fail;
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000447}
448
Colin LeMahieu7c958712015-10-17 01:33:04 +0000449static DecodeStatus DecodeIntRegsLow8RegisterClass(MCInst &Inst, unsigned RegNo,
450 uint64_t Address,
451 const void *Decoder) {
452 return DecodeIntRegsRegisterClass(Inst, RegNo, Address, Decoder);
453}
454
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000455static DecodeStatus DecodeIntRegsRegisterClass(MCInst &Inst, unsigned RegNo,
456 uint64_t Address,
457 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000458 static const MCPhysReg IntRegDecoderTable[] = {
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000459 Hexagon::R0, Hexagon::R1, Hexagon::R2, Hexagon::R3, Hexagon::R4,
460 Hexagon::R5, Hexagon::R6, Hexagon::R7, Hexagon::R8, Hexagon::R9,
461 Hexagon::R10, Hexagon::R11, Hexagon::R12, Hexagon::R13, Hexagon::R14,
462 Hexagon::R15, Hexagon::R16, Hexagon::R17, Hexagon::R18, Hexagon::R19,
463 Hexagon::R20, Hexagon::R21, Hexagon::R22, Hexagon::R23, Hexagon::R24,
464 Hexagon::R25, Hexagon::R26, Hexagon::R27, Hexagon::R28, Hexagon::R29,
465 Hexagon::R30, Hexagon::R31};
466
Craig Toppere5e035a32015-12-05 07:13:35 +0000467 return DecodeRegisterClass(Inst, RegNo, IntRegDecoderTable);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000468}
Colin LeMahieu7c958712015-10-17 01:33:04 +0000469
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000470static DecodeStatus DecodeGeneralSubRegsRegisterClass(MCInst &Inst,
471 unsigned RegNo,
472 uint64_t Address,
473 const void *Decoder) {
474 static const MCPhysReg GeneralSubRegDecoderTable[] = {
475 Hexagon::R0, Hexagon::R1, Hexagon::R2, Hexagon::R3,
476 Hexagon::R4, Hexagon::R5, Hexagon::R6, Hexagon::R7,
477 Hexagon::R16, Hexagon::R17, Hexagon::R18, Hexagon::R19,
478 Hexagon::R20, Hexagon::R21, Hexagon::R22, Hexagon::R23,
479 };
480
481 return DecodeRegisterClass(Inst, RegNo, GeneralSubRegDecoderTable);
482}
483
Colin LeMahieu7c958712015-10-17 01:33:04 +0000484static DecodeStatus DecodeVectorRegsRegisterClass(MCInst &Inst, unsigned RegNo,
485 uint64_t /*Address*/,
486 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000487 static const MCPhysReg VecRegDecoderTable[] = {
Colin LeMahieu7c958712015-10-17 01:33:04 +0000488 Hexagon::V0, Hexagon::V1, Hexagon::V2, Hexagon::V3, Hexagon::V4,
489 Hexagon::V5, Hexagon::V6, Hexagon::V7, Hexagon::V8, Hexagon::V9,
490 Hexagon::V10, Hexagon::V11, Hexagon::V12, Hexagon::V13, Hexagon::V14,
491 Hexagon::V15, Hexagon::V16, Hexagon::V17, Hexagon::V18, Hexagon::V19,
492 Hexagon::V20, Hexagon::V21, Hexagon::V22, Hexagon::V23, Hexagon::V24,
493 Hexagon::V25, Hexagon::V26, Hexagon::V27, Hexagon::V28, Hexagon::V29,
494 Hexagon::V30, Hexagon::V31};
495
Craig Toppere5e035a32015-12-05 07:13:35 +0000496 return DecodeRegisterClass(Inst, RegNo, VecRegDecoderTable);
Colin LeMahieu7c958712015-10-17 01:33:04 +0000497}
498
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000499static DecodeStatus DecodeDoubleRegsRegisterClass(MCInst &Inst, unsigned RegNo,
500 uint64_t /*Address*/,
501 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000502 static const MCPhysReg DoubleRegDecoderTable[] = {
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000503 Hexagon::D0, Hexagon::D1, Hexagon::D2, Hexagon::D3,
504 Hexagon::D4, Hexagon::D5, Hexagon::D6, Hexagon::D7,
505 Hexagon::D8, Hexagon::D9, Hexagon::D10, Hexagon::D11,
506 Hexagon::D12, Hexagon::D13, Hexagon::D14, Hexagon::D15};
507
Craig Toppere5e035a32015-12-05 07:13:35 +0000508 return DecodeRegisterClass(Inst, RegNo >> 1, DoubleRegDecoderTable);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000509}
510
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000511static DecodeStatus DecodeGeneralDoubleLow8RegsRegisterClass(
512 MCInst &Inst, unsigned RegNo, uint64_t /*Address*/, const void *Decoder) {
513 static const MCPhysReg GeneralDoubleLow8RegDecoderTable[] = {
514 Hexagon::D0, Hexagon::D1, Hexagon::D2, Hexagon::D3,
515 Hexagon::D8, Hexagon::D9, Hexagon::D10, Hexagon::D11};
516
517 return DecodeRegisterClass(Inst, RegNo, GeneralDoubleLow8RegDecoderTable);
518}
519
Colin LeMahieu7c958712015-10-17 01:33:04 +0000520static DecodeStatus DecodeVecDblRegsRegisterClass(MCInst &Inst, unsigned RegNo,
521 uint64_t /*Address*/,
522 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000523 static const MCPhysReg VecDblRegDecoderTable[] = {
Colin LeMahieu7c958712015-10-17 01:33:04 +0000524 Hexagon::W0, Hexagon::W1, Hexagon::W2, Hexagon::W3,
525 Hexagon::W4, Hexagon::W5, Hexagon::W6, Hexagon::W7,
526 Hexagon::W8, Hexagon::W9, Hexagon::W10, Hexagon::W11,
527 Hexagon::W12, Hexagon::W13, Hexagon::W14, Hexagon::W15};
528
Craig Topper3da000c2015-12-01 06:13:04 +0000529 return (DecodeRegisterClass(Inst, RegNo >> 1, VecDblRegDecoderTable));
Colin LeMahieu7c958712015-10-17 01:33:04 +0000530}
531
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000532static DecodeStatus DecodePredRegsRegisterClass(MCInst &Inst, unsigned RegNo,
533 uint64_t /*Address*/,
534 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000535 static const MCPhysReg PredRegDecoderTable[] = {Hexagon::P0, Hexagon::P1,
536 Hexagon::P2, Hexagon::P3};
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000537
Craig Toppere5e035a32015-12-05 07:13:35 +0000538 return DecodeRegisterClass(Inst, RegNo, PredRegDecoderTable);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000539}
540
Colin LeMahieu7c958712015-10-17 01:33:04 +0000541static DecodeStatus DecodeVecPredRegsRegisterClass(MCInst &Inst, unsigned RegNo,
542 uint64_t /*Address*/,
543 const void *Decoder) {
Craig Toppere5e035a32015-12-05 07:13:35 +0000544 static const MCPhysReg VecPredRegDecoderTable[] = {Hexagon::Q0, Hexagon::Q1,
545 Hexagon::Q2, Hexagon::Q3};
Colin LeMahieu7c958712015-10-17 01:33:04 +0000546
Craig Toppere5e035a32015-12-05 07:13:35 +0000547 return DecodeRegisterClass(Inst, RegNo, VecPredRegDecoderTable);
Colin LeMahieu7c958712015-10-17 01:33:04 +0000548}
Colin LeMahieube8c4532015-06-05 16:00:11 +0000549
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000550static DecodeStatus DecodeCtrRegsRegisterClass(MCInst &Inst, unsigned RegNo,
551 uint64_t /*Address*/,
552 const void *Decoder) {
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000553 using namespace Hexagon;
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +0000554
Craig Toppere5e035a32015-12-05 07:13:35 +0000555 static const MCPhysReg CtrlRegDecoderTable[] = {
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000556 /* 0 */ SA0, LC0, SA1, LC1,
Krzysztof Parzyszeke2603322017-05-05 22:12:12 +0000557 /* 4 */ P3_0, C5, M0, M1,
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000558 /* 8 */ USR, PC, UGP, GP,
Krzysztof Parzyszekab57c2b2017-02-22 22:28:47 +0000559 /* 12 */ CS0, CS1, UPCYCLELO, UPCYCLEHI,
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000560 /* 16 */ FRAMELIMIT, FRAMEKEY, PKTCOUNTLO, PKTCOUNTHI,
561 /* 20 */ 0, 0, 0, 0,
562 /* 24 */ 0, 0, 0, 0,
563 /* 28 */ 0, 0, UTIMERLO, UTIMERHI
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000564 };
565
Craig Topper6261e1b2015-12-01 06:13:06 +0000566 if (RegNo >= array_lengthof(CtrlRegDecoderTable))
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000567 return MCDisassembler::Fail;
568
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000569 static_assert(NoRegister == 0, "Expecting NoRegister to be 0");
570 if (CtrlRegDecoderTable[RegNo] == NoRegister)
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000571 return MCDisassembler::Fail;
572
573 unsigned Register = CtrlRegDecoderTable[RegNo];
574 Inst.addOperand(MCOperand::createReg(Register));
575 return MCDisassembler::Success;
576}
577
578static DecodeStatus DecodeCtrRegs64RegisterClass(MCInst &Inst, unsigned RegNo,
579 uint64_t /*Address*/,
580 const void *Decoder) {
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000581 using namespace Hexagon;
Eugene Zelenkoe4fc6ee2017-07-26 23:20:35 +0000582
Craig Toppere5e035a32015-12-05 07:13:35 +0000583 static const MCPhysReg CtrlReg64DecoderTable[] = {
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000584 /* 0 */ C1_0, 0, C3_2, 0,
585 /* 4 */ C5_4, 0, C7_6, 0,
586 /* 8 */ C9_8, 0, C11_10, 0,
Krzysztof Parzyszekab57c2b2017-02-22 22:28:47 +0000587 /* 12 */ CS, 0, UPCYCLE, 0,
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000588 /* 16 */ C17_16, 0, PKTCOUNT, 0,
589 /* 20 */ 0, 0, 0, 0,
590 /* 24 */ 0, 0, 0, 0,
591 /* 28 */ 0, 0, UTIMER, 0
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000592 };
593
Craig Topper6261e1b2015-12-01 06:13:06 +0000594 if (RegNo >= array_lengthof(CtrlReg64DecoderTable))
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000595 return MCDisassembler::Fail;
596
Krzysztof Parzyszekf9015e62017-02-10 23:46:45 +0000597 static_assert(NoRegister == 0, "Expecting NoRegister to be 0");
598 if (CtrlReg64DecoderTable[RegNo] == NoRegister)
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000599 return MCDisassembler::Fail;
600
601 unsigned Register = CtrlReg64DecoderTable[RegNo];
602 Inst.addOperand(MCOperand::createReg(Register));
603 return MCDisassembler::Success;
604}
605
606static DecodeStatus DecodeModRegsRegisterClass(MCInst &Inst, unsigned RegNo,
607 uint64_t /*Address*/,
608 const void *Decoder) {
609 unsigned Register = 0;
610 switch (RegNo) {
611 case 0:
612 Register = Hexagon::M0;
613 break;
614 case 1:
615 Register = Hexagon::M1;
616 break;
617 default:
618 return MCDisassembler::Fail;
619 }
620 Inst.addOperand(MCOperand::createReg(Register));
621 return MCDisassembler::Success;
622}
623
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000624static DecodeStatus unsignedImmDecoder(MCInst &MI, unsigned tmp,
625 uint64_t /*Address*/,
626 const void *Decoder) {
627 HexagonDisassembler const &Disassembler = disassembler(Decoder);
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000628 int64_t FullValue =
629 fullValue(*Disassembler.MCII, **Disassembler.CurrentBundle, MI, tmp);
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000630 assert(FullValue >= 0 && "Negative in unsigned decoder");
631 HexagonMCInstrInfo::addConstant(MI, FullValue, Disassembler.getContext());
632 return MCDisassembler::Success;
633}
634
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000635static DecodeStatus s32_0ImmDecoder(MCInst &MI, unsigned tmp,
636 uint64_t /*Address*/, const void *Decoder) {
637 HexagonDisassembler const &Disassembler = disassembler(Decoder);
638 unsigned Bits = HexagonMCInstrInfo::getExtentBits(*Disassembler.MCII, MI);
639 tmp = SignExtend64(tmp, Bits);
640 signedDecoder<32>(MI, tmp, Decoder);
641 return MCDisassembler::Success;
642}
643
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000644// custom decoder for various jump/call immediates
645static DecodeStatus brtargetDecoder(MCInst &MI, unsigned tmp, uint64_t Address,
646 const void *Decoder) {
647 HexagonDisassembler const &Disassembler = disassembler(Decoder);
648 unsigned Bits = HexagonMCInstrInfo::getExtentBits(*Disassembler.MCII, MI);
649 // r13_2 is not extendable, so if there are no extent bits, it's r13_2
650 if (Bits == 0)
651 Bits = 15;
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000652 uint32_t FullValue =
653 fullValue(*Disassembler.MCII, **Disassembler.CurrentBundle, MI,
654 SignExtend64(tmp, Bits));
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000655 int64_t Extended = SignExtend64<32>(FullValue) + Address;
Krzysztof Parzyszeka72fad92017-02-10 15:33:13 +0000656 if (!Disassembler.tryAddingSymbolicOperand(MI, Extended, Address, true, 0, 4))
Colin LeMahieu7cd08922015-11-09 04:07:48 +0000657 HexagonMCInstrInfo::addConstant(MI, Extended, Disassembler.getContext());
658 return MCDisassembler::Success;
659}