gdb: add target_ops::supports_displaced_step
[deliverable/binutils-gdb.git] / gas / config / tc-v850.c
index aca61e959aadd88ddf80c256ef07c05112b0ad27..cf9831ab6febfbb8d94c5feb166a54d462015982 100644 (file)
@@ -1,12 +1,11 @@
 /* tc-v850.c -- Assembler code for the NEC V850
-   Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005
-   Free Software Foundation, Inc.
+   Copyright (C) 1996-2020 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,
@@ -19,7 +18,6 @@
    the Free Software Foundation, 51 Franklin Street - Fifth Floor,
    Boston, MA 02110-1301, USA.  */
 
-#include <stdio.h>
 #include "as.h"
 #include "safe-ctype.h"
 #include "subsegs.h"
 /* 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 = BFD_RELOC_UNUSED;
-
 /* Set to TRUE if we want to be pedantic about signed overflows.  */
 static bfd_boolean warn_signed_overflows   = FALSE;
 static bfd_boolean warn_unsigned_overflows = FALSE;
 
+/* Non-zero if floating point insns are not being used.  */
+static signed int soft_float = -1;
+
 /* Indicates the target BFD machine number.  */
 static int machine = -1;
 
+
+/* Indicates the target BFD architecture.  */
+enum bfd_architecture v850_target_arch = bfd_arch_v850_rh850;
+const char * v850_target_format = "elf32-v850-rh850";
+static flagword v850_e_flags = 0;
+
 /* Indicates the target processor(s) for the assemble.  */
-static int processor_mask = -1;
+static int processor_mask = 0;
 \f
 /* Structure to hold information about predefined registers.  */
 struct reg_name
 {
   const char *name;
   int value;
+  unsigned int processors;
 };
 
 /* Generic assembler global variables which must be defined by all
@@ -72,15 +77,71 @@ const char FLT_CHARS[] = "dD";
 \f
 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},
+  /* Conditional branches.(V850/V850E, max 22bit)  */
+#define SUBYPTE_COND_9_22      0
+  {0xfe,        -0x100,        2, SUBYPTE_COND_9_22 + 1},
+  {0x1ffffe + 2, -0x200000 + 2, 6, 0},
+  /* Conditional branches.(V850/V850E, max 22bit)  */
+#define SUBYPTE_SA_9_22        2
+  {0xfe,         -0x100,      2, SUBYPTE_SA_9_22 + 1},
+  {0x1ffffe + 4, -0x200000 + 4, 8, 0},
+  /* Unconditional branches.(V850/V850E, max 22bit)  */
+#define SUBYPTE_UNCOND_9_22    4
+  {0xfe,     -0x100,    2, SUBYPTE_UNCOND_9_22 + 1},
+  {0x1ffffe, -0x200000, 4, 0},
+  /* Conditional branches.(V850E2, max 32bit)  */
+#define SUBYPTE_COND_9_22_32   6
+  {0xfe,     -0x100,    2, SUBYPTE_COND_9_22_32 + 1},
+  {0x1fffff + 2, -0x200000 + 2, 6, SUBYPTE_COND_9_22_32 + 2},
+  {0x7ffffffe, -0x80000000, 8, 0},
+  /* Conditional branches.(V850E2, max 32bit)  */
+#define SUBYPTE_SA_9_22_32     9
+  {0xfe,     -0x100,    2, SUBYPTE_SA_9_22_32 + 1},
+  {0x1ffffe + 4, -0x200000 + 4, 8, SUBYPTE_SA_9_22_32 + 2},
+  {0x7ffffffe, -0x80000000, 10, 0},
+  /* Unconditional branches.(V850E2, max 32bit)  */
+#define SUBYPTE_UNCOND_9_22_32 12
+  {0xfe,     -0x100,    2, SUBYPTE_UNCOND_9_22_32 + 1},
+  {0x1ffffe, -0x200000, 4, SUBYPTE_UNCOND_9_22_32 + 2},
+  {0x7ffffffe, -0x80000000, 6, 0},
+  /* Conditional branches.(V850E2R max 22bit)  */
+#define SUBYPTE_COND_9_17_22   15
+  {0xfe,     -0x100,    2, SUBYPTE_COND_9_17_22 + 1},
+  {0xfffe, -0x10000,   4, SUBYPTE_COND_9_17_22 + 2},
+  {0x1ffffe + 2, -0x200000 + 2, 6, 0},
+  /* Conditional branches.(V850E2R max 22bit)  */
+#define SUBYPTE_SA_9_17_22     18
+  {0xfe,     -0x100,    2, SUBYPTE_SA_9_17_22 + 1},
+  {0xfffe, -0x10000,   4, SUBYPTE_SA_9_17_22 + 2},
+  {0x1ffffe + 4, -0x200000 + 4, 8, 0},
+  /* Conditional branches.(V850E2R max 32bit)  */
+#define SUBYPTE_COND_9_17_22_32        21
+  {0xfe,     -0x100,    2, SUBYPTE_COND_9_17_22_32 + 1},
+  {0xfffe, -0x10000,   4, SUBYPTE_COND_9_17_22_32 + 2},
+  {0x1ffffe + 2, -0x200000 + 2, 6, SUBYPTE_COND_9_17_22_32 + 3},
+  {0x7ffffffe, -0x80000000, 8, 0},
+  /* Conditional branches.(V850E2R max 32bit)  */
+#define SUBYPTE_SA_9_17_22_32  25
+  {0xfe,     -0x100,    2, SUBYPTE_SA_9_17_22_32 + 1},
+  {0xfffe, -0x10000,   4, SUBYPTE_SA_9_17_22_32 + 2},
+  {0x1ffffe + 4, -0x200000 + 4, 8, SUBYPTE_SA_9_17_22_32 + 3},
+  {0x7ffffffe, -0x80000000, 10, 0},
+  /* Loop.  (V850E2V4_UP, max 22-bit).  */
+#define SUBYPTE_LOOP_16_22     29
+  {0x0, -0x0fffe, 4, SUBYPTE_LOOP_16_22 + 1},
+  {0x1ffffe + 2, -0x200000 + 2, 6, 0},
 };
 
-static int  v850_relax = 0;
+static int v850_relax = 0;
+
+/* Default branch disp size 22 or 32.  */
+static int default_disp_size = 22;
+
+/* Default no using bcond17.  */
+static int no_bcond17 = 0;
+
+/* Default no using ld/st 23bit offset.  */
+static int no_stld23 = 0;
 
 /* Fixups.  */
 #define MAX_INSN_FIXUPS   5
@@ -168,7 +229,7 @@ do_v850_seg (int i, subsegT sub)
   else
     {
       seg->s = subseg_new (seg->name, sub);
-      bfd_set_section_flags (stdoutput, seg->s, seg->flags);
+      bfd_set_section_flags (seg->s, seg->flags);
       if ((seg->flags & SEC_LOAD) == 0)
        seg_info (seg->s)->bss = 1;
     }
@@ -209,8 +270,7 @@ v850_comm (int area)
   symbolS *symbolP;
   int have_align;
 
-  name = input_line_pointer;
-  c = get_symbol_end ();
+  c = get_symbol_name (&name);
 
   /* Just after name is now '\0'.  */
   p = input_line_pointer;
@@ -460,13 +520,17 @@ static void
 set_machine (int number)
 {
   machine = number;
-  bfd_set_arch_mach (stdoutput, TARGET_ARCH, machine);
+  bfd_set_arch_mach (stdoutput, v850_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;
+    case 0:                SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850);    break;
+    case bfd_mach_v850:    SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850);    break;
+    case bfd_mach_v850e:   SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E);   break;
+    case bfd_mach_v850e1:  SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E);   break;
+    case bfd_mach_v850e2:  SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2);  break;
+    case bfd_mach_v850e2v3:SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3); break;
+    case bfd_mach_v850e3v5: SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5); break;
     }
 }
 
@@ -478,16 +542,16 @@ v850_longcode (int type)
   if (! v850_relax)
     {
       if (type == 1)
-       as_warn (".longcall pseudo-op seen when not relaxing");
+       as_warn (_(".longcall pseudo-op seen when not relaxing"));
       else
-       as_warn (".longjump pseudo-op seen when not relaxing");
+       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");
+      as_bad (_("bad .longcall format"));
       ignore_rest_of_line ();
 
       return;
@@ -524,7 +588,11 @@ const pseudo_typeS md_pseudo_table[] =
   { "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         },
+  { "v850e1",          set_machine,            bfd_mach_v850e1         },
+  { "v850e2",          set_machine,            bfd_mach_v850e2         },
+  { "v850e2v3",                set_machine,            bfd_mach_v850e2v3       },
+  { "v850e2v4",                set_machine,            bfd_mach_v850e3v5       },
+  { "v850e3v5",                set_machine,            bfd_mach_v850e3v5       },
   { "longcall",                v850_longcode,          1                       },
   { "longjump",                v850_longcode,          2                       },
   { NULL,              NULL,                   0                       }
@@ -536,45 +604,45 @@ static struct hash_control *v850_hash;
 /* 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.  */
-  { "r0",   0 },
-  { "r1",   1 },
-  { "r10", 10 },
-  { "r11", 11 },
-  { "r12", 12 },
-  { "r13", 13 },
-  { "r14", 14 },
-  { "r15", 15 },
-  { "r16", 16 },
-  { "r17", 17 },
-  { "r18", 18 },
-  { "r19", 19 },
-  { "r2",   2 },
-  { "r20", 20 },
-  { "r21", 21 },
-  { "r22", 22 },
-  { "r23", 23 },
-  { "r24", 24 },
-  { "r25", 25 },
-  { "r26", 26 },
-  { "r27", 27 },
-  { "r28", 28 },
-  { "r29", 29 },
-  { "r3",   3 },
-  { "r30", 30 },
-  { "r31", 31 },
-  { "r4",   4 },
-  { "r5",   5 },
-  { "r6",   6 },
-  { "r7",   7 },
-  { "r8",   8 },
-  { "r9",   9 },
-  { "sp",   3 },               /* sp - stack ptr.  */
-  { "tp",   5 },               /* tp - text ptr.  */
-  { "zero", 0 },
+  { "ep",  30, PROCESSOR_ALL },                /* ep - element ptr.  */
+  { "gp",   4, PROCESSOR_ALL },                /* gp - global ptr.  */
+  { "hp",   2, PROCESSOR_ALL },                /* hp - handler stack ptr.  */
+  { "lp",  31, PROCESSOR_ALL },                /* lp - link ptr.  */
+  { "r0",   0, PROCESSOR_ALL },
+  { "r1",   1, PROCESSOR_ALL },
+  { "r10", 10, PROCESSOR_ALL },
+  { "r11", 11, PROCESSOR_ALL },
+  { "r12", 12, PROCESSOR_ALL },
+  { "r13", 13, PROCESSOR_ALL },
+  { "r14", 14, PROCESSOR_ALL },
+  { "r15", 15, PROCESSOR_ALL },
+  { "r16", 16, PROCESSOR_ALL },
+  { "r17", 17, PROCESSOR_ALL },
+  { "r18", 18, PROCESSOR_ALL },
+  { "r19", 19, PROCESSOR_ALL },
+  { "r2",   2, PROCESSOR_ALL },
+  { "r20", 20, PROCESSOR_ALL },
+  { "r21", 21, PROCESSOR_ALL },
+  { "r22", 22, PROCESSOR_ALL },
+  { "r23", 23, PROCESSOR_ALL },
+  { "r24", 24, PROCESSOR_ALL },
+  { "r25", 25, PROCESSOR_ALL },
+  { "r26", 26, PROCESSOR_ALL },
+  { "r27", 27, PROCESSOR_ALL },
+  { "r28", 28, PROCESSOR_ALL },
+  { "r29", 29, PROCESSOR_ALL },
+  { "r3",   3, PROCESSOR_ALL },
+  { "r30", 30, PROCESSOR_ALL },
+  { "r31", 31, PROCESSOR_ALL },
+  { "r4",   4, PROCESSOR_ALL },
+  { "r5",   5, PROCESSOR_ALL },
+  { "r6",   6, PROCESSOR_ALL },
+  { "r7",   7, PROCESSOR_ALL },
+  { "r8",   8, PROCESSOR_ALL },
+  { "r9",   9, PROCESSOR_ALL },
+  { "sp",   3, PROCESSOR_ALL },                /* sp - stack ptr.  */
+  { "tp",   5, PROCESSOR_ALL },                /* tp - text ptr.  */
+  { "zero", 0, PROCESSOR_ALL },
 };
 
 #define REG_NAME_CNT                                           \
@@ -582,69 +650,292 @@ static const struct reg_name pre_defined_registers[] =
 
 static const struct reg_name system_registers[] =
 {
-  { "asid",  23 },
-  { "bpc",   22 },
-  { "bpav",  24 },
-  { "bpam",  25 },
-  { "bpdv",  26 },
-  { "bpdm",  27 },
-  { "ctbp",  20 },
-  { "ctpc",  16 },
-  { "ctpsw", 17 },
-  { "dbpc",  18 },
-  { "dbpsw", 19 },
-  { "dir",   21 },
-  { "ecr",    4 },
-  { "eipc",   0 },
-  { "eipsw",  1 },
-  { "fepc",   2 },
-  { "fepsw",  3 },
-  { "psw",    5 },
+  { "asid",        23, PROCESSOR_NOT_V850 },
+  { "bpam",        25, PROCESSOR_NOT_V850 },
+  { "bpav",        24, PROCESSOR_NOT_V850 },
+  { "bpc",         22, PROCESSOR_NOT_V850 },
+  { "bpdm",        27, PROCESSOR_NOT_V850 },
+  { "bpdv",        26, PROCESSOR_NOT_V850 },
+  { "bsel",        31, PROCESSOR_V850E2_UP },
+  { "cfg",          7, PROCESSOR_V850E2V3_UP },
+  { "ctbp",        20, PROCESSOR_NOT_V850 },
+  { "ctpc",        16, PROCESSOR_NOT_V850 },
+  { "ctpsw",       17, PROCESSOR_NOT_V850 },
+  { "dbic",        15, PROCESSOR_V850E2_UP },
+  { "dbpc",        18, PROCESSOR_NOT_V850 },
+  { "dbpsw",       19, PROCESSOR_NOT_V850 },
+  { "dbwr",        30, PROCESSOR_V850E2_UP },
+  { "dir",         21, PROCESSOR_NOT_V850 },
+  { "dpa0l",       16, PROCESSOR_V850E2V3_UP },
+  { "dpa0u",       17, PROCESSOR_V850E2V3_UP },
+  { "dpa1l",       18, PROCESSOR_V850E2V3_UP },
+  { "dpa1u",       19, PROCESSOR_V850E2V3_UP },
+  { "dpa2l",       20, PROCESSOR_V850E2V3_UP },
+  { "dpa2u",       21, PROCESSOR_V850E2V3_UP },
+  { "dpa3l",       22, PROCESSOR_V850E2V3_UP },
+  { "dpa3u",       23, PROCESSOR_V850E2V3_UP },
+  { "dpa4l",       24, PROCESSOR_V850E2V3_UP },
+  { "dpa4u",       25, PROCESSOR_V850E2V3_UP },
+  { "dpa5l",       26, PROCESSOR_V850E2V3_UP },
+  { "dpa5u",       27, PROCESSOR_V850E2V3_UP },
+  { "ecr",          4, PROCESSOR_ALL },
+  { "eh_base",      3, PROCESSOR_V850E2V3_UP },
+  { "eh_cfg",       1, PROCESSOR_V850E2V3_UP },
+  { "eh_reset",     2, PROCESSOR_V850E2V3_UP },
+  { "eiic",        13, PROCESSOR_V850E2_UP },
+  { "eipc",         0, PROCESSOR_ALL },
+  { "eipsw",        1, PROCESSOR_ALL },
+  { "eiwr",        28, PROCESSOR_V850E2_UP },
+  { "feic",        14, PROCESSOR_V850E2_UP },
+  { "fepc",         2, PROCESSOR_ALL },
+  { "fepsw",        3, PROCESSOR_ALL },
+  { "fewr",        29, PROCESSOR_V850E2_UP },
+  { "fpcc",         9, PROCESSOR_V850E2V3_UP },
+  { "fpcfg",       10, PROCESSOR_V850E2V3_UP },
+  { "fpec",        11, PROCESSOR_V850E2V3_UP },
+  { "fpepc",        7, PROCESSOR_V850E2V3_UP },
+  { "fpspc",       27, PROCESSOR_V850E2V3_UP },
+  { "fpsr",         6, PROCESSOR_V850E2V3_UP },
+  { "fpst",         8, PROCESSOR_V850E2V3_UP },
+  { "ipa0l",        6, PROCESSOR_V850E2V3_UP },
+  { "ipa0u",        7, PROCESSOR_V850E2V3_UP },
+  { "ipa1l",        8, PROCESSOR_V850E2V3_UP },
+  { "ipa1u",        9, PROCESSOR_V850E2V3_UP },
+  { "ipa2l",       10, PROCESSOR_V850E2V3_UP },
+  { "ipa2u",       11, PROCESSOR_V850E2V3_UP },
+  { "ipa3l",       12, PROCESSOR_V850E2V3_UP },
+  { "ipa3u",       13, PROCESSOR_V850E2V3_UP },
+  { "ipa4l",       14, PROCESSOR_V850E2V3_UP },
+  { "ipa4u",       15, PROCESSOR_V850E2V3_UP },
+  { "mca",         24, PROCESSOR_V850E2V3_UP },
+  { "mcc",         26, PROCESSOR_V850E2V3_UP },
+  { "mcr",         27, PROCESSOR_V850E2V3_UP },
+  { "mcs",         25, PROCESSOR_V850E2V3_UP },
+  { "mpc",          1, PROCESSOR_V850E2V3_UP },
+  { "mpm",          0, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa0l", 16, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa0u", 17, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa1l", 18, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa1u", 19, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa2l", 20, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa2u", 21, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa3l", 22, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa3u", 23, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa4l", 24, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa4u", 25, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa5l", 26, PROCESSOR_V850E2V3_UP },
+  { "mpu10_dpa5u", 27, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa0l",  6, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa0u",  7, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa1l",  8, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa1u",  9, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa2l", 10, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa2u", 11, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa3l", 12, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa3u", 13, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa4l", 14, PROCESSOR_V850E2V3_UP },
+  { "mpu10_ipa4u", 15, PROCESSOR_V850E2V3_UP },
+  { "mpu10_mpc",    1, PROCESSOR_V850E2V3_UP },
+  { "mpu10_mpm",    0, PROCESSOR_V850E2V3_UP },
+  { "mpu10_tid",    2, PROCESSOR_V850E2V3_UP },
+  { "mpu10_vmadr",  5, PROCESSOR_V850E2V3_UP },
+  { "mpu10_vmecr",  3, PROCESSOR_V850E2V3_UP },
+  { "mpu10_vmtid",  4, PROCESSOR_V850E2V3_UP },
+  { "pid",          6, PROCESSOR_V850E2V3_UP },
+  { "pmcr0",        4, PROCESSOR_V850E2V3_UP },
+  { "pmis2",       14, PROCESSOR_V850E2V3_UP },
+  { "psw",          5, PROCESSOR_ALL },
+  { "scbp",        12, PROCESSOR_V850E2V3_UP },
+  { "sccfg",       11, PROCESSOR_V850E2V3_UP },
+  { "sr0",          0, PROCESSOR_ALL },
+  { "sr1",          1, PROCESSOR_ALL },
+  { "sr10",        10, PROCESSOR_ALL },
+  { "sr11",        11, PROCESSOR_ALL },
+  { "sr12",        12, PROCESSOR_ALL },
+  { "sr13",        13, PROCESSOR_ALL },
+  { "sr14",        14, PROCESSOR_ALL },
+  { "sr15",        15, PROCESSOR_ALL },
+  { "sr16",        16, PROCESSOR_ALL },
+  { "sr17",        17, PROCESSOR_ALL },
+  { "sr18",        18, PROCESSOR_ALL },
+  { "sr19",        19, PROCESSOR_ALL },
+  { "sr2",          2, PROCESSOR_ALL },
+  { "sr20",        20, PROCESSOR_ALL },
+  { "sr21",        21, PROCESSOR_ALL },
+  { "sr22",        22, PROCESSOR_ALL },
+  { "sr23",        23, PROCESSOR_ALL },
+  { "sr24",        24, PROCESSOR_ALL },
+  { "sr25",        25, PROCESSOR_ALL },
+  { "sr26",        26, PROCESSOR_ALL },
+  { "sr27",        27, PROCESSOR_ALL },
+  { "sr28",        28, PROCESSOR_ALL },
+  { "sr29",        29, PROCESSOR_ALL },
+  { "sr3",          3, PROCESSOR_ALL },
+  { "sr30",        30, PROCESSOR_ALL },
+  { "sr31",        31, PROCESSOR_ALL },
+  { "sr4",          4, PROCESSOR_ALL },
+  { "sr5",          5, PROCESSOR_ALL },
+  { "sr6",          6, PROCESSOR_ALL },
+  { "sr7",          7, PROCESSOR_ALL },
+  { "sr8",          8, PROCESSOR_ALL },
+  { "sr9",          9, PROCESSOR_ALL },
+  { "sw_base",      3, PROCESSOR_V850E2V3_UP },
+  { "sw_cfg",       1, PROCESSOR_V850E2V3_UP },
+  { "sw_ctl",       0, PROCESSOR_V850E2V3_UP },
+  { "tid",          2, PROCESSOR_V850E2V3_UP },
+  { "vmadr",        6, PROCESSOR_V850E2V3_UP },
+  { "vmecr",        4, PROCESSOR_V850E2V3_UP },
+  { "vmtid",        5, PROCESSOR_V850E2V3_UP },
+  { "vsadr",        2, PROCESSOR_V850E2V3_UP },
+  { "vsecr",        0, PROCESSOR_V850E2V3_UP },
+  { "vstid",        1, PROCESSOR_V850E2V3_UP },
 };
 
 #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[] =
 {
-  { "c",  0x1 },
-  { "e",  0x2 },
-  { "ge", 0xe },
-  { "gt", 0xf },
-  { "h",  0xb },
-  { "l",  0x1 },
-  { "le", 0x7 },
-  { "lt", 0x6 },
-  { "n",  0x4 },
-  { "nc", 0x9 },
-  { "ne", 0xa },
-  { "nh", 0x3 },
-  { "nl", 0x9 },
-  { "ns", 0xc },
-  { "nv", 0x8 },
-  { "nz", 0xa },
-  { "p",  0xc },
-  { "s",  0x4 },
-  { "sa", 0xd },
-  { "t",  0x5 },
-  { "v",  0x0 },
-  { "z",  0x2 },
+  { "c",  0x1, PROCESSOR_ALL },
+  { "e",  0x2, PROCESSOR_ALL },
+  { "ge", 0xe, PROCESSOR_ALL },
+  { "gt", 0xf, PROCESSOR_ALL },
+  { "h",  0xb, PROCESSOR_ALL },
+  { "l",  0x1, PROCESSOR_ALL },
+  { "le", 0x7, PROCESSOR_ALL },
+  { "lt", 0x6, PROCESSOR_ALL },
+  { "n",  0x4, PROCESSOR_ALL },
+  { "nc", 0x9, PROCESSOR_ALL },
+  { "ne", 0xa, PROCESSOR_ALL },
+  { "nh", 0x3, PROCESSOR_ALL },
+  { "nl", 0x9, PROCESSOR_ALL },
+  { "ns", 0xc, PROCESSOR_ALL },
+  { "nv", 0x8, PROCESSOR_ALL },
+  { "nz", 0xa, PROCESSOR_ALL },
+  { "p",  0xc, PROCESSOR_ALL },
+  { "s",  0x4, PROCESSOR_ALL },
+#define COND_SA_NUM 0xd
+  { "sa", COND_SA_NUM, PROCESSOR_ALL },
+  { "t",  0x5, PROCESSOR_ALL },
+  { "v",  0x0, PROCESSOR_ALL },
+  { "z",  0x2, PROCESSOR_ALL },
 };
 
 #define CC_NAME_CNT                                    \
   (sizeof (cc_names) / sizeof (struct reg_name))
 
+static const struct reg_name float_cc_names[] =
+{
+  { "eq",  0x2, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "f",   0x0, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "ge",  0xd, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "gl",  0xb, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "gle", 0x9, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "gt",  0xf, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "le",  0xe, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "lt",  0xc, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "neq", 0x2, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "nge", 0xd, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "ngl", 0xb, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "ngle",0x9, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "ngt", 0xf, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "nle", 0xe, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "nlt", 0xc, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "oge", 0x5, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ogl", 0x3, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ogt", 0x7, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ole", 0x6, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "olt", 0x4, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "or",  0x1, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "seq", 0xa, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "sf",  0x8, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "sne", 0xa, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "st",  0x8, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "t",   0x0, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ueq", 0x3, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "uge", 0x4, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ugt", 0x6, PROCESSOR_V850E2V3_UP },       /* false.  */
+  { "ule", 0x7, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "ult", 0x5, PROCESSOR_V850E2V3_UP },       /* true.  */
+  { "un",  0x1, PROCESSOR_V850E2V3_UP },       /* true.  */
+};
+
+#define FLOAT_CC_NAME_CNT                                      \
+  (sizeof (float_cc_names) / sizeof (struct reg_name))
+
+
+static const struct reg_name cacheop_names[] =
+{
+  { "cfald",   0x44, PROCESSOR_V850E3V5_UP },
+  { "cfali",   0x40, PROCESSOR_V850E3V5_UP },
+  { "chbid",   0x04, PROCESSOR_V850E3V5_UP },
+  { "chbii",   0x00, PROCESSOR_V850E3V5_UP },
+  { "chbiwbd", 0x06, PROCESSOR_V850E3V5_UP },
+  { "chbwbd",  0x07, PROCESSOR_V850E3V5_UP },
+  { "cibid",   0x24, PROCESSOR_V850E3V5_UP },
+  { "cibii",   0x20, PROCESSOR_V850E3V5_UP },
+  { "cibiwbd", 0x26, PROCESSOR_V850E3V5_UP },
+  { "cibwbd",  0x27, PROCESSOR_V850E3V5_UP },
+  { "cildd",   0x65, PROCESSOR_V850E3V5_UP },
+  { "cildi",   0x61, PROCESSOR_V850E3V5_UP },
+  { "cistd",   0x64, PROCESSOR_V850E3V5_UP },
+  { "cisti",   0x60, PROCESSOR_V850E3V5_UP },
+};
+
+#define CACHEOP_NAME_CNT                                       \
+  (sizeof (cacheop_names) / sizeof (struct reg_name))
+
+static const struct reg_name prefop_names[] =
+{
+  { "prefd",   0x04, PROCESSOR_V850E3V5_UP },
+  { "prefi",   0x00, PROCESSOR_V850E3V5_UP },
+};
+
+#define PREFOP_NAME_CNT                                        \
+  (sizeof (prefop_names) / sizeof (struct reg_name))
+
+static const struct reg_name vector_registers[] =
+{
+  { "vr0",   0, PROCESSOR_V850E3V5_UP },
+  { "vr1",   1, PROCESSOR_V850E3V5_UP },
+  { "vr10", 10, PROCESSOR_V850E3V5_UP },
+  { "vr11", 11, PROCESSOR_V850E3V5_UP },
+  { "vr12", 12, PROCESSOR_V850E3V5_UP },
+  { "vr13", 13, PROCESSOR_V850E3V5_UP },
+  { "vr14", 14, PROCESSOR_V850E3V5_UP },
+  { "vr15", 15, PROCESSOR_V850E3V5_UP },
+  { "vr16", 16, PROCESSOR_V850E3V5_UP },
+  { "vr17", 17, PROCESSOR_V850E3V5_UP },
+  { "vr18", 18, PROCESSOR_V850E3V5_UP },
+  { "vr19", 19, PROCESSOR_V850E3V5_UP },
+  { "vr2",   2, PROCESSOR_V850E3V5_UP },
+  { "vr20", 20, PROCESSOR_V850E3V5_UP },
+  { "vr21", 21, PROCESSOR_V850E3V5_UP },
+  { "vr22", 22, PROCESSOR_V850E3V5_UP },
+  { "vr23", 23, PROCESSOR_V850E3V5_UP },
+  { "vr24", 24, PROCESSOR_V850E3V5_UP },
+  { "vr25", 25, PROCESSOR_V850E3V5_UP },
+  { "vr26", 26, PROCESSOR_V850E3V5_UP },
+  { "vr27", 27, PROCESSOR_V850E3V5_UP },
+  { "vr28", 28, PROCESSOR_V850E3V5_UP },
+  { "vr29", 29, PROCESSOR_V850E3V5_UP },
+  { "vr3",   3, PROCESSOR_V850E3V5_UP },
+  { "vr30", 30, PROCESSOR_V850E3V5_UP },
+  { "vr31", 31, PROCESSOR_V850E3V5_UP },
+  { "vr4",   4, PROCESSOR_V850E3V5_UP },
+  { "vr5",   5, PROCESSOR_V850E3V5_UP },
+  { "vr6",   6, PROCESSOR_V850E3V5_UP },
+  { "vr7",   7, PROCESSOR_V850E3V5_UP },
+  { "vr8",   8, PROCESSOR_V850E3V5_UP },
+  { "vr9",   9, PROCESSOR_V850E3V5_UP },
+};
+
+#define VREG_NAME_CNT                                          \
+  (sizeof (vector_registers) / 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
+   valid register name.  Return the register number from the array on
    success, or -1 on failure.  */
 
 static int
@@ -668,9 +959,7 @@ reg_name_search (const struct reg_name *regs,
       else if (accept_numbers)
        {
          int reg = S_GET_VALUE (symbolP);
-
-         if (reg >= 0 && reg <= 31)
-           return reg;
+         return reg;
        }
 
       /* Otherwise drop through and try parsing name normally.  */
@@ -688,7 +977,9 @@ reg_name_search (const struct reg_name *regs,
       else if (cmp > 0)
        low = middle + 1;
       else
-       return regs[middle].value;
+       return ((regs[middle].processors & processor_mask)
+               ? regs[middle].value
+               : -1);
     }
   while (low <= high);
   return -1;
@@ -713,15 +1004,17 @@ register_name (expressionS *expressionP)
   char c;
 
   /* Find the spelling of the operand.  */
-  start = name = input_line_pointer;
-
-  c = get_symbol_end ();
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
 
   reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT,
                                name, FALSE);
 
   /* Put back the delimiting char.  */
-  *input_line_pointer = c;
+  (void) restore_line_pointer (c);
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
 
   /* Look to see if it's in the register table.  */
   if (reg_number >= 0)
@@ -729,19 +1022,15 @@ register_name (expressionS *expressionP)
       expressionP->X_op                = O_register;
       expressionP->X_add_number = reg_number;
 
-      /* Make the rest nice.  */
-      expressionP->X_add_symbol = NULL;
-      expressionP->X_op_symbol  = NULL;
-
       return TRUE;
     }
-  else
-    {
-      /* Reset the line as if we had not done anything.  */
-      input_line_pointer = start;
 
-      return FALSE;
-    }
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+
+  return FALSE;
 }
 
 /* Summary of system_register_name().
@@ -749,8 +1038,6 @@ register_name (expressionS *expressionP)
    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,
@@ -760,8 +1047,7 @@ register_name (expressionS *expressionP)
 
 static bfd_boolean
 system_register_name (expressionS *expressionP,
-                     bfd_boolean accept_numbers,
-                     bfd_boolean accept_list_names)
+                     bfd_boolean accept_numbers)
 {
   int reg_number;
   char *name;
@@ -769,14 +1055,13 @@ system_register_name (expressionS *expressionP,
   char c;
 
   /* Find the spelling of the operand.  */
-  start = name = input_line_pointer;
-
-  c = get_symbol_end ();
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
   reg_number = reg_name_search (system_registers, SYSREG_NAME_CNT, name,
                                accept_numbers);
 
   /* Put back the delimiting char.  */
-  *input_line_pointer = c;
+  (void) restore_line_pointer (c);
 
   if (reg_number < 0
       && accept_numbers)
@@ -786,44 +1071,28 @@ system_register_name (expressionS *expressionP,
 
       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)
-       {
-         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;
+         reg_number = strtol (input_line_pointer, &input_line_pointer, 0);
        }
     }
 
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
+
   /* Look to see if it's in the register table.  */
   if (reg_number >= 0)
     {
       expressionP->X_op                = O_register;
       expressionP->X_add_number = reg_number;
 
-      /* Make the rest nice.  */
-      expressionP->X_add_symbol = NULL;
-      expressionP->X_op_symbol  = NULL;
-
       return TRUE;
     }
-  else
-    {
-      /* Reset the line as if we had not done anything.  */
-      input_line_pointer = start;
 
-      return FALSE;
-    }
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+
+  return FALSE;
 }
 
 /* Summary of cc_name().
@@ -837,7 +1106,8 @@ system_register_name (expressionS *expressionP,
        its original state.  */
 
 static bfd_boolean
-cc_name (expressionS *expressionP)
+cc_name (expressionS *expressionP,
+        bfd_boolean accept_numbers)
 {
   int reg_number;
   char *name;
@@ -845,13 +1115,77 @@ cc_name (expressionS *expressionP)
   char c;
 
   /* Find the spelling of the operand.  */
-  start = name = input_line_pointer;
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
+  reg_number = reg_name_search (cc_names, CC_NAME_CNT, name, accept_numbers);
+
+  /* Put back the delimiting char.  */
+  (void) restore_line_pointer (c);
+
+  if (reg_number < 0
+      && accept_numbers)
+    {
+      /* Reset input_line pointer.  */
+      input_line_pointer = start;
+
+      if (ISDIGIT (*input_line_pointer))
+       {
+         reg_number = strtol (input_line_pointer, &input_line_pointer, 0);
+       }
+    }
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
 
-  c = get_symbol_end ();
-  reg_number = reg_name_search (cc_names, CC_NAME_CNT, name, FALSE);
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
+    {
+      expressionP->X_op                = O_constant;
+      expressionP->X_add_number = reg_number;
+
+      return TRUE;
+    }
+
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+  expressionP->X_add_number = 0;
+
+  return FALSE;
+}
+
+static bfd_boolean
+float_cc_name (expressionS *expressionP,
+              bfd_boolean accept_numbers)
+{
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
+
+  /* Find the spelling of the operand.  */
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
+  reg_number = reg_name_search (float_cc_names, FLOAT_CC_NAME_CNT, name, accept_numbers);
 
   /* Put back the delimiting char.  */
-  *input_line_pointer = c;
+  (void) restore_line_pointer (c);
+
+  if (reg_number < 0
+      && accept_numbers)
+    {
+      /* Reset input_line pointer.  */
+      input_line_pointer = start;
+
+      if (ISDIGIT (*input_line_pointer))
+       {
+         reg_number = strtol (input_line_pointer, &input_line_pointer, 0);
+       }
+    }
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
 
   /* Look to see if it's in the register table.  */
   if (reg_number >= 0)
@@ -859,19 +1193,150 @@ cc_name (expressionS *expressionP)
       expressionP->X_op                = O_constant;
       expressionP->X_add_number = reg_number;
 
-      /* Make the rest nice.  */
-      expressionP->X_add_symbol = NULL;
-      expressionP->X_op_symbol  = NULL;
+      return TRUE;
+    }
+
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+  expressionP->X_add_number = 0;
+
+  return FALSE;
+}
+
+static bfd_boolean
+cacheop_name (expressionS * expressionP,
+             bfd_boolean accept_numbers)
+{
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
+
+  /* Find the spelling of the operand.  */
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
+  reg_number = reg_name_search (cacheop_names, CACHEOP_NAME_CNT, name, accept_numbers);
+
+  /* Put back the delimiting char.  */
+  (void) restore_line_pointer (c);
+
+  if (reg_number < 0
+      && accept_numbers)
+    {
+      /* Reset input_line pointer.  */
+      input_line_pointer = start;
+
+      if (ISDIGIT (*input_line_pointer))
+       reg_number = strtol (input_line_pointer, &input_line_pointer, 0);
+    }
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
+
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
+    {
+      expressionP->X_op                = O_constant;
+      expressionP->X_add_number = reg_number;
 
       return TRUE;
     }
-  else
+
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+  expressionP->X_add_number = 0;
+
+  return FALSE;
+}
+
+static bfd_boolean
+prefop_name (expressionS * expressionP,
+            bfd_boolean accept_numbers)
+{
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
+
+  /* Find the spelling of the operand.  */
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
+  reg_number = reg_name_search (prefop_names, PREFOP_NAME_CNT, name, accept_numbers);
+
+  /* Put back the delimiting char.  */
+  (void) restore_line_pointer (c);
+
+  if (reg_number < 0
+      && accept_numbers)
     {
-      /* Reset the line as if we had not done anything.  */
+      /* Reset input_line pointer.  */
       input_line_pointer = start;
 
-      return FALSE;
+      if (ISDIGIT (*input_line_pointer))
+       reg_number = strtol (input_line_pointer, &input_line_pointer, 0);
+    }
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
+
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
+    {
+      expressionP->X_op                = O_constant;
+      expressionP->X_add_number = reg_number;
+
+      return TRUE;
+    }
+
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+  expressionP->X_add_number = 0;
+
+  return FALSE;
+}
+
+static bfd_boolean
+vector_register_name (expressionS *expressionP)
+{
+  int reg_number;
+  char *name;
+  char *start;
+  char c;
+
+  /* Find the spelling of the operand.  */
+  start = input_line_pointer;
+  c = get_symbol_name (&name);
+
+  reg_number = reg_name_search (vector_registers, VREG_NAME_CNT,
+                               name, FALSE);
+
+  /* Put back the delimiting char.  */
+  (void) restore_line_pointer (c);
+
+  expressionP->X_add_symbol = NULL;
+  expressionP->X_op_symbol  = NULL;
+
+  /* Look to see if it's in the register table.  */
+  if (reg_number >= 0)
+    {
+      expressionP->X_op                = O_register;
+      expressionP->X_add_number = reg_number;
+
+      return TRUE;
     }
+
+  /* Reset the line as if we had not done anything.  */
+  input_line_pointer = start;
+
+  expressionP->X_op = O_illegal;
+
+  return FALSE;
 }
 
 static void
@@ -901,13 +1366,13 @@ skip_white_space (void)
      { rX - rY, rZ }
      etc
 
-   and also parses constant expressions whoes bits indicate the
+   and also parses constant expressions whose 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 *
+static const char *
 parse_register_list (unsigned long *insn,
                     const struct v850_operand *operand)
 {
@@ -916,16 +1381,7 @@ parse_register_list (unsigned long *insn,
     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;
 
@@ -933,8 +1389,6 @@ parse_register_list (unsigned long *insn,
   switch (operand->shift)
     {
     case 0xffe00001: regs = type1_regs; break;
-    case 0xfff8000f: regs = type2_regs; break;
-    case 0xfff8001f: regs = type3_regs; break;
     default:
       as_bad (_("unknown operand shift: %x\n"), operand->shift);
       return _("internal failure in parse_register_list");
@@ -943,7 +1397,7 @@ parse_register_list (unsigned long *insn,
   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 expression, whose bits indicate which
      registers are to be included in the list.  */
   if (*input_line_pointer != '{')
     {
@@ -968,41 +1422,6 @@ parse_register_list (unsigned long *insn,
                    *insn |= (1 << i);
              }
        }
-      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++)
-           if (exp.X_add_number & (1 << (reg - 1)))
-             {
-               for (i = 0; i < 32; i++)
-                 if (regs[i] == reg)
-                   *insn |= (1 << i);
-             }
-
-         if (exp.X_add_number & (1 << 15))
-           *insn |= (1 << 3);
-
-         if (exp.X_add_number & (1 << 16))
-           *insn |= (1 << 19);
-       }
-      else /* regs == type3_regs  */
-       {
-         if (exp.X_add_number & 0xFFFE0000)
-           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);
-             }
-
-         if (exp.X_add_number & (1 << 16))
-           *insn |= (1 << 19);
-       }
 
       return NULL;
     }
@@ -1013,6 +1432,8 @@ parse_register_list (unsigned long *insn,
      new-line) is found.  */
   for (;;)
     {
+      skip_white_space ();
+
       if (register_name (&exp))
        {
          int i;
@@ -1031,25 +1452,15 @@ parse_register_list (unsigned long *insn,
          if (i == 32)
            return _("illegal register included in list");
        }
-      else if (system_register_name (&exp, TRUE, TRUE))
+      else if (system_register_name (&exp, TRUE))
        {
          if (regs == type1_regs)
            {
              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");
-             else
-               *insn |= 0x8;
-           }
-         else if (exp.X_add_number < 4)
-           *insn |= 0x80000;
-         else
-           return _("High value system registers cannot be included in list");
        }
-      else if (*input_line_pointer == '}')
+
+      if (*input_line_pointer == '}')
        {
          input_line_pointer++;
          break;
@@ -1072,7 +1483,11 @@ parse_register_list (unsigned long *insn,
          if (! register_name (&exp2))
            {
              return _("second register should follow dash in register list");
-             exp2.X_add_number = exp.X_add_number;
+           }
+
+         if (exp.X_add_number > exp2.X_add_number)
+           {
+             return _("second register should be greater than first register");
            }
 
          /* Add the rest of the registers in the range.  */
@@ -1094,11 +1509,11 @@ parse_register_list (unsigned long *insn,
              if (i == 32)
                return _("illegal register included in list");
            }
+
+         exp = exp2;
        }
       else
        break;
-
-      skip_white_space ();
     }
 
   return NULL;
@@ -1108,11 +1523,17 @@ const char *md_shortopts = "m:";
 
 struct option md_longopts[] =
 {
+#define OPTION_DISP_SIZE_DEFAULT_22 (OPTION_MD_BASE)
+  {"disp-size-default-22", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_22},
+#define OPTION_DISP_SIZE_DEFAULT_32 (OPTION_MD_BASE + 1)
+  {"disp-size-default-32", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_32},
   {NULL, no_argument, NULL, 0}
 };
 
 size_t md_longopts_size = sizeof (md_longopts);
 
+static bfd_boolean v850_data_8 = FALSE;
+
 void
 md_show_usage (FILE *stream)
 {
@@ -1122,15 +1543,41 @@ md_show_usage (FILE *stream)
   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, _("  -mv850e2                  The code is targeted at the v850e2\n"));
+  fprintf (stream, _("  -mv850e2v3                The code is targeted at the v850e2v3\n"));
+  fprintf (stream, _("  -mv850e2v4                Alias for -mv850e3v5\n"));
+  fprintf (stream, _("  -mv850e3v5                The code is targeted at the v850e3v5\n"));
   fprintf (stream, _("  -mrelax                   Enable relaxation\n"));
+  fprintf (stream, _("  --disp-size-default-22    branch displacement with unknown size is 22 bits (default)\n"));
+  fprintf (stream, _("  --disp-size-default-32    branch displacement with unknown size is 32 bits\n"));
+  fprintf (stream, _("  -mextension               enable extension opcode support\n"));
+  fprintf (stream, _("  -mno-bcond17             disable b<cond> disp17 instruction\n"));
+  fprintf (stream, _("  -mno-stld23              disable st/ld offset23 instruction\n"));
+  fprintf (stream, _("  -mgcc-abi                 Mark the binary as using the old GCC ABI\n"));
+  fprintf (stream, _("  -mrh850-abi               Mark the binary as using the RH850 ABI (default)\n"));
+  fprintf (stream, _("  -m8byte-align             Mark the binary as using 64-bit alignment\n"));
+  fprintf (stream, _("  -m4byte-align             Mark the binary as using 32-bit alignment (default)\n"));
+  fprintf (stream, _("  -msoft-float              Mark the binary as not using FP insns (default for pre e2v3)\n"));
+  fprintf (stream, _("  -mhard-float              Mark the binary as using FP insns (default for e2v3 and up)\n"));
 }
 
 int
-md_parse_option (int c, char *arg)
+md_parse_option (int c, const char *arg)
 {
   if (c != 'm')
-    return 0;
+    {
+      switch (c)
+        {
+        case OPTION_DISP_SIZE_DEFAULT_22:
+          default_disp_size = 22;
+          return 1;
+
+        case OPTION_DISP_SIZE_DEFAULT_32:
+          default_disp_size = 32;
+          return 1;
+        }
+      return 0;
+    }
 
   if (strcmp (arg, "warn-signed-overflow") == 0)
     warn_signed_overflows = TRUE;
@@ -1141,29 +1588,76 @@ md_parse_option (int c, char *arg)
   else if (strcmp (arg, "v850") == 0)
     {
       machine = 0;
-      processor_mask = PROCESSOR_V850;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850);
     }
   else if (strcmp (arg, "v850e") == 0)
     {
       machine = bfd_mach_v850e;
-      processor_mask = PROCESSOR_V850E;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E);
     }
   else if (strcmp (arg, "v850e1") == 0)
     {
       machine = bfd_mach_v850e1;
-      processor_mask = PROCESSOR_V850E1;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E1);
     }
-  else if (strcmp (arg, "v850any") == 0)
+  else if (strcmp (arg, "v850e2") == 0)
     {
-      /* Tell the world that this is for any v850 chip.  */
-      machine = 0;
-
-      /* But support instructions for the extended versions.  */
-      processor_mask = PROCESSOR_V850E;
-      processor_mask |= PROCESSOR_V850E1;
+      machine = bfd_mach_v850e2;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2);
+    }
+  else if (strcmp (arg, "v850e2v3") == 0)
+    {
+      machine = bfd_mach_v850e2v3;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3);
+    }
+  else if (strcmp (arg, "v850e2v4") == 0)
+    {
+      machine = bfd_mach_v850e3v5;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5);
+    }
+  else if (strcmp (arg, "v850e3v5") == 0)
+    {
+      machine = bfd_mach_v850e3v5;
+      SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5);
+    }
+  else if (strcmp (arg, "extension") == 0)
+    {
+      processor_mask |= PROCESSOR_OPTION_EXTENSION | PROCESSOR_OPTION_ALIAS;
+    }
+  else if (strcmp (arg, "no-bcond17") == 0)
+    {
+      no_bcond17 = 1;
+    }
+  else if (strcmp (arg, "no-stld23") == 0)
+    {
+      no_stld23 = 1;
     }
   else if (strcmp (arg, "relax") == 0)
     v850_relax = 1;
+  else if (strcmp (arg, "gcc-abi") == 0)
+    {
+      v850_target_arch = bfd_arch_v850;
+      v850_target_format = "elf32-v850";
+    }
+  else if (strcmp (arg, "rh850-abi") == 0)
+    {
+      v850_target_arch = bfd_arch_v850_rh850;
+      v850_target_format = "elf32-v850-rh850";
+    }
+  else if (strcmp (arg, "8byte-align") == 0)
+    {
+      v850_data_8 = TRUE;
+      v850_e_flags |= EF_RH850_DATA_ALIGN8;
+    }
+  else if (strcmp (arg, "4byte-align") == 0)
+    {
+      v850_data_8 = FALSE;
+      v850_e_flags &= ~ EF_RH850_DATA_ALIGN8;
+    }
+  else if (strcmp (arg, "soft-float") == 0)
+    soft_float = 1;
+  else if (strcmp (arg, "hard-float") == 0)
+    soft_float = 0;
   else
     return 0;
 
@@ -1176,42 +1670,10 @@ md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
   return 0;
 }
 
-char *
+const char *
 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.  */
@@ -1221,17 +1683,84 @@ md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
                 asection *sec,
                 fragS *fragP)
 {
+  union u
+  {
+    bfd_reloc_code_real_type fx_r_type;
+    char * fr_opcode;
+  }
+  opcode_converter;
+  subseg_change (sec, 0);
+
+  opcode_converter.fr_opcode = fragP->fr_opcode;
+
   subseg_change (sec, 0);
 
+  if (fragP->fr_subtype == SUBYPTE_LOOP_16_22)
+    {
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
+              fragP->fr_offset, 1,
+              BFD_RELOC_UNUSED + opcode_converter.fx_r_type);
+      fragP->fr_fix += 4;
+    }
+  else if (fragP->fr_subtype == SUBYPTE_LOOP_16_22 + 1)
+    {
+      unsigned char * buffer =
+       (unsigned char *) (fragP->fr_fix + &fragP->fr_literal[0]);
+      int loop_reg = (buffer[0] & 0x1f);
+
+      /* Add -1.reg.  */
+      md_number_to_chars ((char *) buffer, 0x025f | (loop_reg << 11), 2);
+      /* Now create the conditional branch + fixup to the final target.  */
+      /* 0x000107ea = bne LBL(disp17).  */
+      md_number_to_chars ((char *) buffer + 2, 0x000107ea, 4);
+      fix_new (fragP, fragP->fr_fix+2, 4, fragP->fr_symbol,
+              fragP->fr_offset, 1,
+              BFD_RELOC_V850_17_PCREL);
+      fragP->fr_fix += 6;
+    }
   /* In range conditional or unconditional branch.  */
-  if (fragP->fr_subtype == 0 || fragP->fr_subtype == 2)
+  else if (fragP->fr_subtype == SUBYPTE_COND_9_22
+      || fragP->fr_subtype == SUBYPTE_UNCOND_9_22
+      || fragP->fr_subtype == SUBYPTE_COND_9_22_32
+      || fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32
+      || fragP->fr_subtype == SUBYPTE_COND_9_17_22
+      || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32
+      || fragP->fr_subtype == SUBYPTE_SA_9_22
+      || fragP->fr_subtype == SUBYPTE_SA_9_22_32
+      || fragP->fr_subtype == SUBYPTE_SA_9_17_22
+      || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32)
+
     {
       fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
-              fragP->fr_offset, 1, BFD_RELOC_UNUSED + (int)fragP->fr_opcode);
+              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)
+  /* V850e2r-v3 17bit conditional branch.  */
+  else if (fragP->fr_subtype == SUBYPTE_COND_9_17_22 + 1
+          || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 1
+          || fragP->fr_subtype == SUBYPTE_SA_9_17_22 + 1
+          || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 1)
+    {
+      unsigned char *buffer =
+       (unsigned char *) (fragP->fr_fix + &fragP->fr_literal[0]);
+
+      buffer[0] &= 0x0f;       /* Use condition.  */
+      buffer[0] |= 0xe0;
+      buffer[1] = 0x07;
+
+      /* Now create the unconditional branch + fixup to the final
+        target.  */
+      md_number_to_chars ((char *) buffer + 2, 0x0001, 2);
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
+              fragP->fr_offset, 1, BFD_RELOC_V850_17_PCREL);
+      fragP->fr_fix += 4;
+    }
+  /* Out of range conditional branch.  Emit a branch around a 22bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_COND_9_22 + 1
+          || fragP->fr_subtype == SUBYPTE_COND_9_22_32 + 1
+          || fragP->fr_subtype == SUBYPTE_COND_9_17_22 + 2
+          || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 2)
     {
       unsigned char *buffer =
        (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
@@ -1249,19 +1778,99 @@ md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
         target.  */
       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_offset, 1, BFD_RELOC_V850_22_PCREL);
       fragP->fr_fix += 6;
     }
-  /* Out of range unconditional branch.  Emit a jump.  */
-  else if (fragP->fr_subtype == 3)
+  /* Out of range conditional branch.  Emit a branch around a 32bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_COND_9_22_32 + 2
+          || fragP->fr_subtype == SUBYPTE_COND_9_17_22_32 + 3)
+    {
+      unsigned char *buffer =
+       (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
+
+      /* Reverse the condition of the first branch.  */
+      buffer[0] ^= 0x08;
+      /* Mask off all the displacement bits.  */
+      buffer[0] &= 0x8f;
+      buffer[1] &= 0x07;
+      /* Now set the displacement bits so that we branch
+        around the unconditional branch.  */
+      buffer[0] |= 0x40;
+
+      /* Now create the unconditional branch + fixup to the final
+        target.  */
+      md_number_to_chars ((char *) buffer + 2, 0x02e0, 2);
+      fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol,
+              fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL);
+      fragP->fr_fix += 8;
+    }
+  /* Out of range unconditional branch.  Emit a 22bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_UNCOND_9_22 + 1
+          || fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32 + 1)
     {
       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 +
-              (int) fragP->fr_opcode + 1);
+              fragP->fr_offset, 1, BFD_RELOC_V850_22_PCREL);
       fragP->fr_fix += 4;
     }
+  /* Out of range unconditional branch.  Emit a 32bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_UNCOND_9_22_32 + 2)
+    {
+      md_number_to_chars (fragP->fr_fix + fragP->fr_literal, 0x02e0, 2);
+      fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol,
+              fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL);
+      fragP->fr_fix += 6;
+    }
+  /* Out of range SA conditional branch.  Emit a branch to a 22bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_SA_9_22 + 1
+          || fragP->fr_subtype == SUBYPTE_SA_9_22_32 + 1
+          || fragP->fr_subtype == SUBYPTE_SA_9_17_22 + 2
+          || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 2)
+    {
+      unsigned char *buffer =
+       (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
+
+      /* bsa .+4 */
+      buffer[0] &= 0x8f;
+      buffer[0] |= 0x20;
+      buffer[1] &= 0x07;
+
+      /* br .+6 */
+      md_number_to_chars ((char *) buffer + 2, 0x05b5, 2);
+
+      /* Now create the unconditional branch + fixup to the final
+        target.  */
+      /* jr SYM */
+      md_number_to_chars ((char *) buffer + 4, 0x00000780, 4);
+      fix_new (fragP, fragP->fr_fix + 4, 4, fragP->fr_symbol,
+              fragP->fr_offset, 1,
+              BFD_RELOC_V850_22_PCREL);
+      fragP->fr_fix += 8;
+    }
+  /* Out of range SA conditional branch.  Emit a branch around a 32bit jump.  */
+  else if (fragP->fr_subtype == SUBYPTE_SA_9_22_32 + 2
+          || fragP->fr_subtype == SUBYPTE_SA_9_17_22_32 + 3)
+    {
+      unsigned char *buffer =
+       (unsigned char *) (fragP->fr_fix + fragP->fr_literal);
+
+      /* bsa .+2 */
+      buffer[0] &= 0x8f;
+      buffer[0] |= 0x20;
+      buffer[1] &= 0x07;
+
+      /* br .+8 */
+      md_number_to_chars ((char *) buffer + 2, 0x05c5, 2);
+
+      /* Now create the unconditional branch + fixup to the final
+        target.  */
+      /* jr SYM */
+      md_number_to_chars ((char *) buffer + 4, 0x02e0, 2);
+      fix_new (fragP, fragP->fr_fix + 6, 4, fragP->fr_symbol,
+              fragP->fr_offset + 2, 1, BFD_RELOC_V850_32_PCREL);
+
+      fragP->fr_fix += 10;
+    }
   else
     abort ();
 }
@@ -1269,45 +1878,80 @@ md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
 valueT
 md_section_align (asection *seg, valueT addr)
 {
-  int align = bfd_get_section_alignment (stdoutput, seg);
-  return ((addr + (1 << align) - 1) & (-1 << align));
+  int align = bfd_section_alignment (seg);
+  return ((addr + (1 << align) - 1) & -(1 << align));
 }
 
 void
 md_begin (void)
 {
-  char *prev_name = "";
+  const char *prev_name = "";
   const struct v850_opcode *op;
 
-  if (strncmp (TARGET_CPU, "v850e1", 6) == 0)
+  if (strncmp (TARGET_CPU, "v850e3v5", 8) == 0)
+    {
+      if (machine == -1)
+       machine = bfd_mach_v850e3v5;
+
+      if (!processor_mask)
+       SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5);
+    }
+  else if (strncmp (TARGET_CPU, "v850e2v4", 8) == 0)
+    {
+      if (machine == -1)
+       machine = bfd_mach_v850e3v5;
+
+      if (!processor_mask)
+       SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E3V5);
+    }
+  else if (strncmp (TARGET_CPU, "v850e2v3", 8) == 0)
+    {
+      if (machine == -1)
+        machine = bfd_mach_v850e2v3;
+
+      if (!processor_mask)
+        SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2V3);
+    }
+  else if (strncmp (TARGET_CPU, "v850e2", 6) == 0)
+    {
+      if (machine == -1)
+       machine = bfd_mach_v850e2;
+
+      if (!processor_mask)
+       SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850E2);
+    }
+  else if (strncmp (TARGET_CPU, "v850e1", 6) == 0)
     {
       if (machine == -1)
-       machine = bfd_mach_v850e1;
+        machine = bfd_mach_v850e1;
 
-      if (processor_mask == -1)
-       processor_mask = PROCESSOR_V850E1;
+      if (!processor_mask)
+        SET_PROCESSOR_MASK (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;
+      if (!processor_mask)
+       SET_PROCESSOR_MASK (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;
+      if (!processor_mask)
+       SET_PROCESSOR_MASK (processor_mask, PROCESSOR_V850);
     }
   else
     /* xgettext:c-format  */
     as_bad (_("Unable to determine default target processor from string: %s"),
            TARGET_CPU);
 
+  if (soft_float == -1)
+    soft_float = machine < bfd_mach_v850e2v3;
+
   v850_hash = hash_new ();
 
   /* Insert unique names into hash table.  The V850 instruction set
@@ -1326,122 +1970,168 @@ md_begin (void)
     }
 
   v850_seg_table[BSS_SECTION].s = bss_section;
-  bfd_set_arch_mach (stdoutput, TARGET_ARCH, machine);
+  bfd_set_arch_mach (stdoutput, v850_target_arch, machine);
+  bfd_set_private_flags (stdoutput, v850_e_flags);
 }
 
+
 static bfd_reloc_code_real_type
-handle_lo16 (const struct v850_operand *operand)
+handle_hi016 (const struct v850_operand *operand, const char **errmsg)
 {
-  if (operand != NULL)
-    {
-      if (operand->bits == -1)
-       return BFD_RELOC_V850_LO16_SPLIT_OFFSET;
+  if (operand == NULL)
+    return BFD_RELOC_HI16;
 
-      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;
+  if (operand->default_reloc == BFD_RELOC_HI16)
+    return BFD_RELOC_HI16;
+
+  if (operand->default_reloc == BFD_RELOC_HI16_S)
+    return BFD_RELOC_HI16;
+
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_HI16;
+
+  *errmsg = _("hi0() relocation used on an instruction which does "
+             "not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
 }
 
 static bfd_reloc_code_real_type
-handle_ctoff (const struct v850_operand *operand)
+handle_hi16 (const struct v850_operand *operand, const char **errmsg)
 {
   if (operand == NULL)
-    return BFD_RELOC_V850_CALLT_16_16_OFFSET;
+    return BFD_RELOC_HI16_S;
 
-  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.  */
-    }
+  if (operand->default_reloc == BFD_RELOC_HI16_S)
+    return BFD_RELOC_HI16_S;
+
+  if (operand->default_reloc == BFD_RELOC_HI16)
+    return BFD_RELOC_HI16_S;
+
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_HI16_S;
 
-  return BFD_RELOC_V850_CALLT_6_7_OFFSET;
+  *errmsg = _("hi() relocation used on an instruction which does "
+             "not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
 }
 
 static bfd_reloc_code_real_type
-handle_sdaoff (const struct v850_operand *operand)
+handle_lo16 (const struct v850_operand *operand, const char **errmsg)
 {
   if (operand == NULL)
-    return BFD_RELOC_V850_SDA_16_16_OFFSET;
+    return BFD_RELOC_LO16;
 
-  if (operand->bits == 15 && operand->shift == 17)
-    return BFD_RELOC_V850_SDA_15_16_OFFSET;
+  if (operand->default_reloc == BFD_RELOC_LO16)
+    return BFD_RELOC_LO16;
 
-  if (operand->bits == -1)
-    return BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET;
+  if (operand->default_reloc == BFD_RELOC_V850_16_SPLIT_OFFSET)
+    return BFD_RELOC_V850_LO16_SPLIT_OFFSET;
+
+  if (operand->default_reloc == BFD_RELOC_V850_16_S1)
+    return BFD_RELOC_V850_LO16_S1;
+
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_LO16;
 
-  if (operand->bits != 16
-      || operand->shift != 16)
+  *errmsg = _("lo() relocation used on an instruction which does "
+             "not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
+}
+
+static bfd_reloc_code_real_type
+handle_ctoff (const struct v850_operand *operand, const char **errmsg)
+{
+  if (v850_target_arch == bfd_arch_v850_rh850)
     {
-      as_bad (_("sdaoff() relocation used on an instruction which does not support it"));
+      *errmsg = _("ctoff() is not supported by the rh850 ABI. Use -mgcc-abi instead");
       return BFD_RELOC_64;  /* Used to indicate an error condition.  */
     }
 
-  return BFD_RELOC_V850_SDA_16_16_OFFSET;
+  if (operand == NULL)
+    return BFD_RELOC_V850_CALLT_16_16_OFFSET;
+
+  if (operand->default_reloc == BFD_RELOC_V850_CALLT_6_7_OFFSET)
+    return operand->default_reloc;
+
+  if (operand->default_reloc == BFD_RELOC_V850_16_S1)
+    return BFD_RELOC_V850_CALLT_15_16_OFFSET;
+
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_V850_CALLT_16_16_OFFSET;
+
+  *errmsg = _("ctoff() relocation used on an instruction which does not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
 }
 
 static bfd_reloc_code_real_type
-handle_zdaoff (const struct v850_operand *operand)
+handle_sdaoff (const struct v850_operand *operand, const char **errmsg)
 {
   if (operand == NULL)
-    return BFD_RELOC_V850_ZDA_16_16_OFFSET;
+    return BFD_RELOC_V850_SDA_16_16_OFFSET;
 
-  if (operand->bits == 15 && operand->shift == 17)
-    return BFD_RELOC_V850_ZDA_15_16_OFFSET;
+  if (operand->default_reloc == BFD_RELOC_V850_16_SPLIT_OFFSET)
+    return BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET;
 
-  if (operand->bits == -1)
-    return BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET;
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_V850_SDA_16_16_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;
-    }
+  if (operand->default_reloc == BFD_RELOC_V850_16_S1)
+    return BFD_RELOC_V850_SDA_15_16_OFFSET;
 
-  return BFD_RELOC_V850_ZDA_16_16_OFFSET;
+  *errmsg = _("sdaoff() relocation used on an instruction which does not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
 }
 
 static bfd_reloc_code_real_type
-handle_tdaoff (const struct v850_operand *operand)
+handle_zdaoff (const struct v850_operand *operand, const char **errmsg)
 {
   if (operand == NULL)
-    /* Data item, not an instruction.  */
-    return BFD_RELOC_V850_TDA_7_7_OFFSET;
+    return BFD_RELOC_V850_ZDA_16_16_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->default_reloc == BFD_RELOC_V850_16_SPLIT_OFFSET)
+    return BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET;
+
+  if (operand->default_reloc == BFD_RELOC_16)
+    return BFD_RELOC_V850_ZDA_16_16_OFFSET;
 
-  if (operand->bits == 4 && operand->insert != NULL)
-    /* sld.hu, operand: D5-4.  */
-    return BFD_RELOC_V850_TDA_4_5_OFFSET;
+  if (operand->default_reloc == BFD_RELOC_V850_16_S1)
+    return BFD_RELOC_V850_ZDA_15_16_OFFSET;
 
-  if (operand->bits == 4 && operand->insert == NULL)
-    /* sld.bu, operand: D4.   */
-    return BFD_RELOC_V850_TDA_4_4_OFFSET;
+  *errmsg = _("zdaoff() relocation used on an instruction which does not support it");
+  return BFD_RELOC_64;  /* Used to indicate an error condition.  */
+}
 
-  if (operand->bits == 16 && operand->shift == 16)
-    /* set1 & chums, operands: D16.  */
+static bfd_reloc_code_real_type
+handle_tdaoff (const struct v850_operand *operand, const char **errmsg)
+{
+  if (operand == NULL)
+    /* Data item, not an instruction.  */
     return BFD_RELOC_V850_TDA_16_16_OFFSET;
 
-  if (operand->bits != 7)
+  switch (operand->default_reloc)
     {
-      as_bad (_("tdaoff() relocation used on an instruction which does not support it"));
-      /* Used to indicate an error condition.  */
-      return BFD_RELOC_64;
+      /* sld.hu, operand: D5-4.  */
+    case BFD_RELOC_V850_TDA_4_5_OFFSET:
+      /* sld.bu, operand: D4.  */
+    case BFD_RELOC_V850_TDA_4_4_OFFSET:
+    /* sld.w/sst.w, operand: D8_6.  */
+    case BFD_RELOC_V850_TDA_6_8_OFFSET:
+    /* sld.h/sst.h, operand: D8_7.  */
+    case BFD_RELOC_V850_TDA_7_8_OFFSET:
+      /* sld.b/sst.b, operand: D7.  */
+    case BFD_RELOC_V850_TDA_7_7_OFFSET:
+      return operand->default_reloc;
+    default:
+      break;
     }
 
-  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.    */
+  if (operand->default_reloc == BFD_RELOC_16 && operand->shift == 16)
+    /* set1 & chums, operands: D16.  */
+    return BFD_RELOC_V850_TDA_16_16_OFFSET;
+
+  *errmsg = _("tdaoff() relocation used on an instruction which does not support it");
+  /* Used to indicate an error condition.  */
+  return BFD_RELOC_64;
 }
 
 /* Warning: The code in this function relies upon the definitions
@@ -1449,7 +2139,7 @@ handle_tdaoff (const struct v850_operand *operand)
    matching the hard coded values contained herein.  */
 
 static bfd_reloc_code_real_type
-v850_reloc_prefix (const struct v850_operand *operand)
+v850_reloc_prefix (const struct v850_operand *operand, const char **errmsg)
 {
   bfd_boolean paren_skipped = FALSE;
 
@@ -1467,20 +2157,21 @@ v850_reloc_prefix (const struct v850_operand *operand)
       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) );
+  CHECK_ ("hi0",    handle_hi016(operand, errmsg)  );
+  CHECK_ ("hi",            handle_hi16(operand, errmsg)   );
+  CHECK_ ("lo",            handle_lo16 (operand, errmsg)  );
+  CHECK_ ("sdaoff", handle_sdaoff (operand, errmsg));
+  CHECK_ ("zdaoff", handle_zdaoff (operand, errmsg));
+  CHECK_ ("tdaoff", handle_tdaoff (operand, errmsg));
+  CHECK_ ("hilo",   BFD_RELOC_32);
+  CHECK_ ("lo23",   BFD_RELOC_V850_23);
+  CHECK_ ("ctoff",  handle_ctoff (operand, errmsg) );
 
   /* Restore skipped parenthesis.  */
   if (paren_skipped)
     --input_line_pointer;
 
-  return BFD_RELOC_UNUSED;
+  return BFD_RELOC_NONE;
 }
 
 /* Insert an operand value into an instruction.  */
@@ -1489,9 +2180,7 @@ static unsigned long
 v850_insert_operand (unsigned long insn,
                     const struct v850_operand *operand,
                     offsetT val,
-                    char *file,
-                    unsigned int line,
-                    char *str)
+                    const char **errmsg)
 {
   if (operand->insert)
     {
@@ -1502,35 +2191,33 @@ v850_insert_operand (unsigned long insn,
        {
          if ((operand->flags & V850_OPERAND_SIGNED)
              && ! warn_signed_overflows
-             && strstr (message, "out of range") != NULL)
+              && v850_msg_is_out_of_range (message))
            {
              /* Skip warning...  */
            }
          else if ((operand->flags & V850_OPERAND_SIGNED) == 0
                   && ! warn_unsigned_overflows
-                  && strstr (message, "out of range") != NULL)
+                  && v850_msg_is_out_of_range (message))
            {
              /* 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 (message);
-             else
-               as_warn_where (file, line, message);
+             if (errmsg != NULL)
+               *errmsg = message;
            }
        }
     }
+  else if (operand->bits == -1
+          || operand->flags & V850E_IMMEDIATE16
+          || operand->flags & V850E_IMMEDIATE23
+          || operand->flags & V850E_IMMEDIATE32)
+    {
+      abort ();
+    }
   else
     {
-      if (operand->bits != 32)
+      if (operand->bits < 32)
        {
          long min, max;
 
@@ -1553,9 +2240,26 @@ v850_insert_operand (unsigned long insn,
                min = 0;
            }
 
-         if (val < (offsetT) min || val > (offsetT) max)
+         /* 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 char buf [128];
 
              /* Restore min and mix to expected values for decimal ranges.  */
              if ((operand->flags & V850_OPERAND_SIGNED)
@@ -1566,17 +2270,17 @@ v850_insert_operand (unsigned long insn,
                  && ! warn_unsigned_overflows)
                min = 0;
 
-             if (str)
-               sprintf (buf, "%s: ", str);
-             else
-               buf[0] = 0;
-             strcat (buf, _("operand"));
-
-             as_bad_value_out_of_range (buf, val, (offsetT) min, (offsetT) max, file, line);
+             sprintf (buf, _("operand out of range (%d is not between %d and %d)"),
+                      (int) val, (int) min, (int) max);
+             *errmsg = buf;
            }
-       }
 
-      insn |= (((long) val & ((1 << operand->bits) - 1)) << operand->shift);
+         insn |= (((long) val & ((1 << operand->bits) - 1)) << operand->shift);
+       }
+      else
+       {
+         insn |= (((long) val) << operand->shift);
+       }
     }
 
   return insn;
@@ -1594,17 +2298,20 @@ md_assemble (char *str)
   const unsigned char *opindex_ptr;
   int next_opindex;
   int relaxable = 0;
-  unsigned long insn;
+  unsigned long insn = 0;
   unsigned long insn_size;
-  char *f;
+  char *f = NULL;
   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;
+  char most_match_errmsg[1024];
+  int most_match_count = -1;
 
   strncpy (copy_of_instruction, str, sizeof (copy_of_instruction) - 1);
+  most_match_errmsg[0] = 0;
 
   /* Get the opcode.  */
   for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
@@ -1634,10 +2341,26 @@ md_assemble (char *str)
   for (;;)
     {
       const char *errmsg = NULL;
+      const char *warningmsg = NULL;
 
       match = 0;
+      opindex_ptr = opcode->operands;
 
-      if ((opcode->processors & processor_mask) == 0)
+      if (no_stld23)
+       {
+         if ((strncmp (opcode->name, "st.", 3) == 0
+              && v850_operands[opcode->operands[1]].bits == 23)
+             || (strncmp (opcode->name, "ld.", 3) == 0
+                 && v850_operands[opcode->operands[0]].bits == 23))
+           {
+             errmsg = _("st/ld offset 23 instruction was disabled .");
+             goto error;
+           }
+       }
+
+      if ((opcode->processors & processor_mask & PROCESSOR_MASK) == 0
+         || (((opcode->processors & ~PROCESSOR_MASK) != 0)
+             && ((opcode->processors & processor_mask & ~PROCESSOR_MASK) == 0)))
        {
          errmsg = _("Target processor does not support this instruction.");
          goto error;
@@ -1647,6 +2370,7 @@ md_assemble (char *str)
       fc = 0;
       next_opindex = 0;
       insn = opcode->opcode;
+      extra_data_len = 0;
       extra_data_after_insn = FALSE;
 
       input_line_pointer = str = start_of_operands;
@@ -1668,7 +2392,26 @@ md_assemble (char *str)
 
          errmsg = NULL;
 
-         while (*str == ' ' || *str == ',' || *str == '[' || *str == ']')
+         while (*str == ' ')
+           ++str;
+
+         if (operand->flags & V850_OPERAND_BANG
+             && *str == '!')
+           ++str;
+         else if (operand->flags & V850_OPERAND_PERCENT
+                  && *str == '%')
+           ++str;
+
+         if (*str == ',' || *str == '[' || *str == ']')
+           ++str;
+
+         while (*str == ' ')
+           ++str;
+
+         if (   (strcmp (opcode->name, "pushsp") == 0
+              || strcmp (opcode->name, "popsp") == 0
+              || strcmp (opcode->name, "dbpush") == 0)
+             && (*str == '-'))
            ++str;
 
          if (operand->flags & V850_OPERAND_RELAX)
@@ -1679,12 +2422,12 @@ md_assemble (char *str)
          input_line_pointer = str;
 
          /* lo(), hi(), hi0(), etc...  */
-         if ((reloc = v850_reloc_prefix (operand)) != BFD_RELOC_UNUSED)
+         if ((reloc = v850_reloc_prefix (operand, &errmsg)) != BFD_RELOC_NONE)
            {
              /* This is a fake reloc, used to indicate an error condition.  */
              if (reloc == BFD_RELOC_64)
                {
-                 match = 1;
+                 /* match = 1;  */
                  goto error;
                }
 
@@ -1695,11 +2438,14 @@ md_assemble (char *str)
                  switch (reloc)
                    {
                    case BFD_RELOC_V850_ZDA_16_16_OFFSET:
+                   case BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET:
+                   case BFD_RELOC_V850_ZDA_15_16_OFFSET:
                      /* To cope with "not1 7, zdaoff(0xfffff006)[r0]"
                         and the like.  */
                      /* Fall through.  */
 
                    case BFD_RELOC_LO16:
+                   case BFD_RELOC_V850_LO16_S1:
                    case BFD_RELOC_V850_LO16_SPLIT_OFFSET:
                      {
                        /* Truncate, then sign extend the value.  */
@@ -1725,55 +2471,283 @@ md_assemble (char *str)
                        break;
                      }
 
+                   case BFD_RELOC_V850_23:
+                     if ((operand->flags & V850E_IMMEDIATE23) == 0)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+                     break;
+
                    case BFD_RELOC_32:
+                   case BFD_RELOC_V850_32_ABS:
+                   case BFD_RELOC_V850_32_PCREL:
                      if ((operand->flags & V850E_IMMEDIATE32) == 0)
                        {
                          errmsg = _("immediate operand is too large");
                          goto error;
                        }
 
-                     extra_data_after_insn = TRUE;
-                     extra_data_len        = 4;
-                     extra_data            = 0;
                      break;
 
                    default:
-                     fprintf (stderr, "reloc: %d\n", reloc);
-                     as_bad (_("AAARG -> unhandled constant reloc"));
+                     as_bad (_("AAARG -> unhandled constant reloc: %d"), reloc);
                      break;
                    }
 
-                 if (fc > MAX_INSN_FIXUPS)
-                   as_fatal (_("too many fixups"));
+                 if (operand->flags & V850E_IMMEDIATE32)
+                   {
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 4;
+                     extra_data            = 0;
+                   }
+                 else if (operand->flags & V850E_IMMEDIATE23)
+                   {
+                     if (reloc != BFD_RELOC_V850_23)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 2;
+                     extra_data            = 0;
+                   }
+                 else if ((operand->flags & V850E_IMMEDIATE16)
+                          || (operand->flags & V850E_IMMEDIATE16HI))
+                   {
+                     if (operand->flags & V850E_IMMEDIATE16HI
+                         && reloc != BFD_RELOC_HI16
+                         && reloc != BFD_RELOC_HI16_S)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+                     else if (operand->flags & V850E_IMMEDIATE16
+                              && reloc != BFD_RELOC_LO16)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 2;
+                     extra_data            = 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      /* ex.X_op != O_constant.  */
+               {
+                 if ((reloc == BFD_RELOC_32
+                      || reloc == BFD_RELOC_V850_32_ABS
+                      || reloc == BFD_RELOC_V850_32_PCREL)
+                     && operand->bits < 32)
+                   {
+                     errmsg = _("immediate operand is too large");
+                     goto error;
+                   }
+                 else if (reloc == BFD_RELOC_V850_23
+                          && (operand->flags & V850E_IMMEDIATE23) == 0)
+                   {
+                     errmsg = _("immediate operand is too large");
+                     goto error;
+                   }
+                 else if ((reloc == BFD_RELOC_HI16
+                           || reloc == BFD_RELOC_HI16_S)
+                          && operand->bits < 16)
+                   {
+                     errmsg = _("immediate operand is too large");
+                     goto error;
+                   }
+
+                 if (operand->flags & V850E_IMMEDIATE32)
+                   {
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 4;
+                     extra_data            = 0;
+                   }
+                 else if (operand->flags & V850E_IMMEDIATE23)
+                   {
+                     if (reloc != BFD_RELOC_V850_23)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 2;
+                     extra_data            = 0;
+                   }
+                 else if ((operand->flags & V850E_IMMEDIATE16)
+                          || (operand->flags & V850E_IMMEDIATE16HI))
+                   {
+                     if (operand->flags & V850E_IMMEDIATE16HI
+                         && reloc != BFD_RELOC_HI16
+                         && reloc != BFD_RELOC_HI16_S)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+                     else if (operand->flags & V850E_IMMEDIATE16
+                              && reloc != BFD_RELOC_LO16)
+                       {
+                         errmsg = _("immediate operand is too large");
+                         goto error;
+                       }
+
+                     extra_data_after_insn = TRUE;
+                     extra_data_len        = 2;
+                     extra_data            = 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 if (operand->flags & V850E_IMMEDIATE16
+                  || operand->flags & V850E_IMMEDIATE16HI)
+           {
+             expression (&ex);
+
+             switch (ex.X_op)
+               {
+               case O_constant:
+                 if (operand->flags & V850E_IMMEDIATE16HI)
+                   {
+                     if (ex.X_add_number & 0xffff)
+                       {
+                         errmsg = _("constant too big to fit into instruction");
+                         goto error;
+                       }
+
+                     ex.X_add_number >>= 16;
+                   }
+                 if (operand->flags & V850E_IMMEDIATE16)
+                   {
+                     if ((ex.X_add_number & 0xffff8000)
+                         && ((ex.X_add_number & 0xffff8000) != 0xffff8000))
+                       {
+                         errmsg = _("constant too big to fit into instruction");
+                         goto error;
+                       }
+                   }
+                 break;
+
+               case O_illegal:
+                 errmsg = _("illegal operand");
+                 goto error;
+
+               case O_absent:
+                 errmsg = _("missing operand");
+                 goto error;
+
+               default:
+                 if (fc >= MAX_INSN_FIXUPS)
+                   as_fatal (_("too many fixups"));
+
+                 fixups[fc].exp     = ex;
+                 fixups[fc].opindex = *opindex_ptr;
+                 fixups[fc].reloc   = operand->default_reloc;
+                 ++fc;
+
+                 ex.X_add_number = 0;
+                 break;
+               }
+
+             extra_data_after_insn = TRUE;
+             extra_data_len        = 2;
+             extra_data            = ex.X_add_number;
+           }
+         else if (operand->flags & V850E_IMMEDIATE23)
+           {
+             expression (&ex);
+
+             switch (ex.X_op)
+               {
+               case O_constant:
+                 break;
+
+               case O_illegal:
+                 errmsg = _("illegal operand");
+                 goto error;
+
+               case O_absent:
+                 errmsg = _("missing operand");
+                 goto error;
+
+               default:
+                 break;
+               }
+
+             if (fc >= MAX_INSN_FIXUPS)
+               as_fatal (_("too many fixups"));
+
+             fixups[fc].exp     = ex;
+             fixups[fc].opindex = *opindex_ptr;
+             fixups[fc].reloc   = operand->default_reloc;
+             ++fc;
+
+             extra_data_after_insn = TRUE;
+             extra_data_len        = 2;
+             extra_data            = 0;
+           }
+         else if (operand->flags & V850E_IMMEDIATE32)
+           {
+             expression (&ex);
 
-                 fixups[fc].exp     = ex;
-                 fixups[fc].opindex = *opindex_ptr;
-                 fixups[fc].reloc   = reloc;
-                 fc++;
-               }
-             else
+             switch (ex.X_op)
                {
-                 if (reloc == BFD_RELOC_32)
+               case O_constant:
+                 if ((operand->default_reloc == BFD_RELOC_V850_32_ABS
+                      || operand->default_reloc == BFD_RELOC_V850_32_PCREL)
+                     && (ex.X_add_number & 1))
                    {
-                     if ((operand->flags & V850E_IMMEDIATE32) == 0)
-                       {
-                         errmsg = _("immediate operand is too large");
-                         goto error;
-                       }
-
-                     extra_data_after_insn = TRUE;
-                     extra_data_len        = 4;
-                     extra_data            = ex.X_add_number;
+                     errmsg = _("odd number cannot be used here");
+                     goto error;
                    }
+                 break;
 
-                 if (fc > MAX_INSN_FIXUPS)
+               case O_illegal:
+                 errmsg = _("illegal operand");
+                 goto error;
+
+               case O_absent:
+                 errmsg = _("missing operand");
+                 goto error;
+
+               default:
+                 if (fc >= MAX_INSN_FIXUPS)
                    as_fatal (_("too many fixups"));
 
                  fixups[fc].exp     = ex;
                  fixups[fc].opindex = *opindex_ptr;
-                 fixups[fc].reloc   = reloc;
-                 fc++;
+                 fixups[fc].reloc   = operand->default_reloc;
+                 ++fc;
+
+                 ex.X_add_number = 0;
+                 break;
                }
+
+             extra_data_after_insn = TRUE;
+             extra_data_len        = 4;
+             extra_data            = ex.X_add_number;
+           }
+         else if (operand->flags & V850E_OPERAND_REG_LIST)
+           {
+             errmsg = parse_register_list (&insn, operand);
+
+             if (errmsg)
+               goto error;
            }
          else
            {
@@ -1782,38 +2756,47 @@ md_assemble (char *str)
              if ((operand->flags & V850_OPERAND_REG) != 0)
                {
                  if (!register_name (&ex))
-                   errmsg = _("invalid register name");
-                 else if ((operand->flags & V850_NOT_R0)
+                   {
+                     errmsg = _("invalid register name");
+                   }
+
+                 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;
+                 if (operand->flags & V850_REG_EVEN)
+                   {
+                     if (ex.X_add_number % 2)
+                       errmsg = _("odd register cannot be used here");
+                     ex.X_add_number = ex.X_add_number / 2;
                    }
+
                }
              else if ((operand->flags & V850_OPERAND_SRG) != 0)
                {
-                 if (!system_register_name (&ex, TRUE, FALSE))
-                   errmsg = _("invalid system register name");
+                 if (!system_register_name (&ex, TRUE))
+                   {
+                     errmsg = _("invalid system register name");
+                   }
                }
              else if ((operand->flags & V850_OPERAND_EP) != 0)
                {
                  char *start = input_line_pointer;
-                 char c = get_symbol_end ();
+                 char *name;
+                 char c = get_symbol_name (&name);
 
-                 if (strcmp (start, "ep") != 0 && strcmp (start, "r30") != 0)
+                 if (strcmp (name, "ep") != 0 && strcmp (name, "r30") != 0)
                    {
                      /* Put things back the way we found them.  */
-                     *input_line_pointer = c;
+                     (void) restore_line_pointer (c);
                      input_line_pointer = start;
                      errmsg = _("expected EP register");
                      goto error;
                    }
 
-                 *input_line_pointer = c;
+                 (void) restore_line_pointer (c);
                  str = input_line_pointer;
                  input_line_pointer = hold;
 
@@ -1824,54 +2807,43 @@ md_assemble (char *str)
                }
              else if ((operand->flags & V850_OPERAND_CC) != 0)
                {
-                 if (!cc_name (&ex))
-                   errmsg = _("invalid condition code name");
-               }
-             else if (operand->flags & V850E_PUSH_POP)
-               {
-                 errmsg = parse_register_list (&insn, operand);
+                 if (!cc_name (&ex, TRUE))
+                   {
+                     errmsg = _("invalid condition code name");
+                   }
 
-                 /* The parse_register_list() function has already done
-                    everything, so fake a dummy expression.  */
-                 ex.X_op         = O_constant;
-                 ex.X_add_number = 0;
+                 if ((operand->flags & V850_NOT_SA)
+                     && ex.X_add_number == COND_SA_NUM)
+                   {
+                     errmsg = _("condition sa cannot be used here");
+                   }
                }
-             else if (operand->flags & V850E_IMMEDIATE16)
+             else if ((operand->flags & V850_OPERAND_FLOAT_CC) != 0)
                {
-                 expression (&ex);
-
-                 if (ex.X_op != O_constant)
-                   errmsg = _("constant expression expected");
-                 else if (ex.X_add_number & 0xffff0000)
+                 if (!float_cc_name (&ex, TRUE))
                    {
-                     if (ex.X_add_number & 0xffff)
-                       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 = _("invalid condition code name");
                    }
-
-                 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 & V850_OPERAND_CACHEOP) != 0)
                {
-                 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;
+                 if (!cacheop_name (&ex, TRUE))
+                   errmsg = _("invalid cache operation name");
+               }
+             else if ((operand->flags & V850_OPERAND_PREFOP) != 0)
+               {
+                 if (!prefop_name (&ex, TRUE))
+                   errmsg = _("invalid pref operation name");
+               }
+             else if ((operand->flags & V850_OPERAND_VREG) != 0)
+               {
+                 if (!vector_register_name (&ex))
+                   errmsg = _("invalid vector register name");
                }
-             else if (register_name (&ex)
-                      && (operand->flags & V850_OPERAND_REG) == 0)
+             else if ((register_name (&ex)
+                       && (operand->flags & V850_OPERAND_REG) == 0))
                {
+                 char *name;
                  char c;
                  int exists = 0;
 
@@ -1884,12 +2856,12 @@ md_assemble (char *str)
 
                  input_line_pointer = str;
 
-                 c = get_symbol_end ();
+                 c = get_symbol_name (&name);
 
-                 if (symbol_find (str) != NULL)
+                 if (symbol_find (name) != NULL)
                    exists = 1;
 
-                 *input_line_pointer = c;
+                 (void) restore_line_pointer (c);
                  input_line_pointer = str;
 
                  expression (&ex);
@@ -1900,8 +2872,10 @@ md_assemble (char *str)
                         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))
+                         && ((v850_operands[opindex_ptr[1]].flags
+                              & V850_OPERAND_REG)
+                             ||(v850_operands[opindex_ptr[1]].flags
+                                & V850_OPERAND_VREG)))
                        errmsg = _("syntax error: value is missing before the register name");
                      else
                        errmsg = _("syntax error: register not expected");
@@ -1915,29 +2889,72 @@ md_assemble (char *str)
                                       &symbol_rootP, &symbol_lastP);
                    }
                }
-             else if (system_register_name (&ex, FALSE, FALSE)
+             else if (system_register_name (&ex, FALSE)
                       && (operand->flags & V850_OPERAND_SRG) == 0)
-               errmsg = _("syntax error: system register not expected");
-
-             else if (cc_name (&ex)
+               {
+                 errmsg = _("syntax error: system register not expected");
+               }
+             else if (cc_name (&ex, FALSE)
                       && (operand->flags & V850_OPERAND_CC) == 0)
-               errmsg = _("syntax error: condition code not expected");
-
+               {
+                 errmsg = _("syntax error: condition code not expected");
+               }
+             else if (float_cc_name (&ex, FALSE)
+                      && (operand->flags & V850_OPERAND_FLOAT_CC) == 0)
+               {
+                 errmsg = _("syntax error: condition code not expected");
+               }
+             else if (vector_register_name (&ex)
+                      && (operand->flags & V850_OPERAND_VREG) == 0)
+               {
+                 errmsg = _("syntax error: vector register not expected");
+               }
              else
                {
                  expression (&ex);
+
+                 if ((operand->flags & V850_NOT_IMM0)
+                     && ex.X_op == O_constant
+                     && ex.X_add_number == 0)
+                   {
+                     errmsg = _("immediate 0 cannot be used here");
+                   }
+
                  /* Special case:
-                    If we are assembling a MOV instruction and the immediate
+                    If we are assembling a MOV/JARL/JR 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
+                    fake error so that the next MOV/JARL/JR 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.  */
+                 if ((strcmp (opcode->name, "mov") == 0
+                      || strcmp (opcode->name, "jarl") == 0
+                      || strcmp (opcode->name, "jr") == 0)
                      && ex.X_op == O_constant
                      && (ex.X_add_number < (-(1 << (operand->bits - 1)))
                          || ex.X_add_number > ((1 << (operand->bits - 1)) - 1)))
-                   errmsg = _("immediate operand is too large");
+                   {
+                     errmsg = _("immediate operand is too large");
+                   }
+
+                 if ((strcmp (opcode->name, "jarl") == 0
+                      || strcmp (opcode->name, "jr") == 0)
+                     && ex.X_op != O_constant
+                     && operand->bits != default_disp_size)
+                   {
+                     errmsg = _("immediate operand is not match");
+                   }
+
+                  /* Special case2 :
+                     If we are assembling a ld/st instruction and the immediate
+                     value does not fit into the bits available then create a
+                     fake error so that the next ld/st instruction will be
+                     selected.  */
+                  if ( (  (strncmp (opcode->name, "st.", 3) == 0)
+                      || (strncmp (opcode->name, "ld.", 3) == 0))
+                      && ex.X_op == O_constant
+                      && (ex.X_add_number < (-(1 << (operand->bits - 1)))
+                         || ex.X_add_number > ((1 << (operand->bits - 1)) - 1)))
+                   errmsg = _("displacement is too large");
                }
 
              if (errmsg)
@@ -1953,18 +2970,21 @@ md_assemble (char *str)
                  goto error;
                case O_register:
                  if ((operand->flags
-                      & (V850_OPERAND_REG | V850_OPERAND_SRG)) == 0)
+                      & (V850_OPERAND_REG | V850_OPERAND_SRG | V850_OPERAND_VREG)) == 0)
                    {
                      errmsg = _("invalid operand");
                      goto error;
                    }
-                 insn = v850_insert_operand (insn, operand, ex.X_add_number,
-                                             NULL, 0, copy_of_instruction);
+
+                 insn = v850_insert_operand (insn, operand,
+                                             ex.X_add_number,
+                                             &warningmsg);
+
                  break;
 
                case O_constant:
                  insn = v850_insert_operand (insn, operand, ex.X_add_number,
-                                             NULL, 0, copy_of_instruction);
+                                             &warningmsg);
                  break;
 
                default:
@@ -1974,7 +2994,7 @@ md_assemble (char *str)
 
                  fixups[fc].exp     = ex;
                  fixups[fc].opindex = *opindex_ptr;
-                 fixups[fc].reloc   = BFD_RELOC_UNUSED;
+                 fixups[fc].reloc   = BFD_RELOC_NONE;
                  ++fc;
                  break;
                }
@@ -1987,11 +3007,23 @@ md_assemble (char *str)
                 || *str == ')')
            ++str;
        }
-      match = 1;
+
+      while (ISSPACE (*str))
+       ++str;
+
+      if (*str == '\0')
+       match = 1;
 
     error:
       if (match == 0)
        {
+         if ((opindex_ptr - opcode->operands) >= most_match_count)
+           {
+             most_match_count = opindex_ptr - opcode->operands;
+             if (errmsg != NULL)
+               strncpy (most_match_errmsg, errmsg, sizeof (most_match_errmsg)-1);
+           }
+
          next_opcode = opcode + 1;
          if (next_opcode->name != NULL
              && strcmp (next_opcode->name, opcode->name) == 0)
@@ -2006,7 +3038,11 @@ md_assemble (char *str)
              continue;
            }
 
-         as_bad ("%s: %s", copy_of_instruction, errmsg);
+         if (most_match_errmsg[0] == 0)
+           /* xgettext:c-format.  */
+           as_bad (_("junk at end of line: `%s'"), str);
+         else
+           as_bad ("%s: %s", copy_of_instruction, most_match_errmsg);
 
          if (*input_line_pointer == ']')
            ++input_line_pointer;
@@ -2015,16 +3051,12 @@ md_assemble (char *str)
          input_line_pointer = saved_input_line_pointer;
          return;
        }
+
+      if (warningmsg != NULL)
+       as_warn ("%s", warningmsg);
       break;
     }
 
-  while (ISSPACE (*str))
-    ++str;
-
-  if (*str != '\0')
-    /* xgettext:c-format  */
-    as_bad (_("junk at end of line: `%s'"), str);
-
   input_line_pointer = str;
 
   /* Tie dwarf2 debug info to the address at the start of the insn.
@@ -2033,29 +3065,143 @@ md_assemble (char *str)
   dwarf2_emit_insn (0);
 
   /* Write out the instruction.  */
-
   if (relaxable && fc > 0)
     {
       insn_size = 2;
       fc = 0;
 
-      if (!strcmp (opcode->name, "br"))
+      if (strcmp (opcode->name, "loop") == 0)
        {
-         f = frag_var (rs_machine_dependent, 4, 2, 2,
-                       fixups[0].exp.X_add_symbol,
-                       fixups[0].exp.X_add_number,
-                       (char *) fixups[0].opindex);
-         md_number_to_chars (f, insn, insn_size);
-         md_number_to_chars (f + 2, 0, 2);
+         if (((processor_mask & PROCESSOR_V850E3V5_UP) == 0) || default_disp_size == 22)
+           {
+             insn_size = 4;
+             f = frag_var (rs_machine_dependent, 6, 2, SUBYPTE_LOOP_16_22,
+                           fixups[0].exp.X_add_symbol,
+                           fixups[0].exp.X_add_number,
+                           (char *)(size_t) fixups[0].opindex);
+             md_number_to_chars (f, insn, insn_size);
+             md_number_to_chars (f+4, 0, 4);
+           }
+         else
+           {
+             as_bad (_("loop: 32-bit displacement not supported"));
+           }
        }
-      else
+      else if (strcmp (opcode->name, "br") == 0
+              || strcmp (opcode->name, "jbr") == 0)
+       {
+         if ((processor_mask & PROCESSOR_V850E2_UP) == 0 || default_disp_size == 22)
+           {
+             f = frag_var (rs_machine_dependent, 4, 2, SUBYPTE_UNCOND_9_22,
+                           fixups[0].exp.X_add_symbol,
+                           fixups[0].exp.X_add_number,
+                           (char *)(size_t) fixups[0].opindex);
+             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, SUBYPTE_UNCOND_9_22_32,
+                           fixups[0].exp.X_add_symbol,
+                           fixups[0].exp.X_add_number,
+                           (char *)(size_t) fixups[0].opindex);
+             md_number_to_chars (f, insn, insn_size);
+             md_number_to_chars (f + 2, 0, 4);
+           }
+       }
+      else /* b<cond>, j<cond>.  */
        {
-         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);
-         md_number_to_chars (f, insn, insn_size);
-         md_number_to_chars (f + 2, 0, 4);
+         if (default_disp_size == 22
+             || (processor_mask & PROCESSOR_V850E2_UP) == 0)
+           {
+             if (processor_mask & PROCESSOR_V850E2V3_UP && !no_bcond17)
+               {
+                 if (strcmp (opcode->name, "bsa") == 0)
+                   {
+                     f = frag_var (rs_machine_dependent, 8, 6, SUBYPTE_SA_9_17_22,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 6);
+                   }
+                 else
+                   {
+                     f = frag_var (rs_machine_dependent, 6, 4, SUBYPTE_COND_9_17_22,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 4);
+                   }
+               }
+             else
+               {
+                 if (strcmp (opcode->name, "bsa") == 0)
+                   {
+                     f = frag_var (rs_machine_dependent, 8, 6, SUBYPTE_SA_9_22,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 6);
+                   }
+                 else
+                   {
+                     f = frag_var (rs_machine_dependent, 6, 4, SUBYPTE_COND_9_22,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 4);
+                   }
+               }
+           }
+         else
+           {
+             if (processor_mask & PROCESSOR_V850E2V3_UP && !no_bcond17)
+               {
+                 if (strcmp (opcode->name, "bsa") == 0)
+                   {
+                     f = frag_var (rs_machine_dependent, 10, 8, SUBYPTE_SA_9_17_22_32,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 8);
+                   }
+                 else
+                   {
+                     f = frag_var (rs_machine_dependent, 8, 6, SUBYPTE_COND_9_17_22_32,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 6);
+                   }
+               }
+             else
+               {
+                 if (strcmp (opcode->name, "bsa") == 0)
+                   {
+                     f = frag_var (rs_machine_dependent, 10, 8, SUBYPTE_SA_9_22_32,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 8);
+                   }
+                 else
+                   {
+                     f = frag_var (rs_machine_dependent, 8, 6, SUBYPTE_COND_9_22_32,
+                                   fixups[0].exp.X_add_symbol,
+                                   fixups[0].exp.X_add_number,
+                                   (char *)(size_t) fixups[0].opindex);
+                     md_number_to_chars (f, insn, insn_size);
+                     md_number_to_chars (f + 2, 0, 6);
+                   }
+               }
+           }
        }
     }
   else
@@ -2070,6 +3216,18 @@ md_assemble (char *str)
       if ((insn & 0xffe0) == 0x0620)
        insn_size = 2;
 
+      /* Special case: 32 bit JARL,JMP,JR.  */
+      if ((insn & 0x1ffe0) == 0x2e0    /* JARL.  */
+         || (insn & 0x1ffe0) == 0x6e0  /* JMP.  */
+         || (insn & 0x1ffff) == 0x2e0) /* JR.  */
+       insn_size = 2;
+
+      if (obstack_room (& frchain_now->frch_obstack) < (insn_size + extra_data_len))
+       {
+          frag_wane (frag_now);
+          frag_new (0);
+       }
+
       f = frag_more (insn_size);
       md_number_to_chars (f, insn, insn_size);
 
@@ -2087,7 +3245,7 @@ md_assemble (char *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_fix3.  */
+     md_apply_fix.  */
   for (i = 0; i < fc; i++)
     {
       const struct v850_operand *operand;
@@ -2097,7 +3255,7 @@ md_assemble (char *str)
 
       reloc = fixups[i].reloc;
 
-      if (reloc != BFD_RELOC_UNUSED)
+      if (reloc != BFD_RELOC_NONE)
        {
          reloc_howto_type *reloc_howto =
            bfd_reloc_type_lookup (stdoutput, reloc);
@@ -2115,11 +3273,26 @@ md_assemble (char *str)
          if (size != 2 && size != 4)
            abort ();
 
-         address = (f - frag_now->fr_literal) + insn_size - size;
+         if (extra_data_len == 0)
+           {
+             address = (f - frag_now->fr_literal) + insn_size - size;
+           }
+         else
+           {
+             address = (f - frag_now->fr_literal) + extra_data_len - size;
+           }
 
-         if (reloc == BFD_RELOC_32)
-           address += 2;
+         if ((operand->flags & V850E_IMMEDIATE32) && (operand->flags & V850_PCREL))
+           {
+             fixups[i].exp.X_add_number += 2;
+           }
+         else if (operand->default_reloc ==  BFD_RELOC_V850_16_PCREL)
+           {
+             fixups[i].exp.X_add_number += 2;
+             address += 2;
+           }
 
+         /* fprintf (stderr, "0x%x %d %ld\n", address, size, fixups[i].exp.X_add_number);  */
          fixP = fix_new_exp (frag_now, address, size,
                              &fixups[i].exp,
                              reloc_howto->pc_relative,
@@ -2130,6 +3303,7 @@ md_assemble (char *str)
          switch (reloc)
            {
            case BFD_RELOC_LO16:
+           case BFD_RELOC_V850_LO16_S1:
            case BFD_RELOC_V850_LO16_SPLIT_OFFSET:
            case BFD_RELOC_HI16:
            case BFD_RELOC_HI16_S:
@@ -2141,10 +3315,11 @@ md_assemble (char *str)
        }
       else
        {
+         gas_assert (f != NULL);
          fix_new_exp (frag_now,
                       f - frag_now->fr_literal, 4,
                       & fixups[i].exp,
-                      (operand->flags & V850_OPERAND_DISP) != 0,
+                      (operand->flags & V850_PCREL) != 0,
                       (bfd_reloc_code_real_type) (fixups[i].opindex
                                                   + (int) BFD_RELOC_UNUSED));
        }
@@ -2161,8 +3336,8 @@ tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
 {
   arelent *reloc;
 
-  reloc                      = xmalloc (sizeof (arelent));
-  reloc->sym_ptr_ptr  = xmalloc (sizeof (asymbol *));
+  reloc                      = XNEW (arelent);
+  reloc->sym_ptr_ptr  = XNEW (asymbol *);
   *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
   reloc->address      = fixp->fx_frag->fr_address + fixp->fx_where;
 
@@ -2174,9 +3349,11 @@ tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
     reloc->addend = fixp->fx_offset;
   else
     {
+#if 0
       if (fixp->fx_r_type == BFD_RELOC_32
          && fixp->fx_pcrel)
        fixp->fx_r_type = BFD_RELOC_32_PCREL;
+#endif
 
       reloc->addend = fixp->fx_addnumber;
     }
@@ -2240,7 +3417,7 @@ v850_pcrel_from_section (fixS *fixp, segT section)
 }
 
 void
-md_apply_fix3 (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
+md_apply_fix (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
 {
   valueT value = * valueP;
   char *where;
@@ -2281,6 +3458,7 @@ md_apply_fix3 (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
       int opindex;
       const struct v850_operand *operand;
       unsigned long insn;
+      const char *errmsg = NULL;
 
       opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
       operand = &v850_operands[opindex];
@@ -2292,10 +3470,25 @@ md_apply_fix3 (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
         format!  */
       where = fixP->fx_frag->fr_literal + fixP->fx_where;
 
-      insn = bfd_getl32 ((unsigned char *) where);
+      if (fixP->fx_size > 2)
+       insn = bfd_getl32 ((unsigned char *) where);
+      else
+       insn = bfd_getl16 ((unsigned char *) where);
+
+      /* When inserting loop offsets a backwards displacement
+        is encoded as a positive value.  */
+      if (operand->flags & V850_INVERSE_PCREL)
+       value = - value;
+
       insn = v850_insert_operand (insn, operand, (offsetT) value,
-                                 fixP->fx_file, fixP->fx_line, NULL);
-      bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
+                                 &errmsg);
+      if (errmsg)
+       as_warn_where (fixP->fx_file, fixP->fx_line, "%s", errmsg);
+
+      if (fixP->fx_size > 2)
+       bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
+      else
+       bfd_putl16 ((bfd_vma) insn, (unsigned char *) where);
 
       if (fixP->fx_done)
        /* Nothing else to do here.  */
@@ -2304,17 +3497,23 @@ md_apply_fix3 (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
       /* 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;
-      else if (operand->bits == 9)
-       fixP->fx_r_type = BFD_RELOC_V850_9_PCREL;
-      else
+      if (operand->default_reloc == BFD_RELOC_NONE)
        {
          as_bad_where (fixP->fx_file, fixP->fx_line,
                        _("unresolved expression that must be resolved"));
          fixP->fx_done = 1;
          return;
        }
+
+      {
+       fixP->fx_r_type = operand->default_reloc;
+       if (operand->default_reloc ==  BFD_RELOC_V850_16_PCREL)
+         {
+           fixP->fx_where += 2;
+           fixP->fx_size = 2;
+           fixP->fx_addnumber += 2;
+         }
+      }
     }
   else if (fixP->fx_done)
     {
@@ -2322,57 +3521,147 @@ md_apply_fix3 (fixS *fixP, valueT *valueP, segT seg ATTRIBUTE_UNUSED)
       where = fixP->fx_frag->fr_literal + fixP->fx_where;
 
       if (fixP->tc_fix_data != NULL
-         && ((struct v850_operand *) fixP->tc_fix_data)->insert != NULL)
-       {
-         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);
-       }
+          && ((struct v850_operand *) fixP->tc_fix_data)->insert != NULL)
+        {
+          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 (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);
-       }
+        {
+         switch (fixP->fx_r_type)
+           {
+           case BFD_RELOC_V850_32_ABS:
+           case BFD_RELOC_V850_32_PCREL:
+             bfd_putl32 (value & 0xfffffffe, (unsigned char *) where);
+             break;
+
+           case BFD_RELOC_32:
+             bfd_putl32 (value, (unsigned char *) where);
+             break;
+
+           case BFD_RELOC_V850_23:
+             bfd_putl32 (((value & 0x7f) << 4) | ((value & 0x7fff80) << (16-7))
+                         | (bfd_getl32 (where) & ~((0x7f << 4) | (0xffff << 16))),
+                         (unsigned char *) where);
+           break;
+
+           case BFD_RELOC_16:
+           case BFD_RELOC_HI16:
+           case BFD_RELOC_HI16_S:
+           case BFD_RELOC_LO16:
+           case BFD_RELOC_V850_ZDA_16_16_OFFSET:
+           case BFD_RELOC_V850_SDA_16_16_OFFSET:
+           case BFD_RELOC_V850_TDA_16_16_OFFSET:
+           case BFD_RELOC_V850_CALLT_16_16_OFFSET:
+             bfd_putl16 (value & 0xffff, (unsigned char *) where);
+             break;
+
+           case BFD_RELOC_8:
+             *where = value & 0xff;
+             break;
+
+           case BFD_RELOC_V850_9_PCREL:
+             bfd_putl16 (((value & 0x1f0) << 7) | ((value & 0x0e) << 3)
+                         | (bfd_getl16 (where) & ~((0x1f0 << 7) | (0x0e << 3))), where);
+             break;
+
+           case BFD_RELOC_V850_17_PCREL:
+             bfd_putl32 (((value & 0x10000) >> (16 - 4)) | ((value & 0xfffe) << 16)
+                         | (bfd_getl32 (where) & ~((0x10000 >> (16 - 4)) | (0xfffe << 16))), where);
+             break;
+
+           case BFD_RELOC_V850_16_PCREL:
+             bfd_putl16 ((-value & 0xfffe) | (bfd_getl16 (where + 2) & 0x0001),
+                         (unsigned char *) (where + 2));
+             break;
+
+           case BFD_RELOC_V850_22_PCREL:
+             bfd_putl32 (((value & 0xfffe) << 16) | ((value & 0x3f0000) >> 16)
+                         | (bfd_getl32 (where) & ~((0xfffe << 16) | (0x3f0000 >> 16))), where);
+             break;
+
+           case BFD_RELOC_V850_16_S1:
+           case BFD_RELOC_V850_LO16_S1:
+           case BFD_RELOC_V850_ZDA_15_16_OFFSET:
+           case BFD_RELOC_V850_SDA_15_16_OFFSET:
+             bfd_putl16 (value & 0xfffe, (unsigned char *) where);
+             break;
+
+           case BFD_RELOC_V850_16_SPLIT_OFFSET:
+           case BFD_RELOC_V850_LO16_SPLIT_OFFSET:
+           case BFD_RELOC_V850_ZDA_16_16_SPLIT_OFFSET:
+           case BFD_RELOC_V850_SDA_16_16_SPLIT_OFFSET:
+             bfd_putl32 (((value << 16) & 0xfffe0000)
+                         | ((value << 5) & 0x20)
+                         | (bfd_getl32 (where) & ~0xfffe0020), where);
+             break;
+
+           case BFD_RELOC_V850_TDA_6_8_OFFSET:
+             *where = (*where & ~0x7e) | ((value >> 1) & 0x7e);
+             break;
+
+           case BFD_RELOC_V850_TDA_7_8_OFFSET:
+             *where = (*where & ~0x7f) | ((value >> 1) & 0x7f);
+             break;
+
+           case BFD_RELOC_V850_TDA_7_7_OFFSET:
+             *where = (*where & ~0x7f) | (value & 0x7f);
+             break;
+
+           case BFD_RELOC_V850_TDA_4_5_OFFSET:
+             *where = (*where & ~0xf) | ((value >> 1) & 0xf);
+             break;
+
+           case BFD_RELOC_V850_TDA_4_4_OFFSET:
+             *where = (*where & ~0xf) | (value & 0xf);
+             break;
+
+           case BFD_RELOC_V850_CALLT_6_7_OFFSET:
+             *where = (*where & ~0x3f) | (value & 0x3f);
+             break;
+
+           default:
+             abort ();
+           }
+        }
     }
 }
-\f
+
 /* Parse a cons expression.  We have to handle hi(), lo(), etc
    on the v850.  */
 
-void
+bfd_reloc_code_real_type
 parse_cons_expression_v850 (expressionS *exp)
 {
+  const char *errmsg;
+  bfd_reloc_code_real_type r;
+
   /* See if there's a reloc prefix like hi() we have to handle.  */
-  hold_cons_reloc = v850_reloc_prefix (NULL);
+  r = v850_reloc_prefix (NULL, &errmsg);
 
   /* Do normal expression parsing.  */
   expression (exp);
+  return r;
 }
 
 /* Create a fixup for a cons expression.  If parse_cons_expression_v850
@@ -2383,24 +3672,23 @@ void
 cons_fix_new_v850 (fragS *frag,
                   int where,
                   int size,
-                  expressionS *exp)
+                  expressionS *exp,
+                  bfd_reloc_code_real_type r)
 {
-  if (hold_cons_reloc == BFD_RELOC_UNUSED)
+  if (r == BFD_RELOC_NONE)
     {
       if (size == 4)
-       hold_cons_reloc = BFD_RELOC_32;
+       r = BFD_RELOC_32;
       if (size == 2)
-       hold_cons_reloc = BFD_RELOC_16;
+       r = BFD_RELOC_16;
       if (size == 1)
-       hold_cons_reloc = BFD_RELOC_8;
+       r = BFD_RELOC_8;
     }
 
   if (exp != NULL)
-    fix_new_exp (frag, where, size, exp, 0, hold_cons_reloc);
+    fix_new_exp (frag, where, size, exp, 0, r);
   else
-    fix_new (frag, where, size, NULL, 0, 0, hold_cons_reloc);
-
-  hold_cons_reloc = BFD_RELOC_UNUSED;
+    fix_new (frag, where, size, NULL, 0, 0, r);
 }
 
 bfd_boolean
@@ -2431,10 +3719,83 @@ v850_force_relocation (struct fix *fixP)
   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_V850_16_PCREL
+         || fixP->fx_r_type == BFD_RELOC_V850_17_PCREL
+         || fixP->fx_r_type == BFD_RELOC_V850_22_PCREL
+         || fixP->fx_r_type == BFD_RELOC_V850_32_PCREL
          || fixP->fx_r_type >= BFD_RELOC_UNUSED))
     return 1;
 
   return generic_force_reloc (fixP);
 }
+
+/* Create a v850 note section.  */
+void
+v850_md_end (void)
+{
+  segT note_sec;
+  segT orig_seg = now_seg;
+  subsegT orig_subseg = now_subseg;
+  enum v850_notes id;
+
+  note_sec = subseg_new (V850_NOTE_SECNAME, 0);
+  bfd_set_section_flags (note_sec, SEC_HAS_CONTENTS | SEC_READONLY | SEC_MERGE);
+  bfd_set_section_alignment (note_sec, 2);
+
+  /* Provide default values for all of the notes.  */
+  for (id = V850_NOTE_ALIGNMENT; id <= NUM_V850_NOTES; id++)
+    {
+      int val = 0;
+      char * p;
+
+      /* Follow the standard note section layout:
+        First write the length of the name string.  */
+      p = frag_more (4);
+      md_number_to_chars (p, 4, 4);
+
+      /* Next comes the length of the "descriptor", i.e., the actual data.  */
+      p = frag_more (4);
+      md_number_to_chars (p, 4, 4);
+
+      /* Write the note type.  */
+      p = frag_more (4);
+      md_number_to_chars (p, (valueT) id, 4);
+
+      /* Write the name field.  */
+      p = frag_more (4);
+      memcpy (p, V850_NOTE_NAME, 4);
+
+      /* Finally, write the descriptor.  */
+      p = frag_more (4);
+      switch (id)
+       {
+       case V850_NOTE_ALIGNMENT:
+         val = v850_data_8 ? EF_RH850_DATA_ALIGN8 : EF_RH850_DATA_ALIGN4;
+         break;
+
+       case V850_NOTE_DATA_SIZE:
+         /* GCC does not currently support an option
+            for 32-bit doubles with the V850 backend.  */
+         val = EF_RH850_DOUBLE64;
+         break;
+
+       case V850_NOTE_FPU_INFO:
+         if (! soft_float)
+           switch (machine)
+             {
+             case bfd_mach_v850e3v5: val = EF_RH850_FPU30; break;
+             case bfd_mach_v850e2v3: val = EF_RH850_FPU20; break;
+             default: break;
+             }
+         break;
+
+       default:
+         break;
+       }
+      md_number_to_chars (p, val, 4);
+    }
+
+  /* Paranoia - we probably do not need this.  */
+  subseg_set (orig_seg, orig_subseg);
+}
This page took 0.062648 seconds and 4 git commands to generate.