opcodes/ppc-dis.c

   1 /* ppc-dis.c -- Disassemble PowerPC instructions
   2    Copyright 1994, 1995, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
   3    2008, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
   4    Written by Ian Lance Taylor, Cygnus Support
   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 file; see the file COPYING.  If not, write to the
  20    Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston,
  21    MA 02110-1301, USA.  */
  22
  23 #include "sysdep.h"
  24 #include <stdio.h>
  25 #include "dis-asm.h"
  26 #include "elf-bfd.h"
  27 #include "elf/ppc.h"
  28 #include "opintl.h"
  29 #include "opcode/ppc.h"
  30
  31 /* This file provides several disassembler functions, all of which use
  32    the disassembler interface defined in dis-asm.h.  Several functions
  33    are provided because this file handles disassembly for the PowerPC
  34    in both big and little endian mode and also for the POWER (RS/6000)
  35    chip.  */
  36 static int print_insn_powerpc (bfd_vma, struct disassemble_info *, int,
  37                                ppc_cpu_t);
  38
  39 struct dis_private
  40 {
  41   /* Stash the result of parsing disassembler_options here.  */
  42   ppc_cpu_t dialect;
  43 } private;
  44
  45 #define POWERPC_DIALECT(INFO) \
  46   (((struct dis_private *) ((INFO)->private_data))->dialect)
  47
  48 struct ppc_mopt {
  49   const char *opt;
  50   ppc_cpu_t cpu;
  51   ppc_cpu_t sticky;
  52 };
  53
  54 struct ppc_mopt ppc_opts[] = {
  55   { "403",     (PPC_OPCODE_PPC | PPC_OPCODE_403),
  56     0 },
  57   { "405",     (PPC_OPCODE_PPC | PPC_OPCODE_403 | PPC_OPCODE_405),
  58     0 },
  59   { "440",     (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_440
  60                 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI),
  61     0 },
  62   { "464",     (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_440
  63                 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI),
  64     0 },
  65   { "476",     (PPC_OPCODE_PPC | PPC_OPCODE_ISEL | PPC_OPCODE_440
  66                 | PPC_OPCODE_476 | PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5),
  67     0 },
  68   { "601",     (PPC_OPCODE_PPC | PPC_OPCODE_601),
  69     0 },
  70   { "603",     (PPC_OPCODE_PPC),
  71     0 },
  72   { "604",     (PPC_OPCODE_PPC),
  73     0 },
  74   { "620",     (PPC_OPCODE_PPC | PPC_OPCODE_64),
  75     0 },
  76   { "7400",    (PPC_OPCODE_PPC | PPC_OPCODE_ALTIVEC),
  77     0 },
  78   { "7410",    (PPC_OPCODE_PPC | PPC_OPCODE_ALTIVEC),
  79     0 },
  80   { "7450",    (PPC_OPCODE_PPC | PPC_OPCODE_ALTIVEC),
  81     0 },
  82   { "7455",    (PPC_OPCODE_PPC | PPC_OPCODE_ALTIVEC),
  83     0 },
  84   { "750cl",   (PPC_OPCODE_PPC | PPC_OPCODE_PPCPS)
  85     , 0 },
  86   { "a2",      (PPC_OPCODE_PPC | PPC_OPCODE_ISEL | PPC_OPCODE_POWER4
  87                 | PPC_OPCODE_POWER5 | PPC_OPCODE_CACHELCK | PPC_OPCODE_64
  88                 | PPC_OPCODE_A2),
  89     0 },
  90   { "altivec", (PPC_OPCODE_PPC),
  91     PPC_OPCODE_ALTIVEC },
  92   { "any",     0,
  93     PPC_OPCODE_ANY },
  94   { "booke",   (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE),
  95     0 },
  96   { "booke32", (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE),
  97     0 },
  98   { "cell",    (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
  99                 | PPC_OPCODE_CELL | PPC_OPCODE_ALTIVEC),
 100     0 },
 101   { "com",     (PPC_OPCODE_COMMON),
 102     0 },
 103   { "e300",    (PPC_OPCODE_PPC | PPC_OPCODE_E300),
 104     0 },
 105   { "e500",    (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
 106                 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
 107                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 108                 | PPC_OPCODE_E500),
 109     0 },
 110   { "e500mc",  (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
 111                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 112                 | PPC_OPCODE_E500MC),
 113     0 },
 114   { "e500mc64",  (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
 115                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 116                 | PPC_OPCODE_E500MC | PPC_OPCODE_64 | PPC_OPCODE_POWER5
 117                 | PPC_OPCODE_POWER6 | PPC_OPCODE_POWER7),
 118     0 },
 119   { "e5500",    (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
 120                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 121                 | PPC_OPCODE_E500MC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 122                 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6
 123                 | PPC_OPCODE_POWER7),
 124     0 },
 125   { "e6500",   (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
 126                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 127                 | PPC_OPCODE_E500MC | PPC_OPCODE_64 | PPC_OPCODE_ALTIVEC
 128                 | PPC_OPCODE_ALTIVEC2 | PPC_OPCODE_E6500 | PPC_OPCODE_POWER4
 129                 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6 | PPC_OPCODE_POWER7),
 130     0 },
 131   { "e500x2",  (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
 132                 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
 133                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK | PPC_OPCODE_RFMCI
 134                 | PPC_OPCODE_E500),
 135     0 },
 136   { "efs",     (PPC_OPCODE_PPC | PPC_OPCODE_EFS),
 137     0 },
 138   { "power4",  (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4),
 139     0 },
 140   { "power5",  (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 141                 | PPC_OPCODE_POWER5),
 142     0 },
 143   { "power6",  (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 144                 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6 | PPC_OPCODE_ALTIVEC),
 145     0 },
 146   { "power7",  (PPC_OPCODE_PPC | PPC_OPCODE_ISEL | PPC_OPCODE_64
 147                 | PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6
 148                 | PPC_OPCODE_POWER7 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX),
 149     0 },
 150   { "ppc",     (PPC_OPCODE_PPC),
 151     0 },
 152   { "ppc32",   (PPC_OPCODE_PPC),
 153     0 },
 154   { "ppc64",   (PPC_OPCODE_PPC | PPC_OPCODE_64),
 155     0 },
 156   { "ppc64bridge", (PPC_OPCODE_PPC | PPC_OPCODE_64_BRIDGE),
 157     0 },
 158   { "ppcps",   (PPC_OPCODE_PPC | PPC_OPCODE_PPCPS),
 159     0 },
 160   { "pwr",     (PPC_OPCODE_POWER),
 161     0 },
 162   { "pwr2",    (PPC_OPCODE_POWER | PPC_OPCODE_POWER2),
 163     0 },
 164   { "pwr4",    (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4),
 165     0 },
 166   { "pwr5",    (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 167                 | PPC_OPCODE_POWER5),
 168     0 },
 169   { "pwr5x",   (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 170                 | PPC_OPCODE_POWER5),
 171     0 },
 172   { "pwr6",    (PPC_OPCODE_PPC | PPC_OPCODE_64 | PPC_OPCODE_POWER4
 173                 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6 | PPC_OPCODE_ALTIVEC),
 174     0 },
 175   { "pwr7",    (PPC_OPCODE_PPC | PPC_OPCODE_ISEL | PPC_OPCODE_64
 176                 | PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6
 177                 | PPC_OPCODE_POWER7 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX),
 178     0 },
 179   { "pwrx",    (PPC_OPCODE_POWER | PPC_OPCODE_POWER2),
 180     0 },
 181   { "spe",     (PPC_OPCODE_PPC | PPC_OPCODE_EFS),
 182     PPC_OPCODE_SPE },
 183   { "titan",   (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_PMR
 184                 | PPC_OPCODE_RFMCI | PPC_OPCODE_TITAN),
 185     0 },
 186   { "vle",     (PPC_OPCODE_PPC | PPC_OPCODE_ISEL | PPC_OPCODE_VLE),
 187     PPC_OPCODE_VLE },
 188   { "vsx",     (PPC_OPCODE_PPC),
 189     PPC_OPCODE_VSX },
 190 };
 191
 192 /* Switch between Booke and VLE dialects for interlinked dumps.  */
 193 static ppc_cpu_t
 194 get_powerpc_dialect (struct disassemble_info *info)
 195 {
 196   ppc_cpu_t dialect = 0;
 197
 198   dialect = POWERPC_DIALECT (info);
 199
 200   /* Disassemble according to the section headers flags for VLE-mode.  */
 201   if (dialect & PPC_OPCODE_VLE
 202       && info->section->owner != NULL
 203       && bfd_get_flavour (info->section->owner) == bfd_target_elf_flavour
 204       && elf_object_id (info->section->owner) == PPC32_ELF_DATA
 205       && (elf_section_flags (info->section) & SHF_PPC_VLE) != 0)
 206     return dialect;
 207   else
 208     return dialect & ~ PPC_OPCODE_VLE;
 209 }
 210
 211 /* Handle -m and -M options that set cpu type, and .machine arg.  */
 212
 213 ppc_cpu_t
 214 ppc_parse_cpu (ppc_cpu_t ppc_cpu, const char *arg)
 215 {
 216   const ppc_cpu_t retain_mask = (PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX
 217                                  | PPC_OPCODE_SPE | PPC_OPCODE_ANY
 218                                  | PPC_OPCODE_VLE | PPC_OPCODE_PMR);
 219   /* Sticky bits.  */
 220   ppc_cpu_t retain_flags = ppc_cpu & retain_mask;
 221   unsigned int i;
 222
 223   for (i = 0; i < sizeof (ppc_opts) / sizeof (ppc_opts[0]); i++)
 224     if (strcmp (ppc_opts[i].opt, arg) == 0)
 225       {
 226         if (ppc_opts[i].sticky)
 227           {
 228             retain_flags |= ppc_opts[i].sticky;
 229             if ((ppc_cpu & ~retain_mask) != 0)
 230               break;
 231           }
 232         ppc_cpu = ppc_opts[i].cpu;
 233         break;
 234       }
 235   if (i >= sizeof (ppc_opts) / sizeof (ppc_opts[0]))
 236     return 0;
 237
 238   ppc_cpu |= retain_flags;
 239   return ppc_cpu;
 240 }
 241
 242 /* Determine which set of machines to disassemble for.  */
 243
 244 static void
 245 powerpc_init_dialect (struct disassemble_info *info)
 246 {
 247   ppc_cpu_t dialect = 0;
 248   char *arg;
 249   struct dis_private *priv = calloc (sizeof (*priv), 1);
 250
 251   if (priv == NULL)
 252     priv = &private;
 253
 254   arg = info->disassembler_options;
 255   while (arg != NULL)
 256     {
 257       ppc_cpu_t new_cpu = 0;
 258       char *end = strchr (arg, ',');
 259
 260       if (end != NULL)
 261         *end = 0;
 262
 263       if ((new_cpu = ppc_parse_cpu (dialect, arg)) != 0)
 264         dialect = new_cpu;
 265       else if (strcmp (arg, "32") == 0)
 266         dialect &= ~(ppc_cpu_t) PPC_OPCODE_64;
 267       else if (strcmp (arg, "64") == 0)
 268         dialect |= PPC_OPCODE_64;
 269       else
 270         fprintf (stderr, _("warning: ignoring unknown -M%s option\n"), arg);
 271
 272       if (end != NULL)
 273         *end++ = ',';
 274       arg = end;
 275     }
 276
 277   if ((dialect & ~(ppc_cpu_t) PPC_OPCODE_64) == 0)
 278     {
 279       if (info->mach == bfd_mach_ppc64)
 280         dialect |= PPC_OPCODE_64;
 281       else
 282         dialect &= ~(ppc_cpu_t) PPC_OPCODE_64;
 283       if (info->mach == bfd_mach_ppc_vle)
 284         dialect |= PPC_OPCODE_PPC | PPC_OPCODE_VLE;
 285       else
 286         /* Choose a reasonable default.  */
 287         dialect |= (PPC_OPCODE_PPC | PPC_OPCODE_COMMON | PPC_OPCODE_601
 288                     | PPC_OPCODE_ALTIVEC);
 289     }
 290
 291   info->private_data = priv;
 292   POWERPC_DIALECT(info) = dialect;
 293 }
 294
 295 #define PPC_OPCD_SEGS 64
 296 static unsigned short powerpc_opcd_indices[PPC_OPCD_SEGS+1];
 297 #define VLE_OPCD_SEGS 32
 298 static unsigned short vle_opcd_indices[VLE_OPCD_SEGS+1];
 299
 300 /* Calculate opcode table indices to speed up disassembly,
 301    and init dialect.  */
 302
 303 void
 304 disassemble_init_powerpc (struct disassemble_info *info)
 305 {
 306   int i;
 307   unsigned short last;
 308
 309   i = powerpc_num_opcodes;
 310   while (--i >= 0)
 311     {
 312       unsigned op = PPC_OP (powerpc_opcodes[i].opcode);
 313
 314       powerpc_opcd_indices[op] = i;
 315     }
 316
 317   last = powerpc_num_opcodes;
 318   for (i = PPC_OPCD_SEGS; i > 0; --i)
 319     {
 320       if (powerpc_opcd_indices[i] == 0)
 321         powerpc_opcd_indices[i] = last;
 322       last = powerpc_opcd_indices[i];
 323     }
 324
 325   i = vle_num_opcodes;
 326   while (--i >= 0)
 327     {
 328       unsigned op = VLE_OP (vle_opcodes[i].opcode, vle_opcodes[i].mask);
 329       unsigned seg = VLE_OP_TO_SEG (op);
 330
 331       vle_opcd_indices[seg] = i;
 332     }
 333
 334   last = vle_num_opcodes;
 335   for (i = VLE_OPCD_SEGS; i > 0; --i)
 336     {
 337       if (vle_opcd_indices[i] == 0)
 338         vle_opcd_indices[i] = last;
 339       last = vle_opcd_indices[i];
 340     }
 341
 342   if (info->arch == bfd_arch_powerpc)
 343     powerpc_init_dialect (info);
 344 }
 345
 346 /* Print a big endian PowerPC instruction.  */
 347
 348 int
 349 print_insn_big_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 350 {
 351   return print_insn_powerpc (memaddr, info, 1, get_powerpc_dialect (info));
 352 }
 353
 354 /* Print a little endian PowerPC instruction.  */
 355
 356 int
 357 print_insn_little_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 358 {
 359   return print_insn_powerpc (memaddr, info, 0, get_powerpc_dialect (info));
 360 }
 361
 362 /* Print a POWER (RS/6000) instruction.  */
 363
 364 int
 365 print_insn_rs6000 (bfd_vma memaddr, struct disassemble_info *info)
 366 {
 367   return print_insn_powerpc (memaddr, info, 1, PPC_OPCODE_POWER);
 368 }
 369
 370 /* Extract the operand value from the PowerPC or POWER instruction.  */
 371
 372 static long
 373 operand_value_powerpc (const struct powerpc_operand *operand,
 374                        unsigned long insn, ppc_cpu_t dialect)
 375 {
 376   long value;
 377   int invalid;
 378   /* Extract the value from the instruction.  */
 379   if (operand->extract)
 380     value = (*operand->extract) (insn, dialect, &invalid);
 381   else
 382     {
 383       if (operand->shift >= 0)
 384         value = (insn >> operand->shift) & operand->bitm;
 385       else
 386         value = (insn << -operand->shift) & operand->bitm;
 387       if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
 388         {
 389           /* BITM is always some number of zeros followed by some
 390              number of ones, followed by some number of zeros.  */
 391           unsigned long top = operand->bitm;
 392           /* top & -top gives the rightmost 1 bit, so this
 393              fills in any trailing zeros.  */
 394           top |= (top & -top) - 1;
 395           top &= ~(top >> 1);
 396           value = (value ^ top) - top;
 397         }
 398     }
 399
 400   return value;
 401 }
 402
 403 /* Determine whether the optional operand(s) should be printed.  */
 404
 405 static int
 406 skip_optional_operands (const unsigned char *opindex,
 407                         unsigned long insn, ppc_cpu_t dialect)
 408 {
 409   const struct powerpc_operand *operand;
 410
 411   for (; *opindex != 0; opindex++)
 412     {
 413       operand = &powerpc_operands[*opindex];
 414       if ((operand->flags & PPC_OPERAND_NEXT) != 0
 415           || ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
 416               && operand_value_powerpc (operand, insn, dialect) != 0))
 417         return 0;
 418     }
 419
 420   return 1;
 421 }
 422
 423 /* Find a match for INSN in the opcode table, given machine DIALECT.
 424    A DIALECT of -1 is special, matching all machine opcode variations.  */
 425
 426 static const struct powerpc_opcode *
 427 lookup_powerpc (unsigned long insn, ppc_cpu_t dialect)
 428 {
 429   const struct powerpc_opcode *opcode;
 430   const struct powerpc_opcode *opcode_end;
 431   unsigned long op;
 432
 433   /* Get the major opcode of the instruction.  */
 434   op = PPC_OP (insn);
 435
 436   /* Find the first match in the opcode table for this major opcode.  */
 437   opcode_end = powerpc_opcodes + powerpc_opcd_indices[op + 1];
 438   for (opcode = powerpc_opcodes + powerpc_opcd_indices[op];
 439        opcode < opcode_end;
 440        ++opcode)
 441     {
 442       const unsigned char *opindex;
 443       const struct powerpc_operand *operand;
 444       int invalid;
 445
 446       if ((insn & opcode->mask) != opcode->opcode
 447           || (dialect != (ppc_cpu_t) -1
 448               && ((opcode->flags & dialect) == 0
 449                   || (opcode->deprecated & dialect) != 0)))
 450         continue;
 451
 452       /* Check validity of operands.  */
 453       invalid = 0;
 454       for (opindex = opcode->operands; *opindex != 0; opindex++)
 455         {
 456           operand = powerpc_operands + *opindex;
 457           if (operand->extract)
 458             (*operand->extract) (insn, dialect, &invalid);
 459         }
 460       if (invalid)
 461         continue;
 462
 463       return opcode;
 464     }
 465
 466   return NULL;
 467 }
 468
 469 /* Find a match for INSN in the VLE opcode table.  */
 470
 471 static const struct powerpc_opcode *
 472 lookup_vle (unsigned long insn)
 473 {
 474   const struct powerpc_opcode *opcode;
 475   const struct powerpc_opcode *opcode_end;
 476   unsigned op, seg;
 477
 478   op = PPC_OP (insn);
 479   if (op >= 0x20 && op <= 0x37)
 480     {
 481       /* This insn has a 4-bit opcode.  */
 482       op &= 0x3c;
 483     }
 484   seg = VLE_OP_TO_SEG (op);
 485
 486   /* Find the first match in the opcode table for this major opcode.  */
 487   opcode_end = vle_opcodes + vle_opcd_indices[seg + 1];
 488   for (opcode = vle_opcodes + vle_opcd_indices[seg];
 489        opcode < opcode_end;
 490        ++opcode)
 491     {
 492       unsigned long table_opcd = opcode->opcode;
 493       unsigned long table_mask = opcode->mask;
 494       bfd_boolean table_op_is_short = PPC_OP_SE_VLE(table_mask);
 495       unsigned long insn2;
 496       const unsigned char *opindex;
 497       const struct powerpc_operand *operand;
 498       int invalid;
 499
 500       insn2 = insn;
 501       if (table_op_is_short)
 502         insn2 >>= 16;
 503       if ((insn2 & table_mask) != table_opcd)
 504         continue;
 505
 506       /* Check validity of operands.  */
 507       invalid = 0;
 508       for (opindex = opcode->operands; *opindex != 0; ++opindex)
 509         {
 510           operand = powerpc_operands + *opindex;
 511           if (operand->extract)
 512             (*operand->extract) (insn, (ppc_cpu_t)0, &invalid);
 513         }
 514       if (invalid)
 515         continue;
 516
 517       return opcode;
 518     }
 519
 520   return NULL;
 521 }
 522
 523 /* Print a PowerPC or POWER instruction.  */
 524
 525 static int
 526 print_insn_powerpc (bfd_vma memaddr,
 527                     struct disassemble_info *info,
 528                     int bigendian,
 529                     ppc_cpu_t dialect)
 530 {
 531   bfd_byte buffer[4];
 532   int status;
 533   unsigned long insn;
 534   const struct powerpc_opcode *opcode;
 535   bfd_boolean insn_is_short;
 536
 537   status = (*info->read_memory_func) (memaddr, buffer, 4, info);
 538   if (status != 0)
 539     {
 540       /* The final instruction may be a 2-byte VLE insn.  */
 541       if ((dialect & PPC_OPCODE_VLE) != 0)
 542         {
 543           /* Clear buffer so unused bytes will not have garbage in them.  */
 544           buffer[0] = buffer[1] = buffer[2] = buffer[3] = 0;
 545           status = (*info->read_memory_func) (memaddr, buffer, 2, info);
 546           if (status != 0)
 547             {
 548               (*info->memory_error_func) (status, memaddr, info);
 549               return -1;
 550             }
 551         }
 552       else
 553         {
 554           (*info->memory_error_func) (status, memaddr, info);
 555           return -1;
 556         }
 557     }
 558
 559   if (bigendian)
 560     insn = bfd_getb32 (buffer);
 561   else
 562     insn = bfd_getl32 (buffer);
 563
 564   /* Get the major opcode of the insn.  */
 565   opcode = NULL;
 566   insn_is_short = FALSE;
 567   if ((dialect & PPC_OPCODE_VLE) != 0)
 568     {
 569       opcode = lookup_vle (insn);
 570       if (opcode != NULL)
 571         insn_is_short = PPC_OP_SE_VLE(opcode->mask);
 572     }
 573   if (opcode == NULL)
 574     opcode = lookup_powerpc (insn, dialect);
 575   if (opcode == NULL && (dialect & PPC_OPCODE_ANY) != 0)
 576     opcode = lookup_powerpc (insn, (ppc_cpu_t) -1);
 577
 578   if (opcode != NULL)
 579     {
 580       const unsigned char *opindex;
 581       const struct powerpc_operand *operand;
 582       int need_comma;
 583       int need_paren;
 584       int skip_optional;
 585
 586       if (opcode->operands[0] != 0)
 587         (*info->fprintf_func) (info->stream, "%-7s ", opcode->name);
 588       else
 589         (*info->fprintf_func) (info->stream, "%s", opcode->name);
 590
 591       if (insn_is_short)
 592         /* The operands will be fetched out of the 16-bit instruction.  */
 593         insn >>= 16;
 594
 595       /* Now extract and print the operands.  */
 596       need_comma = 0;
 597       need_paren = 0;
 598       skip_optional = -1;
 599       for (opindex = opcode->operands; *opindex != 0; opindex++)
 600         {
 601           long value;
 602
 603           operand = powerpc_operands + *opindex;
 604
 605           /* Operands that are marked FAKE are simply ignored.  We
 606              already made sure that the extract function considered
 607              the instruction to be valid.  */
 608           if ((operand->flags & PPC_OPERAND_FAKE) != 0)
 609             continue;
 610
 611           /* If all of the optional operands have the value zero,
 612              then don't print any of them.  */
 613           if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
 614             {
 615               if (skip_optional < 0)
 616                 skip_optional = skip_optional_operands (opindex, insn,
 617                                                         dialect);
 618               if (skip_optional)
 619                 continue;
 620             }
 621
 622           value = operand_value_powerpc (operand, insn, dialect);
 623
 624           if (need_comma)
 625             {
 626               (*info->fprintf_func) (info->stream, ",");
 627               need_comma = 0;
 628             }
 629
 630           /* Print the operand as directed by the flags.  */
 631           if ((operand->flags & PPC_OPERAND_GPR) != 0
 632               || ((operand->flags & PPC_OPERAND_GPR_0) != 0 && value != 0))
 633             (*info->fprintf_func) (info->stream, "r%ld", value);
 634           else if ((operand->flags & PPC_OPERAND_FPR) != 0)
 635             (*info->fprintf_func) (info->stream, "f%ld", value);
 636           else if ((operand->flags & PPC_OPERAND_VR) != 0)
 637             (*info->fprintf_func) (info->stream, "v%ld", value);
 638           else if ((operand->flags & PPC_OPERAND_VSR) != 0)
 639             (*info->fprintf_func) (info->stream, "vs%ld", value);
 640           else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0)
 641             (*info->print_address_func) (memaddr + value, info);
 642           else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
 643             (*info->print_address_func) ((bfd_vma) value & 0xffffffff, info);
 644           else if ((operand->flags & PPC_OPERAND_FSL) != 0)
 645             (*info->fprintf_func) (info->stream, "fsl%ld", value);
 646           else if ((operand->flags & PPC_OPERAND_FCR) != 0)
 647             (*info->fprintf_func) (info->stream, "fcr%ld", value);
 648           else if ((operand->flags & PPC_OPERAND_UDI) != 0)
 649             (*info->fprintf_func) (info->stream, "%ld", value);
 650           else if ((operand->flags & PPC_OPERAND_CR_REG) != 0
 651                    && (((dialect & PPC_OPCODE_PPC) != 0)
 652                        || ((dialect & PPC_OPCODE_VLE) != 0)))
 653             (*info->fprintf_func) (info->stream, "cr%ld", value);
 654           else if (((operand->flags & PPC_OPERAND_CR_BIT) != 0)
 655                    && (((dialect & PPC_OPCODE_PPC) != 0)
 656                        || ((dialect & PPC_OPCODE_VLE) != 0)))
 657             {
 658               static const char *cbnames[4] = { "lt", "gt", "eq", "so" };
 659               int cr;
 660               int cc;
 661
 662               cr = value >> 2;
 663               if (cr != 0)
 664                 (*info->fprintf_func) (info->stream, "4*cr%d+", cr);
 665               cc = value & 3;
 666               (*info->fprintf_func) (info->stream, "%s", cbnames[cc]);
 667             }
 668           else
 669             (*info->fprintf_func) (info->stream, "%d", value);
 670
 671           if (need_paren)
 672             {
 673               (*info->fprintf_func) (info->stream, ")");
 674               need_paren = 0;
 675             }
 676
 677           if ((operand->flags & PPC_OPERAND_PARENS) == 0)
 678             need_comma = 1;
 679           else
 680             {
 681               (*info->fprintf_func) (info->stream, "(");
 682               need_paren = 1;
 683             }
 684         }
 685
 686       /* We have found and printed an instruction.
 687          If it was a short VLE instruction we have more to do.  */
 688       if (insn_is_short)
 689         {
 690           memaddr += 2;
 691           return 2;
 692         }
 693       else
 694         /* Otherwise, return.  */
 695         return 4;
 696     }
 697
 698   /* We could not find a match.  */
 699   (*info->fprintf_func) (info->stream, ".long 0x%lx", insn);
 700
 701   return 4;
 702 }
 703
 704 void
 705 print_ppc_disassembler_options (FILE *stream)
 706 {
 707   unsigned int i, col;
 708
 709   fprintf (stream, _("\n\
 710 The following PPC specific disassembler options are supported for use with\n\
 711 the -M switch:\n"));
 712
 713   for (col = 0, i = 0; i < sizeof (ppc_opts) / sizeof (ppc_opts[0]); i++)
 714     {
 715       col += fprintf (stream, " %s,", ppc_opts[i].opt);
 716       if (col > 66)
 717         {
 718           fprintf (stream, "\n");
 719           col = 0;
 720         }
 721     }
 722   fprintf (stream, " 32, 64\n");
 723 }