1 /* Object file "section" support for the BFD library.
2 Copyright (C) 1990, 1991, 1992, 1993 Free Software Foundation, Inc.
3 Written by Cygnus Support.
5 This file is part of BFD, the Binary File Descriptor library.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
25 Sections are supported in BFD in <<section.c>>.
27 The raw data contained within a BFD is maintained through the
28 section abstraction. A single BFD may have any number of
29 sections, and keeps hold of them by pointing to the first,
30 each one points to the next in the list.
36 @* section prototypes::
40 Section Input, Section Output, Sections, Sections
44 When a BFD is opened for reading, the section structures are
45 created and attached to the BFD.
47 Each section has a name which describes the section in the
48 outside world - for example, <<a.out>> would contain at least
49 three sections, called <<.text>>, <<.data>> and <<.bss>>.
51 Sometimes a BFD will contain more than the 'natural' number of
52 sections. A back end may attach other sections containing
53 constructor data, or an application may add a section (using
54 bfd_make_section) to the sections attached to an already open
55 BFD. For example, the linker creates a supernumary section
56 <<COMMON>> for each input file's BFD to hold information about
59 The raw data is not necessarily read in at the same time as
60 the section descriptor is created. Some targets may leave the
61 data in place until a <<bfd_get_section_contents>> call is
62 made. Other back ends may read in all the data at once - For
63 example; an S-record file has to be read once to determine the
64 size of the data. An IEEE-695 file doesn't contain raw data in
65 sections, but data and relocation expressions intermixed, so
66 the data area has to be parsed to get out the data and
70 Section Output, typedef asection, Section Input, Sections
75 To write a new object style BFD, the various sections to be
76 written have to be created. They are attached to the BFD in
77 the same way as input sections, data is written to the
78 sections using <<bfd_set_section_contents>>.
80 Any program that creates or combines sections (e.g., the assembler
81 and linker) must use the fields <<output_section>> and
82 <<output_offset>> to indicate the file sections to which each
83 section must be written. (If the section is being created from
84 scratch, <<output_section>> should probably point to the section
85 itself, and <<output_offset>> should probably be zero.)
87 The data to be written comes from input sections attached to
88 the output sections. The output section structure can be
89 considered a filter for the input section, the output section
90 determines the vma of the output data and the name, but the
91 input section determines the offset into the output section of
92 the data to be written.
94 E.g., to create a section "O", starting at 0x100, 0x123 long,
95 containing two subsections, "A" at offset 0x0 (ie at vma
96 0x100) and "B" at offset 0x20 (ie at vma 0x120) the structures
102 | output_section -----------> section name "O"
104 | section name "B" | size 0x123
105 | output_offset 0x20 |
107 | output_section --------|
113 The data within a section is stored in a <<seglet>>. These
114 are much like the fixups in <<gas>>. The seglet abstraction
115 allows the a section to grow and shrink within itself.
117 A seglet knows how big it is, and which is the next seglet and
118 where the raw data for it is, and also points to a list of
119 relocations which apply to it.
121 The seglet is used by the linker to perform relaxing on final
122 code. The application creates code which is as big as
123 necessary to make it work without relaxing, and the user can
124 select whether to relax. Sometimes relaxing takes a lot of
125 time. The linker runs around the relocations to see if any
126 are attached to data which can be shrunk, if so it does it on
127 a seglet by seglet basis.
140 typedef asection, section prototypes, Section Output, Sections
144 The shape of a section struct:
150 . {* The name of the section, the name isn't a copy, the pointer is
151 . the same as that passed to bfd_make_section. *}
155 . {* Which section is it 0.nth *}
159 . {* The next section in the list belonging to the BFD, or NULL. *}
163 . {* The field flags contains attributes of the section. Some of
164 . flags are read in from the object file, and some are
165 . synthesized from other information. *}
169 .#define SEC_NO_FLAGS 0x000
171 . {* Tells the OS to allocate space for this section when loaded.
172 . This would clear for a section containing debug information
174 .#define SEC_ALLOC 0x001
176 . {* Tells the OS to load the section from the file when loading.
177 . This would be clear for a .bss section *}
178 .#define SEC_LOAD 0x002
180 . {* The section contains data still to be relocated, so there will
181 . be some relocation information too. *}
182 .#define SEC_RELOC 0x004
184 .#if 0 {* Obsolete ? *}
185 .#define SEC_BALIGN 0x008
188 . {* A signal to the OS that the section contains read only
190 .#define SEC_READONLY 0x010
192 . {* The section contains code only. *}
193 .#define SEC_CODE 0x020
195 . {* The section contains data only. *}
196 .#define SEC_DATA 0x040
198 . {* The section will reside in ROM. *}
199 .#define SEC_ROM 0x080
201 . {* The section contains constructor information. This section
202 . type is used by the linker to create lists of constructors and
203 . destructors used by <<g++>>. When a back end sees a symbol
204 . which should be used in a constructor list, it creates a new
205 . section for the type of name (eg <<__CTOR_LIST__>>), attaches
206 . the symbol to it and builds a relocation. To build the lists
207 . of constructors, all the linker has to to is catenate all the
208 . sections called <<__CTOR_LIST__>> and relocte the data
209 . contained within - exactly the operations it would peform on
211 .#define SEC_CONSTRUCTOR 0x100
213 . {* The section is a constuctor, and should be placed at the
214 . end of the text, data, or bss section(?). *}
215 .#define SEC_CONSTRUCTOR_TEXT 0x1100
216 .#define SEC_CONSTRUCTOR_DATA 0x2100
217 .#define SEC_CONSTRUCTOR_BSS 0x3100
219 . {* The section has contents - a data section could be
220 . <<SEC_ALLOC>> | <<SEC_HAS_CONTENTS>>, a debug section could be
221 . <<SEC_HAS_CONTENTS>> *}
222 .#define SEC_HAS_CONTENTS 0x200
224 . {* An instruction to the linker not to output sections
225 . containing this flag even if they have information which
226 . would normally be written. *}
227 .#define SEC_NEVER_LOAD 0x400
229 . {* The section is a shared library section. The linker must leave
230 . these completely alone, as the vma and size are used when
231 . the executable is loaded. *}
232 .#define SEC_SHARED_LIBRARY 0x800
234 . {* The section is a common section (symbols may be defined
235 . multiple times, the value of a symbol is the amount of
236 . space it requires, and the largest symbol value is the one
237 . used). Most targets have exactly one of these (which we
238 . translate to bfd_com_section), but ECOFF has two. *}
239 .#define SEC_IS_COMMON 0x8000
241 . {* End of section flags. *}
243 . {* The virtual memory address of the section - where it will be
244 . at run time. The symbols are relocated against this. The
245 . user_set_vma flag is maintained by bfd; if it's not set, the
246 . backend can assign addresses (for example, in <<a.out>>, where
247 . the default address for <<.data>> is dependent on the specific
248 . target and various flags). *}
251 . boolean user_set_vma;
253 . {* The load address of the section - where it would be in a
254 . rom image, really only used for writing section header
259 . {* The size of the section in bytes, as it will be output.
260 . contains a value even if the section has no contents (eg, the
261 . size of <<.bss>>). This will be filled in after relocation *}
263 . bfd_size_type _cooked_size;
265 . {* The size on disk of the section in bytes originally. Normally this
266 . value is the same as the size, but if some relaxing has
267 . been done, then this value will be bigger. *}
269 . bfd_size_type _raw_size;
271 . {* If this section is going to be output, then this value is the
272 . offset into the output section of the first byte in the input
273 . section. Eg, if this was going to start at the 100th byte in
274 . the output section, this value would be 100. *}
276 . bfd_vma output_offset;
278 . {* The output section through which to map on output. *}
280 . struct sec *output_section;
282 . {* The alignment requirement of the section, as an exponent - eg
283 . 3 aligns to 2^3 (or 8) *}
285 . unsigned int alignment_power;
287 . {* If an input section, a pointer to a vector of relocation
288 . records for the data in this section. *}
290 . struct reloc_cache_entry *relocation;
292 . {* If an output section, a pointer to a vector of pointers to
293 . relocation records for the data in this section. *}
295 . struct reloc_cache_entry **orelocation;
297 . {* The number of relocation records in one of the above *}
299 . unsigned reloc_count;
301 . {* Information below is back end specific - and not always used
304 . {* File position of section data *}
308 . {* File position of relocation info *}
310 . file_ptr rel_filepos;
312 . {* File position of line data *}
314 . file_ptr line_filepos;
316 . {* Pointer to data for applications *}
320 . struct lang_output_section *otheruserdata;
322 . {* Attached line number information *}
326 . {* Number of line number records *}
328 . unsigned int lineno_count;
330 . {* When a section is being output, this value changes as more
331 . linenumbers are written out *}
333 . file_ptr moving_line_filepos;
335 . {* what the section number is in the target world *}
341 . {* If this is a constructor section then here is a list of the
342 . relocations created to relocate items within it. *}
344 . struct relent_chain *constructor_chain;
346 . {* The BFD which owns the section. *}
350 . boolean reloc_done;
351 . {* A symbol which points at this section only *}
352 . struct symbol_cache_entry *symbol;
353 . struct symbol_cache_entry **symbol_ptr_ptr;
355 . struct bfd_seclet *seclets_head;
356 . struct bfd_seclet *seclets_tail;
360 . {* These sections are global, and are managed by BFD. The application
361 . and target back end are not permitted to change the values in
363 .#define BFD_ABS_SECTION_NAME "*ABS*"
364 .#define BFD_UND_SECTION_NAME "*UND*"
365 .#define BFD_COM_SECTION_NAME "*COM*"
366 .#define BFD_IND_SECTION_NAME "*IND*"
368 . {* the absolute section *}
369 .extern asection bfd_abs_section;
370 . {* Pointer to the undefined section *}
371 .extern asection bfd_und_section;
372 . {* Pointer to the common section *}
373 .extern asection bfd_com_section;
374 . {* Pointer to the indirect section *}
375 .extern asection bfd_ind_section;
377 .extern struct symbol_cache_entry *bfd_abs_symbol;
378 .extern struct symbol_cache_entry *bfd_com_symbol;
379 .extern struct symbol_cache_entry *bfd_und_symbol;
380 .extern struct symbol_cache_entry *bfd_ind_symbol;
381 .#define bfd_get_section_size_before_reloc(section) \
382 . (section->reloc_done ? (abort(),1): (section)->_raw_size)
383 .#define bfd_get_section_size_after_reloc(section) \
384 . ((section->reloc_done) ? (section)->_cooked_size: (abort(),1))
387 /* These symbols are global, not specific to any BFD. Therefore, anything
388 that tries to change them is broken, and should be repaired. */
389 static CONST asymbol global_syms[] = {
390 /* the_bfd, name, value, attr, section [, udata] */
391 { 0, BFD_COM_SECTION_NAME, 0, BSF_SECTION_SYM, &bfd_com_section },
392 { 0, BFD_UND_SECTION_NAME, 0, BSF_SECTION_SYM, &bfd_und_section },
393 { 0, BFD_ABS_SECTION_NAME, 0, BSF_SECTION_SYM, &bfd_abs_section },
394 { 0, BFD_IND_SECTION_NAME, 0, BSF_SECTION_SYM, &bfd_ind_section },
397 #define STD_SECTION(SEC, FLAGS, SYM, NAME, IDX) \
398 asymbol *SYM = (asymbol *) &global_syms[IDX]; \
399 asection SEC = { NAME, 0, 0, FLAGS, 0, 0, (boolean) 0, 0, 0, 0, &SEC,\
400 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, (boolean) 0, \
401 (asymbol *) &global_syms[IDX], &SYM, }
403 STD_SECTION (bfd_com_section, SEC_IS_COMMON, bfd_com_symbol, BFD_COM_SECTION_NAME, 0);
404 STD_SECTION (bfd_und_section, 0, bfd_und_symbol, BFD_UND_SECTION_NAME, 1);
405 STD_SECTION (bfd_abs_section, 0, bfd_abs_symbol, BFD_ABS_SECTION_NAME, 2);
406 STD_SECTION (bfd_ind_section, 0, bfd_ind_symbol, BFD_IND_SECTION_NAME, 3);
412 section prototypes, , typedef asection, Sections
416 These are the functions exported by the section handling part of
422 bfd_get_section_by_name
425 asection *bfd_get_section_by_name(bfd *abfd, CONST char *name);
428 Runs through the provided @var{abfd} and returns the
429 <<asection>> who's name matches that provided, otherwise NULL.
430 @xref{Sections}, for more information.
435 DEFUN(bfd_get_section_by_name,(abfd, name),
441 for (sect = abfd->sections; sect != NULL; sect = sect->next)
442 if (!strcmp (sect->name, name)) return sect;
449 bfd_make_section_old_way
452 asection *bfd_make_section_old_way(bfd *, CONST char *name);
455 This function creates a new empty section called @var{name}
456 and attaches it to the end of the chain of sections for the
457 BFD supplied. An attempt to create a section with a name which
458 is already in use, returns its pointer without changing the
461 It has the funny name since this is the way it used to be
462 before is was rewritten...
465 o invalid_operation -
466 If output has already started for this BFD.
468 If obstack alloc fails.
474 DEFUN(bfd_make_section_old_way,(abfd, name),
478 asection *sec = bfd_get_section_by_name(abfd, name);
479 if (sec == (asection *)NULL)
481 sec = bfd_make_section(abfd, name);
492 asection * bfd_make_section(bfd *, CONST char *name);
495 This function creates a new empty section called @var{name}
496 and attaches it to the end of the chain of sections for the
497 BFD supplied. An attempt to create a section with a name which
498 is already in use, returns NULL without changing the section
502 o invalid_operation - If output has already started for this BFD.
503 o no_memory - If obstack alloc fails.
509 DEFUN(bfd_make_section,(abfd, name),
514 asection ** prev = &abfd->sections;
515 asection * sect = abfd->sections;
517 if (abfd->output_has_begun) {
518 bfd_error = invalid_operation;
522 if (strcmp(name, BFD_ABS_SECTION_NAME) == 0)
524 return &bfd_abs_section;
526 if (strcmp(name, BFD_COM_SECTION_NAME) == 0)
528 return &bfd_com_section;
530 if (strcmp(name, BFD_UND_SECTION_NAME) == 0)
532 return &bfd_und_section;
535 if (strcmp(name, BFD_IND_SECTION_NAME) == 0)
537 return &bfd_ind_section;
541 if (!strcmp(sect->name, name)) return NULL;
546 newsect = (asection *) bfd_zalloc(abfd, sizeof (asection));
547 if (newsect == NULL) {
548 bfd_error = no_memory;
552 newsect->name = name;
553 newsect->index = abfd->section_count++;
554 newsect->flags = SEC_NO_FLAGS;
556 newsect->userdata = 0;
557 newsect->next = (asection *)NULL;
558 newsect->relocation = (arelent *)NULL;
559 newsect->reloc_count = 0;
560 newsect->line_filepos =0;
561 newsect->owner = abfd;
563 /* Create a symbol whos only job is to point to this section. This is
564 useful for things like relocs which are relative to the base of a
566 newsect->symbol = bfd_make_empty_symbol(abfd);
567 newsect->symbol->name = name;
568 newsect->symbol->value = 0;
569 newsect->symbol->section = newsect;
570 newsect->symbol->flags = BSF_SECTION_SYM;
573 newsect->symbol_ptr_ptr = &newsect->symbol;
575 if (BFD_SEND (abfd, _new_section_hook, (abfd, newsect)) != true) {
587 bfd_set_section_flags
590 boolean bfd_set_section_flags(bfd *, asection *, flagword);
593 Attempts to set the attributes of the section named in the BFD
594 supplied to the value. Returns true on success, false on
595 error. Possible error returns are:
597 o invalid operation -
598 The section cannot have one or more of the attributes
599 requested. For example, a .bss section in <<a.out>> may not
600 have the <<SEC_HAS_CONTENTS>> field set.
605 DEFUN(bfd_set_section_flags,(abfd, section, flags),
611 /* If you try to copy a text section from an input file (where it
612 has the SEC_CODE flag set) to an output file, this loses big if
613 the bfd_applicable_section_flags (abfd) doesn't have the SEC_CODE
614 set - which it doesn't, at least not for a.out. FIXME */
616 if ((flags & bfd_applicable_section_flags (abfd)) != flags) {
617 bfd_error = invalid_operation;
622 section->flags = flags;
629 bfd_map_over_sections
632 void bfd_map_over_sections(bfd *abfd,
633 void (*func)(bfd *abfd,
639 Calls the provided function @var{func} for each section
640 attached to the BFD @var{abfd}, passing @var{obj} as an
641 argument. The function will be called as if by
643 | func(abfd, the_section, obj);
645 This is the prefered method for iterating over sections, an
646 alternative would be to use a loop:
649 | for (p = abfd->sections; p != NULL; p = p->next)
657 DEFUN(bfd_map_over_sections,(abfd, operation, user_storage),
659 void (*operation) PARAMS ((bfd *abfd, asection *sect, PTR obj)) AND
665 for (sect = abfd->sections; sect != NULL; i++, sect = sect->next)
666 (*operation) (abfd, sect, user_storage);
668 if (i != abfd->section_count) /* Debugging */
678 boolean bfd_set_section_size(bfd *, asection *, bfd_size_type val);
681 Sets @var{section} to the size @var{val}. If the operation is
682 ok, then <<true>> is returned, else <<false>>.
684 Possible error returns:
685 o invalid_operation -
686 Writing has started to the BFD, so setting the size is invalid
691 DEFUN(bfd_set_section_size,(abfd, ptr, val),
696 /* Once you've started writing to any section you cannot create or change
697 the size of any others. */
699 if (abfd->output_has_begun) {
700 bfd_error = invalid_operation;
704 ptr->_cooked_size = val;
705 ptr->_raw_size = val;
712 bfd_set_section_contents
715 boolean bfd_set_section_contents
720 bfd_size_type count);
724 Sets the contents of the section @var{section} in BFD
725 @var{abfd} to the data starting in memory at @var{data}. The
726 data is written to the output section starting at offset
727 @var{offset} for @var{count} bytes.
731 Normally <<true>> is returned, else <<false>>. Possible error
734 The output section does not have the <<SEC_HAS_CONTENTS>>
735 attribute, so nothing can be written to it.
738 This routine is front end to the back end function
739 <<_bfd_set_section_contents>>.
744 #define bfd_get_section_size_now(abfd,sec) \
746 ? bfd_get_section_size_after_reloc (sec) \
747 : bfd_get_section_size_before_reloc (sec))
750 DEFUN(bfd_set_section_contents,(abfd, section, location, offset, count),
759 if (!bfd_get_section_flags(abfd, section) & SEC_HAS_CONTENTS)
761 bfd_error = no_contents;
768 bfd_error = bad_value;
771 sz = bfd_get_section_size_now (abfd, section);
774 || offset + count > sz)
777 switch (abfd->direction)
781 bfd_error = invalid_operation;
784 case write_direction:
788 /* File is opened for update. `output_has_begun' some time ago when
789 the file was created. Do not recompute sections sizes or alignments
790 in _bfd_set_section_content. */
791 abfd->output_has_begun = true;
795 if (BFD_SEND (abfd, _bfd_set_section_contents,
796 (abfd, section, location, offset, count)))
798 abfd->output_has_begun = true;
807 bfd_get_section_contents
810 boolean bfd_get_section_contents
811 (bfd *abfd, asection *section, PTR location,
812 file_ptr offset, bfd_size_type count);
815 This function reads data from @var{section} in BFD @var{abfd}
816 into memory starting at @var{location}. The data is read at an
817 offset of @var{offset} from the start of the input section,
818 and is read for @var{count} bytes.
820 If the contents of a constuctor with the <<SEC_CONSTUCTOR>>
821 flag set are requested, then the @var{location} is filled with
822 zeroes. If no errors occur, <<true>> is returned, else
829 DEFUN(bfd_get_section_contents,(abfd, section, location, offset, count),
838 if (section->flags & SEC_CONSTRUCTOR)
840 memset(location, 0, (unsigned)count);
847 bfd_error = bad_value;
850 sz = bfd_get_section_size_now (abfd, section);
853 || offset + count > sz)
860 return BFD_SEND (abfd, _bfd_get_section_contents,
861 (abfd, section, location, offset, count));