109467b48Spatrick //===-- MSP430Disassembler.cpp - Disassembler for MSP430 ------------------===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick //
909467b48Spatrick // This file implements the MSP430Disassembler class.
1009467b48Spatrick //
1109467b48Spatrick //===----------------------------------------------------------------------===//
1209467b48Spatrick
1309467b48Spatrick #include "MCTargetDesc/MSP430MCTargetDesc.h"
14*d415bd75Srobert #include "MSP430.h"
1509467b48Spatrick #include "TargetInfo/MSP430TargetInfo.h"
1609467b48Spatrick #include "llvm/MC/MCContext.h"
17*d415bd75Srobert #include "llvm/MC/MCDecoderOps.h"
1809467b48Spatrick #include "llvm/MC/MCDisassembler/MCDisassembler.h"
1909467b48Spatrick #include "llvm/MC/MCInst.h"
2009467b48Spatrick #include "llvm/MC/MCRegisterInfo.h"
2109467b48Spatrick #include "llvm/MC/MCSubtargetInfo.h"
22*d415bd75Srobert #include "llvm/MC/TargetRegistry.h"
2309467b48Spatrick #include "llvm/Support/Endian.h"
2409467b48Spatrick
2509467b48Spatrick using namespace llvm;
2609467b48Spatrick
2709467b48Spatrick #define DEBUG_TYPE "msp430-disassembler"
2809467b48Spatrick
2909467b48Spatrick typedef MCDisassembler::DecodeStatus DecodeStatus;
3009467b48Spatrick
3109467b48Spatrick namespace {
3209467b48Spatrick class MSP430Disassembler : public MCDisassembler {
3309467b48Spatrick DecodeStatus getInstructionI(MCInst &MI, uint64_t &Size,
3409467b48Spatrick ArrayRef<uint8_t> Bytes, uint64_t Address,
3509467b48Spatrick raw_ostream &CStream) const;
3609467b48Spatrick
3709467b48Spatrick DecodeStatus getInstructionII(MCInst &MI, uint64_t &Size,
3809467b48Spatrick ArrayRef<uint8_t> Bytes, uint64_t Address,
3909467b48Spatrick raw_ostream &CStream) const;
4009467b48Spatrick
4109467b48Spatrick DecodeStatus getInstructionCJ(MCInst &MI, uint64_t &Size,
4209467b48Spatrick ArrayRef<uint8_t> Bytes, uint64_t Address,
4309467b48Spatrick raw_ostream &CStream) const;
4409467b48Spatrick
4509467b48Spatrick public:
MSP430Disassembler(const MCSubtargetInfo & STI,MCContext & Ctx)4609467b48Spatrick MSP430Disassembler(const MCSubtargetInfo &STI, MCContext &Ctx)
4709467b48Spatrick : MCDisassembler(STI, Ctx) {}
4809467b48Spatrick
4909467b48Spatrick DecodeStatus getInstruction(MCInst &MI, uint64_t &Size,
5009467b48Spatrick ArrayRef<uint8_t> Bytes, uint64_t Address,
5109467b48Spatrick raw_ostream &CStream) const override;
5209467b48Spatrick };
5309467b48Spatrick } // end anonymous namespace
5409467b48Spatrick
createMSP430Disassembler(const Target & T,const MCSubtargetInfo & STI,MCContext & Ctx)5509467b48Spatrick static MCDisassembler *createMSP430Disassembler(const Target &T,
5609467b48Spatrick const MCSubtargetInfo &STI,
5709467b48Spatrick MCContext &Ctx) {
5809467b48Spatrick return new MSP430Disassembler(STI, Ctx);
5909467b48Spatrick }
6009467b48Spatrick
LLVMInitializeMSP430Disassembler()6109467b48Spatrick extern "C" LLVM_EXTERNAL_VISIBILITY void LLVMInitializeMSP430Disassembler() {
6209467b48Spatrick TargetRegistry::RegisterMCDisassembler(getTheMSP430Target(),
6309467b48Spatrick createMSP430Disassembler);
6409467b48Spatrick }
6509467b48Spatrick
6609467b48Spatrick static const unsigned GR8DecoderTable[] = {
6709467b48Spatrick MSP430::PCB, MSP430::SPB, MSP430::SRB, MSP430::CGB,
68097a140dSpatrick MSP430::R4B, MSP430::R5B, MSP430::R6B, MSP430::R7B,
6909467b48Spatrick MSP430::R8B, MSP430::R9B, MSP430::R10B, MSP430::R11B,
7009467b48Spatrick MSP430::R12B, MSP430::R13B, MSP430::R14B, MSP430::R15B
7109467b48Spatrick };
7209467b48Spatrick
DecodeGR8RegisterClass(MCInst & MI,uint64_t RegNo,uint64_t Address,const MCDisassembler * Decoder)7309467b48Spatrick static DecodeStatus DecodeGR8RegisterClass(MCInst &MI, uint64_t RegNo,
7409467b48Spatrick uint64_t Address,
75*d415bd75Srobert const MCDisassembler *Decoder) {
7609467b48Spatrick if (RegNo > 15)
7709467b48Spatrick return MCDisassembler::Fail;
7809467b48Spatrick
7909467b48Spatrick unsigned Reg = GR8DecoderTable[RegNo];
8009467b48Spatrick MI.addOperand(MCOperand::createReg(Reg));
8109467b48Spatrick return MCDisassembler::Success;
8209467b48Spatrick }
8309467b48Spatrick
8409467b48Spatrick static const unsigned GR16DecoderTable[] = {
8509467b48Spatrick MSP430::PC, MSP430::SP, MSP430::SR, MSP430::CG,
86097a140dSpatrick MSP430::R4, MSP430::R5, MSP430::R6, MSP430::R7,
8709467b48Spatrick MSP430::R8, MSP430::R9, MSP430::R10, MSP430::R11,
8809467b48Spatrick MSP430::R12, MSP430::R13, MSP430::R14, MSP430::R15
8909467b48Spatrick };
9009467b48Spatrick
DecodeGR16RegisterClass(MCInst & MI,uint64_t RegNo,uint64_t Address,const MCDisassembler * Decoder)9109467b48Spatrick static DecodeStatus DecodeGR16RegisterClass(MCInst &MI, uint64_t RegNo,
9209467b48Spatrick uint64_t Address,
93*d415bd75Srobert const MCDisassembler *Decoder) {
9409467b48Spatrick if (RegNo > 15)
9509467b48Spatrick return MCDisassembler::Fail;
9609467b48Spatrick
9709467b48Spatrick unsigned Reg = GR16DecoderTable[RegNo];
9809467b48Spatrick MI.addOperand(MCOperand::createReg(Reg));
9909467b48Spatrick return MCDisassembler::Success;
10009467b48Spatrick }
10109467b48Spatrick
10209467b48Spatrick static DecodeStatus DecodeCGImm(MCInst &MI, uint64_t Bits, uint64_t Address,
103*d415bd75Srobert const MCDisassembler *Decoder);
10409467b48Spatrick
10509467b48Spatrick static DecodeStatus DecodeMemOperand(MCInst &MI, uint64_t Bits,
10609467b48Spatrick uint64_t Address,
107*d415bd75Srobert const MCDisassembler *Decoder);
10809467b48Spatrick
10909467b48Spatrick #include "MSP430GenDisassemblerTables.inc"
11009467b48Spatrick
DecodeCGImm(MCInst & MI,uint64_t Bits,uint64_t Address,const MCDisassembler * Decoder)11109467b48Spatrick static DecodeStatus DecodeCGImm(MCInst &MI, uint64_t Bits, uint64_t Address,
112*d415bd75Srobert const MCDisassembler *Decoder) {
11309467b48Spatrick int64_t Imm;
11409467b48Spatrick switch (Bits) {
11509467b48Spatrick default:
11609467b48Spatrick llvm_unreachable("Invalid immediate value");
11709467b48Spatrick case 0x22: Imm = 4; break;
11809467b48Spatrick case 0x32: Imm = 8; break;
11909467b48Spatrick case 0x03: Imm = 0; break;
12009467b48Spatrick case 0x13: Imm = 1; break;
12109467b48Spatrick case 0x23: Imm = 2; break;
12209467b48Spatrick case 0x33: Imm = -1; break;
12309467b48Spatrick }
12409467b48Spatrick MI.addOperand(MCOperand::createImm(Imm));
12509467b48Spatrick return MCDisassembler::Success;
12609467b48Spatrick }
12709467b48Spatrick
DecodeMemOperand(MCInst & MI,uint64_t Bits,uint64_t Address,const MCDisassembler * Decoder)12809467b48Spatrick static DecodeStatus DecodeMemOperand(MCInst &MI, uint64_t Bits,
12909467b48Spatrick uint64_t Address,
130*d415bd75Srobert const MCDisassembler *Decoder) {
13109467b48Spatrick unsigned Reg = Bits & 15;
13209467b48Spatrick unsigned Imm = Bits >> 4;
13309467b48Spatrick
13409467b48Spatrick if (DecodeGR16RegisterClass(MI, Reg, Address, Decoder) !=
13509467b48Spatrick MCDisassembler::Success)
13609467b48Spatrick return MCDisassembler::Fail;
13709467b48Spatrick
13809467b48Spatrick MI.addOperand(MCOperand::createImm((int16_t)Imm));
13909467b48Spatrick return MCDisassembler::Success;
14009467b48Spatrick }
14109467b48Spatrick
14209467b48Spatrick enum AddrMode {
14309467b48Spatrick amInvalid = 0,
14409467b48Spatrick amRegister,
14509467b48Spatrick amIndexed,
14609467b48Spatrick amIndirect,
14709467b48Spatrick amIndirectPost,
14809467b48Spatrick amSymbolic,
14909467b48Spatrick amImmediate,
15009467b48Spatrick amAbsolute,
15109467b48Spatrick amConstant
15209467b48Spatrick };
15309467b48Spatrick
DecodeSrcAddrMode(unsigned Rs,unsigned As)15409467b48Spatrick static AddrMode DecodeSrcAddrMode(unsigned Rs, unsigned As) {
15509467b48Spatrick switch (Rs) {
15609467b48Spatrick case 0:
15709467b48Spatrick if (As == 1) return amSymbolic;
15809467b48Spatrick if (As == 2) return amInvalid;
15909467b48Spatrick if (As == 3) return amImmediate;
16009467b48Spatrick break;
16109467b48Spatrick case 2:
16209467b48Spatrick if (As == 1) return amAbsolute;
16309467b48Spatrick if (As == 2) return amConstant;
16409467b48Spatrick if (As == 3) return amConstant;
16509467b48Spatrick break;
16609467b48Spatrick case 3:
16709467b48Spatrick return amConstant;
16809467b48Spatrick default:
16909467b48Spatrick break;
17009467b48Spatrick }
17109467b48Spatrick switch (As) {
17209467b48Spatrick case 0: return amRegister;
17309467b48Spatrick case 1: return amIndexed;
17409467b48Spatrick case 2: return amIndirect;
17509467b48Spatrick case 3: return amIndirectPost;
17609467b48Spatrick default:
17709467b48Spatrick llvm_unreachable("As out of range");
17809467b48Spatrick }
17909467b48Spatrick }
18009467b48Spatrick
DecodeSrcAddrModeI(unsigned Insn)18109467b48Spatrick static AddrMode DecodeSrcAddrModeI(unsigned Insn) {
18209467b48Spatrick unsigned Rs = fieldFromInstruction(Insn, 8, 4);
18309467b48Spatrick unsigned As = fieldFromInstruction(Insn, 4, 2);
18409467b48Spatrick return DecodeSrcAddrMode(Rs, As);
18509467b48Spatrick }
18609467b48Spatrick
DecodeSrcAddrModeII(unsigned Insn)18709467b48Spatrick static AddrMode DecodeSrcAddrModeII(unsigned Insn) {
18809467b48Spatrick unsigned Rs = fieldFromInstruction(Insn, 0, 4);
18909467b48Spatrick unsigned As = fieldFromInstruction(Insn, 4, 2);
19009467b48Spatrick return DecodeSrcAddrMode(Rs, As);
19109467b48Spatrick }
19209467b48Spatrick
DecodeDstAddrMode(unsigned Insn)19309467b48Spatrick static AddrMode DecodeDstAddrMode(unsigned Insn) {
19409467b48Spatrick unsigned Rd = fieldFromInstruction(Insn, 0, 4);
19509467b48Spatrick unsigned Ad = fieldFromInstruction(Insn, 7, 1);
19609467b48Spatrick switch (Rd) {
19709467b48Spatrick case 0: return Ad ? amSymbolic : amRegister;
19809467b48Spatrick case 2: return Ad ? amAbsolute : amRegister;
19909467b48Spatrick default:
20009467b48Spatrick break;
20109467b48Spatrick }
20209467b48Spatrick return Ad ? amIndexed : amRegister;
20309467b48Spatrick }
20409467b48Spatrick
getDecoderTable(AddrMode SrcAM,unsigned Words)20509467b48Spatrick static const uint8_t *getDecoderTable(AddrMode SrcAM, unsigned Words) {
20609467b48Spatrick assert(0 < Words && Words < 4 && "Incorrect number of words");
20709467b48Spatrick switch (SrcAM) {
20809467b48Spatrick default:
20909467b48Spatrick llvm_unreachable("Invalid addressing mode");
21009467b48Spatrick case amRegister:
21109467b48Spatrick assert(Words < 3 && "Incorrect number of words");
21209467b48Spatrick return Words == 2 ? DecoderTableAlpha32 : DecoderTableAlpha16;
21309467b48Spatrick case amConstant:
21409467b48Spatrick assert(Words < 3 && "Incorrect number of words");
21509467b48Spatrick return Words == 2 ? DecoderTableBeta32 : DecoderTableBeta16;
21609467b48Spatrick case amIndexed:
21709467b48Spatrick case amSymbolic:
21809467b48Spatrick case amImmediate:
21909467b48Spatrick case amAbsolute:
22009467b48Spatrick assert(Words > 1 && "Incorrect number of words");
22109467b48Spatrick return Words == 2 ? DecoderTableGamma32 : DecoderTableGamma48;
22209467b48Spatrick case amIndirect:
22309467b48Spatrick case amIndirectPost:
22409467b48Spatrick assert(Words < 3 && "Incorrect number of words");
22509467b48Spatrick return Words == 2 ? DecoderTableDelta32 : DecoderTableDelta16;
22609467b48Spatrick }
22709467b48Spatrick }
22809467b48Spatrick
getInstructionI(MCInst & MI,uint64_t & Size,ArrayRef<uint8_t> Bytes,uint64_t Address,raw_ostream & CStream) const22909467b48Spatrick DecodeStatus MSP430Disassembler::getInstructionI(MCInst &MI, uint64_t &Size,
23009467b48Spatrick ArrayRef<uint8_t> Bytes,
23109467b48Spatrick uint64_t Address,
23209467b48Spatrick raw_ostream &CStream) const {
23309467b48Spatrick uint64_t Insn = support::endian::read16le(Bytes.data());
23409467b48Spatrick AddrMode SrcAM = DecodeSrcAddrModeI(Insn);
23509467b48Spatrick AddrMode DstAM = DecodeDstAddrMode(Insn);
23609467b48Spatrick if (SrcAM == amInvalid || DstAM == amInvalid) {
23709467b48Spatrick Size = 2; // skip one word and let disassembler to try further
23809467b48Spatrick return MCDisassembler::Fail;
23909467b48Spatrick }
24009467b48Spatrick
24109467b48Spatrick unsigned Words = 1;
24209467b48Spatrick switch (SrcAM) {
24309467b48Spatrick case amIndexed:
24409467b48Spatrick case amSymbolic:
24509467b48Spatrick case amImmediate:
24609467b48Spatrick case amAbsolute:
24709467b48Spatrick if (Bytes.size() < (Words + 1) * 2) {
24809467b48Spatrick Size = 2;
24909467b48Spatrick return DecodeStatus::Fail;
25009467b48Spatrick }
25109467b48Spatrick Insn |= (uint64_t)support::endian::read16le(Bytes.data() + 2) << 16;
25209467b48Spatrick ++Words;
25309467b48Spatrick break;
25409467b48Spatrick default:
25509467b48Spatrick break;
25609467b48Spatrick }
25709467b48Spatrick switch (DstAM) {
25809467b48Spatrick case amIndexed:
25909467b48Spatrick case amSymbolic:
26009467b48Spatrick case amAbsolute:
26109467b48Spatrick if (Bytes.size() < (Words + 1) * 2) {
26209467b48Spatrick Size = 2;
26309467b48Spatrick return DecodeStatus::Fail;
26409467b48Spatrick }
26509467b48Spatrick Insn |= (uint64_t)support::endian::read16le(Bytes.data() + Words * 2)
26609467b48Spatrick << (Words * 16);
26709467b48Spatrick ++Words;
26809467b48Spatrick break;
26909467b48Spatrick default:
27009467b48Spatrick break;
27109467b48Spatrick }
27209467b48Spatrick
27309467b48Spatrick DecodeStatus Result = decodeInstruction(getDecoderTable(SrcAM, Words), MI,
27409467b48Spatrick Insn, Address, this, STI);
27509467b48Spatrick if (Result != MCDisassembler::Fail) {
27609467b48Spatrick Size = Words * 2;
27709467b48Spatrick return Result;
27809467b48Spatrick }
27909467b48Spatrick
28009467b48Spatrick Size = 2;
28109467b48Spatrick return DecodeStatus::Fail;
28209467b48Spatrick }
28309467b48Spatrick
getInstructionII(MCInst & MI,uint64_t & Size,ArrayRef<uint8_t> Bytes,uint64_t Address,raw_ostream & CStream) const28409467b48Spatrick DecodeStatus MSP430Disassembler::getInstructionII(MCInst &MI, uint64_t &Size,
28509467b48Spatrick ArrayRef<uint8_t> Bytes,
28609467b48Spatrick uint64_t Address,
28709467b48Spatrick raw_ostream &CStream) const {
28809467b48Spatrick uint64_t Insn = support::endian::read16le(Bytes.data());
28909467b48Spatrick AddrMode SrcAM = DecodeSrcAddrModeII(Insn);
29009467b48Spatrick if (SrcAM == amInvalid) {
29109467b48Spatrick Size = 2; // skip one word and let disassembler to try further
29209467b48Spatrick return MCDisassembler::Fail;
29309467b48Spatrick }
29409467b48Spatrick
29509467b48Spatrick unsigned Words = 1;
29609467b48Spatrick switch (SrcAM) {
29709467b48Spatrick case amIndexed:
29809467b48Spatrick case amSymbolic:
29909467b48Spatrick case amImmediate:
30009467b48Spatrick case amAbsolute:
30109467b48Spatrick if (Bytes.size() < (Words + 1) * 2) {
30209467b48Spatrick Size = 2;
30309467b48Spatrick return DecodeStatus::Fail;
30409467b48Spatrick }
30509467b48Spatrick Insn |= (uint64_t)support::endian::read16le(Bytes.data() + 2) << 16;
30609467b48Spatrick ++Words;
30709467b48Spatrick break;
30809467b48Spatrick default:
30909467b48Spatrick break;
31009467b48Spatrick }
31109467b48Spatrick
31209467b48Spatrick const uint8_t *DecoderTable = Words == 2 ? DecoderTable32 : DecoderTable16;
31309467b48Spatrick DecodeStatus Result = decodeInstruction(DecoderTable, MI, Insn, Address,
31409467b48Spatrick this, STI);
31509467b48Spatrick if (Result != MCDisassembler::Fail) {
31609467b48Spatrick Size = Words * 2;
31709467b48Spatrick return Result;
31809467b48Spatrick }
31909467b48Spatrick
32009467b48Spatrick Size = 2;
32109467b48Spatrick return DecodeStatus::Fail;
32209467b48Spatrick }
32309467b48Spatrick
getCondCode(unsigned Cond)32409467b48Spatrick static MSP430CC::CondCodes getCondCode(unsigned Cond) {
32509467b48Spatrick switch (Cond) {
32609467b48Spatrick case 0: return MSP430CC::COND_NE;
32709467b48Spatrick case 1: return MSP430CC::COND_E;
32809467b48Spatrick case 2: return MSP430CC::COND_LO;
32909467b48Spatrick case 3: return MSP430CC::COND_HS;
33009467b48Spatrick case 4: return MSP430CC::COND_N;
33109467b48Spatrick case 5: return MSP430CC::COND_GE;
33209467b48Spatrick case 6: return MSP430CC::COND_L;
33309467b48Spatrick case 7: return MSP430CC::COND_NONE;
33409467b48Spatrick default:
33509467b48Spatrick llvm_unreachable("Cond out of range");
33609467b48Spatrick }
33709467b48Spatrick }
33809467b48Spatrick
getInstructionCJ(MCInst & MI,uint64_t & Size,ArrayRef<uint8_t> Bytes,uint64_t Address,raw_ostream & CStream) const33909467b48Spatrick DecodeStatus MSP430Disassembler::getInstructionCJ(MCInst &MI, uint64_t &Size,
34009467b48Spatrick ArrayRef<uint8_t> Bytes,
34109467b48Spatrick uint64_t Address,
34209467b48Spatrick raw_ostream &CStream) const {
34309467b48Spatrick uint64_t Insn = support::endian::read16le(Bytes.data());
34409467b48Spatrick unsigned Cond = fieldFromInstruction(Insn, 10, 3);
34509467b48Spatrick unsigned Offset = fieldFromInstruction(Insn, 0, 10);
34609467b48Spatrick
34709467b48Spatrick MI.addOperand(MCOperand::createImm(SignExtend32(Offset, 10)));
34809467b48Spatrick
34909467b48Spatrick if (Cond == 7)
35009467b48Spatrick MI.setOpcode(MSP430::JMP);
35109467b48Spatrick else {
35209467b48Spatrick MI.setOpcode(MSP430::JCC);
35309467b48Spatrick MI.addOperand(MCOperand::createImm(getCondCode(Cond)));
35409467b48Spatrick }
35509467b48Spatrick
35609467b48Spatrick Size = 2;
35709467b48Spatrick return DecodeStatus::Success;
35809467b48Spatrick }
35909467b48Spatrick
getInstruction(MCInst & MI,uint64_t & Size,ArrayRef<uint8_t> Bytes,uint64_t Address,raw_ostream & CStream) const36009467b48Spatrick DecodeStatus MSP430Disassembler::getInstruction(MCInst &MI, uint64_t &Size,
36109467b48Spatrick ArrayRef<uint8_t> Bytes,
36209467b48Spatrick uint64_t Address,
36309467b48Spatrick raw_ostream &CStream) const {
36409467b48Spatrick if (Bytes.size() < 2) {
36509467b48Spatrick Size = 0;
36609467b48Spatrick return MCDisassembler::Fail;
36709467b48Spatrick }
36809467b48Spatrick
36909467b48Spatrick uint64_t Insn = support::endian::read16le(Bytes.data());
37009467b48Spatrick unsigned Opc = fieldFromInstruction(Insn, 13, 3);
37109467b48Spatrick switch (Opc) {
37209467b48Spatrick case 0:
37309467b48Spatrick return getInstructionII(MI, Size, Bytes, Address, CStream);
37409467b48Spatrick case 1:
37509467b48Spatrick return getInstructionCJ(MI, Size, Bytes, Address, CStream);
37609467b48Spatrick default:
37709467b48Spatrick return getInstructionI(MI, Size, Bytes, Address, CStream);
37809467b48Spatrick }
37909467b48Spatrick }
380