OSDN Git Service

* gcc/config/m68k/m68k.c (m68k_coff_asm_named_section): remove unused
[pf3gnuchains/gcc-fork.git] / gcc / config / m68k / m68k.c
index cc3e3d7..cbdf183 100644 (file)
@@ -1,5 +1,6 @@
 /* Subroutines for insn-output.c for Motorola 68000 family.
-   Copyright (C) 1987, 93, 94, 95, 96, 97, 1998 Free Software Foundation, Inc.
+   Copyright (C) 1987, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2003
+   Free Software Foundation, Inc.
 
 This file is part of GNU CC.
 
@@ -18,68 +19,123 @@ along with GNU CC; see the file COPYING.  If not, write to
 the Free Software Foundation, 59 Temple Place - Suite 330,
 Boston, MA 02111-1307, USA.  */
 
-
-/* Some output-actions in m68k.md need these.  */
 #include "config.h"
 #include "system.h"
+#include "coretypes.h"
+#include "tm.h"
 #include "tree.h"
 #include "rtl.h"
+#include "function.h"
 #include "regs.h"
 #include "hard-reg-set.h"
 #include "real.h"
 #include "insn-config.h"
 #include "conditions.h"
-#include "insn-flags.h"
 #include "output.h"
 #include "insn-attr.h"
 #include "recog.h"
 #include "toplev.h"
+#include "expr.h"
+#include "reload.h"
+#include "tm_p.h"
+#include "target.h"
+#include "target-def.h"
+#include "debug.h"
 
 /* Needed for use_return_insn.  */
 #include "flags.h"
 
-#if HAVE_STDLIB_H
-#include <stdlib.h>                                                
-#endif
-
-#ifdef SUPPORT_SUN_FPA
-
-/* Index into this array by (register number >> 3) to find the
-   smallest class which contains that register.  */
-enum reg_class regno_reg_class[]
-  = { DATA_REGS, ADDR_REGS, FP_REGS,
-      LO_FPA_REGS, LO_FPA_REGS, FPA_REGS, FPA_REGS };
-
-#endif /* defined SUPPORT_SUN_FPA */
-
 /* This flag is used to communicate between movhi and ASM_OUTPUT_CASE_END,
    if SGS_SWITCH_TABLE.  */
 int switch_table_difference_label_flag;
 
-static rtx find_addr_reg ();
-rtx legitimize_pic_address ();
+static rtx find_addr_reg (rtx);
+static const char *singlemove_string (rtx *);
+static void m68k_output_function_prologue (FILE *, HOST_WIDE_INT);
+static void m68k_output_function_epilogue (FILE *, HOST_WIDE_INT);
+#ifdef HPUX_ASM
+static void m68k_hp320_internal_label (FILE *, const char *, unsigned long);
+static void m68k_hp320_file_start (void);
+#endif
+static void m68k_output_mi_thunk (FILE *, tree, HOST_WIDE_INT,
+                                         HOST_WIDE_INT, tree);
+static int m68k_save_reg (unsigned int);
+static int const_int_cost (rtx);
+static bool m68k_rtx_costs (rtx, int, int, int *);
 \f
 
 /* Alignment to use for loops and jumps */
-/* Specify power of two alignment used for loops. */
-char *m68k_align_loops_string;
-/* Specify power of two alignment used for non-loop jumps. */
-char *m68k_align_jumps_string;
-/* Specify power of two alignment used for functions. */
-char *m68k_align_funcs_string;
-
-/* Specify power of two alignment used for loops. */
+/* Specify power of two alignment used for loops.  */
+const char *m68k_align_loops_string;
+/* Specify power of two alignment used for non-loop jumps.  */
+const char *m68k_align_jumps_string;
+/* Specify power of two alignment used for functions.  */
+const char *m68k_align_funcs_string;
+
+/* Specify power of two alignment used for loops.  */
 int m68k_align_loops;
-/* Specify power of two alignment used for non-loop jumps. */
+/* Specify power of two alignment used for non-loop jumps.  */
 int m68k_align_jumps;
-/* Specify power of two alignment used for functions. */
+/* Specify power of two alignment used for functions.  */
 int m68k_align_funcs;
 
 /* Nonzero if the last compare/test insn had FP operands.  The
    sCC expanders peek at this to determine what to do for the
    68060, which has no fsCC instructions.  */
 int m68k_last_compare_had_fp_operands;
+\f
+/* Initialize the GCC target structure.  */
+
+#if INT_OP_GROUP == INT_OP_DOT_WORD
+#undef TARGET_ASM_ALIGNED_HI_OP
+#define TARGET_ASM_ALIGNED_HI_OP "\t.word\t"
+#endif
 
+#if INT_OP_GROUP == INT_OP_NO_DOT
+#undef TARGET_ASM_BYTE_OP
+#define TARGET_ASM_BYTE_OP "\tbyte\t"
+#undef TARGET_ASM_ALIGNED_HI_OP
+#define TARGET_ASM_ALIGNED_HI_OP "\tshort\t"
+#undef TARGET_ASM_ALIGNED_SI_OP
+#define TARGET_ASM_ALIGNED_SI_OP "\tlong\t"
+#endif
+
+#if INT_OP_GROUP == INT_OP_DC
+#undef TARGET_ASM_BYTE_OP
+#define TARGET_ASM_BYTE_OP "\tdc.b\t"
+#undef TARGET_ASM_ALIGNED_HI_OP
+#define TARGET_ASM_ALIGNED_HI_OP "\tdc.w\t"
+#undef TARGET_ASM_ALIGNED_SI_OP
+#define TARGET_ASM_ALIGNED_SI_OP "\tdc.l\t"
+#endif
+
+#undef TARGET_ASM_UNALIGNED_HI_OP
+#define TARGET_ASM_UNALIGNED_HI_OP TARGET_ASM_ALIGNED_HI_OP
+#undef TARGET_ASM_UNALIGNED_SI_OP
+#define TARGET_ASM_UNALIGNED_SI_OP TARGET_ASM_ALIGNED_SI_OP
+
+#undef TARGET_ASM_FUNCTION_PROLOGUE
+#define TARGET_ASM_FUNCTION_PROLOGUE m68k_output_function_prologue
+#undef TARGET_ASM_FUNCTION_EPILOGUE
+#define TARGET_ASM_FUNCTION_EPILOGUE m68k_output_function_epilogue
+#ifdef HPUX_ASM
+#undef TARGET_ASM_INTERNAL_LABEL
+#define  TARGET_ASM_INTERNAL_LABEL m68k_hp320_internal_label
+#endif
+
+#undef TARGET_ASM_OUTPUT_MI_THUNK
+#define TARGET_ASM_OUTPUT_MI_THUNK m68k_output_mi_thunk
+#undef TARGET_ASM_CAN_OUTPUT_MI_THUNK
+#define TARGET_ASM_CAN_OUTPUT_MI_THUNK default_can_output_mi_thunk_no_vcall
+
+#undef TARGET_ASM_FILE_START_APP_OFF
+#define TARGET_ASM_FILE_START_APP_OFF true
+
+#undef TARGET_RTX_COSTS
+#define TARGET_RTX_COSTS m68k_rtx_costs
+
+struct gcc_target targetm = TARGET_INITIALIZER;
+\f
 /* Sometimes certain combinations of command options do not make
    sense on a particular target machine.  You can define a macro
    `OVERRIDE_OPTIONS' to take account of this.  This macro, if
@@ -90,64 +146,99 @@ int m68k_last_compare_had_fp_operands;
    `-O'.  That is what `OPTIMIZATION_OPTIONS' is for.  */
 
 void
-override_options ()
+override_options (void)
 {
   int def_align;
+  int i;
 
   def_align = 1;
 
   /* Validate -malign-loops= value, or provide default */
+  m68k_align_loops = def_align;
   if (m68k_align_loops_string)
     {
-      m68k_align_loops = atoi (m68k_align_loops_string);
-      if (m68k_align_loops < 1 || m68k_align_loops > MAX_CODE_ALIGN)
-       fatal ("-malign-loops=%d is not between 1 and %d",
-              m68k_align_loops, MAX_CODE_ALIGN);
+      i = atoi (m68k_align_loops_string);
+      if (i < 1 || i > MAX_CODE_ALIGN)
+       error ("-malign-loops=%d is not between 1 and %d", i, MAX_CODE_ALIGN);
+      else
+       m68k_align_loops = i;
     }
-  else
-    m68k_align_loops = def_align;
 
   /* Validate -malign-jumps= value, or provide default */
+  m68k_align_jumps = def_align;
   if (m68k_align_jumps_string)
     {
-      m68k_align_jumps = atoi (m68k_align_jumps_string);
-      if (m68k_align_jumps < 1 || m68k_align_jumps > MAX_CODE_ALIGN)
-       fatal ("-malign-jumps=%d is not between 1 and %d",
-              m68k_align_jumps, MAX_CODE_ALIGN);
+      i = atoi (m68k_align_jumps_string);
+      if (i < 1 || i > MAX_CODE_ALIGN)
+       error ("-malign-jumps=%d is not between 1 and %d", i, MAX_CODE_ALIGN);
+      else
+       m68k_align_jumps = i;
     }
-  else
-    m68k_align_jumps = def_align;
 
   /* Validate -malign-functions= value, or provide default */
+  m68k_align_funcs = def_align;
   if (m68k_align_funcs_string)
     {
-      m68k_align_funcs = atoi (m68k_align_funcs_string);
-      if (m68k_align_funcs < 1 || m68k_align_funcs > MAX_CODE_ALIGN)
-       fatal ("-malign-functions=%d is not between 1 and %d",
-              m68k_align_funcs, MAX_CODE_ALIGN);
+      i = atoi (m68k_align_funcs_string);
+      if (i < 1 || i > MAX_CODE_ALIGN)
+       error ("-malign-functions=%d is not between 1 and %d",
+              i, MAX_CODE_ALIGN);
+      else
+       m68k_align_funcs = i;
     }
-  else
-    m68k_align_funcs = def_align;
+
+  /* -fPIC uses 32-bit pc-relative displacements, which don't exist
+     until the 68020.  */
+  if (! TARGET_68020 && flag_pic == 2)
+    error("-fPIC is not currently supported on the 68000 or 68010\n");
+
+  /* ??? A historic way of turning on pic, or is this intended to
+     be an embedded thing that doesn't have the same name binding
+     significance that it does on hosted ELF systems?  */
+  if (TARGET_PCREL && flag_pic == 0)
+    flag_pic = 1;
+
+  /* Turn off function cse if we are doing PIC.  We always want function call
+     to be done as `bsr foo@PLTPC', so it will force the assembler to create
+     the PLT entry for `foo'. Doing function cse will cause the address of
+     `foo' to be loaded into a register, which is exactly what we want to
+     avoid when we are doing PIC on svr4 m68k.  */
+  if (flag_pic)
+    flag_no_function_cse = 1;
+
+  SUBTARGET_OVERRIDE_OPTIONS;
+
+  /* Tell the compiler which flavor of XFmode we're using.  */
+  real_format_for_mode[XFmode - QFmode] = &ieee_extended_motorola_format;
 }
 \f
-/* Emit a (use pic_offset_table_rtx) if we used PIC relocation in the 
-   function at any time during the compilation process.  In the future 
-   we should try and eliminate the USE if we can easily determine that 
-   all PIC references were deleted from the current function.  That would 
-   save an address register */
-   
-void
-finalize_pic ()
+/* Return 1 if we need to save REGNO.  */
+static int
+m68k_save_reg (unsigned int regno)
 {
-  if (flag_pic && current_function_uses_pic_offset_table)
+  if (flag_pic && current_function_uses_pic_offset_table
+      && regno == PIC_OFFSET_TABLE_REGNUM)
+    return 1;
+
+  if (current_function_calls_eh_return)
     {
-      rtx insn = gen_rtx_USE (VOIDmode, pic_offset_table_rtx);
-      emit_insn_after (insn, get_insns ());
-      emit_insn (insn);
+      unsigned int i;
+      for (i = 0; ; i++)
+       {
+         unsigned int test = EH_RETURN_DATA_REGNO (i);
+         if (test == INVALID_REGNUM)
+           break;
+         if (test == regno)
+           return 1;
+       }
     }
+
+  return (regs_ever_live[regno]
+         && !call_used_regs[regno]
+         && !fixed_regs[regno]
+         && !(regno == FRAME_POINTER_REGNUM && frame_pointer_needed));
 }
 
-\f
 /* This function generates the assembly code for function entry.
    STREAM is a stdio stream to output the code to.
    SIZE is an int: how many units of temporary storage to allocate.
@@ -160,19 +251,29 @@ finalize_pic ()
 /* Note that the order of the bit mask for fmovem is the opposite
    of the order for movem!  */
 
-
-void
-output_function_prologue (stream, size)
-     FILE *stream;
-     int size;
+static void
+m68k_output_function_prologue (FILE *stream, HOST_WIDE_INT size)
 {
   register int regno;
   register int mask = 0;
   int num_saved_regs = 0;
-  extern char call_used_regs[];
-  int fsize = (size + 3) & -4;
-  int cfa_offset = INCOMING_FRAME_SP_OFFSET, cfa_store_offset = cfa_offset;
+  HOST_WIDE_INT fsize = (size + 3) & -4;
+  HOST_WIDE_INT cfa_offset = INCOMING_FRAME_SP_OFFSET;
+  HOST_WIDE_INT cfa_store_offset = cfa_offset;
   
+  /* If the stack limit is a symbol, we can check it here,
+     before actually allocating the space.  */
+  if (current_function_limit_stack
+      && GET_CODE (stack_limit_rtx) == SYMBOL_REF)
+    {
+#if defined (MOTOROLA)
+      asm_fprintf (stream, "\tcmp.l %I%s+%wd,%Rsp\n\ttrapcs\n",
+                  XSTR (stack_limit_rtx, 0), fsize + 4);
+#else
+      asm_fprintf (stream, "\tcmpl %I%s+%wd,%Rsp\n\ttrapcs\n",
+                  XSTR (stack_limit_rtx, 0), fsize + 4);
+#endif
+    }
 
   if (frame_pointer_needed)
     {
@@ -180,32 +281,34 @@ output_function_prologue (stream, size)
        {
        /* on the 68040, pea + move is faster than link.w 0 */
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tpea (%s)\n\tmove.l %s,%s\n",
-              reg_names[FRAME_POINTER_REGNUM], reg_names[STACK_POINTER_REGNUM],
-              reg_names[FRAME_POINTER_REGNUM]);
+         fprintf (stream, "\tpea (%s)\n\tmove.l %s,%s\n",
+                  reg_names[FRAME_POINTER_REGNUM],
+                  reg_names[STACK_POINTER_REGNUM],
+                  reg_names[FRAME_POINTER_REGNUM]);
 #else
-         asm_fprintf (stream, "\tpea %s@\n\tmovel %s,%s\n",
-              reg_names[FRAME_POINTER_REGNUM], reg_names[STACK_POINTER_REGNUM],
-              reg_names[FRAME_POINTER_REGNUM]);
+         fprintf (stream, "\tpea %s@\n\tmovel %s,%s\n",
+                  reg_names[FRAME_POINTER_REGNUM],
+                  reg_names[STACK_POINTER_REGNUM],
+                  reg_names[FRAME_POINTER_REGNUM]);
 #endif
        }
       else if (fsize < 0x8000)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tlink.w %s,%0I%d\n",
+         asm_fprintf (stream, "\tlink.w %s,%I%wd\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #else
-         asm_fprintf (stream, "\tlink %s,%0I%d\n",
+         asm_fprintf (stream, "\tlink %s,%I%wd\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #endif
        }
       else if (TARGET_68020)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tlink.l %s,%0I%d\n",
+         asm_fprintf (stream, "\tlink.l %s,%I%wd\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #else
-         asm_fprintf (stream, "\tlink %s,%0I%d\n",
+         asm_fprintf (stream, "\tlink %s,%I%wd\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #endif
        }
@@ -213,10 +316,10 @@ output_function_prologue (stream, size)
        {
       /* Adding negative number is faster on the 68040.  */
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tlink.w %s,%0I0\n\tadd.l %0I%d,%Rsp\n",
+         asm_fprintf (stream, "\tlink.w %s,%I0\n\tadd.l %I%wd,%Rsp\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #else
-         asm_fprintf (stream, "\tlink %s,%0I0\n\taddl %0I%d,%Rsp\n",
+         asm_fprintf (stream, "\tlink %s,%I0\n\taddl %I%wd,%Rsp\n",
                       reg_names[FRAME_POINTER_REGNUM], -fsize);
 #endif
        }
@@ -226,8 +329,8 @@ output_function_prologue (stream, size)
           l = (char *) dwarf2out_cfi_label ();   
          cfa_store_offset += 4;
          cfa_offset = cfa_store_offset;
-         dwarf2out_def_cfa (l, FRAME_POINTER_REGNUM, cfa_offset);
          dwarf2out_reg_save (l, FRAME_POINTER_REGNUM, -cfa_store_offset);
+         dwarf2out_def_cfa (l, FRAME_POINTER_REGNUM, cfa_offset);
          cfa_store_offset += fsize;
        }
     }
@@ -235,107 +338,80 @@ output_function_prologue (stream, size)
     {
       if (fsize + 4 < 0x8000)
        {
-#ifdef NO_ADDSUB_Q
          if (fsize + 4 <= 8)
            {
-             if (!TARGET_5200)
+             if (!TARGET_COLDFIRE)
                {
-                 /* asm_fprintf() cannot handle %. */
+                 /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-                 asm_fprintf (stream, "\tsubq.w %OI%d,%Rsp\n", fsize + 4);
+                 asm_fprintf (stream, "\tsubq.w %I%wd,%Rsp\n", fsize + 4);
 #else
-                 asm_fprintf (stream, "\tsubqw %OI%d,%Rsp\n", fsize + 4);
+                 asm_fprintf (stream, "\tsubqw %I%wd,%Rsp\n", fsize + 4);
 #endif
                }
              else
                {
-                 /* asm_fprintf() cannot handle %. */
+                 /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-                 asm_fprintf (stream, "\tsubq.l %OI%d,%Rsp\n", fsize + 4);
+                 asm_fprintf (stream, "\tsubq.l %I%wd,%Rsp\n", fsize + 4);
 #else
-                 asm_fprintf (stream, "\tsubql %OI%d,%Rsp\n", fsize + 4);
+                 asm_fprintf (stream, "\tsubql %I%wd,%Rsp\n", fsize + 4);
 #endif
                }
            }
          else if (fsize + 4 <= 16 && TARGET_CPU32)
            {
              /* On the CPU32 it is faster to use two subqw instructions to
-                subtract a small integer (8 < N <= 16) to a register. */
-             /* asm_fprintf() cannot handle %. */
+                subtract a small integer (8 < N <= 16) to a register.  */
+             /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\tsubq.w %OI8,%Rsp\n\tsubq.w %OI%d,%Rsp\n",
-                          fsize + 4);
+             asm_fprintf (stream,
+                          "\tsubq.w %I8,%Rsp\n\tsubq.w %I%wd,%Rsp\n",
+                          fsize + 4 - 8);
 #else
-             asm_fprintf (stream, "\tsubqw %OI8,%Rsp\n\tsubqw %OI%d,%Rsp\n",
-                          fsize + 4);
+             asm_fprintf (stream, "\tsubqw %I8,%Rsp\n\tsubqw %I%wd,%Rsp\n",
+                          fsize + 4 - 8);
 #endif
            }
-         else 
-#endif /* NO_ADDSUB_Q */
-         if (TARGET_68040)
+         else if (TARGET_68040)
            {
              /* Adding negative number is faster on the 68040.  */
-             /* asm_fprintf() cannot handle %. */
+             /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\tadd.w %0I%d,%Rsp\n", - (fsize + 4));
+             asm_fprintf (stream, "\tadd.w %I%wd,%Rsp\n", - (fsize + 4));
 #else
-             asm_fprintf (stream, "\taddw %0I%d,%Rsp\n", - (fsize + 4));
+             asm_fprintf (stream, "\taddw %I%wd,%Rsp\n", - (fsize + 4));
 #endif
            }
          else
            {
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\tlea (%d,%Rsp),%Rsp\n", - (fsize + 4));
+             asm_fprintf (stream, "\tlea (%wd,%Rsp),%Rsp\n", - (fsize + 4));
 #else
-             asm_fprintf (stream, "\tlea %Rsp@(%d),%Rsp\n", - (fsize + 4));
+             asm_fprintf (stream, "\tlea %Rsp@(%wd),%Rsp\n", - (fsize + 4));
 #endif
            }
        }
       else
        {
-       /* asm_fprintf() cannot handle %. */
+       /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tadd.l %0I%d,%Rsp\n", - (fsize + 4));
+         asm_fprintf (stream, "\tadd.l %I%wd,%Rsp\n", - (fsize + 4));
 #else
-         asm_fprintf (stream, "\taddl %0I%d,%Rsp\n", - (fsize + 4));
+         asm_fprintf (stream, "\taddl %I%wd,%Rsp\n", - (fsize + 4));
 #endif
        }
       if (dwarf2out_do_frame ())
        {
-         cfa_store_offset += fsize;
+         cfa_store_offset += fsize + 4;
          cfa_offset = cfa_store_offset;
          dwarf2out_def_cfa ("", STACK_POINTER_REGNUM, cfa_offset);
        }
     }
-#ifdef SUPPORT_SUN_FPA
-  for (regno = 24; regno < 56; regno++)
-    if (regs_ever_live[regno] && ! call_used_regs[regno])
-      {
-#ifdef MOTOROLA
-       asm_fprintf (stream, "\tfpmovd %s,-(%Rsp)\n",
-                    reg_names[regno]);
-#else
-       asm_fprintf (stream, "\tfpmoved %s,%Rsp@-\n",
-                    reg_names[regno]);
-#endif
-       if (dwarf2out_do_frame ())
-         {
-           char *l = dwarf2out_cfi_label ();
-
-           cfa_store_offset += 8;
-           if (! frame_pointer_needed)
-             {
-               cfa_offset = cfa_store_offset;
-               dwarf2out_def_cfa (l, STACK_POINTER_REGNUM, cfa_offset);
-             }
-           dwarf2out_reg_save (l, regno, -cfa_store_offset);
-         }
-      }
-#endif
   if (TARGET_68881)
     {
       for (regno = 16; regno < 24; regno++)
-       if (regs_ever_live[regno] && ! call_used_regs[regno])
+       if (m68k_save_reg (regno))
          {
            mask |= 1 << (regno - 16);
            num_saved_regs++;
@@ -343,9 +419,9 @@ output_function_prologue (stream, size)
       if ((mask & 0xff) != 0)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tfmovm %0I0x%x,-(%Rsp)\n", mask & 0xff);
+         asm_fprintf (stream, "\tfmovm %I0x%x,-(%Rsp)\n", mask & 0xff);
 #else
-         asm_fprintf (stream, "\tfmovem %0I0x%x,%Rsp@-\n", mask & 0xff);
+         asm_fprintf (stream, "\tfmovem %I0x%x,%Rsp@-\n", mask & 0xff);
 #endif
          if (dwarf2out_do_frame ())
            {
@@ -368,29 +444,30 @@ output_function_prologue (stream, size)
       num_saved_regs = 0;
     }
   for (regno = 0; regno < 16; regno++)
-    if (regs_ever_live[regno] && ! call_used_regs[regno])
+    if (m68k_save_reg (regno))
       {
         mask |= 1 << (15 - regno);
         num_saved_regs++;
       }
-  if (frame_pointer_needed)
-    {
-      mask &= ~ (1 << (15 - FRAME_POINTER_REGNUM));
-      num_saved_regs--;
-    }
 
-#if NEED_PROBE
-#ifdef MOTOROLA
-#ifdef CRDS
-  asm_fprintf (stream, "\ttstl %d(%Rsp)\n", NEED_PROBE - num_saved_regs * 4);
-#else
-  asm_fprintf (stream, "\ttst.l %d(%Rsp)\n", NEED_PROBE - num_saved_regs * 4);
-#endif
+  /* If the stack limit is not a symbol, check it here.  
+     This has the disadvantage that it may be too late...  */
+  if (current_function_limit_stack)
+    {
+      if (REG_P (stack_limit_rtx))
+       {
+#if defined (MOTOROLA)
+         asm_fprintf (stream, "\tcmp.l %s,%Rsp\n\ttrapcs\n",
+                      reg_names[REGNO (stack_limit_rtx)]);
 #else
-  asm_fprintf (stream, "\ttstl %Rsp@(%d)\n", NEED_PROBE - num_saved_regs * 4);
-#endif
+         asm_fprintf (stream, "\tcmpl %s,%Rsp\n\ttrapcs\n",
+                      reg_names[REGNO (stack_limit_rtx)]);
 #endif
-
+       }
+      else if (GET_CODE (stack_limit_rtx) != SYMBOL_REF)
+       warning ("stack limit expression is not supported");
+    }
+  
   if (num_saved_regs <= 2)
     {
       /* Store each separately in the same order moveml uses.
@@ -400,7 +477,7 @@ output_function_prologue (stream, size)
 
       int i;
 
-      /* Undo the work from above. */
+      /* Undo the work from above.  */
       for (i = 0; i< 16; i++)
         if (mask & (1 << i))
          {
@@ -427,7 +504,7 @@ output_function_prologue (stream, size)
     }
   else if (mask)
     {
-      if (TARGET_5200)
+      if (TARGET_COLDFIRE)
        {
          /* The coldfire does not support the predecrement form of the 
             movml instruction, so we must adjust the stack pointer and
@@ -448,18 +525,18 @@ output_function_prologue (stream, size)
 
 #ifdef MOTOROLA
          asm_fprintf (stream, "\tlea (%d,%Rsp),%Rsp\n", -num_saved_regs*4);
-         asm_fprintf (stream, "\tmovm.l %0I0x%x,(%Rsp)\n", newmask);
+         asm_fprintf (stream, "\tmovm.l %I0x%x,(%Rsp)\n", newmask);
 #else
          asm_fprintf (stream, "\tlea %Rsp@(%d),%Rsp\n", -num_saved_regs*4);
-         asm_fprintf (stream, "\tmoveml %0I0x%x,%Rsp@\n", newmask);
+         asm_fprintf (stream, "\tmoveml %I0x%x,%Rsp@\n", newmask);
 #endif
        }
       else
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tmovm.l %0I0x%x,-(%Rsp)\n", mask);
+         asm_fprintf (stream, "\tmovm.l %I0x%x,-(%Rsp)\n", mask);
 #else
-         asm_fprintf (stream, "\tmoveml %0I0x%x,%Rsp@-\n", mask);
+         asm_fprintf (stream, "\tmoveml %I0x%x,%Rsp@-\n", mask);
 #endif
        }
       if (dwarf2out_do_frame ())
@@ -485,7 +562,7 @@ output_function_prologue (stream, size)
       asm_fprintf (stream, "\t%Olea (%Rpc, %U_GLOBAL_OFFSET_TABLE_@GOTPC), %s\n",
                   reg_names[PIC_OFFSET_TABLE_REGNUM]);
 #else
-      asm_fprintf (stream, "\tmovel %0I__GLOBAL_OFFSET_TABLE_, %s\n",
+      asm_fprintf (stream, "\tmovel %I%U_GLOBAL_OFFSET_TABLE_, %s\n",
                   reg_names[PIC_OFFSET_TABLE_REGNUM]);
       asm_fprintf (stream, "\tlea %Rpc@(0,%s:l),%s\n",
                   reg_names[PIC_OFFSET_TABLE_REGNUM],
@@ -504,35 +581,29 @@ use_return_insn ()
   if (!reload_completed || frame_pointer_needed || get_frame_size () != 0)
     return 0;
   
-  /* Copied from output_function_epilogue ().  We should probably create a
-     separate layout routine to perform the common work.  */
-  
-  for (regno = 0 ; regno < FIRST_PSEUDO_REGISTER ; regno++)
-    if (regs_ever_live[regno] && ! call_used_regs[regno])
+  for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
+    if (m68k_save_reg (regno))
       return 0;
-  
+
   return 1;
 }
 
 /* This function generates the assembly code for function exit,
-   on machines that need it.  Args are same as for FUNCTION_PROLOGUE.
+   on machines that need it.
 
    The function epilogue should not depend on the current stack pointer!
    It should use the frame pointer only, if there is a frame pointer.
    This is mandatory because of alloca; we also take advantage of it to
    omit stack adjustments before returning.  */
 
-void
-output_function_epilogue (stream, size)
-     FILE *stream;
-     int size;
+static void
+m68k_output_function_epilogue (FILE *stream, HOST_WIDE_INT size)
 {
   register int regno;
   register int mask, fmask;
   register int nregs;
-  int offset, foffset, fpoffset;
-  extern char call_used_regs[];
-  int fsize = (size + 3) & -4;
+  HOST_WIDE_INT offset, foffset;
+  HOST_WIDE_INT fsize = (size + 3) & -4;
   int big = 0;
   rtx insn = get_last_insn ();
   int restore_from_sp = 0;
@@ -544,43 +615,27 @@ output_function_epilogue (stream, size)
     {
       /* Output just a no-op so that debuggers don't get confused
         about which function the pc is in at this address.  */
-      asm_fprintf (stream, "\tnop\n");
+      fprintf (stream, "\tnop\n");
       return;
     }
 
-#ifdef FUNCTION_BLOCK_PROFILER_EXIT
-  if (profile_block_flag == 2)
-    {
-      FUNCTION_BLOCK_PROFILER_EXIT (stream);
-    }
-#endif
-
 #ifdef FUNCTION_EXTRA_EPILOGUE
   FUNCTION_EXTRA_EPILOGUE (stream, size);
 #endif
-  nregs = 0;  fmask = 0; fpoffset = 0;
-#ifdef SUPPORT_SUN_FPA
-  for (regno = 24 ; regno < 56 ; regno++)
-    if (regs_ever_live[regno] && ! call_used_regs[regno])
-      nregs++;
-  fpoffset = nregs * 8;
-#endif
-  nregs = 0;
+  nregs = 0;  fmask = 0;
   if (TARGET_68881)
     {
       for (regno = 16; regno < 24; regno++)
-       if (regs_ever_live[regno] && ! call_used_regs[regno])
+       if (m68k_save_reg (regno))
          {
            nregs++;
            fmask |= 1 << (23 - regno);
          }
     }
-  foffset = fpoffset + nregs * 12;
+  foffset = nregs * 12;
   nregs = 0;  mask = 0;
-  if (frame_pointer_needed)
-    regs_ever_live[FRAME_POINTER_REGNUM] = 0;
   for (regno = 0; regno < 16; regno++)
-    if (regs_ever_live[regno] && ! call_used_regs[regno])
+    if (m68k_save_reg (regno))
       {
         nregs++;
        mask |= 1 << regno;
@@ -588,42 +643,42 @@ output_function_epilogue (stream, size)
   offset = foffset + nregs * 4;
   /* FIXME : leaf_function_p below is too strong.
      What we really need to know there is if there could be pending
-     stack adjustment needed at that point. */
+     stack adjustment needed at that point.  */
   restore_from_sp = ! frame_pointer_needed
             || (! current_function_calls_alloca && leaf_function_p ());
   if (offset + fsize >= 0x8000
       && ! restore_from_sp
-      && (mask || fmask || fpoffset))
+      && (mask || fmask))
     {
 #ifdef MOTOROLA
-      asm_fprintf (stream, "\t%Omove.l %0I%d,%Ra1\n", -fsize);
+      asm_fprintf (stream, "\t%Omove.l %I%wd,%Ra1\n", -fsize);
 #else
-      asm_fprintf (stream, "\tmovel %0I%d,%Ra1\n", -fsize);
+      asm_fprintf (stream, "\tmovel %I%wd,%Ra1\n", -fsize);
 #endif
       fsize = 0, big = 1;
     }
-  if (TARGET_5200 || nregs <= 2)
+  if (TARGET_COLDFIRE || nregs <= 2)
     {
       /* Restore each separately in the same order moveml does.
          Using two movel instructions instead of a single moveml
          is about 15% faster for the 68020 and 68030 at no expense
-         in code size. */
+         in code size.  */
 
       int i;
 
-      /* Undo the work from above. */
+      /* Undo the work from above.  */
       for (i = 0; i< 16; i++)
         if (mask & (1 << i))
           {
             if (big)
              {
 #ifdef MOTOROLA
-               asm_fprintf (stream, "\t%Omove.l -%d(%s,%Ra1.l),%s\n",
+               asm_fprintf (stream, "\t%Omove.l -%wd(%s,%Ra1.l),%s\n",
                             offset + fsize,
                             reg_names[FRAME_POINTER_REGNUM],
                             reg_names[i]);
 #else
-               asm_fprintf (stream, "\tmovel %s@(-%d,%Ra1:l),%s\n",
+               asm_fprintf (stream, "\tmovel %s@(-%wd,%Ra1:l),%s\n",
                             reg_names[FRAME_POINTER_REGNUM],
                             offset + fsize, reg_names[i]);
 #endif
@@ -641,12 +696,12 @@ output_function_epilogue (stream, size)
             else
              {
 #ifdef MOTOROLA
-               asm_fprintf (stream, "\t%Omove.l -%d(%s),%s\n",
+               asm_fprintf (stream, "\t%Omove.l -%wd(%s),%s\n",
                             offset + fsize,
                             reg_names[FRAME_POINTER_REGNUM],
                             reg_names[i]);
 #else
-               asm_fprintf (stream, "\tmovel %s@(-%d),%s\n",
+               asm_fprintf (stream, "\tmovel %s@(-%wd),%s\n",
                             reg_names[FRAME_POINTER_REGNUM],
                             offset + fsize, reg_names[i]);
 #endif
@@ -659,12 +714,12 @@ output_function_epilogue (stream, size)
       if (big)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tmovm.l -%d(%s,%Ra1.l),%0I0x%x\n",
+         asm_fprintf (stream, "\tmovm.l -%wd(%s,%Ra1.l),%I0x%x\n",
                       offset + fsize,
                       reg_names[FRAME_POINTER_REGNUM],
                       mask);
 #else
-         asm_fprintf (stream, "\tmoveml %s@(-%d,%Ra1:l),%0I0x%x\n",
+         asm_fprintf (stream, "\tmoveml %s@(-%wd,%Ra1:l),%I0x%x\n",
                       reg_names[FRAME_POINTER_REGNUM],
                       offset + fsize, mask);
 #endif
@@ -672,20 +727,20 @@ output_function_epilogue (stream, size)
       else if (restore_from_sp)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tmovm.l (%Rsp)+,%0I0x%x\n", mask);
+         asm_fprintf (stream, "\tmovm.l (%Rsp)+,%I0x%x\n", mask);
 #else
-         asm_fprintf (stream, "\tmoveml %Rsp@+,%0I0x%x\n", mask);
+         asm_fprintf (stream, "\tmoveml %Rsp@+,%I0x%x\n", mask);
 #endif
        }
       else
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tmovm.l -%d(%s),%0I0x%x\n",
+         asm_fprintf (stream, "\tmovm.l -%wd(%s),%I0x%x\n",
                       offset + fsize,
                       reg_names[FRAME_POINTER_REGNUM],
                       mask);
 #else
-         asm_fprintf (stream, "\tmoveml %s@(-%d),%0I0x%x\n",
+         asm_fprintf (stream, "\tmoveml %s@(-%wd),%I0x%x\n",
                       reg_names[FRAME_POINTER_REGNUM],
                       offset + fsize, mask);
 #endif
@@ -696,12 +751,12 @@ output_function_epilogue (stream, size)
       if (big)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tfmovm -%d(%s,%Ra1.l),%0I0x%x\n",
+         asm_fprintf (stream, "\tfmovm -%wd(%s,%Ra1.l),%I0x%x\n",
                       foffset + fsize,
                       reg_names[FRAME_POINTER_REGNUM],
                       fmask);
 #else
-         asm_fprintf (stream, "\tfmovem %s@(-%d,%Ra1:l),%0I0x%x\n",
+         asm_fprintf (stream, "\tfmovem %s@(-%wd,%Ra1:l),%I0x%x\n",
                       reg_names[FRAME_POINTER_REGNUM],
                       foffset + fsize, fmask);
 #endif
@@ -709,139 +764,102 @@ output_function_epilogue (stream, size)
       else if (restore_from_sp)
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tfmovm (%Rsp)+,%0I0x%x\n", fmask);
+         asm_fprintf (stream, "\tfmovm (%Rsp)+,%I0x%x\n", fmask);
 #else
-         asm_fprintf (stream, "\tfmovem %Rsp@+,%0I0x%x\n", fmask);
+         asm_fprintf (stream, "\tfmovem %Rsp@+,%I0x%x\n", fmask);
 #endif
        }
       else
        {
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tfmovm -%d(%s),%0I0x%x\n",
+         asm_fprintf (stream, "\tfmovm -%wd(%s),%I0x%x\n",
                       foffset + fsize,
                       reg_names[FRAME_POINTER_REGNUM],
                       fmask);
 #else
-         asm_fprintf (stream, "\tfmovem %s@(-%d),%0I0x%x\n",
+         asm_fprintf (stream, "\tfmovem %s@(-%wd),%I0x%x\n",
                       reg_names[FRAME_POINTER_REGNUM],
                       foffset + fsize, fmask);
 #endif
        }
     }
-  if (fpoffset != 0)
-    for (regno = 55; regno >= 24; regno--)
-      if (regs_ever_live[regno] && ! call_used_regs[regno])
-        {
-         if (big)
-           {
-#ifdef MOTOROLA
-             asm_fprintf (stream, "\tfpmovd -%d(%s,%Ra1.l), %s\n",
-                          fpoffset + fsize,
-                          reg_names[FRAME_POINTER_REGNUM],
-                          reg_names[regno]);
-#else
-             asm_fprintf (stream, "\tfpmoved %s@(-%d,%Ra1:l), %s\n",
-                          reg_names[FRAME_POINTER_REGNUM],
-                          fpoffset + fsize, reg_names[regno]);
-#endif
-           }
-         else if (restore_from_sp)
-           {
-#ifdef MOTOROLA
-             asm_fprintf (stream, "\tfpmovd (%Rsp)+,%s\n",
-                          reg_names[regno]);
-#else
-             asm_fprintf (stream, "\tfpmoved %Rsp@+, %s\n",
-                          reg_names[regno]);
-#endif
-           }
-         else
-           {
-#ifdef MOTOROLA
-             asm_fprintf (stream, "\tfpmovd -%d(%s), %s\n",
-                          fpoffset + fsize,
-                          reg_names[FRAME_POINTER_REGNUM],
-                          reg_names[regno]);
-#else
-             asm_fprintf (stream, "\tfpmoved %s@(-%d), %s\n",
-                          reg_names[FRAME_POINTER_REGNUM],
-                          fpoffset + fsize, reg_names[regno]);
-#endif
-           }
-         fpoffset -= 8;
-       }
   if (frame_pointer_needed)
     fprintf (stream, "\tunlk %s\n",
             reg_names[FRAME_POINTER_REGNUM]);
   else if (fsize)
     {
-#ifdef NO_ADDSUB_Q
       if (fsize + 4 <= 8) 
        {
-         if (!TARGET_5200)
+         if (!TARGET_COLDFIRE)
            {
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\taddq.w %OI%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\taddq.w %I%wd,%Rsp\n", fsize + 4);
 #else
-             asm_fprintf (stream, "\taddqw %OI%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\taddqw %I%wd,%Rsp\n", fsize + 4);
 #endif
            }
          else
            {
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\taddq.l %OI%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\taddq.l %I%wd,%Rsp\n", fsize + 4);
 #else
-             asm_fprintf (stream, "\taddql %OI%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\taddql %I%wd,%Rsp\n", fsize + 4);
 #endif
            }
        }
       else if (fsize + 4 <= 16 && TARGET_CPU32)
        {
          /* On the CPU32 it is faster to use two addqw instructions to
-            add a small integer (8 < N <= 16) to a register. */
-         /* asm_fprintf() cannot handle %. */
+            add a small integer (8 < N <= 16) to a register.  */
+         /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\taddq.w %OI8,%Rsp\n\taddq.w %OI%d,%Rsp\n",
-                      fsize + 4);
+         asm_fprintf (stream, "\taddq.w %I8,%Rsp\n\taddq.w %I%wd,%Rsp\n",
+                      fsize + 4 - 8);
 #else
-         asm_fprintf (stream, "\taddqw %OI8,%Rsp\n\taddqw %OI%d,%Rsp\n",
-                      fsize + 4);
+         asm_fprintf (stream, "\taddqw %I8,%Rsp\n\taddqw %I%wd,%Rsp\n",
+                      fsize + 4 - 8);
 #endif
        }
-      else
-#endif /* NO_ADDSUB_Q */
-      if (fsize + 4 < 0x8000)
+      else if (fsize + 4 < 0x8000)
        {
          if (TARGET_68040)
            { 
-             /* asm_fprintf() cannot handle %. */
+             /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\tadd.w %0I%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\tadd.w %I%wd,%Rsp\n", fsize + 4);
 #else
-             asm_fprintf (stream, "\taddw %0I%d,%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\taddw %I%wd,%Rsp\n", fsize + 4);
 #endif
            }
          else
            {
 #ifdef MOTOROLA
-             asm_fprintf (stream, "\tlea (%d,%Rsp),%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\tlea (%wd,%Rsp),%Rsp\n", fsize + 4);
 #else
-             asm_fprintf (stream, "\tlea %Rsp@(%d),%Rsp\n", fsize + 4);
+             asm_fprintf (stream, "\tlea %Rsp@(%wd),%Rsp\n", fsize + 4);
 #endif
            }
        }
       else
        {
-       /* asm_fprintf() cannot handle %. */
+       /* asm_fprintf() cannot handle %.  */
 #ifdef MOTOROLA
-         asm_fprintf (stream, "\tadd.l %0I%d,%Rsp\n", fsize + 4);
+         asm_fprintf (stream, "\tadd.l %I%wd,%Rsp\n", fsize + 4);
 #else
-         asm_fprintf (stream, "\taddl %0I%d,%Rsp\n", fsize + 4);
+         asm_fprintf (stream, "\taddl %I%wd,%Rsp\n", fsize + 4);
 #endif
        }
     }
+  if (current_function_calls_eh_return)
+    {
+#ifdef MOTOROLA
+      asm_fprintf (stream, "\tadd.l %Ra0,%Rsp\n");
+#else
+      asm_fprintf (stream, "\taddl %Ra0,%Rsp\n");
+#endif
+    }
   if (current_function_pops_args)
-    asm_fprintf (stream, "\trtd %0I%d\n", current_function_pops_args);
+    asm_fprintf (stream, "\trtd %I%d\n", current_function_pops_args);
   else
     fprintf (stream, "\trts\n");
 }
@@ -849,14 +867,12 @@ output_function_epilogue (stream, size)
 /* Similar to general_operand, but exclude stack_pointer_rtx.  */
 
 int
-not_sp_operand (op, mode)
-     register rtx op;
-     enum machine_mode mode;
+not_sp_operand (rtx op, enum machine_mode mode)
 {
-  return op != stack_pointer_rtx && general_operand (op, mode);
+  return op != stack_pointer_rtx && nonimmediate_operand (op, mode);
 }
 
-/* Return TRUE if X is a valid comparison operator for the dbcc 
+/* Return true if X is a valid comparison operator for the dbcc 
    instruction.  
 
    Note it rejects floating point comparison operators.
@@ -865,9 +881,7 @@ not_sp_operand (op, mode)
    It also rejects some comparisons when CC_NO_OVERFLOW is set.  */
    
 int
-valid_dbcc_comparison_p (x, mode)
-     rtx x;
-     enum machine_mode mode ATTRIBUTE_UNUSED;
+valid_dbcc_comparison_p (rtx x, enum machine_mode mode ATTRIBUTE_UNUSED)
 {
   switch (GET_CODE (x))
     {
@@ -884,9 +898,9 @@ valid_dbcc_comparison_p (x, mode)
     }
 }
 
-/* Return non-zero if flags are currently in the 68881 flag register.  */
+/* Return nonzero if flags are currently in the 68881 flag register.  */
 int
-flags_in_68881 ()
+flags_in_68881 (void)
 {
   /* We could add support for these in the future */
   return cc_status.flags & CC_IN_68881;
@@ -899,8 +913,7 @@ flags_in_68881 ()
    kick those out before we get here.  */
 
 void
-output_dbcc_and_branch (operands)
-     rtx *operands;
+output_dbcc_and_branch (rtx *operands)
 {
   switch (GET_CODE (operands[3]))
     {
@@ -989,7 +1002,7 @@ output_dbcc_and_branch (operands)
     }
 
   /* If the decrement is to be done in SImode, then we have
-     to compensate for the fact that dbcc decrements in HImode. */
+     to compensate for the fact that dbcc decrements in HImode.  */
   switch (GET_MODE (operands[0]))
     {
       case SImode:
@@ -1008,17 +1021,13 @@ output_dbcc_and_branch (operands)
     }
 }
 
-char *
-output_scc_di(op, operand1, operand2, dest)
-     rtx op;
-     rtx operand1;
-     rtx operand2;
-     rtx dest;
+const char *
+output_scc_di(rtx op, rtx operand1, rtx operand2, rtx dest)
 {
   rtx loperands[7];
   enum rtx_code op_code = GET_CODE (op);
 
-  /* This does not produce a usefull cc.  */
+  /* This does not produce a useful cc.  */
   CC_STATUS_INIT;
 
   /* The m68k cmp.l instruction requires operand1 to be a reg as used
@@ -1036,14 +1045,14 @@ output_scc_di(op, operand1, operand2, dest)
   if (GET_CODE (operand1) == REG)
     loperands[1] = gen_rtx_REG (SImode, REGNO (operand1) + 1);
   else
-    loperands[1] = adj_offsettable_operand (operand1, 4);
+    loperands[1] = adjust_address (operand1, SImode, 4);
   if (operand2 != const0_rtx)
     {
       loperands[2] = operand2;
       if (GET_CODE (operand2) == REG)
        loperands[3] = gen_rtx_REG (SImode, REGNO (operand2) + 1);
       else
-       loperands[3] = adj_offsettable_operand (operand2, 4);
+       loperands[3] = adjust_address (operand2, SImode, 4);
     }
   loperands[4] = gen_label_rtx();
   if (operand2 != const0_rtx)
@@ -1064,7 +1073,7 @@ output_scc_di(op, operand1, operand2, dest)
     }
   else
     {
-      if (TARGET_68020 || TARGET_5200 || ! ADDRESS_REG_P (loperands[0]))
+      if (TARGET_68020 || TARGET_COLDFIRE || ! ADDRESS_REG_P (loperands[0]))
        output_asm_insn ("tst%.l %0", loperands);
       else
        {
@@ -1081,7 +1090,7 @@ output_scc_di(op, operand1, operand2, dest)
       output_asm_insn ("jne %l4", loperands);
 #endif
 
-      if (TARGET_68020 || TARGET_5200 || ! ADDRESS_REG_P (loperands[1]))
+      if (TARGET_68020 || TARGET_COLDFIRE || ! ADDRESS_REG_P (loperands[1]))
        output_asm_insn ("tst%.l %1", loperands);
       else
        {
@@ -1098,13 +1107,13 @@ output_scc_di(op, operand1, operand2, dest)
   switch (op_code)
     {
       case EQ:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("seq %5", loperands);
         break;
 
       case NE:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("sne %5", loperands);
         break;
@@ -1116,15 +1125,15 @@ output_scc_di(op, operand1, operand2, dest)
 #else
         output_asm_insn ("shi %5\n\tjra %l6", loperands);
 #endif
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("sgt %5", loperands);
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[6]));
         break;
 
       case GTU:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("shi %5", loperands);
         break;
@@ -1136,15 +1145,15 @@ output_scc_di(op, operand1, operand2, dest)
 #else
         output_asm_insn ("scs %5\n\tjra %l6", loperands);
 #endif
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("slt %5", loperands);
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[6]));
         break;
 
       case LTU:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("scs %5", loperands);
         break;
@@ -1156,15 +1165,15 @@ output_scc_di(op, operand1, operand2, dest)
 #else
         output_asm_insn ("scc %5\n\tjra %l6", loperands);
 #endif
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("sge %5", loperands);
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[6]));
         break;
 
       case GEU:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("scc %5", loperands);
         break;
@@ -1176,15 +1185,15 @@ output_scc_di(op, operand1, operand2, dest)
 #else
         output_asm_insn ("sls %5\n\tjra %l6", loperands);
 #endif
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("sle %5", loperands);
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[6]));
         break;
 
       case LEU:
-        ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "L",
+        (*targetm.asm_out.internal_label) (asm_out_file, "L",
                                    CODE_LABEL_NUMBER (loperands[4]));
         output_asm_insn ("sls %5", loperands);
         break;
@@ -1195,12 +1204,8 @@ output_scc_di(op, operand1, operand2, dest)
   return "";
 }
 
-char *
-output_btst (operands, countop, dataop, insn, signpos)
-     rtx *operands;
-     rtx countop, dataop;
-     rtx insn;
-     int signpos;
+const char *
+output_btst (rtx *operands, rtx countop, rtx dataop, rtx insn, int signpos)
 {
   operands[0] = countop;
   operands[1] = dataop;
@@ -1214,7 +1219,7 @@ output_btst (operands, countop, dataop, insn, signpos)
        {
          int offset = (count & ~signpos) / 8;
          count = count & signpos;
-         operands[1] = dataop = adj_offsettable_operand (dataop, offset);
+         operands[1] = dataop = adjust_address (dataop, QImode, offset);
        }
       if (count == signpos)
        cc_status.flags = CC_NOT_POSITIVE | CC_Z_IN_NOT_N;
@@ -1238,19 +1243,17 @@ output_btst (operands, countop, dataop, insn, signpos)
   return "btst %0,%1";
 }
 \f
-/* Returns 1 if OP is either a symbol reference or a sum of a symbol
+/* Returns true if OP is either a symbol reference or a sum of a symbol
    reference and a constant.  */
 
-int
-symbolic_operand (op, mode)
-     register rtx op;
-     enum machine_mode mode ATTRIBUTE_UNUSED;
+bool
+symbolic_operand (rtx op, enum machine_mode mode ATTRIBUTE_UNUSED)
 {
   switch (GET_CODE (op))
     {
     case SYMBOL_REF:
     case LABEL_REF:
-      return 1;
+      return true;
 
     case CONST:
       op = XEXP (op, 0);
@@ -1265,16 +1268,14 @@ symbolic_operand (op, mode)
 #endif
 
     default:
-      return 0;
+      return false;
     }
 }
 \f
-/* Check for sign_extend or zero_extend.  Used for bit-count operands. */
+/* Check for sign_extend or zero_extend.  Used for bit-count operands.  */
 
 int
-extend_operator(x, mode)
-     rtx x;
-     enum machine_mode mode;
+extend_operator(rtx x, enum machine_mode mode)
 {
     if (mode != VOIDmode && GET_MODE(x) != mode)
        return 0;
@@ -1330,9 +1331,8 @@ extend_operator(x, mode)
    handled.  */
 
 rtx
-legitimize_pic_address (orig, mode, reg)
-     rtx orig, reg;
-     enum machine_mode mode ATTRIBUTE_UNUSED;
+legitimize_pic_address (rtx orig, enum machine_mode mode ATTRIBUTE_UNUSED,
+                       rtx reg)
 {
   rtx pic_ref = orig;
 
@@ -1346,8 +1346,6 @@ legitimize_pic_address (orig, mode, reg)
                             gen_rtx_PLUS (Pmode,
                                           pic_offset_table_rtx, orig));
       current_function_uses_pic_offset_table = 1;
-      if (reload_in_progress)
-       regs_ever_live[PIC_OFFSET_TABLE_REGNUM] = 1;
       RTX_UNCHANGING_P (pic_ref) = 1;
       emit_move_insn (reg, pic_ref);
       return reg;
@@ -1374,7 +1372,7 @@ legitimize_pic_address (orig, mode, reg)
       else abort ();
 
       if (GET_CODE (orig) == CONST_INT)
-       return plus_constant_for_output (base, INTVAL (orig));
+       return plus_constant (base, INTVAL (orig));
       pic_ref = gen_rtx_PLUS (Pmode, base, orig);
       /* Likewise, should we set special REG_NOTEs here?  */
     }
@@ -1384,11 +1382,12 @@ legitimize_pic_address (orig, mode, reg)
 \f
 typedef enum { MOVL, SWAP, NEGW, NOTW, NOTB, MOVQ } CONST_METHOD;
 
+static CONST_METHOD const_method (rtx);
+
 #define USE_MOVQ(i)    ((unsigned)((i) + 128) <= 255)
 
-CONST_METHOD
-const_method (constant)
-     rtx constant;
+static CONST_METHOD
+const_method (rtx constant)
 {
   int i;
   unsigned u;
@@ -1397,12 +1396,12 @@ const_method (constant)
   if (USE_MOVQ (i))
     return MOVQ;
 
-  /* The Coldfire doesn't have byte or word operations. */
+  /* The Coldfire doesn't have byte or word operations.  */
   /* FIXME: This may not be useful for the m68060 either */
-  if (!TARGET_5200
+  if (!TARGET_COLDFIRE
     {
       /* if -256 < N < 256 but N is not in range for a moveq
-        N^ff will be, so use moveq #N^ff, dreg; not.b dreg. */
+        N^ff will be, so use moveq #N^ff, dreg; not.b dreg.  */
       if (USE_MOVQ (i ^ 0xff))
        return NOTB;
       /* Likewise, try with not.w */
@@ -1420,9 +1419,8 @@ const_method (constant)
   return MOVL;
 }
 
-int
-const_int_cost (constant)
-     rtx constant;
+static int
+const_int_cost (rtx constant)
 {
   switch (const_method (constant))
     {
@@ -1442,9 +1440,131 @@ const_int_cost (constant)
     }
 }
 
-char *
-output_move_const_into_data_reg (operands)
-     rtx *operands;
+static bool
+m68k_rtx_costs (rtx x, int code, int outer_code, int *total)
+{
+  switch (code)
+    {
+    case CONST_INT:
+      /* Constant zero is super cheap due to clr instruction.  */
+      if (x == const0_rtx)
+       *total = 0;
+      else
+        *total = const_int_cost (x);
+      return true;
+
+    case CONST:
+    case LABEL_REF:
+    case SYMBOL_REF:
+      *total = 3;
+      return true;
+
+    case CONST_DOUBLE:
+      /* Make 0.0 cheaper than other floating constants to
+         encourage creating tstsf and tstdf insns.  */
+      if (outer_code == COMPARE
+          && (x == CONST0_RTX (SFmode) || x == CONST0_RTX (DFmode)))
+       *total = 4;
+      else
+       *total = 5;
+      return true;
+
+    /* These are vaguely right for a 68020.  */
+    /* The costs for long multiply have been adjusted to work properly
+       in synth_mult on the 68020, relative to an average of the time
+       for add and the time for shift, taking away a little more because
+       sometimes move insns are needed.  */
+    /* div?.w is relatively cheaper on 68000 counted in COSTS_N_INSNS terms.  */
+#define MULL_COST (TARGET_68060 ? 2 : TARGET_68040 ? 5 : TARGET_CFV3 ? 3 : TARGET_COLDFIRE ? 10 : 13)
+#define MULW_COST (TARGET_68060 ? 2 : TARGET_68040 ? 3 : TARGET_68020 ? 8 : \
+                       TARGET_CFV3 ? 2 : 5)
+#define DIVW_COST (TARGET_68020 ? 27 : TARGET_CF_HWDIV ? 11 : 12)
+
+    case PLUS:
+      /* An lea costs about three times as much as a simple add.  */
+      if (GET_MODE (x) == SImode
+         && GET_CODE (XEXP (x, 1)) == REG
+         && GET_CODE (XEXP (x, 0)) == MULT
+         && GET_CODE (XEXP (XEXP (x, 0), 0)) == REG
+         && GET_CODE (XEXP (XEXP (x, 0), 1)) == CONST_INT
+         && (INTVAL (XEXP (XEXP (x, 0), 1)) == 2
+             || INTVAL (XEXP (XEXP (x, 0), 1)) == 4
+             || INTVAL (XEXP (XEXP (x, 0), 1)) == 8))
+       {
+           /* lea an@(dx:l:i),am */
+           *total = COSTS_N_INSNS (TARGET_COLDFIRE ? 2 : 3);
+           return true;
+       }
+      return false;
+
+    case ASHIFT:
+    case ASHIFTRT:
+    case LSHIFTRT:
+      if (TARGET_68060)
+       {
+          *total = COSTS_N_INSNS(1);
+         return true;
+       }
+      if (! TARGET_68020 && ! TARGET_COLDFIRE)
+        {
+         if (GET_CODE (XEXP (x, 1)) == CONST_INT)
+           {
+             if (INTVAL (XEXP (x, 1)) < 16)
+               *total = COSTS_N_INSNS (2) + INTVAL (XEXP (x, 1)) / 2;
+             else
+               /* We're using clrw + swap for these cases.  */
+               *total = COSTS_N_INSNS (4) + (INTVAL (XEXP (x, 1)) - 16) / 2;
+           }
+         else
+           *total = COSTS_N_INSNS (10); /* worst case */
+         return true;
+        }
+      /* A shift by a big integer takes an extra instruction.  */
+      if (GET_CODE (XEXP (x, 1)) == CONST_INT
+         && (INTVAL (XEXP (x, 1)) == 16))
+       {
+         *total = COSTS_N_INSNS (2);    /* clrw;swap */
+         return true;
+       }
+      if (GET_CODE (XEXP (x, 1)) == CONST_INT
+         && !(INTVAL (XEXP (x, 1)) > 0
+              && INTVAL (XEXP (x, 1)) <= 8))
+       {
+         *total = COSTS_N_INSNS (TARGET_COLDFIRE ? 1 : 3);      /* lsr #i,dn */
+         return true;
+       }
+      return false;
+
+    case MULT:
+      if ((GET_CODE (XEXP (x, 0)) == ZERO_EXTEND
+          || GET_CODE (XEXP (x, 0)) == SIGN_EXTEND)
+         && GET_MODE (x) == SImode)
+        *total = COSTS_N_INSNS (MULW_COST);
+      else if (GET_MODE (x) == QImode || GET_MODE (x) == HImode)
+        *total = COSTS_N_INSNS (MULW_COST);
+      else
+        *total = COSTS_N_INSNS (MULL_COST);
+      return true;
+
+    case DIV:
+    case UDIV:
+    case MOD:
+    case UMOD:
+      if (GET_MODE (x) == QImode || GET_MODE (x) == HImode)
+        *total = COSTS_N_INSNS (DIVW_COST);    /* div.w */
+      else if (TARGET_CF_HWDIV)
+        *total = COSTS_N_INSNS (18);
+      else
+       *total = COSTS_N_INSNS (43);            /* div.l */
+      return true;
+
+    default:
+      return false;
+    }
+}
+
+const char *
+output_move_const_into_data_reg (rtx *operands)
 {
   int i;
 
@@ -1452,41 +1572,21 @@ output_move_const_into_data_reg (operands)
   switch (const_method (operands[1]))
     {
     case MOVQ :
-#if defined (MOTOROLA) && !defined (CRDS)
-      return "moveq%.l %1,%0";
-#else
       return "moveq %1,%0";
-#endif
     case NOTB :
       operands[1] = GEN_INT (i ^ 0xff);
-#if defined (MOTOROLA) && !defined (CRDS)
-      return "moveq%.l %1,%0\n\tnot%.b %0";
-#else
       return "moveq %1,%0\n\tnot%.b %0";
-#endif  
     case NOTW :
       operands[1] = GEN_INT (i ^ 0xffff);
-#if defined (MOTOROLA) && !defined (CRDS)
-      return "moveq%.l %1,%0\n\tnot%.w %0";
-#else
       return "moveq %1,%0\n\tnot%.w %0";
-#endif  
     case NEGW :
-#if defined (MOTOROLA) && !defined (CRDS)
-      return "moveq%.l %#-128,%0\n\tneg%.w %0";
-#else
       return "moveq %#-128,%0\n\tneg%.w %0";
-#endif  
     case SWAP :
       {
        unsigned u = i;
 
        operands[1] = GEN_INT ((u << 16) | (u >> 16));
-#if defined (MOTOROLA) && !defined (CRDS)
-       return "moveq%.l %1,%0\n\tswap %0";
-#else
        return "moveq %1,%0\n\tswap %0";
-#endif  
       }
     case MOVL :
        return "move%.l %1,%0";
@@ -1495,16 +1595,15 @@ output_move_const_into_data_reg (operands)
     }
 }
 
-char *
-output_move_simode_const (operands)
-     rtx *operands;
+const char *
+output_move_simode_const (rtx *operands)
 {
   if (operands[1] == const0_rtx
       && (DATA_REG_P (operands[0])
          || GET_CODE (operands[0]) == MEM)
       /* clr insns on 68000 read before writing.
         This isn't so on the 68010, but we have no TARGET_68010.  */
-      && ((TARGET_68020 || TARGET_5200)
+      && ((TARGET_68020 || TARGET_COLDFIRE)
          || !(GET_CODE (operands[0]) == MEM
               && MEM_VOLATILE_P (operands[0]))))
     return "clr%.l %0";
@@ -1526,9 +1625,8 @@ output_move_simode_const (operands)
   return "move%.l %1,%0";
 }
 
-char *
-output_move_simode (operands)
-     rtx *operands;
+const char *
+output_move_simode (rtx *operands)
 {
   if (GET_CODE (operands[1]) == CONST_INT)
     return output_move_simode_const (operands);
@@ -1543,9 +1641,8 @@ output_move_simode (operands)
   return "move%.l %1,%0";
 }
 
-char *
-output_move_himode (operands)
-     rtx *operands;
+const char *
+output_move_himode (rtx *operands)
 {
  if (GET_CODE (operands[1]) == CONST_INT)
     {
@@ -1554,7 +1651,7 @@ output_move_himode (operands)
              || GET_CODE (operands[0]) == MEM)
          /* clr insns on 68000 read before writing.
             This isn't so on the 68010, but we have no TARGET_68010.  */
-         && ((TARGET_68020 || TARGET_5200)
+         && ((TARGET_68020 || TARGET_COLDFIRE)
              || !(GET_CODE (operands[0]) == MEM
                   && MEM_VOLATILE_P (operands[0]))))
        return "clr%.w %0";
@@ -1565,11 +1662,7 @@ output_move_himode (operands)
               && INTVAL (operands[1]) < 128
               && INTVAL (operands[1]) >= -128)
        {
-#if defined(MOTOROLA) && !defined(CRDS)
-         return "moveq%.l %1,%0";
-#else
          return "moveq %1,%0";
-#endif
        }
       else if (INTVAL (operands[1]) < 0x8000
               && INTVAL (operands[1]) >= -0x8000)
@@ -1577,7 +1670,6 @@ output_move_himode (operands)
     }
   else if (CONSTANT_P (operands[1]))
     return "move%.l %1,%0";
-#ifndef SGS_NO_LI
   /* Recognize the insn before a tablejump, one that refers
      to a table of offsets.  Such an insn will need to refer
      to a label on the insn.  So output one.  Use the label-number
@@ -1599,7 +1691,7 @@ output_move_himode (operands)
                   CODE_LABEL_NUMBER (XEXP (labelref, 0)));
 #endif /* not SGS */
 #else /* SGS_SWITCH_TABLES or not MOTOROLA */
-      ASM_OUTPUT_INTERNAL_LABEL (asm_out_file, "LI",
+      (*targetm.asm_out.internal_label) (asm_out_file, "LI",
                                 CODE_LABEL_NUMBER (XEXP (labelref, 0)));
 #ifdef SGS_SWITCH_TABLES
       /* Set flag saying we need to define the symbol
@@ -1608,13 +1700,11 @@ output_move_himode (operands)
 #endif /* SGS_SWITCH_TABLES */
 #endif /* SGS_SWITCH_TABLES or not MOTOROLA */
     }
-#endif /* SGS_NO_LI */
   return "move%.w %1,%0";
 }
 
-char *
-output_move_qimode (operands)
-     rtx *operands;
+const char *
+output_move_qimode (rtx *operands)
 {
   rtx xoperands[4];
 
@@ -1626,7 +1716,7 @@ output_move_qimode (operands)
       && GET_CODE (XEXP (operands[0], 0)) == PRE_DEC
       && XEXP (XEXP (operands[0], 0), 0) == stack_pointer_rtx
       && ! ADDRESS_REG_P (operands[1])
-      && ! TARGET_5200)
+      && ! TARGET_COLDFIRE)
     {
       xoperands[1] = operands[1];
       xoperands[2]
@@ -1637,11 +1727,7 @@ output_move_qimode (operands)
       if (!reg_mentioned_p (stack_pointer_rtx, operands[1]))
        {
          xoperands[3] = stack_pointer_rtx;
-#ifndef NO_ADDSUB_Q
          output_asm_insn ("subq%.l %#2,%3\n\tmove%.b %1,%2", xoperands);
-#else
-         output_asm_insn ("sub%.l %#2,%3\n\tmove%.b %1,%2", xoperands);
-#endif
        }
       else
        output_asm_insn ("move%.b %1,%-\n\tmove%.b %@,%2", xoperands);
@@ -1651,12 +1737,12 @@ output_move_qimode (operands)
   /* clr and st insns on 68000 read before writing.
      This isn't so on the 68010, but we have no TARGET_68010.  */
   if (!ADDRESS_REG_P (operands[0])
-      && ((TARGET_68020 || TARGET_5200)
+      && ((TARGET_68020 || TARGET_COLDFIRE)
          || !(GET_CODE (operands[0]) == MEM && MEM_VOLATILE_P (operands[0]))))
     {
       if (operands[1] == const0_rtx)
        return "clr%.b %0";
-      if ((!TARGET_5200 || DATA_REG_P (operands[0]))
+      if ((!TARGET_COLDFIRE || DATA_REG_P (operands[0]))
          && GET_CODE (operands[1]) == CONST_INT
          && (INTVAL (operands[1]) & 255) == 255)
        {
@@ -1669,11 +1755,7 @@ output_move_qimode (operands)
       && INTVAL (operands[1]) < 128
       && INTVAL (operands[1]) >= -128)
     {
-#if defined(MOTOROLA) && !defined(CRDS)
-      return "moveq%.l %1,%0";
-#else
       return "moveq %1,%0";
-#endif
     }
   if (operands[1] == const0_rtx && ADDRESS_REG_P (operands[0]))
     return "sub%.l %0,%0";
@@ -1686,27 +1768,25 @@ output_move_qimode (operands)
   return "move%.b %1,%0";
 }
 
-char *
-output_move_stricthi (operands)
-     rtx *operands;
+const char *
+output_move_stricthi (rtx *operands)
 {
   if (operands[1] == const0_rtx
       /* clr insns on 68000 read before writing.
         This isn't so on the 68010, but we have no TARGET_68010.  */
-      && ((TARGET_68020 || TARGET_5200)
+      && ((TARGET_68020 || TARGET_COLDFIRE)
          || !(GET_CODE (operands[0]) == MEM && MEM_VOLATILE_P (operands[0]))))
     return "clr%.w %0";
   return "move%.w %1,%0";
 }
 
-char *
-output_move_strictqi (operands)
-     rtx *operands;
+const char *
+output_move_strictqi (rtx *operands)
 {
   if (operands[1] == const0_rtx
       /* clr insns on 68000 read before writing.
          This isn't so on the 68010, but we have no TARGET_68010.  */
-      && ((TARGET_68020 || TARGET_5200)
+      && ((TARGET_68020 || TARGET_COLDFIRE)
           || !(GET_CODE (operands[0]) == MEM && MEM_VOLATILE_P (operands[0]))))
     return "clr%.b %0";
   return "move%.b %1,%0";
@@ -1715,14 +1795,9 @@ output_move_strictqi (operands)
 /* Return the best assembler insn template
    for moving operands[1] into operands[0] as a fullword.  */
 
-static char *
-singlemove_string (operands)
-     rtx *operands;
+static const char *
+singlemove_string (rtx *operands)
 {
-#ifdef SUPPORT_SUN_FPA
-  if (FPA_REG_P (operands[0]) || FPA_REG_P (operands[1]))
-    return "fpmoves %1,%0";
-#endif
   if (GET_CODE (operands[1]) == CONST_INT)
     return output_move_simode_const (operands);
   return "move%.l %1,%0";
@@ -1732,9 +1807,8 @@ singlemove_string (operands)
 /* Output assembler code to perform a doubleword move insn
    with operands OPERANDS.  */
 
-char *
-output_move_double (operands)
-     rtx *operands;
+const char *
+output_move_double (rtx *operands)
 {
   enum
     {
@@ -1849,8 +1923,8 @@ output_move_double (operands)
        }
       else if (optype0 == OFFSOP)
        {
-         middlehalf[0] = adj_offsettable_operand (operands[0], 4);
-         latehalf[0] = adj_offsettable_operand (operands[0], size - 4);
+         middlehalf[0] = adjust_address (operands[0], SImode, 4);
+         latehalf[0] = adjust_address (operands[0], SImode, size - 4);
        }
       else
        {
@@ -1865,8 +1939,8 @@ output_move_double (operands)
        }
       else if (optype1 == OFFSOP)
        {
-         middlehalf[1] = adj_offsettable_operand (operands[1], 4);
-         latehalf[1] = adj_offsettable_operand (operands[1], size - 4);
+         middlehalf[1] = adjust_address (operands[1], SImode, 4);
+         latehalf[1] = adjust_address (operands[1], SImode, size - 4);
        }
       else if (optype1 == CNSTOP)
        {
@@ -1904,14 +1978,14 @@ output_move_double (operands)
       if (optype0 == REGOP)
        latehalf[0] = gen_rtx_REG (SImode, REGNO (operands[0]) + 1);
       else if (optype0 == OFFSOP)
-       latehalf[0] = adj_offsettable_operand (operands[0], size - 4);
+       latehalf[0] = adjust_address (operands[0], SImode, size - 4);
       else
        latehalf[0] = operands[0];
 
       if (optype1 == REGOP)
        latehalf[1] = gen_rtx_REG (SImode, REGNO (operands[1]) + 1);
       else if (optype1 == OFFSOP)
-       latehalf[1] = adj_offsettable_operand (operands[1], size - 4);
+       latehalf[1] = adjust_address (operands[1], SImode, size - 4);
       else if (optype1 == CNSTOP)
        split_double (operands[1], &operands[1], &latehalf[1]);
       else
@@ -1946,16 +2020,16 @@ compadr:
          xops[0] = latehalf[0];
          xops[1] = XEXP (operands[1], 0);
          output_asm_insn ("lea %a1,%0", xops);
-         ifGET_MODE (operands[1]) == XFmode )
+         if (GET_MODE (operands[1]) == XFmode )
            {
              operands[1] = gen_rtx_MEM (XFmode, latehalf[0]);
-             middlehalf[1] = adj_offsettable_operand (operands[1], size-8);
-             latehalf[1] = adj_offsettable_operand (operands[1], size-4);
+             middlehalf[1] = adjust_address (operands[1], DImode, size - 8);
+             latehalf[1] = adjust_address (operands[1], DImode, size - 4);
            }
          else
            {
              operands[1] = gen_rtx_MEM (DImode, latehalf[0]);
-             latehalf[1] = adj_offsettable_operand (operands[1], size-4);
+             latehalf[1] = adjust_address (operands[1], DImode, size - 4);
            }
        }
       else if (size == 12
@@ -1976,7 +2050,7 @@ compadr:
          if (addreg0 || addreg1)
            abort ();
 
-         /* Only the middle reg conflicts; simply put it last. */
+         /* Only the middle reg conflicts; simply put it last.  */
          output_asm_insn (singlemove_string (operands), operands);
          output_asm_insn (singlemove_string (latehalf), latehalf);
          output_asm_insn (singlemove_string (middlehalf), middlehalf);
@@ -2087,8 +2161,7 @@ compadr:
    ADDR can be effectively incremented by incrementing REG.  */
 
 static rtx
-find_addr_reg (addr)
-     rtx addr;
+find_addr_reg (rtx addr)
 {
   while (GET_CODE (addr) == PLUS)
     {
@@ -2110,9 +2183,8 @@ find_addr_reg (addr)
 
 /* Output assembler code to perform a 32 bit 3 operand add.  */
 
-char *
-output_addsi3 (operands)
-     rtx *operands;
+const char *
+output_addsi3 (rtx *operands)
 {
   if (! operands_match_p (operands[0], operands[1]))
     {
@@ -2134,8 +2206,7 @@ output_addsi3 (operands)
        return "lea 0(%1,%2.l),%0";
       else
        return "lea %c2(%1),%0";
-#else /* not SGS */
-#ifdef MOTOROLA
+#elif defined(MOTOROLA)
       if (GET_CODE (operands[2]) == REG)
        return "lea (%1,%2.l),%0";
       else
@@ -2146,23 +2217,21 @@ output_addsi3 (operands)
       else
        return "lea %1@(%c2),%0";
 #endif /* not MOTOROLA */
-#endif /* not SGS */
     }
   if (GET_CODE (operands[2]) == CONST_INT)
     {
-#ifndef NO_ADDSUB_Q
       if (INTVAL (operands[2]) > 0
          && INTVAL (operands[2]) <= 8)
        return "addq%.l %2,%0";
       if (INTVAL (operands[2]) < 0
          && INTVAL (operands[2]) >= -8)
         {
-         operands[2] = GEN_INT (-INTVAL (operands[2]));
+         operands[2] = GEN_INT (- INTVAL (operands[2]));
          return "subq%.l %2,%0";
        }
       /* On the CPU32 it is faster to use two addql instructions to
         add a small integer (8 < N <= 16) to a register.
-        Likewise for subql. */
+        Likewise for subql.  */
       if (TARGET_CPU32 && REG_P (operands[0]))
        {
          if (INTVAL (operands[2]) > 8
@@ -2174,11 +2243,10 @@ output_addsi3 (operands)
          if (INTVAL (operands[2]) < -8
              && INTVAL (operands[2]) >= -16)
            {
-             operands[2] = GEN_INT (-INTVAL (operands[2]) - 8);
+             operands[2] = GEN_INT (- INTVAL (operands[2]) - 8);
              return "subq%.l %#8,%0\n\tsubq%.l %2,%0";
            }
        }
-#endif
       if (ADDRESS_REG_P (operands[0])
          && INTVAL (operands[2]) >= -0x8000
          && INTVAL (operands[2]) < 0x8000)
@@ -2206,22 +2274,9 @@ output_addsi3 (operands)
    some or all of the saved cc's so they won't be used.  */
 
 void
-notice_update_cc (exp, insn)
-     rtx exp;
-     rtx insn;
+notice_update_cc (rtx exp, rtx insn)
 {
-  /* If the cc is being set from the fpa and the expression is not an
-     explicit floating point test instruction (which has code to deal with
-     this), reinit the CC.  */
-  if (((cc_status.value1 && FPA_REG_P (cc_status.value1))
-       || (cc_status.value2 && FPA_REG_P (cc_status.value2)))
-      && !(GET_CODE (exp) == PARALLEL
-          && GET_CODE (XVECEXP (exp, 0, 0)) == SET
-          && XEXP (XVECEXP (exp, 0, 0), 0) == cc0_rtx))
-    {
-      CC_STATUS_INIT; 
-    }
-  else if (GET_CODE (exp) == SET)
+  if (GET_CODE (exp) == SET)
     {
       if (GET_CODE (SET_SRC (exp)) == CALL)
        {
@@ -2282,8 +2337,7 @@ notice_update_cc (exp, insn)
       && ADDRESS_REG_P (cc_status.value2)
       && GET_MODE (cc_status.value2) == QImode)
     CC_STATUS_INIT;
-  if (cc_status.value2 != 0
-      && !(cc_status.value1 && FPA_REG_P (cc_status.value1)))
+  if (cc_status.value2 != 0)
     switch (GET_CODE (cc_status.value2))
       {
       case PLUS: case MINUS: case MULT:
@@ -2299,7 +2353,7 @@ notice_update_cc (exp, insn)
        /* (SET r1 (ZERO_EXTEND r2)) on this machine
           ends with a move insn moving r2 in r2's mode.
           Thus, the cc's are set for r2.
-          This can set N bit spuriously. */
+          This can set N bit spuriously.  */
        cc_status.flags |= CC_NOT_NEGATIVE; 
 
       default:
@@ -2310,78 +2364,38 @@ notice_update_cc (exp, insn)
       && reg_overlap_mentioned_p (cc_status.value1, cc_status.value2))
     cc_status.value2 = 0;
   if (((cc_status.value1 && FP_REG_P (cc_status.value1))
-       || (cc_status.value2 && FP_REG_P (cc_status.value2)))
-      && !((cc_status.value1 && FPA_REG_P (cc_status.value1))
-          || (cc_status.value2 && FPA_REG_P (cc_status.value2))))
+       || (cc_status.value2 && FP_REG_P (cc_status.value2))))
     cc_status.flags = CC_IN_68881;
 }
 \f
-char *
-output_move_const_double (operands)
-     rtx *operands;
+const char *
+output_move_const_double (rtx *operands)
 {
-#ifdef SUPPORT_SUN_FPA
-  if (TARGET_FPA && FPA_REG_P (operands[0]))
-    {
-      int code = standard_sun_fpa_constant_p (operands[1]);
+  int code = standard_68881_constant_p (operands[1]);
 
-      if (code != 0)
-       {
-         static char buf[40];
-
-         sprintf (buf, "fpmove%%.d %%%%%d,%%0", code & 0x1ff);
-         return buf;
-       }
-      return "fpmove%.d %1,%0";
-    }
-  else
-#endif
+  if (code != 0)
     {
-      int code = standard_68881_constant_p (operands[1]);
+      static char buf[40];
 
-      if (code != 0)
-       {
-         static char buf[40];
-
-         sprintf (buf, "fmovecr %%#0x%x,%%0", code & 0xff);
-         return buf;
-       }
-      return "fmove%.d %1,%0";
+      sprintf (buf, "fmovecr %%#0x%x,%%0", code & 0xff);
+      return buf;
     }
+  return "fmove%.d %1,%0";
 }
 
-char *
-output_move_const_single (operands)
-     rtx *operands;
+const char *
+output_move_const_single (rtx *operands)
 {
-#ifdef SUPPORT_SUN_FPA
-  if (TARGET_FPA)
-    {
-      int code = standard_sun_fpa_constant_p (operands[1]);
-
-      if (code != 0)
-       {
-         static char buf[40];
+  int code = standard_68881_constant_p (operands[1]);
 
-         sprintf (buf, "fpmove%%.s %%%%%d,%%0", code & 0x1ff);
-         return buf;
-       }
-      return "fpmove%.s %1,%0";
-    }
-  else
-#endif /* defined SUPPORT_SUN_FPA */
+  if (code != 0)
     {
-      int code = standard_68881_constant_p (operands[1]);
-
-      if (code != 0)
-       {
-         static char buf[40];
+      static char buf[40];
 
-         sprintf (buf, "fmovecr %%#0x%x,%%0", code & 0xff);
-         return buf;
-       }
-      return "fmove%.s %f1,%0";
+      sprintf (buf, "fmovecr %%#0x%x,%%0", code & 0xff);
+      return buf;
     }
+  return "fmove%.s %f1,%0";
 }
 
 /* Return nonzero if X, a CONST_DOUBLE, has a value that we can get
@@ -2389,11 +2403,11 @@ output_move_const_single (operands)
    The value, anded with 0xff, gives the code to use in fmovecr
    to get the desired constant.  */
 
-/* This code has been fixed for cross-compilation. */
+/* This code has been fixed for cross-compilation.  */
   
 static int inited_68881_table = 0;
 
-char *strings_68881[7] = {
+static const char *const strings_68881[7] = {
   "0.0",
   "1.0",
   "10.0",
@@ -2403,7 +2417,7 @@ char *strings_68881[7] = {
   "1e16"
   };
 
-int codes_68881[7] = {
+static const int codes_68881[7] = {
   0x0f,
   0x32,
   0x33,
@@ -2416,10 +2430,10 @@ int codes_68881[7] = {
 REAL_VALUE_TYPE values_68881[7];
 
 /* Set up values_68881 array by converting the decimal values
-   strings_68881 to binary.   */
+   strings_68881 to binary.  */
 
 void
-init_68881_table ()
+init_68881_table (void)
 {
   int i;
   REAL_VALUE_TYPE r;
@@ -2437,36 +2451,26 @@ init_68881_table ()
 }
 
 int
-standard_68881_constant_p (x)
-     rtx x;
+standard_68881_constant_p (rtx x)
 {
   REAL_VALUE_TYPE r;
   int i;
 
-#ifdef NO_ASM_FMOVECR
-  return 0;
-#endif
-
   /* fmovecr must be emulated on the 68040 and 68060, so it shouldn't be
-     used at all on those chips. */
+     used at all on those chips.  */
   if (TARGET_68040 || TARGET_68060)
     return 0;
 
-#ifndef REAL_ARITHMETIC
-#if HOST_FLOAT_FORMAT != TARGET_FLOAT_FORMAT
-  if (! flag_pretend_float)
-    return 0;
-#endif
-#endif
-
   if (! inited_68881_table)
     init_68881_table ();
 
   REAL_VALUE_FROM_CONST_DOUBLE (r, x);
 
+  /* Use REAL_VALUES_IDENTICAL instead of REAL_VALUES_EQUAL so that -0.0
+     is rejected.  */
   for (i = 0; i < 6; i++)
     {
-      if (REAL_VALUES_EQUAL (r, values_68881[i]))
+      if (REAL_VALUES_IDENTICAL (r, values_68881[i]))
         return (codes_68881[i]);
     }
   
@@ -2485,200 +2489,23 @@ standard_68881_constant_p (x)
    or 0 if X is not a power of 2.  */
 
 int
-floating_exact_log2 (x)
-     rtx x;
+floating_exact_log2 (rtx x)
 {
   REAL_VALUE_TYPE r, r1;
-  int i;
-
-#ifndef REAL_ARITHMETIC
-#if HOST_FLOAT_FORMAT != TARGET_FLOAT_FORMAT
-  if (! flag_pretend_float)
-    return 0;
-#endif
-#endif
+  int exp;
 
   REAL_VALUE_FROM_CONST_DOUBLE (r, x);
 
-  if (REAL_VALUES_LESS (r, dconst0))
+  if (REAL_VALUES_LESS (r, dconst1))
     return 0;
 
-  r1 = dconst1;
-  i = 0;
-  while (REAL_VALUES_LESS (r1, r))
-    {
-      r1 = REAL_VALUE_LDEXP (dconst1, i);
-      if (REAL_VALUES_EQUAL (r1, r))
-        return i;
-      i = i + 1;
-    }
-  return 0;
-}
-\f
-#ifdef SUPPORT_SUN_FPA
-/* Return nonzero if X, a CONST_DOUBLE, has a value that we can get
-   from the Sun FPA's constant RAM.
-   The value returned, anded with 0x1ff, gives the code to use in fpmove
-   to get the desired constant. */
-
-static int inited_FPA_table = 0;
+  exp = real_exponent (&r);
+  real_2expN (&r1, exp);
+  if (REAL_VALUES_EQUAL (r1, r))
+    return exp;
 
-char *strings_FPA[38] = {
-/* small rationals */
-  "0.0",
-  "1.0",
-  "0.5",
-  "-1.0",
-  "2.0",
-  "3.0",
-  "4.0",
-  "8.0",
-  "0.25",
-  "0.125",
-  "10.0",
-  "-0.5",
-/* Decimal equivalents of double precision values */
-  "2.718281828459045091", /* D_E */
-  "6.283185307179586477", /* 2 pi */
-  "3.141592653589793116", /* D_PI */
-  "1.570796326794896619", /* pi/2 */
-  "1.414213562373095145", /* D_SQRT2 */
-  "0.7071067811865475244", /* 1/sqrt(2) */
-  "-1.570796326794896619", /* -pi/2 */
-  "1.442695040888963387", /* D_LOG2ofE */
-  "3.321928024887362182", /* D_LOG2of10 */
-  "0.6931471805599452862", /* D_LOGEof2 */
-  "2.302585092994045901", /* D_LOGEof10 */
-  "0.3010299956639811980", /* D_LOG10of2 */
-  "0.4342944819032518167", /* D_LOG10ofE */
-/* Decimal equivalents of single precision values */
-  "2.718281745910644531", /* S_E */
-  "6.283185307179586477", /* 2 pi */
-  "3.141592741012573242", /* S_PI */
-  "1.570796326794896619", /* pi/2 */
-  "1.414213538169860840", /* S_SQRT2 */
-  "0.7071067811865475244", /* 1/sqrt(2) */
-  "-1.570796326794896619", /* -pi/2 */
-  "1.442695021629333496", /* S_LOG2ofE */
-  "3.321928024291992188", /* S_LOG2of10 */
-  "0.6931471824645996094", /* S_LOGEof2 */
-  "2.302585124969482442", /* S_LOGEof10 */
-  "0.3010300099849700928", /* S_LOG10of2 */
-  "0.4342944920063018799", /* S_LOG10ofE */
-};
-
-
-int codes_FPA[38] = {
-/* small rationals */
-  0x200,
-  0xe,
-  0xf,
-  0x10,
-  0x11,
-  0xb1,
-  0x12,
-  0x13,
-  0x15,
-  0x16,
-  0x17,
-  0x2e,
-/* double precision */
-  0x8,
-  0x9,
-  0xa,
-  0xb,
-  0xc,
-  0xd,
-  0x27,
-  0x28,
-  0x29,
-  0x2a,
-  0x2b,
-  0x2c,
-  0x2d,
-/* single precision */
-  0x8,
-  0x9,
-  0xa,
-  0xb,
-  0xc,
-  0xd,
-  0x27,
-  0x28,
-  0x29,
-  0x2a,
-  0x2b,
-  0x2c,
-  0x2d
-  };
-
-REAL_VALUE_TYPE values_FPA[38];
-
-/* This code has been fixed for cross-compilation. */
-
-void
-init_FPA_table ()
-{
-  enum machine_mode mode;
-  int i;
-  REAL_VALUE_TYPE r;
-
-  mode = DFmode;
-  for (i = 0; i < 38; i++)
-    {
-      if (i == 25)
-        mode = SFmode;
-      r = REAL_VALUE_ATOF (strings_FPA[i], mode);
-      values_FPA[i] = r;
-    }
-  inited_FPA_table = 1;
-}
-
-
-int
-standard_sun_fpa_constant_p (x)
-     rtx x;
-{
-  REAL_VALUE_TYPE r;
-  int i;
-
-#ifndef REAL_ARITHMETIC
-#if HOST_FLOAT_FORMAT != TARGET_FLOAT_FORMAT
-  if (! flag_pretend_float)
-    return 0;
-#endif
-#endif
-
-  if (! inited_FPA_table)
-    init_FPA_table ();
-
-  REAL_VALUE_FROM_CONST_DOUBLE (r, x);
-
-  for (i=0; i<12; i++)
-    {
-      if (REAL_VALUES_EQUAL (r, values_FPA[i]))
-        return (codes_FPA[i]);
-    }
-
-  if (GET_MODE (x) == SFmode)
-    {
-      for (i=25; i<38; i++)
-        {
-          if (REAL_VALUES_EQUAL (r, values_FPA[i]))
-            return (codes_FPA[i]);
-        }
-    }
-  else
-    {
-      for (i=12; i<25; i++)
-        {
-          if (REAL_VALUES_EQUAL (r, values_FPA[i]))
-            return (codes_FPA[i]);
-        }
-    }
-  return 0x0;
+  return 0;
 }
-#endif /* define SUPPORT_SUN_FPA */
 \f
 /* A C compound statement to output to stdio stream STREAM the
    assembler syntax for an instruction operand X.  X is an RTL
@@ -2710,7 +2537,7 @@ standard_sun_fpa_constant_p (x)
    '@' for a reference to the top word on the stack:
        sp@, (sp) or (%sp) depending on the style of syntax.
    '#' for an immediate operand prefix (# in MIT and Motorola syntax
-       but & in SGS syntax, $ in CRDS/UNOS syntax).
+       but & in SGS syntax).
    '!' for the cc register (used in an `and to cc' insn).
    '$' for the letter `s' in an op code, but only on the 68040.
    '&' for the letter `d' in an op code, but only on the 68040.
@@ -2719,35 +2546,25 @@ standard_sun_fpa_constant_p (x)
    'b' for byte insn (no effect, on the Sun; this is for the ISI).
    'd' to force memory addressing to be absolute, not relative.
    'f' for float insn (print a CONST_DOUBLE as a float rather than in hex)
-   'w' for FPA insn (print a CONST_DOUBLE as a SunFPA constant rather
-       than directly).  Second part of 'y' below.
+   'o' for operands to go directly to output_operand_address (bypassing
+       print_operand_address--used only for SYMBOL_REFs under TARGET_PCREL)
    'x' for float insn (print a CONST_DOUBLE as a float rather than in hex),
        or print pair of registers as rx:ry.
-   'y' for a FPA insn (print pair of registers as rx:ry).  This also outputs
-       CONST_DOUBLE's as SunFPA constant RAM registers if
-       possible, so it should not be used except for the SunFPA.
 
    */
 
 void
-print_operand (file, op, letter)
-     FILE *file;               /* file to write to */
-     rtx op;                   /* operand to print */
-     int letter;               /* %<letter> or 0 */
+print_operand (FILE *file, rtx op, int letter)
 {
-#ifdef SUPPORT_SUN_FPA
-  int i;
-#endif
-
   if (letter == '.')
     {
-#if defined (MOTOROLA) && !defined (CRDS)
-      asm_fprintf (file, ".");
+#if defined (MOTOROLA)
+      fprintf (file, ".");
 #endif
     }
   else if (letter == '#')
     {
-      asm_fprintf (file, "%0I");
+      asm_fprintf (file, "%I");
     }
   else if (letter == '-')
     {
@@ -2795,26 +2612,22 @@ print_operand (file, op, letter)
     {
       asm_fprintf (file, "%R");
     }
+  else if (letter == 'o')
+    {
+      /* This is only for direct addresses with TARGET_PCREL */
+      if (GET_CODE (op) != MEM || GET_CODE (XEXP (op, 0)) != SYMBOL_REF
+          || !TARGET_PCREL) 
+       abort ();
+      output_addr_const (file, XEXP (op, 0));
+    }
   else if (GET_CODE (op) == REG)
     {
-#ifdef SUPPORT_SUN_FPA
-      if (REGNO (op) < 16
-         && (letter == 'y' || letter == 'x')
-         && GET_MODE (op) == DFmode)
-       {
-         fprintf (file, "%s:%s", reg_names[REGNO (op)],
-                  reg_names[REGNO (op)+1]);
-       }
+      if (letter == 'R')
+       /* Print out the second register name of a register pair.
+          I.e., R (6) => 7.  */
+       fputs (reg_names[REGNO (op) + 1], file);
       else
-#endif
-       {
-         if (letter == 'R')
-           /* Print out the second register name of a register pair.
-              I.e., R (6) => 7.  */
-           fputs (reg_names[REGNO (op) + 1], file);
-         else
-           fputs (reg_names[REGNO (op)], file);
-       }
+       fputs (reg_names[REGNO (op)], file);
     }
   else if (GET_CODE (op) == MEM)
     {
@@ -2832,14 +2645,6 @@ print_operand (file, op, letter)
 #endif
        }
     }
-#ifdef SUPPORT_SUN_FPA
-  else if ((letter == 'y' || letter == 'w')
-          && GET_CODE (op) == CONST_DOUBLE
-          && (i = standard_sun_fpa_constant_p (op)))
-    {
-      fprintf (file, "%%%d", i & 0x1ff);
-    }
-#endif
   else if (GET_CODE (op) == CONST_DOUBLE && GET_MODE (op) == SFmode)
     {
       REAL_VALUE_TYPE r;
@@ -2860,7 +2665,14 @@ print_operand (file, op, letter)
     }
   else
     {
-      asm_fprintf (file, "%0I"); output_addr_const (file, op);
+      /* Use `print_operand_address' instead of `output_addr_const'
+        to ensure that we print relevant PIC stuff.  */
+      asm_fprintf (file, "%I");
+      if (TARGET_PCREL
+         && (GET_CODE (op) == SYMBOL_REF || GET_CODE (op) == CONST))
+       print_operand_address (file, op);
+      else
+       output_addr_const (file, op);
     }
 }
 
@@ -2885,7 +2697,7 @@ print_operand (file, op, letter)
    macro.  See m68k/sgs.h for an example; for versions without the bug.
    Some assemblers refuse all the above solutions.  The workaround is to
    emit "K(pc,d0.l*2)" with K being a small constant known to give the
-   right behaviour.
+   right behavior.
 
    They also do not like things like "pea 1.w", so we simple leave off
    the .w on small constants. 
@@ -2911,9 +2723,7 @@ print_operand (file, op, letter)
 #endif /* ASM_OUTPUT_CASE_FETCH */
 
 void
-print_operand_address (file, addr)
-     FILE *file;
-     rtx addr;
+print_operand_address (FILE *file, rtx addr)
 {
   register rtx reg1, reg2, breg, ireg;
   rtx offset;
@@ -3161,7 +2971,7 @@ print_operand_address (file, addr)
            fprintf (file, "l)");
            break;
          }
-       /* FALL-THROUGH (is this really what we want? */
+       /* FALL-THROUGH (is this really what we want? */
       default:
         if (GET_CODE (addr) == CONST_INT
            && INTVAL (addr) < 0x8000
@@ -3169,18 +2979,43 @@ print_operand_address (file, addr)
          {
 #ifdef MOTOROLA
 #ifdef SGS
-           /* Many SGS assemblers croak on size specifiers for constants. */
-           fprintf (file, "%d", INTVAL (addr));
+           /* Many SGS assemblers croak on size specifiers for constants.  */
+           fprintf (file, "%d", (int) INTVAL (addr));
 #else
-           fprintf (file, "%d.w", INTVAL (addr));
+           fprintf (file, "%d.w", (int) INTVAL (addr));
 #endif
 #else
-           fprintf (file, "%d:w", INTVAL (addr));
+           fprintf (file, "%d:w", (int) INTVAL (addr));
 #endif
          }
-       else
+       else if (GET_CODE (addr) == CONST_INT)
          {
+           fprintf (file, HOST_WIDE_INT_PRINT_DEC, INTVAL (addr));
+         }
+       else if (TARGET_PCREL)
+         {
+           fputc ('(', file);
            output_addr_const (file, addr);
+           if (flag_pic == 1)
+             asm_fprintf (file, ":w,%Rpc)");
+           else
+             asm_fprintf (file, ":l,%Rpc)");
+         }
+       else
+         {
+           /* Special case for SYMBOL_REF if the symbol name ends in
+              `.<letter>', this can be mistaken as a size suffix.  Put
+              the name in parentheses.  */
+           if (GET_CODE (addr) == SYMBOL_REF
+               && strlen (XSTR (addr, 0)) > 2
+               && XSTR (addr, 0)[strlen (XSTR (addr, 0)) - 2] == '.')
+             {
+               putc ('(', file);
+               output_addr_const (file, addr);
+               putc (')', file);
+             }
+           else
+             output_addr_const (file, addr);
          }
        break;
     }
@@ -3194,11 +3029,9 @@ print_operand_address (file, addr)
    insn we are checking for redundancy.  TARGET is the register set by the
    clear insn.  */
 
-int
-strict_low_part_peephole_ok (mode, first_insn, target)
-     enum machine_mode mode;
-     rtx first_insn;
-     rtx target;
+bool
+strict_low_part_peephole_ok (enum machine_mode mode, rtx first_insn,
+                             rtx target)
 {
   rtx p;
 
@@ -3208,7 +3041,7 @@ strict_low_part_peephole_ok (mode, first_insn, target)
     {
       /* If it isn't an insn, then give up.  */
       if (GET_CODE (p) != INSN)
-       return 0;
+       return false;
 
       if (reg_set_p (target, p))
        {
@@ -3217,7 +3050,7 @@ strict_low_part_peephole_ok (mode, first_insn, target)
 
          /* If it isn't an easy to recognize insn, then give up.  */
          if (! set)
-           return 0;
+           return false;
 
          dest = SET_DEST (set);
 
@@ -3225,7 +3058,7 @@ strict_low_part_peephole_ok (mode, first_insn, target)
             first_insn is redundant.  */
          if (rtx_equal_p (dest, target)
              && SET_SRC (set) == const0_rtx)
-           return 1;
+           return true;
          else if (GET_CODE (dest) == STRICT_LOW_PART
                   && GET_CODE (XEXP (dest, 0)) == REG
                   && REGNO (XEXP (dest, 0)) == REGNO (target)
@@ -3235,14 +3068,14 @@ strict_low_part_peephole_ok (mode, first_insn, target)
               we are using, so it is safe.  */
            ;
          else
-           return 0;
+           return false;
        }
 
       p = prev_nonnote_insn (p);
 
     }
 
-  return 0;
+  return false;
 }
 
 /* Accept integer operands in the range 0..0xffffffff.  We have to check the
@@ -3250,18 +3083,19 @@ strict_low_part_peephole_ok (mode, first_insn, target)
    need some extra crud to make it work when hosted on 64-bit machines.  */
 
 int
-const_uint32_operand (op, mode)
-     rtx op;
-     enum machine_mode mode ATTRIBUTE_UNUSED;
+const_uint32_operand (rtx op, enum machine_mode mode)
 {
-  if (GET_CODE (op) == CONSTANT_P_RTX)
-    return 1;
+  /* It doesn't make sense to ask this question with a mode that is
+     not larger than 32 bits.  */
+  if (GET_MODE_BITSIZE (mode) <= 32)
+    abort ();
+
 #if HOST_BITS_PER_WIDE_INT > 32
   /* All allowed constants will fit a CONST_INT.  */
   return (GET_CODE (op) == CONST_INT
          && (INTVAL (op) >= 0 && INTVAL (op) <= 0xffffffffL));
 #else
-  return ((GET_CODE (op) == CONST_INT && INTVAL (op) >= 0)
+  return (GET_CODE (op) == CONST_INT
          || (GET_CODE (op) == CONST_DOUBLE && CONST_DOUBLE_HIGH (op) == 0));
 #endif
 }
@@ -3271,30 +3105,144 @@ const_uint32_operand (op, mode)
    contexts.  */
 
 int
-const_sint32_operand (op, mode)
-     rtx op;
-     enum machine_mode mode ATTRIBUTE_UNUSED;
+const_sint32_operand (rtx op, enum machine_mode mode)
 {
-  if (GET_CODE (op) == CONSTANT_P_RTX)
-    return 1;
+  /* It doesn't make sense to ask this question with a mode that is
+     not larger than 32 bits.  */
+  if (GET_MODE_BITSIZE (mode) <= 32)
+    abort ();
+
   /* All allowed constants will fit a CONST_INT.  */
   return (GET_CODE (op) == CONST_INT
          && (INTVAL (op) >= (-0x7fffffff - 1) && INTVAL (op) <= 0x7fffffff));
 }
 
-char *
-output_andsi3 (operands)
-     rtx *operands;
+/* Operand predicates for implementing asymmetric pc-relative addressing
+   on m68k.  The m68k supports pc-relative addressing (mode 7, register 2)
+   when used as a source operand, but not as a destination operand.
+
+   We model this by restricting the meaning of the basic predicates
+   (general_operand, memory_operand, etc) to forbid the use of this
+   addressing mode, and then define the following predicates that permit
+   this addressing mode.  These predicates can then be used for the
+   source operands of the appropriate instructions.
+
+   n.b.  While it is theoretically possible to change all machine patterns
+   to use this addressing more where permitted by the architecture,
+   it has only been implemented for "common" cases: SImode, HImode, and
+   QImode operands, and only for the principle operations that would
+   require this addressing mode: data movement and simple integer operations.
+
+   In parallel with these new predicates, two new constraint letters
+   were defined: 'S' and 'T'.  'S' is the -mpcrel analog of 'm'.
+   'T' replaces 's' in the non-pcrel case.  It is a no-op in the pcrel case.
+   In the pcrel case 's' is only valid in combination with 'a' registers.
+   See addsi3, subsi3, cmpsi, and movsi patterns for a better understanding
+   of how these constraints are used.
+
+   The use of these predicates is strictly optional, though patterns that
+   don't will cause an extra reload register to be allocated where one
+   was not necessary:
+
+       lea (abc:w,%pc),%a0     ; need to reload address
+       moveq &1,%d1            ; since write to pc-relative space
+       movel %d1,%a0@          ; is not allowed
+       ...
+       lea (abc:w,%pc),%a1     ; no need to reload address here
+       movel %a1@,%d0          ; since "movel (abc:w,%pc),%d0" is ok
+
+   For more info, consult tiemann@cygnus.com.
+
+
+   All of the ugliness with predicates and constraints is due to the
+   simple fact that the m68k does not allow a pc-relative addressing
+   mode as a destination.  gcc does not distinguish between source and
+   destination addresses.  Hence, if we claim that pc-relative address
+   modes are valid, e.g. GO_IF_LEGITIMATE_ADDRESS accepts them, then we
+   end up with invalid code.  To get around this problem, we left
+   pc-relative modes as invalid addresses, and then added special
+   predicates and constraints to accept them.
+
+   A cleaner way to handle this is to modify gcc to distinguish
+   between source and destination addresses.  We can then say that
+   pc-relative is a valid source address but not a valid destination
+   address, and hopefully avoid a lot of the predicate and constraint
+   hackery.  Unfortunately, this would be a pretty big change.  It would
+   be a useful change for a number of ports, but there aren't any current
+   plans to undertake this.
+
+   ***************************************************************************/
+
+
+/* Special case of a general operand that's used as a source operand.
+   Use this to permit reads from PC-relative memory when -mpcrel
+   is specified.  */
+
+int
+general_src_operand (rtx op, enum machine_mode mode)
+{
+  if (TARGET_PCREL
+      && GET_CODE (op) == MEM
+      && (GET_CODE (XEXP (op, 0)) == SYMBOL_REF
+         || GET_CODE (XEXP (op, 0)) == LABEL_REF
+         || GET_CODE (XEXP (op, 0)) == CONST))
+    return 1;
+  return general_operand (op, mode);
+}
+
+/* Special case of a nonimmediate operand that's used as a source.
+   Use this to permit reads from PC-relative memory when -mpcrel
+   is specified.  */
+
+int
+nonimmediate_src_operand (rtx op, enum machine_mode mode)
+{
+  if (TARGET_PCREL && GET_CODE (op) == MEM
+      && (GET_CODE (XEXP (op, 0)) == SYMBOL_REF
+         || GET_CODE (XEXP (op, 0)) == LABEL_REF
+         || GET_CODE (XEXP (op, 0)) == CONST))
+    return 1;
+  return nonimmediate_operand (op, mode);
+}
+
+/* Special case of a memory operand that's used as a source.
+   Use this to permit reads from PC-relative memory when -mpcrel
+   is specified.  */
+
+int
+memory_src_operand (rtx op, enum machine_mode mode)
+{
+  if (TARGET_PCREL && GET_CODE (op) == MEM
+      && (GET_CODE (XEXP (op, 0)) == SYMBOL_REF
+         || GET_CODE (XEXP (op, 0)) == LABEL_REF
+         || GET_CODE (XEXP (op, 0)) == CONST))
+    return 1;
+  return memory_operand (op, mode);
+}
+
+/* Predicate that accepts only a pc-relative address.  This is needed
+   because pc-relative addresses don't satisfy the predicate
+   "general_src_operand".  */
+
+int
+pcrel_address (rtx op, enum machine_mode mode ATTRIBUTE_UNUSED)
+{
+  return (GET_CODE (op) == SYMBOL_REF || GET_CODE (op) == LABEL_REF
+         || GET_CODE (op) == CONST);
+}
+
+const char *
+output_andsi3 (rtx *operands)
 {
   int logval;
   if (GET_CODE (operands[2]) == CONST_INT
       && (INTVAL (operands[2]) | 0xffff) == 0xffffffff
       && (DATA_REG_P (operands[0])
          || offsettable_memref_p (operands[0]))
-      && !TARGET_5200)
+      && !TARGET_COLDFIRE)
     {
       if (GET_CODE (operands[0]) != REG)
-        operands[0] = adj_offsettable_operand (operands[0], 2);
+        operands[0] = adjust_address (operands[0], HImode, 2);
       operands[2] = GEN_INT (INTVAL (operands[2]) & 0xffff);
       /* Do not delete a following tstl %0 insn; that would be incorrect.  */
       CC_STATUS_INIT;
@@ -3313,7 +3261,7 @@ output_andsi3 (operands)
         }
       else
         {
-         operands[0] = adj_offsettable_operand (operands[0], 3 - (logval / 8));
+         operands[0] = adjust_address (operands[0], SImode, 3 - (logval / 8));
          operands[1] = GEN_INT (logval % 8);
         }
       /* This does not set condition codes in a standard way.  */
@@ -3323,19 +3271,18 @@ output_andsi3 (operands)
   return "and%.l %2,%0";
 }
 
-char *
-output_iorsi3 (operands)
-     rtx *operands;
+const char *
+output_iorsi3 (rtx *operands)
 {
   register int logval;
   if (GET_CODE (operands[2]) == CONST_INT
       && INTVAL (operands[2]) >> 16 == 0
       && (DATA_REG_P (operands[0])
          || offsettable_memref_p (operands[0]))
-      && !TARGET_5200)
+      && !TARGET_COLDFIRE)
     {
       if (GET_CODE (operands[0]) != REG)
-        operands[0] = adj_offsettable_operand (operands[0], 2);
+        operands[0] = adjust_address (operands[0], HImode, 2);
       /* Do not delete a following tstl %0 insn; that would be incorrect.  */
       CC_STATUS_INIT;
       if (INTVAL (operands[2]) == 0xffff)
@@ -3348,12 +3295,10 @@ output_iorsi3 (operands)
          || offsettable_memref_p (operands[0])))
     {
       if (DATA_REG_P (operands[0]))
-       {
-         operands[1] = GEN_INT (logval);
-       }
+       operands[1] = GEN_INT (logval);
       else
         {
-         operands[0] = adj_offsettable_operand (operands[0], 3 - (logval / 8));
+         operands[0] = adjust_address (operands[0], SImode, 3 - (logval / 8));
          operands[1] = GEN_INT (logval % 8);
        }
       CC_STATUS_INIT;
@@ -3362,18 +3307,17 @@ output_iorsi3 (operands)
   return "or%.l %2,%0";
 }
 
-char *
-output_xorsi3 (operands)
-     rtx *operands;
+const char *
+output_xorsi3 (rtx *operands)
 {
   register int logval;
   if (GET_CODE (operands[2]) == CONST_INT
       && INTVAL (operands[2]) >> 16 == 0
       && (offsettable_memref_p (operands[0]) || DATA_REG_P (operands[0]))
-      && !TARGET_5200)
+      && !TARGET_COLDFIRE)
     {
       if (! DATA_REG_P (operands[0]))
-       operands[0] = adj_offsettable_operand (operands[0], 2);
+       operands[0] = adjust_address (operands[0], HImode, 2);
       /* Do not delete a following tstl %0 insn; that would be incorrect.  */
       CC_STATUS_INIT;
       if (INTVAL (operands[2]) == 0xffff)
@@ -3386,12 +3330,10 @@ output_xorsi3 (operands)
          || offsettable_memref_p (operands[0])))
     {
       if (DATA_REG_P (operands[0]))
-       {
-         operands[1] = GEN_INT (logval);
-       }
+       operands[1] = GEN_INT (logval);
       else
         {
-         operands[0] = adj_offsettable_operand (operands[0], 3 - (logval / 8));
+         operands[0] = adjust_address (operands[0], SImode, 3 - (logval / 8));
          operands[1] = GEN_INT (logval % 8);
        }
       CC_STATUS_INIT;
@@ -3399,3 +3341,93 @@ output_xorsi3 (operands)
     }
   return "eor%.l %2,%0";
 }
+
+#ifdef HPUX_ASM
+static void
+m68k_hp320_internal_label (FILE *stream, const char *prefix,
+                           unsigned long labelno)
+{
+  if (prefix[0] == 'L' && prefix[1] == 'I')
+    fprintf(stream, "\tset %s%ld,.+2\n", prefix, labelno);
+  else
+    fprintf (stream, "%s%ld:\n", prefix, labelno);
+}
+
+static void
+m68k_hp320_file_start (void)
+{
+  /* version 1: 68010.
+             2: 68020 without FPU.
+            3: 68020 with FPU.  */
+  fprintf (asm_out_file, "\tversion %d\n",
+          TARGET_68020 ? (TARGET_68881 ? 3 : 2) : 1);
+}
+#endif
+
+static void
+m68k_output_mi_thunk (FILE *file, tree thunk ATTRIBUTE_UNUSED,
+                     HOST_WIDE_INT delta,
+                     HOST_WIDE_INT vcall_offset ATTRIBUTE_UNUSED,
+                     tree function)
+{
+  rtx xops[1];
+  const char *fmt;
+
+  if (delta > 0 && delta <= 8)
+#ifdef MOTOROLA
+    asm_fprintf (file, "\taddq.l %I%d,4(%Rsp)\n", (int) delta);
+#else
+    asm_fprintf (file, "\taddql %I%d,%Rsp@(4)\n", (int) delta);
+#endif
+  else if (delta < 0 && delta >= -8)
+#ifdef MOTOROLA
+    asm_fprintf (file, "\tsubq.l %I%d,4(%Rsp)\n", (int) -delta);
+#else
+    asm_fprintf (file, "\tsubql %I%d,%Rsp@(4)\n", (int) -delta);
+#endif
+  else
+#ifdef MOTOROLA
+    asm_fprintf (file, "\tadd.l %I%wd,4(%Rsp)\n", delta);
+#else
+    asm_fprintf (file, "\taddl %I%wd,%Rsp@(4)\n", delta);
+#endif
+
+  xops[0] = DECL_RTL (function);
+
+  /* Logic taken from call patterns in m68k.md.  */
+  if (flag_pic)
+    {
+      if (TARGET_PCREL)
+       fmt = "bra.l %o0";
+      else
+       {
+#ifdef MOTOROLA
+#ifdef HPUX_ASM
+         fmt = "bra.l %0";
+#else
+#ifdef USE_GAS
+         fmt = "bra.l %0@PLTPC";
+#else
+         fmt = "bra %0@PLTPC";
+#endif
+#endif
+#else
+#ifdef USE_GAS
+         fmt = "bra.l %0";
+#else
+         fmt = "jra %0,a1";
+#endif
+#endif
+       }
+    }
+  else
+    {
+#if defined (MOTOROLA) && !defined (USE_GAS)
+      fmt = "jmp %0";
+#else
+      fmt = "jra %0";
+#endif
+    }
+
+  output_asm_insn (fmt, xops);
+}