opcodes/hppa-dis.c

   1 /* Disassembler for the PA-RISC. Somewhat derived from sparc-pinsn.c.
   2    Copyright 1989, 1990, 1992, 1993 Free Software Foundation, Inc.
   3
   4    Contributed by the Center for Software Science at the
   5    University of Utah (pa-gdb-bugs@cs.utah.edu).
   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 <ansidecl.h>
  22 #include "sysdep.h"
  23 #include "dis-asm.h"
  24 #include "libhppa.h"
  25 #include "opcode/hppa.h"
  26
  27 /* Integer register names, indexed by the numbers which appear in the
  28    opcodes.  */
  29 static const char *const reg_names[] =
  30  {"flags", "r1", "rp", "r3", "r4", "r5", "r6", "r7", "r8", "r9",
  31   "r10", "r11", "r12", "r13", "r14", "r15", "r16", "r17", "r18", "r19",
  32   "r20", "r21", "r22", "r23", "r24", "r25", "r26", "dp", "ret0", "ret1",
  33   "sp", "r31"};
  34
  35 /* Floating point register names, indexed by the numbers which appear in the
  36    opcodes.  */
  37 static const char *const fp_reg_names[] =
  38  {"fpsr", "fpe2", "fpe4", "fpe6",
  39   "fr4", "fr5", "fr6", "fr7", "fr8",
  40   "fr9", "fr10", "fr11", "fr12", "fr13", "fr14", "fr15",
  41   "fr16", "fr17", "fr18", "fr19", "fr20", "fr21", "fr22", "fr23",
  42   "fr24", "fr25", "fr26", "fr27", "fr28", "fr29", "fr30", "fr31"};
  43
  44 typedef unsigned int CORE_ADDR;
  45
  46 /* Get at various relevent fields of an instruction word. */
  47
  48 #define MASK_5 0x1f
  49 #define MASK_10 0x3ff
  50 #define MASK_11 0x7ff
  51 #define MASK_14 0x3fff
  52 #define MASK_21 0x1fffff
  53
  54 /* This macro gets bit fields using HP's numbering (MSB = 0) */
  55
  56 #define GET_FIELD(X, FROM, TO) \
  57   ((X) >> (31 - (TO)) & ((1 << ((TO) - (FROM) + 1)) - 1))
  58
  59 /* Some of these have been converted to 2-d arrays because they
  60    consume less storage this way.  If the maintenance becomes a
  61    problem, convert them back to const 1-d pointer arrays.  */
  62 static const char *const control_reg[] = {
  63   "rctr", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",
  64   "pidr1", "pidr2", "ccr", "sar", "pidr3", "pidr4",
  65   "iva", "eiem", "itmr", "pcsq", "pcoq", "iir", "isr",
  66   "ior", "ipsw", "eirr", "tr0", "tr1", "tr2", "tr3",
  67   "tr4", "tr5", "tr6", "tr7"
  68 };
  69
  70 static const char *const compare_cond_names[] = {
  71   "", ",=", ",<", ",<=", ",<<", ",<<=", ",sv", ",od",
  72   ",tr", ",<>", ",>=", ",>", ",>>=", ",>>", ",nsv", ",ev"
  73 };
  74 static const char *const compare_cond_64_names[] = {
  75   "", ",*=", ",*<", ",*<=", ",*<<", ",*<<=", ",*sv", ",*od",
  76   ",*tr", ",*<>", ",*>=", ",*>", ",*>>=", ",*>>", ",*nsv", ",*ev"
  77 };
  78 static const char *const cmpib_cond_64_names[] = {
  79   ",*<<", ",*=", ",*<", ",*<=", ",*>>=", ",*<>", ",*>=", ",*>"
  80 };
  81 static const char *const add_cond_names[] = {
  82   "", ",=", ",<", ",<=", ",nuv", ",znv", ",sv", ",od",
  83   ",tr", ",<>", ",>=", ",>", ",uv", ",vnz", ",nsv", ",ev"
  84 };
  85 static const char *const add_cond_64_names[] = {
  86   "", ",*=", ",*<", ",*<=", ",*nuv", ",*znv", ",*sv", ",*od",
  87   ",*tr", ",*<>", ",*>=", ",*>", ",*uv", ",*vnz", ",*nsv", ",*ev"
  88 };
  89 static const char *const wide_add_cond_names[] = {
  90   "", ",=", ",<", ",<=", ",nuv", ",*=", ",*<", ",*<=",
  91   ",tr", ",<>", ",>=", ",>", ",uv", ",*<>", ",*>=", ",*>"
  92 };
  93 static const char *const logical_cond_names[] = {
  94   "", ",=", ",<", ",<=", 0, 0, 0, ",od",
  95   ",tr", ",<>", ",>=", ",>", 0, 0, 0, ",ev"};
  96 static const char *const logical_cond_64_names[] = {
  97   "", ",*=", ",*<", ",*<=", 0, 0, 0, ",*od",
  98   ",*tr", ",*<>", ",*>=", ",*>", 0, 0, 0, ",*ev"};
  99 static const char *const unit_cond_names[] = {
 100   "", 0, ",sbz", ",shz", ",sdc", 0, ",sbc", ",shc",
 101   ",tr", 0, ",nbz", ",nhz", ",ndc", 0, ",nbc", ",nhc"
 102 };
 103 static const char *const unit_cond_64_names[] = {
 104   "", ",*swz", ",*sbz", ",*shz", ",*sdc", ",*swc", ",*sbc", ",*shc",
 105   ",*tr", ",*nwz", ",*nbz", ",*nhz", ",*ndc", ",*nwc", ",*nbc", ",*nhc"
 106 };
 107 static const char *const shift_cond_names[] = {
 108   "", ",=", ",<", ",od", ",tr", ",<>", ",>=", ",ev"
 109 };
 110 static const char *const shift_cond_64_names[] = {
 111   "", ",*=", ",*<", ",*od", ",*tr", ",*<>", ",*>=", ",*ev"
 112 };
 113 static const char *const bb_cond_64_names[] = {
 114   ",*<", ",*>="
 115 };
 116 static const char *const index_compl_names[] = {"", ",m", ",s", ",sm"};
 117 static const char *const short_ldst_compl_names[] = {"", ",ma", "", ",mb"};
 118 static const char *const short_bytes_compl_names[] = {
 119   "", ",b,m", ",e", ",e,m"
 120 };
 121 static const char *const float_format_names[] = {",sgl", ",dbl", "", ",quad"};
 122 static const char *const float_comp_names[] =
 123 {
 124   ",false?", ",false", ",?", ",!<=>", ",=", ",=t", ",?=", ",!<>",
 125   ",!?>=", ",<", ",?<", ",!>=", ",!?>", ",<=", ",?<=", ",!>",
 126   ",!?<=", ",>", ",?>", ",!<=", ",!?<", ",>=", ",?>=", ",!<",
 127   ",!?=", ",<>", ",!=", ",!=t", ",!?", ",<=>", ",true?", ",true"
 128 };
 129 static const char *const signed_unsigned_names[] = {",u", ",s"};
 130 static const char *const mix_half_names[] = {",l", ",r"};
 131 static const char *const saturation_names[] = {",us", ",ss", 0, ""};
 132 static const char *const read_write_names[] = {",r", ",w"};
 133 static const char *const add_compl_names[] = { 0, "", ",l", ",tsv" };
 134
 135 /* For a bunch of different instructions form an index into a
 136    completer name table. */
 137 #define GET_COMPL(insn) (GET_FIELD (insn, 26, 26) | \
 138                          GET_FIELD (insn, 18, 18) << 1)
 139
 140 #define GET_COND(insn) (GET_FIELD ((insn), 16, 18) + \
 141                         (GET_FIELD ((insn), 19, 19) ? 8 : 0))
 142
 143 /* Utility function to print registers.  Put these first, so gcc's function
 144    inlining can do its stuff.  */
 145
 146 #define fputs_filtered(STR,F)   (*info->fprintf_func) (info->stream, "%s", STR)
 147
 148 static void
 149 fput_reg (reg, info)
 150      unsigned reg;
 151      disassemble_info *info;
 152 {
 153   (*info->fprintf_func) (info->stream, reg ? reg_names[reg] : "r0");
 154 }
 155
 156 static void
 157 fput_fp_reg (reg, info)
 158      unsigned reg;
 159      disassemble_info *info;
 160 {
 161   (*info->fprintf_func) (info->stream, reg ? fp_reg_names[reg] : "fr0");
 162 }
 163
 164 static void
 165 fput_fp_reg_r (reg, info)
 166      unsigned reg;
 167      disassemble_info *info;
 168 {
 169   /* Special case floating point exception registers.  */
 170   if (reg < 4)
 171     (*info->fprintf_func) (info->stream, "fpe%d", reg * 2 + 1);
 172   else
 173     (*info->fprintf_func) (info->stream, "%sR", reg ? fp_reg_names[reg]
 174                                                     : "fr0");
 175 }
 176
 177 static void
 178 fput_creg (reg, info)
 179      unsigned reg;
 180      disassemble_info *info;
 181 {
 182   (*info->fprintf_func) (info->stream, control_reg[reg]);
 183 }
 184
 185 /* print constants with sign */
 186
 187 static void
 188 fput_const (num, info)
 189      unsigned num;
 190      disassemble_info *info;
 191 {
 192   if ((int)num < 0)
 193     (*info->fprintf_func) (info->stream, "-%x", -(int)num);
 194   else
 195     (*info->fprintf_func) (info->stream, "%x", num);
 196 }
 197
 198 /* Routines to extract various sized constants out of hppa
 199    instructions. */
 200
 201 /* extract a 3-bit space register number from a be, ble, mtsp or mfsp */
 202 static int
 203 extract_3 (word)
 204      unsigned word;
 205 {
 206   return GET_FIELD (word, 18, 18) << 2 | GET_FIELD (word, 16, 17);
 207 }
 208
 209 static int
 210 extract_5_load (word)
 211      unsigned word;
 212 {
 213   return low_sign_extend (word >> 16 & MASK_5, 5);
 214 }
 215
 216 /* extract the immediate field from a st{bhw}s instruction */
 217 static int
 218 extract_5_store (word)
 219      unsigned word;
 220 {
 221   return low_sign_extend (word & MASK_5, 5);
 222 }
 223
 224 /* extract the immediate field from a break instruction */
 225 static unsigned
 226 extract_5r_store (word)
 227      unsigned word;
 228 {
 229   return (word & MASK_5);
 230 }
 231
 232 /* extract the immediate field from a {sr}sm instruction */
 233 static unsigned
 234 extract_5R_store (word)
 235      unsigned word;
 236 {
 237   return (word >> 16 & MASK_5);
 238 }
 239
 240 /* extract the 10 bit immediate field from a {sr}sm instruction */
 241 static unsigned
 242 extract_10U_store (word)
 243      unsigned word;
 244 {
 245   return (word >> 16 & MASK_10);
 246 }
 247
 248 /* extract the immediate field from a bb instruction */
 249 static unsigned
 250 extract_5Q_store (word)
 251      unsigned word;
 252 {
 253   return (word >> 21 & MASK_5);
 254 }
 255
 256 /* extract an 11 bit immediate field */
 257 static int
 258 extract_11 (word)
 259      unsigned word;
 260 {
 261   return low_sign_extend (word & MASK_11, 11);
 262 }
 263
 264 /* extract a 14 bit immediate field */
 265 static int
 266 extract_14 (word)
 267      unsigned word;
 268 {
 269   return low_sign_extend (word & MASK_14, 14);
 270 }
 271
 272 /* extract a 21 bit constant */
 273
 274 static int
 275 extract_21 (word)
 276      unsigned word;
 277 {
 278   int val;
 279
 280   word &= MASK_21;
 281   word <<= 11;
 282   val = GET_FIELD (word, 20, 20);
 283   val <<= 11;
 284   val |= GET_FIELD (word, 9, 19);
 285   val <<= 2;
 286   val |= GET_FIELD (word, 5, 6);
 287   val <<= 5;
 288   val |= GET_FIELD (word, 0, 4);
 289   val <<= 2;
 290   val |= GET_FIELD (word, 7, 8);
 291   return sign_extend (val, 21) << 11;
 292 }
 293
 294 /* extract a 12 bit constant from branch instructions */
 295
 296 static int
 297 extract_12 (word)
 298      unsigned word;
 299 {
 300   return sign_extend (GET_FIELD (word, 19, 28) |
 301                       GET_FIELD (word, 29, 29) << 10 |
 302                       (word & 0x1) << 11, 12) << 2;
 303 }
 304
 305 /* extract a 17 bit constant from branch instructions, returning the
 306    19 bit signed value. */
 307
 308 static int
 309 extract_17 (word)
 310      unsigned word;
 311 {
 312   return sign_extend (GET_FIELD (word, 19, 28) |
 313                       GET_FIELD (word, 29, 29) << 10 |
 314                       GET_FIELD (word, 11, 15) << 11 |
 315                       (word & 0x1) << 16, 17) << 2;
 316 }
 317
 318 static int
 319 extract_22 (word)
 320      unsigned word;
 321 {
 322   return sign_extend (GET_FIELD (word, 19, 28) |
 323                       GET_FIELD (word, 29, 29) << 10 |
 324                       GET_FIELD (word, 11, 15) << 11 |
 325                       GET_FIELD (word, 6, 10) << 16 |
 326                       (word & 0x1) << 21, 22) << 2;
 327 }
 328
 329 /* Print one instruction.  */
 330 int
 331 print_insn_hppa (memaddr, info)
 332      bfd_vma memaddr;
 333      disassemble_info *info;
 334 {
 335   bfd_byte buffer[4];
 336   unsigned int insn, i;
 337
 338   {
 339     int status =
 340       (*info->read_memory_func) (memaddr, buffer, sizeof (buffer), info);
 341     if (status != 0)
 342       {
 343         (*info->memory_error_func) (status, memaddr, info);
 344         return -1;
 345       }
 346   }
 347
 348   insn = bfd_getb32 (buffer);
 349
 350   for (i = 0; i < NUMOPCODES; ++i)
 351     {
 352       const struct pa_opcode *opcode = &pa_opcodes[i];
 353       if ((insn & opcode->mask) == opcode->match)
 354         {
 355           register const char *s;
 356
 357           (*info->fprintf_func) (info->stream, "%s", opcode->name);
 358
 359           if (!strchr ("cfCY?-+nHNZFIuv", opcode->args[0]))
 360             (*info->fprintf_func) (info->stream, " ");
 361           for (s = opcode->args; *s != '\0'; ++s)
 362             {
 363               switch (*s)
 364                 {
 365                 case 'x':
 366                   fput_reg (GET_FIELD (insn, 11, 15), info);
 367                   break;
 368                 case 'a':
 369                 case 'b':
 370                   fput_reg (GET_FIELD (insn, 6, 10), info);
 371                   break;
 372                 case '^':
 373                   fput_creg (GET_FIELD (insn, 6, 10), info);
 374                   break;
 375                 case 't':
 376                   fput_reg (GET_FIELD (insn, 27, 31), info);
 377                   break;
 378
 379                 /* Handle floating point registers.  */
 380                 case 'f':
 381                   switch (*++s)
 382                     {
 383                     case 't':
 384                       fput_fp_reg (GET_FIELD (insn, 27, 31), info);
 385                       break;
 386                     case 'T':
 387                       if (GET_FIELD (insn, 25, 25))
 388                         fput_fp_reg_r (GET_FIELD (insn, 27, 31), info);
 389                       else
 390                         fput_fp_reg (GET_FIELD (insn, 27, 31), info);
 391                       break;
 392                     case 'a':
 393                       if (GET_FIELD (insn, 25, 25))
 394                         fput_fp_reg_r (GET_FIELD (insn, 6, 10), info);
 395                       else
 396                         fput_fp_reg (GET_FIELD (insn, 6, 10), info);
 397                       break;
 398
 399                     /* 'fA' will not generate a space before the regsiter
 400                         name.  Normally that is fine.  Except that it
 401                         causes problems with xmpyu which has no FP format
 402                         completer.  */
 403                     case 'X':
 404                       fputs_filtered (" ", info);
 405
 406                     /* FALLTHRU */
 407
 408                     case 'A':
 409                       if (GET_FIELD (insn, 24, 24))
 410                         fput_fp_reg_r (GET_FIELD (insn, 6, 10), info);
 411                       else
 412                         fput_fp_reg (GET_FIELD (insn, 6, 10), info);
 413
 414                       break;
 415                     case 'b':
 416                       if (GET_FIELD (insn, 25, 25))
 417                         fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
 418                       else
 419                         fput_fp_reg (GET_FIELD (insn, 11, 15), info);
 420                       break;
 421                     case 'B':
 422                       if (GET_FIELD (insn, 19, 19))
 423                         fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
 424                       else
 425                         fput_fp_reg (GET_FIELD (insn, 11, 15), info);
 426                       break;
 427                     case 'C':
 428                       {
 429                         int reg = GET_FIELD (insn, 21, 22);
 430                         reg |= GET_FIELD (insn, 16, 18) << 2;
 431                         if (GET_FIELD (insn, 23, 23) != 0)
 432                           fput_fp_reg_r (reg, info);
 433                         else
 434                           fput_fp_reg (reg, info);
 435                         break;
 436                       }
 437                     case 'i':
 438                       {
 439                         int reg = GET_FIELD (insn, 6, 10);
 440
 441                         reg |= (GET_FIELD (insn, 26, 26) << 4);
 442                         fput_fp_reg (reg, info);
 443                         break;
 444                       }
 445                     case 'j':
 446                       {
 447                         int reg = GET_FIELD (insn, 11, 15);
 448
 449                         reg |= (GET_FIELD (insn, 26, 26) << 4);
 450                         fput_fp_reg (reg, info);
 451                         break;
 452                       }
 453                     case 'k':
 454                       {
 455                         int reg = GET_FIELD (insn, 27, 31);
 456
 457                         reg |= (GET_FIELD (insn, 26, 26) << 4);
 458                         fput_fp_reg (reg, info);
 459                         break;
 460                       }
 461                     case 'l':
 462                       {
 463                         int reg = GET_FIELD (insn, 21, 25);
 464
 465                         reg |= (GET_FIELD (insn, 26, 26) << 4);
 466                         fput_fp_reg (reg, info);
 467                         break;
 468                       }
 469                     case 'm':
 470                       {
 471                         int reg = GET_FIELD (insn, 16, 20);
 472
 473                         reg |= (GET_FIELD (insn, 26, 26) << 4);
 474                         fput_fp_reg (reg, info);
 475                         break;
 476                       }
 477                     case 'e':
 478                       if (GET_FIELD (insn, 25, 25))
 479                         fput_fp_reg_r (GET_FIELD (insn, 11, 15), info);
 480                       else
 481                         fput_fp_reg (GET_FIELD (insn, 11, 15), info);
 482                       break;
 483
 484                     }
 485                   break;
 486
 487                 case '5':
 488                   fput_const (extract_5_load (insn), info);
 489                   break;
 490                 case 's':
 491                   (*info->fprintf_func) (info->stream,
 492                                          "sr%d", GET_FIELD (insn, 16, 17));
 493                   break;
 494
 495                 case 'S':
 496                   (*info->fprintf_func) (info->stream, "sr%d", extract_3 (insn));
 497                   break;
 498
 499                 /* Handle completers.  */
 500                 case 'c':
 501                   switch (*++s)
 502                     {
 503                     case 'x':
 504                       (*info->fprintf_func) (info->stream, "%s ",
 505                                              index_compl_names[GET_COMPL (insn)]);
 506                       break;
 507                     case 'm':
 508                       (*info->fprintf_func) (info->stream, "%s ",
 509                                              short_ldst_compl_names[GET_COMPL (insn)]);
 510                       break;
 511                     case 's':
 512                       (*info->fprintf_func) (info->stream, "%s ",
 513                                              short_bytes_compl_names[GET_COMPL (insn)]);
 514                       break;
 515                     case 'L':
 516                       (*info->fprintf_func) (info->stream, ",l");
 517                       break;
 518                     case 'w':
 519                       (*info->fprintf_func) (info->stream, "%s ",
 520                                              read_write_names[GET_FIELD (insn, 25, 25)]);
 521                       break;
 522                     case 'W':
 523                       (*info->fprintf_func) (info->stream, ",w");
 524                       break;
 525                     case 'r':
 526                       if (GET_FIELD (insn, 23, 26) == 5)
 527                         (*info->fprintf_func) (info->stream, ",r");
 528                       break;
 529                     case 'Z':
 530                       if (GET_FIELD (insn, 26, 26))
 531                         (*info->fprintf_func) (info->stream, ",m ");
 532                       else
 533                         (*info->fprintf_func) (info->stream, " ");
 534                       break;
 535                     case 'i':
 536                       if (GET_FIELD (insn, 25, 25))
 537                         (*info->fprintf_func) (info->stream, ",i");
 538                       break;
 539                     case 'z':
 540                       if (!GET_FIELD (insn, 21, 21))
 541                         (*info->fprintf_func) (info->stream, ",z");
 542                       break;
 543                     case 'a':
 544                       (*info->fprintf_func)
 545                         (info->stream, "%s", add_compl_names[GET_FIELD
 546                                                             (insn, 20, 21)]);
 547                       break;
 548                     case 'Y':
 549                       (*info->fprintf_func)
 550                         (info->stream, ",dc%s", add_compl_names[GET_FIELD
 551                                                                (insn, 20, 21)]);
 552                       break;
 553                     case 'y':
 554                       (*info->fprintf_func)
 555                         (info->stream, ",c%s", add_compl_names[GET_FIELD
 556                                                               (insn, 20, 21)]);
 557                       break;
 558                     case 'v':
 559                       if (GET_FIELD (insn, 20, 20))
 560                         (*info->fprintf_func) (info->stream, ",tsv");
 561                       break;
 562                     case 't':
 563                       (*info->fprintf_func) (info->stream, ",tc");
 564                       if (GET_FIELD (insn, 20, 20))
 565                         (*info->fprintf_func) (info->stream, ",tsv");
 566                       break;
 567                     case 'B':
 568                       (*info->fprintf_func) (info->stream, ",db");
 569                       if (GET_FIELD (insn, 20, 20))
 570                         (*info->fprintf_func) (info->stream, ",tsv");
 571                       break;
 572                     case 'b':
 573                       (*info->fprintf_func) (info->stream, ",b");
 574                       if (GET_FIELD (insn, 20, 20))
 575                         (*info->fprintf_func) (info->stream, ",tsv");
 576                       break;
 577                     case 'T':
 578                       if (GET_FIELD (insn, 25, 25))
 579                         (*info->fprintf_func) (info->stream, ",tc");
 580                       break;
 581                     case 'S':
 582                       /* EXTRD/W has a following condition.  */
 583                       if (*(s + 1) == '?')
 584                         (*info->fprintf_func)
 585                           (info->stream, "%s", signed_unsigned_names[GET_FIELD
 586                                                                     (insn, 21, 21)]);
 587                       else
 588                         (*info->fprintf_func)
 589                           (info->stream, "%s ", signed_unsigned_names[GET_FIELD
 590                                                                      (insn, 21, 21)]);
 591                       break;
 592                     case 'h':
 593                       (*info->fprintf_func)
 594                           (info->stream, "%s", mix_half_names[GET_FIELD
 595                                                              (insn, 17, 17)]);
 596                       break;
 597                     case 'H':
 598                       (*info->fprintf_func)
 599                           (info->stream, "%s", saturation_names[GET_FIELD
 600                                                                (insn, 24, 25)]);
 601                       break;
 602                     case '*':
 603                       (*info->fprintf_func)
 604                           (info->stream, ",%d%d%d%d ",
 605                            GET_FIELD (insn, 17, 18), GET_FIELD (insn, 20, 21),
 606                            GET_FIELD (insn, 22, 23), GET_FIELD (insn, 24, 25));
 607                       break;
 608
 609                     case 'q':
 610                       {
 611                         int m, a;
 612
 613                         m = GET_FIELD (insn, 28, 28);
 614                         a = GET_FIELD (insn, 29, 29);
 615
 616                         if (m && !a)
 617                           fputs_filtered (",ma ", info);
 618                         else if (m && a)
 619                           fputs_filtered (",mb ", info);
 620                         else
 621                           fputs_filtered (" ", info);
 622                         break;
 623                       }
 624
 625                     case 'J':
 626                       {
 627                         int opcode = GET_FIELD (insn, 0, 5);
 628
 629                         if (opcode == 0x16 || opcode == 0x1e)
 630                           {
 631                             if (GET_FIELD (insn, 29, 29) == 0)
 632                               fputs_filtered (",ma ", info);
 633                             else
 634                               fputs_filtered (",mb ", info);
 635                           }
 636                         else
 637                           fputs_filtered (" ", info);
 638                         break;
 639                       }
 640
 641                     case 'c':
 642                       {
 643                         int opcode = GET_FIELD (insn, 0, 5);
 644
 645                         if (opcode == 0x13 || opcode == 0x1b)
 646                           {
 647                             if (GET_FIELD (insn, 18, 18) == 1)
 648                               fputs_filtered (",mb ", info);
 649                             else
 650                               fputs_filtered (",ma ", info);
 651                           }
 652                         else if (opcode == 0x17 || opcode == 0x1f)
 653                           {
 654                             if (GET_FIELD (insn, 31, 31) == 1)
 655                               fputs_filtered (",ma ", info);
 656                             else
 657                               fputs_filtered (",mb ", info);
 658                           }
 659                         else
 660                           fputs_filtered (" ", info);
 661
 662                         break;
 663                       }
 664                     }
 665                   break;
 666
 667                 /* Handle conditions.  */
 668                 case '?':
 669                   {
 670                     s++;
 671                     switch (*s)
 672                       {
 673                       case 'f':
 674                         (*info->fprintf_func) (info->stream, "%s ",
 675                                                float_comp_names[GET_FIELD
 676                                                                (insn, 27, 31)]);
 677                         break;
 678
 679                       /* these four conditions are for the set of instructions
 680                            which distinguish true/false conditions by opcode
 681                            rather than by the 'f' bit (sigh): comb, comib,
 682                            addb, addib */
 683                       case 't':
 684                         fputs_filtered (compare_cond_names[GET_FIELD (insn, 16, 18)],
 685                                         info);
 686                         break;
 687                       case 'T':
 688                         fputs_filtered (compare_cond_names[GET_FIELD (insn, 16, 18)
 689                                                           + 8], info);
 690                         break;
 691                       case 'r':
 692                         fputs_filtered (compare_cond_64_names[GET_FIELD (insn, 16, 18)],
 693                                         info);
 694                         break;
 695                       case 'R':
 696                         fputs_filtered (compare_cond_64_names[GET_FIELD (insn, 16, 18)
 697                                                              + 8], info);
 698                         break;
 699                       case 'Q':
 700                         fputs_filtered (cmpib_cond_64_names[GET_FIELD (insn, 16, 18)],
 701                                         info);
 702                         break;
 703                       case 'n':
 704                         fputs_filtered (compare_cond_names[GET_FIELD (insn, 16, 18)
 705                                         + GET_FIELD (insn, 4, 4) * 8], info);
 706                         break;
 707                       case '@':
 708                         fputs_filtered (add_cond_names[GET_FIELD (insn, 16, 18)
 709                                         + GET_FIELD (insn, 4, 4) * 8], info);
 710                         break;
 711                       case 's':
 712                         (*info->fprintf_func) (info->stream, "%s ",
 713                                                compare_cond_names[GET_COND (insn)]);
 714                         break;
 715                       case 'S':
 716                         (*info->fprintf_func) (info->stream, "%s ",
 717                                                compare_cond_64_names[GET_COND (insn)]);
 718                         break;
 719                       case 'a':
 720                         (*info->fprintf_func) (info->stream, "%s ",
 721                                                add_cond_names[GET_COND (insn)]);
 722                         break;
 723                       case 'A':
 724                         (*info->fprintf_func) (info->stream, "%s ",
 725                                                add_cond_64_names[GET_COND (insn)]);
 726                         break;
 727                       case 'd':
 728                         (*info->fprintf_func) (info->stream, "%s",
 729                                                add_cond_names[GET_FIELD (insn, 16, 18)]);
 730                         break;
 731
 732                       case 'D':
 733                         (*info->fprintf_func) (info->stream, "%s",
 734                                                add_cond_names[GET_FIELD (insn, 16, 18)
 735                                                              + 8]);
 736                         break;
 737                       case 'w':
 738                         (*info->fprintf_func)
 739                           (info->stream, "%s",
 740                            wide_add_cond_names[GET_FIELD (insn, 16, 18)]);
 741                         break;
 742
 743                       case 'W':
 744                         (*info->fprintf_func)
 745                           (info->stream, "%s",
 746                            wide_add_cond_names[GET_FIELD (insn, 16, 18) + 8]);
 747                         break;
 748
 749                       case 'l':
 750                         (*info->fprintf_func) (info->stream, "%s ",
 751                                                logical_cond_names[GET_COND (insn)]);
 752                         break;
 753                       case 'L':
 754                         (*info->fprintf_func) (info->stream, "%s ",
 755                                                logical_cond_64_names[GET_COND (insn)]);
 756                         break;
 757                       case 'u':
 758                         (*info->fprintf_func) (info->stream, "%s ",
 759                                                unit_cond_names[GET_COND (insn)]);
 760                         break;
 761                       case 'U':
 762                         (*info->fprintf_func) (info->stream, "%s ",
 763                                                unit_cond_64_names[GET_COND (insn)]);
 764                         break;
 765                       case 'y':
 766                       case 'x':
 767                       case 'b':
 768                         (*info->fprintf_func)
 769                           (info->stream, "%s",
 770                            shift_cond_names[GET_FIELD (insn, 16, 18)]);
 771
 772                         /* If the next character in args is 'n', it will handle
 773                            putting out the space.  */
 774                         if (s[1] != 'n')
 775                           (*info->fprintf_func) (info->stream, " ");
 776                         break;
 777                       case 'X':
 778                         (*info->fprintf_func) (info->stream, "%s ",
 779                                                shift_cond_64_names[GET_FIELD (insn, 16, 18)]);
 780                         break;
 781                       case 'B':
 782                         (*info->fprintf_func)
 783                           (info->stream, "%s",
 784                            bb_cond_64_names[GET_FIELD (insn, 16, 16)]);
 785
 786                         /* If the next character in args is 'n', it will handle
 787                            putting out the space.  */
 788                         if (s[1] != 'n')
 789                           (*info->fprintf_func) (info->stream, " ");
 790                         break;
 791                       }
 792                     break;
 793                   }
 794
 795                 case 'V':
 796                   fput_const (extract_5_store (insn), info);
 797                   break;
 798                 case 'r':
 799                   fput_const (extract_5r_store (insn), info);
 800                   break;
 801                 case 'R':
 802                   fput_const (extract_5R_store (insn), info);
 803                   break;
 804                 case 'U':
 805                   fput_const (extract_10U_store (insn), info);
 806                   break;
 807                 case 'Q':
 808                   fput_const (extract_5Q_store (insn), info);
 809                   break;
 810                 case 'i':
 811                   fput_const (extract_11 (insn), info);
 812                   break;
 813                 case 'j':
 814                   fput_const (extract_14 (insn), info);
 815                   break;
 816                 case 'k':
 817                   fput_const (extract_21 (insn), info);
 818                   break;
 819                 case 'n':
 820                   if (insn & 0x2)
 821                     (*info->fprintf_func) (info->stream, ",n ");
 822                   else
 823                     (*info->fprintf_func) (info->stream, " ");
 824                   break;
 825                 case 'N':
 826                   if ((insn & 0x20) && s[1])
 827                     (*info->fprintf_func) (info->stream, ",n ");
 828                   else if (insn & 0x20)
 829                     (*info->fprintf_func) (info->stream, ",n");
 830                   else if (s[1])
 831                     (*info->fprintf_func) (info->stream, " ");
 832                   break;
 833                 case 'w':
 834                   (*info->print_address_func) (memaddr + 8 + extract_12 (insn),
 835                                                info);
 836                   break;
 837                 case 'W':
 838                   /* 17 bit PC-relative branch.  */
 839                   (*info->print_address_func) ((memaddr + 8
 840                                                 + extract_17 (insn)),
 841                                                info);
 842                   break;
 843                 case 'z':
 844                   /* 17 bit displacement.  This is an offset from a register
 845                      so it gets disasssembled as just a number, not any sort
 846                      of address.  */
 847                   fput_const (extract_17 (insn), info);
 848                   break;
 849
 850                 case 'Z':
 851                   /* addil %r1 implicit output.  */
 852                   (*info->fprintf_func) (info->stream, "%%r1");
 853                   break;
 854
 855                 case '.':
 856                   (*info->fprintf_func) (info->stream, "%d",
 857                                     GET_FIELD (insn, 24, 25));
 858                   break;
 859                 case '*':
 860                   (*info->fprintf_func) (info->stream, "%d",
 861                                     GET_FIELD (insn, 22, 25));
 862                   break;
 863                 case '!':
 864                   (*info->fprintf_func) (info->stream, "%%sar");
 865                   break;
 866                 case 'p':
 867                   (*info->fprintf_func) (info->stream, "%d",
 868                                     31 - GET_FIELD (insn, 22, 26));
 869                   break;
 870                 case '~':
 871                   {
 872                     int num;
 873                     num = GET_FIELD (insn, 20, 20) << 5;
 874                     num |= GET_FIELD (insn, 22, 26);
 875                     (*info->fprintf_func) (info->stream, "%d", 63 - num);
 876                     break;
 877                   }
 878                 case 'P':
 879                   (*info->fprintf_func) (info->stream, "%d",
 880                                     GET_FIELD (insn, 22, 26));
 881                   break;
 882                 case 'q':
 883                   {
 884                     int num;
 885                     num = GET_FIELD (insn, 20, 20) << 5;
 886                     num |= GET_FIELD (insn, 22, 26);
 887                     (*info->fprintf_func) (info->stream, "%d", num);
 888                     break;
 889                   }
 890                 case 'T':
 891                   (*info->fprintf_func) (info->stream, "%d",
 892                                     32 - GET_FIELD (insn, 27, 31));
 893                   break;
 894                 case '%':
 895                   {
 896                     int num;
 897                     num = (GET_FIELD (insn, 23, 23) + 1) * 32;
 898                     num -= GET_FIELD (insn, 27, 31);
 899                     (*info->fprintf_func) (info->stream, "%d", num);
 900                     break;
 901                   }
 902                 case '|':
 903                   {
 904                     int num;
 905                     num = (GET_FIELD (insn, 19, 19) + 1) * 32;
 906                     num -= GET_FIELD (insn, 27, 31);
 907                     (*info->fprintf_func) (info->stream, "%d", num);
 908                     break;
 909                   }
 910                 case '$':
 911                   fput_const (GET_FIELD (insn, 20, 28), info);
 912                   break;
 913                 case 'A':
 914                   fput_const (GET_FIELD (insn, 6, 18), info);
 915                   break;
 916                 case 'D':
 917                   fput_const (GET_FIELD (insn, 6, 31), info);
 918                   break;
 919                 case 'v':
 920                   (*info->fprintf_func) (info->stream, ",%d", GET_FIELD (insn, 23, 25));
 921                   break;
 922                 case 'O':
 923                   fput_const ((GET_FIELD (insn, 6,20) << 5 |
 924                                GET_FIELD (insn, 27, 31)), info);
 925                   break;
 926                 case 'o':
 927                   fput_const (GET_FIELD (insn, 6, 20), info);
 928                   break;
 929                 case '2':
 930                   fput_const ((GET_FIELD (insn, 6, 22) << 5 |
 931                                GET_FIELD (insn, 27, 31)), info);
 932                   break;
 933                 case '1':
 934                   fput_const ((GET_FIELD (insn, 11, 20) << 5 |
 935                                GET_FIELD (insn, 27, 31)), info);
 936                   break;
 937                 case '0':
 938                   fput_const ((GET_FIELD (insn, 16, 20) << 5 |
 939                                GET_FIELD (insn, 27, 31)), info);
 940                   break;
 941                 case 'u':
 942                   (*info->fprintf_func) (info->stream, ",%d", GET_FIELD (insn, 23, 25));
 943                   break;
 944                 case 'F':
 945                   /* if no destination completer and not before a completer
 946                      for fcmp, need a space here */
 947                   if (s[1] == 'G' || s[1] == '?')
 948                     fputs_filtered (float_format_names[GET_FIELD (insn, 19, 20)],
 949                                     info);
 950                   else
 951                     (*info->fprintf_func) (info->stream, "%s ",
 952                                            float_format_names[GET_FIELD
 953                                                               (insn, 19, 20)]);
 954                   break;
 955                 case 'G':
 956                   (*info->fprintf_func) (info->stream, "%s ",
 957                                     float_format_names[GET_FIELD (insn,
 958                                                                   17, 18)]);
 959                   break;
 960                 case 'H':
 961                   if (GET_FIELD (insn, 26, 26) == 1)
 962                     (*info->fprintf_func) (info->stream, "%s ",
 963                                     float_format_names[0]);
 964                   else
 965                     (*info->fprintf_func) (info->stream, "%s ",
 966                                     float_format_names[1]);
 967                   break;
 968                 case 'I':
 969                   /* if no destination completer and not before a completer
 970                      for fcmp, need a space here */
 971                   if (s[1] == '?')
 972                     fputs_filtered (float_format_names[GET_FIELD (insn, 20, 20)],
 973                                     info);
 974                   else
 975                     (*info->fprintf_func) (info->stream, "%s ",
 976                                            float_format_names[GET_FIELD
 977                                                               (insn, 20, 20)]);
 978                   break;
 979
 980                 case 'J':
 981                   fput_const (extract_14 (insn), info);
 982                   break;
 983
 984                 case '#':
 985                   {
 986                     int sign = GET_FIELD (insn, 31, 31);
 987                     int imm10 = GET_FIELD (insn, 18, 27);
 988                     int disp;
 989
 990                     if (sign)
 991                       disp = (-1 << 10) | imm10;
 992                     else
 993                       disp = imm10;
 994
 995                     disp <<= 3;
 996                     fput_const (disp, info);
 997                     break;
 998                   }
 999                 case 'K':
1000                 case 'd':
1001                   {
1002                     int sign = GET_FIELD (insn, 31, 31);
1003                     int imm11 = GET_FIELD (insn, 18, 28);
1004                     int disp;
1005
1006                     if (sign)
1007                       disp = (-1 << 11) | imm11;
1008                     else
1009                       disp = imm11;
1010
1011                     disp <<= 2;
1012                     fput_const (disp, info);
1013                     break;
1014                   }
1015
1016                 /* ?!? FIXME */
1017                 case '_':
1018                 case '{':
1019                   fputs_filtered ("Disassembler botch.\n", info);
1020                   break;
1021
1022                 case 'm':
1023                   {
1024                     int y = GET_FIELD (insn, 16, 18);
1025
1026                     if (y != 1)
1027                       fput_const ((y ^ 1) - 1, info);
1028                   }
1029                   break;
1030
1031                 case 'h':
1032                   {
1033                     int cbit;
1034
1035                     cbit = GET_FIELD (insn, 16, 18);
1036
1037                     if (cbit > 0)
1038                       (*info->fprintf_func) (info->stream, ",%d", cbit - 1);
1039                     break;
1040                   }
1041
1042                 case '=':
1043                   {
1044                     int cond = GET_FIELD (insn, 27, 31);
1045
1046                     if (cond == 0)
1047                       fputs_filtered (" ", info);
1048                     else if (cond == 1)
1049                       fputs_filtered ("acc ", info);
1050                     else if (cond == 2)
1051                       fputs_filtered ("rej ", info);
1052                     else if (cond == 5)
1053                       fputs_filtered ("acc8 ", info);
1054                     else if (cond == 6)
1055                       fputs_filtered ("rej8 ", info);
1056                     else if (cond == 9)
1057                       fputs_filtered ("acc6 ", info);
1058                     else if (cond == 13)
1059                       fputs_filtered ("acc4 ", info);
1060                     else if (cond == 17)
1061                       fputs_filtered ("acc2 ", info);
1062                     break;
1063                   }
1064
1065                 case 'X':
1066                   (*info->print_address_func) ((memaddr + 8
1067                                                 + extract_22 (insn)),
1068                                                info);
1069                   break;
1070                 case 'B':
1071                   fputs_filtered (",pop", info);
1072                   break;
1073                 case 'M':
1074                   fputs_filtered (",push", info);
1075                   break;
1076                 case 'L':
1077                   fputs_filtered (",%r2", info);
1078                   break;
1079                 case 'g':
1080                   fputs_filtered (",gate", info);
1081                   break;
1082                 case 'l':
1083                   fputs_filtered (",l", info);
1084                   break;
1085                 default:
1086                   (*info->fprintf_func) (info->stream, "%c", *s);
1087                   break;
1088                 }
1089             }
1090           return sizeof(insn);
1091         }
1092     }
1093   (*info->fprintf_func) (info->stream, "#%8x", insn);
1094   return sizeof(insn);
1095 }