* symbols.c (resolve_symbol_value): Don't change X_add_number for
[deliverable/binutils-gdb.git] / gas / write.c
index 000e7907213ccbddec2ba630c0e45ae9553114c9..a67b34aee8a88b3ba06b83dc0ab7941d76c81f46 100644 (file)
@@ -1,5 +1,6 @@
 /* write.c - emit .o file
-   Copyright (C) 1986, 87, 90, 91, 92, 93, 1994 Free Software Foundation, Inc.
+   Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 95, 96, 1997
+   Free Software Foundation, Inc.
 
    This file is part of GAS, the GNU Assembler.
 
@@ -14,8 +15,9 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with GAS; see the file COPYING.  If not, write to
-   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+   along with GAS; see the file COPYING.  If not, write to the Free
+   Software Foundation, 59 Temple Place - Suite 330, Boston, MA
+   02111-1307, USA.  */
 
 /* This thing should be set up to do byteordering correctly.  But... */
 
 #include "obstack.h"
 #include "output-file.h"
 
+/* This looks like a good idea.  Let's try turning it on always, for now.  */
+#undef  BFD_FAST_SECTION_FILL
+#define BFD_FAST_SECTION_FILL
+
 /* The NOP_OPCODE is for the alignment fill value.  Fill it with a nop
    instruction so that the disassembler does not choke on it.  */
 #ifndef NOP_OPCODE
 #define TC_FORCE_RELOCATION(FIXP) 0
 #endif
 
+#ifndef TC_FORCE_RELOCATION_SECTION
+#define TC_FORCE_RELOCATION_SECTION(FIXP,SEG) TC_FORCE_RELOCATION(FIXP)
+#endif
+
+#ifndef        MD_PCREL_FROM_SECTION
+#define MD_PCREL_FROM_SECTION(FIXP, SEC) md_pcrel_from(FIXP)
+#endif
+
 #ifndef WORKING_DOT_WORD
 extern CONST int md_short_jump_size;
 extern CONST int md_long_jump_size;
 #endif
 
 int symbol_table_frozen;
+void print_fixup PARAMS ((fixS *));
 
 #ifdef BFD_ASSEMBLER
+static void renumber_sections PARAMS ((bfd *, asection *, PTR));
+
 /* We generally attach relocs to frag chains.  However, after we have
    chained these all together into a segment, any relocs we add after
    that must be attached to a segment.  This will include relocs added
@@ -67,7 +84,6 @@ static struct frag *bss_last_frag;    /* Last frag in segment. */
 
 #ifndef BFD
 static object_headers headers;
-static char *the_object_file;
 #endif
 
 long string_byte_count;
@@ -79,6 +95,8 @@ int magic_number_for_object_file = DEFAULT_MAGIC_NUMBER_FOR_OBJECT_FILE;
 
 #endif /* BFD_ASSEMBLER */
 
+static int n_fixups;
+
 #ifdef BFD_ASSEMBLER
 static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
                                       symbolS *add, symbolS *sub,
@@ -90,7 +108,7 @@ static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
                                       offsetT offset, int pcrel,
                                       int r_type));
 #endif
-#if defined (BFD_ASSEMBLER) || !defined (BFD)
+#if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
 static long fixup_segment PARAMS ((fixS * fixP, segT this_segment_type));
 #endif
 static relax_addressT relax_align PARAMS ((relax_addressT addr, int align));
@@ -118,15 +136,24 @@ fix_new_internal (frag, where, size, add_symbol, sub_symbol, offset, pcrel,
 {
   fixS *fixP;
 
+  n_fixups++;
+
   fixP = (fixS *) obstack_alloc (&notes, sizeof (fixS));
 
   fixP->fx_frag = frag;
   fixP->fx_where = where;
   fixP->fx_size = size;
+  /* We've made fx_size a narrow field; check that it's wide enough.  */
+  if (fixP->fx_size != size)
+    {
+      as_bad ("field fx_size too small to hold %d", size);
+      abort ();
+    }
   fixP->fx_addsy = add_symbol;
   fixP->fx_subsy = sub_symbol;
   fixP->fx_offset = offset;
   fixP->fx_pcrel = pcrel;
+  fixP->fx_plt = 0;
 #if defined(NEED_FX_R_TYPE) || defined (BFD_ASSEMBLER)
   fixP->fx_r_type = r_type;
 #endif
@@ -134,12 +161,13 @@ fix_new_internal (frag, where, size, add_symbol, sub_symbol, offset, pcrel,
   fixP->fx_pcrel_adjust = 0;
   fixP->fx_bit_fixP = 0;
   fixP->fx_addnumber = 0;
-  fixP->tc_fix_data = NULL;
   fixP->fx_tcbit = 0;
   fixP->fx_done = 0;
+  fixP->fx_no_overflow = 0;
+  fixP->fx_signed = 0;
 
-#ifdef TC_something
-  fixP->fx_bsr = 0;
+#ifdef TC_FIX_TYPE
+  TC_INIT_FIX_DATA(fixP);
 #endif
 
   as_where (&fixP->fx_file, &fixP->fx_line);
@@ -188,7 +216,7 @@ fixS *
 fix_new (frag, where, size, add_symbol, offset, pcrel, r_type)
      fragS *frag;              /* Which frag? */
      int where;                        /* Where in that frag? */
-     short int size;           /* 1, 2, or 4 usually. */
+     int size;                 /* 1, 2, or 4 usually. */
      symbolS *add_symbol;      /* X_add_symbol. */
      offsetT offset;           /* X_add_number. */
      int pcrel;                        /* TRUE if PC-relative relocation. */
@@ -210,7 +238,7 @@ fixS *
 fix_new_exp (frag, where, size, exp, pcrel, r_type)
      fragS *frag;              /* Which frag? */
      int where;                        /* Where in that frag? */
-     short int size;           /* 1, 2, or 4 usually. */
+     int size;                 /* 1, 2, or 4 usually. */
      expressionS *exp;         /* Expression.  */
      int pcrel;                        /* TRUE if PC-relative relocation. */
 #ifdef BFD_ASSEMBLER
@@ -222,12 +250,40 @@ fix_new_exp (frag, where, size, exp, pcrel, r_type)
   symbolS *add = NULL;
   symbolS *sub = NULL;
   offsetT off = 0;
-  
+
   switch (exp->X_op)
     {
     case O_absent:
       break;
 
+    case O_add:
+      /* This comes up when _GLOBAL_OFFSET_TABLE_+(.-L0) is read, if
+        the difference expression cannot immediately be reduced.  */
+      {
+       extern symbolS *make_expr_symbol ();
+       symbolS *stmp = make_expr_symbol (exp);
+       exp->X_op = O_symbol;
+       exp->X_op_symbol = 0;
+       exp->X_add_symbol = stmp;
+       exp->X_add_number = 0;
+       return fix_new_exp (frag, where, size, exp, pcrel, r_type);
+      }
+
+    case O_symbol_rva:
+      add = exp->X_add_symbol;
+      off = exp->X_add_number;
+
+#if defined(BFD_ASSEMBLER)
+      r_type = BFD_RELOC_RVA;
+#else
+#if defined(TC_RVA_RELOC)
+      r_type = TC_RVA_RELOC;
+#else
+      as_fatal("rva not supported");
+#endif
+#endif
+      break;
+
     case O_uminus:
       sub = exp->X_add_symbol;
       off = exp->X_add_number;
@@ -242,9 +298,10 @@ fix_new_exp (frag, where, size, exp, pcrel, r_type)
     case O_constant:
       off = exp->X_add_number;
       break;
-      
+
     default:
-      as_bad ("expression too complex for fixup");
+      add = make_expr_symbol (exp);
+      break;
     }
 
   return fix_new_internal (frag, where, size, add, sub, off,
@@ -266,7 +323,7 @@ append (charPP, fromP, length)
   *charPP += length;
 }
 
-#ifndef BFD_ASSEMBLER 
+#ifndef BFD_ASSEMBLER
 int section_alignment[SEG_MAXIMUM_ORDINAL];
 #endif
 
@@ -276,7 +333,7 @@ int section_alignment[SEG_MAXIMUM_ORDINAL];
  * boundary, all of the other alignments within it will work.  At
  * least one object format really uses this info.
  */
-void 
+void
 record_alignment (seg, align)
      /* Segment to which alignment pertains */
      segT seg;
@@ -284,6 +341,8 @@ record_alignment (seg, align)
        boundary, etc.)  */
      int align;
 {
+  if (seg == absolute_section)
+    return;
 #ifdef BFD_ASSEMBLER
   if (align > bfd_get_section_alignment (stdoutput, seg))
     bfd_set_section_alignment (stdoutput, seg, align);
@@ -293,6 +352,24 @@ record_alignment (seg, align)
 #endif
 }
 
+#ifdef BFD_ASSEMBLER
+
+/* Reset the section indices after removing the gas created sections.  */
+
+static void
+renumber_sections (abfd, sec, countparg)
+     bfd *abfd;
+     asection *sec;
+     PTR countparg;
+{
+  int *countp = (int *) countparg;
+
+  sec->index = *countp;
+  ++*countp;
+}
+
+#endif /* defined (BFD_ASSEMBLER) */
+
 #if defined (BFD_ASSEMBLER) || ! defined (BFD)
 
 static fragS *
@@ -301,12 +378,15 @@ chain_frchains_together_1 (section, frchp)
      struct frchain *frchp;
 {
   fragS dummy, *prev_frag = &dummy;
+#ifdef BFD_ASSEMBLER
   fixS fix_dummy, *prev_fix = &fix_dummy;
+#endif
 
   for (; frchp && frchp->frch_seg == section; frchp = frchp->frch_next)
     {
       prev_frag->fr_next = frchp->frch_root;
       prev_frag = frchp->frch_last;
+      assert (prev_frag->fr_type != 0);
 #ifdef BFD_ASSEMBLER
       if (frchp->fix_root != (fixS *) NULL)
        {
@@ -318,6 +398,7 @@ chain_frchains_together_1 (section, frchp)
        }
 #endif
     }
+  assert (prev_frag->fr_type != 0);
   prev_frag->fr_next = 0;
   return prev_frag;
 }
@@ -350,7 +431,7 @@ chain_frchains_together (abfd, section, xxx)
 
 #if !defined (BFD) && !defined (BFD_ASSEMBLER)
 
-void 
+void
 remove_subsegs (head, seg, root, last)
      frchainS *head;
      int seg;
@@ -372,23 +453,31 @@ cvt_frag_to_fill (sec, fragP)
      fragS *fragP;
 #else
 static void
-cvt_frag_to_fill (headers, fragP)
-     object_headers *headers;
+cvt_frag_to_fill (headersP, sec, fragP)
+     object_headers *headersP;
+     segT sec;
      fragS *fragP;
 #endif
 {
   switch (fragP->fr_type)
     {
     case rs_align:
+    case rs_align_code:
     case rs_org:
+    case rs_space:
 #ifdef HANDLE_ALIGN
       HANDLE_ALIGN (fragP);
 #endif
-      fragP->fr_type = rs_fill;
       know (fragP->fr_next != NULL);
       fragP->fr_offset = (fragP->fr_next->fr_address
                          - fragP->fr_address
                          - fragP->fr_fix) / fragP->fr_var;
+      if (fragP->fr_offset < 0)
+       {
+         as_bad ("attempt to .org/.space backwards? (%ld)",
+                 (long) fragP->fr_offset);
+       }
+      fragP->fr_type = rs_fill;
       break;
 
     case rs_fill:
@@ -398,7 +487,7 @@ cvt_frag_to_fill (headers, fragP)
 #ifdef BFD_ASSEMBLER
       md_convert_frag (stdoutput, sec, fragP);
 #else
-      md_convert_frag (headers, fragP);
+      md_convert_frag (headersP, sec, fragP);
 #endif
 
       assert (fragP->fr_next == NULL || (fragP->fr_next->fr_address - fragP->fr_address == fragP->fr_fix));
@@ -451,9 +540,11 @@ relax_and_size_seg (abfd, sec, xxx)
   int x;
   valueT size, newsize;
 
+  subseg_change (sec, 0);
+
   flags = bfd_get_section_flags (abfd, sec);
 
-  seginfo = (segment_info_type *) bfd_get_section_userdata (abfd, sec);
+  seginfo = seg_info (sec);
   if (seginfo && seginfo->frchainP)
     {
       relax_segment (seginfo->frchainP->frch_root, sec);
@@ -542,7 +633,7 @@ dump_section_relocs (abfd, sec, stream_)
     }
 }
 #else
-#define dump_section_relocs(ABFD,SEC,STREAM)   (void)(ABFD,SEC,STREAM)
+#define dump_section_relocs(ABFD,SEC,STREAM)   ((void) 0)
 #endif
 
 #ifndef EMIT_SECTION_SYMBOLS
@@ -568,20 +659,111 @@ adjust_reloc_syms (abfd, sec, xxx)
       /* ignore it */;
     else if (fixp->fx_addsy)
       {
-       symbolS *sym = fixp->fx_addsy;
-       asection *symsec = sym->bsym->section;
+       symbolS *sym;
+       asection *symsec;
+
+      reduce_fixup:
+
+#ifdef DEBUG5
+       fprintf (stderr, "\n\nadjusting fixup:\n");
+       print_fixup (fixp);
+#endif
+
+       sym = fixp->fx_addsy;
+
+       /* All symbols should have already been resolved at this
+          point.  It is possible to see unresolved expression
+          symbols, though, since they are not in the regular symbol
+          table.  */
+       if (sym != NULL && ! sym->sy_resolved)
+         resolve_symbol_value (sym);
+       if (fixp->fx_subsy != NULL && ! fixp->fx_subsy->sy_resolved)
+         resolve_symbol_value (fixp->fx_subsy);
+
+       /* If this symbol is equated to an undefined symbol, convert
+           the fixup to being against that symbol.  */
+       if (sym->sy_value.X_op == O_symbol
+           && (! S_IS_DEFINED (sym) || S_IS_COMMON (sym)))
+         {
+           fixp->fx_offset += sym->sy_value.X_add_number;
+           sym = sym->sy_value.X_add_symbol;
+           fixp->fx_addsy = sym;
+         }
+
+       symsec = S_GET_SEGMENT (sym);
+
+       if (sym != NULL && sym->sy_mri_common)
+         {
+           /* These symbols are handled specially in fixup_segment.  */
+           goto done;
+         }
+
+       if (bfd_is_abs_section (symsec))
+         {
+           /* The fixup_segment routine will not use this symbol in a
+               relocation unless TC_FORCE_RELOCATION returns 1.  */
+           if (TC_FORCE_RELOCATION (fixp))
+             {
+               fixp->fx_addsy->sy_used_in_reloc = 1;
+#ifdef UNDEFINED_DIFFERENCE_OK
+               if (fixp->fx_subsy != NULL)
+                 fixp->fx_subsy->sy_used_in_reloc = 1;
+#endif
+             }
+           goto done;
+         }
 
        /* If it's one of these sections, assume the symbol is
           definitely going to be output.  The code in
           md_estimate_size_before_relax in tc-mips.c uses this test
           as well, so if you change this code you should look at that
           code.  */
-       if (symsec == &bfd_und_section
-           || symsec == &bfd_abs_section
+       if (bfd_is_und_section (symsec)
            || bfd_is_com_section (symsec))
          {
            fixp->fx_addsy->sy_used_in_reloc = 1;
-           continue;
+#ifdef UNDEFINED_DIFFERENCE_OK
+           /* We have the difference of an undefined symbol and some
+              other symbol.  Make sure to mark the other symbol as used
+              in a relocation so that it will always be output.  */
+           if (fixp->fx_subsy)
+             fixp->fx_subsy->sy_used_in_reloc = 1;
+#endif
+           goto done;
+         }
+
+       /* Don't try to reduce relocs which refer to .linkonce
+           sections.  It can lead to confusion when a debugging
+           section refers to a .linkonce section.  I hope this will
+           always be correct.  */
+       if (symsec != sec)
+         {
+           boolean linkonce;
+
+           linkonce = false;
+#ifdef BFD_ASSEMBLER
+           if ((bfd_get_section_flags (stdoutput, symsec) & SEC_LINK_ONCE)
+               != 0)
+             linkonce = true;
+#endif
+#ifdef OBJ_ELF
+           /* The GNU toolchain uses an extension for ELF: a section
+               beginning with the magic string .gnu.linkonce is a
+               linkonce section.  */
+           if (strncmp (segment_name (symsec), ".gnu.linkonce",
+                        sizeof ".gnu.linkonce" - 1) == 0)
+             linkonce = true;
+#endif
+
+           if (linkonce)
+             {
+               fixp->fx_addsy->sy_used_in_reloc = 1;
+#ifdef UNDEFINED_DIFFERENCE_OK
+               if (fixp->fx_subsy != NULL)
+                 fixp->fx_subsy->sy_used_in_reloc = 1;
+#endif
+               goto done;
+             }
          }
 
        /* Since we're reducing to section symbols, don't attempt to reduce
@@ -589,7 +771,7 @@ adjust_reloc_syms (abfd, sec, xxx)
        if (sym->bsym->flags & BSF_SECTION_SYM)
          {
            fixp->fx_addsy->sy_used_in_reloc = 1;
-           continue;
+           goto done;
          }
 
        /* Is there some other reason we can't adjust this one?  (E.g.,
@@ -598,29 +780,34 @@ adjust_reloc_syms (abfd, sec, xxx)
        if (! obj_fix_adjustable (fixp))
          {
            fixp->fx_addsy->sy_used_in_reloc = 1;
-           continue;
+           goto done;
          }
 #endif
 
        /* Is there some other (target cpu dependent) reason we can't adjust
-          this one?  (E.g. relocations involving function addresses on 
+          this one?  (E.g. relocations involving function addresses on
           the PA.  */
 #ifdef tc_fix_adjustable
        if (! tc_fix_adjustable (fixp))
          {
            fixp->fx_addsy->sy_used_in_reloc = 1;
-           continue;
+           goto done;
          }
 #endif
 
        /* If the section symbol isn't going to be output, the relocs
           at least should still work.  If not, figure out what to do
-          when we run into that case.  */
+          when we run into that case.
+
+          We refetch the segment when calling section_symbol, rather
+          than using symsec, because S_GET_VALUE may wind up changing
+          the section when it calls resolve_symbol_value. */
        fixp->fx_offset += S_GET_VALUE (sym);
-       if (sym->sy_frag)
-         fixp->fx_offset += sym->sy_frag->fr_address;
-       fixp->fx_addsy = section_symbol (symsec);
+       fixp->fx_addsy = section_symbol (S_GET_SEGMENT (sym));
        fixp->fx_addsy->sy_used_in_reloc = 1;
+
+      done:
+       ;
       }
 #if 1/*def RELOC_REQUIRES_SYMBOL*/
     else
@@ -631,7 +818,7 @@ adjust_reloc_syms (abfd, sec, xxx)
           a local symbol in the absolute section.  */
 
        fixp->fx_addsy = section_symbol (absolute_section);
-       fixp->fx_addsy->sy_used_in_reloc = 1;
+/*     fixp->fx_addsy->sy_used_in_reloc = 1; */
       }
 #endif
 
@@ -672,38 +859,52 @@ write_relocs (abfd, sec, xxx)
   for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
     {
       arelent *reloc;
-      char *data;
       bfd_reloc_status_type s;
+      symbolS *sym;
 
       if (fixp->fx_done)
        {
          n--;
          continue;
        }
+
+      /* If this is an undefined symbol which was equated to another
+         symbol, then use generate the reloc against the latter symbol
+         rather than the former.  */
+      sym = fixp->fx_addsy;
+      while (sym->sy_value.X_op == O_symbol
+            && (! S_IS_DEFINED (sym) || S_IS_COMMON (sym)))
+       {
+         symbolS *n;
+
+         /* We must avoid looping, as that can occur with a badly
+            written program.  */
+         n = sym->sy_value.X_add_symbol;
+         if (n == sym)
+           break;
+         fixp->fx_offset += sym->sy_value.X_add_number;
+         sym = n;
+       }
+      fixp->fx_addsy = sym;
+
       reloc = tc_gen_reloc (sec, fixp);
       if (!reloc)
        {
          n--;
          continue;
        }
-      data = fixp->fx_frag->fr_literal + fixp->fx_where;
+
+#if 0
+      /* This test is triggered inappropriately for the SH.  */
       if (fixp->fx_where + fixp->fx_size
          > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
        abort ();
+#endif
 
-      if (reloc->howto->partial_inplace == false
-         && reloc->howto->pcrel_offset == true
-         && reloc->howto->pc_relative == true)
-       {
-         /* bfd_perform_relocation screws this up */
-         reloc->addend += reloc->address;
-       }
-      /* Pass bogus address so that when bfd_perform_relocation adds
-        `reloc->address' back in, it'll come up with `data', which is where
-        we want it to operate.  We can't just do it by fudging reloc->address,
-        since that might be used in the calculations(?).  */
-      s = bfd_perform_relocation (stdoutput, reloc, data - reloc->address,
-                                 sec, stdoutput, &err);
+      s = bfd_install_relocation (stdoutput, reloc,
+                                 fixp->fx_frag->fr_literal,
+                                 fixp->fx_frag->fr_address,
+                                 sec, &err);
       switch (s)
        {
        case bfd_reloc_ok:
@@ -712,7 +913,8 @@ write_relocs (abfd, sec, xxx)
          as_bad_where (fixp->fx_file, fixp->fx_line, "relocation overflow");
          break;
        default:
-         as_fatal ("bad return from bfd_perform_relocation");
+         as_fatal ("%s:%u: bad return from bfd_perform_relocation",
+                   fixp->fx_file, fixp->fx_line);
        }
       relocs[i++] = reloc;
     }
@@ -728,6 +930,7 @@ write_relocs (abfd, sec, xxx)
       arelent **reloc;
       char *data;
       bfd_reloc_status_type s;
+      symbolS *sym;
       int j;
 
       if (fixp->fx_done)
@@ -735,6 +938,16 @@ write_relocs (abfd, sec, xxx)
          n--;
          continue;
        }
+
+      /* If this is an undefined symbol which was equated to another
+         symbol, then use generate the reloc against the latter symbol
+         rather than the former.  */
+      sym = fixp->fx_addsy;
+      while (sym->sy_value.X_op == O_symbol
+            && (! S_IS_DEFINED (sym) || S_IS_COMMON (sym)))
+       sym = sym->sy_value.X_add_symbol;
+      fixp->fx_addsy = sym;
+
       reloc = tc_gen_reloc (sec, fixp);
 
       for (j = 0; reloc[j]; j++)
@@ -745,18 +958,25 @@ write_relocs (abfd, sec, xxx)
       data = fixp->fx_frag->fr_literal + fixp->fx_where;
       if (fixp->fx_where + fixp->fx_size
          > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
-       abort ();
+       as_bad_where (fixp->fx_file, fixp->fx_line,
+                     "internal error: fixup not contained within frag");
       for (j = 0; reloc[j]; j++)
         {
-         s = bfd_perform_relocation (stdoutput, reloc[j],
-                                     data - reloc[0]->address,
-                                     sec, stdoutput, &err);
+         s = bfd_install_relocation (stdoutput, reloc[j],
+                                     fixp->fx_frag->fr_literal,
+                                     fixp->fx_frag->fr_address,
+                                     sec, &err);
           switch (s)
            {
            case bfd_reloc_ok:
              break;
+           case bfd_reloc_overflow:
+             as_bad_where (fixp->fx_file, fixp->fx_line,
+                           "relocation overflow");
+             break;
            default:
-             as_fatal ("bad return from bfd_perform_relocation");
+             as_fatal ("%s:%u: bad return from bfd_perform_relocation",
+                       fixp->fx_file, fixp->fx_line);
            }
         }
     }
@@ -839,7 +1059,7 @@ write_contents (abfd, sec, xxx)
            {
              bfd_perror (stdoutput->filename);
              as_perror ("FATAL: Can't write %s", stdoutput->filename);
-             exit (42);
+             exit (EXIT_FAILURE);
            }
          offset += f->fr_fix;
        }
@@ -848,19 +1068,56 @@ write_contents (abfd, sec, xxx)
       count = f->fr_offset;
       assert (count >= 0);
       if (fill_size && count)
-       while (count--)
-         {
-           x = bfd_set_section_contents (stdoutput, sec,
-                                         fill_literal, (file_ptr) offset,
-                                         (bfd_size_type) fill_size);
-           if (x == false)
-             {
-               bfd_perror (stdoutput->filename);
-               as_perror ("FATAL: Can't write %s", stdoutput->filename);
-               exit (42);
-             }
-           offset += fill_size;
-         }
+       {
+         char buf[256];
+         if (fill_size > sizeof(buf))
+           {
+             /* Do it the old way. Can this ever happen? */
+             while (count--)
+               {
+                 x = bfd_set_section_contents (stdoutput, sec,
+                                               fill_literal,
+                                               (file_ptr) offset,
+                                               (bfd_size_type) fill_size);
+                 if (x == false)
+                   {
+                     bfd_perror (stdoutput->filename);
+                     as_perror ("FATAL: Can't write %s", stdoutput->filename);
+                     exit (EXIT_FAILURE);
+                   }
+                 offset += fill_size;
+               }
+           }
+         else
+           {
+             /* Build a buffer full of fill objects and output it as
+                often as necessary. This saves on the overhead of
+                potentially lots of bfd_set_section_contents calls.  */
+             int n_per_buf, i;
+             if (fill_size == 1)
+               {
+                 n_per_buf = sizeof (buf);
+                 memset (buf, *fill_literal, n_per_buf);
+               }
+             else
+               {
+                 char *bufp;
+                 n_per_buf = sizeof(buf)/fill_size;
+                 for (i = n_per_buf, bufp = buf; i; i--, bufp += fill_size)
+                   memcpy(bufp, fill_literal, fill_size);
+               }
+             for (; count > 0; count -= n_per_buf)
+               {
+                 n_per_buf = n_per_buf > count ? count : n_per_buf;
+                 x = bfd_set_section_contents (stdoutput, sec,
+                                               buf, (file_ptr) offset,
+                                               (bfd_size_type) n_per_buf * fill_size);
+                 if (x != true)
+                   as_fatal ("Cannot write to output file.");
+                 offset += n_per_buf * fill_size;
+               }
+           }
+       }
     }
 }
 #endif
@@ -1027,7 +1284,7 @@ set_symtab ()
 }
 #endif
 
-void 
+void
 write_object_file ()
 {
   struct frchain *frchainP;    /* Track along all frchains. */
@@ -1042,7 +1299,7 @@ write_object_file ()
     n_errs = had_errors ();
     /* The -Z flag indicates that an object file should be generated,
        regardless of warnings and errors.  */
-    if (flagseen['Z'])
+    if (flag_always_generate_output)
       {
        if (n_warns || n_errs)
          as_warn ("%d error%s, %d warning%s, generating bad object file.\n",
@@ -1062,8 +1319,8 @@ write_object_file ()
   /* Under VMS we try to be compatible with VAX-11 "C".  Thus, we call
      a routine to check for the definition of the procedure "_main",
      and if so -- fix it up so that it can be program entry point. */
-  VMS_Check_For_Main ();
-#endif /* VMS */
+  vms_check_for_main ();
+#endif /* OBJ_VMS */
 
   /* After every sub-segment, we fake an ".align ...". This conforms to
      BSD4.2 brane-damage. We then fake ".fill 0" because that is the kind of
@@ -1100,6 +1357,8 @@ write_object_file ()
   /* Remove the sections created by gas for its own purposes.  */
   {
     asection **seclist, *sec;
+    int i;
+
     seclist = &stdoutput->sections;
     while (seclist && *seclist)
       {
@@ -1115,6 +1374,8 @@ write_object_file ()
        if (*seclist)
          seclist = &(*seclist)->next;
       }
+    i = 0;
+    bfd_map_over_sections (stdoutput, renumber_sections, &i);
   }
 
   bfd_map_over_sections (stdoutput, chain_frchains_together, (char *) 0);
@@ -1128,7 +1389,7 @@ write_object_file ()
      data frags into the text segment. Do this before relaxing so
      we know to take advantage of -R and make shorter addresses.  */
 #if !defined (OBJ_AOUT) || defined (BFD_ASSEMBLER)
-  if (flagseen['R'])
+  if (flag_readonly_data_in_text)
     {
       merge_data_into_text ();
     }
@@ -1182,7 +1443,7 @@ write_object_file ()
 
   for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
     {
-      cvt_frag_to_fill (&headers, fragP);
+      cvt_frag_to_fill (&headers, SEG_TEXT, fragP);
 
       /* Some assert macros don't work with # directives mixed in.  */
 #ifndef NDEBUG
@@ -1213,9 +1474,15 @@ write_object_file ()
          exp.X_op_symbol = lie->sub;
          exp.X_add_number = lie->addnum;
 #ifdef BFD_ASSEMBLER
+#ifdef TC_CONS_FIX_NEW
+         TC_CONS_FIX_NEW (lie->frag,
+                      lie->word_goes_here - lie->frag->fr_literal,
+                      2, &exp);
+#else
          fix_new_exp (lie->frag,
                       lie->word_goes_here - lie->frag->fr_literal,
-                      2, &exp, 0, BFD_RELOC_NONE);
+                      2, &exp, 0, BFD_RELOC_16);
+#endif
 #else
 #if defined(TC_SPARC) || defined(TC_A29K) || defined(NEED_FX_R_TYPE)
          fix_new_exp (lie->frag,
@@ -1271,6 +1538,9 @@ write_object_file ()
            /* Patch the jump table */
            /* This is the offset from ??? to table_ptr+0 */
            to_addr = table_addr - S_GET_VALUE (lie->sub);
+#ifdef BFD_ASSEMBLER
+           to_addr -= lie->sub->sy_frag->fr_address;
+#endif
            md_number_to_chars (lie->word_goes_here, to_addr, 2);
            for (untruth = lie->next_broken_word; untruth && untruth->dispfrag == fragP; untruth = untruth->next_broken_word)
              {
@@ -1282,6 +1552,9 @@ write_object_file ()
            /* this is a long jump from table_ptr+0 to the final target */
            from_addr = table_addr;
            to_addr = S_GET_VALUE (lie->add) + lie->addnum;
+#ifdef BFD_ASSEMBLER
+           to_addr += lie->add->sy_frag->fr_address;
+#endif
            md_create_long_jump (table_ptr, from_addr, to_addr, lie->dispfrag, lie->add);
            table_ptr += md_long_jump_size;
            table_addr += md_long_jump_size;
@@ -1293,6 +1566,7 @@ write_object_file ()
 #ifndef BFD_ASSEMBLER
 #ifndef        OBJ_VMS
   {                            /* not vms */
+    char *the_object_file;
     long object_file_size;
     /*
      * Scan every FixS performing fixups. We had to wait until now to do
@@ -1330,6 +1604,7 @@ write_object_file ()
        register char *fill_literal;
        register long fill_size;
 
+       PROGRESS (1);
        know (fragP->fr_type == rs_fill);
        append (&next_object_file_charP, fragP->fr_literal, (unsigned long) fragP->fr_fix);
        fill_literal = fragP->fr_literal + fragP->fr_fix;
@@ -1390,19 +1665,40 @@ write_object_file ()
 
     /* Write the data to the file */
     output_file_append (the_object_file, object_file_size, out_file_name);
+    free (the_object_file);
 #endif
   }                            /* non vms output */
-#else /* VMS */
+#else /* OBJ_VMS */
   /*
    *   Now do the VMS-dependent part of writing the object file
    */
-  VMS_write_object_file (H_GET_TEXT_SIZE (&headers),
+  vms_write_object_file (H_GET_TEXT_SIZE (&headers),
                         H_GET_DATA_SIZE (&headers),
                         H_GET_BSS_SIZE (&headers),
                         text_frag_root, data_frag_root);
-#endif /* VMS */
+#endif /* OBJ_VMS */
 #else /* BFD_ASSEMBLER */
 
+  /* Resolve symbol values.  This needs to be done before processing
+     the relocations.  */
+  if (symbol_rootP)
+    {
+      symbolS *symp;
+
+      for (symp = symbol_rootP; symp; symp = symbol_next (symp))
+       if (!symp->sy_resolved)
+         resolve_symbol_value (symp);
+    }
+
+  PROGRESS (1);
+
+#ifdef tc_frob_file_before_adjust
+  tc_frob_file_before_adjust ();
+#endif
+#ifdef obj_frob_file_before_adjust
+  obj_frob_file_before_adjust ();
+#endif
+
   bfd_map_over_sections (stdoutput, adjust_reloc_syms, (char *)0);
 
   /* Set up symbol table, and write it out.  */
@@ -1413,7 +1709,30 @@ write_object_file ()
       for (symp = symbol_rootP; symp; symp = symbol_next (symp))
        {
          int punt = 0;
+         const char *name;
+
+         if (symp->sy_mri_common)
+           {
+             if (S_IS_EXTERNAL (symp))
+               as_bad ("%s: global symbols not supported in common sections",
+                       S_GET_NAME (symp));
+             symbol_remove (symp, &symbol_rootP, &symbol_lastP);
+             continue;
+           }
+
+         name = S_GET_NAME (symp);
+         if (name)
+           {
+             const char *name2 = decode_local_label_name ((char *)S_GET_NAME (symp));
+             /* They only differ if `name' is a fb or dollar local
+                label name.  */
+             if (name2 != name && ! S_IS_DEFINED (symp))
+               as_bad ("local label %s is not defined", name2);
+           }
 
+         /* Do it again, because adjust_reloc_syms might introduce
+            more symbols.  They'll probably only be section symbols,
+            but they'll still need to have the values computed.  */
          if (! symp->sy_resolved)
            {
              if (symp->sy_value.X_op == O_constant)
@@ -1428,11 +1747,20 @@ write_object_file ()
                resolve_symbol_value (symp);
            }
 
+         /* Skip symbols which were equated to undefined or common
+             symbols.  */
+         if (symp->sy_value.X_op == O_symbol
+             && (! S_IS_DEFINED (symp) || S_IS_COMMON (symp)))
+           {
+             symbol_remove (symp, &symbol_rootP, &symbol_lastP);
+             continue;
+           }
+
          /* So far, common symbols have been treated like undefined symbols.
             Put them in the common section now.  */
          if (S_IS_DEFINED (symp) == 0
              && S_GET_VALUE (symp) != 0)
-           S_SET_SEGMENT (symp, &bfd_com_section);
+           S_SET_SEGMENT (symp, bfd_com_section_ptr);
 #if 0
          printf ("symbol `%s'\n\t@%x: value=%d flags=%x seg=%s\n",
                  S_GET_NAME (symp), symp,
@@ -1485,6 +1813,21 @@ write_object_file ()
        }
     }
 
+  PROGRESS (1);
+
+  /* Now do any format-specific adjustments to the symbol table, such
+     as adding file symbols.  */
+#ifdef tc_adjust_symtab
+  tc_adjust_symtab ();
+#endif
+#ifdef obj_adjust_symtab
+  obj_adjust_symtab ();
+#endif
+
+  /* Now that all the sizes are known, and contents correct, we can
+     start writing to the file.  */
+  set_symtab ();
+
   /* If *_frob_file changes the symbol value at this point, it is
      responsible for moving the changed value into symp->bsym->value
      as well.  Hopefully all symbol value changing can be done in
@@ -1496,12 +1839,15 @@ write_object_file ()
   obj_frob_file ();
 #endif
 
-  /* Now that all the sizes are known, and contents correct, we can
-     start writing to the file.  */
-  set_symtab ();
-
   bfd_map_over_sections (stdoutput, write_relocs, (char *) 0);
 
+#ifdef tc_frob_file_after_relocs
+  tc_frob_file_after_relocs ();
+#endif
+#ifdef obj_frob_file_after_relocs
+  obj_frob_file_after_relocs ();
+#endif
+
   bfd_map_over_sections (stdoutput, write_contents, (char *) 0);
 #endif /* BFD_ASSEMBLER */
 }
@@ -1520,10 +1866,10 @@ write_object_file ()
  * these frag addresses may not be the same as final object-file addresses.
  */
 
-#ifndef md_relax_frag
+#ifdef TC_GENERIC_RELAX_TABLE
 
 /* Subroutines of relax_segment.  */
-static int 
+static int
 is_dnrange (f1, f2)
      struct frag *f1;
      struct frag *f2;
@@ -1534,7 +1880,111 @@ is_dnrange (f1, f2)
   return 0;
 }
 
-#endif /* ! defined (md_relax_frag) */
+/* Relax a fragment by scanning TC_GENERIC_RELAX_TABLE.  */
+
+long
+relax_frag (fragP, stretch)
+     fragS *fragP;
+     long stretch;
+{
+  const relax_typeS *this_type;
+  const relax_typeS *start_type;
+  relax_substateT next_state;
+  relax_substateT this_state;
+  long aim, target, growth;
+  symbolS *symbolP = fragP->fr_symbol;
+  long offset = fragP->fr_offset;
+  /* Recompute was_address by undoing "+= stretch" done by relax_segment.  */
+  unsigned long was_address = fragP->fr_address - stretch;
+  unsigned long address = fragP->fr_address;
+  const relax_typeS *table = TC_GENERIC_RELAX_TABLE;
+
+  this_state = fragP->fr_subtype;
+  start_type = this_type = table + this_state;
+  target = offset;
+
+  if (symbolP)
+    {
+#ifndef DIFF_EXPR_OK
+#if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
+      know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
+           || (S_GET_SEGMENT (symbolP) == SEG_DATA)
+           || (S_GET_SEGMENT (symbolP) == SEG_BSS)
+           || (S_GET_SEGMENT (symbolP) == SEG_TEXT));
+#endif
+      know (symbolP->sy_frag);
+#endif
+      know (!(S_GET_SEGMENT (symbolP) == absolute_section)
+           || symbolP->sy_frag == &zero_address_frag);
+      target +=
+       S_GET_VALUE (symbolP)
+         + symbolP->sy_frag->fr_address;
+
+      /* If frag has yet to be reached on this pass,
+        assume it will move by STRETCH just as we did.
+        If this is not so, it will be because some frag
+        between grows, and that will force another pass.
+
+        Beware zero-length frags.
+
+        There should be a faster way to do this.  */
+
+      if (symbolP->sy_frag->fr_address >= was_address
+         && is_dnrange (fragP, symbolP->sy_frag))
+       {
+         target += stretch;
+       }
+    }
+
+  aim = target - address - fragP->fr_fix;
+#ifdef TC_PCREL_ADJUST
+  /* Currently only the ns32k family needs this */
+  aim += TC_PCREL_ADJUST(fragP);
+/*#else*/
+  /* This machine doesn't want to use pcrel_adjust.
+     In that case, pcrel_adjust should be zero.  */
+/*  assert (fragP->fr_pcrel_adjust == 0);*/
+#endif
+#ifdef md_prepare_relax_scan /* formerly called M68K_AIM_KLUDGE */
+  md_prepare_relax_scan (fragP, address, aim, this_state, this_type);
+#endif
+
+  if (aim < 0)
+    {
+      /* Look backwards. */
+      for (next_state = this_type->rlx_more; next_state;)
+       if (aim >= this_type->rlx_backward)
+         next_state = 0;
+       else
+         {
+           /* Grow to next state. */
+           this_state = next_state;
+           this_type = table + this_state;
+           next_state = this_type->rlx_more;
+         }
+    }
+  else
+    {
+      /* Look forwards. */
+      for (next_state = this_type->rlx_more; next_state;)
+       if (aim <= this_type->rlx_forward)
+         next_state = 0;
+       else
+         {
+           /* Grow to next state. */
+           this_state = next_state;
+           this_type = table + this_state;
+           next_state = this_type->rlx_more;
+         }
+    }
+
+  growth = this_type->rlx_length - start_type->rlx_length;
+  if (growth != 0)
+    fragP->fr_subtype = this_state;
+  return growth;
+}
+
+#endif /* defined (TC_GENERIC_RELAX_TABLE) */
 
 /* Relax_align. Advance location counter to next address that has 'alignment'
    lowest order bits all 0s, return size of adjustment made.  */
@@ -1548,14 +1998,16 @@ relax_align (address, alignment)
 
   mask = ~((~0) << alignment);
   new_address = (address + mask) & (~mask);
+#ifdef LINKER_RELAXING_SHRINKS_ONLY
   if (linkrelax)
     /* We must provide lots of padding, so the linker can discard it
        when needed.  The linker will not add extra space, ever.  */
     new_address += (1 << alignment);
+#endif
   return (new_address - address);
 }
 
-void 
+void
 relax_segment (segment_frag_root, segment)
      struct frag *segment_frag_root;
      segT segment;
@@ -1583,6 +2035,7 @@ relax_segment (segment_frag_root, segment)
          break;
 
        case rs_align:
+       case rs_align_code:
          {
            int offset = relax_align (address, (int) fragP->fr_offset);
            if (offset % fragP->fr_var != 0)
@@ -1596,6 +2049,7 @@ relax_segment (segment_frag_root, segment)
          break;
 
        case rs_org:
+       case rs_space:
          /* Assume .org is nugatory. It will grow with 1st relax.  */
          break;
 
@@ -1635,8 +2089,6 @@ relax_segment (segment_frag_root, segment)
            unsigned long was_address;
            long offset;
            symbolS *symbolP;
-           long target;
-           long after;
 
            was_address = fragP->fr_address;
            address = fragP->fr_address += stretch;
@@ -1679,7 +2131,7 @@ relax_segment (segment_frag_root, segment)
                                   + S_GET_VALUE (lie->sub)));
                      if (offset <= -32768 || offset >= 32767)
                        {
-                         if (flagseen['K'])
+                         if (flag_warn_displacement)
                            {
                              char buf[50];
                              sprint_value (buf, (addressT) lie->addnum);
@@ -1711,6 +2163,7 @@ relax_segment (segment_frag_root, segment)
                }               /* case rs_broken_word */
 #endif
              case rs_align:
+             case rs_align_code:
                growth = (relax_align ((relax_addressT) (address
                                                         + fragP->fr_fix),
                                       (int) offset)
@@ -1720,131 +2173,70 @@ relax_segment (segment_frag_root, segment)
                break;
 
              case rs_org:
-               target = offset;
-
-               if (symbolP)
-                 {
-#if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
-                   know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
-                         || (S_GET_SEGMENT (symbolP) == SEG_DATA)
-                         || (S_GET_SEGMENT (symbolP) == SEG_TEXT)
-                         || S_GET_SEGMENT (symbolP) == SEG_BSS);
-                   know (symbolP->sy_frag);
-                   know (!(S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
-                         || (symbolP->sy_frag == &zero_address_frag));
-#endif
-                   target += S_GET_VALUE (symbolP)
-                     + symbolP->sy_frag->fr_address;
-                 }             /* if we have a symbol */
-
-               know (fragP->fr_next);
-               after = fragP->fr_next->fr_address;
-               growth = ((target - after) > 0) ? (target - after) : 0;
-               /* Growth may be negative, but variable part of frag
-                  cannot have fewer than 0 chars.  That is, we can't
-                  .org backwards. */
-
-               growth -= stretch;      /* This is an absolute growth factor */
-               break;
-
-             case rs_machine_dependent:
-#ifdef md_relax_frag
-               growth = md_relax_frag (fragP, stretch);
-#else
-               /* The default way to relax a frag is to look through
-                  md_relax_table.  */
                {
-                 const relax_typeS *this_type;
-                 const relax_typeS *start_type;
-                 relax_substateT next_state;
-                 relax_substateT this_state;
-                 long aim;
-
-                 this_state = fragP->fr_subtype;
-                 start_type = this_type = md_relax_table + this_state;
-                 target = offset;
+                 long target = offset;
+                 long after;
 
                  if (symbolP)
                    {
-#ifndef DIFF_EXPR_OK
 #if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
                      know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
                            || (S_GET_SEGMENT (symbolP) == SEG_DATA)
-                           || (S_GET_SEGMENT (symbolP) == SEG_BSS)
-                           || (S_GET_SEGMENT (symbolP) == SEG_TEXT));
-#endif
+                           || (S_GET_SEGMENT (symbolP) == SEG_TEXT)
+                           || S_GET_SEGMENT (symbolP) == SEG_BSS);
                      know (symbolP->sy_frag);
+                     know (!(S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
+                           || (symbolP->sy_frag == &zero_address_frag));
 #endif
-                     know (!(S_GET_SEGMENT (symbolP) == absolute_section)
-                           || symbolP->sy_frag == &zero_address_frag);
-                     target +=
-                       S_GET_VALUE (symbolP)
+                     target += S_GET_VALUE (symbolP)
                        + symbolP->sy_frag->fr_address;
+                   }           /* if we have a symbol */
 
-                     /* If frag has yet to be reached on this pass,
-                        assume it will move by STRETCH just as we did.
-                        If this is not so, it will be because some frag
-                        between grows, and that will force another pass.
-
-                        Beware zero-length frags.
-
-                        There should be a faster way to do this.  */
-
-                     if (symbolP->sy_frag->fr_address >= was_address
-                         && is_dnrange (fragP, symbolP->sy_frag))
-                       {
-                         target += stretch;
-                       }
-                   }
-
-                 aim = target - address - fragP->fr_fix;
-                 /* The displacement is affected by the instruction size
-                    for the 32k architecture. I think we ought to be able
-                    to add fragP->fr_pcrel_adjust in all cases (it should be
-                    zero if not used), but just in case it breaks something
-                    else we'll put this inside #ifdef NS32K ... #endif  */
-#ifndef TC_NS32K
-                 if (fragP->fr_pcrel_adjust)
-                   abort ();
-#endif
-                 aim += fragP->fr_pcrel_adjust;
-
-                 if (aim < 0)
+                 know (fragP->fr_next);
+                 after = fragP->fr_next->fr_address;
+                 growth = target - after;
+                 if (growth < 0)
                    {
-                     /* Look backwards. */
-                     for (next_state = this_type->rlx_more; next_state;)
-                       if (aim >= this_type->rlx_backward)
-                         next_state = 0;
-                       else
-                         {
-                           /* Grow to next state. */
-                           this_state = next_state;
-                           this_type = md_relax_table + this_state;
-                           next_state = this_type->rlx_more;
-                         }
-                   }
-                 else
-                   {
-#ifdef M68K_AIM_KLUDGE
-                     M68K_AIM_KLUDGE (aim, this_state, this_type);
-#endif
-                     /* Look forwards. */
-                     for (next_state = this_type->rlx_more; next_state;)
-                       if (aim <= this_type->rlx_forward)
-                         next_state = 0;
-                       else
-                         {
-                           /* Grow to next state. */
-                           this_state = next_state;
-                           this_type = md_relax_table + this_state;
-                           next_state = this_type->rlx_more;
-                         }
+                     /* Growth may be negative, but variable part of frag
+                        cannot have fewer than 0 chars.  That is, we can't
+                        .org backwards. */
+                     as_bad ("attempt to .org backwards ignored");
+                     growth = 0;
                    }
 
-                 growth = this_type->rlx_length - start_type->rlx_length;
-                 if (growth != 0)
-                   fragP->fr_subtype = this_state;
+                 growth -= stretch;    /* This is an absolute growth factor */
+                 break;
                }
+
+             case rs_space:
+               if (symbolP)
+                 {
+                   growth = S_GET_VALUE (symbolP);
+                   if (symbolP->sy_frag != &zero_address_frag
+                       || S_IS_COMMON (symbolP)
+                       || ! S_IS_DEFINED (symbolP))
+                     as_bad_where (fragP->fr_file, fragP->fr_line,
+                                   ".space specifies non-absolute value");
+                   fragP->fr_symbol = 0;
+                   if (growth < 0)
+                     {
+                       as_warn (".space or .fill with negative value, ignored");
+                       growth = 0;
+                     }
+                 }
+               else
+                 growth = 0;
+               break;
+
+             case rs_machine_dependent:
+#ifdef md_relax_frag
+               growth = md_relax_frag (fragP, stretch);
+#else
+#ifdef TC_GENERIC_RELAX_TABLE
+               /* The default way to relax a frag is to look through
+                  TC_GENERIC_RELAX_TABLE.  */
+               growth = relax_frag (fragP, stretch);
+#endif /* TC_GENERIC_RELAX_TABLE */
 #endif
                break;
 
@@ -1872,7 +2264,11 @@ relax_segment (segment_frag_root, segment)
    */
 }                              /* relax_segment() */
 
-#if defined (BFD_ASSEMBLER) || !defined (BFD)
+#if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
+
+#ifndef TC_RELOC_RTSYM_LOC_FIXUP
+#define TC_RELOC_RTSYM_LOC_FIXUP(X) (1)
+#endif
 
 /* fixup_segment()
 
@@ -1897,10 +2293,10 @@ fixup_segment (fixP, this_segment_type)
   int size;
   char *place;
   long where;
-  char pcrel;
+  int pcrel, plt;
   fragS *fragP;
   segT add_symbol_segment = absolute_section;
-  
+
   /* If the linker is doing the relaxing, we must not do any fixups.
 
      Well, strictly speaking that's not true -- we could do any that are
@@ -1918,6 +2314,11 @@ fixup_segment (fixP, this_segment_type)
 
   for (; fixP; fixP = fixP->fx_next)
     {
+#ifdef DEBUG5
+      fprintf (stderr, "\nprocessing fixup:\n");
+      print_fixup (fixP);
+#endif
+
       fragP = fixP->fx_frag;
       know (fragP);
       where = fixP->fx_where;
@@ -1930,17 +2331,38 @@ fixup_segment (fixP, this_segment_type)
       sub_symbolP = fixP->fx_subsy;
       add_number = fixP->fx_offset;
       pcrel = fixP->fx_pcrel;
-      
+      plt = fixP->fx_plt;
+
+      if (add_symbolP != NULL
+         && add_symbolP->sy_mri_common)
+       {
+         know (add_symbolP->sy_value.X_op == O_symbol);
+         add_number += S_GET_VALUE (add_symbolP);
+         fixP->fx_offset = add_number;
+         add_symbolP = fixP->fx_addsy = add_symbolP->sy_value.X_add_symbol;
+       }
+
       if (add_symbolP)
        add_symbol_segment = S_GET_SEGMENT (add_symbolP);
-      
+
       if (sub_symbolP)
        {
-         if (!add_symbolP)
+         resolve_symbol_value (sub_symbolP);
+         if (add_symbolP == NULL || add_symbol_segment == absolute_section)
            {
-             /* Its just -sym */
+             if (add_symbolP != NULL)
+               {
+                 add_number += S_GET_VALUE (add_symbolP);
+                 add_symbolP = NULL;
+                 fixP->fx_addsy = NULL;
+               }
+
+             /* It's just -sym */
              if (S_GET_SEGMENT (sub_symbolP) == absolute_section)
-               add_number -= S_GET_VALUE (sub_symbolP);
+               {
+                 add_number -= S_GET_VALUE (sub_symbolP);
+                 fixP->fx_subsy = NULL;
+               }
              else if (pcrel
                       && S_GET_SEGMENT (sub_symbolP) == this_segment_type)
                {
@@ -1953,9 +2375,8 @@ fixup_segment (fixP, this_segment_type)
                              "Negative of non-absolute symbol %s",
                              S_GET_NAME (sub_symbolP));
            }
-         else if ((S_GET_SEGMENT (sub_symbolP) == add_symbol_segment)
-                  && (SEG_NORMAL (add_symbol_segment)
-                      || (add_symbol_segment == absolute_section)))
+         else if (S_GET_SEGMENT (sub_symbolP) == add_symbol_segment
+                  && SEG_NORMAL (add_symbol_segment))
            {
              /* Difference of 2 symbols from same segment.
                 Can't make difference of 2 undefineds: 'value' means
@@ -1971,13 +2392,16 @@ fixup_segment (fixP, this_segment_type)
                S_GET_VALUE (sub_symbolP);
 
              add_symbolP = NULL;
+             pcrel = 0;        /* No further pcrel processing. */
 
              /* Let the target machine make the final determination
                 as to whether or not a relocation will be needed to
                 handle this fixup.  */
-             if (!TC_FORCE_RELOCATION (fixP))
+             if (!TC_FORCE_RELOCATION_SECTION (fixP, this_segment_type))
                {
+                 fixP->fx_pcrel = 0;
                  fixP->fx_addsy = NULL;
+                 fixP->fx_subsy = NULL;
                }
            }
          else
@@ -1999,7 +2423,7 @@ fixup_segment (fixP, this_segment_type)
                       )
                {
                  /* Make it pc-relative.  */
-                 add_number += (md_pcrel_from (fixP)
+                 add_number += (MD_PCREL_FROM_SECTION (fixP, this_segment_type)
                                 - S_GET_VALUE (sub_symbolP));
                  pcrel = 1;
                  fixP->fx_pcrel = 1;
@@ -2007,6 +2431,15 @@ fixup_segment (fixP, this_segment_type)
                  fixP->fx_subsy = 0;
                }
 #endif
+#ifdef UNDEFINED_DIFFERENCE_OK
+             /* The PA needs this for PIC code generation.  We basically
+                don't want to do anything if we have the difference of two
+                symbols at this point.  */
+             else if (1)
+               {
+                 /* Leave it alone.  */
+               }
+#endif
 #ifdef BFD_ASSEMBLER
              else if (fixP->fx_r_type == BFD_RELOC_GPREL32
                       || fixP->fx_r_type == BFD_RELOC_GPREL16)
@@ -2028,7 +2461,8 @@ fixup_segment (fixP, this_segment_type)
 
       if (add_symbolP)
        {
-         if (add_symbol_segment == this_segment_type && pcrel)
+         if (add_symbol_segment == this_segment_type && pcrel && !plt
+             && TC_RELOC_RTSYM_LOC_FIXUP (fixP))
            {
              /*
               * This fixup was made when the symbol's segment was
@@ -2045,9 +2479,9 @@ fixup_segment (fixP, this_segment_type)
 #endif /* TC_I960 */
 
              add_number += S_GET_VALUE (add_symbolP);
-             add_number -= md_pcrel_from (fixP);
+             add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment_type);
              pcrel = 0;        /* Lie. Don't want further pcrel processing. */
-             
+
              /* Let the target machine make the final determination
                 as to whether or not a relocation will be needed to
                 handle this fixup.  */
@@ -2059,7 +2493,8 @@ fixup_segment (fixP, this_segment_type)
            }
          else
            {
-             if (add_symbol_segment == absolute_section)
+             if (add_symbol_segment == absolute_section
+                 && ! pcrel)
                {
 #ifdef TC_I960
                  /* See comment about reloc_callj() above.  */
@@ -2070,6 +2505,7 @@ fixup_segment (fixP, this_segment_type)
                  /* Let the target machine make the final determination
                     as to whether or not a relocation will be needed to
                     handle this fixup.  */
+
                  if (!TC_FORCE_RELOCATION (fixP))
                    {
                      fixP->fx_addsy = NULL;
@@ -2097,7 +2533,7 @@ fixup_segment (fixP, this_segment_type)
                      continue;
                    }           /* COBR */
 #endif /* TC_I960 */
-                 
+
 #ifdef OBJ_COFF
 #ifdef TE_I386AIX
                  if (S_IS_COMMON (add_symbolP))
@@ -2109,14 +2545,24 @@ fixup_segment (fixP, this_segment_type)
              else
                {
                  seg_reloc_count++;
+/* start-sanitize-v850 */
+#if !(defined (TC_V850) && defined (OBJ_ELF))
+/* end-sanitize-v850 */
+#if !(defined (TC_M68K) && defined (OBJ_ELF))
+#if !defined (TC_I386) || !(defined (OBJ_ELF) || defined (OBJ_COFF))
                  add_number += S_GET_VALUE (add_symbolP);
+/* start-sanitize-v850 */
+#endif
+/* end-sanitize-v850 */
+#endif
+#endif
                }
            }
        }
 
       if (pcrel)
        {
-         add_number -= md_pcrel_from (fixP);
+         add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment_type);
          if (add_symbolP == 0)
            {
 #ifndef BFD_ASSEMBLER
@@ -2129,12 +2575,14 @@ fixup_segment (fixP, this_segment_type)
            }
        }
 
-      if (!fixP->fx_bit_fixP && size > 0)
+      if (!fixP->fx_bit_fixP && !fixP->fx_no_overflow && size > 0)
        {
-         valueT mask = 0;
-         if (size < sizeof (mask))
+         if (size < sizeof (valueT))
            {
+             valueT mask, hibit;
+
              /* set all bits to one */
+             mask = 0;
              mask--;
              /* Technically, combining these produces an undefined result
                 if size is sizeof (valueT), though I think these two
@@ -2143,8 +2591,12 @@ fixup_segment (fixP, this_segment_type)
                 the host architecture.  */
              mask <<= size * 4;
              mask <<= size * 4;
-             if ((add_number & mask) != 0
-                 && (add_number & mask) != mask)
+             hibit = (valueT) 1 << (size * 8 - 1);
+             if (((add_number & mask) != 0
+                  || (fixP->fx_signed
+                      && (add_number & hibit) != 0))
+                 && ((add_number & mask) != mask
+                     || (add_number & hibit) == 0))
                {
                  char buf[50], buf2[50];
                  sprint_value (buf, fragP->fr_address + where);
@@ -2161,7 +2613,7 @@ fixup_segment (fixP, this_segment_type)
          /* Warn if a .word value is too large when treated as a signed
             number.  We already know it is not too negative.  This is to
             catch over-large switches generated by gcc on the 68k.  */
-         if (!flagseen['J']
+         if (!flag_signed_overflow_ok
              && size == 2
              && add_number > 0x7fff)
            as_bad_where (fixP->fx_file, fixP->fx_line,
@@ -2173,11 +2625,15 @@ fixup_segment (fixP, this_segment_type)
 
       if (!fixP->fx_done)
        {
+#ifdef MD_APPLY_FIX3
+         md_apply_fix3 (fixP, &add_number, this_segment_type);
+#else
 #ifdef BFD_ASSEMBLER
          md_apply_fix (fixP, &add_number);
 #else
          md_apply_fix (fixP, add_number);
 #endif
+#endif
 
 #ifndef TC_HANDLES_FX_DONE
          /* If the tc-* files haven't been converted, assume it's handling
@@ -2188,16 +2644,19 @@ fixup_segment (fixP, this_segment_type)
 #endif
        }
 #ifdef TC_VALIDATE_FIX
-    skip:
+    skip: ;
+#endif
+#ifdef DEBUG5
+      fprintf (stderr, "result:\n");
+      print_fixup (fixP);
 #endif
-      ;
     }                          /* For each fixS in this segment. */
 
   TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
   return seg_reloc_count;
 }
 
-#endif /* defined (BFD_ASSEMBLER) || !defined (BFD) */
+#endif /* defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS)) */
 
 void
 number_to_chars_bigendian (buf, val, n)
@@ -2229,4 +2688,63 @@ number_to_chars_littleendian (buf, val, n)
     }
 }
 
+void
+write_print_statistics (file)
+     FILE *file;
+{
+  fprintf (stderr, "fixups: %d\n", n_fixups);
+}
+
+/* for debugging */
+extern int indent_level;
+extern void print_symbol_value_1 ();
+
+void
+print_fixup (fixp)
+     fixS *fixp;
+{
+  indent_level = 1;
+  fprintf (stderr, "fix %lx %s:%d", (long) fixp, fixp->fx_file, fixp->fx_line);
+  if (fixp->fx_pcrel)
+    fprintf (stderr, " pcrel");
+  if (fixp->fx_pcrel_adjust)
+    fprintf (stderr, " pcrel_adjust=%d", fixp->fx_pcrel_adjust);
+  if (fixp->fx_im_disp)
+    {
+#ifdef TC_NS32K
+      fprintf (stderr, " im_disp=%d", fixp->fx_im_disp);
+#else
+      fprintf (stderr, " im_disp");
+#endif
+    }
+  if (fixp->fx_tcbit)
+    fprintf (stderr, " tcbit");
+  if (fixp->fx_done)
+    fprintf (stderr, " done");
+  fprintf (stderr, "\n    size=%d frag=%lx where=%ld offset=%lx addnumber=%lx",
+          fixp->fx_size, (long) fixp->fx_frag, (long) fixp->fx_where,
+          (long) fixp->fx_offset, (long) fixp->fx_addnumber);
+#ifdef BFD_ASSEMBLER
+  fprintf (stderr, "\n    %s (%d)", bfd_get_reloc_code_name (fixp->fx_r_type),
+          fixp->fx_r_type);
+#else
+#ifdef NEED_FX_R_TYPE
+  fprintf (stderr, " r_type=%d", fixp->fx_r_type);
+#endif
+#endif
+  if (fixp->fx_addsy)
+    {
+      fprintf (stderr, "\n   +<");
+      print_symbol_value_1 (stderr, fixp->fx_addsy);
+      fprintf (stderr, ">");
+    }
+  if (fixp->fx_subsy)
+    {
+      fprintf (stderr, "\n   -<");
+      print_symbol_value_1 (stderr, fixp->fx_subsy);
+      fprintf (stderr, ">");
+    }
+  fprintf (stderr, "\n");
+}
+
 /* end of write.c */
This page took 0.079785 seconds and 4 git commands to generate.