external/gpl3/binutils/dist/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 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 <stdio.h>
  24 #include "sysdep.h"
  25 #include "dis-asm.h"
  26 #include "opcode/ppc.h"
  27
  28 /* This file provides several disassembler functions, all of which use
  29    the disassembler interface defined in dis-asm.h.  Several functions
  30    are provided because this file handles disassembly for the PowerPC
  31    in both big and little endian mode and also for the POWER (RS/6000)
  32    chip.  */
  33 static int print_insn_powerpc (bfd_vma, struct disassemble_info *, int,
  34                                ppc_cpu_t);
  35
  36 struct dis_private
  37 {
  38   /* Stash the result of parsing disassembler_options here.  */
  39   ppc_cpu_t dialect;
  40 };
  41
  42 #define POWERPC_DIALECT(INFO) \
  43   (((struct dis_private *) ((INFO)->private_data))->dialect)
  44
  45 /* Determine which set of machines to disassemble for.  PPC403/601 or
  46    BookE.  For convenience, also disassemble instructions supported
  47    by the AltiVec vector unit.  */
  48
  49 static int
  50 powerpc_init_dialect (struct disassemble_info *info)
  51 {
  52   ppc_cpu_t dialect = PPC_OPCODE_PPC;
  53   struct dis_private *priv = calloc (sizeof (*priv), 1);
  54
  55   if (priv == NULL)
  56     return FALSE;
  57
  58   if (BFD_DEFAULT_TARGET_SIZE == 64)
  59     dialect |= PPC_OPCODE_64;
  60
  61   if (info->disassembler_options
  62       && strstr (info->disassembler_options, "ppcps") != NULL)
  63     dialect |= PPC_OPCODE_PPCPS;
  64   else if (info->disassembler_options
  65       && strstr (info->disassembler_options, "booke") != NULL)
  66     dialect |= PPC_OPCODE_BOOKE;
  67   else if ((info->mach == bfd_mach_ppc_e500mc)
  68            || (info->disassembler_options
  69                && strstr (info->disassembler_options, "e500mc") != NULL))
  70     dialect |= (PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
  71                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
  72                 | PPC_OPCODE_RFMCI | PPC_OPCODE_E500MC);
  73   else if ((info->mach == bfd_mach_ppc_e500)
  74            || (info->disassembler_options
  75                && strstr (info->disassembler_options, "e500") != NULL))
  76     dialect |= (PPC_OPCODE_BOOKE
  77                 | PPC_OPCODE_SPE | PPC_OPCODE_ISEL
  78                 | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
  79                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
  80                 | PPC_OPCODE_RFMCI | PPC_OPCODE_E500MC);
  81   else if (info->disassembler_options
  82            && strstr (info->disassembler_options, "efs") != NULL)
  83     dialect |= PPC_OPCODE_EFS;
  84   else if (info->disassembler_options
  85            && strstr (info->disassembler_options, "e300") != NULL)
  86     dialect |= PPC_OPCODE_E300 | PPC_OPCODE_CLASSIC | PPC_OPCODE_COMMON;
  87   else if (info->disassembler_options
  88            && (strstr (info->disassembler_options, "440") != NULL
  89                || strstr (info->disassembler_options, "464") != NULL))
  90     dialect |= PPC_OPCODE_BOOKE | PPC_OPCODE_32
  91       | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI;
  92   else
  93     dialect |= (PPC_OPCODE_403 | PPC_OPCODE_601 | PPC_OPCODE_CLASSIC
  94                 | PPC_OPCODE_COMMON | PPC_OPCODE_ALTIVEC);
  95
  96   if (info->disassembler_options
  97       && strstr (info->disassembler_options, "power4") != NULL)
  98     dialect |= PPC_OPCODE_POWER4;
  99
 100   if (info->disassembler_options
 101       && strstr (info->disassembler_options, "power5") != NULL)
 102     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5;
 103
 104   if (info->disassembler_options
 105       && strstr (info->disassembler_options, "cell") != NULL)
 106     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_CELL | PPC_OPCODE_ALTIVEC;
 107
 108   if (info->disassembler_options
 109       && strstr (info->disassembler_options, "power6") != NULL)
 110     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6
 111                | PPC_OPCODE_ALTIVEC;
 112
 113   if (info->disassembler_options
 114       && strstr (info->disassembler_options, "power7") != NULL)
 115     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5
 116                | PPC_OPCODE_POWER6 | PPC_OPCODE_POWER7
 117                | PPC_OPCODE_ISEL | PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX;
 118
 119   if (info->disassembler_options
 120       && strstr (info->disassembler_options, "vsx") != NULL)
 121     dialect |= PPC_OPCODE_VSX;
 122
 123   if (info->disassembler_options
 124       && strstr (info->disassembler_options, "any") != NULL)
 125     dialect |= PPC_OPCODE_ANY;
 126
 127   if (info->disassembler_options)
 128     {
 129       if (strstr (info->disassembler_options, "32") != NULL)
 130         dialect &= ~PPC_OPCODE_64;
 131       else if (strstr (info->disassembler_options, "64") != NULL)
 132         dialect |= PPC_OPCODE_64;
 133     }
 134
 135   info->private_data = priv;
 136   POWERPC_DIALECT(info) = dialect;
 137
 138   return TRUE;
 139 }
 140
 141 /* Print a big endian PowerPC instruction.  */
 142
 143 int
 144 print_insn_big_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 145 {
 146   if (info->private_data == NULL && !powerpc_init_dialect (info))
 147     return -1;
 148   return print_insn_powerpc (memaddr, info, 1, POWERPC_DIALECT(info));
 149 }
 150
 151 /* Print a little endian PowerPC instruction.  */
 152
 153 int
 154 print_insn_little_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 155 {
 156   if (info->private_data == NULL && !powerpc_init_dialect (info))
 157     return -1;
 158   return print_insn_powerpc (memaddr, info, 0, POWERPC_DIALECT(info));
 159 }
 160
 161 /* Print a POWER (RS/6000) instruction.  */
 162
 163 int
 164 print_insn_rs6000 (bfd_vma memaddr, struct disassemble_info *info)
 165 {
 166   return print_insn_powerpc (memaddr, info, 1, PPC_OPCODE_POWER);
 167 }
 168
 169 /* Extract the operand value from the PowerPC or POWER instruction.  */
 170
 171 static long
 172 operand_value_powerpc (const struct powerpc_operand *operand,
 173                        unsigned long insn, ppc_cpu_t dialect)
 174 {
 175   long value;
 176   int invalid;
 177   /* Extract the value from the instruction.  */
 178   if (operand->extract)
 179     value = (*operand->extract) (insn, dialect, &invalid);
 180   else
 181     {
 182       value = (insn >> operand->shift) & operand->bitm;
 183       if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
 184         {
 185           /* BITM is always some number of zeros followed by some
 186              number of ones, followed by some numer of zeros.  */
 187           unsigned long top = operand->bitm;
 188           /* top & -top gives the rightmost 1 bit, so this
 189              fills in any trailing zeros.  */
 190           top |= (top & -top) - 1;
 191           top &= ~(top >> 1);
 192           value = (value ^ top) - top;
 193         }
 194     }
 195
 196   return value;
 197 }
 198
 199 /* Determine whether the optional operand(s) should be printed.  */
 200
 201 static int
 202 skip_optional_operands (const unsigned char *opindex,
 203                         unsigned long insn, ppc_cpu_t dialect)
 204 {
 205   const struct powerpc_operand *operand;
 206
 207   for (; *opindex != 0; opindex++)
 208     {
 209       operand = &powerpc_operands[*opindex];
 210       if ((operand->flags & PPC_OPERAND_NEXT) != 0
 211           || ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
 212               && operand_value_powerpc (operand, insn, dialect) != 0))
 213         return 0;
 214     }
 215
 216   return 1;
 217 }
 218
 219 /* Print a PowerPC or POWER instruction.  */
 220
 221 static int
 222 print_insn_powerpc (bfd_vma memaddr,
 223                     struct disassemble_info *info,
 224                     int bigendian,
 225                     ppc_cpu_t dialect)
 226 {
 227   bfd_byte buffer[4];
 228   int status;
 229   unsigned long insn;
 230   const struct powerpc_opcode *opcode;
 231   const struct powerpc_opcode *opcode_end;
 232   unsigned long op;
 233
 234   status = (*info->read_memory_func) (memaddr, buffer, 4, info);
 235   if (status != 0)
 236     {
 237       (*info->memory_error_func) (status, memaddr, info);
 238       return -1;
 239     }
 240
 241   if (bigendian)
 242     insn = bfd_getb32 (buffer);
 243   else
 244     insn = bfd_getl32 (buffer);
 245
 246   /* Get the major opcode of the instruction.  */
 247   op = PPC_OP (insn);
 248
 249   /* Find the first match in the opcode table.  We could speed this up
 250      a bit by doing a binary search on the major opcode.  */
 251   opcode_end = powerpc_opcodes + powerpc_num_opcodes;
 252  again:
 253   for (opcode = powerpc_opcodes; opcode < opcode_end; opcode++)
 254     {
 255       unsigned long table_op;
 256       const unsigned char *opindex;
 257       const struct powerpc_operand *operand;
 258       int invalid;
 259       int need_comma;
 260       int need_paren;
 261       int skip_optional;
 262
 263       table_op = PPC_OP (opcode->opcode);
 264       if (op < table_op)
 265         break;
 266       if (op > table_op)
 267         continue;
 268
 269       if ((insn & opcode->mask) != opcode->opcode
 270           || (opcode->flags & dialect) == 0
 271           || (opcode->deprecated & dialect) != 0)
 272         continue;
 273
 274       /* Make two passes over the operands.  First see if any of them
 275          have extraction functions, and, if they do, make sure the
 276          instruction is valid.  */
 277       invalid = 0;
 278       for (opindex = opcode->operands; *opindex != 0; opindex++)
 279         {
 280           operand = powerpc_operands + *opindex;
 281           if (operand->extract)
 282             (*operand->extract) (insn, dialect, &invalid);
 283         }
 284       if (invalid)
 285         continue;
 286
 287       /* The instruction is valid.  */
 288       if (opcode->operands[0] != 0)
 289         (*info->fprintf_func) (info->stream, "%-7s ", opcode->name);
 290       else
 291         (*info->fprintf_func) (info->stream, "%s", opcode->name);
 292
 293       /* Now extract and print the operands.  */
 294       need_comma = 0;
 295       need_paren = 0;
 296       skip_optional = -1;
 297       for (opindex = opcode->operands; *opindex != 0; opindex++)
 298         {
 299           long value;
 300
 301           operand = powerpc_operands + *opindex;
 302
 303           /* Operands that are marked FAKE are simply ignored.  We
 304              already made sure that the extract function considered
 305              the instruction to be valid.  */
 306           if ((operand->flags & PPC_OPERAND_FAKE) != 0)
 307             continue;
 308
 309           /* If all of the optional operands have the value zero,
 310              then don't print any of them.  */
 311           if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
 312             {
 313               if (skip_optional < 0)
 314                 skip_optional = skip_optional_operands (opindex, insn,
 315                                                         dialect);
 316               if (skip_optional)
 317                 continue;
 318             }
 319
 320           value = operand_value_powerpc (operand, insn, dialect);
 321
 322           if (need_comma)
 323             {
 324               (*info->fprintf_func) (info->stream, ",");
 325               need_comma = 0;
 326             }
 327
 328           /* Print the operand as directed by the flags.  */
 329           if ((operand->flags & PPC_OPERAND_GPR) != 0
 330               || ((operand->flags & PPC_OPERAND_GPR_0) != 0 && value != 0))
 331             (*info->fprintf_func) (info->stream, "r%ld", value);
 332           else if ((operand->flags & PPC_OPERAND_FPR) != 0)
 333             (*info->fprintf_func) (info->stream, "f%ld", value);
 334           else if ((operand->flags & PPC_OPERAND_VR) != 0)
 335             (*info->fprintf_func) (info->stream, "v%ld", value);
 336           else if ((operand->flags & PPC_OPERAND_VSR) != 0)
 337             (*info->fprintf_func) (info->stream, "vs%ld", value);
 338           else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0)
 339             (*info->print_address_func) (memaddr + value, info);
 340           else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
 341             (*info->print_address_func) ((bfd_vma) value & 0xffffffff, info);
 342           else if ((operand->flags & PPC_OPERAND_CR) == 0
 343                    || (dialect & PPC_OPCODE_PPC) == 0)
 344             (*info->fprintf_func) (info->stream, "%ld", value);
 345           else if ((operand->flags & PPC_OPERAND_FSL) != 0)
 346             (*info->fprintf_func) (info->stream, "fsl%ld", value);
 347           else if ((operand->flags & PPC_OPERAND_FCR) != 0)
 348             (*info->fprintf_func) (info->stream, "fcr%ld", value);
 349           else if ((operand->flags & PPC_OPERAND_UDI) != 0)
 350             (*info->fprintf_func) (info->stream, "%ld", value);
 351           else
 352             {
 353               if (operand->bitm == 7)
 354                 (*info->fprintf_func) (info->stream, "cr%ld", value);
 355               else
 356                 {
 357                   static const char *cbnames[4] = { "lt", "gt", "eq", "so" };
 358                   int cr;
 359                   int cc;
 360
 361                   cr = value >> 2;
 362                   if (cr != 0)
 363                     (*info->fprintf_func) (info->stream, "4*cr%d+", cr);
 364                   cc = value & 3;
 365                   (*info->fprintf_func) (info->stream, "%s", cbnames[cc]);
 366                 }
 367             }
 368
 369           if (need_paren)
 370             {
 371               (*info->fprintf_func) (info->stream, ")");
 372               need_paren = 0;
 373             }
 374
 375           if ((operand->flags & PPC_OPERAND_PARENS) == 0)
 376             need_comma = 1;
 377           else
 378             {
 379               (*info->fprintf_func) (info->stream, "(");
 380               need_paren = 1;
 381             }
 382         }
 383
 384       /* We have found and printed an instruction; return.  */
 385       return 4;
 386     }
 387
 388   if ((dialect & PPC_OPCODE_ANY) != 0)
 389     {
 390       dialect = ~PPC_OPCODE_ANY;
 391       goto again;
 392     }
 393
 394   /* We could not find a match.  */
 395   (*info->fprintf_func) (info->stream, ".long 0x%lx", insn);
 396
 397   return 4;
 398 }
 399
 400 void
 401 print_ppc_disassembler_options (FILE *stream)
 402 {
 403   fprintf (stream, "\n\
 404 The following PPC specific disassembler options are supported for use with\n\
 405 the -M switch:\n");
 406
 407   fprintf (stream, "  booke                    Disassemble the BookE instructions\n");
 408   fprintf (stream, "  e300                     Disassemble the e300 instructions\n");
 409   fprintf (stream, "  e500|e500x2              Disassemble the e500 instructions\n");
 410   fprintf (stream, "  e500mc                   Disassemble the e500mc instructions\n");
 411   fprintf (stream, "  440                      Disassemble the 440 instructions\n");
 412   fprintf (stream, "  464                      Disassemble the 464 instructions\n");
 413   fprintf (stream, "  efs                      Disassemble the EFS instructions\n");
 414   fprintf (stream, "  ppcps                    Disassemble the PowerPC paired singles instructions\n");
 415   fprintf (stream, "  power4                   Disassemble the Power4 instructions\n");
 416   fprintf (stream, "  power5                   Disassemble the Power5 instructions\n");
 417   fprintf (stream, "  power6                   Disassemble the Power6 instructions\n");
 418   fprintf (stream, "  power7                   Disassemble the Power7 instructions\n");
 419   fprintf (stream, "  vsx                      Disassemble the Vector-Scalar (VSX) instructions\n");
 420   fprintf (stream, "  32                       Do not disassemble 64-bit instructions\n");
 421   fprintf (stream, "  64                       Allow disassembly of 64-bit instructions\n");
 422 }