1 /* Disassemble i80960 instructions.
2 Copyright (C) 1990, 1991 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Diddler.
6 BFD is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 BFD is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with BFD; see the file COPYING. If not, write to
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
24 static char *reg_names
[] = {
25 /* 0 */ "pfp", "sp", "rip", "r3", "r4", "r5", "r6", "r7",
26 /* 8 */ "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
27 /* 16 */ "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
28 /* 24 */ "g8", "g9", "g10", "g11", "g12", "g13", "g14", "fp",
29 /* 32 */ "pc", "ac", "ip", "tc", "fp0", "fp1", "fp2", "fp3"
33 static FILE *stream
; /* Output goes here */
34 static void print_addr();
42 static void invalid();
44 static void put_abs();
47 /* Print the i960 instruction at address 'memaddr' in debugged memory,
48 * on stream 's'. Returns length of the instruction, in bytes.
51 print_insn_i960( memaddr
, buffer
, s
)
56 unsigned int word1
, word2
;
59 word1
=buffer
[0] |( buffer
[1]<< 8) | (buffer
[2] << 16) | ( buffer
[3] <<24);
60 word2
=buffer
[4] |( buffer
[5]<< 8) | (buffer
[6] << 16) | ( buffer
[7] <<24);
61 return pinsn( memaddr
, word1
, word2
);
66 /*****************************************************************************
67 * All code below this point should be identical with that of
68 * the disassembler in gdmp960.
69 *****************************************************************************/
77 pinsn( memaddr
, word1
, word2
)
78 unsigned long memaddr
;
79 unsigned long word1
, word2
;
84 put_abs( word1
, word2
);
86 /* Divide instruction set into classes based on high 4 bits of opcode*/
87 switch ( (word1
>> 28) & 0xf ){
90 ctrl( memaddr
, word1
, word2
);
94 cobr( memaddr
, word1
, word2
);
106 instr_len
= mem( memaddr
, word1
, word2
, 0 );
109 /* invalid instruction, print as data word */
116 /****************************************/
118 /****************************************/
120 ctrl( memaddr
, word1
, word2
)
121 unsigned long memaddr
;
122 unsigned long word1
, word2
;
125 static struct tabent ctrl_tab
[] = {
135 "call", 1, /* 0x09 */
150 "faultno", 0, /* 0x18 */
151 "faultg", 0, /* 0x19 */
152 "faulte", 0, /* 0x1a */
153 "faultge", 0, /* 0x1b */
154 "faultl", 0, /* 0x1c */
155 "faultne", 0, /* 0x1d */
156 "faultle", 0, /* 0x1e */
157 "faulto", 0, /* 0x1f */
160 i
= (word1
>> 24) & 0xff;
161 if ( (ctrl_tab
[i
].name
== NULL
) || ((word1
& 1) != 0) ){
166 fputs( ctrl_tab
[i
].name
, stream
);
167 if ( word1
& 2 ){ /* Predicts branch not taken */
168 fputs( ".f", stream
);
171 if ( ctrl_tab
[i
].numops
== 1 ){
172 /* EXTRACT DISPLACEMENT AND CONVERT TO ADDRESS */
174 if ( word1
& 0x00800000 ){ /* Sign bit is set */
175 word1
|= (-1 & ~0xffffff); /* Sign extend */
177 putc( '\t', stream
);
178 print_addr( word1
+ memaddr
);
182 /****************************************/
184 /****************************************/
186 cobr( memaddr
, word1
, word2
)
187 unsigned long memaddr
;
188 unsigned long word1
, word2
;
194 static struct tabent cobr_tab
[] = {
195 "testno", 1, /* 0x20 */
196 "testg", 1, /* 0x21 */
197 "teste", 1, /* 0x22 */
198 "testge", 1, /* 0x23 */
199 "testl", 1, /* 0x24 */
200 "testne", 1, /* 0x25 */
201 "testle", 1, /* 0x26 */
202 "testo", 1, /* 0x27 */
212 "cmpobg", 3, /* 0x31 */
213 "cmpobe", 3, /* 0x32 */
214 "cmpobge", 3, /* 0x33 */
215 "cmpobl", 3, /* 0x34 */
216 "cmpobne", 3, /* 0x35 */
217 "cmpoble", 3, /* 0x36 */
219 "cmpibno", 3, /* 0x38 */
220 "cmpibg", 3, /* 0x39 */
221 "cmpibe", 3, /* 0x3a */
222 "cmpibge", 3, /* 0x3b */
223 "cmpibl", 3, /* 0x3c */
224 "cmpibne", 3, /* 0x3d */
225 "cmpible", 3, /* 0x3e */
226 "cmpibo", 3, /* 0x3f */
229 i
= ((word1
>> 24) & 0xff) - 0x20;
230 if ( cobr_tab
[i
].name
== NULL
){
235 fputs( cobr_tab
[i
].name
, stream
);
236 if ( word1
& 2 ){ /* Predicts branch not taken */
237 fputs( ".f", stream
);
239 putc( '\t', stream
);
241 src1
= (word1
>> 19) & 0x1f;
242 src2
= (word1
>> 14) & 0x1f;
244 if ( word1
& 0x02000 ){ /* M1 is 1 */
245 fprintf( stream
, "%d", src1
);
246 } else { /* M1 is 0 */
247 fputs( reg_names
[src1
], stream
);
250 if ( cobr_tab
[i
].numops
> 1 ){
251 if ( word1
& 1 ){ /* S2 is 1 */
252 fprintf( stream
, ",sf%d,", src2
);
253 } else { /* S1 is 0 */
254 fprintf( stream
, ",%s,", reg_names
[src2
] );
257 /* Extract displacement and convert to address
260 if ( word1
& 0x00001000 ){ /* Negative displacement */
261 word1
|= (-1 & ~0x1fff); /* Sign extend */
263 print_addr( memaddr
+ word1
);
267 /****************************************/
269 /****************************************/
270 static int /* returns instruction length: 4 or 8 */
271 mem( memaddr
, word1
, word2
, noprint
)
272 unsigned long memaddr
;
273 unsigned long word1
, word2
;
274 int noprint
; /* If TRUE, return instruction length, but
275 * don't output any text.
282 char *reg1
, *reg2
, *reg3
;
284 /* This lookup table is too sparse to make it worth typing in, but not
285 * so large as to make a sparse array necessary. We allocate the
286 * table at runtime, initialize all entries to empty, and copy the
287 * real ones in from an initialization table.
289 * NOTE: In this table, the meaning of 'numops' is:
291 * 2: 2 operands, load instruction
292 * -2: 2 operands, store instruction
294 static struct tabent
*mem_tab
= NULL
;
295 static struct { int opcode
; char *name
; char numops
; } mem_init
[] = {
318 #define MEM_SIZ ((MEM_MAX-MEM_MIN+1) * sizeof(struct tabent))
322 if ( mem_tab
== NULL
){
323 mem_tab
= (struct tabent
*) xmalloc( MEM_SIZ
);
324 memset( (void *) mem_tab
, 0, MEM_SIZ
);
325 for ( i
= 0; mem_init
[i
].opcode
!= 0; i
++ ){
326 j
= mem_init
[i
].opcode
- MEM_MIN
;
327 mem_tab
[j
].name
= mem_init
[i
].name
;
328 mem_tab
[j
].numops
= mem_init
[i
].numops
;
332 i
= ((word1
>> 24) & 0xff) - MEM_MIN
;
333 mode
= (word1
>> 10) & 0xf;
335 if ( (mem_tab
[i
].name
!= NULL
) /* Valid instruction */
336 && ((mode
== 5) || (mode
>=12)) ){ /* With 32-bit displacement */
346 if ( (mem_tab
[i
].name
== NULL
) || (mode
== 6) ){
351 fprintf( stream
, "%s\t", mem_tab
[i
].name
);
353 reg1
= reg_names
[ (word1
>> 19) & 0x1f ]; /* MEMB only */
354 reg2
= reg_names
[ (word1
>> 14) & 0x1f ];
355 reg3
= reg_names
[ word1
& 0x1f ]; /* MEMB only */
356 offset
= word1
& 0xfff; /* MEMA only */
358 switch ( mem_tab
[i
].numops
){
360 case 2: /* LOAD INSTRUCTION */
361 if ( mode
& 4 ){ /* MEMB FORMAT */
362 ea( memaddr
, mode
, reg2
, reg3
, word1
, word2
);
363 fprintf( stream
, ",%s", reg1
);
364 } else { /* MEMA FORMAT */
365 fprintf( stream
, "0x%x", (unsigned) offset
);
367 fprintf( stream
, "(%s)", reg2
);
369 fprintf( stream
, ",%s", reg1
);
373 case -2: /* STORE INSTRUCTION */
374 if ( mode
& 4 ){ /* MEMB FORMAT */
375 fprintf( stream
, "%s,", reg1
);
376 ea( memaddr
, mode
, reg2
, reg3
, word1
, word2
);
377 } else { /* MEMA FORMAT */
378 fprintf( stream
, "%s,0x%x", reg1
, (unsigned) offset
);
380 fprintf( stream
, "(%s)", reg2
);
385 case 1: /* BX/CALLX INSTRUCTION */
386 if ( mode
& 4 ){ /* MEMB FORMAT */
387 ea( memaddr
, mode
, reg2
, reg3
, word1
, word2
);
388 } else { /* MEMA FORMAT */
389 fprintf( stream
, "0x%x", (unsigned) offset
);
391 fprintf( stream
, "(%s)", reg2
);
400 /****************************************/
402 /****************************************/
415 /* This lookup table is too sparse to make it worth typing in, but not
416 * so large as to make a sparse array necessary. We allocate the
417 * table at runtime, initialize all entries to empty, and copy the
418 * real ones in from an initialization table.
420 * NOTE: In this table, the meaning of 'numops' is:
421 * 1: single operand, which is NOT a destination.
422 * -1: single operand, which IS a destination.
423 * 2: 2 operands, the 2nd of which is NOT a destination.
424 * -2: 2 operands, the 2nd of which IS a destination.
427 * If an opcode mnemonic begins with "F", it is a floating-point
428 * opcode (the "F" is not printed).
431 static struct tabent
*reg_tab
= NULL
;
432 static struct { int opcode
; char *name
; char numops
; } reg_init
[] = {
433 #define REG_MIN 0x580
448 0x58f, "alterbit", 3,
467 0x5ac, "scanbyte", 2,
484 0x613, "inspacc", -2,
490 0x640, "spanbit", -2,
491 0x641, "scanbit", -2,
496 0x646, "condrec", -2,
501 0x656, "receive", -2,
505 0x663, "sendserv", 1,
506 0x664, "resumprcs", 1,
507 0x665, "schedprcs", 1,
508 0x666, "saveprcs", 0,
509 0x668, "condwait", 1,
514 0x66d, "flushreg", 0,
520 0x675, "Fcvtilr", -2,
521 0x676, "Fscalerl", 3,
531 0x68a, "Flogbnr", -2,
532 0x68b, "Froundr", -2,
538 0x691, "Flogeprl", 3,
543 0x698, "Fsqrtrl", -2,
545 0x69a, "Flogbnrl", -2,
546 0x69b, "Froundrl", -2,
550 0x69f, "Fclassrl", 1,
552 0x6c1, "Fcvtril", -2,
553 0x6c2, "Fcvtzri", -2,
554 0x6c3, "Fcvtzril", -2,
559 0x6e3, "Fcpyrsre", 3,
575 #define REG_MAX 0x79f
576 #define REG_SIZ ((REG_MAX-REG_MIN+1) * sizeof(struct tabent))
580 if ( reg_tab
== NULL
){
581 reg_tab
= (struct tabent
*) xmalloc( REG_SIZ
);
582 memset( (void *) reg_tab
, 0, REG_SIZ
);
583 for ( i
= 0; reg_init
[i
].opcode
!= 0; i
++ ){
584 j
= reg_init
[i
].opcode
- REG_MIN
;
585 reg_tab
[j
].name
= reg_init
[i
].name
;
586 reg_tab
[j
].numops
= reg_init
[i
].numops
;
590 opcode
= ((word1
>> 20) & 0xff0) | ((word1
>> 7) & 0xf);
591 i
= opcode
- REG_MIN
;
593 if ( (opcode
<REG_MIN
) || (opcode
>REG_MAX
) || (reg_tab
[i
].name
==NULL
) ){
598 mnemp
= reg_tab
[i
].name
;
599 if ( *mnemp
== 'F' ){
606 fputs( mnemp
, stream
);
608 s1
= (word1
>> 5) & 1;
609 s2
= (word1
>> 6) & 1;
610 m1
= (word1
>> 11) & 1;
611 m2
= (word1
>> 12) & 1;
612 m3
= (word1
>> 13) & 1;
614 src2
= (word1
>> 14) & 0x1f;
615 dst
= (word1
>> 19) & 0x1f;
617 if ( reg_tab
[i
].numops
!= 0 ){
618 putc( '\t', stream
);
620 switch ( reg_tab
[i
].numops
){
622 regop( m1
, s1
, src
, fp
);
625 dstop( m3
, dst
, fp
);
628 regop( m1
, s1
, src
, fp
);
630 regop( m2
, s2
, src2
, fp
);
633 regop( m1
, s1
, src
, fp
);
635 dstop( m3
, dst
, fp
);
638 regop( m1
, s1
, src
, fp
);
640 regop( m2
, s2
, src2
, fp
);
642 dstop( m3
, dst
, fp
);
650 * Print out effective address for memb instructions.
653 ea( memaddr
, mode
, reg2
, reg3
, word1
, word2
)
654 unsigned long memaddr
;
661 static int scale_tab
[] = { 1, 2, 4, 8, 16 };
663 scale
= (word1
>> 7) & 0x07;
664 if ( (scale
> 4) || ((word1
>> 5) & 0x03 != 0) ){
668 scale
= scale_tab
[scale
];
672 fprintf( stream
, "(%s)", reg2
);
674 case 5: /* displ+8(ip) */
675 print_addr( word2
+8+memaddr
);
677 case 7: /* (reg)[index*scale] */
679 fprintf( stream
, "(%s)[%s]", reg2
, reg3
);
681 fprintf( stream
, "(%s)[%s*%d]",reg2
,reg3
,scale
);
684 case 12: /* displacement */
687 case 13: /* displ(reg) */
689 fprintf( stream
, "(%s)", reg2
);
691 case 14: /* displ[index*scale] */
694 fprintf( stream
, "[%s]", reg3
);
696 fprintf( stream
, "[%s*%d]", reg3
, scale
);
699 case 15: /* displ(reg)[index*scale] */
702 fprintf( stream
, "(%s)[%s]", reg2
, reg3
);
704 fprintf( stream
, "(%s)[%s*%d]",reg2
,reg3
,scale
);
714 /************************************************/
715 /* Register Instruction Operand */
716 /************************************************/
718 regop( mode
, spec
, reg
, fp
)
719 int mode
, spec
, reg
, fp
;
721 if ( fp
){ /* FLOATING POINT INSTRUCTION */
722 if ( mode
== 1 ){ /* FP operand */
724 case 0: fputs( "fp0", stream
); break;
725 case 1: fputs( "fp1", stream
); break;
726 case 2: fputs( "fp2", stream
); break;
727 case 3: fputs( "fp3", stream
); break;
728 case 16: fputs( "0f0.0", stream
); break;
729 case 22: fputs( "0f1.0", stream
); break;
730 default: putc( '?', stream
); break;
732 } else { /* Non-FP register */
733 fputs( reg_names
[reg
], stream
);
735 } else { /* NOT FLOATING POINT */
736 if ( mode
== 1 ){ /* Literal */
737 fprintf( stream
, "%d", reg
);
738 } else { /* Register */
740 fputs( reg_names
[reg
], stream
);
742 fprintf( stream
, "sf%d", reg
);
748 /************************************************/
749 /* Register Instruction Destination Operand */
750 /************************************************/
752 dstop( mode
, reg
, fp
)
755 /* 'dst' operand can't be a literal. On non-FP instructions, register
756 * mode is assumed and "m3" acts as if were "s3"; on FP-instructions,
757 * sf registers are not allowed so m3 acts normally.
760 regop( mode
, 0, reg
, fp
);
762 regop( 0, mode
, reg
, fp
);
771 fprintf( stream
, ".word\t0x%08x", (unsigned) word1
);
778 fprintf( stream
, "0x%x", (unsigned) a
);
782 put_abs( word1
, word2
)
783 unsigned long word1
, word2
;
790 switch ( (word1
>> 28) & 0xf ){
796 /* MEM format instruction */
797 len
= mem( 0, word1
, word2
, 1 );
805 fprintf( stream
, "%08x %08x\t", word1
, word2
);
807 fprintf( stream
, "%08x \t", word1
);