1 /* ELF object file format
2 Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012
4 Free Software Foundation, Inc.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 3,
11 or (at your option) any later version.
13 GAS is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
16 the GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
23 #define OBJ_HEADER "obj-elf.h"
25 #include "safe-ctype.h"
28 #include "struc-symbol.h"
29 #include "dwarf2dbg.h"
31 #ifndef ECOFF_DEBUGGING
32 #define ECOFF_DEBUGGING 0
34 #define NEED_ECOFF_DEBUG
37 #ifdef NEED_ECOFF_DEBUG
42 #include "elf/alpha.h"
58 #include "elf/x86-64.h"
66 #include "elf/nios2.h"
69 static void obj_elf_line (int);
70 static void obj_elf_size (int);
71 static void obj_elf_type (int);
72 static void obj_elf_ident (int);
73 static void obj_elf_weak (int);
74 static void obj_elf_local (int);
75 static void obj_elf_visibility (int);
76 static void obj_elf_symver (int);
77 static void obj_elf_subsection (int);
78 static void obj_elf_popsection (int);
79 static void obj_elf_gnu_attribute (int);
80 static void obj_elf_tls_common (int);
81 static void obj_elf_lcomm (int);
82 static void obj_elf_struct (int);
84 static const pseudo_typeS elf_pseudo_table
[] =
86 {"comm", obj_elf_common
, 0},
87 {"common", obj_elf_common
, 1},
88 {"ident", obj_elf_ident
, 0},
89 {"lcomm", obj_elf_lcomm
, 0},
90 {"local", obj_elf_local
, 0},
91 {"previous", obj_elf_previous
, 0},
92 {"section", obj_elf_section
, 0},
93 {"section.s", obj_elf_section
, 0},
94 {"sect", obj_elf_section
, 0},
95 {"sect.s", obj_elf_section
, 0},
96 {"pushsection", obj_elf_section
, 1},
97 {"popsection", obj_elf_popsection
, 0},
98 {"size", obj_elf_size
, 0},
99 {"type", obj_elf_type
, 0},
100 {"version", obj_elf_version
, 0},
101 {"weak", obj_elf_weak
, 0},
103 /* These define symbol visibility. */
104 {"internal", obj_elf_visibility
, STV_INTERNAL
},
105 {"hidden", obj_elf_visibility
, STV_HIDDEN
},
106 {"protected", obj_elf_visibility
, STV_PROTECTED
},
108 /* These are used for stabs-in-elf configurations. */
109 {"line", obj_elf_line
, 0},
111 /* This is a GNU extension to handle symbol versions. */
112 {"symver", obj_elf_symver
, 0},
114 /* A GNU extension to change subsection only. */
115 {"subsection", obj_elf_subsection
, 0},
117 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
118 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit
, 0},
119 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry
, 0},
121 /* A GNU extension for object attributes. */
122 {"gnu_attribute", obj_elf_gnu_attribute
, 0},
124 /* These are used for dwarf. */
128 /* These are used for dwarf2. */
129 { "file", (void (*) (int)) dwarf2_directive_file
, 0 },
130 { "loc", dwarf2_directive_loc
, 0 },
131 { "loc_mark_labels", dwarf2_directive_loc_mark_labels
, 0 },
133 /* We need to trap the section changing calls to handle .previous. */
134 {"data", obj_elf_data
, 0},
135 {"offset", obj_elf_struct
, 0},
136 {"struct", obj_elf_struct
, 0},
137 {"text", obj_elf_text
, 0},
139 {"tls_common", obj_elf_tls_common
, 0},
145 static const pseudo_typeS ecoff_debug_pseudo_table
[] =
147 #ifdef NEED_ECOFF_DEBUG
148 /* COFF style debugging information for ECOFF. .ln is not used; .loc
150 { "def", ecoff_directive_def
, 0 },
151 { "dim", ecoff_directive_dim
, 0 },
152 { "endef", ecoff_directive_endef
, 0 },
153 { "file", ecoff_directive_file
, 0 },
154 { "scl", ecoff_directive_scl
, 0 },
155 { "tag", ecoff_directive_tag
, 0 },
156 { "val", ecoff_directive_val
, 0 },
158 /* COFF debugging requires pseudo-ops .size and .type, but ELF
159 already has meanings for those. We use .esize and .etype
160 instead. These are only generated by gcc anyhow. */
161 { "esize", ecoff_directive_size
, 0 },
162 { "etype", ecoff_directive_type
, 0 },
164 /* ECOFF specific debugging information. */
165 { "begin", ecoff_directive_begin
, 0 },
166 { "bend", ecoff_directive_bend
, 0 },
167 { "end", ecoff_directive_end
, 0 },
168 { "ent", ecoff_directive_ent
, 0 },
169 { "fmask", ecoff_directive_fmask
, 0 },
170 { "frame", ecoff_directive_frame
, 0 },
171 { "loc", ecoff_directive_loc
, 0 },
172 { "mask", ecoff_directive_mask
, 0 },
174 /* Other ECOFF directives. */
175 { "extern", ecoff_directive_extern
, 0 },
177 /* These are used on Irix. I don't know how to implement them. */
178 { "alias", s_ignore
, 0 },
179 { "bgnb", s_ignore
, 0 },
180 { "endb", s_ignore
, 0 },
181 { "lab", s_ignore
, 0 },
182 { "noalias", s_ignore
, 0 },
183 { "verstamp", s_ignore
, 0 },
184 { "vreg", s_ignore
, 0 },
187 {NULL
, NULL
, 0} /* end sentinel */
191 #include "aout/aout64.h"
193 /* This is called when the assembler starts. */
195 asection
*elf_com_section_ptr
;
202 /* Add symbols for the known sections to the symbol table. */
203 s
= bfd_get_section_by_name (stdoutput
, TEXT_SECTION_NAME
);
204 symbol_table_insert (section_symbol (s
));
205 s
= bfd_get_section_by_name (stdoutput
, DATA_SECTION_NAME
);
206 symbol_table_insert (section_symbol (s
));
207 s
= bfd_get_section_by_name (stdoutput
, BSS_SECTION_NAME
);
208 symbol_table_insert (section_symbol (s
));
209 elf_com_section_ptr
= bfd_com_section_ptr
;
213 elf_pop_insert (void)
215 pop_insert (elf_pseudo_table
);
217 pop_insert (ecoff_debug_pseudo_table
);
221 elf_s_get_size (symbolS
*sym
)
223 return S_GET_SIZE (sym
);
227 elf_s_set_size (symbolS
*sym
, bfd_vma sz
)
229 S_SET_SIZE (sym
, sz
);
233 elf_s_get_align (symbolS
*sym
)
235 return S_GET_ALIGN (sym
);
239 elf_s_set_align (symbolS
*sym
, bfd_vma align
)
241 S_SET_ALIGN (sym
, align
);
245 elf_s_get_other (symbolS
*sym
)
247 return elf_symbol (symbol_get_bfdsym (sym
))->internal_elf_sym
.st_other
;
251 elf_s_set_other (symbolS
*sym
, int other
)
253 S_SET_OTHER (sym
, other
);
257 elf_sec_sym_ok_for_reloc (asection
*sec
)
259 return obj_sec_sym_ok_for_reloc (sec
);
263 elf_file_symbol (const char *s
, int appfile
)
266 || symbol_rootP
== NULL
267 || symbol_rootP
->bsym
== NULL
268 || (symbol_rootP
->bsym
->flags
& BSF_FILE
) == 0)
271 unsigned int name_length
;
273 sym
= symbol_new (s
, absolute_section
, 0, NULL
);
274 symbol_set_frag (sym
, &zero_address_frag
);
276 name_length
= strlen (s
);
277 if (name_length
> strlen (S_GET_NAME (sym
)))
279 obstack_grow (¬es
, s
, name_length
+ 1);
280 S_SET_NAME (sym
, (const char *) obstack_finish (¬es
));
283 strcpy ((char *) S_GET_NAME (sym
), s
);
285 symbol_get_bfdsym (sym
)->flags
|= BSF_FILE
;
287 if (symbol_rootP
!= sym
)
289 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
290 symbol_insert (sym
, symbol_rootP
, &symbol_rootP
, &symbol_lastP
);
292 verify_symbol_chain (symbol_rootP
, symbol_lastP
);
297 #ifdef NEED_ECOFF_DEBUG
298 ecoff_new_file (s
, appfile
);
302 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
303 Parse a possible alignment value. */
306 elf_common_parse (int ignore ATTRIBUTE_UNUSED
, symbolS
*symbolP
, addressT size
)
309 int is_local
= symbol_get_obj (symbolP
)->local
;
311 if (*input_line_pointer
== ',')
313 char *save
= input_line_pointer
;
315 input_line_pointer
++;
318 if (*input_line_pointer
== '"')
320 /* For sparc. Accept .common symbol, length, "bss" */
321 input_line_pointer
++;
322 /* Some use the dot, some don't. */
323 if (*input_line_pointer
== '.')
324 input_line_pointer
++;
325 /* Some say data, some say bss. */
326 if (strncmp (input_line_pointer
, "bss\"", 4) == 0)
327 input_line_pointer
+= 4;
328 else if (strncmp (input_line_pointer
, "data\"", 5) == 0)
329 input_line_pointer
+= 5;
332 char *p
= input_line_pointer
;
337 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
338 if (*input_line_pointer
++ == '"')
340 c
= *input_line_pointer
;
341 *input_line_pointer
= '\0';
342 as_bad (_("bad .common segment %s"), p
);
343 *input_line_pointer
= c
;
344 ignore_rest_of_line ();
347 /* ??? Don't ask me why these are always global. */
352 input_line_pointer
= save
;
353 align
= parse_align (is_local
);
354 if (align
== (addressT
) -1)
361 bss_alloc (symbolP
, size
, align
);
362 S_CLEAR_EXTERNAL (symbolP
);
366 S_SET_VALUE (symbolP
, size
);
367 S_SET_ALIGN (symbolP
, align
);
368 S_SET_EXTERNAL (symbolP
);
369 S_SET_SEGMENT (symbolP
, elf_com_section_ptr
);
372 symbol_get_bfdsym (symbolP
)->flags
|= BSF_OBJECT
;
378 obj_elf_common (int is_common
)
380 if (flag_mri
&& is_common
)
383 s_comm_internal (0, elf_common_parse
);
387 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED
)
389 symbolS
*symbolP
= s_comm_internal (0, elf_common_parse
);
392 symbol_get_bfdsym (symbolP
)->flags
|= BSF_THREAD_LOCAL
;
396 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED
)
398 symbolS
*symbolP
= s_comm_internal (0, s_lcomm_internal
);
401 symbol_get_bfdsym (symbolP
)->flags
|= BSF_OBJECT
;
405 get_sym_from_input_line_and_check (void)
411 name
= input_line_pointer
;
412 c
= get_symbol_end ();
413 sym
= symbol_find_or_make (name
);
414 *input_line_pointer
= c
;
417 /* There is no symbol name if input_line_pointer has not moved. */
418 if (name
== input_line_pointer
)
419 as_bad (_("Missing symbol name in directive"));
424 obj_elf_local (int ignore ATTRIBUTE_UNUSED
)
431 symbolP
= get_sym_from_input_line_and_check ();
432 c
= *input_line_pointer
;
433 S_CLEAR_EXTERNAL (symbolP
);
434 symbol_get_obj (symbolP
)->local
= 1;
437 input_line_pointer
++;
439 if (*input_line_pointer
== '\n')
444 demand_empty_rest_of_line ();
448 obj_elf_weak (int ignore ATTRIBUTE_UNUSED
)
455 symbolP
= get_sym_from_input_line_and_check ();
456 c
= *input_line_pointer
;
457 S_SET_WEAK (symbolP
);
460 input_line_pointer
++;
462 if (*input_line_pointer
== '\n')
467 demand_empty_rest_of_line ();
471 obj_elf_visibility (int visibility
)
476 elf_symbol_type
*elfsym
;
480 symbolP
= get_sym_from_input_line_and_check ();
482 bfdsym
= symbol_get_bfdsym (symbolP
);
483 elfsym
= elf_symbol_from (bfd_asymbol_bfd (bfdsym
), bfdsym
);
487 elfsym
->internal_elf_sym
.st_other
&= ~3;
488 elfsym
->internal_elf_sym
.st_other
|= visibility
;
490 c
= *input_line_pointer
;
493 input_line_pointer
++;
497 if (*input_line_pointer
== '\n')
503 demand_empty_rest_of_line ();
506 static segT previous_section
;
507 static int previous_subsection
;
511 struct section_stack
*next
;
513 int subseg
, prev_subseg
;
516 static struct section_stack
*section_stack
;
519 get_section (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *inf
)
521 const char *gname
= (const char *) inf
;
522 const char *group_name
= elf_group_name (sec
);
524 return (group_name
== gname
525 || (group_name
!= NULL
527 && strcmp (group_name
, gname
) == 0));
530 /* Handle the .section pseudo-op. This code supports two different
533 The first is found on Solaris, and looks like
534 .section ".sec1",#alloc,#execinstr,#write
535 Here the names after '#' are the SHF_* flags to turn on for the
536 section. I'm not sure how it determines the SHT_* type (BFD
537 doesn't really give us control over the type, anyhow).
539 The second format is found on UnixWare, and probably most SVR4
540 machines, and looks like
541 .section .sec1,"a",@progbits
542 The quoted string may contain any combination of a, w, x, and
543 represents the SHF_* flags to turn on for the section. The string
544 beginning with '@' can be progbits or nobits. There should be
545 other possibilities, but I don't know what they are. In any case,
546 BFD doesn't really let us set the section type. */
549 obj_elf_change_section (const char *name
,
553 const char *group_name
,
560 const struct elf_backend_data
*bed
;
561 const struct bfd_elf_special_section
*ssect
;
563 #ifdef md_flush_pending_output
564 md_flush_pending_output ();
567 /* Switch to the section, creating it if necessary. */
570 struct section_stack
*elt
;
571 elt
= (struct section_stack
*) xmalloc (sizeof (struct section_stack
));
572 elt
->next
= section_stack
;
574 elt
->prev_seg
= previous_section
;
575 elt
->subseg
= now_subseg
;
576 elt
->prev_subseg
= previous_subsection
;
579 previous_section
= now_seg
;
580 previous_subsection
= now_subseg
;
582 old_sec
= bfd_get_section_by_name_if (stdoutput
, name
, get_section
,
583 (void *) group_name
);
590 sec
= subseg_force_new (name
, 0);
592 bed
= get_elf_backend_data (stdoutput
);
593 ssect
= (*bed
->get_sec_type_attr
) (stdoutput
, sec
);
597 bfd_boolean override
= FALSE
;
599 if (type
== SHT_NULL
)
601 else if (type
!= ssect
->type
)
604 /* Some older versions of gcc will emit
606 .section .init_array,"aw",@progbits
608 for __attribute__ ((section (".init_array"))).
609 "@progbits" is incorrect. Also for x86-64 large bss
610 sections, some older versions of gcc will emit
612 .section .lbss,"aw",@progbits
614 "@progbits" is incorrect. */
616 && (bed
->s
->arch_size
!= 64
617 || !(ssect
->attr
& SHF_X86_64_LARGE
))
619 && ssect
->type
!= SHT_INIT_ARRAY
620 && ssect
->type
!= SHT_FINI_ARRAY
621 && ssect
->type
!= SHT_PREINIT_ARRAY
)
623 /* We allow to specify any type for a .note section. */
624 if (ssect
->type
!= SHT_NOTE
)
625 as_warn (_("setting incorrect section type for %s"),
630 as_warn (_("ignoring incorrect section type for %s"),
636 if (old_sec
== NULL
&& (attr
& ~ssect
->attr
) != 0)
638 /* As a GNU extension, we permit a .note section to be
639 allocatable. If the linker sees an allocatable .note
640 section, it will create a PT_NOTE segment in the output
641 file. We also allow "x" for .note.GNU-stack. */
642 if (ssect
->type
== SHT_NOTE
643 && (attr
== SHF_ALLOC
|| attr
== SHF_EXECINSTR
))
645 /* Allow different SHF_MERGE and SHF_STRINGS if we have
646 something like .rodata.str. */
647 else if (ssect
->suffix_length
== -2
648 && name
[ssect
->prefix_length
] == '.'
652 & ~SHF_STRINGS
) == 0)
654 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
655 else if (attr
== SHF_ALLOC
656 && (strcmp (name
, ".interp") == 0
657 || strcmp (name
, ".strtab") == 0
658 || strcmp (name
, ".symtab") == 0))
660 /* .note.GNU-stack can have SHF_EXECINSTR. */
661 else if (attr
== SHF_EXECINSTR
662 && strcmp (name
, ".note.GNU-stack") == 0)
665 /* A section on Alpha may have SHF_ALPHA_GPREL. */
666 else if ((attr
& ~ssect
->attr
) == SHF_ALPHA_GPREL
)
670 else if (attr
== (SHF_EXECINSTR
| SHF_WRITE
| SHF_ALLOC
)
671 && (ssect
->type
== SHT_INIT_ARRAY
672 || ssect
->type
== SHT_FINI_ARRAY
673 || ssect
->type
== SHT_PREINIT_ARRAY
))
674 /* RX init/fini arrays can and should have the "awx" attributes set. */
679 if (group_name
== NULL
)
680 as_warn (_("setting incorrect section attributes for %s"),
685 if (!override
&& old_sec
== NULL
)
689 /* Convert ELF type and flags to BFD flags. */
691 | ((attr
& SHF_WRITE
) ? 0 : SEC_READONLY
)
692 | ((attr
& SHF_ALLOC
) ? SEC_ALLOC
: 0)
693 | (((attr
& SHF_ALLOC
) && type
!= SHT_NOBITS
) ? SEC_LOAD
: 0)
694 | ((attr
& SHF_EXECINSTR
) ? SEC_CODE
: 0)
695 | ((attr
& SHF_MERGE
) ? SEC_MERGE
: 0)
696 | ((attr
& SHF_STRINGS
) ? SEC_STRINGS
: 0)
697 | ((attr
& SHF_EXCLUDE
) ? SEC_EXCLUDE
: 0)
698 | ((attr
& SHF_TLS
) ? SEC_THREAD_LOCAL
: 0));
699 #ifdef md_elf_section_flags
700 flags
= md_elf_section_flags (flags
, attr
, type
);
704 flags
|= SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
;
710 if (type
== SHT_NULL
)
711 type
= bfd_elf_get_default_section_type (flags
);
712 elf_section_type (sec
) = type
;
713 elf_section_flags (sec
) = attr
;
715 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
716 if (type
== SHT_NOBITS
)
717 seg_info (sec
)->bss
= 1;
719 bfd_set_section_flags (stdoutput
, sec
, flags
);
720 if (flags
& SEC_MERGE
)
721 sec
->entsize
= entsize
;
722 elf_group_name (sec
) = group_name
;
724 /* Add a symbol for this section to the symbol table. */
725 secsym
= symbol_find (name
);
727 symbol_set_bfdsym (secsym
, sec
->symbol
);
729 symbol_table_insert (section_symbol (sec
));
734 && (unsigned) type
!= elf_section_type (old_sec
))
735 as_warn (_("ignoring changed section type for %s"), name
);
739 /* If section attributes are specified the second time we see a
740 particular section, then check that they are the same as we
741 saw the first time. */
742 if (((old_sec
->flags
^ flags
)
743 & (SEC_ALLOC
| SEC_LOAD
| SEC_READONLY
| SEC_CODE
744 | SEC_EXCLUDE
| SEC_SORT_ENTRIES
| SEC_MERGE
| SEC_STRINGS
745 | SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
746 | SEC_THREAD_LOCAL
)))
747 as_warn (_("ignoring changed section attributes for %s"), name
);
748 if ((flags
& SEC_MERGE
) && old_sec
->entsize
!= (unsigned) entsize
)
749 as_warn (_("ignoring changed section entity size for %s"), name
);
753 #ifdef md_elf_section_change_hook
754 md_elf_section_change_hook ();
759 obj_elf_parse_section_letters (char *str
, size_t len
, bfd_boolean
*is_clone
)
778 attr
|= SHF_EXECINSTR
;
797 if (*(str
- 1) == 'a')
800 if (len
> 1 && str
[1] == 's')
809 char *bad_msg
= _("unrecognized .section attribute: want a,e,w,x,M,S,G,T");
810 #ifdef md_elf_section_letter
811 bfd_vma md_attr
= md_elf_section_letter (*str
, &bad_msg
);
812 if (md_attr
!= (bfd_vma
) -1)
816 as_fatal ("%s", bad_msg
);
827 obj_elf_section_type (char *str
, size_t len
, bfd_boolean warn
)
829 if (len
== 8 && strncmp (str
, "progbits", 8) == 0)
831 if (len
== 6 && strncmp (str
, "nobits", 6) == 0)
833 if (len
== 4 && strncmp (str
, "note", 4) == 0)
835 if (len
== 10 && strncmp (str
, "init_array", 10) == 0)
836 return SHT_INIT_ARRAY
;
837 if (len
== 10 && strncmp (str
, "fini_array", 10) == 0)
838 return SHT_FINI_ARRAY
;
839 if (len
== 13 && strncmp (str
, "preinit_array", 13) == 0)
840 return SHT_PREINIT_ARRAY
;
842 #ifdef md_elf_section_type
844 int md_type
= md_elf_section_type (str
, len
);
851 as_warn (_("unrecognized section type"));
856 obj_elf_section_word (char *str
, size_t len
, int *type
)
860 if (len
== 5 && strncmp (str
, "write", 5) == 0)
862 if (len
== 5 && strncmp (str
, "alloc", 5) == 0)
864 if (len
== 9 && strncmp (str
, "execinstr", 9) == 0)
865 return SHF_EXECINSTR
;
866 if (len
== 7 && strncmp (str
, "exclude", 7) == 0)
868 if (len
== 3 && strncmp (str
, "tls", 3) == 0)
871 #ifdef md_elf_section_word
873 bfd_vma md_attr
= md_elf_section_word (str
, len
);
879 ret
= obj_elf_section_type (str
, len
, FALSE
);
883 as_warn (_("unrecognized section attribute"));
888 /* Get name of section. */
890 obj_elf_section_name (void)
895 if (*input_line_pointer
== '"')
899 name
= demand_copy_C_string (&dummy
);
902 ignore_rest_of_line ();
908 char *end
= input_line_pointer
;
910 while (0 == strchr ("\n\t,; ", *end
))
912 if (end
== input_line_pointer
)
914 as_bad (_("missing name"));
915 ignore_rest_of_line ();
919 name
= (char *) xmalloc (end
- input_line_pointer
+ 1);
920 memcpy (name
, input_line_pointer
, end
- input_line_pointer
);
921 name
[end
- input_line_pointer
] = '\0';
922 #ifdef tc_canonicalize_section_name
923 name
= tc_canonicalize_section_name (name
);
925 input_line_pointer
= end
;
932 obj_elf_section (int push
)
934 char *name
, *group_name
, *beg
;
939 subsegT new_subsection
= -1;
946 #ifdef md_flush_pending_output
947 md_flush_pending_output ();
950 previous_section
= now_seg
;
951 previous_subsection
= now_subseg
;
953 s_mri_sect (&mri_type
);
955 #ifdef md_elf_section_change_hook
956 md_elf_section_change_hook ();
961 #endif /* ! defined (TC_I370) */
963 name
= obj_elf_section_name ();
972 if (*input_line_pointer
== ',')
974 /* Skip the comma. */
975 ++input_line_pointer
;
978 if (push
&& ISDIGIT (*input_line_pointer
))
980 /* .pushsection has an optional subsection. */
981 new_subsection
= (subsegT
) get_absolute_expression ();
985 /* Stop if we don't see a comma. */
986 if (*input_line_pointer
!= ',')
989 /* Skip the comma. */
990 ++input_line_pointer
;
994 if (*input_line_pointer
== '"')
996 bfd_boolean is_clone
;
998 beg
= demand_copy_C_string (&dummy
);
1001 ignore_rest_of_line ();
1004 attr
|= obj_elf_parse_section_letters (beg
, strlen (beg
), &is_clone
);
1007 if (*input_line_pointer
== ',')
1010 char *save
= input_line_pointer
;
1012 ++input_line_pointer
;
1014 c
= *input_line_pointer
;
1017 beg
= demand_copy_C_string (&dummy
);
1020 ignore_rest_of_line ();
1023 type
= obj_elf_section_type (beg
, strlen (beg
), TRUE
);
1025 else if (c
== '@' || c
== '%')
1027 beg
= ++input_line_pointer
;
1028 c
= get_symbol_end ();
1029 *input_line_pointer
= c
;
1030 type
= obj_elf_section_type (beg
, input_line_pointer
- beg
, TRUE
);
1033 input_line_pointer
= save
;
1037 if ((attr
& SHF_MERGE
) != 0 && *input_line_pointer
== ',')
1039 ++input_line_pointer
;
1041 entsize
= get_absolute_expression ();
1045 as_warn (_("invalid merge entity size"));
1050 else if ((attr
& SHF_MERGE
) != 0)
1052 as_warn (_("entity size for SHF_MERGE not specified"));
1056 if ((attr
& SHF_GROUP
) != 0 && is_clone
)
1058 as_warn (_("? section flag ignored with G present"));
1061 if ((attr
& SHF_GROUP
) != 0 && *input_line_pointer
== ',')
1063 ++input_line_pointer
;
1064 group_name
= obj_elf_section_name ();
1065 if (group_name
== NULL
)
1067 else if (*input_line_pointer
== ',')
1069 ++input_line_pointer
;
1071 if (strncmp (input_line_pointer
, "comdat", 6) == 0)
1073 input_line_pointer
+= 6;
1077 else if (strncmp (name
, ".gnu.linkonce", 13) == 0)
1080 else if ((attr
& SHF_GROUP
) != 0)
1082 as_warn (_("group name for SHF_GROUP not specified"));
1088 const char *now_group
= elf_group_name (now_seg
);
1089 if (now_group
!= NULL
)
1091 group_name
= xstrdup (now_group
);
1092 linkonce
= (now_seg
->flags
& SEC_LINK_ONCE
) != 0;
1103 if (*input_line_pointer
!= '#')
1105 as_bad (_("character following name is not '#'"));
1106 ignore_rest_of_line ();
1109 beg
= ++input_line_pointer
;
1110 c
= get_symbol_end ();
1111 *input_line_pointer
= c
;
1113 attr
|= obj_elf_section_word (beg
, input_line_pointer
- beg
, & type
);
1117 while (*input_line_pointer
++ == ',');
1118 --input_line_pointer
;
1123 demand_empty_rest_of_line ();
1125 obj_elf_change_section (name
, type
, attr
, entsize
, group_name
, linkonce
, push
);
1127 if (push
&& new_subsection
!= -1)
1128 subseg_set (now_seg
, new_subsection
);
1131 /* Change to the .data section. */
1134 obj_elf_data (int i
)
1136 #ifdef md_flush_pending_output
1137 md_flush_pending_output ();
1140 previous_section
= now_seg
;
1141 previous_subsection
= now_subseg
;
1144 #ifdef md_elf_section_change_hook
1145 md_elf_section_change_hook ();
1149 /* Change to the .text section. */
1152 obj_elf_text (int i
)
1154 #ifdef md_flush_pending_output
1155 md_flush_pending_output ();
1158 previous_section
= now_seg
;
1159 previous_subsection
= now_subseg
;
1162 #ifdef md_elf_section_change_hook
1163 md_elf_section_change_hook ();
1167 /* Change to the *ABS* section. */
1170 obj_elf_struct (int i
)
1172 #ifdef md_flush_pending_output
1173 md_flush_pending_output ();
1176 previous_section
= now_seg
;
1177 previous_subsection
= now_subseg
;
1180 #ifdef md_elf_section_change_hook
1181 md_elf_section_change_hook ();
1186 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED
)
1190 #ifdef md_flush_pending_output
1191 md_flush_pending_output ();
1194 previous_section
= now_seg
;
1195 previous_subsection
= now_subseg
;
1197 temp
= get_absolute_expression ();
1198 subseg_set (now_seg
, (subsegT
) temp
);
1199 demand_empty_rest_of_line ();
1201 #ifdef md_elf_section_change_hook
1202 md_elf_section_change_hook ();
1206 /* This can be called from the processor backends if they change
1210 obj_elf_section_change_hook (void)
1212 previous_section
= now_seg
;
1213 previous_subsection
= now_subseg
;
1217 obj_elf_previous (int ignore ATTRIBUTE_UNUSED
)
1222 if (previous_section
== 0)
1224 as_warn (_(".previous without corresponding .section; ignored"));
1228 #ifdef md_flush_pending_output
1229 md_flush_pending_output ();
1232 new_section
= previous_section
;
1233 new_subsection
= previous_subsection
;
1234 previous_section
= now_seg
;
1235 previous_subsection
= now_subseg
;
1236 subseg_set (new_section
, new_subsection
);
1238 #ifdef md_elf_section_change_hook
1239 md_elf_section_change_hook ();
1244 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED
)
1246 struct section_stack
*top
= section_stack
;
1250 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1254 #ifdef md_flush_pending_output
1255 md_flush_pending_output ();
1258 section_stack
= top
->next
;
1259 previous_section
= top
->prev_seg
;
1260 previous_subsection
= top
->prev_subseg
;
1261 subseg_set (top
->seg
, top
->subseg
);
1264 #ifdef md_elf_section_change_hook
1265 md_elf_section_change_hook ();
1270 obj_elf_line (int ignore ATTRIBUTE_UNUSED
)
1272 /* Assume delimiter is part of expression. BSD4.2 as fails with
1273 delightful bug, so we are not being incompatible here. */
1274 new_logical_line (NULL
, get_absolute_expression ());
1275 demand_empty_rest_of_line ();
1278 /* This handles the .symver pseudo-op, which is used to specify a
1279 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1280 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1281 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1282 with the same value as the symbol NAME. */
1285 obj_elf_symver (int ignore ATTRIBUTE_UNUSED
)
1292 sym
= get_sym_from_input_line_and_check ();
1294 if (*input_line_pointer
!= ',')
1296 as_bad (_("expected comma after name in .symver"));
1297 ignore_rest_of_line ();
1301 ++input_line_pointer
;
1303 name
= input_line_pointer
;
1305 /* Temporarily include '@' in symbol names. */
1306 old_lexat
= lex_type
[(unsigned char) '@'];
1307 lex_type
[(unsigned char) '@'] |= LEX_NAME
;
1308 c
= get_symbol_end ();
1309 lex_type
[(unsigned char) '@'] = old_lexat
;
1311 if (symbol_get_obj (sym
)->versioned_name
== NULL
)
1313 symbol_get_obj (sym
)->versioned_name
= xstrdup (name
);
1315 *input_line_pointer
= c
;
1317 if (strchr (symbol_get_obj (sym
)->versioned_name
,
1318 ELF_VER_CHR
) == NULL
)
1320 as_bad (_("missing version name in `%s' for symbol `%s'"),
1321 symbol_get_obj (sym
)->versioned_name
,
1323 ignore_rest_of_line ();
1329 if (strcmp (symbol_get_obj (sym
)->versioned_name
, name
))
1331 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1332 name
, symbol_get_obj (sym
)->versioned_name
,
1334 ignore_rest_of_line ();
1338 *input_line_pointer
= c
;
1341 demand_empty_rest_of_line ();
1344 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1345 to the linker the hierarchy in which a particular table resides. The
1346 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1349 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED
)
1351 char *cname
, *pname
;
1352 symbolS
*csym
, *psym
;
1355 if (*input_line_pointer
== '#')
1356 ++input_line_pointer
;
1358 cname
= input_line_pointer
;
1359 c
= get_symbol_end ();
1360 csym
= symbol_find (cname
);
1362 /* GCFIXME: should check that we don't have two .vtable_inherits for
1363 the same child symbol. Also, we can currently only do this if the
1364 child symbol is already exists and is placed in a fragment. */
1366 if (csym
== NULL
|| symbol_get_frag (csym
) == NULL
)
1368 as_bad (_("expected `%s' to have already been set for .vtable_inherit"),
1373 *input_line_pointer
= c
;
1376 if (*input_line_pointer
!= ',')
1378 as_bad (_("expected comma after name in .vtable_inherit"));
1379 ignore_rest_of_line ();
1383 ++input_line_pointer
;
1386 if (*input_line_pointer
== '#')
1387 ++input_line_pointer
;
1389 if (input_line_pointer
[0] == '0'
1390 && (input_line_pointer
[1] == '\0'
1391 || ISSPACE (input_line_pointer
[1])))
1393 psym
= section_symbol (absolute_section
);
1394 ++input_line_pointer
;
1398 pname
= input_line_pointer
;
1399 c
= get_symbol_end ();
1400 psym
= symbol_find_or_make (pname
);
1401 *input_line_pointer
= c
;
1404 demand_empty_rest_of_line ();
1409 gas_assert (symbol_get_value_expression (csym
)->X_op
== O_constant
);
1410 return fix_new (symbol_get_frag (csym
),
1411 symbol_get_value_expression (csym
)->X_add_number
,
1412 0, psym
, 0, 0, BFD_RELOC_VTABLE_INHERIT
);
1415 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1416 to the linker that a vtable slot was used. The syntax is
1417 ".vtable_entry tablename, offset". */
1420 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED
)
1425 if (*input_line_pointer
== '#')
1426 ++input_line_pointer
;
1428 sym
= get_sym_from_input_line_and_check ();
1429 if (*input_line_pointer
!= ',')
1431 as_bad (_("expected comma after name in .vtable_entry"));
1432 ignore_rest_of_line ();
1436 ++input_line_pointer
;
1437 if (*input_line_pointer
== '#')
1438 ++input_line_pointer
;
1440 offset
= get_absolute_expression ();
1442 demand_empty_rest_of_line ();
1444 return fix_new (frag_now
, frag_now_fix (), 0, sym
, offset
, 0,
1445 BFD_RELOC_VTABLE_ENTRY
);
1448 #define skip_whitespace(str) do { if (*(str) == ' ') ++(str); } while (0)
1451 skip_past_char (char ** str
, char c
)
1461 #define skip_past_comma(str) skip_past_char (str, ',')
1463 /* Parse an attribute directive for VENDOR.
1464 Returns the attribute number read, or zero on error. */
1467 obj_elf_vendor_attribute (int vendor
)
1475 /* Read the first number or name. */
1476 skip_whitespace (input_line_pointer
);
1477 s
= input_line_pointer
;
1478 if (ISDIGIT (*input_line_pointer
))
1481 if (exp
.X_op
!= O_constant
)
1483 tag
= exp
.X_add_number
;
1489 /* A name may contain '_', but no other punctuation. */
1490 for (; ISALNUM (*input_line_pointer
) || *input_line_pointer
== '_';
1491 ++input_line_pointer
)
1496 name
= (char *) alloca (i
+ 1);
1497 memcpy (name
, s
, i
);
1500 #ifndef CONVERT_SYMBOLIC_ATTRIBUTE
1501 #define CONVERT_SYMBOLIC_ATTRIBUTE(a) -1
1504 tag
= CONVERT_SYMBOLIC_ATTRIBUTE (name
);
1507 as_bad (_("Attribute name not recognised: %s"), name
);
1508 ignore_rest_of_line ();
1513 type
= _bfd_elf_obj_attrs_arg_type (stdoutput
, vendor
, tag
);
1515 if (skip_past_comma (&input_line_pointer
) == -1)
1520 if (exp
.X_op
!= O_constant
)
1522 as_bad (_("expected numeric constant"));
1523 ignore_rest_of_line ();
1526 i
= exp
.X_add_number
;
1529 && skip_past_comma (&input_line_pointer
) == -1)
1531 as_bad (_("expected comma"));
1532 ignore_rest_of_line ();
1539 skip_whitespace (input_line_pointer
);
1540 if (*input_line_pointer
!= '"')
1542 s
= demand_copy_C_string (&len
);
1548 bfd_elf_add_obj_attr_int_string (stdoutput
, vendor
, tag
, i
, s
);
1551 bfd_elf_add_obj_attr_string (stdoutput
, vendor
, tag
, s
);
1554 bfd_elf_add_obj_attr_int (stdoutput
, vendor
, tag
, i
);
1560 demand_empty_rest_of_line ();
1563 as_bad (_("bad string constant"));
1564 ignore_rest_of_line ();
1567 as_bad (_("expected <tag> , <value>"));
1568 ignore_rest_of_line ();
1572 /* Parse a .gnu_attribute directive. */
1575 obj_elf_gnu_attribute (int ignored ATTRIBUTE_UNUSED
)
1577 obj_elf_vendor_attribute (OBJ_ATTR_GNU
);
1581 elf_obj_read_begin_hook (void)
1583 #ifdef NEED_ECOFF_DEBUG
1584 if (ECOFF_DEBUGGING
)
1585 ecoff_read_begin_hook ();
1590 elf_obj_symbol_new_hook (symbolS
*symbolP
)
1592 struct elf_obj_sy
*sy_obj
;
1594 sy_obj
= symbol_get_obj (symbolP
);
1595 sy_obj
->size
= NULL
;
1596 sy_obj
->versioned_name
= NULL
;
1598 #ifdef NEED_ECOFF_DEBUG
1599 if (ECOFF_DEBUGGING
)
1600 ecoff_symbol_new_hook (symbolP
);
1604 /* When setting one symbol equal to another, by default we probably
1605 want them to have the same "size", whatever it means in the current
1609 elf_copy_symbol_attributes (symbolS
*dest
, symbolS
*src
)
1611 struct elf_obj_sy
*srcelf
= symbol_get_obj (src
);
1612 struct elf_obj_sy
*destelf
= symbol_get_obj (dest
);
1615 if (destelf
->size
== NULL
)
1616 destelf
->size
= (expressionS
*) xmalloc (sizeof (expressionS
));
1617 *destelf
->size
= *srcelf
->size
;
1621 if (destelf
->size
!= NULL
)
1622 free (destelf
->size
);
1623 destelf
->size
= NULL
;
1625 S_SET_SIZE (dest
, S_GET_SIZE (src
));
1626 /* Don't copy visibility. */
1627 S_SET_OTHER (dest
, (ELF_ST_VISIBILITY (S_GET_OTHER (dest
))
1628 | (S_GET_OTHER (src
) & ~ELF_ST_VISIBILITY (-1))));
1632 obj_elf_version (int ignore ATTRIBUTE_UNUSED
)
1637 asection
*seg
= now_seg
;
1638 subsegT subseg
= now_subseg
;
1639 Elf_Internal_Note i_note
;
1640 Elf_External_Note e_note
;
1641 asection
*note_secp
= NULL
;
1644 if (*input_line_pointer
== '\"')
1648 ++input_line_pointer
; /* -> 1st char of string. */
1649 name
= input_line_pointer
;
1651 while (is_a_char (c
= next_char_of_string ()))
1653 c
= *input_line_pointer
;
1654 *input_line_pointer
= '\0';
1655 *(input_line_pointer
- 1) = '\0';
1656 *input_line_pointer
= c
;
1658 /* Create the .note section. */
1659 note_secp
= subseg_new (".note", 0);
1660 bfd_set_section_flags (stdoutput
,
1662 SEC_HAS_CONTENTS
| SEC_READONLY
);
1664 /* Process the version string. */
1665 len
= strlen (name
) + 1;
1667 /* PR 3456: Although the name field is padded out to an 4-byte
1668 boundary, the namesz field should not be adjusted. */
1669 i_note
.namesz
= len
;
1670 i_note
.descsz
= 0; /* No description. */
1671 i_note
.type
= NT_VERSION
;
1672 p
= frag_more (sizeof (e_note
.namesz
));
1673 md_number_to_chars (p
, i_note
.namesz
, sizeof (e_note
.namesz
));
1674 p
= frag_more (sizeof (e_note
.descsz
));
1675 md_number_to_chars (p
, i_note
.descsz
, sizeof (e_note
.descsz
));
1676 p
= frag_more (sizeof (e_note
.type
));
1677 md_number_to_chars (p
, i_note
.type
, sizeof (e_note
.type
));
1678 p
= frag_more (len
);
1679 memcpy (p
, name
, len
);
1681 frag_align (2, 0, 0);
1683 subseg_set (seg
, subseg
);
1686 as_bad (_("expected quoted string"));
1688 demand_empty_rest_of_line ();
1692 obj_elf_size (int ignore ATTRIBUTE_UNUSED
)
1694 char *name
= input_line_pointer
;
1695 char c
= get_symbol_end ();
1700 p
= input_line_pointer
;
1703 if (*input_line_pointer
!= ',')
1706 as_bad (_("expected comma after name `%s' in .size directive"), name
);
1708 ignore_rest_of_line ();
1711 input_line_pointer
++;
1713 if (exp
.X_op
== O_absent
)
1715 as_bad (_("missing expression in .size directive"));
1716 exp
.X_op
= O_constant
;
1717 exp
.X_add_number
= 0;
1720 sym
= symbol_find_or_make (name
);
1722 if (exp
.X_op
== O_constant
)
1724 S_SET_SIZE (sym
, exp
.X_add_number
);
1725 if (symbol_get_obj (sym
)->size
)
1727 xfree (symbol_get_obj (sym
)->size
);
1728 symbol_get_obj (sym
)->size
= NULL
;
1733 symbol_get_obj (sym
)->size
=
1734 (expressionS
*) xmalloc (sizeof (expressionS
));
1735 *symbol_get_obj (sym
)->size
= exp
;
1737 demand_empty_rest_of_line ();
1740 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1741 There are six syntaxes:
1743 The first (used on Solaris) is
1745 The second (used on UnixWare) is
1747 The third (reportedly to be used on Irix 6.0) is
1749 The fourth (used on NetBSD/Arm and Linux/ARM) is
1751 The fifth (used on SVR4/860) is
1752 .type SYM,"function"
1753 The sixth (emitted by recent SunPRO under Solaris) is
1755 where the integer is the STT_* value.
1759 obj_elf_type_name (char *cp
)
1763 p
= input_line_pointer
;
1764 if (*input_line_pointer
>= '0'
1765 && *input_line_pointer
<= '9')
1767 while (*input_line_pointer
>= '0'
1768 && *input_line_pointer
<= '9')
1769 ++input_line_pointer
;
1770 *cp
= *input_line_pointer
;
1771 *input_line_pointer
= '\0';
1774 *cp
= get_symbol_end ();
1780 obj_elf_type (int ignore ATTRIBUTE_UNUSED
)
1784 const char *type_name
;
1786 elf_symbol_type
*elfsym
;
1788 sym
= get_sym_from_input_line_and_check ();
1789 c
= *input_line_pointer
;
1790 elfsym
= (elf_symbol_type
*) symbol_get_bfdsym (sym
);
1792 if (*input_line_pointer
== ',')
1793 ++input_line_pointer
;
1796 if ( *input_line_pointer
== '#'
1797 || *input_line_pointer
== '@'
1798 || *input_line_pointer
== '"'
1799 || *input_line_pointer
== '%')
1800 ++input_line_pointer
;
1802 type_name
= obj_elf_type_name (& c
);
1805 if (strcmp (type_name
, "function") == 0
1806 || strcmp (type_name
, "2") == 0
1807 || strcmp (type_name
, "STT_FUNC") == 0)
1808 type
= BSF_FUNCTION
;
1809 else if (strcmp (type_name
, "object") == 0
1810 || strcmp (type_name
, "1") == 0
1811 || strcmp (type_name
, "STT_OBJECT") == 0)
1813 else if (strcmp (type_name
, "tls_object") == 0
1814 || strcmp (type_name
, "6") == 0
1815 || strcmp (type_name
, "STT_TLS") == 0)
1816 type
= BSF_OBJECT
| BSF_THREAD_LOCAL
;
1817 else if (strcmp (type_name
, "notype") == 0
1818 || strcmp (type_name
, "0") == 0
1819 || strcmp (type_name
, "STT_NOTYPE") == 0)
1821 else if (strcmp (type_name
, "common") == 0
1822 || strcmp (type_name
, "5") == 0
1823 || strcmp (type_name
, "STT_COMMON") == 0)
1827 if (! S_IS_COMMON (sym
))
1829 if (S_IS_VOLATILE (sym
))
1831 sym
= symbol_clone (sym
, 1);
1832 S_SET_SEGMENT (sym
, bfd_com_section_ptr
);
1833 S_SET_VALUE (sym
, 0);
1834 S_SET_EXTERNAL (sym
);
1835 symbol_set_frag (sym
, &zero_address_frag
);
1836 S_CLEAR_VOLATILE (sym
);
1838 else if (S_IS_DEFINED (sym
) || symbol_equated_p (sym
))
1839 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym
));
1842 /* FIXME: Is it safe to just change the section ? */
1843 S_SET_SEGMENT (sym
, bfd_com_section_ptr
);
1844 S_SET_VALUE (sym
, 0);
1845 S_SET_EXTERNAL (sym
);
1849 else if (strcmp (type_name
, "gnu_indirect_function") == 0
1850 || strcmp (type_name
, "10") == 0
1851 || strcmp (type_name
, "STT_GNU_IFUNC") == 0)
1853 const struct elf_backend_data
*bed
;
1855 bed
= get_elf_backend_data (stdoutput
);
1856 if (!(bed
->elf_osabi
== ELFOSABI_GNU
1857 || bed
->elf_osabi
== ELFOSABI_FREEBSD
1858 /* GNU is still using the default value 0. */
1859 || bed
->elf_osabi
== ELFOSABI_NONE
))
1860 as_bad (_("symbol type \"%s\" is supported only by GNU and FreeBSD targets"),
1862 type
= BSF_FUNCTION
| BSF_GNU_INDIRECT_FUNCTION
;
1864 else if (strcmp (type_name
, "gnu_unique_object") == 0)
1866 struct elf_backend_data
*bed
;
1868 bed
= (struct elf_backend_data
*) get_elf_backend_data (stdoutput
);
1869 if (!(bed
->elf_osabi
== ELFOSABI_GNU
1870 /* GNU is still using the default value 0. */
1871 || bed
->elf_osabi
== ELFOSABI_NONE
))
1872 as_bad (_("symbol type \"%s\" is supported only by GNU targets"),
1874 type
= BSF_OBJECT
| BSF_GNU_UNIQUE
;
1875 /* PR 10549: Always set OSABI field to GNU for objects containing unique symbols. */
1876 bed
->elf_osabi
= ELFOSABI_GNU
;
1878 #ifdef md_elf_symbol_type
1879 else if ((type
= md_elf_symbol_type (type_name
, sym
, elfsym
)) != -1)
1883 as_bad (_("unrecognized symbol type \"%s\""), type_name
);
1885 *input_line_pointer
= c
;
1887 if (*input_line_pointer
== '"')
1888 ++input_line_pointer
;
1890 elfsym
->symbol
.flags
|= type
;
1892 demand_empty_rest_of_line ();
1896 obj_elf_ident (int ignore ATTRIBUTE_UNUSED
)
1898 static segT comment_section
;
1899 segT old_section
= now_seg
;
1900 int old_subsection
= now_subseg
;
1902 #ifdef md_flush_pending_output
1903 md_flush_pending_output ();
1906 if (!comment_section
)
1909 comment_section
= subseg_new (".comment", 0);
1910 bfd_set_section_flags (stdoutput
, comment_section
,
1911 SEC_READONLY
| SEC_HAS_CONTENTS
1912 | SEC_MERGE
| SEC_STRINGS
);
1913 comment_section
->entsize
= 1;
1914 #ifdef md_elf_section_change_hook
1915 md_elf_section_change_hook ();
1921 subseg_set (comment_section
, 0);
1923 subseg_set (old_section
, old_subsection
);
1926 #ifdef INIT_STAB_SECTION
1928 /* The first entry in a .stabs section is special. */
1931 obj_elf_init_stab_section (segT seg
)
1936 unsigned int stroff
;
1938 /* Force the section to align to a longword boundary. Without this,
1939 UnixWare ar crashes. */
1940 bfd_set_section_alignment (stdoutput
, seg
, 2);
1942 /* Make space for this first symbol. */
1946 as_where (&file
, NULL
);
1947 stabstr_name
= (char *) xmalloc (strlen (segment_name (seg
)) + 4);
1948 strcpy (stabstr_name
, segment_name (seg
));
1949 strcat (stabstr_name
, "str");
1950 stroff
= get_stab_string_offset (file
, stabstr_name
);
1951 know (stroff
== 1 || (stroff
== 0 && file
[0] == '\0'));
1952 md_number_to_chars (p
, stroff
, 4);
1953 seg_info (seg
)->stabu
.p
= p
;
1958 /* Fill in the counts in the first entry in a .stabs section. */
1961 adjust_stab_sections (bfd
*abfd
, asection
*sec
, void *xxx ATTRIBUTE_UNUSED
)
1968 if (strncmp (".stab", sec
->name
, 5))
1970 if (!strcmp ("str", sec
->name
+ strlen (sec
->name
) - 3))
1973 name
= (char *) alloca (strlen (sec
->name
) + 4);
1974 strcpy (name
, sec
->name
);
1975 strcat (name
, "str");
1976 strsec
= bfd_get_section_by_name (abfd
, name
);
1978 strsz
= bfd_section_size (abfd
, strsec
);
1981 nsyms
= bfd_section_size (abfd
, sec
) / 12 - 1;
1983 p
= seg_info (sec
)->stabu
.p
;
1984 gas_assert (p
!= 0);
1986 bfd_h_put_16 (abfd
, nsyms
, p
+ 6);
1987 bfd_h_put_32 (abfd
, strsz
, p
+ 8);
1990 #ifdef NEED_ECOFF_DEBUG
1992 /* This function is called by the ECOFF code. It is supposed to
1993 record the external symbol information so that the backend can
1994 write it out correctly. The ELF backend doesn't actually handle
1995 this at the moment, so we do it ourselves. We save the information
1998 #ifdef OBJ_MAYBE_ELF
2002 elf_ecoff_set_ext (symbolS
*sym
, struct ecoff_extr
*ext
)
2004 symbol_get_bfdsym (sym
)->udata
.p
= ext
;
2007 /* This function is called by bfd_ecoff_debug_externals. It is
2008 supposed to *EXT to the external symbol information, and return
2009 whether the symbol should be used at all. */
2012 elf_get_extr (asymbol
*sym
, EXTR
*ext
)
2014 if (sym
->udata
.p
== NULL
)
2016 *ext
= *(EXTR
*) sym
->udata
.p
;
2020 /* This function is called by bfd_ecoff_debug_externals. It has
2021 nothing to do for ELF. */
2024 elf_set_index (asymbol
*sym ATTRIBUTE_UNUSED
,
2025 bfd_size_type indx ATTRIBUTE_UNUSED
)
2029 #endif /* NEED_ECOFF_DEBUG */
2032 elf_frob_symbol (symbolS
*symp
, int *puntp
)
2034 struct elf_obj_sy
*sy_obj
;
2037 #ifdef NEED_ECOFF_DEBUG
2038 if (ECOFF_DEBUGGING
)
2039 ecoff_frob_symbol (symp
);
2042 sy_obj
= symbol_get_obj (symp
);
2044 size
= sy_obj
->size
;
2047 if (resolve_expression (size
)
2048 && size
->X_op
== O_constant
)
2049 S_SET_SIZE (symp
, size
->X_add_number
);
2052 if (flag_size_check
== size_check_error
)
2053 as_bad (_(".size expression for %s "
2054 "does not evaluate to a constant"), S_GET_NAME (symp
));
2056 as_warn (_(".size expression for %s "
2057 "does not evaluate to a constant"), S_GET_NAME (symp
));
2059 free (sy_obj
->size
);
2060 sy_obj
->size
= NULL
;
2063 if (sy_obj
->versioned_name
!= NULL
)
2067 p
= strchr (sy_obj
->versioned_name
, ELF_VER_CHR
);
2070 /* This symbol was given a new name with the .symver directive.
2072 If this is an external reference, just rename the symbol to
2073 include the version string. This will make the relocs be
2074 against the correct versioned symbol.
2076 If this is a definition, add an alias. FIXME: Using an alias
2077 will permit the debugging information to refer to the right
2078 symbol. However, it's not clear whether it is the best
2081 if (! S_IS_DEFINED (symp
))
2083 /* Verify that the name isn't using the @@ syntax--this is
2084 reserved for definitions of the default version to link
2086 if (p
[1] == ELF_VER_CHR
)
2088 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
2089 sy_obj
->versioned_name
);
2092 S_SET_NAME (symp
, sy_obj
->versioned_name
);
2096 if (p
[1] == ELF_VER_CHR
&& p
[2] == ELF_VER_CHR
)
2100 /* The @@@ syntax is a special case. It renames the
2101 symbol name to versioned_name with one `@' removed. */
2102 l
= strlen (&p
[3]) + 1;
2103 memmove (&p
[2], &p
[3], l
);
2104 S_SET_NAME (symp
, sy_obj
->versioned_name
);
2110 /* FIXME: Creating a new symbol here is risky. We're
2111 in the final loop over the symbol table. We can
2112 get away with it only because the symbol goes to
2113 the end of the list, where the loop will still see
2114 it. It would probably be better to do this in
2115 obj_frob_file_before_adjust. */
2117 symp2
= symbol_find_or_make (sy_obj
->versioned_name
);
2119 /* Now we act as though we saw symp2 = sym. */
2121 S_SET_SEGMENT (symp2
, S_GET_SEGMENT (symp
));
2123 /* Subtracting out the frag address here is a hack
2124 because we are in the middle of the final loop. */
2127 - symbol_get_frag (symp
)->fr_address
));
2129 symbol_set_frag (symp2
, symbol_get_frag (symp
));
2131 /* This will copy over the size information. */
2132 copy_symbol_attributes (symp2
, symp
);
2134 S_SET_OTHER (symp2
, S_GET_OTHER (symp
));
2136 if (S_IS_WEAK (symp
))
2139 if (S_IS_EXTERNAL (symp
))
2140 S_SET_EXTERNAL (symp2
);
2145 /* Double check weak symbols. */
2146 if (S_IS_WEAK (symp
))
2148 if (S_IS_COMMON (symp
))
2149 as_bad (_("symbol `%s' can not be both weak and common"),
2154 /* The Irix 5 and 6 assemblers set the type of any common symbol and
2155 any undefined non-function symbol to STT_OBJECT. We try to be
2156 compatible, since newer Irix 5 and 6 linkers care. However, we
2157 only set undefined symbols to be STT_OBJECT if we are on Irix,
2158 because that is the only time gcc will generate the necessary
2159 .global directives to mark functions. */
2161 if (S_IS_COMMON (symp
))
2162 symbol_get_bfdsym (symp
)->flags
|= BSF_OBJECT
;
2164 if (strstr (TARGET_OS
, "irix") != NULL
2165 && ! S_IS_DEFINED (symp
)
2166 && (symbol_get_bfdsym (symp
)->flags
& BSF_FUNCTION
) == 0)
2167 symbol_get_bfdsym (symp
)->flags
|= BSF_OBJECT
;
2173 asection
**head
; /* Section lists. */
2174 unsigned int *elt_count
; /* Number of sections in each list. */
2175 unsigned int num_group
; /* Number of lists. */
2176 struct hash_control
*indexes
; /* Maps group name to index in head array. */
2179 /* Called via bfd_map_over_sections. If SEC is a member of a group,
2180 add it to a list of sections belonging to the group. INF is a
2181 pointer to a struct group_list, which is where we store the head of
2185 build_group_lists (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *inf
)
2187 struct group_list
*list
= (struct group_list
*) inf
;
2188 const char *group_name
= elf_group_name (sec
);
2190 unsigned int *elem_idx
;
2191 unsigned int *idx_ptr
;
2193 if (group_name
== NULL
)
2196 /* If this group already has a list, add the section to the head of
2198 elem_idx
= (unsigned int *) hash_find (list
->indexes
, group_name
);
2199 if (elem_idx
!= NULL
)
2201 elf_next_in_group (sec
) = list
->head
[*elem_idx
];
2202 list
->head
[*elem_idx
] = sec
;
2203 list
->elt_count
[*elem_idx
] += 1;
2207 /* New group. Make the arrays bigger in chunks to minimize calls to
2209 i
= list
->num_group
;
2212 unsigned int newsize
= i
+ 128;
2213 list
->head
= (asection
**) xrealloc (list
->head
,
2214 newsize
* sizeof (*list
->head
));
2215 list
->elt_count
= (unsigned int *)
2216 xrealloc (list
->elt_count
, newsize
* sizeof (*list
->elt_count
));
2218 list
->head
[i
] = sec
;
2219 list
->elt_count
[i
] = 1;
2220 list
->num_group
+= 1;
2222 /* Add index to hash. */
2223 idx_ptr
= (unsigned int *) xmalloc (sizeof (unsigned int));
2225 hash_insert (list
->indexes
, group_name
, idx_ptr
);
2228 static void free_section_idx (const char *key ATTRIBUTE_UNUSED
, void *val
)
2230 free ((unsigned int *) val
);
2234 elf_adjust_symtab (void)
2236 struct group_list list
;
2239 /* Go find section groups. */
2242 list
.elt_count
= NULL
;
2243 list
.indexes
= hash_new ();
2244 bfd_map_over_sections (stdoutput
, build_group_lists
, &list
);
2246 /* Make the SHT_GROUP sections that describe each section group. We
2247 can't set up the section contents here yet, because elf section
2248 indices have yet to be calculated. elf.c:set_group_contents does
2249 the rest of the work. */
2250 for (i
= 0; i
< list
.num_group
; i
++)
2252 const char *group_name
= elf_group_name (list
.head
[i
]);
2253 const char *sec_name
;
2259 flags
= SEC_READONLY
| SEC_HAS_CONTENTS
| SEC_IN_MEMORY
| SEC_GROUP
;
2260 for (s
= list
.head
[i
]; s
!= NULL
; s
= elf_next_in_group (s
))
2261 if ((s
->flags
^ flags
) & SEC_LINK_ONCE
)
2263 flags
|= SEC_LINK_ONCE
| SEC_LINK_DUPLICATES_DISCARD
;
2264 if (s
!= list
.head
[i
])
2266 as_warn (_("assuming all members of group `%s' are COMDAT"),
2272 sec_name
= ".group";
2273 s
= subseg_force_new (sec_name
, 0);
2275 || !bfd_set_section_flags (stdoutput
, s
, flags
)
2276 || !bfd_set_section_alignment (stdoutput
, s
, 2))
2278 as_fatal (_("can't create group: %s"),
2279 bfd_errmsg (bfd_get_error ()));
2281 elf_section_type (s
) = SHT_GROUP
;
2283 /* Pass a pointer to the first section in this group. */
2284 elf_next_in_group (s
) = list
.head
[i
];
2285 /* Make sure that the signature symbol for the group has the
2286 name of the group. */
2287 sy
= symbol_find_exact (group_name
);
2289 || (sy
!= symbol_lastP
2290 && (sy
->sy_next
== NULL
2291 || sy
->sy_next
->sy_previous
!= sy
)))
2293 /* Create the symbol now. */
2294 sy
= symbol_new (group_name
, now_seg
, (valueT
) 0, frag_now
);
2296 /* Before Solaris 11 build 154, Sun ld rejects local group
2297 signature symbols, so make them weak hidden instead. */
2298 symbol_get_bfdsym (sy
)->flags
|= BSF_WEAK
;
2299 S_SET_OTHER (sy
, STV_HIDDEN
);
2301 symbol_get_obj (sy
)->local
= 1;
2303 symbol_table_insert (sy
);
2305 elf_group_id (s
) = symbol_get_bfdsym (sy
);
2307 size
= 4 * (list
.elt_count
[i
] + 1);
2308 bfd_set_section_size (stdoutput
, s
, size
);
2309 s
->contents
= (unsigned char *) frag_more (size
);
2310 frag_now
->fr_fix
= frag_now_fix_octets ();
2311 frag_wane (frag_now
);
2315 hash_traverse (list
.indexes
, free_section_idx
);
2316 hash_die (list
.indexes
);
2320 elf_frob_file (void)
2322 bfd_map_over_sections (stdoutput
, adjust_stab_sections
, NULL
);
2324 #ifdef elf_tc_final_processing
2325 elf_tc_final_processing ();
2329 /* It removes any unneeded versioned symbols from the symbol table. */
2332 elf_frob_file_before_adjust (void)
2338 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2339 if (!S_IS_DEFINED (symp
))
2341 if (symbol_get_obj (symp
)->versioned_name
)
2345 /* The @@@ syntax is a special case. If the symbol is
2346 not defined, 2 `@'s will be removed from the
2349 p
= strchr (symbol_get_obj (symp
)->versioned_name
,
2352 if (p
[1] == ELF_VER_CHR
&& p
[2] == ELF_VER_CHR
)
2354 size_t l
= strlen (&p
[3]) + 1;
2355 memmove (&p
[1], &p
[3], l
);
2357 if (symbol_used_p (symp
) == 0
2358 && symbol_used_in_reloc_p (symp
) == 0)
2359 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2362 /* If there was .weak foo, but foo was neither defined nor
2363 used anywhere, remove it. */
2365 else if (S_IS_WEAK (symp
)
2366 && symbol_used_p (symp
) == 0
2367 && symbol_used_in_reloc_p (symp
) == 0)
2368 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2373 /* It is required that we let write_relocs have the opportunity to
2374 optimize away fixups before output has begun, since it is possible
2375 to eliminate all fixups for a section and thus we never should
2376 have generated the relocation section. */
2379 elf_frob_file_after_relocs (void)
2381 #ifdef NEED_ECOFF_DEBUG
2382 if (ECOFF_DEBUGGING
)
2383 /* Generate the ECOFF debugging information. */
2385 const struct ecoff_debug_swap
*debug_swap
;
2386 struct ecoff_debug_info debug
;
2391 = get_elf_backend_data (stdoutput
)->elf_backend_ecoff_debug_swap
;
2392 know (debug_swap
!= NULL
);
2393 ecoff_build_debug (&debug
.symbolic_header
, &buf
, debug_swap
);
2395 /* Set up the pointers in debug. */
2396 #define SET(ptr, offset, type) \
2397 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2399 SET (line
, cbLineOffset
, unsigned char *);
2400 SET (external_dnr
, cbDnOffset
, void *);
2401 SET (external_pdr
, cbPdOffset
, void *);
2402 SET (external_sym
, cbSymOffset
, void *);
2403 SET (external_opt
, cbOptOffset
, void *);
2404 SET (external_aux
, cbAuxOffset
, union aux_ext
*);
2405 SET (ss
, cbSsOffset
, char *);
2406 SET (external_fdr
, cbFdOffset
, void *);
2407 SET (external_rfd
, cbRfdOffset
, void *);
2408 /* ssext and external_ext are set up just below. */
2412 /* Set up the external symbols. */
2413 debug
.ssext
= debug
.ssext_end
= NULL
;
2414 debug
.external_ext
= debug
.external_ext_end
= NULL
;
2415 if (! bfd_ecoff_debug_externals (stdoutput
, &debug
, debug_swap
, TRUE
,
2416 elf_get_extr
, elf_set_index
))
2417 as_fatal (_("failed to set up debugging information: %s"),
2418 bfd_errmsg (bfd_get_error ()));
2420 sec
= bfd_get_section_by_name (stdoutput
, ".mdebug");
2421 gas_assert (sec
!= NULL
);
2423 know (!stdoutput
->output_has_begun
);
2425 /* We set the size of the section, call bfd_set_section_contents
2426 to force the ELF backend to allocate a file position, and then
2427 write out the data. FIXME: Is this really the best way to do
2429 bfd_set_section_size
2430 (stdoutput
, sec
, bfd_ecoff_debug_size (stdoutput
, &debug
, debug_swap
));
2432 /* Pass BUF to bfd_set_section_contents because this will
2433 eventually become a call to fwrite, and ISO C prohibits
2434 passing a NULL pointer to a stdio function even if the
2435 pointer will not be used. */
2436 if (! bfd_set_section_contents (stdoutput
, sec
, buf
, 0, 0))
2437 as_fatal (_("can't start writing .mdebug section: %s"),
2438 bfd_errmsg (bfd_get_error ()));
2440 know (stdoutput
->output_has_begun
);
2441 know (sec
->filepos
!= 0);
2443 if (! bfd_ecoff_write_debug (stdoutput
, &debug
, debug_swap
,
2445 as_fatal (_("could not write .mdebug section: %s"),
2446 bfd_errmsg (bfd_get_error ()));
2448 #endif /* NEED_ECOFF_DEBUG */
2453 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2454 SCO specific identifier in the .notes section to satisfy the SCO
2457 This looks more complicated than it really is. As opposed to the
2458 "obvious" solution, this should handle the cross dev cases
2459 correctly. (i.e, hosting on a 64 bit big endian processor, but
2460 generating SCO Elf code) Efficiency isn't a concern, as there
2461 should be exactly one of these sections per object module.
2463 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2466 int_32 namesz = 4 ; Name size
2467 int_32 descsz = 12 ; Descriptive information
2469 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2470 int_32 version = (major ver # << 16) | version of tools ;
2471 int_32 source = (tool_id << 16 ) | 1 ;
2472 int_32 info = 0 ; These are set by the SCO tools, but we
2473 don't know enough about the source
2474 environment to set them. SCO ld currently
2475 ignores them, and recommends we set them
2478 #define SCO_MAJOR_VERSION 0x1
2479 #define SCO_MINOR_VERSION 0x1
2489 asection
*seg
= now_seg
;
2490 subsegT subseg
= now_subseg
;
2491 Elf_Internal_Note i_note
;
2492 Elf_External_Note e_note
;
2493 asection
*note_secp
= NULL
;
2496 /* create the .note section */
2498 note_secp
= subseg_new (".note", 0);
2499 bfd_set_section_flags (stdoutput
,
2501 SEC_HAS_CONTENTS
| SEC_READONLY
);
2503 /* process the version string */
2506 i_note
.descsz
= 12; /* 12 descriptive bytes */
2507 i_note
.type
= NT_VERSION
; /* Contains a version string */
2509 p
= frag_more (sizeof (i_note
.namesz
));
2510 md_number_to_chars (p
, i_note
.namesz
, 4);
2512 p
= frag_more (sizeof (i_note
.descsz
));
2513 md_number_to_chars (p
, i_note
.descsz
, 4);
2515 p
= frag_more (sizeof (i_note
.type
));
2516 md_number_to_chars (p
, i_note
.type
, 4);
2521 /* Note: this is the version number of the ELF we're representing */
2523 md_number_to_chars (p
, (SCO_MAJOR_VERSION
<< 16) | (SCO_MINOR_VERSION
), 4);
2525 /* Here, we pick a magic number for ourselves (yes, I "registered"
2526 it with SCO. The bottom bit shows that we are compat with the
2529 md_number_to_chars (p
, 0x4c520000 | 0x0001, 4);
2531 /* If we knew (or cared) what the source language options were, we'd
2532 fill them in here. SCO has given us permission to ignore these
2533 and just set them to zero. */
2535 md_number_to_chars (p
, 0x0000, 4);
2537 frag_align (2, 0, 0);
2539 /* We probably can't restore the current segment, for there likely
2542 subseg_set (seg
, subseg
);
2546 #endif /* SCO_ELF */
2549 elf_generate_asm_lineno (void)
2551 #ifdef NEED_ECOFF_DEBUG
2552 if (ECOFF_DEBUGGING
)
2553 ecoff_generate_asm_lineno ();
2558 elf_process_stab (segT sec ATTRIBUTE_UNUSED
,
2559 int what ATTRIBUTE_UNUSED
,
2560 const char *string ATTRIBUTE_UNUSED
,
2561 int type ATTRIBUTE_UNUSED
,
2562 int other ATTRIBUTE_UNUSED
,
2563 int desc ATTRIBUTE_UNUSED
)
2565 #ifdef NEED_ECOFF_DEBUG
2566 if (ECOFF_DEBUGGING
)
2567 ecoff_stab (sec
, what
, string
, type
, other
, desc
);
2572 elf_separate_stab_sections (void)
2574 #ifdef NEED_ECOFF_DEBUG
2575 return (!ECOFF_DEBUGGING
);
2582 elf_init_stab_section (segT seg
)
2584 #ifdef NEED_ECOFF_DEBUG
2585 if (!ECOFF_DEBUGGING
)
2587 obj_elf_init_stab_section (seg
);
2590 const struct format_ops elf_format_ops
=
2592 bfd_target_elf_flavour
,
2593 0, /* dfl_leading_underscore */
2594 1, /* emit_section_symbols */
2599 elf_frob_file_before_adjust
,
2600 0, /* obj_frob_file_before_fix */
2601 elf_frob_file_after_relocs
,
2602 elf_s_get_size
, elf_s_set_size
,
2603 elf_s_get_align
, elf_s_set_align
,
2610 elf_copy_symbol_attributes
,
2611 elf_generate_asm_lineno
,
2613 elf_separate_stab_sections
,
2614 elf_init_stab_section
,
2615 elf_sec_sym_ok_for_reloc
,
2617 #ifdef NEED_ECOFF_DEBUG
2620 0, /* ecoff_set_ext */
2622 elf_obj_read_begin_hook
,
2623 elf_obj_symbol_new_hook
,