From a72b8c0e07549fa87ca1cc78dab87d68d6cc27f2 Mon Sep 17 00:00:00 2001 From: Nick Clifton Date: Tue, 3 Feb 2009 14:36:47 +0000 Subject: [PATCH] M68K TLS support. ld/testsuite/ * ld-m68k/got-multigot-12-13-14-34-35-ok.d: Update. * ld-m68k/got-multigot-14-ok.d: Update. * ld-m68k/m68k-got.exp: Update. * ld-m68k/got-negative-12-13-14-34-ok.d: Update. * ld-m68k/got-negative-14-ok.d: Update. * ld-m68k/tls-gd-1.d, ld-m68k/tls-gd-2.d: New tests. * ld-m68k/tls-gd-ie-1.d, ld-m68k/tls-ie-1.d: New tests. * ld-m68k/tls-ld-1.d, ld-m68k/tls-ld-2.d: New tests. * ld-m68k/tls-ld-1.s, ld-m68k/tls-ld-2.s, ld-m68k/tls-le-1.s: New test sources. * ld-m68k/tls-no-1.s, ld-m68k/tls-gd-ie-1.s, ld-m68k/tls-gd-1.s: New test sources. * ld-m68k/tls-gd-2.s, ld-m68k/tls-ie-1.s: New test sources. * ld-m68k/m68k.exp: Run new tests. (merge isa-a isa-a:nodiv): Fix. gas/testsuite/ * gas/m68k/tls-gd-3.d, gas/m68k/tls-gd-3.s: New test. * gas/m68k/all.exp: Run it. gas/ * config/m68k-parse.h (enum pic_relocation): Add values for TLS relocations. * config/m68k-parse.y (yylex): Parse TLS relocations. * config/tc-m68k.c (m68k_elf_cons): New static function. (md_pseudo_table): Use it. (get_reloc_code, tc_m68k_fix_adjustable, tc_gen_reloc): Handle TLS relocations. (md_apply_fix): Fix to set thread local flag. (m68k_elf_suffix): New static function; helper for m68k_elf_cons. include/elf/ * m68k.h: Map TLS relocations to numbers. bfd/ * bfd-in2.h: Regenerate. * elf32-m68k.c: Handle 2-slot GOT entries. Rename variables and fields from n_entries to n_slots where appropriate, update comments. (HOWTO): Add TLS relocations. (reloc_map): Map BFD_RELOC_68K_TLS_* to R_68K_TLS_*. (enum elf_m68k_got_offset_size): New enum. (struct elf_m68k_got_entry.type): Move field to ... (struct elf_m68k_got_entry_key): ... here. Update all uses. (elf_m68k_reloc_got_type, elf_m68k_reloc_got_offset_size): New static functions. (elf_m68k_reloc_got_n_entries, elf_m68k_reloc_tls_p): New static functions. (struct elf_m68k_got): merge rel_8o_n_entries and rel_8o_16o_n_entries fields into n_entries array. Update comments. (elf_m68k_init_got): Simplify, update all uses. (elf_m68k_init_got_entry_key): Handle R_68K_TLS_LDM32 reloc, update. (ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT): Adjust to handle 2-slot GOT entries; update name, update all uses. (ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT): Ditto. (elf_m68k_get_got_entry): Update. (elf_m68k_update_got_entry_type): Rewrite to handle TLS GOT entries, simplify. (elf_m68k_remove_got_entry_type): Simplify. (elf_m68k_add_entry_to_got, elf_m68k_can_merge_gots_1): Update. (elf_m68k_can_merge_gots): Update. (elf_m68k_merge_gots_1, elf_m68k_merge_gots): Update. (struct elf_m68k_finalize_got_offsets_arg): Rewrite to handle 2-slot GOT entries, simplify. (elf_m68k_finalize_got_offsets_1, elf_m68k_finalize_got_offsets): Same. (struct elf_m68k_partition_multi_got_arg): Add slots_relas_diff field, remove obsoleted local_n_entries field. (elf_m68k_partition_multi_got_2): New static function. (elf_m68k_partition_multi_got_1, elf_m68k_partition_multi_got): Use it; update. (elf_m68k_remove_got_entry_type): Update. (elf_m68k_install_rela, dtpoff_base, tpoff): New static functions. (elf_m68k_check_relocs): Handle TLS relocations. Remove unnecessary update of sgot->size and srelgot->size. (elf_m68k_gc_sweep_hook): Update. (elf_m68k_install_rela, dtpoff_base, tpoff): New static functions. (elf_m68k_relocate_section, elf_m68k_finish_dynamic_symbol): Handle TLS relocations. * reloc.c (BFD_RELOC_68K_TLS_*): Declare TLS relocations. * libbfd.h (bfd_reloc_code_real_names): Add BFD_RELOC_68K_TLS_*. --- bfd/ChangeLog | 47 + bfd/bfd-in2.h | 15 + bfd/elf32-m68k.c | 1520 ++++++++++++++------ bfd/libbfd.h | 15 + bfd/reloc.c | 30 + gas/ChangeLog | 12 + gas/config/m68k-parse.h | 7 +- gas/config/m68k-parse.y | 30 +- gas/config/tc-m68k.c | 255 +++- gas/testsuite/ChangeLog | 5 + gas/testsuite/gas/m68k/all.exp | 4 + include/elf/ChangeLog | 4 + include/elf/m68k.h | 19 + ld/testsuite/ChangeLog | 18 + .../ld-m68k/got-multigot-12-13-14-34-35-ok.d | 4 +- ld/testsuite/ld-m68k/got-multigot-14-ok.d | 4 +- ld/testsuite/ld-m68k/got-negative-12-13-14-34-ok.d | 4 +- ld/testsuite/ld-m68k/got-negative-14-ok.d | 4 +- ld/testsuite/ld-m68k/m68k-got.exp | 14 +- ld/testsuite/ld-m68k/m68k.exp | 11 +- 20 files changed, 1564 insertions(+), 458 deletions(-) diff --git a/bfd/ChangeLog b/bfd/ChangeLog index 0a030ffee..76d435bd4 100644 --- a/bfd/ChangeLog +++ b/bfd/ChangeLog @@ -1,3 +1,50 @@ +2009-02-03 Maxim Kuvyrkov + + * bfd-in2.h: Regenerate. + * elf32-m68k.c: Handle 2-slot GOT entries. Rename variables and + fields from n_entries to n_slots where appropriate, update comments. + (HOWTO): Add TLS relocations. + (reloc_map): Map BFD_RELOC_68K_TLS_* to R_68K_TLS_*. + (enum elf_m68k_got_offset_size): New enum. + (struct elf_m68k_got_entry.type): Move field to ... + (struct elf_m68k_got_entry_key): ... here. Update all uses. + (elf_m68k_reloc_got_type, elf_m68k_reloc_got_offset_size): New static + functions. + (elf_m68k_reloc_got_n_entries, elf_m68k_reloc_tls_p): New static + functions. + (struct elf_m68k_got): merge rel_8o_n_entries and rel_8o_16o_n_entries + fields into n_entries array. Update comments. + (elf_m68k_init_got): Simplify, update all uses. + (elf_m68k_init_got_entry_key): Handle R_68K_TLS_LDM32 reloc, update. + (ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT): Adjust to handle 2-slot + GOT entries; update name, update all uses. + (ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT): Ditto. + (elf_m68k_get_got_entry): Update. + (elf_m68k_update_got_entry_type): Rewrite to handle TLS GOT entries, + simplify. + (elf_m68k_remove_got_entry_type): Simplify. + (elf_m68k_add_entry_to_got, elf_m68k_can_merge_gots_1): Update. + (elf_m68k_can_merge_gots): Update. + (elf_m68k_merge_gots_1, elf_m68k_merge_gots): Update. + (struct elf_m68k_finalize_got_offsets_arg): Rewrite to handle 2-slot + GOT entries, simplify. + (elf_m68k_finalize_got_offsets_1, elf_m68k_finalize_got_offsets): Same. + (struct elf_m68k_partition_multi_got_arg): Add slots_relas_diff + field, remove obsoleted local_n_entries field. + (elf_m68k_partition_multi_got_2): New static function. + (elf_m68k_partition_multi_got_1, elf_m68k_partition_multi_got): Use it; + update. + (elf_m68k_remove_got_entry_type): Update. + (elf_m68k_install_rela, dtpoff_base, tpoff): New static functions. + (elf_m68k_check_relocs): Handle TLS relocations. Remove unnecessary + update of sgot->size and srelgot->size. + (elf_m68k_gc_sweep_hook): Update. + (elf_m68k_install_rela, dtpoff_base, tpoff): New static functions. + (elf_m68k_relocate_section, elf_m68k_finish_dynamic_symbol): Handle + TLS relocations. + * reloc.c (BFD_RELOC_68K_TLS_*): Declare TLS relocations. + * libbfd.h (bfd_reloc_code_real_names): Add BFD_RELOC_68K_TLS_*. + 2009-02-02 DJ Delorie * elf32-mep.c (config_names): Regenerate configuration. diff --git a/bfd/bfd-in2.h b/bfd/bfd-in2.h index 779f03ad6..b79fa5c88 100644 --- a/bfd/bfd-in2.h +++ b/bfd/bfd-in2.h @@ -2363,6 +2363,21 @@ The 24-bit relocation is used in some Intel 960 configurations. */ BFD_RELOC_68K_GLOB_DAT, BFD_RELOC_68K_JMP_SLOT, BFD_RELOC_68K_RELATIVE, + BFD_RELOC_68K_TLS_GD32, + BFD_RELOC_68K_TLS_GD16, + BFD_RELOC_68K_TLS_GD8, + BFD_RELOC_68K_TLS_LDM32, + BFD_RELOC_68K_TLS_LDM16, + BFD_RELOC_68K_TLS_LDM8, + BFD_RELOC_68K_TLS_LDO32, + BFD_RELOC_68K_TLS_LDO16, + BFD_RELOC_68K_TLS_LDO8, + BFD_RELOC_68K_TLS_IE32, + BFD_RELOC_68K_TLS_IE16, + BFD_RELOC_68K_TLS_IE8, + BFD_RELOC_68K_TLS_LE32, + BFD_RELOC_68K_TLS_LE16, + BFD_RELOC_68K_TLS_LE8, /* Linkage-table relative. */ BFD_RELOC_32_BASEREL, diff --git a/bfd/elf32-m68k.c b/bfd/elf32-m68k.c index cb7eb5e47..542501bbf 100644 --- a/bfd/elf32-m68k.c +++ b/bfd/elf32-m68k.c @@ -1,6 +1,6 @@ /* Motorola 68k series support for 32-bit ELF Copyright 1993, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, - 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc. + 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. This file is part of BFD, the Binary File Descriptor library. @@ -114,6 +114,263 @@ static reloc_howto_type howto_table[] = { 0, /* src_mask */ 0, /* dst_mask */ FALSE), + + /* TLS general dynamic variable reference. */ + HOWTO (R_68K_TLS_GD32, /* 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_68K_TLS_GD32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_GD16, /* type */ + 0, /* rightshift */ + 1, /* size (0 = byte, 1 = short, 2 = long) */ + 16, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_GD16", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x0000ffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_GD8, /* type */ + 0, /* rightshift */ + 0, /* size (0 = byte, 1 = short, 2 = long) */ + 8, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_GD8", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x000000ff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + /* TLS local dynamic variable reference. */ + HOWTO (R_68K_TLS_LDM32, /* 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_68K_TLS_LDM32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LDM16, /* type */ + 0, /* rightshift */ + 1, /* size (0 = byte, 1 = short, 2 = long) */ + 16, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LDM16", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x0000ffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LDM8, /* type */ + 0, /* rightshift */ + 0, /* size (0 = byte, 1 = short, 2 = long) */ + 8, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LDM8", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x000000ff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LDO32, /* 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_68K_TLS_LDO32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LDO16, /* type */ + 0, /* rightshift */ + 1, /* size (0 = byte, 1 = short, 2 = long) */ + 16, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LDO16", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x0000ffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LDO8, /* type */ + 0, /* rightshift */ + 0, /* size (0 = byte, 1 = short, 2 = long) */ + 8, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LDO8", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x000000ff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + /* TLS initial execution variable reference. */ + HOWTO (R_68K_TLS_IE32, /* 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_68K_TLS_IE32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_IE16, /* type */ + 0, /* rightshift */ + 1, /* size (0 = byte, 1 = short, 2 = long) */ + 16, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_IE16", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x0000ffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_IE8, /* type */ + 0, /* rightshift */ + 0, /* size (0 = byte, 1 = short, 2 = long) */ + 8, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_IE8", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x000000ff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + /* TLS local execution variable reference. */ + HOWTO (R_68K_TLS_LE32, /* 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_68K_TLS_LE32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LE16, /* type */ + 0, /* rightshift */ + 1, /* size (0 = byte, 1 = short, 2 = long) */ + 16, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LE16", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x0000ffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_LE8, /* type */ + 0, /* rightshift */ + 0, /* size (0 = byte, 1 = short, 2 = long) */ + 8, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_signed, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_LE8", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0x000000ff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + /* TLS GD/LD dynamic relocations. */ + HOWTO (R_68K_TLS_DTPMOD32, /* type */ + 0, /* rightshift */ + 2, /* size (0 = byte, 1 = short, 2 = long) */ + 32, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_dont, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_DTPMOD32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_DTPREL32, /* type */ + 0, /* rightshift */ + 2, /* size (0 = byte, 1 = short, 2 = long) */ + 32, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_dont, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_DTPREL32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ + + HOWTO (R_68K_TLS_TPREL32, /* type */ + 0, /* rightshift */ + 2, /* size (0 = byte, 1 = short, 2 = long) */ + 32, /* bitsize */ + FALSE, /* pc_relative */ + 0, /* bitpos */ + complain_overflow_dont, /* complain_on_overflow */ + bfd_elf_generic_reloc, /* special_function */ + "R_68K_TLS_TPREL32", /* name */ + FALSE, /* partial_inplace */ + 0, /* src_mask */ + 0xffffffff, /* dst_mask */ + FALSE), /* pcrel_offset */ }; static void @@ -132,7 +389,9 @@ static const struct { bfd_reloc_code_real_type bfd_val; int elf_val; -} reloc_map[] = { +} + reloc_map[] = +{ { BFD_RELOC_NONE, R_68K_NONE }, { BFD_RELOC_32, R_68K_32 }, { BFD_RELOC_16, R_68K_16 }, @@ -159,6 +418,21 @@ static const struct { BFD_RELOC_CTOR, R_68K_32 }, { BFD_RELOC_VTABLE_INHERIT, R_68K_GNU_VTINHERIT }, { BFD_RELOC_VTABLE_ENTRY, R_68K_GNU_VTENTRY }, + { BFD_RELOC_68K_TLS_GD32, R_68K_TLS_GD32 }, + { BFD_RELOC_68K_TLS_GD16, R_68K_TLS_GD16 }, + { BFD_RELOC_68K_TLS_GD8, R_68K_TLS_GD8 }, + { BFD_RELOC_68K_TLS_LDM32, R_68K_TLS_LDM32 }, + { BFD_RELOC_68K_TLS_LDM16, R_68K_TLS_LDM16 }, + { BFD_RELOC_68K_TLS_LDM8, R_68K_TLS_LDM8 }, + { BFD_RELOC_68K_TLS_LDO32, R_68K_TLS_LDO32 }, + { BFD_RELOC_68K_TLS_LDO16, R_68K_TLS_LDO16 }, + { BFD_RELOC_68K_TLS_LDO8, R_68K_TLS_LDO8 }, + { BFD_RELOC_68K_TLS_IE32, R_68K_TLS_IE32 }, + { BFD_RELOC_68K_TLS_IE16, R_68K_TLS_IE16 }, + { BFD_RELOC_68K_TLS_IE8, R_68K_TLS_IE8 }, + { BFD_RELOC_68K_TLS_LE32, R_68K_TLS_LE32 }, + { BFD_RELOC_68K_TLS_LE16, R_68K_TLS_LE16 }, + { BFD_RELOC_68K_TLS_LE8, R_68K_TLS_LE8 }, }; static reloc_howto_type * @@ -419,8 +693,20 @@ struct elf_m68k_got_entry_key /* Symbol index. Either local symbol index or h->got_entry_key. */ unsigned long symndx; + + /* Type is one of R_68K_GOT{8, 16, 32}O, R_68K_TLS_GD{8, 16, 32}, + R_68K_TLS_LDM{8, 16, 32} or R_68K_TLS_IE{8, 16, 32}. + + From perspective of hashtable key, only elf_m68k_got_reloc_type (type) + matters. That is, we distinguish between, say, R_68K_GOT16O + and R_68K_GOT32O when allocating offsets, but they are considered to be + the same when searching got->entries. */ + enum elf_m68k_reloc_type type; }; +/* Size of the GOT offset suitable for relocation. */ +enum elf_m68k_got_offset_size { R_8, R_16, R_32, R_LAST }; + /* Entry of the GOT. */ struct elf_m68k_got_entry { @@ -435,9 +721,6 @@ struct elf_m68k_got_entry /* Number of times this entry is referenced. It is used to filter out unnecessary GOT slots in elf_m68k_gc_sweep_hook. */ bfd_vma refcount; - - /* Type is one of R_68K_GOT8O, R_68K_GOT16O or R_68K_GOT32O. */ - int type; } s1; struct @@ -456,6 +739,116 @@ struct elf_m68k_got_entry } u; }; +/* Return representative type for relocation R_TYPE. + This is used to avoid enumerating many relocations in comparisons, + switches etc. */ + +static enum elf_m68k_reloc_type +elf_m68k_reloc_got_type (enum elf_m68k_reloc_type r_type) +{ + switch (r_type) + { + /* In most cases R_68K_GOTx relocations require the very same + handling as R_68K_GOT32O relocation. In cases when we need + to distinguish between the two, we use explicitly compare against + r_type. */ + case R_68K_GOT32: + case R_68K_GOT16: + case R_68K_GOT8: + case R_68K_GOT32O: + case R_68K_GOT16O: + case R_68K_GOT8O: + return R_68K_GOT32O; + + case R_68K_TLS_GD32: + case R_68K_TLS_GD16: + case R_68K_TLS_GD8: + return R_68K_TLS_GD32; + + case R_68K_TLS_LDM32: + case R_68K_TLS_LDM16: + case R_68K_TLS_LDM8: + return R_68K_TLS_LDM32; + + case R_68K_TLS_IE32: + case R_68K_TLS_IE16: + case R_68K_TLS_IE8: + return R_68K_TLS_IE32; + + default: + BFD_ASSERT (FALSE); + return 0; + } +} + +/* Return size of the GOT entry offset for relocation R_TYPE. */ + +static enum elf_m68k_got_offset_size +elf_m68k_reloc_got_offset_size (enum elf_m68k_reloc_type r_type) +{ + switch (r_type) + { + case R_68K_GOT32: case R_68K_GOT16: case R_68K_GOT8: + case R_68K_GOT32O: case R_68K_TLS_GD32: case R_68K_TLS_LDM32: + case R_68K_TLS_IE32: + return R_32; + + case R_68K_GOT16O: case R_68K_TLS_GD16: case R_68K_TLS_LDM16: + case R_68K_TLS_IE16: + return R_16; + + case R_68K_GOT8O: case R_68K_TLS_GD8: case R_68K_TLS_LDM8: + case R_68K_TLS_IE8: + return R_8; + + default: + BFD_ASSERT (FALSE); + return 0; + } +} + +/* Return number of GOT entries we need to allocate in GOT for + relocation R_TYPE. */ + +static bfd_vma +elf_m68k_reloc_got_n_slots (enum elf_m68k_reloc_type r_type) +{ + switch (elf_m68k_reloc_got_type (r_type)) + { + case R_68K_GOT32O: + case R_68K_TLS_IE32: + return 1; + + case R_68K_TLS_GD32: + case R_68K_TLS_LDM32: + return 2; + + default: + BFD_ASSERT (FALSE); + return 0; + } +} + +/* Return TRUE if relocation R_TYPE is a TLS one. */ + +static bfd_boolean +elf_m68k_reloc_tls_p (enum elf_m68k_reloc_type r_type) +{ + switch (r_type) + { + case R_68K_TLS_GD32: case R_68K_TLS_GD16: case R_68K_TLS_GD8: + case R_68K_TLS_LDM32: case R_68K_TLS_LDM16: case R_68K_TLS_LDM8: + case R_68K_TLS_LDO32: case R_68K_TLS_LDO16: case R_68K_TLS_LDO8: + case R_68K_TLS_IE32: case R_68K_TLS_IE16: case R_68K_TLS_IE8: + case R_68K_TLS_LE32: case R_68K_TLS_LE16: case R_68K_TLS_LE8: + case R_68K_TLS_DTPMOD32: case R_68K_TLS_DTPREL32: case R_68K_TLS_TPREL32: + return TRUE; + + default: + return FALSE; + } +} + /* Data structure representing a single GOT. */ struct elf_m68k_got { @@ -464,18 +857,20 @@ struct elf_m68k_got R_68K_GOT8O entries. */ htab_t entries; - /* Number of R_68K_GOT8O entries in this GOT. - This is used to detect the overflow of number of such entries. */ - bfd_vma rel_8o_n_entries; + /* Number of R_x slots in this GOT. Some (e.g., TLS) entries require + several GOT slots. - /* Cumulative count of R_68K_GOT8O and R_68K_GOT16O entries in this GOT. - This is used to detect the overflow of number of such entries. */ - bfd_vma rel_8o_16o_n_entries; + n_slots[R_8] is the count of R_8 slots in this GOT. + n_slots[R_16] is the cumulative count of R_8 and R_16 slots + in this GOT. + n_slots[R_32] is the cumulative count of R_8, R_16 and R_32 slots + in this GOT. This is the total number of slots. */ + bfd_vma n_slots[R_LAST]; - /* Number of local (entry->key_.h == NULL) entries in this GOT. + /* Number of local (entry->key_.h == NULL) slots in this GOT. This is only used to properly calculate size of .rela.got section; see elf_m68k_partition_multi_got. */ - bfd_vma local_n_entries; + bfd_vma local_n_slots; /* Offset of this GOT relative to beginning of .got section. */ bfd_vma offset; @@ -882,22 +1277,22 @@ elf32_m68k_print_private_bfd_data (bfd *abfd, void * ptr) Notes: - GOT entry type: We have 3 types of GOT entries. - * R_68K_GOT8O type is used in entries for symbols that have - at least one R_68K_GOT8O relocation. We can have at most 0x40 + GOT entry type: We have several types of GOT entries. + * R_8 type is used in entries for symbols that have at least one + R_68K_GOT8O or R_68K_TLS_*8 relocation. We can have at most 0x40 such entries in one GOT. - * R_68K_GOT16O type is used in entries for symbols that have - at least one R_68K_GOT16O relocation and no R_68K_GOT8O relocations. + * R_16 type is used in entries for symbols that have at least one + R_68K_GOT16O or R_68K_TLS_*16 relocation and no R_8 relocations. We can have at most 0x4000 such entries in one GOT. - * R_68K_GOT32O type is used in all other cases. We can have as many - such entries in one GOT as we like. + * R_32 type is used in all other cases. We can have as many + such entries in one GOT as we'd like. When counting relocations we have to include the count of the smaller ranged relocations in the counts of the larger ranged ones in order to correctly detect overflow. Sorting the GOT: In each GOT starting offsets are assigned to - R_68K_GOT8O entries, which are followed by R_68K_GOT16O entries, and - R_68K_GOT32O entries go at the end. See finalize_got_offsets for details. + R_8 entries, which are followed by R_16 entries, and + R_32 entries go at the end. See finalize_got_offsets for details. Negative GOT offsets: To double usable offset range of GOTs we use negative offsets. As we assign entries with GOT offsets relative to @@ -921,18 +1316,14 @@ elf32_m68k_print_private_bfd_data (bfd *abfd, void * ptr) /* Initialize GOT. */ static void -elf_m68k_init_got (struct elf_m68k_got *got, - htab_t entries, - bfd_vma rel_8o_n_entries, - bfd_vma rel_8o_16o_n_entries, - bfd_vma local_n_entries, - bfd_vma offset) -{ - got->entries = entries; - got->rel_8o_n_entries = rel_8o_n_entries; - got->rel_8o_16o_n_entries = rel_8o_16o_n_entries; - got->local_n_entries = local_n_entries; - got->offset = offset; +elf_m68k_init_got (struct elf_m68k_got *got) +{ + got->entries = NULL; + got->n_slots[R_8] = 0; + got->n_slots[R_16] = 0; + got->n_slots[R_32] = 0; + got->local_n_slots = 0; + got->offset = (bfd_vma) -1; } /* Destruct GOT. */ @@ -959,7 +1350,7 @@ elf_m68k_create_empty_got (struct bfd_link_info *info) if (got == NULL) return NULL; - elf_m68k_init_got (got, NULL, 0, 0, 0, (bfd_vma) -1); + elf_m68k_init_got (got); return got; } @@ -969,19 +1360,30 @@ elf_m68k_create_empty_got (struct bfd_link_info *info) static void elf_m68k_init_got_entry_key (struct elf_m68k_got_entry_key *key, struct elf_link_hash_entry *h, - const bfd *abfd, unsigned long symndx) + const bfd *abfd, unsigned long symndx, + enum elf_m68k_reloc_type reloc_type) { - if (h != NULL) + if (elf_m68k_reloc_got_type (reloc_type) == R_68K_TLS_LDM32) + /* All TLS_LDM relocations share a single GOT entry. */ + { + key->bfd = NULL; + key->symndx = 0; + } + else if (h != NULL) + /* Global symbols are identified with their got_entry_key. */ { key->bfd = NULL; key->symndx = elf_m68k_hash_entry (h)->got_entry_key; BFD_ASSERT (key->symndx != 0); } else + /* Local symbols are identified by BFD they appear in and symndx. */ { key->bfd = abfd; key->symndx = symndx; } + + key->type = reloc_type; } /* Calculate hash of got_entry. @@ -994,9 +1396,9 @@ elf_m68k_got_entry_hash (const void *_entry) key = &((const struct elf_m68k_got_entry *) _entry)->key_; - return key->symndx + (key->bfd != NULL - ? (int) key->bfd->id - : -1); + return (key->symndx + + (key->bfd != NULL ? (int) key->bfd->id : -1) + + elf_m68k_reloc_got_type (key->type)); } /* Check if two got entries are equal. */ @@ -1011,19 +1413,25 @@ elf_m68k_got_entry_eq (const void *_entry1, const void *_entry2) key2 = &((const struct elf_m68k_got_entry *) _entry2)->key_; return (key1->bfd == key2->bfd - && key1->symndx == key2->symndx); + && key1->symndx == key2->symndx + && (elf_m68k_reloc_got_type (key1->type) + == elf_m68k_reloc_got_type (key2->type))); } -/* Maximal number of R_68K_GOT8O entries in a single GOT. */ -#define ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT(INFO) \ +/* When using negative offsets, we allocate one extra R_8, one extra R_16 + and one extra R_32 slots to simplify handling of 2-slot entries during + offset allocation -- hence -1 for R_8 slots and -2 for R_16 slots. */ + +/* Maximal number of R_8 slots in a single GOT. */ +#define ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT(INFO) \ (elf_m68k_hash_table (INFO)->use_neg_got_offsets_p \ - ? 0x40 \ + ? (0x40 - 1) \ : 0x20) -/* Maximal number of R_68K_GOT8O and R_68K_GOT16O entries in a single GOT. */ -#define ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT(INFO) \ +/* Maximal number of R_8 and R_16 slots in a single GOT. */ +#define ELF_M68K_R_8_16_MAX_N_SLOTS_IN_GOT(INFO) \ (elf_m68k_hash_table (INFO)->use_neg_got_offsets_p \ - ? 0x4000 \ + ? (0x4000 - 2) \ : 0x2000) /* SEARCH - simply search the hashtable, don't insert new entries or fail when @@ -1062,7 +1470,7 @@ elf_m68k_get_got_entry (struct elf_m68k_got *got, if (howto == SEARCH) return NULL; - got->entries = htab_try_create (ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT + got->entries = htab_try_create (ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info), elf_m68k_got_entry_hash, elf_m68k_got_entry_eq, NULL); @@ -1100,7 +1508,9 @@ elf_m68k_get_got_entry (struct elf_m68k_got *got, entry->key_ = *key; entry->u.s1.refcount = 0; - entry->u.s1.type = R_68K_GOT32O; + + /* Mark the entry as not initialized. */ + entry->key_.type = R_68K_max; *ptr = entry; } @@ -1118,52 +1528,68 @@ elf_m68k_get_got_entry (struct elf_m68k_got *got, /* Update GOT counters when merging entry of WAS type with entry of NEW type. Return the value to which ENTRY's type should be set. */ -static int -elf_m68k_update_got_entry_type (struct elf_m68k_got *got, int was, int new) +static enum elf_m68k_reloc_type +elf_m68k_update_got_entry_type (struct elf_m68k_got *got, + enum elf_m68k_reloc_type was, + enum elf_m68k_reloc_type new) { - if (new == R_68K_GOT8O && was != R_68K_GOT8O) - /* NEW overrides WAS. */ + enum elf_m68k_got_offset_size was_size; + enum elf_m68k_got_offset_size new_size; + bfd_vma n_slots; + + if (was == R_68K_max) + /* The type of the entry is not initialized yet. */ { - ++got->rel_8o_n_entries; + /* Update all got->n_slots counters, including n_slots[R_32]. */ + was_size = R_LAST; - if (was != R_68K_GOT16O) - /* Update this counter too. */ - ++got->rel_8o_16o_n_entries; + was = new; } - else if (new == R_68K_GOT16O && was != R_68K_GOT8O && was != R_68K_GOT16O) - /* NEW overrides WAS. */ - ++got->rel_8o_16o_n_entries; else - /* NEW doesn't override WAS. */ - new = was; + { + /* !!! We, probably, should emit an error rather then fail on assert + in such a case. */ + BFD_ASSERT (elf_m68k_reloc_got_type (was) + == elf_m68k_reloc_got_type (new)); + + was_size = elf_m68k_reloc_got_offset_size (was); + } - return new; + new_size = elf_m68k_reloc_got_offset_size (new); + n_slots = elf_m68k_reloc_got_n_slots (new); + + while (was_size > new_size) + { + --was_size; + got->n_slots[was_size] += n_slots; + } + + if (new > was) + /* Relocations are ordered from bigger got offset size to lesser, + so choose the relocation type with lesser offset size. */ + was = new; + + return was; } /* Update GOT counters when removing an entry of type TYPE. */ static void -elf_m68k_remove_got_entry_type (struct elf_m68k_got *got, int type) +elf_m68k_remove_got_entry_type (struct elf_m68k_got *got, + enum elf_m68k_reloc_type type) { - switch (type) - { - case R_68K_GOT8O: - BFD_ASSERT (got->rel_8o_n_entries > 0); - - --got->rel_8o_n_entries; - /* FALLTHRU */ - - case R_68K_GOT16O: - BFD_ASSERT (got->rel_8o_16o_n_entries >= got->rel_8o_n_entries); + enum elf_m68k_got_offset_size os; + bfd_vma n_slots; - --got->rel_8o_16o_n_entries; - /* FALLTHRU */ + n_slots = elf_m68k_reloc_got_n_slots (type); - case R_68K_GOT32O: - break; + /* Decrese counter of slots with offset size corresponding to TYPE + and all greater offset sizes. */ + for (os = elf_m68k_reloc_got_offset_size (type); os <= R_32; ++os) + { + BFD_ASSERT (got->n_slots[os] >= n_slots); - default: - BFD_ASSERT (FALSE); + got->n_slots[os] -= n_slots; } } @@ -1175,7 +1601,8 @@ static struct elf_m68k_got_entry * elf_m68k_add_entry_to_got (struct elf_m68k_got *got, struct elf_link_hash_entry *h, const bfd *abfd, - int type, unsigned long symndx, + enum elf_m68k_reloc_type reloc_type, + unsigned long symndx, struct bfd_link_info *info) { struct elf_m68k_got_entry_key key_; @@ -1185,12 +1612,17 @@ elf_m68k_add_entry_to_got (struct elf_m68k_got *got, elf_m68k_hash_entry (h)->got_entry_key = elf_m68k_multi_got (info)->global_symndx++; - elf_m68k_init_got_entry_key (&key_, h, abfd, symndx); + elf_m68k_init_got_entry_key (&key_, h, abfd, symndx, reloc_type); entry = elf_m68k_get_got_entry (got, &key_, FIND_OR_CREATE, info); if (entry == NULL) return NULL; + /* Determine entry's type and update got->n_slots counters. */ + entry->key_.type = elf_m68k_update_got_entry_type (got, + entry->key_.type, + reloc_type); + /* Update refcount. */ ++entry->u.s1.refcount; @@ -1198,31 +1630,29 @@ elf_m68k_add_entry_to_got (struct elf_m68k_got *got, /* We see this entry for the first time. */ { if (entry->key_.bfd != NULL) - ++got->local_n_entries; + got->local_n_slots += elf_m68k_reloc_got_n_slots (entry->key_.type); } - /* Determine entry's type and update got->rel_*_n_entries counters. */ - entry->u.s1.type = elf_m68k_update_got_entry_type (got, entry->u.s1.type, - type); + BFD_ASSERT (got->n_slots[R_32] >= got->local_n_slots); - if ((got->rel_8o_n_entries - > ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT (info)) - || (got->rel_8o_16o_n_entries - > ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT (info))) + if ((got->n_slots[R_8] + > ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info)) + || (got->n_slots[R_16] + > ELF_M68K_R_8_16_MAX_N_SLOTS_IN_GOT (info))) /* This BFD has too many relocation. */ { - if (got->rel_8o_n_entries - > ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT (info)) + if (got->n_slots[R_8] > ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info)) (*_bfd_error_handler) (_("%B: GOT overflow: " - "Number of R_68K_GOT8O relocations > %d"), + "Number of relocations with 8-bit " + "offset > %d"), abfd, - ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT (info)); + ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info)); else (*_bfd_error_handler) (_("%B: GOT overflow: " - "Number of R_68K_GOT8O and R_68K_GOT16O " - "relocations > %d"), + "Number of relocations with 8- or 16-bit " + "offset > %d"), abfd, - ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT (info)); + ELF_M68K_R_8_16_MAX_N_SLOTS_IN_GOT (info)); return NULL; } @@ -1369,7 +1799,7 @@ elf_m68k_can_merge_gots_1 (void **_entry_ptr, void *_arg) const struct elf_m68k_got_entry *entry1; struct elf_m68k_can_merge_gots_arg *arg; const struct elf_m68k_got_entry *entry2; - int type; + enum elf_m68k_reloc_type type; entry1 = (const struct elf_m68k_got_entry *) *_entry_ptr; arg = (struct elf_m68k_can_merge_gots_arg *) _arg; @@ -1377,29 +1807,31 @@ elf_m68k_can_merge_gots_1 (void **_entry_ptr, void *_arg) entry2 = elf_m68k_get_got_entry (arg->big, &entry1->key_, SEARCH, NULL); if (entry2 != NULL) + /* We found an existing entry. Check if we should update it. */ { - type = elf_m68k_update_got_entry_type (arg->diff, entry2->u.s1.type, - entry1->u.s1.type); + type = elf_m68k_update_got_entry_type (arg->diff, + entry2->key_.type, + entry1->key_.type); - if (type == entry2->u.s1.type) + if (type == entry2->key_.type) /* ENTRY1 doesn't update data in ENTRY2. Skip it. To skip creation of difference entry we use the type, which we won't see in GOT entries for sure. */ - type = R_68K_32; + type = R_68K_max; } else + /* We didn't find the entry. Add entry1 to DIFF. */ { - BFD_ASSERT (entry1->u.s1.type != R_68K_32); + BFD_ASSERT (entry1->key_.type != R_68K_max); - type = elf_m68k_update_got_entry_type (arg->diff, R_68K_GOT32O, - entry1->u.s1.type); + type = elf_m68k_update_got_entry_type (arg->diff, + R_68K_max, entry1->key_.type); - /* Update local counter. */ if (entry1->key_.bfd != NULL) - ++arg->diff->local_n_entries; + arg->diff->local_n_slots += elf_m68k_reloc_got_n_slots (type); } - if (type != R_68K_32) + if (type != R_68K_max) /* Create an entry in DIFF. */ { struct elf_m68k_got_entry *entry; @@ -1412,7 +1844,7 @@ elf_m68k_can_merge_gots_1 (void **_entry_ptr, void *_arg) return 0; } - entry->u.s1.type = type; + entry->key_.type = type; } return 1; @@ -1445,10 +1877,10 @@ elf_m68k_can_merge_gots (struct elf_m68k_got *big, } /* Check for overflow. */ - if ((big->rel_8o_n_entries + arg_.diff->rel_8o_n_entries - > ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT (info)) - || (big->rel_8o_16o_n_entries + arg_.diff->rel_8o_16o_n_entries - > ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT (info))) + if ((big->n_slots[R_8] + arg_.diff->n_slots[R_8] + > ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info)) + || (big->n_slots[R_16] + arg_.diff->n_slots[R_16] + > ELF_M68K_R_8_16_MAX_N_SLOTS_IN_GOT (info))) return FALSE; return TRUE; @@ -1489,7 +1921,7 @@ elf_m68k_merge_gots_1 (void **entry_ptr, void *_arg) BFD_ASSERT (to->u.s1.refcount == 0); /* All we need to merge is TYPE. */ - to->u.s1.type = from->u.s1.type; + to->key_.type = from->key_.type; return 1; } @@ -1516,47 +1948,42 @@ elf_m68k_merge_gots (struct elf_m68k_got *big, return FALSE; /* Merge counters. */ - big->rel_8o_n_entries += diff->rel_8o_n_entries; - big->rel_8o_16o_n_entries += diff->rel_8o_16o_n_entries; - big->local_n_entries += diff->local_n_entries; + big->n_slots[R_8] += diff->n_slots[R_8]; + big->n_slots[R_16] += diff->n_slots[R_16]; + big->n_slots[R_32] += diff->n_slots[R_32]; + big->local_n_slots += diff->local_n_slots; } else /* DIFF is empty. */ { - BFD_ASSERT (diff->rel_8o_n_entries == 0); - BFD_ASSERT (diff->rel_8o_16o_n_entries == 0); - BFD_ASSERT (diff->local_n_entries == 0); + BFD_ASSERT (diff->n_slots[R_8] == 0); + BFD_ASSERT (diff->n_slots[R_16] == 0); + BFD_ASSERT (diff->n_slots[R_32] == 0); + BFD_ASSERT (diff->local_n_slots == 0); } BFD_ASSERT (!elf_m68k_hash_table (info)->allow_multigot_p - || ((big->rel_8o_n_entries - <= ELF_M68K_REL_8O_MAX_N_ENTRIES_IN_GOT (info)) - && (big->rel_8o_16o_n_entries - <= ELF_M68K_REL_8O_16O_MAX_N_ENTRIES_IN_GOT (info)))); + || ((big->n_slots[R_8] + <= ELF_M68K_R_8_MAX_N_SLOTS_IN_GOT (info)) + && (big->n_slots[R_16] + <= ELF_M68K_R_8_16_MAX_N_SLOTS_IN_GOT (info)))); return TRUE; } struct elf_m68k_finalize_got_offsets_arg { - /* Offset for the next R_68K_GOT8O entry. */ - bfd_vma rel_8o_offset; - - /* Offset for the next R_68K_GOT16O entry. */ - bfd_vma rel_16o_offset; - - /* Offset for the next R_68K_GOT32O entry. */ - bfd_vma rel_32o_offset; - - /* Should we use negative (relative to GP) offsets for GOT entries. */ - bfd_boolean use_neg_got_offsets_p; - - /* Offset of this GOT relative to .got section. */ - bfd_vma got_offset; + /* Ranges of the offsets for GOT entries. + R_x entries receive offsets between offset1[R_x] and offset2[R_x]. + R_x is R_8, R_16 and R_32. */ + bfd_vma *offset1; + bfd_vma *offset2; /* Mapping from global symndx to global symbols. This is used to build lists of got entries for global symbols. */ struct elf_m68k_link_hash_entry **symndx2h; + + bfd_vma n_ldm_entries; }; /* Assign ENTRY an offset. Build list of GOT entries for global symbols @@ -1568,99 +1995,65 @@ elf_m68k_finalize_got_offsets_1 (void **entry_ptr, void *_arg) struct elf_m68k_got_entry *entry; struct elf_m68k_finalize_got_offsets_arg *arg; + enum elf_m68k_got_offset_size got_offset_size; + bfd_vma entry_size; + entry = (struct elf_m68k_got_entry *) *entry_ptr; arg = (struct elf_m68k_finalize_got_offsets_arg *) _arg; /* This should be a fresh entry created in elf_m68k_can_merge_gots. */ BFD_ASSERT (entry->u.s1.refcount == 0); - switch (entry->u.s1.type) - { - case R_68K_GOT8O: - entry->u.s2.offset = arg->rel_8o_offset; - - if (arg->use_neg_got_offsets_p) - { - if (arg->rel_8o_offset >= arg->got_offset) - /* We've assigned a positive offset to this entry, - next entry should get (-abs(offset) - 4). */ - arg->rel_8o_offset = (arg->got_offset - - (arg->rel_8o_offset - arg->got_offset) - - 4); - else - /* We've assigned a negative offset to this entry, - next entry should get (+abs(offset) + 0). */ - arg->rel_8o_offset = (arg->got_offset - + (arg->got_offset - arg->rel_8o_offset)); - } - else - /* Next entry will simply get next offset. */ - arg->rel_8o_offset += 4; + /* Get GOT offset size for the entry . */ + got_offset_size = elf_m68k_reloc_got_offset_size (entry->key_.type); - break; - - case R_68K_GOT16O: - entry->u.s2.offset = arg->rel_16o_offset; + /* Calculate entry size in bytes. */ + entry_size = 4 * elf_m68k_reloc_got_n_slots (entry->key_.type); - if (arg->use_neg_got_offsets_p) - { - if (arg->rel_16o_offset >= arg->got_offset) - /* We've assigned a positive offset to this entry, - next entry should get (-abs(offset) - 4). */ - arg->rel_16o_offset = (arg->got_offset - - (arg->rel_16o_offset - arg->got_offset) - - 4); - else - /* We've assigned a negative offset to this entry, - next entry should get (+abs(offset) + 0). */ - arg->rel_16o_offset = (arg->got_offset - + (arg->got_offset - arg->rel_16o_offset)); - } - else - /* Next entry will simply get next offset. */ - arg->rel_16o_offset += 4; - - break; - - case R_68K_GOT32O: - entry->u.s2.offset = arg->rel_32o_offset; - - if (arg->use_neg_got_offsets_p) - { - if (arg->rel_32o_offset >= arg->got_offset) - /* We've assigned a positive offset to this entry, - next entry should get (-abs(offset) - 4). */ - arg->rel_32o_offset = (arg->got_offset - - (arg->rel_32o_offset - arg->got_offset) - - 4); - else - /* We've assigned a negative offset to this entry, - next entry should get (+abs(offset) + 0). */ - arg->rel_32o_offset = (arg->got_offset - + (arg->got_offset - arg->rel_32o_offset)); - } - else - /* Next entry will simply get next offset. */ - arg->rel_32o_offset += 4; - - break; - - default: - BFD_ASSERT (FALSE); - break; + /* Check if we should switch to negative range of the offsets. */ + if (arg->offset1[got_offset_size] + entry_size + > arg->offset2[got_offset_size]) + { + /* Verify that this is the only switch to negative range for + got_offset_size. If this assertion fails, then we've miscalculated + range for got_offset_size entries in + elf_m68k_finalize_got_offsets. */ + BFD_ASSERT (arg->offset2[got_offset_size] + != arg->offset2[-(int) got_offset_size - 1]); + + /* Switch. */ + arg->offset1[got_offset_size] = arg->offset1[-(int) got_offset_size - 1]; + arg->offset2[got_offset_size] = arg->offset2[-(int) got_offset_size - 1]; + + /* Verify that now we have enough room for the entry. */ + BFD_ASSERT (arg->offset1[got_offset_size] + entry_size + <= arg->offset2[got_offset_size]); } + /* Assign offset to entry. */ + entry->u.s2.offset = arg->offset1[got_offset_size]; + arg->offset1[got_offset_size] += entry_size; + if (entry->key_.bfd == NULL) /* Hook up this entry into the list of got_entries of H. */ { struct elf_m68k_link_hash_entry *h; - BFD_ASSERT (entry->key_.symndx != 0); h = arg->symndx2h[entry->key_.symndx]; - BFD_ASSERT (h != NULL); + if (h != NULL) + { + entry->u.s2.next = h->glist; + h->glist = entry; + } + else + /* This should be the entry for TLS_LDM relocation then. */ + { + BFD_ASSERT ((elf_m68k_reloc_got_type (entry->key_.type) + == R_68K_TLS_LDM32) + && entry->key_.symndx == 0); - entry->u.s2.next = h->glist; - h->glist = entry; + ++arg->n_ldm_entries; + } } else /* This entry is for local symbol. */ @@ -1673,118 +2066,101 @@ elf_m68k_finalize_got_offsets_1 (void **entry_ptr, void *_arg) should use negative offsets. Build list of GOT entries for global symbols along the way. SYMNDX2H is mapping from global symbol indices to actual - global symbols. */ + global symbols. + Return offset at which next GOT should start. */ static void elf_m68k_finalize_got_offsets (struct elf_m68k_got *got, bfd_boolean use_neg_got_offsets_p, - struct elf_m68k_link_hash_entry **symndx2h) + struct elf_m68k_link_hash_entry **symndx2h, + bfd_vma *final_offset, bfd_vma *n_ldm_entries) { struct elf_m68k_finalize_got_offsets_arg arg_; + bfd_vma offset1_[2 * R_LAST]; + bfd_vma offset2_[2 * R_LAST]; + int i; + bfd_vma start_offset; BFD_ASSERT (got->offset != (bfd_vma) -1); /* We set entry offsets relative to the .got section (and not the start of a particular GOT), so that we can use them in - finish_dynamic_symbol without needing to know the GOT they come + finish_dynamic_symbol without needing to know the GOT which they come from. */ + /* Put offset1 in the middle of offset1_, same for offset2. */ + arg_.offset1 = offset1_ + R_LAST; + arg_.offset2 = offset2_ + R_LAST; + + start_offset = got->offset; + if (use_neg_got_offsets_p) + /* Setup both negative and positive ranges for R_8, R_16 and R_32. */ + i = -(int) R_32 - 1; + else + /* Setup positives ranges for R_8, R_16 and R_32. */ + i = (int) R_8; + + for (; i <= (int) R_32; ++i) { + int j; size_t n; - /* Put GOT pointer in the middle of GOT. */ - n = htab_elements (got->entries); - if ((n & 1) == 0) - /* Even number of GOT entries. */ - got->offset += 2 * n; - else - /* Odd number of GOT entries. */ - got->offset += 2 * (n - 1); - - /* R_68K_GOT8O entries shall start at GOT offset. */ - arg_.rel_8o_offset = got->offset; - - n = got->rel_8o_n_entries; - if ((n & 1) == 0) - /* Even number of R_68K_GOT8O entries. - The last R_68K_GOT8O entry will be at - (got->offset - 2 * n). Hence the first R_68K_GOT16O - entry will be at offset ... */ - arg_.rel_16o_offset = got->offset + 2 * n; - else - /* Odd number of R_68K_GOT8O entries. - The last R_68K_GOT8O entry will be at - (got->offset + 2 * (n - 1)). Hence the first R_68K_GOT16O - entry will be at offset ... */ - arg_.rel_16o_offset = got->offset - 2 * (n - 1) - 4; - - n = got->rel_8o_16o_n_entries; - if ((n & 1) == 0) - /* Even number of R_68K_GOT8O and R_68K_GOT16O entries. - The last R_68K_GOT8O entry will be at - (got->offset - 2 * n). Hence the first R_68K_GOT32O - entry will be at offset ... */ - arg_.rel_32o_offset = got->offset + 2 * n; - else - /* Odd number of R_68K_GOT8O and R_68K_GOT16O entries. - The last R_68K_GOT16O entry will be at - (got->offset + 2 * (n - 1)). Hence the first R_68K_GOT32O - entry will be at offset ... */ - arg_.rel_32o_offset = got->offset - 2 * (n - 1) - 4; + /* Set beginning of the range of offsets I. */ + arg_.offset1[i] = start_offset; - arg_.use_neg_got_offsets_p = TRUE; + /* Calculate number of slots that require I offsets. */ + j = (i >= 0) ? i : -i - 1; + n = (j >= 1) ? got->n_slots[j - 1] : 0; + n = got->n_slots[j] - n; - arg_.got_offset = got->offset; - } - else - { - arg_.rel_8o_offset = got->offset; - arg_.rel_16o_offset = 4 * got->rel_8o_n_entries + got->offset; - arg_.rel_32o_offset = 4 * got->rel_8o_16o_n_entries + got->offset; + if (use_neg_got_offsets_p && n != 0) + { + if (i < 0) + /* We first fill the positive side of the range, so we might + end up with one empty slot at that side when we can't fit + whole 2-slot entry. Account for that at negative side of + the interval with one additional entry. */ + n = n / 2 + 1; + else + /* When the number of slots is odd, make positive side of the + range one entry bigger. */ + n = (n + 1) / 2; + } - arg_.use_neg_got_offsets_p = FALSE; + /* N is the number of slots that require I offsets. + Calculate length of the range for I offsets. */ + n = 4 * n; - /* This shouldn't be used. */ - arg_.got_offset = (bfd_vma) -1; + /* Set end of the range. */ + arg_.offset2[i] = start_offset + n; + + start_offset = arg_.offset2[i]; } - arg_.symndx2h = symndx2h; + if (!use_neg_got_offsets_p) + /* Make sure that if we try to switch to negative offsets in + elf_m68k_finalize_got_offsets_1, the assert therein will catch + the bug. */ + for (i = R_8; i <= R_32; ++i) + arg_.offset2[-i - 1] = arg_.offset2[i]; - htab_traverse (got->entries, elf_m68k_finalize_got_offsets_1, &arg_); + /* Setup got->offset. offset1[R_8] is either in the middle or at the + beginning of GOT depending on use_neg_got_offsets_p. */ + got->offset = arg_.offset1[R_8]; - /* Calculate offset ranges we have actually assigned. */ - if (use_neg_got_offsets_p) - { - if (arg_.rel_8o_offset == (bfd_vma) -4 - || arg_.rel_8o_offset < got->offset) - arg_.rel_8o_offset = 2 * (got->offset - arg_.rel_8o_offset) - 4; - else - arg_.rel_8o_offset = 2 * (arg_.rel_8o_offset - got->offset); + arg_.symndx2h = symndx2h; + arg_.n_ldm_entries = 0; - if (arg_.rel_16o_offset == (bfd_vma) -4 - || arg_.rel_16o_offset < got->offset) - arg_.rel_16o_offset = 2 * (got->offset - arg_.rel_16o_offset) - 4; - else - arg_.rel_16o_offset = 2 * (arg_.rel_16o_offset - got->offset); + /* Assign offsets. */ + htab_traverse (got->entries, elf_m68k_finalize_got_offsets_1, &arg_); - if (arg_.rel_32o_offset == (bfd_vma) -4 - || arg_.rel_32o_offset < got->offset) - arg_.rel_32o_offset = 2 * (got->offset - arg_.rel_32o_offset) - 4; - else - arg_.rel_32o_offset = 2 * (arg_.rel_32o_offset - got->offset); - } - else - { - arg_.rel_8o_offset -= got->offset; - arg_.rel_16o_offset -= got->offset; - arg_.rel_32o_offset -= got->offset; - } + /* Check offset ranges we have actually assigned. */ + for (i = (int) R_8; i <= (int) R_32; ++i) + BFD_ASSERT (arg_.offset2[i] - arg_.offset1[i] <= 4); - /* These asserts check that we got counting of entries right. */ - BFD_ASSERT (arg_.rel_8o_offset == 4 * got->rel_8o_n_entries); - BFD_ASSERT (arg_.rel_16o_offset == 4 * got->rel_8o_16o_n_entries); - BFD_ASSERT (arg_.rel_32o_offset == 4 * htab_elements (got->entries)); + *final_offset = start_offset; + *n_ldm_entries = arg_.n_ldm_entries; } struct elf_m68k_partition_multi_got_arg @@ -1798,13 +2174,14 @@ struct elf_m68k_partition_multi_got_arg /* Context where memory should be allocated. */ struct bfd_link_info *info; - /* Total number of entries in the .got section. + /* Total number of slots in the .got section. This is used to calculate size of the .got and .rela.got sections. */ - bfd_vma n_entries; + bfd_vma n_slots; - /* Total number of local entries in the .got section. + /* Difference in numbers of allocated slots in the .got section + and necessary relocations in the .rela.got section. This is used to calculate size of the .rela.got section. */ - bfd_vma local_n_entries; + bfd_vma slots_relas_diff; /* Error flag. */ bfd_boolean error_p; @@ -1814,6 +2191,34 @@ struct elf_m68k_partition_multi_got_arg struct elf_m68k_link_hash_entry **symndx2h; }; +static void +elf_m68k_partition_multi_got_2 (struct elf_m68k_partition_multi_got_arg *arg) +{ + bfd_vma n_ldm_entries; + + elf_m68k_finalize_got_offsets (arg->current_got, + (elf_m68k_hash_table (arg->info) + ->use_neg_got_offsets_p), + arg->symndx2h, + &arg->offset, &n_ldm_entries); + + arg->n_slots += arg->current_got->n_slots[R_32]; + + if (!arg->info->shared) + /* If we are generating a shared object, we need to + output a R_68K_RELATIVE reloc so that the dynamic + linker can adjust this GOT entry. Overwise we + don't need space in .rela.got for local symbols. */ + arg->slots_relas_diff += arg->current_got->local_n_slots; + + /* @LDM relocations require a 2-slot GOT entry, but only + one relocation. Account for that. */ + arg->slots_relas_diff += n_ldm_entries; + + BFD_ASSERT (arg->slots_relas_diff <= arg->n_slots); +} + + /* Process a single BFD2GOT entry and either merge GOT to CURRENT_GOT or start a new CURRENT_GOT. */ @@ -1823,7 +2228,6 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) struct elf_m68k_bfd2got_entry *entry; struct elf_m68k_partition_multi_got_arg *arg; struct elf_m68k_got *got; - struct elf_m68k_got *current_got; struct elf_m68k_got diff_; struct elf_m68k_got *diff; @@ -1840,7 +2244,7 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) /* Construct diff. */ { diff = &diff_; - elf_m68k_init_got (diff, NULL, 0, 0, 0, (bfd_vma) -1); + elf_m68k_init_got (diff); if (!elf_m68k_can_merge_gots (arg->current_got, got, arg->info, diff)) { @@ -1854,7 +2258,7 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) if (elf_m68k_hash_table (arg->info)->allow_multigot_p) { elf_m68k_clear_got (diff); - /* Schedule to finish up CURRENT_GOT and start new one. */ + /* Schedule to finish up current_got and start new one. */ diff = NULL; } /* else @@ -1867,7 +2271,7 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) else /* Diff of got against empty current_got is got itself. */ { - /* Create empty CURRENT_GOT to subsequent GOTs to. */ + /* Create empty current_got to put subsequent GOTs to. */ arg->current_got = elf_m68k_create_empty_got (arg->info); if (arg->current_got == NULL) { @@ -1880,11 +2284,9 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) diff = got; } - current_got = arg->current_got; - if (diff != NULL) { - if (!elf_m68k_merge_gots (current_got, diff, arg->info)) + if (!elf_m68k_merge_gots (arg->current_got, diff, arg->info)) { arg->error_p = TRUE; goto final_return; @@ -1893,27 +2295,15 @@ elf_m68k_partition_multi_got_1 (void **_entry, void *_arg) /* Now we can free GOT. */ elf_m68k_clear_got (got); - entry->got = current_got; + entry->got = arg->current_got; } else { - /* Schedule to start a new current_got. */ - arg->current_got = NULL; - arg->offset = (current_got->offset - + 4 * htab_elements (current_got->entries)); - /* Finish up current_got. */ - { - elf_m68k_finalize_got_offsets (current_got, - elf_m68k_hash_table (arg->info) - ->use_neg_got_offsets_p, - arg->symndx2h); + elf_m68k_partition_multi_got_2 (arg); - arg->n_entries += htab_elements (current_got->entries); - arg->local_n_entries += current_got->local_n_entries; - - BFD_ASSERT (arg->local_n_entries <= arg->n_entries); - } + /* Schedule to start a new current_got. */ + arg->current_got = NULL; /* Retry. */ if (!elf_m68k_partition_multi_got_1 (_entry, _arg)) @@ -1969,8 +2359,8 @@ elf_m68k_partition_multi_got (struct bfd_link_info *info) arg_.current_got = NULL; arg_.offset = 0; arg_.info = info; - arg_.n_entries = 0; - arg_.local_n_entries = 0; + arg_.n_slots = 0; + arg_.slots_relas_diff = 0; arg_.error_p = FALSE; if (multi_got->bfd2got != NULL) @@ -1998,16 +2388,7 @@ elf_m68k_partition_multi_got (struct bfd_link_info *info) } /* Finish up last current_got. */ - { - elf_m68k_finalize_got_offsets (arg_.current_got, - elf_m68k_hash_table (info) - ->use_neg_got_offsets_p, arg_.symndx2h); - - arg_.n_entries += htab_elements (arg_.current_got->entries); - arg_.local_n_entries += arg_.current_got->local_n_entries; - - BFD_ASSERT (arg_.local_n_entries <= arg_.n_entries); - } + elf_m68k_partition_multi_got_2 (&arg_); free (arg_.symndx2h); } @@ -2019,25 +2400,18 @@ elf_m68k_partition_multi_got (struct bfd_link_info *info) s = bfd_get_section_by_name (elf_hash_table (info)->dynobj, ".got"); if (s != NULL) - s->size = arg_.n_entries * 4; + s->size = arg_.offset; else - BFD_ASSERT (arg_.n_entries == 0); + BFD_ASSERT (arg_.offset == 0); - /* If we are generating a shared object, we need to - output a R_68K_RELATIVE reloc so that the dynamic - linker can adjust this GOT entry. Overwise we - don't need space in .rela.got for local symbols. */ - if (!info->shared) - { - BFD_ASSERT (arg_.local_n_entries <= arg_.n_entries); - arg_.n_entries -= arg_.local_n_entries; - } + BFD_ASSERT (arg_.slots_relas_diff <= arg_.n_slots); + arg_.n_slots -= arg_.slots_relas_diff; s = bfd_get_section_by_name (elf_hash_table (info)->dynobj, ".rela.got"); if (s != NULL) - s->size = arg_.n_entries * sizeof (Elf32_External_Rela); + s->size = arg_.n_slots * sizeof (Elf32_External_Rela); else - BFD_ASSERT (arg_.n_entries == 0); + BFD_ASSERT (arg_.n_slots == 0); } else BFD_ASSERT (multi_got->bfd2got == NULL); @@ -2081,10 +2455,12 @@ elf_m68k_remove_got_entry (struct elf_m68k_got *got, /* Check that this entry is indeed unused. */ BFD_ASSERT (entry->u.s1.refcount == 0); - elf_m68k_remove_got_entry_type (got, entry->u.s1.type); + elf_m68k_remove_got_entry_type (got, entry->key_.type); if (entry->key_.bfd != NULL) - --got->local_n_entries; + got->local_n_slots -= elf_m68k_reloc_got_n_slots (entry->key_.type); + + BFD_ASSERT (got->n_slots[R_32] >= got->local_n_slots); htab_clear_slot (got->entries, (void **) entry_ptr); } @@ -2187,9 +2563,24 @@ elf_m68k_check_relocs (abfd, info, sec, relocs) && strcmp (h->root.root.string, "_GLOBAL_OFFSET_TABLE_") == 0) break; /* Fall through. */ + + /* Relative GOT relocations. */ case R_68K_GOT8O: case R_68K_GOT16O: case R_68K_GOT32O: + /* Fall through. */ + + /* TLS relocations. */ + case R_68K_TLS_GD8: + case R_68K_TLS_GD16: + case R_68K_TLS_GD32: + case R_68K_TLS_LDM8: + case R_68K_TLS_LDM16: + case R_68K_TLS_LDM32: + case R_68K_TLS_IE8: + case R_68K_TLS_IE16: + case R_68K_TLS_IE32: + /* This symbol requires a global offset table entry. */ if (dynobj == NULL) @@ -2260,14 +2651,6 @@ elf_m68k_check_relocs (abfd, info, sec, relocs) if (!bfd_elf_link_record_dynamic_symbol (info, h)) return FALSE; } - - /* Allocate space in the .got section. */ - sgot->size += 4; - - /* Allocate relocation space. */ - if (h != NULL - || info->shared) - srelgot->size += sizeof (Elf32_External_Rela); } } @@ -2546,6 +2929,19 @@ elf_m68k_gc_sweep_hook (bfd *abfd, case R_68K_GOT8O: case R_68K_GOT16O: case R_68K_GOT32O: + /* Fall through. */ + + /* TLS relocations. */ + case R_68K_TLS_GD8: + case R_68K_TLS_GD16: + case R_68K_TLS_GD32: + case R_68K_TLS_LDM8: + case R_68K_TLS_LDM16: + case R_68K_TLS_LDM32: + case R_68K_TLS_IE8: + case R_68K_TLS_IE16: + case R_68K_TLS_IE32: + if (got == NULL) { got = elf_m68k_get_bfd2got_entry (elf_m68k_multi_got (info), @@ -2558,7 +2954,8 @@ elf_m68k_gc_sweep_hook (bfd *abfd, struct elf_m68k_got_entry **got_entry_ptr; struct elf_m68k_got_entry *got_entry; - elf_m68k_init_got_entry_key (&key_, h, abfd, r_symndx); + elf_m68k_init_got_entry_key (&key_, h, abfd, r_symndx, + ELF32_R_TYPE (rel->r_info)); got_entry_ptr = elf_m68k_find_got_entry_ptr (got, &key_); got_entry = *got_entry_ptr; @@ -3006,6 +3403,50 @@ elf_m68k_discard_copies (h, inf) return TRUE; } + +/* Install relocation RELA. */ + +static void +elf_m68k_install_rela (bfd *output_bfd, + asection *srela, + Elf_Internal_Rela *rela) +{ + bfd_byte *loc; + + loc = srela->contents; + loc += srela->reloc_count++ * sizeof (Elf32_External_Rela); + bfd_elf32_swap_reloca_out (output_bfd, rela, loc); +} + +/* Return the base VMA address which should be subtracted from real addresses + when resolving @dtpoff relocation. + This is PT_TLS segment p_vaddr. */ + +static bfd_vma +dtpoff_base (struct bfd_link_info *info) +{ + /* If tls_sec is NULL, we should have signalled an error already. */ + if (elf_hash_table (info)->tls_sec == NULL) + return 0; + return elf_hash_table (info)->tls_sec->vma; +} + +/* Return the relocation value for @tpoff relocation + if STT_TLS virtual address is ADDRESS. */ + +static bfd_vma +tpoff (struct bfd_link_info *info, bfd_vma address) +{ + struct elf_link_hash_table *htab = elf_hash_table (info); + bfd_vma base; + + /* If tls_sec is NULL, we should have signalled an error already. */ + if (htab->tls_sec == NULL) + return 0; + base = align_power ((bfd_vma) 8, htab->tls_sec->alignment_power); + return address - htab->tls_sec->vma + base; +} + /* Relocate an M68K ELF section. */ static bfd_boolean @@ -3168,6 +3609,19 @@ elf_m68k_relocate_section (output_bfd, info, input_bfd, input_section, case R_68K_GOT8O: case R_68K_GOT16O: case R_68K_GOT32O: + + case R_68K_TLS_LDM32: + case R_68K_TLS_LDM16: + case R_68K_TLS_LDM8: + + case R_68K_TLS_GD8: + case R_68K_TLS_GD16: + case R_68K_TLS_GD32: + + case R_68K_TLS_IE8: + case R_68K_TLS_IE16: + case R_68K_TLS_IE32: + /* Relocation is the offset of the entry for this symbol in the global offset table. */ @@ -3191,83 +3645,185 @@ elf_m68k_relocate_section (output_bfd, info, input_bfd, input_section, } /* Get GOT offset for this symbol. */ - elf_m68k_init_got_entry_key (&key_, h, input_bfd, r_symndx); + elf_m68k_init_got_entry_key (&key_, h, input_bfd, r_symndx, + r_type); off_ptr = &elf_m68k_get_got_entry (got, &key_, MUST_FIND, NULL)->u.s2.offset; off = *off_ptr; - if (h != NULL) + /* 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_boolean dyn; - - dyn = elf_hash_table (info)->dynamic_sections_created; - if (!WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, info->shared, h) - || (info->shared - && SYMBOL_REFERENCES_LOCAL (info, h)) - || (ELF_ST_VISIBILITY (h->other) - && h->root.type == bfd_link_hash_undefweak)) + if (h != NULL + /* @TLSLDM relocations are bounded to the module, in + which the symbol is defined -- not to the symbol + itself. */ + && elf_m68k_reloc_got_type (r_type) != R_68K_TLS_LDM32) { - /* 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_boolean dyn; + + dyn = elf_hash_table (info)->dynamic_sections_created; + if (!WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, info->shared, h) + || (info->shared + && SYMBOL_REFERENCES_LOCAL (info, h)) + || (ELF_ST_VISIBILITY (h->other) + && h->root.type == bfd_link_hash_undefweak)) { - bfd_put_32 (output_bfd, relocation, - sgot->contents + off); + /* 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 (elf_m68k_reloc_got_type (r_type) == R_68K_GOT32O) + bfd_put_32 (output_bfd, relocation, + sgot->contents + off); + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_GD32) + /* Mark it as belonging to module 1, + the executable. */ + { + bfd_put_32 (output_bfd, 1, + sgot->contents + off); + bfd_put_32 (output_bfd, (relocation + - dtpoff_base (info)), + sgot->contents + off + 4); + } + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_IE32) + bfd_put_32 (output_bfd, tpoff (info, relocation), + sgot->contents + off); + else + BFD_ASSERT (FALSE); + *off_ptr |= 1; } + else + unresolved_reloc = FALSE; } - else - unresolved_reloc = FALSE; - } - else - { - /* 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 + else if (info->shared) /* && h == NULL */ { - bfd_put_32 (output_bfd, relocation, sgot->contents + off); + asection *srela; + Elf_Internal_Rela outrel; + + srela = bfd_get_section_by_name (dynobj, ".rela.got"); + BFD_ASSERT (srela != NULL); - if (info->shared) + if (elf_m68k_reloc_got_type (r_type) == R_68K_GOT32O) { - asection *s; - Elf_Internal_Rela outrel; - bfd_byte *loc; + /* Emit RELATIVE relocation to initialize GOT slot + at run-time. */ + outrel.r_info = ELF32_R_INFO (0, R_68K_RELATIVE); + outrel.r_addend = relocation; + outrel.r_offset = (sgot->output_section->vma + + sgot->output_offset + + off); - s = bfd_get_section_by_name (dynobj, ".rela.got"); - BFD_ASSERT (s != NULL); + elf_m68k_install_rela (output_bfd, srela, &outrel); + } + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_LDM32) + { + /* If we don't know the module number, create + a relocation for it. */ + outrel.r_info = ELF32_R_INFO (0, R_68K_TLS_DTPMOD32); + outrel.r_addend = 0; + outrel.r_offset = (sgot->output_section->vma + + sgot->output_offset + + off); + elf_m68k_install_rela (output_bfd, srela, &outrel); + } + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_GD32) + { + /* If we don't know the module number, create + a relocation for it. */ + outrel.r_info = ELF32_R_INFO (0, R_68K_TLS_DTPMOD32); + outrel.r_addend = 0; outrel.r_offset = (sgot->output_section->vma + sgot->output_offset + off); - outrel.r_info = ELF32_R_INFO (0, R_68K_RELATIVE); - outrel.r_addend = relocation; - loc = s->contents; - loc += s->reloc_count++ * sizeof (Elf32_External_Rela); - bfd_elf32_swap_reloca_out (output_bfd, &outrel, loc); + + elf_m68k_install_rela (output_bfd, srela, &outrel); + + bfd_put_32 (output_bfd, (relocation + - dtpoff_base (info)), + sgot->contents + off + 4); + } + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_IE32) + { + outrel.r_info = ELF32_R_INFO (0, R_68K_TLS_TPREL32); + outrel.r_addend = relocation - dtpoff_base (info); + outrel.r_offset = (sgot->output_section->vma + + sgot->output_offset + + off); + + elf_m68k_install_rela (output_bfd, srela, &outrel); } + else + BFD_ASSERT (FALSE); + + bfd_put_32 (output_bfd, outrel.r_addend, + sgot->contents + off); + + *off_ptr |= 1; + } + else /* h == NULL && !info->shared */ + { + if (elf_m68k_reloc_got_type (r_type) == R_68K_GOT32O) + bfd_put_32 (output_bfd, relocation, + sgot->contents + off); + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_LDM32) + /* If this is a static link, put the number of the + only module in the GOT slot. */ + bfd_put_32 (output_bfd, 1, sgot->contents + off); + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_GD32) + { + /* If we are not emitting relocations for a + general dynamic reference, then we must be in a + static link or an executable link with the + symbol binding locally. Mark it as belonging + to module 1, the executable. */ + bfd_put_32 (output_bfd, 1, sgot->contents + off); + bfd_put_32 (output_bfd, (relocation + - dtpoff_base (info)), + sgot->contents + off + 4); + } + else if (elf_m68k_reloc_got_type (r_type) + == R_68K_TLS_IE32) + bfd_put_32 (output_bfd, tpoff (info, relocation), + sgot->contents + off); + else + BFD_ASSERT (FALSE); *off_ptr |= 1; } } - if (r_type == R_68K_GOT8O + /* We don't use elf_m68k_reloc_got_type in the condition below + because this is the only place where difference between + R_68K_GOTx and R_68K_GOTxO relocations matters. */ + if (r_type == R_68K_GOT32O || r_type == R_68K_GOT16O - || r_type == R_68K_GOT32O) + || r_type == R_68K_GOT8O + || elf_m68k_reloc_got_type (r_type) == R_68K_TLS_GD32 + || elf_m68k_reloc_got_type (r_type) == R_68K_TLS_LDM32 + || elf_m68k_reloc_got_type (r_type) == R_68K_TLS_IE32) { /* GOT pointer is adjusted to point to the start/middle of local GOT. Adjust the offset accordingly. */ @@ -3292,6 +3848,29 @@ elf_m68k_relocate_section (output_bfd, info, input_bfd, input_section, } break; + case R_68K_TLS_LDO32: + case R_68K_TLS_LDO16: + case R_68K_TLS_LDO8: + relocation -= dtpoff_base (info); + break; + + case R_68K_TLS_LE32: + case R_68K_TLS_LE16: + case R_68K_TLS_LE8: + if (info->shared) + { + (*_bfd_error_handler) + (_("%B(%A+0x%lx): R_68K_TLS_LE32 relocation not permitted " + "in shared object"), + input_bfd, input_section, (long) rel->r_offset, howto->name); + + return FALSE; + } + else + relocation = tpoff (info, relocation); + + break; + case R_68K_PLT8: case R_68K_PLT16: case R_68K_PLT32: @@ -3487,6 +4066,42 @@ elf_m68k_relocate_section (output_bfd, info, input_bfd, input_section, return FALSE; } + if (r_symndx != 0 + && r_type != R_68K_NONE + && (h == NULL + || h->root.type == bfd_link_hash_defined + || h->root.type == bfd_link_hash_defweak)) + { + char sym_type; + + sym_type = (sym != NULL) ? ELF32_ST_TYPE (sym->st_info) : h->type; + + if (elf_m68k_reloc_tls_p (r_type) != (sym_type == STT_TLS)) + { + const char *name; + + if (h != NULL) + name = h->root.root.string; + else + { + name = (bfd_elf_string_from_elf_section + (input_bfd, symtab_hdr->sh_link, sym->st_name)); + if (name == NULL || *name == '\0') + name = bfd_section_name (input_bfd, sec); + } + + (*_bfd_error_handler) + ((sym_type == STT_TLS + ? _("%B(%A+0x%lx): %s used with TLS symbol %s") + : _("%B(%A+0x%lx): %s used with non-TLS symbol %s")), + input_bfd, + input_section, + (long) rel->r_offset, + howto->name, + name); + } + } + r = _bfd_final_link_relocate (howto, input_bfd, input_section, contents, rel->r_offset, relocation, rel->r_addend); @@ -3652,38 +4267,89 @@ elf_m68k_finish_dynamic_symbol (output_bfd, info, h, sym) while (got_entry != NULL) { Elf_Internal_Rela rela; - bfd_byte *loc; + bfd_vma got_entry_offset; + + got_entry_offset = got_entry->u.s2.offset &~ (bfd_vma) 1; rela.r_offset = (sgot->output_section->vma + sgot->output_offset - + (got_entry->u.s2.offset &~ (bfd_vma) 1)); + + got_entry_offset); /* If this is a -Bsymbolic link, and the symbol is defined locally, we just want to emit a RELATIVE reloc. Likewise if the symbol was forced to be local because of a version file. - The entry in the global offset table will already have been + The entry in the global offset table already have been initialized in the relocate_section function. */ if (info->shared && SYMBOL_REFERENCES_LOCAL (info, h)) { - rela.r_info = ELF32_R_INFO (0, R_68K_RELATIVE); rela.r_addend = bfd_get_signed_32 (output_bfd, (sgot->contents - + (got_entry->u.s2.offset - &~ (bfd_vma) 1))); + + got_entry_offset)); + + switch (elf_m68k_reloc_got_type (got_entry->key_.type)) + { + case R_68K_GOT32O: + rela.r_info = ELF32_R_INFO (0, R_68K_RELATIVE); + break; + + case R_68K_TLS_GD32: + rela.r_info = ELF32_R_INFO (0, R_68K_TLS_DTPMOD32); + break; + + case R_68K_TLS_IE32: + rela.r_info = ELF32_R_INFO (0, R_68K_TLS_TPREL32); + break; + + default: + BFD_ASSERT (FALSE); + break; + } + + elf_m68k_install_rela (output_bfd, srela, &rela); } else { - bfd_put_32 (output_bfd, (bfd_vma) 0, - sgot->contents + (got_entry->u.s2.offset - &~ (bfd_vma) 1)); - rela.r_info = ELF32_R_INFO (h->dynindx, R_68K_GLOB_DAT); + /* Put zeros to GOT slots that will be initialized + at run-time. */ + { + bfd_vma n_slots; + + n_slots = elf_m68k_reloc_got_n_slots (got_entry->key_.type); + while (n_slots--) + bfd_put_32 (output_bfd, (bfd_vma) 0, + (sgot->contents + got_entry_offset + + 4 * n_slots)); + } + rela.r_addend = 0; - } - loc = srela->contents; - loc += srela->reloc_count++ * sizeof (Elf32_External_Rela); - bfd_elf32_swap_reloca_out (output_bfd, &rela, loc); + switch (elf_m68k_reloc_got_type (got_entry->key_.type)) + { + case R_68K_GOT32O: + rela.r_info = ELF32_R_INFO (h->dynindx, R_68K_GLOB_DAT); + elf_m68k_install_rela (output_bfd, srela, &rela); + break; + + case R_68K_TLS_GD32: + rela.r_info = ELF32_R_INFO (h->dynindx, R_68K_TLS_DTPMOD32); + elf_m68k_install_rela (output_bfd, srela, &rela); + + rela.r_offset += 4; + rela.r_info = ELF32_R_INFO (h->dynindx, R_68K_TLS_DTPREL32); + elf_m68k_install_rela (output_bfd, srela, &rela); + break; + + case R_68K_TLS_IE32: + rela.r_info = ELF32_R_INFO (h->dynindx, R_68K_TLS_TPREL32); + elf_m68k_install_rela (output_bfd, srela, &rela); + break; + + default: + BFD_ASSERT (FALSE); + break; + } + } got_entry = got_entry->u.s2.next; } diff --git a/bfd/libbfd.h b/bfd/libbfd.h index d5ace9e70..26238b550 100644 --- a/bfd/libbfd.h +++ b/bfd/libbfd.h @@ -829,6 +829,21 @@ static const char *const bfd_reloc_code_real_names[] = { "@@uninitialized@@", "BFD_RELOC_68K_GLOB_DAT", "BFD_RELOC_68K_JMP_SLOT", "BFD_RELOC_68K_RELATIVE", + "BFD_RELOC_68K_TLS_GD32", + "BFD_RELOC_68K_TLS_GD16", + "BFD_RELOC_68K_TLS_GD8", + "BFD_RELOC_68K_TLS_LDM32", + "BFD_RELOC_68K_TLS_LDM16", + "BFD_RELOC_68K_TLS_LDM8", + "BFD_RELOC_68K_TLS_LDO32", + "BFD_RELOC_68K_TLS_LDO16", + "BFD_RELOC_68K_TLS_LDO8", + "BFD_RELOC_68K_TLS_IE32", + "BFD_RELOC_68K_TLS_IE16", + "BFD_RELOC_68K_TLS_IE8", + "BFD_RELOC_68K_TLS_LE32", + "BFD_RELOC_68K_TLS_LE16", + "BFD_RELOC_68K_TLS_LE8", "BFD_RELOC_32_BASEREL", "BFD_RELOC_16_BASEREL", "BFD_RELOC_LO16_BASEREL", diff --git a/bfd/reloc.c b/bfd/reloc.c index 51251389e..0c0fb1d31 100644 --- a/bfd/reloc.c +++ b/bfd/reloc.c @@ -1734,6 +1734,36 @@ ENUMX BFD_RELOC_68K_JMP_SLOT ENUMX BFD_RELOC_68K_RELATIVE +ENUMX + BFD_RELOC_68K_TLS_GD32 +ENUMX + BFD_RELOC_68K_TLS_GD16 +ENUMX + BFD_RELOC_68K_TLS_GD8 +ENUMX + BFD_RELOC_68K_TLS_LDM32 +ENUMX + BFD_RELOC_68K_TLS_LDM16 +ENUMX + BFD_RELOC_68K_TLS_LDM8 +ENUMX + BFD_RELOC_68K_TLS_LDO32 +ENUMX + BFD_RELOC_68K_TLS_LDO16 +ENUMX + BFD_RELOC_68K_TLS_LDO8 +ENUMX + BFD_RELOC_68K_TLS_IE32 +ENUMX + BFD_RELOC_68K_TLS_IE16 +ENUMX + BFD_RELOC_68K_TLS_IE8 +ENUMX + BFD_RELOC_68K_TLS_LE32 +ENUMX + BFD_RELOC_68K_TLS_LE16 +ENUMX + BFD_RELOC_68K_TLS_LE8 ENUMDOC Relocations used by 68K ELF. diff --git a/gas/ChangeLog b/gas/ChangeLog index 41b2e76ff..1c5d4c7f6 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,15 @@ +2009-02-03 Maxim Kuvyrkov + + * config/m68k-parse.h (enum pic_relocation): Add values for TLS + relocations. + * config/m68k-parse.y (yylex): Parse TLS relocations. + * config/tc-m68k.c (m68k_elf_cons): New static function. + (md_pseudo_table): Use it. + (get_reloc_code, tc_m68k_fix_adjustable, tc_gen_reloc): Handle TLS + relocations. + (md_apply_fix): Fix to set thread local flag. + (m68k_elf_suffix): New static function; helper for m68k_elf_cons. + 2009-02-03 Vince Weaver PR 9779 diff --git a/gas/config/m68k-parse.h b/gas/config/m68k-parse.h index f39bb825d..a05784109 100644 --- a/gas/config/m68k-parse.h +++ b/gas/config/m68k-parse.h @@ -270,7 +270,12 @@ enum pic_relocation pic_plt_pcrel, /* @PLTPC */ pic_got_pcrel, /* @GOTPC */ pic_plt_off, /* @PLT */ - pic_got_off /* @GOT */ + pic_got_off, /* @GOT */ + pic_tls_gd, /* @TLSGD */ + pic_tls_ldm, /* @TLSLDM */ + pic_tls_ldo, /* @TLSLDO */ + pic_tls_ie, /* @TLSIE */ + pic_tls_le /* @TLSLE */ }; #endif diff --git a/gas/config/m68k-parse.y b/gas/config/m68k-parse.y index b2b3a2e84..66e410f21 100644 --- a/gas/config/m68k-parse.y +++ b/gas/config/m68k-parse.y @@ -1010,7 +1010,20 @@ yylex () yylval.exp.pic_reloc = pic_none; cp = s - tail; - if (cp - 6 > str && cp[-6] == '@') + if (cp - 7 > str && cp[-7] == '@') + { + if (strncmp (cp - 7, "@TLSLDM", 7) == 0) + { + yylval.exp.pic_reloc = pic_tls_ldm; + tail += 7; + } + else if (strncmp (cp - 7, "@TLSLDO", 7) == 0) + { + yylval.exp.pic_reloc = pic_tls_ldo; + tail += 7; + } + } + else if (cp - 6 > str && cp[-6] == '@') { if (strncmp (cp - 6, "@PLTPC", 6) == 0) { @@ -1022,6 +1035,21 @@ yylex () yylval.exp.pic_reloc = pic_got_pcrel; tail += 6; } + else if (strncmp (cp - 6, "@TLSGD", 6) == 0) + { + yylval.exp.pic_reloc = pic_tls_gd; + tail += 6; + } + else if (strncmp (cp - 6, "@TLSIE", 6) == 0) + { + yylval.exp.pic_reloc = pic_tls_ie; + tail += 6; + } + else if (strncmp (cp - 6, "@TLSLE", 6) == 0) + { + yylval.exp.pic_reloc = pic_tls_le; + tail += 6; + } } else if (cp - 4 > str && cp[-4] == '@') { diff --git a/gas/config/tc-m68k.c b/gas/config/tc-m68k.c index 4f2e2f8be..eb96d2360 100644 --- a/gas/config/tc-m68k.c +++ b/gas/config/tc-m68k.c @@ -1,6 +1,6 @@ /* tc-m68k.c -- Assemble for the m68k family Copyright 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, - 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 + 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. This file is part of GAS, the GNU Assembler. @@ -38,6 +38,10 @@ #include "obj-coff.h" #endif +#ifdef OBJ_ELF +static void m68k_elf_cons (int); +#endif + /* This string holds the chars that always start a comment. If the pre-processor is disabled, these aren't very useful. The macro tc_comment_chars points to this. We use this, rather than the @@ -528,14 +532,14 @@ static const struct m68k_cpu m68k_extensions[] = {m68851, NULL, "68851", -1}, {m68881, NULL, "68881", -1}, {m68881, NULL, "68882", -1}, - + {cfloat|m68881, NULL, "float", 0}, - + {mcfhwdiv, NULL, "div", 1}, {mcfusp, NULL, "usp", 1}, {mcfmac, NULL, "mac", 1}, {mcfemac, NULL, "emac", 1}, - + {0,NULL,NULL, 0} }; @@ -562,7 +566,7 @@ static const struct m68k_cpu m68k_cpus[] = {m68040, m68040_ctrl, "68ec040", 1}, {m68060, m68060_ctrl, "68060", 0}, {m68060, m68060_ctrl, "68ec060", 1}, - + {cpu32|m68881, cpu32_ctrl, "cpu32", 0}, {cpu32|m68881, cpu32_ctrl, "68330", 1}, {cpu32|m68881, cpu32_ctrl, "68331", 1}, @@ -576,24 +580,24 @@ static const struct m68k_cpu m68k_cpus[] = {cpu32|m68881, cpu32_ctrl, "68360", 1}, {mcfisa_a|mcfisa_c|mcfusp, mcf51qe_ctrl, "51qe", 0}, - + {mcfisa_a, mcf_ctrl, "5200", 0}, {mcfisa_a, mcf_ctrl, "5202", 1}, {mcfisa_a, mcf_ctrl, "5204", 1}, {mcfisa_a, mcf5206_ctrl, "5206", 1}, - + {mcfisa_a|mcfhwdiv|mcfmac, mcf5206_ctrl, "5206e", 0}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5208_ctrl, "5207", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5208_ctrl, "5208", 0}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5210a_ctrl, "5210a", 0}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5210a_ctrl, "5211a", 1}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5213_ctrl, "5211", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5213_ctrl, "5212", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5213_ctrl, "5213", 0}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5216_ctrl, "5214", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5216_ctrl, "5216", 0}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5216_ctrl, "521x", 2}, @@ -605,10 +609,10 @@ static const struct m68k_cpu m68k_cpus[] = {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf52235_ctrl, "52233", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf52235_ctrl, "52234", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf52235_ctrl, "52235", 0}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5225_ctrl, "5224", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfmac|mcfusp, mcf5225_ctrl, "5225", 0}, - + {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5235_ctrl, "5232", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5235_ctrl, "5233", -1}, {mcfisa_a|mcfisa_aa|mcfhwdiv|mcfemac|mcfusp, mcf5235_ctrl, "5234", -1}, @@ -832,6 +836,7 @@ const pseudo_typeS md_pseudo_table[] = #endif #ifdef OBJ_ELF {"swbeg", s_ignore, 0}, + {"long", m68k_elf_cons, 4}, #endif {"extend", float_cons, 'x'}, {"ldouble", float_cons, 'x'}, @@ -1004,6 +1009,66 @@ get_reloc_code (int size, int pcrel, enum pic_relocation pic) } break; + case pic_tls_gd: + switch (size) + { + case 1: + return BFD_RELOC_68K_TLS_GD8; + case 2: + return BFD_RELOC_68K_TLS_GD16; + case 4: + return BFD_RELOC_68K_TLS_GD32; + } + break; + + case pic_tls_ldm: + switch (size) + { + case 1: + return BFD_RELOC_68K_TLS_LDM8; + case 2: + return BFD_RELOC_68K_TLS_LDM16; + case 4: + return BFD_RELOC_68K_TLS_LDM32; + } + break; + + case pic_tls_ldo: + switch (size) + { + case 1: + return BFD_RELOC_68K_TLS_LDO8; + case 2: + return BFD_RELOC_68K_TLS_LDO16; + case 4: + return BFD_RELOC_68K_TLS_LDO32; + } + break; + + case pic_tls_ie: + switch (size) + { + case 1: + return BFD_RELOC_68K_TLS_IE8; + case 2: + return BFD_RELOC_68K_TLS_IE16; + case 4: + return BFD_RELOC_68K_TLS_IE32; + } + break; + + case pic_tls_le: + switch (size) + { + case 1: + return BFD_RELOC_68K_TLS_LE8; + case 2: + return BFD_RELOC_68K_TLS_LE16; + case 4: + return BFD_RELOC_68K_TLS_LE32; + } + break; + case pic_none: if (pcrel) { @@ -1072,6 +1137,21 @@ tc_m68k_fix_adjustable (fixS *fixP) case BFD_RELOC_8_PLTOFF: case BFD_RELOC_16_PLTOFF: case BFD_RELOC_32_PLTOFF: + case BFD_RELOC_68K_TLS_GD32: + case BFD_RELOC_68K_TLS_GD16: + case BFD_RELOC_68K_TLS_GD8: + case BFD_RELOC_68K_TLS_LDM32: + case BFD_RELOC_68K_TLS_LDM16: + case BFD_RELOC_68K_TLS_LDM8: + case BFD_RELOC_68K_TLS_LDO32: + case BFD_RELOC_68K_TLS_LDO16: + case BFD_RELOC_68K_TLS_LDO8: + case BFD_RELOC_68K_TLS_IE32: + case BFD_RELOC_68K_TLS_IE16: + case BFD_RELOC_68K_TLS_IE8: + case BFD_RELOC_68K_TLS_LE32: + case BFD_RELOC_68K_TLS_LE16: + case BFD_RELOC_68K_TLS_LE8: return 0; case BFD_RELOC_VTABLE_INHERIT: @@ -1149,6 +1229,21 @@ tc_gen_reloc (asection *section ATTRIBUTE_UNUSED, fixS *fixp) case BFD_RELOC_8_PLTOFF: case BFD_RELOC_16_PLTOFF: case BFD_RELOC_32_PLTOFF: + case BFD_RELOC_68K_TLS_GD32: + case BFD_RELOC_68K_TLS_GD16: + case BFD_RELOC_68K_TLS_GD8: + case BFD_RELOC_68K_TLS_LDM32: + case BFD_RELOC_68K_TLS_LDM16: + case BFD_RELOC_68K_TLS_LDM8: + case BFD_RELOC_68K_TLS_LDO32: + case BFD_RELOC_68K_TLS_LDO16: + case BFD_RELOC_68K_TLS_LDO8: + case BFD_RELOC_68K_TLS_IE32: + case BFD_RELOC_68K_TLS_IE16: + case BFD_RELOC_68K_TLS_IE8: + case BFD_RELOC_68K_TLS_LE32: + case BFD_RELOC_68K_TLS_LE16: + case BFD_RELOC_68K_TLS_LE8: break; default: as_bad_where (fixp->fx_file, fixp->fx_line, @@ -4726,6 +4821,31 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED) && !S_IS_DEFINED (fixP->fx_addsy) && !S_IS_WEAK (fixP->fx_addsy)) S_SET_WEAK (fixP->fx_addsy); + + switch (fixP->fx_r_type) + { + case BFD_RELOC_68K_TLS_GD32: + case BFD_RELOC_68K_TLS_GD16: + case BFD_RELOC_68K_TLS_GD8: + case BFD_RELOC_68K_TLS_LDM32: + case BFD_RELOC_68K_TLS_LDM16: + case BFD_RELOC_68K_TLS_LDM8: + case BFD_RELOC_68K_TLS_LDO32: + case BFD_RELOC_68K_TLS_LDO16: + case BFD_RELOC_68K_TLS_LDO8: + case BFD_RELOC_68K_TLS_IE32: + case BFD_RELOC_68K_TLS_IE16: + case BFD_RELOC_68K_TLS_IE8: + case BFD_RELOC_68K_TLS_LE32: + case BFD_RELOC_68K_TLS_LE16: + case BFD_RELOC_68K_TLS_LE8: + S_SET_THREAD_LOCAL (fixP->fx_addsy); + break; + + default: + break; + } + return; } #elif defined(OBJ_AOUT) @@ -7776,6 +7896,115 @@ m68k_elf_final_processing (void) } elf_elfheader (stdoutput)->e_flags |= flags; } + +/* Parse @TLSLDO and return the desired relocation. */ +static bfd_reloc_code_real_type +m68k_elf_suffix (char **str_p, expressionS *exp_p) +{ + char ident[20]; + char *str = *str_p; + char *str2; + int ch; + int len; + + if (*str++ != '@') + return BFD_RELOC_UNUSED; + + for (ch = *str, str2 = ident; + (str2 < ident + sizeof (ident) - 1 + && (ISALNUM (ch) || ch == '@')); + ch = *++str) + { + *str2++ = ch; + } + + *str2 = '\0'; + len = str2 - ident; + + if (strncmp (ident, "TLSLDO", 6) == 0 + && len == 6) + { + /* Now check for identifier@suffix+constant. */ + if (*str == '-' || *str == '+') + { + char *orig_line = input_line_pointer; + expressionS new_exp; + + input_line_pointer = str; + expression (&new_exp); + if (new_exp.X_op == O_constant) + { + exp_p->X_add_number += new_exp.X_add_number; + str = input_line_pointer; + } + + if (&input_line_pointer != str_p) + input_line_pointer = orig_line; + } + *str_p = str; + + return BFD_RELOC_68K_TLS_LDO32; + } + + return BFD_RELOC_UNUSED; +} + +/* Handles .long +0x8000 debug info. + Clobbers input_line_pointer, checks end-of-line. + Adapted from tc-ppc.c:ppc_elf_cons. */ +static void +m68k_elf_cons (int nbytes /* 4=.long */) +{ + if (is_it_end_of_statement ()) + { + demand_empty_rest_of_line (); + return; + } + + do + { + expressionS exp; + bfd_reloc_code_real_type reloc; + + expression (&exp); + if (exp.X_op == O_symbol + && *input_line_pointer == '@' + && (reloc = m68k_elf_suffix (&input_line_pointer, + &exp)) != BFD_RELOC_UNUSED) + { + reloc_howto_type *reloc_howto; + int size; + + reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc); + size = bfd_get_reloc_size (reloc_howto); + + if (size > nbytes) + { + as_bad (_("%s relocations do not fit in %d bytes\n"), + reloc_howto->name, nbytes); + } + else + { + char *p; + int offset; + + p = frag_more (nbytes); + offset = 0; + if (target_big_endian) + offset = nbytes - size; + fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size, + &exp, 0, reloc); + } + } + else + emit_expr (&exp, (unsigned int) nbytes); + } + while (*input_line_pointer++ == ','); + + /* Put terminator back into stream. */ + input_line_pointer--; + demand_empty_rest_of_line (); +} #endif int diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 9c4a9fb79..d24486bd5 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-02-03 Maxim Kuvyrkov + + * gas/m68k/tls-gd-3.d, gas/m68k/tls-gd-3.s: New test. + * gas/m68k/all.exp: Run it. + 2009-01-29 Mark Mitchell * gas/arm/copro.s: Avoid using r15 where not permitted. diff --git a/gas/testsuite/gas/m68k/all.exp b/gas/testsuite/gas/m68k/all.exp index 0dcf29eb1..9cb9c2c0f 100644 --- a/gas/testsuite/gas/m68k/all.exp +++ b/gas/testsuite/gas/m68k/all.exp @@ -86,6 +86,10 @@ if { [istarget m68*-*-*] || [istarget fido*-*-*] } then { pass $testname } } + + if { [istarget m68k-*-linux*] } then { + run_dump_test tls-gd-3 + } } if [info exists errorInfo] then { unset errorInfo diff --git a/include/elf/ChangeLog b/include/elf/ChangeLog index 3faff0d2e..0a4f94c60 100644 --- a/include/elf/ChangeLog +++ b/include/elf/ChangeLog @@ -1,3 +1,7 @@ +2009-02-03 Maxim Kuvyrkov + + * m68k.h: Map TLS relocations to numbers. + 2009-01-15 Andrew Stubbs Julian Brown diff --git a/include/elf/m68k.h b/include/elf/m68k.h index 23b269a82..5c29d381f 100644 --- a/include/elf/m68k.h +++ b/include/elf/m68k.h @@ -50,6 +50,25 @@ START_RELOC_NUMBERS (elf_m68k_reloc_type) /* These are GNU extensions to enable C++ vtable garbage collection. */ RELOC_NUMBER (R_68K_GNU_VTINHERIT, 23) RELOC_NUMBER (R_68K_GNU_VTENTRY, 24) + /* TLS static relocations. */ + RELOC_NUMBER (R_68K_TLS_GD32, 25) + RELOC_NUMBER (R_68K_TLS_GD16, 26) + RELOC_NUMBER (R_68K_TLS_GD8, 27) + RELOC_NUMBER (R_68K_TLS_LDM32, 28) + RELOC_NUMBER (R_68K_TLS_LDM16, 29) + RELOC_NUMBER (R_68K_TLS_LDM8, 30) + RELOC_NUMBER (R_68K_TLS_LDO32, 31) + RELOC_NUMBER (R_68K_TLS_LDO16, 32) + RELOC_NUMBER (R_68K_TLS_LDO8, 33) + RELOC_NUMBER (R_68K_TLS_IE32, 34) + RELOC_NUMBER (R_68K_TLS_IE16, 35) + RELOC_NUMBER (R_68K_TLS_IE8, 36) + RELOC_NUMBER (R_68K_TLS_LE32, 37) + RELOC_NUMBER (R_68K_TLS_LE16, 38) + RELOC_NUMBER (R_68K_TLS_LE8, 39) + RELOC_NUMBER (R_68K_TLS_DTPMOD32, 40) + RELOC_NUMBER (R_68K_TLS_DTPREL32, 41) + RELOC_NUMBER (R_68K_TLS_TPREL32, 42) END_RELOC_NUMBERS (R_68K_max) /* We use the top 24 bits to encode information about the diff --git a/ld/testsuite/ChangeLog b/ld/testsuite/ChangeLog index cba7ed993..31ab65569 100644 --- a/ld/testsuite/ChangeLog +++ b/ld/testsuite/ChangeLog @@ -1,3 +1,21 @@ +2009-02-03 Maxim Kuvyrkov + + * ld-m68k/got-multigot-12-13-14-34-35-ok.d: Update. + * ld-m68k/got-multigot-14-ok.d: Update. + * ld-m68k/m68k-got.exp: Update. + * ld-m68k/got-negative-12-13-14-34-ok.d: Update. + * ld-m68k/got-negative-14-ok.d: Update. + * ld-m68k/tls-gd-1.d, ld-m68k/tls-gd-2.d: New tests. + * ld-m68k/tls-gd-ie-1.d, ld-m68k/tls-ie-1.d: New tests. + * ld-m68k/tls-ld-1.d, ld-m68k/tls-ld-2.d: New tests. + * ld-m68k/tls-ld-1.s, ld-m68k/tls-ld-2.s, ld-m68k/tls-le-1.s: + New test sources. + * ld-m68k/tls-no-1.s, ld-m68k/tls-gd-ie-1.s, ld-m68k/tls-gd-1.s: + New test sources. + * ld-m68k/tls-gd-2.s, ld-m68k/tls-ie-1.s: New test sources. + * ld-m68k/m68k.exp: Run new tests. + (merge isa-a isa-a:nodiv): Fix. + 2009-02-01 Jan Kratochvil * ld-elf/eh-group2.s: New `.cfi_lsda' referencing `.gcc_except_table'. diff --git a/ld/testsuite/ld-m68k/got-multigot-12-13-14-34-35-ok.d b/ld/testsuite/ld-m68k/got-multigot-12-13-14-34-35-ok.d index de5503241..176961b09 100644 --- a/ld/testsuite/ld-m68k/got-multigot-12-13-14-34-35-ok.d +++ b/ld/testsuite/ld-m68k/got-multigot-12-13-14-34-35-ok.d @@ -10,9 +10,9 @@ Dynamic section at offset .* contains 9 entries: 0x0000000a \(STRSZ\) [0-9]+ \(bytes\) 0x0000000b \(SYMENT\) 16 \(bytes\) 0x00000007 \(RELA\) 0x[0-9a-f]+ - 0x00000008 \(RELASZ\) 294960 \(bytes\) + 0x00000008 \(RELASZ\) 294936 \(bytes\) 0x00000009 \(RELAENT\) 12 \(bytes\) 0x00000000 \(NULL\) 0x0 -Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 24580 entries: +Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 24578 entries: Offset Info Type Sym.Value Sym. Name \+ Addend diff --git a/ld/testsuite/ld-m68k/got-multigot-14-ok.d b/ld/testsuite/ld-m68k/got-multigot-14-ok.d index dc2e64ac1..7ebc58977 100644 --- a/ld/testsuite/ld-m68k/got-multigot-14-ok.d +++ b/ld/testsuite/ld-m68k/got-multigot-14-ok.d @@ -10,9 +10,9 @@ Dynamic section at offset .* contains 9 entries: 0x0000000a \(STRSZ\) [0-9]+ \(bytes\) 0x0000000b \(SYMENT\) 16 \(bytes\) 0x00000007 \(RELA\) 0x[0-9a-f]+ - 0x00000008 \(RELASZ\) 196608 \(bytes\) + 0x00000008 \(RELASZ\) 196584 \(bytes\) 0x00000009 \(RELAENT\) 12 \(bytes\) 0x00000000 \(NULL\) 0x0 -Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16384 entries: +Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16382 entries: Offset Info Type Sym.Value Sym. Name \+ Addend diff --git a/ld/testsuite/ld-m68k/got-negative-12-13-14-34-ok.d b/ld/testsuite/ld-m68k/got-negative-12-13-14-34-ok.d index 402631cdc..451df8052 100644 --- a/ld/testsuite/ld-m68k/got-negative-12-13-14-34-ok.d +++ b/ld/testsuite/ld-m68k/got-negative-12-13-14-34-ok.d @@ -10,9 +10,9 @@ Dynamic section at offset .* contains 9 entries: 0x0000000a \(STRSZ\) [0-9]+ \(bytes\) 0x0000000b \(SYMENT\) 16 \(bytes\) 0x00000007 \(RELA\) 0x[0-9a-f]+ - 0x00000008 \(RELASZ\) 196608 \(bytes\) + 0x00000008 \(RELASZ\) 196584 \(bytes\) 0x00000009 \(RELAENT\) 12 \(bytes\) 0x00000000 \(NULL\) 0x0 -Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16384 entries: +Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16382 entries: Offset Info Type Sym.Value Sym. Name \+ Addend diff --git a/ld/testsuite/ld-m68k/got-negative-14-ok.d b/ld/testsuite/ld-m68k/got-negative-14-ok.d index 402631cdc..451df8052 100644 --- a/ld/testsuite/ld-m68k/got-negative-14-ok.d +++ b/ld/testsuite/ld-m68k/got-negative-14-ok.d @@ -10,9 +10,9 @@ Dynamic section at offset .* contains 9 entries: 0x0000000a \(STRSZ\) [0-9]+ \(bytes\) 0x0000000b \(SYMENT\) 16 \(bytes\) 0x00000007 \(RELA\) 0x[0-9a-f]+ - 0x00000008 \(RELASZ\) 196608 \(bytes\) + 0x00000008 \(RELASZ\) 196584 \(bytes\) 0x00000009 \(RELAENT\) 12 \(bytes\) 0x00000000 \(NULL\) 0x0 -Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16384 entries: +Relocation section '\.rela\.dyn' at offset 0x[0-9a-f]+ contains 16382 entries: Offset Info Type Sym.Value Sym. Name \+ Addend diff --git a/ld/testsuite/ld-m68k/m68k-got.exp b/ld/testsuite/ld-m68k/m68k-got.exp index 4902eac90..378e59389 100644 --- a/ld/testsuite/ld-m68k/m68k-got.exp +++ b/ld/testsuite/ld-m68k/m68k-got.exp @@ -26,7 +26,7 @@ if { ![is_elf_format] || ![istarget m68k-*-*] } { # 1 - 1 # 2 - 8189 # 3 - 8190 -# 4 - 16384 +# 4 - 16382 # 5 - 16385 proc gen_got_test { testname } { @@ -52,7 +52,7 @@ proc gen_got_test { testname } { } "got-14" { set start 1 - set count 16384 + set count 16382 set xgot 0 } "got-15" { @@ -62,7 +62,7 @@ proc gen_got_test { testname } { } "got-34" { set start 8190 - set count 16384 + set count 16382 set xgot 0 } "got-35" { @@ -164,7 +164,7 @@ proc got_test { testname } { } "got-negative-14-ok" { puts $ofd "#source: $objdir/tmpdir/got-14.s" - set count 16384 + set count 16382 } "got-negative-15-er" { puts $ofd "#source: $objdir/tmpdir/got-15.s" @@ -175,7 +175,7 @@ proc got_test { testname } { puts $ofd "#source: $objdir/tmpdir/got-13.s" puts $ofd "#source: $objdir/tmpdir/got-14.s" puts $ofd "#source: $objdir/tmpdir/got-34.s" - set count 16384 + set count 16382 } "got-negative-12-13-14-35-er" { puts $ofd "#source: $objdir/tmpdir/got-12.s" @@ -186,7 +186,7 @@ proc got_test { testname } { } "got-multigot-14-ok" { puts $ofd "#source: $objdir/tmpdir/got-14.s" - set count 16384 + set count 16382 } "got-multigot-15-er" { puts $ofd "#source: $objdir/tmpdir/got-15.s" @@ -198,7 +198,7 @@ proc got_test { testname } { puts $ofd "#source: $objdir/tmpdir/got-14.s" puts $ofd "#source: $objdir/tmpdir/got-34.s" puts $ofd "#source: $objdir/tmpdir/got-35.s" - set count 24580 + set count 24578 } "got-xgot-15-ok" { puts $ofd "#source: $objdir/tmpdir/xgot-15.s" diff --git a/ld/testsuite/ld-m68k/m68k.exp b/ld/testsuite/ld-m68k/m68k.exp index ccdfda0e4..214c640f6 100644 --- a/ld/testsuite/ld-m68k/m68k.exp +++ b/ld/testsuite/ld-m68k/m68k.exp @@ -35,7 +35,7 @@ if { ![is_elf_format] || ![istarget m68k-*-*] } { set m68k_mergeok_tests { {"merge isa-a isa-a:nodiv" "-T merge.ld" "" - {isaa.s isaa-nodiv.s} {{objdump -p isaa.d}} "isaa"} + {isaa.s isaa-nodiv.s} {{objdump -p isaa.d}} "isaa-nodiv"} {"merge isa-a isa-b" "-T merge.ld" "" {isaa.s isab.s} {{objdump -p isab.d}} "isab"} {"merge isa-a isa-aplus" "-T merge.ld" "" @@ -66,3 +66,12 @@ foreach { id sources } { a { plt1.s } b { plt1-empty.s plt1.s } } { plt1-${id}-${arch}.so]] } } + +if { [istarget m68k-*-linux*] } then { + run_dump_test "tls-gd-1" + run_dump_test "tls-gd-2" + run_dump_test "tls-gd-ie-1" + run_dump_test "tls-ie-1" + run_dump_test "tls-ld-1" + run_dump_test "tls-ld-2" +} -- 2.11.4.GIT