Fix copyright notices
[deliverable/binutils-gdb.git] / gas / config / tc-m68k.c
index f1cb10bdd2d2eb0d252c7f86af792d85fd33f4b3..6fa019cc278f5f98bfa2b1a029e9bddf37469a33 100644 (file)
@@ -1,5 +1,7 @@
 /* tc-m68k.c -- Assemble for the m68k family
-   Copyright (C) 1987, 91, 92, 93, 94, 1995 Free Software Foundation, Inc.
+   Copyright 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
+   2000, 2001
+   Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
    02111-1307, USA.  */
 
 #include <ctype.h>
-#define  NO_RELOC 0
 #include "as.h"
 #include "obstack.h"
+#include "subsegs.h"
 
 #include "opcode/m68k.h"
 #include "m68k-parse.h"
 
-/* This array holds the chars that always start a comment.  If the
-   pre-processor is disabled, these aren't very useful */
-#ifdef OBJ_ELF
-CONST char comment_chars[] = "|#";
+#if defined (OBJ_ELF)
+#include "elf/m68k.h"
+#endif
+
+/* This string holds the chars that always start a comment.  If the
+   pre-processor is disabled, these aren't very useful.  The macro
+   tc_comment_chars points to this.  We use this, rather than the
+   usual comment_chars, so that the --bitwise-or option will work.  */
+#if defined (TE_SVR4) || defined (TE_DELTA)
+const char *m68k_comment_chars = "|#";
 #else
-CONST char comment_chars[] = "|";
+const char *m68k_comment_chars = "|";
 #endif
 
 /* This array holds the chars that only start a comment at the beginning of
@@ -39,11 +47,11 @@ CONST char comment_chars[] = "|";
    .line and .file directives will appear in the pre-processed output */
 /* Note that input_file.c hand checks for '#' at the beginning of the
    first line of the input file.  This is because the compiler outputs
-   #NO_APP at the beginning of its output. */
-/* Also note that comments like this one will always work. */
-CONST char line_comment_chars[] = "#";
+   #NO_APP at the beginning of its output.  */
+/* Also note that comments like this one will always work.  */
+const char line_comment_chars[] = "#*";
 
-CONST char line_separator_chars[] = "";
+const char line_separator_chars[] = ";";
 
 /* Chars that can be used to separate mant from exp in floating point nums */
 CONST char EXP_CHARS[] = "eE";
@@ -61,11 +69,13 @@ const int md_reloc_size = 8;        /* Size of relocation record */
 
 /* Are we trying to generate PIC code?  If so, absolute references
    ought to be made into linkage table references or pc-relative
-   references.  */
+   references.  Not implemented.  For ELF there are other means
+   to denote pic relocations.  */
 int flag_want_pic;
 
 static int flag_short_refs;    /* -l option */
 static int flag_long_jumps;    /* -S option */
+static int flag_keep_pcrel;    /* --pcrel option.  */
 
 #ifdef REGISTER_PREFIX_OPTIONAL
 int flag_reg_prefix_optional = REGISTER_PREFIX_OPTIONAL;
@@ -73,6 +83,9 @@ int flag_reg_prefix_optional = REGISTER_PREFIX_OPTIONAL;
 int flag_reg_prefix_optional;
 #endif
 
+/* Whether --register-prefix-optional was used on the command line.  */
+static int reg_prefix_optional_seen;
+
 /* The floating point coprocessor to use by default.  */
 static enum m68k_register m68k_float_copnum = COP1;
 
@@ -89,39 +102,38 @@ static int m68k_quick = 1;
    be 32 bits.  */
 static int m68k_rel32 = 1;
 
+/* This is non-zero if m68k_rel32 was set from the command line.  */
+static int m68k_rel32_from_cmdline;
+
+/* The default width to use for an index register when using a base
+   displacement.  */
+static enum m68k_size m68k_index_width_default = SIZE_LONG;
+
+/* We want to warn if any text labels are misaligned.  In order to get
+   the right line number, we need to record the line number for each
+   label.  */
+
+struct label_line
+{
+  struct label_line *next;
+  symbolS *label;
+  char *file;
+  unsigned int line;
+  int text;
+};
+
+/* The list of labels.  */
+
+static struct label_line *labels;
+
+/* The current label.  */
+
+static struct label_line *current_label;
+
 /* Its an arbitrary name:  This means I don't approve of it */
 /* See flames below */
 static struct obstack robyn;
 
-#define TAB(x,y)       (((x)<<2)+(y))
-#define TABTYPE(xy)     ((xy) >> 2)
-#define BYTE           0
-#define SHORT          1
-#define LONG           2
-#define SZ_UNDEF       3
-#undef BRANCH
-/* Case `g' except when BCC68000 is applicable.  */
-#define ABRANCH                1
-/* Coprocessor branches.  */
-#define FBRANCH                2
-/* Mode 7.2 -- program counter indirect with (16-bit) displacement,
-   supported on all cpus.  Widens to 32-bit absolute.  */
-#define PCREL          3
-/* For inserting an extra jmp instruction with long offset on 68000,
-   for expanding conditional branches.  (Not bsr or bra.)  Since the
-   68000 doesn't support 32-bit displacements for conditional
-   branches, we fake it by reversing the condition and branching
-   around a jmp with an absolute long operand.  */
-#define BCC68000        4
-/* For the DBcc "instructions".  If the displacement requires 32 bits,
-   the branch-around-a-jump game is played here too.  */
-#define DBCC            5
-/* Not currently used?  */
-#define PCLEA          6
-/* Mode AINDX (apc-relative) using PC, with variable target, might fit
-   in 16 or 8 bits.  */
-#define PCINDEX                7
-
 struct m68k_incant
   {
     const char *m_operands;
@@ -154,6 +166,11 @@ static const enum m68k_register m68060_control_regs[] = {
   USP, VBR, URP, SRP, PCR,
   0
 };
+static const enum m68k_register mcf_control_regs[] = {
+  CACR, TC, ITT0, ITT1, DTT0, DTT1, VBR, ROMBAR,
+  RAMBAR0, RAMBAR1, MBAR,
+  0
+};
 #define cpu32_control_regs m68010_control_regs
 
 static const enum m68k_register *control_regs;
@@ -178,7 +195,7 @@ struct m68k_it
     {
       int fragoff;             /* Where in the current opcode the frag ends */
       symbolS *fadd;
-      long foff;
+      offsetT foff;
       int fragty;
     }
   fragb[4];
@@ -198,13 +215,22 @@ struct m68k_it
         significance of some values (in the branch instruction, for
         example).  */
       int pcrel_fix;
+#ifdef OBJ_ELF
+      /* Whether this expression needs special pic relocation, and if
+        so, which.  */
+      enum pic_relocation pic_reloc;
+#endif
     }
   reloc[5];                    /* Five is enough??? */
 };
 
-#define cpu_of_arch(x)         ((x) & m68000up)
+#define cpu_of_arch(x)         ((x) & (m68000up|mcf))
 #define float_of_arch(x)       ((x) & mfloat)
 #define mmu_of_arch(x)         ((x) & mmmu)
+#define arch_coldfire_p(x)     (((x) & mcf) != 0)
+
+/* Macros for determining if cpu supports a specific addressing mode */
+#define HAVE_LONG_BRANCH(x)     ((x) & (m68020|m68030|m68040|m68060|cpu32|mcf5407))
 
 static struct m68k_it the_ins; /* the instruction being assembled */
 
@@ -217,11 +243,17 @@ static struct m68k_it the_ins;    /* the instruction being assembled */
 
 #define addword(w)     the_ins.opcode[the_ins.numo++]=(w)
 
+/* Static functions.  */
+
+static void insop PARAMS ((int, const struct m68k_incant *));
+static void add_fix PARAMS ((int, struct m68k_exp *, int, int));
+static void add_frag PARAMS ((symbolS *, offsetT, int));
+
 /* Like addword, but goes BEFORE general operands */
 static void
 insop (w, opcode)
      int w;
-     struct m68k_incant *opcode;
+     const struct m68k_incant *opcode;
 {
   int z;
   for(z=the_ins.numo;z>opcode->m_codenum;--z)
@@ -238,12 +270,12 @@ insop (w, opcode)
    Blecch.  */
 static void
 add_fix (width, exp, pc_rel, pc_fix)
-     char width;
+     int width;
      struct m68k_exp *exp;
      int pc_rel;
      int pc_fix;
 {
-  the_ins.reloc[the_ins.nrel].n = (((width)=='B')
+  the_ins.reloc[the_ins.nrel].n = ((width == 'B' || width == '3')
                                   ? (the_ins.numo*2-1)
                                   : (((width)=='b')
                                      ? (the_ins.numo*2+1)
@@ -251,6 +283,9 @@ add_fix (width, exp, pc_rel, pc_fix)
   the_ins.reloc[the_ins.nrel].exp = exp->exp;
   the_ins.reloc[the_ins.nrel].wid = width;
   the_ins.reloc[the_ins.nrel].pcrel_fix = pc_fix;
+#ifdef OBJ_ELF
+  the_ins.reloc[the_ins.nrel].pic_reloc = exp->pic_reloc;
+#endif
   the_ins.reloc[the_ins.nrel++].pcrel = pc_rel;
 }
 
@@ -265,9 +300,9 @@ add_fix (width, exp, pc_rel, pc_fix)
 
    ADD becomes the FR_SYMBOL field of the frag, and OFF the FR_OFFSET.  */
 static void
-add_frag(add,off,type)
+add_frag (add, off, type)
      symbolS *add;
-     long off;
+     offsetT off;
      int type;
 {
   the_ins.fragb[the_ins.nfrag].fragoff=the_ins.numo;
@@ -281,6 +316,10 @@ add_frag(add,off,type)
 
 static char *crack_operand PARAMS ((char *str, struct m68k_op *opP));
 static int get_num PARAMS ((struct m68k_exp *exp, int ok));
+static void m68k_ip PARAMS ((char *));
+static void insert_reg PARAMS ((const char *, int));
+static void select_control_regs PARAMS ((void));
+static void init_regtable PARAMS ((void));
 static int reverse_16_bits PARAMS ((int in));
 static int reverse_8_bits PARAMS ((int in));
 static void install_gen_operand PARAMS ((int mode, int val));
@@ -297,51 +336,132 @@ static void s_opt PARAMS ((int));
 static void s_reg PARAMS ((int));
 static void s_restore PARAMS ((int));
 static void s_save PARAMS ((int));
+static void s_mri_if PARAMS ((int));
+static void s_mri_else PARAMS ((int));
+static void s_mri_endi PARAMS ((int));
+static void s_mri_break PARAMS ((int));
+static void s_mri_next PARAMS ((int));
+static void s_mri_for PARAMS ((int));
+static void s_mri_endf PARAMS ((int));
+static void s_mri_repeat PARAMS ((int));
+static void s_mri_until PARAMS ((int));
+static void s_mri_while PARAMS ((int));
+static void s_mri_endw PARAMS ((int));
+static void md_apply_fix_2 PARAMS ((fixS *, offsetT));
+static void md_convert_frag_1 PARAMS ((fragS *));
 
 static int current_architecture;
 
-struct m68k_cpu {
-  unsigned long arch;
-  const char *name;
-};
+struct m68k_cpu
+  {
+    unsigned long arch;
+    const char *name;
+    int alias;
+  };
 
-static const struct m68k_cpu archs[] = {
-  { m68000, "68000" },
-  { m68010, "68010" },
-  { m68020, "68020" },
-  { m68030, "68030" },
-  { m68040, "68040" },
-  { m68060, "68060" },
-  { cpu32,  "cpu32" },
-  { m68881, "68881" },
-  { m68851, "68851" },
-  /* Aliases (effectively, so far as gas is concerned) for the above
-     cpus.  */
-  { m68020, "68k" },
-  { m68000, "68302" },
-  { m68000, "68008" },
-  { m68000, "68ec000" },
-  { m68000, "68hc000" },
-  { m68000, "68hc001" },
-  { m68020, "68ec020" },
-  { m68030, "68ec030" },
-  { m68040, "68ec040" },
-  { cpu32,  "68330" },
-  { cpu32,  "68331" },
-  { cpu32,  "68332" },
-  { cpu32,  "68333" },
-  { cpu32,  "68340" },
-  { cpu32,  "68360" },
-  { m68881, "68882" },
-};
+static const struct m68k_cpu archs[] =
+  {
+    { m68000, "68000", 0 },
+    { m68010, "68010", 0 },
+    { m68020, "68020", 0 },
+    { m68030, "68030", 0 },
+    { m68040, "68040", 0 },
+    { m68060, "68060", 0 },
+    { cpu32,  "cpu32", 0 },
+    { m68881, "68881", 0 },
+    { m68851, "68851", 0 },
+    { mcf5200, "5200", 0 },
+    { mcf5206e, "5206e", 0 },
+    { mcf5307, "5307", 0},
+    { mcf5407, "5407", 0},
+    /* Aliases (effectively, so far as gas is concerned) for the above
+       cpus.  */
+    { m68020, "68k", 1 },
+    { m68000, "68008", 1 },
+    { m68000, "68302", 1 },
+    { m68000, "68306", 1 },
+    { m68000, "68307", 1 },
+    { m68000, "68322", 1 },
+    { m68000, "68356", 1 },
+    { m68000, "68ec000", 1 },
+    { m68000, "68hc000", 1 },
+    { m68000, "68hc001", 1 },
+    { m68020, "68ec020", 1 },
+    { m68030, "68ec030", 1 },
+    { m68040, "68ec040", 1 },
+    { m68060, "68ec060", 1 },
+    { cpu32,  "68330", 1 },
+    { cpu32,  "68331", 1 },
+    { cpu32,  "68332", 1 },
+    { cpu32,  "68333", 1 },
+    { cpu32,  "68334", 1 },
+    { cpu32,  "68336", 1 },
+    { cpu32,  "68340", 1 },
+    { cpu32,  "68341", 1 },
+    { cpu32,  "68349", 1 },
+    { cpu32,  "68360", 1 },
+    { m68881, "68882", 1 },
+    { mcf5200, "5202", 1 },
+    { mcf5200, "5204", 1 },
+    { mcf5200, "5206", 1 },
+  };
 
 static const int n_archs = sizeof (archs) / sizeof (archs[0]);
 
-/* BCC68000 is for patching in an extra jmp instruction for long offsets
-   on the 68000.  The 68000 doesn't support long branches with branchs */
+/* This is the assembler relaxation table for m68k. m68k is a rich CISC
+   architecture and we have a lot of relaxation modes.  */
+
+/* Macros used in the relaxation code.  */
+#define TAB(x,y)       (((x) << 2) + (y))
+#define TABTYPE(x)      ((x) >> 2)
+
+/* Relaxation states.  */
+#define BYTE           0
+#define SHORT          1
+#define LONG           2
+#define SZ_UNDEF       3
 
-/* This table desribes how you change sizes for the various types of variable
-   size expressions.  This version only supports two kinds. */
+/* Here are all the relaxation modes we support.  First we can relax ordinary
+   branches.  On 68020 and higher and on CPU32 all branch instructions take
+   three forms, so on these CPUs all branches always remain as such.  When we
+   have to expand to the LONG form on a 68000, though, we substitute an
+   absolute jump instead.  This is a direct replacement for unconditional
+   branches and a branch over a jump for conditional branches.  However, if the
+   user requires PIC and disables this with --pcrel, we can only relax between
+   BYTE and SHORT forms, punting if that isn't enough.  This gives us four
+   different relaxation modes for branches:  */
+
+#define BRANCHBWL      1       /* branch byte, word, or long */
+#define BRABSJUNC      2       /* absolute jump for LONG, unconditional */
+#define BRABSJCOND     3       /* absolute jump for LONG, conditional */
+#define BRANCHBW       4       /* branch byte or word */
+
+/* We also relax coprocessor branches and DBcc's.  All CPUs that support
+   coprocessor branches support them in word and long forms, so we have only
+   one relaxation mode for them.  DBcc's are word only on all CPUs.  We can
+   relax them to the LONG form with a branch-around sequence.  This sequence
+   can use a long branch (if available) or an absolute jump (if acceptable).
+   This gives us two relaxation modes.  If long branches are not available and
+   absolute jumps are not acceptable, we don't relax DBcc's.  */
+
+#define FBRANCH                5       /* coprocessor branch */
+#define DBCCLBR                6       /* DBcc relaxable with a long branch */
+#define DBCCABSJ       7       /* DBcc relaxable with an absolute jump */
+
+/* That's all for instruction relaxation.  However, we also relax PC-relative
+   operands.  Specifically, we have three operand relaxation modes.  On the
+   68000 PC-relative operands can only be 16-bit, but on 68020 and higher and
+   on CPU32 they may be 16-bit or 32-bit.  For the latter we relax between the
+   two.  Also PC+displacement+index operands in their simple form (with a non-
+   suppressed index without memory indirection) are supported on all CPUs, but
+   on the 68000 the displacement can be 8-bit only, whereas on 68020 and higher
+   and on CPU32 we relax it to SHORT and LONG forms as well using the extended
+   form of the PC+displacement+index operand.  Finally, some absolute operands
+   can be relaxed down to 16-bit PC-relative.  */
+
+#define PCREL1632      8       /* 16-bit or 32-bit PC-relative */
+#define PCINDEX                9       /* PC+displacement+index */
+#define ABSTOPCREL     10      /* absolute relax down to 16-bit PC-relative */
 
 /* Note that calls to frag_var need to specify the maximum expansion
    needed; this is currently 10 bytes for DBCC.  */
@@ -359,41 +479,55 @@ relax_typeS md_relax_table[] =
   {1, 1, 0, 0},                        /* that the VAX doesn't either */
   {1, 1, 0, 0},
 
-  {(127), (-128), 0, TAB (ABRANCH, SHORT)},
-  {(32767), (-32768), 2, TAB (ABRANCH, LONG)},
+  {(127), (-128), 0, TAB (BRANCHBWL, SHORT)},
+  {(32767), (-32768), 2, TAB (BRANCHBWL, LONG)},
   {0, 0, 4, 0},
   {1, 1, 0, 0},
 
-  {1, 1, 0, 0},                        /* FBRANCH doesn't come BYTE */
-  {(32767), (-32768), 2, TAB (FBRANCH, LONG)},
+  {(127), (-128), 0, TAB (BRABSJUNC, SHORT)},
+  {(32767), (-32768), 2, TAB (BRABSJUNC, LONG)},
   {0, 0, 4, 0},
   {1, 1, 0, 0},
 
-  {1, 1, 0, 0},                        /* PCREL doesn't come BYTE */
-  {(32767), (-32768), 2, TAB (PCREL, LONG)},
+  {(127), (-128), 0, TAB (BRABSJCOND, SHORT)},
+  {(32767), (-32768), 2, TAB (BRABSJCOND, LONG)},
+  {0, 0, 6, 0},
+  {1, 1, 0, 0},
+
+  {(127), (-128), 0, TAB (BRANCHBW, SHORT)},
+  {0, 0, 2, 0},
+  {1, 1, 0, 0},
+  {1, 1, 0, 0},
+
+  {1, 1, 0, 0},                        /* FBRANCH doesn't come BYTE */
+  {(32767), (-32768), 2, TAB (FBRANCH, LONG)},
   {0, 0, 4, 0},
   {1, 1, 0, 0},
 
-  {(127), (-128), 0, TAB (BCC68000, SHORT)},
-  {(32767), (-32768), 2, TAB (BCC68000, LONG)},
-  {0, 0, 6, 0},                        /* jmp long space */
+  {1, 1, 0, 0},                        /* DBCC doesn't come BYTE */
+  {(32767), (-32768), 2, TAB (DBCCLBR, LONG)},
+  {0, 0, 10, 0},
   {1, 1, 0, 0},
 
   {1, 1, 0, 0},                        /* DBCC doesn't come BYTE */
-  {(32767), (-32768), 2, TAB (DBCC, LONG)},
-  {0, 0, 10, 0},               /* bra/jmp long space */
+  {(32767), (-32768), 2, TAB (DBCCABSJ, LONG)},
+  {0, 0, 10, 0},
   {1, 1, 0, 0},
 
-  {1, 1, 0, 0},                        /* PCLEA doesn't come BYTE */
-  {32767, -32768, 2, TAB (PCLEA, LONG)},
+  {1, 1, 0, 0},                        /* PCREL1632 doesn't come BYTE */
+  {32767, -32768, 2, TAB (PCREL1632, LONG)},
   {0, 0, 6, 0},
   {1, 1, 0, 0},
 
-  /* For, e.g., jmp pcrel indexed.  */
   {125, -130, 0, TAB (PCINDEX, SHORT)},
   {32765, -32770, 2, TAB (PCINDEX, LONG)},
   {0, 0, 4, 0},
   {1, 1, 0, 0},
+
+  {1, 1, 0, 0},                        /* ABSTOPCREL doesn't come BYTE */
+  {(32767), (-32768), 2, TAB (ABSTOPCREL, LONG)},
+  {0, 0, 4, 0},
+  {1, 1, 0, 0},
 };
 
 /* These are the machine dependent pseudo-ops.  These are included so
@@ -407,7 +541,7 @@ relax_typeS md_relax_table[] =
    function to call to execute this pseudo-op
    Integer arg to pass to the function
    */
-CONST pseudo_typeS md_pseudo_table[] =
+const pseudo_typeS md_pseudo_table[] =
 {
   {"data1", s_data1, 0},
   {"data2", s_data2, 0},
@@ -415,12 +549,14 @@ CONST pseudo_typeS md_pseudo_table[] =
   {"even", s_even, 0},
   {"skip", s_space, 0},
   {"proc", s_proc, 0},
-#ifdef TE_SUN3
+#if defined (TE_SUN3) || defined (OBJ_ELF)
   {"align", s_align_bytes, 0},
 #endif
 #ifdef OBJ_ELF
   {"swbeg", s_ignore, 0},
 #endif
+  {"extend", float_cons, 'x'},
+  {"ldouble", float_cons, 'x'},
 
   /* The following pseudo-ops are supported for MRI compatibility.  */
   {"chip", s_chip, 0},
@@ -432,14 +568,46 @@ CONST pseudo_typeS md_pseudo_table[] =
   {"restore", s_restore, 0},
   {"save", s_save, 0},
 
+  {"if", s_mri_if, 0},
+  {"if.b", s_mri_if, 'b'},
+  {"if.w", s_mri_if, 'w'},
+  {"if.l", s_mri_if, 'l'},
+  {"else", s_mri_else, 0},
+  {"else.s", s_mri_else, 's'},
+  {"else.l", s_mri_else, 'l'},
+  {"endi", s_mri_endi, 0},
+  {"break", s_mri_break, 0},
+  {"break.s", s_mri_break, 's'},
+  {"break.l", s_mri_break, 'l'},
+  {"next", s_mri_next, 0},
+  {"next.s", s_mri_next, 's'},
+  {"next.l", s_mri_next, 'l'},
+  {"for", s_mri_for, 0},
+  {"for.b", s_mri_for, 'b'},
+  {"for.w", s_mri_for, 'w'},
+  {"for.l", s_mri_for, 'l'},
+  {"endf", s_mri_endf, 0},
+  {"repeat", s_mri_repeat, 0},
+  {"until", s_mri_until, 0},
+  {"until.b", s_mri_until, 'b'},
+  {"until.w", s_mri_until, 'w'},
+  {"until.l", s_mri_until, 'l'},
+  {"while", s_mri_while, 0},
+  {"while.b", s_mri_while, 'b'},
+  {"while.w", s_mri_while, 'w'},
+  {"while.l", s_mri_while, 'l'},
+  {"endw", s_mri_endw, 0},
+
   {0, 0, 0}
 };
 
-
 /* The mote pseudo ops are put into the opcode table, since they
    don't start with a . they look like opcodes to gas.
    */
-extern void obj_coff_section ();
+
+#ifdef M68KCOFF
+extern void obj_coff_section PARAMS ((int));
+#endif
 
 CONST pseudo_typeS mote_pseudo_table[] =
 {
@@ -455,7 +623,11 @@ CONST pseudo_typeS mote_pseudo_table[] =
   {"dsb", s_space, 1},
 
   {"xdef", s_globl, 0},
+#ifdef OBJ_ELF
+  {"align", s_align_bytes, 0},
+#else
   {"align", s_align_ptwo, 0},
+#endif
 #ifdef M68KCOFF
   {"sect", obj_coff_section, 0},
   {"section", obj_coff_section, 0},
@@ -469,13 +641,13 @@ CONST pseudo_typeS mote_pseudo_table[] =
 #define isuword(x)     ((x)>=0 && (x)<=65535)
 
 #define isbyte(x)      ((x)>= -255 && (x)<=255)
-#define isword(x)      ((x)>=-32768 && (x)<=65535)
+#define isword(x)      ((x)>=-65536 && (x)<=65535)
 #define islong(x)      (1)
 
 extern char *input_line_pointer;
 
 static char mklower_table[256];
-#define mklower(c) (mklower_table[(unsigned char)(c)])
+#define mklower(c) (mklower_table[(unsigned char) (c)])
 static char notend_table[256];
 static char alt_notend_table[256];
 #define notend(s)                                              \
@@ -509,7 +681,7 @@ make_pcrel_absolute(fixP, add_number)
       opcode[1] = 0xb9;
     }
   else
-    as_fatal ("Unknown PC relative instruction");
+    as_fatal (_("Unknown PC relative instruction"));
   *add_number -= 4;
   return 0;
 }
@@ -520,6 +692,8 @@ short
 tc_coff_fix2rtype (fixP)
      fixS *fixP;
 {
+  if (fixP->fx_tcbit && fixP->fx_size == 4)
+    return R_RELLONG_NEG;
 #ifdef NO_PCREL_RELOCS
   know (fixP->fx_pcrel == 0);
   return (fixP->fx_size == 1 ? R_RELBYTE
@@ -538,6 +712,162 @@ tc_coff_fix2rtype (fixP)
 
 #endif
 
+#ifdef OBJ_ELF
+
+/* Compute the relocation code for a fixup of SIZE bytes, using pc
+   relative relocation if PCREL is non-zero.  PIC says whether a special
+   pic relocation was requested.  */
+
+static bfd_reloc_code_real_type get_reloc_code
+  PARAMS ((int, int, enum pic_relocation));
+
+static bfd_reloc_code_real_type
+get_reloc_code (size, pcrel, pic)
+     int size;
+     int pcrel;
+     enum pic_relocation pic;
+{
+  switch (pic)
+    {
+    case pic_got_pcrel:
+      switch (size)
+       {
+       case 1:
+         return BFD_RELOC_8_GOT_PCREL;
+       case 2:
+         return BFD_RELOC_16_GOT_PCREL;
+       case 4:
+         return BFD_RELOC_32_GOT_PCREL;
+       }
+      break;
+
+    case pic_got_off:
+      switch (size)
+       {
+       case 1:
+         return BFD_RELOC_8_GOTOFF;
+       case 2:
+         return BFD_RELOC_16_GOTOFF;
+       case 4:
+         return BFD_RELOC_32_GOTOFF;
+       }
+      break;
+
+    case pic_plt_pcrel:
+      switch (size)
+       {
+       case 1:
+         return BFD_RELOC_8_PLT_PCREL;
+       case 2:
+         return BFD_RELOC_16_PLT_PCREL;
+       case 4:
+         return BFD_RELOC_32_PLT_PCREL;
+       }
+      break;
+
+    case pic_plt_off:
+      switch (size)
+       {
+       case 1:
+         return BFD_RELOC_8_PLTOFF;
+       case 2:
+         return BFD_RELOC_16_PLTOFF;
+       case 4:
+         return BFD_RELOC_32_PLTOFF;
+       }
+      break;
+
+    case pic_none:
+      if (pcrel)
+       {
+         switch (size)
+           {
+           case 1:
+             return BFD_RELOC_8_PCREL;
+           case 2:
+             return BFD_RELOC_16_PCREL;
+           case 4:
+             return BFD_RELOC_32_PCREL;
+           }
+       }
+      else
+       {
+         switch (size)
+           {
+           case 1:
+             return BFD_RELOC_8;
+           case 2:
+             return BFD_RELOC_16;
+           case 4:
+             return BFD_RELOC_32;
+           }
+       }
+    }
+
+  if (pcrel)
+    {
+      if (pic == pic_none)
+       as_bad (_("Can not do %d byte pc-relative relocation"), size);
+      else
+       as_bad (_("Can not do %d byte pc-relative pic relocation"), size);
+    }
+  else
+    {
+      if (pic == pic_none)
+       as_bad (_("Can not do %d byte relocation"), size);
+      else
+       as_bad (_("Can not do %d byte pic relocation"), size);
+    }
+
+  return BFD_RELOC_NONE;
+}
+
+/* Here we decide which fixups can be adjusted to make them relative
+   to the beginning of the section instead of the symbol.  Basically
+   we need to make sure that the dynamic relocations are done
+   correctly, so in some cases we force the original symbol to be
+   used.  */
+int
+tc_m68k_fix_adjustable (fixP)
+     fixS *fixP;
+{
+  /* Prevent all adjustments to global symbols.  */
+  if (S_IS_EXTERNAL (fixP->fx_addsy)
+      || S_IS_WEAK (fixP->fx_addsy))
+    return 0;
+
+  /* adjust_reloc_syms doesn't know about the GOT */
+  switch (fixP->fx_r_type)
+    {
+    case BFD_RELOC_8_GOT_PCREL:
+    case BFD_RELOC_16_GOT_PCREL:
+    case BFD_RELOC_32_GOT_PCREL:
+    case BFD_RELOC_8_GOTOFF:
+    case BFD_RELOC_16_GOTOFF:
+    case BFD_RELOC_32_GOTOFF:
+    case BFD_RELOC_8_PLT_PCREL:
+    case BFD_RELOC_16_PLT_PCREL:
+    case BFD_RELOC_32_PLT_PCREL:
+    case BFD_RELOC_8_PLTOFF:
+    case BFD_RELOC_16_PLTOFF:
+    case BFD_RELOC_32_PLTOFF:
+      return 0;
+
+    case BFD_RELOC_VTABLE_INHERIT:
+    case BFD_RELOC_VTABLE_ENTRY:
+      return 0;
+
+    default:
+      return 1;
+    }
+}
+
+#else /* !OBJ_ELF */
+
+#define get_reloc_code(SIZE,PCREL,OTHER) NO_RELOC
+
+#endif /* OBJ_ELF */
+
 #ifdef BFD_ASSEMBLER
 
 arelent *
@@ -548,28 +878,101 @@ tc_gen_reloc (section, fixp)
   arelent *reloc;
   bfd_reloc_code_real_type code;
 
-#define F(SZ,PCREL)            (((SZ) << 1) + (PCREL))
-  switch (F (fixp->fx_size, fixp->fx_pcrel))
+  /* If the tcbit is set, then this was a fixup of a negative value
+     that was never resolved.  We do not have a reloc to handle this,
+     so just return.  We assume that other code will have detected this
+     situation and produced a helpful error message, so we just tell the
+     user that the reloc cannot be produced.  */
+  if (fixp->fx_tcbit)
+    {
+      if (fixp->fx_addsy)
+       as_bad (_("Unable to produce reloc against symbol '%s'"),
+               S_GET_NAME (fixp->fx_addsy));
+      return NULL;
+    }
+
+  if (fixp->fx_r_type != BFD_RELOC_NONE)
+    {
+      code = fixp->fx_r_type;
+
+      /* Since DIFF_EXPR_OK is defined in tc-m68k.h, it is possible
+         that fixup_segment converted a non-PC relative reloc into a
+         PC relative reloc.  In such a case, we need to convert the
+         reloc code.  */
+      if (fixp->fx_pcrel)
+       {
+         switch (code)
+           {
+           case BFD_RELOC_8:
+             code = BFD_RELOC_8_PCREL;
+             break;
+           case BFD_RELOC_16:
+             code = BFD_RELOC_16_PCREL;
+             break;
+           case BFD_RELOC_32:
+             code = BFD_RELOC_32_PCREL;
+             break;
+           case BFD_RELOC_8_PCREL:
+           case BFD_RELOC_16_PCREL:
+           case BFD_RELOC_32_PCREL:
+           case BFD_RELOC_8_GOT_PCREL:
+           case BFD_RELOC_16_GOT_PCREL:
+           case BFD_RELOC_32_GOT_PCREL:
+           case BFD_RELOC_8_GOTOFF:
+           case BFD_RELOC_16_GOTOFF:
+           case BFD_RELOC_32_GOTOFF:
+           case BFD_RELOC_8_PLT_PCREL:
+           case BFD_RELOC_16_PLT_PCREL:
+           case BFD_RELOC_32_PLT_PCREL:
+           case BFD_RELOC_8_PLTOFF:
+           case BFD_RELOC_16_PLTOFF:
+           case BFD_RELOC_32_PLTOFF:
+             break;
+           default:
+             as_bad_where (fixp->fx_file, fixp->fx_line,
+                           _("Cannot make %s relocation PC relative"),
+                           bfd_get_reloc_code_name (code));
+           }
+       }
+    }
+  else
     {
+#define F(SZ,PCREL)            (((SZ) << 1) + (PCREL))
+      switch (F (fixp->fx_size, fixp->fx_pcrel))
+       {
 #define MAP(SZ,PCREL,TYPE)     case F(SZ,PCREL): code = (TYPE); break
-      MAP (1, 0, BFD_RELOC_8);
-      MAP (2, 0, BFD_RELOC_16);
-      MAP (4, 0, BFD_RELOC_32);
-      MAP (1, 1, BFD_RELOC_8_PCREL);
-      MAP (2, 1, BFD_RELOC_16_PCREL);
-      MAP (4, 1, BFD_RELOC_32_PCREL);
-    default:
-      abort ();
+         MAP (1, 0, BFD_RELOC_8);
+         MAP (2, 0, BFD_RELOC_16);
+         MAP (4, 0, BFD_RELOC_32);
+         MAP (1, 1, BFD_RELOC_8_PCREL);
+         MAP (2, 1, BFD_RELOC_16_PCREL);
+         MAP (4, 1, BFD_RELOC_32_PCREL);
+       default:
+         abort ();
+       }
     }
+#undef F
+#undef MAP
 
-  reloc = (arelent *) bfd_alloc_by_size_t (stdoutput, sizeof (arelent));
-  assert (reloc != 0);
-  reloc->sym_ptr_ptr = &fixp->fx_addsy->bsym;
+  reloc = (arelent *) xmalloc (sizeof (arelent));
+  reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
+  *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
   reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
+#ifndef OBJ_ELF
   if (fixp->fx_pcrel)
     reloc->addend = fixp->fx_addnumber;
   else
     reloc->addend = 0;
+#else
+  if (!fixp->fx_pcrel)
+    reloc->addend = fixp->fx_addnumber;
+  else
+    reloc->addend = (section->vma
+                    + (fixp->fx_pcrel_adjust == 64
+                       ? -1 : fixp->fx_pcrel_adjust)
+                    + fixp->fx_addnumber
+                    + md_pcrel_from (fixp));
+#endif
 
   reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
   assert (reloc->howto != 0);
@@ -579,19 +982,40 @@ tc_gen_reloc (section, fixp)
 
 #endif /* BFD_ASSEMBLER */
 
+/* Return zero if the reference to SYMBOL from within the same segment may
+   be relaxed.  */
+#ifdef OBJ_ELF
+
+/* On an ELF system, we can't relax an externally visible symbol,
+   because it may be overridden by a shared library.  However, if
+   TARGET_OS is "elf", then we presume that we are assembling for an
+   embedded system, in which case we don't have to worry about shared
+   libraries, and we can relax anything.  */
+
+#define relaxable_symbol(symbol)               \
+  (strcmp (TARGET_OS, "elf") == 0              \
+   || (! S_IS_EXTERNAL (symbol)                        \
+       && ! S_IS_WEAK (symbol)))
+
+#else
+
+#define relaxable_symbol(symbol) 1
+
+#endif
+
 /* Handle of the OPCODE hash table.  NULL means any use before
    m68k_ip_begin() will crash.  */
 static struct hash_control *op_hash;
 \f
 /* Assemble an m68k instruction.  */
 
-void
+static void
 m68k_ip (instring)
      char *instring;
 {
   register char *p;
   register struct m68k_op *opP;
-  register struct m68k_incant *opcode;
+  register const struct m68k_incant *opcode;
   register const char *s;
   register int tmpreg = 0, baseo = 0, outro = 0, nextword;
   char *pdot, *pdotmove;
@@ -599,7 +1023,6 @@ m68k_ip (instring)
   char c;
   int losing;
   int opsfound;
-  char *crack_operand ();
   LITTLENUM_TYPE words[6];
   LITTLENUM_TYPE *wordp;
   unsigned long ok_arch = 0;
@@ -608,7 +1031,7 @@ m68k_ip (instring)
     instring++;                        /* skip leading whitespace */
 
   /* Scan up to end of operation-code, which MUST end in end-of-string
-     or exactly 1 space. */
+     or exactly 1 space.  */
   pdot = 0;
   for (p = instring; *p != '\0'; p++)
     {
@@ -620,7 +1043,7 @@ m68k_ip (instring)
 
   if (p == instring)
     {
-      the_ins.error = "No operator";
+      the_ins.error = _("No operator");
       return;
     }
 
@@ -637,7 +1060,7 @@ m68k_ip (instring)
 
   c = *p;
   *p = '\0';
-  opcode = (struct m68k_incant *) hash_find (op_hash, instring);
+  opcode = (const struct m68k_incant *) hash_find (op_hash, instring);
   *p = c;
 
   if (pdot != NULL)
@@ -650,7 +1073,7 @@ m68k_ip (instring)
 
   if (opcode == NULL)
     {
-      the_ins.error = "Unknown operator";
+      the_ins.error = _("Unknown operator");
       return;
     }
 
@@ -672,6 +1095,18 @@ m68k_ip (instring)
       return;
     }
 
+  if (flag_mri && opcode->m_opnum == 0)
+    {
+      /* In MRI mode, random garbage is allowed after an instruction
+         which accepts no operands.  */
+      the_ins.args = opcode->m_operands;
+      the_ins.numargs = opcode->m_opnum;
+      the_ins.numo = opcode->m_codenum;
+      the_ins.opcode[0] = getone (opcode);
+      the_ins.opcode[1] = gettwo (opcode);
+      return;
+    }
+
   for (opP = &the_ins.operands[0]; *p; opP++)
     {
       p = crack_operand (p, opP);
@@ -705,14 +1140,12 @@ m68k_ip (instring)
   for (losing = 0;;)
     {
       /* If we didn't get the right number of ops, or we have no
-        common model with this pattern then reject this pattern. */
+        common model with this pattern then reject this pattern.  */
 
+      ok_arch |= opcode->m_arch;
       if (opsfound != opcode->m_opnum
          || ((opcode->m_arch & current_architecture) == 0))
-       {
-         ++losing;
-         ok_arch |= opcode->m_arch;
-       }
+       ++losing;
       else
        {
          for (s = opcode->m_operands, opP = &the_ins.operands[0];
@@ -745,17 +1178,16 @@ m68k_ip (instring)
                    }
                  break;
 
-               case '`':
+               case '<':
                  switch (opP->mode)
                    {
-                   case IMMED:
                    case DREG:
                    case AREG:
                    case FPREG:
                    case CONTROL:
-                   case AINC:
+                   case IMMED:
+                   case ADEC:
                    case REGLST:
-                   case AINDR:
                      losing++;
                      break;
                    default:
@@ -763,51 +1195,7 @@ m68k_ip (instring)
                    }
                  break;
 
-               case '#':
-                 if (opP->mode != IMMED)
-                   losing++;
-                 else if (s[1] == 'b'
-                          && ! isvar (&opP->disp)
-                          && (opP->disp.exp.X_op != O_constant
-                              || ! isbyte (opP->disp.exp.X_add_number)))
-                   losing++;
-                 else if (s[1] == 'w'
-                          && ! isvar (&opP->disp)
-                          && (opP->disp.exp.X_op != O_constant
-                              || ! isword (opP->disp.exp.X_add_number)))
-                   losing++;
-                 break;
-
-               case '^':
-               case 'T':
-                 if (opP->mode != IMMED)
-                   losing++;
-                 break;
-
-               case '$':
-                 if (opP->mode == AREG
-                     || opP->mode == CONTROL
-                     || opP->mode == FPREG
-                     || opP->mode == IMMED
-                     || opP->mode == REGLST
-                     || (opP->mode != ABSL
-                         && (opP->reg == PC
-                             || opP->reg == ZPC)))
-                   losing++;
-                 break;
-
-               case '%':
-                 if (opP->mode == CONTROL
-                     || opP->mode == FPREG
-                     || opP->mode == REGLST
-                     || (opP->mode != ABSL
-                         && opP->mode != IMMED
-                         && (opP->reg == PC
-                             || opP->reg == ZPC)))
-                   losing++;
-                 break;
-
-               case '&':
+               case '>':
                  switch (opP->mode)
                    {
                    case DREG:
@@ -816,7 +1204,6 @@ m68k_ip (instring)
                    case CONTROL:
                    case IMMED:
                    case AINC:
-                   case ADEC:
                    case REGLST:
                      losing++;
                      break;
@@ -830,51 +1217,219 @@ m68k_ip (instring)
                    }
                  break;
 
-               case '*':
-                 if (opP->mode == CONTROL
-                     || opP->mode == FPREG
-                     || opP->mode == REGLST)
-                   losing++;
-                 break;
-
-               case '+':
-                 if (opP->mode != AINC)
-                   losing++;
-                 break;
-
-               case '-':
-                 if (opP->mode != ADEC)
-                   losing++;
-                 break;
-
-               case '/':
+               case 'm':
                  switch (opP->mode)
                    {
+                   case DREG:
                    case AREG:
-                   case CONTROL:
-                   case FPREG:
+                   case AINDR:
                    case AINC:
                    case ADEC:
-                   case IMMED:
-                   case REGLST:
-                     losing++;
                      break;
                    default:
-                     break;
+                     losing++;
                    }
-                 break;
+                  break;
 
-               case ';':
+               case 'n':
                  switch (opP->mode)
                    {
-                   case AREG:
-                   case CONTROL:
-                   case FPREG:
-                   case REGLST:
-                     losing++;
+                   case DISP:
                      break;
                    default:
-                     break;
+                     losing++;
+                   }
+                  break;
+
+               case 'o':
+                 switch (opP->mode)
+                   {
+                   case BASE:
+                   case ABSL:
+                   case IMMED:
+                     break;
+                   default:
+                     losing++;
+                   }
+                  break;
+
+               case 'p':
+                 switch (opP->mode)
+                   {
+                   case DREG:
+                   case AREG:
+                   case AINDR:
+                   case AINC:
+                   case ADEC:
+                     break;
+                   case DISP:
+                     if (opP->reg == PC || opP->reg == ZPC)
+                        losing++;
+                     break;
+                   default:
+                     losing++;
+                   }
+                  break;
+
+               case 'q':
+                 switch (opP->mode)
+                   {
+                   case DREG:
+                   case AINDR:
+                   case AINC:
+                   case ADEC:
+                     break;
+                   case DISP:
+                     if (opP->reg == PC || opP->reg == ZPC)
+                        losing++;
+                     break;
+                   default:
+                     losing++;
+                     break;
+                   }
+                  break;
+
+               case 'v':
+                 switch (opP->mode)
+                   {
+                   case DREG:
+                   case AINDR:
+                   case AINC:
+                   case ADEC:
+                   case ABSL:
+                     break;
+                   case DISP:
+                     if (opP->reg == PC || opP->reg == ZPC)
+                        losing++;
+                     break;
+                   default:
+                     losing++;
+                     break;
+                   }
+                 break;
+
+               case '#':
+                 if (opP->mode != IMMED)
+                   losing++;
+                 else if (s[1] == 'b'
+                          && ! isvar (&opP->disp)
+                          && (opP->disp.exp.X_op != O_constant
+                              || ! isbyte (opP->disp.exp.X_add_number)))
+                   losing++;
+                 else if (s[1] == 'B'
+                          && ! isvar (&opP->disp)
+                          && (opP->disp.exp.X_op != O_constant
+                              || ! issbyte (opP->disp.exp.X_add_number)))
+                   losing++;
+                 else if (s[1] == 'w'
+                          && ! isvar (&opP->disp)
+                          && (opP->disp.exp.X_op != O_constant
+                              || ! isword (opP->disp.exp.X_add_number)))
+                   losing++;
+                 else if (s[1] == 'W'
+                          && ! isvar (&opP->disp)
+                          && (opP->disp.exp.X_op != O_constant
+                              || ! issword (opP->disp.exp.X_add_number)))
+                   losing++;
+                 break;
+
+               case '^':
+               case 'T':
+                 if (opP->mode != IMMED)
+                   losing++;
+                 break;
+
+               case '$':
+                 if (opP->mode == AREG
+                     || opP->mode == CONTROL
+                     || opP->mode == FPREG
+                     || opP->mode == IMMED
+                     || opP->mode == REGLST
+                     || (opP->mode != ABSL
+                         && (opP->reg == PC
+                             || opP->reg == ZPC)))
+                   losing++;
+                 break;
+
+               case '%':
+                 if (opP->mode == CONTROL
+                     || opP->mode == FPREG
+                     || opP->mode == REGLST
+                     || opP->mode == IMMED
+                     || (opP->mode != ABSL
+                         && (opP->reg == PC
+                             || opP->reg == ZPC)))
+                   losing++;
+                 break;
+
+               case '&':
+                 switch (opP->mode)
+                   {
+                   case DREG:
+                   case AREG:
+                   case FPREG:
+                   case CONTROL:
+                   case IMMED:
+                   case AINC:
+                   case ADEC:
+                   case REGLST:
+                     losing++;
+                     break;
+                   case ABSL:
+                     break;
+                   default:
+                     if (opP->reg == PC
+                         || opP->reg == ZPC)
+                       losing++;
+                     break;
+                   }
+                 break;
+
+               case '*':
+                 if (opP->mode == CONTROL
+                     || opP->mode == FPREG
+                     || opP->mode == REGLST)
+                   losing++;
+                 break;
+
+               case '+':
+                 if (opP->mode != AINC)
+                   losing++;
+                 break;
+
+               case '-':
+                 if (opP->mode != ADEC)
+                   losing++;
+                 break;
+
+               case '/':
+                 switch (opP->mode)
+                   {
+                   case AREG:
+                   case CONTROL:
+                   case FPREG:
+                   case AINC:
+                   case ADEC:
+                   case IMMED:
+                   case REGLST:
+                     losing++;
+                     break;
+                   default:
+                     break;
+                   }
+                 break;
+
+               case ';':
+                 switch (opP->mode)
+                   {
+                   case AREG:
+                   case CONTROL:
+                   case FPREG:
+                   case REGLST:
+                     losing++;
+                     break;
+                   default:
+                     break;
                    }
                  break;
 
@@ -975,11 +1530,26 @@ m68k_ip (instring)
                    losing++;
                  break;
 
+               case 'E':
+                 if (opP->reg != ACC)
+                   losing++;
+                 break;
+
                case 'F':
                  if (opP->mode != FPREG)
                    losing++;
                  break;
 
+               case 'G':
+                 if (opP->reg != MACSR)
+                   losing++;
+                 break;
+
+               case 'H':
+                 if (opP->reg != MASK)
+                   losing++;
+                 break;
+
                case 'I':
                  if (opP->mode != CONTROL
                      || opP->reg < COP0
@@ -1059,14 +1629,6 @@ m68k_ip (instring)
                          opP->mode = REGLST;
                        }
                    }
-                 else if (opP->mode == ABSL
-                          && opP->disp.size == SIZE_UNSPEC
-                          && opP->disp.exp.X_op == O_constant)
-                   {
-                     /* This is what the MRI REG pseudo-op generates.  */
-                     opP->mode = REGLST;
-                     opP->mask = opP->disp.exp.X_add_number;
-                   }
                  else if (opP->mode != REGLST)
                    losing++;
                  else if (s[1] == '8' && (opP->mask & 0x0ffffff) != 0)
@@ -1088,7 +1650,9 @@ m68k_ip (instring)
                  break;
 
                case 'O':
-                 if (opP->mode != DREG && opP->mode != IMMED)
+                 if (opP->mode != DREG
+                     && opP->mode != IMMED
+                     && opP->mode != ABSL)
                    losing++;
                  break;
 
@@ -1168,6 +1732,12 @@ m68k_ip (instring)
                      || opP->mode == AREG
                      || opP->mode == REGLST)
                    losing++;
+                 /* We should accept immediate operands, but they
+                     supposedly have to be quad word, and we don't
+                     handle that.  I would like to see what a Motorola
+                     assembler does before doing something here.  */
+                 if (opP->mode == IMMED)
+                   losing++;
                  break;
 
                case 'f':
@@ -1176,13 +1746,21 @@ m68k_ip (instring)
                    losing++;
                  break;
 
-               case 'P':
+               case '0':
+                 if (opP->mode != CONTROL || opP->reg != TC)
+                   losing++;
+                 break;
+
+               case '1':
+                 if (opP->mode != CONTROL || opP->reg != AC)
+                   losing++;
+                 break;
+
+               case '2':
                  if (opP->mode != CONTROL
-                     || (opP->reg != TC
-                         && opP->reg != CAL
+                     || (opP->reg != CAL
                          && opP->reg != VAL
-                         && opP->reg != SCC
-                         && opP->reg != AC))
+                         && opP->reg != SCC))
                    losing++;
                  break;
 
@@ -1225,7 +1803,7 @@ m68k_ip (instring)
                          && opP->reg != BC))
                    {
                      losing++;
-                   }           /* not a cache specifier. */
+                   }           /* not a cache specifier.  */
                  break;
 
                case '_':
@@ -1233,6 +1811,19 @@ m68k_ip (instring)
                    ++losing;
                  break;
 
+               case 'u':
+                 if (opP->reg < DATA0L || opP->reg > ADDR7U)
+                   losing++;
+                 /* FIXME: kludge instead of fixing parser:
+                     upper/lower registers are *not* CONTROL
+                     registers, but ordinary ones.  */
+                 if ((opP->reg >= DATA0L && opP->reg <= DATA7L)
+                     || (opP->reg >= DATA0U && opP->reg <= DATA7U))
+                   opP->mode = DREG;
+                 else
+                   opP->mode = AREG;
+                 break;
+
                default:
                  abort ();
                }               /* switch on type of operand */
@@ -1245,7 +1836,7 @@ m68k_ip (instring)
       if (!losing)
        {
          break;
-       }                       /* got it. */
+       }                       /* got it.  */
 
       opcode = opcode->m_next;
 
@@ -1255,34 +1846,36 @@ m68k_ip (instring)
              && !(ok_arch & current_architecture))
            {
              char buf[200], *cp;
-             int len;
+
              strcpy (buf,
-                     "invalid instruction for this architecture; needs ");
+                     _("invalid instruction for this architecture; needs "));
              cp = buf + strlen (buf);
              switch (ok_arch)
                {
                case mfloat:
-                 strcpy (cp, "fpu (68040, 68060 or 68881/68882)");
+                 strcpy (cp, _("fpu (68040, 68060 or 68881/68882)"));
                  break;
                case mmmu:
-                 strcpy (cp, "mmu (68030 or 68851)");
+                 strcpy (cp, _("mmu (68030 or 68851)"));
                  break;
                case m68020up:
-                 strcpy (cp, "68020 or higher");
+                 strcpy (cp, _("68020 or higher"));
                  break;
                case m68000up:
-                 strcpy (cp, "68000 or higher");
+                 strcpy (cp, _("68000 or higher"));
                  break;
                case m68010up:
-                 strcpy (cp, "68010 or higher");
+                 strcpy (cp, _("68010 or higher"));
                  break;
                default:
                  {
                    int got_one = 0, idx;
-                   for (idx = 0; idx < sizeof (archs) / sizeof (archs[0]);
+                   for (idx = 0;
+                        idx < (int) (sizeof (archs) / sizeof (archs[0]));
                         idx++)
                      {
-                       if (archs[idx].arch & ok_arch)
+                       if ((archs[idx].arch & ok_arch)
+                           && ! archs[idx].alias)
                          {
                            if (got_one)
                              {
@@ -1296,13 +1889,12 @@ m68k_ip (instring)
                      }
                  }
                }
-             len = cp - buf + 1;
-             cp = malloc (len);
+             cp = xmalloc (strlen (buf) + 1);
              strcpy (cp, buf);
              the_ins.error = cp;
            }
          else
-           the_ins.error = "operands mismatch";
+           the_ins.error = _("operands mismatch");
          return;
        }                       /* Fell off the end */
 
@@ -1334,7 +1926,14 @@ m68k_ip (instring)
        case '$':
        case '?':
        case '/':
-       case '`':
+       case '<':
+       case '>':
+       case 'm':
+       case 'n':
+       case 'o':
+       case 'p':
+       case 'q':
+       case 'v':
 #ifndef NO_68851
        case '|':
 #endif
@@ -1352,13 +1951,19 @@ m68k_ip (instring)
                {
                case 'b':
                  if (!isbyte (nextword))
-                   opP->error = "operand out of range";
+                   opP->error = _("operand out of range");
                  addword (nextword);
                  baseo = 0;
                  break;
                case 'w':
                  if (!isword (nextword))
-                   opP->error = "operand out of range";
+                   opP->error = _("operand out of range");
+                 addword (nextword);
+                 baseo = 0;
+                 break;
+               case 'W':
+                 if (!issword (nextword))
+                   opP->error = _("operand out of range");
                  addword (nextword);
                  baseo = 0;
                  break;
@@ -1415,7 +2020,7 @@ m68k_ip (instring)
                {
                  if (offs (&opP->disp) > baseo)
                    {
-                     as_warn ("Bignum too big for %c format; truncated",
+                     as_warn (_("Bignum too big for %c format; truncated"),
                               s[1]);
                      offs (&opP->disp) = baseo;
                    }
@@ -1476,9 +2081,14 @@ m68k_ip (instring)
                  || (isvar (&opP->disp)
                      && ((opP->disp.size == SIZE_UNSPEC
                           && flag_short_refs == 0
-                          && cpu_of_arch (current_architecture) >= m68020)
+                          && cpu_of_arch (current_architecture) >= m68020
+                          && ! arch_coldfire_p (current_architecture))
                          || opP->disp.size == SIZE_LONG)))
                {
+                 if (cpu_of_arch (current_architecture) < m68020
+                     || arch_coldfire_p (current_architecture))
+                   opP->error =
+                     _("displacement too large for this architecture; needs 68020 or higher");
                  if (opP->reg == PC)
                    tmpreg = 0x3B;      /* 7.3 */
                  else
@@ -1487,16 +2097,24 @@ m68k_ip (instring)
                    {
                      if (opP->reg == PC)
                        {
-#if 0
-                         addword (0x0170);
-                         add_fix ('l', &opP->disp, 1, 2);
-                         addword (0), addword (0);
-#else
-                         add_frag (adds (&opP->disp),
-                                   offs (&opP->disp),
-                                   TAB (PCLEA, SZ_UNDEF));
+                         if (opP->disp.size == SIZE_LONG
+#ifdef OBJ_ELF
+                             /* If the displacement needs pic
+                                relocation it cannot be relaxed.  */
+                             || opP->disp.pic_reloc != pic_none
 #endif
-                         break;
+                             )
+                           {
+                             addword (0x0170);
+                             add_fix ('l', &opP->disp, 1, 2);
+                           }
+                         else
+                           {
+                             add_frag (adds (&opP->disp),
+                                       offs (&opP->disp),
+                                       TAB (PCREL1632, SZ_UNDEF));
+                             break;
+                           }
                        }
                      else
                        {
@@ -1569,19 +2187,24 @@ m68k_ip (instring)
                {
                  nextword |= (opP->index.reg - DATA) << 12;
 
-                 if (opP->index.size == SIZE_UNSPEC
-                     || opP->index.size == SIZE_LONG)
+                 if (opP->index.size == SIZE_LONG
+                     || (opP->index.size == SIZE_UNSPEC
+                         && m68k_index_width_default == SIZE_LONG))
                    nextword |= 0x800;
 
-                 if (cpu_of_arch (current_architecture) < m68020)
+                 if ((opP->index.scale != 1
+                      && cpu_of_arch (current_architecture) < m68020)
+                     || (opP->index.scale == 8
+                         && arch_coldfire_p (current_architecture)))
                    {
-                     if (opP->index.scale != 1)
-                       {
-                         opP->error =
-                           "scale factor invalid on this architecture; needs 68020 or higher";
-                       }
+                     opP->error =
+                       _("scale factor invalid on this architecture; needs cpu32 or 68020 or higher");
                    }
 
+                 if (arch_coldfire_p (current_architecture)
+                     && opP->index.size == SIZE_WORD)
+                   opP->error = _("invalid index size for coldfire");
+
                  switch (opP->index.scale)
                    {
                    case 1:
@@ -1613,6 +2236,7 @@ m68k_ip (instring)
                    {
                      if (siz1 == SIZE_BYTE
                          || cpu_of_arch (current_architecture) < m68020
+                         || arch_coldfire_p (current_architecture)
                          || (siz1 == SIZE_UNSPEC
                              && ! isvar (&opP->disp)
                              && issbyte (baseo)))
@@ -1632,9 +2256,9 @@ m68k_ip (instring)
                          else if (siz1 != SIZE_BYTE)
                            {
                              if (siz1 != SIZE_UNSPEC)
-                               as_warn ("Forcing byte displacement");
+                               as_warn (_("Forcing byte displacement"));
                              if (! issbyte (baseo))
-                               opP->error = "byte displacement out of range";
+                               opP->error = _("byte displacement out of range");
                            }
 
                          break;
@@ -1642,8 +2266,20 @@ m68k_ip (instring)
                      else if (siz1 == SIZE_UNSPEC
                               && opP->reg == PC
                               && isvar (&opP->disp)
-                              && subs (&opP->disp) == NULL)
+                              && subs (&opP->disp) == NULL
+#ifdef OBJ_ELF
+                              /* If the displacement needs pic
+                                 relocation it cannot be relaxed.  */
+                              && opP->disp.pic_reloc == pic_none
+#endif
+                              )
                        {
+                         /* The code in md_convert_frag_1 needs to be
+                             able to adjust nextword.  Call frag_grow
+                             to ensure that we have enough space in
+                             the frag obstack to make all the bytes
+                             contiguous.  */
+                         frag_grow (14);
                          nextword += baseo & 0xff;
                          addword (nextword);
                          add_frag (adds (&opP->disp), offs (&opP->disp),
@@ -1666,9 +2302,10 @@ m68k_ip (instring)
 
              /* It isn't simple.  */
 
-             if (cpu_of_arch (current_architecture) < m68020)
+             if (cpu_of_arch (current_architecture) < m68020
+                 || arch_coldfire_p (current_architecture))
                opP->error =
-                 "invalid operand mode for this architecture; needs 68020 or higher";
+                 _("invalid operand mode for this architecture; needs 68020 or higher");
 
              nextword |= 0x100;
              /* If the guy specified a width, we assume that it is
@@ -1692,7 +2329,7 @@ m68k_ip (instring)
                    }
                  break;
                case SIZE_BYTE:
-                 as_warn (":b not permitted; defaulting to :w");
+                 as_warn (_(":b not permitted; defaulting to :w"));
                  /* Fall through.  */
                case SIZE_WORD:
                  nextword |= 0x20;
@@ -1705,6 +2342,8 @@ m68k_ip (instring)
              /* Figure out innner displacement stuff */
              if (opP->mode == POST || opP->mode == PRE)
                {
+                 if (cpu_of_arch (current_architecture) & cpu32)
+                   opP->error = _("invalid operand mode for this architecture; needs 68020 or higher");
                  switch (siz2)
                    {
                    case SIZE_UNSPEC:
@@ -1715,7 +2354,7 @@ m68k_ip (instring)
                          siz2 = SIZE_LONG;
                          nextword |= 0x3;
                        }
-                     else if (! isvar (&opP->disp) && outro == 0)
+                     else if (! isvar (&opP->odisp) && outro == 0)
                        nextword |= 0x1;
                      else
                        {
@@ -1724,7 +2363,7 @@ m68k_ip (instring)
                        }
                      break;
                    case 1:
-                     as_warn (":b not permitted; defaulting to :w");
+                     as_warn (_(":b not permitted; defaulting to :w"));
                      /* Fall through.  */
                    case 2:
                      nextword |= 0x2;
@@ -1733,7 +2372,8 @@ m68k_ip (instring)
                      nextword |= 0x3;
                      break;
                    }
-                 if (opP->mode == POST)
+                 if (opP->mode == POST
+                     && (nextword & 0x40) == 0)
                    nextword |= 0x04;
                }
              addword (nextword);
@@ -1772,21 +2412,21 @@ m68k_ip (instring)
                      addword (nextword);
                      break;
                    }
-                 /* Don't generate pc relative code on 68010 and
-                    68000.  */
                  if (isvar (&opP->disp)
                      && !subs (&opP->disp)
                      && adds (&opP->disp)
-                     && (S_GET_SEGMENT (adds (&opP->disp)) == text_section)
-                     && now_seg == text_section
-                     && cpu_of_arch (current_architecture) >= m68020
+#ifdef OBJ_ELF
+                     /* If the displacement needs pic relocation it
+                        cannot be relaxed.  */
+                     && opP->disp.pic_reloc == pic_none
+#endif
                      && !flag_long_jumps
                      && !strchr ("~%&$?", s[0]))
                    {
                      tmpreg = 0x3A;    /* 7.2 */
                      add_frag (adds (&opP->disp),
                                offs (&opP->disp),
-                               TAB (PCREL, SZ_UNDEF));
+                               TAB (ABSTOPCREL, SZ_UNDEF));
                      break;
                    }
                  /* Fall through into long */
@@ -1799,6 +2439,9 @@ m68k_ip (instring)
                  addword (nextword);
                  break;
 
+               case SIZE_BYTE:
+                 as_bad (_("unsupported byte value; use a different suffix"));
+                 /* Fall through.  */
                case SIZE_WORD: /* Word */
                  if (isvar (&opP->disp))
                    add_fix ('w', &opP->disp, 0, 0);
@@ -1811,8 +2454,8 @@ m68k_ip (instring)
            case CONTROL:
            case FPREG:
            default:
-             as_bad ("unknown/incorrect operand");
-             /* abort(); */
+             as_bad (_("unknown/incorrect operand"));
+             /* abort (); */
            }
          install_gen_operand (s[1], tmpreg);
          break;
@@ -1844,14 +2487,29 @@ m68k_ip (instring)
                                   certain types of overflow.
                                   user beware! */
              if (!isbyte (tmpreg))
-               opP->error = "out of range";
+               opP->error = _("out of range");
              insop (tmpreg, opcode);
              if (isvar (&opP->disp))
-               the_ins.reloc[the_ins.nrel - 1].n = (opcode->m_codenum) * 2;
+               the_ins.reloc[the_ins.nrel - 1].n =
+                 (opcode->m_codenum) * 2 + 1;
+             break;
+           case 'B':
+             if (!issbyte (tmpreg))
+               opP->error = _("out of range");
+             the_ins.opcode[the_ins.numo - 1] |= tmpreg & 0xff;
+             if (isvar (&opP->disp))
+               the_ins.reloc[the_ins.nrel - 1].n = opcode->m_codenum * 2 - 1;
              break;
            case 'w':
              if (!isword (tmpreg))
-               opP->error = "out of range";
+               opP->error = _("out of range");
+             insop (tmpreg, opcode);
+             if (isvar (&opP->disp))
+               the_ins.reloc[the_ins.nrel - 1].n = (opcode->m_codenum) * 2;
+             break;
+           case 'W':
+             if (!issword (tmpreg))
+               opP->error = _("out of range");
              insop (tmpreg, opcode);
              if (isvar (&opP->disp))
                the_ins.reloc[the_ins.nrel - 1].n = (opcode->m_codenum) * 2;
@@ -1868,6 +2526,7 @@ m68k_ip (instring)
              tmpreg &= 0xFF;
            case '8':
            case 'C':
+           case 'j':
              install_operand (s[1], tmpreg);
              break;
            default:
@@ -1887,7 +2546,11 @@ m68k_ip (instring)
          switch (s[1])
            {
            case 'B':
-             add_fix ('B', &opP->disp, 1, -1);
+             /* The pc_fix argument winds up in fx_pcrel_adjust,
+                 which is a char, and may therefore be unsigned.  We
+                 want to pass -1, but we pass 64 instead, and convert
+                 back in md_pcrel_from.  */
+             add_fix ('B', &opP->disp, 1, 64);
              break;
            case 'W':
              add_fix ('w', &opP->disp, 1, 0);
@@ -1895,9 +2558,9 @@ m68k_ip (instring)
              break;
            case 'L':
            long_branch:
-             if (cpu_of_arch (current_architecture) < m68020)
-               as_warn ("Can't use long branches on 68000/68010");
-             the_ins.opcode[the_ins.numo - 1] |= 0xff;
+             if (! HAVE_LONG_BRANCH (current_architecture))
+               as_warn (_("Can't use long branches on 68000/68010/5200"));
+             the_ins.opcode[0] |= 0xff;
              add_fix ('l', &opP->disp, 1, 0);
              addword (0);
              addword (0);
@@ -1906,36 +2569,72 @@ m68k_ip (instring)
              if (subs (&opP->disp))    /* We can't relax it */
                goto long_branch;
 
+#ifdef OBJ_ELF
+             /* If the displacement needs pic relocation it cannot be
+                relaxed.  */
+             if (opP->disp.pic_reloc != pic_none)
+               goto long_branch;
+#endif
              /* This could either be a symbol, or an absolute
-                address.  No matter, the frag hacking will finger it
-                out.  Not quite: it can't switch from BRANCH to
-                BCC68000 for the case where opnd is absolute (it
-                needs to use the 68000 hack since no conditional abs
-                jumps).  */
-             if (((cpu_of_arch (current_architecture) < m68020)
-                  || (0 == adds (&opP->disp)))
-                 && (the_ins.opcode[0] >= 0x6200)
-                 && (the_ins.opcode[0] <= 0x6f00))
+                address.  If it's an absolute address, turn it into
+                an absolute jump right here and keep it out of the
+                relaxer.  */
+             if (adds (&opP->disp) == 0)
+               {
+                 if (the_ins.opcode[0] == 0x6000)      /* jbra */
+                   the_ins.opcode[0] = 0x4EF1;
+                 else if (the_ins.opcode[0] == 0x6100) /* jbsr */
+                   the_ins.opcode[0] = 0x4EB1;
+                 else                                  /* jCC */
+                   {
+                     the_ins.opcode[0] ^= 0x0100;
+                     the_ins.opcode[0] |= 0x0006;
+                     addword (0x4EF1);
+                   }
+                 add_fix ('l', &opP->disp, 0, 0);
+                 addword (0);
+                 addword (0);
+                 break;
+               }
+
+             /* Now we know it's going into the relaxer.  Now figure
+                out which mode.  We try in this order of preference:
+                long branch, absolute jump, byte/word branches only.  */
+             if (HAVE_LONG_BRANCH (current_architecture))
                add_frag (adds (&opP->disp), offs (&opP->disp),
-                         TAB (BCC68000, SZ_UNDEF));
+                         TAB (BRANCHBWL, SZ_UNDEF));
+             else if (! flag_keep_pcrel)
+               {
+                 if ((the_ins.opcode[0] == 0x6000)
+                     || (the_ins.opcode[0] == 0x6100))
+                   add_frag (adds (&opP->disp), offs (&opP->disp),
+                             TAB (BRABSJUNC, SZ_UNDEF));
+                 else
+                   add_frag (adds (&opP->disp), offs (&opP->disp),
+                             TAB (BRABSJCOND, SZ_UNDEF));
+               }
              else
                add_frag (adds (&opP->disp), offs (&opP->disp),
-                         TAB (ABRANCH, SZ_UNDEF));
+                         TAB (BRANCHBW, SZ_UNDEF));
              break;
            case 'w':
              if (isvar (&opP->disp))
                {
-#if 1
-                 /* check for DBcc instruction */
-                 if ((the_ins.opcode[0] & 0xf0f8) == 0x50c8)
+                 /* Check for DBcc instructions.  We can relax them,
+                    but only if we have long branches and/or absolute
+                    jumps.  */
+                 if (((the_ins.opcode[0] & 0xf0f8) == 0x50c8)
+                     && (HAVE_LONG_BRANCH (current_architecture)
+                         || (! flag_keep_pcrel)))
                    {
-                     /* size varies if patch */
-                     /* needed for long form */
-                     add_frag (adds (&opP->disp), offs (&opP->disp),
-                               TAB (DBCC, SZ_UNDEF));
+                     if (HAVE_LONG_BRANCH (current_architecture))
+                       add_frag (adds (&opP->disp), offs (&opP->disp),
+                                 TAB (DBCCLBR, SZ_UNDEF));
+                     else
+                       add_frag (adds (&opP->disp), offs (&opP->disp),
+                                 TAB (DBCCABSJ, SZ_UNDEF));
                      break;
                    }
-#endif
                  add_fix ('w', &opP->disp, 1, 0);
                }
              addword (0);
@@ -1946,23 +2645,16 @@ m68k_ip (instring)
              addword (0);
              break;
            case 'c':           /* Var size Coprocesssor branches */
-             if (subs (&opP->disp))
-               {
-                 add_fix ('l', &opP->disp, 1, 0);
-                 add_frag ((symbolS *) 0, (long) 0, TAB (FBRANCH, LONG));
-               }
-             else if (adds (&opP->disp))
-               add_frag (adds (&opP->disp), offs (&opP->disp),
-                         TAB (FBRANCH, SZ_UNDEF));
-             else
+             if (subs (&opP->disp) || (adds (&opP->disp) == 0))
                {
-                 /* add_frag((symbolS *) 0, offs(&opP->disp),
-                    TAB(FBRANCH,SHORT)); */
                  the_ins.opcode[the_ins.numo - 1] |= 0x40;
                  add_fix ('l', &opP->disp, 1, 0);
                  addword (0);
                  addword (0);
                }
+             else
+               add_frag (adds (&opP->disp), offs (&opP->disp),
+                         TAB (FBRANCH, SZ_UNDEF));
              break;
            default:
              abort ();
@@ -1977,7 +2669,7 @@ m68k_ip (instring)
          tmpreg = get_num (&opP->disp, 80);
          if (!issword (tmpreg))
            {
-             as_warn ("Expression out of range, using 0");
+             as_warn (_("Expression out of range, using 0"));
              tmpreg = 0;
            }
          addword (tmpreg);
@@ -1987,10 +2679,17 @@ m68k_ip (instring)
          install_operand (s[1], opP->reg - DATA);
          break;
 
+       case 'E':               /* Ignore it */
+         break;
+
        case 'F':
          install_operand (s[1], opP->reg - FP0);
          break;
 
+       case 'G':               /* Ignore it */
+       case 'H':
+         break;
+
        case 'I':
          tmpreg = opP->reg - COP0;
          install_operand (s[1], tmpreg);
@@ -2054,6 +2753,18 @@ m68k_ip (instring)
            case PCR:
              tmpreg = 0x808;
              break;
+            case ROMBAR:
+             tmpreg = 0xC00;
+             break;
+           case RAMBAR0:
+             tmpreg = 0xC04;
+             break;
+           case RAMBAR1:
+             tmpreg = 0xC05;
+             break;
+           case MBAR:
+             tmpreg = 0xC0F;
+             break;
            default:
              abort ();
            }
@@ -2070,13 +2781,13 @@ m68k_ip (instring)
          if (s[1] == 'w')
            {
              if (tmpreg & 0x7FF0000)
-               as_bad ("Floating point register in register list");
+               as_bad (_("Floating point register in register list"));
              insop (reverse_16_bits (tmpreg), opcode);
            }
          else
            {
              if (tmpreg & 0x700FFFF)
-               as_bad ("Wrong register in floating-point reglist");
+               as_bad (_("Wrong register in floating-point reglist"));
              install_operand (s[1], reverse_8_bits (tmpreg >> 16));
            }
          break;
@@ -2086,19 +2797,19 @@ m68k_ip (instring)
          if (s[1] == 'w')
            {
              if (tmpreg & 0x7FF0000)
-               as_bad ("Floating point register in register list");
+               as_bad (_("Floating point register in register list"));
              insop (tmpreg, opcode);
            }
          else if (s[1] == '8')
            {
              if (tmpreg & 0x0FFFFFF)
-               as_bad ("incorrect register in reglist");
+               as_bad (_("incorrect register in reglist"));
              install_operand (s[1], tmpreg >> 24);
            }
          else
            {
              if (tmpreg & 0x700FFFF)
-               as_bad ("wrong register in floating-point reglist");
+               as_bad (_("wrong register in floating-point reglist"));
              else
                install_operand (s[1], tmpreg >> 16);
            }
@@ -2110,7 +2821,7 @@ m68k_ip (instring)
 
        case 'O':
          tmpreg = ((opP->mode == DREG)
-                   ? 0x20 + opP->reg - DATA
+                   ? 0x20 + (int) (opP->reg - DATA)
                    : (get_num (&opP->disp, 40) & 0x1F));
          install_operand (s[1], tmpreg);
          break;
@@ -2174,12 +2885,12 @@ m68k_ip (instring)
              tmpreg = 3;
              break;
            default:
-             as_fatal ("failed sanity check");
+             as_fatal (_("failed sanity check"));
            }                   /* switch on cache token */
          install_operand (s[1], tmpreg);
          break;
 #ifndef NO_68851
-         /* JF: These are out of order, I fear. */
+         /* JF: These are out of order, I fear.  */
        case 'f':
          switch (opP->reg)
            {
@@ -2195,7 +2906,9 @@ m68k_ip (instring)
          install_operand (s[1], tmpreg);
          break;
 
-       case 'P':
+       case '0':
+       case '1':
+       case '2':
          switch (opP->reg)
            {
            case TC:
@@ -2298,17 +3011,24 @@ m68k_ip (instring)
          install_operand (s[1], tmpreg);
          break;
        case '_':       /* used only for move16 absolute 32-bit address */
+         if (isvar (&opP->disp))
+           add_fix ('l', &opP->disp, 0, 0);
          tmpreg = get_num (&opP->disp, 80);
          addword (tmpreg >> 16);
          addword (tmpreg & 0xFFFF);
          break;
+       case 'u':
+         install_operand (s[1], opP->reg - DATA0L);
+         opP->reg -= (DATA0L);
+         opP->reg &= 0x0F;     /* remove upper/lower bit */
+         break;
        default:
          abort ();
        }
     }
 
   /* By the time whe get here (FINALLY) the_ins contains the complete
-     instruction, ready to be emitted. . . */
+     instruction, ready to be emitted. . .  */
 }
 
 static int
@@ -2431,6 +3151,7 @@ install_operand (mode, val)
       break;
     case 'b':
     case 'w':
+    case 'W':
     case 'l':
       break;
     case 'e':
@@ -2440,9 +3161,33 @@ install_operand (mode, val)
       the_ins.opcode[1] = (val >> 16);
       the_ins.opcode[2] = val & 0xffff;
       break;
+    case 'm':
+      the_ins.opcode[0] |= ((val & 0x8) << (6 - 3));
+      the_ins.opcode[0] |= ((val & 0x7) << 9);
+      the_ins.opcode[1] |= ((val & 0x10) << (7 - 4));
+      break;
+    case 'n':
+      the_ins.opcode[0] |= ((val & 0x8) << (6 - 3));
+      the_ins.opcode[0] |= ((val & 0x7) << 9);
+      break;
+    case 'o':
+      the_ins.opcode[1] |= val << 12;
+      the_ins.opcode[1] |= ((val & 0x10) << (7 - 4));
+      break;
+    case 'M':
+      the_ins.opcode[0] |= (val & 0xF);
+      the_ins.opcode[1] |= ((val & 0x10) << (6 - 4));
+      break;
+    case 'N':
+      the_ins.opcode[1] |= (val & 0xF);
+      the_ins.opcode[1] |= ((val & 0x10) << (6 - 4));
+      break;
+    case 'h':
+      the_ins.opcode[1] |= ((val != 1) << 10);
+      break;
     case 'c':
     default:
-      as_fatal ("failed sanity check.");
+      as_fatal (_("failed sanity check."));
     }
 }                              /* install_operand() */
 
@@ -2471,7 +3216,7 @@ install_gen_operand (mode, val)
       break;
       /* more stuff goes here */
     default:
-      as_fatal ("failed sanity check.");
+      as_fatal (_("failed sanity check."));
     }
 }                              /* install_gen_operand() */
 
@@ -2488,29 +3233,35 @@ crack_operand (str, opP)
   register int parens;
   register int c;
   register char *beg_str;
+  int inquote = 0;
 
   if (!str)
     {
       return str;
     }
   beg_str = str;
-  for (parens = 0; *str && (parens > 0 || notend (str)); str++)
+  for (parens = 0; *str && (parens > 0 || inquote || notend (str)); str++)
     {
-      if (*str == '(')
-       parens++;
-      else if (*str == ')')
+      if (! inquote)
        {
-         if (!parens)
-           {                   /* ERROR */
-             opP->error = "Extra )";
-             return str;
+         if (*str == '(')
+           parens++;
+         else if (*str == ')')
+           {
+             if (!parens)
+               {                       /* ERROR */
+                 opP->error = _("Extra )");
+                 return str;
+               }
+             --parens;
            }
-         --parens;
        }
+      if (flag_mri && *str == '\'')
+       inquote = ! inquote;
     }
   if (!*str && parens)
     {                          /* ERROR */
-      opP->error = "Missing )";
+      opP->error = _("Missing )");
       return str;
     }
   c = *str;
@@ -2527,8 +3278,17 @@ crack_operand (str, opP)
     {
       c = *++str;
       if (!c)
-       as_bad ("Missing operand");
+       as_bad (_("Missing operand"));
+    }
+
+  /* Detect MRI REG symbols and convert them to REGLSTs.  */
+  if (opP->mode == CONTROL && (int)opP->reg < 0)
+    {
+      opP->mode = REGLST;
+      opP->mask = ~(int)opP->reg;
+      opP->reg = 0;
     }
+
   return str;
 }
 
@@ -2537,9 +3297,9 @@ crack_operand (str, opP)
    the frags/bytes it assembles to.
    */
 
-void
+static void
 insert_reg (regname, regnum)
-     char *regname;
+     const char *regname;
      int regnum;
 {
   char buf[100];
@@ -2626,29 +3386,58 @@ static const struct init_entry init_table[] =
   { "ccr", CCR },
   { "cc", CCR },
 
-  { "usp", USP },
-  { "isp", ISP },
-  { "sfc", SFC },
+  { "acc", ACC },
+  { "macsr", MACSR },
+  { "mask", MASK },
+
+  /* control registers */
+  { "sfc", SFC },              /* Source Function Code */
   { "sfcr", SFC },
-  { "dfc", DFC },
+  { "dfc", DFC },              /* Destination Function Code */
   { "dfcr", DFC },
-  { "cacr", CACR },
-  { "caar", CAAR },
-
-  { "vbr", VBR },
-
-  { "msp", MSP },
-  { "itt0", ITT0 },
-  { "itt1", ITT1 },
-  { "dtt0", DTT0 },
-  { "dtt1", DTT1 },
-  { "mmusr", MMUSR },
-  { "tc", TC },
-  { "srp", SRP },
-  { "urp", URP },
+  { "cacr", CACR },            /* Cache Control Register */
+  { "caar", CAAR },            /* Cache Address Register */
+
+  { "usp", USP },              /* User Stack Pointer */
+  { "vbr", VBR },              /* Vector Base Register */
+  { "msp", MSP },              /* Master Stack Pointer */
+  { "isp", ISP },              /* Interrupt Stack Pointer */
+
+  { "itt0", ITT0 },            /* Instruction Transparent Translation Reg 0 */
+  { "itt1", ITT1 },            /* Instruction Transparent Translation Reg 1 */
+  { "dtt0", DTT0 },            /* Data Transparent Translation Register 0 */
+  { "dtt1", DTT1 },            /* Data Transparent Translation Register 1 */
+
+  /* 68ec040 versions of same */
+  { "iacr0", ITT0 },           /* Instruction Access Control Register 0 */
+  { "iacr1", ITT1 },           /* Instruction Access Control Register 0 */
+  { "dacr0", DTT0 },           /* Data Access Control Register 0 */
+  { "dacr1", DTT1 },           /* Data Access Control Register 0 */
+
+  /* mcf5200 versions of same.  The ColdFire programmer's reference
+     manual indicated that the order is 2,3,0,1, but Ken Rose
+     <rose@netcom.com> says that 0,1,2,3 is the correct order.  */
+  { "acr0", ITT0 },            /* Access Control Unit 0 */
+  { "acr1", ITT1 },            /* Access Control Unit 1 */
+  { "acr2", DTT0 },            /* Access Control Unit 2 */
+  { "acr3", DTT1 },            /* Access Control Unit 3 */
+
+  { "tc", TC },                        /* MMU Translation Control Register */
+  { "tcr", TC },
+
+  { "mmusr", MMUSR },          /* MMU Status Register */
+  { "srp", SRP },              /* User Root Pointer */
+  { "urp", URP },              /* Supervisor Root Pointer */
+
   { "buscr", BUSCR },
   { "pcr", PCR },
 
+  { "rombar", ROMBAR },                /* ROM Base Address Register */
+  { "rambar0", RAMBAR0 },      /* ROM Base Address Register */
+  { "rambar1", RAMBAR1 },      /* ROM Base Address Register */
+  { "mbar", MBAR },            /* Module Base Address Register */
+  /* end of control registers */
+
   { "ac", AC },
   { "bc", BC },
   { "cal", CAL },
@@ -2705,10 +3494,47 @@ static const struct init_entry init_table[] =
   { "za6", ZADDR6 },
   { "za7", ZADDR7 },
 
+  /* Upper and lower data and address registers, used by macw and msacw.  */
+  { "d0l", DATA0L },
+  { "d1l", DATA1L },
+  { "d2l", DATA2L },
+  { "d3l", DATA3L },
+  { "d4l", DATA4L },
+  { "d5l", DATA5L },
+  { "d6l", DATA6L },
+  { "d7l", DATA7L },
+
+  { "a0l", ADDR0L },
+  { "a1l", ADDR1L },
+  { "a2l", ADDR2L },
+  { "a3l", ADDR3L },
+  { "a4l", ADDR4L },
+  { "a5l", ADDR5L },
+  { "a6l", ADDR6L },
+  { "a7l", ADDR7L },
+
+  { "d0u", DATA0U },
+  { "d1u", DATA1U },
+  { "d2u", DATA2U },
+  { "d3u", DATA3U },
+  { "d4u", DATA4U },
+  { "d5u", DATA5U },
+  { "d6u", DATA6U },
+  { "d7u", DATA7U },
+
+  { "a0u", ADDR0U },
+  { "a1u", ADDR1U },
+  { "a2u", ADDR2U },
+  { "a3u", ADDR3U },
+  { "a4u", ADDR4U },
+  { "a5u", ADDR5U },
+  { "a6u", ADDR6U },
+  { "a7u", ADDR7U },
+
   { 0, 0 }
 };
 
-void
+static void
 init_regtable ()
 {
   int i;
@@ -2735,6 +3561,41 @@ md_assemble (str)
   int shorts_this_frag;
   fixS *fixP;
 
+  /* In MRI mode, the instruction and operands are separated by a
+     space.  Anything following the operands is a comment.  The label
+     has already been removed.  */
+  if (flag_mri)
+    {
+      char *s;
+      int fields = 0;
+      int infield = 0;
+      int inquote = 0;
+
+      for (s = str; *s != '\0'; s++)
+       {
+         if ((*s == ' ' || *s == '\t') && ! inquote)
+           {
+             if (infield)
+               {
+                 ++fields;
+                 if (fields >= 2)
+                   {
+                     *s = '\0';
+                     break;
+                   }
+                 infield = 0;
+               }
+           }
+         else
+           {
+             if (! infield)
+               infield = 1;
+             if (*s == '\'')
+               inquote = ! inquote;
+           }
+       }
+    }
+
   memset ((char *) (&the_ins), '\0', sizeof (the_ins));
   m68k_ip (str);
   er = the_ins.error;
@@ -2749,10 +3610,17 @@ md_assemble (str)
     }
   if (er)
     {
-      as_bad ("%s -- statement `%s' ignored", er, str);
+      as_bad (_("%s -- statement `%s' ignored"), er, str);
       return;
     }
 
+  /* If there is a current label, record that it marks an instruction.  */
+  if (current_label != NULL)
+    {
+      current_label->text = 1;
+      current_label = NULL;
+    }
+
   if (the_ins.nfrag == 0)
     {
       /* No frag hacking involved; just put it out */
@@ -2776,16 +3644,17 @@ md_assemble (str)
              n = 1;
              break;
            case '3':
-             n = 2;
+             n = 1;
              break;
            case 'w':
+           case 'W':
              n = 2;
              break;
            case 'l':
              n = 4;
              break;
            default:
-             as_fatal ("Don't know how to figure width of %c in md_assemble()",
+             as_fatal (_("Don't know how to figure width of %c in md_assemble()"),
                        the_ins.reloc[m].wid);
            }
 
@@ -2795,8 +3664,11 @@ md_assemble (str)
                              n,
                              &the_ins.reloc[m].exp,
                              the_ins.reloc[m].pcrel,
-                             NO_RELOC);
+                             get_reloc_code (n, the_ins.reloc[m].pcrel,
+                                             the_ins.reloc[m].pic_reloc));
          fixP->fx_pcrel_adjust = the_ins.reloc[m].pcrel_fix;
+         if (the_ins.reloc[m].wid == 'B')
+           fixP->fx_signed = 1;
        }
       return;
     }
@@ -2839,7 +3711,8 @@ md_assemble (str)
                              wid,
                              &the_ins.reloc[m].exp,
                              the_ins.reloc[m].pcrel,
-                             NO_RELOC);
+                             get_reloc_code (wid, the_ins.reloc[m].pcrel,
+                                             the_ins.reloc[m].pic_reloc));
          fixP->fx_pcrel_adjust = the_ins.reloc[m].pcrel_fix;
        }
       (void) frag_var (rs_machine_dependent, 10, 0,
@@ -2875,7 +3748,8 @@ md_assemble (str)
                          wid,
                          &the_ins.reloc[m].exp,
                          the_ins.reloc[m].pcrel,
-                         NO_RELOC);
+                         get_reloc_code (wid, the_ins.reloc[m].pcrel,
+                                         the_ins.reloc[m].pic_reloc));
       fixP->fx_pcrel_adjust = the_ins.reloc[m].pcrel_fix;
     }
 }
@@ -2897,14 +3771,15 @@ md_begin ()
   register const struct m68k_opcode *ins;
   register struct m68k_incant *hack, *slak;
   register const char *retval = 0;     /* empty string, or error msg text */
-  register unsigned int i;
+  register int i;
   register char c;
 
   if (flag_mri)
     {
       flag_reg_prefix_optional = 1;
       m68k_abspcadd = 1;
-      m68k_rel32 = 0;
+      if (! m68k_rel32_from_cmdline)
+       m68k_rel32 = 0;
     }
 
   op_hash = hash_new ();
@@ -2917,7 +3792,7 @@ md_begin ()
        {
          ins = &m68k_opcodes[i];
          /* We *could* ignore insns that don't match our arch here
-            but just leaving them out of the hash. */
+            but just leaving them out of the hash.  */
          slak->m_operands = ins->args;
          slak->m_opnum = strlen (slak->m_operands) / 2;
          slak->m_arch = ins->arch;
@@ -2938,7 +3813,7 @@ md_begin ()
 
       retval = hash_insert (op_hash, ins->name, (char *) hack);
       if (retval)
-       as_fatal ("Internal Error:  Can't hash %s: %s", ins->name, retval);
+       as_fatal (_("Internal Error:  Can't hash %s: %s"), ins->name, retval);
     }
 
   for (i = 0; i < m68k_numaliases; i++)
@@ -2947,10 +3822,10 @@ md_begin ()
       const char *alias = m68k_opcode_aliases[i].alias;
       PTR val = hash_find (op_hash, name);
       if (!val)
-       as_fatal ("Internal Error: Can't find %s in hash table", name);
+       as_fatal (_("Internal Error: Can't find %s in hash table"), name);
       retval = hash_insert (op_hash, alias, val);
       if (retval)
-       as_fatal ("Internal Error: Can't hash %s: %s", alias, retval);
+       as_fatal (_("Internal Error: Can't hash %s: %s"), alias, retval);
     }
 
   /* In MRI mode, all unsized branches are variable sized.  Normally,
@@ -2977,23 +3852,25 @@ md_begin ()
          { "bsr",      "jbsr", },
        };
 
-      for (i = 0; i < sizeof mri_aliases / sizeof mri_aliases[0]; i++)
+      for (i = 0;
+          i < (int) (sizeof mri_aliases / sizeof mri_aliases[0]);
+          i++)
        {
          const char *name = mri_aliases[i].primary;
          const char *alias = mri_aliases[i].alias;
          PTR val = hash_find (op_hash, name);
          if (!val)
-           as_fatal ("Internal Error: Can't find %s in hash table", name);
+           as_fatal (_("Internal Error: Can't find %s in hash table"), name);
          retval = hash_jam (op_hash, alias, val);
          if (retval)
-           as_fatal ("Internal Error: Can't hash %s: %s", alias, retval);
+           as_fatal (_("Internal Error: Can't hash %s: %s"), alias, retval);
        }
     }
 
-  for (i = 0; i < sizeof (mklower_table); i++)
+  for (i = 0; i < (int) sizeof (mklower_table); i++)
     mklower_table[i] = (isupper (c = (char) i)) ? tolower (c) : c;
 
-  for (i = 0; i < sizeof (notend_table); i++)
+  for (i = 0; i < (int) sizeof (notend_table); i++)
     {
       notend_table[i] = 0;
       alt_notend_table[i] = 0;
@@ -3023,6 +3900,20 @@ md_begin ()
      */
   alt_notend_table['@'] = 1;
 
+  /* We need to put digits in alt_notend_table to handle
+       bfextu %d0{24:1},%d0
+     */
+  alt_notend_table['0'] = 1;
+  alt_notend_table['1'] = 1;
+  alt_notend_table['2'] = 1;
+  alt_notend_table['3'] = 1;
+  alt_notend_table['4'] = 1;
+  alt_notend_table['5'] = 1;
+  alt_notend_table['6'] = 1;
+  alt_notend_table['7'] = 1;
+  alt_notend_table['8'] = 1;
+  alt_notend_table['9'] = 1;
+
 #ifndef MIT_SYNTAX_ONLY
   /* Insert pseudo ops, these have to go into the opcode table since
      gas expects pseudo ops to start with a dot */
@@ -3042,6 +3933,48 @@ md_begin ()
 #endif
 
   init_regtable ();
+
+#ifdef OBJ_ELF
+  record_alignment (text_section, 2);
+  record_alignment (data_section, 2);
+  record_alignment (bss_section, 2);
+#endif
+}
+
+static void
+select_control_regs ()
+{
+  /* Note which set of "movec" control registers is available.  */
+  switch (cpu_of_arch (current_architecture))
+    {
+    case m68000:
+      control_regs = m68000_control_regs;
+      break;
+    case m68010:
+      control_regs = m68010_control_regs;
+      break;
+    case m68020:
+    case m68030:
+      control_regs = m68020_control_regs;
+      break;
+    case m68040:
+      control_regs = m68040_control_regs;
+      break;
+    case m68060:
+      control_regs = m68060_control_regs;
+      break;
+    case cpu32:
+      control_regs = cpu32_control_regs;
+      break;
+    case mcf5200:
+    case mcf5206e:
+    case mcf5307:
+    case mcf5407:
+      control_regs = mcf_control_regs;
+      break;
+    default:
+      abort ();
+    }
 }
 
 void
@@ -3059,7 +3992,7 @@ m68k_init_after_args ()
          break;
       if (i == n_archs)
        {
-         as_bad ("unrecognized default cpu `%s' ???", TARGET_CPU);
+         as_bad (_("unrecognized default cpu `%s' ???"), TARGET_CPU);
          current_architecture |= m68020;
        }
       else
@@ -3071,7 +4004,7 @@ m68k_init_after_args ()
     {
       if (current_architecture & m68040)
        {
-         as_warn ("68040 and 68851 specified; mmu instructions may assemble incorrectly");
+         as_warn (_("68040 and 68851 specified; mmu instructions may assemble incorrectly"));
        }
     }
   /* What other incompatibilities could we check for?  */
@@ -3091,9 +4024,9 @@ m68k_init_after_args ()
       current_architecture |= m68851;
     }
   if (no_68881 && (current_architecture & m68881))
-    as_bad ("options for 68881 and no-68881 both given");
+    as_bad (_("options for 68881 and no-68881 both given"));
   if (no_68851 && (current_architecture & m68851))
-    as_bad ("options for 68851 and no-68851 both given");
+    as_bad (_("options for 68851 and no-68851 both given"));
 
 #ifdef OBJ_AOUT
   /* Work out the magic number.  This isn't very general.  */
@@ -3108,41 +4041,115 @@ m68k_init_after_args ()
 #endif
 
   /* Note which set of "movec" control registers is available.  */
-  switch (cpu_of_arch (current_architecture))
+  select_control_regs ();
+
+  if (cpu_of_arch (current_architecture) < m68020
+      || arch_coldfire_p (current_architecture))
+    md_relax_table[TAB (PCINDEX, BYTE)].rlx_more = 0;
+}
+\f
+/* This is called when a label is defined.  */
+
+void
+m68k_frob_label (sym)
+     symbolS *sym;
+{
+  struct label_line *n;
+
+  n = (struct label_line *) xmalloc (sizeof *n);
+  n->next = labels;
+  n->label = sym;
+  as_where (&n->file, &n->line);
+  n->text = 0;
+  labels = n;
+  current_label = n;
+}
+
+/* This is called when a value that is not an instruction is emitted.  */
+
+void
+m68k_flush_pending_output ()
+{
+  current_label = NULL;
+}
+
+/* This is called at the end of the assembly, when the final value of
+   the label is known.  We warn if this is a text symbol aligned at an
+   odd location.  */
+
+void
+m68k_frob_symbol (sym)
+     symbolS *sym;
+{
+  if (S_GET_SEGMENT (sym) == reg_section
+      && (int) S_GET_VALUE (sym) < 0)
     {
-    case m68000:
-      control_regs = m68000_control_regs;
-      break;
-    case m68010:
-      control_regs = m68010_control_regs;
-      break;
-    case m68020:
-    case m68030:
-      control_regs = m68020_control_regs;
-      break;
-    case m68040:
-      control_regs = m68040_control_regs;
-      break;
-    case m68060:
-      control_regs = m68060_control_regs;
-      break;
-    case cpu32:
-      control_regs = cpu32_control_regs;
-      break;
-    default:
-      abort ();
+      S_SET_SEGMENT (sym, absolute_section);
+      S_SET_VALUE (sym, ~(int)S_GET_VALUE (sym));
     }
+  else if ((S_GET_VALUE (sym) & 1) != 0)
+    {
+      struct label_line *l;
 
-  if (cpu_of_arch (current_architecture) < m68020)
-    md_relax_table[TAB (PCINDEX, BYTE)].rlx_more = 0;
+      for (l = labels; l != NULL; l = l->next)
+       {
+         if (l->label == sym)
+           {
+             if (l->text)
+               as_warn_where (l->file, l->line,
+                              _("text label `%s' aligned to odd boundary"),
+                              S_GET_NAME (sym));
+             break;
+           }
+       }
+    }
+}
+\f
+/* This is called if we go in or out of MRI mode because of the .mri
+   pseudo-op.  */
+
+void
+m68k_mri_mode_change (on)
+     int on;
+{
+  if (on)
+    {
+      if (! flag_reg_prefix_optional)
+       {
+         flag_reg_prefix_optional = 1;
+#ifdef REGISTER_PREFIX
+         init_regtable ();
+#endif
+       }
+      m68k_abspcadd = 1;
+      if (! m68k_rel32_from_cmdline)
+       m68k_rel32 = 0;
+    }
+  else
+    {
+      if (! reg_prefix_optional_seen)
+       {
+#ifdef REGISTER_PREFIX_OPTIONAL
+         flag_reg_prefix_optional = REGISTER_PREFIX_OPTIONAL;
+#else
+         flag_reg_prefix_optional = 0;
+#endif
+#ifdef REGISTER_PREFIX
+         init_regtable ();
+#endif
+       }
+      m68k_abspcadd = 0;
+      if (! m68k_rel32_from_cmdline)
+       m68k_rel32 = 1;
+    }
 }
 
 /* Equal to MAX_PRECISION in atof-ieee.c */
 #define MAX_LITTLENUMS 6
 
 /* 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
+   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.  */
 
 char *
@@ -3155,7 +4162,6 @@ md_atof (type, litP, sizeP)
   LITTLENUM_TYPE words[MAX_LITTLENUMS];
   LITTLENUM_TYPE *wordP;
   char *t;
-  char *atof_ieee ();
 
   switch (type)
     {
@@ -3185,7 +4191,7 @@ md_atof (type, litP, sizeP)
 
     default:
       *sizeP = 0;
-      return "Bad call to MD_ATOF()";
+      return _("Bad call to MD_ATOF()");
     }
   t = atof_ieee (input_line_pointer, type, words);
   if (t)
@@ -3228,6 +4234,26 @@ md_apply_fix_2 (fixP, val)
   else
     val &= 0x7fffffff;
 
+#ifdef OBJ_ELF
+  if (fixP->fx_addsy)
+    {
+      memset (buf, 0, fixP->fx_size);
+      fixP->fx_addnumber = val;        /* Remember value for emit_reloc */
+
+      if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+         && !S_IS_DEFINED (fixP->fx_addsy)
+         && !S_IS_WEAK (fixP->fx_addsy))
+       S_SET_WEAK (fixP->fx_addsy);
+      return;
+    }
+#endif
+
+#ifdef BFD_ASSEMBLER
+  if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
+      || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
+    return;
+#endif
+
   switch (fixP->fx_size)
     {
       /* The cast to offsetT below are necessary to make code correct for
@@ -3255,26 +4281,40 @@ md_apply_fix_2 (fixP, val)
       BAD_CASE (fixP->fx_size);
     }
 
+  /* Fix up a negative reloc.  */
+  if (fixP->fx_addsy == NULL && fixP->fx_subsy != NULL)
+    {
+      fixP->fx_addsy = fixP->fx_subsy;
+      fixP->fx_subsy = NULL;
+      fixP->fx_tcbit = 1;
+    }
+
   /* For non-pc-relative values, it's conceivable we might get something
      like "0xff" for a byte field.  So extend the upper part of the range
      to accept such numbers.  We arbitrarily disallow "-0xff" or "0xff+0xff",
      so that we can do any range checking at all.  */
-  if (!fixP->fx_pcrel)
+  if (! fixP->fx_pcrel && ! fixP->fx_signed)
     upper_limit = upper_limit * 2 + 1;
 
   if ((addressT) val > upper_limit
       && (val > 0 || val < lower_limit))
-    as_bad_where (fixP->fx_file, fixP->fx_line, "value out of range");
+    as_bad_where (fixP->fx_file, fixP->fx_line, _("value out of range"));
 
   /* A one byte PC-relative reloc means a short branch.  We can't use
      a short branch with a value of 0 or -1, because those indicate
-     different opcodes (branches with longer offsets).  */
-  if (fixP->fx_pcrel
+     different opcodes (branches with longer offsets).  fixup_segment
+     in write.c may have clobbered fx_pcrel, so we need to examine the
+     reloc type.  */
+  if ((fixP->fx_pcrel
+#ifdef BFD_ASSEMBLER
+       || fixP->fx_r_type == BFD_RELOC_8_PCREL
+#endif
+       )
       && fixP->fx_size == 1
       && (fixP->fx_addsy == NULL
          || S_IS_DEFINED (fixP->fx_addsy))
       && (val == 0 || val == -1))
-    as_bad_where (fixP->fx_file, fixP->fx_line, "invalid byte branch offset");
+    as_bad_where (fixP->fx_file, fixP->fx_line, _("invalid byte branch offset"));
 }
 
 #ifdef BFD_ASSEMBLER
@@ -3299,12 +4339,11 @@ void md_apply_fix (fixP, val)
    the bytes inside it modified to conform to the new size  There is UGLY
    MAGIC here. ..
    */
-void
+static void
 md_convert_frag_1 (fragP)
      register fragS *fragP;
 {
   long disp;
-  long ext = 0;
   fixS *fixP;
 
   /* Address in object code of the displacement.  */
@@ -3312,7 +4351,7 @@ md_convert_frag_1 (fragP)
 
   /* Address in gas core of the place to store the displacement.  */
   /* This convinces the native rs6000 compiler to generate the code we
-     want. */
+     want.  */
   register char *buffer_address = fragP->fr_literal;
   buffer_address += fragP->fr_fix;
   /* end ibm compiler workaround */
@@ -3322,208 +4361,198 @@ md_convert_frag_1 (fragP)
   disp = (disp + fragP->fr_offset) - object_address;
 
 #ifdef BFD_ASSEMBLER
-  disp += fragP->fr_symbol->sy_frag->fr_address;
+  disp += symbol_get_frag (fragP->fr_symbol)->fr_address;
 #endif
 
   switch (fragP->fr_subtype)
     {
-    case TAB (BCC68000, BYTE):
-    case TAB (ABRANCH, BYTE):
+    case TAB (BRANCHBWL, BYTE):
+    case TAB (BRABSJUNC, BYTE):
+    case TAB (BRABSJCOND, BYTE):
+    case TAB (BRANCHBW, BYTE):
       know (issbyte (disp));
       if (disp == 0)
-       as_bad ("short branch with zero offset: use :w");
-      fragP->fr_opcode[1] = disp;
-      ext = 0;
+       as_bad (_("short branch with zero offset: use :w"));
+      fixP = fix_new (fragP, fragP->fr_fix - 1, 1, fragP->fr_symbol,
+                     fragP->fr_offset, 1, RELAX_RELOC_PC8);
+      fixP->fx_pcrel_adjust = -1;
       break;
-    case TAB (DBCC, SHORT):
-      know (issword (disp));
-      ext = 2;
-      break;
-    case TAB (BCC68000, SHORT):
-    case TAB (ABRANCH, SHORT):
-      know (issword (disp));
+    case TAB (BRANCHBWL, SHORT):
+    case TAB (BRABSJUNC, SHORT):
+    case TAB (BRABSJCOND, SHORT):
+    case TAB (BRANCHBW, SHORT):
       fragP->fr_opcode[1] = 0x00;
-      ext = 2;
+      fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC16);
+      fragP->fr_fix += 2;
       break;
-    case TAB (ABRANCH, LONG):
-      if (cpu_of_arch (current_architecture) < m68020)
+    case TAB (BRANCHBWL, LONG):
+      fragP->fr_opcode[1] = (char) 0xFF;
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC32);
+      fragP->fr_fix += 4;
+      break;
+    case TAB (BRABSJUNC, LONG):
+      if (fragP->fr_opcode[0] == 0x61)         /* jbsr */
        {
-         if (fragP->fr_opcode[0] == 0x61)
-           /* BSR */
-           {
-             fragP->fr_opcode[0] = 0x4E;
-             fragP->fr_opcode[1] = (char) 0xB9; /* JBSR with ABSL LONG offset */
-             subseg_change (text_section, 0); /* @@ */
-
-             fix_new (fragP,
-                      fragP->fr_fix,
-                      4,
-                      fragP->fr_symbol,
-                      fragP->fr_offset,
-                      0,
-                      NO_RELOC);
-
-             fragP->fr_fix += 4;
-             ext = 0;
-           }
-         /* BRA */
-         else if (fragP->fr_opcode[0] == 0x60)
-           {
-             fragP->fr_opcode[0] = 0x4E;
-             fragP->fr_opcode[1] = (char) 0xF9; /* JMP  with ABSL LONG offset */
-             subseg_change (text_section, 0); /* @@ */
-             fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
-                      fragP->fr_offset, 0, NO_RELOC);
-             fragP->fr_fix += 4;
-             ext = 0;
-           }
-         else
-           {
-             as_bad ("Long branch offset not supported.");
-           }
+         fragP->fr_opcode[0] = 0x4E;
+         fragP->fr_opcode[1] = (char) 0xB9; /* JSR with ABSL LONG operand */
+         fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
+                  0, RELAX_RELOC_ABS32);
+         fragP->fr_fix += 4;
+       }
+      else if (fragP->fr_opcode[0] == 0x60)    /* jbra */
+       {
+         fragP->fr_opcode[0] = 0x4E;
+         fragP->fr_opcode[1] = (char) 0xF9; /* JMP with ABSL LONG operand */
+         fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
+                  0, RELAX_RELOC_ABS32);
+         fragP->fr_fix += 4;
        }
       else
        {
-         fragP->fr_opcode[1] = (char) 0xff;
-         ext = 4;
+         /* This cannot happen, because jbsr and jbra are the only two
+            unconditional branches.  */
+         abort ();
        }
       break;
-    case TAB (BCC68000, LONG):
-      /* only Bcc 68000 instructions can come here */
-      /* change bcc into b!cc/jmp absl long */
+    case TAB (BRABSJCOND, LONG):
+      /* Only Bcc 68000 instructions can come here.  */
+      /* Change bcc into b!cc/jmp absl long.  */
+
       fragP->fr_opcode[0] ^= 0x01;     /* invert bcc */
       fragP->fr_opcode[1] = 0x6;/* branch offset = 6 */
 
       /* JF: these used to be fr_opcode[2,3], but they may be in a
           different frag, in which case refering to them is a no-no.
-          Only fr_opcode[0,1] are guaranteed to work. */
+          Only fr_opcode[0,1] are guaranteed to work.  */
       *buffer_address++ = 0x4e;        /* put in jmp long (0x4ef9) */
       *buffer_address++ = (char) 0xf9;
       fragP->fr_fix += 2;      /* account for jmp instruction */
-      subseg_change (text_section, 0);
       fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
-              fragP->fr_offset, 0, NO_RELOC);
+              fragP->fr_offset, 0, RELAX_RELOC_ABS32);
+      fragP->fr_fix += 4;
+      break;
+    case TAB (FBRANCH, SHORT):
+      know ((fragP->fr_opcode[1] & 0x40) == 0);
+      fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC16);
+      fragP->fr_fix += 2;
+      break;
+    case TAB (FBRANCH, LONG):
+      fragP->fr_opcode[1] |= 0x40;     /* Turn on LONG bit */
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC32);
       fragP->fr_fix += 4;
-      ext = 0;
       break;
-    case TAB (DBCC, LONG):
-      /* only DBcc 68000 instructions can come here */
-      /* change dbcc into dbcc/jmp absl long */
+    case TAB (DBCCLBR, SHORT):
+    case TAB (DBCCABSJ, SHORT):
+      fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC16);
+      fragP->fr_fix += 2;
+      break;
+    case TAB (DBCCLBR, LONG):
+      /* only DBcc instructions can come here */
+      /* Change dbcc into dbcc/bral.  */
+
       /* JF: these used to be fr_opcode[2-7], but that's wrong */
       *buffer_address++ = 0x00;        /* branch offset = 4 */
       *buffer_address++ = 0x04;
       *buffer_address++ = 0x60;        /* put in bra pc+6 */
       *buffer_address++ = 0x06;
-      *buffer_address++ = 0x4e;        /* put in jmp long (0x4ef9) */
-      *buffer_address++ = (char) 0xf9;
+      *buffer_address++ = 0x60;     /* Put in bral (0x60ff).  */
+      *buffer_address++ = (char) 0xff;
 
       fragP->fr_fix += 6;      /* account for bra/jmp instructions */
-      subseg_change (text_section, 0);
-      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
-              fragP->fr_offset, 0, NO_RELOC);
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset, 1,
+              RELAX_RELOC_PC32);
       fragP->fr_fix += 4;
-      ext = 0;
-      break;
-    case TAB (FBRANCH, SHORT):
-      know ((fragP->fr_opcode[1] & 0x40) == 0);
-      ext = 2;
-      break;
-    case TAB (FBRANCH, LONG):
-      fragP->fr_opcode[1] |= 0x40;     /* Turn on LONG bit */
-      ext = 4;
-      break;
-    case TAB (PCREL, SHORT):
-      ext = 2;
       break;
-    case TAB (PCREL, LONG):
-      /* The thing to do here is force it to ABSOLUTE LONG, since
-       PCREL is really trying to shorten an ABSOLUTE address anyway */
-      /* JF FOO This code has not been tested */
-      subseg_change (text_section, 0);
-      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
-              0, NO_RELOC);
-      if ((fragP->fr_opcode[1] & 0x3F) != 0x3A)
-       as_bad ("Internal error (long PC-relative operand) for insn 0x%04x at 0x%lx",
-               (unsigned) fragP->fr_opcode[0],
-               (unsigned long) fragP->fr_address);
-      fragP->fr_opcode[1] &= ~0x3F;
-      fragP->fr_opcode[1] |= 0x39;     /* Mode 7.1 */
+    case TAB (DBCCABSJ, LONG):
+      /* only DBcc instructions can come here */
+      /* Change dbcc into dbcc/jmp.  */
+
+      /* JF: these used to be fr_opcode[2-7], but that's wrong */
+      *buffer_address++ = 0x00;        /* branch offset = 4 */
+      *buffer_address++ = 0x04;
+      *buffer_address++ = 0x60;        /* put in bra pc+6 */
+      *buffer_address++ = 0x06;
+      *buffer_address++ = 0x4e;     /* Put in jmp long (0x4ef9).  */
+      *buffer_address++ = (char) 0xf9;
+
+      fragP->fr_fix += 6;      /* account for bra/jmp instructions */
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset, 0,
+              RELAX_RELOC_ABS32);
       fragP->fr_fix += 4;
-      ext = 0;
       break;
-    case TAB (PCLEA, SHORT):
-      subseg_change (text_section, 0);
-      fix_new (fragP, (int) (fragP->fr_fix), 2, fragP->fr_symbol,
-              fragP->fr_offset, 1, NO_RELOC);
+    case TAB (PCREL1632, SHORT):
       fragP->fr_opcode[1] &= ~0x3F;
       fragP->fr_opcode[1] |= 0x3A; /* 072 - mode 7.2 */
-      ext = 2;
+      fix_new (fragP, (int) (fragP->fr_fix), 2, fragP->fr_symbol,
+              fragP->fr_offset, 1, RELAX_RELOC_PC16);
+      fragP->fr_fix += 2;
       break;
-    case TAB (PCLEA, LONG):
-      subseg_change (text_section, 0);
-      fixP = fix_new (fragP, (int) (fragP->fr_fix) + 2, 4, fragP->fr_symbol,
-                     fragP->fr_offset, 1, NO_RELOC);
-      fixP->fx_pcrel_adjust = 2;
+    case TAB (PCREL1632, LONG):
       /* Already set to mode 7.3; this indicates: PC indirect with
         suppressed index, 32-bit displacement.  */
       *buffer_address++ = 0x01;
       *buffer_address++ = 0x70;
       fragP->fr_fix += 2;
-      ext = 4;
+      fixP = fix_new (fragP, (int) (fragP->fr_fix), 4, fragP->fr_symbol,
+                     fragP->fr_offset, 1, RELAX_RELOC_PC32);
+      fixP->fx_pcrel_adjust = 2;
+      fragP->fr_fix += 4;
       break;
-
     case TAB (PCINDEX, BYTE):
-      disp += 2;
-      if (!issbyte (disp))
-       {
-         as_bad ("displacement doesn't fit in one byte");
-         disp = 0;
-       }
       assert (fragP->fr_fix >= 2);
       buffer_address[-2] &= ~1;
-      buffer_address[-1] = disp;
-      ext = 0;
+      fixP = fix_new (fragP, fragP->fr_fix - 1, 1, fragP->fr_symbol,
+                     fragP->fr_offset, 1, RELAX_RELOC_PC8);
+      fixP->fx_pcrel_adjust = 1;
       break;
     case TAB (PCINDEX, SHORT):
-      subseg_change (text_section, 0);
-      disp += 2;
-      assert (issword (disp));
       assert (fragP->fr_fix >= 2);
       buffer_address[-2] |= 0x1;
       buffer_address[-1] = 0x20;
       fixP = fix_new (fragP, (int) (fragP->fr_fix), 2, fragP->fr_symbol,
-                     fragP->fr_offset, (fragP->fr_opcode[1] & 077) == 073,
-                     NO_RELOC);
+                     fragP->fr_offset, 1, RELAX_RELOC_PC16);
       fixP->fx_pcrel_adjust = 2;
-      ext = 2;
+      fragP->fr_fix += 2;
       break;
     case TAB (PCINDEX, LONG):
-      subseg_change (text_section, 0);
-      disp += 2;
-      fixP = fix_new (fragP, (int) (fragP->fr_fix), 4, fragP->fr_symbol,
-                     fragP->fr_offset, (fragP->fr_opcode[1] & 077) == 073,
-                     NO_RELOC);
-      fixP->fx_pcrel_adjust = 2;
       assert (fragP->fr_fix >= 2);
       buffer_address[-2] |= 0x1;
       buffer_address[-1] = 0x30;
-      ext = 4;
+      fixP = fix_new (fragP, (int) (fragP->fr_fix), 4, fragP->fr_symbol,
+                     fragP->fr_offset, 1, RELAX_RELOC_PC32);
+      fixP->fx_pcrel_adjust = 2;
+      fragP->fr_fix += 4;
+      break;
+    case TAB (ABSTOPCREL, SHORT):
+      fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol, fragP->fr_offset,
+              1, RELAX_RELOC_PC16);
+      fragP->fr_fix += 2;
+      break;
+    case TAB (ABSTOPCREL, LONG):
+      /* The thing to do here is force it to ABSOLUTE LONG, since
+        ABSTOPCREL is really trying to shorten an ABSOLUTE address anyway */
+      if ((fragP->fr_opcode[1] & 0x3F) != 0x3A)
+       abort ();
+      fragP->fr_opcode[1] &= ~0x3F;
+      fragP->fr_opcode[1] |= 0x39;     /* Mode 7.1 */
+      fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol, fragP->fr_offset,
+              0, RELAX_RELOC_ABS32);
+      fragP->fr_fix += 4;
       break;
     }
-
-  if (ext)
-    {
-      md_number_to_chars (buffer_address, (long) disp, (int) ext);
-      fragP->fr_fix += ext;
-    }
 }
 
 #ifndef BFD_ASSEMBLER
 
 void
 md_convert_frag (headers, sec, fragP)
-     object_headers *headers;
-     segT sec;
+     object_headers *headers ATTRIBUTE_UNUSED;
+     segT sec ATTRIBUTE_UNUSED;
      fragS *fragP;
 {
   md_convert_frag_1 (fragP);
@@ -3533,8 +4562,8 @@ md_convert_frag (headers, sec, fragP)
 
 void
 md_convert_frag (abfd, sec, fragP)
-     bfd *abfd;
-     segT sec;
+     bfd *abfd ATTRIBUTE_UNUSED;
+     segT sec ATTRIBUTE_UNUSED;
      fragS *fragP;
 {
   md_convert_frag_1 (fragP);
@@ -3550,202 +4579,128 @@ md_estimate_size_before_relax (fragP, segment)
      segT segment;
 {
   int old_fix;
-  register char *buffer_address = fragP->fr_fix + fragP->fr_literal;
 
   old_fix = fragP->fr_fix;
 
-  /* handle SZ_UNDEF first, it can be changed to BYTE or SHORT */
+  /* Handle SZ_UNDEF first, it can be changed to BYTE or SHORT.  */
   switch (fragP->fr_subtype)
     {
-
-    case TAB (ABRANCH, SZ_UNDEF):
+    case TAB (BRANCHBWL, SZ_UNDEF):
+    case TAB (BRABSJUNC, SZ_UNDEF):
       {
-       if ((fragP->fr_symbol != NULL)  /* Not absolute */
-           && S_GET_SEGMENT (fragP->fr_symbol) == segment)
+       if (S_GET_SEGMENT (fragP->fr_symbol) == segment
+           && relaxable_symbol (fragP->fr_symbol))
          {
            fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), BYTE);
-           break;
          }
-       else if ((fragP->fr_symbol == 0) || (cpu_of_arch (current_architecture) < m68020))
+       else if (flag_short_refs)
          {
-           /* On 68000, or for absolute value, switch to abs long */
-           /* FIXME, we should check abs val, pick short or long */
-           if (fragP->fr_opcode[0] == 0x61)
-             {
-               fragP->fr_opcode[0] = 0x4E;
-               fragP->fr_opcode[1] = (char) 0xB9; /* JBSR with ABSL LONG offset */
-               subseg_change (text_section, 0);
-               fix_new (fragP, fragP->fr_fix, 4,
-                        fragP->fr_symbol, fragP->fr_offset, 0, NO_RELOC);
-               fragP->fr_fix += 4;
-               frag_wane (fragP);
-             }
-           else if (fragP->fr_opcode[0] == 0x60)
-             {
-               fragP->fr_opcode[0] = 0x4E;
-               fragP->fr_opcode[1] = (char) 0xF9; /* JMP  with ABSL LONG offset */
-               subseg_change (text_section, 0);
-               fix_new (fragP, fragP->fr_fix, 4,
-                        fragP->fr_symbol, fragP->fr_offset, 0, NO_RELOC);
-               fragP->fr_fix += 4;
-               frag_wane (fragP);
-             }
-           else
-             {
-               as_warn ("Long branch offset to extern symbol not supported.");
-             }
+           /* Symbol is undefined and we want short ref.  */
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
+           fragP->fr_var += 2;
          }
        else
-         {                     /* Symbol is still undefined.  Make it simple */
-           fix_new (fragP, (int) (fragP->fr_fix), 4, fragP->fr_symbol,
-                    fragP->fr_offset, 1, NO_RELOC);
-           fragP->fr_fix += 4;
-           fragP->fr_opcode[1] = (char) 0xff;
-           frag_wane (fragP);
-           break;
+         {
+           /* Symbol is still undefined.  Make it LONG.  */
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), LONG);
+           fragP->fr_var += 4;
          }
-
        break;
-      }                                /* case TAB(ABRANCH,SZ_UNDEF) */
+      }
 
-    case TAB (FBRANCH, SZ_UNDEF):
+    case TAB (BRABSJCOND, SZ_UNDEF):
       {
-       if (S_GET_SEGMENT (fragP->fr_symbol) == segment || flag_short_refs)
+       if (S_GET_SEGMENT (fragP->fr_symbol) == segment
+           && relaxable_symbol (fragP->fr_symbol))
          {
-           fragP->fr_subtype = TAB (FBRANCH, SHORT);
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), BYTE);
+         }
+       else if (flag_short_refs)
+         {
+           /* Symbol is undefined and we want short ref.  */
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
            fragP->fr_var += 2;
          }
        else
          {
-           fix_new (fragP, (int) fragP->fr_fix, 4, fragP->fr_symbol,
-                    fragP->fr_offset, 1, NO_RELOC);
-           fragP->fr_fix += 4;
-           fragP->fr_opcode[1] |= 0x40; /* Turn on LONG bit */
-           frag_wane (fragP);
+           /* Symbol is still undefined.  Make it LONG.  */
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), LONG);
+           fragP->fr_var += 6;
          }
        break;
-      }                                /* TAB(FBRANCH,SZ_UNDEF) */
+      }
 
-    case TAB (PCREL, SZ_UNDEF):
+    case TAB (BRANCHBW, SZ_UNDEF):
       {
        if (S_GET_SEGMENT (fragP->fr_symbol) == segment
-           || flag_short_refs
-           || cpu_of_arch (current_architecture) < m68020)
+           && relaxable_symbol (fragP->fr_symbol))
          {
-           fragP->fr_subtype = TAB (PCREL, SHORT);
-           fragP->fr_var += 2;
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), BYTE);
          }
        else
          {
-           fragP->fr_subtype = TAB (PCREL, LONG);
-           fragP->fr_var += 4;
+           /* Symbol is undefined and we don't have long branches.  */
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
+           fragP->fr_var += 2;
          }
        break;
-      }                                /* TAB(PCREL,SZ_UNDEF) */
+      }
 
-    case TAB (BCC68000, SZ_UNDEF):
+    case TAB (FBRANCH, SZ_UNDEF):
       {
-       if ((fragP->fr_symbol != NULL)
-           && S_GET_SEGMENT (fragP->fr_symbol) == segment)
+       if ((S_GET_SEGMENT (fragP->fr_symbol) == segment
+            && relaxable_symbol (fragP->fr_symbol))
+           || flag_short_refs)
          {
-           fragP->fr_subtype = TAB (BCC68000, BYTE);
-           break;
-         }
-       /* only Bcc 68000 instructions can come here */
-       /* change bcc into b!cc/jmp absl long */
-       fragP->fr_opcode[0] ^= 0x01;    /* invert bcc */
-       if (flag_short_refs)
-         {
-           fragP->fr_opcode[1] = 0x04; /* branch offset = 6 */
-           /* JF: these were fr_opcode[2,3] */
-           buffer_address[0] = 0x4e;   /* put in jmp long (0x4ef9) */
-           buffer_address[1] = (char) 0xf8;
-           fragP->fr_fix += 2; /* account for jmp instruction */
-           subseg_change (text_section, 0);
-           fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
-                    fragP->fr_offset, 0, NO_RELOC);
-           fragP->fr_fix += 2;
+           fragP->fr_subtype = TAB (FBRANCH, SHORT);
+           fragP->fr_var += 2;
          }
        else
          {
-           fragP->fr_opcode[1] = 0x06; /* branch offset = 6 */
-           /* JF: these were fr_opcode[2,3] */
-           buffer_address[0] = 0x4e;   /* put in jmp long (0x4ef9) */
-           buffer_address[1] = (char) 0xf9;
-           fragP->fr_fix += 2; /* account for jmp instruction */
-           subseg_change (text_section, 0);
-           fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
-                    fragP->fr_offset, 0, NO_RELOC);
-           fragP->fr_fix += 4;
+           fragP->fr_subtype = TAB (FBRANCH, LONG);
+           fragP->fr_var += 4;
          }
-       frag_wane (fragP);
        break;
-      }                                /* case TAB(BCC68000,SZ_UNDEF) */
+      }
 
-    case TAB (DBCC, SZ_UNDEF):
+    case TAB (DBCCLBR, SZ_UNDEF):
+    case TAB (DBCCABSJ, SZ_UNDEF):
       {
-       if (fragP->fr_symbol != NULL && S_GET_SEGMENT (fragP->fr_symbol) == segment)
+       if ((S_GET_SEGMENT (fragP->fr_symbol) == segment
+            && relaxable_symbol (fragP->fr_symbol))
+           || flag_short_refs)
          {
-           fragP->fr_subtype = TAB (DBCC, SHORT);
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
            fragP->fr_var += 2;
-           break;
-         }
-       /* only DBcc 68000 instructions can come here */
-       /* change dbcc into dbcc/jmp absl long */
-       /* JF: these used to be fr_opcode[2-4], which is wrong. */
-       buffer_address[0] = 0x00;       /* branch offset = 4 */
-       buffer_address[1] = 0x04;
-       buffer_address[2] = 0x60;       /* put in bra pc + ... */
-
-       if (flag_short_refs)
-         {
-           /* JF: these were fr_opcode[5-7] */
-           buffer_address[3] = 0x04;   /* plus 4 */
-           buffer_address[4] = 0x4e;   /* Put in Jump Word */
-           buffer_address[5] = (char) 0xf8;
-           fragP->fr_fix += 6; /* account for bra/jmp instruction */
-           subseg_change (text_section, 0);
-           fix_new (fragP, fragP->fr_fix, 2, fragP->fr_symbol,
-                    fragP->fr_offset, 0, NO_RELOC);
-           fragP->fr_fix += 2;
          }
        else
          {
-           /* JF: these were fr_opcode[5-7] */
-           buffer_address[3] = 0x06;   /* Plus 6 */
-           buffer_address[4] = 0x4e;   /* put in jmp long (0x4ef9) */
-           buffer_address[5] = (char) 0xf9;
-           fragP->fr_fix += 6; /* account for bra/jmp instruction */
-           subseg_change (text_section, 0);
-           fix_new (fragP, fragP->fr_fix, 4, fragP->fr_symbol,
-                    fragP->fr_offset, 0, NO_RELOC);
-           fragP->fr_fix += 4;
+           fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), LONG);
+           fragP->fr_var += 10;
          }
-
-       frag_wane (fragP);
        break;
-      }                                /* case TAB(DBCC,SZ_UNDEF) */
+      }
 
-    case TAB (PCLEA, SZ_UNDEF):
+    case TAB (PCREL1632, SZ_UNDEF):
       {
-       if ((S_GET_SEGMENT (fragP->fr_symbol)) == segment
-           || flag_short_refs
-           || cpu_of_arch (current_architecture) < m68020)
+       if (((S_GET_SEGMENT (fragP->fr_symbol)) == segment
+            && relaxable_symbol (fragP->fr_symbol))
+           || flag_short_refs)
          {
-           fragP->fr_subtype = TAB (PCLEA, SHORT);
+           fragP->fr_subtype = TAB (PCREL1632, SHORT);
            fragP->fr_var += 2;
          }
        else
          {
-           fragP->fr_subtype = TAB (PCLEA, LONG);
+           fragP->fr_subtype = TAB (PCREL1632, LONG);
            fragP->fr_var += 6;
          }
        break;
-      }                                /* TAB(PCLEA,SZ_UNDEF) */
+      }
 
     case TAB (PCINDEX, SZ_UNDEF):
-      if (S_GET_SEGMENT (fragP->fr_symbol) == segment
-         || cpu_of_arch (current_architecture) < m68020)
+      if ((S_GET_SEGMENT (fragP->fr_symbol) == segment
+          && relaxable_symbol (fragP->fr_symbol)))
        {
          fragP->fr_subtype = TAB (PCINDEX, BYTE);
        }
@@ -3756,22 +4711,54 @@ md_estimate_size_before_relax (fragP, segment)
        }
       break;
 
+    case TAB (ABSTOPCREL, SZ_UNDEF):
+      {
+       if ((S_GET_SEGMENT (fragP->fr_symbol) == segment
+            && relaxable_symbol (fragP->fr_symbol)))
+         {
+           fragP->fr_subtype = TAB (ABSTOPCREL, SHORT);
+           fragP->fr_var += 2;
+         }
+       else
+         {
+           fragP->fr_subtype = TAB (ABSTOPCREL, LONG);
+           fragP->fr_var += 4;
+         }
+       break;
+      }
+
     default:
       break;
     }
 
-  /* now that SZ_UNDEF are taken care of, check others */
+  /* Now that SZ_UNDEF are taken care of, check others.  */
   switch (fragP->fr_subtype)
     {
-    case TAB (BCC68000, BYTE):
-    case TAB (ABRANCH, BYTE):
-      /* We can't do a short jump to the next instruction,
-          so we force word mode.  */
-      if (fragP->fr_symbol && S_GET_VALUE (fragP->fr_symbol) == 0 &&
-         fragP->fr_symbol->sy_frag == fragP->fr_next)
+    case TAB (BRANCHBWL, BYTE):
+    case TAB (BRABSJUNC, BYTE):
+    case TAB (BRABSJCOND, BYTE):
+    case TAB (BRANCHBW, BYTE):
+      /* We can't do a short jump to the next instruction, so in that
+        case we force word mode.  At this point S_GET_VALUE should
+        return the offset of the symbol within its frag.  If the
+        symbol is at the start of a frag, and it is the next frag
+        with any data in it (usually this is just the next frag, but
+        assembler listings may introduce empty frags), we must use
+        word mode.  */
+      if (fragP->fr_symbol && S_GET_VALUE (fragP->fr_symbol) == 0)
        {
-         fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
-         fragP->fr_var += 2;
+         fragS *stop;
+         fragS *l;
+
+         stop = symbol_get_frag (fragP->fr_symbol);
+         for (l = fragP->fr_next; l != stop; l = l->fr_next)
+           if (l->fr_fix + l->fr_var != 0)
+             break;
+         if (l == stop)
+           {
+             fragP->fr_subtype = TAB (TABTYPE (fragP->fr_subtype), SHORT);
+             fragP->fr_var += 2;
+           }
        }
       break;
     default:
@@ -3790,7 +4777,7 @@ md_estimate_size_before_relax (fragP, segment)
    bit 7 as pcrel, bits 6 & 5 as length, bit 4 as pcrel, and the lower
    nibble as nuthin. (on Sun 3 at least) */
 /* Translate the internal relocation information into target-specific
-   format. */
+   format.  */
 #ifdef comment
 void
 md_ri_to_chars (the_bytes, ri)
@@ -3852,8 +4839,8 @@ void
 md_create_short_jump (ptr, from_addr, to_addr, frag, to_symbol)
      char *ptr;
      addressT from_addr, to_addr;
-     fragS *frag;
-     symbolS *to_symbol;
+     fragS *frag ATTRIBUTE_UNUSED;
+     symbolS *to_symbol ATTRIBUTE_UNUSED;
 {
   valueT offset;
 
@@ -3872,7 +4859,7 @@ md_create_long_jump (ptr, from_addr, to_addr, frag, to_symbol)
 {
   valueT offset;
 
-  if (cpu_of_arch (current_architecture) < m68020)
+  if (!HAVE_LONG_BRANCH(current_architecture))
     {
       offset = to_addr - S_GET_VALUE (to_symbol);
       md_number_to_chars (ptr, (valueT) 0x4EF9, 2);
@@ -3920,7 +4907,7 @@ get_num (exp, ok)
       offs (exp) = 0;
       if (ok == 10)
        {
-         as_warn ("expression out of range: defaulting to 1");
+         as_warn (_("expression out of range: defaulting to 1"));
          offs (exp) = 1;
        }
     }
@@ -3931,7 +4918,7 @@ get_num (exp, ok)
        case 10:
          if (offs (exp) < 1 || offs (exp) > 8)
            {
-             as_warn ("expression out of range: defaulting to 1");
+             as_warn (_("expression out of range: defaulting to 1"));
              offs (exp) = 1;
            }
          break;
@@ -3963,7 +4950,7 @@ get_num (exp, ok)
          if (offs (exp) < 0 || offs (exp) > 4095)
            {
            outrange:
-             as_warn ("expression out of range: defaulting to 0");
+             as_warn (_("expression out of range: defaulting to 0"));
              offs (exp) = 0;
            }
          break;
@@ -3996,7 +4983,7 @@ get_num (exp, ok)
          adds (exp) = 0;
          subs (exp) = 0;
          offs (exp) = (ok == 10) ? 1 : 0;
-         as_warn ("Can't deal with expression; defaulting to %ld",
+         as_warn (_("Can't deal with expression; defaulting to %ld"),
                   offs (exp));
        }
     }
@@ -4008,7 +4995,7 @@ get_num (exp, ok)
          adds (exp) = 0;
          subs (exp) = 0;
          offs (exp) = (ok == 10) ? 1 : 0;
-         as_warn ("Can't deal with expression; defaulting to %ld",
+         as_warn (_("Can't deal with expression; defaulting to %ld"),
                   offs (exp));
        }
     }
@@ -4022,11 +5009,11 @@ get_num (exp, ok)
          break;
        case SIZE_BYTE:
          if (!isbyte (offs (exp)))
-           as_warn ("expression doesn't fit in BYTE");
+           as_warn (_("expression doesn't fit in BYTE"));
          break;
        case SIZE_WORD:
          if (!isword (offs (exp)))
-           as_warn ("expression doesn't fit in WORD");
+           as_warn (_("expression doesn't fit in WORD"));
          break;
        }
     }
@@ -4035,11 +5022,10 @@ get_num (exp, ok)
 }
 
 /* These are the back-ends for the various machine dependent pseudo-ops.  */
-void demand_empty_rest_of_line ();     /* Hate those extra verbose names */
 
 static void
 s_data1 (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   subseg_set (data_section, 1);
   demand_empty_rest_of_line ();
@@ -4047,7 +5033,7 @@ s_data1 (ignore)
 
 static void
 s_data2 (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   subseg_set (data_section, 2);
   demand_empty_rest_of_line ();
@@ -4055,7 +5041,7 @@ s_data2 (ignore)
 
 static void
 s_bss (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   /* We don't support putting frags in the BSS segment, we fake it
      by marking in_bss, then looking at s_skip for clues.  */
@@ -4066,27 +5052,40 @@ s_bss (ignore)
 
 static void
 s_even (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   register int temp;
   register long temp_fill;
 
   temp = 1;                    /* JF should be 2? */
   temp_fill = get_absolute_expression ();
-  if (!need_pass_2)            /* Never make frag if expect extra pass. */
-    frag_align (temp, (int) temp_fill);
+  if (!need_pass_2)            /* Never make frag if expect extra pass.  */
+    frag_align (temp, (int) temp_fill, 0);
   demand_empty_rest_of_line ();
+  record_alignment (now_seg, temp);
 }
 
 static void
 s_proc (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   demand_empty_rest_of_line ();
 }
 \f
 /* Pseudo-ops handled for MRI compatibility.  */
 
+/* This function returns non-zero if the argument is a conditional
+   pseudo-op.  This is called when checking whether a pending
+   alignment is needed.  */
+
+int
+m68k_conditional_pseudoop (pop)
+     pseudo_typeS *pop;
+{
+  return (pop->poc_handler == s_mri_if
+         || pop->poc_handler == s_mri_else);
+}
+
 /* Handle an MRI style chip specification.  */
 
 static void
@@ -4097,13 +5096,17 @@ mri_chip ()
   int i;
 
   s = input_line_pointer;
-  c = get_symbol_end ();
+  /* We can't use get_symbol_end since the processor names are not proper
+     symbols.  */
+  while (is_part_of_name (c = *input_line_pointer++))
+    ;
+  *--input_line_pointer = 0;
   for (i = 0; i < n_archs; i++)
     if (strcasecmp (s, archs[i].name) == 0)
       break;
   if (i >= n_archs)
     {
-      as_bad ("%s: unrecognized processor name", s);
+      as_bad (_("%s: unrecognized processor name"), s);
       *input_line_pointer = c;
       ignore_rest_of_line ();
       return;
@@ -4120,22 +5123,36 @@ mri_chip ()
     {
       ++input_line_pointer;
       s = input_line_pointer;
-      c = get_symbol_end ();
+      /* We can't use get_symbol_end since the processor names are not
+        proper symbols.  */
+      while (is_part_of_name (c = *input_line_pointer++))
+       ;
+      *--input_line_pointer = 0;
       if (strcmp (s, "68881") == 0)
        current_architecture |= m68881;
       else if (strcmp (s, "68851") == 0)
        current_architecture |= m68851;
       *input_line_pointer = c;
     }
+
+  /* Update info about available control registers.  */
+  select_control_regs ();
 }
 
 /* The MRI CHIP pseudo-op.  */
 
 static void
 s_chip (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
+  char *stop = NULL;
+  char stopc;
+
+  if (flag_mri)
+    stop = mri_comment_field (&stopc);
   mri_chip ();
+  if (flag_mri)
+    mri_comment_end (stop, stopc);
   demand_empty_rest_of_line ();
 }
 
@@ -4143,7 +5160,7 @@ s_chip (ignore)
 
 static void
 s_fopt (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   SKIP_WHITESPACE ();
 
@@ -4154,13 +5171,13 @@ s_fopt (ignore)
       input_line_pointer += 3;
       temp = get_absolute_expression ();
       if (temp < 0 || temp > 7)
-       as_bad ("bad coprocessor id");
+       as_bad (_("bad coprocessor id"));
       else
        m68k_float_copnum = COP0 + temp;
     }
   else
     {
-      as_bad ("unrecognized fopt option");
+      as_bad (_("unrecognized fopt option"));
       ignore_rest_of_line ();
       return;
     }
@@ -4197,6 +5214,7 @@ struct opt_action
 /* The table used to handle the MRI OPT pseudo-op.  */
 
 static void skip_to_comma PARAMS ((int, int));
+static void opt_nest PARAMS ((int, int));
 static void opt_chip PARAMS ((int, int));
 static void opt_list PARAMS ((int, int));
 static void opt_list_symbols PARAMS ((int, int));
@@ -4228,6 +5246,7 @@ static const struct opt_action opt_table[] =
   { "mex", 0, 0, 0, 0 },
   { "mc", 0, 0, 0, 0 },
   { "md", 0, 0, 0, 0 },
+  { "nest", opt_nest, 0, 0, 0 },
   { "next", skip_to_comma, 0, 0, 0 },
   { "o", 0, 0, 0, 0 },
   { "old", 0, 0, 0, 0 },
@@ -4245,13 +5264,13 @@ static const struct opt_action opt_table[] =
   { "x", 0, 0, 0, 0 }
 };
 
-#define OPTCOUNT (sizeof opt_table / sizeof opt_table[0])
+#define OPTCOUNT ((int) (sizeof opt_table / sizeof opt_table[0]))
 
 /* The MRI OPT pseudo-op.  */
 
 static void
 s_opt (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   do
     {
@@ -4292,7 +5311,7 @@ s_opt (ignore)
              else if (o->pvar != NULL)
                {
                  if (! t && o->arg == o->notarg)
-                   as_bad ("option `%s' may not be negated", s);
+                   as_bad (_("option `%s' may not be negated"), s);
                  *input_line_pointer = c;
                  *o->pvar = t ? o->arg : o->notarg;
                }
@@ -4303,7 +5322,7 @@ s_opt (ignore)
        }
       if (i >= OPTCOUNT)
        {
-         as_bad ("option `%s' not recognized", s);
+         as_bad (_("option `%s' not recognized"), s);
          *input_line_pointer = c;
        }
     }
@@ -4319,20 +5338,37 @@ s_opt (ignore)
 
 static void
 skip_to_comma (arg, on)
-     int arg;
-     int on;
+     int arg ATTRIBUTE_UNUSED;
+     int on ATTRIBUTE_UNUSED;
 {
   while (*input_line_pointer != ','
         && ! is_end_of_line[(unsigned char) *input_line_pointer])
     ++input_line_pointer;
 }
 
+/* Handle the OPT NEST=depth option.  */
+
+static void
+opt_nest (arg, on)
+     int arg ATTRIBUTE_UNUSED;
+     int on ATTRIBUTE_UNUSED;
+{
+  if (*input_line_pointer != '=')
+    {
+      as_bad (_("bad format of OPT NEST=depth"));
+      return;
+    }
+
+  ++input_line_pointer;
+  max_macro_nest = get_absolute_expression ();
+}
+
 /* Handle the OPT P=chip option.  */
 
 static void
 opt_chip (arg, on)
-     int arg;
-     int on;
+     int arg ATTRIBUTE_UNUSED;
+     int on ATTRIBUTE_UNUSED;
 {
   if (*input_line_pointer != '=')
     {
@@ -4348,7 +5384,7 @@ opt_chip (arg, on)
 
 static void
 opt_list (arg, on)
-     int arg;
+     int arg ATTRIBUTE_UNUSED;
      int on;
 {
   listing_list (on);
@@ -4358,7 +5394,7 @@ opt_list (arg, on)
 
 static void
 opt_list_symbols (arg, on)
-     int arg;
+     int arg ATTRIBUTE_UNUSED;
      int on;
 {
   if (on)
@@ -4371,20 +5407,25 @@ opt_list_symbols (arg, on)
 
 static void
 s_reg (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   char *s;
   int c;
-  struct m68k_op op;
-  unsigned long mask;
+  struct m68k_op rop;
+  int mask;
+  char *stop = NULL;
+  char stopc;
 
-  if (mri_line_label == NULL)
+  if (line_label == NULL)
     {
-      as_bad ("missing label");
+      as_bad (_("missing label"));
       ignore_rest_of_line ();
       return;
     }
 
+  if (flag_mri)
+    stop = mri_comment_field (&stopc);
+
   SKIP_WHITESPACE ();
 
   s = input_line_pointer;
@@ -4398,12 +5439,12 @@ s_reg (ignore)
   c = *input_line_pointer;
   *input_line_pointer = '\0';
 
-  if (m68k_ip_op (s, &op) != 0)
+  if (m68k_ip_op (s, &rop) != 0)
     {
-      if (op.error == NULL)
-       as_bad ("bad register list");
+      if (rop.error == NULL)
+       as_bad (_("bad register list"));
       else
-       as_bad ("bad register list: %s", op.error);
+       as_bad (_("bad register list: %s"), rop.error);
       *input_line_pointer = c;
       ignore_rest_of_line ();
       return;
@@ -4411,33 +5452,36 @@ s_reg (ignore)
 
   *input_line_pointer = c;
 
-  if (op.mode == REGLST)
-    mask = op.mask;
-  else if (op.mode == DREG)
-    mask = 1 << (op.reg - DATA0);
-  else if (op.mode == AREG)
-    mask = 1 << (op.reg - ADDR0 + 8);
-  else if (op.mode == FPREG)
-    mask = 1 << (op.reg - FP0 + 16);
-  else if (op.mode == CONTROL
-          && op.reg == FPI)
+  if (rop.mode == REGLST)
+    mask = rop.mask;
+  else if (rop.mode == DREG)
+    mask = 1 << (rop.reg - DATA0);
+  else if (rop.mode == AREG)
+    mask = 1 << (rop.reg - ADDR0 + 8);
+  else if (rop.mode == FPREG)
+    mask = 1 << (rop.reg - FP0 + 16);
+  else if (rop.mode == CONTROL
+          && rop.reg == FPI)
     mask = 1 << 24;
-  else if (op.mode == CONTROL
-          && op.reg == FPS)
+  else if (rop.mode == CONTROL
+          && rop.reg == FPS)
     mask = 1 << 25;
-  else if (op.mode == CONTROL
-          && op.reg == FPC)
+  else if (rop.mode == CONTROL
+          && rop.reg == FPC)
     mask = 1 << 26;
   else
     {
-      as_bad ("bad register list");
+      as_bad (_("bad register list"));
       ignore_rest_of_line ();
       return;
     }
 
-  S_SET_SEGMENT (mri_line_label, absolute_section);
-  S_SET_VALUE (mri_line_label, mask);
-  mri_line_label->sy_frag = &zero_address_frag;
+  S_SET_SEGMENT (line_label, reg_section);
+  S_SET_VALUE (line_label, ~mask);
+  symbol_set_frag (line_label, &zero_address_frag);
+
+  if (flag_mri)
+    mri_comment_end (stop, stopc);
 
   demand_empty_rest_of_line ();
 }
@@ -4467,7 +5511,7 @@ static struct save_opts *save_stack;
 
 static void
 s_save (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   struct save_opts *s;
 
@@ -4492,13 +5536,13 @@ s_save (ignore)
 
 static void
 s_restore (ignore)
-     int ignore;
+     int ignore ATTRIBUTE_UNUSED;
 {
   struct save_opts *s;
 
   if (save_stack == NULL)
     {
-      as_bad ("restore without save");
+      as_bad (_("restore without save"));
       ignore_rest_of_line ();
       return;
     }
@@ -4520,187 +5564,1418 @@ s_restore (ignore)
 
   demand_empty_rest_of_line ();
 }
-\f
-/*
- * md_parse_option
- *     Invocation line includes a switch not recognized by the base assembler.
- *     See if it's a processor-specific option.  These are:
- *
- *     -[A]m[c]68000, -[A]m[c]68008, -[A]m[c]68010, -[A]m[c]68020, -[A]m[c]68030, -[A]m[c]68040
- *     -[A]m[c]68881, -[A]m[c]68882, -[A]m[c]68851
- *             Select the architecture.  Instructions or features not
- *             supported by the selected architecture cause fatal
- *             errors.  More than one may be specified.  The default is
- *             -m68020 -m68851 -m68881.  Note that -m68008 is a synonym
- *             for -m68000, and -m68882 is a synonym for -m68881.
- *     -[A]m[c]no-68851, -[A]m[c]no-68881
- *             Don't accept 688?1 instructions.  (The "c" is kind of silly,
- *             so don't use or document it, but that's the way the parsing
- *             works).
- *
- *     -pic    Indicates PIC.
- *     -k      Indicates PIC.  (Sun 3 only.)
- *
- */
 
-#ifdef OBJ_ELF
-CONST char *md_shortopts = "lSA:m:kQ:V";
-#else
-CONST char *md_shortopts = "lSA:m:k";
-#endif
+/* Types of MRI structured control directives.  */
 
-struct option md_longopts[] = {
-#define OPTION_PIC (OPTION_MD_BASE)
-  {"pic", no_argument, NULL, OPTION_PIC},
-#define OPTION_REGISTER_PREFIX_OPTIONAL (OPTION_MD_BASE + 1)
-  {"register-prefix-optional", no_argument, NULL,
-     OPTION_REGISTER_PREFIX_OPTIONAL},
-  {NULL, no_argument, NULL, 0}
+enum mri_control_type
+{
+  mri_for,
+  mri_if,
+  mri_repeat,
+  mri_while
 };
-size_t md_longopts_size = sizeof(md_longopts);
 
-int
-md_parse_option (c, arg)
-     int c;
-     char *arg;
+/* This structure is used to stack the MRI structured control
+   directives.  */
+
+struct mri_control_info
 {
-  switch (c)
-    {
-    case 'l':                  /* -l means keep external to 2 bit offset
-                                  rather than 16 bit one */
-      flag_short_refs = 1;
-      break;
+  /* The directive within which this one is enclosed.  */
+  struct mri_control_info *outer;
 
-    case 'S':                  /* -S means that jbsr's always turn into
-                                  jsr's.  */
-      flag_long_jumps = 1;
-      break;
+  /* The type of directive.  */
+  enum mri_control_type type;
 
-    case 'A':
-      if (*arg == 'm')
-       arg++;
-      /* intentional fall-through */
-    case 'm':
+  /* Whether an ELSE has been in an IF.  */
+  int else_seen;
 
-      if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-')
-       {
-         int i;
-         unsigned long arch;
-         const char *oarg = arg;
+  /* The add or sub statement at the end of a FOR.  */
+  char *incr;
 
-         arg += 3;
-         if (*arg == 'm')
-           {
-             arg++;
-             if (arg[0] == 'c' && arg[1] == '6')
-               arg++;
-           }
-         for (i = 0; i < n_archs; i++)
-           if (!strcmp (arg, archs[i].name))
-             break;
-         if (i == n_archs)
-           {
-           unknown:
-             as_bad ("unrecognized option `%s'", oarg);
-             return 0;
-           }
-         arch = archs[i].arch;
-         if (arch == m68881)
-           no_68881 = 1;
-         else if (arch == m68851)
-           no_68851 = 1;
-         else
-           goto unknown;
-       }
-      else
-       {
-         int i;
+  /* The label of the top of a FOR or REPEAT loop.  */
+  char *top;
 
-         if (arg[0] == 'c' && arg[1] == '6')
-           arg++;
+  /* The label to jump to for the next iteration, or the else
+     expression of a conditional.  */
+  char *next;
 
-         for (i = 0; i < n_archs; i++)
-           if (!strcmp (arg, archs[i].name))
-             {
-               unsigned long arch = archs[i].arch;
-               if (cpu_of_arch (arch))
-                 /* It's a cpu spec.  */
-                 {
-                   current_architecture &= ~m68000up;
-                   current_architecture |= arch;
-                 }
-               else if (arch == m68881)
-                 {
-                   current_architecture |= m68881;
-                   no_68881 = 0;
-                 }
-               else if (arch == m68851)
-                 {
-                   current_architecture |= m68851;
-                   no_68851 = 0;
-                 }
-               else
-                 /* ??? */
-                 abort ();
-               break;
-             }
-         if (i == n_archs)
-           {
-             as_bad ("unrecognized architecture specification `%s'", arg);
-             return 0;
-           }
-       }
-      break;
+  /* The label to jump to to break out of the loop, or the label past
+     the end of a conditional.  */
+  char *bottom;
+};
 
-    case OPTION_PIC:
-    case 'k':
-      flag_want_pic = 1;
-      break;                   /* -pic, Position Independent Code */
+/* The stack of MRI structured control directives.  */
 
-    case OPTION_REGISTER_PREFIX_OPTIONAL:
-      flag_reg_prefix_optional = 1;
-      break;
+static struct mri_control_info *mri_control_stack;
 
-    case 'Q':
-    case 'V':
-      break;
+/* The current MRI structured control directive index number, used to
+   generate label names.  */
 
-    default:
-      return 0;
+static int mri_control_index;
+
+/* Some function prototypes.  */
+
+static void mri_assemble PARAMS ((char *));
+static char *mri_control_label PARAMS ((void));
+static struct mri_control_info *push_mri_control
+  PARAMS ((enum mri_control_type));
+static void pop_mri_control PARAMS ((void));
+static int parse_mri_condition PARAMS ((int *));
+static int parse_mri_control_operand
+  PARAMS ((int *, char **, char **, char **, char **));
+static int swap_mri_condition PARAMS ((int));
+static int reverse_mri_condition PARAMS ((int));
+static void build_mri_control_operand
+  PARAMS ((int, int, char *, char *, char *, char *, const char *,
+          const char *, int));
+static void parse_mri_control_expression
+  PARAMS ((char *, int, const char *, const char *, int));
+
+/* Assemble an instruction for an MRI structured control directive.  */
+
+static void
+mri_assemble (str)
+     char *str;
+{
+  char *s;
+
+  /* md_assemble expects the opcode to be in lower case.  */
+  for (s = str; *s != ' ' && *s != '\0'; s++)
+    {
+      if (isupper ((unsigned char) *s))
+       *s = tolower ((unsigned char) *s);
     }
 
-  return 1;
+  md_assemble (str);
 }
 
-void
-md_show_usage (stream)
-     FILE *stream;
+/* Generate a new MRI label structured control directive label name.  */
+
+static char *
+mri_control_label ()
 {
-  fprintf(stream, "\
-680X0 options:\n\
--l                     use 1 word for refs to undefined symbols [default 2]\n\
--m68000 | -m68008 | -m68010 | -m68020 | -m68030 | -m68040 | -m68060\n\
- | -m68302 | -m68331 | -m68332 | -m68333 | -m68340 | -m68360\n\
- | -mcpu32\n\
-                       specify variant of 680X0 architecture [default 68020]\n\
--m68881 | -m68882 | -mno-68881 | -mno-68882\n\
-                       target has/lacks floating-point coprocessor\n\
-                       [default yes for 68020, 68030, and cpu32]\n\
--m68851 | -mno-68851\n\
-                       target has/lacks memory-management unit coprocessor\n\
-                       [default yes for 68020 and up]\n\
--pic, -k               generate position independent code\n\
--S                     turn jbsr into jsr\n\
---register-prefix-optional\n\
-                       recognize register names without prefix character\n");
+  char *n;
+
+  n = (char *) xmalloc (20);
+  sprintf (n, "%smc%d", FAKE_LABEL_NAME, mri_control_index);
+  ++mri_control_index;
+  return n;
 }
-\f
-#ifdef TEST2
 
-/* TEST2:  Test md_assemble() */
-/* Warning, this routine probably doesn't work anymore */
+/* Create a new MRI structured control directive.  */
 
-main ()
+static struct mri_control_info *
+push_mri_control (type)
+     enum mri_control_type type;
+{
+  struct mri_control_info *n;
+
+  n = (struct mri_control_info *) xmalloc (sizeof (struct mri_control_info));
+
+  n->type = type;
+  n->else_seen = 0;
+  if (type == mri_if || type == mri_while)
+    n->top = NULL;
+  else
+    n->top = mri_control_label ();
+  n->next = mri_control_label ();
+  n->bottom = mri_control_label ();
+
+  n->outer = mri_control_stack;
+  mri_control_stack = n;
+
+  return n;
+}
+
+/* Pop off the stack of MRI structured control directives.  */
+
+static void
+pop_mri_control ()
+{
+  struct mri_control_info *n;
+
+  n = mri_control_stack;
+  mri_control_stack = n->outer;
+  if (n->top != NULL)
+    free (n->top);
+  free (n->next);
+  free (n->bottom);
+  free (n);
+}
+
+/* Recognize a condition code in an MRI structured control expression.  */
+
+static int
+parse_mri_condition (pcc)
+     int *pcc;
+{
+  char c1, c2;
+
+  know (*input_line_pointer == '<');
+
+  ++input_line_pointer;
+  c1 = *input_line_pointer++;
+  c2 = *input_line_pointer++;
+
+  if (*input_line_pointer != '>')
+    {
+      as_bad (_("syntax error in structured control directive"));
+      return 0;
+    }
+
+  ++input_line_pointer;
+  SKIP_WHITESPACE ();
+
+  if (isupper (c1))
+    c1 = tolower (c1);
+  if (isupper (c2))
+    c2 = tolower (c2);
+
+  *pcc = (c1 << 8) | c2;
+
+  return 1;
+}
+
+/* Parse a single operand in an MRI structured control expression.  */
+
+static int
+parse_mri_control_operand (pcc, leftstart, leftstop, rightstart, rightstop)
+     int *pcc;
+     char **leftstart;
+     char **leftstop;
+     char **rightstart;
+     char **rightstop;
+{
+  char *s;
+
+  SKIP_WHITESPACE ();
+
+  *pcc = -1;
+  *leftstart = NULL;
+  *leftstop = NULL;
+  *rightstart = NULL;
+  *rightstop = NULL;
+
+  if (*input_line_pointer == '<')
+    {
+      /* It's just a condition code.  */
+      return parse_mri_condition (pcc);
+    }
+
+  /* Look ahead for the condition code.  */
+  for (s = input_line_pointer; *s != '\0'; ++s)
+    {
+      if (*s == '<' && s[1] != '\0' && s[2] != '\0' && s[3] == '>')
+       break;
+    }
+  if (*s == '\0')
+    {
+      as_bad (_("missing condition code in structured control directive"));
+      return 0;
+    }
+
+  *leftstart = input_line_pointer;
+  *leftstop = s;
+  if (*leftstop > *leftstart
+      && ((*leftstop)[-1] == ' ' || (*leftstop)[-1] == '\t'))
+    --*leftstop;
+
+  input_line_pointer = s;
+  if (! parse_mri_condition (pcc))
+    return 0;
+
+  /* Look ahead for AND or OR or end of line.  */
+  for (s = input_line_pointer; *s != '\0'; ++s)
+    {
+      if ((strncasecmp (s, "AND", 3) == 0
+          && (s[3] == '.' || ! is_part_of_name (s[3])))
+         || (strncasecmp (s, "OR", 2) == 0
+             && (s[2] == '.' || ! is_part_of_name (s[2]))))
+       break;
+    }
+
+  *rightstart = input_line_pointer;
+  *rightstop = s;
+  if (*rightstop > *rightstart
+      && ((*rightstop)[-1] == ' ' || (*rightstop)[-1] == '\t'))
+    --*rightstop;
+
+  input_line_pointer = s;
+
+  return 1;
+}
+
+#define MCC(b1, b2) (((b1) << 8) | (b2))
+
+/* Swap the sense of a condition.  This changes the condition so that
+   it generates the same result when the operands are swapped.  */
+
+static int
+swap_mri_condition (cc)
+     int cc;
+{
+  switch (cc)
+    {
+    case MCC ('h', 'i'): return MCC ('c', 's');
+    case MCC ('l', 's'): return MCC ('c', 'c');
+    case MCC ('c', 'c'): return MCC ('l', 's');
+    case MCC ('c', 's'): return MCC ('h', 'i');
+    case MCC ('p', 'l'): return MCC ('m', 'i');
+    case MCC ('m', 'i'): return MCC ('p', 'l');
+    case MCC ('g', 'e'): return MCC ('l', 'e');
+    case MCC ('l', 't'): return MCC ('g', 't');
+    case MCC ('g', 't'): return MCC ('l', 't');
+    case MCC ('l', 'e'): return MCC ('g', 'e');
+    }
+  return cc;
+}
+
+/* Reverse the sense of a condition.  */
+
+static int
+reverse_mri_condition (cc)
+     int cc;
+{
+  switch (cc)
+    {
+    case MCC ('h', 'i'): return MCC ('l', 's');
+    case MCC ('l', 's'): return MCC ('h', 'i');
+    case MCC ('c', 'c'): return MCC ('c', 's');
+    case MCC ('c', 's'): return MCC ('c', 'c');
+    case MCC ('n', 'e'): return MCC ('e', 'q');
+    case MCC ('e', 'q'): return MCC ('n', 'e');
+    case MCC ('v', 'c'): return MCC ('v', 's');
+    case MCC ('v', 's'): return MCC ('v', 'c');
+    case MCC ('p', 'l'): return MCC ('m', 'i');
+    case MCC ('m', 'i'): return MCC ('p', 'l');
+    case MCC ('g', 'e'): return MCC ('l', 't');
+    case MCC ('l', 't'): return MCC ('g', 'e');
+    case MCC ('g', 't'): return MCC ('l', 'e');
+    case MCC ('l', 'e'): return MCC ('g', 't');
+    }
+  return cc;
+}
+
+/* Build an MRI structured control expression.  This generates test
+   and branch instructions.  It goes to TRUELAB if the condition is
+   true, and to FALSELAB if the condition is false.  Exactly one of
+   TRUELAB and FALSELAB will be NULL, meaning to fall through.  QUAL
+   is the size qualifier for the expression.  EXTENT is the size to
+   use for the branch.  */
+
+static void
+build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                          rightstop, truelab, falselab, extent)
+     int qual;
+     int cc;
+     char *leftstart;
+     char *leftstop;
+     char *rightstart;
+     char *rightstop;
+     const char *truelab;
+     const char *falselab;
+     int extent;
+{
+  char *buf;
+  char *s;
+
+  if (leftstart != NULL)
+    {
+      struct m68k_op leftop, rightop;
+      char c;
+
+      /* Swap the compare operands, if necessary, to produce a legal
+        m68k compare instruction.  Comparing a register operand with
+        a non-register operand requires the register to be on the
+        right (cmp, cmpa).  Comparing an immediate value with
+        anything requires the immediate value to be on the left
+        (cmpi).  */
+
+      c = *leftstop;
+      *leftstop = '\0';
+      (void) m68k_ip_op (leftstart, &leftop);
+      *leftstop = c;
+
+      c = *rightstop;
+      *rightstop = '\0';
+      (void) m68k_ip_op (rightstart, &rightop);
+      *rightstop = c;
+
+      if (rightop.mode == IMMED
+         || ((leftop.mode == DREG || leftop.mode == AREG)
+             && (rightop.mode != DREG && rightop.mode != AREG)))
+       {
+         char *temp;
+
+         cc = swap_mri_condition (cc);
+         temp = leftstart;
+         leftstart = rightstart;
+         rightstart = temp;
+         temp = leftstop;
+         leftstop = rightstop;
+         rightstop = temp;
+       }
+    }
+
+  if (truelab == NULL)
+    {
+      cc = reverse_mri_condition (cc);
+      truelab = falselab;
+    }
+
+  if (leftstart != NULL)
+    {
+      buf = (char *) xmalloc (20
+                             + (leftstop - leftstart)
+                             + (rightstop - rightstart));
+      s = buf;
+      *s++ = 'c';
+      *s++ = 'm';
+      *s++ = 'p';
+      if (qual != '\0')
+       *s++ = qual;
+      *s++ = ' ';
+      memcpy (s, leftstart, leftstop - leftstart);
+      s += leftstop - leftstart;
+      *s++ = ',';
+      memcpy (s, rightstart, rightstop - rightstart);
+      s += rightstop - rightstart;
+      *s = '\0';
+      mri_assemble (buf);
+      free (buf);
+    }
+
+  buf = (char *) xmalloc (20 + strlen (truelab));
+  s = buf;
+  *s++ = 'b';
+  *s++ = cc >> 8;
+  *s++ = cc & 0xff;
+  if (extent != '\0')
+    *s++ = extent;
+  *s++ = ' ';
+  strcpy (s, truelab);
+  mri_assemble (buf);
+  free (buf);
+}
+
+/* Parse an MRI structured control expression.  This generates test
+   and branch instructions.  STOP is where the expression ends.  It
+   goes to TRUELAB if the condition is true, and to FALSELAB if the
+   condition is false.  Exactly one of TRUELAB and FALSELAB will be
+   NULL, meaning to fall through.  QUAL is the size qualifier for the
+   expression.  EXTENT is the size to use for the branch.  */
+
+static void
+parse_mri_control_expression (stop, qual, truelab, falselab, extent)
+     char *stop;
+     int qual;
+     const char *truelab;
+     const char *falselab;
+     int extent;
+{
+  int c;
+  int cc;
+  char *leftstart;
+  char *leftstop;
+  char *rightstart;
+  char *rightstop;
+
+  c = *stop;
+  *stop = '\0';
+
+  if (! parse_mri_control_operand (&cc, &leftstart, &leftstop,
+                                  &rightstart, &rightstop))
+    {
+      *stop = c;
+      return;
+    }
+
+  if (strncasecmp (input_line_pointer, "AND", 3) == 0)
+    {
+      const char *flab;
+
+      if (falselab != NULL)
+       flab = falselab;
+      else
+       flab = mri_control_label ();
+
+      build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                                rightstop, (const char *) NULL, flab, extent);
+
+      input_line_pointer += 3;
+      if (*input_line_pointer != '.'
+         || input_line_pointer[1] == '\0')
+       qual = '\0';
+      else
+       {
+         qual = input_line_pointer[1];
+         input_line_pointer += 2;
+       }
+
+      if (! parse_mri_control_operand (&cc, &leftstart, &leftstop,
+                                      &rightstart, &rightstop))
+       {
+         *stop = c;
+         return;
+       }
+
+      build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                                rightstop, truelab, falselab, extent);
+
+      if (falselab == NULL)
+       colon (flab);
+    }
+  else if (strncasecmp (input_line_pointer, "OR", 2) == 0)
+    {
+      const char *tlab;
+
+      if (truelab != NULL)
+       tlab = truelab;
+      else
+       tlab = mri_control_label ();
+
+      build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                                rightstop, tlab, (const char *) NULL, extent);
+
+      input_line_pointer += 2;
+      if (*input_line_pointer != '.'
+         || input_line_pointer[1] == '\0')
+       qual = '\0';
+      else
+       {
+         qual = input_line_pointer[1];
+         input_line_pointer += 2;
+       }
+
+      if (! parse_mri_control_operand (&cc, &leftstart, &leftstop,
+                                      &rightstart, &rightstop))
+       {
+         *stop = c;
+         return;
+       }
+
+      build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                                rightstop, truelab, falselab, extent);
+
+      if (truelab == NULL)
+       colon (tlab);
+    }
+  else
+    {
+      build_mri_control_operand (qual, cc, leftstart, leftstop, rightstart,
+                                rightstop, truelab, falselab, extent);
+    }
+
+  *stop = c;
+  if (input_line_pointer != stop)
+    as_bad (_("syntax error in structured control directive"));
+}
+
+/* Handle the MRI IF pseudo-op.  This may be a structured control
+   directive, or it may be a regular assembler conditional, depending
+   on its operands.  */
+
+static void
+s_mri_if (qual)
+     int qual;
+{
+  char *s;
+  int c;
+  struct mri_control_info *n;
+
+  /* A structured control directive must end with THEN with an
+     optional qualifier.  */
+  s = input_line_pointer;
+  while (! is_end_of_line[(unsigned char) *s]
+        && (! flag_mri || *s != '*'))
+    ++s;
+  --s;
+  while (s > input_line_pointer && (*s == ' ' || *s == '\t'))
+    --s;
+
+  if (s - input_line_pointer > 1
+      && s[-1] == '.')
+    s -= 2;
+
+  if (s - input_line_pointer < 3
+      || strncasecmp (s - 3, "THEN", 4) != 0)
+    {
+      if (qual != '\0')
+       {
+         as_bad (_("missing then"));
+         ignore_rest_of_line ();
+         return;
+       }
+
+      /* It's a conditional.  */
+      s_if (O_ne);
+      return;
+    }
+
+  /* Since this might be a conditional if, this pseudo-op will be
+     called even if we are supported to be ignoring input.  Double
+     check now.  Clobber *input_line_pointer so that ignore_input
+     thinks that this is not a special pseudo-op.  */
+  c = *input_line_pointer;
+  *input_line_pointer = 0;
+  if (ignore_input ())
+    {
+      *input_line_pointer = c;
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+      demand_empty_rest_of_line ();
+      return;
+    }
+  *input_line_pointer = c;
+
+  n = push_mri_control (mri_if);
+
+  parse_mri_control_expression (s - 3, qual, (const char *) NULL,
+                               n->next, s[1] == '.' ? s[2] : '\0');
+
+  if (s[1] == '.')
+    input_line_pointer = s + 3;
+  else
+    input_line_pointer = s + 1;
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI else pseudo-op.  If we are currently doing an MRI
+   structured IF, associate the ELSE with the IF.  Otherwise, assume
+   it is a conditional else.  */
+
+static void
+s_mri_else (qual)
+     int qual;
+{
+  int c;
+  char *buf;
+  char q[2];
+
+  if (qual == '\0'
+      && (mri_control_stack == NULL
+         || mri_control_stack->type != mri_if
+         || mri_control_stack->else_seen))
+    {
+      s_else (0);
+      return;
+    }
+
+  c = *input_line_pointer;
+  *input_line_pointer = 0;
+  if (ignore_input ())
+    {
+      *input_line_pointer = c;
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+      demand_empty_rest_of_line ();
+      return;
+    }
+  *input_line_pointer = c;
+
+  if (mri_control_stack == NULL
+      || mri_control_stack->type != mri_if
+      || mri_control_stack->else_seen)
+    {
+      as_bad (_("else without matching if"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  mri_control_stack->else_seen = 1;
+
+  buf = (char *) xmalloc (20 + strlen (mri_control_stack->bottom));
+  q[0] = qual;
+  q[1] = '\0';
+  sprintf (buf, "bra%s %s", q, mri_control_stack->bottom);
+  mri_assemble (buf);
+  free (buf);
+
+  colon (mri_control_stack->next);
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI ENDI pseudo-op.  */
+
+static void
+s_mri_endi (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  if (mri_control_stack == NULL
+      || mri_control_stack->type != mri_if)
+    {
+      as_bad (_("endi without matching if"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  /* ignore_input will not return true for ENDI, so we don't need to
+     worry about checking it again here.  */
+
+  if (! mri_control_stack->else_seen)
+    colon (mri_control_stack->next);
+  colon (mri_control_stack->bottom);
+
+  pop_mri_control ();
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI BREAK pseudo-op.  */
+
+static void
+s_mri_break (extent)
+     int extent;
+{
+  struct mri_control_info *n;
+  char *buf;
+  char ex[2];
+
+  n = mri_control_stack;
+  while (n != NULL
+        && n->type != mri_for
+        && n->type != mri_repeat
+        && n->type != mri_while)
+    n = n->outer;
+  if (n == NULL)
+    {
+      as_bad (_("break outside of structured loop"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  buf = (char *) xmalloc (20 + strlen (n->bottom));
+  ex[0] = extent;
+  ex[1] = '\0';
+  sprintf (buf, "bra%s %s", ex, n->bottom);
+  mri_assemble (buf);
+  free (buf);
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI NEXT pseudo-op.  */
+
+static void
+s_mri_next (extent)
+     int extent;
+{
+  struct mri_control_info *n;
+  char *buf;
+  char ex[2];
+
+  n = mri_control_stack;
+  while (n != NULL
+        && n->type != mri_for
+        && n->type != mri_repeat
+        && n->type != mri_while)
+    n = n->outer;
+  if (n == NULL)
+    {
+      as_bad (_("next outside of structured loop"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  buf = (char *) xmalloc (20 + strlen (n->next));
+  ex[0] = extent;
+  ex[1] = '\0';
+  sprintf (buf, "bra%s %s", ex, n->next);
+  mri_assemble (buf);
+  free (buf);
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI FOR pseudo-op.  */
+
+static void
+s_mri_for (qual)
+     int qual;
+{
+  const char *varstart, *varstop;
+  const char *initstart, *initstop;
+  const char *endstart, *endstop;
+  const char *bystart, *bystop;
+  int up;
+  int by;
+  int extent;
+  struct mri_control_info *n;
+  char *buf;
+  char *s;
+  char ex[2];
+
+  /* The syntax is
+       FOR.q var = init { TO | DOWNTO } end [ BY by ] DO.e
+     */
+
+  SKIP_WHITESPACE ();
+  varstart = input_line_pointer;
+
+  /* Look for the '='.  */
+  while (! is_end_of_line[(unsigned char) *input_line_pointer]
+        && *input_line_pointer != '=')
+    ++input_line_pointer;
+  if (*input_line_pointer != '=')
+    {
+      as_bad (_("missing ="));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  varstop = input_line_pointer;
+  if (varstop > varstart
+      && (varstop[-1] == ' ' || varstop[-1] == '\t'))
+    --varstop;
+
+  ++input_line_pointer;
+
+  initstart = input_line_pointer;
+
+  /* Look for TO or DOWNTO.  */
+  up = 1;
+  initstop = NULL;
+  while (! is_end_of_line[(unsigned char) *input_line_pointer])
+    {
+      if (strncasecmp (input_line_pointer, "TO", 2) == 0
+         && ! is_part_of_name (input_line_pointer[2]))
+       {
+         initstop = input_line_pointer;
+         input_line_pointer += 2;
+         break;
+       }
+      if (strncasecmp (input_line_pointer, "DOWNTO", 6) == 0
+         && ! is_part_of_name (input_line_pointer[6]))
+       {
+         initstop = input_line_pointer;
+         up = 0;
+         input_line_pointer += 6;
+         break;
+       }
+      ++input_line_pointer;
+    }
+  if (initstop == NULL)
+    {
+      as_bad (_("missing to or downto"));
+      ignore_rest_of_line ();
+      return;
+    }
+  if (initstop > initstart
+      && (initstop[-1] == ' ' || initstop[-1] == '\t'))
+    --initstop;
+
+  SKIP_WHITESPACE ();
+  endstart = input_line_pointer;
+
+  /* Look for BY or DO.  */
+  by = 0;
+  endstop = NULL;
+  while (! is_end_of_line[(unsigned char) *input_line_pointer])
+    {
+      if (strncasecmp (input_line_pointer, "BY", 2) == 0
+         && ! is_part_of_name (input_line_pointer[2]))
+       {
+         endstop = input_line_pointer;
+         by = 1;
+         input_line_pointer += 2;
+         break;
+       }
+      if (strncasecmp (input_line_pointer, "DO", 2) == 0
+         && (input_line_pointer[2] == '.'
+             || ! is_part_of_name (input_line_pointer[2])))
+       {
+         endstop = input_line_pointer;
+         input_line_pointer += 2;
+         break;
+       }
+      ++input_line_pointer;
+    }
+  if (endstop == NULL)
+    {
+      as_bad (_("missing do"));
+      ignore_rest_of_line ();
+      return;
+    }
+  if (endstop > endstart
+      && (endstop[-1] == ' ' || endstop[-1] == '\t'))
+    --endstop;
+
+  if (! by)
+    {
+      bystart = "#1";
+      bystop = bystart + 2;
+    }
+  else
+    {
+      SKIP_WHITESPACE ();
+      bystart = input_line_pointer;
+
+      /* Look for DO.  */
+      bystop = NULL;
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       {
+         if (strncasecmp (input_line_pointer, "DO", 2) == 0
+             && (input_line_pointer[2] == '.'
+                 || ! is_part_of_name (input_line_pointer[2])))
+           {
+             bystop = input_line_pointer;
+             input_line_pointer += 2;
+             break;
+           }
+         ++input_line_pointer;
+       }
+      if (bystop == NULL)
+       {
+         as_bad (_("missing do"));
+         ignore_rest_of_line ();
+         return;
+       }
+      if (bystop > bystart
+         && (bystop[-1] == ' ' || bystop[-1] == '\t'))
+       --bystop;
+    }
+
+  if (*input_line_pointer != '.')
+    extent = '\0';
+  else
+    {
+      extent = input_line_pointer[1];
+      input_line_pointer += 2;
+    }
+
+  /* We have fully parsed the FOR operands.  Now build the loop.  */
+
+  n = push_mri_control (mri_for);
+
+  buf = (char *) xmalloc (50 + (input_line_pointer - varstart));
+
+  /* move init,var */
+  s = buf;
+  *s++ = 'm';
+  *s++ = 'o';
+  *s++ = 'v';
+  *s++ = 'e';
+  if (qual != '\0')
+    *s++ = qual;
+  *s++ = ' ';
+  memcpy (s, initstart, initstop - initstart);
+  s += initstop - initstart;
+  *s++ = ',';
+  memcpy (s, varstart, varstop - varstart);
+  s += varstop - varstart;
+  *s = '\0';
+  mri_assemble (buf);
+
+  colon (n->top);
+
+  /* cmp end,var */
+  s = buf;
+  *s++ = 'c';
+  *s++ = 'm';
+  *s++ = 'p';
+  if (qual != '\0')
+    *s++ = qual;
+  *s++ = ' ';
+  memcpy (s, endstart, endstop - endstart);
+  s += endstop - endstart;
+  *s++ = ',';
+  memcpy (s, varstart, varstop - varstart);
+  s += varstop - varstart;
+  *s = '\0';
+  mri_assemble (buf);
+
+  /* bcc bottom */
+  ex[0] = extent;
+  ex[1] = '\0';
+  if (up)
+    sprintf (buf, "blt%s %s", ex, n->bottom);
+  else
+    sprintf (buf, "bgt%s %s", ex, n->bottom);
+  mri_assemble (buf);
+
+  /* Put together the add or sub instruction used by ENDF.  */
+  s = buf;
+  if (up)
+    strcpy (s, "add");
+  else
+    strcpy (s, "sub");
+  s += 3;
+  if (qual != '\0')
+    *s++ = qual;
+  *s++ = ' ';
+  memcpy (s, bystart, bystop - bystart);
+  s += bystop - bystart;
+  *s++ = ',';
+  memcpy (s, varstart, varstop - varstart);
+  s += varstop - varstart;
+  *s = '\0';
+  n->incr = buf;
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI ENDF pseudo-op.  */
+
+static void
+s_mri_endf (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  if (mri_control_stack == NULL
+      || mri_control_stack->type != mri_for)
+    {
+      as_bad (_("endf without for"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  colon (mri_control_stack->next);
+
+  mri_assemble (mri_control_stack->incr);
+
+  sprintf (mri_control_stack->incr, "bra %s", mri_control_stack->top);
+  mri_assemble (mri_control_stack->incr);
+
+  free (mri_control_stack->incr);
+
+  colon (mri_control_stack->bottom);
+
+  pop_mri_control ();
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI REPEAT pseudo-op.  */
+
+static void
+s_mri_repeat (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  struct mri_control_info *n;
+
+  n = push_mri_control (mri_repeat);
+  colon (n->top);
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI UNTIL pseudo-op.  */
+
+static void
+s_mri_until (qual)
+     int qual;
+{
+  char *s;
+
+  if (mri_control_stack == NULL
+      || mri_control_stack->type != mri_repeat)
+    {
+      as_bad (_("until without repeat"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  colon (mri_control_stack->next);
+
+  for (s = input_line_pointer; ! is_end_of_line[(unsigned char) *s]; s++)
+    ;
+
+  parse_mri_control_expression (s, qual, (const char *) NULL,
+                               mri_control_stack->top, '\0');
+
+  colon (mri_control_stack->bottom);
+
+  input_line_pointer = s;
+
+  pop_mri_control ();
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI WHILE pseudo-op.  */
+
+static void
+s_mri_while (qual)
+     int qual;
+{
+  char *s;
+
+  struct mri_control_info *n;
+
+  s = input_line_pointer;
+  while (! is_end_of_line[(unsigned char) *s]
+        && (! flag_mri || *s != '*'))
+    s++;
+  --s;
+  while (*s == ' ' || *s == '\t')
+    --s;
+  if (s - input_line_pointer > 1
+      && s[-1] == '.')
+    s -= 2;
+  if (s - input_line_pointer < 2
+      || strncasecmp (s - 1, "DO", 2) != 0)
+    {
+      as_bad (_("missing do"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  n = push_mri_control (mri_while);
+
+  colon (n->next);
+
+  parse_mri_control_expression (s - 1, qual, (const char *) NULL, n->bottom,
+                               s[1] == '.' ? s[2] : '\0');
+
+  input_line_pointer = s + 1;
+  if (*input_line_pointer == '.')
+    input_line_pointer += 2;
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+
+/* Handle the MRI ENDW pseudo-op.  */
+
+static void
+s_mri_endw (ignore)
+     int ignore ATTRIBUTE_UNUSED;
+{
+  char *buf;
+
+  if (mri_control_stack == NULL
+      || mri_control_stack->type != mri_while)
+    {
+      as_bad (_("endw without while"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  buf = (char *) xmalloc (20 + strlen (mri_control_stack->next));
+  sprintf (buf, "bra %s", mri_control_stack->next);
+  mri_assemble (buf);
+  free (buf);
+
+  colon (mri_control_stack->bottom);
+
+  pop_mri_control ();
+
+  if (flag_mri)
+    {
+      while (! is_end_of_line[(unsigned char) *input_line_pointer])
+       ++input_line_pointer;
+    }
+
+  demand_empty_rest_of_line ();
+}
+\f
+/*
+ * md_parse_option
+ *     Invocation line includes a switch not recognized by the base assembler.
+ *     See if it's a processor-specific option.  These are:
+ *
+ *     -[A]m[c]68000, -[A]m[c]68008, -[A]m[c]68010, -[A]m[c]68020, -[A]m[c]68030, -[A]m[c]68040
+ *     -[A]m[c]68881, -[A]m[c]68882, -[A]m[c]68851
+ *             Select the architecture.  Instructions or features not
+ *             supported by the selected architecture cause fatal
+ *             errors.  More than one may be specified.  The default is
+ *             -m68020 -m68851 -m68881.  Note that -m68008 is a synonym
+ *             for -m68000, and -m68882 is a synonym for -m68881.
+ *     -[A]m[c]no-68851, -[A]m[c]no-68881
+ *             Don't accept 688?1 instructions.  (The "c" is kind of silly,
+ *             so don't use or document it, but that's the way the parsing
+ *             works).
+ *
+ *     -pic    Indicates PIC.
+ *     -k      Indicates PIC.  (Sun 3 only.)
+ *      --pcrel Never turn PC-relative branches into absolute jumps.
+ *
+ *     --bitwise-or
+ *             Permit `|' to be used in expressions.
+ *
+ */
+
+#ifdef OBJ_ELF
+CONST char *md_shortopts = "lSA:m:kQ:V";
+#else
+CONST char *md_shortopts = "lSA:m:k";
+#endif
+
+struct option md_longopts[] = {
+#define OPTION_PIC (OPTION_MD_BASE)
+  {"pic", no_argument, NULL, OPTION_PIC},
+#define OPTION_REGISTER_PREFIX_OPTIONAL (OPTION_MD_BASE + 1)
+  {"register-prefix-optional", no_argument, NULL,
+     OPTION_REGISTER_PREFIX_OPTIONAL},
+#define OPTION_BITWISE_OR (OPTION_MD_BASE + 2)
+  {"bitwise-or", no_argument, NULL, OPTION_BITWISE_OR},
+#define OPTION_BASE_SIZE_DEFAULT_16 (OPTION_MD_BASE + 3)
+  {"base-size-default-16", no_argument, NULL, OPTION_BASE_SIZE_DEFAULT_16},
+#define OPTION_BASE_SIZE_DEFAULT_32 (OPTION_MD_BASE + 4)
+  {"base-size-default-32", no_argument, NULL, OPTION_BASE_SIZE_DEFAULT_32},
+#define OPTION_DISP_SIZE_DEFAULT_16 (OPTION_MD_BASE + 5)
+  {"disp-size-default-16", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_16},
+#define OPTION_DISP_SIZE_DEFAULT_32 (OPTION_MD_BASE + 6)
+  {"disp-size-default-32", no_argument, NULL, OPTION_DISP_SIZE_DEFAULT_32},
+#define OPTION_PCREL (OPTION_MD_BASE + 7)
+  {"pcrel", no_argument, NULL, OPTION_PCREL},
+  {NULL, no_argument, NULL, 0}
+};
+size_t md_longopts_size = sizeof (md_longopts);
+
+int
+md_parse_option (c, arg)
+     int c;
+     char *arg;
+{
+  switch (c)
+    {
+    case 'l':                  /* -l means keep external to 2 bit offset
+                                  rather than 16 bit one */
+      flag_short_refs = 1;
+      break;
+
+    case 'S':                  /* -S means that jbsr's always turn into
+                                  jsr's.  */
+      flag_long_jumps = 1;
+      break;
+
+    case OPTION_PCREL:         /* --pcrel means never turn PC-relative
+                                  branches into absolute jumps.  */
+      flag_keep_pcrel = 1;
+      break;
+
+    case 'A':
+      if (*arg == 'm')
+       arg++;
+      /* intentional fall-through */
+    case 'm':
+
+      if (arg[0] == 'n' && arg[1] == 'o' && arg[2] == '-')
+       {
+         int i;
+         unsigned long arch;
+         const char *oarg = arg;
+
+         arg += 3;
+         if (*arg == 'm')
+           {
+             arg++;
+             if (arg[0] == 'c' && arg[1] == '6')
+               arg++;
+           }
+         for (i = 0; i < n_archs; i++)
+           if (!strcmp (arg, archs[i].name))
+             break;
+         if (i == n_archs)
+           {
+           unknown:
+             as_bad (_("unrecognized option `%s'"), oarg);
+             return 0;
+           }
+         arch = archs[i].arch;
+         if (arch == m68881)
+           no_68881 = 1;
+         else if (arch == m68851)
+           no_68851 = 1;
+         else
+           goto unknown;
+       }
+      else
+       {
+         int i;
+
+         if (arg[0] == 'c' && arg[1] == '6')
+           arg++;
+
+         for (i = 0; i < n_archs; i++)
+           if (!strcmp (arg, archs[i].name))
+             {
+               unsigned long arch = archs[i].arch;
+               if (cpu_of_arch (arch))
+                 /* It's a cpu spec.  */
+                 {
+                   current_architecture &= ~m68000up;
+                   current_architecture |= arch;
+                 }
+               else if (arch == m68881)
+                 {
+                   current_architecture |= m68881;
+                   no_68881 = 0;
+                 }
+               else if (arch == m68851)
+                 {
+                   current_architecture |= m68851;
+                   no_68851 = 0;
+                 }
+               else
+                 /* ??? */
+                 abort ();
+               break;
+             }
+         if (i == n_archs)
+           {
+             as_bad (_("unrecognized architecture specification `%s'"), arg);
+             return 0;
+           }
+       }
+      break;
+
+    case OPTION_PIC:
+    case 'k':
+      flag_want_pic = 1;
+      break;                   /* -pic, Position Independent Code */
+
+    case OPTION_REGISTER_PREFIX_OPTIONAL:
+      flag_reg_prefix_optional = 1;
+      reg_prefix_optional_seen = 1;
+      break;
+
+      /* -V: SVR4 argument to print version ID.  */
+    case 'V':
+      print_version_id ();
+      break;
+
+      /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
+        should be emitted or not.  FIXME: Not implemented.  */
+    case 'Q':
+      break;
+
+    case OPTION_BITWISE_OR:
+      {
+       char *n, *t;
+       const char *s;
+
+       n = (char *) xmalloc (strlen (m68k_comment_chars) + 1);
+       t = n;
+       for (s = m68k_comment_chars; *s != '\0'; s++)
+         if (*s != '|')
+           *t++ = *s;
+       *t = '\0';
+       m68k_comment_chars = n;
+      }
+      break;
+
+    case OPTION_BASE_SIZE_DEFAULT_16:
+      m68k_index_width_default = SIZE_WORD;
+      break;
+
+    case OPTION_BASE_SIZE_DEFAULT_32:
+      m68k_index_width_default = SIZE_LONG;
+      break;
+
+    case OPTION_DISP_SIZE_DEFAULT_16:
+      m68k_rel32 = 0;
+      m68k_rel32_from_cmdline = 1;
+      break;
+
+    case OPTION_DISP_SIZE_DEFAULT_32:
+      m68k_rel32 = 1;
+      m68k_rel32_from_cmdline = 1;
+      break;
+
+    default:
+      return 0;
+    }
+
+  return 1;
+}
+
+void
+md_show_usage (stream)
+     FILE *stream;
+{
+  fprintf (stream, _("\
+680X0 options:\n\
+-l                     use 1 word for refs to undefined symbols [default 2]\n\
+-m68000 | -m68008 | -m68010 | -m68020 | -m68030 | -m68040 | -m68060\n\
+ | -m68302 | -m68331 | -m68332 | -m68333 | -m68340 | -m68360\n\
+ | -mcpu32 | -m5200\n\
+                       specify variant of 680X0 architecture [default 68020]\n\
+-m68881 | -m68882 | -mno-68881 | -mno-68882\n\
+                       target has/lacks floating-point coprocessor\n\
+                       [default yes for 68020, 68030, and cpu32]\n"));
+  fprintf (stream, _("\
+-m68851 | -mno-68851\n\
+                       target has/lacks memory-management unit coprocessor\n\
+                       [default yes for 68020 and up]\n\
+-pic, -k               generate position independent code\n\
+-S                     turn jbsr into jsr\n\
+--pcrel                 never turn PC-relative branches into absolute jumps\n\
+--register-prefix-optional\n\
+                       recognize register names without prefix character\n\
+--bitwise-or           do not treat `|' as a comment character\n"));
+  fprintf (stream, _("\
+--base-size-default-16 base reg without size is 16 bits\n\
+--base-size-default-32 base reg without size is 32 bits (default)\n\
+--disp-size-default-16 displacement with unknown size is 16 bits\n\
+--disp-size-default-32 displacement with unknown size is 32 bits (default)\n"));
+}
+\f
+#ifdef TEST2
+
+/* TEST2:  Test md_assemble() */
+/* Warning, this routine probably doesn't work anymore */
+
+main ()
 {
   struct m68k_it the_ins;
   char buf[120];
@@ -4723,11 +6998,11 @@ main ()
       m68k_ip (&the_ins, buf);
       if (the_ins.error)
        {
-         printf ("Error %s in %s\n", the_ins.error, buf);
+         printf (_("Error %s in %s\n"), the_ins.error, buf);
        }
       else
        {
-         printf ("Opcode(%d.%s): ", the_ins.numo, the_ins.args);
+         printf (_("Opcode(%d.%s): "), the_ins.numo, the_ins.args);
          for (n = 0; n < the_ins.numo; n++)
            printf (" 0x%x", the_ins.opcode[n] & 0xffff);
          printf ("    ");
@@ -4787,10 +7062,9 @@ is_label (str)
 
 /* We have no need to default values of symbols.  */
 
-/* ARGSUSED */
 symbolS *
 md_undefined_symbol (name)
-     char *name;
+     char *name ATTRIBUTE_UNUSED;
 {
   return 0;
 }
@@ -4798,28 +7072,50 @@ md_undefined_symbol (name)
 /* Round up a section size to the appropriate boundary.  */
 valueT
 md_section_align (segment, size)
-     segT segment;
+     segT segment ATTRIBUTE_UNUSED;
      valueT size;
 {
-  return size;                 /* Byte alignment is fine */
+#ifdef OBJ_AOUT
+#ifdef BFD_ASSEMBLER
+  /* For a.out, force the section size to be aligned.  If we don't do
+     this, BFD will align it for us, but it will not write out the
+     final bytes of the section.  This may be a bug in BFD, but it is
+     easier to fix it here since that is how the other a.out targets
+     work.  */
+  int align;
+
+  align = bfd_get_section_alignment (stdoutput, segment);
+  size = ((size + (1 << align) - 1) & ((valueT) -1 << align));
+#endif
+#endif
+
+  return size;
 }
 
 /* Exactly what point is a PC-relative offset relative TO?
    On the 68k, it is relative to the address of the first extension
    word.  The difference between the addresses of the offset and the
-   first extension word is stored in fx_pcrel_adjust. */
+   first extension word is stored in fx_pcrel_adjust.  */
 long
 md_pcrel_from (fixP)
      fixS *fixP;
 {
-  return (fixP->fx_where + fixP->fx_frag->fr_address - fixP->fx_pcrel_adjust);
+  int adjust;
+
+  /* Because fx_pcrel_adjust is a char, and may be unsigned, we store
+     -1 as 64.  */
+  adjust = fixP->fx_pcrel_adjust;
+  if (adjust == 64)
+    adjust = -1;
+  return fixP->fx_where + fixP->fx_frag->fr_address - adjust;
 }
 
 #ifndef BFD_ASSEMBLER
-/*ARGSUSED*/
+#ifdef OBJ_COFF
+
 void
 tc_coff_symbol_emit_hook (ignore)
-     symbolS *ignore;
+     symbolS *ignore ATTRIBUTE_UNUSED;
 {
 }
 
@@ -4840,6 +7136,14 @@ tc_coff_sizemachdep (frag)
       return 0;
     }
 }
-#endif
 
-/* end of tc-m68k.c */
+#endif
+#endif
+#ifdef OBJ_ELF
+void m68k_elf_final_processing()
+{
+   /* Set file-specific flags if this is a cpu32 processor */
+   if (cpu_of_arch (current_architecture) & cpu32)
+     elf_elfheader (stdoutput)->e_flags |= EF_CPU32;
+}
+#endif
This page took 0.100029 seconds and 4 git commands to generate.