1 /* Disassemble i80960 instructions.
2 Copyright (C) 1990, 1991 Free Software Foundation, Inc.
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2, or (at your option)
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program; see the file COPYING. If not, write to
16 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
20 static const char *const reg_names[] = {
21 /* 0 */ "pfp", "sp", "rip", "r3", "r4", "r5", "r6", "r7",
22 /* 8 */ "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
23 /* 16 */ "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
24 /* 24 */ "g8", "g9", "g10", "g11", "g12", "g13", "g14", "fp",
25 /* 32 */ "pc", "ac", "ip", "tc", "fp0", "fp1", "fp2", "fp3"
29 static FILE *stream; /* Output goes here */
30 static struct disassemble_info *info;
31 static void print_addr();
39 static void invalid();
41 static void put_abs();
44 /* Print the i960 instruction at address 'memaddr' in debugged memory,
45 on INFO->STREAM. Returns length of the instruction, in bytes. */
48 print_insn_i960 (memaddr, info_arg)
50 struct disassemble_info *info_arg;
52 unsigned int word1, word2 = 0xdeadbeef;
57 stream = info->stream;
59 /* Read word1. Only read word2 if the instruction
60 needs it, to prevent reading past the end of a section. */
62 status = (*info->read_memory_func) (memaddr, (bfd_byte *) buffer, 4, info);
65 (*info->memory_error_func) (status, memaddr, info);
69 word1 = bfd_getl32 (buffer);
71 /* Divide instruction set into classes based on high 4 bits of opcode. */
72 switch ( (word1 >> 28) & 0xf )
82 status = (*info->read_memory_func)
83 (memaddr + 4, (bfd_byte *) (buffer + 4), 4, info);
86 (*info->memory_error_func) (status, memaddr, info);
89 word2 = bfd_getl32 (buffer + 4);
93 return pinsn( memaddr, word1, word2 );
98 /*****************************************************************************
99 * All code below this point should be identical with that of
100 * the disassembler in gdmp960.
102 A noble sentiment, but at least in cosmetic ways (info->fprintf_func), it
103 just ain't so. -kingdon, 31 Mar 93
104 *****************************************************************************/
111 struct sparse_tabent {
118 pinsn( memaddr, word1, word2 )
119 unsigned long memaddr;
120 unsigned long word1, word2;
125 put_abs( word1, word2 );
127 /* Divide instruction set into classes based on high 4 bits of opcode*/
128 switch ( (word1 >> 28) & 0xf ){
131 ctrl( memaddr, word1, word2 );
135 cobr( memaddr, word1, word2 );
147 instr_len = mem( memaddr, word1, word2, 0 );
150 /* invalid instruction, print as data word */
157 /****************************************/
159 /****************************************/
161 ctrl( memaddr, word1, word2 )
162 unsigned long memaddr;
163 unsigned long word1, word2;
166 static const struct tabent ctrl_tab[] = {
176 "call", 1, /* 0x09 */
191 "faultno", 0, /* 0x18 */
192 "faultg", 0, /* 0x19 */
193 "faulte", 0, /* 0x1a */
194 "faultge", 0, /* 0x1b */
195 "faultl", 0, /* 0x1c */
196 "faultne", 0, /* 0x1d */
197 "faultle", 0, /* 0x1e */
198 "faulto", 0, /* 0x1f */
201 i = (word1 >> 24) & 0xff;
202 if ( (ctrl_tab[i].name == NULL) || ((word1 & 1) != 0) ){
207 (*info->fprintf_func) ( stream, ctrl_tab[i].name );
208 if ( word1 & 2 ){ /* Predicts branch not taken */
209 (*info->fprintf_func) ( stream, ".f" );
212 if ( ctrl_tab[i].numops == 1 ){
213 /* EXTRACT DISPLACEMENT AND CONVERT TO ADDRESS */
215 if ( word1 & 0x00800000 ){ /* Sign bit is set */
216 word1 |= (-1 & ~0xffffff); /* Sign extend */
218 (*info->fprintf_func)( stream, "\t" );
219 print_addr( word1 + memaddr );
223 /****************************************/
225 /****************************************/
227 cobr( memaddr, word1, word2 )
228 unsigned long memaddr;
229 unsigned long word1, word2;
235 static const struct tabent cobr_tab[] = {
236 "testno", 1, /* 0x20 */
237 "testg", 1, /* 0x21 */
238 "teste", 1, /* 0x22 */
239 "testge", 1, /* 0x23 */
240 "testl", 1, /* 0x24 */
241 "testne", 1, /* 0x25 */
242 "testle", 1, /* 0x26 */
243 "testo", 1, /* 0x27 */
253 "cmpobg", 3, /* 0x31 */
254 "cmpobe", 3, /* 0x32 */
255 "cmpobge", 3, /* 0x33 */
256 "cmpobl", 3, /* 0x34 */
257 "cmpobne", 3, /* 0x35 */
258 "cmpoble", 3, /* 0x36 */
260 "cmpibno", 3, /* 0x38 */
261 "cmpibg", 3, /* 0x39 */
262 "cmpibe", 3, /* 0x3a */
263 "cmpibge", 3, /* 0x3b */
264 "cmpibl", 3, /* 0x3c */
265 "cmpibne", 3, /* 0x3d */
266 "cmpible", 3, /* 0x3e */
267 "cmpibo", 3, /* 0x3f */
270 i = ((word1 >> 24) & 0xff) - 0x20;
271 if ( cobr_tab[i].name == NULL ){
276 (*info->fprintf_func) ( stream, cobr_tab[i].name );
277 if ( word1 & 2 ){ /* Predicts branch not taken */
278 (*info->fprintf_func) ( stream, ".f" );
280 (*info->fprintf_func)( stream, "\t" );
282 src1 = (word1 >> 19) & 0x1f;
283 src2 = (word1 >> 14) & 0x1f;
285 if ( word1 & 0x02000 ){ /* M1 is 1 */
286 (*info->fprintf_func)( stream, "%d", src1 );
287 } else { /* M1 is 0 */
288 (*info->fprintf_func)( stream, reg_names[src1] );
291 if ( cobr_tab[i].numops > 1 ){
292 if ( word1 & 1 ){ /* S2 is 1 */
293 (*info->fprintf_func)( stream, ",sf%d,", src2 );
294 } else { /* S1 is 0 */
295 (*info->fprintf_func)( stream, ",%s,", reg_names[src2] );
298 /* Extract displacement and convert to address
301 if ( word1 & 0x00001000 ){ /* Negative displacement */
302 word1 |= (-1 & ~0x1fff); /* Sign extend */
304 print_addr( memaddr + word1 );
308 /****************************************/
310 /****************************************/
311 static int /* returns instruction length: 4 or 8 */
312 mem( memaddr, word1, word2, noprint )
313 unsigned long memaddr;
314 unsigned long word1, word2;
315 int noprint; /* If TRUE, return instruction length, but
316 * don't output any text.
323 const char *reg1, *reg2, *reg3;
325 /* This lookup table is too sparse to make it worth typing in, but not
326 so large as to make a sparse array necessary. We create the table
330 * NOTE: In this table, the meaning of 'numops' is:
332 * 2: 2 operands, load instruction
333 * -2: 2 operands, store instruction
335 static struct tabent *mem_tab;
336 /* Opcodes of 0x8X, 9X, aX, bX, and cX must be in the table. */
339 #define MEM_SIZ ( * sizeof(struct tabent))
341 static const struct sparse_tabent mem_init[] = {
364 static struct tabent mem_tab_buf[MEM_MAX - MEM_MIN + 1];
366 if ( mem_tab == NULL ){
367 mem_tab = mem_tab_buf;
368 for ( i = 0; mem_init[i].opcode != 0; i++ ){
369 j = mem_init[i].opcode - MEM_MIN;
370 mem_tab[j].name = mem_init[i].name;
371 mem_tab[j].numops = mem_init[i].numops;
375 i = ((word1 >> 24) & 0xff) - MEM_MIN;
376 mode = (word1 >> 10) & 0xf;
378 if ( (mem_tab[i].name != NULL) /* Valid instruction */
379 && ((mode == 5) || (mode >=12)) ){ /* With 32-bit displacement */
389 if ( (mem_tab[i].name == NULL) || (mode == 6) ){
394 (*info->fprintf_func)( stream, "%s\t", mem_tab[i].name );
396 reg1 = reg_names[ (word1 >> 19) & 0x1f ]; /* MEMB only */
397 reg2 = reg_names[ (word1 >> 14) & 0x1f ];
398 reg3 = reg_names[ word1 & 0x1f ]; /* MEMB only */
399 offset = word1 & 0xfff; /* MEMA only */
401 switch ( mem_tab[i].numops ){
403 case 2: /* LOAD INSTRUCTION */
404 if ( mode & 4 ){ /* MEMB FORMAT */
405 ea( memaddr, mode, reg2, reg3, word1, word2 );
406 (*info->fprintf_func)( stream, ",%s", reg1 );
407 } else { /* MEMA FORMAT */
408 (*info->fprintf_func)( stream, "0x%x", (unsigned) offset );
410 (*info->fprintf_func)( stream, "(%s)", reg2 );
412 (*info->fprintf_func)( stream, ",%s", reg1 );
416 case -2: /* STORE INSTRUCTION */
417 if ( mode & 4 ){ /* MEMB FORMAT */
418 (*info->fprintf_func)( stream, "%s,", reg1 );
419 ea( memaddr, mode, reg2, reg3, word1, word2 );
420 } else { /* MEMA FORMAT */
421 (*info->fprintf_func)( stream, "%s,0x%x", reg1, (unsigned) offset );
423 (*info->fprintf_func)( stream, "(%s)", reg2 );
428 case 1: /* BX/CALLX INSTRUCTION */
429 if ( mode & 4 ){ /* MEMB FORMAT */
430 ea( memaddr, mode, reg2, reg3, word1, word2 );
431 } else { /* MEMA FORMAT */
432 (*info->fprintf_func)( stream, "0x%x", (unsigned) offset );
434 (*info->fprintf_func)( stream, "(%s)", reg2 );
443 /****************************************/
445 /****************************************/
458 /* This lookup table is too sparse to make it worth typing in, but not
459 so large as to make a sparse array necessary. We create the table
463 * NOTE: In this table, the meaning of 'numops' is:
464 * 1: single operand, which is NOT a destination.
465 * -1: single operand, which IS a destination.
466 * 2: 2 operands, the 2nd of which is NOT a destination.
467 * -2: 2 operands, the 2nd of which IS a destination.
470 * If an opcode mnemonic begins with "F", it is a floating-point
471 * opcode (the "F" is not printed).
474 static struct tabent *reg_tab;
475 static const struct sparse_tabent reg_init[] = {
476 #define REG_MIN 0x580
491 0x58f, "alterbit", 3,
496 0x594, "cmpob", 2, /* xl */
497 0x595, "cmpib", 2, /* xl */
498 0x596, "cmpos", 2, /* xl */
499 0x597, "cmpis", 2, /* xl */
514 0x5ac, "scanbyte", 2,
515 0x5ad, "bswap", -2, /* xl */
519 0x5b4, "intdis", 0, /* xl */
520 0x5b5, "inten", 0, /* xl */
534 0x613, "inspacc", -2,
540 0x640, "spanbit", -2,
541 0x641, "scanbit", -2,
546 0x646, "condrec", -2,
551 0x656, "receive", -2,
552 0x658, "intctl", -2, /* xl */
554 0x65b, "icctl", 3, /* xl */
555 0x65c, "dcctl", 3, /* xl */
556 0x65d, "halt", 0, /* xl */
559 0x663, "sendserv", 1,
560 0x664, "resumprcs", 1,
561 0x665, "schedprcs", 1,
562 0x666, "saveprcs", 0,
563 0x668, "condwait", 1,
568 0x66d, "flushreg", 0,
574 0x675, "Fcvtilr", -2,
575 0x676, "Fscalerl", 3,
585 0x68a, "Flogbnr", -2,
586 0x68b, "Froundr", -2,
592 0x691, "Flogeprl", 3,
597 0x698, "Fsqrtrl", -2,
599 0x69a, "Flogbnrl", -2,
600 0x69b, "Froundrl", -2,
604 0x69f, "Fclassrl", 1,
606 0x6c1, "Fcvtril", -2,
607 0x6c2, "Fcvtzri", -2,
608 0x6c3, "Fcvtzril", -2,
613 0x6e3, "Fcpyrsre", 3,
621 0x780, "addono", 3, /* xl */
622 0x781, "addino", 3, /* xl */
623 0x782, "subono", 3, /* xl */
624 0x783, "subino", 3, /* xl */
625 0x784, "selno", 3, /* xl */
630 0x790, "addog", 3, /* xl */
631 0x791, "addig", 3, /* xl */
632 0x792, "subog", 3, /* xl */
633 0x793, "subig", 3, /* xl */
634 0x794, "selg", 3, /* xl */
639 #define REG_MAX 0x79f
640 0x7a0, "addoe", 3, /* xl */
641 0x7a1, "addie", 3, /* xl */
642 0x7a2, "suboe", 3, /* xl */
643 0x7a3, "subie", 3, /* xl */
644 0x7a4, "sele", 3, /* xl */
645 0x7b0, "addoge", 3, /* xl */
646 0x7b1, "addige", 3, /* xl */
647 0x7b2, "suboge", 3, /* xl */
648 0x7b3, "subige", 3, /* xl */
649 0x7b4, "selge", 3, /* xl */
650 0x7c0, "addol", 3, /* xl */
651 0x7c1, "addil", 3, /* xl */
652 0x7c2, "subol", 3, /* xl */
653 0x7c3, "subil", 3, /* xl */
654 0x7c4, "sell", 3, /* xl */
655 0x7d0, "addone", 3, /* xl */
656 0x7d1, "addine", 3, /* xl */
657 0x7d2, "subone", 3, /* xl */
658 0x7d3, "subine", 3, /* xl */
659 0x7d4, "selne", 3, /* xl */
660 0x7e0, "addole", 3, /* xl */
661 0x7e1, "addile", 3, /* xl */
662 0x7e2, "subole", 3, /* xl */
663 0x7e3, "subile", 3, /* xl */
664 0x7e4, "selle", 3, /* xl */
665 0x7f0, "addoo", 3, /* xl */
666 0x7f1, "addio", 3, /* xl */
667 0x7f2, "suboo", 3, /* xl */
668 0x7f3, "subio", 3, /* xl */
669 0x7f4, "selo", 3, /* xl */
670 #undef REG_MAX /* xl */
671 #define REG_MAX 0x7f4 /* xl */
674 static struct tabent reg_tab_buf[REG_MAX - REG_MIN + 1];
676 if ( reg_tab == NULL ){
677 reg_tab = reg_tab_buf;
678 for ( i = 0; reg_init[i].opcode != 0; i++ ){
679 j = reg_init[i].opcode - REG_MIN;
680 reg_tab[j].name = reg_init[i].name;
681 reg_tab[j].numops = reg_init[i].numops;
685 opcode = ((word1 >> 20) & 0xff0) | ((word1 >> 7) & 0xf);
686 i = opcode - REG_MIN;
688 if ( (opcode<REG_MIN) || (opcode>REG_MAX) || (reg_tab[i].name==NULL) ){
693 mnemp = reg_tab[i].name;
694 if ( *mnemp == 'F' ){
701 (*info->fprintf_func)( stream, mnemp );
703 s1 = (word1 >> 5) & 1;
704 s2 = (word1 >> 6) & 1;
705 m1 = (word1 >> 11) & 1;
706 m2 = (word1 >> 12) & 1;
707 m3 = (word1 >> 13) & 1;
709 src2 = (word1 >> 14) & 0x1f;
710 dst = (word1 >> 19) & 0x1f;
712 if ( reg_tab[i].numops != 0 ){
713 (*info->fprintf_func)( stream, "\t" );
715 switch ( reg_tab[i].numops ){
717 regop( m1, s1, src, fp );
720 dstop( m3, dst, fp );
723 regop( m1, s1, src, fp );
724 (*info->fprintf_func)( stream, "," );
725 regop( m2, s2, src2, fp );
728 regop( m1, s1, src, fp );
729 (*info->fprintf_func)( stream, "," );
730 dstop( m3, dst, fp );
733 regop( m1, s1, src, fp );
734 (*info->fprintf_func)( stream, "," );
735 regop( m2, s2, src2, fp );
736 (*info->fprintf_func)( stream, "," );
737 dstop( m3, dst, fp );
745 * Print out effective address for memb instructions.
748 ea( memaddr, mode, reg2, reg3, word1, word2 )
749 unsigned long memaddr;
756 static const int scale_tab[] = { 1, 2, 4, 8, 16 };
758 scale = (word1 >> 7) & 0x07;
759 if ( (scale > 4) || ((word1 >> 5) & 0x03 != 0) ){
763 scale = scale_tab[scale];
767 (*info->fprintf_func)( stream, "(%s)", reg2 );
769 case 5: /* displ+8(ip) */
770 print_addr( word2+8+memaddr );
772 case 7: /* (reg)[index*scale] */
774 (*info->fprintf_func)( stream, "(%s)[%s]", reg2, reg3 );
776 (*info->fprintf_func)( stream, "(%s)[%s*%d]",reg2,reg3,scale);
779 case 12: /* displacement */
782 case 13: /* displ(reg) */
784 (*info->fprintf_func)( stream, "(%s)", reg2 );
786 case 14: /* displ[index*scale] */
789 (*info->fprintf_func)( stream, "[%s]", reg3 );
791 (*info->fprintf_func)( stream, "[%s*%d]", reg3, scale );
794 case 15: /* displ(reg)[index*scale] */
797 (*info->fprintf_func)( stream, "(%s)[%s]", reg2, reg3 );
799 (*info->fprintf_func)( stream, "(%s)[%s*%d]",reg2,reg3,scale );
809 /************************************************/
810 /* Register Instruction Operand */
811 /************************************************/
813 regop( mode, spec, reg, fp )
814 int mode, spec, reg, fp;
816 if ( fp ){ /* FLOATING POINT INSTRUCTION */
817 if ( mode == 1 ){ /* FP operand */
819 case 0: (*info->fprintf_func)( stream, "fp0" );
821 case 1: (*info->fprintf_func)( stream, "fp1" );
823 case 2: (*info->fprintf_func)( stream, "fp2" );
825 case 3: (*info->fprintf_func)( stream, "fp3" );
827 case 16: (*info->fprintf_func)( stream, "0f0.0" );
829 case 22: (*info->fprintf_func)( stream, "0f1.0" );
831 default: (*info->fprintf_func)( stream, "?" );
834 } else { /* Non-FP register */
835 (*info->fprintf_func)( stream, reg_names[reg] );
837 } else { /* NOT FLOATING POINT */
838 if ( mode == 1 ){ /* Literal */
839 (*info->fprintf_func)( stream, "%d", reg );
840 } else { /* Register */
842 (*info->fprintf_func)( stream, reg_names[reg] );
844 (*info->fprintf_func)( stream, "sf%d", reg );
850 /************************************************/
851 /* Register Instruction Destination Operand */
852 /************************************************/
854 dstop( mode, reg, fp )
857 /* 'dst' operand can't be a literal. On non-FP instructions, register
858 * mode is assumed and "m3" acts as if were "s3"; on FP-instructions,
859 * sf registers are not allowed so m3 acts normally.
862 regop( mode, 0, reg, fp );
864 regop( 0, mode, reg, fp );
873 (*info->fprintf_func)( stream, ".word\t0x%08x", (unsigned) word1 );
880 (*info->print_address_func) ((bfd_vma) a, info);
884 put_abs( word1, word2 )
885 unsigned long word1, word2;
892 switch ( (word1 >> 28) & 0xf ){
898 /* MEM format instruction */
899 len = mem( 0, word1, word2, 1 );
907 (*info->fprintf_func)( stream, "%08x %08x\t", word1, word2 );
909 (*info->fprintf_func)( stream, "%08x \t", word1 );