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
6 This file is part of the GNU opcodes library.
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)
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.
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. */
26 #include "opcode/ppc.h"
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)
33 static int print_insn_powerpc (bfd_vma
, struct disassemble_info
*, int,
38 /* Stash the result of parsing disassembler_options here. */
42 #define POWERPC_DIALECT(INFO) \
43 (((struct dis_private *) ((INFO)->private_data))->dialect)
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. */
50 powerpc_init_dialect (struct disassemble_info
*info
)
52 ppc_cpu_t dialect
= PPC_OPCODE_PPC
;
53 struct dis_private
*priv
= calloc (sizeof (*priv
), 1);
58 if (BFD_DEFAULT_TARGET_SIZE
== 64)
59 dialect
|= PPC_OPCODE_64
;
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
| PPC_OPCODE_BOOKE64
;
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
;
93 dialect
|= (PPC_OPCODE_403
| PPC_OPCODE_601
| PPC_OPCODE_CLASSIC
94 | PPC_OPCODE_COMMON
| PPC_OPCODE_ALTIVEC
);
96 if (info
->disassembler_options
97 && strstr (info
->disassembler_options
, "power4") != NULL
)
98 dialect
|= PPC_OPCODE_POWER4
;
100 if (info
->disassembler_options
101 && strstr (info
->disassembler_options
, "power5") != NULL
)
102 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_POWER5
;
104 if (info
->disassembler_options
105 && strstr (info
->disassembler_options
, "cell") != NULL
)
106 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_CELL
| PPC_OPCODE_ALTIVEC
;
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
;
113 if (info
->disassembler_options
114 && strstr (info
->disassembler_options
, "power7") != NULL
)
115 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
116 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
;
118 if (info
->disassembler_options
119 && strstr (info
->disassembler_options
, "vsx") != NULL
)
120 dialect
|= PPC_OPCODE_VSX
;
122 if (info
->disassembler_options
123 && strstr (info
->disassembler_options
, "any") != NULL
)
124 dialect
|= PPC_OPCODE_ANY
;
126 if (info
->disassembler_options
)
128 if (strstr (info
->disassembler_options
, "32") != NULL
)
129 dialect
&= ~PPC_OPCODE_64
;
130 else if (strstr (info
->disassembler_options
, "64") != NULL
)
131 dialect
|= PPC_OPCODE_64
;
134 info
->private_data
= priv
;
135 POWERPC_DIALECT(info
) = dialect
;
140 /* Print a big endian PowerPC instruction. */
143 print_insn_big_powerpc (bfd_vma memaddr
, struct disassemble_info
*info
)
145 if (info
->private_data
== NULL
&& !powerpc_init_dialect (info
))
147 return print_insn_powerpc (memaddr
, info
, 1, POWERPC_DIALECT(info
));
150 /* Print a little endian PowerPC instruction. */
153 print_insn_little_powerpc (bfd_vma memaddr
, struct disassemble_info
*info
)
155 if (info
->private_data
== NULL
&& !powerpc_init_dialect (info
))
157 return print_insn_powerpc (memaddr
, info
, 0, POWERPC_DIALECT(info
));
160 /* Print a POWER (RS/6000) instruction. */
163 print_insn_rs6000 (bfd_vma memaddr
, struct disassemble_info
*info
)
165 return print_insn_powerpc (memaddr
, info
, 1, PPC_OPCODE_POWER
);
168 /* Extract the operand value from the PowerPC or POWER instruction. */
171 operand_value_powerpc (const struct powerpc_operand
*operand
,
172 unsigned long insn
, ppc_cpu_t dialect
)
176 /* Extract the value from the instruction. */
177 if (operand
->extract
)
178 value
= (*operand
->extract
) (insn
, dialect
, &invalid
);
181 value
= (insn
>> operand
->shift
) & operand
->bitm
;
182 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
184 /* BITM is always some number of zeros followed by some
185 number of ones, followed by some numer of zeros. */
186 unsigned long top
= operand
->bitm
;
187 /* top & -top gives the rightmost 1 bit, so this
188 fills in any trailing zeros. */
189 top
|= (top
& -top
) - 1;
191 value
= (value
^ top
) - top
;
198 /* Determine whether the optional operand(s) should be printed. */
201 skip_optional_operands (const unsigned char *opindex
,
202 unsigned long insn
, ppc_cpu_t dialect
)
204 const struct powerpc_operand
*operand
;
206 for (; *opindex
!= 0; opindex
++)
208 operand
= &powerpc_operands
[*opindex
];
209 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0
210 || ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
211 && operand_value_powerpc (operand
, insn
, dialect
) != 0))
218 /* Print a PowerPC or POWER instruction. */
221 print_insn_powerpc (bfd_vma memaddr
,
222 struct disassemble_info
*info
,
229 const struct powerpc_opcode
*opcode
;
230 const struct powerpc_opcode
*opcode_end
;
233 status
= (*info
->read_memory_func
) (memaddr
, buffer
, 4, info
);
236 (*info
->memory_error_func
) (status
, memaddr
, info
);
241 insn
= bfd_getb32 (buffer
);
243 insn
= bfd_getl32 (buffer
);
245 /* Get the major opcode of the instruction. */
248 /* Find the first match in the opcode table. We could speed this up
249 a bit by doing a binary search on the major opcode. */
250 opcode_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
252 for (opcode
= powerpc_opcodes
; opcode
< opcode_end
; opcode
++)
254 unsigned long table_op
;
255 const unsigned char *opindex
;
256 const struct powerpc_operand
*operand
;
262 table_op
= PPC_OP (opcode
->opcode
);
268 if ((insn
& opcode
->mask
) != opcode
->opcode
269 || (opcode
->flags
& dialect
) == 0)
272 /* Make two passes over the operands. First see if any of them
273 have extraction functions, and, if they do, make sure the
274 instruction is valid. */
276 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
278 operand
= powerpc_operands
+ *opindex
;
279 if (operand
->extract
)
280 (*operand
->extract
) (insn
, dialect
, &invalid
);
285 /* The instruction is valid. */
286 if (opcode
->operands
[0] != 0)
287 (*info
->fprintf_func
) (info
->stream
, "%-7s ", opcode
->name
);
289 (*info
->fprintf_func
) (info
->stream
, "%s", opcode
->name
);
291 /* Now extract and print the operands. */
295 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
299 operand
= powerpc_operands
+ *opindex
;
301 /* Operands that are marked FAKE are simply ignored. We
302 already made sure that the extract function considered
303 the instruction to be valid. */
304 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
307 /* If all of the optional operands have the value zero,
308 then don't print any of them. */
309 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
311 if (skip_optional
< 0)
312 skip_optional
= skip_optional_operands (opindex
, insn
,
318 value
= operand_value_powerpc (operand
, insn
, dialect
);
322 (*info
->fprintf_func
) (info
->stream
, ",");
326 /* Print the operand as directed by the flags. */
327 if ((operand
->flags
& PPC_OPERAND_GPR
) != 0
328 || ((operand
->flags
& PPC_OPERAND_GPR_0
) != 0 && value
!= 0))
329 (*info
->fprintf_func
) (info
->stream
, "r%ld", value
);
330 else if ((operand
->flags
& PPC_OPERAND_FPR
) != 0)
331 (*info
->fprintf_func
) (info
->stream
, "f%ld", value
);
332 else if ((operand
->flags
& PPC_OPERAND_VR
) != 0)
333 (*info
->fprintf_func
) (info
->stream
, "v%ld", value
);
334 else if ((operand
->flags
& PPC_OPERAND_VSR
) != 0)
335 (*info
->fprintf_func
) (info
->stream
, "vs%ld", value
);
336 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0)
337 (*info
->print_address_func
) (memaddr
+ value
, info
);
338 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
339 (*info
->print_address_func
) ((bfd_vma
) value
& 0xffffffff, info
);
340 else if ((operand
->flags
& PPC_OPERAND_CR
) == 0
341 || (dialect
& PPC_OPCODE_PPC
) == 0)
342 (*info
->fprintf_func
) (info
->stream
, "%ld", value
);
343 else if ((operand
->flags
& PPC_OPERAND_FSL
) != 0)
344 (*info
->fprintf_func
) (info
->stream
, "fsl%ld", value
);
345 else if ((operand
->flags
& PPC_OPERAND_FCR
) != 0)
346 (*info
->fprintf_func
) (info
->stream
, "fcr%ld", value
);
347 else if ((operand
->flags
& PPC_OPERAND_UDI
) != 0)
348 (*info
->fprintf_func
) (info
->stream
, "%ld", value
);
351 if (operand
->bitm
== 7)
352 (*info
->fprintf_func
) (info
->stream
, "cr%ld", value
);
355 static const char *cbnames
[4] = { "lt", "gt", "eq", "so" };
361 (*info
->fprintf_func
) (info
->stream
, "4*cr%d+", cr
);
363 (*info
->fprintf_func
) (info
->stream
, "%s", cbnames
[cc
]);
369 (*info
->fprintf_func
) (info
->stream
, ")");
373 if ((operand
->flags
& PPC_OPERAND_PARENS
) == 0)
377 (*info
->fprintf_func
) (info
->stream
, "(");
382 /* We have found and printed an instruction; return. */
386 if ((dialect
& PPC_OPCODE_ANY
) != 0)
388 dialect
= ~PPC_OPCODE_ANY
;
392 /* We could not find a match. */
393 (*info
->fprintf_func
) (info
->stream
, ".long 0x%lx", insn
);
399 print_ppc_disassembler_options (FILE *stream
)
401 fprintf (stream
, "\n\
402 The following PPC specific disassembler options are supported for use with\n\
405 fprintf (stream
, " booke|booke32|booke64 Disassemble the BookE instructions\n");
406 fprintf (stream
, " e300 Disassemble the e300 instructions\n");
407 fprintf (stream
, " e500|e500x2 Disassemble the e500 instructions\n");
408 fprintf (stream
, " e500mc Disassemble the e500mc instructions\n");
409 fprintf (stream
, " 440 Disassemble the 440 instructions\n");
410 fprintf (stream
, " 464 Disassemble the 464 instructions\n");
411 fprintf (stream
, " efs Disassemble the EFS instructions\n");
412 fprintf (stream
, " ppcps Disassemble the PowerPC paired singles instructions\n");
413 fprintf (stream
, " power4 Disassemble the Power4 instructions\n");
414 fprintf (stream
, " power5 Disassemble the Power5 instructions\n");
415 fprintf (stream
, " power6 Disassemble the Power6 instructions\n");
416 fprintf (stream
, " power7 Disassemble the Power7 instructions\n");
417 fprintf (stream
, " vsx Disassemble the Vector-Scalar (VSX) instructions\n");
418 fprintf (stream
, " 32 Do not disassemble 64-bit instructions\n");
419 fprintf (stream
, " 64 Allow disassembly of 64-bit instructions\n");