123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467 |
- /* xtensa-dis.c. Disassembly functions for Xtensa.
- Copyright (C) 2003-2022 Free Software Foundation, Inc.
- Contributed by Bob Wilson at Tensilica, Inc. (bwilson@tensilica.com)
- This file is part of the GNU opcodes library.
- 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, 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 file; see the file COPYING. If not, write to the
- Free Software Foundation, 51 Franklin Street - Fifth Floor, Boston,
- MA 02110-1301, USA. */
- #include "sysdep.h"
- #include <stdlib.h>
- #include <stdio.h>
- #include <sys/types.h>
- #include <string.h>
- #include "xtensa-isa.h"
- #include "ansidecl.h"
- #include "libiberty.h"
- #include "bfd.h"
- #include "elf/xtensa.h"
- #include "disassemble.h"
- #include <setjmp.h>
- extern xtensa_isa xtensa_default_isa;
- #ifndef MAX
- #define MAX(a,b) (a > b ? a : b)
- #endif
- int show_raw_fields;
- struct dis_private
- {
- bfd_byte *byte_buf;
- OPCODES_SIGJMP_BUF bailout;
- /* Persistent fields, valid for last_section only. */
- asection *last_section;
- property_table_entry *insn_table_entries;
- int insn_table_entry_count;
- /* Cached property table search position. */
- bfd_vma insn_table_cur_addr;
- int insn_table_cur_idx;
- };
- static void
- xtensa_coalesce_insn_tables (struct dis_private *priv)
- {
- const int mask = ~(XTENSA_PROP_DATA | XTENSA_PROP_NO_TRANSFORM);
- int count = priv->insn_table_entry_count;
- int i, j;
- /* Loop over all entries, combining adjacent ones that differ only in
- the flag bits XTENSA_PROP_DATA and XTENSA_PROP_NO_TRANSFORM. */
- for (i = j = 0; j < count; ++i)
- {
- property_table_entry *entry = priv->insn_table_entries + i;
- *entry = priv->insn_table_entries[j];
- for (++j; j < count; ++j)
- {
- property_table_entry *next = priv->insn_table_entries + j;
- int fill = xtensa_compute_fill_extra_space (entry);
- int size = entry->size + fill;
- if (entry->address + size == next->address)
- {
- int entry_flags = entry->flags & mask;
- int next_flags = next->flags & mask;
- if (next_flags == entry_flags)
- entry->size = next->address - entry->address + next->size;
- else
- break;
- }
- else
- {
- break;
- }
- }
- }
- priv->insn_table_entry_count = i;
- }
- static property_table_entry *
- xtensa_find_table_entry (bfd_vma memaddr, struct disassemble_info *info)
- {
- struct dis_private *priv = (struct dis_private *) info->private_data;
- int i;
- if (priv->insn_table_entries == NULL
- || priv->insn_table_entry_count < 0)
- return NULL;
- if (memaddr < priv->insn_table_cur_addr)
- priv->insn_table_cur_idx = 0;
- for (i = priv->insn_table_cur_idx; i < priv->insn_table_entry_count; ++i)
- {
- property_table_entry *block = priv->insn_table_entries + i;
- if (block->size != 0)
- {
- if ((memaddr >= block->address
- && memaddr < block->address + block->size)
- || memaddr < block->address)
- {
- priv->insn_table_cur_addr = memaddr;
- priv->insn_table_cur_idx = i;
- return block;
- }
- }
- }
- return NULL;
- }
- /* Check whether an instruction crosses an instruction block boundary
- (according to property tables).
- If it does, return 0 (doesn't fit), else return 1. */
- static int
- xtensa_instruction_fits (bfd_vma memaddr, int size,
- property_table_entry *insn_block)
- {
- unsigned max_size;
- /* If no property table info, assume it fits. */
- if (insn_block == NULL || size <= 0)
- return 1;
- /* If too high, limit nextstop by the next insn address. */
- if (insn_block->address > memaddr)
- {
- /* memaddr is not in an instruction block, but is followed by one. */
- max_size = insn_block->address - memaddr;
- }
- else
- {
- /* memaddr is in an instruction block, go no further than the end. */
- max_size = insn_block->address + insn_block->size - memaddr;
- }
- /* Crossing a boundary, doesn't "fit". */
- if ((unsigned)size > max_size)
- return 0;
- return 1;
- }
- static int
- fetch_data (struct disassemble_info *info, bfd_vma memaddr)
- {
- int length, status = 0;
- struct dis_private *priv = (struct dis_private *) info->private_data;
- int insn_size = xtensa_isa_maxlength (xtensa_default_isa);
- insn_size = MAX (insn_size, 4);
- /* Read the maximum instruction size, padding with zeros if we go past
- the end of the text section. This code will automatically adjust
- length when we hit the end of the buffer. */
- memset (priv->byte_buf, 0, insn_size);
- for (length = insn_size; length > 0; length--)
- {
- status = (*info->read_memory_func) (memaddr, priv->byte_buf, length,
- info);
- if (status == 0)
- return length;
- }
- (*info->memory_error_func) (status, memaddr, info);
- OPCODES_SIGLONGJMP (priv->bailout, 1);
- /*NOTREACHED*/
- }
- static void
- print_xtensa_operand (bfd_vma memaddr,
- struct disassemble_info *info,
- xtensa_opcode opc,
- int opnd,
- unsigned operand_val)
- {
- xtensa_isa isa = xtensa_default_isa;
- int signed_operand_val, status;
- bfd_byte litbuf[4];
- if (show_raw_fields)
- {
- if (operand_val < 0xa)
- (*info->fprintf_func) (info->stream, "%u", operand_val);
- else
- (*info->fprintf_func) (info->stream, "0x%x", operand_val);
- return;
- }
- (void) xtensa_operand_decode (isa, opc, opnd, &operand_val);
- signed_operand_val = (int) operand_val;
- if (xtensa_operand_is_register (isa, opc, opnd) == 0)
- {
- if (xtensa_operand_is_PCrelative (isa, opc, opnd) == 1)
- {
- (void) xtensa_operand_undo_reloc (isa, opc, opnd,
- &operand_val, memaddr);
- info->target = operand_val;
- (*info->print_address_func) (info->target, info);
- /* Also display value loaded by L32R (but not if reloc exists,
- those tend to be wrong): */
- if ((info->flags & INSN_HAS_RELOC) == 0
- && !strcmp ("l32r", xtensa_opcode_name (isa, opc)))
- status = (*info->read_memory_func) (operand_val, litbuf, 4, info);
- else
- status = -1;
- if (status == 0)
- {
- unsigned literal = bfd_get_bits (litbuf, 32,
- info->endian == BFD_ENDIAN_BIG);
- (*info->fprintf_func) (info->stream, " (");
- (*info->print_address_func) (literal, info);
- (*info->fprintf_func) (info->stream, ")");
- }
- }
- else
- {
- if ((signed_operand_val > -256) && (signed_operand_val < 256))
- (*info->fprintf_func) (info->stream, "%d", signed_operand_val);
- else
- (*info->fprintf_func) (info->stream, "0x%x", signed_operand_val);
- }
- }
- else
- {
- int i = 1;
- xtensa_regfile opnd_rf = xtensa_operand_regfile (isa, opc, opnd);
- (*info->fprintf_func) (info->stream, "%s%u",
- xtensa_regfile_shortname (isa, opnd_rf),
- operand_val);
- while (i < xtensa_operand_num_regs (isa, opc, opnd))
- {
- operand_val++;
- (*info->fprintf_func) (info->stream, ":%s%u",
- xtensa_regfile_shortname (isa, opnd_rf),
- operand_val);
- i++;
- }
- }
- }
- /* Print the Xtensa instruction at address MEMADDR on info->stream.
- Returns length of the instruction in bytes. */
- int
- print_insn_xtensa (bfd_vma memaddr, struct disassemble_info *info)
- {
- unsigned operand_val;
- int bytes_fetched, size, maxsize, i, n, noperands, nslots;
- xtensa_isa isa;
- xtensa_opcode opc;
- xtensa_format fmt;
- static struct dis_private priv;
- static bfd_byte *byte_buf = NULL;
- static xtensa_insnbuf insn_buffer = NULL;
- static xtensa_insnbuf slot_buffer = NULL;
- int first, first_slot, valid_insn;
- property_table_entry *insn_block;
- if (!xtensa_default_isa)
- xtensa_default_isa = xtensa_isa_init (0, 0);
- info->target = 0;
- maxsize = xtensa_isa_maxlength (xtensa_default_isa);
- /* Set bytes_per_line to control the amount of whitespace between the hex
- values and the opcode. For Xtensa, we always print one "chunk" and we
- vary bytes_per_chunk to determine how many bytes to print. (objdump
- would apparently prefer that we set bytes_per_chunk to 1 and vary
- bytes_per_line but that makes it hard to fit 64-bit instructions on
- an 80-column screen.) The value of bytes_per_line here is not exactly
- right, because objdump adds an extra space for each chunk so that the
- amount of whitespace depends on the chunk size. Oh well, it's good
- enough.... Note that we set the minimum size to 4 to accomodate
- literal pools. */
- info->bytes_per_line = MAX (maxsize, 4);
- /* Allocate buffers the first time through. */
- if (!insn_buffer)
- {
- insn_buffer = xtensa_insnbuf_alloc (xtensa_default_isa);
- slot_buffer = xtensa_insnbuf_alloc (xtensa_default_isa);
- byte_buf = (bfd_byte *) xmalloc (MAX (maxsize, 4));
- }
- priv.byte_buf = byte_buf;
- info->private_data = (void *) &priv;
- /* Prepare instruction tables. */
- if (info->section != NULL)
- {
- asection *section = info->section;
- if (priv.last_section != section)
- {
- bfd *abfd = section->owner;
- if (priv.last_section != NULL)
- {
- /* Reset insn_table_entries. */
- priv.insn_table_entry_count = 0;
- free (priv.insn_table_entries);
- priv.insn_table_entries = NULL;
- }
- priv.last_section = section;
- /* Read insn_table_entries. */
- priv.insn_table_entry_count =
- xtensa_read_table_entries (abfd, section,
- &priv.insn_table_entries,
- XTENSA_PROP_SEC_NAME, false);
- if (priv.insn_table_entry_count == 0)
- {
- free (priv.insn_table_entries);
- priv.insn_table_entries = NULL;
- /* Backwards compatibility support. */
- priv.insn_table_entry_count =
- xtensa_read_table_entries (abfd, section,
- &priv.insn_table_entries,
- XTENSA_INSN_SEC_NAME, false);
- }
- priv.insn_table_cur_idx = 0;
- xtensa_coalesce_insn_tables (&priv);
- }
- /* Else nothing to do, same section as last time. */
- }
- if (OPCODES_SIGSETJMP (priv.bailout) != 0)
- /* Error return. */
- return -1;
- /* Fetch the maximum size instruction. */
- bytes_fetched = fetch_data (info, memaddr);
- insn_block = xtensa_find_table_entry (memaddr, info);
- /* Don't set "isa" before the setjmp to keep the compiler from griping. */
- isa = xtensa_default_isa;
- size = 0;
- nslots = 0;
- valid_insn = 0;
- fmt = 0;
- if (!insn_block || (insn_block->flags & XTENSA_PROP_INSN))
- {
- /* Copy the bytes into the decode buffer. */
- memset (insn_buffer, 0, (xtensa_insnbuf_size (isa) *
- sizeof (xtensa_insnbuf_word)));
- xtensa_insnbuf_from_chars (isa, insn_buffer, priv.byte_buf,
- bytes_fetched);
- fmt = xtensa_format_decode (isa, insn_buffer);
- if (fmt != XTENSA_UNDEFINED
- && ((size = xtensa_format_length (isa, fmt)) <= bytes_fetched)
- && xtensa_instruction_fits (memaddr, size, insn_block))
- {
- /* Make sure all the opcodes are valid. */
- valid_insn = 1;
- nslots = xtensa_format_num_slots (isa, fmt);
- for (n = 0; n < nslots; n++)
- {
- xtensa_format_get_slot (isa, fmt, n, insn_buffer, slot_buffer);
- if (xtensa_opcode_decode (isa, fmt, n, slot_buffer)
- == XTENSA_UNDEFINED)
- {
- valid_insn = 0;
- break;
- }
- }
- }
- }
- if (!valid_insn)
- {
- if (insn_block && (insn_block->flags & XTENSA_PROP_LITERAL)
- && (memaddr & 3) == 0 && bytes_fetched >= 4)
- {
- info->bytes_per_chunk = 4;
- return 4;
- }
- else
- {
- (*info->fprintf_func) (info->stream, ".byte %#02x", priv.byte_buf[0]);
- return 1;
- }
- }
- if (nslots > 1)
- (*info->fprintf_func) (info->stream, "{ ");
- info->insn_type = dis_nonbranch;
- info->insn_info_valid = 1;
- first_slot = 1;
- for (n = 0; n < nslots; n++)
- {
- if (first_slot)
- first_slot = 0;
- else
- (*info->fprintf_func) (info->stream, "; ");
- xtensa_format_get_slot (isa, fmt, n, insn_buffer, slot_buffer);
- opc = xtensa_opcode_decode (isa, fmt, n, slot_buffer);
- (*info->fprintf_func) (info->stream, "%s",
- xtensa_opcode_name (isa, opc));
- if (xtensa_opcode_is_branch (isa, opc))
- info->insn_type = dis_condbranch;
- else if (xtensa_opcode_is_jump (isa, opc))
- info->insn_type = dis_branch;
- else if (xtensa_opcode_is_call (isa, opc))
- info->insn_type = dis_jsr;
- /* Print the operands (if any). */
- noperands = xtensa_opcode_num_operands (isa, opc);
- first = 1;
- for (i = 0; i < noperands; i++)
- {
- if (xtensa_operand_is_visible (isa, opc, i) == 0)
- continue;
- if (first)
- {
- (*info->fprintf_func) (info->stream, "\t");
- first = 0;
- }
- else
- (*info->fprintf_func) (info->stream, ", ");
- (void) xtensa_operand_get_field (isa, opc, i, fmt, n,
- slot_buffer, &operand_val);
- print_xtensa_operand (memaddr, info, opc, i, operand_val);
- }
- }
- if (nslots > 1)
- (*info->fprintf_func) (info->stream, " }");
- info->bytes_per_chunk = size;
- info->display_endian = info->endian;
- return size;
- }
|