1 /* Print m68k instructions for objdump
2 Copyright (C) 1986, 1987, 1989, 1991 Free Software Foundation, Inc.
5 This file is part of the binutils.
7 The binutils are free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 The binutils are distributed in the hope that they will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with the binutils; see the file COPYING. If not, write to
19 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
25 #include "opcode/m68k.h"
28 #define fprintf_filtered fprintf
29 #define fputs_filtered fputs
32 /* Sign-extend an (unsigned char). */
34 #define COERCE_SIGNED_CHAR(ch) ((signed char)(ch))
36 #define COERCE_SIGNED_CHAR(ch) ((int)(((ch) ^ 0x80) & 0xFF) - 128)
39 extern void print_address();
41 /* 68k instructions are never longer than this many bytes. */
44 /* Number of elements in the opcode table. */
45 #define NOPCODES (sizeof m68k_opcodes / sizeof m68k_opcodes[0])
47 extern char *reg_names
[];
48 char *fpcr_names
[] = { "", "fpiar", "fpsr", "fpiar/fpsr", "fpcr",
49 "fpiar/fpcr", "fpsr/fpcr", "fpiar/fpsr/fpcr"};
51 char *reg_names
[] = {"d0", "d1", "d2", "d3", "d4", "d5", "d6", "d7", "a0", "a1", "a2", "a3", "a4", "a5", "fp", "sp", "ps", "pc"};
52 static unsigned char *print_insn_arg ();
53 static unsigned char *print_indexed ();
54 static void print_base ();
55 static int fetch_arg ();
57 #define NEXTBYTE(p) (p += 2, COERCE_SIGNED_CHAR(p[-1]))
60 (p += 2, ((((char *)p)[-2]) << 8) + p[-1])
63 (p += 4, (((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1])
65 /* NEXTSINGLE and NEXTDOUBLE handle alignment problems, but not
66 * byte-swapping or other float format differences. FIXME! */
74 #define NEXTSINGLE(val, p) \
75 { int i; union number u;\
76 for (i = 0; i < sizeof(float); i++) u.c[i] = *p++; \
79 #define NEXTDOUBLE(val, p) \
80 { int i; union number u;\
81 for (i = 0; i < sizeof(double); i++) u.c[i] = *p++; \
84 #define NEXTEXTEND(p) \
85 (p += 12, 0.0) /* Need a function to convert from extended to double
88 #define NEXTPACKED(p) \
89 (p += 12, 0.0) /* Need a function to convert from packed to double
90 precision. Actually, it's easier to print a
91 packed number than a double anyway, so maybe
92 there should be a special case to handle this... */
94 /* Print the m68k instruction at address MEMADDR in debugged memory,
95 on STREAM. Returns length of the instruction, in bytes. */
98 print_insn_m68k(addr
, buffer
, stream
)
100 unsigned char *buffer
;
103 register unsigned int i
;
104 register unsigned char *p
;
106 register unsigned int bestmask
;
113 for (i
= 0; i
< NOPCODES
; i
++)
115 register unsigned int opcode
= m68k_opcodes
[i
].opcode
;
116 register unsigned int match
= m68k_opcodes
[i
].match
;
117 if (((0xff & buffer
[0] & (match
>> 24)) == (0xff & (opcode
>> 24)))
118 && ((0xff & buffer
[1] & (match
>> 16)) == (0xff & (opcode
>> 16)))
119 && ((0xff & buffer
[2] & (match
>> 8)) == (0xff & (opcode
>> 8)))
120 && ((0xff & buffer
[3] & match
) == (0xff & opcode
)))
122 /* Don't use for printout the variants of divul and divsl
123 that have the same register number in two places.
124 The more general variants will match instead. */
125 for (d
= m68k_opcodes
[i
].args
; *d
; d
+= 2)
129 /* Don't use for printout the variants of most floating
130 point coprocessor instructions which use the same
131 register number in two places, as above. */
133 for (d
= m68k_opcodes
[i
].args
; *d
; d
+= 2)
137 if (*d
== 0 && match
> bestmask
)
145 /* Handle undefined instructions. */
148 fprintf_filtered (stream
, "0%o", (unsigned) (buffer
[0] << 8) + buffer
[1]);
152 fprintf_filtered (stream
, "%s", m68k_opcodes
[best
].name
);
154 /* Point at first word of argument data,
155 and at descriptor for first argument. */
158 /* Why do this this way? -MelloN */
159 for (d
= m68k_opcodes
[best
].args
; *d
; d
+= 2)
163 if (d
[1] == 'l' && p
- buffer
< 6)
165 else if (p
- buffer
< 4 && d
[1] != 'C' && d
[1] != '8' )
168 if (d
[1] >= '1' && d
[1] <= '3' && p
- buffer
< 4)
170 if (d
[1] >= '4' && d
[1] <= '6' && p
- buffer
< 6)
172 if ((d
[0] == 'L' || d
[0] == 'l') && d
[1] == 'w' && p
- buffer
< 4)
176 d
= m68k_opcodes
[best
].args
;
179 fputs_filtered (" ", stream
);
183 p
= print_insn_arg (d
, buffer
, p
, addr
+ p
- buffer
, stream
);
185 if (*d
&& *(d
- 2) != 'I' && *d
!= 'k')
186 fputs_filtered (",", stream
);
191 static unsigned char *
192 print_insn_arg (d
, buffer
, p
, addr
, stream
)
194 unsigned char *buffer
;
195 register unsigned char *p
;
196 bfd_vma addr
; /* PC for this arg to be relative to */
199 register int val
= 0;
200 register int place
= d
[1];
202 register char *regname
;
203 register unsigned char *p1
;
204 register double flval
= 0;
210 fprintf_filtered (stream
, "ccr");
214 fprintf_filtered (stream
, "sr");
218 fprintf_filtered (stream
, "usp");
223 static struct { char *name
; int value
; } names
[]
224 = {{"sfc", 0x000}, {"dfc", 0x001}, {"cacr", 0x002},
225 {"usp", 0x800}, {"vbr", 0x801}, {"caar", 0x802},
226 {"msp", 0x803}, {"isp", 0x804}};
228 val
= fetch_arg (buffer
, place
, 12);
229 for (regno
= sizeof names
/ sizeof names
[0] - 1; regno
>= 0; regno
--)
230 if (names
[regno
].value
== val
)
232 fprintf_filtered (stream
, names
[regno
].name
);
236 fprintf_filtered (stream
, "%d", val
);
241 val
= fetch_arg (buffer
, place
, 3);
242 /* 0 means 8, except for the bkpt instruction... */
243 if (val
== 0 && d
[1] != 's')
245 fprintf_filtered (stream
, "#%d", val
);
249 val
= fetch_arg (buffer
, place
, 8);
252 fprintf_filtered (stream
, "#%d", val
);
256 val
= fetch_arg (buffer
, place
, 4);
257 fprintf_filtered (stream
, "#%d", val
);
261 fprintf_filtered (stream
, "%s", reg_names
[fetch_arg (buffer
, place
, 3)]);
265 fprintf_filtered (stream
, "%s",
266 reg_names
[fetch_arg (buffer
, place
, 3) + 010]);
270 fprintf_filtered (stream
, "%s", reg_names
[fetch_arg (buffer
, place
, 4)]);
274 fprintf_filtered (stream
, "%s@", reg_names
[fetch_arg (buffer
, place
, 4)]);
278 fprintf_filtered (stream
, "fp%d", fetch_arg (buffer
, place
, 3));
282 val
= fetch_arg (buffer
, place
, 6);
284 fprintf_filtered (stream
, "%s", reg_names
[val
& 7]);
286 fprintf_filtered (stream
, "%d", val
);
290 fprintf_filtered (stream
, "%s@+",
291 reg_names
[fetch_arg (buffer
, place
, 3) + 8]);
295 fprintf_filtered (stream
, "%s@-",
296 reg_names
[fetch_arg (buffer
, place
, 3) + 8]);
301 fprintf_filtered (stream
, "{%s}", reg_names
[fetch_arg (buffer
, place
, 3)]);
302 else if (place
== 'C')
304 val
= fetch_arg (buffer
, place
, 7);
305 if ( val
> 63 ) /* This is a signed constant. */
307 fprintf_filtered (stream
, "{#%d}", val
);
310 fprintf_filtered(stderr
, "Invalid arg format in opcode table: \"%c%c\".",
316 p1
= buffer
+ (*d
== '#' ? 2 : 4);
318 val
= fetch_arg (buffer
, place
, 4);
319 else if (place
== 'C')
320 val
= fetch_arg (buffer
, place
, 7);
321 else if (place
== '8')
322 val
= fetch_arg (buffer
, place
, 3);
323 else if (place
== '3')
324 val
= fetch_arg (buffer
, place
, 8);
325 else if (place
== 'b')
327 else if (place
== 'w')
329 else if (place
== 'l')
332 fprintf_filtered(stderr
, "Invalid arg format in opcode table: \"%c%c\".",
334 fprintf_filtered (stream
, "#%d", val
);
340 else if (place
== 'B')
341 val
= COERCE_SIGNED_CHAR(buffer
[1]);
342 else if (place
== 'w' || place
== 'W')
344 else if (place
== 'l' || place
== 'L')
346 else if (place
== 'g')
348 val
= ((char *)buffer
)[1];
354 else if (place
== 'c')
356 if (buffer
[1] & 0x40) /* If bit six is one, long offset */
362 fprintf_filtered(stderr
, "Invalid arg format in opcode table: \"%c%c\".",
364 print_address (addr
+ val
, stream
);
369 fprintf_filtered (stream
, "%s@(%d)",
370 reg_names
[fetch_arg (buffer
, place
, 3)], val
);
374 fprintf_filtered (stream
, "%s",
375 fpcr_names
[fetch_arg (buffer
, place
, 3)]);
379 val
= fetch_arg (buffer
, 'd', 3); /* Get coprocessor ID... */
380 if (val
!= 1) /* Unusual coprocessor ID? */
381 fprintf_filtered (stream
, "(cpid=%d) ", val
);
383 p
+= 2; /* Skip coprocessor extended operands */
399 val
= fetch_arg (buffer
, 'x', 6);
400 val
= ((val
& 7) << 3) + ((val
>> 3) & 7);
403 val
= fetch_arg (buffer
, 's', 6);
405 /* Get register number assuming address register. */
406 regno
= (val
& 7) + 8;
407 regname
= reg_names
[regno
];
411 fprintf_filtered (stream
, "%s", reg_names
[val
]);
415 fprintf_filtered (stream
, "%s", regname
);
419 fprintf_filtered (stream
, "%s@", regname
);
423 fprintf_filtered (stream
, "%s@+", regname
);
427 fprintf_filtered (stream
, "%s@-", regname
);
432 fprintf_filtered (stream
, "%s@(%d)", regname
, val
);
436 p
= print_indexed (regno
, p
, addr
, stream
);
444 fprintf_filtered (stream
, "@#");
445 print_address (val
, stream
);
450 fprintf_filtered (stream
, "@#");
451 print_address (val
, stream
);
456 print_address (addr
+ val
, stream
);
460 p
= print_indexed (-1, p
, addr
, stream
);
464 flt_p
= 1; /* Assume it's a float... */
483 NEXTSINGLE(flval
, p
);
487 NEXTDOUBLE(flval
, p
);
491 flval
= NEXTEXTEND(p
);
495 flval
= NEXTPACKED(p
);
499 fprintf_filtered(stderr
, "Invalid arg format in opcode table: \"%c%c\".",
502 if ( flt_p
) /* Print a float? */
503 fprintf_filtered (stream
, "#%g", flval
);
505 fprintf_filtered (stream
, "#%d", val
);
509 fprintf_filtered (stream
, "<invalid address mode 0%o>", (unsigned) val
);
521 /* Move the pointer ahead if this point is farther ahead
526 fputs_filtered ("#0", stream
);
531 register int newval
= 0;
532 for (regno
= 0; regno
< 16; ++regno
)
533 if (val
& (0x8000 >> regno
))
534 newval
|= 1 << regno
;
539 for (regno
= 0; regno
< 16; ++regno
)
540 if (val
& (1 << regno
))
544 fputs_filtered ("/", stream
);
546 fprintf_filtered (stream
, "%s", reg_names
[regno
]);
548 while (val
& (1 << (regno
+ 1)))
550 if (regno
> first_regno
)
551 fprintf_filtered (stream
, "-%s", reg_names
[regno
]);
554 else if (place
== '3')
558 val
= fetch_arg (buffer
, place
, 8);
561 fputs_filtered ("#0", stream
);
566 register int newval
= 0;
567 for (regno
= 0; regno
< 8; ++regno
)
568 if (val
& (0x80 >> regno
))
569 newval
|= 1 << regno
;
574 for (regno
= 0; regno
< 8; ++regno
)
575 if (val
& (1 << regno
))
579 fputs_filtered ("/", stream
);
581 fprintf_filtered (stream
, "fp%d", regno
);
583 while (val
& (1 << (regno
+ 1)))
585 if (regno
> first_regno
)
586 fprintf_filtered (stream
, "-fp%d", regno
);
594 fprintf_filtered(stderr
, "Invalid arg format in opcode table: \"%c\".", *d
);
597 return (unsigned char *) p
;
600 /* Fetch BITS bits from a position in the instruction specified by CODE.
601 CODE is a "place to put an argument", or 'x' for a destination
602 that is a general address (mode and register).
603 BUFFER contains the instruction. */
606 fetch_arg (buffer
, code
, bits
)
607 unsigned char *buffer
;
611 register int val
= 0;
618 case 'd': /* Destination, for register or quick. */
619 val
= (buffer
[0] << 8) + buffer
[1];
623 case 'x': /* Destination, for general arg */
624 val
= (buffer
[0] << 8) + buffer
[1];
629 val
= (buffer
[3] >> 4);
637 val
= (buffer
[2] << 8) + buffer
[3];
642 val
= (buffer
[2] << 8) + buffer
[3];
648 val
= (buffer
[2] << 8) + buffer
[3];
652 val
= (buffer
[4] << 8) + buffer
[5];
657 val
= (buffer
[4] << 8) + buffer
[5];
662 val
= (buffer
[4] << 8) + buffer
[5];
666 val
= (buffer
[2] << 8) + buffer
[3];
671 val
= (buffer
[2] << 8) + buffer
[3];
701 /* Print an indexed argument. The base register is BASEREG (-1 for pc).
702 P points to extension word, in buffer.
703 ADDR is the nominal core address of that extension word. */
705 static unsigned char *
706 print_indexed (basereg
, p
, addr
, stream
)
713 static char *scales
[] = {"", "*2", "*4", "*8"};
714 register int base_disp
;
715 register int outer_disp
;
720 /* Generate the text for the index register.
721 Where this will be output is not yet determined. */
722 sprintf (buf
, "[%s.%c%s]",
723 reg_names
[(word
>> 12) & 0xf],
724 (word
& 0x800) ? 'l' : 'w',
725 scales
[(word
>> 9) & 3]);
727 /* Handle the 68000 style of indexing. */
729 if ((word
& 0x100) == 0)
732 ((word
& 0x80) ? word
| 0xff00 : word
& 0xff)
733 + ((basereg
== -1) ? addr
: 0),
735 fputs_filtered (buf
, stream
);
739 /* Handle the generalized kind. */
740 /* First, compute the displacement to add to the base register. */
747 switch ((word
>> 4) & 3)
750 base_disp
= NEXTWORD (p
);
753 base_disp
= NEXTLONG (p
);
758 /* Handle single-level case (not indirect) */
762 print_base (basereg
, base_disp
, stream
);
763 fputs_filtered (buf
, stream
);
767 /* Two level. Compute displacement to add after indirection. */
773 outer_disp
= NEXTWORD (p
);
776 outer_disp
= NEXTLONG (p
);
779 fprintf_filtered (stream
, "%d(", outer_disp
);
780 print_base (basereg
, base_disp
, stream
);
782 /* If postindexed, print the closeparen before the index. */
784 fprintf_filtered (stream
, ")%s", buf
);
785 /* If preindexed, print the closeparen after the index. */
787 fprintf_filtered (stream
, "%s)", buf
);
792 /* Print a base register REGNO and displacement DISP, on STREAM.
793 REGNO = -1 for pc, -2 for none (suppressed). */
796 print_base (regno
, disp
, stream
)
802 fprintf_filtered (stream
, "%d", disp
);
803 else if (regno
== -1)
804 fprintf_filtered (stream
, "0x%x", (unsigned) disp
);
806 fprintf_filtered (stream
, "%d(%s)", disp
, reg_names
[regno
]);
This page took 0.066085 seconds and 4 git commands to generate.