/* Disassembler code for Renesas RL78.
  Copyright (C) 2011-2024 Free Software Foundation, Inc.
  Contributed by Red Hat.
  Written by DJ Delorie.

  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.  */

#include "sysdep.h"
#include <stdio.h>

#include "bfd.h"
#include "elf-bfd.h"
#include "disassemble.h"
#include "opcode/rl78.h"
#include "elf/rl78.h"

#include <setjmp.h>

#define DEBUG_SEMANTICS 0

typedef struct
{
 bfd_vma pc;
 disassemble_info * dis;
} RL78_Data;

struct private
{
 OPCODES_SIGJMP_BUF bailout;
};

static int
rl78_get_byte (void * vdata)
{
 bfd_byte buf[1];
 RL78_Data *rl78_data = (RL78_Data *) vdata;
 int status;

 status = rl78_data->dis->read_memory_func (rl78_data->pc,
                                            buf,
                                            1,
                                            rl78_data->dis);
 if (status != 0)
   {
     struct private *priv = (struct private *) rl78_data->dis->private_data;

     rl78_data->dis->memory_error_func (status, rl78_data->pc,
                                        rl78_data->dis);
     OPCODES_SIGLONGJMP (priv->bailout, 1);
   }

 rl78_data->pc ++;
 return buf[0];
}

static char const *
register_names[] =
{
 "",
 "x", "a", "c", "b", "e", "d", "l", "h",
 "ax", "bc", "de", "hl",
 "sp", "psw", "cs", "es", "pmc", "mem"
};

static char const *
condition_names[] =
{
 "t", "f", "c", "nc", "h", "nh", "z", "nz"
};

static int
indirect_type (int t)
{
 switch (t)
   {
   case RL78_Operand_Indirect:
   case RL78_Operand_BitIndirect:
   case RL78_Operand_PostInc:
   case RL78_Operand_PreDec:
     return 1;
   default:
     return 0;
   }
}

static int
print_insn_rl78_common (bfd_vma addr, disassemble_info * dis, RL78_Dis_Isa isa)
{
 int rv;
 RL78_Data rl78_data;
 RL78_Opcode_Decoded opcode;
 const char * s;
#if DEBUG_SEMANTICS
 static char buf[200];
#endif
 struct private priv;

 dis->private_data = &priv;
 rl78_data.pc = addr;
 rl78_data.dis = dis;

 if (OPCODES_SIGSETJMP (priv.bailout) != 0)
   {
     /* Error return.  */
     return -1;
   }

 rv = rl78_decode_opcode (addr, &opcode, rl78_get_byte, &rl78_data, isa);

 dis->bytes_per_line = 10;

#define PR (dis->fprintf_func)
#define PS (dis->stream)
#define PC(c) PR (PS, "%c", c)

 s = opcode.syntax;

#if DEBUG_SEMANTICS

 switch (opcode.id)
   {
   case RLO_unknown: s = "uknown"; break;
   case RLO_add: s = "add: %e0%0 += %e1%1"; break;
   case RLO_addc: s = "addc: %e0%0 += %e1%1 + CY"; break;
   case RLO_and: s = "and: %e0%0 &= %e1%1"; break;
   case RLO_branch: s = "branch: pc = %e0%0"; break;
   case RLO_branch_cond: s = "branch_cond: pc = %e0%0 if %c1 / %e1%1"; break;
   case RLO_branch_cond_clear: s = "branch_cond_clear: pc = %e0%0 if %c1 / %e1%1, %e1%1 = 0"; break;
   case RLO_call: s = "call: pc = %e1%0"; break;
   case RLO_cmp: s = "cmp: %e0%0 - %e1%1"; break;
   case RLO_mov: s = "mov: %e0%0 = %e1%1"; break;
   case RLO_or: s = "or: %e0%0 |= %e1%1"; break;
   case RLO_rol: s = "rol: %e0%0 <<= %e1%1"; break;
   case RLO_rolc: s = "rol: %e0%0 <<= %e1%1,CY"; break;
   case RLO_ror: s = "ror: %e0%0 >>= %e1%1"; break;
   case RLO_rorc: s = "ror: %e0%0 >>= %e1%1,CY"; break;
   case RLO_sar: s = "sar: %e0%0 >>= %e1%1 signed"; break;
   case RLO_sel: s = "sel: rb = %1"; break;
   case RLO_shr: s = "shr: %e0%0 >>= %e1%1 unsigned"; break;
   case RLO_shl: s = "shl: %e0%0 <<= %e1%1"; break;
   case RLO_skip: s = "skip: if %c1"; break;
   case RLO_sub: s = "sub: %e0%0 -= %e1%1"; break;
   case RLO_subc: s = "subc: %e0%0 -= %e1%1 - CY"; break;
   case RLO_xch: s = "xch: %e0%0 <-> %e1%1"; break;
   case RLO_xor: s = "xor: %e0%0 ^= %e1%1"; break;
   }

 sprintf(buf, "%s%%W%%f\t\033[32m%s\033[0m", s, opcode.syntax);
 s = buf;

#endif

 for (; *s; s++)
   {
     if (*s != '%')
       {
         PC (*s);
       }
     else
       {
         RL78_Opcode_Operand * oper;
         int do_hex = 0;
         int do_addr = 0;
         int do_es = 0;
         int do_sfr = 0;
         int do_cond = 0;
         int do_bang = 0;

         while (1)
           {
             s ++;
             switch (*s)
               {
               case 'x':
                 do_hex = 1;
                 break;
               case '!':
                 do_bang = 1;
                 break;
               case 'e':
                 do_es = 1;
                 break;
               case 'a':
                 do_addr = 1;
                 break;
               case 's':
                 do_sfr = 1;
                 break;
               case 'c':
                 do_cond = 1;
                 break;
               default:
                 goto no_more_modifiers;
               }
           }
       no_more_modifiers:;

         switch (*s)
           {
           case '%':
             PC ('%');
             break;

#if DEBUG_SEMANTICS

           case 'W':
             if (opcode.size == RL78_Word)
               PR (PS, " \033[33mW\033[0m");
             break;

           case 'f':
             if (opcode.flags)
               {
                 char *comma = "";
                 PR (PS, "  \033[35m");

                 if (opcode.flags & RL78_PSW_Z)
                   { PR (PS, "Z"); comma = ","; }
                 if (opcode.flags & RL78_PSW_AC)
                   { PR (PS, "%sAC", comma); comma = ","; }
                 if (opcode.flags & RL78_PSW_CY)
                   { PR (PS, "%sCY", comma); comma = ","; }
                 PR (PS, "\033[0m");
               }
             break;

#endif

           case '0':
           case '1':
             oper = *s == '0' ? &opcode.op[0] : &opcode.op[1];
           if (do_es)
             {
               if (oper->use_es && indirect_type (oper->type))
                 PR (PS, "es:");
             }

           if (do_bang)
             {
               /* If we are going to display SP by name, we must omit the bang.  */
               if ((oper->type == RL78_Operand_Indirect
                    || oper->type == RL78_Operand_BitIndirect)
                   && oper->reg == RL78_Reg_None
                   && do_sfr
                   && ((oper->addend == 0xffff8 && opcode.size == RL78_Word)
                       || (oper->addend == 0x0fff8 && do_es && opcode.size == RL78_Word)))
                 ;
               else
                 PC ('!');
             }

           if (do_cond)
             {
               PR (PS, "%s", condition_names[oper->condition]);
               break;
             }

           switch (oper->type)
             {
             case RL78_Operand_Immediate:
               if (do_addr)
                 dis->print_address_func (oper->addend, dis);
               else if (do_hex
                        || oper->addend > 999
                        || oper->addend < -999)
                 PR (PS, "%#x", oper->addend);
               else
                 PR (PS, "%d", oper->addend);
               break;

             case RL78_Operand_Register:
               PR (PS, "%s", register_names[oper->reg]);
               break;

             case RL78_Operand_Bit:
               PR (PS, "%s.%d", register_names[oper->reg], oper->bit_number);
               break;

             case RL78_Operand_Indirect:
             case RL78_Operand_BitIndirect:
               switch (oper->reg)
                 {
                 case RL78_Reg_None:
                   if (oper->addend == 0xffffa && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "psw");
                   else if (oper->addend == 0xffff8 && do_sfr && opcode.size == RL78_Word)
                     PR (PS, "sp");
                   else if (oper->addend == 0x0fff8 && do_sfr && do_es && opcode.size == RL78_Word)
                     PR (PS, "sp");
                   else if (oper->addend == 0xffff8 && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "spl");
                   else if (oper->addend == 0xffff9 && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "sph");
                   else if (oper->addend == 0xffffc && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "cs");
                   else if (oper->addend == 0xffffd && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "es");
                   else if (oper->addend == 0xffffe && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "pmc");
                   else if (oper->addend == 0xfffff && do_sfr && opcode.size == RL78_Byte)
                     PR (PS, "mem");
                   else if (oper->addend >= 0xffe20)
                     PR (PS, "%#x", oper->addend);
                   else
                     {
                       int faddr = oper->addend;
                       if (do_es && ! oper->use_es)
                         faddr += 0xf0000;
                       dis->print_address_func (faddr, dis);
                     }
                   break;

                 case RL78_Reg_B:
                 case RL78_Reg_C:
                 case RL78_Reg_BC:
                   PR (PS, "%d[%s]", oper->addend, register_names[oper->reg]);
                   break;

                 default:
                   PR (PS, "[%s", register_names[oper->reg]);
                   if (oper->reg2 != RL78_Reg_None)
                     PR (PS, "+%s", register_names[oper->reg2]);
                   if (oper->addend || do_addr)
                     PR (PS, "+%d", oper->addend);
                   PC (']');
                   break;

                 }
               if (oper->type == RL78_Operand_BitIndirect)
                 PR (PS, ".%d", oper->bit_number);
               break;

#if DEBUG_SEMANTICS
               /* Shouldn't happen - push and pop don't print
                  [SP] directly.  But we *do* use them for
                  semantic debugging.  */
             case RL78_Operand_PostInc:
               PR (PS, "[%s++]", register_names[oper->reg]);
               break;
             case RL78_Operand_PreDec:
               PR (PS, "[--%s]", register_names[oper->reg]);
               break;
#endif

             default:
               /* If we ever print this, that means the
                  programmer tried to print an operand with a
                  type we don't expect.  Print the line and
                  operand number from rl78-decode.opc for
                  them.  */
               PR (PS, "???%d.%d", opcode.lineno, *s - '0');
               break;
             }
           }
       }
   }

#if DEBUG_SEMANTICS

 PR (PS, "\t\033[34m(line %d)\033[0m", opcode.lineno);

#endif

 return rv;
}

int
print_insn_rl78 (bfd_vma addr, disassemble_info * dis)
{
 return print_insn_rl78_common (addr, dis, RL78_ISA_DEFAULT);
}

int
print_insn_rl78_g10 (bfd_vma addr, disassemble_info * dis)
{
 return print_insn_rl78_common (addr, dis, RL78_ISA_G10);
}

int
print_insn_rl78_g13 (bfd_vma addr, disassemble_info * dis)
{
 return print_insn_rl78_common (addr, dis, RL78_ISA_G13);
}

int
print_insn_rl78_g14 (bfd_vma addr, disassemble_info * dis)
{
 return print_insn_rl78_common (addr, dis, RL78_ISA_G14);
}

disassembler_ftype
rl78_get_disassembler (bfd *abfd)
{
 int cpu = E_FLAG_RL78_ANY_CPU;

 if (abfd != NULL && bfd_get_flavour (abfd) == bfd_target_elf_flavour)
   cpu = abfd->tdata.elf_obj_data->elf_header->e_flags & E_FLAG_RL78_CPU_MASK;

 switch (cpu)
   {
   case E_FLAG_RL78_G10:
     return print_insn_rl78_g10;
   case E_FLAG_RL78_G13:
     return print_insn_rl78_g13;
   case E_FLAG_RL78_G14:
     return print_insn_rl78_g14;
   default:
     return print_insn_rl78;
   }
}