* write.h (struct fix <fx_pcrel_adjust, fx_size>): Move.
[binutils.git] / gas / write.c
blob62df35c776708d545fbdbc8f67916c1362b2bc57
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)
11 any later version.
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 02110-1301, USA. */
23 /* This thing should be set up to do byteordering correctly. But... */
25 #include "as.h"
26 #include "subsegs.h"
27 #include "obstack.h"
28 #include "output-file.h"
29 #include "dwarf2dbg.h"
31 #ifndef TC_ADJUST_RELOC_COUNT
32 #define TC_ADJUST_RELOC_COUNT(FIX, COUNT)
33 #endif
35 #ifndef TC_FORCE_RELOCATION
36 #define TC_FORCE_RELOCATION(FIX) \
37 (generic_force_reloc (FIX))
38 #endif
40 #ifndef TC_FORCE_RELOCATION_ABS
41 #define TC_FORCE_RELOCATION_ABS(FIX) \
42 (TC_FORCE_RELOCATION (FIX))
43 #endif
45 #ifndef TC_FORCE_RELOCATION_LOCAL
46 #define TC_FORCE_RELOCATION_LOCAL(FIX) \
47 (!(FIX)->fx_pcrel \
48 || TC_FORCE_RELOCATION (FIX))
49 #endif
51 #ifndef TC_FORCE_RELOCATION_SUB_SAME
52 #define TC_FORCE_RELOCATION_SUB_SAME(FIX, SEG) \
53 (! SEG_NORMAL (SEG))
54 #endif
56 #ifndef TC_FORCE_RELOCATION_SUB_ABS
57 #define TC_FORCE_RELOCATION_SUB_ABS(FIX) 0
58 #endif
60 #ifndef TC_FORCE_RELOCATION_SUB_LOCAL
61 #ifdef DIFF_EXPR_OK
62 #define TC_FORCE_RELOCATION_SUB_LOCAL(FIX) 0
63 #else
64 #define TC_FORCE_RELOCATION_SUB_LOCAL(FIX) 1
65 #endif
66 #endif
68 #ifndef TC_VALIDATE_FIX_SUB
69 #ifdef UNDEFINED_DIFFERENCE_OK
70 /* The PA needs this for PIC code generation. */
71 #define TC_VALIDATE_FIX_SUB(FIX) 1
72 #else
73 #define TC_VALIDATE_FIX_SUB(FIX) \
74 ((FIX)->fx_r_type == BFD_RELOC_GPREL32 \
75 || (FIX)->fx_r_type == BFD_RELOC_GPREL16)
76 #endif
77 #endif
79 #ifndef TC_LINKRELAX_FIXUP
80 #define TC_LINKRELAX_FIXUP(SEG) 1
81 #endif
83 #ifndef MD_APPLY_SYM_VALUE
84 #define MD_APPLY_SYM_VALUE(FIX) 1
85 #endif
87 #ifndef TC_FINALIZE_SYMS_BEFORE_SIZE_SEG
88 #define TC_FINALIZE_SYMS_BEFORE_SIZE_SEG 1
89 #endif
91 #ifndef MD_PCREL_FROM_SECTION
92 #define MD_PCREL_FROM_SECTION(FIX, SEC) md_pcrel_from (FIX)
93 #endif
95 #ifndef TC_FAKE_LABEL
96 #define TC_FAKE_LABEL(NAME) (strcmp ((NAME), FAKE_LABEL_NAME) == 0)
97 #endif
99 /* Used to control final evaluation of expressions. */
100 int finalize_syms = 0;
102 int symbol_table_frozen;
104 symbolS *abs_section_sym;
106 /* Remember the value of dot when parsing expressions. */
107 addressT dot_value;
109 void print_fixup (fixS *);
111 static void renumber_sections (bfd *, asection *, PTR);
113 /* We generally attach relocs to frag chains. However, after we have
114 chained these all together into a segment, any relocs we add after
115 that must be attached to a segment. This will include relocs added
116 in md_estimate_size_for_relax, for example. */
117 static int frags_chained = 0;
119 static int n_fixups;
121 #define RELOC_ENUM enum bfd_reloc_code_real
123 static fixS *fix_new_internal (fragS *, int where, int size,
124 symbolS *add, symbolS *sub,
125 offsetT offset, int pcrel,
126 RELOC_ENUM r_type);
127 static long fixup_segment (fixS *, segT);
128 static relax_addressT relax_align (relax_addressT addr, int align);
129 static fragS *chain_frchains_together_1 (segT, struct frchain *);
130 static void chain_frchains_together (bfd *, segT, PTR);
131 static void cvt_frag_to_fill (segT, fragS *);
132 static void adjust_reloc_syms (bfd *, asection *, PTR);
133 static void fix_segment (bfd *, asection *, PTR);
134 static void write_relocs (bfd *, asection *, PTR);
135 static void write_contents (bfd *, asection *, PTR);
136 static void set_symtab (void);
137 static void merge_data_into_text (void);
139 /* Create a fixS in obstack 'notes'. */
141 static fixS *
142 fix_new_internal (fragS *frag, /* Which frag? */
143 int where, /* Where in that frag? */
144 int size, /* 1, 2, or 4 usually. */
145 symbolS *add_symbol, /* X_add_symbol. */
146 symbolS *sub_symbol, /* X_op_symbol. */
147 offsetT offset, /* X_add_number. */
148 int pcrel, /* TRUE if PC-relative relocation. */
149 RELOC_ENUM r_type ATTRIBUTE_UNUSED /* Relocation type. */)
151 fixS *fixP;
153 n_fixups++;
155 fixP = (fixS *) obstack_alloc (&notes, sizeof (fixS));
157 fixP->fx_frag = frag;
158 fixP->fx_where = where;
159 fixP->fx_size = size;
160 /* We've made fx_size a narrow field; check that it's wide enough. */
161 if (fixP->fx_size != size)
163 as_bad (_("field fx_size too small to hold %d"), size);
164 abort ();
166 fixP->fx_addsy = add_symbol;
167 fixP->fx_subsy = sub_symbol;
168 fixP->fx_offset = offset;
169 fixP->fx_dot_value = dot_value;
170 fixP->fx_pcrel = pcrel;
171 fixP->fx_r_type = r_type;
172 fixP->fx_im_disp = 0;
173 fixP->fx_pcrel_adjust = 0;
174 fixP->fx_bit_fixP = 0;
175 fixP->fx_addnumber = 0;
176 fixP->fx_tcbit = 0;
177 fixP->fx_tcbit2 = 0;
178 fixP->fx_done = 0;
179 fixP->fx_no_overflow = 0;
180 fixP->fx_signed = 0;
182 #ifdef USING_CGEN
183 fixP->fx_cgen.insn = NULL;
184 fixP->fx_cgen.opinfo = 0;
185 #endif
187 #ifdef TC_FIX_TYPE
188 TC_INIT_FIX_DATA (fixP);
189 #endif
191 as_where (&fixP->fx_file, &fixP->fx_line);
193 /* Usually, we want relocs sorted numerically, but while
194 comparing to older versions of gas that have relocs
195 reverse sorted, it is convenient to have this compile
196 time option. xoxorich. */
199 fixS **seg_fix_rootP = (frags_chained
200 ? &seg_info (now_seg)->fix_root
201 : &frchain_now->fix_root);
202 fixS **seg_fix_tailP = (frags_chained
203 ? &seg_info (now_seg)->fix_tail
204 : &frchain_now->fix_tail);
206 #ifdef REVERSE_SORT_RELOCS
208 fixP->fx_next = *seg_fix_rootP;
209 *seg_fix_rootP = fixP;
211 #else /* REVERSE_SORT_RELOCS */
213 fixP->fx_next = NULL;
215 if (*seg_fix_tailP)
216 (*seg_fix_tailP)->fx_next = fixP;
217 else
218 *seg_fix_rootP = fixP;
219 *seg_fix_tailP = fixP;
221 #endif /* REVERSE_SORT_RELOCS */
224 return fixP;
227 /* Create a fixup relative to a symbol (plus a constant). */
229 fixS *
230 fix_new (fragS *frag, /* Which frag? */
231 int where, /* Where in that frag? */
232 int size, /* 1, 2, or 4 usually. */
233 symbolS *add_symbol, /* X_add_symbol. */
234 offsetT offset, /* X_add_number. */
235 int pcrel, /* TRUE if PC-relative relocation. */
236 RELOC_ENUM r_type /* Relocation type. */)
238 return fix_new_internal (frag, where, size, add_symbol,
239 (symbolS *) NULL, offset, pcrel, r_type);
242 /* Create a fixup for an expression. Currently we only support fixups
243 for difference expressions. That is itself more than most object
244 file formats support anyhow. */
246 fixS *
247 fix_new_exp (fragS *frag, /* Which frag? */
248 int where, /* Where in that frag? */
249 int size, /* 1, 2, or 4 usually. */
250 expressionS *exp, /* Expression. */
251 int pcrel, /* TRUE if PC-relative relocation. */
252 RELOC_ENUM r_type /* Relocation type. */)
254 symbolS *add = NULL;
255 symbolS *sub = NULL;
256 offsetT off = 0;
258 switch (exp->X_op)
260 case O_absent:
261 break;
263 case O_register:
264 as_bad (_("register value used as expression"));
265 break;
267 case O_add:
268 /* This comes up when _GLOBAL_OFFSET_TABLE_+(.-L0) is read, if
269 the difference expression cannot immediately be reduced. */
271 symbolS *stmp = make_expr_symbol (exp);
273 exp->X_op = O_symbol;
274 exp->X_op_symbol = 0;
275 exp->X_add_symbol = stmp;
276 exp->X_add_number = 0;
278 return fix_new_exp (frag, where, size, exp, pcrel, r_type);
281 case O_symbol_rva:
282 add = exp->X_add_symbol;
283 off = exp->X_add_number;
284 r_type = BFD_RELOC_RVA;
285 break;
287 case O_uminus:
288 sub = exp->X_add_symbol;
289 off = exp->X_add_number;
290 break;
292 case O_subtract:
293 sub = exp->X_op_symbol;
294 /* Fall through. */
295 case O_symbol:
296 add = exp->X_add_symbol;
297 /* Fall through. */
298 case O_constant:
299 off = exp->X_add_number;
300 break;
302 default:
303 add = make_expr_symbol (exp);
304 break;
307 return fix_new_internal (frag, where, size, add, sub, off, pcrel, r_type);
310 /* Generic function to determine whether a fixup requires a relocation. */
312 generic_force_reloc (fixS *fix)
314 if (fix->fx_r_type == BFD_RELOC_VTABLE_INHERIT
315 || fix->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
316 return 1;
318 if (fix->fx_addsy == NULL)
319 return 0;
321 return S_FORCE_RELOC (fix->fx_addsy, fix->fx_subsy == NULL);
324 /* Append a string onto another string, bumping the pointer along. */
325 void
326 append (char **charPP, char *fromP, unsigned long length)
328 /* Don't trust memcpy() of 0 chars. */
329 if (length == 0)
330 return;
332 memcpy (*charPP, fromP, length);
333 *charPP += length;
336 /* This routine records the largest alignment seen for each segment.
337 If the beginning of the segment is aligned on the worst-case
338 boundary, all of the other alignments within it will work. At
339 least one object format really uses this info. */
341 void
342 record_alignment (/* Segment to which alignment pertains. */
343 segT seg,
344 /* Alignment, as a power of 2 (e.g., 1 => 2-byte
345 boundary, 2 => 4-byte boundary, etc.) */
346 int align)
348 if (seg == absolute_section)
349 return;
351 if ((unsigned int) align > bfd_get_section_alignment (stdoutput, seg))
352 bfd_set_section_alignment (stdoutput, seg, align);
356 get_recorded_alignment (segT seg)
358 if (seg == absolute_section)
359 return 0;
361 return bfd_get_section_alignment (stdoutput, seg);
364 /* Reset the section indices after removing the gas created sections. */
366 static void
367 renumber_sections (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, PTR countparg)
369 int *countp = (int *) countparg;
371 sec->index = *countp;
372 ++*countp;
375 static fragS *
376 chain_frchains_together_1 (segT section, struct frchain *frchp)
378 fragS dummy, *prev_frag = &dummy;
379 fixS fix_dummy, *prev_fix = &fix_dummy;
381 for (; frchp; frchp = frchp->frch_next)
383 prev_frag->fr_next = frchp->frch_root;
384 prev_frag = frchp->frch_last;
385 assert (prev_frag->fr_type != 0);
386 if (frchp->fix_root != (fixS *) NULL)
388 if (seg_info (section)->fix_root == (fixS *) NULL)
389 seg_info (section)->fix_root = frchp->fix_root;
390 prev_fix->fx_next = frchp->fix_root;
391 seg_info (section)->fix_tail = frchp->fix_tail;
392 prev_fix = frchp->fix_tail;
395 assert (prev_frag->fr_type != 0);
396 assert (prev_frag != &dummy);
397 prev_frag->fr_next = 0;
398 return prev_frag;
401 static void
402 chain_frchains_together (bfd *abfd ATTRIBUTE_UNUSED,
403 segT section,
404 PTR xxx ATTRIBUTE_UNUSED)
406 segment_info_type *info;
408 /* BFD may have introduced its own sections without using
409 subseg_new, so it is possible that seg_info is NULL. */
410 info = seg_info (section);
411 if (info != (segment_info_type *) NULL)
412 info->frchainP->frch_last
413 = chain_frchains_together_1 (section, info->frchainP);
415 /* Now that we've chained the frags together, we must add new fixups
416 to the segment, not to the frag chain. */
417 frags_chained = 1;
420 static void
421 cvt_frag_to_fill (segT sec ATTRIBUTE_UNUSED, fragS *fragP)
423 switch (fragP->fr_type)
425 case rs_align:
426 case rs_align_code:
427 case rs_align_test:
428 case rs_org:
429 case rs_space:
430 #ifdef HANDLE_ALIGN
431 HANDLE_ALIGN (fragP);
432 #endif
433 know (fragP->fr_next != NULL);
434 fragP->fr_offset = (fragP->fr_next->fr_address
435 - fragP->fr_address
436 - fragP->fr_fix) / fragP->fr_var;
437 if (fragP->fr_offset < 0)
439 as_bad_where (fragP->fr_file, fragP->fr_line,
440 _("attempt to .org/.space backwards? (%ld)"),
441 (long) fragP->fr_offset);
442 fragP->fr_offset = 0;
444 fragP->fr_type = rs_fill;
445 break;
447 case rs_fill:
448 break;
450 case rs_leb128:
452 valueT value = S_GET_VALUE (fragP->fr_symbol);
453 int size;
455 size = output_leb128 (fragP->fr_literal + fragP->fr_fix, value,
456 fragP->fr_subtype);
458 fragP->fr_fix += size;
459 fragP->fr_type = rs_fill;
460 fragP->fr_var = 0;
461 fragP->fr_offset = 0;
462 fragP->fr_symbol = NULL;
464 break;
466 case rs_cfa:
467 eh_frame_convert_frag (fragP);
468 break;
470 case rs_dwarf2dbg:
471 dwarf2dbg_convert_frag (fragP);
472 break;
474 case rs_machine_dependent:
475 md_convert_frag (stdoutput, sec, fragP);
477 assert (fragP->fr_next == NULL
478 || ((offsetT) (fragP->fr_next->fr_address - fragP->fr_address)
479 == fragP->fr_fix));
481 /* After md_convert_frag, we make the frag into a ".space 0".
482 md_convert_frag() should set up any fixSs and constants
483 required. */
484 frag_wane (fragP);
485 break;
487 #ifndef WORKING_DOT_WORD
488 case rs_broken_word:
490 struct broken_word *lie;
492 if (fragP->fr_subtype)
494 fragP->fr_fix += md_short_jump_size;
495 for (lie = (struct broken_word *) (fragP->fr_symbol);
496 lie && lie->dispfrag == fragP;
497 lie = lie->next_broken_word)
498 if (lie->added == 1)
499 fragP->fr_fix += md_long_jump_size;
501 frag_wane (fragP);
503 break;
504 #endif
506 default:
507 BAD_CASE (fragP->fr_type);
508 break;
510 #ifdef md_frag_check
511 md_frag_check (fragP);
512 #endif
515 struct relax_seg_info
517 int pass;
518 int changed;
521 static void
522 relax_seg (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *xxx)
524 segment_info_type *seginfo = seg_info (sec);
525 struct relax_seg_info *info = (struct relax_seg_info *) xxx;
527 if (seginfo && seginfo->frchainP
528 && relax_segment (seginfo->frchainP->frch_root, sec, info->pass))
529 info->changed = 1;
532 static void size_seg (bfd *, asection *, PTR);
534 static void
535 size_seg (bfd *abfd, asection *sec, PTR xxx ATTRIBUTE_UNUSED)
537 flagword flags;
538 fragS *fragp;
539 segment_info_type *seginfo;
540 int x;
541 valueT size, newsize;
543 subseg_change (sec, 0);
545 seginfo = seg_info (sec);
546 if (seginfo && seginfo->frchainP)
548 for (fragp = seginfo->frchainP->frch_root; fragp; fragp = fragp->fr_next)
549 cvt_frag_to_fill (sec, fragp);
550 for (fragp = seginfo->frchainP->frch_root;
551 fragp->fr_next;
552 fragp = fragp->fr_next)
553 /* Walk to last elt. */
555 size = fragp->fr_address + fragp->fr_fix;
557 else
558 size = 0;
560 flags = bfd_get_section_flags (abfd, sec);
562 if (size > 0 && ! seginfo->bss)
563 flags |= SEC_HAS_CONTENTS;
565 /* @@ This is just an approximation. */
566 if (seginfo && seginfo->fix_root)
567 flags |= SEC_RELOC;
568 else
569 flags &= ~SEC_RELOC;
570 x = bfd_set_section_flags (abfd, sec, flags);
571 assert (x);
573 newsize = md_section_align (sec, size);
574 x = bfd_set_section_size (abfd, sec, newsize);
575 assert (x);
577 /* If the size had to be rounded up, add some padding in the last
578 non-empty frag. */
579 assert (newsize >= size);
580 if (size != newsize)
582 fragS *last = seginfo->frchainP->frch_last;
583 fragp = seginfo->frchainP->frch_root;
584 while (fragp->fr_next != last)
585 fragp = fragp->fr_next;
586 last->fr_address = size;
587 if ((newsize - size) % fragp->fr_var == 0)
588 fragp->fr_offset += (newsize - size) / fragp->fr_var;
589 else
590 /* If we hit this abort, it's likely due to subsegs_finish not
591 providing sufficient alignment on the last frag, and the
592 machine dependent code using alignment frags with fr_var
593 greater than 1. */
594 abort ();
597 #ifdef tc_frob_section
598 tc_frob_section (sec);
599 #endif
600 #ifdef obj_frob_section
601 obj_frob_section (sec);
602 #endif
605 #ifdef DEBUG2
606 static void
607 dump_section_relocs (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, FILE *stream)
609 segment_info_type *seginfo = seg_info (sec);
610 fixS *fixp = seginfo->fix_root;
612 if (!fixp)
613 return;
615 fprintf (stream, "sec %s relocs:\n", sec->name);
616 while (fixp)
618 symbolS *s = fixp->fx_addsy;
620 fprintf (stream, " %08lx: type %d ", (unsigned long) fixp,
621 (int) fixp->fx_r_type);
622 if (s == NULL)
623 fprintf (stream, "no sym\n");
624 else
626 print_symbol_value_1 (stream, s);
627 fprintf (stream, "\n");
629 fixp = fixp->fx_next;
632 #else
633 #define dump_section_relocs(ABFD,SEC,STREAM) ((void) 0)
634 #endif
636 #ifndef EMIT_SECTION_SYMBOLS
637 #define EMIT_SECTION_SYMBOLS 1
638 #endif
640 /* This pass over fixups decides whether symbols can be replaced with
641 section symbols. */
643 static void
644 adjust_reloc_syms (bfd *abfd ATTRIBUTE_UNUSED,
645 asection *sec,
646 PTR xxx ATTRIBUTE_UNUSED)
648 segment_info_type *seginfo = seg_info (sec);
649 fixS *fixp;
651 if (seginfo == NULL)
652 return;
654 dump_section_relocs (abfd, sec, stderr);
656 for (fixp = seginfo->fix_root; fixp; fixp = fixp->fx_next)
657 if (fixp->fx_done)
658 /* Ignore it. */
660 else if (fixp->fx_addsy)
662 symbolS *sym;
663 asection *symsec;
665 #ifdef DEBUG5
666 fprintf (stderr, "\n\nadjusting fixup:\n");
667 print_fixup (fixp);
668 #endif
670 sym = fixp->fx_addsy;
672 /* All symbols should have already been resolved at this
673 point. It is possible to see unresolved expression
674 symbols, though, since they are not in the regular symbol
675 table. */
676 resolve_symbol_value (sym);
678 if (fixp->fx_subsy != NULL)
679 resolve_symbol_value (fixp->fx_subsy);
681 /* If this symbol is equated to an undefined or common symbol,
682 convert the fixup to being against that symbol. */
683 if (symbol_equated_reloc_p (sym)
684 || S_IS_WEAKREFR (sym))
686 fixp->fx_offset += symbol_get_value_expression (sym)->X_add_number;
687 sym = symbol_get_value_expression (sym)->X_add_symbol;
688 fixp->fx_addsy = sym;
691 if (symbol_mri_common_p (sym))
693 /* These symbols are handled specially in fixup_segment. */
694 continue;
697 /* If the symbol is undefined, common, weak, or global (ELF
698 shared libs), we can't replace it with the section symbol. */
699 if (S_FORCE_RELOC (fixp->fx_addsy, 1))
700 continue;
702 /* Is there some other (target cpu dependent) reason we can't adjust
703 this one? (E.g. relocations involving function addresses on
704 the PA. */
705 #ifdef tc_fix_adjustable
706 if (! tc_fix_adjustable (fixp))
707 continue;
708 #endif
710 /* Since we're reducing to section symbols, don't attempt to reduce
711 anything that's already using one. */
712 if (symbol_section_p (sym))
713 continue;
715 symsec = S_GET_SEGMENT (sym);
716 if (symsec == NULL)
717 abort ();
719 if (bfd_is_abs_section (symsec))
721 /* The fixup_segment routine normally will not use this
722 symbol in a relocation. */
723 continue;
726 /* Don't try to reduce relocs which refer to non-local symbols
727 in .linkonce sections. It can lead to confusion when a
728 debugging section refers to a .linkonce section. I hope
729 this will always be correct. */
730 if (symsec != sec && ! S_IS_LOCAL (sym))
732 if ((symsec->flags & SEC_LINK_ONCE) != 0
733 || (IS_ELF
734 /* The GNU toolchain uses an extension for ELF: a
735 section beginning with the magic string
736 .gnu.linkonce is a linkonce section. */
737 && strncmp (segment_name (symsec), ".gnu.linkonce",
738 sizeof ".gnu.linkonce" - 1) == 0))
739 continue;
742 /* Never adjust a reloc against local symbol in a merge section
743 with non-zero addend. */
744 if ((symsec->flags & SEC_MERGE) != 0
745 && (fixp->fx_offset != 0 || fixp->fx_subsy != NULL))
746 continue;
748 /* Never adjust a reloc against TLS local symbol. */
749 if ((symsec->flags & SEC_THREAD_LOCAL) != 0)
750 continue;
752 /* We refetch the segment when calling section_symbol, rather
753 than using symsec, because S_GET_VALUE may wind up changing
754 the section when it calls resolve_symbol_value. */
755 fixp->fx_offset += S_GET_VALUE (sym);
756 fixp->fx_addsy = section_symbol (S_GET_SEGMENT (sym));
757 #ifdef DEBUG5
758 fprintf (stderr, "\nadjusted fixup:\n");
759 print_fixup (fixp);
760 #endif
763 dump_section_relocs (abfd, sec, stderr);
766 static void
767 fix_segment (bfd *abfd ATTRIBUTE_UNUSED,
768 asection *sec,
769 PTR xxx ATTRIBUTE_UNUSED)
771 segment_info_type *seginfo = seg_info (sec);
773 fixup_segment (seginfo->fix_root, sec);
776 static void
777 write_relocs (bfd *abfd, asection *sec, PTR xxx ATTRIBUTE_UNUSED)
779 segment_info_type *seginfo = seg_info (sec);
780 unsigned int i;
781 unsigned int n;
782 arelent **relocs;
783 fixS *fixp;
784 char *err;
786 /* If seginfo is NULL, we did not create this section; don't do
787 anything with it. */
788 if (seginfo == NULL)
789 return;
791 n = 0;
792 for (fixp = seginfo->fix_root; fixp; fixp = fixp->fx_next)
793 n++;
795 #ifndef RELOC_EXPANSION_POSSIBLE
796 /* Set up reloc information as well. */
797 relocs = (arelent **) xcalloc (n, sizeof (arelent *));
799 i = 0;
800 for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
802 arelent *reloc;
803 bfd_reloc_status_type s;
804 symbolS *sym;
806 if (fixp->fx_done)
808 n--;
809 continue;
812 /* If this is an undefined symbol which was equated to another
813 symbol, then generate the reloc against the latter symbol
814 rather than the former. */
815 sym = fixp->fx_addsy;
816 while (symbol_equated_reloc_p (sym))
818 symbolS *n;
820 /* We must avoid looping, as that can occur with a badly
821 written program. */
822 n = symbol_get_value_expression (sym)->X_add_symbol;
823 if (n == sym)
824 break;
825 fixp->fx_offset += symbol_get_value_expression (sym)->X_add_number;
826 sym = n;
828 fixp->fx_addsy = sym;
830 reloc = tc_gen_reloc (sec, fixp);
831 if (!reloc)
833 n--;
834 continue;
838 This test is triggered inappropriately for the SH:
839 if (fixp->fx_where + fixp->fx_size
840 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
841 abort ();
844 s = bfd_install_relocation (stdoutput, reloc,
845 fixp->fx_frag->fr_literal,
846 fixp->fx_frag->fr_address,
847 sec, &err);
848 switch (s)
850 case bfd_reloc_ok:
851 break;
852 case bfd_reloc_overflow:
853 as_bad_where (fixp->fx_file, fixp->fx_line,
854 _("relocation overflow"));
855 break;
856 case bfd_reloc_outofrange:
857 as_bad_where (fixp->fx_file, fixp->fx_line,
858 _("relocation out of range"));
859 break;
860 default:
861 as_fatal (_("%s:%u: bad return from bfd_install_relocation: %x"),
862 fixp->fx_file, fixp->fx_line, s);
864 relocs[i++] = reloc;
866 #else
867 n = n * MAX_RELOC_EXPANSION;
868 /* Set up reloc information as well. */
869 relocs = (arelent **) xcalloc (n, sizeof (arelent *));
871 i = 0;
872 for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
874 arelent **reloc;
875 bfd_reloc_status_type s;
876 symbolS *sym;
877 int j;
879 if (fixp->fx_done)
881 n--;
882 continue;
885 /* If this is an undefined symbol which was equated to another
886 symbol, then generate the reloc against the latter symbol
887 rather than the former. */
888 sym = fixp->fx_addsy;
889 while (symbol_equated_reloc_p (sym))
891 symbolS *n;
893 /* We must avoid looping, as that can occur with a badly
894 written program. */
895 n = symbol_get_value_expression (sym)->X_add_symbol;
896 if (n == sym)
897 break;
898 fixp->fx_offset += symbol_get_value_expression (sym)->X_add_number;
899 sym = n;
901 fixp->fx_addsy = sym;
903 reloc = tc_gen_reloc (sec, fixp);
905 for (j = 0; reloc[j]; j++)
907 relocs[i++] = reloc[j];
908 assert (i <= n);
910 if (fixp->fx_where + fixp->fx_size
911 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
912 as_bad_where (fixp->fx_file, fixp->fx_line,
913 _("internal error: fixup not contained within frag"));
914 for (j = 0; reloc[j]; j++)
916 s = bfd_install_relocation (stdoutput, reloc[j],
917 fixp->fx_frag->fr_literal,
918 fixp->fx_frag->fr_address,
919 sec, &err);
920 switch (s)
922 case bfd_reloc_ok:
923 break;
924 case bfd_reloc_overflow:
925 as_bad_where (fixp->fx_file, fixp->fx_line,
926 _("relocation overflow"));
927 break;
928 case bfd_reloc_outofrange:
929 as_bad_where (fixp->fx_file, fixp->fx_line,
930 _("relocation out of range"));
931 break;
932 default:
933 as_fatal (_("%s:%u: bad return from bfd_install_relocation: %x"),
934 fixp->fx_file, fixp->fx_line, s);
938 n = i;
939 #endif
941 #ifdef DEBUG4
943 unsigned int i, j, nsyms;
944 asymbol **sympp;
945 sympp = bfd_get_outsymbols (stdoutput);
946 nsyms = bfd_get_symcount (stdoutput);
947 for (i = 0; i < n; i++)
948 if (((*relocs[i]->sym_ptr_ptr)->flags & BSF_SECTION_SYM) == 0)
950 for (j = 0; j < nsyms; j++)
951 if (sympp[j] == *relocs[i]->sym_ptr_ptr)
952 break;
953 if (j == nsyms)
954 abort ();
957 #endif
959 if (n)
960 bfd_set_reloc (stdoutput, sec, relocs, n);
961 else
962 bfd_set_section_flags (abfd, sec,
963 (bfd_get_section_flags (abfd, sec)
964 & (flagword) ~SEC_RELOC));
966 #ifdef SET_SECTION_RELOCS
967 SET_SECTION_RELOCS (sec, relocs, n);
968 #endif
970 #ifdef DEBUG3
972 unsigned int i;
973 arelent *r;
974 asymbol *s;
975 fprintf (stderr, "relocs for sec %s\n", sec->name);
976 for (i = 0; i < n; i++)
978 r = relocs[i];
979 s = *r->sym_ptr_ptr;
980 fprintf (stderr, " reloc %2d @%p off %4lx : sym %-10s addend %lx\n",
981 i, r, (unsigned long)r->address, s->name, (unsigned long)r->addend);
984 #endif
987 static void
988 write_contents (bfd *abfd ATTRIBUTE_UNUSED,
989 asection *sec,
990 PTR xxx ATTRIBUTE_UNUSED)
992 segment_info_type *seginfo = seg_info (sec);
993 addressT offset = 0;
994 fragS *f;
996 /* Write out the frags. */
997 if (seginfo == NULL
998 || !(bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS))
999 return;
1001 for (f = seginfo->frchainP->frch_root;
1003 f = f->fr_next)
1005 int x;
1006 addressT fill_size;
1007 char *fill_literal;
1008 offsetT count;
1010 assert (f->fr_type == rs_fill);
1011 if (f->fr_fix)
1013 x = bfd_set_section_contents (stdoutput, sec,
1014 f->fr_literal, (file_ptr) offset,
1015 (bfd_size_type) f->fr_fix);
1016 if (!x)
1017 as_fatal (_("can't write %s: %s"), stdoutput->filename,
1018 bfd_errmsg (bfd_get_error ()));
1019 offset += f->fr_fix;
1021 fill_literal = f->fr_literal + f->fr_fix;
1022 fill_size = f->fr_var;
1023 count = f->fr_offset;
1024 assert (count >= 0);
1025 if (fill_size && count)
1027 char buf[256];
1028 if (fill_size > sizeof (buf))
1030 /* Do it the old way. Can this ever happen? */
1031 while (count--)
1033 x = bfd_set_section_contents (stdoutput, sec,
1034 fill_literal,
1035 (file_ptr) offset,
1036 (bfd_size_type) fill_size);
1037 if (!x)
1038 as_fatal (_("can't write %s: %s"), stdoutput->filename,
1039 bfd_errmsg (bfd_get_error ()));
1040 offset += fill_size;
1043 else
1045 /* Build a buffer full of fill objects and output it as
1046 often as necessary. This saves on the overhead of
1047 potentially lots of bfd_set_section_contents calls. */
1048 int n_per_buf, i;
1049 if (fill_size == 1)
1051 n_per_buf = sizeof (buf);
1052 memset (buf, *fill_literal, n_per_buf);
1054 else
1056 char *bufp;
1057 n_per_buf = sizeof (buf) / fill_size;
1058 for (i = n_per_buf, bufp = buf; i; i--, bufp += fill_size)
1059 memcpy (bufp, fill_literal, fill_size);
1061 for (; count > 0; count -= n_per_buf)
1063 n_per_buf = n_per_buf > count ? count : n_per_buf;
1064 x = bfd_set_section_contents
1065 (stdoutput, sec, buf, (file_ptr) offset,
1066 (bfd_size_type) n_per_buf * fill_size);
1067 if (!x)
1068 as_fatal (_("cannot write to output file"));
1069 offset += n_per_buf * fill_size;
1076 static void
1077 merge_data_into_text (void)
1079 seg_info (text_section)->frchainP->frch_last->fr_next =
1080 seg_info (data_section)->frchainP->frch_root;
1081 seg_info (text_section)->frchainP->frch_last =
1082 seg_info (data_section)->frchainP->frch_last;
1083 seg_info (data_section)->frchainP = 0;
1086 static void
1087 set_symtab (void)
1089 int nsyms;
1090 asymbol **asympp;
1091 symbolS *symp;
1092 bfd_boolean result;
1093 extern PTR bfd_alloc (bfd *, bfd_size_type);
1095 /* Count symbols. We can't rely on a count made by the loop in
1096 write_object_file, because *_frob_file may add a new symbol or
1097 two. */
1098 nsyms = 0;
1099 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1100 nsyms++;
1102 if (nsyms)
1104 int i;
1105 bfd_size_type amt = (bfd_size_type) nsyms * sizeof (asymbol *);
1107 asympp = (asymbol **) bfd_alloc (stdoutput, amt);
1108 symp = symbol_rootP;
1109 for (i = 0; i < nsyms; i++, symp = symbol_next (symp))
1111 asympp[i] = symbol_get_bfdsym (symp);
1112 symbol_mark_written (symp);
1115 else
1116 asympp = 0;
1117 result = bfd_set_symtab (stdoutput, asympp, nsyms);
1118 assert (result);
1119 symbol_table_frozen = 1;
1122 /* Finish the subsegments. After every sub-segment, we fake an
1123 ".align ...". This conforms to BSD4.2 brane-damage. We then fake
1124 ".fill 0" because that is the kind of frag that requires least
1125 thought. ".align" frags like to have a following frag since that
1126 makes calculating their intended length trivial. */
1128 #ifndef SUB_SEGMENT_ALIGN
1129 #ifdef HANDLE_ALIGN
1130 /* The last subsegment gets an alignment corresponding to the alignment
1131 of the section. This allows proper nop-filling at the end of
1132 code-bearing sections. */
1133 #define SUB_SEGMENT_ALIGN(SEG, FRCHAIN) \
1134 (!(FRCHAIN)->frch_next ? get_recorded_alignment (SEG) : 0)
1135 #else
1136 #define SUB_SEGMENT_ALIGN(SEG, FRCHAIN) 0
1137 #endif
1138 #endif
1140 void
1141 subsegs_finish (void)
1143 struct frchain *frchainP;
1144 asection *s;
1146 for (s = stdoutput->sections; s; s = s->next)
1148 segment_info_type *seginfo = seg_info (s);
1149 if (!seginfo)
1150 continue;
1152 for (frchainP = seginfo->frchainP;
1153 frchainP != NULL;
1154 frchainP = frchainP->frch_next)
1156 int alignment = 0;
1158 subseg_set (s, frchainP->frch_subseg);
1160 /* This now gets called even if we had errors. In that case,
1161 any alignment is meaningless, and, moreover, will look weird
1162 if we are generating a listing. */
1163 if (!had_errors ())
1165 alignment = SUB_SEGMENT_ALIGN (now_seg, frchainP);
1166 if ((bfd_get_section_flags (now_seg->owner, now_seg) & SEC_MERGE)
1167 && now_seg->entsize)
1169 unsigned int entsize = now_seg->entsize;
1170 int entalign = 0;
1172 while ((entsize & 1) == 0)
1174 ++entalign;
1175 entsize >>= 1;
1177 if (entalign > alignment)
1178 alignment = entalign;
1182 if (subseg_text_p (now_seg))
1183 frag_align_code (alignment, 0);
1184 else
1185 frag_align (alignment, 0, 0);
1187 /* frag_align will have left a new frag.
1188 Use this last frag for an empty ".fill".
1190 For this segment ...
1191 Create a last frag. Do not leave a "being filled in frag". */
1192 frag_wane (frag_now);
1193 frag_now->fr_fix = 0;
1194 know (frag_now->fr_next == NULL);
1199 /* Write the object file. */
1201 void
1202 write_object_file (void)
1204 struct relax_seg_info rsi;
1205 #ifndef WORKING_DOT_WORD
1206 fragS *fragP; /* Track along all frags. */
1207 #endif
1209 /* Do we really want to write it? */
1211 int n_warns, n_errs;
1212 n_warns = had_warnings ();
1213 n_errs = had_errors ();
1214 /* The -Z flag indicates that an object file should be generated,
1215 regardless of warnings and errors. */
1216 if (flag_always_generate_output)
1218 if (n_warns || n_errs)
1219 as_warn (_("%d error%s, %d warning%s, generating bad object file"),
1220 n_errs, n_errs == 1 ? "" : "s",
1221 n_warns, n_warns == 1 ? "" : "s");
1223 else
1225 if (n_errs)
1226 as_fatal (_("%d error%s, %d warning%s, no object file generated"),
1227 n_errs, n_errs == 1 ? "" : "s",
1228 n_warns, n_warns == 1 ? "" : "s");
1232 #ifdef OBJ_VMS
1233 /* Under VMS we try to be compatible with VAX-11 "C". Thus, we call
1234 a routine to check for the definition of the procedure "_main",
1235 and if so -- fix it up so that it can be program entry point. */
1236 vms_check_for_main ();
1237 #endif /* OBJ_VMS */
1239 /* From now on, we don't care about sub-segments. Build one frag chain
1240 for each segment. Linked thru fr_next. */
1242 /* Remove the sections created by gas for its own purposes. */
1244 int i;
1246 bfd_section_list_remove (stdoutput, reg_section);
1247 bfd_section_list_remove (stdoutput, expr_section);
1248 stdoutput->section_count -= 2;
1249 i = 0;
1250 bfd_map_over_sections (stdoutput, renumber_sections, &i);
1253 bfd_map_over_sections (stdoutput, chain_frchains_together, (char *) 0);
1255 /* We have two segments. If user gave -R flag, then we must put the
1256 data frags into the text segment. Do this before relaxing so
1257 we know to take advantage of -R and make shorter addresses. */
1258 if (flag_readonly_data_in_text)
1260 merge_data_into_text ();
1263 rsi.pass = 0;
1264 while (1)
1266 #ifndef WORKING_DOT_WORD
1267 /* We need to reset the markers in the broken word list and
1268 associated frags between calls to relax_segment (via
1269 relax_seg). Since the broken word list is global, we do it
1270 once per round, rather than locally in relax_segment for each
1271 segment. */
1272 struct broken_word *brokp;
1274 for (brokp = broken_words;
1275 brokp != (struct broken_word *) NULL;
1276 brokp = brokp->next_broken_word)
1278 brokp->added = 0;
1280 if (brokp->dispfrag != (fragS *) NULL
1281 && brokp->dispfrag->fr_type == rs_broken_word)
1282 brokp->dispfrag->fr_subtype = 0;
1284 #endif
1286 rsi.changed = 0;
1287 bfd_map_over_sections (stdoutput, relax_seg, &rsi);
1288 rsi.pass++;
1289 if (!rsi.changed)
1290 break;
1293 /* Note - Most ports will use the default value of
1294 TC_FINALIZE_SYMS_BEFORE_SIZE_SEG, which 1. This will force
1295 local symbols to be resolved, removing their frag information.
1296 Some ports however, will not have finished relaxing all of
1297 their frags and will still need the local symbol frag
1298 information. These ports can set
1299 TC_FINALIZE_SYMS_BEFORE_SIZE_SEG to 0. */
1300 finalize_syms = TC_FINALIZE_SYMS_BEFORE_SIZE_SEG;
1302 bfd_map_over_sections (stdoutput, size_seg, (char *) 0);
1304 /* Relaxation has completed. Freeze all syms. */
1305 finalize_syms = 1;
1307 #ifdef md_post_relax_hook
1308 md_post_relax_hook;
1309 #endif
1311 #ifndef WORKING_DOT_WORD
1313 struct broken_word *lie;
1314 struct broken_word **prevP;
1316 prevP = &broken_words;
1317 for (lie = broken_words; lie; lie = lie->next_broken_word)
1318 if (!lie->added)
1320 expressionS exp;
1322 subseg_change (lie->seg, lie->subseg);
1323 exp.X_op = O_subtract;
1324 exp.X_add_symbol = lie->add;
1325 exp.X_op_symbol = lie->sub;
1326 exp.X_add_number = lie->addnum;
1327 #ifdef TC_CONS_FIX_NEW
1328 TC_CONS_FIX_NEW (lie->frag,
1329 lie->word_goes_here - lie->frag->fr_literal,
1330 2, &exp);
1331 #else
1332 fix_new_exp (lie->frag,
1333 lie->word_goes_here - lie->frag->fr_literal,
1334 2, &exp, 0, BFD_RELOC_16);
1335 #endif
1336 *prevP = lie->next_broken_word;
1338 else
1339 prevP = &(lie->next_broken_word);
1341 for (lie = broken_words; lie;)
1343 struct broken_word *untruth;
1344 char *table_ptr;
1345 addressT table_addr;
1346 addressT from_addr, to_addr;
1347 int n, m;
1349 subseg_change (lie->seg, lie->subseg);
1350 fragP = lie->dispfrag;
1352 /* Find out how many broken_words go here. */
1353 n = 0;
1354 for (untruth = lie;
1355 untruth && untruth->dispfrag == fragP;
1356 untruth = untruth->next_broken_word)
1357 if (untruth->added == 1)
1358 n++;
1360 table_ptr = lie->dispfrag->fr_opcode;
1361 table_addr = (lie->dispfrag->fr_address
1362 + (table_ptr - lie->dispfrag->fr_literal));
1363 /* Create the jump around the long jumps. This is a short
1364 jump from table_ptr+0 to table_ptr+n*long_jump_size. */
1365 from_addr = table_addr;
1366 to_addr = table_addr + md_short_jump_size + n * md_long_jump_size;
1367 md_create_short_jump (table_ptr, from_addr, to_addr, lie->dispfrag,
1368 lie->add);
1369 table_ptr += md_short_jump_size;
1370 table_addr += md_short_jump_size;
1372 for (m = 0;
1373 lie && lie->dispfrag == fragP;
1374 m++, lie = lie->next_broken_word)
1376 if (lie->added == 2)
1377 continue;
1378 /* Patch the jump table. */
1379 /* This is the offset from ??? to table_ptr+0. */
1380 to_addr = table_addr - S_GET_VALUE (lie->sub);
1381 #ifdef TC_CHECK_ADJUSTED_BROKEN_DOT_WORD
1382 TC_CHECK_ADJUSTED_BROKEN_DOT_WORD (to_addr, lie);
1383 #endif
1384 md_number_to_chars (lie->word_goes_here, to_addr, 2);
1385 for (untruth = lie->next_broken_word;
1386 untruth && untruth->dispfrag == fragP;
1387 untruth = untruth->next_broken_word)
1389 if (untruth->use_jump == lie)
1390 md_number_to_chars (untruth->word_goes_here, to_addr, 2);
1393 /* Install the long jump. */
1394 /* This is a long jump from table_ptr+0 to the final target. */
1395 from_addr = table_addr;
1396 to_addr = S_GET_VALUE (lie->add) + lie->addnum;
1397 md_create_long_jump (table_ptr, from_addr, to_addr, lie->dispfrag,
1398 lie->add);
1399 table_ptr += md_long_jump_size;
1400 table_addr += md_long_jump_size;
1404 #endif /* not WORKING_DOT_WORD */
1406 /* Resolve symbol values. This needs to be done before processing
1407 the relocations. */
1408 if (symbol_rootP)
1410 symbolS *symp;
1412 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1413 resolve_symbol_value (symp);
1415 resolve_local_symbol_values ();
1417 PROGRESS (1);
1419 #ifdef tc_frob_file_before_adjust
1420 tc_frob_file_before_adjust ();
1421 #endif
1422 #ifdef obj_frob_file_before_adjust
1423 obj_frob_file_before_adjust ();
1424 #endif
1426 bfd_map_over_sections (stdoutput, adjust_reloc_syms, (char *) 0);
1428 #ifdef tc_frob_file_before_fix
1429 tc_frob_file_before_fix ();
1430 #endif
1431 #ifdef obj_frob_file_before_fix
1432 obj_frob_file_before_fix ();
1433 #endif
1435 bfd_map_over_sections (stdoutput, fix_segment, (char *) 0);
1437 /* Set up symbol table, and write it out. */
1438 if (symbol_rootP)
1440 symbolS *symp;
1441 bfd_boolean skip_next_symbol = FALSE;
1443 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1445 int punt = 0;
1446 const char *name;
1448 if (skip_next_symbol)
1450 /* Don't do anything besides moving the value of the
1451 symbol from the GAS value-field to the BFD value-field. */
1452 symbol_get_bfdsym (symp)->value = S_GET_VALUE (symp);
1453 skip_next_symbol = FALSE;
1454 continue;
1457 if (symbol_mri_common_p (symp))
1459 if (S_IS_EXTERNAL (symp))
1460 as_bad (_("%s: global symbols not supported in common sections"),
1461 S_GET_NAME (symp));
1462 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1463 continue;
1466 name = S_GET_NAME (symp);
1467 if (name)
1469 const char *name2 =
1470 decode_local_label_name ((char *) S_GET_NAME (symp));
1471 /* They only differ if `name' is a fb or dollar local
1472 label name. */
1473 if (name2 != name && ! S_IS_DEFINED (symp))
1474 as_bad (_("local label `%s' is not defined"), name2);
1477 /* Do it again, because adjust_reloc_syms might introduce
1478 more symbols. They'll probably only be section symbols,
1479 but they'll still need to have the values computed. */
1480 resolve_symbol_value (symp);
1482 /* Skip symbols which were equated to undefined or common
1483 symbols. */
1484 if (symbol_equated_reloc_p (symp)
1485 || S_IS_WEAKREFR (symp))
1487 const char *name = S_GET_NAME (symp);
1488 if (S_IS_COMMON (symp)
1489 && !TC_FAKE_LABEL (name)
1490 && !S_IS_WEAKREFR (symp)
1491 && (!S_IS_EXTERNAL (symp) || S_IS_LOCAL (symp)))
1493 expressionS *e = symbol_get_value_expression (symp);
1494 as_bad (_("Local symbol `%s' can't be equated to common symbol `%s'"),
1495 name, S_GET_NAME (e->X_add_symbol));
1497 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1498 continue;
1501 #ifdef obj_frob_symbol
1502 obj_frob_symbol (symp, punt);
1503 #endif
1504 #ifdef tc_frob_symbol
1505 if (! punt || symbol_used_in_reloc_p (symp))
1506 tc_frob_symbol (symp, punt);
1507 #endif
1509 /* If we don't want to keep this symbol, splice it out of
1510 the chain now. If EMIT_SECTION_SYMBOLS is 0, we never
1511 want section symbols. Otherwise, we skip local symbols
1512 and symbols that the frob_symbol macros told us to punt,
1513 but we keep such symbols if they are used in relocs. */
1514 if (symp == abs_section_sym
1515 || (! EMIT_SECTION_SYMBOLS
1516 && symbol_section_p (symp))
1517 /* Note that S_IS_EXTERNAL and S_IS_LOCAL are not always
1518 opposites. Sometimes the former checks flags and the
1519 latter examines the name... */
1520 || (!S_IS_EXTERNAL (symp)
1521 && (punt || S_IS_LOCAL (symp) ||
1522 (S_IS_WEAKREFD (symp) && ! symbol_used_p (symp)))
1523 && ! symbol_used_in_reloc_p (symp)))
1525 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1527 /* After symbol_remove, symbol_next(symp) still returns
1528 the one that came after it in the chain. So we don't
1529 need to do any extra cleanup work here. */
1530 continue;
1533 /* Make sure we really got a value for the symbol. */
1534 if (! symbol_resolved_p (symp))
1536 as_bad (_("can't resolve value for symbol `%s'"),
1537 S_GET_NAME (symp));
1538 symbol_mark_resolved (symp);
1541 /* Set the value into the BFD symbol. Up til now the value
1542 has only been kept in the gas symbolS struct. */
1543 symbol_get_bfdsym (symp)->value = S_GET_VALUE (symp);
1545 /* A warning construct is a warning symbol followed by the
1546 symbol warned about. Don't let anything object-format or
1547 target-specific muck with it; it's ready for output. */
1548 if (symbol_get_bfdsym (symp)->flags & BSF_WARNING)
1549 skip_next_symbol = TRUE;
1553 PROGRESS (1);
1555 /* Now do any format-specific adjustments to the symbol table, such
1556 as adding file symbols. */
1557 #ifdef tc_adjust_symtab
1558 tc_adjust_symtab ();
1559 #endif
1560 #ifdef obj_adjust_symtab
1561 obj_adjust_symtab ();
1562 #endif
1564 /* Now that all the sizes are known, and contents correct, we can
1565 start writing to the file. */
1566 set_symtab ();
1568 /* If *_frob_file changes the symbol value at this point, it is
1569 responsible for moving the changed value into symp->bsym->value
1570 as well. Hopefully all symbol value changing can be done in
1571 *_frob_symbol. */
1572 #ifdef tc_frob_file
1573 tc_frob_file ();
1574 #endif
1575 #ifdef obj_frob_file
1576 obj_frob_file ();
1577 #endif
1579 bfd_map_over_sections (stdoutput, write_relocs, (char *) 0);
1581 #ifdef tc_frob_file_after_relocs
1582 tc_frob_file_after_relocs ();
1583 #endif
1584 #ifdef obj_frob_file_after_relocs
1585 obj_frob_file_after_relocs ();
1586 #endif
1588 bfd_map_over_sections (stdoutput, write_contents, (char *) 0);
1591 #ifdef TC_GENERIC_RELAX_TABLE
1592 /* Relax a fragment by scanning TC_GENERIC_RELAX_TABLE. */
1594 long
1595 relax_frag (segT segment, fragS *fragP, long stretch)
1597 const relax_typeS *this_type;
1598 const relax_typeS *start_type;
1599 relax_substateT next_state;
1600 relax_substateT this_state;
1601 offsetT growth;
1602 offsetT aim;
1603 addressT target;
1604 addressT address;
1605 symbolS *symbolP;
1606 const relax_typeS *table;
1608 target = fragP->fr_offset;
1609 address = fragP->fr_address;
1610 table = TC_GENERIC_RELAX_TABLE;
1611 this_state = fragP->fr_subtype;
1612 start_type = this_type = table + this_state;
1613 symbolP = fragP->fr_symbol;
1615 if (symbolP)
1617 fragS *sym_frag;
1619 sym_frag = symbol_get_frag (symbolP);
1621 #ifndef DIFF_EXPR_OK
1622 know (sym_frag != NULL);
1623 #endif
1624 know (S_GET_SEGMENT (symbolP) != absolute_section
1625 || sym_frag == &zero_address_frag);
1626 target += S_GET_VALUE (symbolP);
1628 /* If frag has yet to be reached on this pass,
1629 assume it will move by STRETCH just as we did.
1630 If this is not so, it will be because some frag
1631 between grows, and that will force another pass. */
1633 if (stretch != 0
1634 && sym_frag->relax_marker != fragP->relax_marker
1635 && S_GET_SEGMENT (symbolP) == segment)
1637 target += stretch;
1641 aim = target - address - fragP->fr_fix;
1642 #ifdef TC_PCREL_ADJUST
1643 /* Currently only the ns32k family needs this. */
1644 aim += TC_PCREL_ADJUST (fragP);
1645 #endif
1647 #ifdef md_prepare_relax_scan
1648 /* Formerly called M68K_AIM_KLUDGE. */
1649 md_prepare_relax_scan (fragP, address, aim, this_state, this_type);
1650 #endif
1652 if (aim < 0)
1654 /* Look backwards. */
1655 for (next_state = this_type->rlx_more; next_state;)
1656 if (aim >= this_type->rlx_backward)
1657 next_state = 0;
1658 else
1660 /* Grow to next state. */
1661 this_state = next_state;
1662 this_type = table + this_state;
1663 next_state = this_type->rlx_more;
1666 else
1668 /* Look forwards. */
1669 for (next_state = this_type->rlx_more; next_state;)
1670 if (aim <= this_type->rlx_forward)
1671 next_state = 0;
1672 else
1674 /* Grow to next state. */
1675 this_state = next_state;
1676 this_type = table + this_state;
1677 next_state = this_type->rlx_more;
1681 growth = this_type->rlx_length - start_type->rlx_length;
1682 if (growth != 0)
1683 fragP->fr_subtype = this_state;
1684 return growth;
1687 #endif /* defined (TC_GENERIC_RELAX_TABLE) */
1689 /* Relax_align. Advance location counter to next address that has 'alignment'
1690 lowest order bits all 0s, return size of adjustment made. */
1691 static relax_addressT
1692 relax_align (register relax_addressT address, /* Address now. */
1693 register int alignment /* Alignment (binary). */)
1695 relax_addressT mask;
1696 relax_addressT new_address;
1698 mask = ~((~0) << alignment);
1699 new_address = (address + mask) & (~mask);
1700 #ifdef LINKER_RELAXING_SHRINKS_ONLY
1701 if (linkrelax)
1702 /* We must provide lots of padding, so the linker can discard it
1703 when needed. The linker will not add extra space, ever. */
1704 new_address += (1 << alignment);
1705 #endif
1706 return (new_address - address);
1709 /* Now we have a segment, not a crowd of sub-segments, we can make
1710 fr_address values.
1712 Relax the frags.
1714 After this, all frags in this segment have addresses that are correct
1715 within the segment. Since segments live in different file addresses,
1716 these frag addresses may not be the same as final object-file
1717 addresses. */
1720 relax_segment (struct frag *segment_frag_root, segT segment, int pass)
1722 unsigned long frag_count;
1723 struct frag *fragP;
1724 relax_addressT address;
1725 int ret;
1727 /* In case md_estimate_size_before_relax() wants to make fixSs. */
1728 subseg_change (segment, 0);
1730 /* For each frag in segment: count and store (a 1st guess of)
1731 fr_address. */
1732 address = 0;
1733 for (frag_count = 0, fragP = segment_frag_root;
1734 fragP;
1735 fragP = fragP->fr_next, frag_count ++)
1737 fragP->relax_marker = 0;
1738 fragP->fr_address = address;
1739 address += fragP->fr_fix;
1741 switch (fragP->fr_type)
1743 case rs_fill:
1744 address += fragP->fr_offset * fragP->fr_var;
1745 break;
1747 case rs_align:
1748 case rs_align_code:
1749 case rs_align_test:
1751 addressT offset = relax_align (address, (int) fragP->fr_offset);
1753 if (fragP->fr_subtype != 0 && offset > fragP->fr_subtype)
1754 offset = 0;
1756 if (offset % fragP->fr_var != 0)
1758 as_bad_where (fragP->fr_file, fragP->fr_line,
1759 _("alignment padding (%lu bytes) not a multiple of %ld"),
1760 (unsigned long) offset, (long) fragP->fr_var);
1761 offset -= (offset % fragP->fr_var);
1764 address += offset;
1766 break;
1768 case rs_org:
1769 case rs_space:
1770 /* Assume .org is nugatory. It will grow with 1st relax. */
1771 break;
1773 case rs_machine_dependent:
1774 /* If fr_symbol is an expression, this call to
1775 resolve_symbol_value sets up the correct segment, which will
1776 likely be needed in md_estimate_size_before_relax. */
1777 if (fragP->fr_symbol)
1778 resolve_symbol_value (fragP->fr_symbol);
1780 address += md_estimate_size_before_relax (fragP, segment);
1781 break;
1783 #ifndef WORKING_DOT_WORD
1784 /* Broken words don't concern us yet. */
1785 case rs_broken_word:
1786 break;
1787 #endif
1789 case rs_leb128:
1790 /* Initial guess is always 1; doing otherwise can result in
1791 stable solutions that are larger than the minimum. */
1792 address += fragP->fr_offset = 1;
1793 break;
1795 case rs_cfa:
1796 address += eh_frame_estimate_size_before_relax (fragP);
1797 break;
1799 case rs_dwarf2dbg:
1800 address += dwarf2dbg_estimate_size_before_relax (fragP);
1801 break;
1803 default:
1804 BAD_CASE (fragP->fr_type);
1805 break;
1809 /* Do relax(). */
1811 unsigned long max_iterations;
1812 offsetT stretch; /* May be any size, 0 or negative. */
1813 /* Cumulative number of addresses we have relaxed this pass.
1814 We may have relaxed more than one address. */
1815 int stretched; /* Have we stretched on this pass? */
1816 /* This is 'cuz stretch may be zero, when, in fact some piece of code
1817 grew, and another shrank. If a branch instruction doesn't fit anymore,
1818 we could be scrod. */
1820 /* We want to prevent going into an infinite loop where one frag grows
1821 depending upon the location of a symbol which is in turn moved by
1822 the growing frag. eg:
1824 foo = .
1825 .org foo+16
1826 foo = .
1828 So we dictate that this algorithm can be at most O2. */
1829 max_iterations = frag_count * frag_count;
1830 /* Check for overflow. */
1831 if (max_iterations < frag_count)
1832 max_iterations = frag_count;
1834 ret = 0;
1837 stretch = 0;
1838 stretched = 0;
1840 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
1842 offsetT growth = 0;
1843 addressT was_address;
1844 offsetT offset;
1845 symbolS *symbolP;
1847 fragP->relax_marker ^= 1;
1848 was_address = fragP->fr_address;
1849 address = fragP->fr_address += stretch;
1850 symbolP = fragP->fr_symbol;
1851 offset = fragP->fr_offset;
1853 switch (fragP->fr_type)
1855 case rs_fill: /* .fill never relaxes. */
1856 growth = 0;
1857 break;
1859 #ifndef WORKING_DOT_WORD
1860 /* JF: This is RMS's idea. I do *NOT* want to be blamed
1861 for it I do not want to write it. I do not want to have
1862 anything to do with it. This is not the proper way to
1863 implement this misfeature. */
1864 case rs_broken_word:
1866 struct broken_word *lie;
1867 struct broken_word *untruth;
1869 /* Yes this is ugly (storing the broken_word pointer
1870 in the symbol slot). Still, this whole chunk of
1871 code is ugly, and I don't feel like doing anything
1872 about it. Think of it as stubbornness in action. */
1873 growth = 0;
1874 for (lie = (struct broken_word *) (fragP->fr_symbol);
1875 lie && lie->dispfrag == fragP;
1876 lie = lie->next_broken_word)
1879 if (lie->added)
1880 continue;
1882 offset = (S_GET_VALUE (lie->add)
1883 + lie->addnum
1884 - S_GET_VALUE (lie->sub));
1885 if (offset <= -32768 || offset >= 32767)
1887 if (flag_warn_displacement)
1889 char buf[50];
1890 sprint_value (buf, (addressT) lie->addnum);
1891 as_warn_where (fragP->fr_file, fragP->fr_line,
1892 _(".word %s-%s+%s didn't fit"),
1893 S_GET_NAME (lie->add),
1894 S_GET_NAME (lie->sub),
1895 buf);
1897 lie->added = 1;
1898 if (fragP->fr_subtype == 0)
1900 fragP->fr_subtype++;
1901 growth += md_short_jump_size;
1903 for (untruth = lie->next_broken_word;
1904 untruth && untruth->dispfrag == lie->dispfrag;
1905 untruth = untruth->next_broken_word)
1906 if ((symbol_get_frag (untruth->add)
1907 == symbol_get_frag (lie->add))
1908 && (S_GET_VALUE (untruth->add)
1909 == S_GET_VALUE (lie->add)))
1911 untruth->added = 2;
1912 untruth->use_jump = lie;
1914 growth += md_long_jump_size;
1918 break;
1919 } /* case rs_broken_word */
1920 #endif
1921 case rs_align:
1922 case rs_align_code:
1923 case rs_align_test:
1925 addressT oldoff, newoff;
1927 oldoff = relax_align (was_address + fragP->fr_fix,
1928 (int) offset);
1929 newoff = relax_align (address + fragP->fr_fix,
1930 (int) offset);
1932 if (fragP->fr_subtype != 0)
1934 if (oldoff > fragP->fr_subtype)
1935 oldoff = 0;
1936 if (newoff > fragP->fr_subtype)
1937 newoff = 0;
1940 growth = newoff - oldoff;
1942 break;
1944 case rs_org:
1946 addressT target = offset;
1947 addressT after;
1949 if (symbolP)
1951 /* Convert from an actual address to an octet offset
1952 into the section. Here it is assumed that the
1953 section's VMA is zero, and can omit subtracting it
1954 from the symbol's value to get the address offset. */
1955 know (S_GET_SEGMENT (symbolP)->vma == 0);
1956 target += S_GET_VALUE (symbolP) * OCTETS_PER_BYTE;
1959 know (fragP->fr_next);
1960 after = fragP->fr_next->fr_address;
1961 growth = target - after;
1962 if (growth < 0)
1964 growth = 0;
1966 /* Don't error on first few frag relax passes.
1967 The symbol might be an expression involving
1968 symbol values from other sections. If those
1969 sections have not yet been processed their
1970 frags will all have zero addresses, so we
1971 will calculate incorrect values for them. The
1972 number of passes we allow before giving an
1973 error is somewhat arbitrary. It should be at
1974 least one, with larger values requiring
1975 increasingly contrived dependencies between
1976 frags to trigger a false error. */
1977 if (pass < 2)
1979 /* Force another pass. */
1980 ret = 1;
1981 break;
1984 /* Growth may be negative, but variable part of frag
1985 cannot have fewer than 0 chars. That is, we can't
1986 .org backwards. */
1987 as_bad_where (fragP->fr_file, fragP->fr_line,
1988 _("attempt to move .org backwards"));
1990 /* We've issued an error message. Change the
1991 frag to avoid cascading errors. */
1992 fragP->fr_type = rs_align;
1993 fragP->fr_subtype = 0;
1994 fragP->fr_offset = 0;
1995 fragP->fr_fix = after - was_address;
1996 break;
1999 /* This is an absolute growth factor */
2000 growth -= stretch;
2001 break;
2004 case rs_space:
2005 growth = 0;
2006 if (symbolP)
2008 offsetT amount;
2010 amount = S_GET_VALUE (symbolP);
2011 if (S_GET_SEGMENT (symbolP) != absolute_section
2012 || S_IS_COMMON (symbolP)
2013 || ! S_IS_DEFINED (symbolP))
2015 as_bad_where (fragP->fr_file, fragP->fr_line,
2016 _(".space specifies non-absolute value"));
2017 /* Prevent repeat of this error message. */
2018 fragP->fr_symbol = 0;
2020 else if (amount < 0)
2022 /* Don't error on first few frag relax passes.
2023 See rs_org comment for a longer explanation. */
2024 if (pass < 2)
2026 ret = 1;
2027 break;
2030 as_warn_where (fragP->fr_file, fragP->fr_line,
2031 _(".space or .fill with negative value, ignored"));
2032 fragP->fr_symbol = 0;
2034 else
2035 growth = (was_address + fragP->fr_fix + amount
2036 - fragP->fr_next->fr_address);
2038 break;
2040 case rs_machine_dependent:
2041 #ifdef md_relax_frag
2042 growth = md_relax_frag (segment, fragP, stretch);
2043 #else
2044 #ifdef TC_GENERIC_RELAX_TABLE
2045 /* The default way to relax a frag is to look through
2046 TC_GENERIC_RELAX_TABLE. */
2047 growth = relax_frag (segment, fragP, stretch);
2048 #endif /* TC_GENERIC_RELAX_TABLE */
2049 #endif
2050 break;
2052 case rs_leb128:
2054 valueT value;
2055 offsetT size;
2057 value = resolve_symbol_value (fragP->fr_symbol);
2058 size = sizeof_leb128 (value, fragP->fr_subtype);
2059 growth = size - fragP->fr_offset;
2060 fragP->fr_offset = size;
2062 break;
2064 case rs_cfa:
2065 growth = eh_frame_relax_frag (fragP);
2066 break;
2068 case rs_dwarf2dbg:
2069 growth = dwarf2dbg_relax_frag (fragP);
2070 break;
2072 default:
2073 BAD_CASE (fragP->fr_type);
2074 break;
2076 if (growth)
2078 stretch += growth;
2079 stretched = 1;
2083 /* Until nothing further to relax. */
2084 while (stretched && -- max_iterations);
2086 if (stretched)
2087 as_fatal (_("Infinite loop encountered whilst attempting to compute the addresses of symbols in section %s"),
2088 segment_name (segment));
2091 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
2092 if (fragP->last_fr_address != fragP->fr_address)
2094 fragP->last_fr_address = fragP->fr_address;
2095 ret = 1;
2097 return ret;
2100 /* fixup_segment()
2102 Go through all the fixS's in a segment and see which ones can be
2103 handled now. (These consist of fixS where we have since discovered
2104 the value of a symbol, or the address of the frag involved.)
2105 For each one, call md_apply_fix to put the fix into the frag data.
2107 Result is a count of how many relocation structs will be needed to
2108 handle the remaining fixS's that we couldn't completely handle here.
2109 These will be output later by emit_relocations(). */
2111 static long
2112 fixup_segment (fixS *fixP, segT this_segment)
2114 long seg_reloc_count = 0;
2115 valueT add_number;
2116 fragS *fragP;
2117 segT add_symbol_segment = absolute_section;
2119 if (fixP != NULL && abs_section_sym == NULL)
2120 abs_section_sym = section_symbol (absolute_section);
2122 /* If the linker is doing the relaxing, we must not do any fixups.
2124 Well, strictly speaking that's not true -- we could do any that
2125 are PC-relative and don't cross regions that could change size.
2126 And for the i960 we might be able to turn callx/callj into bal
2127 anyways in cases where we know the maximum displacement. */
2128 if (linkrelax && TC_LINKRELAX_FIXUP (this_segment))
2130 for (; fixP; fixP = fixP->fx_next)
2131 if (!fixP->fx_done)
2133 if (fixP->fx_addsy == NULL)
2135 /* There was no symbol required by this relocation.
2136 However, BFD doesn't really handle relocations
2137 without symbols well. So fake up a local symbol in
2138 the absolute section. */
2139 fixP->fx_addsy = abs_section_sym;
2141 symbol_mark_used_in_reloc (fixP->fx_addsy);
2142 if (fixP->fx_subsy != NULL)
2143 symbol_mark_used_in_reloc (fixP->fx_subsy);
2144 seg_reloc_count++;
2146 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2147 return seg_reloc_count;
2150 for (; fixP; fixP = fixP->fx_next)
2152 #ifdef DEBUG5
2153 fprintf (stderr, "\nprocessing fixup:\n");
2154 print_fixup (fixP);
2155 #endif
2157 fragP = fixP->fx_frag;
2158 know (fragP);
2159 #ifdef TC_VALIDATE_FIX
2160 TC_VALIDATE_FIX (fixP, this_segment, skip);
2161 #endif
2162 add_number = fixP->fx_offset;
2164 if (fixP->fx_addsy != NULL
2165 && symbol_mri_common_p (fixP->fx_addsy))
2167 add_number += S_GET_VALUE (fixP->fx_addsy);
2168 fixP->fx_offset = add_number;
2169 fixP->fx_addsy
2170 = symbol_get_value_expression (fixP->fx_addsy)->X_add_symbol;
2173 if (fixP->fx_addsy != NULL)
2174 add_symbol_segment = S_GET_SEGMENT (fixP->fx_addsy);
2176 if (fixP->fx_subsy != NULL)
2178 segT sub_symbol_segment;
2179 resolve_symbol_value (fixP->fx_subsy);
2180 sub_symbol_segment = S_GET_SEGMENT (fixP->fx_subsy);
2181 if (fixP->fx_addsy != NULL
2182 && sub_symbol_segment == add_symbol_segment
2183 && !TC_FORCE_RELOCATION_SUB_SAME (fixP, add_symbol_segment))
2185 add_number += S_GET_VALUE (fixP->fx_addsy);
2186 add_number -= S_GET_VALUE (fixP->fx_subsy);
2187 fixP->fx_offset = add_number;
2188 fixP->fx_addsy = NULL;
2189 fixP->fx_subsy = NULL;
2190 #ifdef TC_M68K
2191 /* See the comment below about 68k weirdness. */
2192 fixP->fx_pcrel = 0;
2193 #endif
2195 else if (sub_symbol_segment == absolute_section
2196 && !TC_FORCE_RELOCATION_SUB_ABS (fixP))
2198 add_number -= S_GET_VALUE (fixP->fx_subsy);
2199 fixP->fx_offset = add_number;
2200 fixP->fx_subsy = NULL;
2202 else if (sub_symbol_segment == this_segment
2203 && !TC_FORCE_RELOCATION_SUB_LOCAL (fixP))
2205 add_number -= S_GET_VALUE (fixP->fx_subsy);
2206 fixP->fx_offset = (add_number + fixP->fx_dot_value
2207 + fixP->fx_frag->fr_address);
2209 /* Make it pc-relative. If the back-end code has not
2210 selected a pc-relative reloc, cancel the adjustment
2211 we do later on all pc-relative relocs. */
2212 if (0
2213 #ifdef TC_M68K
2214 /* Do this for m68k even if it's already described
2215 as pc-relative. On the m68k, an operand of
2216 "pc@(foo-.-2)" should address "foo" in a
2217 pc-relative mode. */
2218 || 1
2219 #endif
2220 || !fixP->fx_pcrel)
2221 add_number += MD_PCREL_FROM_SECTION (fixP, this_segment);
2222 fixP->fx_subsy = NULL;
2223 fixP->fx_pcrel = 1;
2225 else if (!TC_VALIDATE_FIX_SUB (fixP))
2227 as_bad_where (fixP->fx_file, fixP->fx_line,
2228 _("can't resolve `%s' {%s section} - `%s' {%s section}"),
2229 fixP->fx_addsy ? S_GET_NAME (fixP->fx_addsy) : "0",
2230 segment_name (add_symbol_segment),
2231 S_GET_NAME (fixP->fx_subsy),
2232 segment_name (sub_symbol_segment));
2236 if (fixP->fx_addsy)
2238 if (add_symbol_segment == this_segment
2239 && !TC_FORCE_RELOCATION_LOCAL (fixP))
2241 /* This fixup was made when the symbol's segment was
2242 SEG_UNKNOWN, but it is now in the local segment.
2243 So we know how to do the address without relocation. */
2244 add_number += S_GET_VALUE (fixP->fx_addsy);
2245 fixP->fx_offset = add_number;
2246 if (fixP->fx_pcrel)
2247 add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment);
2248 fixP->fx_addsy = NULL;
2249 fixP->fx_pcrel = 0;
2251 else if (add_symbol_segment == absolute_section
2252 && !TC_FORCE_RELOCATION_ABS (fixP))
2254 add_number += S_GET_VALUE (fixP->fx_addsy);
2255 fixP->fx_offset = add_number;
2256 fixP->fx_addsy = NULL;
2258 else if (add_symbol_segment != undefined_section
2259 && ! bfd_is_com_section (add_symbol_segment)
2260 && MD_APPLY_SYM_VALUE (fixP))
2261 add_number += S_GET_VALUE (fixP->fx_addsy);
2264 if (fixP->fx_pcrel)
2266 add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment);
2267 if (!fixP->fx_done && fixP->fx_addsy == NULL)
2269 /* There was no symbol required by this relocation.
2270 However, BFD doesn't really handle relocations
2271 without symbols well. So fake up a local symbol in
2272 the absolute section. */
2273 fixP->fx_addsy = abs_section_sym;
2277 if (!fixP->fx_done)
2278 md_apply_fix (fixP, &add_number, this_segment);
2280 if (!fixP->fx_done)
2282 ++seg_reloc_count;
2283 if (fixP->fx_addsy == NULL)
2284 fixP->fx_addsy = abs_section_sym;
2285 symbol_mark_used_in_reloc (fixP->fx_addsy);
2286 if (fixP->fx_subsy != NULL)
2287 symbol_mark_used_in_reloc (fixP->fx_subsy);
2290 if (!fixP->fx_bit_fixP && !fixP->fx_no_overflow && fixP->fx_size != 0)
2292 if (fixP->fx_size < sizeof (valueT))
2294 valueT mask;
2296 mask = 0;
2297 mask--; /* Set all bits to one. */
2298 mask <<= fixP->fx_size * 8 - (fixP->fx_signed ? 1 : 0);
2299 if ((add_number & mask) != 0 && (add_number & mask) != mask)
2301 char buf[50], buf2[50];
2302 sprint_value (buf, fragP->fr_address + fixP->fx_where);
2303 if (add_number > 1000)
2304 sprint_value (buf2, add_number);
2305 else
2306 sprintf (buf2, "%ld", (long) add_number);
2307 as_bad_where (fixP->fx_file, fixP->fx_line,
2308 _("value of %s too large for field of %d bytes at %s"),
2309 buf2, fixP->fx_size, buf);
2310 } /* Generic error checking. */
2312 #ifdef WARN_SIGNED_OVERFLOW_WORD
2313 /* Warn if a .word value is too large when treated as a signed
2314 number. We already know it is not too negative. This is to
2315 catch over-large switches generated by gcc on the 68k. */
2316 if (!flag_signed_overflow_ok
2317 && fixP->fx_size == 2
2318 && add_number > 0x7fff)
2319 as_bad_where (fixP->fx_file, fixP->fx_line,
2320 _("signed .word overflow; switch may be too large; %ld at 0x%lx"),
2321 (long) add_number,
2322 (long) (fragP->fr_address + fixP->fx_where));
2323 #endif
2324 } /* Not a bit fix. */
2326 #ifdef TC_VALIDATE_FIX
2327 skip: ATTRIBUTE_UNUSED_LABEL
2329 #endif
2330 #ifdef DEBUG5
2331 fprintf (stderr, "result:\n");
2332 print_fixup (fixP);
2333 #endif
2334 } /* For each fixS in this segment. */
2336 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2337 return seg_reloc_count;
2340 void
2341 number_to_chars_bigendian (char *buf, valueT val, int n)
2343 if (n <= 0)
2344 abort ();
2345 while (n--)
2347 buf[n] = val & 0xff;
2348 val >>= 8;
2352 void
2353 number_to_chars_littleendian (char *buf, valueT val, int n)
2355 if (n <= 0)
2356 abort ();
2357 while (n--)
2359 *buf++ = val & 0xff;
2360 val >>= 8;
2364 void
2365 write_print_statistics (FILE *file)
2367 fprintf (file, "fixups: %d\n", n_fixups);
2370 /* For debugging. */
2371 extern int indent_level;
2373 void
2374 print_fixup (fixS *fixp)
2376 indent_level = 1;
2377 fprintf (stderr, "fix %lx %s:%d", (long) fixp, fixp->fx_file, fixp->fx_line);
2378 if (fixp->fx_pcrel)
2379 fprintf (stderr, " pcrel");
2380 if (fixp->fx_pcrel_adjust)
2381 fprintf (stderr, " pcrel_adjust=%d", fixp->fx_pcrel_adjust);
2382 if (fixp->fx_im_disp)
2384 #ifdef TC_NS32K
2385 fprintf (stderr, " im_disp=%d", fixp->fx_im_disp);
2386 #else
2387 fprintf (stderr, " im_disp");
2388 #endif
2390 if (fixp->fx_tcbit)
2391 fprintf (stderr, " tcbit");
2392 if (fixp->fx_done)
2393 fprintf (stderr, " done");
2394 fprintf (stderr, "\n size=%d frag=%lx where=%ld offset=%lx addnumber=%lx",
2395 fixp->fx_size, (long) fixp->fx_frag, (long) fixp->fx_where,
2396 (long) fixp->fx_offset, (long) fixp->fx_addnumber);
2397 fprintf (stderr, "\n %s (%d)", bfd_get_reloc_code_name (fixp->fx_r_type),
2398 fixp->fx_r_type);
2399 if (fixp->fx_addsy)
2401 fprintf (stderr, "\n +<");
2402 print_symbol_value_1 (stderr, fixp->fx_addsy);
2403 fprintf (stderr, ">");
2405 if (fixp->fx_subsy)
2407 fprintf (stderr, "\n -<");
2408 print_symbol_value_1 (stderr, fixp->fx_subsy);
2409 fprintf (stderr, ">");
2411 fprintf (stderr, "\n");
2412 #ifdef TC_FIX_DATA_PRINT
2413 TC_FIX_DATA_PRINT (stderr, fixp);
2414 #endif