]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blobdiff - gdb/m88k-tdep.c
* defs.h (extract_signed_integer, extract_unsigned_integer,
[thirdparty/binutils-gdb.git] / gdb / m88k-tdep.c
index f74560e1d834fbe7e29d2c40c4aa2524b0f265c4..6514fe636028aafcd9dfe54503e99b59a3d47711 100644 (file)
-/* Target-machine dependent code for Motorola 88000 series, for GDB.
-   Copyright 1988, 1990, 1991, 1994, 1995 Free Software Foundation, Inc.
+/* Target-dependent code for the Motorola 88000 series.
 
-This file is part of GDB.
+   Copyright (C) 2004, 2005, 2007, 2008, 2009 Free Software Foundation, Inc.
 
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+   This file is part of GDB.
 
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
 
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "defs.h"
+#include "arch-utils.h"
+#include "dis-asm.h"
 #include "frame.h"
-#include "inferior.h"
-#include "value.h"
+#include "frame-base.h"
+#include "frame-unwind.h"
 #include "gdbcore.h"
+#include "gdbtypes.h"
+#include "regcache.h"
+#include "regset.h"
 #include "symtab.h"
-#include "setjmp.h"
+#include "trad-frame.h"
 #include "value.h"
 
-/* Size of an instruction */
-#define        BYTES_PER_88K_INSN      4
+#include "gdb_assert.h"
+#include "gdb_string.h"
 
-void frame_find_saved_regs ();
+#include "m88k-tdep.h"
 
-/* Is this target an m88110?  Otherwise assume m88100.  This has
-   relevance for the ways in which we screw with instruction pointers.  */
+/* Fetch the instruction at PC.  */
 
-int target_is_m88110 = 0;
+static unsigned long
+m88k_fetch_instruction (CORE_ADDR pc, enum bfd_endian byte_order)
+{
+  return read_memory_unsigned_integer (pc, 4, byte_order);
+}
 
-/* Given a GDB frame, determine the address of the calling function's frame.
-   This will be used to create a new GDB frame struct, and then
-   INIT_EXTRA_FRAME_INFO and INIT_FRAME_PC will be called for the new frame.
+/* Register information.  */
 
-   For us, the frame address is its stack pointer value, so we look up
-   the function prologue to determine the caller's sp value, and return it.  */
+/* Return the name of register REGNUM.  */
 
-CORE_ADDR
-frame_chain (thisframe)
-     struct frame_info *thisframe;
+static const char *
+m88k_register_name (struct gdbarch *gdbarch, int regnum)
 {
-
-  frame_find_saved_regs (thisframe, (struct frame_saved_regs *) 0);
-  /* NOTE:  this depends on frame_find_saved_regs returning the VALUE, not
-           the ADDRESS, of SP_REGNUM.  It also depends on the cache of
-           frame_find_saved_regs results.  */
-  if (thisframe->fsr->regs[SP_REGNUM])
-    return thisframe->fsr->regs[SP_REGNUM];
-  else
-    return thisframe->frame;   /* Leaf fn -- next frame up has same SP. */
+  static char *register_names[] =
+  {
+    "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",
+    "r8",  "r9",  "r10", "r11", "r12", "r13", "r14", "r15",
+    "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
+    "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
+    "epsr", "fpsr", "fpcr", "sxip", "snip", "sfip"
+  };
+
+  if (regnum >= 0 && regnum < ARRAY_SIZE (register_names))
+    return register_names[regnum];
+
+  return NULL;
 }
 
-int
-frameless_function_invocation (frame)
-     struct frame_info *frame;
+/* Return the GDB type object for the "standard" data type of data in
+   register REGNUM. */
+
+static struct type *
+m88k_register_type (struct gdbarch *gdbarch, int regnum)
 {
+  /* SXIP, SNIP, SFIP and R1 contain code addresses.  */
+  if ((regnum >= M88K_SXIP_REGNUM && regnum <= M88K_SFIP_REGNUM)
+      || regnum == M88K_R1_REGNUM)
+    return builtin_type (gdbarch)->builtin_func_ptr;
 
-  frame_find_saved_regs (frame, (struct frame_saved_regs *) 0);
-  /* NOTE:  this depends on frame_find_saved_regs returning the VALUE, not
-           the ADDRESS, of SP_REGNUM.  It also depends on the cache of
-           frame_find_saved_regs results.  */
-  if (frame->fsr->regs[SP_REGNUM])
-    return 0;                  /* Frameful -- return addr saved somewhere */
-  else
-    return 1;                  /* Frameless -- no saved return address */
+  /* R30 and R31 typically contains data addresses.  */
+  if (regnum == M88K_R30_REGNUM || regnum == M88K_R31_REGNUM)
+    return builtin_type (gdbarch)->builtin_data_ptr;
+
+  return builtin_type (gdbarch)->builtin_int32;
 }
+\f
 
-void
-init_extra_frame_info (fromleaf, frame)
-     int fromleaf;
-     struct frame_info *frame;
+static CORE_ADDR
+m88k_addr_bits_remove (struct gdbarch *gdbarch, CORE_ADDR addr)
 {
-  frame->fsr = 0;                      /* Not yet allocated */
-  frame->args_pointer = 0;             /* Unknown */
-  frame->locals_pointer = 0;   /* Unknown */
+  /* All instructures are 4-byte aligned.  The lower 2 bits of SXIP,
+     SNIP and SFIP are used for special purposes: bit 0 is the
+     exception bit and bit 1 is the valid bit.  */
+  return addr & ~0x3;
 }
-\f
-/* Examine an m88k function prologue, recording the addresses at which
-   registers are saved explicitly by the prologue code, and returning
-   the address of the first instruction after the prologue (but not
-   after the instruction at address LIMIT, as explained below).
 
-   LIMIT places an upper bound on addresses of the instructions to be
-   examined.  If the prologue code scan reaches LIMIT, the scan is
-   aborted and LIMIT is returned.  This is used, when examining the
-   prologue for the current frame, to keep examine_prologue () from
-   claiming that a given register has been saved when in fact the
-   instruction that saves it has not yet been executed.  LIMIT is used
-   at other times to stop the scan when we hit code after the true
-   function prologue (e.g. for the first source line) which might
-   otherwise be mistaken for function prologue.
+/* Use the program counter to determine the contents and size of a
+   breakpoint instruction.  Return a pointer to a string of bytes that
+   encode a breakpoint instruction, store the length of the string in
+   *LEN and optionally adjust *PC to point to the correct memory
+   location for inserting the breakpoint.  */
+   
+static const gdb_byte *
+m88k_breakpoint_from_pc (struct gdbarch *gdbarch, CORE_ADDR *pc, int *len)
+{
+  /* tb 0,r0,511 */
+  static gdb_byte break_insn[] = { 0xf0, 0x00, 0xd1, 0xff };
 
-   The format of the function prologue matched by this routine is
-   derived from examination of the source to gcc 1.95, particularly
-   the routine output_prologue () in config/out-m88k.c.
+  *len = sizeof (break_insn);
+  return break_insn;
+}
 
-   subu r31,r31,n                      # stack pointer update
+static CORE_ADDR
+m88k_unwind_pc (struct gdbarch *gdbarch, struct frame_info *next_frame)
+{
+  CORE_ADDR pc;
 
-   (st rn,r31,offset)?                 # save incoming regs
-   (st.d rn,r31,offset)?
+  pc = frame_unwind_register_unsigned (next_frame, M88K_SXIP_REGNUM);
+  return m88k_addr_bits_remove (gdbarch, pc);
+}
 
-   (addu r30,r31,n)?                   # frame pointer update
+static void
+m88k_write_pc (struct regcache *regcache, CORE_ADDR pc)
+{
+  /* According to the MC88100 RISC Microprocessor User's Manual,
+     section 6.4.3.1.2:
+
+     "... can be made to return to a particular instruction by placing
+     a valid instruction address in the SNIP and the next sequential
+     instruction address in the SFIP (with V bits set and E bits
+     clear).  The rte resumes execution at the instruction pointed to
+     by the SNIP, then the SFIP."
+
+     The E bit is the least significant bit (bit 0).  The V (valid)
+     bit is bit 1.  This is why we logical or 2 into the values we are
+     writing below.  It turns out that SXIP plays no role when
+     returning from an exception so nothing special has to be done
+     with it.  We could even (presumably) give it a totally bogus
+     value.  */
+
+  regcache_cooked_write_unsigned (regcache, M88K_SXIP_REGNUM, pc);
+  regcache_cooked_write_unsigned (regcache, M88K_SNIP_REGNUM, pc | 2);
+  regcache_cooked_write_unsigned (regcache, M88K_SFIP_REGNUM, (pc + 4) | 2);
+}
+\f
 
-   (pic sequence)?                     # PIC code prologue
+/* The functions on this page are intended to be used to classify
+   function arguments.  */
 
-   (or   rn,rm,0)?                     # Move parameters to other regs
-*/
+/* Check whether TYPE is "Integral or Pointer".  */
 
-/* Macros for extracting fields from instructions.  */
+static int
+m88k_integral_or_pointer_p (const struct type *type)
+{
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_INT:
+    case TYPE_CODE_BOOL:
+    case TYPE_CODE_CHAR:
+    case TYPE_CODE_ENUM:
+    case TYPE_CODE_RANGE:
+      {
+       /* We have byte, half-word, word and extended-word/doubleword
+           integral types.  */
+       int len = TYPE_LENGTH (type);
+       return (len == 1 || len == 2 || len == 4 || len == 8);
+      }
+      return 1;
+    case TYPE_CODE_PTR:
+    case TYPE_CODE_REF:
+      {
+       /* Allow only 32-bit pointers.  */
+       return (TYPE_LENGTH (type) == 4);
+      }
+      return 1;
+    default:
+      break;
+    }
 
-#define BITMASK(pos, width) (((0x1 << (width)) - 1) << (pos))
-#define EXTRACT_FIELD(val, pos, width) ((val) >> (pos) & BITMASK (0, width))
-#define        SUBU_OFFSET(x)  ((unsigned)(x & 0xFFFF))
-#define        ST_OFFSET(x)    ((unsigned)((x) & 0xFFFF))
-#define        ST_SRC(x)       EXTRACT_FIELD ((x), 21, 5)
-#define        ADDU_OFFSET(x)  ((unsigned)(x & 0xFFFF))
+  return 0;
+}
 
-/*
- * prologue_insn_tbl is a table of instructions which may comprise a
- * function prologue.  Associated with each table entry (corresponding
- * to a single instruction or group of instructions), is an action.
- * This action is used by examine_prologue (below) to determine
- * the state of certain machine registers and where the stack frame lives.
- */
-
-enum prologue_insn_action {
-  PIA_SKIP,                    /* don't care what the instruction does */
-  PIA_NOTE_ST,                 /* note register stored and where */
-  PIA_NOTE_STD,                        /* note pair of registers stored and where */
-  PIA_NOTE_SP_ADJUSTMENT,      /* note stack pointer adjustment */
-  PIA_NOTE_FP_ASSIGNMENT,      /* note frame pointer assignment */
-  PIA_NOTE_PROLOGUE_END,       /* no more prologue */
-};
+/* Check whether TYPE is "Floating".  */
 
-struct prologue_insns {
-    unsigned long insn;
-    unsigned long mask;
-    enum prologue_insn_action action;
-};
+static int
+m88k_floating_p (const struct type *type)
+{
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_FLT:
+      {
+       int len = TYPE_LENGTH (type);
+       return (len == 4 || len == 8);
+      }
+    default:
+      break;
+    }
 
-struct prologue_insns prologue_insn_tbl[] = {
-  /* Various register move instructions */
-  { 0x58000000, 0xf800ffff, PIA_SKIP },                /* or/or.u with immed of 0 */
-  { 0xf4005800, 0xfc1fffe0, PIA_SKIP },                /* or rd, r0, rs */
-  { 0xf4005800, 0xfc00ffff, PIA_SKIP },                /* or rd, rs, r0 */
+  return 0;
+}
 
-  /* Stack pointer setup: "subu sp, sp, n" where n is a multiple of 8 */
-  { 0x67ff0000, 0xffff0007, PIA_NOTE_SP_ADJUSTMENT },
+/* Check whether TYPE is "Structure or Union".  */
 
-  /* Frame pointer assignment: "addu r30, r31, n" */
-  { 0x63df0000, 0xffff0000, PIA_NOTE_FP_ASSIGNMENT },
+static int
+m88k_structure_or_union_p (const struct type *type)
+{
+  switch (TYPE_CODE (type))
+    {
+    case TYPE_CODE_STRUCT:
+    case TYPE_CODE_UNION:
+      return 1;
+    default:
+      break;
+    }
 
-  /* Store to stack instructions; either "st rx, sp, n" or "st.d rx, sp, n" */
-  { 0x241f0000, 0xfc1f0000, PIA_NOTE_ST },     /* st rx, sp, n */
-  { 0x201f0000, 0xfc1f0000, PIA_NOTE_STD },    /* st.d rs, sp, n */
+  return 0;
+}
 
-  /* Instructions needed for setting up r25 for pic code. */
-  { 0x5f200000, 0xffff0000, PIA_SKIP },                /* or.u r25, r0, offset_high */
-  { 0xcc000002, 0xffffffff, PIA_SKIP },                /* bsr.n Lab */
-  { 0x5b390000, 0xffff0000, PIA_SKIP },                /* or r25, r25, offset_low */
-  { 0xf7396001, 0xffffffff, PIA_SKIP },                /* Lab: addu r25, r25, r1 */
+/* Check whether TYPE has 8-byte alignment.  */
 
-  /* Various branch or jump instructions which have a delay slot -- these
-     do not form part of the prologue, but the instruction in the delay
-     slot might be a store instruction which should be noted. */
-  { 0xc4000000, 0xe4000000, PIA_NOTE_PROLOGUE_END }, 
-                                       /* br.n, bsr.n, bb0.n, or bb1.n */
-  { 0xec000000, 0xfc000000, PIA_NOTE_PROLOGUE_END }, /* bcnd.n */
-  { 0xf400c400, 0xfffff7e0, PIA_NOTE_PROLOGUE_END } /* jmp.n or jsr.n */
+static int
+m88k_8_byte_align_p (struct type *type)
+{
+  if (m88k_structure_or_union_p (type))
+    {
+      int i;
 
-};
+      for (i = 0; i < TYPE_NFIELDS (type); i++)
+       {
+         struct type *subtype = check_typedef (TYPE_FIELD_TYPE (type, i));
 
+         if (m88k_8_byte_align_p (subtype))
+           return 1;
+       }
+    }
 
-/* Fetch the instruction at ADDR, returning 0 if ADDR is beyond LIM or
-   is not the address of a valid instruction, the address of the next
-   instruction beyond ADDR otherwise.  *PWORD1 receives the first word
-   of the instruction. */
+  if (m88k_integral_or_pointer_p (type) || m88k_floating_p (type))
+    return (TYPE_LENGTH (type) == 8);
 
-#define NEXT_PROLOGUE_INSN(addr, lim, pword1) \
-  (((addr) < (lim)) ? next_insn (addr, pword1) : 0)
+  return 0;
+}
 
-/* Read the m88k instruction at 'memaddr' and return the address of 
-   the next instruction after that, or 0 if 'memaddr' is not the
-   address of a valid instruction.  The instruction
-   is stored at 'pword1'.  */
+/* Check whether TYPE can be passed in a register.  */
 
-CORE_ADDR
-next_insn (memaddr, pword1)
-     unsigned long *pword1;
-     CORE_ADDR memaddr;
+static int
+m88k_in_register_p (struct type *type)
 {
-  *pword1 = read_memory_integer (memaddr, BYTES_PER_88K_INSN);
-  return memaddr + BYTES_PER_88K_INSN;
-}
+  if (m88k_integral_or_pointer_p (type) || m88k_floating_p (type))
+    return 1;
 
-/* Read a register from frames called by us (or from the hardware regs).  */
+  if (m88k_structure_or_union_p (type) && TYPE_LENGTH (type) == 4)
+    return 1;
 
-static int
-read_next_frame_reg(frame, regno)
-     struct frame_info *frame;
-     int regno;
-{
-  for (; frame; frame = frame->next) {
-      if (regno == SP_REGNUM)
-       return FRAME_FP (frame);
-      else if (frame->fsr->regs[regno])
-       return read_memory_integer(frame->fsr->regs[regno], 4);
-  }
-  return read_register(regno);
+  return 0;
 }
 
-/* Examine the prologue of a function.  `ip' points to the first instruction.
-   `limit' is the limit of the prologue (e.g. the addr of the first 
-   linenumber, or perhaps the program counter if we're stepping through).
-   `frame_sp' is the stack pointer value in use in this frame.  
-   `fsr' is a pointer to a frame_saved_regs structure into which we put
-   info about the registers saved by this frame.  
-   `fi' is a struct frame_info pointer; we fill in various fields in it
-   to reflect the offsets of the arg pointer and the locals pointer.  */
-
 static CORE_ADDR
-examine_prologue (ip, limit, frame_sp, fsr, fi)
-     register CORE_ADDR ip;
-     register CORE_ADDR limit;
-     CORE_ADDR frame_sp;
-     struct frame_saved_regs *fsr;
-     struct frame_info *fi;
-{
-  register CORE_ADDR next_ip;
-  register int src;
-  unsigned int insn;
-  int size, offset;
-  char must_adjust[32];                /* If set, must adjust offsets in fsr */
-  int sp_offset = -1;          /* -1 means not set (valid must be mult of 8) */
-  int fp_offset = -1;          /* -1 means not set */
-  CORE_ADDR frame_fp;
-  CORE_ADDR prologue_end = 0;
-
-  memset (must_adjust, '\0', sizeof (must_adjust));
-  next_ip = NEXT_PROLOGUE_INSN (ip, limit, &insn);
-
-  while (next_ip)
+m88k_store_arguments (struct regcache *regcache, int nargs,
+                     struct value **args, CORE_ADDR sp)
+{
+  struct gdbarch *gdbarch = get_regcache_arch (regcache);
+  int num_register_words = 0;
+  int num_stack_words = 0;
+  int i;
+
+  for (i = 0; i < nargs; i++)
     {
-      struct prologue_insns *pip; 
+      struct type *type = value_type (args[i]);
+      int len = TYPE_LENGTH (type);
 
-      for (pip=prologue_insn_tbl; (insn & pip->mask) != pip->insn; )
-         if (++pip >= prologue_insn_tbl + sizeof prologue_insn_tbl)
-             goto end_of_prologue_found;       /* not a prologue insn */
+      if (m88k_integral_or_pointer_p (type) && len < 4)
+       {
+         args[i] = value_cast (builtin_type (gdbarch)->builtin_int32,
+                               args[i]);
+         type = value_type (args[i]);
+         len = TYPE_LENGTH (type);
+       }
 
-      switch (pip->action)
+      if (m88k_in_register_p (type))
        {
-         case PIA_NOTE_ST:
-         case PIA_NOTE_STD:
-           if (sp_offset != -1) {
-               src = ST_SRC (insn);
-               offset = ST_OFFSET (insn);
-               must_adjust[src] = 1;
-               fsr->regs[src++] = offset;      /* Will be adjusted later */
-               if (pip->action == PIA_NOTE_STD && src < 32)
-                 {
-                   offset += 4;
-                   must_adjust[src] = 1;
-                   fsr->regs[src++] = offset;
-                 }
+         int num_words = 0;
+
+         if (num_register_words % 2 == 1 && m88k_8_byte_align_p (type))
+           num_words++;
+
+         num_words += ((len + 3) / 4);
+         if (num_register_words + num_words <= 8)
+           {
+             num_register_words += num_words;
+             continue;
            }
-           else
-               goto end_of_prologue_found;
-           break;
-         case PIA_NOTE_SP_ADJUSTMENT:
-           if (sp_offset == -1)
-               sp_offset = -SUBU_OFFSET (insn);
-           else
-               goto end_of_prologue_found;
-           break;
-         case PIA_NOTE_FP_ASSIGNMENT:
-           if (fp_offset == -1)
-               fp_offset = ADDU_OFFSET (insn);
-           else
-               goto end_of_prologue_found;
-           break;
-         case PIA_NOTE_PROLOGUE_END:
-           if (!prologue_end)
-               prologue_end = ip;
-           break;
-         case PIA_SKIP:
-         default :
-           /* Do nothing */
-           break;
+
+         /* We've run out of available registers.  Pass the argument
+             on the stack.  */
        }
 
-      ip = next_ip;
-      next_ip = NEXT_PROLOGUE_INSN (ip, limit, &insn);
+      if (num_stack_words % 2 == 1 && m88k_8_byte_align_p (type))
+       num_stack_words++;
+
+      num_stack_words += ((len + 3) / 4);
     }
 
-end_of_prologue_found:
-
-    if (prologue_end)
-       ip = prologue_end;
-
-  /* We're done with the prologue.  If we don't care about the stack
-     frame itself, just return.  (Note that fsr->regs has been trashed,
-     but the one caller who calls with fi==0 passes a dummy there.)  */
-
-  if (fi == 0)
-    return ip;
-
-  /*
-     OK, now we have:
-
-       sp_offset       original (before any alloca calls) displacement of SP
-                       (will be negative).
-
-       fp_offset       displacement from original SP to the FP for this frame
-                       or -1.
-
-       fsr->regs[0..31]        displacement from original SP to the stack
-                               location where reg[0..31] is stored.
-
-       must_adjust[0..31]      set if corresponding offset was set.
-
-     If alloca has been called between the function prologue and the current
-     IP, then the current SP (frame_sp) will not be the original SP as set by
-     the function prologue.  If the current SP is not the original SP, then the
-     compiler will have allocated an FP for this frame, fp_offset will be set,
-     and we can use it to calculate the original SP.
-
-     Then, we figure out where the arguments and locals are, and relocate the
-     offsets in fsr->regs to absolute addresses.  */
-
-  if (fp_offset != -1) {
-    /* We have a frame pointer, so get it, and base our calc's on it.  */
-    frame_fp = (CORE_ADDR) read_next_frame_reg (fi->next, ACTUAL_FP_REGNUM);
-    frame_sp = frame_fp - fp_offset;
-  } else {
-    /* We have no frame pointer, therefore frame_sp is still the same value
-       as set by prologue.  But where is the frame itself?  */
-    if (must_adjust[SRP_REGNUM]) {
-      /* Function header saved SRP (r1), the return address.  Frame starts
-        4 bytes down from where it was saved.  */
-      frame_fp = frame_sp + fsr->regs[SRP_REGNUM] - 4;
-      fi->locals_pointer = frame_fp;
-    } else {
-      /* Function header didn't save SRP (r1), so we are in a leaf fn or
-        are otherwise confused.  */
-      frame_fp = -1;
+  /* Allocate stack space.  */
+  sp = align_down (sp - 32 - num_stack_words * 4, 16);
+  num_stack_words = num_register_words = 0;
+
+  for (i = 0; i < nargs; i++)
+    {
+      const bfd_byte *valbuf = value_contents (args[i]);
+      struct type *type = value_type (args[i]);
+      int len = TYPE_LENGTH (type);
+      int stack_word = num_stack_words;
+
+      if (m88k_in_register_p (type))
+       {
+         int register_word = num_register_words;
+
+         if (register_word % 2 == 1 && m88k_8_byte_align_p (type))
+           register_word++;
+
+         gdb_assert (len == 4 || len == 8);
+
+         if (register_word + len / 8 < 8)
+           {
+             int regnum = M88K_R2_REGNUM + register_word;
+
+             regcache_raw_write (regcache, regnum, valbuf);
+             if (len > 4)
+               regcache_raw_write (regcache, regnum + 1, valbuf + 4);
+
+             num_register_words = (register_word + len / 4);
+             continue;
+           }
+       }
+
+      if (stack_word % 2 == -1 && m88k_8_byte_align_p (type))
+       stack_word++;
+
+      write_memory (sp + stack_word * 4, valbuf, len);
+      num_stack_words = (stack_word + (len + 3) / 4);
     }
-  }
 
-  /* The locals are relative to the FP (whether it exists as an allocated
-     register, or just as an assumed offset from the SP) */
-  fi->locals_pointer = frame_fp;
-
-  /* The arguments are just above the SP as it was before we adjusted it
-     on entry.  */
-  fi->args_pointer = frame_sp - sp_offset;
-
-  /* Now that we know the SP value used by the prologue, we know where
-     it saved all the registers.  */
-  for (src = 0; src < 32; src++)
-    if (must_adjust[src])
-      fsr->regs[src] += frame_sp;
-  /* The saved value of the SP is always known.  */
-  /* (we hope...) */
-  if (fsr->regs[SP_REGNUM] != 0 
-   && fsr->regs[SP_REGNUM] != frame_sp - sp_offset)
-    fprintf_unfiltered(gdb_stderr, "Bad saved SP value %x != %x, offset %x!\n",
-        fsr->regs[SP_REGNUM],
-       frame_sp - sp_offset, sp_offset);
-
-  fsr->regs[SP_REGNUM] = frame_sp - sp_offset;
-
-  return (ip);
+  return sp;
 }
 
-/* Given an ip value corresponding to the start of a function,
-   return the ip of the first instruction after the function 
-   prologue.  */
-
-CORE_ADDR
-skip_prologue (ip)
-     CORE_ADDR (ip);
+static CORE_ADDR
+m88k_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
+                     struct regcache *regcache, CORE_ADDR bp_addr, int nargs,
+                     struct value **args, CORE_ADDR sp, int struct_return,
+                     CORE_ADDR struct_addr)
 {
-  struct frame_saved_regs saved_regs_dummy;
-  struct symtab_and_line sal;
-  CORE_ADDR limit;
+  /* Set up the function arguments.  */
+  sp = m88k_store_arguments (regcache, nargs, args, sp);
+  gdb_assert (sp % 16 == 0);
 
-  sal = find_pc_line (ip, 0);
-  limit = (sal.end) ? sal.end : 0xffffffff;
+  /* Store return value address.  */
+  if (struct_return)
+    regcache_raw_write_unsigned (regcache, M88K_R12_REGNUM, struct_addr);
 
-  return (examine_prologue (ip, limit, (CORE_ADDR) 0, &saved_regs_dummy,
-                           (struct frame_info *)0 ));
+  /* Store the stack pointer and return address in the appropriate
+     registers.  */
+  regcache_raw_write_unsigned (regcache, M88K_R31_REGNUM, sp);
+  regcache_raw_write_unsigned (regcache, M88K_R1_REGNUM, bp_addr);
+
+  /* Return the stack pointer.  */
+  return sp;
 }
 
-/* Put here the code to store, into a struct frame_saved_regs,
-   the addresses of the saved registers of frame described by FRAME_INFO.
-   This includes special registers such as pc and fp saved in special
-   ways in the stack frame.  sp is even more special:
-   the address we return for it IS the sp for the next frame.
+static struct frame_id
+m88k_dummy_id (struct gdbarch *arch, struct frame_info *this_frame)
+{
+  CORE_ADDR sp;
+
+  sp = get_frame_register_unsigned (this_frame, M88K_R31_REGNUM);
+  return frame_id_build (sp, get_frame_pc (this_frame));
+}
+\f
 
-   We cache the result of doing this in the frame_cache_obstack, since
-   it is fairly expensive.  */
+/* Determine, for architecture GDBARCH, how a return value of TYPE
+   should be returned.  If it is supposed to be returned in registers,
+   and READBUF is non-zero, read the appropriate value from REGCACHE,
+   and copy it into READBUF.  If WRITEBUF is non-zero, write the value
+   from WRITEBUF into REGCACHE.  */
 
-void
-frame_find_saved_regs (fi, fsr)
-     struct frame_info *fi;
-     struct frame_saved_regs *fsr;
+static enum return_value_convention
+m88k_return_value (struct gdbarch *gdbarch, struct type *func_type,
+                  struct type *type, struct regcache *regcache,
+                  gdb_byte *readbuf, const gdb_byte *writebuf)
 {
-  register struct frame_saved_regs *cache_fsr;
-  extern struct obstack frame_cache_obstack;
-  CORE_ADDR ip;
-  struct symtab_and_line sal;
-  CORE_ADDR limit;
+  int len = TYPE_LENGTH (type);
+  gdb_byte buf[8];
+
+  if (!m88k_integral_or_pointer_p (type) && !m88k_floating_p (type))
+    return RETURN_VALUE_STRUCT_CONVENTION;
 
-  if (!fi->fsr)
+  if (readbuf)
     {
-      cache_fsr = (struct frame_saved_regs *)
-                 obstack_alloc (&frame_cache_obstack,
-                                sizeof (struct frame_saved_regs));
-      memset (cache_fsr, '\0', sizeof (struct frame_saved_regs));
-      fi->fsr = cache_fsr;
-
-      /* Find the start and end of the function prologue.  If the PC
-        is in the function prologue, we only consider the part that
-        has executed already.  In the case where the PC is not in
-        the function prologue, we set limit to two instructions beyond
-        where the prologue ends in case if any of the prologue instructions
-        were moved into a delay slot of a branch instruction. */
-         
-      ip = get_pc_function_start (fi->pc);
-      sal = find_pc_line (ip, 0);
-      limit = (sal.end && sal.end < fi->pc) ? sal.end + 2 * BYTES_PER_88K_INSN 
-                                           : fi->pc;
-
-      /* This will fill in fields in *fi as well as in cache_fsr.  */
-#ifdef SIGTRAMP_FRAME_FIXUP
-      if (fi->signal_handler_caller)
-       SIGTRAMP_FRAME_FIXUP(fi->frame);
-#endif
-      examine_prologue (ip, limit, fi->frame, cache_fsr, fi);
-#ifdef SIGTRAMP_SP_FIXUP
-      if (fi->signal_handler_caller && fi->fsr->regs[SP_REGNUM])
-       SIGTRAMP_SP_FIXUP(fi->fsr->regs[SP_REGNUM]);
-#endif
+      /* Read the contents of R2 and (if necessary) R3.  */
+      regcache_cooked_read (regcache, M88K_R2_REGNUM, buf);
+      if (len > 4)
+       {
+         regcache_cooked_read (regcache, M88K_R3_REGNUM, buf + 4);
+         gdb_assert (len == 8);
+         memcpy (readbuf, buf, len);
+       }
+      else
+       {
+         /* Just stripping off any unused bytes should preserve the
+             signed-ness just fine.  */
+         memcpy (readbuf, buf + 4 - len, len);
+       }
     }
 
-  if (fsr)
-    *fsr = *fi->fsr;
-}
+  if (writebuf)
+    {
+      /* Read the contents to R2 and (if necessary) R3.  */
+      if (len > 4)
+       {
+         gdb_assert (len == 8);
+         memcpy (buf, writebuf, 8);
+         regcache_cooked_write (regcache, M88K_R3_REGNUM, buf + 4);
+       }
+      else
+       {
+         /* ??? Do we need to do any sign-extension here?  */
+         memcpy (buf + 4 - len, writebuf, len);
+       }
+      regcache_cooked_write (regcache, M88K_R2_REGNUM, buf);
+    }
 
-/* Return the address of the locals block for the frame
-   described by FI.  Returns 0 if the address is unknown.
-   NOTE!  Frame locals are referred to by negative offsets from the
-   argument pointer, so this is the same as frame_args_address().  */
+  return RETURN_VALUE_REGISTER_CONVENTION;
+}
+\f
+/* Default frame unwinder.  */
 
-CORE_ADDR
-frame_locals_address (fi)
-     struct frame_info *fi;
+struct m88k_frame_cache
 {
-  struct frame_saved_regs fsr;
+  /* Base address.  */
+  CORE_ADDR base;
+  CORE_ADDR pc;
 
-  if (fi->args_pointer)        /* Cached value is likely there.  */
-    return fi->args_pointer;
+  int sp_offset;
+  int fp_offset;
 
-  /* Nope, generate it.  */
+  /* Table of saved registers.  */
+  struct trad_frame_saved_reg *saved_regs;
+};
 
-  get_frame_saved_regs (fi, &fsr);
+/* Prologue analysis.  */
 
-  return fi->args_pointer;
-}
+/* Macros for extracting fields from instructions.  */
+
+#define BITMASK(pos, width) (((0x1 << (width)) - 1) << (pos))
+#define EXTRACT_FIELD(val, pos, width) ((val) >> (pos) & BITMASK (0, width))
+#define        SUBU_OFFSET(x)  ((unsigned)(x & 0xFFFF))
+#define        ST_OFFSET(x)    ((unsigned)((x) & 0xFFFF))
+#define        ST_SRC(x)       EXTRACT_FIELD ((x), 21, 5)
+#define        ADDU_OFFSET(x)  ((unsigned)(x & 0xFFFF))
+
+/* Possible actions to be taken by the prologue analyzer for the
+   instructions it encounters.  */
 
-/* Return the address of the argument block for the frame
-   described by FI.  Returns 0 if the address is unknown.  */
+enum m88k_prologue_insn_action
+{
+  M88K_PIA_SKIP,               /* Ignore.  */
+  M88K_PIA_NOTE_ST,            /* Note register store.  */
+  M88K_PIA_NOTE_STD,           /* Note register pair store.  */
+  M88K_PIA_NOTE_SP_ADJUSTMENT, /* Note stack pointer adjustment.  */
+  M88K_PIA_NOTE_FP_ASSIGNMENT, /* Note frame pointer assignment.  */
+  M88K_PIA_NOTE_BRANCH,                /* Note branch.  */
+  M88K_PIA_NOTE_PROLOGUE_END   /* Note end of prologue.  */
+};
 
-CORE_ADDR
-frame_args_address (fi)
-     struct frame_info *fi;
+/* Table of instructions that may comprise a function prologue.  */
+
+struct m88k_prologue_insn
 {
-  struct frame_saved_regs fsr;
+  unsigned long insn;
+  unsigned long mask;
+  enum m88k_prologue_insn_action action;
+};
+
+struct m88k_prologue_insn m88k_prologue_insn_table[] =
+{
+  /* Various register move instructions.  */
+  { 0x58000000, 0xf800ffff, M88K_PIA_SKIP },     /* or/or.u with immed of 0 */
+  { 0xf4005800, 0xfc1fffe0, M88K_PIA_SKIP },     /* or rd,r0,rs */
+  { 0xf4005800, 0xfc00ffff, M88K_PIA_SKIP },     /* or rd,rs,r0 */
+
+  /* Various other instructions.  */
+  { 0x58000000, 0xf8000000, M88K_PIA_SKIP },     /* or/or.u */
+
+  /* Stack pointer setup: "subu sp,sp,n" where n is a multiple of 8.  */
+  { 0x67ff0000, 0xffff0007, M88K_PIA_NOTE_SP_ADJUSTMENT },
+
+  /* Frame pointer assignment: "addu r30,r31,n".  */
+  { 0x63df0000, 0xffff0000, M88K_PIA_NOTE_FP_ASSIGNMENT },
+
+  /* Store to stack instructions; either "st rx,sp,n" or "st.d rx,sp,n".  */
+  { 0x241f0000, 0xfc1f0000, M88K_PIA_NOTE_ST },  /* st rx,sp,n */
+  { 0x201f0000, 0xfc1f0000, M88K_PIA_NOTE_STD }, /* st.d rs,sp,n */
+
+  /* Instructions needed for setting up r25 for pic code.  */
+  { 0x5f200000, 0xffff0000, M88K_PIA_SKIP },     /* or.u r25,r0,offset_high */
+  { 0xcc000002, 0xffffffff, M88K_PIA_SKIP },     /* bsr.n Lab */
+  { 0x5b390000, 0xffff0000, M88K_PIA_SKIP },     /* or r25,r25,offset_low */
+  { 0xf7396001, 0xffffffff, M88K_PIA_SKIP },     /* Lab: addu r25,r25,r1 */
+
+  /* Various branch or jump instructions which have a delay slot --
+     these do not form part of the prologue, but the instruction in
+     the delay slot might be a store instruction which should be
+     noted.  */
+  { 0xc4000000, 0xe4000000, M88K_PIA_NOTE_BRANCH },
+                                      /* br.n, bsr.n, bb0.n, or bb1.n */
+  { 0xec000000, 0xfc000000, M88K_PIA_NOTE_BRANCH }, /* bcnd.n */
+  { 0xf400c400, 0xfffff7e0, M88K_PIA_NOTE_BRANCH }, /* jmp.n or jsr.n */
+
+  /* Catch all.  Ends prologue analysis.  */
+  { 0x00000000, 0x00000000, M88K_PIA_NOTE_PROLOGUE_END }
+};
+
+/* Do a full analysis of the function prologue at PC and update CACHE
+   accordingly.  Bail out early if LIMIT is reached.  Return the
+   address where the analysis stopped.  If LIMIT points beyond the
+   function prologue, the return address should be the end of the
+   prologue.  */
+
+static CORE_ADDR
+m88k_analyze_prologue (struct gdbarch *gdbarch,
+                      CORE_ADDR pc, CORE_ADDR limit,
+                      struct m88k_frame_cache *cache)
+{
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+  CORE_ADDR end = limit;
+
+  /* Provide a dummy cache if necessary.  */
+  if (cache == NULL)
+    {
+      size_t sizeof_saved_regs =
+       (M88K_R31_REGNUM + 1) * sizeof (struct trad_frame_saved_reg);
+
+      cache = alloca (sizeof (struct m88k_frame_cache));
+      cache->saved_regs = alloca (sizeof_saved_regs);
 
-  if (fi->args_pointer)                /* Cached value is likely there.  */
-    return fi->args_pointer;
+      /* We only initialize the members we care about.  */
+      cache->saved_regs[M88K_R1_REGNUM].addr = -1;
+      cache->fp_offset = -1;
+    }
 
-  /* Nope, generate it.  */
+  while (pc < limit)
+    {
+      struct m88k_prologue_insn *pi = m88k_prologue_insn_table;
+      unsigned long insn = m88k_fetch_instruction (pc, byte_order);
 
-  get_frame_saved_regs (fi, &fsr);
+      while ((insn & pi->mask) != pi->insn)
+       pi++;
+
+      switch (pi->action)
+       {
+       case M88K_PIA_SKIP:
+         /* If we have a frame pointer, and R1 has been saved,
+             consider this instruction as not being part of the
+             prologue.  */
+         if (cache->fp_offset != -1
+             && cache->saved_regs[M88K_R1_REGNUM].addr != -1)
+           return min (pc, end);
+         break;
+
+       case M88K_PIA_NOTE_ST:
+       case M88K_PIA_NOTE_STD:
+         /* If no frame has been allocated, the stores aren't part of
+             the prologue.  */
+         if (cache->sp_offset == 0)
+           return min (pc, end);
+
+         /* Record location of saved registers.  */
+         {
+           int regnum = ST_SRC (insn) + M88K_R0_REGNUM;
+           ULONGEST offset = ST_OFFSET (insn);
+
+           cache->saved_regs[regnum].addr = offset;
+           if (pi->action == M88K_PIA_NOTE_STD && regnum < M88K_R31_REGNUM)
+             cache->saved_regs[regnum + 1].addr = offset + 4;
+         }
+         break;
+
+       case M88K_PIA_NOTE_SP_ADJUSTMENT:
+         /* A second stack pointer adjustment isn't part of the
+             prologue.  */
+         if (cache->sp_offset != 0)
+           return min (pc, end);
+
+         /* Store stack pointer adjustment.  */
+         cache->sp_offset = -SUBU_OFFSET (insn);
+         break;
+
+       case M88K_PIA_NOTE_FP_ASSIGNMENT:
+         /* A second frame pointer assignment isn't part of the
+             prologue.  */
+         if (cache->fp_offset != -1)
+           return min (pc, end);
+
+         /* Record frame pointer assignment.  */
+         cache->fp_offset = ADDU_OFFSET (insn);
+         break;
+
+       case M88K_PIA_NOTE_BRANCH:
+         /* The branch instruction isn't part of the prologue, but
+             the instruction in the delay slot might be.  Limit the
+             prologue analysis to the delay slot and record the branch
+             instruction as the end of the prologue.  */
+         limit = min (limit, pc + 2 * M88K_INSN_SIZE);
+         end = pc;
+         break;
+
+       case M88K_PIA_NOTE_PROLOGUE_END:
+         return min (pc, end);
+       }
 
-  return fi->args_pointer;
+      pc += M88K_INSN_SIZE;
+    }
+
+  return end;
 }
 
-/* Return the saved PC from this frame.
+/* An upper limit to the size of the prologue.  */
+const int m88k_max_prologue_size = 128 * M88K_INSN_SIZE;
 
-   If the frame has a memory copy of SRP_REGNUM, use that.  If not,
-   just use the register SRP_REGNUM itself.  */
+/* Return the address of first real instruction of the function
+   starting at PC.  */
 
-CORE_ADDR
-frame_saved_pc (frame)
-     struct frame_info *frame;
+static CORE_ADDR
+m88k_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR pc)
 {
-  return read_next_frame_reg(frame, SRP_REGNUM);
+  struct symtab_and_line sal;
+  CORE_ADDR func_start, func_end;
+
+  /* This is the preferred method, find the end of the prologue by
+     using the debugging information.  */
+  if (find_pc_partial_function (pc, NULL, &func_start, &func_end))
+    {
+      sal = find_pc_line (func_start, 0);
+
+      if (sal.end < func_end && pc <= sal.end)
+       return sal.end;
+    }
+
+  return m88k_analyze_prologue (gdbarch, pc, pc + m88k_max_prologue_size,
+                               NULL);
 }
 
+static struct m88k_frame_cache *
+m88k_frame_cache (struct frame_info *this_frame, void **this_cache)
+{
+  struct gdbarch *gdbarch = get_frame_arch (this_frame);
+  struct m88k_frame_cache *cache;
+  CORE_ADDR frame_sp;
+
+  if (*this_cache)
+    return *this_cache;
+
+  cache = FRAME_OBSTACK_ZALLOC (struct m88k_frame_cache);
+  cache->saved_regs = trad_frame_alloc_saved_regs (this_frame);
+  cache->fp_offset = -1;
+
+  cache->pc = get_frame_func (this_frame);
+  if (cache->pc != 0)
+    m88k_analyze_prologue (gdbarch, cache->pc, get_frame_pc (this_frame),
+                          cache);
 
-#define DUMMY_FRAME_SIZE 192
+  /* Calculate the stack pointer used in the prologue.  */
+  if (cache->fp_offset != -1)
+    {
+      CORE_ADDR fp;
+
+      fp = get_frame_register_unsigned (this_frame, M88K_R30_REGNUM);
+      frame_sp = fp - cache->fp_offset;
+    }
+  else
+    {
+      /* If we know where the return address is saved, we can take a
+         solid guess at what the frame pointer should be.  */
+      if (cache->saved_regs[M88K_R1_REGNUM].addr != -1)
+       cache->fp_offset = cache->saved_regs[M88K_R1_REGNUM].addr - 4;
+      frame_sp = get_frame_register_unsigned (this_frame, M88K_R31_REGNUM);
+    }
+
+  /* Now that we know the stack pointer, adjust the location of the
+     saved registers.  */
+  {
+    int regnum;
+
+    for (regnum = M88K_R0_REGNUM; regnum < M88K_R31_REGNUM; regnum ++)
+      if (cache->saved_regs[regnum].addr != -1)
+       cache->saved_regs[regnum].addr += frame_sp;
+  }
+
+  /* Calculate the frame's base.  */
+  cache->base = frame_sp - cache->sp_offset;
+  trad_frame_set_value (cache->saved_regs, M88K_R31_REGNUM, cache->base);
+
+  /* Identify SXIP with the return address in R1.  */
+  cache->saved_regs[M88K_SXIP_REGNUM] = cache->saved_regs[M88K_R1_REGNUM];
+
+  *this_cache = cache;
+  return cache;
+}
 
 static void
-write_word (sp, word)
-     CORE_ADDR sp;
-     ULONGEST word;
+m88k_frame_this_id (struct frame_info *this_frame, void **this_cache,
+                   struct frame_id *this_id)
 {
-  register int len = REGISTER_SIZE;
-  char buffer[MAX_REGISTER_RAW_SIZE];
+  struct m88k_frame_cache *cache = m88k_frame_cache (this_frame, this_cache);
 
-  store_unsigned_integer (buffer, len, word);
-  write_memory (sp, buffer, len);
+  /* This marks the outermost frame.  */
+  if (cache->base == 0)
+    return;
+
+  (*this_id) = frame_id_build (cache->base, cache->pc);
 }
 
-void
-m88k_push_dummy_frame()
+static struct value *
+m88k_frame_prev_register (struct frame_info *this_frame,
+                         void **this_cache, int regnum)
 {
-  register CORE_ADDR sp = read_register (SP_REGNUM);
-  register int rn;
-  int offset;
+  struct m88k_frame_cache *cache = m88k_frame_cache (this_frame, this_cache);
+
+  if (regnum == M88K_SNIP_REGNUM || regnum == M88K_SFIP_REGNUM)
+    {
+      struct value *value;
+      CORE_ADDR pc;
 
-  sp -= DUMMY_FRAME_SIZE;      /* allocate a bunch of space */
+      value = trad_frame_get_prev_register (this_frame, cache->saved_regs,
+                                           M88K_SXIP_REGNUM);
+      pc = value_as_long (value);
+      release_value (value);
+      value_free (value);
 
-  for (rn = 0, offset = 0; rn <= SP_REGNUM; rn++, offset+=4)
-    write_word (sp+offset, read_register(rn));
-  
-  write_word (sp+offset, read_register (SXIP_REGNUM));
-  offset += 4;
+      if (regnum == M88K_SFIP_REGNUM)
+       pc += 4;
 
-  write_word (sp+offset, read_register (SNIP_REGNUM));
-  offset += 4;
+      return frame_unwind_got_constant (this_frame, regnum, pc + 4);
+    }
 
-  write_word (sp+offset, read_register (SFIP_REGNUM));
-  offset += 4;
+  return trad_frame_get_prev_register (this_frame, cache->saved_regs, regnum);
+}
 
-  write_word (sp+offset, read_register (PSR_REGNUM));
-  offset += 4;
+static const struct frame_unwind m88k_frame_unwind =
+{
+  NORMAL_FRAME,
+  m88k_frame_this_id,
+  m88k_frame_prev_register,
+  NULL,
+  default_frame_sniffer
+};
+\f
 
-  write_word (sp+offset, read_register (FPSR_REGNUM));
-  offset += 4;
+static CORE_ADDR
+m88k_frame_base_address (struct frame_info *this_frame, void **this_cache)
+{
+  struct m88k_frame_cache *cache = m88k_frame_cache (this_frame, this_cache);
 
-  write_word (sp+offset, read_register (FPCR_REGNUM));
-  offset += 4;
+  if (cache->fp_offset != -1)
+    return cache->base + cache->sp_offset + cache->fp_offset;
 
-  write_register (SP_REGNUM, sp);
-  write_register (ACTUAL_FP_REGNUM, sp);
+  return 0;
 }
 
-void
-pop_frame ()
+static const struct frame_base m88k_frame_base =
 {
-  register struct frame_info *frame = get_current_frame ();
-  register CORE_ADDR fp;
-  register int regnum;
-  struct frame_saved_regs fsr;
+  &m88k_frame_unwind,
+  m88k_frame_base_address,
+  m88k_frame_base_address,
+  m88k_frame_base_address
+};
+\f
+
+/* Core file support.  */
+
+/* Supply register REGNUM from the buffer specified by GREGS and LEN
+   in the general-purpose register set REGSET to register cache
+   REGCACHE.  If REGNUM is -1, do this for all registers in REGSET.  */
 
-  fp = FRAME_FP (frame);
-  get_frame_saved_regs (frame, &fsr);
+static void
+m88k_supply_gregset (const struct regset *regset,
+                    struct regcache *regcache,
+                    int regnum, const void *gregs, size_t len)
+{
+  const gdb_byte *regs = gregs;
+  int i;
 
-  if (PC_IN_CALL_DUMMY (read_pc (), read_register (SP_REGNUM), FRAME_FP (fi)))
+  for (i = 0; i < M88K_NUM_REGS; i++)
     {
-      /* FIXME: I think get_frame_saved_regs should be handling this so
-        that we can deal with the saved registers properly (e.g. frame
-        1 is a call dummy, the user types "frame 2" and then "print $ps").  */
-      register CORE_ADDR sp = read_register (ACTUAL_FP_REGNUM);
-      int offset;
+      if (regnum == i || regnum == -1)
+       regcache_raw_supply (regcache, i, regs + i * 4);
+    }
+}
 
-      for (regnum = 0, offset = 0; regnum <= SP_REGNUM; regnum++, offset+=4)
-       (void) write_register (regnum, read_memory_integer (sp+offset, 4));
-  
-      write_register (SXIP_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+/* Motorola 88000 register set.  */
 
-      write_register (SNIP_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+static struct regset m88k_gregset =
+{
+  NULL,
+  m88k_supply_gregset
+};
 
-      write_register (SFIP_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+/* Return the appropriate register set for the core section identified
+   by SECT_NAME and SECT_SIZE.  */
 
-      write_register (PSR_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+static const struct regset *
+m88k_regset_from_core_section (struct gdbarch *gdbarch,
+                              const char *sect_name, size_t sect_size)
+{
+  if (strcmp (sect_name, ".reg") == 0 && sect_size >= M88K_NUM_REGS * 4)
+    return &m88k_gregset;
 
-      write_register (FPSR_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+  return NULL;
+}
+\f
 
-      write_register (FPCR_REGNUM, read_memory_integer (sp+offset, 4));
-      offset += 4;
+static struct gdbarch *
+m88k_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
+{
+  struct gdbarch *gdbarch;
 
-    }
-  else 
-    {
-      for (regnum = FP_REGNUM ; regnum > 0 ; regnum--)
-         if (fsr.regs[regnum])
-             write_register (regnum,
-                             read_memory_integer (fsr.regs[regnum], 4));
-      write_pc (frame_saved_pc (frame));
-    }
-  reinit_frame_cache ();
+  /* If there is already a candidate, use it.  */
+  arches = gdbarch_list_lookup_by_info (arches, &info);
+  if (arches != NULL)
+    return arches->gdbarch;
+
+  /* Allocate space for the new architecture.  */
+  gdbarch = gdbarch_alloc (&info, NULL);
+
+  /* There is no real `long double'.  */
+  set_gdbarch_long_double_bit (gdbarch, 64);
+  set_gdbarch_long_double_format (gdbarch, floatformats_ieee_double);
+
+  set_gdbarch_num_regs (gdbarch, M88K_NUM_REGS);
+  set_gdbarch_register_name (gdbarch, m88k_register_name);
+  set_gdbarch_register_type (gdbarch, m88k_register_type);
+
+  /* Register numbers of various important registers.  */
+  set_gdbarch_sp_regnum (gdbarch, M88K_R31_REGNUM);
+  set_gdbarch_pc_regnum (gdbarch, M88K_SXIP_REGNUM);
+
+  /* Core file support.  */
+  set_gdbarch_regset_from_core_section
+    (gdbarch, m88k_regset_from_core_section);
+
+  set_gdbarch_print_insn (gdbarch, print_insn_m88k);
+
+  set_gdbarch_skip_prologue (gdbarch, m88k_skip_prologue);
+
+  /* Stack grows downward.  */
+  set_gdbarch_inner_than (gdbarch, core_addr_lessthan);
+
+  /* Call dummy code.  */
+  set_gdbarch_push_dummy_call (gdbarch, m88k_push_dummy_call);
+  set_gdbarch_dummy_id (gdbarch, m88k_dummy_id);
+
+  /* Return value info */
+  set_gdbarch_return_value (gdbarch, m88k_return_value);
+
+  set_gdbarch_addr_bits_remove (gdbarch, m88k_addr_bits_remove);
+  set_gdbarch_breakpoint_from_pc (gdbarch, m88k_breakpoint_from_pc);
+  set_gdbarch_unwind_pc (gdbarch, m88k_unwind_pc);
+  set_gdbarch_write_pc (gdbarch, m88k_write_pc);
+
+  frame_base_set_default (gdbarch, &m88k_frame_base);
+  frame_unwind_append_unwinder (gdbarch, &m88k_frame_unwind);
+
+  return gdbarch;
 }
+\f
+
+/* Provide a prototype to silence -Wmissing-prototypes.  */
+void _initialize_m88k_tdep (void);
 
 void
-_initialize_m88k_tdep ()
+_initialize_m88k_tdep (void)
 {
-  tm_print_insn = print_insn_m88k;
+  gdbarch_register (bfd_arch_m88k, m88k_gdbarch_init, NULL);
 }