1 /* write.c - emit .o file
2 Copyright 1986, 1987, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
3 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
4 Free Software Foundation, Inc.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
23 /* This thing should be set up to do byteordering correctly. But... */
28 #include "output-file.h"
29 #include "dwarf2dbg.h"
32 #ifndef TC_ADJUST_RELOC_COUNT
33 #define TC_ADJUST_RELOC_COUNT(FIX, COUNT)
36 #ifndef TC_FORCE_RELOCATION
37 #define TC_FORCE_RELOCATION(FIX) \
38 (generic_force_reloc (FIX))
41 #ifndef TC_FORCE_RELOCATION_ABS
42 #define TC_FORCE_RELOCATION_ABS(FIX) \
43 (TC_FORCE_RELOCATION (FIX))
46 #ifndef TC_FORCE_RELOCATION_LOCAL
47 #define TC_FORCE_RELOCATION_LOCAL(FIX) \
49 || TC_FORCE_RELOCATION (FIX))
52 #ifndef TC_FORCE_RELOCATION_SUB_SAME
53 #define TC_FORCE_RELOCATION_SUB_SAME(FIX, SEG) \
57 #ifndef TC_FORCE_RELOCATION_SUB_ABS
58 #define TC_FORCE_RELOCATION_SUB_ABS(FIX) 0
61 #ifndef TC_FORCE_RELOCATION_SUB_LOCAL
63 #define TC_FORCE_RELOCATION_SUB_LOCAL(FIX) 0
65 #define TC_FORCE_RELOCATION_SUB_LOCAL(FIX) 1
69 #ifndef TC_VALIDATE_FIX_SUB
70 #ifdef UNDEFINED_DIFFERENCE_OK
71 /* The PA needs this for PIC code generation. */
72 #define TC_VALIDATE_FIX_SUB(FIX) 1
74 #define TC_VALIDATE_FIX_SUB(FIX) \
75 ((FIX)->fx_r_type == BFD_RELOC_GPREL32 \
76 || (FIX)->fx_r_type == BFD_RELOC_GPREL16)
80 #ifndef TC_LINKRELAX_FIXUP
81 #define TC_LINKRELAX_FIXUP(SEG) 1
84 #ifndef MD_APPLY_SYM_VALUE
85 #define MD_APPLY_SYM_VALUE(FIX) 1
88 #ifndef TC_FINALIZE_SYMS_BEFORE_SIZE_SEG
89 #define TC_FINALIZE_SYMS_BEFORE_SIZE_SEG 1
92 #ifndef MD_PCREL_FROM_SECTION
93 #define MD_PCREL_FROM_SECTION(FIX, SEC) md_pcrel_from (FIX)
97 #define TC_FAKE_LABEL(NAME) (strcmp ((NAME), FAKE_LABEL_NAME) == 0)
100 /* Used to control final evaluation of expressions. */
101 int finalize_syms
= 0;
103 int symbol_table_frozen
;
105 symbolS
*abs_section_sym
;
107 /* Remember the value of dot when parsing expressions. */
110 void print_fixup (fixS
*);
112 /* We generally attach relocs to frag chains. However, after we have
113 chained these all together into a segment, any relocs we add after
114 that must be attached to a segment. This will include relocs added
115 in md_estimate_size_for_relax, for example. */
116 static int frags_chained
= 0;
120 #define RELOC_ENUM enum bfd_reloc_code_real
122 /* Create a fixS in obstack 'notes'. */
125 fix_new_internal (fragS
*frag
, /* Which frag? */
126 int where
, /* Where in that frag? */
127 int size
, /* 1, 2, or 4 usually. */
128 symbolS
*add_symbol
, /* X_add_symbol. */
129 symbolS
*sub_symbol
, /* X_op_symbol. */
130 offsetT offset
, /* X_add_number. */
131 int pcrel
, /* TRUE if PC-relative relocation. */
132 RELOC_ENUM r_type ATTRIBUTE_UNUSED
/* Relocation type. */)
138 fixP
= obstack_alloc (¬es
, sizeof (fixS
));
140 fixP
->fx_frag
= frag
;
141 fixP
->fx_where
= where
;
142 fixP
->fx_size
= size
;
143 /* We've made fx_size a narrow field; check that it's wide enough. */
144 if (fixP
->fx_size
!= size
)
146 as_bad (_("field fx_size too small to hold %d"), size
);
149 fixP
->fx_addsy
= add_symbol
;
150 fixP
->fx_subsy
= sub_symbol
;
151 fixP
->fx_offset
= offset
;
152 fixP
->fx_dot_value
= dot_value
;
153 fixP
->fx_pcrel
= pcrel
;
154 fixP
->fx_r_type
= r_type
;
155 fixP
->fx_im_disp
= 0;
156 fixP
->fx_pcrel_adjust
= 0;
157 fixP
->fx_bit_fixP
= 0;
158 fixP
->fx_addnumber
= 0;
162 fixP
->fx_no_overflow
= 0;
166 fixP
->fx_cgen
.insn
= NULL
;
167 fixP
->fx_cgen
.opinfo
= 0;
171 TC_INIT_FIX_DATA (fixP
);
174 as_where (&fixP
->fx_file
, &fixP
->fx_line
);
176 /* Usually, we want relocs sorted numerically, but while
177 comparing to older versions of gas that have relocs
178 reverse sorted, it is convenient to have this compile
179 time option. xoxorich. */
182 fixS
**seg_fix_rootP
= (frags_chained
183 ? &seg_info (now_seg
)->fix_root
184 : &frchain_now
->fix_root
);
185 fixS
**seg_fix_tailP
= (frags_chained
186 ? &seg_info (now_seg
)->fix_tail
187 : &frchain_now
->fix_tail
);
189 #ifdef REVERSE_SORT_RELOCS
191 fixP
->fx_next
= *seg_fix_rootP
;
192 *seg_fix_rootP
= fixP
;
194 #else /* REVERSE_SORT_RELOCS */
196 fixP
->fx_next
= NULL
;
199 (*seg_fix_tailP
)->fx_next
= fixP
;
201 *seg_fix_rootP
= fixP
;
202 *seg_fix_tailP
= fixP
;
204 #endif /* REVERSE_SORT_RELOCS */
210 /* Create a fixup relative to a symbol (plus a constant). */
213 fix_new (fragS
*frag
, /* Which frag? */
214 int where
, /* Where in that frag? */
215 int size
, /* 1, 2, or 4 usually. */
216 symbolS
*add_symbol
, /* X_add_symbol. */
217 offsetT offset
, /* X_add_number. */
218 int pcrel
, /* TRUE if PC-relative relocation. */
219 RELOC_ENUM r_type
/* Relocation type. */)
221 return fix_new_internal (frag
, where
, size
, add_symbol
,
222 (symbolS
*) NULL
, offset
, pcrel
, r_type
);
225 /* Create a fixup for an expression. Currently we only support fixups
226 for difference expressions. That is itself more than most object
227 file formats support anyhow. */
230 fix_new_exp (fragS
*frag
, /* Which frag? */
231 int where
, /* Where in that frag? */
232 int size
, /* 1, 2, or 4 usually. */
233 expressionS
*exp
, /* Expression. */
234 int pcrel
, /* TRUE if PC-relative relocation. */
235 RELOC_ENUM r_type
/* Relocation type. */)
247 as_bad (_("register value used as expression"));
251 /* This comes up when _GLOBAL_OFFSET_TABLE_+(.-L0) is read, if
252 the difference expression cannot immediately be reduced. */
254 symbolS
*stmp
= make_expr_symbol (exp
);
256 exp
->X_op
= O_symbol
;
257 exp
->X_op_symbol
= 0;
258 exp
->X_add_symbol
= stmp
;
259 exp
->X_add_number
= 0;
261 return fix_new_exp (frag
, where
, size
, exp
, pcrel
, r_type
);
265 add
= exp
->X_add_symbol
;
266 off
= exp
->X_add_number
;
267 r_type
= BFD_RELOC_RVA
;
271 sub
= exp
->X_add_symbol
;
272 off
= exp
->X_add_number
;
276 sub
= exp
->X_op_symbol
;
279 add
= exp
->X_add_symbol
;
282 off
= exp
->X_add_number
;
286 add
= make_expr_symbol (exp
);
290 return fix_new_internal (frag
, where
, size
, add
, sub
, off
, pcrel
, r_type
);
293 /* Generic function to determine whether a fixup requires a relocation. */
295 generic_force_reloc (fixS
*fix
)
297 if (fix
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
298 || fix
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)
301 if (fix
->fx_addsy
== NULL
)
304 return S_FORCE_RELOC (fix
->fx_addsy
, fix
->fx_subsy
== NULL
);
307 /* Append a string onto another string, bumping the pointer along. */
309 append (char **charPP
, char *fromP
, unsigned long length
)
311 /* Don't trust memcpy() of 0 chars. */
315 memcpy (*charPP
, fromP
, length
);
319 /* This routine records the largest alignment seen for each segment.
320 If the beginning of the segment is aligned on the worst-case
321 boundary, all of the other alignments within it will work. At
322 least one object format really uses this info. */
325 record_alignment (/* Segment to which alignment pertains. */
327 /* Alignment, as a power of 2 (e.g., 1 => 2-byte
328 boundary, 2 => 4-byte boundary, etc.) */
331 if (seg
== absolute_section
)
334 if ((unsigned int) align
> bfd_get_section_alignment (stdoutput
, seg
))
335 bfd_set_section_alignment (stdoutput
, seg
, align
);
339 get_recorded_alignment (segT seg
)
341 if (seg
== absolute_section
)
344 return bfd_get_section_alignment (stdoutput
, seg
);
347 /* Reset the section indices after removing the gas created sections. */
350 renumber_sections (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *countparg
)
352 int *countp
= (int *) countparg
;
354 sec
->index
= *countp
;
359 chain_frchains_together_1 (segT section
, struct frchain
*frchp
)
361 fragS dummy
, *prev_frag
= &dummy
;
362 fixS fix_dummy
, *prev_fix
= &fix_dummy
;
364 for (; frchp
; frchp
= frchp
->frch_next
)
366 prev_frag
->fr_next
= frchp
->frch_root
;
367 prev_frag
= frchp
->frch_last
;
368 assert (prev_frag
->fr_type
!= 0);
369 if (frchp
->fix_root
!= (fixS
*) NULL
)
371 if (seg_info (section
)->fix_root
== (fixS
*) NULL
)
372 seg_info (section
)->fix_root
= frchp
->fix_root
;
373 prev_fix
->fx_next
= frchp
->fix_root
;
374 seg_info (section
)->fix_tail
= frchp
->fix_tail
;
375 prev_fix
= frchp
->fix_tail
;
378 assert (prev_frag
->fr_type
!= 0);
379 assert (prev_frag
!= &dummy
);
380 prev_frag
->fr_next
= 0;
385 chain_frchains_together (bfd
*abfd ATTRIBUTE_UNUSED
,
387 void *xxx ATTRIBUTE_UNUSED
)
389 segment_info_type
*info
;
391 /* BFD may have introduced its own sections without using
392 subseg_new, so it is possible that seg_info is NULL. */
393 info
= seg_info (section
);
394 if (info
!= (segment_info_type
*) NULL
)
395 info
->frchainP
->frch_last
396 = chain_frchains_together_1 (section
, info
->frchainP
);
398 /* Now that we've chained the frags together, we must add new fixups
399 to the segment, not to the frag chain. */
404 cvt_frag_to_fill (segT sec ATTRIBUTE_UNUSED
, fragS
*fragP
)
406 switch (fragP
->fr_type
)
414 HANDLE_ALIGN (fragP
);
416 know (fragP
->fr_next
!= NULL
);
417 fragP
->fr_offset
= (fragP
->fr_next
->fr_address
419 - fragP
->fr_fix
) / fragP
->fr_var
;
420 if (fragP
->fr_offset
< 0)
422 as_bad_where (fragP
->fr_file
, fragP
->fr_line
,
423 _("attempt to .org/.space backwards? (%ld)"),
424 (long) fragP
->fr_offset
);
425 fragP
->fr_offset
= 0;
427 fragP
->fr_type
= rs_fill
;
435 valueT value
= S_GET_VALUE (fragP
->fr_symbol
);
438 size
= output_leb128 (fragP
->fr_literal
+ fragP
->fr_fix
, value
,
441 fragP
->fr_fix
+= size
;
442 fragP
->fr_type
= rs_fill
;
444 fragP
->fr_offset
= 0;
445 fragP
->fr_symbol
= NULL
;
450 eh_frame_convert_frag (fragP
);
454 dwarf2dbg_convert_frag (fragP
);
457 case rs_machine_dependent
:
458 md_convert_frag (stdoutput
, sec
, fragP
);
460 assert (fragP
->fr_next
== NULL
461 || ((offsetT
) (fragP
->fr_next
->fr_address
- fragP
->fr_address
)
464 /* After md_convert_frag, we make the frag into a ".space 0".
465 md_convert_frag() should set up any fixSs and constants
470 #ifndef WORKING_DOT_WORD
473 struct broken_word
*lie
;
475 if (fragP
->fr_subtype
)
477 fragP
->fr_fix
+= md_short_jump_size
;
478 for (lie
= (struct broken_word
*) (fragP
->fr_symbol
);
479 lie
&& lie
->dispfrag
== fragP
;
480 lie
= lie
->next_broken_word
)
482 fragP
->fr_fix
+= md_long_jump_size
;
490 BAD_CASE (fragP
->fr_type
);
494 md_frag_check (fragP
);
498 struct relax_seg_info
505 relax_seg (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, void *xxx
)
507 segment_info_type
*seginfo
= seg_info (sec
);
508 struct relax_seg_info
*info
= (struct relax_seg_info
*) xxx
;
510 if (seginfo
&& seginfo
->frchainP
511 && relax_segment (seginfo
->frchainP
->frch_root
, sec
, info
->pass
))
516 size_seg (bfd
*abfd
, asection
*sec
, void *xxx ATTRIBUTE_UNUSED
)
520 segment_info_type
*seginfo
;
522 valueT size
, newsize
;
524 subseg_change (sec
, 0);
526 seginfo
= seg_info (sec
);
527 if (seginfo
&& seginfo
->frchainP
)
529 for (fragp
= seginfo
->frchainP
->frch_root
; fragp
; fragp
= fragp
->fr_next
)
530 cvt_frag_to_fill (sec
, fragp
);
531 for (fragp
= seginfo
->frchainP
->frch_root
;
533 fragp
= fragp
->fr_next
)
534 /* Walk to last elt. */
536 size
= fragp
->fr_address
+ fragp
->fr_fix
;
541 flags
= bfd_get_section_flags (abfd
, sec
);
543 if (size
> 0 && ! seginfo
->bss
)
544 flags
|= SEC_HAS_CONTENTS
;
546 /* @@ This is just an approximation. */
547 if (seginfo
&& seginfo
->fix_root
)
551 x
= bfd_set_section_flags (abfd
, sec
, flags
);
554 newsize
= md_section_align (sec
, size
);
555 x
= bfd_set_section_size (abfd
, sec
, newsize
);
558 /* If the size had to be rounded up, add some padding in the last
560 assert (newsize
>= size
);
563 fragS
*last
= seginfo
->frchainP
->frch_last
;
564 fragp
= seginfo
->frchainP
->frch_root
;
565 while (fragp
->fr_next
!= last
)
566 fragp
= fragp
->fr_next
;
567 last
->fr_address
= size
;
568 if ((newsize
- size
) % fragp
->fr_var
== 0)
569 fragp
->fr_offset
+= (newsize
- size
) / fragp
->fr_var
;
571 /* If we hit this abort, it's likely due to subsegs_finish not
572 providing sufficient alignment on the last frag, and the
573 machine dependent code using alignment frags with fr_var
578 #ifdef tc_frob_section
579 tc_frob_section (sec
);
581 #ifdef obj_frob_section
582 obj_frob_section (sec
);
588 dump_section_relocs (bfd
*abfd ATTRIBUTE_UNUSED
, asection
*sec
, FILE *stream
)
590 segment_info_type
*seginfo
= seg_info (sec
);
591 fixS
*fixp
= seginfo
->fix_root
;
596 fprintf (stream
, "sec %s relocs:\n", sec
->name
);
599 symbolS
*s
= fixp
->fx_addsy
;
601 fprintf (stream
, " %08lx: type %d ", (unsigned long) fixp
,
602 (int) fixp
->fx_r_type
);
604 fprintf (stream
, "no sym\n");
607 print_symbol_value_1 (stream
, s
);
608 fprintf (stream
, "\n");
610 fixp
= fixp
->fx_next
;
614 #define dump_section_relocs(ABFD,SEC,STREAM) ((void) 0)
617 #ifndef EMIT_SECTION_SYMBOLS
618 #define EMIT_SECTION_SYMBOLS 1
621 /* This pass over fixups decides whether symbols can be replaced with
625 adjust_reloc_syms (bfd
*abfd ATTRIBUTE_UNUSED
,
627 void *xxx ATTRIBUTE_UNUSED
)
629 segment_info_type
*seginfo
= seg_info (sec
);
635 dump_section_relocs (abfd
, sec
, stderr
);
637 for (fixp
= seginfo
->fix_root
; fixp
; fixp
= fixp
->fx_next
)
641 else if (fixp
->fx_addsy
)
647 fprintf (stderr
, "\n\nadjusting fixup:\n");
651 sym
= fixp
->fx_addsy
;
653 /* All symbols should have already been resolved at this
654 point. It is possible to see unresolved expression
655 symbols, though, since they are not in the regular symbol
657 resolve_symbol_value (sym
);
659 if (fixp
->fx_subsy
!= NULL
)
660 resolve_symbol_value (fixp
->fx_subsy
);
662 /* If this symbol is equated to an undefined or common symbol,
663 convert the fixup to being against that symbol. */
664 while (symbol_equated_reloc_p (sym
)
665 || S_IS_WEAKREFR (sym
))
667 symbolS
*newsym
= symbol_get_value_expression (sym
)->X_add_symbol
;
670 fixp
->fx_offset
+= symbol_get_value_expression (sym
)->X_add_number
;
671 fixp
->fx_addsy
= newsym
;
675 if (symbol_mri_common_p (sym
))
677 fixp
->fx_offset
+= S_GET_VALUE (sym
);
678 fixp
->fx_addsy
= symbol_get_value_expression (sym
)->X_add_symbol
;
682 /* If the symbol is undefined, common, weak, or global (ELF
683 shared libs), we can't replace it with the section symbol. */
684 if (S_FORCE_RELOC (fixp
->fx_addsy
, 1))
687 /* Is there some other (target cpu dependent) reason we can't adjust
688 this one? (E.g. relocations involving function addresses on
690 #ifdef tc_fix_adjustable
691 if (! tc_fix_adjustable (fixp
))
695 /* Since we're reducing to section symbols, don't attempt to reduce
696 anything that's already using one. */
697 if (symbol_section_p (sym
))
700 symsec
= S_GET_SEGMENT (sym
);
704 if (bfd_is_abs_section (symsec
))
706 /* The fixup_segment routine normally will not use this
707 symbol in a relocation. */
711 /* Don't try to reduce relocs which refer to non-local symbols
712 in .linkonce sections. It can lead to confusion when a
713 debugging section refers to a .linkonce section. I hope
714 this will always be correct. */
715 if (symsec
!= sec
&& ! S_IS_LOCAL (sym
))
717 if ((symsec
->flags
& SEC_LINK_ONCE
) != 0
719 /* The GNU toolchain uses an extension for ELF: a
720 section beginning with the magic string
721 .gnu.linkonce is a linkonce section. */
722 && strncmp (segment_name (symsec
), ".gnu.linkonce",
723 sizeof ".gnu.linkonce" - 1) == 0))
727 /* Never adjust a reloc against local symbol in a merge section
728 with non-zero addend. */
729 if ((symsec
->flags
& SEC_MERGE
) != 0
730 && (fixp
->fx_offset
!= 0 || fixp
->fx_subsy
!= NULL
))
733 /* Never adjust a reloc against TLS local symbol. */
734 if ((symsec
->flags
& SEC_THREAD_LOCAL
) != 0)
737 /* We refetch the segment when calling section_symbol, rather
738 than using symsec, because S_GET_VALUE may wind up changing
739 the section when it calls resolve_symbol_value. */
740 fixp
->fx_offset
+= S_GET_VALUE (sym
);
741 fixp
->fx_addsy
= section_symbol (S_GET_SEGMENT (sym
));
743 fprintf (stderr
, "\nadjusted fixup:\n");
748 dump_section_relocs (abfd
, sec
, stderr
);
753 Go through all the fixS's in a segment and see which ones can be
754 handled now. (These consist of fixS where we have since discovered
755 the value of a symbol, or the address of the frag involved.)
756 For each one, call md_apply_fix to put the fix into the frag data.
758 Result is a count of how many relocation structs will be needed to
759 handle the remaining fixS's that we couldn't completely handle here.
760 These will be output later by emit_relocations(). */
763 fixup_segment (fixS
*fixP
, segT this_segment
)
765 long seg_reloc_count
= 0;
768 segT add_symbol_segment
= absolute_section
;
770 if (fixP
!= NULL
&& abs_section_sym
== NULL
)
771 abs_section_sym
= section_symbol (absolute_section
);
773 /* If the linker is doing the relaxing, we must not do any fixups.
775 Well, strictly speaking that's not true -- we could do any that
776 are PC-relative and don't cross regions that could change size.
777 And for the i960 we might be able to turn callx/callj into bal
778 anyways in cases where we know the maximum displacement. */
779 if (linkrelax
&& TC_LINKRELAX_FIXUP (this_segment
))
781 for (; fixP
; fixP
= fixP
->fx_next
)
784 if (fixP
->fx_addsy
== NULL
)
786 /* There was no symbol required by this relocation.
787 However, BFD doesn't really handle relocations
788 without symbols well. So fake up a local symbol in
789 the absolute section. */
790 fixP
->fx_addsy
= abs_section_sym
;
792 symbol_mark_used_in_reloc (fixP
->fx_addsy
);
793 if (fixP
->fx_subsy
!= NULL
)
794 symbol_mark_used_in_reloc (fixP
->fx_subsy
);
797 TC_ADJUST_RELOC_COUNT (fixP
, seg_reloc_count
);
798 return seg_reloc_count
;
801 for (; fixP
; fixP
= fixP
->fx_next
)
804 fprintf (stderr
, "\nprocessing fixup:\n");
808 fragP
= fixP
->fx_frag
;
810 #ifdef TC_VALIDATE_FIX
811 TC_VALIDATE_FIX (fixP
, this_segment
, skip
);
813 add_number
= fixP
->fx_offset
;
815 if (fixP
->fx_addsy
!= NULL
)
816 add_symbol_segment
= S_GET_SEGMENT (fixP
->fx_addsy
);
818 if (fixP
->fx_subsy
!= NULL
)
820 segT sub_symbol_segment
;
821 resolve_symbol_value (fixP
->fx_subsy
);
822 sub_symbol_segment
= S_GET_SEGMENT (fixP
->fx_subsy
);
823 if (fixP
->fx_addsy
!= NULL
824 && sub_symbol_segment
== add_symbol_segment
825 && !TC_FORCE_RELOCATION_SUB_SAME (fixP
, add_symbol_segment
))
827 add_number
+= S_GET_VALUE (fixP
->fx_addsy
);
828 add_number
-= S_GET_VALUE (fixP
->fx_subsy
);
829 fixP
->fx_offset
= add_number
;
830 fixP
->fx_addsy
= NULL
;
831 fixP
->fx_subsy
= NULL
;
833 /* See the comment below about 68k weirdness. */
837 else if (sub_symbol_segment
== absolute_section
838 && !TC_FORCE_RELOCATION_SUB_ABS (fixP
))
840 add_number
-= S_GET_VALUE (fixP
->fx_subsy
);
841 fixP
->fx_offset
= add_number
;
842 fixP
->fx_subsy
= NULL
;
844 else if (sub_symbol_segment
== this_segment
845 && !TC_FORCE_RELOCATION_SUB_LOCAL (fixP
))
847 add_number
-= S_GET_VALUE (fixP
->fx_subsy
);
848 fixP
->fx_offset
= (add_number
+ fixP
->fx_dot_value
849 + fixP
->fx_frag
->fr_address
);
851 /* Make it pc-relative. If the back-end code has not
852 selected a pc-relative reloc, cancel the adjustment
853 we do later on all pc-relative relocs. */
856 /* Do this for m68k even if it's already described
857 as pc-relative. On the m68k, an operand of
858 "pc@(foo-.-2)" should address "foo" in a
863 add_number
+= MD_PCREL_FROM_SECTION (fixP
, this_segment
);
864 fixP
->fx_subsy
= NULL
;
867 else if (!TC_VALIDATE_FIX_SUB (fixP
))
869 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
870 _("can't resolve `%s' {%s section} - `%s' {%s section}"),
871 fixP
->fx_addsy
? S_GET_NAME (fixP
->fx_addsy
) : "0",
872 segment_name (add_symbol_segment
),
873 S_GET_NAME (fixP
->fx_subsy
),
874 segment_name (sub_symbol_segment
));
880 if (add_symbol_segment
== this_segment
881 && !TC_FORCE_RELOCATION_LOCAL (fixP
))
883 /* This fixup was made when the symbol's segment was
884 SEG_UNKNOWN, but it is now in the local segment.
885 So we know how to do the address without relocation. */
886 add_number
+= S_GET_VALUE (fixP
->fx_addsy
);
887 fixP
->fx_offset
= add_number
;
889 add_number
-= MD_PCREL_FROM_SECTION (fixP
, this_segment
);
890 fixP
->fx_addsy
= NULL
;
893 else if (add_symbol_segment
== absolute_section
894 && !TC_FORCE_RELOCATION_ABS (fixP
))
896 add_number
+= S_GET_VALUE (fixP
->fx_addsy
);
897 fixP
->fx_offset
= add_number
;
898 fixP
->fx_addsy
= NULL
;
900 else if (add_symbol_segment
!= undefined_section
901 && ! bfd_is_com_section (add_symbol_segment
)
902 && MD_APPLY_SYM_VALUE (fixP
))
903 add_number
+= S_GET_VALUE (fixP
->fx_addsy
);
908 add_number
-= MD_PCREL_FROM_SECTION (fixP
, this_segment
);
909 if (!fixP
->fx_done
&& fixP
->fx_addsy
== NULL
)
911 /* There was no symbol required by this relocation.
912 However, BFD doesn't really handle relocations
913 without symbols well. So fake up a local symbol in
914 the absolute section. */
915 fixP
->fx_addsy
= abs_section_sym
;
920 md_apply_fix (fixP
, &add_number
, this_segment
);
925 if (fixP
->fx_addsy
== NULL
)
926 fixP
->fx_addsy
= abs_section_sym
;
927 symbol_mark_used_in_reloc (fixP
->fx_addsy
);
928 if (fixP
->fx_subsy
!= NULL
)
929 symbol_mark_used_in_reloc (fixP
->fx_subsy
);
932 if (!fixP
->fx_bit_fixP
&& !fixP
->fx_no_overflow
&& fixP
->fx_size
!= 0)
934 if (fixP
->fx_size
< sizeof (valueT
))
939 mask
--; /* Set all bits to one. */
940 mask
<<= fixP
->fx_size
* 8 - (fixP
->fx_signed
? 1 : 0);
941 if ((add_number
& mask
) != 0 && (add_number
& mask
) != mask
)
943 char buf
[50], buf2
[50];
944 sprint_value (buf
, fragP
->fr_address
+ fixP
->fx_where
);
945 if (add_number
> 1000)
946 sprint_value (buf2
, add_number
);
948 sprintf (buf2
, "%ld", (long) add_number
);
949 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
950 _("value of %s too large for field of %d bytes at %s"),
951 buf2
, fixP
->fx_size
, buf
);
952 } /* Generic error checking. */
954 #ifdef WARN_SIGNED_OVERFLOW_WORD
955 /* Warn if a .word value is too large when treated as a signed
956 number. We already know it is not too negative. This is to
957 catch over-large switches generated by gcc on the 68k. */
958 if (!flag_signed_overflow_ok
959 && fixP
->fx_size
== 2
960 && add_number
> 0x7fff)
961 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
962 _("signed .word overflow; switch may be too large; %ld at 0x%lx"),
964 (long) (fragP
->fr_address
+ fixP
->fx_where
));
966 } /* Not a bit fix. */
968 #ifdef TC_VALIDATE_FIX
969 skip
: ATTRIBUTE_UNUSED_LABEL
973 fprintf (stderr
, "result:\n");
976 } /* For each fixS in this segment. */
978 TC_ADJUST_RELOC_COUNT (fixP
, seg_reloc_count
);
979 return seg_reloc_count
;
983 fix_segment (bfd
*abfd ATTRIBUTE_UNUSED
,
985 void *xxx ATTRIBUTE_UNUSED
)
987 segment_info_type
*seginfo
= seg_info (sec
);
989 fixup_segment (seginfo
->fix_root
, sec
);
993 write_relocs (bfd
*abfd
, asection
*sec
, void *xxx ATTRIBUTE_UNUSED
)
995 segment_info_type
*seginfo
= seg_info (sec
);
1002 /* If seginfo is NULL, we did not create this section; don't do
1003 anything with it. */
1004 if (seginfo
== NULL
)
1008 for (fixp
= seginfo
->fix_root
; fixp
; fixp
= fixp
->fx_next
)
1011 #ifndef RELOC_EXPANSION_POSSIBLE
1012 /* Set up reloc information as well. */
1013 relocs
= xcalloc (n
, sizeof (arelent
*));
1016 for (fixp
= seginfo
->fix_root
; fixp
!= (fixS
*) NULL
; fixp
= fixp
->fx_next
)
1019 bfd_reloc_status_type s
;
1027 reloc
= tc_gen_reloc (sec
, fixp
);
1035 This test is triggered inappropriately for the SH:
1036 if (fixp->fx_where + fixp->fx_size
1037 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
1041 s
= bfd_install_relocation (stdoutput
, reloc
,
1042 fixp
->fx_frag
->fr_literal
,
1043 fixp
->fx_frag
->fr_address
,
1049 case bfd_reloc_overflow
:
1050 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
1051 _("relocation overflow"));
1053 case bfd_reloc_outofrange
:
1054 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
1055 _("relocation out of range"));
1058 as_fatal (_("%s:%u: bad return from bfd_install_relocation: %x"),
1059 fixp
->fx_file
, fixp
->fx_line
, s
);
1061 relocs
[i
++] = reloc
;
1064 n
= n
* MAX_RELOC_EXPANSION
;
1065 /* Set up reloc information as well. */
1066 relocs
= xcalloc (n
, sizeof (arelent
*));
1069 for (fixp
= seginfo
->fix_root
; fixp
!= (fixS
*) NULL
; fixp
= fixp
->fx_next
)
1072 bfd_reloc_status_type s
;
1082 reloc
= tc_gen_reloc (sec
, fixp
);
1084 for (j
= 0; reloc
[j
]; j
++)
1086 relocs
[i
++] = reloc
[j
];
1089 if (fixp
->fx_where
+ fixp
->fx_size
1090 > fixp
->fx_frag
->fr_fix
+ fixp
->fx_frag
->fr_offset
)
1091 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
1092 _("internal error: fixup not contained within frag"));
1093 for (j
= 0; reloc
[j
]; j
++)
1095 s
= bfd_install_relocation (stdoutput
, reloc
[j
],
1096 fixp
->fx_frag
->fr_literal
,
1097 fixp
->fx_frag
->fr_address
,
1103 case bfd_reloc_overflow
:
1104 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
1105 _("relocation overflow"));
1107 case bfd_reloc_outofrange
:
1108 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
1109 _("relocation out of range"));
1112 as_fatal (_("%s:%u: bad return from bfd_install_relocation: %x"),
1113 fixp
->fx_file
, fixp
->fx_line
, s
);
1122 unsigned int i
, j
, nsyms
;
1124 sympp
= bfd_get_outsymbols (stdoutput
);
1125 nsyms
= bfd_get_symcount (stdoutput
);
1126 for (i
= 0; i
< n
; i
++)
1127 if (((*relocs
[i
]->sym_ptr_ptr
)->flags
& BSF_SECTION_SYM
) == 0)
1129 for (j
= 0; j
< nsyms
; j
++)
1130 if (sympp
[j
] == *relocs
[i
]->sym_ptr_ptr
)
1139 bfd_set_reloc (stdoutput
, sec
, relocs
, n
);
1141 bfd_set_section_flags (abfd
, sec
,
1142 (bfd_get_section_flags (abfd
, sec
)
1143 & (flagword
) ~SEC_RELOC
));
1145 #ifdef SET_SECTION_RELOCS
1146 SET_SECTION_RELOCS (sec
, relocs
, n
);
1154 fprintf (stderr
, "relocs for sec %s\n", sec
->name
);
1155 for (i
= 0; i
< n
; i
++)
1158 s
= *r
->sym_ptr_ptr
;
1159 fprintf (stderr
, " reloc %2d @%p off %4lx : sym %-10s addend %lx\n",
1160 i
, r
, (unsigned long)r
->address
, s
->name
, (unsigned long)r
->addend
);
1167 write_contents (bfd
*abfd ATTRIBUTE_UNUSED
,
1169 void *xxx ATTRIBUTE_UNUSED
)
1171 segment_info_type
*seginfo
= seg_info (sec
);
1172 addressT offset
= 0;
1175 /* Write out the frags. */
1177 || !(bfd_get_section_flags (abfd
, sec
) & SEC_HAS_CONTENTS
))
1180 for (f
= seginfo
->frchainP
->frch_root
;
1189 assert (f
->fr_type
== rs_fill
);
1192 x
= bfd_set_section_contents (stdoutput
, sec
,
1193 f
->fr_literal
, (file_ptr
) offset
,
1194 (bfd_size_type
) f
->fr_fix
);
1196 as_fatal (_("can't write %s: %s"), stdoutput
->filename
,
1197 bfd_errmsg (bfd_get_error ()));
1198 offset
+= f
->fr_fix
;
1200 fill_literal
= f
->fr_literal
+ f
->fr_fix
;
1201 fill_size
= f
->fr_var
;
1202 count
= f
->fr_offset
;
1203 assert (count
>= 0);
1204 if (fill_size
&& count
)
1207 if (fill_size
> sizeof (buf
))
1209 /* Do it the old way. Can this ever happen? */
1212 x
= bfd_set_section_contents (stdoutput
, sec
,
1215 (bfd_size_type
) fill_size
);
1217 as_fatal (_("can't write %s: %s"), stdoutput
->filename
,
1218 bfd_errmsg (bfd_get_error ()));
1219 offset
+= fill_size
;
1224 /* Build a buffer full of fill objects and output it as
1225 often as necessary. This saves on the overhead of
1226 potentially lots of bfd_set_section_contents calls. */
1230 n_per_buf
= sizeof (buf
);
1231 memset (buf
, *fill_literal
, n_per_buf
);
1236 n_per_buf
= sizeof (buf
) / fill_size
;
1237 for (i
= n_per_buf
, bufp
= buf
; i
; i
--, bufp
+= fill_size
)
1238 memcpy (bufp
, fill_literal
, fill_size
);
1240 for (; count
> 0; count
-= n_per_buf
)
1242 n_per_buf
= n_per_buf
> count
? count
: n_per_buf
;
1243 x
= bfd_set_section_contents
1244 (stdoutput
, sec
, buf
, (file_ptr
) offset
,
1245 (bfd_size_type
) n_per_buf
* fill_size
);
1247 as_fatal (_("cannot write to output file"));
1248 offset
+= n_per_buf
* fill_size
;
1256 merge_data_into_text (void)
1258 seg_info (text_section
)->frchainP
->frch_last
->fr_next
=
1259 seg_info (data_section
)->frchainP
->frch_root
;
1260 seg_info (text_section
)->frchainP
->frch_last
=
1261 seg_info (data_section
)->frchainP
->frch_last
;
1262 seg_info (data_section
)->frchainP
= 0;
1273 /* Count symbols. We can't rely on a count made by the loop in
1274 write_object_file, because *_frob_file may add a new symbol or
1277 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
1283 bfd_size_type amt
= (bfd_size_type
) nsyms
* sizeof (asymbol
*);
1285 asympp
= bfd_alloc (stdoutput
, amt
);
1286 symp
= symbol_rootP
;
1287 for (i
= 0; i
< nsyms
; i
++, symp
= symbol_next (symp
))
1289 asympp
[i
] = symbol_get_bfdsym (symp
);
1290 symbol_mark_written (symp
);
1295 result
= bfd_set_symtab (stdoutput
, asympp
, nsyms
);
1297 symbol_table_frozen
= 1;
1300 /* Finish the subsegments. After every sub-segment, we fake an
1301 ".align ...". This conforms to BSD4.2 brane-damage. We then fake
1302 ".fill 0" because that is the kind of frag that requires least
1303 thought. ".align" frags like to have a following frag since that
1304 makes calculating their intended length trivial. */
1306 #ifndef SUB_SEGMENT_ALIGN
1308 /* The last subsegment gets an alignment corresponding to the alignment
1309 of the section. This allows proper nop-filling at the end of
1310 code-bearing sections. */
1311 #define SUB_SEGMENT_ALIGN(SEG, FRCHAIN) \
1312 (!(FRCHAIN)->frch_next ? get_recorded_alignment (SEG) : 0)
1314 #define SUB_SEGMENT_ALIGN(SEG, FRCHAIN) 0
1319 subsegs_finish (void)
1321 struct frchain
*frchainP
;
1324 for (s
= stdoutput
->sections
; s
; s
= s
->next
)
1326 segment_info_type
*seginfo
= seg_info (s
);
1330 for (frchainP
= seginfo
->frchainP
;
1332 frchainP
= frchainP
->frch_next
)
1336 subseg_set (s
, frchainP
->frch_subseg
);
1338 /* This now gets called even if we had errors. In that case,
1339 any alignment is meaningless, and, moreover, will look weird
1340 if we are generating a listing. */
1343 alignment
= SUB_SEGMENT_ALIGN (now_seg
, frchainP
);
1344 if ((bfd_get_section_flags (now_seg
->owner
, now_seg
) & SEC_MERGE
)
1345 && now_seg
->entsize
)
1347 unsigned int entsize
= now_seg
->entsize
;
1350 while ((entsize
& 1) == 0)
1355 if (entalign
> alignment
)
1356 alignment
= entalign
;
1360 if (subseg_text_p (now_seg
))
1361 frag_align_code (alignment
, 0);
1363 frag_align (alignment
, 0, 0);
1365 /* frag_align will have left a new frag.
1366 Use this last frag for an empty ".fill".
1368 For this segment ...
1369 Create a last frag. Do not leave a "being filled in frag". */
1370 frag_wane (frag_now
);
1371 frag_now
->fr_fix
= 0;
1372 know (frag_now
->fr_next
== NULL
);
1377 /* Write the object file. */
1380 write_object_file (void)
1382 struct relax_seg_info rsi
;
1383 #ifndef WORKING_DOT_WORD
1384 fragS
*fragP
; /* Track along all frags. */
1387 /* Do we really want to write it? */
1389 int n_warns
, n_errs
;
1390 n_warns
= had_warnings ();
1391 n_errs
= had_errors ();
1392 /* The -Z flag indicates that an object file should be generated,
1393 regardless of warnings and errors. */
1394 if (flag_always_generate_output
)
1396 if (n_warns
|| n_errs
)
1397 as_warn (_("%d error%s, %d warning%s, generating bad object file"),
1398 n_errs
, n_errs
== 1 ? "" : "s",
1399 n_warns
, n_warns
== 1 ? "" : "s");
1404 as_fatal (_("%d error%s, %d warning%s, no object file generated"),
1405 n_errs
, n_errs
== 1 ? "" : "s",
1406 n_warns
, n_warns
== 1 ? "" : "s");
1411 /* Under VMS we try to be compatible with VAX-11 "C". Thus, we call
1412 a routine to check for the definition of the procedure "_main",
1413 and if so -- fix it up so that it can be program entry point. */
1414 vms_check_for_main ();
1415 #endif /* OBJ_VMS */
1417 /* From now on, we don't care about sub-segments. Build one frag chain
1418 for each segment. Linked thru fr_next. */
1420 /* Remove the sections created by gas for its own purposes. */
1424 bfd_section_list_remove (stdoutput
, reg_section
);
1425 bfd_section_list_remove (stdoutput
, expr_section
);
1426 stdoutput
->section_count
-= 2;
1428 bfd_map_over_sections (stdoutput
, renumber_sections
, &i
);
1431 bfd_map_over_sections (stdoutput
, chain_frchains_together
, (char *) 0);
1433 /* We have two segments. If user gave -R flag, then we must put the
1434 data frags into the text segment. Do this before relaxing so
1435 we know to take advantage of -R and make shorter addresses. */
1436 if (flag_readonly_data_in_text
)
1438 merge_data_into_text ();
1444 #ifndef WORKING_DOT_WORD
1445 /* We need to reset the markers in the broken word list and
1446 associated frags between calls to relax_segment (via
1447 relax_seg). Since the broken word list is global, we do it
1448 once per round, rather than locally in relax_segment for each
1450 struct broken_word
*brokp
;
1452 for (brokp
= broken_words
;
1453 brokp
!= (struct broken_word
*) NULL
;
1454 brokp
= brokp
->next_broken_word
)
1458 if (brokp
->dispfrag
!= (fragS
*) NULL
1459 && brokp
->dispfrag
->fr_type
== rs_broken_word
)
1460 brokp
->dispfrag
->fr_subtype
= 0;
1465 bfd_map_over_sections (stdoutput
, relax_seg
, &rsi
);
1471 /* Note - Most ports will use the default value of
1472 TC_FINALIZE_SYMS_BEFORE_SIZE_SEG, which 1. This will force
1473 local symbols to be resolved, removing their frag information.
1474 Some ports however, will not have finished relaxing all of
1475 their frags and will still need the local symbol frag
1476 information. These ports can set
1477 TC_FINALIZE_SYMS_BEFORE_SIZE_SEG to 0. */
1478 finalize_syms
= TC_FINALIZE_SYMS_BEFORE_SIZE_SEG
;
1480 bfd_map_over_sections (stdoutput
, size_seg
, (char *) 0);
1482 /* Relaxation has completed. Freeze all syms. */
1485 #ifdef md_post_relax_hook
1489 #ifndef WORKING_DOT_WORD
1491 struct broken_word
*lie
;
1492 struct broken_word
**prevP
;
1494 prevP
= &broken_words
;
1495 for (lie
= broken_words
; lie
; lie
= lie
->next_broken_word
)
1500 subseg_change (lie
->seg
, lie
->subseg
);
1501 exp
.X_op
= O_subtract
;
1502 exp
.X_add_symbol
= lie
->add
;
1503 exp
.X_op_symbol
= lie
->sub
;
1504 exp
.X_add_number
= lie
->addnum
;
1505 #ifdef TC_CONS_FIX_NEW
1506 TC_CONS_FIX_NEW (lie
->frag
,
1507 lie
->word_goes_here
- lie
->frag
->fr_literal
,
1510 fix_new_exp (lie
->frag
,
1511 lie
->word_goes_here
- lie
->frag
->fr_literal
,
1512 2, &exp
, 0, BFD_RELOC_16
);
1514 *prevP
= lie
->next_broken_word
;
1517 prevP
= &(lie
->next_broken_word
);
1519 for (lie
= broken_words
; lie
;)
1521 struct broken_word
*untruth
;
1523 addressT table_addr
;
1524 addressT from_addr
, to_addr
;
1527 subseg_change (lie
->seg
, lie
->subseg
);
1528 fragP
= lie
->dispfrag
;
1530 /* Find out how many broken_words go here. */
1533 untruth
&& untruth
->dispfrag
== fragP
;
1534 untruth
= untruth
->next_broken_word
)
1535 if (untruth
->added
== 1)
1538 table_ptr
= lie
->dispfrag
->fr_opcode
;
1539 table_addr
= (lie
->dispfrag
->fr_address
1540 + (table_ptr
- lie
->dispfrag
->fr_literal
));
1541 /* Create the jump around the long jumps. This is a short
1542 jump from table_ptr+0 to table_ptr+n*long_jump_size. */
1543 from_addr
= table_addr
;
1544 to_addr
= table_addr
+ md_short_jump_size
+ n
* md_long_jump_size
;
1545 md_create_short_jump (table_ptr
, from_addr
, to_addr
, lie
->dispfrag
,
1547 table_ptr
+= md_short_jump_size
;
1548 table_addr
+= md_short_jump_size
;
1551 lie
&& lie
->dispfrag
== fragP
;
1552 m
++, lie
= lie
->next_broken_word
)
1554 if (lie
->added
== 2)
1556 /* Patch the jump table. */
1557 /* This is the offset from ??? to table_ptr+0. */
1558 to_addr
= table_addr
- S_GET_VALUE (lie
->sub
);
1559 #ifdef TC_CHECK_ADJUSTED_BROKEN_DOT_WORD
1560 TC_CHECK_ADJUSTED_BROKEN_DOT_WORD (to_addr
, lie
);
1562 md_number_to_chars (lie
->word_goes_here
, to_addr
, 2);
1563 for (untruth
= lie
->next_broken_word
;
1564 untruth
&& untruth
->dispfrag
== fragP
;
1565 untruth
= untruth
->next_broken_word
)
1567 if (untruth
->use_jump
== lie
)
1568 md_number_to_chars (untruth
->word_goes_here
, to_addr
, 2);
1571 /* Install the long jump. */
1572 /* This is a long jump from table_ptr+0 to the final target. */
1573 from_addr
= table_addr
;
1574 to_addr
= S_GET_VALUE (lie
->add
) + lie
->addnum
;
1575 md_create_long_jump (table_ptr
, from_addr
, to_addr
, lie
->dispfrag
,
1577 table_ptr
+= md_long_jump_size
;
1578 table_addr
+= md_long_jump_size
;
1582 #endif /* not WORKING_DOT_WORD */
1584 /* Resolve symbol values. This needs to be done before processing
1590 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
1591 resolve_symbol_value (symp
);
1593 resolve_local_symbol_values ();
1597 #ifdef tc_frob_file_before_adjust
1598 tc_frob_file_before_adjust ();
1600 #ifdef obj_frob_file_before_adjust
1601 obj_frob_file_before_adjust ();
1604 bfd_map_over_sections (stdoutput
, adjust_reloc_syms
, (char *) 0);
1606 #ifdef tc_frob_file_before_fix
1607 tc_frob_file_before_fix ();
1609 #ifdef obj_frob_file_before_fix
1610 obj_frob_file_before_fix ();
1613 bfd_map_over_sections (stdoutput
, fix_segment
, (char *) 0);
1615 /* Set up symbol table, and write it out. */
1619 bfd_boolean skip_next_symbol
= FALSE
;
1621 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
1626 if (skip_next_symbol
)
1628 /* Don't do anything besides moving the value of the
1629 symbol from the GAS value-field to the BFD value-field. */
1630 symbol_get_bfdsym (symp
)->value
= S_GET_VALUE (symp
);
1631 skip_next_symbol
= FALSE
;
1635 if (symbol_mri_common_p (symp
))
1637 if (S_IS_EXTERNAL (symp
))
1638 as_bad (_("%s: global symbols not supported in common sections"),
1640 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
1644 name
= S_GET_NAME (symp
);
1648 decode_local_label_name ((char *) S_GET_NAME (symp
));
1649 /* They only differ if `name' is a fb or dollar local
1651 if (name2
!= name
&& ! S_IS_DEFINED (symp
))
1652 as_bad (_("local label `%s' is not defined"), name2
);
1655 /* Do it again, because adjust_reloc_syms might introduce
1656 more symbols. They'll probably only be section symbols,
1657 but they'll still need to have the values computed. */
1658 resolve_symbol_value (symp
);
1660 /* Skip symbols which were equated to undefined or common
1662 if (symbol_equated_reloc_p (symp
)
1663 || S_IS_WEAKREFR (symp
))
1665 const char *name
= S_GET_NAME (symp
);
1666 if (S_IS_COMMON (symp
)
1667 && !TC_FAKE_LABEL (name
)
1668 && !S_IS_WEAKREFR (symp
)
1669 && (!S_IS_EXTERNAL (symp
) || S_IS_LOCAL (symp
)))
1671 expressionS
*e
= symbol_get_value_expression (symp
);
1672 as_bad (_("Local symbol `%s' can't be equated to common symbol `%s'"),
1673 name
, S_GET_NAME (e
->X_add_symbol
));
1675 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
1679 #ifdef obj_frob_symbol
1680 obj_frob_symbol (symp
, punt
);
1682 #ifdef tc_frob_symbol
1683 if (! punt
|| symbol_used_in_reloc_p (symp
))
1684 tc_frob_symbol (symp
, punt
);
1687 /* If we don't want to keep this symbol, splice it out of
1688 the chain now. If EMIT_SECTION_SYMBOLS is 0, we never
1689 want section symbols. Otherwise, we skip local symbols
1690 and symbols that the frob_symbol macros told us to punt,
1691 but we keep such symbols if they are used in relocs. */
1692 if (symp
== abs_section_sym
1693 || (! EMIT_SECTION_SYMBOLS
1694 && symbol_section_p (symp
))
1695 /* Note that S_IS_EXTERNAL and S_IS_LOCAL are not always
1696 opposites. Sometimes the former checks flags and the
1697 latter examines the name... */
1698 || (!S_IS_EXTERNAL (symp
)
1699 && (punt
|| S_IS_LOCAL (symp
) ||
1700 (S_IS_WEAKREFD (symp
) && ! symbol_used_p (symp
)))
1701 && ! symbol_used_in_reloc_p (symp
)))
1703 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
1705 /* After symbol_remove, symbol_next(symp) still returns
1706 the one that came after it in the chain. So we don't
1707 need to do any extra cleanup work here. */
1711 /* Make sure we really got a value for the symbol. */
1712 if (! symbol_resolved_p (symp
))
1714 as_bad (_("can't resolve value for symbol `%s'"),
1716 symbol_mark_resolved (symp
);
1719 /* Set the value into the BFD symbol. Up til now the value
1720 has only been kept in the gas symbolS struct. */
1721 symbol_get_bfdsym (symp
)->value
= S_GET_VALUE (symp
);
1723 /* A warning construct is a warning symbol followed by the
1724 symbol warned about. Don't let anything object-format or
1725 target-specific muck with it; it's ready for output. */
1726 if (symbol_get_bfdsym (symp
)->flags
& BSF_WARNING
)
1727 skip_next_symbol
= TRUE
;
1733 /* Now do any format-specific adjustments to the symbol table, such
1734 as adding file symbols. */
1735 #ifdef tc_adjust_symtab
1736 tc_adjust_symtab ();
1738 #ifdef obj_adjust_symtab
1739 obj_adjust_symtab ();
1742 /* Now that all the sizes are known, and contents correct, we can
1743 start writing to the file. */
1746 /* If *_frob_file changes the symbol value at this point, it is
1747 responsible for moving the changed value into symp->bsym->value
1748 as well. Hopefully all symbol value changing can be done in
1753 #ifdef obj_frob_file
1757 bfd_map_over_sections (stdoutput
, write_relocs
, (char *) 0);
1759 #ifdef tc_frob_file_after_relocs
1760 tc_frob_file_after_relocs ();
1762 #ifdef obj_frob_file_after_relocs
1763 obj_frob_file_after_relocs ();
1766 bfd_map_over_sections (stdoutput
, write_contents
, (char *) 0);
1769 #ifdef TC_GENERIC_RELAX_TABLE
1770 /* Relax a fragment by scanning TC_GENERIC_RELAX_TABLE. */
1773 relax_frag (segT segment
, fragS
*fragP
, long stretch
)
1775 const relax_typeS
*this_type
;
1776 const relax_typeS
*start_type
;
1777 relax_substateT next_state
;
1778 relax_substateT this_state
;
1784 const relax_typeS
*table
;
1786 target
= fragP
->fr_offset
;
1787 address
= fragP
->fr_address
;
1788 table
= TC_GENERIC_RELAX_TABLE
;
1789 this_state
= fragP
->fr_subtype
;
1790 start_type
= this_type
= table
+ this_state
;
1791 symbolP
= fragP
->fr_symbol
;
1797 sym_frag
= symbol_get_frag (symbolP
);
1799 #ifndef DIFF_EXPR_OK
1800 know (sym_frag
!= NULL
);
1802 know (S_GET_SEGMENT (symbolP
) != absolute_section
1803 || sym_frag
== &zero_address_frag
);
1804 target
+= S_GET_VALUE (symbolP
);
1806 /* If frag has yet to be reached on this pass,
1807 assume it will move by STRETCH just as we did.
1808 If this is not so, it will be because some frag
1809 between grows, and that will force another pass. */
1812 && sym_frag
->relax_marker
!= fragP
->relax_marker
1813 && S_GET_SEGMENT (symbolP
) == segment
)
1819 aim
= target
- address
- fragP
->fr_fix
;
1820 #ifdef TC_PCREL_ADJUST
1821 /* Currently only the ns32k family needs this. */
1822 aim
+= TC_PCREL_ADJUST (fragP
);
1825 #ifdef md_prepare_relax_scan
1826 /* Formerly called M68K_AIM_KLUDGE. */
1827 md_prepare_relax_scan (fragP
, address
, aim
, this_state
, this_type
);
1832 /* Look backwards. */
1833 for (next_state
= this_type
->rlx_more
; next_state
;)
1834 if (aim
>= this_type
->rlx_backward
)
1838 /* Grow to next state. */
1839 this_state
= next_state
;
1840 this_type
= table
+ this_state
;
1841 next_state
= this_type
->rlx_more
;
1846 /* Look forwards. */
1847 for (next_state
= this_type
->rlx_more
; next_state
;)
1848 if (aim
<= this_type
->rlx_forward
)
1852 /* Grow to next state. */
1853 this_state
= next_state
;
1854 this_type
= table
+ this_state
;
1855 next_state
= this_type
->rlx_more
;
1859 growth
= this_type
->rlx_length
- start_type
->rlx_length
;
1861 fragP
->fr_subtype
= this_state
;
1865 #endif /* defined (TC_GENERIC_RELAX_TABLE) */
1867 /* Relax_align. Advance location counter to next address that has 'alignment'
1868 lowest order bits all 0s, return size of adjustment made. */
1869 static relax_addressT
1870 relax_align (register relax_addressT address
, /* Address now. */
1871 register int alignment
/* Alignment (binary). */)
1873 relax_addressT mask
;
1874 relax_addressT new_address
;
1876 mask
= ~((~0) << alignment
);
1877 new_address
= (address
+ mask
) & (~mask
);
1878 #ifdef LINKER_RELAXING_SHRINKS_ONLY
1880 /* We must provide lots of padding, so the linker can discard it
1881 when needed. The linker will not add extra space, ever. */
1882 new_address
+= (1 << alignment
);
1884 return (new_address
- address
);
1887 /* Now we have a segment, not a crowd of sub-segments, we can make
1892 After this, all frags in this segment have addresses that are correct
1893 within the segment. Since segments live in different file addresses,
1894 these frag addresses may not be the same as final object-file
1898 relax_segment (struct frag
*segment_frag_root
, segT segment
, int pass
)
1900 unsigned long frag_count
;
1902 relax_addressT address
;
1905 /* In case md_estimate_size_before_relax() wants to make fixSs. */
1906 subseg_change (segment
, 0);
1908 /* For each frag in segment: count and store (a 1st guess of)
1911 for (frag_count
= 0, fragP
= segment_frag_root
;
1913 fragP
= fragP
->fr_next
, frag_count
++)
1915 fragP
->relax_marker
= 0;
1916 fragP
->fr_address
= address
;
1917 address
+= fragP
->fr_fix
;
1919 switch (fragP
->fr_type
)
1922 address
+= fragP
->fr_offset
* fragP
->fr_var
;
1929 addressT offset
= relax_align (address
, (int) fragP
->fr_offset
);
1931 if (fragP
->fr_subtype
!= 0 && offset
> fragP
->fr_subtype
)
1934 if (offset
% fragP
->fr_var
!= 0)
1936 as_bad_where (fragP
->fr_file
, fragP
->fr_line
,
1937 _("alignment padding (%lu bytes) not a multiple of %ld"),
1938 (unsigned long) offset
, (long) fragP
->fr_var
);
1939 offset
-= (offset
% fragP
->fr_var
);
1948 /* Assume .org is nugatory. It will grow with 1st relax. */
1951 case rs_machine_dependent
:
1952 /* If fr_symbol is an expression, this call to
1953 resolve_symbol_value sets up the correct segment, which will
1954 likely be needed in md_estimate_size_before_relax. */
1955 if (fragP
->fr_symbol
)
1956 resolve_symbol_value (fragP
->fr_symbol
);
1958 address
+= md_estimate_size_before_relax (fragP
, segment
);
1961 #ifndef WORKING_DOT_WORD
1962 /* Broken words don't concern us yet. */
1963 case rs_broken_word
:
1968 /* Initial guess is always 1; doing otherwise can result in
1969 stable solutions that are larger than the minimum. */
1970 address
+= fragP
->fr_offset
= 1;
1974 address
+= eh_frame_estimate_size_before_relax (fragP
);
1978 address
+= dwarf2dbg_estimate_size_before_relax (fragP
);
1982 BAD_CASE (fragP
->fr_type
);
1989 unsigned long max_iterations
;
1990 offsetT stretch
; /* May be any size, 0 or negative. */
1991 /* Cumulative number of addresses we have relaxed this pass.
1992 We may have relaxed more than one address. */
1993 int stretched
; /* Have we stretched on this pass? */
1994 /* This is 'cuz stretch may be zero, when, in fact some piece of code
1995 grew, and another shrank. If a branch instruction doesn't fit anymore,
1996 we could be scrod. */
1998 /* We want to prevent going into an infinite loop where one frag grows
1999 depending upon the location of a symbol which is in turn moved by
2000 the growing frag. eg:
2006 So we dictate that this algorithm can be at most O2. */
2007 max_iterations
= frag_count
* frag_count
;
2008 /* Check for overflow. */
2009 if (max_iterations
< frag_count
)
2010 max_iterations
= frag_count
;
2018 for (fragP
= segment_frag_root
; fragP
; fragP
= fragP
->fr_next
)
2021 addressT was_address
;
2025 fragP
->relax_marker
^= 1;
2026 was_address
= fragP
->fr_address
;
2027 address
= fragP
->fr_address
+= stretch
;
2028 symbolP
= fragP
->fr_symbol
;
2029 offset
= fragP
->fr_offset
;
2031 switch (fragP
->fr_type
)
2033 case rs_fill
: /* .fill never relaxes. */
2037 #ifndef WORKING_DOT_WORD
2038 /* JF: This is RMS's idea. I do *NOT* want to be blamed
2039 for it I do not want to write it. I do not want to have
2040 anything to do with it. This is not the proper way to
2041 implement this misfeature. */
2042 case rs_broken_word
:
2044 struct broken_word
*lie
;
2045 struct broken_word
*untruth
;
2047 /* Yes this is ugly (storing the broken_word pointer
2048 in the symbol slot). Still, this whole chunk of
2049 code is ugly, and I don't feel like doing anything
2050 about it. Think of it as stubbornness in action. */
2052 for (lie
= (struct broken_word
*) (fragP
->fr_symbol
);
2053 lie
&& lie
->dispfrag
== fragP
;
2054 lie
= lie
->next_broken_word
)
2060 offset
= (S_GET_VALUE (lie
->add
)
2062 - S_GET_VALUE (lie
->sub
));
2063 if (offset
<= -32768 || offset
>= 32767)
2065 if (flag_warn_displacement
)
2068 sprint_value (buf
, (addressT
) lie
->addnum
);
2069 as_warn_where (fragP
->fr_file
, fragP
->fr_line
,
2070 _(".word %s-%s+%s didn't fit"),
2071 S_GET_NAME (lie
->add
),
2072 S_GET_NAME (lie
->sub
),
2076 if (fragP
->fr_subtype
== 0)
2078 fragP
->fr_subtype
++;
2079 growth
+= md_short_jump_size
;
2081 for (untruth
= lie
->next_broken_word
;
2082 untruth
&& untruth
->dispfrag
== lie
->dispfrag
;
2083 untruth
= untruth
->next_broken_word
)
2084 if ((symbol_get_frag (untruth
->add
)
2085 == symbol_get_frag (lie
->add
))
2086 && (S_GET_VALUE (untruth
->add
)
2087 == S_GET_VALUE (lie
->add
)))
2090 untruth
->use_jump
= lie
;
2092 growth
+= md_long_jump_size
;
2097 } /* case rs_broken_word */
2103 addressT oldoff
, newoff
;
2105 oldoff
= relax_align (was_address
+ fragP
->fr_fix
,
2107 newoff
= relax_align (address
+ fragP
->fr_fix
,
2110 if (fragP
->fr_subtype
!= 0)
2112 if (oldoff
> fragP
->fr_subtype
)
2114 if (newoff
> fragP
->fr_subtype
)
2118 growth
= newoff
- oldoff
;
2124 addressT target
= offset
;
2129 /* Convert from an actual address to an octet offset
2130 into the section. Here it is assumed that the
2131 section's VMA is zero, and can omit subtracting it
2132 from the symbol's value to get the address offset. */
2133 know (S_GET_SEGMENT (symbolP
)->vma
== 0);
2134 target
+= S_GET_VALUE (symbolP
) * OCTETS_PER_BYTE
;
2137 know (fragP
->fr_next
);
2138 after
= fragP
->fr_next
->fr_address
;
2139 growth
= target
- after
;
2144 /* Don't error on first few frag relax passes.
2145 The symbol might be an expression involving
2146 symbol values from other sections. If those
2147 sections have not yet been processed their
2148 frags will all have zero addresses, so we
2149 will calculate incorrect values for them. The
2150 number of passes we allow before giving an
2151 error is somewhat arbitrary. It should be at
2152 least one, with larger values requiring
2153 increasingly contrived dependencies between
2154 frags to trigger a false error. */
2157 /* Force another pass. */
2162 /* Growth may be negative, but variable part of frag
2163 cannot have fewer than 0 chars. That is, we can't
2165 as_bad_where (fragP
->fr_file
, fragP
->fr_line
,
2166 _("attempt to move .org backwards"));
2168 /* We've issued an error message. Change the
2169 frag to avoid cascading errors. */
2170 fragP
->fr_type
= rs_align
;
2171 fragP
->fr_subtype
= 0;
2172 fragP
->fr_offset
= 0;
2173 fragP
->fr_fix
= after
- was_address
;
2177 /* This is an absolute growth factor */
2188 amount
= S_GET_VALUE (symbolP
);
2189 if (S_GET_SEGMENT (symbolP
) != absolute_section
2190 || S_IS_COMMON (symbolP
)
2191 || ! S_IS_DEFINED (symbolP
))
2193 as_bad_where (fragP
->fr_file
, fragP
->fr_line
,
2194 _(".space specifies non-absolute value"));
2195 /* Prevent repeat of this error message. */
2196 fragP
->fr_symbol
= 0;
2198 else if (amount
< 0)
2200 /* Don't error on first few frag relax passes.
2201 See rs_org comment for a longer explanation. */
2208 as_warn_where (fragP
->fr_file
, fragP
->fr_line
,
2209 _(".space or .fill with negative value, ignored"));
2210 fragP
->fr_symbol
= 0;
2213 growth
= (was_address
+ fragP
->fr_fix
+ amount
2214 - fragP
->fr_next
->fr_address
);
2218 case rs_machine_dependent
:
2219 #ifdef md_relax_frag
2220 growth
= md_relax_frag (segment
, fragP
, stretch
);
2222 #ifdef TC_GENERIC_RELAX_TABLE
2223 /* The default way to relax a frag is to look through
2224 TC_GENERIC_RELAX_TABLE. */
2225 growth
= relax_frag (segment
, fragP
, stretch
);
2226 #endif /* TC_GENERIC_RELAX_TABLE */
2235 value
= resolve_symbol_value (fragP
->fr_symbol
);
2236 size
= sizeof_leb128 (value
, fragP
->fr_subtype
);
2237 growth
= size
- fragP
->fr_offset
;
2238 fragP
->fr_offset
= size
;
2243 growth
= eh_frame_relax_frag (fragP
);
2247 growth
= dwarf2dbg_relax_frag (fragP
);
2251 BAD_CASE (fragP
->fr_type
);
2261 /* Until nothing further to relax. */
2262 while (stretched
&& -- max_iterations
);
2265 as_fatal (_("Infinite loop encountered whilst attempting to compute the addresses of symbols in section %s"),
2266 segment_name (segment
));
2269 for (fragP
= segment_frag_root
; fragP
; fragP
= fragP
->fr_next
)
2270 if (fragP
->last_fr_address
!= fragP
->fr_address
)
2272 fragP
->last_fr_address
= fragP
->fr_address
;
2279 number_to_chars_bigendian (char *buf
, valueT val
, int n
)
2285 buf
[n
] = val
& 0xff;
2291 number_to_chars_littleendian (char *buf
, valueT val
, int n
)
2297 *buf
++ = val
& 0xff;
2303 write_print_statistics (FILE *file
)
2305 fprintf (file
, "fixups: %d\n", n_fixups
);
2308 /* For debugging. */
2309 extern int indent_level
;
2312 print_fixup (fixS
*fixp
)
2315 fprintf (stderr
, "fix %lx %s:%d", (long) fixp
, fixp
->fx_file
, fixp
->fx_line
);
2317 fprintf (stderr
, " pcrel");
2318 if (fixp
->fx_pcrel_adjust
)
2319 fprintf (stderr
, " pcrel_adjust=%d", fixp
->fx_pcrel_adjust
);
2320 if (fixp
->fx_im_disp
)
2323 fprintf (stderr
, " im_disp=%d", fixp
->fx_im_disp
);
2325 fprintf (stderr
, " im_disp");
2329 fprintf (stderr
, " tcbit");
2331 fprintf (stderr
, " done");
2332 fprintf (stderr
, "\n size=%d frag=%lx where=%ld offset=%lx addnumber=%lx",
2333 fixp
->fx_size
, (long) fixp
->fx_frag
, (long) fixp
->fx_where
,
2334 (long) fixp
->fx_offset
, (long) fixp
->fx_addnumber
);
2335 fprintf (stderr
, "\n %s (%d)", bfd_get_reloc_code_name (fixp
->fx_r_type
),
2339 fprintf (stderr
, "\n +<");
2340 print_symbol_value_1 (stderr
, fixp
->fx_addsy
);
2341 fprintf (stderr
, ">");
2345 fprintf (stderr
, "\n -<");
2346 print_symbol_value_1 (stderr
, fixp
->fx_subsy
);
2347 fprintf (stderr
, ">");
2349 fprintf (stderr
, "\n");
2350 #ifdef TC_FIX_DATA_PRINT
2351 TC_FIX_DATA_PRINT (stderr
, fixp
);