gas/symbols.c

   1 /* symbols.c -symbol table-
   2    Copyright (C) 1987, 1990, 1991, 1992, 1993, 1994
   3    Free Software Foundation, Inc.
   4
   5    This file is part of GAS, the GNU Assembler.
   6
   7    GAS is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 2, or (at your option)
  10    any later version.
  11
  12    GAS is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with GAS; see the file COPYING.  If not, write to
  19    the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
  20
  21 /* #define DEBUG_SYMS / * to debug symbol list maintenance */
  22
  23 #include <ctype.h>
  24
  25 #include "as.h"
  26
  27 #include "obstack.h"            /* For "symbols.h" */
  28 #include "subsegs.h"
  29
  30 /* This is non-zero if symbols are case sensitive, which is the
  31    default.  */
  32 int symbols_case_sensitive = 1;
  33
  34 #ifndef WORKING_DOT_WORD
  35 extern int new_broken_words;
  36 #endif
  37
  38 /* symbol-name => struct symbol pointer */
  39 static struct hash_control *sy_hash;
  40
  41 /* Below are commented in "symbols.h". */
  42 symbolS *symbol_rootP;
  43 symbolS *symbol_lastP;
  44 symbolS abs_symbol;
  45
  46 #ifdef DEBUG_SYMS
  47 #define debug_verify_symchain verify_symbol_chain
  48 #else
  49 #define debug_verify_symchain (void)
  50 #endif
  51
  52 struct obstack notes;
  53
  54 static void fb_label_init PARAMS ((void));
  55
  56 /* symbol_new()
  57
  58    Return a pointer to a new symbol.  Die if we can't make a new
  59    symbol.  Fill in the symbol's values.  Add symbol to end of symbol
  60    chain.
  61
  62    This function should be called in the general case of creating a
  63    symbol.  However, if the output file symbol table has already been
  64    set, and you are certain that this symbol won't be wanted in the
  65    output file, you can call symbol_create.  */
  66
  67 symbolS *
  68 symbol_new (name, segment, valu, frag)
  69      const char *name;
  70      segT segment;
  71      valueT valu;
  72      fragS *frag;
  73 {
  74   symbolS *symbolP = symbol_create (name, segment, valu, frag);
  75
  76   /*
  77    * Link to end of symbol chain.
  78    */
  79 #ifdef BFD_ASSEMBLER
  80   {
  81     extern int symbol_table_frozen;
  82     if (symbol_table_frozen)
  83       abort ();
  84   }
  85 #endif
  86   symbol_append (symbolP, symbol_lastP, &symbol_rootP, &symbol_lastP);
  87   debug_verify_symchain (symbol_rootP, symbol_lastP);
  88
  89   return symbolP;
  90 }
  91
  92 symbolS *
  93 symbol_create (name, segment, valu, frag)
  94      const char *name;          /* It is copied, the caller can destroy/modify */
  95      segT segment;              /* Segment identifier (SEG_<something>) */
  96      valueT valu;               /* Symbol value */
  97      fragS *frag;               /* Associated fragment */
  98 {
  99   unsigned int name_length;
 100   char *preserved_copy_of_name;
 101   symbolS *symbolP;
 102
 103   name_length = strlen (name) + 1;      /* +1 for \0 */
 104   obstack_grow (&notes, name, name_length);
 105   preserved_copy_of_name = obstack_finish (&notes);
 106 #ifdef STRIP_UNDERSCORE
 107   if (preserved_copy_of_name[0] == '_')
 108     preserved_copy_of_name++;
 109 #endif
 110
 111 #ifdef tc_canonicalize_symbol_name
 112   preserved_copy_of_name =
 113     tc_canonicalize_symbol_name (preserved_copy_of_name);
 114 #endif
 115
 116   if (! symbols_case_sensitive)
 117     {
 118       unsigned char *s;
 119
 120       for (s = (unsigned char *) preserved_copy_of_name; *s != '\0'; s++)
 121         if (islower (*s))
 122           *s = toupper (*s);
 123     }
 124
 125   symbolP = (symbolS *) obstack_alloc (&notes, sizeof (symbolS));
 126
 127   /* symbol must be born in some fixed state.  This seems as good as any. */
 128   memset (symbolP, 0, sizeof (symbolS));
 129
 130 #ifdef BFD_ASSEMBLER
 131   symbolP->bsym = bfd_make_empty_symbol (stdoutput);
 132   assert (symbolP->bsym != 0);
 133   symbolP->bsym->udata.p = (PTR) symbolP;
 134 #endif
 135   S_SET_NAME (symbolP, preserved_copy_of_name);
 136
 137   S_SET_SEGMENT (symbolP, segment);
 138   S_SET_VALUE (symbolP, valu);
 139   symbol_clear_list_pointers (symbolP);
 140
 141   symbolP->sy_frag = frag;
 142 #ifndef BFD_ASSEMBLER
 143   symbolP->sy_number = ~0;
 144   symbolP->sy_name_offset = (unsigned int) ~0;
 145 #endif
 146
 147   obj_symbol_new_hook (symbolP);
 148
 149 #ifdef tc_symbol_new_hook
 150   tc_symbol_new_hook (symbolP);
 151 #endif
 152
 153   return symbolP;
 154 }
 155 \f
 156
 157 /*
 158  *                      colon()
 159  *
 160  * We have just seen "<name>:".
 161  * Creates a struct symbol unless it already exists.
 162  *
 163  * Gripes if we are redefining a symbol incompatibly (and ignores it).
 164  *
 165  */
 166 symbolS *
 167 colon (sym_name)                /* just seen "x:" - rattle symbols & frags */
 168      register char *sym_name;   /* symbol name, as a cannonical string */
 169      /* We copy this string: OK to alter later. */
 170 {
 171   register symbolS *symbolP;    /* symbol we are working with */
 172
 173   /* Sun local labels go out of scope whenever a non-local symbol is
 174      defined.  */
 175   if (LOCAL_LABELS_DOLLAR && *sym_name != 'L')
 176     dollar_label_clear ();
 177
 178 #ifndef WORKING_DOT_WORD
 179   if (new_broken_words)
 180     {
 181       struct broken_word *a;
 182       int possible_bytes;
 183       fragS *frag_tmp;
 184       char *frag_opcode;
 185
 186       extern const int md_short_jump_size;
 187       extern const int md_long_jump_size;
 188       possible_bytes = (md_short_jump_size
 189                         + new_broken_words * md_long_jump_size);
 190
 191       frag_tmp = frag_now;
 192       frag_opcode = frag_var (rs_broken_word,
 193                               possible_bytes,
 194                               possible_bytes,
 195                               (relax_substateT) 0,
 196                               (symbolS *) broken_words,
 197                               0L,
 198                               NULL);
 199
 200       /* We want to store the pointer to where to insert the jump table in the
 201          fr_opcode of the rs_broken_word frag.  This requires a little
 202          hackery.  */
 203       while (frag_tmp
 204              && (frag_tmp->fr_type != rs_broken_word
 205                  || frag_tmp->fr_opcode))
 206         frag_tmp = frag_tmp->fr_next;
 207       know (frag_tmp);
 208       frag_tmp->fr_opcode = frag_opcode;
 209       new_broken_words = 0;
 210
 211       for (a = broken_words; a && a->dispfrag == 0; a = a->next_broken_word)
 212         a->dispfrag = frag_tmp;
 213     }
 214 #endif /* WORKING_DOT_WORD */
 215
 216   if ((symbolP = symbol_find (sym_name)) != 0)
 217     {
 218 #ifdef RESOLVE_SYMBOL_REDEFINITION
 219       if (RESOLVE_SYMBOL_REDEFINITION (symbolP))
 220         return symbolP;
 221 #endif
 222       /*
 223        *        Now check for undefined symbols
 224        */
 225       if (!S_IS_DEFINED (symbolP))
 226         {
 227           if (S_GET_VALUE (symbolP) == 0)
 228             {
 229               symbolP->sy_frag = frag_now;
 230 #ifdef OBJ_VMS
 231               S_GET_OTHER(symbolP) = const_flag;
 232 #endif
 233               S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
 234               S_SET_SEGMENT (symbolP, now_seg);
 235 #ifdef N_UNDF
 236               know (N_UNDF == 0);
 237 #endif /* if we have one, it better be zero. */
 238
 239             }
 240           else
 241             {
 242               /*
 243                *        There are still several cases to check:
 244                *                A .comm/.lcomm symbol being redefined as
 245                *                        initialized data is OK
 246                *                A .comm/.lcomm symbol being redefined with
 247                *                        a larger size is also OK
 248                *
 249                * This only used to be allowed on VMS gas, but Sun cc
 250                * on the sparc also depends on it.
 251                */
 252
 253               if (((!S_IS_DEBUG (symbolP)
 254                     && !S_IS_DEFINED (symbolP)
 255                     && S_IS_EXTERNAL (symbolP))
 256                    || S_GET_SEGMENT (symbolP) == bss_section)
 257                   && (now_seg == data_section
 258                       || now_seg == S_GET_SEGMENT (symbolP)))
 259                 {
 260                   /*
 261                    *    Select which of the 2 cases this is
 262                    */
 263                   if (now_seg != data_section)
 264                     {
 265                       /*
 266                        *   New .comm for prev .comm symbol.
 267                        *        If the new size is larger we just
 268                        *        change its value.  If the new size
 269                        *        is smaller, we ignore this symbol
 270                        */
 271                       if (S_GET_VALUE (symbolP)
 272                           < ((unsigned) frag_now_fix ()))
 273                         {
 274                           S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
 275                         }
 276                     }
 277                   else
 278                     {
 279                       /* It is a .comm/.lcomm being converted to initialized
 280                          data.  */
 281                       symbolP->sy_frag = frag_now;
 282 #ifdef OBJ_VMS
 283                       S_GET_OTHER(symbolP) = const_flag;
 284 #endif /* OBJ_VMS */
 285                       S_SET_VALUE (symbolP, (valueT) frag_now_fix ());
 286                       S_SET_SEGMENT (symbolP, now_seg); /* keep N_EXT bit */
 287                     }
 288                 }
 289               else
 290                 {
 291 #if defined (S_GET_OTHER) && defined (S_GET_DESC)
 292                   as_fatal ("Symbol \"%s\" is already defined as \"%s\"/%d.%d.%ld.",
 293                             sym_name,
 294                             segment_name (S_GET_SEGMENT (symbolP)),
 295                             S_GET_OTHER (symbolP), S_GET_DESC (symbolP),
 296                             (long) S_GET_VALUE (symbolP));
 297 #else
 298                   as_fatal ("Symbol \"%s\" is already defined as \"%s\"/%ld.",
 299                             sym_name,
 300                             segment_name (S_GET_SEGMENT (symbolP)),
 301                             (long) S_GET_VALUE (symbolP));
 302 #endif
 303                 }
 304             }                   /* if the undefined symbol has no value */
 305         }
 306       else
 307         {
 308           /* Don't blow up if the definition is the same */
 309           if (!(frag_now == symbolP->sy_frag
 310                 && S_GET_VALUE (symbolP) == frag_now_fix ()
 311                 && S_GET_SEGMENT (symbolP) == now_seg))
 312             as_fatal ("Symbol %s already defined.", sym_name);
 313         }                       /* if this symbol is not yet defined */
 314
 315     }
 316   else
 317     {
 318       symbolP = symbol_new (sym_name, now_seg, (valueT) frag_now_fix (),
 319                             frag_now);
 320 #ifdef OBJ_VMS
 321       S_SET_OTHER (symbolP, const_flag);
 322 #endif /* OBJ_VMS */
 323
 324       symbol_table_insert (symbolP);
 325     }                           /* if we have seen this symbol before */
 326
 327   if (mri_common_symbol != NULL)
 328     {
 329       /* This symbol is actually being defined within an MRI common
 330          section.  This requires special handling.  */
 331       symbolP->sy_value.X_op = O_symbol;
 332       symbolP->sy_value.X_add_symbol = mri_common_symbol;
 333       symbolP->sy_value.X_add_number = S_GET_VALUE (mri_common_symbol);
 334       symbolP->sy_frag = &zero_address_frag;
 335       S_SET_SEGMENT (symbolP, expr_section);
 336       symbolP->sy_mri_common = 1;
 337     }
 338
 339 #ifdef tc_frob_label
 340   tc_frob_label (symbolP);
 341 #endif
 342
 343   return symbolP;
 344 }
 345 \f
 346
 347 /*
 348  *                      symbol_table_insert()
 349  *
 350  * Die if we can't insert the symbol.
 351  *
 352  */
 353
 354 void
 355 symbol_table_insert (symbolP)
 356      symbolS *symbolP;
 357 {
 358   register const char *error_string;
 359
 360   know (symbolP);
 361   know (S_GET_NAME (symbolP));
 362
 363   if ((error_string = hash_jam (sy_hash, S_GET_NAME (symbolP), (PTR) symbolP)))
 364     {
 365       as_fatal ("Inserting \"%s\" into symbol table failed: %s",
 366                 S_GET_NAME (symbolP), error_string);
 367     }                           /* on error */
 368 }                               /* symbol_table_insert() */
 369 \f
 370 /*
 371  *                      symbol_find_or_make()
 372  *
 373  * If a symbol name does not exist, create it as undefined, and insert
 374  * it into the symbol table. Return a pointer to it.
 375  */
 376 symbolS *
 377 symbol_find_or_make (name)
 378      char *name;
 379 {
 380   register symbolS *symbolP;
 381
 382   symbolP = symbol_find (name);
 383
 384   if (symbolP == NULL)
 385     {
 386       symbolP = symbol_make (name);
 387
 388       symbol_table_insert (symbolP);
 389     }                           /* if symbol wasn't found */
 390
 391   return (symbolP);
 392 }                               /* symbol_find_or_make() */
 393
 394 symbolS *
 395 symbol_make (name)
 396      CONST char *name;
 397 {
 398   symbolS *symbolP;
 399
 400   /* Let the machine description default it, e.g. for register names. */
 401   symbolP = md_undefined_symbol ((char *) name);
 402
 403   if (!symbolP)
 404     symbolP = symbol_new (name, undefined_section, (valueT) 0, &zero_address_frag);
 405
 406   return (symbolP);
 407 }                               /* symbol_make() */
 408
 409 /*
 410  *                      symbol_find()
 411  *
 412  * Implement symbol table lookup.
 413  * In:  A symbol's name as a string: '\0' can't be part of a symbol name.
 414  * Out: NULL if the name was not in the symbol table, else the address
 415  *      of a struct symbol associated with that name.
 416  */
 417
 418 symbolS *
 419 symbol_find (name)
 420      CONST char *name;
 421 {
 422 #ifdef STRIP_UNDERSCORE
 423   return (symbol_find_base (name, 1));
 424 #else /* STRIP_UNDERSCORE */
 425   return (symbol_find_base (name, 0));
 426 #endif /* STRIP_UNDERSCORE */
 427 }                               /* symbol_find() */
 428
 429 symbolS *
 430 symbol_find_base (name, strip_underscore)
 431      CONST char *name;
 432      int strip_underscore;
 433 {
 434   if (strip_underscore && *name == '_')
 435     name++;
 436
 437 #ifdef tc_canonicalize_symbol_name
 438   {
 439     char *copy;
 440
 441     copy = (char *) alloca (strlen (name) + 1);
 442     strcpy (copy, name);
 443     name = tc_canonicalize_symbol_name (copy);
 444   }
 445 #endif
 446
 447   if (! symbols_case_sensitive)
 448     {
 449       unsigned char *copy;
 450
 451       copy = (unsigned char *) alloca (strlen (name) + 1);
 452       name = (const char *) copy;
 453       for (; *copy != '\0'; copy++)
 454         if (islower (*copy))
 455           *copy = toupper (*copy);
 456     }
 457
 458   return ((symbolS *) hash_find (sy_hash, name));
 459 }
 460
 461 /*
 462  * Once upon a time, symbols were kept in a singly linked list.  At
 463  * least coff needs to be able to rearrange them from time to time, for
 464  * which a doubly linked list is much more convenient.  Loic did these
 465  * as macros which seemed dangerous to me so they're now functions.
 466  * xoxorich.
 467  */
 468
 469 /* Link symbol ADDME after symbol TARGET in the chain. */
 470 void
 471 symbol_append (addme, target, rootPP, lastPP)
 472      symbolS *addme;
 473      symbolS *target;
 474      symbolS **rootPP;
 475      symbolS **lastPP;
 476 {
 477   if (target == NULL)
 478     {
 479       know (*rootPP == NULL);
 480       know (*lastPP == NULL);
 481       *rootPP = addme;
 482       *lastPP = addme;
 483       return;
 484     }                           /* if the list is empty */
 485
 486   if (target->sy_next != NULL)
 487     {
 488 #ifdef SYMBOLS_NEED_BACKPOINTERS
 489       target->sy_next->sy_previous = addme;
 490 #endif /* SYMBOLS_NEED_BACKPOINTERS */
 491     }
 492   else
 493     {
 494       know (*lastPP == target);
 495       *lastPP = addme;
 496     }                           /* if we have a next */
 497
 498   addme->sy_next = target->sy_next;
 499   target->sy_next = addme;
 500
 501 #ifdef SYMBOLS_NEED_BACKPOINTERS
 502   addme->sy_previous = target;
 503 #endif /* SYMBOLS_NEED_BACKPOINTERS */
 504 }
 505
 506 /* Set the chain pointers of SYMBOL to null. */
 507 void
 508 symbol_clear_list_pointers (symbolP)
 509      symbolS *symbolP;
 510 {
 511   symbolP->sy_next = NULL;
 512 #ifdef SYMBOLS_NEED_BACKPOINTERS
 513   symbolP->sy_previous = NULL;
 514 #endif
 515 }
 516
 517 #ifdef SYMBOLS_NEED_BACKPOINTERS
 518 /* Remove SYMBOLP from the list. */
 519 void
 520 symbol_remove (symbolP, rootPP, lastPP)
 521      symbolS *symbolP;
 522      symbolS **rootPP;
 523      symbolS **lastPP;
 524 {
 525   if (symbolP == *rootPP)
 526     {
 527       *rootPP = symbolP->sy_next;
 528     }                           /* if it was the root */
 529
 530   if (symbolP == *lastPP)
 531     {
 532       *lastPP = symbolP->sy_previous;
 533     }                           /* if it was the tail */
 534
 535   if (symbolP->sy_next != NULL)
 536     {
 537       symbolP->sy_next->sy_previous = symbolP->sy_previous;
 538     }                           /* if not last */
 539
 540   if (symbolP->sy_previous != NULL)
 541     {
 542       symbolP->sy_previous->sy_next = symbolP->sy_next;
 543     }                           /* if not first */
 544
 545   debug_verify_symchain (*rootPP, *lastPP);
 546 }
 547
 548 /* Link symbol ADDME before symbol TARGET in the chain. */
 549 void
 550 symbol_insert (addme, target, rootPP, lastPP)
 551      symbolS *addme;
 552      symbolS *target;
 553      symbolS **rootPP;
 554      symbolS **lastPP;
 555 {
 556   if (target->sy_previous != NULL)
 557     {
 558       target->sy_previous->sy_next = addme;
 559     }
 560   else
 561     {
 562       know (*rootPP == target);
 563       *rootPP = addme;
 564     }                           /* if not first */
 565
 566   addme->sy_previous = target->sy_previous;
 567   target->sy_previous = addme;
 568   addme->sy_next = target;
 569
 570   debug_verify_symchain (*rootPP, *lastPP);
 571 }
 572
 573 #endif /* SYMBOLS_NEED_BACKPOINTERS */
 574
 575 void
 576 verify_symbol_chain (rootP, lastP)
 577      symbolS *rootP;
 578      symbolS *lastP;
 579 {
 580   symbolS *symbolP = rootP;
 581
 582   if (symbolP == NULL)
 583     return;
 584
 585   for (; symbol_next (symbolP) != NULL; symbolP = symbol_next (symbolP))
 586     {
 587 #ifdef SYMBOLS_NEED_BACKPOINTERS
 588       know (symbolP->sy_next->sy_previous == symbolP);
 589 #else
 590       /* Walk the list anyways, to make sure pointers are still good.  */
 591       ;
 592 #endif /* SYMBOLS_NEED_BACKPOINTERS */
 593     }
 594
 595   assert (lastP == symbolP);
 596 }
 597
 598 void
 599 verify_symbol_chain_2 (sym)
 600      symbolS *sym;
 601 {
 602   symbolS *p = sym, *n = sym;
 603 #ifdef SYMBOLS_NEED_BACKPOINTERS
 604   while (symbol_previous (p))
 605     p = symbol_previous (p);
 606 #endif
 607   while (symbol_next (n))
 608     n = symbol_next (n);
 609   verify_symbol_chain (p, n);
 610 }
 611
 612 /* Resolve the value of a symbol.  This is called during the final
 613    pass over the symbol table to resolve any symbols with complex
 614    values.  */
 615
 616 void
 617 resolve_symbol_value (symp)
 618      symbolS *symp;
 619 {
 620   int resolved;
 621
 622   if (symp->sy_resolved)
 623     return;
 624
 625   resolved = 0;
 626
 627   if (symp->sy_resolving)
 628     {
 629       as_bad ("Symbol definition loop encountered at %s",
 630               S_GET_NAME (symp));
 631       S_SET_VALUE (symp, (valueT) 0);
 632       resolved = 1;
 633     }
 634   else
 635     {
 636       offsetT left, right, val;
 637       segT seg_left, seg_right;
 638
 639       symp->sy_resolving = 1;
 640
 641     reduce:
 642       switch (symp->sy_value.X_op)
 643         {
 644         case O_absent:
 645           S_SET_VALUE (symp, 0);
 646           /* Fall through.  */
 647         case O_constant:
 648           S_SET_VALUE (symp, S_GET_VALUE (symp) + symp->sy_frag->fr_address);
 649           if (S_GET_SEGMENT (symp) == expr_section)
 650             S_SET_SEGMENT (symp, absolute_section);
 651           resolved = 1;
 652           break;
 653
 654         case O_symbol:
 655           resolve_symbol_value (symp->sy_value.X_add_symbol);
 656
 657           if (symp->sy_mri_common)
 658             {
 659               /* This is a symbol inside an MRI common section.  The
 660                  relocation routines are going to handle it specially.
 661                  Don't change the value.  */
 662               S_SET_VALUE (symp, symp->sy_value.X_add_number);
 663               resolved = symp->sy_value.X_add_symbol->sy_resolved;
 664               break;
 665             }
 666
 667 #if 0 /* I thought this was needed for some of the i386-svr4 PIC
 668          support, but it appears I was wrong, and it breaks rs6000
 669          support.  */
 670           if (S_GET_SEGMENT (symp->sy_value.X_add_symbol) != undefined_section
 671               && S_GET_SEGMENT (symp->sy_value.X_add_symbol) != expr_section)
 672 #endif
 673             {
 674               if (symp->sy_value.X_add_number == 0)
 675                 copy_symbol_attributes (symp, symp->sy_value.X_add_symbol);
 676
 677               S_SET_VALUE (symp,
 678                            (symp->sy_value.X_add_number
 679                             + symp->sy_frag->fr_address
 680                             + S_GET_VALUE (symp->sy_value.X_add_symbol)));
 681               if (S_GET_SEGMENT (symp) == expr_section
 682                   || S_GET_SEGMENT (symp) == undefined_section)
 683                 S_SET_SEGMENT (symp,
 684                                S_GET_SEGMENT (symp->sy_value.X_add_symbol));
 685             }
 686           resolved = symp->sy_value.X_add_symbol->sy_resolved;
 687           break;
 688
 689         case O_uminus:
 690         case O_bit_not:
 691           resolve_symbol_value (symp->sy_value.X_add_symbol);
 692           if (symp->sy_value.X_op == O_uminus)
 693             val = - S_GET_VALUE (symp->sy_value.X_add_symbol);
 694           else
 695             val = ~ S_GET_VALUE (symp->sy_value.X_add_symbol);
 696           S_SET_VALUE (symp,
 697                        (val
 698                         + symp->sy_value.X_add_number
 699                         + symp->sy_frag->fr_address));
 700           if (S_GET_SEGMENT (symp) == expr_section
 701               || S_GET_SEGMENT (symp) == undefined_section)
 702             S_SET_SEGMENT (symp, absolute_section);
 703           resolved = symp->sy_value.X_add_symbol->sy_resolved;
 704           break;
 705
 706         case O_add:
 707           resolve_symbol_value (symp->sy_value.X_add_symbol);
 708           resolve_symbol_value (symp->sy_value.X_op_symbol);
 709           seg_left = S_GET_SEGMENT (symp->sy_value.X_add_symbol);
 710           seg_right = S_GET_SEGMENT (symp->sy_value.X_op_symbol);
 711           /* This case comes up with PIC support.  */
 712           {
 713             symbolS *s_left = symp->sy_value.X_add_symbol;
 714             symbolS *s_right = symp->sy_value.X_op_symbol;
 715
 716             if (seg_left == absolute_section)
 717               {
 718                 symbolS *t;
 719                 segT ts;
 720                 t = s_left;
 721                 s_left = s_right;
 722                 s_right = t;
 723                 ts = seg_left;
 724                 seg_left = seg_right;
 725                 seg_right = ts;
 726               }
 727             if (seg_right == absolute_section
 728                 && s_right->sy_resolved)
 729               {
 730                 symp->sy_value.X_add_number += S_GET_VALUE (s_right);
 731                 symp->sy_value.X_op_symbol = 0;
 732                 symp->sy_value.X_add_symbol = s_left;
 733                 symp->sy_value.X_op = O_symbol;
 734                 goto reduce;
 735               }
 736           }
 737           /* fall through */
 738
 739         case O_multiply:
 740         case O_divide:
 741         case O_modulus:
 742         case O_left_shift:
 743         case O_right_shift:
 744         case O_bit_inclusive_or:
 745         case O_bit_or_not:
 746         case O_bit_exclusive_or:
 747         case O_bit_and:
 748         case O_subtract:
 749         case O_eq:
 750         case O_ne:
 751         case O_lt:
 752         case O_le:
 753         case O_ge:
 754         case O_gt:
 755           resolve_symbol_value (symp->sy_value.X_add_symbol);
 756           resolve_symbol_value (symp->sy_value.X_op_symbol);
 757           seg_left = S_GET_SEGMENT (symp->sy_value.X_add_symbol);
 758           seg_right = S_GET_SEGMENT (symp->sy_value.X_op_symbol);
 759           if (seg_left != seg_right
 760               && seg_left != undefined_section
 761               && seg_right != undefined_section)
 762             as_bad ("%s is operation on symbols in different sections",
 763                     S_GET_NAME (symp));
 764           if ((S_GET_SEGMENT (symp->sy_value.X_add_symbol)
 765                != absolute_section)
 766               && symp->sy_value.X_op != O_subtract)
 767             as_bad ("%s is illegal operation on non-absolute symbols",
 768                     S_GET_NAME (symp));
 769           left = S_GET_VALUE (symp->sy_value.X_add_symbol);
 770           right = S_GET_VALUE (symp->sy_value.X_op_symbol);
 771           switch (symp->sy_value.X_op)
 772             {
 773             case O_multiply:            val = left * right; break;
 774             case O_divide:              val = left / right; break;
 775             case O_modulus:             val = left % right; break;
 776             case O_left_shift:          val = left << right; break;
 777             case O_right_shift:         val = left >> right; break;
 778             case O_bit_inclusive_or:    val = left | right; break;
 779             case O_bit_or_not:          val = left |~ right; break;
 780             case O_bit_exclusive_or:    val = left ^ right; break;
 781             case O_bit_and:             val = left & right; break;
 782             case O_add:                 val = left + right; break;
 783             case O_subtract:            val = left - right; break;
 784             case O_eq:          val = left == right ? ~ (offsetT) 0 : 0;
 785             case O_ne:          val = left != right ? ~ (offsetT) 0 : 0;
 786             case O_lt:          val = left <  right ? ~ (offsetT) 0 : 0;
 787             case O_le:          val = left <= right ? ~ (offsetT) 0 : 0;
 788             case O_ge:          val = left >= right ? ~ (offsetT) 0 : 0;
 789             case O_gt:          val = left >  right ? ~ (offsetT) 0 : 0;
 790             default:                    abort ();
 791             }
 792           S_SET_VALUE (symp,
 793                        (symp->sy_value.X_add_number
 794                         + symp->sy_frag->fr_address
 795                         + val));
 796           if (S_GET_SEGMENT (symp) == expr_section
 797               || S_GET_SEGMENT (symp) == undefined_section)
 798             S_SET_SEGMENT (symp, absolute_section);
 799           resolved = (symp->sy_value.X_add_symbol->sy_resolved
 800                       && symp->sy_value.X_op_symbol->sy_resolved);
 801           break;
 802
 803         case O_register:
 804         case O_big:
 805         case O_illegal:
 806           /* Give an error (below) if not in expr_section.  We don't
 807              want to worry about expr_section symbols, because they
 808              are fictional (they are created as part of expression
 809              resolution), and any problems may not actually mean
 810              anything.  */
 811           break;
 812         }
 813     }
 814
 815   /* Don't worry if we can't resolve an expr_section symbol.  */
 816   if (resolved)
 817     symp->sy_resolved = 1;
 818   else if (S_GET_SEGMENT (symp) != expr_section)
 819     {
 820       as_bad ("can't resolve value for symbol \"%s\"", S_GET_NAME (symp));
 821       symp->sy_resolved = 1;
 822     }
 823 }
 824
 825 /* Dollar labels look like a number followed by a dollar sign.  Eg, "42$".
 826    They are *really* local.  That is, they go out of scope whenever we see a
 827    label that isn't local.  Also, like fb labels, there can be multiple
 828    instances of a dollar label.  Therefor, we name encode each instance with
 829    the instance number, keep a list of defined symbols separate from the real
 830    symbol table, and we treat these buggers as a sparse array.  */
 831
 832 static long *dollar_labels;
 833 static long *dollar_label_instances;
 834 static char *dollar_label_defines;
 835 static long dollar_label_count;
 836 static unsigned long dollar_label_max;
 837
 838 int
 839 dollar_label_defined (label)
 840      long label;
 841 {
 842   long *i;
 843
 844   know ((dollar_labels != NULL) || (dollar_label_count == 0));
 845
 846   for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
 847     if (*i == label)
 848       return dollar_label_defines[i - dollar_labels];
 849
 850   /* if we get here, label isn't defined */
 851   return 0;
 852 }                               /* dollar_label_defined() */
 853
 854 static int
 855 dollar_label_instance (label)
 856      long label;
 857 {
 858   long *i;
 859
 860   know ((dollar_labels != NULL) || (dollar_label_count == 0));
 861
 862   for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
 863     if (*i == label)
 864       return (dollar_label_instances[i - dollar_labels]);
 865
 866   /* If we get here, we haven't seen the label before, therefore its instance
 867      count is zero.  */
 868   return 0;
 869 }
 870
 871 void
 872 dollar_label_clear ()
 873 {
 874   memset (dollar_label_defines, '\0', (unsigned int) dollar_label_count);
 875 }
 876
 877 #define DOLLAR_LABEL_BUMP_BY 10
 878
 879 void
 880 define_dollar_label (label)
 881      long label;
 882 {
 883   long *i;
 884
 885   for (i = dollar_labels; i < dollar_labels + dollar_label_count; ++i)
 886     if (*i == label)
 887       {
 888         ++dollar_label_instances[i - dollar_labels];
 889         dollar_label_defines[i - dollar_labels] = 1;
 890         return;
 891       }
 892
 893   /* if we get to here, we don't have label listed yet. */
 894
 895   if (dollar_labels == NULL)
 896     {
 897       dollar_labels = (long *) xmalloc (DOLLAR_LABEL_BUMP_BY * sizeof (long));
 898       dollar_label_instances = (long *) xmalloc (DOLLAR_LABEL_BUMP_BY * sizeof (long));
 899       dollar_label_defines = xmalloc (DOLLAR_LABEL_BUMP_BY);
 900       dollar_label_max = DOLLAR_LABEL_BUMP_BY;
 901       dollar_label_count = 0;
 902     }
 903   else if (dollar_label_count == dollar_label_max)
 904     {
 905       dollar_label_max += DOLLAR_LABEL_BUMP_BY;
 906       dollar_labels = (long *) xrealloc ((char *) dollar_labels,
 907                                          dollar_label_max * sizeof (long));
 908       dollar_label_instances = (long *) xrealloc ((char *) dollar_label_instances,
 909                                           dollar_label_max * sizeof (long));
 910       dollar_label_defines = xrealloc (dollar_label_defines, dollar_label_max);
 911     }                           /* if we needed to grow */
 912
 913   dollar_labels[dollar_label_count] = label;
 914   dollar_label_instances[dollar_label_count] = 1;
 915   dollar_label_defines[dollar_label_count] = 1;
 916   ++dollar_label_count;
 917 }
 918
 919 /*
 920  *                      dollar_label_name()
 921  *
 922  * Caller must copy returned name: we re-use the area for the next name.
 923  *
 924  * The mth occurence of label n: is turned into the symbol "Ln^Am"
 925  * where n is the label number and m is the instance number. "L" makes
 926  * it a label discarded unless debugging and "^A"('\1') ensures no
 927  * ordinary symbol SHOULD get the same name as a local label
 928  * symbol. The first "4:" is "L4^A1" - the m numbers begin at 1.
 929  *
 930  * fb labels get the same treatment, except that ^B is used in place of ^A.
 931  */
 932
 933 char *                          /* Return local label name. */
 934 dollar_label_name (n, augend)
 935      register long n;           /* we just saw "n$:" : n a number */
 936      register int augend;       /* 0 for current instance, 1 for new instance */
 937 {
 938   long i;
 939   /* Returned to caller, then copied.  used for created names ("4f") */
 940   static char symbol_name_build[24];
 941   register char *p;
 942   register char *q;
 943   char symbol_name_temporary[20];       /* build up a number, BACKWARDS */
 944
 945   know (n >= 0);
 946   know (augend == 0 || augend == 1);
 947   p = symbol_name_build;
 948   *p++ = 'L';
 949
 950   /* Next code just does sprintf( {}, "%d", n); */
 951   /* label number */
 952   q = symbol_name_temporary;
 953   for (*q++ = 0, i = n; i; ++q)
 954     {
 955       *q = i % 10 + '0';
 956       i /= 10;
 957     }
 958   while ((*p = *--q) != '\0')
 959     ++p;
 960
 961   *p++ = 1;                     /* ^A */
 962
 963   /* instance number */
 964   q = symbol_name_temporary;
 965   for (*q++ = 0, i = dollar_label_instance (n) + augend; i; ++q)
 966     {
 967       *q = i % 10 + '0';
 968       i /= 10;
 969     }
 970   while ((*p++ = *--q) != '\0');;
 971
 972   /* The label, as a '\0' ended string, starts at symbol_name_build. */
 973   return symbol_name_build;
 974 }
 975
 976 /*
 977  * Sombody else's idea of local labels. They are made by "n:" where n
 978  * is any decimal digit. Refer to them with
 979  *  "nb" for previous (backward) n:
 980  *  or "nf" for next (forward) n:.
 981  *
 982  * We do a little better and let n be any number, not just a single digit, but
 983  * since the other guy's assembler only does ten, we treat the first ten
 984  * specially.
 985  *
 986  * Like someone else's assembler, we have one set of local label counters for
 987  * entire assembly, not one set per (sub)segment like in most assemblers. This
 988  * implies that one can refer to a label in another segment, and indeed some
 989  * crufty compilers have done just that.
 990  *
 991  * Since there could be a LOT of these things, treat them as a sparse array.
 992  */
 993
 994 #define FB_LABEL_SPECIAL (10)
 995
 996 static long fb_low_counter[FB_LABEL_SPECIAL];
 997 static long *fb_labels;
 998 static long *fb_label_instances;
 999 static long fb_label_count;
1000 static long fb_label_max;
1001
1002 /* this must be more than FB_LABEL_SPECIAL */
1003 #define FB_LABEL_BUMP_BY (FB_LABEL_SPECIAL + 6)
1004
1005 static void
1006 fb_label_init ()
1007 {
1008   memset ((void *) fb_low_counter, '\0', sizeof (fb_low_counter));
1009 }                               /* fb_label_init() */
1010
1011 /* add one to the instance number of this fb label */
1012 void
1013 fb_label_instance_inc (label)
1014      long label;
1015 {
1016   long *i;
1017
1018   if (label < FB_LABEL_SPECIAL)
1019     {
1020       ++fb_low_counter[label];
1021       return;
1022     }
1023
1024   if (fb_labels != NULL)
1025     {
1026       for (i = fb_labels + FB_LABEL_SPECIAL;
1027            i < fb_labels + fb_label_count; ++i)
1028         {
1029           if (*i == label)
1030             {
1031               ++fb_label_instances[i - fb_labels];
1032               return;
1033             }                   /* if we find it */
1034         }                       /* for each existing label */
1035     }
1036
1037   /* if we get to here, we don't have label listed yet. */
1038
1039   if (fb_labels == NULL)
1040     {
1041       fb_labels = (long *) xmalloc (FB_LABEL_BUMP_BY * sizeof (long));
1042       fb_label_instances = (long *) xmalloc (FB_LABEL_BUMP_BY * sizeof (long));
1043       fb_label_max = FB_LABEL_BUMP_BY;
1044       fb_label_count = FB_LABEL_SPECIAL;
1045
1046     }
1047   else if (fb_label_count == fb_label_max)
1048     {
1049       fb_label_max += FB_LABEL_BUMP_BY;
1050       fb_labels = (long *) xrealloc ((char *) fb_labels,
1051                                      fb_label_max * sizeof (long));
1052       fb_label_instances = (long *) xrealloc ((char *) fb_label_instances,
1053                                               fb_label_max * sizeof (long));
1054     }                           /* if we needed to grow */
1055
1056   fb_labels[fb_label_count] = label;
1057   fb_label_instances[fb_label_count] = 1;
1058   ++fb_label_count;
1059 }
1060
1061 static long
1062 fb_label_instance (label)
1063      long label;
1064 {
1065   long *i;
1066
1067   if (label < FB_LABEL_SPECIAL)
1068     {
1069       return (fb_low_counter[label]);
1070     }
1071
1072   if (fb_labels != NULL)
1073     {
1074       for (i = fb_labels + FB_LABEL_SPECIAL;
1075            i < fb_labels + fb_label_count; ++i)
1076         {
1077           if (*i == label)
1078             {
1079               return (fb_label_instances[i - fb_labels]);
1080             }                   /* if we find it */
1081         }                       /* for each existing label */
1082     }
1083
1084   /* We didn't find the label, so this must be a reference to the
1085      first instance.  */
1086   return 0;
1087 }
1088
1089 /*
1090  *                      fb_label_name()
1091  *
1092  * Caller must copy returned name: we re-use the area for the next name.
1093  *
1094  * The mth occurence of label n: is turned into the symbol "Ln^Bm"
1095  * where n is the label number and m is the instance number. "L" makes
1096  * it a label discarded unless debugging and "^B"('\2') ensures no
1097  * ordinary symbol SHOULD get the same name as a local label
1098  * symbol. The first "4:" is "L4^B1" - the m numbers begin at 1.
1099  *
1100  * dollar labels get the same treatment, except that ^A is used in place of ^B. */
1101
1102 char *                          /* Return local label name. */
1103 fb_label_name (n, augend)
1104      long n;                    /* we just saw "n:", "nf" or "nb" : n a number */
1105      long augend;               /* 0 for nb, 1 for n:, nf */
1106 {
1107   long i;
1108   /* Returned to caller, then copied.  used for created names ("4f") */
1109   static char symbol_name_build[24];
1110   register char *p;
1111   register char *q;
1112   char symbol_name_temporary[20];       /* build up a number, BACKWARDS */
1113
1114   know (n >= 0);
1115   know (augend == 0 || augend == 1);
1116   p = symbol_name_build;
1117   *p++ = 'L';
1118
1119   /* Next code just does sprintf( {}, "%d", n); */
1120   /* label number */
1121   q = symbol_name_temporary;
1122   for (*q++ = 0, i = n; i; ++q)
1123     {
1124       *q = i % 10 + '0';
1125       i /= 10;
1126     }
1127   while ((*p = *--q) != '\0')
1128     ++p;
1129
1130   *p++ = 2;                     /* ^B */
1131
1132   /* instance number */
1133   q = symbol_name_temporary;
1134   for (*q++ = 0, i = fb_label_instance (n) + augend; i; ++q)
1135     {
1136       *q = i % 10 + '0';
1137       i /= 10;
1138     }
1139   while ((*p++ = *--q) != '\0');;
1140
1141   /* The label, as a '\0' ended string, starts at symbol_name_build. */
1142   return (symbol_name_build);
1143 }                               /* fb_label_name() */
1144
1145 /*
1146  * decode name that may have been generated by foo_label_name() above.  If
1147  * the name wasn't generated by foo_label_name(), then return it unaltered.
1148  * This is used for error messages.
1149  */
1150
1151 char *
1152 decode_local_label_name (s)
1153      char *s;
1154 {
1155   char *p;
1156   char *symbol_decode;
1157   int label_number;
1158   int instance_number;
1159   char *type;
1160   const char *message_format = "\"%d\" (instance number %d of a %s label)";
1161
1162   if (s[0] != 'L')
1163     return s;
1164
1165   for (label_number = 0, p = s + 1; isdigit (*p); ++p)
1166     label_number = (10 * label_number) + *p - '0';
1167
1168   if (*p == 1)
1169     type = "dollar";
1170   else if (*p == 2)
1171     type = "fb";
1172   else
1173     return s;
1174
1175   for (instance_number = 0, p++; isdigit (*p); ++p)
1176     instance_number = (10 * instance_number) + *p - '0';
1177
1178   symbol_decode = obstack_alloc (&notes, strlen (message_format) + 30);
1179   sprintf (symbol_decode, message_format, label_number, instance_number, type);
1180
1181   return symbol_decode;
1182 }
1183
1184 /* Get the value of a symbol.  */
1185
1186 valueT
1187 S_GET_VALUE (s)
1188      symbolS *s;
1189 {
1190   if (!s->sy_resolved && !s->sy_resolving && s->sy_value.X_op != O_constant)
1191     resolve_symbol_value (s);
1192   if (s->sy_value.X_op != O_constant)
1193     as_bad ("Attempt to get value of unresolved symbol %s", S_GET_NAME (s));
1194   return (valueT) s->sy_value.X_add_number;
1195 }
1196
1197 /* Set the value of a symbol.  */
1198
1199 void
1200 S_SET_VALUE (s, val)
1201      symbolS *s;
1202      valueT val;
1203 {
1204   s->sy_value.X_op = O_constant;
1205   s->sy_value.X_add_number = (offsetT) val;
1206   s->sy_value.X_unsigned = 0;
1207 }
1208
1209 void
1210 copy_symbol_attributes (dest, src)
1211      symbolS *dest, *src;
1212 {
1213 #ifdef BFD_ASSEMBLER
1214   /* In an expression, transfer the settings of these flags.
1215      The user can override later, of course.  */
1216 #define COPIED_SYMFLAGS (BSF_FUNCTION)
1217   dest->bsym->flags |= src->bsym->flags & COPIED_SYMFLAGS;
1218 #endif
1219
1220 #ifdef OBJ_COPY_SYMBOL_ATTRIBUTES
1221   OBJ_COPY_SYMBOL_ATTRIBUTES (dest, src);
1222 #endif
1223 }
1224
1225 #ifdef BFD_ASSEMBLER
1226
1227 int
1228 S_IS_EXTERNAL (s)
1229      symbolS *s;
1230 {
1231   flagword flags = s->bsym->flags;
1232
1233   /* sanity check */
1234   if (flags & BSF_LOCAL && flags & BSF_GLOBAL)
1235     abort ();
1236
1237   return (flags & BSF_GLOBAL) != 0;
1238 }
1239
1240 int
1241 S_IS_COMMON (s)
1242      symbolS *s;
1243 {
1244   return bfd_is_com_section (s->bsym->section);
1245 }
1246
1247 int
1248 S_IS_DEFINED (s)
1249      symbolS *s;
1250 {
1251   return s->bsym->section != undefined_section;
1252 }
1253
1254 int
1255 S_IS_DEBUG (s)
1256      symbolS *s;
1257 {
1258   if (s->bsym->flags & BSF_DEBUGGING)
1259     return 1;
1260   return 0;
1261 }
1262
1263 int
1264 S_IS_LOCAL (s)
1265      symbolS *s;
1266 {
1267   flagword flags = s->bsym->flags;
1268   const char *name;
1269
1270   /* sanity check */
1271   if (flags & BSF_LOCAL && flags & BSF_GLOBAL)
1272     abort ();
1273
1274   name = S_GET_NAME (s);
1275   return (name != NULL
1276           && ! S_IS_DEBUG (s)
1277           && (strchr (name, '\001')
1278               || strchr (name, '\002')
1279               || (! flag_keep_locals
1280                   && (LOCAL_LABEL (name)
1281                       || (flag_mri
1282                           && name[0] == '?'
1283                           && name[1] == '?')))));
1284 }
1285
1286 int
1287 S_IS_EXTERN (s)
1288      symbolS *s;
1289 {
1290   return S_IS_EXTERNAL (s);
1291 }
1292
1293 int
1294 S_IS_STABD (s)
1295      symbolS *s;
1296 {
1297   return S_GET_NAME (s) == 0;
1298 }
1299
1300 CONST char *
1301 S_GET_NAME (s)
1302      symbolS *s;
1303 {
1304   return s->bsym->name;
1305 }
1306
1307 segT
1308 S_GET_SEGMENT (s)
1309      symbolS *s;
1310 {
1311   return s->bsym->section;
1312 }
1313
1314 void
1315 S_SET_SEGMENT (s, seg)
1316      symbolS *s;
1317      segT seg;
1318 {
1319   s->bsym->section = seg;
1320 }
1321
1322 void
1323 S_SET_EXTERNAL (s)
1324      symbolS *s;
1325 {
1326   if ((s->bsym->flags & BSF_WEAK) != 0)
1327     as_warn ("%s already declared as weak", S_GET_NAME (s));
1328   s->bsym->flags |= BSF_GLOBAL;
1329   s->bsym->flags &= ~(BSF_LOCAL|BSF_WEAK);
1330 }
1331
1332 void
1333 S_CLEAR_EXTERNAL (s)
1334      symbolS *s;
1335 {
1336   if ((s->bsym->flags & BSF_WEAK) != 0)
1337     as_warn ("%s already declared as weak", S_GET_NAME (s));
1338   s->bsym->flags |= BSF_LOCAL;
1339   s->bsym->flags &= ~(BSF_GLOBAL|BSF_WEAK);
1340 }
1341
1342 void
1343 S_SET_WEAK (s)
1344      symbolS *s;
1345 {
1346   if ((s->bsym->flags & BSF_GLOBAL) != 0)
1347     as_warn ("%s already declared as global", S_GET_NAME (s));
1348   s->bsym->flags |= BSF_WEAK;
1349   s->bsym->flags &= ~(BSF_GLOBAL|BSF_LOCAL);
1350 }
1351
1352 void
1353 S_SET_NAME (s, name)
1354      symbolS *s;
1355      char *name;
1356 {
1357   s->bsym->name = name;
1358 }
1359 #endif /* BFD_ASSEMBLER */
1360
1361 void
1362 symbol_begin ()
1363 {
1364   symbol_lastP = NULL;
1365   symbol_rootP = NULL;          /* In case we have 0 symbols (!!) */
1366   sy_hash = hash_new ();
1367
1368   memset ((char *) (&abs_symbol), '\0', sizeof (abs_symbol));
1369 #ifdef BFD_ASSEMBLER
1370 #if defined (EMIT_SECTION_SYMBOLS) || !defined (RELOC_REQUIRES_SYMBOL)
1371   abs_symbol.bsym = bfd_abs_section.symbol;
1372 #endif
1373 #else
1374   /* Can't initialise a union. Sigh. */
1375   S_SET_SEGMENT (&abs_symbol, absolute_section);
1376 #endif
1377   abs_symbol.sy_value.X_op = O_constant;
1378
1379   if (LOCAL_LABELS_FB)
1380     fb_label_init ();
1381 }
1382
1383 \f
1384 int indent_level;
1385
1386 #if 0
1387
1388 static void
1389 indent ()
1390 {
1391   printf ("%*s", indent_level * 4, "");
1392 }
1393
1394 #endif
1395
1396 void print_expr_1 PARAMS ((FILE *, expressionS *));
1397 void print_symbol_value_1 PARAMS ((FILE *, symbolS *));
1398
1399 void
1400 print_symbol_value_1 (file, sym)
1401      FILE *file;
1402      symbolS *sym;
1403 {
1404   const char *name = S_GET_NAME (sym);
1405   if (!name || !name[0])
1406     name = "(unnamed)";
1407   fprintf (file, "sym %lx %s", (unsigned long) sym, name);
1408   if (sym->sy_frag != &zero_address_frag)
1409     fprintf (file, " frag %lx", (long) sym->sy_frag);
1410   if (sym->written)
1411     fprintf (file, " written");
1412   if (sym->sy_resolved)
1413     fprintf (file, " resolved");
1414   else if (sym->sy_resolving)
1415     fprintf (file, " resolving");
1416   if (sym->sy_used_in_reloc)
1417     fprintf (file, " used-in-reloc");
1418   if (sym->sy_used)
1419     fprintf (file, " used");
1420   if (S_IS_LOCAL (sym))
1421     fprintf (file, " local");
1422   if (S_IS_EXTERN (sym))
1423     fprintf (file, " extern");
1424   if (S_IS_DEBUG (sym))
1425     fprintf (file, " debug");
1426   if (S_IS_DEFINED (sym))
1427     fprintf (file, " defined");
1428   fprintf (file, " %s", segment_name (S_GET_SEGMENT (sym)));
1429   if (sym->sy_resolved)
1430     {
1431       segT s = S_GET_SEGMENT (sym);
1432
1433       if (s != undefined_section
1434           && s != expr_section)
1435         fprintf (file, " %lx", (long) S_GET_VALUE (sym));
1436     }
1437   else if (indent_level < 8 && S_GET_SEGMENT (sym) != undefined_section)
1438     {
1439       indent_level++;
1440       fprintf (file, "\n%*s<", indent_level * 4, "");
1441       print_expr_1 (file, &sym->sy_value);
1442       fprintf (file, ">");
1443       indent_level--;
1444     }
1445   fflush (file);
1446 }
1447
1448 void
1449 print_symbol_value (sym)
1450      symbolS *sym;
1451 {
1452   indent_level = 0;
1453   print_symbol_value_1 (stderr, sym);
1454   fprintf (stderr, "\n");
1455 }
1456
1457 void
1458 print_expr_1 (file, exp)
1459      FILE *file;
1460      expressionS *exp;
1461 {
1462   fprintf (file, "expr %lx ", (long) exp);
1463   switch (exp->X_op)
1464     {
1465     case O_illegal:
1466       fprintf (file, "illegal");
1467       break;
1468     case O_absent:
1469       fprintf (file, "absent");
1470       break;
1471     case O_constant:
1472       fprintf (file, "constant %lx", (long) exp->X_add_number);
1473       break;
1474     case O_symbol:
1475       indent_level++;
1476       fprintf (file, "symbol\n%*s<", indent_level * 4, "");
1477       print_symbol_value_1 (file, exp->X_add_symbol);
1478       fprintf (file, ">");
1479     maybe_print_addnum:
1480       if (exp->X_add_number)
1481         fprintf (file, "\n%*s%lx", indent_level * 4, "",
1482                  (long) exp->X_add_number);
1483       indent_level--;
1484       break;
1485     case O_register:
1486       fprintf (file, "register #%d", (int) exp->X_add_number);
1487       break;
1488     case O_big:
1489       fprintf (file, "big");
1490       break;
1491     case O_uminus:
1492       fprintf (file, "uminus -<");
1493       indent_level++;
1494       print_symbol_value_1 (file, exp->X_add_symbol);
1495       fprintf (file, ">");
1496       goto maybe_print_addnum;
1497     case O_bit_not:
1498       fprintf (file, "bit_not");
1499       break;
1500     case O_multiply:
1501       fprintf (file, "multiply");
1502       break;
1503     case O_divide:
1504       fprintf (file, "divide");
1505       break;
1506     case O_modulus:
1507       fprintf (file, "modulus");
1508       break;
1509     case O_left_shift:
1510       fprintf (file, "lshift");
1511       break;
1512     case O_right_shift:
1513       fprintf (file, "rshift");
1514       break;
1515     case O_bit_inclusive_or:
1516       fprintf (file, "bit_ior");
1517       break;
1518     case O_bit_exclusive_or:
1519       fprintf (file, "bit_xor");
1520       break;
1521     case O_bit_and:
1522       fprintf (file, "bit_and");
1523       break;
1524     case O_eq:
1525       fprintf (file, "eq");
1526       break;
1527     case O_ne:
1528       fprintf (file, "ne");
1529       break;
1530     case O_lt:
1531       fprintf (file, "lt");
1532       break;
1533     case O_le:
1534       fprintf (file, "le");
1535       break;
1536     case O_ge:
1537       fprintf (file, "ge");
1538       break;
1539     case O_gt:
1540       fprintf (file, "gt");
1541       break;
1542     case O_add:
1543       indent_level++;
1544       fprintf (file, "add\n%*s<", indent_level * 4, "");
1545       print_symbol_value_1 (file, exp->X_add_symbol);
1546       fprintf (file, ">\n%*s<", indent_level * 4, "");
1547       print_symbol_value_1 (file, exp->X_op_symbol);
1548       fprintf (file, ">");
1549       goto maybe_print_addnum;
1550     case O_subtract:
1551       indent_level++;
1552       fprintf (file, "subtract\n%*s<", indent_level * 4, "");
1553       print_symbol_value_1 (file, exp->X_add_symbol);
1554       fprintf (file, ">\n%*s<", indent_level * 4, "");
1555       print_symbol_value_1 (file, exp->X_op_symbol);
1556       fprintf (file, ">");
1557       goto maybe_print_addnum;
1558     default:
1559       fprintf (file, "{unknown opcode %d}", (int) exp->X_op);
1560       break;
1561     }
1562   fflush (stdout);
1563 }
1564
1565 void
1566 print_expr (exp)
1567      expressionS *exp;
1568 {
1569   print_expr_1 (stderr, exp);
1570   fprintf (stderr, "\n");
1571 }
1572
1573 /* end of symbols.c */