1 # This shell script emits a C file. -*- C -*-
2 # Copyright 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012
3 # Free Software Foundation, Inc.
5 # This file is part of the GNU Binutils.
7 # This program is free software; you can redistribute it and/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation; either version 3 of the License, or
10 # (at your option) any later version.
12 # This program is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with this program; if not, write to the Free Software
19 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
23 # This file is sourced from elf32.em, and defines extra powerpc64-elf
31 #include "elf64-ppc.h"
34 static asection *ppc_add_stub_section (const char *, asection *);
35 static void ppc_layout_sections_again (void);
37 static struct ppc64_elf_params params = { NULL,
38 &ppc_add_stub_section,
39 &ppc_layout_sections_again,
41 ${DEFAULT_PLT_STATIC_CHAIN-0}, -1, 0,
44 /* Fake input file for stubs. */
45 static lang_input_statement_type *stub_file;
46 static int stub_added = 0;
48 /* Whether we need to call ppc_layout_sections_again. */
49 static int need_laying_out = 0;
51 /* Whether to add ".foo" entries for each "foo" in a version script. */
52 static int dotsyms = 1;
54 /* Whether to run tls optimization. */
55 static int no_tls_opt = 0;
57 /* Whether to run opd optimization. */
58 static int no_opd_opt = 0;
60 /* Whether to run toc optimization. */
61 static int no_toc_opt = 0;
63 /* Whether to sort input toc and got sections. */
64 static int no_toc_sort = 0;
66 /* Set if individual PLT call stubs should be aligned. */
67 static int plt_stub_align = 0;
69 static asection *toc_section = 0;
71 /* This is called before the input files are opened. We create a new
72 fake input file to hold the stub sections. */
75 ppc_create_output_section_statements (void)
77 if (!(bfd_get_flavour (link_info.output_bfd) == bfd_target_elf_flavour
78 && elf_object_id (link_info.output_bfd) == PPC64_ELF_DATA))
81 link_info.wrap_char = '.';
83 stub_file = lang_add_input_file ("linker stubs",
84 lang_input_file_is_fake_enum,
86 stub_file->the_bfd = bfd_create ("linker stubs", link_info.output_bfd);
87 if (stub_file->the_bfd == NULL
88 || !bfd_set_arch_mach (stub_file->the_bfd,
89 bfd_get_arch (link_info.output_bfd),
90 bfd_get_mach (link_info.output_bfd)))
92 einfo ("%F%P: can not create BFD: %E\n");
96 stub_file->the_bfd->flags |= BFD_LINKER_CREATED;
97 ldlang_add_file (stub_file);
98 params.stub_bfd = stub_file->the_bfd;
99 if (!ppc64_elf_init_stub_bfd (&link_info, ¶ms))
100 einfo ("%F%P: can not init BFD: %E\n");
103 /* Move the input section statement at *U which happens to be on LIST
104 to be just before *TO. */
107 move_input_section (lang_statement_list_type *list,
108 lang_statement_union_type **u,
109 lang_statement_union_type **to)
111 lang_statement_union_type *s = *u;
112 asection *i = s->input_section.section;
115 /* Snip the input section from the statement list. If it was the
116 last statement, fix the list tail pointer. */
120 /* Add it back in the new position. */
121 s->header.next = *to;
123 if (list->tail == to)
124 list->tail = &s->header.next;
126 /* Trim I off the bfd map_head/map_tail doubly linked lists. */
129 (p != NULL ? p : i->output_section)->map_head.s = n;
130 (n != NULL ? n : i->output_section)->map_tail.s = p;
132 /* Add I back on in its new position. */
133 if (s->header.next->header.type == lang_input_section_enum)
135 n = s->header.next->input_section.section;
140 /* If the next statement is not an input section statement then
141 TO must point at the previous input section statement
142 header.next field. */
143 lang_input_section_type *prev = (lang_input_section_type *)
144 ((char *) to - offsetof (lang_statement_union_type, header.next));
146 ASSERT (prev->header.type == lang_input_section_enum);
152 (p != NULL ? p : i->output_section)->map_head.s = i;
153 (n != NULL ? n : i->output_section)->map_tail.s = i;
156 /* Sort input section statements in the linker script tree rooted at
157 LIST so that those whose owning bfd happens to have a section
158 called .init or .fini are placed first. Place any TOC sections
159 referenced by small TOC relocs next, with TOC sections referenced
160 only by bigtoc relocs last. */
163 sort_toc_sections (lang_statement_list_type *list,
164 lang_statement_union_type **ini,
165 lang_statement_union_type **small)
167 lang_statement_union_type *s, **u;
171 while ((s = *u) != NULL)
173 switch (s->header.type)
175 case lang_wild_statement_enum:
176 sort_toc_sections (&s->wild_statement.children, ini, small);
179 case lang_group_statement_enum:
180 sort_toc_sections (&s->group_statement.children, ini, small);
183 case lang_input_section_enum:
184 i = s->input_section.section;
185 /* Leave the stub_file .got where it is. We put the .got
187 if (i->owner == stub_file->the_bfd)
189 if (bfd_get_section_by_name (i->owner, ".init") != NULL
190 || bfd_get_section_by_name (i->owner, ".fini") != NULL)
192 if (ini != NULL && *ini != s)
194 move_input_section (list, u, ini);
196 small = &s->header.next;
197 ini = &s->header.next;
201 small = &s->header.next;
202 ini = &s->header.next;
205 else if (ini == NULL)
208 if (ppc64_elf_has_small_toc_reloc (i))
210 if (small != NULL && *small != s)
212 move_input_section (list, u, small);
213 small = &s->header.next;
216 small = &s->header.next;
218 else if (small == NULL)
230 prelim_size_sections (void)
232 if (expld.phase != lang_mark_phase_enum)
234 expld.phase = lang_mark_phase_enum;
235 expld.dataseg.phase = exp_dataseg_none;
236 one_lang_size_sections_pass (NULL, FALSE);
237 /* We must not cache anything from the preliminary sizing. */
238 lang_reset_memory_regions ();
243 ppc_before_allocation (void)
245 if (stub_file != NULL)
248 && !ppc64_elf_edit_opd (&link_info))
249 einfo ("%X%P: can not edit %s: %E\n", "opd");
251 if (ppc64_elf_tls_setup (&link_info)
254 /* Size the sections. This is premature, but we want to know the
255 TLS segment layout so that certain optimizations can be done. */
256 prelim_size_sections ();
258 if (!ppc64_elf_tls_optimize (&link_info))
259 einfo ("%X%P: TLS problem %E\n");
263 && !link_info.relocatable)
265 prelim_size_sections ();
267 if (!ppc64_elf_edit_toc (&link_info))
268 einfo ("%X%P: can not edit %s: %E\n", "toc");
273 lang_output_section_statement_type *toc_os;
275 toc_os = lang_output_section_find (".got");
277 sort_toc_sections (&toc_os->children, NULL, NULL);
281 gld${EMULATION_NAME}_before_allocation ();
284 struct hook_stub_info
286 lang_statement_list_type add;
287 asection *input_section;
290 /* Traverse the linker tree to find the spot where the stub goes. */
293 hook_in_stub (struct hook_stub_info *info, lang_statement_union_type **lp)
295 lang_statement_union_type *l;
298 for (; (l = *lp) != NULL; lp = &l->header.next)
300 switch (l->header.type)
302 case lang_constructors_statement_enum:
303 ret = hook_in_stub (info, &constructor_list.head);
308 case lang_output_section_statement_enum:
309 ret = hook_in_stub (info,
310 &l->output_section_statement.children.head);
315 case lang_wild_statement_enum:
316 ret = hook_in_stub (info, &l->wild_statement.children.head);
321 case lang_group_statement_enum:
322 ret = hook_in_stub (info, &l->group_statement.children.head);
327 case lang_input_section_enum:
328 if (l->input_section.section == info->input_section)
330 /* We've found our section. Insert the stub immediately
331 before its associated input section. */
332 *lp = info->add.head;
333 *(info->add.tail) = l;
338 case lang_data_statement_enum:
339 case lang_reloc_statement_enum:
340 case lang_object_symbols_statement_enum:
341 case lang_output_statement_enum:
342 case lang_target_statement_enum:
343 case lang_input_statement_enum:
344 case lang_assignment_statement_enum:
345 case lang_padding_statement_enum:
346 case lang_address_statement_enum:
347 case lang_fill_statement_enum:
359 /* Call-back for ppc64_elf_size_stubs. */
361 /* Create a new stub section, and arrange for it to be linked
362 immediately before INPUT_SECTION. */
365 ppc_add_stub_section (const char *stub_sec_name, asection *input_section)
369 asection *output_section;
370 lang_output_section_statement_type *os;
371 struct hook_stub_info info;
373 flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
374 | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_KEEP);
375 stub_sec = bfd_make_section_anyway_with_flags (stub_file->the_bfd,
376 stub_sec_name, flags);
378 || !bfd_set_section_alignment (stub_file->the_bfd, stub_sec,
379 plt_stub_align > 5 ? plt_stub_align : 5))
382 output_section = input_section->output_section;
383 os = lang_output_section_get (output_section);
385 info.input_section = input_section;
386 lang_list_init (&info.add);
387 lang_add_section (&info.add, stub_sec, NULL, os);
389 if (info.add.head == NULL)
393 if (hook_in_stub (&info, &os->children.head))
397 einfo ("%X%P: can not make stub section: %E\n");
402 /* Another call-back for ppc64_elf_size_stubs. */
405 ppc_layout_sections_again (void)
407 /* If we have changed sizes of the stub sections, then we need
408 to recalculate all the section offsets. This may mean we need to
409 add even more stubs. */
410 gld${EMULATION_NAME}_map_segments (TRUE);
412 if (!link_info.relocatable)
413 ppc64_elf_set_toc (&link_info, link_info.output_bfd);
415 need_laying_out = -1;
420 build_toc_list (lang_statement_union_type *statement)
422 if (statement->header.type == lang_input_section_enum)
424 asection *i = statement->input_section.section;
426 if (i->sec_info_type != SEC_INFO_TYPE_JUST_SYMS
427 && (i->flags & SEC_EXCLUDE) == 0
428 && i->output_section == toc_section)
430 if (!ppc64_elf_next_toc_section (&link_info, i))
431 einfo ("%X%P: linker script separates .got and .toc\n");
438 build_section_lists (lang_statement_union_type *statement)
440 if (statement->header.type == lang_input_section_enum)
442 asection *i = statement->input_section.section;
444 if (!((lang_input_statement_type *) i->owner->usrdata)->flags.just_syms
445 && (i->flags & SEC_EXCLUDE) == 0
446 && i->output_section != NULL
447 && i->output_section->owner == link_info.output_bfd)
449 if (!ppc64_elf_next_input_section (&link_info, i))
450 einfo ("%X%P: can not size stub section: %E\n");
456 /* Call the back-end function to set TOC base after we have placed all
459 gld${EMULATION_NAME}_after_allocation (void)
461 /* bfd_elf_discard_info just plays with data and debugging sections,
462 ie. doesn't affect code size, so we can delay resizing the
463 sections. It's likely we'll resize everything in the process of
465 if (bfd_elf_discard_info (link_info.output_bfd, &link_info))
468 /* If generating a relocatable output file, then we don't have any
470 if (stub_file != NULL && !link_info.relocatable)
472 int ret = ppc64_elf_setup_section_lists (&link_info);
474 einfo ("%X%P: can not size stub section: %E\n");
477 ppc64_elf_start_multitoc_partition (&link_info);
479 if (!params.no_multi_toc)
481 toc_section = bfd_get_section_by_name (link_info.output_bfd,
483 if (toc_section != NULL)
484 lang_for_each_statement (build_toc_list);
487 if (ppc64_elf_layout_multitoc (&link_info)
488 && !params.no_multi_toc
489 && toc_section != NULL)
490 lang_for_each_statement (build_toc_list);
492 ppc64_elf_finish_multitoc_partition (&link_info);
494 lang_for_each_statement (build_section_lists);
496 if (!ppc64_elf_check_init_fini (&link_info))
497 einfo ("%P: .init/.fini fragments use differing TOC pointers\n");
499 /* Call into the BFD backend to do the real work. */
500 if (!ppc64_elf_size_stubs (&link_info))
501 einfo ("%X%P: can not size stub section: %E\n");
505 if (need_laying_out != -1)
507 gld${EMULATION_NAME}_map_segments (need_laying_out);
509 if (!link_info.relocatable)
510 ppc64_elf_set_toc (&link_info, link_info.output_bfd);
515 /* Final emulation specific call. */
518 gld${EMULATION_NAME}_finish (void)
520 /* e_entry on PowerPC64 points to the function descriptor for
521 _start. If _start is missing, default to the first function
522 descriptor in the .opd section. */
523 entry_section = ".opd";
528 char *line, *endline;
530 if (params.emit_stub_syms < 0)
531 params.emit_stub_syms = 1;
532 if (!ppc64_elf_build_stubs (&link_info, config.stats ? &msg : NULL))
533 einfo ("%X%P: can not build stubs: %E\n");
536 for (line = msg; line != NULL; line = endline)
538 endline = strchr (line, '\n');
541 fprintf (stderr, "%s: %s\n", program_name, line);
548 ppc64_elf_restore_symbols (&link_info);
553 /* Add a pattern matching ".foo" for every "foo" in a version script.
555 The reason for doing this is that many shared library version
556 scripts export a selected set of functions or data symbols, forcing
561 . this; that; some; thing;
566 To make the above work for PowerPC64, we need to export ".this",
567 ".that" and so on, otherwise only the function descriptor syms are
568 exported. Lack of an exported function code sym may cause a
569 definition to be pulled in from a static library. */
571 static struct bfd_elf_version_expr *
572 gld${EMULATION_NAME}_new_vers_pattern (struct bfd_elf_version_expr *entry)
574 struct bfd_elf_version_expr *dot_entry;
579 || entry->pattern[0] == '.'
580 || (!entry->literal && entry->pattern[0] == '*'))
583 dot_entry = xmalloc (sizeof *dot_entry);
585 dot_entry->next = entry;
586 len = strlen (entry->pattern) + 2;
587 dot_pat = xmalloc (len);
589 memcpy (dot_pat + 1, entry->pattern, len - 1);
590 dot_entry->pattern = dot_pat;
591 dot_entry->script = 1;
596 /* Avoid processing the fake stub_file in vercheck, stat_needed and
597 check_needed routines. */
599 static void (*real_func) (lang_input_statement_type *);
601 static void ppc_for_each_input_file_wrapper (lang_input_statement_type *l)
608 ppc_lang_for_each_input_file (void (*func) (lang_input_statement_type *))
611 lang_for_each_input_file (&ppc_for_each_input_file_wrapper);
614 #define lang_for_each_input_file ppc_lang_for_each_input_file
618 if grep -q 'ld_elf32_spu_emulation' ldemul-list.h; then
620 /* Special handling for embedded SPU executables. */
621 extern bfd_boolean embedded_spu_file (lang_input_statement_type *, const char *);
622 static bfd_boolean gld${EMULATION_NAME}_load_symbols (lang_input_statement_type *);
625 ppc64_recognized_file (lang_input_statement_type *entry)
627 if (embedded_spu_file (entry, "-m64"))
630 return gld${EMULATION_NAME}_load_symbols (entry);
633 LDEMUL_RECOGNIZED_FILE=ppc64_recognized_file
636 # Define some shell vars to insert bits of code into the standard elf
637 # parse_args and list_options functions.
639 PARSE_AND_LIST_PROLOGUE=${PARSE_AND_LIST_PROLOGUE}'
640 #define OPTION_STUBGROUP_SIZE 321
641 #define OPTION_PLT_STATIC_CHAIN (OPTION_STUBGROUP_SIZE + 1)
642 #define OPTION_NO_PLT_STATIC_CHAIN (OPTION_PLT_STATIC_CHAIN + 1)
643 #define OPTION_PLT_THREAD_SAFE (OPTION_NO_PLT_STATIC_CHAIN + 1)
644 #define OPTION_NO_PLT_THREAD_SAFE (OPTION_PLT_THREAD_SAFE + 1)
645 #define OPTION_PLT_ALIGN (OPTION_NO_PLT_THREAD_SAFE + 1)
646 #define OPTION_NO_PLT_ALIGN (OPTION_PLT_ALIGN + 1)
647 #define OPTION_STUBSYMS (OPTION_NO_PLT_ALIGN + 1)
648 #define OPTION_NO_STUBSYMS (OPTION_STUBSYMS + 1)
649 #define OPTION_DOTSYMS (OPTION_NO_STUBSYMS + 1)
650 #define OPTION_NO_DOTSYMS (OPTION_DOTSYMS + 1)
651 #define OPTION_NO_TLS_OPT (OPTION_NO_DOTSYMS + 1)
652 #define OPTION_NO_TLS_GET_ADDR_OPT (OPTION_NO_TLS_OPT + 1)
653 #define OPTION_NO_OPD_OPT (OPTION_NO_TLS_GET_ADDR_OPT + 1)
654 #define OPTION_NO_TOC_OPT (OPTION_NO_OPD_OPT + 1)
655 #define OPTION_NO_MULTI_TOC (OPTION_NO_TOC_OPT + 1)
656 #define OPTION_NO_TOC_SORT (OPTION_NO_MULTI_TOC + 1)
657 #define OPTION_NON_OVERLAPPING_OPD (OPTION_NO_TOC_SORT + 1)
660 PARSE_AND_LIST_LONGOPTS=${PARSE_AND_LIST_LONGOPTS}'
661 { "stub-group-size", required_argument, NULL, OPTION_STUBGROUP_SIZE },
662 { "plt-static-chain", no_argument, NULL, OPTION_PLT_STATIC_CHAIN },
663 { "no-plt-static-chain", no_argument, NULL, OPTION_NO_PLT_STATIC_CHAIN },
664 { "plt-thread-safe", no_argument, NULL, OPTION_PLT_THREAD_SAFE },
665 { "no-plt-thread-safe", no_argument, NULL, OPTION_NO_PLT_THREAD_SAFE },
666 { "plt-align", optional_argument, NULL, OPTION_PLT_ALIGN },
667 { "no-plt-align", no_argument, NULL, OPTION_NO_PLT_ALIGN },
668 { "emit-stub-syms", no_argument, NULL, OPTION_STUBSYMS },
669 { "no-emit-stub-syms", no_argument, NULL, OPTION_NO_STUBSYMS },
670 { "dotsyms", no_argument, NULL, OPTION_DOTSYMS },
671 { "no-dotsyms", no_argument, NULL, OPTION_NO_DOTSYMS },
672 { "no-tls-optimize", no_argument, NULL, OPTION_NO_TLS_OPT },
673 { "no-tls-get-addr-optimize", no_argument, NULL, OPTION_NO_TLS_GET_ADDR_OPT },
674 { "no-opd-optimize", no_argument, NULL, OPTION_NO_OPD_OPT },
675 { "no-toc-optimize", no_argument, NULL, OPTION_NO_TOC_OPT },
676 { "no-multi-toc", no_argument, NULL, OPTION_NO_MULTI_TOC },
677 { "no-toc-sort", no_argument, NULL, OPTION_NO_TOC_SORT },
678 { "non-overlapping-opd", no_argument, NULL, OPTION_NON_OVERLAPPING_OPD },
681 PARSE_AND_LIST_OPTIONS=${PARSE_AND_LIST_OPTIONS}'
683 --stub-group-size=N Maximum size of a group of input sections that\n\
684 can be handled by one stub section. A negative\n\
685 value locates all stubs before their branches\n\
686 (with a group size of -N), while a positive\n\
687 value allows two groups of input sections, one\n\
688 before, and one after each stub section.\n\
689 Values of +/-1 indicate the linker should\n\
690 choose suitable defaults.\n"
693 --plt-static-chain PLT call stubs should load r11.${DEFAULT_PLT_STATIC_CHAIN- (default)}\n"
696 --no-plt-static-chain PLT call stubs should not load r11.${DEFAULT_PLT_STATIC_CHAIN+ (default)}\n"
699 --plt-thread-safe PLT call stubs with load-load barrier.\n"
702 --no-plt-thread-safe PLT call stubs without barrier.\n"
705 --plt-align [=<align>] Align PLT call stubs to fit cache lines.\n"
708 --no-plt-align Dont'\''t align individual PLT call stubs.\n"
711 --emit-stub-syms Label linker stubs with a symbol.\n"
714 --no-emit-stub-syms Don'\''t label linker stubs with a symbol.\n"
717 --dotsyms For every version pattern \"foo\" in a version\n\
718 script, add \".foo\" so that function code\n\
719 symbols are treated the same as function\n\
720 descriptor symbols. Defaults to on.\n"
723 --no-dotsyms Don'\''t do anything special in version scripts.\n"
726 --no-tls-optimize Don'\''t try to optimize TLS accesses.\n"
729 --no-tls-get-addr-optimize Don'\''t use a special __tls_get_addr call.\n"
732 --no-opd-optimize Don'\''t optimize the OPD section.\n"
735 --no-toc-optimize Don'\''t optimize the TOC section.\n"
738 --no-multi-toc Disallow automatic multiple toc sections.\n"
741 --no-toc-sort Don'\''t sort TOC and GOT sections.\n"
744 --non-overlapping-opd Canonicalize .opd, so that there are no\n\
745 overlapping .opd entries.\n"
749 PARSE_AND_LIST_ARGS_CASES=${PARSE_AND_LIST_ARGS_CASES}'
750 case OPTION_STUBGROUP_SIZE:
753 params.group_size = bfd_scan_vma (optarg, &end, 0);
755 einfo (_("%P%F: invalid number `%s'\''\n"), optarg);
759 case OPTION_PLT_STATIC_CHAIN:
760 params.plt_static_chain = 1;
763 case OPTION_NO_PLT_STATIC_CHAIN:
764 params.plt_static_chain = 0;
767 case OPTION_PLT_THREAD_SAFE:
768 params.plt_thread_safe = 1;
771 case OPTION_NO_PLT_THREAD_SAFE:
772 params.plt_thread_safe = 0;
775 case OPTION_PLT_ALIGN:
779 unsigned long val = strtoul (optarg, &end, 0);
781 einfo (_("%P%F: invalid --plt-align `%s'\''\n"), optarg);
782 plt_stub_align = val;
788 case OPTION_NO_PLT_ALIGN:
792 case OPTION_STUBSYMS:
793 params.emit_stub_syms = 1;
796 case OPTION_NO_STUBSYMS:
797 params.emit_stub_syms = 0;
804 case OPTION_NO_DOTSYMS:
808 case OPTION_NO_TLS_OPT:
812 case OPTION_NO_TLS_GET_ADDR_OPT:
813 params.no_tls_get_addr_opt = 1;
816 case OPTION_NO_OPD_OPT:
820 case OPTION_NO_TOC_OPT:
824 case OPTION_NO_MULTI_TOC:
825 params.no_multi_toc = 1;
828 case OPTION_NO_TOC_SORT:
832 case OPTION_NON_OVERLAPPING_OPD:
833 params.non_overlapping_opd = 1;
836 case OPTION_TRADITIONAL_FORMAT:
838 params.no_tls_get_addr_opt = 1;
841 params.no_multi_toc = 1;
843 params.plt_static_chain = 1;
847 # Put these extra ppc64elf routines in ld_${EMULATION_NAME}_emulation
849 LDEMUL_BEFORE_ALLOCATION=ppc_before_allocation
850 LDEMUL_AFTER_ALLOCATION=gld${EMULATION_NAME}_after_allocation
851 LDEMUL_FINISH=gld${EMULATION_NAME}_finish
852 LDEMUL_CREATE_OUTPUT_SECTION_STATEMENTS=ppc_create_output_section_statements
853 LDEMUL_NEW_VERS_PATTERN=gld${EMULATION_NAME}_new_vers_pattern