1 # This shell script emits a C file. -*- C -*-
2 # Copyright 1991, 1993, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 # 2004, 2005, 2006, 2007, 2008, 2009
4 # Free Software Foundation, Inc.
6 # This file is part of the GNU Binutils.
8 # This program is free software; you can redistribute it and/or modify
9 # it under the terms of the GNU General Public License as published by
10 # the Free Software Foundation; either version 3 of the License, or
11 # (at your option) any later version.
13 # This program is distributed in the hope that it will be useful,
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 # GNU General Public License for more details.
18 # You should have received a copy of the GNU General Public License
19 # along with this program; if not, write to the Free Software
20 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
24 # This file is sourced from elf32.em, and defines extra arm-elf
27 test -z "$TARGET2_TYPE" && TARGET2_TYPE="rel"
33 static char *thumb_entry_symbol = NULL;
34 static int byteswap_code = 0;
35 static int target1_is_rel = 0${TARGET1_IS_REL};
36 static char *target2_type = "${TARGET2_TYPE}";
37 static int fix_v4bx = 0;
38 static int use_blx = 0;
39 static bfd_arm_vfp11_fix vfp11_denorm_fix = BFD_ARM_VFP11_FIX_DEFAULT;
40 static int fix_cortex_a8 = -1;
41 static int no_enum_size_warning = 0;
42 static int no_wchar_size_warning = 0;
43 static int pic_veneer = 0;
46 gld${EMULATION_NAME}_before_parse (void)
48 #ifndef TARGET_ /* I.e., if not generic. */
49 ldfile_set_output_arch ("`echo ${ARCH}`", bfd_arch_unknown);
50 #endif /* not TARGET_ */
51 config.dynamic_link = ${DYNAMIC_LINK-TRUE};
52 config.has_shared = `if test -n "$GENERATE_SHLIB_SCRIPT" ; then echo TRUE ; else echo FALSE ; fi`;
56 arm_elf_before_allocation (void)
58 bfd_elf32_arm_set_byteswap_code (&link_info, byteswap_code);
60 /* Choose type of VFP11 erratum fix, or warn if specified fix is unnecessary
61 due to architecture version. */
62 bfd_elf32_arm_set_vfp11_fix (link_info.output_bfd, &link_info);
64 /* Auto-select Cortex-A8 erratum fix if it wasn't explicitly specified. */
65 bfd_elf32_arm_set_cortex_a8_fix (link_info.output_bfd, &link_info);
67 /* We should be able to set the size of the interworking stub section. We
68 can't do it until later if we have dynamic sections, though. */
69 if (! elf_hash_table (&link_info)->dynamic_sections_created)
71 /* Here we rummage through the found bfds to collect glue information. */
72 LANG_FOR_EACH_INPUT_STATEMENT (is)
74 /* Initialise mapping tables for code/data. */
75 bfd_elf32_arm_init_maps (is->the_bfd);
77 if (!bfd_elf32_arm_process_before_allocation (is->the_bfd,
79 || !bfd_elf32_arm_vfp11_erratum_scan (is->the_bfd, &link_info))
80 /* xgettext:c-format */
81 einfo (_("Errors encountered processing file %s"), is->filename);
84 /* We have seen it all. Allocate it, and carry on. */
85 bfd_elf32_arm_allocate_interworking_sections (& link_info);
88 /* Call the standard elf routine. */
89 gld${EMULATION_NAME}_before_allocation ();
92 /* Fake input file for stubs. */
93 static lang_input_statement_type *stub_file;
95 /* Whether we need to call gldarm_layout_sections_again. */
96 static int need_laying_out = 0;
98 /* Maximum size of a group of input sections that can be handled by
99 one stub section. A value of +/-1 indicates the bfd back-end
100 should use a suitable default size. */
101 static bfd_signed_vma group_size = 1;
103 struct hook_stub_info
105 lang_statement_list_type add;
106 asection *input_section;
109 /* Traverse the linker tree to find the spot where the stub goes. */
112 hook_in_stub (struct hook_stub_info *info, lang_statement_union_type **lp)
114 lang_statement_union_type *l;
117 for (; (l = *lp) != NULL; lp = &l->header.next)
119 switch (l->header.type)
121 case lang_constructors_statement_enum:
122 ret = hook_in_stub (info, &constructor_list.head);
127 case lang_output_section_statement_enum:
128 ret = hook_in_stub (info,
129 &l->output_section_statement.children.head);
134 case lang_wild_statement_enum:
135 ret = hook_in_stub (info, &l->wild_statement.children.head);
140 case lang_group_statement_enum:
141 ret = hook_in_stub (info, &l->group_statement.children.head);
146 case lang_input_section_enum:
147 if (l->input_section.section == info->input_section)
149 /* We've found our section. Insert the stub immediately
150 after its associated input section. */
151 *(info->add.tail) = l->header.next;
152 l->header.next = info->add.head;
157 case lang_data_statement_enum:
158 case lang_reloc_statement_enum:
159 case lang_object_symbols_statement_enum:
160 case lang_output_statement_enum:
161 case lang_target_statement_enum:
162 case lang_input_statement_enum:
163 case lang_assignment_statement_enum:
164 case lang_padding_statement_enum:
165 case lang_address_statement_enum:
166 case lang_fill_statement_enum:
178 /* Call-back for elf32_arm_size_stubs. */
180 /* Create a new stub section, and arrange for it to be linked
181 immediately after INPUT_SECTION. */
184 elf32_arm_add_stub_section (const char *stub_sec_name,
185 asection *input_section)
189 asection *output_section;
191 lang_output_section_statement_type *os;
192 struct hook_stub_info info;
194 flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
195 | SEC_HAS_CONTENTS | SEC_RELOC | SEC_IN_MEMORY | SEC_KEEP);
196 stub_sec = bfd_make_section_anyway_with_flags (stub_file->the_bfd,
197 stub_sec_name, flags);
198 if (stub_sec == NULL)
201 bfd_set_section_alignment (stub_file->the_bfd, stub_sec, 3);
203 output_section = input_section->output_section;
204 secname = bfd_get_section_name (output_section->owner, output_section);
205 os = lang_output_section_find (secname);
207 info.input_section = input_section;
208 lang_list_init (&info.add);
209 lang_add_section (&info.add, stub_sec, os);
211 if (info.add.head == NULL)
214 if (hook_in_stub (&info, &os->children.head))
218 einfo ("%X%P: can not make stub section: %E\n");
222 /* Another call-back for elf_arm_size_stubs. */
225 gldarm_layout_sections_again (void)
227 /* If we have changed sizes of the stub sections, then we need
228 to recalculate all the section offsets. This may mean we need to
229 add even more stubs. */
230 gld${EMULATION_NAME}_map_segments (TRUE);
231 need_laying_out = -1;
235 build_section_lists (lang_statement_union_type *statement)
237 if (statement->header.type == lang_input_section_enum)
239 asection *i = statement->input_section.section;
241 if (!((lang_input_statement_type *) i->owner->usrdata)->just_syms_flag
242 && (i->flags & SEC_EXCLUDE) == 0
243 && i->output_section != NULL
244 && i->output_section->owner == link_info.output_bfd)
245 elf32_arm_next_input_section (& link_info, i);
250 compare_output_sec_vma (const void *a, const void *b)
252 asection *asec = *(asection **) a, *bsec = *(asection **) b;
253 asection *aout = asec->output_section, *bout = bsec->output_section;
256 /* If there's no output section for some reason, compare equal. */
260 avma = aout->vma + asec->output_offset;
261 bvma = bout->vma + bsec->output_offset;
265 else if (avma < bvma)
272 gld${EMULATION_NAME}_after_allocation (void)
274 if (!link_info.relocatable)
276 /* Build a sorted list of input text sections, then use that to process
277 the unwind table index. */
278 unsigned int list_size = 10;
279 asection **sec_list = (asection **)
280 xmalloc (list_size * sizeof (asection *));
281 unsigned int sec_count = 0;
283 LANG_FOR_EACH_INPUT_STATEMENT (is)
285 bfd *abfd = is->the_bfd;
288 if ((abfd->flags & (EXEC_P | DYNAMIC)) != 0)
291 for (sec = abfd->sections; sec != NULL; sec = sec->next)
293 asection *out_sec = sec->output_section;
296 && elf_section_data (sec)
297 && elf_section_type (sec) == SHT_PROGBITS
298 && (elf_section_flags (sec) & SHF_EXECINSTR) != 0
299 && (sec->flags & SEC_EXCLUDE) == 0
300 && sec->sec_info_type != ELF_INFO_TYPE_JUST_SYMS
301 && out_sec != bfd_abs_section_ptr)
303 if (sec_count == list_size)
306 sec_list = (asection **)
307 xrealloc (sec_list, list_size * sizeof (asection *));
310 sec_list[sec_count++] = sec;
315 qsort (sec_list, sec_count, sizeof (asection *), &compare_output_sec_vma);
317 if (elf32_arm_fix_exidx_coverage (sec_list, sec_count, &link_info))
323 /* bfd_elf32_discard_info just plays with debugging sections,
324 ie. doesn't affect any code, so we can delay resizing the
325 sections. It's likely we'll resize everything in the process of
327 if (bfd_elf_discard_info (link_info.output_bfd, & link_info))
330 /* If generating a relocatable output file, then we don't
331 have to examine the relocs. */
332 if (stub_file != NULL && !link_info.relocatable)
334 int ret = elf32_arm_setup_section_lists (link_info.output_bfd, & link_info);
340 einfo ("%X%P: could not compute sections lists for stub generation: %E\n");
344 lang_for_each_statement (build_section_lists);
346 /* Call into the BFD backend to do the real work. */
347 if (! elf32_arm_size_stubs (link_info.output_bfd,
351 & elf32_arm_add_stub_section,
352 & gldarm_layout_sections_again))
354 einfo ("%X%P: cannot size stub section: %E\n");
360 if (need_laying_out != -1)
361 gld${EMULATION_NAME}_map_segments (need_laying_out);
365 gld${EMULATION_NAME}_finish (void)
367 struct bfd_link_hash_entry * h;
370 LANG_FOR_EACH_INPUT_STATEMENT (is)
372 /* Figure out where VFP11 erratum veneers (and the labels returning
373 from same) have been placed. */
374 bfd_elf32_arm_vfp11_fix_veneer_locations (is->the_bfd, &link_info);
378 if (! link_info.relocatable)
380 /* Now build the linker stubs. */
381 if (stub_file->the_bfd->sections != NULL)
383 if (! elf32_arm_build_stubs (& link_info))
384 einfo ("%X%P: can not build stubs: %E\n");
390 if (thumb_entry_symbol)
392 h = bfd_link_hash_lookup (link_info.hash, thumb_entry_symbol,
397 struct elf_link_hash_entry * eh;
399 if (!entry_symbol.name)
402 h = bfd_link_hash_lookup (link_info.hash, entry_symbol.name,
404 eh = (struct elf_link_hash_entry *)h;
405 if (!h || ELF_ST_TYPE(eh->type) != STT_ARM_TFUNC)
410 if (h != (struct bfd_link_hash_entry *) NULL
411 && (h->type == bfd_link_hash_defined
412 || h->type == bfd_link_hash_defweak)
413 && h->u.def.section->output_section != NULL)
415 static char buffer[32];
418 /* Special procesing is required for a Thumb entry symbol. The
419 bottom bit of its address must be set. */
420 val = (h->u.def.value
421 + bfd_get_section_vma (link_info.output_bfd,
422 h->u.def.section->output_section)
423 + h->u.def.section->output_offset);
427 /* Now convert this value into a string and store it in entry_symbol
428 where the lang_finish() function will pick it up. */
432 sprintf_vma (buffer + 2, val);
434 if (thumb_entry_symbol != NULL && entry_symbol.name != NULL
435 && entry_from_cmdline)
436 einfo (_("%P: warning: '--thumb-entry %s' is overriding '-e %s'\n"),
437 thumb_entry_symbol, entry_symbol.name);
438 entry_symbol.name = buffer;
441 einfo (_("%P: warning: cannot find thumb start symbol %s\n"),
445 /* This is a convenient point to tell BFD about target specific flags.
446 After the output has been created, but before inputs are read. */
448 arm_elf_create_output_section_statements (void)
450 if (strstr (bfd_get_target (link_info.output_bfd), "arm") == NULL)
452 /* The arm backend needs special fields in the output hash structure.
453 These will only be created if the output format is an arm format,
454 hence we do not support linking and changing output formats at the
455 same time. Use a link followed by objcopy to change output formats. */
456 einfo ("%F%X%P: error: Cannot change output format whilst linking ARM binaries.\n");
460 bfd_elf32_arm_set_target_relocs (link_info.output_bfd, &link_info,
462 target2_type, fix_v4bx, use_blx,
463 vfp11_denorm_fix, no_enum_size_warning,
464 no_wchar_size_warning,
465 pic_veneer, fix_cortex_a8);
467 stub_file = lang_add_input_file ("linker stubs",
468 lang_input_file_is_fake_enum,
470 stub_file->the_bfd = bfd_create ("linker stubs", link_info.output_bfd);
471 if (stub_file->the_bfd == NULL
472 || ! bfd_set_arch_mach (stub_file->the_bfd,
473 bfd_get_arch (link_info.output_bfd),
474 bfd_get_mach (link_info.output_bfd)))
476 einfo ("%X%P: can not create BFD %E\n");
480 stub_file->the_bfd->flags |= BFD_LINKER_CREATED;
481 ldlang_add_file (stub_file);
483 /* Also use the stub file for stubs placed in a single output section. */
484 bfd_elf32_arm_add_glue_sections_to_bfd (stub_file->the_bfd, &link_info);
485 bfd_elf32_arm_get_bfd_for_interworking (stub_file->the_bfd, &link_info);
488 /* Avoid processing the fake stub_file in vercheck, stat_needed and
489 check_needed routines. */
491 static void (*real_func) (lang_input_statement_type *);
493 static void arm_for_each_input_file_wrapper (lang_input_statement_type *l)
500 arm_lang_for_each_input_file (void (*func) (lang_input_statement_type *))
503 lang_for_each_input_file (&arm_for_each_input_file_wrapper);
506 #define lang_for_each_input_file arm_lang_for_each_input_file
510 # Define some shell vars to insert bits of code into the standard elf
511 # parse_args and list_options functions.
513 PARSE_AND_LIST_PROLOGUE='
514 #define OPTION_THUMB_ENTRY 301
515 #define OPTION_BE8 302
516 #define OPTION_TARGET1_REL 303
517 #define OPTION_TARGET1_ABS 304
518 #define OPTION_TARGET2 305
519 #define OPTION_FIX_V4BX 306
520 #define OPTION_USE_BLX 307
521 #define OPTION_VFP11_DENORM_FIX 308
522 #define OPTION_NO_ENUM_SIZE_WARNING 309
523 #define OPTION_PIC_VENEER 310
524 #define OPTION_FIX_V4BX_INTERWORKING 311
525 #define OPTION_STUBGROUP_SIZE 312
526 #define OPTION_NO_WCHAR_SIZE_WARNING 313
527 #define OPTION_FIX_CORTEX_A8 314
528 #define OPTION_NO_FIX_CORTEX_A8 315
531 PARSE_AND_LIST_SHORTOPTS=p
533 PARSE_AND_LIST_LONGOPTS='
534 { "no-pipeline-knowledge", no_argument, NULL, '\'p\''},
535 { "thumb-entry", required_argument, NULL, OPTION_THUMB_ENTRY},
536 { "be8", no_argument, NULL, OPTION_BE8},
537 { "target1-rel", no_argument, NULL, OPTION_TARGET1_REL},
538 { "target1-abs", no_argument, NULL, OPTION_TARGET1_ABS},
539 { "target2", required_argument, NULL, OPTION_TARGET2},
540 { "fix-v4bx", no_argument, NULL, OPTION_FIX_V4BX},
541 { "fix-v4bx-interworking", no_argument, NULL, OPTION_FIX_V4BX_INTERWORKING},
542 { "use-blx", no_argument, NULL, OPTION_USE_BLX},
543 { "vfp11-denorm-fix", required_argument, NULL, OPTION_VFP11_DENORM_FIX},
544 { "no-enum-size-warning", no_argument, NULL, OPTION_NO_ENUM_SIZE_WARNING},
545 { "pic-veneer", no_argument, NULL, OPTION_PIC_VENEER},
546 { "stub-group-size", required_argument, NULL, OPTION_STUBGROUP_SIZE },
547 { "no-wchar-size-warning", no_argument, NULL, OPTION_NO_WCHAR_SIZE_WARNING},
548 { "fix-cortex-a8", no_argument, NULL, OPTION_FIX_CORTEX_A8 },
549 { "no-fix-cortex-a8", no_argument, NULL, OPTION_NO_FIX_CORTEX_A8 },
552 PARSE_AND_LIST_OPTIONS='
553 fprintf (file, _(" --thumb-entry=<sym> Set the entry point to be Thumb symbol <sym>\n"));
554 fprintf (file, _(" --be8 Output BE8 format image\n"));
555 fprintf (file, _(" --target1-rel Interpret R_ARM_TARGET1 as R_ARM_REL32\n"));
556 fprintf (file, _(" --target1-abs Interpret R_ARM_TARGET1 as R_ARM_ABS32\n"));
557 fprintf (file, _(" --target2=<type> Specify definition of R_ARM_TARGET2\n"));
558 fprintf (file, _(" --fix-v4bx Rewrite BX rn as MOV pc, rn for ARMv4\n"));
559 fprintf (file, _(" --fix-v4bx-interworking Rewrite BX rn branch to ARMv4 interworking veneer\n"));
560 fprintf (file, _(" --use-blx Enable use of BLX instructions\n"));
561 fprintf (file, _(" --vfp11-denorm-fix Specify how to fix VFP11 denorm erratum\n"));
562 fprintf (file, _(" --no-enum-size-warning Don'\''t warn about objects with incompatible\n"
564 fprintf (file, _(" --no-wchar-size-warning Don'\''t warn about objects with incompatible"
565 " wchar_t sizes\n"));
566 fprintf (file, _(" --pic-veneer Always generate PIC interworking veneers\n"));
568 --stub-group-size=N Maximum size of a group of input sections that can be\n\
569 handled by one stub section. A negative value\n\
570 locates all stubs after their branches (with a\n\
571 group size of -N), while a positive value allows\n\
572 two groups of input sections, one before, and one\n\
573 after each stub section. Values of +/-1 indicate\n\
574 the linker should choose suitable defaults.\n"
576 fprintf (file, _(" --[no-]fix-cortex-a8 Disable/enable Cortex-A8 Thumb-2 branch erratum fix\n"));
579 PARSE_AND_LIST_ARGS_CASES='
581 /* Only here for backwards compatibility. */
584 case OPTION_THUMB_ENTRY:
585 thumb_entry_symbol = optarg;
592 case OPTION_TARGET1_REL:
596 case OPTION_TARGET1_ABS:
601 target2_type = optarg;
604 case OPTION_FIX_V4BX:
608 case OPTION_FIX_V4BX_INTERWORKING:
616 case OPTION_VFP11_DENORM_FIX:
617 if (strcmp (optarg, "none") == 0)
618 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_NONE;
619 else if (strcmp (optarg, "scalar") == 0)
620 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_SCALAR;
621 else if (strcmp (optarg, "vector") == 0)
622 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_VECTOR;
624 einfo (_("Unrecognized VFP11 fix type '\''%s'\''.\n"), optarg);
627 case OPTION_NO_ENUM_SIZE_WARNING:
628 no_enum_size_warning = 1;
631 case OPTION_NO_WCHAR_SIZE_WARNING:
632 no_wchar_size_warning = 1;
635 case OPTION_PIC_VENEER:
639 case OPTION_STUBGROUP_SIZE:
643 group_size = bfd_scan_vma (optarg, &end, 0);
645 einfo (_("%P%F: invalid number `%s'\''\n"), optarg);
649 case OPTION_FIX_CORTEX_A8:
653 case OPTION_NO_FIX_CORTEX_A8:
658 # We have our own before_allocation etc. functions, but they call
659 # the standard routines, so give them a different name.
660 LDEMUL_BEFORE_ALLOCATION=arm_elf_before_allocation
661 LDEMUL_AFTER_ALLOCATION=gld${EMULATION_NAME}_after_allocation
662 LDEMUL_CREATE_OUTPUT_SECTION_STATEMENTS=arm_elf_create_output_section_statements
664 # Replace the elf before_parse function with our own.
665 LDEMUL_BEFORE_PARSE=gld"${EMULATION_NAME}"_before_parse
667 # Call the extra arm-elf function
668 LDEMUL_FINISH=gld${EMULATION_NAME}_finish