1 /* symbols.c -symbol table-
2 Copyright 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004
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 published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 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, 59 Temple Place - Suite 330, Boston, MA
23 /* #define DEBUG_SYMS / * to debug symbol list maintenance. */
27 #include "safe-ctype.h"
28 #include "obstack.h" /* For "symbols.h" */
31 #include "struc-symbol.h"
33 /* This is non-zero if symbols are case sensitive, which is the
35 int symbols_case_sensitive
= 1;
37 #ifndef WORKING_DOT_WORD
38 extern int new_broken_words
;
41 /* symbol-name => struct symbol pointer */
42 static struct hash_control
*sy_hash
;
44 /* Table of local symbols. */
45 static struct hash_control
*local_hash
;
47 /* Below are commented in "symbols.h". */
48 symbolS
*symbol_rootP
;
49 symbolS
*symbol_lastP
;
53 #define debug_verify_symchain verify_symbol_chain
55 #define debug_verify_symchain(root, last) ((void) 0)
58 #define DOLLAR_LABEL_CHAR '\001'
59 #define LOCAL_LABEL_CHAR '\002'
63 static char *save_symbol_name (const char *);
64 static void fb_label_init (void);
65 static long dollar_label_instance (long);
66 static long fb_label_instance (long);
68 static void print_binary (FILE *, const char *, expressionS
*);
69 static void report_op_error (symbolS
*, symbolS
*, symbolS
*);
71 /* Return a pointer to a new symbol. Die if we can't make a new
72 symbol. Fill in the symbol's values. Add symbol to end of symbol
75 This function should be called in the general case of creating a
76 symbol. However, if the output file symbol table has already been
77 set, and you are certain that this symbol won't be wanted in the
78 output file, you can call symbol_create. */
81 symbol_new (const char *name
, segT segment
, valueT valu
, fragS
*frag
)
83 symbolS
*symbolP
= symbol_create (name
, segment
, valu
, frag
);
85 /* Link to end of symbol chain. */
88 extern int symbol_table_frozen
;
89 if (symbol_table_frozen
)
93 symbol_append (symbolP
, symbol_lastP
, &symbol_rootP
, &symbol_lastP
);
98 /* Save a symbol name on a permanent obstack, and convert it according
99 to the object file format. */
102 save_symbol_name (const char *name
)
104 unsigned int name_length
;
107 name_length
= strlen (name
) + 1; /* +1 for \0. */
108 obstack_grow (¬es
, name
, name_length
);
109 ret
= obstack_finish (¬es
);
111 #ifdef STRIP_UNDERSCORE
116 #ifdef tc_canonicalize_symbol_name
117 ret
= tc_canonicalize_symbol_name (ret
);
120 if (! symbols_case_sensitive
)
124 for (s
= ret
; *s
!= '\0'; s
++)
132 symbol_create (const char *name
, /* It is copied, the caller can destroy/modify. */
133 segT segment
, /* Segment identifier (SEG_<something>). */
134 valueT valu
, /* Symbol value. */
135 fragS
*frag
/* Associated fragment. */)
137 char *preserved_copy_of_name
;
140 preserved_copy_of_name
= save_symbol_name (name
);
142 symbolP
= (symbolS
*) obstack_alloc (¬es
, sizeof (symbolS
));
144 /* symbol must be born in some fixed state. This seems as good as any. */
145 memset (symbolP
, 0, sizeof (symbolS
));
148 symbolP
->bsym
= bfd_make_empty_symbol (stdoutput
);
149 if (symbolP
->bsym
== NULL
)
150 as_perror ("%s", "bfd_make_empty_symbol");
151 symbolP
->bsym
->udata
.p
= (PTR
) symbolP
;
153 S_SET_NAME (symbolP
, preserved_copy_of_name
);
155 S_SET_SEGMENT (symbolP
, segment
);
156 S_SET_VALUE (symbolP
, valu
);
157 symbol_clear_list_pointers (symbolP
);
159 symbolP
->sy_frag
= frag
;
160 #ifndef BFD_ASSEMBLER
161 symbolP
->sy_number
= ~0;
162 symbolP
->sy_name_offset
= (unsigned int) ~0;
165 obj_symbol_new_hook (symbolP
);
167 #ifdef tc_symbol_new_hook
168 tc_symbol_new_hook (symbolP
);
176 /* Local symbol support. If we can get away with it, we keep only a
177 small amount of information for local symbols. */
179 static symbolS
*local_symbol_convert (struct local_symbol
*);
181 /* Used for statistics. */
183 static unsigned long local_symbol_count
;
184 static unsigned long local_symbol_conversion_count
;
186 /* This macro is called with a symbol argument passed by reference.
187 It returns whether this is a local symbol. If necessary, it
188 changes its argument to the real symbol. */
190 #define LOCAL_SYMBOL_CHECK(s) \
192 ? (local_symbol_converted_p ((struct local_symbol *) s) \
193 ? (s = local_symbol_get_real_symbol ((struct local_symbol *) s), \
198 /* Create a local symbol and insert it into the local hash table. */
200 struct local_symbol
*
201 local_symbol_make (const char *name
, segT section
, valueT value
, fragS
*frag
)
204 struct local_symbol
*ret
;
206 ++local_symbol_count
;
208 name_copy
= save_symbol_name (name
);
210 ret
= (struct local_symbol
*) obstack_alloc (¬es
, sizeof *ret
);
211 ret
->lsy_marker
= NULL
;
212 ret
->lsy_name
= name_copy
;
213 ret
->lsy_section
= section
;
214 local_symbol_set_frag (ret
, frag
);
215 ret
->lsy_value
= value
;
217 hash_jam (local_hash
, name_copy
, (PTR
) ret
);
222 /* Convert a local symbol into a real symbol. Note that we do not
223 reclaim the space used by the local symbol. */
226 local_symbol_convert (struct local_symbol
*locsym
)
230 assert (locsym
->lsy_marker
== NULL
);
231 if (local_symbol_converted_p (locsym
))
232 return local_symbol_get_real_symbol (locsym
);
234 ++local_symbol_conversion_count
;
236 ret
= symbol_new (locsym
->lsy_name
, locsym
->lsy_section
, locsym
->lsy_value
,
237 local_symbol_get_frag (locsym
));
239 if (local_symbol_resolved_p (locsym
))
240 ret
->sy_resolved
= 1;
242 /* Local symbols are always either defined or used. */
245 #ifdef TC_LOCAL_SYMFIELD_CONVERT
246 TC_LOCAL_SYMFIELD_CONVERT (locsym
, ret
);
249 symbol_table_insert (ret
);
251 local_symbol_mark_converted (locsym
);
252 local_symbol_set_real_symbol (locsym
, ret
);
254 hash_jam (local_hash
, locsym
->lsy_name
, NULL
);
259 #else /* ! BFD_ASSEMBLER */
261 #define LOCAL_SYMBOL_CHECK(s) 0
262 #define local_symbol_convert(s) ((symbolS *) s)
264 #endif /* ! BFD_ASSEMBLER */
266 /* We have just seen "<name>:".
267 Creates a struct symbol unless it already exists.
269 Gripes if we are redefining a symbol incompatibly (and ignores it). */
272 colon (/* Just seen "x:" - rattle symbols & frags. */
273 const char *sym_name
/* Symbol name, as a cannonical string. */
274 /* We copy this string: OK to alter later. */)
276 register symbolS
*symbolP
; /* Symbol we are working with. */
278 /* Sun local labels go out of scope whenever a non-local symbol is
280 if (LOCAL_LABELS_DOLLAR
)
285 local
= bfd_is_local_label_name (stdoutput
, sym_name
);
287 local
= LOCAL_LABEL (sym_name
);
291 dollar_label_clear ();
294 #ifndef WORKING_DOT_WORD
295 if (new_broken_words
)
297 struct broken_word
*a
;
302 extern const int md_short_jump_size
;
303 extern const int md_long_jump_size
;
305 if (now_seg
== absolute_section
)
307 as_bad (_("cannot define symbol `%s' in absolute section"), sym_name
);
311 possible_bytes
= (md_short_jump_size
312 + new_broken_words
* md_long_jump_size
);
315 frag_opcode
= frag_var (rs_broken_word
,
319 (symbolS
*) broken_words
,
323 /* We want to store the pointer to where to insert the jump
324 table in the fr_opcode of the rs_broken_word frag. This
325 requires a little hackery. */
327 && (frag_tmp
->fr_type
!= rs_broken_word
328 || frag_tmp
->fr_opcode
))
329 frag_tmp
= frag_tmp
->fr_next
;
331 frag_tmp
->fr_opcode
= frag_opcode
;
332 new_broken_words
= 0;
334 for (a
= broken_words
; a
&& a
->dispfrag
== 0; a
= a
->next_broken_word
)
335 a
->dispfrag
= frag_tmp
;
337 #endif /* WORKING_DOT_WORD */
339 if ((symbolP
= symbol_find (sym_name
)) != 0)
341 #ifdef RESOLVE_SYMBOL_REDEFINITION
342 if (RESOLVE_SYMBOL_REDEFINITION (symbolP
))
345 /* Now check for undefined symbols. */
346 if (LOCAL_SYMBOL_CHECK (symbolP
))
349 struct local_symbol
*locsym
= (struct local_symbol
*) symbolP
;
351 if (locsym
->lsy_section
!= undefined_section
352 && (local_symbol_get_frag (locsym
) != frag_now
353 || locsym
->lsy_section
!= now_seg
354 || locsym
->lsy_value
!= frag_now_fix ()))
356 as_bad (_("symbol `%s' is already defined"), sym_name
);
360 locsym
->lsy_section
= now_seg
;
361 local_symbol_set_frag (locsym
, frag_now
);
362 locsym
->lsy_value
= frag_now_fix ();
365 else if (!S_IS_DEFINED (symbolP
) || S_IS_COMMON (symbolP
))
367 if (S_GET_VALUE (symbolP
) == 0)
369 symbolP
->sy_frag
= frag_now
;
371 S_SET_OTHER (symbolP
, const_flag
);
373 S_SET_VALUE (symbolP
, (valueT
) frag_now_fix ());
374 S_SET_SEGMENT (symbolP
, now_seg
);
377 #endif /* if we have one, it better be zero. */
382 /* There are still several cases to check:
384 A .comm/.lcomm symbol being redefined as initialized
387 A .comm/.lcomm symbol being redefined with a larger
390 This only used to be allowed on VMS gas, but Sun cc
391 on the sparc also depends on it. */
393 if (((!S_IS_DEBUG (symbolP
)
394 && (!S_IS_DEFINED (symbolP
) || S_IS_COMMON (symbolP
))
395 && S_IS_EXTERNAL (symbolP
))
396 || S_GET_SEGMENT (symbolP
) == bss_section
)
397 && (now_seg
== data_section
398 || now_seg
== S_GET_SEGMENT (symbolP
)))
400 /* Select which of the 2 cases this is. */
401 if (now_seg
!= data_section
)
403 /* New .comm for prev .comm symbol.
405 If the new size is larger we just change its
406 value. If the new size is smaller, we ignore
408 if (S_GET_VALUE (symbolP
)
409 < ((unsigned) frag_now_fix ()))
411 S_SET_VALUE (symbolP
, (valueT
) frag_now_fix ());
416 /* It is a .comm/.lcomm being converted to initialized
418 symbolP
->sy_frag
= frag_now
;
420 S_SET_OTHER (symbolP
, const_flag
);
422 S_SET_VALUE (symbolP
, (valueT
) frag_now_fix ());
423 S_SET_SEGMENT (symbolP
, now_seg
); /* Keep N_EXT bit. */
428 #if (!defined (OBJ_AOUT) && !defined (OBJ_MAYBE_AOUT) \
429 && !defined (OBJ_BOUT) && !defined (OBJ_MAYBE_BOUT))
430 static const char *od_buf
= "";
435 if (OUTPUT_FLAVOR
== bfd_target_aout_flavour
)
437 sprintf (od_buf
, "%d.%d.",
438 S_GET_OTHER (symbolP
),
439 S_GET_DESC (symbolP
));
441 as_bad (_("symbol `%s' is already defined as \"%s\"/%s%ld"),
443 segment_name (S_GET_SEGMENT (symbolP
)),
445 (long) S_GET_VALUE (symbolP
));
447 } /* if the undefined symbol has no value */
451 /* Don't blow up if the definition is the same. */
452 if (!(frag_now
== symbolP
->sy_frag
453 && S_GET_VALUE (symbolP
) == frag_now_fix ()
454 && S_GET_SEGMENT (symbolP
) == now_seg
))
455 as_bad (_("symbol `%s' is already defined"), sym_name
);
460 else if (! flag_keep_locals
&& bfd_is_local_label_name (stdoutput
, sym_name
))
462 symbolP
= (symbolS
*) local_symbol_make (sym_name
, now_seg
,
463 (valueT
) frag_now_fix (),
466 #endif /* BFD_ASSEMBLER */
469 symbolP
= symbol_new (sym_name
, now_seg
, (valueT
) frag_now_fix (),
472 S_SET_OTHER (symbolP
, const_flag
);
475 symbol_table_insert (symbolP
);
478 if (mri_common_symbol
!= NULL
)
480 /* This symbol is actually being defined within an MRI common
481 section. This requires special handling. */
482 if (LOCAL_SYMBOL_CHECK (symbolP
))
483 symbolP
= local_symbol_convert ((struct local_symbol
*) symbolP
);
484 symbolP
->sy_value
.X_op
= O_symbol
;
485 symbolP
->sy_value
.X_add_symbol
= mri_common_symbol
;
486 symbolP
->sy_value
.X_add_number
= S_GET_VALUE (mri_common_symbol
);
487 symbolP
->sy_frag
= &zero_address_frag
;
488 S_SET_SEGMENT (symbolP
, expr_section
);
489 symbolP
->sy_mri_common
= 1;
493 tc_frob_label (symbolP
);
495 #ifdef obj_frob_label
496 obj_frob_label (symbolP
);
502 /* Die if we can't insert the symbol. */
505 symbol_table_insert (symbolS
*symbolP
)
507 register const char *error_string
;
510 know (S_GET_NAME (symbolP
));
512 if (LOCAL_SYMBOL_CHECK (symbolP
))
514 error_string
= hash_jam (local_hash
, S_GET_NAME (symbolP
),
516 if (error_string
!= NULL
)
517 as_fatal (_("inserting \"%s\" into symbol table failed: %s"),
518 S_GET_NAME (symbolP
), error_string
);
522 if ((error_string
= hash_jam (sy_hash
, S_GET_NAME (symbolP
), (PTR
) symbolP
)))
524 as_fatal (_("inserting \"%s\" into symbol table failed: %s"),
525 S_GET_NAME (symbolP
), error_string
);
529 /* If a symbol name does not exist, create it as undefined, and insert
530 it into the symbol table. Return a pointer to it. */
533 symbol_find_or_make (const char *name
)
535 register symbolS
*symbolP
;
537 symbolP
= symbol_find (name
);
542 if (! flag_keep_locals
&& bfd_is_local_label_name (stdoutput
, name
))
544 symbolP
= md_undefined_symbol ((char *) name
);
548 symbolP
= (symbolS
*) local_symbol_make (name
, undefined_section
,
555 symbolP
= symbol_make (name
);
557 symbol_table_insert (symbolP
);
558 } /* if symbol wasn't found */
564 symbol_make (const char *name
)
568 /* Let the machine description default it, e.g. for register names. */
569 symbolP
= md_undefined_symbol ((char *) name
);
572 symbolP
= symbol_new (name
, undefined_section
, (valueT
) 0, &zero_address_frag
);
578 symbol_temp_new (segT seg
, valueT ofs
, fragS
*frag
)
580 return symbol_new (FAKE_LABEL_NAME
, seg
, ofs
, frag
);
584 symbol_temp_new_now (void)
586 return symbol_temp_new (now_seg
, frag_now_fix (), frag_now
);
590 symbol_temp_make (void)
592 return symbol_make (FAKE_LABEL_NAME
);
595 /* Implement symbol table lookup.
596 In: A symbol's name as a string: '\0' can't be part of a symbol name.
597 Out: NULL if the name was not in the symbol table, else the address
598 of a struct symbol associated with that name. */
601 symbol_find (const char *name
)
603 #ifdef STRIP_UNDERSCORE
604 return (symbol_find_base (name
, 1));
605 #else /* STRIP_UNDERSCORE */
606 return (symbol_find_base (name
, 0));
607 #endif /* STRIP_UNDERSCORE */
611 symbol_find_exact (const char *name
)
615 struct local_symbol
*locsym
;
617 locsym
= (struct local_symbol
*) hash_find (local_hash
, name
);
619 return (symbolS
*) locsym
;
623 return ((symbolS
*) hash_find (sy_hash
, name
));
627 symbol_find_base (const char *name
, int strip_underscore
)
629 if (strip_underscore
&& *name
== '_')
632 #ifdef tc_canonicalize_symbol_name
635 size_t len
= strlen (name
) + 1;
637 copy
= (char *) alloca (len
);
638 memcpy (copy
, name
, len
);
639 name
= tc_canonicalize_symbol_name (copy
);
643 if (! symbols_case_sensitive
)
650 name
= copy
= (char *) alloca (strlen (name
) + 1);
652 while ((c
= *orig
++) != '\0')
654 *copy
++ = TOUPPER (c
);
659 return symbol_find_exact (name
);
662 /* Once upon a time, symbols were kept in a singly linked list. At
663 least coff needs to be able to rearrange them from time to time, for
664 which a doubly linked list is much more convenient. Loic did these
665 as macros which seemed dangerous to me so they're now functions.
668 /* Link symbol ADDME after symbol TARGET in the chain. */
671 symbol_append (symbolS
*addme
, symbolS
*target
,
672 symbolS
**rootPP
, symbolS
**lastPP
)
674 if (LOCAL_SYMBOL_CHECK (addme
))
676 if (target
!= NULL
&& LOCAL_SYMBOL_CHECK (target
))
681 know (*rootPP
== NULL
);
682 know (*lastPP
== NULL
);
683 addme
->sy_next
= NULL
;
684 #ifdef SYMBOLS_NEED_BACKPOINTERS
685 addme
->sy_previous
= NULL
;
690 } /* if the list is empty */
692 if (target
->sy_next
!= NULL
)
694 #ifdef SYMBOLS_NEED_BACKPOINTERS
695 target
->sy_next
->sy_previous
= addme
;
696 #endif /* SYMBOLS_NEED_BACKPOINTERS */
700 know (*lastPP
== target
);
702 } /* if we have a next */
704 addme
->sy_next
= target
->sy_next
;
705 target
->sy_next
= addme
;
707 #ifdef SYMBOLS_NEED_BACKPOINTERS
708 addme
->sy_previous
= target
;
709 #endif /* SYMBOLS_NEED_BACKPOINTERS */
711 debug_verify_symchain (symbol_rootP
, symbol_lastP
);
714 /* Set the chain pointers of SYMBOL to null. */
717 symbol_clear_list_pointers (symbolS
*symbolP
)
719 if (LOCAL_SYMBOL_CHECK (symbolP
))
721 symbolP
->sy_next
= NULL
;
722 #ifdef SYMBOLS_NEED_BACKPOINTERS
723 symbolP
->sy_previous
= NULL
;
727 #ifdef SYMBOLS_NEED_BACKPOINTERS
728 /* Remove SYMBOLP from the list. */
731 symbol_remove (symbolS
*symbolP
, symbolS
**rootPP
, symbolS
**lastPP
)
733 if (LOCAL_SYMBOL_CHECK (symbolP
))
736 if (symbolP
== *rootPP
)
738 *rootPP
= symbolP
->sy_next
;
739 } /* if it was the root */
741 if (symbolP
== *lastPP
)
743 *lastPP
= symbolP
->sy_previous
;
744 } /* if it was the tail */
746 if (symbolP
->sy_next
!= NULL
)
748 symbolP
->sy_next
->sy_previous
= symbolP
->sy_previous
;
751 if (symbolP
->sy_previous
!= NULL
)
753 symbolP
->sy_previous
->sy_next
= symbolP
->sy_next
;
756 debug_verify_symchain (*rootPP
, *lastPP
);
759 /* Link symbol ADDME before symbol TARGET in the chain. */
762 symbol_insert (symbolS
*addme
, symbolS
*target
,
763 symbolS
**rootPP
, symbolS
**lastPP ATTRIBUTE_UNUSED
)
765 if (LOCAL_SYMBOL_CHECK (addme
))
767 if (LOCAL_SYMBOL_CHECK (target
))
770 if (target
->sy_previous
!= NULL
)
772 target
->sy_previous
->sy_next
= addme
;
776 know (*rootPP
== target
);
780 addme
->sy_previous
= target
->sy_previous
;
781 target
->sy_previous
= addme
;
782 addme
->sy_next
= target
;
784 debug_verify_symchain (*rootPP
, *lastPP
);
787 #endif /* SYMBOLS_NEED_BACKPOINTERS */
790 verify_symbol_chain (symbolS
*rootP
, symbolS
*lastP
)
792 symbolS
*symbolP
= rootP
;
797 for (; symbol_next (symbolP
) != NULL
; symbolP
= symbol_next (symbolP
))
800 assert (symbolP
->bsym
!= NULL
);
802 #ifdef SYMBOLS_NEED_BACKPOINTERS
803 assert (symbolP
->sy_next
->sy_previous
== symbolP
);
805 /* Walk the list anyways, to make sure pointers are still good. */
807 #endif /* SYMBOLS_NEED_BACKPOINTERS */
810 assert (lastP
== symbolP
);
814 verify_symbol_chain_2 (symbolS
*sym
)
816 symbolS
*p
= sym
, *n
= sym
;
817 #ifdef SYMBOLS_NEED_BACKPOINTERS
818 while (symbol_previous (p
))
819 p
= symbol_previous (p
);
821 while (symbol_next (n
))
823 verify_symbol_chain (p
, n
);
827 report_op_error (symbolS
*symp
, symbolS
*left
, symbolS
*right
)
831 segT seg_left
= S_GET_SEGMENT (left
);
832 segT seg_right
= right
? S_GET_SEGMENT (right
) : 0;
834 if (expr_symbol_where (symp
, &file
, &line
))
836 if (seg_left
== undefined_section
)
837 as_bad_where (file
, line
,
838 _("undefined symbol `%s' in operation"),
840 if (seg_right
== undefined_section
)
841 as_bad_where (file
, line
,
842 _("undefined symbol `%s' in operation"),
844 if (seg_left
!= undefined_section
845 && seg_right
!= undefined_section
)
848 as_bad_where (file
, line
,
849 _("invalid sections for operation on `%s' and `%s'"),
850 S_GET_NAME (left
), S_GET_NAME (right
));
852 as_bad_where (file
, line
,
853 _("invalid section for operation on `%s'"),
860 if (seg_left
== undefined_section
)
861 as_bad (_("undefined symbol `%s' in operation setting `%s'"),
862 S_GET_NAME (left
), S_GET_NAME (symp
));
863 if (seg_right
== undefined_section
)
864 as_bad (_("undefined symbol `%s' in operation setting `%s'"),
865 S_GET_NAME (right
), S_GET_NAME (symp
));
866 if (seg_left
!= undefined_section
867 && seg_right
!= undefined_section
)
870 as_bad_where (file
, line
,
871 _("invalid sections for operation on `%s' and `%s' setting `%s'"),
872 S_GET_NAME (left
), S_GET_NAME (right
), S_GET_NAME (symp
));
874 as_bad_where (file
, line
,
875 _("invalid section for operation on `%s' setting `%s'"),
876 S_GET_NAME (left
), S_GET_NAME (symp
));
881 /* Resolve the value of a symbol. This is called during the final
882 pass over the symbol table to resolve any symbols with complex
886 resolve_symbol_value (symbolS
*symp
)
889 valueT final_val
= 0;
893 if (LOCAL_SYMBOL_CHECK (symp
))
895 struct local_symbol
*locsym
= (struct local_symbol
*) symp
;
897 final_val
= locsym
->lsy_value
;
898 if (local_symbol_resolved_p (locsym
))
901 final_val
+= local_symbol_get_frag (locsym
)->fr_address
/ OCTETS_PER_BYTE
;
905 locsym
->lsy_value
= final_val
;
906 local_symbol_mark_resolved (locsym
);
913 if (symp
->sy_resolved
)
915 if (symp
->sy_value
.X_op
== O_constant
)
916 return (valueT
) symp
->sy_value
.X_add_number
;
922 final_seg
= S_GET_SEGMENT (symp
);
924 if (symp
->sy_resolving
)
927 as_bad (_("symbol definition loop encountered at `%s'"),
934 symbolS
*add_symbol
, *op_symbol
;
936 segT seg_left
, seg_right
;
939 symp
->sy_resolving
= 1;
941 /* Help out with CSE. */
942 add_symbol
= symp
->sy_value
.X_add_symbol
;
943 op_symbol
= symp
->sy_value
.X_op_symbol
;
944 final_val
= symp
->sy_value
.X_add_number
;
945 op
= symp
->sy_value
.X_op
;
958 final_val
+= symp
->sy_frag
->fr_address
/ OCTETS_PER_BYTE
;
959 if (final_seg
== expr_section
)
960 final_seg
= absolute_section
;
966 left
= resolve_symbol_value (add_symbol
);
967 seg_left
= S_GET_SEGMENT (add_symbol
);
969 symp
->sy_value
.X_op_symbol
= NULL
;
972 if (symp
->sy_mri_common
)
974 /* This is a symbol inside an MRI common section. The
975 relocation routines are going to handle it specially.
976 Don't change the value. */
977 resolved
= symbol_resolved_p (add_symbol
);
981 if (finalize_syms
&& final_val
== 0)
983 if (LOCAL_SYMBOL_CHECK (add_symbol
))
984 add_symbol
= local_symbol_convert ((struct local_symbol
*)
986 copy_symbol_attributes (symp
, add_symbol
);
989 /* If we have equated this symbol to an undefined or common
990 symbol, keep X_op set to O_symbol, and don't change
991 X_add_number. This permits the routine which writes out
992 relocation to detect this case, and convert the
993 relocation to be against the symbol to which this symbol
995 if (! S_IS_DEFINED (add_symbol
) || S_IS_COMMON (add_symbol
))
999 symp
->sy_value
.X_op
= O_symbol
;
1000 symp
->sy_value
.X_add_symbol
= add_symbol
;
1001 symp
->sy_value
.X_add_number
= final_val
;
1002 /* Use X_op_symbol as a flag. */
1003 symp
->sy_value
.X_op_symbol
= add_symbol
;
1004 final_seg
= seg_left
;
1007 resolved
= symbol_resolved_p (add_symbol
);
1008 symp
->sy_resolving
= 0;
1009 goto exit_dont_set_value
;
1011 else if (finalize_syms
&& final_seg
== expr_section
1012 && seg_left
!= expr_section
)
1014 /* If the symbol is an expression symbol, do similarly
1015 as for undefined and common syms above. Handles
1016 "sym +/- expr" where "expr" cannot be evaluated
1017 immediately, and we want relocations to be against
1018 "sym", eg. because it is weak. */
1019 symp
->sy_value
.X_op
= O_symbol
;
1020 symp
->sy_value
.X_add_symbol
= add_symbol
;
1021 symp
->sy_value
.X_add_number
= final_val
;
1022 symp
->sy_value
.X_op_symbol
= add_symbol
;
1023 final_seg
= seg_left
;
1024 final_val
+= symp
->sy_frag
->fr_address
+ left
;
1025 resolved
= symbol_resolved_p (add_symbol
);
1026 symp
->sy_resolving
= 0;
1027 goto exit_dont_set_value
;
1031 final_val
+= symp
->sy_frag
->fr_address
+ left
;
1032 if (final_seg
== expr_section
|| final_seg
== undefined_section
)
1033 final_seg
= seg_left
;
1036 resolved
= symbol_resolved_p (add_symbol
);
1042 left
= resolve_symbol_value (add_symbol
);
1043 seg_left
= S_GET_SEGMENT (add_symbol
);
1045 /* By reducing these to the relevant dyadic operator, we get
1046 !S -> S == 0 permitted on anything,
1047 -S -> 0 - S only permitted on absolute
1048 ~S -> S ^ ~0 only permitted on absolute */
1049 if (op
!= O_logical_not
&& seg_left
!= absolute_section
1051 report_op_error (symp
, add_symbol
, NULL
);
1053 if (final_seg
== expr_section
|| final_seg
== undefined_section
)
1054 final_seg
= absolute_section
;
1058 else if (op
== O_logical_not
)
1063 final_val
+= left
+ symp
->sy_frag
->fr_address
;
1065 resolved
= symbol_resolved_p (add_symbol
);
1073 case O_bit_inclusive_or
:
1075 case O_bit_exclusive_or
:
1087 left
= resolve_symbol_value (add_symbol
);
1088 right
= resolve_symbol_value (op_symbol
);
1089 seg_left
= S_GET_SEGMENT (add_symbol
);
1090 seg_right
= S_GET_SEGMENT (op_symbol
);
1092 /* Simplify addition or subtraction of a constant by folding the
1093 constant into X_add_number. */
1096 if (seg_right
== absolute_section
)
1101 else if (seg_left
== absolute_section
)
1104 add_symbol
= op_symbol
;
1106 seg_left
= seg_right
;
1110 else if (op
== O_subtract
)
1112 if (seg_right
== absolute_section
)
1119 /* Equality and non-equality tests are permitted on anything.
1120 Subtraction, and other comparison operators are permitted if
1121 both operands are in the same section. Otherwise, both
1122 operands must be absolute. We already handled the case of
1123 addition or subtraction of a constant above. This will
1124 probably need to be changed for an object file format which
1125 supports arbitrary expressions, such as IEEE-695.
1127 Don't emit messages unless we're finalizing the symbol value,
1128 otherwise we may get the same message multiple times. */
1130 && !(seg_left
== absolute_section
1131 && seg_right
== absolute_section
)
1132 && !(op
== O_eq
|| op
== O_ne
)
1133 && !((op
== O_subtract
1134 || op
== O_lt
|| op
== O_le
|| op
== O_ge
|| op
== O_gt
)
1135 && seg_left
== seg_right
1136 && (seg_left
!= undefined_section
1137 || add_symbol
== op_symbol
)))
1138 report_op_error (symp
, add_symbol
, op_symbol
);
1140 if (final_seg
== expr_section
|| final_seg
== undefined_section
)
1141 final_seg
= absolute_section
;
1143 /* Check for division by zero. */
1144 if ((op
== O_divide
|| op
== O_modulus
) && right
== 0)
1146 /* If seg_right is not absolute_section, then we've
1147 already issued a warning about using a bad symbol. */
1148 if (seg_right
== absolute_section
&& finalize_syms
)
1153 if (expr_symbol_where (symp
, &file
, &line
))
1154 as_bad_where (file
, line
, _("division by zero"));
1156 as_bad (_("division by zero when setting `%s'"),
1163 switch (symp
->sy_value
.X_op
)
1165 case O_multiply
: left
*= right
; break;
1166 case O_divide
: left
/= right
; break;
1167 case O_modulus
: left
%= right
; break;
1168 case O_left_shift
: left
<<= right
; break;
1169 case O_right_shift
: left
>>= right
; break;
1170 case O_bit_inclusive_or
: left
|= right
; break;
1171 case O_bit_or_not
: left
|= ~right
; break;
1172 case O_bit_exclusive_or
: left
^= right
; break;
1173 case O_bit_and
: left
&= right
; break;
1174 case O_add
: left
+= right
; break;
1175 case O_subtract
: left
-= right
; break;
1178 left
= (left
== right
&& seg_left
== seg_right
1179 && (seg_left
!= undefined_section
1180 || add_symbol
== op_symbol
)
1181 ? ~ (offsetT
) 0 : 0);
1182 if (symp
->sy_value
.X_op
== O_ne
)
1185 case O_lt
: left
= left
< right
? ~ (offsetT
) 0 : 0; break;
1186 case O_le
: left
= left
<= right
? ~ (offsetT
) 0 : 0; break;
1187 case O_ge
: left
= left
>= right
? ~ (offsetT
) 0 : 0; break;
1188 case O_gt
: left
= left
> right
? ~ (offsetT
) 0 : 0; break;
1189 case O_logical_and
: left
= left
&& right
; break;
1190 case O_logical_or
: left
= left
|| right
; break;
1194 final_val
+= symp
->sy_frag
->fr_address
+ left
;
1195 if (final_seg
== expr_section
|| final_seg
== undefined_section
)
1197 if (seg_left
== undefined_section
1198 || seg_right
== undefined_section
)
1199 final_seg
= undefined_section
;
1200 else if (seg_left
== absolute_section
)
1201 final_seg
= seg_right
;
1203 final_seg
= seg_left
;
1205 resolved
= (symbol_resolved_p (add_symbol
)
1206 && symbol_resolved_p (op_symbol
));
1212 /* Give an error (below) if not in expr_section. We don't
1213 want to worry about expr_section symbols, because they
1214 are fictional (they are created as part of expression
1215 resolution), and any problems may not actually mean
1220 symp
->sy_resolving
= 0;
1224 S_SET_VALUE (symp
, final_val
);
1226 exit_dont_set_value
:
1227 /* Always set the segment, even if not finalizing the value.
1228 The segment is used to determine whether a symbol is defined. */
1229 #if defined (OBJ_AOUT) && ! defined (BFD_ASSEMBLER)
1230 /* The old a.out backend does not handle S_SET_SEGMENT correctly
1231 for a stab symbol, so we use this bad hack. */
1232 if (final_seg
!= S_GET_SEGMENT (symp
))
1234 S_SET_SEGMENT (symp
, final_seg
);
1236 /* Don't worry if we can't resolve an expr_section symbol. */
1240 symp
->sy_resolved
= 1;
1241 else if (S_GET_SEGMENT (symp
) != expr_section
)
1243 as_bad (_("can't resolve value for symbol `%s'"),
1245 symp
->sy_resolved
= 1;
1252 #ifdef BFD_ASSEMBLER
1254 static void resolve_local_symbol (const char *, PTR
);
1256 /* A static function passed to hash_traverse. */
1259 resolve_local_symbol (const char *key ATTRIBUTE_UNUSED
, PTR value
)
1262 resolve_symbol_value (value
);
1267 /* Resolve all local symbols. */
1270 resolve_local_symbol_values (void)
1272 #ifdef BFD_ASSEMBLER
1273 hash_traverse (local_hash
, resolve_local_symbol
);
1277 /* Dollar labels look like a number followed by a dollar sign. Eg, "42$".
1278 They are *really* local. That is, they go out of scope whenever we see a
1279 label that isn't local. Also, like fb labels, there can be multiple
1280 instances of a dollar label. Therefor, we name encode each instance with
1281 the instance number, keep a list of defined symbols separate from the real
1282 symbol table, and we treat these buggers as a sparse array. */
1284 static long *dollar_labels
;
1285 static long *dollar_label_instances
;
1286 static char *dollar_label_defines
;
1287 static unsigned long dollar_label_count
;
1288 static unsigned long dollar_label_max
;
1291 dollar_label_defined (long label
)
1295 know ((dollar_labels
!= NULL
) || (dollar_label_count
== 0));
1297 for (i
= dollar_labels
; i
< dollar_labels
+ dollar_label_count
; ++i
)
1299 return dollar_label_defines
[i
- dollar_labels
];
1301 /* If we get here, label isn't defined. */
1306 dollar_label_instance (long label
)
1310 know ((dollar_labels
!= NULL
) || (dollar_label_count
== 0));
1312 for (i
= dollar_labels
; i
< dollar_labels
+ dollar_label_count
; ++i
)
1314 return (dollar_label_instances
[i
- dollar_labels
]);
1316 /* If we get here, we haven't seen the label before.
1317 Therefore its instance count is zero. */
1322 dollar_label_clear (void)
1324 memset (dollar_label_defines
, '\0', (unsigned int) dollar_label_count
);
1327 #define DOLLAR_LABEL_BUMP_BY 10
1330 define_dollar_label (long label
)
1334 for (i
= dollar_labels
; i
< dollar_labels
+ dollar_label_count
; ++i
)
1337 ++dollar_label_instances
[i
- dollar_labels
];
1338 dollar_label_defines
[i
- dollar_labels
] = 1;
1342 /* If we get to here, we don't have label listed yet. */
1344 if (dollar_labels
== NULL
)
1346 dollar_labels
= (long *) xmalloc (DOLLAR_LABEL_BUMP_BY
* sizeof (long));
1347 dollar_label_instances
= (long *) xmalloc (DOLLAR_LABEL_BUMP_BY
* sizeof (long));
1348 dollar_label_defines
= xmalloc (DOLLAR_LABEL_BUMP_BY
);
1349 dollar_label_max
= DOLLAR_LABEL_BUMP_BY
;
1350 dollar_label_count
= 0;
1352 else if (dollar_label_count
== dollar_label_max
)
1354 dollar_label_max
+= DOLLAR_LABEL_BUMP_BY
;
1355 dollar_labels
= (long *) xrealloc ((char *) dollar_labels
,
1356 dollar_label_max
* sizeof (long));
1357 dollar_label_instances
= (long *) xrealloc ((char *) dollar_label_instances
,
1358 dollar_label_max
* sizeof (long));
1359 dollar_label_defines
= xrealloc (dollar_label_defines
, dollar_label_max
);
1360 } /* if we needed to grow */
1362 dollar_labels
[dollar_label_count
] = label
;
1363 dollar_label_instances
[dollar_label_count
] = 1;
1364 dollar_label_defines
[dollar_label_count
] = 1;
1365 ++dollar_label_count
;
1368 /* Caller must copy returned name: we re-use the area for the next name.
1370 The mth occurence of label n: is turned into the symbol "Ln^Am"
1371 where n is the label number and m is the instance number. "L" makes
1372 it a label discarded unless debugging and "^A"('\1') ensures no
1373 ordinary symbol SHOULD get the same name as a local label
1374 symbol. The first "4:" is "L4^A1" - the m numbers begin at 1.
1376 fb labels get the same treatment, except that ^B is used in place
1379 char * /* Return local label name. */
1380 dollar_label_name (register long n
, /* we just saw "n$:" : n a number. */
1381 register int augend
/* 0 for current instance, 1 for new instance. */)
1384 /* Returned to caller, then copied. Used for created names ("4f"). */
1385 static char symbol_name_build
[24];
1388 char symbol_name_temporary
[20]; /* Build up a number, BACKWARDS. */
1391 know (augend
== 0 || augend
== 1);
1392 p
= symbol_name_build
;
1393 #ifdef LOCAL_LABEL_PREFIX
1394 *p
++ = LOCAL_LABEL_PREFIX
;
1398 /* Next code just does sprintf( {}, "%d", n); */
1400 q
= symbol_name_temporary
;
1401 for (*q
++ = 0, i
= n
; i
; ++q
)
1406 while ((*p
= *--q
) != '\0')
1409 *p
++ = DOLLAR_LABEL_CHAR
; /* ^A */
1411 /* Instance number. */
1412 q
= symbol_name_temporary
;
1413 for (*q
++ = 0, i
= dollar_label_instance (n
) + augend
; i
; ++q
)
1418 while ((*p
++ = *--q
) != '\0');;
1420 /* The label, as a '\0' ended string, starts at symbol_name_build. */
1421 return symbol_name_build
;
1424 /* Somebody else's idea of local labels. They are made by "n:" where n
1425 is any decimal digit. Refer to them with
1426 "nb" for previous (backward) n:
1427 or "nf" for next (forward) n:.
1429 We do a little better and let n be any number, not just a single digit, but
1430 since the other guy's assembler only does ten, we treat the first ten
1433 Like someone else's assembler, we have one set of local label counters for
1434 entire assembly, not one set per (sub)segment like in most assemblers. This
1435 implies that one can refer to a label in another segment, and indeed some
1436 crufty compilers have done just that.
1438 Since there could be a LOT of these things, treat them as a sparse
1441 #define FB_LABEL_SPECIAL (10)
1443 static long fb_low_counter
[FB_LABEL_SPECIAL
];
1444 static long *fb_labels
;
1445 static long *fb_label_instances
;
1446 static long fb_label_count
;
1447 static long fb_label_max
;
1449 /* This must be more than FB_LABEL_SPECIAL. */
1450 #define FB_LABEL_BUMP_BY (FB_LABEL_SPECIAL + 6)
1453 fb_label_init (void)
1455 memset ((void *) fb_low_counter
, '\0', sizeof (fb_low_counter
));
1458 /* Add one to the instance number of this fb label. */
1461 fb_label_instance_inc (long label
)
1465 if (label
< FB_LABEL_SPECIAL
)
1467 ++fb_low_counter
[label
];
1471 if (fb_labels
!= NULL
)
1473 for (i
= fb_labels
+ FB_LABEL_SPECIAL
;
1474 i
< fb_labels
+ fb_label_count
; ++i
)
1478 ++fb_label_instances
[i
- fb_labels
];
1480 } /* if we find it */
1481 } /* for each existing label */
1484 /* If we get to here, we don't have label listed yet. */
1486 if (fb_labels
== NULL
)
1488 fb_labels
= (long *) xmalloc (FB_LABEL_BUMP_BY
* sizeof (long));
1489 fb_label_instances
= (long *) xmalloc (FB_LABEL_BUMP_BY
* sizeof (long));
1490 fb_label_max
= FB_LABEL_BUMP_BY
;
1491 fb_label_count
= FB_LABEL_SPECIAL
;
1494 else if (fb_label_count
== fb_label_max
)
1496 fb_label_max
+= FB_LABEL_BUMP_BY
;
1497 fb_labels
= (long *) xrealloc ((char *) fb_labels
,
1498 fb_label_max
* sizeof (long));
1499 fb_label_instances
= (long *) xrealloc ((char *) fb_label_instances
,
1500 fb_label_max
* sizeof (long));
1501 } /* if we needed to grow */
1503 fb_labels
[fb_label_count
] = label
;
1504 fb_label_instances
[fb_label_count
] = 1;
1509 fb_label_instance (long label
)
1513 if (label
< FB_LABEL_SPECIAL
)
1515 return (fb_low_counter
[label
]);
1518 if (fb_labels
!= NULL
)
1520 for (i
= fb_labels
+ FB_LABEL_SPECIAL
;
1521 i
< fb_labels
+ fb_label_count
; ++i
)
1525 return (fb_label_instances
[i
- fb_labels
]);
1526 } /* if we find it */
1527 } /* for each existing label */
1530 /* We didn't find the label, so this must be a reference to the
1535 /* Caller must copy returned name: we re-use the area for the next name.
1537 The mth occurence of label n: is turned into the symbol "Ln^Bm"
1538 where n is the label number and m is the instance number. "L" makes
1539 it a label discarded unless debugging and "^B"('\2') ensures no
1540 ordinary symbol SHOULD get the same name as a local label
1541 symbol. The first "4:" is "L4^B1" - the m numbers begin at 1.
1543 dollar labels get the same treatment, except that ^A is used in
1546 char * /* Return local label name. */
1547 fb_label_name (long n
, /* We just saw "n:", "nf" or "nb" : n a number. */
1548 long augend
/* 0 for nb, 1 for n:, nf. */)
1551 /* Returned to caller, then copied. Used for created names ("4f"). */
1552 static char symbol_name_build
[24];
1555 char symbol_name_temporary
[20]; /* Build up a number, BACKWARDS. */
1558 know (augend
== 0 || augend
== 1);
1559 p
= symbol_name_build
;
1560 #ifdef LOCAL_LABEL_PREFIX
1561 *p
++ = LOCAL_LABEL_PREFIX
;
1565 /* Next code just does sprintf( {}, "%d", n); */
1567 q
= symbol_name_temporary
;
1568 for (*q
++ = 0, i
= n
; i
; ++q
)
1573 while ((*p
= *--q
) != '\0')
1576 *p
++ = LOCAL_LABEL_CHAR
; /* ^B */
1578 /* Instance number. */
1579 q
= symbol_name_temporary
;
1580 for (*q
++ = 0, i
= fb_label_instance (n
) + augend
; i
; ++q
)
1585 while ((*p
++ = *--q
) != '\0');;
1587 /* The label, as a '\0' ended string, starts at symbol_name_build. */
1588 return (symbol_name_build
);
1591 /* Decode name that may have been generated by foo_label_name() above.
1592 If the name wasn't generated by foo_label_name(), then return it
1593 unaltered. This is used for error messages. */
1596 decode_local_label_name (char *s
)
1599 char *symbol_decode
;
1601 int instance_number
;
1603 const char *message_format
;
1606 #ifdef LOCAL_LABEL_PREFIX
1607 if (s
[index
] == LOCAL_LABEL_PREFIX
)
1611 if (s
[index
] != 'L')
1614 for (label_number
= 0, p
= s
+ index
+ 1; ISDIGIT (*p
); ++p
)
1615 label_number
= (10 * label_number
) + *p
- '0';
1617 if (*p
== DOLLAR_LABEL_CHAR
)
1619 else if (*p
== LOCAL_LABEL_CHAR
)
1624 for (instance_number
= 0, p
++; ISDIGIT (*p
); ++p
)
1625 instance_number
= (10 * instance_number
) + *p
- '0';
1627 message_format
= _("\"%d\" (instance number %d of a %s label)");
1628 symbol_decode
= obstack_alloc (¬es
, strlen (message_format
) + 30);
1629 sprintf (symbol_decode
, message_format
, label_number
, instance_number
, type
);
1631 return symbol_decode
;
1634 /* Get the value of a symbol. */
1637 S_GET_VALUE (symbolS
*s
)
1639 #ifdef BFD_ASSEMBLER
1640 if (LOCAL_SYMBOL_CHECK (s
))
1641 return resolve_symbol_value (s
);
1644 if (!s
->sy_resolved
)
1646 valueT val
= resolve_symbol_value (s
);
1650 if (s
->sy_value
.X_op
!= O_constant
)
1652 static symbolS
*recur
;
1654 /* FIXME: In non BFD assemblers, S_IS_DEFINED and S_IS_COMMON
1655 may call S_GET_VALUE. We use a static symbol to avoid the
1656 immediate recursion. */
1658 return (valueT
) s
->sy_value
.X_add_number
;
1660 if (! s
->sy_resolved
1661 || s
->sy_value
.X_op
!= O_symbol
1662 || (S_IS_DEFINED (s
) && ! S_IS_COMMON (s
)))
1663 as_bad (_("attempt to get value of unresolved symbol `%s'"),
1667 return (valueT
) s
->sy_value
.X_add_number
;
1670 /* Set the value of a symbol. */
1673 S_SET_VALUE (symbolS
*s
, valueT val
)
1675 #ifdef BFD_ASSEMBLER
1676 if (LOCAL_SYMBOL_CHECK (s
))
1678 ((struct local_symbol
*) s
)->lsy_value
= val
;
1683 s
->sy_value
.X_op
= O_constant
;
1684 s
->sy_value
.X_add_number
= (offsetT
) val
;
1685 s
->sy_value
.X_unsigned
= 0;
1689 copy_symbol_attributes (symbolS
*dest
, symbolS
*src
)
1691 if (LOCAL_SYMBOL_CHECK (dest
))
1692 dest
= local_symbol_convert ((struct local_symbol
*) dest
);
1693 if (LOCAL_SYMBOL_CHECK (src
))
1694 src
= local_symbol_convert ((struct local_symbol
*) src
);
1696 #ifdef BFD_ASSEMBLER
1697 /* In an expression, transfer the settings of these flags.
1698 The user can override later, of course. */
1699 #define COPIED_SYMFLAGS (BSF_FUNCTION | BSF_OBJECT)
1700 dest
->bsym
->flags
|= src
->bsym
->flags
& COPIED_SYMFLAGS
;
1703 #ifdef OBJ_COPY_SYMBOL_ATTRIBUTES
1704 OBJ_COPY_SYMBOL_ATTRIBUTES (dest
, src
);
1708 #ifdef BFD_ASSEMBLER
1711 S_IS_FUNCTION (symbolS
*s
)
1715 if (LOCAL_SYMBOL_CHECK (s
))
1718 flags
= s
->bsym
->flags
;
1720 return (flags
& BSF_FUNCTION
) != 0;
1724 S_IS_EXTERNAL (symbolS
*s
)
1728 if (LOCAL_SYMBOL_CHECK (s
))
1731 flags
= s
->bsym
->flags
;
1734 if ((flags
& BSF_LOCAL
) && (flags
& BSF_GLOBAL
))
1737 return (flags
& BSF_GLOBAL
) != 0;
1741 S_IS_WEAK (symbolS
*s
)
1743 if (LOCAL_SYMBOL_CHECK (s
))
1745 return (s
->bsym
->flags
& BSF_WEAK
) != 0;
1749 S_IS_COMMON (symbolS
*s
)
1751 if (LOCAL_SYMBOL_CHECK (s
))
1753 return bfd_is_com_section (s
->bsym
->section
);
1757 S_IS_DEFINED (symbolS
*s
)
1759 if (LOCAL_SYMBOL_CHECK (s
))
1760 return ((struct local_symbol
*) s
)->lsy_section
!= undefined_section
;
1761 return s
->bsym
->section
!= undefined_section
;
1765 #ifndef EXTERN_FORCE_RELOC
1766 #define EXTERN_FORCE_RELOC IS_ELF
1769 /* Return true for symbols that should not be reduced to section
1770 symbols or eliminated from expressions, because they may be
1771 overridden by the linker. */
1773 S_FORCE_RELOC (symbolS
*s
, int strict
)
1775 if (LOCAL_SYMBOL_CHECK (s
))
1776 return ((struct local_symbol
*) s
)->lsy_section
== undefined_section
;
1779 && ((s
->bsym
->flags
& BSF_WEAK
) != 0
1780 || (EXTERN_FORCE_RELOC
1781 && (s
->bsym
->flags
& BSF_GLOBAL
) != 0)))
1782 || s
->bsym
->section
== undefined_section
1783 || bfd_is_com_section (s
->bsym
->section
));
1787 S_IS_DEBUG (symbolS
*s
)
1789 if (LOCAL_SYMBOL_CHECK (s
))
1791 if (s
->bsym
->flags
& BSF_DEBUGGING
)
1797 S_IS_LOCAL (symbolS
*s
)
1802 if (LOCAL_SYMBOL_CHECK (s
))
1805 flags
= s
->bsym
->flags
;
1808 if ((flags
& BSF_LOCAL
) && (flags
& BSF_GLOBAL
))
1811 if (bfd_get_section (s
->bsym
) == reg_section
)
1814 if (flag_strip_local_absolute
1815 && (flags
& BSF_GLOBAL
) == 0
1816 && bfd_get_section (s
->bsym
) == absolute_section
)
1819 name
= S_GET_NAME (s
);
1820 return (name
!= NULL
1822 && (strchr (name
, DOLLAR_LABEL_CHAR
)
1823 || strchr (name
, LOCAL_LABEL_CHAR
)
1824 || (! flag_keep_locals
1825 && (bfd_is_local_label (stdoutput
, s
->bsym
)
1828 && name
[1] == '?')))));
1832 S_IS_EXTERN (symbolS
*s
)
1834 return S_IS_EXTERNAL (s
);
1838 S_IS_STABD (symbolS
*s
)
1840 return S_GET_NAME (s
) == 0;
1844 S_GET_NAME (symbolS
*s
)
1846 if (LOCAL_SYMBOL_CHECK (s
))
1847 return ((struct local_symbol
*) s
)->lsy_name
;
1848 return s
->bsym
->name
;
1852 S_GET_SEGMENT (symbolS
*s
)
1854 if (LOCAL_SYMBOL_CHECK (s
))
1855 return ((struct local_symbol
*) s
)->lsy_section
;
1856 return s
->bsym
->section
;
1860 S_SET_SEGMENT (symbolS
*s
, segT seg
)
1862 /* Don't reassign section symbols. The direct reason is to prevent seg
1863 faults assigning back to const global symbols such as *ABS*, but it
1864 shouldn't happen anyway. */
1866 if (LOCAL_SYMBOL_CHECK (s
))
1868 if (seg
== reg_section
)
1869 s
= local_symbol_convert ((struct local_symbol
*) s
);
1872 ((struct local_symbol
*) s
)->lsy_section
= seg
;
1877 if (s
->bsym
->flags
& BSF_SECTION_SYM
)
1879 if (s
->bsym
->section
!= seg
)
1883 s
->bsym
->section
= seg
;
1887 S_SET_EXTERNAL (symbolS
*s
)
1889 if (LOCAL_SYMBOL_CHECK (s
))
1890 s
= local_symbol_convert ((struct local_symbol
*) s
);
1891 if ((s
->bsym
->flags
& BSF_WEAK
) != 0)
1893 /* Let .weak override .global. */
1896 if (s
->bsym
->flags
& BSF_SECTION_SYM
)
1901 /* Do not reassign section symbols. */
1902 as_where (& file
, & line
);
1903 as_warn_where (file
, line
,
1904 _("section symbols are already global"));
1907 s
->bsym
->flags
|= BSF_GLOBAL
;
1908 s
->bsym
->flags
&= ~(BSF_LOCAL
| BSF_WEAK
);
1912 S_CLEAR_EXTERNAL (symbolS
*s
)
1914 if (LOCAL_SYMBOL_CHECK (s
))
1916 if ((s
->bsym
->flags
& BSF_WEAK
) != 0)
1918 /* Let .weak override. */
1921 s
->bsym
->flags
|= BSF_LOCAL
;
1922 s
->bsym
->flags
&= ~(BSF_GLOBAL
| BSF_WEAK
);
1926 S_SET_WEAK (symbolS
*s
)
1928 if (LOCAL_SYMBOL_CHECK (s
))
1929 s
= local_symbol_convert ((struct local_symbol
*) s
);
1930 s
->bsym
->flags
|= BSF_WEAK
;
1931 s
->bsym
->flags
&= ~(BSF_GLOBAL
| BSF_LOCAL
);
1935 S_SET_THREAD_LOCAL (symbolS
*s
)
1937 if (LOCAL_SYMBOL_CHECK (s
))
1938 s
= local_symbol_convert ((struct local_symbol
*) s
);
1939 if (bfd_is_com_section (s
->bsym
->section
)
1940 && (s
->bsym
->flags
& BSF_THREAD_LOCAL
) != 0)
1942 s
->bsym
->flags
|= BSF_THREAD_LOCAL
;
1943 if ((s
->bsym
->flags
& BSF_FUNCTION
) != 0)
1944 as_bad (_("Accessing function `%s' as thread-local object"),
1946 else if (! bfd_is_und_section (s
->bsym
->section
)
1947 && (s
->bsym
->section
->flags
& SEC_THREAD_LOCAL
) == 0)
1948 as_bad (_("Accessing `%s' as thread-local object"),
1953 S_SET_NAME (symbolS
*s
, char *name
)
1955 if (LOCAL_SYMBOL_CHECK (s
))
1957 ((struct local_symbol
*) s
)->lsy_name
= name
;
1960 s
->bsym
->name
= name
;
1962 #endif /* BFD_ASSEMBLER */
1964 #ifdef SYMBOLS_NEED_BACKPOINTERS
1966 /* Return the previous symbol in a chain. */
1969 symbol_previous (symbolS
*s
)
1971 if (LOCAL_SYMBOL_CHECK (s
))
1973 return s
->sy_previous
;
1976 #endif /* SYMBOLS_NEED_BACKPOINTERS */
1978 /* Return the next symbol in a chain. */
1981 symbol_next (symbolS
*s
)
1983 if (LOCAL_SYMBOL_CHECK (s
))
1988 /* Return a pointer to the value of a symbol as an expression. */
1991 symbol_get_value_expression (symbolS
*s
)
1993 if (LOCAL_SYMBOL_CHECK (s
))
1994 s
= local_symbol_convert ((struct local_symbol
*) s
);
1995 return &s
->sy_value
;
1998 /* Set the value of a symbol to an expression. */
2001 symbol_set_value_expression (symbolS
*s
, const expressionS
*exp
)
2003 if (LOCAL_SYMBOL_CHECK (s
))
2004 s
= local_symbol_convert ((struct local_symbol
*) s
);
2008 /* Set the value of SYM to the current position in the current segment. */
2011 symbol_set_value_now (symbolS
*sym
)
2013 S_SET_SEGMENT (sym
, now_seg
);
2014 S_SET_VALUE (sym
, frag_now_fix ());
2015 symbol_set_frag (sym
, frag_now
);
2018 /* Set the frag of a symbol. */
2021 symbol_set_frag (symbolS
*s
, fragS
*f
)
2023 #ifdef BFD_ASSEMBLER
2024 if (LOCAL_SYMBOL_CHECK (s
))
2026 local_symbol_set_frag ((struct local_symbol
*) s
, f
);
2033 /* Return the frag of a symbol. */
2036 symbol_get_frag (symbolS
*s
)
2038 #ifdef BFD_ASSEMBLER
2039 if (LOCAL_SYMBOL_CHECK (s
))
2040 return local_symbol_get_frag ((struct local_symbol
*) s
);
2045 /* Mark a symbol as having been used. */
2048 symbol_mark_used (symbolS
*s
)
2050 if (LOCAL_SYMBOL_CHECK (s
))
2055 /* Clear the mark of whether a symbol has been used. */
2058 symbol_clear_used (symbolS
*s
)
2060 if (LOCAL_SYMBOL_CHECK (s
))
2061 s
= local_symbol_convert ((struct local_symbol
*) s
);
2065 /* Return whether a symbol has been used. */
2068 symbol_used_p (symbolS
*s
)
2070 if (LOCAL_SYMBOL_CHECK (s
))
2075 /* Mark a symbol as having been used in a reloc. */
2078 symbol_mark_used_in_reloc (symbolS
*s
)
2080 if (LOCAL_SYMBOL_CHECK (s
))
2081 s
= local_symbol_convert ((struct local_symbol
*) s
);
2082 s
->sy_used_in_reloc
= 1;
2085 /* Clear the mark of whether a symbol has been used in a reloc. */
2088 symbol_clear_used_in_reloc (symbolS
*s
)
2090 if (LOCAL_SYMBOL_CHECK (s
))
2092 s
->sy_used_in_reloc
= 0;
2095 /* Return whether a symbol has been used in a reloc. */
2098 symbol_used_in_reloc_p (symbolS
*s
)
2100 if (LOCAL_SYMBOL_CHECK (s
))
2102 return s
->sy_used_in_reloc
;
2105 /* Mark a symbol as an MRI common symbol. */
2108 symbol_mark_mri_common (symbolS
*s
)
2110 if (LOCAL_SYMBOL_CHECK (s
))
2111 s
= local_symbol_convert ((struct local_symbol
*) s
);
2112 s
->sy_mri_common
= 1;
2115 /* Clear the mark of whether a symbol is an MRI common symbol. */
2118 symbol_clear_mri_common (symbolS
*s
)
2120 if (LOCAL_SYMBOL_CHECK (s
))
2122 s
->sy_mri_common
= 0;
2125 /* Return whether a symbol is an MRI common symbol. */
2128 symbol_mri_common_p (symbolS
*s
)
2130 if (LOCAL_SYMBOL_CHECK (s
))
2132 return s
->sy_mri_common
;
2135 /* Mark a symbol as having been written. */
2138 symbol_mark_written (symbolS
*s
)
2140 if (LOCAL_SYMBOL_CHECK (s
))
2145 /* Clear the mark of whether a symbol has been written. */
2148 symbol_clear_written (symbolS
*s
)
2150 if (LOCAL_SYMBOL_CHECK (s
))
2155 /* Return whether a symbol has been written. */
2158 symbol_written_p (symbolS
*s
)
2160 if (LOCAL_SYMBOL_CHECK (s
))
2165 /* Mark a symbol has having been resolved. */
2168 symbol_mark_resolved (symbolS
*s
)
2170 #ifdef BFD_ASSEMBLER
2171 if (LOCAL_SYMBOL_CHECK (s
))
2173 local_symbol_mark_resolved ((struct local_symbol
*) s
);
2180 /* Return whether a symbol has been resolved. */
2183 symbol_resolved_p (symbolS
*s
)
2185 #ifdef BFD_ASSEMBLER
2186 if (LOCAL_SYMBOL_CHECK (s
))
2187 return local_symbol_resolved_p ((struct local_symbol
*) s
);
2189 return s
->sy_resolved
;
2192 /* Return whether a symbol is a section symbol. */
2195 symbol_section_p (symbolS
*s ATTRIBUTE_UNUSED
)
2197 if (LOCAL_SYMBOL_CHECK (s
))
2199 #ifdef BFD_ASSEMBLER
2200 return (s
->bsym
->flags
& BSF_SECTION_SYM
) != 0;
2207 /* Return whether a symbol is equated to another symbol. */
2210 symbol_equated_p (symbolS
*s
)
2212 if (LOCAL_SYMBOL_CHECK (s
))
2214 return s
->sy_value
.X_op
== O_symbol
;
2217 /* Return whether a symbol is equated to another symbol, and should be
2218 treated specially when writing out relocs. */
2221 symbol_equated_reloc_p (symbolS
*s
)
2223 if (LOCAL_SYMBOL_CHECK (s
))
2225 /* X_op_symbol, normally not used for O_symbol, is set by
2226 resolve_symbol_value to flag expression syms that have been
2228 return (s
->sy_value
.X_op
== O_symbol
2229 && ((s
->sy_resolved
&& s
->sy_value
.X_op_symbol
!= NULL
)
2230 || ! S_IS_DEFINED (s
)
2231 || S_IS_COMMON (s
)));
2234 /* Return whether a symbol has a constant value. */
2237 symbol_constant_p (symbolS
*s
)
2239 if (LOCAL_SYMBOL_CHECK (s
))
2241 return s
->sy_value
.X_op
== O_constant
;
2244 #ifdef BFD_ASSEMBLER
2246 /* Return the BFD symbol for a symbol. */
2249 symbol_get_bfdsym (symbolS
*s
)
2251 if (LOCAL_SYMBOL_CHECK (s
))
2252 s
= local_symbol_convert ((struct local_symbol
*) s
);
2256 /* Set the BFD symbol for a symbol. */
2259 symbol_set_bfdsym (symbolS
*s
, asymbol
*bsym
)
2261 if (LOCAL_SYMBOL_CHECK (s
))
2262 s
= local_symbol_convert ((struct local_symbol
*) s
);
2263 /* Usually, it is harmless to reset a symbol to a BFD section
2264 symbol. For example, obj_elf_change_section sets the BFD symbol
2265 of an old symbol with the newly created section symbol. But when
2266 we have multiple sections with the same name, the newly created
2267 section may have the same name as an old section. We check if the
2268 old symbol has been already marked as a section symbol before
2270 if ((s
->bsym
->flags
& BSF_SECTION_SYM
) == 0)
2272 /* else XXX - What do we do now ? */
2275 #endif /* BFD_ASSEMBLER */
2277 #ifdef OBJ_SYMFIELD_TYPE
2279 /* Get a pointer to the object format information for a symbol. */
2282 symbol_get_obj (symbolS
*s
)
2284 if (LOCAL_SYMBOL_CHECK (s
))
2285 s
= local_symbol_convert ((struct local_symbol
*) s
);
2289 /* Set the object format information for a symbol. */
2292 symbol_set_obj (symbolS
*s
, OBJ_SYMFIELD_TYPE
*o
)
2294 if (LOCAL_SYMBOL_CHECK (s
))
2295 s
= local_symbol_convert ((struct local_symbol
*) s
);
2299 #endif /* OBJ_SYMFIELD_TYPE */
2301 #ifdef TC_SYMFIELD_TYPE
2303 /* Get a pointer to the processor information for a symbol. */
2306 symbol_get_tc (symbolS
*s
)
2308 if (LOCAL_SYMBOL_CHECK (s
))
2309 s
= local_symbol_convert ((struct local_symbol
*) s
);
2313 /* Set the processor information for a symbol. */
2316 symbol_set_tc (symbolS
*s
, TC_SYMFIELD_TYPE
*o
)
2318 if (LOCAL_SYMBOL_CHECK (s
))
2319 s
= local_symbol_convert ((struct local_symbol
*) s
);
2323 #endif /* TC_SYMFIELD_TYPE */
2328 symbol_lastP
= NULL
;
2329 symbol_rootP
= NULL
; /* In case we have 0 symbols (!!) */
2330 sy_hash
= hash_new ();
2331 #ifdef BFD_ASSEMBLER
2332 local_hash
= hash_new ();
2335 memset ((char *) (&abs_symbol
), '\0', sizeof (abs_symbol
));
2336 #ifdef BFD_ASSEMBLER
2337 #if defined (EMIT_SECTION_SYMBOLS) || !defined (RELOC_REQUIRES_SYMBOL)
2338 abs_symbol
.bsym
= bfd_abs_section
.symbol
;
2341 /* Can't initialise a union. Sigh. */
2342 S_SET_SEGMENT (&abs_symbol
, absolute_section
);
2344 abs_symbol
.sy_value
.X_op
= O_constant
;
2345 abs_symbol
.sy_frag
= &zero_address_frag
;
2347 if (LOCAL_LABELS_FB
)
2353 /* Maximum indent level.
2354 Available for modification inside a gdb session. */
2355 int max_indent_level
= 8;
2362 printf ("%*s", indent_level
* 4, "");
2368 print_symbol_value_1 (FILE *file
, symbolS
*sym
)
2370 const char *name
= S_GET_NAME (sym
);
2371 if (!name
|| !name
[0])
2373 fprintf (file
, "sym %lx %s", (unsigned long) sym
, name
);
2375 if (LOCAL_SYMBOL_CHECK (sym
))
2377 #ifdef BFD_ASSEMBLER
2378 struct local_symbol
*locsym
= (struct local_symbol
*) sym
;
2379 if (local_symbol_get_frag (locsym
) != &zero_address_frag
2380 && local_symbol_get_frag (locsym
) != NULL
)
2381 fprintf (file
, " frag %lx", (long) local_symbol_get_frag (locsym
));
2382 if (local_symbol_resolved_p (locsym
))
2383 fprintf (file
, " resolved");
2384 fprintf (file
, " local");
2389 if (sym
->sy_frag
!= &zero_address_frag
)
2390 fprintf (file
, " frag %lx", (long) sym
->sy_frag
);
2392 fprintf (file
, " written");
2393 if (sym
->sy_resolved
)
2394 fprintf (file
, " resolved");
2395 else if (sym
->sy_resolving
)
2396 fprintf (file
, " resolving");
2397 if (sym
->sy_used_in_reloc
)
2398 fprintf (file
, " used-in-reloc");
2400 fprintf (file
, " used");
2401 if (S_IS_LOCAL (sym
))
2402 fprintf (file
, " local");
2403 if (S_IS_EXTERN (sym
))
2404 fprintf (file
, " extern");
2405 if (S_IS_DEBUG (sym
))
2406 fprintf (file
, " debug");
2407 if (S_IS_DEFINED (sym
))
2408 fprintf (file
, " defined");
2410 fprintf (file
, " %s", segment_name (S_GET_SEGMENT (sym
)));
2411 if (symbol_resolved_p (sym
))
2413 segT s
= S_GET_SEGMENT (sym
);
2415 if (s
!= undefined_section
2416 && s
!= expr_section
)
2417 fprintf (file
, " %lx", (long) S_GET_VALUE (sym
));
2419 else if (indent_level
< max_indent_level
2420 && S_GET_SEGMENT (sym
) != undefined_section
)
2423 fprintf (file
, "\n%*s<", indent_level
* 4, "");
2424 #ifdef BFD_ASSEMBLER
2425 if (LOCAL_SYMBOL_CHECK (sym
))
2426 fprintf (file
, "constant %lx",
2427 (long) ((struct local_symbol
*) sym
)->lsy_value
);
2430 print_expr_1 (file
, &sym
->sy_value
);
2431 fprintf (file
, ">");
2438 print_symbol_value (symbolS
*sym
)
2441 print_symbol_value_1 (stderr
, sym
);
2442 fprintf (stderr
, "\n");
2446 print_binary (FILE *file
, const char *name
, expressionS
*exp
)
2449 fprintf (file
, "%s\n%*s<", name
, indent_level
* 4, "");
2450 print_symbol_value_1 (file
, exp
->X_add_symbol
);
2451 fprintf (file
, ">\n%*s<", indent_level
* 4, "");
2452 print_symbol_value_1 (file
, exp
->X_op_symbol
);
2453 fprintf (file
, ">");
2458 print_expr_1 (FILE *file
, expressionS
*exp
)
2460 fprintf (file
, "expr %lx ", (long) exp
);
2464 fprintf (file
, "illegal");
2467 fprintf (file
, "absent");
2470 fprintf (file
, "constant %lx", (long) exp
->X_add_number
);
2474 fprintf (file
, "symbol\n%*s<", indent_level
* 4, "");
2475 print_symbol_value_1 (file
, exp
->X_add_symbol
);
2476 fprintf (file
, ">");
2478 if (exp
->X_add_number
)
2479 fprintf (file
, "\n%*s%lx", indent_level
* 4, "",
2480 (long) exp
->X_add_number
);
2484 fprintf (file
, "register #%d", (int) exp
->X_add_number
);
2487 fprintf (file
, "big");
2490 fprintf (file
, "uminus -<");
2492 print_symbol_value_1 (file
, exp
->X_add_symbol
);
2493 fprintf (file
, ">");
2494 goto maybe_print_addnum
;
2496 fprintf (file
, "bit_not");
2499 print_binary (file
, "multiply", exp
);
2502 print_binary (file
, "divide", exp
);
2505 print_binary (file
, "modulus", exp
);
2508 print_binary (file
, "lshift", exp
);
2511 print_binary (file
, "rshift", exp
);
2513 case O_bit_inclusive_or
:
2514 print_binary (file
, "bit_ior", exp
);
2516 case O_bit_exclusive_or
:
2517 print_binary (file
, "bit_xor", exp
);
2520 print_binary (file
, "bit_and", exp
);
2523 print_binary (file
, "eq", exp
);
2526 print_binary (file
, "ne", exp
);
2529 print_binary (file
, "lt", exp
);
2532 print_binary (file
, "le", exp
);
2535 print_binary (file
, "ge", exp
);
2538 print_binary (file
, "gt", exp
);
2541 print_binary (file
, "logical_and", exp
);
2544 print_binary (file
, "logical_or", exp
);
2548 fprintf (file
, "add\n%*s<", indent_level
* 4, "");
2549 print_symbol_value_1 (file
, exp
->X_add_symbol
);
2550 fprintf (file
, ">\n%*s<", indent_level
* 4, "");
2551 print_symbol_value_1 (file
, exp
->X_op_symbol
);
2552 fprintf (file
, ">");
2553 goto maybe_print_addnum
;
2556 fprintf (file
, "subtract\n%*s<", indent_level
* 4, "");
2557 print_symbol_value_1 (file
, exp
->X_add_symbol
);
2558 fprintf (file
, ">\n%*s<", indent_level
* 4, "");
2559 print_symbol_value_1 (file
, exp
->X_op_symbol
);
2560 fprintf (file
, ">");
2561 goto maybe_print_addnum
;
2563 fprintf (file
, "{unknown opcode %d}", (int) exp
->X_op
);
2570 print_expr (expressionS
*exp
)
2572 print_expr_1 (stderr
, exp
);
2573 fprintf (stderr
, "\n");
2577 symbol_print_statistics (FILE *file
)
2579 hash_print_statistics (file
, "symbol table", sy_hash
);
2580 #ifdef BFD_ASSEMBLER
2581 hash_print_statistics (file
, "mini local symbol table", local_hash
);
2582 fprintf (file
, "%lu mini local symbols created, %lu converted\n",
2583 local_symbol_count
, local_symbol_conversion_count
);