3d557b4cce
operands, so that data addresses can be corrected when not ES-overridden. * rl78-decode.c: Regenerate. * rl78-dis.c (print_insn_rl78): Make order of modifiers irrelevent. When the 'e' specifier is used on an operand and no ES prefix is provided, adjust address to make it absolute.
330 lines
7.3 KiB
C
330 lines
7.3 KiB
C
/* Disassembler code for Renesas RL78.
|
|
Copyright 2011, 2012 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 "dis-asm.h"
|
|
#include "opcode/rl78.h"
|
|
|
|
#define DEBUG_SEMANTICS 0
|
|
|
|
typedef struct
|
|
{
|
|
bfd_vma pc;
|
|
disassemble_info * dis;
|
|
} RL78_Data;
|
|
|
|
static int
|
|
rl78_get_byte (void * vdata)
|
|
{
|
|
bfd_byte buf[1];
|
|
RL78_Data *rl78_data = (RL78_Data *) vdata;
|
|
|
|
rl78_data->dis->read_memory_func (rl78_data->pc,
|
|
buf,
|
|
1,
|
|
rl78_data->dis);
|
|
|
|
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;
|
|
}
|
|
}
|
|
|
|
int
|
|
print_insn_rl78 (bfd_vma addr, disassemble_info * dis)
|
|
{
|
|
int rv;
|
|
RL78_Data rl78_data;
|
|
RL78_Opcode_Decoded opcode;
|
|
const char * s;
|
|
#if DEBUG_SEMANTICS
|
|
static char buf[200];
|
|
#endif
|
|
|
|
rl78_data.pc = addr;
|
|
rl78_data.dis = dis;
|
|
|
|
rv = rl78_decode_opcode (addr, &opcode, rl78_get_byte, &rl78_data);
|
|
|
|
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 = opcode.op + *s - '0';
|
|
if (do_es)
|
|
{
|
|
if (oper->use_es && indirect_type (oper->type))
|
|
PR (PS, "es:");
|
|
}
|
|
|
|
if (do_bang)
|
|
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 >= 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)
|
|
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;
|
|
}
|