1 /* Disassembler code for CR16.
2 Copyright 2007, 2008 Free Software Foundation, Inc.
3 Contributed by M R Swami Reddy (MR.Swami.Reddy@nsc.com).
5 This file is part of GAS, GDB and the GNU binutils.
7 This program is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 3, or (at your option)
12 This program is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software Foundation,
19 Inc., 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
23 #include "opcode/cr16.h"
24 #include "libiberty.h"
26 /* String to print when opcode was not matched. */
27 #define ILLEGAL "illegal"
28 /* Escape to 16-bit immediate. */
29 #define ESCAPE_16_BIT 0xB
31 /* Extract 'n_bits' from 'a' starting from offset 'offs'. */
32 #define EXTRACT(a, offs, n_bits) \
33 (n_bits == 32 ? (((a) >> (offs)) & 0xffffffffL) \
34 : (((a) >> (offs)) & ((1 << (n_bits)) -1)))
36 /* Set Bit Mask - a mask to set all bits starting from offset 'offs'. */
37 #define SBM(offs) ((((1 << (32 - offs)) -1) << (offs)))
39 typedef unsigned long dwordU
;
40 typedef unsigned short wordU
;
48 /* Structure to map valid 'cinv' instruction options. */
52 /* Cinv printed string. */
54 /* Value corresponding to the string. */
59 /* CR16 'cinv' options mapping. */
60 const cinv_entry cr16_cinvs
[] =
62 {"cinv[i]", "cinv [i]"},
63 {"cinv[i,u]", "cinv [i,u]"},
64 {"cinv[d]", "cinv [d]"},
65 {"cinv[d,u]", "cinv [d,u]"},
66 {"cinv[d,i]", "cinv [d,i]"},
67 {"cinv[d,i,u]", "cinv [d,i,u]"}
70 /* Number of valid 'cinv' instruction options. */
71 static int NUMCINVS
= ARRAY_SIZE (cr16_cinvs
);
73 /* Enum to distinguish different registers argument types. */
74 typedef enum REG_ARG_TYPE
76 /* General purpose register (r<N>). */
78 /*Processor register */
83 /* Current opcode table entry we're disassembling. */
84 const inst
*instruction
;
85 /* Current instruction we're disassembling. */
87 /* The current instruction is read into 3 consecutive words. */
89 /* Contains all words in appropriate order. */
91 /* Holds the current processed argument number. */
92 int processing_argument_number
;
93 /* Nonzero means a IMM4 instruction. */
95 /* Nonzero means the instruction's original size is
96 incremented (escape sequence is used). */
100 /* Print the constant expression length. */
103 print_exp_len (int size
)
126 /* Retrieve the number of operands for the current assembled instruction. */
129 get_number_of_operands (void)
133 for (i
= 0; instruction
->operands
[i
].op_type
&& i
< MAX_OPERANDS
; i
++)
139 /* Return the bit size for a given operand. */
142 getbits (operand_type op
)
145 return cr16_optab
[op
].bit_size
;
150 /* Return the argument type of a given operand. */
153 getargtype (operand_type op
)
156 return cr16_optab
[op
].arg_type
;
161 /* Given a 'CC' instruction constant operand, return its corresponding
162 string. This routine is used when disassembling the 'CC' instruction. */
165 getccstring (unsigned cc
)
167 return (char *) cr16_b_cond_tab
[cc
];
171 /* Given a 'cinv' instruction constant operand, return its corresponding
172 string. This routine is used when disassembling the 'cinv' instruction. */
175 getcinvstring (const char *str
)
177 const cinv_entry
*cinv
;
179 for (cinv
= cr16_cinvs
; cinv
< (cr16_cinvs
+ NUMCINVS
); cinv
++)
180 if (strcmp (cinv
->istr
, str
) == 0)
186 /* Given the trap index in dispatch table, return its name.
187 This routine is used when disassembling the 'excp' instruction. */
190 gettrapstring (unsigned int index
)
192 const trap_entry
*trap
;
194 for (trap
= cr16_traps
; trap
< cr16_traps
+ NUMTRAPS
; trap
++)
195 if (trap
->entry
== index
)
201 /* Given a register enum value, retrieve its name. */
206 const reg_entry
*reg
= cr16_regtab
+ r
;
208 if (reg
->type
!= CR16_R_REGTYPE
)
214 /* Given a register pair enum value, retrieve its name. */
219 const reg_entry
*reg
= cr16_regptab
+ r
;
221 if (reg
->type
!= CR16_RP_REGTYPE
)
227 /* Given a index register pair enum value, retrieve its name. */
230 getidxregpname (reg r
)
232 const reg_entry
*reg
;
236 case 0: r
= 0; break;
237 case 1: r
= 2; break;
238 case 2: r
= 4; break;
239 case 3: r
= 6; break;
240 case 4: r
= 8; break;
241 case 5: r
= 10; break;
242 case 6: r
= 3; break;
243 case 7: r
= 5; break;
248 reg
= cr16_regptab
+ r
;
250 if (reg
->type
!= CR16_RP_REGTYPE
)
256 /* Getting a processor register name. */
259 getprocregname (int index
)
263 for (r
= cr16_pregtab
; r
< cr16_pregtab
+ NUMPREGS
; r
++)
264 if (r
->image
== index
)
267 return "ILLEGAL REGISTER";
270 /* Getting a processor register name - 32 bit size. */
273 getprocpregname (int index
)
277 for (r
= cr16_pregptab
; r
< cr16_pregptab
+ NUMPREGPS
; r
++)
278 if (r
->image
== index
)
281 return "ILLEGAL REGISTER";
284 /* START and END are relating 'allWords' struct, which is 48 bits size.
287 +---------+---------+---------+---------+
289 +---------+---------+---------+---------+
294 makelongparameter (ULONGLONG val
, int start
, int end
)
298 p
.val
= (dwordU
) EXTRACT (val
, 48 - end
, end
- start
);
299 p
.nbits
= end
- start
;
303 /* Build a mask of the instruction's 'constant' opcode,
304 based on the instruction's printing flags. */
309 unsigned long mask
= SBM (instruction
->match_bits
);
311 /* Adjust mask for bcond with 32-bit size instruction. */
312 if ((IS_INSN_MNEMONIC("b") && instruction
->size
== 2))
318 /* Search for a matching opcode. Return 1 for success, 0 for failure. */
324 /* The instruction 'constant' opcode doewsn't exceed 32 bits. */
325 unsigned long doubleWord
= words
[1] + (words
[0] << 16);
327 /* Start searching from end of instruction table. */
328 instruction
= &cr16_instruction
[NUMOPCODES
- 2];
330 /* Loop over instruction table until a full match is found. */
331 while (instruction
>= cr16_instruction
)
333 mask
= build_mask ();
334 if ((doubleWord
& mask
) == BIN (instruction
->match
,
335 instruction
->match_bits
))
343 /* Set the proper parameter value for different type of arguments. */
346 make_argument (argument
* a
, int start_bits
)
351 if ((instruction
->size
== 3) && a
->size
>= 16)
359 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
360 inst_bit_size
- start_bits
);
365 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
366 inst_bit_size
- start_bits
);
371 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
372 inst_bit_size
- start_bits
);
377 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
378 inst_bit_size
- start_bits
);
383 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
384 inst_bit_size
- start_bits
);
389 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ a
->size
),
390 inst_bit_size
- start_bits
);
396 if ((IS_INSN_MNEMONIC ("cbitb"))
397 || (IS_INSN_MNEMONIC ("sbitb"))
398 || (IS_INSN_MNEMONIC ("tbitb")))
399 p
= makelongparameter (allWords
, 8, 9);
401 p
= makelongparameter (allWords
, 9, 10);
403 p
= makelongparameter (allWords
, inst_bit_size
- a
->size
, inst_bit_size
);
408 p
= makelongparameter (allWords
, start_bits
+ 12, start_bits
+ 13);
410 p
= makelongparameter (allWords
, start_bits
+ 13, start_bits
+ 16);
412 if (inst_bit_size
> 32)
414 p
= makelongparameter (allWords
, inst_bit_size
- start_bits
- 12,
416 a
->constant
= ((p
.val
& 0xffff) | (p
.val
>> 8 & 0xf0000));
418 else if (instruction
->size
== 2)
420 p
= makelongparameter (allWords
, inst_bit_size
- 22, inst_bit_size
);
421 a
->constant
= (p
.val
& 0xf) | (((p
.val
>>20) & 0x3) << 4)
422 | ((p
.val
>>14 & 0x3) << 6) | (((p
.val
>>7) & 0x1f) <<7);
424 else if (instruction
->size
== 1 && a
->size
== 0)
430 p
= makelongparameter (allWords
, inst_bit_size
, inst_bit_size
);
432 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+ 4),
433 inst_bit_size
- start_bits
);
438 p
= makelongparameter (allWords
, start_bits
+ 12, start_bits
+ 16);
440 p
= makelongparameter (allWords
, inst_bit_size
- 16, inst_bit_size
);
445 if (instruction
->size
== 1)
446 p
= makelongparameter (allWords
, 12, 16);
448 p
= makelongparameter (allWords
, start_bits
+ 12, start_bits
+ 16);
451 if (inst_bit_size
> 32)
453 p
= makelongparameter (allWords
, inst_bit_size
- start_bits
- 12,
455 a
->constant
= ((p
.val
& 0xffff) | (p
.val
>> 8 & 0xf0000));
457 else if (instruction
->size
== 2)
459 p
= makelongparameter (allWords
, inst_bit_size
- 16, inst_bit_size
);
462 else if (instruction
->size
== 1 && a
->size
!= 0)
464 p
= makelongparameter (allWords
, 4, 8);
465 if (IS_INSN_MNEMONIC ("loadw")
466 || IS_INSN_MNEMONIC ("loadd")
467 || IS_INSN_MNEMONIC ("storw")
468 || IS_INSN_MNEMONIC ("stord"))
469 a
->constant
= (p
.val
* 2);
473 else /* below case for 0x0(reg pair) */
480 if ((IS_INSN_TYPE (BRANCH_INS
))
481 || (IS_INSN_MNEMONIC ("bal"))
482 || (IS_INSN_TYPE (CSTBIT_INS
))
483 || (IS_INSN_TYPE (LD_STOR_INS
)))
488 p
= makelongparameter (allWords
, 0, start_bits
);
489 a
->constant
= ((((p
.val
&0xf00)>>4)) | (p
.val
&0xf));
493 if (instruction
->size
== 3)
495 p
= makelongparameter (allWords
, 16, inst_bit_size
);
496 a
->constant
= ((((p
.val
>>16)&0xf) << 20)
497 | (((p
.val
>>24)&0xf) << 16)
500 else if (instruction
->size
== 2)
502 p
= makelongparameter (allWords
, 8, inst_bit_size
);
508 p
= makelongparameter (allWords
, inst_bit_size
- (start_bits
+
509 a
->size
), inst_bit_size
- start_bits
);
516 p
= makelongparameter (allWords
, inst_bit_size
-
517 (start_bits
+ a
->size
),
518 inst_bit_size
- start_bits
);
528 /* Print a single argument. */
531 print_arg (argument
*a
, bfd_vma memaddr
, struct disassemble_info
*info
)
533 LONGLONG longdisp
, mask
;
537 PTR stream
= info
->stream
;
538 fprintf_ftype func
= info
->fprintf_func
;
543 func (stream
, "%s", getregname (a
->r
));
547 func (stream
, "%s", getregpname (a
->rp
));
551 func (stream
, "%s", getprocregname (a
->pr
));
555 func (stream
, "%s", getprocpregname (a
->prp
));
559 func (stream
, "%s", getccstring (a
->cc
));
560 func (stream
, "%s", "\t");
564 if (IS_INSN_MNEMONIC ("excp"))
566 func (stream
, "%s", gettrapstring (a
->constant
));
569 else if ((IS_INSN_TYPE (ARITH_INS
) || IS_INSN_TYPE (ARITH_BYTE_INS
))
570 && ((instruction
->size
== 1) && (a
->constant
== 9)))
571 func (stream
, "$%d", -1);
572 else if (INST_HAS_REG_LIST
)
573 func (stream
, "$0x%lx", a
->constant
+1);
574 else if (IS_INSN_TYPE (SHIFT_INS
))
576 longdisp
= a
->constant
;
577 mask
= ((LONGLONG
)1 << a
->size
) - 1;
578 if (longdisp
& ((LONGLONG
)1 << (a
->size
-1)))
581 longdisp
= ~(longdisp
) + 1;
583 a
->constant
= (unsigned long int) (longdisp
& mask
);
584 func (stream
, "$%d", ((int)(sign_flag
? -a
->constant
:
588 func (stream
, "$0x%lx", a
->constant
);
591 case 4 : case 5 : case 6 : case 8 :
592 func (stream
, "%s", ":s"); break;
593 case 16 : case 20 : func (stream
, "%s", ":m"); break;
594 case 24 : case 32 : func (stream
, "%s", ":l"); break;
600 if (a
->i_r
== 0) func (stream
, "[r12]");
601 if (a
->i_r
== 1) func (stream
, "[r13]");
602 func (stream
, "0x%lx", a
->constant
);
603 func (stream
, "%s", print_exp_len (instruction
->size
* 16));
607 if (a
->i_r
== 0) func (stream
, "[r12]");
608 if (a
->i_r
== 1) func (stream
, "[r13]");
609 func (stream
, "0x%lx", a
->constant
);
610 func (stream
, "%s", print_exp_len (instruction
->size
* 16));
611 func (stream
, "%s", getidxregpname (a
->rp
));
615 func (stream
, "(%s)", getregname (a
->r
));
619 func (stream
, "0x%lx", a
->constant
);
620 func (stream
, "%s", print_exp_len (instruction
->size
* 16));
621 func (stream
, "(%s)", getregname (a
->r
));
625 func (stream
, "0x%lx", a
->constant
);
626 func (stream
, "%s", print_exp_len (instruction
->size
* 16));
627 func (stream
, "%s", getregpname (a
->rp
));
631 /*Removed the *2 part as because implicit zeros are no more required.
632 Have to fix this as this needs a bit of extension in terms of branch
634 if (IS_INSN_TYPE (BRANCH_INS
) || IS_INSN_MNEMONIC ("bal"))
637 longdisp
= a
->constant
;
638 /* REVISIT: To sync with WinIDEA and CR16 4.1tools, the below
640 /* longdisp <<= 1; */
641 mask
= ((LONGLONG
)1 << a
->size
) - 1;
647 if (longdisp
& ((LONGLONG
)1 << a
->size
))
650 longdisp
= ~(longdisp
) + 1;
660 longdisp
= ~(longdisp
) + 1;
665 func (stream
, "Wrong offset used in branch/bal instruction");
668 a
->constant
= (unsigned long int) (longdisp
& mask
);
670 /* For branch Neq instruction it is 2*offset + 2. */
671 else if (IS_INSN_TYPE (BRANCH_NEQ_INS
))
672 a
->constant
= 2 * a
->constant
+ 2;
674 if ((!IS_INSN_TYPE (CSTBIT_INS
)) && (!IS_INSN_TYPE (LD_STOR_INS
)))
675 (sign_flag
) ? func (stream
, "%s", "*-"): func (stream
, "%s","*+");
677 func (stream
, "%s", "0x");
678 number
= ((relative
? memaddr
: 0) +
679 (sign_flag
? ((- a
->constant
) & 0xffffffe) : a
->constant
));
681 (*info
->print_address_func
) ((number
& ((1 << 24) - 1)), info
);
683 func (stream
, "%s", print_exp_len (instruction
->size
* 16));
691 /* Print all the arguments of CURRINSN instruction. */
694 print_arguments (ins
*currInsn
, bfd_vma memaddr
, struct disassemble_info
*info
)
698 /* For "pop/push/popret RA instruction only. */
699 if ((IS_INSN_MNEMONIC ("pop")
700 || (IS_INSN_MNEMONIC ("popret")
701 || (IS_INSN_MNEMONIC ("push"))))
702 && currInsn
->nargs
== 1)
704 info
->fprintf_func (info
->stream
, "RA");
708 for (i
= 0; i
< currInsn
->nargs
; i
++)
710 processing_argument_number
= i
;
712 /* For "bal (ra), disp17" instruction only. */
713 if ((IS_INSN_MNEMONIC ("bal")) && (i
== 0) && instruction
->size
== 2)
715 info
->fprintf_func (info
->stream
, "(ra),");
719 if ((INST_HAS_REG_LIST
) && (i
== 2))
720 info
->fprintf_func (info
->stream
, "RA");
722 print_arg (&currInsn
->arg
[i
], memaddr
, info
);
724 if ((i
!= currInsn
->nargs
- 1) && (!IS_INSN_MNEMONIC ("b")))
725 info
->fprintf_func (info
->stream
, ",");
729 /* Build the instruction's arguments. */
732 make_instruction (void)
737 for (i
= 0; i
< currInsn
.nargs
; i
++)
741 memset (&a
, 0, sizeof (a
));
742 a
.type
= getargtype (instruction
->operands
[i
].op_type
);
743 a
.size
= getbits (instruction
->operands
[i
].op_type
);
744 shift
= instruction
->operands
[i
].shift
;
746 make_argument (&a
, shift
);
750 /* Calculate instruction size (in bytes). */
751 currInsn
.size
= instruction
->size
+ (size_changed
? 1 : 0);
756 /* Retrieve a single word from a given memory address. */
759 get_word_at_PC (bfd_vma memaddr
, struct disassemble_info
*info
)
765 status
= info
->read_memory_func (memaddr
, buffer
, 2, info
);
768 insn
= (wordU
) bfd_getl16 (buffer
);
773 /* Retrieve multiple words (3) from a given memory address. */
776 get_words_at_PC (bfd_vma memaddr
, struct disassemble_info
*info
)
781 for (i
= 0, mem
= memaddr
; i
< 3; i
++, mem
+= 2)
782 words
[i
] = get_word_at_PC (mem
, info
);
785 ((ULONGLONG
) words
[0] << 32) + ((unsigned long) words
[1] << 16) + words
[2];
788 /* Prints the instruction by calling print_arguments after proper matching. */
791 print_insn_cr16 (bfd_vma memaddr
, struct disassemble_info
*info
)
793 int is_decoded
; /* Nonzero means instruction has a match. */
795 /* Initialize global variables. */
799 /* Retrieve the encoding from current memory location. */
800 get_words_at_PC (memaddr
, info
);
801 /* Find a matching opcode in table. */
802 is_decoded
= match_opcode ();
803 /* If found, print the instruction's mnemonic and arguments. */
804 if (is_decoded
> 0 && (words
[0] << 16 || words
[1]) != 0)
806 if (strneq (instruction
->mnemonic
, "cinv", 4))
807 info
->fprintf_func (info
->stream
,"%s", getcinvstring (instruction
->mnemonic
));
809 info
->fprintf_func (info
->stream
, "%s", instruction
->mnemonic
);
811 if (((currInsn
.nargs
= get_number_of_operands ()) != 0)
812 && ! (IS_INSN_MNEMONIC ("b")))
813 info
->fprintf_func (info
->stream
, "\t");
815 /* For push/pop/pushrtn with RA instructions. */
816 if ((INST_HAS_REG_LIST
) && ((words
[0] >> 7) & 0x1))
818 print_arguments (&currInsn
, memaddr
, info
);
819 return currInsn
.size
;
822 /* No match found. */
823 info
->fprintf_func (info
->stream
,"%s ",ILLEGAL
);