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