* cpu-i386.c (i8086_arch): Architecture info for the i8086.
[deliverable/binutils-gdb.git] / gas / write.c
CommitLineData
fecd2382 1/* write.c - emit .o file
a043f579 2 Copyright (C) 1986, 87, 90, 91, 92, 93, 94, 95, 1996
5767cfb7 3 Free Software Foundation, Inc.
6efd877d 4
a39116f1 5 This file is part of GAS, the GNU Assembler.
6efd877d 6
a39116f1
RP
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.
6efd877d 11
a39116f1
RP
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.
6efd877d 16
a39116f1
RP
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
a2a5a4fa 19 the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
fecd2382 20
c593cf41 21/* This thing should be set up to do byteordering correctly. But... */
fecd2382
RP
22
23#include "as.h"
fecd2382
RP
24#include "subsegs.h"
25#include "obstack.h"
26#include "output-file.h"
27
d9d6f094
KR
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
43ca9aa6
KR
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. */
6d5460ab
RP
34#ifndef NOP_OPCODE
35#define NOP_OPCODE 0x00
36#endif
37
f5c32424
KR
38#ifndef TC_ADJUST_RELOC_COUNT
39#define TC_ADJUST_RELOC_COUNT(FIXP,COUNT)
40#endif
41
335d35c8
JL
42#ifndef TC_FORCE_RELOCATION
43#define TC_FORCE_RELOCATION(FIXP) 0
44#endif
45
96fe71e1
MM
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
43ca9aa6
KR
54#ifndef WORKING_DOT_WORD
55extern CONST int md_short_jump_size;
56extern CONST int md_long_jump_size;
57#endif
58
1cf7548e 59int symbol_table_frozen;
a55774a1 60void print_fixup PARAMS ((fixS *));
1cf7548e 61
1b96bdce 62#ifdef BFD_ASSEMBLER
a55774a1
KR
63static void renumber_sections PARAMS ((bfd *, asection *, PTR));
64
1b96bdce
ILT
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. */
69static int frags_chained = 0;
70#endif
71
43ca9aa6
KR
72#ifndef BFD_ASSEMBLER
73
45432836 74#ifndef MANY_SEGMENTS
09952cd9
KR
75struct frag *text_frag_root;
76struct frag *data_frag_root;
77struct frag *bss_frag_root;
fecd2382 78
09952cd9
KR
79struct frag *text_last_frag; /* Last frag in segment. */
80struct frag *data_last_frag; /* Last frag in segment. */
65bfcf2e 81static struct frag *bss_last_frag; /* Last frag in segment. */
45432836 82#endif
fecd2382 83
1cf7548e 84#ifndef BFD
fecd2382 85static object_headers headers;
80aab579
ILT
86#endif
87
88long string_byte_count;
fecd2382
RP
89char *next_object_file_charP; /* Tracks object file bytes. */
90
3eb802b5 91#ifndef OBJ_VMS
fecd2382 92int magic_number_for_object_file = DEFAULT_MAGIC_NUMBER_FOR_OBJECT_FILE;
3eb802b5 93#endif
fecd2382 94
43ca9aa6
KR
95#endif /* BFD_ASSEMBLER */
96
a043f579
ILT
97static int n_fixups;
98
7a0405b9 99#ifdef BFD_ASSEMBLER
b23f6743 100static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
5ac34ac3
ILT
101 symbolS *add, symbolS *sub,
102 offsetT offset, int pcrel,
7a0405b9 103 bfd_reloc_code_real_type r_type));
5ac34ac3 104#else
b23f6743 105static fixS *fix_new_internal PARAMS ((fragS *, int where, int size,
7a0405b9
ILT
106 symbolS *add, symbolS *sub,
107 offsetT offset, int pcrel,
108 int r_type));
5ac34ac3 109#endif
3f81f3cf 110#if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
6efd877d 111static long fixup_segment PARAMS ((fixS * fixP, segT this_segment_type));
80aab579 112#endif
d5364748 113static relax_addressT relax_align PARAMS ((relax_addressT addr, int align));
fecd2382
RP
114
115/*
116 * fix_new()
117 *
118 * Create a fixS in obstack 'notes'.
119 */
5ac34ac3
ILT
120static fixS *
121fix_new_internal (frag, where, size, add_symbol, sub_symbol, offset, pcrel,
122 r_type)
6efd877d
KR
123 fragS *frag; /* Which frag? */
124 int where; /* Where in that frag? */
b23f6743 125 int size; /* 1, 2, or 4 usually. */
6efd877d 126 symbolS *add_symbol; /* X_add_symbol. */
5ac34ac3 127 symbolS *sub_symbol; /* X_op_symbol. */
d5364748 128 offsetT offset; /* X_add_number. */
6efd877d 129 int pcrel; /* TRUE if PC-relative relocation. */
43ca9aa6
KR
130#ifdef BFD_ASSEMBLER
131 bfd_reloc_code_real_type r_type; /* Relocation type */
132#else
6efd877d 133 int r_type; /* Relocation type */
43ca9aa6 134#endif
fecd2382 135{
6efd877d
KR
136 fixS *fixP;
137
a043f579
ILT
138 n_fixups++;
139
6efd877d
KR
140 fixP = (fixS *) obstack_alloc (&notes, sizeof (fixS));
141
142 fixP->fx_frag = frag;
143 fixP->fx_where = where;
144 fixP->fx_size = size;
f00f5ecd
ILT
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 }
6efd877d
KR
151 fixP->fx_addsy = add_symbol;
152 fixP->fx_subsy = sub_symbol;
153 fixP->fx_offset = offset;
154 fixP->fx_pcrel = pcrel;
a55774a1 155 fixP->fx_plt = 0;
43ca9aa6 156#if defined(NEED_FX_R_TYPE) || defined (BFD_ASSEMBLER)
6efd877d 157 fixP->fx_r_type = r_type;
c593cf41 158#endif
6efd877d
KR
159 fixP->fx_im_disp = 0;
160 fixP->fx_pcrel_adjust = 0;
6efd877d 161 fixP->fx_bit_fixP = 0;
43ca9aa6 162 fixP->fx_addnumber = 0;
a58374d7 163 fixP->fx_tcbit = 0;
98c6bbbe 164 fixP->fx_done = 0;
43ca9aa6 165
f00f5ecd
ILT
166#ifdef TC_FIX_TYPE
167 TC_INIT_FIX_DATA(fixP);
43ca9aa6 168#endif
43ca9aa6 169
84fa9814
KR
170 as_where (&fixP->fx_file, &fixP->fx_line);
171
43ca9aa6
KR
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 {
6efd877d 178
43ca9aa6 179#ifdef BFD_ASSEMBLER
1b96bdce
ILT
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);
43ca9aa6 186#endif
09952cd9 187
f6e504fe 188#ifdef REVERSE_SORT_RELOCS
6efd877d 189
43ca9aa6
KR
190 fixP->fx_next = *seg_fix_rootP;
191 *seg_fix_rootP = fixP;
6efd877d 192
f6e504fe 193#else /* REVERSE_SORT_RELOCS */
6efd877d 194
43ca9aa6 195 fixP->fx_next = NULL;
6efd877d 196
43ca9aa6
KR
197 if (*seg_fix_tailP)
198 (*seg_fix_tailP)->fx_next = fixP;
199 else
200 *seg_fix_rootP = fixP;
201 *seg_fix_tailP = fixP;
6efd877d 202
f6e504fe 203#endif /* REVERSE_SORT_RELOCS */
6efd877d 204
43ca9aa6
KR
205 }
206
207 return fixP;
208}
209
5ac34ac3
ILT
210/* Create a fixup relative to a symbol (plus a constant). */
211
212fixS *
213fix_new (frag, where, size, add_symbol, offset, pcrel, r_type)
214 fragS *frag; /* Which frag? */
215 int where; /* Where in that frag? */
f7da4a99 216 int size; /* 1, 2, or 4 usually. */
5ac34ac3
ILT
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
234fixS *
235fix_new_exp (frag, where, size, exp, pcrel, r_type)
236 fragS *frag; /* Which frag? */
237 int where; /* Where in that frag? */
f7da4a99 238 int size; /* 1, 2, or 4 usually. */
5ac34ac3
ILT
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;
96fe71e1 250
5ac34ac3
ILT
251 switch (exp->X_op)
252 {
253 case O_absent:
254 break;
255
4acf8c78
KR
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
96fe71e1
MM
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;
8095b665
ILT
275#else
276#if defined(TC_RVA_RELOC)
96fe71e1
MM
277 r_type = TC_RVA_RELOC;
278#else
279 as_fatal("rva not supported");
8095b665 280#endif
96fe71e1
MM
281#endif
282 break;
283
b23f6743
KR
284 case O_uminus:
285 sub = exp->X_add_symbol;
286 off = exp->X_add_number;
287 break;
288
5ac34ac3
ILT
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
43ca9aa6
KR
307/* Append a string onto another string, bumping the pointer along. */
308void
309append (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
80aab579 318 memcpy (*charPP, fromP, length);
43ca9aa6
KR
319 *charPP += length;
320}
321
322#ifndef BFD_ASSEMBLER
323int 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 */
332void
333record_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{
5c800455
ILT
340 if (seg == absolute_section)
341 return;
43ca9aa6
KR
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
a55774a1
KR
351#ifdef BFD_ASSEMBLER
352
353/* Reset the section indices after removing the gas created sections. */
354
355static void
356renumber_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
43ca9aa6
KR
369#if defined (BFD_ASSEMBLER) || ! defined (BFD)
370
371static fragS *
372chain_frchains_together_1 (section, frchp)
373 segT section;
374 struct frchain *frchp;
375{
376 fragS dummy, *prev_frag = &dummy;
b04bc423 377#ifdef BFD_ASSEMBLER
3f81f3cf 378 fixS fix_dummy, *prev_fix = &fix_dummy;
b04bc423 379#endif
262b22cd 380
43ca9aa6
KR
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;
96fe71e1 385 assert (prev_frag->fr_type != 0);
3a0e38ee 386#ifdef BFD_ASSEMBLER
262b22cd
ILT
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;
1b96bdce 392 seg_info (section)->fix_tail = frchp->fix_tail;
262b22cd
ILT
393 prev_fix = frchp->fix_tail;
394 }
3a0e38ee 395#endif
43ca9aa6 396 }
96fe71e1 397 assert (prev_frag->fr_type != 0);
43ca9aa6
KR
398 prev_frag->fr_next = 0;
399 return prev_frag;
400}
401
402#endif
403
404#ifdef BFD_ASSEMBLER
405
406static void
407chain_frchains_together (abfd, section, xxx)
408 bfd *abfd; /* unused */
409 segT section;
a58374d7 410 PTR xxx; /* unused */
43ca9aa6 411{
f2f7d044
ILT
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)
0f894895
JL
418 info->frchainP->frch_last
419 = chain_frchains_together_1 (section, info->frchainP);
1b96bdce
ILT
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;
43ca9aa6
KR
424}
425
426#endif
542e1629 427
d5364748 428#if !defined (BFD) && !defined (BFD_ASSEMBLER)
65bfcf2e 429
6efd877d
KR
430void
431remove_subsegs (head, seg, root, last)
432 frchainS *head;
433 int seg;
434 fragS **root;
435 fragS **last;
65bfcf2e 436{
65bfcf2e 437 *root = head->frch_root;
43ca9aa6
KR
438 *last = chain_frchains_together_1 (seg, head);
439}
440
441#endif /* BFD */
442
80aab579
ILT
443#if defined (BFD_ASSEMBLER) || !defined (BFD)
444
43ca9aa6 445#ifdef BFD_ASSEMBLER
58d4951d
ILT
446static void
447cvt_frag_to_fill (sec, fragP)
448 segT sec;
43ca9aa6 449 fragS *fragP;
43ca9aa6 450#else
58d4951d 451static void
d4083e29 452cvt_frag_to_fill (headersP, sec, fragP)
3f81f3cf 453 object_headers *headersP;
d4083e29 454 segT sec;
58d4951d 455 fragS *fragP;
43ca9aa6 456#endif
58d4951d 457{
43ca9aa6 458 switch (fragP->fr_type)
6efd877d 459 {
43ca9aa6 460 case rs_align:
cd3b81bd 461 case rs_align_code:
43ca9aa6 462 case rs_org:
cd3b81bd 463 case rs_space:
43ca9aa6
KR
464#ifdef HANDLE_ALIGN
465 HANDLE_ALIGN (fragP);
466#endif
43ca9aa6 467 know (fragP->fr_next != NULL);
43ca9aa6
KR
468 fragP->fr_offset = (fragP->fr_next->fr_address
469 - fragP->fr_address
98c6bbbe 470 - fragP->fr_fix) / fragP->fr_var;
c151fd1e
KR
471 if (fragP->fr_offset < 0)
472 {
473 as_bad ("attempt to .org/.space backwards? (%ld)",
474 (long) fragP->fr_offset);
475 }
cd3b81bd 476 fragP->fr_type = rs_fill;
43ca9aa6 477 break;
65bfcf2e 478
43ca9aa6
KR
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
d4083e29 486 md_convert_frag (headersP, sec, fragP);
43ca9aa6
KR
487#endif
488
d5364748 489 assert (fragP->fr_next == NULL || (fragP->fr_next->fr_address - fragP->fr_address == fragP->fr_fix));
43ca9aa6
KR
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;
6efd877d 521 }
65bfcf2e 522}
6efd877d 523
80aab579
ILT
524#endif /* defined (BFD_ASSEMBLER) || !defined (BFD) */
525
43ca9aa6
KR
526#ifdef BFD_ASSEMBLER
527static void
528relax_and_size_seg (abfd, sec, xxx)
529 bfd *abfd;
530 asection *sec;
a58374d7 531 PTR xxx;
43ca9aa6
KR
532{
533 flagword flags;
13e9182d
KR
534 fragS *fragp;
535 segment_info_type *seginfo;
536 int x;
537 valueT size, newsize;
43ca9aa6 538
f00f5ecd
ILT
539 subseg_change (sec, 0);
540
43ca9aa6
KR
541 flags = bfd_get_section_flags (abfd, sec);
542
d9d6f094 543 seginfo = seg_info (sec);
13e9182d 544 if (seginfo && seginfo->frchainP)
43ca9aa6 545 {
13e9182d
KR
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;
a58374d7
ILT
557
558 if (size > 0 && ! seginfo->bss)
559 flags |= SEC_HAS_CONTENTS;
560
561 /* @@ This is just an approximation. */
5f6efd5a 562 if (seginfo && seginfo->fix_root)
a58374d7
ILT
563 flags |= SEC_RELOC;
564 else
565 flags &= ~SEC_RELOC;
566 x = bfd_set_section_flags (abfd, sec, flags);
567 assert (x == true);
568
20b39b6f
JL
569 newsize = md_section_align (sec, size);
570 x = bfd_set_section_size (abfd, sec, newsize);
13e9182d
KR
571 assert (x == true);
572
573 /* If the size had to be rounded up, add some padding in the last
574 non-empty frag. */
13e9182d
KR
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
43ca9aa6
KR
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
d5364748
KR
594#ifdef DEBUG2
595static void
596dump_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)
1cf7548e
KR
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 }
d5364748
KR
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
8095b665 632#define dump_section_relocs(ABFD,SEC,STREAM) ((void) 0)
d5364748
KR
633#endif
634
98c6bbbe
KR
635#ifndef EMIT_SECTION_SYMBOLS
636#define EMIT_SECTION_SYMBOLS 1
637#endif
638
d5364748
KR
639static void
640adjust_reloc_syms (abfd, sec, xxx)
641 bfd *abfd;
642 asection *sec;
a58374d7 643 PTR xxx;
d5364748
KR
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)
98c6bbbe
KR
654 if (fixp->fx_done)
655 /* ignore it */;
656 else if (fixp->fx_addsy)
d5364748 657 {
a55774a1 658 symbolS *sym;
4acf8c78
KR
659 asection *symsec;
660
661 reduce_fixup:
662
a55774a1
KR
663#ifdef DEBUG5
664 fprintf (stderr, "\n\nadjusting fixup:\n");
665 print_fixup (fixp);
666#endif
667
668 sym = fixp->fx_addsy;
4acf8c78 669 symsec = sym->bsym->section;
d5364748 670
e120d9fb 671 if (sym != NULL && sym->sy_mri_common)
1356d77d
ILT
672 {
673 /* These symbols are handled specially in fixup_segment. */
674 goto done;
675 }
676
8095b665
ILT
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
a58374d7
ILT
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. */
cd3b81bd 697 if (bfd_is_und_section (symsec)
d5364748 698 || bfd_is_com_section (symsec))
80aab579
ILT
699 {
700 fixp->fx_addsy->sy_used_in_reloc = 1;
d4083e29
KR
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
a55774a1 708 goto done;
80aab579 709 }
d5364748
KR
710
711 /* Since we're reducing to section symbols, don't attempt to reduce
712 anything that's already using one. */
98c6bbbe 713 if (sym->bsym->flags & BSF_SECTION_SYM)
80aab579
ILT
714 {
715 fixp->fx_addsy->sy_used_in_reloc = 1;
a55774a1 716 goto done;
80aab579 717 }
d5364748
KR
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))
80aab579
ILT
723 {
724 fixp->fx_addsy->sy_used_in_reloc = 1;
a55774a1 725 goto done;
80aab579 726 }
d5364748 727#endif
efa0c22e
KR
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))
20b39b6f
JL
734 {
735 fixp->fx_addsy->sy_used_in_reloc = 1;
a55774a1 736 goto done;
20b39b6f 737 }
efa0c22e
KR
738#endif
739
4acf8c78
KR
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;
a55774a1 757 fixp->fx_addsy = sym->sy_value.X_add_symbol;
4acf8c78
KR
758 goto reduce_fixup;
759 }
760
d5364748
KR
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);
6868afe6 765 fixp->fx_addsy = section_symbol (symsec);
80aab579 766 fixp->fx_addsy->sy_used_in_reloc = 1;
a55774a1
KR
767
768 done:
769 ;
d5364748 770 }
1cf7548e 771#if 1/*def RELOC_REQUIRES_SYMBOL*/
e67a0640
KR
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. */
e8501a72 778
1cf7548e 779 fixp->fx_addsy = section_symbol (absolute_section);
a55774a1 780/* fixp->fx_addsy->sy_used_in_reloc = 1; */
e67a0640
KR
781 }
782#endif
d5364748
KR
783
784 dump_section_relocs (abfd, sec, stderr);
785}
786
43ca9aa6 787static void
8d6c34a1 788write_relocs (abfd, sec, xxx)
43ca9aa6
KR
789 bfd *abfd;
790 asection *sec;
a58374d7 791 PTR xxx;
43ca9aa6
KR
792{
793 segment_info_type *seginfo = seg_info (sec);
80aab579
ILT
794 int i;
795 unsigned int n;
43ca9aa6
KR
796 arelent **relocs;
797 fixS *fixp;
98c6bbbe 798 char *err;
43ca9aa6 799
d5364748
KR
800 /* If seginfo is NULL, we did not create this section; don't do
801 anything with it. */
802 if (seginfo == NULL)
43ca9aa6
KR
803 return;
804
805 fixup_segment (seginfo->fix_root, sec);
806
3d3c5039 807 n = 0;
d5364748
KR
808 for (fixp = seginfo->fix_root; fixp; fixp = fixp->fx_next)
809 n++;
43ca9aa6 810
d5364748 811#ifndef RELOC_EXPANSION_POSSIBLE
43ca9aa6 812 /* Set up reloc information as well. */
43ca9aa6
KR
813 relocs = (arelent **) bfd_alloc_by_size_t (stdoutput,
814 n * sizeof (arelent *));
8d6c34a1 815 memset ((char*)relocs, 0, n * sizeof (arelent*));
43ca9aa6 816
3d3c5039
ILT
817 i = 0;
818 for (fixp = seginfo->fix_root; fixp != (fixS *) NULL; fixp = fixp->fx_next)
819 {
820 arelent *reloc;
3d3c5039 821 bfd_reloc_status_type s;
a043f579 822 symbolS *sym;
3d3c5039 823
98c6bbbe 824 if (fixp->fx_done)
3d3c5039 825 {
3d3c5039
ILT
826 n--;
827 continue;
828 }
a043f579
ILT
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
3d3c5039
ILT
839 reloc = tc_gen_reloc (sec, fixp);
840 if (!reloc)
841 {
842 n--;
843 continue;
844 }
c43d56f7 845 if (fixp->fx_where + fixp->fx_size
3d3c5039
ILT
846 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
847 abort ();
335d35c8 848
4acf8c78
KR
849 s = bfd_install_relocation (stdoutput, reloc,
850 fixp->fx_frag->fr_literal,
851 fixp->fx_frag->fr_address,
852 sec, &err);
3d3c5039
ILT
853 switch (s)
854 {
855 case bfd_reloc_ok:
856 break;
df44a852
KR
857 case bfd_reloc_overflow:
858 as_bad_where (fixp->fx_file, fixp->fx_line, "relocation overflow");
859 break;
3d3c5039 860 default:
4acf8c78
KR
861 as_fatal ("%s:%u: bad return from bfd_perform_relocation",
862 fixp->fx_file, fixp->fx_line);
3d3c5039
ILT
863 }
864 relocs[i++] = reloc;
865 }
d5364748
KR
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;
d5364748
KR
876 char *data;
877 bfd_reloc_status_type s;
a043f579 878 symbolS *sym;
d5364748
KR
879 int j;
880
98c6bbbe 881 if (fixp->fx_done)
d5364748 882 {
d5364748
KR
883 n--;
884 continue;
885 }
a043f579
ILT
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
d5364748
KR
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;
c43d56f7 904 if (fixp->fx_where + fixp->fx_size
d5364748
KR
905 > fixp->fx_frag->fr_fix + fixp->fx_frag->fr_offset)
906 abort ();
907 for (j = 0; reloc[j]; j++)
908 {
a55774a1
KR
909 s = bfd_install_relocation (stdoutput, reloc[j],
910 fixp->fx_frag->fr_literal,
911 fixp->fx_frag->fr_address,
912 sec, &err);
d5364748
KR
913 switch (s)
914 {
98c6bbbe
KR
915 case bfd_reloc_ok:
916 break;
4acf8c78
KR
917 case bfd_reloc_overflow:
918 as_bad_where (fixp->fx_file, fixp->fx_line,
919 "relocation overflow");
920 break;
98c6bbbe 921 default:
4acf8c78
KR
922 as_fatal ("%s:%u: bad return from bfd_perform_relocation",
923 fixp->fx_file, fixp->fx_line);
d5364748
KR
924 }
925 }
926 }
927 n = i;
928#endif
929
1cf7548e
KR
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
3d3c5039
ILT
948 if (n)
949 bfd_set_reloc (stdoutput, sec, relocs, n);
d5364748
KR
950 else
951 bfd_set_section_flags (abfd, sec,
80aab579
ILT
952 (bfd_get_section_flags (abfd, sec)
953 & (flagword) ~SEC_RELOC));
98c6bbbe
KR
954
955#ifdef DEBUG3
d5364748
KR
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
8d6c34a1 970}
d5364748 971
8d6c34a1
KR
972static void
973write_contents (abfd, sec, xxx)
974 bfd *abfd;
975 asection *sec;
a58374d7 976 PTR xxx;
8d6c34a1
KR
977{
978 segment_info_type *seginfo = seg_info (sec);
979 unsigned long offset = 0;
80aab579 980 fragS *f;
3d3c5039
ILT
981
982 /* Write out the frags. */
f37449aa
ILT
983 if (seginfo == NULL
984 || ! (bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS))
d5364748
KR
985 return;
986
80aab579
ILT
987 for (f = seginfo->frchainP->frch_root;
988 f;
989 f = f->fr_next)
43ca9aa6
KR
990 {
991 int x;
992 unsigned long fill_size;
993 char *fill_literal;
994 long count;
995
80aab579
ILT
996 assert (f->fr_type == rs_fill);
997 if (f->fr_fix)
43ca9aa6
KR
998 {
999 x = bfd_set_section_contents (stdoutput, sec,
80aab579
ILT
1000 f->fr_literal, (file_ptr) offset,
1001 (bfd_size_type) f->fr_fix);
1cf7548e
KR
1002 if (x == false)
1003 {
1004 bfd_perror (stdoutput->filename);
1005 as_perror ("FATAL: Can't write %s", stdoutput->filename);
4acf8c78 1006 exit (EXIT_FAILURE);
1cf7548e 1007 }
80aab579 1008 offset += f->fr_fix;
43ca9aa6 1009 }
80aab579
ILT
1010 fill_literal = f->fr_literal + f->fr_fix;
1011 fill_size = f->fr_var;
1012 count = f->fr_offset;
43ca9aa6
KR
1013 assert (count >= 0);
1014 if (fill_size && count)
d9d6f094
KR
1015 {
1016 char buf[256];
305a3af6
SC
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 }
d9d6f094 1064 }
43ca9aa6 1065 }
43ca9aa6
KR
1066}
1067#endif
1068
80aab579 1069#if defined(BFD_ASSEMBLER) || (!defined (BFD) && !defined(OBJ_AOUT))
b23f6743
KR
1070static void
1071merge_data_into_text ()
1072{
4064305e 1073#if defined(BFD_ASSEMBLER) || defined(MANY_SEGMENTS)
b23f6743
KR
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}
80aab579 1097#endif /* BFD_ASSEMBLER || (! BFD && ! OBJ_AOUT) */
b23f6743
KR
1098
1099#if !defined (BFD_ASSEMBLER) && !defined (BFD)
1100static void
1101relax_and_size_all_segments ()
1102{
13e9182d
KR
1103 fragS *fragP;
1104
b23f6743
KR
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
efa0c22e 1170#endif /* ! OBJ_BOUT */
b23f6743
KR
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
b23f6743
KR
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
d5364748
KR
1191#if defined (BFD_ASSEMBLER) || !defined (BFD)
1192
1b96bdce 1193#ifdef BFD_ASSEMBLER
1cf7548e
KR
1194static void
1195set_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}
1b96bdce 1229#endif
1cf7548e 1230
6efd877d
KR
1231void
1232write_object_file ()
45432836 1233{
741f4d66 1234 struct frchain *frchainP; /* Track along all frchains. */
58d4951d 1235#if ! defined (BFD_ASSEMBLER) || ! defined (WORKING_DOT_WORD)
741f4d66 1236 fragS *fragP; /* Track along all frags. */
58d4951d 1237#endif
6efd877d 1238
43ca9aa6
KR
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. */
def66e24 1246 if (flag_always_generate_output)
43ca9aa6
KR
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
3eb802b5 1262#ifdef OBJ_VMS
1cf7548e
KR
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. */
8e86815b 1266 vms_check_for_main ();
3f81f3cf 1267#endif /* OBJ_VMS */
43ca9aa6
KR
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?? */
3eb802b5 1276#ifndef SUB_SEGMENT_ALIGN
43ca9aa6 1277#ifdef BFD_ASSEMBLER
f2f7d044 1278#define SUB_SEGMENT_ALIGN(SEG) (0)
43ca9aa6 1279#else
f2f7d044 1280#define SUB_SEGMENT_ALIGN(SEG) (2)
43ca9aa6 1281#endif
3eb802b5 1282#endif
6efd877d
KR
1283 for (frchainP = frchain_root; frchainP; frchainP = frchainP->frch_next)
1284 {
43ca9aa6 1285 subseg_set (frchainP->frch_seg, frchainP->frch_subseg);
f2f7d044 1286 frag_align (SUB_SEGMENT_ALIGN (now_seg), NOP_OPCODE);
43ca9aa6
KR
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". */
6efd877d
KR
1292 frag_wane (frag_now);
1293 frag_now->fr_fix = 0;
1294 know (frag_now->fr_next == NULL);
43ca9aa6 1295 }
6efd877d 1296
43ca9aa6
KR
1297 /* From now on, we don't care about sub-segments. Build one frag chain
1298 for each segment. Linked thru fr_next. */
65bfcf2e 1299
43ca9aa6
KR
1300#ifdef BFD_ASSEMBLER
1301 /* Remove the sections created by gas for its own purposes. */
1302 {
1303 asection **seclist, *sec;
a55774a1
KR
1304 int i;
1305
43ca9aa6
KR
1306 seclist = &stdoutput->sections;
1307 while (seclist && *seclist)
1308 {
1309 sec = *seclist;
5ac34ac3 1310 while (sec == reg_section || sec == expr_section)
43ca9aa6
KR
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 }
a55774a1
KR
1321 i = 0;
1322 bfd_map_over_sections (stdoutput, renumber_sections, &i);
43ca9aa6
KR
1323 }
1324
1325 bfd_map_over_sections (stdoutput, chain_frchains_together, (char *) 0);
1326#else
6efd877d
KR
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);
43ca9aa6 1330#endif
6efd877d 1331
43ca9aa6
KR
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)
def66e24 1336 if (flag_readonly_data_in_text)
6efd877d 1337 {
b23f6743 1338 merge_data_into_text ();
6efd877d
KR
1339 }
1340#endif
43ca9aa6
KR
1341
1342#ifdef BFD_ASSEMBLER
1343 bfd_map_over_sections (stdoutput, relax_and_size_seg, (char *) 0);
1344#else
b23f6743 1345 relax_and_size_all_segments ();
43ca9aa6 1346#endif /* BFD_ASSEMBLER */
65bfcf2e 1347
43ca9aa6 1348#ifndef BFD_ASSEMBLER
6efd877d 1349 /*
7f2cb270
KR
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 */
6efd877d
KR
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))
43ca9aa6 1376 string_byte_count = 0;
6efd877d
KR
1377
1378 H_SET_STRING_SIZE (&headers, string_byte_count);
1379
1380 /*
7f2cb270
KR
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 */
6efd877d
KR
1386 subseg_change (SEG_TEXT, 0);
1387
1388 for (fragP = text_frag_root; fragP; fragP = fragP->fr_next)
1389 {
d4083e29 1390 cvt_frag_to_fill (&headers, SEG_TEXT, fragP);
6efd877d 1391
43ca9aa6
KR
1392 /* Some assert macros don't work with # directives mixed in. */
1393#ifndef NDEBUG
1394 if (!(fragP->fr_next == NULL
ebfb4167 1395#ifdef OBJ_BOUT
43ca9aa6 1396 || fragP->fr_next == data_frag_root
ebfb4167 1397#endif
6efd877d 1398 || ((fragP->fr_next->fr_address - fragP->fr_address)
43ca9aa6
KR
1399 == (fragP->fr_fix + fragP->fr_offset * fragP->fr_var))))
1400 abort ();
1401#endif
1402 }
1403#endif /* ! BFD_ASSEMBLER */
6efd877d 1404
fecd2382 1405#ifndef WORKING_DOT_WORD
6efd877d
KR
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)
a39116f1 1413 {
5ac34ac3
ILT
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;
43ca9aa6 1420#ifdef BFD_ASSEMBLER
d9d6f094
KR
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
5ac34ac3
ILT
1426 fix_new_exp (lie->frag,
1427 lie->word_goes_here - lie->frag->fr_literal,
1428 2, &exp, 0, BFD_RELOC_NONE);
d9d6f094 1429#endif
43ca9aa6
KR
1430#else
1431#if defined(TC_SPARC) || defined(TC_A29K) || defined(NEED_FX_R_TYPE)
5ac34ac3
ILT
1432 fix_new_exp (lie->frag,
1433 lie->word_goes_here - lie->frag->fr_literal,
1434 2, &exp, 0, NO_RELOC);
43ca9aa6 1435#else
fecd2382 1436#ifdef TC_NS32K
5ac34ac3
ILT
1437 fix_new_ns32k_exp (lie->frag,
1438 lie->word_goes_here - lie->frag->fr_literal,
1439 2, &exp, 0, 0, 2, 0, 0);
343fb08d 1440#else
5ac34ac3
ILT
1441 fix_new_exp (lie->frag,
1442 lie->word_goes_here - lie->frag->fr_literal,
1443 2, &exp, 0, 0);
fecd2382 1444#endif /* TC_NS32K */
43ca9aa6
KR
1445#endif /* TC_SPARC|TC_A29K|NEED_FX_R_TYPE */
1446#endif /* BFD_ASSEMBLER */
6efd877d 1447 *prevP = lie->next_broken_word;
a39116f1 1448 }
6efd877d
KR
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;
d5364748
KR
1456 addressT table_addr;
1457 addressT from_addr, to_addr;
6efd877d
KR
1458 int n, m;
1459
6efd877d
KR
1460 fragP = lie->dispfrag;
1461
43ca9aa6 1462 /* Find out how many broken_words go here. */
6efd877d
KR
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);
43ca9aa6
KR
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. */
6efd877d
KR
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 */
d5364748 1484 to_addr = table_addr - S_GET_VALUE (lie->sub);
d9d6f094
KR
1485#ifdef BFD_ASSEMBLER
1486 to_addr -= lie->sub->sy_frag->fr_address;
1487#endif
6efd877d
KR
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;
d9d6f094
KR
1499#ifdef BFD_ASSEMBLER
1500 to_addr += lie->add->sy_frag->fr_address;
1501#endif
6efd877d
KR
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 }
fecd2382 1508#endif /* not WORKING_DOT_WORD */
6efd877d 1509
43ca9aa6 1510#ifndef BFD_ASSEMBLER
3eb802b5 1511#ifndef OBJ_VMS
6efd877d 1512 { /* not vms */
3f81f3cf 1513 char *the_object_file;
1cf7548e 1514 long object_file_size;
6efd877d 1515 /*
3eb802b5
ILT
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 */
6efd877d
KR
1519 int trsize, drsize;
1520
1521 subseg_change (SEG_TEXT, 0);
d5364748 1522 trsize = md_reloc_size * fixup_segment (text_fix_root, SEG_TEXT);
6efd877d 1523 subseg_change (SEG_DATA, 0);
d5364748 1524 drsize = md_reloc_size * fixup_segment (data_fix_root, SEG_DATA);
6efd877d
KR
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 */
6efd877d
KR
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 /*
43ca9aa6
KR
1543 * Emit code.
1544 */
6efd877d
KR
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
c151fd1e 1551 PROGRESS (1);
6efd877d
KR
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 /*
43ca9aa6
KR
1568 * Emit relocations.
1569 */
6efd877d
KR
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)));
fecd2382 1572#ifdef TC_I960
6efd877d 1573 /* Make addresses in data relocation directives relative to beginning of
43ca9aa6
KR
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 */
6efd877d 1577 obj_emit_relocations (&next_object_file_charP, data_fix_root, data0_frchainP->frch_root->fr_address);
fecd2382 1578#else /* TC_I960 */
6efd877d 1579 obj_emit_relocations (&next_object_file_charP, data_fix_root, text_last_frag->fr_address);
fecd2382 1580#endif /* TC_I960 */
6efd877d
KR
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 /*
43ca9aa6
KR
1585 * Emit line number entries.
1586 */
6efd877d
KR
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 /*
3eb802b5
ILT
1591 * Emit symbols.
1592 */
6efd877d
KR
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 /*
3eb802b5
ILT
1597 * Emit strings.
1598 */
6efd877d
KR
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
45432836 1605#ifdef BFD_HEADERS
6efd877d
KR
1606 bfd_seek (stdoutput, 0, 0);
1607 bfd_write (the_object_file, 1, object_file_size, stdoutput);
45432836 1608#else
6efd877d
KR
1609
1610 /* Write the data to the file */
1611 output_file_append (the_object_file, object_file_size, out_file_name);
3f81f3cf 1612 free (the_object_file);
45432836 1613#endif
6efd877d 1614 } /* non vms output */
3f81f3cf 1615#else /* OBJ_VMS */
6efd877d 1616 /*
3eb802b5
ILT
1617 * Now do the VMS-dependent part of writing the object file
1618 */
8e86815b 1619 vms_write_object_file (H_GET_TEXT_SIZE (&headers),
85825401
ILT
1620 H_GET_DATA_SIZE (&headers),
1621 H_GET_BSS_SIZE (&headers),
3eb802b5 1622 text_frag_root, data_frag_root);
3f81f3cf 1623#endif /* OBJ_VMS */
43ca9aa6 1624#else /* BFD_ASSEMBLER */
6efd877d 1625
4acf8c78
KR
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
c151fd1e
KR
1637 PROGRESS (1);
1638
d5364748
KR
1639 bfd_map_over_sections (stdoutput, adjust_reloc_syms, (char *)0);
1640
43ca9aa6
KR
1641 /* Set up symbol table, and write it out. */
1642 if (symbol_rootP)
1643 {
43ca9aa6
KR
1644 symbolS *symp;
1645
1646 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1647 {
262b22cd 1648 int punt = 0;
c151fd1e
KR
1649 const char *name;
1650
1356d77d
ILT
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
c151fd1e
KR
1660 name = S_GET_NAME (symp);
1661 if (name)
1662 {
a2a5a4fa 1663 const char *name2 = decode_local_label_name ((char *)S_GET_NAME (symp));
c151fd1e
KR
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 }
262b22cd 1669
4acf8c78
KR
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. */
5868b1fe
ILT
1673 if (! symp->sy_resolved)
1674 {
5ac34ac3 1675 if (symp->sy_value.X_op == O_constant)
5868b1fe
ILT
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
a043f579
ILT
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
43ca9aa6
KR
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)
d9d6f094 1700 S_SET_SEGMENT (symp, bfd_com_section_ptr);
43ca9aa6 1701#if 0
5868b1fe 1702 printf ("symbol `%s'\n\t@%x: value=%d flags=%x seg=%s\n",
43ca9aa6
KR
1703 S_GET_NAME (symp), symp,
1704 S_GET_VALUE (symp),
d5364748 1705 symp->bsym->flags,
43ca9aa6
KR
1706 segment_name (symp->bsym->section));
1707#endif
335d35c8 1708
80aab579 1709#ifdef obj_frob_symbol
262b22cd 1710 obj_frob_symbol (symp, punt);
43ca9aa6
KR
1711#endif
1712#ifdef tc_frob_symbol
262b22cd 1713 if (! punt || symp->sy_used_in_reloc)
335d35c8 1714 tc_frob_symbol (symp, punt);
43ca9aa6 1715#endif
80aab579 1716
262b22cd
ILT
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)
1cf7548e
KR
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)
262b22cd 1729 && ! symp->sy_used_in_reloc))
43ca9aa6 1730 {
1cf7548e
KR
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. */
262b22cd 1735
262b22cd 1736 continue;
43ca9aa6 1737 }
85051959 1738
80aab579
ILT
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
85051959
ILT
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);
43ca9aa6
KR
1750 }
1751 }
1752
c151fd1e
KR
1753 PROGRESS (1);
1754
def66e24
DM
1755 /* Now do any format-specific adjustments to the symbol table, such
1756 as adding file symbols. */
a043f579
ILT
1757#ifdef tc_adjust_symtab
1758 tc_adjust_symtab ();
1759#endif
def66e24
DM
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
1cf7548e
KR
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. */
c79e67a3
KR
1772#ifdef tc_frob_file
1773 tc_frob_file ();
1774#endif
f2f7d044
ILT
1775#ifdef obj_frob_file
1776 obj_frob_file ();
1777#endif
1778
8d6c34a1
KR
1779 bfd_map_over_sections (stdoutput, write_relocs, (char *) 0);
1780
43ca9aa6 1781 bfd_map_over_sections (stdoutput, write_contents, (char *) 0);
43ca9aa6
KR
1782#endif /* BFD_ASSEMBLER */
1783}
d5364748 1784#endif /* ! BFD */
fecd2382
RP
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 */
45432836 1798
a58374d7 1799#ifndef md_relax_frag
793f9558 1800#ifdef TC_GENERIC_RELAX_TABLE
a58374d7 1801
d5364748 1802/* Subroutines of relax_segment. */
43ca9aa6
KR
1803static int
1804is_dnrange (f1, f2)
1805 struct frag *f1;
1806 struct frag *f2;
1807{
1808 for (; f1; f1 = f1->fr_next)
1809 if (f1->fr_next == f2)
1810 return 1;
1811 return 0;
1812}
1813
793f9558 1814#endif /* defined (TC_GENERIC_RELAX_TABLE) */
a58374d7
ILT
1815#endif /* ! defined (md_relax_frag) */
1816
43ca9aa6 1817/* Relax_align. Advance location counter to next address that has 'alignment'
d5364748 1818 lowest order bits all 0s, return size of adjustment made. */
43ca9aa6
KR
1819static relax_addressT
1820relax_align (address, alignment)
1821 register relax_addressT address; /* Address now. */
d5364748 1822 register int alignment; /* Alignment (binary). */
43ca9aa6
KR
1823{
1824 relax_addressT mask;
1825 relax_addressT new_address;
1826
1827 mask = ~((~0) << alignment);
1828 new_address = (address + mask) & (~mask);
d4083e29 1829#ifdef LINKER_RELAXING_SHRINKS_ONLY
43ca9aa6
KR
1830 if (linkrelax)
1831 /* We must provide lots of padding, so the linker can discard it
1832 when needed. The linker will not add extra space, ever. */
1833 new_address += (1 << alignment);
d4083e29 1834#endif
43ca9aa6
KR
1835 return (new_address - address);
1836}
45432836 1837
6efd877d
KR
1838void
1839relax_segment (segment_frag_root, segment)
1840 struct frag *segment_frag_root;
43ca9aa6 1841 segT segment;
fecd2382 1842{
6efd877d
KR
1843 register struct frag *fragP;
1844 register relax_addressT address;
43ca9aa6 1845#if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
6efd877d 1846 know (segment == SEG_DATA || segment == SEG_TEXT || segment == SEG_BSS);
45432836 1847#endif
6efd877d
KR
1848 /* In case md_estimate_size_before_relax() wants to make fixSs. */
1849 subseg_change (segment, 0);
1850
7f2cb270
KR
1851 /* For each frag in segment: count and store (a 1st guess of)
1852 fr_address. */
6efd877d
KR
1853 address = 0;
1854 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
1855 {
1856 fragP->fr_address = address;
1857 address += fragP->fr_fix;
1858
1859 switch (fragP->fr_type)
1860 {
1861 case rs_fill:
1862 address += fragP->fr_offset * fragP->fr_var;
1863 break;
1864
1865 case rs_align:
cd3b81bd 1866 case rs_align_code:
98c6bbbe
KR
1867 {
1868 int offset = relax_align (address, (int) fragP->fr_offset);
1869 if (offset % fragP->fr_var != 0)
1870 {
262b22cd
ILT
1871 as_bad ("alignment padding (%d bytes) not a multiple of %ld",
1872 offset, (long) fragP->fr_var);
98c6bbbe
KR
1873 offset -= (offset % fragP->fr_var);
1874 }
1875 address += offset;
1876 }
6efd877d
KR
1877 break;
1878
1879 case rs_org:
cd3b81bd 1880 case rs_space:
7f2cb270 1881 /* Assume .org is nugatory. It will grow with 1st relax. */
6efd877d
KR
1882 break;
1883
1884 case rs_machine_dependent:
1885 address += md_estimate_size_before_relax (fragP, segment);
1886 break;
1887
fecd2382 1888#ifndef WORKING_DOT_WORD
6efd877d
KR
1889 /* Broken words don't concern us yet */
1890 case rs_broken_word:
1891 break;
fecd2382 1892#endif
6efd877d
KR
1893
1894 default:
1895 BAD_CASE (fragP->fr_type);
1896 break;
1897 } /* switch(fr_type) */
1898 } /* for each frag in the segment */
1899
7f2cb270 1900 /* Do relax(). */
6efd877d 1901 {
7f2cb270 1902 long stretch; /* May be any size, 0 or negative. */
6efd877d
KR
1903 /* Cumulative number of addresses we have */
1904 /* relaxed this pass. */
1905 /* We may have relaxed more than one address. */
7f2cb270
KR
1906 long stretched; /* Have we stretched on this pass? */
1907 /* This is 'cuz stretch may be zero, when, in fact some piece of code
1908 grew, and another shrank. If a branch instruction doesn't fit anymore,
1909 we could be scrod. */
6efd877d
KR
1910
1911 do
1912 {
1913 stretch = stretched = 0;
1914 for (fragP = segment_frag_root; fragP; fragP = fragP->fr_next)
1915 {
7f2cb270
KR
1916 long growth = 0;
1917 unsigned long was_address;
1918 long offset;
1919 symbolS *symbolP;
1920 long target;
1921 long after;
6efd877d
KR
1922
1923 was_address = fragP->fr_address;
1924 address = fragP->fr_address += stretch;
1925 symbolP = fragP->fr_symbol;
1926 offset = fragP->fr_offset;
6efd877d
KR
1927
1928 switch (fragP->fr_type)
1929 {
1930 case rs_fill: /* .fill never relaxes. */
1931 growth = 0;
1932 break;
1933
fecd2382 1934#ifndef WORKING_DOT_WORD
6efd877d 1935 /* JF: This is RMS's idea. I do *NOT* want to be blamed
7f2cb270
KR
1936 for it I do not want to write it. I do not want to have
1937 anything to do with it. This is not the proper way to
1938 implement this misfeature. */
6efd877d
KR
1939 case rs_broken_word:
1940 {
1941 struct broken_word *lie;
1942 struct broken_word *untruth;
6efd877d
KR
1943
1944 /* Yes this is ugly (storing the broken_word pointer
7f2cb270
KR
1945 in the symbol slot). Still, this whole chunk of
1946 code is ugly, and I don't feel like doing anything
1947 about it. Think of it as stubbornness in action. */
6efd877d
KR
1948 growth = 0;
1949 for (lie = (struct broken_word *) (fragP->fr_symbol);
1950 lie && lie->dispfrag == fragP;
1951 lie = lie->next_broken_word)
1952 {
1953
1954 if (lie->added)
1955 continue;
1956
7f2cb270
KR
1957 offset = (lie->add->sy_frag->fr_address
1958 + S_GET_VALUE (lie->add)
1959 + lie->addnum
1960 - (lie->sub->sy_frag->fr_address
1961 + S_GET_VALUE (lie->sub)));
6efd877d
KR
1962 if (offset <= -32768 || offset >= 32767)
1963 {
def66e24 1964 if (flag_warn_displacement)
d5364748
KR
1965 {
1966 char buf[50];
80aab579 1967 sprint_value (buf, (addressT) lie->addnum);
d5364748
KR
1968 as_warn (".word %s-%s+%s didn't fit",
1969 S_GET_NAME (lie->add),
1970 S_GET_NAME (lie->sub),
1971 buf);
1972 }
6efd877d
KR
1973 lie->added = 1;
1974 if (fragP->fr_subtype == 0)
1975 {
1976 fragP->fr_subtype++;
1977 growth += md_short_jump_size;
1978 }
7f2cb270
KR
1979 for (untruth = lie->next_broken_word;
1980 untruth && untruth->dispfrag == lie->dispfrag;
1981 untruth = untruth->next_broken_word)
6efd877d
KR
1982 if ((untruth->add->sy_frag == lie->add->sy_frag)
1983 && S_GET_VALUE (untruth->add) == S_GET_VALUE (lie->add))
1984 {
1985 untruth->added = 2;
1986 untruth->use_jump = lie;
1987 }
1988 growth += md_long_jump_size;
1989 }
1990 }
1991
1992 break;
1993 } /* case rs_broken_word */
fecd2382 1994#endif
6efd877d 1995 case rs_align:
cd3b81bd 1996 case rs_align_code:
43ca9aa6
KR
1997 growth = (relax_align ((relax_addressT) (address
1998 + fragP->fr_fix),
d5364748 1999 (int) offset)
43ca9aa6
KR
2000 - relax_align ((relax_addressT) (was_address
2001 + fragP->fr_fix),
d5364748 2002 (int) offset));
6efd877d
KR
2003 break;
2004
2005 case rs_org:
2006 target = offset;
2007
2008 if (symbolP)
2009 {
43ca9aa6
KR
2010#if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
2011 know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
2012 || (S_GET_SEGMENT (symbolP) == SEG_DATA)
2013 || (S_GET_SEGMENT (symbolP) == SEG_TEXT)
2014 || S_GET_SEGMENT (symbolP) == SEG_BSS);
6efd877d 2015 know (symbolP->sy_frag);
43ca9aa6
KR
2016 know (!(S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
2017 || (symbolP->sy_frag == &zero_address_frag));
45432836 2018#endif
6efd877d
KR
2019 target += S_GET_VALUE (symbolP)
2020 + symbolP->sy_frag->fr_address;
2021 } /* if we have a symbol */
2022
2023 know (fragP->fr_next);
2024 after = fragP->fr_next->fr_address;
c151fd1e
KR
2025 growth = target - after;
2026 if (growth < 0)
2027 {
2028 /* Growth may be negative, but variable part of frag
2029 cannot have fewer than 0 chars. That is, we can't
2030 .org backwards. */
2031 as_bad ("attempt to .org backwards ignored");
2032 growth = 0;
2033 }
6efd877d
KR
2034
2035 growth -= stretch; /* This is an absolute growth factor */
2036 break;
2037
cd3b81bd
KR
2038 case rs_space:
2039 if (symbolP)
2040 {
2041 growth = S_GET_VALUE (symbolP);
2042 if (symbolP->sy_frag != &zero_address_frag)
2043 as_bad (".space specifies non-absolute value");
2044 fragP->fr_symbol = 0;
2045 if (growth < 0)
2046 {
2047 as_warn (".space or .fill with negative value, ignored");
2048 growth = 0;
2049 }
2050 }
2051 else
2052 growth = 0;
2053 break;
2054
6efd877d 2055 case rs_machine_dependent:
a58374d7
ILT
2056#ifdef md_relax_frag
2057 growth = md_relax_frag (fragP, stretch);
2058#else
c151fd1e 2059#ifdef TC_GENERIC_RELAX_TABLE
a58374d7
ILT
2060 /* The default way to relax a frag is to look through
2061 md_relax_table. */
6efd877d 2062 {
7f2cb270
KR
2063 const relax_typeS *this_type;
2064 const relax_typeS *start_type;
2065 relax_substateT next_state;
2066 relax_substateT this_state;
80aab579 2067 long aim;
c151fd1e 2068 const relax_typeS *table = TC_GENERIC_RELAX_TABLE;
6efd877d 2069
7f2cb270 2070 this_state = fragP->fr_subtype;
c151fd1e 2071 start_type = this_type = table + this_state;
6efd877d
KR
2072 target = offset;
2073
2074 if (symbolP)
2075 {
80aab579 2076#ifndef DIFF_EXPR_OK
43ca9aa6
KR
2077#if !defined (MANY_SEGMENTS) && !defined (BFD_ASSEMBLER)
2078 know ((S_GET_SEGMENT (symbolP) == SEG_ABSOLUTE)
2079 || (S_GET_SEGMENT (symbolP) == SEG_DATA)
2080 || (S_GET_SEGMENT (symbolP) == SEG_BSS)
2081 || (S_GET_SEGMENT (symbolP) == SEG_TEXT));
45432836 2082#endif
6efd877d 2083 know (symbolP->sy_frag);
80aab579 2084#endif
43ca9aa6
KR
2085 know (!(S_GET_SEGMENT (symbolP) == absolute_section)
2086 || symbolP->sy_frag == &zero_address_frag);
6efd877d
KR
2087 target +=
2088 S_GET_VALUE (symbolP)
2089 + symbolP->sy_frag->fr_address;
2090
2091 /* If frag has yet to be reached on this pass,
7f2cb270
KR
2092 assume it will move by STRETCH just as we did.
2093 If this is not so, it will be because some frag
d5364748
KR
2094 between grows, and that will force another pass.
2095
2096 Beware zero-length frags.
2097
2098 There should be a faster way to do this. */
6efd877d
KR
2099
2100 if (symbolP->sy_frag->fr_address >= was_address
2101 && is_dnrange (fragP, symbolP->sy_frag))
2102 {
2103 target += stretch;
7f2cb270 2104 }
d5364748 2105 }
6efd877d
KR
2106
2107 aim = target - address - fragP->fr_fix;
d9d6f094
KR
2108#ifdef TC_PCREL_ADJUST
2109 /* Currently only the ns32k family needs this */
2110 aim += TC_PCREL_ADJUST(fragP);
2111#else
2112 /* This machine doesn't want to use pcrel_adjust.
2113 In that case, pcrel_adjust should be zero. */
2114 assert (fragP->fr_pcrel_adjust == 0);
d5364748 2115#endif
6efd877d
KR
2116
2117 if (aim < 0)
2118 {
2119 /* Look backwards. */
2120 for (next_state = this_type->rlx_more; next_state;)
7f2cb270
KR
2121 if (aim >= this_type->rlx_backward)
2122 next_state = 0;
2123 else
2124 {
2125 /* Grow to next state. */
2126 this_state = next_state;
c151fd1e 2127 this_type = table + this_state;
7f2cb270
KR
2128 next_state = this_type->rlx_more;
2129 }
6efd877d
KR
2130 }
2131 else
2132 {
a39116f1 2133#ifdef M68K_AIM_KLUDGE
6efd877d 2134 M68K_AIM_KLUDGE (aim, this_state, this_type);
fecd2382 2135#endif
6efd877d
KR
2136 /* Look forwards. */
2137 for (next_state = this_type->rlx_more; next_state;)
7f2cb270
KR
2138 if (aim <= this_type->rlx_forward)
2139 next_state = 0;
2140 else
2141 {
2142 /* Grow to next state. */
2143 this_state = next_state;
c151fd1e 2144 this_type = table + this_state;
7f2cb270
KR
2145 next_state = this_type->rlx_more;
2146 }
6efd877d
KR
2147 }
2148
7f2cb270
KR
2149 growth = this_type->rlx_length - start_type->rlx_length;
2150 if (growth != 0)
6efd877d 2151 fragP->fr_subtype = this_state;
7f2cb270 2152 }
c151fd1e 2153#endif /* TC_GENERIC_RELAX_TABLE */
a58374d7 2154#endif
7f2cb270 2155 break;
6efd877d
KR
2156
2157 default:
2158 BAD_CASE (fragP->fr_type);
2159 break;
2160 }
2161 if (growth)
2162 {
2163 stretch += growth;
2164 stretched++;
2165 }
2166 } /* For each frag in the segment. */
2167 }
2168 while (stretched); /* Until nothing further to relax. */
2169 } /* do_relax */
2170
2171 /*
7f2cb270
KR
2172 * We now have valid fr_address'es for each frag.
2173 */
6efd877d
KR
2174
2175 /*
7f2cb270
KR
2176 * All fr_address's are correct, relative to their own segment.
2177 * We have made all the fixS we will ever make.
2178 */
6efd877d 2179} /* relax_segment() */
fecd2382 2180
3f81f3cf 2181#if defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS))
80aab579 2182
d9d6f094
KR
2183#ifndef TC_RELOC_RTSYM_LOC_FIXUP
2184#define TC_RELOC_RTSYM_LOC_FIXUP(X) (1)
2185#endif
2186
fecd2382 2187/* fixup_segment()
6efd877d 2188
fecd2382
RP
2189 Go through all the fixS's in a segment and see which ones can be
2190 handled now. (These consist of fixS where we have since discovered
2191 the value of a symbol, or the address of the frag involved.)
2192 For each one, call md_apply_fix to put the fix into the frag data.
6efd877d 2193
fecd2382
RP
2194 Result is a count of how many relocation structs will be needed to
2195 handle the remaining fixS's that we couldn't completely handle here.
2196 These will be output later by emit_relocations(). */
2197
09952cd9 2198static long
6efd877d 2199fixup_segment (fixP, this_segment_type)
09952cd9 2200 register fixS *fixP;
6efd877d 2201 segT this_segment_type; /* N_TYPE bits for segment. */
fecd2382 2202{
f5c32424
KR
2203 long seg_reloc_count = 0;
2204 symbolS *add_symbolP;
2205 symbolS *sub_symbolP;
d5364748 2206 valueT add_number;
f5c32424
KR
2207 int size;
2208 char *place;
2209 long where;
a55774a1 2210 int pcrel, plt;
f5c32424
KR
2211 fragS *fragP;
2212 segT add_symbol_segment = absolute_section;
2213
2214 /* If the linker is doing the relaxing, we must not do any fixups.
2215
2216 Well, strictly speaking that's not true -- we could do any that are
2217 PC-relative and don't cross regions that could change size. And for the
2218 i960 (the only machine for which we've got a relaxing linker right now),
2219 we might be able to turn callx/callj into bal anyways in cases where we
2220 know the maximum displacement. */
6efd877d 2221 if (linkrelax)
f5c32424
KR
2222 {
2223 for (; fixP; fixP = fixP->fx_next)
2224 seg_reloc_count++;
2225 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2226 return seg_reloc_count;
2227 }
6efd877d 2228
f5c32424
KR
2229 for (; fixP; fixP = fixP->fx_next)
2230 {
a55774a1
KR
2231#ifdef DEBUG5
2232 fprintf (stderr, "\nprocessing fixup:\n");
2233 print_fixup (fixP);
2234#endif
2235
f5c32424
KR
2236 fragP = fixP->fx_frag;
2237 know (fragP);
2238 where = fixP->fx_where;
2239 place = fragP->fr_literal + where;
2240 size = fixP->fx_size;
2241 add_symbolP = fixP->fx_addsy;
2242#ifdef TC_VALIDATE_FIX
2243 TC_VALIDATE_FIX (fixP, this_segment_type, skip);
fecd2382 2244#endif
f5c32424
KR
2245 sub_symbolP = fixP->fx_subsy;
2246 add_number = fixP->fx_offset;
2247 pcrel = fixP->fx_pcrel;
a55774a1
KR
2248 plt = fixP->fx_plt;
2249
e120d9fb
ILT
2250 if (add_symbolP != NULL
2251 && add_symbolP->sy_mri_common)
1356d77d
ILT
2252 {
2253 know (add_symbolP->sy_value.X_op == O_symbol);
2254 add_number += S_GET_VALUE (add_symbolP);
2255 fixP->fx_offset = add_number;
2256 add_symbolP = fixP->fx_addsy = add_symbolP->sy_value.X_add_symbol;
2257 }
2258
f5c32424
KR
2259 if (add_symbolP)
2260 add_symbol_segment = S_GET_SEGMENT (add_symbolP);
2261
2262 if (sub_symbolP)
2263 {
f7da4a99 2264 resolve_symbol_value (sub_symbolP);
96fe71e1 2265 if (add_symbolP == NULL || add_symbol_segment == absolute_section)
f5c32424 2266 {
96fe71e1
MM
2267 if (add_symbolP != NULL)
2268 {
2269 add_number += S_GET_VALUE (add_symbolP);
2270 add_symbolP = NULL;
2271 fixP->fx_addsy = NULL;
2272 }
2273
2274 /* It's just -sym */
f5c32424 2275 if (S_GET_SEGMENT (sub_symbolP) == absolute_section)
96fe71e1
MM
2276 {
2277 add_number -= S_GET_VALUE (sub_symbolP);
2278 fixP->fx_subsy = NULL;
2279 }
f5c32424
KR
2280 else if (pcrel
2281 && S_GET_SEGMENT (sub_symbolP) == this_segment_type)
2282 {
2283 /* Should try converting to a constant. */
2284 goto bad_sub_reloc;
2285 }
2286 else
2287 bad_sub_reloc:
741f4d66
KR
2288 as_bad_where (fixP->fx_file, fixP->fx_line,
2289 "Negative of non-absolute symbol %s",
2290 S_GET_NAME (sub_symbolP));
f5c32424 2291 }
96fe71e1
MM
2292 else if (S_GET_SEGMENT (sub_symbolP) == add_symbol_segment
2293 && SEG_NORMAL (add_symbol_segment))
f5c32424
KR
2294 {
2295 /* Difference of 2 symbols from same segment.
2296 Can't make difference of 2 undefineds: 'value' means
2297 something different for N_UNDF. */
fecd2382 2298#ifdef TC_I960
f5c32424
KR
2299 /* Makes no sense to use the difference of 2 arbitrary symbols
2300 as the target of a call instruction. */
2301 if (fixP->fx_tcbit)
741f4d66
KR
2302 as_bad_where (fixP->fx_file, fixP->fx_line,
2303 "callj to difference of 2 symbols");
6efd877d 2304#endif /* TC_I960 */
f5c32424
KR
2305 add_number += S_GET_VALUE (add_symbolP) -
2306 S_GET_VALUE (sub_symbolP);
6efd877d 2307
f5c32424 2308 add_symbolP = NULL;
c151fd1e 2309 pcrel = 0; /* No further pcrel processing. */
335d35c8 2310
f5c32424
KR
2311 /* Let the target machine make the final determination
2312 as to whether or not a relocation will be needed to
2313 handle this fixup. */
96fe71e1 2314 if (!TC_FORCE_RELOCATION_SECTION (fixP, this_segment_type))
98c6bbbe 2315 {
c151fd1e 2316 fixP->fx_pcrel = 0;
98c6bbbe 2317 fixP->fx_addsy = NULL;
96fe71e1 2318 fixP->fx_subsy = NULL;
98c6bbbe 2319 }
f5c32424
KR
2320 }
2321 else
2322 {
2323 /* Different segments in subtraction. */
2324 know (!(S_IS_EXTERNAL (sub_symbolP)
2325 && (S_GET_SEGMENT (sub_symbolP) == absolute_section)));
2326
2327 if ((S_GET_SEGMENT (sub_symbolP) == absolute_section))
2328 add_number -= S_GET_VALUE (sub_symbolP);
6efd877d 2329
80aab579 2330#ifdef DIFF_EXPR_OK
f5c32424
KR
2331 else if (S_GET_SEGMENT (sub_symbolP) == this_segment_type
2332#if 0 /* Do this even if it's already described as pc-relative. For example,
2333 on the m68k, an operand of "pc@(foo-.-2)" should address "foo" in a
2334 pc-relative mode. */
2335 && pcrel
0f894895 2336#endif
f5c32424
KR
2337 )
2338 {
2339 /* Make it pc-relative. */
96fe71e1 2340 add_number += (MD_PCREL_FROM_SECTION (fixP, this_segment_type)
f5c32424
KR
2341 - S_GET_VALUE (sub_symbolP));
2342 pcrel = 1;
2343 fixP->fx_pcrel = 1;
2344 sub_symbolP = 0;
2345 fixP->fx_subsy = 0;
2346 }
98c6bbbe 2347#endif
d4083e29
KR
2348#ifdef UNDEFINED_DIFFERENCE_OK
2349 /* The PA needs this for PIC code generation. We basically
2350 don't want to do anything if we have the difference of two
2351 symbols at this point. */
2352 else if (1)
2353 {
2354 /* Leave it alone. */
2355 }
2356#endif
98c6bbbe
KR
2357#ifdef BFD_ASSEMBLER
2358 else if (fixP->fx_r_type == BFD_RELOC_GPREL32
2359 || fixP->fx_r_type == BFD_RELOC_GPREL16)
2360 {
2361 /* Leave it alone. */
2362 }
80aab579 2363#endif
f5c32424
KR
2364 else
2365 {
2366 char buf[50];
2367 sprint_value (buf, fragP->fr_address + where);
741f4d66
KR
2368 as_bad_where (fixP->fx_file, fixP->fx_line,
2369 "Can't emit reloc {- %s-seg symbol \"%s\"} @ file address %s.",
2370 segment_name (S_GET_SEGMENT (sub_symbolP)),
2371 S_GET_NAME (sub_symbolP), buf);
f5c32424
KR
2372 }
2373 }
2374 }
6efd877d 2375
f5c32424
KR
2376 if (add_symbolP)
2377 {
a55774a1 2378 if (add_symbol_segment == this_segment_type && pcrel && !plt
5767cfb7 2379 && TC_RELOC_RTSYM_LOC_FIXUP (fixP))
f5c32424
KR
2380 {
2381 /*
2382 * This fixup was made when the symbol's segment was
2383 * SEG_UNKNOWN, but it is now in the local segment.
2384 * So we know how to do the address without relocation.
2385 */
fecd2382 2386#ifdef TC_I960
f5c32424
KR
2387 /* reloc_callj() may replace a 'call' with a 'calls' or a
2388 'bal', in which cases it modifies *fixP as appropriate.
2389 In the case of a 'calls', no further work is required,
2390 and *fixP has been set up to make the rest of the code
2391 below a no-op. */
2392 reloc_callj (fixP);
fecd2382 2393#endif /* TC_I960 */
6efd877d 2394
f5c32424 2395 add_number += S_GET_VALUE (add_symbolP);
96fe71e1 2396 add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment_type);
f5c32424
KR
2397 pcrel = 0; /* Lie. Don't want further pcrel processing. */
2398
2399 /* Let the target machine make the final determination
2400 as to whether or not a relocation will be needed to
2401 handle this fixup. */
2402 if (!TC_FORCE_RELOCATION (fixP))
98c6bbbe
KR
2403 {
2404 fixP->fx_pcrel = 0;
2405 fixP->fx_addsy = NULL;
2406 }
f5c32424
KR
2407 }
2408 else
2409 {
2410 if (add_symbol_segment == absolute_section)
2411 {
fecd2382 2412#ifdef TC_I960
f5c32424
KR
2413 /* See comment about reloc_callj() above. */
2414 reloc_callj (fixP);
fecd2382 2415#endif /* TC_I960 */
f5c32424
KR
2416 add_number += S_GET_VALUE (add_symbolP);
2417
2418 /* Let the target machine make the final determination
2419 as to whether or not a relocation will be needed to
2420 handle this fixup. */
305a3af6 2421
f00f5ecd 2422 if (!TC_FORCE_RELOCATION (fixP))
e67a0640
KR
2423 {
2424 fixP->fx_addsy = NULL;
2425 add_symbolP = NULL;
2426 }
f5c32424
KR
2427 }
2428 else if (add_symbol_segment == undefined_section
43ca9aa6 2429#ifdef BFD_ASSEMBLER
f5c32424 2430 || bfd_is_com_section (add_symbol_segment)
43ca9aa6 2431#endif
f5c32424
KR
2432 )
2433 {
fecd2382 2434#ifdef TC_I960
f5c32424
KR
2435 if ((int) fixP->fx_bit_fixP == 13)
2436 {
2437 /* This is a COBR instruction. They have only a
2438 * 13-bit displacement and are only to be used
2439 * for local branches: flag as error, don't generate
2440 * relocation.
2441 */
741f4d66
KR
2442 as_bad_where (fixP->fx_file, fixP->fx_line,
2443 "can't use COBR format with external label");
98c6bbbe
KR
2444 fixP->fx_addsy = NULL;
2445 fixP->fx_done = 1;
f5c32424
KR
2446 continue;
2447 } /* COBR */
fecd2382 2448#endif /* TC_I960 */
f5c32424 2449
fecd2382 2450#ifdef OBJ_COFF
c593cf41 2451#ifdef TE_I386AIX
f5c32424
KR
2452 if (S_IS_COMMON (add_symbolP))
2453 add_number += S_GET_VALUE (add_symbolP);
c593cf41 2454#endif /* TE_I386AIX */
fecd2382 2455#endif /* OBJ_COFF */
f5c32424
KR
2456 ++seg_reloc_count;
2457 }
2458 else
2459 {
2460 seg_reloc_count++;
a043f579 2461#if !(defined (TC_M68K) && defined (OBJ_ELF))
a55774a1 2462#if !defined (TC_I386) || !(defined (OBJ_ELF) || defined (OBJ_COFF))
f5c32424 2463 add_number += S_GET_VALUE (add_symbolP);
a043f579 2464#endif
a55774a1 2465#endif
f5c32424
KR
2466 }
2467 }
2468 }
6efd877d 2469
f5c32424
KR
2470 if (pcrel)
2471 {
96fe71e1 2472 add_number -= MD_PCREL_FROM_SECTION (fixP, this_segment_type);
f5c32424
KR
2473 if (add_symbolP == 0)
2474 {
1cf7548e 2475#ifndef BFD_ASSEMBLER
f5c32424 2476 fixP->fx_addsy = &abs_symbol;
1cf7548e
KR
2477#else
2478 fixP->fx_addsy = section_symbol (absolute_section);
2479#endif
2480 fixP->fx_addsy->sy_used_in_reloc = 1;
f5c32424 2481 ++seg_reloc_count;
98c6bbbe
KR
2482 }
2483 }
6efd877d 2484
c7d7eed0 2485 if (!fixP->fx_bit_fixP && !fixP->fx_no_overflow && size > 0)
f5c32424
KR
2486 {
2487 valueT mask = 0;
df44a852 2488 if (size < sizeof (mask))
f5c32424 2489 {
df44a852
KR
2490 /* set all bits to one */
2491 mask--;
2492 /* Technically, combining these produces an undefined result
2493 if size is sizeof (valueT), though I think these two
2494 half-way operations should both be defined. And the
2495 compiler should be able to combine them if it's valid on
2496 the host architecture. */
2497 mask <<= size * 4;
2498 mask <<= size * 4;
2499 if ((add_number & mask) != 0
2500 && (add_number & mask) != mask)
2501 {
2502 char buf[50], buf2[50];
2503 sprint_value (buf, fragP->fr_address + where);
2504 if (add_number > 1000)
2505 sprint_value (buf2, add_number);
2506 else
2507 sprintf (buf2, "%ld", (long) add_number);
2508 as_bad_where (fixP->fx_file, fixP->fx_line,
2509 "Value of %s too large for field of %d bytes at %s",
2510 buf2, size, buf);
2511 } /* generic error checking */
2512 }
f5c32424
KR
2513#ifdef WARN_SIGNED_OVERFLOW_WORD
2514 /* Warn if a .word value is too large when treated as a signed
2515 number. We already know it is not too negative. This is to
2516 catch over-large switches generated by gcc on the 68k. */
def66e24 2517 if (!flag_signed_overflow_ok
f5c32424
KR
2518 && size == 2
2519 && add_number > 0x7fff)
2520 as_bad_where (fixP->fx_file, fixP->fx_line,
2521 "Signed .word overflow; switch may be too large; %ld at 0x%lx",
2522 (long) add_number,
2523 (unsigned long) (fragP->fr_address + where));
6efd877d 2524#endif
f5c32424 2525 } /* not a bit fix */
6efd877d 2526
98c6bbbe
KR
2527 if (!fixP->fx_done)
2528 {
3f81f3cf
MM
2529#ifdef MD_APPLY_FIX3
2530 md_apply_fix3 (fixP, &add_number, this_segment_type);
2531#else
43ca9aa6 2532#ifdef BFD_ASSEMBLER
98c6bbbe 2533 md_apply_fix (fixP, &add_number);
43ca9aa6 2534#else
98c6bbbe
KR
2535 md_apply_fix (fixP, add_number);
2536#endif
3f81f3cf 2537#endif
98c6bbbe
KR
2538
2539#ifndef TC_HANDLES_FX_DONE
2540 /* If the tc-* files haven't been converted, assume it's handling
2541 it the old way, where a null fx_addsy means that the fix has
2542 been applied completely, and no further work is needed. */
2543 if (fixP->fx_addsy == 0 && fixP->fx_pcrel == 0)
2544 fixP->fx_done = 1;
43ca9aa6 2545#endif
98c6bbbe
KR
2546 }
2547#ifdef TC_VALIDATE_FIX
a55774a1
KR
2548 skip: ;
2549#endif
2550#ifdef DEBUG5
2551 fprintf (stderr, "result:\n");
2552 print_fixup (fixP);
98c6bbbe 2553#endif
f5c32424 2554 } /* For each fixS in this segment. */
6efd877d 2555
f5c32424
KR
2556 TC_ADJUST_RELOC_COUNT (fixP, seg_reloc_count);
2557 return seg_reloc_count;
2558}
6efd877d 2559
3f81f3cf 2560#endif /* defined (BFD_ASSEMBLER) || (!defined (BFD) && !defined (OBJ_VMS)) */
6efd877d 2561
f5c32424
KR
2562void
2563number_to_chars_bigendian (buf, val, n)
2564 char *buf;
2565 valueT val;
2566 int n;
2567{
2568 if (n > sizeof (val)|| n <= 0)
2569 abort ();
2570 while (n--)
2571 {
2572 buf[n] = val & 0xff;
2573 val >>= 8;
2574 }
d5364748 2575}
fecd2382 2576
f5c32424
KR
2577void
2578number_to_chars_littleendian (buf, val, n)
2579 char *buf;
2580 valueT val;
2581 int n;
2582{
2583 if (n > sizeof (val) || n <= 0)
2584 abort ();
2585 while (n--)
2586 {
2587 *buf++ = val & 0xff;
2588 val >>= 8;
2589 }
2590}
80aab579 2591
a043f579
ILT
2592void
2593write_print_statistics (file)
2594 FILE *file;
2595{
2596 fprintf (stderr, "fixups: %d\n", n_fixups);
2597}
2598
4acf8c78
KR
2599/* for debugging */
2600extern int indent_level;
b04bc423 2601extern void print_symbol_value_1 ();
4acf8c78
KR
2602
2603void
2604print_fixup (fixp)
2605 fixS *fixp;
2606{
2607 indent_level = 1;
a55774a1 2608 fprintf (stderr, "fix %lx %s:%d", (long) fixp, fixp->fx_file, fixp->fx_line);
4acf8c78
KR
2609 if (fixp->fx_pcrel)
2610 fprintf (stderr, " pcrel");
2611 if (fixp->fx_pcrel_adjust)
2612 fprintf (stderr, " pcrel_adjust=%d", fixp->fx_pcrel_adjust);
2613 if (fixp->fx_im_disp)
2614 {
2615#ifdef TC_NS32K
2616 fprintf (stderr, " im_disp=%d", fixp->fx_im_disp);
2617#else
2618 fprintf (stderr, " im_disp");
2619#endif
2620 }
2621 if (fixp->fx_tcbit)
2622 fprintf (stderr, " tcbit");
2623 if (fixp->fx_done)
2624 fprintf (stderr, " done");
a55774a1
KR
2625 fprintf (stderr, "\n size=%d frag=%lx where=%ld offset=%lx addnumber=%lx",
2626 fixp->fx_size, (long) fixp->fx_frag, (long) fixp->fx_where,
2627 (long) fixp->fx_offset, (long) fixp->fx_addnumber);
9dc6c00f
KR
2628#ifdef BFD_ASSEMBLER
2629 fprintf (stderr, "\n %s (%d)", bfd_get_reloc_code_name (fixp->fx_r_type),
2630 fixp->fx_r_type);
2631#else
a55774a1 2632#ifdef NEED_FX_R_TYPE
9dc6c00f 2633 fprintf (stderr, " r_type=%d", fixp->fx_r_type);
a55774a1 2634#endif
9dc6c00f
KR
2635#endif
2636 if (fixp->fx_addsy)
2637 {
a55774a1 2638 fprintf (stderr, "\n +<");
9dc6c00f
KR
2639 print_symbol_value_1 (stderr, fixp->fx_addsy);
2640 fprintf (stderr, ">");
2641 }
a55774a1
KR
2642 if (fixp->fx_subsy)
2643 {
2644 fprintf (stderr, "\n -<");
2645 print_symbol_value_1 (stderr, fixp->fx_subsy);
2646 fprintf (stderr, ">");
2647 }
9dc6c00f 2648 fprintf (stderr, "\n");
4acf8c78
KR
2649}
2650
fecd2382 2651/* end of write.c */
This page took 0.33746 seconds and 4 git commands to generate.