* elf64-alpha.c (elf64_alpha_copy_indirect_symbol): Rename from
[external/binutils.git] / bfd / elf64-alpha.c
1 /* Alpha specific support for 64-bit ELF
2    Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
3    2006, 2007, 2008, 2009, 2010, 2011  Free Software Foundation, Inc.
4    Contributed by Richard Henderson <rth@tamu.edu>.
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
24 /* We need a published ABI spec for this.  Until one comes out, don't
25    assume this'll remain unchanged forever.  */
26
27 #include "sysdep.h"
28 #include "bfd.h"
29 #include "libbfd.h"
30 #include "elf-bfd.h"
31
32 #include "elf/alpha.h"
33
34 #define ALPHAECOFF
35
36 #define NO_COFF_RELOCS
37 #define NO_COFF_SYMBOLS
38 #define NO_COFF_LINENOS
39
40 /* Get the ECOFF swapping routines.  Needed for the debug information.  */
41 #include "coff/internal.h"
42 #include "coff/sym.h"
43 #include "coff/symconst.h"
44 #include "coff/ecoff.h"
45 #include "coff/alpha.h"
46 #include "aout/ar.h"
47 #include "libcoff.h"
48 #include "libecoff.h"
49 #define ECOFF_64
50 #include "ecoffswap.h"
51
52 \f
53 /* Instruction data for plt generation and relaxation.  */
54
55 #define OP_LDA          0x08
56 #define OP_LDAH         0x09
57 #define OP_LDQ          0x29
58 #define OP_BR           0x30
59 #define OP_BSR          0x34
60
61 #define INSN_LDA        (OP_LDA << 26)
62 #define INSN_LDAH       (OP_LDAH << 26)
63 #define INSN_LDQ        (OP_LDQ << 26)
64 #define INSN_BR         (OP_BR << 26)
65
66 #define INSN_ADDQ       0x40000400
67 #define INSN_RDUNIQ     0x0000009e
68 #define INSN_SUBQ       0x40000520
69 #define INSN_S4SUBQ     0x40000560
70 #define INSN_UNOP       0x2ffe0000
71
72 #define INSN_JSR        0x68004000
73 #define INSN_JMP        0x68000000
74 #define INSN_JSR_MASK   0xfc00c000
75
76 #define INSN_A(I,A)             (I | (A << 21))
77 #define INSN_AB(I,A,B)          (I | (A << 21) | (B << 16))
78 #define INSN_ABC(I,A,B,C)       (I | (A << 21) | (B << 16) | C)
79 #define INSN_ABO(I,A,B,O)       (I | (A << 21) | (B << 16) | ((O) & 0xffff))
80 #define INSN_AD(I,A,D)          (I | (A << 21) | (((D) >> 2) & 0x1fffff))
81
82 /* PLT/GOT Stuff */
83
84 /* Set by ld emulation.  Putting this into the link_info or hash structure
85    is simply working too hard.  */
86 #ifdef USE_SECUREPLT
87 bfd_boolean elf64_alpha_use_secureplt = TRUE;
88 #else
89 bfd_boolean elf64_alpha_use_secureplt = FALSE;
90 #endif
91
92 #define OLD_PLT_HEADER_SIZE     32
93 #define OLD_PLT_ENTRY_SIZE      12
94 #define NEW_PLT_HEADER_SIZE     36
95 #define NEW_PLT_ENTRY_SIZE      4
96
97 #define PLT_HEADER_SIZE \
98   (elf64_alpha_use_secureplt ? NEW_PLT_HEADER_SIZE : OLD_PLT_HEADER_SIZE)
99 #define PLT_ENTRY_SIZE \
100   (elf64_alpha_use_secureplt ? NEW_PLT_ENTRY_SIZE : OLD_PLT_ENTRY_SIZE)
101
102 #define MAX_GOT_SIZE            (64*1024)
103
104 #define ELF_DYNAMIC_INTERPRETER "/usr/lib/ld.so"
105 \f
106
107 /* Used to implement multiple .got subsections.  */
108 struct alpha_elf_got_entry
109 {
110   struct alpha_elf_got_entry *next;
111
112   /* Which .got subsection?  */
113   bfd *gotobj;
114
115   /* The addend in effect for this entry.  */
116   bfd_vma addend;
117
118   /* The .got offset for this entry.  */
119   int got_offset;
120
121   /* The .plt offset for this entry.  */
122   int plt_offset;
123
124   /* How many references to this entry?  */
125   int use_count;
126
127   /* The relocation type of this entry.  */
128   unsigned char reloc_type;
129
130   /* How a LITERAL is used.  */
131   unsigned char flags;
132
133   /* Have we initialized the dynamic relocation for this entry?  */
134   unsigned char reloc_done;
135
136   /* Have we adjusted this entry for SEC_MERGE?  */
137   unsigned char reloc_xlated;
138 };
139
140 struct alpha_elf_reloc_entry
141 {
142   struct alpha_elf_reloc_entry *next;
143
144   /* Which .reloc section? */
145   asection *srel;
146
147   /* What kind of relocation? */
148   unsigned int rtype;
149
150   /* Is this against read-only section? */
151   unsigned int reltext : 1;
152
153   /* How many did we find?  */
154   unsigned long count;
155 };
156
157 struct alpha_elf_link_hash_entry
158 {
159   struct elf_link_hash_entry root;
160
161   /* External symbol information.  */
162   EXTR esym;
163
164   /* Cumulative flags for all the .got entries.  */
165   int flags;
166
167   /* Contexts in which a literal was referenced.  */
168 #define ALPHA_ELF_LINK_HASH_LU_ADDR      0x01
169 #define ALPHA_ELF_LINK_HASH_LU_MEM       0x02
170 #define ALPHA_ELF_LINK_HASH_LU_BYTE      0x04
171 #define ALPHA_ELF_LINK_HASH_LU_JSR       0x08
172 #define ALPHA_ELF_LINK_HASH_LU_TLSGD     0x10
173 #define ALPHA_ELF_LINK_HASH_LU_TLSLDM    0x20
174 #define ALPHA_ELF_LINK_HASH_LU_JSRDIRECT 0x40
175 #define ALPHA_ELF_LINK_HASH_LU_PLT       0x38
176 #define ALPHA_ELF_LINK_HASH_TLS_IE       0x80
177
178   /* Used to implement multiple .got subsections.  */
179   struct alpha_elf_got_entry *got_entries;
180
181   /* Used to count non-got, non-plt relocations for delayed sizing
182      of relocation sections.  */
183   struct alpha_elf_reloc_entry *reloc_entries;
184 };
185
186 /* Alpha ELF linker hash table.  */
187
188 struct alpha_elf_link_hash_table
189 {
190   struct elf_link_hash_table root;
191
192   /* The head of a list of .got subsections linked through
193      alpha_elf_tdata(abfd)->got_link_next.  */
194   bfd *got_list;
195
196   /* The most recent relax pass that we've seen.  The GOTs
197      should be regenerated if this doesn't match.  */
198   int relax_trip;
199 };
200
201 /* Look up an entry in a Alpha ELF linker hash table.  */
202
203 #define alpha_elf_link_hash_lookup(table, string, create, copy, follow) \
204   ((struct alpha_elf_link_hash_entry *)                                 \
205    elf_link_hash_lookup (&(table)->root, (string), (create),            \
206                          (copy), (follow)))
207
208 /* Traverse a Alpha ELF linker hash table.  */
209
210 #define alpha_elf_link_hash_traverse(table, func, info)                 \
211   (elf_link_hash_traverse                                               \
212    (&(table)->root,                                                     \
213     (bfd_boolean (*) (struct elf_link_hash_entry *, PTR)) (func),       \
214     (info)))
215
216 /* Get the Alpha ELF linker hash table from a link_info structure.  */
217
218 #define alpha_elf_hash_table(p) \
219   (elf_hash_table_id ((struct elf_link_hash_table *) ((p)->hash)) \
220   == ALPHA_ELF_DATA ? ((struct alpha_elf_link_hash_table *) ((p)->hash)) : NULL)
221
222 /* Get the object's symbols as our own entry type.  */
223
224 #define alpha_elf_sym_hashes(abfd) \
225   ((struct alpha_elf_link_hash_entry **)elf_sym_hashes(abfd))
226
227 /* Should we do dynamic things to this symbol?  This differs from the 
228    generic version in that we never need to consider function pointer
229    equality wrt PLT entries -- we don't create a PLT entry if a symbol's
230    address is ever taken.  */
231
232 static inline bfd_boolean
233 alpha_elf_dynamic_symbol_p (struct elf_link_hash_entry *h,
234                             struct bfd_link_info *info)
235 {
236   return _bfd_elf_dynamic_symbol_p (h, info, 0);
237 }
238
239 /* Create an entry in a Alpha ELF linker hash table.  */
240
241 static struct bfd_hash_entry *
242 elf64_alpha_link_hash_newfunc (struct bfd_hash_entry *entry,
243                                struct bfd_hash_table *table,
244                                const char *string)
245 {
246   struct alpha_elf_link_hash_entry *ret =
247     (struct alpha_elf_link_hash_entry *) entry;
248
249   /* Allocate the structure if it has not already been allocated by a
250      subclass.  */
251   if (ret == (struct alpha_elf_link_hash_entry *) NULL)
252     ret = ((struct alpha_elf_link_hash_entry *)
253            bfd_hash_allocate (table,
254                               sizeof (struct alpha_elf_link_hash_entry)));
255   if (ret == (struct alpha_elf_link_hash_entry *) NULL)
256     return (struct bfd_hash_entry *) ret;
257
258   /* Call the allocation method of the superclass.  */
259   ret = ((struct alpha_elf_link_hash_entry *)
260          _bfd_elf_link_hash_newfunc ((struct bfd_hash_entry *) ret,
261                                      table, string));
262   if (ret != (struct alpha_elf_link_hash_entry *) NULL)
263     {
264       /* Set local fields.  */
265       memset (&ret->esym, 0, sizeof (EXTR));
266       /* We use -2 as a marker to indicate that the information has
267          not been set.  -1 means there is no associated ifd.  */
268       ret->esym.ifd = -2;
269       ret->flags = 0;
270       ret->got_entries = NULL;
271       ret->reloc_entries = NULL;
272     }
273
274   return (struct bfd_hash_entry *) ret;
275 }
276
277 /* Create a Alpha ELF linker hash table.  */
278
279 static struct bfd_link_hash_table *
280 elf64_alpha_bfd_link_hash_table_create (bfd *abfd)
281 {
282   struct alpha_elf_link_hash_table *ret;
283   bfd_size_type amt = sizeof (struct alpha_elf_link_hash_table);
284
285   ret = (struct alpha_elf_link_hash_table *) bfd_zmalloc (amt);
286   if (ret == (struct alpha_elf_link_hash_table *) NULL)
287     return NULL;
288
289   if (!_bfd_elf_link_hash_table_init (&ret->root, abfd,
290                                       elf64_alpha_link_hash_newfunc,
291                                       sizeof (struct alpha_elf_link_hash_entry),
292                                       ALPHA_ELF_DATA))
293     {
294       free (ret);
295       return NULL;
296     }
297
298   return &ret->root.root;
299 }
300 \f
301 /* We have some private fields hanging off of the elf_tdata structure.  */
302
303 struct alpha_elf_obj_tdata
304 {
305   struct elf_obj_tdata root;
306
307   /* For every input file, these are the got entries for that object's
308      local symbols.  */
309   struct alpha_elf_got_entry ** local_got_entries;
310
311   /* For every input file, this is the object that owns the got that
312      this input file uses.  */
313   bfd *gotobj;
314
315   /* For every got, this is a linked list through the objects using this got */
316   bfd *in_got_link_next;
317
318   /* For every got, this is a link to the next got subsegment.  */
319   bfd *got_link_next;
320
321   /* For every got, this is the section.  */
322   asection *got;
323
324   /* For every got, this is it's total number of words.  */
325   int total_got_size;
326
327   /* For every got, this is the sum of the number of words required
328      to hold all of the member object's local got.  */
329   int local_got_size;
330 };
331
332 #define alpha_elf_tdata(abfd) \
333   ((struct alpha_elf_obj_tdata *) (abfd)->tdata.any)
334
335 #define is_alpha_elf(bfd) \
336   (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
337    && elf_tdata (bfd) != NULL \
338    && elf_object_id (bfd) == ALPHA_ELF_DATA)
339
340 static bfd_boolean
341 elf64_alpha_mkobject (bfd *abfd)
342 {
343   return bfd_elf_allocate_object (abfd, sizeof (struct alpha_elf_obj_tdata),
344                                   ALPHA_ELF_DATA);
345 }
346
347 static bfd_boolean
348 elf64_alpha_object_p (bfd *abfd)
349 {
350   /* Set the right machine number for an Alpha ELF file.  */
351   return bfd_default_set_arch_mach (abfd, bfd_arch_alpha, 0);
352 }
353 \f
354 /* A relocation function which doesn't do anything.  */
355
356 static bfd_reloc_status_type
357 elf64_alpha_reloc_nil (bfd *abfd ATTRIBUTE_UNUSED, arelent *reloc,
358                        asymbol *sym ATTRIBUTE_UNUSED,
359                        PTR data ATTRIBUTE_UNUSED, asection *sec,
360                        bfd *output_bfd, char **error_message ATTRIBUTE_UNUSED)
361 {
362   if (output_bfd)
363     reloc->address += sec->output_offset;
364   return bfd_reloc_ok;
365 }
366
367 /* A relocation function used for an unsupported reloc.  */
368
369 static bfd_reloc_status_type
370 elf64_alpha_reloc_bad (bfd *abfd ATTRIBUTE_UNUSED, arelent *reloc,
371                        asymbol *sym ATTRIBUTE_UNUSED,
372                        PTR data ATTRIBUTE_UNUSED, asection *sec,
373                        bfd *output_bfd, char **error_message ATTRIBUTE_UNUSED)
374 {
375   if (output_bfd)
376     reloc->address += sec->output_offset;
377   return bfd_reloc_notsupported;
378 }
379
380 /* Do the work of the GPDISP relocation.  */
381
382 static bfd_reloc_status_type
383 elf64_alpha_do_reloc_gpdisp (bfd *abfd, bfd_vma gpdisp, bfd_byte *p_ldah,
384                              bfd_byte *p_lda)
385 {
386   bfd_reloc_status_type ret = bfd_reloc_ok;
387   bfd_vma addend;
388   unsigned long i_ldah, i_lda;
389
390   i_ldah = bfd_get_32 (abfd, p_ldah);
391   i_lda = bfd_get_32 (abfd, p_lda);
392
393   /* Complain if the instructions are not correct.  */
394   if (((i_ldah >> 26) & 0x3f) != 0x09
395       || ((i_lda >> 26) & 0x3f) != 0x08)
396     ret = bfd_reloc_dangerous;
397
398   /* Extract the user-supplied offset, mirroring the sign extensions
399      that the instructions perform.  */
400   addend = ((i_ldah & 0xffff) << 16) | (i_lda & 0xffff);
401   addend = (addend ^ 0x80008000) - 0x80008000;
402
403   gpdisp += addend;
404
405   if ((bfd_signed_vma) gpdisp < -(bfd_signed_vma) 0x80000000
406       || (bfd_signed_vma) gpdisp >= (bfd_signed_vma) 0x7fff8000)
407     ret = bfd_reloc_overflow;
408
409   /* compensate for the sign extension again.  */
410   i_ldah = ((i_ldah & 0xffff0000)
411             | (((gpdisp >> 16) + ((gpdisp >> 15) & 1)) & 0xffff));
412   i_lda = (i_lda & 0xffff0000) | (gpdisp & 0xffff);
413
414   bfd_put_32 (abfd, (bfd_vma) i_ldah, p_ldah);
415   bfd_put_32 (abfd, (bfd_vma) i_lda, p_lda);
416
417   return ret;
418 }
419
420 /* The special function for the GPDISP reloc.  */
421
422 static bfd_reloc_status_type
423 elf64_alpha_reloc_gpdisp (bfd *abfd, arelent *reloc_entry,
424                           asymbol *sym ATTRIBUTE_UNUSED, PTR data,
425                           asection *input_section, bfd *output_bfd,
426                           char **err_msg)
427 {
428   bfd_reloc_status_type ret;
429   bfd_vma gp, relocation;
430   bfd_vma high_address;
431   bfd_byte *p_ldah, *p_lda;
432
433   /* Don't do anything if we're not doing a final link.  */
434   if (output_bfd)
435     {
436       reloc_entry->address += input_section->output_offset;
437       return bfd_reloc_ok;
438     }
439
440   high_address = bfd_get_section_limit (abfd, input_section);
441   if (reloc_entry->address > high_address
442       || reloc_entry->address + reloc_entry->addend > high_address)
443     return bfd_reloc_outofrange;
444
445   /* The gp used in the portion of the output object to which this
446      input object belongs is cached on the input bfd.  */
447   gp = _bfd_get_gp_value (abfd);
448
449   relocation = (input_section->output_section->vma
450                 + input_section->output_offset
451                 + reloc_entry->address);
452
453   p_ldah = (bfd_byte *) data + reloc_entry->address;
454   p_lda = p_ldah + reloc_entry->addend;
455
456   ret = elf64_alpha_do_reloc_gpdisp (abfd, gp - relocation, p_ldah, p_lda);
457
458   /* Complain if the instructions are not correct.  */
459   if (ret == bfd_reloc_dangerous)
460     *err_msg = _("GPDISP relocation did not find ldah and lda instructions");
461
462   return ret;
463 }
464
465 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value
466    from smaller values.  Start with zero, widen, *then* decrement.  */
467 #define MINUS_ONE       (((bfd_vma)0) - 1)
468
469
470 #define SKIP_HOWTO(N) \
471   HOWTO(N, 0, 0, 0, 0, 0, complain_overflow_dont, elf64_alpha_reloc_bad, 0, 0, 0, 0, 0)
472
473 static reloc_howto_type elf64_alpha_howto_table[] =
474 {
475   HOWTO (R_ALPHA_NONE,          /* type */
476          0,                     /* rightshift */
477          0,                     /* size (0 = byte, 1 = short, 2 = long) */
478          8,                     /* bitsize */
479          TRUE,                  /* pc_relative */
480          0,                     /* bitpos */
481          complain_overflow_dont, /* complain_on_overflow */
482          elf64_alpha_reloc_nil, /* special_function */
483          "NONE",                /* name */
484          FALSE,                 /* partial_inplace */
485          0,                     /* src_mask */
486          0,                     /* dst_mask */
487          TRUE),                 /* pcrel_offset */
488
489   /* A 32 bit reference to a symbol.  */
490   HOWTO (R_ALPHA_REFLONG,       /* type */
491          0,                     /* rightshift */
492          2,                     /* size (0 = byte, 1 = short, 2 = long) */
493          32,                    /* bitsize */
494          FALSE,                 /* pc_relative */
495          0,                     /* bitpos */
496          complain_overflow_bitfield, /* complain_on_overflow */
497          bfd_elf_generic_reloc, /* special_function */
498          "REFLONG",             /* name */
499          FALSE,                 /* partial_inplace */
500          0xffffffff,            /* src_mask */
501          0xffffffff,            /* dst_mask */
502          FALSE),                /* pcrel_offset */
503
504   /* A 64 bit reference to a symbol.  */
505   HOWTO (R_ALPHA_REFQUAD,       /* type */
506          0,                     /* rightshift */
507          4,                     /* size (0 = byte, 1 = short, 2 = long) */
508          64,                    /* bitsize */
509          FALSE,                 /* pc_relative */
510          0,                     /* bitpos */
511          complain_overflow_bitfield, /* complain_on_overflow */
512          bfd_elf_generic_reloc, /* special_function */
513          "REFQUAD",             /* name */
514          FALSE,                 /* partial_inplace */
515          MINUS_ONE,             /* src_mask */
516          MINUS_ONE,             /* dst_mask */
517          FALSE),                /* pcrel_offset */
518
519   /* A 32 bit GP relative offset.  This is just like REFLONG except
520      that when the value is used the value of the gp register will be
521      added in.  */
522   HOWTO (R_ALPHA_GPREL32,       /* type */
523          0,                     /* rightshift */
524          2,                     /* size (0 = byte, 1 = short, 2 = long) */
525          32,                    /* bitsize */
526          FALSE,                 /* pc_relative */
527          0,                     /* bitpos */
528          complain_overflow_bitfield, /* complain_on_overflow */
529          bfd_elf_generic_reloc, /* special_function */
530          "GPREL32",             /* name */
531          FALSE,                 /* partial_inplace */
532          0xffffffff,            /* src_mask */
533          0xffffffff,            /* dst_mask */
534          FALSE),                /* pcrel_offset */
535
536   /* Used for an instruction that refers to memory off the GP register.  */
537   HOWTO (R_ALPHA_LITERAL,       /* type */
538          0,                     /* rightshift */
539          1,                     /* size (0 = byte, 1 = short, 2 = long) */
540          16,                    /* bitsize */
541          FALSE,                 /* pc_relative */
542          0,                     /* bitpos */
543          complain_overflow_signed, /* complain_on_overflow */
544          bfd_elf_generic_reloc, /* special_function */
545          "ELF_LITERAL",         /* name */
546          FALSE,                 /* partial_inplace */
547          0xffff,                /* src_mask */
548          0xffff,                /* dst_mask */
549          FALSE),                /* pcrel_offset */
550
551   /* This reloc only appears immediately following an ELF_LITERAL reloc.
552      It identifies a use of the literal.  The symbol index is special:
553      1 means the literal address is in the base register of a memory
554      format instruction; 2 means the literal address is in the byte
555      offset register of a byte-manipulation instruction; 3 means the
556      literal address is in the target register of a jsr instruction.
557      This does not actually do any relocation.  */
558   HOWTO (R_ALPHA_LITUSE,        /* type */
559          0,                     /* rightshift */
560          1,                     /* size (0 = byte, 1 = short, 2 = long) */
561          32,                    /* bitsize */
562          FALSE,                 /* pc_relative */
563          0,                     /* bitpos */
564          complain_overflow_dont, /* complain_on_overflow */
565          elf64_alpha_reloc_nil, /* special_function */
566          "LITUSE",              /* name */
567          FALSE,                 /* partial_inplace */
568          0,                     /* src_mask */
569          0,                     /* dst_mask */
570          FALSE),                /* pcrel_offset */
571
572   /* Load the gp register.  This is always used for a ldah instruction
573      which loads the upper 16 bits of the gp register.  The symbol
574      index of the GPDISP instruction is an offset in bytes to the lda
575      instruction that loads the lower 16 bits.  The value to use for
576      the relocation is the difference between the GP value and the
577      current location; the load will always be done against a register
578      holding the current address.
579
580      NOTE: Unlike ECOFF, partial in-place relocation is not done.  If
581      any offset is present in the instructions, it is an offset from
582      the register to the ldah instruction.  This lets us avoid any
583      stupid hackery like inventing a gp value to do partial relocation
584      against.  Also unlike ECOFF, we do the whole relocation off of
585      the GPDISP rather than a GPDISP_HI16/GPDISP_LO16 pair.  An odd,
586      space consuming bit, that, since all the information was present
587      in the GPDISP_HI16 reloc.  */
588   HOWTO (R_ALPHA_GPDISP,        /* type */
589          16,                    /* rightshift */
590          2,                     /* size (0 = byte, 1 = short, 2 = long) */
591          16,                    /* bitsize */
592          FALSE,                 /* pc_relative */
593          0,                     /* bitpos */
594          complain_overflow_dont, /* complain_on_overflow */
595          elf64_alpha_reloc_gpdisp, /* special_function */
596          "GPDISP",              /* name */
597          FALSE,                 /* partial_inplace */
598          0xffff,                /* src_mask */
599          0xffff,                /* dst_mask */
600          TRUE),                 /* pcrel_offset */
601
602   /* A 21 bit branch.  */
603   HOWTO (R_ALPHA_BRADDR,        /* type */
604          2,                     /* rightshift */
605          2,                     /* size (0 = byte, 1 = short, 2 = long) */
606          21,                    /* bitsize */
607          TRUE,                  /* pc_relative */
608          0,                     /* bitpos */
609          complain_overflow_signed, /* complain_on_overflow */
610          bfd_elf_generic_reloc, /* special_function */
611          "BRADDR",              /* name */
612          FALSE,                 /* partial_inplace */
613          0x1fffff,              /* src_mask */
614          0x1fffff,              /* dst_mask */
615          TRUE),                 /* pcrel_offset */
616
617   /* A hint for a jump to a register.  */
618   HOWTO (R_ALPHA_HINT,          /* type */
619          2,                     /* rightshift */
620          1,                     /* size (0 = byte, 1 = short, 2 = long) */
621          14,                    /* bitsize */
622          TRUE,                  /* pc_relative */
623          0,                     /* bitpos */
624          complain_overflow_dont, /* complain_on_overflow */
625          bfd_elf_generic_reloc, /* special_function */
626          "HINT",                /* name */
627          FALSE,                 /* partial_inplace */
628          0x3fff,                /* src_mask */
629          0x3fff,                /* dst_mask */
630          TRUE),                 /* pcrel_offset */
631
632   /* 16 bit PC relative offset.  */
633   HOWTO (R_ALPHA_SREL16,        /* type */
634          0,                     /* rightshift */
635          1,                     /* size (0 = byte, 1 = short, 2 = long) */
636          16,                    /* bitsize */
637          TRUE,                  /* pc_relative */
638          0,                     /* bitpos */
639          complain_overflow_signed, /* complain_on_overflow */
640          bfd_elf_generic_reloc, /* special_function */
641          "SREL16",              /* name */
642          FALSE,                 /* partial_inplace */
643          0xffff,                /* src_mask */
644          0xffff,                /* dst_mask */
645          TRUE),                 /* pcrel_offset */
646
647   /* 32 bit PC relative offset.  */
648   HOWTO (R_ALPHA_SREL32,        /* type */
649          0,                     /* rightshift */
650          2,                     /* size (0 = byte, 1 = short, 2 = long) */
651          32,                    /* bitsize */
652          TRUE,                  /* pc_relative */
653          0,                     /* bitpos */
654          complain_overflow_signed, /* complain_on_overflow */
655          bfd_elf_generic_reloc, /* special_function */
656          "SREL32",              /* name */
657          FALSE,                 /* partial_inplace */
658          0xffffffff,            /* src_mask */
659          0xffffffff,            /* dst_mask */
660          TRUE),                 /* pcrel_offset */
661
662   /* A 64 bit PC relative offset.  */
663   HOWTO (R_ALPHA_SREL64,        /* type */
664          0,                     /* rightshift */
665          4,                     /* size (0 = byte, 1 = short, 2 = long) */
666          64,                    /* bitsize */
667          TRUE,                  /* pc_relative */
668          0,                     /* bitpos */
669          complain_overflow_signed, /* complain_on_overflow */
670          bfd_elf_generic_reloc, /* special_function */
671          "SREL64",              /* name */
672          FALSE,                 /* partial_inplace */
673          MINUS_ONE,             /* src_mask */
674          MINUS_ONE,             /* dst_mask */
675          TRUE),                 /* pcrel_offset */
676
677   /* Skip 12 - 16; deprecated ECOFF relocs.  */
678   SKIP_HOWTO (12),
679   SKIP_HOWTO (13),
680   SKIP_HOWTO (14),
681   SKIP_HOWTO (15),
682   SKIP_HOWTO (16),
683
684   /* The high 16 bits of the displacement from GP to the target.  */
685   HOWTO (R_ALPHA_GPRELHIGH,
686          0,                     /* rightshift */
687          1,                     /* size (0 = byte, 1 = short, 2 = long) */
688          16,                    /* bitsize */
689          FALSE,                 /* pc_relative */
690          0,                     /* bitpos */
691          complain_overflow_signed, /* complain_on_overflow */
692          bfd_elf_generic_reloc, /* special_function */
693          "GPRELHIGH",           /* name */
694          FALSE,                 /* partial_inplace */
695          0xffff,                /* src_mask */
696          0xffff,                /* dst_mask */
697          FALSE),                /* pcrel_offset */
698
699   /* The low 16 bits of the displacement from GP to the target.  */
700   HOWTO (R_ALPHA_GPRELLOW,
701          0,                     /* rightshift */
702          1,                     /* size (0 = byte, 1 = short, 2 = long) */
703          16,                    /* bitsize */
704          FALSE,                 /* pc_relative */
705          0,                     /* bitpos */
706          complain_overflow_dont, /* complain_on_overflow */
707          bfd_elf_generic_reloc, /* special_function */
708          "GPRELLOW",            /* name */
709          FALSE,                 /* partial_inplace */
710          0xffff,                /* src_mask */
711          0xffff,                /* dst_mask */
712          FALSE),                /* pcrel_offset */
713
714   /* A 16-bit displacement from the GP to the target.  */
715   HOWTO (R_ALPHA_GPREL16,
716          0,                     /* rightshift */
717          1,                     /* size (0 = byte, 1 = short, 2 = long) */
718          16,                    /* bitsize */
719          FALSE,                 /* pc_relative */
720          0,                     /* bitpos */
721          complain_overflow_signed, /* complain_on_overflow */
722          bfd_elf_generic_reloc, /* special_function */
723          "GPREL16",             /* name */
724          FALSE,                 /* partial_inplace */
725          0xffff,                /* src_mask */
726          0xffff,                /* dst_mask */
727          FALSE),                /* pcrel_offset */
728
729   /* Skip 20 - 23; deprecated ECOFF relocs.  */
730   SKIP_HOWTO (20),
731   SKIP_HOWTO (21),
732   SKIP_HOWTO (22),
733   SKIP_HOWTO (23),
734
735   /* Misc ELF relocations.  */
736
737   /* A dynamic relocation to copy the target into our .dynbss section.  */
738   /* Not generated, as all Alpha objects use PIC, so it is not needed.  It
739      is present because every other ELF has one, but should not be used
740      because .dynbss is an ugly thing.  */
741   HOWTO (R_ALPHA_COPY,
742          0,
743          0,
744          0,
745          FALSE,
746          0,
747          complain_overflow_dont,
748          bfd_elf_generic_reloc,
749          "COPY",
750          FALSE,
751          0,
752          0,
753          TRUE),
754
755   /* A dynamic relocation for a .got entry.  */
756   HOWTO (R_ALPHA_GLOB_DAT,
757          0,
758          0,
759          0,
760          FALSE,
761          0,
762          complain_overflow_dont,
763          bfd_elf_generic_reloc,
764          "GLOB_DAT",
765          FALSE,
766          0,
767          0,
768          TRUE),
769
770   /* A dynamic relocation for a .plt entry.  */
771   HOWTO (R_ALPHA_JMP_SLOT,
772          0,
773          0,
774          0,
775          FALSE,
776          0,
777          complain_overflow_dont,
778          bfd_elf_generic_reloc,
779          "JMP_SLOT",
780          FALSE,
781          0,
782          0,
783          TRUE),
784
785   /* A dynamic relocation to add the base of the DSO to a 64-bit field.  */
786   HOWTO (R_ALPHA_RELATIVE,
787          0,
788          0,
789          0,
790          FALSE,
791          0,
792          complain_overflow_dont,
793          bfd_elf_generic_reloc,
794          "RELATIVE",
795          FALSE,
796          0,
797          0,
798          TRUE),
799
800   /* A 21 bit branch that adjusts for gp loads.  */
801   HOWTO (R_ALPHA_BRSGP,         /* type */
802          2,                     /* rightshift */
803          2,                     /* size (0 = byte, 1 = short, 2 = long) */
804          21,                    /* bitsize */
805          TRUE,                  /* pc_relative */
806          0,                     /* bitpos */
807          complain_overflow_signed, /* complain_on_overflow */
808          bfd_elf_generic_reloc, /* special_function */
809          "BRSGP",               /* name */
810          FALSE,                 /* partial_inplace */
811          0x1fffff,              /* src_mask */
812          0x1fffff,              /* dst_mask */
813          TRUE),                 /* pcrel_offset */
814
815   /* Creates a tls_index for the symbol in the got.  */
816   HOWTO (R_ALPHA_TLSGD,         /* type */
817          0,                     /* rightshift */
818          1,                     /* size (0 = byte, 1 = short, 2 = long) */
819          16,                    /* bitsize */
820          FALSE,                 /* pc_relative */
821          0,                     /* bitpos */
822          complain_overflow_signed, /* complain_on_overflow */
823          bfd_elf_generic_reloc, /* special_function */
824          "TLSGD",               /* name */
825          FALSE,                 /* partial_inplace */
826          0xffff,                /* src_mask */
827          0xffff,                /* dst_mask */
828          FALSE),                /* pcrel_offset */
829
830   /* Creates a tls_index for the (current) module in the got.  */
831   HOWTO (R_ALPHA_TLSLDM,        /* type */
832          0,                     /* rightshift */
833          1,                     /* size (0 = byte, 1 = short, 2 = long) */
834          16,                    /* bitsize */
835          FALSE,                 /* pc_relative */
836          0,                     /* bitpos */
837          complain_overflow_signed, /* complain_on_overflow */
838          bfd_elf_generic_reloc, /* special_function */
839          "TLSLDM",              /* name */
840          FALSE,                 /* partial_inplace */
841          0xffff,                /* src_mask */
842          0xffff,                /* dst_mask */
843          FALSE),                /* pcrel_offset */
844
845   /* A dynamic relocation for a DTP module entry.  */
846   HOWTO (R_ALPHA_DTPMOD64,      /* type */
847          0,                     /* rightshift */
848          4,                     /* size (0 = byte, 1 = short, 2 = long) */
849          64,                    /* bitsize */
850          FALSE,                 /* pc_relative */
851          0,                     /* bitpos */
852          complain_overflow_bitfield, /* complain_on_overflow */
853          bfd_elf_generic_reloc, /* special_function */
854          "DTPMOD64",            /* name */
855          FALSE,                 /* partial_inplace */
856          MINUS_ONE,             /* src_mask */
857          MINUS_ONE,             /* dst_mask */
858          FALSE),                /* pcrel_offset */
859
860   /* Creates a 64-bit offset in the got for the displacement
861      from DTP to the target.  */
862   HOWTO (R_ALPHA_GOTDTPREL,     /* type */
863          0,                     /* rightshift */
864          1,                     /* size (0 = byte, 1 = short, 2 = long) */
865          16,                    /* bitsize */
866          FALSE,                 /* pc_relative */
867          0,                     /* bitpos */
868          complain_overflow_signed, /* complain_on_overflow */
869          bfd_elf_generic_reloc, /* special_function */
870          "GOTDTPREL",           /* name */
871          FALSE,                 /* partial_inplace */
872          0xffff,                /* src_mask */
873          0xffff,                /* dst_mask */
874          FALSE),                /* pcrel_offset */
875
876   /* A dynamic relocation for a displacement from DTP to the target.  */
877   HOWTO (R_ALPHA_DTPREL64,      /* type */
878          0,                     /* rightshift */
879          4,                     /* size (0 = byte, 1 = short, 2 = long) */
880          64,                    /* bitsize */
881          FALSE,                 /* pc_relative */
882          0,                     /* bitpos */
883          complain_overflow_bitfield, /* complain_on_overflow */
884          bfd_elf_generic_reloc, /* special_function */
885          "DTPREL64",            /* name */
886          FALSE,                 /* partial_inplace */
887          MINUS_ONE,             /* src_mask */
888          MINUS_ONE,             /* dst_mask */
889          FALSE),                /* pcrel_offset */
890
891   /* The high 16 bits of the displacement from DTP to the target.  */
892   HOWTO (R_ALPHA_DTPRELHI,      /* type */
893          0,                     /* rightshift */
894          1,                     /* size (0 = byte, 1 = short, 2 = long) */
895          16,                    /* bitsize */
896          FALSE,                 /* pc_relative */
897          0,                     /* bitpos */
898          complain_overflow_signed, /* complain_on_overflow */
899          bfd_elf_generic_reloc, /* special_function */
900          "DTPRELHI",            /* name */
901          FALSE,                 /* partial_inplace */
902          0xffff,                /* src_mask */
903          0xffff,                /* dst_mask */
904          FALSE),                /* pcrel_offset */
905
906   /* The low 16 bits of the displacement from DTP to the target.  */
907   HOWTO (R_ALPHA_DTPRELLO,      /* type */
908          0,                     /* rightshift */
909          1,                     /* size (0 = byte, 1 = short, 2 = long) */
910          16,                    /* bitsize */
911          FALSE,                 /* pc_relative */
912          0,                     /* bitpos */
913          complain_overflow_dont, /* complain_on_overflow */
914          bfd_elf_generic_reloc, /* special_function */
915          "DTPRELLO",            /* name */
916          FALSE,                 /* partial_inplace */
917          0xffff,                /* src_mask */
918          0xffff,                /* dst_mask */
919          FALSE),                /* pcrel_offset */
920
921   /* A 16-bit displacement from DTP to the target.  */
922   HOWTO (R_ALPHA_DTPREL16,      /* type */
923          0,                     /* rightshift */
924          1,                     /* size (0 = byte, 1 = short, 2 = long) */
925          16,                    /* bitsize */
926          FALSE,                 /* pc_relative */
927          0,                     /* bitpos */
928          complain_overflow_signed, /* complain_on_overflow */
929          bfd_elf_generic_reloc, /* special_function */
930          "DTPREL16",            /* name */
931          FALSE,                 /* partial_inplace */
932          0xffff,                /* src_mask */
933          0xffff,                /* dst_mask */
934          FALSE),                /* pcrel_offset */
935
936   /* Creates a 64-bit offset in the got for the displacement
937      from TP to the target.  */
938   HOWTO (R_ALPHA_GOTTPREL,      /* type */
939          0,                     /* rightshift */
940          1,                     /* size (0 = byte, 1 = short, 2 = long) */
941          16,                    /* bitsize */
942          FALSE,                 /* pc_relative */
943          0,                     /* bitpos */
944          complain_overflow_signed, /* complain_on_overflow */
945          bfd_elf_generic_reloc, /* special_function */
946          "GOTTPREL",            /* name */
947          FALSE,                 /* partial_inplace */
948          0xffff,                /* src_mask */
949          0xffff,                /* dst_mask */
950          FALSE),                /* pcrel_offset */
951
952   /* A dynamic relocation for a displacement from TP to the target.  */
953   HOWTO (R_ALPHA_TPREL64,       /* type */
954          0,                     /* rightshift */
955          4,                     /* size (0 = byte, 1 = short, 2 = long) */
956          64,                    /* bitsize */
957          FALSE,                 /* pc_relative */
958          0,                     /* bitpos */
959          complain_overflow_bitfield, /* complain_on_overflow */
960          bfd_elf_generic_reloc, /* special_function */
961          "TPREL64",             /* name */
962          FALSE,                 /* partial_inplace */
963          MINUS_ONE,             /* src_mask */
964          MINUS_ONE,             /* dst_mask */
965          FALSE),                /* pcrel_offset */
966
967   /* The high 16 bits of the displacement from TP to the target.  */
968   HOWTO (R_ALPHA_TPRELHI,       /* type */
969          0,                     /* rightshift */
970          1,                     /* size (0 = byte, 1 = short, 2 = long) */
971          16,                    /* bitsize */
972          FALSE,                 /* pc_relative */
973          0,                     /* bitpos */
974          complain_overflow_signed, /* complain_on_overflow */
975          bfd_elf_generic_reloc, /* special_function */
976          "TPRELHI",             /* name */
977          FALSE,                 /* partial_inplace */
978          0xffff,                /* src_mask */
979          0xffff,                /* dst_mask */
980          FALSE),                /* pcrel_offset */
981
982   /* The low 16 bits of the displacement from TP to the target.  */
983   HOWTO (R_ALPHA_TPRELLO,       /* type */
984          0,                     /* rightshift */
985          1,                     /* size (0 = byte, 1 = short, 2 = long) */
986          16,                    /* bitsize */
987          FALSE,                 /* pc_relative */
988          0,                     /* bitpos */
989          complain_overflow_dont, /* complain_on_overflow */
990          bfd_elf_generic_reloc, /* special_function */
991          "TPRELLO",             /* name */
992          FALSE,                 /* partial_inplace */
993          0xffff,                /* src_mask */
994          0xffff,                /* dst_mask */
995          FALSE),                /* pcrel_offset */
996
997   /* A 16-bit displacement from TP to the target.  */
998   HOWTO (R_ALPHA_TPREL16,       /* type */
999          0,                     /* rightshift */
1000          1,                     /* size (0 = byte, 1 = short, 2 = long) */
1001          16,                    /* bitsize */
1002          FALSE,                 /* pc_relative */
1003          0,                     /* bitpos */
1004          complain_overflow_signed, /* complain_on_overflow */
1005          bfd_elf_generic_reloc, /* special_function */
1006          "TPREL16",             /* name */
1007          FALSE,                 /* partial_inplace */
1008          0xffff,                /* src_mask */
1009          0xffff,                /* dst_mask */
1010          FALSE),                /* pcrel_offset */
1011 };
1012
1013 /* A mapping from BFD reloc types to Alpha ELF reloc types.  */
1014
1015 struct elf_reloc_map
1016 {
1017   bfd_reloc_code_real_type bfd_reloc_val;
1018   int elf_reloc_val;
1019 };
1020
1021 static const struct elf_reloc_map elf64_alpha_reloc_map[] =
1022 {
1023   {BFD_RELOC_NONE,                      R_ALPHA_NONE},
1024   {BFD_RELOC_32,                        R_ALPHA_REFLONG},
1025   {BFD_RELOC_64,                        R_ALPHA_REFQUAD},
1026   {BFD_RELOC_CTOR,                      R_ALPHA_REFQUAD},
1027   {BFD_RELOC_GPREL32,                   R_ALPHA_GPREL32},
1028   {BFD_RELOC_ALPHA_ELF_LITERAL,         R_ALPHA_LITERAL},
1029   {BFD_RELOC_ALPHA_LITUSE,              R_ALPHA_LITUSE},
1030   {BFD_RELOC_ALPHA_GPDISP,              R_ALPHA_GPDISP},
1031   {BFD_RELOC_23_PCREL_S2,               R_ALPHA_BRADDR},
1032   {BFD_RELOC_ALPHA_HINT,                R_ALPHA_HINT},
1033   {BFD_RELOC_16_PCREL,                  R_ALPHA_SREL16},
1034   {BFD_RELOC_32_PCREL,                  R_ALPHA_SREL32},
1035   {BFD_RELOC_64_PCREL,                  R_ALPHA_SREL64},
1036   {BFD_RELOC_ALPHA_GPREL_HI16,          R_ALPHA_GPRELHIGH},
1037   {BFD_RELOC_ALPHA_GPREL_LO16,          R_ALPHA_GPRELLOW},
1038   {BFD_RELOC_GPREL16,                   R_ALPHA_GPREL16},
1039   {BFD_RELOC_ALPHA_BRSGP,               R_ALPHA_BRSGP},
1040   {BFD_RELOC_ALPHA_TLSGD,               R_ALPHA_TLSGD},
1041   {BFD_RELOC_ALPHA_TLSLDM,              R_ALPHA_TLSLDM},
1042   {BFD_RELOC_ALPHA_DTPMOD64,            R_ALPHA_DTPMOD64},
1043   {BFD_RELOC_ALPHA_GOTDTPREL16,         R_ALPHA_GOTDTPREL},
1044   {BFD_RELOC_ALPHA_DTPREL64,            R_ALPHA_DTPREL64},
1045   {BFD_RELOC_ALPHA_DTPREL_HI16,         R_ALPHA_DTPRELHI},
1046   {BFD_RELOC_ALPHA_DTPREL_LO16,         R_ALPHA_DTPRELLO},
1047   {BFD_RELOC_ALPHA_DTPREL16,            R_ALPHA_DTPREL16},
1048   {BFD_RELOC_ALPHA_GOTTPREL16,          R_ALPHA_GOTTPREL},
1049   {BFD_RELOC_ALPHA_TPREL64,             R_ALPHA_TPREL64},
1050   {BFD_RELOC_ALPHA_TPREL_HI16,          R_ALPHA_TPRELHI},
1051   {BFD_RELOC_ALPHA_TPREL_LO16,          R_ALPHA_TPRELLO},
1052   {BFD_RELOC_ALPHA_TPREL16,             R_ALPHA_TPREL16},
1053 };
1054
1055 /* Given a BFD reloc type, return a HOWTO structure.  */
1056
1057 static reloc_howto_type *
1058 elf64_alpha_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
1059                                    bfd_reloc_code_real_type code)
1060 {
1061   const struct elf_reloc_map *i, *e;
1062   i = e = elf64_alpha_reloc_map;
1063   e += sizeof (elf64_alpha_reloc_map) / sizeof (struct elf_reloc_map);
1064   for (; i != e; ++i)
1065     {
1066       if (i->bfd_reloc_val == code)
1067         return &elf64_alpha_howto_table[i->elf_reloc_val];
1068     }
1069   return 0;
1070 }
1071
1072 static reloc_howto_type *
1073 elf64_alpha_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
1074                                    const char *r_name)
1075 {
1076   unsigned int i;
1077
1078   for (i = 0;
1079        i < (sizeof (elf64_alpha_howto_table)
1080             / sizeof (elf64_alpha_howto_table[0]));
1081        i++)
1082     if (elf64_alpha_howto_table[i].name != NULL
1083         && strcasecmp (elf64_alpha_howto_table[i].name, r_name) == 0)
1084       return &elf64_alpha_howto_table[i];
1085
1086   return NULL;
1087 }
1088
1089 /* Given an Alpha ELF reloc type, fill in an arelent structure.  */
1090
1091 static void
1092 elf64_alpha_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED, arelent *cache_ptr,
1093                            Elf_Internal_Rela *dst)
1094 {
1095   unsigned r_type = ELF64_R_TYPE(dst->r_info);
1096   BFD_ASSERT (r_type < (unsigned int) R_ALPHA_max);
1097   cache_ptr->howto = &elf64_alpha_howto_table[r_type];
1098 }
1099
1100 /* These two relocations create a two-word entry in the got.  */
1101 #define alpha_got_entry_size(r_type) \
1102   (r_type == R_ALPHA_TLSGD || r_type == R_ALPHA_TLSLDM ? 16 : 8)
1103
1104 /* This is PT_TLS segment p_vaddr.  */
1105 #define alpha_get_dtprel_base(info) \
1106   (elf_hash_table (info)->tls_sec->vma)
1107
1108 /* Main program TLS (whose template starts at PT_TLS p_vaddr)
1109    is assigned offset round(16, PT_TLS p_align).  */
1110 #define alpha_get_tprel_base(info) \
1111   (elf_hash_table (info)->tls_sec->vma                                  \
1112    - align_power ((bfd_vma) 16,                                         \
1113                   elf_hash_table (info)->tls_sec->alignment_power))
1114 \f
1115 /* Handle an Alpha specific section when reading an object file.  This
1116    is called when bfd_section_from_shdr finds a section with an unknown
1117    type.
1118    FIXME: We need to handle the SHF_ALPHA_GPREL flag, but I'm not sure
1119    how to.  */
1120
1121 static bfd_boolean
1122 elf64_alpha_section_from_shdr (bfd *abfd,
1123                                Elf_Internal_Shdr *hdr,
1124                                const char *name,
1125                                int shindex)
1126 {
1127   asection *newsect;
1128
1129   /* There ought to be a place to keep ELF backend specific flags, but
1130      at the moment there isn't one.  We just keep track of the
1131      sections by their name, instead.  Fortunately, the ABI gives
1132      suggested names for all the MIPS specific sections, so we will
1133      probably get away with this.  */
1134   switch (hdr->sh_type)
1135     {
1136     case SHT_ALPHA_DEBUG:
1137       if (strcmp (name, ".mdebug") != 0)
1138         return FALSE;
1139       break;
1140     default:
1141       return FALSE;
1142     }
1143
1144   if (! _bfd_elf_make_section_from_shdr (abfd, hdr, name, shindex))
1145     return FALSE;
1146   newsect = hdr->bfd_section;
1147
1148   if (hdr->sh_type == SHT_ALPHA_DEBUG)
1149     {
1150       if (! bfd_set_section_flags (abfd, newsect,
1151                                    (bfd_get_section_flags (abfd, newsect)
1152                                     | SEC_DEBUGGING)))
1153         return FALSE;
1154     }
1155
1156   return TRUE;
1157 }
1158
1159 /* Convert Alpha specific section flags to bfd internal section flags.  */
1160
1161 static bfd_boolean
1162 elf64_alpha_section_flags (flagword *flags, const Elf_Internal_Shdr *hdr)
1163 {
1164   if (hdr->sh_flags & SHF_ALPHA_GPREL)
1165     *flags |= SEC_SMALL_DATA;
1166
1167   return TRUE;
1168 }
1169
1170 /* Set the correct type for an Alpha ELF section.  We do this by the
1171    section name, which is a hack, but ought to work.  */
1172
1173 static bfd_boolean
1174 elf64_alpha_fake_sections (bfd *abfd, Elf_Internal_Shdr *hdr, asection *sec)
1175 {
1176   register const char *name;
1177
1178   name = bfd_get_section_name (abfd, sec);
1179
1180   if (strcmp (name, ".mdebug") == 0)
1181     {
1182       hdr->sh_type = SHT_ALPHA_DEBUG;
1183       /* In a shared object on Irix 5.3, the .mdebug section has an
1184          entsize of 0.  FIXME: Does this matter?  */
1185       if ((abfd->flags & DYNAMIC) != 0 )
1186         hdr->sh_entsize = 0;
1187       else
1188         hdr->sh_entsize = 1;
1189     }
1190   else if ((sec->flags & SEC_SMALL_DATA)
1191            || strcmp (name, ".sdata") == 0
1192            || strcmp (name, ".sbss") == 0
1193            || strcmp (name, ".lit4") == 0
1194            || strcmp (name, ".lit8") == 0)
1195     hdr->sh_flags |= SHF_ALPHA_GPREL;
1196
1197   return TRUE;
1198 }
1199
1200 /* Hook called by the linker routine which adds symbols from an object
1201    file.  We use it to put .comm items in .sbss, and not .bss.  */
1202
1203 static bfd_boolean
1204 elf64_alpha_add_symbol_hook (bfd *abfd, struct bfd_link_info *info,
1205                              Elf_Internal_Sym *sym,
1206                              const char **namep ATTRIBUTE_UNUSED,
1207                              flagword *flagsp ATTRIBUTE_UNUSED,
1208                              asection **secp, bfd_vma *valp)
1209 {
1210   if (sym->st_shndx == SHN_COMMON
1211       && !info->relocatable
1212       && sym->st_size <= elf_gp_size (abfd))
1213     {
1214       /* Common symbols less than or equal to -G nn bytes are
1215          automatically put into .sbss.  */
1216
1217       asection *scomm = bfd_get_section_by_name (abfd, ".scommon");
1218
1219       if (scomm == NULL)
1220         {
1221           scomm = bfd_make_section_with_flags (abfd, ".scommon",
1222                                                (SEC_ALLOC
1223                                                 | SEC_IS_COMMON
1224                                                 | SEC_LINKER_CREATED));
1225           if (scomm == NULL)
1226             return FALSE;
1227         }
1228
1229       *secp = scomm;
1230       *valp = sym->st_size;
1231     }
1232
1233   return TRUE;
1234 }
1235
1236 /* Create the .got section.  */
1237
1238 static bfd_boolean
1239 elf64_alpha_create_got_section (bfd *abfd,
1240                                 struct bfd_link_info *info ATTRIBUTE_UNUSED)
1241 {
1242   flagword flags;
1243   asection *s;
1244
1245   if (! is_alpha_elf (abfd))
1246     return FALSE;
1247
1248   flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
1249            | SEC_LINKER_CREATED);
1250   s = bfd_make_section_anyway_with_flags (abfd, ".got", flags);
1251   if (s == NULL
1252       || !bfd_set_section_alignment (abfd, s, 3))
1253     return FALSE;
1254
1255   alpha_elf_tdata (abfd)->got = s;
1256
1257   /* Make sure the object's gotobj is set to itself so that we default
1258      to every object with its own .got.  We'll merge .gots later once
1259      we've collected each object's info.  */
1260   alpha_elf_tdata (abfd)->gotobj = abfd;
1261
1262   return TRUE;
1263 }
1264
1265 /* Create all the dynamic sections.  */
1266
1267 static bfd_boolean
1268 elf64_alpha_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
1269 {
1270   asection *s;
1271   flagword flags;
1272   struct elf_link_hash_entry *h;
1273
1274   if (! is_alpha_elf (abfd))
1275     return FALSE;
1276
1277   /* We need to create .plt, .rela.plt, .got, and .rela.got sections.  */
1278
1279   flags = (SEC_ALLOC | SEC_LOAD | SEC_CODE | SEC_HAS_CONTENTS | SEC_IN_MEMORY
1280            | SEC_LINKER_CREATED
1281            | (elf64_alpha_use_secureplt ? SEC_READONLY : 0));
1282   s = bfd_make_section_anyway_with_flags (abfd, ".plt", flags);
1283   if (s == NULL || ! bfd_set_section_alignment (abfd, s, 4))
1284     return FALSE;
1285
1286   /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
1287      .plt section.  */
1288   h = _bfd_elf_define_linkage_sym (abfd, info, s,
1289                                    "_PROCEDURE_LINKAGE_TABLE_");
1290   elf_hash_table (info)->hplt = h;
1291   if (h == NULL)
1292     return FALSE;
1293
1294   flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
1295            | SEC_LINKER_CREATED | SEC_READONLY);
1296   s = bfd_make_section_anyway_with_flags (abfd, ".rela.plt", flags);
1297   if (s == NULL || ! bfd_set_section_alignment (abfd, s, 3))
1298     return FALSE;
1299
1300   if (elf64_alpha_use_secureplt)
1301     {
1302       flags = SEC_ALLOC | SEC_LINKER_CREATED;
1303       s = bfd_make_section_anyway_with_flags (abfd, ".got.plt", flags);
1304       if (s == NULL || ! bfd_set_section_alignment (abfd, s, 3))
1305         return FALSE;
1306     }
1307
1308   /* We may or may not have created a .got section for this object, but
1309      we definitely havn't done the rest of the work.  */
1310
1311   if (alpha_elf_tdata(abfd)->gotobj == NULL)
1312     {
1313       if (!elf64_alpha_create_got_section (abfd, info))
1314         return FALSE;
1315     }
1316
1317   flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
1318            | SEC_LINKER_CREATED | SEC_READONLY);
1319   s = bfd_make_section_anyway_with_flags (abfd, ".rela.got", flags);
1320   if (s == NULL
1321       || !bfd_set_section_alignment (abfd, s, 3))
1322     return FALSE;
1323
1324   /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the
1325      dynobj's .got section.  We don't do this in the linker script
1326      because we don't want to define the symbol if we are not creating
1327      a global offset table.  */
1328   h = _bfd_elf_define_linkage_sym (abfd, info, alpha_elf_tdata(abfd)->got,
1329                                    "_GLOBAL_OFFSET_TABLE_");
1330   elf_hash_table (info)->hgot = h;
1331   if (h == NULL)
1332     return FALSE;
1333
1334   return TRUE;
1335 }
1336 \f
1337 /* Read ECOFF debugging information from a .mdebug section into a
1338    ecoff_debug_info structure.  */
1339
1340 static bfd_boolean
1341 elf64_alpha_read_ecoff_info (bfd *abfd, asection *section,
1342                              struct ecoff_debug_info *debug)
1343 {
1344   HDRR *symhdr;
1345   const struct ecoff_debug_swap *swap;
1346   char *ext_hdr = NULL;
1347
1348   swap = get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
1349   memset (debug, 0, sizeof (*debug));
1350
1351   ext_hdr = (char *) bfd_malloc (swap->external_hdr_size);
1352   if (ext_hdr == NULL && swap->external_hdr_size != 0)
1353     goto error_return;
1354
1355   if (! bfd_get_section_contents (abfd, section, ext_hdr, (file_ptr) 0,
1356                                   swap->external_hdr_size))
1357     goto error_return;
1358
1359   symhdr = &debug->symbolic_header;
1360   (*swap->swap_hdr_in) (abfd, ext_hdr, symhdr);
1361
1362   /* The symbolic header contains absolute file offsets and sizes to
1363      read.  */
1364 #define READ(ptr, offset, count, size, type)                            \
1365   if (symhdr->count == 0)                                               \
1366     debug->ptr = NULL;                                                  \
1367   else                                                                  \
1368     {                                                                   \
1369       bfd_size_type amt = (bfd_size_type) size * symhdr->count;         \
1370       debug->ptr = (type) bfd_malloc (amt);                             \
1371       if (debug->ptr == NULL)                                           \
1372         goto error_return;                                              \
1373       if (bfd_seek (abfd, (file_ptr) symhdr->offset, SEEK_SET) != 0     \
1374           || bfd_bread (debug->ptr, amt, abfd) != amt)                  \
1375         goto error_return;                                              \
1376     }
1377
1378   READ (line, cbLineOffset, cbLine, sizeof (unsigned char), unsigned char *);
1379   READ (external_dnr, cbDnOffset, idnMax, swap->external_dnr_size, PTR);
1380   READ (external_pdr, cbPdOffset, ipdMax, swap->external_pdr_size, PTR);
1381   READ (external_sym, cbSymOffset, isymMax, swap->external_sym_size, PTR);
1382   READ (external_opt, cbOptOffset, ioptMax, swap->external_opt_size, PTR);
1383   READ (external_aux, cbAuxOffset, iauxMax, sizeof (union aux_ext),
1384         union aux_ext *);
1385   READ (ss, cbSsOffset, issMax, sizeof (char), char *);
1386   READ (ssext, cbSsExtOffset, issExtMax, sizeof (char), char *);
1387   READ (external_fdr, cbFdOffset, ifdMax, swap->external_fdr_size, PTR);
1388   READ (external_rfd, cbRfdOffset, crfd, swap->external_rfd_size, PTR);
1389   READ (external_ext, cbExtOffset, iextMax, swap->external_ext_size, PTR);
1390 #undef READ
1391
1392   debug->fdr = NULL;
1393
1394   return TRUE;
1395
1396  error_return:
1397   if (ext_hdr != NULL)
1398     free (ext_hdr);
1399   if (debug->line != NULL)
1400     free (debug->line);
1401   if (debug->external_dnr != NULL)
1402     free (debug->external_dnr);
1403   if (debug->external_pdr != NULL)
1404     free (debug->external_pdr);
1405   if (debug->external_sym != NULL)
1406     free (debug->external_sym);
1407   if (debug->external_opt != NULL)
1408     free (debug->external_opt);
1409   if (debug->external_aux != NULL)
1410     free (debug->external_aux);
1411   if (debug->ss != NULL)
1412     free (debug->ss);
1413   if (debug->ssext != NULL)
1414     free (debug->ssext);
1415   if (debug->external_fdr != NULL)
1416     free (debug->external_fdr);
1417   if (debug->external_rfd != NULL)
1418     free (debug->external_rfd);
1419   if (debug->external_ext != NULL)
1420     free (debug->external_ext);
1421   return FALSE;
1422 }
1423
1424 /* Alpha ELF local labels start with '$'.  */
1425
1426 static bfd_boolean
1427 elf64_alpha_is_local_label_name (bfd *abfd ATTRIBUTE_UNUSED, const char *name)
1428 {
1429   return name[0] == '$';
1430 }
1431
1432 /* Alpha ELF follows MIPS ELF in using a special find_nearest_line
1433    routine in order to handle the ECOFF debugging information.  We
1434    still call this mips_elf_find_line because of the slot
1435    find_line_info in elf_obj_tdata is declared that way.  */
1436
1437 struct mips_elf_find_line
1438 {
1439   struct ecoff_debug_info d;
1440   struct ecoff_find_line i;
1441 };
1442
1443 static bfd_boolean
1444 elf64_alpha_find_nearest_line (bfd *abfd, asection *section, asymbol **symbols,
1445                                bfd_vma offset, const char **filename_ptr,
1446                                const char **functionname_ptr,
1447                                unsigned int *line_ptr)
1448 {
1449   asection *msec;
1450
1451   if (_bfd_dwarf2_find_nearest_line (abfd, section, symbols, offset,
1452                                      filename_ptr, functionname_ptr,
1453                                      line_ptr, 0,
1454                                      &elf_tdata (abfd)->dwarf2_find_line_info))
1455     return TRUE;
1456
1457   msec = bfd_get_section_by_name (abfd, ".mdebug");
1458   if (msec != NULL)
1459     {
1460       flagword origflags;
1461       struct mips_elf_find_line *fi;
1462       const struct ecoff_debug_swap * const swap =
1463         get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
1464
1465       /* If we are called during a link, alpha_elf_final_link may have
1466          cleared the SEC_HAS_CONTENTS field.  We force it back on here
1467          if appropriate (which it normally will be).  */
1468       origflags = msec->flags;
1469       if (elf_section_data (msec)->this_hdr.sh_type != SHT_NOBITS)
1470         msec->flags |= SEC_HAS_CONTENTS;
1471
1472       fi = elf_tdata (abfd)->find_line_info;
1473       if (fi == NULL)
1474         {
1475           bfd_size_type external_fdr_size;
1476           char *fraw_src;
1477           char *fraw_end;
1478           struct fdr *fdr_ptr;
1479           bfd_size_type amt = sizeof (struct mips_elf_find_line);
1480
1481           fi = (struct mips_elf_find_line *) bfd_zalloc (abfd, amt);
1482           if (fi == NULL)
1483             {
1484               msec->flags = origflags;
1485               return FALSE;
1486             }
1487
1488           if (!elf64_alpha_read_ecoff_info (abfd, msec, &fi->d))
1489             {
1490               msec->flags = origflags;
1491               return FALSE;
1492             }
1493
1494           /* Swap in the FDR information.  */
1495           amt = fi->d.symbolic_header.ifdMax * sizeof (struct fdr);
1496           fi->d.fdr = (struct fdr *) bfd_alloc (abfd, amt);
1497           if (fi->d.fdr == NULL)
1498             {
1499               msec->flags = origflags;
1500               return FALSE;
1501             }
1502           external_fdr_size = swap->external_fdr_size;
1503           fdr_ptr = fi->d.fdr;
1504           fraw_src = (char *) fi->d.external_fdr;
1505           fraw_end = (fraw_src
1506                       + fi->d.symbolic_header.ifdMax * external_fdr_size);
1507           for (; fraw_src < fraw_end; fraw_src += external_fdr_size, fdr_ptr++)
1508             (*swap->swap_fdr_in) (abfd, (PTR) fraw_src, fdr_ptr);
1509
1510           elf_tdata (abfd)->find_line_info = fi;
1511
1512           /* Note that we don't bother to ever free this information.
1513              find_nearest_line is either called all the time, as in
1514              objdump -l, so the information should be saved, or it is
1515              rarely called, as in ld error messages, so the memory
1516              wasted is unimportant.  Still, it would probably be a
1517              good idea for free_cached_info to throw it away.  */
1518         }
1519
1520       if (_bfd_ecoff_locate_line (abfd, section, offset, &fi->d, swap,
1521                                   &fi->i, filename_ptr, functionname_ptr,
1522                                   line_ptr))
1523         {
1524           msec->flags = origflags;
1525           return TRUE;
1526         }
1527
1528       msec->flags = origflags;
1529     }
1530
1531   /* Fall back on the generic ELF find_nearest_line routine.  */
1532
1533   return _bfd_elf_find_nearest_line (abfd, section, symbols, offset,
1534                                      filename_ptr, functionname_ptr,
1535                                      line_ptr);
1536 }
1537 \f
1538 /* Structure used to pass information to alpha_elf_output_extsym.  */
1539
1540 struct extsym_info
1541 {
1542   bfd *abfd;
1543   struct bfd_link_info *info;
1544   struct ecoff_debug_info *debug;
1545   const struct ecoff_debug_swap *swap;
1546   bfd_boolean failed;
1547 };
1548
1549 static bfd_boolean
1550 elf64_alpha_output_extsym (struct alpha_elf_link_hash_entry *h, PTR data)
1551 {
1552   struct extsym_info *einfo = (struct extsym_info *) data;
1553   bfd_boolean strip;
1554   asection *sec, *output_section;
1555
1556   if (h->root.indx == -2)
1557     strip = FALSE;
1558   else if ((h->root.def_dynamic
1559             || h->root.ref_dynamic
1560             || h->root.root.type == bfd_link_hash_new)
1561            && !h->root.def_regular
1562            && !h->root.ref_regular)
1563     strip = TRUE;
1564   else if (einfo->info->strip == strip_all
1565            || (einfo->info->strip == strip_some
1566                && bfd_hash_lookup (einfo->info->keep_hash,
1567                                    h->root.root.root.string,
1568                                    FALSE, FALSE) == NULL))
1569     strip = TRUE;
1570   else
1571     strip = FALSE;
1572
1573   if (strip)
1574     return TRUE;
1575
1576   if (h->esym.ifd == -2)
1577     {
1578       h->esym.jmptbl = 0;
1579       h->esym.cobol_main = 0;
1580       h->esym.weakext = 0;
1581       h->esym.reserved = 0;
1582       h->esym.ifd = ifdNil;
1583       h->esym.asym.value = 0;
1584       h->esym.asym.st = stGlobal;
1585
1586       if (h->root.root.type != bfd_link_hash_defined
1587           && h->root.root.type != bfd_link_hash_defweak)
1588         h->esym.asym.sc = scAbs;
1589       else
1590         {
1591           const char *name;
1592
1593           sec = h->root.root.u.def.section;
1594           output_section = sec->output_section;
1595
1596           /* When making a shared library and symbol h is the one from
1597              the another shared library, OUTPUT_SECTION may be null.  */
1598           if (output_section == NULL)
1599             h->esym.asym.sc = scUndefined;
1600           else
1601             {
1602               name = bfd_section_name (output_section->owner, output_section);
1603
1604               if (strcmp (name, ".text") == 0)
1605                 h->esym.asym.sc = scText;
1606               else if (strcmp (name, ".data") == 0)
1607                 h->esym.asym.sc = scData;
1608               else if (strcmp (name, ".sdata") == 0)
1609                 h->esym.asym.sc = scSData;
1610               else if (strcmp (name, ".rodata") == 0
1611                        || strcmp (name, ".rdata") == 0)
1612                 h->esym.asym.sc = scRData;
1613               else if (strcmp (name, ".bss") == 0)
1614                 h->esym.asym.sc = scBss;
1615               else if (strcmp (name, ".sbss") == 0)
1616                 h->esym.asym.sc = scSBss;
1617               else if (strcmp (name, ".init") == 0)
1618                 h->esym.asym.sc = scInit;
1619               else if (strcmp (name, ".fini") == 0)
1620                 h->esym.asym.sc = scFini;
1621               else
1622                 h->esym.asym.sc = scAbs;
1623             }
1624         }
1625
1626       h->esym.asym.reserved = 0;
1627       h->esym.asym.index = indexNil;
1628     }
1629
1630   if (h->root.root.type == bfd_link_hash_common)
1631     h->esym.asym.value = h->root.root.u.c.size;
1632   else if (h->root.root.type == bfd_link_hash_defined
1633            || h->root.root.type == bfd_link_hash_defweak)
1634     {
1635       if (h->esym.asym.sc == scCommon)
1636         h->esym.asym.sc = scBss;
1637       else if (h->esym.asym.sc == scSCommon)
1638         h->esym.asym.sc = scSBss;
1639
1640       sec = h->root.root.u.def.section;
1641       output_section = sec->output_section;
1642       if (output_section != NULL)
1643         h->esym.asym.value = (h->root.root.u.def.value
1644                               + sec->output_offset
1645                               + output_section->vma);
1646       else
1647         h->esym.asym.value = 0;
1648     }
1649
1650   if (! bfd_ecoff_debug_one_external (einfo->abfd, einfo->debug, einfo->swap,
1651                                       h->root.root.root.string,
1652                                       &h->esym))
1653     {
1654       einfo->failed = TRUE;
1655       return FALSE;
1656     }
1657
1658   return TRUE;
1659 }
1660 \f
1661 /* Search for and possibly create a got entry.  */
1662
1663 static struct alpha_elf_got_entry *
1664 get_got_entry (bfd *abfd, struct alpha_elf_link_hash_entry *h,
1665                unsigned long r_type, unsigned long r_symndx,
1666                bfd_vma r_addend)
1667 {
1668   struct alpha_elf_got_entry *gotent;
1669   struct alpha_elf_got_entry **slot;
1670
1671   if (h)
1672     slot = &h->got_entries;
1673   else
1674     {
1675       /* This is a local .got entry -- record for merge.  */
1676
1677       struct alpha_elf_got_entry **local_got_entries;
1678
1679       local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
1680       if (!local_got_entries)
1681         {
1682           bfd_size_type size;
1683           Elf_Internal_Shdr *symtab_hdr;
1684
1685           symtab_hdr = &elf_tdata(abfd)->symtab_hdr;
1686           size = symtab_hdr->sh_info;
1687           size *= sizeof (struct alpha_elf_got_entry *);
1688
1689           local_got_entries
1690             = (struct alpha_elf_got_entry **) bfd_zalloc (abfd, size);
1691           if (!local_got_entries)
1692             return NULL;
1693
1694           alpha_elf_tdata (abfd)->local_got_entries = local_got_entries;
1695         }
1696
1697       slot = &local_got_entries[r_symndx];
1698     }
1699
1700   for (gotent = *slot; gotent ; gotent = gotent->next)
1701     if (gotent->gotobj == abfd
1702         && gotent->reloc_type == r_type
1703         && gotent->addend == r_addend)
1704       break;
1705
1706   if (!gotent)
1707     {
1708       int entry_size;
1709       bfd_size_type amt;
1710
1711       amt = sizeof (struct alpha_elf_got_entry);
1712       gotent = (struct alpha_elf_got_entry *) bfd_alloc (abfd, amt);
1713       if (!gotent)
1714         return NULL;
1715
1716       gotent->gotobj = abfd;
1717       gotent->addend = r_addend;
1718       gotent->got_offset = -1;
1719       gotent->plt_offset = -1;
1720       gotent->use_count = 1;
1721       gotent->reloc_type = r_type;
1722       gotent->reloc_done = 0;
1723       gotent->reloc_xlated = 0;
1724
1725       gotent->next = *slot;
1726       *slot = gotent;
1727
1728       entry_size = alpha_got_entry_size (r_type);
1729       alpha_elf_tdata (abfd)->total_got_size += entry_size;
1730       if (!h)
1731         alpha_elf_tdata(abfd)->local_got_size += entry_size;
1732     }
1733   else
1734     gotent->use_count += 1;
1735
1736   return gotent;
1737 }
1738
1739 static bfd_boolean
1740 elf64_alpha_want_plt (struct alpha_elf_link_hash_entry *ah)
1741 {
1742   return ((ah->root.type == STT_FUNC
1743           || ah->root.root.type == bfd_link_hash_undefweak
1744           || ah->root.root.type == bfd_link_hash_undefined)
1745           && (ah->flags & ALPHA_ELF_LINK_HASH_LU_PLT) != 0
1746           && (ah->flags & ~ALPHA_ELF_LINK_HASH_LU_PLT) == 0);
1747 }
1748
1749 /* Handle dynamic relocations when doing an Alpha ELF link.  */
1750
1751 static bfd_boolean
1752 elf64_alpha_check_relocs (bfd *abfd, struct bfd_link_info *info,
1753                           asection *sec, const Elf_Internal_Rela *relocs)
1754 {
1755   bfd *dynobj;
1756   asection *sreloc;
1757   Elf_Internal_Shdr *symtab_hdr;
1758   struct alpha_elf_link_hash_entry **sym_hashes;
1759   const Elf_Internal_Rela *rel, *relend;
1760   bfd_size_type amt;
1761
1762   if (info->relocatable)
1763     return TRUE;
1764
1765   /* Don't do anything special with non-loaded, non-alloced sections.
1766      In particular, any relocs in such sections should not affect GOT
1767      and PLT reference counting (ie. we don't allow them to create GOT
1768      or PLT entries), there's no possibility or desire to optimize TLS
1769      relocs, and there's not much point in propagating relocs to shared
1770      libs that the dynamic linker won't relocate.  */
1771   if ((sec->flags & SEC_ALLOC) == 0)
1772     return TRUE;
1773
1774   BFD_ASSERT (is_alpha_elf (abfd));
1775
1776   dynobj = elf_hash_table (info)->dynobj;
1777   if (dynobj == NULL)
1778     elf_hash_table (info)->dynobj = dynobj = abfd;
1779
1780   sreloc = NULL;
1781   symtab_hdr = &elf_symtab_hdr (abfd);
1782   sym_hashes = alpha_elf_sym_hashes (abfd);
1783
1784   relend = relocs + sec->reloc_count;
1785   for (rel = relocs; rel < relend; ++rel)
1786     {
1787       enum {
1788         NEED_GOT = 1,
1789         NEED_GOT_ENTRY = 2,
1790         NEED_DYNREL = 4
1791       };
1792
1793       unsigned long r_symndx, r_type;
1794       struct alpha_elf_link_hash_entry *h;
1795       unsigned int gotent_flags;
1796       bfd_boolean maybe_dynamic;
1797       unsigned int need;
1798       bfd_vma addend;
1799
1800       r_symndx = ELF64_R_SYM (rel->r_info);
1801       if (r_symndx < symtab_hdr->sh_info)
1802         h = NULL;
1803       else
1804         {
1805           h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1806
1807           while (h->root.root.type == bfd_link_hash_indirect
1808                  || h->root.root.type == bfd_link_hash_warning)
1809             h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
1810
1811           h->root.ref_regular = 1;
1812         }
1813
1814       /* We can only get preliminary data on whether a symbol is
1815          locally or externally defined, as not all of the input files
1816          have yet been processed.  Do something with what we know, as
1817          this may help reduce memory usage and processing time later.  */
1818       maybe_dynamic = FALSE;
1819       if (h && ((info->shared
1820                  && (!info->symbolic
1821                      || info->unresolved_syms_in_shared_libs == RM_IGNORE))
1822                 || !h->root.def_regular
1823                 || h->root.root.type == bfd_link_hash_defweak))
1824         maybe_dynamic = TRUE;
1825
1826       need = 0;
1827       gotent_flags = 0;
1828       r_type = ELF64_R_TYPE (rel->r_info);
1829       addend = rel->r_addend;
1830
1831       switch (r_type)
1832         {
1833         case R_ALPHA_LITERAL:
1834           need = NEED_GOT | NEED_GOT_ENTRY;
1835
1836           /* Remember how this literal is used from its LITUSEs.
1837              This will be important when it comes to decide if we can
1838              create a .plt entry for a function symbol.  */
1839           while (++rel < relend && ELF64_R_TYPE (rel->r_info) == R_ALPHA_LITUSE)
1840             if (rel->r_addend >= 1 && rel->r_addend <= 6)
1841               gotent_flags |= 1 << rel->r_addend;
1842           --rel;
1843
1844           /* No LITUSEs -- presumably the address is used somehow.  */
1845           if (gotent_flags == 0)
1846             gotent_flags = ALPHA_ELF_LINK_HASH_LU_ADDR;
1847           break;
1848
1849         case R_ALPHA_GPDISP:
1850         case R_ALPHA_GPREL16:
1851         case R_ALPHA_GPREL32:
1852         case R_ALPHA_GPRELHIGH:
1853         case R_ALPHA_GPRELLOW:
1854         case R_ALPHA_BRSGP:
1855           need = NEED_GOT;
1856           break;
1857
1858         case R_ALPHA_REFLONG:
1859         case R_ALPHA_REFQUAD:
1860           if (info->shared || maybe_dynamic)
1861             need = NEED_DYNREL;
1862           break;
1863
1864         case R_ALPHA_TLSLDM:
1865           /* The symbol for a TLSLDM reloc is ignored.  Collapse the
1866              reloc to the STN_UNDEF (0) symbol so that they all match.  */
1867           r_symndx = STN_UNDEF;
1868           h = 0;
1869           maybe_dynamic = FALSE;
1870           /* FALLTHRU */
1871
1872         case R_ALPHA_TLSGD:
1873         case R_ALPHA_GOTDTPREL:
1874           need = NEED_GOT | NEED_GOT_ENTRY;
1875           break;
1876
1877         case R_ALPHA_GOTTPREL:
1878           need = NEED_GOT | NEED_GOT_ENTRY;
1879           gotent_flags = ALPHA_ELF_LINK_HASH_TLS_IE;
1880           if (info->shared)
1881             info->flags |= DF_STATIC_TLS;
1882           break;
1883
1884         case R_ALPHA_TPREL64:
1885           if (info->shared || maybe_dynamic)
1886             need = NEED_DYNREL;
1887           if (info->shared)
1888             info->flags |= DF_STATIC_TLS;
1889           break;
1890         }
1891
1892       if (need & NEED_GOT)
1893         {
1894           if (alpha_elf_tdata(abfd)->gotobj == NULL)
1895             {
1896               if (!elf64_alpha_create_got_section (abfd, info))
1897                 return FALSE;
1898             }
1899         }
1900
1901       if (need & NEED_GOT_ENTRY)
1902         {
1903           struct alpha_elf_got_entry *gotent;
1904
1905           gotent = get_got_entry (abfd, h, r_type, r_symndx, addend);
1906           if (!gotent)
1907             return FALSE;
1908
1909           if (gotent_flags)
1910             {
1911               gotent->flags |= gotent_flags;
1912               if (h)
1913                 {
1914                   gotent_flags |= h->flags;
1915                   h->flags = gotent_flags;
1916
1917                   /* Make a guess as to whether a .plt entry is needed.  */
1918                   /* ??? It appears that we won't make it into
1919                      adjust_dynamic_symbol for symbols that remain
1920                      totally undefined.  Copying this check here means
1921                      we can create a plt entry for them too.  */
1922                   h->root.needs_plt
1923                     = (maybe_dynamic && elf64_alpha_want_plt (h));
1924                 }
1925             }
1926         }
1927
1928       if (need & NEED_DYNREL)
1929         {
1930           /* We need to create the section here now whether we eventually
1931              use it or not so that it gets mapped to an output section by
1932              the linker.  If not used, we'll kill it in size_dynamic_sections.  */
1933           if (sreloc == NULL)
1934             {
1935               sreloc = _bfd_elf_make_dynamic_reloc_section
1936                 (sec, dynobj, 3, abfd, /*rela?*/ TRUE);
1937
1938               if (sreloc == NULL)
1939                 return FALSE;
1940             }
1941
1942           if (h)
1943             {
1944               /* Since we havn't seen all of the input symbols yet, we
1945                  don't know whether we'll actually need a dynamic relocation
1946                  entry for this reloc.  So make a record of it.  Once we
1947                  find out if this thing needs dynamic relocation we'll
1948                  expand the relocation sections by the appropriate amount.  */
1949
1950               struct alpha_elf_reloc_entry *rent;
1951
1952               for (rent = h->reloc_entries; rent; rent = rent->next)
1953                 if (rent->rtype == r_type && rent->srel == sreloc)
1954                   break;
1955
1956               if (!rent)
1957                 {
1958                   amt = sizeof (struct alpha_elf_reloc_entry);
1959                   rent = (struct alpha_elf_reloc_entry *) bfd_alloc (abfd, amt);
1960                   if (!rent)
1961                     return FALSE;
1962
1963                   rent->srel = sreloc;
1964                   rent->rtype = r_type;
1965                   rent->count = 1;
1966                   rent->reltext = (sec->flags & SEC_READONLY) != 0;
1967
1968                   rent->next = h->reloc_entries;
1969                   h->reloc_entries = rent;
1970                 }
1971               else
1972                 rent->count++;
1973             }
1974           else if (info->shared)
1975             {
1976               /* If this is a shared library, and the section is to be
1977                  loaded into memory, we need a RELATIVE reloc.  */
1978               sreloc->size += sizeof (Elf64_External_Rela);
1979               if (sec->flags & SEC_READONLY)
1980                 info->flags |= DF_TEXTREL;
1981             }
1982         }
1983     }
1984
1985   return TRUE;
1986 }
1987
1988 /* Return the section that should be marked against GC for a given
1989    relocation.  */
1990
1991 static asection *
1992 elf64_alpha_gc_mark_hook (asection *sec, struct bfd_link_info *info,
1993                           Elf_Internal_Rela *rel,
1994                           struct elf_link_hash_entry *h, Elf_Internal_Sym *sym)
1995 {
1996   /* These relocations don't really reference a symbol.  Instead we store
1997      extra data in their addend slot.  Ignore the symbol.  */
1998   switch (ELF64_R_TYPE (rel->r_info))
1999     {
2000     case R_ALPHA_LITUSE:
2001     case R_ALPHA_GPDISP:
2002     case R_ALPHA_HINT:
2003       return NULL;
2004     }
2005
2006   return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
2007 }
2008
2009 /* Update the got entry reference counts for the section being removed.  */
2010
2011 static bfd_boolean
2012 elf64_alpha_gc_sweep_hook (bfd *abfd, struct bfd_link_info *info,
2013                            asection *sec, const Elf_Internal_Rela *relocs)
2014 {
2015   Elf_Internal_Shdr *symtab_hdr;
2016   struct alpha_elf_link_hash_entry **sym_hashes;
2017   const Elf_Internal_Rela *rel, *relend;
2018
2019   if (info->relocatable)
2020     return TRUE;
2021
2022   symtab_hdr = &elf_symtab_hdr (abfd);
2023   sym_hashes = alpha_elf_sym_hashes (abfd);
2024
2025   relend = relocs + sec->reloc_count;
2026   for (rel = relocs; rel < relend; rel++)
2027     {
2028       unsigned long r_symndx, r_type;
2029       struct alpha_elf_link_hash_entry *h = NULL;
2030       struct alpha_elf_got_entry *gotent;
2031
2032       r_symndx = ELF64_R_SYM (rel->r_info);
2033       if (r_symndx >= symtab_hdr->sh_info)
2034         {
2035           h = sym_hashes[r_symndx - symtab_hdr->sh_info];
2036           while (h->root.root.type == bfd_link_hash_indirect
2037                  || h->root.root.type == bfd_link_hash_warning)
2038             h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
2039         }
2040
2041       r_type = ELF64_R_TYPE (rel->r_info);
2042       switch (r_type)
2043         {
2044         case R_ALPHA_LITERAL:
2045           /* ??? Ignore re-computation of gotent_flags.  We're not
2046              carrying a use-count for each bit in that mask.  */
2047
2048         case R_ALPHA_TLSGD:
2049         case R_ALPHA_GOTDTPREL:
2050         case R_ALPHA_GOTTPREL:
2051           /* Fetch the got entry from the tables.  */
2052           gotent = get_got_entry (abfd, h, r_type, r_symndx, rel->r_addend);
2053
2054           /* The got entry *must* exist, since we should have created it
2055              before during check_relocs.  Also note that get_got_entry
2056              assumed this was going to be another use, and so incremented
2057              the use count again.  Thus the use count must be at least the
2058              one real use and the "use" we just added.  */
2059           if (gotent == NULL || gotent->use_count < 2)
2060             {
2061               abort ();
2062               return FALSE;
2063             }
2064           gotent->use_count -= 2;
2065           break;
2066
2067         default:
2068           break;
2069         }
2070     }
2071
2072   return TRUE;
2073 }
2074
2075 /* Adjust a symbol defined by a dynamic object and referenced by a
2076    regular object.  The current definition is in some section of the
2077    dynamic object, but we're not including those sections.  We have to
2078    change the definition to something the rest of the link can
2079    understand.  */
2080
2081 static bfd_boolean
2082 elf64_alpha_adjust_dynamic_symbol (struct bfd_link_info *info,
2083                                    struct elf_link_hash_entry *h)
2084 {
2085   bfd *dynobj;
2086   asection *s;
2087   struct alpha_elf_link_hash_entry *ah;
2088
2089   dynobj = elf_hash_table(info)->dynobj;
2090   ah = (struct alpha_elf_link_hash_entry *)h;
2091
2092   /* Now that we've seen all of the input symbols, finalize our decision
2093      about whether this symbol should get a .plt entry.  Irritatingly, it
2094      is common for folk to leave undefined symbols in shared libraries,
2095      and they still expect lazy binding; accept undefined symbols in lieu
2096      of STT_FUNC.  */
2097   if (alpha_elf_dynamic_symbol_p (h, info) && elf64_alpha_want_plt (ah))
2098     {
2099       h->needs_plt = TRUE;
2100
2101       s = bfd_get_section_by_name(dynobj, ".plt");
2102       if (!s && !elf64_alpha_create_dynamic_sections (dynobj, info))
2103         return FALSE;
2104
2105       /* We need one plt entry per got subsection.  Delay allocation of
2106          the actual plt entries until size_plt_section, called from
2107          size_dynamic_sections or during relaxation.  */
2108
2109       return TRUE;
2110     }
2111   else
2112     h->needs_plt = FALSE;
2113
2114   /* If this is a weak symbol, and there is a real definition, the
2115      processor independent code will have arranged for us to see the
2116      real definition first, and we can just use the same value.  */
2117   if (h->u.weakdef != NULL)
2118     {
2119       BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
2120                   || h->u.weakdef->root.type == bfd_link_hash_defweak);
2121       h->root.u.def.section = h->u.weakdef->root.u.def.section;
2122       h->root.u.def.value = h->u.weakdef->root.u.def.value;
2123       return TRUE;
2124     }
2125
2126   /* This is a reference to a symbol defined by a dynamic object which
2127      is not a function.  The Alpha, since it uses .got entries for all
2128      symbols even in regular objects, does not need the hackery of a
2129      .dynbss section and COPY dynamic relocations.  */
2130
2131   return TRUE;
2132 }
2133
2134 /* Record STO_ALPHA_NOPV and STO_ALPHA_STD_GPLOAD.  */
2135
2136 static void
2137 elf64_alpha_merge_symbol_attribute (struct elf_link_hash_entry *h,
2138                                     const Elf_Internal_Sym *isym,
2139                                     bfd_boolean definition,
2140                                     bfd_boolean dynamic)
2141 {
2142   if (!dynamic && definition)
2143     h->other = ((h->other & ELF_ST_VISIBILITY (-1))
2144                 | (isym->st_other & ~ELF_ST_VISIBILITY (-1)));
2145 }
2146
2147 /* Symbol versioning can create new symbols, and make our old symbols
2148    indirect to the new ones.  Consolidate the got and reloc information
2149    in these situations.  */
2150
2151 static void
2152 elf64_alpha_copy_indirect_symbol (struct bfd_link_info *info,
2153                                   struct elf_link_hash_entry *dir,
2154                                   struct elf_link_hash_entry *ind)
2155 {
2156   struct alpha_elf_link_hash_entry *hi
2157     = (struct alpha_elf_link_hash_entry *) ind;
2158   struct alpha_elf_link_hash_entry *hs
2159     = (struct alpha_elf_link_hash_entry *) dir;
2160
2161   /* Do the merging in the superclass.  */
2162   _bfd_elf_link_hash_copy_indirect(info, dir, ind);
2163
2164   /* Merge the flags.  Whee.  */
2165   hs->flags |= hi->flags;
2166
2167   /* ??? It's unclear to me what's really supposed to happen when
2168      "merging" defweak and defined symbols, given that we don't
2169      actually throw away the defweak.  This more-or-less copies
2170      the logic related to got and plt entries in the superclass.  */
2171   if (ind->root.type != bfd_link_hash_indirect)
2172     return;
2173
2174   /* Merge the .got entries.  Cannibalize the old symbol's list in
2175      doing so, since we don't need it anymore.  */
2176
2177   if (hs->got_entries == NULL)
2178     hs->got_entries = hi->got_entries;
2179   else
2180     {
2181       struct alpha_elf_got_entry *gi, *gs, *gin, *gsh;
2182
2183       gsh = hs->got_entries;
2184       for (gi = hi->got_entries; gi ; gi = gin)
2185         {
2186           gin = gi->next;
2187           for (gs = gsh; gs ; gs = gs->next)
2188             if (gi->gotobj == gs->gotobj
2189                 && gi->reloc_type == gs->reloc_type
2190                 && gi->addend == gs->addend)
2191               {
2192                 gi->use_count += gs->use_count;
2193                 goto got_found;
2194               }
2195           gi->next = hs->got_entries;
2196           hs->got_entries = gi;
2197         got_found:;
2198         }
2199     }
2200   hi->got_entries = NULL;
2201
2202   /* And similar for the reloc entries.  */
2203
2204   if (hs->reloc_entries == NULL)
2205     hs->reloc_entries = hi->reloc_entries;
2206   else
2207     {
2208       struct alpha_elf_reloc_entry *ri, *rs, *rin, *rsh;
2209
2210       rsh = hs->reloc_entries;
2211       for (ri = hi->reloc_entries; ri ; ri = rin)
2212         {
2213           rin = ri->next;
2214           for (rs = rsh; rs ; rs = rs->next)
2215             if (ri->rtype == rs->rtype && ri->srel == rs->srel)
2216               {
2217                 rs->count += ri->count;
2218                 goto found_reloc;
2219               }
2220           ri->next = hs->reloc_entries;
2221           hs->reloc_entries = ri;
2222         found_reloc:;
2223         }
2224     }
2225   hi->reloc_entries = NULL;
2226 }
2227
2228 /* Is it possible to merge two object file's .got tables?  */
2229
2230 static bfd_boolean
2231 elf64_alpha_can_merge_gots (bfd *a, bfd *b)
2232 {
2233   int total = alpha_elf_tdata (a)->total_got_size;
2234   bfd *bsub;
2235
2236   /* Trivial quick fallout test.  */
2237   if (total + alpha_elf_tdata (b)->total_got_size <= MAX_GOT_SIZE)
2238     return TRUE;
2239
2240   /* By their nature, local .got entries cannot be merged.  */
2241   if ((total += alpha_elf_tdata (b)->local_got_size) > MAX_GOT_SIZE)
2242     return FALSE;
2243
2244   /* Failing the common trivial comparison, we must effectively
2245      perform the merge.  Not actually performing the merge means that
2246      we don't have to store undo information in case we fail.  */
2247   for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
2248     {
2249       struct alpha_elf_link_hash_entry **hashes = alpha_elf_sym_hashes (bsub);
2250       Elf_Internal_Shdr *symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
2251       int i, n;
2252
2253       n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
2254       for (i = 0; i < n; ++i)
2255         {
2256           struct alpha_elf_got_entry *ae, *be;
2257           struct alpha_elf_link_hash_entry *h;
2258
2259           h = hashes[i];
2260           while (h->root.root.type == bfd_link_hash_indirect
2261                  || h->root.root.type == bfd_link_hash_warning)
2262             h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
2263
2264           for (be = h->got_entries; be ; be = be->next)
2265             {
2266               if (be->use_count == 0)
2267                 continue;
2268               if (be->gotobj != b)
2269                 continue;
2270
2271               for (ae = h->got_entries; ae ; ae = ae->next)
2272                 if (ae->gotobj == a
2273                     && ae->reloc_type == be->reloc_type
2274                     && ae->addend == be->addend)
2275                   goto global_found;
2276
2277               total += alpha_got_entry_size (be->reloc_type);
2278               if (total > MAX_GOT_SIZE)
2279                 return FALSE;
2280             global_found:;
2281             }
2282         }
2283     }
2284
2285   return TRUE;
2286 }
2287
2288 /* Actually merge two .got tables.  */
2289
2290 static void
2291 elf64_alpha_merge_gots (bfd *a, bfd *b)
2292 {
2293   int total = alpha_elf_tdata (a)->total_got_size;
2294   bfd *bsub;
2295
2296   /* Remember local expansion.  */
2297   {
2298     int e = alpha_elf_tdata (b)->local_got_size;
2299     total += e;
2300     alpha_elf_tdata (a)->local_got_size += e;
2301   }
2302
2303   for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
2304     {
2305       struct alpha_elf_got_entry **local_got_entries;
2306       struct alpha_elf_link_hash_entry **hashes;
2307       Elf_Internal_Shdr *symtab_hdr;
2308       int i, n;
2309
2310       /* Let the local .got entries know they are part of a new subsegment.  */
2311       local_got_entries = alpha_elf_tdata (bsub)->local_got_entries;
2312       if (local_got_entries)
2313         {
2314           n = elf_tdata (bsub)->symtab_hdr.sh_info;
2315           for (i = 0; i < n; ++i)
2316             {
2317               struct alpha_elf_got_entry *ent;
2318               for (ent = local_got_entries[i]; ent; ent = ent->next)
2319                 ent->gotobj = a;
2320             }
2321         }
2322
2323       /* Merge the global .got entries.  */
2324       hashes = alpha_elf_sym_hashes (bsub);
2325       symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
2326
2327       n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
2328       for (i = 0; i < n; ++i)
2329         {
2330           struct alpha_elf_got_entry *ae, *be, **pbe, **start;
2331           struct alpha_elf_link_hash_entry *h;
2332
2333           h = hashes[i];
2334           while (h->root.root.type == bfd_link_hash_indirect
2335                  || h->root.root.type == bfd_link_hash_warning)
2336             h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
2337
2338           pbe = start = &h->got_entries;
2339           while ((be = *pbe) != NULL)
2340             {
2341               if (be->use_count == 0)
2342                 {
2343                   *pbe = be->next;
2344                   memset (be, 0xa5, sizeof (*be));
2345                   goto kill;
2346                 }
2347               if (be->gotobj != b)
2348                 goto next;
2349
2350               for (ae = *start; ae ; ae = ae->next)
2351                 if (ae->gotobj == a
2352                     && ae->reloc_type == be->reloc_type
2353                     && ae->addend == be->addend)
2354                   {
2355                     ae->flags |= be->flags;
2356                     ae->use_count += be->use_count;
2357                     *pbe = be->next;
2358                     memset (be, 0xa5, sizeof (*be));
2359                     goto kill;
2360                   }
2361               be->gotobj = a;
2362               total += alpha_got_entry_size (be->reloc_type);
2363
2364             next:;
2365               pbe = &be->next;
2366             kill:;
2367             }
2368         }
2369
2370       alpha_elf_tdata (bsub)->gotobj = a;
2371     }
2372   alpha_elf_tdata (a)->total_got_size = total;
2373
2374   /* Merge the two in_got chains.  */
2375   {
2376     bfd *next;
2377
2378     bsub = a;
2379     while ((next = alpha_elf_tdata (bsub)->in_got_link_next) != NULL)
2380       bsub = next;
2381
2382     alpha_elf_tdata (bsub)->in_got_link_next = b;
2383   }
2384 }
2385
2386 /* Calculate the offsets for the got entries.  */
2387
2388 static bfd_boolean
2389 elf64_alpha_calc_got_offsets_for_symbol (struct alpha_elf_link_hash_entry *h,
2390                                          PTR arg ATTRIBUTE_UNUSED)
2391 {
2392   struct alpha_elf_got_entry *gotent;
2393
2394   for (gotent = h->got_entries; gotent; gotent = gotent->next)
2395     if (gotent->use_count > 0)
2396       {
2397         struct alpha_elf_obj_tdata *td;
2398         bfd_size_type *plge;
2399
2400         td = alpha_elf_tdata (gotent->gotobj);
2401         plge = &td->got->size;
2402         gotent->got_offset = *plge;
2403         *plge += alpha_got_entry_size (gotent->reloc_type);
2404       }
2405
2406   return TRUE;
2407 }
2408
2409 static void
2410 elf64_alpha_calc_got_offsets (struct bfd_link_info *info)
2411 {
2412   bfd *i, *got_list;
2413   struct alpha_elf_link_hash_table * htab;
2414
2415   htab = alpha_elf_hash_table (info);
2416   if (htab == NULL)
2417     return;
2418   got_list = htab->got_list;
2419
2420   /* First, zero out the .got sizes, as we may be recalculating the
2421      .got after optimizing it.  */
2422   for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
2423     alpha_elf_tdata(i)->got->size = 0;
2424
2425   /* Next, fill in the offsets for all the global entries.  */
2426   alpha_elf_link_hash_traverse (htab,
2427                                 elf64_alpha_calc_got_offsets_for_symbol,
2428                                 NULL);
2429
2430   /* Finally, fill in the offsets for the local entries.  */
2431   for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
2432     {
2433       bfd_size_type got_offset = alpha_elf_tdata(i)->got->size;
2434       bfd *j;
2435
2436       for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
2437         {
2438           struct alpha_elf_got_entry **local_got_entries, *gotent;
2439           int k, n;
2440
2441           local_got_entries = alpha_elf_tdata(j)->local_got_entries;
2442           if (!local_got_entries)
2443             continue;
2444
2445           for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
2446             for (gotent = local_got_entries[k]; gotent; gotent = gotent->next)
2447               if (gotent->use_count > 0)
2448                 {
2449                   gotent->got_offset = got_offset;
2450                   got_offset += alpha_got_entry_size (gotent->reloc_type);
2451                 }
2452         }
2453
2454       alpha_elf_tdata(i)->got->size = got_offset;
2455     }
2456 }
2457
2458 /* Constructs the gots.  */
2459
2460 static bfd_boolean
2461 elf64_alpha_size_got_sections (struct bfd_link_info *info)
2462 {
2463   bfd *i, *got_list, *cur_got_obj = NULL;
2464   struct alpha_elf_link_hash_table * htab;
2465
2466   htab = alpha_elf_hash_table (info);
2467   if (htab == NULL)
2468     return FALSE;
2469   got_list = htab->got_list;
2470
2471   /* On the first time through, pretend we have an existing got list
2472      consisting of all of the input files.  */
2473   if (got_list == NULL)
2474     {
2475       for (i = info->input_bfds; i ; i = i->link_next)
2476         {
2477           bfd *this_got;
2478
2479           if (! is_alpha_elf (i))
2480             continue;
2481
2482           this_got = alpha_elf_tdata (i)->gotobj;
2483           if (this_got == NULL)
2484             continue;
2485
2486           /* We are assuming no merging has yet occurred.  */
2487           BFD_ASSERT (this_got == i);
2488
2489           if (alpha_elf_tdata (this_got)->total_got_size > MAX_GOT_SIZE)
2490             {
2491               /* Yikes! A single object file has too many entries.  */
2492               (*_bfd_error_handler)
2493                 (_("%B: .got subsegment exceeds 64K (size %d)"),
2494                  i, alpha_elf_tdata (this_got)->total_got_size);
2495               return FALSE;
2496             }
2497
2498           if (got_list == NULL)
2499             got_list = this_got;
2500           else
2501             alpha_elf_tdata(cur_got_obj)->got_link_next = this_got;
2502           cur_got_obj = this_got;
2503         }
2504
2505       /* Strange degenerate case of no got references.  */
2506       if (got_list == NULL)
2507         return TRUE;
2508
2509       htab->got_list = got_list;
2510     }
2511
2512   cur_got_obj = got_list;
2513   if (cur_got_obj == NULL)
2514     return FALSE;
2515
2516   i = alpha_elf_tdata(cur_got_obj)->got_link_next;
2517   while (i != NULL)
2518     {
2519       if (elf64_alpha_can_merge_gots (cur_got_obj, i))
2520         {
2521           elf64_alpha_merge_gots (cur_got_obj, i);
2522
2523           alpha_elf_tdata(i)->got->size = 0;
2524           i = alpha_elf_tdata(i)->got_link_next;
2525           alpha_elf_tdata(cur_got_obj)->got_link_next = i;
2526         }
2527       else
2528         {
2529           cur_got_obj = i;
2530           i = alpha_elf_tdata(i)->got_link_next;
2531         }
2532     }
2533
2534   /* Once the gots have been merged, fill in the got offsets for
2535      everything therein.  */
2536   elf64_alpha_calc_got_offsets (info);
2537
2538   return TRUE;
2539 }
2540
2541 static bfd_boolean
2542 elf64_alpha_size_plt_section_1 (struct alpha_elf_link_hash_entry *h, PTR data)
2543 {
2544   asection *splt = (asection *) data;
2545   struct alpha_elf_got_entry *gotent;
2546   bfd_boolean saw_one = FALSE;
2547
2548   /* If we didn't need an entry before, we still don't.  */
2549   if (!h->root.needs_plt)
2550     return TRUE;
2551
2552   /* For each LITERAL got entry still in use, allocate a plt entry.  */
2553   for (gotent = h->got_entries; gotent ; gotent = gotent->next)
2554     if (gotent->reloc_type == R_ALPHA_LITERAL
2555         && gotent->use_count > 0)
2556       {
2557         if (splt->size == 0)
2558           splt->size = PLT_HEADER_SIZE;
2559         gotent->plt_offset = splt->size;
2560         splt->size += PLT_ENTRY_SIZE;
2561         saw_one = TRUE;
2562       }
2563
2564   /* If there weren't any, there's no longer a need for the PLT entry.  */
2565   if (!saw_one)
2566     h->root.needs_plt = FALSE;
2567
2568   return TRUE;
2569 }
2570
2571 /* Called from relax_section to rebuild the PLT in light of potential changes
2572    in the function's status.  */
2573
2574 static void
2575 elf64_alpha_size_plt_section (struct bfd_link_info *info)
2576 {
2577   asection *splt, *spltrel, *sgotplt;
2578   unsigned long entries;
2579   bfd *dynobj;
2580   struct alpha_elf_link_hash_table * htab;
2581
2582   htab = alpha_elf_hash_table (info);
2583   if (htab == NULL)
2584     return;
2585
2586   dynobj = elf_hash_table(info)->dynobj;
2587   splt = bfd_get_section_by_name (dynobj, ".plt");
2588   if (splt == NULL)
2589     return;
2590
2591   splt->size = 0;
2592
2593   alpha_elf_link_hash_traverse (htab,
2594                                 elf64_alpha_size_plt_section_1, splt);
2595
2596   /* Every plt entry requires a JMP_SLOT relocation.  */
2597   spltrel = bfd_get_section_by_name (dynobj, ".rela.plt");
2598   entries = 0;
2599   if (splt->size)
2600     {
2601       if (elf64_alpha_use_secureplt)
2602         entries = (splt->size - NEW_PLT_HEADER_SIZE) / NEW_PLT_ENTRY_SIZE;
2603       else
2604         entries = (splt->size - OLD_PLT_HEADER_SIZE) / OLD_PLT_ENTRY_SIZE;
2605     }
2606   spltrel->size = entries * sizeof (Elf64_External_Rela);
2607
2608   /* When using the secureplt, we need two words somewhere in the data
2609      segment for the dynamic linker to tell us where to go.  This is the
2610      entire contents of the .got.plt section.  */
2611   if (elf64_alpha_use_secureplt)
2612     {
2613       sgotplt = bfd_get_section_by_name (dynobj, ".got.plt");
2614       sgotplt->size = entries ? 16 : 0;
2615     }
2616 }
2617
2618 static bfd_boolean
2619 elf64_alpha_always_size_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
2620                                   struct bfd_link_info *info)
2621 {
2622   bfd *i;
2623   struct alpha_elf_link_hash_table * htab;
2624
2625   if (info->relocatable)
2626     return TRUE;
2627
2628   htab = alpha_elf_hash_table (info);
2629   if (htab == NULL)
2630     return FALSE;
2631
2632   if (!elf64_alpha_size_got_sections (info))
2633     return FALSE;
2634
2635   /* Allocate space for all of the .got subsections.  */
2636   i = htab->got_list;
2637   for ( ; i ; i = alpha_elf_tdata(i)->got_link_next)
2638     {
2639       asection *s = alpha_elf_tdata(i)->got;
2640       if (s->size > 0)
2641         {
2642           s->contents = (bfd_byte *) bfd_zalloc (i, s->size);
2643           if (s->contents == NULL)
2644             return FALSE;
2645         }
2646     }
2647
2648   return TRUE;
2649 }
2650
2651 /* The number of dynamic relocations required by a static relocation.  */
2652
2653 static int
2654 alpha_dynamic_entries_for_reloc (int r_type, int dynamic, int shared)
2655 {
2656   switch (r_type)
2657     {
2658     /* May appear in GOT entries.  */
2659     case R_ALPHA_TLSGD:
2660       return (dynamic ? 2 : shared ? 1 : 0);
2661     case R_ALPHA_TLSLDM:
2662       return shared;
2663     case R_ALPHA_LITERAL:
2664     case R_ALPHA_GOTTPREL:
2665       return dynamic || shared;
2666     case R_ALPHA_GOTDTPREL:
2667       return dynamic;
2668
2669     /* May appear in data sections.  */
2670     case R_ALPHA_REFLONG:
2671     case R_ALPHA_REFQUAD:
2672     case R_ALPHA_TPREL64:
2673       return dynamic || shared;
2674
2675     /* Everything else is illegal.  We'll issue an error during
2676        relocate_section.  */
2677     default:
2678       return 0;
2679     }
2680 }
2681
2682 /* Work out the sizes of the dynamic relocation entries.  */
2683
2684 static bfd_boolean
2685 elf64_alpha_calc_dynrel_sizes (struct alpha_elf_link_hash_entry *h,
2686                                struct bfd_link_info *info)
2687 {
2688   bfd_boolean dynamic;
2689   struct alpha_elf_reloc_entry *relent;
2690   unsigned long entries;
2691
2692   /* If the symbol was defined as a common symbol in a regular object
2693      file, and there was no definition in any dynamic object, then the
2694      linker will have allocated space for the symbol in a common
2695      section but the ELF_LINK_HASH_DEF_REGULAR flag will not have been
2696      set.  This is done for dynamic symbols in
2697      elf_adjust_dynamic_symbol but this is not done for non-dynamic
2698      symbols, somehow.  */
2699   if (!h->root.def_regular
2700       && h->root.ref_regular
2701       && !h->root.def_dynamic
2702       && (h->root.root.type == bfd_link_hash_defined
2703           || h->root.root.type == bfd_link_hash_defweak)
2704       && !(h->root.root.u.def.section->owner->flags & DYNAMIC))
2705     h->root.def_regular = 1;
2706
2707   /* If the symbol is dynamic, we'll need all the relocations in their
2708      natural form.  If this is a shared object, and it has been forced
2709      local, we'll need the same number of RELATIVE relocations.  */
2710   dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
2711
2712   /* If the symbol is a hidden undefined weak, then we never have any
2713      relocations.  Avoid the loop which may want to add RELATIVE relocs
2714      based on info->shared.  */
2715   if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
2716     return TRUE;
2717
2718   for (relent = h->reloc_entries; relent; relent = relent->next)
2719     {
2720       entries = alpha_dynamic_entries_for_reloc (relent->rtype, dynamic,
2721                                                  info->shared);
2722       if (entries)
2723         {
2724           relent->srel->size +=
2725             entries * sizeof (Elf64_External_Rela) * relent->count;
2726           if (relent->reltext)
2727             info->flags |= DT_TEXTREL;
2728         }
2729     }
2730
2731   return TRUE;
2732 }
2733
2734 /* Subroutine of elf64_alpha_size_rela_got_section for doing the
2735    global symbols.  */
2736
2737 static bfd_boolean
2738 elf64_alpha_size_rela_got_1 (struct alpha_elf_link_hash_entry *h,
2739                              struct bfd_link_info *info)
2740 {
2741   bfd_boolean dynamic;
2742   struct alpha_elf_got_entry *gotent;
2743   unsigned long entries;
2744
2745   /* If we're using a plt for this symbol, then all of its relocations
2746      for its got entries go into .rela.plt.  */
2747   if (h->root.needs_plt)
2748     return TRUE;
2749
2750   /* If the symbol is dynamic, we'll need all the relocations in their
2751      natural form.  If this is a shared object, and it has been forced
2752      local, we'll need the same number of RELATIVE relocations.  */
2753   dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
2754
2755   /* If the symbol is a hidden undefined weak, then we never have any
2756      relocations.  Avoid the loop which may want to add RELATIVE relocs
2757      based on info->shared.  */
2758   if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
2759     return TRUE;
2760
2761   entries = 0;
2762   for (gotent = h->got_entries; gotent ; gotent = gotent->next)
2763     if (gotent->use_count > 0)
2764       entries += alpha_dynamic_entries_for_reloc (gotent->reloc_type,
2765                                                   dynamic, info->shared);
2766
2767   if (entries > 0)
2768     {
2769       bfd *dynobj = elf_hash_table(info)->dynobj;
2770       asection *srel = bfd_get_section_by_name (dynobj, ".rela.got");
2771       BFD_ASSERT (srel != NULL);
2772       srel->size += sizeof (Elf64_External_Rela) * entries;
2773     }
2774
2775   return TRUE;
2776 }
2777
2778 /* Set the sizes of the dynamic relocation sections.  */
2779
2780 static void
2781 elf64_alpha_size_rela_got_section (struct bfd_link_info *info)
2782 {
2783   unsigned long entries;
2784   bfd *i, *dynobj;
2785   asection *srel;
2786   struct alpha_elf_link_hash_table * htab;
2787
2788   htab = alpha_elf_hash_table (info);
2789   if (htab == NULL)
2790     return;
2791
2792   /* Shared libraries often require RELATIVE relocs, and some relocs
2793      require attention for the main application as well.  */
2794
2795   entries = 0;
2796   for (i = htab->got_list;
2797        i ; i = alpha_elf_tdata(i)->got_link_next)
2798     {
2799       bfd *j;
2800
2801       for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
2802         {
2803           struct alpha_elf_got_entry **local_got_entries, *gotent;
2804           int k, n;
2805
2806           local_got_entries = alpha_elf_tdata(j)->local_got_entries;
2807           if (!local_got_entries)
2808             continue;
2809
2810           for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
2811             for (gotent = local_got_entries[k];
2812                  gotent ; gotent = gotent->next)
2813               if (gotent->use_count > 0)
2814                 entries += (alpha_dynamic_entries_for_reloc
2815                             (gotent->reloc_type, 0, info->shared));
2816         }
2817     }
2818
2819   dynobj = elf_hash_table(info)->dynobj;
2820   srel = bfd_get_section_by_name (dynobj, ".rela.got");
2821   if (!srel)
2822     {
2823       BFD_ASSERT (entries == 0);
2824       return;
2825     }
2826   srel->size = sizeof (Elf64_External_Rela) * entries;
2827
2828   /* Now do the non-local symbols.  */
2829   alpha_elf_link_hash_traverse (htab,
2830                                 elf64_alpha_size_rela_got_1, info);
2831 }
2832
2833 /* Set the sizes of the dynamic sections.  */
2834
2835 static bfd_boolean
2836 elf64_alpha_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
2837                                    struct bfd_link_info *info)
2838 {
2839   bfd *dynobj;
2840   asection *s;
2841   bfd_boolean relplt;
2842   struct alpha_elf_link_hash_table * htab;
2843
2844   htab = alpha_elf_hash_table (info);
2845   if (htab == NULL)
2846     return FALSE;
2847
2848   dynobj = elf_hash_table(info)->dynobj;
2849   BFD_ASSERT(dynobj != NULL);
2850
2851   if (elf_hash_table (info)->dynamic_sections_created)
2852     {
2853       /* Set the contents of the .interp section to the interpreter.  */
2854       if (info->executable)
2855         {
2856           s = bfd_get_section_by_name (dynobj, ".interp");
2857           BFD_ASSERT (s != NULL);
2858           s->size = sizeof ELF_DYNAMIC_INTERPRETER;
2859           s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
2860         }
2861
2862       /* Now that we've seen all of the input files, we can decide which
2863          symbols need dynamic relocation entries and which don't.  We've
2864          collected information in check_relocs that we can now apply to
2865          size the dynamic relocation sections.  */
2866       alpha_elf_link_hash_traverse (htab,
2867                                     elf64_alpha_calc_dynrel_sizes, info);
2868
2869       elf64_alpha_size_rela_got_section (info);
2870       elf64_alpha_size_plt_section (info);
2871     }
2872   /* else we're not dynamic and by definition we don't need such things.  */
2873
2874   /* The check_relocs and adjust_dynamic_symbol entry points have
2875      determined the sizes of the various dynamic sections.  Allocate
2876      memory for them.  */
2877   relplt = FALSE;
2878   for (s = dynobj->sections; s != NULL; s = s->next)
2879     {
2880       const char *name;
2881
2882       if (!(s->flags & SEC_LINKER_CREATED))
2883         continue;
2884
2885       /* It's OK to base decisions on the section name, because none
2886          of the dynobj section names depend upon the input files.  */
2887       name = bfd_get_section_name (dynobj, s);
2888
2889       if (CONST_STRNEQ (name, ".rela"))
2890         {
2891           if (s->size != 0)
2892             {
2893               if (strcmp (name, ".rela.plt") == 0)
2894                 relplt = TRUE;
2895
2896               /* We use the reloc_count field as a counter if we need
2897                  to copy relocs into the output file.  */
2898               s->reloc_count = 0;
2899             }
2900         }
2901       else if (! CONST_STRNEQ (name, ".got")
2902                && strcmp (name, ".plt") != 0
2903                && strcmp (name, ".dynbss") != 0)
2904         {
2905           /* It's not one of our dynamic sections, so don't allocate space.  */
2906           continue;
2907         }
2908
2909       if (s->size == 0)
2910         {
2911           /* If we don't need this section, strip it from the output file.
2912              This is to handle .rela.bss and .rela.plt.  We must create it
2913              in create_dynamic_sections, because it must be created before
2914              the linker maps input sections to output sections.  The
2915              linker does that before adjust_dynamic_symbol is called, and
2916              it is that function which decides whether anything needs to
2917              go into these sections.  */
2918           if (!CONST_STRNEQ (name, ".got"))
2919             s->flags |= SEC_EXCLUDE;
2920         }
2921       else if ((s->flags & SEC_HAS_CONTENTS) != 0)
2922         {
2923           /* Allocate memory for the section contents.  */
2924           s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
2925           if (s->contents == NULL)
2926             return FALSE;
2927         }
2928     }
2929
2930   if (elf_hash_table (info)->dynamic_sections_created)
2931     {
2932       /* Add some entries to the .dynamic section.  We fill in the
2933          values later, in elf64_alpha_finish_dynamic_sections, but we
2934          must add the entries now so that we get the correct size for
2935          the .dynamic section.  The DT_DEBUG entry is filled in by the
2936          dynamic linker and used by the debugger.  */
2937 #define add_dynamic_entry(TAG, VAL) \
2938   _bfd_elf_add_dynamic_entry (info, TAG, VAL)
2939
2940       if (info->executable)
2941         {
2942           if (!add_dynamic_entry (DT_DEBUG, 0))
2943             return FALSE;
2944         }
2945
2946       if (relplt)
2947         {
2948           if (!add_dynamic_entry (DT_PLTGOT, 0)
2949               || !add_dynamic_entry (DT_PLTRELSZ, 0)
2950               || !add_dynamic_entry (DT_PLTREL, DT_RELA)
2951               || !add_dynamic_entry (DT_JMPREL, 0))
2952             return FALSE;
2953
2954           if (elf64_alpha_use_secureplt
2955               && !add_dynamic_entry (DT_ALPHA_PLTRO, 1))
2956             return FALSE;
2957         }
2958
2959       if (!add_dynamic_entry (DT_RELA, 0)
2960           || !add_dynamic_entry (DT_RELASZ, 0)
2961           || !add_dynamic_entry (DT_RELAENT, sizeof (Elf64_External_Rela)))
2962         return FALSE;
2963
2964       if (info->flags & DF_TEXTREL)
2965         {
2966           if (!add_dynamic_entry (DT_TEXTREL, 0))
2967             return FALSE;
2968         }
2969     }
2970 #undef add_dynamic_entry
2971
2972   return TRUE;
2973 }
2974 \f
2975 /* These functions do relaxation for Alpha ELF.
2976
2977    Currently I'm only handling what I can do with existing compiler
2978    and assembler support, which means no instructions are removed,
2979    though some may be nopped.  At this time GCC does not emit enough
2980    information to do all of the relaxing that is possible.  It will
2981    take some not small amount of work for that to happen.
2982
2983    There are a couple of interesting papers that I once read on this
2984    subject, that I cannot find references to at the moment, that
2985    related to Alpha in particular.  They are by David Wall, then of
2986    DEC WRL.  */
2987
2988 struct alpha_relax_info
2989 {
2990   bfd *abfd;
2991   asection *sec;
2992   bfd_byte *contents;
2993   Elf_Internal_Shdr *symtab_hdr;
2994   Elf_Internal_Rela *relocs, *relend;
2995   struct bfd_link_info *link_info;
2996   bfd_vma gp;
2997   bfd *gotobj;
2998   asection *tsec;
2999   struct alpha_elf_link_hash_entry *h;
3000   struct alpha_elf_got_entry **first_gotent;
3001   struct alpha_elf_got_entry *gotent;
3002   bfd_boolean changed_contents;
3003   bfd_boolean changed_relocs;
3004   unsigned char other;
3005 };
3006
3007 static Elf_Internal_Rela *
3008 elf64_alpha_find_reloc_at_ofs (Elf_Internal_Rela *rel,
3009                                Elf_Internal_Rela *relend,
3010                                bfd_vma offset, int type)
3011 {
3012   while (rel < relend)
3013     {
3014       if (rel->r_offset == offset
3015           && ELF64_R_TYPE (rel->r_info) == (unsigned int) type)
3016         return rel;
3017       ++rel;
3018     }
3019   return NULL;
3020 }
3021
3022 static bfd_boolean
3023 elf64_alpha_relax_got_load (struct alpha_relax_info *info, bfd_vma symval,
3024                             Elf_Internal_Rela *irel, unsigned long r_type)
3025 {
3026   unsigned int insn;
3027   bfd_signed_vma disp;
3028
3029   /* Get the instruction.  */
3030   insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
3031
3032   if (insn >> 26 != OP_LDQ)
3033     {
3034       reloc_howto_type *howto = elf64_alpha_howto_table + r_type;
3035       ((*_bfd_error_handler)
3036        ("%B: %A+0x%lx: warning: %s relocation against unexpected insn",
3037         info->abfd, info->sec,
3038         (unsigned long) irel->r_offset, howto->name));
3039       return TRUE;
3040     }
3041
3042   /* Can't relax dynamic symbols.  */
3043   if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
3044     return TRUE;
3045
3046   /* Can't use local-exec relocations in shared libraries.  */
3047   if (r_type == R_ALPHA_GOTTPREL && info->link_info->shared)
3048     return TRUE;
3049
3050   if (r_type == R_ALPHA_LITERAL)
3051     {
3052       /* Look for nice constant addresses.  This includes the not-uncommon
3053          special case of 0 for undefweak symbols.  */
3054       if ((info->h && info->h->root.root.type == bfd_link_hash_undefweak)
3055           || (!info->link_info->shared
3056               && (symval >= (bfd_vma)-0x8000 || symval < 0x8000)))
3057         {
3058           disp = 0;
3059           insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
3060           insn |= (symval & 0xffff);
3061           r_type = R_ALPHA_NONE;
3062         }
3063       else
3064         {
3065           disp = symval - info->gp;
3066           insn = (OP_LDA << 26) | (insn & 0x03ff0000);
3067           r_type = R_ALPHA_GPREL16;
3068         }
3069     }
3070   else
3071     {
3072       bfd_vma dtp_base, tp_base;
3073
3074       BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
3075       dtp_base = alpha_get_dtprel_base (info->link_info);
3076       tp_base = alpha_get_tprel_base (info->link_info);
3077       disp = symval - (r_type == R_ALPHA_GOTDTPREL ? dtp_base : tp_base);
3078
3079       insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
3080
3081       switch (r_type)
3082         {
3083         case R_ALPHA_GOTDTPREL:
3084           r_type = R_ALPHA_DTPREL16;
3085           break;
3086         case R_ALPHA_GOTTPREL:
3087           r_type = R_ALPHA_TPREL16;
3088           break;
3089         default:
3090           BFD_ASSERT (0);
3091           return FALSE;
3092         }
3093     }
3094
3095   if (disp < -0x8000 || disp >= 0x8000)
3096     return TRUE;
3097
3098   bfd_put_32 (info->abfd, (bfd_vma) insn, info->contents + irel->r_offset);
3099   info->changed_contents = TRUE;
3100
3101   /* Reduce the use count on this got entry by one, possibly
3102      eliminating it.  */
3103   if (--info->gotent->use_count == 0)
3104     {
3105       int sz = alpha_got_entry_size (r_type);
3106       alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
3107       if (!info->h)
3108         alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
3109     }
3110
3111   /* Smash the existing GOT relocation for its 16-bit immediate pair.  */
3112   irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info), r_type);
3113   info->changed_relocs = TRUE;
3114
3115   /* ??? Search forward through this basic block looking for insns
3116      that use the target register.  Stop after an insn modifying the
3117      register is seen, or after a branch or call.
3118
3119      Any such memory load insn may be substituted by a load directly
3120      off the GP.  This allows the memory load insn to be issued before
3121      the calculated GP register would otherwise be ready.
3122
3123      Any such jsr insn can be replaced by a bsr if it is in range.
3124
3125      This would mean that we'd have to _add_ relocations, the pain of
3126      which gives one pause.  */
3127
3128   return TRUE;
3129 }
3130
3131 static bfd_vma
3132 elf64_alpha_relax_opt_call (struct alpha_relax_info *info, bfd_vma symval)
3133 {
3134   /* If the function has the same gp, and we can identify that the
3135      function does not use its function pointer, we can eliminate the
3136      address load.  */
3137
3138   /* If the symbol is marked NOPV, we are being told the function never
3139      needs its procedure value.  */
3140   if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_NOPV)
3141     return symval;
3142
3143   /* If the symbol is marked STD_GP, we are being told the function does
3144      a normal ldgp in the first two words.  */
3145   else if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_STD_GPLOAD)
3146     ;
3147
3148   /* Otherwise, we may be able to identify a GP load in the first two
3149      words, which we can then skip.  */
3150   else
3151     {
3152       Elf_Internal_Rela *tsec_relocs, *tsec_relend, *tsec_free, *gpdisp;
3153       bfd_vma ofs;
3154
3155       /* Load the relocations from the section that the target symbol is in.  */
3156       if (info->sec == info->tsec)
3157         {
3158           tsec_relocs = info->relocs;
3159           tsec_relend = info->relend;
3160           tsec_free = NULL;
3161         }
3162       else
3163         {
3164           tsec_relocs = (_bfd_elf_link_read_relocs
3165                          (info->abfd, info->tsec, (PTR) NULL,
3166                          (Elf_Internal_Rela *) NULL,
3167                          info->link_info->keep_memory));
3168           if (tsec_relocs == NULL)
3169             return 0;
3170           tsec_relend = tsec_relocs + info->tsec->reloc_count;
3171           tsec_free = (info->link_info->keep_memory ? NULL : tsec_relocs);
3172         }
3173
3174       /* Recover the symbol's offset within the section.  */
3175       ofs = (symval - info->tsec->output_section->vma
3176              - info->tsec->output_offset);
3177
3178       /* Look for a GPDISP reloc.  */
3179       gpdisp = (elf64_alpha_find_reloc_at_ofs
3180                 (tsec_relocs, tsec_relend, ofs, R_ALPHA_GPDISP));
3181
3182       if (!gpdisp || gpdisp->r_addend != 4)
3183         {
3184           if (tsec_free)
3185             free (tsec_free);
3186           return 0;
3187         }
3188       if (tsec_free)
3189         free (tsec_free);
3190     }
3191
3192   /* We've now determined that we can skip an initial gp load.  Verify
3193      that the call and the target use the same gp.   */
3194   if (info->link_info->output_bfd->xvec != info->tsec->owner->xvec
3195       || info->gotobj != alpha_elf_tdata (info->tsec->owner)->gotobj)
3196     return 0;
3197
3198   return symval + 8;
3199 }
3200
3201 static bfd_boolean
3202 elf64_alpha_relax_with_lituse (struct alpha_relax_info *info,
3203                                bfd_vma symval, Elf_Internal_Rela *irel)
3204 {
3205   Elf_Internal_Rela *urel, *irelend = info->relend;
3206   int flags, count, i;
3207   bfd_signed_vma disp;
3208   bfd_boolean fits16;
3209   bfd_boolean fits32;
3210   bfd_boolean lit_reused = FALSE;
3211   bfd_boolean all_optimized = TRUE;
3212   unsigned int lit_insn;
3213
3214   lit_insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
3215   if (lit_insn >> 26 != OP_LDQ)
3216     {
3217       ((*_bfd_error_handler)
3218        ("%B: %A+0x%lx: warning: LITERAL relocation against unexpected insn",
3219         info->abfd, info->sec,
3220         (unsigned long) irel->r_offset));
3221       return TRUE;
3222     }
3223
3224   /* Can't relax dynamic symbols.  */
3225   if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
3226     return TRUE;
3227
3228   /* Summarize how this particular LITERAL is used.  */
3229   for (urel = irel+1, flags = count = 0; urel < irelend; ++urel, ++count)
3230     {
3231       if (ELF64_R_TYPE (urel->r_info) != R_ALPHA_LITUSE)
3232         break;
3233       if (urel->r_addend <= 6)
3234         flags |= 1 << urel->r_addend;
3235     }
3236
3237   /* A little preparation for the loop...  */
3238   disp = symval - info->gp;
3239
3240   for (urel = irel+1, i = 0; i < count; ++i, ++urel)
3241     {
3242       unsigned int insn;
3243       int insn_disp;
3244       bfd_signed_vma xdisp;
3245
3246       insn = bfd_get_32 (info->abfd, info->contents + urel->r_offset);
3247
3248       switch (urel->r_addend)
3249         {
3250         case LITUSE_ALPHA_ADDR:
3251         default:
3252           /* This type is really just a placeholder to note that all
3253              uses cannot be optimized, but to still allow some.  */
3254           all_optimized = FALSE;
3255           break;
3256
3257         case LITUSE_ALPHA_BASE:
3258           /* We can always optimize 16-bit displacements.  */
3259
3260           /* Extract the displacement from the instruction, sign-extending
3261              it if necessary, then test whether it is within 16 or 32 bits
3262              displacement from GP.  */
3263           insn_disp = ((insn & 0xffff) ^ 0x8000) - 0x8000;
3264
3265           xdisp = disp + insn_disp;
3266           fits16 = (xdisp >= - (bfd_signed_vma) 0x8000 && xdisp < 0x8000);
3267           fits32 = (xdisp >= - (bfd_signed_vma) 0x80000000
3268                     && xdisp < 0x7fff8000);
3269
3270           if (fits16)
3271             {
3272               /* Take the op code and dest from this insn, take the base
3273                  register from the literal insn.  Leave the offset alone.  */
3274               insn = (insn & 0xffe0ffff) | (lit_insn & 0x001f0000);
3275               urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
3276                                            R_ALPHA_GPREL16);
3277               urel->r_addend = irel->r_addend;
3278               info->changed_relocs = TRUE;
3279
3280               bfd_put_32 (info->abfd, (bfd_vma) insn,
3281                           info->contents + urel->r_offset);
3282               info->changed_contents = TRUE;
3283             }
3284
3285           /* If all mem+byte, we can optimize 32-bit mem displacements.  */
3286           else if (fits32 && !(flags & ~6))
3287             {
3288               /* FIXME: sanity check that lit insn Ra is mem insn Rb.  */
3289
3290               irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
3291                                            R_ALPHA_GPRELHIGH);
3292               lit_insn = (OP_LDAH << 26) | (lit_insn & 0x03ff0000);
3293               bfd_put_32 (info->abfd, (bfd_vma) lit_insn,
3294                           info->contents + irel->r_offset);
3295               lit_reused = TRUE;
3296               info->changed_contents = TRUE;
3297
3298               urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
3299                                            R_ALPHA_GPRELLOW);
3300               urel->r_addend = irel->r_addend;
3301               info->changed_relocs = TRUE;
3302             }
3303           else
3304             all_optimized = FALSE;
3305           break;
3306
3307         case LITUSE_ALPHA_BYTOFF:
3308           /* We can always optimize byte instructions.  */
3309
3310           /* FIXME: sanity check the insn for byte op.  Check that the
3311              literal dest reg is indeed Rb in the byte insn.  */
3312
3313           insn &= ~ (unsigned) 0x001ff000;
3314           insn |= ((symval & 7) << 13) | 0x1000;
3315
3316           urel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3317           urel->r_addend = 0;
3318           info->changed_relocs = TRUE;
3319
3320           bfd_put_32 (info->abfd, (bfd_vma) insn,
3321                       info->contents + urel->r_offset);
3322           info->changed_contents = TRUE;
3323           break;
3324
3325         case LITUSE_ALPHA_JSR:
3326         case LITUSE_ALPHA_TLSGD:
3327         case LITUSE_ALPHA_TLSLDM:
3328         case LITUSE_ALPHA_JSRDIRECT:
3329           {
3330             bfd_vma optdest, org;
3331             bfd_signed_vma odisp;
3332
3333             /* For undefined weak symbols, we're mostly interested in getting
3334                rid of the got entry whenever possible, so optimize this to a
3335                use of the zero register.  */
3336             if (info->h && info->h->root.root.type == bfd_link_hash_undefweak)
3337               {
3338                 insn |= 31 << 16;
3339                 bfd_put_32 (info->abfd, (bfd_vma) insn,
3340                             info->contents + urel->r_offset);
3341
3342                 info->changed_contents = TRUE;
3343                 break;
3344               }
3345
3346             /* If not zero, place to jump without needing pv.  */
3347             optdest = elf64_alpha_relax_opt_call (info, symval);
3348             org = (info->sec->output_section->vma
3349                    + info->sec->output_offset
3350                    + urel->r_offset + 4);
3351             odisp = (optdest ? optdest : symval) - org;
3352
3353             if (odisp >= -0x400000 && odisp < 0x400000)
3354               {
3355                 Elf_Internal_Rela *xrel;
3356
3357                 /* Preserve branch prediction call stack when possible.  */
3358                 if ((insn & INSN_JSR_MASK) == INSN_JSR)
3359                   insn = (OP_BSR << 26) | (insn & 0x03e00000);
3360                 else
3361                   insn = (OP_BR << 26) | (insn & 0x03e00000);
3362
3363                 urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
3364                                              R_ALPHA_BRADDR);
3365                 urel->r_addend = irel->r_addend;
3366
3367                 if (optdest)
3368                   urel->r_addend += optdest - symval;
3369                 else
3370                   all_optimized = FALSE;
3371
3372                 bfd_put_32 (info->abfd, (bfd_vma) insn,
3373                             info->contents + urel->r_offset);
3374
3375                 /* Kill any HINT reloc that might exist for this insn.  */
3376                 xrel = (elf64_alpha_find_reloc_at_ofs
3377                         (info->relocs, info->relend, urel->r_offset,
3378                          R_ALPHA_HINT));
3379                 if (xrel)
3380                   xrel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3381
3382                 info->changed_contents = TRUE;
3383                 info->changed_relocs = TRUE;
3384               }
3385             else
3386               all_optimized = FALSE;
3387
3388             /* Even if the target is not in range for a direct branch,
3389                if we share a GP, we can eliminate the gp reload.  */
3390             if (optdest)
3391               {
3392                 Elf_Internal_Rela *gpdisp
3393                   = (elf64_alpha_find_reloc_at_ofs
3394                      (info->relocs, irelend, urel->r_offset + 4,
3395                       R_ALPHA_GPDISP));
3396                 if (gpdisp)
3397                   {
3398                     bfd_byte *p_ldah = info->contents + gpdisp->r_offset;
3399                     bfd_byte *p_lda = p_ldah + gpdisp->r_addend;
3400                     unsigned int ldah = bfd_get_32 (info->abfd, p_ldah);
3401                     unsigned int lda = bfd_get_32 (info->abfd, p_lda);
3402
3403                     /* Verify that the instruction is "ldah $29,0($26)".
3404                        Consider a function that ends in a noreturn call,
3405                        and that the next function begins with an ldgp,
3406                        and that by accident there is no padding between.
3407                        In that case the insn would use $27 as the base.  */
3408                     if (ldah == 0x27ba0000 && lda == 0x23bd0000)
3409                       {
3410                         bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_ldah);
3411                         bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_lda);
3412
3413                         gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3414                         info->changed_contents = TRUE;
3415                         info->changed_relocs = TRUE;
3416                       }
3417                   }
3418               }
3419           }
3420           break;
3421         }
3422     }
3423
3424   /* If all cases were optimized, we can reduce the use count on this
3425      got entry by one, possibly eliminating it.  */
3426   if (all_optimized)
3427     {
3428       if (--info->gotent->use_count == 0)
3429         {
3430           int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
3431           alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
3432           if (!info->h)
3433             alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
3434         }
3435
3436       /* If the literal instruction is no longer needed (it may have been
3437          reused.  We can eliminate it.  */
3438       /* ??? For now, I don't want to deal with compacting the section,
3439          so just nop it out.  */
3440       if (!lit_reused)
3441         {
3442           irel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3443           info->changed_relocs = TRUE;
3444
3445           bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP,
3446                       info->contents + irel->r_offset);
3447           info->changed_contents = TRUE;
3448         }
3449
3450       return TRUE;
3451     }
3452   else
3453     return elf64_alpha_relax_got_load (info, symval, irel, R_ALPHA_LITERAL);
3454 }
3455
3456 static bfd_boolean
3457 elf64_alpha_relax_tls_get_addr (struct alpha_relax_info *info, bfd_vma symval,
3458                                 Elf_Internal_Rela *irel, bfd_boolean is_gd)
3459 {
3460   bfd_byte *pos[5];
3461   unsigned int insn, tlsgd_reg;
3462   Elf_Internal_Rela *gpdisp, *hint;
3463   bfd_boolean dynamic, use_gottprel;
3464   unsigned long new_symndx;
3465
3466   dynamic = alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info);
3467
3468   /* If a TLS symbol is accessed using IE at least once, there is no point
3469      to use dynamic model for it.  */
3470   if (is_gd && info->h && (info->h->flags & ALPHA_ELF_LINK_HASH_TLS_IE))
3471     ;
3472
3473   /* If the symbol is local, and we've already committed to DF_STATIC_TLS,
3474      then we might as well relax to IE.  */
3475   else if (info->link_info->shared && !dynamic
3476            && (info->link_info->flags & DF_STATIC_TLS))
3477     ;
3478
3479   /* Otherwise we must be building an executable to do anything.  */
3480   else if (info->link_info->shared)
3481     return TRUE;
3482
3483   /* The TLSGD/TLSLDM relocation must be followed by a LITERAL and
3484      the matching LITUSE_TLS relocations.  */
3485   if (irel + 2 >= info->relend)
3486     return TRUE;
3487   if (ELF64_R_TYPE (irel[1].r_info) != R_ALPHA_LITERAL
3488       || ELF64_R_TYPE (irel[2].r_info) != R_ALPHA_LITUSE
3489       || irel[2].r_addend != (is_gd ? LITUSE_ALPHA_TLSGD : LITUSE_ALPHA_TLSLDM))
3490     return TRUE;
3491
3492   /* There must be a GPDISP relocation positioned immediately after the
3493      LITUSE relocation.  */
3494   gpdisp = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
3495                                           irel[2].r_offset + 4, R_ALPHA_GPDISP);
3496   if (!gpdisp)
3497     return TRUE;
3498
3499   pos[0] = info->contents + irel[0].r_offset;
3500   pos[1] = info->contents + irel[1].r_offset;
3501   pos[2] = info->contents + irel[2].r_offset;
3502   pos[3] = info->contents + gpdisp->r_offset;
3503   pos[4] = pos[3] + gpdisp->r_addend;
3504
3505   /* Generally, the positions are not allowed to be out of order, lest the
3506      modified insn sequence have different register lifetimes.  We can make
3507      an exception when pos 1 is adjacent to pos 0.  */
3508   if (pos[1] + 4 == pos[0])
3509     {
3510       bfd_byte *tmp = pos[0];
3511       pos[0] = pos[1];
3512       pos[1] = tmp;
3513     }
3514   if (pos[1] >= pos[2] || pos[2] >= pos[3])
3515     return TRUE;
3516
3517   /* Reduce the use count on the LITERAL relocation.  Do this before we
3518      smash the symndx when we adjust the relocations below.  */
3519   {
3520     struct alpha_elf_got_entry *lit_gotent;
3521     struct alpha_elf_link_hash_entry *lit_h;
3522     unsigned long indx;
3523
3524     BFD_ASSERT (ELF64_R_SYM (irel[1].r_info) >= info->symtab_hdr->sh_info);
3525     indx = ELF64_R_SYM (irel[1].r_info) - info->symtab_hdr->sh_info;
3526     lit_h = alpha_elf_sym_hashes (info->abfd)[indx];
3527
3528     while (lit_h->root.root.type == bfd_link_hash_indirect
3529            || lit_h->root.root.type == bfd_link_hash_warning)
3530       lit_h = (struct alpha_elf_link_hash_entry *) lit_h->root.root.u.i.link;
3531
3532     for (lit_gotent = lit_h->got_entries; lit_gotent ;
3533          lit_gotent = lit_gotent->next)
3534       if (lit_gotent->gotobj == info->gotobj
3535           && lit_gotent->reloc_type == R_ALPHA_LITERAL
3536           && lit_gotent->addend == irel[1].r_addend)
3537         break;
3538     BFD_ASSERT (lit_gotent);
3539
3540     if (--lit_gotent->use_count == 0)
3541       {
3542         int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
3543         alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
3544       }
3545   }
3546
3547   /* Change
3548
3549         lda     $16,x($gp)                      !tlsgd!1
3550         ldq     $27,__tls_get_addr($gp)         !literal!1
3551         jsr     $26,($27),__tls_get_addr        !lituse_tlsgd!1
3552         ldah    $29,0($26)                      !gpdisp!2
3553         lda     $29,0($29)                      !gpdisp!2
3554      to
3555         ldq     $16,x($gp)                      !gottprel
3556         unop
3557         call_pal rduniq
3558         addq    $16,$0,$0
3559         unop
3560      or the first pair to
3561         lda     $16,x($gp)                      !tprel
3562         unop
3563      or
3564         ldah    $16,x($gp)                      !tprelhi
3565         lda     $16,x($16)                      !tprello
3566
3567      as appropriate.  */
3568
3569   use_gottprel = FALSE;
3570   new_symndx = is_gd ? ELF64_R_SYM (irel->r_info) : STN_UNDEF;
3571
3572   /* Beware of the compiler hoisting part of the sequence out a loop
3573      and adjusting the destination register for the TLSGD insn.  If this
3574      happens, there will be a move into $16 before the JSR insn, so only
3575      transformations of the first insn pair should use this register.  */
3576   tlsgd_reg = bfd_get_32 (info->abfd, pos[0]);
3577   tlsgd_reg = (tlsgd_reg >> 21) & 31;
3578
3579   switch (!dynamic && !info->link_info->shared)
3580     {
3581     case 1:
3582       {
3583         bfd_vma tp_base;
3584         bfd_signed_vma disp;
3585
3586         BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
3587         tp_base = alpha_get_tprel_base (info->link_info);
3588         disp = symval - tp_base;
3589
3590         if (disp >= -0x8000 && disp < 0x8000)
3591           {
3592             insn = (OP_LDA << 26) | (tlsgd_reg << 21) | (31 << 16);
3593             bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
3594             bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
3595
3596             irel[0].r_offset = pos[0] - info->contents;
3597             irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPREL16);
3598             irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3599             break;
3600           }
3601         else if (disp >= -(bfd_signed_vma) 0x80000000
3602                  && disp < (bfd_signed_vma) 0x7fff8000
3603                  && pos[0] + 4 == pos[1])
3604           {
3605             insn = (OP_LDAH << 26) | (tlsgd_reg << 21) | (31 << 16);
3606             bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
3607             insn = (OP_LDA << 26) | (tlsgd_reg << 21) | (tlsgd_reg << 16);
3608             bfd_put_32 (info->abfd, (bfd_vma) insn, pos[1]);
3609
3610             irel[0].r_offset = pos[0] - info->contents;
3611             irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELHI);
3612             irel[1].r_offset = pos[1] - info->contents;
3613             irel[1].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELLO);
3614             break;
3615           }
3616       }
3617       /* FALLTHRU */
3618
3619     default:
3620       use_gottprel = TRUE;
3621
3622       insn = (OP_LDQ << 26) | (tlsgd_reg << 21) | (29 << 16);
3623       bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
3624       bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
3625
3626       irel[0].r_offset = pos[0] - info->contents;
3627       irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_GOTTPREL);
3628       irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3629       break;
3630     }
3631
3632   bfd_put_32 (info->abfd, (bfd_vma) INSN_RDUNIQ, pos[2]);
3633
3634   insn = INSN_ADDQ | (16 << 21) | (0 << 16) | (0 << 0);
3635   bfd_put_32 (info->abfd, (bfd_vma) insn, pos[3]);
3636
3637   bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[4]);
3638
3639   irel[2].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3640   gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3641
3642   hint = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
3643                                         irel[2].r_offset, R_ALPHA_HINT);
3644   if (hint)
3645     hint->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
3646
3647   info->changed_contents = TRUE;
3648   info->changed_relocs = TRUE;
3649
3650   /* Reduce the use count on the TLSGD/TLSLDM relocation.  */
3651   if (--info->gotent->use_count == 0)
3652     {
3653       int sz = alpha_got_entry_size (info->gotent->reloc_type);
3654       alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
3655       if (!info->h)
3656         alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
3657     }
3658
3659   /* If we've switched to a GOTTPREL relocation, increment the reference
3660      count on that got entry.  */
3661   if (use_gottprel)
3662     {
3663       struct alpha_elf_got_entry *tprel_gotent;
3664
3665       for (tprel_gotent = *info->first_gotent; tprel_gotent ;
3666            tprel_gotent = tprel_gotent->next)
3667         if (tprel_gotent->gotobj == info->gotobj
3668             && tprel_gotent->reloc_type == R_ALPHA_GOTTPREL
3669             && tprel_gotent->addend == irel->r_addend)
3670           break;
3671       if (tprel_gotent)
3672         tprel_gotent->use_count++;
3673       else
3674         {
3675           if (info->gotent->use_count == 0)
3676             tprel_gotent = info->gotent;
3677           else
3678             {
3679               tprel_gotent = (struct alpha_elf_got_entry *)
3680                 bfd_alloc (info->abfd, sizeof (struct alpha_elf_got_entry));
3681               if (!tprel_gotent)
3682                 return FALSE;
3683
3684               tprel_gotent->next = *info->first_gotent;
3685               *info->first_gotent = tprel_gotent;
3686
3687               tprel_gotent->gotobj = info->gotobj;
3688               tprel_gotent->addend = irel->r_addend;
3689               tprel_gotent->got_offset = -1;
3690               tprel_gotent->reloc_done = 0;
3691               tprel_gotent->reloc_xlated = 0;
3692             }
3693
3694           tprel_gotent->use_count = 1;
3695           tprel_gotent->reloc_type = R_ALPHA_GOTTPREL;
3696         }
3697     }
3698
3699   return TRUE;
3700 }
3701
3702 static bfd_boolean
3703 elf64_alpha_relax_section (bfd *abfd, asection *sec,
3704                            struct bfd_link_info *link_info, bfd_boolean *again)
3705 {
3706   Elf_Internal_Shdr *symtab_hdr;
3707   Elf_Internal_Rela *internal_relocs;
3708   Elf_Internal_Rela *irel, *irelend;
3709   Elf_Internal_Sym *isymbuf = NULL;
3710   struct alpha_elf_got_entry **local_got_entries;
3711   struct alpha_relax_info info;
3712   struct alpha_elf_link_hash_table * htab;
3713
3714   htab = alpha_elf_hash_table (link_info);
3715   if (htab == NULL)
3716     return FALSE;
3717
3718   /* There's nothing to change, yet.  */
3719   *again = FALSE;
3720
3721   if (link_info->relocatable
3722       || ((sec->flags & (SEC_CODE | SEC_RELOC | SEC_ALLOC))
3723           != (SEC_CODE | SEC_RELOC | SEC_ALLOC))
3724       || sec->reloc_count == 0)
3725     return TRUE;
3726
3727   BFD_ASSERT (is_alpha_elf (abfd));
3728
3729   /* Make sure our GOT and PLT tables are up-to-date.  */
3730   if (htab->relax_trip != link_info->relax_trip)
3731     {
3732       htab->relax_trip = link_info->relax_trip;
3733
3734       /* This should never fail after the initial round, since the only
3735          error is GOT overflow, and relaxation only shrinks the table.  */
3736       if (!elf64_alpha_size_got_sections (link_info))
3737         abort ();
3738       if (elf_hash_table (link_info)->dynamic_sections_created)
3739         {
3740           elf64_alpha_size_plt_section (link_info);
3741           elf64_alpha_size_rela_got_section (link_info);
3742         }
3743     }
3744
3745   symtab_hdr = &elf_symtab_hdr (abfd);
3746   local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
3747
3748   /* Load the relocations for this section.  */
3749   internal_relocs = (_bfd_elf_link_read_relocs
3750                      (abfd, sec, (PTR) NULL, (Elf_Internal_Rela *) NULL,
3751                       link_info->keep_memory));
3752   if (internal_relocs == NULL)
3753     return FALSE;
3754
3755   memset(&info, 0, sizeof (info));
3756   info.abfd = abfd;
3757   info.sec = sec;
3758   info.link_info = link_info;
3759   info.symtab_hdr = symtab_hdr;
3760   info.relocs = internal_relocs;
3761   info.relend = irelend = internal_relocs + sec->reloc_count;
3762
3763   /* Find the GP for this object.  Do not store the result back via
3764      _bfd_set_gp_value, since this could change again before final.  */
3765   info.gotobj = alpha_elf_tdata (abfd)->gotobj;
3766   if (info.gotobj)
3767     {
3768       asection *sgot = alpha_elf_tdata (info.gotobj)->got;
3769       info.gp = (sgot->output_section->vma
3770                  + sgot->output_offset
3771                  + 0x8000);
3772     }
3773
3774   /* Get the section contents.  */
3775   if (elf_section_data (sec)->this_hdr.contents != NULL)
3776     info.contents = elf_section_data (sec)->this_hdr.contents;
3777   else
3778     {
3779       if (!bfd_malloc_and_get_section (abfd, sec, &info.contents))
3780         goto error_return;
3781     }
3782
3783   for (irel = internal_relocs; irel < irelend; irel++)
3784     {
3785       bfd_vma symval;
3786       struct alpha_elf_got_entry *gotent;
3787       unsigned long r_type = ELF64_R_TYPE (irel->r_info);
3788       unsigned long r_symndx = ELF64_R_SYM (irel->r_info);
3789
3790       /* Early exit for unhandled or unrelaxable relocations.  */
3791       switch (r_type)
3792         {
3793         case R_ALPHA_LITERAL:
3794         case R_ALPHA_GPRELHIGH:
3795         case R_ALPHA_GPRELLOW:
3796         case R_ALPHA_GOTDTPREL:
3797         case R_ALPHA_GOTTPREL:
3798         case R_ALPHA_TLSGD:
3799           break;
3800
3801         case R_ALPHA_TLSLDM:
3802           /* The symbol for a TLSLDM reloc is ignored.  Collapse the
3803              reloc to the STN_UNDEF (0) symbol so that they all match.  */
3804           r_symndx = STN_UNDEF;
3805           break;
3806
3807         default:
3808           continue;
3809         }
3810
3811       /* Get the value of the symbol referred to by the reloc.  */
3812       if (r_symndx < symtab_hdr->sh_info)
3813         {
3814           /* A local symbol.  */
3815           Elf_Internal_Sym *isym;
3816
3817           /* Read this BFD's local symbols.  */
3818           if (isymbuf == NULL)
3819             {
3820               isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
3821               if (isymbuf == NULL)
3822                 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
3823                                                 symtab_hdr->sh_info, 0,
3824                                                 NULL, NULL, NULL);
3825               if (isymbuf == NULL)
3826                 goto error_return;
3827             }
3828
3829           isym = isymbuf + r_symndx;
3830
3831           /* Given the symbol for a TLSLDM reloc is ignored, this also
3832              means forcing the symbol value to the tp base.  */
3833           if (r_type == R_ALPHA_TLSLDM)
3834             {
3835               info.tsec = bfd_abs_section_ptr;
3836               symval = alpha_get_tprel_base (info.link_info);
3837             }
3838           else
3839             {
3840               symval = isym->st_value;
3841               if (isym->st_shndx == SHN_UNDEF)
3842                 continue;
3843               else if (isym->st_shndx == SHN_ABS)
3844                 info.tsec = bfd_abs_section_ptr;
3845               else if (isym->st_shndx == SHN_COMMON)
3846                 info.tsec = bfd_com_section_ptr;
3847               else
3848                 info.tsec = bfd_section_from_elf_index (abfd, isym->st_shndx);
3849             }
3850
3851           info.h = NULL;
3852           info.other = isym->st_other;
3853           if (local_got_entries)
3854             info.first_gotent = &local_got_entries[r_symndx];
3855           else
3856             {
3857               info.first_gotent = &info.gotent;
3858               info.gotent = NULL;
3859             }
3860         }
3861       else
3862         {
3863           unsigned long indx;
3864           struct alpha_elf_link_hash_entry *h;
3865
3866           indx = r_symndx - symtab_hdr->sh_info;
3867           h = alpha_elf_sym_hashes (abfd)[indx];
3868           BFD_ASSERT (h != NULL);
3869
3870           while (h->root.root.type == bfd_link_hash_indirect
3871                  || h->root.root.type == bfd_link_hash_warning)
3872             h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
3873
3874           /* If the symbol is undefined, we can't do anything with it.  */
3875           if (h->root.root.type == bfd_link_hash_undefined)
3876             continue;
3877
3878           /* If the symbol isn't defined in the current module,
3879              again we can't do anything.  */
3880           if (h->root.root.type == bfd_link_hash_undefweak)
3881             {
3882               info.tsec = bfd_abs_section_ptr;
3883               symval = 0;
3884             }
3885           else if (!h->root.def_regular)
3886             {
3887               /* Except for TLSGD relocs, which can sometimes be
3888                  relaxed to GOTTPREL relocs.  */
3889               if (r_type != R_ALPHA_TLSGD)
3890                 continue;
3891               info.tsec = bfd_abs_section_ptr;
3892               symval = 0;
3893             }
3894           else
3895             {
3896               info.tsec = h->root.root.u.def.section;
3897               symval = h->root.root.u.def.value;
3898             }
3899
3900           info.h = h;
3901           info.other = h->root.other;
3902           info.first_gotent = &h->got_entries;
3903         }
3904
3905       /* Search for the got entry to be used by this relocation.  */
3906       for (gotent = *info.first_gotent; gotent ; gotent = gotent->next)
3907         if (gotent->gotobj == info.gotobj
3908             && gotent->reloc_type == r_type
3909             && gotent->addend == irel->r_addend)
3910           break;
3911       info.gotent = gotent;
3912
3913       symval += info.tsec->output_section->vma + info.tsec->output_offset;
3914       symval += irel->r_addend;
3915
3916       switch (r_type)
3917         {
3918         case R_ALPHA_LITERAL:
3919           BFD_ASSERT(info.gotent != NULL);
3920
3921           /* If there exist LITUSE relocations immediately following, this
3922              opens up all sorts of interesting optimizations, because we
3923              now know every location that this address load is used.  */
3924           if (irel+1 < irelend
3925               && ELF64_R_TYPE (irel[1].r_info) == R_ALPHA_LITUSE)
3926             {
3927               if (!elf64_alpha_relax_with_lituse (&info, symval, irel))
3928                 goto error_return;
3929             }
3930           else
3931             {
3932               if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
3933                 goto error_return;
3934             }
3935           break;
3936
3937         case R_ALPHA_GOTDTPREL:
3938         case R_ALPHA_GOTTPREL:
3939           BFD_ASSERT(info.gotent != NULL);
3940           if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
3941             goto error_return;
3942           break;
3943
3944         case R_ALPHA_TLSGD:
3945         case R_ALPHA_TLSLDM:
3946           BFD_ASSERT(info.gotent != NULL);
3947           if (!elf64_alpha_relax_tls_get_addr (&info, symval, irel,
3948                                                r_type == R_ALPHA_TLSGD))
3949             goto error_return;
3950           break;
3951         }
3952     }
3953
3954   if (isymbuf != NULL
3955       && symtab_hdr->contents != (unsigned char *) isymbuf)
3956     {
3957       if (!link_info->keep_memory)
3958         free (isymbuf);
3959       else
3960         {
3961           /* Cache the symbols for elf_link_input_bfd.  */
3962           symtab_hdr->contents = (unsigned char *) isymbuf;
3963         }
3964     }
3965
3966   if (info.contents != NULL
3967       && elf_section_data (sec)->this_hdr.contents != info.contents)
3968     {
3969       if (!info.changed_contents && !link_info->keep_memory)
3970         free (info.contents);
3971       else
3972         {
3973           /* Cache the section contents for elf_link_input_bfd.  */
3974           elf_section_data (sec)->this_hdr.contents = info.contents;
3975         }
3976     }
3977
3978   if (elf_section_data (sec)->relocs != internal_relocs)
3979     {
3980       if (!info.changed_relocs)
3981         free (internal_relocs);
3982       else
3983         elf_section_data (sec)->relocs = internal_relocs;
3984     }
3985
3986   *again = info.changed_contents || info.changed_relocs;
3987
3988   return TRUE;
3989
3990  error_return:
3991   if (isymbuf != NULL
3992       && symtab_hdr->contents != (unsigned char *) isymbuf)
3993     free (isymbuf);
3994   if (info.contents != NULL
3995       && elf_section_data (sec)->this_hdr.contents != info.contents)
3996     free (info.contents);
3997   if (internal_relocs != NULL
3998       && elf_section_data (sec)->relocs != internal_relocs)
3999     free (internal_relocs);
4000   return FALSE;
4001 }
4002 \f
4003 /* Emit a dynamic relocation for (DYNINDX, RTYPE, ADDEND) at (SEC, OFFSET)
4004    into the next available slot in SREL.  */
4005
4006 static void
4007 elf64_alpha_emit_dynrel (bfd *abfd, struct bfd_link_info *info,
4008                          asection *sec, asection *srel, bfd_vma offset,
4009                          long dynindx, long rtype, bfd_vma addend)
4010 {
4011   Elf_Internal_Rela outrel;
4012   bfd_byte *loc;
4013
4014   BFD_ASSERT (srel != NULL);
4015
4016   outrel.r_info = ELF64_R_INFO (dynindx, rtype);
4017   outrel.r_addend = addend;
4018
4019   offset = _bfd_elf_section_offset (abfd, info, sec, offset);
4020   if ((offset | 1) != (bfd_vma) -1)
4021     outrel.r_offset = sec->output_section->vma + sec->output_offset + offset;
4022   else
4023     memset (&outrel, 0, sizeof (outrel));
4024
4025   loc = srel->contents;
4026   loc += srel->reloc_count++ * sizeof (Elf64_External_Rela);
4027   bfd_elf64_swap_reloca_out (abfd, &outrel, loc);
4028   BFD_ASSERT (sizeof (Elf64_External_Rela) * srel->reloc_count <= srel->size);
4029 }
4030
4031 /* Relocate an Alpha ELF section for a relocatable link.
4032
4033    We don't have to change anything unless the reloc is against a section
4034    symbol, in which case we have to adjust according to where the section
4035    symbol winds up in the output section.  */
4036
4037 static bfd_boolean
4038 elf64_alpha_relocate_section_r (bfd *output_bfd ATTRIBUTE_UNUSED,
4039                                 struct bfd_link_info *info ATTRIBUTE_UNUSED,
4040                                 bfd *input_bfd, asection *input_section,
4041                                 bfd_byte *contents ATTRIBUTE_UNUSED,
4042                                 Elf_Internal_Rela *relocs,
4043                                 Elf_Internal_Sym *local_syms,
4044                                 asection **local_sections)
4045 {
4046   unsigned long symtab_hdr_sh_info;
4047   Elf_Internal_Rela *rel;
4048   Elf_Internal_Rela *relend;
4049   struct elf_link_hash_entry **sym_hashes;
4050   bfd_boolean ret_val = TRUE;
4051
4052   symtab_hdr_sh_info = elf_symtab_hdr (input_bfd).sh_info;
4053   sym_hashes = elf_sym_hashes (input_bfd);
4054
4055   relend = relocs + input_section->reloc_count;
4056   for (rel = relocs; rel < relend; rel++)
4057     {
4058       unsigned long r_symndx;
4059       Elf_Internal_Sym *sym;
4060       asection *sec;
4061       unsigned long r_type;
4062
4063       r_type = ELF64_R_TYPE (rel->r_info);
4064       if (r_type >= R_ALPHA_max)
4065         {
4066           (*_bfd_error_handler)
4067             (_("%B: unknown relocation type %d"),
4068              input_bfd, (int) r_type);
4069           bfd_set_error (bfd_error_bad_value);
4070           ret_val = FALSE;
4071           continue;
4072         }
4073
4074       /* The symbol associated with GPDISP and LITUSE is
4075          immaterial.  Only the addend is significant.  */
4076       if (r_type == R_ALPHA_GPDISP || r_type == R_ALPHA_LITUSE)
4077         continue;
4078
4079       r_symndx = ELF64_R_SYM (rel->r_info);
4080       if (r_symndx < symtab_hdr_sh_info)
4081         {
4082           sym = local_syms + r_symndx;
4083           sec = local_sections[r_symndx];
4084         }
4085       else
4086         {
4087           struct elf_link_hash_entry *h;
4088
4089           h = sym_hashes[r_symndx - symtab_hdr_sh_info];
4090
4091           while (h->root.type == bfd_link_hash_indirect
4092                  || h->root.type == bfd_link_hash_warning)
4093             h = (struct elf_link_hash_entry *) h->root.u.i.link;
4094
4095           if (h->root.type != bfd_link_hash_defined
4096               && h->root.type != bfd_link_hash_defweak)
4097             continue;
4098
4099           sym = NULL;
4100           sec = h->root.u.def.section;
4101         }
4102
4103       if (sec != NULL && elf_discarded_section (sec))
4104         RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
4105                                          rel, relend,
4106                                          elf64_alpha_howto_table + r_type,
4107                                          contents);
4108
4109       if (sym != NULL && ELF_ST_TYPE (sym->st_info) == STT_SECTION)
4110         rel->r_addend += sec->output_offset;
4111     }
4112
4113   return ret_val;
4114 }
4115
4116 /* Relocate an Alpha ELF section.  */
4117
4118 static bfd_boolean
4119 elf64_alpha_relocate_section (bfd *output_bfd, struct bfd_link_info *info,
4120                               bfd *input_bfd, asection *input_section,
4121                               bfd_byte *contents, Elf_Internal_Rela *relocs,
4122                               Elf_Internal_Sym *local_syms,
4123                               asection **local_sections)
4124 {
4125   Elf_Internal_Shdr *symtab_hdr;
4126   Elf_Internal_Rela *rel;
4127   Elf_Internal_Rela *relend;
4128   asection *sgot, *srel, *srelgot;
4129   bfd *dynobj, *gotobj;
4130   bfd_vma gp, tp_base, dtp_base;
4131   struct alpha_elf_got_entry **local_got_entries;
4132   bfd_boolean ret_val;
4133
4134   BFD_ASSERT (is_alpha_elf (input_bfd));
4135   
4136   /* Handle relocatable links with a smaller loop.  */
4137   if (info->relocatable)
4138     return elf64_alpha_relocate_section_r (output_bfd, info, input_bfd,
4139                                            input_section, contents, relocs,
4140                                            local_syms, local_sections);
4141
4142   /* This is a final link.  */
4143
4144   ret_val = TRUE;
4145
4146   symtab_hdr = &elf_symtab_hdr (input_bfd);
4147
4148   dynobj = elf_hash_table (info)->dynobj;
4149   if (dynobj)
4150     srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
4151   else
4152     srelgot = NULL;
4153
4154   if (input_section->flags & SEC_ALLOC)
4155     {
4156       const char *section_name;
4157       section_name = (bfd_elf_string_from_elf_section
4158                       (input_bfd, elf_elfheader(input_bfd)->e_shstrndx,
4159                        _bfd_elf_single_rel_hdr (input_section)->sh_name));
4160       BFD_ASSERT(section_name != NULL);
4161       srel = bfd_get_section_by_name (dynobj, section_name);
4162     }
4163   else
4164     srel = NULL;
4165
4166   /* Find the gp value for this input bfd.  */
4167   gotobj = alpha_elf_tdata (input_bfd)->gotobj;
4168   if (gotobj)
4169     {
4170       sgot = alpha_elf_tdata (gotobj)->got;
4171       gp = _bfd_get_gp_value (gotobj);
4172       if (gp == 0)
4173         {
4174           gp = (sgot->output_section->vma
4175                 + sgot->output_offset
4176                 + 0x8000);
4177           _bfd_set_gp_value (gotobj, gp);
4178         }
4179     }
4180   else
4181     {
4182       sgot = NULL;
4183       gp = 0;
4184     }
4185
4186   local_got_entries = alpha_elf_tdata(input_bfd)->local_got_entries;
4187
4188   if (elf_hash_table (info)->tls_sec != NULL)
4189     {
4190       dtp_base = alpha_get_dtprel_base (info);
4191       tp_base = alpha_get_tprel_base (info);
4192     }
4193   else
4194     dtp_base = tp_base = 0;
4195
4196   relend = relocs + input_section->reloc_count;
4197   for (rel = relocs; rel < relend; rel++)
4198     {
4199       struct alpha_elf_link_hash_entry *h = NULL;
4200       struct alpha_elf_got_entry *gotent;
4201       bfd_reloc_status_type r;
4202       reloc_howto_type *howto;
4203       unsigned long r_symndx;
4204       Elf_Internal_Sym *sym = NULL;
4205       asection *sec = NULL;
4206       bfd_vma value;
4207       bfd_vma addend;
4208       bfd_boolean dynamic_symbol_p;
4209       bfd_boolean undef_weak_ref = FALSE;
4210       unsigned long r_type;
4211
4212       r_type = ELF64_R_TYPE(rel->r_info);
4213       if (r_type >= R_ALPHA_max)
4214         {
4215           (*_bfd_error_handler)
4216             (_("%B: unknown relocation type %d"),
4217              input_bfd, (int) r_type);
4218           bfd_set_error (bfd_error_bad_value);
4219           ret_val = FALSE;
4220           continue;
4221         }
4222
4223       howto = elf64_alpha_howto_table + r_type;
4224       r_symndx = ELF64_R_SYM(rel->r_info);
4225
4226       /* The symbol for a TLSLDM reloc is ignored.  Collapse the
4227          reloc to the STN_UNDEF (0) symbol so that they all match.  */
4228       if (r_type == R_ALPHA_TLSLDM)
4229         r_symndx = STN_UNDEF;
4230
4231       if (r_symndx < symtab_hdr->sh_info)
4232         {
4233           asection *msec;
4234           sym = local_syms + r_symndx;
4235           sec = local_sections[r_symndx];
4236           msec = sec;
4237           value = _bfd_elf_rela_local_sym (output_bfd, sym, &msec, rel);
4238
4239           /* If this is a tp-relative relocation against sym STN_UNDEF (0),
4240              this is hackery from relax_section.  Force the value to
4241              be the tls module base.  */
4242           if (r_symndx == STN_UNDEF
4243               && (r_type == R_ALPHA_TLSLDM
4244                   || r_type == R_ALPHA_GOTTPREL
4245                   || r_type == R_ALPHA_TPREL64
4246                   || r_type == R_ALPHA_TPRELHI
4247                   || r_type == R_ALPHA_TPRELLO
4248                   || r_type == R_ALPHA_TPREL16))
4249             value = dtp_base;
4250
4251           if (local_got_entries)
4252             gotent = local_got_entries[r_symndx];
4253           else
4254             gotent = NULL;
4255
4256           /* Need to adjust local GOT entries' addends for SEC_MERGE
4257              unless it has been done already.  */
4258           if ((sec->flags & SEC_MERGE)
4259               && ELF_ST_TYPE (sym->st_info) == STT_SECTION
4260               && sec->sec_info_type == ELF_INFO_TYPE_MERGE
4261               && gotent
4262               && !gotent->reloc_xlated)
4263             {
4264               struct alpha_elf_got_entry *ent;
4265
4266               for (ent = gotent; ent; ent = ent->next)
4267                 {
4268                   ent->reloc_xlated = 1;
4269                   if (ent->use_count == 0)
4270                     continue;
4271                   msec = sec;
4272                   ent->addend =
4273                     _bfd_merged_section_offset (output_bfd, &msec,
4274                                                 elf_section_data (sec)->
4275                                                   sec_info,
4276                                                 sym->st_value + ent->addend);
4277                   ent->addend -= sym->st_value;
4278                   ent->addend += msec->output_section->vma
4279                                  + msec->output_offset
4280                                  - sec->output_section->vma
4281                                  - sec->output_offset;
4282                 }
4283             }
4284
4285           dynamic_symbol_p = FALSE;
4286         }
4287       else
4288         {
4289           bfd_boolean warned;
4290           bfd_boolean unresolved_reloc;
4291           struct elf_link_hash_entry *hh;
4292           struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (input_bfd);
4293
4294           RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
4295                                    r_symndx, symtab_hdr, sym_hashes,
4296                                    hh, sec, value,
4297                                    unresolved_reloc, warned);
4298
4299           if (warned)
4300             continue;
4301
4302           if (value == 0
4303               && ! unresolved_reloc
4304               && hh->root.type == bfd_link_hash_undefweak)
4305             undef_weak_ref = TRUE;
4306
4307           h = (struct alpha_elf_link_hash_entry *) hh;
4308           dynamic_symbol_p = alpha_elf_dynamic_symbol_p (&h->root, info);
4309           gotent = h->got_entries;
4310         }
4311
4312       if (sec != NULL && elf_discarded_section (sec))
4313         RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
4314                                          rel, relend, howto, contents);
4315
4316       addend = rel->r_addend;
4317       value += addend;
4318
4319       /* Search for the proper got entry.  */
4320       for (; gotent ; gotent = gotent->next)
4321         if (gotent->gotobj == gotobj
4322             && gotent->reloc_type == r_type
4323             && gotent->addend == addend)
4324           break;
4325
4326       switch (r_type)
4327         {
4328         case R_ALPHA_GPDISP:
4329           {
4330             bfd_byte *p_ldah, *p_lda;
4331
4332             BFD_ASSERT(gp != 0);
4333
4334             value = (input_section->output_section->vma
4335                      + input_section->output_offset
4336                      + rel->r_offset);
4337
4338             p_ldah = contents + rel->r_offset;
4339             p_lda = p_ldah + rel->r_addend;
4340
4341             r = elf64_alpha_do_reloc_gpdisp (input_bfd, gp - value,
4342                                              p_ldah, p_lda);
4343           }
4344           break;
4345
4346         case R_ALPHA_LITERAL:
4347           BFD_ASSERT(sgot != NULL);
4348           BFD_ASSERT(gp != 0);
4349           BFD_ASSERT(gotent != NULL);
4350           BFD_ASSERT(gotent->use_count >= 1);
4351
4352           if (!gotent->reloc_done)
4353             {
4354               gotent->reloc_done = 1;
4355
4356               bfd_put_64 (output_bfd, value,
4357                           sgot->contents + gotent->got_offset);
4358
4359               /* If the symbol has been forced local, output a
4360                  RELATIVE reloc, otherwise it will be handled in
4361                  finish_dynamic_symbol.  */
4362               if (info->shared && !dynamic_symbol_p && !undef_weak_ref)
4363                 elf64_alpha_emit_dynrel (output_bfd, info, sgot, srelgot,
4364                                          gotent->got_offset, 0,
4365                                          R_ALPHA_RELATIVE, value);
4366             }
4367
4368           value = (sgot->output_section->vma
4369                    + sgot->output_offset
4370                    + gotent->got_offset);
4371           value -= gp;
4372           goto default_reloc;
4373
4374         case R_ALPHA_GPREL32:
4375         case R_ALPHA_GPREL16:
4376         case R_ALPHA_GPRELLOW:
4377           if (dynamic_symbol_p)
4378             {
4379               (*_bfd_error_handler)
4380                 (_("%B: gp-relative relocation against dynamic symbol %s"),
4381                  input_bfd, h->root.root.root.string);
4382               ret_val = FALSE;
4383             }
4384           BFD_ASSERT(gp != 0);
4385           value -= gp;
4386           goto default_reloc;
4387
4388         case R_ALPHA_GPRELHIGH:
4389           if (dynamic_symbol_p)
4390             {
4391               (*_bfd_error_handler)
4392                 (_("%B: gp-relative relocation against dynamic symbol %s"),
4393                  input_bfd, h->root.root.root.string);
4394               ret_val = FALSE;
4395             }
4396           BFD_ASSERT(gp != 0);
4397           value -= gp;
4398           value = ((bfd_signed_vma) value >> 16) + ((value >> 15) & 1);
4399           goto default_reloc;
4400
4401         case R_ALPHA_HINT:
4402           /* A call to a dynamic symbol is definitely out of range of
4403              the 16-bit displacement.  Don't bother writing anything.  */
4404           if (dynamic_symbol_p)
4405             {
4406               r = bfd_reloc_ok;
4407               break;
4408             }
4409           /* The regular PC-relative stuff measures from the start of
4410              the instruction rather than the end.  */
4411           value -= 4;
4412           goto default_reloc;
4413
4414         case R_ALPHA_BRADDR:
4415           if (dynamic_symbol_p)
4416             {
4417               (*_bfd_error_handler)
4418                 (_("%B: pc-relative relocation against dynamic symbol %s"),
4419                  input_bfd, h->root.root.root.string);
4420               ret_val = FALSE;
4421             }
4422           /* The regular PC-relative stuff measures from the start of
4423              the instruction rather than the end.  */
4424           value -= 4;
4425           goto default_reloc;
4426
4427         case R_ALPHA_BRSGP:
4428           {
4429             int other;
4430             const char *name;
4431
4432             /* The regular PC-relative stuff measures from the start of
4433                the instruction rather than the end.  */
4434             value -= 4;
4435
4436             /* The source and destination gp must be the same.  Note that
4437                the source will always have an assigned gp, since we forced
4438                one in check_relocs, but that the destination may not, as
4439                it might not have had any relocations at all.  Also take
4440                care not to crash if H is an undefined symbol.  */
4441             if (h != NULL && sec != NULL
4442                 && alpha_elf_tdata (sec->owner)->gotobj
4443                 && gotobj != alpha_elf_tdata (sec->owner)->gotobj)
4444               {
4445                 (*_bfd_error_handler)
4446                   (_("%B: change in gp: BRSGP %s"),
4447                    input_bfd, h->root.root.root.string);
4448                 ret_val = FALSE;
4449               }
4450
4451             /* The symbol should be marked either NOPV or STD_GPLOAD.  */
4452             if (h != NULL)
4453               other = h->root.other;
4454             else
4455               other = sym->st_other;
4456             switch (other & STO_ALPHA_STD_GPLOAD)
4457               {
4458               case STO_ALPHA_NOPV:
4459                 break;
4460               case STO_ALPHA_STD_GPLOAD:
4461                 value += 8;
4462                 break;
4463               default:
4464                 if (h != NULL)
4465                   name = h->root.root.root.string;
4466                 else
4467                   {
4468                     name = (bfd_elf_string_from_elf_section
4469                             (input_bfd, symtab_hdr->sh_link, sym->st_name));
4470                     if (name == NULL)
4471                       name = _("<unknown>");
4472                     else if (name[0] == 0)
4473                       name = bfd_section_name (input_bfd, sec);
4474                   }
4475                 (*_bfd_error_handler)
4476                   (_("%B: !samegp reloc against symbol without .prologue: %s"),
4477                    input_bfd, name);
4478                 ret_val = FALSE;
4479                 break;
4480               }
4481
4482             goto default_reloc;
4483           }
4484
4485         case R_ALPHA_REFLONG:
4486         case R_ALPHA_REFQUAD:
4487         case R_ALPHA_DTPREL64:
4488         case R_ALPHA_TPREL64:
4489           {
4490             long dynindx, dyntype = r_type;
4491             bfd_vma dynaddend;
4492
4493             /* Careful here to remember RELATIVE relocations for global
4494                variables for symbolic shared objects.  */
4495
4496             if (dynamic_symbol_p)
4497               {
4498                 BFD_ASSERT(h->root.dynindx != -1);
4499                 dynindx = h->root.dynindx;
4500                 dynaddend = addend;
4501                 addend = 0, value = 0;
4502               }
4503             else if (r_type == R_ALPHA_DTPREL64)
4504               {
4505                 BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4506                 value -= dtp_base;
4507                 goto default_reloc;
4508               }
4509             else if (r_type == R_ALPHA_TPREL64)
4510               {
4511                 BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4512                 if (!info->shared)
4513                   {
4514                     value -= tp_base;
4515                     goto default_reloc;
4516                   }
4517                 dynindx = 0;
4518                 dynaddend = value - dtp_base;
4519               }
4520             else if (info->shared
4521                      && r_symndx != STN_UNDEF
4522                      && (input_section->flags & SEC_ALLOC)
4523                      && !undef_weak_ref)
4524               {
4525                 if (r_type == R_ALPHA_REFLONG)
4526                   {
4527                     (*_bfd_error_handler)
4528                       (_("%B: unhandled dynamic relocation against %s"),
4529                        input_bfd,
4530                        h->root.root.root.string);
4531                     ret_val = FALSE;
4532                   }
4533                 dynindx = 0;
4534                 dyntype = R_ALPHA_RELATIVE;
4535                 dynaddend = value;
4536               }
4537             else
4538               goto default_reloc;
4539
4540             if (input_section->flags & SEC_ALLOC)
4541               elf64_alpha_emit_dynrel (output_bfd, info, input_section,
4542                                        srel, rel->r_offset, dynindx,
4543                                        dyntype, dynaddend);
4544           }
4545           goto default_reloc;
4546
4547         case R_ALPHA_SREL16:
4548         case R_ALPHA_SREL32:
4549         case R_ALPHA_SREL64:
4550           if (dynamic_symbol_p)
4551             {
4552               (*_bfd_error_handler)
4553                 (_("%B: pc-relative relocation against dynamic symbol %s"),
4554                  input_bfd, h->root.root.root.string);
4555               ret_val = FALSE;
4556             }
4557           else if ((info->shared || info->pie) && undef_weak_ref)
4558             {
4559               (*_bfd_error_handler)
4560                 (_("%B: pc-relative relocation against undefined weak symbol %s"),
4561                  input_bfd, h->root.root.root.string);
4562               ret_val = FALSE;
4563             }
4564
4565
4566           /* ??? .eh_frame references to discarded sections will be smashed
4567              to relocations against SHN_UNDEF.  The .eh_frame format allows
4568              NULL to be encoded as 0 in any format, so this works here.  */
4569           if (r_symndx == STN_UNDEF)
4570             howto = (elf64_alpha_howto_table
4571                      + (r_type - R_ALPHA_SREL32 + R_ALPHA_REFLONG));
4572           goto default_reloc;
4573
4574         case R_ALPHA_TLSLDM:
4575           /* Ignore the symbol for the relocation.  The result is always
4576              the current module.  */
4577           dynamic_symbol_p = 0;
4578           /* FALLTHRU */
4579
4580         case R_ALPHA_TLSGD:
4581           if (!gotent->reloc_done)
4582             {
4583               gotent->reloc_done = 1;
4584
4585               /* Note that the module index for the main program is 1.  */
4586               bfd_put_64 (output_bfd, !info->shared && !dynamic_symbol_p,
4587                           sgot->contents + gotent->got_offset);
4588
4589               /* If the symbol has been forced local, output a
4590                  DTPMOD64 reloc, otherwise it will be handled in
4591                  finish_dynamic_symbol.  */
4592               if (info->shared && !dynamic_symbol_p)
4593                 elf64_alpha_emit_dynrel (output_bfd, info, sgot, srelgot,
4594                                          gotent->got_offset, 0,
4595                                          R_ALPHA_DTPMOD64, 0);
4596
4597               if (dynamic_symbol_p || r_type == R_ALPHA_TLSLDM)
4598                 value = 0;
4599               else
4600                 {
4601                   BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4602                   value -= dtp_base;
4603                 }
4604               bfd_put_64 (output_bfd, value,
4605                           sgot->contents + gotent->got_offset + 8);
4606             }
4607
4608           value = (sgot->output_section->vma
4609                    + sgot->output_offset
4610                    + gotent->got_offset);
4611           value -= gp;
4612           goto default_reloc;
4613
4614         case R_ALPHA_DTPRELHI:
4615         case R_ALPHA_DTPRELLO:
4616         case R_ALPHA_DTPREL16:
4617           if (dynamic_symbol_p)
4618             {
4619               (*_bfd_error_handler)
4620                 (_("%B: dtp-relative relocation against dynamic symbol %s"),
4621                  input_bfd, h->root.root.root.string);
4622               ret_val = FALSE;
4623             }
4624           BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4625           value -= dtp_base;
4626           if (r_type == R_ALPHA_DTPRELHI)
4627             value = ((bfd_signed_vma) value >> 16) + ((value >> 15) & 1);
4628           goto default_reloc;
4629
4630         case R_ALPHA_TPRELHI:
4631         case R_ALPHA_TPRELLO:
4632         case R_ALPHA_TPREL16:
4633           if (info->shared)
4634             {
4635               (*_bfd_error_handler)
4636                 (_("%B: TLS local exec code cannot be linked into shared objects"),
4637                 input_bfd);
4638               ret_val = FALSE;
4639             }
4640           else if (dynamic_symbol_p)
4641             {
4642               (*_bfd_error_handler)
4643                 (_("%B: tp-relative relocation against dynamic symbol %s"),
4644                  input_bfd, h->root.root.root.string);
4645               ret_val = FALSE;
4646             }
4647           BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4648           value -= tp_base;
4649           if (r_type == R_ALPHA_TPRELHI)
4650             value = ((bfd_signed_vma) value >> 16) + ((value >> 15) & 1);
4651           goto default_reloc;
4652
4653         case R_ALPHA_GOTDTPREL:
4654         case R_ALPHA_GOTTPREL:
4655           BFD_ASSERT(sgot != NULL);
4656           BFD_ASSERT(gp != 0);
4657           BFD_ASSERT(gotent != NULL);
4658           BFD_ASSERT(gotent->use_count >= 1);
4659
4660           if (!gotent->reloc_done)
4661             {
4662               gotent->reloc_done = 1;
4663
4664               if (dynamic_symbol_p)
4665                 value = 0;
4666               else
4667                 {
4668                   BFD_ASSERT (elf_hash_table (info)->tls_sec != NULL);
4669                   if (r_type == R_ALPHA_GOTDTPREL)
4670                     value -= dtp_base;
4671                   else if (!info->shared)
4672                     value -= tp_base;
4673                   else
4674                     {
4675                       elf64_alpha_emit_dynrel (output_bfd, info, sgot, srelgot,
4676                                                gotent->got_offset, 0,
4677                                                R_ALPHA_TPREL64,
4678                                                value - dtp_base);
4679                       value = 0;
4680                     }
4681                 }
4682               bfd_put_64 (output_bfd, value,
4683                           sgot->contents + gotent->got_offset);
4684             }
4685
4686           value = (sgot->output_section->vma
4687                    + sgot->output_offset
4688                    + gotent->got_offset);
4689           value -= gp;
4690           goto default_reloc;
4691
4692         default:
4693         default_reloc:
4694           r = _bfd_final_link_relocate (howto, input_bfd, input_section,
4695                                         contents, rel->r_offset, value, 0);
4696           break;
4697         }
4698
4699       switch (r)
4700         {
4701         case bfd_reloc_ok:
4702           break;
4703
4704         case bfd_reloc_overflow:
4705           {
4706             const char *name;
4707
4708             /* Don't warn if the overflow is due to pc relative reloc
4709                against discarded section.  Section optimization code should
4710                handle it.  */
4711
4712             if (r_symndx < symtab_hdr->sh_info
4713                 && sec != NULL && howto->pc_relative
4714                 && elf_discarded_section (sec))
4715               break;
4716
4717             if (h != NULL)
4718               name = NULL;
4719             else
4720               {
4721                 name = (bfd_elf_string_from_elf_section
4722                         (input_bfd, symtab_hdr->sh_link, sym->st_name));
4723                 if (name == NULL)
4724                   return FALSE;
4725                 if (*name == '\0')
4726                   name = bfd_section_name (input_bfd, sec);
4727               }
4728             if (! ((*info->callbacks->reloc_overflow)
4729                    (info, (h ? &h->root.root : NULL), name, howto->name,
4730                     (bfd_vma) 0, input_bfd, input_section,
4731                     rel->r_offset)))
4732               ret_val = FALSE;
4733           }
4734           break;
4735
4736         default:
4737         case bfd_reloc_outofrange:
4738           abort ();
4739         }
4740     }
4741
4742   return ret_val;
4743 }
4744
4745 /* Finish up dynamic symbol handling.  We set the contents of various
4746    dynamic sections here.  */
4747
4748 static bfd_boolean
4749 elf64_alpha_finish_dynamic_symbol (bfd *output_bfd, struct bfd_link_info *info,
4750                                    struct elf_link_hash_entry *h,
4751                                    Elf_Internal_Sym *sym)
4752 {
4753   struct alpha_elf_link_hash_entry *ah = (struct alpha_elf_link_hash_entry *)h;
4754   bfd *dynobj = elf_hash_table(info)->dynobj;
4755
4756   if (h->needs_plt)
4757     {
4758       /* Fill in the .plt entry for this symbol.  */
4759       asection *splt, *sgot, *srel;
4760       Elf_Internal_Rela outrel;
4761       bfd_byte *loc;
4762       bfd_vma got_addr, plt_addr;
4763       bfd_vma plt_index;
4764       struct alpha_elf_got_entry *gotent;
4765
4766       BFD_ASSERT (h->dynindx != -1);
4767
4768       splt = bfd_get_section_by_name (dynobj, ".plt");
4769       BFD_ASSERT (splt != NULL);
4770       srel = bfd_get_section_by_name (dynobj, ".rela.plt");
4771       BFD_ASSERT (srel != NULL);
4772
4773       for (gotent = ah->got_entries; gotent ; gotent = gotent->next)
4774         if (gotent->reloc_type == R_ALPHA_LITERAL
4775             && gotent->use_count > 0)
4776           {
4777             unsigned int insn;
4778             int disp;
4779
4780             sgot = alpha_elf_tdata (gotent->gotobj)->got;
4781             BFD_ASSERT (sgot != NULL);
4782
4783             BFD_ASSERT (gotent->got_offset != -1);
4784             BFD_ASSERT (gotent->plt_offset != -1);
4785
4786             got_addr = (sgot->output_section->vma
4787                         + sgot->output_offset
4788                         + gotent->got_offset);
4789             plt_addr = (splt->output_section->vma
4790                         + splt->output_offset
4791                         + gotent->plt_offset);
4792
4793             plt_index = (gotent->plt_offset-PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
4794
4795             /* Fill in the entry in the procedure linkage table.  */
4796             if (elf64_alpha_use_secureplt)
4797               {
4798                 disp = (PLT_HEADER_SIZE - 4) - (gotent->plt_offset + 4);
4799                 insn = INSN_AD (INSN_BR, 31, disp);
4800                 bfd_put_32 (output_bfd, insn,
4801                             splt->contents + gotent->plt_offset);
4802
4803                 plt_index = ((gotent->plt_offset - NEW_PLT_HEADER_SIZE)
4804                              / NEW_PLT_ENTRY_SIZE);
4805               }
4806             else
4807               {
4808                 disp = -(gotent->plt_offset + 4);
4809                 insn = INSN_AD (INSN_BR, 28, disp);
4810                 bfd_put_32 (output_bfd, insn,
4811                             splt->contents + gotent->plt_offset);
4812                 bfd_put_32 (output_bfd, INSN_UNOP,
4813                             splt->contents + gotent->plt_offset + 4);
4814                 bfd_put_32 (output_bfd, INSN_UNOP,
4815                             splt->contents + gotent->plt_offset + 8);
4816
4817                 plt_index = ((gotent->plt_offset - OLD_PLT_HEADER_SIZE)
4818                              / OLD_PLT_ENTRY_SIZE);
4819               }
4820
4821             /* Fill in the entry in the .rela.plt section.  */
4822             outrel.r_offset = got_addr;
4823             outrel.r_info = ELF64_R_INFO(h->dynindx, R_ALPHA_JMP_SLOT);
4824             outrel.r_addend = 0;
4825
4826             loc = srel->contents + plt_index * sizeof (Elf64_External_Rela);
4827             bfd_elf64_swap_reloca_out (output_bfd, &outrel, loc);
4828
4829             /* Fill in the entry in the .got.  */
4830             bfd_put_64 (output_bfd, plt_addr,
4831                         sgot->contents + gotent->got_offset);
4832           }
4833     }
4834   else if (alpha_elf_dynamic_symbol_p (h, info))
4835     {
4836       /* Fill in the dynamic relocations for this symbol's .got entries.  */
4837       asection *srel;
4838       struct alpha_elf_got_entry *gotent;
4839
4840       srel = bfd_get_section_by_name (dynobj, ".rela.got");
4841       BFD_ASSERT (srel != NULL);
4842
4843       for (gotent = ((struct alpha_elf_link_hash_entry *) h)->got_entries;
4844            gotent != NULL;
4845            gotent = gotent->next)
4846         {
4847           asection *sgot;
4848           long r_type;
4849
4850           if (gotent->use_count == 0)
4851             continue;
4852
4853           sgot = alpha_elf_tdata (gotent->gotobj)->got;
4854
4855           r_type = gotent->reloc_type;
4856           switch (r_type)
4857             {
4858             case R_ALPHA_LITERAL:
4859               r_type = R_ALPHA_GLOB_DAT;
4860               break;
4861             case R_ALPHA_TLSGD:
4862               r_type = R_ALPHA_DTPMOD64;
4863               break;
4864             case R_ALPHA_GOTDTPREL:
4865               r_type = R_ALPHA_DTPREL64;
4866               break;
4867             case R_ALPHA_GOTTPREL:
4868               r_type = R_ALPHA_TPREL64;
4869               break;
4870             case R_ALPHA_TLSLDM:
4871             default:
4872               abort ();
4873             }
4874
4875           elf64_alpha_emit_dynrel (output_bfd, info, sgot, srel, 
4876                                    gotent->got_offset, h->dynindx,
4877                                    r_type, gotent->addend);
4878
4879           if (gotent->reloc_type == R_ALPHA_TLSGD)
4880             elf64_alpha_emit_dynrel (output_bfd, info, sgot, srel, 
4881                                      gotent->got_offset + 8, h->dynindx,
4882                                      R_ALPHA_DTPREL64, gotent->addend);
4883         }
4884     }
4885
4886   /* Mark some specially defined symbols as absolute.  */
4887   if (strcmp (h->root.root.string, "_DYNAMIC") == 0
4888       || h == elf_hash_table (info)->hgot
4889       || h == elf_hash_table (info)->hplt)
4890     sym->st_shndx = SHN_ABS;
4891
4892   return TRUE;
4893 }
4894
4895 /* Finish up the dynamic sections.  */
4896
4897 static bfd_boolean
4898 elf64_alpha_finish_dynamic_sections (bfd *output_bfd,
4899                                      struct bfd_link_info *info)
4900 {
4901   bfd *dynobj;
4902   asection *sdyn;
4903
4904   dynobj = elf_hash_table (info)->dynobj;
4905   sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
4906
4907   if (elf_hash_table (info)->dynamic_sections_created)
4908     {
4909       asection *splt, *sgotplt, *srelaplt;
4910       Elf64_External_Dyn *dyncon, *dynconend;
4911       bfd_vma plt_vma, gotplt_vma;
4912
4913       splt = bfd_get_section_by_name (dynobj, ".plt");
4914       srelaplt = bfd_get_section_by_name (output_bfd, ".rela.plt");
4915       BFD_ASSERT (splt != NULL && sdyn != NULL);
4916
4917       plt_vma = splt->output_section->vma + splt->output_offset;
4918
4919       gotplt_vma = 0;
4920       if (elf64_alpha_use_secureplt)
4921         {
4922           sgotplt = bfd_get_section_by_name (dynobj, ".got.plt");
4923           BFD_ASSERT (sgotplt != NULL);
4924           if (sgotplt->size > 0)
4925             gotplt_vma = sgotplt->output_section->vma + sgotplt->output_offset;
4926         }
4927
4928       dyncon = (Elf64_External_Dyn *) sdyn->contents;
4929       dynconend = (Elf64_External_Dyn *) (sdyn->contents + sdyn->size);
4930       for (; dyncon < dynconend; dyncon++)
4931         {
4932           Elf_Internal_Dyn dyn;
4933
4934           bfd_elf64_swap_dyn_in (dynobj, dyncon, &dyn);
4935
4936           switch (dyn.d_tag)
4937             {
4938             case DT_PLTGOT:
4939               dyn.d_un.d_ptr
4940                 = elf64_alpha_use_secureplt ? gotplt_vma : plt_vma;
4941               break;
4942             case DT_PLTRELSZ:
4943               dyn.d_un.d_val = srelaplt ? srelaplt->size : 0;
4944               break;
4945             case DT_JMPREL:
4946               dyn.d_un.d_ptr = srelaplt ? srelaplt->vma : 0;
4947               break;
4948
4949             case DT_RELASZ:
4950               /* My interpretation of the TIS v1.1 ELF document indicates
4951                  that RELASZ should not include JMPREL.  This is not what
4952                  the rest of the BFD does.  It is, however, what the
4953                  glibc ld.so wants.  Do this fixup here until we found
4954                  out who is right.  */
4955               if (srelaplt)
4956                 dyn.d_un.d_val -= srelaplt->size;
4957               break;
4958             }
4959
4960           bfd_elf64_swap_dyn_out (output_bfd, &dyn, dyncon);
4961         }
4962
4963       /* Initialize the plt header.  */
4964       if (splt->size > 0)
4965         {
4966           unsigned int insn;
4967           int ofs;
4968
4969           if (elf64_alpha_use_secureplt)
4970             {
4971               ofs = gotplt_vma - (plt_vma + PLT_HEADER_SIZE);
4972
4973               insn = INSN_ABC (INSN_SUBQ, 27, 28, 25);
4974               bfd_put_32 (output_bfd, insn, splt->contents);
4975
4976               insn = INSN_ABO (INSN_LDAH, 28, 28, (ofs + 0x8000) >> 16);
4977               bfd_put_32 (output_bfd, insn, splt->contents + 4);
4978
4979               insn = INSN_ABC (INSN_S4SUBQ, 25, 25, 25);
4980               bfd_put_32 (output_bfd, insn, splt->contents + 8);
4981
4982               insn = INSN_ABO (INSN_LDA, 28, 28, ofs);
4983               bfd_put_32 (output_bfd, insn, splt->contents + 12);
4984
4985               insn = INSN_ABO (INSN_LDQ, 27, 28, 0);
4986               bfd_put_32 (output_bfd, insn, splt->contents + 16);
4987
4988               insn = INSN_ABC (INSN_ADDQ, 25, 25, 25);
4989               bfd_put_32 (output_bfd, insn, splt->contents + 20);
4990
4991               insn = INSN_ABO (INSN_LDQ, 28, 28, 8);
4992               bfd_put_32 (output_bfd, insn, splt->contents + 24);
4993
4994               insn = INSN_AB (INSN_JMP, 31, 27);
4995               bfd_put_32 (output_bfd, insn, splt->contents + 28);
4996
4997               insn = INSN_AD (INSN_BR, 28, -PLT_HEADER_SIZE);
4998               bfd_put_32 (output_bfd, insn, splt->contents + 32);
4999             }
5000           else
5001             {
5002               insn = INSN_AD (INSN_BR, 27, 0);  /* br $27, .+4 */
5003               bfd_put_32 (output_bfd, insn, splt->contents);
5004
5005               insn = INSN_ABO (INSN_LDQ, 27, 27, 12);
5006               bfd_put_32 (output_bfd, insn, splt->contents + 4);
5007
5008               insn = INSN_UNOP;
5009               bfd_put_32 (output_bfd, insn, splt->contents + 8);
5010
5011               insn = INSN_AB (INSN_JMP, 27, 27);
5012               bfd_put_32 (output_bfd, insn, splt->contents + 12);
5013
5014               /* The next two words will be filled in by ld.so.  */
5015               bfd_put_64 (output_bfd, 0, splt->contents + 16);
5016               bfd_put_64 (output_bfd, 0, splt->contents + 24);
5017             }
5018
5019           elf_section_data (splt->output_section)->this_hdr.sh_entsize = 0;
5020         }
5021     }
5022
5023   return TRUE;
5024 }
5025
5026 /* We need to use a special link routine to handle the .mdebug section.
5027    We need to merge all instances of these sections together, not write
5028    them all out sequentially.  */
5029
5030 static bfd_boolean
5031 elf64_alpha_final_link (bfd *abfd, struct bfd_link_info *info)
5032 {
5033   asection *o;
5034   struct bfd_link_order *p;
5035   asection *mdebug_sec;
5036   struct ecoff_debug_info debug;
5037   const struct ecoff_debug_swap *swap
5038     = get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
5039   HDRR *symhdr = &debug.symbolic_header;
5040   void * mdebug_handle = NULL;
5041   struct alpha_elf_link_hash_table * htab;
5042
5043   htab = alpha_elf_hash_table (info);
5044   if (htab == NULL)
5045     return FALSE;
5046
5047   /* Go through the sections and collect the mdebug information.  */
5048   mdebug_sec = NULL;
5049   for (o = abfd->sections; o != (asection *) NULL; o = o->next)
5050     {
5051       if (strcmp (o->name, ".mdebug") == 0)
5052         {
5053           struct extsym_info einfo;
5054
5055           /* We have found the .mdebug section in the output file.
5056              Look through all the link_orders comprising it and merge
5057              the information together.  */
5058           symhdr->magic = swap->sym_magic;
5059           /* FIXME: What should the version stamp be?  */
5060           symhdr->vstamp = 0;
5061           symhdr->ilineMax = 0;
5062           symhdr->cbLine = 0;
5063           symhdr->idnMax = 0;
5064           symhdr->ipdMax = 0;
5065           symhdr->isymMax = 0;
5066           symhdr->ioptMax = 0;
5067           symhdr->iauxMax = 0;
5068           symhdr->issMax = 0;
5069           symhdr->issExtMax = 0;
5070           symhdr->ifdMax = 0;
5071           symhdr->crfd = 0;
5072           symhdr->iextMax = 0;
5073
5074           /* We accumulate the debugging information itself in the
5075              debug_info structure.  */
5076           debug.line = NULL;
5077           debug.external_dnr = NULL;
5078           debug.external_pdr = NULL;
5079           debug.external_sym = NULL;
5080           debug.external_opt = NULL;
5081           debug.external_aux = NULL;
5082           debug.ss = NULL;
5083           debug.ssext = debug.ssext_end = NULL;
5084           debug.external_fdr = NULL;
5085           debug.external_rfd = NULL;
5086           debug.external_ext = debug.external_ext_end = NULL;
5087
5088           mdebug_handle = bfd_ecoff_debug_init (abfd, &debug, swap, info);
5089           if (mdebug_handle == (PTR) NULL)
5090             return FALSE;
5091
5092           if (1)
5093             {
5094               asection *s;
5095               EXTR esym;
5096               bfd_vma last = 0;
5097               unsigned int i;
5098               static const char * const name[] =
5099                 {
5100                   ".text", ".init", ".fini", ".data",
5101                   ".rodata", ".sdata", ".sbss", ".bss"
5102                 };
5103               static const int sc[] = { scText, scInit, scFini, scData,
5104                                           scRData, scSData, scSBss, scBss };
5105
5106               esym.jmptbl = 0;
5107               esym.cobol_main = 0;
5108               esym.weakext = 0;
5109               esym.reserved = 0;
5110               esym.ifd = ifdNil;
5111               esym.asym.iss = issNil;
5112               esym.asym.st = stLocal;
5113               esym.asym.reserved = 0;
5114               esym.asym.index = indexNil;
5115               for (i = 0; i < 8; i++)
5116                 {
5117                   esym.asym.sc = sc[i];
5118                   s = bfd_get_section_by_name (abfd, name[i]);
5119                   if (s != NULL)
5120                     {
5121                       esym.asym.value = s->vma;
5122                       last = s->vma + s->size;
5123                     }
5124                   else
5125                     esym.asym.value = last;
5126
5127                   if (! bfd_ecoff_debug_one_external (abfd, &debug, swap,
5128                                                       name[i], &esym))
5129                     return FALSE;
5130                 }
5131             }
5132
5133           for (p = o->map_head.link_order;
5134                p != (struct bfd_link_order *) NULL;
5135                p = p->next)
5136             {
5137               asection *input_section;
5138               bfd *input_bfd;
5139               const struct ecoff_debug_swap *input_swap;
5140               struct ecoff_debug_info input_debug;
5141               char *eraw_src;
5142               char *eraw_end;
5143
5144               if (p->type != bfd_indirect_link_order)
5145                 {
5146                   if (p->type == bfd_data_link_order)
5147                     continue;
5148                   abort ();
5149                 }
5150
5151               input_section = p->u.indirect.section;
5152               input_bfd = input_section->owner;
5153
5154               if (! is_alpha_elf (input_bfd))
5155                 /* I don't know what a non ALPHA ELF bfd would be
5156                    doing with a .mdebug section, but I don't really
5157                    want to deal with it.  */
5158                 continue;
5159
5160               input_swap = (get_elf_backend_data (input_bfd)
5161                             ->elf_backend_ecoff_debug_swap);
5162
5163               BFD_ASSERT (p->size == input_section->size);
5164
5165               /* The ECOFF linking code expects that we have already
5166                  read in the debugging information and set up an
5167                  ecoff_debug_info structure, so we do that now.  */
5168               if (!elf64_alpha_read_ecoff_info (input_bfd, input_section,
5169                                                 &input_debug))
5170                 return FALSE;
5171
5172               if (! (bfd_ecoff_debug_accumulate
5173                      (mdebug_handle, abfd, &debug, swap, input_bfd,
5174                       &input_debug, input_swap, info)))
5175                 return FALSE;
5176
5177               /* Loop through the external symbols.  For each one with
5178                  interesting information, try to find the symbol in
5179                  the linker global hash table and save the information
5180                  for the output external symbols.  */
5181               eraw_src = (char *) input_debug.external_ext;
5182               eraw_end = (eraw_src
5183                           + (input_debug.symbolic_header.iextMax
5184                              * input_swap->external_ext_size));
5185               for (;
5186                    eraw_src < eraw_end;
5187                    eraw_src += input_swap->external_ext_size)
5188                 {
5189                   EXTR ext;
5190                   const char *name;
5191                   struct alpha_elf_link_hash_entry *h;
5192
5193                   (*input_swap->swap_ext_in) (input_bfd, (PTR) eraw_src, &ext);
5194                   if (ext.asym.sc == scNil
5195                       || ext.asym.sc == scUndefined
5196                       || ext.asym.sc == scSUndefined)
5197                     continue;
5198
5199                   name = input_debug.ssext + ext.asym.iss;
5200                   h = alpha_elf_link_hash_lookup (htab, name, FALSE, FALSE, TRUE);
5201                   if (h == NULL || h->esym.ifd != -2)
5202                     continue;
5203
5204                   if (ext.ifd != -1)
5205                     {
5206                       BFD_ASSERT (ext.ifd
5207                                   < input_debug.symbolic_header.ifdMax);
5208                       ext.ifd = input_debug.ifdmap[ext.ifd];
5209                     }
5210
5211                   h->esym = ext;
5212                 }
5213
5214               /* Free up the information we just read.  */
5215               free (input_debug.line);
5216               free (input_debug.external_dnr);
5217               free (input_debug.external_pdr);
5218               free (input_debug.external_sym);
5219               free (input_debug.external_opt);
5220               free (input_debug.external_aux);
5221               free (input_debug.ss);
5222               free (input_debug.ssext);
5223               free (input_debug.external_fdr);
5224               free (input_debug.external_rfd);
5225               free (input_debug.external_ext);
5226
5227               /* Hack: reset the SEC_HAS_CONTENTS flag so that
5228                  elf_link_input_bfd ignores this section.  */
5229               input_section->flags &=~ SEC_HAS_CONTENTS;
5230             }
5231
5232           /* Build the external symbol information.  */
5233           einfo.abfd = abfd;
5234           einfo.info = info;
5235           einfo.debug = &debug;
5236           einfo.swap = swap;
5237           einfo.failed = FALSE;
5238           elf_link_hash_traverse (elf_hash_table (info),
5239                                   elf64_alpha_output_extsym,
5240                                   (PTR) &einfo);
5241           if (einfo.failed)
5242             return FALSE;
5243
5244           /* Set the size of the .mdebug section.  */
5245           o->size = bfd_ecoff_debug_size (abfd, &debug, swap);
5246
5247           /* Skip this section later on (I don't think this currently
5248              matters, but someday it might).  */
5249           o->map_head.link_order = (struct bfd_link_order *) NULL;
5250
5251           mdebug_sec = o;
5252         }
5253     }
5254
5255   /* Invoke the regular ELF backend linker to do all the work.  */
5256   if (! bfd_elf_final_link (abfd, info))
5257     return FALSE;
5258
5259   /* Now write out the computed sections.  */
5260
5261   /* The .got subsections...  */
5262   {
5263     bfd *i, *dynobj = elf_hash_table(info)->dynobj;
5264     for (i = htab->got_list;
5265          i != NULL;
5266          i = alpha_elf_tdata(i)->got_link_next)
5267       {
5268         asection *sgot;
5269
5270         /* elf_bfd_final_link already did everything in dynobj.  */
5271         if (i == dynobj)
5272           continue;
5273
5274         sgot = alpha_elf_tdata(i)->got;
5275         if (! bfd_set_section_contents (abfd, sgot->output_section,
5276                                         sgot->contents,
5277                                         (file_ptr) sgot->output_offset,
5278                                         sgot->size))
5279           return FALSE;
5280       }
5281   }
5282
5283   if (mdebug_sec != (asection *) NULL)
5284     {
5285       BFD_ASSERT (abfd->output_has_begun);
5286       if (! bfd_ecoff_write_accumulated_debug (mdebug_handle, abfd, &debug,
5287                                                swap, info,
5288                                                mdebug_sec->filepos))
5289         return FALSE;
5290
5291       bfd_ecoff_debug_free (mdebug_handle, abfd, &debug, swap, info);
5292     }
5293
5294   return TRUE;
5295 }
5296
5297 static enum elf_reloc_type_class
5298 elf64_alpha_reloc_type_class (const Elf_Internal_Rela *rela)
5299 {
5300   switch ((int) ELF64_R_TYPE (rela->r_info))
5301     {
5302     case R_ALPHA_RELATIVE:
5303       return reloc_class_relative;
5304     case R_ALPHA_JMP_SLOT:
5305       return reloc_class_plt;
5306     case R_ALPHA_COPY:
5307       return reloc_class_copy;
5308     default:
5309       return reloc_class_normal;
5310     }
5311 }
5312 \f
5313 static const struct bfd_elf_special_section elf64_alpha_special_sections[] =
5314 {
5315   { STRING_COMMA_LEN (".sbss"),  -2, SHT_NOBITS,   SHF_ALLOC + SHF_WRITE + SHF_ALPHA_GPREL },
5316   { STRING_COMMA_LEN (".sdata"), -2, SHT_PROGBITS, SHF_ALLOC + SHF_WRITE + SHF_ALPHA_GPREL },
5317   { NULL,                     0,  0, 0,            0 }
5318 };
5319
5320 /* ECOFF swapping routines.  These are used when dealing with the
5321    .mdebug section, which is in the ECOFF debugging format.  Copied
5322    from elf32-mips.c.  */
5323 static const struct ecoff_debug_swap
5324 elf64_alpha_ecoff_debug_swap =
5325 {
5326   /* Symbol table magic number.  */
5327   magicSym2,
5328   /* Alignment of debugging information.  E.g., 4.  */
5329   8,
5330   /* Sizes of external symbolic information.  */
5331   sizeof (struct hdr_ext),
5332   sizeof (struct dnr_ext),
5333   sizeof (struct pdr_ext),
5334   sizeof (struct sym_ext),
5335   sizeof (struct opt_ext),
5336   sizeof (struct fdr_ext),
5337   sizeof (struct rfd_ext),
5338   sizeof (struct ext_ext),
5339   /* Functions to swap in external symbolic data.  */
5340   ecoff_swap_hdr_in,
5341   ecoff_swap_dnr_in,
5342   ecoff_swap_pdr_in,
5343   ecoff_swap_sym_in,
5344   ecoff_swap_opt_in,
5345   ecoff_swap_fdr_in,
5346   ecoff_swap_rfd_in,
5347   ecoff_swap_ext_in,
5348   _bfd_ecoff_swap_tir_in,
5349   _bfd_ecoff_swap_rndx_in,
5350   /* Functions to swap out external symbolic data.  */
5351   ecoff_swap_hdr_out,
5352   ecoff_swap_dnr_out,
5353   ecoff_swap_pdr_out,
5354   ecoff_swap_sym_out,
5355   ecoff_swap_opt_out,
5356   ecoff_swap_fdr_out,
5357   ecoff_swap_rfd_out,
5358   ecoff_swap_ext_out,
5359   _bfd_ecoff_swap_tir_out,
5360   _bfd_ecoff_swap_rndx_out,
5361   /* Function to read in symbolic data.  */
5362   elf64_alpha_read_ecoff_info
5363 };
5364 \f
5365 /* Use a non-standard hash bucket size of 8.  */
5366
5367 static const struct elf_size_info alpha_elf_size_info =
5368 {
5369   sizeof (Elf64_External_Ehdr),
5370   sizeof (Elf64_External_Phdr),
5371   sizeof (Elf64_External_Shdr),
5372   sizeof (Elf64_External_Rel),
5373   sizeof (Elf64_External_Rela),
5374   sizeof (Elf64_External_Sym),
5375   sizeof (Elf64_External_Dyn),
5376   sizeof (Elf_External_Note),
5377   8,
5378   1,
5379   64, 3,
5380   ELFCLASS64, EV_CURRENT,
5381   bfd_elf64_write_out_phdrs,
5382   bfd_elf64_write_shdrs_and_ehdr,
5383   bfd_elf64_checksum_contents,
5384   bfd_elf64_write_relocs,
5385   bfd_elf64_swap_symbol_in,
5386   bfd_elf64_swap_symbol_out,
5387   bfd_elf64_slurp_reloc_table,
5388   bfd_elf64_slurp_symbol_table,
5389   bfd_elf64_swap_dyn_in,
5390   bfd_elf64_swap_dyn_out,
5391   bfd_elf64_swap_reloc_in,
5392   bfd_elf64_swap_reloc_out,
5393   bfd_elf64_swap_reloca_in,
5394   bfd_elf64_swap_reloca_out
5395 };
5396
5397 #define TARGET_LITTLE_SYM       bfd_elf64_alpha_vec
5398 #define TARGET_LITTLE_NAME      "elf64-alpha"
5399 #define ELF_ARCH                bfd_arch_alpha
5400 #define ELF_TARGET_ID           ALPHA_ELF_DATA
5401 #define ELF_MACHINE_CODE        EM_ALPHA
5402 #define ELF_MAXPAGESIZE 0x10000
5403 #define ELF_COMMONPAGESIZE      0x2000
5404
5405 #define bfd_elf64_bfd_link_hash_table_create \
5406   elf64_alpha_bfd_link_hash_table_create
5407
5408 #define bfd_elf64_bfd_reloc_type_lookup \
5409   elf64_alpha_bfd_reloc_type_lookup
5410 #define bfd_elf64_bfd_reloc_name_lookup \
5411   elf64_alpha_bfd_reloc_name_lookup
5412 #define elf_info_to_howto \
5413   elf64_alpha_info_to_howto
5414
5415 #define bfd_elf64_mkobject \
5416   elf64_alpha_mkobject
5417 #define elf_backend_object_p \
5418   elf64_alpha_object_p
5419
5420 #define elf_backend_section_from_shdr \
5421   elf64_alpha_section_from_shdr
5422 #define elf_backend_section_flags \
5423   elf64_alpha_section_flags
5424 #define elf_backend_fake_sections \
5425   elf64_alpha_fake_sections
5426
5427 #define bfd_elf64_bfd_is_local_label_name \
5428   elf64_alpha_is_local_label_name
5429 #define bfd_elf64_find_nearest_line \
5430   elf64_alpha_find_nearest_line
5431 #define bfd_elf64_bfd_relax_section \
5432   elf64_alpha_relax_section
5433
5434 #define elf_backend_add_symbol_hook \
5435   elf64_alpha_add_symbol_hook
5436 #define elf_backend_relocs_compatible \
5437   _bfd_elf_relocs_compatible
5438 #define elf_backend_check_relocs \
5439   elf64_alpha_check_relocs
5440 #define elf_backend_create_dynamic_sections \
5441   elf64_alpha_create_dynamic_sections
5442 #define elf_backend_adjust_dynamic_symbol \
5443   elf64_alpha_adjust_dynamic_symbol
5444 #define elf_backend_merge_symbol_attribute \
5445   elf64_alpha_merge_symbol_attribute
5446 #define elf_backend_copy_indirect_symbol \
5447   elf64_alpha_copy_indirect_symbol
5448 #define elf_backend_always_size_sections \
5449   elf64_alpha_always_size_sections
5450 #define elf_backend_size_dynamic_sections \
5451   elf64_alpha_size_dynamic_sections
5452 #define elf_backend_omit_section_dynsym \
5453   ((bfd_boolean (*) (bfd *, struct bfd_link_info *, asection *)) bfd_true)
5454 #define elf_backend_relocate_section \
5455   elf64_alpha_relocate_section
5456 #define elf_backend_finish_dynamic_symbol \
5457   elf64_alpha_finish_dynamic_symbol
5458 #define elf_backend_finish_dynamic_sections \
5459   elf64_alpha_finish_dynamic_sections
5460 #define bfd_elf64_bfd_final_link \
5461   elf64_alpha_final_link
5462 #define elf_backend_reloc_type_class \
5463   elf64_alpha_reloc_type_class
5464
5465 #define elf_backend_can_gc_sections     1
5466 #define elf_backend_gc_mark_hook        elf64_alpha_gc_mark_hook
5467 #define elf_backend_gc_sweep_hook       elf64_alpha_gc_sweep_hook
5468
5469 #define elf_backend_ecoff_debug_swap \
5470   &elf64_alpha_ecoff_debug_swap
5471
5472 #define elf_backend_size_info \
5473   alpha_elf_size_info
5474
5475 #define elf_backend_special_sections \
5476   elf64_alpha_special_sections
5477
5478 /* A few constants that determine how the .plt section is set up.  */
5479 #define elf_backend_want_got_plt 0
5480 #define elf_backend_plt_readonly 0
5481 #define elf_backend_want_plt_sym 1
5482 #define elf_backend_got_header_size 0
5483
5484 #include "elf64-target.h"
5485 \f
5486 /* FreeBSD support.  */
5487
5488 #undef TARGET_LITTLE_SYM
5489 #define TARGET_LITTLE_SYM       bfd_elf64_alpha_freebsd_vec
5490 #undef TARGET_LITTLE_NAME
5491 #define TARGET_LITTLE_NAME      "elf64-alpha-freebsd"
5492 #undef  ELF_OSABI
5493 #define ELF_OSABI               ELFOSABI_FREEBSD
5494
5495 /* The kernel recognizes executables as valid only if they carry a
5496    "FreeBSD" label in the ELF header.  So we put this label on all
5497    executables and (for simplicity) also all other object files.  */
5498
5499 static void
5500 elf64_alpha_fbsd_post_process_headers (bfd * abfd,
5501         struct bfd_link_info * link_info ATTRIBUTE_UNUSED)
5502 {
5503   Elf_Internal_Ehdr * i_ehdrp;  /* ELF file header, internal form.  */
5504
5505   i_ehdrp = elf_elfheader (abfd);
5506
5507   /* Put an ABI label supported by FreeBSD >= 4.1.  */
5508   i_ehdrp->e_ident[EI_OSABI] = get_elf_backend_data (abfd)->elf_osabi;
5509 #ifdef OLD_FREEBSD_ABI_LABEL
5510   /* The ABI label supported by FreeBSD <= 4.0 is quite nonstandard.  */
5511   memcpy (&i_ehdrp->e_ident[EI_ABIVERSION], "FreeBSD", 8);
5512 #endif
5513 }
5514
5515 #undef elf_backend_post_process_headers
5516 #define elf_backend_post_process_headers \
5517   elf64_alpha_fbsd_post_process_headers
5518
5519 #undef  elf64_bed
5520 #define elf64_bed elf64_alpha_fbsd_bed
5521
5522 #include "elf64-target.h"