1511 lines
42 KiB
C
1511 lines
42 KiB
C
/* TI C6X disassembler.
|
|
Copyright (C) 2010-2015 Free Software Foundation, Inc.
|
|
Contributed by Joseph Myers <joseph@codesourcery.com>
|
|
Bernd Schmidt <bernds@codesourcery.com>
|
|
|
|
This file is part of libopcodes.
|
|
|
|
This library 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 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
It 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 this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
|
MA 02110-1301, USA. */
|
|
|
|
#include "sysdep.h"
|
|
#include "dis-asm.h"
|
|
#include "opcode/tic6x.h"
|
|
#include "libiberty.h"
|
|
|
|
/* Define the instruction format table. */
|
|
const tic6x_insn_format tic6x_insn_format_table[tic6x_insn_format_max] =
|
|
{
|
|
#define FMT(name, num_bits, cst_bits, mask, fields) \
|
|
{ num_bits, cst_bits, mask, fields },
|
|
#include "opcode/tic6x-insn-formats.h"
|
|
#undef FMT
|
|
};
|
|
|
|
/* Define the control register table. */
|
|
const tic6x_ctrl tic6x_ctrl_table[tic6x_ctrl_max] =
|
|
{
|
|
#define CTRL(name, isa, rw, crlo, crhi_mask) \
|
|
{ \
|
|
STRINGX(name), \
|
|
CONCAT2(TIC6X_INSN_,isa), \
|
|
CONCAT2(tic6x_rw_,rw), \
|
|
crlo, \
|
|
crhi_mask \
|
|
},
|
|
#include "opcode/tic6x-control-registers.h"
|
|
#undef CTRL
|
|
};
|
|
|
|
/* Define the opcode table. */
|
|
const tic6x_opcode tic6x_opcode_table[tic6x_opcode_max] =
|
|
{
|
|
#define INSNU(name, func_unit, format, type, isa, flags, fixed, ops, var) \
|
|
{ \
|
|
STRINGX(name), \
|
|
CONCAT2(tic6x_func_unit_,func_unit), \
|
|
CONCAT3(tic6x_insn_format,_,format), \
|
|
CONCAT2(tic6x_pipeline_,type), \
|
|
CONCAT2(TIC6X_INSN_,isa), \
|
|
flags, \
|
|
fixed, \
|
|
ops, \
|
|
var \
|
|
},
|
|
#define INSNUE(name, e, func_unit, format, type, isa, flags, fixed, ops, var) \
|
|
{ \
|
|
STRINGX(name), \
|
|
CONCAT2(tic6x_func_unit_,func_unit), \
|
|
CONCAT3(tic6x_insn_format,_,format), \
|
|
CONCAT2(tic6x_pipeline_,type), \
|
|
CONCAT2(TIC6X_INSN_,isa), \
|
|
flags, \
|
|
fixed, \
|
|
ops, \
|
|
var \
|
|
},
|
|
#define INSN(name, func_unit, format, type, isa, flags, fixed, ops, var) \
|
|
{ \
|
|
STRINGX(name), \
|
|
CONCAT2(tic6x_func_unit_,func_unit), \
|
|
CONCAT4(tic6x_insn_format_,func_unit,_,format), \
|
|
CONCAT2(tic6x_pipeline_,type), \
|
|
CONCAT2(TIC6X_INSN_,isa), \
|
|
flags, \
|
|
fixed, \
|
|
ops, \
|
|
var \
|
|
},
|
|
#define INSNE(name, e, func_unit, format, type, isa, flags, fixed, ops, var) \
|
|
{ \
|
|
STRINGX(name), \
|
|
CONCAT2(tic6x_func_unit_,func_unit), \
|
|
CONCAT4(tic6x_insn_format_,func_unit,_,format), \
|
|
CONCAT2(tic6x_pipeline_,type), \
|
|
CONCAT2(TIC6X_INSN_,isa), \
|
|
flags, \
|
|
fixed, \
|
|
ops, \
|
|
var \
|
|
},
|
|
#include "opcode/tic6x-opcode-table.h"
|
|
#undef INSN
|
|
#undef INSNE
|
|
#undef INSNU
|
|
#undef INSNUE
|
|
};
|
|
|
|
/* If instruction format FMT has a field FIELD, return a pointer to
|
|
the description of that field; otherwise return NULL. */
|
|
|
|
const tic6x_insn_field *
|
|
tic6x_field_from_fmt (const tic6x_insn_format *fmt, tic6x_insn_field_id field)
|
|
{
|
|
unsigned int f;
|
|
|
|
for (f = 0; f < fmt->num_fields; f++)
|
|
if (fmt->fields[f].field_id == field)
|
|
return &fmt->fields[f];
|
|
|
|
return NULL;
|
|
}
|
|
|
|
/* Extract the field width. */
|
|
|
|
static unsigned int
|
|
tic6x_field_width (const tic6x_insn_field *field)
|
|
{
|
|
unsigned int i;
|
|
unsigned int width = 0;
|
|
|
|
if (!field->num_bitfields)
|
|
return field->bitfields[0].width;
|
|
|
|
for (i = 0 ; i < field->num_bitfields ; i++)
|
|
width += field->bitfields[i].width;
|
|
|
|
return width;
|
|
}
|
|
|
|
/* Extract the bits corresponding to FIELD from OPCODE. */
|
|
|
|
static unsigned int
|
|
tic6x_field_bits (unsigned int opcode, const tic6x_insn_field *field)
|
|
{
|
|
unsigned int i;
|
|
unsigned int val = 0;
|
|
|
|
if (!field->num_bitfields)
|
|
return (opcode >> field->bitfields[0].low_pos) & ((1u << field->bitfields[0].width) - 1);
|
|
|
|
for (i = 0 ; i < field->num_bitfields ; i++)
|
|
val |= ((opcode >> field->bitfields[i].low_pos) & ((1u << field->bitfields[i].width) - 1))
|
|
<< field->bitfields[i].pos;
|
|
|
|
return val;
|
|
}
|
|
|
|
/* Extract a 32-bit value read from the instruction stream. */
|
|
|
|
static unsigned int
|
|
tic6x_extract_32 (unsigned char *p, struct disassemble_info *info)
|
|
{
|
|
if (info->endian == BFD_ENDIAN_LITTLE)
|
|
return (p[0]) | (p[1] << 8) | (p[2] << 16) | (p[3] << 24);
|
|
else
|
|
return (p[3]) | (p[2] << 8) | (p[1] << 16) | (p[0] << 24);
|
|
}
|
|
|
|
/* Extract a 16-bit value read from the instruction stream. */
|
|
|
|
static unsigned int
|
|
tic6x_extract_16 (unsigned char *p, tic6x_fetch_packet_header *header,
|
|
struct disassemble_info *info)
|
|
{
|
|
unsigned int op16;
|
|
|
|
if (info->endian == BFD_ENDIAN_LITTLE)
|
|
op16 = (p[0]) | (p[1] << 8);
|
|
else
|
|
op16 = (p[1]) | (p[0] << 8);
|
|
op16 |= (header->sat << TIC6X_COMPACT_SAT_POS);
|
|
op16 |= (header->br << TIC6X_COMPACT_BR_POS);
|
|
op16 |= (header->dsz << TIC6X_COMPACT_DSZ_POS);
|
|
return op16;
|
|
}
|
|
|
|
/* FP points to a fetch packet. Return whether it is header-based; if
|
|
it is, fill in HEADER. */
|
|
|
|
static bfd_boolean
|
|
tic6x_check_fetch_packet_header (unsigned char *fp,
|
|
tic6x_fetch_packet_header *header,
|
|
struct disassemble_info *info)
|
|
{
|
|
int i;
|
|
|
|
header->header = tic6x_extract_32 (fp + 28, info);
|
|
|
|
if ((header->header & 0xf0000000) != 0xe0000000)
|
|
{
|
|
header->prot = 0;
|
|
header->rs = 0;
|
|
header->dsz = 0;
|
|
header->br = 0;
|
|
header->sat = 0;
|
|
for (i = 0; i < 7; i++)
|
|
header->word_compact[i] = FALSE;
|
|
for (i = 0; i < 14; i++)
|
|
header->p_bits[i] = FALSE;
|
|
return FALSE;
|
|
}
|
|
|
|
for (i = 0; i < 7; i++)
|
|
header->word_compact[i]
|
|
= (header->header & (1u << (21 + i))) ? TRUE : FALSE;
|
|
|
|
header->prot = (header->header & (1u << 20)) ? TRUE : FALSE;
|
|
header->rs = (header->header & (1u << 19)) ? TRUE : FALSE;
|
|
header->dsz = (header->header >> 16) & 0x7;
|
|
header->br = (header->header & (1u << 15)) ? TRUE : FALSE;
|
|
header->sat = (header->header & (1u << 14)) ? TRUE : FALSE;
|
|
|
|
for (i = 0; i < 14; i++)
|
|
header->p_bits[i]
|
|
= (header->header & (1u << i)) ? TRUE : FALSE;
|
|
|
|
return TRUE;
|
|
}
|
|
|
|
/* Disassemble the instruction at ADDR and print it using
|
|
INFO->FPRINTF_FUNC and INFO->STREAM, returning the number of bytes
|
|
consumed. */
|
|
|
|
int
|
|
print_insn_tic6x (bfd_vma addr, struct disassemble_info *info)
|
|
{
|
|
int status;
|
|
bfd_vma fp_addr;
|
|
bfd_vma fp_offset;
|
|
unsigned char fp[32];
|
|
unsigned int opcode;
|
|
tic6x_opcode_id opcode_id;
|
|
bfd_boolean fetch_packet_header_based;
|
|
tic6x_fetch_packet_header header;
|
|
unsigned int num_bits;
|
|
bfd_boolean bad_offset = FALSE;
|
|
|
|
fp_offset = addr & 0x1f;
|
|
fp_addr = addr - fp_offset;
|
|
status = info->read_memory_func (fp_addr, fp, 32, info);
|
|
if (status)
|
|
{
|
|
info->memory_error_func (status, addr, info);
|
|
return -1;
|
|
}
|
|
|
|
fetch_packet_header_based
|
|
= tic6x_check_fetch_packet_header (fp, &header, info);
|
|
if (fetch_packet_header_based)
|
|
{
|
|
if (fp_offset & 0x1)
|
|
bad_offset = TRUE;
|
|
if ((fp_offset & 0x3) && (fp_offset >= 28
|
|
|| !header.word_compact[fp_offset >> 2]))
|
|
bad_offset = TRUE;
|
|
if (fp_offset == 28)
|
|
{
|
|
info->bytes_per_chunk = 4;
|
|
info->fprintf_func (info->stream, "<fetch packet header 0x%.8x>",
|
|
header.header);
|
|
return 4;
|
|
}
|
|
num_bits = (header.word_compact[fp_offset >> 2] ? 16 : 32);
|
|
}
|
|
else
|
|
{
|
|
num_bits = 32;
|
|
if (fp_offset & 0x3)
|
|
bad_offset = TRUE;
|
|
}
|
|
|
|
if (bad_offset)
|
|
{
|
|
info->bytes_per_chunk = 1;
|
|
info->fprintf_func (info->stream, ".byte 0x%.2x", fp[fp_offset]);
|
|
return 1;
|
|
}
|
|
|
|
if (num_bits == 16)
|
|
{
|
|
/* The least-significant part of a 32-bit word comes logically
|
|
before the most-significant part. For big-endian, follow the
|
|
TI assembler in showing instructions in logical order by
|
|
pretending that the two halves of the word are in opposite
|
|
locations to where they actually are. */
|
|
if (info->endian == BFD_ENDIAN_LITTLE)
|
|
opcode = tic6x_extract_16 (fp + fp_offset, &header, info);
|
|
else
|
|
opcode = tic6x_extract_16 (fp + (fp_offset ^ 2), &header, info);
|
|
}
|
|
else
|
|
opcode = tic6x_extract_32 (fp + fp_offset, info);
|
|
|
|
for (opcode_id = 0; opcode_id < tic6x_opcode_max; opcode_id++)
|
|
{
|
|
const tic6x_opcode *const opc = &tic6x_opcode_table[opcode_id];
|
|
const tic6x_insn_format *const fmt
|
|
= &tic6x_insn_format_table[opc->format];
|
|
const tic6x_insn_field *creg_field;
|
|
bfd_boolean p_bit;
|
|
const char *parallel;
|
|
const char *cond = "";
|
|
const char *func_unit;
|
|
char func_unit_buf[7];
|
|
unsigned int func_unit_side = 0;
|
|
unsigned int func_unit_data_side = 0;
|
|
unsigned int func_unit_cross = 0;
|
|
unsigned int t_val = 0;
|
|
/* The maximum length of the text of a non-PC-relative operand
|
|
is 24 bytes (SPMASK masking all eight functional units, with
|
|
separating commas and trailing NUL). */
|
|
char operands[TIC6X_MAX_OPERANDS][24] = { { 0 } };
|
|
bfd_vma operands_addresses[TIC6X_MAX_OPERANDS] = { 0 };
|
|
bfd_boolean operands_text[TIC6X_MAX_OPERANDS] = { FALSE };
|
|
bfd_boolean operands_pcrel[TIC6X_MAX_OPERANDS] = { FALSE };
|
|
unsigned int fix;
|
|
unsigned int num_operands;
|
|
unsigned int op_num;
|
|
bfd_boolean fixed_ok;
|
|
bfd_boolean operands_ok;
|
|
bfd_boolean have_t = FALSE;
|
|
|
|
if (opc->flags & TIC6X_FLAG_MACRO)
|
|
continue;
|
|
if (fmt->num_bits != num_bits)
|
|
continue;
|
|
if ((opcode & fmt->mask) != fmt->cst_bits)
|
|
continue;
|
|
|
|
/* If the format has a creg field, it is only a candidate for a
|
|
match if the creg and z fields have values indicating a valid
|
|
condition; reserved values indicate either an instruction
|
|
format without a creg field, or an invalid instruction. */
|
|
creg_field = tic6x_field_from_fmt (fmt, tic6x_field_creg);
|
|
if (creg_field)
|
|
{
|
|
const tic6x_insn_field *z_field;
|
|
unsigned int creg_value, z_value;
|
|
static const char *const conds[8][2] =
|
|
{
|
|
{ "", NULL },
|
|
{ "[b0] ", "[!b0] " },
|
|
{ "[b1] ", "[!b1] " },
|
|
{ "[b2] ", "[!b2] " },
|
|
{ "[a1] ", "[!a1] " },
|
|
{ "[a2] ", "[!a2] " },
|
|
{ "[a0] ", "[!a0] " },
|
|
{ NULL, NULL }
|
|
};
|
|
|
|
/* A creg field is not meaningful without a z field, so if
|
|
the z field is not present this is an error in the format
|
|
table. */
|
|
z_field = tic6x_field_from_fmt (fmt, tic6x_field_z);
|
|
if (!z_field)
|
|
{
|
|
printf ("*** opcode %x: missing z field", opcode);
|
|
abort ();
|
|
}
|
|
|
|
creg_value = tic6x_field_bits (opcode, creg_field);
|
|
z_value = tic6x_field_bits (opcode, z_field);
|
|
cond = conds[creg_value][z_value];
|
|
if (cond == NULL)
|
|
continue;
|
|
}
|
|
|
|
if (opc->flags & TIC6X_FLAG_INSN16_SPRED)
|
|
{
|
|
const tic6x_insn_field *cc_field;
|
|
unsigned int s_value = 0;
|
|
unsigned int z_value = 0;
|
|
bfd_boolean cond_known = FALSE;
|
|
static const char *const conds[2][2] =
|
|
{
|
|
{ "[a0] ", "[!a0] " },
|
|
{ "[b0] ", "[!b0] " }
|
|
};
|
|
|
|
cc_field = tic6x_field_from_fmt (fmt, tic6x_field_cc);
|
|
|
|
if (cc_field)
|
|
{
|
|
unsigned int cc_value;
|
|
|
|
cc_value = tic6x_field_bits (opcode, cc_field);
|
|
s_value = (cc_value & 0x2) >> 1;
|
|
z_value = (cc_value & 0x1);
|
|
cond_known = TRUE;
|
|
}
|
|
else
|
|
{
|
|
const tic6x_insn_field *z_field;
|
|
const tic6x_insn_field *s_field;
|
|
|
|
s_field = tic6x_field_from_fmt (fmt, tic6x_field_s);
|
|
|
|
if (!s_field)
|
|
{
|
|
printf ("opcode %x: missing compact insn predicate register field (s field)\n",
|
|
opcode);
|
|
abort ();
|
|
}
|
|
s_value = tic6x_field_bits (opcode, s_field);
|
|
z_field = tic6x_field_from_fmt (fmt, tic6x_field_z);
|
|
if (!z_field)
|
|
{
|
|
printf ("opcode %x: missing compact insn predicate z_value (z field)\n", opcode);
|
|
abort ();
|
|
}
|
|
|
|
z_value = tic6x_field_bits (opcode, z_field);
|
|
cond_known = TRUE;
|
|
}
|
|
|
|
if (!cond_known)
|
|
{
|
|
printf ("opcode %x: unspecified ompact insn predicate\n", opcode);
|
|
abort ();
|
|
}
|
|
cond = conds[s_value][z_value];
|
|
}
|
|
|
|
/* All fixed fields must have matching values; all fields with
|
|
restricted ranges must have values within those ranges. */
|
|
fixed_ok = TRUE;
|
|
for (fix = 0; fix < opc->num_fixed_fields; fix++)
|
|
{
|
|
unsigned int field_bits;
|
|
const tic6x_insn_field *const field
|
|
= tic6x_field_from_fmt (fmt, opc->fixed_fields[fix].field_id);
|
|
|
|
if (!field)
|
|
{
|
|
printf ("opcode %x: missing field #%d for FIX #%d\n",
|
|
opcode, opc->fixed_fields[fix].field_id, fix);
|
|
abort ();
|
|
}
|
|
|
|
field_bits = tic6x_field_bits (opcode, field);
|
|
if (field_bits < opc->fixed_fields[fix].min_val
|
|
|| field_bits > opc->fixed_fields[fix].max_val)
|
|
{
|
|
fixed_ok = FALSE;
|
|
break;
|
|
}
|
|
}
|
|
if (!fixed_ok)
|
|
continue;
|
|
|
|
/* The instruction matches. */
|
|
|
|
/* The p-bit indicates whether this instruction is in parallel
|
|
with the *next* instruction, whereas the parallel bars
|
|
indicate the instruction is in parallel with the *previous*
|
|
instruction. Thus, we must find the p-bit for the previous
|
|
instruction. */
|
|
if (num_bits == 16 && (fp_offset & 0x2) == 2)
|
|
{
|
|
/* This is the logically second (most significant; second in
|
|
fp_offset terms because fp_offset relates to logical not
|
|
physical addresses) instruction of a compact pair; find
|
|
the p-bit for the first (least significant). */
|
|
p_bit = header.p_bits[(fp_offset >> 2) << 1];
|
|
}
|
|
else if (fp_offset >= 4)
|
|
{
|
|
/* Find the last instruction of the previous word in this
|
|
fetch packet. For compact instructions, this is the most
|
|
significant 16 bits. */
|
|
if (fetch_packet_header_based
|
|
&& header.word_compact[(fp_offset >> 2) - 1])
|
|
p_bit = header.p_bits[(fp_offset >> 1) - 1];
|
|
else
|
|
{
|
|
unsigned int prev_opcode
|
|
= tic6x_extract_32 (fp + (fp_offset & 0x1c) - 4, info);
|
|
p_bit = (prev_opcode & 0x1) ? TRUE : FALSE;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
/* Find the last instruction of the previous fetch
|
|
packet. */
|
|
unsigned char fp_prev[32];
|
|
|
|
status = info->read_memory_func (fp_addr - 32, fp_prev, 32, info);
|
|
if (status)
|
|
/* No previous instruction to be parallel with. */
|
|
p_bit = FALSE;
|
|
else
|
|
{
|
|
bfd_boolean prev_header_based;
|
|
tic6x_fetch_packet_header prev_header;
|
|
|
|
prev_header_based
|
|
= tic6x_check_fetch_packet_header (fp_prev, &prev_header, info);
|
|
if (prev_header_based && prev_header.word_compact[6])
|
|
p_bit = prev_header.p_bits[13];
|
|
else
|
|
{
|
|
unsigned int prev_opcode = tic6x_extract_32 (fp_prev + 28,
|
|
info);
|
|
p_bit = (prev_opcode & 0x1) ? TRUE : FALSE;
|
|
}
|
|
}
|
|
}
|
|
parallel = p_bit ? "|| " : "";
|
|
|
|
if (opc->func_unit == tic6x_func_unit_nfu)
|
|
func_unit = "";
|
|
else
|
|
{
|
|
unsigned int fld_num;
|
|
char func_unit_char;
|
|
const char *data_str;
|
|
bfd_boolean have_areg = FALSE;
|
|
bfd_boolean have_cross = FALSE;
|
|
|
|
func_unit_side = (opc->flags & TIC6X_FLAG_SIDE_B_ONLY) ? 2 : 0;
|
|
func_unit_cross = 0;
|
|
func_unit_data_side = (opc->flags & TIC6X_FLAG_SIDE_T2_ONLY) ? 2 : 0;
|
|
|
|
for (fld_num = 0; fld_num < opc->num_variable_fields; fld_num++)
|
|
{
|
|
const tic6x_coding_field *const enc = &opc->variable_fields[fld_num];
|
|
const tic6x_insn_field *field;
|
|
unsigned int fld_val;
|
|
|
|
field = tic6x_field_from_fmt (fmt, enc->field_id);
|
|
|
|
if (!field)
|
|
{
|
|
printf ("opcode %x: could not retrieve field (field_id:%d)\n",
|
|
opcode, fld_num);
|
|
abort ();
|
|
}
|
|
|
|
fld_val = tic6x_field_bits (opcode, field);
|
|
|
|
switch (enc->coding_method)
|
|
{
|
|
case tic6x_coding_fu:
|
|
/* The side must be specified exactly once. */
|
|
if (func_unit_side)
|
|
{
|
|
printf ("opcode %x: field #%d use tic6x_coding_fu, but func_unit_side is already set!\n",
|
|
opcode, fld_num);
|
|
abort ();
|
|
}
|
|
func_unit_side = (fld_val ? 2 : 1);
|
|
break;
|
|
|
|
case tic6x_coding_data_fu:
|
|
/* The data side must be specified exactly once. */
|
|
if (func_unit_data_side)
|
|
{
|
|
printf ("opcode %x: field #%d use tic6x_coding_fu, but func_unit_side is already set!\n",
|
|
opcode, fld_num);
|
|
abort ();
|
|
}
|
|
func_unit_data_side = (fld_val ? 2 : 1);
|
|
break;
|
|
|
|
case tic6x_coding_xpath:
|
|
/* Cross path use must be specified exactly
|
|
once. */
|
|
if (have_cross)
|
|
{
|
|
printf ("opcode %x: field #%d use tic6x_coding_xpath, have_cross is already set!\n",
|
|
opcode, fld_num);
|
|
abort ();
|
|
}
|
|
have_cross = TRUE;
|
|
func_unit_cross = fld_val;
|
|
break;
|
|
|
|
case tic6x_coding_rside:
|
|
/* If the format has a t field, use it for src/dst register side. */
|
|
have_t = TRUE;
|
|
t_val = fld_val;
|
|
func_unit_data_side = (t_val ? 2 : 1);
|
|
break;
|
|
|
|
case tic6x_coding_areg:
|
|
have_areg = TRUE;
|
|
break;
|
|
|
|
default:
|
|
/* Don't relate to functional units. */
|
|
break;
|
|
}
|
|
}
|
|
|
|
/* The side of the functional unit used must now have been
|
|
determined either from the flags or from an instruction
|
|
field. */
|
|
if (func_unit_side != 1 && func_unit_side != 2)
|
|
{
|
|
printf ("opcode %x: func_unit_side is not encoded!\n", opcode);
|
|
abort ();
|
|
}
|
|
|
|
/* Cross paths are not applicable when sides are specified
|
|
for both address and data paths. */
|
|
if (func_unit_data_side && have_cross)
|
|
{
|
|
printf ("opcode %x: xpath not applicable when side are specified both for address and data!\n",
|
|
opcode);
|
|
abort ();
|
|
}
|
|
|
|
/* Separate address and data paths are only applicable for
|
|
the D unit. */
|
|
if (func_unit_data_side && opc->func_unit != tic6x_func_unit_d)
|
|
{
|
|
printf ("opcode %x: separate address and data paths only applicable for D unit!\n",
|
|
opcode);
|
|
abort ();
|
|
}
|
|
|
|
/* If an address register is being used but in ADDA rather
|
|
than a load or store, it uses a cross path for side-A
|
|
instructions, and the cross path use is not specified by
|
|
an instruction field. */
|
|
if (have_areg && !func_unit_data_side)
|
|
{
|
|
if (have_cross)
|
|
{
|
|
printf ("opcode %x: illegal cross path specifier in adda opcode!\n", opcode);
|
|
abort ();
|
|
}
|
|
func_unit_cross = (func_unit_side == 1 ? TRUE : FALSE);
|
|
}
|
|
|
|
switch (opc->func_unit)
|
|
{
|
|
case tic6x_func_unit_d:
|
|
func_unit_char = 'D';
|
|
break;
|
|
|
|
case tic6x_func_unit_l:
|
|
func_unit_char = 'L';
|
|
break;
|
|
|
|
case tic6x_func_unit_m:
|
|
func_unit_char = 'M';
|
|
break;
|
|
|
|
case tic6x_func_unit_s:
|
|
func_unit_char = 'S';
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: illegal func_unit specifier %d\n", opcode, opc->func_unit);
|
|
abort ();
|
|
}
|
|
|
|
switch (func_unit_data_side)
|
|
{
|
|
case 0:
|
|
data_str = "";
|
|
break;
|
|
|
|
case 1:
|
|
data_str = "T1";
|
|
break;
|
|
|
|
case 2:
|
|
data_str = "T2";
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: illegal data func_unit specifier %d\n",
|
|
opcode, func_unit_data_side);
|
|
abort ();
|
|
}
|
|
|
|
if (opc->flags & TIC6X_FLAG_INSN16_BSIDE && func_unit_side == 1)
|
|
func_unit_cross = 1;
|
|
|
|
snprintf (func_unit_buf, 7, " .%c%u%s%s", func_unit_char,
|
|
func_unit_side, (func_unit_cross ? "X" : ""), data_str);
|
|
func_unit = func_unit_buf;
|
|
}
|
|
|
|
/* For each operand there must be one or more fields set based
|
|
on that operand, that can together be used to derive the
|
|
operand value. */
|
|
operands_ok = TRUE;
|
|
num_operands = opc->num_operands;
|
|
for (op_num = 0; op_num < num_operands; op_num++)
|
|
{
|
|
unsigned int fld_num;
|
|
unsigned int mem_base_reg = 0;
|
|
bfd_boolean mem_base_reg_known = FALSE;
|
|
bfd_boolean mem_base_reg_known_long = FALSE;
|
|
unsigned int mem_offset = 0;
|
|
bfd_boolean mem_offset_known = FALSE;
|
|
bfd_boolean mem_offset_known_long = FALSE;
|
|
unsigned int mem_mode = 0;
|
|
bfd_boolean mem_mode_known = FALSE;
|
|
unsigned int mem_scaled = 0;
|
|
bfd_boolean mem_scaled_known = FALSE;
|
|
unsigned int crlo = 0;
|
|
bfd_boolean crlo_known = FALSE;
|
|
unsigned int crhi = 0;
|
|
bfd_boolean crhi_known = FALSE;
|
|
bfd_boolean spmask_skip_operand = FALSE;
|
|
unsigned int fcyc_bits = 0;
|
|
bfd_boolean prev_sploop_found = FALSE;
|
|
|
|
switch (opc->operand_info[op_num].form)
|
|
{
|
|
case tic6x_operand_b15reg:
|
|
/* Fully determined by the functional unit. */
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "b15");
|
|
continue;
|
|
|
|
case tic6x_operand_zreg:
|
|
/* Fully determined by the functional unit. */
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%c0",
|
|
(func_unit_side == 2 ? 'b' : 'a'));
|
|
continue;
|
|
|
|
case tic6x_operand_retreg:
|
|
/* Fully determined by the functional unit. */
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%c3",
|
|
(func_unit_side == 2 ? 'b' : 'a'));
|
|
continue;
|
|
|
|
case tic6x_operand_irp:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "irp");
|
|
continue;
|
|
|
|
case tic6x_operand_nrp:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "nrp");
|
|
continue;
|
|
|
|
case tic6x_operand_ilc:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "ilc");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_minus_1:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "-1");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_0:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "0");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_1:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "1");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_5:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "5");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_16:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "16");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_24:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "24");
|
|
continue;
|
|
|
|
case tic6x_operand_hw_const_31:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "31");
|
|
continue;
|
|
|
|
default:
|
|
break;
|
|
}
|
|
|
|
for (fld_num = 0; fld_num < opc->num_variable_fields; fld_num++)
|
|
{
|
|
const tic6x_coding_field *const enc
|
|
= &opc->variable_fields[fld_num];
|
|
const tic6x_insn_field *field;
|
|
unsigned int fld_val;
|
|
unsigned int reg_base = 0;
|
|
signed int signed_fld_val;
|
|
char reg_side = '?';
|
|
|
|
if (enc->operand_num != op_num)
|
|
continue;
|
|
field = tic6x_field_from_fmt (fmt, enc->field_id);
|
|
if (!field)
|
|
{
|
|
printf ("opcode %x: missing field (field_id:%d) in format\n", opcode, enc->field_id);
|
|
abort ();
|
|
}
|
|
fld_val = tic6x_field_bits (opcode, field);
|
|
switch (enc->coding_method)
|
|
{
|
|
case tic6x_coding_cst_s3i:
|
|
(fld_val == 0x00) && (fld_val = 0x10);
|
|
(fld_val == 0x07) && (fld_val = 0x08);
|
|
/* Fall through. */
|
|
case tic6x_coding_ucst:
|
|
case tic6x_coding_ulcst_dpr_byte:
|
|
case tic6x_coding_ulcst_dpr_half:
|
|
case tic6x_coding_ulcst_dpr_word:
|
|
case tic6x_coding_lcst_low16:
|
|
switch (opc->operand_info[op_num].form)
|
|
{
|
|
case tic6x_operand_asm_const:
|
|
case tic6x_operand_link_const:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%u", fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_mem_long:
|
|
mem_offset = fld_val;
|
|
mem_offset_known_long = TRUE;
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: illegal operand form for operand#%d\n", opcode, op_num);
|
|
abort ();
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_lcst_high16:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%u", fld_val << 16);
|
|
break;
|
|
|
|
case tic6x_coding_scst_l3i:
|
|
operands_text[op_num] = TRUE;
|
|
if (fld_val == 0)
|
|
{
|
|
signed_fld_val = 8;
|
|
}
|
|
else
|
|
{
|
|
signed_fld_val = (signed int) fld_val;
|
|
signed_fld_val ^= (1 << (tic6x_field_width (field) - 1));
|
|
signed_fld_val -= (1 << (tic6x_field_width (field) - 1));
|
|
}
|
|
snprintf (operands[op_num], 24, "%d", signed_fld_val);
|
|
break;
|
|
|
|
case tic6x_coding_scst:
|
|
operands_text[op_num] = TRUE;
|
|
signed_fld_val = (signed int) fld_val;
|
|
signed_fld_val ^= (1 << (tic6x_field_width (field) - 1));
|
|
signed_fld_val -= (1 << (tic6x_field_width (field) - 1));
|
|
snprintf (operands[op_num], 24, "%d", signed_fld_val);
|
|
break;
|
|
|
|
case tic6x_coding_ucst_minus_one:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%u", fld_val + 1);
|
|
break;
|
|
|
|
case tic6x_coding_pcrel:
|
|
case tic6x_coding_pcrel_half:
|
|
signed_fld_val = (signed int) fld_val;
|
|
signed_fld_val ^= (1 << (tic6x_field_width (field) - 1));
|
|
signed_fld_val -= (1 << (tic6x_field_width (field) - 1));
|
|
if (fetch_packet_header_based
|
|
&& enc->coding_method == tic6x_coding_pcrel_half)
|
|
signed_fld_val *= 2;
|
|
else
|
|
signed_fld_val *= 4;
|
|
operands_pcrel[op_num] = TRUE;
|
|
operands_addresses[op_num] = fp_addr + signed_fld_val;
|
|
break;
|
|
|
|
case tic6x_coding_regpair_msb:
|
|
if (opc->operand_info[op_num].form != tic6x_operand_regpair)
|
|
abort ();
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%c%u:%c%u",
|
|
(func_unit_side == 2 ? 'b' : 'a'), (fld_val | 0x1),
|
|
(func_unit_side == 2 ? 'b' : 'a'), (fld_val | 0x1) - 1);
|
|
break;
|
|
|
|
case tic6x_coding_pcrel_half_unsigned:
|
|
operands_pcrel[op_num] = TRUE;
|
|
operands_addresses[op_num] = fp_addr + 2 * fld_val;
|
|
break;
|
|
|
|
case tic6x_coding_reg_shift:
|
|
fld_val <<= 1;
|
|
/* Fall through. */
|
|
case tic6x_coding_reg:
|
|
if (num_bits == 16 && header.rs && !(opc->flags & TIC6X_FLAG_INSN16_NORS))
|
|
{
|
|
reg_base = 16;
|
|
}
|
|
switch (opc->operand_info[op_num].form)
|
|
{
|
|
case tic6x_operand_treg:
|
|
if (!have_t)
|
|
{
|
|
printf ("opcode %x: operand treg but missing t field\n", opcode);
|
|
abort ();
|
|
}
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = t_val ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u", reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_reg:
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = (func_unit_side == 2) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u", reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_reg_nors:
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = (func_unit_side == 2) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u", reg_side, fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_reg_bside:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "b%u", reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_reg_bside_nors:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "b%u", fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_xreg:
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = ((func_unit_side == 2) ^ func_unit_cross) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u", reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_dreg:
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = (func_unit_data_side == 2) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u", reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_regpair:
|
|
operands_text[op_num] = TRUE;
|
|
if (fld_val & 1)
|
|
operands_ok = FALSE;
|
|
reg_side = (func_unit_side == 2) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u:%c%u",
|
|
reg_side, reg_base + fld_val + 1,
|
|
reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_xregpair:
|
|
operands_text[op_num] = TRUE;
|
|
if (fld_val & 1)
|
|
operands_ok = FALSE;
|
|
reg_side = ((func_unit_side == 2) ^ func_unit_cross) ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u:%c%u",
|
|
reg_side, reg_base + fld_val + 1,
|
|
reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_tregpair:
|
|
if (!have_t)
|
|
{
|
|
printf ("opcode %x: operand tregpair but missing t field\n", opcode);
|
|
abort ();
|
|
}
|
|
operands_text[op_num] = TRUE;
|
|
if (fld_val & 1)
|
|
operands_ok = FALSE;
|
|
reg_side = t_val ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u:%c%u",
|
|
reg_side, reg_base + fld_val + 1,
|
|
reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_dregpair:
|
|
operands_text[op_num] = TRUE;
|
|
if (fld_val & 1)
|
|
operands_ok = FALSE;
|
|
reg_side = (func_unit_data_side) == 2 ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "%c%u:%c%u",
|
|
reg_side, reg_base + fld_val + 1,
|
|
reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_mem_deref:
|
|
operands_text[op_num] = TRUE;
|
|
reg_side = func_unit_side == 2 ? 'b' : 'a';
|
|
snprintf (operands[op_num], 24, "*%c%u", reg_side, reg_base + fld_val);
|
|
break;
|
|
|
|
case tic6x_operand_mem_short:
|
|
case tic6x_operand_mem_ndw:
|
|
mem_base_reg = fld_val;
|
|
mem_base_reg_known = TRUE;
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: unexpected operand form %d for operand #%d",
|
|
opcode, opc->operand_info[op_num].form, op_num);
|
|
abort ();
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_reg_ptr:
|
|
switch (opc->operand_info[op_num].form)
|
|
{
|
|
case tic6x_operand_mem_short:
|
|
case tic6x_operand_mem_ndw:
|
|
if (fld_val > 0x3u)
|
|
{
|
|
printf("opcode %x: illegal field value for ptr register of operand #%d (%d)",
|
|
opcode, op_num, fld_val);
|
|
abort ();
|
|
}
|
|
mem_base_reg = 0x4 | fld_val;
|
|
mem_base_reg_known = TRUE;
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: unexpected operand form %d for operand #%d",
|
|
opcode, opc->operand_info[op_num].form, op_num);
|
|
abort ();
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_areg:
|
|
switch (opc->operand_info[op_num].form)
|
|
{
|
|
case tic6x_operand_areg:
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "b%u",
|
|
fld_val ? 15u : 14u);
|
|
break;
|
|
|
|
case tic6x_operand_mem_long:
|
|
mem_base_reg = fld_val ? 15u : 14u;
|
|
mem_base_reg_known_long = TRUE;
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: bad operand form\n", opcode);
|
|
abort ();
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_mem_offset_minus_one_noscale:
|
|
case tic6x_coding_mem_offset_minus_one:
|
|
fld_val += 1;
|
|
case tic6x_coding_mem_offset_noscale:
|
|
case tic6x_coding_mem_offset:
|
|
mem_offset = fld_val;
|
|
mem_offset_known = TRUE;
|
|
if (num_bits == 16)
|
|
{
|
|
mem_mode_known = TRUE;
|
|
mem_mode = TIC6X_INSN16_MEM_MODE_VAL (opc->flags);
|
|
mem_scaled_known = TRUE;
|
|
mem_scaled = TRUE;
|
|
if (opc->flags & TIC6X_FLAG_INSN16_B15PTR)
|
|
{
|
|
mem_base_reg_known = TRUE;
|
|
mem_base_reg = 15;
|
|
}
|
|
if ( enc->coding_method == tic6x_coding_mem_offset_noscale
|
|
|| enc->coding_method == tic6x_coding_mem_offset_noscale )
|
|
mem_scaled = FALSE;
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_mem_mode:
|
|
mem_mode = fld_val;
|
|
mem_mode_known = TRUE;
|
|
break;
|
|
|
|
case tic6x_coding_scaled:
|
|
mem_scaled = fld_val;
|
|
mem_scaled_known = TRUE;
|
|
break;
|
|
|
|
case tic6x_coding_crlo:
|
|
crlo = fld_val;
|
|
crlo_known = TRUE;
|
|
break;
|
|
|
|
case tic6x_coding_crhi:
|
|
crhi = fld_val;
|
|
crhi_known = TRUE;
|
|
break;
|
|
|
|
case tic6x_coding_fstg:
|
|
case tic6x_coding_fcyc:
|
|
if (!prev_sploop_found)
|
|
{
|
|
bfd_vma search_fp_addr = fp_addr;
|
|
bfd_vma search_fp_offset = fp_offset;
|
|
bfd_boolean search_fp_header_based
|
|
= fetch_packet_header_based;
|
|
tic6x_fetch_packet_header search_fp_header = header;
|
|
unsigned char search_fp[32];
|
|
unsigned int search_num_bits;
|
|
unsigned int search_opcode;
|
|
unsigned int sploop_ii = 0;
|
|
int i;
|
|
|
|
memcpy (search_fp, fp, 32);
|
|
|
|
/* To interpret these bits in an SPKERNEL
|
|
instruction, we must find the previous
|
|
SPLOOP-family instruction. It may come up to
|
|
48 execute packets earlier. */
|
|
for (i = 0; i < 48 * 8; i++)
|
|
{
|
|
/* Find the previous instruction. */
|
|
if (search_fp_offset & 2)
|
|
search_fp_offset -= 2;
|
|
else if (search_fp_offset >= 4)
|
|
{
|
|
if (search_fp_header_based
|
|
&& (search_fp_header.word_compact
|
|
[(search_fp_offset >> 2) - 1]))
|
|
search_fp_offset -= 2;
|
|
else
|
|
search_fp_offset -= 4;
|
|
}
|
|
else
|
|
{
|
|
search_fp_addr -= 32;
|
|
status = info->read_memory_func (search_fp_addr,
|
|
search_fp,
|
|
32, info);
|
|
if (status)
|
|
/* No previous SPLOOP instruction. */
|
|
break;
|
|
search_fp_header_based
|
|
= (tic6x_check_fetch_packet_header
|
|
(search_fp, &search_fp_header, info));
|
|
if (search_fp_header_based)
|
|
search_fp_offset
|
|
= search_fp_header.word_compact[6] ? 26 : 24;
|
|
else
|
|
search_fp_offset = 28;
|
|
}
|
|
|
|
/* Extract the previous instruction. */
|
|
if (search_fp_header_based)
|
|
search_num_bits
|
|
= (search_fp_header.word_compact[search_fp_offset
|
|
>> 2]
|
|
? 16
|
|
: 32);
|
|
else
|
|
search_num_bits = 32;
|
|
if (search_num_bits == 16)
|
|
{
|
|
if (info->endian == BFD_ENDIAN_LITTLE)
|
|
search_opcode
|
|
= (tic6x_extract_16
|
|
(search_fp + search_fp_offset, &header, info));
|
|
else
|
|
search_opcode
|
|
= (tic6x_extract_16
|
|
(search_fp + (search_fp_offset ^ 2), &header,
|
|
info));
|
|
}
|
|
else
|
|
search_opcode
|
|
= tic6x_extract_32 (search_fp + search_fp_offset,
|
|
info);
|
|
|
|
/* Check whether it is an SPLOOP-family
|
|
instruction. */
|
|
if (search_num_bits == 32
|
|
&& ((search_opcode & 0x003ffffe) == 0x00038000
|
|
|| (search_opcode & 0x003ffffe) == 0x0003a000
|
|
|| ((search_opcode & 0x003ffffe)
|
|
== 0x0003e000)))
|
|
{
|
|
prev_sploop_found = TRUE;
|
|
sploop_ii = ((search_opcode >> 23) & 0x1f) + 1;
|
|
}
|
|
else if (search_num_bits == 16
|
|
&& (search_opcode & 0x3c7e) == 0x0c66)
|
|
{
|
|
prev_sploop_found = TRUE;
|
|
sploop_ii
|
|
= (((search_opcode >> 7) & 0x7)
|
|
| ((search_opcode >> 11) & 0x8)) + 1;
|
|
}
|
|
if (prev_sploop_found)
|
|
{
|
|
if (sploop_ii <= 0)
|
|
{
|
|
printf ("opcode %x: sloop index not found (%d)\n", opcode, sploop_ii);
|
|
abort ();
|
|
}
|
|
else if (sploop_ii <= 1)
|
|
fcyc_bits = 0;
|
|
else if (sploop_ii <= 2)
|
|
fcyc_bits = 1;
|
|
else if (sploop_ii <= 4)
|
|
fcyc_bits = 2;
|
|
else if (sploop_ii <= 8)
|
|
fcyc_bits = 3;
|
|
else if (sploop_ii <= 14)
|
|
fcyc_bits = 4;
|
|
else
|
|
prev_sploop_found = FALSE;
|
|
}
|
|
if (prev_sploop_found)
|
|
break;
|
|
}
|
|
}
|
|
if (!prev_sploop_found)
|
|
{
|
|
operands_ok = FALSE;
|
|
operands_text[op_num] = TRUE;
|
|
break;
|
|
}
|
|
if (fcyc_bits > tic6x_field_width(field))
|
|
{
|
|
printf ("opcode %x: illegal fcyc value (%d)\n", opcode, fcyc_bits);
|
|
abort ();
|
|
}
|
|
if (enc->coding_method == tic6x_coding_fstg)
|
|
{
|
|
int i, t;
|
|
for (t = 0, i = fcyc_bits; i < 6; i++)
|
|
t = (t << 1) | ((fld_val >> i) & 1);
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%u", t);
|
|
}
|
|
else
|
|
{
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%u",
|
|
fld_val & ((1 << fcyc_bits) - 1));
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_spmask:
|
|
if (fld_val == 0)
|
|
spmask_skip_operand = TRUE;
|
|
else
|
|
{
|
|
char *p;
|
|
unsigned int i;
|
|
|
|
operands_text[op_num] = TRUE;
|
|
p = operands[op_num];
|
|
for (i = 0; i < 8; i++)
|
|
if (fld_val & (1 << i))
|
|
{
|
|
*p++ = "LSDM"[i/2];
|
|
*p++ = '1' + (i & 1);
|
|
*p++ = ',';
|
|
}
|
|
p[-1] = 0;
|
|
}
|
|
break;
|
|
|
|
case tic6x_coding_fu:
|
|
case tic6x_coding_data_fu:
|
|
case tic6x_coding_xpath:
|
|
case tic6x_coding_rside:
|
|
/* Don't relate to operands, so operand number is
|
|
meaningless. */
|
|
break;
|
|
|
|
default:
|
|
printf ("opcode %x: illegal field encoding (%d)\n", opcode, enc->coding_method);
|
|
abort ();
|
|
}
|
|
|
|
if (mem_base_reg_known_long && mem_offset_known_long)
|
|
{
|
|
if (operands_text[op_num] || operands_pcrel[op_num])
|
|
{
|
|
printf ("opcode %x: long access but operands already known ?\n", opcode);
|
|
abort ();
|
|
}
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "*+b%u(%u)", mem_base_reg,
|
|
mem_offset * opc->operand_info[op_num].size);
|
|
}
|
|
|
|
if (mem_base_reg_known && mem_offset_known && mem_mode_known
|
|
&& (mem_scaled_known
|
|
|| (opc->operand_info[op_num].form
|
|
!= tic6x_operand_mem_ndw)))
|
|
{
|
|
char side;
|
|
char base[4];
|
|
bfd_boolean offset_is_reg;
|
|
bfd_boolean offset_scaled;
|
|
char offset[4];
|
|
char offsetp[6];
|
|
|
|
if (operands_text[op_num] || operands_pcrel[op_num])
|
|
{
|
|
printf ("opcode %x: mem access operands already known ?\n", opcode);
|
|
abort ();
|
|
}
|
|
|
|
side = func_unit_side == 2 ? 'b' : 'a';
|
|
snprintf (base, 4, "%c%u", side, mem_base_reg);
|
|
|
|
offset_is_reg = ((mem_mode & 4) ? TRUE : FALSE);
|
|
if (offset_is_reg)
|
|
{
|
|
|
|
if (num_bits == 16 && header.rs && !(opc->flags & TIC6X_FLAG_INSN16_NORS))
|
|
{
|
|
reg_base = 16;
|
|
}
|
|
snprintf (offset, 4, "%c%u", side, reg_base + mem_offset);
|
|
if (opc->operand_info[op_num].form
|
|
== tic6x_operand_mem_ndw)
|
|
offset_scaled = mem_scaled ? TRUE : FALSE;
|
|
else
|
|
offset_scaled = TRUE;
|
|
}
|
|
else
|
|
{
|
|
if (opc->operand_info[op_num].form
|
|
== tic6x_operand_mem_ndw)
|
|
{
|
|
offset_scaled = mem_scaled ? TRUE : FALSE;
|
|
snprintf (offset, 4, "%u", mem_offset);
|
|
}
|
|
else
|
|
{
|
|
offset_scaled = FALSE;
|
|
snprintf (offset, 4, "%u",
|
|
(mem_offset
|
|
* opc->operand_info[op_num].size));
|
|
}
|
|
}
|
|
|
|
if (offset_scaled)
|
|
snprintf (offsetp, 6, "[%s]", offset);
|
|
else
|
|
snprintf (offsetp, 6, "(%s)", offset);
|
|
|
|
operands_text[op_num] = TRUE;
|
|
switch (mem_mode & ~4u)
|
|
{
|
|
case 0:
|
|
snprintf (operands[op_num], 24, "*-%s%s", base, offsetp);
|
|
break;
|
|
|
|
case 1:
|
|
snprintf (operands[op_num], 24, "*+%s%s", base, offsetp);
|
|
break;
|
|
|
|
case 2:
|
|
case 3:
|
|
operands_ok = FALSE;
|
|
break;
|
|
|
|
case 8:
|
|
snprintf (operands[op_num], 24, "*--%s%s", base,
|
|
offsetp);
|
|
break;
|
|
|
|
case 9:
|
|
snprintf (operands[op_num], 24, "*++%s%s", base,
|
|
offsetp);
|
|
break;
|
|
|
|
case 10:
|
|
snprintf (operands[op_num], 24, "*%s--%s", base,
|
|
offsetp);
|
|
break;
|
|
|
|
case 11:
|
|
snprintf (operands[op_num], 24, "*%s++%s", base,
|
|
offsetp);
|
|
break;
|
|
|
|
default:
|
|
printf ("*** unknown mem_mode : %d \n", mem_mode);
|
|
abort ();
|
|
}
|
|
}
|
|
|
|
if (crlo_known && crhi_known)
|
|
{
|
|
tic6x_rw rw;
|
|
tic6x_ctrl_id crid;
|
|
|
|
if (operands_text[op_num] || operands_pcrel[op_num])
|
|
{
|
|
printf ("*** abort crlo crli\n");
|
|
abort ();
|
|
}
|
|
|
|
rw = opc->operand_info[op_num].rw;
|
|
if (rw != tic6x_rw_read
|
|
&& rw != tic6x_rw_write)
|
|
{
|
|
printf ("*** abort rw : %d\n", rw);
|
|
abort ();
|
|
}
|
|
|
|
for (crid = 0; crid < tic6x_ctrl_max; crid++)
|
|
{
|
|
if (crlo == tic6x_ctrl_table[crid].crlo
|
|
&& (crhi & tic6x_ctrl_table[crid].crhi_mask) == 0
|
|
&& (rw == tic6x_rw_read
|
|
? (tic6x_ctrl_table[crid].rw == tic6x_rw_read
|
|
|| (tic6x_ctrl_table[crid].rw
|
|
== tic6x_rw_read_write))
|
|
: (tic6x_ctrl_table[crid].rw == tic6x_rw_write
|
|
|| (tic6x_ctrl_table[crid].rw
|
|
== tic6x_rw_read_write))))
|
|
break;
|
|
}
|
|
if (crid == tic6x_ctrl_max)
|
|
{
|
|
operands_text[op_num] = TRUE;
|
|
operands_ok = FALSE;
|
|
}
|
|
else
|
|
{
|
|
operands_text[op_num] = TRUE;
|
|
snprintf (operands[op_num], 24, "%s",
|
|
tic6x_ctrl_table[crid].name);
|
|
}
|
|
}
|
|
|
|
if (operands_text[op_num] || operands_pcrel[op_num]
|
|
|| spmask_skip_operand)
|
|
break;
|
|
}
|
|
/* end for fld_num */
|
|
|
|
if (spmask_skip_operand)
|
|
{
|
|
/* SPMASK operands are only valid as the single operand
|
|
in the opcode table. */
|
|
if (num_operands != 1)
|
|
{
|
|
printf ("opcode: %x, num_operands != 1 : %d\n", opcode, num_operands);
|
|
abort ();
|
|
}
|
|
num_operands = 0;
|
|
break;
|
|
}
|
|
|
|
/* The operand must by now have been decoded. */
|
|
if (!operands_text[op_num] && !operands_pcrel[op_num])
|
|
{
|
|
printf ("opcode: %x, operand #%d not decoded\n", opcode, op_num);
|
|
abort ();
|
|
}
|
|
}
|
|
/* end for op_num */
|
|
|
|
if (!operands_ok)
|
|
continue;
|
|
|
|
info->bytes_per_chunk = num_bits / 8;
|
|
info->fprintf_func (info->stream, "%s", parallel);
|
|
info->fprintf_func (info->stream, "%s%s%s", cond, opc->name,
|
|
func_unit);
|
|
for (op_num = 0; op_num < num_operands; op_num++)
|
|
{
|
|
info->fprintf_func (info->stream, "%c", (op_num == 0 ? ' ' : ','));
|
|
if (operands_pcrel[op_num])
|
|
info->print_address_func (operands_addresses[op_num], info);
|
|
else
|
|
info->fprintf_func (info->stream, "%s", operands[op_num]);
|
|
}
|
|
if (fetch_packet_header_based && header.prot)
|
|
info->fprintf_func (info->stream, " || nop 5");
|
|
|
|
return num_bits / 8;
|
|
}
|
|
|
|
info->bytes_per_chunk = num_bits / 8;
|
|
info->fprintf_func (info->stream, "<undefined instruction 0x%.*x>",
|
|
(int) num_bits / 4, opcode);
|
|
return num_bits / 8;
|
|
}
|