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