opcodes/arc-dis.c

   1 /* Instruction printing code for the ARC.
   2    Copyright 1994, 1995, 1997, 1998, 2000, 2001, 2002, 2005, 2007, 2009,
   3    2010, 2012 Free Software Foundation, Inc.
   4    Contributed by Doug Evans (dje@cygnus.com).
   5
   6    This file is part of libopcodes.
   7
   8    This library is free software; you can redistribute it and/or modify
   9    it under the terms of the GNU General Public License as published by
  10    the Free Software Foundation; either version 3, or (at your option)
  11    any later version.
  12
  13    It is distributed in the hope that it will be useful, but WITHOUT
  14    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  15    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
  16    License for more details.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with this program; if not, write to the Free Software
  20    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  21    MA 02110-1301, USA.  */
  22
  23 #include "ansidecl.h"
  24 #include "libiberty.h"
  25 #include "dis-asm.h"
  26 #include "opcode/arc.h"
  27 #include "elf-bfd.h"
  28 #include "elf/arc.h"
  29 #include <string.h>
  30 #include "opintl.h"
  31
  32 #include <stdarg.h>
  33 #include "arc-dis.h"
  34 #include "arc-ext.h"
  35
  36 #ifndef dbg
  37 #define dbg (0)
  38 #endif
  39
  40 /* Classification of the opcodes for the decoder to print
  41    the instructions.  */
  42
  43 typedef enum
  44 {
  45   CLASS_A4_ARITH,
  46   CLASS_A4_OP3_GENERAL,
  47   CLASS_A4_FLAG,
  48   /* All branches other than JC.  */
  49   CLASS_A4_BRANCH,
  50   CLASS_A4_JC ,
  51   /* All loads other than immediate
  52      indexed loads.  */
  53   CLASS_A4_LD0,
  54   CLASS_A4_LD1,
  55   CLASS_A4_ST,
  56   CLASS_A4_SR,
  57   /* All single operand instructions.  */
  58   CLASS_A4_OP3_SUBOPC3F,
  59   CLASS_A4_LR
  60 } a4_decoding_class;
  61
  62 #define BIT(word,n)     ((word) & (1 << n))
  63 #define BITS(word,s,e)  (((word) >> s) & ((1 << (e + 1 - s)) - 1))
  64 #define OPCODE(word)    (BITS ((word), 27, 31))
  65 #define FIELDA(word)    (BITS ((word), 21, 26))
  66 #define FIELDB(word)    (BITS ((word), 15, 20))
  67 #define FIELDC(word)    (BITS ((word),  9, 14))
  68
  69 /* FIELD D is signed.  */
  70 #define FIELDD(word)    ((BITS ((word), 0, 8) ^ 0x100) - 0x100)
  71
  72 #define PUT_NEXT_WORD_IN(a)                                             \
  73   do                                                                    \
  74     {                                                                   \
  75       if (is_limm == 1 && !NEXT_WORD (1))                               \
  76         mwerror (state, _("Illegal limm reference in last instruction!\n")); \
  77       a = state->words[1];                                              \
  78     }                                                                   \
  79   while (0)
  80
  81 #define CHECK_FLAG_COND_NULLIFY()                               \
  82   do                                                            \
  83     {                                                           \
  84       if (is_shimm == 0)                                        \
  85         {                                                       \
  86           flag = BIT (state->words[0], 8);                      \
  87           state->nullifyMode = BITS (state->words[0], 5, 6);    \
  88           cond = BITS (state->words[0], 0, 4);                  \
  89         }                                                       \
  90     }                                                           \
  91   while (0)
  92
  93 #define CHECK_COND()                            \
  94   do                                            \
  95     {                                           \
  96       if (is_shimm == 0)                        \
  97         cond = BITS (state->words[0], 0, 4);    \
  98     }                                           \
  99   while (0)
 100
 101 #define CHECK_FIELD(field)                      \
 102   do                                            \
 103     {                                           \
 104       if (field == 62)                          \
 105         {                                       \
 106           is_limm++;                            \
 107           field##isReg = 0;                     \
 108           PUT_NEXT_WORD_IN (field);             \
 109           limm_value = field;                   \
 110         }                                       \
 111       else if (field > 60)                      \
 112         {                                       \
 113           field##isReg = 0;                     \
 114           is_shimm++;                           \
 115           flag = (field == 61);                 \
 116           field = FIELDD (state->words[0]);     \
 117         }                                       \
 118     }                                           \
 119   while (0)
 120
 121 #define CHECK_FIELD_A()                         \
 122   do                                            \
 123     {                                           \
 124       fieldA = FIELDA (state->words[0]);        \
 125       if (fieldA > 60)                          \
 126         {                                       \
 127           fieldAisReg = 0;                      \
 128           fieldA = 0;                           \
 129         }                                       \
 130     }                                           \
 131   while (0)
 132
 133 #define CHECK_FIELD_B()                         \
 134   do                                            \
 135     {                                           \
 136       fieldB = FIELDB (state->words[0]);        \
 137       CHECK_FIELD (fieldB);                     \
 138     }                                           \
 139   while (0)
 140
 141 #define CHECK_FIELD_C()                         \
 142   do                                            \
 143     {                                           \
 144       fieldC = FIELDC (state->words[0]);        \
 145       CHECK_FIELD (fieldC);                     \
 146     }                                           \
 147   while (0)
 148
 149 #define IS_SMALL(x)                 (((field##x) < 256) && ((field##x) > -257))
 150 #define IS_REG(x)                    (field##x##isReg)
 151 #define WRITE_FORMAT_LB_Rx_RB(x)     WRITE_FORMAT (x, "[","]","","")
 152 #define WRITE_FORMAT_x_COMMA_LB(x)   WRITE_FORMAT (x, "",",[","",",[")
 153 #define WRITE_FORMAT_COMMA_x_RB(x)   WRITE_FORMAT (x, ",","]",",","]")
 154 #define WRITE_FORMAT_x_RB(x)         WRITE_FORMAT (x, "","]","","]")
 155 #define WRITE_FORMAT_COMMA_x(x)      WRITE_FORMAT (x, ",","",",","")
 156 #define WRITE_FORMAT_x_COMMA(x)      WRITE_FORMAT (x, "",",","",",")
 157 #define WRITE_FORMAT_x(x)            WRITE_FORMAT (x, "","","","")
 158 #define WRITE_FORMAT(x,cb1,ca1,cb,ca) strcat (formatString,             \
 159                                      (IS_REG (x) ? cb1"%r"ca1 :         \
 160                                       usesAuxReg ? cb"%a"ca :           \
 161                                       IS_SMALL (x) ? cb"%d"ca : cb"%h"ca))
 162 #define WRITE_FORMAT_RB()       strcat (formatString, "]")
 163 #define WRITE_COMMENT(str)      (state->comm[state->commNum++] = (str))
 164 #define WRITE_NOP_COMMENT()     if (!fieldAisReg && !flag) WRITE_COMMENT ("nop");
 165
 166 #define NEXT_WORD(x)    (offset += 4, state->words[x])
 167
 168 #define add_target(x)   (state->targets[state->tcnt++] = (x))
 169
 170 static char comment_prefix[] = "\t; ";
 171
 172 static const char *
 173 core_reg_name (struct arcDisState * state, int val)
 174 {
 175   if (state->coreRegName)
 176     return (*state->coreRegName)(state->_this, val);
 177   return 0;
 178 }
 179
 180 static const char *
 181 aux_reg_name (struct arcDisState * state, int val)
 182 {
 183   if (state->auxRegName)
 184     return (*state->auxRegName)(state->_this, val);
 185   return 0;
 186 }
 187
 188 static const char *
 189 cond_code_name (struct arcDisState * state, int val)
 190 {
 191   if (state->condCodeName)
 192     return (*state->condCodeName)(state->_this, val);
 193   return 0;
 194 }
 195
 196 static const char *
 197 instruction_name (struct arcDisState * state,
 198                   int    op1,
 199                   int    op2,
 200                   int *  flags)
 201 {
 202   if (state->instName)
 203     return (*state->instName)(state->_this, op1, op2, flags);
 204   return 0;
 205 }
 206
 207 static void
 208 mwerror (struct arcDisState * state, const char * msg)
 209 {
 210   if (state->err != 0)
 211     (*state->err)(state->_this, (msg));
 212 }
 213
 214 static const char *
 215 post_address (struct arcDisState * state, int addr)
 216 {
 217   static char id[3 * ARRAY_SIZE (state->addresses)];
 218   int j, i = state->acnt;
 219
 220   if (i < ((int) ARRAY_SIZE (state->addresses)))
 221     {
 222       state->addresses[i] = addr;
 223       ++state->acnt;
 224       j = i*3;
 225       id[j+0] = '@';
 226       id[j+1] = '0'+i;
 227       id[j+2] = 0;
 228
 229       return id + j;
 230     }
 231   return "";
 232 }
 233
 234 static void
 235 arc_sprintf (struct arcDisState *state, char *buf, const char *format, ...)
 236 {
 237   char *bp;
 238   const char *p;
 239   int size, leading_zero, regMap[2];
 240   va_list ap;
 241
 242   va_start (ap, format);
 243
 244   bp = buf;
 245   *bp = 0;
 246   p = format;
 247   regMap[0] = 0;
 248   regMap[1] = 0;
 249
 250   while (1)
 251     switch (*p++)
 252       {
 253       case 0:
 254         goto DOCOMM; /* (return)  */
 255       default:
 256         *bp++ = p[-1];
 257         break;
 258       case '%':
 259         size = 0;
 260         leading_zero = 0;
 261       RETRY: ;
 262         switch (*p++)
 263           {
 264           case '0':
 265           case '1':
 266           case '2':
 267           case '3':
 268           case '4':
 269           case '5':
 270           case '6':
 271           case '7':
 272           case '8':
 273           case '9':
 274             {
 275               /* size.  */
 276               size = p[-1] - '0';
 277               if (size == 0)
 278                 leading_zero = 1; /* e.g. %08x  */
 279               while (*p >= '0' && *p <= '9')
 280                 {
 281                   size = size * 10 + *p - '0';
 282                   p++;
 283                 }
 284               goto RETRY;
 285             }
 286 #define inc_bp() bp = bp + strlen (bp)
 287
 288           case 'h':
 289             {
 290               unsigned u = va_arg (ap, int);
 291
 292               /* Hex.  We can change the format to 0x%08x in
 293                  one place, here, if we wish.
 294                  We add underscores for easy reading.  */
 295               if (u > 65536)
 296                 sprintf (bp, "0x%x_%04x", u >> 16, u & 0xffff);
 297               else
 298                 sprintf (bp, "0x%x", u);
 299               inc_bp ();
 300             }
 301             break;
 302           case 'X': case 'x':
 303             {
 304               int val = va_arg (ap, int);
 305
 306               if (size != 0)
 307                 if (leading_zero)
 308                   sprintf (bp, "%0*x", size, val);
 309                 else
 310                   sprintf (bp, "%*x", size, val);
 311               else
 312                 sprintf (bp, "%x", val);
 313               inc_bp ();
 314             }
 315             break;
 316           case 'd':
 317             {
 318               int val = va_arg (ap, int);
 319
 320               if (size != 0)
 321                 sprintf (bp, "%*d", size, val);
 322               else
 323                 sprintf (bp, "%d", val);
 324               inc_bp ();
 325             }
 326             break;
 327           case 'r':
 328             {
 329               /* Register.  */
 330               int val = va_arg (ap, int);
 331
 332 #define REG2NAME(num, name) case num: sprintf (bp, ""name); \
 333   regMap[(num < 32) ? 0 : 1] |= 1 << (num - ((num < 32) ? 0 : 32)); break;
 334
 335               switch (val)
 336                 {
 337                   REG2NAME (26, "gp");
 338                   REG2NAME (27, "fp");
 339                   REG2NAME (28, "sp");
 340                   REG2NAME (29, "ilink1");
 341                   REG2NAME (30, "ilink2");
 342                   REG2NAME (31, "blink");
 343                   REG2NAME (60, "lp_count");
 344                 default:
 345                   {
 346                     const char * ext;
 347
 348                     ext = core_reg_name (state, val);
 349                     if (ext)
 350                       sprintf (bp, "%s", ext);
 351                     else
 352                       sprintf (bp,"r%d",val);
 353                   }
 354                   break;
 355                 }
 356               inc_bp ();
 357             } break;
 358
 359           case 'a':
 360             {
 361               /* Aux Register.  */
 362               int val = va_arg (ap, int);
 363
 364 #define AUXREG2NAME(num, name) case num: sprintf (bp,name); break;
 365
 366               switch (val)
 367                 {
 368                   AUXREG2NAME (0x0, "status");
 369                   AUXREG2NAME (0x1, "semaphore");
 370                   AUXREG2NAME (0x2, "lp_start");
 371                   AUXREG2NAME (0x3, "lp_end");
 372                   AUXREG2NAME (0x4, "identity");
 373                   AUXREG2NAME (0x5, "debug");
 374                 default:
 375                   {
 376                     const char *ext;
 377
 378                     ext = aux_reg_name (state, val);
 379                     if (ext)
 380                       sprintf (bp, "%s", ext);
 381                     else
 382                       arc_sprintf (state, bp, "%h", val);
 383                   }
 384                   break;
 385                 }
 386               inc_bp ();
 387             }
 388             break;
 389
 390           case 's':
 391             {
 392               sprintf (bp, "%s", va_arg (ap, char *));
 393               inc_bp ();
 394             }
 395             break;
 396
 397           default:
 398             fprintf (stderr, "?? format %c\n", p[-1]);
 399             break;
 400           }
 401       }
 402
 403  DOCOMM: *bp = 0;
 404   va_end (ap);
 405 }
 406
 407 static void
 408 write_comments_(struct arcDisState * state,
 409                 int shimm,
 410                 int is_limm,
 411                 long limm_value)
 412 {
 413   if (state->commentBuffer != 0)
 414     {
 415       int i;
 416
 417       if (is_limm)
 418         {
 419           const char *name = post_address (state, limm_value + shimm);
 420
 421           if (*name != 0)
 422             WRITE_COMMENT (name);
 423         }
 424       for (i = 0; i < state->commNum; i++)
 425         {
 426           if (i == 0)
 427             strcpy (state->commentBuffer, comment_prefix);
 428           else
 429             strcat (state->commentBuffer, ", ");
 430           strncat (state->commentBuffer, state->comm[i],
 431                    sizeof (state->commentBuffer));
 432         }
 433     }
 434 }
 435
 436 #define write_comments2(x) write_comments_ (state, x, is_limm, limm_value)
 437 #define write_comments()   write_comments2 (0)
 438
 439 static const char *condName[] =
 440 {
 441   /* 0..15.  */
 442   ""   , "z"  , "nz" , "p"  , "n"  , "c"  , "nc" , "v"  ,
 443   "nv" , "gt" , "ge" , "lt" , "le" , "hi" , "ls" , "pnz"
 444 };
 445
 446 static void
 447 write_instr_name_(struct arcDisState * state,
 448                   const char * instrName,
 449                   int cond,
 450                   int condCodeIsPartOfName,
 451                   int flag,
 452                   int signExtend,
 453                   int addrWriteBack,
 454                   int directMem)
 455 {
 456   strcpy (state->instrBuffer, instrName);
 457
 458   if (cond > 0)
 459     {
 460       const char *cc = 0;
 461
 462       if (!condCodeIsPartOfName)
 463         strcat (state->instrBuffer, ".");
 464
 465       if (cond < 16)
 466         cc = condName[cond];
 467       else
 468         cc = cond_code_name (state, cond);
 469
 470       if (!cc)
 471         cc = "???";
 472
 473       strcat (state->instrBuffer, cc);
 474     }
 475
 476   if (flag)
 477     strcat (state->instrBuffer, ".f");
 478
 479   switch (state->nullifyMode)
 480     {
 481     case BR_exec_always:
 482       strcat (state->instrBuffer, ".d");
 483       break;
 484     case BR_exec_when_jump:
 485       strcat (state->instrBuffer, ".jd");
 486       break;
 487     }
 488
 489   if (signExtend)
 490     strcat (state->instrBuffer, ".x");
 491
 492   if (addrWriteBack)
 493     strcat (state->instrBuffer, ".a");
 494
 495   if (directMem)
 496     strcat (state->instrBuffer, ".di");
 497 }
 498
 499 #define write_instr_name()                                              \
 500   do                                                                    \
 501     {                                                                   \
 502       write_instr_name_(state, instrName,cond, condCodeIsPartOfName,    \
 503                         flag, signExtend, addrWriteBack, directMem);    \
 504       formatString[0] = '\0';                                           \
 505     }                                                                   \
 506   while (0)
 507
 508 enum
 509 {
 510   op_LD0 = 0, op_LD1 = 1, op_ST  = 2, op_3   = 3,
 511   op_BC  = 4, op_BLC = 5, op_LPC = 6, op_JC  = 7,
 512   op_ADD = 8, op_ADC = 9, op_SUB = 10, op_SBC = 11,
 513   op_AND = 12, op_OR  = 13, op_BIC = 14, op_XOR = 15
 514 };
 515
 516 extern disassemble_info tm_print_insn_info;
 517
 518 static int
 519 dsmOneArcInst (bfd_vma addr, struct arcDisState * state)
 520 {
 521   int condCodeIsPartOfName = 0;
 522   a4_decoding_class decodingClass;
 523   const char * instrName;
 524   int repeatsOp = 0;
 525   int fieldAisReg = 1;
 526   int fieldBisReg = 1;
 527   int fieldCisReg = 1;
 528   int fieldA;
 529   int fieldB;
 530   int fieldC = 0;
 531   int flag = 0;
 532   int cond = 0;
 533   int is_shimm = 0;
 534   int is_limm = 0;
 535   long limm_value = 0;
 536   int signExtend = 0;
 537   int addrWriteBack = 0;
 538   int directMem = 0;
 539   int is_linked = 0;
 540   int offset = 0;
 541   int usesAuxReg = 0;
 542   int flags;
 543   int ignoreFirstOpd;
 544   char formatString[60];
 545
 546   state->instructionLen = 4;
 547   state->nullifyMode = BR_exec_when_no_jump;
 548   state->opWidth = 12;
 549   state->isBranch = 0;
 550
 551   state->_mem_load = 0;
 552   state->_ea_present = 0;
 553   state->_load_len = 0;
 554   state->ea_reg1 = no_reg;
 555   state->ea_reg2 = no_reg;
 556   state->_offset = 0;
 557
 558   if (! NEXT_WORD (0))
 559     return 0;
 560
 561   state->_opcode = OPCODE (state->words[0]);
 562   instrName = 0;
 563   decodingClass = CLASS_A4_ARITH; /* default!  */
 564   repeatsOp = 0;
 565   condCodeIsPartOfName=0;
 566   state->commNum = 0;
 567   state->tcnt = 0;
 568   state->acnt = 0;
 569   state->flow = noflow;
 570   ignoreFirstOpd = 0;
 571
 572   if (state->commentBuffer)
 573     state->commentBuffer[0] = '\0';
 574
 575   switch (state->_opcode)
 576     {
 577     case op_LD0:
 578       switch (BITS (state->words[0],1,2))
 579         {
 580         case 0:
 581           instrName = "ld";
 582           state->_load_len = 4;
 583           break;
 584         case 1:
 585           instrName = "ldb";
 586           state->_load_len = 1;
 587           break;
 588         case 2:
 589           instrName = "ldw";
 590           state->_load_len = 2;
 591           break;
 592         default:
 593           instrName = "??? (0[3])";
 594           state->flow = invalid_instr;
 595           break;
 596         }
 597       decodingClass = CLASS_A4_LD0;
 598       break;
 599
 600     case op_LD1:
 601       if (BIT (state->words[0],13))
 602         {
 603           instrName = "lr";
 604           decodingClass = CLASS_A4_LR;
 605         }
 606       else
 607         {
 608           switch (BITS (state->words[0], 10, 11))
 609             {
 610             case 0:
 611               instrName = "ld";
 612               state->_load_len = 4;
 613               break;
 614             case 1:
 615               instrName = "ldb";
 616               state->_load_len = 1;
 617               break;
 618             case 2:
 619               instrName = "ldw";
 620               state->_load_len = 2;
 621               break;
 622             default:
 623               instrName = "??? (1[3])";
 624               state->flow = invalid_instr;
 625               break;
 626             }
 627           decodingClass = CLASS_A4_LD1;
 628         }
 629       break;
 630
 631     case op_ST:
 632       if (BIT (state->words[0], 25))
 633         {
 634           instrName = "sr";
 635           decodingClass = CLASS_A4_SR;
 636         }
 637       else
 638         {
 639           switch (BITS (state->words[0], 22, 23))
 640             {
 641             case 0:
 642               instrName = "st";
 643               break;
 644             case 1:
 645               instrName = "stb";
 646               break;
 647             case 2:
 648               instrName = "stw";
 649               break;
 650             default:
 651               instrName = "??? (2[3])";
 652               state->flow = invalid_instr;
 653               break;
 654             }
 655           decodingClass = CLASS_A4_ST;
 656         }
 657       break;
 658
 659     case op_3:
 660       decodingClass = CLASS_A4_OP3_GENERAL;  /* default for opcode 3...  */
 661       switch (FIELDC (state->words[0]))
 662         {
 663         case  0:
 664           instrName = "flag";
 665           decodingClass = CLASS_A4_FLAG;
 666           break;
 667         case  1:
 668           instrName = "asr";
 669           break;
 670         case  2:
 671           instrName = "lsr";
 672           break;
 673         case  3:
 674           instrName = "ror";
 675           break;
 676         case  4:
 677           instrName = "rrc";
 678           break;
 679         case  5:
 680           instrName = "sexb";
 681           break;
 682         case  6:
 683           instrName = "sexw";
 684           break;
 685         case  7:
 686           instrName = "extb";
 687           break;
 688         case  8:
 689           instrName = "extw";
 690           break;
 691         case  0x3f:
 692           {
 693             decodingClass = CLASS_A4_OP3_SUBOPC3F;
 694             switch (FIELDD (state->words[0]))
 695               {
 696               case 0:
 697                 instrName = "brk";
 698                 break;
 699               case 1:
 700                 instrName = "sleep";
 701                 break;
 702               case 2:
 703                 instrName = "swi";
 704                 break;
 705               default:
 706                 instrName = "???";
 707                 state->flow=invalid_instr;
 708                 break;
 709               }
 710           }
 711           break;
 712
 713           /* ARC Extension Library Instructions
 714              NOTE: We assume that extension codes are these instrs.  */
 715         default:
 716           instrName = instruction_name (state,
 717                                         state->_opcode,
 718                                         FIELDC (state->words[0]),
 719                                         &flags);
 720           if (!instrName)
 721             {
 722               instrName = "???";
 723               state->flow = invalid_instr;
 724             }
 725           if (flags & IGNORE_FIRST_OPD)
 726             ignoreFirstOpd = 1;
 727           break;
 728         }
 729       break;
 730
 731     case op_BC:
 732       instrName = "b";
 733     case op_BLC:
 734       if (!instrName)
 735         instrName = "bl";
 736     case op_LPC:
 737       if (!instrName)
 738         instrName = "lp";
 739     case op_JC:
 740       if (!instrName)
 741         {
 742           if (BITS (state->words[0],9,9))
 743             {
 744               instrName = "jl";
 745               is_linked = 1;
 746             }
 747           else
 748             {
 749               instrName = "j";
 750               is_linked = 0;
 751             }
 752         }
 753       condCodeIsPartOfName = 1;
 754       decodingClass = ((state->_opcode == op_JC) ? CLASS_A4_JC : CLASS_A4_BRANCH );
 755       state->isBranch = 1;
 756       break;
 757
 758     case op_ADD:
 759     case op_ADC:
 760     case op_AND:
 761       repeatsOp = (FIELDC (state->words[0]) == FIELDB (state->words[0]));
 762
 763       switch (state->_opcode)
 764         {
 765         case op_ADD:
 766           instrName = (repeatsOp ? "asl" : "add");
 767           break;
 768         case op_ADC:
 769           instrName = (repeatsOp ? "rlc" : "adc");
 770           break;
 771         case op_AND:
 772           instrName = (repeatsOp ? "mov" : "and");
 773           break;
 774         }
 775       break;
 776
 777     case op_SUB: instrName = "sub";
 778       break;
 779     case op_SBC: instrName = "sbc";
 780       break;
 781     case op_OR:  instrName = "or";
 782       break;
 783     case op_BIC: instrName = "bic";
 784       break;
 785
 786     case op_XOR:
 787       if (state->words[0] == 0x7fffffff)
 788         {
 789           /* NOP encoded as xor -1, -1, -1.   */
 790           instrName = "nop";
 791           decodingClass = CLASS_A4_OP3_SUBOPC3F;
 792         }
 793       else
 794         instrName = "xor";
 795       break;
 796
 797     default:
 798       instrName = instruction_name (state,state->_opcode,0,&flags);
 799       /* if (instrName) printf("FLAGS=0x%x\n", flags);  */
 800       if (!instrName)
 801         {
 802           instrName = "???";
 803           state->flow=invalid_instr;
 804         }
 805       if (flags & IGNORE_FIRST_OPD)
 806         ignoreFirstOpd = 1;
 807       break;
 808     }
 809
 810   fieldAisReg = fieldBisReg = fieldCisReg = 1; /* Assume regs for now.  */
 811   flag = cond = is_shimm = is_limm = 0;
 812   state->nullifyMode = BR_exec_when_no_jump;    /* 0  */
 813   signExtend = addrWriteBack = directMem = 0;
 814   usesAuxReg = 0;
 815
 816   switch (decodingClass)
 817     {
 818     case CLASS_A4_ARITH:
 819       CHECK_FIELD_A ();
 820       CHECK_FIELD_B ();
 821       if (!repeatsOp)
 822         CHECK_FIELD_C ();
 823       CHECK_FLAG_COND_NULLIFY ();
 824
 825       write_instr_name ();
 826       if (!ignoreFirstOpd)
 827         {
 828           WRITE_FORMAT_x (A);
 829           WRITE_FORMAT_COMMA_x (B);
 830           if (!repeatsOp)
 831             WRITE_FORMAT_COMMA_x (C);
 832           WRITE_NOP_COMMENT ();
 833           arc_sprintf (state, state->operandBuffer, formatString,
 834                       fieldA, fieldB, fieldC);
 835         }
 836       else
 837         {
 838           WRITE_FORMAT_x (B);
 839           if (!repeatsOp)
 840             WRITE_FORMAT_COMMA_x (C);
 841           arc_sprintf (state, state->operandBuffer, formatString,
 842                       fieldB, fieldC);
 843         }
 844       write_comments ();
 845       break;
 846
 847     case CLASS_A4_OP3_GENERAL:
 848       CHECK_FIELD_A ();
 849       CHECK_FIELD_B ();
 850       CHECK_FLAG_COND_NULLIFY ();
 851
 852       write_instr_name ();
 853       if (!ignoreFirstOpd)
 854         {
 855           WRITE_FORMAT_x (A);
 856           WRITE_FORMAT_COMMA_x (B);
 857           WRITE_NOP_COMMENT ();
 858           arc_sprintf (state, state->operandBuffer, formatString,
 859                       fieldA, fieldB);
 860         }
 861       else
 862         {
 863           WRITE_FORMAT_x (B);
 864           arc_sprintf (state, state->operandBuffer, formatString, fieldB);
 865         }
 866       write_comments ();
 867       break;
 868
 869     case CLASS_A4_FLAG:
 870       CHECK_FIELD_B ();
 871       CHECK_FLAG_COND_NULLIFY ();
 872       flag = 0; /* This is the FLAG instruction -- it's redundant.  */
 873
 874       write_instr_name ();
 875       WRITE_FORMAT_x (B);
 876       arc_sprintf (state, state->operandBuffer, formatString, fieldB);
 877       write_comments ();
 878       break;
 879
 880     case CLASS_A4_BRANCH:
 881       fieldA = BITS (state->words[0],7,26) << 2;
 882       fieldA = (fieldA << 10) >> 10; /* Make it signed.  */
 883       fieldA += addr + 4;
 884       CHECK_FLAG_COND_NULLIFY ();
 885       flag = 0;
 886
 887       write_instr_name ();
 888       /* This address could be a label we know. Convert it.  */
 889       if (state->_opcode != op_LPC /* LP  */)
 890         {
 891           add_target (fieldA); /* For debugger.  */
 892           state->flow = state->_opcode == op_BLC /* BL  */
 893             ? direct_call
 894             : direct_jump;
 895           /* indirect calls are achieved by "lr blink,[status];
 896              lr dest<- func addr; j [dest]"  */
 897         }
 898
 899       strcat (formatString, "%s"); /* Address/label name.  */
 900       arc_sprintf (state, state->operandBuffer, formatString,
 901                   post_address (state, fieldA));
 902       write_comments ();
 903       break;
 904
 905     case CLASS_A4_JC:
 906       /* For op_JC -- jump to address specified.
 907          Also covers jump and link--bit 9 of the instr. word
 908          selects whether linked, thus "is_linked" is set above.  */
 909       fieldA = 0;
 910       CHECK_FIELD_B ();
 911       CHECK_FLAG_COND_NULLIFY ();
 912
 913       if (!fieldBisReg)
 914         {
 915           fieldAisReg = 0;
 916           fieldA = (fieldB >> 25) & 0x7F; /* Flags.  */
 917           fieldB = (fieldB & 0xFFFFFF) << 2;
 918           state->flow = is_linked ? direct_call : direct_jump;
 919           add_target (fieldB);
 920           /* Screwy JLcc requires .jd mode to execute correctly
 921              but we pretend it is .nd (no delay slot).  */
 922           if (is_linked && state->nullifyMode == BR_exec_when_jump)
 923             state->nullifyMode = BR_exec_when_no_jump;
 924         }
 925       else
 926         {
 927           state->flow = is_linked ? indirect_call : indirect_jump;
 928           /* We should also treat this as indirect call if NOT linked
 929              but the preceding instruction was a "lr blink,[status]"
 930              and we have a delay slot with "add blink,blink,2".
 931              For now we can't detect such.  */
 932           state->register_for_indirect_jump = fieldB;
 933         }
 934
 935       write_instr_name ();
 936       strcat (formatString,
 937               IS_REG (B) ? "[%r]" : "%s"); /* Address/label name.  */
 938       if (fieldA != 0)
 939         {
 940           fieldAisReg = 0;
 941           WRITE_FORMAT_COMMA_x (A);
 942         }
 943       if (IS_REG (B))
 944         arc_sprintf (state, state->operandBuffer, formatString, fieldB, fieldA);
 945       else
 946         arc_sprintf (state, state->operandBuffer, formatString,
 947                     post_address (state, fieldB), fieldA);
 948       write_comments ();
 949       break;
 950
 951     case CLASS_A4_LD0:
 952       /* LD instruction.
 953          B and C can be regs, or one (both?) can be limm.  */
 954       CHECK_FIELD_A ();
 955       CHECK_FIELD_B ();
 956       CHECK_FIELD_C ();
 957       if (dbg)
 958         printf ("5:b reg %d %d c reg %d %d  \n",
 959                 fieldBisReg,fieldB,fieldCisReg,fieldC);
 960       state->_offset = 0;
 961       state->_ea_present = 1;
 962       if (fieldBisReg)
 963         state->ea_reg1 = fieldB;
 964       else
 965         state->_offset += fieldB;
 966       if (fieldCisReg)
 967         state->ea_reg2 = fieldC;
 968       else
 969         state->_offset += fieldC;
 970       state->_mem_load = 1;
 971
 972       directMem     = BIT (state->words[0], 5);
 973       addrWriteBack = BIT (state->words[0], 3);
 974       signExtend    = BIT (state->words[0], 0);
 975
 976       write_instr_name ();
 977       WRITE_FORMAT_x_COMMA_LB(A);
 978       if (fieldBisReg || fieldB != 0)
 979         WRITE_FORMAT_x_COMMA (B);
 980       else
 981         fieldB = fieldC;
 982
 983       WRITE_FORMAT_x_RB (C);
 984       arc_sprintf (state, state->operandBuffer, formatString,
 985                   fieldA, fieldB, fieldC);
 986       write_comments ();
 987       break;
 988
 989     case CLASS_A4_LD1:
 990       /* LD instruction.  */
 991       CHECK_FIELD_B ();
 992       CHECK_FIELD_A ();
 993       fieldC = FIELDD (state->words[0]);
 994
 995       if (dbg)
 996         printf ("6:b reg %d %d c 0x%x  \n",
 997                 fieldBisReg, fieldB, fieldC);
 998       state->_ea_present = 1;
 999       state->_offset = fieldC;
1000       state->_mem_load = 1;
1001       if (fieldBisReg)
1002         state->ea_reg1 = fieldB;
1003       /* Field B is either a shimm (same as fieldC) or limm (different!)
1004          Say ea is not present, so only one of us will do the name lookup.  */
1005       else
1006         state->_offset += fieldB, state->_ea_present = 0;
1007
1008       directMem     = BIT (state->words[0],14);
1009       addrWriteBack = BIT (state->words[0],12);
1010       signExtend    = BIT (state->words[0],9);
1011
1012       write_instr_name ();
1013       WRITE_FORMAT_x_COMMA_LB (A);
1014       if (!fieldBisReg)
1015         {
1016           fieldB = state->_offset;
1017           WRITE_FORMAT_x_RB (B);
1018         }
1019       else
1020         {
1021           WRITE_FORMAT_x (B);
1022           if (fieldC != 0 && !BIT (state->words[0],13))
1023             {
1024               fieldCisReg = 0;
1025               WRITE_FORMAT_COMMA_x_RB (C);
1026             }
1027           else
1028             WRITE_FORMAT_RB ();
1029         }
1030       arc_sprintf (state, state->operandBuffer, formatString,
1031                   fieldA, fieldB, fieldC);
1032       write_comments ();
1033       break;
1034
1035     case CLASS_A4_ST:
1036       /* ST instruction.  */
1037       CHECK_FIELD_B();
1038       CHECK_FIELD_C();
1039       fieldA = FIELDD(state->words[0]); /* shimm  */
1040
1041       /* [B,A offset]  */
1042       if (dbg) printf("7:b reg %d %x off %x\n",
1043                       fieldBisReg,fieldB,fieldA);
1044       state->_ea_present = 1;
1045       state->_offset = fieldA;
1046       if (fieldBisReg)
1047         state->ea_reg1 = fieldB;
1048       /* Field B is either a shimm (same as fieldA) or limm (different!)
1049          Say ea is not present, so only one of us will do the name lookup.
1050          (for is_limm we do the name translation here).  */
1051       else
1052         state->_offset += fieldB, state->_ea_present = 0;
1053
1054       directMem     = BIT (state->words[0], 26);
1055       addrWriteBack = BIT (state->words[0], 24);
1056
1057       write_instr_name ();
1058       WRITE_FORMAT_x_COMMA_LB(C);
1059
1060       if (!fieldBisReg)
1061         {
1062           fieldB = state->_offset;
1063           WRITE_FORMAT_x_RB (B);
1064         }
1065       else
1066         {
1067           WRITE_FORMAT_x (B);
1068           if (fieldBisReg && fieldA != 0)
1069             {
1070               fieldAisReg = 0;
1071               WRITE_FORMAT_COMMA_x_RB(A);
1072             }
1073           else
1074             WRITE_FORMAT_RB();
1075         }
1076       arc_sprintf (state, state->operandBuffer, formatString,
1077                   fieldC, fieldB, fieldA);
1078       write_comments2 (fieldA);
1079       break;
1080
1081     case CLASS_A4_SR:
1082       /* SR instruction  */
1083       CHECK_FIELD_B();
1084       CHECK_FIELD_C();
1085
1086       write_instr_name ();
1087       WRITE_FORMAT_x_COMMA_LB(C);
1088       /* Try to print B as an aux reg if it is not a core reg.  */
1089       usesAuxReg = 1;
1090       WRITE_FORMAT_x (B);
1091       WRITE_FORMAT_RB ();
1092       arc_sprintf (state, state->operandBuffer, formatString, fieldC, fieldB);
1093       write_comments ();
1094       break;
1095
1096     case CLASS_A4_OP3_SUBOPC3F:
1097       write_instr_name ();
1098       state->operandBuffer[0] = '\0';
1099       break;
1100
1101     case CLASS_A4_LR:
1102       /* LR instruction */
1103       CHECK_FIELD_A ();
1104       CHECK_FIELD_B ();
1105
1106       write_instr_name ();
1107       WRITE_FORMAT_x_COMMA_LB (A);
1108       /* Try to print B as an aux reg if it is not a core reg. */
1109       usesAuxReg = 1;
1110       WRITE_FORMAT_x (B);
1111       WRITE_FORMAT_RB ();
1112       arc_sprintf (state, state->operandBuffer, formatString, fieldA, fieldB);
1113       write_comments ();
1114       break;
1115
1116     default:
1117       mwerror (state, "Bad decoding class in ARC disassembler");
1118       break;
1119     }
1120
1121   state->_cond = cond;
1122   return state->instructionLen = offset;
1123 }
1124
1125
1126 /* Returns the name the user specified core extension register.  */
1127
1128 static const char *
1129 _coreRegName(void * arg ATTRIBUTE_UNUSED, int regval)
1130 {
1131   return arcExtMap_coreRegName (regval);
1132 }
1133
1134 /* Returns the name the user specified AUX extension register.  */
1135
1136 static const char *
1137 _auxRegName(void *_this ATTRIBUTE_UNUSED, int regval)
1138 {
1139   return arcExtMap_auxRegName(regval);
1140 }
1141
1142 /* Returns the name the user specified condition code name.  */
1143
1144 static const char *
1145 _condCodeName(void *_this ATTRIBUTE_UNUSED, int regval)
1146 {
1147   return arcExtMap_condCodeName(regval);
1148 }
1149
1150 /* Returns the name the user specified extension instruction.  */
1151
1152 static const char *
1153 _instName (void *_this ATTRIBUTE_UNUSED, int majop, int minop, int *flags)
1154 {
1155   return arcExtMap_instName(majop, minop, flags);
1156 }
1157
1158 /* Decode an instruction returning the size of the instruction
1159    in bytes or zero if unrecognized.  */
1160
1161 static int
1162 decodeInstr (bfd_vma            address, /* Address of this instruction.  */
1163              disassemble_info * info)
1164 {
1165   int status;
1166   bfd_byte buffer[4];
1167   struct arcDisState s;         /* ARC Disassembler state.  */
1168   void *stream = info->stream;  /* Output stream.  */
1169   fprintf_ftype func = info->fprintf_func;
1170
1171   memset (&s, 0, sizeof(struct arcDisState));
1172
1173   /* read first instruction  */
1174   status = (*info->read_memory_func) (address, buffer, 4, info);
1175   if (status != 0)
1176     {
1177       (*info->memory_error_func) (status, address, info);
1178       return 0;
1179     }
1180   if (info->endian == BFD_ENDIAN_LITTLE)
1181     s.words[0] = bfd_getl32(buffer);
1182   else
1183     s.words[0] = bfd_getb32(buffer);
1184   /* Always read second word in case of limm.  */
1185
1186   /* We ignore the result since last insn may not have a limm.  */
1187   status = (*info->read_memory_func) (address + 4, buffer, 4, info);
1188   if (info->endian == BFD_ENDIAN_LITTLE)
1189     s.words[1] = bfd_getl32(buffer);
1190   else
1191     s.words[1] = bfd_getb32(buffer);
1192
1193   s._this = &s;
1194   s.coreRegName = _coreRegName;
1195   s.auxRegName = _auxRegName;
1196   s.condCodeName = _condCodeName;
1197   s.instName = _instName;
1198
1199   /* Disassemble.  */
1200   dsmOneArcInst (address, & s);
1201
1202   /* Display the disassembly instruction.  */
1203   (*func) (stream, "%08lx ", s.words[0]);
1204   (*func) (stream, "    ");
1205   (*func) (stream, "%-10s ", s.instrBuffer);
1206
1207   if (__TRANSLATION_REQUIRED (s))
1208     {
1209       bfd_vma addr = s.addresses[s.operandBuffer[1] - '0'];
1210
1211       (*info->print_address_func) ((bfd_vma) addr, info);
1212       (*func) (stream, "\n");
1213     }
1214   else
1215     (*func) (stream, "%s",s.operandBuffer);
1216
1217   return s.instructionLen;
1218 }
1219
1220 /* Return the print_insn function to use.
1221    Side effect: load (possibly empty) extension section  */
1222
1223 disassembler_ftype
1224 arc_get_disassembler (void *ptr)
1225 {
1226   if (ptr)
1227     build_ARC_extmap ((struct bfd *) ptr);
1228   return decodeInstr;
1229 }