1 # This shell script emits a C file. -*- C -*-
2 # Copyright (C) 1991-2015 Free Software Foundation, Inc.
4 # This file is part of the GNU Binutils.
6 # This program is free software; you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation; either version 3 of the License, or
9 # (at your option) any later version.
11 # This program is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 # GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License
17 # along with this program; if not, write to the Free Software
18 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
22 # This file is sourced from elf32.em, and defines extra arm-elf
25 test -z "$TARGET2_TYPE" && TARGET2_TYPE="rel"
31 static char * thumb_entry_symbol = NULL;
32 static int byteswap_code = 0;
33 static int target1_is_rel = 0${TARGET1_IS_REL};
34 static char * target2_type = "${TARGET2_TYPE}";
35 static int fix_v4bx = 0;
36 static int use_blx = 0;
37 static bfd_arm_vfp11_fix vfp11_denorm_fix = BFD_ARM_VFP11_FIX_DEFAULT;
38 static bfd_arm_stm32l4xx_fix stm32l4xx_fix = BFD_ARM_STM32L4XX_FIX_NONE;
39 static int fix_cortex_a8 = -1;
40 static int no_enum_size_warning = 0;
41 static int no_wchar_size_warning = 0;
42 static int pic_veneer = 0;
43 static int merge_exidx_entries = -1;
44 static int fix_arm1176 = 1;
47 gld${EMULATION_NAME}_before_parse (void)
49 #ifndef TARGET_ /* I.e., if not generic. */
50 ldfile_set_output_arch ("`echo ${ARCH}`", bfd_arch_unknown);
51 #endif /* not TARGET_ */
52 input_flags.dynamic = ${DYNAMIC_LINK-TRUE};
53 config.has_shared = `if test -n "$GENERATE_SHLIB_SCRIPT" ; then echo TRUE ; else echo FALSE ; fi`;
54 config.separate_code = `if test "x${SEPARATE_CODE}" = xyes ; then echo TRUE ; else echo FALSE ; fi`;
58 gld${EMULATION_NAME}_set_symbols (void)
60 /* PR 19106: The section resizing code in gldarmelf_after_allocation
61 is effectively the same as relaxation, so prevent early memory
62 region checks which produce bogus error messages.
63 Note - this test has nothing to do with symbols. It is just here
64 because this is the first emulation routine that is called after
65 the command line has been parsed. */
66 if (!bfd_link_relocatable (&link_info))
67 TARGET_ENABLE_RELAXATION;
71 arm_elf_before_allocation (void)
73 bfd_elf32_arm_set_byteswap_code (&link_info, byteswap_code);
75 /* Choose type of VFP11 erratum fix, or warn if specified fix is unnecessary
76 due to architecture version. */
77 bfd_elf32_arm_set_vfp11_fix (link_info.output_bfd, &link_info);
79 /* Choose type of STM32L4XX erratum fix, or warn if specified fix is
80 unnecessary due to architecture version. */
81 bfd_elf32_arm_set_stm32l4xx_fix (link_info.output_bfd, &link_info);
83 /* Auto-select Cortex-A8 erratum fix if it wasn't explicitly specified. */
84 bfd_elf32_arm_set_cortex_a8_fix (link_info.output_bfd, &link_info);
86 /* We should be able to set the size of the interworking stub section. We
87 can't do it until later if we have dynamic sections, though. */
88 if (elf_hash_table (&link_info)->dynobj == NULL)
90 /* Here we rummage through the found bfds to collect glue information. */
91 LANG_FOR_EACH_INPUT_STATEMENT (is)
93 /* Initialise mapping tables for code/data. */
94 bfd_elf32_arm_init_maps (is->the_bfd);
96 if (!bfd_elf32_arm_process_before_allocation (is->the_bfd,
98 || !bfd_elf32_arm_vfp11_erratum_scan (is->the_bfd, &link_info)
99 || !bfd_elf32_arm_stm32l4xx_erratum_scan (is->the_bfd,
101 /* xgettext:c-format */
102 einfo (_("Errors encountered processing file %s"), is->filename);
105 /* We have seen it all. Allocate it, and carry on. */
106 bfd_elf32_arm_allocate_interworking_sections (& link_info);
109 /* Call the standard elf routine. */
110 gld${EMULATION_NAME}_before_allocation ();
113 /* Fake input file for stubs. */
114 static lang_input_statement_type *stub_file;
116 /* Whether we need to call gldarm_layout_sections_again. */
117 static int need_laying_out = 0;
119 /* Maximum size of a group of input sections that can be handled by
120 one stub section. A value of +/-1 indicates the bfd back-end
121 should use a suitable default size. */
122 static bfd_signed_vma group_size = 1;
124 struct hook_stub_info
126 lang_statement_list_type add;
127 asection *input_section;
130 /* Traverse the linker tree to find the spot where the stub goes. */
133 hook_in_stub (struct hook_stub_info *info, lang_statement_union_type **lp)
135 lang_statement_union_type *l;
138 for (; (l = *lp) != NULL; lp = &l->header.next)
140 switch (l->header.type)
142 case lang_constructors_statement_enum:
143 ret = hook_in_stub (info, &constructor_list.head);
148 case lang_output_section_statement_enum:
149 ret = hook_in_stub (info,
150 &l->output_section_statement.children.head);
155 case lang_wild_statement_enum:
156 ret = hook_in_stub (info, &l->wild_statement.children.head);
161 case lang_group_statement_enum:
162 ret = hook_in_stub (info, &l->group_statement.children.head);
167 case lang_input_section_enum:
168 if (l->input_section.section == info->input_section)
170 /* We've found our section. Insert the stub immediately
171 after its associated input section. */
172 *(info->add.tail) = l->header.next;
173 l->header.next = info->add.head;
178 case lang_data_statement_enum:
179 case lang_reloc_statement_enum:
180 case lang_object_symbols_statement_enum:
181 case lang_output_statement_enum:
182 case lang_target_statement_enum:
183 case lang_input_statement_enum:
184 case lang_assignment_statement_enum:
185 case lang_padding_statement_enum:
186 case lang_address_statement_enum:
187 case lang_fill_statement_enum:
199 /* Call-back for elf32_arm_size_stubs. */
201 /* Create a new stub section, and arrange for it to be linked
202 immediately after INPUT_SECTION. */
205 elf32_arm_add_stub_section (const char * stub_sec_name,
206 asection * input_section,
207 unsigned int alignment_power)
211 asection *output_section;
212 lang_output_section_statement_type *os;
213 struct hook_stub_info info;
215 flags = (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
216 | SEC_HAS_CONTENTS | SEC_RELOC | SEC_IN_MEMORY | SEC_KEEP);
217 stub_sec = bfd_make_section_anyway_with_flags (stub_file->the_bfd,
218 stub_sec_name, flags);
219 if (stub_sec == NULL)
222 bfd_set_section_alignment (stub_file->the_bfd, stub_sec, alignment_power);
224 output_section = input_section->output_section;
225 os = lang_output_section_get (output_section);
227 info.input_section = input_section;
228 lang_list_init (&info.add);
229 lang_add_section (&info.add, stub_sec, NULL, os);
231 if (info.add.head == NULL)
234 if (hook_in_stub (&info, &os->children.head))
238 einfo ("%X%P: can not make stub section: %E\n");
242 /* Another call-back for elf_arm_size_stubs. */
245 gldarm_layout_sections_again (void)
247 /* If we have changed sizes of the stub sections, then we need
248 to recalculate all the section offsets. This may mean we need to
249 add even more stubs. */
250 gld${EMULATION_NAME}_map_segments (TRUE);
251 need_laying_out = -1;
255 build_section_lists (lang_statement_union_type *statement)
257 if (statement->header.type == lang_input_section_enum)
259 asection *i = statement->input_section.section;
261 if (i->sec_info_type != SEC_INFO_TYPE_JUST_SYMS
262 && (i->flags & SEC_EXCLUDE) == 0
263 && i->output_section != NULL
264 && i->output_section->owner == link_info.output_bfd)
265 elf32_arm_next_input_section (& link_info, i);
270 compare_output_sec_vma (const void *a, const void *b)
272 asection *asec = *(asection **) a, *bsec = *(asection **) b;
273 asection *aout = asec->output_section, *bout = bsec->output_section;
276 /* If there's no output section for some reason, compare equal. */
280 avma = aout->vma + asec->output_offset;
281 bvma = bout->vma + bsec->output_offset;
285 else if (avma < bvma)
292 gld${EMULATION_NAME}_after_allocation (void)
296 /* Build a sorted list of input text sections, then use that to process
297 the unwind table index. */
298 unsigned int list_size = 10;
299 asection **sec_list = (asection **)
300 xmalloc (list_size * sizeof (asection *));
301 unsigned int sec_count = 0;
303 LANG_FOR_EACH_INPUT_STATEMENT (is)
305 bfd *abfd = is->the_bfd;
308 if ((abfd->flags & (EXEC_P | DYNAMIC)) != 0)
311 for (sec = abfd->sections; sec != NULL; sec = sec->next)
313 asection *out_sec = sec->output_section;
316 && elf_section_data (sec)
317 && elf_section_type (sec) == SHT_PROGBITS
318 && (elf_section_flags (sec) & SHF_EXECINSTR) != 0
319 && (sec->flags & SEC_EXCLUDE) == 0
320 && sec->sec_info_type != SEC_INFO_TYPE_JUST_SYMS
321 && out_sec != bfd_abs_section_ptr)
323 if (sec_count == list_size)
326 sec_list = (asection **)
327 xrealloc (sec_list, list_size * sizeof (asection *));
330 sec_list[sec_count++] = sec;
335 qsort (sec_list, sec_count, sizeof (asection *), &compare_output_sec_vma);
337 if (elf32_arm_fix_exidx_coverage (sec_list, sec_count, &link_info,
338 merge_exidx_entries))
343 /* bfd_elf32_discard_info just plays with debugging sections,
344 ie. doesn't affect any code, so we can delay resizing the
345 sections. It's likely we'll resize everything in the process of
347 ret = bfd_elf_discard_info (link_info.output_bfd, & link_info);
350 einfo ("%X%P: .eh_frame/.stab edit: %E\n");
356 /* If generating a relocatable output file, then we don't
357 have to examine the relocs. */
358 if (stub_file != NULL && !bfd_link_relocatable (&link_info))
360 ret = elf32_arm_setup_section_lists (link_info.output_bfd, &link_info);
365 einfo ("%X%P: could not compute sections lists for stub generation: %E\n");
369 lang_for_each_statement (build_section_lists);
371 /* Call into the BFD backend to do the real work. */
372 if (! elf32_arm_size_stubs (link_info.output_bfd,
376 & elf32_arm_add_stub_section,
377 & gldarm_layout_sections_again))
379 einfo ("%X%P: cannot size stub section: %E\n");
385 if (need_laying_out != -1)
386 gld${EMULATION_NAME}_map_segments (need_laying_out);
390 gld${EMULATION_NAME}_finish (void)
392 struct bfd_link_hash_entry * h;
395 LANG_FOR_EACH_INPUT_STATEMENT (is)
397 /* Figure out where VFP11 erratum veneers (and the labels returning
398 from same) have been placed. */
399 bfd_elf32_arm_vfp11_fix_veneer_locations (is->the_bfd, &link_info);
401 /* Figure out where STM32L4XX erratum veneers (and the labels returning
402 from them) have been placed. */
403 bfd_elf32_arm_stm32l4xx_fix_veneer_locations (is->the_bfd, &link_info);
407 if (!bfd_link_relocatable (&link_info))
409 /* Now build the linker stubs. */
410 if (stub_file->the_bfd->sections != NULL)
412 if (! elf32_arm_build_stubs (& link_info))
413 einfo ("%X%P: can not build stubs: %E\n");
419 if (thumb_entry_symbol)
421 h = bfd_link_hash_lookup (link_info.hash, thumb_entry_symbol,
426 struct elf_link_hash_entry * eh;
428 if (!entry_symbol.name)
431 h = bfd_link_hash_lookup (link_info.hash, entry_symbol.name,
433 eh = (struct elf_link_hash_entry *)h;
434 if (!h || eh->target_internal != ST_BRANCH_TO_THUMB)
439 if (h != (struct bfd_link_hash_entry *) NULL
440 && (h->type == bfd_link_hash_defined
441 || h->type == bfd_link_hash_defweak)
442 && h->u.def.section->output_section != NULL)
444 static char buffer[32];
447 /* Special procesing is required for a Thumb entry symbol. The
448 bottom bit of its address must be set. */
449 val = (h->u.def.value
450 + bfd_get_section_vma (link_info.output_bfd,
451 h->u.def.section->output_section)
452 + h->u.def.section->output_offset);
456 /* Now convert this value into a string and store it in entry_symbol
457 where the lang_finish() function will pick it up. */
461 sprintf_vma (buffer + 2, val);
463 if (thumb_entry_symbol != NULL && entry_symbol.name != NULL
464 && entry_from_cmdline)
465 einfo (_("%P: warning: '--thumb-entry %s' is overriding '-e %s'\n"),
466 thumb_entry_symbol, entry_symbol.name);
467 entry_symbol.name = buffer;
470 einfo (_("%P: warning: cannot find thumb start symbol %s\n"),
474 /* This is a convenient point to tell BFD about target specific flags.
475 After the output has been created, but before inputs are read. */
477 arm_elf_create_output_section_statements (void)
479 if (strstr (bfd_get_target (link_info.output_bfd), "arm") == NULL)
481 /* The arm backend needs special fields in the output hash structure.
482 These will only be created if the output format is an arm format,
483 hence we do not support linking and changing output formats at the
484 same time. Use a link followed by objcopy to change output formats. */
485 einfo ("%F%X%P: error: Cannot change output format whilst linking ARM binaries.\n");
489 bfd_elf32_arm_set_target_relocs (link_info.output_bfd, &link_info,
491 target2_type, fix_v4bx, use_blx,
492 vfp11_denorm_fix, stm32l4xx_fix,
493 no_enum_size_warning,
494 no_wchar_size_warning,
495 pic_veneer, fix_cortex_a8,
498 stub_file = lang_add_input_file ("linker stubs",
499 lang_input_file_is_fake_enum,
501 stub_file->the_bfd = bfd_create ("linker stubs", link_info.output_bfd);
502 if (stub_file->the_bfd == NULL
503 || ! bfd_set_arch_mach (stub_file->the_bfd,
504 bfd_get_arch (link_info.output_bfd),
505 bfd_get_mach (link_info.output_bfd)))
507 einfo ("%X%P: can not create BFD %E\n");
511 stub_file->the_bfd->flags |= BFD_LINKER_CREATED;
512 ldlang_add_file (stub_file);
514 /* Also use the stub file for stubs placed in a single output section. */
515 bfd_elf32_arm_add_glue_sections_to_bfd (stub_file->the_bfd, &link_info);
516 bfd_elf32_arm_get_bfd_for_interworking (stub_file->the_bfd, &link_info);
519 /* Avoid processing the fake stub_file in vercheck, stat_needed and
520 check_needed routines. */
522 static void (*real_func) (lang_input_statement_type *);
524 static void arm_for_each_input_file_wrapper (lang_input_statement_type *l)
531 arm_lang_for_each_input_file (void (*func) (lang_input_statement_type *))
534 lang_for_each_input_file (&arm_for_each_input_file_wrapper);
537 #define lang_for_each_input_file arm_lang_for_each_input_file
541 # Define some shell vars to insert bits of code into the standard elf
542 # parse_args and list_options functions.
544 PARSE_AND_LIST_PROLOGUE='
545 #define OPTION_THUMB_ENTRY 301
546 #define OPTION_BE8 302
547 #define OPTION_TARGET1_REL 303
548 #define OPTION_TARGET1_ABS 304
549 #define OPTION_TARGET2 305
550 #define OPTION_FIX_V4BX 306
551 #define OPTION_USE_BLX 307
552 #define OPTION_VFP11_DENORM_FIX 308
553 #define OPTION_NO_ENUM_SIZE_WARNING 309
554 #define OPTION_PIC_VENEER 310
555 #define OPTION_FIX_V4BX_INTERWORKING 311
556 #define OPTION_STUBGROUP_SIZE 312
557 #define OPTION_NO_WCHAR_SIZE_WARNING 313
558 #define OPTION_FIX_CORTEX_A8 314
559 #define OPTION_NO_FIX_CORTEX_A8 315
560 #define OPTION_NO_MERGE_EXIDX_ENTRIES 316
561 #define OPTION_FIX_ARM1176 317
562 #define OPTION_NO_FIX_ARM1176 318
563 #define OPTION_LONG_PLT 319
564 #define OPTION_STM32L4XX_FIX 320
567 PARSE_AND_LIST_SHORTOPTS=p
569 PARSE_AND_LIST_LONGOPTS='
570 { "no-pipeline-knowledge", no_argument, NULL, '\'p\''},
571 { "thumb-entry", required_argument, NULL, OPTION_THUMB_ENTRY},
572 { "be8", no_argument, NULL, OPTION_BE8},
573 { "target1-rel", no_argument, NULL, OPTION_TARGET1_REL},
574 { "target1-abs", no_argument, NULL, OPTION_TARGET1_ABS},
575 { "target2", required_argument, NULL, OPTION_TARGET2},
576 { "fix-v4bx", no_argument, NULL, OPTION_FIX_V4BX},
577 { "fix-v4bx-interworking", no_argument, NULL, OPTION_FIX_V4BX_INTERWORKING},
578 { "use-blx", no_argument, NULL, OPTION_USE_BLX},
579 { "vfp11-denorm-fix", required_argument, NULL, OPTION_VFP11_DENORM_FIX},
580 { "fix-stm32l4xx-629360", optional_argument, NULL, OPTION_STM32L4XX_FIX},
581 { "no-enum-size-warning", no_argument, NULL, OPTION_NO_ENUM_SIZE_WARNING},
582 { "pic-veneer", no_argument, NULL, OPTION_PIC_VENEER},
583 { "stub-group-size", required_argument, NULL, OPTION_STUBGROUP_SIZE },
584 { "no-wchar-size-warning", no_argument, NULL, OPTION_NO_WCHAR_SIZE_WARNING},
585 { "fix-cortex-a8", no_argument, NULL, OPTION_FIX_CORTEX_A8 },
586 { "no-fix-cortex-a8", no_argument, NULL, OPTION_NO_FIX_CORTEX_A8 },
587 { "no-merge-exidx-entries", no_argument, NULL, OPTION_NO_MERGE_EXIDX_ENTRIES },
588 { "fix-arm1176", no_argument, NULL, OPTION_FIX_ARM1176 },
589 { "no-fix-arm1176", no_argument, NULL, OPTION_NO_FIX_ARM1176 },
590 { "long-plt", no_argument, NULL, OPTION_LONG_PLT },
593 PARSE_AND_LIST_OPTIONS='
594 fprintf (file, _(" --thumb-entry=<sym> Set the entry point to be Thumb symbol <sym>\n"));
595 fprintf (file, _(" --be8 Output BE8 format image\n"));
596 fprintf (file, _(" --target1-rel Interpret R_ARM_TARGET1 as R_ARM_REL32\n"));
597 fprintf (file, _(" --target1-abs Interpret R_ARM_TARGET1 as R_ARM_ABS32\n"));
598 fprintf (file, _(" --target2=<type> Specify definition of R_ARM_TARGET2\n"));
599 fprintf (file, _(" --fix-v4bx Rewrite BX rn as MOV pc, rn for ARMv4\n"));
600 fprintf (file, _(" --fix-v4bx-interworking Rewrite BX rn branch to ARMv4 interworking veneer\n"));
601 fprintf (file, _(" --use-blx Enable use of BLX instructions\n"));
602 fprintf (file, _(" --vfp11-denorm-fix Specify how to fix VFP11 denorm erratum\n"));
603 fprintf (file, _(" --fix-stm32l4xx-629360 Specify how to fix STM32L4XX 629360 erratum\n"));
604 fprintf (file, _(" --no-enum-size-warning Don'\''t warn about objects with incompatible\n"
606 fprintf (file, _(" --no-wchar-size-warning Don'\''t warn about objects with incompatible\n"
607 " wchar_t sizes\n"));
608 fprintf (file, _(" --pic-veneer Always generate PIC interworking veneers\n"));
609 fprintf (file, _(" --long-plt Generate long .plt entries\n"
610 " to handle large .plt/.got displacements\n"));
612 --stub-group-size=N Maximum size of a group of input sections that\n\
613 can be handled by one stub section. A negative\n\
614 value locates all stubs after their branches\n\
615 (with a group size of -N), while a positive\n\
616 value allows two groups of input sections, one\n\
617 before, and one after each stub section.\n\
618 Values of +/-1 indicate the linker should\n\
619 choose suitable defaults.\n"));
620 fprintf (file, _(" --[no-]fix-cortex-a8 Disable/enable Cortex-A8 Thumb-2 branch erratum fix\n"));
621 fprintf (file, _(" --no-merge-exidx-entries Disable merging exidx entries\n"));
622 fprintf (file, _(" --[no-]fix-arm1176 Disable/enable ARM1176 BLX immediate erratum fix\n"));
625 PARSE_AND_LIST_ARGS_CASES='
627 /* Only here for backwards compatibility. */
630 case OPTION_THUMB_ENTRY:
631 thumb_entry_symbol = optarg;
638 case OPTION_TARGET1_REL:
642 case OPTION_TARGET1_ABS:
647 target2_type = optarg;
650 case OPTION_FIX_V4BX:
654 case OPTION_FIX_V4BX_INTERWORKING:
662 case OPTION_VFP11_DENORM_FIX:
663 if (strcmp (optarg, "none") == 0)
664 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_NONE;
665 else if (strcmp (optarg, "scalar") == 0)
666 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_SCALAR;
667 else if (strcmp (optarg, "vector") == 0)
668 vfp11_denorm_fix = BFD_ARM_VFP11_FIX_VECTOR;
670 einfo (_("Unrecognized VFP11 fix type '\''%s'\''.\n"), optarg);
673 case OPTION_STM32L4XX_FIX:
675 stm32l4xx_fix = BFD_ARM_STM32L4XX_FIX_DEFAULT;
676 else if (strcmp (optarg, "none") == 0)
677 stm32l4xx_fix = BFD_ARM_STM32L4XX_FIX_NONE;
678 else if (strcmp (optarg, "default") == 0)
679 stm32l4xx_fix = BFD_ARM_STM32L4XX_FIX_DEFAULT;
680 else if (strcmp (optarg, "all") == 0)
681 stm32l4xx_fix = BFD_ARM_STM32L4XX_FIX_ALL;
683 einfo (_("Unrecognized STM32L4XX fix type '\''%s'\''.\n"), optarg);
686 case OPTION_NO_ENUM_SIZE_WARNING:
687 no_enum_size_warning = 1;
690 case OPTION_NO_WCHAR_SIZE_WARNING:
691 no_wchar_size_warning = 1;
694 case OPTION_PIC_VENEER:
698 case OPTION_STUBGROUP_SIZE:
702 group_size = bfd_scan_vma (optarg, &end, 0);
704 einfo (_("%P%F: invalid number `%s'\''\n"), optarg);
708 case OPTION_FIX_CORTEX_A8:
712 case OPTION_NO_FIX_CORTEX_A8:
716 case OPTION_NO_MERGE_EXIDX_ENTRIES:
717 merge_exidx_entries = 0;
720 case OPTION_FIX_ARM1176:
724 case OPTION_NO_FIX_ARM1176:
728 case OPTION_LONG_PLT:
729 bfd_elf32_arm_use_long_plt ();
733 # We have our own before_allocation etc. functions, but they call
734 # the standard routines, so give them a different name.
735 LDEMUL_BEFORE_ALLOCATION=arm_elf_before_allocation
736 LDEMUL_AFTER_ALLOCATION=gld${EMULATION_NAME}_after_allocation
737 LDEMUL_CREATE_OUTPUT_SECTION_STATEMENTS=arm_elf_create_output_section_statements
739 # Replace the elf before_parse function with our own.
740 LDEMUL_BEFORE_PARSE=gld"${EMULATION_NAME}"_before_parse
741 LDEMUL_SET_SYMBOLS=gld"${EMULATION_NAME}"_set_symbols
743 # Call the extra arm-elf function
744 LDEMUL_FINISH=gld${EMULATION_NAME}_finish