2016-11-02 00:45:57 +08:00
|
|
|
/* RISC-V ELF support for BFD.
|
2021-01-01 06:58:58 +08:00
|
|
|
Copyright (C) 2011-2021 Free Software Foundation, Inc.
|
2016-11-02 00:45:57 +08:00
|
|
|
|
|
|
|
|
Contributed by Andrew Waterman (andrew@sifive.com).
|
|
|
|
|
Based on MIPS ELF support for BFD, by Ian Lance Taylor.
|
|
|
|
|
|
|
|
|
|
This file is part of BFD, the Binary File Descriptor library.
|
|
|
|
|
|
|
|
|
|
This program 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.
|
|
|
|
|
|
|
|
|
|
This program 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; see the file COPYING3. If not,
|
|
|
|
|
see <http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
|
|
|
|
/* This file holds definitions specific to the RISCV ELF ABI. Note
|
|
|
|
|
that most of this is not actually implemented by BFD. */
|
|
|
|
|
|
|
|
|
|
#ifndef _ELF_RISCV_H
|
|
|
|
|
#define _ELF_RISCV_H
|
|
|
|
|
|
|
|
|
|
#include "elf/reloc-macros.h"
|
|
|
|
|
#include "libiberty.h"
|
|
|
|
|
|
|
|
|
|
/* Relocation types. */
|
|
|
|
|
START_RELOC_NUMBERS (elf_riscv_reloc_type)
|
|
|
|
|
/* Relocation types used by the dynamic linker. */
|
|
|
|
|
RELOC_NUMBER (R_RISCV_NONE, 0)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_32, 1)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_64, 2)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_RELATIVE, 3)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_COPY, 4)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_JUMP_SLOT, 5)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_DTPMOD32, 6)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_DTPMOD64, 7)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_DTPREL32, 8)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_DTPREL64, 9)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_TPREL32, 10)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_TPREL64, 11)
|
|
|
|
|
|
|
|
|
|
/* Relocation types not used by the dynamic linker. */
|
|
|
|
|
RELOC_NUMBER (R_RISCV_BRANCH, 16)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_JAL, 17)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_CALL, 18)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_CALL_PLT, 19)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_GOT_HI20, 20)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_GOT_HI20, 21)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TLS_GD_HI20, 22)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_PCREL_HI20, 23)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_PCREL_LO12_I, 24)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_PCREL_LO12_S, 25)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_HI20, 26)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_LO12_I, 27)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_LO12_S, 28)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_HI20, 29)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_LO12_I, 30)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_LO12_S, 31)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_ADD, 32)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_ADD8, 33)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_ADD16, 34)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_ADD32, 35)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_ADD64, 36)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SUB8, 37)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SUB16, 38)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SUB32, 39)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SUB64, 40)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_GNU_VTINHERIT, 41)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_GNU_VTENTRY, 42)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_ALIGN, 43)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_RVC_BRANCH, 44)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_RVC_JUMP, 45)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_RVC_LUI, 46)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_GPREL_I, 47)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_GPREL_S, 48)
|
2016-12-19 14:53:48 +08:00
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_I, 49)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_TPREL_S, 50)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_RELAX, 51)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SUB6, 52)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SET6, 53)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SET8, 54)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SET16, 55)
|
|
|
|
|
RELOC_NUMBER (R_RISCV_SET32, 56)
|
2017-06-09 02:54:14 +08:00
|
|
|
RELOC_NUMBER (R_RISCV_32_PCREL, 57)
|
RISC-V: Support GNU indirect functions.
Generally, glibc dynamic linker should have two ways to deal with ifunc
- one is to handle the IRELATIVE relocations for the non-preemtive ifunc
symbols, the other is to handle the R_RISCV_32/64 and R_RISCV_JUMP_SLOT
relocations with the STT_IFUNC preemtive symbols. No matter which method
is used, both of them should get the resolved ifunc symbols at runtime.
Therefore, linker needs to generate the correct dynamic relocations for
ifunc to make sure the the dynamic linker works well. For now, there are
thirteen relocations are supported for ifunc in GNU ld,
* R_RISCV_CALL and R_RISCV_CALL_PLT:
The RISC-V compiler won't generate R_RISCV_JAL directly to jump to an
ifunc. Besides, we disable the relaxations for the relocation referenced
to ifunc, so just handling the R_RISCV_CALL and R_RISCV_CALL_PLT should be
enough. Linker should generate a .plt entry and a .got.plt entry for it,
and also needs to insert a dynamic IRELATIVE in the .got.plt enrty, or
insert a R_RISCV_JUMP_SLOT when generating shared library.
* R_RISCV_PCREL_HI20 and R_RISCV_PCREL_LO12_I/S:
LA/LLA pattern with local fPIC ifunc symbol, or any non-PIC ifunc symbol.
The PC-relative relocation. The current linker will deal with them in
the same way as R_RISCV_CALL_PLT.
* R_RISCV_GOT_HI20 and R_RISCV_PCREL_LO12_I/S:
LA pattern with global PIC ifunc symbol. Linker should insert a dynamic
IRELATIVE in the .got entry, or insert a R_RISCV_32/64 when generating
shared library.
* R_RISCV_32 and R_RISCV_64:
Store the ifunc symbol into the data section. Linker should insert a
dynamic IRELATIVE in the data section, or insert a R_RISCV_32/64 when
generating shared library.
* R_RISCV_HI20 and R_RISCV_LO12_I/S:
The LUI + ADDI/LW/SW patterns. The absolute access relocation. The
medlow model without the -fPIC compiler option should generate them.
The ld ifunc testsuites "Build pr23169a" and "Build pr23169d" need the
relocations, they are in the ld/testsuite/ld-ifunc/, and need compiler
support.
However, we also made some optimizations with reference to x86,
* If GOT and PLT relocations refer to the same ifunc symbol when generating
pie, then they can actually share a .got entry without creating two entries
to store the same value and relocation.
* If GOT, PLT and DATA relocations refer to the same ifunc symbol when
generating position dependency executable, then linker will fill the address
of .plt entry into the corresponding .got entry and data section, without
insert any dynamic relocations for the GOT and DATA relocations.
For the ifunc testcases, there are three types of them,
1. ifunc-reloc-*: Only check the single type of relocation refers to
ifunc symbol.
* ifunc-reloc-call: R_RISCV_CALL and R_RISCV_CALL_PLT.
* ifunc-reloc-data: R_RISCV_32 and R_RISCV_64.
* ifunc-reloc-got: R_RISCV_GOT_HI20 and R_RISCV_PCREL_LO_I/S.
* ifunc-reloc-pcrel: R_RISCV_PCREL_HI20 and R_RISCV_PCREL_LO_I/S.
2. ifunc-[nonplt|plt]-*: If we don't have PLT relocs, then don't need to
create the PLT and it's .plt entries.
* ifunc-nonplt: Combine R_RISCV_GOT_HI20 and R_RISCV_32/64.
* ifunc-plt: Combine all ifunc relocations.
3. ifunc-seperate-*: If we link the ifunc caller and resolver into the
same module (link the objects), then the results are the same as the
ifunc-reloc-* and ifunc-[noplt|plt]-* testcases. Consider the cases that
the ifunc callers and resolver are in the different modules, that is, we
compile the ifunc resolver to the shared library first, and then link it
with the ifunc callers. The output of ifunc callers should be the same as
the normal STT_FUNC cases, and the shared ifunc resolver should define the
symbols as STT_IFUNC.
The R_RISCV_PCREL_HI20 reloc is special. It should be linked and resolved
locally, so if the ifunc resolver is defined in other modules (other shared
libraries), then the R_RISCV_PCREL_HI20 is unresolvable, and linker should
issue an unresolvable reloc error.
bfd/
* elfnn-riscv.c: Include "objalloc.h" since we need objalloc_alloc.
(riscv_elf_link_hash_table): Add loc_hash_table and loc_hash_memory
for local STT_GNU_IFUNC symbols.
(riscv_elf_got_plt_val): Removed.
(riscv_elf_local_htab_hash, riscv_elf_local_htab_eq): New functions.
Use to compare local hash entries.
(riscv_elf_get_local_sym_hash): New function. Find a hash entry for
local symbol, and create a new one if needed.
(riscv_elf_link_hash_table_free): New function. Destroy an riscv
elf linker hash table.
(riscv_elf_link_hash_table_create): Create hash table for local ifunc.
(riscv_elf_check_relocs): Create a fake global symbol to track the
local ifunc symbol. Add support to check and handle the relocations
reference to ifunc symbols.
(allocate_dynrelocs): Let allocate_ifunc_dynrelocs and
allocate_local_ifunc_dynrelocs to handle the ifunc symbols if they
are defined and referenced in a non-shared object.
(allocate_ifunc_dynrelocs): New function. Allocate space in .plt,
.got and associated reloc sections for ifunc dynamic relocs.
(allocate_local_ifunc_dynrelocs): Likewise, but for local ifunc
dynamic relocs.
(riscv_elf_relocate_section): Add support to handle the relocation
referenced to ifunc symbols.
(riscv_elf_size_dynamic_sections): Updated.
(riscv_elf_adjust_dynamic_symbol): Updated.
(riscv_elf_finish_dynamic_symbol): Finish up the ifunc handling,
including fill the PLT and GOT entries for ifunc symbols.
(riscv_elf_finish_local_dynamic_symbol): New function. Called by
riscv_elf_finish_dynamic_symbol to handle the local ifunc symbols.
(_bfd_riscv_relax_section): Don't do the relaxation for ifunc.
* elfxx-riscv.c: Add R_RISCV_IRELATIVE.
* configure.ac: Link elf-ifunc.lo to use the generic ifunc support.
* configure: Regenerated.
include/
* elf/riscv.h: Add R_RISCV_IRELATIVE to 58.
ld/
* emulparams/elf32lriscv-defs.sh: Add IREL_IN_PLT.
* testsuite/ld-ifunc/ifunc.exp: Enable ifunc tests for RISC-V.
* testsuite/ld-riscv-elf/ld-riscv-elf.exp (run_dump_test_ifunc):
New dump test for ifunc. There are two arguments, 'target` and
`output`. The `target` is rv32 or rv64, and the `output` is used
to choose which output you want to test (exe, pie or .so).
* testsuite/ld-riscv-elf/ifunc-reloc-call-01.s: New testcase.
* testsuite/ld-riscv-elf/ifunc-reloc-call-01.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-01-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-01-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-01-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-02.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-02.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-02-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-02-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-call-02-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-data.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-data.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-data-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-data-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-data-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-got.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-got.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-got-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-got-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-got-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-pcrel.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-pcrel.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-pcrel-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-pcrel-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-reloc-pcrel-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-nonplt.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-nonplt.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-nonplt-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-nonplt-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-nonplt-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-01.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-01.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-01-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-01-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-01-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-02.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-02.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-02-exe.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-02-pic.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-plt-02-pie.rd: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-resolver.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-caller.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-exe.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-pic.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-pie.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-caller-pcrel.s: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-pcrel-pic.d: Likewise.
* testsuite/ld-riscv-elf/ifunc-seperate-pcrel-pie.d: Likewise.
2020-10-07 11:48:22 +08:00
|
|
|
RELOC_NUMBER (R_RISCV_IRELATIVE, 58)
|
2016-11-02 00:45:57 +08:00
|
|
|
END_RELOC_NUMBERS (R_RISCV_max)
|
|
|
|
|
|
|
|
|
|
/* Processor specific flags for the ELF header e_flags field. */
|
|
|
|
|
|
|
|
|
|
/* File may contain compressed instructions. */
|
|
|
|
|
#define EF_RISCV_RVC 0x0001
|
|
|
|
|
|
Re-work RISC-V gas flags: now we just support -mabi and -march
We've decided to standardize on two flags for RISC-V: "-march" sets the
target architecture (which determines which instructions can be
generated), and "-mabi" sets the target ABI. We needed to rework this
because the old flag set didn't support soft-float or single-float ABIs,
and didn't support an x32-style ABI on RISC-V.
Additionally, we've changed the behavior of the -march flag: it's now a
lot stricter and only parses things we can actually understand.
Additionally, it's now lowercase-only: the rationale is that while the
RISC-V ISA manual specifies that ISA strings are case-insensitive, in
Linux-land things are usually case-sensitive. Since this flag can be
used to determine library paths, we didn't want to bake some
case-insensitivity in there that would case trouble later.
This patch implements these two new flags and removes the old flags that
could conflict with these. There wasn't a RISC-V release before, so we
want to just support a clean flag set.
include/
* elf/riscv.h (EF_RISCV_SOFT_FLOAT): Don't define.
(EF_RISCV_FLOAT_ABI, EF_RISCV_FLOAT_ABI_SOFT): Define.
(EF_RISCV_FLOAT_ABI_SINGLE, EF_RISCV_FLOAT_ABI_DOUBLE): Define.
(EF_RISCV_FLOAT_ABI_QUAD): Define.
bfd/
* elfnn-riscv.c (_bfd_riscv_elf_merge_private_bfd_data): Use
EF_RISCV_FLOAT_ABI_SOFT instead of EF_RISCV_SOFT_FLOAT.
binutils/
* readelf.c (get_machine_flags): Use
EF_RISCV_FLOAT_ABI_{SOFT,SINGLE,DOBULE,QUAD) instead of
EF_RISCV_{SOFT,HARD}_FLOAT.
gas/
* config/tc-riscv.h (xlen): Delete.
* config/tc-riscv.c (xlen): Make static.
(abi_xlen): New variable.
(options): Replace OPTION_{M32,M64,MSOFT_FLOAT,MHARD_FLOAT,MRVC}
with OPTION_MABI.
(md_longopts): Likewise.
(md_parse_option): Likewise.
(riscv_elf_final_processing): Likewise.
* doc/as.texinfo (Target RISC-V options): Likewise.
* doc/c-riscv.texi (OPTIONS): Likewise.
* config/tc-riscv.c (float_mode): Removed.
(float_abi): New type, specifies the floating-point ABI.
(riscv_set_abi): New function.
(riscv_add_subset): Only allow lower-case ISA names and require
them to start with "rv".
(riscv_after_parse_args): Likewise.
opcodes/
* riscv-dis.c (riscv_disassemble_insn): Default to the ELF's
XLEN when none is provided.
2016-12-19 14:53:50 +08:00
|
|
|
/* Which floating-point ABI a file uses. */
|
|
|
|
|
#define EF_RISCV_FLOAT_ABI 0x0006
|
|
|
|
|
|
|
|
|
|
/* File uses the soft-float ABI. */
|
|
|
|
|
#define EF_RISCV_FLOAT_ABI_SOFT 0x0000
|
|
|
|
|
|
|
|
|
|
/* File uses the single-float ABI. */
|
|
|
|
|
#define EF_RISCV_FLOAT_ABI_SINGLE 0x0002
|
|
|
|
|
|
|
|
|
|
/* File uses the double-float ABI. */
|
|
|
|
|
#define EF_RISCV_FLOAT_ABI_DOUBLE 0x0004
|
|
|
|
|
|
|
|
|
|
/* File uses the quad-float ABI. */
|
|
|
|
|
#define EF_RISCV_FLOAT_ABI_QUAD 0x0006
|
2016-11-02 00:45:57 +08:00
|
|
|
|
2018-05-19 05:03:18 +08:00
|
|
|
/* File uses the 32E base integer instruction. */
|
|
|
|
|
#define EF_RISCV_RVE 0x0008
|
|
|
|
|
|
2017-04-04 01:08:29 +08:00
|
|
|
/* The name of the global pointer symbol. */
|
|
|
|
|
#define RISCV_GP_SYMBOL "__global_pointer$"
|
|
|
|
|
|
2019-01-17 05:14:59 +08:00
|
|
|
/* Additional section types. */
|
|
|
|
|
#define SHT_RISCV_ATTRIBUTES 0x70000003 /* Section holds attributes. */
|
|
|
|
|
|
|
|
|
|
/* Object attributes. */
|
|
|
|
|
|
|
|
|
|
enum
|
|
|
|
|
{
|
|
|
|
|
/* 0-3 are generic. */
|
|
|
|
|
Tag_RISCV_stack_align = 4,
|
|
|
|
|
Tag_RISCV_arch = 5,
|
|
|
|
|
Tag_RISCV_unaligned_access = 6,
|
|
|
|
|
Tag_RISCV_priv_spec = 8,
|
|
|
|
|
Tag_RISCV_priv_spec_minor = 10,
|
|
|
|
|
Tag_RISCV_priv_spec_revision = 12
|
|
|
|
|
};
|
|
|
|
|
|
2016-11-02 00:45:57 +08:00
|
|
|
#endif /* _ELF_RISCV_H */
|
