2017-12-27 12:51:24 +08:00
|
|
|
/* Machine-dependent ELF dynamic relocation inline functions. RISC-V version.
|
2021-01-03 03:32:25 +08:00
|
|
|
Copyright (C) 2011-2021 Free Software Foundation, Inc.
|
2017-12-27 12:51:24 +08:00
|
|
|
This file is part of the GNU C Library.
|
|
|
|
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU Lesser General Public
|
|
|
|
License as published by the Free Software Foundation; either
|
|
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
The GNU C Library 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
|
|
|
|
Lesser General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
|
|
License along with the GNU C Library. If not, see
|
Prefer https to http for gnu.org and fsf.org URLs
Also, change sources.redhat.com to sourceware.org.
This patch was automatically generated by running the following shell
script, which uses GNU sed, and which avoids modifying files imported
from upstream:
sed -ri '
s,(http|ftp)(://(.*\.)?(gnu|fsf|sourceware)\.org($|[^.]|\.[^a-z])),https\2,g
s,(http|ftp)(://(.*\.)?)sources\.redhat\.com($|[^.]|\.[^a-z]),https\2sourceware.org\4,g
' \
$(find $(git ls-files) -prune -type f \
! -name '*.po' \
! -name 'ChangeLog*' \
! -path COPYING ! -path COPYING.LIB \
! -path manual/fdl-1.3.texi ! -path manual/lgpl-2.1.texi \
! -path manual/texinfo.tex ! -path scripts/config.guess \
! -path scripts/config.sub ! -path scripts/install-sh \
! -path scripts/mkinstalldirs ! -path scripts/move-if-change \
! -path INSTALL ! -path locale/programs/charmap-kw.h \
! -path po/libc.pot ! -path sysdeps/gnu/errlist.c \
! '(' -name configure \
-execdir test -f configure.ac -o -f configure.in ';' ')' \
! '(' -name preconfigure \
-execdir test -f preconfigure.ac ';' ')' \
-print)
and then by running 'make dist-prepare' to regenerate files built
from the altered files, and then executing the following to cleanup:
chmod a+x sysdeps/unix/sysv/linux/riscv/configure
# Omit irrelevant whitespace and comment-only changes,
# perhaps from a slightly-different Autoconf version.
git checkout -f \
sysdeps/csky/configure \
sysdeps/hppa/configure \
sysdeps/riscv/configure \
sysdeps/unix/sysv/linux/csky/configure
# Omit changes that caused a pre-commit check to fail like this:
# remote: *** error: sysdeps/powerpc/powerpc64/ppc-mcount.S: trailing lines
git checkout -f \
sysdeps/powerpc/powerpc64/ppc-mcount.S \
sysdeps/unix/sysv/linux/s390/s390-64/syscall.S
# Omit change that caused a pre-commit check to fail like this:
# remote: *** error: sysdeps/sparc/sparc64/multiarch/memcpy-ultra3.S: last line does not end in newline
git checkout -f sysdeps/sparc/sparc64/multiarch/memcpy-ultra3.S
2019-09-07 13:40:42 +08:00
|
|
|
<https://www.gnu.org/licenses/>. */
|
2017-12-27 12:51:24 +08:00
|
|
|
|
|
|
|
#ifndef dl_machine_h
|
|
|
|
#define dl_machine_h
|
|
|
|
|
|
|
|
#define ELF_MACHINE_NAME "RISC-V"
|
|
|
|
|
|
|
|
#include <entry.h>
|
|
|
|
#include <elf/elf.h>
|
|
|
|
#include <sys/asm.h>
|
|
|
|
#include <dl-tls.h>
|
2020-12-15 17:16:39 +08:00
|
|
|
#include <dl-irel.h>
|
elf: Fix dynamic-link.h usage on rtld.c
The 4af6982e4c fix does not fully handle RTLD_BOOTSTRAP usage on
rtld.c due two issues:
1. RTLD_BOOTSTRAP is also used on dl-machine.h on various
architectures and it changes the semantics of various machine
relocation functions.
2. The elf_get_dynamic_info() change was done sideways, previously
to 490e6c62aa get-dynamic-info.h was included by the first
dynamic-link.h include *without* RTLD_BOOTSTRAP being defined.
It means that the code within elf_get_dynamic_info() that uses
RTLD_BOOTSTRAP is in fact unused.
To fix 1. this patch now includes dynamic-link.h only once with
RTLD_BOOTSTRAP defined. The ELF_DYNAMIC_RELOCATE call will now have
the relocation fnctions with the expected semantics for the loader.
And to fix 2. part of 4af6982e4c is reverted (the check argument
elf_get_dynamic_info() is not required) and the RTLD_BOOTSTRAP
pieces are removed.
To reorganize the includes the static TLS definition is moved to
its own header to avoid a circular dependency (it is defined on
dynamic-link.h and dl-machine.h requires it at same time other
dynamic-link.h definition requires dl-machine.h defitions).
Also ELF_MACHINE_NO_REL, ELF_MACHINE_NO_RELA, and ELF_MACHINE_PLT_REL
are moved to its own header. Only ancient ABIs need special values
(arm, i386, and mips), so a generic one is used as default.
The powerpc Elf64_FuncDesc is also moved to its own header, since
csu code required its definition (which would require either include
elf/ folder or add a full path with elf/).
Checked on x86_64, i686, aarch64, armhf, powerpc64, powerpc32,
and powerpc64le.
Reviewed-by: Szabolcs Nagy <szabolcs.nagy@arm.com>
(cherry picked from commit d6d89608ac8cf2b37c75debad1fff653f6939f90)
Resolved conflicts:
elf/rtld.c
2021-10-13 20:49:34 +08:00
|
|
|
#include <dl-static-tls.h>
|
|
|
|
#include <dl-machine-rel.h>
|
2017-12-27 12:51:24 +08:00
|
|
|
|
|
|
|
#ifndef _RTLD_PROLOGUE
|
|
|
|
# define _RTLD_PROLOGUE(entry) \
|
|
|
|
".globl\t" __STRING (entry) "\n\t" \
|
|
|
|
".type\t" __STRING (entry) ", @function\n" \
|
|
|
|
__STRING (entry) ":\n\t"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef _RTLD_EPILOGUE
|
|
|
|
# define _RTLD_EPILOGUE(entry) \
|
|
|
|
".size\t" __STRING (entry) ", . - " __STRING (entry) "\n\t"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#define ELF_MACHINE_JMP_SLOT R_RISCV_JUMP_SLOT
|
|
|
|
|
|
|
|
#define elf_machine_type_class(type) \
|
|
|
|
((ELF_RTYPE_CLASS_PLT * ((type) == ELF_MACHINE_JMP_SLOT \
|
|
|
|
|| (__WORDSIZE == 32 && (type) == R_RISCV_TLS_DTPREL32) \
|
|
|
|
|| (__WORDSIZE == 32 && (type) == R_RISCV_TLS_DTPMOD32) \
|
|
|
|
|| (__WORDSIZE == 32 && (type) == R_RISCV_TLS_TPREL32) \
|
|
|
|
|| (__WORDSIZE == 64 && (type) == R_RISCV_TLS_DTPREL64) \
|
|
|
|
|| (__WORDSIZE == 64 && (type) == R_RISCV_TLS_DTPMOD64) \
|
|
|
|
|| (__WORDSIZE == 64 && (type) == R_RISCV_TLS_TPREL64))) \
|
|
|
|
| (ELF_RTYPE_CLASS_COPY * ((type) == R_RISCV_COPY)))
|
|
|
|
|
|
|
|
/* Return nonzero iff ELF header is compatible with the running host. */
|
|
|
|
static inline int __attribute_used__
|
|
|
|
elf_machine_matches_host (const ElfW(Ehdr) *ehdr)
|
|
|
|
{
|
|
|
|
/* We can only run RISC-V binaries. */
|
|
|
|
if (ehdr->e_machine != EM_RISCV)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
/* Ensure the library's floating-point ABI matches that of the running
|
|
|
|
system. For now we don't support mixing XLEN, so there's no need (or way)
|
|
|
|
to check it matches. */
|
|
|
|
#ifdef __riscv_float_abi_double
|
|
|
|
if ((ehdr->e_flags & EF_RISCV_FLOAT_ABI) != EF_RISCV_FLOAT_ABI_DOUBLE)
|
|
|
|
return 0;
|
|
|
|
#else
|
|
|
|
if ((ehdr->e_flags & EF_RISCV_FLOAT_ABI) != EF_RISCV_FLOAT_ABI_SOFT)
|
|
|
|
return 0;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Return the link-time address of _DYNAMIC. */
|
|
|
|
static inline ElfW(Addr)
|
|
|
|
elf_machine_dynamic (void)
|
|
|
|
{
|
|
|
|
extern ElfW(Addr) _GLOBAL_OFFSET_TABLE_ __attribute__ ((visibility ("hidden")));
|
|
|
|
return _GLOBAL_OFFSET_TABLE_;
|
|
|
|
}
|
|
|
|
|
|
|
|
#define STRINGXP(X) __STRING (X)
|
|
|
|
#define STRINGXV(X) STRINGV_ (X)
|
|
|
|
#define STRINGV_(...) # __VA_ARGS__
|
|
|
|
|
|
|
|
/* Return the run-time load address of the shared object. */
|
|
|
|
static inline ElfW(Addr)
|
|
|
|
elf_machine_load_address (void)
|
|
|
|
{
|
|
|
|
ElfW(Addr) load_addr;
|
|
|
|
asm ("lla %0, _DYNAMIC" : "=r" (load_addr));
|
|
|
|
return load_addr - elf_machine_dynamic ();
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Initial entry point code for the dynamic linker.
|
|
|
|
The C function `_dl_start' is the real entry point;
|
|
|
|
its return value is the user program's entry point. */
|
|
|
|
|
|
|
|
#define RTLD_START asm (\
|
|
|
|
".text\n\
|
|
|
|
" _RTLD_PROLOGUE (ENTRY_POINT) "\
|
|
|
|
mv a0, sp\n\
|
|
|
|
jal _dl_start\n\
|
2020-11-10 08:53:23 +08:00
|
|
|
" _RTLD_PROLOGUE (_dl_start_user) "\
|
2017-12-27 12:51:24 +08:00
|
|
|
# Stash user entry point in s0.\n\
|
|
|
|
mv s0, a0\n\
|
|
|
|
# See if we were run as a command with the executable file\n\
|
|
|
|
# name as an extra leading argument.\n\
|
|
|
|
lw a0, _dl_skip_args\n\
|
|
|
|
# Load the original argument count.\n\
|
|
|
|
" STRINGXP (REG_L) " a1, 0(sp)\n\
|
|
|
|
# Subtract _dl_skip_args from it.\n\
|
|
|
|
sub a1, a1, a0\n\
|
|
|
|
# Adjust the stack pointer to skip _dl_skip_args words.\n\
|
|
|
|
sll a0, a0, " STRINGXP (PTRLOG) "\n\
|
|
|
|
add sp, sp, a0\n\
|
|
|
|
# Save back the modified argument count.\n\
|
|
|
|
" STRINGXP (REG_S) " a1, 0(sp)\n\
|
|
|
|
# Call _dl_init (struct link_map *main_map, int argc, char **argv, char **env) \n\
|
|
|
|
" STRINGXP (REG_L) " a0, _rtld_local\n\
|
|
|
|
add a2, sp, " STRINGXP (SZREG) "\n\
|
|
|
|
sll a3, a1, " STRINGXP (PTRLOG) "\n\
|
|
|
|
add a3, a3, a2\n\
|
|
|
|
add a3, a3, " STRINGXP (SZREG) "\n\
|
2021-12-16 07:06:28 +08:00
|
|
|
# Stash the stack pointer in s1.\n\
|
|
|
|
mv s1, sp\n\
|
|
|
|
# Align stack to 128 bits for the _dl_init call.\n\
|
|
|
|
andi sp, sp,-16\n\
|
2017-12-27 12:51:24 +08:00
|
|
|
# Call the function to run the initializers.\n\
|
|
|
|
jal _dl_init\n\
|
2021-12-16 07:06:28 +08:00
|
|
|
# Restore the stack pointer for _start.\n\
|
|
|
|
mv sp, s1\n\
|
2017-12-27 12:51:24 +08:00
|
|
|
# Pass our finalizer function to _start.\n\
|
|
|
|
lla a0, _dl_fini\n\
|
|
|
|
# Jump to the user entry point.\n\
|
|
|
|
jr s0\n\
|
2020-11-10 08:53:23 +08:00
|
|
|
" _RTLD_EPILOGUE (ENTRY_POINT) \
|
|
|
|
_RTLD_EPILOGUE (_dl_start_user) "\
|
2017-12-27 12:51:24 +08:00
|
|
|
.previous" \
|
|
|
|
);
|
|
|
|
|
|
|
|
/* Names of the architecture-specific auditing callback functions. */
|
|
|
|
#define ARCH_LA_PLTENTER riscv_gnu_pltenter
|
|
|
|
#define ARCH_LA_PLTEXIT riscv_gnu_pltexit
|
|
|
|
|
|
|
|
/* Bias .got.plt entry by the offset requested by the PLT header. */
|
|
|
|
#define elf_machine_plt_value(map, reloc, value) (value)
|
|
|
|
|
|
|
|
static inline ElfW(Addr)
|
|
|
|
elf_machine_fixup_plt (struct link_map *map, lookup_t t,
|
|
|
|
const ElfW(Sym) *refsym, const ElfW(Sym) *sym,
|
|
|
|
const ElfW(Rela) *reloc,
|
|
|
|
ElfW(Addr) *reloc_addr, ElfW(Addr) value)
|
|
|
|
{
|
|
|
|
return *reloc_addr = value;
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* !dl_machine_h */
|
|
|
|
|
|
|
|
#ifdef RESOLVE_MAP
|
|
|
|
|
|
|
|
/* Perform a relocation described by R_INFO at the location pointed to
|
|
|
|
by RELOC_ADDR. SYM is the relocation symbol specified by R_INFO and
|
|
|
|
MAP is the object containing the reloc. */
|
|
|
|
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
static inline void
|
2017-12-27 12:51:24 +08:00
|
|
|
__attribute__ ((always_inline))
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
elf_machine_rela (struct link_map *map, struct r_scope_elem *scope[],
|
|
|
|
const ElfW(Rela) *reloc, const ElfW(Sym) *sym,
|
|
|
|
const struct r_found_version *version,
|
2017-12-27 12:51:24 +08:00
|
|
|
void *const reloc_addr, int skip_ifunc)
|
|
|
|
{
|
|
|
|
ElfW(Addr) r_info = reloc->r_info;
|
|
|
|
const unsigned long int r_type = ELFW (R_TYPE) (r_info);
|
|
|
|
ElfW(Addr) *addr_field = (ElfW(Addr) *) reloc_addr;
|
|
|
|
const ElfW(Sym) *const __attribute__ ((unused)) refsym = sym;
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
struct link_map *sym_map = RESOLVE_MAP (map, scope, &sym, version, r_type);
|
2017-12-27 12:51:24 +08:00
|
|
|
ElfW(Addr) value = 0;
|
|
|
|
if (sym_map != NULL)
|
elf: Unify symbol address run-time calculation [BZ #19818]
Wrap symbol address run-time calculation into a macro and use it
throughout, replacing inline calculations.
There are a couple of variants, most of them different in a functionally
insignificant way. Most calculations are right following RESOLVE_MAP,
at which point either the map or the symbol returned can be checked for
validity as the macro sets either both or neither. In some places both
the symbol and the map has to be checked however.
My initial implementation therefore always checked both, however that
resulted in code larger by as much as 0.3%, as many places know from
elsewhere that no check is needed. I have decided the size growth was
unacceptable.
Having looked closer I realized that it's the map that is the culprit.
Therefore I have modified LOOKUP_VALUE_ADDRESS to accept an additional
boolean argument telling it to access the map without checking it for
validity. This in turn has brought quite nice results, with new code
actually being smaller for i686, and MIPS o32, n32 and little-endian n64
targets, unchanged in size for x86-64 and, unusually, marginally larger
for big-endian MIPS n64, as follows:
i686:
text data bss dec hex filename
152255 4052 192 156499 26353 ld-2.27.9000-base.so
152159 4052 192 156403 262f3 ld-2.27.9000-elf-symbol-value.so
MIPS/o32/el:
text data bss dec hex filename
142906 4396 260 147562 2406a ld-2.27.9000-base.so
142890 4396 260 147546 2405a ld-2.27.9000-elf-symbol-value.so
MIPS/n32/el:
text data bss dec hex filename
142267 4404 260 146931 23df3 ld-2.27.9000-base.so
142171 4404 260 146835 23d93 ld-2.27.9000-elf-symbol-value.so
MIPS/n64/el:
text data bss dec hex filename
149835 7376 408 157619 267b3 ld-2.27.9000-base.so
149787 7376 408 157571 26783 ld-2.27.9000-elf-symbol-value.so
MIPS/o32/eb:
text data bss dec hex filename
142870 4396 260 147526 24046 ld-2.27.9000-base.so
142854 4396 260 147510 24036 ld-2.27.9000-elf-symbol-value.so
MIPS/n32/eb:
text data bss dec hex filename
142019 4404 260 146683 23cfb ld-2.27.9000-base.so
141923 4404 260 146587 23c9b ld-2.27.9000-elf-symbol-value.so
MIPS/n64/eb:
text data bss dec hex filename
149763 7376 408 157547 2676b ld-2.27.9000-base.so
149779 7376 408 157563 2677b ld-2.27.9000-elf-symbol-value.so
x86-64:
text data bss dec hex filename
148462 6452 400 155314 25eb2 ld-2.27.9000-base.so
148462 6452 400 155314 25eb2 ld-2.27.9000-elf-symbol-value.so
[BZ #19818]
* sysdeps/generic/ldsodefs.h (LOOKUP_VALUE_ADDRESS): Add `set'
parameter.
(SYMBOL_ADDRESS): New macro.
[!ELF_FUNCTION_PTR_IS_SPECIAL] (DL_SYMBOL_ADDRESS): Use
SYMBOL_ADDRESS for symbol address calculation.
* elf/dl-runtime.c (_dl_fixup): Likewise.
(_dl_profile_fixup): Likewise.
* elf/dl-symaddr.c (_dl_symbol_address): Likewise.
* elf/rtld.c (dl_main): Likewise.
* sysdeps/aarch64/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/alpha/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/arm/dl-machine.h (elf_machine_rel): Likewise.
(elf_machine_rela): Likewise.
* sysdeps/hppa/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/hppa/dl-symaddr.c (_dl_symbol_address): Likewise.
* sysdeps/i386/dl-machine.h (elf_machine_rel): Likewise.
(elf_machine_rela): Likewise.
* sysdeps/ia64/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/m68k/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/microblaze/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/mips/dl-machine.h (ELF_MACHINE_BEFORE_RTLD_RELOC):
Likewise.
(elf_machine_reloc): Likewise.
(elf_machine_got_rel): Likewise.
* sysdeps/mips/dl-trampoline.c (__dl_runtime_resolve): Likewise.
* sysdeps/nios2/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/powerpc/powerpc32/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/powerpc/powerpc64/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/riscv/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/s390/s390-32/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/s390/s390-64/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/sh/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/sparc/sparc32/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/sparc/sparc64/dl-machine.h (elf_machine_rela):
Likewise.
* sysdeps/tile/dl-machine.h (elf_machine_rela): Likewise.
* sysdeps/x86_64/dl-machine.h (elf_machine_rela): Likewise.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
2018-04-05 06:09:37 +08:00
|
|
|
value = SYMBOL_ADDRESS (sym_map, sym, true) + reloc->r_addend;
|
2017-12-27 12:51:24 +08:00
|
|
|
|
2020-12-15 17:16:39 +08:00
|
|
|
if (sym != NULL
|
|
|
|
&& __glibc_unlikely (ELFW(ST_TYPE) (sym->st_info) == STT_GNU_IFUNC)
|
|
|
|
&& __glibc_likely (sym->st_shndx != SHN_UNDEF)
|
|
|
|
&& __glibc_likely (!skip_ifunc))
|
|
|
|
value = elf_ifunc_invoke (value);
|
|
|
|
|
|
|
|
|
2017-12-27 12:51:24 +08:00
|
|
|
switch (r_type)
|
|
|
|
{
|
|
|
|
#ifndef RTLD_BOOTSTRAP
|
|
|
|
case __WORDSIZE == 64 ? R_RISCV_TLS_DTPMOD64 : R_RISCV_TLS_DTPMOD32:
|
|
|
|
if (sym_map)
|
|
|
|
*addr_field = sym_map->l_tls_modid;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case __WORDSIZE == 64 ? R_RISCV_TLS_DTPREL64 : R_RISCV_TLS_DTPREL32:
|
|
|
|
if (sym != NULL)
|
|
|
|
*addr_field = TLS_DTPREL_VALUE (sym) + reloc->r_addend;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case __WORDSIZE == 64 ? R_RISCV_TLS_TPREL64 : R_RISCV_TLS_TPREL32:
|
|
|
|
if (sym != NULL)
|
|
|
|
{
|
|
|
|
CHECK_STATIC_TLS (map, sym_map);
|
|
|
|
*addr_field = TLS_TPREL_VALUE (sym_map, sym) + reloc->r_addend;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case R_RISCV_COPY:
|
|
|
|
{
|
|
|
|
if (__glibc_unlikely (sym == NULL))
|
|
|
|
/* This can happen in trace mode if an object could not be
|
|
|
|
found. */
|
|
|
|
break;
|
|
|
|
|
|
|
|
/* Handle TLS copy relocations. */
|
|
|
|
if (__glibc_unlikely (ELFW (ST_TYPE) (sym->st_info) == STT_TLS))
|
|
|
|
{
|
|
|
|
/* There's nothing to do if the symbol is in .tbss. */
|
|
|
|
if (__glibc_likely (sym->st_value >= sym_map->l_tls_initimage_size))
|
|
|
|
break;
|
|
|
|
value += (ElfW(Addr)) sym_map->l_tls_initimage - sym_map->l_addr;
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t size = sym->st_size;
|
|
|
|
if (__glibc_unlikely (sym->st_size != refsym->st_size))
|
|
|
|
{
|
|
|
|
const char *strtab = (const void *) D_PTR (map, l_info[DT_STRTAB]);
|
|
|
|
if (sym->st_size > refsym->st_size)
|
|
|
|
size = refsym->st_size;
|
|
|
|
if (sym->st_size > refsym->st_size || GLRO(dl_verbose))
|
|
|
|
_dl_error_printf ("\
|
|
|
|
%s: Symbol `%s' has different size in shared object, consider re-linking\n",
|
|
|
|
rtld_progname ?: "<program name unknown>",
|
|
|
|
strtab + refsym->st_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
memcpy (reloc_addr, (void *)value, size);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if !defined RTLD_BOOTSTRAP || !defined HAVE_Z_COMBRELOC
|
|
|
|
case R_RISCV_RELATIVE:
|
|
|
|
{
|
|
|
|
# if !defined RTLD_BOOTSTRAP && !defined HAVE_Z_COMBRELOC
|
|
|
|
/* This is defined in rtld.c, but nowhere in the static libc.a;
|
|
|
|
make the reference weak so static programs can still link.
|
|
|
|
This declaration cannot be done when compiling rtld.c
|
|
|
|
(i.e. #ifdef RTLD_BOOTSTRAP) because rtld.c contains the
|
|
|
|
common defn for _dl_rtld_map, which is incompatible with a
|
|
|
|
weak decl in the same file. */
|
|
|
|
# ifndef SHARED
|
|
|
|
weak_extern (GL(dl_rtld_map));
|
|
|
|
# endif
|
|
|
|
if (map != &GL(dl_rtld_map)) /* Already done in rtld itself. */
|
|
|
|
# endif
|
|
|
|
*addr_field = map->l_addr + reloc->r_addend;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2020-12-15 17:16:39 +08:00
|
|
|
case R_RISCV_IRELATIVE:
|
|
|
|
value = map->l_addr + reloc->r_addend;
|
|
|
|
if (__glibc_likely (!skip_ifunc))
|
|
|
|
value = elf_ifunc_invoke (value);
|
|
|
|
*addr_field = value;
|
|
|
|
break;
|
|
|
|
|
2017-12-27 12:51:24 +08:00
|
|
|
case R_RISCV_JUMP_SLOT:
|
|
|
|
case __WORDSIZE == 64 ? R_RISCV_64 : R_RISCV_32:
|
|
|
|
*addr_field = value;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case R_RISCV_NONE:
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
_dl_reloc_bad_type (map, r_type, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
static inline void
|
2017-12-27 12:51:24 +08:00
|
|
|
__attribute__ ((always_inline))
|
|
|
|
elf_machine_rela_relative (ElfW(Addr) l_addr, const ElfW(Rela) *reloc,
|
|
|
|
void *const reloc_addr)
|
|
|
|
{
|
|
|
|
*(ElfW(Addr) *) reloc_addr = l_addr + reloc->r_addend;
|
|
|
|
}
|
|
|
|
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
static inline void
|
2017-12-27 12:51:24 +08:00
|
|
|
__attribute__ ((always_inline))
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
elf_machine_lazy_rel (struct link_map *map, struct r_scope_elem *scope[],
|
|
|
|
ElfW(Addr) l_addr, const ElfW(Rela) *reloc,
|
|
|
|
int skip_ifunc)
|
2017-12-27 12:51:24 +08:00
|
|
|
{
|
|
|
|
ElfW(Addr) *const reloc_addr = (void *) (l_addr + reloc->r_offset);
|
|
|
|
const unsigned int r_type = ELFW (R_TYPE) (reloc->r_info);
|
|
|
|
|
|
|
|
/* Check for unexpected PLT reloc type. */
|
|
|
|
if (__glibc_likely (r_type == R_RISCV_JUMP_SLOT))
|
|
|
|
{
|
|
|
|
if (__glibc_unlikely (map->l_mach.plt == 0))
|
|
|
|
{
|
|
|
|
if (l_addr)
|
|
|
|
*reloc_addr += l_addr;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
*reloc_addr = map->l_mach.plt;
|
|
|
|
}
|
2020-12-15 17:16:39 +08:00
|
|
|
else if (__glibc_unlikely (r_type == R_RISCV_IRELATIVE))
|
|
|
|
{
|
|
|
|
ElfW(Addr) value = map->l_addr + reloc->r_addend;
|
|
|
|
if (__glibc_likely (!skip_ifunc))
|
|
|
|
value = elf_ifunc_invoke (value);
|
|
|
|
*reloc_addr = value;
|
|
|
|
}
|
2017-12-27 12:51:24 +08:00
|
|
|
else
|
|
|
|
_dl_reloc_bad_type (map, r_type, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Set up the loaded object described by L so its stub function
|
|
|
|
will jump to the on-demand fixup code __dl_runtime_resolve. */
|
|
|
|
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
static inline int
|
2017-12-27 12:51:24 +08:00
|
|
|
__attribute__ ((always_inline))
|
elf: Avoid nested functions in the loader [BZ #27220]
dynamic-link.h is included more than once in some elf/ files (rtld.c,
dl-conflict.c, dl-reloc.c, dl-reloc-static-pie.c) and uses GCC nested
functions. This harms readability and the nested functions usage
is the biggest obstacle prevents Clang build (Clang doesn't support GCC
nested functions).
The key idea for unnesting is to add extra parameters (struct link_map
*and struct r_scope_elm *[]) to RESOLVE_MAP,
ELF_MACHINE_BEFORE_RTLD_RELOC, ELF_DYNAMIC_RELOCATE, elf_machine_rel[a],
elf_machine_lazy_rel, and elf_machine_runtime_setup. (This is inspired
by Stan Shebs' ppc64/x86-64 implementation in the
google/grte/v5-2.27/master which uses mixed extra parameters and static
variables.)
Future simplification:
* If mips elf_machine_runtime_setup no longer needs RESOLVE_GOTSYM,
elf_machine_runtime_setup can drop the `scope` parameter.
* If TLSDESC no longer need to be in elf_machine_lazy_rel,
elf_machine_lazy_rel can drop the `scope` parameter.
Tested on aarch64, i386, x86-64, powerpc64le, powerpc64, powerpc32,
sparc64, sparcv9, s390x, s390, hppa, ia64, armhf, alpha, and mips64.
In addition, tested build-many-glibcs.py with {arc,csky,microblaze,nios2}-linux-gnu
and riscv64-linux-gnu-rv64imafdc-lp64d.
Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
(cherry picked from commit 490e6c62aa31a8aa5c4a059f6e646ede121edf0a)
2021-10-08 02:55:02 +08:00
|
|
|
elf_machine_runtime_setup (struct link_map *l, struct r_scope_elem *scope[],
|
|
|
|
int lazy, int profile)
|
2017-12-27 12:51:24 +08:00
|
|
|
{
|
|
|
|
#ifndef RTLD_BOOTSTRAP
|
|
|
|
/* If using PLTs, fill in the first two entries of .got.plt. */
|
|
|
|
if (l->l_info[DT_JMPREL])
|
|
|
|
{
|
|
|
|
extern void _dl_runtime_resolve (void) __attribute__ ((visibility ("hidden")));
|
|
|
|
ElfW(Addr) *gotplt = (ElfW(Addr) *) D_PTR (l, l_info[DT_PLTGOT]);
|
|
|
|
/* If a library is prelinked but we have to relocate anyway,
|
|
|
|
we have to be able to undo the prelinking of .got.plt.
|
|
|
|
The prelinker saved the address of .plt for us here. */
|
|
|
|
if (gotplt[1])
|
|
|
|
l->l_mach.plt = gotplt[1] + l->l_addr;
|
|
|
|
gotplt[0] = (ElfW(Addr)) &_dl_runtime_resolve;
|
|
|
|
gotplt[1] = (ElfW(Addr)) l;
|
|
|
|
}
|
|
|
|
|
2020-12-15 17:16:40 +08:00
|
|
|
if (l->l_type == lt_executable)
|
|
|
|
{
|
|
|
|
/* The __global_pointer$ may not be defined by the linker if the
|
|
|
|
$gp register does not be used to access the global variable
|
|
|
|
in the executable program. Therefore, the search symbol is
|
|
|
|
set to a weak symbol to avoid we error out if the
|
|
|
|
__global_pointer$ is not found. */
|
|
|
|
ElfW(Sym) gp_sym = { 0 };
|
|
|
|
gp_sym.st_info = (unsigned char) ELFW (ST_INFO (STB_WEAK, STT_NOTYPE));
|
|
|
|
|
|
|
|
const ElfW(Sym) *ref = &gp_sym;
|
|
|
|
_dl_lookup_symbol_x ("__global_pointer$", l, &ref,
|
|
|
|
l->l_scope, NULL, 0, 0, NULL);
|
|
|
|
if (ref)
|
|
|
|
asm (
|
|
|
|
"mv gp, %0\n"
|
|
|
|
:
|
|
|
|
: "r" (ref->st_value)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
#endif
|
2017-12-27 12:51:24 +08:00
|
|
|
return lazy;
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* RESOLVE_MAP */
|