1 /* Print VAX instructions.
2 Copyright (C) 1995-2024 Free Software Foundation, Inc.
3 Contributed by Pauline Middelink <middelin@polyware.iaf.nl>
5 This file is part of the GNU opcodes library.
7 This library is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 It is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
25 #include "opcode/vax.h"
26 #include "disassemble.h"
28 static char *reg_names
[] =
30 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
31 "r8", "r9", "r10", "r11", "ap", "fp", "sp", "pc"
34 /* Definitions for the function entry mask bits. */
35 static char *entry_mask_bit
[] =
37 /* Registers 0 and 1 shall not be saved, since they're used to pass back
38 a function's result to its caller... */
40 /* Registers 2 .. 11 are normal registers. */
41 "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r9", "r10", "r11",
42 /* Registers 12 and 13 are argument and frame pointer and must not
43 be saved by using the entry mask. */
45 /* Bits 14 and 15 control integer and decimal overflow. */
49 /* Sign-extend an (unsigned char). */
50 #define COERCE_SIGNED_CHAR(ch) ((signed char)(ch))
52 /* Get a 1 byte signed integer. */
54 (p += 1, FETCH_DATA (info, p), \
55 COERCE_SIGNED_CHAR(p[-1]))
57 /* Get a 2 byte signed integer. */
58 #define COERCE16(x) ((int) (((x) ^ 0x8000) - 0x8000))
60 (p += 2, FETCH_DATA (info, p), \
61 COERCE16 ((p[-1] << 8) + p[-2]))
63 /* Get a 4 byte signed integer. */
64 #define COERCE32(x) ((int) (((x) ^ 0x80000000) - 0x80000000))
66 (p += 4, FETCH_DATA (info, p), \
67 (COERCE32 (((((((unsigned) p[-1] << 8) + p[-2]) << 8) + p[-3]) << 8) + p[-4])))
69 /* Maximum length of an instruction. */
74 /* Points to first byte not fetched. */
75 bfd_byte
* max_fetched
;
76 bfd_byte the_buffer
[MAXLEN
];
78 OPCODES_SIGJMP_BUF bailout
;
81 /* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive)
82 to ADDR (exclusive) are valid. Returns 1 for success, longjmps
84 #define FETCH_DATA(info, addr) \
85 ((addr) <= ((struct private *)(info->private_data))->max_fetched \
86 ? 1 : fetch_data ((info), (addr)))
89 fetch_data (struct disassemble_info
*info
, bfd_byte
*addr
)
92 struct private *priv
= (struct private *) info
->private_data
;
93 bfd_vma start
= priv
->insn_start
+ (priv
->max_fetched
- priv
->the_buffer
);
95 status
= (*info
->read_memory_func
) (start
,
97 addr
- priv
->max_fetched
,
101 (*info
->memory_error_func
) (status
, start
, info
);
102 OPCODES_SIGLONGJMP (priv
->bailout
, 1);
105 priv
->max_fetched
= addr
;
110 /* Entry mask handling. */
111 static unsigned int entry_addr_occupied_slots
= 0;
112 static unsigned int entry_addr_total_slots
= 0;
113 static bfd_vma
* entry_addr
= NULL
;
115 /* Parse the VAX specific disassembler options. These contain function
116 entry addresses, which can be useful to disassemble ROM images, since
117 there's no symbol table. Returns TRUE upon success, FALSE otherwise. */
120 parse_disassembler_options (const char *options
)
122 const char * entry_switch
= "entry:";
124 while ((options
= strstr (options
, entry_switch
)))
126 options
+= strlen (entry_switch
);
128 /* The greater-than part of the test below is paranoia. */
129 if (entry_addr_occupied_slots
>= entry_addr_total_slots
)
131 /* A guesstimate of the number of entries we will have to create. */
132 entry_addr_total_slots
133 += 1 + strlen (options
) / (strlen (entry_switch
) + 5);
135 entry_addr
= realloc (entry_addr
, sizeof (bfd_vma
)
136 * entry_addr_total_slots
);
139 if (entry_addr
== NULL
)
142 entry_addr
[entry_addr_occupied_slots
] = bfd_scan_vma (options
, NULL
, 0);
143 entry_addr_occupied_slots
++;
149 #if 0 /* FIXME: Ideally the disassembler should have target specific
150 initialisation and termination function pointers. Then
151 parse_disassembler_options could be the init function and
152 free_entry_array (below) could be the termination routine.
153 Until then there is no way for the disassembler to tell us
154 that it has finished and that we no longer need the entry
155 array, so this routine is suppressed for now. It does mean
156 that we leak memory, but only to the extent that we do not
157 free it just before the disassembler is about to terminate
160 /* Free memory allocated to our entry array. */
163 free_entry_array (void)
169 entry_addr_occupied_slots
= entry_addr_total_slots
= 0;
173 /* Check if the given address is a known function entry point. This is
174 the case if there is a symbol of the function type at this address.
175 We also check for synthetic symbols as these are used for PLT entries
176 (weak undefined symbols may not have the function type set). Finally
177 the address may have been forced to be treated as an entry point. The
178 latter helps in disassembling ROM images, because there's no symbol
179 table at all. Forced entry points can be given by supplying several
180 -M options to objdump: -M entry:0xffbb7730. */
183 is_function_entry (struct disassemble_info
*info
, bfd_vma addr
)
187 /* Check if there's a function or PLT symbol at our address. */
190 && (info
->symbols
[0]->flags
& (BSF_FUNCTION
| BSF_SYNTHETIC
))
191 && addr
== bfd_asymbol_value (info
->symbols
[0]))
194 /* Check for forced function entry address. */
195 for (i
= entry_addr_occupied_slots
; i
--;)
196 if (entry_addr
[i
] == addr
)
202 /* Check if the given address is the last longword of a PLT entry.
203 This longword is data and depending on the value it may interfere
204 with disassembly of further PLT entries. We make use of the fact
205 PLT symbols are marked BSF_SYNTHETIC. */
207 is_plt_tail (struct disassemble_info
*info
, bfd_vma addr
)
211 && (info
->symbols
[0]->flags
& BSF_SYNTHETIC
)
212 && addr
== bfd_asymbol_value (info
->symbols
[0]) + 8)
219 print_insn_mode (const char *d
,
222 bfd_vma addr
, /* PC for this arg to be relative to. */
223 disassemble_info
*info
)
225 unsigned char *p
= p0
;
226 unsigned char mode
, reg
;
228 /* Fetch and interpret mode byte. */
229 mode
= (unsigned char) NEXTBYTE (p
);
236 case 0x30: /* Literal mode $number. */
237 if (d
[1] == 'd' || d
[1] == 'f' || d
[1] == 'g' || d
[1] == 'h')
238 (*info
->fprintf_func
) (info
->stream
, "$0x%x [%c-float]", mode
, d
[1]);
240 (*info
->fprintf_func
) (info
->stream
, "$0x%x", mode
);
242 case 0x40: /* Index: base-addr[Rn] */
244 unsigned char *q
= p0
+ 1;
245 unsigned char nextmode
= NEXTBYTE (q
);
246 if (nextmode
< 0x60 || nextmode
== 0x8f)
247 /* Literal, index, register, or immediate is invalid. In
248 particular don't recurse into another index mode which
249 might overflow the_buffer. */
250 (*info
->fprintf_func
) (info
->stream
, "[invalid base]");
252 p
+= print_insn_mode (d
, size
, p0
+ 1, addr
+ 1, info
);
253 (*info
->fprintf_func
) (info
->stream
, "[%s]", reg_names
[reg
]);
256 case 0x50: /* Register: Rn */
257 (*info
->fprintf_func
) (info
->stream
, "%s", reg_names
[reg
]);
259 case 0x60: /* Register deferred: (Rn) */
260 (*info
->fprintf_func
) (info
->stream
, "(%s)", reg_names
[reg
]);
262 case 0x70: /* Autodecrement: -(Rn) */
263 (*info
->fprintf_func
) (info
->stream
, "-(%s)", reg_names
[reg
]);
265 case 0x80: /* Autoincrement: (Rn)+ */
270 FETCH_DATA (info
, p
+ size
);
271 (*info
->fprintf_func
) (info
->stream
, "$0x");
272 if (d
[1] == 'd' || d
[1] == 'f' || d
[1] == 'g' || d
[1] == 'h')
276 float_word
= p
[0] | (p
[1] << 8);
277 if ((d
[1] == 'd' || d
[1] == 'f')
278 && (float_word
& 0xff80) == 0x8000)
280 (*info
->fprintf_func
) (info
->stream
, "[invalid %c-float]",
285 for (i
= 0; i
< size
; i
++)
286 (*info
->fprintf_func
) (info
->stream
, "%02x",
288 (*info
->fprintf_func
) (info
->stream
, " [%c-float]", d
[1]);
293 for (i
= 0; i
< size
; i
++)
294 (*info
->fprintf_func
) (info
->stream
, "%02x", p
[size
- i
- 1]);
299 (*info
->fprintf_func
) (info
->stream
, "(%s)+", reg_names
[reg
]);
301 case 0x90: /* Autoincrement deferred: @(Rn)+ */
303 (*info
->fprintf_func
) (info
->stream
, "*0x%x", NEXTLONG (p
));
305 (*info
->fprintf_func
) (info
->stream
, "@(%s)+", reg_names
[reg
]);
307 case 0xB0: /* Displacement byte deferred: *displ(Rn). */
308 (*info
->fprintf_func
) (info
->stream
, "*");
310 case 0xA0: /* Displacement byte: displ(Rn). */
312 (*info
->print_address_func
) (addr
+ 2 + NEXTBYTE (p
), info
);
314 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTBYTE (p
),
317 case 0xD0: /* Displacement word deferred: *displ(Rn). */
318 (*info
->fprintf_func
) (info
->stream
, "*");
320 case 0xC0: /* Displacement word: displ(Rn). */
322 (*info
->print_address_func
) (addr
+ 3 + NEXTWORD (p
), info
);
324 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTWORD (p
),
327 case 0xF0: /* Displacement long deferred: *displ(Rn). */
328 (*info
->fprintf_func
) (info
->stream
, "*");
330 case 0xE0: /* Displacement long: displ(Rn). */
332 (*info
->print_address_func
) (addr
+ 5 + NEXTLONG (p
), info
);
334 (*info
->fprintf_func
) (info
->stream
, "0x%x(%s)", NEXTLONG (p
),
342 /* Returns number of bytes "eaten" by the operand, or return -1 if an
343 invalid operand was found, or -2 if an opcode tabel error was
347 print_insn_arg (const char *d
,
349 bfd_vma addr
, /* PC for this arg to be relative to. */
350 disassemble_info
*info
)
354 /* Check validity of addressing length. */
357 case 'b' : arg_len
= 1; break;
358 case 'd' : arg_len
= 8; break;
359 case 'f' : arg_len
= 4; break;
360 case 'g' : arg_len
= 8; break;
361 case 'h' : arg_len
= 16; break;
362 case 'l' : arg_len
= 4; break;
363 case 'o' : arg_len
= 16; break;
364 case 'w' : arg_len
= 2; break;
365 case 'q' : arg_len
= 8; break;
369 /* Branches have no mode byte. */
372 unsigned char *p
= p0
;
375 (*info
->print_address_func
) (addr
+ 1 + NEXTBYTE (p
), info
);
377 (*info
->print_address_func
) (addr
+ 2 + NEXTWORD (p
), info
);
382 return print_insn_mode (d
, arg_len
, p0
, addr
, info
);
385 /* Print the vax instruction at address MEMADDR in debugged memory,
386 on INFO->STREAM. Returns length of the instruction, in bytes. */
389 print_insn_vax (bfd_vma memaddr
, disassemble_info
*info
)
391 static bool parsed_disassembler_options
= false;
392 const struct vot
*votp
;
396 bfd_byte
*buffer
= priv
.the_buffer
;
398 info
->private_data
= & priv
;
399 priv
.max_fetched
= priv
.the_buffer
;
400 priv
.insn_start
= memaddr
;
402 if (! parsed_disassembler_options
403 && info
->disassembler_options
!= NULL
)
405 parse_disassembler_options (info
->disassembler_options
);
407 /* To avoid repeated parsing of these options. */
408 parsed_disassembler_options
= true;
411 if (OPCODES_SIGSETJMP (priv
.bailout
) != 0)
416 /* Check if the info buffer has more than one byte left since
417 the last opcode might be a single byte with no argument data. */
418 if (info
->buffer_length
- (memaddr
- info
->buffer_vma
) > 1
419 && (info
->stop_vma
== 0 || memaddr
< (info
->stop_vma
- 1)))
421 FETCH_DATA (info
, buffer
+ 2);
425 FETCH_DATA (info
, buffer
+ 1);
429 /* Decode function entry mask. */
430 if (is_function_entry (info
, memaddr
))
433 int register_mask
= buffer
[1] << 8 | buffer
[0];
435 (*info
->fprintf_func
) (info
->stream
, ".word 0x%04x # Entry mask: <",
438 for (i
= 15; i
>= 0; i
--)
439 if (register_mask
& (1 << i
))
440 (*info
->fprintf_func
) (info
->stream
, " %s", entry_mask_bit
[i
]);
442 (*info
->fprintf_func
) (info
->stream
, " >");
447 /* Decode PLT entry offset longword. */
448 if (is_plt_tail (info
, memaddr
))
452 FETCH_DATA (info
, buffer
+ 4);
453 offset
= ((unsigned) buffer
[3] << 24 | buffer
[2] << 16
454 | buffer
[1] << 8 | buffer
[0]);
455 (*info
->fprintf_func
) (info
->stream
, ".long 0x%08x", offset
);
460 for (votp
= &votstrs
[0]; votp
->name
[0]; votp
++)
462 vax_opcodeT opcode
= votp
->detail
.code
;
464 /* 2 byte codes match 2 buffer pos. */
465 if ((bfd_byte
) opcode
== buffer
[0]
466 && (opcode
>> 8 == 0 || opcode
>> 8 == buffer
[1]))
468 argp
= votp
->detail
.args
;
474 /* Handle undefined instructions. */
475 (*info
->fprintf_func
) (info
->stream
, ".word 0x%x",
476 (buffer
[0] << 8) + buffer
[1]);
480 /* Point at first byte of argument data, and at descriptor for first
482 arg
= buffer
+ ((votp
->detail
.code
>> 8) ? 2 : 1);
484 /* Make sure we have it in mem */
485 FETCH_DATA (info
, arg
);
487 (*info
->fprintf_func
) (info
->stream
, "%s", votp
->name
);
489 (*info
->fprintf_func
) (info
->stream
, " ");
493 arg
+= print_insn_arg (argp
, arg
, memaddr
+ (arg
- buffer
), info
);
496 (*info
->fprintf_func
) (info
->stream
, ",");