diff options
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/ChangeLog | 29 | ||||
| -rw-r--r-- | backends/Makefile.am | 2 | ||||
| -rw-r--r-- | backends/riscv64_corenote.c | 2 | ||||
| -rw-r--r-- | backends/riscv_corenote.c | 52 | ||||
| -rw-r--r-- | backends/riscv_init.c | 17 | ||||
| -rw-r--r-- | backends/riscv_retval.c | 251 | ||||
| -rw-r--r-- | backends/s390_init.c | 1 | ||||
| -rw-r--r-- | backends/s390_symbol.c | 38 |
8 files changed, 377 insertions, 15 deletions
diff --git a/backends/ChangeLog b/backends/ChangeLog index e2a02812..0c61a0b3 100644 --- a/backends/ChangeLog +++ b/backends/ChangeLog @@ -1,3 +1,32 @@ +2019-02-15 Mark Wielaard <[email protected]> + + * s390_init.c (s390_init): Hook check_special_symbol. + * s390_symbol.c (s390_check_sepcial_symbol): New function. + +2018-12-27 Jim Wilson <[email protected]> + + * Makefile.am (riscv_SRCS): Add riscv64_corenote.c. + * riscv64_corenote.c: New file. + * riscv_corenote.c (BITS): New. + (BACKEND): Conditional on BITS. + (ULONG, UID_T, GID_T, ALIGN_ULONG, ALIGN_UID_T, ALIGN_GID_T): Likewise. + (TYPE_ULONG, TYPE_UID_T, TYPE_GID_T): Likewise. + (prstatus_regs): Use BITS/8 instead of 8. + (PRSTATUS_REGS_SIZE): Likewise. + * riscv_init.c (riscv64_core_note): Declare. + (riscv_init): If ELFCLASS64 then use riscv64_core_note hook. + + * Makefile.am (riscv_SRCS): Add riscv_retval.c. + * riscv_init.c: Include libelfP.h. + (riscv_return_value_location_lp64d): Declare. + (riscv_init): Delete unused attribute from elf parameter. Register + riscv_return_value_location_lp64d hook if 64-bit ELF and 64-bit FP + registers. + * riscv_retval.c: New file. + + * riscv_corenote.c (prstatus_regs): Change offset from 1 to 8. + (PRSTATUS_REGSET_ITEMS): New. + 2018-11-06 Mark Wielaard <[email protected]> * x86_64_symbol.c (x86_64_section_type_name): New function. diff --git a/backends/Makefile.am b/backends/Makefile.am index 3d85cdec..3a4e56ef 100644 --- a/backends/Makefile.am +++ b/backends/Makefile.am @@ -158,7 +158,7 @@ libebl_bpf_pic_a_SOURCES = $(bpf_SRCS) am_libebl_bpf_pic_a_OBJECTS = $(bpf_SRCS:.c=.os) riscv_SRCS = riscv_init.c riscv_symbol.c riscv_cfi.c riscv_regs.c \ - riscv_initreg.c riscv_corenote.c + riscv_initreg.c riscv_corenote.c riscv64_corenote.c riscv_retval.c libebl_riscv_pic_a_SOURCES = $(riscv_SRCS) am_libebl_riscv_pic_a_OBJECTS = $(riscv_SRCS:.c=.os) diff --git a/backends/riscv64_corenote.c b/backends/riscv64_corenote.c new file mode 100644 index 00000000..dbcb89d9 --- /dev/null +++ b/backends/riscv64_corenote.c @@ -0,0 +1,2 @@ +#define BITS 64 +#include "riscv_corenote.c" diff --git a/backends/riscv_corenote.c b/backends/riscv_corenote.c index 37cce7e3..416dffc3 100644 --- a/backends/riscv_corenote.c +++ b/backends/riscv_corenote.c @@ -35,26 +35,54 @@ #include <stdio.h> #include <sys/time.h> -#define BACKEND riscv_ +#ifndef BITS +# define BITS 32 +# define BACKEND riscv_ +#else +# define BITS 64 +# define BACKEND riscv64_ +#endif + #include "libebl_CPU.h" -#define ULONG uint64_t +#if BITS == 32 +# define ULONG uint32_t +# define UID_T uint16_t +# define GID_T uint16_t +# define ALIGN_ULONG 4 +# define ALIGN_UID_T 2 +# define ALIGN_GID_T 2 +# define TYPE_ULONG ELF_T_WORD +# define TYPE_UID_T ELF_T_HALF +# define TYPE_GID_T ELF_T_HALF +#else +# define ULONG uint64_t +# define UID_T uint32_t +# define GID_T uint32_t +# define ALIGN_ULONG 8 +# define ALIGN_UID_T 4 +# define ALIGN_GID_T 4 +# define TYPE_ULONG ELF_T_XWORD +# define TYPE_UID_T ELF_T_WORD +# define TYPE_GID_T ELF_T_WORD +#endif + #define PID_T int32_t -#define UID_T uint32_t -#define GID_T uint32_t -#define ALIGN_ULONG 8 #define ALIGN_PID_T 4 -#define ALIGN_UID_T 4 -#define ALIGN_GID_T 4 -#define TYPE_ULONG ELF_T_XWORD #define TYPE_PID_T ELF_T_SWORD -#define TYPE_UID_T ELF_T_WORD -#define TYPE_GID_T ELF_T_WORD + static const Ebl_Register_Location prstatus_regs[] = { - { .offset = 1, .regno = 1, .count = 31, .bits = 64 } /* x1..x31 */ + { .offset = BITS/8, .regno = 1, .count = 31, .bits = BITS } /* x1..x31 */ }; -#define PRSTATUS_REGS_SIZE (32 * 8) +#define PRSTATUS_REGS_SIZE (32 * (BITS/8)) + +#define PRSTATUS_REGSET_ITEMS \ + { \ + .name = "pc", .type = ELF_T_ADDR, .format = 'x', \ + .offset = offsetof (struct EBLHOOK(prstatus), pr_reg[0]), \ + .group = "register", .pc_register = true \ + } #include "linux-core-note.c" diff --git a/backends/riscv_init.c b/backends/riscv_init.c index 8b7ce8b5..3398c104 100644 --- a/backends/riscv_init.c +++ b/backends/riscv_init.c @@ -33,12 +33,18 @@ #define RELOC_PREFIX R_RISCV_ #include "libebl_CPU.h" +#include "libelfP.h" + /* This defines the common reloc hooks based on riscv_reloc.def. */ #include "common-reloc.c" +extern __typeof (EBLHOOK (return_value_location)) + riscv_return_value_location_lp64d attribute_hidden; + +extern __typeof (EBLHOOK (core_note)) riscv64_core_note attribute_hidden; const char * -riscv_init (Elf *elf __attribute__ ((unused)), +riscv_init (Elf *elf, GElf_Half machine __attribute__ ((unused)), Ebl *eh, size_t ehlen) @@ -58,7 +64,14 @@ riscv_init (Elf *elf __attribute__ ((unused)), HOOK (eh, check_special_symbol); HOOK (eh, machine_flag_check); HOOK (eh, set_initial_registers_tid); - HOOK (eh, core_note); + if (eh->class == ELFCLASS64) + eh->core_note = riscv64_core_note; + else + HOOK (eh, core_note); + if (eh->class == ELFCLASS64 + && ((elf->state.elf64.ehdr->e_flags & EF_RISCV_FLOAT_ABI) + == EF_RISCV_FLOAT_ABI_DOUBLE)) + eh->return_value_location = riscv_return_value_location_lp64d; return MODVERSION; } diff --git a/backends/riscv_retval.c b/backends/riscv_retval.c new file mode 100644 index 00000000..35b6010b --- /dev/null +++ b/backends/riscv_retval.c @@ -0,0 +1,251 @@ +/* Function return value location for Linux/RISC-V ABI. + Copyright (C) 2018 Sifive, Inc. + Copyright (C) 2013 Red Hat, Inc. + This file is part of elfutils. + + This file is free software; you can redistribute it and/or modify + it under the terms of either + + * the GNU Lesser General Public License as published by the Free + Software Foundation; either version 3 of the License, or (at + your option) any later version + + or + + * the GNU General Public License as published by the Free + Software Foundation; either version 2 of the License, or (at + your option) any later version + + or both in parallel, as here. + + elfutils 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 copies of the GNU General Public License and + the GNU Lesser General Public License along with this program. If + not, see <http://www.gnu.org/licenses/>. */ + +#ifdef HAVE_CONFIG_H +# include <config.h> +#endif + +#include <stdio.h> +#include <inttypes.h> + +#include <assert.h> +#include <dwarf.h> + +#define BACKEND riscv_ +#include "libebl_CPU.h" + +static int +dwarf_bytesize_aux (Dwarf_Die *die, Dwarf_Word *sizep) +{ + int bits; + if (((bits = 8 * dwarf_bytesize (die)) < 0 + && (bits = dwarf_bitsize (die)) < 0) + || bits % 8 != 0) + return -1; + + *sizep = bits / 8; + return 0; +} + +static int +pass_in_gpr_lp64 (const Dwarf_Op **locp, Dwarf_Word size) +{ + static const Dwarf_Op loc[] = + { + { .atom = DW_OP_reg10 }, { .atom = DW_OP_piece, .number = 8 }, + { .atom = DW_OP_reg11 }, { .atom = DW_OP_piece, .number = 8 } + }; + + *locp = loc; + return size <= 8 ? 1 : 4; +} + +static int +pass_by_ref (const Dwarf_Op **locp) +{ + static const Dwarf_Op loc[] = { { .atom = DW_OP_breg10 } }; + + *locp = loc; + return 1; +} + +static int +pass_in_fpr_lp64f (const Dwarf_Op **locp, Dwarf_Word size) +{ + static const Dwarf_Op loc[] = + { + { .atom = DW_OP_regx, .number = 42 }, + { .atom = DW_OP_piece, .number = 4 }, + { .atom = DW_OP_regx, .number = 43 }, + { .atom = DW_OP_piece, .number = 4 } + }; + + *locp = loc; + return size <= 4 ? 1 : 4; +} + +static int +pass_in_fpr_lp64d (const Dwarf_Op **locp, Dwarf_Word size) +{ + static const Dwarf_Op loc[] = + { + { .atom = DW_OP_regx, .number = 42 }, + { .atom = DW_OP_piece, .number = 8 }, + { .atom = DW_OP_regx, .number = 43 }, + { .atom = DW_OP_piece, .number = 8 } + }; + + *locp = loc; + return size <= 8 ? 1 : 4; +} + +static int +flatten_aggregate_arg (Dwarf_Die *typedie __attribute__ ((unused)), + Dwarf_Die *arg0 __attribute__ ((unused)), + Dwarf_Die *arg1 __attribute__ ((unused))) +{ + /* ??? */ + return 1; +} + +static int +pass_by_flattened_arg (const Dwarf_Op **locp __attribute__ ((unused)), + Dwarf_Word size __attribute__ ((unused)), + Dwarf_Die *arg0 __attribute__ ((unused)), + Dwarf_Die *arg1 __attribute__ ((unused))) +{ + /* ??? */ + return -2; +} + +int +riscv_return_value_location_lp64d (Dwarf_Die *functypedie, + const Dwarf_Op **locp) +{ + /* Start with the function's type, and get the DW_AT_type attribute, + which is the type of the return value. */ + Dwarf_Die typedie; + int tag = dwarf_peeled_die_type (functypedie, &typedie); + if (tag <= 0) + return tag; + + Dwarf_Word size = (Dwarf_Word)-1; + + /* If the argument type is a Composite Type that is larger than 16 + bytes, then the argument is copied to memory allocated by the + caller and the argument is replaced by a pointer to the copy. */ + if (tag == DW_TAG_structure_type || tag == DW_TAG_union_type + || tag == DW_TAG_class_type || tag == DW_TAG_array_type) + { + Dwarf_Die arg0, arg1; + + if (dwarf_aggregate_size (&typedie, &size) < 0) + return -1; + /* A struct containing just one floating-point real is passed as though + it were a standalone floating-point real. A struct containing two + floating-point reals is passed in two floating-point registers, if + neither is more than FLEN bits wide. A struct containing just one + complex floating-point number is passed as though it were a struct + containing two floating-point reals. A struct containing one + floating-point real and one integer (or bitfield), in either order, + is passed in a floating-point register and an integer register, + provided the floating-point real is no more than FLEN bits wide and + the integer is no more than XLEN bits wide. */ + if (tag == DW_TAG_structure_type + && flatten_aggregate_arg (&typedie, &arg0, &arg1)) + return pass_by_flattened_arg (locp, size, &arg0, &arg1); + /* Aggregates larger than 2*XLEN bits are passed by reference. */ + else if (size > 16) + return pass_by_ref (locp); + /* Aggregates whose total size is no more than XLEN bits are passed in + a register. Aggregates whose total size is no more than 2*XLEN bits + are passed in a pair of registers. */ + else + return pass_in_gpr_lp64 (locp, size); + } + + if (tag == DW_TAG_base_type + || tag == DW_TAG_pointer_type || tag == DW_TAG_ptr_to_member_type) + { + if (dwarf_bytesize_aux (&typedie, &size) < 0) + { + if (tag == DW_TAG_pointer_type || tag == DW_TAG_ptr_to_member_type) + size = 8; + else + return -1; + } + + Dwarf_Attribute attr_mem; + if (tag == DW_TAG_base_type) + { + Dwarf_Word encoding; + if (dwarf_formudata (dwarf_attr_integrate (&typedie, DW_AT_encoding, + &attr_mem), + &encoding) != 0) + return -1; + + switch (encoding) + { + case DW_ATE_boolean: + case DW_ATE_signed: + case DW_ATE_unsigned: + case DW_ATE_unsigned_char: + case DW_ATE_signed_char: + /* Scalars that are at most XLEN bits wide are passed in a single + argument register. Scalars that are 2*XLEN bits wide are + passed in a pair of argument registers. Scalars wider than + 2*XLEN are passed by reference; there are none for LP64D. */ + return pass_in_gpr_lp64 (locp, size); + + case DW_ATE_float: + /* A real floating-point argument is passed in a floating-point + argument register if it is no more than FLEN bits wide, + otherwise it is passed according to the integer calling + convention. */ + switch (size) + { + case 4: /* single */ + case 8: /* double */ + return pass_in_fpr_lp64d (locp, size); + + case 16: /* quad */ + return pass_in_gpr_lp64 (locp, size); + + default: + return -2; + } + + case DW_ATE_complex_float: + /* A complex floating-point number is passed as though it were a + struct containing two floating-point reals. */ + switch (size) + { + case 8: /* float _Complex */ + return pass_in_fpr_lp64f (locp, size); + + case 16: /* double _Complex */ + return pass_in_fpr_lp64d (locp, size); + + case 32: /* long double _Complex */ + return pass_by_ref (locp); + + default: + return -2; + } + } + + return -2; + } + else + return pass_in_gpr_lp64 (locp, size); + } + + *locp = NULL; + return 0; +} diff --git a/backends/s390_init.c b/backends/s390_init.c index ba8df45d..0004aeea 100644 --- a/backends/s390_init.c +++ b/backends/s390_init.c @@ -54,6 +54,7 @@ s390_init (Elf *elf __attribute__ ((unused)), eh->name = "IBM S/390"; s390_init_reloc (eh); HOOK (eh, reloc_simple_type); + HOOK (eh, check_special_symbol); HOOK (eh, register_info); HOOK (eh, return_value_location); if (eh->class == ELFCLASS64) diff --git a/backends/s390_symbol.c b/backends/s390_symbol.c index f91e1373..9e80ecaa 100644 --- a/backends/s390_symbol.c +++ b/backends/s390_symbol.c @@ -32,6 +32,7 @@ #include <elf.h> #include <stddef.h> +#include <string.h> #define BACKEND s390_ #include "libebl_CPU.h" @@ -55,3 +56,40 @@ s390_reloc_simple_type (Ebl *ebl __attribute__ ((unused)), int type, return ELF_T_NUM; } } + +/* The _GLOBAL_OFFSET_TABLE_ symbol might point to the DT_PLTGOT, + which is in the .got section, even if the symbol itself is + associated with the is a .got.plt section. + https://sourceware.org/ml/binutils/2018-07/msg00200.html */ +bool +s390_check_special_symbol (Elf *elf, const GElf_Sym *sym, + const char *name, const GElf_Shdr *destshdr) +{ + if (name != NULL + && strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0) + { + size_t shstrndx; + if (elf_getshdrstrndx (elf, &shstrndx) != 0) + return false; + const char *sname = elf_strptr (elf, shstrndx, destshdr->sh_name); + if (sname != NULL + && (strcmp (sname, ".got") == 0 || strcmp (sname, ".got.plt") == 0)) + { + Elf_Scn *scn = NULL; + while ((scn = elf_nextscn (elf, scn)) != NULL) + { + GElf_Shdr shdr_mem; + GElf_Shdr *shdr = gelf_getshdr (scn, &shdr_mem); + if (shdr != NULL) + { + sname = elf_strptr (elf, shstrndx, shdr->sh_name); + if (sname != NULL && strcmp (sname, ".got") == 0) + return (sym->st_value >= shdr->sh_addr + && sym->st_value < shdr->sh_addr + shdr->sh_size); + } + } + } + } + + return false; +} |
