opcodes/cris-dis.c

   1 /* Disassembler code for CRIS.
   2    Copyright (C) 2000-2017 Free Software Foundation, Inc.
   3    Contributed by Axis Communications AB, Lund, Sweden.
   4    Written by Hans-Peter Nilsson.
   5
   6    This file is part of the GNU opcodes library.
   7
   8    This library is free software; you can redistribute it and/or modify
   9    it under the terms of the GNU General Public License as published by
  10    the Free Software Foundation; either version 3, or (at your option)
  11    any later version.
  12
  13    It is distributed in the hope that it will be useful, but WITHOUT
  14    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  15    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  16    License for more details.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with this program; if not, write to the Free Software
  20    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  21    MA 02110-1301, USA.  */
  22
  23 #include "sysdep.h"
  24 #include "dis-asm.h"
  25 #include "opcode/cris.h"
  26 #include "libiberty.h"
  27 \f
  28 /* No instruction will be disassembled longer than this.  In theory, and
  29    in silicon, address prefixes can be cascaded.  In practice, cascading
  30    is not used by GCC, and not supported by the assembler.  */
  31 #ifndef MAX_BYTES_PER_CRIS_INSN
  32 #define MAX_BYTES_PER_CRIS_INSN 8
  33 #endif
  34
  35 /* Whether or not to decode prefixes, folding it into the following
  36    instruction.  FIXME: Make this optional later.  */
  37 #ifndef PARSE_PREFIX
  38 #define PARSE_PREFIX 1
  39 #endif
  40
  41 /* Sometimes we prefix all registers with this character.  */
  42 #define REGISTER_PREFIX_CHAR '$'
  43
  44 /* Whether or not to trace the following sequence:
  45    sub* X,r%d
  46    bound* Y,r%d
  47    adds.w [pc+r%d.w],pc
  48
  49    This is the assembly form of a switch-statement in C.
  50    The "sub is optional.  If there is none, then X will be zero.
  51    X is the value of the first case,
  52    Y is the number of cases (including default).
  53
  54    This results in case offsets printed on the form:
  55     case N: -> case_address
  56    where N is an estimation on the corresponding 'case' operand in C,
  57    and case_address is where execution of that case continues after the
  58    sequence presented above.
  59
  60    The old style of output was to print the offsets as instructions,
  61    which made it hard to follow "case"-constructs in the disassembly,
  62    and caused a lot of annoying warnings about undefined instructions.
  63
  64    FIXME: Make this optional later.  */
  65 #ifndef TRACE_CASE
  66 #define TRACE_CASE (disdata->trace_case)
  67 #endif
  68
  69 enum cris_disass_family
  70  { cris_dis_v0_v10, cris_dis_common_v10_v32, cris_dis_v32 };
  71
  72 /* Stored in the disasm_info->private_data member.  */
  73 struct cris_disasm_data
  74 {
  75   /* Whether to print something less confusing if we find something
  76      matching a switch-construct.  */
  77   bfd_boolean trace_case;
  78
  79   /* Whether this code is flagged as crisv32.  FIXME: Should be an enum
  80      that includes "compatible".  */
  81   enum cris_disass_family distype;
  82 };
  83
  84 /* Value of first element in switch.  */
  85 static long case_offset = 0;
  86
  87 /* How many more case-offsets to print.  */
  88 static long case_offset_counter = 0;
  89
  90 /* Number of case offsets.  */
  91 static long no_of_case_offsets = 0;
  92
  93 /* Candidate for next case_offset.  */
  94 static long last_immediate = 0;
  95
  96 static int cris_constraint
  97   (const char *, unsigned, unsigned, struct cris_disasm_data *);
  98
  99 /* Parse disassembler options and store state in info.  FIXME: For the
 100    time being, we abuse static variables.  */
 101
 102 static bfd_boolean
 103 cris_parse_disassembler_options (disassemble_info *info,
 104                                  enum cris_disass_family distype)
 105 {
 106   struct cris_disasm_data *disdata;
 107
 108   info->private_data = calloc (1, sizeof (struct cris_disasm_data));
 109   disdata = (struct cris_disasm_data *) info->private_data;
 110   if (disdata == NULL)
 111     return FALSE;
 112
 113   /* Default true.  */
 114   disdata->trace_case
 115     = (info->disassembler_options == NULL
 116        || (strcmp (info->disassembler_options, "nocase") != 0));
 117
 118   disdata->distype = distype;
 119   return TRUE;
 120 }
 121
 122 static const struct cris_spec_reg *
 123 spec_reg_info (unsigned int sreg, enum cris_disass_family distype)
 124 {
 125   int i;
 126
 127   for (i = 0; cris_spec_regs[i].name != NULL; i++)
 128     {
 129       if (cris_spec_regs[i].number == sreg)
 130         {
 131           if (distype == cris_dis_v32)
 132             switch (cris_spec_regs[i].applicable_version)
 133               {
 134               case cris_ver_warning:
 135               case cris_ver_version_all:
 136               case cris_ver_v3p:
 137               case cris_ver_v8p:
 138               case cris_ver_v10p:
 139               case cris_ver_v32p:
 140                 /* No ambiguous sizes or register names with CRISv32.  */
 141                 if (cris_spec_regs[i].warning == NULL)
 142                   return &cris_spec_regs[i];
 143               default:
 144                 ;
 145               }
 146           else if (cris_spec_regs[i].applicable_version != cris_ver_v32p)
 147             return &cris_spec_regs[i];
 148         }
 149     }
 150
 151   return NULL;
 152 }
 153
 154 /* Return the number of bits in the argument.  */
 155
 156 static int
 157 number_of_bits (unsigned int val)
 158 {
 159   int bits;
 160
 161   for (bits = 0; val != 0; val &= val - 1)
 162     bits++;
 163
 164   return bits;
 165 }
 166
 167 /* Get an entry in the opcode-table.  */
 168
 169 static const struct cris_opcode *
 170 get_opcode_entry (unsigned int insn,
 171                   unsigned int prefix_insn,
 172                   struct cris_disasm_data *disdata)
 173 {
 174   /* For non-prefixed insns, we keep a table of pointers, indexed by the
 175      insn code.  Each entry is initialized when found to be NULL.  */
 176   static const struct cris_opcode **opc_table = NULL;
 177
 178   const struct cris_opcode *max_matchedp = NULL;
 179   const struct cris_opcode **prefix_opc_table = NULL;
 180
 181   /* We hold a table for each prefix that need to be handled differently.  */
 182   static const struct cris_opcode **dip_prefixes = NULL;
 183   static const struct cris_opcode **bdapq_m1_prefixes = NULL;
 184   static const struct cris_opcode **bdapq_m2_prefixes = NULL;
 185   static const struct cris_opcode **bdapq_m4_prefixes = NULL;
 186   static const struct cris_opcode **rest_prefixes = NULL;
 187
 188   /* Allocate and clear the opcode-table.  */
 189   if (opc_table == NULL)
 190     {
 191       opc_table = malloc (65536 * sizeof (opc_table[0]));
 192       if (opc_table == NULL)
 193         return NULL;
 194
 195       memset (opc_table, 0, 65536 * sizeof (const struct cris_opcode *));
 196
 197       dip_prefixes
 198         = malloc (65536 * sizeof (const struct cris_opcode **));
 199       if (dip_prefixes == NULL)
 200         return NULL;
 201
 202       memset (dip_prefixes, 0, 65536 * sizeof (dip_prefixes[0]));
 203
 204       bdapq_m1_prefixes
 205         = malloc (65536 * sizeof (const struct cris_opcode **));
 206       if (bdapq_m1_prefixes == NULL)
 207         return NULL;
 208
 209       memset (bdapq_m1_prefixes, 0, 65536 * sizeof (bdapq_m1_prefixes[0]));
 210
 211       bdapq_m2_prefixes
 212         = malloc (65536 * sizeof (const struct cris_opcode **));
 213       if (bdapq_m2_prefixes == NULL)
 214         return NULL;
 215
 216       memset (bdapq_m2_prefixes, 0, 65536 * sizeof (bdapq_m2_prefixes[0]));
 217
 218       bdapq_m4_prefixes
 219         = malloc (65536 * sizeof (const struct cris_opcode **));
 220       if (bdapq_m4_prefixes == NULL)
 221         return NULL;
 222
 223       memset (bdapq_m4_prefixes, 0, 65536 * sizeof (bdapq_m4_prefixes[0]));
 224
 225       rest_prefixes
 226         = malloc (65536 * sizeof (const struct cris_opcode **));
 227       if (rest_prefixes == NULL)
 228         return NULL;
 229
 230       memset (rest_prefixes, 0, 65536 * sizeof (rest_prefixes[0]));
 231     }
 232
 233   /* Get the right table if this is a prefix.
 234      This code is connected to cris_constraints in that it knows what
 235      prefixes play a role in recognition of patterns; the necessary
 236      state is reflected by which table is used.  If constraints
 237      involving match or non-match of prefix insns are changed, then this
 238      probably needs changing too.  */
 239   if (prefix_insn != NO_CRIS_PREFIX)
 240     {
 241       const struct cris_opcode *popcodep
 242         = (opc_table[prefix_insn] != NULL
 243            ? opc_table[prefix_insn]
 244            : get_opcode_entry (prefix_insn, NO_CRIS_PREFIX, disdata));
 245
 246       if (popcodep == NULL)
 247         return NULL;
 248
 249       if (popcodep->match == BDAP_QUICK_OPCODE)
 250         {
 251           /* Since some offsets are recognized with "push" macros, we
 252              have to have different tables for them.  */
 253           int offset = (prefix_insn & 255);
 254
 255           if (offset > 127)
 256             offset -= 256;
 257
 258           switch (offset)
 259             {
 260             case -4:
 261               prefix_opc_table = bdapq_m4_prefixes;
 262               break;
 263
 264             case -2:
 265               prefix_opc_table = bdapq_m2_prefixes;
 266               break;
 267
 268             case -1:
 269               prefix_opc_table = bdapq_m1_prefixes;
 270               break;
 271
 272             default:
 273               prefix_opc_table = rest_prefixes;
 274               break;
 275             }
 276         }
 277       else if (popcodep->match == DIP_OPCODE)
 278         /* We don't allow postincrement when the prefix is DIP, so use a
 279            different table for DIP.  */
 280         prefix_opc_table = dip_prefixes;
 281       else
 282         prefix_opc_table = rest_prefixes;
 283     }
 284
 285   if (prefix_insn != NO_CRIS_PREFIX
 286       && prefix_opc_table[insn] != NULL)
 287     max_matchedp = prefix_opc_table[insn];
 288   else if (prefix_insn == NO_CRIS_PREFIX && opc_table[insn] != NULL)
 289     max_matchedp = opc_table[insn];
 290   else
 291     {
 292       const struct cris_opcode *opcodep;
 293       int max_level_of_match = -1;
 294
 295       for (opcodep = cris_opcodes;
 296            opcodep->name != NULL;
 297            opcodep++)
 298         {
 299           int level_of_match;
 300
 301           if (disdata->distype == cris_dis_v32)
 302             {
 303               switch (opcodep->applicable_version)
 304                 {
 305                 case cris_ver_version_all:
 306                   break;
 307
 308                 case cris_ver_v0_3:
 309                 case cris_ver_v0_10:
 310                 case cris_ver_v3_10:
 311                 case cris_ver_sim_v0_10:
 312                 case cris_ver_v8_10:
 313                 case cris_ver_v10:
 314                 case cris_ver_warning:
 315                   continue;
 316
 317                 case cris_ver_v3p:
 318                 case cris_ver_v8p:
 319                 case cris_ver_v10p:
 320                 case cris_ver_v32p:
 321                   break;
 322
 323                 case cris_ver_v8:
 324                   abort ();
 325                 default:
 326                   abort ();
 327                 }
 328             }
 329           else
 330             {
 331               switch (opcodep->applicable_version)
 332                 {
 333                 case cris_ver_version_all:
 334                 case cris_ver_v0_3:
 335                 case cris_ver_v3p:
 336                 case cris_ver_v0_10:
 337                 case cris_ver_v8p:
 338                 case cris_ver_v8_10:
 339                 case cris_ver_v10:
 340                 case cris_ver_sim_v0_10:
 341                 case cris_ver_v10p:
 342                 case cris_ver_warning:
 343                   break;
 344
 345                 case cris_ver_v32p:
 346                   continue;
 347
 348                 case cris_ver_v8:
 349                   abort ();
 350                 default:
 351                   abort ();
 352                 }
 353             }
 354
 355           /* We give a double lead for bits matching the template in
 356              cris_opcodes.  Not even, because then "move p8,r10" would
 357              be given 2 bits lead over "clear.d r10".  When there's a
 358              tie, the first entry in the table wins.  This is
 359              deliberate, to avoid a more complicated recognition
 360              formula.  */
 361           if ((opcodep->match & insn) == opcodep->match
 362               && (opcodep->lose & insn) == 0
 363               && ((level_of_match
 364                    = cris_constraint (opcodep->args,
 365                                       insn,
 366                                       prefix_insn,
 367                                       disdata))
 368                   >= 0)
 369               && ((level_of_match
 370                    += 2 * number_of_bits (opcodep->match
 371                                           | opcodep->lose))
 372                           > max_level_of_match))
 373                     {
 374                       max_matchedp = opcodep;
 375                       max_level_of_match = level_of_match;
 376
 377                       /* If there was a full match, never mind looking
 378                          further.  */
 379                       if (level_of_match >= 2 * 16)
 380                         break;
 381                     }
 382                 }
 383       /* Fill in the new entry.
 384
 385          If there are changes to the opcode-table involving prefixes, and
 386          disassembly then does not work correctly, try removing the
 387          else-clause below that fills in the prefix-table.  If that
 388          helps, you need to change the prefix_opc_table setting above, or
 389          something related.  */
 390       if (prefix_insn == NO_CRIS_PREFIX)
 391         opc_table[insn] = max_matchedp;
 392       else
 393         prefix_opc_table[insn] = max_matchedp;
 394     }
 395
 396   return max_matchedp;
 397 }
 398
 399 /* Return -1 if the constraints of a bitwise-matched instruction say
 400    that there is no match.  Otherwise return a nonnegative number
 401    indicating the confidence in the match (higher is better).  */
 402
 403 static int
 404 cris_constraint (const char *cs,
 405                  unsigned int insn,
 406                  unsigned int prefix_insn,
 407                  struct cris_disasm_data *disdata)
 408 {
 409   int retval = 0;
 410   int tmp;
 411   int prefix_ok = 0;
 412   const char *s;
 413
 414   for (s = cs; *s; s++)
 415     switch (*s)
 416       {
 417       case '!':
 418         /* Do not recognize "pop" if there's a prefix and then only for
 419            v0..v10.  */
 420         if (prefix_insn != NO_CRIS_PREFIX
 421             || disdata->distype != cris_dis_v0_v10)
 422           return -1;
 423         break;
 424
 425       case 'U':
 426         /* Not recognized at disassembly.  */
 427         return -1;
 428
 429       case 'M':
 430         /* Size modifier for "clear", i.e. special register 0, 4 or 8.
 431            Check that it is one of them.  Only special register 12 could
 432            be mismatched, but checking for matches is more logical than
 433            checking for mismatches when there are only a few cases.  */
 434         tmp = ((insn >> 12) & 0xf);
 435         if (tmp != 0 && tmp != 4 && tmp != 8)
 436           return -1;
 437         break;
 438
 439       case 'm':
 440         if ((insn & 0x30) == 0x30)
 441           return -1;
 442         break;
 443
 444       case 'S':
 445         /* A prefix operand without side-effect.  */
 446         if (prefix_insn != NO_CRIS_PREFIX && (insn & 0x400) == 0)
 447           {
 448             prefix_ok = 1;
 449             break;
 450           }
 451         else
 452           return -1;
 453
 454       case 's':
 455       case 'y':
 456       case 'Y':
 457         /* If this is a prefixed insn with postincrement (side-effect),
 458            the prefix must not be DIP.  */
 459         if (prefix_insn != NO_CRIS_PREFIX)
 460           {
 461             if (insn & 0x400)
 462               {
 463                 const struct cris_opcode *prefix_opcodep
 464                   = get_opcode_entry (prefix_insn, NO_CRIS_PREFIX, disdata);
 465
 466                 if (prefix_opcodep->match == DIP_OPCODE)
 467                   return -1;
 468               }
 469
 470             prefix_ok = 1;
 471           }
 472         break;
 473
 474       case 'B':
 475         /* If we don't fall through, then the prefix is ok.  */
 476         prefix_ok = 1;
 477
 478         /* A "push" prefix.  Check for valid "push" size.
 479            In case of special register, it may be != 4.  */
 480         if (prefix_insn != NO_CRIS_PREFIX)
 481           {
 482             /* Match the prefix insn to BDAPQ.  */
 483             const struct cris_opcode *prefix_opcodep
 484               = get_opcode_entry (prefix_insn, NO_CRIS_PREFIX, disdata);
 485
 486             if (prefix_opcodep->match == BDAP_QUICK_OPCODE)
 487               {
 488                 int pushsize = (prefix_insn & 255);
 489
 490                 if (pushsize > 127)
 491                   pushsize -= 256;
 492
 493                 if (s[1] == 'P')
 494                   {
 495                     unsigned int spec_reg = (insn >> 12) & 15;
 496                     const struct cris_spec_reg *sregp
 497                       = spec_reg_info (spec_reg, disdata->distype);
 498
 499                     /* For a special-register, the "prefix size" must
 500                        match the size of the register.  */
 501                     if (sregp && sregp->reg_size == (unsigned int) -pushsize)
 502                       break;
 503                   }
 504                 else if (s[1] == 'R')
 505                   {
 506                     if ((insn & 0x30) == 0x20 && pushsize == -4)
 507                       break;
 508                   }
 509                 /* FIXME:  Should abort here; next constraint letter
 510                    *must* be 'P' or 'R'.  */
 511               }
 512           }
 513         return -1;
 514
 515       case 'D':
 516         retval = (((insn >> 12) & 15) == (insn & 15));
 517         if (!retval)
 518           return -1;
 519         else
 520           retval += 4;
 521         break;
 522
 523       case 'P':
 524         {
 525           const struct cris_spec_reg *sregp
 526             = spec_reg_info ((insn >> 12) & 15, disdata->distype);
 527
 528           /* Since we match four bits, we will give a value of 4-1 = 3
 529              in a match.  If there is a corresponding exact match of a
 530              special register in another pattern, it will get a value of
 531              4, which will be higher.  This should be correct in that an
 532              exact pattern would match better than a general pattern.
 533
 534              Note that there is a reason for not returning zero; the
 535              pattern for "clear" is partly  matched in the bit-pattern
 536              (the two lower bits must be zero), while the bit-pattern
 537              for a move from a special register is matched in the
 538              register constraint.  */
 539
 540           if (sregp != NULL)
 541             {
 542               retval += 3;
 543               break;
 544             }
 545           else
 546             return -1;
 547         }
 548       }
 549
 550   if (prefix_insn != NO_CRIS_PREFIX && ! prefix_ok)
 551     return -1;
 552
 553   return retval;
 554 }
 555
 556 /* Format number as hex with a leading "0x" into outbuffer.  */
 557
 558 static char *
 559 format_hex (unsigned long number,
 560             char *outbuffer,
 561             struct cris_disasm_data *disdata)
 562 {
 563   /* Truncate negative numbers on >32-bit hosts.  */
 564   number &= 0xffffffff;
 565
 566   sprintf (outbuffer, "0x%lx", number);
 567
 568   /* Save this value for the "case" support.  */
 569   if (TRACE_CASE)
 570     last_immediate = number;
 571
 572   return outbuffer + strlen (outbuffer);
 573 }
 574
 575 /* Format number as decimal into outbuffer.  Parameter signedp says
 576    whether the number should be formatted as signed (!= 0) or
 577    unsigned (== 0).  */
 578
 579 static char *
 580 format_dec (long number, char *outbuffer, int signedp)
 581 {
 582   last_immediate = number;
 583   if (signedp)
 584     sprintf (outbuffer, "%ld", number);
 585   else
 586     sprintf (outbuffer, "%lu", (unsigned long) number);
 587
 588   return outbuffer + strlen (outbuffer);
 589 }
 590
 591 /* Format the name of the general register regno into outbuffer.  */
 592
 593 static char *
 594 format_reg (struct cris_disasm_data *disdata,
 595             int regno,
 596             char *outbuffer_start,
 597             bfd_boolean with_reg_prefix)
 598 {
 599   char *outbuffer = outbuffer_start;
 600
 601   if (with_reg_prefix)
 602     *outbuffer++ = REGISTER_PREFIX_CHAR;
 603
 604   switch (regno)
 605     {
 606     case 15:
 607       /* For v32, there is no context in which we output PC.  */
 608       if (disdata->distype == cris_dis_v32)
 609         strcpy (outbuffer, "acr");
 610       else
 611         strcpy (outbuffer, "pc");
 612       break;
 613
 614     case 14:
 615       strcpy (outbuffer, "sp");
 616       break;
 617
 618     default:
 619       sprintf (outbuffer, "r%d", regno);
 620       break;
 621     }
 622
 623   return outbuffer_start + strlen (outbuffer_start);
 624 }
 625
 626 /* Format the name of a support register into outbuffer.  */
 627
 628 static char *
 629 format_sup_reg (unsigned int regno,
 630                 char *outbuffer_start,
 631                 bfd_boolean with_reg_prefix)
 632 {
 633   char *outbuffer = outbuffer_start;
 634   int i;
 635
 636   if (with_reg_prefix)
 637     *outbuffer++ = REGISTER_PREFIX_CHAR;
 638
 639   for (i = 0; cris_support_regs[i].name != NULL; i++)
 640     if (cris_support_regs[i].number == regno)
 641       {
 642         sprintf (outbuffer, "%s", cris_support_regs[i].name);
 643         return outbuffer_start + strlen (outbuffer_start);
 644       }
 645
 646   /* There's supposed to be register names covering all numbers, though
 647      some may be generic names.  */
 648   sprintf (outbuffer, "format_sup_reg-BUG");
 649   return outbuffer_start + strlen (outbuffer_start);
 650 }
 651
 652 /* Return the length of an instruction.  */
 653
 654 static unsigned
 655 bytes_to_skip (unsigned int insn,
 656                const struct cris_opcode *matchedp,
 657                enum cris_disass_family distype,
 658                const struct cris_opcode *prefix_matchedp)
 659 {
 660   /* Each insn is a word plus "immediate" operands.  */
 661   unsigned to_skip = 2;
 662   const char *template_name = (const char *) matchedp->args;
 663   const char *s;
 664
 665   for (s = template_name; *s; s++)
 666     if ((*s == 's' || *s == 'N' || *s == 'Y')
 667         && (insn & 0x400) && (insn & 15) == 15
 668         && prefix_matchedp == NULL)
 669       {
 670         /* Immediate via [pc+], so we have to check the size of the
 671            operand.  */
 672         int mode_size = 1 << ((insn >> 4) & (*template_name == 'z' ? 1 : 3));
 673
 674         if (matchedp->imm_oprnd_size == SIZE_FIX_32)
 675           to_skip += 4;
 676         else if (matchedp->imm_oprnd_size == SIZE_SPEC_REG)
 677           {
 678             const struct cris_spec_reg *sregp
 679               = spec_reg_info ((insn >> 12) & 15, distype);
 680
 681             /* FIXME: Improve error handling; should have been caught
 682                earlier.  */
 683             if (sregp == NULL)
 684               return 2;
 685
 686             /* PC is incremented by two, not one, for a byte.  Except on
 687                CRISv32, where constants are always DWORD-size for
 688                special registers.  */
 689             to_skip +=
 690               distype == cris_dis_v32 ? 4 : (sregp->reg_size + 1) & ~1;
 691           }
 692         else
 693           to_skip += (mode_size + 1) & ~1;
 694       }
 695     else if (*s == 'n')
 696       to_skip += 4;
 697     else if (*s == 'b')
 698       to_skip += 2;
 699
 700   return to_skip;
 701 }
 702
 703 /* Print condition code flags.  */
 704
 705 static char *
 706 print_flags (struct cris_disasm_data *disdata, unsigned int insn, char *cp)
 707 {
 708   /* Use the v8 (Etrax 100) flag definitions for disassembly.
 709      The differences with v0 (Etrax 1..4) vs. Svinto are:
 710       v0 'd' <=> v8 'm'
 711       v0 'e' <=> v8 'b'.
 712      FIXME: Emit v0..v3 flag names somehow.  */
 713   static const char v8_fnames[] = "cvznxibm";
 714   static const char v32_fnames[] = "cvznxiup";
 715   const char *fnames
 716     = disdata->distype == cris_dis_v32 ? v32_fnames : v8_fnames;
 717
 718   unsigned char flagbits = (((insn >> 8) & 0xf0) | (insn & 15));
 719   int i;
 720
 721   for (i = 0; i < 8; i++)
 722     if (flagbits & (1 << i))
 723       *cp++ = fnames[i];
 724
 725   return cp;
 726 }
 727
 728 /* Print out an insn with its operands, and update the info->insn_type
 729    fields.  The prefix_opcodep and the rest hold a prefix insn that is
 730    supposed to be output as an address mode.  */
 731
 732 static void
 733 print_with_operands (const struct cris_opcode *opcodep,
 734                      unsigned int insn,
 735                      unsigned char *buffer,
 736                      bfd_vma addr,
 737                      disassemble_info *info,
 738                      /* If a prefix insn was before this insn (and is supposed
 739                         to be output as an address), here is a description of
 740                         it.  */
 741                      const struct cris_opcode *prefix_opcodep,
 742                      unsigned int prefix_insn,
 743                      unsigned char *prefix_buffer,
 744                      bfd_boolean with_reg_prefix)
 745 {
 746   /* Get a buffer of somewhat reasonable size where we store
 747      intermediate parts of the insn.  */
 748   char temp[sizeof (".d [$r13=$r12-2147483648],$r10") * 2];
 749   char *tp = temp;
 750   static const char mode_char[] = "bwd?";
 751   const char *s;
 752   const char *cs;
 753   struct cris_disasm_data *disdata
 754     = (struct cris_disasm_data *) info->private_data;
 755
 756   /* Print out the name first thing we do.  */
 757   (*info->fprintf_func) (info->stream, "%s", opcodep->name);
 758
 759   cs = opcodep->args;
 760   s = cs;
 761
 762   /* Ignore any prefix indicator.  */
 763   if (*s == 'p')
 764     s++;
 765
 766   if (*s == 'm' || *s == 'M' || *s == 'z')
 767     {
 768       *tp++ = '.';
 769
 770       /* Get the size-letter.  */
 771       *tp++ = *s == 'M'
 772         ? (insn & 0x8000 ? 'd'
 773            : insn & 0x4000 ? 'w' : 'b')
 774         : mode_char[(insn >> 4) & (*s == 'z' ? 1 : 3)];
 775
 776       /* Ignore the size and the space character that follows.  */
 777       s += 2;
 778     }
 779
 780   /* Add a space if this isn't a long-branch, because for those will add
 781      the condition part of the name later.  */
 782   if (opcodep->match != (BRANCH_PC_LOW + BRANCH_INCR_HIGH * 256))
 783     *tp++ = ' ';
 784
 785   /* Fill in the insn-type if deducible from the name (and there's no
 786      better way).  */
 787   if (opcodep->name[0] == 'j')
 788     {
 789       if (CONST_STRNEQ (opcodep->name, "jsr"))
 790         /* It's "jsr" or "jsrc".  */
 791         info->insn_type = dis_jsr;
 792       else
 793         /* Any other jump-type insn is considered a branch.  */
 794         info->insn_type = dis_branch;
 795     }
 796
 797   /* We might know some more fields right now.  */
 798   info->branch_delay_insns = opcodep->delayed;
 799
 800   /* Handle operands.  */
 801   for (; *s; s++)
 802     {
 803     switch (*s)
 804       {
 805       case 'T':
 806         tp = format_sup_reg ((insn >> 12) & 15, tp, with_reg_prefix);
 807         break;
 808
 809       case 'A':
 810         if (with_reg_prefix)
 811           *tp++ = REGISTER_PREFIX_CHAR;
 812         *tp++ = 'a';
 813         *tp++ = 'c';
 814         *tp++ = 'r';
 815         break;
 816
 817       case '[':
 818       case ']':
 819       case ',':
 820         *tp++ = *s;
 821         break;
 822
 823       case '!':
 824         /* Ignore at this point; used at earlier stages to avoid
 825            recognition if there's a prefix at something that in other
 826            ways looks like a "pop".  */
 827         break;
 828
 829       case 'd':
 830         /* Ignore.  This is an optional ".d " on the large one of
 831            relaxable insns.  */
 832         break;
 833
 834       case 'B':
 835         /* This was the prefix that made this a "push".  We've already
 836            handled it by recognizing it, so signal that the prefix is
 837            handled by setting it to NULL.  */
 838         prefix_opcodep = NULL;
 839         break;
 840
 841       case 'D':
 842       case 'r':
 843         tp = format_reg (disdata, insn & 15, tp, with_reg_prefix);
 844         break;
 845
 846       case 'R':
 847         tp = format_reg (disdata, (insn >> 12) & 15, tp, with_reg_prefix);
 848         break;
 849
 850       case 'n':
 851         {
 852           /* Like N but pc-relative to the start of the insn.  */
 853           unsigned long number
 854             = (buffer[2] + buffer[3] * 256 + buffer[4] * 65536
 855                + buffer[5] * 0x1000000 + addr);
 856
 857           /* Finish off and output previous formatted bytes.  */
 858           *tp = 0;
 859           if (temp[0])
 860             (*info->fprintf_func) (info->stream, "%s", temp);
 861           tp = temp;
 862
 863           (*info->print_address_func) ((bfd_vma) number, info);
 864         }
 865         break;
 866
 867       case 'u':
 868         {
 869           /* Like n but the offset is bits <3:0> in the instruction.  */
 870           unsigned long number = (buffer[0] & 0xf) * 2 + addr;
 871
 872           /* Finish off and output previous formatted bytes.  */
 873           *tp = 0;
 874           if (temp[0])
 875             (*info->fprintf_func) (info->stream, "%s", temp);
 876           tp = temp;
 877
 878           (*info->print_address_func) ((bfd_vma) number, info);
 879         }
 880         break;
 881
 882       case 'N':
 883       case 'y':
 884       case 'Y':
 885       case 'S':
 886       case 's':
 887         /* Any "normal" memory operand.  */
 888         if ((insn & 0x400) && (insn & 15) == 15 && prefix_opcodep == NULL)
 889           {
 890             /* We're looking at [pc+], i.e. we need to output an immediate
 891                number, where the size can depend on different things.  */
 892             long number;
 893             int signedp
 894               = ((*cs == 'z' && (insn & 0x20))
 895                  || opcodep->match == BDAP_QUICK_OPCODE);
 896             int nbytes;
 897
 898             if (opcodep->imm_oprnd_size == SIZE_FIX_32)
 899               nbytes = 4;
 900             else if (opcodep->imm_oprnd_size == SIZE_SPEC_REG)
 901               {
 902                 const struct cris_spec_reg *sregp
 903                   = spec_reg_info ((insn >> 12) & 15, disdata->distype);
 904
 905                 /* A NULL return should have been as a non-match earlier,
 906                    so catch it as an internal error in the error-case
 907                    below.  */
 908                 if (sregp == NULL)
 909                   /* Whatever non-valid size.  */
 910                   nbytes = 42;
 911                 else
 912                   /* PC is always incremented by a multiple of two.
 913                      For CRISv32, immediates are always 4 bytes for
 914                      special registers.  */
 915                   nbytes = disdata->distype == cris_dis_v32
 916                     ? 4 : (sregp->reg_size + 1) & ~1;
 917               }
 918             else
 919               {
 920                 int mode_size = 1 << ((insn >> 4) & (*cs == 'z' ? 1 : 3));
 921
 922                 if (mode_size == 1)
 923                   nbytes = 2;
 924                 else
 925                   nbytes = mode_size;
 926               }
 927
 928             switch (nbytes)
 929               {
 930               case 1:
 931                 number = buffer[2];
 932                 if (signedp && number > 127)
 933                   number -= 256;
 934                 break;
 935
 936               case 2:
 937                 number = buffer[2] + buffer[3] * 256;
 938                 if (signedp && number > 32767)
 939                   number -= 65536;
 940                 break;
 941
 942               case 4:
 943                 number
 944                   = buffer[2] + buffer[3] * 256 + buffer[4] * 65536
 945                   + buffer[5] * 0x1000000;
 946                 break;
 947
 948               default:
 949                 strcpy (tp, "bug");
 950                 tp += 3;
 951                 number = 42;
 952               }
 953
 954             if ((*cs == 'z' && (insn & 0x20))
 955                 || (opcodep->match == BDAP_QUICK_OPCODE
 956                     && (nbytes <= 2 || buffer[1 + nbytes] == 0)))
 957               tp = format_dec (number, tp, signedp);
 958             else
 959               {
 960                 unsigned int highbyte = (number >> 24) & 0xff;
 961
 962                 /* Either output this as an address or as a number.  If it's
 963                    a dword with the same high-byte as the address of the
 964                    insn, assume it's an address, and also if it's a non-zero
 965                    non-0xff high-byte.  If this is a jsr or a jump, then
 966                    it's definitely an address.  */
 967                 if (nbytes == 4
 968                     && (highbyte == ((addr >> 24) & 0xff)
 969                         || (highbyte != 0 && highbyte != 0xff)
 970                         || info->insn_type == dis_branch
 971                         || info->insn_type == dis_jsr))
 972                   {
 973                     /* Finish off and output previous formatted bytes.  */
 974                     *tp = 0;
 975                     tp = temp;
 976                     if (temp[0])
 977                       (*info->fprintf_func) (info->stream, "%s", temp);
 978
 979                     (*info->print_address_func) ((bfd_vma) number, info);
 980
 981                     info->target = number;
 982                   }
 983                 else
 984                   tp = format_hex (number, tp, disdata);
 985               }
 986           }
 987         else
 988           {
 989             /* Not an immediate number.  Then this is a (possibly
 990                prefixed) memory operand.  */
 991             if (info->insn_type != dis_nonbranch)
 992               {
 993                 int mode_size
 994                   = 1 << ((insn >> 4)
 995                           & (opcodep->args[0] == 'z' ? 1 : 3));
 996                 int size;
 997                 info->insn_type = dis_dref;
 998                 info->flags |= CRIS_DIS_FLAG_MEMREF;
 999
1000                 if (opcodep->imm_oprnd_size == SIZE_FIX_32)
1001                   size = 4;
1002                 else if (opcodep->imm_oprnd_size == SIZE_SPEC_REG)
1003                   {
1004                     const struct cris_spec_reg *sregp
1005                       = spec_reg_info ((insn >> 12) & 15, disdata->distype);
1006
1007                     /* FIXME: Improve error handling; should have been caught
1008                        earlier.  */
1009                     if (sregp == NULL)
1010                       size = 4;
1011                     else
1012                       size = sregp->reg_size;
1013                   }
1014                 else
1015                   size = mode_size;
1016
1017                 info->data_size = size;
1018               }
1019
1020             *tp++ = '[';
1021
1022             if (prefix_opcodep
1023                 /* We don't match dip with a postincremented field
1024                    as a side-effect address mode.  */
1025                 && ((insn & 0x400) == 0
1026                     || prefix_opcodep->match != DIP_OPCODE))
1027               {
1028                 if (insn & 0x400)
1029                   {
1030                     tp = format_reg (disdata, insn & 15, tp, with_reg_prefix);
1031                     *tp++ = '=';
1032                   }
1033
1034
1035                 /* We mainly ignore the prefix format string when the
1036                    address-mode syntax is output.  */
1037                 switch (prefix_opcodep->match)
1038                   {
1039                   case DIP_OPCODE:
1040                     /* It's [r], [r+] or [pc+].  */
1041                     if ((prefix_insn & 0x400) && (prefix_insn & 15) == 15)
1042                       {
1043                         /* It's [pc+].  This cannot possibly be anything
1044                            but an address.  */
1045                         unsigned long number
1046                           = prefix_buffer[2] + prefix_buffer[3] * 256
1047                           + prefix_buffer[4] * 65536
1048                           + prefix_buffer[5] * 0x1000000;
1049
1050                         info->target = (bfd_vma) number;
1051
1052                         /* Finish off and output previous formatted
1053                            data.  */
1054                         *tp = 0;
1055                         tp = temp;
1056                         if (temp[0])
1057                           (*info->fprintf_func) (info->stream, "%s", temp);
1058
1059                         (*info->print_address_func) ((bfd_vma) number, info);
1060                       }
1061                     else
1062                       {
1063                         /* For a memref in an address, we use target2.
1064                            In this case, target is zero.  */
1065                         info->flags
1066                           |= (CRIS_DIS_FLAG_MEM_TARGET2_IS_REG
1067                               | CRIS_DIS_FLAG_MEM_TARGET2_MEM);
1068
1069                         info->target2 = prefix_insn & 15;
1070
1071                         *tp++ = '[';
1072                         tp = format_reg (disdata, prefix_insn & 15, tp,
1073                                          with_reg_prefix);
1074                         if (prefix_insn & 0x400)
1075                           *tp++ = '+';
1076                         *tp++ = ']';
1077                       }
1078                     break;
1079
1080                   case BDAP_QUICK_OPCODE:
1081                     {
1082                       int number;
1083
1084                       number = prefix_buffer[0];
1085                       if (number > 127)
1086                         number -= 256;
1087
1088                       /* Output "reg+num" or, if num < 0, "reg-num".  */
1089                       tp = format_reg (disdata, (prefix_insn >> 12) & 15, tp,
1090                                        with_reg_prefix);
1091                       if (number >= 0)
1092                         *tp++ = '+';
1093                       tp = format_dec (number, tp, 1);
1094
1095                       info->flags |= CRIS_DIS_FLAG_MEM_TARGET_IS_REG;
1096                       info->target = (prefix_insn >> 12) & 15;
1097                       info->target2 = (bfd_vma) number;
1098                       break;
1099                     }
1100
1101                   case BIAP_OPCODE:
1102                     /* Output "r+R.m".  */
1103                     tp = format_reg (disdata, prefix_insn & 15, tp,
1104                                      with_reg_prefix);
1105                     *tp++ = '+';
1106                     tp = format_reg (disdata, (prefix_insn >> 12) & 15, tp,
1107                                      with_reg_prefix);
1108                     *tp++ = '.';
1109                     *tp++ = mode_char[(prefix_insn >> 4) & 3];
1110
1111                     info->flags
1112                       |= (CRIS_DIS_FLAG_MEM_TARGET2_IS_REG
1113                           | CRIS_DIS_FLAG_MEM_TARGET_IS_REG
1114
1115                           | ((prefix_insn & 0x8000)
1116                              ? CRIS_DIS_FLAG_MEM_TARGET2_MULT4
1117                              : ((prefix_insn & 0x8000)
1118                                 ? CRIS_DIS_FLAG_MEM_TARGET2_MULT2 : 0)));
1119
1120                     /* Is it the casejump?  It's a "adds.w [pc+r%d.w],pc".  */
1121                     if (insn == 0xf83f && (prefix_insn & ~0xf000) == 0x55f)
1122                       /* Then start interpreting data as offsets.  */
1123                       case_offset_counter = no_of_case_offsets;
1124                     break;
1125
1126                   case BDAP_INDIR_OPCODE:
1127                     /* Output "r+s.m", or, if "s" is [pc+], "r+s" or
1128                        "r-s".  */
1129                     tp = format_reg (disdata, (prefix_insn >> 12) & 15, tp,
1130                                      with_reg_prefix);
1131
1132                     if ((prefix_insn & 0x400) && (prefix_insn & 15) == 15)
1133                       {
1134                         long number;
1135                         unsigned int nbytes;
1136
1137                         /* It's a value.  Get its size.  */
1138                         int mode_size = 1 << ((prefix_insn >> 4) & 3);
1139
1140                         if (mode_size == 1)
1141                           nbytes = 2;
1142                         else
1143                           nbytes = mode_size;
1144
1145                         switch (nbytes)
1146                           {
1147                           case 1:
1148                             number = prefix_buffer[2];
1149                             if (number > 127)
1150                               number -= 256;
1151                             break;
1152
1153                           case 2:
1154                             number = prefix_buffer[2] + prefix_buffer[3] * 256;
1155                             if (number > 32767)
1156                               number -= 65536;
1157                             break;
1158
1159                           case 4:
1160                             number
1161                               = prefix_buffer[2] + prefix_buffer[3] * 256
1162                               + prefix_buffer[4] * 65536
1163                               + prefix_buffer[5] * 0x1000000;
1164                             break;
1165
1166                           default:
1167                             strcpy (tp, "bug");
1168                             tp += 3;
1169                             number = 42;
1170                           }
1171
1172                         info->flags |= CRIS_DIS_FLAG_MEM_TARGET_IS_REG;
1173                         info->target2 = (bfd_vma) number;
1174
1175                         /* If the size is dword, then assume it's an
1176                            address.  */
1177                         if (nbytes == 4)
1178                           {
1179                             /* Finish off and output previous formatted
1180                                bytes.  */
1181                             *tp++ = '+';
1182                             *tp = 0;
1183                             tp = temp;
1184                             (*info->fprintf_func) (info->stream, "%s", temp);
1185
1186                             (*info->print_address_func) ((bfd_vma) number, info);
1187                           }
1188                         else
1189                           {
1190                             if (number >= 0)
1191                               *tp++ = '+';
1192                             tp = format_dec (number, tp, 1);
1193                           }
1194                       }
1195                     else
1196                       {
1197                         /* Output "r+[R].m" or "r+[R+].m".  */
1198                         *tp++ = '+';
1199                         *tp++ = '[';
1200                         tp = format_reg (disdata, prefix_insn & 15, tp,
1201                                          with_reg_prefix);
1202                         if (prefix_insn & 0x400)
1203                           *tp++ = '+';
1204                         *tp++ = ']';
1205                         *tp++ = '.';
1206                         *tp++ = mode_char[(prefix_insn >> 4) & 3];
1207
1208                         info->flags
1209                           |= (CRIS_DIS_FLAG_MEM_TARGET2_IS_REG
1210                               | CRIS_DIS_FLAG_MEM_TARGET2_MEM
1211                               | CRIS_DIS_FLAG_MEM_TARGET_IS_REG
1212
1213                               | (((prefix_insn >> 4) == 2)
1214                                  ? 0
1215                                  : (((prefix_insn >> 4) & 3) == 1
1216                                     ? CRIS_DIS_FLAG_MEM_TARGET2_MEM_WORD
1217                                     : CRIS_DIS_FLAG_MEM_TARGET2_MEM_BYTE)));
1218                       }
1219                     break;
1220
1221                   default:
1222                     (*info->fprintf_func) (info->stream, "?prefix-bug");
1223                   }
1224
1225                 /* To mark that the prefix is used, reset it.  */
1226                 prefix_opcodep = NULL;
1227               }
1228             else
1229               {
1230                 tp = format_reg (disdata, insn & 15, tp, with_reg_prefix);
1231
1232                 info->flags |= CRIS_DIS_FLAG_MEM_TARGET_IS_REG;
1233                 info->target = insn & 15;
1234
1235                 if (insn & 0x400)
1236                   *tp++ = '+';
1237               }
1238             *tp++ = ']';
1239           }
1240         break;
1241
1242       case 'x':
1243         tp = format_reg (disdata, (insn >> 12) & 15, tp, with_reg_prefix);
1244         *tp++ = '.';
1245         *tp++ = mode_char[(insn >> 4) & 3];
1246         break;
1247
1248       case 'I':
1249         tp = format_dec (insn & 63, tp, 0);
1250         break;
1251
1252       case 'b':
1253         {
1254           int where = buffer[2] + buffer[3] * 256;
1255
1256           if (where > 32767)
1257             where -= 65536;
1258
1259           where += addr + ((disdata->distype == cris_dis_v32) ? 0 : 4);
1260
1261           if (insn == BA_PC_INCR_OPCODE)
1262             info->insn_type = dis_branch;
1263           else
1264             info->insn_type = dis_condbranch;
1265
1266           info->target = (bfd_vma) where;
1267
1268           *tp = 0;
1269           tp = temp;
1270           (*info->fprintf_func) (info->stream, "%s%s ",
1271                                  temp, cris_cc_strings[insn >> 12]);
1272
1273           (*info->print_address_func) ((bfd_vma) where, info);
1274         }
1275       break;
1276
1277     case 'c':
1278       tp = format_dec (insn & 31, tp, 0);
1279       break;
1280
1281     case 'C':
1282       tp = format_dec (insn & 15, tp, 0);
1283       break;
1284
1285     case 'o':
1286       {
1287         long offset = insn & 0xfe;
1288         bfd_vma target;
1289
1290         if (insn & 1)
1291           offset |= ~0xff;
1292
1293         if (opcodep->match == BA_QUICK_OPCODE)
1294           info->insn_type = dis_branch;
1295         else
1296           info->insn_type = dis_condbranch;
1297
1298         target = addr + ((disdata->distype == cris_dis_v32) ? 0 : 2) + offset;
1299         info->target = target;
1300         *tp = 0;
1301         tp = temp;
1302         (*info->fprintf_func) (info->stream, "%s", temp);
1303         (*info->print_address_func) (target, info);
1304       }
1305       break;
1306
1307     case 'Q':
1308     case 'O':
1309       {
1310         long number = buffer[0];
1311
1312         if (number > 127)
1313           number = number - 256;
1314
1315         tp = format_dec (number, tp, 1);
1316         *tp++ = ',';
1317         tp = format_reg (disdata, (insn >> 12) & 15, tp, with_reg_prefix);
1318       }
1319       break;
1320
1321     case 'f':
1322       tp = print_flags (disdata, insn, tp);
1323       break;
1324
1325     case 'i':
1326       tp = format_dec ((insn & 32) ? (insn & 31) | ~31L : insn & 31, tp, 1);
1327       break;
1328
1329     case 'P':
1330       {
1331         const struct cris_spec_reg *sregp
1332           = spec_reg_info ((insn >> 12) & 15, disdata->distype);
1333
1334         if (sregp->name == NULL)
1335           /* Should have been caught as a non-match eariler.  */
1336           *tp++ = '?';
1337         else
1338           {
1339             if (with_reg_prefix)
1340               *tp++ = REGISTER_PREFIX_CHAR;
1341             strcpy (tp, sregp->name);
1342             tp += strlen (tp);
1343           }
1344       }
1345       break;
1346
1347     default:
1348       strcpy (tp, "???");
1349       tp += 3;
1350     }
1351   }
1352
1353   *tp = 0;
1354
1355   if (prefix_opcodep)
1356     (*info->fprintf_func) (info->stream, " (OOPS unused prefix \"%s: %s\")",
1357                            prefix_opcodep->name, prefix_opcodep->args);
1358
1359   (*info->fprintf_func) (info->stream, "%s", temp);
1360
1361   /* Get info for matching case-tables, if we don't have any active.
1362      We assume that the last constant seen is used; either in the insn
1363      itself or in a "move.d const,rN, sub.d rN,rM"-like sequence.  */
1364   if (TRACE_CASE && case_offset_counter == 0)
1365     {
1366       if (CONST_STRNEQ (opcodep->name, "sub"))
1367         case_offset = last_immediate;
1368
1369       /* It could also be an "add", if there are negative case-values.  */
1370       else if (CONST_STRNEQ (opcodep->name, "add"))
1371         /* The first case is the negated operand to the add.  */
1372         case_offset = -last_immediate;
1373
1374       /* A bound insn will tell us the number of cases.  */
1375       else if (CONST_STRNEQ (opcodep->name, "bound"))
1376         no_of_case_offsets = last_immediate + 1;
1377
1378       /* A jump or jsr or branch breaks the chain of insns for a
1379          case-table, so assume default first-case again.  */
1380       else if (info->insn_type == dis_jsr
1381                || info->insn_type == dis_branch
1382                || info->insn_type == dis_condbranch)
1383         case_offset = 0;
1384     }
1385 }
1386
1387
1388 /* Print the CRIS instruction at address memaddr on stream.  Returns
1389    length of the instruction, in bytes.  Prefix register names with `$' if
1390    WITH_REG_PREFIX.  */
1391
1392 static int
1393 print_insn_cris_generic (bfd_vma memaddr,
1394                          disassemble_info *info,
1395                          bfd_boolean with_reg_prefix)
1396 {
1397   int nbytes;
1398   unsigned int insn;
1399   const struct cris_opcode *matchedp;
1400   int advance = 0;
1401   struct cris_disasm_data *disdata
1402     = (struct cris_disasm_data *) info->private_data;
1403
1404   /* No instruction will be disassembled as longer than this number of
1405      bytes; stacked prefixes will not be expanded.  */
1406   unsigned char buffer[MAX_BYTES_PER_CRIS_INSN];
1407   unsigned char *bufp;
1408   int status = 0;
1409   bfd_vma addr;
1410
1411   /* There will be an "out of range" error after the last instruction.
1412      Reading pairs of bytes in decreasing number, we hope that we will get
1413      at least the amount that we will consume.
1414
1415      If we can't get any data, or we do not get enough data, we print
1416      the error message.  */
1417
1418   for (nbytes = MAX_BYTES_PER_CRIS_INSN; nbytes > 0; nbytes -= 2)
1419     {
1420       status = (*info->read_memory_func) (memaddr, buffer, nbytes, info);
1421       if (status == 0)
1422         break;
1423     }
1424
1425   /* If we did not get all we asked for, then clear the rest.
1426      Hopefully this makes a reproducible result in case of errors.  */
1427   if (nbytes != MAX_BYTES_PER_CRIS_INSN)
1428     memset (buffer + nbytes, 0, MAX_BYTES_PER_CRIS_INSN - nbytes);
1429
1430   addr = memaddr;
1431   bufp = buffer;
1432
1433   /* Set some defaults for the insn info.  */
1434   info->insn_info_valid = 1;
1435   info->branch_delay_insns = 0;
1436   info->data_size = 0;
1437   info->insn_type = dis_nonbranch;
1438   info->flags = 0;
1439   info->target = 0;
1440   info->target2 = 0;
1441
1442   /* If we got any data, disassemble it.  */
1443   if (nbytes != 0)
1444     {
1445       matchedp = NULL;
1446
1447       insn = bufp[0] + bufp[1] * 256;
1448
1449       /* If we're in a case-table, don't disassemble the offsets.  */
1450       if (TRACE_CASE && case_offset_counter != 0)
1451         {
1452           info->insn_type = dis_noninsn;
1453           advance += 2;
1454
1455           /* If to print data as offsets, then shortcut here.  */
1456           (*info->fprintf_func) (info->stream, "case %ld%s: -> ",
1457                                  case_offset + no_of_case_offsets
1458                                  - case_offset_counter,
1459                                  case_offset_counter == 1 ? "/default" :
1460                                  "");
1461
1462           (*info->print_address_func) ((bfd_vma)
1463                                        ((short) (insn)
1464                                         + (long) (addr
1465                                                   - (no_of_case_offsets
1466                                                      - case_offset_counter)
1467                                                   * 2)), info);
1468           case_offset_counter--;
1469
1470           /* The default case start (without a "sub" or "add") must be
1471              zero.  */
1472           if (case_offset_counter == 0)
1473             case_offset = 0;
1474         }
1475       else if (insn == 0)
1476         {
1477           /* We're often called to disassemble zeroes.  While this is a
1478              valid "bcc .+2" insn, it is also useless enough and enough
1479              of a nuiscance that we will just output "bcc .+2" for it
1480              and signal it as a noninsn.  */
1481           (*info->fprintf_func) (info->stream,
1482                                  disdata->distype == cris_dis_v32
1483                                  ? "bcc ." : "bcc .+2");
1484           info->insn_type = dis_noninsn;
1485           advance += 2;
1486         }
1487       else
1488         {
1489           const struct cris_opcode *prefix_opcodep = NULL;
1490           unsigned char *prefix_buffer = bufp;
1491           unsigned int prefix_insn = insn;
1492           int prefix_size = 0;
1493
1494           matchedp = get_opcode_entry (insn, NO_CRIS_PREFIX, disdata);
1495
1496           /* Check if we're supposed to write out prefixes as address
1497              modes and if this was a prefix.  */
1498           if (matchedp != NULL && PARSE_PREFIX && matchedp->args[0] == 'p')
1499             {
1500               /* If it's a prefix, put it into the prefix vars and get the
1501                  main insn.  */
1502               prefix_size = bytes_to_skip (prefix_insn, matchedp,
1503                                            disdata->distype, NULL);
1504               prefix_opcodep = matchedp;
1505
1506               insn = bufp[prefix_size] + bufp[prefix_size + 1] * 256;
1507               matchedp = get_opcode_entry (insn, prefix_insn, disdata);
1508
1509               if (matchedp != NULL)
1510                 {
1511                   addr += prefix_size;
1512                   bufp += prefix_size;
1513                   advance += prefix_size;
1514                 }
1515               else
1516                 {
1517                   /* The "main" insn wasn't valid, at least not when
1518                      prefixed.  Put back things enough to output the
1519                      prefix insn only, as a normal insn.  */
1520                   matchedp = prefix_opcodep;
1521                   insn = prefix_insn;
1522                   prefix_opcodep = NULL;
1523                 }
1524             }
1525
1526           if (matchedp == NULL)
1527             {
1528               (*info->fprintf_func) (info->stream, "??0x%x", insn);
1529               advance += 2;
1530
1531               info->insn_type = dis_noninsn;
1532             }
1533           else
1534             {
1535               advance
1536                 += bytes_to_skip (insn, matchedp, disdata->distype,
1537                                   prefix_opcodep);
1538
1539               /* The info_type and assorted fields will be set according
1540                  to the operands.   */
1541               print_with_operands (matchedp, insn, bufp, addr, info,
1542                                    prefix_opcodep, prefix_insn,
1543                                    prefix_buffer, with_reg_prefix);
1544             }
1545         }
1546     }
1547   else
1548     info->insn_type = dis_noninsn;
1549
1550   /* If we read less than MAX_BYTES_PER_CRIS_INSN, i.e. we got an error
1551      status when reading that much, and the insn decoding indicated a
1552      length exceeding what we read, there is an error.  */
1553   if (status != 0 && (nbytes == 0 || advance > nbytes))
1554     {
1555       (*info->memory_error_func) (status, memaddr, info);
1556       return -1;
1557     }
1558
1559   /* Max supported insn size with one folded prefix insn.  */
1560   info->bytes_per_line = MAX_BYTES_PER_CRIS_INSN;
1561
1562   /* I would like to set this to a fixed value larger than the actual
1563      number of bytes to print in order to avoid spaces between bytes,
1564      but objdump.c (2.9.1) does not like that, so we print 16-bit
1565      chunks, which is the next choice.  */
1566   info->bytes_per_chunk = 2;
1567
1568   /* Printing bytes in order of increasing addresses makes sense,
1569      especially on a little-endian target.
1570      This is completely the opposite of what you think; setting this to
1571      BFD_ENDIAN_LITTLE will print bytes in order N..0 rather than the 0..N
1572      we want.  */
1573   info->display_endian = BFD_ENDIAN_BIG;
1574
1575   return advance;
1576 }
1577
1578 /* Disassemble, prefixing register names with `$'.  CRIS v0..v10.  */
1579
1580 static int
1581 print_insn_cris_with_register_prefix (bfd_vma vma,
1582                                       disassemble_info *info)
1583 {
1584   if (info->private_data == NULL
1585       && !cris_parse_disassembler_options (info, cris_dis_v0_v10))
1586     return -1;
1587   return print_insn_cris_generic (vma, info, TRUE);
1588 }
1589
1590 /* Disassemble, prefixing register names with `$'.  CRIS v32.  */
1591
1592 static int
1593 print_insn_crisv32_with_register_prefix (bfd_vma vma,
1594                                          disassemble_info *info)
1595 {
1596   if (info->private_data == NULL
1597       && !cris_parse_disassembler_options (info, cris_dis_v32))
1598     return -1;
1599   return print_insn_cris_generic (vma, info, TRUE);
1600 }
1601
1602 /* Disassemble, prefixing register names with `$'.
1603    Common v10 and v32 subset.  */
1604
1605 static int
1606 print_insn_crisv10_v32_with_register_prefix (bfd_vma vma,
1607                                              disassemble_info *info)
1608 {
1609   if (info->private_data == NULL
1610       && !cris_parse_disassembler_options (info, cris_dis_common_v10_v32))
1611     return -1;
1612   return print_insn_cris_generic (vma, info, TRUE);
1613 }
1614
1615 /* Disassemble, no prefixes on register names.  CRIS v0..v10.  */
1616
1617 static int
1618 print_insn_cris_without_register_prefix (bfd_vma vma,
1619                                          disassemble_info *info)
1620 {
1621   if (info->private_data == NULL
1622       && !cris_parse_disassembler_options (info, cris_dis_v0_v10))
1623     return -1;
1624   return print_insn_cris_generic (vma, info, FALSE);
1625 }
1626
1627 /* Disassemble, no prefixes on register names.  CRIS v32.  */
1628
1629 static int
1630 print_insn_crisv32_without_register_prefix (bfd_vma vma,
1631                                             disassemble_info *info)
1632 {
1633   if (info->private_data == NULL
1634       && !cris_parse_disassembler_options (info, cris_dis_v32))
1635     return -1;
1636   return print_insn_cris_generic (vma, info, FALSE);
1637 }
1638
1639 /* Disassemble, no prefixes on register names.
1640    Common v10 and v32 subset.  */
1641
1642 static int
1643 print_insn_crisv10_v32_without_register_prefix (bfd_vma vma,
1644                                                 disassemble_info *info)
1645 {
1646   if (info->private_data == NULL
1647       && !cris_parse_disassembler_options (info, cris_dis_common_v10_v32))
1648     return -1;
1649   return print_insn_cris_generic (vma, info, FALSE);
1650 }
1651
1652 /* Return a disassembler-function that prints registers with a `$' prefix,
1653    or one that prints registers without a prefix.
1654    FIXME: We should improve the solution to avoid the multitude of
1655    functions seen above.  */
1656
1657 disassembler_ftype
1658 cris_get_disassembler (bfd *abfd)
1659 {
1660   /* If there's no bfd in sight, we return what is valid as input in all
1661      contexts if fed back to the assembler: disassembly *with* register
1662      prefix.  Unfortunately this will be totally wrong for v32.  */
1663   if (abfd == NULL)
1664     return print_insn_cris_with_register_prefix;
1665
1666   if (bfd_get_symbol_leading_char (abfd) == 0)
1667     {
1668       if (bfd_get_mach (abfd) == bfd_mach_cris_v32)
1669         return print_insn_crisv32_with_register_prefix;
1670       if (bfd_get_mach (abfd) == bfd_mach_cris_v10_v32)
1671         return print_insn_crisv10_v32_with_register_prefix;
1672
1673       /* We default to v10.  This may be specifically specified in the
1674          bfd mach, but is also the default setting.  */
1675       return print_insn_cris_with_register_prefix;
1676     }
1677
1678   if (bfd_get_mach (abfd) == bfd_mach_cris_v32)
1679     return print_insn_crisv32_without_register_prefix;
1680   if (bfd_get_mach (abfd) == bfd_mach_cris_v10_v32)
1681     return print_insn_crisv10_v32_without_register_prefix;
1682   return print_insn_cris_without_register_prefix;
1683 }
1684
1685 /* Local variables:
1686    eval: (c-set-style "gnu")
1687    indent-tabs-mode: t
1688    End:  */