[deliverable/binutils-gdb.git] / opcodes / ppc-dis.c

/* ppc-dis.c -- Disassemble PowerPC instructions
   Copyright 1994, 1995, 2000, 2001, 2002, 2003
   Free Software Foundation, Inc.
   Written by Ian Lance Taylor, Cygnus Support

This file is part of GDB, GAS, and the GNU binutils.

GDB, GAS, and the GNU binutils are free software; you can redistribute
them and/or modify them under the terms of the GNU General Public
License as published by the Free Software Foundation; either version
2, or (at your option) any later version.

GDB, GAS, and the GNU binutils are distributed in the hope that they
will be useful, but WITHOUT ANY WARRANTY; without even the implied
warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See
the GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this file; see the file COPYING.  If not, write to the Free
Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */

#include <stdio.h>
#include "sysdep.h"
#include "dis-asm.h"
#include "opcode/ppc.h"

/* This file provides several disassembler functions, all of which use
   the disassembler interface defined in dis-asm.h.  Several functions
   are provided because this file handles disassembly for the PowerPC
   in both big and little endian mode and also for the POWER (RS/6000)
   chip.  */

static int print_insn_powerpc (bfd_vma, struct disassemble_info *, int, int);

struct dis_private {
  /* Stash the result of parsing disassembler_options here.  */
  int dialect;
};

/* Determine which set of machines to disassemble for.  PPC403/601 or
   BookE.  For convenience, also disassemble instructions supported
   by the AltiVec vector unit.  */

static int
powerpc_dialect (struct disassemble_info *info)
{
  int dialect = PPC_OPCODE_PPC | PPC_OPCODE_ALTIVEC;

  if (BFD_DEFAULT_TARGET_SIZE == 64)
    dialect |= PPC_OPCODE_64;

  if (info->disassembler_options
      && strstr (info->disassembler_options, "booke") != NULL)
    dialect |= PPC_OPCODE_BOOKE | PPC_OPCODE_BOOKE64;
  else if ((info->mach == bfd_mach_ppc_e500)
	   || (info->disassembler_options
	       && strstr (info->disassembler_options, "e500") != NULL))
    {
      dialect |= PPC_OPCODE_BOOKE
	| PPC_OPCODE_SPE | PPC_OPCODE_ISEL
	| PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
	| PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
	| PPC_OPCODE_RFMCI;
      /* efs* and AltiVec conflict.  */
      dialect &= ~PPC_OPCODE_ALTIVEC;
    }
  else if (info->disassembler_options
	   && strstr (info->disassembler_options, "efs") != NULL)
    {
      dialect |= PPC_OPCODE_EFS;
      /* efs* and AltiVec conflict.  */
      dialect &= ~PPC_OPCODE_ALTIVEC;
    }
  else
    dialect |= (PPC_OPCODE_403 | PPC_OPCODE_601 | PPC_OPCODE_CLASSIC
		| PPC_OPCODE_COMMON);

  if (info->disassembler_options
      && strstr (info->disassembler_options, "power4") != NULL)
    dialect |= PPC_OPCODE_POWER4;

  if (info->disassembler_options
      && strstr (info->disassembler_options, "any") != NULL)
    dialect |= PPC_OPCODE_ANY;

  if (info->disassembler_options)
    {
      if (strstr (info->disassembler_options, "32") != NULL)
	dialect &= ~PPC_OPCODE_64;
      else if (strstr (info->disassembler_options, "64") != NULL)
	dialect |= PPC_OPCODE_64;
    }

  ((struct dis_private *) &info->private_data)->dialect = dialect;
  return dialect;
}

/* Print a big endian PowerPC instruction.  */

int
print_insn_big_powerpc (bfd_vma memaddr, struct disassemble_info *info)
{
  int dialect = ((struct dis_private *) &info->private_data)->dialect;
  return print_insn_powerpc (memaddr, info, 1, dialect);
}

/* Print a little endian PowerPC instruction.  */

int
print_insn_little_powerpc (bfd_vma memaddr, struct disassemble_info *info)
{
  int dialect = ((struct dis_private *) &info->private_data)->dialect;
  return print_insn_powerpc (memaddr, info, 0, dialect);
}

/* Print a POWER (RS/6000) instruction.  */

int
print_insn_rs6000 (bfd_vma memaddr, struct disassemble_info *info)
{
  return print_insn_powerpc (memaddr, info, 1, PPC_OPCODE_POWER);
}

/* Print a PowerPC or POWER instruction.  */

static int
print_insn_powerpc (bfd_vma memaddr,
		    struct disassemble_info *info,
		    int bigendian,
		    int dialect)
{
  bfd_byte buffer[4];
  int status;
  unsigned long insn;
  const struct powerpc_opcode *opcode;
  const struct powerpc_opcode *opcode_end;
  unsigned long op;

  if (dialect == 0)
    dialect = powerpc_dialect (info);

  status = (*info->read_memory_func) (memaddr, buffer, 4, info);
  if (status != 0)
    {
      (*info->memory_error_func) (status, memaddr, info);
      return -1;
    }

  if (bigendian)
    insn = bfd_getb32 (buffer);
  else
    insn = bfd_getl32 (buffer);

  /* Get the major opcode of the instruction.  */
  op = PPC_OP (insn);

  /* Find the first match in the opcode table.  We could speed this up
     a bit by doing a binary search on the major opcode.  */
  opcode_end = powerpc_opcodes + powerpc_num_opcodes;
 again:
  for (opcode = powerpc_opcodes; opcode < opcode_end; opcode++)
    {
      unsigned long table_op;
      const unsigned char *opindex;
      const struct powerpc_operand *operand;
      int invalid;
      int need_comma;
      int need_paren;

      table_op = PPC_OP (opcode->opcode);
      if (op < table_op)
	break;
      if (op > table_op)
	continue;

      if ((insn & opcode->mask) != opcode->opcode
	  || (opcode->flags & dialect) == 0)
	continue;

      /* Make two passes over the operands.  First see if any of them
	 have extraction functions, and, if they do, make sure the
	 instruction is valid.  */
      invalid = 0;
      for (opindex = opcode->operands; *opindex != 0; opindex++)
	{
	  operand = powerpc_operands + *opindex;
	  if (operand->extract)
	    (*operand->extract) (insn, dialect, &invalid);
	}
      if (invalid)
	continue;

      /* The instruction is valid.  */
      (*info->fprintf_func) (info->stream, "%s", opcode->name);
      if (opcode->operands[0] != 0)
	(*info->fprintf_func) (info->stream, "\t");

      /* Now extract and print the operands.  */
      need_comma = 0;
      need_paren = 0;
      for (opindex = opcode->operands; *opindex != 0; opindex++)
	{
	  long value;

	  operand = powerpc_operands + *opindex;

	  /* Operands that are marked FAKE are simply ignored.  We
	     already made sure that the extract function considered
	     the instruction to be valid.  */
	  if ((operand->flags & PPC_OPERAND_FAKE) != 0)
	    continue;

	  /* Extract the value from the instruction.  */
	  if (operand->extract)
	    value = (*operand->extract) (insn, dialect, &invalid);
	  else
	    {
	      value = (insn >> operand->shift) & ((1 << operand->bits) - 1);
	      if ((operand->flags & PPC_OPERAND_SIGNED) != 0
		  && (value & (1 << (operand->bits - 1))) != 0)
		value -= 1 << operand->bits;
	    }

	  /* If the operand is optional, and the value is zero, don't
	     print anything.  */
	  if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
	      && (operand->flags & PPC_OPERAND_NEXT) == 0
	      && value == 0)
	    continue;

	  if (need_comma)
	    {
	      (*info->fprintf_func) (info->stream, ",");
	      need_comma = 0;
	    }

	  /* Print the operand as directed by the flags.  */
	  if ((operand->flags & PPC_OPERAND_GPR) != 0)
	    (*info->fprintf_func) (info->stream, "r%ld", value);
	  else if ((operand->flags & PPC_OPERAND_FPR) != 0)
	    (*info->fprintf_func) (info->stream, "f%ld", value);
	  else if ((operand->flags & PPC_OPERAND_VR) != 0)
	    (*info->fprintf_func) (info->stream, "v%ld", value);
	  else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0)
	    (*info->print_address_func) (memaddr + value, info);
	  else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
	    (*info->print_address_func) ((bfd_vma) value & 0xffffffff, info);
	  else if ((operand->flags & PPC_OPERAND_CR) == 0
		   || (dialect & PPC_OPCODE_PPC) == 0)
	    (*info->fprintf_func) (info->stream, "%ld", value);
	  else
	    {
	      if (operand->bits == 3)
		(*info->fprintf_func) (info->stream, "cr%d", value);
	      else
		{
		  static const char *cbnames[4] = { "lt", "gt", "eq", "so" };
		  int cr;
		  int cc;

		  cr = value >> 2;
		  if (cr != 0)
		    (*info->fprintf_func) (info->stream, "4*cr%d+", cr);
		  cc = value & 3;
		  (*info->fprintf_func) (info->stream, "%s", cbnames[cc]);
		}
	    }

	  if (need_paren)
	    {
	      (*info->fprintf_func) (info->stream, ")");
	      need_paren = 0;
	    }

	  if ((operand->flags & PPC_OPERAND_PARENS) == 0)
	    need_comma = 1;
	  else
	    {
	      (*info->fprintf_func) (info->stream, "(");
	      need_paren = 1;
	    }
	}

      /* We have found and printed an instruction; return.  */
      return 4;
    }

  if ((dialect & PPC_OPCODE_ANY) != 0)
    {
      dialect = ~PPC_OPCODE_ANY;
      goto again;
    }

  /* We could not find a match.  */
  (*info->fprintf_func) (info->stream, ".long 0x%lx", insn);

  return 4;
}

void
print_ppc_disassembler_options (FILE *stream)
{
  fprintf (stream, "\n\
The following PPC specific disassembler options are supported for use with\n\
the -M switch:\n");

  fprintf (stream, "  booke|booke32|booke64    Disassemble the BookE instructions\n");
  fprintf (stream, "  e500|e500x2              Disassemble the e500 instructions\n");
  fprintf (stream, "  efs                      Disassemble the EFS instructions\n");
  fprintf (stream, "  power4                   Disassemble the Power4 instructions\n");
  fprintf (stream, "  32                       Do not disassemble 64-bit instructions\n");
  fprintf (stream, "  64                       Allow disassembly of 64-bit instructions\n");
}
Commit	Line	Data
252b5132	1	/* ppc-dis.c -- Disassemble PowerPC instructions
8427c424 AM	2	Copyright 1994, 1995, 2000, 2001, 2002, 2003
8427c424 AM	3	Free Software Foundation, Inc.
252b5132 RH	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, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
	21
	22	#include <stdio.h>
252b5132 RH	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
823bbe9d	33	static int print_insn_powerpc (bfd_vma, struct disassemble_info *, int, int);
418c1742	34
661bd698 AM	35	struct dis_private {
	36	/* Stash the result of parsing disassembler_options here. */
	37	int dialect;
	38	};
	39
418c1742	40	/* Determine which set of machines to disassemble for. PPC403/601 or
9a0ccb24 MG	41	BookE. For convenience, also disassemble instructions supported
9a0ccb24 MG	42	by the AltiVec vector unit. */
418c1742	43
661bd698	44	static int
823bbe9d	45	powerpc_dialect (struct disassemble_info *info)
418c1742 MG	46	{
	47	int dialect = PPC_OPCODE_PPC \| PPC_OPCODE_ALTIVEC;
	48
802a735e AM	49	if (BFD_DEFAULT_TARGET_SIZE == 64)
	50	dialect \|= PPC_OPCODE_64;
	51
	52	if (info->disassembler_options
661bd698	53	&& strstr (info->disassembler_options, "booke") != NULL)
418c1742	54	dialect \|= PPC_OPCODE_BOOKE \| PPC_OPCODE_BOOKE64;
661bd698 AM	55	else if ((info->mach == bfd_mach_ppc_e500)
	56	\|\| (info->disassembler_options
	57	&& strstr (info->disassembler_options, "e500") != NULL))
	58	{
	59	dialect \|= PPC_OPCODE_BOOKE
	60	\| PPC_OPCODE_SPE \| PPC_OPCODE_ISEL
	61	\| PPC_OPCODE_EFS \| PPC_OPCODE_BRLOCK
	62	\| PPC_OPCODE_PMR \| PPC_OPCODE_CACHELCK
	63	\| PPC_OPCODE_RFMCI;
	64	/* efs* and AltiVec conflict. */
	65	dialect &= ~PPC_OPCODE_ALTIVEC;
	66	}
	67	else if (info->disassembler_options
	68	&& strstr (info->disassembler_options, "efs") != NULL)
	69	{
	70	dialect \|= PPC_OPCODE_EFS;
	71	/* efs* and AltiVec conflict. */
	72	dialect &= ~PPC_OPCODE_ALTIVEC;
	73	}
23976049	74	else
9ec878e3 AM	75	dialect \|= (PPC_OPCODE_403 \| PPC_OPCODE_601 \| PPC_OPCODE_CLASSIC
9ec878e3 AM	76	\| PPC_OPCODE_COMMON);
802a735e	77
94efba12	78	if (info->disassembler_options
661bd698	79	&& strstr (info->disassembler_options, "power4") != NULL)
94efba12 AM	80	dialect \|= PPC_OPCODE_POWER4;
94efba12 AM	81
661bd698 AM	82	if (info->disassembler_options
	83	&& strstr (info->disassembler_options, "any") != NULL)
	84	dialect \|= PPC_OPCODE_ANY;
	85
802a735e AM	86	if (info->disassembler_options)
	87	{
	88	if (strstr (info->disassembler_options, "32") != NULL)
	89	dialect &= ~PPC_OPCODE_64;
	90	else if (strstr (info->disassembler_options, "64") != NULL)
	91	dialect \|= PPC_OPCODE_64;
	92	}
	93
661bd698	94	((struct dis_private *) &info->private_data)->dialect = dialect;
418c1742 MG	95	return dialect;
	96	}
	97
	98	/* Print a big endian PowerPC instruction. */
252b5132 RH	99
252b5132 RH	100	int
823bbe9d	101	print_insn_big_powerpc (bfd_vma memaddr, struct disassemble_info *info)
252b5132	102	{
661bd698 AM	103	int dialect = ((struct dis_private *) &info->private_data)->dialect;
661bd698 AM	104	return print_insn_powerpc (memaddr, info, 1, dialect);
252b5132 RH	105	}
252b5132 RH	106
418c1742	107	/* Print a little endian PowerPC instruction. */
252b5132 RH	108
252b5132 RH	109	int
823bbe9d	110	print_insn_little_powerpc (bfd_vma memaddr, struct disassemble_info *info)
252b5132	111	{
661bd698 AM	112	int dialect = ((struct dis_private *) &info->private_data)->dialect;
661bd698 AM	113	return print_insn_powerpc (memaddr, info, 0, dialect);
252b5132 RH	114	}
	115
	116	/* Print a POWER (RS/6000) instruction. */
	117
	118	int
823bbe9d	119	print_insn_rs6000 (bfd_vma memaddr, struct disassemble_info *info)
252b5132 RH	120	{
	121	return print_insn_powerpc (memaddr, info, 1, PPC_OPCODE_POWER);
	122	}
	123
	124	/* Print a PowerPC or POWER instruction. */
	125
	126	static int
823bbe9d AM	127	print_insn_powerpc (bfd_vma memaddr,
	128	struct disassemble_info *info,
	129	int bigendian,
	130	int dialect)
252b5132 RH	131	{
	132	bfd_byte buffer[4];
	133	int status;
	134	unsigned long insn;
	135	const struct powerpc_opcode *opcode;
	136	const struct powerpc_opcode *opcode_end;
	137	unsigned long op;
	138
661bd698 AM	139	if (dialect == 0)
	140	dialect = powerpc_dialect (info);
	141
252b5132 RH	142	status = (*info->read_memory_func) (memaddr, buffer, 4, info);
	143	if (status != 0)
	144	{
	145	(*info->memory_error_func) (status, memaddr, info);
	146	return -1;
	147	}
	148
	149	if (bigendian)
	150	insn = bfd_getb32 (buffer);
	151	else
	152	insn = bfd_getl32 (buffer);
	153
	154	/* Get the major opcode of the instruction. */
	155	op = PPC_OP (insn);
	156
	157	/* Find the first match in the opcode table. We could speed this up
	158	a bit by doing a binary search on the major opcode. */
	159	opcode_end = powerpc_opcodes + powerpc_num_opcodes;
661bd698	160	again:
252b5132 RH	161	for (opcode = powerpc_opcodes; opcode < opcode_end; opcode++)
	162	{
	163	unsigned long table_op;
	164	const unsigned char *opindex;
	165	const struct powerpc_operand *operand;
	166	int invalid;
	167	int need_comma;
	168	int need_paren;
	169
	170	table_op = PPC_OP (opcode->opcode);
	171	if (op < table_op)
	172	break;
	173	if (op > table_op)
	174	continue;
	175
	176	if ((insn & opcode->mask) != opcode->opcode
	177	\|\| (opcode->flags & dialect) == 0)
	178	continue;
	179
	180	/* Make two passes over the operands. First see if any of them
	181	have extraction functions, and, if they do, make sure the
	182	instruction is valid. */
	183	invalid = 0;
	184	for (opindex = opcode->operands; *opindex != 0; opindex++)
	185	{
	186	operand = powerpc_operands + *opindex;
	187	if (operand->extract)
802a735e	188	(*operand->extract) (insn, dialect, &invalid);
252b5132 RH	189	}
	190	if (invalid)
	191	continue;
	192
	193	/* The instruction is valid. */
	194	(*info->fprintf_func) (info->stream, "%s", opcode->name);
	195	if (opcode->operands[0] != 0)
	196	(*info->fprintf_func) (info->stream, "\t");
	197
	198	/* Now extract and print the operands. */
	199	need_comma = 0;
	200	need_paren = 0;
	201	for (opindex = opcode->operands; *opindex != 0; opindex++)
	202	{
	203	long value;
	204
	205	operand = powerpc_operands + *opindex;
	206
	207	/* Operands that are marked FAKE are simply ignored. We
	208	already made sure that the extract function considered
	209	the instruction to be valid. */
	210	if ((operand->flags & PPC_OPERAND_FAKE) != 0)
	211	continue;
	212
	213	/* Extract the value from the instruction. */
	214	if (operand->extract)
8427c424	215	value = (*operand->extract) (insn, dialect, &invalid);
252b5132 RH	216	else
	217	{
	218	value = (insn >> operand->shift) & ((1 << operand->bits) - 1);
	219	if ((operand->flags & PPC_OPERAND_SIGNED) != 0
	220	&& (value & (1 << (operand->bits - 1))) != 0)
	221	value -= 1 << operand->bits;
	222	}
	223
	224	/* If the operand is optional, and the value is zero, don't
	225	print anything. */
	226	if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
	227	&& (operand->flags & PPC_OPERAND_NEXT) == 0
	228	&& value == 0)
	229	continue;
	230
	231	if (need_comma)
	232	{
	233	(*info->fprintf_func) (info->stream, ",");
	234	need_comma = 0;
	235	}
	236
	237	/* Print the operand as directed by the flags. */
	238	if ((operand->flags & PPC_OPERAND_GPR) != 0)
	239	(*info->fprintf_func) (info->stream, "r%ld", value);
	240	else if ((operand->flags & PPC_OPERAND_FPR) != 0)
	241	(*info->fprintf_func) (info->stream, "f%ld", value);
786e2c0f C	242	else if ((operand->flags & PPC_OPERAND_VR) != 0)
786e2c0f C	243	(*info->fprintf_func) (info->stream, "v%ld", value);
252b5132 RH	244	else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0)
	245	(*info->print_address_func) (memaddr + value, info);
	246	else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
	247	(*info->print_address_func) ((bfd_vma) value & 0xffffffff, info);
	248	else if ((operand->flags & PPC_OPERAND_CR) == 0
	249	\|\| (dialect & PPC_OPCODE_PPC) == 0)
	250	(*info->fprintf_func) (info->stream, "%ld", value);
	251	else
	252	{
	253	if (operand->bits == 3)
	254	(*info->fprintf_func) (info->stream, "cr%d", value);
	255	else
	256	{
	257	static const char *cbnames[4] = { "lt", "gt", "eq", "so" };
	258	int cr;
	259	int cc;
	260
	261	cr = value >> 2;
	262	if (cr != 0)
8b4fa155	263	(info->fprintf_func) (info->stream, "4cr%d+", cr);
252b5132	264	cc = value & 3;
8b4fa155	265	(*info->fprintf_func) (info->stream, "%s", cbnames[cc]);
252b5132 RH	266	}
	267	}
	268
	269	if (need_paren)
	270	{
	271	(*info->fprintf_func) (info->stream, ")");
	272	need_paren = 0;
	273	}
	274
	275	if ((operand->flags & PPC_OPERAND_PARENS) == 0)
	276	need_comma = 1;
	277	else
	278	{
	279	(*info->fprintf_func) (info->stream, "(");
	280	need_paren = 1;
	281	}
	282	}
	283
	284	/* We have found and printed an instruction; return. */
	285	return 4;
	286	}
	287
661bd698 AM	288	if ((dialect & PPC_OPCODE_ANY) != 0)
	289	{
	290	dialect = ~PPC_OPCODE_ANY;
	291	goto again;
	292	}
	293
252b5132 RH	294	/* We could not find a match. */
	295	(*info->fprintf_func) (info->stream, ".long 0x%lx", insn);
	296
	297	return 4;
	298	}
07dd56a9 NC	299
07dd56a9 NC	300	void
823bbe9d	301	print_ppc_disassembler_options (FILE *stream)
07dd56a9 NC	302	{
	303	fprintf (stream, "\n\
	304	The following PPC specific disassembler options are supported for use with\n\
	305	the -M switch:\n");
8b4fa155	306
07dd56a9 NC	307	fprintf (stream, " booke\|booke32\|booke64 Disassemble the BookE instructions\n");
	308	fprintf (stream, " e500\|e500x2 Disassemble the e500 instructions\n");
	309	fprintf (stream, " efs Disassemble the EFS instructions\n");
	310	fprintf (stream, " power4 Disassemble the Power4 instructions\n");
	311	fprintf (stream, " 32 Do not disassemble 64-bit instructions\n");
	312	fprintf (stream, " 64 Allow disassembly of 64-bit instructions\n");
	313	}