* elfcpp.h (NT_VERSION, NT_ARCH): Define as enum constants.
[binutils.git] / gas / config / obj-elf.c
blobccae61671cb70f8cd939b95a9a0c5a6e9e59d521
1 /* ELF object file format
2 Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005, 2006, 2007
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
21 02110-1301, USA. */
23 #define OBJ_HEADER "obj-elf.h"
24 #include "as.h"
25 #include "safe-ctype.h"
26 #include "subsegs.h"
27 #include "obstack.h"
28 #include "struc-symbol.h"
29 #include "dwarf2dbg.h"
31 #ifndef ECOFF_DEBUGGING
32 #define ECOFF_DEBUGGING 0
33 #else
34 #define NEED_ECOFF_DEBUG
35 #endif
37 #ifdef NEED_ECOFF_DEBUG
38 #include "ecoff.h"
39 #endif
41 #ifdef TC_ALPHA
42 #include "elf/alpha.h"
43 #endif
45 #ifdef TC_MIPS
46 #include "elf/mips.h"
47 #endif
49 #ifdef TC_PPC
50 #include "elf/ppc.h"
51 #endif
53 #ifdef TC_I370
54 #include "elf/i370.h"
55 #endif
57 #ifdef TC_I386
58 #include "elf/x86-64.h"
59 #endif
61 #ifdef TC_MEP
62 #include "elf/mep.h"
63 #endif
65 static void obj_elf_line (int);
66 static void obj_elf_size (int);
67 static void obj_elf_type (int);
68 static void obj_elf_ident (int);
69 static void obj_elf_weak (int);
70 static void obj_elf_local (int);
71 static void obj_elf_visibility (int);
72 static void obj_elf_symver (int);
73 static void obj_elf_subsection (int);
74 static void obj_elf_popsection (int);
75 static void obj_elf_tls_common (int);
76 static void obj_elf_lcomm (int);
77 static void obj_elf_struct (int);
79 static const pseudo_typeS elf_pseudo_table[] =
81 {"comm", obj_elf_common, 0},
82 {"common", obj_elf_common, 1},
83 {"ident", obj_elf_ident, 0},
84 {"lcomm", obj_elf_lcomm, 0},
85 {"local", obj_elf_local, 0},
86 {"previous", obj_elf_previous, 0},
87 {"section", obj_elf_section, 0},
88 {"section.s", obj_elf_section, 0},
89 {"sect", obj_elf_section, 0},
90 {"sect.s", obj_elf_section, 0},
91 {"pushsection", obj_elf_section, 1},
92 {"popsection", obj_elf_popsection, 0},
93 {"size", obj_elf_size, 0},
94 {"type", obj_elf_type, 0},
95 {"version", obj_elf_version, 0},
96 {"weak", obj_elf_weak, 0},
98 /* These define symbol visibility. */
99 {"internal", obj_elf_visibility, STV_INTERNAL},
100 {"hidden", obj_elf_visibility, STV_HIDDEN},
101 {"protected", obj_elf_visibility, STV_PROTECTED},
103 /* These are used for stabs-in-elf configurations. */
104 {"line", obj_elf_line, 0},
106 /* This is a GNU extension to handle symbol versions. */
107 {"symver", obj_elf_symver, 0},
109 /* A GNU extension to change subsection only. */
110 {"subsection", obj_elf_subsection, 0},
112 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
113 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit, 0},
114 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry, 0},
116 /* These are used for dwarf. */
117 {"2byte", cons, 2},
118 {"4byte", cons, 4},
119 {"8byte", cons, 8},
120 /* These are used for dwarf2. */
121 { "file", (void (*) (int)) dwarf2_directive_file, 0 },
122 { "loc", dwarf2_directive_loc, 0 },
123 { "loc_mark_labels", dwarf2_directive_loc_mark_labels, 0 },
125 /* We need to trap the section changing calls to handle .previous. */
126 {"data", obj_elf_data, 0},
127 {"offset", obj_elf_struct, 0},
128 {"struct", obj_elf_struct, 0},
129 {"text", obj_elf_text, 0},
131 {"tls_common", obj_elf_tls_common, 0},
133 /* End sentinel. */
134 {NULL, NULL, 0},
137 static const pseudo_typeS ecoff_debug_pseudo_table[] =
139 #ifdef NEED_ECOFF_DEBUG
140 /* COFF style debugging information for ECOFF. .ln is not used; .loc
141 is used instead. */
142 { "def", ecoff_directive_def, 0 },
143 { "dim", ecoff_directive_dim, 0 },
144 { "endef", ecoff_directive_endef, 0 },
145 { "file", ecoff_directive_file, 0 },
146 { "scl", ecoff_directive_scl, 0 },
147 { "tag", ecoff_directive_tag, 0 },
148 { "val", ecoff_directive_val, 0 },
150 /* COFF debugging requires pseudo-ops .size and .type, but ELF
151 already has meanings for those. We use .esize and .etype
152 instead. These are only generated by gcc anyhow. */
153 { "esize", ecoff_directive_size, 0 },
154 { "etype", ecoff_directive_type, 0 },
156 /* ECOFF specific debugging information. */
157 { "begin", ecoff_directive_begin, 0 },
158 { "bend", ecoff_directive_bend, 0 },
159 { "end", ecoff_directive_end, 0 },
160 { "ent", ecoff_directive_ent, 0 },
161 { "fmask", ecoff_directive_fmask, 0 },
162 { "frame", ecoff_directive_frame, 0 },
163 { "loc", ecoff_directive_loc, 0 },
164 { "mask", ecoff_directive_mask, 0 },
166 /* Other ECOFF directives. */
167 { "extern", ecoff_directive_extern, 0 },
169 /* These are used on Irix. I don't know how to implement them. */
170 { "alias", s_ignore, 0 },
171 { "bgnb", s_ignore, 0 },
172 { "endb", s_ignore, 0 },
173 { "lab", s_ignore, 0 },
174 { "noalias", s_ignore, 0 },
175 { "verstamp", s_ignore, 0 },
176 { "vreg", s_ignore, 0 },
177 #endif
179 {NULL, NULL, 0} /* end sentinel */
182 #undef NO_RELOC
183 #include "aout/aout64.h"
185 /* This is called when the assembler starts. */
187 asection *elf_com_section_ptr;
189 void
190 elf_begin (void)
192 asection *s;
194 /* Add symbols for the known sections to the symbol table. */
195 s = bfd_get_section_by_name (stdoutput, TEXT_SECTION_NAME);
196 symbol_table_insert (section_symbol (s));
197 s = bfd_get_section_by_name (stdoutput, DATA_SECTION_NAME);
198 symbol_table_insert (section_symbol (s));
199 s = bfd_get_section_by_name (stdoutput, BSS_SECTION_NAME);
200 symbol_table_insert (section_symbol (s));
201 elf_com_section_ptr = bfd_com_section_ptr;
204 void
205 elf_pop_insert (void)
207 pop_insert (elf_pseudo_table);
208 if (ECOFF_DEBUGGING)
209 pop_insert (ecoff_debug_pseudo_table);
212 static bfd_vma
213 elf_s_get_size (symbolS *sym)
215 return S_GET_SIZE (sym);
218 static void
219 elf_s_set_size (symbolS *sym, bfd_vma sz)
221 S_SET_SIZE (sym, sz);
224 static bfd_vma
225 elf_s_get_align (symbolS *sym)
227 return S_GET_ALIGN (sym);
230 static void
231 elf_s_set_align (symbolS *sym, bfd_vma align)
233 S_SET_ALIGN (sym, align);
237 elf_s_get_other (symbolS *sym)
239 return elf_symbol (symbol_get_bfdsym (sym))->internal_elf_sym.st_other;
242 static void
243 elf_s_set_other (symbolS *sym, int other)
245 S_SET_OTHER (sym, other);
248 static int
249 elf_sec_sym_ok_for_reloc (asection *sec)
251 return obj_sec_sym_ok_for_reloc (sec);
254 void
255 elf_file_symbol (const char *s, int appfile)
257 if (!appfile
258 || symbol_rootP == NULL
259 || symbol_rootP->bsym == NULL
260 || (symbol_rootP->bsym->flags & BSF_FILE) == 0)
262 symbolS *sym;
264 sym = symbol_new (s, absolute_section, 0, NULL);
265 symbol_set_frag (sym, &zero_address_frag);
266 symbol_get_bfdsym (sym)->flags |= BSF_FILE;
268 if (symbol_rootP != sym)
270 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
271 symbol_insert (sym, symbol_rootP, &symbol_rootP, &symbol_lastP);
272 #ifdef DEBUG
273 verify_symbol_chain (symbol_rootP, symbol_lastP);
274 #endif
278 #ifdef NEED_ECOFF_DEBUG
279 ecoff_new_file (s, appfile);
280 #endif
283 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
284 Parse a possible alignment value. */
286 symbolS *
287 elf_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size)
289 addressT align = 0;
290 int is_local = symbol_get_obj (symbolP)->local;
292 if (*input_line_pointer == ',')
294 char *save = input_line_pointer;
296 input_line_pointer++;
297 SKIP_WHITESPACE ();
299 if (*input_line_pointer == '"')
301 /* For sparc. Accept .common symbol, length, "bss" */
302 input_line_pointer++;
303 /* Some use the dot, some don't. */
304 if (*input_line_pointer == '.')
305 input_line_pointer++;
306 /* Some say data, some say bss. */
307 if (strncmp (input_line_pointer, "bss\"", 4) == 0)
308 input_line_pointer += 4;
309 else if (strncmp (input_line_pointer, "data\"", 5) == 0)
310 input_line_pointer += 5;
311 else
313 char *p = input_line_pointer;
314 char c;
316 while (*--p != '"')
318 while (!is_end_of_line[(unsigned char) *input_line_pointer])
319 if (*input_line_pointer++ == '"')
320 break;
321 c = *input_line_pointer;
322 *input_line_pointer = '\0';
323 as_bad (_("bad .common segment %s"), p);
324 *input_line_pointer = c;
325 ignore_rest_of_line ();
326 return NULL;
328 /* ??? Don't ask me why these are always global. */
329 is_local = 0;
331 else
333 input_line_pointer = save;
334 align = parse_align (is_local);
335 if (align == (addressT) -1)
336 return NULL;
340 if (is_local)
342 bss_alloc (symbolP, size, align);
343 S_CLEAR_EXTERNAL (symbolP);
345 else
347 S_SET_VALUE (symbolP, size);
348 S_SET_ALIGN (symbolP, align);
349 S_SET_EXTERNAL (symbolP);
350 S_SET_SEGMENT (symbolP, elf_com_section_ptr);
353 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
355 return symbolP;
358 void
359 obj_elf_common (int is_common)
361 if (flag_mri && is_common)
362 s_mri_common (0);
363 else
364 s_comm_internal (0, elf_common_parse);
367 static void
368 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED)
370 symbolS *symbolP = s_comm_internal (0, elf_common_parse);
372 if (symbolP)
373 symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL;
376 static void
377 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED)
379 symbolS *symbolP = s_comm_internal (0, s_lcomm_internal);
381 if (symbolP)
382 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
385 static void
386 obj_elf_local (int ignore ATTRIBUTE_UNUSED)
388 char *name;
389 int c;
390 symbolS *symbolP;
394 name = input_line_pointer;
395 c = get_symbol_end ();
396 symbolP = symbol_find_or_make (name);
397 *input_line_pointer = c;
398 SKIP_WHITESPACE ();
399 S_CLEAR_EXTERNAL (symbolP);
400 symbol_get_obj (symbolP)->local = 1;
401 if (c == ',')
403 input_line_pointer++;
404 SKIP_WHITESPACE ();
405 if (*input_line_pointer == '\n')
406 c = '\n';
409 while (c == ',');
410 demand_empty_rest_of_line ();
413 static void
414 obj_elf_weak (int ignore ATTRIBUTE_UNUSED)
416 char *name;
417 int c;
418 symbolS *symbolP;
422 name = input_line_pointer;
423 c = get_symbol_end ();
424 symbolP = symbol_find_or_make (name);
425 *input_line_pointer = c;
426 SKIP_WHITESPACE ();
427 S_SET_WEAK (symbolP);
428 symbol_get_obj (symbolP)->local = 1;
429 if (c == ',')
431 input_line_pointer++;
432 SKIP_WHITESPACE ();
433 if (*input_line_pointer == '\n')
434 c = '\n';
437 while (c == ',');
438 demand_empty_rest_of_line ();
441 static void
442 obj_elf_visibility (int visibility)
444 char *name;
445 int c;
446 symbolS *symbolP;
447 asymbol *bfdsym;
448 elf_symbol_type *elfsym;
452 name = input_line_pointer;
453 c = get_symbol_end ();
454 symbolP = symbol_find_or_make (name);
455 *input_line_pointer = c;
457 SKIP_WHITESPACE ();
459 bfdsym = symbol_get_bfdsym (symbolP);
460 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym);
462 assert (elfsym);
464 elfsym->internal_elf_sym.st_other &= ~3;
465 elfsym->internal_elf_sym.st_other |= visibility;
467 if (c == ',')
469 input_line_pointer ++;
471 SKIP_WHITESPACE ();
473 if (*input_line_pointer == '\n')
474 c = '\n';
477 while (c == ',');
479 demand_empty_rest_of_line ();
482 static segT previous_section;
483 static int previous_subsection;
485 struct section_stack
487 struct section_stack *next;
488 segT seg, prev_seg;
489 int subseg, prev_subseg;
492 static struct section_stack *section_stack;
494 static bfd_boolean
495 get_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
497 const char *gname = inf;
498 const char *group_name = elf_group_name (sec);
500 return (group_name == gname
501 || (group_name != NULL
502 && gname != NULL
503 && strcmp (group_name, gname) == 0));
506 /* Handle the .section pseudo-op. This code supports two different
507 syntaxes.
509 The first is found on Solaris, and looks like
510 .section ".sec1",#alloc,#execinstr,#write
511 Here the names after '#' are the SHF_* flags to turn on for the
512 section. I'm not sure how it determines the SHT_* type (BFD
513 doesn't really give us control over the type, anyhow).
515 The second format is found on UnixWare, and probably most SVR4
516 machines, and looks like
517 .section .sec1,"a",@progbits
518 The quoted string may contain any combination of a, w, x, and
519 represents the SHF_* flags to turn on for the section. The string
520 beginning with '@' can be progbits or nobits. There should be
521 other possibilities, but I don't know what they are. In any case,
522 BFD doesn't really let us set the section type. */
524 void
525 obj_elf_change_section (const char *name,
526 int type,
527 int attr,
528 int entsize,
529 const char *group_name,
530 int linkonce,
531 int push)
533 asection *old_sec;
534 segT sec;
535 flagword flags;
536 const struct elf_backend_data *bed;
537 const struct bfd_elf_special_section *ssect;
539 #ifdef md_flush_pending_output
540 md_flush_pending_output ();
541 #endif
543 /* Switch to the section, creating it if necessary. */
544 if (push)
546 struct section_stack *elt;
547 elt = xmalloc (sizeof (struct section_stack));
548 elt->next = section_stack;
549 elt->seg = now_seg;
550 elt->prev_seg = previous_section;
551 elt->subseg = now_subseg;
552 elt->prev_subseg = previous_subsection;
553 section_stack = elt;
555 previous_section = now_seg;
556 previous_subsection = now_subseg;
558 old_sec = bfd_get_section_by_name_if (stdoutput, name, get_section,
559 (void *) group_name);
560 if (old_sec)
562 sec = old_sec;
563 subseg_set (sec, 0);
565 else
566 sec = subseg_force_new (name, 0);
568 bed = get_elf_backend_data (stdoutput);
569 ssect = (*bed->get_sec_type_attr) (stdoutput, sec);
571 if (ssect != NULL)
573 bfd_boolean override = FALSE;
575 if (type == SHT_NULL)
576 type = ssect->type;
577 else if (type != ssect->type)
579 if (old_sec == NULL
580 /* FIXME: gcc, as of 2002-10-22, will emit
582 .section .init_array,"aw",@progbits
584 for __attribute__ ((section (".init_array"))).
585 "@progbits" is incorrect. Also for x86-64 large bss
586 sections, gcc, as of 2005-07-06, will emit
588 .section .lbss,"aw",@progbits
590 "@progbits" is incorrect. */
591 #ifdef TC_I386
592 && (bed->s->arch_size != 64
593 || !(ssect->attr & SHF_X86_64_LARGE))
594 #endif
595 && ssect->type != SHT_INIT_ARRAY
596 && ssect->type != SHT_FINI_ARRAY
597 && ssect->type != SHT_PREINIT_ARRAY)
599 /* We allow to specify any type for a .note section. */
600 if (ssect->type != SHT_NOTE)
601 as_warn (_("setting incorrect section type for %s"),
602 name);
604 else
606 as_warn (_("ignoring incorrect section type for %s"),
607 name);
608 type = ssect->type;
612 if (old_sec == NULL && (attr & ~ssect->attr) != 0)
614 /* As a GNU extension, we permit a .note section to be
615 allocatable. If the linker sees an allocatable .note
616 section, it will create a PT_NOTE segment in the output
617 file. We also allow "x" for .note.GNU-stack. */
618 if (ssect->type == SHT_NOTE
619 && (attr == SHF_ALLOC || attr == SHF_EXECINSTR))
621 /* Allow different SHF_MERGE and SHF_STRINGS if we have
622 something like .rodata.str. */
623 else if (ssect->suffix_length == -2
624 && name[ssect->prefix_length] == '.'
625 && (attr
626 & ~ssect->attr
627 & ~SHF_MERGE
628 & ~SHF_STRINGS) == 0)
630 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
631 else if (attr == SHF_ALLOC
632 && (strcmp (name, ".interp") == 0
633 || strcmp (name, ".strtab") == 0
634 || strcmp (name, ".symtab") == 0))
635 override = TRUE;
636 /* .note.GNU-stack can have SHF_EXECINSTR. */
637 else if (attr == SHF_EXECINSTR
638 && strcmp (name, ".note.GNU-stack") == 0)
639 override = TRUE;
640 #ifdef TC_ALPHA
641 /* A section on Alpha may have SHF_ALPHA_GPREL. */
642 else if ((attr & ~ssect->attr) == SHF_ALPHA_GPREL)
643 override = TRUE;
644 #endif
645 else
647 if (group_name == NULL)
648 as_warn (_("setting incorrect section attributes for %s"),
649 name);
650 override = TRUE;
653 if (!override && old_sec == NULL)
654 attr |= ssect->attr;
657 /* Convert ELF type and flags to BFD flags. */
658 flags = (SEC_RELOC
659 | ((attr & SHF_WRITE) ? 0 : SEC_READONLY)
660 | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0)
661 | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
662 | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0)
663 | ((attr & SHF_MERGE) ? SEC_MERGE : 0)
664 | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0)
665 | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0));
666 #ifdef md_elf_section_flags
667 flags = md_elf_section_flags (flags, attr, type);
668 #endif
670 if (linkonce)
671 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
673 if (old_sec == NULL)
675 symbolS *secsym;
677 elf_section_type (sec) = type;
678 elf_section_flags (sec) = attr;
680 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
681 if (type == SHT_NOBITS)
682 seg_info (sec)->bss = 1;
684 bfd_set_section_flags (stdoutput, sec, flags);
685 if (flags & SEC_MERGE)
686 sec->entsize = entsize;
687 elf_group_name (sec) = group_name;
689 /* Add a symbol for this section to the symbol table. */
690 secsym = symbol_find (name);
691 if (secsym != NULL)
692 symbol_set_bfdsym (secsym, sec->symbol);
693 else
694 symbol_table_insert (section_symbol (sec));
696 else
698 if (type != SHT_NULL
699 && (unsigned) type != elf_section_type (old_sec))
700 as_warn (_("ignoring changed section type for %s"), name);
702 if (attr != 0)
704 /* If section attributes are specified the second time we see a
705 particular section, then check that they are the same as we
706 saw the first time. */
707 if (((old_sec->flags ^ flags)
708 & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
709 | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS
710 | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
711 | SEC_THREAD_LOCAL)))
712 as_warn (_("ignoring changed section attributes for %s"), name);
713 if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
714 as_warn (_("ignoring changed section entity size for %s"), name);
718 #ifdef md_elf_section_change_hook
719 md_elf_section_change_hook ();
720 #endif
723 static int
724 obj_elf_parse_section_letters (char *str, size_t len)
726 int attr = 0;
728 while (len > 0)
730 switch (*str)
732 case 'a':
733 attr |= SHF_ALLOC;
734 break;
735 case 'w':
736 attr |= SHF_WRITE;
737 break;
738 case 'x':
739 attr |= SHF_EXECINSTR;
740 break;
741 case 'M':
742 attr |= SHF_MERGE;
743 break;
744 case 'S':
745 attr |= SHF_STRINGS;
746 break;
747 case 'G':
748 attr |= SHF_GROUP;
749 break;
750 case 'T':
751 attr |= SHF_TLS;
752 break;
753 /* Compatibility. */
754 case 'm':
755 if (*(str - 1) == 'a')
757 attr |= SHF_MERGE;
758 if (len > 1 && str[1] == 's')
760 attr |= SHF_STRINGS;
761 str++, len--;
763 break;
765 default:
767 char *bad_msg = _("unrecognized .section attribute: want a,w,x,M,S,G,T");
768 #ifdef md_elf_section_letter
769 int md_attr = md_elf_section_letter (*str, &bad_msg);
770 if (md_attr >= 0)
771 attr |= md_attr;
772 else
773 #endif
774 as_fatal ("%s", bad_msg);
776 break;
778 str++, len--;
781 return attr;
784 static int
785 obj_elf_section_word (char *str, size_t len)
787 if (len == 5 && strncmp (str, "write", 5) == 0)
788 return SHF_WRITE;
789 if (len == 5 && strncmp (str, "alloc", 5) == 0)
790 return SHF_ALLOC;
791 if (len == 9 && strncmp (str, "execinstr", 9) == 0)
792 return SHF_EXECINSTR;
793 if (len == 3 && strncmp (str, "tls", 3) == 0)
794 return SHF_TLS;
796 #ifdef md_elf_section_word
798 int md_attr = md_elf_section_word (str, len);
799 if (md_attr >= 0)
800 return md_attr;
802 #endif
804 as_warn (_("unrecognized section attribute"));
805 return 0;
808 static int
809 obj_elf_section_type (char *str, size_t len)
811 if (len == 8 && strncmp (str, "progbits", 8) == 0)
812 return SHT_PROGBITS;
813 if (len == 6 && strncmp (str, "nobits", 6) == 0)
814 return SHT_NOBITS;
815 if (len == 4 && strncmp (str, "note", 4) == 0)
816 return SHT_NOTE;
817 if (len == 10 && strncmp (str, "init_array", 10) == 0)
818 return SHT_INIT_ARRAY;
819 if (len == 10 && strncmp (str, "fini_array", 10) == 0)
820 return SHT_FINI_ARRAY;
821 if (len == 13 && strncmp (str, "preinit_array", 13) == 0)
822 return SHT_PREINIT_ARRAY;
824 #ifdef md_elf_section_type
826 int md_type = md_elf_section_type (str, len);
827 if (md_type >= 0)
828 return md_type;
830 #endif
832 as_warn (_("unrecognized section type"));
833 return 0;
836 /* Get name of section. */
837 static char *
838 obj_elf_section_name (void)
840 char *name;
842 SKIP_WHITESPACE ();
843 if (*input_line_pointer == '"')
845 int dummy;
847 name = demand_copy_C_string (&dummy);
848 if (name == NULL)
850 ignore_rest_of_line ();
851 return NULL;
854 else
856 char *end = input_line_pointer;
858 while (0 == strchr ("\n\t,; ", *end))
859 end++;
860 if (end == input_line_pointer)
862 as_bad (_("missing name"));
863 ignore_rest_of_line ();
864 return NULL;
867 name = xmalloc (end - input_line_pointer + 1);
868 memcpy (name, input_line_pointer, end - input_line_pointer);
869 name[end - input_line_pointer] = '\0';
870 #ifdef tc_canonicalize_section_name
871 name = tc_canonicalize_section_name (name);
872 #endif
873 input_line_pointer = end;
875 SKIP_WHITESPACE ();
876 return name;
879 void
880 obj_elf_section (int push)
882 char *name, *group_name, *beg;
883 int type, attr, dummy;
884 int entsize;
885 int linkonce;
886 subsegT new_subsection = -1;
888 #ifndef TC_I370
889 if (flag_mri)
891 char mri_type;
893 #ifdef md_flush_pending_output
894 md_flush_pending_output ();
895 #endif
897 previous_section = now_seg;
898 previous_subsection = now_subseg;
900 s_mri_sect (&mri_type);
902 #ifdef md_elf_section_change_hook
903 md_elf_section_change_hook ();
904 #endif
906 return;
908 #endif /* ! defined (TC_I370) */
910 name = obj_elf_section_name ();
911 if (name == NULL)
912 return;
913 type = SHT_NULL;
914 attr = 0;
915 group_name = NULL;
916 entsize = 0;
917 linkonce = 0;
919 if (*input_line_pointer == ',')
921 /* Skip the comma. */
922 ++input_line_pointer;
923 SKIP_WHITESPACE ();
925 if (push && ISDIGIT (*input_line_pointer))
927 /* .pushsection has an optional subsection. */
928 new_subsection = (subsegT) get_absolute_expression ();
930 SKIP_WHITESPACE ();
932 /* Stop if we don't see a comma. */
933 if (*input_line_pointer != ',')
934 goto done;
936 /* Skip the comma. */
937 ++input_line_pointer;
938 SKIP_WHITESPACE ();
941 if (*input_line_pointer == '"')
943 beg = demand_copy_C_string (&dummy);
944 if (beg == NULL)
946 ignore_rest_of_line ();
947 return;
949 attr |= obj_elf_parse_section_letters (beg, strlen (beg));
951 SKIP_WHITESPACE ();
952 if (*input_line_pointer == ',')
954 char c;
955 char *save = input_line_pointer;
957 ++input_line_pointer;
958 SKIP_WHITESPACE ();
959 c = *input_line_pointer;
960 if (c == '"')
962 beg = demand_copy_C_string (&dummy);
963 if (beg == NULL)
965 ignore_rest_of_line ();
966 return;
968 type = obj_elf_section_type (beg, strlen (beg));
970 else if (c == '@' || c == '%')
972 beg = ++input_line_pointer;
973 c = get_symbol_end ();
974 *input_line_pointer = c;
975 type = obj_elf_section_type (beg, input_line_pointer - beg);
977 else
978 input_line_pointer = save;
981 SKIP_WHITESPACE ();
982 if ((attr & SHF_MERGE) != 0 && *input_line_pointer == ',')
984 ++input_line_pointer;
985 SKIP_WHITESPACE ();
986 entsize = get_absolute_expression ();
987 SKIP_WHITESPACE ();
988 if (entsize < 0)
990 as_warn (_("invalid merge entity size"));
991 attr &= ~SHF_MERGE;
992 entsize = 0;
995 else if ((attr & SHF_MERGE) != 0)
997 as_warn (_("entity size for SHF_MERGE not specified"));
998 attr &= ~SHF_MERGE;
1001 if ((attr & SHF_GROUP) != 0 && *input_line_pointer == ',')
1003 ++input_line_pointer;
1004 group_name = obj_elf_section_name ();
1005 if (group_name == NULL)
1006 attr &= ~SHF_GROUP;
1007 else if (strncmp (input_line_pointer, ",comdat", 7) == 0)
1009 input_line_pointer += 7;
1010 linkonce = 1;
1012 else if (strncmp (name, ".gnu.linkonce", 13) == 0)
1013 linkonce = 1;
1015 else if ((attr & SHF_GROUP) != 0)
1017 as_warn (_("group name for SHF_GROUP not specified"));
1018 attr &= ~SHF_GROUP;
1021 else
1025 char c;
1027 SKIP_WHITESPACE ();
1028 if (*input_line_pointer != '#')
1030 as_bad (_("character following name is not '#'"));
1031 ignore_rest_of_line ();
1032 return;
1034 beg = ++input_line_pointer;
1035 c = get_symbol_end ();
1036 *input_line_pointer = c;
1038 attr |= obj_elf_section_word (beg, input_line_pointer - beg);
1040 SKIP_WHITESPACE ();
1042 while (*input_line_pointer++ == ',');
1043 --input_line_pointer;
1047 done:
1048 demand_empty_rest_of_line ();
1050 obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push);
1052 if (push && new_subsection != -1)
1053 subseg_set (now_seg, new_subsection);
1056 /* Change to the .data section. */
1058 void
1059 obj_elf_data (int i)
1061 #ifdef md_flush_pending_output
1062 md_flush_pending_output ();
1063 #endif
1065 previous_section = now_seg;
1066 previous_subsection = now_subseg;
1067 s_data (i);
1069 #ifdef md_elf_section_change_hook
1070 md_elf_section_change_hook ();
1071 #endif
1074 /* Change to the .text section. */
1076 void
1077 obj_elf_text (int i)
1079 #ifdef md_flush_pending_output
1080 md_flush_pending_output ();
1081 #endif
1083 previous_section = now_seg;
1084 previous_subsection = now_subseg;
1085 s_text (i);
1087 #ifdef md_elf_section_change_hook
1088 md_elf_section_change_hook ();
1089 #endif
1092 /* Change to the *ABS* section. */
1094 void
1095 obj_elf_struct (int i)
1097 #ifdef md_flush_pending_output
1098 md_flush_pending_output ();
1099 #endif
1101 previous_section = now_seg;
1102 previous_subsection = now_subseg;
1103 s_struct (i);
1105 #ifdef md_elf_section_change_hook
1106 md_elf_section_change_hook ();
1107 #endif
1110 static void
1111 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED)
1113 int temp;
1115 #ifdef md_flush_pending_output
1116 md_flush_pending_output ();
1117 #endif
1119 previous_section = now_seg;
1120 previous_subsection = now_subseg;
1122 temp = get_absolute_expression ();
1123 subseg_set (now_seg, (subsegT) temp);
1124 demand_empty_rest_of_line ();
1126 #ifdef md_elf_section_change_hook
1127 md_elf_section_change_hook ();
1128 #endif
1131 /* This can be called from the processor backends if they change
1132 sections. */
1134 void
1135 obj_elf_section_change_hook (void)
1137 previous_section = now_seg;
1138 previous_subsection = now_subseg;
1141 void
1142 obj_elf_previous (int ignore ATTRIBUTE_UNUSED)
1144 segT new_section;
1145 int new_subsection;
1147 if (previous_section == 0)
1149 as_warn (_(".previous without corresponding .section; ignored"));
1150 return;
1153 #ifdef md_flush_pending_output
1154 md_flush_pending_output ();
1155 #endif
1157 new_section = previous_section;
1158 new_subsection = previous_subsection;
1159 previous_section = now_seg;
1160 previous_subsection = now_subseg;
1161 subseg_set (new_section, new_subsection);
1163 #ifdef md_elf_section_change_hook
1164 md_elf_section_change_hook ();
1165 #endif
1168 static void
1169 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED)
1171 struct section_stack *top = section_stack;
1173 if (top == NULL)
1175 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1176 return;
1179 #ifdef md_flush_pending_output
1180 md_flush_pending_output ();
1181 #endif
1183 section_stack = top->next;
1184 previous_section = top->prev_seg;
1185 previous_subsection = top->prev_subseg;
1186 subseg_set (top->seg, top->subseg);
1187 free (top);
1189 #ifdef md_elf_section_change_hook
1190 md_elf_section_change_hook ();
1191 #endif
1194 static void
1195 obj_elf_line (int ignore ATTRIBUTE_UNUSED)
1197 /* Assume delimiter is part of expression. BSD4.2 as fails with
1198 delightful bug, so we are not being incompatible here. */
1199 new_logical_line (NULL, get_absolute_expression ());
1200 demand_empty_rest_of_line ();
1203 /* This handles the .symver pseudo-op, which is used to specify a
1204 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1205 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1206 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1207 with the same value as the symbol NAME. */
1209 static void
1210 obj_elf_symver (int ignore ATTRIBUTE_UNUSED)
1212 char *name;
1213 char c;
1214 char old_lexat;
1215 symbolS *sym;
1217 name = input_line_pointer;
1218 c = get_symbol_end ();
1220 sym = symbol_find_or_make (name);
1222 *input_line_pointer = c;
1224 SKIP_WHITESPACE ();
1225 if (*input_line_pointer != ',')
1227 as_bad (_("expected comma after name in .symver"));
1228 ignore_rest_of_line ();
1229 return;
1232 ++input_line_pointer;
1233 SKIP_WHITESPACE ();
1234 name = input_line_pointer;
1236 /* Temporarily include '@' in symbol names. */
1237 old_lexat = lex_type[(unsigned char) '@'];
1238 lex_type[(unsigned char) '@'] |= LEX_NAME;
1239 c = get_symbol_end ();
1240 lex_type[(unsigned char) '@'] = old_lexat;
1242 if (symbol_get_obj (sym)->versioned_name == NULL)
1244 symbol_get_obj (sym)->versioned_name = xstrdup (name);
1246 *input_line_pointer = c;
1248 if (strchr (symbol_get_obj (sym)->versioned_name,
1249 ELF_VER_CHR) == NULL)
1251 as_bad (_("missing version name in `%s' for symbol `%s'"),
1252 symbol_get_obj (sym)->versioned_name,
1253 S_GET_NAME (sym));
1254 ignore_rest_of_line ();
1255 return;
1258 else
1260 if (strcmp (symbol_get_obj (sym)->versioned_name, name))
1262 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1263 name, symbol_get_obj (sym)->versioned_name,
1264 S_GET_NAME (sym));
1265 ignore_rest_of_line ();
1266 return;
1269 *input_line_pointer = c;
1272 demand_empty_rest_of_line ();
1275 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1276 to the linker the hierarchy in which a particular table resides. The
1277 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1279 struct fix *
1280 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED)
1282 char *cname, *pname;
1283 symbolS *csym, *psym;
1284 char c, bad = 0;
1286 if (*input_line_pointer == '#')
1287 ++input_line_pointer;
1289 cname = input_line_pointer;
1290 c = get_symbol_end ();
1291 csym = symbol_find (cname);
1293 /* GCFIXME: should check that we don't have two .vtable_inherits for
1294 the same child symbol. Also, we can currently only do this if the
1295 child symbol is already exists and is placed in a fragment. */
1297 if (csym == NULL || symbol_get_frag (csym) == NULL)
1299 as_bad (_("expected `%s' to have already been set for .vtable_inherit"),
1300 cname);
1301 bad = 1;
1304 *input_line_pointer = c;
1306 SKIP_WHITESPACE ();
1307 if (*input_line_pointer != ',')
1309 as_bad (_("expected comma after name in .vtable_inherit"));
1310 ignore_rest_of_line ();
1311 return NULL;
1314 ++input_line_pointer;
1315 SKIP_WHITESPACE ();
1317 if (*input_line_pointer == '#')
1318 ++input_line_pointer;
1320 if (input_line_pointer[0] == '0'
1321 && (input_line_pointer[1] == '\0'
1322 || ISSPACE (input_line_pointer[1])))
1324 psym = section_symbol (absolute_section);
1325 ++input_line_pointer;
1327 else
1329 pname = input_line_pointer;
1330 c = get_symbol_end ();
1331 psym = symbol_find_or_make (pname);
1332 *input_line_pointer = c;
1335 demand_empty_rest_of_line ();
1337 if (bad)
1338 return NULL;
1340 assert (symbol_get_value_expression (csym)->X_op == O_constant);
1341 return fix_new (symbol_get_frag (csym),
1342 symbol_get_value_expression (csym)->X_add_number,
1343 0, psym, 0, 0, BFD_RELOC_VTABLE_INHERIT);
1346 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1347 to the linker that a vtable slot was used. The syntax is
1348 ".vtable_entry tablename, offset". */
1350 struct fix *
1351 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED)
1353 char *name;
1354 symbolS *sym;
1355 offsetT offset;
1356 char c;
1358 if (*input_line_pointer == '#')
1359 ++input_line_pointer;
1361 name = input_line_pointer;
1362 c = get_symbol_end ();
1363 sym = symbol_find_or_make (name);
1364 *input_line_pointer = c;
1366 SKIP_WHITESPACE ();
1367 if (*input_line_pointer != ',')
1369 as_bad (_("expected comma after name in .vtable_entry"));
1370 ignore_rest_of_line ();
1371 return NULL;
1374 ++input_line_pointer;
1375 if (*input_line_pointer == '#')
1376 ++input_line_pointer;
1378 offset = get_absolute_expression ();
1380 demand_empty_rest_of_line ();
1382 return fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0,
1383 BFD_RELOC_VTABLE_ENTRY);
1386 void
1387 elf_obj_read_begin_hook (void)
1389 #ifdef NEED_ECOFF_DEBUG
1390 if (ECOFF_DEBUGGING)
1391 ecoff_read_begin_hook ();
1392 #endif
1395 void
1396 elf_obj_symbol_new_hook (symbolS *symbolP)
1398 struct elf_obj_sy *sy_obj;
1400 sy_obj = symbol_get_obj (symbolP);
1401 sy_obj->size = NULL;
1402 sy_obj->versioned_name = NULL;
1404 #ifdef NEED_ECOFF_DEBUG
1405 if (ECOFF_DEBUGGING)
1406 ecoff_symbol_new_hook (symbolP);
1407 #endif
1410 /* When setting one symbol equal to another, by default we probably
1411 want them to have the same "size", whatever it means in the current
1412 context. */
1414 void
1415 elf_copy_symbol_attributes (symbolS *dest, symbolS *src)
1417 struct elf_obj_sy *srcelf = symbol_get_obj (src);
1418 struct elf_obj_sy *destelf = symbol_get_obj (dest);
1419 if (srcelf->size)
1421 if (destelf->size == NULL)
1422 destelf->size = xmalloc (sizeof (expressionS));
1423 *destelf->size = *srcelf->size;
1425 else
1427 if (destelf->size != NULL)
1428 free (destelf->size);
1429 destelf->size = NULL;
1431 S_SET_SIZE (dest, S_GET_SIZE (src));
1432 /* Don't copy visibility. */
1433 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
1434 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
1437 void
1438 obj_elf_version (int ignore ATTRIBUTE_UNUSED)
1440 char *name;
1441 unsigned int c;
1442 char *p;
1443 asection *seg = now_seg;
1444 subsegT subseg = now_subseg;
1445 Elf_Internal_Note i_note;
1446 Elf_External_Note e_note;
1447 asection *note_secp = NULL;
1449 SKIP_WHITESPACE ();
1450 if (*input_line_pointer == '\"')
1452 unsigned int len;
1454 ++input_line_pointer; /* -> 1st char of string. */
1455 name = input_line_pointer;
1457 while (is_a_char (c = next_char_of_string ()))
1459 c = *input_line_pointer;
1460 *input_line_pointer = '\0';
1461 *(input_line_pointer - 1) = '\0';
1462 *input_line_pointer = c;
1464 /* Create the .note section. */
1465 note_secp = subseg_new (".note", 0);
1466 bfd_set_section_flags (stdoutput,
1467 note_secp,
1468 SEC_HAS_CONTENTS | SEC_READONLY);
1470 /* Process the version string. */
1471 len = strlen (name) + 1;
1473 /* PR 3456: Although the name field is padded out to an 4-byte
1474 boundary, the namesz field should not be adjusted. */
1475 i_note.namesz = len;
1476 i_note.descsz = 0; /* No description. */
1477 i_note.type = NT_VERSION;
1478 p = frag_more (sizeof (e_note.namesz));
1479 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz));
1480 p = frag_more (sizeof (e_note.descsz));
1481 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz));
1482 p = frag_more (sizeof (e_note.type));
1483 md_number_to_chars (p, i_note.type, sizeof (e_note.type));
1484 p = frag_more (len);
1485 memcpy (p, name, len);
1487 frag_align (2, 0, 0);
1489 subseg_set (seg, subseg);
1491 else
1492 as_bad (_("expected quoted string"));
1494 demand_empty_rest_of_line ();
1497 static void
1498 obj_elf_size (int ignore ATTRIBUTE_UNUSED)
1500 char *name = input_line_pointer;
1501 char c = get_symbol_end ();
1502 char *p;
1503 expressionS exp;
1504 symbolS *sym;
1506 p = input_line_pointer;
1507 *p = c;
1508 SKIP_WHITESPACE ();
1509 if (*input_line_pointer != ',')
1511 *p = 0;
1512 as_bad (_("expected comma after name `%s' in .size directive"), name);
1513 *p = c;
1514 ignore_rest_of_line ();
1515 return;
1517 input_line_pointer++;
1518 expression (&exp);
1519 if (exp.X_op == O_absent)
1521 as_bad (_("missing expression in .size directive"));
1522 exp.X_op = O_constant;
1523 exp.X_add_number = 0;
1525 *p = 0;
1526 sym = symbol_find_or_make (name);
1527 *p = c;
1528 if (exp.X_op == O_constant)
1530 S_SET_SIZE (sym, exp.X_add_number);
1531 if (symbol_get_obj (sym)->size)
1533 xfree (symbol_get_obj (sym)->size);
1534 symbol_get_obj (sym)->size = NULL;
1537 else
1539 symbol_get_obj (sym)->size = xmalloc (sizeof (expressionS));
1540 *symbol_get_obj (sym)->size = exp;
1542 demand_empty_rest_of_line ();
1545 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1546 There are five syntaxes:
1548 The first (used on Solaris) is
1549 .type SYM,#function
1550 The second (used on UnixWare) is
1551 .type SYM,@function
1552 The third (reportedly to be used on Irix 6.0) is
1553 .type SYM STT_FUNC
1554 The fourth (used on NetBSD/Arm and Linux/ARM) is
1555 .type SYM,%function
1556 The fifth (used on SVR4/860) is
1557 .type SYM,"function"
1560 static void
1561 obj_elf_type (int ignore ATTRIBUTE_UNUSED)
1563 char *name;
1564 char c;
1565 int type;
1566 const char *typename;
1567 symbolS *sym;
1568 elf_symbol_type *elfsym;
1570 name = input_line_pointer;
1571 c = get_symbol_end ();
1572 sym = symbol_find_or_make (name);
1573 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym);
1574 *input_line_pointer = c;
1576 SKIP_WHITESPACE ();
1577 if (*input_line_pointer == ',')
1578 ++input_line_pointer;
1580 SKIP_WHITESPACE ();
1581 if ( *input_line_pointer == '#'
1582 || *input_line_pointer == '@'
1583 || *input_line_pointer == '"'
1584 || *input_line_pointer == '%')
1585 ++input_line_pointer;
1587 typename = input_line_pointer;
1588 c = get_symbol_end ();
1590 type = 0;
1591 if (strcmp (typename, "function") == 0
1592 || strcmp (typename, "STT_FUNC") == 0)
1593 type = BSF_FUNCTION;
1594 else if (strcmp (typename, "object") == 0
1595 || strcmp (typename, "STT_OBJECT") == 0)
1596 type = BSF_OBJECT;
1597 else if (strcmp (typename, "tls_object") == 0
1598 || strcmp (typename, "STT_TLS") == 0)
1599 type = BSF_OBJECT | BSF_THREAD_LOCAL;
1600 else if (strcmp (typename, "notype") == 0
1601 || strcmp (typename, "STT_NOTYPE") == 0)
1603 else if (strcmp (typename, "common") == 0
1604 || strcmp (typename, "STT_COMMON") == 0)
1606 type = BSF_OBJECT;
1608 if (! S_IS_COMMON (sym))
1610 if (S_IS_VOLATILE (sym))
1612 sym = symbol_clone (sym, 1);
1613 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1614 S_SET_VALUE (sym, 0);
1615 S_SET_EXTERNAL (sym);
1616 symbol_set_frag (sym, &zero_address_frag);
1617 S_CLEAR_VOLATILE (sym);
1619 else if (S_IS_DEFINED (sym) || symbol_equated_p (sym))
1620 as_bad (_("symbol '%s' is already defined"), S_GET_NAME (sym));
1621 else
1623 /* FIXME: Is it safe to just change the section ? */
1624 S_SET_SEGMENT (sym, bfd_com_section_ptr);
1625 S_SET_VALUE (sym, 0);
1626 S_SET_EXTERNAL (sym);
1630 #ifdef md_elf_symbol_type
1631 else if ((type = md_elf_symbol_type (typename, sym, elfsym)) != -1)
1633 #endif
1634 else
1635 as_bad (_("unrecognized symbol type \"%s\""), typename);
1637 *input_line_pointer = c;
1639 if (*input_line_pointer == '"')
1640 ++input_line_pointer;
1642 elfsym->symbol.flags |= type;
1644 demand_empty_rest_of_line ();
1647 static void
1648 obj_elf_ident (int ignore ATTRIBUTE_UNUSED)
1650 static segT comment_section;
1651 segT old_section = now_seg;
1652 int old_subsection = now_subseg;
1654 #ifdef md_flush_pending_output
1655 md_flush_pending_output ();
1656 #endif
1658 if (!comment_section)
1660 char *p;
1661 comment_section = subseg_new (".comment", 0);
1662 bfd_set_section_flags (stdoutput, comment_section,
1663 SEC_READONLY | SEC_HAS_CONTENTS);
1664 p = frag_more (1);
1665 *p = 0;
1667 else
1668 subseg_set (comment_section, 0);
1669 stringer (8 + 1);
1670 subseg_set (old_section, old_subsection);
1673 #ifdef INIT_STAB_SECTION
1675 /* The first entry in a .stabs section is special. */
1677 void
1678 obj_elf_init_stab_section (segT seg)
1680 char *file;
1681 char *p;
1682 char *stabstr_name;
1683 unsigned int stroff;
1685 /* Force the section to align to a longword boundary. Without this,
1686 UnixWare ar crashes. */
1687 bfd_set_section_alignment (stdoutput, seg, 2);
1689 /* Make space for this first symbol. */
1690 p = frag_more (12);
1691 /* Zero it out. */
1692 memset (p, 0, 12);
1693 as_where (&file, NULL);
1694 stabstr_name = xmalloc (strlen (segment_name (seg)) + 4);
1695 strcpy (stabstr_name, segment_name (seg));
1696 strcat (stabstr_name, "str");
1697 stroff = get_stab_string_offset (file, stabstr_name);
1698 know (stroff == 1);
1699 md_number_to_chars (p, stroff, 4);
1700 seg_info (seg)->stabu.p = p;
1703 #endif
1705 /* Fill in the counts in the first entry in a .stabs section. */
1707 static void
1708 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED)
1710 char *name;
1711 asection *strsec;
1712 char *p;
1713 int strsz, nsyms;
1715 if (strncmp (".stab", sec->name, 5))
1716 return;
1717 if (!strcmp ("str", sec->name + strlen (sec->name) - 3))
1718 return;
1720 name = alloca (strlen (sec->name) + 4);
1721 strcpy (name, sec->name);
1722 strcat (name, "str");
1723 strsec = bfd_get_section_by_name (abfd, name);
1724 if (strsec)
1725 strsz = bfd_section_size (abfd, strsec);
1726 else
1727 strsz = 0;
1728 nsyms = bfd_section_size (abfd, sec) / 12 - 1;
1730 p = seg_info (sec)->stabu.p;
1731 assert (p != 0);
1733 bfd_h_put_16 (abfd, nsyms, p + 6);
1734 bfd_h_put_32 (abfd, strsz, p + 8);
1737 #ifdef NEED_ECOFF_DEBUG
1739 /* This function is called by the ECOFF code. It is supposed to
1740 record the external symbol information so that the backend can
1741 write it out correctly. The ELF backend doesn't actually handle
1742 this at the moment, so we do it ourselves. We save the information
1743 in the symbol. */
1745 #ifdef OBJ_MAYBE_ELF
1746 static
1747 #endif
1748 void
1749 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext)
1751 symbol_get_bfdsym (sym)->udata.p = ext;
1754 /* This function is called by bfd_ecoff_debug_externals. It is
1755 supposed to *EXT to the external symbol information, and return
1756 whether the symbol should be used at all. */
1758 static bfd_boolean
1759 elf_get_extr (asymbol *sym, EXTR *ext)
1761 if (sym->udata.p == NULL)
1762 return FALSE;
1763 *ext = *(EXTR *) sym->udata.p;
1764 return TRUE;
1767 /* This function is called by bfd_ecoff_debug_externals. It has
1768 nothing to do for ELF. */
1770 static void
1771 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED,
1772 bfd_size_type indx ATTRIBUTE_UNUSED)
1776 #endif /* NEED_ECOFF_DEBUG */
1778 void
1779 elf_frob_symbol (symbolS *symp, int *puntp)
1781 struct elf_obj_sy *sy_obj;
1783 #ifdef NEED_ECOFF_DEBUG
1784 if (ECOFF_DEBUGGING)
1785 ecoff_frob_symbol (symp);
1786 #endif
1788 sy_obj = symbol_get_obj (symp);
1790 if (sy_obj->size != NULL)
1792 switch (sy_obj->size->X_op)
1794 case O_subtract:
1795 S_SET_SIZE (symp,
1796 (S_GET_VALUE (sy_obj->size->X_add_symbol)
1797 + sy_obj->size->X_add_number
1798 - S_GET_VALUE (sy_obj->size->X_op_symbol)));
1799 break;
1800 case O_constant:
1801 S_SET_SIZE (symp,
1802 (S_GET_VALUE (sy_obj->size->X_add_symbol)
1803 + sy_obj->size->X_add_number));
1804 break;
1805 default:
1806 as_bad (_(".size expression too complicated to fix up"));
1807 break;
1809 free (sy_obj->size);
1810 sy_obj->size = NULL;
1813 if (sy_obj->versioned_name != NULL)
1815 char *p;
1817 p = strchr (sy_obj->versioned_name, ELF_VER_CHR);
1818 know (p != NULL);
1820 /* This symbol was given a new name with the .symver directive.
1822 If this is an external reference, just rename the symbol to
1823 include the version string. This will make the relocs be
1824 against the correct versioned symbol.
1826 If this is a definition, add an alias. FIXME: Using an alias
1827 will permit the debugging information to refer to the right
1828 symbol. However, it's not clear whether it is the best
1829 approach. */
1831 if (! S_IS_DEFINED (symp))
1833 /* Verify that the name isn't using the @@ syntax--this is
1834 reserved for definitions of the default version to link
1835 against. */
1836 if (p[1] == ELF_VER_CHR)
1838 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
1839 sy_obj->versioned_name);
1840 *puntp = TRUE;
1842 S_SET_NAME (symp, sy_obj->versioned_name);
1844 else
1846 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
1848 size_t l;
1850 /* The @@@ syntax is a special case. It renames the
1851 symbol name to versioned_name with one `@' removed. */
1852 l = strlen (&p[3]) + 1;
1853 memmove (&p[2], &p[3], l);
1854 S_SET_NAME (symp, sy_obj->versioned_name);
1856 else
1858 symbolS *symp2;
1860 /* FIXME: Creating a new symbol here is risky. We're
1861 in the final loop over the symbol table. We can
1862 get away with it only because the symbol goes to
1863 the end of the list, where the loop will still see
1864 it. It would probably be better to do this in
1865 obj_frob_file_before_adjust. */
1867 symp2 = symbol_find_or_make (sy_obj->versioned_name);
1869 /* Now we act as though we saw symp2 = sym. */
1871 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
1873 /* Subtracting out the frag address here is a hack
1874 because we are in the middle of the final loop. */
1875 S_SET_VALUE (symp2,
1876 (S_GET_VALUE (symp)
1877 - symbol_get_frag (symp)->fr_address));
1879 symbol_set_frag (symp2, symbol_get_frag (symp));
1881 /* This will copy over the size information. */
1882 copy_symbol_attributes (symp2, symp);
1884 S_SET_OTHER (symp2, S_GET_OTHER (symp));
1886 if (S_IS_WEAK (symp))
1887 S_SET_WEAK (symp2);
1889 if (S_IS_EXTERNAL (symp))
1890 S_SET_EXTERNAL (symp2);
1895 /* Double check weak symbols. */
1896 if (S_IS_WEAK (symp))
1898 if (S_IS_COMMON (symp))
1899 as_bad (_("symbol `%s' can not be both weak and common"),
1900 S_GET_NAME (symp));
1903 #ifdef TC_MIPS
1904 /* The Irix 5 and 6 assemblers set the type of any common symbol and
1905 any undefined non-function symbol to STT_OBJECT. We try to be
1906 compatible, since newer Irix 5 and 6 linkers care. However, we
1907 only set undefined symbols to be STT_OBJECT if we are on Irix,
1908 because that is the only time gcc will generate the necessary
1909 .global directives to mark functions. */
1911 if (S_IS_COMMON (symp))
1912 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
1914 if (strstr (TARGET_OS, "irix") != NULL
1915 && ! S_IS_DEFINED (symp)
1916 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0)
1917 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
1918 #endif
1921 struct group_list
1923 asection **head; /* Section lists. */
1924 unsigned int *elt_count; /* Number of sections in each list. */
1925 unsigned int num_group; /* Number of lists. */
1928 /* Called via bfd_map_over_sections. If SEC is a member of a group,
1929 add it to a list of sections belonging to the group. INF is a
1930 pointer to a struct group_list, which is where we store the head of
1931 each list. */
1933 static void
1934 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
1936 struct group_list *list = inf;
1937 const char *group_name = elf_group_name (sec);
1938 unsigned int i;
1940 if (group_name == NULL)
1941 return;
1943 /* If this group already has a list, add the section to the head of
1944 the list. */
1945 for (i = 0; i < list->num_group; i++)
1947 if (strcmp (group_name, elf_group_name (list->head[i])) == 0)
1949 elf_next_in_group (sec) = list->head[i];
1950 list->head[i] = sec;
1951 list->elt_count[i] += 1;
1952 return;
1956 /* New group. Make the arrays bigger in chunks to minimize calls to
1957 realloc. */
1958 i = list->num_group;
1959 if ((i & 127) == 0)
1961 unsigned int newsize = i + 128;
1962 list->head = xrealloc (list->head, newsize * sizeof (*list->head));
1963 list->elt_count = xrealloc (list->elt_count,
1964 newsize * sizeof (*list->elt_count));
1966 list->head[i] = sec;
1967 list->elt_count[i] = 1;
1968 list->num_group += 1;
1971 void
1972 elf_frob_file (void)
1974 struct group_list list;
1975 unsigned int i;
1977 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL);
1979 /* Go find section groups. */
1980 list.num_group = 0;
1981 list.head = NULL;
1982 list.elt_count = NULL;
1983 bfd_map_over_sections (stdoutput, build_group_lists, &list);
1985 /* Make the SHT_GROUP sections that describe each section group. We
1986 can't set up the section contents here yet, because elf section
1987 indices have yet to be calculated. elf.c:set_group_contents does
1988 the rest of the work. */
1989 for (i = 0; i < list.num_group; i++)
1991 const char *group_name = elf_group_name (list.head[i]);
1992 const char *sec_name;
1993 asection *s;
1994 flagword flags;
1995 struct symbol *sy;
1996 int has_sym;
1997 bfd_size_type size;
1999 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
2000 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s))
2001 if ((s->flags ^ flags) & SEC_LINK_ONCE)
2003 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
2004 if (s != list.head[i])
2006 as_warn (_("assuming all members of group `%s' are COMDAT"),
2007 group_name);
2008 break;
2012 sec_name = group_name;
2013 sy = symbol_find_exact (group_name);
2014 has_sym = 0;
2015 if (sy != NULL
2016 && (sy == symbol_lastP
2017 || (sy->sy_next != NULL
2018 && sy->sy_next->sy_previous == sy)))
2020 has_sym = 1;
2021 sec_name = ".group";
2023 s = subseg_force_new (sec_name, 0);
2024 if (s == NULL
2025 || !bfd_set_section_flags (stdoutput, s, flags)
2026 || !bfd_set_section_alignment (stdoutput, s, 2))
2028 as_fatal (_("can't create group: %s"),
2029 bfd_errmsg (bfd_get_error ()));
2031 elf_section_type (s) = SHT_GROUP;
2033 /* Pass a pointer to the first section in this group. */
2034 elf_next_in_group (s) = list.head[i];
2035 if (has_sym)
2036 elf_group_id (s) = sy->bsym;
2038 size = 4 * (list.elt_count[i] + 1);
2039 bfd_set_section_size (stdoutput, s, size);
2040 s->contents = (unsigned char *) frag_more (size);
2041 frag_now->fr_fix = frag_now_fix_octets ();
2042 frag_wane (frag_now);
2045 #ifdef elf_tc_final_processing
2046 elf_tc_final_processing ();
2047 #endif
2050 /* It removes any unneeded versioned symbols from the symbol table. */
2052 void
2053 elf_frob_file_before_adjust (void)
2055 if (symbol_rootP)
2057 symbolS *symp;
2059 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2060 if (!S_IS_DEFINED (symp))
2062 if (symbol_get_obj (symp)->versioned_name)
2064 char *p;
2066 /* The @@@ syntax is a special case. If the symbol is
2067 not defined, 2 `@'s will be removed from the
2068 versioned_name. */
2070 p = strchr (symbol_get_obj (symp)->versioned_name,
2071 ELF_VER_CHR);
2072 know (p != NULL);
2073 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2075 size_t l = strlen (&p[3]) + 1;
2076 memmove (&p[1], &p[3], l);
2078 if (symbol_used_p (symp) == 0
2079 && symbol_used_in_reloc_p (symp) == 0)
2080 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2083 /* If there was .weak foo, but foo was neither defined nor
2084 used anywhere, remove it. */
2086 else if (S_IS_WEAK (symp)
2087 && symbol_used_p (symp) == 0
2088 && symbol_used_in_reloc_p (symp) == 0)
2089 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2094 /* It is required that we let write_relocs have the opportunity to
2095 optimize away fixups before output has begun, since it is possible
2096 to eliminate all fixups for a section and thus we never should
2097 have generated the relocation section. */
2099 void
2100 elf_frob_file_after_relocs (void)
2102 #ifdef NEED_ECOFF_DEBUG
2103 if (ECOFF_DEBUGGING)
2104 /* Generate the ECOFF debugging information. */
2106 const struct ecoff_debug_swap *debug_swap;
2107 struct ecoff_debug_info debug;
2108 char *buf;
2109 asection *sec;
2111 debug_swap
2112 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap;
2113 know (debug_swap != NULL);
2114 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap);
2116 /* Set up the pointers in debug. */
2117 #define SET(ptr, offset, type) \
2118 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2120 SET (line, cbLineOffset, unsigned char *);
2121 SET (external_dnr, cbDnOffset, void *);
2122 SET (external_pdr, cbPdOffset, void *);
2123 SET (external_sym, cbSymOffset, void *);
2124 SET (external_opt, cbOptOffset, void *);
2125 SET (external_aux, cbAuxOffset, union aux_ext *);
2126 SET (ss, cbSsOffset, char *);
2127 SET (external_fdr, cbFdOffset, void *);
2128 SET (external_rfd, cbRfdOffset, void *);
2129 /* ssext and external_ext are set up just below. */
2131 #undef SET
2133 /* Set up the external symbols. */
2134 debug.ssext = debug.ssext_end = NULL;
2135 debug.external_ext = debug.external_ext_end = NULL;
2136 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE,
2137 elf_get_extr, elf_set_index))
2138 as_fatal (_("failed to set up debugging information: %s"),
2139 bfd_errmsg (bfd_get_error ()));
2141 sec = bfd_get_section_by_name (stdoutput, ".mdebug");
2142 assert (sec != NULL);
2144 know (!stdoutput->output_has_begun);
2146 /* We set the size of the section, call bfd_set_section_contents
2147 to force the ELF backend to allocate a file position, and then
2148 write out the data. FIXME: Is this really the best way to do
2149 this? */
2150 bfd_set_section_size
2151 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap));
2153 /* Pass BUF to bfd_set_section_contents because this will
2154 eventually become a call to fwrite, and ISO C prohibits
2155 passing a NULL pointer to a stdio function even if the
2156 pointer will not be used. */
2157 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0))
2158 as_fatal (_("can't start writing .mdebug section: %s"),
2159 bfd_errmsg (bfd_get_error ()));
2161 know (stdoutput->output_has_begun);
2162 know (sec->filepos != 0);
2164 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
2165 sec->filepos))
2166 as_fatal (_("could not write .mdebug section: %s"),
2167 bfd_errmsg (bfd_get_error ()));
2169 #endif /* NEED_ECOFF_DEBUG */
2172 #ifdef SCO_ELF
2174 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2175 SCO specific identifier in the .notes section to satisfy the SCO
2176 linker.
2178 This looks more complicated than it really is. As opposed to the
2179 "obvious" solution, this should handle the cross dev cases
2180 correctly. (i.e, hosting on a 64 bit big endian processor, but
2181 generating SCO Elf code) Efficiency isn't a concern, as there
2182 should be exactly one of these sections per object module.
2184 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2185 .note section.
2187 int_32 namesz = 4 ; Name size
2188 int_32 descsz = 12 ; Descriptive information
2189 int_32 type = 1 ;
2190 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2191 int_32 version = (major ver # << 16) | version of tools ;
2192 int_32 source = (tool_id << 16 ) | 1 ;
2193 int_32 info = 0 ; These are set by the SCO tools, but we
2194 don't know enough about the source
2195 environment to set them. SCO ld currently
2196 ignores them, and recommends we set them
2197 to zero. */
2199 #define SCO_MAJOR_VERSION 0x1
2200 #define SCO_MINOR_VERSION 0x1
2202 void
2203 sco_id (void)
2206 char *name;
2207 unsigned int c;
2208 char ch;
2209 char *p;
2210 asection *seg = now_seg;
2211 subsegT subseg = now_subseg;
2212 Elf_Internal_Note i_note;
2213 Elf_External_Note e_note;
2214 asection *note_secp = NULL;
2215 int i, len;
2217 /* create the .note section */
2219 note_secp = subseg_new (".note", 0);
2220 bfd_set_section_flags (stdoutput,
2221 note_secp,
2222 SEC_HAS_CONTENTS | SEC_READONLY);
2224 /* process the version string */
2226 i_note.namesz = 4;
2227 i_note.descsz = 12; /* 12 descriptive bytes */
2228 i_note.type = NT_VERSION; /* Contains a version string */
2230 p = frag_more (sizeof (i_note.namesz));
2231 md_number_to_chars (p, i_note.namesz, 4);
2233 p = frag_more (sizeof (i_note.descsz));
2234 md_number_to_chars (p, i_note.descsz, 4);
2236 p = frag_more (sizeof (i_note.type));
2237 md_number_to_chars (p, i_note.type, 4);
2239 p = frag_more (4);
2240 strcpy (p, "SCO");
2242 /* Note: this is the version number of the ELF we're representing */
2243 p = frag_more (4);
2244 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
2246 /* Here, we pick a magic number for ourselves (yes, I "registered"
2247 it with SCO. The bottom bit shows that we are compat with the
2248 SCO ABI. */
2249 p = frag_more (4);
2250 md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
2252 /* If we knew (or cared) what the source language options were, we'd
2253 fill them in here. SCO has given us permission to ignore these
2254 and just set them to zero. */
2255 p = frag_more (4);
2256 md_number_to_chars (p, 0x0000, 4);
2258 frag_align (2, 0, 0);
2260 /* We probably can't restore the current segment, for there likely
2261 isn't one yet... */
2262 if (seg && subseg)
2263 subseg_set (seg, subseg);
2267 #endif /* SCO_ELF */
2269 static int
2270 elf_separate_stab_sections (void)
2272 #ifdef NEED_ECOFF_DEBUG
2273 return (!ECOFF_DEBUGGING);
2274 #else
2275 return 1;
2276 #endif
2279 static void
2280 elf_init_stab_section (segT seg)
2282 #ifdef NEED_ECOFF_DEBUG
2283 if (!ECOFF_DEBUGGING)
2284 #endif
2285 obj_elf_init_stab_section (seg);
2288 const struct format_ops elf_format_ops =
2290 bfd_target_elf_flavour,
2291 0, /* dfl_leading_underscore */
2292 1, /* emit_section_symbols */
2293 elf_begin,
2294 elf_file_symbol,
2295 elf_frob_symbol,
2296 elf_frob_file,
2297 elf_frob_file_before_adjust,
2298 0, /* obj_frob_file_before_fix */
2299 elf_frob_file_after_relocs,
2300 elf_s_get_size, elf_s_set_size,
2301 elf_s_get_align, elf_s_set_align,
2302 elf_s_get_other,
2303 elf_s_set_other,
2304 0, /* s_get_desc */
2305 0, /* s_set_desc */
2306 0, /* s_get_type */
2307 0, /* s_set_type */
2308 elf_copy_symbol_attributes,
2309 #ifdef NEED_ECOFF_DEBUG
2310 ecoff_generate_asm_lineno,
2311 ecoff_stab,
2312 #else
2313 0, /* generate_asm_lineno */
2314 0, /* process_stab */
2315 #endif
2316 elf_separate_stab_sections,
2317 elf_init_stab_section,
2318 elf_sec_sym_ok_for_reloc,
2319 elf_pop_insert,
2320 #ifdef NEED_ECOFF_DEBUG
2321 elf_ecoff_set_ext,
2322 #else
2323 0, /* ecoff_set_ext */
2324 #endif
2325 elf_obj_read_begin_hook,
2326 elf_obj_symbol_new_hook