opcodes/arc-opc.c

   1 /* Opcode table for the ARC.
   2    Copyright (c) 1994, 1995, 1997, 1998 Free Software Foundation, Inc.
   3    Contributed by Doug Evans (dje@cygnus.com).
   4
   5    This program is free software; you can redistribute it and/or modify
   6    it under the terms of the GNU General Public License as published by
   7    the Free Software Foundation; either version 2, or (at your option)
   8    any later version.
   9
  10    This program is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13    GNU General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program; if not, write to the Free Software
  17    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
  18
  19 #include <stdio.h>
  20 #include "sysdep.h"
  21 #include "opcode/arc.h"
  22 #include "opintl.h"
  23
  24 #ifndef NULL
  25 #define NULL 0
  26 #endif
  27
  28 #define INSERT_FN(fn) \
  29 static arc_insn fn PARAMS ((arc_insn, const struct arc_operand *, \
  30                             int, const struct arc_operand_value *, long, \
  31                             const char **))
  32 #define EXTRACT_FN(fn) \
  33 static long fn PARAMS ((arc_insn *, const struct arc_operand *, \
  34                         int, const struct arc_operand_value **, int *))
  35
  36 INSERT_FN (insert_reg);
  37 INSERT_FN (insert_shimmfinish);
  38 INSERT_FN (insert_limmfinish);
  39 INSERT_FN (insert_shimmoffset);
  40 INSERT_FN (insert_shimmzero);
  41 INSERT_FN (insert_flag);
  42 INSERT_FN (insert_flagfinish);
  43 INSERT_FN (insert_cond);
  44 INSERT_FN (insert_forcelimm);
  45 INSERT_FN (insert_reladdr);
  46 INSERT_FN (insert_absaddr);
  47 INSERT_FN (insert_unopmacro);
  48
  49 EXTRACT_FN (extract_reg);
  50 EXTRACT_FN (extract_flag);
  51 EXTRACT_FN (extract_cond);
  52 EXTRACT_FN (extract_reladdr);
  53 EXTRACT_FN (extract_unopmacro);
  54
  55 /* Various types of ARC operands, including insn suffixes.  */
  56
  57 /* Insn format values:
  58
  59    'a'  REGA            register A field
  60    'b'  REGB            register B field
  61    'c'  REGC            register C field
  62    'S'  SHIMMFINISH     finish inserting a shimm value
  63    'L'  LIMMFINISH      finish inserting a limm value
  64    'd'  SHIMMOFFSET     shimm offset in ld,st insns
  65    '0'  SHIMMZERO       0 shimm value in ld,st insns
  66    'f'  FLAG            F flag
  67    'F'  FLAGFINISH      finish inserting the F flag
  68    'G'  FLAGINSN        insert F flag in "flag" insn
  69    'n'  DELAY           N field (nullify field)
  70    'q'  COND            condition code field
  71    'Q'  FORCELIMM       set `cond_p' to 1 to ensure a constant is a limm
  72    'B'  BRANCH          branch address (22 bit pc relative)
  73    'J'  JUMP            jump address (26 bit absolute)
  74    'z'  SIZE1           size field in ld a,[b,c]
  75    'Z'  SIZE10          size field in ld a,[b,shimm]
  76    'y'  SIZE22          size field in st c,[b,shimm]
  77    'x'  SIGN0           sign extend field ld a,[b,c]
  78    'X'  SIGN9           sign extend field ld a,[b,shimm]
  79    'w'  ADDRESS3        write-back field in ld a,[b,c]
  80    'W'  ADDRESS12       write-back field in ld a,[b,shimm]
  81    'v'  ADDRESS24       write-back field in st c,[b,shimm]
  82    'e'  CACHEBYPASS5    cache bypass in ld a,[b,c]
  83    'E'  CACHEBYPASS14   cache bypass in ld a,[b,shimm]
  84    'D'  CACHEBYPASS26   cache bypass in st c,[b,shimm]
  85    'U'  UNOPMACRO       fake operand to copy REGB to REGC for unop macros
  86
  87    The following modifiers may appear between the % and char (eg: %.f):
  88
  89    '.'  MODDOT          '.' prefix must be present
  90    'r'  REG             generic register value, for register table
  91    'A'  AUXREG          auxiliary register in lr a,[b], sr c,[b]
  92
  93    Fields are:
  94
  95    CHAR BITS SHIFT FLAGS INSERT_FN EXTRACT_FN
  96 */
  97
  98 const struct arc_operand arc_operands[] =
  99 {
 100 /* place holder (??? not sure if needed) */
 101 #define UNUSED 0
 102   { 0 },
 103
 104 /* register A or shimm/limm indicator */
 105 #define REGA (UNUSED + 1)
 106   { 'a', 6, ARC_SHIFT_REGA, ARC_OPERAND_SIGNED, insert_reg, extract_reg },
 107
 108 /* register B or shimm/limm indicator */
 109 #define REGB (REGA + 1)
 110   { 'b', 6, ARC_SHIFT_REGB, ARC_OPERAND_SIGNED, insert_reg, extract_reg },
 111
 112 /* register C or shimm/limm indicator */
 113 #define REGC (REGB + 1)
 114   { 'c', 6, ARC_SHIFT_REGC, ARC_OPERAND_SIGNED, insert_reg, extract_reg },
 115
 116 /* fake operand used to insert shimm value into most instructions */
 117 #define SHIMMFINISH (REGC + 1)
 118   { 'S', 9, 0, ARC_OPERAND_SIGNED + ARC_OPERAND_FAKE, insert_shimmfinish, 0 },
 119
 120 /* fake operand used to insert limm value into most instructions.  */
 121 #define LIMMFINISH (SHIMMFINISH + 1)
 122   { 'L', 32, 32, ARC_OPERAND_ADDRESS + ARC_OPERAND_LIMM + ARC_OPERAND_FAKE, insert_limmfinish, 0 },
 123
 124 /* shimm operand when there is no reg indicator (ld,st) */
 125 #define SHIMMOFFSET (LIMMFINISH + 1)
 126   { 'd', 9, 0, ARC_OPERAND_SIGNED, insert_shimmoffset, 0 },
 127
 128 /* 0 shimm operand for ld,st insns */
 129 #define SHIMMZERO (SHIMMOFFSET + 1)
 130   { '0', 9, 0, ARC_OPERAND_FAKE, insert_shimmzero, 0 },
 131
 132 /* flag update bit (insertion is defered until we know how) */
 133 #define FLAG (SHIMMZERO + 1)
 134   { 'f', 1, 8, ARC_OPERAND_SUFFIX, insert_flag, extract_flag },
 135
 136 /* fake utility operand to finish 'f' suffix handling */
 137 #define FLAGFINISH (FLAG + 1)
 138   { 'F', 1, 8, ARC_OPERAND_FAKE, insert_flagfinish, 0 },
 139
 140 /* fake utility operand to set the 'f' flag for the "flag" insn */
 141 #define FLAGINSN (FLAGFINISH + 1)
 142   { 'G', 1, 8, ARC_OPERAND_FAKE, insert_flag, 0 },
 143
 144 /* branch delay types */
 145 #define DELAY (FLAGINSN + 1)
 146   { 'n', 2, 5, ARC_OPERAND_SUFFIX },
 147
 148 /* conditions */
 149 #define COND (DELAY + 1)
 150   { 'q', 5, 0, ARC_OPERAND_SUFFIX, insert_cond, extract_cond },
 151
 152 /* set `cond_p' to 1 to ensure a constant is treated as a limm */
 153 #define FORCELIMM (COND + 1)
 154   { 'Q', 0, 0, ARC_OPERAND_FAKE, insert_forcelimm },
 155
 156 /* branch address; b, bl, and lp insns */
 157 #define BRANCH (FORCELIMM + 1)
 158   { 'B', 20, 7, ARC_OPERAND_RELATIVE_BRANCH + ARC_OPERAND_SIGNED, insert_reladdr, extract_reladdr },
 159
 160 /* jump address; j insn (this is basically the same as 'L' except that the
 161    value is right shifted by 2) */
 162 #define JUMP (BRANCH + 1)
 163   { 'J', 24, 32, ARC_OPERAND_ABSOLUTE_BRANCH + ARC_OPERAND_LIMM + ARC_OPERAND_FAKE, insert_absaddr },
 164
 165 /* size field, stored in bit 1,2 */
 166 #define SIZE1 (JUMP + 1)
 167   { 'z', 2, 1, ARC_OPERAND_SUFFIX },
 168
 169 /* size field, stored in bit 10,11 */
 170 #define SIZE10 (SIZE1 + 1)
 171   { 'Z', 2, 10, ARC_OPERAND_SUFFIX, },
 172
 173 /* size field, stored in bit 22,23 */
 174 #define SIZE22 (SIZE10 + 1)
 175   { 'y', 2, 22, ARC_OPERAND_SUFFIX, },
 176
 177 /* sign extend field, stored in bit 0 */
 178 #define SIGN0 (SIZE22 + 1)
 179   { 'x', 1, 0, ARC_OPERAND_SUFFIX },
 180
 181 /* sign extend field, stored in bit 9 */
 182 #define SIGN9 (SIGN0 + 1)
 183   { 'X', 1, 9, ARC_OPERAND_SUFFIX },
 184
 185 /* address write back, stored in bit 3 */
 186 #define ADDRESS3 (SIGN9 + 1)
 187   { 'w', 1, 3, ARC_OPERAND_SUFFIX },
 188
 189 /* address write back, stored in bit 12 */
 190 #define ADDRESS12 (ADDRESS3 + 1)
 191   { 'W', 1, 12, ARC_OPERAND_SUFFIX },
 192
 193 /* address write back, stored in bit 24 */
 194 #define ADDRESS24 (ADDRESS12 + 1)
 195   { 'v', 1, 24, ARC_OPERAND_SUFFIX },
 196
 197 /* cache bypass, stored in bit 5 */
 198 #define CACHEBYPASS5 (ADDRESS24 + 1)
 199   { 'e', 1, 5, ARC_OPERAND_SUFFIX },
 200
 201 /* cache bypass, stored in bit 14 */
 202 #define CACHEBYPASS14 (CACHEBYPASS5 + 1)
 203   { 'E', 1, 14, ARC_OPERAND_SUFFIX },
 204
 205 /* cache bypass, stored in bit 26 */
 206 #define CACHEBYPASS26 (CACHEBYPASS14 + 1)
 207   { 'D', 1, 26, ARC_OPERAND_SUFFIX },
 208
 209 /* unop macro, used to copy REGB to REGC */
 210 #define UNOPMACRO (CACHEBYPASS26 + 1)
 211   { 'U', 6, ARC_SHIFT_REGC, ARC_OPERAND_FAKE, insert_unopmacro, extract_unopmacro },
 212
 213 /* '.' modifier ('.' required).  */
 214 #define MODDOT (UNOPMACRO + 1)
 215   { '.', 1, 0, ARC_MOD_DOT },
 216
 217 /* Dummy 'r' modifier for the register table.
 218    It's called a "dummy" because there's no point in inserting an 'r' into all
 219    the %a/%b/%c occurrences in the insn table.  */
 220 #define REG (MODDOT + 1)
 221   { 'r', 6, 0, ARC_MOD_REG },
 222
 223 /* Known auxiliary register modifier (stored in shimm field).  */
 224 #define AUXREG (REG + 1)
 225   { 'A', 9, 0, ARC_MOD_AUXREG },
 226
 227 /* end of list place holder */
 228   { 0 }
 229 };
 230 \f
 231 /* Given a format letter, yields the index into `arc_operands'.
 232    eg: arc_operand_map['a'] = REGA.  */
 233 unsigned char arc_operand_map[256];
 234
 235 #define I(x) (((x) & 31) << 27)
 236 #define A(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGA)
 237 #define B(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGB)
 238 #define C(x) (((x) & ARC_MASK_REG) << ARC_SHIFT_REGC)
 239 #define R(x,b,m) (((x) & (m)) << (b))   /* value X, mask M, at bit B */
 240
 241 /* ARC instructions.
 242
 243    Longer versions of insns must appear before shorter ones (if gas sees
 244    "lsr r2,r3,1" when it's parsing "lsr %a,%b" it will think the ",1" is
 245    junk).  This isn't necessary for `ld' because of the trailing ']'.
 246
 247    Instructions that are really macros based on other insns must appear
 248    before the real insn so they're chosen when disassembling.  Eg: The `mov'
 249    insn is really the `and' insn.
 250
 251    This table is best viewed on a wide screen (161 columns).  I'd prefer to
 252    keep it this way.  The rest of the file, however, should be viewable on an
 253    80 column terminal.  */
 254
 255 /* ??? This table also includes macros: asl, lsl, and mov.  The ppc port has
 256    a more general facility for dealing with macros which could be used if
 257    we need to.  */
 258
 259 /* This table can't be `const' because members `next_asm' and `next_dis' are
 260    computed at run-time.  We could split this into two, but that doesn't seem
 261    worth it.  */
 262
 263 struct arc_opcode arc_opcodes[] = {
 264
 265   /* Macros appear first.  */
 266   /* "mov" is really an "and".  */
 267   { "mov%.q%.f %a,%b%F%S%L%U",          I(-1),          I(12) },
 268   /* "asl" is really an "add".  */
 269   { "asl%.q%.f %a,%b%F%S%L%U",          I(-1),          I(8) },
 270   /* "lsl" is really an "add".  */
 271   { "lsl%.q%.f %a,%b%F%S%L%U",          I(-1),          I(8) },
 272   /* "nop" is really an "xor".  */
 273   { "nop",                              0xffffffff,     0x7fffffff },
 274   /* "rlc" is really an "adc".  */
 275   { "rlc%.q%.f %a,%b%F%S%L%U",          I(-1),          I(9) },
 276
 277   /* The rest of these needn't be sorted, but it helps to find them if they are.  */
 278   { "adc%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(9) },
 279   { "add%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(8) },
 280   { "and%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(12) },
 281   { "asr%.q%.f %a,%b%F%S%L",            I(-1)+C(-1),    I(3)+C(1) },
 282   { "bic%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(14) },
 283   { "b%q%.n %B",                        I(-1),          I(4),           ARC_OPCODE_COND_BRANCH },
 284   { "bl%q%.n %B",                       I(-1),          I(5),           ARC_OPCODE_COND_BRANCH },
 285   { "extb%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(7) },
 286   { "extw%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(8) },
 287   { "flag%.q %b%G%S%L",                 I(-1)+A(-1)+C(-1),              I(3)+A(ARC_REG_SHIMM_UPDATE)+C(0) },
 288   /* %Q: force cond_p=1 --> no shimm values */
 289   /* ??? This insn allows an optional flags spec.  */
 290   { "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) },
 291   /* Put opcode 1 ld insns first so shimm gets prefered over limm.  */
 292   /* "[%b]" is before "[%b,%d]" so 0 offsets don't get printed.  */
 293   { "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) },
 294   { "ld%Z%.X%.W%.E %a,[%b,%d]%S%L",     I(-1)+R(-1,13,1),               I(1)+R(0,13,1) },
 295   { "ld%z%.x%.w%.e%Q %a,[%b,%c]%L",     I(-1)+R(-1,4,1)+R(-1,6,7),      I(0)+R(0,4,1)+R(0,6,7) },
 296   { "lp%q%.n %B",                       I(-1),          I(6), },
 297   { "lr %a,[%Ab]%S%L",                  I(-1)+C(-1),    I(1)+C(0x10) },
 298   { "lsr%.q%.f %a,%b%F%S%L",            I(-1)+C(-1),    I(3)+C(2) },
 299   { "or%.q%.f %a,%b,%c%F%S%L",          I(-1),          I(13) },
 300   { "ror%.q%.f %a,%b%F%S%L",            I(-1)+C(-1),    I(3)+C(3) },
 301   { "rrc%.q%.f %a,%b%F%S%L",            I(-1)+C(-1),    I(3)+C(4) },
 302   { "sbc%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(11) },
 303   { "sexb%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(5) },
 304   { "sexw%.q%.f %a,%b%F%S%L",           I(-1)+C(-1),    I(3)+C(6) },
 305   { "sr %c,[%Ab]%S%L",                  I(-1)+A(-1),    I(2)+A(0x10) },
 306   /* "[%b]" is before "[%b,%d]" so 0 offsets don't get printed.  */
 307   { "st%y%.v%.D%Q %0%c,[%b]%L",         I(-1)+R(-1,25,1)+R(-1,21,1)+R(-1,0,511),        I(2)+R(0,25,1)+R(0,21,1)+R(0,0,511) },
 308   { "st%y%.v%.D %c,[%b,%d]%S%L",        I(-1)+R(-1,25,1)+R(-1,21,1),                    I(2)+R(0,25,1)+R(0,21,1) },
 309   { "sub%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(10) },
 310   { "xor%.q%.f %a,%b,%c%F%S%L",         I(-1),          I(15) }
 311 };
 312 const int arc_opcodes_count = sizeof (arc_opcodes) / sizeof (arc_opcodes[0]);
 313
 314 const struct arc_operand_value arc_reg_names[] =
 315 {
 316   /* Sort this so that the first 61 entries are sequential.
 317      IE: For each i (i<61), arc_reg_names[i].value == i.  */
 318
 319   { "r0", 0, REG }, { "r1", 1, REG }, { "r2", 2, REG }, { "r3", 3, REG },
 320   { "r4", 4, REG }, { "r5", 5, REG }, { "r6", 6, REG }, { "r7", 7, REG },
 321   { "r8", 8, REG }, { "r9", 9, REG }, { "r10", 10, REG }, { "r11", 11, REG },
 322   { "r12", 12, REG }, { "r13", 13, REG }, { "r14", 14, REG }, { "r15", 15, REG },
 323   { "r16", 16, REG }, { "r17", 17, REG }, { "r18", 18, REG }, { "r19", 19, REG },
 324   { "r20", 20, REG }, { "r21", 21, REG }, { "r22", 22, REG }, { "r23", 23, REG },
 325   { "r24", 24, REG }, { "r25", 25, REG }, { "r26", 26, REG }, { "fp", 27, REG },
 326   { "sp", 28, REG }, { "ilink1", 29, REG }, { "ilink2", 30, REG }, { "blink", 31, REG },
 327   { "r32", 32, REG }, { "r33", 33, REG }, { "r34", 34, REG }, { "r35", 35, REG },
 328   { "r36", 36, REG }, { "r37", 37, REG }, { "r38", 38, REG }, { "r39", 39, REG },
 329   { "r40", 40, REG }, { "r41", 41, REG }, { "r42", 42, REG }, { "r43", 43, REG },
 330   { "r44", 44, REG }, { "r45", 45, REG }, { "r46", 46, REG }, { "r47", 47, REG },
 331   { "r48", 48, REG }, { "r49", 49, REG }, { "r50", 50, REG }, { "r51", 51, REG },
 332   { "r52", 52, REG }, { "r53", 53, REG }, { "r54", 54, REG }, { "r55", 55, REG },
 333   { "r56", 56, REG }, { "r57", 57, REG }, { "r58", 58, REG }, { "r59", 59, REG },
 334   { "lp_count", 60, REG },
 335
 336   /* I'd prefer to output these as "fp" and "sp" by default, but we still need
 337      to recognize the canonical values.  */
 338   { "r27", 27, REG }, { "r28", 28, REG },
 339
 340   /* Someone may wish to refer to these in this way, and it's probably a
 341      good idea to reserve them as such anyway.  */
 342   { "r29", 29, REG }, { "r30", 30, REG }, { "r31", 31, REG }, { "r60", 60, REG },
 343
 344   /* Standard auxiliary registers.  */
 345   { "status",   0, AUXREG },
 346   { "semaphore", 1, AUXREG },
 347   { "lp_start", 2, AUXREG },
 348   { "lp_end",   3, AUXREG },
 349   { "identity", 4, AUXREG },
 350   { "debug",    5, AUXREG },
 351 };
 352 const int arc_reg_names_count = sizeof (arc_reg_names) / sizeof (arc_reg_names[0]);
 353
 354 /* The suffix table.
 355    Operands with the same name must be stored together.  */
 356
 357 const struct arc_operand_value arc_suffixes[] =
 358 {
 359   /* Entry 0 is special, default values aren't printed by the disassembler.  */
 360   { "", 0, -1 },
 361   { "al", 0, COND },
 362   { "ra", 0, COND },
 363   { "eq", 1, COND },
 364   { "z", 1, COND },
 365   { "ne", 2, COND },
 366   { "nz", 2, COND },
 367   { "p", 3, COND },
 368   { "pl", 3, COND },
 369   { "n", 4, COND },
 370   { "mi", 4, COND },
 371   { "c", 5, COND },
 372   { "cs", 5, COND },
 373   { "lo", 5, COND },
 374   { "nc", 6, COND },
 375   { "cc", 6, COND },
 376   { "hs", 6, COND },
 377   { "v", 7, COND },
 378   { "vs", 7, COND },
 379   { "nv", 8, COND },
 380   { "vc", 8, COND },
 381   { "gt", 9, COND },
 382   { "ge", 10, COND },
 383   { "lt", 11, COND },
 384   { "le", 12, COND },
 385   { "hi", 13, COND },
 386   { "ls", 14, COND },
 387   { "pnz", 15, COND },
 388   { "f", 1, FLAG },
 389   { "nd", ARC_DELAY_NONE, DELAY },
 390   { "d", ARC_DELAY_NORMAL, DELAY },
 391   { "jd", ARC_DELAY_JUMP, DELAY },
 392 /*{ "b", 7, SIZEEXT },*/
 393 /*{ "b", 5, SIZESEX },*/
 394   { "b", 1, SIZE1 },
 395   { "b", 1, SIZE10 },
 396   { "b", 1, SIZE22 },
 397 /*{ "w", 8, SIZEEXT },*/
 398 /*{ "w", 6, SIZESEX },*/
 399   { "w", 2, SIZE1 },
 400   { "w", 2, SIZE10 },
 401   { "w", 2, SIZE22 },
 402   { "x", 1, SIGN0 },
 403   { "x", 1, SIGN9 },
 404   { "a", 1, ADDRESS3 },
 405   { "a", 1, ADDRESS12 },
 406   { "a", 1, ADDRESS24 },
 407   { "di", 1, CACHEBYPASS5 },
 408   { "di", 1, CACHEBYPASS14 },
 409   { "di", 1, CACHEBYPASS26 },
 410 };
 411 const int arc_suffixes_count = sizeof (arc_suffixes) / sizeof (arc_suffixes[0]);
 412
 413 /* Indexed by first letter of opcode.  Points to chain of opcodes with same
 414    first letter.  */
 415 static struct arc_opcode *opcode_map[26 + 1];
 416
 417 /* Indexed by insn code.  Points to chain of opcodes with same insn code.  */
 418 static struct arc_opcode *icode_map[32];
 419 \f
 420 /* Configuration flags.  */
 421
 422 /* Various ARC_HAVE_XXX bits.  */
 423 static int cpu_type;
 424
 425 /* Translate a bfd_mach_arc_xxx value to a ARC_MACH_XXX value.  */
 426
 427 int
 428 arc_get_opcode_mach (bfd_mach, big_p)
 429      int bfd_mach, big_p;
 430 {
 431   static int mach_type_map[] =
 432     {
 433       ARC_MACH_BASE
 434     };
 435
 436   return mach_type_map[bfd_mach] | (big_p ? ARC_MACH_BIG : 0);
 437 }
 438
 439 /* Initialize any tables that need it.
 440    Must be called once at start up (or when first needed).
 441
 442    FLAGS is a set of bits that say what version of the cpu we have,
 443    and in particular at least (one of) ARC_MACH_XXX.  */
 444
 445 void
 446 arc_opcode_init_tables (flags)
 447      int flags;
 448 {
 449   static int init_p = 0;
 450
 451   cpu_type = flags;
 452
 453   /* We may be intentionally called more than once (for example gdb will call
 454      us each time the user switches cpu).  These tables only need to be init'd
 455      once though.  */
 456   /* ??? We can remove the need for arc_opcode_supported by taking it into
 457      account here, but I'm not sure I want to do that yet (if ever).  */
 458   if (!init_p)
 459     {
 460       register int i,n;
 461
 462       memset (arc_operand_map, 0, sizeof (arc_operand_map));
 463       n = sizeof (arc_operands) / sizeof (arc_operands[0]);
 464       for (i = 0; i < n; ++i)
 465         arc_operand_map[arc_operands[i].fmt] = i;
 466
 467       memset (opcode_map, 0, sizeof (opcode_map));
 468       memset (icode_map, 0, sizeof (icode_map));
 469       /* Scan the table backwards so macros appear at the front.  */
 470       for (i = arc_opcodes_count - 1; i >= 0; --i)
 471         {
 472           int opcode_hash = ARC_HASH_OPCODE (arc_opcodes[i].syntax);
 473           int icode_hash = ARC_HASH_ICODE (arc_opcodes[i].value);
 474
 475           arc_opcodes[i].next_asm = opcode_map[opcode_hash];
 476           opcode_map[opcode_hash] = &arc_opcodes[i];
 477
 478           arc_opcodes[i].next_dis = icode_map[icode_hash];
 479           icode_map[icode_hash] = &arc_opcodes[i];
 480         }
 481
 482       init_p = 1;
 483     }
 484 }
 485
 486 /* Return non-zero if OPCODE is supported on the specified cpu.
 487    Cpu selection is made when calling `arc_opcode_init_tables'.  */
 488
 489 int
 490 arc_opcode_supported (opcode)
 491      const struct arc_opcode *opcode;
 492 {
 493   if (ARC_OPCODE_CPU (opcode->flags) == 0)
 494     return 1;
 495   if (ARC_OPCODE_CPU (opcode->flags) & ARC_HAVE_CPU (cpu_type))
 496     return 1;
 497   return 0;
 498 }
 499
 500 /* Return non-zero if OPVAL is supported on the specified cpu.
 501    Cpu selection is made when calling `arc_opcode_init_tables'.  */
 502
 503 int
 504 arc_opval_supported (opval)
 505      const struct arc_operand_value *opval;
 506 {
 507   if (ARC_OPVAL_CPU (opval->flags) == 0)
 508     return 1;
 509   if (ARC_OPVAL_CPU (opval->flags) & ARC_HAVE_CPU (cpu_type))
 510     return 1;
 511   return 0;
 512 }
 513
 514 /* Return the first insn in the chain for assembling INSN.  */
 515
 516 const struct arc_opcode *
 517 arc_opcode_lookup_asm (insn)
 518      const char *insn;
 519 {
 520   return opcode_map[ARC_HASH_OPCODE (insn)];
 521 }
 522
 523 /* Return the first insn in the chain for disassembling INSN.  */
 524
 525 const struct arc_opcode *
 526 arc_opcode_lookup_dis (insn)
 527      unsigned int insn;
 528 {
 529   return icode_map[ARC_HASH_ICODE (insn)];
 530 }
 531 \f
 532 /* Nonzero if we've seen an 'f' suffix (in certain insns).  */
 533 static int flag_p;
 534
 535 /* Nonzero if we've finished processing the 'f' suffix.  */
 536 static int flagshimm_handled_p;
 537
 538 /* Nonzero if we've seen a 'q' suffix (condition code).  */
 539 static int cond_p;
 540
 541 /* Nonzero if we've inserted a shimm.  */
 542 static int shimm_p;
 543
 544 /* The value of the shimm we inserted (each insn only gets one but it can
 545    appear multiple times.  */
 546 static int shimm;
 547
 548 /* Nonzero if we've inserted a limm (during assembly) or seen a limm
 549    (during disassembly).  */
 550 static int limm_p;
 551
 552 /* The value of the limm we inserted.  Each insn only gets one but it can
 553    appear multiple times.  */
 554 static long limm;
 555 \f
 556 /* Insertion functions.  */
 557
 558 /* Called by the assembler before parsing an instruction.  */
 559
 560 void
 561 arc_opcode_init_insert ()
 562 {
 563   flag_p = 0;
 564   flagshimm_handled_p = 0;
 565   cond_p = 0;
 566   shimm_p = 0;
 567   limm_p = 0;
 568 }
 569
 570 /* Called by the assembler to see if the insn has a limm operand.
 571    Also called by the disassembler to see if the insn contains a limm.  */
 572
 573 int
 574 arc_opcode_limm_p (limmp)
 575      long *limmp;
 576 {
 577   if (limmp)
 578     *limmp = limm;
 579   return limm_p;
 580 }
 581
 582 /* Insert a value into a register field.
 583    If REG is NULL, then this is actually a constant.
 584
 585    We must also handle auxiliary registers for lr/sr insns.  */
 586
 587 static arc_insn
 588 insert_reg (insn, operand, mods, reg, value, errmsg)
 589      arc_insn insn;
 590      const struct arc_operand *operand;
 591      int mods;
 592      const struct arc_operand_value *reg;
 593      long value;
 594      const char **errmsg;
 595 {
 596   static char buf[100];
 597
 598   if (reg == NULL)
 599     {
 600       /* We have a constant that also requires a value stored in a register
 601          field.  Handle these by updating the register field and saving the
 602          value for later handling by either %S (shimm) or %L (limm).  */
 603
 604       /* Try to use a shimm value before a limm one.  */
 605       if (ARC_SHIMM_CONST_P (value)
 606           /* If we've seen a conditional suffix we have to use a limm.  */
 607           && !cond_p
 608           /* If we already have a shimm value that is different than ours
 609              we have to use a limm.  */
 610           && (!shimm_p || shimm == value))
 611         {
 612           int marker = flag_p ? ARC_REG_SHIMM_UPDATE : ARC_REG_SHIMM;
 613           flagshimm_handled_p = 1;
 614           shimm_p = 1;
 615           shimm = value;
 616           insn |= marker << operand->shift;
 617           /* insn |= value & 511; - done later */
 618         }
 619       /* We have to use a limm.  If we've already seen one they must match.  */
 620       else if (!limm_p || limm == value)
 621         {
 622           limm_p = 1;
 623           limm = value;
 624           insn |= ARC_REG_LIMM << operand->shift;
 625           /* The constant is stored later.  */
 626         }
 627       else
 628         {
 629           *errmsg = _("unable to fit different valued constants into instruction");
 630         }
 631     }
 632   else
 633     {
 634       /* We have to handle both normal and auxiliary registers.  */
 635
 636       if (reg->type == AUXREG)
 637         {
 638           if (!(mods & ARC_MOD_AUXREG))
 639             *errmsg = _("auxiliary register not allowed here");
 640           else
 641             {
 642               insn |= ARC_REG_SHIMM << operand->shift;
 643               insn |= reg->value << arc_operands[reg->type].shift;
 644             }
 645         }
 646       else
 647         {
 648           /* We should never get an invalid register number here.  */
 649           if ((unsigned int) reg->value > 60)
 650             {
 651               /* xgettext:c-format */
 652               sprintf (buf, _("invalid register number `%d'"), reg->value);
 653               *errmsg = buf;
 654             }
 655           else
 656             insn |= reg->value << operand->shift;
 657         }
 658     }
 659
 660   return insn;
 661 }
 662
 663 /* Called when we see an 'f' flag.  */
 664
 665 static arc_insn
 666 insert_flag (insn, operand, mods, reg, value, errmsg)
 667      arc_insn insn;
 668      const struct arc_operand *operand;
 669      int mods;
 670      const struct arc_operand_value *reg;
 671      long value;
 672      const char **errmsg;
 673 {
 674   /* We can't store anything in the insn until we've parsed the registers.
 675      Just record the fact that we've got this flag.  `insert_reg' will use it
 676      to store the correct value (ARC_REG_SHIMM_UPDATE or bit 0x100).  */
 677   flag_p = 1;
 678
 679   return insn;
 680 }
 681
 682 /* Called after completely building an insn to ensure the 'f' flag gets set
 683    properly.  This is needed because we don't know how to set this flag until
 684    we've parsed the registers.  */
 685
 686 static arc_insn
 687 insert_flagfinish (insn, operand, mods, reg, value, errmsg)
 688      arc_insn insn;
 689      const struct arc_operand *operand;
 690      int mods;
 691      const struct arc_operand_value *reg;
 692      long value;
 693      const char **errmsg;
 694 {
 695   if (flag_p && !flagshimm_handled_p)
 696     {
 697       if (shimm_p)
 698         abort ();
 699       flagshimm_handled_p = 1;
 700       insn |= (1 << operand->shift);
 701     }
 702   return insn;
 703 }
 704
 705 /* Called when we see a conditional flag (eg: .eq).  */
 706
 707 static arc_insn
 708 insert_cond (insn, operand, mods, reg, value, errmsg)
 709      arc_insn insn;
 710      const struct arc_operand *operand;
 711      int mods;
 712      const struct arc_operand_value *reg;
 713      long value;
 714      const char **errmsg;
 715 {
 716   cond_p = 1;
 717   insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
 718   return insn;
 719 }
 720
 721 /* Used in the "j" instruction to prevent constants from being interpreted as
 722    shimm values (which the jump insn doesn't accept).  This can also be used
 723    to force the use of limm values in other situations (eg: ld r0,[foo] uses
 724    this).
 725    ??? The mechanism is sound.  Access to it is a bit klunky right now.  */
 726
 727 static arc_insn
 728 insert_forcelimm (insn, operand, mods, reg, value, errmsg)
 729      arc_insn insn;
 730      const struct arc_operand *operand;
 731      int mods;
 732      const struct arc_operand_value *reg;
 733      long value;
 734      const char **errmsg;
 735 {
 736   cond_p = 1;
 737   return insn;
 738 }
 739
 740 /* Used in ld/st insns to handle the shimm offset field.  */
 741
 742 static arc_insn
 743 insert_shimmoffset (insn, operand, mods, reg, value, errmsg)
 744      arc_insn insn;
 745      const struct arc_operand *operand;
 746      int mods;
 747      const struct arc_operand_value *reg;
 748      long value;
 749      const char **errmsg;
 750 {
 751   long minval, maxval;
 752   static char buf[100];
 753
 754   if (reg != NULL)
 755     {
 756       *errmsg = "register appears where shimm value expected";
 757     }
 758   else
 759     {
 760       /* This is *way* more general than necessary, but maybe some day it'll
 761          be useful.  */
 762       if (operand->flags & ARC_OPERAND_SIGNED)
 763         {
 764           minval = -(1 << (operand->bits - 1));
 765           maxval = (1 << (operand->bits - 1)) - 1;
 766         }
 767       else
 768         {
 769           minval = 0;
 770           maxval = (1 << operand->bits) - 1;
 771         }
 772       if (value < minval || value > maxval)
 773         {
 774           /* xgettext:c-format */
 775           sprintf (buf, _("value won't fit in range %ld - %ld"),
 776                    minval, maxval);
 777           *errmsg = buf;
 778         }
 779       else
 780         insn |= (value & ((1 << operand->bits) - 1)) << operand->shift;
 781     }
 782   return insn;
 783 }
 784
 785 /* Used in ld/st insns when the shimm offset is 0.  */
 786
 787 static arc_insn
 788 insert_shimmzero (insn, operand, mods, reg, value, errmsg)
 789      arc_insn insn;
 790      const struct arc_operand *operand;
 791      int mods;
 792      const struct arc_operand_value *reg;
 793      long value;
 794      const char **errmsg;
 795 {
 796   shimm_p = 1;
 797   shimm = 0;
 798   return insn;
 799 }
 800
 801 /* Called at the end of processing normal insns (eg: add) to insert a shimm
 802    value (if present) into the insn.  */
 803
 804 static arc_insn
 805 insert_shimmfinish (insn, operand, mods, reg, value, errmsg)
 806      arc_insn insn;
 807      const struct arc_operand *operand;
 808      int mods;
 809      const struct arc_operand_value *reg;
 810      long value;
 811      const char **errmsg;
 812 {
 813   if (shimm_p)
 814     insn |= (shimm & ((1 << operand->bits) - 1)) << operand->shift;
 815   return insn;
 816 }
 817
 818 /* Called at the end of processing normal insns (eg: add) to insert a limm
 819    value (if present) into the insn.
 820
 821    Note that this function is only intended to handle instructions (with 4 byte
 822    immediate operands).  It is not intended to handle data.  */
 823
 824 /* ??? Actually, there's nothing for us to do as we can't call frag_more, the
 825    caller must do that.  The extract fns take a pointer to two words.  The
 826    insert fns could be converted and then we could do something useful, but
 827    then the reloc handlers would have to know to work on the second word of
 828    a 2 word quantity.  That's too much so we don't handle them.  */
 829
 830 static arc_insn
 831 insert_limmfinish (insn, operand, mods, reg, value, errmsg)
 832      arc_insn insn;
 833      const struct arc_operand *operand;
 834      int mods;
 835      const struct arc_operand_value *reg;
 836      long value;
 837      const char **errmsg;
 838 {
 839   if (limm_p)
 840     ; /* nothing to do, gas does it */
 841   return insn;
 842 }
 843
 844 /* Called at the end of unary operand macros to copy the B field to C.  */
 845
 846 static arc_insn
 847 insert_unopmacro (insn, operand, mods, reg, value, errmsg)
 848      arc_insn insn;
 849      const struct arc_operand *operand;
 850      int mods;
 851      const struct arc_operand_value *reg;
 852      long value;
 853      const char **errmsg;
 854 {
 855   insn |= ((insn >> ARC_SHIFT_REGB) & ARC_MASK_REG) << operand->shift;
 856   return insn;
 857 }
 858
 859 /* Insert a relative address for a branch insn (b, bl, or lp).  */
 860
 861 static arc_insn
 862 insert_reladdr (insn, operand, mods, reg, value, errmsg)
 863      arc_insn insn;
 864      const struct arc_operand *operand;
 865      int mods;
 866      const struct arc_operand_value *reg;
 867      long value;
 868      const char **errmsg;
 869 {
 870   if (value & 3)
 871     *errmsg = _("branch address not on 4 byte boundary");
 872   insn |= ((value >> 2) & ((1 << operand->bits) - 1)) << operand->shift;
 873   return insn;
 874 }
 875
 876 /* Insert a limm value as a 26 bit address right shifted 2 into the insn.
 877
 878    Note that this function is only intended to handle instructions (with 4 byte
 879    immediate operands).  It is not intended to handle data.  */
 880
 881 /* ??? Actually, there's nothing for us to do as we can't call frag_more, the
 882    caller must do that.  The extract fns take a pointer to two words.  The
 883    insert fns could be converted and then we could do something useful, but
 884    then the reloc handlers would have to know to work on the second word of
 885    a 2 word quantity.  That's too much so we don't handle them.  */
 886
 887 static arc_insn
 888 insert_absaddr (insn, operand, mods, reg, value, errmsg)
 889      arc_insn insn;
 890      const struct arc_operand *operand;
 891      int mods;
 892      const struct arc_operand_value *reg;
 893      long value;
 894      const char **errmsg;
 895 {
 896   if (limm_p)
 897     ; /* nothing to do */
 898   return insn;
 899 }
 900 \f
 901 /* Extraction functions.
 902
 903    The suffix extraction functions' return value is redundant since it can be
 904    obtained from (*OPVAL)->value.  However, the boolean suffixes don't have
 905    a suffix table entry for the "false" case, so values of zero must be
 906    obtained from the return value (*OPVAL == NULL).  */
 907
 908 static const struct arc_operand_value *lookup_register (int type, long regno);
 909
 910 /* Called by the disassembler before printing an instruction.  */
 911
 912 void
 913 arc_opcode_init_extract ()
 914 {
 915   flag_p = 0;
 916   flagshimm_handled_p = 0;
 917   shimm_p = 0;
 918   limm_p = 0;
 919 }
 920
 921 /* As we're extracting registers, keep an eye out for the 'f' indicator
 922    (ARC_REG_SHIMM_UPDATE).  If we find a register (not a constant marker,
 923    like ARC_REG_SHIMM), set OPVAL so our caller will know this is a register.
 924
 925    We must also handle auxiliary registers for lr/sr insns.  They are just
 926    constants with special names.  */
 927
 928 static long
 929 extract_reg (insn, operand, mods, opval, invalid)
 930      arc_insn *insn;
 931      const struct arc_operand *operand;
 932      int mods;
 933      const struct arc_operand_value **opval;
 934      int *invalid;
 935 {
 936   int regno;
 937   long value;
 938
 939   /* Get the register number.  */
 940   regno = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
 941
 942   /* Is it a constant marker?  */
 943   if (regno == ARC_REG_SHIMM)
 944     {
 945       value = insn[0] & 511;
 946       if ((operand->flags & ARC_OPERAND_SIGNED)
 947           && (value & 256))
 948         value -= 512;
 949       flagshimm_handled_p = 1;
 950     }
 951   else if (regno == ARC_REG_SHIMM_UPDATE)
 952     {
 953       value = insn[0] & 511;
 954       if ((operand->flags & ARC_OPERAND_SIGNED)
 955           && (value & 256))
 956         value -= 512;
 957       flag_p = 1;
 958       flagshimm_handled_p = 1;
 959     }
 960   else if (regno == ARC_REG_LIMM)
 961     {
 962       value = insn[1];
 963       limm_p = 1;
 964     }
 965   /* It's a register, set OPVAL (that's the only way we distinguish registers
 966      from constants here).  */
 967   else
 968     {
 969       const struct arc_operand_value *reg = lookup_register (REG, regno);
 970
 971       if (reg == NULL)
 972         abort ();
 973       if (opval != NULL)
 974         *opval = reg;
 975       value = regno;
 976     }
 977
 978   /* If this field takes an auxiliary register, see if it's a known one.  */
 979   if ((mods & ARC_MOD_AUXREG)
 980       && ARC_REG_CONSTANT_P (regno))
 981     {
 982       const struct arc_operand_value *reg = lookup_register (AUXREG, value);
 983
 984       /* This is really a constant, but tell the caller it has a special
 985          name.  */
 986       if (reg != NULL && opval != NULL)
 987         *opval = reg;
 988     }
 989
 990   return value;
 991 }
 992
 993 /* Return the value of the "flag update" field for shimm insns.
 994    This value is actually stored in the register field.  */
 995
 996 static long
 997 extract_flag (insn, operand, mods, opval, invalid)
 998      arc_insn *insn;
 999      const struct arc_operand *operand;
1000      int mods;
1001      const struct arc_operand_value **opval;
1002      int *invalid;
1003 {
1004   int f;
1005   const struct arc_operand_value *val;
1006
1007   if (flagshimm_handled_p)
1008     f = flag_p != 0;
1009   else
1010     f = (insn[0] & (1 << operand->shift)) != 0;
1011
1012   /* There is no text for zero values.  */
1013   if (f == 0)
1014     return 0;
1015
1016   val = arc_opcode_lookup_suffix (operand, 1);
1017   if (opval != NULL && val != NULL)
1018     *opval = val;
1019   return val->value;
1020 }
1021
1022 /* Extract the condition code (if it exists).
1023    If we've seen a shimm value in this insn (meaning that the insn can't have
1024    a condition code field), then we don't store anything in OPVAL and return
1025    zero.  */
1026
1027 static long
1028 extract_cond (insn, operand, mods, opval, invalid)
1029      arc_insn *insn;
1030      const struct arc_operand *operand;
1031      int mods;
1032      const struct arc_operand_value **opval;
1033      int *invalid;
1034 {
1035   long cond;
1036   const struct arc_operand_value *val;
1037
1038   if (flagshimm_handled_p)
1039     return 0;
1040
1041   cond = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
1042   val = arc_opcode_lookup_suffix (operand, cond);
1043
1044   /* Ignore NULL values of `val'.  Several condition code values are
1045      reserved for extensions.  */
1046   if (opval != NULL && val != NULL)
1047     *opval = val;
1048   return cond;
1049 }
1050
1051 /* Extract a branch address.
1052    We return the value as a real address (not right shifted by 2).  */
1053
1054 static long
1055 extract_reladdr (insn, operand, mods, opval, invalid)
1056      arc_insn *insn;
1057      const struct arc_operand *operand;
1058      int mods;
1059      const struct arc_operand_value **opval;
1060      int *invalid;
1061 {
1062   long addr;
1063
1064   addr = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
1065   if ((operand->flags & ARC_OPERAND_SIGNED)
1066       && (addr & (1 << (operand->bits - 1))))
1067     addr -= 1 << operand->bits;
1068
1069   return addr << 2;
1070 }
1071
1072 /* The only thing this does is set the `invalid' flag if B != C.
1073    This is needed because the "mov" macro appears before it's real insn "and"
1074    and we don't want the disassembler to confuse them.  */
1075
1076 static long
1077 extract_unopmacro (insn, operand, mods, opval, invalid)
1078      arc_insn *insn;
1079      const struct arc_operand *operand;
1080      int mods;
1081      const struct arc_operand_value **opval;
1082      int *invalid;
1083 {
1084   /* This misses the case where B == ARC_REG_SHIMM_UPDATE &&
1085      C == ARC_REG_SHIMM (or vice versa).  No big deal.  Those insns will get
1086      printed as "and"s.  */
1087   if (((insn[0] >> ARC_SHIFT_REGB) & ARC_MASK_REG)
1088       != ((insn[0] >> ARC_SHIFT_REGC) & ARC_MASK_REG))
1089     if (invalid != NULL)
1090       *invalid = 1;
1091
1092   return 0;
1093 }
1094
1095 /* Utility for the extraction functions to return the index into
1096    `arc_suffixes'.  */
1097
1098 const struct arc_operand_value *
1099 arc_opcode_lookup_suffix (type, value)
1100      const struct arc_operand *type;
1101      int value;
1102 {
1103   register const struct arc_operand_value *v,*end;
1104
1105   /* ??? This is a little slow and can be speeded up.  */
1106
1107   for (v = arc_suffixes, end = arc_suffixes + arc_suffixes_count; v < end; ++v)
1108     if (type == &arc_operands[v->type]
1109         && value == v->value)
1110       return v;
1111   return 0;
1112 }
1113
1114 static const struct arc_operand_value *
1115 lookup_register (type, regno)
1116      int type;
1117      long regno;
1118 {
1119   register const struct arc_operand_value *r,*end;
1120
1121   if (type == REG)
1122     return &arc_reg_names[regno];
1123
1124   /* ??? This is a little slow and can be speeded up.  */
1125
1126   for (r = arc_reg_names, end = arc_reg_names + arc_reg_names_count;
1127        r < end; ++r)
1128     if (type == r->type && regno == r->value)
1129       return r;
1130   return 0;
1131 }