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