* write.c (relax_align): Add extra padding for linkrelax only if
[deliverable/binutils-gdb.git] / gas / write.c
1 /* write.c - emit .o file
2 Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 1995
3 Free Software Foundation, Inc.
4
5 This file is part of GAS, the GNU Assembler.
6
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
20
21 /* This thing should be set up to do byteordering correctly. But... */
22
23 #include "as.h"
24 #include "subsegs.h"
25 #include "obstack.h"
26 #include "output-file.h"
27
28 /* This looks like a good idea. Let's try turning it on always, for now. */
29 #undef BFD_FAST_SECTION_FILL
30 #define BFD_FAST_SECTION_FILL
31
32 /* The NOP_OPCODE is for the alignment fill value. Fill it with a nop
33 instruction so that the disassembler does not choke on it. */
34 #ifndef NOP_OPCODE
35 #define NOP_OPCODE 0x00
36 #endif
37
38 #ifndef TC_ADJUST_RELOC_COUNT
39 #define TC_ADJUST_RELOC_COUNT(FIXP,COUNT)
40 #endif
41
42 #ifndef TC_FORCE_RELOCATION
43 #define TC_FORCE_RELOCATION(FIXP) 0
44 #endif
45
46 #ifndef WORKING_DOT_WORD
47 extern CONST int md_short_jump_size;
48 extern CONST int md_long_jump_size;
49 #endif
50
51 int symbol_table_frozen;
52 void print_fixup PARAMS ((fixS *));
53
54 #ifdef BFD_ASSEMBLER
55 static void renumber_sections PARAMS ((bfd *, asection *, PTR));
56
57 /* We generally attach relocs to frag chains. However, after we have
58 chained these all together into a segment, any relocs we add after
59 that must be attached to a segment. This will include relocs added
60 in md_estimate_size_for_relax, for example. */
61 static int frags_chained = 0;
62 #endif
63
64 #ifndef BFD_ASSEMBLER
65
66 #ifndef MANY_SEGMENTS
67 struct frag *text_frag_root;
68 struct frag *data_frag_root;
69 struct frag *bss_frag_root;
70
71 struct frag *text_last_frag; /* Last frag in segment. */
72 struct frag *data_last_frag; /* Last frag in segment. */
73 static struct frag *bss_last_frag; /* Last frag in segment. */
74 #endif
75
76 #ifndef BFD
77 static object_headers headers;
78 #endif
79
80 long string_byte_count;
81 char *next_object_file_charP; /* Tracks object file bytes. */
82
83 #ifndef OBJ_VMS
84 int magic_number_for_object_file = DEFAULT_MAGIC_NUMBER_FOR_OBJECT_FILE;
85 #endif
86
87 #endif /* BFD_ASSEMBLER */
88
89 #ifdef BFD_ASSEMBLER
90 static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
91 symbolS *add, symbolS *sub,
92 offsetT offset, int pcrel,
93 bfd_reloc_code_real_type r_type));
94 #else
95 static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
96 symbolS *add, symbolS *sub,
97 offsetT offset, int pcrel,
98 int r_type));
99 #endif
100 #if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
101 static long fixup_segment PARAMS ((fixS * fixP, segT this_segment_type));
102 #endif
103 static relax_addressT relax_align PARAMS ((relax_addressT addr, int align));
104
105 /*
106 * fix_new()
107 *
108 * Create a fixS in obstack 'notes'.
109 */
110 static fixS *
111 fix_new_internal (frag, where, size, add_symbol, sub_symbol, offset, pcrel,
112 r_type)
113 fragS *frag; /* Which frag? */
114 int where; /* Where in that frag? */
115 int size; /* 1, 2, or 4 usually. */
116 symbolS *add_symbol; /* X_add_symbol. */
117 symbolS *sub_symbol; /* X_op_symbol. */
118 offsetT offset; /* X_add_number. */
119 int pcrel; /* TRUE if PC-relative relocation. */
120 #ifdef BFD_ASSEMBLER
121 bfd_reloc_code_real_type r_type; /* Relocation type */
122 #else
123 int r_type; /* Relocation type */
124 #endif
125 {
126 fixS *fixP;
127
128 fixP = (fixS *) obstack_alloc (&notes, sizeof (fixS));
129
130 fixP->fx_frag = frag;
131 fixP->fx_where = where;
132 fixP->fx_size = size;
133 fixP->fx_addsy = add_symbol;
134 fixP->fx_subsy = sub_symbol;
135 fixP->fx_offset = offset;
136 fixP->fx_pcrel = pcrel;
137 fixP->fx_plt = 0;
138 #if defined(NEED_FX_R_TYPE) || defined (BFD_ASSEMBLER)
139 fixP->fx_r_type = r_type;
140 #endif
141 fixP->fx_im_disp = 0;
142 fixP->fx_pcrel_adjust = 0;
143 fixP->fx_bit_fixP = 0;
144 fixP->fx_addnumber = 0;
145 fixP->tc_fix_data = NULL;
146 fixP->fx_tcbit = 0;
147 fixP->fx_done = 0;
148
149 #if defined (TC_I960) || defined (TC_NS32K)
150 fixP->fx_bsr = 0;
151 #endif
152
153 as_where (&fixP->fx_file, &fixP->fx_line);
154
155 /* Usually, we want relocs sorted numerically, but while
156 comparing to older versions of gas that have relocs
157 reverse sorted, it is convenient to have this compile
158 time option. xoxorich. */
159
160 {
161
162 #ifdef BFD_ASSEMBLER
163 fixS **seg_fix_rootP = (frags_chained
164 ? &seg_info (now_seg)->fix_root
165 : &frchain_now->fix_root);
166 fixS **seg_fix_tailP = (frags_chained
167 ? &seg_info (now_seg)->fix_tail
168 : &frchain_now->fix_tail);
169 #endif
170
171 #ifdef REVERSE_SORT_RELOCS
172
173 fixP->fx_next = *seg_fix_rootP;
174 *seg_fix_rootP = fixP;
175
176 #else /* REVERSE_SORT_RELOCS */
177
178 fixP->fx_next = NULL;
179
180 if (*seg_fix_tailP)
181 (*seg_fix_tailP)->fx_next = fixP;
182 else
183 *seg_fix_rootP = fixP;
184 *seg_fix_tailP = fixP;
185
186 #endif /* REVERSE_SORT_RELOCS */
187
188 }
189
190 return fixP;
191 }
192
193 /* Create a fixup relative to a symbol (plus a constant). */
194
195 fixS *
196 fix_new (frag, where, size, add_symbol, offset, pcrel, r_type)
197 fragS *frag; /* Which frag? */
198 int where; /* Where in that frag? */
199 int size; /* 1, 2, or 4 usually. */
200 symbolS *add_symbol; /* X_add_symbol. */
201 offsetT offset; /* X_add_number. */
202 int pcrel; /* TRUE if PC-relative relocation. */
203 #ifdef BFD_ASSEMBLER
204 bfd_reloc_code_real_type r_type; /* Relocation type */
205 #else
206 int r_type; /* Relocation type */
207 #endif
208 {
209 return fix_new_internal (frag, where, size, add_symbol,
210 (symbolS *) NULL, offset, pcrel, r_type);
211 }
212
213 /* Create a fixup for an expression. Currently we only support fixups
214 for difference expressions. That is itself more than most object
215 file formats support anyhow. */
216
217 fixS *
218 fix_new_exp (frag, where, size, exp, pcrel, r_type)
219 fragS *frag; /* Which frag? */
220 int where; /* Where in that frag? */
221 int size; /* 1, 2, or 4 usually. */
222 expressionS *exp; /* Expression. */
223 int pcrel; /* TRUE if PC-relative relocation. */
224 #ifdef BFD_ASSEMBLER
225 bfd_reloc_code_real_type r_type; /* Relocation type */
226 #else
227 int r_type; /* Relocation type */
228 #endif
229 {
230 symbolS *add = NULL;
231 symbolS *sub = NULL;
232 offsetT off = 0;
233
234 switch (exp->X_op)
235 {
236 case O_absent:
237 break;
238
239 case O_add:
240 /* This comes up when _GLOBAL_OFFSET_TABLE_+(.-L0) is read, if
241 the difference expression cannot immediately be reduced. */
242 {
243 extern symbolS *make_expr_symbol ();
244 symbolS *stmp = make_expr_symbol (exp);
245 exp->X_op = O_symbol;
246 exp->X_op_symbol = 0;
247 exp->X_add_symbol = stmp;
248 exp->X_add_number = 0;
249 return fix_new_exp (frag, where, size, exp, pcrel, r_type);
250 }
251
252 case O_uminus:
253 sub = exp->X_add_symbol;
254 off = exp->X_add_number;
255 break;
256
257 case O_subtract:
258 sub = exp->X_op_symbol;
259 /* Fall through. */
260 case O_symbol:
261 add = exp->X_add_symbol;
262 /* Fall through. */
263 case O_constant:
264 off = exp->X_add_number;
265 break;
266
267 default:
268 as_bad ("expression too complex for fixup");
269 }
270
271 return fix_new_internal (frag, where, size, add, sub, off,
272 pcrel, r_type);
273 }
274
275 /* Append a string onto another string, bumping the pointer along. */
276 void
277 append (charPP, fromP, length)
278 char **charPP;
279 char *fromP;
280 unsigned long length;
281 {
282 /* Don't trust memcpy() of 0 chars. */
283 if (length == 0)
284 return;
285
286 memcpy (*charPP, fromP, length);
287 *charPP += length;
288 }
289
290 #ifndef BFD_ASSEMBLER
291 int section_alignment[SEG_MAXIMUM_ORDINAL];
292 #endif
293
294 /*
295 * This routine records the largest alignment seen for each segment.
296 * If the beginning of the segment is aligned on the worst-case
297 * boundary, all of the other alignments within it will work. At
298 * least one object format really uses this info.
299 */
300 void
301 record_alignment (seg, align)
302 /* Segment to which alignment pertains */
303 segT seg;
304 /* Alignment, as a power of 2 (e.g., 1 => 2-byte boundary, 2 => 4-byte
305 boundary, etc.) */
306 int align;
307 {
308 #ifdef BFD_ASSEMBLER
309 if (align > bfd_get_section_alignment (stdoutput, seg))
310 bfd_set_section_alignment (stdoutput, seg, align);
311 #else
312 if (align > section_alignment[(int) seg])
313 section_alignment[(int) seg] = align;
314 #endif
315 }
316
317 #ifdef BFD_ASSEMBLER
318
319 /* Reset the section indices after removing the gas created sections. */
320
321 static void
322 renumber_sections (abfd, sec, countparg)
323 bfd *abfd;
324 asection *sec;
325 PTR countparg;
326 {
327 int *countp = (int *) countparg;
328
329 sec->index = *countp;
330 ++*countp;
331 }
332
333 #endif /* defined (BFD_ASSEMBLER) */
334
335 #if defined (BFD_ASSEMBLER) || ! defined (BFD)
336
337 static fragS *
338 chain_frchains_together_1 (section, frchp)
339 segT section;
340 struct frchain *frchp;
341 {
342 fragS dummy, *prev_frag = &dummy;
343 #ifdef BFD_ASSEMBLER
344 fixS fix_dummy, *prev_fix = &fix_dummy;
345 #endif
346
347 for (; frchp && frchp->frch_seg == section; frchp = frchp->frch_next)
348 {
349 prev_frag->fr_next = frchp->frch_root;
350 prev_frag = frchp->frch_last;
351 #ifdef BFD_ASSEMBLER
352 if (frchp->fix_root != (fixS *) NULL)
353 {
354 if (seg_info (section)->fix_root == (fixS *) NULL)
355 seg_info (section)->fix_root = frchp->fix_root;
356 prev_fix->fx_next = frchp->fix_root;
357 seg_info (section)->fix_tail = frchp->fix_tail;
358 prev_fix = frchp->fix_tail;
359 }
360 #endif
361 }
362 prev_frag->fr_next = 0;
363 return prev_frag;
364 }
365
366 #endif
367
368 #ifdef BFD_ASSEMBLER
369
370 static void
371 chain_frchains_together (abfd, section, xxx)
372 bfd *abfd; /* unused */
373 segT section;
374 PTR xxx; /* unused */
375 {
376 segment_info_type *info;
377
378 /* BFD may have introduced its own sections without using
379 subseg_new, so it is possible that seg_info is NULL. */
380 info = seg_info (section);
381 if (info != (segment_info_type *) NULL)
382 info->frchainP->frch_last
383 = chain_frchains_together_1 (section, info->frchainP);
384
385 /* Now that we've chained the frags together, we must add new fixups
386 to the segment, not to the frag chain. */
387 frags_chained = 1;
388 }
389
390 #endif
391
392 #if !defined (BFD) && !defined (BFD_ASSEMBLER)
393
394 void
395 remove_subsegs (head, seg, root, last)
396 frchainS *head;
397 int seg;
398 fragS **root;
399 fragS **last;
400 {
401 *root = head->frch_root;
402 *last = chain_frchains_together_1 (seg, head);
403 }
404
405 #endif /* BFD */
406
407 #if defined (BFD_ASSEMBLER) || !defined (BFD)
408
409 #ifdef BFD_ASSEMBLER
410 static void
411 cvt_frag_to_fill (sec, fragP)
412 segT sec;
413 fragS *fragP;
414 #else
415 static void
416 cvt_frag_to_fill (headersP, sec, fragP)
417 object_headers *headersP;
418 segT sec;
419 fragS *fragP;
420 #endif
421 {
422 switch (fragP->fr_type)
423 {
424 case rs_align:
425 case rs_align_code:
426 case rs_org:
427 case rs_space:
428 #ifdef HANDLE_ALIGN
429 HANDLE_ALIGN (fragP);
430 #endif
431 know (fragP->fr_next != NULL);
432 fragP->fr_offset = (fragP->fr_next->fr_address
433 - fragP->fr_address
434 - fragP->fr_fix) / fragP->fr_var;
435 if (fragP->fr_offset < 0)
436 {
437 as_bad ("attempt to .org/.space backwards? (%ld)",
438 (long) fragP->fr_offset);
439 }
440 fragP->fr_type = rs_fill;
441 break;
442
443 case rs_fill:
444 break;
445
446 case rs_machine_dependent:
447 #ifdef BFD_ASSEMBLER
448 md_convert_frag (stdoutput, sec, fragP);
449 #else
450 md_convert_frag (headersP, sec, fragP);
451 #endif
452
453 assert (fragP->fr_next == NULL || (fragP->fr_next->fr_address - fragP->fr_address == fragP->fr_fix));
454
455 /*
456 * After md_convert_frag, we make the frag into a ".space 0".
457 * Md_convert_frag() should set up any fixSs and constants
458 * required.
459 */
460 frag_wane (fragP);
461 break;
462
463 #ifndef WORKING_DOT_WORD
464 case rs_broken_word:
465 {
466 struct broken_word *lie;
467
468 if (fragP->fr_subtype)
469 {
470 fragP->fr_fix += md_short_jump_size;
471 for (lie = (struct broken_word *) (fragP->fr_symbol);
472 lie && lie->dispfrag == fragP;
473 lie = lie->next_broken_word)
474 if (lie->added == 1)
475 fragP->fr_fix += md_long_jump_size;
476 }
477 frag_wane (fragP);
478 }
479 break;
480 #endif
481
482 default:
483 BAD_CASE (fragP->fr_type);
484 break;
485 }
486 }
487
488 #endif /* defined (BFD_ASSEMBLER) || !defined (BFD) */
489
490 #ifdef BFD_ASSEMBLER
491 static void
492 relax_and_size_seg (abfd, sec, xxx)
493 bfd *abfd;
494 asection *sec;
495 PTR xxx;
496 {
497 flagword flags;
498 fragS *fragp;
499 segment_info_type *seginfo;
500 int x;
501 valueT size, newsize;
502
503 flags = bfd_get_section_flags (abfd, sec);
504
505 seginfo = seg_info (sec);
506 if (seginfo && seginfo->frchainP)
507 {
508 relax_segment (seginfo->frchainP->frch_root, sec);
509 for (fragp = seginfo->frchainP->frch_root; fragp; fragp = fragp->fr_next)
510 cvt_frag_to_fill (sec, fragp);
511 for (fragp = seginfo->frchainP->frch_root;
512 fragp->fr_next;
513 fragp = fragp->fr_next)
514 /* walk to last elt */;
515 size = fragp->fr_address + fragp->fr_fix;
516 }
517 else
518 size = 0;
519
520 if (size > 0 && ! seginfo->bss)
521 flags |= SEC_HAS_CONTENTS;
522
523 /* @@ This is just an approximation. */
524 if (seginfo && seginfo->fix_root)
525 flags |= SEC_RELOC;
526 else
527 flags &= ~SEC_RELOC;
528 x = bfd_set_section_flags (abfd, sec, flags);
529 assert (x == true);
530
531 newsize = md_section_align (sec, size);
532 x = bfd_set_section_size (abfd, sec, newsize);
533 assert (x == true);
534
535 /* If the size had to be rounded up, add some padding in the last
536 non-empty frag. */
537 assert (newsize >= size);
538 if (size != newsize)
539 {
540 fragS *last = seginfo->frchainP->frch_last;
541 fragp = seginfo->frchainP->frch_root;
542 while (fragp->fr_next != last)
543 fragp = fragp->fr_next;
544 last->fr_address = size;
545 fragp->fr_offset += newsize - size;
546 }
547
548 #ifdef tc_frob_section
549 tc_frob_section (sec);
550 #endif
551 #ifdef obj_frob_section
552 obj_frob_section (sec);
553 #endif
554 }
555
556 #ifdef DEBUG2
557 static void
558 dump_section_relocs (abfd, sec, stream_)
559 bfd *abfd;
560 asection *sec;
561 char *stream_;
562 {
563 FILE *stream = (FILE *) stream_;
564 segment_info_type *seginfo = seg_info (sec);
565 fixS *fixp = seginfo->fix_root;
566
567 if (!fixp)
568 return;
569
570 fprintf (stream, "sec %s relocs:\n", sec->name);
571 while (fixp)
572 {
573 symbolS *s = fixp->fx_addsy;
574 if (s)
575 {
576 fprintf (stream, " %08x: %s(%s", fixp, S_GET_NAME (s),
577 s->bsym->section->name);
578 if (s->bsym->flags & BSF_SECTION_SYM)
579 {
580 fprintf (stream, " section sym");
581 if (S_GET_VALUE (s))
582 fprintf (stream, "+%x", S_GET_VALUE (s));
583 }
584 else
585 fprintf (stream, "+%x", S_GET_VALUE (s));
586 fprintf (stream, ")+%x\n", fixp->fx_offset);
587 }
588 else
589 fprintf (stream, " %08x: type %d no sym\n", fixp, fixp->fx_r_type);
590 fixp = fixp->fx_next;
591 }
592 }
593 #else
594 #define dump_section_relocs(ABFD,SEC,STREAM) (void)(ABFD,SEC,STREAM)
595 #endif
596
597 #ifndef EMIT_SECTION_SYMBOLS
598 #define EMIT_SECTION_SYMBOLS 1
599 #endif
600
601 static void
602 adjust_reloc_syms (abfd, sec, xxx)
603 bfd *abfd;
604 asection *sec;
605 PTR xxx;
606 {
607 segment_info_type *seginfo = seg_info (sec);
608 fixS *fixp;
609
610 if (seginfo == NULL)
611 return;
612
613 dump_section_relocs (abfd, sec, stderr);
614
615 for (fixp = seginfo->fix_root; fixp; fixp = fixp->fx_next)
616 if (fixp->fx_done)
617 /* ignore it */;
618 else if (fixp->fx_addsy)
619 {
620 symbolS *sym;
621 asection *symsec;
622
623 reduce_fixup:
624
625 #ifdef DEBUG5
626 fprintf (stderr, "\n\nadjusting fixup:\n");
627 print_fixup (fixp);
628 #endif
629
630 sym = fixp->fx_addsy;
631 symsec = sym->bsym->section;
632
633 /* If it's one of these sections, assume the symbol is
634 definitely going to be output. The code in
635 md_estimate_size_before_relax in tc-mips.c uses this test
636 as well, so if you change this code you should look at that
637 code. */
638 if (bfd_is_und_section (symsec)
639 || bfd_is_abs_section (symsec)
640 || bfd_is_com_section (symsec))
641 {
642 fixp->fx_addsy->sy_used_in_reloc = 1;
643 #ifdef UNDEFINED_DIFFERENCE_OK
644 /* We have the difference of an undefined symbol and some
645 other symbol. Make sure to mark the other symbol as used
646 in a relocation so that it will always be output. */
647 if (fixp->fx_subsy)
648 fixp->fx_subsy->sy_used_in_reloc = 1;
649 #endif
650 goto done;
651 }
652
653 /* Since we're reducing to section symbols, don't attempt to reduce
654 anything that's already using one. */
655 if (sym->bsym->flags & BSF_SECTION_SYM)
656 {
657 fixp->fx_addsy->sy_used_in_reloc = 1;
658 goto done;
659 }
660
661 /* Is there some other reason we can't adjust this one? (E.g.,
662 call/bal links in i960-bout symbols.) */
663 #ifdef obj_fix_adjustable
664 if (! obj_fix_adjustable (fixp))
665 {
666 fixp->fx_addsy->sy_used_in_reloc = 1;
667 goto done;
668 }
669 #endif
670
671 /* Is there some other (target cpu dependent) reason we can't adjust
672 this one? (E.g. relocations involving function addresses on
673 the PA. */
674 #ifdef tc_fix_adjustable
675 if (! tc_fix_adjustable (fixp))
676 {
677 fixp->fx_addsy->sy_used_in_reloc = 1;
678 goto done;
679 }
680 #endif
681
682 /* For PIC support: We may get expressions like
683 "_GLOBAL_OFFSET_TABLE_+(.-L5)" where "." and "L5" may not
684 necessarily have had a fixed difference initially. But now
685 it should be a known constant, so we can reduce it. Since
686 we can't easily handle a symbol value that looks like
687 someUndefinedSymbol+const, though, we convert the fixup to
688 access the undefined symbol directly, and discard the
689 intermediate symbol. */
690 if (S_GET_SEGMENT (sym) == expr_section
691 && sym->sy_value.X_op == O_add
692 && (resolve_symbol_value (sym->sy_value.X_add_symbol),
693 S_GET_SEGMENT (sym->sy_value.X_add_symbol) == undefined_section)
694 && (resolve_symbol_value (sym->sy_value.X_op_symbol),
695 S_GET_SEGMENT (sym->sy_value.X_op_symbol) == absolute_section))
696 {
697 fixp->fx_offset += S_GET_VALUE (sym->sy_value.X_op_symbol);
698 fixp->fx_offset += sym->sy_value.X_add_number;
699 fixp->fx_addsy = sym->sy_value.X_add_symbol;
700 goto reduce_fixup;
701 }
702
703 /* If the section symbol isn't going to be output, the relocs
704 at least should still work. If not, figure out what to do
705 when we run into that case. */
706 fixp->fx_offset += S_GET_VALUE (sym);
707 fixp->fx_addsy = section_symbol (symsec);
708 fixp->fx_addsy->sy_used_in_reloc = 1;
709
710 done:
711 ;
712 }
713 #if 1/*def RELOC_REQUIRES_SYMBOL*/
714 else
715 {
716 /* There was no symbol required by this relocation. However,
717 BFD doesn't really handle relocations without symbols well.
718 (At least, the COFF support doesn't.) So for now we fake up
719 a local symbol in the absolute section. */
720
721 fixp->fx_addsy = section_symbol (absolute_section);
722 /* fixp->fx_addsy->sy_used_in_reloc = 1; */
723 }
724 #endif
725
726 dump_section_relocs (abfd, sec, stderr);
727 }
728
729 static void
730 write_relocs (abfd, sec, xxx)
731 bfd *abfd;
732 asection *sec;
733 PTR xxx;
734 {
735 segment_info_type *seginfo = seg_info (sec);
736 int i;
737 unsigned int n;
738 arelent **relocs;
739 fixS *fixp;
740 char *err;
741
742 /* If seginfo is NULL, we did not create this section; don't do
743 anything with it. */
744 if (seginfo == NULL)
745 return;
746
747 fixup_segment (seginfo->fix_root, sec);
748
749 n = 0;
750 for (fixp = seginfo->fix_root; fixp; fixp = fixp->fx_next)
751 n++;
752
753 #ifndef RELOC_EXPANSION_POSSIBLE
754 /* Set up reloc information as well. */
755 relocs = (arelent **) bfd_alloc_by_size_t (stdoutput,
756 n * sizeof (arelent *));
757 memset ((char*)relocs, 0, n * sizeof (arelent*));
758
759 i = 0;
760 for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
761 {
762 arelent *reloc;
763 bfd_reloc_status_type s;
764
765 if (fixp->fx_done)
766 {
767 n--;
768 continue;
769 }
770 reloc = tc_gen_reloc (sec, fixp);
771 if (!reloc)
772 {
773 n--;
774 continue;
775 }
776 if (fixp->fx_where + fixp->fx_size
777 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
778 abort ();
779
780 s = bfd_install_relocation (stdoutput, reloc,
781 fixp->fx_frag->fr_literal,
782 fixp->fx_frag->fr_address,
783 sec, &err);
784 switch (s)
785 {
786 case bfd_reloc_ok:
787 break;
788 case bfd_reloc_overflow:
789 as_bad_where (fixp->fx_file, fixp->fx_line, "relocation overflow");
790 break;
791 default:
792 as_fatal ("%s:%u: bad return from bfd_perform_relocation",
793 fixp->fx_file, fixp->fx_line);
794 }
795 relocs[i++] = reloc;
796 }
797 #else
798 n = n * MAX_RELOC_EXPANSION;
799 /* Set up reloc information as well. */
800 relocs = (arelent **) bfd_alloc_by_size_t (stdoutput,
801 n * sizeof (arelent *));
802
803 i = 0;
804 for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
805 {
806 arelent **reloc;
807 char *data;
808 bfd_reloc_status_type s;
809 int j;
810
811 if (fixp->fx_done)
812 {
813 n--;
814 continue;
815 }
816 reloc = tc_gen_reloc (sec, fixp);
817
818 for (j = 0; reloc[j]; j++)
819 {
820 relocs[i++] = reloc[j];
821 assert(i <= n);
822 }
823 data = fixp->fx_frag->fr_literal + fixp->fx_where;
824 if (fixp->fx_where + fixp->fx_size
825 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
826 abort ();
827 for (j = 0; reloc[j]; j++)
828 {
829 s = bfd_install_relocation (stdoutput, reloc[j],
830 fixp->fx_frag->fr_literal,
831 fixp->fx_frag->fr_address,
832 sec, &err);
833 switch (s)
834 {
835 case bfd_reloc_ok:
836 break;
837 case bfd_reloc_overflow:
838 as_bad_where (fixp->fx_file, fixp->fx_line,
839 "relocation overflow");
840 break;
841 default:
842 as_fatal ("%s:%u: bad return from bfd_perform_relocation",
843 fixp->fx_file, fixp->fx_line);
844 }
845 }
846 }
847 n = i;
848 #endif
849
850 #ifdef DEBUG4
851 {
852 int i, j, nsyms;
853 asymbol **sympp;
854 sympp = bfd_get_outsymbols (stdoutput);
855 nsyms = bfd_get_symcount (stdoutput);
856 for (i = 0; i < n; i++)
857 if (((*relocs[i]->sym_ptr_ptr)->flags & BSF_SECTION_SYM) == 0)
858 {
859 for (j = 0; j < nsyms; j++)
860 if (sympp[j] == *relocs[i]->sym_ptr_ptr)
861 break;
862 if (j == nsyms)
863 abort ();
864 }
865 }
866 #endif
867
868 if (n)
869 bfd_set_reloc (stdoutput, sec, relocs, n);
870 else
871 bfd_set_section_flags (abfd, sec,
872 (bfd_get_section_flags (abfd, sec)
873 & (flagword) ~SEC_RELOC));
874
875 #ifdef DEBUG3
876 {
877 int i;
878 arelent *r;
879 asymbol *s;
880 fprintf (stderr, "relocs for sec %s\n", sec->name);
881 for (i = 0; i < n; i++)
882 {
883 r = relocs[i];
884 s = *r->sym_ptr_ptr;
885 fprintf (stderr, " reloc %2d @%08x off %4x : sym %-10s addend %x\n",
886 i, r, r->address, s->name, r->addend);
887 }
888 }
889 #endif
890 }
891
892 static void
893 write_contents (abfd, sec, xxx)
894 bfd *abfd;
895 asection *sec;
896 PTR xxx;
897 {
898 segment_info_type *seginfo = seg_info (sec);
899 unsigned long offset = 0;
900 fragS *f;
901
902 /* Write out the frags. */
903 if (seginfo == NULL
904 || ! (bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS))
905 return;
906
907 for (f = seginfo->frchainP->frch_root;
908 f;
909 f = f->fr_next)
910 {
911 int x;
912 unsigned long fill_size;
913 char *fill_literal;
914 long count;
915
916 assert (f->fr_type == rs_fill);
917 if (f->fr_fix)
918 {
919 x = bfd_set_section_contents (stdoutput, sec,
920 f->fr_literal, (file_ptr) offset,
921 (bfd_size_type) f->fr_fix);
922 if (x == false)
923 {
924 bfd_perror (stdoutput->filename);
925 as_perror ("FATAL: Can't write %s", stdoutput->filename);
926 exit (EXIT_FAILURE);
927 }
928 offset += f->fr_fix;
929 }
930 fill_literal = f->fr_literal + f->fr_fix;
931 fill_size = f->fr_var;
932 count = f->fr_offset;
933 assert (count >= 0);
934 if (fill_size && count)
935 #ifdef BFD_FAST_SECTION_FILL
936 {
937 char buf[256];
938 if (fill_size > sizeof(buf)) {
939 /* Do it the old way. Can this ever happen? */
940 while (count--)
941 {
942 x = bfd_set_section_contents (stdoutput, sec,
943 fill_literal, (file_ptr) offset,
944 (bfd_size_type) fill_size);
945 if (x == false)
946 {
947 bfd_perror (stdoutput->filename);
948 as_perror ("FATAL: Can't write %s", stdoutput->filename);
949 exit (EXIT_FAILURE);
950 }
951 offset += fill_size;
952 }
953 }
954 else {
955 /* Build a buffer full of fill objects and output it as
956 * often as necessary. This saves on the overhead of potentially
957 * lots of bfd_set_section_contents calls.
958 */
959 int n_per_buf, i;
960 if (fill_size == 1)
961 {
962 n_per_buf = sizeof (buf);
963 memset (buf, *fill_literal, n_per_buf);
964 }
965 else
966 {
967 char *bufp;
968 n_per_buf = sizeof(buf)/fill_size;
969 for (i = n_per_buf, bufp = buf; i; i--, bufp += fill_size)
970 memcpy(bufp, fill_literal, fill_size);
971 }
972 for (; count > 0; count -= n_per_buf)
973 {
974 n_per_buf = n_per_buf > count ? count : n_per_buf;
975 x = bfd_set_section_contents (stdoutput, sec,
976 buf, (file_ptr) offset,
977 (bfd_size_type) n_per_buf * fill_size);
978 if (x != true)
979 as_fatal ("Cannot write to output file.");
980 offset += n_per_buf * fill_size;
981 }
982 }
983 }
984 #else
985 while (count--)
986 {
987 x = bfd_set_section_contents (stdoutput, sec,
988 fill_literal, (file_ptr) offset,
989 (bfd_size_type) fill_size);
990 if (x != true)
991 as_fatal ("Cannot write to output file.");
992 offset += fill_size;
993 }
994 #endif
995 }
996 }
997 #endif
998
999 #if defined(BFD_ASSEMBLER) || (!defined (BFD) && !defined(OBJ_AOUT))
1000 static void
1001 merge_data_into_text ()
1002 {
1003 #if defined(BFD_ASSEMBLER) || defined(MANY_SEGMENTS)
1004 seg_info (text_section)->frchainP->frch_last->fr_next =
1005 seg_info (data_section)->frchainP->frch_root;
1006 seg_info (text_section)->frchainP->frch_last =
1007 seg_info (data_section)->frchainP->frch_last;
1008 seg_info (data_section)->frchainP = 0;
1009 #else
1010 fixS *tmp;
1011
1012 text_last_frag->fr_next = data_frag_root;
1013 text_last_frag = data_last_frag;
1014 data_last_frag = NULL;
1015 data_frag_root = NULL;
1016 if (text_fix_root)
1017 {
1018 for (tmp = text_fix_root; tmp->fx_next; tmp = tmp->fx_next);;
1019 tmp->fx_next = data_fix_root;
1020 text_fix_tail = data_fix_tail;
1021 }
1022 else
1023 text_fix_root = data_fix_root;
1024 data_fix_root = NULL;
1025 #endif
1026 }
1027 #endif /* BFD_ASSEMBLER || (! BFD && ! OBJ_AOUT) */
1028
1029 #if !defined (BFD_ASSEMBLER) && !defined (BFD)
1030 static void
1031 relax_and_size_all_segments ()
1032 {
1033 fragS *fragP;
1034
1035 relax_segment (text_frag_root, SEG_TEXT);
1036 relax_segment (data_frag_root, SEG_DATA);
1037 relax_segment (bss_frag_root, SEG_BSS);
1038 /*
1039 * Now the addresses of frags are correct within the segment.
1040 */
1041
1042 know (text_last_frag->fr_type == rs_fill && text_last_frag->fr_offset == 0);
1043 H_SET_TEXT_SIZE (&headers, text_last_frag->fr_address);
1044 text_last_frag->fr_address = H_GET_TEXT_SIZE (&headers);
1045
1046 /*
1047 * Join the 2 segments into 1 huge segment.
1048 * To do this, re-compute every rn_address in the SEG_DATA frags.
1049 * Then join the data frags after the text frags.
1050 *
1051 * Determine a_data [length of data segment].
1052 */
1053 if (data_frag_root)
1054 {
1055 register relax_addressT slide;
1056
1057 know ((text_last_frag->fr_type == rs_fill) && (text_last_frag->fr_offset == 0));
1058
1059 H_SET_DATA_SIZE (&headers, data_last_frag->fr_address);
1060 data_last_frag->fr_address = H_GET_DATA_SIZE (&headers);
1061 slide = H_GET_TEXT_SIZE (&headers); /* & in file of the data segment. */
1062 #ifdef OBJ_BOUT
1063 #define RoundUp(N,S) (((N)+(S)-1)&-(S))
1064 /* For b.out: If the data section has a strict alignment
1065 requirement, its load address in the .o file will be
1066 rounded up from the size of the text section. These
1067 two values are *not* the same! Similarly for the bss
1068 section.... */
1069 slide = RoundUp (slide, 1 << section_alignment[SEG_DATA]);
1070 #endif
1071
1072 for (fragP = data_frag_root; fragP; fragP = fragP->fr_next)
1073 {
1074 fragP->fr_address += slide;
1075 } /* for each data frag */
1076
1077 know (text_last_frag != 0);
1078 text_last_frag->fr_next = data_frag_root;
1079 }
1080 else
1081 {
1082 H_SET_DATA_SIZE (&headers, 0);
1083 }
1084
1085 #ifdef OBJ_BOUT
1086 /* See above comments on b.out data section address. */
1087 {
1088 long bss_vma;
1089 if (data_last_frag == 0)
1090 bss_vma = H_GET_TEXT_SIZE (&headers);
1091 else
1092 bss_vma = data_last_frag->fr_address;
1093 bss_vma = RoundUp (bss_vma, 1 << section_alignment[SEG_BSS]);
1094 bss_address_frag.fr_address = bss_vma;
1095 }
1096 #else /* ! OBJ_BOUT */
1097 bss_address_frag.fr_address = (H_GET_TEXT_SIZE (&headers) +
1098 H_GET_DATA_SIZE (&headers));
1099
1100 #endif /* ! OBJ_BOUT */
1101
1102 /* Slide all the frags */
1103 if (bss_frag_root)
1104 {
1105 relax_addressT slide = bss_address_frag.fr_address;
1106
1107 for (fragP = bss_frag_root; fragP; fragP = fragP->fr_next)
1108 {
1109 fragP->fr_address += slide;
1110 } /* for each bss frag */
1111 }
1112
1113 if (bss_last_frag)
1114 H_SET_BSS_SIZE (&headers,
1115 bss_last_frag->fr_address - bss_frag_root->fr_address);
1116 else
1117 H_SET_BSS_SIZE (&headers, 0);
1118 }
1119 #endif /* ! BFD_ASSEMBLER && ! BFD */
1120
1121 #if defined (BFD_ASSEMBLER) || !defined (BFD)
1122
1123 #ifdef BFD_ASSEMBLER
1124 static void
1125 set_symtab ()
1126 {
1127 int nsyms;
1128 asymbol **asympp;
1129 symbolS *symp;
1130 boolean result;
1131 extern PTR bfd_alloc PARAMS ((bfd *, size_t));
1132
1133 /* Count symbols. We can't rely on a count made by the loop in
1134 write_object_file, because *_frob_file may add a new symbol or
1135 two. */
1136 nsyms = 0;
1137 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1138 nsyms++;
1139
1140 if (nsyms)
1141 {
1142 int i;
1143
1144 asympp = (asymbol **) bfd_alloc (stdoutput,
1145 nsyms * sizeof (asymbol *));
1146 symp = symbol_rootP;
1147 for (i = 0; i < nsyms; i++, symp = symbol_next (symp))
1148 {
1149 asympp[i] = symp->bsym;
1150 symp->written = 1;
1151 }
1152 }
1153 else
1154 asympp = 0;
1155 result = bfd_set_symtab (stdoutput, asympp, nsyms);
1156 assert (result == true);
1157 symbol_table_frozen = 1;
1158 }
1159 #endif
1160
1161 void
1162 write_object_file ()
1163 {
1164 struct frchain *frchainP; /* Track along all frchains. */
1165 #if ! defined (BFD_ASSEMBLER) || ! defined (WORKING_DOT_WORD)
1166 fragS *fragP; /* Track along all frags. */
1167 #endif
1168
1169 /* Do we really want to write it? */
1170 {
1171 int n_warns, n_errs;
1172 n_warns = had_warnings ();
1173 n_errs = had_errors ();
1174 /* The -Z flag indicates that an object file should be generated,
1175 regardless of warnings and errors. */
1176 if (flag_always_generate_output)
1177 {
1178 if (n_warns || n_errs)
1179 as_warn ("%d error%s, %d warning%s, generating bad object file.\n",
1180 n_errs, n_errs == 1 ? "" : "s",
1181 n_warns, n_warns == 1 ? "" : "s");
1182 }
1183 else
1184 {
1185 if (n_errs)
1186 as_fatal ("%d error%s, %d warning%s, no object file generated.\n",
1187 n_errs, n_errs == 1 ? "" : "s",
1188 n_warns, n_warns == 1 ? "" : "s");
1189 }
1190 }
1191
1192 #ifdef OBJ_VMS
1193 /* Under VMS we try to be compatible with VAX-11 "C". Thus, we call
1194 a routine to check for the definition of the procedure "_main",
1195 and if so -- fix it up so that it can be program entry point. */
1196 vms_check_for_main ();
1197 #endif /* OBJ_VMS */
1198
1199 /* After every sub-segment, we fake an ".align ...". This conforms to
1200 BSD4.2 brane-damage. We then fake ".fill 0" because that is the kind of
1201 frag that requires least thought. ".align" frags like to have a
1202 following frag since that makes calculating their intended length
1203 trivial.
1204
1205 @@ Is this really necessary?? */
1206 #ifndef SUB_SEGMENT_ALIGN
1207 #ifdef BFD_ASSEMBLER
1208 #define SUB_SEGMENT_ALIGN(SEG) (0)
1209 #else
1210 #define SUB_SEGMENT_ALIGN(SEG) (2)
1211 #endif
1212 #endif
1213 for (frchainP = frchain_root; frchainP; frchainP = frchainP->frch_next)
1214 {
1215 subseg_set (frchainP->frch_seg, frchainP->frch_subseg);
1216 frag_align (SUB_SEGMENT_ALIGN (now_seg), NOP_OPCODE);
1217 /* frag_align will have left a new frag.
1218 Use this last frag for an empty ".fill".
1219
1220 For this segment ...
1221 Create a last frag. Do not leave a "being filled in frag". */
1222 frag_wane (frag_now);
1223 frag_now->fr_fix = 0;
1224 know (frag_now->fr_next == NULL);
1225 }
1226
1227 /* From now on, we don't care about sub-segments. Build one frag chain
1228 for each segment. Linked thru fr_next. */
1229
1230 #ifdef BFD_ASSEMBLER
1231 /* Remove the sections created by gas for its own purposes. */
1232 {
1233 asection **seclist, *sec;
1234 int i;
1235
1236 seclist = &stdoutput->sections;
1237 while (seclist && *seclist)
1238 {
1239 sec = *seclist;
1240 while (sec == reg_section || sec == expr_section)
1241 {
1242 sec = sec->next;
1243 *seclist = sec;
1244 stdoutput->section_count--;
1245 if (!sec)
1246 break;
1247 }
1248 if (*seclist)
1249 seclist = &(*seclist)->next;
1250 }
1251 i = 0;
1252 bfd_map_over_sections (stdoutput, renumber_sections, &i);
1253 }
1254
1255 bfd_map_over_sections (stdoutput, chain_frchains_together, (char *) 0);
1256 #else
1257 remove_subsegs (frchain_root, SEG_TEXT, &text_frag_root, &text_last_frag);
1258 remove_subsegs (data0_frchainP, SEG_DATA, &data_frag_root, &data_last_frag);
1259 remove_subsegs (bss0_frchainP, SEG_BSS, &bss_frag_root, &bss_last_frag);
1260 #endif
1261
1262 /* We have two segments. If user gave -R flag, then we must put the
1263 data frags into the text segment. Do this before relaxing so
1264 we know to take advantage of -R and make shorter addresses. */
1265 #if !defined (OBJ_AOUT) || defined (BFD_ASSEMBLER)
1266 if (flag_readonly_data_in_text)
1267 {
1268 merge_data_into_text ();
1269 }
1270 #endif
1271
1272 #ifdef BFD_ASSEMBLER
1273 bfd_map_over_sections (stdoutput, relax_and_size_seg, (char *) 0);
1274 #else
1275 relax_and_size_all_segments ();
1276 #endif /* BFD_ASSEMBLER */
1277
1278 #ifndef BFD_ASSEMBLER
1279 /*
1280 *
1281 * Crawl the symbol chain.
1282 *
1283 * For each symbol whose value depends on a frag, take the address of
1284 * that frag and subsume it into the value of the symbol.
1285 * After this, there is just one way to lookup a symbol value.
1286 * Values are left in their final state for object file emission.
1287 * We adjust the values of 'L' local symbols, even if we do
1288 * not intend to emit them to the object file, because their values
1289 * are needed for fix-ups.
1290 *
1291 * Unless we saw a -L flag, remove all symbols that begin with 'L'
1292 * from the symbol chain. (They are still pointed to by the fixes.)
1293 *
1294 * Count the remaining symbols.
1295 * Assign a symbol number to each symbol.
1296 * Count the number of string-table chars we will emit.
1297 * Put this info into the headers as appropriate.
1298 *
1299 */
1300 know (zero_address_frag.fr_address == 0);
1301 string_byte_count = sizeof (string_byte_count);
1302
1303 obj_crawl_symbol_chain (&headers);
1304
1305 if (string_byte_count == sizeof (string_byte_count))
1306 string_byte_count = 0;
1307
1308 H_SET_STRING_SIZE (&headers, string_byte_count);
1309
1310 /*
1311 * Addresses of frags now reflect addresses we use in the object file.
1312 * Symbol values are correct.
1313 * Scan the frags, converting any ".org"s and ".align"s to ".fill"s.
1314 * Also converting any machine-dependent frags using md_convert_frag();
1315 */
1316 subseg_change (SEG_TEXT, 0);
1317
1318 for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
1319 {
1320 cvt_frag_to_fill (&headers, SEG_TEXT, fragP);
1321
1322 /* Some assert macros don't work with # directives mixed in. */
1323 #ifndef NDEBUG
1324 if (!(fragP->fr_next == NULL
1325 #ifdef OBJ_BOUT
1326 || fragP->fr_next == data_frag_root
1327 #endif
1328 || ((fragP->fr_next->fr_address - fragP->fr_address)
1329 == (fragP->fr_fix + fragP->fr_offset * fragP->fr_var))))
1330 abort ();
1331 #endif
1332 }
1333 #endif /* ! BFD_ASSEMBLER */
1334
1335 #ifndef WORKING_DOT_WORD
1336 {
1337 struct broken_word *lie;
1338 struct broken_word **prevP;
1339
1340 prevP = &broken_words;
1341 for (lie = broken_words; lie; lie = lie->next_broken_word)
1342 if (!lie->added)
1343 {
1344 expressionS exp;
1345
1346 exp.X_op = O_subtract;
1347 exp.X_add_symbol = lie->add;
1348 exp.X_op_symbol = lie->sub;
1349 exp.X_add_number = lie->addnum;
1350 #ifdef BFD_ASSEMBLER
1351 #ifdef TC_CONS_FIX_NEW
1352 TC_CONS_FIX_NEW (lie->frag,
1353 lie->word_goes_here - lie->frag->fr_literal,
1354 2, &exp);
1355 #else
1356 fix_new_exp (lie->frag,
1357 lie->word_goes_here - lie->frag->fr_literal,
1358 2, &exp, 0, BFD_RELOC_NONE);
1359 #endif
1360 #else
1361 #if defined(TC_SPARC) || defined(TC_A29K) || defined(NEED_FX_R_TYPE)
1362 fix_new_exp (lie->frag,
1363 lie->word_goes_here - lie->frag->fr_literal,
1364 2, &exp, 0, NO_RELOC);
1365 #else
1366 #ifdef TC_NS32K
1367 fix_new_ns32k_exp (lie->frag,
1368 lie->word_goes_here - lie->frag->fr_literal,
1369 2, &exp, 0, 0, 2, 0, 0);
1370 #else
1371 fix_new_exp (lie->frag,
1372 lie->word_goes_here - lie->frag->fr_literal,
1373 2, &exp, 0, 0);
1374 #endif /* TC_NS32K */
1375 #endif /* TC_SPARC|TC_A29K|NEED_FX_R_TYPE */
1376 #endif /* BFD_ASSEMBLER */
1377 *prevP = lie->next_broken_word;
1378 }
1379 else
1380 prevP = &(lie->next_broken_word);
1381
1382 for (lie = broken_words; lie;)
1383 {
1384 struct broken_word *untruth;
1385 char *table_ptr;
1386 addressT table_addr;
1387 addressT from_addr, to_addr;
1388 int n, m;
1389
1390 fragP = lie->dispfrag;
1391
1392 /* Find out how many broken_words go here. */
1393 n = 0;
1394 for (untruth = lie; untruth && untruth->dispfrag == fragP; untruth = untruth->next_broken_word)
1395 if (untruth->added == 1)
1396 n++;
1397
1398 table_ptr = lie->dispfrag->fr_opcode;
1399 table_addr = lie->dispfrag->fr_address + (table_ptr - lie->dispfrag->fr_literal);
1400 /* Create the jump around the long jumps. This is a short
1401 jump from table_ptr+0 to table_ptr+n*long_jump_size. */
1402 from_addr = table_addr;
1403 to_addr = table_addr + md_short_jump_size + n * md_long_jump_size;
1404 md_create_short_jump (table_ptr, from_addr, to_addr, lie->dispfrag, lie->add);
1405 table_ptr += md_short_jump_size;
1406 table_addr += md_short_jump_size;
1407
1408 for (m = 0; lie && lie->dispfrag == fragP; m++, lie = lie->next_broken_word)
1409 {
1410 if (lie->added == 2)
1411 continue;
1412 /* Patch the jump table */
1413 /* This is the offset from ??? to table_ptr+0 */
1414 to_addr = table_addr - S_GET_VALUE (lie->sub);
1415 #ifdef BFD_ASSEMBLER
1416 to_addr -= lie->sub->sy_frag->fr_address;
1417 #endif
1418 md_number_to_chars (lie->word_goes_here, to_addr, 2);
1419 for (untruth = lie->next_broken_word; untruth && untruth->dispfrag == fragP; untruth = untruth->next_broken_word)
1420 {
1421 if (untruth->use_jump == lie)
1422 md_number_to_chars (untruth->word_goes_here, to_addr, 2);
1423 }
1424
1425 /* Install the long jump */
1426 /* this is a long jump from table_ptr+0 to the final target */
1427 from_addr = table_addr;
1428 to_addr = S_GET_VALUE (lie->add) + lie->addnum;
1429 #ifdef BFD_ASSEMBLER
1430 to_addr += lie->add->sy_frag->fr_address;
1431 #endif
1432 md_create_long_jump (table_ptr, from_addr, to_addr, lie->dispfrag, lie->add);
1433 table_ptr += md_long_jump_size;
1434 table_addr += md_long_jump_size;
1435 }
1436 }
1437 }
1438 #endif /* not WORKING_DOT_WORD */
1439
1440 #ifndef BFD_ASSEMBLER
1441 #ifndef OBJ_VMS
1442 { /* not vms */
1443 char *the_object_file;
1444 long object_file_size;
1445 /*
1446 * Scan every FixS performing fixups. We had to wait until now to do
1447 * this because md_convert_frag() may have made some fixSs.
1448 */
1449 int trsize, drsize;
1450
1451 subseg_change (SEG_TEXT, 0);
1452 trsize = md_reloc_size * fixup_segment (text_fix_root, SEG_TEXT);
1453 subseg_change (SEG_DATA, 0);
1454 drsize = md_reloc_size * fixup_segment (data_fix_root, SEG_DATA);
1455 H_SET_RELOCATION_SIZE (&headers, trsize, drsize);
1456
1457 /* FIXME move this stuff into the pre-write-hook */
1458 H_SET_MAGIC_NUMBER (&headers, magic_number_for_object_file);
1459 H_SET_ENTRY_POINT (&headers, 0);
1460
1461 obj_pre_write_hook (&headers); /* extra coff stuff */
1462
1463 object_file_size = H_GET_FILE_SIZE (&headers);
1464 next_object_file_charP = the_object_file = xmalloc (object_file_size);
1465
1466 output_file_create (out_file_name);
1467
1468 obj_header_append (&next_object_file_charP, &headers);
1469
1470 know ((next_object_file_charP - the_object_file) == H_GET_HEADER_SIZE (&headers));
1471
1472 /*
1473 * Emit code.
1474 */
1475 for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
1476 {
1477 register long count;
1478 register char *fill_literal;
1479 register long fill_size;
1480
1481 PROGRESS (1);
1482 know (fragP->fr_type == rs_fill);
1483 append (&next_object_file_charP, fragP->fr_literal, (unsigned long) fragP->fr_fix);
1484 fill_literal = fragP->fr_literal + fragP->fr_fix;
1485 fill_size = fragP->fr_var;
1486 know (fragP->fr_offset >= 0);
1487
1488 for (count = fragP->fr_offset; count; count--)
1489 {
1490 append (&next_object_file_charP, fill_literal, (unsigned long) fill_size);
1491 } /* for each */
1492
1493 } /* for each code frag. */
1494
1495 know ((next_object_file_charP - the_object_file) == (H_GET_HEADER_SIZE (&headers) + H_GET_TEXT_SIZE (&headers) + H_GET_DATA_SIZE (&headers)));
1496
1497 /*
1498 * Emit relocations.
1499 */
1500 obj_emit_relocations (&next_object_file_charP, text_fix_root, (relax_addressT) 0);
1501 know ((next_object_file_charP - the_object_file) == (H_GET_HEADER_SIZE (&headers) + H_GET_TEXT_SIZE (&headers) + H_GET_DATA_SIZE (&headers) + H_GET_TEXT_RELOCATION_SIZE (&headers)));
1502 #ifdef TC_I960
1503 /* Make addresses in data relocation directives relative to beginning of
1504 * first data fragment, not end of last text fragment: alignment of the
1505 * start of the data segment may place a gap between the segments.
1506 */
1507 obj_emit_relocations (&next_object_file_charP, data_fix_root, data0_frchainP->frch_root->fr_address);
1508 #else /* TC_I960 */
1509 obj_emit_relocations (&next_object_file_charP, data_fix_root, text_last_frag->fr_address);
1510 #endif /* TC_I960 */
1511
1512 know ((next_object_file_charP - the_object_file) == (H_GET_HEADER_SIZE (&headers) + H_GET_TEXT_SIZE (&headers) + H_GET_DATA_SIZE (&headers) + H_GET_TEXT_RELOCATION_SIZE (&headers) + H_GET_DATA_RELOCATION_SIZE (&headers)));
1513
1514 /*
1515 * Emit line number entries.
1516 */
1517 OBJ_EMIT_LINENO (&next_object_file_charP, lineno_rootP, the_object_file);
1518 know ((next_object_file_charP - the_object_file) == (H_GET_HEADER_SIZE (&headers) + H_GET_TEXT_SIZE (&headers) + H_GET_DATA_SIZE (&headers) + H_GET_TEXT_RELOCATION_SIZE (&headers) + H_GET_DATA_RELOCATION_SIZE (&headers) + H_GET_LINENO_SIZE (&headers)));
1519
1520 /*
1521 * Emit symbols.
1522 */
1523 obj_emit_symbols (&next_object_file_charP, symbol_rootP);
1524 know ((next_object_file_charP - the_object_file) == (H_GET_HEADER_SIZE (&headers) + H_GET_TEXT_SIZE (&headers) + H_GET_DATA_SIZE (&headers) + H_GET_TEXT_RELOCATION_SIZE (&headers) + H_GET_DATA_RELOCATION_SIZE (&headers) + H_GET_LINENO_SIZE (&headers) + H_GET_SYMBOL_TABLE_SIZE (&headers)));
1525
1526 /*
1527 * Emit strings.
1528 */
1529
1530 if (string_byte_count > 0)
1531 {
1532 obj_emit_strings (&next_object_file_charP);
1533 } /* only if we have a string table */
1534
1535 #ifdef BFD_HEADERS
1536 bfd_seek (stdoutput, 0, 0);
1537 bfd_write (the_object_file, 1, object_file_size, stdoutput);
1538 #else
1539
1540 /* Write the data to the file */
1541 output_file_append (the_object_file, object_file_size, out_file_name);
1542 free (the_object_file);
1543 #endif
1544 } /* non vms output */
1545 #else /* OBJ_VMS */
1546 /*
1547 * Now do the VMS-dependent part of writing the object file
1548 */
1549 vms_write_object_file (H_GET_TEXT_SIZE (&headers),
1550 H_GET_DATA_SIZE (&headers),
1551 H_GET_BSS_SIZE (&headers),
1552 text_frag_root, data_frag_root);
1553 #endif /* OBJ_VMS */
1554 #else /* BFD_ASSEMBLER */
1555
1556 /* Resolve symbol values. This needs to be done before processing
1557 the relocations. */
1558 if (symbol_rootP)
1559 {
1560 symbolS *symp;
1561
1562 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1563 if (!symp->sy_resolved)
1564 resolve_symbol_value (symp);
1565 }
1566
1567 PROGRESS (1);
1568
1569 bfd_map_over_sections (stdoutput, adjust_reloc_syms, (char *)0);
1570
1571 /* Set up symbol table, and write it out. */
1572 if (symbol_rootP)
1573 {
1574 symbolS *symp;
1575
1576 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1577 {
1578 int punt = 0;
1579 const char *name;
1580
1581 name = S_GET_NAME (symp);
1582 if (name)
1583 {
1584 const char *name2 = decode_local_label_name ((char *)S_GET_NAME (symp));
1585 /* They only differ if `name' is a fb or dollar local
1586 label name. */
1587 if (name2 != name && ! S_IS_DEFINED (symp))
1588 as_bad ("local label %s is not defined", name2);
1589 }
1590
1591 /* Do it again, because adjust_reloc_syms might introduce
1592 more symbols. They'll probably only be section symbols,
1593 but they'll still need to have the values computed. */
1594 if (! symp->sy_resolved)
1595 {
1596 if (symp->sy_value.X_op == O_constant)
1597 {
1598 /* This is the normal case; skip the call. */
1599 S_SET_VALUE (symp,
1600 (S_GET_VALUE (symp)
1601 + symp->sy_frag->fr_address));
1602 symp->sy_resolved = 1;
1603 }
1604 else
1605 resolve_symbol_value (symp);
1606 }
1607
1608 /* So far, common symbols have been treated like undefined symbols.
1609 Put them in the common section now. */
1610 if (S_IS_DEFINED (symp) == 0
1611 && S_GET_VALUE (symp) != 0)
1612 S_SET_SEGMENT (symp, bfd_com_section_ptr);
1613 #if 0
1614 printf ("symbol `%s'\n\t@%x: value=%d flags=%x seg=%s\n",
1615 S_GET_NAME (symp), symp,
1616 S_GET_VALUE (symp),
1617 symp->bsym->flags,
1618 segment_name (symp->bsym->section));
1619 #endif
1620
1621 #ifdef obj_frob_symbol
1622 obj_frob_symbol (symp, punt);
1623 #endif
1624 #ifdef tc_frob_symbol
1625 if (! punt || symp->sy_used_in_reloc)
1626 tc_frob_symbol (symp, punt);
1627 #endif
1628
1629 /* If we don't want to keep this symbol, splice it out of
1630 the chain now. If EMIT_SECTION_SYMBOLS is 0, we never
1631 want section symbols. Otherwise, we skip local symbols
1632 and symbols that the frob_symbol macros told us to punt,
1633 but we keep such symbols if they are used in relocs. */
1634 if ((! EMIT_SECTION_SYMBOLS
1635 && (symp->bsym->flags & BSF_SECTION_SYM) != 0)
1636 /* Note that S_IS_EXTERN and S_IS_LOCAL are not always
1637 opposites. Sometimes the former checks flags and the
1638 latter examines the name... */
1639 || (!S_IS_EXTERN (symp)
1640 && (S_IS_LOCAL (symp) || punt)
1641 && ! symp->sy_used_in_reloc))
1642 {
1643 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1644 /* After symbol_remove, symbol_next(symp) still returns
1645 the one that came after it in the chain. So we don't
1646 need to do any extra cleanup work here. */
1647
1648 continue;
1649 }
1650
1651 /* Make sure we really got a value for the symbol. */
1652 if (! symp->sy_resolved)
1653 {
1654 as_bad ("can't resolve value for symbol \"%s\"",
1655 S_GET_NAME (symp));
1656 symp->sy_resolved = 1;
1657 }
1658
1659 /* Set the value into the BFD symbol. Up til now the value
1660 has only been kept in the gas symbolS struct. */
1661 symp->bsym->value = S_GET_VALUE (symp);
1662 }
1663 }
1664
1665 PROGRESS (1);
1666
1667 /* Now do any format-specific adjustments to the symbol table, such
1668 as adding file symbols. */
1669 #ifdef obj_adjust_symtab
1670 obj_adjust_symtab ();
1671 #endif
1672
1673 /* Now that all the sizes are known, and contents correct, we can
1674 start writing to the file. */
1675 set_symtab ();
1676
1677 /* If *_frob_file changes the symbol value at this point, it is
1678 responsible for moving the changed value into symp->bsym->value
1679 as well. Hopefully all symbol value changing can be done in
1680 *_frob_symbol. */
1681 #ifdef tc_frob_file
1682 tc_frob_file ();
1683 #endif
1684 #ifdef obj_frob_file
1685 obj_frob_file ();
1686 #endif
1687
1688 bfd_map_over_sections (stdoutput, write_relocs, (char *) 0);
1689
1690 bfd_map_over_sections (stdoutput, write_contents, (char *) 0);
1691 #endif /* BFD_ASSEMBLER */
1692 }
1693 #endif /* ! BFD */
1694
1695 /*
1696 * relax_segment()
1697 *
1698 * Now we have a segment, not a crowd of sub-segments, we can make fr_address
1699 * values.
1700 *
1701 * Relax the frags.
1702 *
1703 * After this, all frags in this segment have addresses that are correct
1704 * within the segment. Since segments live in different file addresses,
1705 * these frag addresses may not be the same as final object-file addresses.
1706 */
1707
1708 #ifndef md_relax_frag
1709
1710 /* Subroutines of relax_segment. */
1711 static int
1712 is_dnrange (f1, f2)
1713 struct frag *f1;
1714 struct frag *f2;
1715 {
1716 for (; f1; f1 = f1->fr_next)
1717 if (f1->fr_next == f2)
1718 return 1;
1719 return 0;
1720 }
1721
1722 #endif /* ! defined (md_relax_frag) */
1723
1724 /* Relax_align. Advance location counter to next address that has 'alignment'
1725 lowest order bits all 0s, return size of adjustment made. */
1726 static relax_addressT
1727 relax_align (address, alignment)
1728 register relax_addressT address; /* Address now. */
1729 register int alignment; /* Alignment (binary). */
1730 {
1731 relax_addressT mask;
1732 relax_addressT new_address;
1733
1734 mask = ~((~0) << alignment);
1735 new_address = (address + mask) & (~mask);
1736 #ifdef LINKER_RELAXING_SHRINKS_ONLY
1737 if (linkrelax)
1738 /* We must provide lots of padding, so the linker can discard it
1739 when needed. The linker will not add extra space, ever. */
1740 new_address += (1 << alignment);
1741 #endif
1742 return (new_address - address);
1743 }
1744
1745 void
1746 relax_segment (segment_frag_root, segment)
1747 struct frag *segment_frag_root;
1748 segT segment;
1749 {
1750 register struct frag *fragP;
1751 register relax_addressT address;
1752 #if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
1753 know (segment == SEG_DATA || segment == SEG_TEXT || segment == SEG_BSS);
1754 #endif
1755 /* In case md_estimate_size_before_relax() wants to make fixSs. */
1756 subseg_change (segment, 0);
1757
1758 /* For each frag in segment: count and store (a 1st guess of)
1759 fr_address. */
1760 address = 0;
1761 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
1762 {
1763 fragP->fr_address = address;
1764 address += fragP->fr_fix;
1765
1766 switch (fragP->fr_type)
1767 {
1768 case rs_fill:
1769 address += fragP->fr_offset * fragP->fr_var;
1770 break;
1771
1772 case rs_align:
1773 case rs_align_code:
1774 {
1775 int offset = relax_align (address, (int) fragP->fr_offset);
1776 if (offset % fragP->fr_var != 0)
1777 {
1778 as_bad ("alignment padding (%d bytes) not a multiple of %ld",
1779 offset, (long) fragP->fr_var);
1780 offset -= (offset % fragP->fr_var);
1781 }
1782 address += offset;
1783 }
1784 break;
1785
1786 case rs_org:
1787 case rs_space:
1788 /* Assume .org is nugatory. It will grow with 1st relax. */
1789 break;
1790
1791 case rs_machine_dependent:
1792 address += md_estimate_size_before_relax (fragP, segment);
1793 break;
1794
1795 #ifndef WORKING_DOT_WORD
1796 /* Broken words don't concern us yet */
1797 case rs_broken_word:
1798 break;
1799 #endif
1800
1801 default:
1802 BAD_CASE (fragP->fr_type);
1803 break;
1804 } /* switch(fr_type) */
1805 } /* for each frag in the segment */
1806
1807 /* Do relax(). */
1808 {
1809 long stretch; /* May be any size, 0 or negative. */
1810 /* Cumulative number of addresses we have */
1811 /* relaxed this pass. */
1812 /* We may have relaxed more than one address. */
1813 long stretched; /* Have we stretched on this pass? */
1814 /* This is 'cuz stretch may be zero, when, in fact some piece of code
1815 grew, and another shrank. If a branch instruction doesn't fit anymore,
1816 we could be scrod. */
1817
1818 do
1819 {
1820 stretch = stretched = 0;
1821 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
1822 {
1823 long growth = 0;
1824 unsigned long was_address;
1825 long offset;
1826 symbolS *symbolP;
1827 long target;
1828 long after;
1829
1830 was_address = fragP->fr_address;
1831 address = fragP->fr_address += stretch;
1832 symbolP = fragP->fr_symbol;
1833 offset = fragP->fr_offset;
1834
1835 switch (fragP->fr_type)
1836 {
1837 case rs_fill: /* .fill never relaxes. */
1838 growth = 0;
1839 break;
1840
1841 #ifndef WORKING_DOT_WORD
1842 /* JF: This is RMS's idea. I do *NOT* want to be blamed
1843 for it I do not want to write it. I do not want to have
1844 anything to do with it. This is not the proper way to
1845 implement this misfeature. */
1846 case rs_broken_word:
1847 {
1848 struct broken_word *lie;
1849 struct broken_word *untruth;
1850
1851 /* Yes this is ugly (storing the broken_word pointer
1852 in the symbol slot). Still, this whole chunk of
1853 code is ugly, and I don't feel like doing anything
1854 about it. Think of it as stubbornness in action. */
1855 growth = 0;
1856 for (lie = (struct broken_word *) (fragP->fr_symbol);
1857 lie && lie->dispfrag == fragP;
1858 lie = lie->next_broken_word)
1859 {
1860
1861 if (lie->added)
1862 continue;
1863
1864 offset = (lie->add->sy_frag->fr_address
1865 + S_GET_VALUE (lie->add)
1866 + lie->addnum
1867 - (lie->sub->sy_frag->fr_address
1868 + S_GET_VALUE (lie->sub)));
1869 if (offset <= -32768 || offset >= 32767)
1870 {
1871 if (flag_warn_displacement)
1872 {
1873 char buf[50];
1874 sprint_value (buf, (addressT) lie->addnum);
1875 as_warn (".word %s-%s+%s didn't fit",
1876 S_GET_NAME (lie->add),
1877 S_GET_NAME (lie->sub),
1878 buf);
1879 }
1880 lie->added = 1;
1881 if (fragP->fr_subtype == 0)
1882 {
1883 fragP->fr_subtype++;
1884 growth += md_short_jump_size;
1885 }
1886 for (untruth = lie->next_broken_word;
1887 untruth && untruth->dispfrag == lie->dispfrag;
1888 untruth = untruth->next_broken_word)
1889 if ((untruth->add->sy_frag == lie->add->sy_frag)
1890 && S_GET_VALUE (untruth->add) == S_GET_VALUE (lie->add))
1891 {
1892 untruth->added = 2;
1893 untruth->use_jump = lie;
1894 }
1895 growth += md_long_jump_size;
1896 }
1897 }
1898
1899 break;
1900 } /* case rs_broken_word */
1901 #endif
1902 case rs_align:
1903 case rs_align_code:
1904 growth = (relax_align ((relax_addressT) (address
1905 + fragP->fr_fix),
1906 (int) offset)
1907 - relax_align ((relax_addressT) (was_address
1908 + fragP->fr_fix),
1909 (int) offset));
1910 break;
1911
1912 case rs_org:
1913 target = offset;
1914
1915 if (symbolP)
1916 {
1917 #if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
1918 know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
1919 || (S_GET_SEGMENT (symbolP) == SEG_DATA)
1920 || (S_GET_SEGMENT (symbolP) == SEG_TEXT)
1921 || S_GET_SEGMENT (symbolP) == SEG_BSS);
1922 know (symbolP->sy_frag);
1923 know (!(S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
1924 || (symbolP->sy_frag == &zero_address_frag));
1925 #endif
1926 target += S_GET_VALUE (symbolP)
1927 + symbolP->sy_frag->fr_address;
1928 } /* if we have a symbol */
1929
1930 know (fragP->fr_next);
1931 after = fragP->fr_next->fr_address;
1932 growth = target - after;
1933 if (growth < 0)
1934 {
1935 /* Growth may be negative, but variable part of frag
1936 cannot have fewer than 0 chars. That is, we can't
1937 .org backwards. */
1938 as_bad ("attempt to .org backwards ignored");
1939 growth = 0;
1940 }
1941
1942 growth -= stretch; /* This is an absolute growth factor */
1943 break;
1944
1945 case rs_space:
1946 if (symbolP)
1947 {
1948 growth = S_GET_VALUE (symbolP);
1949 if (symbolP->sy_frag != &zero_address_frag)
1950 as_bad (".space specifies non-absolute value");
1951 fragP->fr_symbol = 0;
1952 if (growth < 0)
1953 {
1954 as_warn (".space or .fill with negative value, ignored");
1955 growth = 0;
1956 }
1957 }
1958 else
1959 growth = 0;
1960 break;
1961
1962 case rs_machine_dependent:
1963 #ifdef md_relax_frag
1964 growth = md_relax_frag (fragP, stretch);
1965 #else
1966 #ifdef TC_GENERIC_RELAX_TABLE
1967 /* The default way to relax a frag is to look through
1968 md_relax_table. */
1969 {
1970 const relax_typeS *this_type;
1971 const relax_typeS *start_type;
1972 relax_substateT next_state;
1973 relax_substateT this_state;
1974 long aim;
1975 const relax_typeS *table = TC_GENERIC_RELAX_TABLE;
1976
1977 this_state = fragP->fr_subtype;
1978 start_type = this_type = table + this_state;
1979 target = offset;
1980
1981 if (symbolP)
1982 {
1983 #ifndef DIFF_EXPR_OK
1984 #if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
1985 know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
1986 || (S_GET_SEGMENT (symbolP) == SEG_DATA)
1987 || (S_GET_SEGMENT (symbolP) == SEG_BSS)
1988 || (S_GET_SEGMENT (symbolP) == SEG_TEXT));
1989 #endif
1990 know (symbolP->sy_frag);
1991 #endif
1992 know (!(S_GET_SEGMENT (symbolP) == absolute_section)
1993 || symbolP->sy_frag == &zero_address_frag);
1994 target +=
1995 S_GET_VALUE (symbolP)
1996 + symbolP->sy_frag->fr_address;
1997
1998 /* If frag has yet to be reached on this pass,
1999 assume it will move by STRETCH just as we did.
2000 If this is not so, it will be because some frag
2001 between grows, and that will force another pass.
2002
2003 Beware zero-length frags.
2004
2005 There should be a faster way to do this. */
2006
2007 if (symbolP->sy_frag->fr_address >= was_address
2008 && is_dnrange (fragP, symbolP->sy_frag))
2009 {
2010 target += stretch;
2011 }
2012 }
2013
2014 aim = target - address - fragP->fr_fix;
2015 #ifdef TC_PCREL_ADJUST
2016 /* Currently only the ns32k family needs this */
2017 aim += TC_PCREL_ADJUST(fragP);
2018 #else
2019 /* This machine doesn't want to use pcrel_adjust.
2020 In that case, pcrel_adjust should be zero. */
2021 assert (fragP->fr_pcrel_adjust == 0);
2022 #endif
2023
2024 if (aim < 0)
2025 {
2026 /* Look backwards. */
2027 for (next_state = this_type->rlx_more; next_state;)
2028 if (aim >= this_type->rlx_backward)
2029 next_state = 0;
2030 else
2031 {
2032 /* Grow to next state. */
2033 this_state = next_state;
2034 this_type = table + this_state;
2035 next_state = this_type->rlx_more;
2036 }
2037 }
2038 else
2039 {
2040 #ifdef M68K_AIM_KLUDGE
2041 M68K_AIM_KLUDGE (aim, this_state, this_type);
2042 #endif
2043 /* Look forwards. */
2044 for (next_state = this_type->rlx_more; next_state;)
2045 if (aim <= this_type->rlx_forward)
2046 next_state = 0;
2047 else
2048 {
2049 /* Grow to next state. */
2050 this_state = next_state;
2051 this_type = table + this_state;
2052 next_state = this_type->rlx_more;
2053 }
2054 }
2055
2056 growth = this_type->rlx_length - start_type->rlx_length;
2057 if (growth != 0)
2058 fragP->fr_subtype = this_state;
2059 }
2060 #endif /* TC_GENERIC_RELAX_TABLE */
2061 #endif
2062 break;
2063
2064 default:
2065 BAD_CASE (fragP->fr_type);
2066 break;
2067 }
2068 if (growth)
2069 {
2070 stretch += growth;
2071 stretched++;
2072 }
2073 } /* For each frag in the segment. */
2074 }
2075 while (stretched); /* Until nothing further to relax. */
2076 } /* do_relax */
2077
2078 /*
2079 * We now have valid fr_address'es for each frag.
2080 */
2081
2082 /*
2083 * All fr_address's are correct, relative to their own segment.
2084 * We have made all the fixS we will ever make.
2085 */
2086 } /* relax_segment() */
2087
2088 #if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
2089
2090 #ifndef TC_RELOC_RTSYM_LOC_FIXUP
2091 #define TC_RELOC_RTSYM_LOC_FIXUP(X) (1)
2092 #endif
2093
2094 /* fixup_segment()
2095
2096 Go through all the fixS's in a segment and see which ones can be
2097 handled now. (These consist of fixS where we have since discovered
2098 the value of a symbol, or the address of the frag involved.)
2099 For each one, call md_apply_fix to put the fix into the frag data.
2100
2101 Result is a count of how many relocation structs will be needed to
2102 handle the remaining fixS's that we couldn't completely handle here.
2103 These will be output later by emit_relocations(). */
2104
2105 static long
2106 fixup_segment (fixP, this_segment_type)
2107 register fixS *fixP;
2108 segT this_segment_type; /* N_TYPE bits for segment. */
2109 {
2110 long seg_reloc_count = 0;
2111 symbolS *add_symbolP;
2112 symbolS *sub_symbolP;
2113 valueT add_number;
2114 int size;
2115 char *place;
2116 long where;
2117 int pcrel, plt;
2118 fragS *fragP;
2119 segT add_symbol_segment = absolute_section;
2120
2121 /* If the linker is doing the relaxing, we must not do any fixups.
2122
2123 Well, strictly speaking that's not true -- we could do any that are
2124 PC-relative and don't cross regions that could change size. And for the
2125 i960 (the only machine for which we've got a relaxing linker right now),
2126 we might be able to turn callx/callj into bal anyways in cases where we
2127 know the maximum displacement. */
2128 if (linkrelax)
2129 {
2130 for (; fixP; fixP = fixP->fx_next)
2131 seg_reloc_count++;
2132 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2133 return seg_reloc_count;
2134 }
2135
2136 for (; fixP; fixP = fixP->fx_next)
2137 {
2138 #ifdef DEBUG5
2139 fprintf (stderr, "\nprocessing fixup:\n");
2140 print_fixup (fixP);
2141 #endif
2142
2143 fragP = fixP->fx_frag;
2144 know (fragP);
2145 where = fixP->fx_where;
2146 place = fragP->fr_literal + where;
2147 size = fixP->fx_size;
2148 add_symbolP = fixP->fx_addsy;
2149 #ifdef TC_VALIDATE_FIX
2150 TC_VALIDATE_FIX (fixP, this_segment_type, skip);
2151 #endif
2152 sub_symbolP = fixP->fx_subsy;
2153 add_number = fixP->fx_offset;
2154 pcrel = fixP->fx_pcrel;
2155 plt = fixP->fx_plt;
2156
2157 if (add_symbolP)
2158 add_symbol_segment = S_GET_SEGMENT (add_symbolP);
2159
2160 if (sub_symbolP)
2161 {
2162 resolve_symbol_value (sub_symbolP);
2163 if (!add_symbolP)
2164 {
2165 /* Its just -sym */
2166 if (S_GET_SEGMENT (sub_symbolP) == absolute_section)
2167 add_number -= S_GET_VALUE (sub_symbolP);
2168 else if (pcrel
2169 && S_GET_SEGMENT (sub_symbolP) == this_segment_type)
2170 {
2171 /* Should try converting to a constant. */
2172 goto bad_sub_reloc;
2173 }
2174 else
2175 bad_sub_reloc:
2176 as_bad_where (fixP->fx_file, fixP->fx_line,
2177 "Negative of non-absolute symbol %s",
2178 S_GET_NAME (sub_symbolP));
2179 }
2180 else if ((S_GET_SEGMENT (sub_symbolP) == add_symbol_segment)
2181 && (SEG_NORMAL (add_symbol_segment)
2182 || (add_symbol_segment == absolute_section)))
2183 {
2184 /* Difference of 2 symbols from same segment.
2185 Can't make difference of 2 undefineds: 'value' means
2186 something different for N_UNDF. */
2187 #ifdef TC_I960
2188 /* Makes no sense to use the difference of 2 arbitrary symbols
2189 as the target of a call instruction. */
2190 if (fixP->fx_tcbit)
2191 as_bad_where (fixP->fx_file, fixP->fx_line,
2192 "callj to difference of 2 symbols");
2193 #endif /* TC_I960 */
2194 add_number += S_GET_VALUE (add_symbolP) -
2195 S_GET_VALUE (sub_symbolP);
2196
2197 add_symbolP = NULL;
2198 pcrel = 0; /* No further pcrel processing. */
2199
2200 /* Let the target machine make the final determination
2201 as to whether or not a relocation will be needed to
2202 handle this fixup. */
2203 if (!TC_FORCE_RELOCATION (fixP))
2204 {
2205 fixP->fx_pcrel = 0;
2206 fixP->fx_addsy = NULL;
2207 }
2208 }
2209 else
2210 {
2211 /* Different segments in subtraction. */
2212 know (!(S_IS_EXTERNAL (sub_symbolP)
2213 && (S_GET_SEGMENT (sub_symbolP) == absolute_section)));
2214
2215 if ((S_GET_SEGMENT (sub_symbolP) == absolute_section))
2216 add_number -= S_GET_VALUE (sub_symbolP);
2217
2218 #ifdef DIFF_EXPR_OK
2219 else if (S_GET_SEGMENT (sub_symbolP) == this_segment_type
2220 #if 0 /* Do this even if it's already described as pc-relative. For example,
2221 on the m68k, an operand of "pc@(foo-.-2)" should address "foo" in a
2222 pc-relative mode. */
2223 && pcrel
2224 #endif
2225 )
2226 {
2227 /* Make it pc-relative. */
2228 add_number += (md_pcrel_from (fixP)
2229 - S_GET_VALUE (sub_symbolP));
2230 pcrel = 1;
2231 fixP->fx_pcrel = 1;
2232 sub_symbolP = 0;
2233 fixP->fx_subsy = 0;
2234 }
2235 #endif
2236 #ifdef UNDEFINED_DIFFERENCE_OK
2237 /* The PA needs this for PIC code generation. We basically
2238 don't want to do anything if we have the difference of two
2239 symbols at this point. */
2240 else if (1)
2241 {
2242 /* Leave it alone. */
2243 }
2244 #endif
2245 #ifdef BFD_ASSEMBLER
2246 else if (fixP->fx_r_type == BFD_RELOC_GPREL32
2247 || fixP->fx_r_type == BFD_RELOC_GPREL16)
2248 {
2249 /* Leave it alone. */
2250 }
2251 #endif
2252 else
2253 {
2254 char buf[50];
2255 sprint_value (buf, fragP->fr_address + where);
2256 as_bad_where (fixP->fx_file, fixP->fx_line,
2257 "Can't emit reloc {- %s-seg symbol \"%s\"} @ file address %s.",
2258 segment_name (S_GET_SEGMENT (sub_symbolP)),
2259 S_GET_NAME (sub_symbolP), buf);
2260 }
2261 }
2262 }
2263
2264 if (add_symbolP)
2265 {
2266 if (add_symbol_segment == this_segment_type && pcrel && !plt
2267 && TC_RELOC_RTSYM_LOC_FIXUP (fixP))
2268 {
2269 /*
2270 * This fixup was made when the symbol's segment was
2271 * SEG_UNKNOWN, but it is now in the local segment.
2272 * So we know how to do the address without relocation.
2273 */
2274 #ifdef TC_I960
2275 /* reloc_callj() may replace a 'call' with a 'calls' or a
2276 'bal', in which cases it modifies *fixP as appropriate.
2277 In the case of a 'calls', no further work is required,
2278 and *fixP has been set up to make the rest of the code
2279 below a no-op. */
2280 reloc_callj (fixP);
2281 #endif /* TC_I960 */
2282
2283 add_number += S_GET_VALUE (add_symbolP);
2284 add_number -= md_pcrel_from (fixP);
2285 pcrel = 0; /* Lie. Don't want further pcrel processing. */
2286
2287 /* Let the target machine make the final determination
2288 as to whether or not a relocation will be needed to
2289 handle this fixup. */
2290 if (!TC_FORCE_RELOCATION (fixP))
2291 {
2292 fixP->fx_pcrel = 0;
2293 fixP->fx_addsy = NULL;
2294 }
2295 }
2296 else
2297 {
2298 if (add_symbol_segment == absolute_section)
2299 {
2300 #ifdef TC_I960
2301 /* See comment about reloc_callj() above. */
2302 reloc_callj (fixP);
2303 #endif /* TC_I960 */
2304 add_number += S_GET_VALUE (add_symbolP);
2305
2306 /* Let the target machine make the final determination
2307 as to whether or not a relocation will be needed to
2308 handle this fixup. */
2309 if (!TC_FORCE_RELOCATION (fixP))
2310 {
2311 fixP->fx_addsy = NULL;
2312 add_symbolP = NULL;
2313 }
2314 }
2315 else if (add_symbol_segment == undefined_section
2316 #ifdef BFD_ASSEMBLER
2317 || bfd_is_com_section (add_symbol_segment)
2318 #endif
2319 )
2320 {
2321 #ifdef TC_I960
2322 if ((int) fixP->fx_bit_fixP == 13)
2323 {
2324 /* This is a COBR instruction. They have only a
2325 * 13-bit displacement and are only to be used
2326 * for local branches: flag as error, don't generate
2327 * relocation.
2328 */
2329 as_bad_where (fixP->fx_file, fixP->fx_line,
2330 "can't use COBR format with external label");
2331 fixP->fx_addsy = NULL;
2332 fixP->fx_done = 1;
2333 continue;
2334 } /* COBR */
2335 #endif /* TC_I960 */
2336
2337 #ifdef OBJ_COFF
2338 #ifdef TE_I386AIX
2339 if (S_IS_COMMON (add_symbolP))
2340 add_number += S_GET_VALUE (add_symbolP);
2341 #endif /* TE_I386AIX */
2342 #endif /* OBJ_COFF */
2343 ++seg_reloc_count;
2344 }
2345 else
2346 {
2347 seg_reloc_count++;
2348 #if !defined (TC_I386) || !(defined (OBJ_ELF) || defined (OBJ_COFF))
2349 add_number += S_GET_VALUE (add_symbolP);
2350 #endif
2351 }
2352 }
2353 }
2354
2355 if (pcrel)
2356 {
2357 add_number -= md_pcrel_from (fixP);
2358 if (add_symbolP == 0)
2359 {
2360 #ifndef BFD_ASSEMBLER
2361 fixP->fx_addsy = &abs_symbol;
2362 #else
2363 fixP->fx_addsy = section_symbol (absolute_section);
2364 #endif
2365 fixP->fx_addsy->sy_used_in_reloc = 1;
2366 ++seg_reloc_count;
2367 }
2368 }
2369
2370 if (!fixP->fx_bit_fixP && size > 0)
2371 {
2372 valueT mask = 0;
2373 if (size < sizeof (mask))
2374 {
2375 /* set all bits to one */
2376 mask--;
2377 /* Technically, combining these produces an undefined result
2378 if size is sizeof (valueT), though I think these two
2379 half-way operations should both be defined. And the
2380 compiler should be able to combine them if it's valid on
2381 the host architecture. */
2382 mask <<= size * 4;
2383 mask <<= size * 4;
2384 if ((add_number & mask) != 0
2385 && (add_number & mask) != mask)
2386 {
2387 char buf[50], buf2[50];
2388 sprint_value (buf, fragP->fr_address + where);
2389 if (add_number > 1000)
2390 sprint_value (buf2, add_number);
2391 else
2392 sprintf (buf2, "%ld", (long) add_number);
2393 as_bad_where (fixP->fx_file, fixP->fx_line,
2394 "Value of %s too large for field of %d bytes at %s",
2395 buf2, size, buf);
2396 } /* generic error checking */
2397 }
2398 #ifdef WARN_SIGNED_OVERFLOW_WORD
2399 /* Warn if a .word value is too large when treated as a signed
2400 number. We already know it is not too negative. This is to
2401 catch over-large switches generated by gcc on the 68k. */
2402 if (!flag_signed_overflow_ok
2403 && size == 2
2404 && add_number > 0x7fff)
2405 as_bad_where (fixP->fx_file, fixP->fx_line,
2406 "Signed .word overflow; switch may be too large; %ld at 0x%lx",
2407 (long) add_number,
2408 (unsigned long) (fragP->fr_address + where));
2409 #endif
2410 } /* not a bit fix */
2411
2412 if (!fixP->fx_done)
2413 {
2414 #ifdef MD_APPLY_FIX3
2415 md_apply_fix3 (fixP, &add_number, this_segment_type);
2416 #else
2417 #ifdef BFD_ASSEMBLER
2418 md_apply_fix (fixP, &add_number);
2419 #else
2420 md_apply_fix (fixP, add_number);
2421 #endif
2422 #endif
2423
2424 #ifndef TC_HANDLES_FX_DONE
2425 /* If the tc-* files haven't been converted, assume it's handling
2426 it the old way, where a null fx_addsy means that the fix has
2427 been applied completely, and no further work is needed. */
2428 if (fixP->fx_addsy == 0 && fixP->fx_pcrel == 0)
2429 fixP->fx_done = 1;
2430 #endif
2431 }
2432 #ifdef TC_VALIDATE_FIX
2433 skip: ;
2434 #endif
2435 #ifdef DEBUG5
2436 fprintf (stderr, "result:\n");
2437 print_fixup (fixP);
2438 #endif
2439 } /* For each fixS in this segment. */
2440
2441 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2442 return seg_reloc_count;
2443 }
2444
2445 #endif /* defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS)) */
2446
2447 void
2448 number_to_chars_bigendian (buf, val, n)
2449 char *buf;
2450 valueT val;
2451 int n;
2452 {
2453 if (n > sizeof (val)|| n <= 0)
2454 abort ();
2455 while (n--)
2456 {
2457 buf[n] = val & 0xff;
2458 val >>= 8;
2459 }
2460 }
2461
2462 void
2463 number_to_chars_littleendian (buf, val, n)
2464 char *buf;
2465 valueT val;
2466 int n;
2467 {
2468 if (n > sizeof (val) || n <= 0)
2469 abort ();
2470 while (n--)
2471 {
2472 *buf++ = val & 0xff;
2473 val >>= 8;
2474 }
2475 }
2476
2477 /* for debugging */
2478 extern int indent_level;
2479 extern void print_symbol_value_1 ();
2480
2481 void
2482 print_fixup (fixp)
2483 fixS *fixp;
2484 {
2485 indent_level = 1;
2486 fprintf (stderr, "fix %lx %s:%d", (long) fixp, fixp->fx_file, fixp->fx_line);
2487 if (fixp->fx_pcrel)
2488 fprintf (stderr, " pcrel");
2489 if (fixp->fx_pcrel_adjust)
2490 fprintf (stderr, " pcrel_adjust=%d", fixp->fx_pcrel_adjust);
2491 if (fixp->fx_im_disp)
2492 {
2493 #ifdef TC_NS32K
2494 fprintf (stderr, " im_disp=%d", fixp->fx_im_disp);
2495 #else
2496 fprintf (stderr, " im_disp");
2497 #endif
2498 }
2499 if (fixp->fx_tcbit)
2500 fprintf (stderr, " tcbit");
2501 if (fixp->fx_done)
2502 fprintf (stderr, " done");
2503 fprintf (stderr, "\n size=%d frag=%lx where=%ld offset=%lx addnumber=%lx",
2504 fixp->fx_size, (long) fixp->fx_frag, (long) fixp->fx_where,
2505 (long) fixp->fx_offset, (long) fixp->fx_addnumber);
2506 #ifdef BFD_ASSEMBLER
2507 fprintf (stderr, "\n %s (%d)", bfd_get_reloc_code_name (fixp->fx_r_type),
2508 fixp->fx_r_type);
2509 #else
2510 #ifdef NEED_FX_R_TYPE
2511 fprintf (stderr, " r_type=%d", fixp->fx_r_type);
2512 #endif
2513 #endif
2514 if (fixp->fx_addsy)
2515 {
2516 fprintf (stderr, "\n +<");
2517 print_symbol_value_1 (stderr, fixp->fx_addsy);
2518 fprintf (stderr, ">");
2519 }
2520 if (fixp->fx_subsy)
2521 {
2522 fprintf (stderr, "\n -<");
2523 print_symbol_value_1 (stderr, fixp->fx_subsy);
2524 fprintf (stderr, ">");
2525 }
2526 fprintf (stderr, "\n");
2527 }
2528
2529 /* end of write.c */
This page took 0.082828 seconds and 5 git commands to generate.