coff-alpha.c revision 1.1.1.6 1 /* BFD back-end for ALPHA Extended-Coff files.
2 Copyright (C) 1993-2019 Free Software Foundation, Inc.
3 Modified from coff-mips.c by Steve Chamberlain <sac (at) cygnus.com> and
4 Ian Lance Taylor <ian (at) cygnus.com>.
5
6 This file is part of BFD, the Binary File Descriptor library.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
21 MA 02110-1301, USA. */
22
23 #include "sysdep.h"
24 #include "bfd.h"
25 #include "bfdlink.h"
26 #include "libbfd.h"
27 #include "coff/internal.h"
28 #include "coff/sym.h"
29 #include "coff/symconst.h"
30 #include "coff/ecoff.h"
31 #include "coff/alpha.h"
32 #include "aout/ar.h"
33 #include "libcoff.h"
34 #include "libecoff.h"
35
36 /* Prototypes for static functions. */
38
39
40
41 /* ECOFF has COFF sections, but the debugging information is stored in
43 a completely different format. ECOFF targets use some of the
44 swapping routines from coffswap.h, and some of the generic COFF
45 routines in coffgen.c, but, unlike the real COFF targets, do not
46 use coffcode.h itself.
47
48 Get the generic COFF swapping routines, except for the reloc,
49 symbol, and lineno ones. Give them ecoff names. Define some
50 accessor macros for the large sizes used for Alpha ECOFF. */
51
52 #define GET_FILEHDR_SYMPTR H_GET_64
53 #define PUT_FILEHDR_SYMPTR H_PUT_64
54 #define GET_AOUTHDR_TSIZE H_GET_64
55 #define PUT_AOUTHDR_TSIZE H_PUT_64
56 #define GET_AOUTHDR_DSIZE H_GET_64
57 #define PUT_AOUTHDR_DSIZE H_PUT_64
58 #define GET_AOUTHDR_BSIZE H_GET_64
59 #define PUT_AOUTHDR_BSIZE H_PUT_64
60 #define GET_AOUTHDR_ENTRY H_GET_64
61 #define PUT_AOUTHDR_ENTRY H_PUT_64
62 #define GET_AOUTHDR_TEXT_START H_GET_64
63 #define PUT_AOUTHDR_TEXT_START H_PUT_64
64 #define GET_AOUTHDR_DATA_START H_GET_64
65 #define PUT_AOUTHDR_DATA_START H_PUT_64
66 #define GET_SCNHDR_PADDR H_GET_64
67 #define PUT_SCNHDR_PADDR H_PUT_64
68 #define GET_SCNHDR_VADDR H_GET_64
69 #define PUT_SCNHDR_VADDR H_PUT_64
70 #define GET_SCNHDR_SIZE H_GET_64
71 #define PUT_SCNHDR_SIZE H_PUT_64
72 #define GET_SCNHDR_SCNPTR H_GET_64
73 #define PUT_SCNHDR_SCNPTR H_PUT_64
74 #define GET_SCNHDR_RELPTR H_GET_64
75 #define PUT_SCNHDR_RELPTR H_PUT_64
76 #define GET_SCNHDR_LNNOPTR H_GET_64
77 #define PUT_SCNHDR_LNNOPTR H_PUT_64
78
79 #define ALPHAECOFF
80
81 #define NO_COFF_RELOCS
82 #define NO_COFF_SYMBOLS
83 #define NO_COFF_LINENOS
84 #define coff_swap_filehdr_in alpha_ecoff_swap_filehdr_in
85 #define coff_swap_filehdr_out alpha_ecoff_swap_filehdr_out
86 #define coff_swap_aouthdr_in alpha_ecoff_swap_aouthdr_in
87 #define coff_swap_aouthdr_out alpha_ecoff_swap_aouthdr_out
88 #define coff_swap_scnhdr_in alpha_ecoff_swap_scnhdr_in
89 #define coff_swap_scnhdr_out alpha_ecoff_swap_scnhdr_out
90 #include "coffswap.h"
91
92 /* Get the ECOFF swapping routines. */
93 #define ECOFF_64
94 #include "ecoffswap.h"
95
96 /* How to process the various reloc types. */
98
99 static bfd_reloc_status_type
100 reloc_nil (bfd *abfd ATTRIBUTE_UNUSED,
101 arelent *reloc ATTRIBUTE_UNUSED,
102 asymbol *sym ATTRIBUTE_UNUSED,
103 void * data ATTRIBUTE_UNUSED,
104 asection *sec ATTRIBUTE_UNUSED,
105 bfd *output_bfd ATTRIBUTE_UNUSED,
106 char **error_message ATTRIBUTE_UNUSED)
107 {
108 return bfd_reloc_ok;
109 }
110
111 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value
112 from smaller values. Start with zero, widen, *then* decrement. */
113 #define MINUS_ONE (((bfd_vma)0) - 1)
114
115 static reloc_howto_type alpha_howto_table[] =
116 {
117 /* Reloc type 0 is ignored by itself. However, it appears after a
118 GPDISP reloc to identify the location where the low order 16 bits
119 of the gp register are loaded. */
120 HOWTO (ALPHA_R_IGNORE, /* type */
121 0, /* rightshift */
122 0, /* size (0 = byte, 1 = short, 2 = long) */
123 8, /* bitsize */
124 TRUE, /* pc_relative */
125 0, /* bitpos */
126 complain_overflow_dont, /* complain_on_overflow */
127 reloc_nil, /* special_function */
128 "IGNORE", /* name */
129 TRUE, /* partial_inplace */
130 0, /* src_mask */
131 0, /* dst_mask */
132 TRUE), /* pcrel_offset */
133
134 /* A 32 bit reference to a symbol. */
135 HOWTO (ALPHA_R_REFLONG, /* type */
136 0, /* rightshift */
137 2, /* size (0 = byte, 1 = short, 2 = long) */
138 32, /* bitsize */
139 FALSE, /* pc_relative */
140 0, /* bitpos */
141 complain_overflow_bitfield, /* complain_on_overflow */
142 0, /* special_function */
143 "REFLONG", /* name */
144 TRUE, /* partial_inplace */
145 0xffffffff, /* src_mask */
146 0xffffffff, /* dst_mask */
147 FALSE), /* pcrel_offset */
148
149 /* A 64 bit reference to a symbol. */
150 HOWTO (ALPHA_R_REFQUAD, /* type */
151 0, /* rightshift */
152 4, /* size (0 = byte, 1 = short, 2 = long) */
153 64, /* bitsize */
154 FALSE, /* pc_relative */
155 0, /* bitpos */
156 complain_overflow_bitfield, /* complain_on_overflow */
157 0, /* special_function */
158 "REFQUAD", /* name */
159 TRUE, /* partial_inplace */
160 MINUS_ONE, /* src_mask */
161 MINUS_ONE, /* dst_mask */
162 FALSE), /* pcrel_offset */
163
164 /* A 32 bit GP relative offset. This is just like REFLONG except
165 that when the value is used the value of the gp register will be
166 added in. */
167 HOWTO (ALPHA_R_GPREL32, /* type */
168 0, /* rightshift */
169 2, /* size (0 = byte, 1 = short, 2 = long) */
170 32, /* bitsize */
171 FALSE, /* pc_relative */
172 0, /* bitpos */
173 complain_overflow_bitfield, /* complain_on_overflow */
174 0, /* special_function */
175 "GPREL32", /* name */
176 TRUE, /* partial_inplace */
177 0xffffffff, /* src_mask */
178 0xffffffff, /* dst_mask */
179 FALSE), /* pcrel_offset */
180
181 /* Used for an instruction that refers to memory off the GP
182 register. The offset is 16 bits of the 32 bit instruction. This
183 reloc always seems to be against the .lita section. */
184 HOWTO (ALPHA_R_LITERAL, /* type */
185 0, /* rightshift */
186 2, /* size (0 = byte, 1 = short, 2 = long) */
187 16, /* bitsize */
188 FALSE, /* pc_relative */
189 0, /* bitpos */
190 complain_overflow_signed, /* complain_on_overflow */
191 0, /* special_function */
192 "LITERAL", /* name */
193 TRUE, /* partial_inplace */
194 0xffff, /* src_mask */
195 0xffff, /* dst_mask */
196 FALSE), /* pcrel_offset */
197
198 /* This reloc only appears immediately following a LITERAL reloc.
199 It identifies a use of the literal. It seems that the linker can
200 use this to eliminate a portion of the .lita section. The symbol
201 index is special: 1 means the literal address is in the base
202 register of a memory format instruction; 2 means the literal
203 address is in the byte offset register of a byte-manipulation
204 instruction; 3 means the literal address is in the target
205 register of a jsr instruction. This does not actually do any
206 relocation. */
207 HOWTO (ALPHA_R_LITUSE, /* type */
208 0, /* rightshift */
209 2, /* size (0 = byte, 1 = short, 2 = long) */
210 32, /* bitsize */
211 FALSE, /* pc_relative */
212 0, /* bitpos */
213 complain_overflow_dont, /* complain_on_overflow */
214 reloc_nil, /* special_function */
215 "LITUSE", /* name */
216 FALSE, /* partial_inplace */
217 0, /* src_mask */
218 0, /* dst_mask */
219 FALSE), /* pcrel_offset */
220
221 /* Load the gp register. This is always used for a ldah instruction
222 which loads the upper 16 bits of the gp register. The next reloc
223 will be an IGNORE reloc which identifies the location of the lda
224 instruction which loads the lower 16 bits. The symbol index of
225 the GPDISP instruction appears to actually be the number of bytes
226 between the ldah and lda instructions. This gives two different
227 ways to determine where the lda instruction is; I don't know why
228 both are used. The value to use for the relocation is the
229 difference between the GP value and the current location; the
230 load will always be done against a register holding the current
231 address. */
232 HOWTO (ALPHA_R_GPDISP, /* type */
233 16, /* rightshift */
234 2, /* size (0 = byte, 1 = short, 2 = long) */
235 16, /* bitsize */
236 TRUE, /* pc_relative */
237 0, /* bitpos */
238 complain_overflow_dont, /* complain_on_overflow */
239 reloc_nil, /* special_function */
240 "GPDISP", /* name */
241 TRUE, /* partial_inplace */
242 0xffff, /* src_mask */
243 0xffff, /* dst_mask */
244 TRUE), /* pcrel_offset */
245
246 /* A 21 bit branch. The native assembler generates these for
247 branches within the text segment, and also fills in the PC
248 relative offset in the instruction. */
249 HOWTO (ALPHA_R_BRADDR, /* type */
250 2, /* rightshift */
251 2, /* size (0 = byte, 1 = short, 2 = long) */
252 21, /* bitsize */
253 TRUE, /* pc_relative */
254 0, /* bitpos */
255 complain_overflow_signed, /* complain_on_overflow */
256 0, /* special_function */
257 "BRADDR", /* name */
258 TRUE, /* partial_inplace */
259 0x1fffff, /* src_mask */
260 0x1fffff, /* dst_mask */
261 FALSE), /* pcrel_offset */
262
263 /* A hint for a jump to a register. */
264 HOWTO (ALPHA_R_HINT, /* type */
265 2, /* rightshift */
266 2, /* size (0 = byte, 1 = short, 2 = long) */
267 14, /* bitsize */
268 TRUE, /* pc_relative */
269 0, /* bitpos */
270 complain_overflow_dont, /* complain_on_overflow */
271 0, /* special_function */
272 "HINT", /* name */
273 TRUE, /* partial_inplace */
274 0x3fff, /* src_mask */
275 0x3fff, /* dst_mask */
276 FALSE), /* pcrel_offset */
277
278 /* 16 bit PC relative offset. */
279 HOWTO (ALPHA_R_SREL16, /* type */
280 0, /* rightshift */
281 1, /* size (0 = byte, 1 = short, 2 = long) */
282 16, /* bitsize */
283 TRUE, /* pc_relative */
284 0, /* bitpos */
285 complain_overflow_signed, /* complain_on_overflow */
286 0, /* special_function */
287 "SREL16", /* name */
288 TRUE, /* partial_inplace */
289 0xffff, /* src_mask */
290 0xffff, /* dst_mask */
291 FALSE), /* pcrel_offset */
292
293 /* 32 bit PC relative offset. */
294 HOWTO (ALPHA_R_SREL32, /* type */
295 0, /* rightshift */
296 2, /* size (0 = byte, 1 = short, 2 = long) */
297 32, /* bitsize */
298 TRUE, /* pc_relative */
299 0, /* bitpos */
300 complain_overflow_signed, /* complain_on_overflow */
301 0, /* special_function */
302 "SREL32", /* name */
303 TRUE, /* partial_inplace */
304 0xffffffff, /* src_mask */
305 0xffffffff, /* dst_mask */
306 FALSE), /* pcrel_offset */
307
308 /* A 64 bit PC relative offset. */
309 HOWTO (ALPHA_R_SREL64, /* type */
310 0, /* rightshift */
311 4, /* size (0 = byte, 1 = short, 2 = long) */
312 64, /* bitsize */
313 TRUE, /* pc_relative */
314 0, /* bitpos */
315 complain_overflow_signed, /* complain_on_overflow */
316 0, /* special_function */
317 "SREL64", /* name */
318 TRUE, /* partial_inplace */
319 MINUS_ONE, /* src_mask */
320 MINUS_ONE, /* dst_mask */
321 FALSE), /* pcrel_offset */
322
323 /* Push a value on the reloc evaluation stack. */
324 HOWTO (ALPHA_R_OP_PUSH, /* type */
325 0, /* rightshift */
326 0, /* size (0 = byte, 1 = short, 2 = long) */
327 0, /* bitsize */
328 FALSE, /* pc_relative */
329 0, /* bitpos */
330 complain_overflow_dont, /* complain_on_overflow */
331 0, /* special_function */
332 "OP_PUSH", /* name */
333 FALSE, /* partial_inplace */
334 0, /* src_mask */
335 0, /* dst_mask */
336 FALSE), /* pcrel_offset */
337
338 /* Store the value from the stack at the given address. Store it in
339 a bitfield of size r_size starting at bit position r_offset. */
340 HOWTO (ALPHA_R_OP_STORE, /* type */
341 0, /* rightshift */
342 4, /* size (0 = byte, 1 = short, 2 = long) */
343 64, /* bitsize */
344 FALSE, /* pc_relative */
345 0, /* bitpos */
346 complain_overflow_dont, /* complain_on_overflow */
347 0, /* special_function */
348 "OP_STORE", /* name */
349 FALSE, /* partial_inplace */
350 0, /* src_mask */
351 MINUS_ONE, /* dst_mask */
352 FALSE), /* pcrel_offset */
353
354 /* Subtract the reloc address from the value on the top of the
355 relocation stack. */
356 HOWTO (ALPHA_R_OP_PSUB, /* type */
357 0, /* rightshift */
358 0, /* size (0 = byte, 1 = short, 2 = long) */
359 0, /* bitsize */
360 FALSE, /* pc_relative */
361 0, /* bitpos */
362 complain_overflow_dont, /* complain_on_overflow */
363 0, /* special_function */
364 "OP_PSUB", /* name */
365 FALSE, /* partial_inplace */
366 0, /* src_mask */
367 0, /* dst_mask */
368 FALSE), /* pcrel_offset */
369
370 /* Shift the value on the top of the relocation stack right by the
371 given value. */
372 HOWTO (ALPHA_R_OP_PRSHIFT, /* type */
373 0, /* rightshift */
374 0, /* size (0 = byte, 1 = short, 2 = long) */
375 0, /* bitsize */
376 FALSE, /* pc_relative */
377 0, /* bitpos */
378 complain_overflow_dont, /* complain_on_overflow */
379 0, /* special_function */
380 "OP_PRSHIFT", /* name */
381 FALSE, /* partial_inplace */
382 0, /* src_mask */
383 0, /* dst_mask */
384 FALSE), /* pcrel_offset */
385
386 /* Adjust the GP value for a new range in the object file. */
387 HOWTO (ALPHA_R_GPVALUE, /* type */
388 0, /* rightshift */
389 0, /* size (0 = byte, 1 = short, 2 = long) */
390 0, /* bitsize */
391 FALSE, /* pc_relative */
392 0, /* bitpos */
393 complain_overflow_dont, /* complain_on_overflow */
394 0, /* special_function */
395 "GPVALUE", /* name */
396 FALSE, /* partial_inplace */
397 0, /* src_mask */
398 0, /* dst_mask */
399 FALSE) /* pcrel_offset */
400 };
401
402 /* Recognize an Alpha ECOFF file. */
404
405 static const bfd_target *
406 alpha_ecoff_object_p (bfd *abfd)
407 {
408 static const bfd_target *ret;
409
410 ret = coff_object_p (abfd);
411
412 if (ret != NULL)
413 {
414 asection *sec;
415
416 /* Alpha ECOFF has a .pdata section. The lnnoptr field of the
417 .pdata section is the number of entries it contains. Each
418 entry takes up 8 bytes. The number of entries is required
419 since the section is aligned to a 16 byte boundary. When we
420 link .pdata sections together, we do not want to include the
421 alignment bytes. We handle this on input by faking the size
422 of the .pdata section to remove the unwanted alignment bytes.
423 On output we will set the lnnoptr field and force the
424 alignment. */
425 sec = bfd_get_section_by_name (abfd, _PDATA);
426 if (sec != (asection *) NULL)
427 {
428 bfd_size_type size;
429
430 size = sec->line_filepos * 8;
431 BFD_ASSERT (size == sec->size
432 || size + 8 == sec->size);
433 if (! bfd_set_section_size (abfd, sec, size))
434 return NULL;
435 }
436 }
437
438 return ret;
439 }
440
441 /* See whether the magic number matches. */
442
443 static bfd_boolean
444 alpha_ecoff_bad_format_hook (bfd *abfd ATTRIBUTE_UNUSED,
445 void * filehdr)
446 {
447 struct internal_filehdr *internal_f = (struct internal_filehdr *) filehdr;
448
449 if (! ALPHA_ECOFF_BADMAG (*internal_f))
450 return TRUE;
451
452 if (ALPHA_ECOFF_COMPRESSEDMAG (*internal_f))
453 _bfd_error_handler
454 (_("%pB: cannot handle compressed Alpha binaries; "
455 "use compiler flags, or objZ, to generate uncompressed binaries"),
456 abfd);
457
458 return FALSE;
459 }
460
461 /* This is a hook called by coff_real_object_p to create any backend
462 specific information. */
463
464 static void *
465 alpha_ecoff_mkobject_hook (bfd *abfd, void * filehdr, void * aouthdr)
466 {
467 void * ecoff;
468
469 ecoff = _bfd_ecoff_mkobject_hook (abfd, filehdr, aouthdr);
470
471 if (ecoff != NULL)
472 {
473 struct internal_filehdr *internal_f = (struct internal_filehdr *) filehdr;
474
475 /* Set additional BFD flags according to the object type from the
476 machine specific file header flags. */
477 switch (internal_f->f_flags & F_ALPHA_OBJECT_TYPE_MASK)
478 {
479 case F_ALPHA_SHARABLE:
480 abfd->flags |= DYNAMIC;
481 break;
482 case F_ALPHA_CALL_SHARED:
483 /* Always executable if using shared libraries as the run time
484 loader might resolve undefined references. */
485 abfd->flags |= (DYNAMIC | EXEC_P);
486 break;
487 }
488 }
489 return ecoff;
490 }
491
492 /* Reloc handling. */
494
495 /* Swap a reloc in. */
496
497 static void
498 alpha_ecoff_swap_reloc_in (bfd *abfd,
499 void * ext_ptr,
500 struct internal_reloc *intern)
501 {
502 const RELOC *ext = (RELOC *) ext_ptr;
503
504 intern->r_vaddr = H_GET_64 (abfd, ext->r_vaddr);
505 intern->r_symndx = H_GET_32 (abfd, ext->r_symndx);
506
507 BFD_ASSERT (bfd_header_little_endian (abfd));
508
509 intern->r_type = ((ext->r_bits[0] & RELOC_BITS0_TYPE_LITTLE)
510 >> RELOC_BITS0_TYPE_SH_LITTLE);
511 intern->r_extern = (ext->r_bits[1] & RELOC_BITS1_EXTERN_LITTLE) != 0;
512 intern->r_offset = ((ext->r_bits[1] & RELOC_BITS1_OFFSET_LITTLE)
513 >> RELOC_BITS1_OFFSET_SH_LITTLE);
514 /* Ignored the reserved bits. */
515 intern->r_size = ((ext->r_bits[3] & RELOC_BITS3_SIZE_LITTLE)
516 >> RELOC_BITS3_SIZE_SH_LITTLE);
517
518 if (intern->r_type == ALPHA_R_LITUSE
519 || intern->r_type == ALPHA_R_GPDISP)
520 {
521 /* Handle the LITUSE and GPDISP relocs specially. Its symndx
522 value is not actually a symbol index, but is instead a
523 special code. We put the code in the r_size field, and
524 clobber the symndx. */
525 if (intern->r_size != 0)
526 abort ();
527 intern->r_size = intern->r_symndx;
528 intern->r_symndx = RELOC_SECTION_NONE;
529 }
530 else if (intern->r_type == ALPHA_R_IGNORE)
531 {
532 /* The IGNORE reloc generally follows a GPDISP reloc, and is
533 against the .lita section. The section is irrelevant. */
534 if (! intern->r_extern &&
535 intern->r_symndx == RELOC_SECTION_ABS)
536 abort ();
537 if (! intern->r_extern && intern->r_symndx == RELOC_SECTION_LITA)
538 intern->r_symndx = RELOC_SECTION_ABS;
539 }
540 }
541
542 /* Swap a reloc out. */
543
544 static void
545 alpha_ecoff_swap_reloc_out (bfd *abfd,
546 const struct internal_reloc *intern,
547 void * dst)
548 {
549 RELOC *ext = (RELOC *) dst;
550 long symndx;
551 unsigned char size;
552
553 /* Undo the hackery done in swap_reloc_in. */
554 if (intern->r_type == ALPHA_R_LITUSE
555 || intern->r_type == ALPHA_R_GPDISP)
556 {
557 symndx = intern->r_size;
558 size = 0;
559 }
560 else if (intern->r_type == ALPHA_R_IGNORE
561 && ! intern->r_extern
562 && intern->r_symndx == RELOC_SECTION_ABS)
563 {
564 symndx = RELOC_SECTION_LITA;
565 size = intern->r_size;
566 }
567 else
568 {
569 symndx = intern->r_symndx;
570 size = intern->r_size;
571 }
572
573 /* XXX FIXME: The maximum symndx value used to be 14 but this
574 fails with object files produced by DEC's C++ compiler.
575 Where does the value 14 (or 15) come from anyway ? */
576 BFD_ASSERT (intern->r_extern
577 || (intern->r_symndx >= 0 && intern->r_symndx <= 15));
578
579 H_PUT_64 (abfd, intern->r_vaddr, ext->r_vaddr);
580 H_PUT_32 (abfd, symndx, ext->r_symndx);
581
582 BFD_ASSERT (bfd_header_little_endian (abfd));
583
584 ext->r_bits[0] = ((intern->r_type << RELOC_BITS0_TYPE_SH_LITTLE)
585 & RELOC_BITS0_TYPE_LITTLE);
586 ext->r_bits[1] = ((intern->r_extern ? RELOC_BITS1_EXTERN_LITTLE : 0)
587 | ((intern->r_offset << RELOC_BITS1_OFFSET_SH_LITTLE)
588 & RELOC_BITS1_OFFSET_LITTLE));
589 ext->r_bits[2] = 0;
590 ext->r_bits[3] = ((size << RELOC_BITS3_SIZE_SH_LITTLE)
591 & RELOC_BITS3_SIZE_LITTLE);
592 }
593
594 /* Finish canonicalizing a reloc. Part of this is generic to all
595 ECOFF targets, and that part is in ecoff.c. The rest is done in
596 this backend routine. It must fill in the howto field. */
597
598 static void
599 alpha_adjust_reloc_in (bfd *abfd,
600 const struct internal_reloc *intern,
601 arelent *rptr)
602 {
603 if (intern->r_type > ALPHA_R_GPVALUE)
604 {
605 /* xgettext:c-format */
606 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
607 abfd, intern->r_type);
608 bfd_set_error (bfd_error_bad_value);
609 rptr->addend = 0;
610 rptr->howto = NULL;
611 return;
612 }
613
614 switch (intern->r_type)
615 {
616 case ALPHA_R_BRADDR:
617 case ALPHA_R_SREL16:
618 case ALPHA_R_SREL32:
619 case ALPHA_R_SREL64:
620 /* This relocs appear to be fully resolved when they are against
621 internal symbols. Against external symbols, BRADDR at least
622 appears to be resolved against the next instruction. */
623 if (! intern->r_extern)
624 rptr->addend = 0;
625 else
626 rptr->addend = - (intern->r_vaddr + 4);
627 break;
628
629 case ALPHA_R_GPREL32:
630 case ALPHA_R_LITERAL:
631 /* Copy the gp value for this object file into the addend, to
632 ensure that we are not confused by the linker. */
633 if (! intern->r_extern)
634 rptr->addend += ecoff_data (abfd)->gp;
635 break;
636
637 case ALPHA_R_LITUSE:
638 case ALPHA_R_GPDISP:
639 /* The LITUSE and GPDISP relocs do not use a symbol, or an
640 addend, but they do use a special code. Put this code in the
641 addend field. */
642 rptr->addend = intern->r_size;
643 break;
644
645 case ALPHA_R_OP_STORE:
646 /* The STORE reloc needs the size and offset fields. We store
647 them in the addend. */
648 BFD_ASSERT (intern->r_offset <= 256);
649 rptr->addend = (intern->r_offset << 8) + intern->r_size;
650 break;
651
652 case ALPHA_R_OP_PUSH:
653 case ALPHA_R_OP_PSUB:
654 case ALPHA_R_OP_PRSHIFT:
655 /* The PUSH, PSUB and PRSHIFT relocs do not actually use an
656 address. I believe that the address supplied is really an
657 addend. */
658 rptr->addend = intern->r_vaddr;
659 break;
660
661 case ALPHA_R_GPVALUE:
662 /* Set the addend field to the new GP value. */
663 rptr->addend = intern->r_symndx + ecoff_data (abfd)->gp;
664 break;
665
666 case ALPHA_R_IGNORE:
667 /* If the type is ALPHA_R_IGNORE, make sure this is a reference
668 to the absolute section so that the reloc is ignored. For
669 some reason the address of this reloc type is not adjusted by
670 the section vma. We record the gp value for this object file
671 here, for convenience when doing the GPDISP relocation. */
672 rptr->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
673 rptr->address = intern->r_vaddr;
674 rptr->addend = ecoff_data (abfd)->gp;
675 break;
676
677 default:
678 break;
679 }
680
681 rptr->howto = &alpha_howto_table[intern->r_type];
682 }
683
684 /* When writing out a reloc we need to pull some values back out of
685 the addend field into the reloc. This is roughly the reverse of
686 alpha_adjust_reloc_in, except that there are several changes we do
687 not need to undo. */
688
689 static void
690 alpha_adjust_reloc_out (bfd *abfd ATTRIBUTE_UNUSED,
691 const arelent *rel,
692 struct internal_reloc *intern)
693 {
694 switch (intern->r_type)
695 {
696 case ALPHA_R_LITUSE:
697 case ALPHA_R_GPDISP:
698 intern->r_size = rel->addend;
699 break;
700
701 case ALPHA_R_OP_STORE:
702 intern->r_size = rel->addend & 0xff;
703 intern->r_offset = (rel->addend >> 8) & 0xff;
704 break;
705
706 case ALPHA_R_OP_PUSH:
707 case ALPHA_R_OP_PSUB:
708 case ALPHA_R_OP_PRSHIFT:
709 intern->r_vaddr = rel->addend;
710 break;
711
712 case ALPHA_R_IGNORE:
713 intern->r_vaddr = rel->address;
714 break;
715
716 default:
717 break;
718 }
719 }
720
721 /* The size of the stack for the relocation evaluator. */
722 #define RELOC_STACKSIZE (10)
723
724 /* Alpha ECOFF relocs have a built in expression evaluator as well as
725 other interdependencies. Rather than use a bunch of special
726 functions and global variables, we use a single routine to do all
727 the relocation for a section. I haven't yet worked out how the
728 assembler is going to handle this. */
729
730 static bfd_byte *
731 alpha_ecoff_get_relocated_section_contents (bfd *abfd,
732 struct bfd_link_info *link_info,
733 struct bfd_link_order *link_order,
734 bfd_byte *data,
735 bfd_boolean relocatable,
736 asymbol **symbols)
737 {
738 bfd *input_bfd = link_order->u.indirect.section->owner;
739 asection *input_section = link_order->u.indirect.section;
740 long reloc_size = bfd_get_reloc_upper_bound (input_bfd, input_section);
741 arelent **reloc_vector = NULL;
742 long reloc_count;
743 bfd *output_bfd = relocatable ? abfd : (bfd *) NULL;
744 bfd_vma gp;
745 bfd_size_type sz;
746 bfd_boolean gp_undefined;
747 bfd_vma stack[RELOC_STACKSIZE];
748 int tos = 0;
749
750 if (reloc_size < 0)
751 goto error_return;
752 reloc_vector = (arelent **) bfd_malloc ((bfd_size_type) reloc_size);
753 if (reloc_vector == NULL && reloc_size != 0)
754 goto error_return;
755
756 sz = input_section->rawsize ? input_section->rawsize : input_section->size;
757 if (! bfd_get_section_contents (input_bfd, input_section, data, 0, sz))
758 goto error_return;
759
760 reloc_count = bfd_canonicalize_reloc (input_bfd, input_section,
761 reloc_vector, symbols);
762 if (reloc_count < 0)
763 goto error_return;
764 if (reloc_count == 0)
765 goto successful_return;
766
767 /* Get the GP value for the output BFD. */
768 gp_undefined = FALSE;
769 gp = _bfd_get_gp_value (abfd);
770 if (gp == 0)
771 {
772 if (relocatable)
773 {
774 asection *sec;
775 bfd_vma lo;
776
777 /* Make up a value. */
778 lo = (bfd_vma) -1;
779 for (sec = abfd->sections; sec != NULL; sec = sec->next)
780 {
781 if (sec->vma < lo
782 && (strcmp (sec->name, ".sbss") == 0
783 || strcmp (sec->name, ".sdata") == 0
784 || strcmp (sec->name, ".lit4") == 0
785 || strcmp (sec->name, ".lit8") == 0
786 || strcmp (sec->name, ".lita") == 0))
787 lo = sec->vma;
788 }
789 gp = lo + 0x8000;
790 _bfd_set_gp_value (abfd, gp);
791 }
792 else
793 {
794 struct bfd_link_hash_entry *h;
795
796 h = bfd_link_hash_lookup (link_info->hash, "_gp", FALSE, FALSE,
797 TRUE);
798 if (h == (struct bfd_link_hash_entry *) NULL
799 || h->type != bfd_link_hash_defined)
800 gp_undefined = TRUE;
801 else
802 {
803 gp = (h->u.def.value
804 + h->u.def.section->output_section->vma
805 + h->u.def.section->output_offset);
806 _bfd_set_gp_value (abfd, gp);
807 }
808 }
809 }
810
811 for (; *reloc_vector != (arelent *) NULL; reloc_vector++)
812 {
813 arelent *rel;
814 bfd_reloc_status_type r;
815 char *err;
816
817 rel = *reloc_vector;
818 r = bfd_reloc_ok;
819 switch (rel->howto->type)
820 {
821 case ALPHA_R_IGNORE:
822 rel->address += input_section->output_offset;
823 break;
824
825 case ALPHA_R_REFLONG:
826 case ALPHA_R_REFQUAD:
827 case ALPHA_R_BRADDR:
828 case ALPHA_R_HINT:
829 case ALPHA_R_SREL16:
830 case ALPHA_R_SREL32:
831 case ALPHA_R_SREL64:
832 if (relocatable
833 && ((*rel->sym_ptr_ptr)->flags & BSF_SECTION_SYM) == 0)
834 {
835 rel->address += input_section->output_offset;
836 break;
837 }
838 r = bfd_perform_relocation (input_bfd, rel, data, input_section,
839 output_bfd, &err);
840 break;
841
842 case ALPHA_R_GPREL32:
843 /* This relocation is used in a switch table. It is a 32
844 bit offset from the current GP value. We must adjust it
845 by the different between the original GP value and the
846 current GP value. The original GP value is stored in the
847 addend. We adjust the addend and let
848 bfd_perform_relocation finish the job. */
849 rel->addend -= gp;
850 r = bfd_perform_relocation (input_bfd, rel, data, input_section,
851 output_bfd, &err);
852 if (r == bfd_reloc_ok && gp_undefined)
853 {
854 r = bfd_reloc_dangerous;
855 err = (char *) _("GP relative relocation used when GP not defined");
856 }
857 break;
858
859 case ALPHA_R_LITERAL:
860 /* This is a reference to a literal value, generally
861 (always?) in the .lita section. This is a 16 bit GP
862 relative relocation. Sometimes the subsequent reloc is a
863 LITUSE reloc, which indicates how this reloc is used.
864 This sometimes permits rewriting the two instructions
865 referred to by the LITERAL and the LITUSE into different
866 instructions which do not refer to .lita. This can save
867 a memory reference, and permits removing a value from
868 .lita thus saving GP relative space.
869
870 We do not these optimizations. To do them we would need
871 to arrange to link the .lita section first, so that by
872 the time we got here we would know the final values to
873 use. This would not be particularly difficult, but it is
874 not currently implemented. */
875
876 {
877 unsigned long insn;
878
879 /* I believe that the LITERAL reloc will only apply to a
880 ldq or ldl instruction, so check my assumption. */
881 insn = bfd_get_32 (input_bfd, data + rel->address);
882 BFD_ASSERT (((insn >> 26) & 0x3f) == 0x29
883 || ((insn >> 26) & 0x3f) == 0x28);
884
885 rel->addend -= gp;
886 r = bfd_perform_relocation (input_bfd, rel, data, input_section,
887 output_bfd, &err);
888 if (r == bfd_reloc_ok && gp_undefined)
889 {
890 r = bfd_reloc_dangerous;
891 err =
892 (char *) _("GP relative relocation used when GP not defined");
893 }
894 }
895 break;
896
897 case ALPHA_R_LITUSE:
898 /* See ALPHA_R_LITERAL above for the uses of this reloc. It
899 does not cause anything to happen, itself. */
900 rel->address += input_section->output_offset;
901 break;
902
903 case ALPHA_R_GPDISP:
904 /* This marks the ldah of an ldah/lda pair which loads the
905 gp register with the difference of the gp value and the
906 current location. The second of the pair is r_size bytes
907 ahead; it used to be marked with an ALPHA_R_IGNORE reloc,
908 but that no longer happens in OSF/1 3.2. */
909 {
910 unsigned long insn1, insn2;
911 bfd_vma addend;
912
913 /* Get the two instructions. */
914 insn1 = bfd_get_32 (input_bfd, data + rel->address);
915 insn2 = bfd_get_32 (input_bfd, data + rel->address + rel->addend);
916
917 BFD_ASSERT (((insn1 >> 26) & 0x3f) == 0x09); /* ldah */
918 BFD_ASSERT (((insn2 >> 26) & 0x3f) == 0x08); /* lda */
919
920 /* Get the existing addend. We must account for the sign
921 extension done by lda and ldah. */
922 addend = ((insn1 & 0xffff) << 16) + (insn2 & 0xffff);
923 if (insn1 & 0x8000)
924 {
925 addend -= 0x80000000;
926 addend -= 0x80000000;
927 }
928 if (insn2 & 0x8000)
929 addend -= 0x10000;
930
931 /* The existing addend includes the different between the
932 gp of the input BFD and the address in the input BFD.
933 Subtract this out. */
934 addend -= (ecoff_data (input_bfd)->gp
935 - (input_section->vma + rel->address));
936
937 /* Now add in the final gp value, and subtract out the
938 final address. */
939 addend += (gp
940 - (input_section->output_section->vma
941 + input_section->output_offset
942 + rel->address));
943
944 /* Change the instructions, accounting for the sign
945 extension, and write them out. */
946 if (addend & 0x8000)
947 addend += 0x10000;
948 insn1 = (insn1 & 0xffff0000) | ((addend >> 16) & 0xffff);
949 insn2 = (insn2 & 0xffff0000) | (addend & 0xffff);
950
951 bfd_put_32 (input_bfd, (bfd_vma) insn1, data + rel->address);
952 bfd_put_32 (input_bfd, (bfd_vma) insn2,
953 data + rel->address + rel->addend);
954
955 rel->address += input_section->output_offset;
956 }
957 break;
958
959 case ALPHA_R_OP_PUSH:
960 /* Push a value on the reloc evaluation stack. */
961 {
962 asymbol *symbol;
963 bfd_vma relocation;
964
965 if (relocatable)
966 {
967 rel->address += input_section->output_offset;
968 break;
969 }
970
971 /* Figure out the relocation of this symbol. */
972 symbol = *rel->sym_ptr_ptr;
973
974 if (bfd_is_und_section (symbol->section))
975 r = bfd_reloc_undefined;
976
977 if (bfd_is_com_section (symbol->section))
978 relocation = 0;
979 else
980 relocation = symbol->value;
981 relocation += symbol->section->output_section->vma;
982 relocation += symbol->section->output_offset;
983 relocation += rel->addend;
984
985 if (tos >= RELOC_STACKSIZE)
986 abort ();
987
988 stack[tos++] = relocation;
989 }
990 break;
991
992 case ALPHA_R_OP_STORE:
993 /* Store a value from the reloc stack into a bitfield. */
994 {
995 bfd_vma val;
996 int offset, size;
997
998 if (relocatable)
999 {
1000 rel->address += input_section->output_offset;
1001 break;
1002 }
1003
1004 if (tos == 0)
1005 abort ();
1006
1007 /* The offset and size for this reloc are encoded into the
1008 addend field by alpha_adjust_reloc_in. */
1009 offset = (rel->addend >> 8) & 0xff;
1010 size = rel->addend & 0xff;
1011
1012 val = bfd_get_64 (abfd, data + rel->address);
1013 val &=~ (((1 << size) - 1) << offset);
1014 val |= (stack[--tos] & ((1 << size) - 1)) << offset;
1015 bfd_put_64 (abfd, val, data + rel->address);
1016 }
1017 break;
1018
1019 case ALPHA_R_OP_PSUB:
1020 /* Subtract a value from the top of the stack. */
1021 {
1022 asymbol *symbol;
1023 bfd_vma relocation;
1024
1025 if (relocatable)
1026 {
1027 rel->address += input_section->output_offset;
1028 break;
1029 }
1030
1031 /* Figure out the relocation of this symbol. */
1032 symbol = *rel->sym_ptr_ptr;
1033
1034 if (bfd_is_und_section (symbol->section))
1035 r = bfd_reloc_undefined;
1036
1037 if (bfd_is_com_section (symbol->section))
1038 relocation = 0;
1039 else
1040 relocation = symbol->value;
1041 relocation += symbol->section->output_section->vma;
1042 relocation += symbol->section->output_offset;
1043 relocation += rel->addend;
1044
1045 if (tos == 0)
1046 abort ();
1047
1048 stack[tos - 1] -= relocation;
1049 }
1050 break;
1051
1052 case ALPHA_R_OP_PRSHIFT:
1053 /* Shift the value on the top of the stack. */
1054 {
1055 asymbol *symbol;
1056 bfd_vma relocation;
1057
1058 if (relocatable)
1059 {
1060 rel->address += input_section->output_offset;
1061 break;
1062 }
1063
1064 /* Figure out the relocation of this symbol. */
1065 symbol = *rel->sym_ptr_ptr;
1066
1067 if (bfd_is_und_section (symbol->section))
1068 r = bfd_reloc_undefined;
1069
1070 if (bfd_is_com_section (symbol->section))
1071 relocation = 0;
1072 else
1073 relocation = symbol->value;
1074 relocation += symbol->section->output_section->vma;
1075 relocation += symbol->section->output_offset;
1076 relocation += rel->addend;
1077
1078 if (tos == 0)
1079 abort ();
1080
1081 stack[tos - 1] >>= relocation;
1082 }
1083 break;
1084
1085 case ALPHA_R_GPVALUE:
1086 /* I really don't know if this does the right thing. */
1087 gp = rel->addend;
1088 gp_undefined = FALSE;
1089 break;
1090
1091 default:
1092 abort ();
1093 }
1094
1095 if (relocatable)
1096 {
1097 asection *os = input_section->output_section;
1098
1099 /* A partial link, so keep the relocs. */
1100 os->orelocation[os->reloc_count] = rel;
1101 os->reloc_count++;
1102 }
1103
1104 if (r != bfd_reloc_ok)
1105 {
1106 switch (r)
1107 {
1108 case bfd_reloc_undefined:
1109 (*link_info->callbacks->undefined_symbol)
1110 (link_info, bfd_asymbol_name (*rel->sym_ptr_ptr),
1111 input_bfd, input_section, rel->address, TRUE);
1112 break;
1113 case bfd_reloc_dangerous:
1114 (*link_info->callbacks->reloc_dangerous)
1115 (link_info, err, input_bfd, input_section, rel->address);
1116 break;
1117 case bfd_reloc_overflow:
1118 (*link_info->callbacks->reloc_overflow)
1119 (link_info, NULL, bfd_asymbol_name (*rel->sym_ptr_ptr),
1120 rel->howto->name, rel->addend, input_bfd,
1121 input_section, rel->address);
1122 break;
1123 case bfd_reloc_outofrange:
1124 default:
1125 abort ();
1126 break;
1127 }
1128 }
1129 }
1130
1131 if (tos != 0)
1132 abort ();
1133
1134 successful_return:
1135 if (reloc_vector != NULL)
1136 free (reloc_vector);
1137 return data;
1138
1139 error_return:
1140 if (reloc_vector != NULL)
1141 free (reloc_vector);
1142 return NULL;
1143 }
1144
1145 /* Get the howto structure for a generic reloc type. */
1146
1147 static reloc_howto_type *
1148 alpha_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
1149 bfd_reloc_code_real_type code)
1150 {
1151 int alpha_type;
1152
1153 switch (code)
1154 {
1155 case BFD_RELOC_32:
1156 alpha_type = ALPHA_R_REFLONG;
1157 break;
1158 case BFD_RELOC_64:
1159 case BFD_RELOC_CTOR:
1160 alpha_type = ALPHA_R_REFQUAD;
1161 break;
1162 case BFD_RELOC_GPREL32:
1163 alpha_type = ALPHA_R_GPREL32;
1164 break;
1165 case BFD_RELOC_ALPHA_LITERAL:
1166 alpha_type = ALPHA_R_LITERAL;
1167 break;
1168 case BFD_RELOC_ALPHA_LITUSE:
1169 alpha_type = ALPHA_R_LITUSE;
1170 break;
1171 case BFD_RELOC_ALPHA_GPDISP_HI16:
1172 alpha_type = ALPHA_R_GPDISP;
1173 break;
1174 case BFD_RELOC_ALPHA_GPDISP_LO16:
1175 alpha_type = ALPHA_R_IGNORE;
1176 break;
1177 case BFD_RELOC_23_PCREL_S2:
1178 alpha_type = ALPHA_R_BRADDR;
1179 break;
1180 case BFD_RELOC_ALPHA_HINT:
1181 alpha_type = ALPHA_R_HINT;
1182 break;
1183 case BFD_RELOC_16_PCREL:
1184 alpha_type = ALPHA_R_SREL16;
1185 break;
1186 case BFD_RELOC_32_PCREL:
1187 alpha_type = ALPHA_R_SREL32;
1188 break;
1189 case BFD_RELOC_64_PCREL:
1190 alpha_type = ALPHA_R_SREL64;
1191 break;
1192 default:
1193 return (reloc_howto_type *) NULL;
1194 }
1195
1196 return &alpha_howto_table[alpha_type];
1197 }
1198
1199 static reloc_howto_type *
1200 alpha_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
1201 const char *r_name)
1202 {
1203 unsigned int i;
1204
1205 for (i = 0;
1206 i < sizeof (alpha_howto_table) / sizeof (alpha_howto_table[0]);
1207 i++)
1208 if (alpha_howto_table[i].name != NULL
1209 && strcasecmp (alpha_howto_table[i].name, r_name) == 0)
1210 return &alpha_howto_table[i];
1211
1212 return NULL;
1213 }
1214
1215 /* A helper routine for alpha_relocate_section which converts an
1217 external reloc when generating relocatable output. Returns the
1218 relocation amount. */
1219
1220 static bfd_vma
1221 alpha_convert_external_reloc (bfd *output_bfd ATTRIBUTE_UNUSED,
1222 struct bfd_link_info *info,
1223 bfd *input_bfd,
1224 struct external_reloc *ext_rel,
1225 struct ecoff_link_hash_entry *h)
1226 {
1227 unsigned long r_symndx;
1228 bfd_vma relocation;
1229
1230 BFD_ASSERT (bfd_link_relocatable (info));
1231
1232 if (h->root.type == bfd_link_hash_defined
1233 || h->root.type == bfd_link_hash_defweak)
1234 {
1235 asection *hsec;
1236 const char *name;
1237
1238 /* This symbol is defined in the output. Convert the reloc from
1239 being against the symbol to being against the section. */
1240
1241 /* Clear the r_extern bit. */
1242 ext_rel->r_bits[1] &=~ RELOC_BITS1_EXTERN_LITTLE;
1243
1244 /* Compute a new r_symndx value. */
1245 hsec = h->root.u.def.section;
1246 name = bfd_get_section_name (output_bfd, hsec->output_section);
1247
1248 r_symndx = (unsigned long) -1;
1249 switch (name[1])
1250 {
1251 case 'A':
1252 if (strcmp (name, "*ABS*") == 0)
1253 r_symndx = RELOC_SECTION_ABS;
1254 break;
1255 case 'b':
1256 if (strcmp (name, ".bss") == 0)
1257 r_symndx = RELOC_SECTION_BSS;
1258 break;
1259 case 'd':
1260 if (strcmp (name, ".data") == 0)
1261 r_symndx = RELOC_SECTION_DATA;
1262 break;
1263 case 'f':
1264 if (strcmp (name, ".fini") == 0)
1265 r_symndx = RELOC_SECTION_FINI;
1266 break;
1267 case 'i':
1268 if (strcmp (name, ".init") == 0)
1269 r_symndx = RELOC_SECTION_INIT;
1270 break;
1271 case 'l':
1272 if (strcmp (name, ".lita") == 0)
1273 r_symndx = RELOC_SECTION_LITA;
1274 else if (strcmp (name, ".lit8") == 0)
1275 r_symndx = RELOC_SECTION_LIT8;
1276 else if (strcmp (name, ".lit4") == 0)
1277 r_symndx = RELOC_SECTION_LIT4;
1278 break;
1279 case 'p':
1280 if (strcmp (name, ".pdata") == 0)
1281 r_symndx = RELOC_SECTION_PDATA;
1282 break;
1283 case 'r':
1284 if (strcmp (name, ".rdata") == 0)
1285 r_symndx = RELOC_SECTION_RDATA;
1286 else if (strcmp (name, ".rconst") == 0)
1287 r_symndx = RELOC_SECTION_RCONST;
1288 break;
1289 case 's':
1290 if (strcmp (name, ".sdata") == 0)
1291 r_symndx = RELOC_SECTION_SDATA;
1292 else if (strcmp (name, ".sbss") == 0)
1293 r_symndx = RELOC_SECTION_SBSS;
1294 break;
1295 case 't':
1296 if (strcmp (name, ".text") == 0)
1297 r_symndx = RELOC_SECTION_TEXT;
1298 break;
1299 case 'x':
1300 if (strcmp (name, ".xdata") == 0)
1301 r_symndx = RELOC_SECTION_XDATA;
1302 break;
1303 }
1304
1305 if (r_symndx == (unsigned long) -1)
1306 abort ();
1307
1308 /* Add the section VMA and the symbol value. */
1309 relocation = (h->root.u.def.value
1310 + hsec->output_section->vma
1311 + hsec->output_offset);
1312 }
1313 else
1314 {
1315 /* Change the symndx value to the right one for
1316 the output BFD. */
1317 r_symndx = h->indx;
1318 if (r_symndx == (unsigned long) -1)
1319 {
1320 /* Caller must give an error. */
1321 r_symndx = 0;
1322 }
1323 relocation = 0;
1324 }
1325
1326 /* Write out the new r_symndx value. */
1327 H_PUT_32 (input_bfd, r_symndx, ext_rel->r_symndx);
1328
1329 return relocation;
1330 }
1331
1332 /* Relocate a section while linking an Alpha ECOFF file. This is
1333 quite similar to get_relocated_section_contents. Perhaps they
1334 could be combined somehow. */
1335
1336 static bfd_boolean
1337 alpha_relocate_section (bfd *output_bfd,
1338 struct bfd_link_info *info,
1339 bfd *input_bfd,
1340 asection *input_section,
1341 bfd_byte *contents,
1342 void * external_relocs)
1343 {
1344 asection **symndx_to_section, *lita_sec;
1345 struct ecoff_link_hash_entry **sym_hashes;
1346 bfd_vma gp;
1347 bfd_boolean gp_undefined;
1348 bfd_vma stack[RELOC_STACKSIZE];
1349 int tos = 0;
1350 struct external_reloc *ext_rel;
1351 struct external_reloc *ext_rel_end;
1352 bfd_size_type amt;
1353
1354 /* We keep a table mapping the symndx found in an internal reloc to
1355 the appropriate section. This is faster than looking up the
1356 section by name each time. */
1357 symndx_to_section = ecoff_data (input_bfd)->symndx_to_section;
1358 if (symndx_to_section == (asection **) NULL)
1359 {
1360 amt = NUM_RELOC_SECTIONS * sizeof (asection *);
1361 symndx_to_section = (asection **) bfd_alloc (input_bfd, amt);
1362 if (!symndx_to_section)
1363 return FALSE;
1364
1365 symndx_to_section[RELOC_SECTION_NONE] = NULL;
1366 symndx_to_section[RELOC_SECTION_TEXT] =
1367 bfd_get_section_by_name (input_bfd, ".text");
1368 symndx_to_section[RELOC_SECTION_RDATA] =
1369 bfd_get_section_by_name (input_bfd, ".rdata");
1370 symndx_to_section[RELOC_SECTION_DATA] =
1371 bfd_get_section_by_name (input_bfd, ".data");
1372 symndx_to_section[RELOC_SECTION_SDATA] =
1373 bfd_get_section_by_name (input_bfd, ".sdata");
1374 symndx_to_section[RELOC_SECTION_SBSS] =
1375 bfd_get_section_by_name (input_bfd, ".sbss");
1376 symndx_to_section[RELOC_SECTION_BSS] =
1377 bfd_get_section_by_name (input_bfd, ".bss");
1378 symndx_to_section[RELOC_SECTION_INIT] =
1379 bfd_get_section_by_name (input_bfd, ".init");
1380 symndx_to_section[RELOC_SECTION_LIT8] =
1381 bfd_get_section_by_name (input_bfd, ".lit8");
1382 symndx_to_section[RELOC_SECTION_LIT4] =
1383 bfd_get_section_by_name (input_bfd, ".lit4");
1384 symndx_to_section[RELOC_SECTION_XDATA] =
1385 bfd_get_section_by_name (input_bfd, ".xdata");
1386 symndx_to_section[RELOC_SECTION_PDATA] =
1387 bfd_get_section_by_name (input_bfd, ".pdata");
1388 symndx_to_section[RELOC_SECTION_FINI] =
1389 bfd_get_section_by_name (input_bfd, ".fini");
1390 symndx_to_section[RELOC_SECTION_LITA] =
1391 bfd_get_section_by_name (input_bfd, ".lita");
1392 symndx_to_section[RELOC_SECTION_ABS] = bfd_abs_section_ptr;
1393 symndx_to_section[RELOC_SECTION_RCONST] =
1394 bfd_get_section_by_name (input_bfd, ".rconst");
1395
1396 ecoff_data (input_bfd)->symndx_to_section = symndx_to_section;
1397 }
1398
1399 sym_hashes = ecoff_data (input_bfd)->sym_hashes;
1400
1401 /* On the Alpha, the .lita section must be addressable by the global
1402 pointer. To support large programs, we need to allow multiple
1403 global pointers. This works as long as each input .lita section
1404 is <64KB big. This implies that when producing relocatable
1405 output, the .lita section is limited to 64KB. . */
1406
1407 lita_sec = symndx_to_section[RELOC_SECTION_LITA];
1408 gp = _bfd_get_gp_value (output_bfd);
1409 if (! bfd_link_relocatable (info) && lita_sec != NULL)
1410 {
1411 struct ecoff_section_tdata *lita_sec_data;
1412
1413 /* Make sure we have a section data structure to which we can
1414 hang on to the gp value we pick for the section. */
1415 lita_sec_data = ecoff_section_data (input_bfd, lita_sec);
1416 if (lita_sec_data == NULL)
1417 {
1418 amt = sizeof (struct ecoff_section_tdata);
1419 lita_sec_data = ((struct ecoff_section_tdata *)
1420 bfd_zalloc (input_bfd, amt));
1421 lita_sec->used_by_bfd = lita_sec_data;
1422 }
1423
1424 if (lita_sec_data->gp != 0)
1425 {
1426 /* If we already assigned a gp to this section, we better
1427 stick with that value. */
1428 gp = lita_sec_data->gp;
1429 }
1430 else
1431 {
1432 bfd_vma lita_vma;
1433 bfd_size_type lita_size;
1434
1435 lita_vma = lita_sec->output_offset + lita_sec->output_section->vma;
1436 lita_size = lita_sec->size;
1437
1438 if (gp == 0
1439 || lita_vma < gp - 0x8000
1440 || lita_vma + lita_size >= gp + 0x8000)
1441 {
1442 /* Either gp hasn't been set at all or the current gp
1443 cannot address this .lita section. In both cases we
1444 reset the gp to point into the "middle" of the
1445 current input .lita section. */
1446 if (gp && !ecoff_data (output_bfd)->issued_multiple_gp_warning)
1447 {
1448 (*info->callbacks->warning) (info,
1449 _("using multiple gp values"),
1450 (char *) NULL, output_bfd,
1451 (asection *) NULL, (bfd_vma) 0);
1452 ecoff_data (output_bfd)->issued_multiple_gp_warning = TRUE;
1453 }
1454 if (lita_vma < gp - 0x8000)
1455 gp = lita_vma + lita_size - 0x8000;
1456 else
1457 gp = lita_vma + 0x8000;
1458
1459 }
1460
1461 lita_sec_data->gp = gp;
1462 }
1463
1464 _bfd_set_gp_value (output_bfd, gp);
1465 }
1466
1467 gp_undefined = (gp == 0);
1468
1469 BFD_ASSERT (bfd_header_little_endian (output_bfd));
1470 BFD_ASSERT (bfd_header_little_endian (input_bfd));
1471
1472 ext_rel = (struct external_reloc *) external_relocs;
1473 ext_rel_end = ext_rel + input_section->reloc_count;
1474 for (; ext_rel < ext_rel_end; ext_rel++)
1475 {
1476 bfd_vma r_vaddr;
1477 unsigned long r_symndx;
1478 int r_type;
1479 int r_extern;
1480 int r_offset;
1481 int r_size;
1482 bfd_boolean relocatep;
1483 bfd_boolean adjust_addrp;
1484 bfd_boolean gp_usedp;
1485 bfd_vma addend;
1486
1487 r_vaddr = H_GET_64 (input_bfd, ext_rel->r_vaddr);
1488 r_symndx = H_GET_32 (input_bfd, ext_rel->r_symndx);
1489
1490 r_type = ((ext_rel->r_bits[0] & RELOC_BITS0_TYPE_LITTLE)
1491 >> RELOC_BITS0_TYPE_SH_LITTLE);
1492 r_extern = (ext_rel->r_bits[1] & RELOC_BITS1_EXTERN_LITTLE) != 0;
1493 r_offset = ((ext_rel->r_bits[1] & RELOC_BITS1_OFFSET_LITTLE)
1494 >> RELOC_BITS1_OFFSET_SH_LITTLE);
1495 /* Ignored the reserved bits. */
1496 r_size = ((ext_rel->r_bits[3] & RELOC_BITS3_SIZE_LITTLE)
1497 >> RELOC_BITS3_SIZE_SH_LITTLE);
1498
1499 relocatep = FALSE;
1500 adjust_addrp = TRUE;
1501 gp_usedp = FALSE;
1502 addend = 0;
1503
1504 switch (r_type)
1505 {
1506 case ALPHA_R_GPRELHIGH:
1507 _bfd_error_handler (_("%pB: %s unsupported"),
1508 input_bfd, "ALPHA_R_GPRELHIGH");
1509 bfd_set_error (bfd_error_bad_value);
1510 continue;
1511
1512 case ALPHA_R_GPRELLOW:
1513 _bfd_error_handler (_("%pB: %s unsupported"),
1514 input_bfd, "ALPHA_R_GPRELLOW");
1515 bfd_set_error (bfd_error_bad_value);
1516 continue;
1517
1518 default:
1519 /* xgettext:c-format */
1520 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
1521 input_bfd, (int) r_type);
1522 bfd_set_error (bfd_error_bad_value);
1523 continue;
1524
1525 case ALPHA_R_IGNORE:
1526 /* This reloc appears after a GPDISP reloc. On earlier
1527 versions of OSF/1, It marked the position of the second
1528 instruction to be altered by the GPDISP reloc, but it is
1529 not otherwise used for anything. For some reason, the
1530 address of the relocation does not appear to include the
1531 section VMA, unlike the other relocation types. */
1532 if (bfd_link_relocatable (info))
1533 H_PUT_64 (input_bfd, input_section->output_offset + r_vaddr,
1534 ext_rel->r_vaddr);
1535 adjust_addrp = FALSE;
1536 break;
1537
1538 case ALPHA_R_REFLONG:
1539 case ALPHA_R_REFQUAD:
1540 case ALPHA_R_HINT:
1541 relocatep = TRUE;
1542 break;
1543
1544 case ALPHA_R_BRADDR:
1545 case ALPHA_R_SREL16:
1546 case ALPHA_R_SREL32:
1547 case ALPHA_R_SREL64:
1548 if (r_extern)
1549 addend += - (r_vaddr + 4);
1550 relocatep = TRUE;
1551 break;
1552
1553 case ALPHA_R_GPREL32:
1554 /* This relocation is used in a switch table. It is a 32
1555 bit offset from the current GP value. We must adjust it
1556 by the different between the original GP value and the
1557 current GP value. */
1558 relocatep = TRUE;
1559 addend = ecoff_data (input_bfd)->gp - gp;
1560 gp_usedp = TRUE;
1561 break;
1562
1563 case ALPHA_R_LITERAL:
1564 /* This is a reference to a literal value, generally
1565 (always?) in the .lita section. This is a 16 bit GP
1566 relative relocation. Sometimes the subsequent reloc is a
1567 LITUSE reloc, which indicates how this reloc is used.
1568 This sometimes permits rewriting the two instructions
1569 referred to by the LITERAL and the LITUSE into different
1570 instructions which do not refer to .lita. This can save
1571 a memory reference, and permits removing a value from
1572 .lita thus saving GP relative space.
1573
1574 We do not these optimizations. To do them we would need
1575 to arrange to link the .lita section first, so that by
1576 the time we got here we would know the final values to
1577 use. This would not be particularly difficult, but it is
1578 not currently implemented. */
1579
1580 /* I believe that the LITERAL reloc will only apply to a ldq
1581 or ldl instruction, so check my assumption. */
1582 {
1583 unsigned long insn;
1584
1585 insn = bfd_get_32 (input_bfd,
1586 contents + r_vaddr - input_section->vma);
1587 BFD_ASSERT (((insn >> 26) & 0x3f) == 0x29
1588 || ((insn >> 26) & 0x3f) == 0x28);
1589 }
1590
1591 relocatep = TRUE;
1592 addend = ecoff_data (input_bfd)->gp - gp;
1593 gp_usedp = TRUE;
1594 break;
1595
1596 case ALPHA_R_LITUSE:
1597 /* See ALPHA_R_LITERAL above for the uses of this reloc. It
1598 does not cause anything to happen, itself. */
1599 break;
1600
1601 case ALPHA_R_GPDISP:
1602 /* This marks the ldah of an ldah/lda pair which loads the
1603 gp register with the difference of the gp value and the
1604 current location. The second of the pair is r_symndx
1605 bytes ahead. It used to be marked with an ALPHA_R_IGNORE
1606 reloc, but OSF/1 3.2 no longer does that. */
1607 {
1608 unsigned long insn1, insn2;
1609
1610 /* Get the two instructions. */
1611 insn1 = bfd_get_32 (input_bfd,
1612 contents + r_vaddr - input_section->vma);
1613 insn2 = bfd_get_32 (input_bfd,
1614 (contents
1615 + r_vaddr
1616 - input_section->vma
1617 + r_symndx));
1618
1619 BFD_ASSERT (((insn1 >> 26) & 0x3f) == 0x09); /* ldah */
1620 BFD_ASSERT (((insn2 >> 26) & 0x3f) == 0x08); /* lda */
1621
1622 /* Get the existing addend. We must account for the sign
1623 extension done by lda and ldah. */
1624 addend = ((insn1 & 0xffff) << 16) + (insn2 & 0xffff);
1625 if (insn1 & 0x8000)
1626 {
1627 /* This is addend -= 0x100000000 without causing an
1628 integer overflow on a 32 bit host. */
1629 addend -= 0x80000000;
1630 addend -= 0x80000000;
1631 }
1632 if (insn2 & 0x8000)
1633 addend -= 0x10000;
1634
1635 /* The existing addend includes the difference between the
1636 gp of the input BFD and the address in the input BFD.
1637 We want to change this to the difference between the
1638 final GP and the final address. */
1639 addend += (gp
1640 - ecoff_data (input_bfd)->gp
1641 + input_section->vma
1642 - (input_section->output_section->vma
1643 + input_section->output_offset));
1644
1645 /* Change the instructions, accounting for the sign
1646 extension, and write them out. */
1647 if (addend & 0x8000)
1648 addend += 0x10000;
1649 insn1 = (insn1 & 0xffff0000) | ((addend >> 16) & 0xffff);
1650 insn2 = (insn2 & 0xffff0000) | (addend & 0xffff);
1651
1652 bfd_put_32 (input_bfd, (bfd_vma) insn1,
1653 contents + r_vaddr - input_section->vma);
1654 bfd_put_32 (input_bfd, (bfd_vma) insn2,
1655 contents + r_vaddr - input_section->vma + r_symndx);
1656
1657 gp_usedp = TRUE;
1658 }
1659 break;
1660
1661 case ALPHA_R_OP_PUSH:
1662 case ALPHA_R_OP_PSUB:
1663 case ALPHA_R_OP_PRSHIFT:
1664 /* Manipulate values on the reloc evaluation stack. The
1665 r_vaddr field is not an address in input_section, it is
1666 the current value (including any addend) of the object
1667 being used. */
1668 if (! r_extern)
1669 {
1670 asection *s;
1671
1672 s = symndx_to_section[r_symndx];
1673 if (s == (asection *) NULL)
1674 abort ();
1675 addend = s->output_section->vma + s->output_offset - s->vma;
1676 }
1677 else
1678 {
1679 struct ecoff_link_hash_entry *h;
1680
1681 h = sym_hashes[r_symndx];
1682 if (h == (struct ecoff_link_hash_entry *) NULL)
1683 abort ();
1684
1685 if (! bfd_link_relocatable (info))
1686 {
1687 if (h->root.type == bfd_link_hash_defined
1688 || h->root.type == bfd_link_hash_defweak)
1689 addend = (h->root.u.def.value
1690 + h->root.u.def.section->output_section->vma
1691 + h->root.u.def.section->output_offset);
1692 else
1693 {
1694 /* Note that we pass the address as 0, since we
1695 do not have a meaningful number for the
1696 location within the section that is being
1697 relocated. */
1698 (*info->callbacks->undefined_symbol)
1699 (info, h->root.root.string, input_bfd,
1700 input_section, (bfd_vma) 0, TRUE);
1701 addend = 0;
1702 }
1703 }
1704 else
1705 {
1706 if (h->root.type != bfd_link_hash_defined
1707 && h->root.type != bfd_link_hash_defweak
1708 && h->indx == -1)
1709 {
1710 /* This symbol is not being written out. Pass
1711 the address as 0, as with undefined_symbol,
1712 above. */
1713 (*info->callbacks->unattached_reloc)
1714 (info, h->root.root.string,
1715 input_bfd, input_section, (bfd_vma) 0);
1716 }
1717
1718 addend = alpha_convert_external_reloc (output_bfd, info,
1719 input_bfd,
1720 ext_rel, h);
1721 }
1722 }
1723
1724 addend += r_vaddr;
1725
1726 if (bfd_link_relocatable (info))
1727 {
1728 /* Adjust r_vaddr by the addend. */
1729 H_PUT_64 (input_bfd, addend, ext_rel->r_vaddr);
1730 }
1731 else
1732 {
1733 switch (r_type)
1734 {
1735 case ALPHA_R_OP_PUSH:
1736 if (tos >= RELOC_STACKSIZE)
1737 abort ();
1738 stack[tos++] = addend;
1739 break;
1740
1741 case ALPHA_R_OP_PSUB:
1742 if (tos == 0)
1743 abort ();
1744 stack[tos - 1] -= addend;
1745 break;
1746
1747 case ALPHA_R_OP_PRSHIFT:
1748 if (tos == 0)
1749 abort ();
1750 stack[tos - 1] >>= addend;
1751 break;
1752 }
1753 }
1754
1755 adjust_addrp = FALSE;
1756 break;
1757
1758 case ALPHA_R_OP_STORE:
1759 /* Store a value from the reloc stack into a bitfield. If
1760 we are generating relocatable output, all we do is
1761 adjust the address of the reloc. */
1762 if (! bfd_link_relocatable (info))
1763 {
1764 bfd_vma mask;
1765 bfd_vma val;
1766
1767 if (tos == 0)
1768 abort ();
1769
1770 /* Get the relocation mask. The separate steps and the
1771 casts to bfd_vma are attempts to avoid a bug in the
1772 Alpha OSF 1.3 C compiler. See reloc.c for more
1773 details. */
1774 mask = 1;
1775 mask <<= (bfd_vma) r_size;
1776 mask -= 1;
1777
1778 /* FIXME: I don't know what kind of overflow checking,
1779 if any, should be done here. */
1780 val = bfd_get_64 (input_bfd,
1781 contents + r_vaddr - input_section->vma);
1782 val &=~ mask << (bfd_vma) r_offset;
1783 val |= (stack[--tos] & mask) << (bfd_vma) r_offset;
1784 bfd_put_64 (input_bfd, val,
1785 contents + r_vaddr - input_section->vma);
1786 }
1787 break;
1788
1789 case ALPHA_R_GPVALUE:
1790 /* I really don't know if this does the right thing. */
1791 gp = ecoff_data (input_bfd)->gp + r_symndx;
1792 gp_undefined = FALSE;
1793 break;
1794 }
1795
1796 if (relocatep)
1797 {
1798 reloc_howto_type *howto;
1799 struct ecoff_link_hash_entry *h = NULL;
1800 asection *s = NULL;
1801 bfd_vma relocation;
1802 bfd_reloc_status_type r;
1803
1804 /* Perform a relocation. */
1805
1806 howto = &alpha_howto_table[r_type];
1807
1808 if (r_extern)
1809 {
1810 h = sym_hashes[r_symndx];
1811 /* If h is NULL, that means that there is a reloc
1812 against an external symbol which we thought was just
1813 a debugging symbol. This should not happen. */
1814 if (h == (struct ecoff_link_hash_entry *) NULL)
1815 abort ();
1816 }
1817 else
1818 {
1819 if (r_symndx >= NUM_RELOC_SECTIONS)
1820 s = NULL;
1821 else
1822 s = symndx_to_section[r_symndx];
1823
1824 if (s == (asection *) NULL)
1825 abort ();
1826 }
1827
1828 if (bfd_link_relocatable (info))
1829 {
1830 /* We are generating relocatable output, and must
1831 convert the existing reloc. */
1832 if (r_extern)
1833 {
1834 if (h->root.type != bfd_link_hash_defined
1835 && h->root.type != bfd_link_hash_defweak
1836 && h->indx == -1)
1837 {
1838 /* This symbol is not being written out. */
1839 (*info->callbacks->unattached_reloc)
1840 (info, h->root.root.string, input_bfd,
1841 input_section, r_vaddr - input_section->vma);
1842 }
1843
1844 relocation = alpha_convert_external_reloc (output_bfd,
1845 info,
1846 input_bfd,
1847 ext_rel,
1848 h);
1849 }
1850 else
1851 {
1852 /* This is a relocation against a section. Adjust
1853 the value by the amount the section moved. */
1854 relocation = (s->output_section->vma
1855 + s->output_offset
1856 - s->vma);
1857 }
1858
1859 /* If this is PC relative, the existing object file
1860 appears to already have the reloc worked out. We
1861 must subtract out the old value and add in the new
1862 one. */
1863 if (howto->pc_relative)
1864 relocation -= (input_section->output_section->vma
1865 + input_section->output_offset
1866 - input_section->vma);
1867
1868 /* Put in any addend. */
1869 relocation += addend;
1870
1871 /* Adjust the contents. */
1872 r = _bfd_relocate_contents (howto, input_bfd, relocation,
1873 (contents
1874 + r_vaddr
1875 - input_section->vma));
1876 }
1877 else
1878 {
1879 /* We are producing a final executable. */
1880 if (r_extern)
1881 {
1882 /* This is a reloc against a symbol. */
1883 if (h->root.type == bfd_link_hash_defined
1884 || h->root.type == bfd_link_hash_defweak)
1885 {
1886 asection *hsec;
1887
1888 hsec = h->root.u.def.section;
1889 relocation = (h->root.u.def.value
1890 + hsec->output_section->vma
1891 + hsec->output_offset);
1892 }
1893 else
1894 {
1895 (*info->callbacks->undefined_symbol)
1896 (info, h->root.root.string, input_bfd, input_section,
1897 r_vaddr - input_section->vma, TRUE);
1898 relocation = 0;
1899 }
1900 }
1901 else
1902 {
1903 /* This is a reloc against a section. */
1904 relocation = (s->output_section->vma
1905 + s->output_offset
1906 - s->vma);
1907
1908 /* Adjust a PC relative relocation by removing the
1909 reference to the original source section. */
1910 if (howto->pc_relative)
1911 relocation += input_section->vma;
1912 }
1913
1914 r = _bfd_final_link_relocate (howto,
1915 input_bfd,
1916 input_section,
1917 contents,
1918 r_vaddr - input_section->vma,
1919 relocation,
1920 addend);
1921 }
1922
1923 if (r != bfd_reloc_ok)
1924 {
1925 switch (r)
1926 {
1927 default:
1928 case bfd_reloc_outofrange:
1929 abort ();
1930 case bfd_reloc_overflow:
1931 {
1932 const char *name;
1933
1934 if (r_extern)
1935 name = sym_hashes[r_symndx]->root.root.string;
1936 else
1937 name = bfd_section_name (input_bfd,
1938 symndx_to_section[r_symndx]);
1939 (*info->callbacks->reloc_overflow)
1940 (info, NULL, name, alpha_howto_table[r_type].name,
1941 (bfd_vma) 0, input_bfd, input_section,
1942 r_vaddr - input_section->vma);
1943 }
1944 break;
1945 }
1946 }
1947 }
1948
1949 if (bfd_link_relocatable (info) && adjust_addrp)
1950 {
1951 /* Change the address of the relocation. */
1952 H_PUT_64 (input_bfd,
1953 (input_section->output_section->vma
1954 + input_section->output_offset
1955 - input_section->vma
1956 + r_vaddr),
1957 ext_rel->r_vaddr);
1958 }
1959
1960 if (gp_usedp && gp_undefined)
1961 {
1962 (*info->callbacks->reloc_dangerous)
1963 (info, _("GP relative relocation used when GP not defined"),
1964 input_bfd, input_section, r_vaddr - input_section->vma);
1965 /* Only give the error once per link. */
1966 gp = 4;
1967 _bfd_set_gp_value (output_bfd, gp);
1968 gp_undefined = FALSE;
1969 }
1970 }
1971
1972 if (tos != 0)
1973 abort ();
1974
1975 return TRUE;
1976 }
1977
1978 /* Do final adjustments to the filehdr and the aouthdr. This routine
1980 sets the dynamic bits in the file header. */
1981
1982 static bfd_boolean
1983 alpha_adjust_headers (bfd *abfd,
1984 struct internal_filehdr *fhdr,
1985 struct internal_aouthdr *ahdr ATTRIBUTE_UNUSED)
1986 {
1987 if ((abfd->flags & (DYNAMIC | EXEC_P)) == (DYNAMIC | EXEC_P))
1988 fhdr->f_flags |= F_ALPHA_CALL_SHARED;
1989 else if ((abfd->flags & DYNAMIC) != 0)
1990 fhdr->f_flags |= F_ALPHA_SHARABLE;
1991 return TRUE;
1992 }
1993
1994 /* Archive handling. In OSF/1 (or Digital Unix) v3.2, Digital
1996 introduced archive packing, in which the elements in an archive are
1997 optionally compressed using a simple dictionary scheme. We know
1998 how to read such archives, but we don't write them. */
1999
2000 #define alpha_ecoff_slurp_armap _bfd_ecoff_slurp_armap
2001 #define alpha_ecoff_slurp_extended_name_table \
2002 _bfd_ecoff_slurp_extended_name_table
2003 #define alpha_ecoff_construct_extended_name_table \
2004 _bfd_ecoff_construct_extended_name_table
2005 #define alpha_ecoff_truncate_arname _bfd_ecoff_truncate_arname
2006 #define alpha_ecoff_write_armap _bfd_ecoff_write_armap
2007 #define alpha_ecoff_write_ar_hdr _bfd_generic_write_ar_hdr
2008 #define alpha_ecoff_generic_stat_arch_elt _bfd_ecoff_generic_stat_arch_elt
2009 #define alpha_ecoff_update_armap_timestamp _bfd_ecoff_update_armap_timestamp
2010
2011 /* A compressed file uses this instead of ARFMAG. */
2012
2013 #define ARFZMAG "Z\012"
2014
2015 /* Read an archive header. This is like the standard routine, but it
2016 also accepts ARFZMAG. */
2017
2018 static void *
2019 alpha_ecoff_read_ar_hdr (bfd *abfd)
2020 {
2021 struct areltdata *ret;
2022 struct ar_hdr *h;
2023
2024 ret = (struct areltdata *) _bfd_generic_read_ar_hdr_mag (abfd, ARFZMAG);
2025 if (ret == NULL)
2026 return NULL;
2027
2028 h = (struct ar_hdr *) ret->arch_header;
2029 if (strncmp (h->ar_fmag, ARFZMAG, 2) == 0)
2030 {
2031 bfd_byte ab[8];
2032
2033 /* This is a compressed file. We must set the size correctly.
2034 The size is the eight bytes after the dummy file header. */
2035 if (bfd_seek (abfd, (file_ptr) FILHSZ, SEEK_CUR) != 0
2036 || bfd_bread (ab, (bfd_size_type) 8, abfd) != 8
2037 || bfd_seek (abfd, (file_ptr) (- (FILHSZ + 8)), SEEK_CUR) != 0)
2038 return NULL;
2039
2040 ret->parsed_size = H_GET_64 (abfd, ab);
2041 }
2042
2043 return ret;
2044 }
2045
2046 /* Get an archive element at a specified file position. This is where
2047 we uncompress the archive element if necessary. */
2048
2049 static bfd *
2050 alpha_ecoff_get_elt_at_filepos (bfd *archive, file_ptr filepos)
2051 {
2052 bfd *nbfd = NULL;
2053 struct areltdata *tdata;
2054 struct ar_hdr *hdr;
2055 bfd_byte ab[8];
2056 bfd_size_type size;
2057 bfd_byte *buf, *p;
2058 struct bfd_in_memory *bim;
2059
2060 buf = NULL;
2061 nbfd = _bfd_get_elt_at_filepos (archive, filepos);
2062 if (nbfd == NULL)
2063 goto error_return;
2064
2065 if ((nbfd->flags & BFD_IN_MEMORY) != 0)
2066 {
2067 /* We have already expanded this BFD. */
2068 return nbfd;
2069 }
2070
2071 tdata = (struct areltdata *) nbfd->arelt_data;
2072 hdr = (struct ar_hdr *) tdata->arch_header;
2073 if (strncmp (hdr->ar_fmag, ARFZMAG, 2) != 0)
2074 return nbfd;
2075
2076 /* We must uncompress this element. We do this by copying it into a
2077 memory buffer, and making bfd_bread and bfd_seek use that buffer.
2078 This can use a lot of memory, but it's simpler than getting a
2079 temporary file, making that work with the file descriptor caching
2080 code, and making sure that it is deleted at all appropriate
2081 times. It can be changed if it ever becomes important. */
2082
2083 /* The compressed file starts with a dummy ECOFF file header. */
2084 if (bfd_seek (nbfd, (file_ptr) FILHSZ, SEEK_SET) != 0)
2085 goto error_return;
2086
2087 /* The next eight bytes are the real file size. */
2088 if (bfd_bread (ab, (bfd_size_type) 8, nbfd) != 8)
2089 goto error_return;
2090 size = H_GET_64 (nbfd, ab);
2091
2092 if (size != 0)
2093 {
2094 bfd_size_type left;
2095 bfd_byte dict[4096];
2096 unsigned int h;
2097 bfd_byte b;
2098
2099 buf = (bfd_byte *) bfd_malloc (size);
2100 if (buf == NULL)
2101 goto error_return;
2102 p = buf;
2103
2104 left = size;
2105
2106 /* I don't know what the next eight bytes are for. */
2107 if (bfd_bread (ab, (bfd_size_type) 8, nbfd) != 8)
2108 goto error_return;
2109
2110 /* This is the uncompression algorithm. It's a simple
2111 dictionary based scheme in which each character is predicted
2112 by a hash of the previous three characters. A control byte
2113 indicates whether the character is predicted or whether it
2114 appears in the input stream; each control byte manages the
2115 next eight bytes in the output stream. */
2116 memset (dict, 0, sizeof dict);
2117 h = 0;
2118 while (bfd_bread (&b, (bfd_size_type) 1, nbfd) == 1)
2119 {
2120 unsigned int i;
2121
2122 for (i = 0; i < 8; i++, b >>= 1)
2123 {
2124 bfd_byte n;
2125
2126 if ((b & 1) == 0)
2127 n = dict[h];
2128 else
2129 {
2130 if (! bfd_bread (&n, (bfd_size_type) 1, nbfd))
2131 goto error_return;
2132 dict[h] = n;
2133 }
2134
2135 *p++ = n;
2136
2137 --left;
2138 if (left == 0)
2139 break;
2140
2141 h <<= 4;
2142 h ^= n;
2143 h &= sizeof dict - 1;
2144 }
2145
2146 if (left == 0)
2147 break;
2148 }
2149 }
2150
2151 /* Now the uncompressed file contents are in buf. */
2152 bim = ((struct bfd_in_memory *)
2153 bfd_malloc ((bfd_size_type) sizeof (struct bfd_in_memory)));
2154 if (bim == NULL)
2155 goto error_return;
2156 bim->size = size;
2157 bim->buffer = buf;
2158
2159 nbfd->mtime_set = TRUE;
2160 nbfd->mtime = strtol (hdr->ar_date, (char **) NULL, 10);
2161
2162 nbfd->flags |= BFD_IN_MEMORY;
2163 nbfd->iostream = bim;
2164 nbfd->iovec = &_bfd_memory_iovec;
2165 nbfd->origin = 0;
2166 BFD_ASSERT (! nbfd->cacheable);
2167
2168 return nbfd;
2169
2170 error_return:
2171 if (buf != NULL)
2172 free (buf);
2173 if (nbfd != NULL)
2174 bfd_close (nbfd);
2175 return NULL;
2176 }
2177
2178 /* Open the next archived file. */
2179
2180 static bfd *
2181 alpha_ecoff_openr_next_archived_file (bfd *archive, bfd *last_file)
2182 {
2183 ufile_ptr filestart;
2184
2185 if (last_file == NULL)
2186 filestart = bfd_ardata (archive)->first_file_filepos;
2187 else
2188 {
2189 struct areltdata *t;
2190 struct ar_hdr *h;
2191 bfd_size_type size;
2192
2193 /* We can't use arelt_size here, because that uses parsed_size,
2194 which is the uncompressed size. We need the compressed size. */
2195 t = (struct areltdata *) last_file->arelt_data;
2196 h = (struct ar_hdr *) t->arch_header;
2197 size = strtol (h->ar_size, (char **) NULL, 10);
2198
2199 /* Pad to an even boundary...
2200 Note that last_file->origin can be odd in the case of
2201 BSD-4.4-style element with a long odd size. */
2202 filestart = last_file->proxy_origin + size;
2203 filestart += filestart % 2;
2204 if (filestart < last_file->proxy_origin)
2205 {
2206 /* Prevent looping. See PR19256. */
2207 bfd_set_error (bfd_error_malformed_archive);
2208 return NULL;
2209 }
2210 }
2211
2212 return alpha_ecoff_get_elt_at_filepos (archive, filestart);
2213 }
2214
2215 /* Open the archive file given an index into the armap. */
2216
2217 static bfd *
2218 alpha_ecoff_get_elt_at_index (bfd *abfd, symindex sym_index)
2219 {
2220 carsym *entry;
2221
2222 entry = bfd_ardata (abfd)->symdefs + sym_index;
2223 return alpha_ecoff_get_elt_at_filepos (abfd, entry->file_offset);
2224 }
2225
2226 static void
2227 alpha_ecoff_swap_coff_aux_in (bfd *abfd ATTRIBUTE_UNUSED,
2228 void *ext1 ATTRIBUTE_UNUSED,
2229 int type ATTRIBUTE_UNUSED,
2230 int in_class ATTRIBUTE_UNUSED,
2231 int indx ATTRIBUTE_UNUSED,
2232 int numaux ATTRIBUTE_UNUSED,
2233 void *in1 ATTRIBUTE_UNUSED)
2234 {
2235 }
2236
2237 static void
2238 alpha_ecoff_swap_coff_sym_in (bfd *abfd ATTRIBUTE_UNUSED,
2239 void *ext1 ATTRIBUTE_UNUSED,
2240 void *in1 ATTRIBUTE_UNUSED)
2241 {
2242 }
2243
2244 static void
2245 alpha_ecoff_swap_coff_lineno_in (bfd *abfd ATTRIBUTE_UNUSED,
2246 void *ext1 ATTRIBUTE_UNUSED,
2247 void *in1 ATTRIBUTE_UNUSED)
2248 {
2249 }
2250
2251 static unsigned int
2252 alpha_ecoff_swap_coff_aux_out (bfd *abfd ATTRIBUTE_UNUSED,
2253 void *inp ATTRIBUTE_UNUSED,
2254 int type ATTRIBUTE_UNUSED,
2255 int in_class ATTRIBUTE_UNUSED,
2256 int indx ATTRIBUTE_UNUSED,
2257 int numaux ATTRIBUTE_UNUSED,
2258 void *extp ATTRIBUTE_UNUSED)
2259 {
2260 return 0;
2261 }
2262
2263 static unsigned int
2264 alpha_ecoff_swap_coff_sym_out (bfd *abfd ATTRIBUTE_UNUSED,
2265 void *inp ATTRIBUTE_UNUSED,
2266 void *extp ATTRIBUTE_UNUSED)
2267 {
2268 return 0;
2269 }
2270
2271 static unsigned int
2272 alpha_ecoff_swap_coff_lineno_out (bfd *abfd ATTRIBUTE_UNUSED,
2273 void *inp ATTRIBUTE_UNUSED,
2274 void *extp ATTRIBUTE_UNUSED)
2275 {
2276 return 0;
2277 }
2278
2279 static unsigned int
2280 alpha_ecoff_swap_coff_reloc_out (bfd *abfd ATTRIBUTE_UNUSED,
2281 void *inp ATTRIBUTE_UNUSED,
2282 void *extp ATTRIBUTE_UNUSED)
2283 {
2284 return 0;
2285 }
2286
2287 /* This is the ECOFF backend structure. The backend field of the
2289 target vector points to this. */
2290
2291 static const struct ecoff_backend_data alpha_ecoff_backend_data =
2292 {
2293 /* COFF backend structure. */
2294 {
2295 alpha_ecoff_swap_coff_aux_in, alpha_ecoff_swap_coff_sym_in,
2296 alpha_ecoff_swap_coff_lineno_in, alpha_ecoff_swap_coff_aux_out,
2297 alpha_ecoff_swap_coff_sym_out, alpha_ecoff_swap_coff_lineno_out,
2298 alpha_ecoff_swap_coff_reloc_out,
2299 alpha_ecoff_swap_filehdr_out, alpha_ecoff_swap_aouthdr_out,
2300 alpha_ecoff_swap_scnhdr_out,
2301 FILHSZ, AOUTSZ, SCNHSZ, 0, 0, 0, 0, FILNMLEN, TRUE,
2302 ECOFF_NO_LONG_SECTION_NAMES, 4, FALSE, 2, 32768,
2303 alpha_ecoff_swap_filehdr_in, alpha_ecoff_swap_aouthdr_in,
2304 alpha_ecoff_swap_scnhdr_in, NULL,
2305 alpha_ecoff_bad_format_hook, _bfd_ecoff_set_arch_mach_hook,
2306 alpha_ecoff_mkobject_hook, _bfd_ecoff_styp_to_sec_flags,
2307 _bfd_ecoff_set_alignment_hook, _bfd_ecoff_slurp_symbol_table,
2308 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
2309 NULL, NULL, NULL, NULL
2310 },
2311 /* Supported architecture. */
2312 bfd_arch_alpha,
2313 /* Initial portion of armap string. */
2314 "________64",
2315 /* The page boundary used to align sections in a demand-paged
2316 executable file. E.g., 0x1000. */
2317 0x2000,
2318 /* TRUE if the .rdata section is part of the text segment, as on the
2319 Alpha. FALSE if .rdata is part of the data segment, as on the
2320 MIPS. */
2321 TRUE,
2322 /* Bitsize of constructor entries. */
2323 64,
2324 /* Reloc to use for constructor entries. */
2325 &alpha_howto_table[ALPHA_R_REFQUAD],
2326 {
2327 /* Symbol table magic number. */
2328 magicSym2,
2329 /* Alignment of debugging information. E.g., 4. */
2330 8,
2331 /* Sizes of external symbolic information. */
2332 sizeof (struct hdr_ext),
2333 sizeof (struct dnr_ext),
2334 sizeof (struct pdr_ext),
2335 sizeof (struct sym_ext),
2336 sizeof (struct opt_ext),
2337 sizeof (struct fdr_ext),
2338 sizeof (struct rfd_ext),
2339 sizeof (struct ext_ext),
2340 /* Functions to swap in external symbolic data. */
2341 ecoff_swap_hdr_in,
2342 ecoff_swap_dnr_in,
2343 ecoff_swap_pdr_in,
2344 ecoff_swap_sym_in,
2345 ecoff_swap_opt_in,
2346 ecoff_swap_fdr_in,
2347 ecoff_swap_rfd_in,
2348 ecoff_swap_ext_in,
2349 _bfd_ecoff_swap_tir_in,
2350 _bfd_ecoff_swap_rndx_in,
2351 /* Functions to swap out external symbolic data. */
2352 ecoff_swap_hdr_out,
2353 ecoff_swap_dnr_out,
2354 ecoff_swap_pdr_out,
2355 ecoff_swap_sym_out,
2356 ecoff_swap_opt_out,
2357 ecoff_swap_fdr_out,
2358 ecoff_swap_rfd_out,
2359 ecoff_swap_ext_out,
2360 _bfd_ecoff_swap_tir_out,
2361 _bfd_ecoff_swap_rndx_out,
2362 /* Function to read in symbolic data. */
2363 _bfd_ecoff_slurp_symbolic_info
2364 },
2365 /* External reloc size. */
2366 RELSZ,
2367 /* Reloc swapping functions. */
2368 alpha_ecoff_swap_reloc_in,
2369 alpha_ecoff_swap_reloc_out,
2370 /* Backend reloc tweaking. */
2371 alpha_adjust_reloc_in,
2372 alpha_adjust_reloc_out,
2373 /* Relocate section contents while linking. */
2374 alpha_relocate_section,
2375 /* Do final adjustments to filehdr and aouthdr. */
2376 alpha_adjust_headers,
2377 /* Read an element from an archive at a given file position. */
2378 alpha_ecoff_get_elt_at_filepos
2379 };
2380
2381 /* Looking up a reloc type is Alpha specific. */
2382 #define _bfd_ecoff_bfd_reloc_type_lookup alpha_bfd_reloc_type_lookup
2383 #define _bfd_ecoff_bfd_reloc_name_lookup \
2384 alpha_bfd_reloc_name_lookup
2385
2386 /* So is getting relocated section contents. */
2387 #define _bfd_ecoff_bfd_get_relocated_section_contents \
2388 alpha_ecoff_get_relocated_section_contents
2389
2390 /* Handling file windows is generic. */
2391 #define _bfd_ecoff_get_section_contents_in_window \
2392 _bfd_generic_get_section_contents_in_window
2393
2394 /* Input section flag lookup is generic. */
2395 #define _bfd_ecoff_bfd_lookup_section_flags bfd_generic_lookup_section_flags
2396
2397 /* Relaxing sections is generic. */
2398 #define _bfd_ecoff_bfd_relax_section bfd_generic_relax_section
2399 #define _bfd_ecoff_bfd_gc_sections bfd_generic_gc_sections
2400 #define _bfd_ecoff_bfd_merge_sections bfd_generic_merge_sections
2401 #define _bfd_ecoff_bfd_is_group_section bfd_generic_is_group_section
2402 #define _bfd_ecoff_bfd_discard_group bfd_generic_discard_group
2403 #define _bfd_ecoff_section_already_linked \
2404 _bfd_coff_section_already_linked
2405 #define _bfd_ecoff_bfd_define_common_symbol bfd_generic_define_common_symbol
2406 #define _bfd_ecoff_bfd_link_hide_symbol _bfd_generic_link_hide_symbol
2407 #define _bfd_ecoff_bfd_define_start_stop bfd_generic_define_start_stop
2408 #define _bfd_ecoff_bfd_link_check_relocs _bfd_generic_link_check_relocs
2409
2410 /* Installing internal relocations in a section is also generic. */
2411 #define _bfd_ecoff_set_reloc _bfd_generic_set_reloc
2412
2413 const bfd_target alpha_ecoff_le_vec =
2414 {
2415 "ecoff-littlealpha", /* name */
2416 bfd_target_ecoff_flavour,
2417 BFD_ENDIAN_LITTLE, /* data byte order is little */
2418 BFD_ENDIAN_LITTLE, /* header byte order is little */
2419
2420 (HAS_RELOC | EXEC_P /* object flags */
2421 | HAS_LINENO | HAS_DEBUG
2422 | HAS_SYMS | HAS_LOCALS | DYNAMIC | WP_TEXT | D_PAGED),
2423
2424 (SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_CODE | SEC_DATA),
2425 0, /* leading underscore */
2426 ' ', /* ar_pad_char */
2427 15, /* ar_max_namelen */
2428 0, /* match priority. */
2429 bfd_getl64, bfd_getl_signed_64, bfd_putl64,
2430 bfd_getl32, bfd_getl_signed_32, bfd_putl32,
2431 bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* data */
2432 bfd_getl64, bfd_getl_signed_64, bfd_putl64,
2433 bfd_getl32, bfd_getl_signed_32, bfd_putl32,
2434 bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* hdrs */
2435
2436 { /* bfd_check_format */
2437 _bfd_dummy_target,
2438 alpha_ecoff_object_p,
2439 bfd_generic_archive_p,
2440 _bfd_dummy_target
2441 },
2442 { /* bfd_set_format */
2443 _bfd_bool_bfd_false_error,
2444 _bfd_ecoff_mkobject,
2445 _bfd_generic_mkarchive,
2446 _bfd_bool_bfd_false_error
2447 },
2448 { /* bfd_write_contents */
2449 _bfd_bool_bfd_false_error,
2450 _bfd_ecoff_write_object_contents,
2451 _bfd_write_archive_contents,
2452 _bfd_bool_bfd_false_error
2453 },
2454
2455 BFD_JUMP_TABLE_GENERIC (_bfd_ecoff),
2456 BFD_JUMP_TABLE_COPY (_bfd_ecoff),
2457 BFD_JUMP_TABLE_CORE (_bfd_nocore),
2458 BFD_JUMP_TABLE_ARCHIVE (alpha_ecoff),
2459 BFD_JUMP_TABLE_SYMBOLS (_bfd_ecoff),
2460 BFD_JUMP_TABLE_RELOCS (_bfd_ecoff),
2461 BFD_JUMP_TABLE_WRITE (_bfd_ecoff),
2462 BFD_JUMP_TABLE_LINK (_bfd_ecoff),
2463 BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
2464
2465 NULL,
2466
2467 &alpha_ecoff_backend_data
2468 };
2469