123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745 |
- /* Disassemble h8300 instructions.
- Copyright (C) 1993-2022 Free Software Foundation, Inc.
- This file is part of the GNU opcodes library.
- This library is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3, or (at your option)
- any later version.
- It is distributed in the hope that it will be useful, but WITHOUT
- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
- License for more details.
- You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
- MA 02110-1301, USA. */
- #define DEFINE_TABLE
- #include "sysdep.h"
- #define h8_opcodes h8ops
- #include "opcode/h8300.h"
- #include "disassemble.h"
- #include "opintl.h"
- #include "libiberty.h"
- struct h8_instruction
- {
- unsigned int length;
- const struct h8_opcode *opcode;
- };
- struct h8_instruction *h8_instructions;
- /* Run through the opcodes and sort them into order to make them easy
- to disassemble. */
- static void
- bfd_h8_disassemble_init (void)
- {
- unsigned int i;
- unsigned int nopcodes;
- const struct h8_opcode *p;
- struct h8_instruction *pi;
- nopcodes = sizeof (h8_opcodes) / sizeof (struct h8_opcode);
- h8_instructions = xmalloc (nopcodes * sizeof (struct h8_instruction));
- for (p = h8_opcodes, pi = h8_instructions; p->name; p++, pi++)
- {
- /* Just make sure there are an even number of nibbles in it, and
- that the count is the same as the length. */
- for (i = 0; p->data.nib[i] != (op_type) E; i++)
- ;
- OPCODES_ASSERT (!(i & 1));
- pi->length = i / 2;
- pi->opcode = p;
- }
- /* Add entry for the NULL vector terminator. */
- pi->length = 0;
- pi->opcode = p;
- }
- static void
- extract_immediate (FILE *stream,
- op_type looking_for,
- int thisnib,
- unsigned char *data,
- int *cst,
- int *len,
- const struct h8_opcode *q)
- {
- switch (looking_for & SIZE)
- {
- case L_2:
- *len = 2;
- *cst = thisnib & 3;
- /* DISP2 special treatment. */
- if ((looking_for & MODE) == DISP)
- {
- if (OP_KIND (q->how) == O_MOVAB
- || OP_KIND (q->how) == O_MOVAW
- || OP_KIND (q->how) == O_MOVAL)
- {
- /* Handling for mova insn. */
- switch (q->args.nib[0] & MODE)
- {
- case INDEXB:
- default:
- break;
- case INDEXW:
- *cst *= 2;
- break;
- case INDEXL:
- *cst *= 4;
- break;
- }
- }
- else
- {
- /* Handling for non-mova insn. */
- switch (OP_SIZE (q->how))
- {
- default: break;
- case SW:
- *cst *= 2;
- break;
- case SL:
- *cst *= 4;
- break;
- }
- }
- }
- break;
- case L_8:
- *len = 8;
- *cst = data[0];
- break;
- case L_16:
- case L_16U:
- *len = 16;
- *cst = (data[0] << 8) + data [1];
- #if 0
- if ((looking_for & SIZE) == L_16)
- *cst = (short) *cst; /* Sign extend. */
- #endif
- break;
- case L_32:
- *len = 32;
- *cst = (((unsigned) data[0] << 24) + (data[1] << 16)
- + (data[2] << 8) + data[3]);
- break;
- default:
- *len = 0;
- *cst = 0;
- fprintf (stream, "DISP bad size\n");
- break;
- }
- }
- static const char *regnames[] =
- {
- "r0h", "r1h", "r2h", "r3h", "r4h", "r5h", "r6h", "r7h",
- "r0l", "r1l", "r2l", "r3l", "r4l", "r5l", "r6l", "r7l"
- };
- static const char *wregnames[] =
- {
- "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
- "e0", "e1", "e2", "e3", "e4", "e5", "e6", "e7"
- };
- static const char *lregnames[] =
- {
- "er0", "er1", "er2", "er3", "er4", "er5", "er6", "er7",
- "er0", "er1", "er2", "er3", "er4", "er5", "er6", "er7"
- };
- static const char *cregnames[] =
- {
- "ccr", "exr", "mach", "macl", "", "", "vbr", "sbr"
- };
- static void
- print_one_arg (disassemble_info *info,
- bfd_vma addr,
- op_type x,
- int cst,
- int cstlen,
- int rdisp_n,
- int rn,
- const char **pregnames,
- int len)
- {
- void * stream = info->stream;
- fprintf_ftype outfn = info->fprintf_func;
- if ((x & SIZE) == L_3 || (x & SIZE) == L_3NZ)
- outfn (stream, "#0x%x", (unsigned) cst);
- else if ((x & MODE) == IMM)
- outfn (stream, "#0x%x", (unsigned) cst);
- else if ((x & MODE) == DBIT || (x & MODE) == KBIT)
- outfn (stream, "#%d", (unsigned) cst);
- else if ((x & MODE) == CONST_2)
- outfn (stream, "#2");
- else if ((x & MODE) == CONST_4)
- outfn (stream, "#4");
- else if ((x & MODE) == CONST_8)
- outfn (stream, "#8");
- else if ((x & MODE) == CONST_16)
- outfn (stream, "#16");
- else if ((x & MODE) == REG)
- {
- switch (x & SIZE)
- {
- case L_8:
- outfn (stream, "%s", regnames[rn]);
- break;
- case L_16:
- case L_16U:
- outfn (stream, "%s", wregnames[rn]);
- break;
- case L_P:
- case L_32:
- outfn (stream, "%s", lregnames[rn]);
- break;
- }
- }
- else if ((x & MODE) == LOWREG)
- {
- switch (x & SIZE)
- {
- case L_8:
- /* Always take low half of reg. */
- outfn (stream, "%s.b", regnames[rn < 8 ? rn + 8 : rn]);
- break;
- case L_16:
- case L_16U:
- /* Always take low half of reg. */
- outfn (stream, "%s.w", wregnames[rn < 8 ? rn : rn - 8]);
- break;
- case L_P:
- case L_32:
- outfn (stream, "%s.l", lregnames[rn]);
- break;
- }
- }
- else if ((x & MODE) == POSTINC)
- outfn (stream, "@%s+", pregnames[rn]);
- else if ((x & MODE) == POSTDEC)
- outfn (stream, "@%s-", pregnames[rn]);
- else if ((x & MODE) == PREINC)
- outfn (stream, "@+%s", pregnames[rn]);
- else if ((x & MODE) == PREDEC)
- outfn (stream, "@-%s", pregnames[rn]);
- else if ((x & MODE) == IND)
- outfn (stream, "@%s", pregnames[rn]);
- else if ((x & MODE) == ABS || (x & ABSJMP))
- outfn (stream, "@0x%x:%d", (unsigned) cst, cstlen);
- else if ((x & MODE) == MEMIND)
- outfn (stream, "@@%d (0x%x)", cst, cst);
- else if ((x & MODE) == VECIND)
- {
- /* FIXME Multiplier should be 2 or 4, depending on processor mode,
- by which is meant "normal" vs. "middle", "advanced", "maximum". */
- int offset = (cst + 0x80) * 4;
- outfn (stream, "@@%d (0x%x)", offset, offset);
- }
- else if ((x & MODE) == PCREL)
- {
- if ((x & SIZE) == L_16 ||
- (x & SIZE) == L_16U)
- {
- outfn (stream, ".%s%d (0x%lx)",
- (short) cst > 0 ? "+" : "",
- (short) cst,
- (long)(addr + (short) cst + len));
- }
- else
- {
- outfn (stream, ".%s%d (0x%lx)",
- (char) cst > 0 ? "+" : "",
- (char) cst,
- (long)(addr + (char) cst + len));
- }
- }
- else if ((x & MODE) == DISP)
- outfn (stream, "@(0x%x:%d,%s)", cst, cstlen, pregnames[rdisp_n]);
- else if ((x & MODE) == INDEXB)
- /* Always take low half of reg. */
- outfn (stream, "@(0x%x:%d,%s.b)", cst, cstlen,
- regnames[rdisp_n < 8 ? rdisp_n + 8 : rdisp_n]);
- else if ((x & MODE) == INDEXW)
- /* Always take low half of reg. */
- outfn (stream, "@(0x%x:%d,%s.w)", cst, cstlen,
- wregnames[rdisp_n < 8 ? rdisp_n : rdisp_n - 8]);
- else if ((x & MODE) == INDEXL)
- outfn (stream, "@(0x%x:%d,%s.l)", cst, cstlen, lregnames[rdisp_n]);
- else if (x & CTRL)
- outfn (stream, "%s", cregnames[rn]);
- else if ((x & MODE) == CCR)
- outfn (stream, "ccr");
- else if ((x & MODE) == EXR)
- outfn (stream, "exr");
- else if ((x & MODE) == MACREG)
- outfn (stream, "mac%c", cst ? 'l' : 'h');
- else
- /* xgettext:c-format */
- outfn (stream, _("Hmmmm 0x%x"), x);
- }
- static unsigned int
- bfd_h8_disassemble (bfd_vma addr, disassemble_info *info, int mach)
- {
- /* Find the first entry in the table for this opcode. */
- int regno[3] = { 0, 0, 0 };
- int dispregno[3] = { 0, 0, 0 };
- int cst[3] = { 0, 0, 0 };
- int cstlen[3] = { 0, 0, 0 };
- static bool init = 0;
- const struct h8_instruction *qi;
- char const **pregnames = mach != 0 ? lregnames : wregnames;
- int status;
- unsigned int maxlen;
- unsigned char data[MAX_CODE_NIBBLES / 2];
- void *stream = info->stream;
- fprintf_ftype outfn = info->fprintf_func;
- if (!init)
- {
- bfd_h8_disassemble_init ();
- init = 1;
- }
- status = info->read_memory_func (addr, data, 2, info);
- if (status != 0)
- {
- info->memory_error_func (status, addr, info);
- return -1;
- }
- for (maxlen = 2; maxlen < sizeof (data); maxlen += 2)
- {
- status = info->read_memory_func (addr + maxlen, data + maxlen, 2, info);
- if (status != 0)
- break;
- }
- /* Find the exact opcode/arg combo. */
- for (qi = h8_instructions; qi->opcode->name; qi++)
- {
- const struct h8_opcode *q;
- const op_type *nib;
- unsigned int len;
- op_type looking_for;
- if (qi->length > maxlen)
- continue;
- q = qi->opcode;
- nib = q->data.nib;
- len = 0;
- while ((looking_for = *nib) != (op_type) E)
- {
- int thisnib;
- int opnr;
- OPCODES_ASSERT (len / 2 < maxlen);
- thisnib = data[len / 2];
- thisnib = (len & 1) ? (thisnib & 0xf) : ((thisnib / 16) & 0xf);
- opnr = ((looking_for & OP3) == OP3 ? 2
- : (looking_for & DST) == DST ? 1 : 0);
- if (looking_for < 16 && looking_for >= 0)
- {
- if (looking_for != thisnib)
- goto fail;
- }
- else
- {
- if ((int) looking_for & (int) B31)
- {
- if (!((thisnib & 0x8) != 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B31);
- thisnib &= 0x7;
- }
- else if ((int) looking_for & (int) B30)
- {
- if (!((thisnib & 0x8) == 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B30);
- }
- if ((int) looking_for & (int) B21)
- {
- if (!((thisnib & 0x4) != 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B21);
- thisnib &= 0xb;
- }
- else if ((int) looking_for & (int) B20)
- {
- if (!((thisnib & 0x4) == 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B20);
- }
- if ((int) looking_for & (int) B11)
- {
- if (!((thisnib & 0x2) != 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B11);
- thisnib &= 0xd;
- }
- else if ((int) looking_for & (int) B10)
- {
- if (!((thisnib & 0x2) == 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B10);
- }
- if ((int) looking_for & (int) B01)
- {
- if (!((thisnib & 0x1) != 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B01);
- thisnib &= 0xe;
- }
- else if ((int) looking_for & (int) B00)
- {
- if (!((thisnib & 0x1) == 0))
- goto fail;
- looking_for = (op_type) ((int) looking_for & ~(int) B00);
- }
- if (looking_for & IGNORE)
- {
- /* Hitachi has declared that IGNORE must be zero. */
- if (thisnib != 0)
- goto fail;
- }
- else if ((looking_for & MODE) == DATA)
- {
- ; /* Skip embedded data. */
- }
- else if ((looking_for & MODE) == DBIT)
- {
- /* Exclude adds/subs by looking at bit 0 and 2, and
- make sure the operand size, either w or l,
- matches by looking at bit 1. */
- if ((looking_for & 7) != (thisnib & 7))
- goto fail;
- cst[opnr] = (thisnib & 0x8) ? 2 : 1;
- }
- else if ((looking_for & MODE) == DISP
- || (looking_for & MODE) == ABS
- || (looking_for & MODE) == PCREL
- || (looking_for & MODE) == INDEXB
- || (looking_for & MODE) == INDEXW
- || (looking_for & MODE) == INDEXL)
- {
- int extra;
- switch (looking_for & SIZE)
- {
- case L_16:
- case L_16U:
- extra = 1;
- break;
- case L_32:
- extra = 3;
- break;
- default:
- extra = 0;
- break;
- }
- OPCODES_ASSERT (len / 2 + extra < maxlen);
- extract_immediate (stream, looking_for, thisnib,
- data + len / 2, cst + opnr,
- cstlen + opnr, q);
- /* Even address == bra, odd == bra/s. */
- if (q->how == O (O_BRAS, SB))
- cst[opnr] -= 1;
- }
- else if ((looking_for & MODE) == REG
- || (looking_for & MODE) == LOWREG
- || (looking_for & MODE) == IND
- || (looking_for & MODE) == PREINC
- || (looking_for & MODE) == POSTINC
- || (looking_for & MODE) == PREDEC
- || (looking_for & MODE) == POSTDEC)
- {
- regno[opnr] = thisnib;
- }
- else if (looking_for & CTRL) /* Control Register. */
- {
- thisnib &= 7;
- if (((looking_for & MODE) == CCR && (thisnib != C_CCR))
- || ((looking_for & MODE) == EXR && (thisnib != C_EXR))
- || ((looking_for & MODE) == MACH && (thisnib != C_MACH))
- || ((looking_for & MODE) == MACL && (thisnib != C_MACL))
- || ((looking_for & MODE) == VBR && (thisnib != C_VBR))
- || ((looking_for & MODE) == SBR && (thisnib != C_SBR)))
- goto fail;
- if (((looking_for & MODE) == CCR_EXR
- && (thisnib != C_CCR && thisnib != C_EXR))
- || ((looking_for & MODE) == VBR_SBR
- && (thisnib != C_VBR && thisnib != C_SBR))
- || ((looking_for & MODE) == MACREG
- && (thisnib != C_MACH && thisnib != C_MACL)))
- goto fail;
- if (((looking_for & MODE) == CC_EX_VB_SB
- && (thisnib != C_CCR && thisnib != C_EXR
- && thisnib != C_VBR && thisnib != C_SBR)))
- goto fail;
- regno[opnr] = thisnib;
- }
- else if ((looking_for & SIZE) == L_5)
- {
- cst[opnr] = data[len / 2] & 31;
- cstlen[opnr] = 5;
- }
- else if ((looking_for & SIZE) == L_4)
- {
- cst[opnr] = thisnib;
- cstlen[opnr] = 4;
- }
- else if ((looking_for & SIZE) == L_16
- || (looking_for & SIZE) == L_16U)
- {
- OPCODES_ASSERT (len / 2 + 1 < maxlen);
- cst[opnr] = (data[len / 2]) * 256 + data[(len + 2) / 2];
- cstlen[opnr] = 16;
- }
- else if ((looking_for & MODE) == MEMIND)
- {
- cst[opnr] = data[1];
- }
- else if ((looking_for & MODE) == VECIND)
- {
- cst[opnr] = data[1] & 0x7f;
- }
- else if ((looking_for & SIZE) == L_32)
- {
- unsigned int i = len / 2;
- OPCODES_ASSERT (i + 3 < maxlen);
- cst[opnr] = (((unsigned) data[i] << 24)
- | (data[i + 1] << 16)
- | (data[i + 2] << 8)
- | (data[i + 3]));
- cstlen[opnr] = 32;
- }
- else if ((looking_for & SIZE) == L_24)
- {
- unsigned int i = len / 2;
- OPCODES_ASSERT (i + 2 < maxlen);
- cst[opnr] =
- (data[i] << 16) | (data[i + 1] << 8) | (data[i + 2]);
- cstlen[opnr] = 24;
- }
- else if (looking_for & DISPREG)
- {
- dispregno[opnr] = thisnib & 7;
- }
- else if ((looking_for & MODE) == KBIT)
- {
- switch (thisnib)
- {
- case 9:
- cst[opnr] = 4;
- break;
- case 8:
- cst[opnr] = 2;
- break;
- case 0:
- cst[opnr] = 1;
- break;
- default:
- goto fail;
- }
- }
- else if ((looking_for & SIZE) == L_8)
- {
- cstlen[opnr] = 8;
- cst[opnr] = data[len / 2];
- }
- else if ((looking_for & SIZE) == L_3
- || (looking_for & SIZE) == L_3NZ)
- {
- cst[opnr] = thisnib & 0x7;
- if (cst[opnr] == 0 && (looking_for & SIZE) == L_3NZ)
- goto fail;
- }
- else if ((looking_for & SIZE) == L_2)
- {
- cstlen[opnr] = 2;
- cst[opnr] = thisnib & 0x3;
- }
- else if ((looking_for & MODE) == MACREG)
- {
- cst[opnr] = (thisnib == 3);
- }
- else
- /* xgettext:c-format */
- outfn (stream, _("Don't understand 0x%x \n"), looking_for);
- }
- len++;
- nib++;
- }
- outfn (stream, "%s\t", q->name);
- /* Gross. Disgusting. */
- if (strcmp (q->name, "ldm.l") == 0)
- {
- int count, high;
- count = (data[1] / 16) & 0x3;
- high = regno[1];
- outfn (stream, "@sp+,er%d-er%d", high - count, high);
- return qi->length;
- }
- if (strcmp (q->name, "stm.l") == 0)
- {
- int count, low;
- count = (data[1] / 16) & 0x3;
- low = regno[0];
- outfn (stream, "er%d-er%d,@-sp", low, low + count);
- return qi->length;
- }
- if (strcmp (q->name, "rte/l") == 0
- || strcmp (q->name, "rts/l") == 0)
- {
- if (regno[0] == 0)
- outfn (stream, "er%d", regno[1]);
- else
- outfn (stream, "er%d-er%d", regno[1] - regno[0],
- regno[1]);
- return qi->length;
- }
- if (startswith (q->name, "mova"))
- {
- const op_type *args = q->args.nib;
- if (args[1] == (op_type) E)
- {
- /* Short form. */
- print_one_arg (info, addr, args[0], cst[0],
- cstlen[0], dispregno[0], regno[0],
- pregnames, qi->length);
- outfn (stream, ",er%d", dispregno[0]);
- }
- else
- {
- outfn (stream, "@(0x%x:%d,", cst[0], cstlen[0]);
- print_one_arg (info, addr, args[1], cst[1],
- cstlen[1], dispregno[1], regno[1],
- pregnames, qi->length);
- outfn (stream, ".%c),",
- (args[0] & MODE) == INDEXB ? 'b' : 'w');
- print_one_arg (info, addr, args[2], cst[2],
- cstlen[2], dispregno[2], regno[2],
- pregnames, qi->length);
- }
- return qi->length;
- }
- /* Fill in the args. */
- {
- const op_type *args = q->args.nib;
- int hadone = 0;
- int nargs;
- /* Special case handling for the adds and subs instructions
- since in H8 mode thay can only take the r0-r7 registers
- but in other (higher) modes they can take the er0-er7
- registers as well. */
- if (strcmp (qi->opcode->name, "adds") == 0
- || strcmp (qi->opcode->name, "subs") == 0)
- {
- outfn (stream, "#%d,%s", cst[0], pregnames[regno[1] & 0x7]);
- return qi->length;
- }
- for (nargs = 0;
- nargs < 3 && args[nargs] != (op_type) E;
- nargs++)
- {
- int x = args[nargs];
- if (hadone)
- outfn (stream, ",");
- print_one_arg (info, addr, x,
- cst[nargs], cstlen[nargs],
- dispregno[nargs], regno[nargs],
- pregnames, qi->length);
- hadone = 1;
- }
- }
- return qi->length;
- fail:
- ;
- }
- /* Fell off the end. */
- outfn (stream, ".word\tH'%x,H'%x", data[0], data[1]);
- return 2;
- }
- int
- print_insn_h8300 (bfd_vma addr, disassemble_info *info)
- {
- return bfd_h8_disassemble (addr, info, 0);
- }
- int
- print_insn_h8300h (bfd_vma addr, disassemble_info *info)
- {
- return bfd_h8_disassemble (addr, info, 1);
- }
- int
- print_insn_h8300s (bfd_vma addr, disassemble_info *info)
- {
- return bfd_h8_disassemble (addr, info, 2);
- }
|