1 /* Print m68k instructions for GDB, the GNU debugger.
2 Copyright (C) 1986, 1987, 1989 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
25 #include "m68k-opcode.h"
28 /* 68k instructions are never longer than this many bytes. */
31 /* Number of elements in the opcode table. */
32 #define NOPCODES (sizeof m68k_opcodes / sizeof m68k_opcodes[0])
34 extern char *reg_names[];
35 char *fpcr_names[] = { "", "fpiar", "fpsr", "fpiar/fpsr", "fpcr",
36 "fpiar/fpcr", "fpsr/fpcr", "fpiar-fpcr"};
38 static unsigned char *print_insn_arg ();
39 static unsigned char *print_indexed ();
40 static void print_base ();
41 static int fetch_arg ();
43 #define NEXTBYTE(p) (p += 2, ((char *)p)[-1])
46 (p += 2, ((((char *)p)[-2]) << 8) + p[-1])
49 (p += 4, (((((p[-4] << 8) + p[-3]) << 8) + p[-2]) << 8) + p[-1])
51 #define NEXTSINGLE(p) \
52 (p += 4, *((float *)(p - 4)))
54 #define NEXTDOUBLE(p) \
55 (p += 8, *((double *)(p - 8)))
57 #define NEXTEXTEND(p) \
58 (p += 12, 0.0) /* Need a function to convert from extended to double
61 #define NEXTPACKED(p) \
62 (p += 12, 0.0) /* Need a function to convert from packed to double
63 precision. Actually, it's easier to print a
64 packed number than a double anyway, so maybe
65 there should be a special case to handle this... */
67 /* Print the m68k instruction at address MEMADDR in debugged memory,
68 on STREAM. Returns length of the instruction, in bytes. */
71 print_insn (memaddr, stream)
75 unsigned char buffer[MAXLEN];
77 register unsigned char *p;
79 register int bestmask;
82 read_memory (memaddr, buffer, MAXLEN);
86 for (i = 0; i < NOPCODES; i++)
88 register unsigned int opcode = m68k_opcodes[i].opcode;
89 register unsigned int match = m68k_opcodes[i].match;
90 if (((0xff & buffer[0] & (match >> 24)) == (0xff & (opcode >> 24)))
91 && ((0xff & buffer[1] & (match >> 16)) == (0xff & (opcode >> 16)))
92 && ((0xff & buffer[2] & (match >> 8)) == (0xff & (opcode >> 8)))
93 && ((0xff & buffer[3] & match) == (0xff & opcode)))
95 /* Don't use for printout the variants of divul and divsl
96 that have the same register number in two places.
97 The more general variants will match instead. */
98 for (d = m68k_opcodes[i].args; *d; d += 2)
102 /* Don't use for printout the variants of most floating
103 point coprocessor instructions which use the same
104 register number in two places, as above. */
106 for (d = m68k_opcodes[i].args; *d; d += 2)
110 if (*d == 0 && match > bestmask)
118 /* Handle undefined instructions. */
121 fprintf_filtered (stream, "0%o", (buffer[0] << 8) + buffer[1]);
125 fprintf_filtered (stream, "%s", m68k_opcodes[best].name);
127 /* Point at first word of argument data,
128 and at descriptor for first argument. */
131 /* Why do this this way? -MelloN */
132 for (d = m68k_opcodes[best].args; *d; d += 2)
136 if (d[1] == 'l' && p - buffer < 6)
138 else if (p - buffer < 4 && d[1] != 'C' && d[1] != '8' )
141 if (d[1] >= '1' && d[1] <= '3' && p - buffer < 4)
143 if (d[1] >= '4' && d[1] <= '6' && p - buffer < 6)
145 if ((d[0] == 'L' || d[0] == 'l') && d[1] == 'w' && p - buffer < 4)
149 d = m68k_opcodes[best].args;
152 fputs_filtered (" ", stream);
156 p = print_insn_arg (d, buffer, p, memaddr + p - buffer, stream);
158 if (*d && *(d - 2) != 'I' && *d != 'k')
159 fputs_filtered (",", stream);
164 static unsigned char *
165 print_insn_arg (d, buffer, p, addr, stream)
167 unsigned char *buffer;
168 register unsigned char *p;
169 CORE_ADDR addr; /* PC for this arg to be relative to */
173 register int place = d[1];
175 register char *regname;
176 register unsigned char *p1;
177 register double flval;
183 fprintf_filtered (stream, "ccr");
187 fprintf_filtered (stream, "sr");
191 fprintf_filtered (stream, "usp");
196 static struct { char *name; int value; } names[]
197 = {{"sfc", 0x000}, {"dfc", 0x001}, {"cacr", 0x002},
198 {"usp", 0x800}, {"vbr", 0x801}, {"caar", 0x802},
199 {"msp", 0x803}, {"isp", 0x804}};
201 val = fetch_arg (buffer, place, 12);
202 for (regno = sizeof names / sizeof names[0] - 1; regno >= 0; regno--)
203 if (names[regno].value == val)
205 fprintf_filtered (stream, names[regno].name);
209 fprintf_filtered (stream, "%d", val);
214 val = fetch_arg (buffer, place, 3);
215 /* 0 means 8, except for the bkpt instruction... */
216 if (val == 0 && d[1] != 's')
218 fprintf_filtered (stream, "#%d", val);
222 val = fetch_arg (buffer, place, 8);
225 fprintf_filtered (stream, "#%d", val);
229 val = fetch_arg (buffer, place, 4);
230 fprintf_filtered (stream, "#%d", val);
234 fprintf_filtered (stream, "%s", reg_names[fetch_arg (buffer, place, 3)]);
238 fprintf_filtered (stream, "%s",
239 reg_names[fetch_arg (buffer, place, 3) + 010]);
243 fprintf_filtered (stream, "%s", reg_names[fetch_arg (buffer, place, 4)]);
247 fprintf_filtered (stream, "fp%d", fetch_arg (buffer, place, 3));
251 val = fetch_arg (buffer, place, 6);
253 fprintf_filtered (stream, "%s", reg_names [val & 7]);
255 fprintf_filtered (stream, "%d", val);
259 fprintf_filtered (stream, "%s@+",
260 reg_names[fetch_arg (buffer, place, 3) + 8]);
264 fprintf_filtered (stream, "%s@-",
265 reg_names[fetch_arg (buffer, place, 3) + 8]);
270 fprintf_filtered (stream, "{%s}", reg_names[fetch_arg (buffer, place, 3)]);
271 else if (place == 'C')
273 val = fetch_arg (buffer, place, 7);
274 if ( val > 63 ) /* This is a signed constant. */
276 fprintf_filtered (stream, "{#%d}", val);
279 error ("Invalid arg format in opcode table: \"%c%c\".",
285 p1 = buffer + (*d == '#' ? 2 : 4);
287 val = fetch_arg (buffer, place, 4);
288 else if (place == 'C')
289 val = fetch_arg (buffer, place, 7);
290 else if (place == '8')
291 val = fetch_arg (buffer, place, 3);
292 else if (place == '3')
293 val = fetch_arg (buffer, place, 8);
294 else if (place == 'b')
296 else if (place == 'w')
298 else if (place == 'l')
301 error ("Invalid arg format in opcode table: \"%c%c\".",
303 fprintf_filtered (stream, "#%d", val);
309 else if (place == 'B')
311 else if (place == 'w' || place == 'W')
313 else if (place == 'l' || place == 'L')
315 else if (place == 'g')
317 val = ((char *)buffer)[1];
323 else if (place == 'c')
325 if (buffer[1] & 0x40) /* If bit six is one, long offset */
331 error ("Invalid arg format in opcode table: \"%c%c\".",
334 print_address (addr + val, stream);
339 fprintf_filtered (stream, "%s@(%d)",
340 reg_names[fetch_arg (buffer, place, 3)], val);
344 fprintf_filtered (stream, "%s",
345 fpcr_names[fetch_arg (buffer, place, 3)]);
349 val = fetch_arg (buffer, 'd', 3); /* Get coprocessor ID... */
350 if (val != 1) /* Unusual coprocessor ID? */
351 fprintf_filtered (stream, "(cpid=%d) ", val);
353 p += 2; /* Skip coprocessor extended operands */
369 val = fetch_arg (buffer, 'x', 6);
370 val = ((val & 7) << 3) + ((val >> 3) & 7);
373 val = fetch_arg (buffer, 's', 6);
375 /* Get register number assuming address register. */
376 regno = (val & 7) + 8;
377 regname = reg_names[regno];
381 fprintf_filtered (stream, "%s", reg_names[val]);
385 fprintf_filtered (stream, "%s", regname);
389 fprintf_filtered (stream, "%s@", regname);
393 fprintf_filtered (stream, "%s@+", regname);
397 fprintf_filtered (stream, "%s@-", regname);
402 fprintf_filtered (stream, "%s@(%d)", regname, val);
406 p = print_indexed (regno, p, addr, stream);
414 fprintf_filtered (stream, "@#");
415 print_address (val, stream);
420 fprintf_filtered (stream, "@#");
421 print_address (val, stream);
426 print_address (addr + val, stream);
430 p = print_indexed (-1, p, addr, stream);
434 flt_p = 1; /* Assume it's a float... */
453 flval = NEXTSINGLE(p);
457 flval = NEXTDOUBLE(p);
461 flval = NEXTEXTEND(p);
465 flval = NEXTPACKED(p);
469 error ("Invalid arg format in opcode table: \"%c%c\".",
472 if ( flt_p ) /* Print a float? */
473 fprintf_filtered (stream, "#%g", flval);
475 fprintf_filtered (stream, "#%d", val);
479 fprintf_filtered (stream, "<invalid address mode 0%o>", val);
491 /* Move the pointer ahead if this point is farther ahead
496 fputs_filtered ("#0", stream);
501 register int newval = 0;
502 for (regno = 0; regno < 16; ++regno)
503 if (val & (0x8000 >> regno))
504 newval |= 1 << regno;
509 for (regno = 0; regno < 16; ++regno)
510 if (val & (1 << regno))
514 fputs_filtered ("/", stream);
516 fprintf_filtered (stream, "%s", reg_names[regno]);
518 while (val & (1 << (regno + 1)))
520 if (regno > first_regno)
521 fprintf_filtered (stream, "-%s", reg_names[regno]);
524 else if (place == '3')
528 val = fetch_arg (buffer, place, 8);
531 fputs_filtered ("#0", stream);
536 register int newval = 0;
537 for (regno = 0; regno < 8; ++regno)
538 if (val & (0x80 >> regno))
539 newval |= 1 << regno;
544 for (regno = 0; regno < 8; ++regno)
545 if (val & (1 << regno))
549 fputs_filtered ("/", stream);
551 fprintf_filtered (stream, "fp%d", regno);
553 while (val & (1 << (regno + 1)))
555 if (regno > first_regno)
556 fprintf_filtered (stream, "-fp%d", regno);
564 error ("Invalid arg format in opcode table: \"%c\".", *d);
567 return (unsigned char *) p;
570 /* Fetch BITS bits from a position in the instruction specified by CODE.
571 CODE is a "place to put an argument", or 'x' for a destination
572 that is a general address (mode and register).
573 BUFFER contains the instruction. */
576 fetch_arg (buffer, code, bits)
577 unsigned char *buffer;
588 case 'd': /* Destination, for register or quick. */
589 val = (buffer[0] << 8) + buffer[1];
593 case 'x': /* Destination, for general arg */
594 val = (buffer[0] << 8) + buffer[1];
599 val = (buffer[3] >> 4);
607 val = (buffer[2] << 8) + buffer[3];
612 val = (buffer[2] << 8) + buffer[3];
618 val = (buffer[2] << 8) + buffer[3];
622 val = (buffer[4] << 8) + buffer[5];
627 val = (buffer[4] << 8) + buffer[5];
632 val = (buffer[4] << 8) + buffer[5];
636 val = (buffer[2] << 8) + buffer[3];
641 val = (buffer[2] << 8) + buffer[3];
670 /* Print an indexed argument. The base register is BASEREG (-1 for pc).
671 P points to extension word, in buffer.
672 ADDR is the nominal core address of that extension word. */
674 static unsigned char *
675 print_indexed (basereg, p, addr, stream)
682 static char *scales[] = {"", "*2", "*4", "*8"};
683 register int base_disp;
684 register int outer_disp;
689 /* Generate the text for the index register.
690 Where this will be output is not yet determined. */
691 sprintf (buf, "[%s.%c%s]",
692 reg_names[(word >> 12) & 0xf],
693 (word & 0x800) ? 'l' : 'w',
694 scales[(word >> 9) & 3]);
696 /* Handle the 68000 style of indexing. */
698 if ((word & 0x100) == 0)
701 ((word & 0x80) ? word | 0xff00 : word & 0xff)
702 + ((basereg == -1) ? addr : 0),
704 fputs_filtered (buf, stream);
708 /* Handle the generalized kind. */
709 /* First, compute the displacement to add to the base register. */
716 switch ((word >> 4) & 3)
719 base_disp = NEXTWORD (p);
722 base_disp = NEXTLONG (p);
727 /* Handle single-level case (not indirect) */
731 print_base (basereg, base_disp, stream);
732 fputs_filtered (buf, stream);
736 /* Two level. Compute displacement to add after indirection. */
742 outer_disp = NEXTWORD (p);
745 outer_disp = NEXTLONG (p);
748 fprintf_filtered (stream, "%d(", outer_disp);
749 print_base (basereg, base_disp, stream);
751 /* If postindexed, print the closeparen before the index. */
753 fprintf_filtered (stream, ")%s", buf);
754 /* If preindexed, print the closeparen after the index. */
756 fprintf_filtered (stream, "%s)", buf);
761 /* Print a base register REGNO and displacement DISP, on STREAM.
762 REGNO = -1 for pc, -2 for none (suppressed). */
765 print_base (regno, disp, stream)
771 fprintf_filtered (stream, "%d", disp);
772 else if (regno == -1)
773 fprintf_filtered (stream, "0x%x", disp);
775 fprintf_filtered (stream, "%d(%s)", disp, reg_names[regno]);