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
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 dialect
|= PPC_OPCODE_BOOKE
| PPC_OPCODE_32
90 | PPC_OPCODE_440
| PPC_OPCODE_ISEL
| PPC_OPCODE_RFMCI
;
92 dialect
|= (PPC_OPCODE_403
| PPC_OPCODE_601
| PPC_OPCODE_CLASSIC
93 | PPC_OPCODE_COMMON
| PPC_OPCODE_ALTIVEC
);
95 if (info
->disassembler_options
96 && strstr (info
->disassembler_options
, "power4") != NULL
)
97 dialect
|= PPC_OPCODE_POWER4
;
99 if (info
->disassembler_options
100 && strstr (info
->disassembler_options
, "power5") != NULL
)
101 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_POWER5
;
103 if (info
->disassembler_options
104 && strstr (info
->disassembler_options
, "cell") != NULL
)
105 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_CELL
| PPC_OPCODE_ALTIVEC
;
107 if (info
->disassembler_options
108 && strstr (info
->disassembler_options
, "power6") != NULL
)
109 dialect
|= PPC_OPCODE_POWER4
| PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
| PPC_OPCODE_ALTIVEC
;
111 if (info
->disassembler_options
112 && strstr (info
->disassembler_options
, "any") != NULL
)
113 dialect
|= PPC_OPCODE_ANY
;
115 if (info
->disassembler_options
)
117 if (strstr (info
->disassembler_options
, "32") != NULL
)
118 dialect
&= ~PPC_OPCODE_64
;
119 else if (strstr (info
->disassembler_options
, "64") != NULL
)
120 dialect
|= PPC_OPCODE_64
;
123 info
->private_data
= priv
;
124 POWERPC_DIALECT(info
) = dialect
;
129 /* Print a big endian PowerPC instruction. */
132 print_insn_big_powerpc (bfd_vma memaddr
, struct disassemble_info
*info
)
134 if (info
->private_data
== NULL
&& !powerpc_init_dialect (info
))
136 return print_insn_powerpc (memaddr
, info
, 1, POWERPC_DIALECT(info
));
139 /* Print a little endian PowerPC instruction. */
142 print_insn_little_powerpc (bfd_vma memaddr
, struct disassemble_info
*info
)
144 if (info
->private_data
== NULL
&& !powerpc_init_dialect (info
))
146 return print_insn_powerpc (memaddr
, info
, 0, POWERPC_DIALECT(info
));
149 /* Print a POWER (RS/6000) instruction. */
152 print_insn_rs6000 (bfd_vma memaddr
, struct disassemble_info
*info
)
154 return print_insn_powerpc (memaddr
, info
, 1, PPC_OPCODE_POWER
);
157 /* Extract the operand value from the PowerPC or POWER instruction. */
160 operand_value_powerpc (const struct powerpc_operand
*operand
,
161 unsigned long insn
, ppc_cpu_t dialect
)
165 /* Extract the value from the instruction. */
166 if (operand
->extract
)
167 value
= (*operand
->extract
) (insn
, dialect
, &invalid
);
170 value
= (insn
>> operand
->shift
) & operand
->bitm
;
171 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
173 /* BITM is always some number of zeros followed by some
174 number of ones, followed by some numer of zeros. */
175 unsigned long top
= operand
->bitm
;
176 /* top & -top gives the rightmost 1 bit, so this
177 fills in any trailing zeros. */
178 top
|= (top
& -top
) - 1;
180 value
= (value
^ top
) - top
;
187 /* Determine whether the optional operand(s) should be printed. */
190 skip_optional_operands (const unsigned char *opindex
,
191 unsigned long insn
, ppc_cpu_t dialect
)
193 const struct powerpc_operand
*operand
;
195 for (; *opindex
!= 0; opindex
++)
197 operand
= &powerpc_operands
[*opindex
];
198 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0
199 || ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
200 && operand_value_powerpc (operand
, insn
, dialect
) != 0))
207 /* Print a PowerPC or POWER instruction. */
210 print_insn_powerpc (bfd_vma memaddr
,
211 struct disassemble_info
*info
,
218 const struct powerpc_opcode
*opcode
;
219 const struct powerpc_opcode
*opcode_end
;
222 status
= (*info
->read_memory_func
) (memaddr
, buffer
, 4, info
);
225 (*info
->memory_error_func
) (status
, memaddr
, info
);
230 insn
= bfd_getb32 (buffer
);
232 insn
= bfd_getl32 (buffer
);
234 /* Get the major opcode of the instruction. */
237 /* Find the first match in the opcode table. We could speed this up
238 a bit by doing a binary search on the major opcode. */
239 opcode_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
241 for (opcode
= powerpc_opcodes
; opcode
< opcode_end
; opcode
++)
243 unsigned long table_op
;
244 const unsigned char *opindex
;
245 const struct powerpc_operand
*operand
;
251 table_op
= PPC_OP (opcode
->opcode
);
257 if ((insn
& opcode
->mask
) != opcode
->opcode
258 || (opcode
->flags
& dialect
) == 0)
261 /* Make two passes over the operands. First see if any of them
262 have extraction functions, and, if they do, make sure the
263 instruction is valid. */
265 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
267 operand
= powerpc_operands
+ *opindex
;
268 if (operand
->extract
)
269 (*operand
->extract
) (insn
, dialect
, &invalid
);
274 /* The instruction is valid. */
275 if (opcode
->operands
[0] != 0)
276 (*info
->fprintf_func
) (info
->stream
, "%-7s ", opcode
->name
);
278 (*info
->fprintf_func
) (info
->stream
, "%s", opcode
->name
);
280 /* Now extract and print the operands. */
284 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
288 operand
= powerpc_operands
+ *opindex
;
290 /* Operands that are marked FAKE are simply ignored. We
291 already made sure that the extract function considered
292 the instruction to be valid. */
293 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
296 /* If all of the optional operands have the value zero,
297 then don't print any of them. */
298 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
300 if (skip_optional
< 0)
301 skip_optional
= skip_optional_operands (opindex
, insn
,
307 value
= operand_value_powerpc (operand
, insn
, dialect
);
311 (*info
->fprintf_func
) (info
->stream
, ",");
315 /* Print the operand as directed by the flags. */
316 if ((operand
->flags
& PPC_OPERAND_GPR
) != 0
317 || ((operand
->flags
& PPC_OPERAND_GPR_0
) != 0 && value
!= 0))
318 (*info
->fprintf_func
) (info
->stream
, "r%ld", value
);
319 else if ((operand
->flags
& PPC_OPERAND_FPR
) != 0)
320 (*info
->fprintf_func
) (info
->stream
, "f%ld", value
);
321 else if ((operand
->flags
& PPC_OPERAND_VR
) != 0)
322 (*info
->fprintf_func
) (info
->stream
, "v%ld", value
);
323 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0)
324 (*info
->print_address_func
) (memaddr
+ value
, info
);
325 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
326 (*info
->print_address_func
) ((bfd_vma
) value
& 0xffffffff, info
);
327 else if ((operand
->flags
& PPC_OPERAND_CR
) == 0
328 || (dialect
& PPC_OPCODE_PPC
) == 0)
329 (*info
->fprintf_func
) (info
->stream
, "%ld", value
);
332 if (operand
->bitm
== 7)
333 (*info
->fprintf_func
) (info
->stream
, "cr%ld", value
);
336 static const char *cbnames
[4] = { "lt", "gt", "eq", "so" };
342 (*info
->fprintf_func
) (info
->stream
, "4*cr%d+", cr
);
344 (*info
->fprintf_func
) (info
->stream
, "%s", cbnames
[cc
]);
350 (*info
->fprintf_func
) (info
->stream
, ")");
354 if ((operand
->flags
& PPC_OPERAND_PARENS
) == 0)
358 (*info
->fprintf_func
) (info
->stream
, "(");
363 /* We have found and printed an instruction; return. */
367 if ((dialect
& PPC_OPCODE_ANY
) != 0)
369 dialect
= ~PPC_OPCODE_ANY
;
373 /* We could not find a match. */
374 (*info
->fprintf_func
) (info
->stream
, ".long 0x%lx", insn
);
380 print_ppc_disassembler_options (FILE *stream
)
382 fprintf (stream
, "\n\
383 The following PPC specific disassembler options are supported for use with\n\
386 fprintf (stream
, " booke|booke32|booke64 Disassemble the BookE instructions\n");
387 fprintf (stream
, " e300 Disassemble the e300 instructions\n");
388 fprintf (stream
, " e500|e500x2 Disassemble the e500 instructions\n");
389 fprintf (stream
, " e500mc Disassemble the e500mc instructions\n");
390 fprintf (stream
, " 440 Disassemble the 440 instructions\n");
391 fprintf (stream
, " efs Disassemble the EFS instructions\n");
392 fprintf (stream
, " ppcps Disassemble the PowerPC paired singles instructions\n");
393 fprintf (stream
, " power4 Disassemble the Power4 instructions\n");
394 fprintf (stream
, " power5 Disassemble the Power5 instructions\n");
395 fprintf (stream
, " power6 Disassemble the Power6 instructions\n");
396 fprintf (stream
, " 32 Do not disassemble 64-bit instructions\n");
397 fprintf (stream
, " 64 Allow disassembly of 64-bit instructions\n");