[AArch64] Enable CRC feature in GAS for cortex-a53 and cortex-a57.
[platform/upstream/binutils.git] / opcodes / arc-opc.c
index ea9c742..bff0000 100644 (file)
 /* Opcode table for the ARC.
-   Copyright 1994, 1995 Free Software Foundation, Inc.
+   Copyright (C) 1994-2014 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.  */
-
-/* The ARC may eventually be bi-endian.
-   Keep this file byte order independent.  */
+   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.  */
 
@@ -59,15 +126,22 @@ 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
    'n' DELAY           N field (nullify field)
    'q' COND            condition code field
    'Q' FORCELIMM       set `cond_p' to 1 to ensure a constant is a limm
-   'B' BRANCH          branch address
+   '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]
@@ -76,11 +150,9 @@ EXTRACT_FN (extract_multshift);
    'w' ADDRESS3        write-back field in ld a,[b,c]
    'W' ADDRESS12       write-back field in ld a,[b,shimm]
    'v' ADDRESS24       write-back field in st c,[b,shimm]
-   'D' CACHEBYPASS5    direct to memory enable (cache bypass) in ld a,[b,c]
-   'e' CACHEBYPASS14   direct to memory enable (cache bypass) in ld a,[b,shimm]
-   'E' CACHEBYPASS26   direct to memory enable (cache bypass) in st c,[b,shimm]
-   'u' UNSIGNED        unsigned multiply
-   's' SATURATION      saturation limit in audio arc mac insn
+   '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' UNOPMACRO       fake operand to copy REGB to REGC for unop macros
 
    The following modifiers may appear between the % and char (eg: %.f):
@@ -91,532 +163,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 */
+/* Fake operand used to insert limm value into most instructions.  */
 #define LIMMFINISH (SHIMMFINISH + 1)
-  { 'L', 32, 32, ARC_OPERAND_ABSOLUTE + ARC_OPERAND_FAKE, insert_limmfinish, 0 },
+  { '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 },
 
-/* 0 shimm operand for ld,st insns */
-#define SHIMMZERO (SHIMMOFFSET + 1)
-  { '0', 9, 0, ARC_OPERAND_FAKE, insert_shimmzero, 0 },
+/* 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 },
 
-/* flag update bit (insertion is defered until we know how) */
-#define FLAG (SHIMMZERO + 1)
+/* Operand for base.  */
+#define BASE (LD_OFFSET + 1)
+  { 's', 6, ARC_SHIFT_REGB, ARC_OPERAND_LIMM | ARC_OPERAND_SIGNED, insert_base, extract_reg},
+
+/* 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 + 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).  */
+#define JUMP (BRANCH + 1)
+  { '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 (BRANCH + 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)
-  { 'D', 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)
-  { 'E', 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 }
-};
-
-/* 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 */
+  { 'A', 9, 0, ARC_MOD_AUXREG, 0, 0 },
 
-/* 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 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 */
-  { "j%q%Q%.n%.f %b%L",                        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%.v%.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%.v%.e %a,[%b,%d]%S%L",    I(-1)+R(-1,13,1),               I(1)+R(0,13,1) },
-  { "ld%z%.x%.u%.D %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%.w%.E %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%.w%.E %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) }
-};
-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 },
+/* End of list place holder.  */
+  { 0, 0, 0, 0, 0, 0 }
 };
-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 },
-  { "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 },
-};
-int arc_suffixes_count = sizeof (arc_suffixes) / sizeof (arc_suffixes[0]);
-
-/* Configuration flags.  */
-
-/* Various ARC_HAVE_XXX bits.  */
-static int cpu_type;
-
-/* 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.  */
-
-void
-arc_opcode_init_tables (flags)
-     int flags;
-{
-  register int i,n;
-
-  cpu_type = flags;
-
-  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;
-}
-
-/* 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_MACH (opcode->flags) == 0)
-    return 1;
-  if (ARC_OPCODE_MACH (opcode->flags) & ARC_HAVE_MACH (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_MACH (opval->flags) == 0)
-    return 1;
-  if (ARC_OPVAL_MACH (opval->flags) & ARC_HAVE_MACH (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;
-
-/* 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
@@ -630,25 +352,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
     {
@@ -657,45 +391,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;
 }
 
@@ -704,13 +492,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)
     {
@@ -725,13 +512,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;
@@ -745,60 +531,376 @@ 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_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)
+{
+  addrwb_p = 1 << operand->shift;
+  return insn;
+}
 
 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_base (arc_insn insn,
+            const struct arc_operand *operand,
+            int mods,
+            const struct arc_operand_value *reg,
+            long value,
+            const char **errmsg)
 {
-  insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
+  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;
+}
+
+/* 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_offset (arc_insn insn,
+              const struct arc_operand *operand,
+              int mods,
+              const struct arc_operand_value *reg,
+              long value,
+              const char **errmsg)
+{
+  long minval, maxval;
+
+  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");
+
+         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 = _("too 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/st insns when the shimm offset is 0.  */
+/* Used in ld insns to do final syntax check.  */
 
 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_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)
 {
-  shimm_p = 1;
-  shimm = 0;
+#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 (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_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;
@@ -806,35 +908,66 @@ insert_shimmfinish (insn, operand, mods, reg, value, errmsg)
 }
 
 /* Called at the end of processing normal insns (eg: add) to insert a limm
-   value (if present) into the insn.  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 insns could be
-   converted and then we could do something useful.  Not sure it's worth it.  */
+   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 (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_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)
 {
-  if (limm_p)
-    ; /* nothing to do */
+  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;
@@ -843,19 +976,55 @@ 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;
 }
+
+/* Insert a limm value as a 26 bit address right shifted 2 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 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.
+
+   We do check for correct usage of the nullify suffix, or we
+   set the default correctly, though.  */
+
+static arc_insn
+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)
+    {
+      /* 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
 /* Extraction functions.
 
@@ -864,17 +1033,36 @@ insert_reladdr (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
@@ -885,51 +1073,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;
     }
@@ -942,10 +1156,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;
 }
 
@@ -953,12 +1186,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;
@@ -966,14 +1198,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;
 }
@@ -984,12 +1216,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;
@@ -997,12 +1228,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 aren't
-     implemented yet.  */
-  if (opval && val)
+  /* Ignore NULL values of `val'.  Several condition code values are
+     reserved for extensions.  */
+  if (opval != NULL && val != NULL)
     *opval = val;
   return cond;
 }
@@ -1011,58 +1242,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)
@@ -1070,21 +1709,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;
 }