forked from Imagelibrary/binutils-gdb
Link with mixed IR/non-IR objects
* 2 kinds of object files
o non-IR object file has
* non-IR sections
o IR object file has
* IR sections
* non-IR sections
* The output of "ld -r" with mixed IR/non-IR objects should work with:
o Compilers/linkers with IR support.
o Compilers/linkers without IR support.
* Add the mixed object file which has
o IR sections
o non-IR sections:
* Object codes from IR sections.
* Object codes from non-IR object files.
o Object-only section:
* With section name ".gnu_object_only" and SHT_GNU_OBJECT_ONLY type
on ELF:
https://gitlab.com/x86-psABIs/Linux-ABI
#define SHT_GNU_OBJECT_ONLY 0x6ffffff8 /* Object only */
* Contain non-IR object file.
* Input is discarded after link.
* Linker action:
o Classify each input object file:
* If there is a ".gnu_object_only" section, it is a mixed object file.
* If there is a IR section, it is an IR object file.
* Otherwise, it is a non-IR object file.
o Relocatable non-IR link:
* Prepare for an object-only output.
* Prepare for a regular output.
* For each mixed object file:
* Add IR and non-IR sections to the regular output.
* For object-only section:
* Extract object only file.
* Add it to the object-only output.
* Discard object-only section.
* For each IR object file:
* Add IR and non-IR sections to the regular output.
* For each non-IR object file:
* Add non-IR sections to the regular output.
* Add non-IR sections to the object-only output.
* Final output:
* If there are IR objects, non-IR objects and the object-only
output isn't empty:
* Put the object-only output into the object-only section.
* Add the object-only section to the regular output.
* Remove the object-only output.
o Normal link and relocatable IR link:
* Prepare for output.
* IR link:
* For each mixed object file:
* Compile and add IR sections to the output.
* Discard non-IR sections.
* Object-only section:
* Extract object only file.
* Add it to the output.
* Discard object-only section.
* For each IR object file:
* Compile and add IR sections to the output.
* Discard non-IR sections.
* For each non-IR object file:
* Add non-IR sections to the output.
* Non-IR link:
* For each mixed object file:
* Add non-IR sections to the output.
* Discard IR sections and object-only section.
* For each IR object file:
* Add non-IR sections to the output.
* Discard IR sections.
* For each non-IR object file:
* Add non-IR sections to the output.
This is useful for Linux kernel build with LTO.
bfd/
PR ld/12291
PR ld/12430
PR ld/13298
* bfd.c (bfd_lto_object_type): Add lto_mixed_object.
(bfd): Add object_only_section.
(bfd_group_signature): New.
* elf.c (special_sections_g): Add .gnu_object_only.
* format.c: Include "plugin-api.h" and "plugin.h" if
BFD_SUPPORTS_PLUGINS is defined.
(bfd_set_lto_type): Set type to lto_mixed_object for
GNU_OBJECT_ONLY_SECTION_NAME section.
(bfd_check_format_matches): Don't check the plugin target twice
if the plugin target is explicitly specified.
* opncls.c (bfd_extract_object_only_section): New.
* plugin.c (bfd_plugin_fake_text_section): New.
(bfd_plugin_fake_data_section): Likewise.
(bfd_plugin_fake_bss_section): Likewise.
(bfd_plugin_fake_common_section): Likewise.
(bfd_plugin_get_symbols_in_object_only): Likewise.
* plugin.c (add_symbols): Call
bfd_plugin_get_symbols_in_object_only and count
plugin_data->object_only_nsyms.
(bfd_plugin_get_symtab_upper_bound): Count
plugin_data->object_only_nsyms.
bfd_plugin_get_symbols_in_object_only and add symbols from
object only section.
(bfd_plugin_canonicalize_symtab): Remove fake_section,
fake_data_section, fake_bss_section and fake_common_section.
Set udata.p to NULL. Use bfd_plugin_fake_text_section,
bfd_plugin_fake_data_section, bfd_plugin_fake_bss_section and
bfd_plugin_fake_common_section.
Set udata.p to NULL.
* plugin.h (plugin_data_struct): Add object_only_nsyms and
object_only_syms.
* section.c (GNU_OBJECT_ONLY_SECTION_NAME): New.
* bfd-in2.h: Regenerated.
binutils/
PR ld/12291
PR ld/12430
PR ld/13298
* objcopy.c (group_signature): Removed.
(is_strip_section): Replace group_signature with
bfd_group_signature.
(setup_section): Likewise.
* readelf.c (get_os_specific_section_type_name): Handle
SHT_GNU_OBJECT_ONLY.
gas/
PR ld/12291
PR ld/12430
PR ld/13298
* testsuite/gas/elf/section9.s: Add the .gnu_object_only test.
* testsuite/gas/elf/section9.d: Updated.
include/
PR ld/12291
PR ld/12430
PR ld/13298
* elf/common.h (SHT_GNU_OBJECT_ONLY): New.
ld/
PR ld/12291
PR ld/12430
PR ld/13298
* ld.h (ld_config_type): Add emit_gnu_object_only and
emitting_gnu_object_only.
* ldelf.c (orphan_init_done): Make it file scope.
(ldelf_place_orphan): Rename hold to orig_hold. Initialize hold
from orig_hold at run-time.
(ldelf_finish): New.
* ldelf.h (ldelf_finish): New.
* ldexp.c (ldexp_init): Take a bfd_boolean argument to supprt
object-only output.
(ldexp_finish): Likewise.
* ldexp.h (ldexp_init): Take a bfd_boolean argument.
(ldexp_finish): Likewise.
* ldfile.c (ldfile_try_open_bfd): Call
cmdline_check_object_only_section.
* ldlang.c: Include "ldwrite.h" and elf-bfd.h.
* ldlang.c (cmdline_object_only_file_list): New.
(cmdline_object_only_archive_list): Likewise.
(cmdline_temp_object_only_list): Likewise.
(cmdline_lists_init): Likewise.
(cmdline_list_new): Likewise.
(cmdline_list_append): Likewise.
(print_cmdline_list): Likewise.
(cmdline_on_object_only_archive_list_p): Likewise.
(cmdline_object_only_list_append): Likewise.
(cmdline_get_object_only_input_files): Likewise.
(cmdline_arg): Likewise.
(setup_section): Likewise.
(copy_section): Likewise.
(cmdline_fopen_temp): Likewise.
(cmdline_add_object_only_section): Likewise.
(cmdline_emit_object_only_section): Likewise.
(cmdline_extract_object_only_section): Likewise.
(cmdline_check_object_only_section): Likewise.
(cmdline_remove_object_only_files): Likewise.
(lang_init): Take a bfd_boolean argument to supprt object-only
output. Call cmdline_lists_init.
(load_symbols): Call cmdline_on_object_only_archive_list_p
to check if an archive member should be loaded.
(lang_process): Handle object-only link.
* ldlang.h (lang_init): Take a bfd_boolean argument.
(cmdline_enum_type): New.
(cmdline_header_type): Likewise.
(cmdline_file_type): Likewise.
(cmdline_bfd_type): Likewise.
(cmdline_union_type): Likewise.
(cmdline_list_type): Likewise.
(cmdline_emit_object_only_section): Likewise.
(cmdline_check_object_only_section): Likewise.
(cmdline_remove_object_only_files): Likewise.
* ldmain.c (main): Call xatexit with
cmdline_remove_object_only_files. Pass FALSE to lang_init,
ldexp_init and ldexp_finish. Use ld_parse_linker_script.
Set link_info.output_bfd to NULL after close. Call
cmdline_emit_object_only_section if needed.
(add_archive_element): Call cmdline_check_object_only_section.
(ld_parse_linker_script): New.
* ldmain.h (ld_parse_linker_script): New.
* plugin.c (plugin_maybe_claim): Call
cmdline_check_object_only_section on claimed IR files.
* scripttempl/elf.sc: Also discard .gnu_object_only sections.
* scripttempl/elf64hppa.sc: Likewise.
* scripttempl/elfxtensa.sc: Likewise.
* scripttempl/mep.sc: Likewise.
* scripttempl/pe.sc: Likewise.
* scripttempl/pep.sc: Likewise.
* emultempl/aarch64elf.em (gld${EMULATION_NAME}_finish): Replace
finish_default with ldelf_finish.
* emultempl/alphaelf.em (alpha_finish): Likewise.
* emultempl/avrelf.em (avr_finish): Likewise.
* emultempl/elf.em (ld_${EMULATION_NAME}_emulation): Likewise.
* emultempl/ppc32elf.em (ppc_finish): Likewise.
* emultempl/ppc64elf.em (gld${EMULATION_NAME}_finish): Likewise.
* emultempl/spuelf.em (gld${EMULATION_NAME}_finish): Likewise.
* testsuite/ld-plugin/lto-10.out: New file.
* testsuite/ld-plugin/lto-10a.c: Likewise.
* testsuite/ld-plugin/lto-10b.c: Likewise.
* testsuite/ld-plugin/lto-10r.d: Likewise.
* testsuite/ld-plugin/lto-4.out: Likewise.
* testsuite/ld-plugin/lto-4a.c: Likewise.
* testsuite/ld-plugin/lto-4b.c: Likewise.
* testsuite/ld-plugin/lto-4c.c: Likewise.
* testsuite/ld-plugin/lto-4r-a.d: Likewise.
* testsuite/ld-plugin/lto-4r-b.d: Likewise.
* testsuite/ld-plugin/lto-4r-c.d: Likewise.
* testsuite/ld-plugin/lto-4r-d.d: Likewise.
* testsuite/ld-plugin/lto.exp (lto_link_tests): Prepare for
"LTO 4[acd]", "lto-4r-[abcd]" and "LTO 10" tests.
(lto_run_tests): Add "LTO 4[acd]" and "LTO 10" tests.
Build liblto-4.a. Run "lto-4r-[abcd]" tests.
Run lto-10r and create tmpdir/lto-10.o.
Add test for nm on mixed LTO/non-LTO object.
Signed-off-by: H.J. Lu <hjl.tools@gmail.com>
355 lines
9.9 KiB
C
355 lines
9.9 KiB
C
/* ld.h -- general linker header file
|
|
Copyright (C) 1991-2025 Free Software Foundation, Inc.
|
|
|
|
This file is part of the GNU Binutils.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
|
|
MA 02110-1301, USA. */
|
|
|
|
#ifndef LD_H
|
|
#define LD_H
|
|
|
|
#ifndef SEEK_CUR
|
|
#define SEEK_CUR 1
|
|
#endif
|
|
#ifndef SEEK_END
|
|
#define SEEK_END 2
|
|
#endif
|
|
|
|
#ifndef ENABLE_NLS
|
|
/* The Solaris version of locale.h always includes libintl.h. If we have
|
|
been configured with --disable-nls then ENABLE_NLS will not be defined
|
|
and the dummy definitions of bindtextdomain (et al) below will conflict
|
|
with the defintions in libintl.h. So we define these values to prevent
|
|
the bogus inclusion of libintl.h. */
|
|
# define _LIBINTL_H
|
|
# define _LIBGETTEXT_H
|
|
#endif
|
|
#include <locale.h>
|
|
|
|
#ifdef ENABLE_NLS
|
|
# include <libintl.h>
|
|
# define _(String) gettext (String)
|
|
# ifdef gettext_noop
|
|
# define N_(String) gettext_noop (String)
|
|
# else
|
|
# define N_(String) (String)
|
|
# endif
|
|
#else
|
|
# define gettext(Msgid) (Msgid)
|
|
# define dgettext(Domainname, Msgid) (Msgid)
|
|
# define dcgettext(Domainname, Msgid, Category) (Msgid)
|
|
# define ngettext(Msgid1, Msgid2, n) \
|
|
(n == 1 ? Msgid1 : Msgid2)
|
|
# define dngettext(Domainname, Msgid1, Msgid2, n) \
|
|
(n == 1 ? Msgid1 : Msgid2)
|
|
# define dcngettext(Domainname, Msgid1, Msgid2, n, Category) \
|
|
(n == 1 ? Msgid1 : Msgid2)
|
|
# define textdomain(Domainname) do {} while (0)
|
|
# define bindtextdomain(Domainname, Dirname) do {} while (0)
|
|
# define _(String) (String)
|
|
# define N_(String) (String)
|
|
#endif
|
|
|
|
/* Look in this environment name for the linker to pretend to be */
|
|
#define EMULATION_ENVIRON "LDEMULATION"
|
|
/* If in there look for the strings: */
|
|
|
|
/* Look in this variable for a target format */
|
|
#define TARGET_ENVIRON "GNUTARGET"
|
|
|
|
/* Input sections which are put in a section of this name are actually
|
|
discarded. */
|
|
#define DISCARD_SECTION_NAME "/DISCARD/"
|
|
|
|
/* A file name list. */
|
|
typedef struct name_list
|
|
{
|
|
const char *name;
|
|
struct name_list *next;
|
|
}
|
|
name_list;
|
|
|
|
typedef enum {sort_none, sort_ascending, sort_descending} sort_order;
|
|
|
|
/* A wildcard specification. */
|
|
|
|
typedef enum
|
|
{
|
|
none, by_name, by_alignment, by_name_alignment, by_alignment_name,
|
|
by_none, by_init_priority
|
|
} sort_type;
|
|
|
|
extern sort_type sort_section;
|
|
|
|
struct wildcard_spec
|
|
{
|
|
const char * name;
|
|
struct name_list * exclude_name_list;
|
|
struct flag_info * section_flag_list;
|
|
size_t namelen;
|
|
size_t prefixlen;
|
|
size_t suffixlen;
|
|
sort_type sorted;
|
|
bool reversed;
|
|
};
|
|
|
|
struct wildcard_list
|
|
{
|
|
struct wildcard_list *next;
|
|
struct wildcard_spec spec;
|
|
};
|
|
|
|
#define BYTE_SIZE (1)
|
|
#define SHORT_SIZE (2)
|
|
#define LONG_SIZE (4)
|
|
#define QUAD_SIZE (8)
|
|
|
|
enum endian_enum { ENDIAN_UNSET = 0, ENDIAN_BIG, ENDIAN_LITTLE };
|
|
|
|
typedef struct
|
|
{
|
|
/* 1 => assign space to common symbols even if `relocatable_output'. */
|
|
bool force_common_definition;
|
|
|
|
/* If TRUE, build MIPS embedded PIC relocation tables in the output
|
|
file. */
|
|
bool embedded_relocs;
|
|
|
|
/* If TRUE, force generation of a file with a .exe file. */
|
|
bool force_exe_suffix;
|
|
|
|
/* If TRUE, generate a cross reference report. */
|
|
bool cref;
|
|
|
|
/* If TRUE (which is the default), warn about mismatched input
|
|
files. */
|
|
bool warn_mismatch;
|
|
|
|
/* Warn on attempting to open an incompatible library during a library
|
|
search. */
|
|
bool warn_search_mismatch;
|
|
|
|
/* If non-zero check section addresses, once computed,
|
|
for overlaps. Relocatable links only check when this is > 0. */
|
|
signed char check_section_addresses;
|
|
|
|
/* If TRUE allow the linking of input files in an unknown architecture
|
|
assuming that the user knows what they are doing. This was the old
|
|
behaviour of the linker. The new default behaviour is to reject such
|
|
input files. */
|
|
bool accept_unknown_input_arch;
|
|
|
|
/* Name of the import library to generate. */
|
|
char *out_implib_filename;
|
|
|
|
/* If TRUE we'll just print the default output on stdout. */
|
|
bool print_output_format;
|
|
|
|
/* If set, display the target memory usage (per memory region). */
|
|
bool print_memory_usage;
|
|
|
|
/* Should we force section groups to be resolved? Controlled with
|
|
--force-group-allocation on the command line or FORCE_GROUP_ALLOCATION
|
|
in the linker script. */
|
|
bool force_group_allocation;
|
|
|
|
/* Big or little endian as set on command line. */
|
|
enum endian_enum endian;
|
|
|
|
/* Name of runtime interpreter to invoke. */
|
|
char *interpreter;
|
|
|
|
/* Name to give runtime library from the -soname argument. */
|
|
char *soname;
|
|
|
|
/* Runtime library search path from the -rpath argument. */
|
|
char *rpath;
|
|
|
|
/* Link time runtime library search path from the -rpath-link
|
|
argument. */
|
|
char *rpath_link;
|
|
|
|
/* Name of shared object whose symbol table should be filtered with
|
|
this shared object. From the --filter option. */
|
|
char *filter_shlib;
|
|
|
|
/* Name of shared object for whose symbol table this shared object
|
|
is an auxiliary filter. From the --auxiliary option. */
|
|
char **auxiliary_filters;
|
|
|
|
/* A version symbol to be applied to the symbol names found in the
|
|
.exports sections. */
|
|
char *version_exports_section;
|
|
|
|
/* Default linker script. */
|
|
char *default_script;
|
|
|
|
/* Linker script fragment provided by the --section-order command line option. */
|
|
char *section_ordering_file;
|
|
} args_type;
|
|
|
|
extern args_type command_line;
|
|
|
|
typedef int token_code_type;
|
|
|
|
/* Different ways we can handle orphan sections. */
|
|
|
|
enum orphan_handling_enum
|
|
{
|
|
/* The classic strategy, find a suitable section to place the orphan
|
|
into. */
|
|
orphan_handling_place = 0,
|
|
|
|
/* Discard any orphan sections as though they were assign to the section
|
|
/DISCARD/. */
|
|
orphan_handling_discard,
|
|
|
|
/* Find somewhere to place the orphan section, as with
|
|
ORPHAN_HANDLING_PLACE, but also issue a warning. */
|
|
orphan_handling_warn,
|
|
|
|
/* Issue a fatal error if any orphan sections are found. */
|
|
orphan_handling_error,
|
|
};
|
|
|
|
typedef struct
|
|
{
|
|
bool magic_demand_paged;
|
|
bool make_executable;
|
|
|
|
/* If TRUE, -shared is supported. */
|
|
/* ??? A better way to do this is perhaps to define this in the
|
|
ld_emulation_xfer_struct since this is really a target dependent
|
|
parameter. */
|
|
bool has_shared;
|
|
|
|
/* If TRUE, build constructors. */
|
|
bool build_constructors;
|
|
|
|
/* If TRUE, warn about any constructors. */
|
|
bool warn_constructors;
|
|
|
|
/* If TRUE, warn about merging common symbols with others. */
|
|
bool warn_common;
|
|
|
|
/* If TRUE, only warn once about a particular undefined symbol. */
|
|
bool warn_once;
|
|
|
|
/* How should we deal with orphan sections. */
|
|
enum orphan_handling_enum orphan_handling;
|
|
|
|
/* If TRUE, warn if multiple global-pointers are needed (Alpha
|
|
only). */
|
|
bool warn_multiple_gp;
|
|
|
|
/* If TRUE, warn if the starting address of an output section
|
|
changes due to the alignment of an input section. */
|
|
bool warn_section_align;
|
|
|
|
/* If TRUE, warning messages are fatal. */
|
|
bool fatal_warnings;
|
|
|
|
/* If TRUE, warning and error messages are ignored. */
|
|
bool no_warnings;
|
|
|
|
sort_order sort_common;
|
|
|
|
bool text_read_only;
|
|
|
|
bool stats;
|
|
|
|
/* If set, orphan input sections will be mapped to separate output
|
|
sections. */
|
|
bool unique_orphan_sections;
|
|
|
|
/* If set, only search library directories explicitly selected
|
|
on the command line. */
|
|
bool only_cmd_line_lib_dirs;
|
|
|
|
/* If set, numbers and absolute symbols are simply treated as
|
|
numbers everywhere. */
|
|
bool sane_expr;
|
|
|
|
/* If set, code and non-code sections should never be in one segment. */
|
|
bool separate_code;
|
|
|
|
/* If set, generation of ELF section header should be suppressed. */
|
|
bool no_section_header;
|
|
|
|
/* The rpath separation character. Usually ':'. */
|
|
char rpath_separator;
|
|
|
|
char *map_filename;
|
|
FILE *map_file;
|
|
|
|
char *dependency_file;
|
|
|
|
unsigned int split_by_reloc;
|
|
bfd_size_type split_by_file;
|
|
|
|
/* The size of the hash table to use. */
|
|
unsigned long hash_table_size;
|
|
|
|
/* If set, store plugin intermediate files permanently. */
|
|
bool plugin_save_temps;
|
|
|
|
/* If set, if the .gnu_object_only section should be created. */
|
|
bool emit_gnu_object_only;
|
|
|
|
/* If set, if the .gnu_object_only section is being created. */
|
|
bool emitting_gnu_object_only;
|
|
|
|
/* If set, print discarded sections in map file output. */
|
|
bool print_map_discarded;
|
|
|
|
/* If set, print local symbols in map file output. */
|
|
bool print_map_locals;
|
|
|
|
/* If set, emit the names and types of statically-linked variables
|
|
into the CTF. */
|
|
bool ctf_variables;
|
|
|
|
/* If set, share only duplicated types in CTF, rather than sharing
|
|
all types that are not in conflict. */
|
|
bool ctf_share_duplicated;
|
|
|
|
/* Compress DWARF debug sections. */
|
|
enum compressed_debug_section_type compress_debug;
|
|
} ld_config_type;
|
|
|
|
extern ld_config_type config;
|
|
|
|
extern FILE * saved_script_handle;
|
|
extern bool force_make_executable;
|
|
extern bool in_section_ordering;
|
|
|
|
extern int yyparse (void);
|
|
extern void add_cref (const char *, bfd *, asection *, bfd_vma);
|
|
extern bool handle_asneeded_cref (bfd *, enum notice_asneeded_action);
|
|
extern void output_cref (FILE *);
|
|
extern void check_nocrossrefs (void);
|
|
extern void ld_abort (const char *, int, const char *) ATTRIBUTE_NORETURN;
|
|
|
|
/* If gcc >= 2.6, we can give a function name, too. */
|
|
#if __GNUC__ < 2 || (__GNUC__ == 2 && __GNUC_MINOR__ < 6)
|
|
#define __PRETTY_FUNCTION__ NULL
|
|
#endif
|
|
|
|
#undef abort
|
|
#define abort() ld_abort (__FILE__, __LINE__, __PRETTY_FUNCTION__)
|
|
|
|
#endif
|