* gas/h8300/h8sx_disp2.[sd]: New test.
[deliverable/binutils-gdb.git] / gas / config / tc-h8300.c
index ab9f7337cae55f3f982d7ca1bb586b1306715939..6e6a170a387b66c5ebdc35dc4dba780352941124 100644 (file)
@@ -1,6 +1,6 @@
-/* tc-h8300.c -- Assemble code for the Hitachi H8/300
-   Copyright (C) 1991, 92, 93, 94, 95, 96, 97, 98, 2000
-   Free Software Foundation.
+/* tc-h8300.c -- Assemble code for the Renesas H8/300
+   Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 2000,
+   2001, 2002, 2003 Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
    Software Foundation, 59 Temple Place - Suite 330, Boston, MA
    02111-1307, USA.  */
 
-/*
-  Written By Steve Chamberlain
-  sac@cygnus.com
-  */
+/* Written By Steve Chamberlain <sac@cygnus.com>.  */
 
 #include <stdio.h>
 #include "as.h"
 #include "subsegs.h"
 #include "bfd.h"
+
+#ifdef BFD_ASSEMBLER
+#include "dwarf2dbg.h"
+#endif
+
 #define DEFINE_TABLE
 #define h8_opcodes ops
 #include "opcode/h8300.h"
-#include <ctype.h>
+#include "safe-ctype.h"
+
+#ifdef OBJ_ELF
+#include "elf/h8.h"
+#endif
 
 const char comment_chars[] = ";";
 const char line_comment_chars[] = "#";
 const char line_separator_chars[] = "";
 
-/* This table describes all the machine specific pseudo-ops the assembler
-   has to support.  The fields are:
-   pseudo-op name without dot
-   function to call to execute this pseudo-op
-   Integer arg to pass to the function
-   */
-
-void cons ();
+void cons        PARAMS ((int));
+void sbranch     PARAMS ((int));
+void h8300hmode  PARAMS ((int));
+void h8300smode  PARAMS ((int));
+void h8300hnmode PARAMS ((int));
+void h8300snmode PARAMS ((int));
+void h8300sxmode PARAMS ((int));
+static void pint PARAMS ((int));
 
 int Hmode;
 int Smode;
+int Nmode;
+int SXmode;
+
 #define PSIZE (Hmode ? L_32 : L_16)
-#define DMODE (L_16)
 #define DSYMMODE (Hmode ? L_24 : L_16)
-int bsize = L_8;               /* default branch displacement */
+
+int bsize = L_8;               /* Default branch displacement.  */
+
+struct h8_instruction
+{
+  int length;
+  int noperands;
+  int idx;
+  int size;
+  const struct h8_opcode *opcode;
+};
+
+struct h8_instruction *h8_instructions;
 
 void
-h8300hmode ()
+h8300hmode (arg)
+     int arg ATTRIBUTE_UNUSED;
 {
   Hmode = 1;
   Smode = 0;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300h))
+    as_warn (_("could not set architecture and machine"));
+#endif
 }
 
 void
-h8300smode ()
+h8300smode (arg)
+     int arg ATTRIBUTE_UNUSED;
 {
   Smode = 1;
   Hmode = 1;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300s))
+    as_warn (_("could not set architecture and machine"));
+#endif
+}
+
+void
+h8300hnmode (arg)
+     int arg ATTRIBUTE_UNUSED;
+{
+  Hmode = 1;
+  Smode = 0;
+  Nmode = 1;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300hn))
+    as_warn (_("could not set architecture and machine"));
+#endif
+}
+
+void
+h8300snmode (arg)
+     int arg ATTRIBUTE_UNUSED;
+{
+  Smode = 1;
+  Hmode = 1;
+  Nmode = 1;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sn))
+    as_warn (_("could not set architecture and machine"));
+#endif
+}
+
+void
+h8300sxmode (arg)
+     int arg ATTRIBUTE_UNUSED;
+{
+  Smode = 1;
+  Hmode = 1;
+  SXmode = 1;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sx))
+    as_warn (_("could not set architecture and machine"));
+#endif
+}
+
+void
+h8300sxnmode (arg)
+     int arg ATTRIBUTE_UNUSED;
+{
+  Smode = 1;
+  Hmode = 1;
+  SXmode = 1;
+  Nmode = 1;
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300sxn))
+    as_warn (_("could not set architecture and machine"));
+#endif
 }
 
 void
@@ -75,15 +158,26 @@ sbranch (size)
 }
 
 static void
-pint ()
+pint (arg)
+     int arg ATTRIBUTE_UNUSED;
 {
   cons (Hmode ? 4 : 2);
 }
 
+/* This table describes all the machine specific pseudo-ops the assembler
+   has to support.  The fields are:
+   pseudo-op name without dot
+   function to call to execute this pseudo-op
+   Integer arg to pass to the function.  */
+
 const pseudo_typeS md_pseudo_table[] =
 {
-  {"h8300h", h8300hmode, 0},
-  {"h8300s", h8300smode, 0},
+  {"h8300h",  h8300hmode,  0},
+  {"h8300hn", h8300hnmode, 0},
+  {"h8300s",  h8300smode,  0},
+  {"h8300sn", h8300snmode, 0},
+  {"h8300sx", h8300sxmode, 0},
+  {"h8300sxn", h8300sxnmode, 0},
   {"sbranch", sbranch, L_8},
   {"lbranch", sbranch, L_16},
 
@@ -93,8 +187,8 @@ const pseudo_typeS md_pseudo_table[] =
   {"data.l", cons, 4},
   {"form", listing_psize, 0},
   {"heading", listing_title, 0},
-  {"import", s_ignore, 0},
-  {"page", listing_eject, 0},
+  {"import",  s_ignore, 0},
+  {"page",    listing_eject, 0},
   {"program", s_ignore, 0},
   {0, 0, 0}
 };
@@ -103,66 +197,125 @@ const int md_reloc_size;
 
 const char EXP_CHARS[] = "eE";
 
-/* Chars that mean this number is a floating point constant */
-/* As in 0f12.456 */
-/* or    0d1.2345e12 */
+/* Chars that mean this number is a floating point constant
+   As in 0f12.456
+   or    0d1.2345e12.  */
 const char FLT_CHARS[] = "rRsSfFdDxXpP";
 
-static struct hash_control *opcode_hash_control;       /* Opcode mnemonics */
+static struct hash_control *opcode_hash_control;       /* Opcode mnemonics */
 
 /* This function is called once, at assembler startup time.  This
    should set up all the tables, etc. that the MD part of the assembler
    needs.  */
+
 void
 md_begin ()
 {
-  struct h8_opcode *opcode;
+  unsigned int nopcodes;
+  struct h8_opcode *p, *p1;
+  struct h8_instruction *pi;
   char prev_buffer[100];
   int idx = 0;
 
+#ifdef BFD_ASSEMBLER
+  if (!bfd_set_arch_mach (stdoutput, bfd_arch_h8300, bfd_mach_h8300))
+    as_warn (_("could not set architecture and machine"));
+#endif
+
   opcode_hash_control = hash_new ();
   prev_buffer[0] = 0;
 
-  for (opcode = h8_opcodes; opcode->name; opcode++)
+  nopcodes = sizeof (h8_opcodes) / sizeof (struct h8_opcode);
+  
+  h8_instructions = (struct h8_instruction *)
+    xmalloc (nopcodes * sizeof (struct h8_instruction));
+
+  pi = h8_instructions;
+  p1 = h8_opcodes;
+  /* We do a minimum amount of sorting on the opcode table; this is to
+     make it easy to describe the mova instructions without unnecessary
+     code duplication.
+     Sorting only takes place inside blocks of instructions of the form
+     X/Y, so for example mova/b, mova/w and mova/l can be intermixed.  */
+  while (p1)
     {
-      /* Strip off any . part when inserting the opcode and only enter
-         unique codes into the hash table.  */
-      char *src = opcode->name;
-      unsigned int len = strlen (src);
-      char *dst = malloc (len + 1);
-      char *buffer = dst;
+      struct h8_opcode *first_skipped = 0;
+      int len, cmplen = 0;
+      char *src = p1->name;
+      char *dst, *buffer;
 
-      opcode->size = 0;
+      if (p1->name == 0)
+       break;
+      /* Strip off any . part when inserting the opcode and only enter
+        unique codes into the hash table.  */
+      dst = buffer = malloc (strlen (src) + 1);
       while (*src)
        {
          if (*src == '.')
            {
              src++;
-             opcode->size = *src;
              break;
            }
+         if (*src == '/')
+           cmplen = src - p1->name + 1;
          *dst++ = *src++;
        }
-      *dst++ = 0;
-      if (strcmp (buffer, prev_buffer))
+      *dst = 0;
+      len = dst - buffer;
+      if (cmplen == 0)
+       cmplen = len;
+      hash_insert (opcode_hash_control, buffer, (char *) pi);
+      strcpy (prev_buffer, buffer);
+      idx++;
+
+      for (p = p1; p->name; p++)
        {
-         hash_insert (opcode_hash_control, buffer, (char *) opcode);
-         strcpy (prev_buffer, buffer);
-         idx++;
-       }
-      opcode->idx = idx;
+         /* A negative TIME is used to indicate that we've added this opcode
+            already.  */
+         if (p->time == -1)
+           continue;
+         if (strncmp (p->name, buffer, cmplen) != 0
+             || (p->name[cmplen] != '\0' && p->name[cmplen] != '.'
+                 && p->name[cmplen - 1] != '/'))
+           {
+             if (first_skipped == 0)
+               first_skipped = p;
+             break;
+           }
+         if (strncmp (p->name, buffer, len) != 0)
+           {
+             if (first_skipped == 0)
+               first_skipped = p;
+             continue;
+           }
+
+         p->time = -1;
+         pi->size = p->name[len] == '.' ? p->name[len + 1] : 0;
+         pi->idx = idx;
+
+         /* Find the number of operands.  */
+         pi->noperands = 0;
+         while (pi->noperands < 3 && p->args.nib[pi->noperands] != (op_type) E)
+           pi->noperands++;
 
-      /* Find the number of operands.  */
-      opcode->noperands = 0;
-      while (opcode->args.nib[opcode->noperands] != E)
-       opcode->noperands++;
+         /* Find the length of the opcode in bytes.  */
+         pi->length = 0;
+         while (p->data.nib[pi->length * 2] != (op_type) E)
+           pi->length++;
 
-      /* Find the length of the opcode in bytes.  */
-      opcode->length = 0;
-      while (opcode->data.nib[opcode->length * 2] != E)
-       opcode->length++;
+         pi->opcode = p;
+         pi++;
+       }
+      p1 = first_skipped;
     }
 
+  /* Add entry for the NULL vector terminator.  */
+  pi->length = 0;
+  pi->noperands = 0;
+  pi->idx = 0;
+  pi->size = 0;
+  pi->opcode = 0;
+
   linkrelax = 1;
 }
 
@@ -173,9 +326,6 @@ struct h8_exp
   expressionS e_exp;
 };
 
-int dispreg;
-int opsize;                    /* Set when a register size is seen */
-
 struct h8_op
 {
   op_type mode;
@@ -183,6 +333,22 @@ struct h8_op
   expressionS exp;
 };
 
+static void clever_message PARAMS ((const struct h8_instruction *, struct h8_op *));
+static void fix_operand_size PARAMS ((struct h8_op *, int));
+static void build_bytes    PARAMS ((const struct h8_instruction *, struct h8_op *));
+static void do_a_fix_imm   PARAMS ((int, int, struct h8_op *, int));
+static void check_operand  PARAMS ((struct h8_op *, unsigned int, char *));
+static const struct h8_instruction * get_specific PARAMS ((const struct h8_instruction *, struct h8_op *, int));
+static char * get_operands PARAMS ((unsigned, char *, struct h8_op *));
+static void   get_operand  PARAMS ((char **, struct h8_op *, int));
+static char * skip_colonthing PARAMS ((char *, expressionS *, int *));
+static char * parse_exp PARAMS ((char *, expressionS *));
+static int    parse_reg PARAMS ((char *, op_type *, unsigned *, int));
+char * colonmod24 PARAMS ((struct h8_op *, char *));
+
+static int constant_fits_width_p PARAMS ((struct h8_op *, unsigned int));
+static int constant_fits_size_p PARAMS ((struct h8_op *, int, int));
+
 /*
   parse operands
   WREG r0,r1,r2,r3,r4,r5,r6,r7,fp,sp
@@ -194,14 +360,14 @@ struct h8_op
   ccr
 */
 
-/* Try and parse a reg name, returns number of chars consumed.  */
+/* Try to parse a reg name.  Return the number of chars consumed.  */
+
 static int
 parse_reg (src, mode, reg, direction)
      char *src;
      op_type *mode;
      unsigned int *reg;
      int direction;
-
 {
   char *end;
   int len;
@@ -210,36 +376,60 @@ parse_reg (src, mode, reg, direction)
   if (!is_name_beginner (*src) || *src == '\001')
     return 0;
   end = src + 1;
-  while (is_part_of_name (*end) || *end == '\001')
+  while ((is_part_of_name (*end) && *end != '.') || *end == '\001')
     end++;
   len = end - src;
 
-  if (len == 2 && src[0] == 's' && src[1] == 'p')
+  if (len == 2 && TOLOWER (src[0]) == 's' && TOLOWER (src[1]) == 'p')
     {
       *mode = PSIZE | REG | direction;
       *reg = 7;
       return len;
     }
-  if (len == 3 && src[0] == 'c' && src[1] == 'c' && src[2] == 'r')
+  if (len == 3 && 
+      TOLOWER (src[0]) == 'c' && 
+      TOLOWER (src[1]) == 'c' && 
+      TOLOWER (src[2]) == 'r')
     {
       *mode = CCR;
       *reg = 0;
       return len;
     }
-  if (len == 3 && src[0] == 'e' && src[1] == 'x' && src[2] == 'r')
+  if (len == 3 && 
+      TOLOWER (src[0]) == 'e' && 
+      TOLOWER (src[1]) == 'x' && 
+      TOLOWER (src[2]) == 'r')
     {
       *mode = EXR;
-      *reg = 0;
+      *reg = 1;
+      return len;
+    }
+  if (len == 3 && 
+      TOLOWER (src[0]) == 'v' && 
+      TOLOWER (src[1]) == 'b' && 
+      TOLOWER (src[2]) == 'r')
+    {
+      *mode = VBR;
+      *reg = 6;
+      return len;
+    }
+  if (len == 3 && 
+      TOLOWER (src[0]) == 's' && 
+      TOLOWER (src[1]) == 'b' && 
+      TOLOWER (src[2]) == 'r')
+    {
+      *mode = SBR;
+      *reg = 7;
       return len;
     }
-  if (len == 2 && src[0] == 'f' && src[1] == 'p')
+  if (len == 2 && TOLOWER (src[0]) == 'f' && TOLOWER (src[1]) == 'p')
     {
       *mode = PSIZE | REG | direction;
       *reg = 6;
       return len;
     }
-  if (len == 3 && src[0] == 'e' && src[1] == 'r'
-      && src[2] >= '0' && src[2] <= '7')
+  if (len == 3 && TOLOWER (src[0]) == 'e' && TOLOWER (src[1]) == 'r' &&
+      src[2] >= '0' && src[2] <= '7')
     {
       *mode = L_32 | REG | direction;
       *reg = src[2] - '0';
@@ -247,7 +437,7 @@ parse_reg (src, mode, reg, direction)
        as_warn (_("Reg not valid for H8/300"));
       return len;
     }
-  if (len == 2 && src[0] == 'e' && src[1] >= '0' && src[1] <= '7')
+  if (len == 2 && TOLOWER (src[0]) == 'e' && src[1] >= '0' && src[1] <= '7')
     {
       *mode = L_16 | REG | direction;
       *reg = src[1] - '0' + 8;
@@ -256,17 +446,17 @@ parse_reg (src, mode, reg, direction)
       return len;
     }
 
-  if (src[0] == 'r')
+  if (TOLOWER (src[0]) == 'r')
     {
       if (src[1] >= '0' && src[1] <= '7')
        {
-         if (len == 3 && src[2] == 'l')
+         if (len == 3 && TOLOWER (src[2]) == 'l')
            {
              *mode = L_8 | REG | direction;
              *reg = (src[1] - '0') + 8;
              return len;
            }
-         if (len == 3 && src[2] == 'h')
+         if (len == 3 && TOLOWER (src[2]) == 'h')
            {
              *mode = L_8 | REG | direction;
              *reg = (src[1] - '0');
@@ -311,30 +501,27 @@ skip_colonthing (ptr, exp, mode)
     {
       ptr++;
       *mode &= ~SIZE;
-      if (*ptr == '8')
-       {
-         ptr++;
-         /* ff fill any 8 bit quantity */
-         /* exp->X_add_number -= 0x100; */
-         *mode |= L_8;
-       }
+      if (ptr[0] == '8' && ! ISDIGIT (ptr[1]))
+       *mode |= L_8;
+      else if (ptr[0] == '2' && ! ISDIGIT (ptr[1]))
+       *mode |= L_2;
+      else if (ptr[0] == '3' && ! ISDIGIT (ptr[1]))
+       *mode |= L_3;
+      else if (ptr[0] == '4' && ! ISDIGIT (ptr[1]))
+       *mode |= L_4;
+      else if (ptr[0] == '5' && ! ISDIGIT (ptr[1]))
+       *mode |= L_5;
+      else if (ptr[0] == '2' && ptr[1] == '4')
+       *mode |= L_24;
+      else if (ptr[0] == '3' && ptr[1] == '2')
+       *mode |= L_32;
+      else if (ptr[0] == '1' && ptr[1] == '6')
+       *mode |= L_16;
       else
-       {
-         if (*ptr == '2')
-           {
-             *mode |= L_24;
-           }
-         else if (*ptr == '3')
-           {
-             *mode |= L_32;
-           }
-         else if (*ptr == '1')
-           {
-             *mode |= L_16;
-           }
-         while (isdigit (*ptr))
-           ptr++;
-       }
+       as_bad (_("invalid operand size requested"));
+
+      while (ISDIGIT (*ptr))
+       ptr++;
     }
   return ptr;
 }
@@ -352,22 +539,20 @@ skip_colonthing (ptr, exp, mode)
 
    #xx[:size]          immediate data
    @(exp:[8], pc)      pc rel
-   @@aa[:8]            memory indirect
-
-   */
+   @@aa[:8]            memory indirect.  */
 
 char *
 colonmod24 (op, src)
      struct h8_op *op;
      char *src;
-
 {
   int mode = 0;
   src = skip_colonthing (src, &op->exp, &mode);
 
   if (!mode)
     {
-      /* Choose a default mode.  */
+      /* If the operand is a 16-bit constant integer, leave fix_operand_size
+        to calculate its size.  Otherwise choose a default here.  */
       if (op->exp.X_add_number < -32768
          || op->exp.X_add_number > 32767)
        {
@@ -379,19 +564,61 @@ colonmod24 (op, src)
       else if (op->exp.X_add_symbol
               || op->exp.X_op_symbol)
        mode = DSYMMODE;
-      else
-       mode = DMODE;
     }
+
   op->mode |= mode;
   return src;
+}
 
+static int
+constant_fits_width_p (operand, width)
+     struct h8_op *operand;
+     unsigned int width;
+{
+  return ((operand->exp.X_add_number & ~width) == 0
+         || (operand->exp.X_add_number | width) == (unsigned)(~0));
+}
+
+static int
+constant_fits_size_p (operand, size, no_symbols)
+     struct h8_op *operand;
+     int size, no_symbols;
+{
+  offsetT num = operand->exp.X_add_number;
+  if (no_symbols
+      && (operand->exp.X_add_symbol != 0 || operand->exp.X_op_symbol != 0))
+    return 0;
+  switch (size)
+    {
+    case L_2:
+      return (num & ~3) == 0;
+    case L_3:
+      return (num & ~7) == 0;
+    case L_3NZ:
+      return num >= 1 && num < 8;
+    case L_4:
+      return (num & ~15) == 0;
+    case L_5:
+      return num >= 1 && num < 32;
+    case L_8:
+      return (num & ~0xFF) == 0 || ((unsigned)num | 0x7F) == ~0u;
+    case L_8U:
+      return (num & ~0xFF) == 0;
+    case L_16:
+      return (num & ~0xFFFF) == 0 || ((unsigned)num | 0x7FFF) == ~0u;
+    case L_16U:
+      return (num & ~0xFFFF) == 0;
+    case L_32:
+      return 1;
+    default:
+      abort ();
+    }
 }
 
 static void
-get_operand (ptr, op, dst, direction)
+get_operand (ptr, op, direction)
      char **ptr;
      struct h8_op *op;
-     unsigned int dst ATTRIBUTE_UNUSED;
      int direction;
 {
   char *src = *ptr;
@@ -399,30 +626,31 @@ get_operand (ptr, op, dst, direction)
   unsigned int num;
   unsigned int len;
 
-  op->mode = E;
+  op->mode = 0;
+
+  /* Check for '(' and ')' for instructions ldm and stm.  */
+  if (src[0] == '(' && src[8] == ')')
+    ++ src;
 
   /* Gross.  Gross.  ldm and stm have a format not easily handled
      by get_operand.  We deal with it explicitly here.  */
-  if (src[0] == 'e' && src[1] == 'r' && isdigit (src[2])
-      && src[3] == '-' && src[4] == 'e' && src[5] == 'r' && isdigit (src[6]))
+  if (TOLOWER (src[0]) == 'e' && TOLOWER (src[1]) == 'r' && 
+      ISDIGIT (src[2]) && src[3] == '-' &&
+      TOLOWER (src[4]) == 'e' && TOLOWER (src[5]) == 'r' && ISDIGIT (src[6]))
     {
       int low, high;
 
       low = src[2] - '0';
       high = src[6] - '0';
 
-      if (high < low)
+      if (high == low)
        as_bad (_("Invalid register list for ldm/stm\n"));
 
-      if (low % 2)
+      if (high < low)
        as_bad (_("Invalid register list for ldm/stm\n"));
 
       if (high - low > 3)
-       as_bad (_("Invalid register list for ldm/stm\n"));
-
-      if (high - low != 1
-         && low % 4)
-       as_bad (_("Invalid register list for ldm/stm\n"));
+       as_bad (_("Invalid register list for ldm/stm)\n"));
 
       /* Even sicker.  We encode two registers into op->reg.  One
         for the low register to save, the other for the high
@@ -430,14 +658,47 @@ get_operand (ptr, op, dst, direction)
         so we know this is "very special".  */
       op->reg = 0x80000000 | (high << 8) | low;
       op->mode = REG;
-      *ptr = src + 7;
+      if (src[7] == ')')
+       *ptr = src + 8;
+      else
+       *ptr = src + 7;
       return;
     }
 
   len = parse_reg (src, &op->mode, &op->reg, direction);
   if (len)
     {
-      *ptr = src + len;
+      src += len;
+      if (*src == '.')
+       {
+         int size = op->mode & SIZE;
+         switch (src[1])
+           {
+           case 'l': case 'L':
+             if (size != L_32)
+               as_warn (_("mismatch between register and suffix"));
+             op->mode = (op->mode & ~MODE) | LOWREG;
+             break;
+           case 'w': case 'W':
+             if (size != L_32 && size != L_16)
+               as_warn (_("mismatch between register and suffix"));
+             op->mode = (op->mode & ~MODE) | LOWREG;
+             op->mode = (op->mode & ~SIZE) | L_16;
+             break;
+           case 'b': case 'B':
+             op->mode = (op->mode & ~MODE) | LOWREG;
+             if (size != L_32 && size != L_8)
+               as_warn (_("mismatch between register and suffix"));
+             op->mode = (op->mode & ~MODE) | LOWREG;
+             op->mode = (op->mode & ~SIZE) | L_8;
+             break;
+           default:
+             as_warn ("invalid suffix after register.");
+             break;
+           }
+         src += 2;
+       }
+      *ptr = src;
       return;
     }
 
@@ -453,12 +714,30 @@ get_operand (ptr, op, dst, direction)
 
          *ptr = src;
 
-         op->mode = MEMIND;
+         if (op->exp.X_add_number >= 0x100)
+           {
+             int divisor;
+
+             op->mode = VECIND;
+             /* FIXME : 2?  or 4?  */
+             if (op->exp.X_add_number >= 0x400)
+               as_bad (_("address too high for vector table jmp/jsr"));
+             else if (op->exp.X_add_number >= 0x200)
+               divisor = 4;
+             else
+               divisor = 2;
+
+             op->exp.X_add_number = op->exp.X_add_number / divisor - 0x80;
+           }
+         else
+           op->mode = MEMIND;
+
          return;
        }
 
-      if (*src == '-')
+      if (*src == '-' || *src == '+')
        {
+         char c = *src;
          src++;
          len = parse_reg (src, &mode, &num, direction);
          if (len == 0)
@@ -475,16 +754,51 @@ get_operand (ptr, op, dst, direction)
 
          if ((mode & SIZE) != PSIZE)
            as_bad (_("Wrong size pointer register for architecture."));
-         op->mode = RDDEC;
+         op->mode = c == '-' ? RDPREDEC : RDPREINC;
          op->reg = num;
          *ptr = src + len;
          return;
        }
       if (*src == '(')
        {
-         /* Disp.  */
          src++;
 
+         /* See if this is @(ERn.x, PC).  */
+         len = parse_reg (src, &mode, &op->reg, direction);
+         if (len != 0 && (mode & MODE) == REG && src[len] == '.')
+           {
+             switch (TOLOWER (src[len + 1]))
+               {
+               case 'b':
+                 mode = PCIDXB | direction;
+                 break;
+               case 'w':
+                 mode = PCIDXW | direction;
+                 break;
+               case 'l':
+                 mode = PCIDXL | direction;
+                 break;
+               default:
+                 mode = 0;
+                 break;
+               }
+             if (mode
+                 && src[len + 2] == ','
+                 && TOLOWER (src[len + 3]) != 'p' 
+                 && TOLOWER (src[len + 4]) != 'c'
+                 && src[len + 5] != ')')
+               {
+                 *ptr = src + len + 6;
+                 op->mode |= mode;
+                 return;
+               }
+             /* Fall through into disp case - the grammar is somewhat
+                ambiguous, so we should try whether it's a DISP operand
+                after all ("ER3.L" might be a poorly named label...).  */
+           }
+
+         /* Disp.  */
+
          /* Start off assuming a 16 bit offset.  */
 
          src = parse_exp (src, &op->exp);
@@ -508,14 +822,33 @@ get_operand (ptr, op, dst, direction)
          src++;
 
          len = parse_reg (src, &mode, &op->reg, direction);
-         if (len == 0 || !(mode & REG))
+         if (len == 0 || (mode & MODE) != REG)
            {
              as_bad (_("expected @(exp, reg16)"));
              return;
            }
-         op->mode |= DISP | direction;
-         dispreg = op->reg;
          src += len;
+         if (src[0] == '.')
+           {
+             switch (TOLOWER (src[1]))
+               {
+               case 'b':
+                 op->mode |= INDEXB | direction;
+                 break;
+               case 'w':
+                 op->mode |= INDEXW | direction;
+                 break;
+               case 'l':
+                 op->mode |= INDEXL | direction;
+                 break;
+               default:
+                 as_bad (_("expected .L, .W or .B for register in indexed addressing mode"));
+               }
+             src += 2;
+             op->reg &= 7;
+           }
+         else
+           op->mode |= DISP | direction;
          src = skip_colonthing (src, &op->exp, &op->mode);
 
          if (*src != ')' && '(')
@@ -532,13 +865,13 @@ get_operand (ptr, op, dst, direction)
       if (len)
        {
          src += len;
-         if (*src == '+')
+         if (*src == '+' || *src == '-')
            {
-             src++;
              if ((mode & SIZE) != PSIZE)
                as_bad (_("Wrong size pointer register for architecture."));
-             op->mode = RSINC;
+             op->mode = *src == '+' ? RSPOSTINC : RSPOSTDEC;
              op->reg = num;
+             src++;
              *ptr = src;
              return;
            }
@@ -573,10 +906,12 @@ get_operand (ptr, op, dst, direction)
 
       return;
     }
-  else if (strncmp (src, "mach", 4) == 0
-          || strncmp (src, "macl", 4) == 0)
+  else if (strncmp (src, "mach", 4) == 0 || 
+          strncmp (src, "macl", 4) == 0 ||
+          strncmp (src, "MACH", 4) == 0 || 
+          strncmp (src, "MACL", 4) == 0)
     {
-      op->reg = src[3] == 'l';
+      op->reg = TOLOWER (src[3]) == 'l';
       op->mode = MACREG;
       *ptr = src + 4;
       return;
@@ -598,14 +933,19 @@ get_operand (ptr, op, dst, direction)
              src += 2;
            }
          else
-           {
-             as_bad (_("expect :8 or :16 here"));
-           }
+           as_bad (_("expect :8 or :16 here"));
        }
       else
        {
-         op->mode = PCREL | bsize;
+         int val = op->exp.X_add_number;
+
+         op->mode = PCREL;
+         if (-128 < val && val < 127)
+           op->mode |= L_8;
+         else
+           op->mode |= L_16;
        }
+
       *ptr = src;
     }
 }
@@ -621,30 +961,35 @@ get_operands (noperands, op_end, operand)
   switch (noperands)
     {
     case 0:
-      operand[0].mode = 0;
-      operand[1].mode = 0;
       break;
 
     case 1:
       ptr++;
-      get_operand (&ptr, operand + 0, 0, SRC);
+      get_operand (&ptr, operand + 0, SRC);
       if (*ptr == ',')
        {
          ptr++;
-         get_operand (&ptr, operand + 1, 1, DST);
-       }
-      else
-       {
-         operand[1].mode = 0;
+         get_operand (&ptr, operand + 1, DST);
        }
       break;
 
     case 2:
       ptr++;
-      get_operand (&ptr, operand + 0, 0, SRC);
+      get_operand (&ptr, operand + 0, SRC);
+      if (*ptr == ',')
+       ptr++;
+      get_operand (&ptr, operand + 1, DST);
+      break;
+
+    case 3:
+      ptr++;
+      get_operand (&ptr, operand + 0, SRC);
+      if (*ptr == ',')
+       ptr++;
+      get_operand (&ptr, operand + 1, DST);
       if (*ptr == ',')
        ptr++;
-      get_operand (&ptr, operand + 1, 1, DST);
+      get_operand (&ptr, operand + 2, OP3);
       break;
 
     default:
@@ -654,124 +999,362 @@ get_operands (noperands, op_end, operand)
   return ptr;
 }
 
+/* MOVA has special requirements.  Rather than adding twice the amount of
+   addressing modes, we simply special case it a bit.  */
+static void
+get_mova_operands (char *op_end, struct h8_op *operand)
+{
+  char *ptr = op_end;
+
+  if (ptr[1] != '@' || ptr[2] != '(')
+    goto error;
+  ptr += 3;
+  operand[0].mode = 0;
+  ptr = parse_exp (ptr, &operand[0].exp);
+  ptr = colonmod24 (operand + 0, ptr);
+
+  if (*ptr !=',')
+    goto error;
+  ptr++;
+  get_operand (&ptr, operand + 1, DST);
+
+  if (*ptr =='.')
+    {
+      ptr++;
+      switch (*ptr++)
+       {
+       case 'b': case 'B':
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXB;
+         break;
+       case 'w': case 'W':
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXW;
+         break;
+       case 'l': case 'L':
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXL;
+         break;
+       default:
+         goto error;
+       }
+    }
+  else if ((operand[1].mode & MODE) == LOWREG)
+    {
+      switch (operand[1].mode & SIZE) 
+       {
+       case L_8:
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXB;
+         break;
+       case L_16:
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXW;
+         break;
+       case L_32:
+         operand[0].mode = (operand[0].mode & ~MODE) | INDEXL;
+         break;
+       default:
+         goto error;
+       }
+    }
+  else
+    goto error;
+
+  if (*ptr++ != ')' || *ptr++ != ',')
+    goto error;
+  get_operand (&ptr, operand + 2, OP3);
+  /* See if we can use the short form of MOVA.  */
+  if (((operand[1].mode & MODE) == REG || (operand[1].mode & MODE) == LOWREG)
+      && (operand[2].mode & MODE) == REG
+      && (operand[1].reg & 7) == (operand[2].reg & 7))
+    {
+      operand[1].mode = operand[2].mode = 0;
+      operand[0].reg = operand[2].reg & 7;
+    }
+  return;
+
+ error:
+  as_bad (_("expected valid addressing mode for mova: \"@(disp, ea.sz),ERn\""));
+  return;
+}
+
+static void
+get_rtsl_operands (char *ptr, struct h8_op *operand)
+{
+  int mode, num, num2, len, type = 0;
+
+  ptr++;
+  if (*ptr == '(')
+    {
+      ptr++;
+      type = 1;
+    }
+  len = parse_reg (ptr, &mode, &num, SRC);
+  if (len == 0 || (mode & MODE) != REG)
+    {
+      as_bad (_("expected register"));
+      return;
+    }
+  if (type == 1)
+    {
+      ptr += len;
+      if (*ptr++ != '-')
+       {
+         as_bad (_("expected register list"));
+         return;
+       }
+      len = parse_reg (ptr, &mode, &num2, SRC);
+      if (len == 0 || (mode & MODE) != REG)
+       {
+         as_bad (_("expected register"));
+         return;
+       }
+      ptr += len;
+      if (*ptr++ != ')')
+       {
+         as_bad (_("expected closing paren"));
+         return;
+       }
+      /* CONST_xxx are used as placeholders in the opcode table.  */
+      num = num2 - num;
+      if (num < 1 || num > 3)
+       {
+         as_bad (_("invalid register list"));
+         return;
+       }
+    }
+  else
+    num2 = num, num = 0;
+  operand[0].mode = RS32;
+  operand[1].mode = RD32;
+  operand[0].reg = num;
+  operand[1].reg = num2;
+}
+
 /* Passed a pointer to a list of opcodes which use different
    addressing modes, return the opcode which matches the opcodes
    provided.  */
-static struct h8_opcode *
-get_specific (opcode, operands, size)
-     struct h8_opcode *opcode;
+
+static const struct h8_instruction *
+get_specific (instruction, operands, size)
+     const struct h8_instruction *instruction;
      struct h8_op *operands;
      int size;
 {
-  struct h8_opcode *this_try = opcode;
+  const struct h8_instruction *this_try = instruction;
+  const struct h8_instruction *found_other = 0, *found_mismatched = 0;
   int found = 0;
-
-  unsigned int this_index = opcode->idx;
+  int this_index = instruction->idx;
+  int noperands = 0;
 
   /* There's only one ldm/stm and it's easier to just
      get out quick for them.  */
-  if (strcmp (opcode->name, "stm.l") == 0
-      || strcmp (opcode->name, "ldm.l") == 0)
+  if (OP_KIND (instruction->opcode->how) == O_LDM
+      || OP_KIND (instruction->opcode->how) == O_STM)
     return this_try;
 
-  while (this_index == opcode->idx && !found)
+  while (noperands < 3 && operands[noperands].mode != 0)
+    noperands++;
+
+  while (this_index == instruction->idx && !found)
     {
-      found = 1;
+      int this_size;
 
-      this_try = opcode++;
-      if (this_try->noperands == 0)
-       {
-         int this_size;
+      found = 1;
+      this_try = instruction++;
+      this_size = this_try->opcode->how & SN;
 
-         this_size = this_try->how & SN;
-         if (this_size != size && (this_size != SB || size != SN))
-           found = 0;
-       }
-      else
+      if (this_try->noperands != noperands)
+       found = 0;
+      else if (this_try->noperands > 0)
        {
-         unsigned int i;
+         int i;
 
          for (i = 0; i < this_try->noperands && found; i++)
            {
-             op_type op = this_try->args.nib[i];
+             op_type op = this_try->opcode->args.nib[i];
+             int op_mode = op & MODE;
+             int op_size = op & SIZE;
              int x = operands[i].mode;
+             int x_mode = x & MODE;
+             int x_size = x & SIZE;
 
-             if ((op & (DISP | REG)) == (DISP | REG)
-                 && ((x & (DISP | REG)) == (DISP | REG)))
+             if (op_mode == LOWREG && (x_mode == REG || x_mode == LOWREG))
                {
-                 dispreg = operands[i].reg;
+                 if ((x_size == L_8 && (operands[i].reg & 8) == 0)
+                     || (x_size == L_16 && (operands[i].reg & 8) == 8))
+                   as_warn (_("can't use high part of register in operand %d"), i);
+
+                 if (x_size != op_size)
+                   found = 0;
                }
-             else if (op & REG)
+             else if (op_mode == REG)
                {
-                 if (!(x & REG))
+                 if (x_mode == LOWREG)
+                   x_mode = REG;
+                 if (x_mode != REG)
                    found = 0;
 
-                 if (x & L_P)
-                   x = (x & ~L_P) | (Hmode ? L_32 : L_16);
-                 if (op & L_P)
-                   op = (op & ~L_P) | (Hmode ? L_32 : L_16);
-
-                 opsize = op & SIZE;
+                 if (x_size == L_P)
+                   x_size = (Hmode ? L_32 : L_16);
+                 if (op_size == L_P)
+                   op_size = (Hmode ? L_32 : L_16);
 
                  /* The size of the reg is v important.  */
-                 if ((op & SIZE) != (x & SIZE))
+                 if (op_size != x_size)
                    found = 0;
                }
-             else if ((op & ABSJMP) && (x & ABS))
+             else if (op_mode & CTRL)  /* control register */
                {
-                 operands[i].mode &= ~ABS;
+                 if (!(x_mode & CTRL))
+                   found = 0;
+
+                 switch (x_mode)
+                   {
+                   case CCR:
+                     if (op_mode != CCR &&
+                         op_mode != CCR_EXR &&
+                         op_mode != CC_EX_VB_SB)
+                       found = 0;
+                     break;
+                   case EXR:
+                     if (op_mode != EXR &&
+                         op_mode != CCR_EXR &&
+                         op_mode != CC_EX_VB_SB)
+                       found = 0;
+                     break;
+                   case MACH:
+                     if (op_mode != MACH &&
+                         op_mode != MACREG)
+                       found = 0;
+                     break;
+                   case MACL:
+                     if (op_mode != MACL &&
+                         op_mode != MACREG)
+                       found = 0;
+                     break;
+                   case VBR:
+                     if (op_mode != VBR &&
+                         op_mode != VBR_SBR &&
+                         op_mode != CC_EX_VB_SB)
+                       found = 0;
+                     break;
+                   case SBR:
+                     if (op_mode != SBR &&
+                         op_mode != VBR_SBR &&
+                         op_mode != CC_EX_VB_SB)
+                       found = 0;
+                     break;
+                   }
+               }
+             else if ((op & ABSJMP) && (x_mode == ABS || x_mode == PCREL))
+               {
+                 operands[i].mode &= ~MODE;
                  operands[i].mode |= ABSJMP;
                  /* But it may not be 24 bits long.  */
-                 if (!Hmode)
+                 if (x_mode == ABS && !Hmode)
                    {
                      operands[i].mode &= ~SIZE;
                      operands[i].mode |= L_16;
                    }
+                 if ((operands[i].mode & SIZE) == L_32
+                     && (op_mode & SIZE) != L_32)
+                  found = 0;
                }
-             else if ((op & (KBIT | DBIT)) && (x & IMM))
+             else if (x_mode == IMM && op_mode != IMM)
                {
-                 /* This is ok if the immediate value is sensible.  */
+                 offsetT num = operands[i].exp.X_add_number;
+                 if (op_mode == KBIT || op_mode == DBIT)
+                   /* This is ok if the immediate value is sensible.  */;
+                 else if (op_mode == CONST_2)
+                   found = num == 2;
+                 else if (op_mode == CONST_4)
+                   found = num == 4;
+                 else if (op_mode == CONST_8)
+                   found = num == 8;
+                 else if (op_mode == CONST_16)
+                   found = num == 16;
+                 else
+                   found = 0;
                }
-             else if (op & PCREL)
+             else if (op_mode == PCREL && op_mode == x_mode)
                {
+                 /* movsd only comes in PCREL16 flavour:
+                    If x_size is L_8, promote it.  */
+                 if (OP_KIND (this_try->opcode->how) == O_MOVSD)
+                   if (x_size == L_8)
+                     x_size = L_16;
+
                  /* The size of the displacement is important.  */
-                 if ((op & SIZE) != (x & SIZE))
+                 if (op_size != x_size)
                    found = 0;
                }
-             else if ((op & (DISP | IMM | ABS))
-                      && (op & (DISP | IMM | ABS)) == (x & (DISP | IMM | ABS)))
+             else if ((op_mode == DISP || op_mode == IMM || op_mode == ABS
+                       || op_mode == INDEXB || op_mode == INDEXW
+                       || op_mode == INDEXL)
+                      && op_mode == x_mode)
                {
                  /* Promote a L_24 to L_32 if it makes us match.  */
-                 if ((x & L_24) && (op & L_32))
+                 if (x_size == L_24 && op_size == L_32)
                    {
-                     x &= ~L_24;
-                     x |= L_32;
+                     x &= ~SIZE;
+                     x |= x_size = L_32;
                    }
+
+#if 0 /* ??? */
                  /* Promote an L8 to L_16 if it makes us match.  */
-                 if (op & ABS && op & L_8 && op & DISP)
+                 if ((op_mode == ABS || op_mode == DISP) && x_size == L_8)
                    {
-                     if (x & L_16)
-                       found = 1;
+                     if (op_size == L_16)
+                       x_size = L_16;
                    }
-                 else if ((x & SIZE) != 0
-                          && ((op & SIZE) != (x & SIZE)))
+#endif
+
+                 if (((x_size == L_16 && op_size == L_16U)
+                      || (x_size == L_3 && op_size == L_3NZ))
+                     /* We're deliberately more permissive for ABS modes.  */
+                     && (op_mode == ABS
+                         || constant_fits_size_p (operands + i, op_size,
+                                                  op & NO_SYMBOLS)))
+                   x_size = op_size;
+
+                 if (x_size != 0 && op_size != x_size)
+                   found = 0;
+                 else if (x_size == 0
+                          && ! constant_fits_size_p (operands + i, op_size,
+                                                     op & NO_SYMBOLS))
                    found = 0;
                }
-             else if ((op & MACREG) != (x & MACREG))
-               {
-                 found = 0;
-               }
-             else if ((op & MODE) != (x & MODE))
+             else if (op_mode != x_mode)
                {
                  found = 0;
                }
            }
        }
+      if (found)
+       {
+         if ((this_try->opcode->available == AV_H8SX && ! SXmode)
+             || (this_try->opcode->available == AV_H8S && ! Smode)
+             || (this_try->opcode->available == AV_H8H && ! Hmode))
+           found = 0, found_other = this_try;
+         else if (this_size != size && (this_size != SN && size != SN))
+           found_mismatched = this_try, found = 0;
+
+       }
     }
   if (found)
     return this_try;
-  else
-    return 0;
+  if (found_other)
+    {
+      as_warn (_("Opcode `%s' with these operand types not available in %s mode"),
+              found_other->opcode->name,
+              (! Hmode && ! Smode ? "H8/300"
+               : SXmode ? "H8sx"
+               : Smode ? "H8/300S"
+               : "H8/300H"));
+    }
+  else if (found_mismatched)
+    {
+      as_warn (_("mismatch between opcode size and operand size"));
+      return found_mismatched;
+    }
+  return 0;
 }
 
 static void
@@ -788,8 +1371,7 @@ check_operand (operand, width, string)
         anding with the width and seeing if the answer is 0 or all
         fs.  */
 
-      if ((operand->exp.X_add_number & ~width) != 0 &&
-         (operand->exp.X_add_number | width) != (~0))
+      if (! constant_fits_width_p (operand, width))
        {
          if (width == 255
              && (operand->exp.X_add_number & 0xff00) == 0xff00)
@@ -798,6 +1380,14 @@ check_operand (operand, width, string)
                 fit a 16 bit address truncated into an 8 bit address
                 of something like bset.  */
            }
+         else if (strcmp (string, "@") == 0
+                  && width == 0xffff
+                  && (operand->exp.X_add_number & 0xff8000) == 0xff8000)
+           {
+             /* Just ignore this one - which happens when trying to
+                fit a 24 bit address truncated into a 16 bit address
+                of something like mov.w.  */
+           }
          else
            {
              as_warn (_("operand %s0x%lx out of range."), string,
@@ -818,52 +1408,63 @@ check_operand (operand, width, string)
      (may relax into an 8bit absolute address).  */
 
 static void
-do_a_fix_imm (offset, operand, relaxmode)
-     int offset;
+do_a_fix_imm (offset, nibble, operand, relaxmode)
+     int offset, nibble;
      struct h8_op *operand;
      int relaxmode;
 {
   int idx;
   int size;
   int where;
+  char *bytes = frag_now->fr_literal + offset;
 
-  char *t = operand->mode & IMM ? "#" : "@";
+  char *t = ((operand->mode & MODE) == IMM) ? "#" : "@";
 
   if (operand->exp.X_add_symbol == 0)
     {
-      char *bytes = frag_now->fr_literal + offset;
       switch (operand->mode & SIZE)
        {
        case L_2:
          check_operand (operand, 0x3, t);
-         bytes[0] |= (operand->exp.X_add_number) << 4;
+         bytes[0] |= (operand->exp.X_add_number & 3) << (nibble ? 0 : 4);
          break;
        case L_3:
+       case L_3NZ:
          check_operand (operand, 0x7, t);
-         bytes[0] |= (operand->exp.X_add_number) << 4;
+         bytes[0] |= (operand->exp.X_add_number & 7) << (nibble ? 0 : 4);
+         break;
+       case L_4:
+         check_operand (operand, 0xF, t);
+         bytes[0] |= (operand->exp.X_add_number & 15) << (nibble ? 0 : 4);
+         break;
+       case L_5:
+         check_operand (operand, 0x1F, t);
+         bytes[0] |= operand->exp.X_add_number & 31;
          break;
        case L_8:
+       case L_8U:
          check_operand (operand, 0xff, t);
-         bytes[0] = operand->exp.X_add_number;
+         bytes[0] |= operand->exp.X_add_number;
          break;
        case L_16:
+       case L_16U:
          check_operand (operand, 0xffff, t);
-         bytes[0] = operand->exp.X_add_number >> 8;
-         bytes[1] = operand->exp.X_add_number >> 0;
+         bytes[0] |= operand->exp.X_add_number >> 8;
+         bytes[1] |= operand->exp.X_add_number >> 0;
          break;
        case L_24:
          check_operand (operand, 0xffffff, t);
-         bytes[0] = operand->exp.X_add_number >> 16;
-         bytes[1] = operand->exp.X_add_number >> 8;
-         bytes[2] = operand->exp.X_add_number >> 0;
+         bytes[0] |= operand->exp.X_add_number >> 16;
+         bytes[1] |= operand->exp.X_add_number >> 8;
+         bytes[2] |= operand->exp.X_add_number >> 0;
          break;
 
        case L_32:
          /* This should be done with bfd.  */
-         bytes[0] = operand->exp.X_add_number >> 24;
-         bytes[1] = operand->exp.X_add_number >> 16;
-         bytes[2] = operand->exp.X_add_number >> 8;
-         bytes[3] = operand->exp.X_add_number >> 0;
+         bytes[0] |= operand->exp.X_add_number >> 24;
+         bytes[1] |= operand->exp.X_add_number >> 16;
+         bytes[2] |= operand->exp.X_add_number >> 8;
+         bytes[3] |= operand->exp.X_add_number >> 0;
          if (relaxmode != 0)
            {
              idx = (relaxmode == 2) ? R_MOV24B1 : R_MOVL1;
@@ -890,6 +1491,7 @@ do_a_fix_imm (offset, operand, relaxmode)
        default:
          as_bad (_("Can't work out size of operand.\n"));
        case L_16:
+       case L_16U:
          size = 2;
          where = 0;
          if (relaxmode == 2)
@@ -898,6 +1500,7 @@ do_a_fix_imm (offset, operand, relaxmode)
            idx = R_RELWORD;
          operand->exp.X_add_number =
            ((operand->exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
+         operand->exp.X_add_number |= (bytes[0] << 8) | bytes[1];
          break;
        case L_8:
          size = 1;
@@ -905,6 +1508,7 @@ do_a_fix_imm (offset, operand, relaxmode)
          idx = R_RELBYTE;
          operand->exp.X_add_number =
            ((operand->exp.X_add_number & 0xff) ^ 0x80) - 0x80;
+         operand->exp.X_add_number |= bytes[0];
        }
 
       fix_new_exp (frag_now,
@@ -917,66 +1521,87 @@ do_a_fix_imm (offset, operand, relaxmode)
 }
 
 /* Now we know what sort of opcodes it is, let's build the bytes.  */
+
 static void
 build_bytes (this_try, operand)
-     struct h8_opcode *this_try;
+     const struct h8_instruction *this_try;
      struct h8_op *operand;
 {
-  unsigned int i;
-
+  int i;
   char *output = frag_more (this_try->length);
-  op_type *nibble_ptr = this_try->data.nib;
+  op_type *nibble_ptr = this_try->opcode->data.nib;
   op_type c;
   unsigned int nibble_count = 0;
-  int absat;
-  int immat;
-  int nib;
+  int op_at[3];
+  int nib = 0;
   int movb = 0;
-  char asnibbles[30];
+  char asnibbles[100];
   char *p = asnibbles;
+  int high, low;
 
-  if (!(this_try->inbase || Hmode))
+  if (!Hmode && this_try->opcode->available != AV_H8)
     as_warn (_("Opcode `%s' with these operand types not available in H8/300 mode"),
-            this_try->name);
-
-  while (*nibble_ptr != E)
+            this_try->opcode->name);
+  else if (!Smode 
+          && this_try->opcode->available != AV_H8 
+          && this_try->opcode->available != AV_H8H)
+    as_warn (_("Opcode `%s' with these operand types not available in H8/300H mode"),
+            this_try->opcode->name);
+  else if (!SXmode 
+          && this_try->opcode->available != AV_H8
+          && this_try->opcode->available != AV_H8H
+          && this_try->opcode->available != AV_H8S)
+    as_warn (_("Opcode `%s' with these operand types not available in H8/300S mode"),
+            this_try->opcode->name);
+
+  while (*nibble_ptr != (op_type) E)
     {
       int d;
+
+      nib = 0;
       c = *nibble_ptr++;
 
-      d = (c & (DST | SRC_IN_DST)) != 0;
+      d = (c & OP3) == OP3 ? 2 : (c & DST) == DST ? 1 : 0;
 
       if (c < 16)
-       {
-         nib = c;
-       }
+       nib = c;
       else
        {
-         if (c & (REG | IND | INC | DEC))
+         int c2 = c & MODE;
+
+         if (c2 == REG || c2 == LOWREG
+             || c2 == IND || c2 == PREINC || c2 == PREDEC
+             || c2 == POSTINC || c2 == POSTDEC)
            {
              nib = operand[d].reg;
+             if (c2 == LOWREG)
+               nib &= 7;
            }
+
+         else if (c & CTRL)    /* Control reg operand.  */
+           nib = operand[d].reg;
+
          else if ((c & DISPREG) == (DISPREG))
            {
-             nib = dispreg;
+             nib = operand[d].reg;
            }
-         else if (c & ABS)
+         else if (c2 == ABS)
            {
              operand[d].mode = c;
-             absat = nibble_count / 2;
+             op_at[d] = nibble_count;
              nib = 0;
            }
-         else if (c & (IMM | PCREL | ABS | ABSJMP | DISP))
+         else if (c2 == IMM || c2 == PCREL || c2 == ABS
+                  || (c & ABSJMP) || c2 == DISP)
            {
              operand[d].mode = c;
-             immat = nibble_count / 2;
-             nib = 0;
-           }
-         else if (c & IGNORE)
-           {
+             op_at[d] = nibble_count;
              nib = 0;
            }
-         else if (c & DBIT)
+         else if ((c & IGNORE) || (c & DATA))
+           nib = 0;
+
+         else if (c2 == DBIT)
            {
              switch (operand[0].exp.X_add_number)
                {
@@ -990,7 +1615,7 @@ build_bytes (this_try, operand)
                  as_bad (_("Need #1 or #2 here"));
                }
            }
-         else if (c & KBIT)
+         else if (c2 == KBIT)
            {
              switch (operand[0].exp.X_add_number)
                {
@@ -1015,18 +1640,28 @@ build_bytes (this_try, operand)
            }
 
          if (c & MEMRELAX)
-           {
-             operand[d].mode |= MEMRELAX;
-           }
+           operand[d].mode |= MEMRELAX;
 
          if (c & B31)
-           {
-             nib |= 0x8;
-           }
+           nib |= 0x8;
+
+         if (c & B21)
+           nib |= 0x4;
+
+         if (c & B11)
+           nib |= 0x2;
+
+         if (c & B01)
+           nib |= 0x1;
 
-         if (c & MACREG)
+         if (c2 == MACREG)
            {
-             nib = 2 + operand[d].reg;
+             if (operand[0].mode == MACREG)
+               /* stmac has mac[hl] as the first operand.  */
+               nib = 2 + operand[0].reg;
+             else
+               /* ldmac has mac[hl] as the second operand.  */
+               nib = 2 + operand[1].reg;
            }
        }
       nibble_count++;
@@ -1036,71 +1671,103 @@ build_bytes (this_try, operand)
 
   /* Disgusting.  Why, oh why didn't someone ask us for advice
      on the assembler format.  */
-  if (strcmp (this_try->name, "stm.l") == 0
-      || strcmp (this_try->name, "ldm.l") == 0)
+  if (OP_KIND (this_try->opcode->how) == O_LDM)
     {
-      int high, low;
-      high = (operand[this_try->name[0] == 'l' ? 1 : 0].reg >> 8) & 0xf;
-      low = operand[this_try->name[0] == 'l' ? 1 : 0].reg & 0xf;
-
+      high = (operand[1].reg >> 8) & 0xf;
+      low  = (operand[1].reg) & 0xf;
       asnibbles[2] = high - low;
-      asnibbles[7] = (this_try->name[0] == 'l') ? high : low;
+      asnibbles[7] = high;
     }
-
-  for (i = 0; i < this_try->length; i++)
+  else if (OP_KIND (this_try->opcode->how) == O_STM)
     {
-      output[i] = (asnibbles[i * 2] << 4) | asnibbles[i * 2 + 1];
+      high = (operand[0].reg >> 8) & 0xf;
+      low  = (operand[0].reg) & 0xf;
+      asnibbles[2] = high - low;
+      asnibbles[7] = low;
     }
 
+  for (i = 0; i < this_try->length; i++)
+    output[i] = (asnibbles[i * 2] << 4) | asnibbles[i * 2 + 1];
+
   /* Note if this is a movb instruction -- there's a special relaxation
      which only applies to them.  */
-  if (strcmp (this_try->name, "mov.b") == 0)
+  if (this_try->opcode->how == O (O_MOV, SB))
     movb = 1;
 
   /* Output any fixes.  */
-  for (i = 0; i < 2; i++)
+  for (i = 0; i < this_try->noperands; i++)
     {
       int x = operand[i].mode;
+      int x_mode = x & MODE;
 
-      if (x & (IMM | DISP))
-       {
-         do_a_fix_imm (output - frag_now->fr_literal + immat,
-                       operand + i, x & MEMRELAX != 0);
-       }
-      else if (x & ABS)
-       {
-         do_a_fix_imm (output - frag_now->fr_literal + absat,
-                       operand + i, x & MEMRELAX ? movb + 1 : 0);
-       }
-      else if (x & PCREL)
+      if (x_mode == IMM || x_mode == DISP)
+       do_a_fix_imm (output - frag_now->fr_literal + op_at[i] / 2,
+                     op_at[i] & 1, operand + i, (x & MEMRELAX) != 0);
+
+      else if (x_mode == ABS)
+       do_a_fix_imm (output - frag_now->fr_literal + op_at[i] / 2,
+                     op_at[i] & 1, operand + i,
+                     (x & MEMRELAX) ? movb + 1 : 0);
+
+      else if (x_mode == PCREL)
        {
-         int size16 = x & L_16;
-         int where = size16 ? 2 : 1;
+         int size16 = (x & SIZE) == L_16;
          int size = size16 ? 2 : 1;
          int type = size16 ? R_PCRWORD : R_PCRBYTE;
+         fixS *fixP;
 
          check_operand (operand + i, size16 ? 0x7fff : 0x7f, "@");
 
          if (operand[i].exp.X_add_number & 1)
+           as_warn (_("branch operand has odd offset (%lx)\n"),
+                    (unsigned long) operand->exp.X_add_number);
+#ifndef OBJ_ELF
+         /* The COFF port has always been off by one, changing it
+            now would be an incompatible change, so we leave it as-is.
+
+            We don't want to do this for ELF as we want to be
+            compatible with the proposed ELF format from Hitachi.  */
+         operand[i].exp.X_add_number -= 1;
+#endif
+         if (size16)
            {
-             as_warn (_("branch operand has odd offset (%lx)\n"),
-                      (unsigned long) operand->exp.X_add_number);
+             operand[i].exp.X_add_number =
+               ((operand[i].exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
+           }
+         else
+           {
+             operand[i].exp.X_add_number =
+               ((operand[i].exp.X_add_number & 0xff) ^ 0x80) - 0x80;
            }
 
-         operand[i].exp.X_add_number -= 1;
-         operand[i].exp.X_add_number =
-           ((operand[i].exp.X_add_number & 0xff) ^ 0x80) - 0x80;
-
+         /* For BRA/S.  */
+         if (! size16)
+           operand[i].exp.X_add_number |= output[op_at[i] / 2];
+
+         fixP = fix_new_exp (frag_now,
+                             output - frag_now->fr_literal + op_at[i] / 2,
+                             size,
+                             &operand[i].exp,
+                             1,
+                             type);
+         fixP->fx_signed = 1;
+       }
+      else if (x_mode == MEMIND)
+       {
+         check_operand (operand + i, 0xff, "@@");
          fix_new_exp (frag_now,
-                      output - frag_now->fr_literal + where,
-                      size,
-                      &operand[i].exp,
+                      output - frag_now->fr_literal + 1,
                       1,
-                      type);
+                      &operand[i].exp,
+                      0,
+                      R_MEM_INDIRECT);
        }
-      else if (x & MEMIND)
+      else if (x_mode == VECIND)
        {
-         check_operand (operand + i, 0xff, "@@");
+         check_operand (operand + i, 0x7f, "@@");
+         /* FIXME: approximating the effect of "B31" here...
+            This is very hackish, and ought to be done a better way.  */
+         operand[i].exp.X_add_number |= 0x80;
          fix_new_exp (frag_now,
                       output - frag_now->fr_literal + 1,
                       1,
@@ -1110,45 +1777,65 @@ build_bytes (this_try, operand)
        }
       else if (x & ABSJMP)
        {
+         int where = 0;
+         bfd_reloc_code_real_type reloc_type = R_JMPL1;
+
+#ifdef OBJ_ELF
+         /* To be compatible with the proposed H8 ELF format, we
+            want the relocation's offset to point to the first byte
+            that will be modified, not to the start of the instruction.  */
+         
+         if ((operand->mode & SIZE) == L_32)
+           {
+             where = 2;
+             reloc_type = R_RELLONG;
+           }
+         else
+           where = 1;
+#endif
+
          /* This jmp may be a jump or a branch.  */
 
-         check_operand (operand + i, Hmode ? 0xffffff : 0xffff, "@");
+         check_operand (operand + i, 
+                        SXmode ? 0xffffffff : Hmode ? 0xffffff : 0xffff, 
+                        "@");
+
          if (operand[i].exp.X_add_number & 1)
-           {
-             as_warn (_("branch operand has odd offset (%lx)\n"),
-                      (unsigned long) operand->exp.X_add_number);
-           }
+           as_warn (_("branch operand has odd offset (%lx)\n"),
+                    (unsigned long) operand->exp.X_add_number);
+
          if (!Hmode)
            operand[i].exp.X_add_number =
              ((operand[i].exp.X_add_number & 0xffff) ^ 0x8000) - 0x8000;
          fix_new_exp (frag_now,
-                      output - frag_now->fr_literal,
+                      output - frag_now->fr_literal + where,
                       4,
                       &operand[i].exp,
                       0,
-                      R_JMPL1);
+                      reloc_type);
        }
     }
 }
 
 /* Try to give an intelligent error message for common and simple to
    detect errors.  */
+
 static void
-clever_message (opcode, operand)
-     struct h8_opcode *opcode;
+clever_message (instruction, operand)
+     const struct h8_instruction *instruction;
      struct h8_op *operand;
 {
   /* Find out if there was more than one possible opcode.  */
 
-  if ((opcode + 1)->idx != opcode->idx)
+  if ((instruction + 1)->idx != instruction->idx)
     {
-      unsigned int argn;
+      int argn;
 
       /* Only one opcode of this flavour, try to guess which operand
          didn't match.  */
-      for (argn = 0; argn < opcode->noperands; argn++)
+      for (argn = 0; argn < instruction->noperands; argn++)
        {
-         switch (opcode->args.nib[argn])
+         switch (instruction->opcode->args.nib[argn])
            {
            case RD16:
              if (operand[argn].mode != RD16)
@@ -1196,22 +1883,73 @@ clever_message (opcode, operand)
   as_bad (_("invalid operands"));
 }
 
+
+/* Adjust OPERAND's value and size given that it is accessing a field
+   of SIZE bytes.
+
+   This function handles the choice between @(d:2,ERn) and @(d:16,ERn)
+   when no size is explicitly given.  It also scales down the assembly-level
+   displacement in an @(d:2,ERn) operand.  */
+
+static void
+fix_operand_size (operand, size)
+     struct h8_op *operand;
+     int size;
+{
+  if ((operand->mode & MODE) == DISP)
+    {
+      /* If the user didn't specify an operand width, see if we
+        can use @(d:2,ERn).  */
+      if (SXmode
+         && (operand->mode & SIZE) == 0
+         && (operand->exp.X_add_number == size
+             || operand->exp.X_add_number == size * 2
+             || operand->exp.X_add_number == size * 3))
+       operand->mode |= L_2;
+
+      /* Scale down the displacement in an @(d:2,ERn) operand.
+        X_add_number then contains the desired field value.  */
+      if ((operand->mode & SIZE) == L_2)
+       {
+         if (operand->exp.X_add_number % size != 0)
+           as_warn (_("operand/size mis-match"));
+         operand->exp.X_add_number /= size;
+       }
+    }
+
+  /* If the operand needs a size but doesn't have one yet, it must be
+     a 16-bit integer (see colonmod24).  */
+  if ((operand->mode & SIZE) == 0)
+    switch (operand->mode & MODE)
+      {
+      case DISP:
+      case INDEXB:
+      case INDEXW:
+      case INDEXL:
+      case ABS:
+       operand->mode |= L_16;
+       break;
+      }
+}
+
+
 /* This is the guts of the machine-dependent assembler.  STR points to
    a machine dependent instruction.  This function is supposed to emit
    the frags/bytes it assembles.  */
+
 void
 md_assemble (str)
      char *str;
 {
   char *op_start;
   char *op_end;
-  struct h8_op operand[2];
-  struct h8_opcode *opcode;
-  struct h8_opcode *prev_opcode;
+  struct h8_op operand[3];
+  const struct h8_instruction *instruction;
+  const struct h8_instruction *prev_instruction;
 
   char *dot = 0;
   char c;
-  int size;
+  int size, i;
 
   /* Drop leading whitespace.  */
   while (*str == ' ')
@@ -1239,10 +1977,10 @@ md_assemble (str)
 
   *op_end = 0;
 
-  opcode = (struct h8_opcode *) hash_find (opcode_hash_control,
-                                          op_start);
+  instruction = (const struct h8_instruction *)
+    hash_find (opcode_hash_control, op_start);
 
-  if (opcode == NULL)
+  if (instruction == NULL)
     {
       as_bad (_("unknown opcode"));
       return;
@@ -1251,9 +1989,22 @@ md_assemble (str)
   /* We used to set input_line_pointer to the result of get_operands,
      but that is wrong.  Our caller assumes we don't change it.  */
 
-  (void) get_operands (opcode->noperands, op_end, operand);
+  operand[0].mode = 0;
+  operand[1].mode = 0;
+  operand[2].mode = 0;
+
+  if (OP_KIND (instruction->opcode->how) == O_MOVAB
+      || OP_KIND (instruction->opcode->how) == O_MOVAW
+      || OP_KIND (instruction->opcode->how) == O_MOVAL)
+    get_mova_operands (op_end, operand);
+  else if (OP_KIND (instruction->opcode->how) == O_RTEL
+          || OP_KIND (instruction->opcode->how) == O_RTSL)
+    get_rtsl_operands (op_end, operand);
+  else
+    get_operands (instruction->noperands, op_end, operand);
+
   *op_end = c;
-  prev_opcode = opcode;
+  prev_instruction = instruction;
 
   size = SN;
   if (dot)
@@ -1273,36 +2024,72 @@ md_assemble (str)
          break;
        }
     }
-  opcode = get_specific (opcode, operand, size);
+  if (OP_KIND (instruction->opcode->how) == O_MOVAB ||
+      OP_KIND (instruction->opcode->how) == O_MOVAW ||
+      OP_KIND (instruction->opcode->how) == O_MOVAL)
+    {
+      switch (operand[0].mode & MODE)
+       {
+       case INDEXB:
+       default:
+         fix_operand_size (&operand[1], 1);
+         break;
+       case INDEXW:
+         fix_operand_size (&operand[1], 2);
+         break;
+       case INDEXL:
+         fix_operand_size (&operand[1], 4);
+         break;
+       }
+    }
+  else
+    {
+      for (i = 0; i < 3 && operand[i].mode != 0; i++)
+       switch (size)
+         {
+         case SN:
+         case SB:
+         default:
+           fix_operand_size (&operand[i], 1);
+           break;
+         case SW:
+           fix_operand_size (&operand[i], 2);
+           break;
+         case SL:
+           fix_operand_size (&operand[i], 4);
+           break;
+         }
+    }
+
+  instruction = get_specific (instruction, operand, size);
 
-  if (opcode == 0)
+  if (instruction == 0)
     {
       /* Couldn't find an opcode which matched the operands.  */
       char *where = frag_more (2);
 
       where[0] = 0x0;
       where[1] = 0x0;
-      clever_message (prev_opcode, operand);
+      clever_message (prev_instruction, operand);
 
       return;
     }
-  if (opcode->size && dot)
-    {
-      if (opcode->size != *dot)
-       {
-         as_warn (_("mismatch between opcode size and operand size"));
-       }
-    }
 
-  build_bytes (opcode, operand);
+  build_bytes (instruction, operand);
+
+#ifdef BFD_ASSEMBLER
+  dwarf2_emit_insn (instruction->length);
+#endif
 }
 
+#ifndef BFD_ASSEMBLER
 void
 tc_crawl_symbol_chain (headers)
      object_headers *headers ATTRIBUTE_UNUSED;
 {
   printf (_("call to tc_crawl_symbol_chain \n"));
 }
+#endif
 
 symbolS *
 md_undefined_symbol (name)
@@ -1311,12 +2098,14 @@ md_undefined_symbol (name)
   return 0;
 }
 
+#ifndef BFD_ASSEMBLER
 void
 tc_headers_hook (headers)
      object_headers *headers ATTRIBUTE_UNUSED;
 {
   printf (_("call to tc_headers_hook \n"));
 }
+#endif
 
 /* Various routines to kill one day */
 /* Equal to MAX_PRECISION in atof-ieee.c */
@@ -1324,8 +2113,9 @@ tc_headers_hook (headers)
 
 /* 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 LITTLENUMS emitted is stored in *SIZEP.  An error message is
    returned, or NULL on OK.  */
+
 char *
 md_atof (type, litP, sizeP)
      char type;
@@ -1336,7 +2126,6 @@ md_atof (type, litP, sizeP)
   LITTLENUM_TYPE words[MAX_LITTLENUMS];
   LITTLENUM_TYPE *wordP;
   char *t;
-  char *atof_ieee ();
 
   switch (type)
     {
@@ -1381,7 +2170,7 @@ md_atof (type, litP, sizeP)
   return 0;
 }
 \f
-CONST char *md_shortopts = "";
+const char *md_shortopts = "";
 struct option md_longopts[] = {
   {NULL, no_argument, NULL, 0}
 };
@@ -1402,6 +2191,8 @@ md_show_usage (stream)
 {
 }
 \f
+void tc_aout_fix_to_chars PARAMS ((void));
+
 void
 tc_aout_fix_to_chars ()
 {
@@ -1411,7 +2202,11 @@ tc_aout_fix_to_chars ()
 
 void
 md_convert_frag (headers, seg, fragP)
+#ifdef BFD_ASSEMBLER
+     bfd *headers ATTRIBUTE_UNUSED;
+#else
      object_headers *headers ATTRIBUTE_UNUSED;
+#endif
      segT seg ATTRIBUTE_UNUSED;
      fragS *fragP ATTRIBUTE_UNUSED;
 {
@@ -1419,6 +2214,16 @@ md_convert_frag (headers, seg, fragP)
   abort ();
 }
 
+#ifdef BFD_ASSEMBLER
+valueT
+md_section_align (segment, size)
+     segT segment;
+     valueT size;
+{
+  int align = bfd_get_section_alignment (stdoutput, segment);
+  return ((size + (1 << align) - 1) & (-1 << align));
+}
+#else
 valueT
 md_section_align (seg, size)
      segT seg;
@@ -1427,13 +2232,17 @@ md_section_align (seg, size)
   return ((size + (1 << section_alignment[(int) seg]) - 1)
          & (-1 << section_alignment[(int) seg]));
 }
+#endif
+
 
 void
-md_apply_fix (fixP, val)
+md_apply_fix3 (fixP, valP, seg)
      fixS *fixP;
-     long val;
+     valueT *valP;
+     segT seg ATTRIBUTE_UNUSED;
 {
   char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
+  long val = *valP;
 
   switch (fixP->fx_size)
     {
@@ -1453,6 +2262,9 @@ md_apply_fix (fixP, val)
     default:
       abort ();
     }
+
+  if (fixP->fx_addsy == NULL && fixP->fx_pcrel == 0)
+    fixP->fx_done = 1;
 }
 
 int
@@ -1481,6 +2293,7 @@ md_pcrel_from (fixP)
   abort ();
 }
 
+#ifndef BFD_ASSEMBLER
 void
 tc_reloc_mangle (fix_ptr, intr, base)
      fixS *fix_ptr;
@@ -1543,3 +2356,48 @@ tc_reloc_mangle (fix_ptr, intr, base)
   else
     intr->r_symndx = -1;
 }
+#else /* BFD_ASSEMBLER */
+arelent *
+tc_gen_reloc (section, fixp)
+     asection *section ATTRIBUTE_UNUSED;
+     fixS *fixp;
+{
+  arelent *rel;
+  bfd_reloc_code_real_type r_type;
+
+  if (fixp->fx_addsy && fixp->fx_subsy)
+    {
+      if ((S_GET_SEGMENT (fixp->fx_addsy) != S_GET_SEGMENT (fixp->fx_subsy))
+         || S_GET_SEGMENT (fixp->fx_addsy) == undefined_section)
+       {
+         as_bad_where (fixp->fx_file, fixp->fx_line,
+                       "Difference of symbols in different sections is not supported");
+         return NULL;
+       }
+    }
+
+  rel = (arelent *) xmalloc (sizeof (arelent));
+  rel->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
+  *rel->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
+  rel->address = fixp->fx_frag->fr_address + fixp->fx_where;
+  rel->addend = fixp->fx_offset;
+
+  r_type = fixp->fx_r_type;
+
+#define DEBUG 0
+#if DEBUG
+  fprintf (stderr, "%s\n", bfd_get_reloc_code_name (r_type));
+  fflush(stderr);
+#endif
+  rel->howto = bfd_reloc_type_lookup (stdoutput, r_type);
+  if (rel->howto == NULL)
+    {
+      as_bad_where (fixp->fx_file, fixp->fx_line,
+                   _("Cannot represent relocation type %s"),
+                   bfd_get_reloc_code_name (r_type));
+      return NULL;
+    }
+
+  return rel;
+}
+#endif
This page took 0.04899 seconds and 4 git commands to generate.