/* CRIS-specific support for 32-bit ELF.
- Copyright 2000 Free Software Foundation, Inc.
+ Copyright 2000, 2001 Free Software Foundation, Inc.
Contributed by Axis Communications AB.
Written by Hans-Peter Nilsson, based on elf32-fr30.c
+ PIC and shlib bits based primarily on elf32-m68k.c and elf32-i386.c.
This file is part of BFD, the Binary File Descriptor library.
static boolean cris_elf_merge_private_bfd_data PARAMS ((bfd *, bfd *));
+struct elf_cris_link_hash_entry;
+static boolean elf_cris_discard_copies
+ PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static boolean elf_cris_adjust_gotplt_to_got
+ PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static boolean elf_cris_try_fold_plt_to_got
+ PARAMS ((struct elf_cris_link_hash_entry *, PTR));
+static struct bfd_hash_entry *elf_cris_link_hash_newfunc
+ PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *));
+static struct bfd_link_hash_table *elf_cris_link_hash_table_create
+ PARAMS ((bfd *));
+static boolean elf_cris_adjust_dynamic_symbol
+ PARAMS ((struct bfd_link_info *, struct elf_link_hash_entry *));
+static boolean elf_cris_size_dynamic_sections
+ PARAMS ((bfd *, struct bfd_link_info *));
+static boolean elf_cris_finish_dynamic_symbol
+ PARAMS ((bfd *, struct bfd_link_info *, struct elf_link_hash_entry *,
+ Elf_Internal_Sym *));
+static boolean elf_cris_finish_dynamic_sections
+ PARAMS ((bfd *, struct bfd_link_info *));
+static void elf_cris_hide_symbol
+ PARAMS ((struct bfd_link_info *, struct elf_link_hash_entry *));
+
static reloc_howto_type cris_elf_howto_table [] =
{
/* This reloc does nothing. */
0xffffffff, /* dst_mask */
false), /* pcrel_offset */
- /* An 8 bit absolute relocation. */
+ /* An 8 bit PC-relative relocation. */
HOWTO (R_CRIS_8_PCREL, /* type */
0, /* rightshift */
0, /* size (0 = byte, 1 = short, 2 = long) */
false, /* partial_inplace */
0x0000, /* src_mask */
0x00ff, /* dst_mask */
- false), /* pcrel_offset */
+ true), /* pcrel_offset */
- /* A 16 bit absolute relocation. */
+ /* A 16 bit PC-relative relocation. */
HOWTO (R_CRIS_16_PCREL, /* type */
0, /* rightshift */
1, /* size (0 = byte, 1 = short, 2 = long) */
false, /* partial_inplace */
0x00000000, /* src_mask */
0x0000ffff, /* dst_mask */
- false), /* pcrel_offset */
+ true), /* pcrel_offset */
- /* A 32 bit absolute relocation. */
+ /* A 32 bit PC-relative relocation. */
HOWTO (R_CRIS_32_PCREL, /* type */
0, /* rightshift */
2, /* size (0 = byte, 1 = short, 2 = long) */
false, /* partial_inplace */
0x00000000, /* src_mask */
0xffffffff, /* dst_mask */
- false), /* pcrel_offset */
+ true), /* pcrel_offset */
- /* GNU extension to record C++ vtable hierarchy */
- HOWTO (R_CRIS_GNU_VTINHERIT, /* type */
+ /* GNU extension to record C++ vtable hierarchy. */
+ HOWTO (R_CRIS_GNU_VTINHERIT, /* type */
0, /* rightshift */
2, /* size (0 = byte, 1 = short, 2 = long) */
0, /* bitsize */
0, /* dst_mask */
false), /* pcrel_offset */
- /* GNU extension to record C++ vtable member usage */
- HOWTO (R_CRIS_GNU_VTENTRY, /* type */
+ /* GNU extension to record C++ vtable member usage. */
+ HOWTO (R_CRIS_GNU_VTENTRY, /* type */
0, /* rightshift */
2, /* size (0 = byte, 1 = short, 2 = long) */
0, /* bitsize */
false, /* partial_inplace */
0, /* src_mask */
0, /* dst_mask */
- false) /* pcrel_offset */
+ false), /* pcrel_offset */
+
+ /* This is used only by the dynamic linker. The symbol should exist
+ both in the object being run and in some shared library. The
+ dynamic linker copies the data addressed by the symbol from the
+ shared library into the object, because the object being
+ run has to have the data at some particular address. */
+ HOWTO (R_CRIS_COPY, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_COPY", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* Like R_CRIS_32, but used when setting global offset table entries. */
+ HOWTO (R_CRIS_GLOB_DAT, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_GLOB_DAT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* Marks a procedure linkage table entry for a symbol. */
+ HOWTO (R_CRIS_JUMP_SLOT, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_JUMP_SLOT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* Used only by the dynamic linker. When the object is run, this
+ longword is set to the load address of the object, plus the
+ addend. */
+ HOWTO (R_CRIS_RELATIVE, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_RELATIVE", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* Like R_CRIS_32, but referring to the GOT table entry for the symbol. */
+ HOWTO (R_CRIS_16_GOT, /* type */
+ 0, /* rightshift */
+ 1, /* size (0 = byte, 1 = short, 2 = long) */
+ 16, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_16_GOT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ HOWTO (R_CRIS_32_GOT, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_32_GOT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* Like R_CRIS_32_GOT, but referring to (and requesting a) PLT part of
+ the GOT table for the symbol. */
+ HOWTO (R_CRIS_16_GOTPLT, /* type */
+ 0, /* rightshift */
+ 1, /* size (0 = byte, 1 = short, 2 = long) */
+ 16, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_16_GOTPLT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ HOWTO (R_CRIS_32_GOTPLT, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_32_GOTPLT", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* A 32-bit offset from GOT to (local const) symbol: no GOT entry should
+ be necessary. */
+ HOWTO (R_CRIS_32_GOTREL, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_32_GOTREL", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* A 32-bit offset from GOT to entry for this symbol in PLT and request
+ to create PLT entry for symbol. */
+ HOWTO (R_CRIS_32_PLT_GOTREL, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ false, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_32_PLT_GOTREL", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ false), /* pcrel_offset */
+
+ /* A 32-bit offset from PC (location after the relocation) + addend to
+ entry for this symbol in PLT and request to create PLT entry for
+ symbol. */
+ HOWTO (R_CRIS_32_PLT_PCREL, /* type */
+ 0, /* rightshift */
+ 2, /* size (0 = byte, 1 = short, 2 = long) */
+ 32, /* bitsize */
+ true, /* pc_relative */
+ 0, /* bitpos */
+ complain_overflow_bitfield, /* complain_on_overflow */
+ bfd_elf_generic_reloc, /* special_function */
+ "R_CRIS_32_PLT_PCREL", /* name */
+ false, /* partial_inplace */
+ 0, /* src_mask */
+ 0xffffffff, /* dst_mask */
+ true) /* pcrel_offset */
};
\f
/* Map BFD reloc types to CRIS ELF reloc types. */
{ BFD_RELOC_16_PCREL, R_CRIS_16_PCREL },
{ BFD_RELOC_32_PCREL, R_CRIS_32_PCREL },
{ BFD_RELOC_VTABLE_INHERIT, R_CRIS_GNU_VTINHERIT },
- { BFD_RELOC_VTABLE_ENTRY, R_CRIS_GNU_VTENTRY }
+ { BFD_RELOC_VTABLE_ENTRY, R_CRIS_GNU_VTENTRY },
+ { BFD_RELOC_CRIS_COPY, R_CRIS_COPY },
+ { BFD_RELOC_CRIS_GLOB_DAT, R_CRIS_GLOB_DAT },
+ { BFD_RELOC_CRIS_JUMP_SLOT, R_CRIS_JUMP_SLOT },
+ { BFD_RELOC_CRIS_RELATIVE, R_CRIS_RELATIVE },
+ { BFD_RELOC_CRIS_16_GOT, R_CRIS_16_GOT },
+ { BFD_RELOC_CRIS_32_GOT, R_CRIS_32_GOT },
+ { BFD_RELOC_CRIS_16_GOTPLT, R_CRIS_16_GOTPLT },
+ { BFD_RELOC_CRIS_32_GOTPLT, R_CRIS_32_GOTPLT },
+ { BFD_RELOC_CRIS_32_GOTREL, R_CRIS_32_GOTREL },
+ { BFD_RELOC_CRIS_32_PLT_GOTREL, R_CRIS_32_PLT_GOTREL },
+ { BFD_RELOC_CRIS_32_PLT_PCREL, R_CRIS_32_PLT_PCREL }
};
static reloc_howto_type *
cache_ptr->howto = & cris_elf_howto_table [r_type];
}
\f
+/* The name of the dynamic interpreter. This is put in the .interp
+ section. */
+
+#define ELF_DYNAMIC_INTERPRETER "/lib/ld.so.1"
+
+/* The size in bytes of an entry in the procedure linkage table. */
+
+#define PLT_ENTRY_SIZE 20
+
+/* The first entry in an absolute procedure linkage table looks like this. */
+
+static const bfd_byte elf_cris_plt0_entry[PLT_ENTRY_SIZE] =
+{
+ 0xfc, 0xe1,
+ 0x7e, 0x7e, /* push mof. */
+ 0x7f, 0x0d, /* (dip [pc+]) */
+ 0, 0, 0, 0, /* Replaced with address of .got + 4. */
+ 0x30, 0x7a, /* move [...],mof */
+ 0x7f, 0x0d, /* (dip [pc+]) */
+ 0, 0, 0, 0, /* Replaced with address of .got + 8. */
+ 0x30, 0x09, /* jump [...] */
+};
+
+/* Subsequent entries in an absolute procedure linkage table look like
+ this. */
+
+static const bfd_byte elf_cris_plt_entry[PLT_ENTRY_SIZE] =
+{
+ 0x7f, 0x0d, /* (dip [pc+]) */
+ 0, 0, 0, 0, /* Replaced with address of this symbol in .got. */
+ 0x30, 0x09, /* jump [...] */
+ 0x3f, 0x7e, /* move [pc+],mof */
+ 0, 0, 0, 0, /* Replaced with offset into relocation table. */
+ 0x2f, 0xfe, /* add.d [pc+],pc */
+ 0xec, 0xff,
+ 0xff, 0xff /* Replaced with offset to start of .plt. */
+};
+
+/* The first entry in a PIC procedure linkage table looks like this. */
+
+static const bfd_byte elf_cris_pic_plt0_entry[PLT_ENTRY_SIZE] =
+{
+ 0xfc, 0xe1, 0x7e, 0x7e, /* push mof */
+ 0x04, 0x01, 0x30, 0x7a, /* move [r0+4],mof */
+ 0x08, 0x01, 0x30, 0x09, /* jump [r0+8] */
+ 0, 0, 0, 0, 0, 0, 0, 0, /* Pad out to 20 bytes. */
+};
+
+/* Subsequent entries in a PIC procedure linkage table look like this. */
+
+static const bfd_byte elf_cris_pic_plt_entry[PLT_ENTRY_SIZE] =
+{
+ 0x6f, 0x0d, /* (bdap [pc+].d,r0) */
+ 0, 0, 0, 0, /* Replaced with offset of this symbol in .got. */
+ 0x30, 0x09, /* jump [...] */
+ 0x3f, 0x7e, /* move [pc+],mof */
+ 0, 0, 0, 0, /* Replaced with offset into relocation table. */
+ 0x2f, 0xfe, /* add.d [pc+],pc */
+ 0xec, 0xff, /* Replaced with offset to start of .plt. */
+ 0xff, 0xff
+};
+\f
+/* We copy elf32-m68k.c and elf32-i386.c for the basic linker hash bits
+ (and most other PIC/shlib stuff). Check that we don't drift away
+ without reason.
+
+ The CRIS linker, like the m68k and i386 linkers (and probably the rest
+ too) needs to keep track of the number of relocs that it decides to
+ copy in check_relocs for each symbol. This is so that it can discard
+ PC relative relocs if it doesn't need them when linking with
+ -Bsymbolic. We store the information in a field extending the regular
+ ELF linker hash table. */
+
+/* This structure keeps track of the number of PC relative relocs we have
+ copied for a given symbol. */
+
+struct elf_cris_pcrel_relocs_copied
+{
+ /* Next section. */
+ struct elf_cris_pcrel_relocs_copied *next;
+ /* A section in dynobj. */
+ asection *section;
+ /* Number of relocs copied in this section. */
+ bfd_size_type count;
+};
+
+/* CRIS ELF linker hash entry. */
+
+struct elf_cris_link_hash_entry
+{
+ struct elf_link_hash_entry root;
+
+ /* Number of PC relative relocs copied for this symbol. */
+ struct elf_cris_pcrel_relocs_copied *pcrel_relocs_copied;
+
+ /* The GOTPLT references are CRIS-specific; the goal is to avoid having
+ both a general GOT and a PLT-specific GOT entry for the same symbol,
+ when it is referenced both as a function and as a function pointer.
+
+ Number of GOTPLT references for a function. */
+ bfd_signed_vma gotplt_refcount;
+
+ /* Actual GOTPLT index for this symbol, if applicable, or zero if not
+ (zero is never used as an index). FIXME: We should be able to fold
+ this with gotplt_refcount in a union, like the got and plt unions in
+ elf_link_hash_entry. */
+ bfd_size_type gotplt_offset;
+};
+
+/* CRIS ELF linker hash table. */
+
+struct elf_cris_link_hash_table
+{
+ struct elf_link_hash_table root;
+
+ /* We can't use the PLT offset and calculate to get the GOTPLT offset,
+ since we try and avoid creating GOTPLT:s when there's already a GOT.
+ Instead, we keep and update the next available index here. */
+ bfd_size_type next_gotplt_entry;
+};
+
+/* Traverse a CRIS ELF linker hash table. */
+
+#define elf_cris_link_hash_traverse(table, func, info) \
+ (elf_link_hash_traverse \
+ (&(table)->root, \
+ (boolean (*) PARAMS ((struct elf_link_hash_entry *, PTR))) (func), \
+ (info)))
+
+/* Get the CRIS ELF linker hash table from a link_info structure. */
+
+#define elf_cris_hash_table(p) \
+ ((struct elf_cris_link_hash_table *) (p)->hash)
+
+/* Create an entry in a CRIS ELF linker hash table. */
+
+static struct bfd_hash_entry *
+elf_cris_link_hash_newfunc (entry, table, string)
+ struct bfd_hash_entry *entry;
+ struct bfd_hash_table *table;
+ const char *string;
+{
+ struct elf_cris_link_hash_entry *ret =
+ (struct elf_cris_link_hash_entry *) entry;
+
+ /* Allocate the structure if it has not already been allocated by a
+ subclass. */
+ if (ret == (struct elf_cris_link_hash_entry *) NULL)
+ ret = ((struct elf_cris_link_hash_entry *)
+ bfd_hash_allocate (table,
+ sizeof (struct elf_cris_link_hash_entry)));
+ if (ret == (struct elf_cris_link_hash_entry *) NULL)
+ return (struct bfd_hash_entry *) ret;
+
+ /* Call the allocation method of the superclass. */
+ ret = ((struct elf_cris_link_hash_entry *)
+ _bfd_elf_link_hash_newfunc ((struct bfd_hash_entry *) ret,
+ table, string));
+ if (ret != (struct elf_cris_link_hash_entry *) NULL)
+ {
+ ret->pcrel_relocs_copied = NULL;
+ ret->gotplt_refcount = 0;
+ ret->gotplt_offset = 0;
+ }
+
+ return (struct bfd_hash_entry *) ret;
+}
+
+/* Create a CRIS ELF linker hash table. */
+
+static struct bfd_link_hash_table *
+elf_cris_link_hash_table_create (abfd)
+ bfd *abfd;
+{
+ struct elf_cris_link_hash_table *ret;
+
+ ret = ((struct elf_cris_link_hash_table *)
+ bfd_alloc (abfd, sizeof (struct elf_cris_link_hash_table)));
+ if (ret == (struct elf_cris_link_hash_table *) NULL)
+ return NULL;
+
+ if (! _bfd_elf_link_hash_table_init (&ret->root, abfd,
+ elf_cris_link_hash_newfunc))
+ {
+ bfd_release (abfd, ret);
+ return NULL;
+ }
+
+ /* Initialize to skip over the first three entries in the gotplt; they
+ are used for run-time symbol evaluation. */
+ ret->next_gotplt_entry = 12;
+
+ return &ret->root.root;
+}
+\f
/* Perform a single relocation. By default we use the standard BFD
- routines, but we might have to do a few relocs ourselves in the future. */
+ routines, with a few tweaks. */
static bfd_reloc_status_type
cris_final_link_relocate (howto, input_bfd, input_section, contents, rel,
Elf_Internal_Rela * rel;
bfd_vma relocation;
{
- bfd_reloc_status_type r
- = _bfd_final_link_relocate (howto, input_bfd, input_section,
+ bfd_reloc_status_type r;
+
+ /* PC-relative relocations are relative to the position *after*
+ the reloc. Note that for R_CRIS_8_PCREL the adjustment is
+ not a single byte, since PC must be 16-bit-aligned. */
+ switch (ELF32_R_TYPE (rel->r_info))
+ {
+ /* Check that the 16-bit GOT relocs are positive. */
+ case R_CRIS_16_GOTPLT:
+ case R_CRIS_16_GOT:
+ if ((bfd_signed_vma) relocation < 0)
+ return bfd_reloc_overflow;
+ break;
+
+ case R_CRIS_32_PLT_PCREL:
+ case R_CRIS_32_PCREL:
+ relocation -= 2;
+ /* Fall through. */
+ case R_CRIS_8_PCREL:
+ case R_CRIS_16_PCREL:
+ relocation -= 2;
+ break;
+
+ default:
+ break;
+ }
+
+ r = _bfd_final_link_relocate (howto, input_bfd, input_section,
contents, rel->r_offset,
relocation, rel->r_addend);
return r;
Elf_Internal_Sym * local_syms;
asection ** local_sections;
{
+ bfd *dynobj;
Elf_Internal_Shdr * symtab_hdr;
struct elf_link_hash_entry ** sym_hashes;
+ bfd_vma *local_got_offsets;
+ asection *sgot;
+ asection *splt;
+ asection *sreloc;
Elf_Internal_Rela * rel;
Elf_Internal_Rela * relend;
+ dynobj = elf_hash_table (info)->dynobj;
+ local_got_offsets = elf_local_got_offsets (input_bfd);
symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
sym_hashes = elf_sym_hashes (input_bfd);
relend = relocs + input_section->reloc_count;
if (sym_hashes == NULL)
return false;
+ sgot = NULL;
+ splt = NULL;
+ sreloc = NULL;
+
+ if (dynobj != NULL)
+ {
+ splt = bfd_get_section_by_name (dynobj, ".plt");
+ sgot = bfd_get_section_by_name (dynobj, ".got");
+ }
+
for (rel = relocs; rel < relend; rel ++)
{
reloc_howto_type * howto;
}
/* This is a final link. */
- howto = cris_elf_howto_table + ELF32_R_TYPE (rel->r_info);
+ howto = cris_elf_howto_table + r_type;
h = NULL;
sym = NULL;
sec = NULL;
name = bfd_elf_string_from_elf_section
(input_bfd, symtab_hdr->sh_link, sym->st_name);
name = (name == NULL) ? bfd_section_name (input_bfd, sec) : name;
-#if 0
- fprintf (stderr, "local: sec: %s, sym: %s (%d), value: %x + %x + %x addend %x\n",
- sec->name, name, sym->st_name,
- sec->output_section->vma, sec->output_offset,
- sym->st_value, rel->r_addend);
-#endif
}
else
{
|| h->root.type == bfd_link_hash_defweak)
{
sec = h->root.u.def.section;
- relocation = (h->root.u.def.value
- + sec->output_section->vma
- + sec->output_offset);
-#if 0
- fprintf (stderr,
- "defined: sec: %s, name: %s, value: %x + %x + %x gives: %x\n",
- sec->name, name, h->root.u.def.value,
- sec->output_section->vma, sec->output_offset, relocation);
-#endif
+
+ /* Perhaps we should detect the cases that
+ sec->output_section is expected to be NULL like i386 and
+ m68k, but apparently (and according to elfxx-ia64.c) all
+ valid cases are where the symbol is defined in a shared
+ object which we link dynamically against. This includes
+ PLT relocs for which we've created a PLT entry and other
+ relocs for which we're prepared to create dynamic
+ relocations.
+
+ For now, new situations cause us to just err when
+ sec->output_offset is NULL but the object with the symbol
+ is *not* dynamically linked against. Thus this will
+ automatically remind us so we can see if there are other
+ valid cases we need to revisit. */
+ if ((sec->output_section == NULL
+ && (sec->owner->flags & DYNAMIC) != 0)
+
+ /* Here follow the cases where the relocation value must
+ be zero (or when further handling is simplified when
+ zero). I can't claim to understand the various
+ conditions and they weren't described in the files
+ where I copied them from (elf32-m68k.c and
+ elf32-i386.c), but let's mention examples of where
+ they happen. FIXME: Perhaps define and use a
+ dynamic_symbol_p function like ia64.
+
+ - When creating a shared library, we can have an
+ ordinary relocation for a symbol defined in a shared
+ library (perhaps the one we create). We then make
+ the relocation value zero, as the value seen now will
+ be added into the relocation addend in this shared
+ library, but must be handled only at dynamic-link
+ time. FIXME: Not sure this example covers the
+ h->elf_link_hash_flags test, though it's there in
+ other targets. */
+ || (info->shared
+ && ((! info->symbolic && h->dynindx != -1)
+ || (h->elf_link_hash_flags
+ & ELF_LINK_HASH_DEF_REGULAR) == 0)
+ && (input_section->flags & SEC_ALLOC) != 0
+ && (r_type == R_CRIS_8
+ || r_type == R_CRIS_16
+ || r_type == R_CRIS_32
+ || r_type == R_CRIS_8_PCREL
+ || r_type == R_CRIS_16_PCREL
+ || r_type == R_CRIS_32_PCREL)))
+ relocation = 0;
+ else if (sec->output_section != NULL)
+ relocation = (h->root.u.def.value
+ + sec->output_section->vma
+ + sec->output_offset);
+ else
+ {
+ if (input_bfd->my_archive)
+ (*_bfd_error_handler)
+ (_("%s(%s): unresolvable relocation %s against symbol `%s' from %s section"),
+ bfd_get_filename (bfd_my_archive (input_bfd)),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ name,
+ bfd_get_section_name (input_bfd, input_section));
+ else
+ (*_bfd_error_handler)
+ (_("%s: unresolvable relocation %s against symbol `%s' from %s section"),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ name,
+ bfd_get_section_name (input_bfd, input_section));
+ bfd_set_error (bfd_error_bad_value);
+ return false;
+ }
}
else if (h->root.type == bfd_link_hash_undefweak)
- {
-#if 0
- fprintf (stderr, "undefined: sec: %s, name: %s\n",
- sec->name, name);
-#endif
- relocation = 0;
- }
+ relocation = 0;
else if (info->shared
+ && !info->symbolic
+ && !info->no_undefined
&& ELF_ST_VISIBILITY (h->other) == STV_DEFAULT)
relocation = 0;
else
{
- if (! ((*info->callbacks->undefined_symbol)
- (info, h->root.root.string, input_bfd,
- input_section, rel->r_offset, true)))
+ if (!(info->callbacks->undefined_symbol
+ (info, name, input_bfd,
+ input_section, rel->r_offset,
+ (!info->shared || info->no_undefined
+ || ELF_ST_VISIBILITY (h->other)))))
return false;
-#if 0
- fprintf (stderr, "unknown: name: %s\n", name);
-#endif
relocation = 0;
}
}
- r = cris_final_link_relocate (howto, input_bfd, input_section,
- contents, rel, relocation);
-
- if (r != bfd_reloc_ok)
+ switch (r_type)
{
- const char * msg = (const char *) NULL;
-
- switch (r)
+ case R_CRIS_16_GOTPLT:
+ case R_CRIS_32_GOTPLT:
+ /* This is like the case for R_CRIS_32_GOT and R_CRIS_16_GOT,
+ but we require a PLT, and the PLT handling will take care of
+ filling in the PLT-specific GOT entry. For the GOT offset,
+ calculate it as we do when filling it in for the .got.plt
+ section. If we don't have a PLT, punt to GOT handling. */
+ if (h != NULL
+ && ((struct elf_cris_link_hash_entry *) h)->gotplt_offset != 0)
{
- case bfd_reloc_overflow:
- r = info->callbacks->reloc_overflow
- (info, name, howto->name, (bfd_vma) 0,
- input_bfd, input_section, rel->r_offset);
- break;
+ asection *sgotplt
+ = bfd_get_section_by_name (dynobj, ".got.plt");
+ bfd_vma got_offset;
- case bfd_reloc_undefined:
- r = info->callbacks->undefined_symbol
- (info, name, input_bfd, input_section, rel->r_offset,
- true);
- break;
+ BFD_ASSERT (h->dynindx != -1);
+ BFD_ASSERT (sgotplt != NULL);
- case bfd_reloc_outofrange:
- msg = _("internal error: out of range error");
- break;
+ got_offset
+ = ((struct elf_cris_link_hash_entry *) h)->gotplt_offset;
- case bfd_reloc_notsupported:
- msg = _("internal error: unsupported relocation error");
+ relocation = got_offset;
break;
+ }
- case bfd_reloc_dangerous:
- msg = _("internal error: dangerous relocation");
- break;
+ /* We didn't make a PLT entry for this symbol, or everything is
+ folded into the GOT. Other than folding, this happens when
+ statically linking PIC code, or when using -Bsymbolic. Check
+ that we instead have a GOT entry as done for us by
+ elf_cris_adjust_dynamic_symbol, and drop through into the
+ ordinary GOT cases. */
+ if (h != NULL && h->got.offset == (bfd_vma) -1)
+ {
+ (*_bfd_error_handler)
+ (_("%s: No PLT nor GOT for relocation %s against symbol `%s' from %s section"),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ name[0] != '\0' ? name : _("[whose name is lost]"),
+ bfd_get_section_name (input_bfd, input_section));
+
+ /* FIXME: Perhaps blaming input is not the right thing to
+ do; this is probably an internal error. But it is true
+ that we didn't like that particular input. */
+ bfd_set_error (bfd_error_bad_value);
+ return false;
+ }
+ /* Fall through. */
+
+ /* The size of the actual relocation is not used here; we only
+ fill in the GOT table here. */
+ case R_CRIS_16_GOT:
+ case R_CRIS_32_GOT:
+ {
+ bfd_vma off;
+
+ /* Note that despite using RELA relocations, the .got contents
+ is always filled in with the link-relative relocation
+ value; the addend. */
+
+ if (h != NULL)
+ {
+ off = h->got.offset;
+ BFD_ASSERT (off != (bfd_vma) -1);
+
+ if (!elf_hash_table (info)->dynamic_sections_created
+ || (info->shared
+ && (info->symbolic || h->dynindx == -1)
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR)))
+ {
+ /* This is actually a static link, or it is a
+ -Bsymbolic link and the symbol is defined
+ locally, or the symbol was forced to be local
+ because of a version file. We must initialize
+ this entry in the global offset table. Since
+ the offset must always be a multiple of 4, we
+ use the least significant bit to record whether
+ we have initialized it already.
+
+ When doing a dynamic link, we create a .rela.got
+ relocation entry to initialize the value. This
+ is done in the finish_dynamic_symbol routine. */
+ if ((off & 1) != 0)
+ off &= ~1;
+ else
+ {
+ bfd_put_32 (output_bfd, relocation,
+ sgot->contents + off);
+ h->got.offset |= 1;
+ }
+ }
+ }
+ else
+ {
+ BFD_ASSERT (local_got_offsets != NULL
+ && local_got_offsets[r_symndx] != (bfd_vma) -1);
+
+ off = local_got_offsets[r_symndx];
+
+ /* The offset must always be a multiple of 4. We use
+ the least significant bit to record whether we have
+ already generated the necessary reloc. */
+ if ((off & 1) != 0)
+ off &= ~1;
+ else
+ {
+ bfd_put_32 (output_bfd, relocation, sgot->contents + off);
+
+ if (info->shared)
+ {
+ asection *srelgot;
+ Elf_Internal_Rela outrel;
+
+ srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+ BFD_ASSERT (srelgot != NULL);
+
+ outrel.r_offset = (sgot->output_section->vma
+ + sgot->output_offset
+ + off);
+ outrel.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+ outrel.r_addend = relocation;
+ bfd_elf32_swap_reloca_out (output_bfd, &outrel,
+ (((Elf32_External_Rela *)
+ srelgot->contents)
+ + srelgot->reloc_count));
+ ++srelgot->reloc_count;
+ }
+
+ local_got_offsets[r_symndx] |= 1;
+ }
+ }
+
+ relocation = sgot->output_offset + off;
+ if (rel->r_addend != 0)
+ {
+ /* We can't do anything for a relocation which is against
+ a symbol *plus offset*. GOT holds relocations for
+ symbols. Make this an error; the compiler isn't
+ allowed to pass us these kinds of things. */
+ if (h == NULL)
+ (*_bfd_error_handler)
+ (_("%s: relocation %s with non-zero addend %d against local symbol from %s section"),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ rel->r_addend,
+ bfd_get_section_name (input_bfd, input_section));
+ else
+ (*_bfd_error_handler)
+ (_("%s: relocation %s with non-zero addend %d against symbol `%s' from %s section"),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ rel->r_addend,
+ name[0] != '\0' ? name : _("[whose name is lost]"),
+ bfd_get_section_name (input_bfd, input_section));
+
+ bfd_set_error (bfd_error_bad_value);
+ return false;
+ }
+ }
+ break;
- default:
- msg = _("internal error: unknown error");
- break;
+ case R_CRIS_32_GOTREL:
+ /* This relocation must only be performed against local symbols. */
+ if (h != NULL)
+ {
+ (*_bfd_error_handler)
+ (_("%s: relocation %s is not allowed for global symbol: `%s' from %s section"),
+ bfd_get_filename (input_bfd),
+ cris_elf_howto_table[r_type].name,
+ name,
+ bfd_get_section_name (input_bfd, input_section));
+ bfd_set_error (bfd_error_bad_value);
+ return false;
}
- if (msg)
- r = info->callbacks->warning
- (info, msg, name, input_bfd, input_section, rel->r_offset);
+ /* This relocation is like a PC-relative one, except the
+ reference point is the location of GOT. Note that
+ sgot->output_offset is not involved in this calculation. We
+ always want the start of entire .got section, not the
+ position after the reserved header. */
+ relocation -= sgot->output_section->vma;
+ break;
- if (! r)
- return false;
- }
- }
+ case R_CRIS_32_PLT_PCREL:
+ /* Relocation is to the entry for this symbol in the
+ procedure linkage table. */
- return true;
+ /* Resolve a PLT_PCREL reloc against a local symbol directly,
+ without using the procedure linkage table. */
+ if (h == NULL)
+ break;
+
+ if (h->plt.offset == (bfd_vma) -1
+ || splt == NULL)
+ {
+ /* We didn't make a PLT entry for this symbol. This
+ happens when statically linking PIC code, or when
+ using -Bsymbolic. */
+ break;
+ }
+
+ relocation = (splt->output_section->vma
+ + splt->output_offset
+ + h->plt.offset);
+ break;
+
+ case R_CRIS_32_PLT_GOTREL:
+ /* Like R_CRIS_32_PLT_PCREL, but the reference point is the
+ start of the .got section. See also comment at
+ R_CRIS_32_GOT. */
+ relocation -= sgot->output_section->vma;
+
+ /* Resolve a PLT_GOTREL reloc against a local symbol directly,
+ without using the procedure linkage table. */
+ if (h == NULL)
+ break;
+
+ if (h->plt.offset == (bfd_vma) -1
+ || splt == NULL)
+ {
+ /* We didn't make a PLT entry for this symbol. This
+ happens when statically linking PIC code, or when
+ using -Bsymbolic. */
+ break;
+ }
+
+ relocation = (splt->output_section->vma
+ + splt->output_offset
+ + h->plt.offset
+ - sgot->output_section->vma);
+ break;
+
+ case R_CRIS_8_PCREL:
+ case R_CRIS_16_PCREL:
+ case R_CRIS_32_PCREL:
+ /* If the symbol was local, we need no shlib-specific handling. */
+ if (h == NULL)
+ break;
+
+ /* Fall through. */
+ case R_CRIS_8:
+ case R_CRIS_16:
+ case R_CRIS_32:
+ if (info->shared
+ && (input_section->flags & SEC_ALLOC) != 0
+ && ((r_type != R_CRIS_8_PCREL
+ && r_type != R_CRIS_16_PCREL
+ && r_type != R_CRIS_32_PCREL)
+ || (!info->symbolic
+ || (h->elf_link_hash_flags
+ & ELF_LINK_HASH_DEF_REGULAR) == 0)))
+ {
+ Elf_Internal_Rela outrel;
+ boolean skip, relocate;
+
+ /* When generating a shared object, these relocations
+ are copied into the output file to be resolved at run
+ time. */
+
+ if (sreloc == NULL)
+ {
+ const char *name;
+
+ name = (bfd_elf_string_from_elf_section
+ (input_bfd,
+ elf_elfheader (input_bfd)->e_shstrndx,
+ elf_section_data (input_section)->rel_hdr.sh_name));
+ if (name == NULL)
+ return false;
+
+ BFD_ASSERT (strncmp (name, ".rela", 5) == 0
+ && strcmp (bfd_get_section_name (input_bfd,
+ input_section),
+ name + 5) == 0);
+
+ sreloc = bfd_get_section_by_name (dynobj, name);
+
+ /* That section should have been created in
+ cris_elf_check_relocs, but that function will not be
+ called for objects which fail in
+ cris_elf_merge_private_bfd_data. */
+ if (sreloc == NULL)
+ {
+ (*_bfd_error_handler)
+ (_("%s: Internal inconsistency; no relocation section %s"),
+ bfd_get_filename (input_bfd),
+ name);
+
+ bfd_set_error (bfd_error_bad_value);
+ return false;
+ }
+ }
+
+ skip = false;
+
+ if (elf_section_data (input_section)->stab_info == NULL)
+ outrel.r_offset = rel->r_offset;
+ else
+ {
+ bfd_vma off;
+
+ off = (_bfd_stab_section_offset
+ (output_bfd, &elf_hash_table (info)->stab_info,
+ input_section,
+ &elf_section_data (input_section)->stab_info,
+ rel->r_offset));
+ if (off == (bfd_vma) -1)
+ skip = true;
+ outrel.r_offset = off;
+ }
+
+ outrel.r_offset += (input_section->output_section->vma
+ + input_section->output_offset);
+
+ if (skip)
+ {
+ memset (&outrel, 0, sizeof outrel);
+ relocate = false;
+ }
+ /* h->dynindx may be -1 if the symbol was marked to
+ become local. */
+ else if (h != NULL
+ && ((! info->symbolic && h->dynindx != -1)
+ || (h->elf_link_hash_flags
+ & ELF_LINK_HASH_DEF_REGULAR) == 0))
+ {
+ BFD_ASSERT (h->dynindx != -1);
+ relocate = false;
+ outrel.r_info = ELF32_R_INFO (h->dynindx, r_type);
+ outrel.r_addend = relocation + rel->r_addend;
+ }
+ else
+ {
+ if (r_type == R_CRIS_32)
+ {
+ relocate = true;
+ outrel.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+ outrel.r_addend = relocation + rel->r_addend;
+ }
+ else
+ {
+ long indx;
+
+ if (h == NULL)
+ sec = local_sections[r_symndx];
+ else
+ {
+ BFD_ASSERT (h->root.type == bfd_link_hash_defined
+ || (h->root.type
+ == bfd_link_hash_defweak));
+ sec = h->root.u.def.section;
+ }
+ if (sec != NULL && bfd_is_abs_section (sec))
+ indx = 0;
+ else if (sec == NULL || sec->owner == NULL)
+ {
+ bfd_set_error (bfd_error_bad_value);
+ return false;
+ }
+ else
+ {
+ asection *osec;
+
+ osec = sec->output_section;
+ indx = elf_section_data (osec)->dynindx;
+ BFD_ASSERT (indx > 0);
+ }
+
+ relocate = false;
+ outrel.r_info = ELF32_R_INFO (indx, r_type);
+ outrel.r_addend = relocation + rel->r_addend;
+ }
+ }
+
+ bfd_elf32_swap_reloca_out (output_bfd, &outrel,
+ (((Elf32_External_Rela *)
+ sreloc->contents)
+ + sreloc->reloc_count));
+ ++sreloc->reloc_count;
+
+ /* This reloc will be computed at runtime, so there's no
+ need to do anything now, except for R_CRIS_32 relocations
+ that have been turned into R_CRIS_RELATIVE. */
+ if (!relocate)
+ continue;
+ }
+
+ break;
+ }
+
+ r = cris_final_link_relocate (howto, input_bfd, input_section,
+ contents, rel, relocation);
+
+ if (r != bfd_reloc_ok)
+ {
+ const char * msg = (const char *) NULL;
+
+ switch (r)
+ {
+ case bfd_reloc_overflow:
+ r = info->callbacks->reloc_overflow
+ (info, name, howto->name, (bfd_vma) 0,
+ input_bfd, input_section, rel->r_offset);
+ break;
+
+ case bfd_reloc_undefined:
+ r = info->callbacks->undefined_symbol
+ (info, name, input_bfd, input_section, rel->r_offset,
+ true);
+ break;
+
+ case bfd_reloc_outofrange:
+ msg = _("internal error: out of range error");
+ break;
+
+ case bfd_reloc_notsupported:
+ msg = _("internal error: unsupported relocation error");
+ break;
+
+ case bfd_reloc_dangerous:
+ msg = _("internal error: dangerous relocation");
+ break;
+
+ default:
+ msg = _("internal error: unknown error");
+ break;
+ }
+
+ if (msg)
+ r = info->callbacks->warning
+ (info, msg, name, input_bfd, input_section, rel->r_offset);
+
+ if (! r)
+ return false;
+ }
+ }
+
+ return true;
+}
+\f
+/* Finish up dynamic symbol handling. We set the contents of various
+ dynamic sections here. */
+
+static boolean
+elf_cris_finish_dynamic_symbol (output_bfd, info, h, sym)
+ bfd *output_bfd;
+ struct bfd_link_info *info;
+ struct elf_link_hash_entry *h;
+ Elf_Internal_Sym *sym;
+{
+ bfd *dynobj;
+ int plt_off1 = 2, plt_off2 = 10, plt_off3 = 16;
+
+ dynobj = elf_hash_table (info)->dynobj;
+
+ if (h->plt.offset != (bfd_vma) -1)
+ {
+ asection *splt;
+ asection *sgotplt;
+ asection *sgot;
+ asection *srela;
+ bfd_vma got_base;
+
+ bfd_vma gotplt_offset
+ = ((struct elf_cris_link_hash_entry *) h)->gotplt_offset;
+ Elf_Internal_Rela rela;
+ boolean has_gotplt = gotplt_offset != 0;
+
+ /* Get the index in the procedure linkage table which
+ corresponds to this symbol. This is the index of this symbol
+ in all the symbols for which we are making plt entries. The
+ first entry in the procedure linkage table is reserved. */
+ /* We have to count backwards here, and the result is only valid as
+ an index into .got.plt and its relocations. FIXME: Constants... */
+ bfd_vma gotplt_index = gotplt_offset/4 - 3;
+
+ /* Get the offset into the .got table of the entry that corresponds
+ to this function. Note that we embed knowledge that "incoming"
+ .got goes after .got.plt in the output without padding (pointer
+ aligned). However, that knowledge is present in several other
+ places too, here and in elflink.h at least. */
+ bfd_vma got_offset
+ = (has_gotplt
+ ? gotplt_offset
+ : h->got.offset + elf_cris_hash_table(info)->next_gotplt_entry);
+
+ /* This symbol has an entry in the procedure linkage table. Set it
+ up. */
+
+ BFD_ASSERT (h->dynindx != -1);
+
+ splt = bfd_get_section_by_name (dynobj, ".plt");
+ sgot = bfd_get_section_by_name (dynobj, ".got");
+ sgotplt = bfd_get_section_by_name (dynobj, ".got.plt");
+ srela = bfd_get_section_by_name (dynobj, ".rela.plt");
+ BFD_ASSERT (splt != NULL && sgotplt != NULL
+ && (! has_gotplt || srela != NULL));
+
+ got_base = sgotplt->output_section->vma + sgotplt->output_offset;
+
+ /* Fill in the entry in the procedure linkage table. */
+ if (! info->shared)
+ {
+ memcpy (splt->contents + h->plt.offset, elf_cris_plt_entry,
+ PLT_ENTRY_SIZE);
+
+ /* We need to enter the absolute address of the GOT entry here. */
+ bfd_put_32 (output_bfd, got_base + got_offset,
+ splt->contents + h->plt.offset + plt_off1);
+ }
+ else
+ {
+ memcpy (splt->contents + h->plt.offset, elf_cris_pic_plt_entry,
+ PLT_ENTRY_SIZE);
+ bfd_put_32 (output_bfd, got_offset,
+ splt->contents + h->plt.offset + plt_off1);
+ }
+
+ /* Fill in the plt entry and make a relocation, if this is a "real"
+ PLT entry. */
+ if (has_gotplt)
+ {
+ /* Fill in the offset into the reloc table. */
+ bfd_put_32 (output_bfd,
+ gotplt_index * sizeof (Elf32_External_Rela),
+ splt->contents + h->plt.offset + plt_off2);
+
+ /* Fill in the offset to the first PLT entry, where to "jump". */
+ bfd_put_32 (output_bfd, - (h->plt.offset + plt_off3 + 4),
+ splt->contents + h->plt.offset + plt_off3);
+
+ /* Fill in the entry in the global offset table with the address of
+ the relocating stub. */
+ bfd_put_32 (output_bfd,
+ (splt->output_section->vma
+ + splt->output_offset
+ + h->plt.offset
+ + 8),
+ sgotplt->contents + got_offset);
+
+ /* Fill in the entry in the .rela.plt section. */
+ rela.r_offset = (sgotplt->output_section->vma
+ + sgotplt->output_offset
+ + got_offset);
+ rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_JUMP_SLOT);
+ rela.r_addend = 0;
+ bfd_elf32_swap_reloca_out (output_bfd, &rela,
+ ((Elf32_External_Rela *) srela->contents
+ + gotplt_index));
+ }
+
+ if ((h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+ {
+ /* Mark the symbol as undefined, rather than as defined in
+ the .plt section. Leave the value alone. */
+ sym->st_shndx = SHN_UNDEF;
+
+ /* FIXME: From elf32-sparc.c 2001-02-19 (1.18). I still don't
+ know whether resetting the value is significant; if it really
+ is, rather than a quirk or bug in the sparc port, then I
+ believe we'd see this elsewhere. */
+ /* If the symbol is weak, we do need to clear the value.
+ Otherwise, the PLT entry would provide a definition for
+ the symbol even if the symbol wasn't defined anywhere,
+ and so the symbol would never be NULL. */
+ if ((h->elf_link_hash_flags & ELF_LINK_HASH_REF_REGULAR_NONWEAK)
+ == 0)
+ sym->st_value = 0;
+ }
+ }
+
+ if (h->got.offset != (bfd_vma) -1)
+ {
+ asection *sgot;
+ asection *srela;
+ Elf_Internal_Rela rela;
+
+ /* This symbol has an entry in the global offset table. Set it up. */
+
+ sgot = bfd_get_section_by_name (dynobj, ".got");
+ srela = bfd_get_section_by_name (dynobj, ".rela.got");
+ BFD_ASSERT (sgot != NULL && srela != NULL);
+
+ rela.r_offset = (sgot->output_section->vma
+ + sgot->output_offset
+ + (h->got.offset &~ 1));
+
+ /* If this is a static link, or it is a -Bsymbolic link and the
+ symbol is defined locally or was forced to be local because
+ of a version file, we just want to emit a RELATIVE reloc.
+ The entry in the global offset table will already have been
+ initialized in the relocate_section function. */
+ if (! elf_hash_table (info)->dynamic_sections_created
+ || (info->shared
+ && (info->symbolic || h->dynindx == -1)
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR)))
+ {
+ rela.r_info = ELF32_R_INFO (0, R_CRIS_RELATIVE);
+ rela.r_addend = bfd_get_signed_32 (output_bfd,
+ (sgot->contents
+ + (h->got.offset & ~1)));
+ }
+ else
+ {
+ bfd_put_32 (output_bfd, (bfd_vma) 0,
+ sgot->contents + (h->got.offset & ~1));
+ rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_GLOB_DAT);
+ rela.r_addend = 0;
+ }
+
+ bfd_elf32_swap_reloca_out (output_bfd, &rela,
+ ((Elf32_External_Rela *) srela->contents
+ + srela->reloc_count));
+ ++srela->reloc_count;
+ }
+
+ if ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_COPY) != 0)
+ {
+ asection *s;
+ Elf_Internal_Rela rela;
+
+ /* This symbol needs a copy reloc. Set it up. */
+
+ BFD_ASSERT (h->dynindx != -1
+ && (h->root.type == bfd_link_hash_defined
+ || h->root.type == bfd_link_hash_defweak));
+
+ s = bfd_get_section_by_name (h->root.u.def.section->owner,
+ ".rela.bss");
+ BFD_ASSERT (s != NULL);
+
+ rela.r_offset = (h->root.u.def.value
+ + h->root.u.def.section->output_section->vma
+ + h->root.u.def.section->output_offset);
+ rela.r_info = ELF32_R_INFO (h->dynindx, R_CRIS_COPY);
+ rela.r_addend = 0;
+ bfd_elf32_swap_reloca_out (output_bfd, &rela,
+ ((Elf32_External_Rela *) s->contents
+ + s->reloc_count));
+ ++s->reloc_count;
+ }
+
+ /* Mark _DYNAMIC and _GLOBAL_OFFSET_TABLE_ as absolute. */
+ if (strcmp (h->root.root.string, "_DYNAMIC") == 0
+ || strcmp (h->root.root.string, "_GLOBAL_OFFSET_TABLE_") == 0)
+ sym->st_shndx = SHN_ABS;
+
+ return true;
+}
+\f
+/* Finish up the dynamic sections. */
+
+static boolean
+elf_cris_finish_dynamic_sections (output_bfd, info)
+ bfd *output_bfd;
+ struct bfd_link_info *info;
+{
+ bfd *dynobj;
+ asection *sgot;
+ asection *sdyn;
+
+ dynobj = elf_hash_table (info)->dynobj;
+
+ sgot = bfd_get_section_by_name (dynobj, ".got.plt");
+ BFD_ASSERT (sgot != NULL);
+ sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
+
+ if (elf_hash_table (info)->dynamic_sections_created)
+ {
+ asection *splt;
+ Elf32_External_Dyn *dyncon, *dynconend;
+
+ splt = bfd_get_section_by_name (dynobj, ".plt");
+ BFD_ASSERT (splt != NULL && sdyn != NULL);
+
+ dyncon = (Elf32_External_Dyn *) sdyn->contents;
+ dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->_raw_size);
+ for (; dyncon < dynconend; dyncon++)
+ {
+ Elf_Internal_Dyn dyn;
+ asection *s;
+
+ bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn);
+
+ switch (dyn.d_tag)
+ {
+ default:
+ break;
+
+ case DT_PLTGOT:
+ s = bfd_get_section_by_name (output_bfd, ".got");
+ BFD_ASSERT (s != NULL);
+ dyn.d_un.d_ptr = s->vma;
+ bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+ break;
+
+ case DT_JMPREL:
+ /* Yes, we *can* have a .plt and no .plt.rela, for instance
+ if all symbols are found in the .got (not .got.plt). */
+ s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+ dyn.d_un.d_ptr = s != NULL ? s->vma : 0;
+ bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+ break;
+
+ case DT_PLTRELSZ:
+ s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+ if (s == NULL)
+ dyn.d_un.d_val = 0;
+ else if (s->_cooked_size != 0)
+ dyn.d_un.d_val = s->_cooked_size;
+ else
+ dyn.d_un.d_val = s->_raw_size;
+ bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+ break;
+
+ case DT_RELASZ:
+ /* The procedure linkage table relocs (DT_JMPREL) should
+ not be included in the overall relocs (DT_RELA).
+ Therefore, we override the DT_RELASZ entry here to
+ make it not include the JMPREL relocs. Since the
+ linker script arranges for .rela.plt to follow all
+ other relocation sections, we don't have to worry
+ about changing the DT_RELA entry. */
+ s = bfd_get_section_by_name (output_bfd, ".rela.plt");
+ if (s != NULL)
+ {
+ if (s->_cooked_size != 0)
+ dyn.d_un.d_val -= s->_cooked_size;
+ else
+ dyn.d_un.d_val -= s->_raw_size;
+ }
+ bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
+ break;
+ }
+ }
+
+ /* Fill in the first entry in the procedure linkage table. */
+ if (splt->_raw_size > 0)
+ {
+ if (info->shared)
+ memcpy (splt->contents, elf_cris_pic_plt0_entry, PLT_ENTRY_SIZE);
+ else
+ {
+ memcpy (splt->contents, elf_cris_plt0_entry, PLT_ENTRY_SIZE);
+ bfd_put_32 (output_bfd,
+ sgot->output_section->vma + sgot->output_offset + 4,
+ splt->contents + 6);
+ bfd_put_32 (output_bfd,
+ sgot->output_section->vma + sgot->output_offset + 8,
+ splt->contents + 14);
+
+ elf_section_data (splt->output_section)->this_hdr.sh_entsize
+ = PLT_ENTRY_SIZE;
+ }
+ }
+ }
+
+ /* Fill in the first three entries in the global offset table. */
+ if (sgot->_raw_size > 0)
+ {
+ if (sdyn == NULL)
+ bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents);
+ else
+ bfd_put_32 (output_bfd,
+ sdyn->output_section->vma + sdyn->output_offset,
+ sgot->contents);
+ bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 4);
+ bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 8);
+ }
+
+ elf_section_data (sgot->output_section)->this_hdr.sh_entsize = 4;
+
+ return true;
}
\f
/* Return the section that should be marked against GC for a given
asection * sec ATTRIBUTE_UNUSED;
const Elf_Internal_Rela * relocs ATTRIBUTE_UNUSED;
{
+ Elf_Internal_Shdr *symtab_hdr;
+ struct elf_link_hash_entry **sym_hashes;
+ bfd_signed_vma *local_got_refcounts;
+ const Elf_Internal_Rela *rel, *relend;
+ unsigned long r_symndx;
+ struct elf_link_hash_entry *h;
+ bfd *dynobj;
+ asection *sgot;
+ asection *srelgot;
+
+ symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
+ sym_hashes = elf_sym_hashes (abfd);
+ local_got_refcounts = elf_local_got_refcounts (abfd);
+
+ dynobj = elf_hash_table (info)->dynobj;
+ if (dynobj == NULL)
+ return true;
+
+ sgot = bfd_get_section_by_name (dynobj, ".got");
+ srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+
+ relend = relocs + sec->reloc_count;
+ for (rel = relocs; rel < relend; rel++)
+ {
+ switch (ELF32_R_TYPE (rel->r_info))
+ {
+ case R_CRIS_16_GOT:
+ case R_CRIS_32_GOT:
+ r_symndx = ELF32_R_SYM (rel->r_info);
+ if (r_symndx >= symtab_hdr->sh_info)
+ {
+ h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+ if (h->got.refcount > 0)
+ {
+ --h->got.refcount;
+ if (h->got.refcount == 0)
+ {
+ /* We don't need the .got entry any more. */
+ sgot->_raw_size -= 4;
+ srelgot->_raw_size -= sizeof (Elf32_External_Rela);
+ }
+ }
+ break;
+ }
+
+ local_got_reloc:
+ if (local_got_refcounts != NULL)
+ {
+ if (local_got_refcounts[r_symndx] > 0)
+ {
+ --local_got_refcounts[r_symndx];
+ if (local_got_refcounts[r_symndx] == 0)
+ {
+ /* We don't need the .got entry any more. */
+ sgot->_raw_size -= 4;
+ if (info->shared)
+ srelgot->_raw_size -= sizeof (Elf32_External_Rela);
+ }
+ }
+ }
+ break;
+
+ case R_CRIS_16_GOTPLT:
+ case R_CRIS_32_GOTPLT:
+ /* For local symbols, treat these like GOT relocs. */
+ r_symndx = ELF32_R_SYM (rel->r_info);
+ if (r_symndx < symtab_hdr->sh_info)
+ goto local_got_reloc;
+
+ case R_CRIS_32_PLT_GOTREL:
+ /* FIXME: We don't garbage-collect away the .got section. */
+ if (local_got_refcounts != NULL)
+ local_got_refcounts[-1]--;
+ /* Fall through. */
+
+ case R_CRIS_8_PCREL:
+ case R_CRIS_16_PCREL:
+ case R_CRIS_32_PCREL:
+ case R_CRIS_32_PLT_PCREL:
+ r_symndx = ELF32_R_SYM (rel->r_info);
+ if (r_symndx >= symtab_hdr->sh_info)
+ {
+ h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+ if (h->plt.refcount > 0)
+ --h->plt.refcount;
+ }
+ break;
+
+ default:
+ break;
+ }
+ }
+
return true;
}
-/* Look through the relocs for a section during the first phase.
- Since we don't do .gots or .plts, we just need to consider the
- virtual table relocs for gc. */
+/* Make sure we emit a GOT entry if the symbol was supposed to have a PLT
+ entry but we found we will not create any. Called when we find we will
+ not have any PLT for this symbol, by elf_cris_adjust_dynamic_symbol
+ when we're doing a proper dynamic link, or
+ elf_cris_size_dynamic_sections if no dynamic sections will be created
+ (we're only linking static objects). */
+
+static boolean
+elf_cris_adjust_gotplt_to_got (h, p)
+ struct elf_cris_link_hash_entry *h;
+ PTR p;
+{
+ struct bfd_link_info *info = (struct bfd_link_info *) p;
+ bfd *dynobj = elf_hash_table (info)->dynobj;
+
+ BFD_ASSERT (dynobj != NULL);
+
+ /* If nobody wanted a GOTPLT with this symbol, we're done. */
+ if (h->gotplt_refcount <= 0)
+ return true;
+
+ if (h->root.got.refcount > 0)
+ {
+ /* There's a GOT entry for this symbol. Just adjust the refcount.
+ Probably not necessary at this stage, but keeping it accurate
+ helps avoiding surprises later. */
+ h->root.got.refcount += h->gotplt_refcount;
+ h->gotplt_refcount = -1;
+ }
+ else
+ {
+ /* No GOT entry for this symbol. We need to create one.
+ FIXME: This should be a *local* got, not a global one.
+ Seriously. */
+ asection *sgot = bfd_get_section_by_name (dynobj, ".got");
+ asection *srelgot
+ = bfd_get_section_by_name (dynobj, ".rela.got");
+
+ /* Put an accurate refcount there. */
+ h->root.got.refcount = h->gotplt_refcount;
+
+ h->gotplt_refcount = -1;
+
+ /* We always have a .got section when there are dynamic
+ relocs. */
+ BFD_ASSERT (sgot != NULL /* Surely have .got section. */);
+
+ /* We might have had a PLT but with no GOT entry and
+ further no GOT reloc section at all needed before.
+ Add it. */
+ if (srelgot == NULL)
+ {
+ srelgot = bfd_make_section (dynobj, ".rela.got");
+
+ if (srelgot == NULL
+ || !bfd_set_section_flags (dynobj, srelgot,
+ (SEC_ALLOC
+ | SEC_LOAD
+ | SEC_HAS_CONTENTS
+ | SEC_IN_MEMORY
+ | SEC_LINKER_CREATED
+ | SEC_READONLY))
+ || !bfd_set_section_alignment (dynobj, srelgot, 2))
+ return false;
+ }
+
+ /* Allocate space in the .got section. */
+ sgot->_raw_size += 4;
+
+ /* Allocate relocation space. */
+ srelgot->_raw_size += sizeof (Elf32_External_Rela);
+ }
+
+ return true;
+}
+
+/* Try to fold PLT entries with GOT entries. There are two cases when we
+ want to do this:
+
+ - When all PLT references are GOTPLT references, and there are GOT
+ references. We don't have to generate a PLT at all.
+
+ - When there are both (ordinary) PLT references and GOT references.
+ We want to make the PLT reference use the ordinary GOT entry rather
+ than a run-time dynamically resolved GOTPLT entry (since the GOT
+ entry will have to be resolved at startup anyway).
+
+ Though the latter case is handled when room for the PLT is allocated,
+ not here.
+
+ Note that this function is called before symbols are forced local by
+ version scripts. The differing cases are handled by
+ elf_cris_hide_symbol. */
+
+static boolean
+elf_cris_try_fold_plt_to_got (h, p)
+ struct elf_cris_link_hash_entry *h;
+ PTR p;
+{
+ struct bfd_link_info *info = (struct bfd_link_info *) p;
+
+ /* If there are no GOT references for this symbol, we can't fold any
+ other reference so there's nothing to do. Likewise if there are no
+ PLT references; GOTPLT references included. */
+ if (h->root.got.refcount <= 0 || h->root.plt.refcount <= 0)
+ return true;
+
+ /* GOTPLT relocs are supposed to be included into the PLT refcount. */
+ BFD_ASSERT (h->gotplt_refcount <= h->root.plt.refcount);
+
+ if (h->gotplt_refcount == h->root.plt.refcount)
+ {
+ /* Th only PLT references are GOTPLT references, and there are GOT
+ references. Convert PLT to GOT references. */
+ if (! elf_cris_adjust_gotplt_to_got (h, info))
+ return false;
+
+ /* Clear the PLT references, so no PLT will be created. */
+ h->root.plt.offset = (bfd_vma) -1;
+ }
+
+ return true;
+}
+
+/* Our own version of hide_symbol, so that we can adjust a GOTPLT reloc
+ to use a GOT entry (and create one) rather than requiring a GOTPLT
+ entry. */
+
+static void
+elf_cris_hide_symbol (info, h)
+ struct bfd_link_info *info;
+ struct elf_link_hash_entry *h;
+{
+ elf_cris_adjust_gotplt_to_got ((struct elf_cris_link_hash_entry *) h, info);
+
+ _bfd_elf_link_hash_hide_symbol (info, h);
+}
+
+/* Adjust a symbol defined by a dynamic object and referenced by a
+ regular object. The current definition is in some section of the
+ dynamic object, but we're not including those sections. We have to
+ change the definition to something the rest of the link can
+ understand. */
+
+static boolean
+elf_cris_adjust_dynamic_symbol (info, h)
+ struct bfd_link_info *info;
+ struct elf_link_hash_entry *h;
+{
+ bfd *dynobj;
+ asection *s;
+ unsigned int power_of_two;
+
+ dynobj = elf_hash_table (info)->dynobj;
+
+ /* Make sure we know what is going on here. */
+ BFD_ASSERT (dynobj != NULL
+ && ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT)
+ || h->weakdef != NULL
+ || ((h->elf_link_hash_flags
+ & ELF_LINK_HASH_DEF_DYNAMIC) != 0
+ && (h->elf_link_hash_flags
+ & ELF_LINK_HASH_REF_REGULAR) != 0
+ && (h->elf_link_hash_flags
+ & ELF_LINK_HASH_DEF_REGULAR) == 0)));
+
+ /* If this is a function, put it in the procedure linkage table. We
+ will fill in the contents of the procedure linkage table later,
+ when we know the address of the .got section. */
+ if (h->type == STT_FUNC
+ || (h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0)
+ {
+ if (! info->shared
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_DYNAMIC) == 0
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_REF_DYNAMIC) == 0
+ /* We must always create the plt entry if it was referenced by a
+ PLT relocation. In this case we already recorded it as a
+ dynamic symbol. */
+ /* FIXME: m68k and i386 differ here, for unclear reasons. */
+ && h->dynindx == -1)
+ {
+ /* This case can occur if we saw a PLT reloc in an input file,
+ but the symbol was never referred to by a dynamic object. In
+ such a case, we don't actually need to build a procedure
+ linkage table, and we can just do a PC reloc instead. */
+ BFD_ASSERT ((h->elf_link_hash_flags & ELF_LINK_HASH_NEEDS_PLT) != 0);
+ h->plt.offset = (bfd_vma) -1;
+
+ return
+ elf_cris_adjust_gotplt_to_got ((struct
+ elf_cris_link_hash_entry *) h,
+ info);
+ }
+
+ /* If there are only GOT references and GOTPLT references to this
+ PLT entry, get rid of the PLT. */
+ if (! elf_cris_try_fold_plt_to_got ((struct elf_cris_link_hash_entry *)
+ h, info))
+ return false;
+
+ /* GC or folding may have rendered this entry unused. */
+ if (h->plt.refcount <= 0)
+ {
+ h->elf_link_hash_flags &= ~ELF_LINK_HASH_NEEDS_PLT;
+ h->plt.offset = (bfd_vma) -1;
+ return true;
+ }
+
+ /* Make sure this symbol is output as a dynamic symbol. */
+ if (h->dynindx == -1)
+ {
+ if (! bfd_elf32_link_record_dynamic_symbol (info, h))
+ return false;
+ }
+
+ s = bfd_get_section_by_name (dynobj, ".plt");
+ BFD_ASSERT (s != NULL);
+
+ /* If this is the first .plt entry, make room for the special
+ first entry. */
+ if (s->_raw_size == 0)
+ s->_raw_size += PLT_ENTRY_SIZE;
+
+ /* If this symbol is not defined in a regular file, and we are
+ not generating a shared library, then set the symbol to this
+ location in the .plt. This is required to make function
+ pointers compare as equal between the normal executable and
+ the shared library. */
+ if (!info->shared
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) == 0)
+ {
+ h->root.u.def.section = s;
+ h->root.u.def.value = s->_raw_size;
+ }
+
+ /* If there's already a GOT entry, use that, not a .got.plt. The
+ GOT fields still have a reference count when we get here; it's
+ not yet changed to offsets. */
+ if (h->got.refcount > 0)
+ {
+ h->got.refcount += h->plt.refcount;
+
+ /* Mark the PLT offset to use the GOT entry by setting the low
+ bit in the plt offset; it is always a multiple of
+ pointer-size. */
+ BFD_ASSERT ((s->_raw_size & 3) == 0);
+
+ /* Change the PLT refcount to an offset. */
+ h->plt.offset = s->_raw_size;
+
+ /* By not setting gotplt_offset (i.e. it remains at 0), we signal
+ that the got entry should be used instead. */
+ BFD_ASSERT (((struct elf_cris_link_hash_entry *)
+ h)->gotplt_offset == 0);
+
+ /* Make room for this entry. */
+ s->_raw_size += PLT_ENTRY_SIZE;
+
+ return true;
+ }
+
+ /* No GOT reference for this symbol; prepare for an ordinary PLT. */
+ h->plt.offset = s->_raw_size;
+
+ /* Make room for this entry. */
+ s->_raw_size += PLT_ENTRY_SIZE;
+
+ /* We also need to make an entry in the .got.plt section, which
+ will be placed in the .got section by the linker script. */
+ ((struct elf_cris_link_hash_entry *) h)->gotplt_offset
+ = elf_cris_hash_table (info)->next_gotplt_entry;
+ elf_cris_hash_table (info)->next_gotplt_entry += 4;
+
+ s = bfd_get_section_by_name (dynobj, ".got.plt");
+ BFD_ASSERT (s != NULL);
+ s->_raw_size += 4;
+
+ /* We also need to make an entry in the .rela.plt section. */
+
+ s = bfd_get_section_by_name (dynobj, ".rela.plt");
+ BFD_ASSERT (s != NULL);
+ s->_raw_size += sizeof (Elf32_External_Rela);
+
+ return true;
+ }
+
+ /* Reinitialize the plt offset now that it is not used as a reference
+ count any more. */
+ h->plt.offset = (bfd_vma) -1;
+
+ /* If this is a weak symbol, and there is a real definition, the
+ processor independent code will have arranged for us to see the
+ real definition first, and we can just use the same value. */
+ if (h->weakdef != NULL)
+ {
+ BFD_ASSERT (h->weakdef->root.type == bfd_link_hash_defined
+ || h->weakdef->root.type == bfd_link_hash_defweak);
+ h->root.u.def.section = h->weakdef->root.u.def.section;
+ h->root.u.def.value = h->weakdef->root.u.def.value;
+ return true;
+ }
+
+ /* This is a reference to a symbol defined by a dynamic object which
+ is not a function. */
+
+ /* If we are creating a shared library, we must presume that the
+ only references to the symbol are via the global offset table.
+ For such cases we need not do anything here; the relocations will
+ be handled correctly by relocate_section. */
+ if (info->shared)
+ return true;
+
+ /* If there are no references to this symbol that do not use the
+ GOT, we don't need to generate a copy reloc. */
+ if ((h->elf_link_hash_flags & ELF_LINK_NON_GOT_REF) == 0)
+ return true;
+
+ /* We must allocate the symbol in our .dynbss section, which will
+ become part of the .bss section of the executable. There will be
+ an entry for this symbol in the .dynsym section. The dynamic
+ object will contain position independent code, so all references
+ from the dynamic object to this symbol will go through the global
+ offset table. The dynamic linker will use the .dynsym entry to
+ determine the address it must put in the global offset table, so
+ both the dynamic object and the regular object will refer to the
+ same memory location for the variable. */
+
+ s = bfd_get_section_by_name (dynobj, ".dynbss");
+ BFD_ASSERT (s != NULL);
+
+ /* We must generate a R_CRIS_COPY reloc to tell the dynamic linker to
+ copy the initial value out of the dynamic object and into the
+ runtime process image. We need to remember the offset into the
+ .rela.bss section we are going to use. */
+ if ((h->root.u.def.section->flags & SEC_ALLOC) != 0)
+ {
+ asection *srel;
+
+ srel = bfd_get_section_by_name (dynobj, ".rela.bss");
+ BFD_ASSERT (srel != NULL);
+ srel->_raw_size += sizeof (Elf32_External_Rela);
+ h->elf_link_hash_flags |= ELF_LINK_HASH_NEEDS_COPY;
+ }
+
+ /* Historic precedent: m68k and i386 allow max 8-byte alignment for the
+ thing to copy; so do we. */
+
+ /* We need to figure out the alignment required for this symbol. I
+ have no idea how ELF linkers handle this. */
+ power_of_two = bfd_log2 (h->size);
+ if (power_of_two > 3)
+ power_of_two = 3;
+
+ /* Apply the required alignment. */
+ s->_raw_size = BFD_ALIGN (s->_raw_size,
+ (bfd_size_type) (1 << power_of_two));
+ if (power_of_two > bfd_get_section_alignment (dynobj, s))
+ {
+ if (!bfd_set_section_alignment (dynobj, s, power_of_two))
+ return false;
+ }
+
+ /* Define the symbol as being at this point in the section. */
+ h->root.u.def.section = s;
+ h->root.u.def.value = s->_raw_size;
+
+ /* Increment the section size to make room for the symbol. */
+ s->_raw_size += h->size;
+
+ return true;
+}
+
+/* Look through the relocs for a section during the first phase. */
static boolean
cris_elf_check_relocs (abfd, info, sec, relocs)
asection *sec;
const Elf_Internal_Rela *relocs;
{
+ bfd *dynobj;
Elf_Internal_Shdr *symtab_hdr;
struct elf_link_hash_entry **sym_hashes, **sym_hashes_end;
+ bfd_signed_vma *local_got_refcounts;
const Elf_Internal_Rela *rel;
const Elf_Internal_Rela *rel_end;
+ asection *sgot;
+ asection *srelgot;
+ asection *sreloc;
if (info->relocateable)
return true;
+ dynobj = elf_hash_table (info)->dynobj;
symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
sym_hashes = elf_sym_hashes (abfd);
sym_hashes_end = sym_hashes + symtab_hdr->sh_size/sizeof (Elf32_External_Sym);
+ local_got_refcounts = elf_local_got_refcounts (abfd);
+
+ sgot = NULL;
+ srelgot = NULL;
+ sreloc = NULL;
+
if (!elf_bad_symtab (abfd))
sym_hashes_end -= symtab_hdr->sh_info;
{
struct elf_link_hash_entry *h;
unsigned long r_symndx;
+ enum elf_cris_reloc_type r_type;
r_symndx = ELF32_R_SYM (rel->r_info);
if (r_symndx < symtab_hdr->sh_info)
else
h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+ r_type = ELF32_R_TYPE (rel->r_info);
+
+ /* Some relocs require linker-created sections; we need to hang them
+ on the first input bfd we found that contained dynamic relocs. */
+ switch (r_type)
+ {
+ case R_CRIS_16_GOT:
+ case R_CRIS_32_GOT:
+ case R_CRIS_32_GOTREL:
+ case R_CRIS_32_PLT_GOTREL:
+ case R_CRIS_32_PLT_PCREL:
+ case R_CRIS_16_GOTPLT:
+ case R_CRIS_32_GOTPLT:
+ if (dynobj == NULL)
+ {
+ elf_hash_table (info)->dynobj = dynobj = abfd;
+
+ /* Create the .got section, so we can assume it's always
+ present whenever there's a dynobj. */
+ if (!_bfd_elf_create_got_section (dynobj, info))
+ return false;
+ }
+ break;
+
+ default:
+ break;
+ }
+
+ /* Some relocs require a global offset table (but perhaps not a
+ specific GOT entry). */
+ switch (ELF32_R_TYPE (rel->r_info))
+ {
+ case R_CRIS_16_GOT:
+ case R_CRIS_32_GOT:
+ case R_CRIS_32_GOTREL:
+ case R_CRIS_32_PLT_GOTREL:
+ if (sgot == NULL)
+ sgot = bfd_get_section_by_name (dynobj, ".got");
+
+ if (local_got_refcounts == NULL)
+ {
+ size_t size;
+
+ /* We use index local_got_refcounts[-1] to count all
+ GOT-relative relocations that do not have explicit
+ GOT entries. */
+ size = (symtab_hdr->sh_info + 1) * sizeof (bfd_signed_vma);
+ local_got_refcounts = ((bfd_signed_vma *)
+ bfd_alloc (abfd, size));
+ if (local_got_refcounts == NULL)
+ return false;
+ memset (local_got_refcounts, -1, size);
+
+ local_got_refcounts++;
+ elf_local_got_refcounts (abfd) = local_got_refcounts;
+ }
+ break;
+
+ default:
+ break;
+ }
+
switch (ELF32_R_TYPE (rel->r_info))
{
+ case R_CRIS_16_GOTPLT:
+ case R_CRIS_32_GOTPLT:
+ /* Mark that we need a GOT entry if the PLT entry (and its GOT
+ entry) is eliminated. We can only do this for a non-local
+ symbol. */
+ if (h != NULL)
+ {
+ ((struct elf_cris_link_hash_entry *) h)->gotplt_refcount++;
+ goto handle_gotplt_reloc;
+ }
+ /* If h is NULL then this is a local symbol, and we must make a
+ GOT entry for it, so handle it like a GOT reloc. */
+ /* Fall through. */
+
+ case R_CRIS_16_GOT:
+ case R_CRIS_32_GOT:
+ /* This symbol requires a global offset table entry. */
+
+ if (srelgot == NULL
+ && (h != NULL || info->shared))
+ {
+ srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
+ if (srelgot == NULL)
+ {
+ srelgot = bfd_make_section (dynobj, ".rela.got");
+ if (srelgot == NULL
+ || !bfd_set_section_flags (dynobj, srelgot,
+ (SEC_ALLOC
+ | SEC_LOAD
+ | SEC_HAS_CONTENTS
+ | SEC_IN_MEMORY
+ | SEC_LINKER_CREATED
+ | SEC_READONLY))
+ || !bfd_set_section_alignment (dynobj, srelgot, 2))
+ return false;
+ }
+ }
+
+ if (h != NULL)
+ {
+ if (h->got.refcount == -1)
+ {
+ h->got.refcount = 1;
+
+ /* Make sure this symbol is output as a dynamic symbol. */
+ if (h->dynindx == -1)
+ {
+ if (!bfd_elf32_link_record_dynamic_symbol (info, h))
+ return false;
+ }
+
+ /* Allocate space in the .got section. */
+ sgot->_raw_size += 4;
+ /* Allocate relocation space. */
+ srelgot->_raw_size += sizeof (Elf32_External_Rela);
+ }
+ else
+ h->got.refcount++;
+ }
+ else
+ {
+ /* This is a global offset table entry for a local symbol. */
+ if (local_got_refcounts[r_symndx] == -1)
+ {
+ local_got_refcounts[r_symndx] = 1;
+
+ sgot->_raw_size += 4;
+ if (info->shared)
+ {
+ /* If we are generating a shared object, we need to
+ output a R_CRIS_RELATIVE reloc so that the dynamic
+ linker can adjust this GOT entry. */
+ srelgot->_raw_size += sizeof (Elf32_External_Rela);
+ }
+ }
+ else
+ local_got_refcounts[r_symndx]++;
+ }
+ break;
+
+ case R_CRIS_32_GOTREL:
+ /* This reference requires a global offset table.
+ FIXME: The actual refcount isn't used currently; the .got
+ section can't be removed if there were any references in the
+ input. */
+ local_got_refcounts[-1]++;
+ break;
+
+ handle_gotplt_reloc:
+
+ case R_CRIS_32_PLT_GOTREL:
+ /* This reference requires a global offset table. */
+ local_got_refcounts[-1]++;
+ /* Fall through. */
+
+ case R_CRIS_32_PLT_PCREL:
+ /* This symbol requires a procedure linkage table entry. We
+ actually build the entry in adjust_dynamic_symbol,
+ because this might be a case of linking PIC code which is
+ never referenced by a dynamic object, in which case we
+ don't need to generate a procedure linkage table entry
+ after all. */
+
+ /* If this is a local symbol, we resolve it directly without
+ creating a procedure linkage table entry. */
+ if (h == NULL)
+ continue;
+
+ h->elf_link_hash_flags |= ELF_LINK_HASH_NEEDS_PLT;
+ if (h->plt.refcount == -1)
+ h->plt.refcount = 1;
+ else
+ h->plt.refcount++;
+ break;
+
+ case R_CRIS_8:
+ case R_CRIS_16:
+ case R_CRIS_32:
+ /* Let's help debug shared library creation. Any of these
+ relocs can be used in shared libs, but pages containing them
+ cannot be shared. Don't warn for sections we don't care
+ about, such as debug sections or non-constant sections. We
+ can't help tables of (global) function pointers, for example,
+ though they must be emitted in a data section to avoid having
+ impure text sections. */
+ if (info->shared
+ && (sec->flags & SEC_ALLOC) != 0
+ && (sec->flags & SEC_READONLY) != 0)
+ {
+ /* FIXME: How do we make this optionally a warning only? */
+ if (abfd->my_archive)
+ (*_bfd_error_handler)
+ (_("%s(%s), section %s:\n relocation %s should not be used in a shared object; recompile with -fPIC"),
+ bfd_get_filename (bfd_my_archive (abfd)),
+ bfd_get_filename (abfd),
+ sec->name,
+ cris_elf_howto_table[ELF32_R_TYPE (rel->r_info)].name);
+ else
+ (*_bfd_error_handler)
+ (_("%s, section %s:\n relocation %s should not be used in a shared object; recompile with -fPIC"),
+ bfd_get_filename (abfd),
+ sec->name,
+ cris_elf_howto_table[ELF32_R_TYPE (rel->r_info)].name);
+ }
+ /* Fall through. */
+
+ case R_CRIS_8_PCREL:
+ case R_CRIS_16_PCREL:
+ case R_CRIS_32_PCREL:
+ if (h != NULL)
+ {
+ h->elf_link_hash_flags |= ELF_LINK_NON_GOT_REF;
+
+ /* Make sure a plt entry is created for this symbol if it
+ turns out to be a function defined by a dynamic object. */
+ if (h->plt.refcount == -1)
+ h->plt.refcount = 1;
+ else
+ h->plt.refcount++;
+ }
+
+ /* If we are creating a shared library and this is not a local
+ symbol, we need to copy the reloc into the shared library.
+ However when linking with -Bsymbolic and this is a global
+ symbol which is defined in an object we are including in the
+ link (i.e., DEF_REGULAR is set), then we can resolve the
+ reloc directly. At this point we have not seen all the input
+ files, so it is possible that DEF_REGULAR is not set now but
+ will be set later (it is never cleared). In case of a weak
+ definition, DEF_REGULAR may be cleared later by a strong
+ definition in a shared library. We account for that
+ possibility below by storing information in the relocs_copied
+ field of the hash table entry. A similar situation occurs
+ when creating shared libraries and symbol visibility changes
+ render the symbol local. */
+
+ /* No need to do anything if we're not creating a shared object. */
+ if (! info->shared)
+ break;
+
+ /* We don't need to handle relocs into sections not going into
+ the "real" output. */
+ if ((sec->flags & SEC_ALLOC) == 0)
+ break;
+
+ /* We can only eliminate PC-relative relocs. */
+ if (r_type == R_CRIS_8_PCREL
+ || r_type == R_CRIS_16_PCREL
+ || r_type == R_CRIS_32_PCREL)
+ {
+ /* If the symbol is local, then we can eliminate the reloc. */
+ if (h == NULL)
+ break;
+
+ /* If this is with -Bsymbolic and the symbol isn't weak, and
+ is defined by an ordinary object (the ones we include in
+ this shared library) then we can also eliminate the
+ reloc. See comment above for more eliminable cases which
+ we can't identify at this time. */
+ if (info->symbolic
+ && h->root.type != bfd_link_hash_defweak
+ && (h->elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0)
+ break;
+ }
+
+ /* We create a reloc section in dynobj and make room for this
+ reloc. */
+ if (sreloc == NULL)
+ {
+ const char *name;
+
+ name = (bfd_elf_string_from_elf_section
+ (abfd,
+ elf_elfheader (abfd)->e_shstrndx,
+ elf_section_data (sec)->rel_hdr.sh_name));
+ if (name == NULL)
+ return false;
+
+ BFD_ASSERT (strncmp (name, ".rela", 5) == 0
+ && strcmp (bfd_get_section_name (abfd, sec),
+ name + 5) == 0);
+
+ sreloc = bfd_get_section_by_name (dynobj, name);
+ if (sreloc == NULL)
+ {
+ sreloc = bfd_make_section (dynobj, name);
+ if (sreloc == NULL
+ || !bfd_set_section_flags (dynobj, sreloc,
+ (SEC_ALLOC
+ | SEC_LOAD
+ | SEC_HAS_CONTENTS
+ | SEC_IN_MEMORY
+ | SEC_LINKER_CREATED
+ | SEC_READONLY))
+ || !bfd_set_section_alignment (dynobj, sreloc, 2))
+ return false;
+ }
+ }
+
+ sreloc->_raw_size += sizeof (Elf32_External_Rela);
+
+ /* If we are linking with -Bsymbolic, we count the number of PC
+ relative relocations we have entered for this symbol, so that
+ we can discard them again if the symbol is later defined by a
+ regular object. We know that h is really a pointer to an
+ elf_cris_link_hash_entry. */
+ if ((ELF32_R_TYPE (rel->r_info) == R_CRIS_8_PCREL
+ || ELF32_R_TYPE (rel->r_info) == R_CRIS_16_PCREL
+ || ELF32_R_TYPE (rel->r_info) == R_CRIS_32_PCREL)
+ && info->symbolic)
+ {
+ struct elf_cris_link_hash_entry *eh;
+ struct elf_cris_pcrel_relocs_copied *p;
+
+ eh = (struct elf_cris_link_hash_entry *) h;
+
+ for (p = eh->pcrel_relocs_copied; p != NULL; p = p->next)
+ if (p->section == sreloc)
+ break;
+
+ if (p == NULL)
+ {
+ p = ((struct elf_cris_pcrel_relocs_copied *)
+ bfd_alloc (dynobj, sizeof *p));
+ if (p == NULL)
+ return false;
+ p->next = eh->pcrel_relocs_copied;
+ eh->pcrel_relocs_copied = p;
+ p->section = sreloc;
+ p->count = 0;
+ }
+
+ ++p->count;
+ }
+ break;
+
/* This relocation describes the C++ object vtable hierarchy.
Reconstruct it for later use during GC. */
case R_CRIS_GNU_VTINHERIT:
return true;
}
-/* Reject a file depending on underscores on symbols. */
+/* Set the sizes of the dynamic sections. */
+
+static boolean
+elf_cris_size_dynamic_sections (output_bfd, info)
+ bfd *output_bfd;
+ struct bfd_link_info *info;
+{
+ bfd *dynobj;
+ asection *s;
+ boolean plt;
+ boolean relocs;
+ boolean reltext;
+
+ dynobj = elf_hash_table (info)->dynobj;
+ BFD_ASSERT (dynobj != NULL);
+
+ if (elf_hash_table (info)->dynamic_sections_created)
+ {
+ /* Set the contents of the .interp section to the interpreter. */
+ if (!info->shared)
+ {
+ s = bfd_get_section_by_name (dynobj, ".interp");
+ BFD_ASSERT (s != NULL);
+ s->_raw_size = sizeof ELF_DYNAMIC_INTERPRETER;
+ s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
+ }
+ }
+ else
+ {
+ /* Adjust all expected GOTPLT uses to use a GOT entry instead. */
+ elf_cris_link_hash_traverse (elf_cris_hash_table (info),
+ elf_cris_adjust_gotplt_to_got,
+ (PTR) info);
+
+ /* We may have created entries in the .rela.got section.
+ However, if we are not creating the dynamic sections, we will
+ not actually use these entries. Reset the size of .rela.got,
+ which will cause it to get stripped from the output file
+ below. */
+ s = bfd_get_section_by_name (dynobj, ".rela.got");
+ if (s != NULL)
+ s->_raw_size = 0;
+ }
+
+ /* If this is a -Bsymbolic shared link, then we need to discard all PC
+ relative relocs against symbols defined in a regular object. We
+ allocated space for them in the check_relocs routine, but we will not
+ fill them in in the relocate_section routine. We also discard space
+ for relocs that have become for local symbols due to symbol
+ visibility changes. */
+ if (info->shared)
+ elf_cris_link_hash_traverse (elf_cris_hash_table (info),
+ elf_cris_discard_copies,
+ (PTR) info);
+
+ /* The check_relocs and adjust_dynamic_symbol entry points have
+ determined the sizes of the various dynamic sections. Allocate
+ memory for them. */
+ plt = false;
+ relocs = false;
+ reltext = false;
+ for (s = dynobj->sections; s != NULL; s = s->next)
+ {
+ const char *name;
+ boolean strip;
+
+ if ((s->flags & SEC_LINKER_CREATED) == 0)
+ continue;
+
+ /* It's OK to base decisions on the section name, because none
+ of the dynobj section names depend upon the input files. */
+ name = bfd_get_section_name (dynobj, s);
+
+ strip = false;
+
+ if (strcmp (name, ".plt") == 0)
+ {
+ if (s->_raw_size == 0)
+ {
+ /* Strip this section if we don't need it; see the
+ comment below. */
+ strip = true;
+ }
+ else
+ {
+ /* Remember whether there is a PLT. */
+ plt = true;
+ }
+ }
+ else if (strncmp (name, ".rela", 5) == 0)
+ {
+ if (s->_raw_size == 0)
+ {
+ /* If we don't need this section, strip it from the
+ output file. This is mostly to handle .rela.bss and
+ .rela.plt. We must create both sections in
+ create_dynamic_sections, because they must be created
+ before the linker maps input sections to output
+ sections. The linker does that before
+ adjust_dynamic_symbol is called, and it is that
+ function which decides whether anything needs to go
+ into these sections. */
+ strip = true;
+ }
+ else
+ {
+ asection *target;
+
+ /* Remember whether there are any reloc sections other
+ than .rela.plt. */
+ if (strcmp (name, ".rela.plt") != 0)
+ {
+ const char *outname;
+
+ relocs = true;
+
+ /* If this relocation section applies to a read only
+ section, then we probably need a DT_TEXTREL entry.
+ The entries in the .rela.plt section are actually
+ associated with .got.plt, which we created ourselves
+ and so know is not readonly. */
+ outname = bfd_get_section_name (output_bfd,
+ s->output_section);
+ target
+ = bfd_get_section_by_name (output_bfd,
+ outname + strlen (".rela"));
+
+ /* We have to test the .text section by name, becase for
+ some reason it does not have SEC_READONLY set at this
+ time. That flag is actually set in ldmain.c:main
+ specifically for ".text" at a time long after this
+ function is called. FIXME: This might be due to a
+ general bug. FIXME: Have testcase for this. */
+ if (target != NULL
+ && (target->flags & SEC_ALLOC) != 0
+ && ((target->flags & SEC_READONLY) != 0
+ || strcmp (outname + strlen (".rela"),
+ ".text") == 0))
+ reltext = true;
+ }
+
+ /* We use the reloc_count field as a counter if we need
+ to copy relocs into the output file. */
+ s->reloc_count = 0;
+ }
+ }
+ else if (strncmp (name, ".got", 4) != 0)
+ {
+ /* It's not one of our sections, so don't allocate space. */
+ continue;
+ }
+
+ if (strip)
+ {
+ _bfd_strip_section_from_output (info, s);
+ continue;
+ }
+
+ /* Allocate memory for the section contents. We use bfd_zalloc here
+ in case unused entries are not reclaimed before the section's
+ contents are written out. This should not happen, but this way
+ if it does, we will not write out garbage. For reloc sections,
+ this will make entries have the type R_CRIS_NONE. */
+ s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->_raw_size);
+ if (s->contents == NULL && s->_raw_size != 0)
+ return false;
+ }
+
+ if (elf_hash_table (info)->dynamic_sections_created)
+ {
+ /* Add some entries to the .dynamic section. We fill in the
+ values later, in elf_cris_finish_dynamic_sections, but we
+ must add the entries now so that we get the correct size for
+ the .dynamic section. The DT_DEBUG entry is filled in by the
+ dynamic linker and used by the debugger. */
+ if (!info->shared)
+ {
+ if (!bfd_elf32_add_dynamic_entry (info, DT_DEBUG, 0))
+ return false;
+ }
+
+ if (plt)
+ {
+ if (!bfd_elf32_add_dynamic_entry (info, DT_PLTGOT, 0)
+ || !bfd_elf32_add_dynamic_entry (info, DT_PLTRELSZ, 0)
+ || !bfd_elf32_add_dynamic_entry (info, DT_PLTREL, DT_RELA)
+ || !bfd_elf32_add_dynamic_entry (info, DT_JMPREL, 0))
+ return false;
+ }
+
+ if (relocs)
+ {
+ if (!bfd_elf32_add_dynamic_entry (info, DT_RELA, 0)
+ || !bfd_elf32_add_dynamic_entry (info, DT_RELASZ, 0)
+ || !bfd_elf32_add_dynamic_entry (info, DT_RELAENT,
+ sizeof (Elf32_External_Rela)))
+ return false;
+ }
+
+ if (reltext)
+ {
+ if (!bfd_elf32_add_dynamic_entry (info, DT_TEXTREL, 0))
+ return false;
+ info->flags |= DF_TEXTREL;
+ }
+ }
+
+ return true;
+}
+
+/* This function is called via elf_cris_link_hash_traverse if we are
+ creating a shared object. In the -Bsymbolic case, it discards the
+ space allocated to copy PC relative relocs against symbols which
+ are defined in regular objects. For the normal non-symbolic case,
+ we also discard space for relocs that have become local due to
+ symbol visibility changes. We allocated space for them in the
+ check_relocs routine, but we won't fill them in in the
+ relocate_section routine. */
+
+static boolean
+elf_cris_discard_copies (h, inf)
+ struct elf_cris_link_hash_entry *h;
+ PTR inf;
+{
+ struct elf_cris_pcrel_relocs_copied *s;
+ struct bfd_link_info *info = (struct bfd_link_info *) inf;
+
+ /* If a symbol has been forced local or we have found a regular
+ definition for the symbolic link case, then we won't be needing
+ any relocs. */
+ if ((h->root.elf_link_hash_flags & ELF_LINK_HASH_DEF_REGULAR) != 0
+ && ((h->root.elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0
+ || info->symbolic))
+ {
+ for (s = h->pcrel_relocs_copied; s != NULL; s = s->next)
+ s->section->_raw_size -= s->count * sizeof (Elf32_External_Rel);
+ }
+
+ return true;
+}
+
+/* Reject a file depending on presence and expectation of prefixed
+ underscores on symbols. */
static boolean
cris_elf_object_p (abfd)
#define bfd_elf32_bfd_reloc_type_lookup cris_reloc_type_lookup
+#define bfd_elf32_bfd_link_hash_table_create \
+ elf_cris_link_hash_table_create
+#define elf_backend_adjust_dynamic_symbol \
+ elf_cris_adjust_dynamic_symbol
+#define elf_backend_size_dynamic_sections \
+ elf_cris_size_dynamic_sections
+#define elf_backend_finish_dynamic_symbol \
+ elf_cris_finish_dynamic_symbol
+#define elf_backend_finish_dynamic_sections \
+ elf_cris_finish_dynamic_sections
+#define elf_backend_create_dynamic_sections \
+ _bfd_elf_create_dynamic_sections
+#define bfd_elf32_bfd_final_link \
+ _bfd_elf32_gc_common_final_link
+#define elf_backend_hide_symbol elf_cris_hide_symbol
+
+#define elf_backend_want_got_plt 1
+#define elf_backend_plt_readonly 1
+#define elf_backend_want_plt_sym 0
+#define elf_backend_got_header_size 12
+#define elf_backend_plt_header_size PLT_ENTRY_SIZE
+
/* Later, we my want to optimize RELA entries into REL entries for dynamic
linking and libraries (if it's a win of any significance). Until then,
take the easy route. */
projects / binutils-gdb.git / commitdiff