Back to index

cell-binutils  2.17cvs20070401
Classes | Defines | Typedefs | Functions | Variables
write.h File Reference
#include "bit_fix.h"
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  fix
struct  reloc_list
union  reloc_list.u
struct  reloc_list.u.a
struct  reloc_list.u.b

Defines

#define FAKE_LABEL_NAME   "L0\001"

Typedefs

typedef struct fix

Functions

void append (char **charPP, char *fromP, unsigned long length)
void record_alignment (segT seg, int align)
int get_recorded_alignment (segT seg)
void subsegs_finish (void)
void write_object_file (void)
long relax_frag (segT, fragS *, long)
int relax_segment (struct frag *, segT, int)
void number_to_chars_littleendian (char *, valueT, int)
void number_to_chars_bigendian (char *, valueT, int)
fixS * fix_new (fragS *frag, int where, int size, symbolS *add_symbol, offsetT offset, int pcrel, bfd_reloc_code_real_type r_type)
fixS * fix_new_exp (fragS *frag, int where, int size, expressionS *exp, int pcrel, bfd_reloc_code_real_type r_type)
void write_print_statistics (FILE *)

Variables

int finalize_syms
symbolS * abs_section_sym
addressT dot_value
long string_byte_count
int section_alignment []
struct reloc_listreloc_list

Class Documentation

struct fix

Definition at line 44 of file write.h.

Collaboration diagram for fix:
Class Members
valueT fx_addnumber
symbolS * fx_addsy
bit_fixS * fx_bit_fixP
unsigned fx_done: 1
addressT fx_dot_value
char * fx_file
fragS * fx_frag
unsigned fx_im_disp: 2
unsigned fx_line
struct fix * fx_next
unsigned fx_no_overflow: 1
valueT fx_offset
unsigned fx_pcrel: 1
char fx_pcrel_adjust
bfd_reloc_code_real_type fx_r_type
unsigned fx_signed: 1
unsigned char fx_size
symbolS * fx_subsy
unsigned fx_tcbit: 1
unsigned fx_tcbit2: 1
long fx_where
struct reloc_list

Definition at line 145 of file write.h.

Collaboration diagram for reloc_list:
Class Members
char * file
unsigned int line
struct reloc_list * next
union reloc_list u
union reloc_list.u

Definition at line 148 of file write.h.

Class Members
u a
u b
struct reloc_list.u.a

Definition at line 150 of file write.h.

Class Members
bfd_vma addend
reloc_howto_type * howto
symbolS * offset_sym
symbolS * sym
struct reloc_list.u.b

Definition at line 157 of file write.h.

Class Members
arelent r
asymbol * s
asection * sec

Define Documentation

#define FAKE_LABEL_NAME   "L0\001"

Definition at line 35 of file write.h.


Typedef Documentation

typedef struct fix

Definition at line 143 of file write.h.


Function Documentation

void append ( char **  charPP,
char *  fromP,
unsigned long  length 
)

Definition at line 322 of file write.c.

{
  /* Don't trust memcpy() of 0 chars.  */
  if (length == 0)
    return;

  memcpy (*charPP, fromP, length);
  *charPP += length;
}
fixS* fix_new ( fragS *  frag,
int  where,
int  size,
symbolS *  add_symbol,
offsetT  offset,
int  pcrel,
bfd_reloc_code_real_type  r_type 
)
fixS* fix_new_exp ( fragS *  frag,
int  where,
int  size,
expressionS exp,
int  pcrel,
bfd_reloc_code_real_type  r_type 
)

Definition at line 352 of file write.c.

{
  if (seg == absolute_section)
    return 0;

  return bfd_get_section_alignment (stdoutput, seg);
}

Here is the caller graph for this function:

void number_to_chars_bigendian ( char *  ,
valueT  ,
int   
)

Definition at line 2453 of file write.c.

{
  if (n <= 0)
    abort ();
  while (n--)
    {
      buf[n] = val & 0xff;
      val >>= 8;
    }
}

Here is the caller graph for this function:

void number_to_chars_littleendian ( char *  ,
valueT  ,
int   
)

Definition at line 2465 of file write.c.

{
  if (n <= 0)
    abort ();
  while (n--)
    {
      *buf++ = val & 0xff;
      val >>= 8;
    }
}

Here is the caller graph for this function:

void record_alignment ( segT  seg,
int  align 
)

Definition at line 338 of file write.c.

{
  if (seg == absolute_section)
    return;

  if ((unsigned int) align > bfd_get_section_alignment (stdoutput, seg))
    bfd_set_section_alignment (stdoutput, seg, align);
}
long relax_frag ( segT  ,
fragS *  ,
long   
)

Here is the caller graph for this function:

int relax_segment ( struct frag ,
segT  ,
int   
)

Definition at line 1989 of file write.c.

{
  unsigned long frag_count;
  struct frag *fragP;
  relax_addressT address;
  int ret;

  /* In case md_estimate_size_before_relax() wants to make fixSs.  */
  subseg_change (segment, 0);

  /* For each frag in segment: count and store  (a 1st guess of)
     fr_address.  */
  address = 0;
  for (frag_count = 0, fragP = segment_frag_root;
       fragP;
       fragP = fragP->fr_next, frag_count ++)
    {
      fragP->relax_marker = 0;
      fragP->fr_address = address;
      address += fragP->fr_fix;

      switch (fragP->fr_type)
       {
       case rs_fill:
         address += fragP->fr_offset * fragP->fr_var;
         break;

       case rs_align:
       case rs_align_code:
       case rs_align_test:
         {
           addressT offset = relax_align (address, (int) fragP->fr_offset);

           if (fragP->fr_subtype != 0 && offset > fragP->fr_subtype)
             offset = 0;

           if (offset % fragP->fr_var != 0)
             {
              as_bad_where (fragP->fr_file, fragP->fr_line,
                           _("alignment padding (%lu bytes) not a multiple of %ld"),
                           (unsigned long) offset, (long) fragP->fr_var);
              offset -= (offset % fragP->fr_var);
             }

           address += offset;
         }
         break;

       case rs_org:
       case rs_space:
         /* Assume .org is nugatory. It will grow with 1st relax.  */
         break;

       case rs_machine_dependent:
         /* If fr_symbol is an expression, this call to
            resolve_symbol_value sets up the correct segment, which will
            likely be needed in md_estimate_size_before_relax.  */
         if (fragP->fr_symbol)
           resolve_symbol_value (fragP->fr_symbol);

         address += md_estimate_size_before_relax (fragP, segment);
         break;

#ifndef WORKING_DOT_WORD
         /* Broken words don't concern us yet.  */
       case rs_broken_word:
         break;
#endif

       case rs_leb128:
         /* Initial guess is always 1; doing otherwise can result in
            stable solutions that are larger than the minimum.  */
         address += fragP->fr_offset = 1;
         break;

       case rs_cfa:
         address += eh_frame_estimate_size_before_relax (fragP);
         break;

       case rs_dwarf2dbg:
         address += dwarf2dbg_estimate_size_before_relax (fragP);
         break;

       default:
         BAD_CASE (fragP->fr_type);
         break;
       }
    }

  /* Do relax().  */
  {
    unsigned long max_iterations;

    /* Cumulative address adjustment.  */
    offsetT stretch;

    /* Have we made any adjustment this pass?  We can't just test
       stretch because one piece of code may have grown and another
       shrank.  */
    int stretched;

    /* Most horrible, but gcc may give us some exception data that
       is impossible to assemble, of the form

       .align 4
       .byte 0, 0
       .uleb128 end - start
       start:
       .space 128*128 - 1
       .align 4
       end:

       If the leb128 is two bytes in size, then end-start is 128*128,
       which requires a three byte leb128.  If the leb128 is three
       bytes in size, then end-start is 128*128-1, which requires a
       two byte leb128.  We work around this dilemma by inserting
       an extra 4 bytes of alignment just after the .align.  This
       works because the data after the align is accessed relative to
       the end label.

       This counter is used in a tiny state machine to detect
       whether a leb128 followed by an align is impossible to
       relax.  */
    int rs_leb128_fudge = 0;

    /* We want to prevent going into an infinite loop where one frag grows
       depending upon the location of a symbol which is in turn moved by
       the growing frag.  eg:

        foo = .
        .org foo+16
        foo = .

       So we dictate that this algorithm can be at most O2.  */
    max_iterations = frag_count * frag_count;
    /* Check for overflow.  */
    if (max_iterations < frag_count)
      max_iterations = frag_count;

    ret = 0;
    do
      {
       stretch = 0;
       stretched = 0;

       for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
         {
           offsetT growth = 0;
           addressT was_address;
           offsetT offset;
           symbolS *symbolP;

           fragP->relax_marker ^= 1;
           was_address = fragP->fr_address;
           address = fragP->fr_address += stretch;
           symbolP = fragP->fr_symbol;
           offset = fragP->fr_offset;

           switch (fragP->fr_type)
             {
             case rs_fill:  /* .fill never relaxes.  */
              growth = 0;
              break;

#ifndef WORKING_DOT_WORD
              /* JF:  This is RMS's idea.  I do *NOT* want to be blamed
                 for it I do not want to write it.  I do not want to have
                 anything to do with it.  This is not the proper way to
                 implement this misfeature.  */
             case rs_broken_word:
              {
                struct broken_word *lie;
                struct broken_word *untruth;

                /* Yes this is ugly (storing the broken_word pointer
                   in the symbol slot).  Still, this whole chunk of
                   code is ugly, and I don't feel like doing anything
                   about it.  Think of it as stubbornness in action.  */
                growth = 0;
                for (lie = (struct broken_word *) (fragP->fr_symbol);
                     lie && lie->dispfrag == fragP;
                     lie = lie->next_broken_word)
                  {

                    if (lie->added)
                     continue;

                    offset = (S_GET_VALUE (lie->add)
                            + lie->addnum
                            - S_GET_VALUE (lie->sub));
                    if (offset <= -32768 || offset >= 32767)
                     {
                       if (flag_warn_displacement)
                         {
                           char buf[50];
                           sprint_value (buf, (addressT) lie->addnum);
                           as_warn_where (fragP->fr_file, fragP->fr_line,
                                        _(".word %s-%s+%s didn't fit"),
                                        S_GET_NAME (lie->add),
                                        S_GET_NAME (lie->sub),
                                        buf);
                         }
                       lie->added = 1;
                       if (fragP->fr_subtype == 0)
                         {
                           fragP->fr_subtype++;
                           growth += md_short_jump_size;
                         }
                       for (untruth = lie->next_broken_word;
                            untruth && untruth->dispfrag == lie->dispfrag;
                            untruth = untruth->next_broken_word)
                         if ((symbol_get_frag (untruth->add)
                             == symbol_get_frag (lie->add))
                            && (S_GET_VALUE (untruth->add)
                                == S_GET_VALUE (lie->add)))
                           {
                            untruth->added = 2;
                            untruth->use_jump = lie;
                           }
                       growth += md_long_jump_size;
                     }
                  }

                break;
              }             /* case rs_broken_word  */
#endif
             case rs_align:
             case rs_align_code:
             case rs_align_test:
              {
                addressT oldoff, newoff;

                oldoff = relax_align (was_address + fragP->fr_fix,
                                   (int) offset);
                newoff = relax_align (address + fragP->fr_fix,
                                   (int) offset);

                if (fragP->fr_subtype != 0)
                  {
                    if (oldoff > fragP->fr_subtype)
                     oldoff = 0;
                    if (newoff > fragP->fr_subtype)
                     newoff = 0;
                  }

                growth = newoff - oldoff;

                /* If this align happens to follow a leb128 and
                   we have determined that the leb128 is bouncing
                   in size, then break the cycle by inserting an
                   extra alignment.  */
                if (growth < 0
                    && (rs_leb128_fudge & 16) != 0
                    && (rs_leb128_fudge & 15) >= 2)
                  {
                    segment_info_type *seginfo = seg_info (segment);
                    struct obstack *ob = &seginfo->frchainP->frch_obstack;
                    struct frag *newf;

                    newf = frag_alloc (ob);
                    obstack_blank_fast (ob, fragP->fr_var);
                    obstack_finish (ob);
                    memcpy (newf, fragP, SIZEOF_STRUCT_FRAG);
                    memcpy (newf->fr_literal,
                           fragP->fr_literal + fragP->fr_fix,
                           fragP->fr_var);
                    newf->fr_type = rs_fill;
                    newf->fr_fix = 0;
                    newf->fr_offset = (((offsetT) 1 << fragP->fr_offset)
                                    / fragP->fr_var);
                    if (newf->fr_offset * newf->fr_var
                       != (offsetT) 1 << fragP->fr_offset)
                     {
                       newf->fr_offset = (offsetT) 1 << fragP->fr_offset;
                       newf->fr_var = 1;
                     }
                    /* Include growth of new frag, because rs_fill
                      frags don't normally grow.  */
                    growth += newf->fr_offset * newf->fr_var;
                    /* The new frag address is newoff.  Adjust this
                      for the amount we'll add when we process the
                      new frag.  */
                    newf->fr_address = newoff - stretch - growth;
                    newf->relax_marker ^= 1;
                    fragP->fr_next = newf;
#ifdef DEBUG
                    as_warn (_("padding added"));
#endif
                  }
              }
              break;

             case rs_org:
              {
                addressT target = offset;
                addressT after;

                if (symbolP)
                  {
                    /* Convert from an actual address to an octet offset
                      into the section.  Here it is assumed that the
                      section's VMA is zero, and can omit subtracting it
                      from the symbol's value to get the address offset.  */
                    know (S_GET_SEGMENT (symbolP)->vma == 0);
                    target += S_GET_VALUE (symbolP) * OCTETS_PER_BYTE;
                  }

                know (fragP->fr_next);
                after = fragP->fr_next->fr_address;
                growth = target - after;
                if (growth < 0)
                  {
                    growth = 0;

                    /* Don't error on first few frag relax passes.
                      The symbol might be an expression involving
                      symbol values from other sections.  If those
                      sections have not yet been processed their
                      frags will all have zero addresses, so we
                      will calculate incorrect values for them.  The
                      number of passes we allow before giving an
                      error is somewhat arbitrary.  It should be at
                      least one, with larger values requiring
                      increasingly contrived dependencies between
                      frags to trigger a false error.  */
                    if (pass < 2)
                     {
                       /* Force another pass.  */
                       ret = 1;
                       break;
                     }

                    /* Growth may be negative, but variable part of frag
                      cannot have fewer than 0 chars.  That is, we can't
                      .org backwards.  */
                    as_bad_where (fragP->fr_file, fragP->fr_line,
                                _("attempt to move .org backwards"));

                    /* We've issued an error message.  Change the
                      frag to avoid cascading errors.  */
                    fragP->fr_type = rs_align;
                    fragP->fr_subtype = 0;
                    fragP->fr_offset = 0;
                    fragP->fr_fix = after - was_address;
                    break;
                  }

                /* This is an absolute growth factor  */
                growth -= stretch;
                break;
              }

             case rs_space:
              growth = 0;
              if (symbolP)
                {
                  offsetT amount;

                  amount = S_GET_VALUE (symbolP);
                  if (S_GET_SEGMENT (symbolP) != absolute_section
                     || S_IS_COMMON (symbolP)
                     || ! S_IS_DEFINED (symbolP))
                    {
                     as_bad_where (fragP->fr_file, fragP->fr_line,
                                  _(".space specifies non-absolute value"));
                     /* Prevent repeat of this error message.  */
                     fragP->fr_symbol = 0;
                    }
                  else if (amount < 0)
                    {
                     /* Don't error on first few frag relax passes.
                        See rs_org comment for a longer explanation.  */
                     if (pass < 2)
                       {
                         ret = 1;
                         break;
                       }

                     as_warn_where (fragP->fr_file, fragP->fr_line,
                                   _(".space or .fill with negative value, ignored"));
                     fragP->fr_symbol = 0;
                    }
                  else
                    growth = (was_address + fragP->fr_fix + amount
                            - fragP->fr_next->fr_address);
                }
              break;

             case rs_machine_dependent:
#ifdef md_relax_frag
              growth = md_relax_frag (segment, 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 (segment, fragP, stretch);
#endif /* TC_GENERIC_RELAX_TABLE  */
#endif
              break;

             case rs_leb128:
              {
                valueT value;
                offsetT size;

                value = resolve_symbol_value (fragP->fr_symbol);
                size = sizeof_leb128 (value, fragP->fr_subtype);
                growth = size - fragP->fr_offset;
                fragP->fr_offset = size;
              }
              break;

             case rs_cfa:
              growth = eh_frame_relax_frag (fragP);
              break;

             case rs_dwarf2dbg:
              growth = dwarf2dbg_relax_frag (fragP);
              break;

             default:
              BAD_CASE (fragP->fr_type);
              break;
             }
           if (growth)
             {
              stretch += growth;
              stretched = 1;
              if (fragP->fr_type == rs_leb128)
                rs_leb128_fudge += 16;
              else if (fragP->fr_type == rs_align
                      && (rs_leb128_fudge & 16) != 0
                      && stretch == 0)
                rs_leb128_fudge += 16;
              else
                rs_leb128_fudge = 0;
             }
         }

       if (stretch == 0
           && (rs_leb128_fudge & 16) == 0
           && (rs_leb128_fudge & -16) != 0)
         rs_leb128_fudge += 1;
       else
         rs_leb128_fudge = 0;
      }
    /* Until nothing further to relax.  */
    while (stretched && -- max_iterations);

    if (stretched)
      as_fatal (_("Infinite loop encountered whilst attempting to compute the addresses of symbols in section %s"),
              segment_name (segment));
  }

  for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
    if (fragP->last_fr_address != fragP->fr_address)
      {
       fragP->last_fr_address = fragP->fr_address;
       ret = 1;
      }
  return ret;
}

Here is the call graph for this function:

Here is the caller graph for this function:

void subsegs_finish ( void  )

Definition at line 1409 of file write.c.

{
  struct frchain *frchainP;
  asection *s;

  for (s = stdoutput->sections; s; s = s->next)
    {
      segment_info_type *seginfo = seg_info (s);
      if (!seginfo)
       continue;

      for (frchainP = seginfo->frchainP;
          frchainP != NULL;
          frchainP = frchainP->frch_next)
       {
         int alignment = 0;

         subseg_set (s, frchainP->frch_subseg);

         /* This now gets called even if we had errors.  In that case,
            any alignment is meaningless, and, moreover, will look weird
            if we are generating a listing.  */
         if (!had_errors ())
           {
             alignment = SUB_SEGMENT_ALIGN (now_seg, frchainP);
             if ((bfd_get_section_flags (now_seg->owner, now_seg) & SEC_MERGE)
                && now_seg->entsize)
              {
                unsigned int entsize = now_seg->entsize;
                int entalign = 0;

                while ((entsize & 1) == 0)
                  {
                    ++entalign;
                    entsize >>= 1;
                  }
                if (entalign > alignment)
                  alignment = entalign;
              }
           }

         if (subseg_text_p (now_seg))
           frag_align_code (alignment, 0);
         else
           frag_align (alignment, 0, 0);

         /* frag_align will have left a new frag.
            Use this last frag for an empty ".fill".

            For this segment ...
            Create a last frag. Do not leave a "being filled in frag".  */
         frag_wane (frag_now);
         frag_now->fr_fix = 0;
         know (frag_now->fr_next == NULL);
       }
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void write_object_file ( void  )

Definition at line 1470 of file write.c.

{
  struct relax_seg_info rsi;
#ifndef WORKING_DOT_WORD
  fragS *fragP;                    /* Track along all frags.  */
#endif

  /* Do we really want to write it?  */
  {
    int n_warns, n_errs;
    n_warns = had_warnings ();
    n_errs = had_errors ();
    /* The -Z flag indicates that an object file should be generated,
       regardless of warnings and errors.  */
    if (flag_always_generate_output)
      {
       if (n_warns || n_errs)
         as_warn (_("%d error%s, %d warning%s, generating bad object file"),
                 n_errs, n_errs == 1 ? "" : "s",
                 n_warns, n_warns == 1 ? "" : "s");
      }
    else
      {
       if (n_errs)
         as_fatal (_("%d error%s, %d warning%s, no object file generated"),
                  n_errs, n_errs == 1 ? "" : "s",
                  n_warns, n_warns == 1 ? "" : "s");
      }
  }

#ifdef OBJ_VMS
  /* 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 /* OBJ_VMS  */

  /* From now on, we don't care about sub-segments.  Build one frag chain
     for each segment. Linked thru fr_next.  */

  /* Remove the sections created by gas for its own purposes.  */
  {
    int i;

    bfd_section_list_remove (stdoutput, reg_section);
    bfd_section_list_remove (stdoutput, expr_section);
    stdoutput->section_count -= 2;
    i = 0;
    bfd_map_over_sections (stdoutput, renumber_sections, &i);
  }

  bfd_map_over_sections (stdoutput, chain_frchains_together, (char *) 0);

  /* We have two segments. If user gave -R flag, then we must put the
     data frags into the text segment. Do this before relaxing so
     we know to take advantage of -R and make shorter addresses.  */
  if (flag_readonly_data_in_text)
    {
      merge_data_into_text ();
    }

  rsi.pass = 0;
  while (1)
    {
#ifndef WORKING_DOT_WORD
      /* We need to reset the markers in the broken word list and
        associated frags between calls to relax_segment (via
        relax_seg).  Since the broken word list is global, we do it
        once per round, rather than locally in relax_segment for each
        segment.  */
      struct broken_word *brokp;

      for (brokp = broken_words;
          brokp != (struct broken_word *) NULL;
          brokp = brokp->next_broken_word)
       {
         brokp->added = 0;

         if (brokp->dispfrag != (fragS *) NULL
             && brokp->dispfrag->fr_type == rs_broken_word)
           brokp->dispfrag->fr_subtype = 0;
       }
#endif

      rsi.changed = 0;
      bfd_map_over_sections (stdoutput, relax_seg, &rsi);
      rsi.pass++;
      if (!rsi.changed)
       break;
    }

  /* Note - Most ports will use the default value of
     TC_FINALIZE_SYMS_BEFORE_SIZE_SEG, which 1.  This will force
     local symbols to be resolved, removing their frag information.
     Some ports however, will not have finished relaxing all of
     their frags and will still need the local symbol frag
     information.  These ports can set
     TC_FINALIZE_SYMS_BEFORE_SIZE_SEG to 0.  */
  finalize_syms = TC_FINALIZE_SYMS_BEFORE_SIZE_SEG;

  bfd_map_over_sections (stdoutput, size_seg, (char *) 0);

  /* Relaxation has completed.  Freeze all syms.  */
  finalize_syms = 1;

#ifdef md_post_relax_hook
  md_post_relax_hook;
#endif

#ifndef WORKING_DOT_WORD
  {
    struct broken_word *lie;
    struct broken_word **prevP;

    prevP = &broken_words;
    for (lie = broken_words; lie; lie = lie->next_broken_word)
      if (!lie->added)
       {
         expressionS exp;

         subseg_change (lie->seg, lie->subseg);
         exp.X_op = O_subtract;
         exp.X_add_symbol = lie->add;
         exp.X_op_symbol = lie->sub;
         exp.X_add_number = lie->addnum;
#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_16);
#endif
         *prevP = lie->next_broken_word;
       }
      else
       prevP = &(lie->next_broken_word);

    for (lie = broken_words; lie;)
      {
       struct broken_word *untruth;
       char *table_ptr;
       addressT table_addr;
       addressT from_addr, to_addr;
       int n, m;

       subseg_change (lie->seg, lie->subseg);
       fragP = lie->dispfrag;

       /* Find out how many broken_words go here.  */
       n = 0;
       for (untruth = lie;
            untruth && untruth->dispfrag == fragP;
            untruth = untruth->next_broken_word)
         if (untruth->added == 1)
           n++;

       table_ptr = lie->dispfrag->fr_opcode;
       table_addr = (lie->dispfrag->fr_address
                    + (table_ptr - lie->dispfrag->fr_literal));
       /* Create the jump around the long jumps.  This is a short
          jump from table_ptr+0 to table_ptr+n*long_jump_size.  */
       from_addr = table_addr;
       to_addr = table_addr + md_short_jump_size + n * md_long_jump_size;
       md_create_short_jump (table_ptr, from_addr, to_addr, lie->dispfrag,
                           lie->add);
       table_ptr += md_short_jump_size;
       table_addr += md_short_jump_size;

       for (m = 0;
            lie && lie->dispfrag == fragP;
            m++, lie = lie->next_broken_word)
         {
           if (lie->added == 2)
             continue;
           /* Patch the jump table.  */
           /* This is the offset from ??? to table_ptr+0.  */
           to_addr = table_addr - S_GET_VALUE (lie->sub);
#ifdef TC_CHECK_ADJUSTED_BROKEN_DOT_WORD
           TC_CHECK_ADJUSTED_BROKEN_DOT_WORD (to_addr, lie);
#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)
             {
              if (untruth->use_jump == lie)
                md_number_to_chars (untruth->word_goes_here, to_addr, 2);
             }

           /* Install the long jump.  */
           /* 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;
           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;
         }
      }
  }
#endif /* not WORKING_DOT_WORD  */

  /* 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))
       resolve_symbol_value (symp);
    }
  resolve_local_symbol_values ();
  resolve_reloc_expr_symbols ();

  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);

#ifdef tc_frob_file_before_fix
  tc_frob_file_before_fix ();
#endif
#ifdef obj_frob_file_before_fix
  obj_frob_file_before_fix ();
#endif

  bfd_map_over_sections (stdoutput, fix_segment, (char *) 0);

  /* Set up symbol table, and write it out.  */
  if (symbol_rootP)
    {
      symbolS *symp;
      bfd_boolean skip_next_symbol = FALSE;

      for (symp = symbol_rootP; symp; symp = symbol_next (symp))
       {
         int punt = 0;
         const char *name;

         if (skip_next_symbol)
           {
             /* Don't do anything besides moving the value of the
               symbol from the GAS value-field to the BFD value-field.  */
             symbol_get_bfdsym (symp)->value = S_GET_VALUE (symp);
             skip_next_symbol = FALSE;
             continue;
           }

         if (symbol_mri_common_p (symp))
           {
             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.  */
         resolve_symbol_value (symp);

         /* Skip symbols which were equated to undefined or common
            symbols.  */
         if (symbol_equated_reloc_p (symp)
             || S_IS_WEAKREFR (symp))
           {
             const char *name = S_GET_NAME (symp);
             if (S_IS_COMMON (symp)
                && !TC_FAKE_LABEL (name)
                && !S_IS_WEAKREFR (symp)
                && (!S_IS_EXTERNAL (symp) || S_IS_LOCAL (symp)))
              {
                expressionS *e = symbol_get_value_expression (symp);
                as_bad (_("Local symbol `%s' can't be equated to common symbol `%s'"),
                       name, S_GET_NAME (e->X_add_symbol));
              }
             symbol_remove (symp, &symbol_rootP, &symbol_lastP);
             continue;
           }

#ifdef obj_frob_symbol
         obj_frob_symbol (symp, punt);
#endif
#ifdef tc_frob_symbol
         if (! punt || symbol_used_in_reloc_p (symp))
           tc_frob_symbol (symp, punt);
#endif

         /* If we don't want to keep this symbol, splice it out of
            the chain now.  If EMIT_SECTION_SYMBOLS is 0, we never
            want section symbols.  Otherwise, we skip local symbols
            and symbols that the frob_symbol macros told us to punt,
            but we keep such symbols if they are used in relocs.  */
         if (symp == abs_section_sym
             || (! EMIT_SECTION_SYMBOLS
                && symbol_section_p (symp))
             /* Note that S_IS_EXTERNAL and S_IS_LOCAL are not always
               opposites.  Sometimes the former checks flags and the
               latter examines the name...  */
             || (!S_IS_EXTERNAL (symp)
                && (punt || S_IS_LOCAL (symp) ||
                    (S_IS_WEAKREFD (symp) && ! symbol_used_p (symp)))
                && ! symbol_used_in_reloc_p (symp)))
           {
             symbol_remove (symp, &symbol_rootP, &symbol_lastP);

             /* After symbol_remove, symbol_next(symp) still returns
               the one that came after it in the chain.  So we don't
               need to do any extra cleanup work here.  */
             continue;
           }

         /* Make sure we really got a value for the symbol.  */
         if (! symbol_resolved_p (symp))
           {
             as_bad (_("can't resolve value for symbol `%s'"),
                    S_GET_NAME (symp));
             symbol_mark_resolved (symp);
           }

         /* Set the value into the BFD symbol.  Up til now the value
            has only been kept in the gas symbolS struct.  */
         symbol_get_bfdsym (symp)->value = S_GET_VALUE (symp);

         /* A warning construct is a warning symbol followed by the
            symbol warned about.  Don't let anything object-format or
            target-specific muck with it; it's ready for output.  */
         if (symbol_get_bfdsym (symp)->flags & BSF_WARNING)
           skip_next_symbol = TRUE;
       }
    }

  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
     *_frob_symbol.  */
#ifdef tc_frob_file
  tc_frob_file ();
#endif
#ifdef obj_frob_file
  obj_frob_file ();
#endif

  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);
}

Here is the caller graph for this function:

void write_print_statistics ( FILE *  )

Definition at line 2477 of file write.c.

{
  fprintf (file, "fixups: %d\n", n_fixups);
}

Here is the call graph for this function:

Here is the caller graph for this function:


Variable Documentation

symbolS* abs_section_sym

Definition at line 115 of file write.c.

Definition at line 118 of file write.c.

Definition at line 111 of file write.c.

Definition at line 121 of file write.c.