opcodes/arc-dis.c

   1 /* Instruction printing code for the ARC.
   2    Copyright (C) 1994-2015 Free Software Foundation, Inc.
   3
   4    Contributed by Claudiu Zissulescu (claziss@synopsys.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 "sysdep.h"
  24 #include <stdio.h>
  25 #include <assert.h>
  26 #include "dis-asm.h"
  27 #include "opcode/arc.h"
  28 #include "arc-dis.h"
  29 #include "arc-ext.h"
  30
  31
  32 /* Globals variables.  */
  33
  34 static const char * const regnames[64] =
  35 {
  36   "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
  37   "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
  38   "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
  39   "r24", "r25", "gp", "fp", "sp", "ilink", "r30", "blink",
  40
  41   "r32", "r33", "r34", "r35", "r36", "r37", "r38", "r39",
  42   "r40", "r41", "r42", "r43", "r44", "r45", "r46", "r47",
  43   "r48", "r49", "r50", "r51", "r52", "r53", "r54", "r55",
  44   "r56", "r57", "ACCL", "ACCH", "lp_count", "rezerved", "LIMM", "pcl"
  45 };
  46
  47 /* Macros section.  */
  48
  49 #ifdef DEBUG
  50 # define pr_debug(fmt, args...) fprintf (stderr, fmt, ##args)
  51 #else
  52 # define pr_debug(fmt, args...)
  53 #endif
  54
  55 #define ARRANGE_ENDIAN(info, buf)                                       \
  56   (info->endian == BFD_ENDIAN_LITTLE ? bfd_getm32 (bfd_getl32 (buf))    \
  57    : bfd_getb32 (buf))
  58
  59 #define BITS(word,s,e)  (((word) << (sizeof (word) * 8 - 1 - e)) >>     \
  60                          (s + (sizeof (word) * 8 - 1 - e)))
  61 #define OPCODE(word)    (BITS ((word), 27, 31))
  62 #define FIELDA(word)    (BITS ((word), 21, 26))
  63 #define FIELDB(word)    (BITS ((word), 15, 20))
  64 #define FIELDC(word)    (BITS ((word),  9, 14))
  65
  66 #define OPCODE_AC(word)   (BITS ((word), 11, 15))
  67
  68 /* Functions implementation.  */
  69
  70 static bfd_vma
  71 bfd_getm32 (unsigned int data)
  72 {
  73   bfd_vma value = 0;
  74
  75   value = ((data & 0xff00) | (data & 0xff)) << 16;
  76   value |= ((data & 0xff0000) | (data & 0xff000000)) >> 16;
  77   return value;
  78 }
  79
  80 static int
  81 special_flag_p (const char *opname,
  82                 const char *flgname)
  83 {
  84   const struct arc_flag_special *flg_spec;
  85   size_t len;
  86   unsigned i, j, flgidx;
  87
  88   for (i = 0; i < arc_num_flag_special; i++)
  89     {
  90       flg_spec = &arc_flag_special_cases[i];
  91       len = strlen (flg_spec->name);
  92
  93       if (strncmp (opname, flg_spec->name, len) != 0)
  94         continue;
  95
  96       /* Found potential special case instruction.  */
  97       for (j=0;; ++j)
  98         {
  99           flgidx = flg_spec->flags[j];
 100           if (flgidx == 0)
 101             break; /* End of the array.  */
 102
 103           if (strcmp (flgname, arc_flag_operands[flgidx].name) == 0)
 104             return 1;
 105         }
 106     }
 107   return 0;
 108 }
 109
 110 /* Disassemble ARC instructions.  */
 111
 112 static int
 113 print_insn_arc (bfd_vma memaddr,
 114                 struct disassemble_info *info)
 115 {
 116   bfd_byte buffer[4];
 117   unsigned int lowbyte, highbyte;
 118   int status;
 119   unsigned int i;
 120   int insnLen = 0;
 121   unsigned insn[2] = { 0, 0 };
 122   unsigned isa_mask;
 123   const unsigned char *opidx;
 124   const unsigned char *flgidx;
 125   const struct arc_opcode *opcode;
 126   const char *instrName;
 127   int flags;
 128   bfd_boolean need_comma;
 129   bfd_boolean open_braket;
 130
 131
 132   lowbyte  = ((info->endian == BFD_ENDIAN_LITTLE) ? 1 : 0);
 133   highbyte = ((info->endian == BFD_ENDIAN_LITTLE) ? 0 : 1);
 134
 135   switch (info->mach)
 136     {
 137     case bfd_mach_arc_arc700:
 138       isa_mask = ARC_OPCODE_ARC700;
 139       break;
 140
 141     case bfd_mach_arc_arc600:
 142       isa_mask = ARC_OPCODE_ARC600;
 143       break;
 144
 145     case bfd_mach_arc_arcv2:
 146     default:
 147       isa_mask = ARC_OPCODE_ARCv2HS | ARC_OPCODE_ARCv2EM;
 148       break;
 149     }
 150
 151   /* Read the insn into a host word.  */
 152   status = (*info->read_memory_func) (memaddr, buffer, 2, info);
 153   if (status != 0)
 154     {
 155       (*info->memory_error_func) (status, memaddr, info);
 156       return -1;
 157     }
 158
 159   if (info->section
 160       && !(info->section->flags & SEC_CODE))
 161     {
 162       /* Sort of data section, just print a 32 bit number.  */
 163       insnLen = 4;
 164       status = (*info->read_memory_func) (memaddr + 2, &buffer[2], 2, info);
 165       if (status != 0)
 166         {
 167           (*info->memory_error_func) (status, memaddr + 2, info);
 168           return -1;
 169         }
 170       insn[0] = ARRANGE_ENDIAN (info, buffer);
 171       (*info->fprintf_func) (info->stream, ".long %#08x", insn[0]);
 172       return insnLen;
 173     }
 174
 175   if ((((buffer[lowbyte] & 0xf8) > 0x38)
 176        && ((buffer[lowbyte] & 0xf8) != 0x48))
 177       || ((info->mach == bfd_mach_arc_arcv2)
 178           && ((buffer[lowbyte] & 0xF8) == 0x48)) /* FIXME! ugly.  */
 179       )
 180     {
 181       /* This is a short instruction.  */
 182       insnLen = 2;
 183       insn[0] = (buffer[lowbyte] << 8) | buffer[highbyte];
 184     }
 185   else
 186     {
 187       insnLen = 4;
 188
 189       /* This is a long instruction: Read the remaning 2 bytes.  */
 190       status = (*info->read_memory_func) (memaddr + 2, &buffer[2], 2, info);
 191       if (status != 0)
 192         {
 193           (*info->memory_error_func) (status, memaddr + 2, info);
 194           return -1;
 195         }
 196       insn[0] = ARRANGE_ENDIAN (info, buffer);
 197     }
 198
 199   /* This variable may be set by the instruction decoder.  It suggests
 200      the number of bytes objdump should display on a single line.  If
 201      the instruction decoder sets this, it should always set it to
 202      the same value in order to get reasonable looking output.  */
 203   info->bytes_per_line  = 8;
 204
 205   /* The next two variables control the way objdump displays the raw data.
 206      For example, if bytes_per_line is 8 and bytes_per_chunk is 4, the
 207      output will look like this:
 208      00:   00000000 00000000
 209      with the chunks displayed according to "display_endian".  */
 210   info->bytes_per_chunk = 2;
 211   info->display_endian  = info->endian;
 212
 213   /* Set some defaults for the insn info.  */
 214   info->insn_info_valid    = 1;
 215   info->branch_delay_insns = 0;
 216   info->data_size          = 0;
 217   info->insn_type          = dis_nonbranch;
 218   info->target             = 0;
 219   info->target2            = 0;
 220
 221   /* FIXME to be moved in dissasemble_init_for_target.  */
 222   info->disassembler_needs_relocs = TRUE;
 223
 224   /* Find the first match in the opcode table.  */
 225   for (i = 0; i < arc_num_opcodes; i++)
 226     {
 227       bfd_boolean invalid = FALSE;
 228
 229       opcode = &arc_opcodes[i];
 230
 231       if (ARC_SHORT (opcode->mask) && (insnLen == 2))
 232         {
 233           if (OPCODE_AC (opcode->opcode) != OPCODE_AC (insn[0]))
 234             continue;
 235         }
 236       else if (!ARC_SHORT (opcode->mask) && (insnLen == 4))
 237         {
 238           if (OPCODE (opcode->opcode) != OPCODE (insn[0]))
 239             continue;
 240         }
 241       else
 242         continue;
 243
 244       if ((insn[0] ^ opcode->opcode) & opcode->mask)
 245         continue;
 246
 247       if (!(opcode->cpu & isa_mask))
 248         continue;
 249
 250       /* Possible candidate, check the operands.  */
 251       for (opidx = opcode->operands; *opidx; opidx++)
 252         {
 253           int value;
 254           const struct arc_operand *operand = &arc_operands[*opidx];
 255
 256           if (operand->flags & ARC_OPERAND_FAKE)
 257             continue;
 258
 259           if (operand->extract)
 260             value = (*operand->extract) (insn[0], &invalid);
 261           else
 262             value = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
 263
 264           /* Check for LIMM indicator.  If it is there, then make sure
 265              we pick the right format.  */
 266           if (operand->flags & ARC_OPERAND_IR
 267               && !(operand->flags & ARC_OPERAND_LIMM))
 268             {
 269               if ((value == 0x3E && insnLen == 4)
 270                   || (value == 0x1E && insnLen == 2))
 271                 {
 272                   invalid = TRUE;
 273                   break;
 274                 }
 275             }
 276         }
 277
 278       /* Check the flags.  */
 279       for (flgidx = opcode->flags; *flgidx; flgidx++)
 280         {
 281           /* Get a valid flag class.  */
 282           const struct arc_flag_class *cl_flags = &arc_flag_classes[*flgidx];
 283           const unsigned *flgopridx;
 284           int foundA = 0, foundB = 0;
 285
 286           for (flgopridx = cl_flags->flags; *flgopridx; ++flgopridx)
 287             {
 288               const struct arc_flag_operand *flg_operand = &arc_flag_operands[*flgopridx];
 289               unsigned int value;
 290
 291               value = (insn[0] >> flg_operand->shift) & ((1 << flg_operand->bits) - 1);
 292               if (value == flg_operand->code)
 293                 foundA = 1;
 294               if (value)
 295                 foundB = 1;
 296             }
 297           if (!foundA && foundB)
 298             {
 299               invalid = TRUE;
 300               break;
 301             }
 302         }
 303
 304       if (invalid)
 305         continue;
 306
 307       /* The instruction is valid.  */
 308       goto found;
 309     }
 310
 311   /* No instruction found.  Try the extenssions.  */
 312   instrName = arcExtMap_instName (OPCODE (insn[0]), insn[0], &flags);
 313   if (instrName)
 314     {
 315       opcode = &arc_opcodes[0];
 316       (*info->fprintf_func) (info->stream, "%s", instrName);
 317       goto print_flags;
 318     }
 319
 320   if (insnLen == 2)
 321     (*info->fprintf_func) (info->stream, ".long %#04x", insn[0]);
 322   else
 323     (*info->fprintf_func) (info->stream, ".long %#08x", insn[0]);
 324
 325   info->insn_type = dis_noninsn;
 326   return insnLen;
 327
 328  found:
 329   /* Print the mnemonic.  */
 330   (*info->fprintf_func) (info->stream, "%s", opcode->name);
 331
 332   /* Preselect the insn class.  */
 333   switch (opcode->class)
 334     {
 335     case BRANCH:
 336     case JUMP:
 337       if (!strncmp (opcode->name, "bl", 2)
 338           || !strncmp (opcode->name, "jl", 2))
 339         info->insn_type = dis_jsr;
 340       else
 341         info->insn_type = dis_branch;
 342       break;
 343     case MEMORY:
 344       info->insn_type = dis_dref; /* FIXME! DB indicates mov as memory! */
 345       break;
 346     default:
 347       info->insn_type = dis_nonbranch;
 348       break;
 349     }
 350
 351   pr_debug ("%s: 0x%08x\n", opcode->name, opcode->opcode);
 352
 353  print_flags:
 354   /* Now extract and print the flags.  */
 355   for (flgidx = opcode->flags; *flgidx; flgidx++)
 356     {
 357       /* Get a valid flag class.  */
 358       const struct arc_flag_class *cl_flags = &arc_flag_classes[*flgidx];
 359       const unsigned *flgopridx;
 360
 361       for (flgopridx = cl_flags->flags; *flgopridx; ++flgopridx)
 362         {
 363           const struct arc_flag_operand *flg_operand = &arc_flag_operands[*flgopridx];
 364           unsigned int value;
 365
 366           if (!flg_operand->favail)
 367             continue;
 368
 369           value = (insn[0] >> flg_operand->shift) & ((1 << flg_operand->bits) - 1);
 370           if (value == flg_operand->code)
 371             {
 372                /* FIXME!: print correctly nt/t flag.  */
 373               if (!special_flag_p (opcode->name, flg_operand->name))
 374                 (*info->fprintf_func) (info->stream, ".");
 375               else if (info->insn_type == dis_dref)
 376                 {
 377                   switch (flg_operand->name[0])
 378                     {
 379                     case 'b':
 380                       info->data_size = 1;
 381                       break;
 382                     case 'h':
 383                     case 'w':
 384                       info->data_size = 2;
 385                       break;
 386                     default:
 387                       info->data_size = 4;
 388                       break;
 389                     }
 390                 }
 391               (*info->fprintf_func) (info->stream, "%s", flg_operand->name);
 392             }
 393
 394           if (flg_operand->name[0] == 'd'
 395               && flg_operand->name[1] == 0)
 396             info->branch_delay_insns = 1;
 397         }
 398     }
 399
 400   if (opcode->operands[0] != 0)
 401     (*info->fprintf_func) (info->stream, "\t");
 402
 403   need_comma = FALSE;
 404   open_braket = FALSE;
 405
 406   /* Now extract and print the operands.  */
 407   for (opidx = opcode->operands; *opidx; opidx++)
 408     {
 409       const struct arc_operand *operand = &arc_operands[*opidx];
 410       int value;
 411
 412       if (open_braket && (operand->flags & ARC_OPERAND_BRAKET))
 413         {
 414           (*info->fprintf_func) (info->stream, "]");
 415           open_braket = FALSE;
 416           continue;
 417         }
 418
 419       /* Only take input from real operands.  */
 420       if ((operand->flags & ARC_OPERAND_FAKE)
 421           && !(operand->flags & ARC_OPERAND_BRAKET))
 422         continue;
 423
 424       if (operand->extract)
 425         value = (*operand->extract) (insn[0], (int *) NULL);
 426       else
 427         {
 428           if (operand->flags & ARC_OPERAND_ALIGNED32)
 429             {
 430               value = (insn[0] >> operand->shift)
 431                 & ((1 << (operand->bits - 2)) - 1);
 432               value = value << 2;
 433             }
 434           else
 435             {
 436               value = (insn[0] >> operand->shift) & ((1 << operand->bits) - 1);
 437             }
 438           if (operand->flags & ARC_OPERAND_SIGNED)
 439             {
 440               int signbit = 1 << (operand->bits - 1);
 441               value = (value ^ signbit) - signbit;
 442             }
 443         }
 444
 445       if (operand->flags & ARC_OPERAND_IGNORE
 446           && (operand->flags & ARC_OPERAND_IR
 447               && value == -1))
 448         continue;
 449
 450       if (need_comma)
 451         (*info->fprintf_func) (info->stream, ",");
 452
 453       if (!open_braket && (operand->flags & ARC_OPERAND_BRAKET))
 454         {
 455           (*info->fprintf_func) (info->stream, "[");
 456           open_braket = TRUE;
 457           need_comma = FALSE;
 458           continue;
 459         }
 460
 461       /* Read the limm operand, if required.  */
 462       if (operand->flags & ARC_OPERAND_LIMM
 463           && !(operand->flags & ARC_OPERAND_DUPLICATE))
 464         {
 465           status = (*info->read_memory_func) (memaddr + insnLen, buffer,
 466                                               4, info);
 467           if (status != 0)
 468             {
 469               (*info->memory_error_func) (status, memaddr + insnLen, info);
 470               return -1;
 471             }
 472           insn[1] = ARRANGE_ENDIAN (info, buffer);
 473         }
 474
 475       /* Print the operand as directed by the flags.  */
 476       if (operand->flags & ARC_OPERAND_IR)
 477         {
 478           assert (value >=0 && value < 64);
 479           (*info->fprintf_func) (info->stream, "%s", regnames[value]);
 480           if (operand->flags & ARC_OPERAND_TRUNCATE)
 481             (*info->fprintf_func) (info->stream, "%s", regnames[value+1]);
 482         }
 483       else if (operand->flags & ARC_OPERAND_LIMM)
 484         {
 485           (*info->fprintf_func) (info->stream, "%#x", insn[1]);
 486           if (info->insn_type == dis_branch
 487               || info->insn_type == dis_jsr)
 488             info->target = (bfd_vma) insn[1];
 489         }
 490       else if (operand->flags & ARC_OPERAND_PCREL)
 491         {
 492            /* PCL relative.  */
 493           if (info->flags & INSN_HAS_RELOC)
 494             memaddr = 0;
 495           (*info->print_address_func) ((memaddr & ~3) + value, info);
 496
 497           info->target = (bfd_vma) (memaddr & ~3) + value;
 498         }
 499       else if (operand->flags & ARC_OPERAND_SIGNED)
 500         (*info->fprintf_func) (info->stream, "%d", value);
 501       else
 502         if (operand->flags & ARC_OPERAND_TRUNCATE
 503             && !(operand->flags & ARC_OPERAND_ALIGNED32)
 504             && !(operand->flags & ARC_OPERAND_ALIGNED16)
 505             && value > 0 && value <= 14)
 506           (*info->fprintf_func) (info->stream, "r13-%s",
 507                                  regnames[13 + value - 1]);
 508         else
 509           (*info->fprintf_func) (info->stream, "%#x", value);
 510
 511       need_comma = TRUE;
 512
 513       /* Adjust insn len.  */
 514       if (operand->flags & ARC_OPERAND_LIMM
 515           && !(operand->flags & ARC_OPERAND_DUPLICATE))
 516         insnLen += 4;
 517     }
 518
 519   return insnLen;
 520 }
 521
 522
 523 disassembler_ftype
 524 arc_get_disassembler (bfd *abfd)
 525 {
 526   /* Read the extenssion insns and registers, if any.  */
 527   build_ARC_extmap (abfd);
 528   dump_ARC_extmap ();
 529
 530   return print_insn_arc;
 531 }
 532
 533 /* Disassemble ARC instructions.  Used by debugger.  */
 534
 535 struct arcDisState
 536 arcAnalyzeInstr (bfd_vma memaddr,
 537                  struct disassemble_info *info)
 538 {
 539   struct arcDisState ret;
 540   memset (&ret, 0, sizeof (struct arcDisState));
 541
 542   ret.instructionLen = print_insn_arc (memaddr, info);
 543
 544 #if 0
 545   ret.words[0] = insn[0];
 546   ret.words[1] = insn[1];
 547   ret._this = &ret;
 548   ret.coreRegName = _coreRegName;
 549   ret.auxRegName = _auxRegName;
 550   ret.condCodeName = _condCodeName;
 551   ret.instName = _instName;
 552 #endif
 553
 554   return ret;
 555 }
 556
 557 /* Local variables:
 558    eval: (c-set-style "gnu")
 559    indent-tabs-mode: t
 560    End:  */