opcodes/msp430-decode.opc

   1 /* -*- c -*- */
   2 /* Copyright (C) 2013-2018 Free Software Foundation, Inc.
   3    Contributed by Red Hat.
   4    Written by DJ Delorie.
   5
   6    This file is part of the GNU opcodes library.
   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 <stdlib.h>
  26 #include <string.h>
  27 #include "bfd.h"
  28 #include "opintl.h"
  29 #include "opcode/msp430-decode.h"
  30
  31 static int trace = 0;
  32
  33 typedef struct
  34 {
  35   MSP430_Opcode_Decoded *msp430;
  36   int (*getbyte)(void *);
  37   void *ptr;
  38   unsigned char *op;
  39   int op_ptr;
  40   int pc;
  41 } LocalData;
  42
  43 #define AU ATTRIBUTE_UNUSED
  44 #define GETBYTE() getbyte_swapped (ld)
  45 #define B ((unsigned long) GETBYTE ())
  46
  47 static int
  48 getbyte_swapped (LocalData *ld)
  49 {
  50   int b;
  51
  52   if (ld->op_ptr == ld->msp430->n_bytes)
  53     {
  54       do
  55         {
  56           b = ld->getbyte (ld->ptr);
  57           ld->op [(ld->msp430->n_bytes++)^1] = b;
  58         }
  59       while (ld->msp430->n_bytes & 1);
  60     }
  61   return ld->op[ld->op_ptr++];
  62 }
  63
  64 #define ID(x)           msp430->id = x
  65
  66 #define OP(n, t, r, a) (msp430->op[n].type = t,      \
  67                         msp430->op[n].reg = r,       \
  68                         msp430->op[n].addend = a)
  69
  70 #define OPX(n, t, r1, r2, a)     \
  71   (msp430->op[n].type = t,       \
  72    msp430->op[n].reg = r1,       \
  73    msp430->op[n].reg2 = r2,      \
  74    msp430->op[n].addend = a)
  75
  76 #define SYNTAX(x)       msp430->syntax = x
  77 #define UNSUPPORTED()   msp430->syntax = "*unknown*"
  78
  79 #define DC(c)           OP (0, MSP430_Operand_Immediate, 0, c)
  80 #define DR(r)           OP (0, MSP430_Operand_Register, r, 0)
  81 #define DM(r, a)        OP (0, MSP430_Operand_Indirect, r, a)
  82 #define DA(a)           OP (0, MSP430_Operand_Indirect, MSR_None, a)
  83 #define AD(r, ad)       encode_ad (r, ad, ld, 0)
  84 #define ADX(r, ad, x)   encode_ad (r, ad, ld, x)
  85
  86 #define SC(c)           OP (1, MSP430_Operand_Immediate, 0, c)
  87 #define SR(r)           OP (1, MSP430_Operand_Register, r, 0)
  88 #define SM(r, a)        OP (1, MSP430_Operand_Indirect, r, a)
  89 #define SA(a)           OP (1, MSP430_Operand_Indirect, MSR_None, a)
  90 #define SI(r)           OP (1, MSP430_Operand_Indirect_Postinc, r, 0)
  91 #define AS(r, as)       encode_as (r, as, ld, 0)
  92 #define ASX(r, as, x)   encode_as (r, as, ld, x)
  93
  94 #define BW(x)           msp430->size = (x ? 8 : 16)
  95 /* The last 20 is for SWPBX.Z and SXTX.A.  */
  96 #define ABW(a,x)        msp430->size = (a ? ((x ? 8 : 16)) : (x ? 20 : 20))
  97
  98 #define IMMU(bytes)     immediate (bytes, 0, ld)
  99 #define IMMS(bytes)     immediate (bytes, 1, ld)
 100
 101 /* Helper macros for known status bits settings.  */
 102 #define F_____          msp430->flags_1 = msp430->flags_0 = 0; msp430->flags_set = 0
 103 #define F_VNZC          msp430->flags_1 = msp430->flags_0 = 0; msp430->flags_set = 0x87
 104 #define F_0NZC          msp430->flags_1 = 0; msp430->flags_0 = 0x80; msp430->flags_set = 0x07
 105
 106
 107 /* The chip is little-endian, but GETBYTE byte-swaps words because the
 108    decoder is based on 16-bit "words" so *this* logic is big-endian.  */
 109
 110 static int
 111 immediate (int bytes, int sign_extend, LocalData *ld)
 112 {
 113   unsigned long i = 0;
 114
 115   switch (bytes)
 116     {
 117     case 1:
 118       i |= B;
 119       if (sign_extend && (i & 0x80))
 120         i -= 0x100;
 121       break;
 122     case 2:
 123       i |= B << 8;
 124       i |= B;
 125       if (sign_extend && (i & 0x8000))
 126         i -= 0x10000;
 127       break;
 128     case 3:
 129       i |= B << 16;
 130       i |= B << 8;
 131       i |= B;
 132       if (sign_extend && (i & 0x800000))
 133         i -= 0x1000000;
 134       break;
 135     case 4:
 136       i |= B << 24;
 137       i |= B << 16;
 138       i |= B << 8;
 139       i |= B;
 140       if (sign_extend && (i & 0x80000000ULL))
 141         i -= 0x100000000ULL;
 142       break;
 143     default:
 144       opcodes_error_handler
 145         (_("internal error: immediate() called with invalid byte count %d"),
 146            bytes);
 147       abort ();
 148     }
 149   return i;
 150 }
 151
 152 /*
 153                 PC      SP      SR      CG
 154   As
 155   00    Rn      -       -       R2      #0
 156   01    X(Rn)   Sym     -       X(abs)  #1
 157   10    (Rn)    -       -       #4      #2
 158   11    (Rn++)  #imm    -       #8      #-1
 159
 160   Ad
 161   0     Rn      -       -       -       -
 162   1     X(Rn)   Sym     -       X(abs)  -   */
 163
 164 static void
 165 encode_ad (int reg, int ad, LocalData *ld, int ext)
 166 {
 167   MSP430_Opcode_Decoded *msp430 = ld->msp430;
 168
 169   if (ad)
 170     {
 171       int x = IMMU(2) | (ext << 16);
 172       switch (reg)
 173         {
 174         case 0: /* (PC) -> Symbolic.  */
 175           DA (x + ld->pc + ld->op_ptr - 2);
 176           break;
 177         case 2: /* (SR) -> Absolute.  */
 178           DA (x);
 179           break;
 180         default:
 181           DM (reg, x);
 182           break;
 183         }
 184     }
 185   else
 186     {
 187       DR (reg);
 188     }
 189 }
 190
 191 static void
 192 encode_as (int reg, int as, LocalData *ld, int ext)
 193 {
 194   MSP430_Opcode_Decoded *msp430 = ld->msp430;
 195   int x;
 196
 197   switch (as)
 198     {
 199     case 0:
 200       switch (reg)
 201         {
 202         case 3:
 203           SC (0);
 204           break;
 205         default:
 206           SR (reg);
 207           break;
 208         }
 209       break;
 210     case 1:
 211       switch (reg)
 212         {
 213         case 0: /* PC -> Symbolic.  */
 214           x = IMMU(2) | (ext << 16);
 215           SA (x + ld->pc + ld->op_ptr - 2);
 216           break;
 217         case 2: /* SR -> Absolute.  */
 218           x = IMMU(2) | (ext << 16);
 219           SA (x);
 220           break;
 221         case 3:
 222           SC (1);
 223           break;
 224         default:
 225           x = IMMU(2) | (ext << 16);
 226           SM (reg, x);
 227           break;
 228         }
 229       break;
 230     case 2:
 231       switch (reg)
 232         {
 233         case 2:
 234           SC (4);
 235           break;
 236         case 3:
 237           SC (2);
 238           break;
 239         case MSR_None:
 240           SA (0);
 241           break;
 242         default:
 243           SM (reg, 0);
 244           break;
 245         }
 246       break;
 247     case 3:
 248       switch (reg)
 249         {
 250         case 0:
 251           {
 252             /* This fetch *is* the *PC++ that the opcode encodes :-)  */
 253             x = IMMU(2) | (ext << 16);
 254             SC (x);
 255           }
 256           break;
 257         case 2:
 258           SC (8);
 259           break;
 260         case 3:
 261           SC (-1);
 262           break;
 263         default:
 264           SI (reg);
 265           break;
 266         }
 267       break;
 268     }
 269 }
 270
 271 static void
 272 encode_rep_zc (int srxt, int dsxt, LocalData *ld)
 273 {
 274   MSP430_Opcode_Decoded *msp430 = ld->msp430;
 275
 276   msp430->repeat_reg = srxt & 1;
 277   msp430->repeats = dsxt;
 278   msp430->zc = (srxt & 2) ? 1 : 0;
 279 }
 280
 281 #define REPZC(s,d) encode_rep_zc (s, d, ld)
 282
 283 static int
 284 dopc_to_id (int dopc)
 285 {
 286   switch (dopc)
 287     {
 288     case 4: return MSO_mov;
 289     case 5: return MSO_add;
 290     case 6: return MSO_addc;
 291     case 7: return MSO_subc;
 292     case 8: return MSO_sub;
 293     case 9: return MSO_cmp;
 294     case 10: return MSO_dadd;
 295     case 11: return MSO_bit;
 296     case 12: return MSO_bic;
 297     case 13: return MSO_bis;
 298     case 14: return MSO_xor;
 299     case 15: return MSO_and;
 300     default: return MSO_unknown;
 301     }
 302 }
 303
 304 static int
 305 sopc_to_id (int sop, int c)
 306 {
 307   switch (sop * 2 + c)
 308     {
 309     case 0: return MSO_rrc;
 310     case 1: return MSO_swpb;
 311     case 2: return MSO_rra;
 312     case 3: return MSO_sxt;
 313     case 4: return MSO_push;
 314     case 5: return MSO_call;
 315     case 6: return MSO_reti;
 316     default: return MSO_unknown;
 317     }
 318 }
 319
 320 int
 321 msp430_decode_opcode (unsigned long pc,
 322                       MSP430_Opcode_Decoded *msp430,
 323                       int (*getbyte)(void *),
 324                       void *ptr)
 325 {
 326   LocalData lds, *ld = &lds;
 327   unsigned char op_buf[20] = {0};
 328   unsigned char *op = op_buf;
 329   int raddr;
 330   int al_bit;
 331   int srxt_bits, dsxt_bits;
 332
 333   lds.msp430 = msp430;
 334   lds.getbyte = getbyte;
 335   lds.ptr = ptr;
 336   lds.op = op;
 337   lds.op_ptr = 0;
 338   lds.pc = pc;
 339
 340   memset (msp430, 0, sizeof (*msp430));
 341
 342   /* These are overridden by an extension word.  */
 343   al_bit = 1;
 344   srxt_bits = 0;
 345   dsxt_bits = 0;
 346
 347  post_extension_word:
 348   ;
 349
 350   /* 430X extention word.  */
 351 /** 0001 1srx t l 00 dsxt       430x */
 352
 353   al_bit = l;
 354   srxt_bits = srx * 2 + t;
 355   dsxt_bits = dsxt;
 356   op = op_buf + lds.op_ptr;
 357   msp430->ofs_430x = 1;
 358   goto post_extension_word;
 359
 360 /* double-op insns:
 361    opcode:4 sreg:4 Ad:1 BW:1 As:2 Dreg:4
 362
 363    single-op insn:
 364    opcode:9 BW:1 Ad:2 DSreg:4
 365
 366    jumps:
 367    opcode:3 Cond:3  pcrel:10. */
 368
 369 /* Double-Operand "opcode" fields.  */
 370 /** VARY dopc 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111 */
 371
 372 /** dopc sreg a b as dreg       %D%b    %1,%0                           */
 373
 374   ID (dopc_to_id (dopc)); ASX (sreg, as, srxt_bits); ADX (dreg, a, dsxt_bits); ABW (al_bit, b);
 375   if (a == 0 && as == 0)
 376     REPZC (srxt_bits, dsxt_bits);
 377
 378   switch (msp430->id)
 379     {
 380     case MSO_mov:       F_____; break;
 381     case MSO_add:       F_VNZC; break;
 382     case MSO_addc:      F_VNZC; break;
 383     case MSO_subc:      F_VNZC; break;
 384     case MSO_sub:       F_VNZC; break;
 385     case MSO_cmp:       F_VNZC; break;
 386     case MSO_dadd:      F_VNZC; break;
 387     case MSO_bit:       F_0NZC; break;
 388     case MSO_bic:       F_____; break;
 389     case MSO_bis:       F_____; break;
 390     case MSO_xor:       F_VNZC; break;
 391     case MSO_and:       F_0NZC; break;
 392     default: break;
 393     }
 394
 395 /** 0001 00so c b ad dreg       %S%b    %1                              */
 396
 397   ID (sopc_to_id (so,c)); ASX (dreg, ad, srxt_bits); ABW (al_bit, b);
 398
 399   if (ad == 0)
 400     REPZC (srxt_bits, dsxt_bits);
 401
 402   /* The helper functions encode for source, but it's
 403      both source and dest, with a few documented exceptions.  */
 404   msp430->op[0] = msp430->op[1];
 405
 406   /* RETI ignores the operand.  */
 407   if (msp430->id == MSO_reti)
 408     msp430->syntax = "%S";
 409
 410   switch (msp430->id)
 411     {
 412     case MSO_rrc:       F_VNZC; break;
 413     case MSO_swpb:      F_____; break;
 414     case MSO_rra:       F_0NZC; break;
 415     case MSO_sxt:       F_0NZC; break;
 416     case MSO_push:      F_____; break;
 417     case MSO_call:      F_____; break;
 418     case MSO_reti:      F_VNZC; break;
 419     default: break;
 420     }
 421
 422   /* 20xx 0010 0000 ---- ----
 423      3cxx 0011 1100 ---- ----
 424           001j mp-- ---- ----.  */
 425 /** 001jmp aa addrlsbs          %J      %1                              */
 426
 427   raddr = (aa << 9) | (addrlsbs << 1);
 428   if (raddr & 0x400)
 429     raddr = raddr - 0x800;
 430   /* This is a pc-relative jump, but we don't use SM because that
 431      would load the target address from the memory at X(PC), not use
 432      PC+X *as* the address.  So we use SC to use the address, not the
 433      data at that address.  */
 434   ID (MSO_jmp); SC (pc + raddr + msp430->n_bytes);
 435   msp430->cond = jmp;
 436
 437   /* Extended instructions.  */
 438
 439 /** 0000 srcr 0000 dstr         MOVA @%1, %0 */
 440   ID (MSO_mov); SM (srcr, 0); DR (dstr);
 441   msp430->size = 20;
 442   msp430->ofs_430x = 1;
 443
 444 /** 0000 srcr 0001 dstr         MOVA @%1+, %0 */
 445   ID (MSO_mov); SI (srcr); DR (dstr);
 446   msp430->size = 20;
 447   msp430->ofs_430x = 1;
 448
 449 /** 0000 srcr 0010 dstr         MOVA &%1, %0 */
 450   ID (MSO_mov); SA ((srcr << 16) + IMMU(2)); DR (dstr);
 451   msp430->size = 20;
 452   msp430->ofs_430x = 1;
 453
 454 /** 0000 srcr 0011 dstr         MOVA %1, %0 */
 455   ID (MSO_mov); SM (srcr, IMMS(2)); DR (dstr);
 456   msp430->size = 20;
 457   msp430->ofs_430x = 1;
 458
 459 /** 0000 srcr 0110 dstr         MOVA %1, &%0 */
 460   ID (MSO_mov); SR (srcr); DA ((dstr << 16) + IMMU(2));
 461   msp430->size = 20;
 462   msp430->ofs_430x = 1;
 463
 464 /** 0000 srcr 0111 dstr         MOVA %1, &%0 */
 465   ID (MSO_mov); SR (srcr); DM (dstr, IMMS(2));
 466   msp430->size = 20;
 467   msp430->ofs_430x = 1;
 468
 469 /** 0000 srcr 1000 dstr         MOVA %1, %0 */
 470   ID (MSO_mov); SC ((srcr << 16) + IMMU(2)); DR (dstr);
 471   msp430->size = 20;
 472   msp430->ofs_430x = 1;
 473
 474 /** 0000 srcr 1001 dstr         CMPA %1, %0 */
 475   ID (MSO_cmp); SC ((srcr << 16) + IMMU(2)); DR (dstr);
 476   msp430->size = 20;
 477   msp430->ofs_430x = 1;
 478   F_VNZC;
 479
 480 /** 0000 srcr 1010 dstr         ADDA %1, %0 */
 481   ID (MSO_add); SC ((srcr << 16) + IMMU(2)); DR (dstr);
 482   msp430->size = 20;
 483   msp430->ofs_430x = 1;
 484   F_VNZC;
 485
 486 /** 0000 srcr 1011 dstr         SUBA %1, %0 */
 487   ID (MSO_sub); SC ((srcr << 16) + IMMU(2)); DR (dstr);
 488   msp430->size = 20;
 489   msp430->ofs_430x = 1;
 490   F_VNZC;
 491
 492 /** 0000 srcr 1011 dstr         SUBA %1, %0 */
 493   ID (MSO_sub); SC ((srcr << 16) + IMMU(2)); DR (dstr);
 494   msp430->size = 20;
 495   msp430->ofs_430x = 1;
 496   F_VNZC;
 497
 498 /** 0000 srcr 1100 dstr         MOVA %1, %0 */
 499   ID (MSO_mov); SR (srcr); DR (dstr);
 500   msp430->size = 20;
 501   msp430->ofs_430x = 1;
 502
 503 /** 0000 srcr 1101 dstr         CMPA %1, %0 */
 504   ID (MSO_cmp); SR (srcr); DR (dstr);
 505   msp430->size = 20;
 506   msp430->ofs_430x = 1;
 507   F_VNZC;
 508
 509 /** 0000 srcr 1110 dstr         ADDA %1, %0 */
 510   ID (MSO_add); SR (srcr); DR (dstr);
 511   msp430->size = 20;
 512   msp430->ofs_430x = 1;
 513   F_VNZC;
 514
 515 /** 0000 srcr 1111 dstr         SUBA %1, %0 */
 516   ID (MSO_sub); SR (srcr); DR (dstr);
 517   msp430->size = 20;
 518   msp430->ofs_430x = 1;
 519   F_VNZC;
 520
 521 /** 0000 bt00 010w dstr         RRCM.A %c, %0 */
 522   ID (MSO_rrc); DR (dstr); SR (dstr);
 523   msp430->repeats = bt;
 524   msp430->size = w ? 16 : 20;
 525   msp430->ofs_430x = 1;
 526   F_0NZC;
 527
 528 /** 0000 bt01 010w dstr         RRAM.A %c, %0 */
 529   ID (MSO_rra); DR (dstr); SR (dstr);
 530   msp430->repeats = bt;
 531   msp430->size = w ? 16 : 20;
 532   msp430->ofs_430x = 1;
 533   F_0NZC;
 534
 535 /** 0000 bt10 010w dstr         RLAM.A %c, %0 */
 536   ID (MSO_add); DR (dstr); SR (dstr);
 537   msp430->repeats = bt;
 538   msp430->size = w ? 16 : 20;
 539   msp430->ofs_430x = 1;
 540   F_0NZC;
 541
 542 /** 0000 bt11 010w dstr         RRUM.A %c, %0 */
 543   ID (MSO_rru); DR (dstr); SR (dstr);
 544   msp430->repeats = bt;
 545   msp430->size = w ? 16 : 20;
 546   msp430->ofs_430x = 1;
 547   F_0NZC;
 548
 549 /** 0001 0011 0000 0000         RETI */
 550   ID (MSO_reti);
 551   msp430->size = 20;
 552   msp430->ofs_430x = 1;
 553
 554 /** 0001 0011 01as dstr         CALLA %0 */
 555   ID (MSO_call); AS (dstr, as);
 556   msp430->size = 20;
 557   msp430->ofs_430x = 1;
 558
 559 /** 0001 0011 1000 extb         CALLA %0 */
 560   ID (MSO_call); SA (IMMU(2) | (extb << 16));
 561   msp430->size = 20;
 562   msp430->ofs_430x = 1;
 563
 564 /** 0001 0011 1001 extb         CALLA %0 */
 565   raddr = IMMU(2) | (extb << 16);
 566   if (raddr & 0x80000)
 567     raddr -= 0x100000;
 568   ID (MSO_call); SA (pc + raddr + msp430->n_bytes);
 569   msp430->size = 20;
 570   msp430->ofs_430x = 1;
 571
 572 /** 0001 0011 1011 extb         CALLA %0 */
 573   ID (MSO_call); SC (IMMU(2) | (extb << 16));
 574   msp430->size = 20;
 575   msp430->ofs_430x = 1;
 576
 577 /** 0001 010w bits srcr         PUSHM.A %0 */
 578   ID (MSO_push); SR (srcr);
 579   msp430->size = w ? 16 : 20;
 580   msp430->repeats = bits;
 581   msp430->ofs_430x = 1;
 582
 583 /** 0001 011w bits dstr         POPM.A %0 */
 584   ID (MSO_pop); DR (dstr);
 585   msp430->size = w ? 16 : 20;
 586   msp430->repeats = bits;
 587   msp430->ofs_430x = 1;
 588
 589 /** */
 590
 591   return msp430->n_bytes;
 592 }