1 /* ELF object file format
2 Copyright (C) 1992, 93, 94, 95, 96, 1997, 1998 Free Software Foundation, Inc.
4 This file is part of GAS, the GNU Assembler.
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as
8 published by the Free Software Foundation; either version 2,
9 or (at your option) any later version.
11 GAS is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
14 the GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 #define OBJ_HEADER "obj-elf.h"
26 #ifndef ECOFF_DEBUGGING
27 #define ECOFF_DEBUGGING 0
29 #define NEED_ECOFF_DEBUG
32 #ifdef NEED_ECOFF_DEBUG
37 #include "elf/alpha.h"
48 static bfd_vma elf_s_get_size
PARAMS ((symbolS
*));
49 static void elf_s_set_size
PARAMS ((symbolS
*, bfd_vma
));
50 static bfd_vma elf_s_get_align
PARAMS ((symbolS
*));
51 static void elf_s_set_align
PARAMS ((symbolS
*, bfd_vma
));
52 static void elf_copy_symbol_attributes
PARAMS ((symbolS
*, symbolS
*));
53 static int elf_sec_sym_ok_for_reloc
PARAMS ((asection
*));
54 static void adjust_stab_sections
PARAMS ((bfd
*, asection
*, PTR
));
56 #ifdef NEED_ECOFF_DEBUG
57 static boolean elf_get_extr
PARAMS ((asymbol
*, EXTR
*));
58 static void elf_set_index
PARAMS ((asymbol
*, bfd_size_type
));
61 static void obj_elf_line
PARAMS ((int));
62 void obj_elf_version
PARAMS ((int));
63 static void obj_elf_size
PARAMS ((int));
64 static void obj_elf_type
PARAMS ((int));
65 static void obj_elf_ident
PARAMS ((int));
66 static void obj_elf_weak
PARAMS ((int));
67 static void obj_elf_local
PARAMS ((int));
68 static void obj_elf_common
PARAMS ((int));
69 static void obj_elf_symver
PARAMS ((int));
70 static void obj_elf_vtable_inherit
PARAMS ((int));
71 static void obj_elf_vtable_entry
PARAMS ((int));
72 static void obj_elf_data
PARAMS ((int));
73 static void obj_elf_text
PARAMS ((int));
74 static void obj_elf_subsection
PARAMS ((int));
76 static const pseudo_typeS elf_pseudo_table
[] =
78 {"comm", obj_elf_common
, 0},
79 {"ident", obj_elf_ident
, 0},
80 {"local", obj_elf_local
, 0},
81 {"previous", obj_elf_previous
, 0},
82 {"section", obj_elf_section
, 0},
83 {"section.s", obj_elf_section
, 0},
84 {"sect", obj_elf_section
, 0},
85 {"sect.s", obj_elf_section
, 0},
86 {"size", obj_elf_size
, 0},
87 {"type", obj_elf_type
, 0},
88 {"version", obj_elf_version
, 0},
89 {"weak", obj_elf_weak
, 0},
91 /* These are used for stabs-in-elf configurations. */
92 {"line", obj_elf_line
, 0},
94 /* This is a GNU extension to handle symbol versions. */
95 {"symver", obj_elf_symver
, 0},
97 /* A GNU extension to change subsection only. */
98 {"subsection", obj_elf_subsection
, 0},
100 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
101 {"vtable_inherit", obj_elf_vtable_inherit
, 0},
102 {"vtable_entry", obj_elf_vtable_entry
, 0},
104 /* These are used for dwarf. */
109 /* We need to trap the section changing calls to handle .previous. */
110 {"data", obj_elf_data
, 0},
111 {"text", obj_elf_text
, 0},
117 static const pseudo_typeS ecoff_debug_pseudo_table
[] =
119 #ifdef NEED_ECOFF_DEBUG
120 /* COFF style debugging information for ECOFF. .ln is not used; .loc
122 { "def", ecoff_directive_def
, 0 },
123 { "dim", ecoff_directive_dim
, 0 },
124 { "endef", ecoff_directive_endef
, 0 },
125 { "file", ecoff_directive_file
, 0 },
126 { "scl", ecoff_directive_scl
, 0 },
127 { "tag", ecoff_directive_tag
, 0 },
128 { "val", ecoff_directive_val
, 0 },
130 /* COFF debugging requires pseudo-ops .size and .type, but ELF
131 already has meanings for those. We use .esize and .etype
132 instead. These are only generated by gcc anyhow. */
133 { "esize", ecoff_directive_size
, 0 },
134 { "etype", ecoff_directive_type
, 0 },
136 /* ECOFF specific debugging information. */
137 { "begin", ecoff_directive_begin
, 0 },
138 { "bend", ecoff_directive_bend
, 0 },
139 { "end", ecoff_directive_end
, 0 },
140 { "ent", ecoff_directive_ent
, 0 },
141 { "fmask", ecoff_directive_fmask
, 0 },
142 { "frame", ecoff_directive_frame
, 0 },
143 { "loc", ecoff_directive_loc
, 0 },
144 { "mask", ecoff_directive_mask
, 0 },
146 /* Other ECOFF directives. */
147 { "extern", ecoff_directive_extern
, 0 },
149 /* These are used on Irix. I don't know how to implement them. */
150 { "alias", s_ignore
, 0 },
151 { "bgnb", s_ignore
, 0 },
152 { "endb", s_ignore
, 0 },
153 { "lab", s_ignore
, 0 },
154 { "noalias", s_ignore
, 0 },
155 { "verstamp", s_ignore
, 0 },
156 { "vreg", s_ignore
, 0 },
159 {NULL
} /* end sentinel */
163 #include "aout/aout64.h"
165 /* This is called when the assembler starts. */
170 /* Add symbols for the known sections to the symbol table. */
171 symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput
,
172 TEXT_SECTION_NAME
)));
173 symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput
,
174 DATA_SECTION_NAME
)));
175 symbol_table_insert (section_symbol (bfd_get_section_by_name (stdoutput
,
182 pop_insert (elf_pseudo_table
);
184 pop_insert (ecoff_debug_pseudo_table
);
191 return S_GET_SIZE (sym
);
195 elf_s_set_size (sym
, sz
)
199 S_SET_SIZE (sym
, sz
);
203 elf_s_get_align (sym
)
206 return S_GET_ALIGN (sym
);
210 elf_s_set_align (sym
, align
)
214 S_SET_ALIGN (sym
, align
);
218 elf_copy_symbol_attributes (dest
, src
)
221 OBJ_COPY_SYMBOL_ATTRIBUTES (dest
, src
);
225 elf_sec_sym_ok_for_reloc (sec
)
228 return obj_sec_sym_ok_for_reloc (sec
);
237 sym
= symbol_new (s
, absolute_section
, (valueT
) 0, (struct frag
*) 0);
238 sym
->sy_frag
= &zero_address_frag
;
239 sym
->bsym
->flags
|= BSF_FILE
;
241 if (symbol_rootP
!= sym
)
243 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
244 symbol_insert (sym
, symbol_rootP
, &symbol_rootP
, &symbol_lastP
);
246 verify_symbol_chain (symbol_rootP
, symbol_lastP
);
250 #ifdef NEED_ECOFF_DEBUG
256 obj_elf_common (ignore
)
266 name
= input_line_pointer
;
267 c
= get_symbol_end ();
268 /* just after name is now '\0' */
269 p
= input_line_pointer
;
272 if (*input_line_pointer
!= ',')
274 as_bad (_("Expected comma after symbol-name"));
275 ignore_rest_of_line ();
278 input_line_pointer
++; /* skip ',' */
279 if ((temp
= get_absolute_expression ()) < 0)
281 as_bad (_(".COMMon length (%d.) <0! Ignored."), temp
);
282 ignore_rest_of_line ();
287 symbolP
= symbol_find_or_make (name
);
289 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
291 as_bad (_("Ignoring attempt to re-define symbol"));
292 ignore_rest_of_line ();
295 if (S_GET_VALUE (symbolP
) != 0)
297 if (S_GET_VALUE (symbolP
) != size
)
299 as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %d."),
300 S_GET_NAME (symbolP
), (long) S_GET_VALUE (symbolP
), size
);
303 know (symbolP
->sy_frag
== &zero_address_frag
);
304 if (*input_line_pointer
!= ',')
309 input_line_pointer
++;
312 if (! have_align
|| *input_line_pointer
!= '"')
318 temp
= get_absolute_expression ();
322 as_warn (_("Common alignment negative; 0 assumed"));
334 old_subsec
= now_subseg
;
337 /* convert to a power of 2 alignment */
338 for (align
= 0; (temp
& 1) == 0; temp
>>= 1, ++align
);
341 as_bad (_("Common alignment not a power of 2"));
342 ignore_rest_of_line ();
348 record_alignment (bss_section
, align
);
349 subseg_set (bss_section
, 0);
351 frag_align (align
, 0, 0);
352 if (S_GET_SEGMENT (symbolP
) == bss_section
)
353 symbolP
->sy_frag
->fr_symbol
= 0;
354 symbolP
->sy_frag
= frag_now
;
355 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
,
356 (offsetT
) size
, (char *) 0);
358 S_SET_SIZE (symbolP
, size
);
359 S_SET_SEGMENT (symbolP
, bss_section
);
360 S_CLEAR_EXTERNAL (symbolP
);
361 subseg_set (old_sec
, old_subsec
);
366 S_SET_VALUE (symbolP
, (valueT
) size
);
367 S_SET_ALIGN (symbolP
, temp
);
368 S_SET_EXTERNAL (symbolP
);
369 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
374 input_line_pointer
++;
375 /* @@ Some use the dot, some don't. Can we get some consistency?? */
376 if (*input_line_pointer
== '.')
377 input_line_pointer
++;
378 /* @@ Some say data, some say bss. */
379 if (strncmp (input_line_pointer
, "bss\"", 4)
380 && strncmp (input_line_pointer
, "data\"", 5))
382 while (*--input_line_pointer
!= '"')
384 input_line_pointer
--;
385 goto bad_common_segment
;
387 while (*input_line_pointer
++ != '"')
389 goto allocate_common
;
392 symbolP
->bsym
->flags
|= BSF_OBJECT
;
394 demand_empty_rest_of_line ();
399 p
= input_line_pointer
;
400 while (*p
&& *p
!= '\n')
404 as_bad (_("bad .common segment %s"), input_line_pointer
+ 1);
406 input_line_pointer
= p
;
407 ignore_rest_of_line ();
413 obj_elf_local (ignore
)
422 name
= input_line_pointer
;
423 c
= get_symbol_end ();
424 symbolP
= symbol_find_or_make (name
);
425 *input_line_pointer
= c
;
427 S_CLEAR_EXTERNAL (symbolP
);
431 input_line_pointer
++;
433 if (*input_line_pointer
== '\n')
438 demand_empty_rest_of_line ();
442 obj_elf_weak (ignore
)
451 name
= input_line_pointer
;
452 c
= get_symbol_end ();
453 symbolP
= symbol_find_or_make (name
);
454 *input_line_pointer
= c
;
456 S_SET_WEAK (symbolP
);
460 input_line_pointer
++;
462 if (*input_line_pointer
== '\n')
467 demand_empty_rest_of_line ();
470 static segT previous_section
;
471 static int previous_subsection
;
473 /* Handle the .section pseudo-op. This code supports two different
476 The first is found on Solaris, and looks like
477 .section ".sec1",#alloc,#execinstr,#write
478 Here the names after '#' are the SHF_* flags to turn on for the
479 section. I'm not sure how it determines the SHT_* type (BFD
480 doesn't really give us control over the type, anyhow).
482 The second format is found on UnixWare, and probably most SVR4
483 machines, and looks like
484 .section .sec1,"a",@progbits
485 The quoted string may contain any combination of a, w, x, and
486 represents the SHF_* flags to turn on for the section. The string
487 beginning with '@' can be progbits or nobits. There should be
488 other possibilities, but I don't know what they are. In any case,
489 BFD doesn't really let us set the section type. */
491 /* Certain named sections have particular defined types, listed on p.
493 struct special_section
500 static struct special_section special_sections
[] =
502 { ".bss", SHT_NOBITS
, SHF_ALLOC
+ SHF_WRITE
},
503 { ".comment", SHT_PROGBITS
, 0 },
504 { ".data", SHT_PROGBITS
, SHF_ALLOC
+ SHF_WRITE
},
505 { ".data1", SHT_PROGBITS
, SHF_ALLOC
+ SHF_WRITE
},
506 { ".debug", SHT_PROGBITS
, 0 },
507 { ".fini", SHT_PROGBITS
, SHF_ALLOC
+ SHF_EXECINSTR
},
508 { ".init", SHT_PROGBITS
, SHF_ALLOC
+ SHF_EXECINSTR
},
509 { ".line", SHT_PROGBITS
, 0 },
510 { ".note", SHT_NOTE
, 0 },
511 { ".rodata", SHT_PROGBITS
, SHF_ALLOC
},
512 { ".rodata1", SHT_PROGBITS
, SHF_ALLOC
},
513 { ".text", SHT_PROGBITS
, SHF_ALLOC
+ SHF_EXECINSTR
},
515 #ifdef ELF_TC_SPECIAL_SECTIONS
516 ELF_TC_SPECIAL_SECTIONS
520 /* The following section names are special, but they can not
521 reasonably appear in assembler code. Some of the attributes are
522 processor dependent. */
523 { ".dynamic", SHT_DYNAMIC
, SHF_ALLOC
/* + SHF_WRITE */ },
524 { ".dynstr", SHT_STRTAB
, SHF_ALLOC
},
525 { ".dynsym", SHT_DYNSYM
, SHF_ALLOC
},
526 { ".got", SHT_PROGBITS
, 0 },
527 { ".hash", SHT_HASH
, SHF_ALLOC
},
528 { ".interp", SHT_PROGBITS
, /* SHF_ALLOC */ },
529 { ".plt", SHT_PROGBITS
, 0 },
530 { ".shstrtab",SHT_STRTAB
, 0 },
531 { ".strtab", SHT_STRTAB
, /* SHF_ALLOC */ },
532 { ".symtab", SHT_SYMTAB
, /* SHF_ALLOC */ },
539 obj_elf_section (xxx
)
550 #ifdef md_flush_pending_output
551 md_flush_pending_output ();
558 previous_section
= now_seg
;
559 previous_subsection
= now_subseg
;
561 s_mri_sect (&mri_type
);
563 #ifdef md_elf_section_change_hook
564 md_elf_section_change_hook ();
570 /* Get name of section. */
572 if (*input_line_pointer
== '"')
574 string
= demand_copy_C_string (&xxx
);
577 ignore_rest_of_line ();
583 char *p
= input_line_pointer
;
585 while (0 == strchr ("\n\t,; ", *p
))
587 if (p
== input_line_pointer
)
589 as_warn (_("Missing section name"));
590 ignore_rest_of_line ();
595 string
= xmalloc ((unsigned long) (p
- input_line_pointer
+ 1));
596 strcpy (string
, input_line_pointer
);
598 input_line_pointer
= p
;
601 /* Switch to the section, creating it if necessary. */
602 previous_section
= now_seg
;
603 previous_subsection
= now_subseg
;
605 new_sec
= bfd_get_section_by_name (stdoutput
, string
) == NULL
;
606 sec
= subseg_new (string
, 0);
608 /* If this section already existed, we don't bother to change the
612 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
613 ++input_line_pointer
;
614 ++input_line_pointer
;
616 #ifdef md_elf_section_change_hook
617 md_elf_section_change_hook ();
628 if (*input_line_pointer
== ',')
630 /* Skip the comma. */
631 ++input_line_pointer
;
635 if (*input_line_pointer
== '"')
637 /* Pick up a string with a combination of a, w, x. */
638 ++input_line_pointer
;
639 while (*input_line_pointer
!= '"')
641 switch (*input_line_pointer
)
650 attr
|= SHF_EXECINSTR
;
654 char *bad_msg
= _("Bad .section directive: want a,w,x in string");
655 #ifdef md_elf_section_letter
656 int md_attr
= md_elf_section_letter (*input_line_pointer
, &bad_msg
);
663 ignore_rest_of_line ();
668 ++input_line_pointer
;
671 /* Skip the closing quote. */
672 ++input_line_pointer
;
675 if (*input_line_pointer
== ',')
677 ++input_line_pointer
;
679 if (*input_line_pointer
== '@')
681 ++input_line_pointer
;
682 if (strncmp (input_line_pointer
, "progbits",
683 sizeof "progbits" - 1) == 0)
686 input_line_pointer
+= sizeof "progbits" - 1;
688 else if (strncmp (input_line_pointer
, "nobits",
689 sizeof "nobits" - 1) == 0)
692 input_line_pointer
+= sizeof "nobits" - 1;
696 #ifdef md_elf_section_type
697 int md_type
= md_elf_section_type (&input_line_pointer
);
703 as_warn (_("Unrecognized section type"));
704 ignore_rest_of_line ();
715 if (*input_line_pointer
!= '#')
717 as_warn (_("Bad .section directive - character following name is not '#'"));
718 ignore_rest_of_line ();
721 ++input_line_pointer
;
722 if (strncmp (input_line_pointer
, "write",
723 sizeof "write" - 1) == 0)
726 input_line_pointer
+= sizeof "write" - 1;
728 else if (strncmp (input_line_pointer
, "alloc",
729 sizeof "alloc" - 1) == 0)
732 input_line_pointer
+= sizeof "alloc" - 1;
734 else if (strncmp (input_line_pointer
, "execinstr",
735 sizeof "execinstr" - 1) == 0)
737 attr
|= SHF_EXECINSTR
;
738 input_line_pointer
+= sizeof "execinstr" - 1;
742 #ifdef md_elf_section_word
743 int md_attr
= md_elf_section_word (&input_line_pointer
);
749 as_warn (_("Unrecognized section attribute"));
750 ignore_rest_of_line ();
756 while (*input_line_pointer
++ == ',');
757 --input_line_pointer
;
761 /* See if this is one of the special sections. */
762 for (i
= 0; special_sections
[i
].name
!= NULL
; i
++)
764 if (string
[1] == special_sections
[i
].name
[1]
765 && strcmp (string
, special_sections
[i
].name
) == 0)
767 if (type
== SHT_NULL
)
768 type
= special_sections
[i
].type
;
769 else if (type
!= special_sections
[i
].type
)
770 as_warn (_("Setting incorrect section type for %s"), string
);
772 if ((attr
&~ special_sections
[i
].attributes
) != 0)
774 /* As a GNU extension, we permit a .note section to be
775 allocatable. If the linker sees an allocateable
776 .note section, it will create a PT_NOTE segment in
778 if (strcmp (string
, ".note") != 0
779 || attr
!= SHF_ALLOC
)
780 as_warn (_("Setting incorrect section attributes for %s"),
783 attr
|= special_sections
[i
].attributes
;
790 | ((attr
& SHF_WRITE
) ? 0 : SEC_READONLY
)
791 | ((attr
& SHF_ALLOC
) ? SEC_ALLOC
: 0)
792 | (((attr
& SHF_ALLOC
) && type
!= SHT_NOBITS
) ? SEC_LOAD
: 0)
793 | ((attr
& SHF_EXECINSTR
) ? SEC_CODE
: 0));
794 if (special_sections
[i
].name
== NULL
)
796 if (type
== SHT_PROGBITS
)
797 flags
|= SEC_ALLOC
| SEC_LOAD
;
798 else if (type
== SHT_NOBITS
)
804 #ifdef md_elf_section_flags
805 flags
= md_elf_section_flags (flags
, attr
, type
);
809 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
810 if (type
== SHT_NOBITS
)
811 seg_info (sec
)->bss
= 1;
813 bfd_set_section_flags (stdoutput
, sec
, flags
);
815 /* Add a symbol for this section to the symbol table. */
816 secsym
= symbol_find (string
);
818 secsym
->bsym
= sec
->symbol
;
820 symbol_table_insert (section_symbol (sec
));
822 #ifdef md_elf_section_change_hook
823 md_elf_section_change_hook ();
826 demand_empty_rest_of_line ();
829 /* Change to the .data section. */
835 #ifdef md_flush_pending_output
836 md_flush_pending_output ();
839 previous_section
= now_seg
;
840 previous_subsection
= now_subseg
;
843 #ifdef md_elf_section_change_hook
844 md_elf_section_change_hook ();
848 /* Change to the .text section. */
854 #ifdef md_flush_pending_output
855 md_flush_pending_output ();
858 previous_section
= now_seg
;
859 previous_subsection
= now_subseg
;
862 #ifdef md_elf_section_change_hook
863 md_elf_section_change_hook ();
868 obj_elf_subsection (ignore
)
873 #ifdef md_flush_pending_output
874 md_flush_pending_output ();
877 previous_section
= now_seg
;
878 previous_subsection
= now_subseg
;
880 temp
= get_absolute_expression ();
881 subseg_set (now_seg
, (subsegT
) temp
);
882 demand_empty_rest_of_line ();
884 #ifdef md_elf_section_change_hook
885 md_elf_section_change_hook ();
889 /* This can be called from the processor backends if they change
893 obj_elf_section_change_hook ()
895 previous_section
= now_seg
;
896 previous_subsection
= now_subseg
;
900 obj_elf_previous (ignore
)
903 if (previous_section
== 0)
905 as_bad (_(".previous without corresponding .section; ignored"));
909 #ifdef md_flush_pending_output
910 md_flush_pending_output ();
913 subseg_set (previous_section
, previous_subsection
);
914 previous_section
= 0;
916 #ifdef md_elf_section_change_hook
917 md_elf_section_change_hook ();
922 obj_elf_line (ignore
)
925 /* Assume delimiter is part of expression. BSD4.2 as fails with
926 delightful bug, so we are not being incompatible here. */
927 new_logical_line ((char *) NULL
, (int) (get_absolute_expression ()));
928 demand_empty_rest_of_line ();
931 /* This handles the .symver pseudo-op, which is used to specify a
932 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
933 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
934 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
935 with the same value as the symbol NAME. */
938 obj_elf_symver (ignore
)
945 name
= input_line_pointer
;
946 c
= get_symbol_end ();
948 sym
= symbol_find_or_make (name
);
950 *input_line_pointer
= c
;
952 if (sym
->sy_obj
.versioned_name
!= NULL
)
954 as_bad (_("multiple .symver directives for symbol `%s'"),
956 ignore_rest_of_line ();
961 if (*input_line_pointer
!= ',')
963 as_bad (_("expected comma after name in .symver"));
964 ignore_rest_of_line ();
968 ++input_line_pointer
;
969 name
= input_line_pointer
;
972 c
= get_symbol_end ();
973 if (c
!= ELF_VER_CHR
)
975 *input_line_pointer
++ = c
;
978 sym
->sy_obj
.versioned_name
= xstrdup (name
);
980 *input_line_pointer
= c
;
982 if (strchr (sym
->sy_obj
.versioned_name
, ELF_VER_CHR
) == NULL
)
984 as_bad (_("missing version name in `%s' for symbol `%s'"),
985 sym
->sy_obj
.versioned_name
, S_GET_NAME (sym
));
986 ignore_rest_of_line ();
990 demand_empty_rest_of_line ();
993 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
994 to the linker the hierarchy in which a particular table resides. The
995 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
998 obj_elf_vtable_inherit (ignore
)
1000 char *cname
, *pname
;
1001 symbolS
*csym
, *psym
;
1004 cname
= input_line_pointer
;
1005 c
= get_symbol_end ();
1006 csym
= symbol_find (cname
);
1008 /* GCFIXME: should check that we don't have two .vtable_inherits for
1009 the same child symbol. Also, we can currently only do this if the
1010 child symbol is already exists and is placed in a fragment. */
1012 if (csym
== NULL
|| csym
->sy_frag
== NULL
)
1014 as_bad ("expected `%s' to have already been set for .vtable_inherit",
1019 *input_line_pointer
= c
;
1022 if (*input_line_pointer
!= ',')
1024 as_bad ("expected comma after name in .vtable_inherit");
1025 ignore_rest_of_line ();
1029 ++input_line_pointer
;
1031 if (input_line_pointer
[0] == '0'
1032 && (input_line_pointer
[1] == '\0'
1033 || isspace(input_line_pointer
[1])))
1035 psym
= section_symbol (absolute_section
);
1036 ++input_line_pointer
;
1040 pname
= input_line_pointer
;
1041 c
= get_symbol_end ();
1042 psym
= symbol_find_or_make (pname
);
1043 *input_line_pointer
= c
;
1046 demand_empty_rest_of_line ();
1051 assert (csym
->sy_value
.X_op
== O_constant
);
1052 fix_new (csym
->sy_frag
, csym
->sy_value
.X_add_number
, 0, psym
, 0, 0,
1053 BFD_RELOC_VTABLE_INHERIT
);
1056 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1057 to the linker that a vtable slot was used. The syntax is
1058 ".vtable_entry tablename, offset". */
1061 obj_elf_vtable_entry (ignore
)
1068 name
= input_line_pointer
;
1069 c
= get_symbol_end ();
1070 sym
= symbol_find_or_make (name
);
1071 *input_line_pointer
= c
;
1074 if (*input_line_pointer
!= ',')
1076 as_bad ("expected comma after name in .vtable_entry");
1077 ignore_rest_of_line ();
1081 ++input_line_pointer
;
1082 offset
= get_absolute_expression ();
1084 fix_new (frag_now
, frag_now_fix (), 0, sym
, offset
, 0,
1085 BFD_RELOC_VTABLE_ENTRY
);
1087 demand_empty_rest_of_line ();
1091 obj_read_begin_hook ()
1093 #ifdef NEED_ECOFF_DEBUG
1094 if (ECOFF_DEBUGGING
)
1095 ecoff_read_begin_hook ();
1100 obj_symbol_new_hook (symbolP
)
1103 symbolP
->sy_obj
.size
= NULL
;
1104 symbolP
->sy_obj
.versioned_name
= NULL
;
1106 #ifdef NEED_ECOFF_DEBUG
1107 if (ECOFF_DEBUGGING
)
1108 ecoff_symbol_new_hook (symbolP
);
1113 obj_elf_version (ignore
)
1120 asection
*seg
= now_seg
;
1121 subsegT subseg
= now_subseg
;
1122 Elf_Internal_Note i_note
;
1123 Elf_External_Note e_note
;
1124 asection
*note_secp
= (asection
*) NULL
;
1128 if (*input_line_pointer
== '\"')
1130 ++input_line_pointer
; /* -> 1st char of string. */
1131 name
= input_line_pointer
;
1133 while (is_a_char (c
= next_char_of_string ()))
1135 c
= *input_line_pointer
;
1136 *input_line_pointer
= '\0';
1137 *(input_line_pointer
- 1) = '\0';
1138 *input_line_pointer
= c
;
1140 /* create the .note section */
1142 note_secp
= subseg_new (".note", 0);
1143 bfd_set_section_flags (stdoutput
,
1145 SEC_HAS_CONTENTS
| SEC_READONLY
);
1147 /* process the version string */
1149 len
= strlen (name
);
1151 i_note
.namesz
= ((len
+ 1) + 3) & ~3; /* round this to word boundary */
1152 i_note
.descsz
= 0; /* no description */
1153 i_note
.type
= NT_VERSION
;
1154 p
= frag_more (sizeof (e_note
.namesz
));
1155 md_number_to_chars (p
, (valueT
) i_note
.namesz
, 4);
1156 p
= frag_more (sizeof (e_note
.descsz
));
1157 md_number_to_chars (p
, (valueT
) i_note
.descsz
, 4);
1158 p
= frag_more (sizeof (e_note
.type
));
1159 md_number_to_chars (p
, (valueT
) i_note
.type
, 4);
1161 for (i
= 0; i
< len
; i
++)
1165 FRAG_APPEND_1_CHAR (ch
);
1168 frag_align (2, 0, 0);
1170 subseg_set (seg
, subseg
);
1174 as_bad (_("Expected quoted string"));
1176 demand_empty_rest_of_line ();
1180 obj_elf_size (ignore
)
1183 char *name
= input_line_pointer
;
1184 char c
= get_symbol_end ();
1189 p
= input_line_pointer
;
1192 if (*input_line_pointer
!= ',')
1195 as_bad (_("expected comma after name `%s' in .size directive"), name
);
1197 ignore_rest_of_line ();
1200 input_line_pointer
++;
1202 if (exp
.X_op
== O_absent
)
1204 as_bad (_("missing expression in .size directive"));
1205 exp
.X_op
= O_constant
;
1206 exp
.X_add_number
= 0;
1209 sym
= symbol_find_or_make (name
);
1211 if (exp
.X_op
== O_constant
)
1212 S_SET_SIZE (sym
, exp
.X_add_number
);
1215 sym
->sy_obj
.size
= (expressionS
*) xmalloc (sizeof (expressionS
));
1216 *sym
->sy_obj
.size
= exp
;
1218 demand_empty_rest_of_line ();
1221 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1222 There are three syntaxes. The first (used on Solaris) is
1224 The second (used on UnixWare) is
1226 The third (reportedly to be used on Irix 6.0) is
1231 obj_elf_type (ignore
)
1237 const char *typename
;
1240 name
= input_line_pointer
;
1241 c
= get_symbol_end ();
1242 sym
= symbol_find_or_make (name
);
1243 *input_line_pointer
= c
;
1246 if (*input_line_pointer
== ',')
1247 ++input_line_pointer
;
1250 if (*input_line_pointer
== '#' || *input_line_pointer
== '@')
1251 ++input_line_pointer
;
1253 typename
= input_line_pointer
;
1254 c
= get_symbol_end ();
1257 if (strcmp (typename
, "function") == 0
1258 || strcmp (typename
, "STT_FUNC") == 0)
1259 type
= BSF_FUNCTION
;
1260 else if (strcmp (typename
, "object") == 0
1261 || strcmp (typename
, "STT_OBJECT") == 0)
1264 as_bad (_("ignoring unrecognized symbol type \"%s\""), typename
);
1266 *input_line_pointer
= c
;
1268 sym
->bsym
->flags
|= type
;
1270 demand_empty_rest_of_line ();
1274 obj_elf_ident (ignore
)
1277 static segT comment_section
;
1278 segT old_section
= now_seg
;
1279 int old_subsection
= now_subseg
;
1281 if (!comment_section
)
1284 comment_section
= subseg_new (".comment", 0);
1285 bfd_set_section_flags (stdoutput
, comment_section
,
1286 SEC_READONLY
| SEC_HAS_CONTENTS
);
1291 subseg_set (comment_section
, 0);
1293 subseg_set (old_section
, old_subsection
);
1296 #ifdef INIT_STAB_SECTION
1298 /* The first entry in a .stabs section is special. */
1301 obj_elf_init_stab_section (seg
)
1307 unsigned int stroff
;
1309 /* Force the section to align to a longword boundary. Without this,
1310 UnixWare ar crashes. */
1311 bfd_set_section_alignment (stdoutput
, seg
, 2);
1313 /* Make space for this first symbol. */
1317 as_where (&file
, (unsigned int *) NULL
);
1318 stabstr_name
= (char *) alloca (strlen (segment_name (seg
)) + 4);
1319 strcpy (stabstr_name
, segment_name (seg
));
1320 strcat (stabstr_name
, "str");
1321 stroff
= get_stab_string_offset (file
, stabstr_name
);
1323 md_number_to_chars (p
, stroff
, 4);
1324 seg_info (seg
)->stabu
.p
= p
;
1329 /* Fill in the counts in the first entry in a .stabs section. */
1332 adjust_stab_sections (abfd
, sec
, xxx
)
1342 if (strncmp (".stab", sec
->name
, 5))
1344 if (!strcmp ("str", sec
->name
+ strlen (sec
->name
) - 3))
1347 name
= (char *) alloca (strlen (sec
->name
) + 4);
1348 strcpy (name
, sec
->name
);
1349 strcat (name
, "str");
1350 strsec
= bfd_get_section_by_name (abfd
, name
);
1352 strsz
= bfd_section_size (abfd
, strsec
);
1355 nsyms
= bfd_section_size (abfd
, sec
) / 12 - 1;
1357 p
= seg_info (sec
)->stabu
.p
;
1360 bfd_h_put_16 (abfd
, (bfd_vma
) nsyms
, (bfd_byte
*) p
+ 6);
1361 bfd_h_put_32 (abfd
, (bfd_vma
) strsz
, (bfd_byte
*) p
+ 8);
1364 #ifdef NEED_ECOFF_DEBUG
1366 /* This function is called by the ECOFF code. It is supposed to
1367 record the external symbol information so that the backend can
1368 write it out correctly. The ELF backend doesn't actually handle
1369 this at the moment, so we do it ourselves. We save the information
1373 elf_ecoff_set_ext (sym
, ext
)
1375 struct ecoff_extr
*ext
;
1377 sym
->bsym
->udata
.p
= (PTR
) ext
;
1380 /* This function is called by bfd_ecoff_debug_externals. It is
1381 supposed to *EXT to the external symbol information, and return
1382 whether the symbol should be used at all. */
1385 elf_get_extr (sym
, ext
)
1389 if (sym
->udata
.p
== NULL
)
1391 *ext
= *(EXTR
*) sym
->udata
.p
;
1395 /* This function is called by bfd_ecoff_debug_externals. It has
1396 nothing to do for ELF. */
1400 elf_set_index (sym
, indx
)
1406 #endif /* NEED_ECOFF_DEBUG */
1409 elf_frob_symbol (symp
, puntp
)
1413 #ifdef NEED_ECOFF_DEBUG
1414 if (ECOFF_DEBUGGING
)
1415 ecoff_frob_symbol (symp
);
1418 if (symp
->sy_obj
.size
!= NULL
)
1420 switch (symp
->sy_obj
.size
->X_op
)
1424 (S_GET_VALUE (symp
->sy_obj
.size
->X_add_symbol
)
1425 + symp
->sy_obj
.size
->X_add_number
1426 - S_GET_VALUE (symp
->sy_obj
.size
->X_op_symbol
)));
1430 (S_GET_VALUE (symp
->sy_obj
.size
->X_add_symbol
)
1431 + symp
->sy_obj
.size
->X_add_number
));
1434 as_bad (_(".size expression too complicated to fix up"));
1437 free (symp
->sy_obj
.size
);
1438 symp
->sy_obj
.size
= NULL
;
1441 if (symp
->sy_obj
.versioned_name
!= NULL
)
1443 /* This symbol was given a new name with the .symver directive.
1445 If this is an external reference, just rename the symbol to
1446 include the version string. This will make the relocs be
1447 against the correct versioned symbol.
1449 If this is a definition, add an alias. FIXME: Using an alias
1450 will permit the debugging information to refer to the right
1451 symbol. However, it's not clear whether it is the best
1454 if (! S_IS_DEFINED (symp
))
1458 /* Verify that the name isn't using the @@ syntax--this is
1459 reserved for definitions of the default version to link
1461 p
= strchr (symp
->sy_obj
.versioned_name
, ELF_VER_CHR
);
1463 if (p
[1] == ELF_VER_CHR
)
1465 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
1466 symp
->sy_obj
.versioned_name
);
1469 S_SET_NAME (symp
, symp
->sy_obj
.versioned_name
);
1475 /* FIXME: Creating a new symbol here is risky. We're in the
1476 final loop over the symbol table. We can get away with
1477 it only because the symbol goes to the end of the list,
1478 where the loop will still see it. It would probably be
1479 better to do this in obj_frob_file_before_adjust. */
1481 symp2
= symbol_find_or_make (symp
->sy_obj
.versioned_name
);
1483 /* Now we act as though we saw symp2 = sym. */
1485 S_SET_SEGMENT (symp2
, S_GET_SEGMENT (symp
));
1487 /* Subtracting out the frag address here is a hack because
1488 we are in the middle of the final loop. */
1489 S_SET_VALUE (symp2
, S_GET_VALUE (symp
) - symp
->sy_frag
->fr_address
);
1491 symp2
->sy_frag
= symp
->sy_frag
;
1493 /* This will copy over the size information. */
1494 copy_symbol_attributes (symp2
, symp
);
1496 if (S_IS_WEAK (symp
))
1499 if (S_IS_EXTERNAL (symp
))
1500 S_SET_EXTERNAL (symp2
);
1504 /* Double check weak symbols. */
1505 if (symp
->bsym
->flags
& BSF_WEAK
)
1507 if (S_IS_COMMON (symp
))
1508 as_bad (_("Symbol `%s' can not be both weak and common"),
1513 /* The Irix 5 and 6 assemblers set the type of any common symbol and
1514 any undefined non-function symbol to STT_OBJECT. We try to be
1515 compatible, since newer Irix 5 and 6 linkers care. However, we
1516 only set undefined symbols to be STT_OBJECT if we are on Irix,
1517 because that is the only time gcc will generate the necessary
1518 .global directives to mark functions. */
1520 if (S_IS_COMMON (symp
))
1521 symp
->bsym
->flags
|= BSF_OBJECT
;
1523 if (strstr (TARGET_OS
, "irix") != NULL
1524 && (! S_IS_DEFINED (symp
) && ((symp
->bsym
->flags
& BSF_FUNCTION
) == 0)))
1525 symp
->bsym
->flags
|= BSF_OBJECT
;
1529 /* Frob the PowerPC, so that the symbol always has object type
1530 if it is not some other type. VxWorks needs this. */
1531 if ((symp
->bsym
->flags
& (BSF_FUNCTION
| BSF_FILE
| BSF_SECTION_SYM
)) == 0
1532 && S_IS_DEFINED (symp
))
1533 symp
->bsym
->flags
|= BSF_OBJECT
;
1540 bfd_map_over_sections (stdoutput
, adjust_stab_sections
, (PTR
) 0);
1542 #ifdef elf_tc_final_processing
1543 elf_tc_final_processing ();
1547 /* It is required that we let write_relocs have the opportunity to
1548 optimize away fixups before output has begun, since it is possible
1549 to eliminate all fixups for a section and thus we never should
1550 have generated the relocation section. */
1553 elf_frob_file_after_relocs ()
1555 #ifdef NEED_ECOFF_DEBUG
1556 if (ECOFF_DEBUGGING
)
1557 /* Generate the ECOFF debugging information. */
1559 const struct ecoff_debug_swap
*debug_swap
;
1560 struct ecoff_debug_info debug
;
1565 = get_elf_backend_data (stdoutput
)->elf_backend_ecoff_debug_swap
;
1566 know (debug_swap
!= (const struct ecoff_debug_swap
*) NULL
);
1567 ecoff_build_debug (&debug
.symbolic_header
, &buf
, debug_swap
);
1569 /* Set up the pointers in debug. */
1570 #define SET(ptr, offset, type) \
1571 debug.ptr = (type) (buf + debug.symbolic_header.offset)
1573 SET (line
, cbLineOffset
, unsigned char *);
1574 SET (external_dnr
, cbDnOffset
, PTR
);
1575 SET (external_pdr
, cbPdOffset
, PTR
);
1576 SET (external_sym
, cbSymOffset
, PTR
);
1577 SET (external_opt
, cbOptOffset
, PTR
);
1578 SET (external_aux
, cbAuxOffset
, union aux_ext
*);
1579 SET (ss
, cbSsOffset
, char *);
1580 SET (external_fdr
, cbFdOffset
, PTR
);
1581 SET (external_rfd
, cbRfdOffset
, PTR
);
1582 /* ssext and external_ext are set up just below. */
1586 /* Set up the external symbols. */
1587 debug
.ssext
= debug
.ssext_end
= NULL
;
1588 debug
.external_ext
= debug
.external_ext_end
= NULL
;
1589 if (! bfd_ecoff_debug_externals (stdoutput
, &debug
, debug_swap
, true,
1590 elf_get_extr
, elf_set_index
))
1591 as_fatal (_("Failed to set up debugging information: %s"),
1592 bfd_errmsg (bfd_get_error ()));
1594 sec
= bfd_get_section_by_name (stdoutput
, ".mdebug");
1595 assert (sec
!= NULL
);
1597 know (stdoutput
->output_has_begun
== false);
1599 /* We set the size of the section, call bfd_set_section_contents
1600 to force the ELF backend to allocate a file position, and then
1601 write out the data. FIXME: Is this really the best way to do
1603 sec
->_raw_size
= bfd_ecoff_debug_size (stdoutput
, &debug
, debug_swap
);
1605 if (! bfd_set_section_contents (stdoutput
, sec
, (PTR
) NULL
,
1606 (file_ptr
) 0, (bfd_size_type
) 0))
1607 as_fatal (_("Can't start writing .mdebug section: %s"),
1608 bfd_errmsg (bfd_get_error ()));
1610 know (stdoutput
->output_has_begun
== true);
1611 know (sec
->filepos
!= 0);
1613 if (! bfd_ecoff_write_debug (stdoutput
, &debug
, debug_swap
,
1615 as_fatal (_("Could not write .mdebug section: %s"),
1616 bfd_errmsg (bfd_get_error ()));
1618 #endif /* NEED_ECOFF_DEBUG */
1623 /* Heavily plagarized from obj_elf_version. The idea is to emit the
1624 SCO specific identifier in the .notes section to satisfy the SCO
1627 This looks more complicated than it really is. As opposed to the
1628 "obvious" solution, this should handle the cross dev cases
1629 correctly. (i.e, hosting on a 64 bit big endian processor, but
1630 generating SCO Elf code) Efficiency isn't a concern, as there
1631 should be exactly one of these sections per object module.
1633 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
1636 int_32 namesz = 4 ; Name size
1637 int_32 descsz = 12 ; Descriptive information
1639 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
1640 int_32 version = (major ver # << 16) | version of tools ;
1641 int_32 source = (tool_id << 16 ) | 1 ;
1642 int_32 info = 0 ; These are set by the SCO tools, but we
1643 don't know enough about the source
1644 environment to set them. SCO ld currently
1645 ignores them, and recommends we set them
1648 #define SCO_MAJOR_VERSION 0x1
1649 #define SCO_MINOR_VERSION 0x1
1659 asection
*seg
= now_seg
;
1660 subsegT subseg
= now_subseg
;
1661 Elf_Internal_Note i_note
;
1662 Elf_External_Note e_note
;
1663 asection
*note_secp
= (asection
*) NULL
;
1666 /* create the .note section */
1668 note_secp
= subseg_new (".note", 0);
1669 bfd_set_section_flags (stdoutput
,
1671 SEC_HAS_CONTENTS
| SEC_READONLY
);
1673 /* process the version string */
1676 i_note
.descsz
= 12; /* 12 descriptive bytes */
1677 i_note
.type
= NT_VERSION
; /* Contains a version string */
1679 p
= frag_more (sizeof (i_note
.namesz
));
1680 md_number_to_chars (p
, (valueT
) i_note
.namesz
, 4);
1682 p
= frag_more (sizeof (i_note
.descsz
));
1683 md_number_to_chars (p
, (valueT
) i_note
.descsz
, 4);
1685 p
= frag_more (sizeof (i_note
.type
));
1686 md_number_to_chars (p
, (valueT
) i_note
.type
, 4);
1691 /* Note: this is the version number of the ELF we're representing */
1693 md_number_to_chars (p
, (SCO_MAJOR_VERSION
<< 16) | (SCO_MINOR_VERSION
), 4);
1695 /* Here, we pick a magic number for ourselves (yes, I "registered"
1696 it with SCO. The bottom bit shows that we are compat with the
1699 md_number_to_chars (p
, 0x4c520000 | 0x0001, 4);
1701 /* If we knew (or cared) what the source language options were, we'd
1702 fill them in here. SCO has given us permission to ignore these
1703 and just set them to zero. */
1705 md_number_to_chars (p
, 0x0000, 4);
1707 frag_align (2, 0, 0);
1709 /* We probably can't restore the current segment, for there likely
1712 subseg_set (seg
, subseg
);
1716 #endif /* SCO_ELF */
1718 const struct format_ops elf_format_ops
=
1720 bfd_target_elf_flavour
,
1725 elf_frob_file_after_relocs
,
1726 elf_s_get_size
, elf_s_set_size
,
1727 elf_s_get_align
, elf_s_set_align
,
1728 elf_copy_symbol_attributes
,
1729 #ifdef NEED_ECOFF_DEBUG
1730 ecoff_generate_asm_lineno
,
1734 0, /* process_stab */
1736 elf_sec_sym_ok_for_reloc
,
1738 #ifdef NEED_ECOFF_DEBUG
1743 obj_read_begin_hook
,
1744 obj_symbol_new_hook
,