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