(debug_apply_rela_addends): Remove redundant %s from printf string.
[binutils.git] / gas / symbols.c
blob002ae359a43af9dc1b61a3921451a995591c715f
1 /* symbols.c -symbol table-
2 Copyright 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004, 2005
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)
11 any later version.
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
21 02111-1307, USA. */
23 /* #define DEBUG_SYMS / * to debug symbol list maintenance. */
25 #include "as.h"
27 #include "safe-ctype.h"
28 #include "obstack.h" /* For "symbols.h" */
29 #include "subsegs.h"
31 #include "struc-symbol.h"
33 /* This is non-zero if symbols are case sensitive, which is the
34 default. */
35 int symbols_case_sensitive = 1;
37 #ifndef WORKING_DOT_WORD
38 extern int new_broken_words;
39 #endif
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;
50 symbolS abs_symbol;
52 #ifdef DEBUG_SYMS
53 #define debug_verify_symchain verify_symbol_chain
54 #else
55 #define debug_verify_symchain(root, last) ((void) 0)
56 #endif
58 #define DOLLAR_LABEL_CHAR '\001'
59 #define LOCAL_LABEL_CHAR '\002'
61 struct obstack notes;
62 #ifdef USE_UNIQUE
63 /* The name of an external symbol which is
64 used to make weak PE symbol names unique. */
65 const char * an_external_name;
66 #endif
68 static char *save_symbol_name (const char *);
69 static void fb_label_init (void);
70 static long dollar_label_instance (long);
71 static long fb_label_instance (long);
73 static void print_binary (FILE *, const char *, expressionS *);
74 static void report_op_error (symbolS *, symbolS *, symbolS *);
76 /* Return a pointer to a new symbol. Die if we can't make a new
77 symbol. Fill in the symbol's values. Add symbol to end of symbol
78 chain.
80 This function should be called in the general case of creating a
81 symbol. However, if the output file symbol table has already been
82 set, and you are certain that this symbol won't be wanted in the
83 output file, you can call symbol_create. */
85 symbolS *
86 symbol_new (const char *name, segT segment, valueT valu, fragS *frag)
88 symbolS *symbolP = symbol_create (name, segment, valu, frag);
90 /* Link to end of symbol chain. */
91 #ifdef BFD_ASSEMBLER
93 extern int symbol_table_frozen;
94 if (symbol_table_frozen)
95 abort ();
97 #endif
98 symbol_append (symbolP, symbol_lastP, &symbol_rootP, &symbol_lastP);
100 return symbolP;
103 /* Save a symbol name on a permanent obstack, and convert it according
104 to the object file format. */
106 static char *
107 save_symbol_name (const char *name)
109 unsigned int name_length;
110 char *ret;
112 name_length = strlen (name) + 1; /* +1 for \0. */
113 obstack_grow (&notes, name, name_length);
114 ret = obstack_finish (&notes);
116 #ifdef STRIP_UNDERSCORE
117 if (ret[0] == '_')
118 ++ret;
119 #endif
121 #ifdef tc_canonicalize_symbol_name
122 ret = tc_canonicalize_symbol_name (ret);
123 #endif
125 if (! symbols_case_sensitive)
127 char *s;
129 for (s = ret; *s != '\0'; s++)
130 *s = TOUPPER (*s);
133 return ret;
136 symbolS *
137 symbol_create (const char *name, /* It is copied, the caller can destroy/modify. */
138 segT segment, /* Segment identifier (SEG_<something>). */
139 valueT valu, /* Symbol value. */
140 fragS *frag /* Associated fragment. */)
142 char *preserved_copy_of_name;
143 symbolS *symbolP;
145 preserved_copy_of_name = save_symbol_name (name);
147 symbolP = (symbolS *) obstack_alloc (&notes, sizeof (symbolS));
149 /* symbol must be born in some fixed state. This seems as good as any. */
150 memset (symbolP, 0, sizeof (symbolS));
152 #ifdef BFD_ASSEMBLER
153 symbolP->bsym = bfd_make_empty_symbol (stdoutput);
154 if (symbolP->bsym == NULL)
155 as_perror ("%s", "bfd_make_empty_symbol");
156 symbolP->bsym->udata.p = (PTR) symbolP;
157 #endif
158 S_SET_NAME (symbolP, preserved_copy_of_name);
160 S_SET_SEGMENT (symbolP, segment);
161 S_SET_VALUE (symbolP, valu);
162 symbol_clear_list_pointers (symbolP);
164 symbolP->sy_frag = frag;
165 #ifndef BFD_ASSEMBLER
166 symbolP->sy_number = ~0;
167 symbolP->sy_name_offset = (unsigned int) ~0;
168 #endif
170 obj_symbol_new_hook (symbolP);
172 #ifdef tc_symbol_new_hook
173 tc_symbol_new_hook (symbolP);
174 #endif
176 return symbolP;
179 #ifdef BFD_ASSEMBLER
181 /* Local symbol support. If we can get away with it, we keep only a
182 small amount of information for local symbols. */
184 static symbolS *local_symbol_convert (struct local_symbol *);
186 /* Used for statistics. */
188 static unsigned long local_symbol_count;
189 static unsigned long local_symbol_conversion_count;
191 /* This macro is called with a symbol argument passed by reference.
192 It returns whether this is a local symbol. If necessary, it
193 changes its argument to the real symbol. */
195 #define LOCAL_SYMBOL_CHECK(s) \
196 (s->bsym == NULL \
197 ? (local_symbol_converted_p ((struct local_symbol *) s) \
198 ? (s = local_symbol_get_real_symbol ((struct local_symbol *) s), \
199 0) \
200 : 1) \
201 : 0)
203 /* Create a local symbol and insert it into the local hash table. */
205 struct local_symbol *
206 local_symbol_make (const char *name, segT section, valueT value, fragS *frag)
208 char *name_copy;
209 struct local_symbol *ret;
211 ++local_symbol_count;
213 name_copy = save_symbol_name (name);
215 ret = (struct local_symbol *) obstack_alloc (&notes, sizeof *ret);
216 ret->lsy_marker = NULL;
217 ret->lsy_name = name_copy;
218 ret->lsy_section = section;
219 local_symbol_set_frag (ret, frag);
220 ret->lsy_value = value;
222 hash_jam (local_hash, name_copy, (PTR) ret);
224 return ret;
227 /* Convert a local symbol into a real symbol. Note that we do not
228 reclaim the space used by the local symbol. */
230 static symbolS *
231 local_symbol_convert (struct local_symbol *locsym)
233 symbolS *ret;
235 assert (locsym->lsy_marker == NULL);
236 if (local_symbol_converted_p (locsym))
237 return local_symbol_get_real_symbol (locsym);
239 ++local_symbol_conversion_count;
241 ret = symbol_new (locsym->lsy_name, locsym->lsy_section, locsym->lsy_value,
242 local_symbol_get_frag (locsym));
244 if (local_symbol_resolved_p (locsym))
245 ret->sy_resolved = 1;
247 /* Local symbols are always either defined or used. */
248 ret->sy_used = 1;
250 #ifdef TC_LOCAL_SYMFIELD_CONVERT
251 TC_LOCAL_SYMFIELD_CONVERT (locsym, ret);
252 #endif
254 symbol_table_insert (ret);
256 local_symbol_mark_converted (locsym);
257 local_symbol_set_real_symbol (locsym, ret);
259 hash_jam (local_hash, locsym->lsy_name, NULL);
261 return ret;
264 #else /* ! BFD_ASSEMBLER */
266 #define LOCAL_SYMBOL_CHECK(s) 0
267 #define local_symbol_convert(s) ((symbolS *) s)
269 #endif /* ! BFD_ASSEMBLER */
271 /* We have just seen "<name>:".
272 Creates a struct symbol unless it already exists.
274 Gripes if we are redefining a symbol incompatibly (and ignores it). */
276 symbolS *
277 colon (/* Just seen "x:" - rattle symbols & frags. */
278 const char *sym_name /* Symbol name, as a cannonical string. */
279 /* We copy this string: OK to alter later. */)
281 register symbolS *symbolP; /* Symbol we are working with. */
283 /* Sun local labels go out of scope whenever a non-local symbol is
284 defined. */
285 if (LOCAL_LABELS_DOLLAR)
287 int local;
289 #ifdef BFD_ASSEMBLER
290 local = bfd_is_local_label_name (stdoutput, sym_name);
291 #else
292 local = LOCAL_LABEL (sym_name);
293 #endif
295 if (! local)
296 dollar_label_clear ();
299 #ifndef WORKING_DOT_WORD
300 if (new_broken_words)
302 struct broken_word *a;
303 int possible_bytes;
304 fragS *frag_tmp;
305 char *frag_opcode;
307 if (now_seg == absolute_section)
309 as_bad (_("cannot define symbol `%s' in absolute section"), sym_name);
310 return NULL;
313 possible_bytes = (md_short_jump_size
314 + new_broken_words * md_long_jump_size);
316 frag_tmp = frag_now;
317 frag_opcode = frag_var (rs_broken_word,
318 possible_bytes,
319 possible_bytes,
320 (relax_substateT) 0,
321 (symbolS *) broken_words,
322 (offsetT) 0,
323 NULL);
325 /* We want to store the pointer to where to insert the jump
326 table in the fr_opcode of the rs_broken_word frag. This
327 requires a little hackery. */
328 while (frag_tmp
329 && (frag_tmp->fr_type != rs_broken_word
330 || frag_tmp->fr_opcode))
331 frag_tmp = frag_tmp->fr_next;
332 know (frag_tmp);
333 frag_tmp->fr_opcode = frag_opcode;
334 new_broken_words = 0;
336 for (a = broken_words; a && a->dispfrag == 0; a = a->next_broken_word)
337 a->dispfrag = frag_tmp;
339 #endif /* WORKING_DOT_WORD */
341 if ((symbolP = symbol_find (sym_name)) != 0)
343 #ifdef RESOLVE_SYMBOL_REDEFINITION
344 if (RESOLVE_SYMBOL_REDEFINITION (symbolP))
345 return symbolP;
346 #endif
347 /* Now check for undefined symbols. */
348 if (LOCAL_SYMBOL_CHECK (symbolP))
350 #ifdef BFD_ASSEMBLER
351 struct local_symbol *locsym = (struct local_symbol *) symbolP;
353 if (locsym->lsy_section != undefined_section
354 && (local_symbol_get_frag (locsym) != frag_now
355 || locsym->lsy_section != now_seg
356 || locsym->lsy_value != frag_now_fix ()))
358 as_bad (_("symbol `%s' is already defined"), sym_name);
359 return symbolP;
362 locsym->lsy_section = now_seg;
363 local_symbol_set_frag (locsym, frag_now);
364 locsym->lsy_value = frag_now_fix ();
365 #endif
367 else if (!S_IS_DEFINED (symbolP) || S_IS_COMMON (symbolP))
369 if (S_GET_VALUE (symbolP) == 0)
371 symbolP->sy_frag = frag_now;
372 #ifdef OBJ_VMS
373 S_SET_OTHER (symbolP, const_flag);
374 #endif
375 S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
376 S_SET_SEGMENT (symbolP, now_seg);
377 #ifdef N_UNDF
378 know (N_UNDF == 0);
379 #endif /* if we have one, it better be zero. */
382 else
384 /* There are still several cases to check:
386 A .comm/.lcomm symbol being redefined as initialized
387 data is OK
389 A .comm/.lcomm symbol being redefined with a larger
390 size is also OK
392 This only used to be allowed on VMS gas, but Sun cc
393 on the sparc also depends on it. */
395 if (((!S_IS_DEBUG (symbolP)
396 && (!S_IS_DEFINED (symbolP) || S_IS_COMMON (symbolP))
397 && S_IS_EXTERNAL (symbolP))
398 || S_GET_SEGMENT (symbolP) == bss_section)
399 && (now_seg == data_section
400 || now_seg == S_GET_SEGMENT (symbolP)))
402 /* Select which of the 2 cases this is. */
403 if (now_seg != data_section)
405 /* New .comm for prev .comm symbol.
407 If the new size is larger we just change its
408 value. If the new size is smaller, we ignore
409 this symbol. */
410 if (S_GET_VALUE (symbolP)
411 < ((unsigned) frag_now_fix ()))
413 S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
416 else
418 /* It is a .comm/.lcomm being converted to initialized
419 data. */
420 symbolP->sy_frag = frag_now;
421 #ifdef OBJ_VMS
422 S_SET_OTHER (symbolP, const_flag);
423 #endif
424 S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
425 S_SET_SEGMENT (symbolP, now_seg); /* Keep N_EXT bit. */
428 else
430 #if (!defined (OBJ_AOUT) && !defined (OBJ_MAYBE_AOUT) \
431 && !defined (OBJ_BOUT) && !defined (OBJ_MAYBE_BOUT))
432 static const char *od_buf = "";
433 #else
434 char od_buf[100];
435 od_buf[0] = '\0';
436 #ifdef BFD_ASSEMBLER
437 if (OUTPUT_FLAVOR == bfd_target_aout_flavour)
438 #endif
439 sprintf (od_buf, "%d.%d.",
440 S_GET_OTHER (symbolP),
441 S_GET_DESC (symbolP));
442 #endif
443 as_bad (_("symbol `%s' is already defined as \"%s\"/%s%ld"),
444 sym_name,
445 segment_name (S_GET_SEGMENT (symbolP)),
446 od_buf,
447 (long) S_GET_VALUE (symbolP));
449 } /* if the undefined symbol has no value */
451 else
453 /* Don't blow up if the definition is the same. */
454 if (!(frag_now == symbolP->sy_frag
455 && S_GET_VALUE (symbolP) == frag_now_fix ()
456 && S_GET_SEGMENT (symbolP) == now_seg))
457 as_bad (_("symbol `%s' is already defined"), sym_name);
461 #ifdef BFD_ASSEMBLER
462 else if (! flag_keep_locals && bfd_is_local_label_name (stdoutput, sym_name))
464 symbolP = (symbolS *) local_symbol_make (sym_name, now_seg,
465 (valueT) frag_now_fix (),
466 frag_now);
468 #endif /* BFD_ASSEMBLER */
469 else
471 symbolP = symbol_new (sym_name, now_seg, (valueT) frag_now_fix (),
472 frag_now);
473 #ifdef OBJ_VMS
474 S_SET_OTHER (symbolP, const_flag);
475 #endif /* OBJ_VMS */
477 symbol_table_insert (symbolP);
480 if (mri_common_symbol != NULL)
482 /* This symbol is actually being defined within an MRI common
483 section. This requires special handling. */
484 if (LOCAL_SYMBOL_CHECK (symbolP))
485 symbolP = local_symbol_convert ((struct local_symbol *) symbolP);
486 symbolP->sy_value.X_op = O_symbol;
487 symbolP->sy_value.X_add_symbol = mri_common_symbol;
488 symbolP->sy_value.X_add_number = S_GET_VALUE (mri_common_symbol);
489 symbolP->sy_frag = &zero_address_frag;
490 S_SET_SEGMENT (symbolP, expr_section);
491 symbolP->sy_mri_common = 1;
494 #ifdef tc_frob_label
495 tc_frob_label (symbolP);
496 #endif
497 #ifdef obj_frob_label
498 obj_frob_label (symbolP);
499 #endif
501 return symbolP;
504 /* Die if we can't insert the symbol. */
506 void
507 symbol_table_insert (symbolS *symbolP)
509 register const char *error_string;
511 know (symbolP);
512 know (S_GET_NAME (symbolP));
514 if (LOCAL_SYMBOL_CHECK (symbolP))
516 error_string = hash_jam (local_hash, S_GET_NAME (symbolP),
517 (PTR) symbolP);
518 if (error_string != NULL)
519 as_fatal (_("inserting \"%s\" into symbol table failed: %s"),
520 S_GET_NAME (symbolP), error_string);
521 return;
524 if ((error_string = hash_jam (sy_hash, S_GET_NAME (symbolP), (PTR) symbolP)))
526 as_fatal (_("inserting \"%s\" into symbol table failed: %s"),
527 S_GET_NAME (symbolP), error_string);
528 } /* on error */
531 /* If a symbol name does not exist, create it as undefined, and insert
532 it into the symbol table. Return a pointer to it. */
534 symbolS *
535 symbol_find_or_make (const char *name)
537 register symbolS *symbolP;
539 symbolP = symbol_find (name);
541 if (symbolP == NULL)
543 #ifdef BFD_ASSEMBLER
544 if (! flag_keep_locals && bfd_is_local_label_name (stdoutput, name))
546 symbolP = md_undefined_symbol ((char *) name);
547 if (symbolP != NULL)
548 return symbolP;
550 symbolP = (symbolS *) local_symbol_make (name, undefined_section,
551 (valueT) 0,
552 &zero_address_frag);
553 return symbolP;
555 #endif
557 symbolP = symbol_make (name);
559 symbol_table_insert (symbolP);
560 } /* if symbol wasn't found */
562 return (symbolP);
565 symbolS *
566 symbol_make (const char *name)
568 symbolS *symbolP;
570 /* Let the machine description default it, e.g. for register names. */
571 symbolP = md_undefined_symbol ((char *) name);
573 if (!symbolP)
574 symbolP = symbol_new (name, undefined_section, (valueT) 0, &zero_address_frag);
576 return (symbolP);
579 symbolS *
580 symbol_temp_new (segT seg, valueT ofs, fragS *frag)
582 return symbol_new (FAKE_LABEL_NAME, seg, ofs, frag);
585 symbolS *
586 symbol_temp_new_now (void)
588 return symbol_temp_new (now_seg, frag_now_fix (), frag_now);
591 symbolS *
592 symbol_temp_make (void)
594 return symbol_make (FAKE_LABEL_NAME);
597 /* Implement symbol table lookup.
598 In: A symbol's name as a string: '\0' can't be part of a symbol name.
599 Out: NULL if the name was not in the symbol table, else the address
600 of a struct symbol associated with that name. */
602 symbolS *
603 symbol_find (const char *name)
605 #ifdef STRIP_UNDERSCORE
606 return (symbol_find_base (name, 1));
607 #else /* STRIP_UNDERSCORE */
608 return (symbol_find_base (name, 0));
609 #endif /* STRIP_UNDERSCORE */
612 symbolS *
613 symbol_find_exact (const char *name)
615 #ifdef BFD_ASSEMBLER
617 struct local_symbol *locsym;
619 locsym = (struct local_symbol *) hash_find (local_hash, name);
620 if (locsym != NULL)
621 return (symbolS *) locsym;
623 #endif
625 return ((symbolS *) hash_find (sy_hash, name));
628 symbolS *
629 symbol_find_base (const char *name, int strip_underscore)
631 if (strip_underscore && *name == '_')
632 name++;
634 #ifdef tc_canonicalize_symbol_name
636 char *copy;
637 size_t len = strlen (name) + 1;
639 copy = (char *) alloca (len);
640 memcpy (copy, name, len);
641 name = tc_canonicalize_symbol_name (copy);
643 #endif
645 if (! symbols_case_sensitive)
647 char *copy;
648 const char *orig;
649 unsigned char c;
651 orig = name;
652 name = copy = (char *) alloca (strlen (name) + 1);
654 while ((c = *orig++) != '\0')
656 *copy++ = TOUPPER (c);
658 *copy = '\0';
661 return symbol_find_exact (name);
664 /* Once upon a time, symbols were kept in a singly linked list. At
665 least coff needs to be able to rearrange them from time to time, for
666 which a doubly linked list is much more convenient. Loic did these
667 as macros which seemed dangerous to me so they're now functions.
668 xoxorich. */
670 /* Link symbol ADDME after symbol TARGET in the chain. */
672 void
673 symbol_append (symbolS *addme, symbolS *target,
674 symbolS **rootPP, symbolS **lastPP)
676 if (LOCAL_SYMBOL_CHECK (addme))
677 abort ();
678 if (target != NULL && LOCAL_SYMBOL_CHECK (target))
679 abort ();
681 if (target == NULL)
683 know (*rootPP == NULL);
684 know (*lastPP == NULL);
685 addme->sy_next = NULL;
686 #ifdef SYMBOLS_NEED_BACKPOINTERS
687 addme->sy_previous = NULL;
688 #endif
689 *rootPP = addme;
690 *lastPP = addme;
691 return;
692 } /* if the list is empty */
694 if (target->sy_next != NULL)
696 #ifdef SYMBOLS_NEED_BACKPOINTERS
697 target->sy_next->sy_previous = addme;
698 #endif /* SYMBOLS_NEED_BACKPOINTERS */
700 else
702 know (*lastPP == target);
703 *lastPP = addme;
704 } /* if we have a next */
706 addme->sy_next = target->sy_next;
707 target->sy_next = addme;
709 #ifdef SYMBOLS_NEED_BACKPOINTERS
710 addme->sy_previous = target;
711 #endif /* SYMBOLS_NEED_BACKPOINTERS */
713 debug_verify_symchain (symbol_rootP, symbol_lastP);
716 /* Set the chain pointers of SYMBOL to null. */
718 void
719 symbol_clear_list_pointers (symbolS *symbolP)
721 if (LOCAL_SYMBOL_CHECK (symbolP))
722 abort ();
723 symbolP->sy_next = NULL;
724 #ifdef SYMBOLS_NEED_BACKPOINTERS
725 symbolP->sy_previous = NULL;
726 #endif
729 #ifdef SYMBOLS_NEED_BACKPOINTERS
730 /* Remove SYMBOLP from the list. */
732 void
733 symbol_remove (symbolS *symbolP, symbolS **rootPP, symbolS **lastPP)
735 if (LOCAL_SYMBOL_CHECK (symbolP))
736 abort ();
738 if (symbolP == *rootPP)
740 *rootPP = symbolP->sy_next;
741 } /* if it was the root */
743 if (symbolP == *lastPP)
745 *lastPP = symbolP->sy_previous;
746 } /* if it was the tail */
748 if (symbolP->sy_next != NULL)
750 symbolP->sy_next->sy_previous = symbolP->sy_previous;
751 } /* if not last */
753 if (symbolP->sy_previous != NULL)
755 symbolP->sy_previous->sy_next = symbolP->sy_next;
756 } /* if not first */
758 debug_verify_symchain (*rootPP, *lastPP);
761 /* Link symbol ADDME before symbol TARGET in the chain. */
763 void
764 symbol_insert (symbolS *addme, symbolS *target,
765 symbolS **rootPP, symbolS **lastPP ATTRIBUTE_UNUSED)
767 if (LOCAL_SYMBOL_CHECK (addme))
768 abort ();
769 if (LOCAL_SYMBOL_CHECK (target))
770 abort ();
772 if (target->sy_previous != NULL)
774 target->sy_previous->sy_next = addme;
776 else
778 know (*rootPP == target);
779 *rootPP = addme;
780 } /* if not first */
782 addme->sy_previous = target->sy_previous;
783 target->sy_previous = addme;
784 addme->sy_next = target;
786 debug_verify_symchain (*rootPP, *lastPP);
789 #endif /* SYMBOLS_NEED_BACKPOINTERS */
791 void
792 verify_symbol_chain (symbolS *rootP, symbolS *lastP)
794 symbolS *symbolP = rootP;
796 if (symbolP == NULL)
797 return;
799 for (; symbol_next (symbolP) != NULL; symbolP = symbol_next (symbolP))
801 #ifdef BFD_ASSEMBLER
802 assert (symbolP->bsym != NULL);
803 #endif
804 #ifdef SYMBOLS_NEED_BACKPOINTERS
805 assert (symbolP->sy_next->sy_previous == symbolP);
806 #else
807 /* Walk the list anyways, to make sure pointers are still good. */
809 #endif /* SYMBOLS_NEED_BACKPOINTERS */
812 assert (lastP == symbolP);
815 void
816 verify_symbol_chain_2 (symbolS *sym)
818 symbolS *p = sym, *n = sym;
819 #ifdef SYMBOLS_NEED_BACKPOINTERS
820 while (symbol_previous (p))
821 p = symbol_previous (p);
822 #endif
823 while (symbol_next (n))
824 n = symbol_next (n);
825 verify_symbol_chain (p, n);
828 static void
829 report_op_error (symbolS *symp, symbolS *left, symbolS *right)
831 char *file;
832 unsigned int line;
833 segT seg_left = S_GET_SEGMENT (left);
834 segT seg_right = right ? S_GET_SEGMENT (right) : 0;
836 if (expr_symbol_where (symp, &file, &line))
838 if (seg_left == undefined_section)
839 as_bad_where (file, line,
840 _("undefined symbol `%s' in operation"),
841 S_GET_NAME (left));
842 if (seg_right == undefined_section)
843 as_bad_where (file, line,
844 _("undefined symbol `%s' in operation"),
845 S_GET_NAME (right));
846 if (seg_left != undefined_section
847 && seg_right != undefined_section)
849 if (right)
850 as_bad_where (file, line,
851 _("invalid sections for operation on `%s' and `%s'"),
852 S_GET_NAME (left), S_GET_NAME (right));
853 else
854 as_bad_where (file, line,
855 _("invalid section for operation on `%s'"),
856 S_GET_NAME (left));
860 else
862 if (seg_left == undefined_section)
863 as_bad (_("undefined symbol `%s' in operation setting `%s'"),
864 S_GET_NAME (left), S_GET_NAME (symp));
865 if (seg_right == undefined_section)
866 as_bad (_("undefined symbol `%s' in operation setting `%s'"),
867 S_GET_NAME (right), S_GET_NAME (symp));
868 if (seg_left != undefined_section
869 && seg_right != undefined_section)
871 if (right)
872 as_bad_where (file, line,
873 _("invalid sections for operation on `%s' and `%s' setting `%s'"),
874 S_GET_NAME (left), S_GET_NAME (right), S_GET_NAME (symp));
875 else
876 as_bad_where (file, line,
877 _("invalid section for operation on `%s' setting `%s'"),
878 S_GET_NAME (left), S_GET_NAME (symp));
883 /* Resolve the value of a symbol. This is called during the final
884 pass over the symbol table to resolve any symbols with complex
885 values. */
887 valueT
888 resolve_symbol_value (symbolS *symp)
890 int resolved;
891 valueT final_val = 0;
892 segT final_seg;
894 #ifdef BFD_ASSEMBLER
895 if (LOCAL_SYMBOL_CHECK (symp))
897 struct local_symbol *locsym = (struct local_symbol *) symp;
899 final_val = locsym->lsy_value;
900 if (local_symbol_resolved_p (locsym))
901 return final_val;
903 final_val += local_symbol_get_frag (locsym)->fr_address / OCTETS_PER_BYTE;
905 if (finalize_syms)
907 locsym->lsy_value = final_val;
908 local_symbol_mark_resolved (locsym);
911 return final_val;
913 #endif
915 if (symp->sy_resolved)
917 if (symp->sy_value.X_op == O_constant)
918 return (valueT) symp->sy_value.X_add_number;
919 else
920 return 0;
923 resolved = 0;
924 final_seg = S_GET_SEGMENT (symp);
926 if (symp->sy_resolving)
928 if (finalize_syms)
929 as_bad (_("symbol definition loop encountered at `%s'"),
930 S_GET_NAME (symp));
931 final_val = 0;
932 resolved = 1;
934 else
936 symbolS *add_symbol, *op_symbol;
937 offsetT left, right;
938 segT seg_left, seg_right;
939 operatorT op;
941 symp->sy_resolving = 1;
943 /* Help out with CSE. */
944 add_symbol = symp->sy_value.X_add_symbol;
945 op_symbol = symp->sy_value.X_op_symbol;
946 final_val = symp->sy_value.X_add_number;
947 op = symp->sy_value.X_op;
949 switch (op)
951 default:
952 BAD_CASE (op);
953 break;
955 case O_absent:
956 final_val = 0;
957 /* Fall through. */
959 case O_constant:
960 final_val += symp->sy_frag->fr_address / OCTETS_PER_BYTE;
961 if (final_seg == expr_section)
962 final_seg = absolute_section;
963 resolved = 1;
964 break;
966 case O_symbol:
967 case O_symbol_rva:
968 left = resolve_symbol_value (add_symbol);
969 seg_left = S_GET_SEGMENT (add_symbol);
970 if (finalize_syms)
971 symp->sy_value.X_op_symbol = NULL;
973 do_symbol:
974 if (symp->sy_mri_common)
976 /* This is a symbol inside an MRI common section. The
977 relocation routines are going to handle it specially.
978 Don't change the value. */
979 resolved = symbol_resolved_p (add_symbol);
980 break;
983 if (finalize_syms && final_val == 0)
985 if (LOCAL_SYMBOL_CHECK (add_symbol))
986 add_symbol = local_symbol_convert ((struct local_symbol *)
987 add_symbol);
988 copy_symbol_attributes (symp, add_symbol);
991 /* If we have equated this symbol to an undefined or common
992 symbol, keep X_op set to O_symbol, and don't change
993 X_add_number. This permits the routine which writes out
994 relocation to detect this case, and convert the
995 relocation to be against the symbol to which this symbol
996 is equated. */
997 if (! S_IS_DEFINED (add_symbol)
998 #if defined (OBJ_COFF) && defined (TE_PE) && (defined(BFD_ASSEMBLER) || defined(S_IS_WEAK))
999 || S_IS_WEAK (add_symbol)
1000 #endif
1001 || S_IS_COMMON (add_symbol))
1003 if (finalize_syms)
1005 symp->sy_value.X_op = O_symbol;
1006 symp->sy_value.X_add_symbol = add_symbol;
1007 symp->sy_value.X_add_number = final_val;
1008 /* Use X_op_symbol as a flag. */
1009 symp->sy_value.X_op_symbol = add_symbol;
1010 final_seg = seg_left;
1012 final_val = 0;
1013 resolved = symbol_resolved_p (add_symbol);
1014 symp->sy_resolving = 0;
1015 goto exit_dont_set_value;
1017 else if (finalize_syms && final_seg == expr_section
1018 && seg_left != expr_section)
1020 /* If the symbol is an expression symbol, do similarly
1021 as for undefined and common syms above. Handles
1022 "sym +/- expr" where "expr" cannot be evaluated
1023 immediately, and we want relocations to be against
1024 "sym", eg. because it is weak. */
1025 symp->sy_value.X_op = O_symbol;
1026 symp->sy_value.X_add_symbol = add_symbol;
1027 symp->sy_value.X_add_number = final_val;
1028 symp->sy_value.X_op_symbol = add_symbol;
1029 final_seg = seg_left;
1030 final_val += symp->sy_frag->fr_address + left;
1031 resolved = symbol_resolved_p (add_symbol);
1032 symp->sy_resolving = 0;
1033 goto exit_dont_set_value;
1035 else
1037 final_val += symp->sy_frag->fr_address + left;
1038 if (final_seg == expr_section || final_seg == undefined_section)
1039 final_seg = seg_left;
1042 resolved = symbol_resolved_p (add_symbol);
1043 break;
1045 case O_uminus:
1046 case O_bit_not:
1047 case O_logical_not:
1048 left = resolve_symbol_value (add_symbol);
1049 seg_left = S_GET_SEGMENT (add_symbol);
1051 /* By reducing these to the relevant dyadic operator, we get
1052 !S -> S == 0 permitted on anything,
1053 -S -> 0 - S only permitted on absolute
1054 ~S -> S ^ ~0 only permitted on absolute */
1055 if (op != O_logical_not && seg_left != absolute_section
1056 && finalize_syms)
1057 report_op_error (symp, add_symbol, NULL);
1059 if (final_seg == expr_section || final_seg == undefined_section)
1060 final_seg = absolute_section;
1062 if (op == O_uminus)
1063 left = -left;
1064 else if (op == O_logical_not)
1065 left = !left;
1066 else
1067 left = ~left;
1069 final_val += left + symp->sy_frag->fr_address;
1071 resolved = symbol_resolved_p (add_symbol);
1072 break;
1074 case O_multiply:
1075 case O_divide:
1076 case O_modulus:
1077 case O_left_shift:
1078 case O_right_shift:
1079 case O_bit_inclusive_or:
1080 case O_bit_or_not:
1081 case O_bit_exclusive_or:
1082 case O_bit_and:
1083 case O_add:
1084 case O_subtract:
1085 case O_eq:
1086 case O_ne:
1087 case O_lt:
1088 case O_le:
1089 case O_ge:
1090 case O_gt:
1091 case O_logical_and:
1092 case O_logical_or:
1093 left = resolve_symbol_value (add_symbol);
1094 right = resolve_symbol_value (op_symbol);
1095 seg_left = S_GET_SEGMENT (add_symbol);
1096 seg_right = S_GET_SEGMENT (op_symbol);
1098 /* Simplify addition or subtraction of a constant by folding the
1099 constant into X_add_number. */
1100 if (op == O_add)
1102 if (seg_right == absolute_section)
1104 final_val += right;
1105 goto do_symbol;
1107 else if (seg_left == absolute_section)
1109 final_val += left;
1110 add_symbol = op_symbol;
1111 left = right;
1112 seg_left = seg_right;
1113 goto do_symbol;
1116 else if (op == O_subtract)
1118 if (seg_right == absolute_section)
1120 final_val -= right;
1121 goto do_symbol;
1125 /* Equality and non-equality tests are permitted on anything.
1126 Subtraction, and other comparison operators are permitted if
1127 both operands are in the same section. Otherwise, both
1128 operands must be absolute. We already handled the case of
1129 addition or subtraction of a constant above. This will
1130 probably need to be changed for an object file format which
1131 supports arbitrary expressions, such as IEEE-695.
1133 Don't emit messages unless we're finalizing the symbol value,
1134 otherwise we may get the same message multiple times. */
1135 if (finalize_syms
1136 && !(seg_left == absolute_section
1137 && seg_right == absolute_section)
1138 && !(op == O_eq || op == O_ne)
1139 && !((op == O_subtract
1140 || op == O_lt || op == O_le || op == O_ge || op == O_gt)
1141 && seg_left == seg_right
1142 && (seg_left != undefined_section
1143 || add_symbol == op_symbol)))
1144 report_op_error (symp, add_symbol, op_symbol);
1146 if (final_seg == expr_section || final_seg == undefined_section)
1147 final_seg = absolute_section;
1149 /* Check for division by zero. */
1150 if ((op == O_divide || op == O_modulus) && right == 0)
1152 /* If seg_right is not absolute_section, then we've
1153 already issued a warning about using a bad symbol. */
1154 if (seg_right == absolute_section && finalize_syms)
1156 char *file;
1157 unsigned int line;
1159 if (expr_symbol_where (symp, &file, &line))
1160 as_bad_where (file, line, _("division by zero"));
1161 else
1162 as_bad (_("division by zero when setting `%s'"),
1163 S_GET_NAME (symp));
1166 right = 1;
1169 switch (symp->sy_value.X_op)
1171 case O_multiply: left *= right; break;
1172 case O_divide: left /= right; break;
1173 case O_modulus: left %= right; break;
1174 case O_left_shift: left <<= right; break;
1175 case O_right_shift: left >>= right; break;
1176 case O_bit_inclusive_or: left |= right; break;
1177 case O_bit_or_not: left |= ~right; break;
1178 case O_bit_exclusive_or: left ^= right; break;
1179 case O_bit_and: left &= right; break;
1180 case O_add: left += right; break;
1181 case O_subtract: left -= right; break;
1182 case O_eq:
1183 case O_ne:
1184 left = (left == right && seg_left == seg_right
1185 && (seg_left != undefined_section
1186 || add_symbol == op_symbol)
1187 ? ~ (offsetT) 0 : 0);
1188 if (symp->sy_value.X_op == O_ne)
1189 left = ~left;
1190 break;
1191 case O_lt: left = left < right ? ~ (offsetT) 0 : 0; break;
1192 case O_le: left = left <= right ? ~ (offsetT) 0 : 0; break;
1193 case O_ge: left = left >= right ? ~ (offsetT) 0 : 0; break;
1194 case O_gt: left = left > right ? ~ (offsetT) 0 : 0; break;
1195 case O_logical_and: left = left && right; break;
1196 case O_logical_or: left = left || right; break;
1197 default: abort ();
1200 final_val += symp->sy_frag->fr_address + left;
1201 if (final_seg == expr_section || final_seg == undefined_section)
1203 if (seg_left == undefined_section
1204 || seg_right == undefined_section)
1205 final_seg = undefined_section;
1206 else if (seg_left == absolute_section)
1207 final_seg = seg_right;
1208 else
1209 final_seg = seg_left;
1211 resolved = (symbol_resolved_p (add_symbol)
1212 && symbol_resolved_p (op_symbol));
1213 break;
1215 case O_register:
1216 case O_big:
1217 case O_illegal:
1218 /* Give an error (below) if not in expr_section. We don't
1219 want to worry about expr_section symbols, because they
1220 are fictional (they are created as part of expression
1221 resolution), and any problems may not actually mean
1222 anything. */
1223 break;
1226 symp->sy_resolving = 0;
1229 if (finalize_syms)
1230 S_SET_VALUE (symp, final_val);
1232 exit_dont_set_value:
1233 /* Always set the segment, even if not finalizing the value.
1234 The segment is used to determine whether a symbol is defined. */
1235 #if defined (OBJ_AOUT) && ! defined (BFD_ASSEMBLER)
1236 /* The old a.out backend does not handle S_SET_SEGMENT correctly
1237 for a stab symbol, so we use this bad hack. */
1238 if (final_seg != S_GET_SEGMENT (symp))
1239 #endif
1240 S_SET_SEGMENT (symp, final_seg);
1242 /* Don't worry if we can't resolve an expr_section symbol. */
1243 if (finalize_syms)
1245 if (resolved)
1246 symp->sy_resolved = 1;
1247 else if (S_GET_SEGMENT (symp) != expr_section)
1249 as_bad (_("can't resolve value for symbol `%s'"),
1250 S_GET_NAME (symp));
1251 symp->sy_resolved = 1;
1255 return final_val;
1258 #ifdef BFD_ASSEMBLER
1260 static void resolve_local_symbol (const char *, PTR);
1262 /* A static function passed to hash_traverse. */
1264 static void
1265 resolve_local_symbol (const char *key ATTRIBUTE_UNUSED, PTR value)
1267 if (value != NULL)
1268 resolve_symbol_value (value);
1271 #endif
1273 /* Resolve all local symbols. */
1275 void
1276 resolve_local_symbol_values (void)
1278 #ifdef BFD_ASSEMBLER
1279 hash_traverse (local_hash, resolve_local_symbol);
1280 #endif
1283 /* Dollar labels look like a number followed by a dollar sign. Eg, "42$".
1284 They are *really* local. That is, they go out of scope whenever we see a
1285 label that isn't local. Also, like fb labels, there can be multiple
1286 instances of a dollar label. Therefor, we name encode each instance with
1287 the instance number, keep a list of defined symbols separate from the real
1288 symbol table, and we treat these buggers as a sparse array. */
1290 static long *dollar_labels;
1291 static long *dollar_label_instances;
1292 static char *dollar_label_defines;
1293 static unsigned long dollar_label_count;
1294 static unsigned long dollar_label_max;
1297 dollar_label_defined (long label)
1299 long *i;
1301 know ((dollar_labels != NULL) || (dollar_label_count == 0));
1303 for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
1304 if (*i == label)
1305 return dollar_label_defines[i - dollar_labels];
1307 /* If we get here, label isn't defined. */
1308 return 0;
1311 static long
1312 dollar_label_instance (long label)
1314 long *i;
1316 know ((dollar_labels != NULL) || (dollar_label_count == 0));
1318 for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
1319 if (*i == label)
1320 return (dollar_label_instances[i - dollar_labels]);
1322 /* If we get here, we haven't seen the label before.
1323 Therefore its instance count is zero. */
1324 return 0;
1327 void
1328 dollar_label_clear (void)
1330 memset (dollar_label_defines, '\0', (unsigned int) dollar_label_count);
1333 #define DOLLAR_LABEL_BUMP_BY 10
1335 void
1336 define_dollar_label (long label)
1338 long *i;
1340 for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
1341 if (*i == label)
1343 ++dollar_label_instances[i - dollar_labels];
1344 dollar_label_defines[i - dollar_labels] = 1;
1345 return;
1348 /* If we get to here, we don't have label listed yet. */
1350 if (dollar_labels == NULL)
1352 dollar_labels = (long *) xmalloc (DOLLAR_LABEL_BUMP_BY * sizeof (long));
1353 dollar_label_instances = (long *) xmalloc (DOLLAR_LABEL_BUMP_BY * sizeof (long));
1354 dollar_label_defines = xmalloc (DOLLAR_LABEL_BUMP_BY);
1355 dollar_label_max = DOLLAR_LABEL_BUMP_BY;
1356 dollar_label_count = 0;
1358 else if (dollar_label_count == dollar_label_max)
1360 dollar_label_max += DOLLAR_LABEL_BUMP_BY;
1361 dollar_labels = (long *) xrealloc ((char *) dollar_labels,
1362 dollar_label_max * sizeof (long));
1363 dollar_label_instances = (long *) xrealloc ((char *) dollar_label_instances,
1364 dollar_label_max * sizeof (long));
1365 dollar_label_defines = xrealloc (dollar_label_defines, dollar_label_max);
1366 } /* if we needed to grow */
1368 dollar_labels[dollar_label_count] = label;
1369 dollar_label_instances[dollar_label_count] = 1;
1370 dollar_label_defines[dollar_label_count] = 1;
1371 ++dollar_label_count;
1374 /* Caller must copy returned name: we re-use the area for the next name.
1376 The mth occurence of label n: is turned into the symbol "Ln^Am"
1377 where n is the label number and m is the instance number. "L" makes
1378 it a label discarded unless debugging and "^A"('\1') ensures no
1379 ordinary symbol SHOULD get the same name as a local label
1380 symbol. The first "4:" is "L4^A1" - the m numbers begin at 1.
1382 fb labels get the same treatment, except that ^B is used in place
1383 of ^A. */
1385 char * /* Return local label name. */
1386 dollar_label_name (register long n, /* we just saw "n$:" : n a number. */
1387 register int augend /* 0 for current instance, 1 for new instance. */)
1389 long i;
1390 /* Returned to caller, then copied. Used for created names ("4f"). */
1391 static char symbol_name_build[24];
1392 register char *p;
1393 register char *q;
1394 char symbol_name_temporary[20]; /* Build up a number, BACKWARDS. */
1396 know (n >= 0);
1397 know (augend == 0 || augend == 1);
1398 p = symbol_name_build;
1399 #ifdef LOCAL_LABEL_PREFIX
1400 *p++ = LOCAL_LABEL_PREFIX;
1401 #endif
1402 *p++ = 'L';
1404 /* Next code just does sprintf( {}, "%d", n); */
1405 /* Label number. */
1406 q = symbol_name_temporary;
1407 for (*q++ = 0, i = n; i; ++q)
1409 *q = i % 10 + '0';
1410 i /= 10;
1412 while ((*p = *--q) != '\0')
1413 ++p;
1415 *p++ = DOLLAR_LABEL_CHAR; /* ^A */
1417 /* Instance number. */
1418 q = symbol_name_temporary;
1419 for (*q++ = 0, i = dollar_label_instance (n) + augend; i; ++q)
1421 *q = i % 10 + '0';
1422 i /= 10;
1424 while ((*p++ = *--q) != '\0');;
1426 /* The label, as a '\0' ended string, starts at symbol_name_build. */
1427 return symbol_name_build;
1430 /* Somebody else's idea of local labels. They are made by "n:" where n
1431 is any decimal digit. Refer to them with
1432 "nb" for previous (backward) n:
1433 or "nf" for next (forward) n:.
1435 We do a little better and let n be any number, not just a single digit, but
1436 since the other guy's assembler only does ten, we treat the first ten
1437 specially.
1439 Like someone else's assembler, we have one set of local label counters for
1440 entire assembly, not one set per (sub)segment like in most assemblers. This
1441 implies that one can refer to a label in another segment, and indeed some
1442 crufty compilers have done just that.
1444 Since there could be a LOT of these things, treat them as a sparse
1445 array. */
1447 #define FB_LABEL_SPECIAL (10)
1449 static long fb_low_counter[FB_LABEL_SPECIAL];
1450 static long *fb_labels;
1451 static long *fb_label_instances;
1452 static long fb_label_count;
1453 static long fb_label_max;
1455 /* This must be more than FB_LABEL_SPECIAL. */
1456 #define FB_LABEL_BUMP_BY (FB_LABEL_SPECIAL + 6)
1458 static void
1459 fb_label_init (void)
1461 memset ((void *) fb_low_counter, '\0', sizeof (fb_low_counter));
1464 /* Add one to the instance number of this fb label. */
1466 void
1467 fb_label_instance_inc (long label)
1469 long *i;
1471 if (label < FB_LABEL_SPECIAL)
1473 ++fb_low_counter[label];
1474 return;
1477 if (fb_labels != NULL)
1479 for (i = fb_labels + FB_LABEL_SPECIAL;
1480 i < fb_labels + fb_label_count; ++i)
1482 if (*i == label)
1484 ++fb_label_instances[i - fb_labels];
1485 return;
1486 } /* if we find it */
1487 } /* for each existing label */
1490 /* If we get to here, we don't have label listed yet. */
1492 if (fb_labels == NULL)
1494 fb_labels = (long *) xmalloc (FB_LABEL_BUMP_BY * sizeof (long));
1495 fb_label_instances = (long *) xmalloc (FB_LABEL_BUMP_BY * sizeof (long));
1496 fb_label_max = FB_LABEL_BUMP_BY;
1497 fb_label_count = FB_LABEL_SPECIAL;
1500 else if (fb_label_count == fb_label_max)
1502 fb_label_max += FB_LABEL_BUMP_BY;
1503 fb_labels = (long *) xrealloc ((char *) fb_labels,
1504 fb_label_max * sizeof (long));
1505 fb_label_instances = (long *) xrealloc ((char *) fb_label_instances,
1506 fb_label_max * sizeof (long));
1507 } /* if we needed to grow */
1509 fb_labels[fb_label_count] = label;
1510 fb_label_instances[fb_label_count] = 1;
1511 ++fb_label_count;
1514 static long
1515 fb_label_instance (long label)
1517 long *i;
1519 if (label < FB_LABEL_SPECIAL)
1521 return (fb_low_counter[label]);
1524 if (fb_labels != NULL)
1526 for (i = fb_labels + FB_LABEL_SPECIAL;
1527 i < fb_labels + fb_label_count; ++i)
1529 if (*i == label)
1531 return (fb_label_instances[i - fb_labels]);
1532 } /* if we find it */
1533 } /* for each existing label */
1536 /* We didn't find the label, so this must be a reference to the
1537 first instance. */
1538 return 0;
1541 /* Caller must copy returned name: we re-use the area for the next name.
1543 The mth occurence of label n: is turned into the symbol "Ln^Bm"
1544 where n is the label number and m is the instance number. "L" makes
1545 it a label discarded unless debugging and "^B"('\2') ensures no
1546 ordinary symbol SHOULD get the same name as a local label
1547 symbol. The first "4:" is "L4^B1" - the m numbers begin at 1.
1549 dollar labels get the same treatment, except that ^A is used in
1550 place of ^B. */
1552 char * /* Return local label name. */
1553 fb_label_name (long n, /* We just saw "n:", "nf" or "nb" : n a number. */
1554 long augend /* 0 for nb, 1 for n:, nf. */)
1556 long i;
1557 /* Returned to caller, then copied. Used for created names ("4f"). */
1558 static char symbol_name_build[24];
1559 register char *p;
1560 register char *q;
1561 char symbol_name_temporary[20]; /* Build up a number, BACKWARDS. */
1563 know (n >= 0);
1564 #ifdef TC_MMIX
1565 know ((unsigned long) augend <= 2 /* See mmix_fb_label. */);
1566 #else
1567 know ((unsigned long) augend <= 1);
1568 #endif
1569 p = symbol_name_build;
1570 #ifdef LOCAL_LABEL_PREFIX
1571 *p++ = LOCAL_LABEL_PREFIX;
1572 #endif
1573 *p++ = 'L';
1575 /* Next code just does sprintf( {}, "%d", n); */
1576 /* Label number. */
1577 q = symbol_name_temporary;
1578 for (*q++ = 0, i = n; i; ++q)
1580 *q = i % 10 + '0';
1581 i /= 10;
1583 while ((*p = *--q) != '\0')
1584 ++p;
1586 *p++ = LOCAL_LABEL_CHAR; /* ^B */
1588 /* Instance number. */
1589 q = symbol_name_temporary;
1590 for (*q++ = 0, i = fb_label_instance (n) + augend; i; ++q)
1592 *q = i % 10 + '0';
1593 i /= 10;
1595 while ((*p++ = *--q) != '\0');;
1597 /* The label, as a '\0' ended string, starts at symbol_name_build. */
1598 return (symbol_name_build);
1601 /* Decode name that may have been generated by foo_label_name() above.
1602 If the name wasn't generated by foo_label_name(), then return it
1603 unaltered. This is used for error messages. */
1605 char *
1606 decode_local_label_name (char *s)
1608 char *p;
1609 char *symbol_decode;
1610 int label_number;
1611 int instance_number;
1612 char *type;
1613 const char *message_format;
1614 int index = 0;
1616 #ifdef LOCAL_LABEL_PREFIX
1617 if (s[index] == LOCAL_LABEL_PREFIX)
1618 ++index;
1619 #endif
1621 if (s[index] != 'L')
1622 return s;
1624 for (label_number = 0, p = s + index + 1; ISDIGIT (*p); ++p)
1625 label_number = (10 * label_number) + *p - '0';
1627 if (*p == DOLLAR_LABEL_CHAR)
1628 type = "dollar";
1629 else if (*p == LOCAL_LABEL_CHAR)
1630 type = "fb";
1631 else
1632 return s;
1634 for (instance_number = 0, p++; ISDIGIT (*p); ++p)
1635 instance_number = (10 * instance_number) + *p - '0';
1637 message_format = _("\"%d\" (instance number %d of a %s label)");
1638 symbol_decode = obstack_alloc (&notes, strlen (message_format) + 30);
1639 sprintf (symbol_decode, message_format, label_number, instance_number, type);
1641 return symbol_decode;
1644 /* Get the value of a symbol. */
1646 valueT
1647 S_GET_VALUE (symbolS *s)
1649 #ifdef BFD_ASSEMBLER
1650 if (LOCAL_SYMBOL_CHECK (s))
1651 return resolve_symbol_value (s);
1652 #endif
1654 if (!s->sy_resolved)
1656 valueT val = resolve_symbol_value (s);
1657 if (!finalize_syms)
1658 return val;
1660 if (s->sy_value.X_op != O_constant)
1662 static symbolS *recur;
1664 /* FIXME: In non BFD assemblers, S_IS_DEFINED and S_IS_COMMON
1665 may call S_GET_VALUE. We use a static symbol to avoid the
1666 immediate recursion. */
1667 if (recur == s)
1668 return (valueT) s->sy_value.X_add_number;
1669 recur = s;
1670 if (! s->sy_resolved
1671 || s->sy_value.X_op != O_symbol
1672 || (S_IS_DEFINED (s) && ! S_IS_COMMON (s)))
1673 as_bad (_("attempt to get value of unresolved symbol `%s'"),
1674 S_GET_NAME (s));
1675 recur = NULL;
1677 return (valueT) s->sy_value.X_add_number;
1680 /* Set the value of a symbol. */
1682 void
1683 S_SET_VALUE (symbolS *s, valueT val)
1685 #ifdef BFD_ASSEMBLER
1686 if (LOCAL_SYMBOL_CHECK (s))
1688 ((struct local_symbol *) s)->lsy_value = val;
1689 return;
1691 #endif
1693 s->sy_value.X_op = O_constant;
1694 s->sy_value.X_add_number = (offsetT) val;
1695 s->sy_value.X_unsigned = 0;
1698 void
1699 copy_symbol_attributes (symbolS *dest, symbolS *src)
1701 if (LOCAL_SYMBOL_CHECK (dest))
1702 dest = local_symbol_convert ((struct local_symbol *) dest);
1703 if (LOCAL_SYMBOL_CHECK (src))
1704 src = local_symbol_convert ((struct local_symbol *) src);
1706 #ifdef BFD_ASSEMBLER
1707 /* In an expression, transfer the settings of these flags.
1708 The user can override later, of course. */
1709 #define COPIED_SYMFLAGS (BSF_FUNCTION | BSF_OBJECT)
1710 dest->bsym->flags |= src->bsym->flags & COPIED_SYMFLAGS;
1711 #endif
1713 #ifdef OBJ_COPY_SYMBOL_ATTRIBUTES
1714 OBJ_COPY_SYMBOL_ATTRIBUTES (dest, src);
1715 #endif
1718 #ifdef BFD_ASSEMBLER
1721 S_IS_FUNCTION (symbolS *s)
1723 flagword flags;
1725 if (LOCAL_SYMBOL_CHECK (s))
1726 return 0;
1728 flags = s->bsym->flags;
1730 return (flags & BSF_FUNCTION) != 0;
1734 S_IS_EXTERNAL (symbolS *s)
1736 flagword flags;
1738 if (LOCAL_SYMBOL_CHECK (s))
1739 return 0;
1741 flags = s->bsym->flags;
1743 /* Sanity check. */
1744 if ((flags & BSF_LOCAL) && (flags & BSF_GLOBAL))
1745 abort ();
1747 return (flags & BSF_GLOBAL) != 0;
1751 S_IS_WEAK (symbolS *s)
1753 if (LOCAL_SYMBOL_CHECK (s))
1754 return 0;
1755 return (s->bsym->flags & BSF_WEAK) != 0;
1759 S_IS_COMMON (symbolS *s)
1761 if (LOCAL_SYMBOL_CHECK (s))
1762 return 0;
1763 return bfd_is_com_section (s->bsym->section);
1767 S_IS_DEFINED (symbolS *s)
1769 if (LOCAL_SYMBOL_CHECK (s))
1770 return ((struct local_symbol *) s)->lsy_section != undefined_section;
1771 return s->bsym->section != undefined_section;
1775 #ifndef EXTERN_FORCE_RELOC
1776 #define EXTERN_FORCE_RELOC IS_ELF
1777 #endif
1779 /* Return true for symbols that should not be reduced to section
1780 symbols or eliminated from expressions, because they may be
1781 overridden by the linker. */
1783 S_FORCE_RELOC (symbolS *s, int strict)
1785 if (LOCAL_SYMBOL_CHECK (s))
1786 return ((struct local_symbol *) s)->lsy_section == undefined_section;
1788 return ((strict
1789 && ((s->bsym->flags & BSF_WEAK) != 0
1790 || (EXTERN_FORCE_RELOC
1791 && (s->bsym->flags & BSF_GLOBAL) != 0)))
1792 || s->bsym->section == undefined_section
1793 || bfd_is_com_section (s->bsym->section));
1797 S_IS_DEBUG (symbolS *s)
1799 if (LOCAL_SYMBOL_CHECK (s))
1800 return 0;
1801 if (s->bsym->flags & BSF_DEBUGGING)
1802 return 1;
1803 return 0;
1807 S_IS_LOCAL (symbolS *s)
1809 flagword flags;
1810 const char *name;
1812 if (LOCAL_SYMBOL_CHECK (s))
1813 return 1;
1815 flags = s->bsym->flags;
1817 /* Sanity check. */
1818 if ((flags & BSF_LOCAL) && (flags & BSF_GLOBAL))
1819 abort ();
1821 if (bfd_get_section (s->bsym) == reg_section)
1822 return 1;
1824 if (flag_strip_local_absolute
1825 /* Keep BSF_FILE symbols in order to allow debuggers to identify
1826 the source file even when the object file is stripped. */
1827 && (flags & (BSF_GLOBAL | BSF_FILE)) == 0
1828 && bfd_get_section (s->bsym) == absolute_section)
1829 return 1;
1831 name = S_GET_NAME (s);
1832 return (name != NULL
1833 && ! S_IS_DEBUG (s)
1834 && (strchr (name, DOLLAR_LABEL_CHAR)
1835 || strchr (name, LOCAL_LABEL_CHAR)
1836 || (! flag_keep_locals
1837 && (bfd_is_local_label (stdoutput, s->bsym)
1838 || (flag_mri
1839 && name[0] == '?'
1840 && name[1] == '?')))));
1844 S_IS_EXTERN (symbolS *s)
1846 return S_IS_EXTERNAL (s);
1850 S_IS_STABD (symbolS *s)
1852 return S_GET_NAME (s) == 0;
1855 const char *
1856 S_GET_NAME (symbolS *s)
1858 if (LOCAL_SYMBOL_CHECK (s))
1859 return ((struct local_symbol *) s)->lsy_name;
1860 return s->bsym->name;
1863 segT
1864 S_GET_SEGMENT (symbolS *s)
1866 if (LOCAL_SYMBOL_CHECK (s))
1867 return ((struct local_symbol *) s)->lsy_section;
1868 return s->bsym->section;
1871 void
1872 S_SET_SEGMENT (symbolS *s, segT seg)
1874 /* Don't reassign section symbols. The direct reason is to prevent seg
1875 faults assigning back to const global symbols such as *ABS*, but it
1876 shouldn't happen anyway. */
1878 if (LOCAL_SYMBOL_CHECK (s))
1880 if (seg == reg_section)
1881 s = local_symbol_convert ((struct local_symbol *) s);
1882 else
1884 ((struct local_symbol *) s)->lsy_section = seg;
1885 return;
1889 if (s->bsym->flags & BSF_SECTION_SYM)
1891 if (s->bsym->section != seg)
1892 abort ();
1894 else
1895 s->bsym->section = seg;
1898 void
1899 S_SET_EXTERNAL (symbolS *s)
1901 if (LOCAL_SYMBOL_CHECK (s))
1902 s = local_symbol_convert ((struct local_symbol *) s);
1903 if ((s->bsym->flags & BSF_WEAK) != 0)
1905 /* Let .weak override .global. */
1906 return;
1908 if (s->bsym->flags & BSF_SECTION_SYM)
1910 char * file;
1911 unsigned int line;
1913 /* Do not reassign section symbols. */
1914 as_where (& file, & line);
1915 as_warn_where (file, line,
1916 _("section symbols are already global"));
1917 return;
1919 s->bsym->flags |= BSF_GLOBAL;
1920 s->bsym->flags &= ~(BSF_LOCAL | BSF_WEAK);
1922 #ifdef USE_UNIQUE
1923 if (! an_external_name && S_GET_NAME(s)[0] != '.')
1924 an_external_name = S_GET_NAME (s);
1925 #endif
1928 void
1929 S_CLEAR_EXTERNAL (symbolS *s)
1931 if (LOCAL_SYMBOL_CHECK (s))
1932 return;
1933 if ((s->bsym->flags & BSF_WEAK) != 0)
1935 /* Let .weak override. */
1936 return;
1938 s->bsym->flags |= BSF_LOCAL;
1939 s->bsym->flags &= ~(BSF_GLOBAL | BSF_WEAK);
1942 void
1943 S_SET_WEAK (symbolS *s)
1945 if (LOCAL_SYMBOL_CHECK (s))
1946 s = local_symbol_convert ((struct local_symbol *) s);
1947 s->bsym->flags |= BSF_WEAK;
1948 s->bsym->flags &= ~(BSF_GLOBAL | BSF_LOCAL);
1951 void
1952 S_SET_THREAD_LOCAL (symbolS *s)
1954 if (LOCAL_SYMBOL_CHECK (s))
1955 s = local_symbol_convert ((struct local_symbol *) s);
1956 if (bfd_is_com_section (s->bsym->section)
1957 && (s->bsym->flags & BSF_THREAD_LOCAL) != 0)
1958 return;
1959 s->bsym->flags |= BSF_THREAD_LOCAL;
1960 if ((s->bsym->flags & BSF_FUNCTION) != 0)
1961 as_bad (_("Accessing function `%s' as thread-local object"),
1962 S_GET_NAME (s));
1963 else if (! bfd_is_und_section (s->bsym->section)
1964 && (s->bsym->section->flags & SEC_THREAD_LOCAL) == 0)
1965 as_bad (_("Accessing `%s' as thread-local object"),
1966 S_GET_NAME (s));
1969 void
1970 S_SET_NAME (symbolS *s, const char *name)
1972 if (LOCAL_SYMBOL_CHECK (s))
1974 ((struct local_symbol *) s)->lsy_name = name;
1975 return;
1977 s->bsym->name = name;
1979 #endif /* BFD_ASSEMBLER */
1981 #ifdef SYMBOLS_NEED_BACKPOINTERS
1983 /* Return the previous symbol in a chain. */
1985 symbolS *
1986 symbol_previous (symbolS *s)
1988 if (LOCAL_SYMBOL_CHECK (s))
1989 abort ();
1990 return s->sy_previous;
1993 #endif /* SYMBOLS_NEED_BACKPOINTERS */
1995 /* Return the next symbol in a chain. */
1997 symbolS *
1998 symbol_next (symbolS *s)
2000 if (LOCAL_SYMBOL_CHECK (s))
2001 abort ();
2002 return s->sy_next;
2005 /* Return a pointer to the value of a symbol as an expression. */
2007 expressionS *
2008 symbol_get_value_expression (symbolS *s)
2010 if (LOCAL_SYMBOL_CHECK (s))
2011 s = local_symbol_convert ((struct local_symbol *) s);
2012 return &s->sy_value;
2015 /* Set the value of a symbol to an expression. */
2017 void
2018 symbol_set_value_expression (symbolS *s, const expressionS *exp)
2020 if (LOCAL_SYMBOL_CHECK (s))
2021 s = local_symbol_convert ((struct local_symbol *) s);
2022 s->sy_value = *exp;
2025 /* Return a pointer to the X_add_number component of a symbol. */
2027 offsetT *
2028 symbol_X_add_number (symbolS *s)
2030 #ifdef BFD_ASSEMBLER
2031 if (LOCAL_SYMBOL_CHECK (s))
2032 return (offsetT *) &((struct local_symbol *) s)->lsy_value;
2033 #endif
2035 return &s->sy_value.X_add_number;
2038 /* Set the value of SYM to the current position in the current segment. */
2040 void
2041 symbol_set_value_now (symbolS *sym)
2043 S_SET_SEGMENT (sym, now_seg);
2044 S_SET_VALUE (sym, frag_now_fix ());
2045 symbol_set_frag (sym, frag_now);
2048 /* Set the frag of a symbol. */
2050 void
2051 symbol_set_frag (symbolS *s, fragS *f)
2053 #ifdef BFD_ASSEMBLER
2054 if (LOCAL_SYMBOL_CHECK (s))
2056 local_symbol_set_frag ((struct local_symbol *) s, f);
2057 return;
2059 #endif
2060 s->sy_frag = f;
2063 /* Return the frag of a symbol. */
2065 fragS *
2066 symbol_get_frag (symbolS *s)
2068 #ifdef BFD_ASSEMBLER
2069 if (LOCAL_SYMBOL_CHECK (s))
2070 return local_symbol_get_frag ((struct local_symbol *) s);
2071 #endif
2072 return s->sy_frag;
2075 /* Mark a symbol as having been used. */
2077 void
2078 symbol_mark_used (symbolS *s)
2080 if (LOCAL_SYMBOL_CHECK (s))
2081 return;
2082 s->sy_used = 1;
2085 /* Clear the mark of whether a symbol has been used. */
2087 void
2088 symbol_clear_used (symbolS *s)
2090 if (LOCAL_SYMBOL_CHECK (s))
2091 s = local_symbol_convert ((struct local_symbol *) s);
2092 s->sy_used = 0;
2095 /* Return whether a symbol has been used. */
2098 symbol_used_p (symbolS *s)
2100 if (LOCAL_SYMBOL_CHECK (s))
2101 return 1;
2102 return s->sy_used;
2105 /* Mark a symbol as having been used in a reloc. */
2107 void
2108 symbol_mark_used_in_reloc (symbolS *s)
2110 if (LOCAL_SYMBOL_CHECK (s))
2111 s = local_symbol_convert ((struct local_symbol *) s);
2112 s->sy_used_in_reloc = 1;
2115 /* Clear the mark of whether a symbol has been used in a reloc. */
2117 void
2118 symbol_clear_used_in_reloc (symbolS *s)
2120 if (LOCAL_SYMBOL_CHECK (s))
2121 return;
2122 s->sy_used_in_reloc = 0;
2125 /* Return whether a symbol has been used in a reloc. */
2128 symbol_used_in_reloc_p (symbolS *s)
2130 if (LOCAL_SYMBOL_CHECK (s))
2131 return 0;
2132 return s->sy_used_in_reloc;
2135 /* Mark a symbol as an MRI common symbol. */
2137 void
2138 symbol_mark_mri_common (symbolS *s)
2140 if (LOCAL_SYMBOL_CHECK (s))
2141 s = local_symbol_convert ((struct local_symbol *) s);
2142 s->sy_mri_common = 1;
2145 /* Clear the mark of whether a symbol is an MRI common symbol. */
2147 void
2148 symbol_clear_mri_common (symbolS *s)
2150 if (LOCAL_SYMBOL_CHECK (s))
2151 return;
2152 s->sy_mri_common = 0;
2155 /* Return whether a symbol is an MRI common symbol. */
2158 symbol_mri_common_p (symbolS *s)
2160 if (LOCAL_SYMBOL_CHECK (s))
2161 return 0;
2162 return s->sy_mri_common;
2165 /* Mark a symbol as having been written. */
2167 void
2168 symbol_mark_written (symbolS *s)
2170 if (LOCAL_SYMBOL_CHECK (s))
2171 return;
2172 s->written = 1;
2175 /* Clear the mark of whether a symbol has been written. */
2177 void
2178 symbol_clear_written (symbolS *s)
2180 if (LOCAL_SYMBOL_CHECK (s))
2181 return;
2182 s->written = 0;
2185 /* Return whether a symbol has been written. */
2188 symbol_written_p (symbolS *s)
2190 if (LOCAL_SYMBOL_CHECK (s))
2191 return 0;
2192 return s->written;
2195 /* Mark a symbol has having been resolved. */
2197 void
2198 symbol_mark_resolved (symbolS *s)
2200 #ifdef BFD_ASSEMBLER
2201 if (LOCAL_SYMBOL_CHECK (s))
2203 local_symbol_mark_resolved ((struct local_symbol *) s);
2204 return;
2206 #endif
2207 s->sy_resolved = 1;
2210 /* Return whether a symbol has been resolved. */
2213 symbol_resolved_p (symbolS *s)
2215 #ifdef BFD_ASSEMBLER
2216 if (LOCAL_SYMBOL_CHECK (s))
2217 return local_symbol_resolved_p ((struct local_symbol *) s);
2218 #endif
2219 return s->sy_resolved;
2222 /* Return whether a symbol is a section symbol. */
2225 symbol_section_p (symbolS *s ATTRIBUTE_UNUSED)
2227 if (LOCAL_SYMBOL_CHECK (s))
2228 return 0;
2229 #ifdef BFD_ASSEMBLER
2230 return (s->bsym->flags & BSF_SECTION_SYM) != 0;
2231 #else
2232 /* FIXME. */
2233 return 0;
2234 #endif
2237 /* Return whether a symbol is equated to another symbol. */
2240 symbol_equated_p (symbolS *s)
2242 if (LOCAL_SYMBOL_CHECK (s))
2243 return 0;
2244 return s->sy_value.X_op == O_symbol;
2247 /* Return whether a symbol is equated to another symbol, and should be
2248 treated specially when writing out relocs. */
2251 symbol_equated_reloc_p (symbolS *s)
2253 if (LOCAL_SYMBOL_CHECK (s))
2254 return 0;
2255 /* X_op_symbol, normally not used for O_symbol, is set by
2256 resolve_symbol_value to flag expression syms that have been
2257 equated. */
2258 return (s->sy_value.X_op == O_symbol
2259 #if defined (OBJ_COFF) && defined (TE_PE) && (defined(BFD_ASSEMBLER) || defined(S_IS_WEAK))
2260 && ! S_IS_WEAK (s)
2261 #endif
2262 && ((s->sy_resolved && s->sy_value.X_op_symbol != NULL)
2263 || ! S_IS_DEFINED (s)
2264 || S_IS_COMMON (s)));
2267 /* Return whether a symbol has a constant value. */
2270 symbol_constant_p (symbolS *s)
2272 if (LOCAL_SYMBOL_CHECK (s))
2273 return 1;
2274 return s->sy_value.X_op == O_constant;
2277 #ifdef BFD_ASSEMBLER
2279 /* Return the BFD symbol for a symbol. */
2281 asymbol *
2282 symbol_get_bfdsym (symbolS *s)
2284 if (LOCAL_SYMBOL_CHECK (s))
2285 s = local_symbol_convert ((struct local_symbol *) s);
2286 return s->bsym;
2289 /* Set the BFD symbol for a symbol. */
2291 void
2292 symbol_set_bfdsym (symbolS *s, asymbol *bsym)
2294 if (LOCAL_SYMBOL_CHECK (s))
2295 s = local_symbol_convert ((struct local_symbol *) s);
2296 /* Usually, it is harmless to reset a symbol to a BFD section
2297 symbol. For example, obj_elf_change_section sets the BFD symbol
2298 of an old symbol with the newly created section symbol. But when
2299 we have multiple sections with the same name, the newly created
2300 section may have the same name as an old section. We check if the
2301 old symbol has been already marked as a section symbol before
2302 resetting it. */
2303 if ((s->bsym->flags & BSF_SECTION_SYM) == 0)
2304 s->bsym = bsym;
2305 /* else XXX - What do we do now ? */
2308 #endif /* BFD_ASSEMBLER */
2310 #ifdef OBJ_SYMFIELD_TYPE
2312 /* Get a pointer to the object format information for a symbol. */
2314 OBJ_SYMFIELD_TYPE *
2315 symbol_get_obj (symbolS *s)
2317 if (LOCAL_SYMBOL_CHECK (s))
2318 s = local_symbol_convert ((struct local_symbol *) s);
2319 return &s->sy_obj;
2322 /* Set the object format information for a symbol. */
2324 void
2325 symbol_set_obj (symbolS *s, OBJ_SYMFIELD_TYPE *o)
2327 if (LOCAL_SYMBOL_CHECK (s))
2328 s = local_symbol_convert ((struct local_symbol *) s);
2329 s->sy_obj = *o;
2332 #endif /* OBJ_SYMFIELD_TYPE */
2334 #ifdef TC_SYMFIELD_TYPE
2336 /* Get a pointer to the processor information for a symbol. */
2338 TC_SYMFIELD_TYPE *
2339 symbol_get_tc (symbolS *s)
2341 if (LOCAL_SYMBOL_CHECK (s))
2342 s = local_symbol_convert ((struct local_symbol *) s);
2343 return &s->sy_tc;
2346 /* Set the processor information for a symbol. */
2348 void
2349 symbol_set_tc (symbolS *s, TC_SYMFIELD_TYPE *o)
2351 if (LOCAL_SYMBOL_CHECK (s))
2352 s = local_symbol_convert ((struct local_symbol *) s);
2353 s->sy_tc = *o;
2356 #endif /* TC_SYMFIELD_TYPE */
2358 void
2359 symbol_begin (void)
2361 symbol_lastP = NULL;
2362 symbol_rootP = NULL; /* In case we have 0 symbols (!!) */
2363 sy_hash = hash_new ();
2364 #ifdef BFD_ASSEMBLER
2365 local_hash = hash_new ();
2366 #endif
2368 memset ((char *) (&abs_symbol), '\0', sizeof (abs_symbol));
2369 #ifdef BFD_ASSEMBLER
2370 #if defined (EMIT_SECTION_SYMBOLS) || !defined (RELOC_REQUIRES_SYMBOL)
2371 abs_symbol.bsym = bfd_abs_section.symbol;
2372 #endif
2373 #else
2374 /* Can't initialise a union. Sigh. */
2375 S_SET_SEGMENT (&abs_symbol, absolute_section);
2376 #endif
2377 abs_symbol.sy_value.X_op = O_constant;
2378 abs_symbol.sy_frag = &zero_address_frag;
2380 if (LOCAL_LABELS_FB)
2381 fb_label_init ();
2384 int indent_level;
2386 /* Maximum indent level.
2387 Available for modification inside a gdb session. */
2388 int max_indent_level = 8;
2390 void
2391 print_symbol_value_1 (FILE *file, symbolS *sym)
2393 const char *name = S_GET_NAME (sym);
2394 if (!name || !name[0])
2395 name = "(unnamed)";
2396 fprintf (file, "sym %lx %s", (unsigned long) sym, name);
2398 if (LOCAL_SYMBOL_CHECK (sym))
2400 #ifdef BFD_ASSEMBLER
2401 struct local_symbol *locsym = (struct local_symbol *) sym;
2402 if (local_symbol_get_frag (locsym) != &zero_address_frag
2403 && local_symbol_get_frag (locsym) != NULL)
2404 fprintf (file, " frag %lx", (long) local_symbol_get_frag (locsym));
2405 if (local_symbol_resolved_p (locsym))
2406 fprintf (file, " resolved");
2407 fprintf (file, " local");
2408 #endif
2410 else
2412 if (sym->sy_frag != &zero_address_frag)
2413 fprintf (file, " frag %lx", (long) sym->sy_frag);
2414 if (sym->written)
2415 fprintf (file, " written");
2416 if (sym->sy_resolved)
2417 fprintf (file, " resolved");
2418 else if (sym->sy_resolving)
2419 fprintf (file, " resolving");
2420 if (sym->sy_used_in_reloc)
2421 fprintf (file, " used-in-reloc");
2422 if (sym->sy_used)
2423 fprintf (file, " used");
2424 if (S_IS_LOCAL (sym))
2425 fprintf (file, " local");
2426 if (S_IS_EXTERN (sym))
2427 fprintf (file, " extern");
2428 if (S_IS_DEBUG (sym))
2429 fprintf (file, " debug");
2430 if (S_IS_DEFINED (sym))
2431 fprintf (file, " defined");
2433 fprintf (file, " %s", segment_name (S_GET_SEGMENT (sym)));
2434 if (symbol_resolved_p (sym))
2436 segT s = S_GET_SEGMENT (sym);
2438 if (s != undefined_section
2439 && s != expr_section)
2440 fprintf (file, " %lx", (long) S_GET_VALUE (sym));
2442 else if (indent_level < max_indent_level
2443 && S_GET_SEGMENT (sym) != undefined_section)
2445 indent_level++;
2446 fprintf (file, "\n%*s<", indent_level * 4, "");
2447 #ifdef BFD_ASSEMBLER
2448 if (LOCAL_SYMBOL_CHECK (sym))
2449 fprintf (file, "constant %lx",
2450 (long) ((struct local_symbol *) sym)->lsy_value);
2451 else
2452 #endif
2453 print_expr_1 (file, &sym->sy_value);
2454 fprintf (file, ">");
2455 indent_level--;
2457 fflush (file);
2460 void
2461 print_symbol_value (symbolS *sym)
2463 indent_level = 0;
2464 print_symbol_value_1 (stderr, sym);
2465 fprintf (stderr, "\n");
2468 static void
2469 print_binary (FILE *file, const char *name, expressionS *exp)
2471 indent_level++;
2472 fprintf (file, "%s\n%*s<", name, indent_level * 4, "");
2473 print_symbol_value_1 (file, exp->X_add_symbol);
2474 fprintf (file, ">\n%*s<", indent_level * 4, "");
2475 print_symbol_value_1 (file, exp->X_op_symbol);
2476 fprintf (file, ">");
2477 indent_level--;
2480 void
2481 print_expr_1 (FILE *file, expressionS *exp)
2483 fprintf (file, "expr %lx ", (long) exp);
2484 switch (exp->X_op)
2486 case O_illegal:
2487 fprintf (file, "illegal");
2488 break;
2489 case O_absent:
2490 fprintf (file, "absent");
2491 break;
2492 case O_constant:
2493 fprintf (file, "constant %lx", (long) exp->X_add_number);
2494 break;
2495 case O_symbol:
2496 indent_level++;
2497 fprintf (file, "symbol\n%*s<", indent_level * 4, "");
2498 print_symbol_value_1 (file, exp->X_add_symbol);
2499 fprintf (file, ">");
2500 maybe_print_addnum:
2501 if (exp->X_add_number)
2502 fprintf (file, "\n%*s%lx", indent_level * 4, "",
2503 (long) exp->X_add_number);
2504 indent_level--;
2505 break;
2506 case O_register:
2507 fprintf (file, "register #%d", (int) exp->X_add_number);
2508 break;
2509 case O_big:
2510 fprintf (file, "big");
2511 break;
2512 case O_uminus:
2513 fprintf (file, "uminus -<");
2514 indent_level++;
2515 print_symbol_value_1 (file, exp->X_add_symbol);
2516 fprintf (file, ">");
2517 goto maybe_print_addnum;
2518 case O_bit_not:
2519 fprintf (file, "bit_not");
2520 break;
2521 case O_multiply:
2522 print_binary (file, "multiply", exp);
2523 break;
2524 case O_divide:
2525 print_binary (file, "divide", exp);
2526 break;
2527 case O_modulus:
2528 print_binary (file, "modulus", exp);
2529 break;
2530 case O_left_shift:
2531 print_binary (file, "lshift", exp);
2532 break;
2533 case O_right_shift:
2534 print_binary (file, "rshift", exp);
2535 break;
2536 case O_bit_inclusive_or:
2537 print_binary (file, "bit_ior", exp);
2538 break;
2539 case O_bit_exclusive_or:
2540 print_binary (file, "bit_xor", exp);
2541 break;
2542 case O_bit_and:
2543 print_binary (file, "bit_and", exp);
2544 break;
2545 case O_eq:
2546 print_binary (file, "eq", exp);
2547 break;
2548 case O_ne:
2549 print_binary (file, "ne", exp);
2550 break;
2551 case O_lt:
2552 print_binary (file, "lt", exp);
2553 break;
2554 case O_le:
2555 print_binary (file, "le", exp);
2556 break;
2557 case O_ge:
2558 print_binary (file, "ge", exp);
2559 break;
2560 case O_gt:
2561 print_binary (file, "gt", exp);
2562 break;
2563 case O_logical_and:
2564 print_binary (file, "logical_and", exp);
2565 break;
2566 case O_logical_or:
2567 print_binary (file, "logical_or", exp);
2568 break;
2569 case O_add:
2570 indent_level++;
2571 fprintf (file, "add\n%*s<", indent_level * 4, "");
2572 print_symbol_value_1 (file, exp->X_add_symbol);
2573 fprintf (file, ">\n%*s<", indent_level * 4, "");
2574 print_symbol_value_1 (file, exp->X_op_symbol);
2575 fprintf (file, ">");
2576 goto maybe_print_addnum;
2577 case O_subtract:
2578 indent_level++;
2579 fprintf (file, "subtract\n%*s<", indent_level * 4, "");
2580 print_symbol_value_1 (file, exp->X_add_symbol);
2581 fprintf (file, ">\n%*s<", indent_level * 4, "");
2582 print_symbol_value_1 (file, exp->X_op_symbol);
2583 fprintf (file, ">");
2584 goto maybe_print_addnum;
2585 default:
2586 fprintf (file, "{unknown opcode %d}", (int) exp->X_op);
2587 break;
2589 fflush (stdout);
2592 void
2593 print_expr (expressionS *exp)
2595 print_expr_1 (stderr, exp);
2596 fprintf (stderr, "\n");
2599 void
2600 symbol_print_statistics (FILE *file)
2602 hash_print_statistics (file, "symbol table", sy_hash);
2603 #ifdef BFD_ASSEMBLER
2604 hash_print_statistics (file, "mini local symbol table", local_hash);
2605 fprintf (file, "%lu mini local symbols created, %lu converted\n",
2606 local_symbol_count, local_symbol_conversion_count);
2607 #endif