opcodes/z8k-dis.c

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