* config/tc-mips.c (append_insn): Correctly handle mips16 case
[binutils.git] / gas / config / obj-elf.c
blob43e0c97a0d2174ae927d7c5ce23a303051fee9fd
1 /* ELF object file format
2 Copyright 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 2,
10 or (at your option) any later version.
12 GAS is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See
15 the GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
20 02110-1301, USA. */
22 #define OBJ_HEADER "obj-elf.h"
23 #include "as.h"
24 #include "safe-ctype.h"
25 #include "subsegs.h"
26 #include "obstack.h"
27 #include "struc-symbol.h"
28 #include "dwarf2dbg.h"
30 #ifndef ECOFF_DEBUGGING
31 #define ECOFF_DEBUGGING 0
32 #else
33 #define NEED_ECOFF_DEBUG
34 #endif
36 #ifdef NEED_ECOFF_DEBUG
37 #include "ecoff.h"
38 #endif
40 #ifdef TC_ALPHA
41 #include "elf/alpha.h"
42 #endif
44 #ifdef TC_MIPS
45 #include "elf/mips.h"
46 #endif
48 #ifdef TC_PPC
49 #include "elf/ppc.h"
50 #endif
52 #ifdef TC_I370
53 #include "elf/i370.h"
54 #endif
56 #ifdef TC_I386
57 #include "elf/x86-64.h"
58 #endif
60 static void obj_elf_line (int);
61 static void obj_elf_size (int);
62 static void obj_elf_type (int);
63 static void obj_elf_ident (int);
64 static void obj_elf_weak (int);
65 static void obj_elf_local (int);
66 static void obj_elf_visibility (int);
67 static void obj_elf_symver (int);
68 static void obj_elf_subsection (int);
69 static void obj_elf_popsection (int);
70 static void obj_elf_tls_common (int);
71 static void obj_elf_lcomm (int);
72 static void obj_elf_struct (int);
74 static const pseudo_typeS elf_pseudo_table[] =
76 {"comm", obj_elf_common, 0},
77 {"common", obj_elf_common, 1},
78 {"ident", obj_elf_ident, 0},
79 {"lcomm", obj_elf_lcomm, 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 {"pushsection", obj_elf_section, 1},
87 {"popsection", obj_elf_popsection, 0},
88 {"size", obj_elf_size, 0},
89 {"type", obj_elf_type, 0},
90 {"version", obj_elf_version, 0},
91 {"weak", obj_elf_weak, 0},
93 /* These define symbol visibility. */
94 {"internal", obj_elf_visibility, STV_INTERNAL},
95 {"hidden", obj_elf_visibility, STV_HIDDEN},
96 {"protected", obj_elf_visibility, STV_PROTECTED},
98 /* These are used for stabs-in-elf configurations. */
99 {"line", obj_elf_line, 0},
101 /* This is a GNU extension to handle symbol versions. */
102 {"symver", obj_elf_symver, 0},
104 /* A GNU extension to change subsection only. */
105 {"subsection", obj_elf_subsection, 0},
107 /* These are GNU extensions to aid in garbage collecting C++ vtables. */
108 {"vtable_inherit", (void (*) (int)) &obj_elf_vtable_inherit, 0},
109 {"vtable_entry", (void (*) (int)) &obj_elf_vtable_entry, 0},
111 /* These are used for dwarf. */
112 {"2byte", cons, 2},
113 {"4byte", cons, 4},
114 {"8byte", cons, 8},
115 /* These are used for dwarf2. */
116 { "file", (void (*) (int)) dwarf2_directive_file, 0 },
117 { "loc", dwarf2_directive_loc, 0 },
119 /* We need to trap the section changing calls to handle .previous. */
120 {"data", obj_elf_data, 0},
121 {"offset", obj_elf_struct, 0},
122 {"struct", obj_elf_struct, 0},
123 {"text", obj_elf_text, 0},
125 {"tls_common", obj_elf_tls_common, 0},
127 /* End sentinel. */
128 {NULL, NULL, 0},
131 static const pseudo_typeS ecoff_debug_pseudo_table[] =
133 #ifdef NEED_ECOFF_DEBUG
134 /* COFF style debugging information for ECOFF. .ln is not used; .loc
135 is used instead. */
136 { "def", ecoff_directive_def, 0 },
137 { "dim", ecoff_directive_dim, 0 },
138 { "endef", ecoff_directive_endef, 0 },
139 { "file", ecoff_directive_file, 0 },
140 { "scl", ecoff_directive_scl, 0 },
141 { "tag", ecoff_directive_tag, 0 },
142 { "val", ecoff_directive_val, 0 },
144 /* COFF debugging requires pseudo-ops .size and .type, but ELF
145 already has meanings for those. We use .esize and .etype
146 instead. These are only generated by gcc anyhow. */
147 { "esize", ecoff_directive_size, 0 },
148 { "etype", ecoff_directive_type, 0 },
150 /* ECOFF specific debugging information. */
151 { "begin", ecoff_directive_begin, 0 },
152 { "bend", ecoff_directive_bend, 0 },
153 { "end", ecoff_directive_end, 0 },
154 { "ent", ecoff_directive_ent, 0 },
155 { "fmask", ecoff_directive_fmask, 0 },
156 { "frame", ecoff_directive_frame, 0 },
157 { "loc", ecoff_directive_loc, 0 },
158 { "mask", ecoff_directive_mask, 0 },
160 /* Other ECOFF directives. */
161 { "extern", ecoff_directive_extern, 0 },
163 /* These are used on Irix. I don't know how to implement them. */
164 { "alias", s_ignore, 0 },
165 { "bgnb", s_ignore, 0 },
166 { "endb", s_ignore, 0 },
167 { "lab", s_ignore, 0 },
168 { "noalias", s_ignore, 0 },
169 { "verstamp", s_ignore, 0 },
170 { "vreg", s_ignore, 0 },
171 #endif
173 {NULL, NULL, 0} /* end sentinel */
176 #undef NO_RELOC
177 #include "aout/aout64.h"
179 /* This is called when the assembler starts. */
181 asection *elf_com_section_ptr;
183 void
184 elf_begin (void)
186 asection *s;
188 /* Add symbols for the known sections to the symbol table. */
189 s = bfd_get_section_by_name (stdoutput, TEXT_SECTION_NAME);
190 symbol_table_insert (section_symbol (s));
191 s = bfd_get_section_by_name (stdoutput, DATA_SECTION_NAME);
192 symbol_table_insert (section_symbol (s));
193 s = bfd_get_section_by_name (stdoutput, BSS_SECTION_NAME);
194 symbol_table_insert (section_symbol (s));
195 elf_com_section_ptr = bfd_com_section_ptr;
198 void
199 elf_pop_insert (void)
201 pop_insert (elf_pseudo_table);
202 if (ECOFF_DEBUGGING)
203 pop_insert (ecoff_debug_pseudo_table);
206 static bfd_vma
207 elf_s_get_size (symbolS *sym)
209 return S_GET_SIZE (sym);
212 static void
213 elf_s_set_size (symbolS *sym, bfd_vma sz)
215 S_SET_SIZE (sym, sz);
218 static bfd_vma
219 elf_s_get_align (symbolS *sym)
221 return S_GET_ALIGN (sym);
224 static void
225 elf_s_set_align (symbolS *sym, bfd_vma align)
227 S_SET_ALIGN (sym, align);
231 elf_s_get_other (symbolS *sym)
233 return elf_symbol (symbol_get_bfdsym (sym))->internal_elf_sym.st_other;
236 static void
237 elf_s_set_other (symbolS *sym, int other)
239 S_SET_OTHER (sym, other);
242 static int
243 elf_sec_sym_ok_for_reloc (asection *sec)
245 return obj_sec_sym_ok_for_reloc (sec);
248 void
249 elf_file_symbol (const char *s, int appfile)
251 if (!appfile
252 || symbol_rootP == NULL
253 || symbol_rootP->bsym == NULL
254 || (symbol_rootP->bsym->flags & BSF_FILE) == 0)
256 symbolS *sym;
258 sym = symbol_new (s, absolute_section, 0, NULL);
259 symbol_set_frag (sym, &zero_address_frag);
260 symbol_get_bfdsym (sym)->flags |= BSF_FILE;
262 if (symbol_rootP != sym)
264 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
265 symbol_insert (sym, symbol_rootP, &symbol_rootP, &symbol_lastP);
266 #ifdef DEBUG
267 verify_symbol_chain (symbol_rootP, symbol_lastP);
268 #endif
272 #ifdef NEED_ECOFF_DEBUG
273 ecoff_new_file (s, appfile);
274 #endif
277 /* Called from read.c:s_comm after we've parsed .comm symbol, size.
278 Parse a possible alignment value. */
280 symbolS *
281 elf_common_parse (int ignore ATTRIBUTE_UNUSED, symbolS *symbolP, addressT size)
283 addressT align = 0;
284 int is_local = symbol_get_obj (symbolP)->local;
286 if (*input_line_pointer == ',')
288 char *save = input_line_pointer;
290 input_line_pointer++;
291 SKIP_WHITESPACE ();
293 if (*input_line_pointer == '"')
295 /* For sparc. Accept .common symbol, length, "bss" */
296 input_line_pointer++;
297 /* Some use the dot, some don't. */
298 if (*input_line_pointer == '.')
299 input_line_pointer++;
300 /* Some say data, some say bss. */
301 if (strncmp (input_line_pointer, "bss\"", 4) == 0)
302 input_line_pointer += 4;
303 else if (strncmp (input_line_pointer, "data\"", 5) == 0)
304 input_line_pointer += 5;
305 else
307 char *p = input_line_pointer;
308 char c;
310 while (*--p != '"')
312 while (!is_end_of_line[(unsigned char) *input_line_pointer])
313 if (*input_line_pointer++ == '"')
314 break;
315 c = *input_line_pointer;
316 *input_line_pointer = '\0';
317 as_bad (_("bad .common segment %s"), p);
318 *input_line_pointer = c;
319 ignore_rest_of_line ();
320 return NULL;
322 /* ??? Don't ask me why these are always global. */
323 is_local = 0;
325 else
327 input_line_pointer = save;
328 align = parse_align (is_local);
329 if (align == (addressT) -1)
330 return NULL;
334 if (is_local)
336 bss_alloc (symbolP, size, align);
337 S_CLEAR_EXTERNAL (symbolP);
339 else
341 S_SET_VALUE (symbolP, size);
342 S_SET_ALIGN (symbolP, align);
343 S_SET_EXTERNAL (symbolP);
344 S_SET_SEGMENT (symbolP, elf_com_section_ptr);
347 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
349 return symbolP;
352 void
353 obj_elf_common (int is_common)
355 if (flag_mri && is_common)
356 s_mri_common (0);
357 else
358 s_comm_internal (0, elf_common_parse);
361 static void
362 obj_elf_tls_common (int ignore ATTRIBUTE_UNUSED)
364 symbolS *symbolP = s_comm_internal (0, elf_common_parse);
366 if (symbolP)
367 symbol_get_bfdsym (symbolP)->flags |= BSF_THREAD_LOCAL;
370 static void
371 obj_elf_lcomm (int ignore ATTRIBUTE_UNUSED)
373 symbolS *symbolP = s_comm_internal (0, s_lcomm_internal);
375 if (symbolP)
376 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
379 static void
380 obj_elf_local (int ignore ATTRIBUTE_UNUSED)
382 char *name;
383 int c;
384 symbolS *symbolP;
388 name = input_line_pointer;
389 c = get_symbol_end ();
390 symbolP = symbol_find_or_make (name);
391 *input_line_pointer = c;
392 SKIP_WHITESPACE ();
393 S_CLEAR_EXTERNAL (symbolP);
394 symbol_get_obj (symbolP)->local = 1;
395 if (c == ',')
397 input_line_pointer++;
398 SKIP_WHITESPACE ();
399 if (*input_line_pointer == '\n')
400 c = '\n';
403 while (c == ',');
404 demand_empty_rest_of_line ();
407 static void
408 obj_elf_weak (int ignore ATTRIBUTE_UNUSED)
410 char *name;
411 int c;
412 symbolS *symbolP;
416 name = input_line_pointer;
417 c = get_symbol_end ();
418 symbolP = symbol_find_or_make (name);
419 *input_line_pointer = c;
420 SKIP_WHITESPACE ();
421 S_SET_WEAK (symbolP);
422 symbol_get_obj (symbolP)->local = 1;
423 if (c == ',')
425 input_line_pointer++;
426 SKIP_WHITESPACE ();
427 if (*input_line_pointer == '\n')
428 c = '\n';
431 while (c == ',');
432 demand_empty_rest_of_line ();
435 static void
436 obj_elf_visibility (int visibility)
438 char *name;
439 int c;
440 symbolS *symbolP;
441 asymbol *bfdsym;
442 elf_symbol_type *elfsym;
446 name = input_line_pointer;
447 c = get_symbol_end ();
448 symbolP = symbol_find_or_make (name);
449 *input_line_pointer = c;
451 SKIP_WHITESPACE ();
453 bfdsym = symbol_get_bfdsym (symbolP);
454 elfsym = elf_symbol_from (bfd_asymbol_bfd (bfdsym), bfdsym);
456 assert (elfsym);
458 elfsym->internal_elf_sym.st_other &= ~3;
459 elfsym->internal_elf_sym.st_other |= visibility;
461 if (c == ',')
463 input_line_pointer ++;
465 SKIP_WHITESPACE ();
467 if (*input_line_pointer == '\n')
468 c = '\n';
471 while (c == ',');
473 demand_empty_rest_of_line ();
476 static segT previous_section;
477 static int previous_subsection;
479 struct section_stack
481 struct section_stack *next;
482 segT seg, prev_seg;
483 int subseg, prev_subseg;
486 static struct section_stack *section_stack;
488 static bfd_boolean
489 get_section (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
491 const char *gname = inf;
492 const char *group_name = elf_group_name (sec);
494 return (group_name == gname
495 || (group_name != NULL
496 && gname != NULL
497 && strcmp (group_name, gname) == 0));
500 /* Handle the .section pseudo-op. This code supports two different
501 syntaxes.
503 The first is found on Solaris, and looks like
504 .section ".sec1",#alloc,#execinstr,#write
505 Here the names after '#' are the SHF_* flags to turn on for the
506 section. I'm not sure how it determines the SHT_* type (BFD
507 doesn't really give us control over the type, anyhow).
509 The second format is found on UnixWare, and probably most SVR4
510 machines, and looks like
511 .section .sec1,"a",@progbits
512 The quoted string may contain any combination of a, w, x, and
513 represents the SHF_* flags to turn on for the section. The string
514 beginning with '@' can be progbits or nobits. There should be
515 other possibilities, but I don't know what they are. In any case,
516 BFD doesn't really let us set the section type. */
518 void
519 obj_elf_change_section (const char *name,
520 int type,
521 int attr,
522 int entsize,
523 const char *group_name,
524 int linkonce,
525 int push)
527 asection *old_sec;
528 segT sec;
529 flagword flags;
530 const struct elf_backend_data *bed;
531 const struct bfd_elf_special_section *ssect;
533 #ifdef md_flush_pending_output
534 md_flush_pending_output ();
535 #endif
537 /* Switch to the section, creating it if necessary. */
538 if (push)
540 struct section_stack *elt;
541 elt = xmalloc (sizeof (struct section_stack));
542 elt->next = section_stack;
543 elt->seg = now_seg;
544 elt->prev_seg = previous_section;
545 elt->subseg = now_subseg;
546 elt->prev_subseg = previous_subsection;
547 section_stack = elt;
549 previous_section = now_seg;
550 previous_subsection = now_subseg;
552 old_sec = bfd_get_section_by_name_if (stdoutput, name, get_section,
553 (void *) group_name);
554 if (old_sec)
556 sec = old_sec;
557 subseg_set (sec, 0);
559 else
560 sec = subseg_force_new (name, 0);
562 bed = get_elf_backend_data (stdoutput);
563 ssect = (*bed->get_sec_type_attr) (stdoutput, sec);
565 if (ssect != NULL)
567 bfd_boolean override = FALSE;
569 if (type == SHT_NULL)
570 type = ssect->type;
571 else if (type != ssect->type)
573 if (old_sec == NULL
574 /* FIXME: gcc, as of 2002-10-22, will emit
576 .section .init_array,"aw",@progbits
578 for __attribute__ ((section (".init_array"))).
579 "@progbits" is incorrect. Also for x86-64 large bss
580 sections, gcc, as of 2005-07-06, will emit
582 .section .lbss,"aw",@progbits
584 "@progbits" is incorrect. */
585 #ifdef TC_I386
586 && (bed->s->arch_size != 64
587 || !(ssect->attr & SHF_X86_64_LARGE))
588 #endif
589 && ssect->type != SHT_INIT_ARRAY
590 && ssect->type != SHT_FINI_ARRAY
591 && ssect->type != SHT_PREINIT_ARRAY)
593 /* We allow to specify any type for a .note section. */
594 if (ssect->type != SHT_NOTE)
595 as_warn (_("setting incorrect section type for %s"),
596 name);
598 else
600 as_warn (_("ignoring incorrect section type for %s"),
601 name);
602 type = ssect->type;
606 if (old_sec == NULL && (attr & ~ssect->attr) != 0)
608 /* As a GNU extension, we permit a .note section to be
609 allocatable. If the linker sees an allocatable .note
610 section, it will create a PT_NOTE segment in the output
611 file. We also allow "x" for .note.GNU-stack. */
612 if (ssect->type == SHT_NOTE
613 && (attr == SHF_ALLOC || attr == SHF_EXECINSTR))
615 /* Allow different SHF_MERGE and SHF_STRINGS if we have
616 something like .rodata.str. */
617 else if (ssect->suffix_length == -2
618 && name[ssect->prefix_length] == '.'
619 && (attr
620 & ~ssect->attr
621 & ~SHF_MERGE
622 & ~SHF_STRINGS) == 0)
624 /* .interp, .strtab and .symtab can have SHF_ALLOC. */
625 else if (attr == SHF_ALLOC
626 && (strcmp (name, ".interp") == 0
627 || strcmp (name, ".strtab") == 0
628 || strcmp (name, ".symtab") == 0))
629 override = TRUE;
630 /* .note.GNU-stack can have SHF_EXECINSTR. */
631 else if (attr == SHF_EXECINSTR
632 && strcmp (name, ".note.GNU-stack") == 0)
633 override = TRUE;
634 else
636 if (group_name == NULL)
637 as_warn (_("setting incorrect section attributes for %s"),
638 name);
639 override = TRUE;
642 if (!override && old_sec == NULL)
643 attr |= ssect->attr;
646 /* Convert ELF type and flags to BFD flags. */
647 flags = (SEC_RELOC
648 | ((attr & SHF_WRITE) ? 0 : SEC_READONLY)
649 | ((attr & SHF_ALLOC) ? SEC_ALLOC : 0)
650 | (((attr & SHF_ALLOC) && type != SHT_NOBITS) ? SEC_LOAD : 0)
651 | ((attr & SHF_EXECINSTR) ? SEC_CODE : 0)
652 | ((attr & SHF_MERGE) ? SEC_MERGE : 0)
653 | ((attr & SHF_STRINGS) ? SEC_STRINGS : 0)
654 | ((attr & SHF_TLS) ? SEC_THREAD_LOCAL : 0));
655 #ifdef md_elf_section_flags
656 flags = md_elf_section_flags (flags, attr, type);
657 #endif
659 if (linkonce)
660 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
662 if (old_sec == NULL)
664 symbolS *secsym;
666 elf_section_type (sec) = type;
667 elf_section_flags (sec) = attr;
669 /* Prevent SEC_HAS_CONTENTS from being inadvertently set. */
670 if (type == SHT_NOBITS)
671 seg_info (sec)->bss = 1;
673 bfd_set_section_flags (stdoutput, sec, flags);
674 if (flags & SEC_MERGE)
675 sec->entsize = entsize;
676 elf_group_name (sec) = group_name;
678 /* Add a symbol for this section to the symbol table. */
679 secsym = symbol_find (name);
680 if (secsym != NULL)
681 symbol_set_bfdsym (secsym, sec->symbol);
682 else
683 symbol_table_insert (section_symbol (sec));
685 else
687 if (type != SHT_NULL
688 && (unsigned) type != elf_section_type (old_sec))
689 as_warn (_("ignoring changed section type for %s"), name);
691 if (attr != 0)
693 /* If section attributes are specified the second time we see a
694 particular section, then check that they are the same as we
695 saw the first time. */
696 if (((old_sec->flags ^ flags)
697 & (SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE
698 | SEC_EXCLUDE | SEC_SORT_ENTRIES | SEC_MERGE | SEC_STRINGS
699 | SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD
700 | SEC_THREAD_LOCAL)))
701 as_warn (_("ignoring changed section attributes for %s"), name);
702 if ((flags & SEC_MERGE) && old_sec->entsize != (unsigned) entsize)
703 as_warn (_("ignoring changed section entity size for %s"), name);
707 #ifdef md_elf_section_change_hook
708 md_elf_section_change_hook ();
709 #endif
712 static int
713 obj_elf_parse_section_letters (char *str, size_t len)
715 int attr = 0;
717 while (len > 0)
719 switch (*str)
721 case 'a':
722 attr |= SHF_ALLOC;
723 break;
724 case 'w':
725 attr |= SHF_WRITE;
726 break;
727 case 'x':
728 attr |= SHF_EXECINSTR;
729 break;
730 case 'M':
731 attr |= SHF_MERGE;
732 break;
733 case 'S':
734 attr |= SHF_STRINGS;
735 break;
736 case 'G':
737 attr |= SHF_GROUP;
738 break;
739 case 'T':
740 attr |= SHF_TLS;
741 break;
742 /* Compatibility. */
743 case 'm':
744 if (*(str - 1) == 'a')
746 attr |= SHF_MERGE;
747 if (len > 1 && str[1] == 's')
749 attr |= SHF_STRINGS;
750 str++, len--;
752 break;
754 default:
756 char *bad_msg = _("unrecognized .section attribute: want a,w,x,M,S,G,T");
757 #ifdef md_elf_section_letter
758 int md_attr = md_elf_section_letter (*str, &bad_msg);
759 if (md_attr >= 0)
760 attr |= md_attr;
761 else
762 #endif
763 as_fatal ("%s", bad_msg);
765 break;
767 str++, len--;
770 return attr;
773 static int
774 obj_elf_section_word (char *str, size_t len)
776 if (len == 5 && strncmp (str, "write", 5) == 0)
777 return SHF_WRITE;
778 if (len == 5 && strncmp (str, "alloc", 5) == 0)
779 return SHF_ALLOC;
780 if (len == 9 && strncmp (str, "execinstr", 9) == 0)
781 return SHF_EXECINSTR;
782 if (len == 3 && strncmp (str, "tls", 3) == 0)
783 return SHF_TLS;
785 #ifdef md_elf_section_word
787 int md_attr = md_elf_section_word (str, len);
788 if (md_attr >= 0)
789 return md_attr;
791 #endif
793 as_warn (_("unrecognized section attribute"));
794 return 0;
797 static int
798 obj_elf_section_type (char *str, size_t len)
800 if (len == 8 && strncmp (str, "progbits", 8) == 0)
801 return SHT_PROGBITS;
802 if (len == 6 && strncmp (str, "nobits", 6) == 0)
803 return SHT_NOBITS;
804 if (len == 4 && strncmp (str, "note", 4) == 0)
805 return SHT_NOTE;
806 if (len == 10 && strncmp (str, "init_array", 10) == 0)
807 return SHT_INIT_ARRAY;
808 if (len == 10 && strncmp (str, "fini_array", 10) == 0)
809 return SHT_FINI_ARRAY;
810 if (len == 13 && strncmp (str, "preinit_array", 13) == 0)
811 return SHT_PREINIT_ARRAY;
813 #ifdef md_elf_section_type
815 int md_type = md_elf_section_type (str, len);
816 if (md_type >= 0)
817 return md_type;
819 #endif
821 as_warn (_("unrecognized section type"));
822 return 0;
825 /* Get name of section. */
826 static char *
827 obj_elf_section_name (void)
829 char *name;
831 SKIP_WHITESPACE ();
832 if (*input_line_pointer == '"')
834 int dummy;
836 name = demand_copy_C_string (&dummy);
837 if (name == NULL)
839 ignore_rest_of_line ();
840 return NULL;
843 else
845 char *end = input_line_pointer;
847 while (0 == strchr ("\n\t,; ", *end))
848 end++;
849 if (end == input_line_pointer)
851 as_bad (_("missing name"));
852 ignore_rest_of_line ();
853 return NULL;
856 name = xmalloc (end - input_line_pointer + 1);
857 memcpy (name, input_line_pointer, end - input_line_pointer);
858 name[end - input_line_pointer] = '\0';
859 #ifdef tc_canonicalize_section_name
860 name = tc_canonicalize_section_name (name);
861 #endif
862 input_line_pointer = end;
864 SKIP_WHITESPACE ();
865 return name;
868 void
869 obj_elf_section (int push)
871 char *name, *group_name, *beg;
872 int type, attr, dummy;
873 int entsize;
874 int linkonce;
876 #ifndef TC_I370
877 if (flag_mri)
879 char mri_type;
881 #ifdef md_flush_pending_output
882 md_flush_pending_output ();
883 #endif
885 previous_section = now_seg;
886 previous_subsection = now_subseg;
888 s_mri_sect (&mri_type);
890 #ifdef md_elf_section_change_hook
891 md_elf_section_change_hook ();
892 #endif
894 return;
896 #endif /* ! defined (TC_I370) */
898 name = obj_elf_section_name ();
899 if (name == NULL)
900 return;
901 type = SHT_NULL;
902 attr = 0;
903 group_name = NULL;
904 entsize = 0;
905 linkonce = 0;
907 if (*input_line_pointer == ',')
909 /* Skip the comma. */
910 ++input_line_pointer;
911 SKIP_WHITESPACE ();
913 if (*input_line_pointer == '"')
915 beg = demand_copy_C_string (&dummy);
916 if (beg == NULL)
918 ignore_rest_of_line ();
919 return;
921 attr |= obj_elf_parse_section_letters (beg, strlen (beg));
923 SKIP_WHITESPACE ();
924 if (*input_line_pointer == ',')
926 char c;
927 char *save = input_line_pointer;
929 ++input_line_pointer;
930 SKIP_WHITESPACE ();
931 c = *input_line_pointer;
932 if (c == '"')
934 beg = demand_copy_C_string (&dummy);
935 if (beg == NULL)
937 ignore_rest_of_line ();
938 return;
940 type = obj_elf_section_type (beg, strlen (beg));
942 else if (c == '@' || c == '%')
944 beg = ++input_line_pointer;
945 c = get_symbol_end ();
946 *input_line_pointer = c;
947 type = obj_elf_section_type (beg, input_line_pointer - beg);
949 else
950 input_line_pointer = save;
953 SKIP_WHITESPACE ();
954 if ((attr & SHF_MERGE) != 0 && *input_line_pointer == ',')
956 ++input_line_pointer;
957 SKIP_WHITESPACE ();
958 entsize = get_absolute_expression ();
959 SKIP_WHITESPACE ();
960 if (entsize < 0)
962 as_warn (_("invalid merge entity size"));
963 attr &= ~SHF_MERGE;
964 entsize = 0;
967 else if ((attr & SHF_MERGE) != 0)
969 as_warn (_("entity size for SHF_MERGE not specified"));
970 attr &= ~SHF_MERGE;
973 if ((attr & SHF_GROUP) != 0 && *input_line_pointer == ',')
975 ++input_line_pointer;
976 group_name = obj_elf_section_name ();
977 if (group_name == NULL)
978 attr &= ~SHF_GROUP;
979 else if (strncmp (input_line_pointer, ",comdat", 7) == 0)
981 input_line_pointer += 7;
982 linkonce = 1;
984 else if (strncmp (name, ".gnu.linkonce", 13) == 0)
985 linkonce = 1;
987 else if ((attr & SHF_GROUP) != 0)
989 as_warn (_("group name for SHF_GROUP not specified"));
990 attr &= ~SHF_GROUP;
993 else
997 char c;
999 SKIP_WHITESPACE ();
1000 if (*input_line_pointer != '#')
1002 as_bad (_("character following name is not '#'"));
1003 ignore_rest_of_line ();
1004 return;
1006 beg = ++input_line_pointer;
1007 c = get_symbol_end ();
1008 *input_line_pointer = c;
1010 attr |= obj_elf_section_word (beg, input_line_pointer - beg);
1012 SKIP_WHITESPACE ();
1014 while (*input_line_pointer++ == ',');
1015 --input_line_pointer;
1019 demand_empty_rest_of_line ();
1021 obj_elf_change_section (name, type, attr, entsize, group_name, linkonce, push);
1024 /* Change to the .data section. */
1026 void
1027 obj_elf_data (int i)
1029 #ifdef md_flush_pending_output
1030 md_flush_pending_output ();
1031 #endif
1033 previous_section = now_seg;
1034 previous_subsection = now_subseg;
1035 s_data (i);
1037 #ifdef md_elf_section_change_hook
1038 md_elf_section_change_hook ();
1039 #endif
1042 /* Change to the .text section. */
1044 void
1045 obj_elf_text (int i)
1047 #ifdef md_flush_pending_output
1048 md_flush_pending_output ();
1049 #endif
1051 previous_section = now_seg;
1052 previous_subsection = now_subseg;
1053 s_text (i);
1055 #ifdef md_elf_section_change_hook
1056 md_elf_section_change_hook ();
1057 #endif
1060 /* Change to the *ABS* section. */
1062 void
1063 obj_elf_struct (int i)
1065 #ifdef md_flush_pending_output
1066 md_flush_pending_output ();
1067 #endif
1069 previous_section = now_seg;
1070 previous_subsection = now_subseg;
1071 s_struct (i);
1073 #ifdef md_elf_section_change_hook
1074 md_elf_section_change_hook ();
1075 #endif
1078 static void
1079 obj_elf_subsection (int ignore ATTRIBUTE_UNUSED)
1081 register int temp;
1083 #ifdef md_flush_pending_output
1084 md_flush_pending_output ();
1085 #endif
1087 previous_section = now_seg;
1088 previous_subsection = now_subseg;
1090 temp = get_absolute_expression ();
1091 subseg_set (now_seg, (subsegT) temp);
1092 demand_empty_rest_of_line ();
1094 #ifdef md_elf_section_change_hook
1095 md_elf_section_change_hook ();
1096 #endif
1099 /* This can be called from the processor backends if they change
1100 sections. */
1102 void
1103 obj_elf_section_change_hook (void)
1105 previous_section = now_seg;
1106 previous_subsection = now_subseg;
1109 void
1110 obj_elf_previous (int ignore ATTRIBUTE_UNUSED)
1112 segT new_section;
1113 int new_subsection;
1115 if (previous_section == 0)
1117 as_warn (_(".previous without corresponding .section; ignored"));
1118 return;
1121 #ifdef md_flush_pending_output
1122 md_flush_pending_output ();
1123 #endif
1125 new_section = previous_section;
1126 new_subsection = previous_subsection;
1127 previous_section = now_seg;
1128 previous_subsection = now_subseg;
1129 subseg_set (new_section, new_subsection);
1131 #ifdef md_elf_section_change_hook
1132 md_elf_section_change_hook ();
1133 #endif
1136 static void
1137 obj_elf_popsection (int xxx ATTRIBUTE_UNUSED)
1139 struct section_stack *top = section_stack;
1141 if (top == NULL)
1143 as_warn (_(".popsection without corresponding .pushsection; ignored"));
1144 return;
1147 #ifdef md_flush_pending_output
1148 md_flush_pending_output ();
1149 #endif
1151 section_stack = top->next;
1152 previous_section = top->prev_seg;
1153 previous_subsection = top->prev_subseg;
1154 subseg_set (top->seg, top->subseg);
1155 free (top);
1157 #ifdef md_elf_section_change_hook
1158 md_elf_section_change_hook ();
1159 #endif
1162 static void
1163 obj_elf_line (int ignore ATTRIBUTE_UNUSED)
1165 /* Assume delimiter is part of expression. BSD4.2 as fails with
1166 delightful bug, so we are not being incompatible here. */
1167 new_logical_line (NULL, get_absolute_expression ());
1168 demand_empty_rest_of_line ();
1171 /* This handles the .symver pseudo-op, which is used to specify a
1172 symbol version. The syntax is ``.symver NAME,SYMVERNAME''.
1173 SYMVERNAME may contain ELF_VER_CHR ('@') characters. This
1174 pseudo-op causes the assembler to emit a symbol named SYMVERNAME
1175 with the same value as the symbol NAME. */
1177 static void
1178 obj_elf_symver (int ignore ATTRIBUTE_UNUSED)
1180 char *name;
1181 char c;
1182 char old_lexat;
1183 symbolS *sym;
1185 name = input_line_pointer;
1186 c = get_symbol_end ();
1188 sym = symbol_find_or_make (name);
1190 *input_line_pointer = c;
1192 SKIP_WHITESPACE ();
1193 if (*input_line_pointer != ',')
1195 as_bad (_("expected comma after name in .symver"));
1196 ignore_rest_of_line ();
1197 return;
1200 ++input_line_pointer;
1201 SKIP_WHITESPACE ();
1202 name = input_line_pointer;
1204 /* Temporarily include '@' in symbol names. */
1205 old_lexat = lex_type[(unsigned char) '@'];
1206 lex_type[(unsigned char) '@'] |= LEX_NAME;
1207 c = get_symbol_end ();
1208 lex_type[(unsigned char) '@'] = old_lexat;
1210 if (symbol_get_obj (sym)->versioned_name == NULL)
1212 symbol_get_obj (sym)->versioned_name = xstrdup (name);
1214 *input_line_pointer = c;
1216 if (strchr (symbol_get_obj (sym)->versioned_name,
1217 ELF_VER_CHR) == NULL)
1219 as_bad (_("missing version name in `%s' for symbol `%s'"),
1220 symbol_get_obj (sym)->versioned_name,
1221 S_GET_NAME (sym));
1222 ignore_rest_of_line ();
1223 return;
1226 else
1228 if (strcmp (symbol_get_obj (sym)->versioned_name, name))
1230 as_bad (_("multiple versions [`%s'|`%s'] for symbol `%s'"),
1231 name, symbol_get_obj (sym)->versioned_name,
1232 S_GET_NAME (sym));
1233 ignore_rest_of_line ();
1234 return;
1237 *input_line_pointer = c;
1240 demand_empty_rest_of_line ();
1243 /* This handles the .vtable_inherit pseudo-op, which is used to indicate
1244 to the linker the hierarchy in which a particular table resides. The
1245 syntax is ".vtable_inherit CHILDNAME, PARENTNAME". */
1247 struct fix *
1248 obj_elf_vtable_inherit (int ignore ATTRIBUTE_UNUSED)
1250 char *cname, *pname;
1251 symbolS *csym, *psym;
1252 char c, bad = 0;
1254 if (*input_line_pointer == '#')
1255 ++input_line_pointer;
1257 cname = input_line_pointer;
1258 c = get_symbol_end ();
1259 csym = symbol_find (cname);
1261 /* GCFIXME: should check that we don't have two .vtable_inherits for
1262 the same child symbol. Also, we can currently only do this if the
1263 child symbol is already exists and is placed in a fragment. */
1265 if (csym == NULL || symbol_get_frag (csym) == NULL)
1267 as_bad ("expected `%s' to have already been set for .vtable_inherit",
1268 cname);
1269 bad = 1;
1272 *input_line_pointer = c;
1274 SKIP_WHITESPACE ();
1275 if (*input_line_pointer != ',')
1277 as_bad ("expected comma after name in .vtable_inherit");
1278 ignore_rest_of_line ();
1279 return NULL;
1282 ++input_line_pointer;
1283 SKIP_WHITESPACE ();
1285 if (*input_line_pointer == '#')
1286 ++input_line_pointer;
1288 if (input_line_pointer[0] == '0'
1289 && (input_line_pointer[1] == '\0'
1290 || ISSPACE (input_line_pointer[1])))
1292 psym = section_symbol (absolute_section);
1293 ++input_line_pointer;
1295 else
1297 pname = input_line_pointer;
1298 c = get_symbol_end ();
1299 psym = symbol_find_or_make (pname);
1300 *input_line_pointer = c;
1303 demand_empty_rest_of_line ();
1305 if (bad)
1306 return NULL;
1308 assert (symbol_get_value_expression (csym)->X_op == O_constant);
1309 return fix_new (symbol_get_frag (csym),
1310 symbol_get_value_expression (csym)->X_add_number,
1311 0, psym, 0, 0, BFD_RELOC_VTABLE_INHERIT);
1314 /* This handles the .vtable_entry pseudo-op, which is used to indicate
1315 to the linker that a vtable slot was used. The syntax is
1316 ".vtable_entry tablename, offset". */
1318 struct fix *
1319 obj_elf_vtable_entry (int ignore ATTRIBUTE_UNUSED)
1321 char *name;
1322 symbolS *sym;
1323 offsetT offset;
1324 char c;
1326 if (*input_line_pointer == '#')
1327 ++input_line_pointer;
1329 name = input_line_pointer;
1330 c = get_symbol_end ();
1331 sym = symbol_find_or_make (name);
1332 *input_line_pointer = c;
1334 SKIP_WHITESPACE ();
1335 if (*input_line_pointer != ',')
1337 as_bad ("expected comma after name in .vtable_entry");
1338 ignore_rest_of_line ();
1339 return NULL;
1342 ++input_line_pointer;
1343 if (*input_line_pointer == '#')
1344 ++input_line_pointer;
1346 offset = get_absolute_expression ();
1348 demand_empty_rest_of_line ();
1350 return fix_new (frag_now, frag_now_fix (), 0, sym, offset, 0,
1351 BFD_RELOC_VTABLE_ENTRY);
1354 void
1355 elf_obj_read_begin_hook (void)
1357 #ifdef NEED_ECOFF_DEBUG
1358 if (ECOFF_DEBUGGING)
1359 ecoff_read_begin_hook ();
1360 #endif
1363 void
1364 elf_obj_symbol_new_hook (symbolS *symbolP)
1366 struct elf_obj_sy *sy_obj;
1368 sy_obj = symbol_get_obj (symbolP);
1369 sy_obj->size = NULL;
1370 sy_obj->versioned_name = NULL;
1372 #ifdef NEED_ECOFF_DEBUG
1373 if (ECOFF_DEBUGGING)
1374 ecoff_symbol_new_hook (symbolP);
1375 #endif
1378 /* When setting one symbol equal to another, by default we probably
1379 want them to have the same "size", whatever it means in the current
1380 context. */
1382 void
1383 elf_copy_symbol_attributes (symbolS *dest, symbolS *src)
1385 struct elf_obj_sy *srcelf = symbol_get_obj (src);
1386 struct elf_obj_sy *destelf = symbol_get_obj (dest);
1387 if (srcelf->size)
1389 if (destelf->size == NULL)
1390 destelf->size = xmalloc (sizeof (expressionS));
1391 *destelf->size = *srcelf->size;
1393 else
1395 if (destelf->size != NULL)
1396 free (destelf->size);
1397 destelf->size = NULL;
1399 S_SET_SIZE (dest, S_GET_SIZE (src));
1400 /* Don't copy visibility. */
1401 S_SET_OTHER (dest, (ELF_ST_VISIBILITY (S_GET_OTHER (dest))
1402 | (S_GET_OTHER (src) & ~ELF_ST_VISIBILITY (-1))));
1405 void
1406 obj_elf_version (int ignore ATTRIBUTE_UNUSED)
1408 char *name;
1409 unsigned int c;
1410 char *p;
1411 asection *seg = now_seg;
1412 subsegT subseg = now_subseg;
1413 Elf_Internal_Note i_note;
1414 Elf_External_Note e_note;
1415 asection *note_secp = NULL;
1416 int len;
1418 SKIP_WHITESPACE ();
1419 if (*input_line_pointer == '\"')
1421 ++input_line_pointer; /* -> 1st char of string. */
1422 name = input_line_pointer;
1424 while (is_a_char (c = next_char_of_string ()))
1426 c = *input_line_pointer;
1427 *input_line_pointer = '\0';
1428 *(input_line_pointer - 1) = '\0';
1429 *input_line_pointer = c;
1431 /* create the .note section */
1433 note_secp = subseg_new (".note", 0);
1434 bfd_set_section_flags (stdoutput,
1435 note_secp,
1436 SEC_HAS_CONTENTS | SEC_READONLY);
1438 /* process the version string */
1440 len = strlen (name);
1442 i_note.namesz = ((len + 1) + 3) & ~3; /* round this to word boundary */
1443 i_note.descsz = 0; /* no description */
1444 i_note.type = NT_VERSION;
1445 p = frag_more (sizeof (e_note.namesz));
1446 md_number_to_chars (p, i_note.namesz, sizeof (e_note.namesz));
1447 p = frag_more (sizeof (e_note.descsz));
1448 md_number_to_chars (p, i_note.descsz, sizeof (e_note.descsz));
1449 p = frag_more (sizeof (e_note.type));
1450 md_number_to_chars (p, i_note.type, sizeof (e_note.type));
1451 p = frag_more (len + 1);
1452 strcpy (p, name);
1454 frag_align (2, 0, 0);
1456 subseg_set (seg, subseg);
1458 else
1460 as_bad (_("expected quoted string"));
1462 demand_empty_rest_of_line ();
1465 static void
1466 obj_elf_size (int ignore ATTRIBUTE_UNUSED)
1468 char *name = input_line_pointer;
1469 char c = get_symbol_end ();
1470 char *p;
1471 expressionS exp;
1472 symbolS *sym;
1474 p = input_line_pointer;
1475 *p = c;
1476 SKIP_WHITESPACE ();
1477 if (*input_line_pointer != ',')
1479 *p = 0;
1480 as_bad (_("expected comma after name `%s' in .size directive"), name);
1481 *p = c;
1482 ignore_rest_of_line ();
1483 return;
1485 input_line_pointer++;
1486 expression (&exp);
1487 if (exp.X_op == O_absent)
1489 as_bad (_("missing expression in .size directive"));
1490 exp.X_op = O_constant;
1491 exp.X_add_number = 0;
1493 *p = 0;
1494 sym = symbol_find_or_make (name);
1495 *p = c;
1496 if (exp.X_op == O_constant)
1498 S_SET_SIZE (sym, exp.X_add_number);
1499 if (symbol_get_obj (sym)->size)
1501 xfree (symbol_get_obj (sym)->size);
1502 symbol_get_obj (sym)->size = NULL;
1505 else
1507 symbol_get_obj (sym)->size = xmalloc (sizeof (expressionS));
1508 *symbol_get_obj (sym)->size = exp;
1510 demand_empty_rest_of_line ();
1513 /* Handle the ELF .type pseudo-op. This sets the type of a symbol.
1514 There are five syntaxes:
1516 The first (used on Solaris) is
1517 .type SYM,#function
1518 The second (used on UnixWare) is
1519 .type SYM,@function
1520 The third (reportedly to be used on Irix 6.0) is
1521 .type SYM STT_FUNC
1522 The fourth (used on NetBSD/Arm and Linux/ARM) is
1523 .type SYM,%function
1524 The fifth (used on SVR4/860) is
1525 .type SYM,"function"
1528 static void
1529 obj_elf_type (int ignore ATTRIBUTE_UNUSED)
1531 char *name;
1532 char c;
1533 int type;
1534 const char *typename;
1535 symbolS *sym;
1536 elf_symbol_type *elfsym;
1538 name = input_line_pointer;
1539 c = get_symbol_end ();
1540 sym = symbol_find_or_make (name);
1541 elfsym = (elf_symbol_type *) symbol_get_bfdsym (sym);
1542 *input_line_pointer = c;
1544 SKIP_WHITESPACE ();
1545 if (*input_line_pointer == ',')
1546 ++input_line_pointer;
1548 SKIP_WHITESPACE ();
1549 if ( *input_line_pointer == '#'
1550 || *input_line_pointer == '@'
1551 || *input_line_pointer == '"'
1552 || *input_line_pointer == '%')
1553 ++input_line_pointer;
1555 typename = input_line_pointer;
1556 c = get_symbol_end ();
1558 type = 0;
1559 if (strcmp (typename, "function") == 0
1560 || strcmp (typename, "STT_FUNC") == 0)
1561 type = BSF_FUNCTION;
1562 else if (strcmp (typename, "object") == 0
1563 || strcmp (typename, "STT_OBJECT") == 0)
1564 type = BSF_OBJECT;
1565 else if (strcmp (typename, "tls_object") == 0
1566 || strcmp (typename, "STT_TLS") == 0)
1567 type = BSF_OBJECT | BSF_THREAD_LOCAL;
1568 else if (strcmp (typename, "notype") == 0
1569 || strcmp (typename, "STT_NOTYPE") == 0)
1571 #ifdef md_elf_symbol_type
1572 else if ((type = md_elf_symbol_type (typename, sym, elfsym)) != -1)
1574 #endif
1575 else
1576 as_bad (_("unrecognized symbol type \"%s\""), typename);
1578 *input_line_pointer = c;
1580 if (*input_line_pointer == '"')
1581 ++input_line_pointer;
1583 elfsym->symbol.flags |= type;
1585 demand_empty_rest_of_line ();
1588 static void
1589 obj_elf_ident (int ignore ATTRIBUTE_UNUSED)
1591 static segT comment_section;
1592 segT old_section = now_seg;
1593 int old_subsection = now_subseg;
1595 #ifdef md_flush_pending_output
1596 md_flush_pending_output ();
1597 #endif
1599 if (!comment_section)
1601 char *p;
1602 comment_section = subseg_new (".comment", 0);
1603 bfd_set_section_flags (stdoutput, comment_section,
1604 SEC_READONLY | SEC_HAS_CONTENTS);
1605 p = frag_more (1);
1606 *p = 0;
1608 else
1609 subseg_set (comment_section, 0);
1610 stringer (1);
1611 subseg_set (old_section, old_subsection);
1614 #ifdef INIT_STAB_SECTION
1616 /* The first entry in a .stabs section is special. */
1618 void
1619 obj_elf_init_stab_section (segT seg)
1621 char *file;
1622 char *p;
1623 char *stabstr_name;
1624 unsigned int stroff;
1626 /* Force the section to align to a longword boundary. Without this,
1627 UnixWare ar crashes. */
1628 bfd_set_section_alignment (stdoutput, seg, 2);
1630 /* Make space for this first symbol. */
1631 p = frag_more (12);
1632 /* Zero it out. */
1633 memset (p, 0, 12);
1634 as_where (&file, NULL);
1635 stabstr_name = xmalloc (strlen (segment_name (seg)) + 4);
1636 strcpy (stabstr_name, segment_name (seg));
1637 strcat (stabstr_name, "str");
1638 stroff = get_stab_string_offset (file, stabstr_name);
1639 know (stroff == 1);
1640 md_number_to_chars (p, stroff, 4);
1641 seg_info (seg)->stabu.p = p;
1644 #endif
1646 /* Fill in the counts in the first entry in a .stabs section. */
1648 static void
1649 adjust_stab_sections (bfd *abfd, asection *sec, void *xxx ATTRIBUTE_UNUSED)
1651 char *name;
1652 asection *strsec;
1653 char *p;
1654 int strsz, nsyms;
1656 if (strncmp (".stab", sec->name, 5))
1657 return;
1658 if (!strcmp ("str", sec->name + strlen (sec->name) - 3))
1659 return;
1661 name = alloca (strlen (sec->name) + 4);
1662 strcpy (name, sec->name);
1663 strcat (name, "str");
1664 strsec = bfd_get_section_by_name (abfd, name);
1665 if (strsec)
1666 strsz = bfd_section_size (abfd, strsec);
1667 else
1668 strsz = 0;
1669 nsyms = bfd_section_size (abfd, sec) / 12 - 1;
1671 p = seg_info (sec)->stabu.p;
1672 assert (p != 0);
1674 bfd_h_put_16 (abfd, nsyms, p + 6);
1675 bfd_h_put_32 (abfd, strsz, p + 8);
1678 #ifdef NEED_ECOFF_DEBUG
1680 /* This function is called by the ECOFF code. It is supposed to
1681 record the external symbol information so that the backend can
1682 write it out correctly. The ELF backend doesn't actually handle
1683 this at the moment, so we do it ourselves. We save the information
1684 in the symbol. */
1686 void
1687 elf_ecoff_set_ext (symbolS *sym, struct ecoff_extr *ext)
1689 symbol_get_bfdsym (sym)->udata.p = ext;
1692 /* This function is called by bfd_ecoff_debug_externals. It is
1693 supposed to *EXT to the external symbol information, and return
1694 whether the symbol should be used at all. */
1696 static bfd_boolean
1697 elf_get_extr (asymbol *sym, EXTR *ext)
1699 if (sym->udata.p == NULL)
1700 return FALSE;
1701 *ext = *(EXTR *) sym->udata.p;
1702 return TRUE;
1705 /* This function is called by bfd_ecoff_debug_externals. It has
1706 nothing to do for ELF. */
1708 static void
1709 elf_set_index (asymbol *sym ATTRIBUTE_UNUSED,
1710 bfd_size_type indx ATTRIBUTE_UNUSED)
1714 #endif /* NEED_ECOFF_DEBUG */
1716 void
1717 elf_frob_symbol (symbolS *symp, int *puntp)
1719 struct elf_obj_sy *sy_obj;
1721 #ifdef NEED_ECOFF_DEBUG
1722 if (ECOFF_DEBUGGING)
1723 ecoff_frob_symbol (symp);
1724 #endif
1726 sy_obj = symbol_get_obj (symp);
1728 if (sy_obj->size != NULL)
1730 switch (sy_obj->size->X_op)
1732 case O_subtract:
1733 S_SET_SIZE (symp,
1734 (S_GET_VALUE (sy_obj->size->X_add_symbol)
1735 + sy_obj->size->X_add_number
1736 - S_GET_VALUE (sy_obj->size->X_op_symbol)));
1737 break;
1738 case O_constant:
1739 S_SET_SIZE (symp,
1740 (S_GET_VALUE (sy_obj->size->X_add_symbol)
1741 + sy_obj->size->X_add_number));
1742 break;
1743 default:
1744 as_bad (_(".size expression too complicated to fix up"));
1745 break;
1747 free (sy_obj->size);
1748 sy_obj->size = NULL;
1751 if (sy_obj->versioned_name != NULL)
1753 char *p;
1755 p = strchr (sy_obj->versioned_name, ELF_VER_CHR);
1756 know (p != NULL);
1758 /* This symbol was given a new name with the .symver directive.
1760 If this is an external reference, just rename the symbol to
1761 include the version string. This will make the relocs be
1762 against the correct versioned symbol.
1764 If this is a definition, add an alias. FIXME: Using an alias
1765 will permit the debugging information to refer to the right
1766 symbol. However, it's not clear whether it is the best
1767 approach. */
1769 if (! S_IS_DEFINED (symp))
1771 /* Verify that the name isn't using the @@ syntax--this is
1772 reserved for definitions of the default version to link
1773 against. */
1774 if (p[1] == ELF_VER_CHR)
1776 as_bad (_("invalid attempt to declare external version name as default in symbol `%s'"),
1777 sy_obj->versioned_name);
1778 *puntp = TRUE;
1780 S_SET_NAME (symp, sy_obj->versioned_name);
1782 else
1784 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
1786 size_t l;
1788 /* The @@@ syntax is a special case. It renames the
1789 symbol name to versioned_name with one `@' removed. */
1790 l = strlen (&p[3]) + 1;
1791 memmove (&p[2], &p[3], l);
1792 S_SET_NAME (symp, sy_obj->versioned_name);
1794 else
1796 symbolS *symp2;
1798 /* FIXME: Creating a new symbol here is risky. We're
1799 in the final loop over the symbol table. We can
1800 get away with it only because the symbol goes to
1801 the end of the list, where the loop will still see
1802 it. It would probably be better to do this in
1803 obj_frob_file_before_adjust. */
1805 symp2 = symbol_find_or_make (sy_obj->versioned_name);
1807 /* Now we act as though we saw symp2 = sym. */
1809 S_SET_SEGMENT (symp2, S_GET_SEGMENT (symp));
1811 /* Subtracting out the frag address here is a hack
1812 because we are in the middle of the final loop. */
1813 S_SET_VALUE (symp2,
1814 (S_GET_VALUE (symp)
1815 - symbol_get_frag (symp)->fr_address));
1817 symbol_set_frag (symp2, symbol_get_frag (symp));
1819 /* This will copy over the size information. */
1820 copy_symbol_attributes (symp2, symp);
1822 S_SET_OTHER (symp2, S_GET_OTHER (symp));
1824 if (S_IS_WEAK (symp))
1825 S_SET_WEAK (symp2);
1827 if (S_IS_EXTERNAL (symp))
1828 S_SET_EXTERNAL (symp2);
1833 /* Double check weak symbols. */
1834 if (S_IS_WEAK (symp))
1836 if (S_IS_COMMON (symp))
1837 as_bad (_("symbol `%s' can not be both weak and common"),
1838 S_GET_NAME (symp));
1841 #ifdef TC_MIPS
1842 /* The Irix 5 and 6 assemblers set the type of any common symbol and
1843 any undefined non-function symbol to STT_OBJECT. We try to be
1844 compatible, since newer Irix 5 and 6 linkers care. However, we
1845 only set undefined symbols to be STT_OBJECT if we are on Irix,
1846 because that is the only time gcc will generate the necessary
1847 .global directives to mark functions. */
1849 if (S_IS_COMMON (symp))
1850 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
1852 if (strstr (TARGET_OS, "irix") != NULL
1853 && ! S_IS_DEFINED (symp)
1854 && (symbol_get_bfdsym (symp)->flags & BSF_FUNCTION) == 0)
1855 symbol_get_bfdsym (symp)->flags |= BSF_OBJECT;
1856 #endif
1859 struct group_list
1861 asection **head; /* Section lists. */
1862 unsigned int *elt_count; /* Number of sections in each list. */
1863 unsigned int num_group; /* Number of lists. */
1866 /* Called via bfd_map_over_sections. If SEC is a member of a group,
1867 add it to a list of sections belonging to the group. INF is a
1868 pointer to a struct group_list, which is where we store the head of
1869 each list. */
1871 static void
1872 build_group_lists (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *inf)
1874 struct group_list *list = inf;
1875 const char *group_name = elf_group_name (sec);
1876 unsigned int i;
1878 if (group_name == NULL)
1879 return;
1881 /* If this group already has a list, add the section to the head of
1882 the list. */
1883 for (i = 0; i < list->num_group; i++)
1885 if (strcmp (group_name, elf_group_name (list->head[i])) == 0)
1887 elf_next_in_group (sec) = list->head[i];
1888 list->head[i] = sec;
1889 list->elt_count[i] += 1;
1890 return;
1894 /* New group. Make the arrays bigger in chunks to minimize calls to
1895 realloc. */
1896 i = list->num_group;
1897 if ((i & 127) == 0)
1899 unsigned int newsize = i + 128;
1900 list->head = xrealloc (list->head, newsize * sizeof (*list->head));
1901 list->elt_count = xrealloc (list->elt_count,
1902 newsize * sizeof (*list->elt_count));
1904 list->head[i] = sec;
1905 list->elt_count[i] = 1;
1906 list->num_group += 1;
1909 void
1910 elf_frob_file (void)
1912 struct group_list list;
1913 unsigned int i;
1915 bfd_map_over_sections (stdoutput, adjust_stab_sections, NULL);
1917 /* Go find section groups. */
1918 list.num_group = 0;
1919 list.head = NULL;
1920 list.elt_count = NULL;
1921 bfd_map_over_sections (stdoutput, build_group_lists, &list);
1923 /* Make the SHT_GROUP sections that describe each section group. We
1924 can't set up the section contents here yet, because elf section
1925 indices have yet to be calculated. elf.c:set_group_contents does
1926 the rest of the work. */
1927 for (i = 0; i < list.num_group; i++)
1929 const char *group_name = elf_group_name (list.head[i]);
1930 const char *sec_name;
1931 asection *s;
1932 flagword flags;
1933 struct symbol *sy;
1934 int has_sym;
1935 bfd_size_type size;
1937 flags = SEC_READONLY | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_GROUP;
1938 for (s = list.head[i]; s != NULL; s = elf_next_in_group (s))
1939 if ((s->flags ^ flags) & SEC_LINK_ONCE)
1941 flags |= SEC_LINK_ONCE | SEC_LINK_DUPLICATES_DISCARD;
1942 if (s != list.head[i])
1944 as_warn (_("assuming all members of group `%s' are COMDAT"),
1945 group_name);
1946 break;
1950 sec_name = group_name;
1951 sy = symbol_find_exact (group_name);
1952 has_sym = 0;
1953 if (sy != NULL
1954 && (sy == symbol_lastP
1955 || (sy->sy_next != NULL
1956 && sy->sy_next->sy_previous == sy)))
1958 has_sym = 1;
1959 sec_name = ".group";
1961 s = subseg_force_new (sec_name, 0);
1962 if (s == NULL
1963 || !bfd_set_section_flags (stdoutput, s, flags)
1964 || !bfd_set_section_alignment (stdoutput, s, 2))
1966 as_fatal (_("can't create group: %s"),
1967 bfd_errmsg (bfd_get_error ()));
1969 elf_section_type (s) = SHT_GROUP;
1971 /* Pass a pointer to the first section in this group. */
1972 elf_next_in_group (s) = list.head[i];
1973 if (has_sym)
1974 elf_group_id (s) = sy->bsym;
1976 size = 4 * (list.elt_count[i] + 1);
1977 bfd_set_section_size (stdoutput, s, size);
1978 s->contents = (unsigned char *) frag_more (size);
1979 frag_now->fr_fix = frag_now_fix_octets ();
1982 #ifdef elf_tc_final_processing
1983 elf_tc_final_processing ();
1984 #endif
1987 /* It removes any unneeded versioned symbols from the symbol table. */
1989 void
1990 elf_frob_file_before_adjust (void)
1992 if (symbol_rootP)
1994 symbolS *symp;
1996 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1997 if (!S_IS_DEFINED (symp))
1999 if (symbol_get_obj (symp)->versioned_name)
2001 char *p;
2003 /* The @@@ syntax is a special case. If the symbol is
2004 not defined, 2 `@'s will be removed from the
2005 versioned_name. */
2007 p = strchr (symbol_get_obj (symp)->versioned_name,
2008 ELF_VER_CHR);
2009 know (p != NULL);
2010 if (p[1] == ELF_VER_CHR && p[2] == ELF_VER_CHR)
2012 size_t l = strlen (&p[3]) + 1;
2013 memmove (&p[1], &p[3], l);
2015 if (symbol_used_p (symp) == 0
2016 && symbol_used_in_reloc_p (symp) == 0)
2017 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2020 /* If there was .weak foo, but foo was neither defined nor
2021 used anywhere, remove it. */
2023 else if (S_IS_WEAK (symp)
2024 && symbol_used_p (symp) == 0
2025 && symbol_used_in_reloc_p (symp) == 0)
2026 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2031 /* It is required that we let write_relocs have the opportunity to
2032 optimize away fixups before output has begun, since it is possible
2033 to eliminate all fixups for a section and thus we never should
2034 have generated the relocation section. */
2036 void
2037 elf_frob_file_after_relocs (void)
2039 #ifdef NEED_ECOFF_DEBUG
2040 if (ECOFF_DEBUGGING)
2041 /* Generate the ECOFF debugging information. */
2043 const struct ecoff_debug_swap *debug_swap;
2044 struct ecoff_debug_info debug;
2045 char *buf;
2046 asection *sec;
2048 debug_swap
2049 = get_elf_backend_data (stdoutput)->elf_backend_ecoff_debug_swap;
2050 know (debug_swap != NULL);
2051 ecoff_build_debug (&debug.symbolic_header, &buf, debug_swap);
2053 /* Set up the pointers in debug. */
2054 #define SET(ptr, offset, type) \
2055 debug.ptr = (type) (buf + debug.symbolic_header.offset)
2057 SET (line, cbLineOffset, unsigned char *);
2058 SET (external_dnr, cbDnOffset, void *);
2059 SET (external_pdr, cbPdOffset, void *);
2060 SET (external_sym, cbSymOffset, void *);
2061 SET (external_opt, cbOptOffset, void *);
2062 SET (external_aux, cbAuxOffset, union aux_ext *);
2063 SET (ss, cbSsOffset, char *);
2064 SET (external_fdr, cbFdOffset, void *);
2065 SET (external_rfd, cbRfdOffset, void *);
2066 /* ssext and external_ext are set up just below. */
2068 #undef SET
2070 /* Set up the external symbols. */
2071 debug.ssext = debug.ssext_end = NULL;
2072 debug.external_ext = debug.external_ext_end = NULL;
2073 if (! bfd_ecoff_debug_externals (stdoutput, &debug, debug_swap, TRUE,
2074 elf_get_extr, elf_set_index))
2075 as_fatal (_("failed to set up debugging information: %s"),
2076 bfd_errmsg (bfd_get_error ()));
2078 sec = bfd_get_section_by_name (stdoutput, ".mdebug");
2079 assert (sec != NULL);
2081 know (!stdoutput->output_has_begun);
2083 /* We set the size of the section, call bfd_set_section_contents
2084 to force the ELF backend to allocate a file position, and then
2085 write out the data. FIXME: Is this really the best way to do
2086 this? */
2087 bfd_set_section_size
2088 (stdoutput, sec, bfd_ecoff_debug_size (stdoutput, &debug, debug_swap));
2090 /* Pass BUF to bfd_set_section_contents because this will
2091 eventually become a call to fwrite, and ISO C prohibits
2092 passing a NULL pointer to a stdio function even if the
2093 pointer will not be used. */
2094 if (! bfd_set_section_contents (stdoutput, sec, buf, 0, 0))
2095 as_fatal (_("can't start writing .mdebug section: %s"),
2096 bfd_errmsg (bfd_get_error ()));
2098 know (stdoutput->output_has_begun);
2099 know (sec->filepos != 0);
2101 if (! bfd_ecoff_write_debug (stdoutput, &debug, debug_swap,
2102 sec->filepos))
2103 as_fatal (_("could not write .mdebug section: %s"),
2104 bfd_errmsg (bfd_get_error ()));
2106 #endif /* NEED_ECOFF_DEBUG */
2109 #ifdef SCO_ELF
2111 /* Heavily plagiarized from obj_elf_version. The idea is to emit the
2112 SCO specific identifier in the .notes section to satisfy the SCO
2113 linker.
2115 This looks more complicated than it really is. As opposed to the
2116 "obvious" solution, this should handle the cross dev cases
2117 correctly. (i.e, hosting on a 64 bit big endian processor, but
2118 generating SCO Elf code) Efficiency isn't a concern, as there
2119 should be exactly one of these sections per object module.
2121 SCO OpenServer 5 identifies it's ELF modules with a standard ELF
2122 .note section.
2124 int_32 namesz = 4 ; Name size
2125 int_32 descsz = 12 ; Descriptive information
2126 int_32 type = 1 ;
2127 char name[4] = "SCO" ; Originator name ALWAYS SCO + NULL
2128 int_32 version = (major ver # << 16) | version of tools ;
2129 int_32 source = (tool_id << 16 ) | 1 ;
2130 int_32 info = 0 ; These are set by the SCO tools, but we
2131 don't know enough about the source
2132 environment to set them. SCO ld currently
2133 ignores them, and recommends we set them
2134 to zero. */
2136 #define SCO_MAJOR_VERSION 0x1
2137 #define SCO_MINOR_VERSION 0x1
2139 void
2140 sco_id (void)
2143 char *name;
2144 unsigned int c;
2145 char ch;
2146 char *p;
2147 asection *seg = now_seg;
2148 subsegT subseg = now_subseg;
2149 Elf_Internal_Note i_note;
2150 Elf_External_Note e_note;
2151 asection *note_secp = NULL;
2152 int i, len;
2154 /* create the .note section */
2156 note_secp = subseg_new (".note", 0);
2157 bfd_set_section_flags (stdoutput,
2158 note_secp,
2159 SEC_HAS_CONTENTS | SEC_READONLY);
2161 /* process the version string */
2163 i_note.namesz = 4;
2164 i_note.descsz = 12; /* 12 descriptive bytes */
2165 i_note.type = NT_VERSION; /* Contains a version string */
2167 p = frag_more (sizeof (i_note.namesz));
2168 md_number_to_chars (p, i_note.namesz, 4);
2170 p = frag_more (sizeof (i_note.descsz));
2171 md_number_to_chars (p, i_note.descsz, 4);
2173 p = frag_more (sizeof (i_note.type));
2174 md_number_to_chars (p, i_note.type, 4);
2176 p = frag_more (4);
2177 strcpy (p, "SCO");
2179 /* Note: this is the version number of the ELF we're representing */
2180 p = frag_more (4);
2181 md_number_to_chars (p, (SCO_MAJOR_VERSION << 16) | (SCO_MINOR_VERSION), 4);
2183 /* Here, we pick a magic number for ourselves (yes, I "registered"
2184 it with SCO. The bottom bit shows that we are compat with the
2185 SCO ABI. */
2186 p = frag_more (4);
2187 md_number_to_chars (p, 0x4c520000 | 0x0001, 4);
2189 /* If we knew (or cared) what the source language options were, we'd
2190 fill them in here. SCO has given us permission to ignore these
2191 and just set them to zero. */
2192 p = frag_more (4);
2193 md_number_to_chars (p, 0x0000, 4);
2195 frag_align (2, 0, 0);
2197 /* We probably can't restore the current segment, for there likely
2198 isn't one yet... */
2199 if (seg && subseg)
2200 subseg_set (seg, subseg);
2204 #endif /* SCO_ELF */
2206 static int
2207 elf_separate_stab_sections (void)
2209 #ifdef NEED_ECOFF_DEBUG
2210 return (!ECOFF_DEBUGGING);
2211 #else
2212 return 1;
2213 #endif
2216 static void
2217 elf_init_stab_section (segT seg)
2219 #ifdef NEED_ECOFF_DEBUG
2220 if (!ECOFF_DEBUGGING)
2221 #endif
2222 obj_elf_init_stab_section (seg);
2225 const struct format_ops elf_format_ops =
2227 bfd_target_elf_flavour,
2228 0, /* dfl_leading_underscore */
2229 1, /* emit_section_symbols */
2230 elf_begin,
2231 elf_file_symbol,
2232 elf_frob_symbol,
2233 elf_frob_file,
2234 elf_frob_file_before_adjust,
2235 0, /* obj_frob_file_before_fix */
2236 elf_frob_file_after_relocs,
2237 elf_s_get_size, elf_s_set_size,
2238 elf_s_get_align, elf_s_set_align,
2239 elf_s_get_other,
2240 elf_s_set_other,
2241 0, /* s_get_desc */
2242 0, /* s_set_desc */
2243 0, /* s_get_type */
2244 0, /* s_set_type */
2245 elf_copy_symbol_attributes,
2246 #ifdef NEED_ECOFF_DEBUG
2247 ecoff_generate_asm_lineno,
2248 ecoff_stab,
2249 #else
2250 0, /* generate_asm_lineno */
2251 0, /* process_stab */
2252 #endif
2253 elf_separate_stab_sections,
2254 elf_init_stab_section,
2255 elf_sec_sym_ok_for_reloc,
2256 elf_pop_insert,
2257 #ifdef NEED_ECOFF_DEBUG
2258 elf_ecoff_set_ext,
2259 #else
2260 0, /* ecoff_set_ext */
2261 #endif
2262 elf_obj_read_begin_hook,
2263 elf_obj_symbol_new_hook