Fixes a snafu checking the size of a 20-bit immediate.
[platform/upstream/binutils.git] / gas / config / tc-msp430.c
index 082a916..25ec0ee 100644 (file)
@@ -1,13 +1,13 @@
 /* tc-msp430.c -- Assembler code for the Texas Instruments MSP430
 
 /* tc-msp430.c -- Assembler code for the Texas Instruments MSP430
 
-  Copyright (C) 2002, 2003 Free Software Foundation, Inc.
+  Copyright (C) 2002-2014 Free Software Foundation, Inc.
   Contributed by Dmitry Diky <diwil@mail.ru>
 
   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
   Contributed by Dmitry Diky <diwil@mail.ru>
 
   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,
   any later version.
 
   GAS is distributed in the hope that it will be useful,
 
   You should have received a copy of the GNU General Public License
   along with GAS; see the file COPYING.  If not, write to
 
   You should have received a copy of the GNU General Public License
   along with GAS; see the file COPYING.  If not, write to
-  the Free Software Foundation, 59 Temple Place - Suite 330,
-  Boston, MA 02111-1307, USA.  */
+  the Free Software Foundation, 51 Franklin Street - Fifth Floor,
+  Boston, MA 02110-1301, USA.  */
 
 
-#include <stdio.h>
-#include <string.h>
-#include <stdlib.h>
+#include "as.h"
 #include <limits.h>
 #include <limits.h>
-
 #define PUSH_1X_WORKAROUND
 #define PUSH_1X_WORKAROUND
-#include "as.h"
 #include "subsegs.h"
 #include "opcode/msp430.h"
 #include "safe-ctype.h"
 #include "subsegs.h"
 #include "opcode/msp430.h"
 #include "safe-ctype.h"
-
-const char comment_chars[] = ";";
-const char line_comment_chars[] = "#";
-const char line_separator_chars[] = "";
-const char EXP_CHARS[] = "eE";
-const char FLT_CHARS[] = "dD";
-
-/* Handle  long expressions.  */
-extern LITTLENUM_TYPE generic_bignum[];
-
-static struct hash_control *msp430_hash;
-
-static unsigned int msp430_operands
-  PARAMS ((struct msp430_opcode_s *, char *));
-static int msp430_srcoperand
-  PARAMS ((struct msp430_operand_s *, char *, int, int *));
-static int msp430_dstoperand
-  PARAMS ((struct msp430_operand_s *, char *, int));
-static char *parse_exp
-  PARAMS ((char *, expressionS *));
-static inline char *skip_space
-  PARAMS ((char *));
-static int check_reg
-  PARAMS ((char *));
-static void msp430_set_arch
-  PARAMS ((int));
-static void show_mcu_list
-  PARAMS ((FILE *));
-static void del_spaces
-  PARAMS ((char *));
-
-#define MAX_OP_LEN     256
-
-struct mcu_type_s
+#include "dwarf2dbg.h"
+#include "elf/msp430.h"
+
+/* We will disable polymorphs by default because it is dangerous.
+   The potential problem here is the following: assume we got the
+   following code:
+
+       jump .l1
+       nop
+       jump  subroutine        ; external symbol
+      .l1:
+       nop
+       ret
+
+   In case of assembly time relaxation we'll get:
+       0: jmp .l1 <.text +0x08> (reloc deleted)
+       2: nop
+       4: br subroutine
+    .l1:
+       8: nop
+       10: ret
+
+   If the 'subroutine' is within +-1024 bytes range then linker
+   will produce:
+       0: jmp .text +0x08
+       2: nop
+       4: jmp subroutine
+       .l1:
+       6: nop
+       8: ret  ; 'jmp .text +0x08' will land here. WRONG!!!
+
+   The workaround is the following:
+   1. Declare global var enable_polymorphs which set to 1 via option -mp.
+   2. Declare global var enable_relax  which set to 1 via option -mQ.
+
+   If polymorphs are enabled, and relax isn't, treat all jumps as long jumps,
+   do not delete any relocs and leave them for linker.
+
+   If relax is enabled, relax at assembly time and kill relocs as necessary.  */
+
+int msp430_enable_relax;
+int msp430_enable_polys;
+
+/*  Set linkrelax here to avoid fixups in most sections.  */
+int linkrelax = 1;
+
+/* GCC uses the some condition codes which we'll
+   implement as new polymorph instructions.
+
+   COND        EXPL       SHORT JUMP   LONG JUMP
+   ===============================================
+   eq  ==         jeq          jne +4; br lab
+   ne  !=         jne          jeq +4; br lab
+
+   ltn honours no-overflow flag
+   ltn <          jn           jn +2;  jmp +4; br lab
+
+   lt  <          jl           jge +4; br lab
+   ltu <          jlo          lhs +4; br lab
+   le  <= see below
+   leu <= see below
+
+   gt  >  see below
+   gtu >  see below
+   ge  >=         jge          jl +4; br lab
+   geu >=         jhs          jlo +4; br lab
+   ===============================================
+
+   Therefore, new opcodes are (BranchEQ -> beq; and so on...)
+   beq,bne,blt,bltn,bltu,bge,bgeu
+   'u' means unsigned compares
+
+   Also, we add 'jump' instruction:
+   jump        UNCOND  -> jmp          br lab
+
+   They will have fmt == 4, and insn_opnumb == number of instruction.  */
+
+struct rcodes_s
 {
 {
-  char *name;
-  int isa;
-  int mach;
+  char * name;
+  int    index;        /* Corresponding insn_opnumb.  */
+  int    sop;  /* Opcode if jump length is short.  */
+  long   lpos; /* Label position.  */
+  long   lop0; /* Opcode 1 _word_ (16 bits).  */
+  long   lop1; /* Opcode second word.  */
+  long   lop2; /* Opcode third word.  */
 };
 
 };
 
-#define MSP430_ISA_11   11
-#define MSP430_ISA_110 110
-#define MSP430_ISA_12   12
-#define MSP430_ISA_13   13
-#define MSP430_ISA_14   14
-#define MSP430_ISA_15   15
-#define MSP430_ISA_16   16
-#define MSP430_ISA_31   31
-#define MSP430_ISA_32   32
-#define MSP430_ISA_33   33
-#define MSP430_ISA_41   41
-#define MSP430_ISA_42   42
-#define MSP430_ISA_43   43
-#define MSP430_ISA_44   44
-
-#define CHECK_RELOC_MSP430             ((imm_op || byte_op)?BFD_RELOC_MSP430_16_BYTE:BFD_RELOC_MSP430_16)
-#define CHECK_RELOC_MSP430_PCREL       ((imm_op || byte_op)?BFD_RELOC_MSP430_16_PCREL_BYTE:BFD_RELOC_MSP430_16_PCREL)
-
-static struct mcu_type_s mcu_types[] =
+#define MSP430_RLC(n,i,sop,o1) \
+  {#n, i, sop, 2, (o1 + 2), 0x4010, 0}
+
+static struct rcodes_s msp430_rcodes[] =
 {
 {
-  {"msp1",       MSP430_ISA_11, bfd_mach_msp11},
-  {"msp2",       MSP430_ISA_14, bfd_mach_msp14},
-  {"msp430x110", MSP430_ISA_11, bfd_mach_msp11},
-  {"msp430x112", MSP430_ISA_11, bfd_mach_msp11},
-  {"msp430x1101",MSP430_ISA_110, bfd_mach_msp110},
-  {"msp430x1111",MSP430_ISA_110, bfd_mach_msp110},
-  {"msp430x1121",MSP430_ISA_110, bfd_mach_msp110},
-  {"msp430x1122",MSP430_ISA_11, bfd_mach_msp110},
-  {"msp430x1132",MSP430_ISA_11, bfd_mach_msp110},
-
-  {"msp430x122", MSP430_ISA_12, bfd_mach_msp12},
-  {"msp430x123", MSP430_ISA_12, bfd_mach_msp12},
-  {"msp430x1222",MSP430_ISA_12, bfd_mach_msp12},
-  {"msp430x1232",MSP430_ISA_12, bfd_mach_msp12},
-
-  {"msp430x133", MSP430_ISA_13, bfd_mach_msp13},
-  {"msp430x135", MSP430_ISA_13, bfd_mach_msp13},
-  {"msp430x1331",MSP430_ISA_13, bfd_mach_msp13},
-  {"msp430x1351",MSP430_ISA_13, bfd_mach_msp13},
-  {"msp430x147", MSP430_ISA_14, bfd_mach_msp14},
-  {"msp430x148", MSP430_ISA_14, bfd_mach_msp14},
-  {"msp430x149", MSP430_ISA_14, bfd_mach_msp14},
-
-  {"msp430x155", MSP430_ISA_15, bfd_mach_msp15},
-  {"msp430x156", MSP430_ISA_15, bfd_mach_msp15},
-  {"msp430x157", MSP430_ISA_15, bfd_mach_msp15},
-  {"msp430x167", MSP430_ISA_16, bfd_mach_msp16},
-  {"msp430x168", MSP430_ISA_16, bfd_mach_msp16},
-  {"msp430x169", MSP430_ISA_16, bfd_mach_msp16},
-
-  {"msp430x311", MSP430_ISA_31, bfd_mach_msp31},
-  {"msp430x312", MSP430_ISA_31, bfd_mach_msp31},
-  {"msp430x313", MSP430_ISA_31, bfd_mach_msp31},
-  {"msp430x314", MSP430_ISA_31, bfd_mach_msp31},
-  {"msp430x315", MSP430_ISA_31, bfd_mach_msp31},
-  {"msp430x323", MSP430_ISA_32, bfd_mach_msp32},
-  {"msp430x325", MSP430_ISA_32, bfd_mach_msp32},
-  {"msp430x336", MSP430_ISA_33, bfd_mach_msp33},
-  {"msp430x337", MSP430_ISA_33, bfd_mach_msp33},
-
-  {"msp430x412", MSP430_ISA_41, bfd_mach_msp41},
-  {"msp430x413", MSP430_ISA_41, bfd_mach_msp41},
-
-  {"msp430xE423", MSP430_ISA_42, bfd_mach_msp42},
-  {"msp430xE425", MSP430_ISA_42, bfd_mach_msp42},
-  {"msp430xE427", MSP430_ISA_42, bfd_mach_msp42},
-  {"msp430xW423", MSP430_ISA_42, bfd_mach_msp42},
-  {"msp430xW425", MSP430_ISA_42, bfd_mach_msp42},
-  {"msp430xW427", MSP430_ISA_42, bfd_mach_msp42},
-
-  {"msp430x435", MSP430_ISA_43, bfd_mach_msp43},
-  {"msp430x436", MSP430_ISA_43, bfd_mach_msp43},
-  {"msp430x437", MSP430_ISA_43, bfd_mach_msp43},
-  {"msp430x447", MSP430_ISA_44, bfd_mach_msp44},
-  {"msp430x448", MSP430_ISA_44, bfd_mach_msp44},
-  {"msp430x449", MSP430_ISA_44, bfd_mach_msp44},
-
-  {NULL, 0, 0}
+  MSP430_RLC (beq,  0, 0x2400, 0x2000),
+  MSP430_RLC (bne,  1, 0x2000, 0x2400),
+  MSP430_RLC (blt,  2, 0x3800, 0x3400),
+  MSP430_RLC (bltu, 3, 0x2800, 0x2c00),
+  MSP430_RLC (bge,  4, 0x3400, 0x3800),
+  MSP430_RLC (bgeu, 5, 0x2c00, 0x2800),
+  {"bltn",          6, 0x3000, 3, 0x3000 + 1, 0x3c00 + 2,0x4010},
+  {"jump",          7, 0x3c00, 1, 0x4010, 0, 0},
+  {0,0,0,0,0,0,0}
 };
 
 };
 
+#undef  MSP430_RLC
+#define MSP430_RLC(n,i,sop,o1) \
+  {#n, i, sop, 2, (o1 + 2), 0x0030, 0}
 
 
-static struct mcu_type_s default_mcu =
-    { "msp430x11", MSP430_ISA_11, bfd_mach_msp11 };
-
-static struct mcu_type_s *msp430_mcu = &default_mcu;
-
-const pseudo_typeS md_pseudo_table[] =
+static struct rcodes_s msp430x_rcodes[] =
 {
 {
-  {"arch", msp430_set_arch, 0},
-  {NULL, NULL, 0}
+  MSP430_RLC (beq,  0, 0x2400,    0x2000),
+  MSP430_RLC (bne,  1, 0x2000,    0x2400),
+  MSP430_RLC (blt,  2, 0x3800,    0x3400),
+  MSP430_RLC (bltu, 3, 0x2800,    0x2c00),
+  MSP430_RLC (bge,  4, 0x3400,    0x3800),
+  MSP430_RLC (bgeu, 5, 0x2c00,    0x2800),
+  {"bltn",          6, 0x3000, 3, 0x0030 + 1, 0x3c00 + 2, 0x3000},
+  {"jump",          7, 0x3c00, 1, 0x0030,     0,          0},
+  {0,0,0,0,0,0,0}
 };
 };
+#undef MSP430_RLC
 
 
-#define OPTION_MMCU 'm'
+/* More difficult than above and they have format 5.
 
 
-const char *md_shortopts = "m:";
+   COND        EXPL    SHORT                   LONG
+   =================================================================
+   gt  >       jeq +2; jge label       jeq +6; jl  +4; br label
+   gtu >       jeq +2; jhs label       jeq +6; jlo +4; br label
+   leu <=      jeq label; jlo label    jeq +2; jhs +4; br label
+   le  <=      jeq label; jl  label    jeq +2; jge +4; br label
+   =================================================================  */
 
 
-struct option md_longopts[] =
+struct hcodes_s
 {
 {
-  {"mmcu", required_argument, NULL, OPTION_MMCU},
-  {NULL, no_argument, NULL, 0}
+  char * name;
+  int    index;                /* Corresponding insn_opnumb.  */
+  int    tlab;         /* Number of labels in short mode.  */
+  int    op0;          /* Opcode for first word of short jump.  */
+  int    op1;          /* Opcode for second word of short jump.  */
+  int    lop0;         /* Opcodes for long jump mode.  */
+  int    lop1;
+  int    lop2;
 };
 
 };
 
-size_t md_longopts_size = sizeof (md_longopts);
+static struct hcodes_s msp430_hcodes[] =
+{
+  {"bgt",  0, 1, 0x2401, 0x3400, 0x2403, 0x3802, 0x4010 },
+  {"bgtu", 1, 1, 0x2401, 0x2c00, 0x2403, 0x2802, 0x4010 },
+  {"bleu", 2, 2, 0x2400, 0x2800, 0x2401, 0x2c02, 0x4010 },
+  {"ble",  3, 2, 0x2400, 0x3800, 0x2401, 0x3402, 0x4010 },
+  {0,0,0,0,0,0,0,0}
+};
 
 
-static void
-show_mcu_list (stream)
-     FILE *stream;
+static struct hcodes_s msp430x_hcodes[] =
 {
 {
-  int i;
+  {"bgt",  0, 1, 0x2401, 0x3400, 0x2403, 0x3802, 0x0030 },
+  {"bgtu", 1, 1, 0x2401, 0x2c00, 0x2403, 0x2802, 0x0030 },
+  {"bleu", 2, 2, 0x2400, 0x2800, 0x2401, 0x2c02, 0x0030 },
+  {"ble",  3, 2, 0x2400, 0x3800, 0x2401, 0x3402, 0x0030 },
+  {0,0,0,0,0,0,0,0}
+};
 
 
-  fprintf (stream, _("Known MCU names:\n"));
+const char comment_chars[] = ";";
+const char line_comment_chars[] = "#";
+const char line_separator_chars[] = "{";
+const char EXP_CHARS[] = "eE";
+const char FLT_CHARS[] = "dD";
 
 
-  for (i = 0; mcu_types[i].name; i++)
-    fprintf (stream, _("\t %s\n"), mcu_types[i].name);
+/* Handle  long expressions.  */
+extern LITTLENUM_TYPE generic_bignum[];
 
 
-  fprintf (stream, "\n");
-}
+static struct hash_control *msp430_hash;
 
 
-void
-md_show_usage (stream)
-     FILE *stream;
+/* Relaxations.  */
+#define STATE_UNCOND_BRANCH    1       /* jump */
+#define STATE_NOOV_BRANCH      3       /* bltn */
+#define STATE_SIMPLE_BRANCH    2       /* bne, beq, etc... */
+#define STATE_EMUL_BRANCH      4
+
+#define CNRL   2
+#define CUBL   4
+#define CNOL   8
+#define CSBL   6
+#define CEBL   4
+
+/* Length.  */
+#define STATE_BITS10   1       /* wild guess. short jump */
+#define STATE_WORD     2       /* 2 bytes pc rel. addr. more */
+#define STATE_UNDEF    3       /* cannot handle this yet. convert to word mode */
+
+#define ENCODE_RELAX(what,length) (((what) << 2) + (length))
+#define RELAX_STATE(s)            ((s) & 3)
+#define RELAX_LEN(s)             ((s) >> 2)
+#define RELAX_NEXT(a,b)                  ENCODE_RELAX (a, b + 1)
+
+relax_typeS md_relax_table[] =
 {
 {
-  fprintf (stream,
-          _("MSP430 options:\n"
-            "  -mmcu=[msp430-name] select microcontroller type\n"
-            "                  msp430x110  msp430x112\n"
-            "                  msp430x1101 msp430x1111\n"
-            "                  msp430x1121 msp430x1122 msp430x1132\n"
-            "                  msp430x122  msp430x123\n"
-            "                  msp430x1222 msp430x1232\n"
-            "                  msp430x133  msp430x135\n"
-            "                  msp430x1331 msp430x1351\n"
-            "                  msp430x147  msp430x148  msp430x149\n"
-            "                  msp430x155  msp430x156  msp430x157\n"
-            "                  msp430x167  msp430x168  msp430x169\n"
-            "                  msp430x311  msp430x312  msp430x313  msp430x314  msp430x315\n"
-            "                  msp430x323  msp430x325\n"
-            "                  msp430x336  msp430x337\n"
-            "                  msp430x412  msp430x413\n"
-            "                  msp430xE423 msp430xE425 msp430E427\n"
-            "                  msp430xW423 msp430xW425 msp430W427\n"
-            "                  msp430x435  msp430x436  msp430x437\n"
-            "                  msp430x447  msp430x448  msp430x449\n"));
-
-  show_mcu_list (stream);
-}
+  /* Unused.  */
+  {1, 1, 0, 0},
+  {1, 1, 0, 0},
+  {1, 1, 0, 0},
+  {1, 1, 0, 0},
+
+  /* Unconditional jump.  */
+  {1, 1, 8, 5},
+  {1024, -1024, CNRL, RELAX_NEXT (STATE_UNCOND_BRANCH, STATE_BITS10)}, /* state 10 bits displ */
+  {0, 0, CUBL, RELAX_NEXT (STATE_UNCOND_BRANCH, STATE_WORD)},          /* state word */
+  {1, 1, CUBL, 0},                                                     /* state undef */
+
+  /* Simple branches.  */
+  {0, 0, 8, 9},
+  {1024, -1024, CNRL, RELAX_NEXT (STATE_SIMPLE_BRANCH, STATE_BITS10)}, /* state 10 bits displ */
+  {0, 0, CSBL, RELAX_NEXT (STATE_SIMPLE_BRANCH, STATE_WORD)},          /* state word */
+  {1, 1, CSBL, 0},
+
+  /* blt no overflow branch.  */
+  {1, 1, 8, 13},
+  {1024, -1024, CNRL, RELAX_NEXT (STATE_NOOV_BRANCH, STATE_BITS10)},   /* state 10 bits displ */
+  {0, 0, CNOL, RELAX_NEXT (STATE_NOOV_BRANCH, STATE_WORD)},            /* state word */
+  {1, 1, CNOL, 0},
+
+  /* Emulated branches.  */
+  {1, 1, 8, 17},
+  {1020, -1020, CEBL, RELAX_NEXT (STATE_EMUL_BRANCH, STATE_BITS10)},   /* state 10 bits displ */
+  {0, 0, CNOL, RELAX_NEXT (STATE_EMUL_BRANCH, STATE_WORD)},            /* state word */
+  {1, 1, CNOL, 0}
+};
 
 
-static char *
-extract_word (char *from, char *to, int limit)
-{
-  char *op_start;
-  char *op_end;
-  int size = 0;
 
 
-  /* Drop leading whitespace.  */
-  from = skip_space (from);
-  *to = 0;
+#define MAX_OP_LEN     256
 
 
-  /* Find the op code end.  */
-  for (op_start = op_end = from; *op_end != 0 && is_part_of_name (*op_end);)
-    {
-      to[size++] = *op_end++;
-      if (size + 1 >= limit)
-       break;
-    }
+typedef enum msp_isa
+{
+  MSP_ISA_430,
+  MSP_ISA_430X,
+  MSP_ISA_430Xv2
+} msp_isa;
 
 
-  to[size] = 0;
-  return op_end;
-}
+static enum msp_isa selected_isa = MSP_ISA_430Xv2;
 
 
-static void
-msp430_set_arch (dummy)
-     int dummy ATTRIBUTE_UNUSED;
+static inline bfd_boolean
+target_is_430x (void)
 {
 {
-  char *str = (char *) alloca (32);    /* 32 for good measure.  */
-
-  input_line_pointer = extract_word (input_line_pointer, str, 32);
+  return selected_isa >= MSP_ISA_430X;
+}
 
 
-  md_parse_option (OPTION_MMCU, str);
-  bfd_set_arch_mach (stdoutput, TARGET_ARCH, msp430_mcu->mach);
+static inline bfd_boolean
+target_is_430xv2 (void)
+{
+  return selected_isa == MSP_ISA_430Xv2;
 }
 
 }
 
-int
-md_parse_option (c, arg)
-     int c;
-     char *arg;
+/* Generate an absolute 16-bit relocation.
+   For the 430X we generate a relocation without linker range checking
+    if the value is being used in an extended (ie 20-bit) instruction,
+    otherwise if have a shifted expression we use a HI reloc.
+   For the 430 we generate a relocation without assembler range checking
+    if we are handling an immediate value or a byte-width instruction.  */
+
+#undef  CHECK_RELOC_MSP430
+#define CHECK_RELOC_MSP430(OP)                         \
+  (target_is_430x ()                                   \
+  ? (extended_op                                       \
+     ? BFD_RELOC_16                                    \
+     : ((OP).vshift == 1)                              \
+     ? BFD_RELOC_MSP430_ABS_HI16                       \
+     : BFD_RELOC_MSP430X_ABS16)                                \
+   : ((imm_op || byte_op)                              \
+      ? BFD_RELOC_MSP430_16_BYTE : BFD_RELOC_MSP430_16))
+
+/* Generate a 16-bit pc-relative relocation.
+   For the 430X we generate a relocation without linkwer range checking.
+   For the 430 we generate a relocation without assembler range checking
+   if we are handling an immediate value or a byte-width instruction.  */
+#undef  CHECK_RELOC_MSP430_PCREL
+#define CHECK_RELOC_MSP430_PCREL                            \
+  (target_is_430x ()                                        \
+   ? BFD_RELOC_MSP430X_PCR16                                \
+   : (imm_op || byte_op)                                    \
+   ? BFD_RELOC_MSP430_16_PCREL_BYTE : BFD_RELOC_MSP430_16_PCREL)
+
+/* Profiling capability:
+   It is a performance hit to use gcc's profiling approach for this tiny target.
+   Even more -- jtag hardware facility does not perform any profiling functions.
+   However we've got gdb's built-in simulator where we can do anything.
+   Therefore my suggestion is:
+
+   We define new section ".profiler" which holds all profiling information.
+   We define new pseudo operation .profiler which will instruct assembler to
+   add new profile entry to the object file. Profile should take place at the
+   present address.
+
+   Pseudo-op format:
+
+      .profiler flags,function_to_profile [, cycle_corrector, extra]
+
+   where 'flags' is a combination of the following chars:
+           s - function Start
+           x - function eXit
+           i - function is in Init section
+           f - function is in Fini section
+           l - Library call
+           c - libC standard call
+           d - stack value Demand (saved at run-time in simulator)
+           I - Interrupt service routine
+           P - Prologue start
+           p - Prologue end
+           E - Epilogue start
+           e - Epilogue end
+           j - long Jump/ sjlj unwind
+           a - an Arbitrary code fragment
+           t - exTra parameter saved (constant value like frame size)
+         '""' optional: "sil" == sil
+
+      function_to_profile - function's address
+      cycle_corrector     - a value which should be added to the cycle
+                             counter, zero if omitted
+      extra - some extra parameter, zero if omitted.
+
+      For example:
+      ------------------------------
+       .global fxx
+       .type fxx,@function
+      fxx:
+      .LFrameOffset_fxx=0x08
+      .profiler "scdP", fxx    ; function entry.
+                               ; we also demand stack value to be displayed
+       push r11
+       push r10
+       push r9
+       push r8
+      .profiler "cdp",fxx,0, .LFrameOffset_fxx ; check stack value at this point
+                                               ; (this is a prologue end)
+                                               ; note, that spare var filled with the frame size
+       mov r15,r8
+       ....
+      .profiler cdE,fxx                ; check stack
+       pop r8
+       pop r9
+       pop r10
+       pop r11
+      .profiler xcde,fxx,3     ; exit adds 3 to the cycle counter
+      ret                      ; cause 'ret' insn takes 3 cycles
+      -------------------------------
+
+      This profiling approach does not produce any overhead and
+      absolutely harmless.
+      So, even profiled code can be uploaded to the MCU.  */
+#define MSP430_PROFILER_FLAG_ENTRY     1       /* s */
+#define MSP430_PROFILER_FLAG_EXIT      2       /* x */
+#define MSP430_PROFILER_FLAG_INITSECT  4       /* i */
+#define MSP430_PROFILER_FLAG_FINISECT  8       /* f */
+#define MSP430_PROFILER_FLAG_LIBCALL   0x10    /* l */
+#define MSP430_PROFILER_FLAG_STDCALL   0x20    /* c */
+#define MSP430_PROFILER_FLAG_STACKDMD  0x40    /* d */
+#define MSP430_PROFILER_FLAG_ISR       0x80    /* I */
+#define MSP430_PROFILER_FLAG_PROLSTART 0x100   /* P */
+#define MSP430_PROFILER_FLAG_PROLEND   0x200   /* p */
+#define MSP430_PROFILER_FLAG_EPISTART  0x400   /* E */
+#define MSP430_PROFILER_FLAG_EPIEND    0x800   /* e */
+#define MSP430_PROFILER_FLAG_JUMP      0x1000  /* j */
+#define MSP430_PROFILER_FLAG_FRAGMENT  0x2000  /* a */
+#define MSP430_PROFILER_FLAG_EXTRA     0x4000  /* t */
+#define MSP430_PROFILER_FLAG_notyet    0x8000  /* ? */
+
+static int
+pow2value (int y)
 {
 {
-  int i;
+  int n = 0;
+  unsigned int x;
 
 
-  switch (c)
-    {
-    case OPTION_MMCU:
-      for (i = 0; mcu_types[i].name; ++i)
-       if (strcmp (mcu_types[i].name, arg) == 0)
-         break;
+  x = y;
 
 
-      if (!mcu_types[i].name)
-       {
-         show_mcu_list (stderr);
-         as_fatal (_("unknown MCU: %s\n"), arg);
-       }
+  if (!x)
+    return 1;
 
 
-      if (msp430_mcu == &default_mcu || msp430_mcu->mach == mcu_types[i].mach)
-       msp430_mcu = &mcu_types[i];
-      else
-       as_fatal (_("redefinition of mcu type %s' to %s'"),
-                 msp430_mcu->name, mcu_types[i].name);
-      return 1;
-    }
+  for (; x; x = x >> 1)
+    if (x & 1)
+      n++;
 
 
-  return 0;
+  return n == 1;
 }
 
 }
 
-symbolS *
-md_undefined_symbol (name)
-     char *name ATTRIBUTE_UNUSED;
-{
-  return 0;
-}
+/* Parse ordinary expression.  */
 
 
-static inline char *
-skip_space (s)
-     char *s;
+static char *
+parse_exp (char * s, expressionS * op)
 {
 {
-  while (ISSPACE (*s))
-    ++s;
-  return s;
+  input_line_pointer = s;
+  expression (op);
+  if (op->X_op == O_absent)
+    as_bad (_("missing operand"));
+  return input_line_pointer;
 }
 
 }
 
+
 /* Delete spaces from s: X ( r 1  2)  => X(r12).  */
 
 static void
 /* Delete spaces from s: X ( r 1  2)  => X(r12).  */
 
 static void
-del_spaces (s)
-     char *s;
+del_spaces (char * s)
 {
   while (*s)
     {
 {
   while (*s)
     {
@@ -320,10 +442,18 @@ del_spaces (s)
     }
 }
 
     }
 }
 
-/* Extract one word from FROM and copy it to TO. Delimeters are ",;\n"  */
+static inline char *
+skip_space (char * s)
+{
+  while (ISSPACE (*s))
+    ++s;
+  return s;
+}
+
+/* Extract one word from FROM and copy it to TO. Delimiters are ",;\n"  */
 
 static char *
 
 static char *
-extract_operand (char *from, char *to, int limit)
+extract_operand (char * from, char * to, int limit)
 {
   int size = 0;
 
 {
   int size = 0;
 
@@ -347,168 +477,1438 @@ extract_operand (char *from, char *to, int limit)
   return from;
 }
 
   return from;
 }
 
-static char *
-extract_cmd (char *from, char *to, int limit)
+static void
+msp430_profiler (int dummy ATTRIBUTE_UNUSED)
 {
 {
-  int size = 0;
-
-  while (*from && ! ISSPACE (*from) && *from != '.' && limit > size)
+  char   buffer[1024];
+  char   f[32];
+  char * str = buffer;
+  char * flags = f;
+  int    p_flags = 0;
+  char * halt;
+  int    ops = 0;
+  int    left;
+  char * s;
+  segT   seg;
+  int    subseg;
+  char * end = 0;
+  expressionS exp;
+  expressionS exp1;
+
+  s = input_line_pointer;
+  end = input_line_pointer;
+
+  while (*end && *end != '\n')
+    end++;
+
+  while (*s && *s != '\n')
     {
     {
-      *(to + size) = *from;
-      from++;
-      size++;
+      if (*s == ',')
+       ops++;
+      s++;
     }
 
     }
 
-  *(to + size) = 0;
+  left = 3 - ops;
 
 
-  return from;
-}
+  if (ops < 1)
+    {
+      as_bad (_(".profiler pseudo requires at least two operands."));
+      input_line_pointer = end;
+      return;
+    }
 
 
-/* Turn a string in input_line_pointer into a floating point constant
-   of type TYPE, and store the appropriate bytes in *LITP.  The number
-   of LITTLENUMS emitted is stored in *SIZEP.  An error message is
-   returned, or NULL on OK.  */
+  input_line_pointer = extract_operand (input_line_pointer, flags, 32);
 
 
-char *
-md_atof (type, litP, sizeP)
-     int type;
-     char *litP;
-     int *sizeP;
-{
-  int prec;
-  LITTLENUM_TYPE words[4];
-  LITTLENUM_TYPE *wordP;
-  char *t;
+  while (*flags)
+    {
+      switch (*flags)
+       {
+       case '"':
+         break;
+       case 'a':
+         p_flags |= MSP430_PROFILER_FLAG_FRAGMENT;
+         break;
+       case 'j':
+         p_flags |= MSP430_PROFILER_FLAG_JUMP;
+         break;
+       case 'P':
+         p_flags |= MSP430_PROFILER_FLAG_PROLSTART;
+         break;
+       case 'p':
+         p_flags |= MSP430_PROFILER_FLAG_PROLEND;
+         break;
+       case 'E':
+         p_flags |= MSP430_PROFILER_FLAG_EPISTART;
+         break;
+       case 'e':
+         p_flags |= MSP430_PROFILER_FLAG_EPIEND;
+         break;
+       case 's':
+         p_flags |= MSP430_PROFILER_FLAG_ENTRY;
+         break;
+       case 'x':
+         p_flags |= MSP430_PROFILER_FLAG_EXIT;
+         break;
+       case 'i':
+         p_flags |= MSP430_PROFILER_FLAG_INITSECT;
+         break;
+       case 'f':
+         p_flags |= MSP430_PROFILER_FLAG_FINISECT;
+         break;
+       case 'l':
+         p_flags |= MSP430_PROFILER_FLAG_LIBCALL;
+         break;
+       case 'c':
+         p_flags |= MSP430_PROFILER_FLAG_STDCALL;
+         break;
+       case 'd':
+         p_flags |= MSP430_PROFILER_FLAG_STACKDMD;
+         break;
+       case 'I':
+         p_flags |= MSP430_PROFILER_FLAG_ISR;
+         break;
+       case 't':
+         p_flags |= MSP430_PROFILER_FLAG_EXTRA;
+         break;
+       default:
+         as_warn (_("unknown profiling flag - ignored."));
+         break;
+       }
+      flags++;
+    }
 
 
-  switch (type)
+  if (p_flags
+      && (   ! pow2value (p_flags & (  MSP430_PROFILER_FLAG_ENTRY
+                                    | MSP430_PROFILER_FLAG_EXIT))
+         || ! pow2value (p_flags & (  MSP430_PROFILER_FLAG_PROLSTART
+                                    | MSP430_PROFILER_FLAG_PROLEND
+                                    | MSP430_PROFILER_FLAG_EPISTART
+                                    | MSP430_PROFILER_FLAG_EPIEND))
+         || ! pow2value (p_flags & (  MSP430_PROFILER_FLAG_INITSECT
+                                    | MSP430_PROFILER_FLAG_FINISECT))))
     {
     {
-    case 'f':
-      prec = 2;
-      break;
-    case 'd':
-      prec = 4;
-      break;
-    default:
-      *sizeP = 0;
-      return _("bad call to md_atof");
+      as_bad (_("ambiguous flags combination - '.profiler' directive ignored."));
+      input_line_pointer = end;
+      return;
+    }
+
+  /* Generate temp symbol which denotes current location.  */
+  if (now_seg == absolute_section)     /* Paranoia ?  */
+    {
+      exp1.X_op = O_constant;
+      exp1.X_add_number = abs_section_offset;
+      as_warn (_("profiling in absolute section?"));
     }
     }
+  else
+    {
+      exp1.X_op = O_symbol;
+      exp1.X_add_symbol = symbol_temp_new_now ();
+      exp1.X_add_number = 0;
+    }
+
+  /* Generate a symbol which holds flags value.  */
+  exp.X_op = O_constant;
+  exp.X_add_number = p_flags;
 
 
-  t = atof_ieee (input_line_pointer, type, words);
-  if (t)
-    input_line_pointer = t;
+  /* Save current section.  */
+  seg = now_seg;
+  subseg = now_subseg;
 
 
-  *sizeP = prec * sizeof (LITTLENUM_TYPE);
+  /* Now go to .profiler section.  */
+  obj_elf_change_section (".profiler", SHT_PROGBITS, 0, 0, 0, 0, 0);
 
 
-  /* This loop outputs the LITTLENUMs in REVERSE order.  */
-  for (wordP = words + prec - 1; prec--;)
+  /* Save flags.  */
+  emit_expr (& exp, 2);
+
+  /* Save label value.  */
+  emit_expr (& exp1, 2);
+
+  while (ops--)
     {
     {
-      md_number_to_chars (litP, (valueT) (*wordP--), sizeof (LITTLENUM_TYPE));
-      litP += sizeof (LITTLENUM_TYPE);
+      /* Now get profiling info.  */
+      halt = extract_operand (input_line_pointer, str, 1024);
+      /* Process like ".word xxx" directive.  */
+      parse_exp (str, & exp);
+      emit_expr (& exp, 2);
+      input_line_pointer = halt;
     }
 
     }
 
-  return NULL;
+  /* Fill the rest with zeros.  */
+  exp.X_op = O_constant;
+  exp.X_add_number = 0;
+  while (left--)
+    emit_expr (& exp, 2);
+
+  /* Return to current section.  */
+  subseg_set (seg, subseg);
 }
 
 }
 
-void
-md_convert_frag (abfd, sec, fragP)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     asection *sec ATTRIBUTE_UNUSED;
-     fragS *fragP ATTRIBUTE_UNUSED;
+static char *
+extract_word (char * from, char * to, int limit)
 {
 {
-  abort ();
+  char *op_end;
+  int size = 0;
+
+  /* Drop leading whitespace.  */
+  from = skip_space (from);
+  *to = 0;
+
+  /* Find the op code end.  */
+  for (op_end = from; *op_end != 0 && is_part_of_name (*op_end);)
+    {
+      to[size++] = *op_end++;
+      if (size + 1 >= limit)
+       break;
+    }
+
+  to[size] = 0;
+  return op_end;
 }
 
 }
 
-void
-md_begin ()
+#define OPTION_MMCU 'm'
+#define OPTION_RELAX 'Q'
+#define OPTION_POLYMORPHS 'P'
+#define OPTION_LARGE 'l'
+static bfd_boolean large_model = FALSE;
+#define OPTION_NO_INTR_NOPS 'N'
+#define OPTION_INTR_NOPS 'n'
+static bfd_boolean gen_interrupt_nops = FALSE;
+#define OPTION_WARN_INTR_NOPS 'y'
+#define OPTION_NO_WARN_INTR_NOPS 'Y'
+static bfd_boolean warn_interrupt_nops = TRUE;
+#define OPTION_MCPU 'c'
+#define OPTION_MOVE_DATA 'd'
+static bfd_boolean move_data = FALSE;
+
+static void
+msp430_set_arch (int option)
 {
 {
-  struct msp430_opcode_s *opcode;
-  msp430_hash = hash_new ();
+  char *str = (char *) alloca (32);    /* 32 for good measure.  */
 
 
-  for (opcode = msp430_opcodes; opcode->name; opcode++)
-    hash_insert (msp430_hash, opcode->name, (char *) opcode);
+  input_line_pointer = extract_word (input_line_pointer, str, 32);
 
 
-  bfd_set_arch_mach (stdoutput, TARGET_ARCH, msp430_mcu->mach);
+  md_parse_option (option, str);
+  bfd_set_arch_mach (stdoutput, TARGET_ARCH,
+                    target_is_430x () ? bfd_mach_msp430x : bfd_mach_msp11);
 }
 
 }
 
-void
-md_assemble (str)
-     char *str;
+/* This is the full list of MCU names that are known to only
+   support the 430 ISA.  */
+static const char * msp430_mcu_names [] =
 {
 {
-  struct msp430_opcode_s *opcode;
-  char cmd[32];
-  unsigned int i = 0;
-
-  str = skip_space (str);      /* Skip leading spaces.  */
-  str = extract_cmd (str, cmd, sizeof (cmd));
+"msp430afe221",        "msp430afe222", "msp430afe223", "msp430afe231", 
+"msp430afe232",        "msp430afe233", "msp430afe251", "msp430afe252", 
+"msp430afe253",        "msp430c091",   "msp430c092",   "msp430c111",   
+"msp430c1111", "msp430c112",   "msp430c1121",  "msp430c1331",  
+"msp430c1351", "msp430c311s",  "msp430c312",   "msp430c313",   
+"msp430c314",  "msp430c315",   "msp430c323",   "msp430c325",   
+"msp430c336",  "msp430c337",   "msp430c412",   "msp430c413",   
+"msp430e112",  "msp430e313",   "msp430e315",   "msp430e325",   
+"msp430e337",  "msp430f110",   "msp430f1101",  "msp430f1101a", 
+"msp430f1111", "msp430f1111a", "msp430f112",   "msp430f1121",  
+"msp430f1121a",        "msp430f1122",  "msp430f1132",  "msp430f122",   
+"msp430f1222", "msp430f123",   "msp430f1232",  "msp430f133",   
+"msp430f135",  "msp430f147",   "msp430f1471",  "msp430f148",   
+"msp430f1481", "msp430f149",   "msp430f1491",  "msp430f155",   
+"msp430f156",  "msp430f157",   "msp430f1610",  "msp430f1611",  
+"msp430f1612", "msp430f167",   "msp430f168",   "msp430f169",   
+"msp430f2001", "msp430f2002",  "msp430f2003",  "msp430f2011",  
+"msp430f2012", "msp430f2013",  "msp430f2101",  "msp430f2111",  
+"msp430f2112", "msp430f2121",  "msp430f2122",  "msp430f2131",  
+"msp430f2132", "msp430f2232",  "msp430f2234",  "msp430f2252",  
+"msp430f2254", "msp430f2272",  "msp430f2274",  "msp430f233",   
+"msp430f2330", "msp430f235",   "msp430f2350",  "msp430f2370",  
+"msp430f2410", "msp430f247",   "msp430f2471",  "msp430f248",   
+"msp430f2481", "msp430f249",   "msp430f2491",  "msp430f412",   
+"msp430f413",  "msp430f4132",  "msp430f415",   "msp430f4152",  
+"msp430f417",  "msp430f423",   "msp430f423a",  "msp430f425",   
+"msp430f4250", "msp430f425a",  "msp430f4260",  "msp430f427",   
+"msp430f4270", "msp430f427a",  "msp430f435",   "msp430f4351",  
+"msp430f436",  "msp430f4361",  "msp430f437",   "msp430f4371",  
+"msp430f438",  "msp430f439",   "msp430f447",   "msp430f448",   
+"msp430f4481", "msp430f449",   "msp430f4491",  "msp430f477",   
+"msp430f478",  "msp430f4783",  "msp430f4784",  "msp430f479",   
+"msp430f4793", "msp430f4794",  "msp430fe423",  "msp430fe4232", 
+"msp430fe423a",        "msp430fe4242", "msp430fe425",  "msp430fe4252", 
+"msp430fe425a",        "msp430fe427",  "msp430fe4272", "msp430fe427a", 
+"msp430fg4250",        "msp430fg4260", "msp430fg4270", "msp430fg437",  
+"msp430fg438", "msp430fg439",  "msp430fg477",  "msp430fg478",  
+"msp430fg479", "msp430fw423",  "msp430fw425",  "msp430fw427",  
+"msp430fw428", "msp430fw429",  "msp430g2001",  "msp430g2101",  
+"msp430g2102", "msp430g2111",  "msp430g2112",  "msp430g2113",  
+"msp430g2121", "msp430g2131",  "msp430g2132",  "msp430g2152",  
+"msp430g2153", "msp430g2201",  "msp430g2202",  "msp430g2203",  
+"msp430g2210", "msp430g2211",  "msp430g2212",  "msp430g2213",  
+"msp430g2221", "msp430g2230",  "msp430g2231",  "msp430g2232",  
+"msp430g2233", "msp430g2252",  "msp430g2253",  "msp430g2302",  
+"msp430g2303", "msp430g2312",  "msp430g2313",  "msp430g2332",  
+"msp430g2333", "msp430g2352",  "msp430g2353",  "msp430g2402",  
+"msp430g2403", "msp430g2412",  "msp430g2413",  "msp430g2432",  
+"msp430g2433", "msp430g2444",  "msp430g2452",  "msp430g2453",  
+"msp430g2513", "msp430g2533",  "msp430g2544",  "msp430g2553",  
+"msp430g2744", "msp430g2755",  "msp430g2855",  "msp430g2955",  
+"msp430i2020", "msp430i2021",  "msp430i2030",  "msp430i2031",  
+"msp430i2040", "msp430i2041",  "msp430l092",   "msp430p112",   
+"msp430p313",  "msp430p315",   "msp430p315s",  "msp430p325",   
+"msp430p337",  "msp430tch5e"
+};
 
 
-  while (cmd[i] && i < sizeof (cmd))
+int
+md_parse_option (int c, char * arg)
+{
+  switch (c)
     {
     {
-      char a = TOLOWER (cmd[i]);
-      cmd[i] = a;
-      i++;
-    }
+    case OPTION_MMCU:
+      if (arg == NULL)
+       as_fatal (_("MCU option requires a name\n"));
+
+      if (strcasecmp ("msp430", arg) == 0)
+       selected_isa = MSP_ISA_430;
+      else if (strcasecmp ("msp430xv2", arg) == 0)
+       selected_isa = MSP_ISA_430Xv2;
+      else if (strcasecmp ("msp430x", arg) == 0)
+       selected_isa = MSP_ISA_430X;
+      else
+       {
+         int i;
 
 
-  if (!cmd[0])
-    {
-      as_bad (_("can't find opcode "));
-      return;
-    }
+         for (i = sizeof msp430_mcu_names / sizeof msp430_mcu_names[0]; i--;)
+           if (strcasecmp (msp430_mcu_names[i], arg) == 0)
+             {
+               selected_isa = MSP_ISA_430;
+               break;
+           }
+       }
+      /* It is not an error if we do not match the MCU name.  */
+      return 1;
 
 
-  opcode = (struct msp430_opcode_s *) hash_find (msp430_hash, cmd);
+    case OPTION_MCPU:
+      if (strcmp (arg, "430") == 0
+         || strcasecmp (arg, "msp430") == 0)
+       selected_isa = MSP_ISA_430;
+      else if (strcasecmp (arg, "430x") == 0
+              || strcasecmp (arg, "msp430x") == 0)
+       selected_isa = MSP_ISA_430X;
+      else if (strcasecmp (arg, "430xv2") == 0
+              || strcasecmp (arg, "msp430xv2") == 0)
+       selected_isa = MSP_ISA_430Xv2;
+      else
+       as_fatal (_("unrecognised argument to -mcpu option '%s'"), arg);
+      return 1;
 
 
-  if (opcode == NULL)
-    {
-      as_bad (_("unknown opcode `%s'"), cmd);
-      return;
-    }
+    case OPTION_RELAX:
+      msp430_enable_relax = 1;
+      return 1;
 
 
-  {
-    char *__t = input_line_pointer;
-    msp430_operands (opcode, str);
-    input_line_pointer = __t;
-  }
-}
+    case OPTION_POLYMORPHS:
+      msp430_enable_polys = 1;
+      return 1;
 
 
-/* Parse instruction operands.
-   Return binary opcode.  */
+    case OPTION_LARGE:
+      large_model = TRUE;
+      return 1;
 
 
-static unsigned int
-msp430_operands (opcode, line)
-     struct msp430_opcode_s *opcode;
-     char *line;
-{
-  int bin = opcode->bin_opcode;        /* opcode mask.  */
-  int __is;
-  char l1[MAX_OP_LEN], l2[MAX_OP_LEN];
-  char *frag;
-  int where;
-  struct msp430_operand_s op1, op2;
-  int res = 0;
-  static short ZEROS = 0;
-  int byte_op, imm_op;
+    case OPTION_NO_INTR_NOPS:
+      gen_interrupt_nops = FALSE;
+      return 1;
+    case OPTION_INTR_NOPS:
+      gen_interrupt_nops = TRUE;
+      return 1;
 
 
-  /* opcode is the one from opcodes table
-     line contains something like
-     [.w] @r2+, 5(R1)
-     or
-     .b @r2+, 5(R1).  */
+    case OPTION_WARN_INTR_NOPS:
+      warn_interrupt_nops = TRUE;
+      return 1;
+    case OPTION_NO_WARN_INTR_NOPS:
+      warn_interrupt_nops = FALSE;
+      return 1;
 
 
-  /* Check if byte or word operation.  */
-  if (*line == '.' && TOLOWER (*(line + 1)) == 'b')
-    {
-      bin |= BYTE_OPERATION;
-      byte_op = 1;
+    case OPTION_MOVE_DATA:
+      move_data = TRUE;
+      return 1;
     }
     }
-  else
-    byte_op = 0;
 
 
-  /* skip .[bwBW].  */
-  while (! ISSPACE (*line) && *line)
-    line++;
+  return 0;
+}
 
 
-  if (opcode->insn_opnumb && (!*line || *line == '\n'))
-    {
-      as_bad (_("instruction %s requires %d operand(s)"),
+/* The intention here is to have the mere presence of these sections
+   cause the object to have a reference to a well-known symbol.  This
+   reference pulls in the bits of the runtime (crt0) that initialize
+   these sections.  Thus, for example, the startup code to call
+   memset() to initialize .bss will only be linked in when there is a
+   non-empty .bss section.  Otherwise, the call would exist but have a
+   zero length parameter, which is a waste of memory and cycles.
+
+   The code which initializes these sections should have a global
+   label for these symbols, and should be marked with KEEP() in the
+   linker script.
+ */
+static void
+msp430_section (int arg)
+{
+  char * saved_ilp = input_line_pointer;
+  char * name = obj_elf_section_name ();
+
+  if (strncmp (name, ".bss", 4) == 0
+      || strncmp (name, ".gnu.linkonce.b.", 16) == 0)
+    (void) symbol_find_or_make ("__crt0_init_bss");
+
+  if (strncmp (name, ".data", 5) == 0
+      || strncmp (name, ".gnu.linkonce.d.", 16) == 0)
+    (void) symbol_find_or_make ("__crt0_movedata");
+
+  input_line_pointer = saved_ilp;
+  obj_elf_section (arg);
+}
+
+void
+msp430_frob_section (asection *sec)
+{
+  const char *name = sec->name;
+
+  if (sec->size == 0)
+    return;
+
+  if (strncmp (name, ".bss", 4) == 0
+      || strncmp (name, ".gnu.linkonce.b.", 16) == 0)
+    (void) symbol_find_or_make ("__crt0_init_bss");
+
+  if (strncmp (name, ".data", 5) == 0
+      || strncmp (name, ".gnu.linkonce.d.", 16) == 0)
+    (void) symbol_find_or_make ("__crt0_movedata");
+}
+
+static void
+msp430_lcomm (int ignore ATTRIBUTE_UNUSED)
+{
+  symbolS *symbolP = s_comm_internal (0, s_lcomm_internal);
+
+  if (symbolP)
+    symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
+  (void) symbol_find_or_make ("__crt0_init_bss");
+}
+
+static void
+msp430_comm (int needs_align)
+{
+  s_comm_internal (needs_align, elf_common_parse);
+  (void) symbol_find_or_make ("__crt0_init_bss");
+}
+
+static void
+msp430_refsym (int arg ATTRIBUTE_UNUSED)
+{
+  char sym_name[1024];
+  input_line_pointer = extract_word (input_line_pointer, sym_name, 1024);
+
+  (void) symbol_find_or_make (sym_name);
+}
+
+const pseudo_typeS md_pseudo_table[] =
+{
+  {"arch", msp430_set_arch, OPTION_MMCU},
+  {"cpu", msp430_set_arch, OPTION_MCPU},
+  {"profiler", msp430_profiler, 0},
+  {"section", msp430_section, 0},
+  {"section.s", msp430_section, 0},
+  {"sect", msp430_section, 0},
+  {"sect.s", msp430_section, 0},
+  {"pushsection", msp430_section, 1},
+  {"refsym", msp430_refsym, 0},
+  {"comm", msp430_comm, 0},
+  {"lcomm", msp430_lcomm, 0},
+  {NULL, NULL, 0}
+};
+
+const char *md_shortopts = "mm:,mP,mQ,ml,mN,mn,my,mY";
+
+struct option md_longopts[] =
+{
+  {"mmcu", required_argument, NULL, OPTION_MMCU},
+  {"mcpu", required_argument, NULL, OPTION_MCPU},
+  {"mP", no_argument, NULL, OPTION_POLYMORPHS},
+  {"mQ", no_argument, NULL, OPTION_RELAX},
+  {"ml", no_argument, NULL, OPTION_LARGE},
+  {"mN", no_argument, NULL, OPTION_NO_INTR_NOPS},
+  {"mn", no_argument, NULL, OPTION_INTR_NOPS},
+  {"mY", no_argument, NULL, OPTION_NO_WARN_INTR_NOPS},
+  {"my", no_argument, NULL, OPTION_WARN_INTR_NOPS},
+  {"md", no_argument, NULL, OPTION_MOVE_DATA},
+  {NULL, no_argument, NULL, 0}
+};
+
+size_t md_longopts_size = sizeof (md_longopts);
+
+void
+md_show_usage (FILE * stream)
+{
+  fprintf (stream,
+          _("MSP430 options:\n"
+            "  -mmcu=<msp430-name>     - select microcontroller type\n"
+             "  -mcpu={430|430x|430xv2} - select microcontroller architecture\n"));
+  fprintf (stream,
+          _("  -mQ - enable relaxation at assembly time. DANGEROUS!\n"
+            "  -mP - enable polymorph instructions\n"));
+  fprintf (stream,
+          _("  -ml - enable large code model\n"));
+  fprintf (stream,
+          _("  -mN - do not insert NOPs after changing interrupts (default)\n"));
+  fprintf (stream,
+          _("  -mn - insert a NOP after changing interrupts\n"));
+  fprintf (stream,
+          _("  -mY - do not warn about missing NOPs after changing interrupts\n"));
+  fprintf (stream,
+          _("  -my - warn about missing NOPs after changing interrupts (default)\n"));
+  fprintf (stream,
+          _("  -md - Force copying of data from ROM to RAM at startup\n"));
+}
+
+symbolS *
+md_undefined_symbol (char * name ATTRIBUTE_UNUSED)
+{
+  return NULL;
+}
+
+static char *
+extract_cmd (char * from, char * to, int limit)
+{
+  int size = 0;
+
+  while (*from && ! ISSPACE (*from) && *from != '.' && limit > size)
+    {
+      *(to + size) = *from;
+      from++;
+      size++;
+    }
+
+  *(to + size) = 0;
+
+  return from;
+}
+
+char *
+md_atof (int type, char * litP, int * sizeP)
+{
+  return ieee_md_atof (type, litP, sizeP, FALSE);
+}
+
+void
+md_begin (void)
+{
+  struct msp430_opcode_s * opcode;
+  msp430_hash = hash_new ();
+
+  for (opcode = msp430_opcodes; opcode->name; opcode++)
+    hash_insert (msp430_hash, opcode->name, (char *) opcode);
+
+  bfd_set_arch_mach (stdoutput, TARGET_ARCH,
+                    target_is_430x () ? bfd_mach_msp430x : bfd_mach_msp11);
+}
+
+/* Returns the register number equivalent to the string T.
+   Returns -1 if there is no such register.
+   Skips a leading 'r' or 'R' character if there is one.
+   Handles the register aliases PC and SP.  */
+
+static signed int
+check_reg (char * t)
+{
+  signed int val;
+
+  if (t == NULL)
+    return -1;
+
+  if (*t == 'r' || *t == 'R')
+    ++t;
+
+  if (strncasecmp (t, "pc", 2) == 0)
+    return 0;
+
+  if (strncasecmp (t, "sp", 2) == 0)
+    return 1;
+
+  if (strncasecmp (t, "sr", 2) == 0)
+    return 2;
+
+  if (*t == '0')
+    return 0;
+
+  val = atoi (t);
+
+  if (val < 1 || val > 15)
+    return -1;
+
+  return val;
+}
+
+static int
+msp430_srcoperand (struct msp430_operand_s * op,
+                  char * l,
+                  int bin,
+                  bfd_boolean * imm_op,
+                  bfd_boolean allow_20bit_values,
+                  bfd_boolean constants_allowed)
+{
+  char *__tl = l;
+
+  /* Check if an immediate #VALUE.  The hash sign should be only at the beginning!  */
+  if (*l == '#')
+    {
+      char *h = l;
+      int vshift = -1;
+      int rval = 0;
+
+      /* Check if there is:
+        llo(x) - least significant 16 bits, x &= 0xffff
+        lhi(x) - x = (x >> 16) & 0xffff,
+        hlo(x) - x = (x >> 32) & 0xffff,
+        hhi(x) - x = (x >> 48) & 0xffff
+        The value _MUST_ be constant expression: #hlo(1231231231).  */
+
+      *imm_op = TRUE;
+
+      if (strncasecmp (h, "#llo(", 5) == 0)
+       {
+         vshift = 0;
+         rval = 3;
+       }
+      else if (strncasecmp (h, "#lhi(", 5) == 0)
+       {
+         vshift = 1;
+         rval = 3;
+       }
+      else if (strncasecmp (h, "#hlo(", 5) == 0)
+       {
+         vshift = 2;
+         rval = 3;
+       }
+      else if (strncasecmp (h, "#hhi(", 5) == 0)
+       {
+         vshift = 3;
+         rval = 3;
+       }
+      else if (strncasecmp (h, "#lo(", 4) == 0)
+       {
+         vshift = 0;
+         rval = 2;
+       }
+      else if (strncasecmp (h, "#hi(", 4) == 0)
+       {
+         vshift = 1;
+         rval = 2;
+       }
+
+      op->reg = 0;             /* Reg PC.  */
+      op->am = 3;
+      op->ol = 1;              /* Immediate will follow an instruction.  */
+      __tl = h + 1 + rval;
+      op->mode = OP_EXP;
+      op->vshift = vshift;
+
+      parse_exp (__tl, &(op->exp));
+      if (op->exp.X_op == O_constant)
+       {
+         int x = op->exp.X_add_number;
+
+         if (vshift == 0)
+           {
+             x = x & 0xffff;
+             op->exp.X_add_number = x;
+           }
+         else if (vshift == 1)
+           {
+             x = (x >> 16) & 0xffff;
+             op->exp.X_add_number = x;
+             op->vshift = 0;
+           }
+         else if (vshift > 1)
+           {
+             if (x < 0)
+               op->exp.X_add_number = -1;
+             else
+               op->exp.X_add_number = 0;       /* Nothing left.  */
+             x = op->exp.X_add_number;
+             op->vshift = 0;
+           }
+
+         if (allow_20bit_values)
+           {
+             if (op->exp.X_add_number > 0xfffff || op->exp.X_add_number < -524288)
+               {
+                 as_bad (_("value 0x%x out of extended range."), x);
+                 return 1;
+               }
+           }
+         else if (op->exp.X_add_number > 65535 || op->exp.X_add_number < -32768)
+           {
+             as_bad (_("value %d out of range. Use #lo() or #hi()"), x);
+             return 1;
+           }
+
+         /* Now check constants.  */
+         /* Substitute register mode with a constant generator if applicable.  */
+
+         if (!allow_20bit_values)
+           x = (short) x;      /* Extend sign.  */
+
+         if (! constants_allowed)
+           ;
+         else if (x == 0)
+           {
+             op->reg = 3;
+             op->am = 0;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 1)
+           {
+             op->reg = 3;
+             op->am = 1;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 2)
+           {
+             op->reg = 3;
+             op->am = 2;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == -1)
+           {
+             op->reg = 3;
+             op->am = 3;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 4)
+           {
+#ifdef PUSH_1X_WORKAROUND
+             if (bin == 0x1200)
+               {
+                 /* Remove warning as confusing.
+                    as_warn (_("Hardware push bug workaround")); */
+               }
+             else
+#endif
+               {
+                 op->reg = 2;
+                 op->am = 2;
+                 op->ol = 0;
+                 op->mode = OP_REG;
+               }
+           }
+         else if (x == 8)
+           {
+#ifdef PUSH_1X_WORKAROUND
+             if (bin == 0x1200)
+               {
+                 /* Remove warning as confusing.
+                    as_warn (_("Hardware push bug workaround")); */
+               }
+             else
+#endif
+               {
+                 op->reg = 2;
+                 op->am = 3;
+                 op->ol = 0;
+                 op->mode = OP_REG;
+               }
+           }
+       }
+      else if (op->exp.X_op == O_symbol)
+       {
+         if (vshift > 1)
+           as_bad (_("error: unsupported #foo() directive used on symbol"));
+         op->mode = OP_EXP;
+       }
+      else if (op->exp.X_op == O_big)
+       {
+         short x;
+
+         if (vshift != -1)
+           {
+             op->exp.X_op = O_constant;
+             op->exp.X_add_number = 0xffff & generic_bignum[vshift];
+             x = op->exp.X_add_number;
+             op->vshift = 0;
+           }
+         else
+           {
+             as_bad (_
+                     ("unknown expression in operand %s. use #llo() #lhi() #hlo() #hhi() "),
+                     l);
+             return 1;
+           }
+
+         if (x == 0)
+           {
+             op->reg = 3;
+             op->am = 0;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 1)
+           {
+             op->reg = 3;
+             op->am = 1;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 2)
+           {
+             op->reg = 3;
+             op->am = 2;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == -1)
+           {
+             op->reg = 3;
+             op->am = 3;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 4)
+           {
+             op->reg = 2;
+             op->am = 2;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+         else if (x == 8)
+           {
+             op->reg = 2;
+             op->am = 3;
+             op->ol = 0;
+             op->mode = OP_REG;
+           }
+       }
+      /* Redundant (yet) check.  */
+      else if (op->exp.X_op == O_register)
+       as_bad
+         (_("Registers cannot be used within immediate expression [%s]"), l);
+      else
+       as_bad (_("unknown operand %s"), l);
+
+      return 0;
+    }
+
+  /* Check if absolute &VALUE (assume that we can construct something like ((a&b)<<7 + 25).  */
+  if (*l == '&')
+    {
+      char *h = l;
+
+      op->reg = 2;             /* reg 2 in absolute addr mode.  */
+      op->am = 1;              /* mode As == 01 bin.  */
+      op->ol = 1;              /* Immediate value followed by instruction.  */
+      __tl = h + 1;
+      parse_exp (__tl, &(op->exp));
+      op->mode = OP_EXP;
+      op->vshift = 0;
+      if (op->exp.X_op == O_constant)
+       {
+         int x = op->exp.X_add_number;
+
+         if (allow_20bit_values)
+           {
+             if (x > 0xfffff || x < -(0x7ffff))
+               {
+                 as_bad (_("value 0x%x out of extended range."), x);
+                 return 1;
+               }
+           }
+         else if (x > 65535 || x < -32768)
+           {
+             as_bad (_("value out of range: 0x%x"), x);
+             return 1;
+           }
+       }
+      else if (op->exp.X_op == O_symbol)
+       ;
+      else
+       {
+         /* Redundant (yet) check.  */
+         if (op->exp.X_op == O_register)
+           as_bad
+             (_("Registers cannot be used within absolute expression [%s]"), l);
+         else
+           as_bad (_("unknown expression in operand %s"), l);
+         return 1;
+       }
+      return 0;
+    }
+
+  /* Check if indirect register mode @Rn / postincrement @Rn+.  */
+  if (*l == '@')
+    {
+      char *t = l;
+      char *m = strchr (l, '+');
+
+      if (t != l)
+       {
+         as_bad (_("unknown addressing mode %s"), l);
+         return 1;
+       }
+
+      t++;
+
+      if ((op->reg = check_reg (t)) == -1)
+       {
+         as_bad (_("Bad register name %s"), t);
+         return 1;
+       }
+
+      op->mode = OP_REG;
+      op->am = m ? 3 : 2;
+      op->ol = 0;
+
+      /* PC cannot be used in indirect addressing.  */
+      if (target_is_430xv2 () && op->reg == 0)
+       {
+         as_bad (_("cannot use indirect addressing with the PC"));
+         return 1;
+       }
+
+      return 0;
+    }
+
+  /* Check if register indexed X(Rn).  */
+  do
+    {
+      char *h = strrchr (l, '(');
+      char *m = strrchr (l, ')');
+      char *t;
+
+      *imm_op = TRUE;
+
+      if (!h)
+       break;
+      if (!m)
+       {
+         as_bad (_("')' required"));
+         return 1;
+       }
+
+      t = h;
+      op->am = 1;
+      op->ol = 1;
+
+      /* Extract a register.  */
+      if ((op->reg = check_reg (t + 1)) == -1)
+       {
+         as_bad (_
+                 ("unknown operator %s. Did you mean X(Rn) or #[hl][hl][oi](CONST) ?"),
+                 l);
+         return 1;
+       }
+
+      if (op->reg == 2)
+       {
+         as_bad (_("r2 should not be used in indexed addressing mode"));
+         return 1;
+       }
+
+      /* Extract constant.  */
+      __tl = l;
+      *h = 0;
+      op->mode = OP_EXP;
+      op->vshift = 0;
+      parse_exp (__tl, &(op->exp));
+      if (op->exp.X_op == O_constant)
+       {
+         int x = op->exp.X_add_number;
+
+         if (allow_20bit_values)
+           {
+             if (x > 0xfffff || x < - (0x7ffff))
+               {
+                 as_bad (_("value 0x%x out of extended range."), x);
+                 return 1;
+               }
+           }
+         else if (x > 65535 || x < -32768)
+           {
+             as_bad (_("value out of range: 0x%x"), x);
+             return 1;
+           }
+
+         if (x == 0)
+           {
+             op->mode = OP_REG;
+             op->am = 2;
+             op->ol = 0;
+             return 0;
+           }
+       }
+      else if (op->exp.X_op == O_symbol)
+       ;
+      else
+       {
+         /* Redundant (yet) check.  */
+         if (op->exp.X_op == O_register)
+           as_bad
+             (_("Registers cannot be used as a prefix of indexed expression [%s]"), l);
+         else
+           as_bad (_("unknown expression in operand %s"), l);
+         return 1;
+       }
+
+      return 0;
+    }
+  while (0);
+
+  /* Possibly register mode 'mov r1,r2'.  */
+  if ((op->reg = check_reg (l)) != -1)
+    {
+      op->mode = OP_REG;
+      op->am = 0;
+      op->ol = 0;
+      return 0;
+    }
+
+  /* Symbolic mode 'mov a, b' == 'mov x(pc), y(pc)'.  */
+  do
+    {
+      op->mode = OP_EXP;
+      op->reg = 0;             /* PC relative... be careful.  */
+      /* An expression starting with a minus sign is a constant, not an address.  */
+      op->am = (*l == '-' ? 3 : 1);
+      op->ol = 1;
+      op->vshift = 0;
+      __tl = l;
+      parse_exp (__tl, &(op->exp));
+      return 0;
+    }
+  while (0);
+
+  /* Unreachable.  */
+  as_bad (_("unknown addressing mode for operand %s"), l);
+  return 1;
+}
+
+
+static int
+msp430_dstoperand (struct msp430_operand_s * op,
+                  char * l,
+                  int bin,
+                  bfd_boolean allow_20bit_values,
+                  bfd_boolean constants_allowed)
+{
+  int dummy;
+  int ret = msp430_srcoperand (op, l, bin, & dummy,
+                              allow_20bit_values,
+                              constants_allowed);
+
+  if (ret)
+    return ret;
+
+  if (op->am == 2)
+    {
+      char *__tl = "0";
+
+      op->mode = OP_EXP;
+      op->am = 1;
+      op->ol = 1;
+      op->vshift = 0;
+      parse_exp (__tl, &(op->exp));
+
+      if (op->exp.X_op != O_constant || op->exp.X_add_number != 0)
+       {
+         as_bad (_("Internal bug. Try to use 0(r%d) instead of @r%d"),
+                 op->reg, op->reg);
+         return 1;
+       }
+      return 0;
+    }
+
+  if (op->am > 1)
+    {
+      as_bad (_
+             ("this addressing mode is not applicable for destination operand"));
+      return 1;
+    }
+  return 0;
+}
+
+/* Attempt to encode a MOVA instruction with the given operands.
+   Returns the length of the encoded instruction if successful
+   or 0 upon failure.  If the encoding fails, an error message
+   will be returned if a pointer is provided.  */
+
+static int
+try_encode_mova (bfd_boolean imm_op,
+                int bin,
+                struct msp430_operand_s * op1,
+                struct msp430_operand_s * op2,
+                const char ** error_message_return)
+{
+  short ZEROS = 0;
+  char *frag;
+  int where;
+
+  /* Only a restricted subset of the normal MSP430 addressing modes
+     are supported here, so check for the ones that are allowed.  */
+  if (imm_op)
+    {
+      if (op1->mode == OP_EXP)
+       {
+         if (op2->mode != OP_REG)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("expected register as second argument of %s");
+             return 0;
+           }
+
+         if (op1->am == 3)
+           {
+             /* MOVA #imm20, Rdst.  */
+             bin |= 0x80 | op2->reg;
+             frag = frag_more (4);
+             where = frag - frag_now->fr_literal;
+             if (op1->exp.X_op == O_constant)
+               {
+                 bin |= ((op1->exp.X_add_number >> 16) & 0xf) << 8;
+                 bfd_putl16 ((bfd_vma) bin, frag);
+                 bfd_putl16 (op1->exp.X_add_number & 0xffff, frag + 2);
+               }
+             else
+               {
+                 bfd_putl16 ((bfd_vma) bin, frag);
+                 fix_new_exp (frag_now, where, 4, &(op1->exp), FALSE,
+                              BFD_RELOC_MSP430X_ABS20_ADR_SRC);
+                 bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+               }
+
+             return 4;
+           }
+         else if (op1->am == 1)
+           {
+             /* MOVA z16(Rsrc), Rdst.  */
+             bin |= 0x30 | (op1->reg << 8) | op2->reg;
+             frag = frag_more (4);
+             where = frag - frag_now->fr_literal;
+             bfd_putl16 ((bfd_vma) bin, frag);
+             if (op1->exp.X_op == O_constant)
+               {
+                 if (op1->exp.X_add_number > 0xffff
+                     || op1->exp.X_add_number < -(0x7fff))
+                   {
+                     if (error_message_return != NULL)
+                       * error_message_return = _("index value too big for %s");
+                     return 0;
+                   }
+                 bfd_putl16 (op1->exp.X_add_number & 0xffff, frag + 2);
+               }
+             else
+               {
+                 bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+                 fix_new_exp (frag_now, where + 2, 2, &(op1->exp), FALSE,
+                              op1->reg == 0 ?
+                              BFD_RELOC_MSP430X_PCR16 :
+                              BFD_RELOC_MSP430X_ABS16);
+               }
+             return 4;
+           }
+
+         if (error_message_return != NULL)
+           * error_message_return = _("unexpected addressing mode for %s");
+         return 0;
+       }
+      else if (op1->am == 0)
+       {
+         /* MOVA Rsrc, ... */
+         if (op2->mode == OP_REG)
+           {
+             bin |= 0xc0 | (op1->reg << 8) | op2->reg;
+             frag = frag_more (2);
+             where = frag - frag_now->fr_literal;
+             bfd_putl16 ((bfd_vma) bin, frag);
+             return 2;
+           }
+         else if (op2->am == 1)
+           {
+             if (op2->reg == 2)
+               {
+                 /* MOVA Rsrc, &abs20.  */
+                 bin |= 0x60 | (op1->reg << 8);
+                 frag = frag_more (4);
+                 where = frag - frag_now->fr_literal;
+                 if (op2->exp.X_op == O_constant)
+                   {
+                     bin |= (op2->exp.X_add_number >> 16) & 0xf;
+                     bfd_putl16 ((bfd_vma) bin, frag);
+                     bfd_putl16 (op2->exp.X_add_number & 0xffff, frag + 2);
+                   }
+                 else
+                   {
+                     bfd_putl16 ((bfd_vma) bin, frag);
+                     bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+                     fix_new_exp (frag_now, where, 4, &(op2->exp), FALSE,
+                                  BFD_RELOC_MSP430X_ABS20_ADR_DST);
+                   }
+                 return 4;
+               }
+
+             /* MOVA Rsrc, z16(Rdst).  */
+             bin |= 0x70 | (op1->reg << 8) | op2->reg;
+             frag = frag_more (4);
+             where = frag - frag_now->fr_literal;
+             bfd_putl16 ((bfd_vma) bin, frag);
+             if (op2->exp.X_op == O_constant)
+               {
+                 if (op2->exp.X_add_number > 0xffff
+                     || op2->exp.X_add_number < -(0x7fff))
+                   {
+                     if (error_message_return != NULL)
+                       * error_message_return = _("index value too big for %s");
+                     return 0;
+                   }
+                 bfd_putl16 (op2->exp.X_add_number & 0xffff, frag + 2);
+               }
+             else
+               {
+                 bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+                 fix_new_exp (frag_now, where + 2, 2, &(op2->exp), FALSE,
+                              op2->reg == 0 ?
+                              BFD_RELOC_MSP430X_PCR16 :
+                              BFD_RELOC_MSP430X_ABS16);
+               }
+             return 4;
+           }
+
+         if (error_message_return != NULL)
+           * error_message_return = _("unexpected addressing mode for %s");
+         return 0;
+       }
+    }
+
+  /* imm_op == FALSE.  */
+
+  if (op1->reg == 2 && op1->am == 1 && op1->mode == OP_EXP)
+    {
+      /* MOVA &abs20, Rdst.  */
+      if (op2->mode != OP_REG)
+       {
+         if (error_message_return != NULL)
+           * error_message_return = _("expected register as second argument of %s");
+         return 0;
+       }
+
+      if (op2->reg == 2 || op2->reg == 3)
+       {
+         if (error_message_return != NULL)
+           * error_message_return = _("constant generator destination register found in %s");
+         return 0;
+       }
+
+      bin |= 0x20 | op2->reg;
+      frag = frag_more (4);
+      where = frag - frag_now->fr_literal;
+      if (op1->exp.X_op == O_constant)
+       {
+         bin |= ((op1->exp.X_add_number >> 16) & 0xf) << 8;
+         bfd_putl16 ((bfd_vma) bin, frag);
+         bfd_putl16 (op1->exp.X_add_number & 0xffff, frag + 2);
+       }
+      else
+       {
+         bfd_putl16 ((bfd_vma) bin, frag);
+         bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+         fix_new_exp (frag_now, where, 4, &(op1->exp), FALSE,
+                      BFD_RELOC_MSP430X_ABS20_ADR_SRC);
+       }
+      return 4;
+    }
+  else if (op1->mode == OP_REG)
+    {
+      if (op1->am == 3)
+       {
+         /* MOVA @Rsrc+, Rdst.  */
+         if (op2->mode != OP_REG)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("expected register as second argument of %s");
+             return 0;
+           }
+
+         if (op2->reg == 2 || op2->reg == 3)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("constant generator destination register found in %s");
+             return 0;
+           }
+
+         if (op1->reg == 2 || op1->reg == 3)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("constant generator source register found in %s");
+             return 0;
+           }
+
+         bin |= 0x10 | (op1->reg << 8) | op2->reg;
+         frag = frag_more (2);
+         where = frag - frag_now->fr_literal;
+         bfd_putl16 ((bfd_vma) bin, frag);
+         return 2;
+       }
+      else if (op1->am == 2)
+       {
+         /* MOVA @Rsrc,Rdst */
+         if (op2->mode != OP_REG)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("expected register as second argument of %s");
+             return 0;
+           }
+
+         if (op2->reg == 2 || op2->reg == 3)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("constant generator destination register found in %s");
+             return 0;
+           }
+
+         if (op1->reg == 2 || op1->reg == 3)
+           {
+             if (error_message_return != NULL)
+               * error_message_return = _("constant generator source register found in %s");
+             return 0;
+           }
+
+         bin |= (op1->reg << 8) | op2->reg;
+         frag = frag_more (2);
+         where = frag - frag_now->fr_literal;
+         bfd_putl16 ((bfd_vma) bin, frag);
+         return 2;
+       }
+    }
+
+  if (error_message_return != NULL)
+    * error_message_return = _("unexpected addressing mode for %s");
+
+  return 0;
+}
+
+static bfd_boolean check_for_nop = FALSE;
+
+#define is_opcode(NAME) (strcmp (opcode->name, NAME) == 0)
+
+/* Parse instruction operands.
+   Return binary opcode.  */
+
+static unsigned int
+msp430_operands (struct msp430_opcode_s * opcode, char * line)
+{
+  int bin = opcode->bin_opcode;        /* Opcode mask.  */
+  int insn_length = 0;
+  char l1[MAX_OP_LEN], l2[MAX_OP_LEN];
+  char *frag;
+  int where;
+  struct msp430_operand_s op1, op2;
+  int res = 0;
+  static short ZEROS = 0;
+  bfd_boolean byte_op, imm_op;
+  int op_length = 0;
+  int fmt;
+  int extended = 0x1800;
+  bfd_boolean extended_op = FALSE;
+  bfd_boolean addr_op;
+  const char * error_message;
+  static signed int repeat_count = 0;
+  bfd_boolean fix_emitted;
+  bfd_boolean nop_check_needed = FALSE;
+
+  /* Opcode is the one from opcodes table
+     line contains something like
+     [.w] @r2+, 5(R1)
+     or
+     .b @r2+, 5(R1).  */
+
+  byte_op = FALSE;
+  addr_op = FALSE;
+  if (*line == '.')
+    {
+      bfd_boolean check = FALSE;
+      ++ line;
+
+      switch (TOLOWER (* line))
+       {
+       case 'b':
+         /* Byte operation.  */
+         bin |= BYTE_OPERATION;
+         byte_op = TRUE;
+         check = TRUE;
+         break;
+
+       case 'a':
+         /* "Address" ops work on 20-bit values.  */
+         addr_op = TRUE;
+         bin |= BYTE_OPERATION;
+         check = TRUE;
+         break;
+
+       case 'w':
+         /* Word operation - this is the default.  */
+         check = TRUE;
+         break;
+
+       case 0:
+       case ' ':
+       case '\n':
+       case '\r':
+         as_warn (_("no size modifier after period, .w assumed"));
+         break;
+
+       default:
+         as_bad (_("unrecognised instruction size modifier .%c"),
+                  * line);
+         return 0;
+       }
+
+      if (check)
+       {
+         ++ line;
+
+       }
+    }
+
+  if (*line && ! ISSPACE (*line))
+    {
+      as_bad (_("junk found after instruction: %s.%s"),
+             opcode->name, line);
+      return 0;
+    }
+
+  /* Catch the case where the programmer has used a ".a" size modifier on an
+     instruction that does not support it.  Look for an alternative extended
+     instruction that has the same name without the period.  Eg: "add.a"
+     becomes "adda".  Although this not an officially supported way of
+     specifing instruction aliases other MSP430 assemblers allow it.  So we
+     support it for compatibility purposes.  */
+  if (addr_op && opcode->fmt >= 0)
+    {
+      char * old_name = opcode->name;
+      char real_name[32];
+
+      sprintf (real_name, "%sa", old_name);
+      opcode = hash_find (msp430_hash, real_name);
+      if (opcode == NULL)
+       {
+         as_bad (_("instruction %s.a does not exist"), old_name);
+         return 0;
+       }
+#if 0 /* Enable for debugging.  */
+      as_warn ("treating %s.a as %s", old_name, real_name);
+#endif
+      addr_op = FALSE;
+      bin = opcode->bin_opcode;
+    }
+
+  if (opcode->fmt != -1
+      && opcode->insn_opnumb
+      && (!*line || *line == '\n'))
+    {
+      as_bad (_("instruction %s requires %d operand(s)"),
              opcode->name, opcode->insn_opnumb);
       return 0;
     }
              opcode->name, opcode->insn_opnumb);
       return 0;
     }
@@ -518,824 +1918,1298 @@ msp430_operands (opcode, line)
   memset (&op1, 0, sizeof (op1));
   memset (&op2, 0, sizeof (op2));
 
   memset (&op1, 0, sizeof (op1));
   memset (&op2, 0, sizeof (op2));
 
-  imm_op = 0;
+  imm_op = FALSE;
+
+  if ((fmt = opcode->fmt) < 0)
+    {
+      if (! target_is_430x ())
+       {
+         as_bad (_("instruction %s requires MSP430X mcu"),
+                 opcode->name);
+         return 0;
+       }
+       
+      fmt = (-fmt) - 1;
+      extended_op = TRUE;
+    }
+
+  if (repeat_count)
+    {
+      /* If requested set the extended instruction repeat count.  */
+      if (extended_op)
+       {
+         if (repeat_count > 0)
+           extended |= (repeat_count - 1);
+         else
+           extended |= (1 << 7) | (- repeat_count);
+       }
+      else
+       as_bad (_("unable to repeat %s insn"), opcode->name);
+
+      repeat_count = 0;
+    }
+
+  if (check_for_nop && is_opcode ("nop"))
+    check_for_nop = FALSE;
 
 
-  switch (opcode->fmt)
+  switch (fmt)
     {
     case 0:                    /* Emulated.  */
       switch (opcode->insn_opnumb)
        {
        case 0:
     {
     case 0:                    /* Emulated.  */
       switch (opcode->insn_opnumb)
        {
        case 0:
+         if (is_opcode ("eint") || is_opcode ("dint"))
+           {
+             if (check_for_nop)
+               {
+                 if (warn_interrupt_nops)
+                   {
+                     if (gen_interrupt_nops)
+                       as_warn (_("NOP inserted between two instructions that change interrupt state"));
+                     else
+                       as_warn (_("a NOP might be needed here because of successive changes in interrupt state"));
+                   }
+
+                 if (gen_interrupt_nops)
+                   {
+                     /* Emit a NOP between interrupt enable/disable.
+                        See 1.3.4.1 of the MSP430x5xx User Guide.  */
+                     insn_length += 2;
+                     frag = frag_more (2);
+                     bfd_putl16 ((bfd_vma) 0x4303 /* NOP */, frag);
+                   }
+               }
+
+             nop_check_needed = TRUE;
+           }
+
          /* Set/clear bits instructions.  */
          /* Set/clear bits instructions.  */
-         __is = 2;
-         frag = frag_more (__is);
+         if (extended_op)
+           {
+             if (!addr_op)
+               extended |= BYTE_OPERATION;
+
+             /* Emit the extension word.  */
+             insn_length += 2;
+             frag = frag_more (2);
+             bfd_putl16 (extended, frag);
+           }
+
+         insn_length += 2;
+         frag = frag_more (2);
          bfd_putl16 ((bfd_vma) bin, frag);
          bfd_putl16 ((bfd_vma) bin, frag);
+         dwarf2_emit_insn (insn_length);
          break;
          break;
+
        case 1:
          /* Something which works with destination operand.  */
          line = extract_operand (line, l1, sizeof (l1));
        case 1:
          /* Something which works with destination operand.  */
          line = extract_operand (line, l1, sizeof (l1));
-         res = msp430_dstoperand (&op1, l1, opcode->bin_opcode);
+         res = msp430_dstoperand (&op1, l1, opcode->bin_opcode, extended_op, TRUE);
          if (res)
            break;
 
          if (res)
            break;
 
-         bin |= (op1.reg | (op1.am << 7));
-         __is = 1 + op1.ol;
-         frag = frag_more (2 * __is);
-         where = frag - frag_now->fr_literal;
+         bin |= (op1.reg | (op1.am << 7));
+
+         if (is_opcode ("clr") && bin == 0x4302 /* CLR R2*/)
+           {
+             if (check_for_nop)
+               {
+                 if (warn_interrupt_nops)
+                   {
+                     if (gen_interrupt_nops)
+                       as_warn (_("NOP inserted between two instructions that change interrupt state"));
+                     else
+                       as_warn (_("a NOP might be needed here because of successive changes in interrupt state"));
+                   }
+
+                 if (gen_interrupt_nops)
+                   {
+                     /* Emit a NOP between interrupt enable/disable.
+                        See 1.3.4.1 of the MSP430x5xx User Guide.  */
+                     insn_length += 2;
+                     frag = frag_more (2);
+                     bfd_putl16 ((bfd_vma) 0x4303 /* NOP */, frag);
+                   }
+               }
+
+             nop_check_needed = TRUE;
+           }
+
+         /* Compute the entire instruction length, in bytes.  */
+         op_length = (extended_op ? 2 : 0) + 2 + (op1.ol * 2);
+         insn_length += op_length;
+         frag = frag_more (op_length);
+         where = frag - frag_now->fr_literal;
+
+         if (extended_op)
+           {
+             if (!addr_op)
+               extended |= BYTE_OPERATION;
+
+             if (op1.ol != 0 && ((extended & 0xf) != 0))
+               {
+                 as_bad (_("repeat instruction used with non-register mode instruction"));
+                 extended &= ~ 0xf;
+               }
+
+             if (op1.mode == OP_EXP)
+               {
+                 if (op1.exp.X_op == O_constant)
+                   extended |= ((op1.exp.X_add_number >> 16) & 0xf) << 7;
+
+                 else if (op1.reg || (op1.reg == 0 && op1.am == 3))    /* Not PC relative.  */
+                   fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                                BFD_RELOC_MSP430X_ABS20_EXT_SRC);
+                 else
+                   fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                                BFD_RELOC_MSP430X_PCR20_EXT_SRC);
+               }
+
+             /* Emit the extension word.  */
+             bfd_putl16 (extended, frag);
+             frag += 2;
+             where += 2;
+           }
+
+         bfd_putl16 ((bfd_vma) bin, frag);
+         frag += 2;
+         where += 2;
+
+         if (op1.mode == OP_EXP)
+           {
+             if (op1.exp.X_op == O_constant)
+               {
+                 bfd_putl16 (op1.exp.X_add_number & 0xffff, frag);
+               }
+             else
+               {
+                 bfd_putl16 ((bfd_vma) ZEROS, frag);
+
+                 if (!extended_op)
+                   {
+                     if (op1.reg)
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op1.exp), FALSE, CHECK_RELOC_MSP430 (op1));
+                     else
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+                   }
+               }
+           }
+
+         dwarf2_emit_insn (insn_length);
+         break;
+
+       case 2:
+         /* Shift instruction.  */
+         line = extract_operand (line, l1, sizeof (l1));
+         strncpy (l2, l1, sizeof (l2));
+         l2[sizeof (l2) - 1] = '\0';
+         res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op, extended_op, TRUE);
+         res += msp430_dstoperand (&op2, l2, opcode->bin_opcode, extended_op, TRUE);
+
+         if (res)
+           break;      /* An error occurred.  All warnings were done before.  */
+
+         insn_length = (extended_op ? 2 : 0) + 2 + (op1.ol * 2) + (op2.ol * 2);
+         frag = frag_more (insn_length);
+         where = frag - frag_now->fr_literal;
+
+         if (target_is_430xv2 ()
+             && op1.mode == OP_REG
+             && op1.reg == 0
+             && (is_opcode ("rlax")
+                 || is_opcode ("rlcx")
+                 || is_opcode ("rla")
+                 || is_opcode ("rlc")))
+           {
+             as_bad (_("%s: attempt to rotate the PC register"), opcode->name);
+             break;
+           }
+
+         if (extended_op)
+           {
+             if (!addr_op)
+               extended |= BYTE_OPERATION;
+
+             if ((op1.ol != 0 || op2.ol != 0) && ((extended & 0xf) != 0))
+               {
+                 as_bad (_("repeat instruction used with non-register mode instruction"));
+                 extended &= ~ 0xf;
+               }
+
+             if (op1.mode == OP_EXP)
+               {
+                 if (op1.exp.X_op == O_constant)
+                   extended |= ((op1.exp.X_add_number >> 16) & 0xf) << 7;
+
+                 else if (op1.reg || (op1.reg == 0 && op1.am == 3))    /* Not PC relative.  */
+                   fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                                BFD_RELOC_MSP430X_ABS20_EXT_SRC);
+                 else
+                   fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                                BFD_RELOC_MSP430X_PCR20_EXT_SRC);
+               }
+
+             if (op2.mode == OP_EXP)
+               {
+                 if (op2.exp.X_op == O_constant)
+                   extended |= (op2.exp.X_add_number >> 16) & 0xf;
+
+                 else if (op1.mode == OP_EXP)
+                   fix_new_exp (frag_now, where, 8, &(op2.exp), FALSE,
+                                op2.reg ? BFD_RELOC_MSP430X_ABS20_EXT_ODST
+                                : BFD_RELOC_MSP430X_PCR20_EXT_ODST);
+                 else
+                   fix_new_exp (frag_now, where, 6, &(op2.exp), FALSE,
+                                op2.reg ? BFD_RELOC_MSP430X_ABS20_EXT_DST
+                                : BFD_RELOC_MSP430X_PCR20_EXT_DST);
+               }
+
+             /* Emit the extension word.  */
+             bfd_putl16 (extended, frag);
+             frag += 2;
+             where += 2;
+           }
+
+         bin |= (op2.reg | (op1.reg << 8) | (op1.am << 4) | (op2.am << 7));
          bfd_putl16 ((bfd_vma) bin, frag);
          bfd_putl16 ((bfd_vma) bin, frag);
+         frag += 2;
+         where += 2;
 
          if (op1.mode == OP_EXP)
            {
 
          if (op1.mode == OP_EXP)
            {
+             if (op1.exp.X_op == O_constant)
+               {
+                 bfd_putl16 (op1.exp.X_add_number & 0xffff, frag);
+               }
+             else
+               {
+                 bfd_putl16 ((bfd_vma) ZEROS, frag);
+
+                 if (!extended_op)
+                   {
+                     if (op1.reg || (op1.reg == 0 && op1.am == 3))     /* Not PC relative.  */
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op1.exp), FALSE, CHECK_RELOC_MSP430 (op1));
+                     else
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+                   }
+               }
+             frag += 2;
              where += 2;
              where += 2;
-             bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+           }
 
 
-             if (op1.reg)
-               fix_new_exp (frag_now, where, 2,
-                            &(op1.exp), FALSE, CHECK_RELOC_MSP430);
+         if (op2.mode == OP_EXP)
+           {
+             if (op2.exp.X_op == O_constant)
+               {
+                 bfd_putl16 (op2.exp.X_add_number & 0xffff, frag);
+               }
              else
              else
-               fix_new_exp (frag_now, where, 2,
-                            &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+               {
+                 bfd_putl16 ((bfd_vma) ZEROS, frag);
+
+                 if (!extended_op)
+                   {
+                     if (op2.reg)      /* Not PC relative.  */
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op2.exp), FALSE, CHECK_RELOC_MSP430 (op2));
+                     else
+                       fix_new_exp (frag_now, where, 2,
+                                    &(op2.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+                   }
+               }
            }
            }
-         break;
-
-       case 2:
-         {
-           /* Shift instruction.  */
-           line = extract_operand (line, l1, sizeof (l1));
-           strncpy (l2, l1, sizeof (l2));
-           l2[sizeof (l2) - 1] = '\0';
-           res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op);
-           res += msp430_dstoperand (&op2, l2, opcode->bin_opcode);
-
-           if (res)
-             break;    /* An error occurred.  All warnings were done before.  */
-
-           bin |= (op2.reg | (op1.reg << 8) | (op1.am << 4) | (op2.am << 7));
-
-           __is = 1 + op1.ol + op2.ol; /* insn size in words.  */
-           frag = frag_more (2 * __is);
-           where = frag - frag_now->fr_literal;
-           bfd_putl16 ((bfd_vma) bin, frag);
-
-           if (op1.mode == OP_EXP)
-             {
-               where += 2;     /* Advance 'where' as we do not know _where_.  */
-               bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
-
-               if (op1.reg || (op1.reg == 0 && op1.am == 3))   /* Not PC relative.  */
-                 fix_new_exp (frag_now, where, 2,
-                              &(op1.exp), FALSE, CHECK_RELOC_MSP430);
-               else
-                 fix_new_exp (frag_now, where, 2,
-                              &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-             }
 
 
-           if (op2.mode == OP_EXP)
-             {
-               imm_op = 0;
-               bfd_putl16 ((bfd_vma) ZEROS, frag + 2 + ((__is == 3) ? 2 : 0));
+         dwarf2_emit_insn (insn_length);
+         break;
 
 
-               if (op2.reg)    /* Not PC relative.  */
-                 fix_new_exp (frag_now, where + 2, 2,
-                              &(op2.exp), FALSE, CHECK_RELOC_MSP430);
-               else
-                 fix_new_exp (frag_now, where + 2, 2,
-                              &(op2.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-             }
-           break;
-         }
        case 3:
          /* Branch instruction => mov dst, r0.  */
        case 3:
          /* Branch instruction => mov dst, r0.  */
-         line = extract_operand (line, l1, sizeof (l1));
+         if (extended_op)
+           {
+             as_bad ("Internal error: state 0/3 not coded for extended instructions");
+             break;
+           }
 
 
-         res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op);
+         line = extract_operand (line, l1, sizeof (l1));
+         res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op, extended_op, FALSE);
          if (res)
            break;
 
          if (res)
            break;
 
-         byte_op = 0;
-         imm_op = 0;
-
+         byte_op = FALSE;
+         imm_op = FALSE;
          bin |= ((op1.reg << 8) | (op1.am << 4));
          bin |= ((op1.reg << 8) | (op1.am << 4));
-         __is = 1 + op1.ol;
-         frag = frag_more (2 * __is);
+         op_length = 2 + 2 * op1.ol;
+         frag = frag_more (op_length);
          where = frag - frag_now->fr_literal;
          bfd_putl16 ((bfd_vma) bin, frag);
 
          if (op1.mode == OP_EXP)
            {
          where = frag - frag_now->fr_literal;
          bfd_putl16 ((bfd_vma) bin, frag);
 
          if (op1.mode == OP_EXP)
            {
-             where += 2;
-             bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
-
-             if (op1.reg || (op1.reg == 0 && op1.am == 3))
-               fix_new_exp (frag_now, where, 2,
-                            &(op1.exp), FALSE, CHECK_RELOC_MSP430);
+             if (op1.exp.X_op == O_constant)
+               {
+                 bfd_putl16 (op1.exp.X_add_number & 0xffff, frag + 2);
+               }
              else
              else
-               fix_new_exp (frag_now, where, 2,
-                            &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-           }
-         break;
-       }
-      break;
-
-    case 1:                    /* Format 1, double operand.  */
-      line = extract_operand (line, l1, sizeof (l1));
-      line = extract_operand (line, l2, sizeof (l2));
-      res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op);
-      res += msp430_dstoperand (&op2, l2, opcode->bin_opcode);
-
-      if (res)
-       break;                  /* Error occurred.  All warnings were done before.  */
+               {
+                 where += 2;
 
 
-      bin |= (op2.reg | (op1.reg << 8) | (op1.am << 4) | (op2.am << 7));
+                 bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
 
 
-      __is = 1 + op1.ol + op2.ol;      /* insn size in words.  */
-      frag = frag_more (2 * __is);
-      where = frag - frag_now->fr_literal;
-      bfd_putl16 ((bfd_vma) bin, frag);
+                 if (op1.reg || (op1.reg == 0 && op1.am == 3))
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), FALSE, CHECK_RELOC_MSP430 (op1));
+                 else
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+               }
+           }
 
 
-      if (op1.mode == OP_EXP)
-       {
-         where += 2;           /* Advance where as we do not know _where_.  */
-         bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+         dwarf2_emit_insn (insn_length + op_length);
+         break;
 
 
-         if (op1.reg || (op1.reg == 0 && op1.am == 3)) /* Not PC relative.  */
-           fix_new_exp (frag_now, where, 2,
-                        &(op1.exp), FALSE, CHECK_RELOC_MSP430);
-         else
-           fix_new_exp (frag_now, where, 2,
-                        &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-       }
+       case 4:
+         /* CALLA instructions.  */
+         fix_emitted = FALSE;
 
 
-      if (op2.mode == OP_EXP)
-       {
-         imm_op = 0;
-         bfd_putl16 ((bfd_vma) ZEROS, frag + 2 + ((__is == 3) ? 2 : 0));
+         line = extract_operand (line, l1, sizeof (l1));
+         imm_op = FALSE;
 
 
-         if (op2.reg)          /* Not PC relative.  */
-           fix_new_exp (frag_now, where + 2, 2,
-                        &(op2.exp), FALSE, CHECK_RELOC_MSP430);
-         else
-           fix_new_exp (frag_now, where + 2, 2,
-                        &(op2.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-       }
-      break;
+         res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op,
+                                  extended_op, FALSE);
+         if (res)
+           break;
 
 
-    case 2:                    /* Single-operand mostly instr.  */
-      if (opcode->insn_opnumb == 0)
-       {
-         /* reti instruction.  */
-         frag = frag_more (2);
-         bfd_putl16 ((bfd_vma) bin, frag);
-         break;
-       }
+         byte_op = FALSE;
 
 
-      line = extract_operand (line, l1, sizeof (l1));
-      res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op);
-      if (res)
-       break;          /* Error in operand.  */
+         op_length = 2 + 2 * op1.ol;
+         frag = frag_more (op_length);
+         where = frag - frag_now->fr_literal;
 
 
-      bin |= op1.reg | (op1.am << 4);
-      __is = 1 + op1.ol;
-      frag = frag_more (2 * __is);
-      where = frag - frag_now->fr_literal;
-      bfd_putl16 ((bfd_vma) bin, frag);
+         if (imm_op)
+           {
+             if (op1.am == 3)
+               {
+                 bin |= 0xb0;
 
 
-      if (op1.mode == OP_EXP)
-       {
-         bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
+                 fix_new_exp (frag_now, where, 4, &(op1.exp), FALSE,
+                              BFD_RELOC_MSP430X_ABS20_ADR_DST);
+                 fix_emitted = TRUE;
+               }
+             else if (op1.am == 1)
+               {
+                 if (op1.reg == 0)
+                   {
+                     bin |=  0x90;
+
+                     fix_new_exp (frag_now, where, 4, &(op1.exp), FALSE,
+                                  BFD_RELOC_MSP430X_PCR20_CALL);
+                     fix_emitted = TRUE;
+                   }
+                 else
+                   bin |=  0x50 | op1.reg;
+               }
+             else if (op1.am == 0)
+               bin |= 0x40 | op1.reg;
+           }
+         else if (op1.am == 1)
+           {
+             bin |= 0x80;
 
 
-         if (op1.reg || (op1.reg == 0 && op1.am == 3)) /* Not PC relative.  */
-           fix_new_exp (frag_now, where + 2, 2,
-                        &(op1.exp), FALSE, CHECK_RELOC_MSP430);
-         else
-           fix_new_exp (frag_now, where + 2, 2,
-                        &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
-       }
-      break;
+             fix_new_exp (frag_now, where, 4, &(op1.exp), FALSE,
+                          BFD_RELOC_MSP430X_ABS20_ADR_DST);
+             fix_emitted = TRUE;
+           }
+         else if (op1.am == 2)
+           bin |= 0x60 | op1.reg;
+         else if (op1.am == 3)
+           bin |= 0x70 | op1.reg;
 
 
-    case 3:                    /* Conditional jumps instructions.  */
-      line = extract_operand (line, l1, sizeof (l1));
-      /* l1 is a label.  */
-      if (l1[0])
-       {
-         char *m = l1;
-         expressionS exp;
+         bfd_putl16 ((bfd_vma) bin, frag);
 
 
-         if (*m == '$')
-           m++;
+         if (op1.mode == OP_EXP)
+           {
+             if (op1.ol != 1)
+               {
+                 as_bad ("Internal error: unexpected CALLA instruction length: %d\n", op1.ol);
+                 break;
+               }
 
 
-         parse_exp (m, &exp);
-         frag = frag_more (2); /* Instr size is 1 word.  */
+             bfd_putl16 ((bfd_vma) ZEROS, frag + 2);
 
 
-         /* In order to handle something like:
+             if (! fix_emitted)
+               fix_new_exp (frag_now, where + 2, 2,
+                            &(op1.exp), FALSE, BFD_RELOC_16);
+           }
 
 
-            and #0x8000, r5
-            tst r5
-            jz   4     ;       skip next 4 bytes
-            inv r5
-            inc r5
-            nop        ;       will jump here if r5 positive or zero
+         dwarf2_emit_insn (insn_length + op_length);
+         break;
 
 
-            jCOND      -n      ;assumes jump n bytes backward:
+       case 5:
+         {
+           int n;
+           int reg;
 
 
-            mov r5,r6
-            jmp -2
+           /* [POP|PUSH]M[.A] #N, Rd */
+           line = extract_operand (line, l1, sizeof (l1));
+           line = extract_operand (line, l2, sizeof (l2));
 
 
-            is equal to:
-            lab:
-            mov r5,r6
-            jmp lab
+           if (*l1 != '#')
+             {
+               as_bad (_("expected #n as first argument of %s"), opcode->name);
+               break;
+             }
+           parse_exp (l1 + 1, &(op1.exp));
+           if (op1.exp.X_op != O_constant)
+             {
+               as_bad (_("expected constant expression for first argument of %s"),
+                       opcode->name);
+               break;
+             }
 
 
-            jCOND      $n      ; jump from PC in either direction.  */
+           if ((reg = check_reg (l2)) == -1)
+             {
+               as_bad (_("expected register as second argument of %s"),
+                       opcode->name);
+               break;
+             }
 
 
-         if (exp.X_op == O_constant)
-           {
-             int x = exp.X_add_number;
+           op_length = 2;
+           frag = frag_more (op_length);
+           where = frag - frag_now->fr_literal;
+           bin = opcode->bin_opcode;
+           if (! addr_op)
+             bin |= 0x100;
+           n = op1.exp.X_add_number;
+           bin |= (n - 1) << 4;
+           if (is_opcode ("pushm"))
+             bin |= reg;
+           else
+             {
+               if (reg - n + 1 < 0)
+                 {
+                   as_bad (_("Too many registers popped"));
+                   break;
+                 }
+
+               /* CPU21 errata: cannot use POPM to restore the SR register.  */
+               if (target_is_430xv2 ()
+                   && (reg - n + 1 < 3)
+                   && reg >= 2
+                   && is_opcode ("popm"))
+                 {
+                   as_bad (_("Cannot use POPM to restore the SR register"));
+                   break;
+                 }
+
+               bin |= (reg - n + 1);
+             }
 
 
-             if (x & 1)
-               {
-                 as_warn (_("Even number required. Rounded to %d"), x + 1);
-                 x++;
-               }
+           bfd_putl16 ((bfd_vma) bin, frag);
+           dwarf2_emit_insn (op_length);
+           break;
+         }
 
 
-             if ((*l1 == '$' && x > 0) || x < 0)
-               x -= 2;
+       case 6:
+         {
+           int n;
+           int reg;
 
 
-             x >>= 1;
+           /* Bit rotation instructions. RRCM, RRAM, RRUM, RLAM.  */
+           if (extended & 0xff)
+             {
+               as_bad (_("repeat count cannot be used with %s"), opcode->name);
+               break;
+             }
 
 
-             if (x > 512 || x < -511)
-               {
-                 as_bad (_("Wrong displacement  %d"), x << 1);
-                 break;
-               }
+           line = extract_operand (line, l1, sizeof (l1));
+           line = extract_operand (line, l2, sizeof (l2));
 
 
-             bin |= x & 0x3ff;
-             bfd_putl16 ((bfd_vma) bin, frag);
-           }
-         else if (exp.X_op == O_symbol && *l1 != '$')
-           {
-             where = frag - frag_now->fr_literal;
-             fix_new_exp (frag_now, where, 2,
-                          &exp, TRUE, BFD_RELOC_MSP430_10_PCREL);
+           if (*l1 != '#')
+             {
+               as_bad (_("expected #n as first argument of %s"), opcode->name);
+               break;
+             }
+           parse_exp (l1 + 1, &(op1.exp));
+           if (op1.exp.X_op != O_constant)
+             {
+               as_bad (_("expected constant expression for first argument of %s"),
+                       opcode->name);
+               break;
+             }
+           n = op1.exp.X_add_number;
+           if (n > 4 || n < 1)
+             {
+               as_bad (_("expected first argument of %s to be in the range 1-4"),
+                       opcode->name);
+               break;
+             }
 
 
-             bfd_putl16 ((bfd_vma) bin, frag);
-           }
-         else if (*l1 == '$')
-           {
-             as_bad (_("instruction requires label sans '$'"));
-             break;
-           }
-         else
-           {
-             as_bad (_
-                     ("instruction requires label or value in range -511:512"));
-             break;
-           }
-       }
-      else
-       {
-         as_bad (_("instruction requires label"));
-         break;
-       }
-      break;
+           if ((reg = check_reg (l2)) == -1)
+             {
+               as_bad (_("expected register as second argument of %s"),
+                       opcode->name);
+               break;
+             }
 
 
-    default:
-      as_bad (_("Ilegal instruction or not implmented opcode."));
-    }
+           if (target_is_430xv2 () && reg == 0)
+             {
+               as_bad (_("%s: attempt to rotate the PC register"), opcode->name);
+               break;
+             }
 
 
-  input_line_pointer = line;
-  return 0;
-}
+           op_length = 2;
+           frag = frag_more (op_length);
+           where = frag - frag_now->fr_literal;
 
 
-static int
-msp430_dstoperand (op, l, bin)
-     struct msp430_operand_s *op;
-     char *l;
-     int bin;
-{
-  int dummy;
-  int ret = msp430_srcoperand (op, l, bin, &dummy);
-  if (ret)
-    return ret;
+           bin = opcode->bin_opcode;
+           if (! addr_op)
+             bin |= 0x10;
+           bin |= (n - 1) << 10;
+           bin |= reg;
 
 
-  if (op->am == 2)
-    {
-      char *__tl = "0";
+           bfd_putl16 ((bfd_vma) bin, frag);
+           dwarf2_emit_insn (op_length);
+           break;
+         }
 
 
-      op->mode = OP_EXP;
-      op->am = 1;
-      op->ol = 1;
-      parse_exp (__tl, &(op->exp));
-      if (op->exp.X_op != O_constant || op->exp.X_add_number != 0)
-       {
-         as_bad (_("Internal bug. Try to use 0(r%d) instead of @r%d"),
-                 op->reg, op->reg);
-         return 1;
-       }
-      return 0;
-    }
+       case 7:
+         {
+           int reg;
 
 
-  if (op->am > 1)
-    {
-      as_bad (_
-             ("this addressing mode is not applicable for destination operand"));
-      return 1;
-    }
-  return 0;
-}
+           /* RRUX: Synthetic unsigned right shift of a register by one bit.  */
+           if (extended & 0xff)
+             {
+               as_bad (_("repeat count cannot be used with %s"), opcode->name);
+               break;
+             }
 
 
+           line = extract_operand (line, l1, sizeof (l1));
+           if ((reg = check_reg (l1)) == -1)
+             {
+               as_bad (_("expected register as argument of %s"),
+                       opcode->name);
+               break;
+             }
 
 
-static int
-check_reg (t)
-     char *t;
-{
-  /* If this is a reg numb, str 't' must be a number from 0 - 15.  */
+           if (target_is_430xv2 () && reg == 0)
+             {
+               as_bad (_("%s: attempt to rotate the PC register"), opcode->name);
+               break;
+             }
 
 
-  if (strlen (t) > 2 && *(t + 2) != '+')
-    return 1;
+           if (byte_op)
+             {
+               /* Tricky - there is no single instruction that will do this.
+                  Encode as: RRA.B rN { BIC.B #0x80, rN  */
+               op_length = 6;
+               frag = frag_more (op_length);
+               where = frag - frag_now->fr_literal;
+               bin = 0x1140 | reg;
+               bfd_putl16 ((bfd_vma) bin, frag);
+               dwarf2_emit_insn (2);
+               bin = 0xc070 | reg;
+               bfd_putl16 ((bfd_vma) bin, frag + 2);
+               bin = 0x0080;
+               bfd_putl16 ((bfd_vma) bin, frag + 4);
+               dwarf2_emit_insn (4);
+             }
+           else
+             {
+               /* Encode as RRUM[.A] rN.  */
+               bin = opcode->bin_opcode;
+               if (! addr_op)
+                 bin |= 0x10;
+               bin |= reg;
+               op_length = 2;
+               frag = frag_more (op_length);
+               where = frag - frag_now->fr_literal;
+               bfd_putl16 ((bfd_vma) bin, frag);
+               dwarf2_emit_insn (op_length);
+             }
+           break;
+         }
 
 
-  while (*t)
-    {
-      if ((*t < '0' || *t > '9') && *t != '+')
-       break;
-      t++;
-    }
+       case 8:
+         {
+           bfd_boolean need_reloc = FALSE;
+           int n;
+           int reg;
 
 
-  if (*t)
-    return 1;
+           /* ADDA, CMPA and SUBA address instructions.  */
+           if (extended & 0xff)
+             {
+               as_bad (_("repeat count cannot be used with %s"), opcode->name);
+               break;
+             }
 
 
-  return 0;
-}
+           line = extract_operand (line, l1, sizeof (l1));
+           line = extract_operand (line, l2, sizeof (l2));
 
 
+           bin = opcode->bin_opcode;
 
 
-static int
-msp430_srcoperand (op, l, bin, imm_op)
-     struct msp430_operand_s *op;
-     char *l;
-     int bin;
-     int *imm_op;
-{
-  char *__tl = l;
+           if (*l1 == '#')
+             {
+               parse_exp (l1 + 1, &(op1.exp));
+
+               if (op1.exp.X_op == O_constant)
+                 {
+                   n = op1.exp.X_add_number;
+                   if (n > 0xfffff || n < - (0x7ffff))
+                     {
+                       as_bad (_("expected value of first argument of %s to fit into 20-bits"),
+                               opcode->name);
+                       break;
+                     }
+
+                   bin |= ((n >> 16) & 0xf) << 8;
+                 }
+               else
+                 {
+                   n = 0;
+                   need_reloc = TRUE;
+                 }
 
 
-  /* Check if an immediate #VALUE.  The hash sign should be only at the beginning!  */
-  if (*l == '#')
-    {
-      char *h = l;
-      int vshift = -1;
-      int rval = 0;
+               op_length = 4;
+             }
+           else
+             {
+               if ((n = check_reg (l1)) == -1)
+                 {
+                   as_bad (_("expected register name or constant as first argument of %s"),
+                           opcode->name);
+                   break;
+                 }
+
+               bin |= (n << 8) | (1 << 6);
+               op_length = 2;
+             }
 
 
-      /* Check if there is:
-        llo(x) - least significant 16 bits, x &= 0xffff
-        lhi(x) - x = (x >> 16) & 0xffff,
-        hlo(x) - x = (x >> 32) & 0xffff,
-        hhi(x) - x = (x >> 48) & 0xffff
-        The value _MUST_ be constant expression: #hlo(1231231231).  */
+           if ((reg = check_reg (l2)) == -1)
+             {
+               as_bad (_("expected register as second argument of %s"),
+                       opcode->name);
+               break;
+             }
 
 
-      *imm_op = 1;
+           frag = frag_more (op_length);
+           where = frag - frag_now->fr_literal;
+           bin |= reg;
+           if (need_reloc)
+             fix_new_exp (frag_now, where, 4, &(op1.exp), FALSE,
+                          BFD_RELOC_MSP430X_ABS20_ADR_SRC);
 
 
-      if (strncasecmp (h, "#llo(", 5) == 0)
-       {
-         vshift = 0;
-         rval = 3;
-       }
-      else if (strncasecmp (h, "#lhi(", 5) == 0)
-       {
-         vshift = 1;
-         rval = 3;
-       }
-      else if (strncasecmp (h, "#hlo(", 5) == 0)
-       {
-         vshift = 2;
-         rval = 3;
-       }
-      else if (strncasecmp (h, "#hhi(", 5) == 0)
-       {
-         vshift = 3;
-         rval = 3;
-       }
-      else if (strncasecmp (h, "#lo(", 4) == 0)
-       {
-         vshift = 0;
-         rval = 2;
-       }
-      else if (strncasecmp (h, "#hi(", 4) == 0)
-       {
-         vshift = 1;
-         rval = 2;
-       }
+           bfd_putl16 ((bfd_vma) bin, frag);
+           if (op_length == 4)
+             bfd_putl16 ((bfd_vma) (n & 0xffff), frag + 2);
+           dwarf2_emit_insn (op_length);
+           break;
+         }
 
 
-      op->reg = 0;             /* Reg PC.  */
-      op->am = 3;
-      op->ol = 1;              /* Immediate  will follow an instruction.  */
-      __tl = h + 1 + rval;
-      op->mode = OP_EXP;
-      parse_exp (__tl, &(op->exp));
-      if (op->exp.X_op == O_constant)
-       {
-         int x = op->exp.X_add_number;
+       case 9: /* MOVA, BRA, RETA.  */
+         imm_op = FALSE;
+         bin = opcode->bin_opcode;
 
 
-         if (vshift == 0)
-           {
-             x = x & 0xffff;
-             op->exp.X_add_number = x;
-           }
-         else if (vshift == 1)
+         if (is_opcode ("reta"))
            {
            {
-             x = (x >> 16) & 0xffff;
-             op->exp.X_add_number = x;
+             /* The RETA instruction does not take any arguments.
+                The implicit first argument is @SP+.
+                The implicit second argument is PC.  */
+             op1.mode = OP_REG;
+             op1.am = 3;
+             op1.reg = 1;
+
+             op2.mode = OP_REG;
+             op2.reg = 0;
            }
            }
-         else if (vshift > 1)
+         else
            {
            {
-             if (x < 0)
-               op->exp.X_add_number = -1;
+             line = extract_operand (line, l1, sizeof (l1));
+             res = msp430_srcoperand (&op1, l1, opcode->bin_opcode,
+                                      &imm_op, extended_op, FALSE);
+
+             if (is_opcode ("bra"))
+               {
+                 /* This is the BRA synthetic instruction.
+                    The second argument is always PC.  */
+                 op2.mode = OP_REG;
+                 op2.reg = 0;
+               }
              else
              else
-               op->exp.X_add_number = 0;       /* Nothing left.  */
-             x = op->exp.X_add_number;
-           }
+               {
+                 line = extract_operand (line, l2, sizeof (l2));
+                 res += msp430_dstoperand (&op2, l2, opcode->bin_opcode,
+                                           extended_op, TRUE);
+               }
 
 
-         if (op->exp.X_add_number > 65535 || op->exp.X_add_number < -32768)
-           {
-             as_bad (_("value %ld out of range. Use #lo() or #hi()"), x);
-             return 1;
+             if (res)
+               break;  /* Error occurred.  All warnings were done before.  */
            }
 
            }
 
-         /* Now check constants.  */
-         /* Substitute register mode with a constant generator if applicable.  */
-
-         x = (short) x;        /* Extend sign.  */
-
-         if (x == 0)
-           {
-             op->reg = 3;
-             op->am = 0;
-             op->ol = 0;
-             op->mode = OP_REG;
-           }
-         else if (x == 1)
-           {
-             op->reg = 3;
-             op->am = 1;
-             op->ol = 0;
-             op->mode = OP_REG;
-           }
-         else if (x == 2)
-           {
-             op->reg = 3;
-             op->am = 2;
-             op->ol = 0;
-             op->mode = OP_REG;
-           }
-         else if (x == -1)
+         /* Only a restricted subset of the normal MSP430 addressing modes
+            are supported here, so check for the ones that are allowed.  */
+         if ((op_length = try_encode_mova (imm_op, bin, & op1, & op2,
+                                           & error_message)) == 0)
            {
            {
-             op->reg = 3;
-             op->am = 3;
-             op->ol = 0;
-             op->mode = OP_REG;
+             as_bad (error_message, opcode->name);
+             break;
            }
            }
-         else if (x == 4)
+         dwarf2_emit_insn (op_length);
+         break;
+
+       case 10: /* RPT */
+         line = extract_operand (line, l1, sizeof l1);
+         /* The RPT instruction only accepted immediates and registers.  */
+         if (*l1 == '#')
            {
            {
-#ifdef PUSH_1X_WORKAROUND
-             if (bin == 0x1200)
+             parse_exp (l1 + 1, &(op1.exp));
+             if (op1.exp.X_op != O_constant)
                {
                {
-                 /* Remove warning as confusing.
-                    as_warn(_("Hardware push bug workaround")); */
+                 as_bad (_("expected constant value as argument to RPT"));
+                 break;
                }
                }
-             else
-#endif
+             if (op1.exp.X_add_number < 1
+                 || op1.exp.X_add_number > (1 << 4))
                {
                {
-                 op->reg = 2;
-                 op->am = 2;
-                 op->ol = 0;
-                 op->mode = OP_REG;
+                 as_bad (_("expected constant in the range 2..16"));
+                 break;
                }
                }
+
+             /* We silently accept and ignore a repeat count of 1.  */
+             if (op1.exp.X_add_number > 1)
+               repeat_count = op1.exp.X_add_number;
            }
            }
-         else if (x == 8)
+         else
            {
            {
-#ifdef PUSH_1X_WORKAROUND
-             if (bin == 0x1200)
+             int reg;
+
+             if ((reg = check_reg (l1)) != -1)
                {
                {
-                 /* Remove warning as confusing.
-                    as_warn(_("Hardware push bug workaround")); */
+                 if (reg == 0)
+                   as_warn (_("PC used as an argument to RPT"));
+                 else
+                   repeat_count = - reg;
                }
              else
                }
              else
-#endif
                {
                {
-                 op->reg = 2;
-                 op->am = 3;
-                 op->ol = 0;
-                 op->mode = OP_REG;
+                 as_bad (_("expected constant or register name as argument to RPT insn"));
+                 break;
                }
            }
                }
            }
+         break;
+
+       default:
+         as_bad (_("Illegal emulated instruction "));
+         break;
        }
        }
-      else if (op->exp.X_op == O_symbol)
-       {
-         op->mode = OP_EXP;
-       }
-      else if (op->exp.X_op == O_big)
+      break;
+
+    case 1:                    /* Format 1, double operand.  */
+      line = extract_operand (line, l1, sizeof (l1));
+      line = extract_operand (line, l2, sizeof (l2));
+      res = msp430_srcoperand (&op1, l1, opcode->bin_opcode, &imm_op, extended_op, TRUE);
+      res += msp430_dstoperand (&op2, l2, opcode->bin_opcode, extended_op, TRUE);
+
+      if (res)
+       break;                  /* Error occurred.  All warnings were done before.  */
+
+      if (extended_op
+         && is_opcode ("movx")
+         && addr_op
+         && msp430_enable_relax)
        {
        {
-         short x;
-         if (vshift != -1)
-           {
-             op->exp.X_op = O_constant;
-             op->exp.X_add_number = 0xffff & generic_bignum[vshift];
-             x = op->exp.X_add_number;
-           }
-         else
+         /* This is the MOVX.A instruction.  See if we can convert
+            it into the MOVA instruction instead.  This saves 2 bytes.  */
+         if ((op_length = try_encode_mova (imm_op, 0x0000, & op1, & op2,
+                                           NULL)) != 0)
            {
            {
-             as_bad (_
-                     ("unknown expression in operand %s. use #llo() #lhi() #hlo() #hhi() "),
-                     l);
-             return 1;
+             dwarf2_emit_insn (op_length);
+             break;
            }
            }
+       }
 
 
-         if (x == 0)
-           {
-             op->reg = 3;
-             op->am = 0;
-             op->ol = 0;
-             op->mode = OP_REG;
-           }
-         else if (x == 1)
-           {
-             op->reg = 3;
-             op->am = 1;
-             op->ol = 0;
-             op->mode = OP_REG;
-           }
-         else if (x == 2)
+      bin |= (op2.reg | (op1.reg << 8) | (op1.am << 4) | (op2.am << 7));
+
+      if (   (is_opcode ("bic") && bin == 0xc232)
+         || (is_opcode ("bis") && bin == 0xd232)
+         || (is_opcode ("mov") && op2.mode == OP_REG && op2.reg == 2))
+       {
+         if (check_for_nop)
            {
            {
-             op->reg = 3;
-             op->am = 2;
-             op->ol = 0;
-             op->mode = OP_REG;
+             if (warn_interrupt_nops)
+               {
+                 if (gen_interrupt_nops)
+                   as_warn (_("NOP inserted between two instructions that change interrupt state"));
+                 else
+                   as_warn (_("a NOP might be needed here because of successive changes in interrupt state"));
+               }
+
+             if (gen_interrupt_nops)
+               {
+                 /* Emit a NOP between interrupt enable/disable.
+                    See 1.3.4.1 of the MSP430x5xx User Guide.  */
+                 insn_length += 2;
+                 frag = frag_more (2);
+                 bfd_putl16 ((bfd_vma) 0x4303 /* NOP */, frag);
+               }
            }
            }
-         else if (x == -1)
+
+         nop_check_needed = TRUE;
+       }
+
+      /* Compute the entire length of the instruction in bytes.  */
+      op_length = (extended_op ? 2 : 0)        /* The extension word.  */
+       + 2                     /* The opcode */
+       + (2 * op1.ol)          /* The first operand. */
+       + (2 * op2.ol);         /* The second operand.  */
+
+      insn_length += op_length;
+      frag = frag_more (op_length);
+      where = frag - frag_now->fr_literal;
+
+      if (extended_op)
+       {
+         if (!addr_op)
+           extended |= BYTE_OPERATION;
+
+         if ((op1.ol != 0 || op2.ol != 0) && ((extended & 0xf) != 0))
            {
            {
-             op->reg = 3;
-             op->am = 3;
-             op->ol = 0;
-             op->mode = OP_REG;
+             as_bad (_("repeat instruction used with non-register mode instruction"));
+             extended &= ~ 0xf;
            }
            }
-         else if (x == 4)
+
+         /* If necessary, emit a reloc to update the extension word.  */
+         if (op1.mode == OP_EXP)
            {
            {
-             op->reg = 2;
-             op->am = 2;
-             op->ol = 0;
-             op->mode = OP_REG;
+             if (op1.exp.X_op == O_constant)
+               extended |= ((op1.exp.X_add_number >> 16) & 0xf) << 7;
+
+             else  if (op1.reg || (op1.reg == 0 && op1.am == 3))       /* Not PC relative.  */
+               fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                            BFD_RELOC_MSP430X_ABS20_EXT_SRC);
+             else
+               fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                            BFD_RELOC_MSP430X_PCR20_EXT_SRC);
            }
            }
-         else if (x == 8)
-           {
-             op->reg = 2;
-             op->am = 3;
-             op->ol = 0;
-             op->mode = OP_REG;
+
+         if (op2.mode == OP_EXP)
+           {
+             if (op2.exp.X_op == O_constant)
+               extended |= (op2.exp.X_add_number >> 16) & 0xf;
+
+             else if (op1.mode == OP_EXP)
+               fix_new_exp (frag_now, where, 8, &(op2.exp), FALSE,
+                            op2.reg ? BFD_RELOC_MSP430X_ABS20_EXT_ODST
+                            : BFD_RELOC_MSP430X_PCR20_EXT_ODST);
+
+             else
+               fix_new_exp (frag_now, where, 6, &(op2.exp), FALSE,
+                            op2.reg ? BFD_RELOC_MSP430X_ABS20_EXT_DST
+                            : BFD_RELOC_MSP430X_PCR20_EXT_DST);
            }
            }
+
+         /* Emit the extension word.  */
+         bfd_putl16 (extended, frag);
+         where += 2;
+         frag += 2;
        }
        }
-      else
-       {
-         as_bad (_("unknown operand %s"), l);
-       }
-      return 0;
-    }
 
 
-  /* Check if absolute &VALUE (assume that we can construct something like ((a&b)<<7 + 25).  */
-  if (*l == '&')
-    {
-      char *h = l;
+      bfd_putl16 ((bfd_vma) bin, frag);
+      where += 2;
+      frag += 2;
 
 
-      op->reg = 2;             /* reg 2 in absolute addr mode.  */
-      op->am = 1;              /* mode As == 01 bin.  */
-      op->ol = 1;              /* Immediate value followed by instruction.  */
-      __tl = h + 1;
-      parse_exp (__tl, &(op->exp));
-      op->mode = OP_EXP;
-      if (op->exp.X_op == O_constant)
+      if (op1.mode == OP_EXP)
        {
        {
-         int x = op->exp.X_add_number;
-         if (x > 65535 || x < -32768)
+         if (op1.exp.X_op == O_constant)
            {
            {
-             as_bad (_("value out of range: %d"), x);
-             return 1;
+             bfd_putl16 (op1.exp.X_add_number & 0xffff, frag);
            }
            }
+         else
+           {
+             bfd_putl16 ((bfd_vma) ZEROS, frag);
+
+             if (!extended_op)
+               {
+                 if (op1.reg || (op1.reg == 0 && op1.am == 3)) /* Not PC relative.  */
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), FALSE, CHECK_RELOC_MSP430 (op1));
+                 else
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+               }
+           }
+
+         where += 2;
+         frag += 2;
        }
        }
-      else if (op->exp.X_op == O_symbol)
-       {
-       }
-      else
+
+      if (op2.mode == OP_EXP)
        {
        {
-         as_bad (_("unknown expression in operand %s"), l);
-         return 1;
+         if (op2.exp.X_op == O_constant)
+           {
+             bfd_putl16 (op2.exp.X_add_number & 0xffff, frag);
+           }
+         else
+           {
+             bfd_putl16 ((bfd_vma) ZEROS, frag);
+
+             if (!extended_op)
+               {
+                 if (op2.reg)          /* Not PC relative.  */
+                   fix_new_exp (frag_now, where, 2,
+                                &(op2.exp), FALSE, CHECK_RELOC_MSP430 (op2));
+                 else
+                   fix_new_exp (frag_now, where, 2,
+                                &(op2.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+               }
+           }
        }
        }
-      return 0;
-    }
 
 
-  /* Check if indirect register mode @Rn / postincrement @Rn+.  */
-  if (*l == '@')
-    {
-      char *t = l;
-      char *m = strchr (l, '+');
+      dwarf2_emit_insn (insn_length);
+      break;
 
 
-      if (t != l)
+    case 2:                    /* Single-operand mostly instr.  */
+      if (opcode->insn_opnumb == 0)
        {
        {
-         as_bad (_("unknown addressing mode %s"), l);
-         return 1;
+         /* reti instruction.  */
+         insn_length += 2;
+         frag = frag_more (2);
+         bfd_putl16 ((bfd_vma) bin, frag);
+         dwarf2_emit_insn (insn_length);
+         break;
        }
 
        }
 
-      t++;
-      if (*t != 'r' && *t != 'R')
+      line = extract_operand (line, l1, sizeof (l1));
+      res = msp430_srcoperand (&op1, l1, opcode->bin_opcode,
+                              &imm_op, extended_op, TRUE);
+      if (res)
+       break;          /* Error in operand.  */
+
+      if (target_is_430xv2 ()
+         && op1.mode == OP_REG
+         && op1.reg == 0
+         && (is_opcode ("rrax")
+             || is_opcode ("rrcx")
+             || is_opcode ("rra")
+             || is_opcode ("rrc")))
        {
        {
-         as_bad (_("unknown addressing mode %s"), l);
-         return 1;
+         as_bad (_("%s: attempt to rotate the PC register"), opcode->name);
+         break;
        }
 
        }
 
-      t++;     /* Points to the reg value.  */
+      insn_length = (extended_op ? 2 : 0) + 2 + (op1.ol * 2);
+      frag = frag_more (insn_length);
+      where = frag - frag_now->fr_literal;
 
 
-      if (check_reg (t))
+      if (extended_op)
        {
        {
-         as_bad (_("Bad register name r%s"), t);
-         return 1;
-       }
+         if (is_opcode ("swpbx") || is_opcode ("sxtx"))
+           {
+             /* These two instructions use a special
+                encoding of the A/L and B/W bits.  */
+             bin &= ~ BYTE_OPERATION;
 
 
-      op->mode = OP_REG;
-      op->am = m ? 3 : 2;
-      op->ol = 0;
-      if (m)
-       *m = 0;                 /* strip '+' */
-      op->reg = atoi (t);
-      if (op->reg < 0 || op->reg > 15)
-       {
-         as_bad (_("MSP430 does not have %d registers"), op->reg);
-         return 1;
-       }
+             if (byte_op)
+               {
+                 as_bad (_("%s instruction does not accept a .b suffix"),
+                         opcode->name);
+                 break;
+               }
+             else if (! addr_op)
+               extended |= BYTE_OPERATION;
+           }
+         else if (! addr_op)
+           extended |= BYTE_OPERATION;
 
 
-      return 0;
-    }
+         if (op1.ol != 0 && ((extended & 0xf) != 0))
+           {
+             as_bad (_("repeat instruction used with non-register mode instruction"));
+             extended &= ~ 0xf;
+           }
 
 
-  /* Check if register indexed X(Rn).  */
-  do
-    {
-      char *h = strrchr (l, '(');
-      char *m = strrchr (l, ')');
-      char *t;
+         if (op1.mode == OP_EXP)
+           {
+             if (op1.exp.X_op == O_constant)
+               extended |= ((op1.exp.X_add_number >> 16) & 0xf) << 7;
 
 
-      *imm_op = 1;
+             else if (op1.reg || (op1.reg == 0 && op1.am == 3))        /* Not PC relative.  */
+               fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                            BFD_RELOC_MSP430X_ABS20_EXT_SRC);
+             else
+               fix_new_exp (frag_now, where, 6, &(op1.exp), FALSE,
+                            BFD_RELOC_MSP430X_PCR20_EXT_SRC);
+           }
 
 
-      if (!h)
-       break;
-      if (!m)
-       {
-         as_bad (_("')' required"));
-         return 1;
+         /* Emit the extension word.  */
+         bfd_putl16 (extended, frag);
+         frag += 2;
+         where += 2;
        }
 
        }
 
-      t = h;
-      op->am = 1;
-      op->ol = 1;
-      /* Extract a register.  */
-      t++;     /* Advance pointer.  */
+      bin |= op1.reg | (op1.am << 4);
+      bfd_putl16 ((bfd_vma) bin, frag);
+      frag += 2;
+      where += 2;
 
 
-      if (*t != 'r' && *t != 'R')
+      if (op1.mode == OP_EXP)
        {
        {
-         as_bad (_
-                 ("unknown operator %s. Did you mean X(Rn) or #[hl][hl][oi](CONST) ?"),
-                 l);
-         return 1;
-       }
-      t++;
+         if (op1.exp.X_op == O_constant)
+           {
+             bfd_putl16 (op1.exp.X_add_number & 0xffff, frag);
+           }
+         else
+           {
+             bfd_putl16 ((bfd_vma) ZEROS, frag);
 
 
-      op->reg = *t - '0';
-      if (op->reg > 9 || op->reg < 0)
-       {
-         as_bad (_("unknown operator (r%s substituded as a register name"),
-                 t);
-         return 1;
+             if (!extended_op)
+               {
+                 if (op1.reg || (op1.reg == 0 && op1.am == 3)) /* Not PC relative.  */
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), FALSE, CHECK_RELOC_MSP430 (op1));
+                 else
+                   fix_new_exp (frag_now, where, 2,
+                                &(op1.exp), TRUE, CHECK_RELOC_MSP430_PCREL);
+               }
+           }
        }
        }
-      t++;
-      if (*t != ')')
+
+      dwarf2_emit_insn (insn_length);
+      break;
+
+    case 3:                    /* Conditional jumps instructions.  */
+      line = extract_operand (line, l1, sizeof (l1));
+      /* l1 is a label.  */
+      if (l1[0])
        {
        {
-         op->reg = op->reg * 10;
-         op->reg += *t - '0';
+         char *m = l1;
+         expressionS exp;
+
+         if (*m == '$')
+           m++;
+
+         parse_exp (m, &exp);
+
+         /* In order to handle something like:
+
+            and #0x8000, r5
+            tst r5
+            jz   4     ;       skip next 4 bytes
+            inv r5
+            inc r5
+            nop        ;       will jump here if r5 positive or zero
+
+            jCOND      -n      ;assumes jump n bytes backward:
+
+            mov r5,r6
+            jmp -2
+
+            is equal to:
+            lab:
+            mov r5,r6
+            jmp lab
+
+            jCOND      $n      ; jump from PC in either direction.  */
 
 
-         if (op->reg > 15)
+         if (exp.X_op == O_constant)
            {
            {
-             as_bad (_("unknown operator %s"), l);
-             return 1;
+             int x = exp.X_add_number;
+
+             if (x & 1)
+               {
+                 as_warn (_("Even number required. Rounded to %d"), x + 1);
+                 x++;
+               }
+
+             if ((*l1 == '$' && x > 0) || x < 0)
+               x -= 2;
+
+             x >>= 1;
+
+             if (x > 512 || x < -511)
+               {
+                 as_bad (_("Wrong displacement  %d"), x << 1);
+                 break;
+               }
+
+             insn_length += 2;
+             frag = frag_more (2);     /* Instr size is 1 word.  */
+
+             bin |= x & 0x3ff;
+             bfd_putl16 ((bfd_vma) bin, frag);
            }
            }
-         if (op->reg == 2)
+         else if (exp.X_op == O_symbol && *l1 != '$')
            {
            {
-             as_bad (_("r2 should not be used in indexed addressing mode"));
-             return 1;
-           }
+             insn_length += 2;
+             frag = frag_more (2);     /* Instr size is 1 word.  */
+             where = frag - frag_now->fr_literal;
+             fix_new_exp (frag_now, where, 2,
+                          &exp, TRUE, BFD_RELOC_MSP430_10_PCREL);
 
 
-         if (*(t + 1) != ')')
+             bfd_putl16 ((bfd_vma) bin, frag);
+           }
+         else if (*l1 == '$')
            {
            {
-             as_bad (_("unknown operator %s"), l);
-             return 1;
+             as_bad (_("instruction requires label sans '$'"));
            }
            }
+         else
+           as_bad (_
+                   ("instruction requires label or value in range -511:512"));
+         dwarf2_emit_insn (insn_length);
+         break;
+       }
+      else
+       {
+         as_bad (_("instruction requires label"));
+         break;
        }
        }
+      break;
 
 
-      /* Extract constant.  */
-      __tl = l;
-      *h = 0;
-      op->mode = OP_EXP;
-      parse_exp (__tl, &(op->exp));
-      if (op->exp.X_op == O_constant)
+    case 4:    /* Extended jumps.  */
+      if (!msp430_enable_polys)
        {
        {
-         int x = op->exp.X_add_number;
+         as_bad (_("polymorphs are not enabled. Use -mP option to enable."));
+         break;
+       }
+       
+      line = extract_operand (line, l1, sizeof (l1));
+      if (l1[0])
+       {
+         char *m = l1;
+         expressionS exp;
 
 
-         if (x > 65535 || x < -32768)
-           {
-             as_bad (_("value out of range: %d"), x);
-             return 1;
-           }
+         /* Ignore absolute addressing. make it PC relative anyway.  */
+         if (*m == '#' || *m == '$')
+           m++;
 
 
-         if (x == 0)
+         parse_exp (m, & exp);
+         if (exp.X_op == O_symbol)
            {
            {
-             op->mode = OP_REG;
-             op->am = 2;
-             op->ol = 0;
-             return 0;
+             /* Relaxation required.  */
+             struct rcodes_s rc = msp430_rcodes[opcode->insn_opnumb];
+
+             if (target_is_430x ())
+               rc = msp430x_rcodes[opcode->insn_opnumb];
+
+             /* The parameter to dwarf2_emit_insn is actually the offset to
+                the start of the insn from the fix piece of instruction that
+                was emitted.  Since next fragments may have variable size we
+                tie debug info to the beginning of the instruction.  */
+             insn_length += 8;
+             frag = frag_more (8);
+             dwarf2_emit_insn (0);
+             bfd_putl16 ((bfd_vma) rc.sop, frag);
+             frag = frag_variant (rs_machine_dependent, 8, 2,
+                                   /* Wild guess.  */
+                                  ENCODE_RELAX (rc.lpos, STATE_BITS10),
+                                  exp.X_add_symbol,
+                                  0,   /* Offset is zero if jump dist less than 1K.  */
+                                  (char *) frag);
+             break;
            }
        }
            }
        }
-      else if (op->exp.X_op == O_symbol)
+
+      as_bad (_("instruction requires label"));
+      break;
+
+    case 5:    /* Emulated extended branches.  */
+      if (!msp430_enable_polys)
        {
        {
+         as_bad (_("polymorphs are not enabled. Use -mP option to enable."));
+         break;
        }
        }
-      else
+      line = extract_operand (line, l1, sizeof (l1));
+      if (l1[0])
        {
        {
-         as_bad (_("unknown expression in operand %s"), l);
-         return 1;
+         char * m = l1;
+         expressionS exp;
+
+         /* Ignore absolute addressing. make it PC relative anyway.  */
+         if (*m == '#' || *m == '$')
+           m++;
+
+         parse_exp (m, & exp);
+         if (exp.X_op == O_symbol)
+           {
+             /* Relaxation required.  */
+             struct hcodes_s hc = msp430_hcodes[opcode->insn_opnumb];
+
+             if (target_is_430x ())
+               hc = msp430x_hcodes[opcode->insn_opnumb];
+
+             insn_length += 8;
+             frag = frag_more (8);
+             dwarf2_emit_insn (0);
+             bfd_putl16 ((bfd_vma) hc.op0, frag);
+             bfd_putl16 ((bfd_vma) hc.op1, frag+2);
+
+             frag = frag_variant (rs_machine_dependent, 8, 2,
+                                  ENCODE_RELAX (STATE_EMUL_BRANCH, STATE_BITS10), /* Wild guess.  */
+                                  exp.X_add_symbol,
+                                  0,   /* Offset is zero if jump dist less than 1K.  */
+                                  (char *) frag);
+             break;
+           }
        }
 
        }
 
-      return 0;
-    }
-  while (0);
+      as_bad (_("instruction requires label"));
+      break;
 
 
-  /* Register mode 'mov r1,r2'.  */
-  do
-    {
-      char *t = l;
+    default:
+      as_bad (_("Illegal instruction or not implemented opcode."));
+    }
 
 
-      /* Operand should be a register.  */
-      if (*t == 'r' || *t == 'R')
-       {
-         int x = atoi (t + 1);
+  input_line_pointer = line;
+  check_for_nop = nop_check_needed;
+  return 0;
+}
 
 
-         if (check_reg (t + 1))
-           break;
+void
+md_assemble (char * str)
+{
+  struct msp430_opcode_s * opcode;
+  char cmd[32];
+  unsigned int i = 0;
 
 
-         if (x < 0 || x > 15)
-           break;              /* Symbolic mode.  */
+  str = skip_space (str);      /* Skip leading spaces.  */
+  str = extract_cmd (str, cmd, sizeof (cmd));
 
 
-         op->mode = OP_REG;
-         op->am = 0;
-         op->ol = 0;
-         op->reg = x;
-         return 0;
-       }
+  while (cmd[i] && i < sizeof (cmd))
+    {
+      char a = TOLOWER (cmd[i]);
+      cmd[i] = a;
+      i++;
     }
     }
-  while (0);
 
 
-  /* Symbolic mode 'mov a, b' == 'mov x(pc), y(pc)'.  */
-  do
+  if (!cmd[0])
     {
     {
-      char *t = l;
-
-      __tl = l;
+      as_bad (_("can't find opcode "));
+      return;
+    }
 
 
-      while (*t)
-       {
-         /* alpha/number    underline     dot for labels.  */
-         if (! ISALNUM (*t) && *t != '_' && *t != '.')
-           {
-             as_bad (_("unknown operand %s"), l);
-             return 1;
-           }
-         t++;
-       }
+  opcode = (struct msp430_opcode_s *) hash_find (msp430_hash, cmd);
 
 
-      op->mode = OP_EXP;
-      op->reg = 0;             /* PC relative... be careful.  */
-      op->am = 1;
-      op->ol = 1;
-      __tl = l;
-      parse_exp (__tl, &(op->exp));
-      return 0;
+  if (opcode == NULL)
+    {
+      as_bad (_("unknown opcode `%s'"), cmd);
+      return;
     }
     }
-  while (0);
 
 
-  /* Unreachable.  */
-  as_bad (_("unknown addressing mode for operand %s"), l);
-  return 1;
-}
+  {
+    char *__t = input_line_pointer;
 
 
+    msp430_operands (opcode, str);
+    input_line_pointer = __t;
+  }
+}
 
 /* GAS will call this function for each section at the end of the assembly,
    to permit the CPU backend to adjust the alignment of a section.  */
 
 valueT
 
 /* GAS will call this function for each section at the end of the assembly,
    to permit the CPU backend to adjust the alignment of a section.  */
 
 valueT
-md_section_align (seg, addr)
-     asection *seg;
-     valueT addr;
+md_section_align (asection * seg, valueT addr)
 {
   int align = bfd_get_section_alignment (stdoutput, seg);
 
 {
   int align = bfd_get_section_alignment (stdoutput, seg);
 
@@ -1349,9 +3223,7 @@ md_section_align (seg, addr)
    macro would return the length of an instruction.  */
 
 long
    macro would return the length of an instruction.  */
 
 long
-md_pcrel_from_section (fixp, sec)
-     fixS *fixp;
-     segT sec;
+md_pcrel_from_section (fixS * fixp, segT sec)
 {
   if (fixp->fx_addsy != (symbolS *) NULL
       && (!S_IS_DEFINED (fixp->fx_addsy)
 {
   if (fixp->fx_addsy != (symbolS *) NULL
       && (!S_IS_DEFINED (fixp->fx_addsy)
@@ -1361,16 +3233,31 @@ md_pcrel_from_section (fixp, sec)
   return fixp->fx_frag->fr_address + fixp->fx_where;
 }
 
   return fixp->fx_frag->fr_address + fixp->fx_where;
 }
 
+/* Replaces standard TC_FORCE_RELOCATION_LOCAL.
+   Now it handles the situation when relocations
+   have to be passed to linker.  */
+int
+msp430_force_relocation_local (fixS *fixp)
+{
+  if (fixp->fx_r_type == BFD_RELOC_MSP430_10_PCREL)
+    return 1;
+  if (fixp->fx_pcrel)
+    return 1;
+  if (msp430_enable_polys
+        && !msp430_enable_relax)
+    return 1;
+
+  return (!fixp->fx_pcrel
+         || generic_force_reloc (fixp));
+}
+
+
 /* GAS will call this for each fixup.  It should store the correct
    value in the object file.  */
 /* GAS will call this for each fixup.  It should store the correct
    value in the object file.  */
-
 void
 void
-md_apply_fix3 (fixp, valuep, seg)
-     fixS *fixp;
-     valueT *valuep;
-     segT seg;
+md_apply_fix (fixS * fixp, valueT * valuep, segT seg)
 {
 {
-  unsigned char *where;
+  unsigned char * where;
   unsigned long insn;
   long value;
 
   unsigned long insn;
   long value;
 
@@ -1385,7 +3272,19 @@ md_apply_fix3 (fixp, valuep, seg)
 
       if (fixp->fx_addsy && (s == seg || s == absolute_section))
        {
 
       if (fixp->fx_addsy && (s == seg || s == absolute_section))
        {
-         value = S_GET_VALUE (fixp->fx_addsy) + *valuep;
+         /* FIXME: We can appear here only in case if we perform a pc
+            relative jump to the label which is i) global, ii) locally
+            defined or this is a jump to an absolute symbol.
+            If this is an absolute symbol -- everything is OK.
+            If this is a global label, we've got a symbol value defined
+            twice:
+               1. S_GET_VALUE (fixp->fx_addsy) will contain a symbol offset
+                 from this section start
+               2. *valuep will contain the real offset from jump insn to the
+                 label
+            So, the result of S_GET_VALUE (fixp->fx_addsy) + (* valuep);
+            will be incorrect. Therefore remove s_get_value.  */
+         value = /* S_GET_VALUE (fixp->fx_addsy) + */ * valuep;
          fixp->fx_done = 1;
        }
       else
          fixp->fx_done = 1;
        }
       else
@@ -1402,30 +3301,28 @@ md_apply_fix3 (fixp, valuep, seg)
              value -= S_GET_VALUE (fixp->fx_subsy);
              fixp->fx_done = 1;
            }
              value -= S_GET_VALUE (fixp->fx_subsy);
              fixp->fx_done = 1;
            }
-         else
-           {
-             /* We don't actually support subtracting a symbol.  */
-             as_bad_where (fixp->fx_file, fixp->fx_line,
-                           _("expression too complex"));
-           }
        }
     }
 
        }
     }
 
-  switch (fixp->fx_r_type)
+  fixp->fx_no_overflow = 1;
+
+  /* If polymorphs are enabled and relax disabled.
+     do not kill any relocs and pass them to linker.  */
+  if (msp430_enable_polys
+      && !msp430_enable_relax)
     {
     {
-    default:
-      fixp->fx_no_overflow = 1;
-      break;
-    case BFD_RELOC_MSP430_10_PCREL:
-      break;
+      if (!fixp->fx_addsy || (fixp->fx_addsy
+         && S_GET_SEGMENT (fixp->fx_addsy) == absolute_section))
+       fixp->fx_done = 1;      /* It is ok to kill 'abs' reloc.  */
+      else
+       fixp->fx_done = 0;
     }
 
   if (fixp->fx_done)
     {
       /* Fetch the instruction, insert the fully resolved operand
         value, and stuff the instruction back again.  */
     }
 
   if (fixp->fx_done)
     {
       /* Fetch the instruction, insert the fully resolved operand
         value, and stuff the instruction back again.  */
-
-      where = fixp->fx_frag->fr_literal + fixp->fx_where;
+      where = (unsigned char *) fixp->fx_frag->fr_literal + fixp->fx_where;
 
       insn = bfd_getl16 (where);
 
 
       insn = bfd_getl16 (where);
 
@@ -1448,39 +3345,86 @@ md_apply_fix3 (fixp, valuep, seg)
          bfd_putl16 ((bfd_vma) (value | insn), where);
          break;
 
          bfd_putl16 ((bfd_vma) (value | insn), where);
          break;
 
+       case BFD_RELOC_MSP430X_PCR16:
+       case BFD_RELOC_MSP430_RL_PCREL:
        case BFD_RELOC_MSP430_16_PCREL:
          if (value & 1)
            as_bad_where (fixp->fx_file, fixp->fx_line,
                          _("odd address operand: %ld"), value);
        case BFD_RELOC_MSP430_16_PCREL:
          if (value & 1)
            as_bad_where (fixp->fx_file, fixp->fx_line,
                          _("odd address operand: %ld"), value);
+         /* Fall through.  */
 
 
+       case BFD_RELOC_MSP430_16_PCREL_BYTE:
          /* Nothing to be corrected here.  */
          if (value < -32768 || value > 65536)
            as_bad_where (fixp->fx_file, fixp->fx_line,
                          _("operand out of range: %ld"), value);
          /* Nothing to be corrected here.  */
          if (value < -32768 || value > 65536)
            as_bad_where (fixp->fx_file, fixp->fx_line,
                          _("operand out of range: %ld"), value);
+         /* Fall through.  */
 
 
+       case BFD_RELOC_MSP430X_ABS16:
+       case BFD_RELOC_MSP430_16:
+       case BFD_RELOC_16:
+       case BFD_RELOC_MSP430_16_BYTE:
          value &= 0xffff;      /* Get rid of extended sign.  */
          bfd_putl16 ((bfd_vma) value, where);
          break;
 
          value &= 0xffff;      /* Get rid of extended sign.  */
          bfd_putl16 ((bfd_vma) value, where);
          break;
 
-       case BFD_RELOC_MSP430_16_PCREL_BYTE:
-         /* Nothing to be corrected here.  */
-         if (value < -32768 || value > 65536)
-           as_bad_where (fixp->fx_file, fixp->fx_line,
-                         _("operand out of range: %ld"), value);
-
+       case BFD_RELOC_MSP430_ABS_HI16:
+         value >>= 16;
          value &= 0xffff;      /* Get rid of extended sign.  */
          bfd_putl16 ((bfd_vma) value, where);
          break;
          value &= 0xffff;      /* Get rid of extended sign.  */
          bfd_putl16 ((bfd_vma) value, where);
          break;
-
+         
        case BFD_RELOC_32:
          bfd_putl16 ((bfd_vma) value, where);
          break;
 
        case BFD_RELOC_32:
          bfd_putl16 ((bfd_vma) value, where);
          break;
 
-       case BFD_RELOC_MSP430_16:
-       case BFD_RELOC_16:
-       case BFD_RELOC_MSP430_16_BYTE:
-         value &= 0xffff;
-         bfd_putl16 ((bfd_vma) value, where);
+       case BFD_RELOC_MSP430_ABS8:
+       case BFD_RELOC_8:
+         bfd_put_8 (NULL, (bfd_vma) value, where);
+         break;
+
+       case BFD_RELOC_MSP430X_ABS20_EXT_SRC:
+       case BFD_RELOC_MSP430X_PCR20_EXT_SRC:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 4);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) (((value & 0xf) << 7) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_ABS20_ADR_SRC:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 2);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) (((value & 0xf) << 8) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_ABS20_EXT_ODST:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 6);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) ((value & 0xf) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_PCR20_CALL:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 2);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) ((value & 0xf) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_ABS20_EXT_DST:
+       case BFD_RELOC_MSP430X_PCR20_EXT_DST:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 4);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) ((value & 0xf) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_PCR20_EXT_ODST:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 6);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) ((value & 0xf) | insn), where);
+         break;
+
+       case BFD_RELOC_MSP430X_ABS20_ADR_DST:
+         bfd_putl16 ((bfd_vma) (value & 0xffff), where + 2);
+         value >>= 16;
+         bfd_putl16 ((bfd_vma) ((value & 0xf) | insn), where);
          break;
 
        default:
          break;
 
        default:
@@ -1495,67 +3439,498 @@ md_apply_fix3 (fixp, valuep, seg)
     }
 }
 
     }
 }
 
-/* A `BFD_ASSEMBLER' GAS will call this to generate a reloc.  GAS
-   will pass the resulting reloc to `bfd_install_relocation'.  This
-   currently works poorly, as `bfd_install_relocation' often does the
-   wrong thing, and instances of `tc_gen_reloc' have been written to
-   work around the problems, which in turns makes it difficult to fix
-   `bfd_install_relocation'.  */
+static bfd_boolean
+S_IS_GAS_LOCAL (symbolS * s)
+{
+  const char * name;
+  unsigned int len;
+
+  if (s == NULL)
+    return FALSE;
+  name = S_GET_NAME (s);
+  len = strlen (name) - 1;
+
+  return name[len] == 1 || name[len] == 2;
+}
+
+/* GAS will call this to generate a reloc, passing the resulting reloc
+   to `bfd_install_relocation'.  This currently works poorly, as
+   `bfd_install_relocation' often does the wrong thing, and instances of
+   `tc_gen_reloc' have been written to work around the problems, which
+   in turns makes it difficult to fix `bfd_install_relocation'.  */
 
 /* If while processing a fixup, a reloc really needs to be created
    then it is done here.  */
 
 
 /* If while processing a fixup, a reloc really needs to be created
    then it is done here.  */
 
-arelent *
-tc_gen_reloc (seg, fixp)
-     asection *seg ATTRIBUTE_UNUSED;
-     fixS *fixp;
+arelent **
+tc_gen_reloc (asection * seg ATTRIBUTE_UNUSED, fixS * fixp)
 {
 {
+  static arelent * no_relocs = NULL;
+  static arelent * relocs[MAX_RELOC_EXPANSION + 1];
   arelent *reloc;
 
   arelent *reloc;
 
-  reloc = (arelent *) xmalloc (sizeof (arelent));
-
-  reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
-  *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
-
+  reloc = xmalloc (sizeof (arelent));
   reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
   reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
   reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
   reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
+
   if (reloc->howto == (reloc_howto_type *) NULL)
     {
       as_bad_where (fixp->fx_file, fixp->fx_line,
                    _("reloc %d not supported by object file format"),
                    (int) fixp->fx_r_type);
   if (reloc->howto == (reloc_howto_type *) NULL)
     {
       as_bad_where (fixp->fx_file, fixp->fx_line,
                    _("reloc %d not supported by object file format"),
                    (int) fixp->fx_r_type);
-      return NULL;
+      free (reloc);
+      return & no_relocs;
+    }
+
+  relocs[0] = reloc;
+  relocs[1] = NULL;
+
+  if (fixp->fx_subsy
+      && S_GET_SEGMENT (fixp->fx_subsy) == absolute_section)
+    {
+      fixp->fx_offset -= S_GET_VALUE (fixp->fx_subsy);
+      fixp->fx_subsy = NULL;
+    }
+
+  if (fixp->fx_addsy && fixp->fx_subsy)
+    {
+      asection *asec, *ssec;
+
+      asec = S_GET_SEGMENT (fixp->fx_addsy);
+      ssec = S_GET_SEGMENT (fixp->fx_subsy);
+
+      /* If we have a difference between two different, non-absolute symbols
+        we must generate two relocs (one for each symbol) and allow the
+        linker to resolve them - relaxation may change the distances between
+        symbols, even local symbols defined in the same section.
+
+        Unfortunately we cannot do this with assembler generated local labels
+        because there can be multiple incarnations of the same label, with
+        exactly the same name, in any given section and the linker will have
+        no way to identify the correct one.  Instead we just have to hope
+        that no relaxtion will occur between the local label and the other
+        symbol in the expression.
+
+        Similarly we have to compute differences between symbols in the .eh_frame
+        section as the linker is not smart enough to apply relocations there
+        before attempting to process it.  */
+      if ((ssec != absolute_section || asec != absolute_section)
+         && (fixp->fx_addsy != fixp->fx_subsy)
+         && strcmp (ssec->name, ".eh_frame") != 0
+         && ! S_IS_GAS_LOCAL (fixp->fx_addsy)
+         && ! S_IS_GAS_LOCAL (fixp->fx_subsy))
+       {
+         arelent * reloc2 = xmalloc (sizeof * reloc);
+
+         relocs[0] = reloc2;
+         relocs[1] = reloc;
+
+         reloc2->address = reloc->address;
+         reloc2->howto = bfd_reloc_type_lookup (stdoutput,
+                                                BFD_RELOC_MSP430_SYM_DIFF);
+         reloc2->addend = - S_GET_VALUE (fixp->fx_subsy);
+
+         if (ssec == absolute_section)
+           reloc2->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
+         else
+           {
+             reloc2->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
+             *reloc2->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_subsy);
+           }
+
+         reloc->addend = fixp->fx_offset;
+         if (asec == absolute_section)
+           {
+             reloc->addend += S_GET_VALUE (fixp->fx_addsy);
+             reloc->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
+           }
+         else
+           {
+             reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
+             *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
+           }
+
+         fixp->fx_pcrel = 0;
+         fixp->fx_done = 1;
+         return relocs;
+       }
+      else
+       {
+         char *fixpos = fixp->fx_where + fixp->fx_frag->fr_literal;
+
+         reloc->addend = (S_GET_VALUE (fixp->fx_addsy)
+                          - S_GET_VALUE (fixp->fx_subsy) + fixp->fx_offset);
+
+         switch (fixp->fx_r_type)
+           {
+           case BFD_RELOC_8:
+             md_number_to_chars (fixpos, reloc->addend, 1);
+             break;
+
+           case BFD_RELOC_16:
+             md_number_to_chars (fixpos, reloc->addend, 2);
+             break;
+
+           case BFD_RELOC_24:
+             md_number_to_chars (fixpos, reloc->addend, 3);
+             break;
+
+           case BFD_RELOC_32:
+             md_number_to_chars (fixpos, reloc->addend, 4);
+             break;
+
+           default:
+             reloc->sym_ptr_ptr
+               = (asymbol **) bfd_abs_section_ptr->symbol_ptr_ptr;
+             return relocs;
+           }
+
+         free (reloc);
+         return & no_relocs;
+       }
     }
     }
+  else
+    {
+#if 0
+      if (fixp->fx_r_type == BFD_RELOC_MSP430X_ABS16
+         && S_GET_SEGMENT (fixp->fx_addsy) == absolute_section)
+       {
+         bfd_vma amount = S_GET_VALUE (fixp->fx_addsy);
+         char *fixpos = fixp->fx_where + fixp->fx_frag->fr_literal;
 
 
-  if (fixp->fx_r_type == BFD_RELOC_VTABLE_INHERIT
-      || fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
-    reloc->address = fixp->fx_offset;
+         md_number_to_chars (fixpos, amount, 2);
+         free (reloc);
+         return & no_relocs;
+       }
+#endif
+      reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
+      *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
+      reloc->addend = fixp->fx_offset;
 
 
-  reloc->addend = fixp->fx_offset;
+      if (fixp->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+         || fixp->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
+       reloc->address = fixp->fx_offset;
+    }
 
 
-  return reloc;
+  return relocs;
 }
 
 }
 
-/* Parse ordinary expression.  */
+int
+md_estimate_size_before_relax (fragS * fragP ATTRIBUTE_UNUSED,
+                              asection * segment_type ATTRIBUTE_UNUSED)
+{
+  if (fragP->fr_symbol && S_GET_SEGMENT (fragP->fr_symbol) == segment_type)
+    {
+      /* This is a jump -> pcrel mode. Nothing to do much here.
+         Return value == 2.  */
+      fragP->fr_subtype =
+         ENCODE_RELAX (RELAX_LEN (fragP->fr_subtype), STATE_BITS10);
+    }
+  else if (fragP->fr_symbol)
+    {
+      /* Its got a segment, but its not ours.   Even if fr_symbol is in
+        an absolute segment, we don't know a displacement until we link
+        object files. So it will always be long. This also applies to
+        labels in a subsegment of current. Liker may relax it to short
+        jump later. Return value == 8.  */
+      fragP->fr_subtype =
+         ENCODE_RELAX (RELAX_LEN (fragP->fr_subtype), STATE_WORD);
+    }
+  else
+    {
+      /* We know the abs value. may be it is a jump to fixed address.
+         Impossible in our case, cause all constants already handled. */
+      fragP->fr_subtype =
+         ENCODE_RELAX (RELAX_LEN (fragP->fr_subtype), STATE_UNDEF);
+    }
 
 
-static char *
-parse_exp (s, op)
-     char *s;
-     expressionS *op;
+  return md_relax_table[fragP->fr_subtype].rlx_length;
+}
+
+void
+md_convert_frag (bfd * abfd ATTRIBUTE_UNUSED,
+                asection * sec ATTRIBUTE_UNUSED,
+                fragS * fragP)
 {
 {
-  input_line_pointer = s;
-  expression (op);
-  if (op->X_op == O_absent)
-    as_bad (_("missing operand"));
-  return input_line_pointer;
+  char * where = 0;
+  int rela = -1;
+  int i;
+  struct rcodes_s * cc = NULL;
+  struct hcodes_s * hc = NULL;
+
+  switch (fragP->fr_subtype)
+    {
+    case ENCODE_RELAX (STATE_UNCOND_BRANCH, STATE_BITS10):
+    case ENCODE_RELAX (STATE_SIMPLE_BRANCH, STATE_BITS10):
+    case ENCODE_RELAX (STATE_NOOV_BRANCH, STATE_BITS10):
+      /* We do not have to convert anything here.
+         Just apply a fix.  */
+      rela = BFD_RELOC_MSP430_10_PCREL;
+      break;
+
+    case ENCODE_RELAX (STATE_UNCOND_BRANCH, STATE_WORD):
+    case ENCODE_RELAX (STATE_UNCOND_BRANCH, STATE_UNDEF):
+      /* Convert uncond branch jmp lab -> br lab.  */
+      if (target_is_430x ())
+       cc = msp430x_rcodes + 7;
+      else
+       cc = msp430_rcodes + 7;
+      where = fragP->fr_literal + fragP->fr_fix;
+      bfd_putl16 (cc->lop0, where);
+      rela = BFD_RELOC_MSP430_RL_PCREL;
+      fragP->fr_fix += 2;
+      break;
+
+    case ENCODE_RELAX (STATE_SIMPLE_BRANCH, STATE_WORD):
+    case ENCODE_RELAX (STATE_SIMPLE_BRANCH, STATE_UNDEF):
+      {
+       /* Other simple branches.  */
+       int insn = bfd_getl16 (fragP->fr_opcode);
+
+       insn &= 0xffff;
+       /* Find actual instruction.  */
+       if (target_is_430x ())
+         {
+           for (i = 0; i < 7 && !cc; i++)
+             if (msp430x_rcodes[i].sop == insn)
+               cc = msp430x_rcodes + i;
+         }
+       else
+         {
+           for (i = 0; i < 7 && !cc; i++)
+             if (msp430_rcodes[i].sop == insn)
+               cc = & msp430_rcodes[i];
+         }
+
+       if (!cc || !cc->name)
+         as_fatal (_("internal inconsistency problem in %s: insn %04lx"),
+                   __FUNCTION__, (long) insn);
+       where = fragP->fr_literal + fragP->fr_fix;
+       bfd_putl16 (cc->lop0, where);
+       bfd_putl16 (cc->lop1, where + 2);
+       rela = BFD_RELOC_MSP430_RL_PCREL;
+       fragP->fr_fix += 4;
+      }
+      break;
+
+    case ENCODE_RELAX (STATE_NOOV_BRANCH, STATE_WORD):
+    case ENCODE_RELAX (STATE_NOOV_BRANCH, STATE_UNDEF):
+      if (target_is_430x ())
+       cc = msp430x_rcodes + 6;
+      else
+       cc = msp430_rcodes + 6;
+      where = fragP->fr_literal + fragP->fr_fix;
+      bfd_putl16 (cc->lop0, where);
+      bfd_putl16 (cc->lop1, where + 2);
+      bfd_putl16 (cc->lop2, where + 4);
+      rela = BFD_RELOC_MSP430_RL_PCREL;
+      fragP->fr_fix += 6;
+      break;
+
+    case ENCODE_RELAX (STATE_EMUL_BRANCH, STATE_BITS10):
+      {
+       int insn = bfd_getl16 (fragP->fr_opcode + 2);
+
+       insn &= 0xffff;
+       if (target_is_430x ())
+         {
+           for (i = 0; i < 4 && !hc; i++)
+             if (msp430x_hcodes[i].op1 == insn)
+               hc = msp430x_hcodes + i;
+         }
+       else
+         {
+           for (i = 0; i < 4 && !hc; i++)
+             if (msp430_hcodes[i].op1 == insn)
+               hc = &msp430_hcodes[i];
+         }
+       if (!hc || !hc->name)
+         as_fatal (_("internal inconsistency problem in %s: ext. insn %04lx"),
+             __FUNCTION__, (long) insn);
+       rela = BFD_RELOC_MSP430_10_PCREL;
+       /* Apply a fix for a first label if necessary.
+          another fix will be applied to the next word of insn anyway.  */
+       if (hc->tlab == 2)
+         fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
+                  fragP->fr_offset, TRUE, rela);
+       fragP->fr_fix += 2;
+      }
+
+      break;
+
+    case ENCODE_RELAX (STATE_EMUL_BRANCH, STATE_WORD):
+    case ENCODE_RELAX (STATE_EMUL_BRANCH, STATE_UNDEF):
+      {
+       int insn = bfd_getl16 (fragP->fr_opcode + 2);
+
+       insn &= 0xffff;
+       if (target_is_430x ())
+         {
+           for (i = 0; i < 4 && !hc; i++)
+             if (msp430x_hcodes[i].op1 == insn)
+               hc = msp430x_hcodes + i;
+         }
+       else
+         {
+           for (i = 0; i < 4 && !hc; i++)
+             if (msp430_hcodes[i].op1 == insn)
+               hc = & msp430_hcodes[i];
+         }
+       if (!hc || !hc->name)
+         as_fatal (_("internal inconsistency problem in %s: ext. insn %04lx"),
+             __FUNCTION__, (long) insn);
+       rela = BFD_RELOC_MSP430_RL_PCREL;
+       where = fragP->fr_literal + fragP->fr_fix;
+       bfd_putl16 (hc->lop0, where);
+       bfd_putl16 (hc->lop1, where + 2);
+       bfd_putl16 (hc->lop2, where + 4);
+       fragP->fr_fix += 6;
+      }
+      break;
+
+    default:
+      as_fatal (_("internal inconsistency problem in %s:  %lx"),
+               __FUNCTION__, (long) fragP->fr_subtype);
+      break;
+    }
+
+  /* Now apply fix.  */
+  fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
+          fragP->fr_offset, TRUE, rela);
+  /* Just fixed 2 bytes.  */
+  fragP->fr_fix += 2;
 }
 
 }
 
+/* Relax fragment. Mostly stolen from hc11 and mcore
+   which arches I think I know.  */
 
 
-int
-md_estimate_size_before_relax (fragp, seg)
-     fragS *fragp ATTRIBUTE_UNUSED;
-     asection *seg ATTRIBUTE_UNUSED;
+long
+msp430_relax_frag (segT seg ATTRIBUTE_UNUSED, fragS * fragP,
+                  long stretch ATTRIBUTE_UNUSED)
 {
 {
-  abort ();
-  return 0;
+  long growth;
+  offsetT aim = 0;
+  symbolS *symbolP;
+  const relax_typeS *this_type;
+  const relax_typeS *start_type;
+  relax_substateT next_state;
+  relax_substateT this_state;
+  const relax_typeS *table = md_relax_table;
+
+  /* Nothing to be done if the frag has already max size.  */
+  if (RELAX_STATE (fragP->fr_subtype) == STATE_UNDEF
+      || RELAX_STATE (fragP->fr_subtype) == STATE_WORD)
+    return 0;
+
+  if (RELAX_STATE (fragP->fr_subtype) == STATE_BITS10)
+    {
+      symbolP = fragP->fr_symbol;
+      if (symbol_resolved_p (symbolP))
+       as_fatal (_("internal inconsistency problem in %s: resolved symbol"),
+                 __FUNCTION__);
+      /* We know the offset. calculate a distance.  */
+      aim = S_GET_VALUE (symbolP) - fragP->fr_address - fragP->fr_fix;
+    }
+
+  if (!msp430_enable_relax)
+    {
+      /* Relaxation is not enabled. So, make all jump as long ones
+         by setting 'aim' to quite high value.  */
+      aim = 0x7fff;
+    }
+
+  this_state = fragP->fr_subtype;
+  start_type = this_type = table + this_state;
+
+  if (aim < 0)
+    {
+      /* Look backwards.  */
+      for (next_state = this_type->rlx_more; next_state;)
+       if (aim >= this_type->rlx_backward || !this_type->rlx_backward)
+         next_state = 0;
+       else
+         {
+           /* Grow to next state.  */
+           this_state = next_state;
+           this_type = table + this_state;
+           next_state = this_type->rlx_more;
+         }
+    }
+  else
+    {
+      /* Look forwards.  */
+      for (next_state = this_type->rlx_more; next_state;)
+       if (aim <= this_type->rlx_forward || !this_type->rlx_forward)
+         next_state = 0;
+       else
+         {
+           /* Grow to next state.  */
+           this_state = next_state;
+           this_type = table + this_state;
+           next_state = this_type->rlx_more;
+         }
+    }
+
+  growth = this_type->rlx_length - start_type->rlx_length;
+  if (growth != 0)
+    fragP->fr_subtype = this_state;
+  return growth;
+}
+
+/* Return FALSE if the fixup in fixp should be left alone and not
+   adjusted.   We return FALSE here so that linker relaxation will
+   work.  */
+
+bfd_boolean
+msp430_fix_adjustable (struct fix *fixp ATTRIBUTE_UNUSED)
+{
+  /* If the symbol is in a non-code section then it should be OK.  */
+  if (fixp->fx_addsy
+      && ((S_GET_SEGMENT (fixp->fx_addsy)->flags & SEC_CODE) == 0))
+    return TRUE;
+
+  return FALSE;
+}
+
+/* Set the contents of the .MSP430.attributes section.  */
+
+void
+msp430_md_end (void)
+{
+  if (check_for_nop == TRUE && warn_interrupt_nops)
+    as_warn ("assembly finished with the last instruction changing interrupt state - a NOP might be needed");
+
+  bfd_elf_add_proc_attr_int (stdoutput, OFBA_MSPABI_Tag_ISA,
+                            target_is_430x () ? 2 : 1);
+
+  bfd_elf_add_proc_attr_int (stdoutput, OFBA_MSPABI_Tag_Code_Model,
+                            large_model ? 2 : 1);
+
+  bfd_elf_add_proc_attr_int (stdoutput, OFBA_MSPABI_Tag_Data_Model,
+                            large_model ? 2 : 1);
+}
+
+/* Returns FALSE if there is a msp430 specific reason why the
+   subtraction of two same-section symbols cannot be computed by
+   the assembler.  */
+
+bfd_boolean
+msp430_allow_local_subtract (expressionS * left,
+                            expressionS * right,
+                            segT section)
+{
+  /* If the symbols are not in a code section then they are OK.  */
+  if ((section->flags & SEC_CODE) == 0)
+    return TRUE;
+
+  if (S_IS_GAS_LOCAL (left->X_add_symbol) || S_IS_GAS_LOCAL (right->X_add_symbol))
+    return TRUE;
+
+  if (left->X_add_symbol == right->X_add_symbol)
+    return TRUE;
+
+  /* We have to assume that there may be instructions between the
+     two symbols and that relaxation may increase the distance between
+     them.  */
+  return FALSE;
 }
 }