/* Disassemble h8300 instructions.

   Copyright (C) 1993-2023 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);

}