diff options
author | Alan Modra <amodra@bigpond.net.au> | 2000-07-09 07:23:07 +0000 |
---|---|---|
committer | Alan Modra <amodra@bigpond.net.au> | 2000-07-09 07:23:07 +0000 |
commit | d866721152564107587537f27caa619973d978dc (patch) | |
tree | 0ba38e11c971aa6b2dd82accfcbcbaec52e32928 /bfd/elf32-hppa.c | |
parent | a1aa3e5e71af07b2c62de0a3c7fe9c750a4cc960 (diff) | |
download | gdb-d866721152564107587537f27caa619973d978dc.tar.gz |
Restore hppa-elf32 to working order.
Diffstat (limited to 'bfd/elf32-hppa.c')
-rw-r--r-- | bfd/elf32-hppa.c | 1761 |
1 files changed, 891 insertions, 870 deletions
diff --git a/bfd/elf32-hppa.c b/bfd/elf32-hppa.c index 1fdd4abb26f..f57911a4b4c 100644 --- a/bfd/elf32-hppa.c +++ b/bfd/elf32-hppa.c @@ -33,10 +33,10 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #include "elf32-hppa.h" #define ARCH_SIZE 32 #include "elf-hppa.h" +#include "elf32-hppa.h" -/* We use three different hash tables to hold information for - linking PA ELF objects. +/* We use two hash tables to hold information for linking PA ELF objects. The first is the elf32_hppa_link_hash_table which is derived from the standard ELF linker hash table. We use this as a place to @@ -50,12 +50,13 @@ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ struct elf32_hppa_stub_hash_entry { - /* Base hash table entry structure, we can get the name of the stub - (and thus know exactly what actions it performs) from the base - hash table entry. */ + /* Base hash table entry structure. */ struct bfd_hash_entry root; - /* Offset of the beginning of this stub. */ + /* The stub section. */ + asection *stub_sec; + + /* Offset within stub_sec of the beginning of this stub. */ bfd_vma offset; /* Given the symbol's value and its section we can determine its final @@ -64,121 +65,67 @@ struct elf32_hppa_stub_hash_entry asection *target_section; }; -struct elf32_hppa_stub_hash_table -{ - /* The hash table itself. */ - struct bfd_hash_table root; - - /* The stub BFD. */ - bfd *stub_bfd; - - /* Where to place the next stub. */ - bfd_byte *location; - - /* Current offset in the stub section. */ - unsigned int offset; - -}; - -struct elf32_hppa_link_hash_entry -{ - struct elf_link_hash_entry root; -}; - struct elf32_hppa_link_hash_table { /* The main hash table. */ struct elf_link_hash_table root; /* The stub hash table. */ - struct elf32_hppa_stub_hash_table *stub_hash_table; + struct bfd_hash_table stub_hash_table; - /* A count of the number of output symbols. */ - unsigned int output_symbol_count; + /* Current offsets in the stub sections. */ + bfd_vma *offset; - /* Stuff so we can handle DP relative relocations. */ - long global_value; - int global_sym_defined; + /* Global data pointer. */ + bfd_vma global_value; }; -/* ELF32/HPPA relocation support - This file contains ELF32/HPPA relocation support as specified - in the Stratus FTX/Golf Object File Format (SED-1762) dated - February 1994. */ +/* For linker stub hash tables. */ -#include "elf32-hppa.h" -#include "hppa_stubs.h" +#define elf32_hppa_stub_hash_lookup(table, string, create, copy) \ + ((struct elf32_hppa_stub_hash_entry *) \ + bfd_hash_lookup ((table), (string), (create), (copy))) -static unsigned long hppa_elf_relocate_insn - PARAMS ((bfd *, asection *, unsigned long, unsigned long, long, - long, unsigned long, unsigned long, unsigned long)); +/* Get the PA ELF linker hash table from a link_info structure. */ -static boolean elf32_hppa_add_symbol_hook - PARAMS ((bfd *, struct bfd_link_info *, const Elf_Internal_Sym *, - const char **, flagword *, asection **, bfd_vma *)); +#define elf32_hppa_hash_table(p) \ + ((struct elf32_hppa_link_hash_table *) ((p)->hash)) -static bfd_reloc_status_type elf32_hppa_bfd_final_link_relocate - PARAMS ((reloc_howto_type *, bfd *, bfd *, asection *, - bfd_byte *, bfd_vma, bfd_vma, bfd_vma, struct bfd_link_info *, - asection *, const char *, int)); + +static struct bfd_hash_entry *elf32_hppa_stub_hash_newfunc + PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *)); static struct bfd_link_hash_table *elf32_hppa_link_hash_table_create PARAMS ((bfd *)); -static struct bfd_hash_entry * -elf32_hppa_stub_hash_newfunc - PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *)); +static char *elf32_hppa_stub_name + PARAMS ((const char *, const asection *, const asection *, + bfd_vma, const struct elf_link_hash_entry *)); -static boolean -elf32_hppa_relocate_section +static int elf32_hppa_relocate_insn + PARAMS ((int, bfd_vma, bfd_signed_vma, unsigned int, int, + enum hppa_reloc_field_selector_type_alt)); + +static bfd_reloc_status_type elf32_hppa_bfd_final_link_relocate + PARAMS ((reloc_howto_type *, bfd *, asection *, + bfd_byte *, bfd_vma, bfd_vma, bfd_signed_vma, + struct bfd_link_info *, asection *, const char *, + struct elf_link_hash_entry *)); + +static boolean elf32_hppa_relocate_section PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *, Elf_Internal_Rela *, Elf_Internal_Sym *, asection **)); -static boolean -elf32_hppa_stub_hash_table_init - PARAMS ((struct elf32_hppa_stub_hash_table *, bfd *, - struct bfd_hash_entry *(*) PARAMS ((struct bfd_hash_entry *, - struct bfd_hash_table *, - const char *)))); - -static boolean -elf32_hppa_build_one_stub PARAMS ((struct bfd_hash_entry *, PTR)); +static boolean elf32_hppa_add_symbol_hook + PARAMS ((bfd *, struct bfd_link_info *, const Elf_Internal_Sym *, + const char **, flagword *, asection **, bfd_vma *)); static unsigned int elf32_hppa_size_of_stub - PARAMS ((bfd_vma, bfd_vma, const char *)); - -static void elf32_hppa_name_of_stub - PARAMS ((bfd_vma, bfd_vma, char *)); - -/* For linker stub hash tables. */ -#define elf32_hppa_stub_hash_lookup(table, string, create, copy) \ - ((struct elf32_hppa_stub_hash_entry *) \ - bfd_hash_lookup (&(table)->root, (string), (create), (copy))) + PARAMS ((asection *, bfd_vma, bfd_vma)); -#define elf32_hppa_stub_hash_traverse(table, func, info) \ - (bfd_hash_traverse \ - (&(table)->root, \ - (boolean (*) PARAMS ((struct bfd_hash_entry *, PTR))) (func), \ - (info))) - -/* For HPPA linker hash table. */ - -#define elf32_hppa_link_hash_lookup(table, string, create, copy, follow)\ - ((struct elf32_hppa_link_hash_entry *) \ - elf_link_hash_lookup (&(table)->root, (string), (create), \ - (copy), (follow))) - -#define elf32_hppa_link_hash_traverse(table, func, info) \ - (elf_link_hash_traverse \ - (&(table)->root, \ - (boolean (*) PARAMS ((struct elf_link_hash_entry *, PTR))) (func), \ - (info))) - -/* Get the PA ELF linker hash table from a link_info structure. */ - -#define elf32_hppa_hash_table(p) \ - ((struct elf32_hppa_link_hash_table *) ((p)->hash)) +static boolean elf32_hppa_build_one_stub + PARAMS ((struct bfd_hash_entry *, PTR)); /* Assorted hash table functions. */ @@ -211,6 +158,7 @@ elf32_hppa_stub_hash_newfunc (entry, table, string) if (ret) { /* Initialize the local fields. */ + ret->stub_sec = NULL; ret->offset = 0; ret->target_value = 0; ret->target_section = NULL; @@ -219,22 +167,6 @@ elf32_hppa_stub_hash_newfunc (entry, table, string) return (struct bfd_hash_entry *) ret; } -/* Initialize a stub hash table. */ - -static boolean -elf32_hppa_stub_hash_table_init (table, stub_bfd, newfunc) - struct elf32_hppa_stub_hash_table *table; - bfd *stub_bfd; - struct bfd_hash_entry *(*newfunc) PARAMS ((struct bfd_hash_entry *, - struct bfd_hash_table *, - const char *)); -{ - table->offset = 0; - table->location = 0; - table->stub_bfd = stub_bfd; - return (bfd_hash_table_init (&table->root, newfunc)); -} - /* Create the derived linker hash table. The PA ELF port uses the derived hash table to keep information specific to the PA ELF linker (without using static variables). */ @@ -245,103 +177,375 @@ elf32_hppa_link_hash_table_create (abfd) { struct elf32_hppa_link_hash_table *ret; - ret = ((struct elf32_hppa_link_hash_table *) - bfd_alloc (abfd, sizeof (struct elf32_hppa_link_hash_table))); + ret = ((struct elf32_hppa_link_hash_table *) bfd_alloc (abfd, sizeof (*ret))); if (ret == NULL) return NULL; + if (!_bfd_elf_link_hash_table_init (&ret->root, abfd, _bfd_elf_link_hash_newfunc)) { bfd_release (abfd, ret); return NULL; } - ret->stub_hash_table = NULL; - ret->output_symbol_count = 0; + + /* Init the stub hash table too. */ + if (!bfd_hash_table_init (&ret->stub_hash_table, + elf32_hppa_stub_hash_newfunc)) + return NULL; + + ret->offset = NULL; ret->global_value = 0; - ret->global_sym_defined = 0; return &ret->root.root; } -/* Relocate the given INSN given the various input parameters. +/* Build a name for a long branch stub. */ +static char * +elf32_hppa_stub_name (sym_name, sym_sec, input_section, addend, hash) + const char *sym_name; + const asection *sym_sec; + const asection *input_section; + bfd_vma addend; + const struct elf_link_hash_entry *hash; +{ + char *stub_name; + int len; + + len = strlen (sym_name) + 19; + if (hash == NULL) + len += 9; - FIXME: endianness and sizeof (long) issues abound here. */ + stub_name = bfd_malloc (len); + if (stub_name != NULL) + { + sprintf (stub_name, "%08x_%08x_%s", + input_section->id & 0xffffffff, + (int) addend & 0xffffffff, + sym_name); + + /* Tack on an ID so we can uniquely identify + this local symbol in the stub hash tables. */ + if (hash == NULL) + sprintf (stub_name + len - 10, "_%08x", + sym_sec->id & 0xffffffff); + } + return stub_name; +} -static unsigned long -hppa_elf_relocate_insn (abfd, input_sect, insn, address, sym_value, - r_addend, r_format, r_field, pcrel) - bfd *abfd; - asection *input_sect; - unsigned long insn; - unsigned long address; - long sym_value; - long r_addend; - unsigned long r_format; - unsigned long r_field; - unsigned long pcrel; +/* Relocate the given INSN given the various input parameters. */ + +static int +elf32_hppa_relocate_insn (insn, sym_value, r_addend, r_type, r_format, r_field) + int insn; + bfd_vma sym_value; + bfd_signed_vma r_addend; + unsigned int r_type; + int r_format; + enum hppa_reloc_field_selector_type_alt r_field; { - unsigned char opcode = get_opcode (insn); - long constant_value; + int value; +#ifdef ELF_ARG_RELOC +#ifndef ELF_ARG_RELOC_INSN + /* Ick. Who would want to support this? */ + int imm; + + switch (r_type) + { + /* The offset is partly stored in the instruction for cases + where the top ten bits of the addend are used for arg_reloc. + This is a little tricky, because the immediate value in the + instruction not only needs to be pieced together from + multiple bit fields, but also needs to be shifted left to + restore the original quantity. Which bits of the offset + we can retrieve from the instruction depend on exactly which + instruction we are dealing with. */ + case R_PARISC_PCREL17R: + case R_PARISC_PCREL17F: + case R_PARISC_PCREL17C: + case R_PARISC_DIR17R: + case R_PARISC_DIR17F: + /* For these relocs, we choose to use the low 10 bits from the + instruction and store the high 22 bits in the reloc addend. + It doesn't matter that the bottom 2 bits of the value are + always zero, as branches must be to a location which is a + multiple of 4. */ +#if 0 + /* It isn't necessary to retrieve the whole immediate, but + this documents what we have in the instruction. */ + imm = (((insn & 0x1f0000) >> 5) + | ((insn & 0x0004) << 8) + | ((insn & 0x1ff8) >> 3)) - ((insn & 1) << 17); + imm <<= 2; + imm = imm & 0x3ff; +#else + imm = (insn & 0x7f8) >> 1; +#endif + r_addend = (r_addend << (BFD_ARCH_SIZE-22)) >> (BFD_ARCH_SIZE-32); + r_addend = r_addend | imm; + break; + + case R_PARISC_PCREL21L: + case R_PARISC_DIR21L: + /* In this case, the instruction stores the high 21 bits of the + value, so we pick off the top 10 bits, and use the reloc + addend to store the low 22 bits. */ +#if 0 + /* It isn't necessary to retrieve the whole immediate, but + this documents what we have in the instruction. */ + imm = (( (insn & 0x000ffe) << 8) + | ((insn & 0x00c000) >> 7) + | ((insn & 0x1f0000) >> 14) + | ((insn & 0x003000) >> 12)) - ((insn & 1) << 20); + imm <<= 11; + imm = imm & ~ 0x3fffff; +#else + /* Just pick off the 10 needed bits, ensuring we sign extend. */ + imm = ((insn & 0x000ff8) << 19) - ((insn & 1) << 31); +#endif + r_addend = imm | (r_addend & 0x3fffff); + break; + + default: + break; + } +#endif +#endif + + switch (r_type) + { + case R_PARISC_PCREL21L: + case R_PARISC_PCREL17C: + case R_PARISC_PCREL17F: + case R_PARISC_PCREL17R: + case R_PARISC_PCREL14R: + /* Adjust PC relative offset. */ + r_addend -= 8; + break; + default: + break; + } + value = hppa_field_adjust (sym_value, r_addend, r_field); - switch (opcode) + switch (r_type) { - case LDO: - case LDB: - case LDH: - case LDW: - case LDWM: - case STB: - case STH: - case STW: - case STWM: - case COMICLR: - case SUBI: - case ADDIT: - case ADDI: - case LDIL: - case ADDIL: - constant_value = HPPA_R_CONSTANT (r_addend); - - if (pcrel) - sym_value -= address; - - sym_value = hppa_field_adjust (sym_value, constant_value, r_field); - return hppa_rebuild_insn (abfd, insn, sym_value, r_format); - - case BL: - case BE: - case BLE: - /* XXX r_addend ignored ???. */ - constant_value = assemble_17 ((insn & 0x001f0000) >> 16, - (insn & 0x00001ffc) >> 2, - insn & 1); - - constant_value = (constant_value << (BFD_ARCH_SIZE-17)) - >> (BFD_ARCH_SIZE-17); - if (pcrel) + case R_PARISC_PCREL17C: + case R_PARISC_PCREL17F: + case R_PARISC_PCREL17R: + case R_PARISC_DIR17F: + case R_PARISC_DIR17R: + /* This is a branch. Divide the offset by four. + Note that we need to decide whether it's a branch or + otherwise by inspecting the reloc. Inspecting insn won't + work as insn might be from a .word directive. */ + value >>= 2; + break; + + default: + break; + } + + return hppa_rebuild_insn (insn, value, r_format); +} + +/* Actually perform a relocation as part of a final link. This can get + rather hairy when linker stubs are needed. */ + +static bfd_reloc_status_type +elf32_hppa_bfd_final_link_relocate (howto, input_bfd, input_section, + contents, offset, value, addend, + info, sym_sec, sym_name, h) + reloc_howto_type *howto; + bfd *input_bfd; + asection *input_section; + bfd_byte *contents; + bfd_vma offset; + bfd_vma value; + bfd_signed_vma addend; + struct bfd_link_info *info; + asection *sym_sec; + const char *sym_name; + struct elf_link_hash_entry *h; +{ + int insn; + unsigned int r_type = howto->type; + int r_format = howto->bitsize; + enum hppa_reloc_field_selector_type_alt r_field = e_fsel; + bfd_byte *hit_data = contents + offset; + bfd_vma location; + + if (r_type == R_PARISC_NONE) + return bfd_reloc_ok; + + insn = bfd_get_32 (input_bfd, hit_data); + + /* Find out where we are and where we're going. */ + location = (offset + + input_section->output_offset + + input_section->output_section->vma); + + switch (r_type) + { + case R_PARISC_PCREL21L: + case R_PARISC_PCREL17C: + case R_PARISC_PCREL17F: + case R_PARISC_PCREL17R: + case R_PARISC_PCREL14R: + /* Make it a pc relative offset. */ + value -= location; + break; + default: + break; + } + + switch (r_type) + { + case R_PARISC_DIR32: + case R_PARISC_DIR17F: + case R_PARISC_PCREL17C: + r_field = e_fsel; + break; + + case R_PARISC_DIR21L: + case R_PARISC_PCREL21L: + r_field = e_lrsel; + break; + + case R_PARISC_DIR17R: + case R_PARISC_PCREL17R: + case R_PARISC_DIR14R: + case R_PARISC_PCREL14R: + r_field = e_rrsel; + break; + + /* For all the DP relative relocations, we need to examine the symbol's + section. If it's a code section, then "data pointer relative" makes + no sense. In that case we don't adjust the "value", and for 21 bit + addil instructions, we change the source addend register from %dp to + %r0. */ + case R_PARISC_DPREL21L: + r_field = e_lrsel; + if (sym_sec != NULL) { - sym_value -= (address + input_sect->output_offset - + input_sect->output_section->vma); - sym_value = hppa_field_adjust (sym_value, -8, r_field); + if ((sym_sec->flags & SEC_CODE) != 0) + { + if ((insn & ((0x3f << 26) | (0x1f << 21))) + == (((int) OP_ADDIL << 26) | (27 << 21))) + { + insn &= ~ (0x1f << 21); + } + } + else + value -= elf32_hppa_hash_table (info)->global_value; } - else - sym_value = hppa_field_adjust (sym_value, constant_value, r_field); + break; + + case R_PARISC_DPREL14R: + r_field = e_rrsel; + if (sym_sec != NULL && (sym_sec->flags & SEC_CODE) == 0) + value -= elf32_hppa_hash_table (info)->global_value; + break; - return hppa_rebuild_insn (abfd, insn, sym_value >> 2, r_format); + case R_PARISC_DPREL14F: + r_field = e_fsel; + if (sym_sec != NULL && (sym_sec->flags & SEC_CODE) == 0) + value -= elf32_hppa_hash_table (info)->global_value; + break; - default: - if (opcode == 0) + case R_PARISC_PLABEL32: + r_field = e_fsel; + break; + + case R_PARISC_PLABEL21L: + r_field = e_lrsel; + break; + + case R_PARISC_PLABEL14R: + r_field = e_rrsel; + break; + + /* This case is separate as it may involve a lot more work + to deal with linker stubs. */ + case R_PARISC_PCREL17F: + r_field = e_fsel; + + /* bfd_link_hash_undefweak symbols have sym_sec == NULL. */ + if (sym_sec == NULL) + break; + + /* Any kind of linker stub needed? */ + /* bfd_vma value is unsigned, so this is testing for offsets + outside the range -0x40000 to +0x3ffff */ + if (value + addend - 8 + 0x40000 >= 0x80000) { - constant_value = HPPA_R_CONSTANT (r_addend); + struct bfd_hash_table *stub_hash_table; + struct elf32_hppa_stub_hash_entry *stub_entry; + char *stub_name; + + stub_name = elf32_hppa_stub_name (sym_name, sym_sec, + input_section, addend, h); + if (!stub_name) + { + (*_bfd_error_handler) ("%s: %s", + bfd_get_filename (input_bfd), + bfd_errmsg (bfd_get_error ())); + return bfd_reloc_notsupported; + } + + stub_hash_table = &elf32_hppa_hash_table (info)->stub_hash_table; - if (pcrel) - sym_value -= address; + stub_entry = elf32_hppa_stub_hash_lookup (stub_hash_table, + stub_name, + false, + false); + if (stub_entry == NULL) + { + (*_bfd_error_handler) + (_("%s: cannot find stub entry %s"), + bfd_get_filename (input_bfd), + stub_name); + free (stub_name); + return bfd_reloc_notsupported; + } + + /* Munge up the value and addend for elf32_hppa_relocate_insn. */ + value = (stub_entry->offset + + stub_entry->stub_sec->output_offset + + stub_entry->stub_sec->output_section->vma + - location); + addend = 0; + + if (value + addend - 8 + 0x40000 >= 0x80000) + { + (*_bfd_error_handler) + (_("%s: cannot reach stub %s, recompile with -ffunction-sections"), + bfd_get_filename (input_bfd), + stub_name); + free (stub_name); + return bfd_reloc_notsupported; + } - return hppa_field_adjust (sym_value, constant_value, r_field); + free (stub_name); } - else - abort (); + break; + + /* Something we don't know how to handle. */ + default: + return bfd_reloc_notsupported; } + + /* bfd_link_hash_undefweak symbols have sym_sec == NULL. */ + if (sym_sec == NULL) + { + BFD_ASSERT (h != NULL && h->root.type == bfd_link_hash_undefweak); + value = 0; + } + + insn = elf32_hppa_relocate_insn (insn, value, addend, + r_type, r_format, r_field); + + /* Update the instruction word. */ + bfd_put_32 (input_bfd, insn, hit_data); + return bfd_reloc_ok; } /* Relocate an HPPA ELF section. */ @@ -349,7 +553,7 @@ hppa_elf_relocate_insn (abfd, input_sect, insn, address, sym_value, static boolean elf32_hppa_relocate_section (output_bfd, info, input_bfd, input_section, contents, relocs, local_syms, local_sections) - bfd *output_bfd; + bfd *output_bfd ATTRIBUTE_UNUSED; struct bfd_link_info *info; bfd *input_bfd; asection *input_section; @@ -368,9 +572,9 @@ elf32_hppa_relocate_section (output_bfd, info, input_bfd, input_section, relend = relocs + input_section->reloc_count; for (; rel < relend; rel++) { - int r_type; + unsigned int r_type; reloc_howto_type *howto; - unsigned long r_symndx; + unsigned int r_symndx; struct elf_link_hash_entry *h; Elf_Internal_Sym *sym; asection *sym_sec; @@ -379,7 +583,7 @@ elf32_hppa_relocate_section (output_bfd, info, input_bfd, input_section, const char *sym_name; r_type = ELF32_R_TYPE (rel->r_info); - if (r_type < 0 || r_type >= (int) R_PARISC_UNIMPLEMENTED) + if (r_type >= (unsigned int) R_PARISC_UNIMPLEMENTED) { bfd_set_error (bfd_error_bad_value); return false; @@ -422,7 +626,7 @@ elf32_hppa_relocate_section (output_bfd, info, input_bfd, input_section, } else { - long indx; + int indx; indx = r_symndx - symtab_hdr->sh_info; h = elf_sym_hashes (input_bfd)[indx]; @@ -462,332 +666,87 @@ elf32_hppa_relocate_section (output_bfd, info, input_bfd, input_section, sym_name = bfd_section_name (input_bfd, sym_sec); } - r = elf32_hppa_bfd_final_link_relocate (howto, input_bfd, output_bfd, + r = elf32_hppa_bfd_final_link_relocate (howto, input_bfd, input_section, contents, rel->r_offset, relocation, rel->r_addend, info, sym_sec, - sym_name, h == NULL); + sym_name, h); - if (r != bfd_reloc_ok) + switch (r) { - switch (r) - { - /* This can happen for DP relative relocs if $global$ is - undefined. This is a panic situation so we don't try - to continue. */ - case bfd_reloc_undefined: - case bfd_reloc_notsupported: - if (!((*info->callbacks->undefined_symbol) - (info, "$global$", input_bfd, - input_section, rel->r_offset, true))) - return false; + case bfd_reloc_ok: + break; + + case bfd_reloc_undefined: + case bfd_reloc_notsupported: + (*_bfd_error_handler) + (_("%s: cannot handle relocation %s for %s at 0x%x in %s"), + bfd_get_filename (input_bfd), + howto->name, + sym_name, + rel->r_offset, + input_section->name); + return false; + + default: + case bfd_reloc_outofrange: + case bfd_reloc_overflow: + { + if (!((*info->callbacks->reloc_overflow) + (info, sym_name, howto->name, (bfd_vma) 0, + input_bfd, input_section, rel->r_offset))) return false; - case bfd_reloc_dangerous: - { - /* We use this return value to indicate that we performed - a "dangerous" relocation. This doesn't mean we did - the wrong thing, it just means there may be some cleanup - that needs to be done here. - - In particular we had to swap the last call insn and its - delay slot. If the delay slot insn needed a relocation, - then we'll need to adjust the next relocation entry's - offset to account for the fact that the insn moved. - - This hair wouldn't be necessary if we inserted stubs - between procedures and used a "bl" to get to the stub. */ - if (rel != relend) - { - Elf_Internal_Rela *next_rel = rel + 1; - - if (rel->r_offset + 4 == next_rel->r_offset) - next_rel->r_offset -= 4; - } - break; - } - default: - case bfd_reloc_outofrange: - case bfd_reloc_overflow: - { - if (!((*info->callbacks->reloc_overflow) - (info, sym_name, howto->name, (bfd_vma) 0, - input_bfd, input_section, rel->r_offset))) - return false; - } - break; - } + } + break; } } return true; } -/* Actually perform a relocation as part of a final link. This can get - rather hairy when linker stubs are needed. */ +/* Called after we have seen all the input files/sections, but before + final symbol resolution and section placement has been determined. -static bfd_reloc_status_type -elf32_hppa_bfd_final_link_relocate (howto, input_bfd, output_bfd, - input_section, contents, offset, value, - addend, info, sym_sec, sym_name, is_local) - reloc_howto_type *howto; - bfd *input_bfd; - bfd *output_bfd ATTRIBUTE_UNUSED; - asection *input_section; - bfd_byte *contents; - bfd_vma offset; - bfd_vma value; - bfd_vma addend; + We use this hook to (possibly) provide a value for __gp, then we + fall back to the generic ELF final link routine. */ + +boolean +elf32_hppa_final_link (abfd, info) + bfd *abfd; struct bfd_link_info *info; - asection *sym_sec; - const char *sym_name; - int is_local; { - unsigned long insn; - unsigned long r_type = howto->type; - unsigned long r_format = howto->bitsize; - unsigned long r_field = e_fsel; - bfd_byte *hit_data = contents + offset; - boolean r_pcrel = howto->pc_relative; - - insn = bfd_get_32 (input_bfd, hit_data); - - /* Make sure we have a value for $global$. FIXME isn't this effectively - just like the gp pointer on MIPS? Can we use those routines for this - purpose? */ - if (!elf32_hppa_hash_table (info)->global_sym_defined) + if (!info->relocateable) { struct elf_link_hash_entry *h; asection *sec; + bfd_vma gp_val; - h = elf_link_hash_lookup (elf_hash_table (info), "$global$", false, - false, false); - - /* If there isn't a $global$, then we're in deep trouble. */ - if (h == NULL) - return bfd_reloc_notsupported; - - /* If $global$ isn't a defined symbol, then we're still in deep - trouble. */ - if (h->root.type != bfd_link_hash_defined) - return bfd_reloc_undefined; - - sec = h->root.u.def.section; - elf32_hppa_hash_table (info)->global_value = (h->root.u.def.value - + sec->output_section->vma - + sec->output_offset); - elf32_hppa_hash_table (info)->global_sym_defined = 1; - } - - switch (r_type) - { - case R_PARISC_NONE: - break; - - case R_PARISC_DIR32: - case R_PARISC_DIR17F: - case R_PARISC_PCREL17C: - r_field = e_fsel; - goto do_basic_type_1; - case R_PARISC_DIR21L: - case R_PARISC_PCREL21L: - r_field = e_lrsel; - goto do_basic_type_1; - case R_PARISC_DIR17R: - case R_PARISC_PCREL17R: - case R_PARISC_DIR14R: - case R_PARISC_PCREL14R: - r_field = e_rrsel; - goto do_basic_type_1; + h = elf_link_hash_lookup (elf_hash_table (info), "$global$", + false, false, false); - /* For all the DP relative relocations, we need to examine the symbol's - section. If it's a code section, then "data pointer relative" makes - no sense. In that case we don't adjust the "value", and for 21 bit - addil instructions, we change the source addend register from %dp to - %r0. */ - case R_PARISC_DPREL21L: - r_field = e_lrsel; - if (sym_sec->flags & SEC_CODE) + if (h != NULL + && h->root.type == bfd_link_hash_defined) { - if ((insn & 0xfc000000) >> 26 == 0xa - && (insn & 0x03e00000) >> 21 == 0x1b) - insn &= ~0x03e00000; + gp_val = h->root.u.def.value; + sec = h->root.u.def.section; } else - value -= elf32_hppa_hash_table (info)->global_value; - goto do_basic_type_1; - case R_PARISC_DPREL14R: - r_field = e_rrsel; - if ((sym_sec->flags & SEC_CODE) == 0) - value -= elf32_hppa_hash_table (info)->global_value; - goto do_basic_type_1; - case R_PARISC_DPREL14F: - r_field = e_fsel; - if ((sym_sec->flags & SEC_CODE) == 0) - value -= elf32_hppa_hash_table (info)->global_value; - goto do_basic_type_1; - - /* These cases are separate as they may involve a lot more work - to deal with linker stubs. */ - case R_PARISC_PLABEL32: - case R_PARISC_PLABEL21L: - case R_PARISC_PLABEL14R: - case R_PARISC_PCREL17F: - { - bfd_vma location; - unsigned int len; - char *new_name, *stub_name; - - /* Get the field selector right. We'll need it in a minute. */ - if (r_type == R_PARISC_PCREL17F - || r_type == R_PARISC_PLABEL32) - r_field = e_fsel; - else if (r_type == R_PARISC_PLABEL21L) - r_field = e_lrsel; - else if (r_type == R_PARISC_PLABEL14R) - r_field = e_rrsel; - - /* Find out where we are and where we're going. */ - location = (offset + - input_section->output_offset + - input_section->output_section->vma); - - len = strlen (sym_name) + 1; - if (is_local) - len += 9; - new_name = bfd_malloc (len); - if (!new_name) - return bfd_reloc_notsupported; - strcpy (new_name, sym_name); - - /* Local symbols have unique IDs. */ - if (is_local) - sprintf (new_name + len - 10, "_%08x", (int)sym_sec); - - /* Any kind of linker stub needed? */ - if (((int)(value - location) > 0x3ffff) - || ((int)(value - location) < -0x40000)) - { - struct elf32_hppa_stub_hash_table *stub_hash_table; - struct elf32_hppa_stub_hash_entry *stub_hash; - asection *stub_section; - - /* Build a name for the stub. */ - - len = strlen (new_name); - len += 23; - stub_name = bfd_malloc (len); - if (!stub_name) - return bfd_reloc_notsupported; - elf32_hppa_name_of_stub (location, value, stub_name); - strcat (stub_name, new_name); - free (new_name); - - stub_hash_table = elf32_hppa_hash_table (info)->stub_hash_table; - - stub_hash - = elf32_hppa_stub_hash_lookup (stub_hash_table, stub_name, - false, false); - - /* We're done with that name. */ - free (stub_name); - - /* The stub BFD only has one section. */ - stub_section = stub_hash_table->stub_bfd->sections; - - if (stub_hash != NULL) - { - if (r_type == R_PARISC_PCREL17F) - { - unsigned long delay_insn; - unsigned int opcode, rtn_reg, ldo_target_reg, ldo_src_reg; - - /* We'll need to peek at the next insn. */ - delay_insn = bfd_get_32 (input_bfd, hit_data + 4); - opcode = get_opcode (delay_insn); - - /* We also need to know the return register for this - call. */ - rtn_reg = (insn & 0x03e00000) >> 21; - - ldo_src_reg = (delay_insn & 0x03e00000) >> 21; - ldo_target_reg = (delay_insn & 0x001f0000) >> 16; - - /* Munge up the value and other parameters for - hppa_elf_relocate_insn. */ - - value = (stub_hash->offset - + stub_section->output_offset - + stub_section->output_section->vma); - - r_format = 17; - r_field = e_fsel; - r_pcrel = 0; - addend = 0; - - /* We need to peek at the delay insn and determine if - we'll need to swap the branch and its delay insn. */ - if ((insn & 2) - || (opcode == LDO - && ldo_target_reg == rtn_reg) - || (delay_insn == 0x08000240)) - { - /* No need to swap the branch and its delay slot, but - we do need to make sure to jump past the return - pointer update in the stub. */ - value += 4; - - /* If the delay insn does a return pointer adjustment, - then we have to make sure it stays valid. */ - if (opcode == LDO - && ldo_target_reg == rtn_reg) - { - delay_insn &= 0xfc00ffff; - delay_insn |= ((31 << 21) | (31 << 16)); - bfd_put_32 (input_bfd, delay_insn, hit_data + 4); - } - /* Use a BLE to reach the stub. */ - insn = BLE_SR4_R0; - } - else - { - /* Wonderful, we have to swap the call insn and its - delay slot. */ - bfd_put_32 (input_bfd, delay_insn, hit_data); - /* Use a BLE,n to reach the stub. */ - insn = (BLE_SR4_R0 | 0x2); - bfd_put_32 (input_bfd, insn, hit_data + 4); - insn = hppa_elf_relocate_insn (input_bfd, - input_section, - insn, offset + 4, - value, addend, - r_format, r_field, - r_pcrel); - /* Update the instruction word. */ - bfd_put_32 (input_bfd, insn, hit_data + 4); - return bfd_reloc_dangerous; - } - } - else - return bfd_reloc_notsupported; - } - } - goto do_basic_type_1; - } - -do_basic_type_1: - insn = hppa_elf_relocate_insn (input_bfd, input_section, insn, - offset, value, addend, r_format, - r_field, r_pcrel); - break; + { + /* If $global$ isn't defined, we could make one up ourselves + from the start of .plt, .dlt, or .data For the time + being, just bomb. */ + (*info->callbacks->undefined_symbol) + (info, "$global$", abfd, NULL, 0, true); + return false; + } - /* Something we don't know how to handle. */ - default: - return bfd_reloc_notsupported; + elf32_hppa_hash_table (info)->global_value = (gp_val + + sec->output_section->vma + + sec->output_offset); } - /* Update the instruction word. */ - bfd_put_32 (input_bfd, insn, hit_data); - return (bfd_reloc_ok); + /* Invoke the standard linker. */ + return bfd_elf_bfd_final_link (abfd, info); } /* Undo the generic ELF code's subtraction of section->vma from the @@ -807,119 +766,105 @@ elf32_hppa_add_symbol_hook (abfd, info, sym, namep, flagsp, secp, valp) return true; } -/* Determine the name of the stub needed to perform a call assuming the - argument relocation bits for caller and callee are in CALLER and CALLEE - for a call from LOCATION to DESTINATION. Copy the name into STUB_NAME. */ - -static void -elf32_hppa_name_of_stub (location, destination, stub_name) - bfd_vma location ATTRIBUTE_UNUSED; - bfd_vma destination ATTRIBUTE_UNUSED; - char *stub_name; -{ - strcpy (stub_name, "_____long_branch_stub_"); -} - -/* Compute the size of the stub needed to call from LOCATION to DESTINATION - (a function named SYM_NAME), with argument relocation bits CALLER and - CALLEE. Return zero if no stub is needed to perform such a call. */ +/* Compute the size of the stub needed to call from INPUT_SEC (OFFSET) + to DESTINATION. Return zero if no stub is needed to perform such a + call. */ static unsigned int -elf32_hppa_size_of_stub (location, destination, sym_name) - bfd_vma location, destination; - const char *sym_name; +elf32_hppa_size_of_stub (input_sec, offset, destination) + asection *input_sec; + bfd_vma offset; + bfd_vma destination; { - /* Determine if a long branch stub is needed. */ - if (!(((int)(location - destination) > 0x3ffff) - || ((int)(location - destination) < -0x40000))) - return 0; - - if (!strncmp ("$$", sym_name, 2) - && strcmp ("$$dyncall", sym_name)) - return 12; - else - return 16; + bfd_vma location; + + /* Determine where the call point is. */ + location = (input_sec->output_offset + + input_sec->output_section->vma + + offset); + + /* Determine if a long branch stub is needed. parisc branch offsets + are relative to the second instruction past the branch, ie. +8 + bytes on from the branch instruction location. The offset is + signed, 17 bits wide, and counts in units of 4 bytes. + bfd_vma is unsigned, so this is testing for offsets outside the + range -0x40000 to +0x3ffff */ + if (destination - location - 8 + 0x40000 >= 0x80000) + return 8; + return 0; } /* Build one linker stub as defined by the stub hash table entry GEN_ENTRY. - IN_ARGS contains the stub BFD and link info pointers. */ + IN_ARG contains the link info pointer. */ + +#define LDIL_R1 0x20200000 /* ldil LR'XXX,%r1 */ +#define BE_SR4_R1 0xe0202002 /* be,n RR'XXX(%sr4,%r1) */ static boolean -elf32_hppa_build_one_stub (gen_entry, in_args) +elf32_hppa_build_one_stub (gen_entry, in_arg) struct bfd_hash_entry *gen_entry; - PTR in_args; + PTR in_arg; { - void **args = (void **)in_args; - bfd *stub_bfd = (bfd *)args[0]; - struct bfd_link_info *info = (struct bfd_link_info *)args[1]; - struct elf32_hppa_stub_hash_entry *entry; - struct elf32_hppa_stub_hash_table *stub_hash_table; + struct elf32_hppa_stub_hash_entry *stub_entry; + struct elf32_hppa_link_hash_table *hppa_link_hash; + asection *stub_sec; + bfd *stub_bfd; bfd_byte *loc; symvalue sym_value; - const char *sym_name; + int insn; + + /* Massage our args to the form they really have. */ + stub_entry = (struct elf32_hppa_stub_hash_entry *) gen_entry; + hppa_link_hash = (struct elf32_hppa_link_hash_table *) in_arg; - /* Initialize pointers to the stub hash table, the particular entry we - are building a stub for, and where (in memory) we should place the stub - instructions. */ - entry = (struct elf32_hppa_stub_hash_entry *)gen_entry; - stub_hash_table = elf32_hppa_hash_table(info)->stub_hash_table; - loc = stub_hash_table->location; + stub_sec = stub_entry->stub_sec; /* Make a note of the offset within the stubs for this entry. */ - entry->offset = stub_hash_table->offset; + stub_entry->offset = hppa_link_hash->offset[stub_sec->index]; + loc = stub_sec->contents + stub_entry->offset; - /* The symbol's name starts at offset 22. */ - sym_name = entry->root.string + 22; + sym_value = (stub_entry->target_value + + stub_entry->target_section->output_offset + + stub_entry->target_section->output_section->vma); - sym_value = (entry->target_value - + entry->target_section->output_offset - + entry->target_section->output_section->vma); + stub_bfd = stub_sec->owner; - if (1) - { - /* Create one of two variant long branch stubs. One for $$dyncall and - normal calls, the other for calls to millicode. */ - unsigned long insn; - int millicode_call = 0; - - if (!strncmp ("$$", sym_name, 2) && strcmp ("$$dyncall", sym_name)) - millicode_call = 1; - - /* First the return pointer adjustment. Depending on exact calling - sequence this instruction may be skipped. */ - bfd_put_32 (stub_bfd, LDO_M4_R31_R31, loc); - - /* The next two instructions are the long branch itself. A long branch - is formed with "ldil" loading the upper bits of the target address - into a register, then branching with "be" which adds in the lower bits. - Long branches to millicode nullify the delay slot of the "be". */ - insn = hppa_rebuild_insn (stub_bfd, LDIL_R1, - hppa_field_adjust (sym_value, 0, e_lrsel), 21); - bfd_put_32 (stub_bfd, insn, loc + 4); - insn = hppa_rebuild_insn (stub_bfd, BE_SR4_R1 | (millicode_call ? 2 : 0), - hppa_field_adjust (sym_value, 0, e_rrsel) >> 2, - 17); - bfd_put_32 (stub_bfd, insn, loc + 8); - - if (!millicode_call) - { - /* The sequence to call this stub places the return pointer into %r31, - the final target expects the return pointer in %r2, so copy the - return pointer into the proper register. */ - bfd_put_32 (stub_bfd, COPY_R31_R2, loc + 12); - - /* Update the location and offsets. */ - stub_hash_table->location += 16; - stub_hash_table->offset += 16; - } - else - { - /* Update the location and offsets. */ - stub_hash_table->location += 12; - stub_hash_table->offset += 12; - } + /* Create the long branch. A long branch is formed with "ldil" + loading the upper bits of the target address into a register, + then branching with "be" which adds in the lower bits. + The "be" has its delay slot nullified. */ + insn = hppa_rebuild_insn (LDIL_R1, + hppa_field_adjust (sym_value, 0, e_lrsel), + 21); + bfd_put_32 (stub_bfd, insn, loc); + + insn = hppa_rebuild_insn (BE_SR4_R1, + hppa_field_adjust (sym_value, 0, e_rrsel) >> 2, + 17); + bfd_put_32 (stub_bfd, insn, loc + 4); + + hppa_link_hash->offset[stub_sec->index] += 8; + + return true; +} + +/* As above, but don't actually build the stub. Just bump offset so + we know stub section sizes. */ + +static boolean +elf32_hppa_size_one_stub (gen_entry, in_arg) + struct bfd_hash_entry *gen_entry; + PTR in_arg; +{ + struct elf32_hppa_stub_hash_entry *stub_entry; + struct elf32_hppa_link_hash_table *hppa_link_hash; + + /* Massage our args to the form they really have. */ + stub_entry = (struct elf32_hppa_stub_hash_entry *) gen_entry; + hppa_link_hash = (struct elf32_hppa_link_hash_table *) in_arg; + + hppa_link_hash->offset[stub_entry->stub_sec->index] += 8; - } return true; } @@ -930,31 +875,32 @@ elf32_hppa_build_one_stub (gen_entry, in_args) table. This is called via hppaelf_finish in the linker. */ boolean -elf32_hppa_build_stubs (stub_bfd, info) +elf32_hppa_build_stubs (stub_bfd, link_info) bfd *stub_bfd; - struct bfd_link_info *info; + struct bfd_link_info *link_info; { - /* The stub BFD only has one section. */ - asection *stub_sec = stub_bfd->sections; - struct elf32_hppa_stub_hash_table *table; - unsigned int size; - void *args[2]; - - /* So we can pass both the BFD for the stubs and the link info - structure to the routine which actually builds stubs. */ - args[0] = stub_bfd; - args[1] = info; - - /* Allocate memory to hold the linker stubs. */ - size = bfd_section_size (stub_bfd, stub_sec); - stub_sec->contents = (unsigned char *) bfd_zalloc (stub_bfd, size); - if (stub_sec->contents == NULL) - return false; - table = elf32_hppa_hash_table(info)->stub_hash_table; - table->location = stub_sec->contents; + asection *stub_sec; + struct bfd_hash_table *table; + struct elf32_hppa_link_hash_table *hppa_link_hash; + + for (stub_sec = stub_bfd->sections; stub_sec; stub_sec = stub_sec->next) + { + unsigned int size; + + /* Allocate memory to hold the linker stubs. */ + size = bfd_section_size (stub_bfd, stub_sec); + stub_sec->contents = (unsigned char *) bfd_zalloc (stub_bfd, size); + if (stub_sec->contents == NULL && size != 0) + return false; + } /* Build the stubs as directed by the stub hash table. */ - elf32_hppa_stub_hash_traverse (table, elf32_hppa_build_one_stub, args); + hppa_link_hash = elf32_hppa_hash_table (link_info); + memset (hppa_link_hash->offset, 0, + stub_bfd->section_count * sizeof (bfd_vma)); + + table = &hppa_link_hash->stub_hash_table; + bfd_hash_traverse (table, elf32_hppa_build_one_stub, hppa_link_hash); return true; } @@ -964,345 +910,416 @@ elf32_hppa_build_stubs (stub_bfd, info) The basic idea here is to examine all the relocations looking for PC-relative calls to a target that is unreachable with a "bl" instruction or calls where the caller and callee disagree on the - location of their arguments or return value. */ + location of their arguments or return value. Currently, we don't + support elf arg relocs. */ boolean -elf32_hppa_size_stubs (stub_bfd, output_bfd, link_info) +elf32_hppa_size_stubs (stub_bfd, link_info, + add_stub_section, layout_sections_again) bfd *stub_bfd; - bfd *output_bfd ATTRIBUTE_UNUSED; struct bfd_link_info *link_info; + asection * (*add_stub_section) PARAMS ((const char *, asection *)); + void (*layout_sections_again) PARAMS ((void)); { bfd *input_bfd; - asection *section, *stub_sec = 0; - Elf_Internal_Shdr *symtab_hdr; + asection *section; Elf_Internal_Sym *local_syms, **all_local_syms; - unsigned int i, index, bfd_count = 0; - struct elf32_hppa_stub_hash_table *stub_hash_table = 0; - - /* Create and initialize the stub hash table. */ - stub_hash_table = ((struct elf32_hppa_stub_hash_table *) - bfd_malloc (sizeof (struct elf32_hppa_stub_hash_table))); - if (!stub_hash_table) - goto error_return; - - if (!elf32_hppa_stub_hash_table_init (stub_hash_table, stub_bfd, - elf32_hppa_stub_hash_newfunc)) - goto error_return; - - /* Attach the hash tables to the main hash table. */ - elf32_hppa_hash_table(link_info)->stub_hash_table = stub_hash_table; - - /* Count the number of input BFDs. */ - for (input_bfd = link_info->input_bfds; + asection **stub_section_created; + unsigned int i, indx, bfd_count, sec_count; + asection *stub_sec; + asection *first_init_sec = NULL; + asection *first_fini_sec = NULL; + struct elf32_hppa_link_hash_table *hppa_link_hash; + struct bfd_hash_table *stub_hash_table; + boolean stub_changed; + + /* Count the number of input BFDs and the total number of input sections. */ + for (input_bfd = link_info->input_bfds, bfd_count = 0, sec_count = 0; input_bfd != NULL; input_bfd = input_bfd->link_next) - bfd_count++; - - /* Magic as we know the stub bfd only has one section. */ - stub_sec = stub_bfd->sections; - - /* If generating a relocateable output file, then we don't - have to examine the relocs. */ - if (link_info->relocateable) { - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - return true; + bfd_count += 1; + sec_count += input_bfd->section_count; } - /* Now that we have argument location information for all the global - functions we can start looking for stubs. */ - for (input_bfd = link_info->input_bfds, index = 0; + stub_section_created + = (asection **) bfd_zmalloc (sizeof (asection *) * sec_count); + if (stub_section_created == NULL) + return false; + + /* We want to read in symbol extension records only once. To do this + we need to read in the local symbols in parallel and save them for + later use; so hold pointers to the local symbols in an array. */ + all_local_syms + = (Elf_Internal_Sym **) bfd_zmalloc (sizeof (Elf_Internal_Sym *) + * bfd_count); + if (all_local_syms == NULL) + goto error_ret_free_stub; + + /* Walk over all the input BFDs adding entries to the args hash table + for all the external functions. */ + for (input_bfd = link_info->input_bfds, indx = 0; input_bfd != NULL; - input_bfd = input_bfd->link_next, index++) + input_bfd = input_bfd->link_next, indx++) { + Elf_Internal_Shdr *symtab_hdr; + Elf_Internal_Sym *isym; + Elf32_External_Sym *ext_syms, *esym; + /* We'll need the symbol table in a second. */ symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; if (symtab_hdr->sh_info == 0) continue; - local_syms = all_local_syms[index]; + /* We need an array of the local symbols attached to the input bfd. + Unfortunately, we're going to have to read & swap them in. */ + local_syms = (Elf_Internal_Sym *) + bfd_malloc (symtab_hdr->sh_info * sizeof (Elf_Internal_Sym)); + if (local_syms == NULL) + { + goto error_ret_free_local; + } + all_local_syms[indx] = local_syms; + ext_syms = (Elf32_External_Sym *) + bfd_malloc (symtab_hdr->sh_info * sizeof (Elf32_External_Sym)); + if (ext_syms == NULL) + { + goto error_ret_free_local; + } + + if (bfd_seek (input_bfd, symtab_hdr->sh_offset, SEEK_SET) != 0 + || (bfd_read (ext_syms, 1, + (symtab_hdr->sh_info * sizeof (Elf32_External_Sym)), + input_bfd) + != (symtab_hdr->sh_info * sizeof (Elf32_External_Sym)))) + { + free (ext_syms); + goto error_ret_free_local; + } + + /* Swap the local symbols in. */ + isym = local_syms; + esym = ext_syms; + for (i = 0; i < symtab_hdr->sh_info; i++, esym++, isym++) + bfd_elf32_swap_symbol_in (input_bfd, esym, isym); + + /* Now we can free the external symbols. */ + free (ext_syms); + } + + stub_hash_table = &elf32_hppa_hash_table (link_info)->stub_hash_table; + + while (1) + { + stub_changed = 0; - /* Walk over each section attached to the input bfd. */ - for (section = input_bfd->sections; - section != NULL; - section = section->next) + /* Now that we have argument location information for all the + global functions we can start looking for stubs. */ + for (input_bfd = link_info->input_bfds, indx = 0, sec_count = 0; + input_bfd != NULL; + input_bfd = input_bfd->link_next, indx++) { - Elf_Internal_Shdr *input_rel_hdr; - Elf32_External_Rela *external_relocs, *erelaend, *erela; - Elf_Internal_Rela *internal_relocs, *irelaend, *irela; + Elf_Internal_Shdr *symtab_hdr; - /* If there aren't any relocs, then there's nothing to do. */ - if ((section->flags & SEC_RELOC) == 0 - || section->reloc_count == 0) + /* We'll need the symbol table in a second. */ + symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; + if (symtab_hdr->sh_info == 0) continue; - /* Allocate space for the external relocations. */ - external_relocs - = ((Elf32_External_Rela *) - bfd_malloc (section->reloc_count - * sizeof (Elf32_External_Rela))); - if (external_relocs == NULL) - { - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; - } + local_syms = all_local_syms[indx]; - /* Likewise for the internal relocations. */ - internal_relocs - = ((Elf_Internal_Rela *) - bfd_malloc (section->reloc_count * sizeof (Elf_Internal_Rela))); - if (internal_relocs == NULL) + /* Walk over each section attached to the input bfd. */ + for (section = input_bfd->sections; + section != NULL; + section = section->next, sec_count++) { - free (external_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; - } + Elf_Internal_Shdr *input_rel_hdr; + Elf32_External_Rela *external_relocs, *erelaend, *erela; + Elf_Internal_Rela *internal_relocs, *irelaend, *irela; - /* Read in the external relocs. */ - input_rel_hdr = &elf_section_data (section)->rel_hdr; - if (bfd_seek (input_bfd, input_rel_hdr->sh_offset, SEEK_SET) != 0 - || bfd_read (external_relocs, 1, input_rel_hdr->sh_size, - input_bfd) != input_rel_hdr->sh_size) - { - free (external_relocs); - free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; - } + /* If there aren't any relocs, then there's nothing to do. */ + if ((section->flags & SEC_RELOC) == 0 + || section->reloc_count == 0) + continue; - /* Swap in the relocs. */ - erela = external_relocs; - erelaend = erela + section->reloc_count; - irela = internal_relocs; - for (; erela < erelaend; erela++, irela++) - bfd_elf32_swap_reloca_in (input_bfd, erela, irela); + /* Allocate space for the external relocations. */ + external_relocs + = ((Elf32_External_Rela *) + bfd_malloc (section->reloc_count + * sizeof (Elf32_External_Rela))); + if (external_relocs == NULL) + { + goto error_ret_free_local; + } - /* We're done with the external relocs, free them. */ - free (external_relocs); + /* Likewise for the internal relocations. */ + internal_relocs = ((Elf_Internal_Rela *) + bfd_malloc (section->reloc_count + * sizeof (Elf_Internal_Rela))); + if (internal_relocs == NULL) + { + free (external_relocs); + goto error_ret_free_local; + } - /* Now examine each relocation. */ - irela = internal_relocs; - irelaend = irela + section->reloc_count; - for (; irela < irelaend; irela++) - { - long r_type, size_of_stub; - unsigned long r_index; - struct elf_link_hash_entry *hash; - struct elf32_hppa_stub_hash_entry *stub_hash; - Elf_Internal_Sym *sym; - asection *sym_sec; - const char *sym_name; - symvalue sym_value; - bfd_vma location, destination; - char *new_name = NULL; - - r_type = ELF32_R_TYPE (irela->r_info); - r_index = ELF32_R_SYM (irela->r_info); - - if (r_type < 0 || r_type >= (int) R_PARISC_UNIMPLEMENTED) + /* Read in the external relocs. */ + input_rel_hdr = &elf_section_data (section)->rel_hdr; + if (bfd_seek (input_bfd, input_rel_hdr->sh_offset, SEEK_SET) != 0 + || bfd_read (external_relocs, 1, + input_rel_hdr->sh_size, + input_bfd) != input_rel_hdr->sh_size) { - bfd_set_error (bfd_error_bad_value); + free (external_relocs); + error_ret_free_internal: free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; + goto error_ret_free_local; } - /* Only look for stubs on call instructions or plabel - references. */ - if (r_type != R_PARISC_PCREL17F - && r_type != R_PARISC_PLABEL32 - && r_type != R_PARISC_PLABEL21L - && r_type != R_PARISC_PLABEL14R) - continue; + /* Swap in the relocs. */ + erela = external_relocs; + erelaend = erela + section->reloc_count; + irela = internal_relocs; + for (; erela < erelaend; erela++, irela++) + bfd_elf32_swap_reloca_in (input_bfd, erela, irela); + + /* We're done with the external relocs, free them. */ + free (external_relocs); - /* Now determine the call target, its name, value, section - and argument relocation bits. */ - hash = NULL; - sym = NULL; - sym_sec = NULL; - if (r_index < symtab_hdr->sh_info) + /* Now examine each relocation. */ + irela = internal_relocs; + irelaend = irela + section->reloc_count; + for (; irela < irelaend; irela++) { - /* It's a local symbol. */ - Elf_Internal_Shdr *hdr; - - sym = local_syms + r_index; - hdr = elf_elfsections (input_bfd)[sym->st_shndx]; - sym_sec = hdr->bfd_section; - sym_name = bfd_elf_string_from_elf_section (input_bfd, - symtab_hdr->sh_link, - sym->st_name); - sym_value = (ELF_ST_TYPE (sym->st_info) == STT_SECTION - ? 0 : sym->st_value); - destination = (sym_value - + sym_sec->output_offset - + sym_sec->output_section->vma); - - /* Tack on an ID so we can uniquely identify this local - symbol in the stub or arg info hash tables. */ - new_name = bfd_malloc (strlen (sym_name) + 10); - if (new_name == 0) + unsigned int r_type, r_indx, size_of_stub; + struct elf32_hppa_stub_hash_entry *stub_entry; + asection *sym_sec; + const char *sym_name; + symvalue sym_value; + bfd_vma destination; + struct elf_link_hash_entry *hash; + char *stub_name; + + r_type = ELF32_R_TYPE (irela->r_info); + r_indx = ELF32_R_SYM (irela->r_info); + + if (r_type >= (unsigned int) R_PARISC_UNIMPLEMENTED) { - free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; + bfd_set_error (bfd_error_bad_value); + goto error_ret_free_internal; } - sprintf (new_name, "%s_%08x", sym_name, (int)sym_sec); - sym_name = new_name; - } - else - { - /* It's an external symbol. */ - long index; - index = r_index - symtab_hdr->sh_info; - hash = elf_sym_hashes (input_bfd)[index]; - if (hash->root.type == bfd_link_hash_defined - || hash->root.type == bfd_link_hash_defweak) + /* Only look for stubs on call instructions. */ + if (r_type != (unsigned int) R_PARISC_PCREL17F) + continue; + + /* Now determine the call target, its name, value, section + and argument relocation bits. */ + sym_sec = NULL; + hash = NULL; + if (r_indx < symtab_hdr->sh_info) { - sym_sec = hash->root.u.def.section; - sym_name = hash->root.root.string; - sym_value = hash->root.u.def.value; - destination = (sym_value + /* It's a local symbol. */ + Elf_Internal_Sym *sym; + Elf_Internal_Shdr *hdr; + + sym = local_syms + r_indx; + hdr = elf_elfsections (input_bfd)[sym->st_shndx]; + sym_sec = hdr->bfd_section; + sym_name = + bfd_elf_string_from_elf_section (input_bfd, + symtab_hdr->sh_link, + sym->st_name); + sym_value = (ELF_ST_TYPE (sym->st_info) == STT_SECTION + ? 0 : sym->st_value); + destination = (sym_value + irela->r_addend + sym_sec->output_offset + sym_sec->output_section->vma); } else { - bfd_set_error (bfd_error_bad_value); - free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; - } - } + /* It's an external symbol. */ + int e_indx; - /* Now determine where the call point is. */ - location = (section->output_offset - + section->output_section->vma - + irela->r_offset); - - /* We only care about the destination for PCREL function - calls (eg. we don't care for PLABELS). */ - if (r_type != R_PARISC_PCREL17F) - location = destination; - - /* Determine what (if any) linker stub is needed and its - size (in bytes). */ - size_of_stub = elf32_hppa_size_of_stub (location, - destination, - sym_name); - if (size_of_stub != 0) - { - char *stub_name; - unsigned int len; + e_indx = r_indx - symtab_hdr->sh_info; + hash = elf_sym_hashes (input_bfd)[e_indx]; - /* Get the name of this stub. */ - len = strlen (sym_name); - len += 23; + while (hash->root.type == bfd_link_hash_indirect + || hash->root.type == bfd_link_hash_warning) + hash = (struct elf_link_hash_entry *) + hash->root.u.i.link; - stub_name = bfd_malloc (len); - if (!stub_name) - { - /* Because sym_name was mallocd above for local - symbols. */ - if (r_index < symtab_hdr->sh_info) - free (new_name); - - free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; + if (hash->root.type == bfd_link_hash_undefined + || hash->root.type == bfd_link_hash_undefweak) + continue; + + if (hash->root.type == bfd_link_hash_defined + || hash->root.type == bfd_link_hash_defweak) + { + sym_sec = hash->root.u.def.section; + sym_name = hash->root.root.string; + sym_value = hash->root.u.def.value; + destination = (sym_value + irela->r_addend + + sym_sec->output_offset + + sym_sec->output_section->vma); + } + else + { + bfd_set_error (bfd_error_bad_value); + goto error_ret_free_internal; + } } - elf32_hppa_name_of_stub (location, destination, stub_name); - strcat (stub_name + 22, sym_name); - /* Because sym_name was malloced above for local symbols. */ - if (r_index < symtab_hdr->sh_info) - free (new_name); + /* Determine what (if any) linker stub is needed and its + size (in bytes). */ + size_of_stub = elf32_hppa_size_of_stub (section, + irela->r_offset, + destination); + if (size_of_stub == 0) + continue; + + /* Get the name of this stub. */ + stub_name = elf32_hppa_stub_name (sym_name, + sym_sec, + section, + irela->r_addend, + hash); + if (!stub_name) + goto error_ret_free_internal; - stub_hash - = elf32_hppa_stub_hash_lookup (stub_hash_table, stub_name, - false, false); - if (stub_hash != NULL) + stub_entry = elf32_hppa_stub_hash_lookup (stub_hash_table, + stub_name, + false, + false); + if (stub_entry != NULL) { - /* The proper stub has already been created, nothing - else to do. */ + /* The proper stub has already been created. */ free (stub_name); + continue; } - else + + stub_sec = stub_section_created[sec_count]; + if (stub_sec == NULL) { - bfd_set_section_size (stub_bfd, stub_sec, - (bfd_section_size (stub_bfd, - stub_sec) - + size_of_stub)); - - /* Enter this entry into the linker stub hash table. */ - stub_hash - = elf32_hppa_stub_hash_lookup (stub_hash_table, - stub_name, true, true); - if (stub_hash == NULL) + char *s_name; + int nstub; + int special_sec = 0; + + /* We only want one stub for .init and .fini + because glibc splits the _init and _fini + functions into two parts. We don't want to + put a stub in the middle of a function. */ + if (strncmp (section->name, ".init", 5) == 0) + { + stub_sec = first_init_sec; + special_sec = 1; + } + else if (strncmp (section->name, ".fini", 5) == 0) + { + stub_sec = first_fini_sec; + special_sec = 2; + } + if (stub_sec == NULL) { - free (stub_name); - free (internal_relocs); - for (i = 0; i < bfd_count; i++) - if (all_local_syms[i]) - free (all_local_syms[i]); - free (all_local_syms); - goto error_return; + s_name = bfd_alloc (stub_bfd, 16); + if (s_name == NULL) + { + free (stub_name); + goto error_ret_free_internal; + } + nstub = stub_bfd->section_count; + sprintf (s_name, ".stub_%x", nstub); + stub_sec = (*add_stub_section) (s_name, section); + if (stub_sec == NULL) + { + free (stub_name); + goto error_ret_free_internal; + } + if (special_sec != 0) + { + if (special_sec == 1) + first_init_sec = stub_sec; + else + first_fini_sec = stub_sec; + } } + stub_section_created[sec_count] = stub_sec; + } - /* We'll need these to determine the address that the - stub will branch to. */ - stub_hash->target_value = sym_value; - stub_hash->target_section = sym_sec; + /* Enter this entry into the linker stub + hash table. */ + stub_entry = elf32_hppa_stub_hash_lookup (stub_hash_table, + stub_name, + true, + false); + if (stub_entry == NULL) + { + (*_bfd_error_handler) + (_("%s: cannot find stub entry %s"), + bfd_get_filename (section->owner), + stub_name); + free (stub_name); + goto error_ret_free_internal; } - free (stub_name); + + /* We'll need these to determine the address + that the stub will branch to. */ + stub_entry->stub_sec = stub_sec; + stub_entry->offset = 0; + stub_entry->target_value = sym_value; + stub_entry->target_section = sym_sec; + stub_changed = 1; } + /* We're done with the internal relocs, free them. */ + free (internal_relocs); } - /* We're done with the internal relocs, free them. */ - free (internal_relocs); } + + if (!stub_changed) + break; + + /* OK, we've added some stubs. Find out the new size of the + stub sections. */ + hppa_link_hash = elf32_hppa_hash_table (link_info); + hppa_link_hash->offset = (bfd_vma *) + bfd_realloc (hppa_link_hash->offset, + stub_bfd->section_count * sizeof (bfd_vma)); + if (hppa_link_hash->offset == NULL) + goto error_ret_free_local; + + memset (hppa_link_hash->offset, 0, + stub_bfd->section_count * sizeof (bfd_vma)); + + bfd_hash_traverse (stub_hash_table, + elf32_hppa_size_one_stub, + hppa_link_hash); + + for (stub_sec = stub_bfd->sections; + stub_sec != NULL; + stub_sec = stub_sec->next) + { + bfd_set_section_size (stub_bfd, stub_sec, + hppa_link_hash->offset[stub_sec->index]); + } + /* Ask the linker to do its stuff. */ + (*layout_sections_again) (); } + /* We're done with the local symbols, free them. */ for (i = 0; i < bfd_count; i++) if (all_local_syms[i]) free (all_local_syms[i]); free (all_local_syms); + free (stub_section_created); return true; -error_return: - /* Return gracefully, avoiding dangling references to the hash tables. */ - if (stub_hash_table) - { - elf32_hppa_hash_table(link_info)->stub_hash_table = NULL; - free (stub_hash_table); - } - /* Set the size of the stub section to zero since we're never going - to create them. Avoids losing when we try to get its contents - too. */ - bfd_set_section_size (stub_bfd, stub_sec, 0); + error_ret_free_local: + for (i = 0; i < bfd_count; i++) + if (all_local_syms[i]) + free (all_local_syms[i]); + free (all_local_syms); + + error_ret_free_stub: + free (stub_section_created); return false; } @@ -1315,6 +1332,10 @@ error_return: /* Stuff for the BFD linker. */ #define elf_backend_relocate_section elf32_hppa_relocate_section #define elf_backend_add_symbol_hook elf32_hppa_add_symbol_hook +#define bfd_elf32_bfd_final_link elf32_hppa_final_link +#if 0 +#define elf_backend_check_relocs elf32_hppa_check_relocs +#endif #define bfd_elf32_bfd_link_hash_table_create \ elf32_hppa_link_hash_table_create #define elf_backend_fake_sections elf_hppa_fake_sections |