Commit | Line | Data |
---|---|---|
252b5132 | 1 | /* Print Motorola 68k instructions. |
060d22b0 | 2 | Copyright 1986, 1987, 1989, 1991, 1992, 1993, 1994, 1995, 1996, 1997, |
aa820537 | 3 | 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 |
252b5132 RH |
4 | Free Software Foundation, Inc. |
5 | ||
9b201bb5 NC |
6 | This file is part of the GNU opcodes library. |
7 | ||
8 | This library is free software; you can redistribute it and/or modify | |
3e602632 | 9 | it under the terms of the GNU General Public License as published by |
9b201bb5 NC |
10 | the Free Software Foundation; either version 3, or (at your option) |
11 | any later version. | |
252b5132 | 12 | |
9b201bb5 NC |
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. | |
252b5132 | 17 | |
3e602632 NC |
18 | You should have received a copy of the GNU General Public License |
19 | along with this program; if not, write to the Free Software | |
47b0e7ad NC |
20 | Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, |
21 | MA 02110-1301, USA. */ | |
252b5132 | 22 | |
0d8dfecf | 23 | #include "sysdep.h" |
252b5132 RH |
24 | #include "dis-asm.h" |
25 | #include "floatformat.h" | |
19f33eee | 26 | #include "libiberty.h" |
252b5132 RH |
27 | #include "opintl.h" |
28 | ||
29 | #include "opcode/m68k.h" | |
30 | ||
47b0e7ad | 31 | /* Local function prototypes. */ |
be8c092b NC |
32 | |
33 | const char * const fpcr_names[] = | |
34 | { | |
47b0e7ad NC |
35 | "", "%fpiar", "%fpsr", "%fpiar/%fpsr", "%fpcr", |
36 | "%fpiar/%fpcr", "%fpsr/%fpcr", "%fpiar/%fpsr/%fpcr" | |
ec22bdda | 37 | }; |
252b5132 | 38 | |
be8c092b NC |
39 | static char *const reg_names[] = |
40 | { | |
47b0e7ad NC |
41 | "%d0", "%d1", "%d2", "%d3", "%d4", "%d5", "%d6", "%d7", |
42 | "%a0", "%a1", "%a2", "%a3", "%a4", "%a5", "%fp", "%sp", | |
43 | "%ps", "%pc" | |
ec22bdda | 44 | }; |
252b5132 | 45 | |
be8c092b NC |
46 | /* Name of register halves for MAC/EMAC. |
47 | Seperate from reg_names since 'spu', 'fpl' look weird. */ | |
48 | static char *const reg_half_names[] = | |
49 | { | |
47b0e7ad NC |
50 | "%d0", "%d1", "%d2", "%d3", "%d4", "%d5", "%d6", "%d7", |
51 | "%a0", "%a1", "%a2", "%a3", "%a4", "%a5", "%a6", "%a7", | |
52 | "%ps", "%pc" | |
be8c092b NC |
53 | }; |
54 | ||
55 | /* Sign-extend an (unsigned char). */ | |
252b5132 | 56 | #if __STDC__ == 1 |
ec22bdda | 57 | #define COERCE_SIGNED_CHAR(ch) ((signed char) (ch)) |
252b5132 | 58 | #else |
ec22bdda | 59 | #define COERCE_SIGNED_CHAR(ch) ((int) (((ch) ^ 0x80) & 0xFF) - 128) |
252b5132 RH |
60 | #endif |
61 | ||
62 | /* Get a 1 byte signed integer. */ | |
62443ade NC |
63 | #define NEXTBYTE(p, val) \ |
64 | do \ | |
65 | { \ | |
66 | p += 2; \ | |
9f7678f6 | 67 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
68 | return -3; \ |
69 | val = COERCE_SIGNED_CHAR (p[-1]); \ | |
70 | } \ | |
71 | while (0) | |
252b5132 RH |
72 | |
73 | /* Get a 2 byte signed integer. */ | |
74 | #define COERCE16(x) ((int) (((x) ^ 0x8000) - 0x8000)) | |
62443ade NC |
75 | |
76 | #define NEXTWORD(p, val, ret_val) \ | |
77 | do \ | |
78 | { \ | |
79 | p += 2; \ | |
9f7678f6 | 80 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
81 | return ret_val; \ |
82 | val = COERCE16 ((p[-2] << 8) + p[-1]); \ | |
83 | } \ | |
84 | while (0) | |
252b5132 RH |
85 | |
86 | /* Get a 4 byte signed integer. */ | |
87 | #define COERCE32(x) ((bfd_signed_vma) ((x) ^ 0x80000000) - 0x80000000) | |
62443ade NC |
88 | |
89 | #define NEXTLONG(p, val, ret_val) \ | |
90 | do \ | |
91 | { \ | |
92 | p += 4; \ | |
9f7678f6 | 93 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
94 | return ret_val; \ |
95 | val = COERCE32 ((((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1]); \ | |
96 | } \ | |
97 | while (0) | |
252b5132 RH |
98 | |
99 | /* Get a 4 byte unsigned integer. */ | |
62443ade NC |
100 | #define NEXTULONG(p, val) \ |
101 | do \ | |
102 | { \ | |
103 | p += 4; \ | |
9f7678f6 | 104 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
105 | return -3; \ |
106 | val = (unsigned int) ((((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1]); \ | |
107 | } \ | |
108 | while (0) | |
252b5132 RH |
109 | |
110 | /* Get a single precision float. */ | |
62443ade NC |
111 | #define NEXTSINGLE(val, p) \ |
112 | do \ | |
113 | { \ | |
114 | p += 4; \ | |
9f7678f6 | 115 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
116 | return -3; \ |
117 | floatformat_to_double (& floatformat_ieee_single_big, \ | |
118 | (char *) p - 4, & val); \ | |
119 | } \ | |
120 | while (0) | |
252b5132 RH |
121 | |
122 | /* Get a double precision float. */ | |
62443ade NC |
123 | #define NEXTDOUBLE(val, p) \ |
124 | do \ | |
125 | { \ | |
126 | p += 8; \ | |
9f7678f6 | 127 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
128 | return -3; \ |
129 | floatformat_to_double (& floatformat_ieee_double_big, \ | |
130 | (char *) p - 8, & val); \ | |
131 | } \ | |
132 | while (0) | |
252b5132 RH |
133 | |
134 | /* Get an extended precision float. */ | |
62443ade NC |
135 | #define NEXTEXTEND(val, p) \ |
136 | do \ | |
137 | { \ | |
138 | p += 12; \ | |
9f7678f6 | 139 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
140 | return -3; \ |
141 | floatformat_to_double (& floatformat_m68881_ext, \ | |
142 | (char *) p - 12, & val); \ | |
143 | } \ | |
144 | while (0) | |
252b5132 RH |
145 | |
146 | /* Need a function to convert from packed to double | |
147 | precision. Actually, it's easier to print a | |
148 | packed number than a double anyway, so maybe | |
149 | there should be a special case to handle this... */ | |
62443ade NC |
150 | #define NEXTPACKED(p, val) \ |
151 | do \ | |
152 | { \ | |
153 | p += 12; \ | |
9f7678f6 | 154 | if (!FETCH_DATA (info, p)) \ |
62443ade NC |
155 | return -3; \ |
156 | val = 0.0; \ | |
157 | } \ | |
158 | while (0) | |
159 | ||
252b5132 RH |
160 | \f |
161 | /* Maximum length of an instruction. */ | |
162 | #define MAXLEN 22 | |
163 | ||
164 | #include <setjmp.h> | |
165 | ||
47b0e7ad NC |
166 | struct private |
167 | { | |
252b5132 RH |
168 | /* Points to first byte not fetched. */ |
169 | bfd_byte *max_fetched; | |
170 | bfd_byte the_buffer[MAXLEN]; | |
171 | bfd_vma insn_start; | |
252b5132 RH |
172 | }; |
173 | ||
174 | /* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive) | |
62443ade | 175 | to ADDR (exclusive) are valid. Returns 1 for success, 0 on error. */ |
252b5132 | 176 | #define FETCH_DATA(info, addr) \ |
ec22bdda | 177 | ((addr) <= ((struct private *) (info->private_data))->max_fetched \ |
252b5132 RH |
178 | ? 1 : fetch_data ((info), (addr))) |
179 | ||
180 | static int | |
cc16ba8c | 181 | fetch_data (struct disassemble_info *info, bfd_byte *addr) |
252b5132 RH |
182 | { |
183 | int status; | |
184 | struct private *priv = (struct private *)info->private_data; | |
185 | bfd_vma start = priv->insn_start + (priv->max_fetched - priv->the_buffer); | |
186 | ||
187 | status = (*info->read_memory_func) (start, | |
188 | priv->max_fetched, | |
189 | addr - priv->max_fetched, | |
190 | info); | |
191 | if (status != 0) | |
192 | { | |
193 | (*info->memory_error_func) (status, start, info); | |
62443ade | 194 | return 0; |
252b5132 RH |
195 | } |
196 | else | |
197 | priv->max_fetched = addr; | |
198 | return 1; | |
199 | } | |
200 | \f | |
47b0e7ad | 201 | /* This function is used to print to the bit-bucket. */ |
252b5132 | 202 | static int |
ec22bdda | 203 | dummy_printer (FILE *file ATTRIBUTE_UNUSED, |
47b0e7ad NC |
204 | const char *format ATTRIBUTE_UNUSED, |
205 | ...) | |
ec22bdda KH |
206 | { |
207 | return 0; | |
208 | } | |
252b5132 RH |
209 | |
210 | static void | |
47b0e7ad NC |
211 | dummy_print_address (bfd_vma vma ATTRIBUTE_UNUSED, |
212 | struct disassemble_info *info ATTRIBUTE_UNUSED) | |
252b5132 RH |
213 | { |
214 | } | |
215 | ||
47b0e7ad NC |
216 | /* Fetch BITS bits from a position in the instruction specified by CODE. |
217 | CODE is a "place to put an argument", or 'x' for a destination | |
218 | that is a general address (mode and register). | |
62443ade NC |
219 | BUFFER contains the instruction. |
220 | Returns -1 on failure. */ | |
be8c092b NC |
221 | |
222 | static int | |
47b0e7ad NC |
223 | fetch_arg (unsigned char *buffer, |
224 | int code, | |
225 | int bits, | |
226 | disassemble_info *info) | |
be8c092b | 227 | { |
47b0e7ad | 228 | int val = 0; |
be8c092b | 229 | |
47b0e7ad | 230 | switch (code) |
be8c092b | 231 | { |
47b0e7ad NC |
232 | case '/': /* MAC/EMAC mask bit. */ |
233 | val = buffer[3] >> 5; | |
234 | break; | |
be8c092b | 235 | |
47b0e7ad NC |
236 | case 'G': /* EMAC ACC load. */ |
237 | val = ((buffer[3] >> 3) & 0x2) | ((~buffer[1] >> 7) & 0x1); | |
238 | break; | |
be8c092b | 239 | |
47b0e7ad NC |
240 | case 'H': /* EMAC ACC !load. */ |
241 | val = ((buffer[3] >> 3) & 0x2) | ((buffer[1] >> 7) & 0x1); | |
242 | break; | |
be8c092b | 243 | |
47b0e7ad NC |
244 | case ']': /* EMAC ACCEXT bit. */ |
245 | val = buffer[0] >> 2; | |
246 | break; | |
be8c092b | 247 | |
47b0e7ad NC |
248 | case 'I': /* MAC/EMAC scale factor. */ |
249 | val = buffer[2] >> 1; | |
250 | break; | |
be8c092b | 251 | |
47b0e7ad NC |
252 | case 'F': /* EMAC ACCx. */ |
253 | val = buffer[0] >> 1; | |
254 | break; | |
be8c092b | 255 | |
47b0e7ad NC |
256 | case 'f': |
257 | val = buffer[1]; | |
258 | break; | |
be8c092b | 259 | |
47b0e7ad NC |
260 | case 's': |
261 | val = buffer[1]; | |
262 | break; | |
be8c092b | 263 | |
47b0e7ad NC |
264 | case 'd': /* Destination, for register or quick. */ |
265 | val = (buffer[0] << 8) + buffer[1]; | |
266 | val >>= 9; | |
267 | break; | |
be8c092b | 268 | |
47b0e7ad NC |
269 | case 'x': /* Destination, for general arg. */ |
270 | val = (buffer[0] << 8) + buffer[1]; | |
271 | val >>= 6; | |
272 | break; | |
be8c092b | 273 | |
47b0e7ad | 274 | case 'k': |
62443ade NC |
275 | if (! FETCH_DATA (info, buffer + 3)) |
276 | return -1; | |
47b0e7ad NC |
277 | val = (buffer[3] >> 4); |
278 | break; | |
be8c092b | 279 | |
47b0e7ad | 280 | case 'C': |
62443ade NC |
281 | if (! FETCH_DATA (info, buffer + 3)) |
282 | return -1; | |
47b0e7ad NC |
283 | val = buffer[3]; |
284 | break; | |
be8c092b | 285 | |
47b0e7ad | 286 | case '1': |
62443ade NC |
287 | if (! FETCH_DATA (info, buffer + 3)) |
288 | return -1; | |
47b0e7ad NC |
289 | val = (buffer[2] << 8) + buffer[3]; |
290 | val >>= 12; | |
291 | break; | |
be8c092b | 292 | |
47b0e7ad | 293 | case '2': |
62443ade NC |
294 | if (! FETCH_DATA (info, buffer + 3)) |
295 | return -1; | |
47b0e7ad NC |
296 | val = (buffer[2] << 8) + buffer[3]; |
297 | val >>= 6; | |
298 | break; | |
be8c092b | 299 | |
47b0e7ad NC |
300 | case '3': |
301 | case 'j': | |
62443ade NC |
302 | if (! FETCH_DATA (info, buffer + 3)) |
303 | return -1; | |
47b0e7ad NC |
304 | val = (buffer[2] << 8) + buffer[3]; |
305 | break; | |
be8c092b | 306 | |
47b0e7ad | 307 | case '4': |
62443ade NC |
308 | if (! FETCH_DATA (info, buffer + 5)) |
309 | return -1; | |
47b0e7ad NC |
310 | val = (buffer[4] << 8) + buffer[5]; |
311 | val >>= 12; | |
312 | break; | |
be8c092b | 313 | |
47b0e7ad | 314 | case '5': |
62443ade NC |
315 | if (! FETCH_DATA (info, buffer + 5)) |
316 | return -1; | |
47b0e7ad NC |
317 | val = (buffer[4] << 8) + buffer[5]; |
318 | val >>= 6; | |
319 | break; | |
be8c092b | 320 | |
47b0e7ad | 321 | case '6': |
62443ade NC |
322 | if (! FETCH_DATA (info, buffer + 5)) |
323 | return -1; | |
47b0e7ad NC |
324 | val = (buffer[4] << 8) + buffer[5]; |
325 | break; | |
252b5132 | 326 | |
47b0e7ad | 327 | case '7': |
62443ade NC |
328 | if (! FETCH_DATA (info, buffer + 3)) |
329 | return -1; | |
47b0e7ad NC |
330 | val = (buffer[2] << 8) + buffer[3]; |
331 | val >>= 7; | |
332 | break; | |
252b5132 | 333 | |
47b0e7ad | 334 | case '8': |
62443ade NC |
335 | if (! FETCH_DATA (info, buffer + 3)) |
336 | return -1; | |
47b0e7ad NC |
337 | val = (buffer[2] << 8) + buffer[3]; |
338 | val >>= 10; | |
339 | break; | |
252b5132 | 340 | |
47b0e7ad | 341 | case '9': |
62443ade NC |
342 | if (! FETCH_DATA (info, buffer + 3)) |
343 | return -1; | |
47b0e7ad NC |
344 | val = (buffer[2] << 8) + buffer[3]; |
345 | val >>= 5; | |
346 | break; | |
252b5132 | 347 | |
47b0e7ad NC |
348 | case 'e': |
349 | val = (buffer[1] >> 6); | |
350 | break; | |
be8c092b | 351 | |
afa2158f | 352 | case 'E': |
62443ade NC |
353 | if (! FETCH_DATA (info, buffer + 3)) |
354 | return -1; | |
afa2158f NS |
355 | val = (buffer[2] >> 1); |
356 | break; | |
357 | ||
47b0e7ad NC |
358 | case 'm': |
359 | val = (buffer[1] & 0x40 ? 0x8 : 0) | |
360 | | ((buffer[0] >> 1) & 0x7) | |
361 | | (buffer[3] & 0x80 ? 0x10 : 0); | |
362 | break; | |
252b5132 | 363 | |
47b0e7ad NC |
364 | case 'n': |
365 | val = (buffer[1] & 0x40 ? 0x8 : 0) | ((buffer[0] >> 1) & 0x7); | |
366 | break; | |
252b5132 | 367 | |
47b0e7ad NC |
368 | case 'o': |
369 | val = (buffer[2] >> 4) | (buffer[3] & 0x80 ? 0x10 : 0); | |
370 | break; | |
be8c092b | 371 | |
47b0e7ad NC |
372 | case 'M': |
373 | val = (buffer[1] & 0xf) | (buffer[3] & 0x40 ? 0x10 : 0); | |
374 | break; | |
252b5132 | 375 | |
47b0e7ad NC |
376 | case 'N': |
377 | val = (buffer[3] & 0xf) | (buffer[3] & 0x40 ? 0x10 : 0); | |
378 | break; | |
379 | ||
380 | case 'h': | |
381 | val = buffer[2] >> 2; | |
382 | break; | |
383 | ||
384 | default: | |
385 | abort (); | |
386 | } | |
387 | ||
afa2158f NS |
388 | /* bits is never too big. */ |
389 | return val & ((1 << bits) - 1); | |
47b0e7ad NC |
390 | } |
391 | ||
392 | /* Check if an EA is valid for a particular code. This is required | |
393 | for the EMAC instructions since the type of source address determines | |
394 | if it is a EMAC-load instruciton if the EA is mode 2-5, otherwise it | |
395 | is a non-load EMAC instruction and the bits mean register Ry. | |
396 | A similar case exists for the movem instructions where the register | |
397 | mask is interpreted differently for different EAs. */ | |
398 | ||
399 | static bfd_boolean | |
400 | m68k_valid_ea (char code, int val) | |
401 | { | |
402 | int mode, mask; | |
403 | #define M(n0,n1,n2,n3,n4,n5,n6,n70,n71,n72,n73,n74) \ | |
404 | (n0 | n1 << 1 | n2 << 2 | n3 << 3 | n4 << 4 | n5 << 5 | n6 << 6 \ | |
405 | | n70 << 7 | n71 << 8 | n72 << 9 | n73 << 10 | n74 << 11) | |
406 | ||
407 | switch (code) | |
408 | { | |
409 | case '*': | |
410 | mask = M (1,1,1,1,1,1,1,1,1,1,1,1); | |
252b5132 | 411 | break; |
47b0e7ad NC |
412 | case '~': |
413 | mask = M (0,0,1,1,1,1,1,1,1,0,0,0); | |
252b5132 | 414 | break; |
47b0e7ad NC |
415 | case '%': |
416 | mask = M (1,1,1,1,1,1,1,1,1,0,0,0); | |
252b5132 | 417 | break; |
47b0e7ad NC |
418 | case ';': |
419 | mask = M (1,0,1,1,1,1,1,1,1,1,1,1); | |
252b5132 | 420 | break; |
47b0e7ad NC |
421 | case '@': |
422 | mask = M (1,0,1,1,1,1,1,1,1,1,1,0); | |
252b5132 | 423 | break; |
47b0e7ad NC |
424 | case '!': |
425 | mask = M (0,0,1,0,0,1,1,1,1,1,1,0); | |
252b5132 | 426 | break; |
47b0e7ad NC |
427 | case '&': |
428 | mask = M (0,0,1,0,0,1,1,1,1,0,0,0); | |
252b5132 | 429 | break; |
47b0e7ad NC |
430 | case '$': |
431 | mask = M (1,0,1,1,1,1,1,1,1,0,0,0); | |
252b5132 | 432 | break; |
47b0e7ad NC |
433 | case '?': |
434 | mask = M (1,0,1,0,0,1,1,1,1,0,0,0); | |
9d29e1b3 | 435 | break; |
47b0e7ad NC |
436 | case '/': |
437 | mask = M (1,0,1,0,0,1,1,1,1,1,1,0); | |
3e602632 | 438 | break; |
47b0e7ad NC |
439 | case '|': |
440 | mask = M (0,0,1,0,0,1,1,1,1,1,1,0); | |
6b6e92f4 | 441 | break; |
47b0e7ad NC |
442 | case '>': |
443 | mask = M (0,0,1,0,1,1,1,1,1,0,0,0); | |
9d29e1b3 | 444 | break; |
47b0e7ad NC |
445 | case '<': |
446 | mask = M (0,0,1,1,0,1,1,1,1,1,1,0); | |
9d29e1b3 | 447 | break; |
47b0e7ad NC |
448 | case 'm': |
449 | mask = M (1,1,1,1,1,0,0,0,0,0,0,0); | |
fd99574b | 450 | break; |
47b0e7ad NC |
451 | case 'n': |
452 | mask = M (0,0,0,0,0,1,0,0,0,1,0,0); | |
453 | break; | |
454 | case 'o': | |
455 | mask = M (0,0,0,0,0,0,1,1,1,0,1,1); | |
456 | break; | |
457 | case 'p': | |
458 | mask = M (1,1,1,1,1,1,0,0,0,0,0,0); | |
459 | break; | |
460 | case 'q': | |
461 | mask = M (1,0,1,1,1,1,0,0,0,0,0,0); | |
462 | break; | |
463 | case 'v': | |
464 | mask = M (1,0,1,1,1,1,0,1,1,0,0,0); | |
465 | break; | |
466 | case 'b': | |
467 | mask = M (1,0,1,1,1,1,0,0,0,1,0,0); | |
468 | break; | |
469 | case 'w': | |
470 | mask = M (0,0,1,1,1,1,0,0,0,1,0,0); | |
471 | break; | |
472 | case 'y': | |
473 | mask = M (0,0,1,0,0,1,0,0,0,0,0,0); | |
474 | break; | |
475 | case 'z': | |
476 | mask = M (0,0,1,0,0,1,0,0,0,1,0,0); | |
477 | break; | |
478 | case '4': | |
479 | mask = M (0,0,1,1,1,1,0,0,0,0,0,0); | |
9d29e1b3 | 480 | break; |
47b0e7ad NC |
481 | default: |
482 | abort (); | |
252b5132 | 483 | } |
47b0e7ad | 484 | #undef M |
252b5132 | 485 | |
47b0e7ad NC |
486 | mode = (val >> 3) & 7; |
487 | if (mode == 7) | |
488 | mode += val & 7; | |
489 | return (mask & (1 << mode)) != 0; | |
490 | } | |
252b5132 | 491 | |
47b0e7ad NC |
492 | /* Print a base register REGNO and displacement DISP, on INFO->STREAM. |
493 | REGNO = -1 for pc, -2 for none (suppressed). */ | |
252b5132 | 494 | |
47b0e7ad NC |
495 | static void |
496 | print_base (int regno, bfd_vma disp, disassemble_info *info) | |
497 | { | |
498 | if (regno == -1) | |
499 | { | |
500 | (*info->fprintf_func) (info->stream, "%%pc@("); | |
501 | (*info->print_address_func) (disp, info); | |
502 | } | |
503 | else | |
504 | { | |
505 | char buf[50]; | |
252b5132 | 506 | |
47b0e7ad NC |
507 | if (regno == -2) |
508 | (*info->fprintf_func) (info->stream, "@("); | |
509 | else if (regno == -3) | |
510 | (*info->fprintf_func) (info->stream, "%%zpc@("); | |
511 | else | |
512 | (*info->fprintf_func) (info->stream, "%s@(", reg_names[regno]); | |
252b5132 | 513 | |
47b0e7ad NC |
514 | sprintf_vma (buf, disp); |
515 | (*info->fprintf_func) (info->stream, "%s", buf); | |
252b5132 | 516 | } |
252b5132 RH |
517 | } |
518 | ||
47b0e7ad NC |
519 | /* Print an indexed argument. The base register is BASEREG (-1 for pc). |
520 | P points to extension word, in buffer. | |
62443ade NC |
521 | ADDR is the nominal core address of that extension word. |
522 | Returns NULL upon error. */ | |
cc16ba8c | 523 | |
47b0e7ad NC |
524 | static unsigned char * |
525 | print_indexed (int basereg, | |
526 | unsigned char *p, | |
527 | bfd_vma addr, | |
528 | disassemble_info *info) | |
252b5132 | 529 | { |
47b0e7ad NC |
530 | int word; |
531 | static char *const scales[] = { "", ":2", ":4", ":8" }; | |
532 | bfd_vma base_disp; | |
533 | bfd_vma outer_disp; | |
534 | char buf[40]; | |
535 | char vmabuf[50]; | |
536 | ||
62443ade | 537 | NEXTWORD (p, word, NULL); |
47b0e7ad NC |
538 | |
539 | /* Generate the text for the index register. | |
540 | Where this will be output is not yet determined. */ | |
541 | sprintf (buf, "%s:%c%s", | |
542 | reg_names[(word >> 12) & 0xf], | |
543 | (word & 0x800) ? 'l' : 'w', | |
544 | scales[(word >> 9) & 3]); | |
545 | ||
546 | /* Handle the 68000 style of indexing. */ | |
547 | ||
548 | if ((word & 0x100) == 0) | |
549 | { | |
550 | base_disp = word & 0xff; | |
551 | if ((base_disp & 0x80) != 0) | |
552 | base_disp -= 0x100; | |
553 | if (basereg == -1) | |
554 | base_disp += addr; | |
555 | print_base (basereg, base_disp, info); | |
556 | (*info->fprintf_func) (info->stream, ",%s)", buf); | |
557 | return p; | |
558 | } | |
559 | ||
560 | /* Handle the generalized kind. */ | |
561 | /* First, compute the displacement to add to the base register. */ | |
562 | if (word & 0200) | |
563 | { | |
564 | if (basereg == -1) | |
565 | basereg = -3; | |
566 | else | |
567 | basereg = -2; | |
568 | } | |
569 | if (word & 0100) | |
570 | buf[0] = '\0'; | |
571 | base_disp = 0; | |
572 | switch ((word >> 4) & 3) | |
573 | { | |
574 | case 2: | |
62443ade | 575 | NEXTWORD (p, base_disp, NULL); |
47b0e7ad NC |
576 | break; |
577 | case 3: | |
62443ade | 578 | NEXTLONG (p, base_disp, NULL); |
47b0e7ad NC |
579 | } |
580 | if (basereg == -1) | |
581 | base_disp += addr; | |
582 | ||
583 | /* Handle single-level case (not indirect). */ | |
584 | if ((word & 7) == 0) | |
585 | { | |
586 | print_base (basereg, base_disp, info); | |
587 | if (buf[0] != '\0') | |
588 | (*info->fprintf_func) (info->stream, ",%s", buf); | |
589 | (*info->fprintf_func) (info->stream, ")"); | |
590 | return p; | |
591 | } | |
592 | ||
593 | /* Two level. Compute displacement to add after indirection. */ | |
594 | outer_disp = 0; | |
595 | switch (word & 3) | |
596 | { | |
597 | case 2: | |
62443ade | 598 | NEXTWORD (p, outer_disp, NULL); |
47b0e7ad NC |
599 | break; |
600 | case 3: | |
62443ade | 601 | NEXTLONG (p, outer_disp, NULL); |
47b0e7ad NC |
602 | } |
603 | ||
604 | print_base (basereg, base_disp, info); | |
605 | if ((word & 4) == 0 && buf[0] != '\0') | |
606 | { | |
607 | (*info->fprintf_func) (info->stream, ",%s", buf); | |
608 | buf[0] = '\0'; | |
609 | } | |
610 | sprintf_vma (vmabuf, outer_disp); | |
611 | (*info->fprintf_func) (info->stream, ")@(%s", vmabuf); | |
612 | if (buf[0] != '\0') | |
613 | (*info->fprintf_func) (info->stream, ",%s", buf); | |
614 | (*info->fprintf_func) (info->stream, ")"); | |
615 | ||
616 | return p; | |
617 | } | |
618 | ||
62443ade NC |
619 | #define FETCH_ARG(size, val) \ |
620 | do \ | |
621 | { \ | |
622 | val = fetch_arg (buffer, place, size, info); \ | |
623 | if (val < 0) \ | |
624 | return -3; \ | |
625 | } \ | |
626 | while (0) | |
627 | ||
47b0e7ad NC |
628 | /* Returns number of bytes "eaten" by the operand, or |
629 | return -1 if an invalid operand was found, or -2 if | |
62443ade | 630 | an opcode tabe error was found or -3 to simply abort. |
47b0e7ad NC |
631 | ADDR is the pc for this arg to be relative to. */ |
632 | ||
633 | static int | |
634 | print_insn_arg (const char *d, | |
635 | unsigned char *buffer, | |
636 | unsigned char *p0, | |
637 | bfd_vma addr, | |
638 | disassemble_info *info) | |
639 | { | |
640 | int val = 0; | |
641 | int place = d[1]; | |
642 | unsigned char *p = p0; | |
643 | int regno; | |
be8c092b NC |
644 | const char *regname; |
645 | unsigned char *p1; | |
252b5132 RH |
646 | double flval; |
647 | int flt_p; | |
648 | bfd_signed_vma disp; | |
649 | unsigned int uval; | |
650 | ||
651 | switch (*d) | |
652 | { | |
be8c092b | 653 | case 'c': /* Cache identifier. */ |
252b5132 RH |
654 | { |
655 | static char *const cacheFieldName[] = { "nc", "dc", "ic", "bc" }; | |
62443ade NC |
656 | FETCH_ARG (2, val); |
657 | (*info->fprintf_func) (info->stream, cacheFieldName[val]); | |
252b5132 RH |
658 | break; |
659 | } | |
660 | ||
be8c092b | 661 | case 'a': /* Address register indirect only. Cf. case '+'. */ |
252b5132 | 662 | { |
62443ade NC |
663 | FETCH_ARG (3, val); |
664 | (*info->fprintf_func) (info->stream, "%s@", reg_names[val + 8]); | |
252b5132 RH |
665 | break; |
666 | } | |
667 | ||
be8c092b | 668 | case '_': /* 32-bit absolute address for move16. */ |
252b5132 | 669 | { |
62443ade | 670 | NEXTULONG (p, uval); |
252b5132 RH |
671 | (*info->print_address_func) (uval, info); |
672 | break; | |
673 | } | |
674 | ||
675 | case 'C': | |
676 | (*info->fprintf_func) (info->stream, "%%ccr"); | |
677 | break; | |
678 | ||
679 | case 'S': | |
680 | (*info->fprintf_func) (info->stream, "%%sr"); | |
681 | break; | |
682 | ||
683 | case 'U': | |
684 | (*info->fprintf_func) (info->stream, "%%usp"); | |
685 | break; | |
686 | ||
461d5ddd ILT |
687 | case 'E': |
688 | (*info->fprintf_func) (info->stream, "%%acc"); | |
689 | break; | |
690 | ||
691 | case 'G': | |
692 | (*info->fprintf_func) (info->stream, "%%macsr"); | |
693 | break; | |
694 | ||
695 | case 'H': | |
696 | (*info->fprintf_func) (info->stream, "%%mask"); | |
697 | break; | |
698 | ||
252b5132 RH |
699 | case 'J': |
700 | { | |
3e602632 | 701 | /* FIXME: There's a problem here, different m68k processors call the |
f7922329 NC |
702 | same address different names. The tables below try to get it right |
703 | using info->mach, but only for v4e. */ | |
704 | struct regname { char * name; int value; }; | |
705 | static const struct regname names[] = | |
706 | { | |
707 | {"%sfc", 0x000}, {"%dfc", 0x001}, {"%cacr", 0x002}, | |
708 | {"%tc", 0x003}, {"%itt0",0x004}, {"%itt1", 0x005}, | |
709 | {"%dtt0",0x006}, {"%dtt1",0x007}, {"%buscr",0x008}, | |
710 | {"%usp", 0x800}, {"%vbr", 0x801}, {"%caar", 0x802}, | |
711 | {"%msp", 0x803}, {"%isp", 0x804}, | |
712 | {"%pc", 0x80f}, | |
713 | /* Reg c04 is sometimes called flashbar or rambar. | |
714 | Rec c05 is also sometimes called rambar. */ | |
715 | {"%rambar0", 0xc04}, {"%rambar1", 0xc05}, | |
716 | ||
717 | {"%mbar", 0xc0f}, | |
718 | ||
719 | /* Should we be calling this psr like we do in case 'Y'? */ | |
720 | {"%mmusr",0x805}, | |
721 | ||
722 | {"%urp", 0x806}, {"%srp", 0x807}, {"%pcr", 0x808}, | |
723 | ||
724 | /* Fido added these. */ | |
725 | {"%cac", 0xffe}, {"%mbo", 0xfff} | |
726 | }; | |
727 | /* Alternate names for v4e (MCF5407/5445x/MCF547x/MCF548x), at least. */ | |
728 | static const struct regname names_v4e[] = | |
729 | { | |
730 | {"%asid",0x003}, {"%acr0",0x004}, {"%acr1",0x005}, | |
731 | {"%acr2",0x006}, {"%acr3",0x007}, {"%mmubar",0x008}, | |
732 | }; | |
733 | unsigned int arch_mask; | |
734 | ||
735 | arch_mask = bfd_m68k_mach_to_features (info->mach); | |
62443ade | 736 | FETCH_ARG (12, val); |
f7922329 NC |
737 | if (arch_mask & (mcfisa_b | mcfisa_c)) |
738 | { | |
739 | for (regno = ARRAY_SIZE (names_v4e); --regno >= 0;) | |
740 | if (names_v4e[regno].value == val) | |
741 | { | |
742 | (*info->fprintf_func) (info->stream, "%s", names_v4e[regno].name); | |
743 | break; | |
744 | } | |
745 | if (regno >= 0) | |
746 | break; | |
747 | } | |
748 | for (regno = ARRAY_SIZE (names) - 1; regno >= 0; regno--) | |
252b5132 RH |
749 | if (names[regno].value == val) |
750 | { | |
751 | (*info->fprintf_func) (info->stream, "%s", names[regno].name); | |
752 | break; | |
753 | } | |
754 | if (regno < 0) | |
f7922329 | 755 | (*info->fprintf_func) (info->stream, "0x%x", val); |
252b5132 RH |
756 | } |
757 | break; | |
758 | ||
759 | case 'Q': | |
62443ade | 760 | FETCH_ARG (3, val); |
252b5132 RH |
761 | /* 0 means 8, except for the bkpt instruction... */ |
762 | if (val == 0 && d[1] != 's') | |
763 | val = 8; | |
764 | (*info->fprintf_func) (info->stream, "#%d", val); | |
765 | break; | |
766 | ||
3e602632 | 767 | case 'x': |
62443ade | 768 | FETCH_ARG (3, val); |
3e602632 NC |
769 | /* 0 means -1. */ |
770 | if (val == 0) | |
771 | val = -1; | |
772 | (*info->fprintf_func) (info->stream, "#%d", val); | |
773 | break; | |
774 | ||
afa2158f | 775 | case 'j': |
62443ade | 776 | FETCH_ARG (3, val); |
afa2158f NS |
777 | (*info->fprintf_func) (info->stream, "#%d", val+1); |
778 | break; | |
779 | ||
780 | case 'K': | |
62443ade | 781 | FETCH_ARG (9, val); |
afa2158f NS |
782 | (*info->fprintf_func) (info->stream, "#%d", val); |
783 | break; | |
784 | ||
252b5132 | 785 | case 'M': |
461d5ddd ILT |
786 | if (place == 'h') |
787 | { | |
788 | static char *const scalefactor_name[] = { "<<", ">>" }; | |
62443ade NC |
789 | |
790 | FETCH_ARG (1, val); | |
461d5ddd ILT |
791 | (*info->fprintf_func) (info->stream, scalefactor_name[val]); |
792 | } | |
793 | else | |
794 | { | |
62443ade | 795 | FETCH_ARG (8, val); |
461d5ddd ILT |
796 | if (val & 0x80) |
797 | val = val - 0x100; | |
798 | (*info->fprintf_func) (info->stream, "#%d", val); | |
799 | } | |
252b5132 RH |
800 | break; |
801 | ||
802 | case 'T': | |
62443ade | 803 | FETCH_ARG (4, val); |
252b5132 RH |
804 | (*info->fprintf_func) (info->stream, "#%d", val); |
805 | break; | |
806 | ||
807 | case 'D': | |
62443ade NC |
808 | FETCH_ARG (3, val); |
809 | (*info->fprintf_func) (info->stream, "%s", reg_names[val]); | |
252b5132 RH |
810 | break; |
811 | ||
812 | case 'A': | |
62443ade NC |
813 | FETCH_ARG (3, val); |
814 | (*info->fprintf_func) (info->stream, "%s", reg_names[val + 010]); | |
252b5132 RH |
815 | break; |
816 | ||
817 | case 'R': | |
62443ade NC |
818 | FETCH_ARG (4, val); |
819 | (*info->fprintf_func) (info->stream, "%s", reg_names[val]); | |
252b5132 RH |
820 | break; |
821 | ||
822 | case 'r': | |
62443ade | 823 | FETCH_ARG (4, regno); |
252b5132 RH |
824 | if (regno > 7) |
825 | (*info->fprintf_func) (info->stream, "%s@", reg_names[regno]); | |
826 | else | |
827 | (*info->fprintf_func) (info->stream, "@(%s)", reg_names[regno]); | |
828 | break; | |
829 | ||
830 | case 'F': | |
62443ade NC |
831 | FETCH_ARG (3, val); |
832 | (*info->fprintf_func) (info->stream, "%%fp%d", val); | |
252b5132 RH |
833 | break; |
834 | ||
835 | case 'O': | |
62443ade | 836 | FETCH_ARG (6, val); |
252b5132 | 837 | if (val & 0x20) |
ec22bdda | 838 | (*info->fprintf_func) (info->stream, "%s", reg_names[val & 7]); |
252b5132 RH |
839 | else |
840 | (*info->fprintf_func) (info->stream, "%d", val); | |
841 | break; | |
842 | ||
843 | case '+': | |
62443ade NC |
844 | FETCH_ARG (3, val); |
845 | (*info->fprintf_func) (info->stream, "%s@+", reg_names[val + 8]); | |
252b5132 RH |
846 | break; |
847 | ||
848 | case '-': | |
62443ade NC |
849 | FETCH_ARG (3, val); |
850 | (*info->fprintf_func) (info->stream, "%s@-", reg_names[val + 8]); | |
252b5132 RH |
851 | break; |
852 | ||
853 | case 'k': | |
854 | if (place == 'k') | |
62443ade NC |
855 | { |
856 | FETCH_ARG (3, val); | |
857 | (*info->fprintf_func) (info->stream, "{%s}", reg_names[val]); | |
858 | } | |
252b5132 RH |
859 | else if (place == 'C') |
860 | { | |
62443ade | 861 | FETCH_ARG (7, val); |
47b0e7ad | 862 | if (val > 63) /* This is a signed constant. */ |
252b5132 RH |
863 | val -= 128; |
864 | (*info->fprintf_func) (info->stream, "{#%d}", val); | |
865 | } | |
866 | else | |
62443ade | 867 | return -1; |
252b5132 RH |
868 | break; |
869 | ||
870 | case '#': | |
871 | case '^': | |
872 | p1 = buffer + (*d == '#' ? 2 : 4); | |
873 | if (place == 's') | |
62443ade | 874 | FETCH_ARG (4, val); |
252b5132 | 875 | else if (place == 'C') |
62443ade | 876 | FETCH_ARG (7, val); |
252b5132 | 877 | else if (place == '8') |
62443ade | 878 | FETCH_ARG (3, val); |
252b5132 | 879 | else if (place == '3') |
62443ade | 880 | FETCH_ARG (8, val); |
252b5132 | 881 | else if (place == 'b') |
62443ade | 882 | NEXTBYTE (p1, val); |
252b5132 | 883 | else if (place == 'w' || place == 'W') |
62443ade | 884 | NEXTWORD (p1, val, -3); |
252b5132 | 885 | else if (place == 'l') |
62443ade | 886 | NEXTLONG (p1, val, -3); |
252b5132 RH |
887 | else |
888 | return -2; | |
62443ade | 889 | |
252b5132 RH |
890 | (*info->fprintf_func) (info->stream, "#%d", val); |
891 | break; | |
892 | ||
893 | case 'B': | |
894 | if (place == 'b') | |
62443ade | 895 | NEXTBYTE (p, disp); |
252b5132 | 896 | else if (place == 'B') |
ec22bdda | 897 | disp = COERCE_SIGNED_CHAR (buffer[1]); |
252b5132 | 898 | else if (place == 'w' || place == 'W') |
62443ade | 899 | NEXTWORD (p, disp, -3); |
252b5132 | 900 | else if (place == 'l' || place == 'L' || place == 'C') |
62443ade | 901 | NEXTLONG (p, disp, -3); |
252b5132 RH |
902 | else if (place == 'g') |
903 | { | |
62443ade | 904 | NEXTBYTE (buffer, disp); |
252b5132 | 905 | if (disp == 0) |
62443ade | 906 | NEXTWORD (p, disp, -3); |
252b5132 | 907 | else if (disp == -1) |
62443ade | 908 | NEXTLONG (p, disp, -3); |
252b5132 RH |
909 | } |
910 | else if (place == 'c') | |
911 | { | |
47b0e7ad | 912 | if (buffer[1] & 0x40) /* If bit six is one, long offset. */ |
62443ade | 913 | NEXTLONG (p, disp, -3); |
252b5132 | 914 | else |
62443ade | 915 | NEXTWORD (p, disp, -3); |
252b5132 RH |
916 | } |
917 | else | |
918 | return -2; | |
919 | ||
920 | (*info->print_address_func) (addr + disp, info); | |
921 | break; | |
922 | ||
923 | case 'd': | |
62443ade NC |
924 | { |
925 | int val1; | |
926 | ||
927 | NEXTWORD (p, val, -3); | |
928 | FETCH_ARG (3, val1); | |
929 | (*info->fprintf_func) (info->stream, "%s@(%d)", reg_names[val1 + 8], val); | |
930 | break; | |
931 | } | |
252b5132 RH |
932 | |
933 | case 's': | |
62443ade NC |
934 | FETCH_ARG (3, val); |
935 | (*info->fprintf_func) (info->stream, "%s", fpcr_names[val]); | |
252b5132 RH |
936 | break; |
937 | ||
fd99574b | 938 | case 'e': |
62443ade | 939 | FETCH_ARG (2, val); |
fd99574b NC |
940 | (*info->fprintf_func) (info->stream, "%%acc%d", val); |
941 | break; | |
942 | ||
943 | case 'g': | |
62443ade NC |
944 | FETCH_ARG (1, val); |
945 | (*info->fprintf_func) (info->stream, "%%accext%s", val == 0 ? "01" : "23"); | |
fd99574b | 946 | break; |
47b0e7ad | 947 | |
fd99574b | 948 | case 'i': |
62443ade | 949 | FETCH_ARG (2, val); |
fd99574b NC |
950 | if (val == 1) |
951 | (*info->fprintf_func) (info->stream, "<<"); | |
952 | else if (val == 3) | |
953 | (*info->fprintf_func) (info->stream, ">>"); | |
be8c092b NC |
954 | else |
955 | return -1; | |
fd99574b NC |
956 | break; |
957 | ||
252b5132 RH |
958 | case 'I': |
959 | /* Get coprocessor ID... */ | |
960 | val = fetch_arg (buffer, 'd', 3, info); | |
62443ade NC |
961 | if (val < 0) |
962 | return -3; | |
47b0e7ad | 963 | if (val != 1) /* Unusual coprocessor ID? */ |
252b5132 RH |
964 | (*info->fprintf_func) (info->stream, "(cpid=%d) ", val); |
965 | break; | |
966 | ||
fd99574b | 967 | case '4': |
252b5132 RH |
968 | case '*': |
969 | case '~': | |
970 | case '%': | |
971 | case ';': | |
972 | case '@': | |
973 | case '!': | |
974 | case '$': | |
975 | case '?': | |
976 | case '/': | |
977 | case '&': | |
978 | case '|': | |
979 | case '<': | |
980 | case '>': | |
981 | case 'm': | |
982 | case 'n': | |
983 | case 'o': | |
984 | case 'p': | |
985 | case 'q': | |
986 | case 'v': | |
3e602632 NC |
987 | case 'b': |
988 | case 'w': | |
989 | case 'y': | |
990 | case 'z': | |
252b5132 RH |
991 | if (place == 'd') |
992 | { | |
993 | val = fetch_arg (buffer, 'x', 6, info); | |
62443ade NC |
994 | if (val < 0) |
995 | return -3; | |
252b5132 RH |
996 | val = ((val & 7) << 3) + ((val >> 3) & 7); |
997 | } | |
998 | else | |
62443ade NC |
999 | { |
1000 | val = fetch_arg (buffer, 's', 6, info); | |
1001 | if (val < 0) | |
1002 | return -3; | |
1003 | } | |
252b5132 | 1004 | |
be8c092b | 1005 | /* If the <ea> is invalid for *d, then reject this match. */ |
8577e690 | 1006 | if (!m68k_valid_ea (*d, val)) |
be8c092b NC |
1007 | return -1; |
1008 | ||
252b5132 RH |
1009 | /* Get register number assuming address register. */ |
1010 | regno = (val & 7) + 8; | |
1011 | regname = reg_names[regno]; | |
1012 | switch (val >> 3) | |
1013 | { | |
1014 | case 0: | |
1015 | (*info->fprintf_func) (info->stream, "%s", reg_names[val]); | |
1016 | break; | |
1017 | ||
1018 | case 1: | |
1019 | (*info->fprintf_func) (info->stream, "%s", regname); | |
1020 | break; | |
1021 | ||
1022 | case 2: | |
1023 | (*info->fprintf_func) (info->stream, "%s@", regname); | |
1024 | break; | |
1025 | ||
1026 | case 3: | |
1027 | (*info->fprintf_func) (info->stream, "%s@+", regname); | |
1028 | break; | |
1029 | ||
1030 | case 4: | |
1031 | (*info->fprintf_func) (info->stream, "%s@-", regname); | |
1032 | break; | |
1033 | ||
1034 | case 5: | |
62443ade | 1035 | NEXTWORD (p, val, -3); |
252b5132 RH |
1036 | (*info->fprintf_func) (info->stream, "%s@(%d)", regname, val); |
1037 | break; | |
1038 | ||
1039 | case 6: | |
1040 | p = print_indexed (regno, p, addr, info); | |
62443ade NC |
1041 | if (p == NULL) |
1042 | return -3; | |
252b5132 RH |
1043 | break; |
1044 | ||
1045 | case 7: | |
1046 | switch (val & 7) | |
1047 | { | |
1048 | case 0: | |
62443ade | 1049 | NEXTWORD (p, val, -3); |
252b5132 RH |
1050 | (*info->print_address_func) (val, info); |
1051 | break; | |
1052 | ||
1053 | case 1: | |
62443ade | 1054 | NEXTULONG (p, uval); |
252b5132 RH |
1055 | (*info->print_address_func) (uval, info); |
1056 | break; | |
1057 | ||
1058 | case 2: | |
62443ade | 1059 | NEXTWORD (p, val, -3); |
252b5132 RH |
1060 | (*info->fprintf_func) (info->stream, "%%pc@("); |
1061 | (*info->print_address_func) (addr + val, info); | |
1062 | (*info->fprintf_func) (info->stream, ")"); | |
1063 | break; | |
1064 | ||
1065 | case 3: | |
1066 | p = print_indexed (-1, p, addr, info); | |
62443ade NC |
1067 | if (p == NULL) |
1068 | return -3; | |
252b5132 RH |
1069 | break; |
1070 | ||
1071 | case 4: | |
1072 | flt_p = 1; /* Assume it's a float... */ | |
ec22bdda | 1073 | switch (place) |
252b5132 RH |
1074 | { |
1075 | case 'b': | |
62443ade | 1076 | NEXTBYTE (p, val); |
252b5132 RH |
1077 | flt_p = 0; |
1078 | break; | |
1079 | ||
1080 | case 'w': | |
62443ade | 1081 | NEXTWORD (p, val, -3); |
252b5132 RH |
1082 | flt_p = 0; |
1083 | break; | |
1084 | ||
1085 | case 'l': | |
62443ade | 1086 | NEXTLONG (p, val, -3); |
252b5132 RH |
1087 | flt_p = 0; |
1088 | break; | |
1089 | ||
1090 | case 'f': | |
ec22bdda | 1091 | NEXTSINGLE (flval, p); |
252b5132 RH |
1092 | break; |
1093 | ||
1094 | case 'F': | |
ec22bdda | 1095 | NEXTDOUBLE (flval, p); |
252b5132 RH |
1096 | break; |
1097 | ||
1098 | case 'x': | |
ec22bdda | 1099 | NEXTEXTEND (flval, p); |
252b5132 RH |
1100 | break; |
1101 | ||
1102 | case 'p': | |
62443ade | 1103 | NEXTPACKED (p, flval); |
252b5132 RH |
1104 | break; |
1105 | ||
1106 | default: | |
1107 | return -1; | |
1108 | } | |
ec22bdda | 1109 | if (flt_p) /* Print a float? */ |
252b5132 RH |
1110 | (*info->fprintf_func) (info->stream, "#%g", flval); |
1111 | else | |
1112 | (*info->fprintf_func) (info->stream, "#%d", val); | |
1113 | break; | |
1114 | ||
1115 | default: | |
1116 | return -1; | |
1117 | } | |
1118 | } | |
fd99574b NC |
1119 | |
1120 | /* If place is '/', then this is the case of the mask bit for | |
1121 | mac/emac loads. Now that the arg has been printed, grab the | |
1122 | mask bit and if set, add a '&' to the arg. */ | |
1123 | if (place == '/') | |
1124 | { | |
62443ade | 1125 | FETCH_ARG (1, val); |
fd99574b | 1126 | if (val) |
be8c092b | 1127 | info->fprintf_func (info->stream, "&"); |
fd99574b | 1128 | } |
252b5132 RH |
1129 | break; |
1130 | ||
1131 | case 'L': | |
1132 | case 'l': | |
1133 | if (place == 'w') | |
1134 | { | |
1135 | char doneany; | |
1136 | p1 = buffer + 2; | |
62443ade | 1137 | NEXTWORD (p1, val, -3); |
252b5132 RH |
1138 | /* Move the pointer ahead if this point is farther ahead |
1139 | than the last. */ | |
1140 | p = p1 > p ? p1 : p; | |
1141 | if (val == 0) | |
1142 | { | |
1143 | (*info->fprintf_func) (info->stream, "#0"); | |
1144 | break; | |
1145 | } | |
1146 | if (*d == 'l') | |
1147 | { | |
47b0e7ad NC |
1148 | int newval = 0; |
1149 | ||
252b5132 RH |
1150 | for (regno = 0; regno < 16; ++regno) |
1151 | if (val & (0x8000 >> regno)) | |
1152 | newval |= 1 << regno; | |
1153 | val = newval; | |
1154 | } | |
1155 | val &= 0xffff; | |
1156 | doneany = 0; | |
1157 | for (regno = 0; regno < 16; ++regno) | |
1158 | if (val & (1 << regno)) | |
1159 | { | |
1160 | int first_regno; | |
47b0e7ad | 1161 | |
252b5132 RH |
1162 | if (doneany) |
1163 | (*info->fprintf_func) (info->stream, "/"); | |
1164 | doneany = 1; | |
1165 | (*info->fprintf_func) (info->stream, "%s", reg_names[regno]); | |
1166 | first_regno = regno; | |
1167 | while (val & (1 << (regno + 1))) | |
1168 | ++regno; | |
1169 | if (regno > first_regno) | |
1170 | (*info->fprintf_func) (info->stream, "-%s", | |
1171 | reg_names[regno]); | |
1172 | } | |
1173 | } | |
1174 | else if (place == '3') | |
1175 | { | |
1176 | /* `fmovem' insn. */ | |
1177 | char doneany; | |
62443ade NC |
1178 | |
1179 | FETCH_ARG (8, val); | |
252b5132 RH |
1180 | if (val == 0) |
1181 | { | |
1182 | (*info->fprintf_func) (info->stream, "#0"); | |
1183 | break; | |
1184 | } | |
1185 | if (*d == 'l') | |
1186 | { | |
47b0e7ad NC |
1187 | int newval = 0; |
1188 | ||
252b5132 RH |
1189 | for (regno = 0; regno < 8; ++regno) |
1190 | if (val & (0x80 >> regno)) | |
1191 | newval |= 1 << regno; | |
1192 | val = newval; | |
1193 | } | |
1194 | val &= 0xff; | |
1195 | doneany = 0; | |
1196 | for (regno = 0; regno < 8; ++regno) | |
1197 | if (val & (1 << regno)) | |
1198 | { | |
1199 | int first_regno; | |
1200 | if (doneany) | |
1201 | (*info->fprintf_func) (info->stream, "/"); | |
1202 | doneany = 1; | |
1203 | (*info->fprintf_func) (info->stream, "%%fp%d", regno); | |
1204 | first_regno = regno; | |
1205 | while (val & (1 << (regno + 1))) | |
1206 | ++regno; | |
1207 | if (regno > first_regno) | |
1208 | (*info->fprintf_func) (info->stream, "-%%fp%d", regno); | |
1209 | } | |
1210 | } | |
1211 | else if (place == '8') | |
1212 | { | |
62443ade | 1213 | FETCH_ARG (3, val); |
47b0e7ad | 1214 | /* fmoveml for FP status registers. */ |
62443ade | 1215 | (*info->fprintf_func) (info->stream, "%s", fpcr_names[val]); |
252b5132 RH |
1216 | } |
1217 | else | |
1218 | return -2; | |
1219 | break; | |
1220 | ||
1221 | case 'X': | |
1222 | place = '8'; | |
1223 | case 'Y': | |
1224 | case 'Z': | |
1225 | case 'W': | |
1226 | case '0': | |
1227 | case '1': | |
1228 | case '2': | |
1229 | case '3': | |
1230 | { | |
62443ade | 1231 | int val; |
252b5132 | 1232 | char *name = 0; |
47b0e7ad | 1233 | |
62443ade | 1234 | FETCH_ARG (5, val); |
252b5132 RH |
1235 | switch (val) |
1236 | { | |
1237 | case 2: name = "%tt0"; break; | |
1238 | case 3: name = "%tt1"; break; | |
1239 | case 0x10: name = "%tc"; break; | |
1240 | case 0x11: name = "%drp"; break; | |
1241 | case 0x12: name = "%srp"; break; | |
1242 | case 0x13: name = "%crp"; break; | |
1243 | case 0x14: name = "%cal"; break; | |
1244 | case 0x15: name = "%val"; break; | |
1245 | case 0x16: name = "%scc"; break; | |
1246 | case 0x17: name = "%ac"; break; | |
1247 | case 0x18: name = "%psr"; break; | |
1248 | case 0x19: name = "%pcsr"; break; | |
1249 | case 0x1c: | |
1250 | case 0x1d: | |
1251 | { | |
1252 | int break_reg = ((buffer[3] >> 2) & 7); | |
47b0e7ad | 1253 | |
252b5132 RH |
1254 | (*info->fprintf_func) |
1255 | (info->stream, val == 0x1c ? "%%bad%d" : "%%bac%d", | |
1256 | break_reg); | |
1257 | } | |
1258 | break; | |
1259 | default: | |
1260 | (*info->fprintf_func) (info->stream, "<mmu register %d>", val); | |
1261 | } | |
1262 | if (name) | |
1263 | (*info->fprintf_func) (info->stream, "%s", name); | |
1264 | } | |
1265 | break; | |
1266 | ||
1267 | case 'f': | |
1268 | { | |
62443ade | 1269 | int fc; |
47b0e7ad | 1270 | |
62443ade | 1271 | FETCH_ARG (5, fc); |
252b5132 RH |
1272 | if (fc == 1) |
1273 | (*info->fprintf_func) (info->stream, "%%dfc"); | |
1274 | else if (fc == 0) | |
1275 | (*info->fprintf_func) (info->stream, "%%sfc"); | |
1276 | else | |
1277 | /* xgettext:c-format */ | |
1278 | (*info->fprintf_func) (info->stream, _("<function code %d>"), fc); | |
1279 | } | |
1280 | break; | |
1281 | ||
1282 | case 'V': | |
1283 | (*info->fprintf_func) (info->stream, "%%val"); | |
1284 | break; | |
1285 | ||
1286 | case 't': | |
1287 | { | |
62443ade | 1288 | int level; |
47b0e7ad | 1289 | |
62443ade | 1290 | FETCH_ARG (3, level); |
252b5132 RH |
1291 | (*info->fprintf_func) (info->stream, "%d", level); |
1292 | } | |
1293 | break; | |
1294 | ||
461d5ddd ILT |
1295 | case 'u': |
1296 | { | |
1297 | short is_upper = 0; | |
62443ade | 1298 | int reg; |
3e602632 | 1299 | |
62443ade | 1300 | FETCH_ARG (5, reg); |
461d5ddd ILT |
1301 | if (reg & 0x10) |
1302 | { | |
1303 | is_upper = 1; | |
1304 | reg &= 0xf; | |
1305 | } | |
1306 | (*info->fprintf_func) (info->stream, "%s%s", | |
be8c092b | 1307 | reg_half_names[reg], |
461d5ddd ILT |
1308 | is_upper ? "u" : "l"); |
1309 | } | |
1310 | break; | |
3e602632 | 1311 | |
252b5132 RH |
1312 | default: |
1313 | return -2; | |
1314 | } | |
1315 | ||
1316 | return p - p0; | |
1317 | } | |
1318 | ||
47b0e7ad NC |
1319 | /* Try to match the current instruction to best and if so, return the |
1320 | number of bytes consumed from the instruction stream, else zero. */ | |
252b5132 RH |
1321 | |
1322 | static int | |
47b0e7ad NC |
1323 | match_insn_m68k (bfd_vma memaddr, |
1324 | disassemble_info * info, | |
a596001e | 1325 | const struct m68k_opcode * best) |
252b5132 | 1326 | { |
47b0e7ad NC |
1327 | unsigned char *save_p; |
1328 | unsigned char *p; | |
1329 | const char *d; | |
afa2158f | 1330 | const char *args = best->args; |
be8c092b | 1331 | |
a596001e | 1332 | struct private *priv = (struct private *) info->private_data; |
47b0e7ad NC |
1333 | bfd_byte *buffer = priv->the_buffer; |
1334 | fprintf_ftype save_printer = info->fprintf_func; | |
1335 | void (* save_print_address) (bfd_vma, struct disassemble_info *) | |
1336 | = info->print_address_func; | |
fd99574b | 1337 | |
afa2158f NS |
1338 | if (*args == '.') |
1339 | args++; | |
1340 | ||
47b0e7ad NC |
1341 | /* Point at first word of argument data, |
1342 | and at descriptor for first argument. */ | |
1343 | p = buffer + 2; | |
fd99574b | 1344 | |
47b0e7ad NC |
1345 | /* Figure out how long the fixed-size portion of the instruction is. |
1346 | The only place this is stored in the opcode table is | |
1347 | in the arguments--look for arguments which specify fields in the 2nd | |
1348 | or 3rd words of the instruction. */ | |
afa2158f | 1349 | for (d = args; *d; d += 2) |
47b0e7ad NC |
1350 | { |
1351 | /* I don't think it is necessary to be checking d[0] here; | |
1352 | I suspect all this could be moved to the case statement below. */ | |
1353 | if (d[0] == '#') | |
1354 | { | |
1355 | if (d[1] == 'l' && p - buffer < 6) | |
1356 | p = buffer + 6; | |
1357 | else if (p - buffer < 4 && d[1] != 'C' && d[1] != '8') | |
1358 | p = buffer + 4; | |
1359 | } | |
fd99574b | 1360 | |
47b0e7ad NC |
1361 | if ((d[0] == 'L' || d[0] == 'l') && d[1] == 'w' && p - buffer < 4) |
1362 | p = buffer + 4; | |
fd99574b | 1363 | |
47b0e7ad NC |
1364 | switch (d[1]) |
1365 | { | |
1366 | case '1': | |
1367 | case '2': | |
1368 | case '3': | |
1369 | case '7': | |
1370 | case '8': | |
1371 | case '9': | |
1372 | case 'i': | |
1373 | if (p - buffer < 4) | |
1374 | p = buffer + 4; | |
1375 | break; | |
1376 | case '4': | |
1377 | case '5': | |
1378 | case '6': | |
1379 | if (p - buffer < 6) | |
1380 | p = buffer + 6; | |
1381 | break; | |
1382 | default: | |
1383 | break; | |
1384 | } | |
1385 | } | |
252b5132 | 1386 | |
47b0e7ad NC |
1387 | /* pflusha is an exceptions. It takes no arguments but is two words |
1388 | long. Recognize it by looking at the lower 16 bits of the mask. */ | |
1389 | if (p - buffer < 4 && (best->match & 0xFFFF) != 0) | |
1390 | p = buffer + 4; | |
252b5132 | 1391 | |
47b0e7ad NC |
1392 | /* lpstop is another exception. It takes a one word argument but is |
1393 | three words long. */ | |
1394 | if (p - buffer < 6 | |
1395 | && (best->match & 0xffff) == 0xffff | |
afa2158f NS |
1396 | && args[0] == '#' |
1397 | && args[1] == 'w') | |
47b0e7ad NC |
1398 | { |
1399 | /* Copy the one word argument into the usual location for a one | |
1400 | word argument, to simplify printing it. We can get away with | |
1401 | this because we know exactly what the second word is, and we | |
1402 | aren't going to print anything based on it. */ | |
1403 | p = buffer + 6; | |
1404 | FETCH_DATA (info, p); | |
1405 | buffer[2] = buffer[4]; | |
1406 | buffer[3] = buffer[5]; | |
1407 | } | |
252b5132 | 1408 | |
47b0e7ad | 1409 | FETCH_DATA (info, p); |
3e602632 | 1410 | |
47b0e7ad NC |
1411 | save_p = p; |
1412 | info->print_address_func = dummy_print_address; | |
1413 | info->fprintf_func = (fprintf_ftype) dummy_printer; | |
252b5132 | 1414 | |
47b0e7ad NC |
1415 | /* We scan the operands twice. The first time we don't print anything, |
1416 | but look for errors. */ | |
afa2158f | 1417 | for (d = args; *d; d += 2) |
47b0e7ad NC |
1418 | { |
1419 | int eaten = print_insn_arg (d, buffer, p, memaddr + (p - buffer), info); | |
252b5132 | 1420 | |
47b0e7ad NC |
1421 | if (eaten >= 0) |
1422 | p += eaten; | |
9f7678f6 | 1423 | else if (eaten == -1 || eaten == -3) |
47b0e7ad NC |
1424 | { |
1425 | info->fprintf_func = save_printer; | |
1426 | info->print_address_func = save_print_address; | |
1427 | return 0; | |
1428 | } | |
1429 | else | |
1430 | { | |
f095b97b JW |
1431 | /* We must restore the print functions before trying to print the |
1432 | error message. */ | |
1433 | info->fprintf_func = save_printer; | |
1434 | info->print_address_func = save_print_address; | |
47b0e7ad NC |
1435 | info->fprintf_func (info->stream, |
1436 | /* xgettext:c-format */ | |
1437 | _("<internal error in opcode table: %s %s>\n"), | |
62443ade | 1438 | best->name, best->args); |
47b0e7ad NC |
1439 | return 2; |
1440 | } | |
1441 | } | |
461d5ddd | 1442 | |
47b0e7ad NC |
1443 | p = save_p; |
1444 | info->fprintf_func = save_printer; | |
1445 | info->print_address_func = save_print_address; | |
461d5ddd | 1446 | |
afa2158f | 1447 | d = args; |
461d5ddd | 1448 | |
47b0e7ad | 1449 | info->fprintf_func (info->stream, "%s", best->name); |
461d5ddd | 1450 | |
47b0e7ad NC |
1451 | if (*d) |
1452 | info->fprintf_func (info->stream, " "); | |
461d5ddd | 1453 | |
47b0e7ad NC |
1454 | while (*d) |
1455 | { | |
1456 | p += print_insn_arg (d, buffer, p, memaddr + (p - buffer), info); | |
1457 | d += 2; | |
461d5ddd | 1458 | |
47b0e7ad NC |
1459 | if (*d && *(d - 2) != 'I' && *d != 'k') |
1460 | info->fprintf_func (info->stream, ","); | |
252b5132 RH |
1461 | } |
1462 | ||
47b0e7ad | 1463 | return p - buffer; |
252b5132 RH |
1464 | } |
1465 | ||
a596001e RS |
1466 | /* Try to interpret the instruction at address MEMADDR as one that |
1467 | can execute on a processor with the features given by ARCH_MASK. | |
1468 | If successful, print the instruction to INFO->STREAM and return | |
1469 | its length in bytes. Return 0 otherwise. */ | |
252b5132 | 1470 | |
a596001e RS |
1471 | static int |
1472 | m68k_scan_mask (bfd_vma memaddr, disassemble_info *info, | |
1473 | unsigned int arch_mask) | |
252b5132 | 1474 | { |
47b0e7ad NC |
1475 | int i; |
1476 | const char *d; | |
47b0e7ad | 1477 | static const struct m68k_opcode **opcodes[16]; |
a596001e | 1478 | static int numopcodes[16]; |
47b0e7ad | 1479 | int val; |
a596001e RS |
1480 | int major_opcode; |
1481 | ||
1482 | struct private *priv = (struct private *) info->private_data; | |
1483 | bfd_byte *buffer = priv->the_buffer; | |
252b5132 | 1484 | |
47b0e7ad | 1485 | if (!opcodes[0]) |
252b5132 | 1486 | { |
47b0e7ad NC |
1487 | /* Speed up the matching by sorting the opcode |
1488 | table on the upper four bits of the opcode. */ | |
1489 | const struct m68k_opcode **opc_pointer[16]; | |
252b5132 | 1490 | |
47b0e7ad NC |
1491 | /* First count how many opcodes are in each of the sixteen buckets. */ |
1492 | for (i = 0; i < m68k_numopcodes; i++) | |
1493 | numopcodes[(m68k_opcodes[i].opcode >> 28) & 15]++; | |
252b5132 | 1494 | |
47b0e7ad NC |
1495 | /* Then create a sorted table of pointers |
1496 | that point into the unsorted table. */ | |
1497 | opc_pointer[0] = xmalloc (sizeof (struct m68k_opcode *) | |
1498 | * m68k_numopcodes); | |
1499 | opcodes[0] = opc_pointer[0]; | |
252b5132 | 1500 | |
47b0e7ad NC |
1501 | for (i = 1; i < 16; i++) |
1502 | { | |
1503 | opc_pointer[i] = opc_pointer[i - 1] + numopcodes[i - 1]; | |
1504 | opcodes[i] = opc_pointer[i]; | |
1505 | } | |
252b5132 | 1506 | |
47b0e7ad NC |
1507 | for (i = 0; i < m68k_numopcodes; i++) |
1508 | *opc_pointer[(m68k_opcodes[i].opcode >> 28) & 15]++ = &m68k_opcodes[i]; | |
252b5132 RH |
1509 | } |
1510 | ||
47b0e7ad NC |
1511 | FETCH_DATA (info, buffer + 2); |
1512 | major_opcode = (buffer[0] >> 4) & 15; | |
252b5132 | 1513 | |
47b0e7ad NC |
1514 | for (i = 0; i < numopcodes[major_opcode]; i++) |
1515 | { | |
1516 | const struct m68k_opcode *opc = opcodes[major_opcode][i]; | |
1517 | unsigned long opcode = opc->opcode; | |
1518 | unsigned long match = opc->match; | |
afa2158f NS |
1519 | const char *args = opc->args; |
1520 | ||
1521 | if (*args == '.') | |
1522 | args++; | |
252b5132 | 1523 | |
47b0e7ad NC |
1524 | if (((0xff & buffer[0] & (match >> 24)) == (0xff & (opcode >> 24))) |
1525 | && ((0xff & buffer[1] & (match >> 16)) == (0xff & (opcode >> 16))) | |
1526 | /* Only fetch the next two bytes if we need to. */ | |
1527 | && (((0xffff & match) == 0) | |
1528 | || | |
1529 | (FETCH_DATA (info, buffer + 4) | |
1530 | && ((0xff & buffer[2] & (match >> 8)) == (0xff & (opcode >> 8))) | |
1531 | && ((0xff & buffer[3] & match) == (0xff & opcode))) | |
1532 | ) | |
1533 | && (opc->arch & arch_mask) != 0) | |
1534 | { | |
1535 | /* Don't use for printout the variants of divul and divsl | |
1536 | that have the same register number in two places. | |
1537 | The more general variants will match instead. */ | |
afa2158f | 1538 | for (d = args; *d; d += 2) |
47b0e7ad NC |
1539 | if (d[1] == 'D') |
1540 | break; | |
252b5132 | 1541 | |
47b0e7ad NC |
1542 | /* Don't use for printout the variants of most floating |
1543 | point coprocessor instructions which use the same | |
1544 | register number in two places, as above. */ | |
1545 | if (*d == '\0') | |
afa2158f | 1546 | for (d = args; *d; d += 2) |
47b0e7ad NC |
1547 | if (d[1] == 't') |
1548 | break; | |
252b5132 | 1549 | |
47b0e7ad NC |
1550 | /* Don't match fmovel with more than one register; |
1551 | wait for fmoveml. */ | |
1552 | if (*d == '\0') | |
1553 | { | |
afa2158f | 1554 | for (d = args; *d; d += 2) |
47b0e7ad NC |
1555 | { |
1556 | if (d[0] == 's' && d[1] == '8') | |
1557 | { | |
1558 | val = fetch_arg (buffer, d[1], 3, info); | |
62443ade NC |
1559 | if (val < 0) |
1560 | return 0; | |
47b0e7ad NC |
1561 | if ((val & (val - 1)) != 0) |
1562 | break; | |
1563 | } | |
1564 | } | |
1565 | } | |
252b5132 | 1566 | |
dc82c973 AS |
1567 | /* Don't match FPU insns with non-default coprocessor ID. */ |
1568 | if (*d == '\0') | |
1569 | { | |
afa2158f | 1570 | for (d = args; *d; d += 2) |
dc82c973 AS |
1571 | { |
1572 | if (d[0] == 'I') | |
1573 | { | |
1574 | val = fetch_arg (buffer, 'd', 3, info); | |
1575 | if (val != 1) | |
1576 | break; | |
1577 | } | |
1578 | } | |
1579 | } | |
1580 | ||
47b0e7ad | 1581 | if (*d == '\0') |
a596001e | 1582 | if ((val = match_insn_m68k (memaddr, info, opc))) |
47b0e7ad NC |
1583 | return val; |
1584 | } | |
252b5132 | 1585 | } |
a596001e RS |
1586 | return 0; |
1587 | } | |
1588 | ||
1589 | /* Print the m68k instruction at address MEMADDR in debugged memory, | |
1590 | on INFO->STREAM. Returns length of the instruction, in bytes. */ | |
1591 | ||
1592 | int | |
1593 | print_insn_m68k (bfd_vma memaddr, disassemble_info *info) | |
1594 | { | |
1595 | unsigned int arch_mask; | |
1596 | struct private priv; | |
1597 | int val; | |
1598 | ||
1599 | bfd_byte *buffer = priv.the_buffer; | |
1600 | ||
62443ade | 1601 | info->private_data = & priv; |
a596001e RS |
1602 | /* Tell objdump to use two bytes per chunk |
1603 | and six bytes per line for displaying raw data. */ | |
1604 | info->bytes_per_chunk = 2; | |
1605 | info->bytes_per_line = 6; | |
1606 | info->display_endian = BFD_ENDIAN_BIG; | |
1607 | priv.max_fetched = priv.the_buffer; | |
1608 | priv.insn_start = memaddr; | |
1609 | ||
a596001e RS |
1610 | arch_mask = bfd_m68k_mach_to_features (info->mach); |
1611 | if (!arch_mask) | |
1612 | { | |
1613 | /* First try printing an m680x0 instruction. Try printing a Coldfire | |
1614 | one if that fails. */ | |
1615 | val = m68k_scan_mask (memaddr, info, m68k_mask); | |
62443ade NC |
1616 | if (val == 0) |
1617 | val = m68k_scan_mask (memaddr, info, mcf_mask); | |
a596001e RS |
1618 | } |
1619 | else | |
1620 | { | |
1621 | val = m68k_scan_mask (memaddr, info, arch_mask); | |
a596001e | 1622 | } |
47b0e7ad | 1623 | |
62443ade NC |
1624 | if (val == 0) |
1625 | /* Handle undefined instructions. */ | |
1626 | info->fprintf_func (info->stream, "0%o", (buffer[0] << 8) + buffer[1]); | |
1627 | ||
62443ade | 1628 | return val ? val : 2; |
252b5132 | 1629 | } |