2004-11-05 Tomer Levi <Tomer.Levi@nsc.com>
[deliverable/binutils-gdb.git] / opcodes / crx-dis.c
CommitLineData
1fe1f39c
NC
1/* Disassembler code for CRX.
2 Copyright 2004 Free Software Foundation, Inc.
3 Contributed by Tomer Levi, NSC, Israel.
4 Written by Tomer Levi.
5
6 This file is part of the GNU binutils and GDB, the GNU debugger.
7
8 This program is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option)
11 any later version.
12
13 This program is distributed in the hope that it will be useful, but WITHOUT
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
16 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21
22#include "dis-asm.h"
23#include "sysdep.h"
24#include "opcode/crx.h"
25
26/* String to print when opcode was not matched. */
27#define ILLEGAL "illegal"
28 /* Escape to 16-bit immediate. */
29#define ESCAPE_16_BIT 0xE
30
31/* Extract 'n_bits' from 'a' starting from offset 'offs'. */
32#define EXTRACT(a, offs, n_bits) \
33 (n_bits == 32 ? (((a) >> (offs)) & ~0L) \
34 : (((a) >> (offs)) & ((1 << (n_bits)) -1)))
35
36/* Set Bit Mask - a mask to set all bits starting from offset 'offs'. */
37#define SBM(offs) ((((1 << (32 - offs)) -1) << (offs)))
38
39typedef unsigned long dwordU;
40typedef unsigned short wordU;
41
42typedef struct
43{
44 dwordU val;
45 int nbits;
46} parameter;
47
48/* Structure to hold valid 'cinv' instruction options. */
49
50typedef struct
51 {
52 /* Cinv printed string. */
53 char *str;
54 /* Value corresponding to the string. */
55 unsigned int value;
56 }
57cinv_entry;
58
59/* CRX 'cinv' options. */
60const cinv_entry crx_cinvs[] =
61{
48c9f030
NC
62 {"[i]", 2}, {"[i,u]", 3}, {"[d]", 4}, {"[d,u]", 5},
63 {"[d,i]", 6}, {"[d,i,u]", 7}, {"[b]", 8},
64 {"[b,i]", 10}, {"[b,i,u]", 11}, {"[b,d]", 12},
65 {"[b,d,u]", 13}, {"[b,d,i]", 14}, {"[b,d,i,u]", 15}
1fe1f39c
NC
66};
67
a58a3762
TL
68/* Enum to distinguish different registers argument types. */
69typedef enum REG_ARG_TYPE
48c9f030 70 {
a58a3762
TL
71 /* General purpose register (r<N>). */
72 REG_ARG = 0,
73 /* User register (u<N>). */
74 USER_REG_ARG,
75 /* CO-Processor register (c<N>). */
48c9f030 76 COP_ARG,
a58a3762 77 /* CO-Processor special register (cs<N>). */
48c9f030
NC
78 COPS_ARG
79 }
a58a3762 80REG_ARG_TYPE;
48c9f030 81
1fe1f39c
NC
82/* Number of valid 'cinv' instruction options. */
83int NUMCINVS = ((sizeof crx_cinvs)/(sizeof crx_cinvs[0]));
84/* Current opcode table entry we're disassembling. */
85const inst *instruction;
86/* Current instruction we're disassembling. */
87ins currInsn;
88/* The current instruction is read into 3 consecutive words. */
89wordU words[3];
90/* Contains all words in appropriate order. */
91ULONGLONG allWords;
92/* Holds the current processed argument number. */
93int processing_argument_number;
94/* Nonzero means a CST4 instruction. */
95int cst4flag;
96/* Nonzero means the instruction's original size is
97 incremented (escape sequence is used). */
98int size_changed;
99
100static int get_number_of_operands (void);
101static argtype getargtype (operand_type);
102static int getbits (operand_type);
103static char *getregname (reg);
104static char *getcopregname (copreg, reg_type);
105static char * getprocregname (int);
106static char *gettrapstring (unsigned);
107static char *getcinvstring (unsigned);
a58a3762 108static void getregliststring (int, char *, enum REG_ARG_TYPE);
1fe1f39c
NC
109static wordU get_word_at_PC (bfd_vma, struct disassemble_info *);
110static void get_words_at_PC (bfd_vma, struct disassemble_info *);
111static unsigned long build_mask (void);
112static int powerof2 (int);
113static int match_opcode (void);
114static void make_instruction (void);
115static void print_arguments (ins *, struct disassemble_info *);
116static void print_arg (argument *, struct disassemble_info *);
117
118/* Retrieve the number of operands for the current assembled instruction. */
119
120static int
121get_number_of_operands (void)
122{
123 int i;
124
125 for (i = 0; instruction->operands[i].op_type && i < MAX_OPERANDS; i++)
126 ;
127
128 return i;
129}
130
131/* Return the bit size for a given operand. */
132
133static int
134getbits (operand_type op)
135{
136 if (op < MAX_OPRD)
137 return crx_optab[op].bit_size;
138 else
139 return 0;
140}
141
142/* Return the argument type of a given operand. */
143
144static argtype
145getargtype (operand_type op)
146{
147 if (op < MAX_OPRD)
148 return crx_optab[op].arg_type;
149 else
150 return nullargs;
151}
152
153/* Given the trap index in dispatch table, return its name.
154 This routine is used when disassembling the 'excp' instruction. */
155
156static char *
157gettrapstring (unsigned int index)
158{
159 const trap_entry *trap;
160
161 for (trap = crx_traps; trap < crx_traps + NUMTRAPS; trap++)
162 if (trap->entry == index)
163 return trap->name;
164
165 return ILLEGAL;
166}
167
168/* Given a 'cinv' instruction constant operand, return its corresponding string.
169 This routine is used when disassembling the 'cinv' instruction. */
170
171static char *
172getcinvstring (unsigned int num)
173{
174 const cinv_entry *cinv;
175
176 for (cinv = crx_cinvs; cinv < (crx_cinvs + NUMCINVS); cinv++)
177 if (cinv->value == num)
178 return cinv->str;
179
180 return ILLEGAL;
181}
182
183/* Given a register enum value, retrieve its name. */
184
185char *
186getregname (reg r)
187{
188 const reg_entry *reg = &crx_regtab[r];
189
190 if (reg->type != CRX_R_REGTYPE)
191 return ILLEGAL;
192 else
193 return reg->name;
194}
195
196/* Given a coprocessor register enum value, retrieve its name. */
197
198char *
199getcopregname (copreg r, reg_type type)
200{
201 const reg_entry *reg;
202
203 if (type == CRX_C_REGTYPE)
204 reg = &crx_copregtab[r];
205 else if (type == CRX_CS_REGTYPE)
206 reg = &crx_copregtab[r+(cs0-c0)];
207 else
208 return ILLEGAL;
209
210 return reg->name;
211}
212
213
214/* Getting a processor register name. */
215
216static char *
217getprocregname (int index)
218{
219 const reg_entry *r;
220
221 for (r = crx_regtab; r < crx_regtab + NUMREGS; r++)
222 if (r->image == index)
223 return r->name;
224
225 return "ILLEGAL REGISTER";
226}
227
228/* Get the power of two for a given integer. */
229
230static int
231powerof2 (int x)
232{
233 int product, i;
234
235 for (i = 0, product = 1; i < x; i++)
236 product *= 2;
237
238 return product;
239}
240
241/* Transform a register bit mask to a register list. */
242
243void
a58a3762 244getregliststring (int mask, char *string, enum REG_ARG_TYPE core_cop)
1fe1f39c
NC
245{
246 char temp_string[5];
247 int i;
248
249 string[0] = '{';
250 string[1] = '\0';
251
a58a3762
TL
252
253 /* A zero mask means HI/LO registers. */
254 if (mask == 0)
255 {
256 if (core_cop == USER_REG_ARG)
257 strcat (string, "ulo,uhi");
258 else
259 strcat (string, "lo,hi");
260 }
261 else
1fe1f39c 262 {
a58a3762 263 for (i = 0; i < 16; i++)
48c9f030 264 {
a58a3762 265 if (mask & 0x1)
48c9f030 266 {
a58a3762
TL
267 switch (core_cop)
268 {
269 case REG_ARG:
270 sprintf (temp_string, "r%d", i);
271 break;
272 case USER_REG_ARG:
273 sprintf (temp_string, "u%d", i);
274 break;
275 case COP_ARG:
276 sprintf (temp_string, "c%d", i);
277 break;
278 case COPS_ARG:
279 sprintf (temp_string, "cs%d", i);
280 break;
281 default:
282 break;
283 }
284 strcat (string, temp_string);
285 if (mask & 0xfffe)
286 strcat (string, ",");
48c9f030 287 }
a58a3762
TL
288 mask >>= 1;
289 }
1fe1f39c
NC
290 }
291
292 strcat (string, "}");
293}
294
295/* START and END are relating 'allWords' struct, which is 48 bits size.
296
297 START|--------|END
298 +---------+---------+---------+---------+
299 | | V | A | L |
300 +---------+---------+---------+---------+
301 0 16 32 48
302 words [0] [1] [2] */
303
304static parameter
305makelongparameter (ULONGLONG val, int start, int end)
306{
307 parameter p;
308
309 p.val = (dwordU) EXTRACT(val, 48 - end, end - start);
310 p.nbits = end - start;
311 return p;
312}
313
314/* Build a mask of the instruction's 'constant' opcode,
315 based on the instruction's printing flags. */
316
317static unsigned long
318build_mask (void)
319{
320 unsigned int print_flags;
321 unsigned long mask;
322
323 print_flags = instruction->flags & FMT_CRX;
324 switch (print_flags)
325 {
326 case FMT_1:
327 mask = 0xF0F00000;
328 break;
329 case FMT_2:
330 mask = 0xFFF0FF00;
331 break;
332 case FMT_3:
333 mask = 0xFFF00F00;
334 break;
335 case FMT_4:
336 mask = 0xFFF0F000;
337 break;
338 case FMT_5:
339 mask = 0xFFF0FFF0;
340 break;
341 default:
342 mask = SBM(instruction->match_bits);
343 break;
344 }
345
346 return mask;
347}
348
349/* Search for a matching opcode. Return 1 for success, 0 for failure. */
350
351static int
352match_opcode (void)
353{
354 unsigned long mask;
355
356 /* The instruction 'constant' opcode doewsn't exceed 32 bits. */
357 unsigned long doubleWord = words[1] + (words[0] << 16);
358
359 /* Start searching from end of instruction table. */
360 instruction = &crx_instruction[NUMOPCODES - 2];
361
362 /* Loop over instruction table until a full match is found. */
363 while (instruction >= crx_instruction)
364 {
365 mask = build_mask ();
366 if ((doubleWord & mask) == BIN(instruction->match, instruction->match_bits))
367 return 1;
368 else
369 instruction--;
370 }
371 return 0;
372}
373
374/* Set the proper parameter value for different type of arguments. */
375
376static void
377make_argument (argument * a, int start_bits)
378{
379 int inst_bit_size, total_size;
380 parameter p;
381
382 if ((instruction->size == 3) && a->size >= 16)
383 inst_bit_size = 48;
384 else
385 inst_bit_size = 32;
386
387 switch (a->type)
388 {
389 case arg_copr:
390 case arg_copsr:
391 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
392 inst_bit_size - start_bits);
393 a->cr = p.val;
394 break;
395
396 case arg_r:
397 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
398 inst_bit_size - start_bits);
399 a->r = p.val;
400 break;
401
402 case arg_ic:
403 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
404 inst_bit_size - start_bits);
405
406 if ((p.nbits == 4) && cst4flag)
407 {
408 if (IS_INSN_TYPE (CMPBR_INS) && (p.val == ESCAPE_16_BIT))
409 {
410 /* A special case, where the value is actually stored
411 in the last 4 bits. */
412 p = makelongparameter (allWords, 44, 48);
413 /* The size of the instruction should be incremented. */
414 size_changed = 1;
415 }
416
417 if (p.val == 6)
418 p.val = -1;
419 else if (p.val == 13)
420 p.val = 48;
421 else if (p.val == 5)
422 p.val = -4;
423 else if (p.val == 10)
424 p.val = 32;
425 else if (p.val == 11)
426 p.val = 20;
427 else if (p.val == 9)
428 p.val = 16;
429 }
430
431 a->constant = p.val;
432 break;
433
42048ee7 434 case arg_idxr:
1fe1f39c
NC
435 a->scale = 0;
436 total_size = a->size + 10; /* sizeof(rbase + ridx + scl2) = 10. */
437 p = makelongparameter (allWords, inst_bit_size - total_size,
438 inst_bit_size - (total_size - 4));
439 a->r = p.val;
440 p = makelongparameter (allWords, inst_bit_size - (total_size - 4),
441 inst_bit_size - (total_size - 8));
442 a->i_r = p.val;
443 p = makelongparameter (allWords, inst_bit_size - (total_size - 8),
444 inst_bit_size - (total_size - 10));
445 a->scale = p.val;
446 p = makelongparameter (allWords, inst_bit_size - (total_size - 10),
447 inst_bit_size);
448 a->constant = p.val;
449 break;
450
451 case arg_rbase:
452 p = makelongparameter (allWords, inst_bit_size - (start_bits + 4),
453 inst_bit_size - start_bits);
454 a->r = p.val;
455 break;
456
457 case arg_cr:
458 if (a->size <= 8)
459 {
460 p = makelongparameter (allWords, inst_bit_size - (start_bits + 4),
461 inst_bit_size - start_bits);
462 a->r = p.val;
463 /* Case for opc4 r dispu rbase. */
464 p = makelongparameter (allWords, inst_bit_size - (start_bits + 8),
465 inst_bit_size - (start_bits + 4));
466 }
467 else
468 {
469 /* The 'rbase' start_bits is always relative to a 32-bit data type. */
470 p = makelongparameter (allWords, 32 - (start_bits + 4),
471 32 - start_bits);
472 a->r = p.val;
473 p = makelongparameter (allWords, 32 - start_bits,
474 inst_bit_size);
475 }
476 if ((p.nbits == 4) && cst4flag)
477 {
478 if (instruction->flags & DISPUW4)
479 p.val *= 2;
480 else if (instruction->flags & DISPUD4)
481 p.val *= 4;
482 }
483 a->constant = p.val;
484 break;
485
486 case arg_c:
487 p = makelongparameter (allWords, inst_bit_size - (start_bits + a->size),
488 inst_bit_size - start_bits);
489 a->constant = p.val;
490 break;
491 default:
492 break;
493 }
494}
495
496/* Print a single argument. */
497
498static void
499print_arg (argument *a, struct disassemble_info *info)
500{
501 LONGLONG longdisp, mask;
502 char sign_flag;
503 int op_index = 0;
504 char string[200];
505 PTR stream = info->stream;
506 fprintf_ftype func = info->fprintf_func;
507
508 switch (a->type)
509 {
510 case arg_copr:
511 func (stream, "%s", getcopregname (a->cr, CRX_C_REGTYPE));
512 break;
513
514 case arg_copsr:
515 func (stream, "%s", getcopregname (a->cr, CRX_CS_REGTYPE));
516 break;
517
518 case arg_r:
519 if (IS_INSN_MNEMONIC ("mtpr") || IS_INSN_MNEMONIC ("mfpr"))
520 func (stream, "%s", getprocregname (a->r));
521 else
522 func (stream, "%s", getregname (a->r));
523 break;
524
525 case arg_ic:
526 if (IS_INSN_MNEMONIC ("excp"))
527 func (stream, "%s", gettrapstring (a->constant));
528
529 else if (IS_INSN_MNEMONIC ("cinv"))
530 func (stream, "%s", getcinvstring (a->constant));
531
532 else if (INST_HAS_REG_LIST)
533 {
a58a3762 534 REG_ARG_TYPE reg_arg_type = IS_INSN_TYPE (COP_REG_INS) ?
48c9f030 535 COP_ARG : IS_INSN_TYPE (COPS_REG_INS) ?
a58a3762
TL
536 COPS_ARG : (instruction->flags & USER_REG) ?
537 USER_REG_ARG : REG_ARG;
48c9f030 538
a58a3762 539 if ((reg_arg_type == COP_ARG) || (reg_arg_type == COPS_ARG))
48c9f030 540 {
a58a3762
TL
541 /* Check for proper argument number. */
542 if (processing_argument_number == 2)
543 {
544 getregliststring (a->constant, string, reg_arg_type);
545 func (stream, "%s", string);
546 }
547 else
548 func (stream, "$0x%x", a->constant);
48c9f030
NC
549 }
550 else
1fe1f39c 551 {
a58a3762 552 getregliststring (a->constant, string, reg_arg_type);
1fe1f39c
NC
553 func (stream, "%s", string);
554 }
1fe1f39c
NC
555 }
556 else
557 func (stream, "$0x%x", a->constant);
558 break;
559
42048ee7 560 case arg_idxr:
1fe1f39c
NC
561 func (stream, "0x%x(%s,%s,%d)", a->constant, getregname (a->r),
562 getregname (a->i_r), powerof2 (a->scale));
563 break;
564
565 case arg_rbase:
566 func (stream, "(%s)", getregname (a->r));
567 break;
568
569 case arg_cr:
570 func (stream, "0x%x(%s)", a->constant, getregname (a->r));
571
572 if (IS_INSN_TYPE (LD_STOR_INS_INC))
573 func (stream, "+");
574 break;
575
576 case arg_c:
577 /* Removed the *2 part as because implicit zeros are no more required.
578 Have to fix this as this needs a bit of extension in terms of branchins.
579 Have to add support for cmp and branch instructions. */
580 if (IS_INSN_TYPE (BRANCH_INS) || IS_INSN_MNEMONIC ("bal")
581 || IS_INSN_TYPE (CMPBR_INS) || IS_INSN_TYPE (DCR_BRANCH_INS)
582 || IS_INSN_TYPE (COP_BRANCH_INS))
583 {
584 func (stream, "%c", '*');
585 longdisp = a->constant;
586 longdisp <<= 1;
587 sign_flag = '+';
588
589 switch (a->size)
590 {
591 case 8:
592 case 16:
593 case 24:
594 case 32:
595 mask = ((LONGLONG)1 << a->size) - 1;
596 if (longdisp & ((LONGLONG)1 << a->size))
597 {
598 sign_flag = '-';
599 longdisp = ~(longdisp) + 1;
600 }
601 a->constant = (unsigned long int) (longdisp & mask);
602 break;
603 default:
604 func (stream,
605 "Wrong offset used in branch/bal instruction");
606 break;
607 }
608
609 func (stream, "%c", sign_flag);
610 }
611 /* For branch Neq instruction it is 2*offset + 2. */
612 if (IS_INSN_TYPE (BRANCH_NEQ_INS))
613 a->constant = 2 * a->constant + 2;
614 if (IS_INSN_TYPE (LD_STOR_INS_INC)
615 || IS_INSN_TYPE (LD_STOR_INS)
616 || IS_INSN_TYPE (STOR_IMM_INS)
617 || IS_INSN_TYPE (CSTBIT_INS))
618 {
619 op_index = instruction->flags & REVERSE_MATCH ? 0 : 1;
620 if (instruction->operands[op_index].op_type == abs16)
621 a->constant |= 0xFFFF0000;
622 }
623 func (stream, "0x%x", a->constant);
624 break;
625 default:
626 break;
627 }
628}
629
630/* Print all the arguments of CURRINSN instruction. */
631
632static void
633print_arguments (ins *currInsn, struct disassemble_info *info)
634{
635 int i;
636
637 for (i = 0; i < currInsn->nargs; i++)
638 {
639 processing_argument_number = i;
640
641 print_arg (&currInsn->arg[i], info);
642
643 if (i != currInsn->nargs - 1)
644 info->fprintf_func (info->stream, ", ");
645 }
646}
647
648/* Build the instruction's arguments. */
649
650static void
651make_instruction (void)
652{
653 int i;
654 unsigned int temp_value, shift;
655 argument a;
656
657 for (i = 0; i < currInsn.nargs; i++)
658 {
659 a.type = getargtype (instruction->operands[i].op_type);
660 if (instruction->operands[i].op_type == cst4
661 || instruction->operands[i].op_type == rbase_cst4)
662 cst4flag = 1;
663 a.size = getbits (instruction->operands[i].op_type);
664 shift = instruction->operands[i].shift;
665
666 make_argument (&a, shift);
667 currInsn.arg[i] = a;
668 }
669
670 /* Calculate instruction size (in bytes). */
671 currInsn.size = instruction->size + (size_changed ? 1 : 0);
672 currInsn.size *= 2;
673
674 /* Swapping first and second arguments. */
675 if (IS_INSN_TYPE (COP_BRANCH_INS))
676 {
677 temp_value = currInsn.arg[0].constant;
678 currInsn.arg[0].constant = currInsn.arg[1].constant;
679 currInsn.arg[1].constant = temp_value;
680 }
681}
682
683/* Retrieve a single word from a given memory address. */
684
685static wordU
686get_word_at_PC (bfd_vma memaddr, struct disassemble_info *info)
687{
688 bfd_byte buffer[4];
689 int status;
690 wordU insn = 0;
691
692 status = info->read_memory_func (memaddr, buffer, 2, info);
693
694 if (status == 0)
695 insn = (wordU) bfd_getl16 (buffer);
696
697 return insn;
698}
699
700/* Retrieve multiple words (3) from a given memory address. */
701
702static void
703get_words_at_PC (bfd_vma memaddr, struct disassemble_info *info)
704{
705 int i;
706 bfd_vma mem;
707
708 for (i = 0, mem = memaddr; i < 3; i++, mem += 2)
709 words[i] = get_word_at_PC (mem, info);
710
711 allWords =
712 ((ULONGLONG) words[0] << 32) + ((unsigned long) words[1] << 16) + words[2];
713}
714
715/* Prints the instruction by calling print_arguments after proper matching. */
716
717int
718print_insn_crx (memaddr, info)
719 bfd_vma memaddr;
720 struct disassemble_info *info;
721{
722 int is_decoded; /* Nonzero means instruction has a match. */
723
724 /* Initialize global variables. */
725 cst4flag = 0;
726 size_changed = 0;
727
728 /* Retrieve the encoding from current memory location. */
729 get_words_at_PC (memaddr, info);
730 /* Find a matching opcode in table. */
731 is_decoded = match_opcode ();
732 /* If found, print the instruction's mnemonic and arguments. */
733 if (is_decoded > 0 && (words[0] << 16 || words[1]) != 0)
734 {
735 info->fprintf_func (info->stream, "%s", instruction->mnemonic);
736 if ((currInsn.nargs = get_number_of_operands ()) != 0)
737 info->fprintf_func (info->stream, "\t");
738 make_instruction ();
739 print_arguments (&currInsn, info);
740 return currInsn.size;
741 }
742
743 /* No match found. */
744 info->fprintf_func (info->stream,"%s ",ILLEGAL);
745 return 2;
746}
This page took 0.067309 seconds and 4 git commands to generate.