opcodes/ppc-dis.c

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