1 /* Print VAX instructions.
2 Copyright 1995, 1998, 2000, 2001, 2002, 2005, 2007
3 Free Software Foundation, Inc.
4 Contributed by Pauline Middelink <middelin@polyware.iaf.nl>
6 This file is part of the GNU opcodes library.
8 This library is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 It is distributed in the hope that it will be useful, but WITHOUT
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
16 License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 MA 02110-1301, USA. */
26 #include "opcode/vax.h"
29 static char *reg_names
[] =
31 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
32 "r8", "r9", "r10", "r11", "ap", "fp", "sp", "pc"
35 /* Definitions for the function entry mask bits. */
36 static char *entry_mask_bit
[] =
38 /* Registers 0 and 1 shall not be saved, since they're used to pass back
39 a function's result to its caller... */
41 /* Registers 2 .. 11 are normal registers. */
42 "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r9", "r10", "r11",
43 /* Registers 12 and 13 are argument and frame pointer and must not
44 be saved by using the entry mask. */
46 /* Bits 14 and 15 control integer and decimal overflow. */
50 /* Sign-extend an (unsigned char). */
51 #define COERCE_SIGNED_CHAR(ch) ((signed char)(ch))
53 /* Get a 1 byte signed integer. */
55 (p += 1, FETCH_DATA (info, p), \
56 COERCE_SIGNED_CHAR(p[-1]))
58 /* Get a 2 byte signed integer. */
59 #define COERCE16(x) ((int) (((x) ^ 0x8000) - 0x8000))
61 (p += 2, FETCH_DATA (info, p), \
62 COERCE16 ((p[-1] << 8) + p[-2]))
64 /* Get a 4 byte signed integer. */
65 #define COERCE32(x) ((int) (((x) ^ 0x80000000) - 0x80000000))
67 (p += 4, FETCH_DATA (info, p), \
68 (COERCE32 ((((((p[-1] << 8) + p[-2]) << 8) + p[-3]) << 8) + p[-4])))
70 /* Maximum length of an instruction. */
75 /* Points to first byte not fetched. */
76 bfd_byte
* max_fetched
;
77 bfd_byte the_buffer
[MAXLEN
];
82 /* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive)
83 to ADDR (exclusive) are valid. Returns 1 for success, longjmps
85 #define FETCH_DATA(info, addr) \
86 ((addr) <= ((struct private *)(info->private_data))->max_fetched \
87 ? 1 : fetch_data ((info), (addr)))
90 fetch_data (struct disassemble_info
*info
, bfd_byte
*addr
)
93 struct private *priv
= (struct private *) info
->private_data
;
94 bfd_vma start
= priv
->insn_start
+ (priv
->max_fetched
- priv
->the_buffer
);
96 status
= (*info
->read_memory_func
) (start
,
98 addr
- priv
->max_fetched
,
102 (*info
->memory_error_func
) (status
, start
, info
);
103 longjmp (priv
->bailout
, 1);
106 priv
->max_fetched
= addr
;
111 /* Entry mask handling. */
112 static unsigned int entry_addr_occupied_slots
= 0;
113 static unsigned int entry_addr_total_slots
= 0;
114 static bfd_vma
* entry_addr
= NULL
;
116 /* Parse the VAX specific disassembler options. These contain function
117 entry addresses, which can be useful to disassemble ROM images, since
118 there's no symbol table. Returns TRUE upon success, FALSE otherwise. */
121 parse_disassembler_options (char * options
)
123 const char * entry_switch
= "entry:";
125 while ((options
= strstr (options
, entry_switch
)))
127 options
+= strlen (entry_switch
);
129 /* The greater-than part of the test below is paranoia. */
130 if (entry_addr_occupied_slots
>= entry_addr_total_slots
)
132 /* A guesstimate of the number of entries we will have to create. */
133 entry_addr_total_slots
+=
134 strlen (options
) / (strlen (entry_switch
) + 5);
136 entry_addr
= realloc (entry_addr
, sizeof (bfd_vma
)
137 * entry_addr_total_slots
);
140 if (entry_addr
== NULL
)
143 entry_addr
[entry_addr_occupied_slots
] = bfd_scan_vma (options
, NULL
, 0);
144 entry_addr_occupied_slots
++;
150 #if 0 /* FIXME: Ideally the disassembler should have target specific
151 initialisation and termination function pointers. Then
152 parse_disassembler_options could be the init function and
153 free_entry_array (below) could be the termination routine.
154 Until then there is no way for the disassembler to tell us
155 that it has finished and that we no longer need the entry
156 array, so this routine is suppressed for now. It does mean
157 that we leak memory, but only to the extent that we do not
158 free it just before the disassembler is about to terminate
161 /* Free memory allocated to our entry array. */
164 free_entry_array (void)
170 entry_addr_occupied_slots
= entry_addr_total_slots
= 0;
174 /* Check if the given address is a known function entry. Either there must
175 be a symbol of function type at this address, or the address must be
176 a forced entry point. The later helps in disassembling ROM images, because
177 there's no symbol table at all. Forced entry points can be given by
178 supplying several -M options to objdump: -M entry:0xffbb7730. */
181 is_function_entry (struct disassemble_info
*info
, bfd_vma addr
)
185 /* Check if there's a BSF_FUNCTION symbol at our address. */
188 && (info
->symbols
[0]->flags
& BSF_FUNCTION
)
189 && addr
== bfd_asymbol_value (info
->symbols
[0]))
192 /* Check for forced function entry address. */
193 for (i
= entry_addr_occupied_slots
; i
--;)
194 if (entry_addr
[i
] == addr
)
201 print_insn_mode (const char *d
,
204 bfd_vma addr
, /* PC for this arg to be relative to. */
205 disassemble_info
*info
)
207 unsigned char *p
= p0
;
208 unsigned char mode
, reg
;
210 /* Fetch and interpret mode byte. */
211 mode
= (unsigned char) NEXTBYTE (p
);
218 case 0x30: /* Literal mode $number. */
219 if (d
[1] == 'd' || d
[1] == 'f' || d
[1] == 'g' || d
[1] == 'h')
220 (*info
->fprintf_func
) (info
->stream
, "$0x%x [%c-float]", mode
, d
[1]);
222 (*info
->fprintf_func
) (info
->stream
, "$0x%x", mode
);
224 case 0x40: /* Index: base-addr[Rn] */
225 p
+= print_insn_mode (d
, size
, p0
+ 1, addr
+ 1, info
);
226 (*info
->fprintf_func
) (info
->stream
, "[%s]", reg_names
[reg
]);
228 case 0x50: /* Register: Rn */
229 (*info
->fprintf_func
) (info
->stream
, "%s", reg_names
[reg
]);
231 case 0x60: /* Register deferred: (Rn) */
232 (*info
->fprintf_func
) (info
->stream
, "(%s)", reg_names
[reg
]);
234 case 0x70: /* Autodecrement: -(Rn) */
235 (*info
->fprintf_func
) (info
->stream
, "-(%s)", reg_names
[reg
]);
237 case 0x80: /* Autoincrement: (Rn)+ */
242 FETCH_DATA (info
, p
+ size
);
243 (*info
->fprintf_func
) (info
->stream
, "$0x");
244 if (d
[1] == 'd' || d
[1] == 'f' || d
[1] == 'g' || d
[1] == 'h')
248 float_word
= p
[0] | (p
[1] << 8);
249 if ((d
[1] == 'd' || d
[1] == 'f')
250 && (float_word
& 0xff80) == 0x8000)
252 (*info
->fprintf_func
) (info
->stream
, "[invalid %c-float]",
257 for (i
= 0; i
< size
; i
++)
258 (*info
->fprintf_func
) (info
->stream
, "%02x",
260 (*info
->fprintf_func
) (info
->stream
, " [%c-float]", d
[1]);
265 for (i
= 0; i
< size
; i
++)
266 (*info
->fprintf_func
) (info
->stream
, "%02x", p
[size
- i
- 1]);
271 (*info
->fprintf_func
) (info
->stream
, "(%s)+", reg_names
[reg
]);
273 case 0x90: /* Autoincrement deferred: @(Rn)+ */
275 (*info
->fprintf_func
) (info
->stream
, "*0x%x", NEXTLONG (p
));
277 (*info
->fprintf_func
) (info
->stream
, "@(%s)+", reg_names
[reg
]);
279 case 0xB0: /* Displacement byte deferred: *displ(Rn). */
280 (*info
->fprintf_func
) (info
->stream
, "*");
281 case 0xA0: /* Displacement byte: displ(Rn). */
283 (*info
->print_address_func
) (addr
+ 2 + NEXTBYTE (p
), info
);
285 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTBYTE (p
),
288 case 0xD0: /* Displacement word deferred: *displ(Rn). */
289 (*info
->fprintf_func
) (info
->stream
, "*");
290 case 0xC0: /* Displacement word: displ(Rn). */
292 (*info
->print_address_func
) (addr
+ 3 + NEXTWORD (p
), info
);
294 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTWORD (p
),
297 case 0xF0: /* Displacement long deferred: *displ(Rn). */
298 (*info
->fprintf_func
) (info
->stream
, "*");
299 case 0xE0: /* Displacement long: displ(Rn). */
301 (*info
->print_address_func
) (addr
+ 5 + NEXTLONG (p
), info
);
303 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTLONG (p
),
311 /* Returns number of bytes "eaten" by the operand, or return -1 if an
312 invalid operand was found, or -2 if an opcode tabel error was
316 print_insn_arg (const char *d
,
318 bfd_vma addr
, /* PC for this arg to be relative to. */
319 disassemble_info
*info
)
323 /* Check validity of addressing length. */
326 case 'b' : arg_len
= 1; break;
327 case 'd' : arg_len
= 8; break;
328 case 'f' : arg_len
= 4; break;
329 case 'g' : arg_len
= 8; break;
330 case 'h' : arg_len
= 16; break;
331 case 'l' : arg_len
= 4; break;
332 case 'o' : arg_len
= 16; break;
333 case 'w' : arg_len
= 2; break;
334 case 'q' : arg_len
= 8; break;
338 /* Branches have no mode byte. */
341 unsigned char *p
= p0
;
344 (*info
->print_address_func
) (addr
+ 1 + NEXTBYTE (p
), info
);
346 (*info
->print_address_func
) (addr
+ 2 + NEXTWORD (p
), info
);
351 return print_insn_mode (d
, arg_len
, p0
, addr
, info
);
354 /* Print the vax instruction at address MEMADDR in debugged memory,
355 on INFO->STREAM. Returns length of the instruction, in bytes. */
358 print_insn_vax (bfd_vma memaddr
, disassemble_info
*info
)
360 static bfd_boolean parsed_disassembler_options
= FALSE
;
361 const struct vot
*votp
;
365 bfd_byte
*buffer
= priv
.the_buffer
;
367 info
->private_data
= & priv
;
368 priv
.max_fetched
= priv
.the_buffer
;
369 priv
.insn_start
= memaddr
;
371 if (! parsed_disassembler_options
372 && info
->disassembler_options
!= NULL
)
374 parse_disassembler_options (info
->disassembler_options
);
376 /* To avoid repeated parsing of these options. */
377 parsed_disassembler_options
= TRUE
;
380 if (setjmp (priv
.bailout
) != 0)
385 /* Check if the info buffer has more than one byte left since
386 the last opcode might be a single byte with no argument data. */
387 if (info
->buffer_length
- (memaddr
- info
->buffer_vma
) > 1)
389 FETCH_DATA (info
, buffer
+ 2);
393 FETCH_DATA (info
, buffer
+ 1);
397 /* Decode function entry mask. */
398 if (is_function_entry (info
, memaddr
))
401 int register_mask
= buffer
[1] << 8 | buffer
[0];
403 (*info
->fprintf_func
) (info
->stream
, ".word 0x%04x # Entry mask: <",
406 for (i
= 15; i
>= 0; i
--)
407 if (register_mask
& (1 << i
))
408 (*info
->fprintf_func
) (info
->stream
, " %s", entry_mask_bit
[i
]);
410 (*info
->fprintf_func
) (info
->stream
, " >");
415 for (votp
= &votstrs
[0]; votp
->name
[0]; votp
++)
417 vax_opcodeT opcode
= votp
->detail
.code
;
419 /* 2 byte codes match 2 buffer pos. */
420 if ((bfd_byte
) opcode
== buffer
[0]
421 && (opcode
>> 8 == 0 || opcode
>> 8 == buffer
[1]))
423 argp
= votp
->detail
.args
;
429 /* Handle undefined instructions. */
430 (*info
->fprintf_func
) (info
->stream
, ".word 0x%x",
431 (buffer
[0] << 8) + buffer
[1]);
435 /* Point at first byte of argument data, and at descriptor for first
437 arg
= buffer
+ ((votp
->detail
.code
>> 8) ? 2 : 1);
439 /* Make sure we have it in mem */
440 FETCH_DATA (info
, arg
);
442 (*info
->fprintf_func
) (info
->stream
, "%s", votp
->name
);
444 (*info
->fprintf_func
) (info
->stream
, " ");
448 arg
+= print_insn_arg (argp
, arg
, memaddr
+ arg
- buffer
, info
);
451 (*info
->fprintf_func
) (info
->stream
, ",");