| /* xtensa-dis.c. Disassembly functions for Xtensa. | |
| Copyright (C) 2003-2021 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; | |
| } | |