2009-06-12 Tristan Gingold <gingold@adacore.com>
[binutils.git] / opcodes / cr16-dis.c
blob2627141d0faef76941bbb6976e6d2a8d1ec41766
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)
10 any later version.
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
15 more details.
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. */
21 #include "dis-asm.h"
22 #include "sysdep.h"
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;
42 typedef struct
44 dwordU val;
45 int nbits;
46 } parameter;
48 /* Structure to map valid 'cinv' instruction options. */
50 typedef struct
52 /* Cinv printed string. */
53 char *istr;
54 /* Value corresponding to the string. */
55 char *ostr;
57 cinv_entry;
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>). */
77 REG_ARG = 0,
78 /*Processor register */
79 P_ARG,
81 REG_ARG_TYPE;
83 /* Current opcode table entry we're disassembling. */
84 const inst *instruction;
85 /* Current instruction we're disassembling. */
86 ins currInsn;
87 /* The current instruction is read into 3 consecutive words. */
88 wordU words[3];
89 /* Contains all words in appropriate order. */
90 ULONGLONG allWords;
91 /* Holds the current processed argument number. */
92 int processing_argument_number;
93 /* Nonzero means a IMM4 instruction. */
94 int imm4flag;
95 /* Nonzero means the instruction's original size is
96 incremented (escape sequence is used). */
97 int size_changed;
100 /* Print the constant expression length. */
102 static char *
103 print_exp_len (int size)
105 switch (size)
107 case 4:
108 case 5:
109 case 6:
110 case 8:
111 case 14:
112 case 16:
113 return ":s";
114 case 20:
115 case 24:
116 case 32:
117 return ":m";
118 case 48:
119 return ":l";
120 default:
121 return "";
126 /* Retrieve the number of operands for the current assembled instruction. */
128 static int
129 get_number_of_operands (void)
131 int i;
133 for (i = 0; instruction->operands[i].op_type && i < MAX_OPERANDS; i++)
136 return i;
139 /* Return the bit size for a given operand. */
141 static int
142 getbits (operand_type op)
144 if (op < MAX_OPRD)
145 return cr16_optab[op].bit_size;
147 return 0;
150 /* Return the argument type of a given operand. */
152 static argtype
153 getargtype (operand_type op)
155 if (op < MAX_OPRD)
156 return cr16_optab[op].arg_type;
158 return nullargs;
161 /* Given a 'CC' instruction constant operand, return its corresponding
162 string. This routine is used when disassembling the 'CC' instruction. */
164 static char *
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. */
174 static char *
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)
181 return cinv->ostr;
183 return ILLEGAL;
186 /* Given the trap index in dispatch table, return its name.
187 This routine is used when disassembling the 'excp' instruction. */
189 static char *
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)
196 return trap->name;
198 return ILLEGAL;
201 /* Given a register enum value, retrieve its name. */
203 static char *
204 getregname (reg r)
206 const reg_entry *reg = cr16_regtab + r;
208 if (reg->type != CR16_R_REGTYPE)
209 return ILLEGAL;
211 return reg->name;
214 /* Given a register pair enum value, retrieve its name. */
216 static char *
217 getregpname (reg r)
219 const reg_entry *reg = cr16_regptab + r;
221 if (reg->type != CR16_RP_REGTYPE)
222 return ILLEGAL;
224 return reg->name;
227 /* Given a index register pair enum value, retrieve its name. */
229 static char *
230 getidxregpname (reg r)
232 const reg_entry *reg;
234 switch (r)
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;
244 default:
245 break;
248 reg = cr16_regptab + r;
250 if (reg->type != CR16_RP_REGTYPE)
251 return ILLEGAL;
253 return reg->name;
256 /* Getting a processor register name. */
258 static char *
259 getprocregname (int index)
261 const reg_entry *r;
263 for (r = cr16_pregtab; r < cr16_pregtab + NUMPREGS; r++)
264 if (r->image == index)
265 return r->name;
267 return "ILLEGAL REGISTER";
270 /* Getting a processor register name - 32 bit size. */
272 static char *
273 getprocpregname (int index)
275 const reg_entry *r;
277 for (r = cr16_pregptab; r < cr16_pregptab + NUMPREGPS; r++)
278 if (r->image == index)
279 return r->name;
281 return "ILLEGAL REGISTER";
284 /* START and END are relating 'allWords' struct, which is 48 bits size.
286 START|--------|END
287 +---------+---------+---------+---------+
288 | | V | A | L |
289 +---------+---------+---------+---------+
290 0 16 32 48
291 words [0] [1] [2] */
293 static parameter
294 makelongparameter (ULONGLONG val, int start, int end)
296 parameter p;
298 p.val = (dwordU) EXTRACT (val, 48 - end, end - start);
299 p.nbits = end - start;
300 return p;
303 /* Build a mask of the instruction's 'constant' opcode,
304 based on the instruction's printing flags. */
306 static unsigned long
307 build_mask (void)
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))
313 mask = 0xff0f0000;
315 return mask;
318 /* Search for a matching opcode. Return 1 for success, 0 for failure. */
320 static int
321 match_opcode (void)
323 unsigned long mask;
324 /* The instruction 'constant' opcode doewsn't exceed 32 bits. */
325 unsigned long doubleWord = (words[1] + (words[0] << 16)) & 0xffffffff;
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 /* Adjust mask for bcond with 32-bit size instruction */
335 if ((IS_INSN_MNEMONIC("b") && instruction->size == 2))
336 mask = 0xff0f0000;
338 if ((doubleWord & mask) == BIN (instruction->match,
339 instruction->match_bits))
340 return 1;
341 else
342 instruction--;
344 return 0;
347 /* Set the proper parameter value for different type of arguments. */
349 static void
350 make_argument (argument * a, int start_bits)
352 int inst_bit_size;
353 parameter p;
355 if ((instruction->size == 3) && a->size >= 16)
356 inst_bit_size = 48;
357 else
358 inst_bit_size = 32;
360 switch (a->type)
362 case arg_r:
363 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
364 inst_bit_size - start_bits);
365 a->r = p.val;
366 break;
368 case arg_rp:
369 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
370 inst_bit_size - start_bits);
371 a->rp = p.val;
372 break;
374 case arg_pr:
375 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
376 inst_bit_size - start_bits);
377 a->pr = p.val;
378 break;
380 case arg_prp:
381 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
382 inst_bit_size - start_bits);
383 a->prp = p.val;
384 break;
386 case arg_ic:
387 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
388 inst_bit_size - start_bits);
389 a->constant = p.val;
390 break;
392 case arg_cc:
393 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
394 inst_bit_size - start_bits);
396 a->cc = p.val;
397 break;
399 case arg_idxr:
400 if ((IS_INSN_MNEMONIC ("cbitb"))
401 || (IS_INSN_MNEMONIC ("sbitb"))
402 || (IS_INSN_MNEMONIC ("tbitb")))
403 p = makelongparameter (allWords, 8, 9);
404 else
405 p = makelongparameter (allWords, 9, 10);
406 a->i_r = p.val;
407 p = makelongparameter (allWords, inst_bit_size - a->size, inst_bit_size);
408 a->constant = p.val;
409 break;
411 case arg_idxrp:
412 p = makelongparameter (allWords, start_bits + 12, start_bits + 13);
413 a->i_r = p.val;
414 p = makelongparameter (allWords, start_bits + 13, start_bits + 16);
415 a->rp = p.val;
416 if (inst_bit_size > 32)
418 p = makelongparameter (allWords, inst_bit_size - start_bits - 12,
419 inst_bit_size);
420 a->constant = ((p.val & 0xffff) | (p.val >> 8 & 0xf0000));
422 else if (instruction->size == 2)
424 p = makelongparameter (allWords, inst_bit_size - 22, inst_bit_size);
425 a->constant = (p.val & 0xf) | (((p.val >>20) & 0x3) << 4)
426 | ((p.val >>14 & 0x3) << 6) | (((p.val >>7) & 0x1f) <<7);
428 else if (instruction->size == 1 && a->size == 0)
429 a->constant = 0;
431 break;
433 case arg_rbase:
434 p = makelongparameter (allWords, inst_bit_size, inst_bit_size);
435 a->constant = p.val;
436 p = makelongparameter (allWords, inst_bit_size - (start_bits + 4),
437 inst_bit_size - start_bits);
438 a->r = p.val;
439 break;
441 case arg_cr:
442 p = makelongparameter (allWords, start_bits + 12, start_bits + 16);
443 a->r = p.val;
444 p = makelongparameter (allWords, inst_bit_size - 16, inst_bit_size);
445 a->constant = p.val;
446 break;
448 case arg_crp:
449 if (instruction->size == 1)
450 p = makelongparameter (allWords, 12, 16);
451 else
452 p = makelongparameter (allWords, start_bits + 12, start_bits + 16);
453 a->rp = p.val;
455 if (inst_bit_size > 32)
457 p = makelongparameter (allWords, inst_bit_size - start_bits - 12,
458 inst_bit_size);
459 a->constant = ((p.val & 0xffff) | (p.val >> 8 & 0xf0000));
461 else if (instruction->size == 2)
463 p = makelongparameter (allWords, inst_bit_size - 16, inst_bit_size);
464 a->constant = p.val;
466 else if (instruction->size == 1 && a->size != 0)
468 p = makelongparameter (allWords, 4, 8);
469 if (IS_INSN_MNEMONIC ("loadw")
470 || IS_INSN_MNEMONIC ("loadd")
471 || IS_INSN_MNEMONIC ("storw")
472 || IS_INSN_MNEMONIC ("stord"))
473 a->constant = (p.val * 2);
474 else
475 a->constant = p.val;
477 else /* below case for 0x0(reg pair) */
478 a->constant = 0;
480 break;
482 case arg_c:
484 if ((IS_INSN_TYPE (BRANCH_INS))
485 || (IS_INSN_MNEMONIC ("bal"))
486 || (IS_INSN_TYPE (CSTBIT_INS))
487 || (IS_INSN_TYPE (LD_STOR_INS)))
489 switch (a->size)
491 case 8 :
492 p = makelongparameter (allWords, 0, start_bits);
493 a->constant = ((((p.val&0xf00)>>4)) | (p.val&0xf));
494 break;
496 case 24:
497 if (instruction->size == 3)
499 p = makelongparameter (allWords, 16, inst_bit_size);
500 a->constant = ((((p.val>>16)&0xf) << 20)
501 | (((p.val>>24)&0xf) << 16)
502 | (p.val & 0xffff));
504 else if (instruction->size == 2)
506 p = makelongparameter (allWords, 8, inst_bit_size);
507 a->constant = p.val;
509 break;
511 default:
512 p = makelongparameter (allWords, inst_bit_size - (start_bits +
513 a->size), inst_bit_size - start_bits);
514 a->constant = p.val;
515 break;
518 else
520 p = makelongparameter (allWords, inst_bit_size -
521 (start_bits + a->size),
522 inst_bit_size - start_bits);
523 a->constant = p.val;
525 break;
527 default:
528 break;
532 /* Print a single argument. */
534 static void
535 print_arg (argument *a, bfd_vma memaddr, struct disassemble_info *info)
537 LONGLONG longdisp, mask;
538 int sign_flag = 0;
539 int relative = 0;
540 bfd_vma number;
541 PTR stream = info->stream;
542 fprintf_ftype func = info->fprintf_func;
544 switch (a->type)
546 case arg_r:
547 func (stream, "%s", getregname (a->r));
548 break;
550 case arg_rp:
551 func (stream, "%s", getregpname (a->rp));
552 break;
554 case arg_pr:
555 func (stream, "%s", getprocregname (a->pr));
556 break;
558 case arg_prp:
559 func (stream, "%s", getprocpregname (a->prp));
560 break;
562 case arg_cc:
563 func (stream, "%s", getccstring (a->cc));
564 func (stream, "%s", "\t");
565 break;
567 case arg_ic:
568 if (IS_INSN_MNEMONIC ("excp"))
570 func (stream, "%s", gettrapstring (a->constant));
571 break;
573 else if ((IS_INSN_TYPE (ARITH_INS) || IS_INSN_TYPE (ARITH_BYTE_INS))
574 && ((instruction->size == 1) && (a->constant == 9)))
575 func (stream, "$%d", -1);
576 else if (INST_HAS_REG_LIST)
577 func (stream, "$0x%lx", a->constant +1);
578 else if (IS_INSN_TYPE (SHIFT_INS))
580 longdisp = a->constant;
581 mask = ((LONGLONG)1 << a->size) - 1;
582 if (longdisp & ((LONGLONG)1 << (a->size -1)))
584 sign_flag = 1;
585 longdisp = ~(longdisp) + 1;
587 a->constant = (unsigned long int) (longdisp & mask);
588 func (stream, "$%d", ((int)(sign_flag ? -a->constant :
589 a->constant)));
591 else
592 func (stream, "$0x%lx", a->constant);
593 switch (a->size)
595 case 4 : case 5 : case 6 : case 8 :
596 func (stream, "%s", ":s"); break;
597 case 16 : case 20 : func (stream, "%s", ":m"); break;
598 case 24 : case 32 : func (stream, "%s", ":l"); break;
599 default: break;
601 break;
603 case arg_idxr:
604 if (a->i_r == 0) func (stream, "[r12]");
605 if (a->i_r == 1) func (stream, "[r13]");
606 func (stream, "0x%lx", a->constant);
607 func (stream, "%s", print_exp_len (instruction->size * 16));
608 break;
610 case arg_idxrp:
611 if (a->i_r == 0) func (stream, "[r12]");
612 if (a->i_r == 1) func (stream, "[r13]");
613 func (stream, "0x%lx", a->constant);
614 func (stream, "%s", print_exp_len (instruction->size * 16));
615 func (stream, "%s", getidxregpname (a->rp));
616 break;
618 case arg_rbase:
619 func (stream, "(%s)", getregname (a->r));
620 break;
622 case arg_cr:
623 func (stream, "0x%lx", a->constant);
624 func (stream, "%s", print_exp_len (instruction->size * 16));
625 func (stream, "(%s)", getregname (a->r));
626 break;
628 case arg_crp:
629 func (stream, "0x%lx", a->constant);
630 func (stream, "%s", print_exp_len (instruction->size * 16));
631 func (stream, "%s", getregpname (a->rp));
632 break;
634 case arg_c:
635 /*Removed the *2 part as because implicit zeros are no more required.
636 Have to fix this as this needs a bit of extension in terms of branch
637 instructions. */
638 if (IS_INSN_TYPE (BRANCH_INS) || IS_INSN_MNEMONIC ("bal"))
640 relative = 1;
641 longdisp = a->constant;
642 /* REVISIT: To sync with WinIDEA and CR16 4.1tools, the below
643 line commented */
644 /* longdisp <<= 1; */
645 mask = ((LONGLONG)1 << a->size) - 1;
646 switch (a->size)
648 case 8 :
650 longdisp <<= 1;
651 if (longdisp & ((LONGLONG)1 << a->size))
653 sign_flag = 1;
654 longdisp = ~(longdisp) + 1;
656 break;
658 case 16 :
659 case 24 :
661 if (longdisp & 1)
663 sign_flag = 1;
664 longdisp = ~(longdisp) + 1;
666 break;
668 default:
669 func (stream, "Wrong offset used in branch/bal instruction");
670 break;
672 a->constant = (unsigned long int) (longdisp & mask);
674 /* For branch Neq instruction it is 2*offset + 2. */
675 else if (IS_INSN_TYPE (BRANCH_NEQ_INS))
676 a->constant = 2 * a->constant + 2;
678 if ((!IS_INSN_TYPE (CSTBIT_INS)) && (!IS_INSN_TYPE (LD_STOR_INS)))
679 (sign_flag) ? func (stream, "%s", "*-"): func (stream, "%s","*+");
681 func (stream, "%s", "0x");
682 number = ((relative ? memaddr : 0) +
683 (sign_flag ? ((- a->constant) & 0xffffffe) : a->constant));
685 (*info->print_address_func) ((number & ((1 << 24) - 1)), info);
687 func (stream, "%s", print_exp_len (instruction->size * 16));
688 break;
690 default:
691 break;
695 /* Print all the arguments of CURRINSN instruction. */
697 static void
698 print_arguments (ins *currInsn, bfd_vma memaddr, struct disassemble_info *info)
700 int i;
702 /* For "pop/push/popret RA instruction only. */
703 if ((IS_INSN_MNEMONIC ("pop")
704 || (IS_INSN_MNEMONIC ("popret")
705 || (IS_INSN_MNEMONIC ("push"))))
706 && currInsn->nargs == 1)
708 info->fprintf_func (info->stream, "RA");
709 return;
712 for (i = 0; i < currInsn->nargs; i++)
714 processing_argument_number = i;
716 /* For "bal (ra), disp17" instruction only. */
717 if ((IS_INSN_MNEMONIC ("bal")) && (i == 0) && instruction->size == 2)
719 info->fprintf_func (info->stream, "(ra),");
720 continue;
723 if ((INST_HAS_REG_LIST) && (i == 2))
724 info->fprintf_func (info->stream, "RA");
725 else
726 print_arg (&currInsn->arg[i], memaddr, info);
728 if ((i != currInsn->nargs - 1) && (!IS_INSN_MNEMONIC ("b")))
729 info->fprintf_func (info->stream, ",");
733 /* Build the instruction's arguments. */
735 static void
736 make_instruction (void)
738 int i;
739 unsigned int shift;
741 for (i = 0; i < currInsn.nargs; i++)
743 argument a;
745 memset (&a, 0, sizeof (a));
746 a.type = getargtype (instruction->operands[i].op_type);
747 a.size = getbits (instruction->operands[i].op_type);
748 shift = instruction->operands[i].shift;
750 make_argument (&a, shift);
751 currInsn.arg[i] = a;
754 /* Calculate instruction size (in bytes). */
755 currInsn.size = instruction->size + (size_changed ? 1 : 0);
756 /* Now in bits. */
757 currInsn.size *= 2;
760 /* Retrieve a single word from a given memory address. */
762 static wordU
763 get_word_at_PC (bfd_vma memaddr, struct disassemble_info *info)
765 bfd_byte buffer[4];
766 int status;
767 wordU insn = 0;
769 status = info->read_memory_func (memaddr, buffer, 2, info);
771 if (status == 0)
772 insn = (wordU) bfd_getl16 (buffer);
774 return insn;
777 /* Retrieve multiple words (3) from a given memory address. */
779 static void
780 get_words_at_PC (bfd_vma memaddr, struct disassemble_info *info)
782 int i;
783 bfd_vma mem;
785 for (i = 0, mem = memaddr; i < 3; i++, mem += 2)
786 words[i] = get_word_at_PC (mem, info);
788 allWords =
789 ((ULONGLONG) words[0] << 32) + ((unsigned long) words[1] << 16) + words[2];
792 /* Prints the instruction by calling print_arguments after proper matching. */
795 print_insn_cr16 (bfd_vma memaddr, struct disassemble_info *info)
797 int is_decoded; /* Nonzero means instruction has a match. */
799 /* Initialize global variables. */
800 imm4flag = 0;
801 size_changed = 0;
803 /* Retrieve the encoding from current memory location. */
804 get_words_at_PC (memaddr, info);
805 /* Find a matching opcode in table. */
806 is_decoded = match_opcode ();
807 /* If found, print the instruction's mnemonic and arguments. */
808 if (is_decoded > 0 && (words[0] << 16 || words[1]) != 0)
810 if (strneq (instruction->mnemonic, "cinv", 4))
811 info->fprintf_func (info->stream,"%s", getcinvstring (instruction->mnemonic));
812 else
813 info->fprintf_func (info->stream, "%s", instruction->mnemonic);
815 if (((currInsn.nargs = get_number_of_operands ()) != 0)
816 && ! (IS_INSN_MNEMONIC ("b")))
817 info->fprintf_func (info->stream, "\t");
818 make_instruction ();
819 /* For push/pop/pushrtn with RA instructions. */
820 if ((INST_HAS_REG_LIST) && ((words[0] >> 7) & 0x1))
821 currInsn.nargs +=1;
822 print_arguments (&currInsn, memaddr, info);
823 return currInsn.size;
826 /* No match found. */
827 info->fprintf_func (info->stream,"%s ",ILLEGAL);
828 return 2;