* config/tc-sparc.c (U0x80000000, U0xffffffff): New constants.
[binutils-gdb.git] / gas / config / tc-mips.c
index 205e21603499cfced255ffeee788e7ddff6d4aa0..d64d4eb3e562b2e5016240c5557ade497f8741af 100644 (file)
@@ -26,8 +26,7 @@
 #include "as.h"
 #include "config.h"
 #include "subsegs.h"
-
-#include <ctype.h>
+#include "safe-ctype.h"
 
 #ifdef USE_STDARG
 #include <stdarg.h>
@@ -103,42 +102,6 @@ static char *mips_regmask_frag;
 
 extern int target_big_endian;
 
-/* 1 is we should use the 64 bit MIPS ELF ABI, 0 if we should use the
-   32 bit ABI.  This has no meaning for ECOFF.
-   Note that the default is always 32 bit, even if "configured" for
-   64 bit [e.g. --target=mips64-elf].  */
-static int mips_64;
-
-/* The default target format to use.  */
-
-const char *
-mips_target_format ()
-{
-  switch (OUTPUT_FLAVOR)
-    {
-    case bfd_target_aout_flavour:
-      return target_big_endian ? "a.out-mips-big" : "a.out-mips-little";
-    case bfd_target_ecoff_flavour:
-      return target_big_endian ? "ecoff-bigmips" : ECOFF_LITTLE_FORMAT;
-    case bfd_target_coff_flavour:
-      return "pe-mips";
-    case bfd_target_elf_flavour:
-#ifdef TE_TMIPS
-      /* This is traditional mips */
-      return (target_big_endian
-             ? (mips_64 ? "elf64-tradbigmips" : "elf32-tradbigmips")
-             : (mips_64 ? "elf64-tradlittlemips" : "elf32-tradlittlemips"));
-#else
-      return (target_big_endian
-             ? (mips_64 ? "elf64-bigmips" : "elf32-bigmips")
-             : (mips_64 ? "elf64-littlemips" : "elf32-littlemips"));
-#endif
-    default:
-      abort ();
-      return NULL;
-    }
-}
-
 /* The name of the readonly data section.  */
 #define RDATA_SECTION_NAME (OUTPUT_FLAVOR == bfd_target_aout_flavour \
                            ? ".data" \
@@ -150,6 +113,20 @@ mips_target_format ()
                            ? ".rodata" \
                            : (abort (), ""))
 
+/* The ABI to use.  */
+enum mips_abi_level
+{
+  NO_ABI = 0,
+  O32_ABI,
+  O64_ABI,
+  N32_ABI,
+  N64_ABI,
+  EABI_ABI
+};
+
+/* MIPS ABI we are using for this output file.  */
+static enum mips_abi_level file_mips_abi = NO_ABI;
+
 /* This is the set of options which may be modified by the .set
    pseudo-op.  We use a struct so that .set push and .set pop are more
    reliable.  */
@@ -186,15 +163,29 @@ struct mips_set_options
   /* Non-zero if we should not autoextend mips16 instructions.
      Changed by `.set autoextend' and `.set noautoextend'.  */
   int noautoextend;
+  /* Restrict general purpose registers and floating point registers
+     to 32 bit.  This is initially determined when -mgp32 or -mfp32
+     is passed but can changed if the assembler code uses .set mipsN.  */
+  int gp32;
+  int fp32;
+  /* The ABI currently in use. This is changed by .set mipsN to loosen
+     restrictions and doesn't affect the whole file.  */
+  enum mips_abi_level abi;
 };
 
+/* True if -mgp32 was passed.  */
+static int file_mips_gp32 = -1;
+
+/* True if -mfp32 was passed.  */
+static int file_mips_fp32 = -1;
+
 /* This is the struct we use to hold the current set of options.  Note
    that we must set the isa field to ISA_UNKNOWN and the mips16 field to
    -1 to indicate that they have not been initialized.  */
 
 static struct mips_set_options mips_opts =
 {
-  ISA_UNKNOWN, -1, 0, 0, 0, 0, 0, 0
+  ISA_UNKNOWN, -1, 0, 0, 0, 0, 0, 0, 0, 0, NO_ABI
 };
 
 /* These variables are filled in with the masks of registers used.
@@ -216,9 +207,6 @@ static int mips_arch = CPU_UNKNOWN;
    are optimizing.  */
 static int mips_tune = CPU_UNKNOWN;
 
-/* The argument of the -mabi= flag.  */
-static char * mips_abi_string = NULL;
-
 /* Whether we should mark the file EABI64 or EABI32.  */
 static int mips_eabi64 = 0;
 
@@ -226,15 +214,6 @@ static int mips_eabi64 = 0;
    mips3 or greater, then mark the object file 32BITMODE.  */
 static int mips_32bitmode = 0;
 
-/* True if -mgp32 was passed.  */
-static int mips_gp32 = 0;
-
-/* True if -mfp32 was passed.  */
-static int mips_fp32 = 0;
-
-/* True if the selected ABI is defined for 32-bit registers only.  */
-static int mips_32bit_abi = 0;
-
 /* Some ISA's have delay slots for instructions which read or write
    from a coprocessor (eg. mips1-mips3); some don't (eg mips4).
    Return true if instructions marked INSN_LOAD_COPROC_DELAY,
@@ -257,28 +236,39 @@ static int mips_32bit_abi = 0;
    || (ISA) == ISA_MIPS64            \
    )
 
-#define HAVE_32BIT_GPRS                            \
-   (mips_gp32                               \
-    || mips_32bit_abi                       \
-    || ! ISA_HAS_64BIT_REGS (mips_opts.isa))
+#define HAVE_32BIT_GPRS                                   \
+    (mips_opts.gp32                                \
+     || mips_opts.abi == O32_ABI                   \
+     || ! ISA_HAS_64BIT_REGS (mips_opts.isa))
 
-#define HAVE_32BIT_FPRS                     \
-   (mips_fp32                               \
-    || mips_32bit_abi                       \
-    || ! ISA_HAS_64BIT_REGS (mips_opts.isa))
+#define HAVE_32BIT_FPRS                            \
+    (mips_opts.fp32                                \
+     || mips_opts.abi == O32_ABI                   \
+     || ! ISA_HAS_64BIT_REGS (mips_opts.isa))
 
 #define HAVE_64BIT_GPRS (! HAVE_32BIT_GPRS)
 #define HAVE_64BIT_FPRS (! HAVE_32BIT_FPRS)
 
-#define HAVE_32BIT_ADDRESSES                \
-   (HAVE_32BIT_GPRS                         \
-    || bfd_arch_bits_per_address (stdoutput) == 32)
+#define HAVE_NEWABI (mips_opts.abi == N32_ABI || mips_opts.abi == N64_ABI)
+
+#define HAVE_64BIT_OBJECTS (mips_opts.abi == N64_ABI)
+
+/* We can only have 64bit addresses if the object file format
+   supports it.  */
+#define HAVE_32BIT_ADDRESSES                           \
+   (HAVE_32BIT_GPRS                                    \
+    || ((bfd_arch_bits_per_address (stdoutput) == 32   \
+         || ! HAVE_64BIT_OBJECTS)                      \
+        && mips_pic != EMBEDDED_PIC))
+
+#define HAVE_64BIT_ADDRESSES (! HAVE_32BIT_ADDRESSES)
 
 /* Whether the processor uses hardware interlocks to protect
    reads from the HI and LO registers, and thus does not
    require nops to be inserted.  */
 
 #define hilo_interlocks (mips_arch == CPU_R4010                       \
+                         || mips_arch == CPU_SB1                      \
                          )
 
 /* Whether the processor uses hardware interlocks to protect reads
@@ -291,6 +281,7 @@ static int mips_32bit_abi = 0;
    (co-processor) interlocks.  */
 /* Itbl support may require additional care here.  */
 #define cop_interlocks (mips_arch == CPU_R4300                        \
+                        || mips_arch == CPU_SB1                       \
                        )
 
 /* Is this a mfhi or mflo instruction?  */
@@ -332,7 +323,7 @@ static int mips_big_got;
 static int mips_trap;
 
 /* 1 if double width floating point constants should not be constructed
-   by a assembling two single width halves into two single width floating
+   by assembling two single width halves into two single width floating
    point registers which just happen to alias the double width destination
    register.  On some architectures this aliasing can be disabled by a bit
    in the status register, and the setting of this bit cannot be determined
@@ -414,10 +405,25 @@ static int auto_align = 1;
    variable.  */
 static offsetT mips_cprestore_offset = -1;
 
+/* Similiar for NewABI PIC code, where $gp is callee-saved.  NewABI has some
+   more optimizations, it can use a register value instead of a memory-saved
+   offset and even an other register than $gp as global pointer.  */
+static offsetT mips_cpreturn_offset = -1;
+static int mips_cpreturn_register = -1;
+static int mips_gp_register = GP;
+
+/* Whether mips_cprestore_offset has been set in the current function
+   (or whether it has already been warned about, if not).  */
+static int mips_cprestore_valid = 0;
+
 /* This is the register which holds the stack frame, as set by the
    .frame pseudo-op.  This is needed to implement .cprestore.  */
 static int mips_frame_reg = SP;
 
+/* Whether mips_frame_reg has been set in the current function
+   (or whether it has already been warned about, if not).  */
+static int mips_frame_reg_valid = 0;
+
 /* To output NOP instructions correctly, we need to keep information
    about the previous two instructions.  */
 
@@ -451,10 +457,10 @@ static struct frag *prev_insn_frag;
 static long prev_insn_where;
 
 /* The reloc type for the previous instruction, if any.  */
-static bfd_reloc_code_real_type prev_insn_reloc_type;
+static bfd_reloc_code_real_type prev_insn_reloc_type[3];
 
 /* The reloc for the previous instruction, if any.  */
-static fixS *prev_insn_fixp;
+static fixS *prev_insn_fixp[3];
 
 /* Non-zero if the previous instruction was in a delay slot.  */
 static int prev_insn_is_delay_slot;
@@ -664,7 +670,7 @@ static void mips16_mark_labels PARAMS ((void));
 static void append_insn PARAMS ((char *place,
                                 struct mips_cl_insn * ip,
                                 expressionS * p,
-                                bfd_reloc_code_real_type r,
+                                bfd_reloc_code_real_type *r,
                                 boolean));
 static void mips_no_prev_insn PARAMS ((int));
 static void mips_emit_delays PARAMS ((boolean));
@@ -684,7 +690,7 @@ static void set_at PARAMS ((int *counter, int reg, int unsignedp));
 static void check_absolute_expr PARAMS ((struct mips_cl_insn * ip,
                                         expressionS *));
 static void load_register PARAMS ((int *, int, expressionS *, int));
-static void load_address PARAMS ((int *counter, int reg, expressionS *ep));
+static void load_address PARAMS ((int *, int, expressionS *, int, int *));
 static void move_register PARAMS ((int *, int, int));
 static void macro PARAMS ((struct mips_cl_insn * ip));
 static void mips16_macro PARAMS ((struct mips_cl_insn * ip));
@@ -696,8 +702,13 @@ static void mips16_ip PARAMS ((char *str, struct mips_cl_insn * ip));
 static void mips16_immed PARAMS ((char *, unsigned int, int, offsetT, boolean,
                                  boolean, boolean, unsigned long *,
                                  boolean *, unsigned short *));
-static int my_getSmallExpression PARAMS ((expressionS * ep, char *str));
-static void my_getExpression PARAMS ((expressionS * ep, char *str));
+static int my_getPercentOp PARAMS ((char **, unsigned int *, int *));
+static int my_getSmallParser PARAMS ((char **, unsigned int *, int *));
+static int my_getSmallExpression PARAMS ((expressionS *, char *));
+static void my_getExpression PARAMS ((expressionS *, char *));
+#ifdef OBJ_ELF
+static int support_64bit_objects PARAMS((void));
+#endif
 static symbolS *get_symbol PARAMS ((void));
 static void mips_align PARAMS ((int to, int fill, symbolS *label));
 static void s_align PARAMS ((int));
@@ -709,7 +720,11 @@ static void s_option PARAMS ((int));
 static void s_mipsset PARAMS ((int));
 static void s_abicalls PARAMS ((int));
 static void s_cpload PARAMS ((int));
+static void s_cpsetup PARAMS ((int));
+static void s_cplocal PARAMS ((int));
 static void s_cprestore PARAMS ((int));
+static void s_cpreturn PARAMS ((int));
+static void s_gpvalue PARAMS ((int));
 static void s_gpword PARAMS ((int));
 static void s_cpadd PARAMS ((int));
 static void s_insn PARAMS ((int));
@@ -727,18 +742,35 @@ static int mips16_extended_frag PARAMS ((fragS *, asection *, long));
 static const char *mips_isa_to_str PARAMS ((int));
 static const char *mips_cpu_to_str PARAMS ((int));
 static int validate_mips_insn PARAMS ((const struct mips_opcode *));
+static void show PARAMS ((FILE *, char *, int *, int *));
+#ifdef OBJ_ELF
+static int mips_need_elf_addend_fixup PARAMS ((fixS *));
+#endif
 
-/* Return values of my_getSmallExpression() */
+/* Return values of my_getSmallExpression() */
 
-enum
+enum small_ex_type
 {
   S_EX_NONE = 0,
-  S_EX_LO,
+  S_EX_REGISTER,
+
+  /* Direct relocation creation by %percent_op().  */
+  S_EX_HALF,
   S_EX_HI,
+  S_EX_LO,
+  S_EX_GP_REL,
+  S_EX_GOT,
+  S_EX_CALL16,
+  S_EX_GOT_DISP,
+  S_EX_GOT_PAGE,
+  S_EX_GOT_OFST,
+  S_EX_GOT_HI,
+  S_EX_GOT_LO,
+  S_EX_NEG,
   S_EX_HIGHER,
   S_EX_HIGHEST,
-  S_EX_GPREL,
-  S_EX_NEG
+  S_EX_CALL_HI,
+  S_EX_CALL_LO
 };
 
 /* Table and functions used to map between CPU/ISA names, and
@@ -784,7 +816,11 @@ static const pseudo_typeS mips_pseudo_table[] =
   {"livereg", s_ignore, 0},
   {"abicalls", s_abicalls, 0},
   {"cpload", s_cpload, 0},
+  {"cpsetup", s_cpsetup, 0},
+  {"cplocal", s_cplocal, 0},
   {"cprestore", s_cprestore, 0},
+  {"cpreturn", s_cpreturn, 0},
+  {"gpvalue", s_gpvalue, 0},
   {"gpword", s_gpword, 0},
   {"cpadd", s_cpadd, 0},
   {"insn", s_insn, 0},
@@ -887,8 +923,10 @@ static expressionS offset_expr;
 
 /* Relocs associated with imm_expr and offset_expr.  */
 
-static bfd_reloc_code_real_type imm_reloc;
-static bfd_reloc_code_real_type offset_reloc;
+static bfd_reloc_code_real_type imm_reloc[3]
+  = {BFD_RELOC_UNUSED, BFD_RELOC_UNUSED, BFD_RELOC_UNUSED};
+static bfd_reloc_code_real_type offset_reloc[3]
+  = {BFD_RELOC_UNUSED, BFD_RELOC_UNUSED, BFD_RELOC_UNUSED};
 
 /* This is set by mips_ip if imm_reloc is an unmatched HI16_S reloc.  */
 
@@ -934,6 +972,39 @@ mips_cpu_to_str (cpu)
   return s;
 }
 
+/* The default target format to use.  */
+
+const char *
+mips_target_format ()
+{
+  switch (OUTPUT_FLAVOR)
+    {
+    case bfd_target_aout_flavour:
+      return target_big_endian ? "a.out-mips-big" : "a.out-mips-little";
+    case bfd_target_ecoff_flavour:
+      return target_big_endian ? "ecoff-bigmips" : ECOFF_LITTLE_FORMAT;
+    case bfd_target_coff_flavour:
+      return "pe-mips";
+    case bfd_target_elf_flavour:
+#ifdef TE_TMIPS
+      /* This is traditional mips */
+      return (target_big_endian
+             ? (HAVE_64BIT_OBJECTS ? "elf64-tradbigmips"
+                : "elf32-tradbigmips")
+             : (HAVE_64BIT_OBJECTS ? "elf64-tradlittlemips"
+                : "elf32-tradlittlemips"));
+#else
+      return (target_big_endian
+             ? (HAVE_64BIT_OBJECTS ? "elf64-bigmips" : "elf32-bigmips")
+             : (HAVE_64BIT_OBJECTS ? "elf64-littlemips"
+                : "elf32-littlemips"));
+#endif
+    default:
+      abort ();
+      return NULL;
+    }
+}
+
 /* This function is called once, at assembler startup time.  It should
    set up all the tables, etc. that the MD part of the assembler will need.  */
 
@@ -994,6 +1065,71 @@ md_begin ()
                  "Use -march instead of -mcpu."));
     }
 
+#if 1
+  /* For backward compatibility, let -mipsN set various defaults.  */
+  /* This code should go away, to be replaced with something rather more
+     draconian.  Until GCC 3.1 has been released for some reasonable
+     amount of time, however, we need to support this.  */
+  if (mips_opts.isa != ISA_UNKNOWN)
+    {
+      /* Translate -mipsN to the appropriate settings of file_mips_gp32
+        and file_mips_fp32.  Tag binaries as using the mipsN ISA.  */
+      if (file_mips_gp32 < 0)
+       {
+         if (ISA_HAS_64BIT_REGS (mips_opts.isa))
+           file_mips_gp32 = 0;
+         else
+           file_mips_gp32 = 1;
+       }
+      if (file_mips_fp32 < 0)
+       {
+         if (ISA_HAS_64BIT_REGS (mips_opts.isa))
+           file_mips_fp32 = 0;
+         else
+           file_mips_fp32 = 1;
+       }
+
+      ci = mips_cpu_info_from_isa (mips_opts.isa);
+      assert (ci != NULL);
+      /* -mipsN has higher priority than -mcpu but lower than -march.  */
+      if (mips_arch == CPU_UNKNOWN)
+       mips_arch = ci->cpu;
+
+      /* Default mips_abi.  */
+      if (mips_opts.abi == NO_ABI)
+       {
+         if (mips_opts.isa == ISA_MIPS1 || mips_opts.isa == ISA_MIPS2)
+           mips_opts.abi = O32_ABI;
+         else if (mips_opts.isa == ISA_MIPS3 || mips_opts.isa == ISA_MIPS4)
+           mips_opts.abi = O64_ABI;
+       }
+    }
+
+  if (mips_arch == CPU_UNKNOWN && mips_cpu != CPU_UNKNOWN)
+    {
+      ci = mips_cpu_info_from_cpu (mips_cpu);
+      assert (ci != NULL);
+      mips_arch = ci->cpu;
+      as_warn (_("The -mcpu option is deprecated.  Please use -march and "
+                "-mtune instead."));
+    }
+
+  /* Set tune from -mcpu, not from -mipsN.  */
+  if (mips_tune == CPU_UNKNOWN && mips_cpu != CPU_UNKNOWN)
+    {
+      ci = mips_cpu_info_from_cpu (mips_cpu);
+      assert (ci != NULL);
+      mips_tune = ci->cpu;
+    }
+
+  /* At this point, mips_arch will either be CPU_UNKNOWN if no ARCH was
+     specified on the command line, or some other value if one was.
+     Similarly, mips_opts.isa will be ISA_UNKNOWN if not specified on
+     the command line, or will be set otherwise if one was.  */
+
+  if (mips_arch != CPU_UNKNOWN && mips_opts.isa != ISA_UNKNOWN)
+    /* Handled above.  */;
+#else
   if (mips_arch == CPU_UNKNOWN && mips_cpu != CPU_UNKNOWN)
     {
       ci = mips_cpu_info_from_cpu (mips_cpu);
@@ -1007,10 +1143,28 @@ md_begin ()
      specified on the command line, or some other value if one was.
      Similarly, mips_opts.isa will be ISA_UNKNOWN if not specified on
      the command line, or will be set otherwise if one was.  */
+
   if (mips_arch != CPU_UNKNOWN && mips_opts.isa != ISA_UNKNOWN)
     {
-      /* We have it all.  There's nothing to do.  */
+      /* We have to check if the isa is the default isa of arch.  Otherwise
+         we'll get invalid object file headers.  */
+      ci = mips_cpu_info_from_cpu (mips_arch);
+      assert (ci != NULL);
+      if (mips_opts.isa != ci->isa)
+       {
+         /* This really should be an error instead of a warning, but old
+            compilers only have -mcpu which sets both arch and tune.  For
+            now, we discard arch and preserve tune.  */
+         as_warn (_("The -march option is incompatible to -mipsN and "
+                    "therefore ignored."));
+         if (mips_tune == CPU_UNKNOWN)
+           mips_tune = mips_arch;
+         ci = mips_cpu_info_from_isa (mips_opts.isa);
+         assert (ci != NULL);
+         mips_arch = ci->cpu;
+       }
     }
+#endif
   else if (mips_arch != CPU_UNKNOWN && mips_opts.isa == ISA_UNKNOWN)
     {
       /* We have ARCH, we need ISA.  */
@@ -1059,8 +1213,7 @@ md_begin ()
      to change the ISA with directives.  This isn't really
      the best, but then neither is basing the abi on the isa.  */
   if (ISA_HAS_64BIT_REGS (mips_opts.isa)
-      && mips_abi_string
-      && 0 == strcmp (mips_abi_string, "eabi"))
+      && mips_opts.abi == EABI_ABI)
     mips_eabi64 = 1;
 
   /* If they asked for mips1 or mips2 and a cpu that is
@@ -1073,7 +1226,15 @@ md_begin ()
   if (! bfd_set_arch_mach (stdoutput, bfd_arch_mips, mips_arch))
     as_warn (_("Could not set architecture and machine"));
 
+  if (file_mips_gp32 < 0)
+    file_mips_gp32 = 0;
+  if (file_mips_fp32 < 0)
+    file_mips_fp32 = 0;
+
   file_mips_isa = mips_opts.isa;
+  file_mips_abi = mips_opts.abi;
+  mips_opts.gp32 = file_mips_gp32;
+  mips_opts.fp32 = file_mips_fp32;
 
   op_hash = hash_new ();
 
@@ -1200,7 +1361,7 @@ md_begin ()
        if (strcmp (TARGET_OS, "elf") != 0)
          flags |= SEC_ALLOC | SEC_LOAD;
 
-       if (! mips_64)
+       if (! HAVE_NEWABI)
          {
            sec = subseg_new (".reginfo", (subsegT) 0);
 
@@ -1274,12 +1435,18 @@ md_assemble (str)
      char *str;
 {
   struct mips_cl_insn insn;
+  bfd_reloc_code_real_type unused_reloc[3]
+    = {BFD_RELOC_UNUSED, BFD_RELOC_UNUSED, BFD_RELOC_UNUSED};
 
   imm_expr.X_op = O_absent;
-  imm_reloc = BFD_RELOC_UNUSED;
   imm_unmatched_hi = false;
   offset_expr.X_op = O_absent;
-  offset_reloc = BFD_RELOC_UNUSED;
+  imm_reloc[0] = BFD_RELOC_UNUSED;
+  imm_reloc[1] = BFD_RELOC_UNUSED;
+  imm_reloc[2] = BFD_RELOC_UNUSED;
+  offset_reloc[0] = BFD_RELOC_UNUSED;
+  offset_reloc[1] = BFD_RELOC_UNUSED;
+  offset_reloc[2] = BFD_RELOC_UNUSED;
 
   if (mips_opts.mips16)
     mips16_ip (str, &insn);
@@ -1306,12 +1473,11 @@ md_assemble (str)
   else
     {
       if (imm_expr.X_op != O_absent)
-       append_insn ((char *) NULL, &insn, &imm_expr, imm_reloc,
-                    imm_unmatched_hi);
+       append_insn (NULL, &insn, &imm_expr, imm_reloc, imm_unmatched_hi);
       else if (offset_expr.X_op != O_absent)
-       append_insn ((char *) NULL, &insn, &offset_expr, offset_reloc, false);
+       append_insn (NULL, &insn, &offset_expr, offset_reloc, false);
       else
-       append_insn ((char *) NULL, &insn, NULL, BFD_RELOC_UNUSED, false);
+       append_insn (NULL, &insn, NULL, unused_reloc, false);
     }
 }
 
@@ -1463,12 +1629,12 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
      char *place;
      struct mips_cl_insn *ip;
      expressionS *address_expr;
-     bfd_reloc_code_real_type reloc_type;
+     bfd_reloc_code_real_type *reloc_type;
      boolean unmatched_hi;
 {
   register unsigned long prev_pinfo, pinfo;
   char *f;
-  fixS *fixp;
+  fixS *fixp[3];
   int nops = 0;
 
   /* Mark instruction labels in mips16 mode.  */
@@ -1814,25 +1980,24 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
        }
     }
 
-  if (reloc_type > BFD_RELOC_UNUSED)
+  if (*reloc_type > BFD_RELOC_UNUSED)
     {
       /* We need to set up a variant frag.  */
       assert (mips_opts.mips16 && address_expr != NULL);
       f = frag_var (rs_machine_dependent, 4, 0,
-                   RELAX_MIPS16_ENCODE (reloc_type - BFD_RELOC_UNUSED,
+                   RELAX_MIPS16_ENCODE (*reloc_type - BFD_RELOC_UNUSED,
                                         mips16_small, mips16_ext,
                                         (prev_pinfo
                                          & INSN_UNCOND_BRANCH_DELAY),
-                                        (prev_insn_reloc_type
+                                        (*prev_insn_reloc_type
                                          == BFD_RELOC_MIPS16_JMP)),
-                   make_expr_symbol (address_expr), (offsetT) 0,
-                   (char *) NULL);
+                   make_expr_symbol (address_expr), 0, NULL);
     }
   else if (place != NULL)
     f = place;
   else if (mips_opts.mips16
           && ! ip->use_extend
-          && reloc_type != BFD_RELOC_MIPS16_JMP)
+          && *reloc_type != BFD_RELOC_MIPS16_JMP)
     {
       /* Make sure there is enough room to swap this instruction with
          a following jump instruction.  */
@@ -1849,17 +2014,39 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
       f = frag_more (4);
     }
 
-  fixp = NULL;
-  if (address_expr != NULL && reloc_type < BFD_RELOC_UNUSED)
+  fixp[0] = fixp[1] = fixp[2] = NULL;
+  if (address_expr != NULL && *reloc_type < BFD_RELOC_UNUSED)
     {
       if (address_expr->X_op == O_constant)
        {
-         switch (reloc_type)
+         unsigned long tmp;
+
+         switch (*reloc_type)
            {
            case BFD_RELOC_32:
              ip->insn_opcode |= address_expr->X_add_number;
              break;
 
+           case BFD_RELOC_MIPS_HIGHEST:
+             tmp = (address_expr->X_add_number + 0x800080008000) >> 16;
+             tmp >>= 16;
+             ip->insn_opcode |= (tmp >> 16) & 0xffff;
+             break;
+
+           case BFD_RELOC_MIPS_HIGHER:
+             tmp = (address_expr->X_add_number + 0x80008000) >> 16;
+             ip->insn_opcode |= (tmp >> 16) & 0xffff;
+             break;
+
+           case BFD_RELOC_HI16_S:
+             ip->insn_opcode |= ((address_expr->X_add_number + 0x8000)
+                                 >> 16) & 0xffff;
+             break;
+
+           case BFD_RELOC_HI16:
+             ip->insn_opcode |= (address_expr->X_add_number >> 16) & 0xffff;
+             break;
+
            case BFD_RELOC_LO16:
              ip->insn_opcode |= address_expr->X_add_number & 0xffff;
              break;
@@ -1868,6 +2055,10 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
              if ((address_expr->X_add_number & 3) != 0)
                as_bad (_("jump to misaligned address (0x%lx)"),
                        (unsigned long) address_expr->X_add_number);
+             if (address_expr->X_add_number & ~0xfffffff
+                 || address_expr->X_add_number > 0x7fffffc)
+               as_bad (_("jump address range overflow (0x%lx)"),
+                       (unsigned long) address_expr->X_add_number);
              ip->insn_opcode |= (address_expr->X_add_number >> 2) & 0x3ffffff;
              break;
 
@@ -1875,12 +2066,20 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
              if ((address_expr->X_add_number & 3) != 0)
                as_bad (_("jump to misaligned address (0x%lx)"),
                        (unsigned long) address_expr->X_add_number);
+             if (address_expr->X_add_number & ~0xfffffff
+                 || address_expr->X_add_number > 0x7fffffc)
+               as_bad (_("jump address range overflow (0x%lx)"),
+                       (unsigned long) address_expr->X_add_number);
              ip->insn_opcode |=
                (((address_expr->X_add_number & 0x7c0000) << 3)
                 | ((address_expr->X_add_number & 0xf800000) >> 7)
                 | ((address_expr->X_add_number & 0x3fffc) >> 2));
              break;
 
+           case BFD_RELOC_16_PCREL:
+             ip->insn_opcode |= address_expr->X_add_number & 0xffff;
+             break;
+
            case BFD_RELOC_16_PCREL_S2:
              goto need_reloc;
 
@@ -1891,33 +2090,122 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
       else
        {
        need_reloc:
-         /* Don't generate a reloc if we are writing into a variant
-            frag.  */
+         /* Don't generate a reloc if we are writing into a variant frag.  */
          if (place == NULL)
            {
-             fixp = fix_new_exp (frag_now, f - frag_now->fr_literal, 4,
-                                 address_expr,
-                                 reloc_type == BFD_RELOC_16_PCREL_S2,
-                                 reloc_type);
+             fixp[0] = fix_new_exp (frag_now, f - frag_now->fr_literal, 4,
+                                    address_expr,
+                                    (*reloc_type == BFD_RELOC_16_PCREL
+                                     || *reloc_type == BFD_RELOC_16_PCREL_S2),
+                                    reloc_type[0]);
+
+             /* These relocations can have an addend that won't fit in
+                4 octets for 64bit assembly.  */
+             if (HAVE_64BIT_GPRS &&
+                 (*reloc_type == BFD_RELOC_16
+                 || *reloc_type == BFD_RELOC_32
+                 || *reloc_type == BFD_RELOC_MIPS_JMP
+                 || *reloc_type == BFD_RELOC_HI16_S
+                 || *reloc_type == BFD_RELOC_LO16
+                 || *reloc_type == BFD_RELOC_GPREL16
+                 || *reloc_type == BFD_RELOC_MIPS_LITERAL
+                 || *reloc_type == BFD_RELOC_GPREL32
+                 || *reloc_type == BFD_RELOC_64
+                 || *reloc_type == BFD_RELOC_CTOR
+                 || *reloc_type == BFD_RELOC_MIPS_SUB
+                 || *reloc_type == BFD_RELOC_MIPS_HIGHEST
+                 || *reloc_type == BFD_RELOC_MIPS_HIGHER
+                 || *reloc_type == BFD_RELOC_MIPS_SCN_DISP
+                 || *reloc_type == BFD_RELOC_MIPS_REL16
+                 || *reloc_type == BFD_RELOC_MIPS_RELGOT))
+               fixp[0]->fx_no_overflow = 1;
+
              if (unmatched_hi)
                {
                  struct mips_hi_fixup *hi_fixup;
 
-                 assert (reloc_type == BFD_RELOC_HI16_S);
+                 assert (*reloc_type == BFD_RELOC_HI16_S);
                  hi_fixup = ((struct mips_hi_fixup *)
                              xmalloc (sizeof (struct mips_hi_fixup)));
-                 hi_fixup->fixp = fixp;
+                 hi_fixup->fixp = fixp[0];
                  hi_fixup->seg = now_seg;
                  hi_fixup->next = mips_hi_fixup_list;
                  mips_hi_fixup_list = hi_fixup;
                }
+
+             if (reloc_type[1] != BFD_RELOC_UNUSED)
+               {
+                 /* FIXME: This symbol can be one of
+                    RSS_UNDEF, RSS_GP, RSS_GP0, RSS_LOC.  */
+                 address_expr->X_op = O_absent;
+                 address_expr->X_add_symbol = 0;
+                 address_expr->X_add_number = 0;
+
+                 fixp[1] = fix_new_exp (frag_now, f - frag_now->fr_literal,
+                                        4, address_expr, false,
+                                        reloc_type[1]);
+
+                 /* These relocations can have an addend that won't fit in
+                    4 octets for 64bit assembly.  */
+                 if (HAVE_64BIT_GPRS &&
+                     (*reloc_type == BFD_RELOC_16
+                      || *reloc_type == BFD_RELOC_32
+                      || *reloc_type == BFD_RELOC_MIPS_JMP
+                      || *reloc_type == BFD_RELOC_HI16_S
+                      || *reloc_type == BFD_RELOC_LO16
+                      || *reloc_type == BFD_RELOC_GPREL16
+                      || *reloc_type == BFD_RELOC_MIPS_LITERAL
+                      || *reloc_type == BFD_RELOC_GPREL32
+                      || *reloc_type == BFD_RELOC_64
+                      || *reloc_type == BFD_RELOC_CTOR
+                      || *reloc_type == BFD_RELOC_MIPS_SUB
+                      || *reloc_type == BFD_RELOC_MIPS_HIGHEST
+                      || *reloc_type == BFD_RELOC_MIPS_HIGHER
+                      || *reloc_type == BFD_RELOC_MIPS_SCN_DISP
+                      || *reloc_type == BFD_RELOC_MIPS_REL16
+                      || *reloc_type == BFD_RELOC_MIPS_RELGOT))
+                    fixp[1]->fx_no_overflow = 1;
+
+                 if (reloc_type[2] != BFD_RELOC_UNUSED)
+                   {
+                     address_expr->X_op = O_absent;
+                     address_expr->X_add_symbol = 0;
+                     address_expr->X_add_number = 0;
+
+                     fixp[2] = fix_new_exp (frag_now,
+                                            f - frag_now->fr_literal, 4,
+                                            address_expr, false,
+                                            reloc_type[2]);
+
+                     /* These relocations can have an addend that won't fit in
+                        4 octets for 64bit assembly.  */
+                     if (HAVE_64BIT_GPRS &&
+                         (*reloc_type == BFD_RELOC_16
+                          || *reloc_type == BFD_RELOC_32
+                          || *reloc_type == BFD_RELOC_MIPS_JMP
+                          || *reloc_type == BFD_RELOC_HI16_S
+                          || *reloc_type == BFD_RELOC_LO16
+                          || *reloc_type == BFD_RELOC_GPREL16
+                          || *reloc_type == BFD_RELOC_MIPS_LITERAL
+                          || *reloc_type == BFD_RELOC_GPREL32
+                          || *reloc_type == BFD_RELOC_64
+                          || *reloc_type == BFD_RELOC_CTOR
+                          || *reloc_type == BFD_RELOC_MIPS_SUB
+                          || *reloc_type == BFD_RELOC_MIPS_HIGHEST
+                          || *reloc_type == BFD_RELOC_MIPS_HIGHER
+                          || *reloc_type == BFD_RELOC_MIPS_SCN_DISP
+                          || *reloc_type == BFD_RELOC_MIPS_REL16
+                          || *reloc_type == BFD_RELOC_MIPS_RELGOT))
+                      fixp[2]->fx_no_overflow = 1;
+                   }
+               }
            }
        }
     }
 
   if (! mips_opts.mips16)
     md_number_to_chars (f, ip->insn_opcode, 4);
-  else if (reloc_type == BFD_RELOC_MIPS16_JMP)
+  else if (*reloc_type == BFD_RELOC_MIPS16_JMP)
     {
       md_number_to_chars (f, ip->insn_opcode >> 16, 2);
       md_number_to_chars (f + 2, ip->insn_opcode & 0xffff, 2);
@@ -2201,7 +2489,7 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
              /* If the previous instruction had a fixup in mips16
                  mode, we can not swap.  This normally means that the
                  previous instruction was a 4 byte branch anyhow.  */
-             || (mips_opts.mips16 && prev_insn_fixp)
+             || (mips_opts.mips16 && prev_insn_fixp[0])
              /* If the previous instruction is a sync, sync.l, or
                 sync.p, we can not swap.  */
              || (prev_pinfo & INSN_SYNC))
@@ -2227,15 +2515,35 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
                  memcpy (temp, prev_f, 4);
                  memcpy (prev_f, f, 4);
                  memcpy (f, temp, 4);
-                 if (prev_insn_fixp)
+                 if (prev_insn_fixp[0])
                    {
-                     prev_insn_fixp->fx_frag = frag_now;
-                     prev_insn_fixp->fx_where = f - frag_now->fr_literal;
+                     prev_insn_fixp[0]->fx_frag = frag_now;
+                     prev_insn_fixp[0]->fx_where = f - frag_now->fr_literal;
                    }
-                 if (fixp)
+                 if (prev_insn_fixp[1])
                    {
-                     fixp->fx_frag = prev_insn_frag;
-                     fixp->fx_where = prev_insn_where;
+                     prev_insn_fixp[1]->fx_frag = frag_now;
+                     prev_insn_fixp[1]->fx_where = f - frag_now->fr_literal;
+                   }
+                 if (prev_insn_fixp[2])
+                   {
+                     prev_insn_fixp[2]->fx_frag = frag_now;
+                     prev_insn_fixp[2]->fx_where = f - frag_now->fr_literal;
+                   }
+                 if (fixp[0])
+                   {
+                     fixp[0]->fx_frag = prev_insn_frag;
+                     fixp[0]->fx_where = prev_insn_where;
+                   }
+                 if (fixp[1])
+                   {
+                     fixp[1]->fx_frag = prev_insn_frag;
+                     fixp[1]->fx_where = prev_insn_where;
+                   }
+                 if (fixp[2])
+                   {
+                     fixp[2]->fx_frag = prev_insn_frag;
+                     fixp[2]->fx_where = prev_insn_where;
                    }
                }
              else
@@ -2243,13 +2551,15 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
                  char *prev_f;
                  char temp[2];
 
-                 assert (prev_insn_fixp == NULL);
+                 assert (prev_insn_fixp[0] == NULL);
+                 assert (prev_insn_fixp[1] == NULL);
+                 assert (prev_insn_fixp[2] == NULL);
                  prev_f = prev_insn_frag->fr_literal + prev_insn_where;
                  memcpy (temp, prev_f, 2);
                  memcpy (prev_f, f, 2);
-                 if (reloc_type != BFD_RELOC_MIPS16_JMP)
+                 if (*reloc_type != BFD_RELOC_MIPS16_JMP)
                    {
-                     assert (reloc_type == BFD_RELOC_UNUSED);
+                     assert (*reloc_type == BFD_RELOC_UNUSED);
                      memcpy (f, temp, 2);
                    }
                  else
@@ -2257,10 +2567,20 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
                      memcpy (f, f + 2, 2);
                      memcpy (f + 2, temp, 2);
                    }
-                 if (fixp)
+                 if (fixp[0])
                    {
-                     fixp->fx_frag = prev_insn_frag;
-                     fixp->fx_where = prev_insn_where;
+                     fixp[0]->fx_frag = prev_insn_frag;
+                     fixp[0]->fx_where = prev_insn_where;
+                   }
+                 if (fixp[1])
+                   {
+                     fixp[1]->fx_frag = prev_insn_frag;
+                     fixp[1]->fx_where = prev_insn_where;
+                   }
+                 if (fixp[2])
+                   {
+                     fixp[2]->fx_frag = prev_insn_frag;
+                     fixp[2]->fx_where = prev_insn_where;
                    }
                }
 
@@ -2278,8 +2598,12 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
              prev_insn.insn_mo = &dummy_opcode;
            }
 
-         prev_insn_fixp = NULL;
-         prev_insn_reloc_type = BFD_RELOC_UNUSED;
+         prev_insn_fixp[0] = NULL;
+         prev_insn_fixp[1] = NULL;
+         prev_insn_fixp[2] = NULL;
+         prev_insn_reloc_type[0] = BFD_RELOC_UNUSED;
+         prev_insn_reloc_type[1] = BFD_RELOC_UNUSED;
+         prev_insn_reloc_type[2] = BFD_RELOC_UNUSED;
          prev_insn_extended = 0;
        }
       else if (pinfo & INSN_COND_BRANCH_LIKELY)
@@ -2292,8 +2616,12 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
          /* Update the previous insn information.  */
          prev_prev_insn = *ip;
          prev_insn.insn_mo = &dummy_opcode;
-         prev_insn_fixp = NULL;
-         prev_insn_reloc_type = BFD_RELOC_UNUSED;
+         prev_insn_fixp[0] = NULL;
+         prev_insn_fixp[1] = NULL;
+         prev_insn_fixp[2] = NULL;
+         prev_insn_reloc_type[0] = BFD_RELOC_UNUSED;
+         prev_insn_reloc_type[1] = BFD_RELOC_UNUSED;
+         prev_insn_reloc_type[2] = BFD_RELOC_UNUSED;
          prev_insn_extended = 0;
        }
       else
@@ -2310,11 +2638,15 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
             is not in a delay slot.  */
          prev_insn_is_delay_slot = 0;
 
-         prev_insn_fixp = fixp;
-         prev_insn_reloc_type = reloc_type;
+         prev_insn_fixp[0] = fixp[0];
+         prev_insn_fixp[1] = fixp[1];
+         prev_insn_fixp[2] = fixp[2];
+         prev_insn_reloc_type[0] = reloc_type[0];
+         prev_insn_reloc_type[1] = reloc_type[1];
+         prev_insn_reloc_type[2] = reloc_type[2];
          if (mips_opts.mips16)
            prev_insn_extended = (ip->use_extend
-                                 || reloc_type > BFD_RELOC_UNUSED);
+                                 || *reloc_type > BFD_RELOC_UNUSED);
        }
 
       prev_prev_insn_unreordered = prev_insn_unreordered;
@@ -2330,7 +2662,9 @@ append_insn (place, ip, address_expr, reloc_type, unmatched_hi)
          PC relative relocs.  */
       prev_prev_insn = prev_insn;
       prev_insn = *ip;
-      prev_insn_reloc_type = reloc_type;
+      prev_insn_reloc_type[0] = reloc_type[0];
+      prev_insn_reloc_type[1] = reloc_type[1];
+      prev_insn_reloc_type[2] = reloc_type[2];
       prev_prev_insn_unreordered = prev_insn_unreordered;
       prev_insn_unreordered = 1;
     }
@@ -2370,7 +2704,9 @@ mips_no_prev_insn (preserve)
   prev_insn_is_delay_slot = 0;
   prev_insn_unreordered = 0;
   prev_insn_extended = 0;
-  prev_insn_reloc_type = BFD_RELOC_UNUSED;
+  prev_insn_reloc_type[0] = BFD_RELOC_UNUSED;
+  prev_insn_reloc_type[1] = BFD_RELOC_UNUSED;
+  prev_insn_reloc_type[2] = BFD_RELOC_UNUSED;
   prev_prev_insn_unreordered = 0;
   mips_clear_insn_labels ();
 }
@@ -2510,7 +2846,7 @@ macro_build (place, counter, ep, name, fmt, va_alist)
 #endif
 {
   struct mips_cl_insn insn;
-  bfd_reloc_code_real_type r;
+  bfd_reloc_code_real_type r[3];
   va_list args;
 
 #ifdef USE_STDARG
@@ -2537,7 +2873,9 @@ macro_build (place, counter, ep, name, fmt, va_alist)
       return;
     }
 
-  r = BFD_RELOC_UNUSED;
+  r[0] = BFD_RELOC_UNUSED;
+  r[1] = BFD_RELOC_UNUSED;
+  r[2] = BFD_RELOC_UNUSED;
   insn.insn_mo = (struct mips_opcode *) hash_find (op_hash, name);
   assert (insn.insn_mo);
   assert (strcmp (name, insn.insn_mo->name) == 0);
@@ -2636,35 +2974,33 @@ macro_build (place, counter, ep, name, fmt, va_alist)
        case 'i':
        case 'j':
        case 'o':
-         r = (bfd_reloc_code_real_type) va_arg (args, int);
-         assert (r == BFD_RELOC_MIPS_GPREL
-                 || r == BFD_RELOC_MIPS_LITERAL
-                 || r == BFD_RELOC_LO16
-                 || r == BFD_RELOC_MIPS_GOT16
-                 || r == BFD_RELOC_MIPS_CALL16
-                 || r == BFD_RELOC_MIPS_GOT_LO16
-                 || r == BFD_RELOC_MIPS_CALL_LO16
+         *r = (bfd_reloc_code_real_type) va_arg (args, int);
+         assert (*r == BFD_RELOC_GPREL16
+                 || *r == BFD_RELOC_MIPS_LITERAL
+                 || *r == BFD_RELOC_MIPS_HIGHER
+                 || *r == BFD_RELOC_HI16_S
+                 || *r == BFD_RELOC_LO16
+                 || *r == BFD_RELOC_MIPS_GOT16
+                 || *r == BFD_RELOC_MIPS_CALL16
+                 || *r == BFD_RELOC_MIPS_GOT_LO16
+                 || *r == BFD_RELOC_MIPS_CALL_LO16
                  || (ep->X_op == O_subtract
-                     && r == BFD_RELOC_PCREL_LO16));
+                     && *r == BFD_RELOC_PCREL_LO16));
          continue;
 
        case 'u':
-         r = (bfd_reloc_code_real_type) va_arg (args, int);
+         *r = (bfd_reloc_code_real_type) va_arg (args, int);
          assert (ep != NULL
                  && (ep->X_op == O_constant
                      || (ep->X_op == O_symbol
-                         && (r == BFD_RELOC_HI16_S
-                             || r == BFD_RELOC_HI16
-                             || r == BFD_RELOC_MIPS_GOT_HI16
-                             || r == BFD_RELOC_MIPS_CALL_HI16))
+                         && (*r == BFD_RELOC_MIPS_HIGHEST
+                             || *r == BFD_RELOC_HI16_S
+                             || *r == BFD_RELOC_HI16
+                             || *r == BFD_RELOC_GPREL16
+                             || *r == BFD_RELOC_MIPS_GOT_HI16
+                             || *r == BFD_RELOC_MIPS_CALL_HI16))
                      || (ep->X_op == O_subtract
-                         && r == BFD_RELOC_PCREL_HI16_S)));
-         if (ep->X_op == O_constant)
-           {
-             insn.insn_opcode |= (ep->X_add_number >> 16) & 0xffff;
-             ep = NULL;
-             r = BFD_RELOC_UNUSED;
-           }
+                         && *r == BFD_RELOC_PCREL_HI16_S)));
          continue;
 
        case 'p':
@@ -2682,12 +3018,15 @@ macro_build (place, counter, ep, name, fmt, va_alist)
              ep = NULL;
            }
          else
-           r = BFD_RELOC_16_PCREL_S2;
+           if (mips_pic == EMBEDDED_PIC)
+             *r = BFD_RELOC_16_PCREL_S2;
+           else
+             *r = BFD_RELOC_16_PCREL;
          continue;
 
        case 'a':
          assert (ep != NULL);
-         r = BFD_RELOC_MIPS_JMP;
+         *r = BFD_RELOC_MIPS_JMP;
          continue;
 
        case 'C':
@@ -2700,7 +3039,7 @@ macro_build (place, counter, ep, name, fmt, va_alist)
       break;
     }
   va_end (args);
-  assert (r == BFD_RELOC_UNUSED ? ep == NULL : ep != NULL);
+  assert (*r == BFD_RELOC_UNUSED ? ep == NULL : ep != NULL);
 
   append_insn (place, &insn, ep, r, false);
 }
@@ -2715,9 +3054,9 @@ mips16_macro_build (place, counter, ep, name, fmt, args)
      va_list args;
 {
   struct mips_cl_insn insn;
-  bfd_reloc_code_real_type r;
+  bfd_reloc_code_real_type r[3]
+    = {BFD_RELOC_UNUSED, BFD_RELOC_UNUSED, BFD_RELOC_UNUSED};
 
-  r = BFD_RELOC_UNUSED;
   insn.insn_mo = (struct mips_opcode *) hash_find (mips16_op_hash, name);
   assert (insn.insn_mo);
   assert (strcmp (name, insn.insn_mo->name) == 0);
@@ -2806,14 +3145,14 @@ mips16_macro_build (place, counter, ep, name, fmt, args)
            assert (ep != NULL);
 
            if (ep->X_op != O_constant)
-             r = BFD_RELOC_UNUSED + c;
+             *r = BFD_RELOC_UNUSED + c;
            else
              {
-               mips16_immed ((char *) NULL, 0, c, ep->X_add_number, false,
-                             false, false, &insn.insn_opcode,
-                             &insn.use_extend, &insn.extend);
+               mips16_immed (NULL, 0, c, ep->X_add_number, false, false,
+                             false, &insn.insn_opcode, &insn.use_extend,
+                             &insn.extend);
                ep = NULL;
-               r = BFD_RELOC_UNUSED;
+               *r = BFD_RELOC_UNUSED;
              }
          }
          continue;
@@ -2826,7 +3165,7 @@ mips16_macro_build (place, counter, ep, name, fmt, args)
       break;
     }
 
-  assert (r == BFD_RELOC_UNUSED ? ep == NULL : ep != NULL);
+  assert (*r == BFD_RELOC_UNUSED ? ep == NULL : ep != NULL);
 
   append_insn (place, &insn, ep, r, false);
 }
@@ -2843,7 +3182,8 @@ macro_build_lui (place, counter, ep, regnum)
 {
   expressionS high_expr;
   struct mips_cl_insn insn;
-  bfd_reloc_code_real_type r;
+  bfd_reloc_code_real_type r[3]
+    = {BFD_RELOC_UNUSED, BFD_RELOC_UNUSED, BFD_RELOC_UNUSED};
   CONST char *name = "lui";
   CONST char *fmt = "t,u";
 
@@ -2860,19 +3200,17 @@ macro_build_lui (place, counter, ep, regnum)
   if (high_expr.X_op == O_constant)
     {
       /* we can compute the instruction now without a relocation entry */
-      if (high_expr.X_add_number & 0x8000)
-       high_expr.X_add_number += 0x10000;
-      high_expr.X_add_number =
-       ((unsigned long) high_expr.X_add_number >> 16) & 0xffff;
-      r = BFD_RELOC_UNUSED;
+      high_expr.X_add_number = ((high_expr.X_add_number + 0x8000)
+                               >> 16) & 0xffff;
+      *r = BFD_RELOC_UNUSED;
     }
-  else
+  else if (! HAVE_NEWABI)
     {
       assert (ep->X_op == O_symbol);
       /* _gp_disp is a special case, used from s_cpload.  */
       assert (mips_pic == NO_PIC
              || strcmp (S_GET_NAME (ep->X_add_symbol), "_gp_disp") == 0);
-      r = BFD_RELOC_HI16_S;
+      *r = BFD_RELOC_HI16_S;
     }
 
   /*
@@ -2892,7 +3230,7 @@ macro_build_lui (place, counter, ep, regnum)
   assert (strcmp (fmt, insn.insn_mo->args) == 0);
 
   insn.insn_opcode = insn.insn_mo->match | (regnum << OP_SH_RT);
-  if (r == BFD_RELOC_UNUSED)
+  if (*r == BFD_RELOC_UNUSED)
     {
       insn.insn_opcode |= high_expr.X_add_number;
       append_insn (place, &insn, NULL, r, false);
@@ -2920,7 +3258,7 @@ set_at (counter, reg, unsignedp)
   else
     {
       load_register (counter, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, counter, NULL,
+      macro_build ((char *) NULL, counter, (expressionS *) NULL,
                   unsignedp ? "sltu" : "slt",
                   "d,v,t", AT, reg, AT);
     }
@@ -3015,6 +3353,11 @@ check_absolute_expr (ip, ex)
            ? 1                          \
            : 0)
 
+/* Is the given value a sign-extended 32-bit value?  */
+#define IS_SEXT_32BIT_NUM(x)                                           \
+  (((x) &~ (offsetT) 0x7fffffff) == 0                                  \
+   || (((x) &~ (offsetT) 0x7fffffff) == ~ (offsetT) 0x7fffffff))
+
 /*                     load_register()
  *  This routine generates the least number of instructions neccessary to load
  *  an absolute expression value into a register.
@@ -3054,9 +3397,7 @@ load_register (counter, reg, ep, dbl)
                       (int) BFD_RELOC_LO16);
          return;
        }
-      else if ((((ep->X_add_number &~ (offsetT) 0x7fffffff) == 0
-                || ((ep->X_add_number &~ (offsetT) 0x7fffffff)
-                    == ~ (offsetT) 0x7fffffff))
+      else if ((IS_SEXT_32BIT_NUM (ep->X_add_number)
                && (! dbl
                    || ! ep->X_unsigned
                    || sizeof (ep->X_add_number) > 4
@@ -3082,7 +3423,8 @@ load_register (counter, reg, ep, dbl)
 
   if (HAVE_32BIT_GPRS)
     {
-      as_bad (_("Number larger than 32 bits"));
+      as_bad (_("Number (0x%lx) larger than 32 bits"),
+             (unsigned long) ep->X_add_number);
       macro_build ((char *) NULL, counter, ep, "addiu", "t,r,j", reg, 0,
                   (int) BFD_RELOC_LO16);
       return;
@@ -3117,7 +3459,7 @@ load_register (counter, reg, ep, dbl)
       int shift, bit;
       unsigned long hi, lo;
 
-      if (hi32.X_add_number == 0xffffffff)
+      if (hi32.X_add_number == (offsetT) 0xffffffff)
        {
          if ((lo32.X_add_number & 0xffff8000) == 0xffff8000)
            {
@@ -3168,7 +3510,7 @@ load_register (counter, reg, ep, dbl)
              macro_build ((char *) NULL, counter, &tmp,
                           "ori", "t,r,i", reg, 0,
                           (int) BFD_RELOC_LO16);
-             macro_build ((char *) NULL, counter, NULL,
+             macro_build ((char *) NULL, counter, (expressionS *) NULL,
                           (shift >= 32) ? "dsll32" : "dsll",
                           "d,w,<", reg, reg,
                           (shift >= 32) ? shift - 32 : shift);
@@ -3223,12 +3565,12 @@ load_register (counter, reg, ep, dbl)
              if (bit != 0)
                {
                  bit += shift;
-                 macro_build ((char *) NULL, counter, NULL,
+                 macro_build ((char *) NULL, counter, (expressionS *) NULL,
                               (bit >= 32) ? "dsll32" : "dsll",
                               "d,w,<", reg, reg,
                               (bit >= 32) ? bit - 32 : bit);
                }
-             macro_build ((char *) NULL, counter, NULL,
+             macro_build ((char *) NULL, counter, (expressionS *) NULL,
                           (shift >= 32) ? "dsrl32" : "dsrl",
                           "d,w,<", reg, reg,
                           (shift >= 32) ? shift - 32 : shift);
@@ -3247,8 +3589,8 @@ load_register (counter, reg, ep, dbl)
     {
       if (freg != 0)
        {
-         macro_build ((char *) NULL, counter, NULL, "dsll32", "d,w,<", reg,
-                      freg, 0);
+         macro_build ((char *) NULL, counter, (expressionS *) NULL,
+                      "dsll32", "d,w,<", reg, freg, 0);
          freg = reg;
        }
     }
@@ -3256,27 +3598,27 @@ load_register (counter, reg, ep, dbl)
     {
       expressionS mid16;
 
-      if ((freg == 0) && (lo32.X_add_number == 0xffffffff))
+      if ((freg == 0) && (lo32.X_add_number == (offsetT) 0xffffffff))
        {
          macro_build ((char *) NULL, counter, &lo32, "lui", "t,u", reg,
                       (int) BFD_RELOC_HI16);
-         macro_build ((char *) NULL, counter, NULL, "dsrl32", "d,w,<", reg,
-                      reg, 0);
+         macro_build ((char *) NULL, counter, (expressionS *) NULL,
+                      "dsrl32", "d,w,<", reg, reg, 0);
          return;
        }
 
       if (freg != 0)
        {
-         macro_build ((char *) NULL, counter, NULL, "dsll", "d,w,<", reg,
-                      freg, 16);
+         macro_build ((char *) NULL, counter, (expressionS *) NULL, "dsll",
+                      "d,w,<", reg, freg, 16);
          freg = reg;
        }
       mid16 = lo32;
       mid16.X_add_number >>= 16;
       macro_build ((char *) NULL, counter, &mid16, "ori", "t,r,i", reg,
                   freg, (int) BFD_RELOC_LO16);
-      macro_build ((char *) NULL, counter, NULL, "dsll", "d,w,<", reg,
-                  reg, 16);
+      macro_build ((char *) NULL, counter, (expressionS *) NULL, "dsll",
+                  "d,w,<", reg, reg, 16);
       freg = reg;
     }
   if ((lo32.X_add_number & 0xffff) != 0)
@@ -3287,10 +3629,12 @@ load_register (counter, reg, ep, dbl)
 /* Load an address into a register.  */
 
 static void
-load_address (counter, reg, ep)
+load_address (counter, reg, ep, dbl, used_at)
      int *counter;
      int reg;
      expressionS *ep;
+     int dbl;
+     int *used_at;
 {
   char *p;
 
@@ -3303,38 +3647,96 @@ load_address (counter, reg, ep)
 
   if (ep->X_op == O_constant)
     {
-      load_register (counter, reg, ep, 0);
+      load_register (counter, reg, ep, dbl);
       return;
     }
 
   if (mips_pic == NO_PIC)
     {
       /* If this is a reference to a GP relative symbol, we want
-          addiu        $reg,$gp,<sym>          (BFD_RELOC_MIPS_GPREL)
+          addiu        $reg,$gp,<sym>          (BFD_RELOC_GPREL16)
         Otherwise we want
           lui          $reg,<sym>              (BFD_RELOC_HI16_S)
           addiu        $reg,$reg,<sym>         (BFD_RELOC_LO16)
-        If we have an addend, we always use the latter form.  */
-      if ((valueT) ep->X_add_number >= MAX_GPREL_OFFSET
-         || nopic_need_relax (ep->X_add_symbol, 1))
-       p = NULL;
+        If we have an addend, we always use the latter form.
+
+        With 64bit address space and a usable $at we want
+          lui          $reg,<sym>              (BFD_RELOC_MIPS_HIGHEST)
+          lui          $at,<sym>               (BFD_RELOC_HI16_S)
+          daddiu       $reg,<sym>              (BFD_RELOC_MIPS_HIGHER)
+          daddiu       $at,<sym>               (BFD_RELOC_LO16)
+          dsll32       $reg,0
+          dadd         $reg,$reg,$at
+
+        If $at is already in use, we use an path which is suboptimal
+        on superscalar processors.
+          lui          $reg,<sym>              (BFD_RELOC_MIPS_HIGHEST)
+          daddiu       $reg,<sym>              (BFD_RELOC_MIPS_HIGHER)
+          dsll         $reg,16
+          daddiu       $reg,<sym>              (BFD_RELOC_HI16_S)
+          dsll         $reg,16
+          daddiu       $reg,<sym>              (BFD_RELOC_LO16)
+       */
+      if (dbl)
+       {
+         p = NULL;
+
+         /* We don't do GP optimization for now because RELAX_ENCODE can't
+            hold the data for such large chunks.  */
+
+         if (*used_at == 0)
+           {
+             macro_build (p, counter, ep, "lui", "t,u",
+                          reg, (int) BFD_RELOC_MIPS_HIGHEST);
+             macro_build (p, counter, ep, "lui", "t,u",
+                          AT, (int) BFD_RELOC_HI16_S);
+             macro_build (p, counter, ep, "daddiu", "t,r,j",
+                          reg, reg, (int) BFD_RELOC_MIPS_HIGHER);
+             macro_build (p, counter, ep, "daddiu", "t,r,j",
+                          AT, AT, (int) BFD_RELOC_LO16);
+             macro_build (p, counter, (expressionS *) NULL, "dsll32",
+                          "d,w,<", reg, reg, 0);
+             macro_build (p, counter, (expressionS *) NULL, "dadd",
+                          "d,v,t", reg, reg, AT);
+             *used_at = 1;
+           }
+         else
+           {
+             macro_build (p, counter, ep, "lui", "t,u",
+                          reg, (int) BFD_RELOC_MIPS_HIGHEST);
+             macro_build (p, counter, ep, "daddiu", "t,r,j",
+                          reg, reg, (int) BFD_RELOC_MIPS_HIGHER);
+             macro_build (p, counter, (expressionS *) NULL, "dsll",
+                          "d,w,<", reg, reg, 16);
+             macro_build (p, counter, ep, "daddiu", "t,r,j",
+                          reg, reg, (int) BFD_RELOC_HI16_S);
+             macro_build (p, counter, (expressionS *) NULL, "dsll",
+                          "d,w,<", reg, reg, 16);
+             macro_build (p, counter, ep, "daddiu", "t,r,j",
+                          reg, reg, (int) BFD_RELOC_LO16);
+           }
+       }
       else
        {
-         frag_grow (20);
-         macro_build ((char *) NULL, counter, ep,
-                      HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                      "t,r,j", reg, GP, (int) BFD_RELOC_MIPS_GPREL);
-         p = frag_var (rs_machine_dependent, 8, 0,
-                       RELAX_ENCODE (4, 8, 0, 4, 0,
-                                     mips_opts.warn_about_macros),
-                       ep->X_add_symbol, (offsetT) 0, (char *) NULL);
-       }
-      macro_build_lui (p, counter, ep, reg);
-      if (p != NULL)
-       p += 4;
-      macro_build (p, counter, ep,
-                  HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                  "t,r,j", reg, reg, (int) BFD_RELOC_LO16);
+         p = NULL;
+         if ((valueT) ep->X_add_number <= MAX_GPREL_OFFSET
+             && ! nopic_need_relax (ep->X_add_symbol, 1))
+           {
+             frag_grow (20);
+             macro_build ((char *) NULL, counter, ep,
+                          dbl ? "daddiu" : "addiu", "t,r,j", reg, GP,
+                          (int) BFD_RELOC_GPREL16);
+             p = frag_var (rs_machine_dependent, 8, 0,
+                           RELAX_ENCODE (4, 8, 0, 4, 0,
+                                         mips_opts.warn_about_macros),
+                           ep->X_add_symbol, 0, NULL);
+           }
+         macro_build_lui (p, counter, ep, reg);
+         if (p != NULL)
+           p += 4;
+         macro_build (p, counter, ep, dbl ? "daddiu" : "addiu",
+                      "t,r,j", reg, reg, (int) BFD_RELOC_LO16);
+       }
     }
   else if (mips_pic == SVR4_PIC && ! mips_big_got)
     {
@@ -3395,15 +3797,13 @@ load_address (counter, reg, ep)
       macro_build ((char *) NULL, counter, ep, "lui", "t,u", reg,
                   (int) BFD_RELOC_MIPS_GOT_HI16);
       macro_build ((char *) NULL, counter, (expressionS *) NULL,
-                  HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
-                  "d,v,t", reg, reg, GP);
-      macro_build ((char *) NULL, counter, ep,
-                  HAVE_32BIT_ADDRESSES ? "lw" : "ld",
+                  dbl ? "daddu" : "addu", "d,v,t", reg, reg, GP);
+      macro_build ((char *) NULL, counter, ep, dbl ? "ld" : "lw",
                   "t,o(b)", reg, (int) BFD_RELOC_MIPS_GOT_LO16, reg);
       p = frag_var (rs_machine_dependent, 12 + off, 0,
                    RELAX_ENCODE (12, 12 + off, off, 8 + off, 0,
                                  mips_opts.warn_about_macros),
-                   ep->X_add_symbol, (offsetT) 0, (char *) NULL);
+                   ep->X_add_symbol, 0, NULL);
       if (off > 0)
        {
          /* We need a nop before loading from $gp.  This special
@@ -3413,31 +3813,29 @@ load_address (counter, reg, ep)
          macro_build (p, counter, (expressionS *) NULL, "nop", "");
          p += 4;
        }
-      macro_build (p, counter, ep, HAVE_32BIT_ADDRESSES ? "lw" : "ld",
+      macro_build (p, counter, ep, dbl ? "ld" : "lw",
                   "t,o(b)", reg, (int) BFD_RELOC_MIPS_GOT16, GP);
       p += 4;
       macro_build (p, counter, (expressionS *) NULL, "nop", "");
       p += 4;
-      macro_build (p, counter, ep, HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
+      macro_build (p, counter, ep, dbl ? "daddiu" : "addiu",
                   "t,r,j", reg, reg, (int) BFD_RELOC_LO16);
       if (ex.X_add_number != 0)
        {
          if (ex.X_add_number < -0x8000 || ex.X_add_number >= 0x8000)
            as_bad (_("PIC code offset overflow (max 16 signed bits)"));
          ex.X_op = O_constant;
-         macro_build ((char *) NULL, counter, &ex,
-                      HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
+         macro_build ((char *) NULL, counter, &ex, dbl ? "daddiu" : "addiu",
                       "t,r,j", reg, reg, (int) BFD_RELOC_LO16);
        }
     }
   else if (mips_pic == EMBEDDED_PIC)
     {
       /* We always do
-          addiu        $reg,$gp,<sym>          (BFD_RELOC_MIPS_GPREL)
+          addiu        $reg,$gp,<sym>          (BFD_RELOC_GPREL16)
         */
-      macro_build ((char *) NULL, counter, ep,
-                  HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                  "t,r,j", reg, GP, (int) BFD_RELOC_MIPS_GPREL);
+      macro_build ((char *) NULL, counter, ep, dbl ? "daddiu" : "addiu",
+                  "t,r,j", reg, GP, (int) BFD_RELOC_GPREL16);
     }
   else
     abort ();
@@ -3527,10 +3925,11 @@ macro (ip)
       expr1.X_add_number = 8;
       macro_build ((char *) NULL, &icnt, &expr1, "bgez", "s,p", sreg);
       if (dreg == sreg)
-       macro_build ((char *) NULL, &icnt, NULL, "nop", "", 0);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "",
+                    0);
       else
        move_register (&icnt, dreg, sreg);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dsub" : "sub", "d,v,t", dreg, 0, sreg);
 
       --mips_opts.noreorder;
@@ -3563,7 +3962,8 @@ macro (ip)
          return;
        }
       load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL, s2, "d,v,t", treg, sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s2, "d,v,t",
+                  treg, sreg, AT);
       break;
 
     case M_AND_I:
@@ -3593,14 +3993,15 @@ macro (ip)
            {
              macro_build ((char *) NULL, &icnt, &imm_expr, "ori", "t,r,i",
                           treg, sreg, (int) BFD_RELOC_LO16);
-             macro_build ((char *) NULL, &icnt, NULL, "nor", "d,v,t",
-                          treg, treg, 0);
+             macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nor",
+                          "d,v,t", treg, treg, 0);
            }
          return;
        }
 
-      load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, s2, "d,v,t", treg, sreg, AT);
+      load_register (&icnt, AT, &imm_expr, HAVE_64BIT_GPRS);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s2, "d,v,t",
+                  treg, sreg, AT);
       break;
 
     case M_BEQ_I:
@@ -3633,18 +4034,17 @@ macro (ip)
       if (treg == 0)
        {
          macro_build ((char *) NULL, &icnt, &offset_expr,
-                      likely ? "bgezl" : "bgez",
-                      "s,p", sreg);
+                      likely ? "bgezl" : "bgez", "s,p", sreg);
          return;
        }
       if (sreg == 0)
        {
          macro_build ((char *) NULL, &icnt, &offset_expr,
-                      likely ? "blezl" : "blez",
-                      "s,p", treg);
+                      likely ? "blezl" : "blez", "s,p", treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "slt", "d,v,t", AT, sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "slt", "d,v,t",
+                  AT, sreg, treg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "beql" : "beq", "s,t,p", AT, 0);
       break;
@@ -3672,7 +4072,8 @@ macro (ip)
              if (warn_nops)
                as_warn (_("Branch %s is always false (nop)"),
                         ip->insn_mo->name);
-             macro_build ((char *) NULL, &icnt, NULL, "nop", "", 0);
+             macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop",
+                          "", 0);
            }
          else
            {
@@ -3739,8 +4140,8 @@ macro (ip)
                       likely ? "beql" : "beq", "s,t,p", 0, treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", AT, sreg,
-                  treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", AT, sreg, treg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "beql" : "beq", "s,t,p", AT, 0);
       break;
@@ -3751,7 +4152,7 @@ macro (ip)
       if (sreg == 0
          || (HAVE_32BIT_GPRS
              && imm_expr.X_op == O_constant
-             && imm_expr.X_add_number == 0xffffffff))
+             && imm_expr.X_add_number == (offsetT) 0xffffffff))
        goto do_false;
       if (imm_expr.X_op != O_constant)
        as_bad (_("Unsupported large constant"));
@@ -3789,7 +4190,8 @@ macro (ip)
                       likely ? "bltzl" : "bltz", "s,p", treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "slt", "d,v,t", AT, treg, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "slt", "d,v,t",
+                  AT, treg, sreg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "bnel" : "bne", "s,t,p", AT, 0);
       break;
@@ -3805,8 +4207,8 @@ macro (ip)
        }
       if (sreg == 0)
        goto do_false;
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", AT, treg,
-                  sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", AT, treg, sreg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "bnel" : "bne", "s,t,p", AT, 0);
       break;
@@ -3826,7 +4228,8 @@ macro (ip)
                       likely ? "bgezl" : "bgez", "s,p", treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "slt", "d,v,t", AT, treg, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "slt", "d,v,t",
+                  AT, treg, sreg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "beql" : "beq", "s,t,p", AT, 0);
       break;
@@ -3882,8 +4285,8 @@ macro (ip)
        }
       if (sreg == 0)
        goto do_true;
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", AT, treg,
-                  sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", AT, treg, sreg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "beql" : "beq", "s,t,p", AT, 0);
       break;
@@ -3894,7 +4297,7 @@ macro (ip)
       if (sreg == 0
          || (HAVE_32BIT_GPRS
              && imm_expr.X_op == O_constant
-             && imm_expr.X_add_number == 0xffffffff))
+             && imm_expr.X_add_number == (offsetT) 0xffffffff))
        goto do_true;
       if (imm_expr.X_op != O_constant)
        as_bad (_("Unsupported large constant"));
@@ -3933,7 +4336,8 @@ macro (ip)
                       likely ? "bgtzl" : "bgtz", "s,p", treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "slt", "d,v,t", AT, sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "slt", "d,v,t",
+                  AT, sreg, treg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "bnel" : "bne", "s,t,p", AT, 0);
       break;
@@ -3949,7 +4353,8 @@ macro (ip)
                       likely ? "bnel" : "bne", "s,t,p", 0, treg);
          return;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", AT, sreg,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", AT, sreg,
                   treg);
       macro_build ((char *) NULL, &icnt, &offset_expr,
                   likely ? "bnel" : "bne", "s,t,p", AT, 0);
@@ -3969,9 +4374,11 @@ macro (ip)
        {
          as_warn (_("Divide by zero."));
          if (mips_trap)
-           macro_build ((char *) NULL, &icnt, NULL, "teq", "s,t", 0, 0);
+           macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "teq",
+                        "s,t", 0, 0);
          else
-           macro_build ((char *) NULL, &icnt, NULL, "break", "c", 7);
+           macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                        "c", 7);
          return;
        }
 
@@ -3980,17 +4387,19 @@ macro (ip)
       mips_any_noreorder = 1;
       if (mips_trap)
        {
-         macro_build ((char *) NULL, &icnt, NULL, "teq", "s,t", treg, 0);
-         macro_build ((char *) NULL, &icnt, NULL,
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "teq",
+                      "s,t", treg, 0);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                       dbl ? "ddiv" : "div", "z,s,t", sreg, treg);
        }
       else
        {
          expr1.X_add_number = 8;
          macro_build ((char *) NULL, &icnt, &expr1, "bne", "s,t,p", treg, 0);
-         macro_build ((char *) NULL, &icnt, NULL,
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                       dbl ? "ddiv" : "div", "z,s,t", sreg, treg);
-         macro_build ((char *) NULL, &icnt, NULL, "break", "c", 7);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                      "c", 7);
        }
       expr1.X_add_number = -1;
       macro_build ((char *) NULL, &icnt, &expr1,
@@ -4003,8 +4412,8 @@ macro (ip)
          expr1.X_add_number = 1;
          macro_build ((char *) NULL, &icnt, &expr1, "daddiu", "t,r,j", AT, 0,
                       (int) BFD_RELOC_LO16);
-         macro_build ((char *) NULL, &icnt, NULL, "dsll32", "d,w,<", AT, AT,
-                      31);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "dsll32",
+                      "d,w,<", AT, AT, 31);
        }
       else
        {
@@ -4014,7 +4423,8 @@ macro (ip)
        }
       if (mips_trap)
        {
-         macro_build ((char *) NULL, &icnt, NULL, "teq", "s,t", sreg, AT);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "teq",
+                      "s,t", sreg, AT);
          /* We want to close the noreorder block as soon as possible, so
             that later insns are available for delay slot filling.  */
          --mips_opts.noreorder;
@@ -4023,15 +4433,17 @@ macro (ip)
        {
          expr1.X_add_number = 8;
          macro_build ((char *) NULL, &icnt, &expr1, "bne", "s,t,p", sreg, AT);
-         macro_build ((char *) NULL, &icnt, NULL, "nop", "", 0);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "",
+                      0);
 
          /* We want to close the noreorder block as soon as possible, so
             that later insns are available for delay slot filling.  */
          --mips_opts.noreorder;
 
-         macro_build ((char *) NULL, &icnt, NULL, "break", "c", 6);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                      "c", 6);
        }
-      macro_build ((char *) NULL, &icnt, NULL, s, "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d", dreg);
       break;
 
     case M_DIV_3I:
@@ -4074,9 +4486,11 @@ macro (ip)
        {
          as_warn (_("Divide by zero."));
          if (mips_trap)
-           macro_build ((char *) NULL, &icnt, NULL, "teq", "s,t", 0, 0);
+           macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "teq",
+                        "s,t", 0, 0);
          else
-           macro_build ((char *) NULL, &icnt, NULL, "break", "c", 7);
+           macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                        "c", 7);
          return;
        }
       if (imm_expr.X_op == O_constant && imm_expr.X_add_number == 1)
@@ -4093,8 +4507,8 @@ macro (ip)
        {
          if (strcmp (s2, "mflo") == 0)
            {
-             macro_build ((char *) NULL, &icnt, NULL, dbl ? "dneg" : "neg",
-                          "d,w", dreg, sreg);
+             macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+                          dbl ? "dneg" : "neg", "d,w", dreg, sreg);
            }
          else
            move_register (&icnt, dreg, 0);
@@ -4102,8 +4516,9 @@ macro (ip)
        }
 
       load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL, s, "z,s,t", sreg, AT);
-      macro_build ((char *) NULL, &icnt, NULL, s2, "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "z,s,t",
+                  sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s2, "d", dreg);
       break;
 
     case M_DIVU_3:
@@ -4127,8 +4542,10 @@ macro (ip)
       mips_any_noreorder = 1;
       if (mips_trap)
        {
-         macro_build ((char *) NULL, &icnt, NULL, "teq", "s,t", treg, 0);
-         macro_build ((char *) NULL, &icnt, NULL, s, "z,s,t", sreg, treg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "teq",
+                      "s,t", treg, 0);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "z,s,t",
+                      sreg, treg);
          /* We want to close the noreorder block as soon as possible, so
             that later insns are available for delay slot filling.  */
          --mips_opts.noreorder;
@@ -4137,14 +4554,16 @@ macro (ip)
        {
          expr1.X_add_number = 8;
          macro_build ((char *) NULL, &icnt, &expr1, "bne", "s,t,p", treg, 0);
-         macro_build ((char *) NULL, &icnt, NULL, s, "z,s,t", sreg, treg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "z,s,t",
+                      sreg, treg);
 
          /* We want to close the noreorder block as soon as possible, so
             that later insns are available for delay slot filling.  */
          --mips_opts.noreorder;
-         macro_build ((char *) NULL, &icnt, NULL, "break", "c", 7);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                      "c", 7);
        }
-      macro_build ((char *) NULL, &icnt, NULL, s2, "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s2, "d", dreg);
       return;
 
     case M_DLA_AB:
@@ -4153,9 +4572,21 @@ macro (ip)
       /* Load the address of a symbol into a register.  If breg is not
         zero, we then add a base register to it.  */
 
+      if (treg == breg)
+       {
+         tempreg = AT;
+         used_at = 1;
+       }
+      else
+       {
+         tempreg = treg;
+         used_at = 0;
+       }
+
       /* When generating embedded PIC code, we permit expressions of
         the form
-          la   $4,foo-bar
+          la   $treg,foo-bar
+          la   $treg,foo-bar($breg)
         where bar is an address in the current section.  These are used
         when getting the addresses of functions.  We don't permit
         X_add_number to be non-zero, because if the symbol is
@@ -4170,16 +4601,30 @@ macro (ip)
                     (symbol_get_value_expression (offset_expr.X_op_symbol)
                      ->X_add_symbol)
                     == now_seg)))
-         && breg == 0
          && (offset_expr.X_add_number == 0
              || OUTPUT_FLAVOR == bfd_target_elf_flavour))
        {
-         macro_build ((char *) NULL, &icnt, &offset_expr, "lui", "t,u",
-                      treg, (int) BFD_RELOC_PCREL_HI16_S);
+         if (breg == 0)
+           {
+             tempreg = treg;
+             used_at = 0;
+             macro_build ((char *) NULL, &icnt, &offset_expr, "lui", "t,u",
+                          tempreg, (int) BFD_RELOC_PCREL_HI16_S);
+           }
+         else
+           {
+             macro_build ((char *) NULL, &icnt, &offset_expr, "lui", "t,u",
+                          tempreg, (int) BFD_RELOC_PCREL_HI16_S);
+             macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+                          HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
+                          "d,v,t", tempreg, tempreg, breg);
+           }
          macro_build ((char *) NULL, &icnt, &offset_expr,
                       HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                      "t,r,j", treg, treg, (int) BFD_RELOC_PCREL_LO16);
-         return;
+                      "t,r,j", treg, tempreg, (int) BFD_RELOC_PCREL_LO16);
+         if (! used_at)
+           return;
+         break;
        }
 
       if (offset_expr.X_op != O_symbol
@@ -4189,49 +4634,94 @@ macro (ip)
          offset_expr.X_op = O_constant;
        }
 
-      if (treg == breg)
-       {
-         tempreg = AT;
-         used_at = 1;
-       }
-      else
-       {
-         tempreg = treg;
-         used_at = 0;
-       }
-
       if (offset_expr.X_op == O_constant)
        load_register (&icnt, tempreg, &offset_expr, dbl);
       else if (mips_pic == NO_PIC)
        {
-         /* If this is a reference to an GP relative symbol, we want
-              addiu    $tempreg,$gp,<sym>      (BFD_RELOC_MIPS_GPREL)
+         /* If this is a reference to a GP relative symbol, we want
+              addiu    $tempreg,$gp,<sym>      (BFD_RELOC_GPREL16)
             Otherwise we want
               lui      $tempreg,<sym>          (BFD_RELOC_HI16_S)
               addiu    $tempreg,$tempreg,<sym> (BFD_RELOC_LO16)
             If we have a constant, we need two instructions anyhow,
-            so we may as well always use the latter form.  */
-         if ((valueT) offset_expr.X_add_number >= MAX_GPREL_OFFSET
-             || nopic_need_relax (offset_expr.X_add_symbol, 1))
-           p = NULL;
-         else
+            so we may as well always use the latter form.
+
+           With 64bit address space and a usable $at we want
+             lui       $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+             lui       $at,<sym>               (BFD_RELOC_HI16_S)
+             daddiu    $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+             daddiu    $at,<sym>               (BFD_RELOC_LO16)
+             dsll32    $tempreg,0
+             dadd      $tempreg,$tempreg,$at
+
+           If $at is already in use, we use an path which is suboptimal
+           on superscalar processors.
+             lui       $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+             daddiu    $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+             dsll      $tempreg,16
+             daddiu    $tempreg,<sym>          (BFD_RELOC_HI16_S)
+             dsll      $tempreg,16
+             daddiu    $tempreg,<sym>          (BFD_RELOC_LO16)
+         */
+         p = NULL;
+         if (HAVE_64BIT_ADDRESSES)
            {
-             frag_grow (20);
-             macro_build ((char *) NULL, &icnt, &offset_expr,
-                          HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                          "t,r,j", tempreg, GP, (int) BFD_RELOC_MIPS_GPREL);
-             p = frag_var (rs_machine_dependent, 8, 0,
-                           RELAX_ENCODE (4, 8, 0, 4, 0,
-                                         mips_opts.warn_about_macros),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
-           }
-         macro_build_lui (p, &icnt, &offset_expr, tempreg);
-         if (p != NULL)
-           p += 4;
-         macro_build (p, &icnt, &offset_expr,
-                      HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                      "t,r,j", tempreg, tempreg, (int) BFD_RELOC_LO16);
+             /* We don't do GP optimization for now because RELAX_ENCODE can't
+                hold the data for such large chunks.  */
+
+           if (used_at == 0)
+             {
+               macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                            tempreg, (int) BFD_RELOC_MIPS_HIGHEST);
+               macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                            AT, (int) BFD_RELOC_HI16_S);
+               macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                            tempreg, tempreg, (int) BFD_RELOC_MIPS_HIGHER);
+               macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                            AT, AT, (int) BFD_RELOC_LO16);
+               macro_build (p, &icnt, (expressionS *) NULL, "dsll32",
+                            "d,w,<", tempreg, tempreg, 0);
+               macro_build (p, &icnt, (expressionS *) NULL, "dadd", "d,v,t",
+                            tempreg, tempreg, AT);
+               used_at = 1;
+             }
+           else
+             {
+               macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                            tempreg, (int) BFD_RELOC_MIPS_HIGHEST);
+               macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                            tempreg, tempreg, (int) BFD_RELOC_MIPS_HIGHER);
+               macro_build (p, &icnt, (expressionS *) NULL, "dsll", "d,w,<",
+                            tempreg, tempreg, 16);
+               macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                            tempreg, tempreg, (int) BFD_RELOC_HI16_S);
+               macro_build (p, &icnt, (expressionS *) NULL, "dsll", "d,w,<",
+                            tempreg, tempreg, 16);
+               macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                            tempreg, tempreg, (int) BFD_RELOC_LO16);
+             }
+         }
+       else
+         {
+           if ((valueT) offset_expr.X_add_number <= MAX_GPREL_OFFSET
+               && ! nopic_need_relax (offset_expr.X_add_symbol, 1))
+             {
+               frag_grow (20);
+               macro_build ((char *) NULL, &icnt, &offset_expr,
+                            HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
+                            "t,r,j", tempreg, GP, (int) BFD_RELOC_GPREL16);
+               p = frag_var (rs_machine_dependent, 8, 0,
+                             RELAX_ENCODE (4, 8, 0, 4, 0,
+                                           mips_opts.warn_about_macros),
+                             offset_expr.X_add_symbol, 0, NULL);
+             }
+           macro_build_lui (p, &icnt, &offset_expr, tempreg);
+           if (p != NULL)
+             p += 4;
+           macro_build (p, &icnt, &offset_expr,
+                        HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
+                        "t,r,j", tempreg, tempreg, (int) BFD_RELOC_LO16);
+         }
        }
       else if (mips_pic == SVR4_PIC && ! mips_big_got)
        {
@@ -4270,8 +4760,7 @@ macro (ip)
          frag_grow (32);
          if (expr1.X_add_number == 0 && tempreg == PIC_CALL_REG)
            lw_reloc_type = (int) BFD_RELOC_MIPS_CALL16;
-         macro_build ((char *) NULL, &icnt, &offset_expr,
-                      dbl ? "ld" : "lw",
+         macro_build ((char *) NULL, &icnt, &offset_expr, dbl ? "ld" : "lw",
                       "t,o(b)", tempreg, lw_reloc_type, GP);
          if (expr1.X_add_number == 0)
            {
@@ -4293,8 +4782,7 @@ macro (ip)
                                          (breg == 0
                                           ? mips_opts.warn_about_macros
                                           : 0)),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
              if (breg == 0)
                {
                  macro_build (p, &icnt, (expressionS *) NULL, "nop", "");
@@ -4315,10 +4803,9 @@ macro (ip)
              macro_build ((char *) NULL, &icnt, &expr1,
                           HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
                           "t,r,j", tempreg, tempreg, (int) BFD_RELOC_LO16);
-             (void) frag_var (rs_machine_dependent, 0, 0,
-                              RELAX_ENCODE (0, 0, -12, -4, 0, 0),
-                              offset_expr.X_add_symbol, (offsetT) 0,
-                              (char *) NULL);
+             frag_var (rs_machine_dependent, 0, 0,
+                       RELAX_ENCODE (0, 0, -12, -4, 0, 0),
+                       offset_expr.X_add_symbol, 0, NULL);
            }
          else
            {
@@ -4349,7 +4836,7 @@ macro (ip)
                 inserting an unnecessary nop after the lw.  */
              hold_mips_optimize = mips_optimize;
              mips_optimize = 2;
-             macro_build_lui ((char *) NULL, &icnt, &expr1, AT);
+             macro_build_lui (NULL, &icnt, &expr1, AT);
              mips_optimize = hold_mips_optimize;
 
              macro_build ((char *) NULL, &icnt, &expr1,
@@ -4358,10 +4845,9 @@ macro (ip)
              macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                           HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
                           "d,v,t", tempreg, tempreg, AT);
-             (void) frag_var (rs_machine_dependent, 0, 0,
-                              RELAX_ENCODE (0, 0, -16 + off1, -8, 0, 0),
-                              offset_expr.X_add_symbol, (offsetT) 0,
-                              (char *) NULL);
+             frag_var (rs_machine_dependent, 0, 0,
+                       RELAX_ENCODE (0, 0, -16 + off1, -8, 0, 0),
+                       offset_expr.X_add_symbol, 0, NULL);
              used_at = 1;
            }
        }
@@ -4453,8 +4939,7 @@ macro (ip)
                                          (breg == 0
                                           ? mips_opts.warn_about_macros
                                           : 0)),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
            }
          else if (expr1.X_add_number >= -0x8000
                   && expr1.X_add_number < 0x8000)
@@ -4470,8 +4955,7 @@ macro (ip)
                                          (breg == 0
                                           ? mips_opts.warn_about_macros
                                           : 0)),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
            }
          else
            {
@@ -4505,7 +4989,7 @@ macro (ip)
                 inserting an unnecessary nop after the lw.  */
              hold_mips_optimize = mips_optimize;
              mips_optimize = 2;
-             macro_build_lui ((char *) NULL, &icnt, &expr1, AT);
+             macro_build_lui (NULL, &icnt, &expr1, AT);
              mips_optimize = hold_mips_optimize;
 
              macro_build ((char *) NULL, &icnt, &expr1,
@@ -4521,8 +5005,7 @@ macro (ip)
                                          (breg == 0
                                           ? mips_opts.warn_about_macros
                                           : 0)),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
 
              used_at = 1;
            }
@@ -4586,11 +5069,11 @@ macro (ip)
       else if (mips_pic == EMBEDDED_PIC)
        {
          /* We use
-              addiu    $tempreg,$gp,<sym>      (BFD_RELOC_MIPS_GPREL)
+              addiu    $tempreg,$gp,<sym>      (BFD_RELOC_GPREL16)
             */
          macro_build ((char *) NULL, &icnt, &offset_expr,
                       HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                      "t,r,j", tempreg, GP, (int) BFD_RELOC_MIPS_GPREL);
+                      "t,r,j", tempreg, GP, (int) BFD_RELOC_GPREL16);
        }
       else
        abort ();
@@ -4633,14 +5116,29 @@ macro (ip)
 
          macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "jalr",
                       "d,s", dreg, sreg);
-         if (mips_cprestore_offset < 0)
-           as_warn (_("No .cprestore pseudo-op used in PIC code"));
-         else
+         if (! HAVE_NEWABI)
            {
-             expr1.X_add_number = mips_cprestore_offset;
-             macro_build ((char *) NULL, &icnt, &expr1,
-                          HAVE_32BIT_ADDRESSES ? "lw" : "ld",
-                          "t,o(b)", GP, (int) BFD_RELOC_LO16, mips_frame_reg);
+             if (mips_cprestore_offset < 0)
+               as_warn (_("No .cprestore pseudo-op used in PIC code"));
+             else
+               {
+                 if (! mips_frame_reg_valid)
+                   {
+                     as_warn (_("No .frame pseudo-op used in PIC code"));
+                     /* Quiet this warning.  */
+                     mips_frame_reg_valid = 1;
+                   }
+                 if (! mips_cprestore_valid)
+                   {
+                     as_warn (_("No .cprestore pseudo-op used in PIC code"));
+                     /* Quiet this warning.  */
+                     mips_cprestore_valid = 1;
+                   }
+                 expr1.X_add_number = mips_cprestore_offset;
+                 macro_build ((char *) NULL, &icnt, &expr1,
+                              HAVE_32BIT_ADDRESSES ? "lw" : "ld", "t,o(b)",
+                              GP, (int) BFD_RELOC_LO16, mips_frame_reg);
+               }
            }
        }
       else
@@ -4687,8 +5185,7 @@ macro (ip)
                           "nop", "");
              p = frag_var (rs_machine_dependent, 4, 0,
                            RELAX_ENCODE (0, 4, -8, 0, 0, 0),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
            }
          else
            {
@@ -4712,8 +5209,7 @@ macro (ip)
              p = frag_var (rs_machine_dependent, 12 + gpdel, 0,
                            RELAX_ENCODE (16, 12 + gpdel, gpdel, 8 + gpdel,
                                          0, 0),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
              if (gpdel > 0)
                {
                  macro_build (p, &icnt, (expressionS *) NULL, "nop", "");
@@ -4733,18 +5229,32 @@ macro (ip)
                       (int) BFD_RELOC_LO16);
          macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                       "jalr", "s", PIC_CALL_REG);
-         if (mips_cprestore_offset < 0)
-           as_warn (_("No .cprestore pseudo-op used in PIC code"));
-         else
+         if (! HAVE_NEWABI)
            {
-             if (mips_opts.noreorder)
-               macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+             if (mips_cprestore_offset < 0)
+               as_warn (_("No .cprestore pseudo-op used in PIC code"));
+             else
+               {
+                 if (! mips_frame_reg_valid)
+                   {
+                     as_warn (_("No .frame pseudo-op used in PIC code"));
+                     /* Quiet this warning.  */
+                     mips_frame_reg_valid = 1;
+                   }
+                 if (! mips_cprestore_valid)
+                   {
+                     as_warn (_("No .cprestore pseudo-op used in PIC code"));
+                     /* Quiet this warning.  */
+                     mips_cprestore_valid = 1;
+                   }
+                 if (mips_opts.noreorder)
+                   macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                             "nop", "");
-             expr1.X_add_number = mips_cprestore_offset;
-             macro_build ((char *) NULL, &icnt, &expr1,
-                          HAVE_32BIT_ADDRESSES ? "lw" : "ld",
-                          "t,o(b)", GP, (int) BFD_RELOC_LO16,
-                          mips_frame_reg);
+                 expr1.X_add_number = mips_cprestore_offset;
+                 macro_build ((char *) NULL, &icnt, &expr1,
+                              HAVE_32BIT_ADDRESSES ? "lw" : "ld", "t,o(b)",
+                              GP, (int) BFD_RELOC_LO16, mips_frame_reg);
+               }
            }
        }
       else if (mips_pic == EMBEDDED_PIC)
@@ -4933,6 +5443,46 @@ macro (ip)
       else
        fmt = "t,o(b)";
 
+      /* For embedded PIC, we allow loads where the offset is calculated
+         by subtracting a symbol in the current segment from an unknown
+         symbol, relative to a base register, e.g.:
+               <op>    $treg, <sym>-<localsym>($breg)
+        This is used by the compiler for switch statements.  */
+      if (mips_pic == EMBEDDED_PIC
+          && offset_expr.X_op == O_subtract
+          && (symbol_constant_p (offset_expr.X_op_symbol)
+              ? S_GET_SEGMENT (offset_expr.X_op_symbol) == now_seg
+              : (symbol_equated_p (offset_expr.X_op_symbol)
+                 && (S_GET_SEGMENT
+                     (symbol_get_value_expression (offset_expr.X_op_symbol)
+                      ->X_add_symbol)
+                     == now_seg)))
+          && breg != 0
+          && (offset_expr.X_add_number == 0
+              || OUTPUT_FLAVOR == bfd_target_elf_flavour))
+        {
+          /* For this case, we output the instructions:
+                lui     $tempreg,<sym>          (BFD_RELOC_PCREL_HI16_S)
+                addiu   $tempreg,$tempreg,$breg
+                <op>    $treg,<sym>($tempreg)   (BFD_RELOC_PCREL_LO16)
+             If the relocation would fit entirely in 16 bits, it would be
+             nice to emit:
+                <op>    $treg,<sym>($breg)      (BFD_RELOC_PCREL_LO16)
+             instead, but that seems quite difficult.  */
+          macro_build ((char *) NULL, &icnt, &offset_expr, "lui", "t,u",
+                       tempreg, (int) BFD_RELOC_PCREL_HI16_S);
+          macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+                       ((bfd_arch_bits_per_address (stdoutput) == 32
+                         || ! ISA_HAS_64BIT_REGS (mips_opts.isa))
+                        ? "addu" : "daddu"),
+                       "d,v,t", tempreg, tempreg, breg);
+          macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt, treg,
+                       (int) BFD_RELOC_PCREL_LO16, tempreg);
+          if (! used_at)
+            return;
+          break;
+        }
+
       if (offset_expr.X_op != O_constant
          && offset_expr.X_op != O_symbol)
        {
@@ -4947,7 +5497,7 @@ macro (ip)
        {
          /* If this is a reference to a GP relative symbol, and there
             is no base register, we want
-              <op>     $treg,<sym>($gp)        (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($gp)        (BFD_RELOC_GPREL16)
             Otherwise, if there is no base register, we want
               lui      $tempreg,<sym>          (BFD_RELOC_HI16_S)
               <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
@@ -4957,29 +5507,120 @@ macro (ip)
             If we have a base register, and this is a reference to a
             GP relative symbol, we want
               addu     $tempreg,$breg,$gp
-              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_GPREL16)
             Otherwise we want
               lui      $tempreg,<sym>          (BFD_RELOC_HI16_S)
               addu     $tempreg,$tempreg,$breg
               <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
-            With a constant we always use the latter case.  */
+            With a constant we always use the latter case.
+
+            With 64bit address space and no base register and $at usable,
+            we want
+              lui      $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+              lui      $at,<sym>               (BFD_RELOC_HI16_S)
+              daddiu   $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+              dsll32   $tempreg,0
+              daddu    $tempreg,$at
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
+            If we have a base register, we want
+              lui      $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+              lui      $at,<sym>               (BFD_RELOC_HI16_S)
+              daddiu   $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+              daddu    $at,$breg
+              dsll32   $tempreg,0
+              daddu    $tempreg,$at
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
+
+            Without $at we can't generate the optimal path for superscalar
+            processors here since this would require two temporary registers.
+              lui      $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+              daddiu   $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+              dsll     $tempreg,16
+              daddiu   $tempreg,<sym>          (BFD_RELOC_HI16_S)
+              dsll     $tempreg,16
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
+            If we have a base register, we want
+              lui      $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHEST)
+              daddiu   $tempreg,<sym>          (BFD_RELOC_MIPS_HIGHER)
+              dsll     $tempreg,16
+              daddiu   $tempreg,<sym>          (BFD_RELOC_HI16_S)
+              dsll     $tempreg,16
+              daddu    $tempreg,$tempreg,$breg
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_LO16)
+
+            If we have 64-bit addresses, as an optimization, for
+            addresses which are 32-bit constants (e.g. kseg0/kseg1
+            addresses) we fall back to the 32-bit address generation
+            mechanism since it is more efficient.  This code should
+            probably attempt to generate 64-bit constants more
+            efficiently in general.
+          */
+         if (HAVE_64BIT_ADDRESSES
+             && !(offset_expr.X_op == O_constant
+                  && IS_SEXT_32BIT_NUM (offset_expr.X_add_number)))
+           {
+             p = NULL;
+
+             /* We don't do GP optimization for now because RELAX_ENCODE can't
+                hold the data for such large chunks.  */
+
+             if (used_at == 0)
+               {
+                 macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                              tempreg, (int) BFD_RELOC_MIPS_HIGHEST);
+                 macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                              AT, (int) BFD_RELOC_HI16_S);
+                 macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                              tempreg, tempreg, (int) BFD_RELOC_MIPS_HIGHER);
+                 if (breg != 0)
+                   macro_build (p, &icnt, (expressionS *) NULL, "daddu",
+                                "d,v,t", AT, AT, breg);
+                 macro_build (p, &icnt, (expressionS *) NULL, "dsll32",
+                              "d,w,<", tempreg, tempreg, 0);
+                 macro_build (p, &icnt, (expressionS *) NULL, "daddu",
+                              "d,v,t", tempreg, tempreg, AT);
+                 macro_build (p, &icnt, &offset_expr, s,
+                              fmt, treg, (int) BFD_RELOC_LO16, tempreg);
+                 used_at = 1;
+               }
+             else
+               {
+                 macro_build (p, &icnt, &offset_expr, "lui", "t,u",
+                              tempreg, (int) BFD_RELOC_MIPS_HIGHEST);
+                 macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                              tempreg, tempreg, (int) BFD_RELOC_MIPS_HIGHER);
+                 macro_build (p, &icnt, (expressionS *) NULL, "dsll",
+                              "d,w,<", tempreg, tempreg, 16);
+                 macro_build (p, &icnt, &offset_expr, "daddiu", "t,r,j",
+                              tempreg, tempreg, (int) BFD_RELOC_HI16_S);
+                 macro_build (p, &icnt, (expressionS *) NULL, "dsll",
+                              "d,w,<", tempreg, tempreg, 16);
+                 if (breg != 0)
+                   macro_build (p, &icnt, (expressionS *) NULL, "daddu",
+                                "d,v,t", tempreg, tempreg, breg);
+                 macro_build (p, &icnt, &offset_expr, s,
+                              fmt, treg, (int) BFD_RELOC_LO16, tempreg);
+               }
+
+             return;
+           }
+
          if (breg == 0)
            {
-             if ((valueT) offset_expr.X_add_number >= MAX_GPREL_OFFSET
+             if ((valueT) offset_expr.X_add_number > MAX_GPREL_OFFSET
                  || nopic_need_relax (offset_expr.X_add_symbol, 1))
                p = NULL;
              else
                {
                  frag_grow (20);
                  macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
-                              treg, (int) BFD_RELOC_MIPS_GPREL, GP);
+                              treg, (int) BFD_RELOC_GPREL16, GP);
                  p = frag_var (rs_machine_dependent, 8, 0,
                                RELAX_ENCODE (4, 8, 0, 4, 0,
                                              (mips_opts.warn_about_macros
                                               || (used_at
                                                   && mips_opts.noat))),
-                               offset_expr.X_add_symbol, (offsetT) 0,
-                               (char *) NULL);
+                               offset_expr.X_add_symbol, 0, NULL);
                  used_at = 0;
                }
              macro_build_lui (p, &icnt, &offset_expr, tempreg);
@@ -4990,7 +5631,7 @@ macro (ip)
            }
          else
            {
-             if ((valueT) offset_expr.X_add_number >= MAX_GPREL_OFFSET
+             if ((valueT) offset_expr.X_add_number > MAX_GPREL_OFFSET
                  || nopic_need_relax (offset_expr.X_add_symbol, 1))
                p = NULL;
              else
@@ -5000,11 +5641,10 @@ macro (ip)
                               HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
                               "d,v,t", tempreg, breg, GP);
                  macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
-                              treg, (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                              treg, (int) BFD_RELOC_GPREL16, tempreg);
                  p = frag_var (rs_machine_dependent, 12, 0,
                                RELAX_ENCODE (8, 12, 0, 8, 0, 0),
-                               offset_expr.X_add_symbol, (offsetT) 0,
-                               (char *) NULL);
+                               offset_expr.X_add_symbol, 0, NULL);
                }
              macro_build_lui (p, &icnt, &offset_expr, tempreg);
              if (p != NULL)
@@ -5048,8 +5688,7 @@ macro (ip)
          macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "");
          p = frag_var (rs_machine_dependent, 4, 0,
                        RELAX_ENCODE (0, 4, -8, 0, 0, 0),
-                       offset_expr.X_add_symbol, (offsetT) 0,
-                       (char *) NULL);
+                       offset_expr.X_add_symbol, 0, NULL);
          macro_build (p, &icnt, &offset_expr,
                       HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
                       "t,r,j", tempreg, tempreg, (int) BFD_RELOC_LO16);
@@ -5102,7 +5741,7 @@ macro (ip)
                       tempreg);
          p = frag_var (rs_machine_dependent, 12 + gpdel, 0,
                        RELAX_ENCODE (12, 12 + gpdel, gpdel, 8 + gpdel, 0, 0),
-                       offset_expr.X_add_symbol, (offsetT) 0, (char *) NULL);
+                       offset_expr.X_add_symbol, 0, NULL);
          if (gpdel > 0)
            {
              macro_build (p, &icnt, (expressionS *) NULL, "nop", "");
@@ -5127,16 +5766,16 @@ macro (ip)
       else if (mips_pic == EMBEDDED_PIC)
        {
          /* If there is no base register, we want
-              <op>     $treg,<sym>($gp)        (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($gp)        (BFD_RELOC_GPREL16)
             If there is a base register, we want
               addu     $tempreg,$breg,$gp
-              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($tempreg)   (BFD_RELOC_GPREL16)
             */
          assert (offset_expr.X_op == O_symbol);
          if (breg == 0)
            {
              macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
-                          treg, (int) BFD_RELOC_MIPS_GPREL, GP);
+                          treg, (int) BFD_RELOC_GPREL16, GP);
              used_at = 0;
            }
          else
@@ -5145,7 +5784,7 @@ macro (ip)
                           HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
                           "d,v,t", tempreg, breg, GP);
              macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
-                          treg, (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                          treg, (int) BFD_RELOC_GPREL16, tempreg);
            }
        }
       else
@@ -5229,8 +5868,7 @@ macro (ip)
         upper 16 bits of the address.  */
       if (mips_pic == NO_PIC)
        {
-         /* FIXME: This won't work for a 64 bit address.  */
-         macro_build_lui ((char *) NULL, &icnt, &offset_expr, AT);
+         macro_build_lui (NULL, &icnt, &offset_expr, AT);
        }
       else if (mips_pic == SVR4_PIC)
        {
@@ -5244,7 +5882,7 @@ macro (ip)
             a single instruction.  */
          macro_build ((char *) NULL, &icnt, &offset_expr,
                       HAVE_32BIT_ADDRESSES ? "addiu" : "daddiu",
-                      "t,r,j", AT, GP, (int) BFD_RELOC_MIPS_GPREL);
+                      "t,r,j", AT, GP, (int) BFD_RELOC_GPREL16);
          offset_expr.X_op = O_constant;
          offset_expr.X_add_number = 0;
        }
@@ -5334,7 +5972,7 @@ macro (ip)
          else
            {
              /* FIXME: This won't work for a 64 bit address.  */
-             macro_build_lui ((char *) NULL, &icnt, &offset_expr, AT);
+             macro_build_lui (NULL, &icnt, &offset_expr, AT);
            }
 
          if (mips_opts.isa != ISA_MIPS1)
@@ -5454,6 +6092,11 @@ macro (ip)
       fmt = "t,o(b)";
 
     ldd_std:
+      /* We do _not_ bother to allow embedded PIC (symbol-local_symbol)
+        loads for the case of doing a pair of loads to simulate an 'ld'.
+        This is not currently done by the compiler, and assembly coders
+        writing embedded-pic code can cope.  */
+
       if (offset_expr.X_op != O_symbol
          && offset_expr.X_op != O_constant)
        {
@@ -5472,12 +6115,12 @@ macro (ip)
          || offset_expr.X_op == O_constant)
        {
          /* If this is a reference to a GP relative symbol, we want
-              <op>     $treg,<sym>($gp)        (BFD_RELOC_MIPS_GPREL)
-              <op>     $treg+1,<sym>+4($gp)    (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($gp)        (BFD_RELOC_GPREL16)
+              <op>     $treg+1,<sym>+4($gp)    (BFD_RELOC_GPREL16)
             If we have a base register, we use this
               addu     $at,$breg,$gp
-              <op>     $treg,<sym>($at)        (BFD_RELOC_MIPS_GPREL)
-              <op>     $treg+1,<sym>+4($at)    (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($at)        (BFD_RELOC_GPREL16)
+              <op>     $treg+1,<sym>+4($at)    (BFD_RELOC_GPREL16)
             If this is not a GP relative symbol, we want
               lui      $at,<sym>               (BFD_RELOC_HI16_S)
               <op>     $treg,<sym>($at)        (BFD_RELOC_LO16)
@@ -5485,7 +6128,7 @@ macro (ip)
             If there is a base register, we add it to $at after the
             lui instruction.  If there is a constant, we always use
             the last case.  */
-         if ((valueT) offset_expr.X_add_number >= MAX_GPREL_OFFSET
+         if ((valueT) offset_expr.X_add_number > MAX_GPREL_OFFSET
              || nopic_need_relax (offset_expr.X_add_symbol, 1))
            {
              p = NULL;
@@ -5516,7 +6159,7 @@ macro (ip)
              /* Itbl support may require additional care here.  */
              macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
                           coproc ? treg + 1 : treg,
-                          (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                          (int) BFD_RELOC_GPREL16, tempreg);
              offset_expr.X_add_number += 4;
 
              /* Set mips_optimize to 2 to avoid inserting an
@@ -5526,14 +6169,13 @@ macro (ip)
              /* Itbl support may require additional care here.  */
              macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
                           coproc ? treg : treg + 1,
-                          (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                          (int) BFD_RELOC_GPREL16, tempreg);
              mips_optimize = hold_mips_optimize;
 
              p = frag_var (rs_machine_dependent, 12 + off, 0,
                            RELAX_ENCODE (8 + off, 12 + off, 0, 4 + off, 1,
                                          used_at && mips_opts.noat),
-                           offset_expr.X_add_symbol, (offsetT) 0,
-                           (char *) NULL);
+                           offset_expr.X_add_symbol, 0, NULL);
 
              /* We just generated two relocs.  When tc_gen_reloc
                 handles this case, it will skip the first reloc and
@@ -5634,8 +6276,7 @@ macro (ip)
 
          (void) frag_var (rs_machine_dependent, 0, 0,
                           RELAX_ENCODE (0, 0, -16 - off, -8, 1, 0),
-                          offset_expr.X_add_symbol, (offsetT) 0,
-                          (char *) NULL);
+                          offset_expr.X_add_symbol, 0, NULL);
        }
       else if (mips_pic == SVR4_PIC)
        {
@@ -5704,8 +6345,7 @@ macro (ip)
          p = frag_var (rs_machine_dependent, 16 + gpdel + off, 0,
                        RELAX_ENCODE (24 + off, 16 + gpdel + off, gpdel,
                                      8 + gpdel + off, 1, 0),
-                       offset_expr.X_add_symbol, (offsetT) 0,
-                       (char *) NULL);
+                       offset_expr.X_add_symbol, 0, NULL);
          if (gpdel > 0)
            {
              macro_build (p, &icnt, (expressionS *) NULL, "nop", "");
@@ -5744,12 +6384,12 @@ macro (ip)
       else if (mips_pic == EMBEDDED_PIC)
        {
          /* If there is no base register, we use
-              <op>     $treg,<sym>($gp)        (BFD_RELOC_MIPS_GPREL)
-              <op>     $treg+1,<sym>+4($gp)    (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($gp)        (BFD_RELOC_GPREL16)
+              <op>     $treg+1,<sym>+4($gp)    (BFD_RELOC_GPREL16)
             If we have a base register, we use
               addu     $at,$breg,$gp
-              <op>     $treg,<sym>($at)        (BFD_RELOC_MIPS_GPREL)
-              <op>     $treg+1,<sym>+4($at)    (BFD_RELOC_MIPS_GPREL)
+              <op>     $treg,<sym>($at)        (BFD_RELOC_GPREL16)
+              <op>     $treg+1,<sym>+4($at)    (BFD_RELOC_GPREL16)
             */
          if (breg == 0)
            {
@@ -5768,12 +6408,12 @@ macro (ip)
          /* Itbl support may require additional care here.  */
          macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
                       coproc ? treg + 1 : treg,
-                      (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                      (int) BFD_RELOC_GPREL16, tempreg);
          offset_expr.X_add_number += 4;
          /* Itbl support may require additional care here.  */
          macro_build ((char *) NULL, &icnt, &offset_expr, s, fmt,
                       coproc ? treg : treg + 1,
-                      (int) BFD_RELOC_MIPS_GPREL, tempreg);
+                      (int) BFD_RELOC_GPREL16, tempreg);
        }
       else
        abort ();
@@ -5902,10 +6542,10 @@ macro2 (ip)
     case M_DMUL:
       dbl = 1;
     case M_MUL:
-      macro_build ((char *) NULL, &icnt, NULL,
-                  dbl ? "dmultu" : "multu",
-                  "s,t", sreg, treg);
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+                  dbl ? "dmultu" : "multu", "s,t", sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "d",
+                  dreg);
       return;
 
     case M_DMUL_I:
@@ -5915,9 +6555,10 @@ macro2 (ip)
         not trying to be that fancy. GCC should do this for us
         anyway.  */
       load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dmult" : "mult", "s,t", sreg, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "d",
+                  dreg);
       break;
 
     case M_DMULO_I:
@@ -5935,23 +6576,29 @@ macro2 (ip)
       mips_any_noreorder = 1;
       if (imm)
        load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dmult" : "mult", "s,t", sreg, imm ? AT : treg);
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "d", dreg);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "d",
+                  dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dsra32" : "sra", "d,w,<", dreg, dreg, 31);
-      macro_build ((char *) NULL, &icnt, NULL, "mfhi", "d", AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mfhi", "d",
+                  AT);
       if (mips_trap)
-       macro_build ((char *) NULL, &icnt, NULL, "tne", "s,t", dreg, AT);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "tne", "s,t",
+                    dreg, AT);
       else
        {
          expr1.X_add_number = 8;
-         macro_build ((char *) NULL, &icnt, &expr1, "beq", "s,t,p", dreg, AT);
-         macro_build ((char *) NULL, &icnt, NULL, "nop", "", 0);
-         macro_build ((char *) NULL, &icnt, NULL, "break", "c", 6);
+         macro_build ((char *) NULL, &icnt, &expr1, "beq", "s,t,p", dreg,
+                      AT);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "",
+                      0);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                      "c", 6);
        }
       --mips_opts.noreorder;
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "d", dreg);
       break;
 
     case M_DMULOU_I:
@@ -5969,57 +6616,70 @@ macro2 (ip)
       mips_any_noreorder = 1;
       if (imm)
        load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dmultu" : "multu",
                   "s,t", sreg, imm ? AT : treg);
-      macro_build ((char *) NULL, &icnt, NULL, "mfhi", "d", AT);
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "d", dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mfhi", "d",
+                  AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "d",
+                  dreg);
       if (mips_trap)
-       macro_build ((char *) NULL, &icnt, NULL, "tne", "s,t", AT, 0);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "tne", "s,t",
+                    AT, 0);
       else
        {
          expr1.X_add_number = 8;
          macro_build ((char *) NULL, &icnt, &expr1, "beq", "s,t,p", AT, 0);
-         macro_build ((char *) NULL, &icnt, NULL, "nop", "", 0);
-         macro_build ((char *) NULL, &icnt, NULL, "break", "c", 6);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "",
+                      0);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                      "c", 6);
        }
       --mips_opts.noreorder;
       break;
 
     case M_ROL:
-      macro_build ((char *) NULL, &icnt, NULL, "subu", "d,v,t", AT, 0, treg);
-      macro_build ((char *) NULL, &icnt, NULL, "srlv", "d,t,s", AT, sreg, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "sllv", "d,t,s", dreg, sreg,
-                  treg);
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", dreg, dreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "subu",
+                  "d,v,t", AT, 0, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srlv",
+                  "d,t,s", AT, sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sllv",
+                  "d,t,s", dreg, sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or",
+                  "d,v,t", dreg, dreg, AT);
       break;
 
     case M_ROL_I:
       if (imm_expr.X_op != O_constant)
        as_bad (_("rotate count too large"));
-      macro_build ((char *) NULL, &icnt, NULL, "sll", "d,w,<", AT, sreg,
-                  (int) (imm_expr.X_add_number & 0x1f));
-      macro_build ((char *) NULL, &icnt, NULL, "srl", "d,w,<", dreg, sreg,
-                  (int) ((0 - imm_expr.X_add_number) & 0x1f));
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", dreg, dreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sll", "d,w,<",
+                  AT, sreg, (int) (imm_expr.X_add_number & 0x1f));
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srl", "d,w,<",
+                  dreg, sreg, (int) ((0 - imm_expr.X_add_number) & 0x1f));
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or", "d,v,t",
+                  dreg, dreg, AT);
       break;
 
     case M_ROR:
-      macro_build ((char *) NULL, &icnt, NULL, "subu", "d,v,t", AT, 0, treg);
-      macro_build ((char *) NULL, &icnt, NULL, "sllv", "d,t,s", AT, sreg, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "srlv", "d,t,s", dreg, sreg,
-                  treg);
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", dreg, dreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "subu",
+                  "d,v,t", AT, 0, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sllv",
+                  "d,t,s", AT, sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srlv",
+                  "d,t,s", dreg, sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or",
+                  "d,v,t", dreg, dreg, AT);
       break;
 
     case M_ROR_I:
       if (imm_expr.X_op != O_constant)
        as_bad (_("rotate count too large"));
-      macro_build ((char *) NULL, &icnt, NULL, "srl", "d,w,<", AT, sreg,
-                  (int) (imm_expr.X_add_number & 0x1f));
-      macro_build ((char *) NULL, &icnt, NULL, "sll", "d,w,<", dreg, sreg,
-                  (int) ((0 - imm_expr.X_add_number) & 0x1f));
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", dreg, dreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srl", "d,w,<",
+                  AT, sreg, (int) (imm_expr.X_add_number & 0x1f));
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sll", "d,w,<",
+                  dreg, sreg, (int) ((0 - imm_expr.X_add_number) & 0x1f));
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or", "d,v,t",
+                  dreg, dreg, AT);
       break;
 
     case M_S_DOB:
@@ -6049,8 +6709,8 @@ macro2 (ip)
                     sreg, (int) BFD_RELOC_LO16);
       else
        {
-         macro_build ((char *) NULL, &icnt, NULL, "xor", "d,v,t", dreg,
-                      sreg, treg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "xor",
+                      "d,v,t", dreg, sreg, treg);
          macro_build ((char *) NULL, &icnt, &expr1, "sltiu", "t,r,j", dreg,
                       dreg, (int) BFD_RELOC_LO16);
        }
@@ -6092,8 +6752,8 @@ macro2 (ip)
       else
        {
          load_register (&icnt, AT, &imm_expr, 0);
-         macro_build ((char *) NULL, &icnt, NULL, "xor", "d,v,t", dreg,
-                      sreg, AT);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "xor",
+                      "d,v,t", dreg, sreg, AT);
          used_at = 1;
        }
       macro_build ((char *) NULL, &icnt, &expr1, "sltiu", "t,r,j", dreg, dreg,
@@ -6108,7 +6768,8 @@ macro2 (ip)
     case M_SGEU:
       s = "sltu";
     sge:
-      macro_build ((char *) NULL, &icnt, NULL, s, "d,v,t", dreg, sreg, treg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d,v,t",
+                  dreg, sreg, treg);
       macro_build ((char *) NULL, &icnt, &expr1, "xori", "t,r,i", dreg, dreg,
                   (int) BFD_RELOC_LO16);
       return;
@@ -6127,9 +6788,9 @@ macro2 (ip)
       else
        {
          load_register (&icnt, AT, &imm_expr, 0);
-         macro_build ((char *) NULL, &icnt, NULL,
-                      mask == M_SGE_I ? "slt" : "sltu",
-                      "d,v,t", dreg, sreg, AT);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
+                      mask == M_SGE_I ? "slt" : "sltu", "d,v,t", dreg, sreg,
+                      AT);
          used_at = 1;
        }
       macro_build ((char *) NULL, &icnt, &expr1, "xori", "t,r,i", dreg, dreg,
@@ -6144,7 +6805,8 @@ macro2 (ip)
     case M_SGTU:
       s = "sltu";
     sgt:
-      macro_build ((char *) NULL, &icnt, NULL, s, "d,v,t", dreg, treg, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d,v,t",
+                  dreg, treg, sreg);
       return;
 
     case M_SGT_I:              /* sreg > I  <==>  I < sreg */
@@ -6154,28 +6816,31 @@ macro2 (ip)
       s = "sltu";
     sgti:
       load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, s, "d,v,t", dreg, AT, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d,v,t",
+                  dreg, AT, sreg);
       break;
 
-    case M_SLE:                /* sreg <= treg  <==>  treg >= sreg  <==>  not (treg < sreg) */
+    case M_SLE:        /* sreg <= treg  <==>  treg >= sreg  <==>  not (treg < sreg) */
       s = "slt";
       goto sle;
     case M_SLEU:
       s = "sltu";
     sle:
-      macro_build ((char *) NULL, &icnt, NULL, s, "d,v,t", dreg, treg, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d,v,t",
+                  dreg, treg, sreg);
       macro_build ((char *) NULL, &icnt, &expr1, "xori", "t,r,i", dreg, dreg,
                   (int) BFD_RELOC_LO16);
       return;
 
-    case M_SLE_I:              /* sreg <= I <==> I >= sreg <==> not (I < sreg) */
+    case M_SLE_I:      /* sreg <= I <==> I >= sreg <==> not (I < sreg) */
       s = "slt";
       goto slei;
     case M_SLEU_I:
       s = "sltu";
     slei:
       load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, s, "d,v,t", dreg, AT, sreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "d,v,t",
+                  dreg, AT, sreg);
       macro_build ((char *) NULL, &icnt, &expr1, "xori", "t,r,i", dreg, dreg,
                   (int) BFD_RELOC_LO16);
       break;
@@ -6190,7 +6855,8 @@ macro2 (ip)
          return;
        }
       load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, "slt", "d,v,t", dreg, sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "slt", "d,v,t",
+                  dreg, sreg, AT);
       break;
 
     case M_SLTU_I:
@@ -6203,31 +6869,31 @@ macro2 (ip)
          return;
        }
       load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, sreg,
-                  AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", dreg, sreg, AT);
       break;
 
     case M_SNE:
       if (sreg == 0)
-       macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, 0,
-                    treg);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                    "d,v,t", dreg, 0, treg);
       else if (treg == 0)
-       macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, 0,
-                    sreg);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                    "d,v,t", dreg, 0, sreg);
       else
        {
-         macro_build ((char *) NULL, &icnt, NULL, "xor", "d,v,t", dreg,
-                      sreg, treg);
-         macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, 0,
-                      dreg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "xor",
+                      "d,v,t", dreg, sreg, treg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                      "d,v,t", dreg, 0, dreg);
        }
       return;
 
     case M_SNE_I:
       if (imm_expr.X_op == O_constant && imm_expr.X_add_number == 0)
        {
-         macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, 0,
-                      sreg);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                      "d,v,t", dreg, 0, sreg);
          return;
        }
       if (sreg == 0)
@@ -6260,11 +6926,12 @@ macro2 (ip)
       else
        {
          load_register (&icnt, AT, &imm_expr, 0);
-         macro_build ((char *) NULL, &icnt, NULL, "xor", "d,v,t", dreg,
-                      sreg, AT);
+         macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "xor",
+                      "d,v,t", dreg, sreg, AT);
          used_at = 1;
        }
-      macro_build ((char *) NULL, &icnt, NULL, "sltu", "d,v,t", dreg, 0, dreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sltu",
+                  "d,v,t", dreg, 0, dreg);
       if (used_at)
        break;
       return;
@@ -6283,7 +6950,7 @@ macro2 (ip)
          return;
        }
       load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dsub" : "sub", "d,v,t", dreg, sreg, AT);
       break;
 
@@ -6301,7 +6968,7 @@ macro2 (ip)
          return;
        }
       load_register (&icnt, AT, &imm_expr, dbl);
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dsubu" : "subu", "d,v,t", dreg, sreg, AT);
       break;
 
@@ -6324,7 +6991,8 @@ macro2 (ip)
       s = "tne";
     trap:
       load_register (&icnt, AT, &imm_expr, 0);
-      macro_build ((char *) NULL, &icnt, NULL, s, "s,t", sreg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "s,t", sreg,
+                  AT);
       break;
 
     case M_TRUNCWS:
@@ -6340,21 +7008,25 @@ macro2 (ip)
       mips_emit_delays (true);
       ++mips_opts.noreorder;
       mips_any_noreorder = 1;
-      macro_build ((char *) NULL, &icnt, NULL, "cfc1", "t,G", treg, 31);
-      macro_build ((char *) NULL, &icnt, NULL, "cfc1", "t,G", treg, 31);
-      macro_build ((char *) NULL, &icnt, NULL, "nop", "");
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "cfc1", "t,G",
+                  treg, 31);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "cfc1", "t,G",
+                  treg, 31);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "");
       expr1.X_add_number = 3;
       macro_build ((char *) NULL, &icnt, &expr1, "ori", "t,r,i", AT, treg,
                   (int) BFD_RELOC_LO16);
       expr1.X_add_number = 2;
       macro_build ((char *) NULL, &icnt, &expr1, "xori", "t,r,i", AT, AT,
                     (int) BFD_RELOC_LO16);
-      macro_build ((char *) NULL, &icnt, NULL, "ctc1", "t,G", AT, 31);
-      macro_build ((char *) NULL, &icnt, NULL, "nop", "");
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "ctc1", "t,G",
+                  AT, 31);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "");
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
              mask == M_TRUNCWD ? "cvt.w.d" : "cvt.w.s", "D,S", dreg, sreg);
-      macro_build ((char *) NULL, &icnt, NULL, "ctc1", "t,G", treg, 31);
-      macro_build ((char *) NULL, &icnt, NULL, "nop", "");
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "ctc1", "t,G",
+                  treg, 31);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "nop", "");
       --mips_opts.noreorder;
       break;
 
@@ -6377,8 +7049,10 @@ macro2 (ip)
        offset_expr.X_add_number += 1;
       macro_build ((char *) NULL, &icnt, &offset_expr, "lbu", "t,o(b)", AT,
                   (int) BFD_RELOC_LO16, breg);
-      macro_build ((char *) NULL, &icnt, NULL, "sll", "d,w,<", treg, treg, 8);
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", treg, treg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sll", "d,w,<",
+                  treg, treg, 8);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or", "d,v,t",
+                  treg, treg, AT);
       break;
 
     case M_ULD:
@@ -6415,7 +7089,8 @@ macro2 (ip)
       s2 = "lwr";
       off = 3;
     ulwa:
-      load_address (&icnt, AT, &offset_expr);
+      used_at = 1;
+      load_address (&icnt, AT, &offset_expr, HAVE_64BIT_ADDRESSES, &used_at);
       if (breg != 0)
        macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                     HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
@@ -6436,7 +7111,8 @@ macro2 (ip)
 
     case M_ULH_A:
     case M_ULHU_A:
-      load_address (&icnt, AT, &offset_expr);
+      used_at = 1;
+      load_address (&icnt, AT, &offset_expr, HAVE_64BIT_ADDRESSES, &used_at);
       if (breg != 0)
        macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                     HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
@@ -6452,10 +7128,10 @@ macro2 (ip)
        expr1.X_add_number = 0;
       macro_build ((char *) NULL, &icnt, &expr1, "lbu", "t,o(b)", AT,
                   (int) BFD_RELOC_LO16, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "sll", "d,w,<", treg,
-                  treg, 8);
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", treg,
-                  treg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sll", "d,w,<",
+                  treg, treg, 8);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or", "d,v,t",
+                  treg, treg, AT);
       break;
 
     case M_USH:
@@ -6465,7 +7141,8 @@ macro2 (ip)
        offset_expr.X_add_number += 1;
       macro_build ((char *) NULL, &icnt, &offset_expr, "sb", "t,o(b)", treg,
                   (int) BFD_RELOC_LO16, breg);
-      macro_build ((char *) NULL, &icnt, NULL, "srl", "d,w,<", AT, treg, 8);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srl", "d,w,<",
+                  AT, treg, 8);
       if (target_big_endian)
        offset_expr.X_add_number -= 1;
       else
@@ -6508,7 +7185,8 @@ macro2 (ip)
       s2 = "swr";
       off = 3;
     uswa:
-      load_address (&icnt, AT, &offset_expr);
+      used_at = 1;
+      load_address (&icnt, AT, &offset_expr, HAVE_64BIT_ADDRESSES, &used_at);
       if (breg != 0)
        macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                     HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
@@ -6528,7 +7206,8 @@ macro2 (ip)
       break;
 
     case M_USH_A:
-      load_address (&icnt, AT, &offset_expr);
+      used_at = 1;
+      load_address (&icnt, AT, &offset_expr, HAVE_64BIT_ADDRESSES, &used_at);
       if (breg != 0)
        macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                     HAVE_32BIT_ADDRESSES ? "addu" : "daddu",
@@ -6537,8 +7216,8 @@ macro2 (ip)
        expr1.X_add_number = 0;
       macro_build ((char *) NULL, &icnt, &expr1, "sb", "t,o(b)", treg,
                   (int) BFD_RELOC_LO16, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "srl", "d,w,<", treg,
-                  treg, 8);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "srl", "d,w,<",
+                  treg, treg, 8);
       if (! target_big_endian)
        expr1.X_add_number = 1;
       else
@@ -6551,10 +7230,10 @@ macro2 (ip)
        expr1.X_add_number = 1;
       macro_build ((char *) NULL, &icnt, &expr1, "lbu", "t,o(b)", AT,
                   (int) BFD_RELOC_LO16, AT);
-      macro_build ((char *) NULL, &icnt, NULL, "sll", "d,w,<", treg,
-                  treg, 8);
-      macro_build ((char *) NULL, &icnt, NULL, "or", "d,v,t", treg,
-                  treg, AT);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "sll", "d,w,<",
+                  treg, treg, 8);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "or", "d,v,t",
+                  treg, treg, AT);
       break;
 
     default:
@@ -6613,19 +7292,20 @@ mips16_macro (ip)
       mips_emit_delays (true);
       ++mips_opts.noreorder;
       mips_any_noreorder = 1;
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "ddiv" : "div",
                   "0,x,y", xreg, yreg);
       expr1.X_add_number = 2;
       macro_build ((char *) NULL, &icnt, &expr1, "bnez", "x,p", yreg);
-      macro_build ((char *) NULL, &icnt, NULL, "break", "6", 7);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break", "6",
+                  7);
 
       /* FIXME: The normal code checks for of -1 / -0x80000000 here,
          since that causes an overflow.  We should do that as well,
          but I don't see how to do the comparisons without a temporary
          register.  */
       --mips_opts.noreorder;
-      macro_build ((char *) NULL, &icnt, NULL, s, "x", zreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "x", zreg);
       break;
 
     case M_DIVU_3:
@@ -6647,20 +7327,23 @@ mips16_macro (ip)
       mips_emit_delays (true);
       ++mips_opts.noreorder;
       mips_any_noreorder = 1;
-      macro_build ((char *) NULL, &icnt, NULL, s, "0,x,y", xreg, yreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s, "0,x,y",
+                  xreg, yreg);
       expr1.X_add_number = 2;
       macro_build ((char *) NULL, &icnt, &expr1, "bnez", "x,p", yreg);
-       macro_build ((char *) NULL, &icnt, NULL, "break", "6", 7);
+       macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "break",
+                    "6", 7);
       --mips_opts.noreorder;
-      macro_build ((char *) NULL, &icnt, NULL, s2, "x", zreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, s2, "x", zreg);
       break;
 
     case M_DMUL:
       dbl = 1;
     case M_MUL:
-      macro_build ((char *) NULL, &icnt, NULL,
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL,
                   dbl ? "dmultu" : "multu", "x,y", xreg, yreg);
-      macro_build ((char *) NULL, &icnt, NULL, "mflo", "x", zreg);
+      macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "mflo", "x",
+                  zreg);
       return;
 
     case M_DSUBU_I:
@@ -6923,13 +7606,13 @@ mips_ip (str, ip)
   /* If the instruction contains a '.', we first try to match an instruction
      including the '.'.  Then we try again without the '.'.  */
   insn = NULL;
-  for (s = str; *s != '\0' && !isspace ((unsigned char) *s); ++s)
+  for (s = str; *s != '\0' && !ISSPACE (*s); ++s)
     continue;
 
   /* If we stopped on whitespace, then replace the whitespace with null for
      the call to hash_find.  Save the character we replaced just in case we
      have to re-parse the instruction.  */
-  if (isspace ((unsigned char) *s))
+  if (ISSPACE (*s))
     {
       save_c = *s;
       *s++ = '\0';
@@ -6947,7 +7630,9 @@ mips_ip (str, ip)
        *(--s) = save_c;
 
       /* Scan up to the first '.' or whitespace.  */
-      for (s = str; *s != '\0' && *s != '.' && !isspace ((unsigned char) *s); ++s)
+      for (s = str;
+          *s != '\0' && *s != '.' && !ISSPACE (*s);
+          ++s)
        continue;
 
       /* If we did not find a '.', then we can quit now.  */
@@ -7017,8 +7702,7 @@ mips_ip (str, ip)
       insn_error = NULL;
       for (args = insn->args;; ++args)
        {
-         if (*s == ' ')
-           ++s;
+         s += strspn (s, " \t");
          switch (*args)
            {
            case '\0':          /* end of args */
@@ -7070,8 +7754,8 @@ mips_ip (str, ip)
            case '<':           /* must be at least one digit */
              /*
               * According to the manual, if the shift amount is greater
-              * than 31 or less than 0 the the shift amount should be
-              * mod 32. In reality the mips assembler issues an error.
+              * than 31 or less than 0, then the shift amount should be
+              * mod 32.  In reality the mips assembler issues an error.
               * We issue a warning and mask out all but the low 5 bits.
               */
              my_getExpression (&imm_expr, s);
@@ -7211,7 +7895,7 @@ mips_ip (str, ip)
              if (s[0] == '$')
                {
 
-                 if (isdigit ((unsigned char) s[1]))
+                 if (ISDIGIT (s[1]))
                    {
                      ++s;
                      regno = 0;
@@ -7221,7 +7905,7 @@ mips_ip (str, ip)
                          regno += *s - '0';
                          ++s;
                        }
-                     while (isdigit ((unsigned char) *s));
+                     while (ISDIGIT (*s));
                      if (regno > 31)
                        as_bad (_("Invalid register number (%d)"), regno);
                    }
@@ -7374,7 +8058,8 @@ mips_ip (str, ip)
            case 'V':
            case 'W':
              s_reset = s;
-             if (s[0] == '$' && s[1] == 'f' && isdigit ((unsigned char) s[2]))
+             if (s[0] == '$' && s[1] == 'f'
+                 && ISDIGIT (s[2]))
                {
                  s += 2;
                  regno = 0;
@@ -7384,7 +8069,7 @@ mips_ip (str, ip)
                      regno += *s - '0';
                      ++s;
                    }
-                 while (isdigit ((unsigned char) *s));
+                 while (ISDIGIT (*s));
 
                  if (regno > 31)
                    as_bad (_("Invalid float register number (%d)"), regno);
@@ -7454,7 +8139,7 @@ mips_ip (str, ip)
 
            case 'A':
              my_getExpression (&offset_expr, s);
-             imm_reloc = BFD_RELOC_32;
+             *imm_reloc = BFD_RELOC_32;
              s = expr_end;
              continue;
 
@@ -7666,7 +8351,7 @@ mips_ip (str, ip)
 
            case 'i':           /* 16 bit unsigned immediate */
            case 'j':           /* 16 bit signed immediate */
-             imm_reloc = BFD_RELOC_LO16;
+             *imm_reloc = BFD_RELOC_LO16;
              c = my_getSmallExpression (&imm_expr, s);
              if (c != S_EX_NONE)
                {
@@ -7675,17 +8360,38 @@ mips_ip (str, ip)
                      if (imm_expr.X_op == O_constant)
                        imm_expr.X_add_number =
                          (imm_expr.X_add_number >> 16) & 0xffff;
+#ifdef OBJ_ELF
                      else if (c == S_EX_HIGHEST)
-                         imm_reloc = BFD_RELOC_MIPS_HIGHEST;
+                         *imm_reloc = BFD_RELOC_MIPS_HIGHEST;
                      else if (c == S_EX_HIGHER)
-                         imm_reloc = BFD_RELOC_MIPS_HIGHER;
+                         *imm_reloc = BFD_RELOC_MIPS_HIGHER;
+                     else if (c == S_EX_GP_REL)
+                       {
+                         /* This occurs in NewABI only.  */
+                         c = my_getSmallExpression (&imm_expr, s);
+                         if (c != S_EX_NEG)
+                           as_bad (_("bad composition of relocations"));
+                         else
+                           {
+                             c = my_getSmallExpression (&imm_expr, s);
+                             if (c != S_EX_LO)
+                               as_bad (_("bad composition of relocations"));
+                             else
+                               {
+                                 imm_reloc[0] = BFD_RELOC_GPREL16;
+                                 imm_reloc[1] = BFD_RELOC_MIPS_SUB;
+                                 imm_reloc[2] = BFD_RELOC_LO16;
+                               }
+                           }
+                       }
+#endif
                      else if (c == S_EX_HI)
                        {
-                         imm_reloc = BFD_RELOC_HI16_S;
+                         *imm_reloc = BFD_RELOC_HI16_S;
                          imm_unmatched_hi = true;
                        }
                      else
-                       imm_reloc = BFD_RELOC_HI16;
+                       *imm_reloc = BFD_RELOC_HI16;
                    }
                  else if (imm_expr.X_op == O_constant)
                    imm_expr.X_add_number &= 0xffff;
@@ -7750,23 +8456,11 @@ mips_ip (str, ip)
 
              /* If this value won't fit into a 16 bit offset, then go
                 find a macro that will generate the 32 bit offset
-                code pattern.  As a special hack, we accept the
-                difference of two local symbols as a constant.  This
-                is required to suppose embedded PIC switches, which
-                use an instruction which looks like
-                    lw $4,$L12-$LS12($4)
-                The problem with handling this in a more general
-                fashion is that the macro function doesn't expect to
-                see anything which can be handled in a single
-                constant instruction.  */
+                code pattern.  */
              if (c == S_EX_NONE
                  && (offset_expr.X_op != O_constant
                      || offset_expr.X_add_number >= 0x8000
-                     || offset_expr.X_add_number < -0x8000)
-                 && (mips_pic != EMBEDDED_PIC
-                     || offset_expr.X_op != O_subtract
-                     || (S_GET_SEGMENT (offset_expr.X_add_symbol)
-                         != S_GET_SEGMENT (offset_expr.X_op_symbol))))
+                     || offset_expr.X_add_number < -0x8000))
                break;
 
              if (c == S_EX_HI)
@@ -7776,35 +8470,59 @@ mips_ip (str, ip)
                  offset_expr.X_add_number =
                    (offset_expr.X_add_number >> 16) & 0xffff;
                }
-             offset_reloc = BFD_RELOC_LO16;
+             *offset_reloc = BFD_RELOC_LO16;
              s = expr_end;
              continue;
 
            case 'p':           /* pc relative offset */
-             offset_reloc = BFD_RELOC_16_PCREL_S2;
+             if (mips_pic == EMBEDDED_PIC)
+               *offset_reloc = BFD_RELOC_16_PCREL_S2;
+             else
+               *offset_reloc = BFD_RELOC_16_PCREL;
              my_getExpression (&offset_expr, s);
              s = expr_end;
              continue;
 
            case 'u':           /* upper 16 bits */
              c = my_getSmallExpression (&imm_expr, s);
-             imm_reloc = BFD_RELOC_LO16;
-             if (c)
+             *imm_reloc = BFD_RELOC_LO16;
+             if (c != S_EX_NONE)
                {
                  if (c != S_EX_LO)
                    {
                      if (imm_expr.X_op == O_constant)
                        imm_expr.X_add_number =
                          (imm_expr.X_add_number >> 16) & 0xffff;
-                     else if (c == S_EX_HIGHEST)
-                         imm_reloc = BFD_RELOC_MIPS_HIGHEST;
                      else if (c == S_EX_HI)
                        {
-                         imm_reloc = BFD_RELOC_HI16_S;
+                         *imm_reloc = BFD_RELOC_HI16_S;
                          imm_unmatched_hi = true;
                        }
+#ifdef OBJ_ELF
+                     else if (c == S_EX_HIGHEST)
+                         *imm_reloc = BFD_RELOC_MIPS_HIGHEST;
+                     else if (c == S_EX_GP_REL)
+                       {
+                         /* This occurs in NewABI only.  */
+                         c = my_getSmallExpression (&imm_expr, s);
+                         if (c != S_EX_NEG)
+                           as_bad (_("bad composition of relocations"));
+                         else
+                           {
+                             c = my_getSmallExpression (&imm_expr, s);
+                             if (c != S_EX_HI)
+                               as_bad (_("bad composition of relocations"));
+                             else
+                               {
+                                 imm_reloc[0] = BFD_RELOC_GPREL16;
+                                 imm_reloc[1] = BFD_RELOC_MIPS_SUB;
+                                 imm_reloc[2] = BFD_RELOC_HI16_S;
+                               }
+                           }
+                       }
+#endif
                      else
-                       imm_reloc = BFD_RELOC_HI16;
+                       *imm_reloc = BFD_RELOC_HI16;
                    }
                  else if (imm_expr.X_op == O_constant)
                    imm_expr.X_add_number &= 0xffff;
@@ -7819,7 +8537,7 @@ mips_ip (str, ip)
            case 'a':           /* 26 bit address */
              my_getExpression (&offset_expr, s);
              s = expr_end;
-             offset_reloc = BFD_RELOC_MIPS_JMP;
+             *offset_reloc = BFD_RELOC_MIPS_JMP;
              continue;
 
            case 'N':           /* 3 bit branch condition code */
@@ -7834,7 +8552,7 @@ mips_ip (str, ip)
                  regno += *s - '0';
                  ++s;
                }
-             while (isdigit ((unsigned char) *s));
+             while (ISDIGIT (*s));
              if (regno > 7)
                as_bad (_("invalid condition code register $fcc%d"), regno);
              if (*args == 'N')
@@ -7846,7 +8564,7 @@ mips_ip (str, ip)
            case 'H':
              if (s[0] == '0' && (s[1] == 'x' || s[1] == 'X'))
                s += 2;
-             if (isdigit ((unsigned char) *s))
+             if (ISDIGIT (*s))
                {
                  c = 0;
                  do
@@ -7855,7 +8573,7 @@ mips_ip (str, ip)
                      c += *s - '0';
                      ++s;
                    }
-                 while (isdigit ((unsigned char) *s));
+                 while (ISDIGIT (*s));
                }
              else
                c = 8; /* Invalid sel value.  */
@@ -7912,7 +8630,7 @@ mips16_ip (str, ip)
   mips16_small = false;
   mips16_ext = false;
 
-  for (s = str; islower ((unsigned char) *s); ++s)
+  for (s = str; ISLOWER (*s); ++s)
     ;
   switch (*s)
     {
@@ -7962,9 +8680,13 @@ mips16_ip (str, ip)
       ip->insn_opcode = insn->match;
       ip->use_extend = false;
       imm_expr.X_op = O_absent;
-      imm_reloc = BFD_RELOC_UNUSED;
+      imm_reloc[0] = BFD_RELOC_UNUSED;
+      imm_reloc[1] = BFD_RELOC_UNUSED;
+      imm_reloc[2] = BFD_RELOC_UNUSED;
       offset_expr.X_op = O_absent;
-      offset_reloc = BFD_RELOC_UNUSED;
+      offset_reloc[0] = BFD_RELOC_UNUSED;
+      offset_reloc[1] = BFD_RELOC_UNUSED;
+      offset_reloc[2] = BFD_RELOC_UNUSED;
       for (args = insn->args; 1; ++args)
        {
          int c;
@@ -7984,16 +8706,15 @@ mips16_ip (str, ip)
                {
                  /* Stuff the immediate value in now, if we can.  */
                  if (imm_expr.X_op == O_constant
-                     && imm_reloc > BFD_RELOC_UNUSED
+                     && *imm_reloc > BFD_RELOC_UNUSED
                      && insn->pinfo != INSN_MACRO)
                    {
-                     mips16_immed ((char *) NULL, 0,
-                                   imm_reloc - BFD_RELOC_UNUSED,
+                     mips16_immed (NULL, 0, *imm_reloc - BFD_RELOC_UNUSED,
                                    imm_expr.X_add_number, true, mips16_small,
                                    mips16_ext, &ip->insn_opcode,
                                    &ip->use_extend, &ip->extend);
                      imm_expr.X_op = O_absent;
-                     imm_reloc = BFD_RELOC_UNUSED;
+                     *imm_reloc = BFD_RELOC_UNUSED;
                    }
 
                  return;
@@ -8045,7 +8766,7 @@ mips16_ip (str, ip)
              if (s[0] != '$')
                break;
              s_reset = s;
-             if (isdigit ((unsigned char) s[1]))
+             if (ISDIGIT (s[1]))
                {
                  ++s;
                  regno = 0;
@@ -8055,7 +8776,7 @@ mips16_ip (str, ip)
                      regno += *s - '0';
                      ++s;
                    }
-                 while (isdigit ((unsigned char) *s));
+                 while (ISDIGIT (*s));
                  if (regno > 31)
                    {
                      as_bad (_("invalid register number (%d)"), regno);
@@ -8218,7 +8939,7 @@ mips16_ip (str, ip)
                  if (imm_expr.X_op == O_symbol)
                    {
                      mips16_ext = true;
-                     imm_reloc = BFD_RELOC_MIPS16_GPREL;
+                     *imm_reloc = BFD_RELOC_MIPS16_GPREL;
                      s = expr_end;
                      ip->use_extend = true;
                      ip->extend = 0;
@@ -8245,7 +8966,7 @@ mips16_ip (str, ip)
                         explicit extensions correctly.  */
                      imm_expr.X_op = O_constant;
                      imm_expr.X_add_number = 0;
-                     imm_reloc = (int) BFD_RELOC_UNUSED + c;
+                     *imm_reloc = (int) BFD_RELOC_UNUSED + c;
                      continue;
                    }
 
@@ -8253,7 +8974,7 @@ mips16_ip (str, ip)
                }
 
              /* We need to relax this instruction.  */
-             imm_reloc = (int) BFD_RELOC_UNUSED + c;
+             *imm_reloc = (int) BFD_RELOC_UNUSED + c;
              s = expr_end;
              continue;
 
@@ -8271,7 +8992,7 @@ mips16_ip (str, ip)
                break;
 
              /* We need to relax this instruction.  */
-             offset_reloc = (int) BFD_RELOC_UNUSED + c;
+             *offset_reloc = (int) BFD_RELOC_UNUSED + c;
              s = expr_end;
              continue;
 
@@ -8293,7 +9014,7 @@ mips16_ip (str, ip)
            case 'a':           /* 26 bit address */
              my_getExpression (&offset_expr, s);
              s = expr_end;
-             offset_reloc = BFD_RELOC_MIPS16_JMP;
+             *offset_reloc = BFD_RELOC_MIPS16_JMP;
              ip->insn_opcode <<= 16;
              continue;
 
@@ -8326,7 +9047,7 @@ mips16_ip (str, ip)
                        ++s;
                      }
                    reg1 = 0;
-                   while (isdigit ((unsigned char) *s))
+                   while (ISDIGIT (*s))
                      {
                        reg1 *= 10;
                        reg1 += *s - '0';
@@ -8353,7 +9074,7 @@ mips16_ip (str, ip)
                              }
                          }
                        reg2 = 0;
-                       while (isdigit ((unsigned char) *s))
+                       while (ISDIGIT (*s))
                          {
                            reg2 *= 10;
                            reg2 += *s - '0';
@@ -8600,150 +9321,221 @@ mips16_immed (file, line, type, val, warn, small, ext, insn, use_extend,
     }
 }
 \f
+static struct percent_op_match
+{
+   const char *str;
+   const enum small_ex_type type;
+} percent_op[] =
+{
+  {"%lo", S_EX_LO},
+#ifdef OBJ_ELF
+  {"%call_hi", S_EX_CALL_HI},
+  {"%call_lo", S_EX_CALL_LO},
+  {"%call16", S_EX_CALL16},
+  {"%got_disp", S_EX_GOT_DISP},
+  {"%got_page", S_EX_GOT_PAGE},
+  {"%got_ofst", S_EX_GOT_OFST},
+  {"%got_hi", S_EX_GOT_HI},
+  {"%got_lo", S_EX_GOT_LO},
+  {"%got", S_EX_GOT},
+  {"%gp_rel", S_EX_GP_REL},
+  {"%half", S_EX_HALF},
+  {"%highest", S_EX_HIGHEST},
+  {"%higher", S_EX_HIGHER},
+  {"%neg", S_EX_NEG},
+#endif
+  {"%hi", S_EX_HI}
+};
+
+/* Parse small expression input.  STR gets adjusted to eat up whitespace.
+   It detects valid "%percent_op(...)" and "($reg)" strings.  Percent_op's
+   can be nested, this is handled by blanking the innermost, parsing the
+   rest by subsequent calls.  */
+
+static int
+my_getSmallParser (str, len, nestlevel)
+     char **str;
+     unsigned int *len;
+     int *nestlevel;
+{
+  *len = 0;
+  *str += strspn (*str, " \t");
+  /* Check for expression in parentheses.  */
+  if (**str == '(')
+    {
+      char *b = *str + 1 + strspn (*str + 1, " \t");
+      char *e;
+
+      /* Check for base register.  */
+      if (b[0] == '$')
+       {
+         if (strchr (b, ')')
+             && (e = b + strcspn (b, ") \t"))
+             && e - b > 1 && e - b < 4)
+           {
+              if ((e - b == 3
+                   && ((b[1] == 'f' && b[2] == 'p')
+                       || (b[1] == 's' && b[2] == 'p')
+                       || (b[1] == 'g' && b[2] == 'p')
+                       || (b[1] == 'a' && b[2] == 't')
+                       || (ISDIGIT (b[1])
+                           && ISDIGIT (b[2]))))
+                  || (ISDIGIT (b[1])))
+                {
+                  *len = strcspn (*str, ")") + 1;
+                  return S_EX_REGISTER;
+                }
+           }
+       }
+      /* Check for percent_op (in parentheses).  */
+      else if (b[0] == '%')
+       {
+         *str = b;
+         return my_getPercentOp (str, len, nestlevel);
+       }
+
+      /* Some other expression in the parentheses, which can contain
+        parentheses itself. Attempt to find the matching one.  */
+      {
+       int pcnt = 1;
+       char *s;
+
+       *len = 1;
+       for (s = *str + 1; *s && pcnt; s++, (*len)++)
+         {
+           if (*s == '(')
+             pcnt++;
+           else if (*s == ')')
+             pcnt--;
+         }
+      }
+    }
+  /* Check for percent_op (outside of parentheses).  */
+  else if (*str[0] == '%')
+    return my_getPercentOp (str, len, nestlevel);
+
+  /* Any other expression.  */
+  return S_EX_NONE;
+}
+
+static int
+my_getPercentOp (str, len, nestlevel)
+     char **str;
+     unsigned int *len;
+     int *nestlevel;
+{
+  char *tmp = *str + 1;
+  unsigned int i = 0;
+
+  while (ISALPHA (*tmp) || *tmp == '_')
+    {
+      *tmp = TOLOWER (*tmp);
+      tmp++;
+    }
+  while (i < (sizeof (percent_op) / sizeof (struct percent_op_match)))
+    {
+      if (strncmp (*str, percent_op[i].str, strlen (percent_op[i].str)))
+         i++;
+      else
+       {
+         int type = percent_op[i].type;
+
+         /* Only %hi and %lo are allowed for OldABI.  */
+         if (! HAVE_NEWABI && type != S_EX_HI && type != S_EX_LO)
+           return S_EX_NONE;
+
+         *len = strlen (percent_op[i].str);
+         (*nestlevel)++;
+         return type;
+       }
+    }
+  return S_EX_NONE;
+}
 
 static int
 my_getSmallExpression (ep, str)
      expressionS *ep;
      char *str;
 {
-  char *sp;
-  char *oldstr = str;
+  static char *oldstr = NULL;
   int c = S_EX_NONE;
+  int oldc;
+  int nestlevel = -1;
+  unsigned int len;
 
-  if (*str == ' ')
-    str++;
-  if (*str == '(')
-    c = S_EX_NONE;
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'l'
-          && tolower(str[2]) == 'o'
-          && str[3] == '(')
-    {
-      c = S_EX_LO;
-      str += sizeof ("%lo(") - 2;
-    }
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'h'
-          && tolower(str[2]) == 'i'
-          && str[3] == '(')
-    {
-      c = S_EX_HI;
-      str += sizeof ("%hi(") - 2;
-    }
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'h'
-          && tolower(str[2]) == 'i'
-          && tolower(str[3]) == 'g'
-          && tolower(str[4]) == 'h'
-          && tolower(str[5]) == 'e'
-          && tolower(str[6]) == 'r'
-          && str[7] == '(')
-    {
-      c = S_EX_HIGHER;
-      str += sizeof ("%higher(") - 2;
-    }
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'h'
-          && tolower(str[2]) == 'i'
-          && tolower(str[3]) == 'g'
-          && tolower(str[4]) == 'h'
-          && tolower(str[5]) == 'e'
-          && tolower(str[6]) == 's'
-          && tolower(str[7]) == 't'
-          && str[8] == '(')
-    {
-      c = S_EX_HIGHEST;
-      str += sizeof ("%highest(") - 2;
-    }
-/* currently unsupported */
-#if 0
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'g'
-          && tolower(str[2]) == 'p'
-          && tolower(str[3]) == 'r'
-          && tolower(str[4]) == 'e'
-          && tolower(str[5]) == 'l'
-          && str[6] == '(')
-    {
-      c = S_EX_GPREL;
-      str += sizeof ("%gprel(") - 2;
-    }
-  else if (str[0] == '%'
-          && tolower(str[1]) == 'n'
-          && tolower(str[2]) == 'e'
-          && tolower(str[3]) == 'g'
-          && str[4] == '(')
-    {
-      c = S_EX_NEG;
-      str += sizeof ("%neg(") - 2;
-    }
-#endif
-  else
+  /* Don't update oldstr if the last call had nested percent_op's. We need
+     it to parse the outer ones later.  */
+  if (! oldstr)
+    oldstr = str;
+
+  do
     {
-      my_getExpression (ep, str);
-      return c;
+      oldc = c;
+      c = my_getSmallParser (&str, &len, &nestlevel);
+      if (c != S_EX_NONE && c != S_EX_REGISTER)
+       str += len;
     }
+  while (c != S_EX_NONE && c != S_EX_REGISTER);
 
-  /*
-   * A small expression may be followed by a base register.
-   * Scan to the end of this operand, and then back over a possible
-   * base register.  Then scan the small expression up to that
-   * point.  (Based on code in sparc.c...)
-   */
-  for (sp = str; *sp && *sp != ','; sp++)
-    ;
-  if (sp - 4 >= str && sp[-1] == ')')
+  if (nestlevel >= 0)
     {
-      if (isdigit ((unsigned char) sp[-2]))
+      /* A percent_op was encountered.  Don't try to get an expression if
+        it is already blanked out.  */
+      if (*(str + strspn (str + 1, " )")) != ')')
        {
-         for (sp -= 3; sp >= str && isdigit ((unsigned char) *sp); sp--)
-           ;
-         if (*sp == '$' && sp > str && sp[-1] == '(')
-           {
-             sp--;
-             goto do_it;
-           }
+         char save;
+
+         /* Let my_getExpression() stop at the closing parenthesis.  */
+         save = *(str + len);
+         *(str + len) = '\0';
+         my_getExpression (ep, str);
+         *(str + len) = save;
        }
-      else if (sp - 5 >= str
-              && sp[-5] == '('
-              && sp[-4] == '$'
-              && ((sp[-3] == 'f' && sp[-2] == 'p')
-                  || (sp[-3] == 's' && sp[-2] == 'p')
-                  || (sp[-3] == 'g' && sp[-2] == 'p')
-                  || (sp[-3] == 'a' && sp[-2] == 't')))
-       {
-         sp -= 5;
-       do_it:
-         if (sp == str)
-           {
-             /* no expression means zero offset */
-             if (c != S_EX_NONE)
-               {
-                 /* %xx(reg) is an error */
-                 ep->X_op = O_absent;
-                 expr_end = oldstr;
-               }
-             else
-               {
-                 ep->X_op = O_constant;
-                 expr_end = sp;
-               }
-             ep->X_add_symbol = NULL;
-             ep->X_op_symbol = NULL;
-             ep->X_add_number = 0;
-           }
-         else
+      if (nestlevel > 0)
+       {
+         /* Blank out including the % sign and the proper matching
+            parenthesis.  */
+         int pcnt = 1;
+         char *s = strrchr (oldstr, '%');
+         char *end;
+
+         for (end = strchr (s, '(') + 1; *end && pcnt; end++)
            {
-             *sp = '\0';
-             my_getExpression (ep, str);
-             *sp = '(';
+             if (*end == '(')
+               pcnt++;
+             else if (*end == ')')
+               pcnt--;
            }
-         return c;
+
+         memset (s, ' ', end - s);
+         str = oldstr;
        }
+      else
+       expr_end = str + len;
+
+      c = oldc;
+    }
+  else if (c == S_EX_NONE)
+    {
+      my_getExpression (ep, str);
+    }
+  else if (c == S_EX_REGISTER)
+    {
+      ep->X_op = O_constant;
+      expr_end = str;
+      ep->X_add_symbol = NULL;
+      ep->X_op_symbol = NULL;
+      ep->X_add_number = 0;
+    }
+  else
+    {
+      as_fatal(_("internal error"));
     }
-  my_getExpression (ep, str);
 
-  /* => %highest, %higher, %hi, %lo, %gprel, %neg encountered */
+  if (nestlevel <= 0)
+    /* All percent_op's have been handled.  */
+    oldstr = NULL;
+
   return c;
 }
 
@@ -8844,6 +9636,27 @@ md_number_to_chars (buf, val, n)
     number_to_chars_littleendian (buf, val, n);
 }
 \f
+#ifdef OBJ_ELF
+static int support_64bit_objects(void)
+{
+  const char **list, **l;
+
+  list = bfd_target_list ();
+  for (l = list; *l != NULL; l++)
+#ifdef TE_TMIPS
+    /* This is traditional mips */
+    if (strcmp (*l, "elf64-tradbigmips") == 0
+       || strcmp (*l, "elf64-tradlittlemips") == 0)
+#else
+    if (strcmp (*l, "elf64-bigmips") == 0
+       || strcmp (*l, "elf64-littlemips") == 0)
+#endif
+      break;
+  free (list);
+  return (*l != NULL);
+}
+#endif /* OBJ_ELF */
+
 CONST char *md_shortopts = "nO::g::G:";
 
 struct option md_longopts[] =
@@ -8857,81 +9670,82 @@ struct option md_longopts[] =
   {"mips3", no_argument, NULL, OPTION_MIPS3},
 #define OPTION_MIPS4 (OPTION_MD_BASE + 4)
   {"mips4", no_argument, NULL, OPTION_MIPS4},
-#define OPTION_MCPU (OPTION_MD_BASE + 5)
-  {"mcpu", required_argument, NULL, OPTION_MCPU},
-#define OPTION_MEMBEDDED_PIC (OPTION_MD_BASE + 6)
+#define OPTION_MIPS5 (OPTION_MD_BASE + 5)
+  {"mips5", no_argument, NULL, OPTION_MIPS5},
+#define OPTION_MIPS32 (OPTION_MD_BASE + 6)
+  {"mips32", no_argument, NULL, OPTION_MIPS32},
+#define OPTION_MIPS64 (OPTION_MD_BASE + 7)
+  {"mips64", no_argument, NULL, OPTION_MIPS64},
+#define OPTION_MEMBEDDED_PIC (OPTION_MD_BASE + 8)
   {"membedded-pic", no_argument, NULL, OPTION_MEMBEDDED_PIC},
-#define OPTION_TRAP (OPTION_MD_BASE + 7)
+#define OPTION_TRAP (OPTION_MD_BASE + 9)
   {"trap", no_argument, NULL, OPTION_TRAP},
   {"no-break", no_argument, NULL, OPTION_TRAP},
-#define OPTION_BREAK (OPTION_MD_BASE + 8)
+#define OPTION_BREAK (OPTION_MD_BASE + 10)
   {"break", no_argument, NULL, OPTION_BREAK},
   {"no-trap", no_argument, NULL, OPTION_BREAK},
-#define OPTION_EB (OPTION_MD_BASE + 9)
+#define OPTION_EB (OPTION_MD_BASE + 11)
   {"EB", no_argument, NULL, OPTION_EB},
-#define OPTION_EL (OPTION_MD_BASE + 10)
+#define OPTION_EL (OPTION_MD_BASE + 12)
   {"EL", no_argument, NULL, OPTION_EL},
-#define OPTION_M4650 (OPTION_MD_BASE + 11)
-  {"m4650", no_argument, NULL, OPTION_M4650},
-#define OPTION_NO_M4650 (OPTION_MD_BASE + 12)
-  {"no-m4650", no_argument, NULL, OPTION_NO_M4650},
-#define OPTION_M4010 (OPTION_MD_BASE + 13)
-  {"m4010", no_argument, NULL, OPTION_M4010},
-#define OPTION_NO_M4010 (OPTION_MD_BASE + 14)
-  {"no-m4010", no_argument, NULL, OPTION_NO_M4010},
-#define OPTION_M4100 (OPTION_MD_BASE + 15)
-  {"m4100", no_argument, NULL, OPTION_M4100},
-#define OPTION_NO_M4100 (OPTION_MD_BASE + 16)
-  {"no-m4100", no_argument, NULL, OPTION_NO_M4100},
-#define OPTION_MIPS16 (OPTION_MD_BASE + 17)
+#define OPTION_MIPS16 (OPTION_MD_BASE + 13)
   {"mips16", no_argument, NULL, OPTION_MIPS16},
-#define OPTION_NO_MIPS16 (OPTION_MD_BASE + 18)
+#define OPTION_NO_MIPS16 (OPTION_MD_BASE + 14)
   {"no-mips16", no_argument, NULL, OPTION_NO_MIPS16},
-#define OPTION_M3900 (OPTION_MD_BASE + 19)
-  {"m3900", no_argument, NULL, OPTION_M3900},
-#define OPTION_NO_M3900 (OPTION_MD_BASE + 20)
-  {"no-m3900", no_argument, NULL, OPTION_NO_M3900},
-#define OPTION_MABI (OPTION_MD_BASE + 21)
-  {"mabi", required_argument, NULL, OPTION_MABI},
-#define OPTION_M7000_HILO_FIX (OPTION_MD_BASE + 22)
+#define OPTION_M7000_HILO_FIX (OPTION_MD_BASE + 15)
   {"mfix7000", no_argument, NULL, OPTION_M7000_HILO_FIX},
-#define OPTION_NO_M7000_HILO_FIX (OPTION_MD_BASE + 23)
+#define OPTION_NO_M7000_HILO_FIX (OPTION_MD_BASE + 16)
   {"no-fix-7000", no_argument, NULL, OPTION_NO_M7000_HILO_FIX},
-#define OPTION_GP32 (OPTION_MD_BASE + 24)
+#define OPTION_FP32 (OPTION_MD_BASE + 17)
+  {"mfp32", no_argument, NULL, OPTION_FP32},
+#define OPTION_GP32 (OPTION_MD_BASE + 18)
   {"mgp32", no_argument, NULL, OPTION_GP32},
-#define OPTION_GP64 (OPTION_MD_BASE + 25)
-  {"mgp64", no_argument, NULL, OPTION_GP64},
-#define OPTION_CONSTRUCT_FLOATS (OPTION_MD_BASE + 26)
+#define OPTION_CONSTRUCT_FLOATS (OPTION_MD_BASE + 19)
   {"construct-floats", no_argument, NULL, OPTION_CONSTRUCT_FLOATS},
-#define OPTION_NO_CONSTRUCT_FLOATS (OPTION_MD_BASE + 27)
+#define OPTION_NO_CONSTRUCT_FLOATS (OPTION_MD_BASE + 20)
   {"no-construct-floats", no_argument, NULL, OPTION_NO_CONSTRUCT_FLOATS},
-#define OPTION_MIPS32 (OPTION_MD_BASE + 28)
-  {"mips32", no_argument, NULL, OPTION_MIPS32},
-#define OPTION_MIPS5 (OPTION_MD_BASE + 29)
-  {"mips5", no_argument, NULL, OPTION_MIPS5},
-#define OPTION_MIPS64 (OPTION_MD_BASE + 30)
-  {"mips64", no_argument, NULL, OPTION_MIPS64},
-#define OPTION_MARCH (OPTION_MD_BASE + 31)
+#define OPTION_MARCH (OPTION_MD_BASE + 21)
   {"march", required_argument, NULL, OPTION_MARCH},
-#define OPTION_MTUNE (OPTION_MD_BASE + 32)
+#define OPTION_MTUNE (OPTION_MD_BASE + 22)
   {"mtune", required_argument, NULL, OPTION_MTUNE},
-#define OPTION_FP32 (OPTION_MD_BASE + 33)
-  {"mfp32", no_argument, NULL, OPTION_FP32},
+#define OPTION_MCPU (OPTION_MD_BASE + 23)
+  {"mcpu", required_argument, NULL, OPTION_MCPU},
+#define OPTION_M4650 (OPTION_MD_BASE + 24)
+  {"m4650", no_argument, NULL, OPTION_M4650},
+#define OPTION_NO_M4650 (OPTION_MD_BASE + 25)
+  {"no-m4650", no_argument, NULL, OPTION_NO_M4650},
+#define OPTION_M4010 (OPTION_MD_BASE + 26)
+  {"m4010", no_argument, NULL, OPTION_M4010},
+#define OPTION_NO_M4010 (OPTION_MD_BASE + 27)
+  {"no-m4010", no_argument, NULL, OPTION_NO_M4010},
+#define OPTION_M4100 (OPTION_MD_BASE + 28)
+  {"m4100", no_argument, NULL, OPTION_M4100},
+#define OPTION_NO_M4100 (OPTION_MD_BASE + 29)
+  {"no-m4100", no_argument, NULL, OPTION_NO_M4100},
+#define OPTION_M3900 (OPTION_MD_BASE + 30)
+  {"m3900", no_argument, NULL, OPTION_M3900},
+#define OPTION_NO_M3900 (OPTION_MD_BASE + 31)
+  {"no-m3900", no_argument, NULL, OPTION_NO_M3900},
+#define OPTION_GP64 (OPTION_MD_BASE + 32)
+  {"mgp64", no_argument, NULL, OPTION_GP64},
 #ifdef OBJ_ELF
-#define OPTION_ELF_BASE    (OPTION_MD_BASE + 35)
+#define OPTION_ELF_BASE    (OPTION_MD_BASE + 33)
 #define OPTION_CALL_SHARED (OPTION_ELF_BASE + 0)
-#define OPTION_NON_SHARED  (OPTION_ELF_BASE + 1)
-#define OPTION_XGOT        (OPTION_ELF_BASE + 2)
-#define OPTION_32         (OPTION_ELF_BASE + 3)
-#define OPTION_64          (OPTION_ELF_BASE + 4)
   {"KPIC",        no_argument, NULL, OPTION_CALL_SHARED},
   {"call_shared", no_argument, NULL, OPTION_CALL_SHARED},
+#define OPTION_NON_SHARED  (OPTION_ELF_BASE + 1)
   {"non_shared",  no_argument, NULL, OPTION_NON_SHARED},
+#define OPTION_XGOT        (OPTION_ELF_BASE + 2)
   {"xgot",        no_argument, NULL, OPTION_XGOT},
+#define OPTION_MABI        (OPTION_ELF_BASE + 3)
+  {"mabi", required_argument, NULL, OPTION_MABI},
+#define OPTION_32         (OPTION_ELF_BASE + 4)
   {"32",          no_argument, NULL, OPTION_32},
+#define OPTION_N32        (OPTION_ELF_BASE + 5)
+  {"n32",         no_argument, NULL, OPTION_N32},
+#define OPTION_64          (OPTION_ELF_BASE + 6)
   {"64",          no_argument, NULL, OPTION_64},
-#endif
-
+#endif /* OBJ_ELF */
   {NULL, no_argument, NULL, 0}
 };
 size_t md_longopts_size = sizeof (md_longopts);
@@ -9193,72 +10007,82 @@ md_parse_option (c, arg)
       break;
 
 #ifdef OBJ_ELF
-      /* The -32 and -64 options tell the assembler to output the 32
-         bit or the 64 bit MIPS ELF format.  */
+      /* The -32, -n32 and -64 options are shortcuts for -mabi=32, -mabi=n32
+        and -mabi=64.  */
     case OPTION_32:
-      mips_64 = 0;
+      if (OUTPUT_FLAVOR != bfd_target_elf_flavour)
+       {
+         as_bad (_("-32 is supported for ELF format only"));
+         return 0;
+       }
+      mips_opts.abi = O32_ABI;
+      break;
+
+    case OPTION_N32:
+      if (OUTPUT_FLAVOR != bfd_target_elf_flavour)
+       {
+         as_bad (_("-n32 is supported for ELF format only"));
+         return 0;
+       }
+      mips_opts.abi = N32_ABI;
       break;
 
     case OPTION_64:
-      {
-       const char **list, **l;
-
-       list = bfd_target_list ();
-       for (l = list; *l != NULL; l++)
-         if (strcmp (*l, "elf64-bigmips") == 0
-             || strcmp (*l, "elf64-littlemips") == 0
-             || strcmp (*l, "elf64-tradbigmips") == 0
-             || strcmp (*l, "elf64-tradlittlemips") == 0)
-           break;
-       if (*l == NULL)
-         as_fatal (_("No compiled in support for 64 bit object file format"));
-       free (list);
-       mips_64 = 1;
-      }
+      if (OUTPUT_FLAVOR != bfd_target_elf_flavour)
+       {
+         as_bad (_("-64 is supported for ELF format only"));
+         return 0;
+       }
+      mips_opts.abi = N64_ABI;
+      if (! support_64bit_objects())
+       as_fatal (_("No compiled in support for 64 bit object file format"));
       break;
 #endif /* OBJ_ELF */
 
     case OPTION_GP32:
-      mips_gp32 = 1;
-      mips_64 = 0;
-
-      /* We deliberately don't allow "-gp32" to set the MIPS_32BITMODE
-        flag in object files because to do so would make it
-        impossible to link with libraries compiled without "-gp32".
-        This is unnecessarily restrictive.
-
-        We could solve this problem by adding "-gp32" multilibs to
-        gcc, but to set this flag before gcc is built with such
-        multilibs will break too many systems.  */
-
-#if 0
-      mips_32bitmode = 1;
-#endif
+      file_mips_gp32 = 1;
+      if (mips_opts.abi != O32_ABI)
+       mips_opts.abi = NO_ABI;
       break;
 
     case OPTION_GP64:
-      mips_gp32 = 0;
-      mips_64 = 1;
-#if 0
-      mips_32bitmode = 0;
-#endif
+      file_mips_gp32 = 0;
+      if (mips_opts.abi == O32_ABI)
+       mips_opts.abi = NO_ABI;
       break;
 
     case OPTION_FP32:
-      mips_fp32 = 1;
+      file_mips_fp32 = 1;
+      if (mips_opts.abi != O32_ABI)
+       mips_opts.abi = NO_ABI;
       break;
 
+#ifdef OBJ_ELF
     case OPTION_MABI:
-      if (strcmp (arg, "32") == 0
-         || strcmp (arg, "n32") == 0
-         || strcmp (arg, "64") == 0
-         || strcmp (arg, "o64") == 0
-         || strcmp (arg, "eabi") == 0)
+      if (OUTPUT_FLAVOR != bfd_target_elf_flavour)
        {
-         mips_abi_string = arg;
-         mips_32bit_abi = (strcmp (arg, "32") == 0);
+         as_bad (_("-mabi is supported for ELF format only"));
+         return 0;
        }
+      if (strcmp (arg, "32") == 0)
+       mips_opts.abi = O32_ABI;
+      else if (strcmp (arg, "o64") == 0)
+       mips_opts.abi = O64_ABI;
+      else if (strcmp (arg, "n32") == 0)
+       mips_opts.abi = N32_ABI;
+      else if (strcmp (arg, "64") == 0)
+       {
+         mips_opts.abi = N64_ABI;
+         if (! support_64bit_objects())
+           as_fatal (_("No compiled in support for 64 bit object file "
+                       "format"));
+       }
+      else if (strcmp (arg, "eabi") == 0)
+       mips_opts.abi = EABI_ABI;
+      else
+       mips_opts.abi = NO_ABI;
       break;
+#endif /* OBJ_ELF */
 
     case OPTION_M7000_HILO_FIX:
       mips_7000_hilo_fix = true;
@@ -9352,8 +10176,7 @@ MIPS options:\n\
   show (stream, "8000", &column, &first);
   show (stream, "10000", &column, &first);
   show (stream, "12000", &column, &first);
-  show (stream, "mips32-4k", &column, &first);
-  show (stream, "sb-1", &column, &first);
+  show (stream, "sb1", &column, &first);
   fputc ('\n', stream);
 
   fprintf (stream, _("\
@@ -9386,8 +10209,22 @@ MIPS options:\n\
 -KPIC, -call_shared    generate SVR4 position independent code\n\
 -non_shared            do not generate position independent code\n\
 -xgot                  assume a 32 bit GOT\n\
--32                    create 32 bit object file (default)\n\
--64                    create 64 bit object file\n"));
+-mabi=ABI              create ABI conformant object file for:\n"));
+
+  first = 1;
+
+  show (stream, "32", &column, &first);
+  show (stream, "o64", &column, &first);
+  show (stream, "n32", &column, &first);
+  show (stream, "64", &column, &first);
+  show (stream, "eabi", &column, &first);
+                            
+  fputc ('\n', stream);
+
+  fprintf (stream, _("\
+-32                    create o32 ABI object file (default)\n\
+-n32                   create n32 ABI object file\n\
+-64                    create 64 ABI object file\n"));
 #endif
 }
 \f
@@ -9409,7 +10246,10 @@ md_pcrel_from (fixP)
     {
       /* This makes a branch to an undefined symbol be a branch to the
         current location.  */
-      return 4;
+      if (mips_pic == EMBEDDED_PIC)
+       return 4;
+      else
+       return 1;
     }
 
   /* return the address of the delay slot */
@@ -9435,7 +10275,7 @@ mips_frob_file_before_adjust ()
 }
 
 /* Sort any unmatched HI16_S relocs so that they immediately precede
-   the corresponding LO reloc.  This is called before md_apply_fix and
+   the corresponding LO reloc.  This is called before md_apply_fix3 and
    tc_gen_reloc.  Unmatched HI16_S relocs can only be generated by
    explicit use of the %hi modifier.  */
 
@@ -9532,7 +10372,10 @@ mips_frob_file ()
 
 /* When generating embedded PIC code we must keep all PC relative
    relocations, in case the linker has to relax a call.  We also need
-   to keep relocations for switch table entries.  */
+   to keep relocations for switch table entries.
+
+   We may have combined relocations without symbols in the N32/N64 ABI.
+   We have to prevent gas from dropping them.  */
 
 int
 mips_force_relocation (fixp)
@@ -9542,6 +10385,13 @@ mips_force_relocation (fixp)
       || fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
     return 1;
 
+  if (HAVE_NEWABI
+      && S_GET_SEGMENT (fixp->fx_addsy) == bfd_abs_section_ptr
+      && (fixp->fx_r_type == BFD_RELOC_MIPS_SUB
+         || fixp->fx_r_type == BFD_RELOC_HI16_S
+         || fixp->fx_r_type == BFD_RELOC_LO16))
+    return 1;
+
   return (mips_pic == EMBEDDED_PIC
          && (fixp->fx_pcrel
              || SWITCH_TABLE (fixp)
@@ -9549,12 +10399,32 @@ mips_force_relocation (fixp)
              || fixp->fx_r_type == BFD_RELOC_PCREL_LO16));
 }
 
+#ifdef OBJ_ELF
+static int
+mips_need_elf_addend_fixup (fixP)
+     fixS *fixP;
+{
+  return (S_GET_OTHER (fixP->fx_addsy) == STO_MIPS16
+         || ((S_IS_WEAK (fixP->fx_addsy)
+              || S_IS_EXTERN (fixP->fx_addsy))
+             && !S_IS_COMMON (fixP->fx_addsy))
+         || (symbol_used_in_reloc_p (fixP->fx_addsy)
+             && (((bfd_get_section_flags (stdoutput,
+                                          S_GET_SEGMENT (fixP->fx_addsy))
+                   & SEC_LINK_ONCE) != 0)
+                 || !strncmp (segment_name (S_GET_SEGMENT (fixP->fx_addsy)),
+                              ".gnu.linkonce",
+                              sizeof (".gnu.linkonce") - 1))));
+}
+#endif
+
 /* Apply a fixup to the object file.  */
 
-int
-md_apply_fix (fixP, valueP)
+void
+md_apply_fix3 (fixP, valP, seg)
      fixS *fixP;
-     valueT *valueP;
+     valueT * valP;
+     segT seg ATTRIBUTE_UNUSED;
 {
   unsigned char *buf;
   long insn;
@@ -9562,35 +10432,37 @@ md_apply_fix (fixP, valueP)
 
   assert (fixP->fx_size == 4
          || fixP->fx_r_type == BFD_RELOC_16
+         || fixP->fx_r_type == BFD_RELOC_32
+         || fixP->fx_r_type == BFD_RELOC_MIPS_JMP
+         || fixP->fx_r_type == BFD_RELOC_HI16_S
+         || fixP->fx_r_type == BFD_RELOC_LO16
+         || fixP->fx_r_type == BFD_RELOC_GPREL16
+         || fixP->fx_r_type == BFD_RELOC_MIPS_LITERAL
+         || fixP->fx_r_type == BFD_RELOC_GPREL32
          || fixP->fx_r_type == BFD_RELOC_64
+         || fixP->fx_r_type == BFD_RELOC_CTOR
+         || fixP->fx_r_type == BFD_RELOC_MIPS_SUB
+         || fixP->fx_r_type == BFD_RELOC_MIPS_HIGHEST
+         || fixP->fx_r_type == BFD_RELOC_MIPS_HIGHER
+         || fixP->fx_r_type == BFD_RELOC_MIPS_SCN_DISP
+         || fixP->fx_r_type == BFD_RELOC_MIPS_REL16
+         || fixP->fx_r_type == BFD_RELOC_MIPS_RELGOT
          || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
          || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY);
 
-  value = *valueP;
+  value = * valP;
 
   /* If we aren't adjusting this fixup to be against the section
      symbol, we need to adjust the value.  */
 #ifdef OBJ_ELF
   if (fixP->fx_addsy != NULL && OUTPUT_FLAVOR == bfd_target_elf_flavour)
     {
-      if (S_GET_OTHER (fixP->fx_addsy) == STO_MIPS16
-         || ((S_IS_WEAK (fixP->fx_addsy)
-              || S_IS_EXTERN (fixP->fx_addsy))
-             && !S_IS_COMMON (fixP->fx_addsy))
-         || (symbol_used_in_reloc_p (fixP->fx_addsy)
-             && (((bfd_get_section_flags (stdoutput,
-                                          S_GET_SEGMENT (fixP->fx_addsy))
-                   & SEC_LINK_ONCE) != 0)
-                 || !strncmp (segment_name (S_GET_SEGMENT (fixP->fx_addsy)),
-                              ".gnu.linkonce",
-                              sizeof (".gnu.linkonce") - 1))))
-
+      if (mips_need_elf_addend_fixup (fixP))
        {
          valueT symval = S_GET_VALUE (fixP->fx_addsy);
+
          value -= symval;
-         if (value != 0
-             && ! fixP->fx_pcrel
-             && fixP->fx_r_type != BFD_RELOC_MIPS_GPREL)
+         if (value != 0 && ! fixP->fx_pcrel)
            {
              /* In this case, the bfd_install_relocation routine will
                 incorrectly add the symbol value back in.  We just want
@@ -9646,14 +10518,15 @@ md_apply_fix (fixP, valueP)
          /* BFD's REL handling, for MIPS, is _very_ weird.
             This gives the right results, but it can't possibly
             be the way things are supposed to work.  */
-         if (fixP->fx_r_type != BFD_RELOC_16_PCREL_S2
+         if ((fixP->fx_r_type != BFD_RELOC_16_PCREL
+              && fixP->fx_r_type != BFD_RELOC_16_PCREL_S2)
              || S_GET_SEGMENT (fixP->fx_addsy) != undefined_section)
            value += fixP->fx_frag->fr_address + fixP->fx_where;
        }
     }
 #endif
 
-  fixP->fx_addnumber = value;  /* Remember value for tc_gen_reloc */
+  fixP->fx_addnumber = value;  /* Remember value for tc_gen_reloc */
 
   if (fixP->fx_addsy == NULL && ! fixP->fx_pcrel)
     fixP->fx_done = 1;
@@ -9661,13 +10534,28 @@ md_apply_fix (fixP, valueP)
   switch (fixP->fx_r_type)
     {
     case BFD_RELOC_MIPS_JMP:
+    case BFD_RELOC_MIPS_SHIFT5:
+    case BFD_RELOC_MIPS_SHIFT6:
+    case BFD_RELOC_MIPS_GOT_DISP:
+    case BFD_RELOC_MIPS_GOT_PAGE:
+    case BFD_RELOC_MIPS_GOT_OFST:
+    case BFD_RELOC_MIPS_SUB:
+    case BFD_RELOC_MIPS_INSERT_A:
+    case BFD_RELOC_MIPS_INSERT_B:
+    case BFD_RELOC_MIPS_DELETE:
+    case BFD_RELOC_MIPS_HIGHEST:
+    case BFD_RELOC_MIPS_HIGHER:
+    case BFD_RELOC_MIPS_SCN_DISP:
+    case BFD_RELOC_MIPS_REL16:
+    case BFD_RELOC_MIPS_RELGOT:
+    case BFD_RELOC_MIPS_JALR:
     case BFD_RELOC_HI16:
     case BFD_RELOC_HI16_S:
-    case BFD_RELOC_MIPS_GPREL:
+    case BFD_RELOC_GPREL16:
     case BFD_RELOC_MIPS_LITERAL:
     case BFD_RELOC_MIPS_CALL16:
     case BFD_RELOC_MIPS_GOT16:
-    case BFD_RELOC_MIPS_GPREL32:
+    case BFD_RELOC_GPREL32:
     case BFD_RELOC_MIPS_GOT_HI16:
     case BFD_RELOC_MIPS_GOT_LO16:
     case BFD_RELOC_MIPS_CALL_HI16:
@@ -9702,9 +10590,7 @@ md_apply_fix (fixP, valueP)
          value += (fixP->fx_next->fx_frag->fr_address
                    + fixP->fx_next->fx_where);
        }
-      if (value & 0x8000)
-       value += 0x10000;
-      value >>= 16;
+      value = ((value + 0x8000) >> 16) & 0xffff;
       buf = (unsigned char *) fixP->fx_frag->fr_literal + fixP->fx_where;
       if (target_big_endian)
        buf += 2;
@@ -9794,15 +10680,18 @@ md_apply_fix (fixP, valueP)
       break;
 
     case BFD_RELOC_16_PCREL_S2:
+      if ((value & 0x3) != 0)
+       as_bad_where (fixP->fx_file, fixP->fx_line,
+                     _("Branch to odd address (%lx)"), (long) value);
+
+      /* Fall through.  */
+
+    case BFD_RELOC_16_PCREL:
       /*
        * We need to save the bits in the instruction since fixup_segment()
        * might be deleting the relocation entry (i.e., a branch within
        * the current segment).
        */
-      if ((value & 0x3) != 0)
-       as_bad_where (fixP->fx_file, fixP->fx_line,
-                     _("Branch to odd address (%lx)"), (long) value);
-
       if (!fixP->fx_done && value != 0)
        break;
       /* If 'value' is zero, the remaining reloc code won't actually
@@ -9877,8 +10766,6 @@ md_apply_fix (fixP, valueP)
     default:
       internalError ();
     }
-
-  return 1;
 }
 
 #if 0
@@ -10078,7 +10965,7 @@ s_change_sec (sec)
 #ifdef OBJ_ELF
   /* The ELF backend needs to know that we are changing sections, so
      that .previous works correctly.  We could do something like check
-     for a obj_section_change_hook macro, but that might be confusing
+     for an obj_section_change_hook macro, but that might be confusing
      as it would not be appropriate to use it in the section changing
      functions in read.c, since obj-elf.c intercepts those.  FIXME:
      This should be cleaner, somehow.  */
@@ -10371,6 +11258,34 @@ s_mipsset (x)
       /* Permit the user to change the ISA on the fly.  Needless to
         say, misuse can cause serious problems.  */
       isa = atoi (name + 4);
+      switch (isa)
+      {
+      case  0:
+       mips_opts.gp32 = file_mips_gp32;
+       mips_opts.fp32 = file_mips_fp32;
+       mips_opts.abi = file_mips_abi;
+       break;
+      case  1:
+      case  2:
+      case 32:
+       mips_opts.gp32 = 1;
+       mips_opts.fp32 = 1;
+       break;
+      case  3:
+      case  4:
+      case  5:
+      case 64:
+       /* Loosen ABI register width restriction.  */
+       if (mips_opts.abi == O32_ABI)
+         mips_opts.abi = NO_ABI;
+       mips_opts.gp32 = 0;
+       mips_opts.fp32 = 0;
+       break;
+      default:
+       as_bad (_("unknown ISA level %s"), name + 4);
+       break;
+      }
+
       switch (isa)
       {
       case  0: mips_opts.isa = file_mips_isa;   break;
@@ -10381,7 +11296,7 @@ s_mipsset (x)
       case  5: mips_opts.isa = ISA_MIPS5;       break;
       case 32: mips_opts.isa = ISA_MIPS32;      break;
       case 64: mips_opts.isa = ISA_MIPS64;      break;
-      default: as_bad (_("unknown ISA level")); break;
+      default: as_bad (_("unknown ISA level %s"), name + 4); break;
       }
     }
   else if (strcmp (name, "autoextend") == 0)
@@ -10468,14 +11383,15 @@ s_cpload (ignore)
   expressionS ex;
   int icnt = 0;
 
-  /* If we are not generating SVR4 PIC code, .cpload is ignored.  */
-  if (mips_pic != SVR4_PIC)
+  /* If we are not generating SVR4 PIC code, or if this is NewABI code,
+     .cpload is ignored.  */
+  if (mips_pic != SVR4_PIC || HAVE_NEWABI)
     {
       s_ignore (0);
       return;
     }
 
-  /* .cpload should be a in .set noreorder section.  */
+  /* .cpload should be in a .set noreorder section.  */
   if (mips_opts.noreorder == 0)
     as_warn (_(".cpload not in noreorder section"));
 
@@ -10487,7 +11403,7 @@ s_cpload (ignore)
   /* In ELF, this symbol is implicitly an STT_OBJECT symbol.  */
   symbol_get_bfdsym (ex.X_add_symbol)->flags |= BSF_OBJECT;
 
-  macro_build_lui ((char *) NULL, &icnt, &ex, GP);
+  macro_build_lui (NULL, &icnt, &ex, GP);
   macro_build ((char *) NULL, &icnt, &ex, "addiu", "t,r,j", GP, GP,
               (int) BFD_RELOC_LO16);
 
@@ -10497,6 +11413,119 @@ s_cpload (ignore)
   demand_empty_rest_of_line ();
 }
 
+/* Handle the .cpsetup pseudo-op defined for NewABI PIC code.  The syntax is:
+     .cpsetup $reg1, offset|$reg2, label
+
+   If offset is given, this results in:
+     sd                $gp, offset($sp)
+     lui       $gp, %hi(%neg(%gp_rel(label)))
+     daddiu    $gp, $gp, %lo(%neg(%gp_rel(label)))
+     addu      $gp, $gp, $reg1
+
+   If $reg2 is given, this results in:
+     daddu     $reg2, $gp, $0
+     lui       $gp, %hi(%neg(%gp_rel(label)))
+     daddiu    $gp, $gp, %lo(%neg(%gp_rel(label)))
+     addu      $gp, $gp, $reg1
+ */
+static void
+s_cpsetup (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  expressionS ex_off;
+  expressionS ex_sym;
+  int reg1;
+  int icnt = 0;
+  char *sym;
+
+  /* If we are not generating SVR4 PIC code, .cpload is ignored.
+     We also need NewABI support.  */
+  if (mips_pic != SVR4_PIC || ! HAVE_NEWABI)
+    {
+      s_ignore (0);
+      return;
+    }
+
+  reg1 = tc_get_register (0);
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad (_("missing argument separator ',' for .cpsetup"));
+      return;
+    }
+  else
+    input_line_pointer++;
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer == '$')
+    mips_cpreturn_register = tc_get_register (0);
+  else
+    mips_cpreturn_offset = get_absolute_expression ();
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad (_("missing argument separator ',' for .cpsetup"));
+      return;
+    }
+  else
+    input_line_pointer++;
+  SKIP_WHITESPACE ();
+  sym = input_line_pointer;
+  while (ISALNUM (*input_line_pointer))
+    input_line_pointer++;
+  *input_line_pointer = 0;
+
+  ex_sym.X_op = O_symbol;
+  ex_sym.X_add_symbol = symbol_find_or_make (sym);
+  ex_sym.X_op_symbol = NULL;
+  ex_sym.X_add_number = 0;
+
+  if (mips_cpreturn_register == -1)
+    {
+      ex_off.X_op = O_constant;
+      ex_off.X_add_symbol = NULL;
+      ex_off.X_op_symbol = NULL;
+      ex_off.X_add_number = mips_cpreturn_offset;
+
+      macro_build ((char *) NULL, &icnt, &ex_off, "sd", "t,o(b)",
+                  mips_gp_register, (int) BFD_RELOC_LO16, SP);
+    }
+  else
+    macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "daddu",
+                "d,v,t", mips_cpreturn_register, mips_gp_register, 0);
+
+  macro_build ((char *) NULL, &icnt, &ex_sym, "lui", "t,u", mips_gp_register,
+              (int) BFD_RELOC_GPREL16);
+  fix_new (frag_now, (char *) prev_insn_fixp - 4 - frag_now->fr_literal, 0,
+          NULL, 0, 0, BFD_RELOC_MIPS_SUB);
+  fix_new (frag_now, (char *) prev_insn_fixp - 4 - frag_now->fr_literal, 0,
+          NULL, 0, 0, BFD_RELOC_HI16_S);
+  macro_build ((char *) NULL, &icnt, &ex_sym, "addiu", "t,r,j",
+              mips_gp_register, mips_gp_register, (int) BFD_RELOC_GPREL16);
+  fix_new (frag_now, (char *) prev_insn_fixp - 4 - frag_now->fr_literal, 0,
+          NULL, 0, 0, BFD_RELOC_MIPS_SUB);
+  fix_new (frag_now, (char *) prev_insn_fixp - 4 - frag_now->fr_literal, 0,
+          NULL, 0, 0, BFD_RELOC_LO16);
+  macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "daddu",
+              "d,v,t", mips_gp_register, mips_gp_register, reg1);
+
+  demand_empty_rest_of_line ();
+}
+
+static void
+s_cplocal (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  /* If we are not generating SVR4 PIC code, or if this is not NewABI code,
+   .cplocal is ignored.  */
+  if (mips_pic != SVR4_PIC || ! HAVE_NEWABI)
+    {
+      s_ignore (0);
+      return;
+    }
+
+  mips_gp_register = tc_get_register (0);
+}
+
 /* Handle the .cprestore pseudo-op.  This stores $gp into a given
    offset from $sp.  The offset is remembered, and after making a PIC
    call $gp is restored from that location.  */
@@ -10508,14 +11537,16 @@ s_cprestore (ignore)
   expressionS ex;
   int icnt = 0;
 
-  /* If we are not generating SVR4 PIC code, .cprestore is ignored.  */
-  if (mips_pic != SVR4_PIC)
+  /* If we are not generating SVR4 PIC code, or if this is NewABI code,
+   .cprestore is ignored.  */
+  if (mips_pic != SVR4_PIC || HAVE_NEWABI)
     {
       s_ignore (0);
       return;
     }
 
   mips_cprestore_offset = get_absolute_expression ();
+  mips_cprestore_valid = 1;
 
   ex.X_op = O_constant;
   ex.X_add_symbol = NULL;
@@ -10529,6 +11560,65 @@ s_cprestore (ignore)
   demand_empty_rest_of_line ();
 }
 
+/* Handle the .cpreturn pseudo-op defined for NewABI PIC code. If an offset
+   was given in the preceeding .gpsetup, it results in:
+     ld                $gp, offset($sp)
+
+   If a register $reg2 was given there, it results in:
+     daddiu    $gp, $gp, $reg2
+ */
+static void
+s_cpreturn (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  expressionS ex;
+  int icnt = 0;
+
+  /* If we are not generating SVR4 PIC code, .cpreturn is ignored.
+     We also need NewABI support.  */
+  if (mips_pic != SVR4_PIC || ! HAVE_NEWABI)
+    {
+      s_ignore (0);
+      return;
+    }
+
+  if (mips_cpreturn_register == -1)
+    {
+      ex.X_op = O_constant;
+      ex.X_add_symbol = NULL;
+      ex.X_op_symbol = NULL;
+      ex.X_add_number = mips_cpreturn_offset;
+
+      macro_build ((char *) NULL, &icnt, &ex, "ld", "t,o(b)",
+                  mips_gp_register, (int) BFD_RELOC_LO16, SP);
+    }
+  else
+    macro_build ((char *) NULL, &icnt, (expressionS *) NULL, "daddu",
+                "d,v,t", mips_gp_register, mips_cpreturn_register, 0);
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the .gpvalue pseudo-op.  This is used when generating NewABI PIC
+   code.  It sets the offset to use in gp_rel relocations.  */
+
+static void
+s_gpvalue (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  /* If we are not generating SVR4 PIC code, .gpvalue is ignored.
+     We also need NewABI support.  */
+  if (mips_pic != SVR4_PIC || ! HAVE_NEWABI)
+    {
+      s_ignore (0);
+      return;
+    }
+
+  mips_cpreturn_offset = get_absolute_expression ();
+
+  demand_empty_rest_of_line ();
+}
+
 /* Handle the .gpword pseudo-op.  This is used when generating PIC
    code.  It generates a 32 bit GP relative reloc.  */
 
@@ -10564,7 +11654,7 @@ s_gpword (ignore)
   p = frag_more (4);
   md_number_to_chars (p, (valueT) 0, 4);
   fix_new_exp (frag_now, p - frag_now->fr_literal, 4, &ex, 0,
-              BFD_RELOC_MIPS_GPREL32);
+              BFD_RELOC_GPREL32);
 
   demand_empty_rest_of_line ();
 }
@@ -10579,8 +11669,9 @@ s_cpadd (ignore)
   int icnt = 0;
   int reg;
 
-  /* This is ignored when not generating SVR4 PIC code.  */
-  if (mips_pic != SVR4_PIC)
+  /* This is ignored when not generating SVR4 PIC code or if this is NewABI
+     code.  */
+  if (mips_pic != SVR4_PIC || HAVE_NEWABI)
     {
       s_ignore (0);
       return;
@@ -10654,7 +11745,7 @@ s_mips_weakext (ignore)
     {
       if (S_IS_DEFINED (symbolP))
        {
-         as_bad ("Ignoring attempt to redefine symbol `%s'.",
+         as_bad ("ignoring attempt to redefine symbol %s",
                  S_GET_NAME (symbolP));
          ignore_rest_of_line ();
          return;
@@ -10695,7 +11786,7 @@ tc_get_register (frame)
       as_warn (_("expected `$'"));
       reg = 0;
     }
-  else if (isdigit ((unsigned char) *input_line_pointer))
+  else if (ISDIGIT (*input_line_pointer))
     {
       reg = get_absolute_expression ();
       if (reg < 0 || reg >= 32)
@@ -10722,7 +11813,11 @@ tc_get_register (frame)
       input_line_pointer += 2;
     }
   if (frame)
-    mips_frame_reg = reg != 0 ? reg : SP;
+    {
+      mips_frame_reg = reg != 0 ? reg : SP;
+      mips_frame_reg_valid = 1;
+      mips_cprestore_valid = 0;
+    }
   return reg;
 }
 
@@ -10760,7 +11855,7 @@ nopic_need_relax (sym, before_relaxing)
   if (sym == 0)
     return 0;
 
-  if (USE_GLOBAL_POINTER_OPT)
+  if (USE_GLOBAL_POINTER_OPT && g_switch_value > 0)
     {
       const char *symname;
       int change;
@@ -11059,8 +12154,7 @@ md_estimate_size_before_relax (fragp, segtype)
       sym = fragp->fr_symbol;
 
       /* Handle the case of a symbol equated to another symbol.  */
-      while (symbol_equated_p (sym)
-            && (! S_IS_DEFINED (sym) || S_IS_COMMON (sym)))
+      while (symbol_equated_reloc_p (sym))
        {
          symbolS *n;
 
@@ -11187,32 +12281,43 @@ tc_gen_reloc (section, fixp)
        as_fatal (_("Double check fx_r_type in tc-mips.c:tc_gen_reloc"));
       fixp->fx_r_type = BFD_RELOC_GPREL32;
     }
-  else if (fixp->fx_pcrel == 0 || OUTPUT_FLAVOR == bfd_target_elf_flavour)
-    reloc->addend = fixp->fx_addnumber;
   else if (fixp->fx_r_type == BFD_RELOC_PCREL_LO16)
     {
-      /* We use a special addend for an internal RELLO reloc.  */
-      if (symbol_section_p (fixp->fx_addsy))
-       reloc->addend = reloc->address - S_GET_VALUE (fixp->fx_subsy);
+      if (OUTPUT_FLAVOR == bfd_target_elf_flavour)
+       reloc->addend = fixp->fx_addnumber;
       else
-       reloc->addend = fixp->fx_addnumber + reloc->address;
+       {
+         /* We use a special addend for an internal RELLO reloc.  */
+         if (symbol_section_p (fixp->fx_addsy))
+           reloc->addend = reloc->address - S_GET_VALUE (fixp->fx_subsy);
+         else
+           reloc->addend = fixp->fx_addnumber + reloc->address;
+       }
     }
   else if (fixp->fx_r_type == BFD_RELOC_PCREL_HI16_S)
     {
       assert (fixp->fx_next != NULL
              && fixp->fx_next->fx_r_type == BFD_RELOC_PCREL_LO16);
-      /* We use a special addend for an internal RELHI reloc.  The
-        reloc is relative to the RELLO; adjust the addend
+
+      /* The reloc is relative to the RELLO; adjust the addend
         accordingly.  */
-      if (symbol_section_p (fixp->fx_addsy))
-       reloc->addend = (fixp->fx_next->fx_frag->fr_address
-                        + fixp->fx_next->fx_where
-                        - S_GET_VALUE (fixp->fx_subsy));
+      if (OUTPUT_FLAVOR == bfd_target_elf_flavour)
+       reloc->addend = fixp->fx_next->fx_addnumber;
       else
-       reloc->addend = (fixp->fx_addnumber
-                        + fixp->fx_next->fx_frag->fr_address
-                        + fixp->fx_next->fx_where);
+       {
+         /* We use a special addend for an internal RELHI reloc.  */
+         if (symbol_section_p (fixp->fx_addsy))
+           reloc->addend = (fixp->fx_next->fx_frag->fr_address
+                            + fixp->fx_next->fx_where
+                            - S_GET_VALUE (fixp->fx_subsy));
+         else
+           reloc->addend = (fixp->fx_addnumber
+                            + fixp->fx_next->fx_frag->fr_address
+                            + fixp->fx_next->fx_where);
+       }
     }
+  else if (fixp->fx_pcrel == 0 || OUTPUT_FLAVOR == bfd_target_elf_flavour)
+    reloc->addend = fixp->fx_addnumber;
   else
     {
       if (OUTPUT_FLAVOR != bfd_target_aout_flavour)
@@ -11226,13 +12331,14 @@ tc_gen_reloc (section, fixp)
   /* If this is a variant frag, we may need to adjust the existing
      reloc and generate a new one.  */
   if (fixp->fx_frag->fr_opcode != NULL
-      && (fixp->fx_r_type == BFD_RELOC_MIPS_GPREL
+      && (fixp->fx_r_type == BFD_RELOC_GPREL16
          || fixp->fx_r_type == BFD_RELOC_MIPS_GOT16
          || fixp->fx_r_type == BFD_RELOC_MIPS_CALL16
          || fixp->fx_r_type == BFD_RELOC_MIPS_GOT_HI16
          || fixp->fx_r_type == BFD_RELOC_MIPS_GOT_LO16
          || fixp->fx_r_type == BFD_RELOC_MIPS_CALL_HI16
-         || fixp->fx_r_type == BFD_RELOC_MIPS_CALL_LO16))
+         || fixp->fx_r_type == BFD_RELOC_MIPS_CALL_LO16)
+      && ! HAVE_NEWABI)
     {
       arelent *reloc2;
 
@@ -11245,8 +12351,8 @@ tc_gen_reloc (section, fixp)
       if (fixp->fx_next != NULL
          && fixp->fx_frag == fixp->fx_next->fx_frag)
        {
-         assert ((fixp->fx_r_type == BFD_RELOC_MIPS_GPREL
-                  && fixp->fx_next->fx_r_type == BFD_RELOC_MIPS_GPREL)
+         assert ((fixp->fx_r_type == BFD_RELOC_GPREL16
+                  && fixp->fx_next->fx_r_type == BFD_RELOC_GPREL16)
                  || (fixp->fx_r_type == BFD_RELOC_MIPS_GOT_HI16
                      && (fixp->fx_next->fx_r_type
                          == BFD_RELOC_MIPS_GOT_LO16))
@@ -11282,7 +12388,7 @@ tc_gen_reloc (section, fixp)
 
       if (mips_pic == NO_PIC)
        {
-         assert (fixp->fx_r_type == BFD_RELOC_MIPS_GPREL);
+         assert (fixp->fx_r_type == BFD_RELOC_GPREL16);
          fixp->fx_r_type = BFD_RELOC_HI16_S;
        }
       else if (mips_pic == SVR4_PIC)
@@ -11348,6 +12454,19 @@ tc_gen_reloc (section, fixp)
        }
     }
 
+#ifdef OBJ_ELF
+  /* md_apply_fix3 has a double-subtraction hack to get
+     bfd_install_relocation to behave nicely.  GPREL relocations are
+     handled correctly without this hack, so undo it here.  We can't
+     stop md_apply_fix3 from subtracting twice in the first place since
+     the fake addend is required for variant frags above.  */
+  if (fixp->fx_addsy != NULL && OUTPUT_FLAVOR == bfd_target_elf_flavour
+      && code == BFD_RELOC_GPREL16
+      && reloc->addend != 0
+      && mips_need_elf_addend_fixup (fixp))
+    reloc->addend += S_GET_VALUE (fixp->fx_addsy);
+#endif
+
   /* To support a PC relative reloc when generating embedded PIC code
      for ECOFF, we use a Cygnus extension.  We check for that here to
      make sure that we don't let such a reloc escape normally.  */
@@ -11381,7 +12500,7 @@ mips_relax_frag (fragp, stretch)
   if (! RELAX_MIPS16_P (fragp->fr_subtype))
     return 0;
 
-  if (mips16_extended_frag (fragp, (asection *) NULL, stretch))
+  if (mips16_extended_frag (fragp, NULL, stretch))
     {
       if (RELAX_MIPS16_EXTENDED (fragp->fr_subtype))
        return 0;
@@ -11579,7 +12698,7 @@ void
 mips_elf_final_processing ()
 {
   /* Write out the register information.  */
-  if (! mips_64)
+  if (! HAVE_NEWABI)
     {
       Elf32_RegInfo s;
 
@@ -11619,20 +12738,20 @@ mips_elf_final_processing ()
     elf_elfheader (stdoutput)->e_flags |= EF_MIPS_PIC;
 
   /* Set the MIPS ELF ABI flags.  */
-  if (mips_abi_string == NULL)
+  if (file_mips_abi == NO_ABI)
     ;
-  else if (strcmp (mips_abi_string, "32") == 0)
+  else if (file_mips_abi == O32_ABI)
     elf_elfheader (stdoutput)->e_flags |= E_MIPS_ABI_O32;
-  else if (strcmp (mips_abi_string, "o64") == 0)
+  else if (file_mips_abi == O64_ABI)
     elf_elfheader (stdoutput)->e_flags |= E_MIPS_ABI_O64;
-  else if (strcmp (mips_abi_string, "eabi") == 0)
+  else if (file_mips_abi == EABI_ABI)
     {
       if (mips_eabi64)
        elf_elfheader (stdoutput)->e_flags |= E_MIPS_ABI_EABI64;
       else
        elf_elfheader (stdoutput)->e_flags |= E_MIPS_ABI_EABI32;
     }
-  else if (strcmp (mips_abi_string, "n32") == 0)
+  else if (file_mips_abi == N32_ABI)
     elf_elfheader (stdoutput)->e_flags |= EF_MIPS_ABI2;
 
   /* Nothing to do for "64".  */
@@ -11715,14 +12834,14 @@ get_number ()
       ++input_line_pointer;
       negative = 1;
     }
-  if (!isdigit ((unsigned char) *input_line_pointer))
-    as_bad (_("Expected simple number."));
+  if (!ISDIGIT (*input_line_pointer))
+    as_bad (_("expected simple number"));
   if (input_line_pointer[0] == '0')
     {
       if (input_line_pointer[1] == 'x')
        {
          input_line_pointer += 2;
-         while (isxdigit ((unsigned char) *input_line_pointer))
+         while (ISXDIGIT (*input_line_pointer))
            {
              val <<= 4;
              val |= hex_value (*input_line_pointer++);
@@ -11732,7 +12851,7 @@ get_number ()
       else
        {
          ++input_line_pointer;
-         while (isdigit ((unsigned char) *input_line_pointer))
+         while (ISDIGIT (*input_line_pointer))
            {
              val <<= 3;
              val |= *input_line_pointer++ - '0';
@@ -11740,14 +12859,14 @@ get_number ()
          return negative ? -val : val;
        }
     }
-  if (!isdigit ((unsigned char) *input_line_pointer))
+  if (!ISDIGIT (*input_line_pointer))
     {
       printf (_(" *input_line_pointer == '%c' 0x%02x\n"),
              *input_line_pointer, *input_line_pointer);
-      as_warn (_("Invalid number"));
+      as_warn (_("invalid number"));
       return -1;
     }
-  while (isdigit ((unsigned char) *input_line_pointer))
+  while (ISDIGIT (*input_line_pointer))
     {
       val *= 10;
       val += *input_line_pointer++ - '0';
@@ -11777,6 +12896,10 @@ s_mips_end (x)
   symbolS *p;
   int maybe_text;
 
+  /* Following functions need their own .frame and .cprestore directives.  */
+  mips_frame_reg_valid = 0;
+  mips_cprestore_valid = 0;
+
   if (!is_end_of_line[(unsigned char) *input_line_pointer])
     {
       p = get_symbol ();
@@ -11870,7 +12993,7 @@ s_mips_ent (aent)
   if (*input_line_pointer == ',')
     input_line_pointer++;
   SKIP_WHITESPACE ();
-  if (isdigit ((unsigned char) *input_line_pointer)
+  if (ISDIGIT (*input_line_pointer)
       || *input_line_pointer == '-')
     number = get_number ();
 
@@ -11894,6 +13017,10 @@ s_mips_ent (aent)
 
   if (!aent)
     {
+      /* This function needs its own .frame and .cprestore directives.  */
+      mips_frame_reg_valid = 0;
+      mips_cprestore_valid = 0;
+
       cur_proc_ptr = &cur_proc;
       memset (cur_proc_ptr, '\0', sizeof (procS));
 
@@ -12050,17 +13177,20 @@ static const struct mips_cpu_info mips_cpu_info_table[] =
 
   /* MIPS32 ISA */
   { "MIPS32",         1,      ISA_MIPS32,     CPU_MIPS32, },
+  { "mipsisa32",      0,      ISA_MIPS32,     CPU_MIPS32, },
   { "Generic-MIPS32", 0,      ISA_MIPS32,     CPU_MIPS32, },
+  { "4kc",            0,      ISA_MIPS32,     CPU_MIPS32, },
+  { "4km",            0,      ISA_MIPS32,     CPU_MIPS32, },
+  { "4kp",            0,      ISA_MIPS32,     CPU_MIPS32, },
+
+  /* For historical reasons.  */
+  { "MIPS64",         1,      ISA_MIPS3,      CPU_R4000, },
 
-#if 1
-  /* XXX for now, MIPS64 -> MIPS3 because of history */
-  { "MIPS64",         1,      ISA_MIPS3,      CPU_R4000 }, /* XXX! */
-#else
   /* MIPS64 ISA */
-  { "MIPS64",         1,      ISA_MIPS64,     CPU_MIPS64 },
-#endif
-  { "mips64isa",      1,      ISA_MIPS64,     CPU_MIPS64 },
+  { "mipsisa64",      1,      ISA_MIPS64,     CPU_MIPS64, },
   { "Generic-MIPS64", 0,      ISA_MIPS64,     CPU_MIPS64, },
+  { "5kc",            0,      ISA_MIPS64,     CPU_MIPS64, },
+  { "20kc",           0,      ISA_MIPS64,     CPU_MIPS64, },
 
   /* R2000 CPU */
   { "R2000",          0,      ISA_MIPS1,      CPU_R2000, },
@@ -12164,16 +13294,7 @@ static const struct mips_cpu_info mips_cpu_info_table[] =
   { "r5k",            0,      ISA_MIPS4,      CPU_R5000, },
   { "r7000",          0,      ISA_MIPS4,      CPU_R5000, },
 
-  /* MIPS32 4K CPU */
-  { "MIPS32-4K",      0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "4kc",            0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "4km",            0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "4kp",            0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "mips32-4kc",     0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "mips32-4km",     0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-  { "mips32-4kp",     0,      ISA_MIPS32,     CPU_MIPS32_4K, },
-
-  /* SiByte SB-1 CPU */
+  /* Broadcom SB-1 CPU */
   { "SB-1",           0,      ISA_MIPS64,     CPU_SB1, },
   { "sb-1250",        0,      ISA_MIPS64,     CPU_SB1, },
   { "sb1",            0,      ISA_MIPS64,     CPU_SB1, },