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