mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2025-03-07 13:39:43 +08:00
1. Remove the -mriscv-isa-version and --with-riscv-isa-version options. We can still use -march to choose the version for each extensions, so there is no need to add these. 2. Change the arguments of options from [1p9|1p9p1|...] to [1.9|1.9.1|...]. Unlike the architecture string has specified by spec, ther is no need to do the same thing for options. 3. Spilt the patches to reduce the burdens of review. [PATCH 3/7] RISC-V: Support new GAS options and configure options to set ISA versions to [PATCH v2 3/9] RISC-V: Support GAS option -misa-spec to set ISA versions [PATCH v2 4/9] RISC-V: Support configure options to set ISA versions by default. [PATCH 4/7] RISC-V: Support version checking for CSR according to privilege version. to [PATCH v2 5/9] RISC-V: Support version checking for CSR according to privilege spec version. [PATCH v2 6/9] RISC-V: Support configure option to choose the privilege spec version. 4. Use enum class rather than string to compare the choosen ISA spec in opcodes/riscv-opc.c. The behavior is same as comparing the choosen privilege spec. include * opcode/riscv.h: Include "bfd.h" to support bfd_boolean. (enum riscv_isa_spec_class): New enum class. All supported ISA spec belong to one of the class (struct riscv_ext_version): New structure holds version information for the specific ISA. * opcode/riscv-opc.h (DECLARE_CSR): There are two version information, define_version and abort_version. The define_version means which privilege spec is started to define the CSR, and the abort_version means which privilege spec is started to abort the CSR. If the CSR is valid for the newest spec, then the abort_version should be PRIV_SPEC_CLASS_DRAFT. (DECLARE_CSR_ALIAS): Same as DECLARE_CSR, but only for the obselete CSR. * opcode/riscv.h (enum riscv_priv_spec_class): New enum class. Define the current supported privilege spec versions. (struct riscv_csr_extra): Add new fields to store more information about the CSR. We use these information to find the suitable CSR address when user choosing a specific privilege spec. binutils * dwarf.c: Updated since DECLARE_CSR is changed. opcodes * riscv-opc.c (riscv_ext_version_table): The table used to store all information about the supported spec and the corresponding ISA versions. Currently, only Zicsr is supported to verify the correctness of Z sub extension settings. Others will be supported in the future patches. (struct isa_spec_t, isa_specs): List for all supported ISA spec classes and the corresponding strings. (riscv_get_isa_spec_class): New function. Get the corresponding ISA spec class by giving a ISA spec string. * riscv-opc.c (struct priv_spec_t): New structure. (struct priv_spec_t priv_specs): List for all supported privilege spec classes and the corresponding strings. (riscv_get_priv_spec_class): New function. Get the corresponding privilege spec class by giving a spec string. (riscv_get_priv_spec_name): New function. Get the corresponding privilege spec string by giving a CSR version class. * riscv-dis.c: Updated since DECLARE_CSR is changed. * riscv-dis.c: Add new disassembler option -Mpriv-spec to dump the CSR according to the chosen version. Build a hash table riscv_csr_hash to store the valid CSR for the chosen pirv verison. Dump the direct CSR address rather than it's name if it is invalid. (parse_riscv_dis_option_without_args): New function. Parse the options without arguments. (parse_riscv_dis_option): Call parse_riscv_dis_option_without_args to parse the options without arguments first, and then handle the options with arguments. Add the new option -Mpriv-spec, which has argument. * riscv-dis.c (print_riscv_disassembler_options): Add description about the new OBJDUMP option. ld * testsuite/ld-riscv-elf/attr-merge-arch-01.d: Updated priv attributes according to the -mpriv-spec option. * testsuite/ld-riscv-elf/attr-merge-arch-02.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-arch-03.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-priv-spec-a.s: Likewise. * testsuite/ld-riscv-elf/attr-merge-priv-spec-b.s: Likewise. * testsuite/ld-riscv-elf/attr-merge-priv-spec.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-stack-align.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-strict-align-01.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-strict-align-02.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-strict-align-03.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-strict-align-04.d: Likewise. * testsuite/ld-riscv-elf/attr-merge-strict-align-05.d: Likewise. bfd * elfxx-riscv.h (riscv_parse_subset_t): Add new callback function get_default_version. It is used to find the default version for the specific extension. * elfxx-riscv.c (riscv_parsing_subset_version): Remove the parameters default_major_version and default_minor_version. Add new bfd_boolean parameter *use_default_version. Set it to TRUE if we need to call the callback rps->get_default_version to find the default version. (riscv_parse_std_ext): Call rps->get_default_version if we fail to find the default version in riscv_parsing_subset_version, and then call riscv_add_subset to add the subset into subset list. (riscv_parse_prefixed_ext): Likewise. (riscv_std_z_ext_strtab): Support Zicsr extensions. * elfnn-riscv.c (riscv_merge_std_ext): Use strcasecmp to compare the strings rather than characters. riscv_merge_arch_attr_info): The callback function get_default_version is only needed for assembler, so set it to NULL int the linker. * elfxx-riscv.c (riscv_estimate_digit): Remove the static. * elfxx-riscv.h: Updated. gas * testsuite/gas/riscv/priv-reg-fail-read-only-01.s: Updated. * config/tc-riscv.c (default_arch_with_ext, default_isa_spec): Static variables which are used to set the ISA extensions. You can use -march (or ELF build attributes) and -misa-spec to set them, respectively. (ext_version_hash): The hash table used to handle the extensions with versions. (init_ext_version_hash): Initialize the ext_version_hash according to riscv_ext_version_table. (riscv_get_default_ext_version): The callback function of riscv_parse_subset_t. According to the choosed ISA spec, get the default version for the specific extension. (riscv_set_arch): Set the callback function. (enum options, struct option md_longopts): Add new option -misa-spec. (md_parse_option): Do not call riscv_set_arch for -march. We will call it later in riscv_after_parse_args. Call riscv_get_isa_spec_class to set default_isa_spec class. (riscv_after_parse_args): Call init_ext_version_hash to initialize the ext_version_hash, and then call riscv_set_arch to set the architecture with versions according to default_arch_with_ext. * testsuite/gas/riscv/attribute-02.d: Set 0p0 as default version for x extensions. * testsuite/gas/riscv/attribute-03.d: Likewise. * testsuite/gas/riscv/attribute-09.d: New testcase. For i-ext, we already set it's version to 2p1 by march, so no need to use the default 2p2 version. For m-ext, we do not set the version by -march and ELF arch attribute, so set the default 2p0 to it. For zicsr, it is not defined in ISA spec 2p2, so set 0p0 to it. * testsuite/gas/riscv/attribute-10.d: New testcase. The version of zicsr is 2p0 according to ISA spec 20191213. * config/tc-riscv.c (DEFAULT_RISCV_ARCH_WITH_EXT) (DEFAULT_RISCV_ISA_SPEC): Default configure option settings. You can set them by configure options --with-arch and --with-isa-spec, respectively. (riscv_set_default_isa_spec): New function used to set the default ISA spec. (md_parse_option): Call riscv_set_default_isa_spec rather than call riscv_get_isa_spec_class directly. (riscv_after_parse_args): If the -isa-spec is not set, then we set the default ISA spec according to DEFAULT_RISCV_ISA_SPEC by calling riscv_set_default_isa_spec. * testsuite/gas/riscv/attribute-01.d: Add -misa-spec=2.2, since the --with-isa-spec may be set to different ISA spec. * testsuite/gas/riscv/attribute-02.d: Likewise. * testsuite/gas/riscv/attribute-03.d: Likewise. * testsuite/gas/riscv/attribute-04.d: Likewise. * testsuite/gas/riscv/attribute-05.d: Likewise. * testsuite/gas/riscv/attribute-06.d: Likewise. * testsuite/gas/riscv/attribute-07.d: Likewise. * configure.ac: Add configure options, --with-arch and --with-isa-spec. * configure: Regenerated. * config.in: Regenerated. * config/tc-riscv.c (default_priv_spec): Static variable which is used to check if the CSR is valid for the chosen privilege spec. You can use -mpriv-spec to set it. (enum reg_class): We now get the CSR address from csr_extra_hash rather than reg_names_hash. Therefore, move RCLASS_CSR behind RCLASS_MAX. (riscv_init_csr_hashes): Only need to initialize one hash table csr_extra_hash. (riscv_csr_class_check): Change the return type to void. Don't check the ISA dependency if -mcsr-check isn't set. (riscv_csr_version_check): New function. Check and find the CSR address from csr_extra_hash, according to default_priv_spec. Report warning for the invalid CSR if -mcsr-check is set. (reg_csr_lookup_internal): Updated. (reg_lookup_internal): Likewise. (md_begin): Updated since DECLARE_CSR and DECLARE_CSR_ALIAS are changed. (enum options, struct option md_longopts): Add new GAS option -mpriv-spec. (md_parse_option): Call riscv_set_default_priv_version to set default_priv_spec. (riscv_after_parse_args): If -mpriv-spec isn't set, then set the default privilege spec to the newest one. (enum riscv_csr_class, struct riscv_csr_extra): Move them to include/opcode/riscv.h. * testsuite/gas/riscv/priv-reg-fail-fext.d: This test case just want to check the ISA dependency for CSR, so fix the spec version by adding -mpriv-spec=1.11. * testsuite/gas/riscv/priv-reg-fail-fext.l: Likewise. There are some version warnings for the test case. * gas/testsuite/gas/riscv/priv-reg-fail-read-only-01.d: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-read-only-01.l: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-read-only-02.d: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-rv32-only.d: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-rv32-only.l: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p9.d: New test case. Check whether the CSR is valid when privilege version 1.9 is choosed. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p9.l: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p9p1.d: New test case. Check whether the CSR is valid when privilege version 1.9.1 is choosed. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p9p1.l: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p10.d: New test case. Check whether the CSR is valid when privilege version 1.10 is choosed. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p10.l: Likewise. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p11.d: New test case. Check whether the CSR is valid when privilege version 1.11 is choosed. * gas/testsuite/gas/riscv/priv-reg-fail-version-1p11.l: Likewise. * config/tc-riscv.c (DEFAULT_RISCV_ISA_SPEC): Default configure option setting. You can set it by configure option --with-priv-spec. (riscv_set_default_priv_spec): New function used to set the default privilege spec. (md_parse_option): Call riscv_set_default_priv_spec rather than call riscv_get_priv_spec_class directly. (riscv_after_parse_args): If -mpriv-spec isn't set, then we set the default privilege spec according to DEFAULT_RISCV_PRIV_SPEC by calling riscv_set_default_priv_spec. * testsuite/gas/riscv/csr-dw-regnums.d: Add -mpriv-spec=1.11, since the --with-priv-spec may be set to different privilege spec. * testsuite/gas/riscv/priv-reg.d: Likewise. * configure.ac: Add configure option --with-priv-spec. * configure: Regenerated. * config.in: Regenerated. * config/tc-riscv.c (explicit_attr): Rename explicit_arch_attr to explicit_attr. Set it to TRUE if any ELF attribute is found. (riscv_set_default_priv_spec): Try to set the default_priv_spec if the priv attributes are set. (md_assemble): Set the default_priv_spec according to the priv attributes when we start to assemble instruction. (riscv_write_out_attrs): Rename riscv_write_out_arch_attr to riscv_write_out_attrs. Update the arch and priv attributes. If we don't set the corresponding ELF attributes, then try to output the default ones. (riscv_set_public_attributes): If any ELF attribute or -march-attr options is set (explicit_attr is TRUE), then call riscv_write_out_attrs to update the arch and priv attributes. (s_riscv_attribute): Make sure all arch and priv attributes are set before any instruction. * testsuite/gas/riscv/attribute-01.d: Update the priv attributes if any ELF attribute or -march-attr is set. If the priv attributes are not set, then try to update them by the default setting (-mpriv-spec or --with-priv-spec). * testsuite/gas/riscv/attribute-02.d: Likewise. * testsuite/gas/riscv/attribute-03.d: Likewise. * testsuite/gas/riscv/attribute-04.d: Likewise. * testsuite/gas/riscv/attribute-06.d: Likewise. * testsuite/gas/riscv/attribute-07.d: Likewise. * testsuite/gas/riscv/attribute-08.d: Likewise. * testsuite/gas/riscv/attribute-09.d: Likewise. * testsuite/gas/riscv/attribute-10.d: Likewise. * testsuite/gas/riscv/attribute-unknown.d: Likewise. * testsuite/gas/riscv/attribute-05.d: Likewise. Also, the priv spec set by priv attributes must be supported. * testsuite/gas/riscv/attribute-05.s: Likewise. * testsuite/gas/riscv/priv-reg-fail-version-1p9.d: Likewise. Updated priv attributes according to the -mpriv-spec option. * testsuite/gas/riscv/priv-reg-fail-version-1p9p1.d: Likewise. * testsuite/gas/riscv/priv-reg-fail-version-1p10.d: Likewise. * testsuite/gas/riscv/priv-reg-fail-version-1p11.d: Likewise. * testsuite/gas/riscv/priv-reg.d: Removed. * testsuite/gas/riscv/priv-reg-version-1p9.d: New test case. Dump the CSR according to the priv spec 1.9. * testsuite/gas/riscv/priv-reg-version-1p9p1.d: New test case. Dump the CSR according to the priv spec 1.9.1. * testsuite/gas/riscv/priv-reg-version-1p10.d: New test case. Dump the CSR according to the priv spec 1.10. * testsuite/gas/riscv/priv-reg-version-1p11.d: New test case. Dump the CSR according to the priv spec 1.11. * config/tc-riscv.c (md_show_usage): Add descriptions about the new GAS options. * doc/c-riscv.texi: Likewise.
501 lines
17 KiB
C
501 lines
17 KiB
C
/* riscv.h. RISC-V opcode list for GDB, the GNU debugger.
|
|
Copyright (C) 2011-2020 Free Software Foundation, Inc.
|
|
Contributed by Andrew Waterman
|
|
|
|
This file is part of GDB, GAS, and the GNU binutils.
|
|
|
|
GDB, GAS, and the GNU binutils are free software; you can redistribute
|
|
them and/or modify them 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.
|
|
|
|
GDB, GAS, and the GNU binutils are distributed in the hope that they
|
|
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; see the file COPYING3. If not,
|
|
see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef _RISCV_H_
|
|
#define _RISCV_H_
|
|
|
|
#include "riscv-opc.h"
|
|
#include <stdlib.h>
|
|
#include <stdint.h>
|
|
#include "bfd.h"
|
|
|
|
typedef uint64_t insn_t;
|
|
|
|
static inline unsigned int riscv_insn_length (insn_t insn)
|
|
{
|
|
if ((insn & 0x3) != 0x3) /* RVC. */
|
|
return 2;
|
|
if ((insn & 0x1f) != 0x1f) /* Base ISA and extensions in 32-bit space. */
|
|
return 4;
|
|
if ((insn & 0x3f) == 0x1f) /* 48-bit extensions. */
|
|
return 6;
|
|
if ((insn & 0x7f) == 0x3f) /* 64-bit extensions. */
|
|
return 8;
|
|
/* Longer instructions not supported at the moment. */
|
|
return 2;
|
|
}
|
|
|
|
static const char * const riscv_rm[8] =
|
|
{
|
|
"rne", "rtz", "rdn", "rup", "rmm", 0, 0, "dyn"
|
|
};
|
|
|
|
static const char * const riscv_pred_succ[16] =
|
|
{
|
|
0, "w", "r", "rw", "o", "ow", "or", "orw",
|
|
"i", "iw", "ir", "irw", "io", "iow", "ior", "iorw"
|
|
};
|
|
|
|
#define RVC_JUMP_BITS 11
|
|
#define RVC_JUMP_REACH ((1ULL << RVC_JUMP_BITS) * RISCV_JUMP_ALIGN)
|
|
|
|
#define RVC_BRANCH_BITS 8
|
|
#define RVC_BRANCH_REACH ((1ULL << RVC_BRANCH_BITS) * RISCV_BRANCH_ALIGN)
|
|
|
|
#define RV_X(x, s, n) (((x) >> (s)) & ((1 << (n)) - 1))
|
|
#define RV_IMM_SIGN(x) (-(((x) >> 31) & 1))
|
|
|
|
#define EXTRACT_ITYPE_IMM(x) \
|
|
(RV_X(x, 20, 12) | (RV_IMM_SIGN(x) << 12))
|
|
#define EXTRACT_STYPE_IMM(x) \
|
|
(RV_X(x, 7, 5) | (RV_X(x, 25, 7) << 5) | (RV_IMM_SIGN(x) << 12))
|
|
#define EXTRACT_SBTYPE_IMM(x) \
|
|
((RV_X(x, 8, 4) << 1) | (RV_X(x, 25, 6) << 5) | (RV_X(x, 7, 1) << 11) | (RV_IMM_SIGN(x) << 12))
|
|
#define EXTRACT_UTYPE_IMM(x) \
|
|
((RV_X(x, 12, 20) << 12) | (RV_IMM_SIGN(x) << 32))
|
|
#define EXTRACT_UJTYPE_IMM(x) \
|
|
((RV_X(x, 21, 10) << 1) | (RV_X(x, 20, 1) << 11) | (RV_X(x, 12, 8) << 12) | (RV_IMM_SIGN(x) << 20))
|
|
#define EXTRACT_RVC_IMM(x) \
|
|
(RV_X(x, 2, 5) | (-RV_X(x, 12, 1) << 5))
|
|
#define EXTRACT_RVC_LUI_IMM(x) \
|
|
(EXTRACT_RVC_IMM (x) << RISCV_IMM_BITS)
|
|
#define EXTRACT_RVC_SIMM3(x) \
|
|
(RV_X(x, 10, 2) | (-RV_X(x, 12, 1) << 2))
|
|
#define EXTRACT_RVC_UIMM8(x) \
|
|
(RV_X(x, 5, 8))
|
|
#define EXTRACT_RVC_ADDI4SPN_IMM(x) \
|
|
((RV_X(x, 6, 1) << 2) | (RV_X(x, 5, 1) << 3) | (RV_X(x, 11, 2) << 4) | (RV_X(x, 7, 4) << 6))
|
|
#define EXTRACT_RVC_ADDI16SP_IMM(x) \
|
|
((RV_X(x, 6, 1) << 4) | (RV_X(x, 2, 1) << 5) | (RV_X(x, 5, 1) << 6) | (RV_X(x, 3, 2) << 7) | (-RV_X(x, 12, 1) << 9))
|
|
#define EXTRACT_RVC_LW_IMM(x) \
|
|
((RV_X(x, 6, 1) << 2) | (RV_X(x, 10, 3) << 3) | (RV_X(x, 5, 1) << 6))
|
|
#define EXTRACT_RVC_LD_IMM(x) \
|
|
((RV_X(x, 10, 3) << 3) | (RV_X(x, 5, 2) << 6))
|
|
#define EXTRACT_RVC_LWSP_IMM(x) \
|
|
((RV_X(x, 4, 3) << 2) | (RV_X(x, 12, 1) << 5) | (RV_X(x, 2, 2) << 6))
|
|
#define EXTRACT_RVC_LDSP_IMM(x) \
|
|
((RV_X(x, 5, 2) << 3) | (RV_X(x, 12, 1) << 5) | (RV_X(x, 2, 3) << 6))
|
|
#define EXTRACT_RVC_SWSP_IMM(x) \
|
|
((RV_X(x, 9, 4) << 2) | (RV_X(x, 7, 2) << 6))
|
|
#define EXTRACT_RVC_SDSP_IMM(x) \
|
|
((RV_X(x, 10, 3) << 3) | (RV_X(x, 7, 3) << 6))
|
|
#define EXTRACT_RVC_B_IMM(x) \
|
|
((RV_X(x, 3, 2) << 1) | (RV_X(x, 10, 2) << 3) | (RV_X(x, 2, 1) << 5) | (RV_X(x, 5, 2) << 6) | (-RV_X(x, 12, 1) << 8))
|
|
#define EXTRACT_RVC_J_IMM(x) \
|
|
((RV_X(x, 3, 3) << 1) | (RV_X(x, 11, 1) << 4) | (RV_X(x, 2, 1) << 5) | (RV_X(x, 7, 1) << 6) | (RV_X(x, 6, 1) << 7) | (RV_X(x, 9, 2) << 8) | (RV_X(x, 8, 1) << 10) | (-RV_X(x, 12, 1) << 11))
|
|
|
|
#define ENCODE_ITYPE_IMM(x) \
|
|
(RV_X(x, 0, 12) << 20)
|
|
#define ENCODE_STYPE_IMM(x) \
|
|
((RV_X(x, 0, 5) << 7) | (RV_X(x, 5, 7) << 25))
|
|
#define ENCODE_SBTYPE_IMM(x) \
|
|
((RV_X(x, 1, 4) << 8) | (RV_X(x, 5, 6) << 25) | (RV_X(x, 11, 1) << 7) | (RV_X(x, 12, 1) << 31))
|
|
#define ENCODE_UTYPE_IMM(x) \
|
|
(RV_X(x, 12, 20) << 12)
|
|
#define ENCODE_UJTYPE_IMM(x) \
|
|
((RV_X(x, 1, 10) << 21) | (RV_X(x, 11, 1) << 20) | (RV_X(x, 12, 8) << 12) | (RV_X(x, 20, 1) << 31))
|
|
#define ENCODE_RVC_IMM(x) \
|
|
((RV_X(x, 0, 5) << 2) | (RV_X(x, 5, 1) << 12))
|
|
#define ENCODE_RVC_LUI_IMM(x) \
|
|
ENCODE_RVC_IMM ((x) >> RISCV_IMM_BITS)
|
|
#define ENCODE_RVC_SIMM3(x) \
|
|
(RV_X(x, 0, 3) << 10)
|
|
#define ENCODE_RVC_UIMM8(x) \
|
|
(RV_X(x, 0, 8) << 5)
|
|
#define ENCODE_RVC_ADDI4SPN_IMM(x) \
|
|
((RV_X(x, 2, 1) << 6) | (RV_X(x, 3, 1) << 5) | (RV_X(x, 4, 2) << 11) | (RV_X(x, 6, 4) << 7))
|
|
#define ENCODE_RVC_ADDI16SP_IMM(x) \
|
|
((RV_X(x, 4, 1) << 6) | (RV_X(x, 5, 1) << 2) | (RV_X(x, 6, 1) << 5) | (RV_X(x, 7, 2) << 3) | (RV_X(x, 9, 1) << 12))
|
|
#define ENCODE_RVC_LW_IMM(x) \
|
|
((RV_X(x, 2, 1) << 6) | (RV_X(x, 3, 3) << 10) | (RV_X(x, 6, 1) << 5))
|
|
#define ENCODE_RVC_LD_IMM(x) \
|
|
((RV_X(x, 3, 3) << 10) | (RV_X(x, 6, 2) << 5))
|
|
#define ENCODE_RVC_LWSP_IMM(x) \
|
|
((RV_X(x, 2, 3) << 4) | (RV_X(x, 5, 1) << 12) | (RV_X(x, 6, 2) << 2))
|
|
#define ENCODE_RVC_LDSP_IMM(x) \
|
|
((RV_X(x, 3, 2) << 5) | (RV_X(x, 5, 1) << 12) | (RV_X(x, 6, 3) << 2))
|
|
#define ENCODE_RVC_SWSP_IMM(x) \
|
|
((RV_X(x, 2, 4) << 9) | (RV_X(x, 6, 2) << 7))
|
|
#define ENCODE_RVC_SDSP_IMM(x) \
|
|
((RV_X(x, 3, 3) << 10) | (RV_X(x, 6, 3) << 7))
|
|
#define ENCODE_RVC_B_IMM(x) \
|
|
((RV_X(x, 1, 2) << 3) | (RV_X(x, 3, 2) << 10) | (RV_X(x, 5, 1) << 2) | (RV_X(x, 6, 2) << 5) | (RV_X(x, 8, 1) << 12))
|
|
#define ENCODE_RVC_J_IMM(x) \
|
|
((RV_X(x, 1, 3) << 3) | (RV_X(x, 4, 1) << 11) | (RV_X(x, 5, 1) << 2) | (RV_X(x, 6, 1) << 7) | (RV_X(x, 7, 1) << 6) | (RV_X(x, 8, 2) << 9) | (RV_X(x, 10, 1) << 8) | (RV_X(x, 11, 1) << 12))
|
|
|
|
#define VALID_ITYPE_IMM(x) (EXTRACT_ITYPE_IMM(ENCODE_ITYPE_IMM(x)) == (x))
|
|
#define VALID_STYPE_IMM(x) (EXTRACT_STYPE_IMM(ENCODE_STYPE_IMM(x)) == (x))
|
|
#define VALID_SBTYPE_IMM(x) (EXTRACT_SBTYPE_IMM(ENCODE_SBTYPE_IMM(x)) == (x))
|
|
#define VALID_UTYPE_IMM(x) (EXTRACT_UTYPE_IMM(ENCODE_UTYPE_IMM(x)) == (x))
|
|
#define VALID_UJTYPE_IMM(x) (EXTRACT_UJTYPE_IMM(ENCODE_UJTYPE_IMM(x)) == (x))
|
|
#define VALID_RVC_IMM(x) (EXTRACT_RVC_IMM(ENCODE_RVC_IMM(x)) == (x))
|
|
#define VALID_RVC_LUI_IMM(x) (ENCODE_RVC_LUI_IMM(x) != 0 && EXTRACT_RVC_LUI_IMM(ENCODE_RVC_LUI_IMM(x)) == (x))
|
|
#define VALID_RVC_SIMM3(x) (EXTRACT_RVC_SIMM3(ENCODE_RVC_SIMM3(x)) == (x))
|
|
#define VALID_RVC_UIMM8(x) (EXTRACT_RVC_UIMM8(ENCODE_RVC_UIMM8(x)) == (x))
|
|
#define VALID_RVC_ADDI4SPN_IMM(x) (EXTRACT_RVC_ADDI4SPN_IMM(ENCODE_RVC_ADDI4SPN_IMM(x)) == (x))
|
|
#define VALID_RVC_ADDI16SP_IMM(x) (EXTRACT_RVC_ADDI16SP_IMM(ENCODE_RVC_ADDI16SP_IMM(x)) == (x))
|
|
#define VALID_RVC_LW_IMM(x) (EXTRACT_RVC_LW_IMM(ENCODE_RVC_LW_IMM(x)) == (x))
|
|
#define VALID_RVC_LD_IMM(x) (EXTRACT_RVC_LD_IMM(ENCODE_RVC_LD_IMM(x)) == (x))
|
|
#define VALID_RVC_LWSP_IMM(x) (EXTRACT_RVC_LWSP_IMM(ENCODE_RVC_LWSP_IMM(x)) == (x))
|
|
#define VALID_RVC_LDSP_IMM(x) (EXTRACT_RVC_LDSP_IMM(ENCODE_RVC_LDSP_IMM(x)) == (x))
|
|
#define VALID_RVC_SWSP_IMM(x) (EXTRACT_RVC_SWSP_IMM(ENCODE_RVC_SWSP_IMM(x)) == (x))
|
|
#define VALID_RVC_SDSP_IMM(x) (EXTRACT_RVC_SDSP_IMM(ENCODE_RVC_SDSP_IMM(x)) == (x))
|
|
#define VALID_RVC_B_IMM(x) (EXTRACT_RVC_B_IMM(ENCODE_RVC_B_IMM(x)) == (x))
|
|
#define VALID_RVC_J_IMM(x) (EXTRACT_RVC_J_IMM(ENCODE_RVC_J_IMM(x)) == (x))
|
|
|
|
#define RISCV_RTYPE(insn, rd, rs1, rs2) \
|
|
((MATCH_ ## insn) | ((rd) << OP_SH_RD) | ((rs1) << OP_SH_RS1) | ((rs2) << OP_SH_RS2))
|
|
#define RISCV_ITYPE(insn, rd, rs1, imm) \
|
|
((MATCH_ ## insn) | ((rd) << OP_SH_RD) | ((rs1) << OP_SH_RS1) | ENCODE_ITYPE_IMM(imm))
|
|
#define RISCV_STYPE(insn, rs1, rs2, imm) \
|
|
((MATCH_ ## insn) | ((rs1) << OP_SH_RS1) | ((rs2) << OP_SH_RS2) | ENCODE_STYPE_IMM(imm))
|
|
#define RISCV_SBTYPE(insn, rs1, rs2, target) \
|
|
((MATCH_ ## insn) | ((rs1) << OP_SH_RS1) | ((rs2) << OP_SH_RS2) | ENCODE_SBTYPE_IMM(target))
|
|
#define RISCV_UTYPE(insn, rd, bigimm) \
|
|
((MATCH_ ## insn) | ((rd) << OP_SH_RD) | ENCODE_UTYPE_IMM(bigimm))
|
|
#define RISCV_UJTYPE(insn, rd, target) \
|
|
((MATCH_ ## insn) | ((rd) << OP_SH_RD) | ENCODE_UJTYPE_IMM(target))
|
|
|
|
#define RISCV_NOP RISCV_ITYPE(ADDI, 0, 0, 0)
|
|
#define RVC_NOP MATCH_C_ADDI
|
|
|
|
#define RISCV_CONST_HIGH_PART(VALUE) \
|
|
(((VALUE) + (RISCV_IMM_REACH/2)) & ~(RISCV_IMM_REACH-1))
|
|
#define RISCV_CONST_LOW_PART(VALUE) ((VALUE) - RISCV_CONST_HIGH_PART (VALUE))
|
|
#define RISCV_PCREL_HIGH_PART(VALUE, PC) RISCV_CONST_HIGH_PART((VALUE) - (PC))
|
|
#define RISCV_PCREL_LOW_PART(VALUE, PC) RISCV_CONST_LOW_PART((VALUE) - (PC))
|
|
|
|
#define RISCV_JUMP_BITS RISCV_BIGIMM_BITS
|
|
#define RISCV_JUMP_ALIGN_BITS 1
|
|
#define RISCV_JUMP_ALIGN (1 << RISCV_JUMP_ALIGN_BITS)
|
|
#define RISCV_JUMP_REACH ((1ULL << RISCV_JUMP_BITS) * RISCV_JUMP_ALIGN)
|
|
|
|
#define RISCV_IMM_BITS 12
|
|
#define RISCV_BIGIMM_BITS (32 - RISCV_IMM_BITS)
|
|
#define RISCV_IMM_REACH (1LL << RISCV_IMM_BITS)
|
|
#define RISCV_BIGIMM_REACH (1LL << RISCV_BIGIMM_BITS)
|
|
#define RISCV_RVC_IMM_REACH (1LL << 6)
|
|
#define RISCV_BRANCH_BITS RISCV_IMM_BITS
|
|
#define RISCV_BRANCH_ALIGN_BITS RISCV_JUMP_ALIGN_BITS
|
|
#define RISCV_BRANCH_ALIGN (1 << RISCV_BRANCH_ALIGN_BITS)
|
|
#define RISCV_BRANCH_REACH (RISCV_IMM_REACH * RISCV_BRANCH_ALIGN)
|
|
|
|
/* RV fields. */
|
|
|
|
#define OP_MASK_OP 0x7f
|
|
#define OP_SH_OP 0
|
|
#define OP_MASK_RS2 0x1f
|
|
#define OP_SH_RS2 20
|
|
#define OP_MASK_RS1 0x1f
|
|
#define OP_SH_RS1 15
|
|
#define OP_MASK_RS3 0x1f
|
|
#define OP_SH_RS3 27
|
|
#define OP_MASK_RD 0x1f
|
|
#define OP_SH_RD 7
|
|
#define OP_MASK_SHAMT 0x3f
|
|
#define OP_SH_SHAMT 20
|
|
#define OP_MASK_SHAMTW 0x1f
|
|
#define OP_SH_SHAMTW 20
|
|
#define OP_MASK_RM 0x7
|
|
#define OP_SH_RM 12
|
|
#define OP_MASK_PRED 0xf
|
|
#define OP_SH_PRED 24
|
|
#define OP_MASK_SUCC 0xf
|
|
#define OP_SH_SUCC 20
|
|
#define OP_MASK_AQ 0x1
|
|
#define OP_SH_AQ 26
|
|
#define OP_MASK_RL 0x1
|
|
#define OP_SH_RL 25
|
|
|
|
#define OP_MASK_CUSTOM_IMM 0x7f
|
|
#define OP_SH_CUSTOM_IMM 25
|
|
#define OP_MASK_CSR 0xfff
|
|
#define OP_SH_CSR 20
|
|
|
|
#define OP_MASK_FUNCT3 0x7
|
|
#define OP_SH_FUNCT3 12
|
|
#define OP_MASK_FUNCT7 0x7f
|
|
#define OP_SH_FUNCT7 25
|
|
#define OP_MASK_FUNCT2 0x3
|
|
#define OP_SH_FUNCT2 25
|
|
|
|
/* RVC fields. */
|
|
|
|
#define OP_MASK_OP2 0x3
|
|
#define OP_SH_OP2 0
|
|
|
|
#define OP_MASK_CRS2 0x1f
|
|
#define OP_SH_CRS2 2
|
|
#define OP_MASK_CRS1S 0x7
|
|
#define OP_SH_CRS1S 7
|
|
#define OP_MASK_CRS2S 0x7
|
|
#define OP_SH_CRS2S 2
|
|
|
|
#define OP_MASK_CFUNCT6 0x3f
|
|
#define OP_SH_CFUNCT6 10
|
|
#define OP_MASK_CFUNCT4 0xf
|
|
#define OP_SH_CFUNCT4 12
|
|
#define OP_MASK_CFUNCT3 0x7
|
|
#define OP_SH_CFUNCT3 13
|
|
#define OP_MASK_CFUNCT2 0x3
|
|
#define OP_SH_CFUNCT2 5
|
|
|
|
/* ABI names for selected x-registers. */
|
|
|
|
#define X_RA 1
|
|
#define X_SP 2
|
|
#define X_GP 3
|
|
#define X_TP 4
|
|
#define X_T0 5
|
|
#define X_T1 6
|
|
#define X_T2 7
|
|
#define X_T3 28
|
|
|
|
#define NGPR 32
|
|
#define NFPR 32
|
|
|
|
/* These fake label defines are use by both the assembler, and
|
|
libopcodes. The assembler uses this when it needs to generate a fake
|
|
label, and libopcodes uses it to hide the fake labels in its output. */
|
|
#define RISCV_FAKE_LABEL_NAME ".L0 "
|
|
#define RISCV_FAKE_LABEL_CHAR ' '
|
|
|
|
/* Replace bits MASK << SHIFT of STRUCT with the equivalent bits in
|
|
VALUE << SHIFT. VALUE is evaluated exactly once. */
|
|
#define INSERT_BITS(STRUCT, VALUE, MASK, SHIFT) \
|
|
(STRUCT) = (((STRUCT) & ~((insn_t)(MASK) << (SHIFT))) \
|
|
| ((insn_t)((VALUE) & (MASK)) << (SHIFT)))
|
|
|
|
/* Extract bits MASK << SHIFT from STRUCT and shift them right
|
|
SHIFT places. */
|
|
#define EXTRACT_BITS(STRUCT, MASK, SHIFT) \
|
|
(((STRUCT) >> (SHIFT)) & (MASK))
|
|
|
|
/* Extract the operand given by FIELD from integer INSN. */
|
|
#define EXTRACT_OPERAND(FIELD, INSN) \
|
|
EXTRACT_BITS ((INSN), OP_MASK_##FIELD, OP_SH_##FIELD)
|
|
|
|
/* The maximal number of subset can be required. */
|
|
#define MAX_SUBSET_NUM 4
|
|
|
|
/* All RISC-V instructions belong to at least one of these classes. */
|
|
|
|
enum riscv_insn_class
|
|
{
|
|
INSN_CLASS_NONE,
|
|
|
|
INSN_CLASS_I,
|
|
INSN_CLASS_C,
|
|
INSN_CLASS_A,
|
|
INSN_CLASS_M,
|
|
INSN_CLASS_F,
|
|
INSN_CLASS_D,
|
|
INSN_CLASS_D_AND_C,
|
|
INSN_CLASS_F_AND_C,
|
|
INSN_CLASS_Q,
|
|
};
|
|
|
|
/* This structure holds information for a particular instruction. */
|
|
|
|
struct riscv_opcode
|
|
{
|
|
/* The name of the instruction. */
|
|
const char *name;
|
|
/* The requirement of xlen for the instruction, 0 if no requirement. */
|
|
unsigned xlen_requirement;
|
|
/* Class to which this instruction belongs. Used to decide whether or
|
|
not this instruction is legal in the current -march context. */
|
|
enum riscv_insn_class insn_class;
|
|
/* A string describing the arguments for this instruction. */
|
|
const char *args;
|
|
/* The basic opcode for the instruction. When assembling, this
|
|
opcode is modified by the arguments to produce the actual opcode
|
|
that is used. If pinfo is INSN_MACRO, then this is 0. */
|
|
insn_t match;
|
|
/* If pinfo is not INSN_MACRO, then this is a bit mask for the
|
|
relevant portions of the opcode when disassembling. If the
|
|
actual opcode anded with the match field equals the opcode field,
|
|
then we have found the correct instruction. If pinfo is
|
|
INSN_MACRO, then this field is the macro identifier. */
|
|
insn_t mask;
|
|
/* A function to determine if a word corresponds to this instruction.
|
|
Usually, this computes ((word & mask) == match). */
|
|
int (*match_func) (const struct riscv_opcode *op, insn_t word);
|
|
/* For a macro, this is INSN_MACRO. Otherwise, it is a collection
|
|
of bits describing the instruction, notably any relevant hazard
|
|
information. */
|
|
unsigned long pinfo;
|
|
};
|
|
|
|
/* The current supported ISA spec versions. */
|
|
|
|
enum riscv_isa_spec_class
|
|
{
|
|
ISA_SPEC_CLASS_NONE,
|
|
|
|
ISA_SPEC_CLASS_2P2,
|
|
ISA_SPEC_CLASS_20190608,
|
|
ISA_SPEC_CLASS_20191213
|
|
};
|
|
|
|
/* This structure holds version information for specific ISA. */
|
|
|
|
struct riscv_ext_version
|
|
{
|
|
const char *name;
|
|
enum riscv_isa_spec_class isa_spec_class;
|
|
unsigned int major_version;
|
|
unsigned int minor_version;
|
|
};
|
|
|
|
/* All RISC-V CSR belong to one of these classes. */
|
|
|
|
enum riscv_csr_class
|
|
{
|
|
CSR_CLASS_NONE,
|
|
|
|
CSR_CLASS_I,
|
|
CSR_CLASS_I_32, /* rv32 only */
|
|
CSR_CLASS_F, /* f-ext only */
|
|
};
|
|
|
|
/* The current supported privilege spec versions. */
|
|
|
|
enum riscv_priv_spec_class
|
|
{
|
|
PRIV_SPEC_CLASS_NONE,
|
|
|
|
PRIV_SPEC_CLASS_1P9,
|
|
PRIV_SPEC_CLASS_1P9P1,
|
|
PRIV_SPEC_CLASS_1P10,
|
|
PRIV_SPEC_CLASS_1P11,
|
|
PRIV_SPEC_CLASS_DRAFT
|
|
};
|
|
|
|
/* This structure holds all restricted conditions for a CSR. */
|
|
|
|
struct riscv_csr_extra
|
|
{
|
|
/* Class to which this CSR belongs. Used to decide whether or
|
|
not this CSR is legal in the current -march context. */
|
|
enum riscv_csr_class csr_class;
|
|
|
|
/* CSR may have differnet numbers in the previous priv spec. */
|
|
unsigned address;
|
|
|
|
/* Record the CSR is defined/valid in which versions. */
|
|
enum riscv_priv_spec_class define_version;
|
|
|
|
/* Record the CSR is aborted/invalid from which versions. If it isn't
|
|
aborted in the current version, then it should be CSR_CLASS_VDRAFT. */
|
|
enum riscv_priv_spec_class abort_version;
|
|
|
|
/* The CSR may have more than one setting. */
|
|
struct riscv_csr_extra *next;
|
|
};
|
|
|
|
/* Instruction is a simple alias (e.g. "mv" for "addi"). */
|
|
#define INSN_ALIAS 0x00000001
|
|
|
|
/* These are for setting insn_info fields.
|
|
|
|
Nonbranch is the default. Noninsn is used only if there is no match.
|
|
There are no condjsr or dref2 instructions. So that leaves condbranch,
|
|
branch, jsr, and dref that we need to handle here, encoded in 3 bits. */
|
|
#define INSN_TYPE 0x0000000e
|
|
|
|
/* Instruction is an unconditional branch. */
|
|
#define INSN_BRANCH 0x00000002
|
|
/* Instruction is a conditional branch. */
|
|
#define INSN_CONDBRANCH 0x00000004
|
|
/* Instruction is a jump to subroutine. */
|
|
#define INSN_JSR 0x00000006
|
|
/* Instruction is a data reference. */
|
|
#define INSN_DREF 0x00000008
|
|
|
|
/* We have 5 data reference sizes, which we can encode in 3 bits. */
|
|
#define INSN_DATA_SIZE 0x00000070
|
|
#define INSN_DATA_SIZE_SHIFT 4
|
|
#define INSN_1_BYTE 0x00000010
|
|
#define INSN_2_BYTE 0x00000020
|
|
#define INSN_4_BYTE 0x00000030
|
|
#define INSN_8_BYTE 0x00000040
|
|
#define INSN_16_BYTE 0x00000050
|
|
|
|
/* Instruction is actually a macro. It should be ignored by the
|
|
disassembler, and requires special treatment by the assembler. */
|
|
#define INSN_MACRO 0xffffffff
|
|
|
|
/* This is a list of macro expanded instructions.
|
|
|
|
_I appended means immediate
|
|
_A appended means address
|
|
_AB appended means address with base register
|
|
_D appended means 64 bit floating point constant
|
|
_S appended means 32 bit floating point constant. */
|
|
|
|
enum
|
|
{
|
|
M_LA,
|
|
M_LLA,
|
|
M_LA_TLS_GD,
|
|
M_LA_TLS_IE,
|
|
M_LB,
|
|
M_LBU,
|
|
M_LH,
|
|
M_LHU,
|
|
M_LW,
|
|
M_LWU,
|
|
M_LD,
|
|
M_SB,
|
|
M_SH,
|
|
M_SW,
|
|
M_SD,
|
|
M_FLW,
|
|
M_FLD,
|
|
M_FLQ,
|
|
M_FSW,
|
|
M_FSD,
|
|
M_FSQ,
|
|
M_CALL,
|
|
M_J,
|
|
M_LI,
|
|
M_NUM_MACROS
|
|
};
|
|
|
|
|
|
extern const char * const riscv_gpr_names_numeric[NGPR];
|
|
extern const char * const riscv_gpr_names_abi[NGPR];
|
|
extern const char * const riscv_fpr_names_numeric[NFPR];
|
|
extern const char * const riscv_fpr_names_abi[NFPR];
|
|
|
|
extern const struct riscv_opcode riscv_opcodes[];
|
|
extern const struct riscv_opcode riscv_insn_types[];
|
|
extern const struct riscv_ext_version riscv_ext_version_table[];
|
|
|
|
extern bfd_boolean
|
|
riscv_get_isa_spec_class (const char *, enum riscv_isa_spec_class *);
|
|
extern bfd_boolean
|
|
riscv_get_priv_spec_class (const char *, enum riscv_priv_spec_class *);
|
|
extern const char *
|
|
riscv_get_priv_spec_name (enum riscv_priv_spec_class);
|
|
|
|
#endif /* _RISCV_H_ */
|