merge from gcc
[external/binutils.git] / gas / config / tc-v850.c
index 294650a..e0ac162 100644 (file)
@@ -1,11 +1,12 @@
 /* tc-v850.c -- Assembler code for the NEC V850
-   Copyright (C) 1996, 1997 Free Software Foundation.
+   Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
+   2006, 2007, 2009  Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
    GAS is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
+   the Free Software Foundation; either version 3, or (at your option)
    any later version.
 
    GAS is distributed in the hope that it will be useful,
 
    You should have received a copy of the GNU General Public License
    along with GAS; see the file COPYING.  If not, write to
-   the Free Software Foundation, 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
+   the Free Software Foundation, 51 Franklin Street - Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
 
-#include <stdio.h>
-#include <ctype.h>
 #include "as.h"
-#include "subsegs.h"     
+#include "safe-ctype.h"
+#include "subsegs.h"
 #include "opcode/v850.h"
+#include "dwarf2dbg.h"
 
-/* sign-extend a 16-bit number */
-#define SEXT16(x)      ((((x) & 0xffff) ^ (~ 0x7fff)) + 0x8000)
+/* Sign-extend a 16-bit number.  */
+#define SEXT16(x)      ((((x) & 0xffff) ^ (~0x7fff)) + 0x8000)
 
 /* Temporarily holds the reloc in a cons expression.  */
-static bfd_reloc_code_real_type hold_cons_reloc;
+static bfd_reloc_code_real_type hold_cons_reloc = BFD_RELOC_UNUSED;
 
 /* Set to TRUE if we want to be pedantic about signed overflows.  */
-static boolean warn_signed_overflows   = FALSE;
-static boolean warn_unsigned_overflows = FALSE;
+static bfd_boolean warn_signed_overflows   = FALSE;
+static bfd_boolean warn_unsigned_overflows = FALSE;
 
-/* Indicates the target processor type.  */
-static int     machine                 = TARGET_MACHINE;
+/* Indicates the target BFD machine number.  */
+static int machine = -1;
 
+/* Indicates the target processor(s) for the assemble.  */
+static int processor_mask = -1;
 \f
 /* Structure to hold information about predefined registers.  */
 struct reg_name
 {
-  const char * name;
-  int          value;
+  const char *name;
+  int value;
 };
 
-/* Generic assembler global variables which must be defined by all targets. */
+/* Generic assembler global variables which must be defined by all
+   targets.  */
 
-/* Characters which always start a comment. */
+/* Characters which always start a comment.  */
 const char comment_chars[] = "#";
 
 /* Characters which start a comment at the beginning of a line.  */
 const char line_comment_chars[] = ";#";
 
-/* Characters which may be used to separate multiple commands on a 
+/* Characters which may be used to separate multiple commands on a
    single line.  */
 const char line_separator_chars[] = ";";
 
-/* Characters which are used to indicate an exponent in a floating 
+/* Characters which are used to indicate an exponent in a floating
    point number.  */
 const char EXP_CHARS[] = "eE";
 
-/* Characters which mean that a number is a floating point constant, 
+/* Characters which mean that a number is a floating point constant,
    as in 0d1.0.  */
 const char FLT_CHARS[] = "dD";
 \f
-
-const relax_typeS md_relax_table[] = {
-  {0xff, -0x100, 2, 1},
+const relax_typeS md_relax_table[] =
+{
+  /* Conditional branches.  */
+  {0xff,     -0x100,    2, 1},
   {0x1fffff, -0x200000, 6, 0},
+  /* Unconditional branches.  */
+  {0xff,     -0x100,    2, 3},
+  {0x1fffff, -0x200000, 4, 0},
 };
 
+static int  v850_relax = 0;
 
-static segT sdata_section = NULL;
-static segT tdata_section = NULL;
-static segT zdata_section = NULL;
-static segT sbss_section = NULL;
-static segT tbss_section = NULL;
-static segT zbss_section = NULL;
-static segT rosdata_section = NULL;
-static segT rozdata_section = NULL;
-
+/* Fixups.  */
+#define MAX_INSN_FIXUPS   5
 
-/* local functions */
-static unsigned long v850_insert_operand
-  PARAMS ((unsigned long insn, const struct v850_operand *operand,
-          offsetT val, char *file, unsigned int line));
-
-
-/* fixups */
-#define MAX_INSN_FIXUPS (5)
 struct v850_fixup
 {
-  expressionS              exp;
-  int                      opindex;
+  expressionS exp;
+  int opindex;
   bfd_reloc_code_real_type reloc;
 };
+
 struct v850_fixup fixups[MAX_INSN_FIXUPS];
 static int fc;
-\f
-void
-v850_sdata (int ignore)
-{
-  subseg_set (sdata_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
-}
 
-void
-v850_tdata (int ignore)
+struct v850_seg_entry
 {
-  subseg_set (tdata_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
-}
+  segT s;
+  const char *name;
+  flagword flags;
+};
 
-void
-v850_zdata (int ignore)
+struct v850_seg_entry v850_seg_table[] =
 {
-  subseg_set (zdata_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
-}
+  { NULL, ".sdata",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS
+    | SEC_SMALL_DATA },
+  { NULL, ".tdata",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS },
+  { NULL, ".zdata",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS },
+  { NULL, ".sbss",
+    SEC_ALLOC | SEC_SMALL_DATA },
+  { NULL, ".tbss",
+    SEC_ALLOC },
+  { NULL, ".zbss",
+    SEC_ALLOC},
+  { NULL, ".rosdata",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_DATA
+    | SEC_HAS_CONTENTS | SEC_SMALL_DATA },
+  { NULL, ".rozdata",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_DATA
+    | SEC_HAS_CONTENTS },
+  { NULL, ".scommon",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS
+    | SEC_SMALL_DATA | SEC_IS_COMMON },
+  { NULL, ".tcommon",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS
+    | SEC_IS_COMMON },
+  { NULL, ".zcommon",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS
+    | SEC_IS_COMMON },
+  { NULL, ".call_table_data",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS },
+  { NULL, ".call_table_text",
+    SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY | SEC_CODE
+    | SEC_HAS_CONTENTS},
+  { NULL, ".bss",
+    SEC_ALLOC }
+};
 
-void
-v850_sbss (int ignore)
-{
-  subseg_set (sbss_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
-}
+#define SDATA_SECTION          0
+#define TDATA_SECTION          1
+#define ZDATA_SECTION          2
+#define SBSS_SECTION           3
+#define TBSS_SECTION           4
+#define ZBSS_SECTION           5
+#define ROSDATA_SECTION                6
+#define ROZDATA_SECTION                7
+#define SCOMMON_SECTION                8
+#define TCOMMON_SECTION                9
+#define ZCOMMON_SECTION                10
+#define CALL_TABLE_DATA_SECTION        11
+#define CALL_TABLE_TEXT_SECTION        12
+#define BSS_SECTION            13
 
-void
-v850_tbss (int ignore)
+static void
+do_v850_seg (int i, subsegT sub)
 {
-  subseg_set (tbss_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
-}
+  struct v850_seg_entry *seg = v850_seg_table + i;
 
-void
-v850_zbss (int ignore)
-{
-  subseg_set (zbss_section, (subsegT) get_absolute_expression ());
-  
-  demand_empty_rest_of_line ();
+  obj_elf_section_change_hook ();
+
+  if (seg->s != NULL)
+    subseg_set (seg->s, sub);
+  else
+    {
+      seg->s = subseg_new (seg->name, sub);
+      bfd_set_section_flags (stdoutput, seg->s, seg->flags);
+      if ((seg->flags & SEC_LOAD) == 0)
+       seg_info (seg->s)->bss = 1;
+    }
 }
 
-void
-v850_rosdata (int ignore)
+static void
+v850_seg (int i)
 {
-  subseg_set (rosdata_section, (subsegT) get_absolute_expression ());
-  
+  subsegT sub = get_absolute_expression ();
+
+  do_v850_seg (i, sub);
   demand_empty_rest_of_line ();
 }
 
-void
-v850_rozdata (int ignore)
+static void
+v850_offset (int ignore ATTRIBUTE_UNUSED)
 {
-  subseg_set (rozdata_section, (subsegT) get_absolute_expression ());
-  
+  char *pfrag;
+  int temp = get_absolute_expression ();
+
+  pfrag = frag_var (rs_org, 1, 1, (relax_substateT)0, (symbolS *)0,
+                   (offsetT) temp, (char *) 0);
+  *pfrag = 0;
+
   demand_empty_rest_of_line ();
 }
 
+/* Copied from obj_elf_common() in gas/config/obj-elf.c.  */
+
 static void
-v850_section (int arg)
+v850_comm (int area)
 {
-  char   saved_c;
-  char * ptr;
-  
-  for (ptr = input_line_pointer; * ptr != '\n' && * ptr != 0; ptr ++)
-    if (* ptr == ',' && ptr[1] == '.')
-      break;
+  char *name;
+  char c;
+  char *p;
+  int temp;
+  unsigned int size;
+  symbolS *symbolP;
+  int have_align;
+
+  name = input_line_pointer;
+  c = get_symbol_end ();
 
-  saved_c = * ptr;
-  * ptr = ';';
-  
-  obj_elf_section (arg);
+  /* Just after name is now '\0'.  */
+  p = input_line_pointer;
+  *p = c;
 
-  * ptr = saved_c;
-}
+  SKIP_WHITESPACE ();
 
-void
-v850_bss (int ignore)
-{
-  register int temp = get_absolute_expression ();
+  if (*input_line_pointer != ',')
+    {
+      as_bad (_("Expected comma after symbol-name"));
+      ignore_rest_of_line ();
+      return;
+    }
 
-  obj_elf_section_change_hook();
-  
-  subseg_set (bss_section, (subsegT) temp);
-  
-  demand_empty_rest_of_line ();
-}
+  /* Skip ','.  */
+  input_line_pointer++;
+
+  if ((temp = get_absolute_expression ()) < 0)
+    {
+      /* xgettext:c-format  */
+      as_bad (_(".COMMon length (%d.) < 0! Ignored."), temp);
+      ignore_rest_of_line ();
+      return;
+    }
+
+  size = temp;
+  *p = 0;
+  symbolP = symbol_find_or_make (name);
+  *p = c;
+
+  if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
+    {
+      as_bad (_("Ignoring attempt to re-define symbol"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  if (S_GET_VALUE (symbolP) != 0)
+    {
+      if (S_GET_VALUE (symbolP) != size)
+       /* xgettext:c-format  */
+       as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %d."),
+                S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP), size);
+    }
+
+  know (symbol_get_frag (symbolP) == &zero_address_frag);
+
+  if (*input_line_pointer != ',')
+    have_align = 0;
+  else
+    {
+      have_align = 1;
+      input_line_pointer++;
+      SKIP_WHITESPACE ();
+    }
+
+  if (! have_align || *input_line_pointer != '"')
+    {
+      if (! have_align)
+       temp = 0;
+      else
+       {
+         temp = get_absolute_expression ();
+
+         if (temp < 0)
+           {
+             temp = 0;
+             as_warn (_("Common alignment negative; 0 assumed"));
+           }
+       }
+
+      if (symbol_get_obj (symbolP)->local)
+       {
+         segT old_sec;
+         int old_subsec;
+         char *pfrag;
+         int align;
+         flagword applicable;
+
+         old_sec = now_seg;
+         old_subsec = now_subseg;
+
+         applicable = bfd_applicable_section_flags (stdoutput);
+
+         applicable &= SEC_ALLOC;
+
+         switch (area)
+           {
+           case SCOMMON_SECTION:
+             do_v850_seg (SBSS_SECTION, 0);
+             break;
+
+           case ZCOMMON_SECTION:
+             do_v850_seg (ZBSS_SECTION, 0);
+             break;
+
+           case TCOMMON_SECTION:
+             do_v850_seg (TBSS_SECTION, 0);
+             break;
+           }
+
+         if (temp)
+           {
+             /* Convert to a power of 2 alignment.  */
+             for (align = 0; (temp & 1) == 0; temp >>= 1, ++align)
+               ;
+
+             if (temp != 1)
+               {
+                 as_bad (_("Common alignment not a power of 2"));
+                 ignore_rest_of_line ();
+                 return;
+               }
+           }
+         else
+           align = 0;
+
+         record_alignment (now_seg, align);
+
+         if (align)
+           frag_align (align, 0, 0);
+
+         switch (area)
+           {
+           case SCOMMON_SECTION:
+             if (S_GET_SEGMENT (symbolP) == v850_seg_table[SBSS_SECTION].s)
+               symbol_get_frag (symbolP)->fr_symbol = 0;
+             break;
+
+           case ZCOMMON_SECTION:
+             if (S_GET_SEGMENT (symbolP) == v850_seg_table[ZBSS_SECTION].s)
+               symbol_get_frag (symbolP)->fr_symbol = 0;
+             break;
+
+           case TCOMMON_SECTION:
+             if (S_GET_SEGMENT (symbolP) == v850_seg_table[TBSS_SECTION].s)
+               symbol_get_frag (symbolP)->fr_symbol = 0;
+             break;
+
+           default:
+             abort ();
+           }
+
+         symbol_set_frag (symbolP, frag_now);
+         pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
+                           (offsetT) size, (char *) 0);
+         *pfrag = 0;
+         S_SET_SIZE (symbolP, size);
+
+         switch (area)
+           {
+           case SCOMMON_SECTION:
+             S_SET_SEGMENT (symbolP, v850_seg_table[SBSS_SECTION].s);
+             break;
+
+           case ZCOMMON_SECTION:
+             S_SET_SEGMENT (symbolP, v850_seg_table[ZBSS_SECTION].s);
+             break;
+
+           case TCOMMON_SECTION:
+             S_SET_SEGMENT (symbolP, v850_seg_table[TBSS_SECTION].s);
+             break;
+
+           default:
+             abort ();
+           }
+
+         S_CLEAR_EXTERNAL (symbolP);
+         obj_elf_section_change_hook ();
+         subseg_set (old_sec, old_subsec);
+       }
+      else
+       {
+         segT   old_sec;
+         int    old_subsec;
+
+       allocate_common:
+         old_sec = now_seg;
+         old_subsec = now_subseg;
+
+         S_SET_VALUE (symbolP, (valueT) size);
+         S_SET_ALIGN (symbolP, temp);
+         S_SET_EXTERNAL (symbolP);
+
+         switch (area)
+           {
+           case SCOMMON_SECTION:
+           case ZCOMMON_SECTION:
+           case TCOMMON_SECTION:
+             do_v850_seg (area, 0);
+             S_SET_SEGMENT (symbolP, v850_seg_table[area].s);
+             break;
+
+           default:
+             abort ();
+           }
+
+         obj_elf_section_change_hook ();
+         subseg_set (old_sec, old_subsec);
+       }
+    }
+  else
+    {
+      input_line_pointer++;
+
+      /* @@ Some use the dot, some don't.  Can we get some consistency??  */
+      if (*input_line_pointer == '.')
+       input_line_pointer++;
+
+      /* @@ Some say data, some say bss.  */
+      if (strncmp (input_line_pointer, "bss\"", 4)
+         && strncmp (input_line_pointer, "data\"", 5))
+       {
+         while (*--input_line_pointer != '"')
+           ;
+         input_line_pointer--;
+         goto bad_common_segment;
+       }
+
+      while (*input_line_pointer++ != '"')
+       ;
+
+      goto allocate_common;
+    }
+
+  symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
 
-void
-v850_offset (int ignore)
-{
-  int temp = get_absolute_expression ();
-  
-  temp -= frag_now_fix();
-  
-  if (temp > 0)
-    (void) frag_more (temp);
-  
   demand_empty_rest_of_line ();
+  return;
+
+  {
+  bad_common_segment:
+    p = input_line_pointer;
+    while (*p && *p != '\n')
+      p++;
+    c = *p;
+    *p = '\0';
+    as_bad (_("bad .common segment %s"), input_line_pointer + 1);
+    *p = c;
+    input_line_pointer = p;
+    ignore_rest_of_line ();
+    return;
+  }
 }
 
-void
+static void
 set_machine (int number)
 {
   machine = number;
   bfd_set_arch_mach (stdoutput, TARGET_ARCH, machine);
+
+  switch (machine)
+    {
+    case 0:              processor_mask = PROCESSOR_V850;   break;
+    case bfd_mach_v850e:  processor_mask = PROCESSOR_V850E;  break;
+    case bfd_mach_v850e1: processor_mask = PROCESSOR_V850E;  break;
+    }
+}
+
+static void
+v850_longcode (int type)
+{
+  expressionS ex;
+
+  if (! v850_relax)
+    {
+      if (type == 1)
+       as_warn (_(".longcall pseudo-op seen when not relaxing"));
+      else
+       as_warn (_(".longjump pseudo-op seen when not relaxing"));
+    }
+
+  expression (&ex);
+
+  if (ex.X_op != O_symbol || ex.X_add_number != 0)
+    {
+      as_bad (_("bad .longcall format"));
+      ignore_rest_of_line ();
+
+      return;
+    }
+
+  if (type == 1)
+    fix_new_exp (frag_now, frag_now_fix (), 4, & ex, 1,
+                BFD_RELOC_V850_LONGCALL);
+  else
+    fix_new_exp (frag_now, frag_now_fix (), 4, & ex, 1,
+                BFD_RELOC_V850_LONGJUMP);
+
+  demand_empty_rest_of_line ();
 }
 
 /* The target specific pseudo-ops which we support.  */
 const pseudo_typeS md_pseudo_table[] =
 {
-  {"sdata",   v850_sdata,   0},
-  {"tdata",   v850_tdata,   0},
-  {"zdata",   v850_zdata,   0},
-  {"sbss",    v850_sbss,    0},
-  {"tbss",    v850_tbss,    0},
-  {"zbss",    v850_zbss,    0},
-  {"rosdata", v850_rosdata, 0},
-  {"rozdata", v850_rozdata, 0},
-  {"bss",     v850_bss,     0},
-  {"offset",  v850_offset,  0},
-  {"section", v850_section, 0},
-  {"word",    cons,         4},
-  {"v850",    set_machine,  0},
-/* start-sanitize-v850e */
-  {"v850e",   set_machine,  bfd_mach_v850e},
-/* end-sanitize-v850e */
-/* start-sanitize-v850eq */
-  {"v850eq",  set_machine,  bfd_mach_v850eq},
-/* end-sanitize-v850eq */
-  { NULL,     NULL,         0}
+  { "sdata",           v850_seg,               SDATA_SECTION           },
+  { "tdata",           v850_seg,               TDATA_SECTION           },
+  { "zdata",           v850_seg,               ZDATA_SECTION           },
+  { "sbss",            v850_seg,               SBSS_SECTION            },
+  { "tbss",            v850_seg,               TBSS_SECTION            },
+  { "zbss",            v850_seg,               ZBSS_SECTION            },
+  { "rosdata",         v850_seg,               ROSDATA_SECTION         },
+  { "rozdata",         v850_seg,               ROZDATA_SECTION         },
+  { "bss",             v850_seg,               BSS_SECTION             },
+  { "offset",          v850_offset,            0                       },
+  { "word",            cons,                   4                       },
+  { "zcomm",           v850_comm,              ZCOMMON_SECTION         },
+  { "scomm",           v850_comm,              SCOMMON_SECTION         },
+  { "tcomm",           v850_comm,              TCOMMON_SECTION         },
+  { "v850",            set_machine,            0                       },
+  { "call_table_data", v850_seg,               CALL_TABLE_DATA_SECTION },
+  { "call_table_text", v850_seg,               CALL_TABLE_TEXT_SECTION },
+  { "v850e",           set_machine,            bfd_mach_v850e          },
+  { "v850e1",          set_machine,            bfd_mach_v850e1         },
+  { "longcall",                v850_longcode,          1                       },
+  { "longjump",                v850_longcode,          2                       },
+  { NULL,              NULL,                   0                       }
 };
 
 /* Opcode hash table.  */
 static struct hash_control *v850_hash;
 
-/* This table is sorted. Suitable for searching by a binary search. */
+/* This table is sorted.  Suitable for searching by a binary search.  */
 static const struct reg_name pre_defined_registers[] =
 {
-  { "ep",  30 },               /* ep - element ptr */
-  { "gp",   4 },               /* gp - global ptr */
-  { "hp",   2 },               /* hp - handler stack ptr */
-  { "lp",  31 },               /* lp - link ptr */
+  { "ep",  30 },               /* ep - element ptr */
+  { "gp",   4 },               /* gp - global ptr */
+  { "hp",   2 },               /* hp - handler stack ptr */
+  { "lp",  31 },               /* lp - link ptr */
   { "r0",   0 },
   { "r1",   1 },
   { "r10", 10 },
@@ -280,22 +571,28 @@ static const struct reg_name pre_defined_registers[] =
   { "r7",   7 },
   { "r8",   8 },
   { "r9",   9 },
-  { "sp",   3 },               /* sp - stack ptr */
-  { "tp",   5 },               /* tp - text ptr */
+  { "sp",   3 },               /* sp - stack ptr */
+  { "tp",   5 },               /* tp - text ptr */
   { "zero", 0 },
 };
-#define REG_NAME_CNT   (sizeof (pre_defined_registers) / sizeof (struct reg_name))
 
+#define REG_NAME_CNT                                           \
+  (sizeof (pre_defined_registers) / sizeof (struct reg_name))
 
-static const struct reg_name system_registers[] = 
+static const struct reg_name system_registers[] =
 {
-/* start-sanitize-v850e */
+  { "asid",  23 },
+  { "bpc",   22 },
+  { "bpav",  24 },
+  { "bpam",  25 },
+  { "bpdv",  26 },
+  { "bpdm",  27 },
   { "ctbp",  20 },
   { "ctpc",  16 },
   { "ctpsw", 17 },
   { "dbpc",  18 },
   { "dbpsw", 19 },
-/* end-sanitize-v850e */
+  { "dir",   21 },
   { "ecr",    4 },
   { "eipc",   0 },
   { "eipsw",  1 },
@@ -303,7 +600,18 @@ static const struct reg_name system_registers[] =
   { "fepsw",  3 },
   { "psw",    5 },
 };
-#define SYSREG_NAME_CNT        (sizeof (system_registers) / sizeof (struct reg_name))
+
+#define SYSREG_NAME_CNT                                                \
+  (sizeof (system_registers) / sizeof (struct reg_name))
+
+static const struct reg_name system_list_registers[] =
+{
+  {"PS",      5 },
+  {"SR",      0 + 1}
+};
+
+#define SYSREGLIST_NAME_CNT                                    \
+  (sizeof (system_list_registers) / sizeof (struct reg_name))
 
 static const struct reg_name cc_names[] =
 {
@@ -330,20 +638,42 @@ static const struct reg_name cc_names[] =
   { "v",  0x0 },
   { "z",  0x2 },
 };
-#define CC_NAME_CNT    (sizeof (cc_names) / sizeof (struct reg_name))
 
-/* reg_name_search does a binary search of the given register table
-   to see if "name" is a valid regiter name.  Returns the register
-   number from the array on success, or -1 on failure. */
+#define CC_NAME_CNT                                    \
+  (sizeof (cc_names) / sizeof (struct reg_name))
+
+/* Do a binary search of the given register table to see if NAME is a
+   valid regiter name.  Return the register number from the array on
+   success, or -1 on failure.  */
 
 static int
-reg_name_search (regs, regcount, name)
-     const struct reg_name * regs;
-     int                     regcount;
-     const char *            name;
+reg_name_search (const struct reg_name *regs,
+                int regcount,
+                const char *name,
+                bfd_boolean accept_numbers)
 {
   int middle, low, high;
   int cmp;
+  symbolS *symbolP;
+
+  /* If the register name is a symbol, then evaluate it.  */
+  if ((symbolP = symbol_find (name)) != NULL)
+    {
+      /* If the symbol is an alias for another name then use that.
+        If the symbol is an alias for a number, then return the number.  */
+      if (symbol_equated_p (symbolP))
+       name
+         = S_GET_NAME (symbol_get_value_expression (symbolP)->X_add_symbol);
+      else if (accept_numbers)
+       {
+         int reg = S_GET_VALUE (symbolP);
+
+         if (reg >= 0 && reg <= 31)
+           return reg;
+       }
+
+      /* Otherwise drop through and try parsing name normally.  */
+    }
 
   low = 0;
   high = regcount - 1;
@@ -363,799 +693,976 @@ reg_name_search (regs, regcount, name)
   return -1;
 }
 
-
 /* Summary of register_name().
- *
- * in: Input_line_pointer points to 1st char of operand.
- *
- * out: A expressionS.
- *     The operand may have been a register: in this case, X_op == O_register,
- *     X_add_number is set to the register number, and truth is returned.
- *     Input_line_pointer->(next non-blank) char after operand, or is in
- *     its original state.
- */
-static boolean
-register_name (expressionP)
-     expressionS * expressionP;
+
+   in: Input_line_pointer points to 1st char of operand.
+
+   out: An expressionS.
+       The operand may have been a register: in this case, X_op == O_register,
+       X_add_number is set to the register number, and truth is returned.
+       Input_line_pointer->(next non-blank) char after operand, or is in
+       its original state.  */
+
+static bfd_boolean
+register_name (expressionS *expressionP)
 {
-  int    reg_number;
-  char * name;
-  char * start;
-  char   c;
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
 
-  /* Find the spelling of the operand */
+  /* Find the spelling of the operand */
   start = name = input_line_pointer;
 
   c = get_symbol_end ();
 
-  reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
+  reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT,
+                               name, FALSE);
 
-  * input_line_pointer = c;    /* put back the delimiting char */
-  
-  /* look to see if it's in the register table */
-  if (reg_number >= 0) 
+  /* Put back the delimiting char.  */
+  *input_line_pointer = c;
+
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
     {
-      expressionP->X_op         = O_register;
+      expressionP->X_op                = O_register;
       expressionP->X_add_number = reg_number;
 
-      /* make the rest nice */
+      /* Make the rest nice.  */
       expressionP->X_add_symbol = NULL;
       expressionP->X_op_symbol  = NULL;
-      
-      return true;
+
+      return TRUE;
     }
   else
     {
-      /* reset the line as if we had not done anything */
+      /* Reset the line as if we had not done anything.  */
       input_line_pointer = start;
-      
-      return false;
+
+      return FALSE;
     }
 }
 
 /* Summary of system_register_name().
- *
- * in: Input_line_pointer points to 1st char of operand.
- *
- * out: A expressionS.
- *     The operand may have been a register: in this case, X_op == O_register,
- *     X_add_number is set to the register number, and truth is returned.
- *     Input_line_pointer->(next non-blank) char after operand, or is in
- *     its original state.
- */
-static boolean
-system_register_name (expressionP, accept_numbers)
-     expressionS * expressionP;
-     boolean       accept_numbers;
+
+   in:  INPUT_LINE_POINTER points to 1st char of operand.
+       EXPRESSIONP points to an expression structure to be filled in.
+       ACCEPT_NUMBERS is true iff numerical register names may be used.
+       ACCEPT_LIST_NAMES is true iff the special names PS and SR may be
+       accepted.
+
+   out: An expressionS structure in expressionP.
+       The operand may have been a register: in this case, X_op == O_register,
+       X_add_number is set to the register number, and truth is returned.
+       Input_line_pointer->(next non-blank) char after operand, or is in
+       its original state.  */
+
+static bfd_boolean
+system_register_name (expressionS *expressionP,
+                     bfd_boolean accept_numbers,
+                     bfd_boolean accept_list_names)
 {
-  int    reg_number;
-  char * name;
-  char * start;
-  char   c;
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
 
-  /* Find the spelling of the operand */
+  /* Find the spelling of the operand */
   start = name = input_line_pointer;
 
   c = get_symbol_end ();
-  reg_number = reg_name_search (system_registers, SYSREG_NAME_CNT, name);
+  reg_number = reg_name_search (system_registers, SYSREG_NAME_CNT, name,
+                               accept_numbers);
+
+  /* Put back the delimiting char.  */
+  *input_line_pointer = c;
 
-  * input_line_pointer = c;   /* put back the delimiting char */
-  
   if (reg_number < 0
       && accept_numbers)
     {
-      input_line_pointer   = start; /* reset input_line pointer */
-
-      if (isdigit (* input_line_pointer))
-       reg_number = strtol (input_line_pointer, & input_line_pointer, 10);
-
-      /* Make sure that the register number is allowable. */
-      if (   reg_number < 0
-         || reg_number > 5
-/* start-sanitize-v850e */
-         && reg_number < 16
-         || reg_number > 20
-/* end-sanitize-v850e */
-            )
+      /* Reset input_line pointer.  */
+      input_line_pointer = start;
+
+      if (ISDIGIT (*input_line_pointer))
+       {
+         reg_number = strtol (input_line_pointer, &input_line_pointer, 10);
+
+         /* Make sure that the register number is allowable.  */
+         if (reg_number < 0
+             || (reg_number > 5 && reg_number < 16)
+             || reg_number > 27)
+           reg_number = -1;
+       }
+      else if (accept_list_names)
        {
-         reg_number = -1;
+         c = get_symbol_end ();
+         reg_number = reg_name_search (system_list_registers,
+                                       SYSREGLIST_NAME_CNT, name, FALSE);
+
+         /* Put back the delimiting char.  */
+         *input_line_pointer = c;
        }
     }
-      
-  /* look to see if it's in the register table */
-  if (reg_number >= 0) 
+
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
     {
-      expressionP->X_op         = O_register;
+      expressionP->X_op                = O_register;
       expressionP->X_add_number = reg_number;
 
-      /* make the rest nice */
+      /* Make the rest nice.  */
       expressionP->X_add_symbol = NULL;
       expressionP->X_op_symbol  = NULL;
 
-      return true;
+      return TRUE;
     }
   else
     {
-      /* reset the line as if we had not done anything */
+      /* Reset the line as if we had not done anything.  */
       input_line_pointer = start;
-      
-      return false;
+
+      return FALSE;
     }
 }
 
 /* Summary of cc_name().
- *
- * in: Input_line_pointer points to 1st char of operand.
- *
- * out: A expressionS.
- *     The operand may have been a register: in this case, X_op == O_register,
- *     X_add_number is set to the register number, and truth is returned.
- *     Input_line_pointer->(next non-blank) char after operand, or is in
- *     its original state.
- */
-static boolean
-cc_name (expressionP)
-     expressionS *expressionP;
+
+   in: INPUT_LINE_POINTER points to 1st char of operand.
+
+   out: An expressionS.
+       The operand may have been a register: in this case, X_op == O_register,
+       X_add_number is set to the register number, and truth is returned.
+       Input_line_pointer->(next non-blank) char after operand, or is in
+       its original state.  */
+
+static bfd_boolean
+cc_name (expressionS *expressionP)
 {
-  int    reg_number;
-  char * name;
-  char * start;
-  char   c;
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
 
-  /* Find the spelling of the operand */
+  /* Find the spelling of the operand */
   start = name = input_line_pointer;
 
   c = get_symbol_end ();
-  reg_number = reg_name_search (cc_names, CC_NAME_CNT, name);
+  reg_number = reg_name_search (cc_names, CC_NAME_CNT, name, FALSE);
+
+  /* Put back the delimiting char.  */
+  *input_line_pointer = c;
 
-  * input_line_pointer = c;   /* put back the delimiting char */
-  
-  /* look to see if it's in the register table */
-  if (reg_number >= 0) 
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
     {
-      expressionP->X_op         = O_constant;
+      expressionP->X_op                = O_constant;
       expressionP->X_add_number = reg_number;
 
-      /* make the rest nice */
+      /* Make the rest nice.  */
       expressionP->X_add_symbol = NULL;
       expressionP->X_op_symbol  = NULL;
 
-      return true;
+      return TRUE;
     }
   else
     {
-      /* reset the line as if we had not done anything */
+      /* Reset the line as if we had not done anything.  */
       input_line_pointer = start;
-      
-      return false;
+
+      return FALSE;
     }
 }
 
 static void
 skip_white_space (void)
 {
-  while (   * input_line_pointer == ' '
-        || * input_line_pointer == '\t')
-    ++ input_line_pointer;
+  while (*input_line_pointer == ' '
+        || *input_line_pointer == '\t')
+    ++input_line_pointer;
 }
 
-/* start-sanitize-v850e */
 /* Summary of parse_register_list ().
- *
* in: Input_line_pointer  points to 1st char of a list of registers.
*     insn                is the partially constructed instruction.
*     operand             is the operand being inserted.
- *
- * out: True if the parse completed successfully, False otherwise.
*      If the parse completes the correct bit fields in the
- *      instruction will be filled in.
- *
- * Parses register lists with the syntax:
- *
- *   { rX }
*   { rX, rY }
*   { rX - rY }
*   { rX - rY, rZ }
- *   etc
- *
- * and also parses constant epxressions whoes bits indicate the
- * registers in the lists.  The LSB in the expression refers to
- * the lowest numbered permissable register in the register list,
- * and so on upwards.  System registers are considered to be very
- * high numbers.
- * 
- */
+
  in: INPUT_LINE_POINTER  points to 1st char of a list of registers.
      INSN               is the partially constructed instruction.
      OPERAND            is the operand being inserted.
+
+   out: NULL if the parse completed successfully, otherwise a
      pointer to an error message is returned.  If the parse
+       completes the correct bit fields in the instruction
+       will be filled in.
+
+   Parses register lists with the syntax:
+
    { rX }
    { rX, rY }
    { rX - rY }
+     { rX - rY, rZ }
+     etc
+
+   and also parses constant expressions whoes bits indicate the
+   registers in the lists.  The LSB in the expression refers to
+   the lowest numbered permissible register in the register list,
+   and so on upwards.  System registers are considered to be very
+   high numbers.  */
+
 static char *
-parse_register_list
-(
-  unsigned long *             insn,
-  const struct v850_operand * operand
-)
+parse_register_list (unsigned long *insn,
+                    const struct v850_operand *operand)
 {
-  static int  type1_regs[ 32 ] = { 30,  0,  0,  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,  0, 31, 29, 28, 23, 22, 21, 20, 27, 26, 25, 24 };
-/* start-sanitize-v850eq */
-  static int  type2_regs[ 32 ] = { 19, 18, 17, 16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 30, 31, 29, 28, 23, 22, 21, 20, 27, 26, 25, 24 };
-  static int  type3_regs[ 32 ] = {  3,  2,  1,  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 14, 15, 13, 12,  7,  6,  5,  4, 11, 10,  9,  8 };
-/* end-sanitize-v850eq */
-  int *       regs;
+  static int type1_regs[32] =
+  {
+    30,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+     0,  0,  0,  0,  0, 31, 29, 28, 23, 22, 21, 20, 27, 26, 25, 24
+  };
+  static int type2_regs[32] =
+  {
+    19, 18, 17, 16,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+     0,  0,  0,  0, 30, 31, 29, 28, 23, 22, 21, 20, 27, 26, 25, 24
+  };
+  static int type3_regs[32] =
+  {
+     3,  2,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,
+     0,  0,  0,  0, 14, 15, 13, 12,  7,  6,  5,  4, 11, 10,  9,  8
+  };
+  int *regs;
   expressionS exp;
 
-
-  /* Select a register array to parse. */
+  /* Select a register array to parse.  */
   switch (operand->shift)
     {
     case 0xffe00001: regs = type1_regs; break;
-/* start-sanitize-v850eq */
     case 0xfff8000f: regs = type2_regs; break;
     case 0xfff8001f: regs = type3_regs; break;
-/* end-sanitize-v850eq */
     default:
-      as_bad ("unknown operand shift: %x\n", operand->shift );             
-      return "internal failure in parse_register_list";
+      as_bad (_("unknown operand shift: %x\n"), operand->shift);
+      return _("internal failure in parse_register_list");
     }
 
-  skip_white_space();
+  skip_white_space ();
 
   /* If the expression starts with a curly brace it is a register list.
-     Otherwise it is a constant expression ,whoes bits indicate which
+     Otherwise it is a constant expressionwhoes bits indicate which
      registers are to be included in the list.  */
-  
-  if (* input_line_pointer != '{')
+  if (*input_line_pointer != '{')
     {
-      int bits;
       int reg;
       int i;
-               
-      expression (& exp);
-      
+
+      expression (&exp);
+
       if (exp.X_op != O_constant)
-       return "constant expression or register list expected";
+       return _("constant expression or register list expected");
 
-/* start-sanitize-v850eq */
       if (regs == type1_regs)
-/* end-sanitize-v850eq */
        {
          if (exp.X_add_number & 0xFFFFF000)
-           return "high bits set in register list expression";
-         
-         for (reg = 20; reg < 32; reg ++)
+           return _("high bits set in register list expression");
+
+         for (reg = 20; reg < 32; reg++)
            if (exp.X_add_number & (1 << (reg - 20)))
              {
                for (i = 0; i < 32; i++)
                  if (regs[i] == reg)
-                   * insn |= (1 << i);
+                   *insn |= (1 << i);
              }
        }
-/* start-sanitize-v850eq */
       else if (regs == type2_regs)
        {
          if (exp.X_add_number & 0xFFFE0000)
-           return "high bits set in register list expression";
-         
-         for (reg = 1; reg < 16; reg ++)
+           return _("high bits set in register list expression");
+
+         for (reg = 1; reg < 16; reg++)
            if (exp.X_add_number & (1 << (reg - 1)))
              {
                for (i = 0; i < 32; i++)
                  if (regs[i] == reg)
-                   * insn |= (1 << i);
+                   *insn |= (1 << i);
              }
 
          if (exp.X_add_number & (1 << 15))
-           * insn |= (1 << 3);
-         
+           *insn |= (1 << 3);
+
          if (exp.X_add_number & (1 << 16))
-           * insn |= (1 << 19);
+           *insn |= (1 << 19);
        }
-      else /* regs == type3_regs */
+      else /* regs == type3_regs  */
        {
          if (exp.X_add_number & 0xFFFE0000)
-           return "high bits set in register list expression";
-         
-         for (reg = 16; reg < 32; reg ++)
+           return _("high bits set in register list expression");
+
+         for (reg = 16; reg < 32; reg++)
            if (exp.X_add_number & (1 << (reg - 16)))
              {
                for (i = 0; i < 32; i++)
                  if (regs[i] == reg)
-                   * insn |= (1 << i);
+                   *insn |= (1 << i);
              }
 
          if (exp.X_add_number & (1 << 16))
-           * insn |= (1 << 19);
+           *insn |= (1 << 19);
        }
-/* end-sanitize-v850eq */
 
       return NULL;
     }
 
-  input_line_pointer ++;
+  input_line_pointer++;
 
-  /* Parse the register list until a terminator (closing curly brace or new-line) is found.  */
+  /* Parse the register list until a terminator (closing curly brace or
+     new-line) is found.  */
   for (;;)
     {
-      if (register_name (& exp))
+      if (register_name (&exp))
        {
-         int  i;
-         
-         /* Locate the given register in the list, and if it is there, insert the corresponding bit into the instruction.  */
+         int i;
+
+         /* Locate the given register in the list, and if it is there,
+            insert the corresponding bit into the instruction.  */
          for (i = 0; i < 32; i++)
            {
-             if (regs[ i ] == exp.X_add_number)
+             if (regs[i] == exp.X_add_number)
                {
-                 * insn |= (1 << i);
+                 *insn |= (1 << i);
                  break;
                }
            }
 
          if (i == 32)
-           {
-             return "illegal register included in list";
-           }
+           return _("illegal register included in list");
        }
-      else if (system_register_name (& exp, true))
+      else if (system_register_name (&exp, TRUE, TRUE))
        {
          if (regs == type1_regs)
            {
-             return "system registers cannot be included in list";
+             return _("system registers cannot be included in list");
            }
          else if (exp.X_add_number == 5)
            {
              if (regs == type2_regs)
-               return "PSW cannot be included in list";
+               return _("PSW cannot be included in list");
              else
-               * insn |= 0x8;
+               *insn |= 0x8;
            }
+         else if (exp.X_add_number < 4)
+           *insn |= 0x80000;
          else
-           * insn |= 0x80000;
+           return _("High value system registers cannot be included in list");
        }
-      else if (* input_line_pointer == '}')
+      else if (*input_line_pointer == '}')
        {
-         input_line_pointer ++;
+         input_line_pointer++;
          break;
        }
-      else if (* input_line_pointer == ',')
+      else if (*input_line_pointer == ',')
        {
-         input_line_pointer ++;
+         input_line_pointer++;
          continue;
        }
-      else if (* input_line_pointer == '-')
+      else if (*input_line_pointer == '-')
        {
-         /* We have encountered a range of registers: rX - rY */
-         int         j;
+         /* We have encountered a range of registers: rX - rY */
+         int j;
          expressionS exp2;
 
          /* Skip the dash.  */
-         ++ input_line_pointer;
+         ++input_line_pointer;
 
          /* Get the second register in the range.  */
-         if (! register_name (& exp2))
+         if (! register_name (&exp2))
            {
-             return "second register should follow dash in register list";
+             return _("second register should follow dash in register list");
              exp2.X_add_number = exp.X_add_number;
            }
 
          /* Add the rest of the registers in the range.  */
          for (j = exp.X_add_number + 1; j <= exp2.X_add_number; j++)
            {
-             int  i;
-         
-             /* Locate the given register in the list, and if it is there, insert the corresponding bit into the instruction.  */
+             int i;
+
+             /* Locate the given register in the list, and if it is there,
+                insert the corresponding bit into the instruction.  */
              for (i = 0; i < 32; i++)
                {
-                 if (regs[ i ] == j)
+                 if (regs[i] == j)
                    {
-                     * insn |= (1 << i);
+                     *insn |= (1 << i);
                      break;
                    }
                }
 
              if (i == 32)
-               {
-                 return "illegal register included in list";
-               }
+               return _("illegal register included in list");
            }
        }
       else
-       {
-         break;
-       }
+       break;
 
-      skip_white_space();
+      skip_white_space ();
     }
 
   return NULL;
 }
-/* end-sanitize-v850e */
 
-CONST char * md_shortopts = "m:";
+const char *md_shortopts = "m:";
 
 struct option md_longopts[] =
 {
   {NULL, no_argument, NULL, 0}
 };
-size_t md_longopts_size = sizeof md_longopts; 
 
+size_t md_longopts_size = sizeof (md_longopts);
 
 void
-md_show_usage (stream)
-  FILE *stream;
+md_show_usage (FILE *stream)
 {
-  fprintf (stream, "V850 options:\n");
-  fprintf (stream, "\t-wsigned_overflow    Warn if signed immediate values overflow\n");
-  fprintf (stream, "\t-wunsigned_overflow  Warn if unsigned immediate values overflow\n");
-  fprintf (stream, "\t-mv850               The code is targeted at the v850\n");
-/* start-sanitize-v850e */
-  fprintf (stream, "\t-mv850e              The code is targeted at the v850e\n");
-/* end-sanitize-v850e */
-/* start-sanitize-v850eq */
-  fprintf (stream, "\t-mv850eq             The code is targeted at the v850eq\n");
-/* end-sanitize-v850eq */
-} 
+  fprintf (stream, _(" V850 options:\n"));
+  fprintf (stream, _("  -mwarn-signed-overflow    Warn if signed immediate values overflow\n"));
+  fprintf (stream, _("  -mwarn-unsigned-overflow  Warn if unsigned immediate values overflow\n"));
+  fprintf (stream, _("  -mv850                    The code is targeted at the v850\n"));
+  fprintf (stream, _("  -mv850e                   The code is targeted at the v850e\n"));
+  fprintf (stream, _("  -mv850e1                  The code is targeted at the v850e1\n"));
+  fprintf (stream, _("  -mv850any                 The code is generic, despite any processor specific instructions\n"));
+  fprintf (stream, _("  -mrelax                   Enable relaxation\n"));
+}
 
 int
-md_parse_option (c, arg)
-     int    c;
-     char * arg;
+md_parse_option (int c, char *arg)
 {
-  switch (c)
+  if (c != 'm')
+    return 0;
+
+  if (strcmp (arg, "warn-signed-overflow") == 0)
+    warn_signed_overflows = TRUE;
+
+  else if (strcmp (arg, "warn-unsigned-overflow") == 0)
+    warn_unsigned_overflows = TRUE;
+
+  else if (strcmp (arg, "v850") == 0)
     {
-    case 'w':
-      if (strcmp (arg, "signed_overflow") == 0)
-       {
-         warn_signed_overflows = TRUE;
-         return 1;
-       }
-      else if (strcmp (arg, "unsigned_overflow") == 0)
-       {
-         warn_unsigned_overflows = TRUE;
-         return 1;
-       }
-      break;
+      machine = 0;
+      processor_mask = PROCESSOR_V850;
+    }
+  else if (strcmp (arg, "v850e") == 0)
+    {
+      machine = bfd_mach_v850e;
+      processor_mask = PROCESSOR_V850E;
+    }
+  else if (strcmp (arg, "v850e1") == 0)
+    {
+      machine = bfd_mach_v850e1;
+      processor_mask = PROCESSOR_V850E1;
+    }
+  else if (strcmp (arg, "v850any") == 0)
+    {
+      /* Tell the world that this is for any v850 chip.  */
+      machine = 0;
 
-    case 'm':
-      if (strcmp (arg, "v850") == 0)
-       {
-         machine = 0;
-         return 1;
-       }
-/* start-sanitize-v850e */
-      else if (strcmp (arg, "v850e") == 0)
-       {
-         machine = bfd_mach_v850e;
-         return 1;
-       }
-/* end-sanitize-v850e */
-/* start-sanitize-v850eq */
-      else if (strcmp (arg, "v850eq") == 0)
-       {
-         machine = bfd_mach_v850eq;
-         return 1;
-       }
-/* end-sanitize-v850eq */
-      break;
+      /* But support instructions for the extended versions.  */
+      processor_mask = PROCESSOR_V850E;
+      processor_mask |= PROCESSOR_V850E1;
     }
-  
-  return 0;
+  else if (strcmp (arg, "relax") == 0)
+    v850_relax = 1;
+  else
+    return 0;
+
+  return 1;
 }
 
 symbolS *
-md_undefined_symbol (name)
-  char * name;
+md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
 {
   return 0;
 }
 
 char *
-md_atof (type, litp, sizep)
-  int    type;
-  char * litp;
-  int *  sizep;
+md_atof (int type, char *litp, int *sizep)
 {
-  int            prec;
-  LITTLENUM_TYPE words[4];
-  char *         t;
-  int            i;
-
-  switch (type)
-    {
-    case 'f':
-      prec = 2;
-      break;
-
-    case 'd':
-      prec = 4;
-      break;
-
-    default:
-      *sizep = 0;
-      return "bad call to md_atof";
-    }
-  
-  t = atof_ieee (input_line_pointer, type, words);
-  if (t)
-    input_line_pointer = t;
-
-  *sizep = prec * 2;
-
-  for (i = prec - 1; i >= 0; i--)
-    {
-      md_number_to_chars (litp, (valueT) words[i], 2);
-      litp += 2;
-    }
-
-  return NULL;
+  return ieee_md_atof (type, litp, sizep, FALSE);
 }
 
-
 /* Very gross.  */
+
 void
-md_convert_frag (abfd, sec, fragP)
-  bfd *      abfd;
-  asection * sec;
-  fragS *    fragP;
+md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
+                asection *sec,
+                fragS *fragP)
 {
+  /* This code performs some nasty type punning between the
+     fr_opcode field of the frag structure (a char *) and the
+     fx_r_type field of the fix structure (a bfd_reloc_code_real_type)
+     On a 64bit host this causes problems because these two fields
+     are not the same size, but since we know that we are only
+     ever storing small integers in the fields, it is safe to use
+     a union to convert between them.  */
+  union u
+  {
+    bfd_reloc_code_real_type fx_r_type;
+    char * fr_opcode;
+  }
+  opcode_converter;
   subseg_change (sec, 0);
-  if (fragP->fr_subtype == 0)
+
+  opcode_converter.fr_opcode = fragP->fr_opcode;
+      
+  /* In range conditional or unconditional branch.  */
+  if (fragP->fr_subtype == 0 || fragP->fr_subtype == 2)
     {
       fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
-              fragP->fr_offset, 1, BFD_RELOC_UNUSED + (int)fragP->fr_opcode);
-      fragP->fr_var = 0;
+              fragP->fr_offset, 1,
+              BFD_RELOC_UNUSED + opcode_converter.fx_r_type);
       fragP->fr_fix += 2;
     }
+  /* Out of range conditional branch.  Emit a branch around a jump.  */
   else if (fragP->fr_subtype == 1)
     {
+      unsigned char *buffer =
+       (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
+
       /* Reverse the condition of the first branch.  */
-      fragP->fr_literal[0] &= 0xf7;
+      buffer[0] ^= 0x08;
       /* Mask off all the displacement bits.  */
-      fragP->fr_literal[0] &= 0x8f;
-      fragP->fr_literal[1] &= 0x07;
+      buffer[0] &= 0x8f;
+      buffer[1] &= 0x07;
       /* Now set the displacement bits so that we branch
         around the unconditional branch.  */
-      fragP->fr_literal[0] |= 0x30;
+      buffer[0] |= 0x30;
 
       /* Now create the unconditional branch + fixup to the final
         target.  */
-      md_number_to_chars (&fragP->fr_literal[2], 0x00000780, 4);
+      md_number_to_chars ((char *) buffer + 2, 0x00000780, 4);
       fix_new (fragP, fragP->fr_fix + 2, 4, fragP->fr_symbol,
-              fragP->fr_offset, 1, BFD_RELOC_UNUSED + (int)fragP->fr_opcode + 1);
-      fragP->fr_var = 0;
+              fragP->fr_offset, 1,
+              BFD_RELOC_UNUSED + opcode_converter.fx_r_type + 1);
       fragP->fr_fix += 6;
     }
+  /* Out of range unconditional branch.  Emit a jump.  */
+  else if (fragP->fr_subtype == 3)
+    {
+      md_number_to_chars (fragP->fr_fix + fragP->fr_literal, 0x00000780, 4);
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
+              fragP->fr_offset, 1,
+              BFD_RELOC_UNUSED + opcode_converter.fx_r_type + 1);
+      fragP->fr_fix += 4;
+    }
   else
     abort ();
 }
 
 valueT
-md_section_align (seg, addr)
-     asection * seg;
-     valueT     addr;
+md_section_align (asection *seg, valueT addr)
 {
   int align = bfd_get_section_alignment (stdoutput, seg);
   return ((addr + (1 << align) - 1) & (-1 << align));
 }
 
 void
-md_begin ()
+md_begin (void)
 {
-  char *                              prev_name = "";
-  register const struct v850_opcode * op;
-  flagword                            applicable;
+  char *prev_name = "";
+  const struct v850_opcode *op;
 
-  
-  v850_hash = hash_new();
+  if (strncmp (TARGET_CPU, "v850e1", 6) == 0)
+    {
+      if (machine == -1)
+       machine = bfd_mach_v850e1;
+
+      if (processor_mask == -1)
+       processor_mask = PROCESSOR_V850E1;
+    }
+  else if (strncmp (TARGET_CPU, "v850e", 5) == 0)
+    {
+      if (machine == -1)
+       machine = bfd_mach_v850e;
+
+      if (processor_mask == -1)
+       processor_mask = PROCESSOR_V850E;
+    }
+  else if (strncmp (TARGET_CPU, "v850", 4) == 0)
+    {
+      if (machine == -1)
+       machine = 0;
+
+      if (processor_mask == -1)
+       processor_mask = PROCESSOR_V850;
+    }
+  else
+    /* xgettext:c-format  */
+    as_bad (_("Unable to determine default target processor from string: %s"),
+           TARGET_CPU);
+
+  v850_hash = hash_new ();
 
   /* Insert unique names into hash table.  The V850 instruction set
      has many identical opcode names that have different opcodes based
      on the operands.  This hash table then provides a quick index to
      the first opcode with a particular name in the opcode table.  */
-
   op = v850_opcodes;
   while (op->name)
     {
-      if (strcmp (prev_name, op->name)) 
+      if (strcmp (prev_name, op->name))
+       {
+         prev_name = (char *) op->name;
+         hash_insert (v850_hash, op->name, (char *) op);
+       }
+      op++;
+    }
+
+  v850_seg_table[BSS_SECTION].s = bss_section;
+  bfd_set_arch_mach (stdoutput, TARGET_ARCH, machine);
+}
+
+static bfd_reloc_code_real_type
+handle_lo16 (const struct v850_operand *operand)
+{
+  if (operand != NULL)
+    {
+      if (operand->bits == -1)
+       return BFD_RELOC_V850_LO16_SPLIT_OFFSET;
+
+      if (!(operand->bits == 16 && operand->shift == 16)
+         && !(operand->bits == 15 && operand->shift == 17))
+       {
+         as_bad (_("lo() relocation used on an instruction which does "
+                   "not support it"));
+         return BFD_RELOC_64;  /* Used to indicate an error condition.  */
+       }
+    }
+  return BFD_RELOC_LO16;
+}
+
+static bfd_reloc_code_real_type
+handle_ctoff (const struct v850_operand *operand)
+{
+  if (operand == NULL)
+    return BFD_RELOC_V850_CALLT_16_16_OFFSET;
+
+  if (operand->bits != 6
+      || operand->shift != 0)
+    {
+      as_bad (_("ctoff() relocation used on an instruction which does not support it"));
+      return BFD_RELOC_64;  /* Used to indicate an error condition.  */
+    }
+
+  return BFD_RELOC_V850_CALLT_6_7_OFFSET;
+}
+
+static bfd_reloc_code_real_type
+handle_sdaoff (const struct v850_operand *operand)
+{
+  if (operand == NULL)
+    return BFD_RELOC_V850_SDA_16_16_OFFSET;
+
+  if (operand->bits == 15 && operand->shift == 17)
+    return BFD_RELOC_V850_SDA_15_16_OFFSET;
+
+  if (operand->bits == -1)
+    return BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET;
+
+  if (operand->bits != 16
+      || operand->shift != 16)
+    {
+      as_bad (_("sdaoff() relocation used on an instruction which does not support it"));
+      return BFD_RELOC_64;  /* Used to indicate an error condition.  */
+    }
+
+  return BFD_RELOC_V850_SDA_16_16_OFFSET;
+}
+
+static bfd_reloc_code_real_type
+handle_zdaoff (const struct v850_operand *operand)
+{
+  if (operand == NULL)
+    return BFD_RELOC_V850_ZDA_16_16_OFFSET;
+
+  if (operand->bits == 15 && operand->shift == 17)
+    return BFD_RELOC_V850_ZDA_15_16_OFFSET;
+
+  if (operand->bits == -1)
+    return BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET;
+
+  if (operand->bits != 16
+      || operand->shift != 16)
+    {
+      as_bad (_("zdaoff() relocation used on an instruction which does not support it"));
+      /* Used to indicate an error condition.  */
+      return BFD_RELOC_64;
+    }
+
+  return BFD_RELOC_V850_ZDA_16_16_OFFSET;
+}
+
+static bfd_reloc_code_real_type
+handle_tdaoff (const struct v850_operand *operand)
+{
+  if (operand == NULL)
+    /* Data item, not an instruction.  */
+    return BFD_RELOC_V850_TDA_7_7_OFFSET;
+
+  if (operand->bits == 6 && operand->shift == 1)
+    /* sld.w/sst.w, operand: D8_6.  */
+    return BFD_RELOC_V850_TDA_6_8_OFFSET;
+
+  if (operand->bits == 4 && operand->insert != NULL)
+    /* sld.hu, operand: D5-4.  */
+    return BFD_RELOC_V850_TDA_4_5_OFFSET;
+
+  if (operand->bits == 4 && operand->insert == NULL)
+    /* sld.bu, operand: D4.   */
+    return BFD_RELOC_V850_TDA_4_4_OFFSET;
+
+  if (operand->bits == 16 && operand->shift == 16)
+    /* set1 & chums, operands: D16.  */
+    return BFD_RELOC_V850_TDA_16_16_OFFSET;
+
+  if (operand->bits != 7)
+    {
+      as_bad (_("tdaoff() relocation used on an instruction which does not support it"));
+      /* Used to indicate an error condition.  */
+      return BFD_RELOC_64;
+    }
+
+  return  operand->insert != NULL
+    ? BFD_RELOC_V850_TDA_7_8_OFFSET     /* sld.h/sst.h, operand: D8_7.  */
+    : BFD_RELOC_V850_TDA_7_7_OFFSET;    /* sld.b/sst.b, operand: D7.    */
+}
+
+/* Warning: The code in this function relies upon the definitions
+   in the v850_operands[] array (defined in opcodes/v850-opc.c)
+   matching the hard coded values contained herein.  */
+
+static bfd_reloc_code_real_type
+v850_reloc_prefix (const struct v850_operand *operand)
+{
+  bfd_boolean paren_skipped = FALSE;
+
+  /* Skip leading opening parenthesis.  */
+  if (*input_line_pointer == '(')
+    {
+      ++input_line_pointer;
+      paren_skipped = TRUE;
+    }
+
+#define CHECK_(name, reloc)                                            \
+  if (strncmp (input_line_pointer, name "(", strlen (name) + 1) == 0)  \
+    {                                                                  \
+      input_line_pointer += strlen (name);                             \
+      return reloc;                                                    \
+    }
+
+  CHECK_ ("hi0",    BFD_RELOC_HI16        );
+  CHECK_ ("hi",            BFD_RELOC_HI16_S       );
+  CHECK_ ("lo",            handle_lo16 (operand)  );
+  CHECK_ ("sdaoff", handle_sdaoff (operand));
+  CHECK_ ("zdaoff", handle_zdaoff (operand));
+  CHECK_ ("tdaoff", handle_tdaoff (operand));
+  CHECK_ ("hilo",   BFD_RELOC_32          );
+  CHECK_ ("ctoff",  handle_ctoff (operand) );
+
+  /* Restore skipped parenthesis.  */
+  if (paren_skipped)
+    --input_line_pointer;
+
+  return BFD_RELOC_UNUSED;
+}
+
+/* Insert an operand value into an instruction.  */
+
+static unsigned long
+v850_insert_operand (unsigned long insn,
+                    const struct v850_operand *operand,
+                    offsetT val,
+                    char *file,
+                    unsigned int line,
+                    char *str)
+{
+  if (operand->insert)
+    {
+      const char *message = NULL;
+
+      insn = operand->insert (insn, val, &message);
+      if (message != NULL)
        {
-         prev_name = (char *) op->name;
-         hash_insert (v850_hash, op->name, (char *) op);
+         if ((operand->flags & V850_OPERAND_SIGNED)
+             && ! warn_signed_overflows
+             && strstr (message, "out of range") != NULL)
+           {
+             /* Skip warning...  */
+           }
+         else if ((operand->flags & V850_OPERAND_SIGNED) == 0
+                  && ! warn_unsigned_overflows
+                  && strstr (message, "out of range") != NULL)
+           {
+             /* Skip warning...  */
+           }
+         else if (str)
+           {
+             if (file == (char *) NULL)
+               as_warn ("%s: %s", str, message);
+             else
+               as_warn_where (file, line, "%s: %s", str, message);
+           }
+         else
+           {
+             if (file == (char *) NULL)
+               as_warn ("%s", message);
+             else
+               as_warn_where (file, line, "%s", message);
+           }
        }
-      op++;
     }
+  else
+    {
+      if (operand->bits != 32)
+       {
+         long min, max;
 
-  bfd_set_arch_mach (stdoutput, TARGET_ARCH, machine);
+         if ((operand->flags & V850_OPERAND_SIGNED) != 0)
+           {
+             if (! warn_signed_overflows)
+               max = (1 << operand->bits) - 1;
+             else
+               max = (1 << (operand->bits - 1)) - 1;
 
-  applicable = bfd_applicable_section_flags (stdoutput);
-
-  sdata_section = subseg_new (".sdata", 0);
-  bfd_set_section_flags (stdoutput, sdata_section, applicable & (SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS));
-  
-  tdata_section = subseg_new (".tdata", 0);
-  bfd_set_section_flags (stdoutput, tdata_section, applicable & (SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS));
-  
-  zdata_section = subseg_new (".zdata", 0);
-  bfd_set_section_flags (stdoutput, zdata_section, applicable & (SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA | SEC_HAS_CONTENTS));
-  
-  sbss_section = subseg_new (".sbss", 0);
-  bfd_set_section_flags (stdoutput, sbss_section, applicable & SEC_ALLOC);
-  
-  tbss_section = subseg_new (".tbss", 0);
-  bfd_set_section_flags (stdoutput, tbss_section, applicable & SEC_ALLOC);
-  
-  zbss_section = subseg_new (".zbss", 0);
-  bfd_set_section_flags (stdoutput, zbss_section, applicable & SEC_ALLOC);
-  
-  rosdata_section = subseg_new (".rosdata", 0);
-  bfd_set_section_flags (stdoutput, rosdata_section, applicable & (SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY));
-                        
-  rozdata_section = subseg_new (".rozdata", 0);
-  bfd_set_section_flags (stdoutput, rozdata_section, applicable & (SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_READONLY));
-}
+             min = -(1 << (operand->bits - 1));
+           }
+         else
+           {
+             max = (1 << operand->bits) - 1;
 
+             if (! warn_unsigned_overflows)
+               min = -(1 << (operand->bits - 1));
+             else
+               min = 0;
+           }
 
-/* Warning: The code in this function relies upon the definitions
-   in the v850_operands[] array (defined in opcodes/v850-opc.c)
-   matching the hard coded values contained herein.  */
+         /* Some people write constants with the sign extension done by
+            hand but only up to 32 bits.  This shouldn't really be valid,
+            but, to permit this code to assemble on a 64-bit host, we
+            sign extend the 32-bit value to 64 bits if so doing makes the
+            value valid.  */
+         if (val > max
+             && (offsetT) (val - 0x80000000 - 0x80000000) >= min
+             && (offsetT) (val - 0x80000000 - 0x80000000) <= max)
+           val = val - 0x80000000 - 0x80000000;
+
+         /* Similarly, people write expressions like ~(1<<15), and expect
+            this to be OK for a 32-bit unsigned value.  */
+         else if (val < min
+                  && (offsetT) (val + 0x80000000 + 0x80000000) >= min
+                  && (offsetT) (val + 0x80000000 + 0x80000000) <= max)
+           val = val + 0x80000000 + 0x80000000;
+
+         else if (val < (offsetT) min || val > (offsetT) max)
+           {
+             char buf [128];
 
-static bfd_reloc_code_real_type
-v850_reloc_prefix (const struct v850_operand * operand)
-{
-  boolean paren_skipped = false;
+             /* Restore min and mix to expected values for decimal ranges.  */
+             if ((operand->flags & V850_OPERAND_SIGNED)
+                 && ! warn_signed_overflows)
+               max = (1 << (operand->bits - 1)) - 1;
 
+             if (! (operand->flags & V850_OPERAND_SIGNED)
+                 && ! warn_unsigned_overflows)
+               min = 0;
 
-  /* Skip leading opening parenthesis.  */
-  if (* input_line_pointer == '(')
-    {
-      ++ input_line_pointer;
-      paren_skipped = true;
-    }
-  
-  if (strncmp (input_line_pointer, "hi0(", 4) == 0)
-    {
-      input_line_pointer += 3;
-      return BFD_RELOC_HI16;
-    }
-  if (strncmp (input_line_pointer, "hi(", 3) == 0)
-    {
-      input_line_pointer += 2;
-      return BFD_RELOC_HI16_S;
-    }
-  if (strncmp (input_line_pointer, "lo(", 3) == 0)
-    {
-      input_line_pointer += 2;
-      return BFD_RELOC_LO16;
-    }
-/* start-sanitize-v850e */
-  if (strncmp (input_line_pointer, "hilo(", 5) == 0)
-    {
-      input_line_pointer += 4;
-      return BFD_RELOC_32;
-    }
-/* end-sanitize-v850e */
+             if (str)
+               sprintf (buf, "%s: ", str);
+             else
+               buf[0] = 0;
+             strcat (buf, _("operand"));
 
-  if (strncmp (input_line_pointer, "sdaoff(", 7) == 0)
-    {
-      input_line_pointer += 6;
-      
-      if (operand == NULL)                             return BFD_RELOC_V850_SDA_16_16_OFFSET;
-      if (operand->bits == 15 && operand->shift == 17) return BFD_RELOC_V850_SDA_15_16_OFFSET;
-      /* start-sanitize-v850e */
-      if (operand->bits == -1)                         return BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET;
-      /* end-sanitize-v850e */
-      
-      assert (operand->bits == 16);
-      assert (operand->shift == 16);
-      
-      return BFD_RELOC_V850_SDA_16_16_OFFSET;
-    }
-      
-  if (strncmp (input_line_pointer, "zdaoff(", 7) == 0)
-    {
-      input_line_pointer += 6;
-      
-      if (operand == NULL)                             return BFD_RELOC_V850_ZDA_16_16_OFFSET;
-      if (operand->bits == 15 && operand->shift == 17) return BFD_RELOC_V850_ZDA_15_16_OFFSET;
-      /* start-sanitize-v850e */
-      if (operand->bits == -1)                         return BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET;
-      /* end-sanitize-v850e */
-      
-      assert (operand->bits == 16);
-      assert (operand->shift == 16);
-      
-      return BFD_RELOC_V850_ZDA_16_16_OFFSET;
-    }
-  
-  if (strncmp (input_line_pointer, "tdaoff(", 7) == 0)
-    {
-      input_line_pointer += 6;
-      
-      if (operand == NULL)                               return BFD_RELOC_V850_TDA_7_7_OFFSET;
-      if (operand->bits == 6 && operand->shift == 1)     return BFD_RELOC_V850_TDA_6_8_OFFSET;
-      /* start-sanitize-v850e */
-      if (operand->bits == 4 && operand->insert != NULL) return BFD_RELOC_V850_TDA_4_5_OFFSET;
-      if (operand->bits == 4 && operand->insert == NULL) return BFD_RELOC_V850_TDA_4_4_OFFSET;
-      /* end-sanitize-v850e */
-      
-      assert (operand->bits == 7);
-      
-      return  operand->insert != NULL ? BFD_RELOC_V850_TDA_7_8_OFFSET :  BFD_RELOC_V850_TDA_7_7_OFFSET;
+             as_bad_value_out_of_range (buf, val, (offsetT) min, (offsetT) max, file, line);
+           }
+       }
+
+      insn |= (((long) val & ((1 << operand->bits) - 1)) << operand->shift);
     }
 
-  if (paren_skipped)
-    /* Restore skipped character.  */
-    -- input_line_pointer;
-  
-  return BFD_RELOC_UNUSED;
+  return insn;
 }
+\f
+static char copy_of_instruction[128];
 
 void
-md_assemble (str) 
-     char * str;
+md_assemble (char *str)
 {
-  char *                    s;
-  char *                    start_of_operands;
-  struct v850_opcode *      opcode;
-  struct v850_opcode *      next_opcode;
-  const unsigned char *     opindex_ptr;
-  int                       next_opindex;
-  int                       relaxable;
-  unsigned long             insn;
-  unsigned long             insn_size;
-  char *                    f;
-  int                       i;
-  int                       match;
-  boolean                   extra_data_after_insn = false;
-  unsigned                  extra_data_len;
-  unsigned long             extra_data;
-  char *                   saved_input_line_pointer;
-  
+  char *s;
+  char *start_of_operands;
+  struct v850_opcode *opcode;
+  struct v850_opcode *next_opcode;
+  const unsigned char *opindex_ptr;
+  int next_opindex;
+  int relaxable = 0;
+  unsigned long insn;
+  unsigned long insn_size;
+  char *f;
+  int i;
+  int match;
+  bfd_boolean extra_data_after_insn = FALSE;
+  unsigned extra_data_len = 0;
+  unsigned long extra_data = 0;
+  char *saved_input_line_pointer;
+
+  strncpy (copy_of_instruction, str, sizeof (copy_of_instruction) - 1);
+
   /* Get the opcode.  */
-  for (s = str; *s != '\0' && ! isspace (*s); s++)
+  for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
     continue;
-  
+
   if (*s != '\0')
     *s++ = '\0';
 
-  /* find the first opcode with the proper name */
-  opcode = (struct v850_opcode *)hash_find (v850_hash, str);
+  /* Find the first opcode with the proper name.  */
+  opcode = (struct v850_opcode *) hash_find (v850_hash, str);
   if (opcode == NULL)
     {
-      as_bad ("Unrecognized opcode: `%s'", str);
+      /* xgettext:c-format  */
+      as_bad (_("Unrecognized opcode: `%s'"), str);
       ignore_rest_of_line ();
       return;
     }
 
   str = s;
-  while (isspace (* str))
-    ++ str;
+  while (ISSPACE (*str))
+    ++str;
 
   start_of_operands = str;
 
   saved_input_line_pointer = input_line_pointer;
-  
+
   for (;;)
     {
-      const char * errmsg = NULL;
+      const char *errmsg = NULL;
+
+      match = 0;
+
+      if ((opcode->processors & processor_mask) == 0)
+       {
+         errmsg = _("Target processor does not support this instruction.");
+         goto error;
+       }
 
       relaxable = 0;
       fc = 0;
-      match = 0;
       next_opindex = 0;
       insn = opcode->opcode;
-      extra_data_after_insn = false;
+      extra_data_after_insn = FALSE;
 
       input_line_pointer = str = start_of_operands;
 
       for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
        {
-         const struct v850_operand * operand;
-         char *                      hold;
-         expressionS                 ex;
-         bfd_reloc_code_real_type    reloc;
+         const struct v850_operand *operand;
+         char *hold;
+         expressionS ex;
+         bfd_reloc_code_real_type reloc;
 
          if (next_opindex == 0)
-           {
-             operand = & v850_operands[ * opindex_ptr ];
-           }
+           operand = &v850_operands[*opindex_ptr];
          else
            {
-             operand      = & v850_operands[ next_opindex ];
+             operand = &v850_operands[next_opindex];
              next_opindex = 0;
            }
 
@@ -1167,22 +1674,33 @@ md_assemble (str)
          if (operand->flags & V850_OPERAND_RELAX)
            relaxable = 1;
 
-         /* Gather the operand. */
+         /* Gather the operand.  */
          hold = input_line_pointer;
          input_line_pointer = str;
-         
-/* fprintf (stderr, "operand: %s   index = %d, opcode = %s\n", input_line_pointer, opindex_ptr - opcode->operands, opcode->name ); */
 
-         /* lo(), hi(), hi0(), etc... */
+         /* lo(), hi(), hi0(), etc...  */
          if ((reloc = v850_reloc_prefix (operand)) != BFD_RELOC_UNUSED)
            {
-             expression (& ex);
+             /* This is a fake reloc, used to indicate an error condition.  */
+             if (reloc == BFD_RELOC_64)
+               {
+                 match = 1;
+                 goto error;
+               }
+
+             expression (&ex);
 
              if (ex.X_op == O_constant)
                {
                  switch (reloc)
                    {
+                   case BFD_RELOC_V850_ZDA_16_16_OFFSET:
+                     /* To cope with "not1 7, zdaoff(0xfffff006)[r0]"
+                        and the like.  */
+                     /* Fall through.  */
+
                    case BFD_RELOC_LO16:
+                   case BFD_RELOC_V850_LO16_SPLIT_OFFSET:
                      {
                        /* Truncate, then sign extend the value.  */
                        ex.X_add_number = SEXT16 (ex.X_add_number);
@@ -1199,36 +1717,39 @@ md_assemble (str)
                    case BFD_RELOC_HI16_S:
                      {
                        /* Truncate, then sign extend the value.  */
-                       int temp = (ex.X_add_number >> 16) & 0xffff;
+                       int temp = (ex.X_add_number >> 16) & 0xffff;
 
                        temp += (ex.X_add_number >> 15) & 1;
 
                        ex.X_add_number = SEXT16 (temp);
                        break;
                      }
-                   
-/* start-sanitize-v850e */
+
                    case BFD_RELOC_32:
                      if ((operand->flags & V850E_IMMEDIATE32) == 0)
                        {
-                         errmsg = "use bigger instruction";
+                         errmsg = _("immediate operand is too large");
                          goto error;
                        }
-                     
-                     extra_data_after_insn = true;
-                     extra_data_len        = 4;
-                     extra_data            = ex.X_add_number;
-                     ex.X_add_number       = 0;
+
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 4;
+                     extra_data            = 0;
                      break;
-/* end-sanitize-v850e */
-                        
+
                    default:
-                     as_bad ( "AAARG -> unhandled constant reloc");
+                     fprintf (stderr, "reloc: %d\n", reloc);
+                     as_bad (_("AAARG -> unhandled constant reloc"));
                      break;
                    }
 
-                 insn = v850_insert_operand (insn, operand, ex.X_add_number,
-                                             (char *) NULL, 0);
+                 if (fc > MAX_INSN_FIXUPS)
+                   as_fatal (_("too many fixups"));
+
+                 fixups[fc].exp     = ex;
+                 fixups[fc].opindex = *opindex_ptr;
+                 fixups[fc].reloc   = reloc;
+                 fc++;
                }
              else
                {
@@ -1236,189 +1757,224 @@ md_assemble (str)
                    {
                      if ((operand->flags & V850E_IMMEDIATE32) == 0)
                        {
-                         errmsg = "use bigger instruction";
+                         errmsg = _("immediate operand is too large");
                          goto error;
                        }
-                     
-                     extra_data_after_insn = true;
-                     extra_data_len        = 4;
-                     extra_data            = ex.X_add_number;
-                     ex.X_add_number       = 0;
+
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 4;
+                     extra_data            = ex.X_add_number;
                    }
-                     
+
                  if (fc > MAX_INSN_FIXUPS)
-                   as_fatal ("too many fixups");
+                   as_fatal (_("too many fixups"));
 
-                 fixups[ fc ].exp     = ex;
-                 fixups[ fc ].opindex = * opindex_ptr;
-                 fixups[ fc ].reloc   = reloc;
+                 fixups[fc].exp     = ex;
+                 fixups[fc].opindex = *opindex_ptr;
+                 fixups[fc].reloc   = reloc;
                  fc++;
                }
            }
          else
            {
              errmsg = NULL;
-             
-             if ((operand->flags & V850_OPERAND_REG) != 0) 
+
+             if ((operand->flags & V850_OPERAND_REG) != 0)
                {
-                 if (!register_name (& ex))
+                 if (!register_name (&ex))
+                   errmsg = _("invalid register name");
+                 else if ((operand->flags & V850_NOT_R0)
+                          && ex.X_add_number == 0)
                    {
-                     errmsg = "invalid register name";
-                   }
+                     errmsg = _("register r0 cannot be used here");
 
-                 if ((operand->flags & V850_NOT_R0)
-                     && ex.X_add_number == 0)
-                   {
-                     errmsg = "register r0 cannot be used here";
+                     /* Force an error message to be generated by
+                        skipping over any following potential matches
+                        for this opcode.  */
+                     opcode += 3;
                    }
                }
-             else if ((operand->flags & V850_OPERAND_SRG) != 0) 
+             else if ((operand->flags & V850_OPERAND_SRG) != 0)
                {
-                 if (!system_register_name (& ex, true))
-                   {
-                     errmsg = "invalid system register name";
-                   }
+                 if (!system_register_name (&ex, TRUE, FALSE))
+                   errmsg = _("invalid system register name");
                }
              else if ((operand->flags & V850_OPERAND_EP) != 0)
                {
-                 char * start = input_line_pointer;
-                 char   c     = get_symbol_end ();
-                 
+                 char *start = input_line_pointer;
+                 char c = get_symbol_end ();
+
                  if (strcmp (start, "ep") != 0 && strcmp (start, "r30") != 0)
                    {
                      /* Put things back the way we found them.  */
                      *input_line_pointer = c;
                      input_line_pointer = start;
-                     errmsg = "expected EP register";
+                     errmsg = _("expected EP register");
                      goto error;
                    }
-                 
+
                  *input_line_pointer = c;
                  str = input_line_pointer;
                  input_line_pointer = hold;
-             
-                 while (*str == ' ' || *str == ',' || *str == '[' || *str == ']')
+
+                 while (*str == ' ' || *str == ','
+                        || *str == '[' || *str == ']')
                    ++str;
                  continue;
                }
-             else if ((operand->flags & V850_OPERAND_CC) != 0) 
+             else if ((operand->flags & V850_OPERAND_CC) != 0)
                {
-                 if (!cc_name (& ex))
-                   {
-                     errmsg = "invalid condition code name";
-                   }
+                 if (!cc_name (&ex))
+                   errmsg = _("invalid condition code name");
                }
-/* start-sanitize-v850e */
-             else if (operand->flags & V850E_PUSH_POP) 
+             else if (operand->flags & V850E_PUSH_POP)
                {
-                 errmsg = parse_register_list (& insn, operand);
-                 
-                 /* The parse_register_list() function has already done everything, so fake a dummy expression.  */
-                 ex.X_op         = O_constant;
+                 errmsg = parse_register_list (&insn, operand);
+
+                 /* The parse_register_list() function has already done
+                    everything, so fake a dummy expression.  */
+                 ex.X_op         = O_constant;
                  ex.X_add_number = 0;
                }
-             else if (operand->flags & V850E_IMMEDIATE16) 
+             else if (operand->flags & V850E_IMMEDIATE16)
                {
-                 expression (& ex);
+                 expression (&ex);
 
                  if (ex.X_op != O_constant)
-                   errmsg = "constant expression expected";
+                   errmsg = _("constant expression expected");
                  else if (ex.X_add_number & 0xffff0000)
                    {
                      if (ex.X_add_number & 0xffff)
-                       errmsg = "constant too big to fit into instruction";
+                       errmsg = _("constant too big to fit into instruction");
                      else if ((insn & 0x001fffc0) == 0x00130780)
                        ex.X_add_number >>= 16;
                      else
-                       errmsg = "constant too big to fit into instruction";
+                       errmsg = _("constant too big to fit into instruction");
                    }
-                 
-                 extra_data_after_insn = true;
-                 extra_data_len        = 2;
-                 extra_data            = ex.X_add_number;
-                 ex.X_add_number       = 0;
+
+                 extra_data_after_insn = TRUE;
+                 extra_data_len        = 2;
+                 extra_data            = ex.X_add_number;
+                 ex.X_add_number       = 0;
                }
-             else if (operand->flags & V850E_IMMEDIATE32) 
+             else if (operand->flags & V850E_IMMEDIATE32)
                {
-                 expression (& ex);
-                 
+                 expression (&ex);
+
                  if (ex.X_op != O_constant)
-                   errmsg = "constant expression expected";
-                 
-                 extra_data_after_insn = true;
-                 extra_data_len        = 4;
-                 extra_data            = ex.X_add_number;
-                 ex.X_add_number       = 0;
+                   errmsg = _("constant expression expected");
+
+                 extra_data_after_insn = TRUE;
+                 extra_data_len        = 4;
+                 extra_data            = ex.X_add_number;
+                 ex.X_add_number       = 0;
                }
-/* end-sanitize-v850e */
              else if (register_name (&ex)
                       && (operand->flags & V850_OPERAND_REG) == 0)
                {
-                 errmsg = "syntax error: register not expected";
+                 char c;
+                 int exists = 0;
+
+                 /* It is possible that an alias has been defined that
+                    matches a register name.  For example the code may
+                    include a ".set ZERO, 0" directive, which matches
+                    the register name "zero".  Attempt to reparse the
+                    field as an expression, and only complain if we
+                    cannot generate a constant.  */
+
+                 input_line_pointer = str;
+
+                 c = get_symbol_end ();
+
+                 if (symbol_find (str) != NULL)
+                   exists = 1;
+
+                 *input_line_pointer = c;
+                 input_line_pointer = str;
+
+                 expression (&ex);
+
+                 if (ex.X_op != O_constant)
+                   {
+                     /* If this register is actually occurring too early on
+                        the parsing of the instruction, (because another
+                        field is missing) then report this.  */
+                     if (opindex_ptr[1] != 0
+                         && (v850_operands[opindex_ptr[1]].flags
+                             & V850_OPERAND_REG))
+                       errmsg = _("syntax error: value is missing before the register name");
+                     else
+                       errmsg = _("syntax error: register not expected");
+
+                     /* If we created a symbol in the process of this
+                        test then delete it now, so that it will not
+                        be output with the real symbols...  */
+                     if (exists == 0
+                         && ex.X_op == O_symbol)
+                       symbol_remove (ex.X_add_symbol,
+                                      &symbol_rootP, &symbol_lastP);
+                   }
                }
-             else if (system_register_name (& ex, false)
+             else if (system_register_name (&ex, FALSE, FALSE)
                       && (operand->flags & V850_OPERAND_SRG) == 0)
-               {
-                 errmsg = "syntax error: system register not expected";
-               }
+               errmsg = _("syntax error: system register not expected");
+
              else if (cc_name (&ex)
                       && (operand->flags & V850_OPERAND_CC) == 0)
-               {
-                 errmsg = "syntax error: condition code not expected";
-               }
+               errmsg = _("syntax error: condition code not expected");
+
              else
                {
-                 expression (& ex);
-/* start-sanitize-v850e */
+                 expression (&ex);
                  /* Special case:
-                    If we are assembling a MOV instruction (or a CALLT.... :-)
-                    and the immediate value does not fit into the bits available
-                    then create a fake error so that the next MOV instruction
-                     will be selected.  This one has a 32 bit immediate field.  */
+                    If we are assembling a MOV instruction and the immediate
+                    value does not fit into the bits available then create a
+                    fake error so that the next MOV instruction will be
+                    selected.  This one has a 32 bit immediate field.  */
 
                  if (((insn & 0x07e0) == 0x0200)
+                     && operand->bits == 5 /* Do not match the CALLT instruction.  */
                      && ex.X_op == O_constant
-                     && (ex.X_add_number < (- (1 << (operand->bits - 1))) || ex.X_add_number > ((1 << operand->bits) - 1)))
-                   errmsg = "use bigger instruction";
-/* end-sanitize-v850e */
+                     && (ex.X_add_number < (-(1 << (operand->bits - 1)))
+                         || ex.X_add_number > ((1 << (operand->bits - 1)) - 1)))
+                   errmsg = _("immediate operand is too large");
                }
 
              if (errmsg)
                goto error;
-             
-/* fprintf (stderr, "insn: %x, operand %d, op: %d, add_number: %d\n", insn, opindex_ptr - opcode->operands, ex.X_op, ex.X_add_number ); */
 
-             switch (ex.X_op) 
+             switch (ex.X_op)
                {
                case O_illegal:
-                 errmsg = "illegal operand";
+                 errmsg = _("illegal operand");
                  goto error;
                case O_absent:
-                 errmsg = "missing operand";
+                 errmsg = _("missing operand");
                  goto error;
                case O_register:
-                 if ((operand->flags & (V850_OPERAND_REG | V850_OPERAND_SRG)) == 0)
+                 if ((operand->flags
+                      & (V850_OPERAND_REG | V850_OPERAND_SRG)) == 0)
                    {
-                     errmsg = "invalid operand";
+                     errmsg = _("invalid operand");
                      goto error;
                    }
                  insn = v850_insert_operand (insn, operand, ex.X_add_number,
-                                             (char *) NULL, 0);
+                                             NULL, 0, copy_of_instruction);
                  break;
 
                case O_constant:
                  insn = v850_insert_operand (insn, operand, ex.X_add_number,
-                                             (char *) NULL, 0);
+                                             NULL, 0, copy_of_instruction);
                  break;
 
                default:
                  /* We need to generate a fixup for this expression.  */
                  if (fc >= MAX_INSN_FIXUPS)
-                   as_fatal ("too many fixups");
+                   as_fatal (_("too many fixups"));
 
-                 fixups[ fc ].exp     = ex;
-                 fixups[ fc ].opindex = * opindex_ptr;
-                 fixups[ fc ].reloc   = BFD_RELOC_UNUSED;
+                 fixups[fc].exp     = ex;
+                 fixups[fc].opindex = *opindex_ptr;
+                 fixups[fc].reloc   = BFD_RELOC_UNUSED;
                  ++fc;
                  break;
                }
@@ -1435,68 +1991,108 @@ md_assemble (str)
 
     error:
       if (match == 0)
-        {
+       {
          next_opcode = opcode + 1;
-         if (next_opcode->name != NULL && strcmp (next_opcode->name, opcode->name) == 0)
+         if (next_opcode->name != NULL
+             && strcmp (next_opcode->name, opcode->name) == 0)
            {
              opcode = next_opcode;
+
+             /* Skip versions that are not supported by the target
+                processor.  */
+             if ((opcode->processors & processor_mask) == 0)
+               goto error;
+
              continue;
            }
-         
-         as_bad (errmsg);
+
+         as_bad ("%s: %s", copy_of_instruction, errmsg);
+
+         if (*input_line_pointer == ']')
+           ++input_line_pointer;
+
          ignore_rest_of_line ();
          input_line_pointer = saved_input_line_pointer;
          return;
-        }
+       }
       break;
     }
-      
-  while (isspace (*str))
+
+  while (ISSPACE (*str))
     ++str;
 
   if (*str != '\0')
-    as_bad ("junk at end of line: `%s'", str);
+    /* xgettext:c-format  */
+    as_bad (_("junk at end of line: `%s'"), str);
 
   input_line_pointer = str;
 
-  /* Write out the instruction.
+  /* Tie dwarf2 debug info to the address at the start of the insn.
+     We can't do this after the insn has been output as the current
+     frag may have been closed off.  eg. by frag_var.  */
+  dwarf2_emit_insn (0);
+
+  /* Write out the instruction.  */
 
-     Four byte insns have an opcode with the two high bits on.  */ 
   if (relaxable && fc > 0)
     {
-      f = frag_var (rs_machine_dependent, 6, 4, 0,
-                   fixups[0].exp.X_add_symbol,
-                   fixups[0].exp.X_add_number,
-                   (char *)fixups[0].opindex);
+      /* On a 64-bit host the size of an 'int' is not the same
+        as the size of a pointer, so we need a union to convert
+        the opindex field of the fr_cgen structure into a char *
+        so that it can be stored in the frag.  We do not have
+        to worry about loosing accuracy as we are not going to
+        be even close to the 32bit limit of the int.  */
+      union
+      {
+       int opindex;
+       char * ptr;
+      }
+      opindex_converter;
+
+      opindex_converter.opindex = fixups[0].opindex;
       insn_size = 2;
-      md_number_to_chars (f, insn, insn_size);
-      md_number_to_chars (f + 2, 0, 4);
       fc = 0;
+
+      if (!strcmp (opcode->name, "br"))
+       {
+         f = frag_var (rs_machine_dependent, 4, 2, 2,
+                       fixups[0].exp.X_add_symbol,
+                       fixups[0].exp.X_add_number,
+                       opindex_converter.ptr);
+         md_number_to_chars (f, insn, insn_size);
+         md_number_to_chars (f + 2, 0, 2);
+       }
+      else
+       {
+         f = frag_var (rs_machine_dependent, 6, 4, 0,
+                       fixups[0].exp.X_add_symbol,
+                       fixups[0].exp.X_add_number,
+                       opindex_converter.ptr);
+         md_number_to_chars (f, insn, insn_size);
+         md_number_to_chars (f + 2, 0, 4);
+       }
     }
-  else 
+  else
     {
+      /* Four byte insns have an opcode with the two high bits on.  */
       if ((insn & 0x0600) == 0x0600)
        insn_size = 4;
       else
        insn_size = 2;
 
-/* start-sanitize-v850e */
-      /* Special case: 32 bit MOV */
+      /* Special case: 32 bit MOV.  */
       if ((insn & 0xffe0) == 0x0620)
        insn_size = 2;
-/* end_sanitize-v850e */
-      
+
       f = frag_more (insn_size);
-      
       md_number_to_chars (f, insn, insn_size);
 
       if (extra_data_after_insn)
        {
          f = frag_more (extra_data_len);
-         
          md_number_to_chars (f, extra_data, extra_data_len);
 
-         extra_data_after_insn = false;
+         extra_data_after_insn = FALSE;
        }
     }
 
@@ -1505,290 +2101,286 @@ md_assemble (str)
      BFD_RELOC_UNUSED plus the operand index.  This lets us easily
      handle fixups for any operand type, although that is admittedly
      not a very exciting feature.  We pick a BFD reloc type in
-     md_apply_fix.  */  
+     md_apply_fix.  */
   for (i = 0; i < fc; i++)
     {
-      const struct v850_operand * operand;
-      bfd_reloc_code_real_type    reloc;
-      
-      operand = & v850_operands[ fixups[i].opindex ];
+      const struct v850_operand *operand;
+      bfd_reloc_code_real_type reloc;
+
+      operand = &v850_operands[fixups[i].opindex];
 
       reloc = fixups[i].reloc;
-      
+
       if (reloc != BFD_RELOC_UNUSED)
        {
-         reloc_howto_type * reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
-         int                size;
-         int                address;
-         fixS *             fixP;
+         reloc_howto_type *reloc_howto =
+           bfd_reloc_type_lookup (stdoutput, reloc);
+         int size;
+         int address;
+         fixS *fixP;
 
          if (!reloc_howto)
-           abort();
-         
+           abort ();
+
          size = bfd_get_reloc_size (reloc_howto);
 
-         if (size != 2 && size != 4) /* XXX this will abort on an R_V850_8 reloc - is this reloc actually used ? */
-           abort();
+         /* XXX This will abort on an R_V850_8 reloc -
+            is this reloc actually used?  */
+         if (size != 2 && size != 4)
+           abort ();
 
          address = (f - frag_now->fr_literal) + insn_size - size;
 
          if (reloc == BFD_RELOC_32)
-           {
-             address += 2;
-           }
-         
+           address += 2;
+
          fixP = fix_new_exp (frag_now, address, size,
-                             & fixups[i].exp, 
+                             &fixups[i].exp,
                              reloc_howto->pc_relative,
                              reloc);
 
+         fixP->tc_fix_data = (void *) operand;
+
          switch (reloc)
            {
            case BFD_RELOC_LO16:
+           case BFD_RELOC_V850_LO16_SPLIT_OFFSET:
            case BFD_RELOC_HI16:
            case BFD_RELOC_HI16_S:
              fixP->fx_no_overflow = 1;
              break;
+           default:
+             break;
            }
        }
       else
        {
-         fix_new_exp (
-                      frag_now,
+         fix_new_exp (frag_now,
                       f - frag_now->fr_literal, 4,
                       & fixups[i].exp,
-                      1 /* FIXME: V850_OPERAND_RELATIVE ??? */,
-                      (bfd_reloc_code_real_type) (fixups[i].opindex + (int) BFD_RELOC_UNUSED)
-                      );
+                      (operand->flags & V850_OPERAND_DISP) != 0,
+                      (bfd_reloc_code_real_type) (fixups[i].opindex
+                                                  + (int) BFD_RELOC_UNUSED));
        }
     }
 
   input_line_pointer = saved_input_line_pointer;
 }
 
+/* If while processing a fixup, a reloc really needs to be created
+   then it is done here.  */
 
-/* If while processing a fixup, a reloc really needs to be created */
-/* then it is done here.  */
-                 
 arelent *
-tc_gen_reloc (seg, fixp)
-     asection * seg;
-     fixS *     fixp;
+tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
 {
-  arelent * reloc;
-  
-  reloc              = (arelent *) xmalloc (sizeof (arelent));
-  reloc->sym_ptr_ptr = & fixp->fx_addsy->bsym;
-  reloc->address     = fixp->fx_frag->fr_address + fixp->fx_where;
-  reloc->howto       = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
-
-  if (reloc->howto == (reloc_howto_type *) NULL)
+  arelent *reloc;
+
+  reloc                      = xmalloc (sizeof (arelent));
+  reloc->sym_ptr_ptr  = xmalloc (sizeof (asymbol *));
+  *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
+  reloc->address      = fixp->fx_frag->fr_address + fixp->fx_where;
+
+  if (   fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY
+      || fixp->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+      || fixp->fx_r_type == BFD_RELOC_V850_LONGCALL
+      || fixp->fx_r_type == BFD_RELOC_V850_LONGJUMP
+      || fixp->fx_r_type == BFD_RELOC_V850_ALIGN)
+    reloc->addend = fixp->fx_offset;
+  else
+    {
+      if (fixp->fx_r_type == BFD_RELOC_32
+         && fixp->fx_pcrel)
+       fixp->fx_r_type = BFD_RELOC_32_PCREL;
+
+      reloc->addend = fixp->fx_addnumber;
+    }
+
+  reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
+
+  if (reloc->howto == NULL)
     {
       as_bad_where (fixp->fx_file, fixp->fx_line,
-                    "reloc %d not supported by object file format", (int)fixp->fx_r_type);
+                   /* xgettext:c-format  */
+                   _("reloc %d not supported by object file format"),
+                   (int) fixp->fx_r_type);
 
       xfree (reloc);
-      
+
       return NULL;
     }
-  
-  reloc->addend = fixp->fx_addnumber;
-  
+
   return reloc;
 }
 
-/* Assume everything will fit in two bytes, then expand as necessary.  */
+void
+v850_handle_align (fragS * frag)
+{
+  if (v850_relax
+      && frag->fr_type == rs_align
+      && frag->fr_address + frag->fr_fix > 0
+      && frag->fr_offset > 1
+      && now_seg != bss_section
+      && now_seg != v850_seg_table[SBSS_SECTION].s
+      && now_seg != v850_seg_table[TBSS_SECTION].s
+      && now_seg != v850_seg_table[ZBSS_SECTION].s)
+    fix_new (frag, frag->fr_fix, 2, & abs_symbol, frag->fr_offset, 0,
+            BFD_RELOC_V850_ALIGN);
+}
+
+/* Return current size of variable part of frag.  */
+
 int
-md_estimate_size_before_relax (fragp, seg)
-     fragS * fragp;
-     asection * seg;
+md_estimate_size_before_relax (fragS *fragp, asection *seg ATTRIBUTE_UNUSED)
 {
-  fragp->fr_var = 4;
-  return 2;
-} 
+  if (fragp->fr_subtype >= sizeof (md_relax_table) / sizeof (md_relax_table[0]))
+    abort ();
+
+  return md_relax_table[fragp->fr_subtype].rlx_length;
+}
 
 long
-md_pcrel_from (fixp)
-     fixS * fixp;
+v850_pcrel_from_section (fixS *fixp, segT section)
 {
   /* If the symbol is undefined, or in a section other than our own,
+     or it is weak (in which case it may well be in another section,
      then let the linker figure it out.  */
-  if (fixp->fx_addsy != (symbolS *) NULL && ! S_IS_DEFINED (fixp->fx_addsy))
-    {
-      /* The symbol is undefined.  Let the linker figure it out.  */
-      return 0;
-    }
+  if (fixp->fx_addsy != (symbolS *) NULL
+      && (! S_IS_DEFINED (fixp->fx_addsy)
+         || S_IS_WEAK (fixp->fx_addsy)
+         || (S_GET_SEGMENT (fixp->fx_addsy) != section)))
+    return 0;
+
   return fixp->fx_frag->fr_address + fixp->fx_where;
 }
 
-int
-md_apply_fix3 (fixp, valuep, seg)
-     fixS *   fixp;
-     valueT * valuep;
-     segT     seg;
+void
+md_apply_fix (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
 {
-  valueT value;
-  char * where;
+  valueT value = * valueP;
+  char *where;
 
-  if (fixp->fx_addsy == (symbolS *) NULL)
+  if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+      || fixP->fx_r_type == BFD_RELOC_V850_LONGCALL
+      || fixP->fx_r_type == BFD_RELOC_V850_LONGJUMP
+      || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
     {
-      value = * valuep;
-      fixp->fx_done = 1;
+      fixP->fx_done = 0;
+      return;
     }
-  else if (fixp->fx_pcrel)
-    value = * valuep;
+
+  if (fixP->fx_addsy == (symbolS *) NULL)
+    fixP->fx_addnumber = value,
+    fixP->fx_done = 1;
+
+  else if (fixP->fx_pcrel)
+    fixP->fx_addnumber = fixP->fx_offset;
+
   else
     {
-      value = fixp->fx_offset;
-      if (fixp->fx_subsy != (symbolS *) NULL)
+      value = fixP->fx_offset;
+      if (fixP->fx_subsy != (symbolS *) NULL)
        {
-         if (S_GET_SEGMENT (fixp->fx_subsy) == absolute_section)
-           value -= S_GET_VALUE (fixp->fx_subsy);
+         if (S_GET_SEGMENT (fixP->fx_subsy) == absolute_section)
+           value -= S_GET_VALUE (fixP->fx_subsy);
          else
-           {
-             /* We don't actually support subtracting a symbol.  */
-             as_bad_where (fixp->fx_file, fixp->fx_line,
-                           "expression too complex");
-           }
+           /* We don't actually support subtracting a symbol.  */
+           as_bad_where (fixP->fx_file, fixP->fx_line,
+                         _("expression too complex"));
        }
+      fixP->fx_addnumber = value;
     }
 
-  if ((int) fixp->fx_r_type >= (int) BFD_RELOC_UNUSED)
+  if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
     {
-      int                         opindex;
-      const struct v850_operand * operand;
-      unsigned long               insn;
+      int opindex;
+      const struct v850_operand *operand;
+      unsigned long insn;
 
-      opindex = (int) fixp->fx_r_type - (int) BFD_RELOC_UNUSED;
-      operand = & v850_operands[ opindex ];
+      opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
+      operand = &v850_operands[opindex];
 
       /* Fetch the instruction, insert the fully resolved operand
-         value, and stuff the instruction back again.
+        value, and stuff the instruction back again.
 
         Note the instruction has been stored in little endian
         format!  */
-      where = fixp->fx_frag->fr_literal + fixp->fx_where;
+      where = fixP->fx_frag->fr_literal + fixP->fx_where;
 
       insn = bfd_getl32 ((unsigned char *) where);
       insn = v850_insert_operand (insn, operand, (offsetT) value,
-                                 fixp->fx_file, fixp->fx_line);
+                                 fixP->fx_file, fixP->fx_line, NULL);
       bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
 
-      if (fixp->fx_done)
-       {
-         /* Nothing else to do here. */
-         return 1;
-       }
+      if (fixP->fx_done)
+       /* Nothing else to do here.  */
+       return;
 
-      /* Determine a BFD reloc value based on the operand information.  
-        We are only prepared to turn a few of the operands into relocs. */
+      /* Determine a BFD reloc value based on the operand information.
+        We are only prepared to turn a few of the operands into relocs.  */
 
       if (operand->bits == 22)
-       fixp->fx_r_type = BFD_RELOC_V850_22_PCREL;
+       fixP->fx_r_type = BFD_RELOC_V850_22_PCREL;
       else if (operand->bits == 9)
-       fixp->fx_r_type = BFD_RELOC_V850_9_PCREL;
+       fixP->fx_r_type = BFD_RELOC_V850_9_PCREL;
       else
        {
-         /* fprintf (stderr, "bits: %d, insn: %x\n", operand->bits, insn); */
-         
-         as_bad_where(fixp->fx_file, fixp->fx_line,
-                      "unresolved expression that must be resolved");
-         fixp->fx_done = 1;
-         return 1;
+         as_bad_where (fixP->fx_file, fixP->fx_line,
+                       _("unresolved expression that must be resolved"));
+         fixP->fx_done = 1;
+         return;
        }
     }
-  else if (fixp->fx_done)
+  else if (fixP->fx_done)
     {
       /* We still have to insert the value into memory!  */
-      where = fixp->fx_frag->fr_literal + fixp->fx_where;
-      if (fixp->fx_size == 1)
-       *where = value & 0xff;
-      else if (fixp->fx_size == 2)
-       bfd_putl16 (value & 0xffff, (unsigned char *) where);
-      else if (fixp->fx_size == 4)
-       bfd_putl32 (value, (unsigned char *) where);
-    }
-  
-  fixp->fx_addnumber = value;
-  return 1;
-}
-
-\f
-/* Insert an operand value into an instruction.  */
+      where = fixP->fx_frag->fr_literal + fixP->fx_where;
 
-static unsigned long
-v850_insert_operand (insn, operand, val, file, line)
-     unsigned long insn;
-     const struct v850_operand * operand;
-     offsetT val;
-     char *file;
-     unsigned int line;
-{
-  if (operand->insert)
-    {
-      const char * message = NULL;
-      
-      insn = (*operand->insert) (insn, val, & message);
-      if (message != NULL)
+      if (fixP->tc_fix_data != NULL
+         && ((struct v850_operand *) fixP->tc_fix_data)->insert != NULL)
        {
-         if (file == (char *) NULL)
-           as_warn (message);
-         else
-           as_warn_where (file, line, message);
+         const char * message = NULL;
+         struct v850_operand * operand = (struct v850_operand *) fixP->tc_fix_data;
+         unsigned long insn;
+
+         /* The variable "where" currently points at the exact point inside
+            the insn where we need to insert the value.  But we need to
+            extract the entire insn so we probably need to move "where"
+            back a few bytes.  */
+         if (fixP->fx_size == 2)
+           where -= 2;
+         else if (fixP->fx_size == 1)
+           where -= 3;
+
+         insn = bfd_getl32 ((unsigned char *) where);
+
+         /* Use the operand's insertion procedure, if present, in order to
+            make sure that the value is correctly stored in the insn.  */
+         insn = operand->insert (insn, (offsetT) value, & message);
+         /* Ignore message even if it is set.  */
+
+         bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
        }
-    }
-  else
-    {
-      if (operand->bits != 32)
+      else
        {
-         long    min, max;
-         offsetT test;
-
-         if ((operand->flags & V850_OPERAND_SIGNED) != 0)
-           {
-             if (! warn_signed_overflows)
-               max = (1 << operand->bits) - 1;
-             else
-               max = (1 << (operand->bits - 1)) - 1;
-             
-             min = - (1 << (operand->bits - 1));
-           }
-         else
-           {
-             max = (1 << operand->bits) - 1;
-             
-             if (! warn_unsigned_overflows)
-               min = - (1 << (operand->bits - 1));
-             else
-               min = 0;
-           }
-         
-         test = val;
-         
-         if (test < (offsetT) min || test > (offsetT) max)
-           {
-             const char * err = "operand out of range (%s not between %ld and %ld)";
-             char         buf[100];
-             
-             sprint_value (buf, test);
-             if (file == (char *) NULL)
-               as_warn (err, buf, min, max);
-             else
-               as_warn_where (file, line, err, buf, min, max);
-           }
+         if (fixP->fx_r_type == BFD_RELOC_V850_LO16_SPLIT_OFFSET)
+           bfd_putl32 (((value << 16) & 0xfffe0000)
+                       | ((value << 5) & 0x20)
+                       | (bfd_getl32 (where) & ~0xfffe0020), where);
+         else if (fixP->fx_size == 1)
+           *where = value & 0xff;
+         else if (fixP->fx_size == 2)
+           bfd_putl16 (value & 0xffff, (unsigned char *) where);
+         else if (fixP->fx_size == 4)
+           bfd_putl32 (value, (unsigned char *) where);
        }
-
-      insn |= (((long) val & ((1 << operand->bits) - 1)) << operand->shift);
     }
-  
-  return insn;
 }
-
+\f
 /* Parse a cons expression.  We have to handle hi(), lo(), etc
    on the v850.  */
+
 void
-parse_cons_expression_v850 (exp)
-  expressionS *exp;
+parse_cons_expression_v850 (expressionS *exp)
 {
   /* See if there's a reloc prefix like hi() we have to handle.  */
   hold_cons_reloc = v850_reloc_prefix (NULL);
@@ -1800,12 +2392,12 @@ parse_cons_expression_v850 (exp)
 /* Create a fixup for a cons expression.  If parse_cons_expression_v850
    found a reloc prefix, then we use that reloc, else we choose an
    appropriate one based on the size of the expression.  */
+
 void
-cons_fix_new_v850 (frag, where, size, exp)
-     fragS *frag;
-     int where;
-     int size;
-     expressionS *exp;
+cons_fix_new_v850 (fragS *frag,
+                  int where,
+                  int size,
+                  expressionS *exp)
 {
   if (hold_cons_reloc == BFD_RELOC_UNUSED)
     {
@@ -1821,4 +2413,42 @@ cons_fix_new_v850 (frag, where, size, exp)
     fix_new_exp (frag, where, size, exp, 0, hold_cons_reloc);
   else
     fix_new (frag, where, size, NULL, 0, 0, hold_cons_reloc);
+
+  hold_cons_reloc = BFD_RELOC_UNUSED;
+}
+
+bfd_boolean
+v850_fix_adjustable (fixS *fixP)
+{
+  if (fixP->fx_addsy == NULL)
+    return 1;
+
+  /* Don't adjust function names.  */
+  if (S_IS_FUNCTION (fixP->fx_addsy))
+    return 0;
+
+  /* We need the symbol name for the VTABLE entries.  */
+  if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+      || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
+    return 0;
+
+  return 1;
+}
+
+int
+v850_force_relocation (struct fix *fixP)
+{
+  if (fixP->fx_r_type == BFD_RELOC_V850_LONGCALL
+      || fixP->fx_r_type == BFD_RELOC_V850_LONGJUMP)
+    return 1;
+
+  if (v850_relax
+      && (fixP->fx_pcrel
+         || fixP->fx_r_type == BFD_RELOC_V850_ALIGN
+         || fixP->fx_r_type == BFD_RELOC_V850_22_PCREL
+         || fixP->fx_r_type == BFD_RELOC_V850_9_PCREL
+         || fixP->fx_r_type >= BFD_RELOC_UNUSED))
+    return 1;
+
+  return generic_force_reloc (fixP);
 }