/* Print VAX instructions.
- Copyright 1995, 1998, 2000, 2001, 2002, 2005
+ Copyright 1995, 1998, 2000, 2001, 2002, 2005, 2007, 2009
Free Software Foundation, Inc.
Contributed by Pauline Middelink <middelin@polyware.iaf.nl>
- This program is free software; you can redistribute it and/or modify
+ 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 2 of the License, or
- (at your option) any later version.
+ the Free Software Foundation; either version 3, or (at your option)
+ any later version.
- This program 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.
+ 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. */
+ Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
+ MA 02110-1301, USA. */
#include <setjmp.h>
#include <string.h>
#include "opcode/vax.h"
#include "dis-asm.h"
-/* Local function prototypes */
-static int fetch_data PARAMS ((struct disassemble_info *, bfd_byte *));
-static int print_insn_arg
- PARAMS ((const char *, unsigned char *, bfd_vma, disassemble_info *));
-static int print_insn_mode
- PARAMS ((const char *, int, unsigned char *, bfd_vma, disassemble_info *));
-
-
static char *reg_names[] =
{
"r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
};
/* Sign-extend an (unsigned char). */
-#if __STDC__ == 1
#define COERCE_SIGNED_CHAR(ch) ((signed char)(ch))
-#else
-#define COERCE_SIGNED_CHAR(ch) ((int)(((ch) ^ 0x80) & 0xFF) - 128)
-#endif
/* Get a 1 byte signed integer. */
#define NEXTBYTE(p) \
? 1 : fetch_data ((info), (addr)))
static int
-fetch_data (info, addr)
- struct disassemble_info *info;
- bfd_byte *addr;
+fetch_data (struct disassemble_info *info, bfd_byte *addr)
{
int status;
struct private *priv = (struct private *) info->private_data;
}
}
#endif
-/* Check if the given address is a known function entry. Either there must
- be a symbol of function type at this address, or the address must be
- a forced entry point. The later helps in disassembling ROM images, because
- there's no symbol table at all. Forced entry points can be given by
- supplying several -M options to objdump: -M entry:0xffbb7730. */
+/* Check if the given address is a known function entry point. This is
+ the case if there is a symbol of the function type at this address.
+ We also check for synthetic symbols as these are used for PLT entries
+ (weak undefined symbols may not have the function type set). Finally
+ the address may have been forced to be treated as an entry point. The
+ latter helps in disassembling ROM images, because there's no symbol
+ table at all. Forced entry points can be given by supplying several
+ -M options to objdump: -M entry:0xffbb7730. */
static bfd_boolean
is_function_entry (struct disassemble_info *info, bfd_vma addr)
{
unsigned int i;
- /* Check if there's a BSF_FUNCTION symbol at our address. */
+ /* Check if there's a function or PLT symbol at our address. */
if (info->symbols
&& info->symbols[0]
- && (info->symbols[0]->flags & BSF_FUNCTION)
+ && (info->symbols[0]->flags & (BSF_FUNCTION | BSF_SYNTHETIC))
&& addr == bfd_asymbol_value (info->symbols[0]))
return TRUE;
return FALSE;
}
+/* Check if the given address is the last longword of a PLT entry.
+ This longword is data and depending on the value it may interfere
+ with disassembly of further PLT entries. We make use of the fact
+ PLT symbols are marked BSF_SYNTHETIC. */
+static bfd_boolean
+is_plt_tail (struct disassemble_info *info, bfd_vma addr)
+{
+ if (info->symbols
+ && info->symbols[0]
+ && (info->symbols[0]->flags & BSF_SYNTHETIC)
+ && addr == bfd_asymbol_value (info->symbols[0]) + 8)
+ return TRUE;
+
+ return FALSE;
+}
+
+static int
+print_insn_mode (const char *d,
+ int size,
+ unsigned char *p0,
+ bfd_vma addr, /* PC for this arg to be relative to. */
+ disassemble_info *info)
+{
+ unsigned char *p = p0;
+ unsigned char mode, reg;
+
+ /* Fetch and interpret mode byte. */
+ mode = (unsigned char) NEXTBYTE (p);
+ reg = mode & 0xF;
+ switch (mode & 0xF0)
+ {
+ case 0x00:
+ case 0x10:
+ case 0x20:
+ case 0x30: /* Literal mode $number. */
+ if (d[1] == 'd' || d[1] == 'f' || d[1] == 'g' || d[1] == 'h')
+ (*info->fprintf_func) (info->stream, "$0x%x [%c-float]", mode, d[1]);
+ else
+ (*info->fprintf_func) (info->stream, "$0x%x", mode);
+ break;
+ case 0x40: /* Index: base-addr[Rn] */
+ p += print_insn_mode (d, size, p0 + 1, addr + 1, info);
+ (*info->fprintf_func) (info->stream, "[%s]", reg_names[reg]);
+ break;
+ case 0x50: /* Register: Rn */
+ (*info->fprintf_func) (info->stream, "%s", reg_names[reg]);
+ break;
+ case 0x60: /* Register deferred: (Rn) */
+ (*info->fprintf_func) (info->stream, "(%s)", reg_names[reg]);
+ break;
+ case 0x70: /* Autodecrement: -(Rn) */
+ (*info->fprintf_func) (info->stream, "-(%s)", reg_names[reg]);
+ break;
+ case 0x80: /* Autoincrement: (Rn)+ */
+ if (reg == 0xF)
+ { /* Immediate? */
+ int i;
+
+ FETCH_DATA (info, p + size);
+ (*info->fprintf_func) (info->stream, "$0x");
+ if (d[1] == 'd' || d[1] == 'f' || d[1] == 'g' || d[1] == 'h')
+ {
+ int float_word;
+
+ float_word = p[0] | (p[1] << 8);
+ if ((d[1] == 'd' || d[1] == 'f')
+ && (float_word & 0xff80) == 0x8000)
+ {
+ (*info->fprintf_func) (info->stream, "[invalid %c-float]",
+ d[1]);
+ }
+ else
+ {
+ for (i = 0; i < size; i++)
+ (*info->fprintf_func) (info->stream, "%02x",
+ p[size - i - 1]);
+ (*info->fprintf_func) (info->stream, " [%c-float]", d[1]);
+ }
+ }
+ else
+ {
+ for (i = 0; i < size; i++)
+ (*info->fprintf_func) (info->stream, "%02x", p[size - i - 1]);
+ }
+ p += size;
+ }
+ else
+ (*info->fprintf_func) (info->stream, "(%s)+", reg_names[reg]);
+ break;
+ case 0x90: /* Autoincrement deferred: @(Rn)+ */
+ if (reg == 0xF)
+ (*info->fprintf_func) (info->stream, "*0x%x", NEXTLONG (p));
+ else
+ (*info->fprintf_func) (info->stream, "@(%s)+", reg_names[reg]);
+ break;
+ case 0xB0: /* Displacement byte deferred: *displ(Rn). */
+ (*info->fprintf_func) (info->stream, "*");
+ case 0xA0: /* Displacement byte: displ(Rn). */
+ if (reg == 0xF)
+ (*info->print_address_func) (addr + 2 + NEXTBYTE (p), info);
+ else
+ (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTBYTE (p),
+ reg_names[reg]);
+ break;
+ case 0xD0: /* Displacement word deferred: *displ(Rn). */
+ (*info->fprintf_func) (info->stream, "*");
+ case 0xC0: /* Displacement word: displ(Rn). */
+ if (reg == 0xF)
+ (*info->print_address_func) (addr + 3 + NEXTWORD (p), info);
+ else
+ (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTWORD (p),
+ reg_names[reg]);
+ break;
+ case 0xF0: /* Displacement long deferred: *displ(Rn). */
+ (*info->fprintf_func) (info->stream, "*");
+ case 0xE0: /* Displacement long: displ(Rn). */
+ if (reg == 0xF)
+ (*info->print_address_func) (addr + 5 + NEXTLONG (p), info);
+ else
+ (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTLONG (p),
+ reg_names[reg]);
+ break;
+ }
+
+ return p - p0;
+}
+
+/* Returns number of bytes "eaten" by the operand, or return -1 if an
+ invalid operand was found, or -2 if an opcode tabel error was
+ found. */
+
+static int
+print_insn_arg (const char *d,
+ unsigned char *p0,
+ bfd_vma addr, /* PC for this arg to be relative to. */
+ disassemble_info *info)
+{
+ int arg_len;
+
+ /* Check validity of addressing length. */
+ switch (d[1])
+ {
+ case 'b' : arg_len = 1; break;
+ case 'd' : arg_len = 8; break;
+ case 'f' : arg_len = 4; break;
+ case 'g' : arg_len = 8; break;
+ case 'h' : arg_len = 16; break;
+ case 'l' : arg_len = 4; break;
+ case 'o' : arg_len = 16; break;
+ case 'w' : arg_len = 2; break;
+ case 'q' : arg_len = 8; break;
+ default : abort ();
+ }
+
+ /* Branches have no mode byte. */
+ if (d[0] == 'b')
+ {
+ unsigned char *p = p0;
+
+ if (arg_len == 1)
+ (*info->print_address_func) (addr + 1 + NEXTBYTE (p), info);
+ else
+ (*info->print_address_func) (addr + 2 + NEXTWORD (p), info);
+
+ return p - p0;
+ }
+
+ return print_insn_mode (d, arg_len, p0, addr, info);
+}
+
/* Print the vax instruction at address MEMADDR in debugged memory,
on INFO->STREAM. Returns length of the instruction, in bytes. */
int
-print_insn_vax (memaddr, info)
- bfd_vma memaddr;
- disassemble_info *info;
+print_insn_vax (bfd_vma memaddr, disassemble_info *info)
{
static bfd_boolean parsed_disassembler_options = FALSE;
const struct vot *votp;
struct private priv;
bfd_byte *buffer = priv.the_buffer;
- info->private_data = (PTR) &priv;
+ info->private_data = & priv;
priv.max_fetched = priv.the_buffer;
priv.insn_start = memaddr;
}
if (setjmp (priv.bailout) != 0)
- {
- /* Error return. */
- return -1;
- }
+ /* Error return. */
+ return -1;
argp = NULL;
/* Check if the info buffer has more than one byte left since
return 2;
}
+ /* Decode PLT entry offset longword. */
+ if (is_plt_tail (info, memaddr))
+ {
+ int offset;
+
+ FETCH_DATA (info, buffer + 4);
+ offset = buffer[3] << 24 | buffer[2] << 16 | buffer[1] << 8 | buffer[0];
+ (*info->fprintf_func) (info->stream, ".long 0x%08x", offset);
+
+ return 4;
+ }
+
for (votp = &votstrs[0]; votp->name[0]; votp++)
{
- register vax_opcodeT opcode = votp->detail.code;
+ vax_opcodeT opcode = votp->detail.code;
/* 2 byte codes match 2 buffer pos. */
if ((bfd_byte) opcode == buffer[0]
return arg - buffer;
}
-/* Returns number of bytes "eaten" by the operand, or return -1 if an
- invalid operand was found, or -2 if an opcode tabel error was
- found. */
-
-static int
-print_insn_arg (d, p0, addr, info)
- const char *d;
- unsigned char *p0;
- bfd_vma addr; /* PC for this arg to be relative to */
- disassemble_info *info;
-{
- int arg_len;
-
- /* check validity of addressing length */
- switch (d[1])
- {
- case 'b' : arg_len = 1; break;
- case 'd' : arg_len = 8; break;
- case 'f' : arg_len = 4; break;
- case 'g' : arg_len = 8; break;
- case 'h' : arg_len = 16; break;
- case 'l' : arg_len = 4; break;
- case 'o' : arg_len = 16; break;
- case 'w' : arg_len = 2; break;
- case 'q' : arg_len = 8; break;
- default : abort();
- }
-
- /* branches have no mode byte */
- if (d[0] == 'b')
- {
- unsigned char *p = p0;
-
- if (arg_len == 1)
- (*info->print_address_func) (addr + 1 + NEXTBYTE (p), info);
- else
- (*info->print_address_func) (addr + 2 + NEXTWORD (p), info);
-
- return p - p0;
- }
-
- return print_insn_mode (d, arg_len, p0, addr, info);
-}
-
-static int
-print_insn_mode (d, size, p0, addr, info)
- const char *d;
- int size;
- unsigned char *p0;
- bfd_vma addr; /* PC for this arg to be relative to */
- disassemble_info *info;
-{
- unsigned char *p = p0;
- unsigned char mode, reg;
-
- /* fetch and interpret mode byte */
- mode = (unsigned char) NEXTBYTE (p);
- reg = mode & 0xF;
- switch (mode & 0xF0)
- {
- case 0x00:
- case 0x10:
- case 0x20:
- case 0x30: /* literal mode $number */
- if (d[1] == 'd' || d[1] == 'f' || d[1] == 'g' || d[1] == 'h')
- (*info->fprintf_func) (info->stream, "$0x%x [%c-float]", mode, d[1]);
- else
- (*info->fprintf_func) (info->stream, "$0x%x", mode);
- break;
- case 0x40: /* index: base-addr[Rn] */
- p += print_insn_mode (d, size, p0 + 1, addr + 1, info);
- (*info->fprintf_func) (info->stream, "[%s]", reg_names[reg]);
- break;
- case 0x50: /* register: Rn */
- (*info->fprintf_func) (info->stream, "%s", reg_names[reg]);
- break;
- case 0x60: /* register deferred: (Rn) */
- (*info->fprintf_func) (info->stream, "(%s)", reg_names[reg]);
- break;
- case 0x70: /* autodecrement: -(Rn) */
- (*info->fprintf_func) (info->stream, "-(%s)", reg_names[reg]);
- break;
- case 0x80: /* autoincrement: (Rn)+ */
- if (reg == 0xF)
- { /* immediate? */
- int i;
-
- FETCH_DATA (info, p + size);
- (*info->fprintf_func) (info->stream, "$0x");
- if (d[1] == 'd' || d[1] == 'f' || d[1] == 'g' || d[1] == 'h')
- {
- int float_word;
-
- float_word = p[0] | (p[1] << 8);
- if ((d[1] == 'd' || d[1] == 'f')
- && (float_word & 0xff80) == 0x8000)
- {
- (*info->fprintf_func) (info->stream, "[invalid %c-float]",
- d[1]);
- }
- else
- {
- for (i = 0; i < size; i++)
- (*info->fprintf_func) (info->stream, "%02x",
- p[size - i - 1]);
- (*info->fprintf_func) (info->stream, " [%c-float]", d[1]);
- }
- }
- else
- {
- for (i = 0; i < size; i++)
- (*info->fprintf_func) (info->stream, "%02x", p[size - i - 1]);
- }
- p += size;
- }
- else
- (*info->fprintf_func) (info->stream, "(%s)+", reg_names[reg]);
- break;
- case 0x90: /* autoincrement deferred: @(Rn)+ */
- if (reg == 0xF)
- (*info->fprintf_func) (info->stream, "*0x%x", NEXTLONG (p));
- else
- (*info->fprintf_func) (info->stream, "@(%s)+", reg_names[reg]);
- break;
- case 0xB0: /* displacement byte deferred: *displ(Rn) */
- (*info->fprintf_func) (info->stream, "*");
- case 0xA0: /* displacement byte: displ(Rn) */
- if (reg == 0xF)
- (*info->print_address_func) (addr + 2 + NEXTBYTE (p), info);
- else
- (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTBYTE (p),
- reg_names[reg]);
- break;
- case 0xD0: /* displacement word deferred: *displ(Rn) */
- (*info->fprintf_func) (info->stream, "*");
- case 0xC0: /* displacement word: displ(Rn) */
- if (reg == 0xF)
- (*info->print_address_func) (addr + 3 + NEXTWORD (p), info);
- else
- (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTWORD (p),
- reg_names[reg]);
- break;
- case 0xF0: /* displacement long deferred: *displ(Rn) */
- (*info->fprintf_func) (info->stream, "*");
- case 0xE0: /* displacement long: displ(Rn) */
- if (reg == 0xF)
- (*info->print_address_func) (addr + 5 + NEXTLONG (p), info);
- else
- (*info->fprintf_func) (info->stream, "0x%x(%s)", NEXTLONG (p),
- reg_names[reg]);
- break;
- }
-
- return p - p0;
-}