1 /* Linker command language support.
2 Copyright (C) 1991, 92, 93, 94 Free Software Foundation, Inc.
4 This file is part of GLD, the Gnu Linker.
6 GLD 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 1, or (at your option)
11 GLD 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 GLD; see the file COPYING. If not, write to
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
22 #include "libiberty.h"
37 static void print_statements
PARAMS ((void));
38 static void print_statement
PARAMS ((lang_statement_union_type
*,
39 lang_output_section_statement_type
*));
40 static lang_statement_union_type
*new_statement
PARAMS ((enum statement_enum
,
42 lang_statement_list_type
*));
46 static struct obstack stat_obstack
;
48 #define obstack_chunk_alloc xmalloc
49 #define obstack_chunk_free free
50 static CONST
char *startup_file
;
51 static lang_statement_list_type input_file_chain
;
53 /* Points to the last statement in the .data section, so we can add
54 stuff to the data section without pain */
55 static lang_statement_list_type end_of_data_section_statement_list
;
57 static boolean placed_commons
= false;
58 static lang_output_section_statement_type
*default_common_section
;
59 static boolean map_option_f
;
60 static bfd_vma print_dot
;
61 static lang_input_statement_type
*first_file
;
62 static lang_statement_list_type lang_output_section_statement
;
63 static CONST
char *current_target
;
64 static CONST
char *output_target
;
65 static int longest_section_name
= 8;
66 static lang_statement_list_type statement_list
;
68 static void print_size
PARAMS ((size_t value
));
69 static void print_alignment
PARAMS ((unsigned int value
));
70 static void print_fill
PARAMS ((fill_type value
));
71 static void print_section
PARAMS ((const char *name
));
72 static void lang_for_each_statement_worker
73 PARAMS ((void (*func
) (lang_statement_union_type
*),
74 lang_statement_union_type
*s
));
75 static lang_input_statement_type
*new_afile
76 PARAMS ((const char *name
, lang_input_file_enum_type file_type
,
77 const char *target
, boolean add_to_list
));
78 static void print_flags
PARAMS ((int *ignore_flags
));
79 static void init_os
PARAMS ((lang_output_section_statement_type
*s
));
80 static void wild_doit
PARAMS ((lang_statement_list_type
*ptr
,
82 lang_output_section_statement_type
*output
,
83 lang_input_statement_type
*file
));
84 static asection
*our_bfd_get_section_by_name
PARAMS ((bfd
*abfd
,
85 const char *section
));
86 static void wild_section
PARAMS ((lang_wild_statement_type
*ptr
,
88 lang_input_statement_type
*file
,
89 lang_output_section_statement_type
*output
));
90 static lang_input_statement_type
*lookup_name
PARAMS ((const char *name
));
91 static void load_symbols
PARAMS ((lang_input_statement_type
*entry
));
92 static void wild
PARAMS ((lang_wild_statement_type
*s
,
93 const char *section
, const char *file
,
95 lang_output_section_statement_type
*output
));
96 static bfd
*open_output
PARAMS ((const char *name
));
97 static void ldlang_open_output
PARAMS ((lang_statement_union_type
*statement
));
98 static void open_input_bfds
PARAMS ((lang_statement_union_type
*statement
));
99 static void lang_reasonable_defaults
PARAMS ((void));
100 static void lang_place_undefineds
PARAMS ((void));
101 static void lang_create_output_section_statements
PARAMS ((void));
102 static void map_input_to_output_sections
103 PARAMS ((lang_statement_union_type
*s
,
105 lang_output_section_statement_type
*output_section_statement
));
106 static void print_output_section_statement
107 PARAMS ((lang_output_section_statement_type
*output_section_statement
));
108 static void print_assignment
109 PARAMS ((lang_assignment_statement_type
*assignment
,
110 lang_output_section_statement_type
*output_section
));
111 static void print_input_statement
PARAMS ((lang_input_statement_type
*statm
));
112 static void print_input_section
PARAMS ((lang_input_section_type
*in
));
113 static void print_fill_statement
PARAMS ((lang_fill_statement_type
*fill
));
114 static void print_data_statement
PARAMS ((lang_data_statement_type
*data
));
115 static void print_reloc_statement
PARAMS ((lang_reloc_statement_type
*reloc
));
116 static void print_padding_statement
PARAMS ((lang_padding_statement_type
*s
));
117 static void print_wild_statement
118 PARAMS ((lang_wild_statement_type
*w
,
119 lang_output_section_statement_type
*os
));
120 static void print_statement
PARAMS ((lang_statement_union_type
*s
,
121 lang_output_section_statement_type
*os
));
122 static void print_statements
PARAMS ((void));
123 static bfd_vma insert_pad
PARAMS ((lang_statement_union_type
**this_ptr
,
124 fill_type fill
, unsigned int power
,
125 asection
*output_section_statement
,
127 static bfd_vma size_input_section
128 PARAMS ((lang_statement_union_type
**this_ptr
,
129 lang_output_section_statement_type
*output_section_statement
,
130 fill_type fill
, bfd_vma dot
, boolean relax
));
131 static bfd_vma lang_do_assignments
132 PARAMS ((lang_statement_union_type
* s
,
133 lang_output_section_statement_type
*output_section_statement
,
136 static void lang_finish
PARAMS ((void));
137 static void lang_check
PARAMS ((void));
138 static void lang_common
PARAMS ((void));
139 static boolean lang_one_common
PARAMS ((struct bfd_link_hash_entry
*, PTR
));
140 static void lang_place_orphans
PARAMS ((void));
141 static int topower
PARAMS ((int));
142 static void reset_memory_regions
PARAMS ((void));
145 lang_output_section_statement_type
*abs_output_section
;
146 lang_statement_list_type
*stat_ptr
= &statement_list
;
147 lang_statement_list_type file_chain
=
149 CONST
char *entry_symbol
= 0;
150 boolean lang_has_input_file
= false;
151 boolean had_output_filename
= false;
152 boolean lang_float_flag
= false;
153 boolean delete_output_file_on_failure
= false;
155 etree_type
*base
; /* Relocation base - or null */
158 #if defined(__STDC__) || defined(ALMOST_STDC)
159 #define cat(a,b) a##b
161 #define cat(a,b) a/**/b
164 #define new_stat(x,y) (cat(x,_type)*) new_statement(cat(x,_enum), sizeof(cat(x,_type)),y)
166 #define outside_section_address(q) ( (q)->output_offset + (q)->output_section->vma)
168 #define outside_symbol_address(q) ((q)->value + outside_section_address(q->section))
174 return obstack_alloc (&stat_obstack
, size
);
181 fprintf (config
.map_file
, "%5x", (unsigned) value
);
185 print_alignment (value
)
188 fprintf (config
.map_file
, "2**%1u", value
);
195 fprintf (config
.map_file
, "%04x", (unsigned) value
);
202 fprintf (config
.map_file
, "%*s", -longest_section_name
, name
);
205 /*----------------------------------------------------------------------
206 lang_for_each_statement walks the parse tree and calls the provided
207 function for each node
211 lang_for_each_statement_worker (func
, s
)
212 void (*func
) PARAMS ((lang_statement_union_type
*));
213 lang_statement_union_type
*s
;
215 for (; s
!= (lang_statement_union_type
*) NULL
; s
= s
->next
)
219 switch (s
->header
.type
)
221 case lang_constructors_statement_enum
:
222 lang_for_each_statement_worker (func
, constructor_list
.head
);
224 case lang_output_section_statement_enum
:
225 lang_for_each_statement_worker
227 s
->output_section_statement
.children
.head
);
229 case lang_wild_statement_enum
:
230 lang_for_each_statement_worker
232 s
->wild_statement
.children
.head
);
234 case lang_data_statement_enum
:
235 case lang_reloc_statement_enum
:
236 case lang_object_symbols_statement_enum
:
237 case lang_output_statement_enum
:
238 case lang_target_statement_enum
:
239 case lang_input_section_enum
:
240 case lang_input_statement_enum
:
241 case lang_assignment_statement_enum
:
242 case lang_padding_statement_enum
:
243 case lang_address_statement_enum
:
253 lang_for_each_statement (func
)
254 void (*func
) PARAMS ((lang_statement_union_type
*));
256 lang_for_each_statement_worker (func
,
257 statement_list
.head
);
260 /*----------------------------------------------------------------------*/
262 lang_list_init (list
)
263 lang_statement_list_type
*list
;
265 list
->head
= (lang_statement_union_type
*) NULL
;
266 list
->tail
= &list
->head
;
269 /*----------------------------------------------------------------------
271 build a new statement node for the parse tree
276 lang_statement_union_type
*
277 new_statement (type
, size
, list
)
278 enum statement_enum type
;
280 lang_statement_list_type
* list
;
282 lang_statement_union_type
*new = (lang_statement_union_type
*)
285 new->header
.type
= type
;
286 new->header
.next
= (lang_statement_union_type
*) NULL
;
287 lang_statement_append (list
, new, &new->header
.next
);
292 Build a new input file node for the language. There are several ways
293 in which we treat an input file, eg, we only look at symbols, or
294 prefix it with a -l etc.
296 We can be supplied with requests for input files more than once;
297 they may, for example be split over serveral lines like foo.o(.text)
298 foo.o(.data) etc, so when asked for a file we check that we havn't
299 got it already so we don't duplicate the bfd.
302 static lang_input_statement_type
*
303 new_afile (name
, file_type
, target
, add_to_list
)
305 lang_input_file_enum_type file_type
;
309 lang_input_statement_type
*p
;
312 p
= new_stat (lang_input_statement
, stat_ptr
);
315 p
= ((lang_input_statement_type
*)
316 stat_alloc (sizeof (lang_input_statement_type
)));
317 p
->header
.next
= NULL
;
320 lang_has_input_file
= true;
322 p
->complained
= false;
325 case lang_input_file_is_symbols_only_enum
:
327 p
->is_archive
= false;
329 p
->local_sym_name
= name
;
330 p
->just_syms_flag
= true;
331 p
->search_dirs_flag
= false;
333 case lang_input_file_is_fake_enum
:
335 p
->is_archive
= false;
337 p
->local_sym_name
= name
;
338 p
->just_syms_flag
= false;
339 p
->search_dirs_flag
= false;
341 case lang_input_file_is_l_enum
:
342 p
->is_archive
= true;
345 p
->local_sym_name
= concat ("-l", name
, (const char *) NULL
);
346 p
->just_syms_flag
= false;
347 p
->search_dirs_flag
= true;
349 case lang_input_file_is_marker_enum
:
351 p
->is_archive
= false;
353 p
->local_sym_name
= name
;
354 p
->just_syms_flag
= false;
355 p
->search_dirs_flag
= true;
357 case lang_input_file_is_search_file_enum
:
359 p
->is_archive
= false;
361 p
->local_sym_name
= name
;
362 p
->just_syms_flag
= false;
363 p
->search_dirs_flag
= true;
365 case lang_input_file_is_file_enum
:
367 p
->is_archive
= false;
369 p
->local_sym_name
= name
;
370 p
->just_syms_flag
= false;
371 p
->search_dirs_flag
= false;
376 p
->the_bfd
= (bfd
*) NULL
;
377 p
->asymbols
= (asymbol
**) NULL
;
378 p
->superfile
= (lang_input_statement_type
*) NULL
;
379 p
->next_real_file
= (lang_statement_union_type
*) NULL
;
380 p
->next
= (lang_statement_union_type
*) NULL
;
382 p
->common_output_section
= (asection
*) NULL
;
384 lang_statement_append (&input_file_chain
,
385 (lang_statement_union_type
*) p
,
390 lang_input_statement_type
*
391 lang_add_input_file (name
, file_type
, target
)
393 lang_input_file_enum_type file_type
;
396 /* Look it up or build a new one */
397 lang_has_input_file
= true;
400 lang_input_statement_type
*p
;
402 for (p
= (lang_input_statement_type
*) input_file_chain
.head
;
403 p
!= (lang_input_statement_type
*) NULL
;
404 p
= (lang_input_statement_type
*) (p
->next_real_file
))
406 /* Sometimes we have incomplete entries in here */
407 if (p
->filename
!= (char *) NULL
)
409 if (strcmp (name
, p
->filename
) == 0)
415 return new_afile (name
, file_type
, target
, true);
418 /* Build enough state so that the parser can build its tree */
422 obstack_begin (&stat_obstack
, 1000);
424 stat_ptr
= &statement_list
;
426 lang_list_init (stat_ptr
);
428 lang_list_init (&input_file_chain
);
429 lang_list_init (&lang_output_section_statement
);
430 lang_list_init (&file_chain
);
431 first_file
= lang_add_input_file ((char *) NULL
,
432 lang_input_file_is_marker_enum
,
434 abs_output_section
= lang_output_section_statement_lookup (BFD_ABS_SECTION_NAME
);
436 abs_output_section
->bfd_section
= &bfd_abs_section
;
440 /*----------------------------------------------------------------------
441 A region is an area of memory declared with the
442 MEMORY { name:org=exp, len=exp ... }
445 We maintain a list of all the regions here
447 If no regions are specified in the script, then the default is used
448 which is created when looked up to be the entire data space
451 static lang_memory_region_type
*lang_memory_region_list
;
452 static lang_memory_region_type
**lang_memory_region_list_tail
= &lang_memory_region_list
;
454 lang_memory_region_type
*
455 lang_memory_region_lookup (name
)
456 CONST
char *CONST name
;
459 lang_memory_region_type
*p
= lang_memory_region_list
;
461 for (p
= lang_memory_region_list
;
462 p
!= (lang_memory_region_type
*) NULL
;
465 if (strcmp (p
->name
, name
) == 0)
470 if (strcmp (name
, "*default*") == 0)
472 /* This is the default region, dig out first one on the list */
473 if (lang_memory_region_list
!= (lang_memory_region_type
*) NULL
)
475 return lang_memory_region_list
;
479 lang_memory_region_type
*new =
480 (lang_memory_region_type
*) stat_alloc ((bfd_size_type
) (sizeof (lang_memory_region_type
)));
482 new->name
= buystring (name
);
483 new->next
= (lang_memory_region_type
*) NULL
;
485 *lang_memory_region_list_tail
= new;
486 lang_memory_region_list_tail
= &new->next
;
488 new->length
= ~(bfd_size_type
)0;
490 new->had_full_message
= false;
497 lang_output_section_statement_type
*
498 lang_output_section_find (name
)
499 CONST
char *CONST name
;
501 lang_statement_union_type
*u
;
502 lang_output_section_statement_type
*lookup
;
504 for (u
= lang_output_section_statement
.head
;
505 u
!= (lang_statement_union_type
*) NULL
;
508 lookup
= &u
->output_section_statement
;
509 if (strcmp (name
, lookup
->name
) == 0)
514 return (lang_output_section_statement_type
*) NULL
;
517 lang_output_section_statement_type
*
518 lang_output_section_statement_lookup (name
)
519 CONST
char *CONST name
;
521 lang_output_section_statement_type
*lookup
;
523 lookup
= lang_output_section_find (name
);
524 if (lookup
== (lang_output_section_statement_type
*) NULL
)
527 lookup
= (lang_output_section_statement_type
*)
528 new_stat (lang_output_section_statement
, stat_ptr
);
529 lookup
->region
= (lang_memory_region_type
*) NULL
;
531 lookup
->block_value
= 1;
534 lookup
->next
= (lang_statement_union_type
*) NULL
;
535 lookup
->bfd_section
= (asection
*) NULL
;
536 lookup
->processed
= false;
537 lookup
->loadable
= 1;
538 lookup
->addr_tree
= (etree_type
*) NULL
;
539 lang_list_init (&lookup
->children
);
541 lookup
->memspec
= (CONST
char *) NULL
;
543 lookup
->subsection_alignment
= -1;
544 lookup
->section_alignment
= -1;
545 lookup
->load_base
= (union etree_union
*) NULL
;
547 lang_statement_append (&lang_output_section_statement
,
548 (lang_statement_union_type
*) lookup
,
556 print_flags (ignore_flags
)
559 fprintf (config
.map_file
, "(");
561 if (flags
->flag_read
)
562 fprintf (outfile
, "R");
563 if (flags
->flag_write
)
564 fprintf (outfile
, "W");
565 if (flags
->flag_executable
)
566 fprintf (outfile
, "X");
567 if (flags
->flag_loadable
)
568 fprintf (outfile
, "L");
570 fprintf (config
.map_file
, ")");
576 lang_memory_region_type
*m
;
578 fprintf (config
.map_file
, "**MEMORY CONFIGURATION**\n\n");
580 fprintf (config
.map_file
, "name\t\torigin\t\tlength\t\tattributes\n");
582 fprintf (config
.map_file
,
583 "name\t\torigin length r_size c_size is attributes\n");
586 for (m
= lang_memory_region_list
;
587 m
!= (lang_memory_region_type
*) NULL
;
590 fprintf (config
.map_file
, "%-16s", m
->name
);
591 print_address (m
->origin
);
593 print_address ((bfd_vma
)m
->length
);
595 print_address ((bfd_vma
)m
->old_length
);
597 print_address (m
->current
- m
->origin
);
600 fprintf (config
.map_file
, " %2d%% ",
601 (int) ((m
->current
- m
->origin
) * 100 / m
->old_length
));
602 print_flags (&m
->flags
);
603 fprintf (config
.map_file
, "\n");
605 fprintf (config
.map_file
, "\n\n**LINK EDITOR MEMORY MAP**\n\n");
606 fprintf (config
.map_file
, "output input virtual\n");
607 fprintf (config
.map_file
, "section section address tsize\n\n");
618 lang_output_section_statement_type
* s
;
620 /* asection *section = bfd_get_section_by_name(output_bfd, s->name);*/
621 section_userdata_type
*new =
622 (section_userdata_type
*)
623 stat_alloc ((bfd_size_type
) (sizeof (section_userdata_type
)));
625 s
->bfd_section
= bfd_get_section_by_name (output_bfd
, s
->name
);
626 if (s
->bfd_section
== (asection
*) NULL
)
627 s
->bfd_section
= bfd_make_section (output_bfd
, s
->name
);
628 if (s
->bfd_section
== (asection
*) NULL
)
630 einfo ("%P%F: output format %s cannot represent section called %s\n",
631 output_bfd
->xvec
->name
, s
->name
);
633 s
->bfd_section
->output_section
= s
->bfd_section
;
634 /* s->bfd_section->flags = s->flags;*/
636 /* We initialize an output sections output offset to minus its own */
637 /* vma to allow us to output a section through itself */
638 s
->bfd_section
->output_offset
= 0;
639 get_userdata (s
->bfd_section
) = (PTR
) new;
643 /***********************************************************************
646 These expand statements like *(.text) and foo.o to a list of
647 explicit actions, like foo.o(.text), bar.o(.text) and
650 The toplevel routine, wild, takes a statement, section, file and
651 target. If either the section or file is null it is taken to be the
652 wildcard. Seperate lang_input_section statements are created for
653 each part of the expanstion, and placed after the statement provided.
658 wild_doit (ptr
, section
, output
, file
)
659 lang_statement_list_type
* ptr
;
661 lang_output_section_statement_type
* output
;
662 lang_input_statement_type
* file
;
664 if (output
->bfd_section
== (asection
*) NULL
)
667 /* Initialize the vma and size to the existing section. This will
668 be overriden in lang_size_sections unless SEC_NEVER_LOAD gets
670 if (section
!= (asection
*) NULL
)
672 bfd_set_section_vma (0, output
->bfd_section
,
673 bfd_section_vma (0, section
));
674 output
->bfd_section
->_raw_size
= section
->_raw_size
;
678 if (section
!= (asection
*) NULL
679 && section
->output_section
== (asection
*) NULL
)
681 /* Add a section reference to the list */
682 lang_input_section_type
*new = new_stat (lang_input_section
, ptr
);
684 new->section
= section
;
686 section
->output_section
= output
->bfd_section
;
688 /* Be selective about what the output section inherits from the
691 if ((section
->flags
& SEC_SHARED_LIBRARY
) != 0)
692 section
->output_section
->flags
|= section
->flags
;
694 section
->output_section
->flags
|=
695 section
->flags
& (flagword
) (~ SEC_NEVER_LOAD
);
697 if (!output
->loadable
)
699 /* Turn off load flag */
700 output
->bfd_section
->flags
&= ~SEC_LOAD
;
701 output
->bfd_section
->flags
|= SEC_NEVER_LOAD
;
703 if (section
->alignment_power
> output
->bfd_section
->alignment_power
)
705 output
->bfd_section
->alignment_power
= section
->alignment_power
;
707 /* If supplied an aligmnet, then force it */
708 if (output
->section_alignment
!= -1)
710 output
->bfd_section
->alignment_power
= output
->section_alignment
;
716 our_bfd_get_section_by_name (abfd
, section
)
720 return bfd_get_section_by_name (abfd
, section
);
724 wild_section (ptr
, section
, file
, output
)
725 lang_wild_statement_type
* ptr
;
727 lang_input_statement_type
* file
;
728 lang_output_section_statement_type
* output
;
732 if (file
->just_syms_flag
== false)
734 if (section
== (char *) NULL
)
736 /* Do the creation to all sections in the file */
737 for (s
= file
->the_bfd
->sections
; s
!= (asection
*) NULL
; s
= s
->next
)
740 if ((s
->flags
& SEC_IS_COMMON
) == 0)
742 wild_doit (&ptr
->children
, s
, output
, file
);
748 /* Do the creation to the named section only */
749 wild_doit (&ptr
->children
,
750 our_bfd_get_section_by_name (file
->the_bfd
, section
),
756 /* passed a file name (which must have been seen already and added to
757 the statement tree. We will see if it has been opened already and
758 had its symbols read. If not then we'll read it.
760 Archives are pecuilar here. We may open them once, but if they do
761 not define anything we need at the time, they won't have all their
762 symbols read. If we need them later, we'll have to redo it.
764 static lang_input_statement_type
*
768 lang_input_statement_type
*search
;
770 for (search
= (lang_input_statement_type
*) input_file_chain
.head
;
771 search
!= (lang_input_statement_type
*) NULL
;
772 search
= (lang_input_statement_type
*) search
->next_real_file
)
774 if (search
->filename
== (char *) NULL
&& name
== (char *) NULL
)
776 if (search
->filename
!= (char *) NULL
777 && name
!= (char *) NULL
778 && strcmp (search
->filename
, name
) == 0)
782 if (search
== (lang_input_statement_type
*) NULL
)
783 search
= new_afile (name
, lang_input_file_is_file_enum
, default_target
,
786 /* If we have already added this file, or this file is not real
787 (FIXME: can that ever actually happen?) or the name is NULL
788 (FIXME: can that ever actually happen?) don't add this file. */
791 || search
->filename
== (const char *) NULL
)
794 load_symbols (search
);
799 /* Get the symbols for an input file. */
803 lang_input_statement_type
*entry
;
808 ldfile_open_file (entry
);
810 if (bfd_check_format (entry
->the_bfd
, bfd_object
))
812 ldlang_add_file (entry
);
813 if (trace_files
|| trace_file_tries
)
814 info_msg ("%I\n", entry
);
816 else if (bfd_check_format (entry
->the_bfd
, bfd_archive
))
818 /* There is nothing to do here; the add_symbols routine will
819 call ldlang_add_file (via the add_archive_element callback)
820 for each element of the archive which is used. */
823 einfo ("%F%B: file not recognized: %E\n", entry
->the_bfd
);
825 if (bfd_link_add_symbols (entry
->the_bfd
, &link_info
) == false)
826 einfo ("%F%B: could not read symbols: %E\n", entry
->the_bfd
);
828 entry
->loaded
= true;
832 wild (s
, section
, file
, target
, output
)
833 lang_wild_statement_type
* s
;
837 lang_output_section_statement_type
* output
;
839 lang_input_statement_type
*f
;
841 if (file
== (char *) NULL
)
843 /* Perform the iteration over all files in the list */
844 for (f
= (lang_input_statement_type
*) file_chain
.head
;
845 f
!= (lang_input_statement_type
*) NULL
;
846 f
= (lang_input_statement_type
*) f
->next
)
848 wild_section (s
, section
, f
, output
);
853 /* Perform the iteration over a single file */
854 wild_section (s
, section
, lookup_name (file
), output
);
856 if (section
!= (char *) NULL
857 && strcmp (section
, "COMMON") == 0
858 && default_common_section
== (lang_output_section_statement_type
*) NULL
)
860 /* Remember the section that common is going to incase we later
861 get something which doesn't know where to put it */
862 default_common_section
= output
;
867 read in all the files
876 if (output_target
== (char *) NULL
)
878 if (current_target
!= (char *) NULL
)
879 output_target
= current_target
;
881 output_target
= default_target
;
883 output
= bfd_openw (name
, output_target
);
885 if (output
== (bfd
*) NULL
)
887 if (bfd_get_error () == bfd_error_invalid_target
)
889 einfo ("%P%F: target %s not found\n", output_target
);
891 einfo ("%P%F: cannot open output file %s: %E\n", name
);
894 delete_output_file_on_failure
= 1;
896 /* output->flags |= D_PAGED;*/
898 if (! bfd_set_format (output
, bfd_object
))
899 einfo ("%P%F:%s: can not make object file: %E\n", name
);
900 if (! bfd_set_arch_mach (output
,
901 ldfile_output_architecture
,
902 ldfile_output_machine
))
903 einfo ("%P%F:%s: can not set architecture: %E\n", name
);
905 link_info
.hash
= bfd_link_hash_table_create (output
);
906 if (link_info
.hash
== (struct bfd_link_hash_table
*) NULL
)
907 einfo ("%P%F: can not create link hash table: %E\n");
909 bfd_set_gp_size (output
, g_switch_value
);
917 ldlang_open_output (statement
)
918 lang_statement_union_type
* statement
;
920 switch (statement
->header
.type
)
922 case lang_output_statement_enum
:
923 ASSERT (output_bfd
== (bfd
*) NULL
);
924 output_bfd
= open_output (statement
->output_statement
.name
);
925 ldemul_set_output_arch ();
926 if (config
.magic_demand_paged
&& !link_info
.relocateable
)
927 output_bfd
->flags
|= D_PAGED
;
929 output_bfd
->flags
&= ~D_PAGED
;
930 if (config
.text_read_only
)
931 output_bfd
->flags
|= WP_TEXT
;
933 output_bfd
->flags
&= ~WP_TEXT
;
936 case lang_target_statement_enum
:
937 current_target
= statement
->target_statement
.target
;
945 open_input_bfds (statement
)
946 lang_statement_union_type
* statement
;
948 switch (statement
->header
.type
)
950 case lang_target_statement_enum
:
951 current_target
= statement
->target_statement
.target
;
953 case lang_wild_statement_enum
:
954 /* Maybe we should load the file's symbols */
955 if (statement
->wild_statement
.filename
)
957 (void) lookup_name (statement
->wild_statement
.filename
);
960 case lang_input_statement_enum
:
961 if (statement
->input_statement
.real
== true)
963 statement
->input_statement
.target
= current_target
;
964 load_symbols (&statement
->input_statement
);
972 /* If there are [COMMONS] statements, put a wild one into the bss section */
975 lang_reasonable_defaults ()
978 lang_output_section_statement_lookup (".text");
979 lang_output_section_statement_lookup (".data");
981 default_common_section
=
982 lang_output_section_statement_lookup (".bss");
985 if (placed_commons
== false)
987 lang_wild_statement_type
*new =
988 new_stat (lang_wild_statement
,
989 &default_common_section
->children
);
991 new->section_name
= "COMMON";
992 new->filename
= (char *) NULL
;
993 lang_list_init (&new->children
);
1000 Add the supplied name to the symbol table as an undefined reference.
1001 Remove items from the chain as we open input bfds
1003 typedef struct ldlang_undef_chain_list
1005 struct ldlang_undef_chain_list
*next
;
1007 } ldlang_undef_chain_list_type
;
1009 static ldlang_undef_chain_list_type
*ldlang_undef_chain_list_head
;
1012 ldlang_add_undef (name
)
1013 CONST
char *CONST name
;
1015 ldlang_undef_chain_list_type
*new =
1016 (ldlang_undef_chain_list_type
1017 *) stat_alloc ((bfd_size_type
) (sizeof (ldlang_undef_chain_list_type
)));
1019 new->next
= ldlang_undef_chain_list_head
;
1020 ldlang_undef_chain_list_head
= new;
1022 new->name
= buystring (name
);
1025 /* Run through the list of undefineds created above and place them
1026 into the linker hash table as undefined symbols belonging to the
1030 lang_place_undefineds ()
1032 ldlang_undef_chain_list_type
*ptr
;
1034 for (ptr
= ldlang_undef_chain_list_head
;
1035 ptr
!= (ldlang_undef_chain_list_type
*) NULL
;
1038 struct bfd_link_hash_entry
*h
;
1040 h
= bfd_link_hash_lookup (link_info
.hash
, ptr
->name
, true, false, true);
1041 if (h
== (struct bfd_link_hash_entry
*) NULL
)
1042 einfo ("%P%F: bfd_link_hash_lookup failed: %E");
1043 if (h
->type
== bfd_link_hash_new
)
1045 h
->type
= bfd_link_hash_undefined
;
1046 h
->u
.undef
.abfd
= NULL
;
1047 bfd_link_add_undef (link_info
.hash
, h
);
1052 /* Copy important data from out internal form to the bfd way. Also
1053 create a section for the dummy file
1057 lang_create_output_section_statements ()
1059 lang_statement_union_type
*os
;
1061 for (os
= lang_output_section_statement
.head
;
1062 os
!= (lang_statement_union_type
*) NULL
;
1063 os
= os
->output_section_statement
.next
)
1065 lang_output_section_statement_type
*s
=
1066 &os
->output_section_statement
;
1073 /* Open input files and attatch to output sections */
1075 map_input_to_output_sections (s
, target
, output_section_statement
)
1076 lang_statement_union_type
* s
;
1078 lang_output_section_statement_type
* output_section_statement
;
1080 for (; s
!= (lang_statement_union_type
*) NULL
; s
= s
->next
)
1082 switch (s
->header
.type
)
1086 case lang_wild_statement_enum
:
1087 wild (&s
->wild_statement
, s
->wild_statement
.section_name
,
1088 s
->wild_statement
.filename
, target
,
1089 output_section_statement
);
1092 case lang_constructors_statement_enum
:
1093 map_input_to_output_sections (constructor_list
.head
,
1095 output_section_statement
);
1097 case lang_output_section_statement_enum
:
1098 map_input_to_output_sections (s
->output_section_statement
.children
.head
,
1100 &s
->output_section_statement
);
1102 case lang_output_statement_enum
:
1104 case lang_target_statement_enum
:
1105 target
= s
->target_statement
.target
;
1107 case lang_fill_statement_enum
:
1108 case lang_input_section_enum
:
1109 case lang_object_symbols_statement_enum
:
1110 case lang_data_statement_enum
:
1111 case lang_reloc_statement_enum
:
1112 case lang_assignment_statement_enum
:
1113 case lang_padding_statement_enum
:
1115 case lang_afile_asection_pair_statement_enum
:
1118 case lang_address_statement_enum
:
1119 /* Mark the specified section with the supplied address */
1121 lang_output_section_statement_type
*os
=
1122 lang_output_section_statement_lookup
1123 (s
->address_statement
.section_name
);
1125 os
->addr_tree
= s
->address_statement
.address
;
1126 if (os
->bfd_section
== (asection
*) NULL
)
1128 einfo ("%P%F: cannot set the address of undefined section %s\n",
1129 s
->address_statement
.section_name
);
1133 case lang_input_statement_enum
:
1134 /* A standard input statement, has no wildcards */
1141 print_output_section_statement (output_section_statement
)
1142 lang_output_section_statement_type
* output_section_statement
;
1144 asection
*section
= output_section_statement
->bfd_section
;
1147 print_section (output_section_statement
->name
);
1152 print_dot
= section
->vma
;
1156 print_address (section
->vma
);
1158 print_size (section
->_raw_size
);
1160 print_size(section
->_cooked_size
);
1162 print_alignment (section
->alignment_power
);
1165 fprintf (config
.map_file
, "%s flags", output_section_statement
->region
->name
);
1166 print_flags (stdout
, &output_section_statement
->flags
);
1168 if (section
->flags
& SEC_LOAD
)
1169 fprintf (config
.map_file
, "load ");
1170 if (section
->flags
& SEC_ALLOC
)
1171 fprintf (config
.map_file
, "alloc ");
1172 if (section
->flags
& SEC_RELOC
)
1173 fprintf (config
.map_file
, "reloc ");
1174 if (section
->flags
& SEC_HAS_CONTENTS
)
1175 fprintf (config
.map_file
, "contents ");
1180 fprintf (config
.map_file
, "No attached output section");
1183 if (output_section_statement
->load_base
)
1185 int b
= exp_get_value_int(output_section_statement
->load_base
,
1186 0, "output base", lang_final_phase_enum
);
1187 printf("Output address %08x\n", b
);
1189 if (output_section_statement
->section_alignment
>= 0
1190 || output_section_statement
->section_alignment
>= 0)
1192 printf("\t\t\t\t\tforced alignment ");
1193 if ( output_section_statement
->section_alignment
>= 0)
1195 printf("section 2**%d ",output_section_statement
->section_alignment
);
1197 if ( output_section_statement
->subsection_alignment
>= 0)
1199 printf("subsection 2**%d ",output_section_statement
->subsection_alignment
);
1204 print_statement (output_section_statement
->children
.head
,
1205 output_section_statement
);
1210 print_assignment (assignment
, output_section
)
1211 lang_assignment_statement_type
* assignment
;
1212 lang_output_section_statement_type
* output_section
;
1214 etree_value_type result
;
1220 print_address (print_dot
);
1222 result
= exp_fold_tree (assignment
->exp
->assign
.src
,
1224 lang_final_phase_enum
,
1230 print_address (result
.value
);
1234 fprintf (config
.map_file
, "*undefined*");
1237 exp_print_tree (assignment
->exp
);
1239 fprintf (config
.map_file
, "\n");
1243 print_input_statement (statm
)
1244 lang_input_statement_type
* statm
;
1246 if (statm
->filename
!= (char *) NULL
)
1248 fprintf (config
.map_file
, "LOAD %s\n", statm
->filename
);
1252 /* Print all the defined symbols for the abfd provided by in the supplied
1257 print_one_symbol (hash_entry
, ptr
)
1258 struct bfd_link_hash_entry
*hash_entry
;
1261 asection
* sec
= (asection
*)ptr
;
1263 if (hash_entry
->type
== bfd_link_hash_defined
)
1265 if (sec
== hash_entry
->u
.def
.section
) {
1267 fprintf (config
.map_file
, " ");
1269 fprintf (config
.map_file
, " ");
1270 print_address (hash_entry
->u
.def
.value
+ outside_section_address (sec
));
1271 fprintf (config
.map_file
, " %s", hash_entry
->root
.string
);
1280 print_input_section (in
)
1281 lang_input_section_type
* in
;
1283 asection
*i
= in
->section
;
1284 bfd_size_type size
= i
->_cooked_size
!= 0 ? i
->_cooked_size
: i
->_raw_size
;
1289 fprintf (config
.map_file
, " ");
1290 print_section (i
->name
);
1291 fprintf (config
.map_file
, " ");
1292 if (i
->output_section
)
1294 print_address (i
->output_section
->vma
+ i
->output_offset
);
1295 fprintf (config
.map_file
, " ");
1296 print_size (i
->_raw_size
);
1297 fprintf (config
.map_file
, " ");
1298 print_size(i
->_cooked_size
);
1299 fprintf (config
.map_file
, " ");
1300 print_alignment (i
->alignment_power
);
1301 fprintf (config
.map_file
, " ");
1305 bfd
*abfd
= in
->ifile
->the_bfd
;
1307 if (in
->ifile
->just_syms_flag
== true)
1309 fprintf (config
.map_file
, "symbols only ");
1312 fprintf (config
.map_file
, " %s ", abfd
->xvec
->name
);
1313 if (abfd
->my_archive
!= (bfd
*) NULL
)
1315 fprintf (config
.map_file
, "[%s]%s", abfd
->my_archive
->filename
,
1320 fprintf (config
.map_file
, "%s", abfd
->filename
);
1322 fprintf (config
.map_file
, "(overhead %d bytes)", (int) bfd_alloc_size (abfd
));
1325 /* Print all the symbols */
1326 bfd_link_hash_traverse (link_info
.hash
, print_one_symbol
, (PTR
) i
);
1334 print_dot
= outside_section_address (i
) + size
;
1338 fprintf (config
.map_file
, "No output section allocated\n");
1344 print_fill_statement (fill
)
1345 lang_fill_statement_type
* fill
;
1347 fprintf (config
.map_file
, "FILL mask ");
1348 print_fill (fill
->fill
);
1352 print_data_statement (data
)
1353 lang_data_statement_type
* data
;
1355 /* bfd_vma value; */
1360 /* ASSERT(print_dot == data->output_vma);*/
1362 print_address (data
->output_vma
+ data
->output_section
->vma
);
1364 print_address (data
->value
);
1369 fprintf (config
.map_file
, "BYTE ");
1370 print_dot
+= BYTE_SIZE
;
1373 fprintf (config
.map_file
, "SHORT ");
1374 print_dot
+= SHORT_SIZE
;
1377 fprintf (config
.map_file
, "LONG ");
1378 print_dot
+= LONG_SIZE
;
1381 fprintf (config
.map_file
, "QUAD ");
1382 print_dot
+= QUAD_SIZE
;
1386 exp_print_tree (data
->exp
);
1388 fprintf (config
.map_file
, "\n");
1391 /* Print a reloc statement. */
1394 print_reloc_statement (reloc
)
1395 lang_reloc_statement_type
*reloc
;
1402 /* ASSERT(print_dot == data->output_vma);*/
1404 print_address (reloc
->output_vma
+ reloc
->output_section
->vma
);
1406 print_address (reloc
->addend_value
);
1409 fprintf (config
.map_file
, "RELOC %s ", reloc
->howto
->name
);
1411 print_dot
+= bfd_get_reloc_size (reloc
->howto
);
1413 exp_print_tree (reloc
->addend_exp
);
1415 fprintf (config
.map_file
, "\n");
1419 print_padding_statement (s
)
1420 lang_padding_statement_type
* s
;
1424 print_section ("*fill*");
1426 print_address (s
->output_offset
+ s
->output_section
->vma
);
1428 print_size (s
->size
);
1430 print_fill (s
->fill
);
1433 print_dot
= s
->output_offset
+ s
->output_section
->vma
+ s
->size
;
1438 print_wild_statement (w
, os
)
1439 lang_wild_statement_type
* w
;
1440 lang_output_section_statement_type
* os
;
1442 fprintf (config
.map_file
, " from ");
1443 if (w
->filename
!= (char *) NULL
)
1445 fprintf (config
.map_file
, "%s", w
->filename
);
1449 fprintf (config
.map_file
, "*");
1451 if (w
->section_name
!= (char *) NULL
)
1453 fprintf (config
.map_file
, "(%s)", w
->section_name
);
1457 fprintf (config
.map_file
, "(*)");
1460 print_statement (w
->children
.head
, os
);
1464 print_statement (s
, os
)
1465 lang_statement_union_type
* s
;
1466 lang_output_section_statement_type
* os
;
1470 switch (s
->header
.type
)
1472 case lang_constructors_statement_enum
:
1473 fprintf (config
.map_file
, "constructors:\n");
1474 print_statement (constructor_list
.head
, os
);
1476 case lang_wild_statement_enum
:
1477 print_wild_statement (&s
->wild_statement
, os
);
1480 fprintf (config
.map_file
, "Fail with %d\n", s
->header
.type
);
1483 case lang_address_statement_enum
:
1484 fprintf (config
.map_file
, "address\n");
1486 case lang_object_symbols_statement_enum
:
1487 fprintf (config
.map_file
, "object symbols\n");
1489 case lang_fill_statement_enum
:
1490 print_fill_statement (&s
->fill_statement
);
1492 case lang_data_statement_enum
:
1493 print_data_statement (&s
->data_statement
);
1495 case lang_reloc_statement_enum
:
1496 print_reloc_statement (&s
->reloc_statement
);
1498 case lang_input_section_enum
:
1499 print_input_section (&s
->input_section
);
1501 case lang_padding_statement_enum
:
1502 print_padding_statement (&s
->padding_statement
);
1504 case lang_output_section_statement_enum
:
1505 print_output_section_statement (&s
->output_section_statement
);
1507 case lang_assignment_statement_enum
:
1508 print_assignment (&s
->assignment_statement
,
1511 case lang_target_statement_enum
:
1512 fprintf (config
.map_file
, "TARGET(%s)\n", s
->target_statement
.target
);
1514 case lang_output_statement_enum
:
1515 fprintf (config
.map_file
, "OUTPUT(%s %s)\n",
1516 s
->output_statement
.name
,
1517 output_target
? output_target
: "");
1519 case lang_input_statement_enum
:
1520 print_input_statement (&s
->input_statement
);
1522 case lang_afile_asection_pair_statement_enum
:
1534 print_statement (statement_list
.head
,
1535 abs_output_section
);
1540 insert_pad (this_ptr
, fill
, power
, output_section_statement
, dot
)
1541 lang_statement_union_type
** this_ptr
;
1544 asection
* output_section_statement
;
1547 /* Align this section first to the
1548 input sections requirement, then
1549 to the output section's requirement.
1550 If this alignment is > than any seen before,
1551 then record it too. Perform the alignment by
1552 inserting a magic 'padding' statement.
1555 unsigned int alignment_needed
= align_power (dot
, power
) - dot
;
1557 if (alignment_needed
!= 0)
1559 lang_statement_union_type
*new =
1560 (lang_statement_union_type
*)
1561 stat_alloc ((bfd_size_type
) (sizeof (lang_padding_statement_type
)));
1563 /* Link into existing chain */
1564 new->header
.next
= *this_ptr
;
1566 new->header
.type
= lang_padding_statement_enum
;
1567 new->padding_statement
.output_section
= output_section_statement
;
1568 new->padding_statement
.output_offset
=
1569 dot
- output_section_statement
->vma
;
1570 new->padding_statement
.fill
= fill
;
1571 new->padding_statement
.size
= alignment_needed
;
1575 /* Remember the most restrictive alignment */
1576 if (power
> output_section_statement
->alignment_power
)
1578 output_section_statement
->alignment_power
= power
;
1580 output_section_statement
->_raw_size
+= alignment_needed
;
1581 return alignment_needed
+ dot
;
1585 /* Work out how much this section will move the dot point */
1587 size_input_section (this_ptr
, output_section_statement
, fill
, dot
, relax
)
1588 lang_statement_union_type
** this_ptr
;
1589 lang_output_section_statement_type
* output_section_statement
;
1594 lang_input_section_type
*is
= &((*this_ptr
)->input_section
);
1595 asection
*i
= is
->section
;
1597 if (is
->ifile
->just_syms_flag
== false)
1599 if (output_section_statement
->subsection_alignment
!= -1)
1600 i
->alignment_power
=
1601 output_section_statement
->subsection_alignment
;
1603 dot
= insert_pad (this_ptr
, fill
, i
->alignment_power
,
1604 output_section_statement
->bfd_section
, dot
);
1606 /* Remember where in the output section this input section goes */
1608 i
->output_offset
= dot
- output_section_statement
->bfd_section
->vma
;
1610 /* Mark how big the output section must be to contain this now
1612 if (i
->_cooked_size
!= 0)
1613 dot
+= i
->_cooked_size
;
1615 dot
+= i
->_raw_size
;
1616 output_section_statement
->bfd_section
->_raw_size
= dot
- output_section_statement
->bfd_section
->vma
;
1620 i
->output_offset
= i
->vma
- output_section_statement
->bfd_section
->vma
;
1626 /* This variable indicates whether bfd_relax_section should be called
1629 static boolean relax_again
;
1631 /* Set the sizes for all the output sections. */
1634 lang_size_sections (s
, output_section_statement
, prev
, fill
, dot
, relax
)
1635 lang_statement_union_type
* s
;
1636 lang_output_section_statement_type
* output_section_statement
;
1637 lang_statement_union_type
** prev
;
1642 /* Size up the sections from their constituent parts */
1643 for (; s
!= (lang_statement_union_type
*) NULL
; s
= s
->next
)
1645 switch (s
->header
.type
)
1648 case lang_output_section_statement_enum
:
1651 lang_output_section_statement_type
*os
= &s
->output_section_statement
;
1653 /* If this is a shared library section, don't change the size
1655 if (os
->bfd_section
->flags
& SEC_SHARED_LIBRARY
)
1658 if (os
->bfd_section
== &bfd_abs_section
)
1660 /* No matter what happens, an abs section starts at zero */
1661 bfd_set_section_vma (0, os
->bfd_section
, 0);
1665 if (os
->addr_tree
== (etree_type
*) NULL
)
1667 /* No address specified for this section, get one
1668 from the region specification
1670 if (os
->region
== (lang_memory_region_type
*) NULL
)
1672 os
->region
= lang_memory_region_lookup ("*default*");
1674 dot
= os
->region
->current
;
1680 r
= exp_fold_tree (os
->addr_tree
,
1682 lang_allocating_phase_enum
,
1684 if (r
.valid
== false)
1686 einfo ("%F%S: non constant address expression for section %s\n",
1691 /* The section starts here */
1692 /* First, align to what the section needs */
1694 if (os
->section_alignment
!= -1)
1695 dot
= align_power (dot
, os
->section_alignment
);
1697 bfd_set_section_vma (0, os
->bfd_section
, dot
);
1699 if (os
->load_base
) {
1700 os
->bfd_section
->lma
1701 = exp_get_value_int(os
->load_base
, 0,"load base", lang_final_phase_enum
);
1706 os
->bfd_section
->output_offset
= 0;
1708 (void) lang_size_sections (os
->children
.head
, os
, &os
->children
.head
,
1709 os
->fill
, dot
, relax
);
1710 /* Ignore the size of the input sections, use the vma and size to */
1713 after
= ALIGN_N (os
->bfd_section
->vma
+
1714 os
->bfd_section
->_raw_size
,
1715 /* The coercion here is important, see ld.h. */
1716 (bfd_vma
) os
->block_value
);
1718 os
->bfd_section
->_raw_size
= after
- os
->bfd_section
->vma
;
1719 dot
= os
->bfd_section
->vma
+ os
->bfd_section
->_raw_size
;
1720 os
->processed
= true;
1722 /* Replace into region ? */
1723 if (os
->addr_tree
== (etree_type
*) NULL
1724 && os
->region
!= (lang_memory_region_type
*) NULL
)
1726 os
->region
->current
= dot
;
1727 /* Make sure this isn't silly */
1728 if (( os
->region
->current
1729 > os
->region
->origin
+ os
->region
->length
)
1730 || ( os
->region
->origin
> os
->region
->current
))
1732 einfo ("%X%P: region %s is full (%B section %s)\n",
1734 os
->bfd_section
->owner
,
1735 os
->bfd_section
->name
);
1736 /* Reset the region pointer */
1737 os
->region
->current
= 0;
1745 case lang_constructors_statement_enum
:
1746 dot
= lang_size_sections (constructor_list
.head
,
1747 output_section_statement
,
1748 &s
->wild_statement
.children
.head
,
1753 case lang_data_statement_enum
:
1755 unsigned int size
= 0;
1757 s
->data_statement
.output_vma
= dot
- output_section_statement
->bfd_section
->vma
;
1758 s
->data_statement
.output_section
=
1759 output_section_statement
->bfd_section
;
1761 switch (s
->data_statement
.type
)
1778 output_section_statement
->bfd_section
->_raw_size
+= size
;
1782 case lang_reloc_statement_enum
:
1786 s
->reloc_statement
.output_vma
=
1787 dot
- output_section_statement
->bfd_section
->vma
;
1788 s
->reloc_statement
.output_section
=
1789 output_section_statement
->bfd_section
;
1790 size
= bfd_get_reloc_size (s
->reloc_statement
.howto
);
1792 output_section_statement
->bfd_section
->_raw_size
+= size
;
1796 case lang_wild_statement_enum
:
1798 dot
= lang_size_sections (s
->wild_statement
.children
.head
,
1799 output_section_statement
,
1800 &s
->wild_statement
.children
.head
,
1806 case lang_object_symbols_statement_enum
:
1807 link_info
.create_object_symbols_section
=
1808 output_section_statement
->bfd_section
;
1810 case lang_output_statement_enum
:
1811 case lang_target_statement_enum
:
1813 case lang_input_section_enum
:
1817 i
= (*prev
)->input_section
.section
;
1819 i
->_cooked_size
= i
->_raw_size
;
1824 if (! bfd_relax_section (i
->owner
, i
, &link_info
, &again
))
1825 einfo ("%P%F: can't relax section: %E\n");
1829 dot
= size_input_section (prev
,
1830 output_section_statement
,
1831 output_section_statement
->fill
,
1835 case lang_input_statement_enum
:
1837 case lang_fill_statement_enum
:
1838 s
->fill_statement
.output_section
= output_section_statement
->bfd_section
;
1840 fill
= s
->fill_statement
.fill
;
1842 case lang_assignment_statement_enum
:
1844 bfd_vma newdot
= dot
;
1846 exp_fold_tree (s
->assignment_statement
.exp
,
1847 output_section_statement
,
1848 lang_allocating_phase_enum
,
1852 if (newdot
!= dot
&& !relax
)
1853 /* We've been moved ! so insert a pad */
1855 lang_statement_union_type
*new =
1856 (lang_statement_union_type
*)
1857 stat_alloc ((bfd_size_type
) (sizeof (lang_padding_statement_type
)));
1859 /* Link into existing chain */
1860 new->header
.next
= *prev
;
1862 new->header
.type
= lang_padding_statement_enum
;
1863 new->padding_statement
.output_section
=
1864 output_section_statement
->bfd_section
;
1865 new->padding_statement
.output_offset
=
1866 dot
- output_section_statement
->bfd_section
->vma
;
1867 new->padding_statement
.fill
= fill
;
1868 new->padding_statement
.size
= newdot
- dot
;
1869 output_section_statement
->bfd_section
->_raw_size
+=
1870 new->padding_statement
.size
;
1877 case lang_padding_statement_enum
:
1878 /* If we are relaxing, and this is not the first pass, some
1879 padding statements may have been inserted during previous
1880 passes. We may have to move the padding statement to a new
1881 location if dot has a different value at this point in this
1882 pass than it did at this point in the previous pass. */
1883 s
->padding_statement
.output_offset
=
1884 dot
- output_section_statement
->bfd_section
->vma
;
1885 dot
+= s
->padding_statement
.size
;
1892 /* This can only get here when relaxing is turned on */
1894 case lang_address_statement_enum
:
1897 prev
= &s
->header
.next
;
1903 lang_do_assignments (s
, output_section_statement
, fill
, dot
)
1904 lang_statement_union_type
* s
;
1905 lang_output_section_statement_type
* output_section_statement
;
1909 for (; s
!= (lang_statement_union_type
*) NULL
; s
= s
->next
)
1911 switch (s
->header
.type
)
1913 case lang_constructors_statement_enum
:
1914 dot
= lang_do_assignments (constructor_list
.head
,
1915 output_section_statement
,
1920 case lang_output_section_statement_enum
:
1922 lang_output_section_statement_type
*os
=
1923 &(s
->output_section_statement
);
1925 dot
= os
->bfd_section
->vma
;
1926 (void) lang_do_assignments (os
->children
.head
, os
, os
->fill
, dot
);
1927 dot
= os
->bfd_section
->vma
+ os
->bfd_section
->_raw_size
;
1930 case lang_wild_statement_enum
:
1932 dot
= lang_do_assignments (s
->wild_statement
.children
.head
,
1933 output_section_statement
,
1938 case lang_object_symbols_statement_enum
:
1939 case lang_output_statement_enum
:
1940 case lang_target_statement_enum
:
1942 case lang_common_statement_enum
:
1945 case lang_data_statement_enum
:
1947 etree_value_type value
;
1949 value
= exp_fold_tree (s
->data_statement
.exp
,
1951 lang_final_phase_enum
, dot
, &dot
);
1952 s
->data_statement
.value
= value
.value
;
1953 if (value
.valid
== false)
1954 einfo ("%F%P: invalid data statement\n");
1956 switch (s
->data_statement
.type
)
1973 case lang_reloc_statement_enum
:
1975 etree_value_type value
;
1977 value
= exp_fold_tree (s
->reloc_statement
.addend_exp
,
1979 lang_final_phase_enum
, dot
, &dot
);
1980 s
->reloc_statement
.addend_value
= value
.value
;
1981 if (value
.valid
== false)
1982 einfo ("%F%P: invalid reloc statement\n");
1984 dot
+= bfd_get_reloc_size (s
->reloc_statement
.howto
);
1987 case lang_input_section_enum
:
1989 asection
*in
= s
->input_section
.section
;
1991 if (in
->_cooked_size
!= 0)
1992 dot
+= in
->_cooked_size
;
1994 dot
+= in
->_raw_size
;
1998 case lang_input_statement_enum
:
2000 case lang_fill_statement_enum
:
2001 fill
= s
->fill_statement
.fill
;
2003 case lang_assignment_statement_enum
:
2005 exp_fold_tree (s
->assignment_statement
.exp
,
2006 output_section_statement
,
2007 lang_final_phase_enum
,
2013 case lang_padding_statement_enum
:
2014 dot
+= s
->padding_statement
.size
;
2019 case lang_address_statement_enum
:
2030 struct bfd_link_hash_entry
*h
;
2031 boolean warn
= link_info
.relocateable
? false : true;
2033 if (entry_symbol
== (char *) NULL
)
2035 /* No entry has been specified. Look for start, but don't warn
2036 if we don't find it. */
2037 entry_symbol
= "start";
2041 h
= bfd_link_hash_lookup (link_info
.hash
, entry_symbol
, false, false, true);
2042 if (h
!= (struct bfd_link_hash_entry
*) NULL
2043 && h
->type
== bfd_link_hash_defined
)
2047 val
= (h
->u
.def
.value
2048 + bfd_get_section_vma (output_bfd
,
2049 h
->u
.def
.section
->output_section
)
2050 + h
->u
.def
.section
->output_offset
);
2051 if (! bfd_set_start_address (output_bfd
, val
))
2052 einfo ("%P%F:%s: can't set start address\n", entry_symbol
);
2058 /* Can't find the entry symbol. Use the first address in the
2060 ts
= bfd_get_section_by_name (output_bfd
, ".text");
2061 if (ts
!= (asection
*) NULL
)
2064 einfo ("%P: warning: cannot find entry symbol %s; defaulting to %V\n",
2065 entry_symbol
, bfd_get_section_vma (output_bfd
, ts
));
2066 if (! bfd_set_start_address (output_bfd
,
2067 bfd_get_section_vma (output_bfd
, ts
)))
2068 einfo ("%P%F: can't set start address\n");
2073 einfo ("%P: warning: cannot find entry symbol %s; not setting start address\n",
2079 /* By now we know the target architecture, and we may have an */
2080 /* ldfile_output_machine_name */
2084 lang_statement_union_type
*file
;
2086 unsigned long input_machine
;
2087 enum bfd_architecture input_architecture
;
2088 CONST bfd_arch_info_type
*compatible
;
2090 for (file
= file_chain
.head
;
2091 file
!= (lang_statement_union_type
*) NULL
;
2092 file
= file
->input_statement
.next
)
2094 input_bfd
= file
->input_statement
.the_bfd
;
2096 input_machine
= bfd_get_mach (input_bfd
);
2097 input_architecture
= bfd_get_arch (input_bfd
);
2100 /* Inspect the architecture and ensure we're linking like with
2103 compatible
= bfd_arch_get_compatible (input_bfd
,
2108 ldfile_output_machine
= compatible
->mach
;
2109 ldfile_output_architecture
= compatible
->arch
;
2114 einfo ("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n",
2115 bfd_printable_name (input_bfd
), input_bfd
,
2116 bfd_printable_name (output_bfd
));
2118 if (! bfd_set_arch_mach (output_bfd
,
2121 einfo ("%P%F:%s: can't set architecture: %E\n",
2122 bfd_get_filename (output_bfd
));
2128 /* Look through all the global common symbols and attach them to the
2129 correct section. The -sort-common command line switch may be used
2130 to roughly sort the entries by size. */
2135 if (link_info
.relocateable
2136 && ! command_line
.force_common_definition
)
2139 if (! config
.sort_common
)
2140 bfd_link_hash_traverse (link_info
.hash
, lang_one_common
, (PTR
) NULL
);
2145 for (power
= 1; power
<= 16; power
<<= 1)
2146 bfd_link_hash_traverse (link_info
.hash
, lang_one_common
,
2151 /* Place one common symbol in the correct section. */
2154 lang_one_common (h
, info
)
2155 struct bfd_link_hash_entry
*h
;
2158 unsigned int power_of_two
;
2163 if (h
->type
!= bfd_link_hash_common
)
2196 if (config
.sort_common
&& align
!= *(unsigned int *) info
)
2199 section
= h
->u
.c
.section
;
2201 /* Increase the size of the section. */
2202 section
->_raw_size
= ALIGN_N (section
->_raw_size
, align
);
2204 /* Adjust the alignment if necessary. */
2205 if (power_of_two
> section
->alignment_power
)
2206 section
->alignment_power
= power_of_two
;
2208 /* Change the symbol from common to defined. */
2209 h
->type
= bfd_link_hash_defined
;
2210 h
->u
.def
.section
= section
;
2211 h
->u
.def
.value
= section
->_raw_size
;
2213 /* Increase the size of the section. */
2214 section
->_raw_size
+= size
;
2216 if (config
.map_file
!= NULL
)
2217 fprintf (config
.map_file
, "Allocating common %s: %lx at %lx %s\n",
2218 h
->root
.string
, (unsigned long) size
,
2219 (unsigned long) h
->u
.def
.value
, section
->owner
->filename
);
2225 run through the input files and ensure that every input
2226 section has somewhere to go. If one is found without
2227 a destination then create an input request and place it
2228 into the statement tree.
2232 lang_place_orphans ()
2234 lang_input_statement_type
*file
;
2236 for (file
= (lang_input_statement_type
*) file_chain
.head
;
2237 file
!= (lang_input_statement_type
*) NULL
;
2238 file
= (lang_input_statement_type
*) file
->next
)
2242 for (s
= file
->the_bfd
->sections
;
2243 s
!= (asection
*) NULL
;
2246 if (s
->output_section
== (asection
*) NULL
)
2248 /* This section of the file is not attatched, root
2249 around for a sensible place for it to go */
2251 if (file
->common_section
== s
)
2253 /* This is a lonely common section which must
2254 have come from an archive. We attatch to the
2255 section with the wildcard */
2256 if (! link_info
.relocateable
2257 && ! command_line
.force_common_definition
)
2259 if (default_common_section
==
2260 (lang_output_section_statement_type
*) NULL
)
2262 info_msg ("%P: no [COMMON] command, defaulting to .bss\n");
2264 default_common_section
=
2265 lang_output_section_statement_lookup (".bss");
2268 wild_doit (&default_common_section
->children
, s
,
2269 default_common_section
, file
);
2274 lang_output_section_statement_type
*os
=
2275 lang_output_section_statement_lookup (s
->name
);
2277 wild_doit (&os
->children
, s
, os
, file
);
2286 lang_set_flags (ptr
, flags
)
2290 boolean state
= false;
2305 /* ptr->flag_read = state; */
2308 /* ptr->flag_write = state; */
2311 /* ptr->flag_executable= state;*/
2315 /* ptr->flag_loadable= state;*/
2318 einfo ("%P%F: invalid syntax in flags\n");
2328 lang_for_each_file (func
)
2329 void (*func
) PARAMS ((lang_input_statement_type
*));
2331 lang_input_statement_type
*f
;
2333 for (f
= (lang_input_statement_type
*) file_chain
.head
;
2334 f
!= (lang_input_statement_type
*) NULL
;
2335 f
= (lang_input_statement_type
*) f
->next
)
2346 lang_for_each_input_section (func
)
2347 void (*func
) PARAMS ((bfd
* ab
, asection
* as
));
2349 lang_input_statement_type
*f
;
2351 for (f
= (lang_input_statement_type
*) file_chain
.head
;
2352 f
!= (lang_input_statement_type
*) NULL
;
2353 f
= (lang_input_statement_type
*) f
->next
)
2357 for (s
= f
->the_bfd
->sections
;
2358 s
!= (asection
*) NULL
;
2361 func (f
->the_bfd
, s
);
2369 ldlang_add_file (entry
)
2370 lang_input_statement_type
* entry
;
2374 lang_statement_append (&file_chain
,
2375 (lang_statement_union_type
*) entry
,
2378 /* The BFD linker needs to have a list of all input BFDs involved in
2380 ASSERT (entry
->the_bfd
->link_next
== (bfd
*) NULL
);
2381 ASSERT (entry
->the_bfd
!= output_bfd
);
2382 for (pp
= &link_info
.input_bfds
;
2383 *pp
!= (bfd
*) NULL
;
2384 pp
= &(*pp
)->link_next
)
2386 *pp
= entry
->the_bfd
;
2387 entry
->the_bfd
->usrdata
= (PTR
) entry
;
2388 bfd_set_gp_size (entry
->the_bfd
, g_switch_value
);
2392 lang_add_output (name
, from_script
)
2396 /* Make -o on command line override OUTPUT in script. */
2397 if (had_output_filename
== false || !from_script
)
2399 output_filename
= name
;
2400 had_output_filename
= true;
2405 static lang_output_section_statement_type
*current_section
;
2407 static int topower(x
)
2412 if (x
< 0) return -1;
2413 for (l
= 0; l
< 32; l
++)
2415 if (i
>= x
) return l
;
2421 lang_enter_output_section_statement (output_section_statement_name
,
2422 address_exp
, flags
, block_value
,
2423 align
, subalign
, ebase
)
2424 const char *output_section_statement_name
;
2425 etree_type
* address_exp
;
2427 bfd_vma block_value
;
2429 etree_type
*subalign
;
2432 lang_output_section_statement_type
*os
;
2436 lang_output_section_statement_lookup (output_section_statement_name
);
2440 /* Add this statement to tree */
2441 /* add_statement(lang_output_section_statement_enum,
2442 output_section_statement);*/
2443 /* Make next things chain into subchain of this */
2445 if (os
->addr_tree
==
2446 (etree_type
*) NULL
)
2452 if (flags
& SEC_NEVER_LOAD
)
2456 os
->block_value
= block_value
? block_value
: 1;
2457 stat_ptr
= &os
->children
;
2459 os
->subsection_alignment
= topower(
2460 exp_get_value_int(subalign
, -1,
2461 "subsection alignment",
2463 os
->section_alignment
= topower(
2464 exp_get_value_int(align
, -1,
2465 "section alignment", 0));
2467 os
->load_base
= ebase
;
2474 lang_output_statement_type
*new =
2475 new_stat (lang_output_statement
, stat_ptr
);
2477 new->name
= output_filename
;
2480 /* Reset the current counters in the regions */
2482 reset_memory_regions ()
2484 lang_memory_region_type
*p
= lang_memory_region_list
;
2486 for (p
= lang_memory_region_list
;
2487 p
!= (lang_memory_region_type
*) NULL
;
2490 p
->old_length
= (bfd_size_type
) (p
->current
- p
->origin
);
2491 p
->current
= p
->origin
;
2498 lang_reasonable_defaults ();
2499 current_target
= default_target
;
2501 lang_for_each_statement (ldlang_open_output
); /* Open the output file */
2502 /* For each output section statement, create a section in the output
2504 lang_create_output_section_statements ();
2506 ldemul_create_output_section_statements ();
2508 /* Add to the hash table all undefineds on the command line */
2509 lang_place_undefineds ();
2511 /* Create a bfd for each input file */
2512 current_target
= default_target
;
2513 lang_for_each_statement (open_input_bfds
);
2515 /* Build all sets based on the information gathered from the input
2517 ldctor_build_sets ();
2519 /* Size up the common data */
2522 /* Run through the contours of the script and attatch input sections
2523 to the correct output sections
2525 map_input_to_output_sections (statement_list
.head
, (char *) NULL
,
2526 (lang_output_section_statement_type
*) NULL
);
2529 /* Find any sections not attatched explicitly and handle them */
2530 lang_place_orphans ();
2532 ldemul_before_allocation ();
2534 /* Now run around and relax if we can */
2535 if (command_line
.relax
)
2537 /* First time round is a trial run to get the 'worst case'
2538 addresses of the objects if there was no relaxing. */
2539 lang_size_sections (statement_list
.head
,
2541 &(statement_list
.head
), 0, (bfd_vma
) 0, false);
2544 reset_memory_regions ();
2546 /* Keep relaxing until bfd_relax_section gives up. */
2549 relax_again
= false;
2551 /* Do all the assignments with our current guesses as to
2553 lang_do_assignments (statement_list
.head
,
2555 (fill_type
) 0, (bfd_vma
) 0);
2557 /* Perform another relax pass - this time we know where the
2558 globals are, so can make better guess. */
2559 lang_size_sections (statement_list
.head
,
2561 &(statement_list
.head
), 0, (bfd_vma
) 0, true);
2563 while (relax_again
);
2567 /* Size up the sections. */
2568 lang_size_sections (statement_list
.head
,
2570 &(statement_list
.head
), 0, (bfd_vma
) 0, false);
2573 /* See if anything special should be done now we know how big
2575 ldemul_after_allocation ();
2577 /* Do all the assignments, now that we know the final restingplaces
2578 of all the symbols */
2580 lang_do_assignments (statement_list
.head
,
2582 (fill_type
) 0, (bfd_vma
) 0);
2584 /* Make sure that we're not mixing architectures */
2594 /* EXPORTED TO YACC */
2597 lang_add_wild (section_name
, filename
)
2598 CONST
char *CONST section_name
;
2599 CONST
char *CONST filename
;
2601 lang_wild_statement_type
*new = new_stat (lang_wild_statement
,
2604 if (section_name
!= (char *) NULL
&& strcmp (section_name
, "COMMON") == 0)
2606 placed_commons
= true;
2608 if (filename
!= (char *) NULL
)
2610 lang_has_input_file
= true;
2612 new->section_name
= section_name
;
2613 new->filename
= filename
;
2614 lang_list_init (&new->children
);
2618 lang_section_start (name
, address
)
2620 etree_type
* address
;
2622 lang_address_statement_type
*ad
= new_stat (lang_address_statement
, stat_ptr
);
2624 ad
->section_name
= name
;
2625 ad
->address
= address
;
2629 lang_add_entry (name
)
2632 entry_symbol
= name
;
2636 lang_add_target (name
)
2639 lang_target_statement_type
*new = new_stat (lang_target_statement
,
2655 map_option_f
= true;
2666 lang_fill_statement_type
*new = new_stat (lang_fill_statement
,
2673 lang_add_data (type
, exp
)
2675 union etree_union
*exp
;
2678 lang_data_statement_type
*new = new_stat (lang_data_statement
,
2686 /* Create a new reloc statement. RELOC is the BFD relocation type to
2687 generate. HOWTO is the corresponding howto structure (we could
2688 look this up, but the caller has already done so). SECTION is the
2689 section to generate a reloc against, or NAME is the name of the
2690 symbol to generate a reloc against. Exactly one of SECTION and
2691 NAME must be NULL. ADDEND is an expression for the addend. */
2694 lang_add_reloc (reloc
, howto
, section
, name
, addend
)
2695 bfd_reloc_code_real_type reloc
;
2696 const reloc_howto_type
*howto
;
2699 union etree_union
*addend
;
2701 lang_reloc_statement_type
*p
= new_stat (lang_reloc_statement
, stat_ptr
);
2705 p
->section
= section
;
2707 p
->addend_exp
= addend
;
2709 p
->addend_value
= 0;
2710 p
->output_section
= NULL
;
2715 lang_add_assignment (exp
)
2718 lang_assignment_statement_type
*new = new_stat (lang_assignment_statement
,
2725 lang_add_attribute (attribute
)
2726 enum statement_enum attribute
;
2728 new_statement (attribute
, sizeof (lang_statement_union_type
), stat_ptr
);
2735 if (startup_file
!= (char *) NULL
)
2737 einfo ("%P%Fmultiple STARTUP files\n");
2739 first_file
->filename
= name
;
2740 first_file
->local_sym_name
= name
;
2741 first_file
->real
= true;
2743 startup_file
= name
;
2750 lang_float_flag
= maybe
;
2754 lang_leave_output_section_statement (fill
, memspec
)
2756 CONST
char *memspec
;
2758 current_section
->fill
= fill
;
2759 current_section
->region
= lang_memory_region_lookup (memspec
);
2760 stat_ptr
= &statement_list
;
2762 /* We remember if we are closing a .data section, since we use it to
2763 store constructors in */
2764 if (strcmp (current_section
->name
, ".data") == 0)
2766 end_of_data_section_statement_list
= statement_list
;
2772 Create an absolute symbol with the given name with the value of the
2773 address of first byte of the section named.
2775 If the symbol already exists, then do nothing.
2778 lang_abs_symbol_at_beginning_of (secname
, name
)
2779 const char *secname
;
2782 struct bfd_link_hash_entry
*h
;
2784 h
= bfd_link_hash_lookup (link_info
.hash
, name
, true, true, true);
2785 if (h
== (struct bfd_link_hash_entry
*) NULL
)
2786 einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
2788 if (h
->type
== bfd_link_hash_new
2789 || h
->type
== bfd_link_hash_undefined
)
2793 h
->type
= bfd_link_hash_defined
;
2795 sec
= bfd_get_section_by_name (output_bfd
, secname
);
2796 if (sec
== (asection
*) NULL
)
2799 h
->u
.def
.value
= bfd_get_section_vma (output_bfd
, sec
);
2801 h
->u
.def
.section
= &bfd_abs_section
;
2806 Create an absolute symbol with the given name with the value of the
2807 address of the first byte after the end of the section named.
2809 If the symbol already exists, then do nothing.
2812 lang_abs_symbol_at_end_of (secname
, name
)
2813 const char *secname
;
2816 struct bfd_link_hash_entry
*h
;
2818 h
= bfd_link_hash_lookup (link_info
.hash
, name
, true, true, true);
2819 if (h
== (struct bfd_link_hash_entry
*) NULL
)
2820 einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
2822 if (h
->type
== bfd_link_hash_new
2823 || h
->type
== bfd_link_hash_undefined
)
2827 h
->type
= bfd_link_hash_defined
;
2829 sec
= bfd_get_section_by_name (output_bfd
, secname
);
2830 if (sec
== (asection
*) NULL
)
2833 h
->u
.def
.value
= (bfd_get_section_vma (output_bfd
, sec
)
2834 + bfd_section_size (output_bfd
, sec
));
2836 h
->u
.def
.section
= &bfd_abs_section
;
2841 lang_statement_append (list
, element
, field
)
2842 lang_statement_list_type
* list
;
2843 lang_statement_union_type
* element
;
2844 lang_statement_union_type
** field
;
2846 *(list
->tail
) = element
;
2850 /* Set the output format type. -oformat overrides scripts. */
2852 lang_add_output_format (format
, from_script
)
2856 if (output_target
== NULL
|| !from_script
)
2857 output_target
= format
;