Change source files over to GPLv3.
[deliverable/binutils-gdb.git] / opcodes / arc-opc.c
index e0cdef6c6daf49b1742ecf5ad21a7ddd14b9ce62..6ba9056b5557b8852f427f7c39ff525d04b0f960 100644 (file)
 /* Opcode table for the ARC.
-   Copyright 1994, 1995 Free Software Foundation, Inc.
+   Copyright 1994, 1995, 1997, 1998, 2000, 2001, 2002, 2004, 2005, 2007
+   Free Software Foundation, Inc.
    Contributed by Doug Evans (dje@cygnus.com).
-   
-   This program is free software; you can redistribute it and/or modify
+
+   This file is part of libopcodes.
+
+   This library is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
+   the Free Software Foundation; either version 3, or (at your option)
    any later version.
 
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
+   It is distributed in the hope that it will be useful, but WITHOUT
+   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+   License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
+   along with this program; if not, write to the Free Software Foundation,
+   Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA.  */
 
+#include "sysdep.h"
+#include <stdio.h>
 #include "ansidecl.h"
+#include "bfd.h"
 #include "opcode/arc.h"
+#include "opintl.h"
+
+enum operand {OP_NONE,OP_REG,OP_SHIMM,OP_LIMM};
+
+#define OPERANDS 3
+
+enum operand ls_operand[OPERANDS];
+
+struct arc_opcode *arc_ext_opcodes;
+struct arc_ext_operand_value *arc_ext_operands;
+
+#define LS_VALUE  0
+#define LS_DEST   0
+#define LS_BASE   1
+#define LS_OFFSET 2
+
+/* Given a format letter, yields the index into `arc_operands'.
+   eg: arc_operand_map['a'] = REGA.  */
+unsigned char arc_operand_map[256];
+
+/* Nonzero if we've seen an 'f' suffix (in certain insns).  */
+static int flag_p;
+
+/* Nonzero if we've finished processing the 'f' suffix.  */
+static int flagshimm_handled_p;
+
+/* Nonzero if we've seen a 'a' suffix (address writeback).  */
+static int addrwb_p;
+
+/* Nonzero if we've seen a 'q' suffix (condition code).  */
+static int cond_p;
+
+/* Nonzero if we've inserted a nullify condition.  */
+static int nullify_p;
+
+/* The value of the a nullify condition we inserted.  */
+static int nullify;
+
+/* Nonzero if we've inserted jumpflags.  */
+static int jumpflags_p;
+
+/* Nonzero if we've inserted a shimm.  */
+static int shimm_p;
+
+/* The value of the shimm we inserted (each insn only gets one but it can
+   appear multiple times).  */
+static int shimm;
+
+/* Nonzero if we've inserted a limm (during assembly) or seen a limm
+   (during disassembly).  */
+static int limm_p;
 
+/* The value of the limm we inserted.  Each insn only gets one but it can
+   appear multiple times.  */
+static long limm;
+\f
 #define INSERT_FN(fn) \
-static arc_insn fn PARAMS ((arc_insn, const struct arc_operand *, \
-                           int, const struct arc_operand_value *, long, \
-                           const char **))
+static arc_insn fn (arc_insn, const struct arc_operand *, \
+                   int, const struct arc_operand_value *, long, \
+                   const char **)
+
 #define EXTRACT_FN(fn) \
-static long fn PARAMS ((arc_insn *, const struct arc_operand *, \
-                       int, const struct arc_operand_value **, int *))
+static long fn (arc_insn *, const struct arc_operand *, \
+               int, const struct arc_operand_value **, int *)
 
 INSERT_FN (insert_reg);
 INSERT_FN (insert_shimmfinish);
 INSERT_FN (insert_limmfinish);
-INSERT_FN (insert_shimmoffset);
-INSERT_FN (insert_shimmzero);
+INSERT_FN (insert_offset);
+INSERT_FN (insert_base);
+INSERT_FN (insert_st_syntax);
+INSERT_FN (insert_ld_syntax);
+INSERT_FN (insert_addr_wb);
 INSERT_FN (insert_flag);
+INSERT_FN (insert_nullify);
 INSERT_FN (insert_flagfinish);
 INSERT_FN (insert_cond);
 INSERT_FN (insert_forcelimm);
 INSERT_FN (insert_reladdr);
 INSERT_FN (insert_absaddr);
+INSERT_FN (insert_jumpflags);
 INSERT_FN (insert_unopmacro);
-INSERT_FN (insert_multshift);
 
 EXTRACT_FN (extract_reg);
+EXTRACT_FN (extract_ld_offset);
+EXTRACT_FN (extract_ld_syntax);
+EXTRACT_FN (extract_st_offset);
+EXTRACT_FN (extract_st_syntax);
 EXTRACT_FN (extract_flag);
 EXTRACT_FN (extract_cond);
 EXTRACT_FN (extract_reladdr);
+EXTRACT_FN (extract_jumpflags);
 EXTRACT_FN (extract_unopmacro);
-EXTRACT_FN (extract_multshift);
 
 /* Various types of ARC operands, including insn suffixes.  */
 
@@ -57,8 +127,13 @@ EXTRACT_FN (extract_multshift);
    'c' REGC            register C field
    'S' SHIMMFINISH     finish inserting a shimm value
    'L' LIMMFINISH      finish inserting a limm value
-   'd' SHIMMOFFSET     shimm offset in ld,st insns
-   '0' SHIMMZERO       0 shimm value in ld,st insns
+   'o' OFFSET          offset in st insns
+   'O' OFFSET          offset in ld insns
+   '0' SYNTAX_ST_NE    enforce store insn syntax, no errors
+   '1' SYNTAX_LD_NE    enforce load insn syntax, no errors
+   '2'  SYNTAX_ST       enforce store insn syntax, errors, last pattern only
+   '3'  SYNTAX_LD       enforce load insn syntax, errors, last pattern only
+   's'  BASE            base in st insn
    'f' FLAG            F flag
    'F' FLAGFINISH      finish inserting the F flag
    'G' FLAGINSN        insert F flag in "flag" insn
@@ -67,6 +142,7 @@ EXTRACT_FN (extract_multshift);
    'Q' FORCELIMM       set `cond_p' to 1 to ensure a constant is a limm
    'B' BRANCH          branch address (22 bit pc relative)
    'J' JUMP            jump address (26 bit absolute)
+   'j'  JUMPFLAGS       optional high order bits of 'J'
    'z' SIZE1           size field in ld a,[b,c]
    'Z' SIZE10          size field in ld a,[b,shimm]
    'y' SIZE22          size field in st c,[b,shimm]
@@ -78,8 +154,6 @@ EXTRACT_FN (extract_multshift);
    'e' CACHEBYPASS5    cache bypass in ld a,[b,c]
    'E' CACHEBYPASS14   cache bypass in ld a,[b,shimm]
    'D' CACHEBYPASS26   cache bypass in st c,[b,shimm]
-   'u' UNSIGNED        unsigned multiply
-   's' SATURATION      saturation limit in audio arc mac insn
    'U' UNOPMACRO       fake operand to copy REGB to REGC for unop macros
 
    The following modifiers may appear between the % and char (eg: %.f):
@@ -90,567 +164,182 @@ EXTRACT_FN (extract_multshift);
 
    Fields are:
 
-   CHAR BITS SHIFT FLAGS INSERT_FN EXTRACT_FN
-*/
+   CHAR BITS SHIFT FLAGS INSERT_FN EXTRACT_FN  */
 
 const struct arc_operand arc_operands[] =
 {
-/* place holder (??? not sure if needed) */
+/* Place holder (??? not sure if needed).  */
 #define UNUSED 0
-  { 0 },
+  { 0, 0, 0, 0, 0, 0 },
 
-/* register A or shimm/limm indicator */
+/* Register A or shimm/limm indicator.  */
 #define REGA (UNUSED + 1)
-  { 'a', 6, ARC_SHIFT_REGA, 0, insert_reg, extract_reg },
+  { 'a', 6, ARC_SHIFT_REGA, ARC_OPERAND_SIGNED | ARC_OPERAND_ERROR, insert_reg, extract_reg },
 
-/* register B or shimm/limm indicator */
+/* Register B or shimm/limm indicator.  */
 #define REGB (REGA + 1)
-  { 'b', 6, ARC_SHIFT_REGB, 0, insert_reg, extract_reg },
+  { 'b', 6, ARC_SHIFT_REGB, ARC_OPERAND_SIGNED | ARC_OPERAND_ERROR, insert_reg, extract_reg },
 
-/* register C or shimm/limm indicator */
+/* Register C or shimm/limm indicator.  */
 #define REGC (REGB + 1)
-  { 'c', 6, ARC_SHIFT_REGC, 0, insert_reg, extract_reg },
+  { 'c', 6, ARC_SHIFT_REGC, ARC_OPERAND_SIGNED | ARC_OPERAND_ERROR, insert_reg, extract_reg },
 
-/* fake operand used to insert shimm value into most instructions */
+/* Fake operand used to insert shimm value into most instructions.  */
 #define SHIMMFINISH (REGC + 1)
   { 'S', 9, 0, ARC_OPERAND_SIGNED + ARC_OPERAND_FAKE, insert_shimmfinish, 0 },
 
-/* fake operand used to insert limm value into most instructions;
-   this is also used for .word handling  */
+/* Fake operand used to insert limm value into most instructions.  */
 #define LIMMFINISH (SHIMMFINISH + 1)
   { 'L', 32, 32, ARC_OPERAND_ADDRESS + ARC_OPERAND_LIMM + ARC_OPERAND_FAKE, insert_limmfinish, 0 },
 
-/* shimm operand when there is no reg indicator (ld,st) */
-#define SHIMMOFFSET (LIMMFINISH + 1)
-  { 'd', 9, 0, ARC_OPERAND_SIGNED, insert_shimmoffset, 0 },
+/* Shimm operand when there is no reg indicator (st).  */
+#define ST_OFFSET (LIMMFINISH + 1)
+  { 'o', 9, 0, ARC_OPERAND_LIMM | ARC_OPERAND_SIGNED | ARC_OPERAND_STORE, insert_offset, extract_st_offset },
+
+/* Shimm operand when there is no reg indicator (ld).  */
+#define LD_OFFSET (ST_OFFSET + 1)
+  { 'O', 9, 0,ARC_OPERAND_LIMM | ARC_OPERAND_SIGNED | ARC_OPERAND_LOAD, insert_offset, extract_ld_offset },
 
-/* 0 shimm operand for ld,st insns */
-#define SHIMMZERO (SHIMMOFFSET + 1)
-  { '0', 9, 0, ARC_OPERAND_FAKE, insert_shimmzero, 0 },
+/* Operand for base.  */
+#define BASE (LD_OFFSET + 1)
+  { 's', 6, ARC_SHIFT_REGB, ARC_OPERAND_LIMM | ARC_OPERAND_SIGNED, insert_base, extract_reg},
 
-/* flag update bit (insertion is defered until we know how) */
-#define FLAG (SHIMMZERO + 1)
+/* 0 enforce syntax for st insns.  */
+#define SYNTAX_ST_NE (BASE + 1)
+  { '0', 9, 0, ARC_OPERAND_FAKE, insert_st_syntax, extract_st_syntax },
+
+/* 1 enforce syntax for ld insns.  */
+#define SYNTAX_LD_NE (SYNTAX_ST_NE + 1)
+  { '1', 9, 0, ARC_OPERAND_FAKE, insert_ld_syntax, extract_ld_syntax },
+
+/* 0 enforce syntax for st insns.  */
+#define SYNTAX_ST (SYNTAX_LD_NE + 1)
+  { '2', 9, 0, ARC_OPERAND_FAKE | ARC_OPERAND_ERROR, insert_st_syntax, extract_st_syntax },
+
+/* 0 enforce syntax for ld insns.  */
+#define SYNTAX_LD (SYNTAX_ST + 1)
+  { '3', 9, 0, ARC_OPERAND_FAKE | ARC_OPERAND_ERROR, insert_ld_syntax, extract_ld_syntax },
+
+/* Flag update bit (insertion is defered until we know how).  */
+#define FLAG (SYNTAX_LD + 1)
   { 'f', 1, 8, ARC_OPERAND_SUFFIX, insert_flag, extract_flag },
 
-/* fake utility operand to finish 'f' suffix handling */
+/* Fake utility operand to finish 'f' suffix handling.  */
 #define FLAGFINISH (FLAG + 1)
   { 'F', 1, 8, ARC_OPERAND_FAKE, insert_flagfinish, 0 },
 
-/* fake utility operand to set the 'f' flag for the "flag" insn */
+/* Fake utility operand to set the 'f' flag for the "flag" insn.  */
 #define FLAGINSN (FLAGFINISH + 1)
   { 'G', 1, 8, ARC_OPERAND_FAKE, insert_flag, 0 },
 
-/* branch delay types */
+/* Branch delay types.  */
 #define DELAY (FLAGINSN + 1)
-  { 'n', 2, 5, ARC_OPERAND_SUFFIX },
+  { 'n', 2, 5, ARC_OPERAND_SUFFIX , insert_nullify, 0 },
 
-/* conditions */
+/* Conditions.  */
 #define COND (DELAY + 1)
   { 'q', 5, 0, ARC_OPERAND_SUFFIX, insert_cond, extract_cond },
 
-/* set `cond_p' to 1 to ensure a constant is treated as a limm */
+/* Set `cond_p' to 1 to ensure a constant is treated as a limm.  */
 #define FORCELIMM (COND + 1)
-  { 'Q', 0, 0, ARC_OPERAND_FAKE, insert_forcelimm },
+  { 'Q', 0, 0, ARC_OPERAND_FAKE, insert_forcelimm, 0 },
 
-/* branch address; b, bl, and lp insns */
+/* Branch address; b, bl, and lp insns.  */
 #define BRANCH (FORCELIMM + 1)
-  { 'B', 20, 7, ARC_OPERAND_RELATIVE_BRANCH + ARC_OPERAND_SIGNED, insert_reladdr, extract_reladdr },
+  { 'B', 20, 7, (ARC_OPERAND_RELATIVE_BRANCH + ARC_OPERAND_SIGNED) | ARC_OPERAND_ERROR, insert_reladdr, extract_reladdr },
 
-/* jump address; j insn (this is basically the same as 'L' except that the
-   value is right shifted by 2); this is also used for .word handling */
+/* Jump address; j insn (this is basically the same as 'L' except that the
+   value is right shifted by 2) */
 #define JUMP (BRANCH + 1)
-  { 'J', 24, 32, ARC_OPERAND_ABSOLUTE_BRANCH + ARC_OPERAND_LIMM + ARC_OPERAND_FAKE, insert_absaddr },
+  { 'J', 24, 32, ARC_OPERAND_ERROR | (ARC_OPERAND_ABSOLUTE_BRANCH + ARC_OPERAND_LIMM + ARC_OPERAND_FAKE), insert_absaddr, 0 },
 
-/* size field, stored in bit 1,2 */
-#define SIZE1 (JUMP + 1)
-  { 'z', 2, 1, ARC_OPERAND_SUFFIX },
+/* Jump flags; j{,l} insn value or'ed into 'J' addr for flag values.  */
+#define JUMPFLAGS (JUMP + 1)
+  { 'j', 6, 26, ARC_OPERAND_JUMPFLAGS | ARC_OPERAND_ERROR, insert_jumpflags, extract_jumpflags },
 
-/* size field, stored in bit 10,11 */
+/* Size field, stored in bit 1,2.  */
+#define SIZE1 (JUMPFLAGS + 1)
+  { 'z', 2, 1, ARC_OPERAND_SUFFIX, 0, 0 },
+
+/* Size field, stored in bit 10,11.  */
 #define SIZE10 (SIZE1 + 1)
-  { 'Z', 2, 10, ARC_OPERAND_SUFFIX, },
+  { 'Z', 2, 10, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* size field, stored in bit 22,23 */
+/* Size field, stored in bit 22,23.  */
 #define SIZE22 (SIZE10 + 1)
-  { 'y', 2, 22, ARC_OPERAND_SUFFIX, },
+  { 'y', 2, 22, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* sign extend field, stored in bit 0 */
+/* Sign extend field, stored in bit 0.  */
 #define SIGN0 (SIZE22 + 1)
-  { 'x', 1, 0, ARC_OPERAND_SUFFIX },
+  { 'x', 1, 0, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* sign extend field, stored in bit 9 */
+/* Sign extend field, stored in bit 9.  */
 #define SIGN9 (SIGN0 + 1)
-  { 'X', 1, 9, ARC_OPERAND_SUFFIX },
+  { 'X', 1, 9, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* address write back, stored in bit 3 */
+/* Address write back, stored in bit 3.  */
 #define ADDRESS3 (SIGN9 + 1)
-  { 'w', 1, 3, ARC_OPERAND_SUFFIX },
+  { 'w', 1, 3, ARC_OPERAND_SUFFIX, insert_addr_wb, 0},
 
-/* address write back, stored in bit 12 */
+/* Address write back, stored in bit 12.  */
 #define ADDRESS12 (ADDRESS3 + 1)
-  { 'W', 1, 12, ARC_OPERAND_SUFFIX },
+  { 'W', 1, 12, ARC_OPERAND_SUFFIX, insert_addr_wb, 0},
 
-/* address write back, stored in bit 24 */
+/* Address write back, stored in bit 24.  */
 #define ADDRESS24 (ADDRESS12 + 1)
-  { 'v', 1, 24, ARC_OPERAND_SUFFIX },
+  { 'v', 1, 24, ARC_OPERAND_SUFFIX, insert_addr_wb, 0},
 
-/* cache bypass, stored in bit 5 */
+/* Cache bypass, stored in bit 5.  */
 #define CACHEBYPASS5 (ADDRESS24 + 1)
-  { 'e', 1, 5, ARC_OPERAND_SUFFIX },
+  { 'e', 1, 5, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* cache bypass, stored in bit 14 */
+/* Cache bypass, stored in bit 14.  */
 #define CACHEBYPASS14 (CACHEBYPASS5 + 1)
-  { 'E', 1, 14, ARC_OPERAND_SUFFIX },
+  { 'E', 1, 14, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* cache bypass, stored in bit 26 */
+/* Cache bypass, stored in bit 26.  */
 #define CACHEBYPASS26 (CACHEBYPASS14 + 1)
-  { 'D', 1, 26, ARC_OPERAND_SUFFIX },
-
-/* unsigned multiply */
-#define UNSIGNED (CACHEBYPASS26 + 1)
-  { 'u', 1, 27, ARC_OPERAND_SUFFIX },
+  { 'D', 1, 26, ARC_OPERAND_SUFFIX, 0, 0 },
 
-/* unsigned multiply */
-#define SATURATION (UNSIGNED + 1)
-  { 's', 1, 28, ARC_OPERAND_SUFFIX },
-
-/* unop macro, used to copy REGB to REGC */
-#define UNOPMACRO (SATURATION + 1)
+/* Unop macro, used to copy REGB to REGC.  */
+#define UNOPMACRO (CACHEBYPASS26 + 1)
   { 'U', 6, ARC_SHIFT_REGC, ARC_OPERAND_FAKE, insert_unopmacro, extract_unopmacro },
 
 /* '.' modifier ('.' required).  */
 #define MODDOT (UNOPMACRO + 1)
-  { '.', 1, 0, ARC_MOD_DOT },
+  { '.', 1, 0, ARC_MOD_DOT, 0, 0 },
 
 /* Dummy 'r' modifier for the register table.
    It's called a "dummy" because there's no point in inserting an 'r' into all
    the %a/%b/%c occurrences in the insn table.  */
 #define REG (MODDOT + 1)
-  { 'r', 6, 0, ARC_MOD_REG },
+  { 'r', 6, 0, ARC_MOD_REG, 0, 0 },
 
 /* Known auxiliary register modifier (stored in shimm field).  */
 #define AUXREG (REG + 1)
-  { 'A', 9, 0, ARC_MOD_AUXREG },
-
-/* end of list place holder */
-  { 0 }
-};
-\f
-/* Given a format letter, yields the index into `arc_operands'.
-   eg: arc_operand_map['a'] = REGA.  */
-unsigned char arc_operand_map[256];
-
-#define I(x) (((x) & 31) << 27)
-#define A(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGA)
-#define B(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGB)
-#define C(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGC)
-#define R(x,b,m) (((x) & (m)) << (b))  /* value X, mask M, at bit B */
-
-/* ARC instructions (sorted by at least the first letter, and equivalent
-   opcodes kept together).
-
-   By recording the insns this way, the table is not hashable on the opcode.
-   That's not a real loss though as there are only a few entries for each
-   insn (ld/st being the exception), which are quickly found and since
-   they're stored together (eg: all `ld' variants are together) very little
-   time is spent on the opcode itself.  The slow part is parsing the options,
-   but that's always going to be slow.
-
-   Longer versions of insns must appear before shorter ones (if gas sees
-   "lsr r2,r3,1" when it's parsing "lsr %a,%b" it will think the ",1" is
-   junk).
-
-   This table is best viewed on a wide screen (161 columns).
-   I'd prefer to keep it this way.  */
-
-/* ??? This table also includes macros: asl, lsl, and mov.  The ppc port has
-   a more general facility for dealing with macros which could be used if
-   we need to.  */
-/* ??? As an experiment, the "mov" macro appears at the start so it is
-   prefered to "and" when disassembling.  At present, the table needn't be
-   sorted, though all opcodes with the same first letter must be kept
-   together.  */
-
-const struct arc_opcode arc_opcodes[] = {
-  { "mac%u%.s%.q%.f %a,%b,%c%F%S%L",   I(-4),          I(24),          ARC_MACH_AUDIO },
-  /* Note that "mov" is really an "and".  */
-  { "mov%.q%.f %a,%b%F%S%L%U",         I(-1),          I(12) },
-  { "mul%u%.q%.f %a,%b,%c%F%S%L",      I(-2),          I(28),          ARC_MACH_AUDIO },
-  /* ??? This insn allows an optional "0," preceding the args.  */
-  /* We can't use %u here because it's not a suffix (the "64" is in the way).  */
-  { "mul64%.q%.f %b,%c%F%S%L",         I(-1)+A(-1),    I(20)+A(-1),    ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-  { "mulu64%.q%.f %b,%c%F%S%L",                I(-1)+A(-1),    I(21)+A(-1),    ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-
-  { "adc%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(9) },
-  { "add%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(8) },
-  { "and%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(12) },
-  { "asl%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(16),          ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-  /* Note that "asl" is really an "add".  */
-  { "asl%.q%.f %a,%b%F%S%L%U",         I(-1),          I(8) },
-  { "asr%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(18),          ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-  { "asr%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(1) },
-  { "bic%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(14) },
-  { "b%q%.n %B",                       I(-1),          I(4) },
-  { "bl%q%.n %B",                      I(-1),          I(5) },
-  { "extb%.q%.f %a,%b%F%S%L",          I(-1)+C(-1),    I(3)+C(7) },
-  { "extw%.q%.f %a,%b%F%S%L",          I(-1)+C(-1),    I(3)+C(8) },
-  { "flag%.q %b%G%S%L",                        I(-1)+A(-1)+C(-1),              I(3)+A(ARC_REG_SHIMM_UPDATE)+C(0) },
-  /* %Q: force cond_p=1 --> no shimm values */
-  /* ??? This insn allows an optional flags spec.  */
-  { "j%q%Q%.n%.f %b%J",                        I(-1)+A(-1)+C(-1)+R(-1,7,1),    I(7)+A(0)+C(0)+R(0,7,1) },
-  /* Put opcode 1 ld insns first so shimm gets prefered over limm.  */
-  /* "[%b]" is before "[%b,%d]" so 0 offsets don't get printed.  */
-  { "ld%Z%.X%.W%.E %0%a,[%b]%L",       I(-1)+R(-1,13,1)+R(-1,0,511),   I(1)+R(0,13,1)+R(0,0,511) },
-  { "ld%Z%.X%.W%.E %a,[%b,%d]%S%L",    I(-1)+R(-1,13,1),               I(1)+R(0,13,1) },
-  { "ld%z%.x%.w%.e %a,[%b,%c]",                I(-1)+R(-1,4,1)+R(-1,6,7),      I(0)+R(0,4,1)+R(0,6,7) },
-  { "lp%q%.n %B",                      I(-1),          I(6), },
-  { "lr %a,[%Ab]%S%L",                 I(-1)+C(-1),    I(1)+C(0x10) },
-  /* Note that "lsl" is really an "add".  */
-  { "lsl%.q%.f %a,%b%F%S%L%U",         I(-1),          I(8) },
-  { "lsr%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(17),          ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-  { "lsr%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(2) },
-  /* Note that "nop" is really an "xor".  */
-  { "nop",                             0xffffffff,     0x7fffffff },
-  { "or%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(13) },
-  /* ??? The %a here should be %p or something.  */
-  { "padc%.q%.f %a,%b,%c%F%S%L",       I(-1),          I(25),          ARC_MACH_GRAPHICS },
-  { "padd%.q%.f %a,%b,%c%F%S%L",       I(-1),          I(24),          ARC_MACH_GRAPHICS },
-  /* Note that "pmov" is really a "pand".  */
-  { "pmov%.q%.f %a,%b%F%S%L%U",                I(-1),          I(28),          ARC_MACH_GRAPHICS },
-  { "pand%.q%.f %a,%b,%c%F%S%L",       I(-1),          I(28),          ARC_MACH_GRAPHICS },
-  { "psbc%.q%.f %a,%b,%c%F%S%L",       I(-1),          I(27),          ARC_MACH_GRAPHICS },
-  { "psub%.q%.f %a,%b,%c%F%S%L",       I(-1),          I(26),          ARC_MACH_GRAPHICS },
-  /* Note that "rlc" is really an "adc".  */
-  { "rlc%.q%.f %a,%b%F%S%L%U",         I(-1),          I(9) },
-  { "ror%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(19),          ARC_MACH_HOST+ARC_MACH_GRAPHICS },
-  { "ror%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(3) },
-  { "rrc%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(4) },
-  { "sbc%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(11) },
-  { "sexb%.q%.f %a,%b%F%S%L",          I(-1)+C(-1),    I(3)+C(5) },
-  { "sexw%.q%.f %a,%b%F%S%L",          I(-1)+C(-1),    I(3)+C(6) },
-  { "sr %c,[%Ab]%S%L",                 I(-1)+A(-1),            I(2)+A(0x10) },
-  /* "[%b]" is before "[%b,%d]" so 0 offsets don't get printed.  */
-  { "st%y%.v%.D %0%c,[%b]%L",          I(-1)+R(-1,25,3)+R(-1,21,1)+R(-1,0,511),        I(2)+R(0,25,3)+R(0,21,1)+R(0,0,511) },
-  { "st%y%.v%.D %c,[%b,%d]%S%L",       I(-1)+R(-1,25,3)+R(-1,21,1),                    I(2)+R(0,25,3)+R(0,21,1) },
-  { "sub%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(10) },
-  { "swap%.q%.f %a,%b%F%S%L",          I(-1)+C(-1),    I(3)+C(9),      ARC_MACH_AUDIO },
-  { "xor%.q%.f %a,%b,%c%F%S%L",                I(-1),          I(15) }
-};
-const int arc_opcodes_count = sizeof (arc_opcodes) / sizeof (arc_opcodes[0]);
-
-const struct arc_operand_value arc_reg_names[] =
-{
-  /* Sort this so that the first 61 entries are sequential.
-     IE: For each i (i<61), arc_reg_names[i].value == i.  */
-
-  { "r0", 0, REG }, { "r1", 1, REG }, { "r2", 2, REG }, { "r3", 3, REG },
-  { "r4", 4, REG }, { "r5", 5, REG }, { "r6", 6, REG }, { "r7", 7, REG },
-  { "r8", 8, REG }, { "r9", 9, REG }, { "r10", 10, REG }, { "r11", 11, REG },
-  { "r12", 12, REG }, { "r13", 13, REG }, { "r14", 14, REG }, { "r15", 15, REG },
-  { "r16", 16, REG }, { "r17", 17, REG }, { "r18", 18, REG }, { "r19", 19, REG },
-  { "r20", 20, REG }, { "r21", 21, REG }, { "r22", 22, REG }, { "r23", 23, REG },
-  { "r24", 24, REG }, { "r25", 25, REG }, { "r26", 26, REG }, { "fp", 27, REG },
-  { "sp", 28, REG }, { "ilink1", 29, REG }, { "ilink2", 30, REG }, { "blink", 31, REG },
-  { "r32", 32, REG }, { "r33", 33, REG }, { "r34", 34, REG }, { "r35", 35, REG },
-  { "r36", 36, REG }, { "r37", 37, REG }, { "r38", 38, REG }, { "r39", 39, REG },
-  { "r40", 40, REG }, { "r41", 41, REG }, { "r42", 42, REG }, { "r43", 43, REG },
-  { "r44", 44, REG }, { "r45", 45, REG }, { "r46", 46, REG }, { "r47", 47, REG },
-  { "r48", 48, REG }, { "r49", 49, REG }, { "r50", 50, REG }, { "r51", 51, REG },
-  { "r52", 52, REG }, { "r53", 53, REG }, { "r54", 54, REG }, { "r55", 55, REG },
-  { "r56", 56, REG }, { "r57", 57, REG }, { "r58", 58, REG }, { "r59", 59, REG },
-  { "lp_count", 60, REG },
-
-  /* I'd prefer to output these as "fp" and "sp" by default, but we still need
-     to recognize the canonical values.  */
-  { "r27", 27, REG }, { "r28", 28, REG },
-
-  /* Standard auxiliary registers.  */
-  { "status",  0, AUXREG },
-  { "semaphore", 1, AUXREG },
-  { "lp_start",        2, AUXREG },
-  { "lp_end",  3, AUXREG },
-  { "identity",        4, AUXREG },
-  { "debug",   5, AUXREG },
-
-  /* Host ARC Extensions.  */
-  { "mlo",     57, REG, ARC_MACH_HOST },
-  { "mmid",    58, REG, ARC_MACH_HOST },
-  { "mhi",     59, REG, ARC_MACH_HOST },
-  { "ivic",    0x10, AUXREG, ARC_MACH_HOST },
-  { "ivdc",    0x11, AUXREG, ARC_MACH_HOST },
-  { "ivdcn",   0x12, AUXREG, ARC_MACH_HOST },
-  { "flushd",  0x13, AUXREG, ARC_MACH_HOST },
-  { "saha",    0x14, AUXREG, ARC_MACH_HOST },
-  { "gahd",    0x15, AUXREG, ARC_MACH_HOST },
-  { "aahd",    0x16, AUXREG, ARC_MACH_HOST },
-  { "rrcr",    0x17, AUXREG, ARC_MACH_HOST },
-  { "rpcr",    0x18, AUXREG, ARC_MACH_HOST },
-  { "flushdn", 0x19, AUXREG, ARC_MACH_HOST },
-  { "dbgad1",  0x1a, AUXREG, ARC_MACH_HOST },
-  { "dbgad2",  0x1b, AUXREG, ARC_MACH_HOST },
-  { "dbgmde",  0x1c, AUXREG, ARC_MACH_HOST },
-  { "dbgstat", 0x1d, AUXREG, ARC_MACH_HOST },
-  { "wag",     0x1e, AUXREG, ARC_MACH_HOST },
-  { "mulhi",   0x1f, AUXREG, ARC_MACH_HOST },
-  { "intwide", 0x20, AUXREG, ARC_MACH_HOST },
-  { "intgen",  0x21, AUXREG, ARC_MACH_HOST },
-  { "rfsh_n",  0x22, AUXREG, ARC_MACH_HOST },
-
-  /* Graphics ARC Extensions.  */
-  { "mlo",     57, REG, ARC_MACH_GRAPHICS },
-  { "mmid",    58, REG, ARC_MACH_GRAPHICS },
-  { "mhi",     59, REG, ARC_MACH_GRAPHICS },
-  { "ivic",    0x10, AUXREG, ARC_MACH_GRAPHICS },
-  { "wag",     0x1e, AUXREG, ARC_MACH_GRAPHICS },
-  { "mulhi",   0x1f, AUXREG, ARC_MACH_GRAPHICS },
-  { "intwide", 0x20, AUXREG, ARC_MACH_GRAPHICS },
-  { "intgen",  0x21, AUXREG, ARC_MACH_GRAPHICS },
-  { "pix",     0x100, AUXREG, ARC_MACH_GRAPHICS },
-  { "scratch", 0x120, AUXREG, ARC_MACH_GRAPHICS },
-
-  /* Audio ARC Extensions.  */
-  { "macmode", 39, REG, ARC_MACH_AUDIO },
-  { "rs1",     40, REG, ARC_MACH_AUDIO },
-  { "rs1n",    41, REG, ARC_MACH_AUDIO },
-  { "rs1start",        42, REG, ARC_MACH_AUDIO },
-  { "rs1size", 43, REG, ARC_MACH_AUDIO },
-  { "rs1delta",        44, REG, ARC_MACH_AUDIO },
-  { "rs1pos",  45, REG, ARC_MACH_AUDIO },
-  { "rd1",     46, REG, ARC_MACH_AUDIO },
-  { "rd1n",    47, REG, ARC_MACH_AUDIO },
-  { "rd1d",    48, REG, ARC_MACH_AUDIO },
-  { "rd1pos",  49, REG, ARC_MACH_AUDIO },
-  { "rs2",     50, REG, ARC_MACH_AUDIO },
-  { "rs2n",    51, REG, ARC_MACH_AUDIO },
-  { "rs2start",        52, REG, ARC_MACH_AUDIO },
-  { "rs2size", 53, REG, ARC_MACH_AUDIO },
-  { "rs2delta",        54, REG, ARC_MACH_AUDIO },
-  { "rs2pos",  55, REG, ARC_MACH_AUDIO },
-  { "rd2",     56, REG, ARC_MACH_AUDIO },
-  { "rd2n",    57, REG, ARC_MACH_AUDIO },
-  { "rd2d",    58, REG, ARC_MACH_AUDIO },
-  { "rd2pos",  59, REG, ARC_MACH_AUDIO },
-  { "ivic",    0x10, AUXREG, ARC_MACH_AUDIO },
-  { "wag",     0x1e, AUXREG, ARC_MACH_AUDIO },
-  { "intwide", 0x20, AUXREG, ARC_MACH_AUDIO },
-  { "intgen",  0x21, AUXREG, ARC_MACH_AUDIO },
-  { "bm_sstart", 0x30, AUXREG, ARC_MACH_AUDIO },
-  { "bm_length", 0x31, AUXREG, ARC_MACH_AUDIO },
-  { "bm_rstart", 0x32, AUXREG, ARC_MACH_AUDIO },
-  { "bm_go",   0x33, AUXREG, ARC_MACH_AUDIO },
-  { "xtp_newval", 0x40, AUXREG, ARC_MACH_AUDIO },
-  { "sram",    0x400, AUXREG, ARC_MACH_AUDIO },
-  { "reg_file",        0x800, AUXREG, ARC_MACH_AUDIO },
-};
-const int arc_reg_names_count = sizeof (arc_reg_names) / sizeof (arc_reg_names[0]);
-
-/* The suffix table.
-   Operands with the same name must be stored together.  */
+  { 'A', 9, 0, ARC_MOD_AUXREG, 0, 0 },
 
-const struct arc_operand_value arc_suffixes[] =
-{
-  /* Entry 0 is special, default values aren't printed by the disassembler.  */
-  { "", 0, -1 },
-  { "al", 0, COND },
-  { "ra", 0, COND },
-  { "eq", 1, COND },
-  { "z", 1, COND },
-  { "ne", 2, COND },
-  { "nz", 2, COND },
-  { "p", 3, COND },
-  { "pl", 3, COND },
-  { "n", 4, COND },
-  { "mi", 4, COND },
-  { "c", 5, COND },
-  { "cs", 5, COND },
-  { "lo", 5, COND },
-  { "nc", 6, COND },
-  { "cc", 6, COND },
-  { "hs", 6, COND },
-  { "v", 7, COND },
-  { "vs", 7, COND },
-  { "nv", 8, COND },
-  { "vc", 8, COND },
-  { "gt", 9, COND },
-  { "ge", 10, COND },
-  { "lt", 11, COND },
-  { "le", 12, COND },
-  { "hi", 13, COND },
-  { "ls", 14, COND },
-  { "pnz", 15, COND },
-  { "f", 1, FLAG },
-  { "nd", 0, DELAY },
-  { "d", 1, DELAY },
-  { "jd", 2, DELAY },
-/*{ "b", 7, SIZEEXT },*/
-/*{ "b", 5, SIZESEX },*/
-  { "b", 1, SIZE1 },
-  { "b", 1, SIZE10 },
-  { "b", 1, SIZE22 },
-/*{ "w", 8, SIZEEXT },*/
-/*{ "w", 6, SIZESEX },*/
-  { "w", 2, SIZE1 },
-  { "w", 2, SIZE10 },
-  { "w", 2, SIZE22 },
-  { "x", 1, SIGN0 },
-  { "x", 1, SIGN9 },
-  { "a", 1, ADDRESS3 },
-  { "a", 1, ADDRESS12 },
-  { "a", 1, ADDRESS24 },
-  { "di", 1, CACHEBYPASS5 },
-  { "di", 1, CACHEBYPASS14 },
-  { "di", 1, CACHEBYPASS26 },
-
-  /* Audio ARC Extensions.  */
-  /* ??? The values here are guesses.  */
-  { "ss", 16, COND, ARC_MACH_AUDIO },
-  { "sc", 17, COND, ARC_MACH_AUDIO },
-  { "mh", 18, COND, ARC_MACH_AUDIO },
-  { "ml", 19, COND, ARC_MACH_AUDIO },
+/* End of list place holder.  */
+  { 0, 0, 0, 0, 0, 0 }
 };
-const int arc_suffixes_count = sizeof (arc_suffixes) / sizeof (arc_suffixes[0]);
-\f
-/* Configuration flags.  */
-
-/* Various ARC_HAVE_XXX bits.  */
-static int cpu_type;
-
-/* Translate a bfd_mach_arc_xxx value to a ARC_MACH_XXX value.  */
-
-int
-arc_get_opcode_mach (bfd_mach, big_p)
-     int bfd_mach, big_p;
-{
-  static int mach_type_map[] =
-    {
-      ARC_MACH_BASE, ARC_MACH_HOST, ARC_MACH_GRAPHICS, ARC_MACH_AUDIO
-    };
-
-  return mach_type_map[bfd_mach] | (big_p ? ARC_MACH_BIG : 0);
-}
-
-/* Initialize any tables that need it.
-   Must be called once at start up (or when first needed).
-
-   FLAGS is a set of bits that say what version of the cpu we have,
-   and in particular at least (one of) ARC_MACH_XXX.  */
-
-void
-arc_opcode_init_tables (flags)
-     int flags;
-{
-  register int i,n;
-  static int map_init_p = 0;
-
-  cpu_type = flags;
-
-  /* We may be intentionally called more than once (for example gdb will call
-     us each time the user switches cpu).  This table only needs to be init'd
-     once though.  */
-  if (!map_init_p)
-    {
-      memset (arc_operand_map, 0, sizeof (arc_operand_map));
-      n = sizeof (arc_operands) / sizeof (arc_operands[0]);
-      for (i = 0; i < n; i++)
-       arc_operand_map[arc_operands[i].fmt] = i;
-      map_init_p = 1;
-    }
-}
-
-/* Return non-zero if OPCODE is supported on the specified cpu.
-   Cpu selection is made when calling `arc_opcode_init_tables'.  */
-
-int
-arc_opcode_supported (opcode)
-     const struct arc_opcode *opcode;
-{
-  if (ARC_OPCODE_CPU (opcode->flags) == 0)
-    return 1;
-  if (ARC_OPCODE_CPU (opcode->flags) & ARC_HAVE_CPU (cpu_type))
-    return 1;
-  return 0;
-}
-
-/* Return non-zero if OPVAL is supported on the specified cpu.
-   Cpu selection is made when calling `arc_opcode_init_tables'.  */
-
-int
-arc_opval_supported (opval)
-     const struct arc_operand_value *opval;
-{
-  if (ARC_OPVAL_CPU (opval->flags) == 0)
-    return 1;
-  if (ARC_OPVAL_CPU (opval->flags) & ARC_HAVE_CPU (cpu_type))
-    return 1;
-  return 0;
-}
-\f
-/* Nonzero if we've seen an 'f' suffix (in certain insns).  */
-static int flag_p;
-
-/* Nonzero if we've finished processing the 'f' suffix.  */
-static int flagshimm_handled_p;
-
-/* Nonzero if we've seen a 'q' suffix (condition code).  */
-static int cond_p;
-
-/* Nonzero if we've inserted a shimm.  */
-static int shimm_p;
-
-/* The value of the shimm we inserted (each insn only gets one but it can
-   appear multiple times.  */
-static int shimm;
-
-/* Nonzero if we've inserted a limm (during assembly) or seen a limm
-   (during disassembly).  */
-static int limm_p;
-
-/* The value of the limm we inserted.  Each insn only gets one but it can
-   appear multiple times.  */
-static long limm;
 \f
-/* Insertion functions.  */
-
-/* Called by the assembler before parsing an instruction.  */
-
-void
-arc_opcode_init_insert ()
-{
-  flag_p = 0;
-  flagshimm_handled_p = 0;
-  cond_p = 0;
-  shimm_p = 0;
-  limm_p = 0;
-}
-
-/* Called by the assembler to see if the insn has a limm operand.
-   Also called by the disassembler to see if the insn contains a limm.  */
-
-int
-arc_opcode_limm_p (limmp)
-     long *limmp;
-{
-  if (limmp)
-    *limmp = limm;
-  return limm_p;
-}
-
 /* Insert a value into a register field.
    If REG is NULL, then this is actually a constant.
 
    We must also handle auxiliary registers for lr/sr insns.  */
 
 static arc_insn
-insert_reg (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_reg (arc_insn insn,
+           const struct arc_operand *operand,
+           int mods,
+           const struct arc_operand_value *reg,
+           long value,
+           const char **errmsg)
 {
   static char buf[100];
+  enum operand op_type = OP_NONE;
 
-  if (!reg)
+  if (reg == NULL)
     {
       /* We have a constant that also requires a value stored in a register
         field.  Handle these by updating the register field and saving the
@@ -664,25 +353,37 @@ insert_reg (insn, operand, mods, reg, value, errmsg)
             we have to use a limm.  */
          && (!shimm_p || shimm == value))
        {
-         int marker = flag_p ? ARC_REG_SHIMM_UPDATE : ARC_REG_SHIMM;
-         flagshimm_handled_p = 1;
-         shimm_p = 1;
-         shimm = value;
+         int marker;
+
+         op_type = OP_SHIMM;
+         /* Forget about shimm as dest mlm.  */
+
+         if ('a' != operand->fmt)
+           {
+             shimm_p = 1;
+             shimm = value;
+             flagshimm_handled_p = 1;
+             marker = flag_p ? ARC_REG_SHIMM_UPDATE : ARC_REG_SHIMM;
+           }
+         else
+           {
+             /* Don't request flag setting on shimm as dest.  */
+             marker = ARC_REG_SHIMM;
+           }
          insn |= marker << operand->shift;
-         /* insn |= value & 511; - done later */
+         /* insn |= value & 511; - done later */
        }
       /* We have to use a limm.  If we've already seen one they must match.  */
       else if (!limm_p || limm == value)
        {
+         op_type = OP_LIMM;
          limm_p = 1;
          limm = value;
          insn |= ARC_REG_LIMM << operand->shift;
          /* The constant is stored later.  */
        }
       else
-       {
-         *errmsg = "unable to fit different valued constants into instruction";
-       }
+       *errmsg = _("unable to fit different valued constants into instruction");
     }
   else
     {
@@ -691,45 +392,99 @@ insert_reg (insn, operand, mods, reg, value, errmsg)
       if (reg->type == AUXREG)
        {
          if (!(mods & ARC_MOD_AUXREG))
-           *errmsg = "auxiliary register not allowed here";
+           *errmsg = _("auxiliary register not allowed here");
          else
            {
+             if ((insn & I(-1)) == I(2)) /* Check for use validity.  */
+               {
+                 if (reg->flags & ARC_REGISTER_READONLY)
+                   *errmsg = _("attempt to set readonly register");
+               }
+             else
+               {
+                 if (reg->flags & ARC_REGISTER_WRITEONLY)
+                   *errmsg = _("attempt to read writeonly register");
+               }
              insn |= ARC_REG_SHIMM << operand->shift;
              insn |= reg->value << arc_operands[reg->type].shift;
            }
        }
       else
        {
+         /* check for use validity.  */
+         if ('a' == operand->fmt || ((insn & I(-1)) < I(2)))
+           {
+             if (reg->flags & ARC_REGISTER_READONLY)
+               *errmsg = _("attempt to set readonly register");
+           }
+         if ('a' != operand->fmt)
+           {
+             if (reg->flags & ARC_REGISTER_WRITEONLY)
+               *errmsg = _("attempt to read writeonly register");
+           }
          /* We should never get an invalid register number here.  */
          if ((unsigned int) reg->value > 60)
            {
-             sprintf (buf, "invalid register number `%d'", reg->value);
+             sprintf (buf, _("invalid register number `%d'"), reg->value);
              *errmsg = buf;
            }
-         else
-           insn |= reg->value << operand->shift;
+         insn |= reg->value << operand->shift;
+         op_type = OP_REG;
        }
     }
 
+  switch (operand->fmt)
+    {
+    case 'a':
+      ls_operand[LS_DEST] = op_type;
+      break;
+    case 's':
+      ls_operand[LS_BASE] = op_type;
+      break;
+    case 'c':
+      if ((insn & I(-1)) == I(2))
+       ls_operand[LS_VALUE] = op_type;
+      else
+       ls_operand[LS_OFFSET] = op_type;
+      break;
+    case 'o': case 'O':
+      ls_operand[LS_OFFSET] = op_type;
+      break;
+    }
+
   return insn;
 }
 
 /* Called when we see an 'f' flag.  */
 
 static arc_insn
-insert_flag (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_flag (arc_insn insn,
+            const struct arc_operand *operand ATTRIBUTE_UNUSED,
+            int mods ATTRIBUTE_UNUSED,
+            const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+            long value ATTRIBUTE_UNUSED,
+            const char **errmsg ATTRIBUTE_UNUSED)
 {
   /* We can't store anything in the insn until we've parsed the registers.
      Just record the fact that we've got this flag.  `insert_reg' will use it
      to store the correct value (ARC_REG_SHIMM_UPDATE or bit 0x100).  */
   flag_p = 1;
+  return insn;
+}
+
+/* Called when we see an nullify condition.  */
 
+static arc_insn
+insert_nullify (arc_insn insn,
+               const struct arc_operand *operand,
+               int mods ATTRIBUTE_UNUSED,
+               const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+               long value,
+               const char **errmsg ATTRIBUTE_UNUSED)
+{
+  nullify_p = 1;
+  insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
+  nullify = value;
   return insn;
 }
 
@@ -738,13 +493,12 @@ insert_flag (insn, operand, mods, reg, value, errmsg)
    we've parsed the registers.  */
 
 static arc_insn
-insert_flagfinish (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_flagfinish (arc_insn insn,
+                  const struct arc_operand *operand,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                  long value ATTRIBUTE_UNUSED,
+                  const char **errmsg ATTRIBUTE_UNUSED)
 {
   if (flag_p && !flagshimm_handled_p)
     {
@@ -759,13 +513,12 @@ insert_flagfinish (insn, operand, mods, reg, value, errmsg)
 /* Called when we see a conditional flag (eg: .eq).  */
 
 static arc_insn
-insert_cond (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_cond (arc_insn insn,
+            const struct arc_operand *operand,
+            int mods ATTRIBUTE_UNUSED,
+            const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+            long value,
+            const char **errmsg ATTRIBUTE_UNUSED)
 {
   cond_p = 1;
   insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
@@ -779,103 +532,443 @@ insert_cond (insn, operand, mods, reg, value, errmsg)
    ??? The mechanism is sound.  Access to it is a bit klunky right now.  */
 
 static arc_insn
-insert_forcelimm (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_forcelimm (arc_insn insn,
+                 const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                 int mods ATTRIBUTE_UNUSED,
+                 const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                 long value ATTRIBUTE_UNUSED,
+                 const char **errmsg ATTRIBUTE_UNUSED)
 {
   cond_p = 1;
   return insn;
 }
 
-/* Used in ld/st insns to handle the shimm offset field.  */
-
 static arc_insn
-insert_shimmoffset (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_addr_wb (arc_insn insn,
+               const struct arc_operand *operand,
+               int mods ATTRIBUTE_UNUSED,
+               const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+               long value ATTRIBUTE_UNUSED,
+               const char **errmsg ATTRIBUTE_UNUSED)
 {
-  insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
+  addrwb_p = 1 << operand->shift;
   return insn;
 }
 
-/* Used in ld/st insns when the shimm offset is 0.  */
-
 static arc_insn
-insert_shimmzero (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_base (arc_insn insn,
+            const struct arc_operand *operand,
+            int mods,
+            const struct arc_operand_value *reg,
+            long value,
+            const char **errmsg)
 {
-  shimm_p = 1;
-  shimm = 0;
+  if (reg != NULL)
+    {
+      arc_insn myinsn;
+      myinsn = insert_reg (0, operand,mods, reg, value, errmsg) >> operand->shift;
+      insn |= B(myinsn);
+      ls_operand[LS_BASE] = OP_REG;
+    }
+  else if (ARC_SHIMM_CONST_P (value) && !cond_p)
+    {
+      if (shimm_p && value != shimm)
+       {
+         /* Convert the previous shimm operand to a limm.  */
+         limm_p = 1;
+         limm = shimm;
+         insn &= ~C(-1); /* We know where the value is in insn.  */
+         insn |= C(ARC_REG_LIMM);
+         ls_operand[LS_VALUE] = OP_LIMM;
+       }
+      insn |= ARC_REG_SHIMM << operand->shift;
+      shimm_p = 1;
+      shimm = value;
+      ls_operand[LS_BASE] = OP_SHIMM;
+      ls_operand[LS_OFFSET] = OP_SHIMM;
+    }
+  else
+    {
+      if (limm_p && value != limm)
+       {
+         *errmsg = _("too many long constants");
+         return insn;
+       }
+      limm_p = 1;
+      limm = value;
+      insn |= B(ARC_REG_LIMM);
+      ls_operand[LS_BASE] = OP_LIMM;
+    }
+
   return insn;
 }
 
-/* Called at the end of processing normal insns (eg: add) to insert a shimm
-   value (if present) into the insn.  */
+/* Used in ld/st insns to handle the offset field. We don't try to
+   match operand syntax here. we catch bad combinations later.  */
 
 static arc_insn
-insert_shimmfinish (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_offset (arc_insn insn,
+              const struct arc_operand *operand,
+              int mods,
+              const struct arc_operand_value *reg,
+              long value,
+              const char **errmsg)
 {
-  if (shimm_p)
-    insn |= (shimm & ((1 << operand->bits) - 1)) << operand->shift;
-  return insn;
-}
-
-/* Called at the end of processing normal insns (eg: add) to insert a limm
-   value (if present) into the insn.
-
-   Note that this function is only intended to handle instructions (with 4 byte
-   immediate operands).  It is not intended to handle data.  */
+  long minval, maxval;
 
-/* ??? Actually, there's nothing for us to do as we can't call frag_more, the
-   caller must do that.  The extract fns take a pointer to two words.  The
-   insert fns could be converted and then we could do something useful, but
-   then the reloc handlers would have to know to work on the second word of
-   a 2 word quantity.  That's too much so we don't handle them.  */
+  if (reg != NULL)
+    {
+      arc_insn myinsn;
+      myinsn = insert_reg (0,operand,mods,reg,value,errmsg) >> operand->shift;
+      ls_operand[LS_OFFSET] = OP_REG;
+      if (operand->flags & ARC_OPERAND_LOAD) /* Not if store, catch it later.  */
+       if ((insn & I(-1)) != I(1)) /* Not if opcode == 1, catch it later.  */
+         insn |= C (myinsn);
+    }
+  else
+    {
+      /* This is *way* more general than necessary, but maybe some day it'll
+        be useful.  */
+      if (operand->flags & ARC_OPERAND_SIGNED)
+       {
+         minval = -(1 << (operand->bits - 1));
+         maxval = (1 << (operand->bits - 1)) - 1;
+       }
+      else
+       {
+         minval = 0;
+         maxval = (1 << operand->bits) - 1;
+       }
+      if ((cond_p && !limm_p) || (value < minval || value > maxval))
+       {
+         if (limm_p && value != limm)
+           *errmsg = _("too many long constants");
 
-static arc_insn
-insert_limmfinish (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
-{
-  if (limm_p)
-    /* FIXME: put an abort here and see what happens.  */
-    ; /* nothing to do, gas does it */
+         else
+           {
+             limm_p = 1;
+             limm = value;
+             if (operand->flags & ARC_OPERAND_STORE)
+               insn |= B(ARC_REG_LIMM);
+             if (operand->flags & ARC_OPERAND_LOAD)
+               insn |= C(ARC_REG_LIMM);
+             ls_operand[LS_OFFSET] = OP_LIMM;
+           }
+       }
+      else
+       {
+         if ((value < minval || value > maxval))
+           *errmsg = "need too many limms";
+         else if (shimm_p && value != shimm)
+           {
+             /* Check for bad operand combinations
+                before we lose info about them.  */
+             if ((insn & I(-1)) == I(1))
+               {
+                 *errmsg = _("to many shimms in load");
+                 goto out;
+               }
+             if (limm_p && operand->flags & ARC_OPERAND_LOAD)
+               {
+                 *errmsg = _("too many long constants");
+                 goto out;
+               }
+             /* Convert what we thought was a shimm to a limm.  */
+             limm_p = 1;
+             limm = shimm;
+             if (ls_operand[LS_VALUE] == OP_SHIMM
+                 && operand->flags & ARC_OPERAND_STORE)
+               {
+                 insn &= ~C(-1);
+                 insn |= C(ARC_REG_LIMM);
+                 ls_operand[LS_VALUE] = OP_LIMM;
+               }
+             if (ls_operand[LS_BASE] == OP_SHIMM
+                 && operand->flags & ARC_OPERAND_STORE)
+               {
+                 insn &= ~B(-1);
+                 insn |= B(ARC_REG_LIMM);
+                 ls_operand[LS_BASE] = OP_LIMM;
+               }
+           }
+         shimm = value;
+         shimm_p = 1;
+         ls_operand[LS_OFFSET] = OP_SHIMM;
+       }
+    }
+ out:
+  return insn;
+}
+
+/* Used in st insns to do final disasemble syntax check.  */
+
+static long
+extract_st_syntax (arc_insn *insn,
+                  const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                  int *invalid)
+{
+#define ST_SYNTAX(V,B,O) \
+((ls_operand[LS_VALUE]  == (V) && \
+  ls_operand[LS_BASE]   == (B) && \
+  ls_operand[LS_OFFSET] == (O)))
+
+  if (!((ST_SYNTAX(OP_REG,OP_REG,OP_NONE) && (insn[0] & 511) == 0)
+       || ST_SYNTAX(OP_REG,OP_LIMM,OP_NONE)
+       || (ST_SYNTAX(OP_SHIMM,OP_REG,OP_NONE) && (insn[0] & 511) == 0)
+       || (ST_SYNTAX(OP_SHIMM,OP_SHIMM,OP_NONE) && (insn[0] & 511) == 0)
+       || ST_SYNTAX(OP_SHIMM,OP_LIMM,OP_NONE)
+       || ST_SYNTAX(OP_SHIMM,OP_LIMM,OP_SHIMM)
+       || ST_SYNTAX(OP_SHIMM,OP_SHIMM,OP_SHIMM)
+       || (ST_SYNTAX(OP_LIMM,OP_REG,OP_NONE) && (insn[0] & 511) == 0)
+       || ST_SYNTAX(OP_REG,OP_REG,OP_SHIMM)
+       || ST_SYNTAX(OP_REG,OP_SHIMM,OP_SHIMM)
+       || ST_SYNTAX(OP_SHIMM,OP_REG,OP_SHIMM)
+       || ST_SYNTAX(OP_LIMM,OP_SHIMM,OP_SHIMM)
+       || ST_SYNTAX(OP_LIMM,OP_SHIMM,OP_NONE)
+       || ST_SYNTAX(OP_LIMM,OP_REG,OP_SHIMM)))
+    *invalid = 1;
+  return 0;
+}
+
+int
+arc_limm_fixup_adjust (arc_insn insn)
+{
+  int retval = 0;
+
+  /* Check for st shimm,[limm].  */
+  if ((insn & (I(-1) | C(-1) | B(-1))) ==
+      (I(2) | C(ARC_REG_SHIMM) | B(ARC_REG_LIMM)))
+    {
+      retval = insn & 0x1ff;
+      if (retval & 0x100) /* Sign extend 9 bit offset.  */
+       retval |= ~0x1ff;
+    }
+  return -retval; /* Negate offset for return.  */
+}
+
+/* Used in st insns to do final syntax check.  */
+
+static arc_insn
+insert_st_syntax (arc_insn insn,
+                 const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                 int mods ATTRIBUTE_UNUSED,
+                 const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                 long value ATTRIBUTE_UNUSED,
+                 const char **errmsg)
+{
+  if (ST_SYNTAX (OP_SHIMM,OP_REG,OP_NONE) && shimm != 0)
+    {
+      /* Change an illegal insn into a legal one, it's easier to
+        do it here than to try to handle it during operand scan.  */
+      limm_p = 1;
+      limm = shimm;
+      shimm_p = 0;
+      shimm = 0;
+      insn = insn & ~(C(-1) | 511);
+      insn |= ARC_REG_LIMM << ARC_SHIFT_REGC;
+      ls_operand[LS_VALUE] = OP_LIMM;
+    }
+
+  if (ST_SYNTAX (OP_REG, OP_SHIMM, OP_NONE)
+      || ST_SYNTAX (OP_LIMM, OP_SHIMM, OP_NONE))
+    {
+      /* Try to salvage this syntax.  */
+      if (shimm & 0x1) /* Odd shimms won't work.  */
+       {
+         if (limm_p) /* Do we have a limm already?  */
+           *errmsg = _("impossible store");
+
+         limm_p = 1;
+         limm = shimm;
+         shimm = 0;
+         shimm_p = 0;
+         insn = insn & ~(B(-1) | 511);
+         insn |= B(ARC_REG_LIMM);
+         ls_operand[LS_BASE] = OP_LIMM;
+       }
+      else
+       {
+         shimm >>= 1;
+         insn = insn & ~511;
+         insn |= shimm;
+         ls_operand[LS_OFFSET] = OP_SHIMM;
+       }
+    }
+  if (ST_SYNTAX(OP_SHIMM,OP_LIMM,OP_NONE))
+    limm += arc_limm_fixup_adjust(insn);
+
+  if (!   (ST_SYNTAX (OP_REG,OP_REG,OP_NONE)
+       || ST_SYNTAX (OP_REG,OP_LIMM,OP_NONE)
+       || ST_SYNTAX (OP_REG,OP_REG,OP_SHIMM)
+       || ST_SYNTAX (OP_REG,OP_SHIMM,OP_SHIMM)
+       || (ST_SYNTAX (OP_SHIMM,OP_SHIMM,OP_NONE) && (shimm == 0))
+       || ST_SYNTAX (OP_SHIMM,OP_LIMM,OP_NONE)
+       || ST_SYNTAX (OP_SHIMM,OP_REG,OP_NONE)
+       || ST_SYNTAX (OP_SHIMM,OP_REG,OP_SHIMM)
+       || ST_SYNTAX (OP_SHIMM,OP_SHIMM,OP_SHIMM)
+       || ST_SYNTAX (OP_LIMM,OP_SHIMM,OP_SHIMM)
+       || ST_SYNTAX (OP_LIMM,OP_REG,OP_NONE)
+       || ST_SYNTAX (OP_LIMM,OP_REG,OP_SHIMM)))
+    *errmsg = _("st operand error");
+  if (addrwb_p)
+    {
+      if (ls_operand[LS_BASE] != OP_REG)
+       *errmsg = _("address writeback not allowed");
+      insn |= addrwb_p;
+    }
+  if (ST_SYNTAX(OP_SHIMM,OP_REG,OP_NONE) && shimm)
+    *errmsg = _("store value must be zero");
+  return insn;
+}
+
+/* Used in ld insns to do final syntax check.  */
+
+static arc_insn
+insert_ld_syntax (arc_insn insn,
+                 const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                 int mods ATTRIBUTE_UNUSED,
+                 const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                 long value ATTRIBUTE_UNUSED,
+                 const char **errmsg)
+{
+#define LD_SYNTAX(D, B, O) \
+  (   (ls_operand[LS_DEST]   == (D) \
+    && ls_operand[LS_BASE]   == (B) \
+    && ls_operand[LS_OFFSET] == (O)))
+
+  int test = insn & I (-1);
+
+  if (!(test == I (1)))
+    {
+      if ((ls_operand[LS_DEST] == OP_SHIMM || ls_operand[LS_BASE] == OP_SHIMM
+          || ls_operand[LS_OFFSET] == OP_SHIMM))
+       *errmsg = _("invalid load/shimm insn");
+    }
+  if (!(LD_SYNTAX(OP_REG,OP_REG,OP_NONE)
+       || LD_SYNTAX(OP_REG,OP_REG,OP_REG)
+       || LD_SYNTAX(OP_REG,OP_REG,OP_SHIMM)
+       || (LD_SYNTAX(OP_REG,OP_LIMM,OP_REG) && !(test == I(1)))
+       || (LD_SYNTAX(OP_REG,OP_REG,OP_LIMM) && !(test == I(1)))
+       || LD_SYNTAX(OP_REG,OP_SHIMM,OP_SHIMM)
+       || (LD_SYNTAX(OP_REG,OP_LIMM,OP_NONE) && (test == I(1)))))
+    *errmsg = _("ld operand error");
+  if (addrwb_p)
+    {
+      if (ls_operand[LS_BASE] != OP_REG)
+       *errmsg = _("address writeback not allowed");
+      insn |= addrwb_p;
+    }
+  return insn;
+}
+
+/* Used in ld insns to do final syntax check.  */
+
+static long
+extract_ld_syntax (arc_insn *insn,
+                  const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                  int *invalid)
+{
+  int test = insn[0] & I(-1);
+
+  if (!(test == I(1)))
+    {
+      if ((ls_operand[LS_DEST] == OP_SHIMM || ls_operand[LS_BASE] == OP_SHIMM
+          || ls_operand[LS_OFFSET] == OP_SHIMM))
+       *invalid = 1;
+    }
+  if (!(   (LD_SYNTAX (OP_REG, OP_REG, OP_NONE) && (test == I(1)))
+       ||  LD_SYNTAX (OP_REG, OP_REG, OP_REG)
+       ||  LD_SYNTAX (OP_REG, OP_REG, OP_SHIMM)
+       || (LD_SYNTAX (OP_REG, OP_REG, OP_LIMM) && !(test == I(1)))
+       || (LD_SYNTAX (OP_REG, OP_LIMM, OP_REG) && !(test == I(1)))
+       || (LD_SYNTAX (OP_REG, OP_SHIMM, OP_NONE) && (shimm == 0))
+       ||  LD_SYNTAX (OP_REG, OP_SHIMM, OP_SHIMM)
+       || (LD_SYNTAX (OP_REG, OP_LIMM, OP_NONE) && (test == I(1)))))
+    *invalid = 1;
+  return 0;
+}
+
+/* Called at the end of processing normal insns (eg: add) to insert a shimm
+   value (if present) into the insn.  */
+
+static arc_insn
+insert_shimmfinish (arc_insn insn,
+                   const struct arc_operand *operand,
+                   int mods ATTRIBUTE_UNUSED,
+                   const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                   long value ATTRIBUTE_UNUSED,
+                   const char **errmsg ATTRIBUTE_UNUSED)
+{
+  if (shimm_p)
+    insn |= (shimm & ((1 << operand->bits) - 1)) << operand->shift;
+  return insn;
+}
+
+/* Called at the end of processing normal insns (eg: add) to insert a limm
+   value (if present) into the insn.
+
+   Note that this function is only intended to handle instructions (with 4 byte
+   immediate operands).  It is not intended to handle data.  */
+
+/* ??? Actually, there's nothing for us to do as we can't call frag_more, the
+   caller must do that.  The extract fns take a pointer to two words.  The
+   insert fns could be converted and then we could do something useful, but
+   then the reloc handlers would have to know to work on the second word of
+   a 2 word quantity.  That's too much so we don't handle them.  */
+
+static arc_insn
+insert_limmfinish (arc_insn insn,
+                  const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                  long value ATTRIBUTE_UNUSED,
+                  const char **errmsg ATTRIBUTE_UNUSED)
+{
+  return insn;
+}
+
+static arc_insn
+insert_jumpflags (arc_insn insn,
+                 const struct arc_operand *operand,
+                 int mods ATTRIBUTE_UNUSED,
+                 const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                 long value,
+                 const char **errmsg)
+{
+  if (!flag_p)
+    *errmsg = _("jump flags, but no .f seen");
+
+  else if (!limm_p)
+    *errmsg = _("jump flags, but no limm addr");
+
+  else if (limm & 0xfc000000)
+    *errmsg = _("flag bits of jump address limm lost");
+
+  else if (limm & 0x03000000)
+    *errmsg = _("attempt to set HR bits");
+
+  else if ((value & ((1 << operand->bits) - 1)) != value)
+    *errmsg = _("bad jump flags value");
+
+  jumpflags_p = 1;
+  limm = ((limm & ((1 << operand->shift) - 1))
+         | ((value & ((1 << operand->bits) - 1)) << operand->shift));
   return insn;
 }
 
 /* Called at the end of unary operand macros to copy the B field to C.  */
 
 static arc_insn
-insert_unopmacro (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_unopmacro (arc_insn insn,
+                 const struct arc_operand *operand,
+                 int mods ATTRIBUTE_UNUSED,
+                 const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+                 long value ATTRIBUTE_UNUSED,
+                 const char **errmsg ATTRIBUTE_UNUSED)
 {
   insn |= ((insn >> ARC_SHIFT_REGB) & ARC_MASK_REG) << operand->shift;
   return insn;
@@ -884,16 +977,15 @@ insert_unopmacro (insn, operand, mods, reg, value, errmsg)
 /* Insert a relative address for a branch insn (b, bl, or lp).  */
 
 static arc_insn
-insert_reladdr (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_reladdr (arc_insn insn,
+               const struct arc_operand *operand,
+               int mods ATTRIBUTE_UNUSED,
+               const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+               long value,
+               const char **errmsg)
 {
   if (value & 3)
-    *errmsg = "branch address not on 4 byte boundary";
+    *errmsg = _("branch address not on 4 byte boundary");
   insn |= ((value >> 2) & ((1 << operand->bits) - 1)) << operand->shift;
   return insn;
 }
@@ -903,24 +995,35 @@ insert_reladdr (insn, operand, mods, reg, value, errmsg)
    Note that this function is only intended to handle instructions (with 4 byte
    immediate operands).  It is not intended to handle data.  */
 
-/* ??? Actually, there's nothing for us to do as we can't call frag_more, the
+/* ??? Actually, there's little for us to do as we can't call frag_more, the
    caller must do that.  The extract fns take a pointer to two words.  The
    insert fns could be converted and then we could do something useful, but
    then the reloc handlers would have to know to work on the second word of
-   a 2 word quantity.  That's too much so we don't handle them.  */
+   a 2 word quantity.  That's too much so we don't handle them.
+
+   We do check for correct usage of the nullify suffix, or we
+   set the default correctly, though.  */
 
 static arc_insn
-insert_absaddr (insn, operand, mods, reg, value, errmsg)
-     arc_insn insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value *reg;
-     long value;
-     const char **errmsg;
+insert_absaddr (arc_insn insn,
+               const struct arc_operand *operand ATTRIBUTE_UNUSED,
+               int mods ATTRIBUTE_UNUSED,
+               const struct arc_operand_value *reg ATTRIBUTE_UNUSED,
+               long value ATTRIBUTE_UNUSED,
+               const char **errmsg)
 {
   if (limm_p)
-    /* FIXME: put an abort here and see what happens.  */
-    ; /* nothing to do */
+    {
+      /* If it is a jump and link, .jd must be specified.  */
+      if (insn & R (-1, 9, 1))
+       {
+         if (!nullify_p)
+           insn |=  0x02 << 5;  /* Default nullify to .jd.  */
+
+         else if (nullify != 0x02)
+           *errmsg = _("must specify .jd or no nullify suffix");
+       }
+    }
   return insn;
 }
 \f
@@ -931,17 +1034,36 @@ insert_absaddr (insn, operand, mods, reg, value, errmsg)
    a suffix table entry for the "false" case, so values of zero must be
    obtained from the return value (*OPVAL == NULL).  */
 
-static const struct arc_operand_value *lookup_register (int type, long regno);
-
 /* Called by the disassembler before printing an instruction.  */
 
 void
-arc_opcode_init_extract ()
+arc_opcode_init_extract (void)
 {
-  flag_p = 0;
-  flagshimm_handled_p = 0;
-  shimm_p = 0;
-  limm_p = 0;
+  arc_opcode_init_insert ();
+}
+
+static const struct arc_operand_value *
+lookup_register (int type, long regno)
+{
+  const struct arc_operand_value *r,*end;
+  struct arc_ext_operand_value *ext_oper = arc_ext_operands;
+
+  while (ext_oper)
+    {
+      if (ext_oper->operand.type == type && ext_oper->operand.value == regno)
+       return (&ext_oper->operand);
+      ext_oper = ext_oper->next;
+    }
+
+  if (type == REG)
+    return &arc_reg_names[regno];
+
+  /* ??? This is a little slow and can be speeded up.  */
+  for (r = arc_reg_names, end = arc_reg_names + arc_reg_names_count;
+       r < end; ++r)
+    if (type == r->type        && regno == r->value)
+      return r;
+  return 0;
 }
 
 /* As we're extracting registers, keep an eye out for the 'f' indicator
@@ -952,51 +1074,77 @@ arc_opcode_init_extract ()
    constants with special names.  */
 
 static long
-extract_reg (insn, operand, mods, opval, invalid)
-     arc_insn *insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value **opval;
-     int *invalid;
+extract_reg (arc_insn *insn,
+            const struct arc_operand *operand,
+            int mods,
+            const struct arc_operand_value **opval,
+            int *invalid ATTRIBUTE_UNUSED)
 {
   int regno;
   long value;
+  enum operand op_type;
 
   /* Get the register number.  */
-  regno = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
+  regno = (*insn >> operand->shift) & ((1 << operand->bits) - 1);
 
   /* Is it a constant marker?  */
   if (regno == ARC_REG_SHIMM)
     {
-      value = insn[0] & 511;
-      if ((operand->flags & ARC_OPERAND_SIGNED)
-         && (value & 256))
-       value -= 512;
-      flagshimm_handled_p = 1;
+      op_type = OP_SHIMM;
+      /* Always return zero if dest is a shimm  mlm.  */
+
+      if ('a' != operand->fmt)
+       {
+         value = *insn & 511;
+         if ((operand->flags & ARC_OPERAND_SIGNED)
+             && (value & 256))
+           value -= 512;
+         if (!flagshimm_handled_p)
+           flag_p = 0;
+         flagshimm_handled_p = 1;
+       }
+      else
+       value = 0;
     }
   else if (regno == ARC_REG_SHIMM_UPDATE)
     {
-      value = insn[0] & 511;
-      if ((operand->flags & ARC_OPERAND_SIGNED)
-         && (value & 256))
-       value -= 512;
+      op_type = OP_SHIMM;
+
+      /* Always return zero if dest is a shimm  mlm.  */
+      if ('a' != operand->fmt)
+       {
+         value = *insn & 511;
+         if ((operand->flags & ARC_OPERAND_SIGNED) && (value & 256))
+           value -= 512;
+       }
+      else
+       value = 0;
+
       flag_p = 1;
       flagshimm_handled_p = 1;
     }
   else if (regno == ARC_REG_LIMM)
     {
+      op_type = OP_LIMM;
       value = insn[1];
       limm_p = 1;
+
+      /* If this is a jump instruction (j,jl), show new pc correctly.  */
+      if (0x07 == ((*insn & I(-1)) >> 27))
+       value = (value & 0xffffff);
     }
+
   /* It's a register, set OPVAL (that's the only way we distinguish registers
      from constants here).  */
   else
     {
       const struct arc_operand_value *reg = lookup_register (REG, regno);
 
-      if (!reg)
+      op_type = OP_REG;
+
+      if (reg == NULL)
        abort ();
-      if (opval)
+      if (opval != NULL)
        *opval = reg;
       value = regno;
     }
@@ -1009,10 +1157,29 @@ extract_reg (insn, operand, mods, opval, invalid)
 
       /* This is really a constant, but tell the caller it has a special
         name.  */
-      if (reg && opval)
+      if (reg != NULL && opval != NULL)
        *opval = reg;
     }
 
+  switch(operand->fmt)
+    {
+    case 'a':
+      ls_operand[LS_DEST] = op_type;
+      break;
+    case 's':
+      ls_operand[LS_BASE] = op_type;
+      break;
+    case 'c':
+      if ((insn[0]& I(-1)) == I(2))
+       ls_operand[LS_VALUE] = op_type;
+      else
+       ls_operand[LS_OFFSET] = op_type;
+      break;
+    case 'o': case 'O':
+      ls_operand[LS_OFFSET] = op_type;
+      break;
+    }
+
   return value;
 }
 
@@ -1020,12 +1187,11 @@ extract_reg (insn, operand, mods, opval, invalid)
    This value is actually stored in the register field.  */
 
 static long
-extract_flag (insn, operand, mods, opval, invalid)
-     arc_insn *insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value **opval;
-     int *invalid;
+extract_flag (arc_insn *insn,
+             const struct arc_operand *operand,
+             int mods ATTRIBUTE_UNUSED,
+             const struct arc_operand_value **opval,
+             int *invalid ATTRIBUTE_UNUSED)
 {
   int f;
   const struct arc_operand_value *val;
@@ -1033,14 +1199,14 @@ extract_flag (insn, operand, mods, opval, invalid)
   if (flagshimm_handled_p)
     f = flag_p != 0;
   else
-    f = (insn[0] & (1 << operand->shift)) != 0;
+    f = (*insn & (1 << operand->shift)) != 0;
 
   /* There is no text for zero values.  */
   if (f == 0)
     return 0;
-
+  flag_p = 1;
   val = arc_opcode_lookup_suffix (operand, 1);
-  if (opval && val)
+  if (opval != NULL && val != NULL)
     *opval = val;
   return val->value;
 }
@@ -1051,12 +1217,11 @@ extract_flag (insn, operand, mods, opval, invalid)
    zero.  */
 
 static long
-extract_cond (insn, operand, mods, opval, invalid)
-     arc_insn *insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value **opval;
-     int *invalid;
+extract_cond (arc_insn *insn,
+             const struct arc_operand *operand,
+             int mods ATTRIBUTE_UNUSED,
+             const struct arc_operand_value **opval,
+             int *invalid ATTRIBUTE_UNUSED)
 {
   long cond;
   const struct arc_operand_value *val;
@@ -1064,12 +1229,12 @@ extract_cond (insn, operand, mods, opval, invalid)
   if (flagshimm_handled_p)
     return 0;
 
-  cond = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
+  cond = (*insn >> operand->shift) & ((1 << operand->bits) - 1);
   val = arc_opcode_lookup_suffix (operand, cond);
 
   /* Ignore NULL values of `val'.  Several condition code values are
      reserved for extensions.  */
-  if (opval && val)
+  if (opval != NULL && val != NULL)
     *opval = val;
   return cond;
 }
@@ -1078,58 +1243,466 @@ extract_cond (insn, operand, mods, opval, invalid)
    We return the value as a real address (not right shifted by 2).  */
 
 static long
-extract_reladdr (insn, operand, mods, opval, invalid)
-     arc_insn *insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value **opval;
-     int *invalid;
+extract_reladdr (arc_insn *insn,
+                const struct arc_operand *operand,
+                int mods ATTRIBUTE_UNUSED,
+                const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                int *invalid ATTRIBUTE_UNUSED)
 {
   long addr;
 
-  addr = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
+  addr = (*insn >> operand->shift) & ((1 << operand->bits) - 1);
   if ((operand->flags & ARC_OPERAND_SIGNED)
       && (addr & (1 << (operand->bits - 1))))
     addr -= 1 << operand->bits;
-
   return addr << 2;
 }
 
+/* Extract the flags bits from a j or jl long immediate.  */
+
+static long
+extract_jumpflags (arc_insn *insn,
+                  const struct arc_operand *operand,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                  int *invalid)
+{
+  if (!flag_p || !limm_p)
+    *invalid = 1;
+  return ((flag_p && limm_p)
+         ? (insn[1] >> operand->shift) & ((1 << operand->bits) -1): 0);
+}
+
+/* Extract st insn's offset.  */
+
+static long
+extract_st_offset (arc_insn *insn,
+                  const struct arc_operand *operand,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                  int *invalid)
+{
+  int value = 0;
+
+  if (ls_operand[LS_VALUE] != OP_SHIMM || ls_operand[LS_BASE] != OP_LIMM)
+    {
+      value = insn[0] & 511;
+      if ((operand->flags & ARC_OPERAND_SIGNED) && (value & 256))
+       value -= 512;
+      if (value)
+       ls_operand[LS_OFFSET] = OP_SHIMM;
+    }
+  else
+    *invalid = 1;
+
+  return value;
+}
+
+/* Extract ld insn's offset.  */
+
+static long
+extract_ld_offset (arc_insn *insn,
+                  const struct arc_operand *operand,
+                  int mods,
+                  const struct arc_operand_value **opval,
+                  int *invalid)
+{
+  int test = insn[0] & I(-1);
+  int value;
+
+  if (test)
+    {
+      value = insn[0] & 511;
+      if ((operand->flags & ARC_OPERAND_SIGNED) && (value & 256))
+       value -= 512;
+      if (value)
+       ls_operand[LS_OFFSET] = OP_SHIMM;
+
+      return value;
+    }
+  /* If it isn't in the insn, it's concealed behind reg 'c'.  */
+  return extract_reg (insn, &arc_operands[arc_operand_map['c']],
+                     mods, opval, invalid);
+}
+
 /* The only thing this does is set the `invalid' flag if B != C.
    This is needed because the "mov" macro appears before it's real insn "and"
    and we don't want the disassembler to confuse them.  */
 
 static long
-extract_unopmacro (insn, operand, mods, opval, invalid)
-     arc_insn *insn;
-     const struct arc_operand *operand;
-     int mods;
-     const struct arc_operand_value **opval;
-     int *invalid;
+extract_unopmacro (arc_insn *insn,
+                  const struct arc_operand *operand ATTRIBUTE_UNUSED,
+                  int mods ATTRIBUTE_UNUSED,
+                  const struct arc_operand_value **opval ATTRIBUTE_UNUSED,
+                  int *invalid)
 {
-  /* ??? This misses the case where B == ARC_REG_SHIMM_UPDATE &&
+  /* This misses the case where B == ARC_REG_SHIMM_UPDATE &&
      C == ARC_REG_SHIMM (or vice versa).  No big deal.  Those insns will get
      printed as "and"s.  */
-  if (((insn[0] >> ARC_SHIFT_REGB) & ARC_MASK_REG)
-      != ((insn[0] >> ARC_SHIFT_REGC) & ARC_MASK_REG))
-    if (invalid)
+  if (((*insn >> ARC_SHIFT_REGB) & ARC_MASK_REG)
+      != ((*insn >> ARC_SHIFT_REGC) & ARC_MASK_REG))
+    if (invalid != NULL)
       *invalid = 1;
+  return 0;
+}
+\f
+/* ARC instructions.
+
+   Longer versions of insns must appear before shorter ones (if gas sees
+   "lsr r2,r3,1" when it's parsing "lsr %a,%b" it will think the ",1" is
+   junk).  This isn't necessary for `ld' because of the trailing ']'.
+
+   Instructions that are really macros based on other insns must appear
+   before the real insn so they're chosen when disassembling.  Eg: The `mov'
+   insn is really the `and' insn.  */
+
+struct arc_opcode arc_opcodes[] =
+{
+  /* Base case instruction set (core versions 5-8).  */
+
+  /* "mov" is really an "and".  */
+  { "mov%.q%.f %a,%b%F%S%L%U", I(-1), I(12), ARC_MACH_5, 0, 0 },
+  /* "asl" is really an "add".  */
+  { "asl%.q%.f %a,%b%F%S%L%U", I(-1), I(8), ARC_MACH_5, 0, 0 },
+  /* "lsl" is really an "add".  */
+  { "lsl%.q%.f %a,%b%F%S%L%U", I(-1), I(8), ARC_MACH_5, 0, 0 },
+  /* "nop" is really an "xor".  */
+  { "nop", 0x7fffffff, 0x7fffffff, ARC_MACH_5, 0, 0 },
+  /* "rlc" is really an "adc".  */
+  { "rlc%.q%.f %a,%b%F%S%L%U", I(-1), I(9), ARC_MACH_5, 0, 0 },
+  { "adc%.q%.f %a,%b,%c%F%S%L", I(-1), I(9), ARC_MACH_5, 0, 0 },
+  { "add%.q%.f %a,%b,%c%F%S%L", I(-1), I(8), ARC_MACH_5, 0, 0 },
+  { "and%.q%.f %a,%b,%c%F%S%L", I(-1), I(12), ARC_MACH_5, 0, 0 },
+  { "asr%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(1), ARC_MACH_5, 0, 0 },
+  { "bic%.q%.f %a,%b,%c%F%S%L",        I(-1), I(14), ARC_MACH_5, 0, 0 },
+  { "b%q%.n %B", I(-1), I(4), ARC_MACH_5 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  { "bl%q%.n %B", I(-1), I(5), ARC_MACH_5 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  { "extb%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(7), ARC_MACH_5, 0, 0 },
+  { "extw%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(8), ARC_MACH_5, 0, 0 },
+  { "flag%.q %b%G%S%L", I(-1)|A(-1)|C(-1), I(3)|A(ARC_REG_SHIMM_UPDATE)|C(0), ARC_MACH_5, 0, 0 },
+  { "brk", 0x1ffffe00, 0x1ffffe00, ARC_MACH_7, 0, 0 },
+  { "sleep", 0x1ffffe01, 0x1ffffe01, ARC_MACH_7, 0, 0 },
+  { "swi", 0x1ffffe02, 0x1ffffe02, ARC_MACH_8, 0, 0 },
+  /* %Q: force cond_p=1 -> no shimm values. This insn allows an
+     optional flags spec.  */
+  { "j%q%Q%.n%.f %b%F%J,%j", I(-1)|A(-1)|C(-1)|R(-1,7,1), I(7)|A(0)|C(0)|R(0,7,1), ARC_MACH_5 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  { "j%q%Q%.n%.f %b%F%J", I(-1)|A(-1)|C(-1)|R(-1,7,1), I(7)|A(0)|C(0)|R(0,7,1), ARC_MACH_5 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  /* This insn allows an optional flags spec.  */
+  { "jl%q%Q%.n%.f %b%F%J,%j", I(-1)|A(-1)|C(-1)|R(-1,7,1)|R(-1,9,1), I(7)|A(0)|C(0)|R(0,7,1)|R(1,9,1), ARC_MACH_6 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  { "jl%q%Q%.n%.f %b%F%J", I(-1)|A(-1)|C(-1)|R(-1,7,1)|R(-1,9,1), I(7)|A(0)|C(0)|R(0,7,1)|R(1,9,1), ARC_MACH_6 | ARC_OPCODE_COND_BRANCH, 0, 0 },
+  /* Put opcode 1 ld insns first so shimm gets prefered over limm.
+     "[%b]" is before "[%b,%o]" so 0 offsets don't get printed.  */
+  { "ld%Z%.X%.W%.E %a,[%s]%S%L%1", I(-1)|R(-1,13,1)|R(-1,0,511), I(1)|R(0,13,1)|R(0,0,511), ARC_MACH_5, 0, 0 },
+  { "ld%z%.x%.w%.e %a,[%s]%S%L%1", I(-1)|R(-1,4,1)|R(-1,6,7), I(0)|R(0,4,1)|R(0,6,7), ARC_MACH_5, 0, 0 },
+  { "ld%z%.x%.w%.e %a,[%s,%O]%S%L%1", I(-1)|R(-1,4,1)|R(-1,6,7), I(0)|R(0,4,1)|R(0,6,7), ARC_MACH_5, 0, 0 },
+  { "ld%Z%.X%.W%.E %a,[%s,%O]%S%L%3", I(-1)|R(-1,13,1),        I(1)|R(0,13,1), ARC_MACH_5, 0, 0 },
+  { "lp%q%.n %B", I(-1), I(6), ARC_MACH_5, 0, 0 },
+  { "lr %a,[%Ab]%S%L", I(-1)|C(-1), I(1)|C(0x10), ARC_MACH_5, 0, 0 },
+  { "lsr%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(2), ARC_MACH_5, 0, 0 },
+  { "or%.q%.f %a,%b,%c%F%S%L", I(-1), I(13), ARC_MACH_5, 0, 0 },
+  { "ror%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(3), ARC_MACH_5, 0, 0 },
+  { "rrc%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(4), ARC_MACH_5, 0, 0 },
+  { "sbc%.q%.f %a,%b,%c%F%S%L",        I(-1), I(11), ARC_MACH_5, 0, 0 },
+  { "sexb%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(5), ARC_MACH_5, 0, 0 },
+  { "sexw%.q%.f %a,%b%F%S%L", I(-1)|C(-1), I(3)|C(6), ARC_MACH_5, 0, 0 },
+  { "sr %c,[%Ab]%S%L", I(-1)|A(-1), I(2)|A(0x10), ARC_MACH_5, 0, 0 },
+  /* "[%b]" is before "[%b,%o]" so 0 offsets don't get printed.  */
+  { "st%y%.v%.D %c,[%s]%L%S%0", I(-1)|R(-1,25,1)|R(-1,21,1), I(2)|R(0,25,1)|R(0,21,1), ARC_MACH_5, 0, 0 },
+  { "st%y%.v%.D %c,[%s,%o]%S%L%2", I(-1)|R(-1,25,1)|R(-1,21,1), I(2)|R(0,25,1)|R(0,21,1), ARC_MACH_5, 0, 0 },
+  { "sub%.q%.f %a,%b,%c%F%S%L",        I(-1), I(10), ARC_MACH_5, 0, 0 },
+  { "xor%.q%.f %a,%b,%c%F%S%L",        I(-1), I(15), ARC_MACH_5, 0, 0 }
+};
+
+const int arc_opcodes_count = sizeof (arc_opcodes) / sizeof (arc_opcodes[0]);
+
+const struct arc_operand_value arc_reg_names[] =
+{
+  /* Core register set r0-r63.  */
+
+  /* r0-r28 - general purpose registers.  */
+  { "r0", 0, REG, 0 }, { "r1", 1, REG, 0 }, { "r2", 2, REG, 0 },
+  { "r3", 3, REG, 0 }, { "r4", 4, REG, 0 }, { "r5", 5, REG, 0 },
+  { "r6", 6, REG, 0 }, { "r7", 7, REG, 0 }, { "r8", 8, REG, 0 },
+  { "r9", 9, REG, 0 }, { "r10", 10, REG, 0 }, { "r11", 11, REG, 0 },
+  { "r12", 12, REG, 0 }, { "r13", 13, REG, 0 }, { "r14", 14, REG, 0 },
+  { "r15", 15, REG, 0 }, { "r16", 16, REG, 0 }, { "r17", 17, REG, 0 },
+  { "r18", 18, REG, 0 }, { "r19", 19, REG, 0 }, { "r20", 20, REG, 0 },
+  { "r21", 21, REG, 0 }, { "r22", 22, REG, 0 }, { "r23", 23, REG, 0 },
+  { "r24", 24, REG, 0 }, { "r25", 25, REG, 0 }, { "r26", 26, REG, 0 },
+  { "r27", 27, REG, 0 }, { "r28", 28, REG, 0 },
+  /* Maskable interrupt link register.  */
+  { "ilink1", 29, REG, 0 },
+  /* Maskable interrupt link register.  */
+  { "ilink2", 30, REG, 0 },
+  /* Branch-link register.  */
+  { "blink", 31, REG, 0 },
+
+  /* r32-r59 reserved for extensions.  */
+  { "r32", 32, REG, 0 }, { "r33", 33, REG, 0 }, { "r34", 34, REG, 0 },
+  { "r35", 35, REG, 0 }, { "r36", 36, REG, 0 }, { "r37", 37, REG, 0 },
+  { "r38", 38, REG, 0 }, { "r39", 39, REG, 0 }, { "r40", 40, REG, 0 },
+  { "r41", 41, REG, 0 }, { "r42", 42, REG, 0 }, { "r43", 43, REG, 0 },
+  { "r44", 44, REG, 0 }, { "r45", 45, REG, 0 }, { "r46", 46, REG, 0 },
+  { "r47", 47, REG, 0 }, { "r48", 48, REG, 0 }, { "r49", 49, REG, 0 },
+  { "r50", 50, REG, 0 }, { "r51", 51, REG, 0 }, { "r52", 52, REG, 0 },
+  { "r53", 53, REG, 0 }, { "r54", 54, REG, 0 }, { "r55", 55, REG, 0 },
+  { "r56", 56, REG, 0 }, { "r57", 57, REG, 0 }, { "r58", 58, REG, 0 },
+  { "r59", 59, REG, 0 },
+
+  /* Loop count register (24 bits).  */
+  { "lp_count", 60, REG, 0 },
+  /* Short immediate data indicator setting flags.  */
+  { "r61", 61, REG, ARC_REGISTER_READONLY },
+  /* Long immediate data indicator setting flags.  */
+  { "r62", 62, REG, ARC_REGISTER_READONLY },
+  /* Short immediate data indicator not setting flags.  */
+  { "r63", 63, REG, ARC_REGISTER_READONLY },
+
+  /* Small-data base register.  */
+  { "gp", 26, REG, 0 },
+  /* Frame pointer.  */
+  { "fp", 27, REG, 0 },
+  /* Stack pointer.  */
+  { "sp", 28, REG, 0 },
+
+  { "r29", 29, REG, 0 },
+  { "r30", 30, REG, 0 },
+  { "r31", 31, REG, 0 },
+  { "r60", 60, REG, 0 },
+
+  /* Auxiliary register set.  */
+
+  /* Auxiliary register address map:
+     0xffffffff-0xffffff00 (-1..-256) - customer shimm allocation
+     0xfffffeff-0x80000000 - customer limm allocation
+     0x7fffffff-0x00000100 - ARC limm allocation
+     0x000000ff-0x00000000 - ARC shimm allocation  */
+
+  /* Base case auxiliary registers (shimm address).  */
+  { "status",         0x00, AUXREG, 0 },
+  { "semaphore",      0x01, AUXREG, 0 },
+  { "lp_start",       0x02, AUXREG, 0 },
+  { "lp_end",         0x03, AUXREG, 0 },
+  { "identity",       0x04, AUXREG, ARC_REGISTER_READONLY },
+  { "debug",          0x05, AUXREG, 0 },
+};
+
+const int arc_reg_names_count =
+  sizeof (arc_reg_names) / sizeof (arc_reg_names[0]);
+
+/* The suffix table.
+   Operands with the same name must be stored together.  */
+
+const struct arc_operand_value arc_suffixes[] =
+{
+  /* Entry 0 is special, default values aren't printed by the disassembler.  */
+  { "", 0, -1, 0 },
+
+  /* Base case condition codes.  */
+  { "al", 0, COND, 0 },
+  { "ra", 0, COND, 0 },
+  { "eq", 1, COND, 0 },
+  { "z", 1, COND, 0 },
+  { "ne", 2, COND, 0 },
+  { "nz", 2, COND, 0 },
+  { "pl", 3, COND, 0 },
+  { "p", 3, COND, 0 },
+  { "mi", 4, COND, 0 },
+  { "n", 4, COND, 0 },
+  { "cs", 5, COND, 0 },
+  { "c", 5, COND, 0 },
+  { "lo", 5, COND, 0 },
+  { "cc", 6, COND, 0 },
+  { "nc", 6, COND, 0 },
+  { "hs", 6, COND, 0 },
+  { "vs", 7, COND, 0 },
+  { "v", 7, COND, 0 },
+  { "vc", 8, COND, 0 },
+  { "nv", 8, COND, 0 },
+  { "gt", 9, COND, 0 },
+  { "ge", 10, COND, 0 },
+  { "lt", 11, COND, 0 },
+  { "le", 12, COND, 0 },
+  { "hi", 13, COND, 0 },
+  { "ls", 14, COND, 0 },
+  { "pnz", 15, COND, 0 },
+
+  /* Condition codes 16-31 reserved for extensions.  */
+
+  { "f", 1, FLAG, 0 },
+
+  { "nd", ARC_DELAY_NONE, DELAY, 0 },
+  { "d", ARC_DELAY_NORMAL, DELAY, 0 },
+  { "jd", ARC_DELAY_JUMP, DELAY, 0 },
+
+  { "b", 1, SIZE1, 0 },
+  { "b", 1, SIZE10, 0 },
+  { "b", 1, SIZE22, 0 },
+  { "w", 2, SIZE1, 0 },
+  { "w", 2, SIZE10, 0 },
+  { "w", 2, SIZE22, 0 },
+  { "x", 1, SIGN0, 0 },
+  { "x", 1, SIGN9, 0 },
+  { "a", 1, ADDRESS3, 0 },
+  { "a", 1, ADDRESS12, 0 },
+  { "a", 1, ADDRESS24, 0 },
+
+  { "di", 1, CACHEBYPASS5, 0 },
+  { "di", 1, CACHEBYPASS14, 0 },
+  { "di", 1, CACHEBYPASS26, 0 },
+};
+
+const int arc_suffixes_count =
+  sizeof (arc_suffixes) / sizeof (arc_suffixes[0]);
+
+/* Indexed by first letter of opcode.  Points to chain of opcodes with same
+   first letter.  */
+static struct arc_opcode *opcode_map[26 + 1];
+
+/* Indexed by insn code.  Points to chain of opcodes with same insn code.  */
+static struct arc_opcode *icode_map[32];
+\f
+/* Configuration flags.  */
+
+/* Various ARC_HAVE_XXX bits.  */
+static int cpu_type;
+
+/* Translate a bfd_mach_arc_xxx value to a ARC_MACH_XXX value.  */
 
+int
+arc_get_opcode_mach (int bfd_mach, int big_p)
+{
+  static int mach_type_map[] =
+  {
+    ARC_MACH_5,
+    ARC_MACH_6,
+    ARC_MACH_7,
+    ARC_MACH_8
+  };
+  return mach_type_map[bfd_mach - bfd_mach_arc_5] | (big_p ? ARC_MACH_BIG : 0);
+}
+
+/* Initialize any tables that need it.
+   Must be called once at start up (or when first needed).
+
+   FLAGS is a set of bits that say what version of the cpu we have,
+   and in particular at least (one of) ARC_MACH_XXX.  */
+
+void
+arc_opcode_init_tables (int flags)
+{
+  static int init_p = 0;
+
+  cpu_type = flags;
+
+  /* We may be intentionally called more than once (for example gdb will call
+     us each time the user switches cpu).  These tables only need to be init'd
+     once though.  */
+  if (!init_p)
+    {
+      int i,n;
+
+      memset (arc_operand_map, 0, sizeof (arc_operand_map));
+      n = sizeof (arc_operands) / sizeof (arc_operands[0]);
+      for (i = 0; i < n; ++i)
+       arc_operand_map[arc_operands[i].fmt] = i;
+
+      memset (opcode_map, 0, sizeof (opcode_map));
+      memset (icode_map, 0, sizeof (icode_map));
+      /* Scan the table backwards so macros appear at the front.  */
+      for (i = arc_opcodes_count - 1; i >= 0; --i)
+       {
+         int opcode_hash = ARC_HASH_OPCODE (arc_opcodes[i].syntax);
+         int icode_hash = ARC_HASH_ICODE (arc_opcodes[i].value);
+
+         arc_opcodes[i].next_asm = opcode_map[opcode_hash];
+         opcode_map[opcode_hash] = &arc_opcodes[i];
+
+         arc_opcodes[i].next_dis = icode_map[icode_hash];
+         icode_map[icode_hash] = &arc_opcodes[i];
+       }
+
+      init_p = 1;
+    }
+}
+
+/* Return non-zero if OPCODE is supported on the specified cpu.
+   Cpu selection is made when calling `arc_opcode_init_tables'.  */
+
+int
+arc_opcode_supported (const struct arc_opcode *opcode)
+{
+  if (ARC_OPCODE_CPU (opcode->flags) <= cpu_type)
+    return 1;
   return 0;
 }
 
+/* Return the first insn in the chain for assembling INSN.  */
+
+const struct arc_opcode *
+arc_opcode_lookup_asm (const char *insn)
+{
+  return opcode_map[ARC_HASH_OPCODE (insn)];
+}
+
+/* Return the first insn in the chain for disassembling INSN.  */
+
+const struct arc_opcode *
+arc_opcode_lookup_dis (unsigned int insn)
+{
+  return icode_map[ARC_HASH_ICODE (insn)];
+}
+
+/* Called by the assembler before parsing an instruction.  */
+
+void
+arc_opcode_init_insert (void)
+{
+  int i;
+
+  for(i = 0; i < OPERANDS; i++)
+    ls_operand[i] = OP_NONE;
+
+  flag_p = 0;
+  flagshimm_handled_p = 0;
+  cond_p = 0;
+  addrwb_p = 0;
+  shimm_p = 0;
+  limm_p = 0;
+  jumpflags_p = 0;
+  nullify_p = 0;
+  nullify = 0; /* The default is important.  */
+}
+
+/* Called by the assembler to see if the insn has a limm operand.
+   Also called by the disassembler to see if the insn contains a limm.  */
+
+int
+arc_opcode_limm_p (long *limmp)
+{
+  if (limmp)
+    *limmp = limm;
+  return limm_p;
+}
+
 /* Utility for the extraction functions to return the index into
    `arc_suffixes'.  */
 
 const struct arc_operand_value *
-arc_opcode_lookup_suffix (type, value)
-     const struct arc_operand *type;
-     int value;
+arc_opcode_lookup_suffix (const struct arc_operand *type, int value)
 {
-  register const struct arc_operand_value *v,*end;
+  const struct arc_operand_value *v,*end;
+  struct arc_ext_operand_value *ext_oper = arc_ext_operands;
 
-  /* ??? This is a little slow and can be speeded up.  */
+  while (ext_oper)
+    {
+      if (type == &arc_operands[ext_oper->operand.type]
+         && value == ext_oper->operand.value)
+       return (&ext_oper->operand);
+      ext_oper = ext_oper->next;
+    }
 
+  /* ??? This is a little slow and can be speeded up.  */
   for (v = arc_suffixes, end = arc_suffixes + arc_suffixes_count; v < end; ++v)
     if (type == &arc_operands[v->type]
        && value == v->value)
@@ -1137,21 +1710,54 @@ arc_opcode_lookup_suffix (type, value)
   return 0;
 }
 
-static const struct arc_operand_value *
-lookup_register (type, regno)
-     int type;
-     long regno;
+int
+arc_insn_is_j (arc_insn insn)
 {
-  register const struct arc_operand_value *r,*end;
+  return (insn & (I(-1))) == I(0x7);
+}
 
-  if (type == REG)
-    return &arc_reg_names[regno];
+int
+arc_insn_not_jl (arc_insn insn)
+{
+  return ((insn & (I(-1)|A(-1)|C(-1)|R(-1,7,1)|R(-1,9,1)))
+         != (I(0x7) | R(-1,9,1)));
+}
 
-  /* ??? This is a little slow and can be speeded up.  */
+int
+arc_operand_type (int opertype)
+{
+  switch (opertype)
+    {
+    case 0:
+      return COND;
+      break;
+    case 1:
+      return REG;
+      break;
+    case 2:
+      return AUXREG;
+      break;
+    }
+  return -1;
+}
 
-  for (r = arc_reg_names, end = arc_reg_names + arc_reg_names_count;
-       r < end; ++r)
-    if (type == r->type        && regno == r->value)
-      return r;
-  return 0;
+struct arc_operand_value *
+get_ext_suffix (char *s)
+{
+  struct arc_ext_operand_value *suffix = arc_ext_operands;
+
+  while (suffix)
+    {
+      if ((COND == suffix->operand.type)
+         && !strcmp(s,suffix->operand.name))
+       return(&suffix->operand);
+      suffix = suffix->next;
+    }
+  return NULL;
+}
+
+int
+arc_get_noshortcut_flag (void)
+{
+  return ARC_REGISTER_NOSHORT_CUT;
 }
This page took 0.049852 seconds and 4 git commands to generate.