1 /* ppc-dis.c -- Disassemble PowerPC instructions
2 Copyright (C) 1994-2016 Free Software Foundation, Inc.
3 Written by Ian Lance Taylor, Cygnus Support
5 This file is part of GDB, GAS, and the GNU binutils.
7 GDB, GAS, and the GNU binutils are free software; you can redistribute
8 them and/or modify them under the terms of the GNU General Public
9 License as published by the Free Software Foundation; either version
10 2, or (at your option) any later version.
12 GDB, GAS, and the GNU binutils are distributed in the hope that they
13 will be useful, but WITHOUT ANY WARRANTY; without even the implied
14 warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
15 the GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this file; see the file COPYING. If not, write to the Free
19 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
21 #include <asm/cputable.h>
22 #include <asm/cpu_has_feature.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)
34 /* Extract the operand value from the PowerPC or POWER instruction. */
37 operand_value_powerpc (const struct powerpc_operand
*operand
,
38 unsigned long insn
, ppc_cpu_t dialect
)
42 /* Extract the value from the instruction. */
44 value
= (*operand
->extract
) (insn
, dialect
, &invalid
);
47 if (operand
->shift
>= 0)
48 value
= (insn
>> operand
->shift
) & operand
->bitm
;
50 value
= (insn
<< -operand
->shift
) & operand
->bitm
;
51 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
53 /* BITM is always some number of zeros followed by some
54 number of ones, followed by some number of zeros. */
55 unsigned long top
= operand
->bitm
;
56 /* top & -top gives the rightmost 1 bit, so this
57 fills in any trailing zeros. */
58 top
|= (top
& -top
) - 1;
60 value
= (value
^ top
) - top
;
67 /* Determine whether the optional operand(s) should be printed. */
70 skip_optional_operands (const unsigned char *opindex
,
71 unsigned long insn
, ppc_cpu_t dialect
)
73 const struct powerpc_operand
*operand
;
75 for (; *opindex
!= 0; opindex
++)
77 operand
= &powerpc_operands
[*opindex
];
78 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0
79 || ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
80 && operand_value_powerpc (operand
, insn
, dialect
) !=
81 ppc_optional_operand_value (operand
)))
88 /* Find a match for INSN in the opcode table, given machine DIALECT.
89 A DIALECT of -1 is special, matching all machine opcode variations. */
91 static const struct powerpc_opcode
*
92 lookup_powerpc (unsigned long insn
, ppc_cpu_t dialect
)
94 const struct powerpc_opcode
*opcode
;
95 const struct powerpc_opcode
*opcode_end
;
97 opcode_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
98 /* Find the first match in the opcode table for this major opcode. */
99 for (opcode
= powerpc_opcodes
; opcode
< opcode_end
; ++opcode
)
101 const unsigned char *opindex
;
102 const struct powerpc_operand
*operand
;
105 if ((insn
& opcode
->mask
) != opcode
->opcode
106 || (dialect
!= (ppc_cpu_t
) -1
107 && ((opcode
->flags
& dialect
) == 0
108 || (opcode
->deprecated
& dialect
) != 0)))
111 /* Check validity of operands. */
113 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
115 operand
= powerpc_operands
+ *opindex
;
116 if (operand
->extract
)
117 (*operand
->extract
) (insn
, dialect
, &invalid
);
128 /* Print a PowerPC or POWER instruction. */
130 int print_insn_powerpc (unsigned long insn
, unsigned long memaddr
)
132 const struct powerpc_opcode
*opcode
;
136 dialect
= PPC_OPCODE_PPC
| PPC_OPCODE_COMMON
137 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
| PPC_OPCODE_ALTIVEC
;
139 if (cpu_has_feature(CPU_FTRS_POWER5
))
140 dialect
|= PPC_OPCODE_POWER5
;
142 if (cpu_has_feature(CPU_FTRS_CELL
))
143 dialect
|= (PPC_OPCODE_CELL
| PPC_OPCODE_ALTIVEC
);
145 if (cpu_has_feature(CPU_FTRS_POWER6
))
146 dialect
|= (PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
| PPC_OPCODE_ALTIVEC
);
148 if (cpu_has_feature(CPU_FTRS_POWER7
))
149 dialect
|= (PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
| PPC_OPCODE_POWER7
150 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
);
152 if (cpu_has_feature(CPU_FTRS_POWER8
))
153 dialect
|= (PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
| PPC_OPCODE_POWER7
154 | PPC_OPCODE_POWER8
| PPC_OPCODE_HTM
155 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_ALTIVEC2
| PPC_OPCODE_VSX
);
157 if (cpu_has_feature(CPU_FTRS_POWER9
))
158 dialect
|= (PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
| PPC_OPCODE_POWER7
159 | PPC_OPCODE_POWER8
| PPC_OPCODE_POWER9
| PPC_OPCODE_HTM
160 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_ALTIVEC2
161 | PPC_OPCODE_VSX
| PPC_OPCODE_VSX3
),
163 /* Get the major opcode of the insn. */
165 insn_is_short
= false;
168 opcode
= lookup_powerpc (insn
, dialect
);
169 if (opcode
== NULL
&& (dialect
& PPC_OPCODE_ANY
) != 0)
170 opcode
= lookup_powerpc (insn
, (ppc_cpu_t
) -1);
174 const unsigned char *opindex
;
175 const struct powerpc_operand
*operand
;
180 if (opcode
->operands
[0] != 0)
181 printf("%-7s ", opcode
->name
);
183 printf("%s", opcode
->name
);
186 /* The operands will be fetched out of the 16-bit instruction. */
189 /* Now extract and print the operands. */
193 for (opindex
= opcode
->operands
; *opindex
!= 0; opindex
++)
197 operand
= powerpc_operands
+ *opindex
;
199 /* Operands that are marked FAKE are simply ignored. We
200 already made sure that the extract function considered
201 the instruction to be valid. */
202 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
205 /* If all of the optional operands have the value zero,
206 then don't print any of them. */
207 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
209 if (skip_optional
< 0)
210 skip_optional
= skip_optional_operands (opindex
, insn
,
216 value
= operand_value_powerpc (operand
, insn
, dialect
);
224 /* Print the operand as directed by the flags. */
225 if ((operand
->flags
& PPC_OPERAND_GPR
) != 0
226 || ((operand
->flags
& PPC_OPERAND_GPR_0
) != 0 && value
!= 0))
227 printf("r%ld", value
);
228 else if ((operand
->flags
& PPC_OPERAND_FPR
) != 0)
229 printf("f%ld", value
);
230 else if ((operand
->flags
& PPC_OPERAND_VR
) != 0)
231 printf("v%ld", value
);
232 else if ((operand
->flags
& PPC_OPERAND_VSR
) != 0)
233 printf("vs%ld", value
);
234 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0)
235 print_address(memaddr
+ value
);
236 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
237 print_address(value
& 0xffffffff);
238 else if ((operand
->flags
& PPC_OPERAND_FSL
) != 0)
239 printf("fsl%ld", value
);
240 else if ((operand
->flags
& PPC_OPERAND_FCR
) != 0)
241 printf("fcr%ld", value
);
242 else if ((operand
->flags
& PPC_OPERAND_UDI
) != 0)
243 printf("%ld", value
);
244 else if ((operand
->flags
& PPC_OPERAND_CR_REG
) != 0
245 && (((dialect
& PPC_OPCODE_PPC
) != 0)
246 || ((dialect
& PPC_OPCODE_VLE
) != 0)))
247 printf("cr%ld", value
);
248 else if (((operand
->flags
& PPC_OPERAND_CR_BIT
) != 0)
249 && (((dialect
& PPC_OPCODE_PPC
) != 0)
250 || ((dialect
& PPC_OPCODE_VLE
) != 0)))
252 static const char *cbnames
[4] = { "lt", "gt", "eq", "so" };
258 printf("4*cr%d+", cr
);
260 printf("%s", cbnames
[cc
]);
263 printf("%d", (int) value
);
271 if ((operand
->flags
& PPC_OPERAND_PARENS
) == 0)
280 /* We have found and printed an instruction.
281 If it was a short VLE instruction we have more to do. */
288 /* Otherwise, return. */
292 /* We could not find a match. */
293 printf(".long 0x%lx", insn
);