diff options
64 files changed, 2772 insertions, 289 deletions
diff --git a/bfd/ChangeLog b/bfd/ChangeLog index a8a0ad9..48a3228 100644 --- a/bfd/ChangeLog +++ b/bfd/ChangeLog @@ -1,3 +1,64 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + Bernd Schmidt <bernds@codesourcery.com> + Paul Brook <paul@codesourcery.com> + + bfd/ + * bfd-in2.h: Regenerated. + * elf-bfd.h (DWARF2_EH_HDR, COMPACT_EH_HDR): Define. + (COMPACT_EH_CANT_UNWIND_OPCODE): Define. + (dwarf_eh_frame_hdr_info): Move dwarf-specific fields from + eh_frame_hdr_info. + (compact_eh_frame_hdr_info): Declare. + (eh_frame_hdr_info): Redeclare with union for dwarf-specific + fields and compact-eh fields. + (elf_backend_data): Add cant_unwind_opcode and compact_eh_encoding. + (bfd_elf_section_data): Add eh_frame_entry_field. + (elf_section_eh_frame_entry): Define. + (bfd_elf_parse_eh_frame_entries): Declare. + (_bfd_elf_parse_eh_frame_entry): Declare. + (_bfd_elf_end_eh_frame_parsing): Declare. + (_bfd_elf_write_section_eh_frame_entry): Declare. + (_bfd_elf_eh_frame_entry_present): Declare. + (_bfd_elf_section_for_symbol): Declare. + * elf-eh-frame.c (bfd_elf_discard_eh_frame_entry): New function. + (bfd_elf_record_eh_frame_entry): New function. + (_bfd_elf_parse_eh_frame_entry): New function. + (_bfd_elf_parse_eh_frame): Update hdr_info field references. + (cmp_eh_frame_hdr): New function. + (add_eh_frame_hdr_terminator): New function. + (_bfd_elf_end_eh_frame_parsing): New function. + (find_merged_cie): Update hdr_info field references. + (_bfd_elf_discard_section_eh_frame): Likewise. + (_bfd_elf_discard_section_eh_frame_hdr): Add Compact EH support. + (_bfd_elf_eh_frame_entry_present): New function. + (_bfd_elf_maybe_strip_eh_frame_hdr): Add Compact EH support. + (_bfd_elf_write_section_eh_frame_entry): New function. + (_bfd_elf_write_section_eh_frame): Update hdr_info field references. + (_bfd_elf_fixup_eh_frame_hdr): New function. + (write_compact_eh_frame_hdr): New function. + (write_dwarf_eh_frame_hdr): New function. + (_bfd_elf_write_section_eh_frame_hdr): Add Compact EH support. + * elflink.c (_bfd_elf_section_for_symbol): New function. + (elf_section_ignore_discarded_relocs): Add Compact EH support. + (elf_link_input_bfd): Likewise. + (bfd_elf_final_link): Likewise. + (_bfd_elf_gc_mark): Likewise. + (bfd_elf_parse_eh_frame_entries): New function. + (bfd_elf_gc_sections): Add Compact EH support. + (bfd_elf_discard_info): Likewise. + * elfxx-mips.c: Include dwarf2.h. + (_bfd_mips_elf_compact_eh_encoding): New function. + (_bfd_mips_elf_cant_unwind_opcode): New function. + * elfxx-mips.h (_bfd_mips_elf_compact_eh_encoding): Declare. + (_bfd_mips_elf_cant_unwind_opcode): Declare. + (elf_backend_compact_eh_encoding): Define. + (elf_backend_cant_unwind_opcode): Define. + * elfxx-target.h (elf_backend_compact_eh_encoding): Provide default. + (elf_backend_cant_unwind_opcode): Provide default. + (elf_backend_data elfNN_bed): Add elf_backend_compact_eh_encoding and + elf_backend_cant_unwind_opcode. + * section.c (SEC_INFO_TYPE_EH_FRAME_ENTRY): Add definition. + 2015-05-27 H.J. Lu <hongjiu.lu@intel.com> PR binutils/18458 @@ -229,6 +290,77 @@ * elf64-ppc.c (TOC_BASE_ALIGN): Define. (ppc64_elf_next_toc_section): Align multi-got toc base. (ppc64_elf_set_toc): Likewise initial toc base and .TOC. symbol. +======= +2015-05-04 Catherine Moore <clm@codesourcery.com> + + * elfxx-target.h: Add missing #endif. + +2015-04-22 Catherine Moore <clm@codesourcery.com> + + * elf-eh-frame.c (_bfd_elf_write_section_eh_frame_entry): Don't write + the .eh_frame_entry section if the corresponding text section is marked + with SEC_EXCLUDE. + +2015-04-22 Catherine Moore <clm@codesourcery.com> + Bernd Schmidt <bernds@codesourcery.com> + Paul Brook <paul@codesourcery.com> + + * bfd-in2.h (SEC_INFO_TYPE_EH_FRAME_ENTRY): Define. + * elf-bfd.h (DWARF2_EH_HDR, COMPACT_EH_HDR): Define. + (COMPACT_EH_CANT_UNWIND_OPCODE): Define. + (dwarf_eh_frame_hdr_info): New struct. + (compact_eh_frame_hdr_info): New struct. + (eh_frame_hdr_info): Separate dwarf and compact fields. + (elf_backend_data): Add compact_eh_encoding and cant_unwind_opcode + fields. + (bfd_elf_section_data): Add eh_frame_entry field. + (elf_section_eh_frame_entry): Define. + (bfd_elf_parse_eh_frame_entries): Declare. + (_bfd_elf_parse_eh_frame_entry): Declare. + (_bfd_elf_end_eh_frame_parsing): Declare. + (_bfd_elf_write_section_eh_frame_entry): Declare. + (_bfd_elf_fixup_eh_frame_hdr): Declare. + (_bfd_elf_eh_frame_entry_present): Declare. + (_bfd_elf_section_for_symbol): Declare. + * elf-eh-frame.c (bfd_elf_discard_eh_frame_entry): New function. + (bfd_elf_record_eh_frame_entry): New function. + (_bfd_elf_parse_eh_frame_entry): New function. + (_bfd_elf_parse_eh_frame): Update hdr_info field references. + (cmp_eh_frame_hdr): New function. + (add_eh_frame_hdr_terminator): New function. + (_bfd_elf_end_eh_frame_parsing): New function. + (find_merged_cie): Update hdr_info field references. + (_bfd_elf_discard_section_eh_frame): Likewise. + (_bfd_elf_discard_section_eh_frame_hdr): Likewise. + Add Compact EH support. + (_bfd_elf_eh_frame_entry_present): New function. + (_bfd_elf_maybe_strip_eh_frame_hdr): Add Compact EH support. + (_bfd_elf_write_section_eh_frame_entry): New function. + (_bfd_elf_write_section_eh_frame): Update hdr_info field references. + (_bfd_elf_write_section_eh_frame): Likewise. + (_bfd_elf_fixup_eh_frame_hdr): New function. + (write_compact_eh_frame_hdr): New function. + (_bfd_elf_write_section_eh_frame_hdr): Compact EH support. Update + hdr_info field references. + * elflink.c (_bfd_elf_section_for_symbol): New function. + (elf_section_ignore_discarded_relocs, elf_link_input_bfd): + Handle SEC_INFO_TYPE_EH_FRAME_ENTRY. + (bfd_elf_final_link): Call _bfd_elf_fixup_eh_frame_hdr. + (_bfd_elf_gc_mark): Support Compact EH. + (bfd_elf_parse_eh_frame_entries): New function. + (bfd_elf_gc_sections): Support Compact EH. + (bfd_elf_discard_info): Likewise. + * elfxx-mips.c (_bfd_mips_elf_compact_eh_encoding): New function. + (_bfd_mips_elf_cant_unwind_opcode): New function. + * elfxx-mips.h (_bfd_mips_elf_compact_eh_encoding): Declare. + (_bfd_mips_elf_cant_unwind_opcode): Declare. + (elf_backend_compact_eh_encoding): Define. + (elf_backend_cant_unwind_opcode): Define. + * elfxx-target.h (elf_backend_compact_eh_encoding): + Provide default definition. + (elf_backend_cant_unwind_opcode): Provide default definition. + * section.c (SEC_INFO_TYPE_EH_FRAME_ENTRY): Define. +>>>>>>> 2015-05-04 Catherine Moore <clm@codesourcery.com> 2015-04-22 H.J. Lu <hongjiu.lu@intel.com> diff --git a/bfd/bfd-in2.h b/bfd/bfd-in2.h index 6f7ae34..ee67340 100644 --- a/bfd/bfd-in2.h +++ b/bfd/bfd-in2.h @@ -1452,6 +1452,7 @@ typedef struct bfd_section #define SEC_INFO_TYPE_EH_FRAME 3 #define SEC_INFO_TYPE_JUST_SYMS 4 #define SEC_INFO_TYPE_TARGET 5 +#define SEC_INFO_TYPE_EH_FRAME_ENTRY 6 /* Nonzero if this section uses RELA relocations, rather than REL. */ unsigned int use_rela_p:1; diff --git a/bfd/elf-bfd.h b/bfd/elf-bfd.h index e435e52..9807fe7 100644 --- a/bfd/elf-bfd.h +++ b/bfd/elf-bfd.h @@ -388,16 +388,41 @@ struct eh_frame_array_ent struct htab; -struct eh_frame_hdr_info +#define DWARF2_EH_HDR 1 +#define COMPACT_EH_HDR 2 + +/* Endian-neutral code indicating that a function cannot be unwound. */ +#define COMPACT_EH_CANT_UNWIND_OPCODE 0x015d5d01 + +struct dwarf_eh_frame_hdr_info { struct htab *cies; - asection *hdr_sec; - unsigned int fde_count, array_count; - struct eh_frame_array_ent *array; + unsigned int fde_count; /* TRUE if .eh_frame_hdr should contain the sorted search table. We build it if we successfully read all .eh_frame input sections and recognize them. */ bfd_boolean table; + struct eh_frame_array_ent *array; +}; + +struct compact_eh_frame_hdr_info +{ + unsigned int allocated_entries; + /* eh_frame_entry fragments. */ + asection **entries; +}; + +struct eh_frame_hdr_info +{ + asection *hdr_sec; + unsigned int array_count; + bfd_boolean frame_hdr_is_compact; + union + { + struct dwarf_eh_frame_hdr_info dwarf; + struct compact_eh_frame_hdr_info compact; + } + u; }; /* Enum used to identify target specific extensions to the elf_obj_tdata @@ -1291,6 +1316,12 @@ struct elf_backend_data or give an error and return FALSE. */ bfd_boolean (*obj_attrs_handle_unknown) (bfd *, int); + /* Encoding used for compact EH tables. */ + int (*compact_eh_encoding) (struct bfd_link_info *); + + /* Opcode representing no unwind. */ + int (*cant_unwind_opcode) (struct bfd_link_info *); + /* This is non-zero if static TLS segments require a special alignment. */ unsigned static_tls_alignment; @@ -1445,6 +1476,9 @@ struct bfd_elf_section_data field acts as a chain pointer. */ struct eh_cie_fde *fde_list; + /* Link from a text section to its .eh_frame_entry section. */ + asection *eh_frame_entry; + /* A pointer used for various section optimizations. */ void *sec_info; }; @@ -1458,6 +1492,7 @@ struct bfd_elf_section_data #define elf_next_in_group(sec) (elf_section_data(sec)->next_in_group) #define elf_fde_list(sec) (elf_section_data(sec)->fde_list) #define elf_sec_group(sec) (elf_section_data(sec)->sec_group) +#define elf_section_eh_frame_entry(sec) (elf_section_data(sec)->eh_frame_entry) #define xvec_get_elf_backend_data(xvec) \ ((const struct elf_backend_data *) (xvec)->backend_data) @@ -1983,8 +2018,15 @@ extern bfd_boolean _bfd_elf_strtab_emit extern void _bfd_elf_strtab_finalize (struct elf_strtab_hash *); +extern bfd_boolean bfd_elf_parse_eh_frame_entries + (bfd *, struct bfd_link_info *); +extern bfd_boolean _bfd_elf_parse_eh_frame_entry + (struct bfd_link_info *, asection *, struct elf_reloc_cookie *); extern void _bfd_elf_parse_eh_frame (bfd *, struct bfd_link_info *, asection *, struct elf_reloc_cookie *); +extern bfd_boolean _bfd_elf_end_eh_frame_parsing + (struct bfd_link_info *info); + extern bfd_boolean _bfd_elf_discard_section_eh_frame (bfd *, struct bfd_link_info *, asection *, bfd_boolean (*) (bfd_vma, void *), struct elf_reloc_cookie *); @@ -1994,10 +2036,15 @@ extern bfd_vma _bfd_elf_eh_frame_section_offset (bfd *, struct bfd_link_info *, asection *, bfd_vma); extern bfd_boolean _bfd_elf_write_section_eh_frame (bfd *, struct bfd_link_info *, asection *, bfd_byte *); +bfd_boolean _bfd_elf_write_section_eh_frame_entry + (bfd *, struct bfd_link_info *, asection *, bfd_byte *); +extern bfd_boolean _bfd_elf_fixup_eh_frame_hdr (struct bfd_link_info *); extern bfd_boolean _bfd_elf_write_section_eh_frame_hdr (bfd *, struct bfd_link_info *); extern bfd_boolean _bfd_elf_eh_frame_present (struct bfd_link_info *); +extern bfd_boolean _bfd_elf_eh_frame_entry_present + (struct bfd_link_info *); extern bfd_boolean _bfd_elf_maybe_strip_eh_frame_hdr (struct bfd_link_info *); @@ -2021,6 +2068,8 @@ extern bfd_boolean _bfd_elf_create_dynamic_sections (bfd *, struct bfd_link_info *); extern bfd_boolean _bfd_elf_create_got_section (bfd *, struct bfd_link_info *); +extern asection *_bfd_elf_section_for_symbol + (struct elf_reloc_cookie *, unsigned long, bfd_boolean); extern struct elf_link_hash_entry *_bfd_elf_define_linkage_sym (bfd *, struct bfd_link_info *, asection *, const char *); extern void _bfd_elf_init_1_index_section diff --git a/bfd/elf-eh-frame.c b/bfd/elf-eh-frame.c index faa0461..22068ab 100644 --- a/bfd/elf-eh-frame.c +++ b/bfd/elf-eh-frame.c @@ -452,6 +452,111 @@ make_pc_relative (unsigned char encoding, unsigned int ptr_size) return encoding | DW_EH_PE_pcrel; } +/* Examine each .eh_frame_entry section and discard those + those that are marked SEC_EXCLUDE. */ + +static void +bfd_elf_discard_eh_frame_entry (struct eh_frame_hdr_info *hdr_info) +{ + unsigned int i; + for (i = 0; i < hdr_info->array_count; i++) + { + if (hdr_info->u.compact.entries[i]->flags & SEC_EXCLUDE) + { + unsigned int j; + for (j = i + 1; j < hdr_info->array_count; j++) + hdr_info->u.compact.entries[j-1] = hdr_info->u.compact.entries[j]; + + hdr_info->array_count--; + hdr_info->u.compact.entries[hdr_info->array_count] = NULL; + i--; + } + } +} + +/* Add a .eh_frame_entry section. */ + +static void +bfd_elf_record_eh_frame_entry (struct eh_frame_hdr_info *hdr_info, + asection *sec) +{ + if (hdr_info->array_count == hdr_info->u.compact.allocated_entries) + { + if (hdr_info->u.compact.allocated_entries == 0) + { + hdr_info->frame_hdr_is_compact = TRUE; + hdr_info->u.compact.allocated_entries = 2; + hdr_info->u.compact.entries = + bfd_malloc (hdr_info->u.compact.allocated_entries + * sizeof (hdr_info->u.compact.entries[0])); + } + else + { + hdr_info->u.compact.allocated_entries *= 2; + hdr_info->u.compact.entries = + bfd_realloc (hdr_info->u.compact.entries, + hdr_info->u.compact.allocated_entries + * sizeof (hdr_info->u.compact.entries[0])); + } + + BFD_ASSERT (hdr_info->u.compact.entries); + } + + hdr_info->u.compact.entries[hdr_info->array_count++] = sec; +} + +/* Parse a .eh_frame_entry section. Figure out which text section it + references. */ + +bfd_boolean +_bfd_elf_parse_eh_frame_entry (struct bfd_link_info *info, + asection *sec, struct elf_reloc_cookie *cookie) +{ + struct elf_link_hash_table *htab; + struct eh_frame_hdr_info *hdr_info; + unsigned long r_symndx; + asection *text_sec; + + htab = elf_hash_table (info); + hdr_info = &htab->eh_info; + + if (sec->size == 0 + || sec->sec_info_type != SEC_INFO_TYPE_NONE) + { + return TRUE; + } + + if (sec->output_section && bfd_is_abs_section (sec->output_section)) + { + /* At least one of the sections is being discarded from the + link, so we should just ignore them. */ + return TRUE; + } + + if (cookie->rel == cookie->relend) + return FALSE; + + /* The first relocation is the function start. */ + r_symndx = cookie->rel->r_info >> cookie->r_sym_shift; + if (r_symndx == STN_UNDEF) + return FALSE; + + text_sec = _bfd_elf_section_for_symbol (cookie, r_symndx, FALSE); + + if (text_sec == NULL) + return FALSE; + + elf_section_eh_frame_entry (text_sec) = sec; + if (text_sec->output_section + && bfd_is_abs_section (text_sec->output_section)) + sec->flags |= SEC_EXCLUDE; + + sec->sec_info_type = SEC_INFO_TYPE_EH_FRAME_ENTRY; + elf_section_data (sec)->sec_info = text_sec; + bfd_elf_record_eh_frame_entry (hdr_info, sec); + return TRUE; +} + /* Try to parse .eh_frame section SEC, which belongs to ABFD. Store the information in the section's sec_info field on success. COOKIE describes the relocations in SEC. */ @@ -925,7 +1030,7 @@ _bfd_elf_parse_eh_frame (bfd *abfd, struct bfd_link_info *info, (*info->callbacks->einfo) (_("%P: error in %B(%A); no .eh_frame_hdr table will be created.\n"), abfd, sec); - hdr_info->table = FALSE; + hdr_info->u.dwarf.table = FALSE; if (sec_info) free (sec_info); success: @@ -936,6 +1041,89 @@ _bfd_elf_parse_eh_frame (bfd *abfd, struct bfd_link_info *info, #undef REQUIRE } +/* Order eh_frame_hdr entries by the VMA of their text section. */ + +static int +cmp_eh_frame_hdr (const void *a, const void *b) +{ + bfd_vma text_a; + bfd_vma text_b; + asection *sec; + + sec = *(asection *const *)a; + sec = (asection *) elf_section_data (sec)->sec_info; + text_a = sec->output_section->vma + sec->output_offset; + sec = *(asection *const *)b; + sec = (asection *) elf_section_data (sec)->sec_info; + text_b = sec->output_section->vma + sec->output_offset; + + if (text_a < text_b) + return -1; + return text_a > text_b; + +} + +/* Add space for a CANTUNWIND terminator to SEC if the text sections + referenced by it and NEXT are not contiguous, or NEXT is NULL. */ + +static void +add_eh_frame_hdr_terminator (asection *sec, + asection *next) +{ + bfd_vma end; + bfd_vma next_start; + asection *text_sec; + + if (next) + { + /* See if there is a gap (presumably a text section without unwind info) + between these two entries. */ + text_sec = (asection *) elf_section_data (sec)->sec_info; + end = text_sec->output_section->vma + text_sec->output_offset + + text_sec->size; + text_sec = (asection *) elf_section_data (next)->sec_info; + next_start = text_sec->output_section->vma + text_sec->output_offset; + if (end == next_start) + return; + } + + /* Add space for a CANTUNWIND terminator. */ + if (!sec->rawsize) + sec->rawsize = sec->size; + + bfd_set_section_size (sec->owner, sec, sec->size + 8); +} + +/* Finish a pass over all .eh_frame_entry sections. */ + +bfd_boolean +_bfd_elf_end_eh_frame_parsing (struct bfd_link_info *info) +{ + struct eh_frame_hdr_info *hdr_info; + unsigned int i; + + hdr_info = &elf_hash_table (info)->eh_info; + + if (info->eh_frame_hdr_type != COMPACT_EH_HDR + || hdr_info->array_count == 0) + return FALSE; + + bfd_elf_discard_eh_frame_entry (hdr_info); + + qsort (hdr_info->u.compact.entries, hdr_info->array_count, + sizeof (asection *), cmp_eh_frame_hdr); + + for (i = 0; i < hdr_info->array_count - 1; i++) + { + add_eh_frame_hdr_terminator (hdr_info->u.compact.entries[i], + hdr_info->u.compact.entries[i + 1]); + } + + /* Add a CANTUNWIND terminator after the last entry. */ + add_eh_frame_hdr_terminator (hdr_info->u.compact.entries[i], NULL); + return TRUE; +} + /* Mark all relocations against CIE or FDE ENT, which occurs in .eh_frame section SEC. COOKIE describes the relocations in SEC; its "rel" field can be changed freely. */ @@ -1089,13 +1277,14 @@ find_merged_cie (bfd *abfd, struct bfd_link_info *info, asection *sec, /* See if we can merge this CIE with an earlier one. */ cie_compute_hash (cie); - if (hdr_info->cies == NULL) + if (hdr_info->u.dwarf.cies == NULL) { - hdr_info->cies = htab_try_create (1, cie_hash, cie_eq, free); - if (hdr_info->cies == NULL) + hdr_info->u.dwarf.cies = htab_try_create (1, cie_hash, cie_eq, free); + if (hdr_info->u.dwarf.cies == NULL) return cie_inf; } - loc = htab_find_slot_with_hash (hdr_info->cies, cie, cie->hash, INSERT); + loc = htab_find_slot_with_hash (hdr_info->u.dwarf.cies, cie, + cie->hash, INSERT); if (loc == NULL) return cie_inf; @@ -1185,13 +1374,13 @@ _bfd_elf_discard_section_eh_frame which we cannot turn into PC relative, don't create the binary search table, since it is affected by runtime relocations. */ - hdr_info->table = FALSE; + hdr_info->u.dwarf.table = FALSE; (*info->callbacks->einfo) (_("%P: FDE encoding in %B(%A) prevents .eh_frame_hdr" " table being created.\n"), abfd, sec); } ent->removed = 0; - hdr_info->fde_count++; + hdr_info->u.dwarf.fde_count++; ent->u.fde.cie_inf = find_merged_cie (abfd, info, sec, hdr_info, cookie, ent->u.fde.cie_inf); } @@ -1230,19 +1419,28 @@ _bfd_elf_discard_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) htab = elf_hash_table (info); hdr_info = &htab->eh_info; - if (hdr_info->cies != NULL) + if (!hdr_info->frame_hdr_is_compact && hdr_info->u.dwarf.cies != NULL) { - htab_delete (hdr_info->cies); - hdr_info->cies = NULL; + htab_delete (hdr_info->u.dwarf.cies); + hdr_info->u.dwarf.cies = NULL; } sec = hdr_info->hdr_sec; if (sec == NULL) return FALSE; - sec->size = EH_FRAME_HDR_SIZE; - if (hdr_info->table) - sec->size += 4 + hdr_info->fde_count * 8; + if (info->eh_frame_hdr_type == COMPACT_EH_HDR) + { + /* For compact frames we only add the header. The actual table comes + from the .eh_frame_entry sections. */ + sec->size = 8; + } + else + { + sec->size = EH_FRAME_HDR_SIZE; + if (hdr_info->u.dwarf.table) + sec->size += 4 + hdr_info->u.dwarf.fde_count * 8; + } elf_eh_frame_hdr (abfd) = sec; return TRUE; @@ -1251,6 +1449,7 @@ _bfd_elf_discard_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) /* Return true if there is at least one non-empty .eh_frame section in input files. Can only be called after ld has mapped input to output sections, and before sections are stripped. */ + bfd_boolean _bfd_elf_eh_frame_present (struct bfd_link_info *info) { @@ -1268,6 +1467,29 @@ _bfd_elf_eh_frame_present (struct bfd_link_info *info) return FALSE; } +/* Return true if there is at least one .eh_frame_entry section in + input files. */ + +bfd_boolean +_bfd_elf_eh_frame_entry_present (struct bfd_link_info *info) +{ + asection *o; + bfd *abfd; + + for (abfd = info->input_bfds; abfd != NULL; abfd = abfd->link.next) + { + for (o = abfd->sections; o; o = o->next) + { + const char *name = bfd_get_section_name (abfd, o); + + if (strcmp (name, ".eh_frame_entry") + && !bfd_is_abs_section (o->output_section)) + return TRUE; + } + } + return FALSE; +} + /* This function is called from size_dynamic_sections. It needs to decide whether .eh_frame_hdr should be output or not, because when the dynamic symbol table has been sized it is too late @@ -1278,6 +1500,8 @@ _bfd_elf_maybe_strip_eh_frame_hdr (struct bfd_link_info *info) { struct elf_link_hash_table *htab; struct eh_frame_hdr_info *hdr_info; + struct bfd_link_hash_entry *bh = NULL; + struct elf_link_hash_entry *h; htab = elf_hash_table (info); hdr_info = &htab->eh_info; @@ -1285,15 +1509,32 @@ _bfd_elf_maybe_strip_eh_frame_hdr (struct bfd_link_info *info) return TRUE; if (bfd_is_abs_section (hdr_info->hdr_sec->output_section) - || !info->eh_frame_hdr - || !_bfd_elf_eh_frame_present (info)) + || info->eh_frame_hdr_type == 0 + || (info->eh_frame_hdr_type == DWARF2_EH_HDR + && !_bfd_elf_eh_frame_present (info)) + || (info->eh_frame_hdr_type == COMPACT_EH_HDR + && !_bfd_elf_eh_frame_entry_present (info))) { hdr_info->hdr_sec->flags |= SEC_EXCLUDE; hdr_info->hdr_sec = NULL; return TRUE; } - hdr_info->table = TRUE; + /* Add a hidden symbol so that systems without access to PHDRs can + find the table. */ + if (! (_bfd_generic_link_add_one_symbol + (info, info->output_bfd, "__GNU_EH_FRAME_HDR", BSF_LOCAL, + hdr_info->hdr_sec, 0, NULL, FALSE, FALSE, &bh))) + return FALSE; + + h = (struct elf_link_hash_entry *) bh; + h->def_regular = 1; + h->other = STV_HIDDEN; + get_elf_backend_data + (info->output_bfd)->elf_backend_hide_symbol (info, h, TRUE); + + if (!hdr_info->frame_hdr_is_compact) + hdr_info->u.dwarf.table = TRUE; return TRUE; } @@ -1384,6 +1625,83 @@ _bfd_elf_eh_frame_section_offset (bfd *output_bfd ATTRIBUTE_UNUSED, + extra_augmentation_data_bytes (sec_info->entry + mid)); } +/* Write out .eh_frame_entry section. Add CANTUNWIND terminator if needed. + Also check that the contents look sane. */ + +bfd_boolean +_bfd_elf_write_section_eh_frame_entry (bfd *abfd, struct bfd_link_info *info, + asection *sec, bfd_byte *contents) +{ + const struct elf_backend_data *bed; + bfd_byte cantunwind[8]; + bfd_vma addr; + bfd_vma last_addr; + bfd_vma offset; + asection *text_sec = (asection *) elf_section_data (sec)->sec_info; + + if (!sec->rawsize) + sec->rawsize = sec->size; + + BFD_ASSERT (sec->sec_info_type == SEC_INFO_TYPE_EH_FRAME_ENTRY); + + /* Check to make sure that the text section corresponding to this eh_frame_entry + section has not been excluded. In particular, mips16 stub entries will be + excluded outside of the normal process. */ + if (sec->flags & SEC_EXCLUDE + || text_sec->flags & SEC_EXCLUDE) + return TRUE; + + if (!bfd_set_section_contents (abfd, sec->output_section, contents, + sec->output_offset, sec->rawsize)) + return FALSE; + + last_addr = bfd_get_signed_32 (abfd, contents); + /* Check that all the entries are in order. */ + for (offset = 8; offset < sec->rawsize; offset += 8) + { + addr = bfd_get_signed_32 (abfd, contents + offset) + offset; + if (addr <= last_addr) + { + (*_bfd_error_handler) (_("%B: %s not in order"), sec->owner, sec->name); + return FALSE; + } + + last_addr = addr; + } + + addr = text_sec->output_section->vma + text_sec->output_offset + + text_sec->size; + addr &= ~1; + addr -= (sec->output_section->vma + sec->output_offset + sec->rawsize); + if (addr & 1) + { + (*_bfd_error_handler) (_("%B: %s invalid input section size"), + sec->owner, sec->name); + bfd_set_error (bfd_error_bad_value); + return FALSE; + } + if (last_addr >= addr + sec->rawsize) + { + (*_bfd_error_handler) (_("%B: %s points past end of text section"), + sec->owner, sec->name); + bfd_set_error (bfd_error_bad_value); + return FALSE; + } + + if (sec->size == sec->rawsize) + return TRUE; + + bed = get_elf_backend_data (abfd); + BFD_ASSERT (sec->size == sec->rawsize + 8); + BFD_ASSERT ((addr & 1) == 0); + BFD_ASSERT (bed->cant_unwind_opcode); + + bfd_put_32 (abfd, addr, cantunwind); + bfd_put_32 (abfd, (*bed->cant_unwind_opcode) (info), cantunwind + 4); + return bfd_set_section_contents (abfd, sec->output_section, cantunwind, + sec->output_offset + sec->rawsize, 8); +} + /* Write out .eh_frame section. This is called with the relocated contents. */ @@ -1413,10 +1731,14 @@ _bfd_elf_write_section_eh_frame (bfd *abfd, htab = elf_hash_table (info); hdr_info = &htab->eh_info; - if (hdr_info->table && hdr_info->array == NULL) - hdr_info->array = (struct eh_frame_array_ent *) - bfd_malloc (hdr_info->fde_count * sizeof(*hdr_info->array)); - if (hdr_info->array == NULL) + if (hdr_info->u.dwarf.table && hdr_info->u.dwarf.array == NULL) + { + hdr_info->frame_hdr_is_compact = FALSE; + hdr_info->u.dwarf.array = (struct eh_frame_array_ent *) + bfd_malloc (hdr_info->u.dwarf.fde_count + * sizeof (*hdr_info->u.dwarf.array)); + } + if (hdr_info->u.dwarf.array == NULL) hdr_info = NULL; /* The new offsets can be bigger or smaller than the original offsets. @@ -1651,10 +1973,11 @@ _bfd_elf_write_section_eh_frame (bfd *abfd, dwarf_vma is 64-bit. */ if (sizeof (address) > 4 && ptr_size == 4) address &= 0xffffffff; - hdr_info->array[hdr_info->array_count].initial_loc = address; - hdr_info->array[hdr_info->array_count].range + hdr_info->u.dwarf.array[hdr_info->array_count].initial_loc + = address; + hdr_info->u.dwarf.array[hdr_info->array_count].range = read_value (abfd, buf + width, width, FALSE); - hdr_info->array[hdr_info->array_count++].fde + hdr_info->u.dwarf.array[hdr_info->array_count++].fde = (sec->output_section->vma + sec->output_offset + ent->new_offset); @@ -1756,10 +2079,111 @@ vma_compare (const void *a, const void *b) return 0; } -/* Write out .eh_frame_hdr section. This must be called after - _bfd_elf_write_section_eh_frame has been called on all input - .eh_frame sections. - .eh_frame_hdr format: +/* Reorder .eh_frame_entry sections to match the associated text sections. + This routine is called during the final linking step, just before writing + the contents. At this stage, sections in the eh_frame_hdr_info are already + sorted in order of increasing text section address and so we simply need + to make the .eh_frame_entrys follow that same order. Note that it is + invalid for a linker script to try to force a particular order of + .eh_frame_entry sections. */ + +bfd_boolean +_bfd_elf_fixup_eh_frame_hdr (struct bfd_link_info *info) +{ + asection *sec = NULL; + asection *osec; + struct eh_frame_hdr_info *hdr_info; + unsigned int i; + bfd_vma offset; + struct bfd_link_order *p; + + hdr_info = &elf_hash_table (info)->eh_info; + + if (hdr_info->hdr_sec == NULL + || info->eh_frame_hdr_type != COMPACT_EH_HDR + || hdr_info->array_count == 0) + return TRUE; + + /* Change section output offsets to be in text section order. */ + offset = 8; + osec = hdr_info->u.compact.entries[0]->output_section; + for (i = 0; i < hdr_info->array_count; i++) + { + sec = hdr_info->u.compact.entries[i]; + if (sec->output_section != osec) + { + (*_bfd_error_handler) + (_("Invalid output section for .eh_frame_entry: %s"), + sec->output_section->name); + return FALSE; + } + sec->output_offset = offset; + offset += sec->size; + } + + + /* Fix the link_order to match. */ + for (p = sec->output_section->map_head.link_order; p != NULL; p = p->next) + { + if (p->type != bfd_indirect_link_order) + abort(); + + p->offset = p->u.indirect.section->output_offset; + if (p->next != NULL) + i--; + } + + if (i != 0) + { + (*_bfd_error_handler) + (_("Invalid contents in %s section"), osec->name); + return FALSE; + } + + return TRUE; +} + +/* The .eh_frame_hdr format for Compact EH frames: + ubyte version (2) + ubyte eh_ref_enc (DW_EH_PE_* encoding of typinfo references) + uint32_t count (Number of entries in table) + [array from .eh_frame_entry sections] */ + +static bfd_boolean +write_compact_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) +{ + struct elf_link_hash_table *htab; + struct eh_frame_hdr_info *hdr_info; + asection *sec; + const struct elf_backend_data *bed; + bfd_vma count; + bfd_byte contents[8]; + unsigned int i; + + htab = elf_hash_table (info); + hdr_info = &htab->eh_info; + sec = hdr_info->hdr_sec; + + if (sec->size != 8) + abort(); + + for (i = 0; i < sizeof (contents); i++) + contents[i] = 0; + + contents[0] = COMPACT_EH_HDR; + bed = get_elf_backend_data (abfd); + + BFD_ASSERT (bed->compact_eh_encoding); + contents[1] = (*bed->compact_eh_encoding) (info); + + count = (sec->output_section->size - 8) / 8; + bfd_put_32 (abfd, count, contents + 4); + return bfd_set_section_contents (abfd, sec->output_section, contents, + (file_ptr) sec->output_offset, sec->size); +} + +/* The .eh_frame_hdr format for DWARF frames: + ubyte version (currently 1) ubyte eh_frame_ptr_enc (DW_EH_PE_* encoding of pointer to start of .eh_frame section) @@ -1778,8 +2202,8 @@ vma_compare (const void *a, const void *b) FDE initial_location field and FDE address, sorted by increasing initial_loc). */ -bfd_boolean -_bfd_elf_write_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) +static bfd_boolean +write_dwarf_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) { struct elf_link_hash_table *htab; struct eh_frame_hdr_info *hdr_info; @@ -1789,100 +2213,130 @@ _bfd_elf_write_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) htab = elf_hash_table (info); hdr_info = &htab->eh_info; sec = hdr_info->hdr_sec; + bfd_byte *contents; + asection *eh_frame_sec; + bfd_size_type size; + bfd_vma encoded_eh_frame; + + size = EH_FRAME_HDR_SIZE; + if (hdr_info->u.dwarf.array + && hdr_info->array_count == hdr_info->u.dwarf.fde_count) + size += 4 + hdr_info->u.dwarf.fde_count * 8; + contents = (bfd_byte *) bfd_malloc (size); + if (contents == NULL) + return FALSE; - if (info->eh_frame_hdr && sec != NULL) + eh_frame_sec = bfd_get_section_by_name (abfd, ".eh_frame"); + if (eh_frame_sec == NULL) { - bfd_byte *contents; - asection *eh_frame_sec; - bfd_size_type size; - bfd_vma encoded_eh_frame; - - size = EH_FRAME_HDR_SIZE; - if (hdr_info->array && hdr_info->array_count == hdr_info->fde_count) - size += 4 + hdr_info->fde_count * 8; - contents = (bfd_byte *) bfd_malloc (size); - if (contents == NULL) - return FALSE; + free (contents); + return FALSE; + } - eh_frame_sec = bfd_get_section_by_name (abfd, ".eh_frame"); - if (eh_frame_sec == NULL) - { - free (contents); - return FALSE; - } + memset (contents, 0, EH_FRAME_HDR_SIZE); + /* Version. */ + contents[0] = 1; + /* .eh_frame offset. */ + contents[1] = get_elf_backend_data (abfd)->elf_backend_encode_eh_address + (abfd, info, eh_frame_sec, 0, sec, 4, &encoded_eh_frame); - memset (contents, 0, EH_FRAME_HDR_SIZE); - /* Version. */ - contents[0] = 1; - /* .eh_frame offset. */ - contents[1] = get_elf_backend_data (abfd)->elf_backend_encode_eh_address - (abfd, info, eh_frame_sec, 0, sec, 4, &encoded_eh_frame); + if (hdr_info->u.dwarf.array + && hdr_info->array_count == hdr_info->u.dwarf.fde_count) + { + /* FDE count encoding. */ + contents[2] = DW_EH_PE_udata4; + /* Search table encoding. */ + contents[3] = DW_EH_PE_datarel | DW_EH_PE_sdata4; + } + else + { + contents[2] = DW_EH_PE_omit; + contents[3] = DW_EH_PE_omit; + } + bfd_put_32 (abfd, encoded_eh_frame, contents + 4); - if (hdr_info->array && hdr_info->array_count == hdr_info->fde_count) + if (contents[2] != DW_EH_PE_omit) + { + unsigned int i; + bfd_boolean overlap, overflow; + + bfd_put_32 (abfd, hdr_info->u.dwarf.fde_count, + contents + EH_FRAME_HDR_SIZE); + qsort (hdr_info->u.dwarf.array, hdr_info->u.dwarf.fde_count, + sizeof (*hdr_info->u.dwarf.array), vma_compare); + overlap = FALSE; + overflow = FALSE; + for (i = 0; i < hdr_info->u.dwarf.fde_count; i++) { - /* FDE count encoding. */ - contents[2] = DW_EH_PE_udata4; - /* Search table encoding. */ - contents[3] = DW_EH_PE_datarel | DW_EH_PE_sdata4; + bfd_vma val; + + val = hdr_info->u.dwarf.array[i].initial_loc + - sec->output_section->vma; + val = ((val & 0xffffffff) ^ 0x80000000) - 0x80000000; + if (elf_elfheader (abfd)->e_ident[EI_CLASS] == ELFCLASS64 + && (hdr_info->u.dwarf.array[i].initial_loc + != sec->output_section->vma + val)) + overflow = TRUE; + bfd_put_32 (abfd, val, contents + EH_FRAME_HDR_SIZE + i * 8 + 4); + val = hdr_info->u.dwarf.array[i].fde - sec->output_section->vma; + val = ((val & 0xffffffff) ^ 0x80000000) - 0x80000000; + if (elf_elfheader (abfd)->e_ident[EI_CLASS] == ELFCLASS64 + && (hdr_info->u.dwarf.array[i].fde + != sec->output_section->vma + val)) + overflow = TRUE; + bfd_put_32 (abfd, val, contents + EH_FRAME_HDR_SIZE + i * 8 + 8); + if (i != 0 + && (hdr_info->u.dwarf.array[i].initial_loc + < (hdr_info->u.dwarf.array[i - 1].initial_loc + + hdr_info->u.dwarf.array[i - 1].range))) + overlap = TRUE; } - else + if (overflow) + (*info->callbacks->einfo) (_("%P: .eh_frame_hdr entry overflow.\n")); + if (overlap) + (*info->callbacks->einfo) + (_("%P: .eh_frame_hdr refers to overlapping FDEs.\n")); + if (overflow || overlap) { - contents[2] = DW_EH_PE_omit; - contents[3] = DW_EH_PE_omit; + bfd_set_error (bfd_error_bad_value); + retval = FALSE; } - bfd_put_32 (abfd, encoded_eh_frame, contents + 4); + } - if (contents[2] != DW_EH_PE_omit) - { - unsigned int i; + /* FIXME: octets_per_byte. */ + if (!bfd_set_section_contents (abfd, sec->output_section, contents, + (file_ptr) sec->output_offset, + sec->size)) + retval = FALSE; + free (contents); + + if (hdr_info->u.dwarf.array != NULL) + free (hdr_info->u.dwarf.array); + return retval; +} - bfd_put_32 (abfd, hdr_info->fde_count, contents + EH_FRAME_HDR_SIZE); - qsort (hdr_info->array, hdr_info->fde_count, - sizeof (*hdr_info->array), vma_compare); - for (i = 0; i < hdr_info->fde_count; i++) - { - bfd_vma val; +/* Write out .eh_frame_hdr section. This must be called after + _bfd_elf_write_section_eh_frame has been called on all input + .eh_frame sections. */ - val = hdr_info->array[i].initial_loc - sec->output_section->vma; - val = ((val & 0xffffffff) ^ 0x80000000) - 0x80000000; - if (elf_elfheader (abfd)->e_ident[EI_CLASS] == ELFCLASS64 - && (hdr_info->array[i].initial_loc - != sec->output_section->vma + val)) - (*info->callbacks->einfo) - (_("%X%P: .eh_frame_hdr table[%u] PC overflow.\n"), i); - bfd_put_32 (abfd, val, contents + EH_FRAME_HDR_SIZE + i * 8 + 4); - - val = hdr_info->array[i].fde - sec->output_section->vma; - val = ((val & 0xffffffff) ^ 0x80000000) - 0x80000000; - if (elf_elfheader (abfd)->e_ident[EI_CLASS] == ELFCLASS64 - && (hdr_info->array[i].fde - != sec->output_section->vma + val)) - (*info->callbacks->einfo) - (_("%X%P: .eh_frame_hdr table[%u] FDE overflow.\n"), i); - bfd_put_32 (abfd, val, contents + EH_FRAME_HDR_SIZE + i * 8 + 8); +bfd_boolean +_bfd_elf_write_section_eh_frame_hdr (bfd *abfd, struct bfd_link_info *info) +{ + struct elf_link_hash_table *htab; + struct eh_frame_hdr_info *hdr_info; + asection *sec; - if (i != 0 - && (hdr_info->array[i].initial_loc - < (hdr_info->array[i - 1].initial_loc - + hdr_info->array[i - 1].range))) - (*info->callbacks->einfo) - (_("%X%P: .eh_frame_hdr table[%u] FDE at %V overlaps " - "table[%u] FDE at %V.\n"), - i - 1, hdr_info->array[i - 1].fde, - i, hdr_info->array[i].fde); - } - } + htab = elf_hash_table (info); + hdr_info = &htab->eh_info; + sec = hdr_info->hdr_sec; - /* FIXME: octets_per_byte. */ - if (!bfd_set_section_contents (abfd, sec->output_section, contents, - (file_ptr) sec->output_offset, - sec->size)) - retval = FALSE; - free (contents); - } - if (hdr_info->array != NULL) - free (hdr_info->array); - return retval; + if (info->eh_frame_hdr_type == 0 || sec == NULL) + return TRUE; + + if (info->eh_frame_hdr_type == COMPACT_EH_HDR) + return write_compact_eh_frame_hdr (abfd, info); + else + return write_dwarf_eh_frame_hdr (abfd, info); } /* Return the width of FDE addresses. This is the default implementation. */ diff --git a/bfd/elflink.c b/bfd/elflink.c index 6efe1e4..9520906 100644 --- a/bfd/elflink.c +++ b/bfd/elflink.c @@ -54,6 +54,47 @@ struct elf_find_verdep_info static bfd_boolean _bfd_elf_fix_symbol_flags (struct elf_link_hash_entry *, struct elf_info_failed *); +asection * +_bfd_elf_section_for_symbol (struct elf_reloc_cookie *cookie, + unsigned long r_symndx, + bfd_boolean discard) +{ + if (r_symndx >= cookie->locsymcount + || ELF_ST_BIND (cookie->locsyms[r_symndx].st_info) != STB_LOCAL) + { + struct elf_link_hash_entry *h; + + h = cookie->sym_hashes[r_symndx - cookie->extsymoff]; + + while (h->root.type == bfd_link_hash_indirect + || h->root.type == bfd_link_hash_warning) + h = (struct elf_link_hash_entry *) h->root.u.i.link; + + if ((h->root.type == bfd_link_hash_defined + || h->root.type == bfd_link_hash_defweak) + && discarded_section (h->root.u.def.section)) + return h->root.u.def.section; + else + return NULL; + } + else + { + /* It's not a relocation against a global symbol, + but it could be a relocation against a local + symbol for a discarded section. */ + asection *isec; + Elf_Internal_Sym *isym; + + /* Need to: get the symbol; get the section. */ + isym = &cookie->locsyms[r_symndx]; + isec = bfd_section_from_elf_index (cookie->abfd, isym->st_shndx); + if (isec != NULL + && discard ? discarded_section (isec) : 1) + return isec; + } + return NULL; +} + /* Define a symbol in a dynamic linkage section. */ struct elf_link_hash_entry * @@ -9284,6 +9325,7 @@ elf_section_ignore_discarded_relocs (asection *sec) { case SEC_INFO_TYPE_STABS: case SEC_INFO_TYPE_EH_FRAME: + case SEC_INFO_TYPE_EH_FRAME_ENTRY: return TRUE; default: break; @@ -10215,6 +10257,14 @@ elf_link_input_bfd (struct elf_final_link_info *flinfo, bfd *input_bfd) return FALSE; } break; + case SEC_INFO_TYPE_EH_FRAME_ENTRY: + { + if (! _bfd_elf_write_section_eh_frame_entry (output_bfd, + flinfo->info, + o, contents)) + return FALSE; + } + break; default: { /* FIXME: octets_per_byte. */ @@ -11085,6 +11135,9 @@ bfd_elf_final_link (bfd *abfd, struct bfd_link_info *info) return FALSE; } + if (!_bfd_elf_fixup_eh_frame_hdr (info)) + return FALSE; + /* Since ELF permits relocations to be against local symbols, we must have the local symbols available when we do the relocations. Since we would rather only read the local symbols once, and we @@ -11994,6 +12047,11 @@ _bfd_elf_gc_mark (struct bfd_link_info *info, } } + eh_frame = elf_section_eh_frame_entry (sec); + if (ret && eh_frame && !eh_frame->gc_mark) + if (!_bfd_elf_gc_mark (info, eh_frame, gc_mark_hook)) + ret = FALSE; + return ret; } @@ -12409,6 +12467,36 @@ _bfd_elf_gc_keep (struct bfd_link_info *info) } } +bfd_boolean +bfd_elf_parse_eh_frame_entries (bfd *abfd ATTRIBUTE_UNUSED, + struct bfd_link_info *info) +{ + bfd *ibfd = info->input_bfds; + + for (ibfd = info->input_bfds; ibfd != NULL; ibfd = ibfd->link.next) + { + asection *sec; + struct elf_reloc_cookie cookie; + + if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour) + continue; + + if (!init_reloc_cookie (&cookie, info, ibfd)) + return FALSE; + + for (sec = ibfd->sections; sec; sec = sec->next) + { + if (CONST_STRNEQ (bfd_section_name (ibfd, sec), ".eh_frame_entry") + && init_reloc_cookie_rels (&cookie, info, ibfd, sec)) + { + _bfd_elf_parse_eh_frame_entry (info, sec, &cookie); + fini_reloc_cookie_rels (&cookie, sec); + } + } + } + return TRUE; +} + /* Do mark and sweep of unused sections. */ bfd_boolean @@ -12432,7 +12520,9 @@ bfd_elf_gc_sections (bfd *abfd, struct bfd_link_info *info) /* Try to parse each bfd's .eh_frame section. Point elf_eh_frame_section at the .eh_frame section if we can mark the FDEs individually. */ - for (sub = info->input_bfds; sub != NULL; sub = sub->link.next) + for (sub = info->input_bfds; + info->eh_frame_hdr_type != COMPACT_EH_HDR && sub != NULL; + sub = sub->link.next) { asection *sec; struct elf_reloc_cookie cookie; @@ -12936,7 +13026,9 @@ bfd_elf_discard_info (bfd *output_bfd, struct bfd_link_info *info) } } - o = bfd_get_section_by_name (output_bfd, ".eh_frame"); + o = NULL; + if (info->eh_frame_hdr_type != COMPACT_EH_HDR) + o = bfd_get_section_by_name (output_bfd, ".eh_frame"); if (o != NULL) { asection *i; @@ -12984,7 +13076,10 @@ bfd_elf_discard_info (bfd *output_bfd, struct bfd_link_info *info) } } - if (info->eh_frame_hdr + if (info->eh_frame_hdr_type == COMPACT_EH_HDR) + _bfd_elf_end_eh_frame_parsing (info); + + if (info->eh_frame_hdr_type && !info->relocatable && _bfd_elf_discard_section_eh_frame_hdr (output_bfd, info)) changed = 1; diff --git a/bfd/elfxx-mips.c b/bfd/elfxx-mips.c index 50ee9ad..a5e6453 100644 --- a/bfd/elfxx-mips.c +++ b/bfd/elfxx-mips.c @@ -36,6 +36,7 @@ #include "elfxx-mips.h" #include "elf/mips.h" #include "elf-vxworks.h" +#include "dwarf2.h" /* Get the ECOFF swapping routines. */ #include "coff/sym.h" @@ -16109,3 +16110,17 @@ _bfd_mips_post_process_headers (bfd *abfd, struct bfd_link_info *link_info) || mips_elf_tdata (abfd)->abiflags.fp_abi == Val_GNU_MIPS_ABI_FP_64A) i_ehdrp->e_ident[EI_ABIVERSION] = 3; } + +int +_bfd_mips_elf_compact_eh_encoding (struct bfd_link_info *link_info ATTRIBUTE_UNUSED) +{ + return DW_EH_PE_pcrel | DW_EH_PE_sdata4; +} + +/* Return the opcode for can't unwind. */ + +int +_bfd_mips_elf_cant_unwind_opcode (struct bfd_link_info *link_info ATTRIBUTE_UNUSED) +{ + return COMPACT_EH_CANT_UNWIND_OPCODE; +} diff --git a/bfd/elfxx-mips.h b/bfd/elfxx-mips.h index 8151d3b..03ff4fb 100644 --- a/bfd/elfxx-mips.h +++ b/bfd/elfxx-mips.h @@ -168,6 +168,9 @@ extern const struct bfd_elf_special_section _bfd_mips_elf_special_sections []; extern bfd_boolean _bfd_mips_elf_common_definition (Elf_Internal_Sym *); +extern int _bfd_mips_elf_compact_eh_encoding (struct bfd_link_info *); +extern int _bfd_mips_elf_cant_unwind_opcode (struct bfd_link_info *); + static inline bfd_boolean gprel16_reloc_p (unsigned int r_type) { @@ -191,3 +194,5 @@ literal_reloc_p (int r_type) #define elf_backend_merge_symbol_attribute _bfd_mips_elf_merge_symbol_attribute #define elf_backend_ignore_undef_symbol _bfd_mips_elf_ignore_undef_symbol #define elf_backend_post_process_headers _bfd_mips_post_process_headers +#define elf_backend_compact_eh_encoding _bfd_mips_elf_compact_eh_encoding +#define elf_backend_cant_unwind_opcode _bfd_mips_elf_cant_unwind_opcode diff --git a/bfd/elfxx-target.h b/bfd/elfxx-target.h index 0085d6c..0acecaf 100644 --- a/bfd/elfxx-target.h +++ b/bfd/elfxx-target.h @@ -676,6 +676,14 @@ #define elf_backend_get_reloc_section _bfd_elf_get_reloc_section #endif +#ifndef elf_backend_compact_eh_encoding +#define elf_backend_compact_eh_encoding NULL +#endif + +#ifndef elf_backend_cant_unwind_opcode +#define elf_backend_cant_unwind_opcode 0 +#endif + #ifndef elf_match_priority #define elf_match_priority \ (ELF_ARCH == bfd_arch_unknown ? 2 : ELF_OSABI == ELFOSABI_NONE ? 1 : 0) @@ -788,6 +796,8 @@ static struct elf_backend_data elfNN_bed = elf_backend_obj_attrs_section_type, elf_backend_obj_attrs_order, elf_backend_obj_attrs_handle_unknown, + elf_backend_compact_eh_encoding, + elf_backend_cant_unwind_opcode, elf_backend_static_tls_alignment, elf_backend_stack_align, elf_backend_collect, diff --git a/bfd/section.c b/bfd/section.c index 24422bf..6af174a 100644 --- a/bfd/section.c +++ b/bfd/section.c @@ -397,6 +397,7 @@ CODE_FRAGMENT .#define SEC_INFO_TYPE_EH_FRAME 3 .#define SEC_INFO_TYPE_JUST_SYMS 4 .#define SEC_INFO_TYPE_TARGET 5 +.#define SEC_INFO_TYPE_EH_FRAME_ENTRY 6 . . {* Nonzero if this section uses RELA relocations, rather than REL. *} . unsigned int use_rela_p:1; diff --git a/gas/ChangeLog b/gas/ChangeLog index a0ab897..25638ab 100644 --- a/gas/ChangeLog +++ b/gas/ChangeLog @@ -1,3 +1,56 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + Bernd Schmidt <bernds@codesourcery.com> + Paul Brook <paul@codesourcery.com> + + gas/ + * config/tc-alpha.c (all_cfi_sections): Declare. + (s_alpha_ent): Initialize all_cfi_sections. + (alpha_elf_md_end): Invoke cfi_set_sections. + * config/tc-mips.c (md_apply_fix): Handle BFD_RELOC_NONE. + (s_ehword): Use BFD_RELOC_32_PCREL. + (mips_fix_adjustable): Handle BFD_RELOC_32_PCREL. + (mips_cfi_reloc_for_encoding): New function. + * tc-mips.h (DWARF2_FDE_RELOC_SIZE): Redefine. + (DWARF2_FDE_RELOC_ENCODING): Define. + (tc_cfi_reloc_for_encoding): Define. + (mips_cfi_reloc_for_encoding): Define. + (tc_compact_eh_opcode_stop): Define. + (tc_compact_eh_opcode_pad): Define. + * doc/as.texinfo: Document Compact EH extensions. + * doc/internals.texi: Likewise. + * dw2gencfi.c (EH_FRAME_LINKONCE): Redefine. + (tc_cfi_reloc_for_encoding): Provide default. + (compact_eh): Declare. + (emit_expr_encoded): New function. + (get_debugseg_name): Add Compact EH support. + (alloc_debugseg_item): Likewise. + (cfi_set_sections): New function. + (dot_cfi_fde_data): New function. + (dot_cfi_personality_id): New function. + (dot_cfi_inline_lsda): New function. + (cfi_pseudo_table): Add cfi_fde_data, cfi_personality_id, + and cfi_inline_lsda. + (dot_cfi_personality): Add Compact EH support. + (dot_cfi_lsda): Likewise. + (dot_cfi_sections): Likewise. + (dot_cfi_startproc): Likewise. + (get_cfi_seg): Likewise. + (output_compact_unwind_data): New function. + (output_cfi_insn): Add Compact EH support. + (output_cie): Likewise. + (output_fde): Likewise. + (cfi_finish): Likewise. + (cfi_emit_eh_header): New function. + (output_eh_header): New function. + * dw2gencfi.h (cfi_set_sections): Declare. + (SUPPORT_COMPACT_EH): Define. + (MULTIPLE_FRAME_SECTIONS): Define. + New enumeration to describe the Compact EH header format. + (fde_entry): Add new fields personality_id, eh_header_type, eh_data_size, + eh_data, eh_loc and sections. + (CFI_EMIT_eh_frame, CFI_EMIT_debug_frame, CFI_EMIT_target, + CFI_EMIT_eh_frame_compact): Define. + 2015-05-26 Max Filippov <jcmvbkbc@gmail.com> * config/tc-xtensa.c (xtensa_move_literals): Check that diff --git a/gas/config/tc-alpha.c b/gas/config/tc-alpha.c index 30f180f..2a7466a 100644 --- a/gas/config/tc-alpha.c +++ b/gas/config/tc-alpha.c @@ -3691,6 +3691,8 @@ static struct alpha_elf_frame_data *all_frame_data; static struct alpha_elf_frame_data **plast_frame_data = &all_frame_data; static struct alpha_elf_frame_data *cur_frame_data; +extern int all_cfi_sections; + /* Handle the .section pseudo-op. This is like the usual one, but it clears alpha_insn_label and restores auto alignment. */ @@ -3714,6 +3716,8 @@ s_alpha_ent (int dummy ATTRIBUTE_UNUSED) char *name, name_end; name = input_line_pointer; name_end = get_symbol_end (); + /* CFI_EMIT_eh_frame is the default. */ + all_cfi_sections = CFI_EMIT_eh_frame; if (! is_name_beginner (*name)) { @@ -4061,6 +4065,7 @@ alpha_elf_md_end (void) S_GET_VALUE (p->func_sym), symbol_get_frag (p->func_sym))); + cfi_set_sections (); cfi_set_return_column (p->ra_regno); cfi_add_CFA_def_cfa_register (30); if (p->fp_regno != 30 || p->mask || p->fmask || p->frame_size) diff --git a/gas/config/tc-mips.c b/gas/config/tc-mips.c index 40e38f8..8f2ec65 100644 --- a/gas/config/tc-mips.c +++ b/gas/config/tc-mips.c @@ -14840,7 +14840,8 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED) || fixP->fx_r_type == BFD_RELOC_MICROMIPS_SUB || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY - || fixP->fx_r_type == BFD_RELOC_MIPS_TLS_DTPREL64); + || fixP->fx_r_type == BFD_RELOC_MIPS_TLS_DTPREL64 + || fixP->fx_r_type == BFD_RELOC_NONE); buf = fixP->fx_frag->fr_literal + fixP->fx_where; @@ -15110,6 +15111,7 @@ md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED) S_SET_WEAK (fixP->fx_addsy); break; + case BFD_RELOC_NONE: case BFD_RELOC_VTABLE_ENTRY: fixP->fx_done = 0; break; @@ -16304,7 +16306,7 @@ s_ehword (int ignore ATTRIBUTE_UNUSED) p = frag_more (4); md_number_to_chars (p, 0, 4); fix_new_exp (frag_now, p - frag_now->fr_literal, 4, &ex, FALSE, - BFD_RELOC_MIPS_EH); + BFD_RELOC_32_PCREL); demand_empty_rest_of_line (); } @@ -17056,6 +17058,10 @@ mips_fix_adjustable (fixS *fixp) if (fixp->fx_addsy == NULL) return 1; + /* Allow relocs used for EH tables. */ + if (fixp->fx_r_type == BFD_RELOC_32_PCREL) + return 1; + /* If symbol SYM is in a mergeable section, relocations of the form SYM + 0 can usually be made section-relative. The mergeable data is then identified by the section offset rather than by the symbol. @@ -19117,3 +19123,13 @@ md_mips_end (void) Tag_GNU_MIPS_ABI_FP, fpabi); } } + +/* Returns the relocation type required for a particular CFI encoding. */ + +bfd_reloc_code_real_type +mips_cfi_reloc_for_encoding (int encoding) +{ + if (encoding == (DW_EH_PE_sdata4 | DW_EH_PE_pcrel)) + return BFD_RELOC_32_PCREL; + else return BFD_RELOC_NONE; +} diff --git a/gas/config/tc-mips.h b/gas/config/tc-mips.h index dd8350c..6cb3868 100644 --- a/gas/config/tc-mips.h +++ b/gas/config/tc-mips.h @@ -176,7 +176,9 @@ extern enum dwarf2_format mips_dwarf2_format (asection *); extern int mips_dwarf2_addr_size (void); #define DWARF2_ADDR_SIZE(bfd) mips_dwarf2_addr_size () -#define DWARF2_FDE_RELOC_SIZE mips_dwarf2_addr_size () +#define DWARF2_FDE_RELOC_SIZE (compact_eh ? 4 : mips_dwarf2_addr_size ()) +#define DWARF2_FDE_RELOC_ENCODING(enc) \ + (enc | (compact_eh ? DW_EH_PE_pcrel : 0)) #define TARGET_USE_CFIPOP 1 @@ -189,6 +191,15 @@ extern int tc_mips_regname_to_dw2regnum (char *regname); #define DWARF2_DEFAULT_RETURN_COLUMN 31 #define DWARF2_CIE_DATA_ALIGNMENT (-4) +#if defined(OBJ_ELF) + +#define tc_cfi_reloc_for_encoding mips_cfi_reloc_for_encoding +extern bfd_reloc_code_real_type mips_cfi_reloc_for_encoding (int encoding); + +#define tc_compact_eh_opcode_stop 0x5c +#define tc_compact_eh_opcode_pad 0x5f + +#endif #define DIFF_EXPR_OK /* We define DIFF_EXPR_OK because of R_MIPS_PC32, but we have no 64-bit form for n64 CFIs. */ diff --git a/gas/doc/as.texinfo b/gas/doc/as.texinfo index b5e405a..5710e1c 100644 --- a/gas/doc/as.texinfo +++ b/gas/doc/as.texinfo @@ -4624,6 +4624,9 @@ if @var{section_list} is @code{.debug_frame}, @code{.debug_frame} is emitted. To emit both use @code{.eh_frame, .debug_frame}. The default if this directive is not used is @code{.cfi_sections .eh_frame}. +On targets that support compact unwinding tables these can be generated +by specifying @code{.eh_frame_entry} instead of @code{.eh_frame}. + @subsection @code{.cfi_startproc [simple]} @cindex @code{cfi_startproc} directive @code{.cfi_startproc} is used at the beginning of each function that @@ -4641,6 +4644,7 @@ unwind entry previously opened by @code{.cfi_startproc}, and emits it to @code{.eh_frame}. @subsection @code{.cfi_personality @var{encoding} [, @var{exp}]} +@cindex @code{cfi_personality} directive @code{.cfi_personality} defines personality routine and its encoding. @var{encoding} must be a constant determining how the personality should be encoded. If it is 255 (@code{DW_EH_PE_omit}), second @@ -4651,13 +4655,47 @@ can be loaded from, not the personality routine itself. The default after @code{.cfi_startproc} is @code{.cfi_personality 0xff}, no personality routine. +@subsection @code{.cfi_personality_id @var{id}} +@cindex @code{cfi_personality_id} directive +@code{cfi_personality_id} defines a personality routine by its index as +defined in a compact unwinding format. +Only valid when generating compact EH frames (i.e. +with @code{.cfi_sections eh_frame_entry}. + +@subsection @code{.cfi_fde_data [@var{opcode1} [, @dots{}]]} +@cindex @code{cfi_fde_data} directive +@code{cfi_fde_data} is used to describe the compact unwind opcodes to be +used for the current function. These are emitted inline in the +@code{.eh_frame_entry} section if small enough and there is no LSDA, or +in the @code{.gnu.extab} section otherwise. +Only valid when generating compact EH frames (i.e. +with @code{.cfi_sections eh_frame_entry}. + @subsection @code{.cfi_lsda @var{encoding} [, @var{exp}]} +@section @code{.cfi_lsda @var{encoding} [, @var{exp}]} @code{.cfi_lsda} defines LSDA and its encoding. @var{encoding} must be a constant determining how the LSDA -should be encoded. If it is 255 (@code{DW_EH_PE_omit}), second -argument is not present, otherwise second argument should be a constant +should be encoded. If it is 255 (@code{DW_EH_PE_omit}), the second +argument is not present, otherwise the second argument should be a constant or a symbol name. The default after @code{.cfi_startproc} is @code{.cfi_lsda 0xff}, -no LSDA. +meaning that no LSDA is present. + +@subsection @code{.cfi_inline_lsda} [@var{align}] +@code{.cfi_inline_lsda} marks the start of a LSDA data section and +switches to the corresponding @code{.gnu.extab} section. +Must be preceded by a CFI block containing a @code{.cfi_lsda} directive. +Only valid when generating compact EH frames (i.e. +with @code{.cfi_sections eh_frame_entry}. + +The table header and unwinding opcodes will be generated at this point, +so that they are immediately followed by the LSDA data. The symbol +referenced by the @code{.cfi_lsda} directive should still be defined +in case a fallback FDE based encoding is used. The LSDA data is terminated +by a section directive. + +The optional @var{align} argument specifies the alignment required. +The alignment is specified as a power of two, as with the +@code{.p2align} directive. @subsection @code{.cfi_def_cfa @var{register}, @var{offset}} @code{.cfi_def_cfa} defines a rule for computing CFA as: @i{take diff --git a/gas/doc/internals.texi b/gas/doc/internals.texi index 3dc3148..7649ce5 100644 --- a/gas/doc/internals.texi +++ b/gas/doc/internals.texi @@ -1473,6 +1473,12 @@ completed, but before the relocations have been generated. If you define this macro, GAS will call it after the relocs have been generated. +@item tc_cfi_reloc_for_encoding +@cindex tc_cfi_reloc_for_encoding +This macro is used to indicate whether a cfi encoding requires a relocation. +It should return the required relocation type. Defining this macro implies +that Compact EH is supported. + @item md_post_relax_hook If you define this macro, GAS will call it after relaxing and sizing the segments. diff --git a/gas/dw2gencfi.c b/gas/dw2gencfi.c index ef97e18..87f135b 100644 --- a/gas/dw2gencfi.c +++ b/gas/dw2gencfi.c @@ -75,6 +75,8 @@ # define tc_cfi_endproc(fde) ((void) (fde)) #endif +#define EH_FRAME_LINKONCE (SUPPORT_FRAME_LINKONCE || compact_eh) + #ifndef DWARF2_FORMAT #define DWARF2_FORMAT(SEC) dwarf2_format_32bit #endif @@ -83,7 +85,7 @@ #define DWARF2_ADDR_SIZE(bfd) (bfd_arch_bits_per_address (bfd) / 8) #endif -#if SUPPORT_FRAME_LINKONCE +#if MULTIPLE_FRAME_SECTIONS #define CUR_SEG(structp) structp->cur_seg #define SET_CUR_SEG(structp, seg) structp->cur_seg = seg #define HANDLED(structp) structp->handled @@ -95,6 +97,10 @@ #define SET_HANDLED(structp, val) (void) (0 && val) #endif +#ifndef tc_cfi_reloc_for_encoding +#define tc_cfi_reloc_for_encoding(e) BFD_RELOC_NONE +#endif + /* Private segment collection list. */ struct dwcfi_seg_list { @@ -103,10 +109,115 @@ struct dwcfi_seg_list char * seg_name; }; -#define FRAME_NAME ".eh_frame" +#ifdef SUPPORT_COMPACT_EH +static bfd_boolean compact_eh; +#else +#define compact_eh 0 +#endif static struct hash_control *dwcfi_hash; + +/* Emit a single byte into the current segment. */ + +static inline void +out_one (int byte) +{ + FRAG_APPEND_1_CHAR (byte); +} + +/* Emit a two-byte word into the current segment. */ + +static inline void +out_two (int data) +{ + md_number_to_chars (frag_more (2), data, 2); +} + +/* Emit a four byte word into the current segment. */ + +static inline void +out_four (int data) +{ + md_number_to_chars (frag_more (4), data, 4); +} + +/* Emit an unsigned "little-endian base 128" number. */ + +static void +out_uleb128 (addressT value) +{ + output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0); +} + +/* Emit an unsigned "little-endian base 128" number. */ + +static void +out_sleb128 (offsetT value) +{ + output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1); +} + +static offsetT +encoding_size (unsigned char encoding) +{ + if (encoding == DW_EH_PE_omit) + return 0; + switch (encoding & 0x7) + { + case 0: + return bfd_get_arch_size (stdoutput) == 64 ? 8 : 4; + case DW_EH_PE_udata2: + return 2; + case DW_EH_PE_udata4: + return 4; + case DW_EH_PE_udata8: + return 8; + default: + abort (); + } +} + +/* Emit expression EXP in ENCODING. If EMIT_ENCODING is true, first + emit a byte containing ENCODING. */ + +static void +emit_expr_encoded (expressionS *exp, int encoding, bfd_boolean emit_encoding) +{ + offsetT size = encoding_size (encoding); + bfd_reloc_code_real_type code; + + if (encoding == DW_EH_PE_omit) + return; + if (emit_encoding) + out_one (encoding); + + code = tc_cfi_reloc_for_encoding (encoding); + if (code != BFD_RELOC_NONE) + { + reloc_howto_type *howto = bfd_reloc_type_lookup (stdoutput, code); + char *p = frag_more (size); + md_number_to_chars (p, 0, size); + fix_new (frag_now, p - frag_now->fr_literal, size, exp->X_add_symbol, + exp->X_add_number, howto->pc_relative, code); + } + else if ((encoding & 0x70) == DW_EH_PE_pcrel) + { +#if CFI_DIFF_EXPR_OK + expressionS tmp = *exp; + tmp.X_op = O_subtract; + tmp.X_op_symbol = symbol_temp_new_now (); + emit_expr (&tmp, size); +#elif defined (tc_cfi_emit_pcrel_expr) + tc_cfi_emit_pcrel_expr (exp, size); +#else + abort (); +#endif + } + else + emit_expr (exp, size); +} + /* Build based on segment the derived .debug_... segment name containing origin segment's postfix name part. */ @@ -128,7 +239,13 @@ get_debugseg_name (segT seg, const char *base_name) dot = strchr (name + 1, '.'); if (!dollar && !dot) - name = ""; + { + if (!strcmp (base_name, ".eh_frame_entry") + && strcmp (name, ".text") != 0) + return concat (base_name, ".", name, NULL); + + name = ""; + } else if (!dollar) name = dot; else if (!dot) @@ -160,6 +277,9 @@ alloc_debugseg_item (segT seg, int subseg, char *name) static segT is_now_linkonce_segment (void) { + if (compact_eh) + return now_seg; + if ((bfd_get_section_flags (stdoutput, now_seg) & (SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD | SEC_LINK_DUPLICATES_ONE_ONLY | SEC_LINK_DUPLICATES_SAME_SIZE @@ -272,12 +392,13 @@ struct cfi_escape_data struct cie_entry { struct cie_entry *next; -#if SUPPORT_FRAME_LINKONCE +#if MULTIPLE_FRAME_SECTIONS segT cur_seg; #endif symbolS *start_address; unsigned int return_column; unsigned int signal_frame; + unsigned char fde_encoding; unsigned char per_encoding; unsigned char lsda_encoding; expressionS personality; @@ -327,6 +448,7 @@ alloc_fde_entry (void) fde->return_column = DWARF2_DEFAULT_RETURN_COLUMN; fde->per_encoding = DW_EH_PE_omit; fde->lsda_encoding = DW_EH_PE_omit; + fde->eh_header_type = EH_COMPACT_UNKNOWN; return fde; } @@ -337,6 +459,11 @@ alloc_fde_entry (void) /* Construct a new INSN structure and add it to the end of the insn list for the currently active FDE. */ +static bfd_boolean cfi_sections_set = FALSE; +static int cfi_sections = CFI_EMIT_eh_frame; +int all_cfi_sections = 0; +static struct fde_entry *last_fde; + static struct cfi_insn_data * alloc_cfi_insn_data (void) { @@ -378,6 +505,12 @@ cfi_set_return_column (unsigned regno) frchain_now->frch_cfi_data->cur_fde_data->return_column = regno; } +void +cfi_set_sections (void) +{ + frchain_now->frch_cfi_data->cur_fde_data->sections = all_cfi_sections; +} + /* Universal functions to store new instructions. */ static void @@ -560,9 +693,12 @@ static void dot_cfi_escape (int); static void dot_cfi_sections (int); static void dot_cfi_startproc (int); static void dot_cfi_endproc (int); +static void dot_cfi_fde_data (int); static void dot_cfi_personality (int); +static void dot_cfi_personality_id (int); static void dot_cfi_lsda (int); static void dot_cfi_val_encoded_addr (int); +static void dot_cfi_inline_lsda (int); static void dot_cfi_label (int); const pseudo_typeS cfi_pseudo_table[] = @@ -570,6 +706,7 @@ const pseudo_typeS cfi_pseudo_table[] = { "cfi_sections", dot_cfi_sections, 0 }, { "cfi_startproc", dot_cfi_startproc, 0 }, { "cfi_endproc", dot_cfi_endproc, 0 }, + { "cfi_fde_data", dot_cfi_fde_data, 0 }, { "cfi_def_cfa", dot_cfi, DW_CFA_def_cfa }, { "cfi_def_cfa_register", dot_cfi, DW_CFA_def_cfa_register }, { "cfi_def_cfa_offset", dot_cfi, DW_CFA_def_cfa_offset }, @@ -587,8 +724,10 @@ const pseudo_typeS cfi_pseudo_table[] = { "cfi_escape", dot_cfi_escape, 0 }, { "cfi_signal_frame", dot_cfi, CFI_signal_frame }, { "cfi_personality", dot_cfi_personality, 0 }, + { "cfi_personality_id", dot_cfi_personality_id, 0 }, { "cfi_lsda", dot_cfi_lsda, 0 }, { "cfi_val_encoded_addr", dot_cfi_val_encoded_addr, 0 }, + { "cfi_inline_lsda", dot_cfi_inline_lsda, 0 }, { "cfi_label", dot_cfi_label, 0 }, { NULL, NULL, 0 } }; @@ -847,14 +986,15 @@ dot_cfi_personality (int ignored ATTRIBUTE_UNUSED) } if ((encoding & 0xff) != encoding - || ((encoding & 0x70) != 0 + || ((((encoding & 0x70) != 0 #if CFI_DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr - && (encoding & 0x70) != DW_EH_PE_pcrel + && (encoding & 0x70) != DW_EH_PE_pcrel #endif ) /* leb128 can be handled, but does something actually need it? */ - || (encoding & 7) == DW_EH_PE_uleb128 - || (encoding & 7) > DW_EH_PE_udata8) + || (encoding & 7) == DW_EH_PE_uleb128 + || (encoding & 7) > DW_EH_PE_udata8) + && tc_cfi_reloc_for_encoding (encoding) == BFD_RELOC_NONE)) { as_bad (_("invalid or unsupported encoding in .cfi_personality")); ignore_rest_of_line (); @@ -917,14 +1057,15 @@ dot_cfi_lsda (int ignored ATTRIBUTE_UNUSED) } if ((encoding & 0xff) != encoding - || ((encoding & 0x70) != 0 + || ((((encoding & 0x70) != 0 #if CFI_DIFF_LSDA_OK || defined tc_cfi_emit_pcrel_expr - && (encoding & 0x70) != DW_EH_PE_pcrel + && (encoding & 0x70) != DW_EH_PE_pcrel #endif - ) + ) /* leb128 can be handled, but does something actually need it? */ - || (encoding & 7) == DW_EH_PE_uleb128 - || (encoding & 7) > DW_EH_PE_udata8) + || (encoding & 7) == DW_EH_PE_uleb128 + || (encoding & 7) > DW_EH_PE_udata8) + && tc_cfi_reloc_for_encoding (encoding) == BFD_RELOC_NONE)) { as_bad (_("invalid or unsupported encoding in .cfi_lsda")); ignore_rest_of_line (); @@ -1050,12 +1191,6 @@ dot_cfi_label (int ignored ATTRIBUTE_UNUSED) demand_empty_rest_of_line (); } -/* By default emit .eh_frame only, not .debug_frame. */ -#define CFI_EMIT_eh_frame (1 << 0) -#define CFI_EMIT_debug_frame (1 << 1) -#define CFI_EMIT_target (1 << 2) -static int cfi_sections = CFI_EMIT_eh_frame; - static void dot_cfi_sections (int ignored ATTRIBUTE_UNUSED) { @@ -1075,6 +1210,13 @@ dot_cfi_sections (int ignored ATTRIBUTE_UNUSED) sections |= CFI_EMIT_eh_frame; else if (strncmp (name, ".debug_frame", sizeof ".debug_frame") == 0) sections |= CFI_EMIT_debug_frame; +#if SUPPORT_COMPACT_EH + else if (strncmp (name, ".eh_frame_entry", sizeof ".eh_frame_entry") == 0) + { + compact_eh = TRUE; + sections |= CFI_EMIT_eh_frame_compact; + } +#endif #ifdef tc_cfi_section_name else if (strcmp (name, tc_cfi_section_name) == 0) sections |= CFI_EMIT_target; @@ -1103,6 +1245,9 @@ dot_cfi_sections (int ignored ATTRIBUTE_UNUSED) } demand_empty_rest_of_line (); + if (cfi_sections_set && cfi_sections != sections) + as_bad (_("inconsistent uses of .cfi_sections")); + cfi_sections_set = TRUE; cfi_sections = sections; } @@ -1138,6 +1283,8 @@ dot_cfi_startproc (int ignored ATTRIBUTE_UNUSED) } demand_empty_rest_of_line (); + all_cfi_sections |= cfi_sections; + cfi_set_sections (); frchain_now->frch_cfi_data->cur_cfa_offset = 0; if (!simple) tc_cfi_frame_initial_instructions (); @@ -1149,8 +1296,6 @@ dot_cfi_startproc (int ignored ATTRIBUTE_UNUSED) static void dot_cfi_endproc (int ignored ATTRIBUTE_UNUSED) { - struct fde_entry *fde; - if (frchain_now->frch_cfi_data == NULL) { as_bad (_(".cfi_endproc without corresponding .cfi_startproc")); @@ -1158,58 +1303,253 @@ dot_cfi_endproc (int ignored ATTRIBUTE_UNUSED) return; } - fde = frchain_now->frch_cfi_data->cur_fde_data; + last_fde = frchain_now->frch_cfi_data->cur_fde_data; cfi_end_fde (symbol_temp_new_now ()); demand_empty_rest_of_line (); if ((cfi_sections & CFI_EMIT_target) != 0) - tc_cfi_endproc (fde); + tc_cfi_endproc (last_fde); } - -/* Emit a single byte into the current segment. */ - -static inline void -out_one (int byte) +static segT +get_cfi_seg (segT cseg, const char *base, flagword flags, int align) { - FRAG_APPEND_1_CHAR (byte); + /* Exclude .debug_frame sections for Compact EH. */ + if (SUPPORT_FRAME_LINKONCE || ((flags & SEC_DEBUGGING) == 0 && compact_eh)) + { + struct dwcfi_seg_list *l; + + l = dwcfi_hash_find_or_make (cseg, base, flags); + + cseg = l->seg; + subseg_set (cseg, l->subseg); + } + else + { + cseg = subseg_new (base, 0); + bfd_set_section_flags (stdoutput, cseg, flags); + } + record_alignment (cseg, align); + return cseg; } -/* Emit a two-byte word into the current segment. */ +#if SUPPORT_COMPACT_EH +static void +dot_cfi_personality_id (int ignored ATTRIBUTE_UNUSED) +{ + struct fde_entry *fde; -static inline void -out_two (int data) + if (frchain_now->frch_cfi_data == NULL) + { + as_bad (_("CFI instruction used without previous .cfi_startproc")); + ignore_rest_of_line (); + return; + } + + fde = frchain_now->frch_cfi_data->cur_fde_data; + fde->personality_id = cfi_parse_const (); + demand_empty_rest_of_line (); + + if (fde->personality_id == 0 || fde->personality_id > 3) + { + as_bad (_("wrong argument to .cfi_personality_id")); + return; + } +} + +static void +dot_cfi_fde_data (int ignored ATTRIBUTE_UNUSED) { - md_number_to_chars (frag_more (2), data, 2); + if (frchain_now->frch_cfi_data == NULL) + { + as_bad (_(".cfi_fde_data without corresponding .cfi_startproc")); + ignore_rest_of_line (); + return; + } + + last_fde = frchain_now->frch_cfi_data->cur_fde_data; + + if ((cfi_sections & CFI_EMIT_target) != 0 + || (cfi_sections & CFI_EMIT_eh_frame_compact) != 0) + { + struct cfi_escape_data *head, **tail, *e; + int num_ops = 0; + + tail = &head; + if (!is_it_end_of_statement ()) + { + num_ops = 0; + do + { + e = (struct cfi_escape_data *) xmalloc (sizeof (*e)); + do_parse_cons_expression (&e->exp, 1); + *tail = e; + tail = &e->next; + num_ops++; + } + while (*input_line_pointer++ == ','); + --input_line_pointer; + } + *tail = NULL; + + if (last_fde->lsda_encoding != DW_EH_PE_omit) + last_fde->eh_header_type = EH_COMPACT_HAS_LSDA; + else if (num_ops <= 3 && last_fde->per_encoding == DW_EH_PE_omit) + last_fde->eh_header_type = EH_COMPACT_INLINE; + else + last_fde->eh_header_type = EH_COMPACT_OUTLINE; + + if (last_fde->eh_header_type == EH_COMPACT_INLINE) + num_ops = 3; + + last_fde->eh_data_size = num_ops; + last_fde->eh_data = (bfd_byte *) xmalloc (num_ops); + num_ops = 0; + while (head) + { + e = head; + head = e->next; + last_fde->eh_data[num_ops++] = e->exp.X_add_number; + free (e); + } + if (last_fde->eh_header_type == EH_COMPACT_INLINE) + while (num_ops < 3) + last_fde->eh_data[num_ops++] = tc_compact_eh_opcode_stop; + } + + demand_empty_rest_of_line (); } -/* Emit a four byte word into the current segment. */ +/* Function to emit the compact unwinding opcodes stored in the + fde's eh_data field. The end of the opcode data will be + padded to the value in align. */ -static inline void -out_four (int data) +static void +output_compact_unwind_data (struct fde_entry *fde, int align) { - md_number_to_chars (frag_more (4), data, 4); + int data_size = fde->eh_data_size + 2; + int align_padding; + int amask; + char *p; + + fde->eh_loc = symbol_temp_new_now (); + + p = frag_more (1); + if (fde->personality_id != 0) + *p = fde->personality_id; + else if (fde->per_encoding != DW_EH_PE_omit) + { + *p = 0; + emit_expr_encoded (&fde->personality, fde->per_encoding, FALSE); + data_size += encoding_size (fde->per_encoding); + } + else + *p = 1; + + amask = (1 << align) - 1; + align_padding = ((data_size + amask) & ~amask) - data_size; + + p = frag_more (fde->eh_data_size + 1 + align_padding); + memcpy (p, fde->eh_data, fde->eh_data_size); + p += fde->eh_data_size; + + while (align_padding-- > 0) + *(p++) = tc_compact_eh_opcode_pad; + + *(p++) = tc_compact_eh_opcode_stop; + fde->eh_header_type = EH_COMPACT_OUTLINE_DONE; } -/* Emit an unsigned "little-endian base 128" number. */ +/* Handle the .cfi_inline_lsda directive. */ +static void +dot_cfi_inline_lsda (int ignored ATTRIBUTE_UNUSED) +{ + segT ccseg; + int align; + long max_alignment = 28; + + if (!last_fde) + { + as_bad (_("unexpected .cfi_inline_lsda")); + ignore_rest_of_line (); + return; + } + + if ((last_fde->sections & CFI_EMIT_eh_frame_compact) == 0) + { + as_bad (_(".cfi_inline_lsda not valid for this frame")); + ignore_rest_of_line (); + return; + } + + if (last_fde->eh_header_type != EH_COMPACT_UNKNOWN + && last_fde->eh_header_type != EH_COMPACT_HAS_LSDA) + { + as_bad (_(".cfi_inline_lsda seen for frame without .cfi_lsda")); + ignore_rest_of_line (); + return; + } + +#ifdef md_flush_pending_output + md_flush_pending_output (); +#endif + + align = get_absolute_expression (); + if (align > max_alignment) + { + align = max_alignment; + as_bad (_("Alignment too large: %d. assumed."), align); + } + else if (align < 0) + { + as_warn (_("Alignment negative: 0 assumed.")); + align = 0; + } + + demand_empty_rest_of_line (); + ccseg = CUR_SEG (last_fde); + /* Open .gnu_extab section. */ + get_cfi_seg (ccseg, ".gnu_extab", + (SEC_ALLOC | SEC_LOAD | SEC_DATA + | DWARF2_EH_FRAME_READ_ONLY), + 1); + + frag_align (align, 0, 0); + record_alignment (now_seg, align); + if (last_fde->eh_header_type == EH_COMPACT_HAS_LSDA) + output_compact_unwind_data (last_fde, align); + + last_fde = NULL; + + return; +} +#else /* !SUPPORT_COMPACT_EH */ static void -out_uleb128 (addressT value) +dot_cfi_inline_lsda (int ignored ATTRIBUTE_UNUSED) { - output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0); + as_bad (_(".cfi_inline_lsda is not supported for this target")); + ignore_rest_of_line (); } -/* Emit an unsigned "little-endian base 128" number. */ - static void -out_sleb128 (offsetT value) +dot_cfi_fde_data (int ignored ATTRIBUTE_UNUSED) { - output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1); + as_bad (_(".cfi_fde_data is not supported for this target")); + ignore_rest_of_line (); } static void +dot_cfi_personality_id (int ignored ATTRIBUTE_UNUSED) +{ + as_bad (_(".cfi_personality_id is not supported for this target")); + ignore_rest_of_line (); +} +#endif + +static void output_cfi_insn (struct cfi_insn_data *insn) { offsetT offset; @@ -1365,7 +1705,7 @@ output_cfi_insn (struct cfi_insn_data *insn) case CFI_val_encoded_addr: { unsigned encoding = insn->u.ea.encoding; - offsetT encoding_size; + offsetT enc_size; if (encoding == DW_EH_PE_omit) break; @@ -1375,16 +1715,16 @@ output_cfi_insn (struct cfi_insn_data *insn) switch (encoding & 0x7) { case DW_EH_PE_absptr: - encoding_size = DWARF2_ADDR_SIZE (stdoutput); + enc_size = DWARF2_ADDR_SIZE (stdoutput); break; case DW_EH_PE_udata2: - encoding_size = 2; + enc_size = 2; break; case DW_EH_PE_udata4: - encoding_size = 4; + enc_size = 4; break; case DW_EH_PE_udata8: - encoding_size = 8; + enc_size = 8; break; default: abort (); @@ -1394,12 +1734,12 @@ output_cfi_insn (struct cfi_insn_data *insn) then use the smaller DW_OP_addr encoding. */ if (insn->u.ea.encoding == DW_EH_PE_absptr) { - out_uleb128 (1 + encoding_size); + out_uleb128 (1 + enc_size); out_one (DW_OP_addr); } else { - out_uleb128 (1 + 1 + encoding_size); + out_uleb128 (1 + 1 + enc_size); out_one (DW_OP_GNU_encoded_addr); out_one (encoding); @@ -1409,14 +1749,14 @@ output_cfi_insn (struct cfi_insn_data *insn) insn->u.ea.exp.X_op = O_subtract; insn->u.ea.exp.X_op_symbol = symbol_temp_new_now (); #elif defined (tc_cfi_emit_pcrel_expr) - tc_cfi_emit_pcrel_expr (&insn->u.ea.exp, encoding_size); + tc_cfi_emit_pcrel_expr (&insn->u.ea.exp, enc_size); break; #else abort (); #endif } } - emit_expr (&insn->u.ea.exp, encoding_size); + emit_expr (&insn->u.ea.exp, enc_size); } break; @@ -1429,26 +1769,6 @@ output_cfi_insn (struct cfi_insn_data *insn) } } -static offsetT -encoding_size (unsigned char encoding) -{ - if (encoding == DW_EH_PE_omit) - return 0; - switch (encoding & 0x7) - { - case 0: - return bfd_get_arch_size (stdoutput) == 64 ? 8 : 4; - case DW_EH_PE_udata2: - return 2; - case DW_EH_PE_udata4: - return 4; - case DW_EH_PE_udata8: - return 8; - default: - abort (); - } -} - static void output_cie (struct cie_entry *cie, bfd_boolean eh_frame, int align) { @@ -1511,26 +1831,7 @@ output_cie (struct cie_entry *cie, bfd_boolean eh_frame, int align) augmentation_size += 1 + encoding_size (cie->per_encoding); out_uleb128 (augmentation_size); /* Augmentation size. */ - if (cie->per_encoding != DW_EH_PE_omit) - { - offsetT size = encoding_size (cie->per_encoding); - out_one (cie->per_encoding); - exp = cie->personality; - if ((cie->per_encoding & 0x70) == DW_EH_PE_pcrel) - { -#if CFI_DIFF_EXPR_OK - exp.X_op = O_subtract; - exp.X_op_symbol = symbol_temp_new_now (); - emit_expr (&exp, size); -#elif defined (tc_cfi_emit_pcrel_expr) - tc_cfi_emit_pcrel_expr (&exp, size); -#else - abort (); -#endif - } - else - emit_expr (&exp, size); - } + emit_expr_encoded (&cie->personality, cie->per_encoding, TRUE); if (cie->lsda_encoding != DW_EH_PE_omit) out_one (cie->lsda_encoding); @@ -1553,6 +1854,11 @@ output_cie (struct cie_entry *cie, bfd_boolean eh_frame, int align) #if CFI_DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr enc |= DW_EH_PE_pcrel; #endif +#ifdef DWARF2_FDE_RELOC_ENCODING + /* Allow target to override encoding. */ + enc = DWARF2_FDE_RELOC_ENCODING (enc); +#endif + cie->fde_encoding = enc; if (eh_frame) out_one (enc); @@ -1613,30 +1919,44 @@ output_fde (struct fde_entry *fde, struct cie_entry *cie, TC_DWARF2_EMIT_OFFSET (cie->start_address, offset_size); } + exp.X_op = O_symbol; if (eh_frame) { - exp.X_op = O_subtract; - exp.X_add_number = 0; + bfd_reloc_code_real_type code + = tc_cfi_reloc_for_encoding (cie->fde_encoding); + if (code != BFD_RELOC_NONE) + { + reloc_howto_type *howto = bfd_reloc_type_lookup (stdoutput, code); + char *p = frag_more (4); + md_number_to_chars (p, 0, 4); + fix_new (frag_now, p - frag_now->fr_literal, 4, fde->start_address, + 0, howto->pc_relative, code); + } + else + { + exp.X_op = O_subtract; + exp.X_add_number = 0; #if CFI_DIFF_EXPR_OK - exp.X_add_symbol = fde->start_address; - exp.X_op_symbol = symbol_temp_new_now (); - emit_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ + exp.X_add_symbol = fde->start_address; + exp.X_op_symbol = symbol_temp_new_now (); + emit_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ #else - exp.X_op = O_symbol; - exp.X_add_symbol = fde->start_address; -#ifdef tc_cfi_emit_pcrel_expr - tc_cfi_emit_pcrel_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ + exp.X_op = O_symbol; + exp.X_add_symbol = fde->start_address; + +#if defined(tc_cfi_emit_pcrel_expr) + tc_cfi_emit_pcrel_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ #else - emit_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ + emit_expr (&exp, DWARF2_FDE_RELOC_SIZE); /* Code offset. */ #endif #endif + } addr_size = DWARF2_FDE_RELOC_SIZE; } else { - exp.X_op = O_symbol; - exp.X_add_symbol = fde->start_address; exp.X_add_number = 0; + exp.X_add_symbol = fde->start_address; addr_size = DWARF2_ADDR_SIZE (stdoutput); emit_expr (&exp, addr_size); } @@ -1651,24 +1971,7 @@ output_fde (struct fde_entry *fde, struct cie_entry *cie, if (eh_frame) out_uleb128 (augmentation_size); /* Augmentation size. */ - if (fde->lsda_encoding != DW_EH_PE_omit) - { - exp = fde->lsda; - if ((fde->lsda_encoding & 0x70) == DW_EH_PE_pcrel) - { -#if CFI_DIFF_LSDA_OK - exp.X_op = O_subtract; - exp.X_op_symbol = symbol_temp_new_now (); - emit_expr (&exp, augmentation_size); -#elif defined (tc_cfi_emit_pcrel_expr) - tc_cfi_emit_pcrel_expr (&exp, augmentation_size); -#else - abort (); -#endif - } - else - emit_expr (&exp, augmentation_size); - } + emit_expr_encoded (&fde->lsda, cie->lsda_encoding, FALSE); for (; first; first = first->next) if (CUR_SEG (first) == CUR_SEG (fde)) @@ -1862,26 +2165,50 @@ cfi_change_reg_numbers (struct cfi_insn_data *insn, segT ccseg) #define cfi_change_reg_numbers(insn, cseg) do { } while (0) #endif -static segT -get_cfi_seg (segT cseg, const char *base, flagword flags, int align) +#if SUPPORT_COMPACT_EH +static void +cfi_emit_eh_header (symbolS *sym, bfd_vma addend) { - if (SUPPORT_FRAME_LINKONCE) - { - struct dwcfi_seg_list *l; + expressionS exp; - l = dwcfi_hash_find_or_make (cseg, base, flags); + exp.X_add_number = addend; + exp.X_add_symbol = sym; + emit_expr_encoded (&exp, DW_EH_PE_sdata4 | DW_EH_PE_pcrel, FALSE); +} - cseg = l->seg; - subseg_set (cseg, l->subseg); +static void +output_eh_header (struct fde_entry *fde) +{ + char *p; + bfd_vma addend; + + if (fde->eh_header_type == EH_COMPACT_INLINE) + addend = 0; + else + addend = 1; + + cfi_emit_eh_header (fde->start_address, addend); + + if (fde->eh_header_type == EH_COMPACT_INLINE) + { + p = frag_more (4); + /* Inline entries always use PR1. */ + *(p++) = 1; + memcpy(p, fde->eh_data, 3); } else { - cseg = subseg_new (base, 0); - bfd_set_section_flags (stdoutput, cseg, flags); + if (fde->eh_header_type == EH_COMPACT_LEGACY) + addend = 1; + else if (fde->eh_header_type == EH_COMPACT_OUTLINE + || fde->eh_header_type == EH_COMPACT_OUTLINE_DONE) + addend = 0; + else + abort (); + cfi_emit_eh_header (fde->eh_loc, addend); } - record_alignment (cseg, align); - return cseg; } +#endif void cfi_finish (void) @@ -1895,13 +2222,14 @@ cfi_finish (void) if (all_fde_data == 0) return; - if ((cfi_sections & CFI_EMIT_eh_frame) != 0) + if ((all_cfi_sections & CFI_EMIT_eh_frame) != 0 + || (all_cfi_sections & CFI_EMIT_eh_frame_compact) != 0) { /* Make sure check_eh_frame doesn't do anything with our output. */ save_flag_traditional_format = flag_traditional_format; flag_traditional_format = 1; - if (!SUPPORT_FRAME_LINKONCE) + if (!EH_FRAME_LINKONCE) { /* Open .eh_frame section. */ cfi_seg = get_cfi_seg (NULL, ".eh_frame", @@ -1929,7 +2257,22 @@ cfi_finish (void) for (fde = all_fde_data; fde ; fde = fde->next) { - if (SUPPORT_FRAME_LINKONCE) + if ((fde->sections & CFI_EMIT_eh_frame) == 0 + && (fde->sections & CFI_EMIT_eh_frame_compact) == 0) + continue; + +#if SUPPORT_COMPACT_EH + /* Emit a LEGACY format header if we have processed all + of the .cfi directives without encountering either inline or + out-of-line compact unwinding opcodes. */ + if (fde->eh_header_type == EH_COMPACT_HAS_LSDA + || fde->eh_header_type == EH_COMPACT_UNKNOWN) + fde->eh_header_type = EH_COMPACT_LEGACY; + + if (fde->eh_header_type != EH_COMPACT_LEGACY) + continue; +#endif + if (EH_FRAME_LINKONCE) { if (HANDLED (fde)) continue; @@ -1963,20 +2306,108 @@ cfi_finish (void) } cie = select_cie_for_fde (fde, TRUE, &first, 2); + fde->eh_loc = symbol_temp_new_now (); output_fde (fde, cie, TRUE, first, fde->next == NULL ? EH_FRAME_ALIGNMENT : 2); } } - while (SUPPORT_FRAME_LINKONCE && seek_next_seg == 2); + while (EH_FRAME_LINKONCE && seek_next_seg == 2); - if (SUPPORT_FRAME_LINKONCE) + if (EH_FRAME_LINKONCE) for (fde = all_fde_data; fde ; fde = fde->next) SET_HANDLED (fde, 0); +#if SUPPORT_COMPACT_EH + if (compact_eh) + { + /* Create remaining out of line table entries. */ + do + { + ccseg = NULL; + seek_next_seg = 0; + + for (fde = all_fde_data; fde ; fde = fde->next) + { + if ((fde->sections & CFI_EMIT_eh_frame) == 0 + && (fde->sections & CFI_EMIT_eh_frame_compact) == 0) + continue; + + if (fde->eh_header_type != EH_COMPACT_OUTLINE) + continue; + if (HANDLED (fde)) + continue; + if (seek_next_seg && CUR_SEG (fde) != ccseg) + { + seek_next_seg = 2; + continue; + } + if (!seek_next_seg) + { + ccseg = CUR_SEG (fde); + /* Open .gnu_extab section. */ + get_cfi_seg (ccseg, ".gnu_extab", + (SEC_ALLOC | SEC_LOAD | SEC_DATA + | DWARF2_EH_FRAME_READ_ONLY), + 1); + seek_next_seg = 1; + } + SET_HANDLED (fde, 1); + + frag_align (1, 0, 0); + record_alignment (now_seg, 1); + output_compact_unwind_data (fde, 1); + } + } + while (EH_FRAME_LINKONCE && seek_next_seg == 2); + + for (fde = all_fde_data; fde ; fde = fde->next) + SET_HANDLED (fde, 0); + + /* Create index table fragments. */ + do + { + ccseg = NULL; + seek_next_seg = 0; + + for (fde = all_fde_data; fde ; fde = fde->next) + { + if ((fde->sections & CFI_EMIT_eh_frame) == 0 + && (fde->sections & CFI_EMIT_eh_frame_compact) == 0) + continue; + + if (HANDLED (fde)) + continue; + if (seek_next_seg && CUR_SEG (fde) != ccseg) + { + seek_next_seg = 2; + continue; + } + if (!seek_next_seg) + { + ccseg = CUR_SEG (fde); + /* Open .eh_frame_entry section. */ + cfi_seg = get_cfi_seg (ccseg, ".eh_frame_entry", + (SEC_ALLOC | SEC_LOAD | SEC_DATA + | DWARF2_EH_FRAME_READ_ONLY), + 2); + seek_next_seg = 1; + } + SET_HANDLED (fde, 1); + + output_eh_header (fde); + } + } + while (seek_next_seg == 2); + + for (fde = all_fde_data; fde ; fde = fde->next) + SET_HANDLED (fde, 0); + } +#endif /* SUPPORT_COMPACT_EH */ + flag_traditional_format = save_flag_traditional_format; } - if ((cfi_sections & CFI_EMIT_debug_frame) != 0) + if ((all_cfi_sections & CFI_EMIT_debug_frame) != 0) { int alignment = ffs (DWARF2_ADDR_SIZE (stdoutput)) - 1; @@ -1999,6 +2430,9 @@ cfi_finish (void) for (fde = all_fde_data; fde ; fde = fde->next) { + if ((fde->sections & CFI_EMIT_debug_frame) == 0) + continue; + if (SUPPORT_FRAME_LINKONCE) { if (HANDLED (fde)) @@ -2056,6 +2490,7 @@ const pseudo_typeS cfi_pseudo_table[] = { "cfi_sections", dot_cfi_dummy, 0 }, { "cfi_startproc", dot_cfi_dummy, 0 }, { "cfi_endproc", dot_cfi_dummy, 0 }, + { "cfi_fde_data", dot_cfi_dummy, 0 }, { "cfi_def_cfa", dot_cfi_dummy, 0 }, { "cfi_def_cfa_register", dot_cfi_dummy, 0 }, { "cfi_def_cfa_offset", dot_cfi_dummy, 0 }, @@ -2073,9 +2508,11 @@ const pseudo_typeS cfi_pseudo_table[] = { "cfi_escape", dot_cfi_dummy, 0 }, { "cfi_signal_frame", dot_cfi_dummy, 0 }, { "cfi_personality", dot_cfi_dummy, 0 }, + { "cfi_personality_id", dot_cfi_dummy, 0 }, { "cfi_lsda", dot_cfi_dummy, 0 }, { "cfi_val_encoded_addr", dot_cfi_dummy, 0 }, { "cfi_label", dot_cfi_dummy, 0 }, + { "cfi_inline_lsda", dot_cfi_dummy, 0 }, { NULL, NULL, 0 } }; diff --git a/gas/dw2gencfi.h b/gas/dw2gencfi.h index 6e2c50e..6acd484c 100644 --- a/gas/dw2gencfi.h +++ b/gas/dw2gencfi.h @@ -36,6 +36,7 @@ extern void cfi_finish (void); extern void cfi_new_fde (struct symbol *); extern void cfi_end_fde (struct symbol *); extern void cfi_set_return_column (unsigned); +extern void cfi_set_sections (void); extern void cfi_add_advance_loc (struct symbol *); extern void cfi_add_label (const char *); @@ -58,10 +59,18 @@ extern void cfi_add_CFA_restore_state (void); #define SUPPORT_FRAME_LINKONCE 0 #endif +#ifdef tc_cfi_reloc_for_encoding +#define SUPPORT_COMPACT_EH 1 +#else +#define SUPPORT_COMPACT_EH 0 +#endif + +#define MULTIPLE_FRAME_SECTIONS (SUPPORT_FRAME_LINKONCE || SUPPORT_COMPACT_EH) + struct cfi_insn_data { struct cfi_insn_data *next; -#if SUPPORT_FRAME_LINKONCE +#if MULTIPLE_FRAME_SECTIONS segT cur_seg; #endif int insn; @@ -100,10 +109,35 @@ struct cfi_insn_data } u; }; +/* An enumeration describing the Compact EH header format. The least + significant bit is used to distinguish the entries. + + Inline Compact: Function offset [0] + Four chars of unwind data. + Out-of-line Compact: Function offset [1] + Compact unwind data offset [0] + Legacy: Function offset [1] + Unwind data offset [1] + + The header type is initialized to EH_COMPACT_UNKNOWN until the + format is discovered by encountering a .fde_data entry. + Failure to find a .fde_data entry will cause an EH_COMPACT_LEGACY + header to be generated. */ + +enum { + EH_COMPACT_UNKNOWN, + EH_COMPACT_LEGACY, + EH_COMPACT_INLINE, + EH_COMPACT_OUTLINE, + EH_COMPACT_OUTLINE_DONE, + /* Outline if .cfi_inline_lsda used, otherwise legacy FDE. */ + EH_COMPACT_HAS_LSDA +}; + struct fde_entry { struct fde_entry *next; -#if SUPPORT_FRAME_LINKONCE +#if MULTIPLE_FRAME_SECTIONS segT cur_seg; #endif symbolS *start_address; @@ -112,13 +146,21 @@ struct fde_entry struct cfi_insn_data **last; unsigned char per_encoding; unsigned char lsda_encoding; + int personality_id; expressionS personality; expressionS lsda; unsigned int return_column; unsigned int signal_frame; -#if SUPPORT_FRAME_LINKONCE +#if MULTIPLE_FRAME_SECTIONS int handled; #endif + int eh_header_type; + /* Compact unwinding opcodes, not including the PR byte or LSDA. */ + int eh_data_size; + bfd_byte *eh_data; + /* For out of line tables and FDEs. */ + symbolS *eh_loc; + int sections; }; /* The list of all FDEs that have been collected. */ @@ -133,4 +175,10 @@ extern struct fde_entry *all_fde_data; #define CFI_val_encoded_addr 0x105 #define CFI_label 0x106 +/* By default emit .eh_frame only, not .debug_frame. */ +#define CFI_EMIT_eh_frame (1 << 0) +#define CFI_EMIT_debug_frame (1 << 1) +#define CFI_EMIT_target (1 << 2) +#define CFI_EMIT_eh_frame_compact (1 << 3) + #endif /* DW2GENCFI_H */ diff --git a/gas/testsuite/ChangeLog b/gas/testsuite/ChangeLog index 7f4b81b..4ee899a 100644 --- a/gas/testsuite/ChangeLog +++ b/gas/testsuite/ChangeLog @@ -1,3 +1,35 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + Bernd Schmidt <bernds@codesourcery.com> + + gas/testsuite/ + * gas/mips/mips.exp: Run new tests. + + * gas/mips/compact-eh-1.s: New file. + * gas/mips/compact-eh-2.s: New file. + * gas/mips/compact-eh-3.s: New file. + * gas/mips/compact-eh-4.s: New file. + * gas/mips/compact-eh-5.s: New file. + * gas/mips/compact-eh-6.s: New file. + * gas/mips/compact-eh-7.s: New file. + * gas/mips/compact-eh-eb-1.d: New file. + * gas/mips/compact-eh-eb-2.d: New file. + * gas/mips/compact-eh-eb-3.d: New file. + * gas/mips/compact-eh-eb-4.d: New file. + * gas/mips/compact-eh-eb-5.d: New file. + * gas/mips/compact-eh-eb-6.d: New file. + * gas/mips/compact-eh-eb-7.d: New file. + * gas/mips/compact-eh-el-1.d: New file. + * gas/mips/compact-eh-el-2.d: New file. + * gas/mips/compact-eh-el-3.d: New file. + * gas/mips/compact-eh-el-4.d: New file. + * gas/mips/compact-eh-el-5.d: New file. + * gas/mips/compact-eh-el-6.d: New file. + * gas/mips/compact-eh-el-7.d: New file. + * gas/mips/compact-eh-err1.l: New file. + * gas/mips/compact-eh-err1.s: New file. + * gas/mips/compact-eh-err2.l: New file. + * gas/mips/compact-eh-err2.s: New file. + 2015-05-15 H.J. Lu <hongjiu.lu@intel.com> PR binutis/18386 diff --git a/gas/testsuite/gas/mips/compact-eh-1.s b/gas/testsuite/gas/mips/compact-eh-1.s new file mode 100644 index 0000000..9c4f8d2 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-1.s @@ -0,0 +1,19 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: + nop + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40 + .cfi_endproc diff --git a/gas/testsuite/gas/mips/compact-eh-2.s b/gas/testsuite/gas/mips/compact-eh-2.s new file mode 100644 index 0000000..beeebda --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-2.s @@ -0,0 +1,28 @@ + .gnu_attribute 4, 1 + .abicalls + .hidden DW.ref.__gnu_compact_pr2 + .weak DW.ref.__gnu_compact_pr2 + .section .data.DW.ref.__gnu_compact_pr2,"awG",@progbits,DW.ref.__gnu_compact_pr2,comdat + .align 2 + .type DW.ref.__gnu_compact_pr2, @object + .size DW.ref.__gnu_compact_pr2, 4 +DW.ref.__gnu_compact_pr2: + .word __gnu_compact_pr2 + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality 0x1b, DW.ref.__gnu_compact_pr2 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: + nop + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40 + .cfi_endproc + .globl __gnu_compact_pr2 diff --git a/gas/testsuite/gas/mips/compact-eh-3.s b/gas/testsuite/gas/mips/compact-eh-3.s new file mode 100644 index 0000000..fd9def1 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-3.s @@ -0,0 +1,19 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: + nop + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40,0x3,0x5 + .cfi_endproc diff --git a/gas/testsuite/gas/mips/compact-eh-4.s b/gas/testsuite/gas/mips/compact-eh-4.s new file mode 100644 index 0000000..d0be1c7 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-4.s @@ -0,0 +1,47 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .cfi_lsda 0x1b,$LLSDA0 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: +$LEHB0 = . + nop +$LEHE0 = . + nop +$LEHB1 = . + nop +$LEHE1 = . + nop +$LEHB2 = . +$L3: + nop +$LEHE2 = . + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40 + .cfi_endproc + .cfi_inline_lsda 2 +$LLSDA0: + .byte 0x2 + .uleb128 $LLSDACSE0-$LLSDACSB0 +$LLSDACSB0: + .uleb128 ($LEHB0-$LFB0)|1 + .uleb128 ($LEHE0-$LEHB0) + .sleb128 -1 + .uleb128 ($LEHB1-$LEHE0)|1 + .uleb128 ($LEHE1-$LEHB1) + .sleb128 ($L3-($LEHE1)) + .sleb128 (0<<2)|0 + .uleb128 ($LEHB2-$LEHE1)|1 + .uleb128 ($LEHE2-$LEHB2) + .sleb128 -1 +$LLSDACSE0: diff --git a/gas/testsuite/gas/mips/compact-eh-5.s b/gas/testsuite/gas/mips/compact-eh-5.s new file mode 100644 index 0000000..aa9bdda --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-5.s @@ -0,0 +1,56 @@ + .gnu_attribute 4, 1 + .abicalls + .hidden DW.ref.__gnu_compact_pr2 + .weak DW.ref.__gnu_compact_pr2 + .section .data.DW.ref.__gnu_compact_pr2,"awG",@progbits,DW.ref.__gnu_compact_pr2,comdat + .align 2 + .type DW.ref.__gnu_compact_pr2, @object + .size DW.ref.__gnu_compact_pr2, 4 +DW.ref.__gnu_compact_pr2: + .word __gnu_compact_pr2 + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality 0x1b, DW.ref.__gnu_compact_pr2 + .cfi_lsda 0x1b,$LLSDA0 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: +$LEHB0 = . + nop +$LEHE0 = . + nop +$LEHB1 = . + nop +$LEHE1 = . + nop +$LEHB2 = . +$L3: + nop +$LEHE2 = . + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40 + .cfi_endproc + .globl __gnu_compact_pr2 + .cfi_inline_lsda 2 +$LLSDA0: + .byte 0x2 + .uleb128 $LLSDACSE0-$LLSDACSB0 +$LLSDACSB0: + .uleb128 ($LEHB0-$LFB0)|1 + .uleb128 ($LEHE0-$LEHB0) + .sleb128 -1 + .uleb128 ($LEHB1-$LEHE0)|1 + .uleb128 ($LEHE1-$LEHB1) + .sleb128 ($L3-($LEHE1)) + .sleb128 (0<<2)|0 + .uleb128 ($LEHB2-$LEHE1)|1 + .uleb128 ($LEHE2-$LEHB2) + .sleb128 -1 +$LLSDACSE0: diff --git a/gas/testsuite/gas/mips/compact-eh-6.s b/gas/testsuite/gas/mips/compact-eh-6.s new file mode 100644 index 0000000..2e49054 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-6.s @@ -0,0 +1,47 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .cfi_lsda 0x1b,$LLSDA0 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: +$LEHB0 = . + nop +$LEHE0 = . + nop +$LEHB1 = . + nop +$LEHE1 = . + nop +$LEHB2 = . +$L3: + nop +$LEHE2 = . + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40,0x3,0x5 + .cfi_endproc + .cfi_inline_lsda 2 +$LLSDA0: + .byte 0x2 + .uleb128 $LLSDACSE0-$LLSDACSB0 +$LLSDACSB0: + .uleb128 ($LEHB0-$LFB0)|1 + .uleb128 ($LEHE0-$LEHB0) + .sleb128 -1 + .uleb128 ($LEHB1-$LEHE0)|1 + .uleb128 ($LEHE1-$LEHB1) + .sleb128 ($L3-($LEHE1)) + .sleb128 (0<<2)|0 + .uleb128 ($LEHB2-$LEHE1)|1 + .uleb128 ($LEHE2-$LEHB2) + .sleb128 -1 +$LLSDACSE0: diff --git a/gas/testsuite/gas/mips/compact-eh-7.s b/gas/testsuite/gas/mips/compact-eh-7.s new file mode 100644 index 0000000..e7554d2 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-7.s @@ -0,0 +1,22 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: + nop + .cfi_def_cfa_offset -32 + nop + .cfi_def_cfa_offset 0 + + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_endproc diff --git a/gas/testsuite/gas/mips/compact-eh-eb-1.d b/gas/testsuite/gas/mips/compact-eh-eb-1.d new file mode 100644 index 0000000..2a233d6 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-1.d @@ -0,0 +1,25 @@ +#objdump: -sr +#name: Compact EH EB #1 with personality ID and FDE data +#source: compact-eh-1.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* + + +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .eh_frame_entry: + 0000 00000000 0104405c .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-2.d b/gas/testsuite/gas/mips/compact-eh-eb-2.d new file mode 100644 index 0000000..226a5ff --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-2.d @@ -0,0 +1,42 @@ +#objdump: -sr +#name: Compact EH EB #2 with personality routine and FDE data +#source: compact-eh-2.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.data.DW.ref.__gnu_compact_pr2\]: +OFFSET TYPE VALUE +00000000 R_MIPS_32 __gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.gnu_extab\]: +OFFSET TYPE VALUE +00000001 R_MIPS_PC32 DW.ref.__gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .group: + 0000 00000001 00000007 .* +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .data.DW.ref.__gnu_compact_pr2: + 0000 00000000 .* +Contents of section .gnu_extab: + 0000 00000000 0004405c .* +Contents of section .eh_frame_entry: + 0000 00000001 00000000 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-3.d b/gas/testsuite/gas/mips/compact-eh-eb-3.d new file mode 100644 index 0000000..6782d2b --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-3.d @@ -0,0 +1,28 @@ +#objdump: -sr +#name: Compact EH EB #3 with personality id and large FDE data +#source: compact-eh-3.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 02044003 055c .* +Contents of section .eh_frame_entry: + 0000 00000001 00000000 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-4.d b/gas/testsuite/gas/mips/compact-eh-eb-4.d new file mode 100644 index 0000000..b9fe3c0 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-4.d @@ -0,0 +1,29 @@ +#objdump: -sr +#name: Compact EH EB #4 with personality id, FDE data and LSDA +#source: compact-eh-4.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 0204405c 020a0104 7f050404 0005047f .* +Contents of section .eh_frame_entry: + 0000 00000001 00000000 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-5.d b/gas/testsuite/gas/mips/compact-eh-eb-5.d new file mode 100644 index 0000000..fd278a1 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-5.d @@ -0,0 +1,44 @@ +#objdump: -sr +#name: Compact EH EB #5 with personality routine, FDE data and LSDA +#source: compact-eh-5.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.data.DW.ref.__gnu_compact_pr2\]: +OFFSET TYPE VALUE +00000000 R_MIPS_32 __gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.gnu_extab\]: +OFFSET TYPE VALUE +00000001 R_MIPS_PC32 DW.ref.__gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .group: + 0000 00000001 00000007 .* +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .data.DW.ref.__gnu_compact_pr2: + 0000 00000000 .* +Contents of section .gnu_extab: + 0000 00000000 0004405c 020a0104 7f050404 .* + 0010 0005047f .* +Contents of section .eh_frame_entry: + 0000 00000001 00000000 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-6.d b/gas/testsuite/gas/mips/compact-eh-eb-6.d new file mode 100644 index 0000000..496be17 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-6.d @@ -0,0 +1,30 @@ +#objdump: -sr +#name: Compact EH EB #6 with personality id, LSDA and large FDE data +#source: compact-eh-6.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 02044003 055f5f5c 020a0104 7f050404 .* + 0010 0005047f .* +Contents of section .eh_frame_entry: + 0000 00000001 00000000 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-eb-7.d b/gas/testsuite/gas/mips/compact-eh-eb-7.d new file mode 100644 index 0000000..2daae3f --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-eb-7.d @@ -0,0 +1,35 @@ +#objdump: -sr +#name: Compact EH EB #7 with personality id and fallback FDE +#source: compact-eh-7.s +#as: -EB -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame\]: +OFFSET TYPE VALUE +0000001c R_MIPS_PC32 .text.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .eh_frame.* + + +Contents of section .text: + 0000 00000000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .eh_frame: + 0000 00000010 00000000 017a5200 017c1f01 .* + 0010 1b0d1d00 00000014 00000018 00000000 .* + 0020 00000008 00441308 440e0000 .* +Contents of section .eh_frame_entry: + 0000 00000001 00000015 .* +Contents of section .gnu.attributes: + 0000 41000000 0f676e75 00010000 00070401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-1.d b/gas/testsuite/gas/mips/compact-eh-el-1.d new file mode 100644 index 0000000..64abfba --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-1.d @@ -0,0 +1,25 @@ +#objdump: -sr +#name: Compact EH EL #1 with personality ID and FDE data +#source: compact-eh-1.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* + + +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .eh_frame_entry: + 0000 00000000 0104405c .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-2.d b/gas/testsuite/gas/mips/compact-eh-el-2.d new file mode 100644 index 0000000..80627eb --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-2.d @@ -0,0 +1,42 @@ +#objdump: -sr +#name: Compact EH EL #2 with personality routine and FDE data +#source: compact-eh-2.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.data.DW.ref.__gnu_compact_pr2\]: +OFFSET TYPE VALUE +00000000 R_MIPS_32 __gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.gnu_extab\]: +OFFSET TYPE VALUE +00000001 R_MIPS_PC32 DW.ref.__gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .group: + 0000 01000000 07000000 .* +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .data.DW.ref.__gnu_compact_pr2: + 0000 00000000 .* +Contents of section .gnu_extab: + 0000 00000000 0004405c .* +Contents of section .eh_frame_entry: + 0000 01000000 00000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-3.d b/gas/testsuite/gas/mips/compact-eh-el-3.d new file mode 100644 index 0000000..aacfac2 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-3.d @@ -0,0 +1,28 @@ +#objdump: -sr +#name: Compact EH EL #3 with personality id and large FDE data +#source: compact-eh-3.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 02044003 055c .* +Contents of section .eh_frame_entry: + 0000 01000000 00000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-4.d b/gas/testsuite/gas/mips/compact-eh-el-4.d new file mode 100644 index 0000000..d3d85e1 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-4.d @@ -0,0 +1,29 @@ +#objdump: -sr +#name: Compact EH EL #4 with personality id, FDE data and LSDA +#source: compact-eh-4.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 0204405c 020a0104 7f050404 0005047f .* +Contents of section .eh_frame_entry: + 0000 01000000 00000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-5.d b/gas/testsuite/gas/mips/compact-eh-el-5.d new file mode 100644 index 0000000..7f07622 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-5.d @@ -0,0 +1,43 @@ +#objdump: -sr +#name: Compact EH EL #5 with personality routine, FDE data and LSDA +#source: compact-eh-5.s +#as: -EL -mno-pdr + +.*: file format.* + +RELOCATION RECORDS FOR \[.data.DW.ref.__gnu_compact_pr2\]: +OFFSET TYPE VALUE +00000000 R_MIPS_32 __gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.gnu_extab\]: +OFFSET TYPE VALUE +00000001 R_MIPS_PC32 DW.ref.__gnu_compact_pr2 + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .group: + 0000 01000000 07000000 .* +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .data.DW.ref.__gnu_compact_pr2: + 0000 00000000 .* +Contents of section .gnu_extab: + 0000 00000000 0004405c 020a0104 7f050404 .* + 0010 0005047f .* +Contents of section .eh_frame_entry: + 0000 01000000 00000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-6.d b/gas/testsuite/gas/mips/compact-eh-el-6.d new file mode 100644 index 0000000..802a946 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-6.d @@ -0,0 +1,30 @@ +#objdump: -sr +#name: Compact EH EL #6 with personality id, LSDA and large FDE data +#source: compact-eh-6.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .gnu_extab + + +Contents of section .text: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .gnu_extab: + 0000 02044003 055f5f5c 020a0104 7f050404 .* + 0010 0005047f .* +Contents of section .eh_frame_entry: + 0000 01000000 00000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-el-7.d b/gas/testsuite/gas/mips/compact-eh-el-7.d new file mode 100644 index 0000000..c3c585e --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-el-7.d @@ -0,0 +1,35 @@ +#objdump: -sr +#name: Compact EH EL #7 with personality id and fallback FDE +#source: compact-eh-7.s +#as: -EL -mno-pdr + +.*: file format.* + + +RELOCATION RECORDS FOR \[.eh_frame\]: +OFFSET TYPE VALUE +0000001c R_MIPS_PC32 .text.* + + +RELOCATION RECORDS FOR \[.eh_frame_entry\]: +OFFSET TYPE VALUE +00000000 R_MIPS_PC32 .text.* +00000004 R_MIPS_PC32 .eh_frame.* + + +Contents of section .text: + 0000 00000000 00000000.* +Contents of section .reginfo: + 0000 00000000 00000000 00000000 00000000 .* + 0010 00000000 00000000 .* +Contents of section .MIPS.abiflags: + .* + .* +Contents of section .eh_frame: + 0000 10000000 00000000 017a5200 017c1f01 .* + 0010 1b0d1d00 14000000 18000000 00000000 .* + 0020 08000000 00441308 440e0000 .* +Contents of section .eh_frame_entry: + 0000 01000000 15000000 .* +Contents of section .gnu.attributes: + 0000 410f0000 00676e75 00010700 00000401 .* diff --git a/gas/testsuite/gas/mips/compact-eh-err1.l b/gas/testsuite/gas/mips/compact-eh-err1.l new file mode 100644 index 0000000..3ee03de --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-err1.l @@ -0,0 +1,2 @@ +.*: Assembler messages: +.*:20: Error: .cfi_inline_lsda seen for frame without .cfi_lsda diff --git a/gas/testsuite/gas/mips/compact-eh-err1.s b/gas/testsuite/gas/mips/compact-eh-err1.s new file mode 100644 index 0000000..967313f --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-err1.s @@ -0,0 +1,20 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry +$LFB0 = . + .cfi_startproc + .cfi_personality_id 0x2 + .set nomips16 + .set nomicromips + .ent _Z3fooi + .type _Z3fooi, @function +_Z3fooi: + nop + .end _Z3fooi + .size _Z3fooi, .-_Z3fooi + .cfi_fde_data 0x4,0x40 + .cfi_endproc + .cfi_inline_lsda 1 diff --git a/gas/testsuite/gas/mips/compact-eh-err2.l b/gas/testsuite/gas/mips/compact-eh-err2.l new file mode 100644 index 0000000..c52976a --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-err2.l @@ -0,0 +1,2 @@ +.*: Assembler messages: +.*:7: Error: inconsistent uses of .cfi_sections diff --git a/gas/testsuite/gas/mips/compact-eh-err2.s b/gas/testsuite/gas/mips/compact-eh-err2.s new file mode 100644 index 0000000..acf83d1 --- /dev/null +++ b/gas/testsuite/gas/mips/compact-eh-err2.s @@ -0,0 +1,7 @@ + .gnu_attribute 4, 1 + .abicalls + .text + .align 2 + .globl _Z3fooi + .cfi_sections .eh_frame_entry + .cfi_sections .eh_frame diff --git a/gas/testsuite/gas/mips/mips.exp b/gas/testsuite/gas/mips/mips.exp index c3c3364..4568f24 100644 --- a/gas/testsuite/gas/mips/mips.exp +++ b/gas/testsuite/gas/mips/mips.exp @@ -570,6 +570,23 @@ if { [istarget mips*-*-vxworks*] } { "MIPS branch swapping ($count)" } + run_dump_test "compact-eh-eb-1" + run_dump_test "compact-eh-eb-2" + run_dump_test "compact-eh-eb-3" + run_dump_test "compact-eh-eb-4" + run_dump_test "compact-eh-eb-5" + run_dump_test "compact-eh-eb-6" + run_dump_test "compact-eh-eb-7" + run_dump_test "compact-eh-el-1" + run_dump_test "compact-eh-el-2" + run_dump_test "compact-eh-el-3" + run_dump_test "compact-eh-el-4" + run_dump_test "compact-eh-el-5" + run_dump_test "compact-eh-el-6" + run_dump_test "compact-eh-el-7" + run_list_test "compact-eh-err1" + run_list_test "compact-eh-err2" + run_dump_test "div" if { !$addr32 } { @@ -1139,7 +1156,6 @@ if { [istarget mips*-*-vxworks*] } { run_dump_test "align2-el" run_dump_test "align3" run_dump_test "odd-float" - run_dump_test "ehword" run_dump_test "insn-opts" run_list_test_arches "mips-macro-ill-sfp" "-32 -msingle-float" \ diff --git a/include/ChangeLog b/include/ChangeLog index 91e07ed..9f8e212 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + + include/ + * bfdlink.h: Rename eh_frame_hdr to eh_frame_hdr_type. + 2015-05-12 Jiong Wang <jiong.wang@arm.com> * elf/aarch64.h (R_AARCH64_P32_LD32_GOTPAGE_LO14): New enumeration. diff --git a/include/bfdlink.h b/include/bfdlink.h index 3989c60..b9dc139 100644 --- a/include/bfdlink.h +++ b/include/bfdlink.h @@ -342,9 +342,9 @@ struct bfd_link_info /* TRUE if PT_GNU_RELRO segment should be created. */ unsigned int relro: 1; - /* TRUE if .eh_frame_hdr section and PT_GNU_EH_FRAME ELF segment - should be created. */ - unsigned int eh_frame_hdr: 1; + /* Nonzero if .eh_frame_hdr section and PT_GNU_EH_FRAME ELF segment + should be created. 1 for DWARF2 tables, 2 for compact tables. */ + unsigned int eh_frame_hdr_type: 2; /* TRUE if we should warn when adding a DT_TEXTREL to a shared object. */ unsigned int warn_shared_textrel: 1; diff --git a/ld/ChangeLog b/ld/ChangeLog index 433bdd3..84c268a 100644 --- a/ld/ChangeLog +++ b/ld/ChangeLog @@ -1,3 +1,12 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + Paul Brook <paul@codesourcery.com> + + ld/ + * emultempl/elf32.em (gld${EMULATION_NAME}_after_open): + Add Compact EH support. + * scripttempl/elf.sc: Handle .eh_frame_entry and .gnu_extab + sections. + 2015-05-17 Chung-Lin Tang <cltang@codesourcery.com> * configure.ac (AC_PROG_GREP): Check for grep program. diff --git a/ld/emultempl/elf32.em b/ld/emultempl/elf32.em index 0802d76..cdea5d8 100644 --- a/ld/emultempl/elf32.em +++ b/ld/emultempl/elf32.em @@ -1045,30 +1045,57 @@ gld${EMULATION_NAME}_after_open (void) return; } - if (link_info.eh_frame_hdr - && !link_info.traditional_format) + if (!link_info.traditional_format) { bfd *abfd, *elfbfd = NULL; bfd_boolean warn_eh_frame = FALSE; asection *s; + int seen_type = 0; for (abfd = link_info.input_bfds; abfd; abfd = abfd->link.next) { - if (bfd_count_sections (abfd) == 0) - continue; - if (bfd_get_flavour (abfd) == bfd_target_elf_flavour) - elfbfd = abfd; - if (!warn_eh_frame) + int type = 0; + for (s = abfd->sections; s && type < COMPACT_EH_HDR; s = s->next) { - s = bfd_get_section_by_name (abfd, ".eh_frame"); - while (s != NULL - && (s->size <= 8 - || bfd_is_abs_section (s->output_section))) - s = bfd_get_next_section_by_name (s); - warn_eh_frame = s != NULL; + const char *name = bfd_get_section_name (abfd, s); + + if (bfd_is_abs_section (s->output_section)) + continue; + if (CONST_STRNEQ (name, ".eh_frame_entry")) + type = COMPACT_EH_HDR; + else if (strcmp (name, ".eh_frame") == 0 && s->size > 8) + type = DWARF2_EH_HDR; } - if (elfbfd && warn_eh_frame) - break; + + if (type != 0) + { + if (seen_type == 0) + { + seen_type = type; + } + else if (seen_type != type) + { + einfo (_("%P%F: compact frame descriptions incompatible with" + " DWARF2 .eh_frame from %B\n"), + type == DWARF2_EH_HDR ? abfd : elfbfd); + break; + } + + if (!elfbfd + && (type == COMPACT_EH_HDR || link_info.eh_frame_hdr_type != 0)) + { + if (bfd_get_flavour (abfd) == bfd_target_elf_flavour) + elfbfd = abfd; + + warn_eh_frame = TRUE; + } + } + + if (seen_type == COMPACT_EH_HDR) + link_info.eh_frame_hdr_type = COMPACT_EH_HDR; + + if (bfd_count_sections (abfd) == 0) + continue; } if (elfbfd) { @@ -1272,6 +1299,10 @@ fragment <<EOF einfo ("%P: warning: %s, needed by %B, not found (try using -rpath or -rpath-link)\n", l->name, l->by); } + + if (link_info.eh_frame_hdr_type == COMPACT_EH_HDR) + if (bfd_elf_parse_eh_frame_entries (NULL, &link_info) == FALSE) + einfo (_("%P%F: Failed to parse EH frame entries.\n")); } EOF @@ -2222,7 +2253,7 @@ fragment <<EOF break; case OPTION_EH_FRAME_HDR: - link_info.eh_frame_hdr = TRUE; + link_info.eh_frame_hdr_type = DWARF2_EH_HDR; break; case OPTION_GROUP: diff --git a/ld/scripttempl/elf.sc b/ld/scripttempl/elf.sc index b4f52eb..c6dfe5d 100644 --- a/ld/scripttempl/elf.sc +++ b/ld/scripttempl/elf.sc @@ -538,10 +538,11 @@ cat <<EOF ${CREATE_SHLIB-${SDATA2}} ${CREATE_SHLIB-${SBSS2}} ${OTHER_READONLY_SECTIONS} - .eh_frame_hdr : { *(.eh_frame_hdr) } - .eh_frame ${RELOCATING-0} : ONLY_IF_RO { KEEP (*(.eh_frame)) } + .eh_frame_hdr : { *(.eh_frame_hdr) ${RELOCATING+*(.eh_frame_entry .eh_frame_entry.*)} } + .eh_frame ${RELOCATING-0} : ONLY_IF_RO { KEEP (*(.eh_frame)) ${RELOCATING+*(.eh_frame.*)} } .gcc_except_table ${RELOCATING-0} : ONLY_IF_RO { *(.gcc_except_table .gcc_except_table.*) } + .gnu_extab ${RELOCATING-0} : ONLY_IF_RO { *(.gnu_extab*) } /* These sections are generated by the Sun/Oracle C++ compiler. */ .exception_ranges ${RELOCATING-0} : ONLY_IF_RO { *(.exception_ranges .exception_ranges*) } @@ -554,7 +555,8 @@ cat <<EOF ${CREATE_PIE+${RELOCATING+. = ${SHLIB_DATA_ADDR-${DATA_SEGMENT_ALIGN}};}} /* Exception handling */ - .eh_frame ${RELOCATING-0} : ONLY_IF_RW { KEEP (*(.eh_frame)) } + .eh_frame ${RELOCATING-0} : ONLY_IF_RW { KEEP (*(.eh_frame)) ${RELOCATING+*(.eh_frame.*)} } + .gnu_extab ${RELOCATING-0} : ONLY_IF_RW { *(.gnu_extab) } .gcc_except_table ${RELOCATING-0} : ONLY_IF_RW { *(.gcc_except_table .gcc_except_table.*) } .exception_ranges ${RELOCATING-0} : ONLY_IF_RW { *(.exception_ranges .exception_ranges*) } diff --git a/ld/testsuite/ChangeLog b/ld/testsuite/ChangeLog index 779fc03..1da78f3 100644 --- a/ld/testsuite/ChangeLog +++ b/ld/testsuite/ChangeLog @@ -1,3 +1,21 @@ +2015-05-28 Catherine Moore <clm@codesourcery.com> + + ld/testsuite/ + * ld-mips-elf/compact-eh.ld: New linker script. + * ld-mips-elf/compact-eh1.d: New. + * ld-mips-elf/compact-eh1.s: New. + * ld-mips-elf/compact-eh1a.s: New. + * ld-mips-elf/compact-eh1b.s: New. + * ld-mips-elf/compact-eh2.d: New. + * ld-mips-elf/compact-eh2.s: New. + * ld-mips-elf/compact-eh3.d: New. + * ld-mips-elf/compact-eh3.s: New. + * ld-mips-elf/compact-eh3a.s: New. + * ld-mips-elf/compact-eh4.d: New. + * ld-mips-elf/compact-eh5.d: New. + * ld-mips-elf/compact-eh6.d: New. + * ld-mips-elf/mips-elf.exp: Run new tests. + 2015-05-27 H.J. Lu <hongjiu.lu@intel.com> PR binutils/18458 diff --git a/ld/testsuite/ld-mips-elf/compact-eh.ld b/ld/testsuite/ld-mips-elf/compact-eh.ld new file mode 100644 index 0000000..e395fa6 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh.ld @@ -0,0 +1,15 @@ +ENTRY (__start) +SECTIONS +{ + .text : + { + *(.text .text.*) + *(.gnu_extab .gnu_extab.*) + } + .eh_frame_hdr : + { + KEEP (*(.eh_frame_hdr)) + *(.eh_frame_entry .eh_frame_entry.*) + } + .data : {*(.data) } +} diff --git a/ld/testsuite/ld-mips-elf/compact-eh1.d b/ld/testsuite/ld-mips-elf/compact-eh1.d new file mode 100644 index 0000000..b3faafa --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh1.d @@ -0,0 +1,15 @@ +#name: MIPS Compact EH 1 +#source: compact-eh1.s +#source: compact-eh1a.s +#source: compact-eh1b.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -Tcompact-eh.ld -e main +# + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000005 ffffff[0-9a-f]+ ffffff[0-9a-f]+.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ ffffff[0-9a-f]+ ffffff[0-9a-f]+ 01555c5c.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 01555c5c ffffff[0-9a-f]+ 015d5d01.* + diff --git a/ld/testsuite/ld-mips-elf/compact-eh1.s b/ld/testsuite/ld-mips-elf/compact-eh1.s new file mode 100644 index 0000000..941ac8f --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh1.s @@ -0,0 +1,37 @@ + .section .text.startup,"ax",@progbits + .align 2 + .cfi_sections .eh_frame_entry +.LFB3 = . + .cfi_startproc + .cfi_personality_id 0x2 + .cfi_lsda 0x1b,.LLSDA3 + .global main +main: +.LEHB0 = . + jal compact1a + move $4,$2 + +.LEHE0 = . +.L11: + nop + + lw $31,28($sp) + nop + + jal compact1b + move $4,$2 + .cfi_fde_data 0x3,0x42 + .cfi_endproc + .globl __gnu_compact_pr2 + .cfi_inline_lsda 2 +.LLSDA3: + .byte 0x2 + .uleb128 .LLSDACSE3-.LLSDACSB3 +.LLSDACSB3: + # Region 0 -- NoThrow + .uleb128 (.LEHB0-.LFB3)|1 # Length + # Region 1 -- Action Chain + .uleb128 (.LEHE0-.LEHB0) # Length + .sleb128 (.L11-(.LEHE0)) # Landing Pad Offset + .sleb128 (0<<2)|0x1 # Action/Chain Pair +.LLSDACSE3: diff --git a/ld/testsuite/ld-mips-elf/compact-eh1a.s b/ld/testsuite/ld-mips-elf/compact-eh1a.s new file mode 100644 index 0000000..3f5c7ec --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh1a.s @@ -0,0 +1,11 @@ + .cfi_sections .eh_frame_entry + .section .text.compact1a,"ax",@progbits + .globl compact1a + .cfi_startproc +compact1a: + sw $2,16($fp) + lw $2,16($fp) + lw $5,4($3) + addiu $3,$2,1 + .cfi_fde_data 0x5e,0x3,0x59,0xf1 + .cfi_endproc diff --git a/ld/testsuite/ld-mips-elf/compact-eh1b.s b/ld/testsuite/ld-mips-elf/compact-eh1b.s new file mode 100644 index 0000000..e96289a --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh1b.s @@ -0,0 +1,21 @@ + .cfi_sections .eh_frame_entry + .section .text.compact1b,"ax",@progbits + .globl compact1b + .cfi_startproc +compact1b: + lw $31,44($sp) + lw $fp,40($sp) + addiu $sp,$sp,48 + j $31 + nop + .cfi_fde_data 0x55 + .cfi_endproc + .globl e22 + .cfi_startproc +__e22: + sw $2,24($fp) + lw $2,24($fp) + xori $2,$2,0x1 + andi $2,$2,0x00ff + .cfi_fde_data 0x55 + .cfi_endproc diff --git a/ld/testsuite/ld-mips-elf/compact-eh2.d b/ld/testsuite/ld-mips-elf/compact-eh2.d new file mode 100644 index 0000000..e9764d5 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh2.d @@ -0,0 +1,11 @@ +#name: MIPS Compact EH 2 +#source: compact-eh2.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -Tcompact-eh.ld -e main +# + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000002 ffffff[0-9a-f]+ 00000041.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 015d5d01.* diff --git a/ld/testsuite/ld-mips-elf/compact-eh2.s b/ld/testsuite/ld-mips-elf/compact-eh2.s new file mode 100644 index 0000000..b899e56 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh2.s @@ -0,0 +1,34 @@ + .section .text.startup,"ax",@progbits + .align 2 + .cfi_sections .eh_frame_entry +.LFB3 = . + .cfi_startproc + .cfi_personality_id 0x2 + .cfi_lsda 0x1b,.LLSDA3 + .global main +main: +.LEHB0 = . + move $4,$2 + +.LEHE0 = . +.L11: + nop + + lw $31,28($sp) + nop + + move $4,$2 + .cfi_endproc + .globl __gnu_compact_pr2 + .cfi_inline_lsda 2 +.LLSDA3: + .byte 0x2 + .uleb128 .LLSDACSE3-.LLSDACSB3 +.LLSDACSB3: + # Region 0 -- NoThrow + .uleb128 (.LEHB0-.LFB3)|1 # Length + # Region 1 -- Action Chain + .uleb128 (.LEHE0-.LEHB0) # Length + .sleb128 (.L11-(.LEHE0)) # Landing Pad Offset + .sleb128 (0<<2)|0x1 # Action/Chain Pair +.LLSDACSE3: diff --git a/ld/testsuite/ld-mips-elf/compact-eh3.d b/ld/testsuite/ld-mips-elf/compact-eh3.d new file mode 100644 index 0000000..7a0ecd6 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh3.d @@ -0,0 +1,13 @@ +#name: MIPS Compact EH 3 +#source: compact-eh3.s +#source: compact-eh3a.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -Tcompact-eh.ld -e main +# + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000004 ffffff[0-9a-f]+ ffffff[0-9a-f][0-9a-f].* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 00000041 ffffff[0-9a-f]+ 0000004d.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 015d5d01.* diff --git a/ld/testsuite/ld-mips-elf/compact-eh3.s b/ld/testsuite/ld-mips-elf/compact-eh3.s new file mode 100644 index 0000000..2bcf5ca --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh3.s @@ -0,0 +1,36 @@ + .section .text.startup,"ax",@progbits + .align 2 + .cfi_sections .eh_frame_entry +.LFB3 = . + .cfi_startproc + .cfi_personality_id 0x2 + .cfi_lsda 0x1b,.LLSDA3 + .global main +main: +.LEHB0 = . + move $4,$2 + +.LEHE0 = . +.L11: + nop + + lw $31,28($sp) + nop + + jal compact3a + move $4,$2 + .cfi_fde_data 0x3,0x42 + .cfi_endproc + .globl __gnu_compact_pr2 + .cfi_inline_lsda 2 +.LLSDA3: + .byte 0x2 + .uleb128 .LLSDACSE3-.LLSDACSB3 +.LLSDACSB3: + # Region 0 -- NoThrow + .uleb128 (.LEHB0-.LFB3)|1 # Length + # Region 1 -- Action Chain + .uleb128 (.LEHE0-.LEHB0) # Length + .sleb128 (.L11-(.LEHE0)) # Landing Pad Offset + .sleb128 (0<<2)|0x1 # Action/Chain Pair +.LLSDACSE3: diff --git a/ld/testsuite/ld-mips-elf/compact-eh3a.s b/ld/testsuite/ld-mips-elf/compact-eh3a.s new file mode 100644 index 0000000..3780cf2 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh3a.s @@ -0,0 +1,19 @@ + .cfi_sections .eh_frame_entry + .section .text.compact3a,"ax",@progbits + .globl compact3a + .cfi_startproc +compact3a: + lw $31,44($sp) + lw $fp,40($sp) + addiu $sp,$sp,48 + j $31 + nop + .cfi_endproc + .globl e22 + .cfi_startproc +__e22: + sw $2,24($fp) + lw $2,24($fp) + xori $3,$4,0x1 + andi $5,$6,0x00ff + .cfi_endproc diff --git a/ld/testsuite/ld-mips-elf/compact-eh4.d b/ld/testsuite/ld-mips-elf/compact-eh4.d new file mode 100644 index 0000000..4608ac8 --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh4.d @@ -0,0 +1,13 @@ +#name: MIPS Compact EH 4 +#source: compact-eh1.s +#source: compact-eh1a.s +#source: compact-eh1b.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -e main + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000005 ffffff[0-9a-f][0-9a-f] 00000024.* + 0x[0-9a-f]+ ffffff[0-9a-f][0-9a-f] 00000028 ffffff[0-9a-f][0-9a-f] 01555c5c.* + 0x[0-9a-f]+ ffffff[0-9a-f][0-9a-f] 01555c5c ffffff[0-9a-f][0-9a-f] 015d5d01.* diff --git a/ld/testsuite/ld-mips-elf/compact-eh5.d b/ld/testsuite/ld-mips-elf/compact-eh5.d new file mode 100644 index 0000000..7f0141f --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh5.d @@ -0,0 +1,10 @@ +#name: MIPS Compact EH 5 +#source: compact-eh2.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -e main + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000002 ffffff[0-9a-f]+ 00000025.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 015d5d01.* diff --git a/ld/testsuite/ld-mips-elf/compact-eh6.d b/ld/testsuite/ld-mips-elf/compact-eh6.d new file mode 100644 index 0000000..e81285a --- /dev/null +++ b/ld/testsuite/ld-mips-elf/compact-eh6.d @@ -0,0 +1,13 @@ +#name: MIPS Compact EH 6 +#source: compact-eh3.s +#source: compact-eh3a.s +#as: -EB +#readelf: -x .eh_frame_hdr +#ld: -EB -e main +# + +Hex dump of section \'\.eh_frame_hdr\': + + 0x[0-9a-f]+ 021b0000 00000005 ffffff[0-9a-f]+ 00000060.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 015d5d01 ffffff[0-9a-f]+ 00000029.* + 0x[0-9a-f]+ ffffff[0-9a-f]+ 00000035 ffffff[0-9a-f]+ 015d5d01.* diff --git a/ld/testsuite/ld-mips-elf/mips-elf.exp b/ld/testsuite/ld-mips-elf/mips-elf.exp index 63c55b8..7057e2f 100644 --- a/ld/testsuite/ld-mips-elf/mips-elf.exp +++ b/ld/testsuite/ld-mips-elf/mips-elf.exp @@ -432,6 +432,18 @@ if {$linux_gnu} { run_ld_link_tests $eh_frame5_test } +if {$embedded_elf} { + run_dump_test "compact-eh1" + run_dump_test "compact-eh2" + run_dump_test "compact-eh3" +} + +if {$linux_gnu} { + run_dump_test "compact-eh4" + run_dump_test "compact-eh5" + run_dump_test "compact-eh6" +} + run_dump_test "jaloverflow" run_dump_test "jaloverflow-2" run_dump_test "undefweak-overflow" [list [list as $abi_asflags(o32)] \ |