binutils-gdb/binutils/i960-pinsn.c
David Henkel-Wallace 2fa0b342a5 Initial revision
1991-03-21 21:29:06 +00:00

821 lines
19 KiB
C
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/* Disassemble i80960 instructions.
*/
/* Copyright (C) 1990, 1991 Free Software Foundation, Inc.
This file is part of BFD, the Binary File Diddler.
BFD is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 1, or (at your option)
any later version.
BFD is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with BFD; see the file COPYING. If not, write to
the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
/* $Id$
$Log
*/
#include <stdio.h>
#include "sysdep.h"
#include "bfd.h"
extern char *xmalloc();
extern int fputs();
static char *reg_names[] = {
/* 0 */ "pfp", "sp", "rip", "r3", "r4", "r5", "r6", "r7",
/* 8 */ "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
/* 16 */ "g0", "g1", "g2", "g3", "g4", "g5", "g6", "g7",
/* 24 */ "g8", "g9", "g10", "g11", "g12", "g13", "g14", "fp",
/* 32 */ "pc", "ac", "ip", "tc", "fp0", "fp1", "fp2", "fp3"
};
static FILE *stream; /* Output goes here */
static void print_addr();
static void ctrl();
static void cobr();
static void reg();
static int mem();
static void ea();
static void dstop();
static void regop();
static void invalid();
static int pinsn();
static void put_abs();
/* Print the i960 instruction at address 'memaddr' in debugged memory,
* on stream 's'. Returns length of the instruction, in bytes.
*/
int
print_insn_i960( memaddr, buffer, s )
bfd_vma memaddr;
uint8e_type *buffer;
FILE *s;
{
unsigned int word1, word2;
stream = s;
word1 =buffer [0] |( buffer[1]<< 8) | (buffer[2] << 16) | ( buffer[3] <<24);
word2 =buffer [4] |( buffer[5]<< 8) | (buffer[6] << 16) | ( buffer[7] <<24);
return pinsn( memaddr, word1, word2 );
}
#define IN_GDB
/*****************************************************************************
* All code below this point should be identical with that of
* the disassembler in gdmp960.
*****************************************************************************/
struct tabent {
char *name;
char numops;
};
static int
pinsn( memaddr, word1, word2 )
unsigned long memaddr;
unsigned long word1, word2;
{
int instr_len;
instr_len = 4;
put_abs( word1, word2 );
/* Divide instruction set into classes based on high 4 bits of opcode*/
switch ( (word1 >> 28) & 0xf ){
case 0x0:
case 0x1:
ctrl( memaddr, word1, word2 );
break;
case 0x2:
case 0x3:
cobr( memaddr, word1, word2 );
break;
case 0x5:
case 0x6:
case 0x7:
reg( word1 );
break;
case 0x8:
case 0x9:
case 0xa:
case 0xb:
case 0xc:
instr_len = mem( memaddr, word1, word2, 0 );
break;
default:
/* invalid instruction, print as data word */
invalid( word1 );
break;
}
return instr_len;
}
/****************************************/
/* CTRL format */
/****************************************/
static void
ctrl( memaddr, word1, word2 )
unsigned long memaddr;
unsigned long word1, word2;
{
int i;
static struct tabent ctrl_tab[] = {
NULL, 0, /* 0x00 */
NULL, 0, /* 0x01 */
NULL, 0, /* 0x02 */
NULL, 0, /* 0x03 */
NULL, 0, /* 0x04 */
NULL, 0, /* 0x05 */
NULL, 0, /* 0x06 */
NULL, 0, /* 0x07 */
"b", 1, /* 0x08 */
"call", 1, /* 0x09 */
"ret", 0, /* 0x0a */
"bal", 1, /* 0x0b */
NULL, 0, /* 0x0c */
NULL, 0, /* 0x0d */
NULL, 0, /* 0x0e */
NULL, 0, /* 0x0f */
"bno", 1, /* 0x10 */
"bg", 1, /* 0x11 */
"be", 1, /* 0x12 */
"bge", 1, /* 0x13 */
"bl", 1, /* 0x14 */
"bne", 1, /* 0x15 */
"ble", 1, /* 0x16 */
"bo", 1, /* 0x17 */
"faultno", 0, /* 0x18 */
"faultg", 0, /* 0x19 */
"faulte", 0, /* 0x1a */
"faultge", 0, /* 0x1b */
"faultl", 0, /* 0x1c */
"faultne", 0, /* 0x1d */
"faultle", 0, /* 0x1e */
"faulto", 0, /* 0x1f */
};
i = (word1 >> 24) & 0xff;
if ( (ctrl_tab[i].name == NULL) || ((word1 & 1) != 0) ){
invalid( word1 );
return;
}
fputs( ctrl_tab[i].name, stream );
if ( word1 & 2 ){ /* Predicts branch not taken */
fputs( ".f", stream );
}
if ( ctrl_tab[i].numops == 1 ){
/* EXTRACT DISPLACEMENT AND CONVERT TO ADDRESS */
word1 &= 0x00ffffff;
if ( word1 & 0x00800000 ){ /* Sign bit is set */
word1 |= (-1 & ~0xffffff); /* Sign extend */
}
putc( '\t', stream );
print_addr( word1 + memaddr );
}
}
/****************************************/
/* COBR format */
/****************************************/
static void
cobr( memaddr, word1, word2 )
unsigned long memaddr;
unsigned long word1, word2;
{
int src1;
int src2;
int i;
static struct tabent cobr_tab[] = {
"testno", 1, /* 0x20 */
"testg", 1, /* 0x21 */
"teste", 1, /* 0x22 */
"testge", 1, /* 0x23 */
"testl", 1, /* 0x24 */
"testne", 1, /* 0x25 */
"testle", 1, /* 0x26 */
"testo", 1, /* 0x27 */
NULL, 0, /* 0x28 */
NULL, 0, /* 0x29 */
NULL, 0, /* 0x2a */
NULL, 0, /* 0x2b */
NULL, 0, /* 0x2c */
NULL, 0, /* 0x2d */
NULL, 0, /* 0x2e */
NULL, 0, /* 0x2f */
"bbc", 3, /* 0x30 */
"cmpobg", 3, /* 0x31 */
"cmpobe", 3, /* 0x32 */
"cmpobge", 3, /* 0x33 */
"cmpobl", 3, /* 0x34 */
"cmpobne", 3, /* 0x35 */
"cmpoble", 3, /* 0x36 */
"bbs", 3, /* 0x37 */
"cmpibno", 3, /* 0x38 */
"cmpibg", 3, /* 0x39 */
"cmpibe", 3, /* 0x3a */
"cmpibge", 3, /* 0x3b */
"cmpibl", 3, /* 0x3c */
"cmpibne", 3, /* 0x3d */
"cmpible", 3, /* 0x3e */
"cmpibo", 3, /* 0x3f */
};
i = ((word1 >> 24) & 0xff) - 0x20;
if ( cobr_tab[i].name == NULL ){
invalid( word1 );
return;
}
fputs( cobr_tab[i].name, stream );
if ( word1 & 2 ){ /* Predicts branch not taken */
fputs( ".f", stream );
}
putc( '\t', stream );
src1 = (word1 >> 19) & 0x1f;
src2 = (word1 >> 14) & 0x1f;
if ( word1 & 0x02000 ){ /* M1 is 1 */
fprintf( stream, "%d", src1 );
} else { /* M1 is 0 */
fputs( reg_names[src1], stream );
}
if ( cobr_tab[i].numops > 1 ){
if ( word1 & 1 ){ /* S2 is 1 */
fprintf( stream, ",sf%d,", src2 );
} else { /* S1 is 0 */
fprintf( stream, ",%s,", reg_names[src2] );
}
/* Extract displacement and convert to address
*/
word1 &= 0x00001ffc;
if ( word1 & 0x00001000 ){ /* Negative displacement */
word1 |= (-1 & ~0x1fff); /* Sign extend */
}
print_addr( memaddr + word1 );
}
}
/****************************************/
/* MEM format */
/****************************************/
static int /* returns instruction length: 4 or 8 */
mem( memaddr, word1, word2, noprint )
unsigned long memaddr;
unsigned long word1, word2;
int noprint; /* If TRUE, return instruction length, but
* don't output any text.
*/
{
int i, j;
int len;
int mode;
int offset;
char *reg1, *reg2, *reg3;
/* This lookup table is too sparse to make it worth typing in, but not
* so large as to make a sparse array necessary. We allocate the
* table at runtime, initialize all entries to empty, and copy the
* real ones in from an initialization table.
*
* NOTE: In this table, the meaning of 'numops' is:
* 1: single operand
* 2: 2 operands, load instruction
* -2: 2 operands, store instruction
*/
static struct tabent *mem_tab = NULL;
static struct { int opcode; char *name; char numops; } mem_init[] = {
#define MEM_MIN 0x80
0x80, "ldob", 2,
0x82, "stob", -2,
0x84, "bx", 1,
0x85, "balx", 2,
0x86, "callx", 1,
0x88, "ldos", 2,
0x8a, "stos", -2,
0x8c, "lda", 2,
0x90, "ld", 2,
0x92, "st", -2,
0x98, "ldl", 2,
0x9a, "stl", -2,
0xa0, "ldt", 2,
0xa2, "stt", -2,
0xb0, "ldq", 2,
0xb2, "stq", -2,
0xc0, "ldib", 2,
0xc2, "stib", -2,
0xc8, "ldis", 2,
0xca, "stis", -2,
#define MEM_MAX 0xca
#define MEM_SIZ ((MEM_MAX-MEM_MIN+1) * sizeof(struct tabent))
0, NULL, 0
};
if ( mem_tab == NULL ){
mem_tab = (struct tabent *) xmalloc( MEM_SIZ );
bzero( (void *) mem_tab, MEM_SIZ );
for ( i = 0; mem_init[i].opcode != 0; i++ ){
j = mem_init[i].opcode - MEM_MIN;
mem_tab[j].name = mem_init[i].name;
mem_tab[j].numops = mem_init[i].numops;
}
}
i = ((word1 >> 24) & 0xff) - MEM_MIN;
mode = (word1 >> 10) & 0xf;
if ( (mem_tab[i].name != NULL) /* Valid instruction */
&& ((mode == 5) || (mode >=12)) ){ /* With 32-bit displacement */
len = 8;
} else {
len = 4;
}
if ( noprint ){
return len;
}
if ( (mem_tab[i].name == NULL) || (mode == 6) ){
invalid( word1 );
return len;
}
fprintf( stream, "%s\t", mem_tab[i].name );
reg1 = reg_names[ (word1 >> 19) & 0x1f ]; /* MEMB only */
reg2 = reg_names[ (word1 >> 14) & 0x1f ];
reg3 = reg_names[ word1 & 0x1f ]; /* MEMB only */
offset = word1 & 0xfff; /* MEMA only */
switch ( mem_tab[i].numops ){
case 2: /* LOAD INSTRUCTION */
if ( mode & 4 ){ /* MEMB FORMAT */
ea( memaddr, mode, reg2, reg3, word1, word2 );
fprintf( stream, ",%s", reg1 );
} else { /* MEMA FORMAT */
fprintf( stream, "0x%x", (unsigned) offset );
if (mode & 8) {
fprintf( stream, "(%s)", reg2 );
}
fprintf( stream, ",%s", reg1 );
}
break;
case -2: /* STORE INSTRUCTION */
if ( mode & 4 ){ /* MEMB FORMAT */
fprintf( stream, "%s,", reg1 );
ea( memaddr, mode, reg2, reg3, word1, word2 );
} else { /* MEMA FORMAT */
fprintf( stream, "%s,0x%x", reg1, (unsigned) offset );
if (mode & 8) {
fprintf( stream, "(%s)", reg2 );
}
}
break;
case 1: /* BX/CALLX INSTRUCTION */
if ( mode & 4 ){ /* MEMB FORMAT */
ea( memaddr, mode, reg2, reg3, word1, word2 );
} else { /* MEMA FORMAT */
fprintf( stream, "0x%x", (unsigned) offset );
if (mode & 8) {
fprintf( stream, "(%s)", reg2 );
}
}
break;
}
return len;
}
/****************************************/
/* REG format */
/****************************************/
static void
reg( word1 )
unsigned long word1;
{
int i, j;
int opcode;
int fp;
int m1, m2, m3;
int s1, s2;
int src, src2, dst;
char *mnemp;
/* This lookup table is too sparse to make it worth typing in, but not
* so large as to make a sparse array necessary. We allocate the
* table at runtime, initialize all entries to empty, and copy the
* real ones in from an initialization table.
*
* NOTE: In this table, the meaning of 'numops' is:
* 1: single operand, which is NOT a destination.
* -1: single operand, which IS a destination.
* 2: 2 operands, the 2nd of which is NOT a destination.
* -2: 2 operands, the 2nd of which IS a destination.
* 3: 3 operands
*
* If an opcode mnemonic begins with "F", it is a floating-point
* opcode (the "F" is not printed).
*/
static struct tabent *reg_tab = NULL;
static struct { int opcode; char *name; char numops; } reg_init[] = {
#define REG_MIN 0x580
0x580, "notbit", 3,
0x581, "and", 3,
0x582, "andnot", 3,
0x583, "setbit", 3,
0x584, "notand", 3,
0x586, "xor", 3,
0x587, "or", 3,
0x588, "nor", 3,
0x589, "xnor", 3,
0x58a, "not", -2,
0x58b, "ornot", 3,
0x58c, "clrbit", 3,
0x58d, "notor", 3,
0x58e, "nand", 3,
0x58f, "alterbit", 3,
0x590, "addo", 3,
0x591, "addi", 3,
0x592, "subo", 3,
0x593, "subi", 3,
0x598, "shro", 3,
0x59a, "shrdi", 3,
0x59b, "shri", 3,
0x59c, "shlo", 3,
0x59d, "rotate", 3,
0x59e, "shli", 3,
0x5a0, "cmpo", 2,
0x5a1, "cmpi", 2,
0x5a2, "concmpo", 2,
0x5a3, "concmpi", 2,
0x5a4, "cmpinco", 3,
0x5a5, "cmpinci", 3,
0x5a6, "cmpdeco", 3,
0x5a7, "cmpdeci", 3,
0x5ac, "scanbyte", 2,
0x5ae, "chkbit", 2,
0x5b0, "addc", 3,
0x5b2, "subc", 3,
0x5cc, "mov", -2,
0x5d8, "eshro", 3,
0x5dc, "movl", -2,
0x5ec, "movt", -2,
0x5fc, "movq", -2,
0x600, "synmov", 2,
0x601, "synmovl", 2,
0x602, "synmovq", 2,
0x603, "cmpstr", 3,
0x604, "movqstr", 3,
0x605, "movstr", 3,
0x610, "atmod", 3,
0x612, "atadd", 3,
0x613, "inspacc", -2,
0x614, "ldphy", -2,
0x615, "synld", -2,
0x617, "fill", 3,
0x630, "sdma", 3,
0x631, "udma", 0,
0x640, "spanbit", -2,
0x641, "scanbit", -2,
0x642, "daddc", 3,
0x643, "dsubc", 3,
0x644, "dmovt", -2,
0x645, "modac", 3,
0x646, "condrec", -2,
0x650, "modify", 3,
0x651, "extract", 3,
0x654, "modtc", 3,
0x655, "modpc", 3,
0x656, "receive", -2,
0x659, "sysctl", 3,
0x660, "calls", 1,
0x662, "send", 3,
0x663, "sendserv", 1,
0x664, "resumprcs", 1,
0x665, "schedprcs", 1,
0x666, "saveprcs", 0,
0x668, "condwait", 1,
0x669, "wait", 1,
0x66a, "signal", 1,
0x66b, "mark", 0,
0x66c, "fmark", 0,
0x66d, "flushreg", 0,
0x66f, "syncf", 0,
0x670, "emul", 3,
0x671, "ediv", 3,
0x673, "ldtime", -1,
0x674, "Fcvtir", -2,
0x675, "Fcvtilr", -2,
0x676, "Fscalerl", 3,
0x677, "Fscaler", 3,
0x680, "Fatanr", 3,
0x681, "Flogepr", 3,
0x682, "Flogr", 3,
0x683, "Fremr", 3,
0x684, "Fcmpor", 2,
0x685, "Fcmpr", 2,
0x688, "Fsqrtr", -2,
0x689, "Fexpr", -2,
0x68a, "Flogbnr", -2,
0x68b, "Froundr", -2,
0x68c, "Fsinr", -2,
0x68d, "Fcosr", -2,
0x68e, "Ftanr", -2,
0x68f, "Fclassr", 1,
0x690, "Fatanrl", 3,
0x691, "Flogeprl", 3,
0x692, "Flogrl", 3,
0x693, "Fremrl", 3,
0x694, "Fcmporl", 2,
0x695, "Fcmprl", 2,
0x698, "Fsqrtrl", -2,
0x699, "Fexprl", -2,
0x69a, "Flogbnrl", -2,
0x69b, "Froundrl", -2,
0x69c, "Fsinrl", -2,
0x69d, "Fcosrl", -2,
0x69e, "Ftanrl", -2,
0x69f, "Fclassrl", 1,
0x6c0, "Fcvtri", -2,
0x6c1, "Fcvtril", -2,
0x6c2, "Fcvtzri", -2,
0x6c3, "Fcvtzril", -2,
0x6c9, "Fmovr", -2,
0x6d9, "Fmovrl", -2,
0x6e1, "Fmovre", -2,
0x6e2, "Fcpysre", 3,
0x6e3, "Fcpyrsre", 3,
0x701, "mulo", 3,
0x708, "remo", 3,
0x70b, "divo", 3,
0x741, "muli", 3,
0x748, "remi", 3,
0x749, "modi", 3,
0x74b, "divi", 3,
0x78b, "Fdivr", 3,
0x78c, "Fmulr", 3,
0x78d, "Fsubr", 3,
0x78f, "Faddr", 3,
0x79b, "Fdivrl", 3,
0x79c, "Fmulrl", 3,
0x79d, "Fsubrl", 3,
0x79f, "Faddrl", 3,
#define REG_MAX 0x79f
#define REG_SIZ ((REG_MAX-REG_MIN+1) * sizeof(struct tabent))
0, NULL, 0
};
if ( reg_tab == NULL ){
reg_tab = (struct tabent *) xmalloc( REG_SIZ );
bzero( (void *) reg_tab, REG_SIZ );
for ( i = 0; reg_init[i].opcode != 0; i++ ){
j = reg_init[i].opcode - REG_MIN;
reg_tab[j].name = reg_init[i].name;
reg_tab[j].numops = reg_init[i].numops;
}
}
opcode = ((word1 >> 20) & 0xff0) | ((word1 >> 7) & 0xf);
i = opcode - REG_MIN;
if ( (opcode<REG_MIN) || (opcode>REG_MAX) || (reg_tab[i].name==NULL) ){
invalid( word1 );
return;
}
mnemp = reg_tab[i].name;
if ( *mnemp == 'F' ){
fp = 1;
mnemp++;
} else {
fp = 0;
}
fputs( mnemp, stream );
s1 = (word1 >> 5) & 1;
s2 = (word1 >> 6) & 1;
m1 = (word1 >> 11) & 1;
m2 = (word1 >> 12) & 1;
m3 = (word1 >> 13) & 1;
src = word1 & 0x1f;
src2 = (word1 >> 14) & 0x1f;
dst = (word1 >> 19) & 0x1f;
if ( reg_tab[i].numops != 0 ){
putc( '\t', stream );
switch ( reg_tab[i].numops ){
case 1:
regop( m1, s1, src, fp );
break;
case -1:
dstop( m3, dst, fp );
break;
case 2:
regop( m1, s1, src, fp );
putc( ',', stream );
regop( m2, s2, src2, fp );
break;
case -2:
regop( m1, s1, src, fp );
putc( ',', stream );
dstop( m3, dst, fp );
break;
case 3:
regop( m1, s1, src, fp );
putc( ',', stream );
regop( m2, s2, src2, fp );
putc( ',', stream );
dstop( m3, dst, fp );
break;
}
}
}
/*
* Print out effective address for memb instructions.
*/
static void
ea( memaddr, mode, reg2, reg3, word1, word2 )
unsigned long memaddr;
int mode;
char *reg2, *reg3;
int word1;
unsigned int word2;
{
int scale;
static int scale_tab[] = { 1, 2, 4, 8, 16 };
scale = (word1 >> 7) & 0x07;
if ( (scale > 4) || ((word1 >> 5) & 0x03 != 0) ){
invalid( word1 );
return;
}
scale = scale_tab[scale];
switch (mode) {
case 4: /* (reg) */
fprintf( stream, "(%s)", reg2 );
break;
case 5: /* displ+8(ip) */
print_addr( word2+8+memaddr );
break;
case 7: /* (reg)[index*scale] */
if (scale == 1) {
fprintf( stream, "(%s)[%s]", reg2, reg3 );
} else {
fprintf( stream, "(%s)[%s*%d]",reg2,reg3,scale);
}
break;
case 12: /* displacement */
print_addr( word2 );
break;
case 13: /* displ(reg) */
print_addr( word2 );
fprintf( stream, "(%s)", reg2 );
break;
case 14: /* displ[index*scale] */
print_addr( word2 );
if (scale == 1) {
fprintf( stream, "[%s]", reg3 );
} else {
fprintf( stream, "[%s*%d]", reg3, scale );
}
break;
case 15: /* displ(reg)[index*scale] */
print_addr( word2 );
if (scale == 1) {
fprintf( stream, "(%s)[%s]", reg2, reg3 );
} else {
fprintf( stream, "(%s)[%s*%d]",reg2,reg3,scale );
}
break;
default:
invalid( word1 );
return;
}
}
/************************************************/
/* Register Instruction Operand */
/************************************************/
static void
regop( mode, spec, reg, fp )
int mode, spec, reg, fp;
{
if ( fp ){ /* FLOATING POINT INSTRUCTION */
if ( mode == 1 ){ /* FP operand */
switch ( reg ){
case 0: fputs( "fp0", stream ); break;
case 1: fputs( "fp1", stream ); break;
case 2: fputs( "fp2", stream ); break;
case 3: fputs( "fp3", stream ); break;
case 16: fputs( "0f0.0", stream ); break;
case 22: fputs( "0f1.0", stream ); break;
default: putc( '?', stream ); break;
}
} else { /* Non-FP register */
fputs( reg_names[reg], stream );
}
} else { /* NOT FLOATING POINT */
if ( mode == 1 ){ /* Literal */
fprintf( stream, "%d", reg );
} else { /* Register */
if ( spec == 0 ){
fputs( reg_names[reg], stream );
} else {
fprintf( stream, "sf%d", reg );
}
}
}
}
/************************************************/
/* Register Instruction Destination Operand */
/************************************************/
static void
dstop( mode, reg, fp )
int mode, reg, fp;
{
/* 'dst' operand can't be a literal. On non-FP instructions, register
* mode is assumed and "m3" acts as if were "s3"; on FP-instructions,
* sf registers are not allowed so m3 acts normally.
*/
if ( fp ){
regop( mode, 0, reg, fp );
} else {
regop( 0, mode, reg, fp );
}
}
static void
invalid( word1 )
int word1;
{
fprintf( stream, ".word\t0x%08x", (unsigned) word1 );
}
static void
print_addr(a)
int a;
{
fprintf( stream, "0x%x", (unsigned) a );
}
static void
put_abs( word1, word2 )
unsigned long word1, word2;
{
#ifdef IN_GDB
return;
#else
int len;
switch ( (word1 >> 28) & 0xf ){
case 0x8:
case 0x9:
case 0xa:
case 0xb:
case 0xc:
/* MEM format instruction */
len = mem( 0, word1, word2, 1 );
break;
default:
len = 4;
break;
}
if ( len == 8 ){
fprintf( stream, "%08x %08x\t", word1, word2 );
} else {
fprintf( stream, "%08x \t", word1 );
}
;
#endif
}