opcodes/ppc-dis.c

   1 /* ppc-dis.c -- Disassemble PowerPC instructions
   2    Copyright 1994, 1995, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
   3    Free Software Foundation, Inc.
   4    Written by Ian Lance Taylor, Cygnus Support
   5
   6 This file is part of GDB, GAS, and the GNU binutils.
   7
   8 GDB, GAS, and the GNU binutils are free software; you can redistribute
   9 them and/or modify them under the terms of the GNU General Public
  10 License as published by the Free Software Foundation; either version
  11 2, or (at your option) any later version.
  12
  13 GDB, GAS, and the GNU binutils are distributed in the hope that they
  14 will be useful, but WITHOUT ANY WARRANTY; without even the implied
  15 warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See
  16 the GNU General Public 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 Free
  20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA.  */
  21
  22 #include <stdio.h>
  23 #include "sysdep.h"
  24 #include "dis-asm.h"
  25 #include "opcode/ppc.h"
  26
  27 /* This file provides several disassembler functions, all of which use
  28    the disassembler interface defined in dis-asm.h.  Several functions
  29    are provided because this file handles disassembly for the PowerPC
  30    in both big and little endian mode and also for the POWER (RS/6000)
  31    chip.  */
  32
  33 static int print_insn_powerpc (bfd_vma, struct disassemble_info *, int, int);
  34
  35 /* Determine which set of machines to disassemble for.  PPC403/601 or
  36    BookE.  For convenience, also disassemble instructions supported
  37    by the AltiVec vector unit.  */
  38
  39 static int
  40 powerpc_dialect (struct disassemble_info *info)
  41 {
  42   int dialect = PPC_OPCODE_PPC;
  43
  44   if (BFD_DEFAULT_TARGET_SIZE == 64)
  45     dialect |= PPC_OPCODE_64;
  46
  47   if (info->disassembler_options
  48       && strstr (info->disassembler_options, "booke") != NULL)
  49     dialect |= PPC_OPCODE_BOOKE | PPC_OPCODE_BOOKE64;
  50   else if ((info->mach == bfd_mach_ppc_e500)
  51            || (info->disassembler_options
  52                && strstr (info->disassembler_options, "e500") != NULL))
  53     dialect |= (PPC_OPCODE_BOOKE
  54                 | PPC_OPCODE_SPE | PPC_OPCODE_ISEL
  55                 | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
  56                 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
  57                 | PPC_OPCODE_RFMCI);
  58   else if (info->disassembler_options
  59            && strstr (info->disassembler_options, "efs") != NULL)
  60     dialect |= PPC_OPCODE_EFS;
  61   else if (info->disassembler_options
  62            && strstr (info->disassembler_options, "e300") != NULL)
  63     dialect |= PPC_OPCODE_E300 | PPC_OPCODE_CLASSIC | PPC_OPCODE_COMMON;
  64   else if (info->disassembler_options
  65            && strstr (info->disassembler_options, "440") != NULL)
  66     dialect |= PPC_OPCODE_BOOKE | PPC_OPCODE_32
  67       | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI;
  68   else
  69     dialect |= (PPC_OPCODE_403 | PPC_OPCODE_601 | PPC_OPCODE_CLASSIC
  70                 | PPC_OPCODE_COMMON | PPC_OPCODE_ALTIVEC);
  71
  72   if (info->disassembler_options
  73       && strstr (info->disassembler_options, "power4") != NULL)
  74     dialect |= PPC_OPCODE_POWER4;
  75
  76   if (info->disassembler_options
  77       && strstr (info->disassembler_options, "power5") != NULL)
  78     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5;
  79
  80   if (info->disassembler_options
  81       && strstr (info->disassembler_options, "cell") != NULL)
  82     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_CELL | PPC_OPCODE_ALTIVEC;
  83
  84   if (info->disassembler_options
  85       && strstr (info->disassembler_options, "power6") != NULL)
  86     dialect |= PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6 | PPC_OPCODE_ALTIVEC;
  87
  88   if (info->disassembler_options
  89       && strstr (info->disassembler_options, "any") != NULL)
  90     dialect |= PPC_OPCODE_ANY;
  91
  92   if (info->disassembler_options)
  93     {
  94       if (strstr (info->disassembler_options, "32") != NULL)
  95         dialect &= ~PPC_OPCODE_64;
  96       else if (strstr (info->disassembler_options, "64") != NULL)
  97         dialect |= PPC_OPCODE_64;
  98     }
  99
 100   info->private_data = (char *) 0 + dialect;
 101   return dialect;
 102 }
 103
 104 /* Print a big endian PowerPC instruction.  */
 105
 106 int
 107 print_insn_big_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 108 {
 109   int dialect = (char *) info->private_data - (char *) 0;
 110   return print_insn_powerpc (memaddr, info, 1, dialect);
 111 }
 112
 113 /* Print a little endian PowerPC instruction.  */
 114
 115 int
 116 print_insn_little_powerpc (bfd_vma memaddr, struct disassemble_info *info)
 117 {
 118   int dialect = (char *) info->private_data - (char *) 0;
 119   return print_insn_powerpc (memaddr, info, 0, dialect);
 120 }
 121
 122 /* Print a POWER (RS/6000) instruction.  */
 123
 124 int
 125 print_insn_rs6000 (bfd_vma memaddr, struct disassemble_info *info)
 126 {
 127   return print_insn_powerpc (memaddr, info, 1, PPC_OPCODE_POWER);
 128 }
 129
 130 /* Extract the operand value from the PowerPC or POWER instruction.  */
 131
 132 static long
 133 operand_value_powerpc (const struct powerpc_operand *operand,
 134                        unsigned long insn, int dialect)
 135 {
 136   long value;
 137   int invalid;
 138   /* Extract the value from the instruction.  */
 139   if (operand->extract)
 140     value = (*operand->extract) (insn, dialect, &invalid);
 141   else
 142     {
 143       value = (insn >> operand->shift) & operand->bitm;
 144       if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
 145         {
 146           /* BITM is always some number of zeros followed by some
 147              number of ones, followed by some numer of zeros.  */
 148           unsigned long top = operand->bitm;
 149           /* top & -top gives the rightmost 1 bit, so this
 150              fills in any trailing zeros.  */
 151           top |= (top & -top) - 1;
 152           top &= ~(top >> 1);
 153           value = (value ^ top) - top;
 154         }
 155     }
 156
 157   return value;
 158 }
 159
 160 /* Determine whether the optional operand(s) should be printed.  */
 161
 162 static int
 163 skip_optional_operands (const unsigned char *opindex,
 164                         unsigned long insn, int dialect)
 165 {
 166   const struct powerpc_operand *operand;
 167
 168   for (; *opindex != 0; opindex++)
 169     {
 170       operand = &powerpc_operands[*opindex];
 171       if ((operand->flags & PPC_OPERAND_NEXT) != 0
 172           || ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
 173               && operand_value_powerpc (operand, insn, dialect) != 0))
 174         return 0;
 175     }
 176
 177   return 1;
 178 }
 179
 180 /* Print a PowerPC or POWER instruction.  */
 181
 182 static int
 183 print_insn_powerpc (bfd_vma memaddr,
 184                     struct disassemble_info *info,
 185                     int bigendian,
 186                     int dialect)
 187 {
 188   bfd_byte buffer[4];
 189   int status;
 190   unsigned long insn;
 191   const struct powerpc_opcode *opcode;
 192   const struct powerpc_opcode *opcode_end;
 193   unsigned long op;
 194
 195   if (dialect == 0)
 196     dialect = powerpc_dialect (info);
 197
 198   status = (*info->read_memory_func) (memaddr, buffer, 4, info);
 199   if (status != 0)
 200     {
 201       (*info->memory_error_func) (status, memaddr, info);
 202       return -1;
 203     }
 204
 205   if (bigendian)
 206     insn = bfd_getb32 (buffer);
 207   else
 208     insn = bfd_getl32 (buffer);
 209
 210   /* Get the major opcode of the instruction.  */
 211   op = PPC_OP (insn);
 212
 213   /* Find the first match in the opcode table.  We could speed this up
 214      a bit by doing a binary search on the major opcode.  */
 215   opcode_end = powerpc_opcodes + powerpc_num_opcodes;
 216  again:
 217   for (opcode = powerpc_opcodes; opcode < opcode_end; opcode++)
 218     {
 219       unsigned long table_op;
 220       const unsigned char *opindex;
 221       const struct powerpc_operand *operand;
 222       int invalid;
 223       int need_comma;
 224       int need_paren;
 225       int skip_optional;
 226
 227       table_op = PPC_OP (opcode->opcode);
 228       if (op < table_op)
 229         break;
 230       if (op > table_op)
 231         continue;
 232
 233       if ((insn & opcode->mask) != opcode->opcode
 234           || (opcode->flags & dialect) == 0)
 235         continue;
 236
 237       /* Make two passes over the operands.  First see if any of them
 238          have extraction functions, and, if they do, make sure the
 239          instruction is valid.  */
 240       invalid = 0;
 241       for (opindex = opcode->operands; *opindex != 0; opindex++)
 242         {
 243           operand = powerpc_operands + *opindex;
 244           if (operand->extract)
 245             (*operand->extract) (insn, dialect, &invalid);
 246         }
 247       if (invalid)
 248         continue;
 249
 250       /* The instruction is valid.  */
 251       if (opcode->operands[0] != 0)
 252         (*info->fprintf_func) (info->stream, "%-7s ", opcode->name);
 253       else
 254         (*info->fprintf_func) (info->stream, "%s", opcode->name);
 255
 256       /* Now extract and print the operands.  */
 257       need_comma = 0;
 258       need_paren = 0;
 259       skip_optional = -1;
 260       for (opindex = opcode->operands; *opindex != 0; opindex++)
 261         {
 262           long value;
 263
 264           operand = powerpc_operands + *opindex;
 265
 266           /* Operands that are marked FAKE are simply ignored.  We
 267              already made sure that the extract function considered
 268              the instruction to be valid.  */
 269           if ((operand->flags & PPC_OPERAND_FAKE) != 0)
 270             continue;
 271
 272           /* If all of the optional operands have the value zero,
 273              then don't print any of them.  */
 274           if (skip_optional < 0
 275               && (operand->flags & PPC_OPERAND_OPTIONAL) != 0)
 276             skip_optional = skip_optional_operands (opindex, insn, dialect);
 277
 278           if (skip_optional > 0)
 279             continue;
 280
 281           value = operand_value_powerpc (operand, insn, dialect);
 282
 283           if (need_comma)
 284             {
 285               (*info->fprintf_func) (info->stream, ",");
 286               need_comma = 0;
 287             }
 288
 289           /* Print the operand as directed by the flags.  */
 290           if ((operand->flags & PPC_OPERAND_GPR) != 0
 291               || ((operand->flags & PPC_OPERAND_GPR_0) != 0 && value != 0))
 292             (*info->fprintf_func) (info->stream, "r%ld", value);
 293           else if ((operand->flags & PPC_OPERAND_FPR) != 0)
 294             (*info->fprintf_func) (info->stream, "f%ld", value);
 295           else if ((operand->flags & PPC_OPERAND_VR) != 0)
 296             (*info->fprintf_func) (info->stream, "v%ld", value);
 297           else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0)
 298             (*info->print_address_func) (memaddr + value, info);
 299           else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
 300             (*info->print_address_func) ((bfd_vma) value & 0xffffffff, info);
 301           else if ((operand->flags & PPC_OPERAND_CR) == 0
 302                    || (dialect & PPC_OPCODE_PPC) == 0)
 303             (*info->fprintf_func) (info->stream, "%ld", value);
 304           else
 305             {
 306               if (operand->bitm == 7)
 307                 (*info->fprintf_func) (info->stream, "cr%ld", value);
 308               else
 309                 {
 310                   static const char *cbnames[4] = { "lt", "gt", "eq", "so" };
 311                   int cr;
 312                   int cc;
 313
 314                   cr = value >> 2;
 315                   if (cr != 0)
 316                     (*info->fprintf_func) (info->stream, "4*cr%d+", cr);
 317                   cc = value & 3;
 318                   (*info->fprintf_func) (info->stream, "%s", cbnames[cc]);
 319                 }
 320             }
 321
 322           if (need_paren)
 323             {
 324               (*info->fprintf_func) (info->stream, ")");
 325               need_paren = 0;
 326             }
 327
 328           if ((operand->flags & PPC_OPERAND_PARENS) == 0)
 329             need_comma = 1;
 330           else
 331             {
 332               (*info->fprintf_func) (info->stream, "(");
 333               need_paren = 1;
 334             }
 335         }
 336
 337       /* We have found and printed an instruction; return.  */
 338       return 4;
 339     }
 340
 341   if ((dialect & PPC_OPCODE_ANY) != 0)
 342     {
 343       dialect = ~PPC_OPCODE_ANY;
 344       goto again;
 345     }
 346
 347   /* We could not find a match.  */
 348   (*info->fprintf_func) (info->stream, ".long 0x%lx", insn);
 349
 350   return 4;
 351 }
 352
 353 void
 354 print_ppc_disassembler_options (FILE *stream)
 355 {
 356   fprintf (stream, "\n\
 357 The following PPC specific disassembler options are supported for use with\n\
 358 the -M switch:\n");
 359
 360   fprintf (stream, "  booke|booke32|booke64    Disassemble the BookE instructions\n");
 361   fprintf (stream, "  e300                     Disassemble the e300 instructions\n");
 362   fprintf (stream, "  e500|e500x2              Disassemble the e500 instructions\n");
 363   fprintf (stream, "  440                      Disassemble the 440 instructions\n");
 364   fprintf (stream, "  efs                      Disassemble the EFS instructions\n");
 365   fprintf (stream, "  power4                   Disassemble the Power4 instructions\n");
 366   fprintf (stream, "  power5                   Disassemble the Power5 instructions\n");
 367   fprintf (stream, "  power6                   Disassemble the Power6 instructions\n");
 368   fprintf (stream, "  32                       Do not disassemble 64-bit instructions\n");
 369   fprintf (stream, "  64                       Allow disassembly of 64-bit instructions\n");
 370 }