/src/capstonev5/arch/MOS65XX/MOS65XXDisassembler.c

Source (jump to first uncovered line)
/* Capstone Disassembly Engine */
/* MOS65XX Backend by Sebastian Macke <sebastian@macke.de> 2018 */

#include "capstone/mos65xx.h"
#include "MOS65XXDisassembler.h"
#include "MOS65XXDisassemblerInternals.h"

typedef struct OpInfo {
  mos65xx_insn ins;
  mos65xx_address_mode am;
  int operand_bytes;
} OpInfo;

static const struct OpInfo OpInfoTable[]= {

#include "m6502.inc"
#include "m65c02.inc"
#include "mw65c02.inc"
#include "m65816.inc"

};

static const char* const RegNames[] = {
  "invalid", "A", "X", "Y", "P", "SP", "DP", "B", "K" 
};

#ifndef CAPSTONE_DIET
static const char* const GroupNames[] = {
  NULL,
  "jump",
  "call",
  "ret",
  "int",
  "iret",
  "branch_relative"
};

typedef struct InstructionInfo {
  const char* name;
  mos65xx_group_type group_type;
  mos65xx_reg write, read;
  bool modifies_status;
} InstructionInfo;

static const struct InstructionInfo InstructionInfoTable[]= {

#include "instruction_info.inc"

};
#endif

#ifndef CAPSTONE_DIET
static void fillDetails(MCInst *MI, struct OpInfo opinfo, int cpu_type)
{
  int i;
  cs_detail *detail = MI->flat_insn->detail;

  InstructionInfo insinfo = InstructionInfoTable[opinfo.ins];

  detail->mos65xx.am = opinfo.am;
  detail->mos65xx.modifies_flags = insinfo.modifies_status;
  detail->groups_count = 0;
  detail->regs_read_count = 0;
  detail->regs_write_count = 0;
  detail->mos65xx.op_count = 0;

  if (insinfo.group_type != MOS65XX_GRP_INVALID) {
    detail->groups[detail->groups_count] = insinfo.group_type;
    detail->groups_count++;
  }

  if (opinfo.am == MOS65XX_AM_REL || opinfo.am == MOS65XX_AM_ZP_REL) {
    detail->groups[detail->groups_count] = MOS65XX_GRP_BRANCH_RELATIVE;
    detail->groups_count++; 
  }

  if (insinfo.read != MOS65XX_REG_INVALID) {
    detail->regs_read[detail->regs_read_count++] = insinfo.read;
  } else switch(opinfo.am) {
    case MOS65XX_AM_ACC:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_ACC;
      break;
    case MOS65XX_AM_ZP_Y:
    case MOS65XX_AM_ZP_IND_Y:
    case MOS65XX_AM_ABS_Y:
    case MOS65XX_AM_ZP_IND_LONG_Y:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
      break;

    case MOS65XX_AM_ZP_X:
    case MOS65XX_AM_ZP_X_IND:
    case MOS65XX_AM_ABS_X:
    case MOS65XX_AM_ABS_X_IND:
    case MOS65XX_AM_ABS_LONG_X:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_X;
      break;

    case MOS65XX_AM_SR:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
      break;
    case MOS65XX_AM_SR_IND_Y:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
      break;

    default:
      break;
  }

  if (insinfo.write != MOS65XX_REG_INVALID) {
    detail->regs_write[detail->regs_write_count++] = insinfo.write;
  } else if (opinfo.am == MOS65XX_AM_ACC) {
    detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_ACC;
  }


  switch(opinfo.ins) {
    case MOS65XX_INS_ADC:
    case MOS65XX_INS_SBC:
    case MOS65XX_INS_ROL:
    case MOS65XX_INS_ROR:
      /* these read carry flag (and decimal for ADC/SBC) */
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_P;
      break;
    /* stack operations */
    case MOS65XX_INS_JSL:
    case MOS65XX_INS_JSR:
    case MOS65XX_INS_PEA:
    case MOS65XX_INS_PEI:
    case MOS65XX_INS_PER:
    case MOS65XX_INS_PHA:
    case MOS65XX_INS_PHB:
    case MOS65XX_INS_PHD:
    case MOS65XX_INS_PHK:
    case MOS65XX_INS_PHP:
    case MOS65XX_INS_PHX:
    case MOS65XX_INS_PHY:
    case MOS65XX_INS_PLA:
    case MOS65XX_INS_PLB:
    case MOS65XX_INS_PLD:
    case MOS65XX_INS_PLP:
    case MOS65XX_INS_PLX:
    case MOS65XX_INS_PLY:
    case MOS65XX_INS_RTI:
    case MOS65XX_INS_RTL:
    case MOS65XX_INS_RTS:
      detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
      detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_SP;
      break;
    default:
      break;
  }

  if (cpu_type == MOS65XX_CPU_TYPE_65816) {
    switch (opinfo.am) {
      case MOS65XX_AM_ZP:
      case MOS65XX_AM_ZP_X:
      case MOS65XX_AM_ZP_Y:
      case MOS65XX_AM_ZP_IND:
      case MOS65XX_AM_ZP_X_IND:
      case MOS65XX_AM_ZP_IND_Y:
      case MOS65XX_AM_ZP_IND_LONG:
      case MOS65XX_AM_ZP_IND_LONG_Y:
        detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_DP;
        break;
      case MOS65XX_AM_BLOCK:
        detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_ACC;
        detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_X;
        detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
        detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_ACC;
        detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_X;
        detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_Y;
        detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_B;
        break;
      default:
        break;
    }

    switch (opinfo.am) {
      case MOS65XX_AM_ZP_IND:
      case MOS65XX_AM_ZP_X_IND:
      case MOS65XX_AM_ZP_IND_Y:
      case MOS65XX_AM_ABS:
      case MOS65XX_AM_ABS_X:
      case MOS65XX_AM_ABS_Y:
      case MOS65XX_AM_ABS_X_IND:
        /* these depend on the databank to generate a 24-bit address */
        /* exceptions: PEA, PEI, and JMP (abs) */
        if (opinfo.ins == MOS65XX_INS_PEI || opinfo.ins == MOS65XX_INS_PEA) break;
        detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_B;
        break;
      default:
        break;
    }
  }

  if (insinfo.modifies_status) {
    detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_P;
  }

  switch(opinfo.am) {
    case MOS65XX_AM_IMP:
      break;
    case MOS65XX_AM_IMM:
      detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_IMM;
      detail->mos65xx.operands[detail->mos65xx.op_count].imm = MI->Operands[0].ImmVal;
      detail->mos65xx.op_count++;
      break;
    case MOS65XX_AM_ACC:
      detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_REG;
      detail->mos65xx.operands[detail->mos65xx.op_count].reg = MOS65XX_REG_ACC;
      detail->mos65xx.op_count++;
      break;
    case MOS65XX_AM_REL: {
      int value = MI->Operands[0].ImmVal;
      if (MI->op1_size == 1)
        value = 2 + (signed char)value;
      else
        value = 3 + (signed short)value;
      detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
      detail->mos65xx.operands[detail->mos65xx.op_count].mem = (MI->address + value) & 0xffff;
      detail->mos65xx.op_count++;
      break;
    }
    case MOS65XX_AM_ZP_REL: {
      int value = 3 + (signed char)MI->Operands[1].ImmVal;
      /* BBR0, zp, rel  and BBS0, zp, rel */
      detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
      detail->mos65xx.operands[detail->mos65xx.op_count].mem = MI->Operands[0].ImmVal;
      detail->mos65xx.operands[detail->mos65xx.op_count+1].type = MOS65XX_OP_MEM;
      detail->mos65xx.operands[detail->mos65xx.op_count+1].mem = (MI->address + value) & 0xffff;
      detail->mos65xx.op_count+=2;
      break;
    }
    default:
      for (i = 0; i < MI->size; ++i) {
        detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
        detail->mos65xx.operands[detail->mos65xx.op_count].mem = MI->Operands[i].ImmVal;
        detail->mos65xx.op_count++;
      }
      break;
  }
}
#endif

void MOS65XX_printInst(MCInst *MI, struct SStream *O, void *PrinterInfo)
{
#ifndef CAPSTONE_DIET
  unsigned int value;
  unsigned opcode = MCInst_getOpcode(MI);
  mos65xx_info *info = (mos65xx_info *)PrinterInfo;

  OpInfo opinfo = OpInfoTable[opcode];

  const char *prefix = info->hex_prefix ? info->hex_prefix : "0x";

  SStream_concat0(O, InstructionInfoTable[opinfo.ins].name);
  switch (opinfo.ins) {
    /* special case - bit included as part of the instruction name */
    case MOS65XX_INS_BBR:
    case MOS65XX_INS_BBS:
    case MOS65XX_INS_RMB:
    case MOS65XX_INS_SMB:
      SStream_concat(O, "%d", (opcode >> 4) & 0x07);
      break;
    default:
      break;
  }

  value = MI->Operands[0].ImmVal;

  switch (opinfo.am) {
    default:
      break;

    case MOS65XX_AM_IMP:
      break;

    case MOS65XX_AM_ACC:
      SStream_concat0(O, " a");
      break;

    case MOS65XX_AM_IMM:
      if (MI->imm_size == 1)
        SStream_concat(O, " #%s%02x", prefix, value);
      else
        SStream_concat(O, " #%s%04x", prefix, value);
      break;

    case MOS65XX_AM_ZP:
      SStream_concat(O, " %s%02x", prefix, value);
      break;

    case MOS65XX_AM_ABS:
      SStream_concat(O, " %s%04x", prefix, value);
      break;

    case MOS65XX_AM_ABS_LONG_X:
      SStream_concat(O, " %s%06x, x", prefix, value);
      break;

    case MOS65XX_AM_INT:
      SStream_concat(O, " %s%02x", prefix, value);
      break;

    case MOS65XX_AM_ABS_X:
      SStream_concat(O, " %s%04x, x", prefix, value);
      break;

    case MOS65XX_AM_ABS_Y:
      SStream_concat(O, " %s%04x, y", prefix, value);
      break;

    case MOS65XX_AM_ABS_LONG:
      SStream_concat(O, " %s%06x", prefix, value);
      break;

    case MOS65XX_AM_ZP_X:
      SStream_concat(O, " %s%02x, x", prefix, value);
      break;

    case MOS65XX_AM_ZP_Y:
      SStream_concat(O, " %s%02x, y", prefix, value);
      break;

    case MOS65XX_AM_REL:
      if (MI->op1_size == 1)
        value = 2 + (signed char)value;
      else
        value = 3 + (signed short)value;

      SStream_concat(O, " %s%04x", prefix, 
        (MI->address + value) & 0xffff);
      break;

    case MOS65XX_AM_ABS_IND:
      SStream_concat(O, " (%s%04x)", prefix, value);
      break;

    case MOS65XX_AM_ABS_X_IND:
      SStream_concat(O, " (%s%04x, x)", prefix, value);
      break;

    case MOS65XX_AM_ABS_IND_LONG:
      SStream_concat(O, " [%s%04x]", prefix, value);
      break;

    case MOS65XX_AM_ZP_IND:
      SStream_concat(O, " (%s%02x)", prefix, value);
      break;

    case MOS65XX_AM_ZP_X_IND:
      SStream_concat(O, " (%s%02x, x)", prefix, value);
      break;

    case MOS65XX_AM_ZP_IND_Y:
      SStream_concat(O, " (%s%02x), y", prefix, value);
      break;

    case MOS65XX_AM_ZP_IND_LONG:
      SStream_concat(O, " [%s%02x]", prefix, value);
      break;

    case MOS65XX_AM_ZP_IND_LONG_Y:
      SStream_concat(O, " [%s%02x], y", prefix, value);
      break;

    case MOS65XX_AM_SR:
      SStream_concat(O, " %s%02x, s", prefix, value);
      break;

    case MOS65XX_AM_SR_IND_Y:
      SStream_concat(O, " (%s%02x, s), y", prefix, value);
      break;

    case MOS65XX_AM_BLOCK:
      SStream_concat(O, " %s%02x, %s%02x",
        prefix, MI->Operands[0].ImmVal,
        prefix, MI->Operands[1].ImmVal);
      break;

    case MOS65XX_AM_ZP_REL:
      value = 3 + (signed char)MI->Operands[1].ImmVal;
      /* BBR0, zp, rel  and BBS0, zp, rel */
      SStream_concat(O, " %s%02x, %s%04x",
        prefix, MI->Operands[0].ImmVal,
        prefix, (MI->address + value) & 0xffff);
      break;

  }
#endif
}

bool MOS65XX_getInstruction(csh ud, const uint8_t *code, size_t code_len,
              MCInst *MI, uint16_t *size, uint64_t address, void *inst_info)
{
  int i;
  unsigned char opcode;
  unsigned char len;
  unsigned cpu_offset = 0;
  int cpu_type = MOS65XX_CPU_TYPE_6502;
  cs_struct* handle = MI->csh;
  mos65xx_info *info = (mos65xx_info *)handle->printer_info;
  OpInfo opinfo;

  if (code_len == 0) {
    *size = 1;
    return false;
  }

  cpu_type = info->cpu_type;
  cpu_offset = cpu_type * 256;

  opcode = code[0];
  opinfo = OpInfoTable[cpu_offset + opcode];
  if (opinfo.ins == MOS65XX_INS_INVALID) {
    *size = 1;
    return false;
  }

  len = opinfo.operand_bytes + 1;

  if (cpu_type == MOS65XX_CPU_TYPE_65816 && opinfo.am == MOS65XX_AM_IMM) {
    switch(opinfo.ins) {
      case MOS65XX_INS_CPX:
      case MOS65XX_INS_CPY:
      case MOS65XX_INS_LDX:
      case MOS65XX_INS_LDY:
        if (info->long_x) ++len;
        break;
      case MOS65XX_INS_ADC:
      case MOS65XX_INS_AND:
      case MOS65XX_INS_BIT:
      case MOS65XX_INS_CMP:
      case MOS65XX_INS_EOR:
      case MOS65XX_INS_LDA:
      case MOS65XX_INS_ORA:
      case MOS65XX_INS_SBC:
        if (info->long_m) ++len;
        break;
      default:
        break;
    }
  }

  if (code_len < len) {
    *size = 1;
    return false;
  }

  MI->address = address;

  MCInst_setOpcode(MI, cpu_offset + opcode);
  MCInst_setOpcodePub(MI, opinfo.ins);

  *size = len;

  /* needed to differentiate relative vs relative long */
  MI->op1_size = len - 1;
  if (opinfo.ins == MOS65XX_INS_NOP) {
    for (i = 1; i < len; ++i)
      MCOperand_CreateImm0(MI, code[i]);
  }

  switch (opinfo.am) {
    case MOS65XX_AM_ZP_REL:
      MCOperand_CreateImm0(MI, code[1]);
      MCOperand_CreateImm0(MI, code[2]);
      break;
    case MOS65XX_AM_BLOCK:
      MCOperand_CreateImm0(MI, code[2]);
      MCOperand_CreateImm0(MI, code[1]);
      break;
    case MOS65XX_AM_IMP:
    case MOS65XX_AM_ACC:
      break;

    case MOS65XX_AM_IMM:
      MI->has_imm = 1;
      MI->imm_size = len - 1;
      /* 65816 immediate is either 1 or 2 bytes */
      /* drop through */
    default:
      if (len == 2)
        MCOperand_CreateImm0(MI, code[1]);
      else if (len == 3)
        MCOperand_CreateImm0(MI, (code[2]<<8) | code[1]);
      else if (len == 4)
        MCOperand_CreateImm0(MI, (code[3]<<16) | (code[2]<<8) | code[1]);
      break;
  }

#ifndef CAPSTONE_DIET
  if (MI->flat_insn->detail) {
    fillDetails(MI, opinfo, cpu_type);
  }
#endif

  return true;
}

const char *MOS65XX_insn_name(csh handle, unsigned int id)
{
#ifdef CAPSTONE_DIET
  return NULL;
#else
  if (id >= ARR_SIZE(InstructionInfoTable)) {
    return NULL;
  }
  return InstructionInfoTable[id].name;
#endif
}

const char* MOS65XX_reg_name(csh handle, unsigned int reg)
{
#ifdef CAPSTONE_DIET
  return NULL;
#else
  if (reg >= ARR_SIZE(RegNames)) {
    return NULL;
  }
  return RegNames[(int)reg];
#endif
}

void MOS65XX_get_insn_id(cs_struct *h, cs_insn *insn, unsigned int id)
{
  /* id is cpu_offset + opcode */
  if (id < ARR_SIZE(OpInfoTable)) {
    insn->id = OpInfoTable[id].ins;
  }
}

const char *MOS65XX_group_name(csh handle, unsigned int id)
{
#ifdef CAPSTONE_DIET
  return NULL;
#else
  if (id >= ARR_SIZE(GroupNames)) {
    return NULL;
  }
  return GroupNames[(int)id];
#endif
}

Coverage Report

Created: 2025-07-01 07:03

Line	Count	Source (jump to first uncovered line)
1		/* Capstone Disassembly Engine */
2		/* MOS65XX Backend by Sebastian Macke <sebastian@macke.de> 2018 */
3
4		#include "capstone/mos65xx.h"
5		#include "MOS65XXDisassembler.h"
6		#include "MOS65XXDisassemblerInternals.h"
7
8		typedef struct OpInfo {
9		mos65xx_insn ins;
10		mos65xx_address_mode am;
11		int operand_bytes;
12		} OpInfo;
13
14		static const struct OpInfo OpInfoTable[]= {
15
16		#include "m6502.inc"
17		#include "m65c02.inc"
18		#include "mw65c02.inc"
19		#include "m65816.inc"
20
21		};
22
23		static const char* const RegNames[] = {
24		"invalid", "A", "X", "Y", "P", "SP", "DP", "B", "K"
25		};
26
27		#ifndef CAPSTONE_DIET
28		static const char* const GroupNames[] = {
29		NULL,
30		"jump",
31		"call",
32		"ret",
33		"int",
34		"iret",
35		"branch_relative"
36		};
37
38		typedef struct InstructionInfo {
39		const char* name;
40		mos65xx_group_type group_type;
41		mos65xx_reg write, read;
42		bool modifies_status;
43		} InstructionInfo;
44
45		static const struct InstructionInfo InstructionInfoTable[]= {
46
47		#include "instruction_info.inc"
48
49		};
50		#endif
51
52		#ifndef CAPSTONE_DIET
53		static void fillDetails(MCInst *MI, struct OpInfo opinfo, int cpu_type)
54	5.00k	{
55	5.00k	int i;
56	5.00k	cs_detail *detail = MI->flat_insn->detail;
57
58	5.00k	InstructionInfo insinfo = InstructionInfoTable[opinfo.ins];
59
60	5.00k	detail->mos65xx.am = opinfo.am;
61	5.00k	detail->mos65xx.modifies_flags = insinfo.modifies_status;
62	5.00k	detail->groups_count = 0;
63	5.00k	detail->regs_read_count = 0;
64	5.00k	detail->regs_write_count = 0;
65	5.00k	detail->mos65xx.op_count = 0;
66
67	5.00k	if (insinfo.group_type != MOS65XX_GRP_INVALID) {
68	1.49k	detail->groups[detail->groups_count] = insinfo.group_type;
69	1.49k	detail->groups_count++;
70	1.49k	}
71
72	5.00k	if (opinfo.am == MOS65XX_AM_REL \|\| opinfo.am == MOS65XX_AM_ZP_REL) {
73	542	detail->groups[detail->groups_count] = MOS65XX_GRP_BRANCH_RELATIVE;
74	542	detail->groups_count++;
75	542	}
76
77	5.00k	if (insinfo.read != MOS65XX_REG_INVALID) {
78	1.94k	detail->regs_read[detail->regs_read_count++] = insinfo.read;
79	3.06k	} else switch(opinfo.am) {
80	265	case MOS65XX_AM_ACC:
81	265	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_ACC;
82	265	break;
83	77	case MOS65XX_AM_ZP_Y:
84	284	case MOS65XX_AM_ZP_IND_Y:
85	490	case MOS65XX_AM_ABS_Y:
86	490	case MOS65XX_AM_ZP_IND_LONG_Y:
87	490	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
88	490	break;
89
90	435	case MOS65XX_AM_ZP_X:
91	502	case MOS65XX_AM_ZP_X_IND:
92	730	case MOS65XX_AM_ABS_X:
93	730	case MOS65XX_AM_ABS_X_IND:
94	730	case MOS65XX_AM_ABS_LONG_X:
95	730	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_X;
96	730	break;
97
98	0	case MOS65XX_AM_SR:
99	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
100	0	break;
101	0	case MOS65XX_AM_SR_IND_Y:
102	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
103	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
104	0	break;
105
106	1.57k	default:
107	1.57k	break;
108	3.06k	}
109
110	5.00k	if (insinfo.write != MOS65XX_REG_INVALID) {
111	2.05k	detail->regs_write[detail->regs_write_count++] = insinfo.write;
112	2.94k	} else if (opinfo.am == MOS65XX_AM_ACC) {
113	265	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_ACC;
114	265	}
115
116
117	5.00k	switch(opinfo.ins) {
118	239	case MOS65XX_INS_ADC:
119	526	case MOS65XX_INS_SBC:
120	758	case MOS65XX_INS_ROL:
121	1.07k	case MOS65XX_INS_ROR:
122		/* these read carry flag (and decimal for ADC/SBC) */
123	1.07k	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_P;
124	1.07k	break;
125		/* stack operations */
126	0	case MOS65XX_INS_JSL:
127	195	case MOS65XX_INS_JSR:
128	195	case MOS65XX_INS_PEA:
129	195	case MOS65XX_INS_PEI:
130	195	case MOS65XX_INS_PER:
131	455	case MOS65XX_INS_PHA:
132	455	case MOS65XX_INS_PHB:
133	455	case MOS65XX_INS_PHD:
134	455	case MOS65XX_INS_PHK:
135	523	case MOS65XX_INS_PHP:
136	523	case MOS65XX_INS_PHX:
137	523	case MOS65XX_INS_PHY:
138	730	case MOS65XX_INS_PLA:
139	730	case MOS65XX_INS_PLB:
140	730	case MOS65XX_INS_PLD:
141	1.00k	case MOS65XX_INS_PLP:
142	1.00k	case MOS65XX_INS_PLX:
143	1.00k	case MOS65XX_INS_PLY:
144	1.20k	case MOS65XX_INS_RTI:
145	1.20k	case MOS65XX_INS_RTL:
146	1.28k	case MOS65XX_INS_RTS:
147	1.28k	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_SP;
148	1.28k	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_SP;
149	1.28k	break;
150	2.64k	default:
151	2.64k	break;
152	5.00k	}
153
154	5.00k	if (cpu_type == MOS65XX_CPU_TYPE_65816) {
155	0	switch (opinfo.am) {
156	0	case MOS65XX_AM_ZP:
157	0	case MOS65XX_AM_ZP_X:
158	0	case MOS65XX_AM_ZP_Y:
159	0	case MOS65XX_AM_ZP_IND:
160	0	case MOS65XX_AM_ZP_X_IND:
161	0	case MOS65XX_AM_ZP_IND_Y:
162	0	case MOS65XX_AM_ZP_IND_LONG:
163	0	case MOS65XX_AM_ZP_IND_LONG_Y:
164	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_DP;
165	0	break;
166	0	case MOS65XX_AM_BLOCK:
167	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_ACC;
168	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_X;
169	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_Y;
170	0	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_ACC;
171	0	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_X;
172	0	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_Y;
173	0	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_B;
174	0	break;
175	0	default:
176	0	break;
177	0	}
178
179	0	switch (opinfo.am) {
180	0	case MOS65XX_AM_ZP_IND:
181	0	case MOS65XX_AM_ZP_X_IND:
182	0	case MOS65XX_AM_ZP_IND_Y:
183	0	case MOS65XX_AM_ABS:
184	0	case MOS65XX_AM_ABS_X:
185	0	case MOS65XX_AM_ABS_Y:
186	0	case MOS65XX_AM_ABS_X_IND:
187		/* these depend on the databank to generate a 24-bit address */
188		/* exceptions: PEA, PEI, and JMP (abs) */
189	0	if (opinfo.ins == MOS65XX_INS_PEI \|\| opinfo.ins == MOS65XX_INS_PEA) break;
190	0	detail->regs_read[detail->regs_read_count++] = MOS65XX_REG_B;
191	0	break;
192	0	default:
193	0	break;
194	0	}
195	0	}
196
197	5.00k	if (insinfo.modifies_status) {
198	3.25k	detail->regs_write[detail->regs_write_count++] = MOS65XX_REG_P;
199	3.25k	}
200
201	5.00k	switch(opinfo.am) {
202	1.37k	case MOS65XX_AM_IMP:
203	1.37k	break;
204	97	case MOS65XX_AM_IMM:
205	97	detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_IMM;
206	97	detail->mos65xx.operands[detail->mos65xx.op_count].imm = MI->Operands[0].ImmVal;
207	97	detail->mos65xx.op_count++;
208	97	break;
209	265	case MOS65XX_AM_ACC:
210	265	detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_REG;
211	265	detail->mos65xx.operands[detail->mos65xx.op_count].reg = MOS65XX_REG_ACC;
212	265	detail->mos65xx.op_count++;
213	265	break;
214	542	case MOS65XX_AM_REL: {
215	542	int value = MI->Operands[0].ImmVal;
216	542	if (MI->op1_size == 1)
217	542	value = 2 + (signed char)value;
218	0	else
219	0	value = 3 + (signed short)value;
220	542	detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
221	542	detail->mos65xx.operands[detail->mos65xx.op_count].mem = (MI->address + value) & 0xffff;
222	542	detail->mos65xx.op_count++;
223	542	break;
224	0	}
225	0	case MOS65XX_AM_ZP_REL: {
226	0	int value = 3 + (signed char)MI->Operands[1].ImmVal;
227		/* BBR0, zp, rel and BBS0, zp, rel */
228	0	detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
229	0	detail->mos65xx.operands[detail->mos65xx.op_count].mem = MI->Operands[0].ImmVal;
230	0	detail->mos65xx.operands[detail->mos65xx.op_count+1].type = MOS65XX_OP_MEM;
231	0	detail->mos65xx.operands[detail->mos65xx.op_count+1].mem = (MI->address + value) & 0xffff;
232	0	detail->mos65xx.op_count+=2;
233	0	break;
234	0	}
235	2.72k	default:
236	5.45k	for (i = 0; i < MI->size; ++i) {
237	2.72k	detail->mos65xx.operands[detail->mos65xx.op_count].type = MOS65XX_OP_MEM;
238	2.72k	detail->mos65xx.operands[detail->mos65xx.op_count].mem = MI->Operands[i].ImmVal;
239	2.72k	detail->mos65xx.op_count++;
240	2.72k	}
241	2.72k	break;
242	5.00k	}
243	5.00k	}
244		#endif
245
246		void MOS65XX_printInst(MCInst MI, struct SStream O, void *PrinterInfo)
247	5.00k	{
248	5.00k	#ifndef CAPSTONE_DIET
249	5.00k	unsigned int value;
250	5.00k	unsigned opcode = MCInst_getOpcode(MI);
251	5.00k	mos65xx_info info = (mos65xx_info )PrinterInfo;
252
253	5.00k	OpInfo opinfo = OpInfoTable[opcode];
254
255	5.00k	const char *prefix = info->hex_prefix ? info->hex_prefix : "0x";
256
257	5.00k	SStream_concat0(O, InstructionInfoTable[opinfo.ins].name);
258	5.00k	switch (opinfo.ins) {
259		/* special case - bit included as part of the instruction name */
260	0	case MOS65XX_INS_BBR:
261	0	case MOS65XX_INS_BBS:
262	0	case MOS65XX_INS_RMB:
263	0	case MOS65XX_INS_SMB:
264	0	SStream_concat(O, "%d", (opcode >> 4) & 0x07);
265	0	break;
266	5.00k	default:
267	5.00k	break;
268	5.00k	}
269
270	5.00k	value = MI->Operands[0].ImmVal;
271
272	5.00k	switch (opinfo.am) {
273	0	default:
274	0	break;
275
276	1.37k	case MOS65XX_AM_IMP:
277	1.37k	break;
278
279	265	case MOS65XX_AM_ACC:
280	265	SStream_concat0(O, " a");
281	265	break;
282
283	97	case MOS65XX_AM_IMM:
284	97	if (MI->imm_size == 1)
285	97	SStream_concat(O, " #%s%02x", prefix, value);
286	0	else
287	0	SStream_concat(O, " #%s%04x", prefix, value);
288	97	break;
289
290	126	case MOS65XX_AM_ZP:
291	126	SStream_concat(O, " %s%02x", prefix, value);
292	126	break;
293
294	238	case MOS65XX_AM_ABS:
295	238	SStream_concat(O, " %s%04x", prefix, value);
296	238	break;
297
298	0	case MOS65XX_AM_ABS_LONG_X:
299	0	SStream_concat(O, " %s%06x, x", prefix, value);
300	0	break;
301
302	276	case MOS65XX_AM_INT:
303	276	SStream_concat(O, " %s%02x", prefix, value);
304	276	break;
305
306	407	case MOS65XX_AM_ABS_X:
307	407	SStream_concat(O, " %s%04x, x", prefix, value);
308	407	break;
309
310	279	case MOS65XX_AM_ABS_Y:
311	279	SStream_concat(O, " %s%04x, y", prefix, value);
312	279	break;
313
314	0	case MOS65XX_AM_ABS_LONG:
315	0	SStream_concat(O, " %s%06x", prefix, value);
316	0	break;
317
318	490	case MOS65XX_AM_ZP_X:
319	490	SStream_concat(O, " %s%02x, x", prefix, value);
320	490	break;
321
322	80	case MOS65XX_AM_ZP_Y:
323	80	SStream_concat(O, " %s%02x, y", prefix, value);
324	80	break;
325
326	542	case MOS65XX_AM_REL:
327	542	if (MI->op1_size == 1)
328	542	value = 2 + (signed char)value;
329	0	else
330	0	value = 3 + (signed short)value;
331
332	542	SStream_concat(O, " %s%04x", prefix,
333	542	(MI->address + value) & 0xffff);
334	542	break;
335
336	199	case MOS65XX_AM_ABS_IND:
337	199	SStream_concat(O, " (%s%04x)", prefix, value);
338	199	break;
339
340	0	case MOS65XX_AM_ABS_X_IND:
341	0	SStream_concat(O, " (%s%04x, x)", prefix, value);
342	0	break;
343
344	0	case MOS65XX_AM_ABS_IND_LONG:
345	0	SStream_concat(O, " [%s%04x]", prefix, value);
346	0	break;
347
348	0	case MOS65XX_AM_ZP_IND:
349	0	SStream_concat(O, " (%s%02x)", prefix, value);
350	0	break;
351
352	275	case MOS65XX_AM_ZP_X_IND:
353	275	SStream_concat(O, " (%s%02x, x)", prefix, value);
354	275	break;
355
356	356	case MOS65XX_AM_ZP_IND_Y:
357	356	SStream_concat(O, " (%s%02x), y", prefix, value);
358	356	break;
359
360	0	case MOS65XX_AM_ZP_IND_LONG:
361	0	SStream_concat(O, " [%s%02x]", prefix, value);
362	0	break;
363
364	0	case MOS65XX_AM_ZP_IND_LONG_Y:
365	0	SStream_concat(O, " [%s%02x], y", prefix, value);
366	0	break;
367
368	0	case MOS65XX_AM_SR:
369	0	SStream_concat(O, " %s%02x, s", prefix, value);
370	0	break;
371
372	0	case MOS65XX_AM_SR_IND_Y:
373	0	SStream_concat(O, " (%s%02x, s), y", prefix, value);
374	0	break;
375
376	0	case MOS65XX_AM_BLOCK:
377	0	SStream_concat(O, " %s%02x, %s%02x",
378	0	prefix, MI->Operands[0].ImmVal,
379	0	prefix, MI->Operands[1].ImmVal);
380	0	break;
381
382	0	case MOS65XX_AM_ZP_REL:
383	0	value = 3 + (signed char)MI->Operands[1].ImmVal;
384		/* BBR0, zp, rel and BBS0, zp, rel */
385	0	SStream_concat(O, " %s%02x, %s%04x",
386	0	prefix, MI->Operands[0].ImmVal,
387	0	prefix, (MI->address + value) & 0xffff);
388	0	break;
389
390	5.00k	}
391	5.00k	#endif
392	5.00k	}
393
394		bool MOS65XX_getInstruction(csh ud, const uint8_t *code, size_t code_len,
395		MCInst MI, uint16_t size, uint64_t address, void *inst_info)
396	5.06k	{
397	5.06k	int i;
398	5.06k	unsigned char opcode;
399	5.06k	unsigned char len;
400	5.06k	unsigned cpu_offset = 0;
401	5.06k	int cpu_type = MOS65XX_CPU_TYPE_6502;
402	5.06k	cs_struct* handle = MI->csh;
403	5.06k	mos65xx_info info = (mos65xx_info )handle->printer_info;
404	5.06k	OpInfo opinfo;
405
406	5.06k	if (code_len == 0) {
407	0	*size = 1;
408	0	return false;
409	0	}
410
411	5.06k	cpu_type = info->cpu_type;
412	5.06k	cpu_offset = cpu_type * 256;
413
414	5.06k	opcode = code[0];
415	5.06k	opinfo = OpInfoTable[cpu_offset + opcode];
416	5.06k	if (opinfo.ins == MOS65XX_INS_INVALID) {
417	30	*size = 1;
418	30	return false;
419	30	}
420
421	5.03k	len = opinfo.operand_bytes + 1;
422
423	5.03k	if (cpu_type == MOS65XX_CPU_TYPE_65816 && opinfo.am == MOS65XX_AM_IMM) {
424	0	switch(opinfo.ins) {
425	0	case MOS65XX_INS_CPX:
426	0	case MOS65XX_INS_CPY:
427	0	case MOS65XX_INS_LDX:
428	0	case MOS65XX_INS_LDY:
429	0	if (info->long_x) ++len;
430	0	break;
431	0	case MOS65XX_INS_ADC:
432	0	case MOS65XX_INS_AND:
433	0	case MOS65XX_INS_BIT:
434	0	case MOS65XX_INS_CMP:
435	0	case MOS65XX_INS_EOR:
436	0	case MOS65XX_INS_LDA:
437	0	case MOS65XX_INS_ORA:
438	0	case MOS65XX_INS_SBC:
439	0	if (info->long_m) ++len;
440	0	break;
441	0	default:
442	0	break;
443	0	}
444	0	}
445
446	5.03k	if (code_len < len) {
447	32	*size = 1;
448	32	return false;
449	32	}
450
451	5.00k	MI->address = address;
452
453	5.00k	MCInst_setOpcode(MI, cpu_offset + opcode);
454	5.00k	MCInst_setOpcodePub(MI, opinfo.ins);
455
456	5.00k	*size = len;
457
458		/* needed to differentiate relative vs relative long */
459	5.00k	MI->op1_size = len - 1;
460	5.00k	if (opinfo.ins == MOS65XX_INS_NOP) {
461	70	for (i = 1; i < len; ++i)
462	0	MCOperand_CreateImm0(MI, code[i]);
463	70	}
464
465	5.00k	switch (opinfo.am) {
466	0	case MOS65XX_AM_ZP_REL:
467	0	MCOperand_CreateImm0(MI, code[1]);
468	0	MCOperand_CreateImm0(MI, code[2]);
469	0	break;
470	0	case MOS65XX_AM_BLOCK:
471	0	MCOperand_CreateImm0(MI, code[2]);
472	0	MCOperand_CreateImm0(MI, code[1]);
473	0	break;
474	1.37k	case MOS65XX_AM_IMP:
475	1.63k	case MOS65XX_AM_ACC:
476	1.63k	break;
477
478	97	case MOS65XX_AM_IMM:
479	97	MI->has_imm = 1;
480	97	MI->imm_size = len - 1;
481		/* 65816 immediate is either 1 or 2 bytes */
482		/* drop through */
483	3.36k	default:
484	3.36k	if (len == 2)
485	2.24k	MCOperand_CreateImm0(MI, code[1]);
486	1.12k	else if (len == 3)
487	1.12k	MCOperand_CreateImm0(MI, (code[2]<<8) \| code[1]);
488	0	else if (len == 4)
489	0	MCOperand_CreateImm0(MI, (code[3]<<16) \| (code[2]<<8) \| code[1]);
490	3.36k	break;
491	5.00k	}
492
493	5.00k	#ifndef CAPSTONE_DIET
494	5.00k	if (MI->flat_insn->detail) {
495	5.00k	fillDetails(MI, opinfo, cpu_type);
496	5.00k	}
497	5.00k	#endif
498
499	5.00k	return true;
500	5.00k	}
501
502		const char *MOS65XX_insn_name(csh handle, unsigned int id)
503	5.00k	{
504		#ifdef CAPSTONE_DIET
505		return NULL;
506		#else
507	5.00k	if (id >= ARR_SIZE(InstructionInfoTable)) {
508	0	return NULL;
509	0	}
510	5.00k	return InstructionInfoTable[id].name;
511	5.00k	#endif
512	5.00k	}
513
514		const char* MOS65XX_reg_name(csh handle, unsigned int reg)
515	12.6k	{
516		#ifdef CAPSTONE_DIET
517		return NULL;
518		#else
519	12.6k	if (reg >= ARR_SIZE(RegNames)) {
520	0	return NULL;
521	0	}
522	12.6k	return RegNames[(int)reg];
523	12.6k	#endif
524	12.6k	}
525
526		void MOS65XX_get_insn_id(cs_struct h, cs_insn insn, unsigned int id)
527	5.00k	{
528		/* id is cpu_offset + opcode */
529	5.00k	if (id < ARR_SIZE(OpInfoTable)) {
530	5.00k	insn->id = OpInfoTable[id].ins;
531	5.00k	}
532	5.00k	}
533
534		const char *MOS65XX_group_name(csh handle, unsigned int id)
535	2.04k	{
536		#ifdef CAPSTONE_DIET
537		return NULL;
538		#else
539	2.04k	if (id >= ARR_SIZE(GroupNames)) {
540	0	return NULL;
541	0	}
542	2.04k	return GroupNames[(int)id];
543	2.04k	#endif
544	2.04k	}