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