1 /* Disassemble z8000 code.
2 Copyright 1992, 1993, 1998, 2000, 2001, 2002, 2003
3 Free Software Foundation, Inc.
4
5 This file is part of GNU Binutils.
6
7 This program 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 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
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., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
20 USA. */
21
22 #include "sysdep.h"
23 #include "dis-asm.h"
24
25 #define DEFINE_TABLE
26 #include "z8k-opc.h"
27
28 #include <setjmp.h>
29
30 typedef struct
31 {
32 /* These are all indexed by nibble number (i.e only every other entry
33 of bytes is used, and every 4th entry of words). */
34 unsigned char nibbles[24];
35 unsigned char bytes[24];
36 unsigned short words[24];
37
38 /* Nibble number of first word not yet fetched. */
39 int max_fetched;
40 bfd_vma insn_start;
41 jmp_buf bailout;
42
43 int tabl_index;
44 char instr_asmsrc[80];
45 unsigned long arg_reg[0x0f];
46 unsigned long immediate;
47 unsigned long displacement;
48 unsigned long address;
49 unsigned long cond_code;
50 unsigned long ctrl_code;
51 unsigned long flags;
52 unsigned long interrupts;
53 }
54 instr_data_s;
55
56 /* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive)
57 to ADDR (exclusive) are valid. Returns 1 for success, longjmps
58 on error. */
59 #define FETCH_DATA(info, nibble) \
60 ((nibble) < ((instr_data_s *) (info->private_data))->max_fetched \
61 ? 1 : fetch_data ((info), (nibble)))
62
63 static int
fetch_data(struct disassemble_info * info,int nibble)64 fetch_data (struct disassemble_info *info, int nibble)
65 {
66 unsigned char mybuf[20];
67 int status;
68 instr_data_s *priv = (instr_data_s *) info->private_data;
69
70 if ((nibble % 4) != 0)
71 abort ();
72
73 status = (*info->read_memory_func) (priv->insn_start,
74 (bfd_byte *) mybuf,
75 nibble / 2,
76 info);
77 if (status != 0)
78 {
79 (*info->memory_error_func) (status, priv->insn_start, info);
80 longjmp (priv->bailout, 1);
81 }
82
83 {
84 int i;
85 unsigned char *p = mybuf;
86
87 for (i = 0; i < nibble;)
88 {
89 priv->words[i] = (p[0] << 8) | p[1];
90
91 priv->bytes[i] = *p;
92 priv->nibbles[i++] = *p >> 4;
93 priv->nibbles[i++] = *p & 0xf;
94
95 ++p;
96 priv->bytes[i] = *p;
97 priv->nibbles[i++] = *p >> 4;
98 priv->nibbles[i++] = *p & 0xf;
99
100 ++p;
101 }
102 }
103 priv->max_fetched = nibble;
104 return 1;
105 }
106
107 static char *codes[16] =
108 {
109 "f",
110 "lt",
111 "le",
112 "ule",
113 "ov/pe",
114 "mi",
115 "eq",
116 "c/ult",
117 "t",
118 "ge",
119 "gt",
120 "ugt",
121 "nov/po",
122 "pl",
123 "ne",
124 "nc/uge"
125 };
126
127 static char *ctrl_names[8] =
128 {
129 "<invld>",
130 "flags",
131 "fcw",
132 "refresh",
133 "psapseg",
134 "psapoff",
135 "nspseg",
136 "nspoff"
137 };
138
139 static int seg_length;
140 int z8k_lookup_instr (unsigned char *, disassemble_info *);
141 static void output_instr (instr_data_s *, unsigned long, disassemble_info *);
142 static void unpack_instr (instr_data_s *, int, disassemble_info *);
143 static void unparse_instr (instr_data_s *, int);
144
145 static int
print_insn_z8k(bfd_vma addr,disassemble_info * info,int is_segmented)146 print_insn_z8k (bfd_vma addr, disassemble_info *info, int is_segmented)
147 {
148 instr_data_s instr_data;
149
150 info->private_data = (PTR) &instr_data;
151 instr_data.max_fetched = 0;
152 instr_data.insn_start = addr;
153 if (setjmp (instr_data.bailout) != 0)
154 /* Error return. */
155 return -1;
156
157 info->bytes_per_chunk = 2;
158 info->bytes_per_line = 6;
159 info->display_endian = BFD_ENDIAN_BIG;
160
161 instr_data.tabl_index = z8k_lookup_instr (instr_data.nibbles, info);
162 if (instr_data.tabl_index >= 0)
163 {
164 unpack_instr (&instr_data, is_segmented, info);
165 unparse_instr (&instr_data, is_segmented);
166 output_instr (&instr_data, addr, info);
167 return z8k_table[instr_data.tabl_index].length + seg_length;
168 }
169 else
170 {
171 FETCH_DATA (info, 4);
172 (*info->fprintf_func) (info->stream, ".word %02x%02x",
173 instr_data.bytes[0], instr_data.bytes[2]);
174 return 2;
175 }
176 }
177
178 int
print_insn_z8001(bfd_vma addr,disassemble_info * info)179 print_insn_z8001 (bfd_vma addr, disassemble_info *info)
180 {
181 return print_insn_z8k (addr, info, 1);
182 }
183
184 int
print_insn_z8002(bfd_vma addr,disassemble_info * info)185 print_insn_z8002 (bfd_vma addr, disassemble_info *info)
186 {
187 return print_insn_z8k (addr, info, 0);
188 }
189
190 int
z8k_lookup_instr(unsigned char * nibbles,disassemble_info * info)191 z8k_lookup_instr (unsigned char *nibbles, disassemble_info *info)
192 {
193 int nibl_index, tabl_index;
194 int nibl_matched;
195 int need_fetch = 0;
196 unsigned short instr_nibl;
197 unsigned short tabl_datum, datum_class, datum_value;
198
199 nibl_matched = 0;
200 tabl_index = 0;
201 FETCH_DATA (info, 4);
202 while (!nibl_matched && z8k_table[tabl_index].name)
203 {
204 nibl_matched = 1;
205 for (nibl_index = 0;
206 nibl_index < z8k_table[tabl_index].length * 2 && nibl_matched;
207 nibl_index++)
208 {
209 if ((nibl_index % 4) == 0)
210 {
211 /* Fetch data only if it isn't already there. */
212 if (nibl_index >= 4 || (nibl_index < 4 && need_fetch))
213 FETCH_DATA (info, nibl_index + 4); /* Fetch one word at a time. */
214 if (nibl_index < 4)
215 need_fetch = 0;
216 else
217 need_fetch = 1;
218 }
219 instr_nibl = nibbles[nibl_index];
220
221 tabl_datum = z8k_table[tabl_index].byte_info[nibl_index];
222 datum_class = tabl_datum & CLASS_MASK;
223 datum_value = ~CLASS_MASK & tabl_datum;
224
225 switch (datum_class)
226 {
227 case CLASS_BIT:
228 if (datum_value != instr_nibl)
229 nibl_matched = 0;
230 break;
231 case CLASS_IGNORE:
232 break;
233 case CLASS_00II:
234 if (!((~instr_nibl) & 0x4))
235 nibl_matched = 0;
236 break;
237 case CLASS_01II:
238 if (!(instr_nibl & 0x4))
239 nibl_matched = 0;
240 break;
241 case CLASS_0CCC:
242 if (!((~instr_nibl) & 0x8))
243 nibl_matched = 0;
244 break;
245 case CLASS_1CCC:
246 if (!(instr_nibl & 0x8))
247 nibl_matched = 0;
248 break;
249 case CLASS_0DISP7:
250 if (!((~instr_nibl) & 0x8))
251 nibl_matched = 0;
252 nibl_index += 1;
253 break;
254 case CLASS_1DISP7:
255 if (!(instr_nibl & 0x8))
256 nibl_matched = 0;
257 nibl_index += 1;
258 break;
259 case CLASS_REGN0:
260 if (instr_nibl == 0)
261 nibl_matched = 0;
262 break;
263 case CLASS_BIT_1OR2:
264 if ((instr_nibl | 0x2) != (datum_value | 0x2))
265 nibl_matched = 0;
266 break;
267 default:
268 break;
269 }
270 }
271
272 if (nibl_matched)
273 return tabl_index;
274
275 tabl_index++;
276 }
277 return -1;
278 }
279
280 static void
output_instr(instr_data_s * instr_data,unsigned long addr ATTRIBUTE_UNUSED,disassemble_info * info)281 output_instr (instr_data_s *instr_data,
282 unsigned long addr ATTRIBUTE_UNUSED,
283 disassemble_info *info)
284 {
285 int num_bytes;
286 char out_str[100];
287
288 out_str[0] = 0;
289
290 num_bytes = (z8k_table[instr_data->tabl_index].length + seg_length) * 2;
291 FETCH_DATA (info, num_bytes);
292
293 strcat (out_str, instr_data->instr_asmsrc);
294
295 (*info->fprintf_func) (info->stream, "%s", out_str);
296 }
297
298 static void
unpack_instr(instr_data_s * instr_data,int is_segmented,disassemble_info * info)299 unpack_instr (instr_data_s *instr_data, int is_segmented, disassemble_info *info)
300 {
301 int nibl_count, loop;
302 unsigned short instr_nibl, instr_byte, instr_word;
303 long instr_long;
304 unsigned int tabl_datum, datum_class;
305 unsigned short datum_value;
306
307 nibl_count = 0;
308 loop = 0;
309 seg_length = 0;
310
311 while (z8k_table[instr_data->tabl_index].byte_info[loop] != 0)
312 {
313 FETCH_DATA (info, nibl_count + 4 - (nibl_count % 4));
314 instr_nibl = instr_data->nibbles[nibl_count];
315 instr_byte = instr_data->bytes[nibl_count & ~1];
316 instr_word = instr_data->words[nibl_count & ~3];
317
318 tabl_datum = z8k_table[instr_data->tabl_index].byte_info[loop];
319 datum_class = tabl_datum & CLASS_MASK;
320 datum_value = tabl_datum & ~CLASS_MASK;
321
322 switch (datum_class)
323 {
324 case CLASS_DISP:
325 switch (datum_value)
326 {
327 case ARG_DISP16:
328 instr_data->displacement = instr_data->insn_start + 4
329 + (signed short) (instr_word & 0xffff);
330 nibl_count += 3;
331 break;
332 case ARG_DISP12:
333 if (instr_word & 0x800)
334 /* Negative 12 bit displacement. */
335 instr_data->displacement = instr_data->insn_start + 2
336 - (signed short) ((instr_word & 0xfff) | 0xf000) * 2;
337 else
338 instr_data->displacement = instr_data->insn_start + 2
339 - (instr_word & 0x0fff) * 2;
340
341 nibl_count += 2;
342 break;
343 default:
344 break;
345 }
346 break;
347 case CLASS_IMM:
348 switch (datum_value)
349 {
350 case ARG_IMM4:
351 instr_data->immediate = instr_nibl;
352 break;
353 case ARG_NIM4:
354 instr_data->immediate = (- instr_nibl) & 0xf;
355 break;
356 case ARG_NIM8:
357 instr_data->immediate = (- instr_byte) & 0xff;
358 nibl_count += 1;
359 break;
360 case ARG_IMM8:
361 instr_data->immediate = instr_byte;
362 nibl_count += 1;
363 break;
364 case ARG_IMM16:
365 instr_data->immediate = instr_word;
366 nibl_count += 3;
367 break;
368 case ARG_IMM32:
369 FETCH_DATA (info, nibl_count + 8);
370 instr_long = (instr_data->words[nibl_count] << 16)
371 | (instr_data->words[nibl_count + 4]);
372 instr_data->immediate = instr_long;
373 nibl_count += 7;
374 break;
375 case ARG_IMMN:
376 instr_data->immediate = instr_nibl - 1;
377 break;
378 case ARG_IMM4M1:
379 instr_data->immediate = instr_nibl + 1;
380 break;
381 case ARG_IMM_1:
382 instr_data->immediate = 1;
383 break;
384 case ARG_IMM_2:
385 instr_data->immediate = 2;
386 break;
387 case ARG_IMM2:
388 instr_data->immediate = instr_nibl & 0x3;
389 break;
390 default:
391 break;
392 }
393 break;
394 case CLASS_CC:
395 instr_data->cond_code = instr_nibl;
396 break;
397 case CLASS_ADDRESS:
398 if (is_segmented)
399 {
400 if (instr_nibl & 0x8)
401 {
402 FETCH_DATA (info, nibl_count + 8);
403 instr_long = (instr_data->words[nibl_count] << 16)
404 | (instr_data->words[nibl_count + 4]);
405 instr_data->address = ((instr_word & 0x7f00) << 16)
406 + (instr_long & 0xffff);
407 nibl_count += 7;
408 seg_length = 2;
409 }
410 else
411 {
412 instr_data->address = ((instr_word & 0x7f00) << 16)
413 + (instr_word & 0x00ff);
414 nibl_count += 3;
415 }
416 }
417 else
418 {
419 instr_data->address = instr_word;
420 nibl_count += 3;
421 }
422 break;
423 case CLASS_0CCC:
424 case CLASS_1CCC:
425 instr_data->ctrl_code = instr_nibl & 0x7;
426 break;
427 case CLASS_0DISP7:
428 instr_data->displacement =
429 instr_data->insn_start + 2 - (instr_byte & 0x7f) * 2;
430 nibl_count += 1;
431 break;
432 case CLASS_1DISP7:
433 instr_data->displacement =
434 instr_data->insn_start + 2 - (instr_byte & 0x7f) * 2;
435 nibl_count += 1;
436 break;
437 case CLASS_01II:
438 instr_data->interrupts = instr_nibl & 0x3;
439 break;
440 case CLASS_00II:
441 instr_data->interrupts = instr_nibl & 0x3;
442 break;
443 case CLASS_IGNORE:
444 case CLASS_BIT:
445 instr_data->ctrl_code = instr_nibl & 0x7;
446 break;
447 case CLASS_FLAGS:
448 instr_data->flags = instr_nibl;
449 break;
450 case CLASS_REG:
451 instr_data->arg_reg[datum_value] = instr_nibl;
452 break;
453 case CLASS_REGN0:
454 instr_data->arg_reg[datum_value] = instr_nibl;
455 break;
456 case CLASS_DISP8:
457 instr_data->displacement =
458 instr_data->insn_start + 2 + (signed char) instr_byte * 2;
459 nibl_count += 1;
460 break;
461 case CLASS_BIT_1OR2:
462 instr_data->immediate = ((instr_nibl >> 1) & 0x1) + 1;
463 nibl_count += 1;
464 break;
465 default:
466 abort ();
467 break;
468 }
469
470 loop += 1;
471 nibl_count += 1;
472 }
473 }
474
475 static void
print_intr(char * tmp_str,unsigned long interrupts)476 print_intr(char *tmp_str, unsigned long interrupts)
477 {
478 int comma = 0;
479
480 *tmp_str = 0;
481 if (! (interrupts & 2))
482 {
483 strcat (tmp_str, "vi");
484 comma = 1;
485 }
486 if (! (interrupts & 1))
487 {
488 if (comma) strcat (tmp_str, ",");
489 strcat (tmp_str, "nvi");
490 }
491 }
492
493 static void
print_flags(char * tmp_str,unsigned long flags)494 print_flags(char *tmp_str, unsigned long flags)
495 {
496 int comma = 0;
497
498 *tmp_str = 0;
499 if (flags & 8)
500 {
501 strcat (tmp_str, "c");
502 comma = 1;
503 }
504 if (flags & 4)
505 {
506 if (comma) strcat (tmp_str, ",");
507 strcat (tmp_str, "z");
508 comma = 1;
509 }
510 if (flags & 2)
511 {
512 if (comma) strcat (tmp_str, ",");
513 strcat (tmp_str, "s");
514 comma = 1;
515 }
516 if (flags & 1)
517 {
518 if (comma) strcat (tmp_str, ",");
519 strcat (tmp_str, "p");
520 }
521 }
522
523 static void
unparse_instr(instr_data_s * instr_data,int is_segmented)524 unparse_instr (instr_data_s *instr_data, int is_segmented)
525 {
526 unsigned short datum_value;
527 unsigned int tabl_datum, datum_class;
528 int loop, loop_limit;
529 char out_str[80], tmp_str[25];
530
531 sprintf (out_str, "%s\t", z8k_table[instr_data->tabl_index].name);
532
533 loop_limit = z8k_table[instr_data->tabl_index].noperands;
534 for (loop = 0; loop < loop_limit; loop++)
535 {
536 if (loop)
537 strcat (out_str, ",");
538
539 tabl_datum = z8k_table[instr_data->tabl_index].arg_info[loop];
540 datum_class = tabl_datum & CLASS_MASK;
541 datum_value = tabl_datum & ~CLASS_MASK;
542
543 switch (datum_class)
544 {
545 case CLASS_X:
546 sprintf (tmp_str, "0x%0lx(r%ld)", instr_data->address,
547 instr_data->arg_reg[datum_value]);
548 strcat (out_str, tmp_str);
549 break;
550 case CLASS_BA:
551 if (is_segmented)
552 sprintf (tmp_str, "rr%ld(#0x%lx)", instr_data->arg_reg[datum_value],
553 instr_data->immediate);
554 else
555 sprintf (tmp_str, "r%ld(#0x%lx)", instr_data->arg_reg[datum_value],
556 instr_data->immediate);
557 strcat (out_str, tmp_str);
558 break;
559 case CLASS_BX:
560 if (is_segmented)
561 sprintf (tmp_str, "rr%ld(r%ld)", instr_data->arg_reg[datum_value],
562 instr_data->arg_reg[ARG_RX]);
563 else
564 sprintf (tmp_str, "r%ld(r%ld)", instr_data->arg_reg[datum_value],
565 instr_data->arg_reg[ARG_RX]);
566 strcat (out_str, tmp_str);
567 break;
568 case CLASS_DISP:
569 sprintf (tmp_str, "0x%0lx", instr_data->displacement);
570 strcat (out_str, tmp_str);
571 break;
572 case CLASS_IMM:
573 if (datum_value == ARG_IMM2) /* True with EI/DI instructions only. */
574 {
575 print_intr (tmp_str, instr_data->interrupts);
576 strcat (out_str, tmp_str);
577 break;
578 }
579 sprintf (tmp_str, "#0x%0lx", instr_data->immediate);
580 strcat (out_str, tmp_str);
581 break;
582 case CLASS_CC:
583 sprintf (tmp_str, "%s", codes[instr_data->cond_code]);
584 strcat (out_str, tmp_str);
585 break;
586 case CLASS_CTRL:
587 sprintf (tmp_str, "%s", ctrl_names[instr_data->ctrl_code]);
588 strcat (out_str, tmp_str);
589 break;
590 case CLASS_DA:
591 case CLASS_ADDRESS:
592 sprintf (tmp_str, "0x%0lx", instr_data->address);
593 strcat (out_str, tmp_str);
594 break;
595 case CLASS_IR:
596 if (is_segmented)
597 sprintf (tmp_str, "@rr%ld", instr_data->arg_reg[datum_value]);
598 else
599 sprintf (tmp_str, "@r%ld", instr_data->arg_reg[datum_value]);
600 strcat (out_str, tmp_str);
601 break;
602 case CLASS_IRO:
603 sprintf (tmp_str, "@r%ld", instr_data->arg_reg[datum_value]);
604 strcat (out_str, tmp_str);
605 break;
606 case CLASS_FLAGS:
607 print_flags(tmp_str, instr_data->flags);
608 strcat (out_str, tmp_str);
609 break;
610 case CLASS_REG_BYTE:
611 if (instr_data->arg_reg[datum_value] >= 0x8)
612 sprintf (tmp_str, "rl%ld",
613 instr_data->arg_reg[datum_value] - 0x8);
614 else
615 sprintf (tmp_str, "rh%ld", instr_data->arg_reg[datum_value]);
616 strcat (out_str, tmp_str);
617 break;
618 case CLASS_REG_WORD:
619 sprintf (tmp_str, "r%ld", instr_data->arg_reg[datum_value]);
620 strcat (out_str, tmp_str);
621 break;
622 case CLASS_REG_QUAD:
623 sprintf (tmp_str, "rq%ld", instr_data->arg_reg[datum_value]);
624 strcat (out_str, tmp_str);
625 break;
626 case CLASS_REG_LONG:
627 sprintf (tmp_str, "rr%ld", instr_data->arg_reg[datum_value]);
628 strcat (out_str, tmp_str);
629 break;
630 case CLASS_PR:
631 if (is_segmented)
632 sprintf (tmp_str, "rr%ld", instr_data->arg_reg[datum_value]);
633 else
634 sprintf (tmp_str, "r%ld", instr_data->arg_reg[datum_value]);
635 strcat (out_str, tmp_str);
636 break;
637 default:
638 abort ();
639 break;
640 }
641 }
642
643 strcpy (instr_data->instr_asmsrc, out_str);
644 }
645