2 /* Copyright (C) 2013-2019 Free Software Foundation, Inc.
3 Contributed by Red Hat.
6 This file is part of the GNU opcodes library.
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)
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.
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. */
29 #include "opcode/msp430-decode.h"
35 MSP430_Opcode_Decoded *msp430;
36 int (*getbyte)(void *);
43 #define AU ATTRIBUTE_UNUSED
44 #define GETBYTE() getbyte_swapped (ld)
45 #define B ((unsigned long) GETBYTE ())
48 getbyte_swapped (LocalData *ld)
52 if (ld->op_ptr == ld->msp430->n_bytes)
56 b = ld->getbyte (ld->ptr);
57 ld->op [(ld->msp430->n_bytes++)^1] = b;
59 while (ld->msp430->n_bytes & 1);
61 return ld->op[ld->op_ptr++];
64 #define ID(x) msp430->id = x
66 #define OP(n, t, r, a) (msp430->op[n].type = t, \
67 msp430->op[n].reg = r, \
68 msp430->op[n].addend = a)
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)
76 #define SYNTAX(x) msp430->syntax = x
77 #define UNSUPPORTED() msp430->syntax = "*unknown*"
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)
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)
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))
98 #define IMMU(bytes) immediate (bytes, 0, ld)
99 #define IMMS(bytes) immediate (bytes, 1, ld)
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
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. */
111 immediate (int bytes, int sign_extend, LocalData *ld)
119 if (sign_extend && (i & 0x80))
125 if (sign_extend && (i & 0x8000))
132 if (sign_extend && (i & 0x800000))
140 if (sign_extend && (i & 0x80000000ULL))
144 opcodes_error_handler
145 (_("internal error: immediate() called with invalid byte count %d"),
156 01 X(Rn) Sym - X(abs) #1
158 11 (Rn++) #imm - #8 #-1
162 1 X(Rn) Sym - X(abs) - */
165 encode_ad (int reg, int ad, LocalData *ld, int ext)
167 MSP430_Opcode_Decoded *msp430 = ld->msp430;
171 int x = IMMU(2) | (ext << 16);
174 case 0: /* (PC) -> Symbolic. */
175 DA (x + ld->pc + ld->op_ptr - 2);
177 case 2: /* (SR) -> Absolute. */
192 encode_as (int reg, int as, LocalData *ld, int ext)
194 MSP430_Opcode_Decoded *msp430 = ld->msp430;
213 case 0: /* PC -> Symbolic. */
214 x = IMMU(2) | (ext << 16);
215 SA (x + ld->pc + ld->op_ptr - 2);
217 case 2: /* SR -> Absolute. */
218 x = IMMU(2) | (ext << 16);
225 x = IMMU(2) | (ext << 16);
252 /* This fetch *is* the *PC++ that the opcode encodes :-) */
253 x = IMMU(2) | (ext << 16);
272 encode_rep_zc (int srxt, int dsxt, LocalData *ld)
274 MSP430_Opcode_Decoded *msp430 = ld->msp430;
276 msp430->repeat_reg = srxt & 1;
277 msp430->repeats = dsxt;
278 msp430->zc = (srxt & 2) ? 1 : 0;
281 #define REPZC(s,d) encode_rep_zc (s, d, ld)
284 dopc_to_id (int dopc)
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;
305 sopc_to_id (int sop, int c)
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;
321 msp430_decode_opcode (unsigned long pc,
322 MSP430_Opcode_Decoded *msp430,
323 int (*getbyte)(void *),
326 LocalData lds, *ld = &lds;
327 unsigned char op_buf[20] = {0};
328 unsigned char *op = op_buf;
331 int srxt_bits, dsxt_bits;
334 lds.getbyte = getbyte;
340 memset (msp430, 0, sizeof (*msp430));
342 /* These are overridden by an extension word. */
350 /* 430X extention word. */
351 /** 0001 1srx t l 00 dsxt 430x */
354 srxt_bits = srx * 2 + t;
356 op = op_buf + lds.op_ptr;
357 msp430->ofs_430x = 1;
358 goto post_extension_word;
361 opcode:4 sreg:4 Ad:1 BW:1 As:2 Dreg:4
364 opcode:9 BW:1 Ad:2 DSreg:4
367 opcode:3 Cond:3 pcrel:10. */
369 /* Double-Operand "opcode" fields. */
370 /** VARY dopc 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111 */
372 /** dopc sreg a b as dreg %D%b %1,%0 */
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);
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;
395 /** 0001 00so c b ad dreg %S%b %1 */
397 ID (sopc_to_id (so,c)); ASX (dreg, ad, srxt_bits); ABW (al_bit, b);
400 REPZC (srxt_bits, dsxt_bits);
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];
406 /* RETI ignores the operand. */
407 if (msp430->id == MSO_reti)
408 msp430->syntax = "%S";
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;
422 /* 20xx 0010 0000 ---- ----
423 3cxx 0011 1100 ---- ----
424 001j mp-- ---- ----. */
425 /** 001jmp aa addrlsbs %J %1 */
427 raddr = (aa << 9) | (addrlsbs << 1);
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);
437 /* Extended instructions. */
439 /** 0000 srcr 0000 dstr MOVA @%1, %0 */
440 ID (MSO_mov); SM (srcr, 0); DR (dstr);
442 msp430->ofs_430x = 1;
444 /** 0000 srcr 0001 dstr MOVA @%1+, %0 */
445 ID (MSO_mov); SI (srcr); DR (dstr);
447 msp430->ofs_430x = 1;
449 /** 0000 srcr 0010 dstr MOVA &%1, %0 */
450 ID (MSO_mov); SA ((srcr << 16) + IMMU(2)); DR (dstr);
452 msp430->ofs_430x = 1;
454 /** 0000 srcr 0011 dstr MOVA %1, %0 */
455 ID (MSO_mov); SM (srcr, IMMS(2)); DR (dstr);
457 msp430->ofs_430x = 1;
459 /** 0000 srcr 0110 dstr MOVA %1, &%0 */
460 ID (MSO_mov); SR (srcr); DA ((dstr << 16) + IMMU(2));
462 msp430->ofs_430x = 1;
464 /** 0000 srcr 0111 dstr MOVA %1, &%0 */
465 ID (MSO_mov); SR (srcr); DM (dstr, IMMS(2));
467 msp430->ofs_430x = 1;
469 /** 0000 srcr 1000 dstr MOVA %1, %0 */
470 ID (MSO_mov); SC ((srcr << 16) + IMMU(2)); DR (dstr);
472 msp430->ofs_430x = 1;
474 /** 0000 srcr 1001 dstr CMPA %1, %0 */
475 ID (MSO_cmp); SC ((srcr << 16) + IMMU(2)); DR (dstr);
477 msp430->ofs_430x = 1;
480 /** 0000 srcr 1010 dstr ADDA %1, %0 */
481 ID (MSO_add); SC ((srcr << 16) + IMMU(2)); DR (dstr);
483 msp430->ofs_430x = 1;
486 /** 0000 srcr 1011 dstr SUBA %1, %0 */
487 ID (MSO_sub); SC ((srcr << 16) + IMMU(2)); DR (dstr);
489 msp430->ofs_430x = 1;
492 /** 0000 srcr 1011 dstr SUBA %1, %0 */
493 ID (MSO_sub); SC ((srcr << 16) + IMMU(2)); DR (dstr);
495 msp430->ofs_430x = 1;
498 /** 0000 srcr 1100 dstr MOVA %1, %0 */
499 ID (MSO_mov); SR (srcr); DR (dstr);
501 msp430->ofs_430x = 1;
503 /** 0000 srcr 1101 dstr CMPA %1, %0 */
504 ID (MSO_cmp); SR (srcr); DR (dstr);
506 msp430->ofs_430x = 1;
509 /** 0000 srcr 1110 dstr ADDA %1, %0 */
510 ID (MSO_add); SR (srcr); DR (dstr);
512 msp430->ofs_430x = 1;
515 /** 0000 srcr 1111 dstr SUBA %1, %0 */
516 ID (MSO_sub); SR (srcr); DR (dstr);
518 msp430->ofs_430x = 1;
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;
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;
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;
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;
549 /** 0001 0011 0000 0000 RETI */
552 msp430->ofs_430x = 1;
554 /** 0001 0011 01as dstr CALLA %0 */
555 ID (MSO_call); AS (dstr, as);
557 msp430->ofs_430x = 1;
559 /** 0001 0011 1000 extb CALLA %0 */
560 ID (MSO_call); SA (IMMU(2) | (extb << 16));
562 msp430->ofs_430x = 1;
564 /** 0001 0011 1001 extb CALLA %0 */
565 raddr = IMMU(2) | (extb << 16);
568 ID (MSO_call); SA (pc + raddr + msp430->n_bytes);
570 msp430->ofs_430x = 1;
572 /** 0001 0011 1011 extb CALLA %0 */
573 ID (MSO_call); SC (IMMU(2) | (extb << 16));
575 msp430->ofs_430x = 1;
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;
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;
591 return msp430->n_bytes;