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