bfd/
[binutils.git] / bfd / elf32-bfin.c
bloba5fe8a12f1a0eade0111fc9fa4f76e244ecc580a
1 /* ADI Blackfin BFD support for 32-bit ELF.
2 Copyright 2005, 2006, 2007 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Descriptor library.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19 MA 02110-1301, USA. */
21 #include "sysdep.h"
22 #include "bfd.h"
23 #include "libbfd.h"
24 #include "elf-bfd.h"
25 #include "elf/bfin.h"
26 #include "elf/dwarf2.h"
27 #include "hashtab.h"
29 /* FUNCTION : bfin_pltpc_reloc
30 ABSTRACT : TODO : figure out how to handle pltpc relocs. */
31 static bfd_reloc_status_type
32 bfin_pltpc_reloc (
33 bfd *abfd ATTRIBUTE_UNUSED,
34 arelent *reloc_entry ATTRIBUTE_UNUSED,
35 asymbol *symbol ATTRIBUTE_UNUSED,
36 PTR data ATTRIBUTE_UNUSED,
37 asection *input_section ATTRIBUTE_UNUSED,
38 bfd *output_bfd ATTRIBUTE_UNUSED,
39 char **error_message ATTRIBUTE_UNUSED)
41 bfd_reloc_status_type flag = bfd_reloc_ok;
42 return flag;
46 static bfd_reloc_status_type
47 bfin_pcrel24_reloc (bfd *abfd,
48 arelent *reloc_entry,
49 asymbol *symbol,
50 PTR data,
51 asection *input_section,
52 bfd *output_bfd,
53 char **error_message ATTRIBUTE_UNUSED)
55 bfd_vma relocation;
56 bfd_size_type addr = reloc_entry->address;
57 bfd_vma output_base = 0;
58 reloc_howto_type *howto = reloc_entry->howto;
59 asection *output_section;
60 bfd_boolean relocatable = (output_bfd != NULL);
62 if (reloc_entry->address > bfd_get_section_limit (abfd, input_section))
63 return bfd_reloc_outofrange;
65 if (bfd_is_und_section (symbol->section)
66 && (symbol->flags & BSF_WEAK) == 0
67 && !relocatable)
68 return bfd_reloc_undefined;
70 if (bfd_is_com_section (symbol->section))
71 relocation = 0;
72 else
73 relocation = symbol->value;
75 output_section = symbol->section->output_section;
77 if (relocatable)
78 output_base = 0;
79 else
80 output_base = output_section->vma;
82 if (!relocatable || !strcmp (symbol->name, symbol->section->name))
83 relocation += output_base + symbol->section->output_offset;
85 if (!relocatable && !strcmp (symbol->name, symbol->section->name))
86 relocation += reloc_entry->addend;
88 relocation -= input_section->output_section->vma + input_section->output_offset;
89 relocation -= reloc_entry->address;
91 if (howto->complain_on_overflow != complain_overflow_dont)
93 bfd_reloc_status_type status;
94 status = bfd_check_overflow (howto->complain_on_overflow,
95 howto->bitsize,
96 howto->rightshift,
97 bfd_arch_bits_per_address(abfd),
98 relocation);
99 if (status != bfd_reloc_ok)
100 return status;
103 /* if rightshift is 1 and the number odd, return error. */
104 if (howto->rightshift && (relocation & 0x01))
106 fprintf(stderr, "relocation should be even number\n");
107 return bfd_reloc_overflow;
110 relocation >>= (bfd_vma) howto->rightshift;
111 /* Shift everything up to where it's going to be used. */
113 relocation <<= (bfd_vma) howto->bitpos;
115 if (relocatable)
117 reloc_entry->address += input_section->output_offset;
118 reloc_entry->addend += symbol->section->output_offset;
122 short x;
124 /* We are getting reloc_entry->address 2 byte off from
125 the start of instruction. Assuming absolute postion
126 of the reloc data. But, following code had been written assuming
127 reloc address is starting at begining of instruction.
128 To compensate that I have increased the value of
129 relocation by 1 (effectively 2) and used the addr -2 instead of addr. */
131 relocation += 1;
132 x = bfd_get_16 (abfd, (bfd_byte *) data + addr - 2);
133 x = (x & 0xff00) | ((relocation >> 16) & 0xff);
134 bfd_put_16 (abfd, x, (unsigned char *) data + addr - 2);
136 x = bfd_get_16 (abfd, (bfd_byte *) data + addr);
137 x = relocation & 0xFFFF;
138 bfd_put_16 (abfd, x, (unsigned char *) data + addr );
140 return bfd_reloc_ok;
143 static bfd_reloc_status_type
144 bfin_imm16_reloc (bfd *abfd,
145 arelent *reloc_entry,
146 asymbol *symbol,
147 PTR data,
148 asection *input_section,
149 bfd *output_bfd,
150 char **error_message ATTRIBUTE_UNUSED)
152 bfd_vma relocation, x;
153 bfd_size_type reloc_addr = reloc_entry->address;
154 bfd_vma output_base = 0;
155 reloc_howto_type *howto = reloc_entry->howto;
156 asection *output_section;
157 bfd_boolean relocatable = (output_bfd != NULL);
159 /* Is the address of the relocation really within the section? */
160 if (reloc_entry->address > bfd_get_section_limit (abfd, input_section))
161 return bfd_reloc_outofrange;
163 if (bfd_is_und_section (symbol->section)
164 && (symbol->flags & BSF_WEAK) == 0
165 && !relocatable)
166 return bfd_reloc_undefined;
168 output_section = symbol->section->output_section;
169 relocation = symbol->value;
171 /* Convert input-section-relative symbol value to absolute. */
172 if (relocatable)
173 output_base = 0;
174 else
175 output_base = output_section->vma;
177 if (!relocatable || !strcmp (symbol->name, symbol->section->name))
178 relocation += output_base + symbol->section->output_offset;
180 /* Add in supplied addend. */
181 relocation += reloc_entry->addend;
183 if (relocatable)
185 reloc_entry->address += input_section->output_offset;
186 reloc_entry->addend += symbol->section->output_offset;
188 else
190 reloc_entry->addend = 0;
193 if (howto->complain_on_overflow != complain_overflow_dont)
195 bfd_reloc_status_type flag;
196 flag = bfd_check_overflow (howto->complain_on_overflow,
197 howto->bitsize,
198 howto->rightshift,
199 bfd_arch_bits_per_address(abfd),
200 relocation);
201 if (flag != bfd_reloc_ok)
202 return flag;
205 /* Here the variable relocation holds the final address of the
206 symbol we are relocating against, plus any addend. */
208 relocation >>= (bfd_vma) howto->rightshift;
209 x = relocation;
210 bfd_put_16 (abfd, x, (unsigned char *) data + reloc_addr);
211 return bfd_reloc_ok;
215 static bfd_reloc_status_type
216 bfin_byte4_reloc (bfd *abfd,
217 arelent *reloc_entry,
218 asymbol *symbol,
219 PTR data,
220 asection *input_section,
221 bfd *output_bfd,
222 char **error_message ATTRIBUTE_UNUSED)
224 bfd_vma relocation, x;
225 bfd_size_type addr = reloc_entry->address;
226 bfd_vma output_base = 0;
227 asection *output_section;
228 bfd_boolean relocatable = (output_bfd != NULL);
230 /* Is the address of the relocation really within the section? */
231 if (reloc_entry->address > bfd_get_section_limit (abfd, input_section))
232 return bfd_reloc_outofrange;
234 if (bfd_is_und_section (symbol->section)
235 && (symbol->flags & BSF_WEAK) == 0
236 && !relocatable)
237 return bfd_reloc_undefined;
239 output_section = symbol->section->output_section;
240 relocation = symbol->value;
241 /* Convert input-section-relative symbol value to absolute. */
242 if (relocatable)
243 output_base = 0;
244 else
245 output_base = output_section->vma;
247 if ((symbol->name
248 && symbol->section->name
249 && !strcmp (symbol->name, symbol->section->name))
250 || !relocatable)
252 relocation += output_base + symbol->section->output_offset;
255 relocation += reloc_entry->addend;
257 if (relocatable)
259 /* This output will be relocatable ... like ld -r. */
260 reloc_entry->address += input_section->output_offset;
261 reloc_entry->addend += symbol->section->output_offset;
263 else
265 reloc_entry->addend = 0;
268 /* Here the variable relocation holds the final address of the
269 symbol we are relocating against, plus any addend. */
270 x = relocation & 0xFFFF0000;
271 x >>=16;
272 bfd_put_16 (abfd, x, (unsigned char *) data + addr + 2);
274 x = relocation & 0x0000FFFF;
275 bfd_put_16 (abfd, x, (unsigned char *) data + addr);
276 return bfd_reloc_ok;
279 /* bfin_bfd_reloc handles the blackfin arithmetic relocations.
280 Use this instead of bfd_perform_relocation. */
281 static bfd_reloc_status_type
282 bfin_bfd_reloc (bfd *abfd,
283 arelent *reloc_entry,
284 asymbol *symbol,
285 PTR data,
286 asection *input_section,
287 bfd *output_bfd,
288 char **error_message ATTRIBUTE_UNUSED)
290 bfd_vma relocation;
291 bfd_size_type addr = reloc_entry->address;
292 bfd_vma output_base = 0;
293 reloc_howto_type *howto = reloc_entry->howto;
294 asection *output_section;
295 bfd_boolean relocatable = (output_bfd != NULL);
297 /* Is the address of the relocation really within the section? */
298 if (reloc_entry->address > bfd_get_section_limit (abfd, input_section))
299 return bfd_reloc_outofrange;
301 if (bfd_is_und_section (symbol->section)
302 && (symbol->flags & BSF_WEAK) == 0
303 && !relocatable)
304 return bfd_reloc_undefined;
306 /* Get symbol value. (Common symbols are special.) */
307 if (bfd_is_com_section (symbol->section))
308 relocation = 0;
309 else
310 relocation = symbol->value;
312 output_section = symbol->section->output_section;
314 /* Convert input-section-relative symbol value to absolute. */
315 if (relocatable)
316 output_base = 0;
317 else
318 output_base = output_section->vma;
320 if (!relocatable || !strcmp (symbol->name, symbol->section->name))
321 relocation += output_base + symbol->section->output_offset;
323 if (!relocatable && !strcmp (symbol->name, symbol->section->name))
325 /* Add in supplied addend. */
326 relocation += reloc_entry->addend;
329 /* Here the variable relocation holds the final address of the
330 symbol we are relocating against, plus any addend. */
332 if (howto->pc_relative == TRUE)
334 relocation -= input_section->output_section->vma + input_section->output_offset;
336 if (howto->pcrel_offset == TRUE)
337 relocation -= reloc_entry->address;
340 if (relocatable)
342 reloc_entry->address += input_section->output_offset;
343 reloc_entry->addend += symbol->section->output_offset;
346 if (howto->complain_on_overflow != complain_overflow_dont)
348 bfd_reloc_status_type status;
350 status = bfd_check_overflow (howto->complain_on_overflow,
351 howto->bitsize,
352 howto->rightshift,
353 bfd_arch_bits_per_address(abfd),
354 relocation);
355 if (status != bfd_reloc_ok)
356 return status;
359 /* If rightshift is 1 and the number odd, return error. */
360 if (howto->rightshift && (relocation & 0x01))
362 fprintf(stderr, "relocation should be even number\n");
363 return bfd_reloc_overflow;
366 relocation >>= (bfd_vma) howto->rightshift;
368 /* Shift everything up to where it's going to be used. */
370 relocation <<= (bfd_vma) howto->bitpos;
372 #define DOIT(x) \
373 x = ( (x & ~howto->dst_mask) | (relocation & howto->dst_mask))
375 /* handle 8 and 16 bit relocations here. */
376 switch (howto->size)
378 case 0:
380 char x = bfd_get_8 (abfd, (char *) data + addr);
381 DOIT (x);
382 bfd_put_8 (abfd, x, (unsigned char *) data + addr);
384 break;
386 case 1:
388 unsigned short x = bfd_get_16 (abfd, (bfd_byte *) data + addr);
389 DOIT (x);
390 bfd_put_16 (abfd, (bfd_vma) x, (unsigned char *) data + addr);
392 break;
394 default:
395 return bfd_reloc_other;
398 return bfd_reloc_ok;
401 /* HOWTO Table for blackfin.
402 Blackfin relocations are fairly complicated.
403 Some of the salient features are
404 a. Even numbered offsets. A number of (not all) relocations are
405 even numbered. This means that the rightmost bit is not stored.
406 Needs to right shift by 1 and check to see if value is not odd
407 b. A relocation can be an expression. An expression takes on
408 a variety of relocations arranged in a stack.
409 As a result, we cannot use the standard generic function as special
410 function. We will have our own, which is very similar to the standard
411 generic function except that it understands how to get the value from
412 the relocation stack. . */
414 #define BFIN_RELOC_MIN 0
415 #define BFIN_RELOC_MAX 0x21
416 #define BFIN_GNUEXT_RELOC_MIN 0x40
417 #define BFIN_GNUEXT_RELOC_MAX 0x43
418 #define BFIN_ARELOC_MIN 0xE0
419 #define BFIN_ARELOC_MAX 0xF3
421 static reloc_howto_type bfin_howto_table [] =
423 /* This reloc does nothing. . */
424 HOWTO (R_unused0, /* type. */
425 0, /* rightshift. */
426 2, /* size (0 = byte, 1 = short, 2 = long). */
427 32, /* bitsize. */
428 FALSE, /* pc_relative. */
429 0, /* bitpos. */
430 complain_overflow_bitfield, /* complain_on_overflow. */
431 bfd_elf_generic_reloc, /* special_function. */
432 "R_unused0", /* name. */
433 FALSE, /* partial_inplace. */
434 0, /* src_mask. */
435 0, /* dst_mask. */
436 FALSE), /* pcrel_offset. */
438 HOWTO (R_pcrel5m2, /* type. */
439 1, /* rightshift. */
440 1, /* size (0 = byte, 1 = short, 2 = long).. */
441 4, /* bitsize. */
442 TRUE, /* pc_relative. */
443 0, /* bitpos. */
444 complain_overflow_unsigned, /* complain_on_overflow. */
445 bfin_bfd_reloc, /* special_function. */
446 "R_pcrel5m2", /* name. */
447 FALSE, /* partial_inplace. */
448 0, /* src_mask. */
449 0x0000000F, /* dst_mask. */
450 FALSE), /* pcrel_offset. */
452 HOWTO (R_unused1, /* type. */
453 0, /* rightshift. */
454 2, /* size (0 = byte, 1 = short, 2 = long). */
455 32, /* bitsize. */
456 FALSE, /* pc_relative. */
457 0, /* bitpos. */
458 complain_overflow_bitfield, /* complain_on_overflow. */
459 bfd_elf_generic_reloc, /* special_function. */
460 "R_unused1", /* name. */
461 FALSE, /* partial_inplace. */
462 0, /* src_mask. */
463 0, /* dst_mask. */
464 FALSE), /* pcrel_offset. */
466 HOWTO (R_pcrel10, /* type. */
467 1, /* rightshift. */
468 1, /* size (0 = byte, 1 = short, 2 = long). */
469 10, /* bitsize. */
470 TRUE, /* pc_relative. */
471 0, /* bitpos. */
472 complain_overflow_signed, /* complain_on_overflow. */
473 bfin_bfd_reloc, /* special_function. */
474 "R_pcrel10", /* name. */
475 FALSE, /* partial_inplace. */
476 0, /* src_mask. */
477 0x000003FF, /* dst_mask. */
478 TRUE), /* pcrel_offset. */
480 HOWTO (R_pcrel12_jump, /* type. */
481 1, /* rightshift. */
482 /* the offset is actually 13 bit
483 aligned on a word boundary so
484 only 12 bits have to be used.
485 Right shift the rightmost bit.. */
486 1, /* size (0 = byte, 1 = short, 2 = long). */
487 12, /* bitsize. */
488 TRUE, /* pc_relative. */
489 0, /* bitpos. */
490 complain_overflow_signed, /* complain_on_overflow. */
491 bfin_bfd_reloc, /* special_function. */
492 "R_pcrel12_jump", /* name. */
493 FALSE, /* partial_inplace. */
494 0, /* src_mask. */
495 0x0FFF, /* dst_mask. */
496 TRUE), /* pcrel_offset. */
498 HOWTO (R_rimm16, /* type. */
499 0, /* rightshift. */
500 1, /* size (0 = byte, 1 = short, 2 = long). */
501 16, /* bitsize. */
502 FALSE, /* pc_relative. */
503 0, /* bitpos. */
504 complain_overflow_signed, /* complain_on_overflow. */
505 bfin_imm16_reloc, /* special_function. */
506 "R_rimm16", /* name. */
507 FALSE, /* partial_inplace. */
508 0, /* src_mask. */
509 0x0000FFFF, /* dst_mask. */
510 TRUE), /* pcrel_offset. */
512 HOWTO (R_luimm16, /* type. */
513 0, /* rightshift. */
514 1, /* size (0 = byte, 1 = short, 2 = long). */
515 16, /* bitsize. */
516 FALSE, /* pc_relative. */
517 0, /* bitpos. */
518 complain_overflow_dont, /* complain_on_overflow. */
519 bfin_imm16_reloc, /* special_function. */
520 "R_luimm16", /* name. */
521 FALSE, /* partial_inplace. */
522 0, /* src_mask. */
523 0x0000FFFF, /* dst_mask. */
524 TRUE), /* pcrel_offset. */
526 HOWTO (R_huimm16, /* type. */
527 16, /* rightshift. */
528 1, /* size (0 = byte, 1 = short, 2 = long). */
529 16, /* bitsize. */
530 FALSE, /* pc_relative. */
531 0, /* bitpos. */
532 complain_overflow_unsigned, /* complain_on_overflow. */
533 bfin_imm16_reloc, /* special_function. */
534 "R_huimm16", /* name. */
535 FALSE, /* partial_inplace. */
536 0, /* src_mask. */
537 0x0000FFFF, /* dst_mask. */
538 TRUE), /* pcrel_offset. */
540 HOWTO (R_pcrel12_jump_s, /* type. */
541 1, /* rightshift. */
542 1, /* size (0 = byte, 1 = short, 2 = long). */
543 12, /* bitsize. */
544 TRUE, /* pc_relative. */
545 0, /* bitpos. */
546 complain_overflow_signed, /* complain_on_overflow. */
547 bfin_bfd_reloc, /* special_function. */
548 "R_pcrel12_jump_s", /* name. */
549 FALSE, /* partial_inplace. */
550 0, /* src_mask. */
551 0x00000FFF, /* dst_mask. */
552 TRUE), /* pcrel_offset. */
554 HOWTO (R_pcrel24_jump_x, /* type. */
555 1, /* rightshift. */
556 2, /* size (0 = byte, 1 = short, 2 = long). */
557 24, /* bitsize. */
558 TRUE, /* pc_relative. */
559 0, /* bitpos. */
560 complain_overflow_signed, /* complain_on_overflow. */
561 bfin_pcrel24_reloc, /* special_function. */
562 "R_pcrel24_jump_x", /* name. */
563 FALSE, /* partial_inplace. */
564 0, /* src_mask. */
565 0x00FFFFFF, /* dst_mask. */
566 TRUE), /* pcrel_offset. */
568 HOWTO (R_pcrel24, /* type. */
569 1, /* rightshift. */
570 2, /* size (0 = byte, 1 = short, 2 = long). */
571 24, /* bitsize. */
572 TRUE, /* pc_relative. */
573 0, /* bitpos. */
574 complain_overflow_signed, /* complain_on_overflow. */
575 bfin_pcrel24_reloc, /* special_function. */
576 "R_pcrel24", /* name. */
577 FALSE, /* partial_inplace. */
578 0, /* src_mask. */
579 0x00FFFFFF, /* dst_mask. */
580 TRUE), /* pcrel_offset. */
582 HOWTO (R_unusedb, /* type. */
583 0, /* rightshift. */
584 2, /* size (0 = byte, 1 = short, 2 = long). */
585 32, /* bitsize. */
586 FALSE, /* pc_relative. */
587 0, /* bitpos. */
588 complain_overflow_dont, /* complain_on_overflow. */
589 bfd_elf_generic_reloc, /* special_function. */
590 "R_unusedb", /* name. */
591 FALSE, /* partial_inplace. */
592 0, /* src_mask. */
593 0, /* dst_mask. */
594 FALSE), /* pcrel_offset. */
596 HOWTO (R_unusedc, /* type. */
597 0, /* rightshift. */
598 2, /* size (0 = byte, 1 = short, 2 = long). */
599 32, /* bitsize. */
600 FALSE, /* pc_relative. */
601 0, /* bitpos. */
602 complain_overflow_dont, /* complain_on_overflow. */
603 bfd_elf_generic_reloc, /* special_function. */
604 "R_unusedc", /* name. */
605 FALSE, /* partial_inplace. */
606 0, /* src_mask. */
607 0, /* dst_mask. */
608 FALSE), /* pcrel_offset. */
610 HOWTO (R_pcrel24_jump_l, /* type. */
611 1, /* rightshift. */
612 2, /* size (0 = byte, 1 = short, 2 = long). */
613 24, /* bitsize. */
614 TRUE, /* pc_relative. */
615 0, /* bitpos. */
616 complain_overflow_signed, /* complain_on_overflow. */
617 bfin_pcrel24_reloc, /* special_function. */
618 "R_pcrel24_jump_l", /* name. */
619 FALSE, /* partial_inplace. */
620 0, /* src_mask. */
621 0x00FFFFFF, /* dst_mask. */
622 TRUE), /* pcrel_offset. */
624 HOWTO (R_pcrel24_call_x, /* type. */
625 1, /* rightshift. */
626 2, /* size (0 = byte, 1 = short, 2 = long). */
627 24, /* bitsize. */
628 TRUE, /* pc_relative. */
629 0, /* bitpos. */
630 complain_overflow_signed, /* complain_on_overflow. */
631 bfin_pcrel24_reloc, /* special_function. */
632 "R_pcrel24_call_x", /* name. */
633 FALSE, /* partial_inplace. */
634 0, /* src_mask. */
635 0x00FFFFFF, /* dst_mask. */
636 TRUE), /* pcrel_offset. */
638 HOWTO (R_var_eq_symb, /* type. */
639 0, /* rightshift. */
640 2, /* size (0 = byte, 1 = short, 2 = long). */
641 32, /* bitsize. */
642 FALSE, /* pc_relative. */
643 0, /* bitpos. */
644 complain_overflow_bitfield, /* complain_on_overflow. */
645 bfin_bfd_reloc, /* special_function. */
646 "R_var_eq_symb", /* name. */
647 FALSE, /* partial_inplace. */
648 0, /* src_mask. */
649 0, /* dst_mask. */
650 FALSE), /* pcrel_offset. */
652 HOWTO (R_byte_data, /* type. */
653 0, /* rightshift. */
654 0, /* size (0 = byte, 1 = short, 2 = long). */
655 8, /* bitsize. */
656 FALSE, /* pc_relative. */
657 0, /* bitpos. */
658 complain_overflow_unsigned, /* complain_on_overflow. */
659 bfin_bfd_reloc, /* special_function. */
660 "R_byte_data", /* name. */
661 FALSE, /* partial_inplace. */
662 0, /* src_mask. */
663 0xFF, /* dst_mask. */
664 TRUE), /* pcrel_offset. */
666 HOWTO (R_byte2_data, /* type. */
667 0, /* rightshift. */
668 1, /* size (0 = byte, 1 = short, 2 = long). */
669 16, /* bitsize. */
670 FALSE, /* pc_relative. */
671 0, /* bitpos. */
672 complain_overflow_signed, /* complain_on_overflow. */
673 bfin_bfd_reloc, /* special_function. */
674 "R_byte2_data", /* name. */
675 FALSE, /* partial_inplace. */
676 0, /* src_mask. */
677 0xFFFF, /* dst_mask. */
678 TRUE), /* pcrel_offset. */
680 HOWTO (R_byte4_data, /* type. */
681 0, /* rightshift. */
682 2, /* size (0 = byte, 1 = short, 2 = long). */
683 32, /* bitsize. */
684 FALSE, /* pc_relative. */
685 0, /* bitpos. */
686 complain_overflow_unsigned, /* complain_on_overflow. */
687 bfin_byte4_reloc, /* special_function. */
688 "R_byte4_data", /* name. */
689 FALSE, /* partial_inplace. */
690 0, /* src_mask. */
691 0xFFFFFFFF, /* dst_mask. */
692 TRUE), /* pcrel_offset. */
694 HOWTO (R_pcrel11, /* type. */
695 1, /* rightshift. */
696 1, /* size (0 = byte, 1 = short, 2 = long). */
697 10, /* bitsize. */
698 TRUE, /* pc_relative. */
699 0, /* bitpos. */
700 complain_overflow_unsigned, /* complain_on_overflow. */
701 bfin_bfd_reloc, /* special_function. */
702 "R_pcrel11", /* name. */
703 FALSE, /* partial_inplace. */
704 0, /* src_mask. */
705 0x000003FF, /* dst_mask. */
706 FALSE), /* pcrel_offset. */
709 /* A 18-bit signed operand with the GOT offset for the address of
710 the symbol. */
711 HOWTO (R_BFIN_GOT17M4, /* type */
712 2, /* rightshift */
713 1, /* size (0 = byte, 1 = short, 2 = long) */
714 16, /* bitsize */
715 FALSE, /* pc_relative */
716 0, /* bitpos */
717 complain_overflow_signed, /* complain_on_overflow */
718 bfd_elf_generic_reloc, /* special_function */
719 "R_BFIN_GOT17M4", /* name */
720 FALSE, /* partial_inplace */
721 0xffff, /* src_mask */
722 0xffff, /* dst_mask */
723 FALSE), /* pcrel_offset */
725 /* The upper 16 bits of the GOT offset for the address of the
726 symbol. */
727 HOWTO (R_BFIN_GOTHI, /* type */
728 0, /* rightshift */
729 1, /* size (0 = byte, 1 = short, 2 = long) */
730 16, /* bitsize */
731 FALSE, /* pc_relative */
732 0, /* bitpos */
733 complain_overflow_dont, /* complain_on_overflow */
734 bfd_elf_generic_reloc, /* special_function */
735 "R_BFIN_GOTHI", /* name */
736 FALSE, /* partial_inplace */
737 0xffff, /* src_mask */
738 0xffff, /* dst_mask */
739 FALSE), /* pcrel_offset */
741 /* The lower 16 bits of the GOT offset for the address of the
742 symbol. */
743 HOWTO (R_BFIN_GOTLO, /* type */
744 0, /* rightshift */
745 1, /* size (0 = byte, 1 = short, 2 = long) */
746 16, /* bitsize */
747 FALSE, /* pc_relative */
748 0, /* bitpos */
749 complain_overflow_dont, /* complain_on_overflow */
750 bfd_elf_generic_reloc, /* special_function */
751 "R_BFIN_GOTLO", /* name */
752 FALSE, /* partial_inplace */
753 0xffff, /* src_mask */
754 0xffff, /* dst_mask */
755 FALSE), /* pcrel_offset */
757 /* The 32-bit address of the canonical descriptor of a function. */
758 HOWTO (R_BFIN_FUNCDESC, /* type */
759 0, /* rightshift */
760 2, /* size (0 = byte, 1 = short, 2 = long) */
761 32, /* bitsize */
762 FALSE, /* pc_relative */
763 0, /* bitpos */
764 complain_overflow_bitfield, /* complain_on_overflow */
765 bfd_elf_generic_reloc, /* special_function */
766 "R_BFIN_FUNCDESC", /* name */
767 FALSE, /* partial_inplace */
768 0xffffffff, /* src_mask */
769 0xffffffff, /* dst_mask */
770 FALSE), /* pcrel_offset */
772 /* A 12-bit signed operand with the GOT offset for the address of
773 canonical descriptor of a function. */
774 HOWTO (R_BFIN_FUNCDESC_GOT17M4, /* type */
775 2, /* rightshift */
776 1, /* size (0 = byte, 1 = short, 2 = long) */
777 16, /* bitsize */
778 FALSE, /* pc_relative */
779 0, /* bitpos */
780 complain_overflow_signed, /* complain_on_overflow */
781 bfd_elf_generic_reloc, /* special_function */
782 "R_BFIN_FUNCDESC_GOT17M4", /* name */
783 FALSE, /* partial_inplace */
784 0xffff, /* src_mask */
785 0xffff, /* dst_mask */
786 FALSE), /* pcrel_offset */
788 /* The upper 16 bits of the GOT offset for the address of the
789 canonical descriptor of a function. */
790 HOWTO (R_BFIN_FUNCDESC_GOTHI, /* type */
791 0, /* rightshift */
792 1, /* size (0 = byte, 1 = short, 2 = long) */
793 16, /* bitsize */
794 FALSE, /* pc_relative */
795 0, /* bitpos */
796 complain_overflow_dont, /* complain_on_overflow */
797 bfd_elf_generic_reloc, /* special_function */
798 "R_BFIN_FUNCDESC_GOTHI", /* name */
799 FALSE, /* partial_inplace */
800 0xffff, /* src_mask */
801 0xffff, /* dst_mask */
802 FALSE), /* pcrel_offset */
804 /* The lower 16 bits of the GOT offset for the address of the
805 canonical descriptor of a function. */
806 HOWTO (R_BFIN_FUNCDESC_GOTLO, /* type */
807 0, /* rightshift */
808 1, /* size (0 = byte, 1 = short, 2 = long) */
809 16, /* bitsize */
810 FALSE, /* pc_relative */
811 0, /* bitpos */
812 complain_overflow_dont, /* complain_on_overflow */
813 bfd_elf_generic_reloc, /* special_function */
814 "R_BFIN_FUNCDESC_GOTLO", /* name */
815 FALSE, /* partial_inplace */
816 0xffff, /* src_mask */
817 0xffff, /* dst_mask */
818 FALSE), /* pcrel_offset */
820 /* The 32-bit address of the canonical descriptor of a function. */
821 HOWTO (R_BFIN_FUNCDESC_VALUE, /* type */
822 0, /* rightshift */
823 2, /* size (0 = byte, 1 = short, 2 = long) */
824 64, /* bitsize */
825 FALSE, /* pc_relative */
826 0, /* bitpos */
827 complain_overflow_bitfield, /* complain_on_overflow */
828 bfd_elf_generic_reloc, /* special_function */
829 "R_BFIN_FUNCDESC_VALUE", /* name */
830 FALSE, /* partial_inplace */
831 0xffffffff, /* src_mask */
832 0xffffffff, /* dst_mask */
833 FALSE), /* pcrel_offset */
835 /* A 12-bit signed operand with the GOT offset for the address of
836 canonical descriptor of a function. */
837 HOWTO (R_BFIN_FUNCDESC_GOTOFF17M4, /* type */
838 2, /* rightshift */
839 1, /* size (0 = byte, 1 = short, 2 = long) */
840 16, /* bitsize */
841 FALSE, /* pc_relative */
842 0, /* bitpos */
843 complain_overflow_signed, /* complain_on_overflow */
844 bfd_elf_generic_reloc, /* special_function */
845 "R_BFIN_FUNCDESC_GOTOFF17M4", /* name */
846 FALSE, /* partial_inplace */
847 0xffff, /* src_mask */
848 0xffff, /* dst_mask */
849 FALSE), /* pcrel_offset */
851 /* The upper 16 bits of the GOT offset for the address of the
852 canonical descriptor of a function. */
853 HOWTO (R_BFIN_FUNCDESC_GOTOFFHI, /* type */
854 0, /* rightshift */
855 1, /* size (0 = byte, 1 = short, 2 = long) */
856 16, /* bitsize */
857 FALSE, /* pc_relative */
858 0, /* bitpos */
859 complain_overflow_dont, /* complain_on_overflow */
860 bfd_elf_generic_reloc, /* special_function */
861 "R_BFIN_FUNCDESC_GOTOFFHI", /* name */
862 FALSE, /* partial_inplace */
863 0xffff, /* src_mask */
864 0xffff, /* dst_mask */
865 FALSE), /* pcrel_offset */
867 /* The lower 16 bits of the GOT offset for the address of the
868 canonical descriptor of a function. */
869 HOWTO (R_BFIN_FUNCDESC_GOTOFFLO, /* type */
870 0, /* rightshift */
871 1, /* size (0 = byte, 1 = short, 2 = long) */
872 16, /* bitsize */
873 FALSE, /* pc_relative */
874 0, /* bitpos */
875 complain_overflow_dont, /* complain_on_overflow */
876 bfd_elf_generic_reloc, /* special_function */
877 "R_BFIN_FUNCDESC_GOTOFFLO", /* name */
878 FALSE, /* partial_inplace */
879 0xffff, /* src_mask */
880 0xffff, /* dst_mask */
881 FALSE), /* pcrel_offset */
883 /* A 12-bit signed operand with the GOT offset for the address of
884 the symbol. */
885 HOWTO (R_BFIN_GOTOFF17M4, /* type */
886 2, /* rightshift */
887 1, /* size (0 = byte, 1 = short, 2 = long) */
888 16, /* bitsize */
889 FALSE, /* pc_relative */
890 0, /* bitpos */
891 complain_overflow_signed, /* complain_on_overflow */
892 bfd_elf_generic_reloc, /* special_function */
893 "R_BFIN_GOTOFF17M4", /* name */
894 FALSE, /* partial_inplace */
895 0xffff, /* src_mask */
896 0xffff, /* dst_mask */
897 FALSE), /* pcrel_offset */
899 /* The upper 16 bits of the GOT offset for the address of the
900 symbol. */
901 HOWTO (R_BFIN_GOTOFFHI, /* type */
902 0, /* rightshift */
903 1, /* size (0 = byte, 1 = short, 2 = long) */
904 16, /* bitsize */
905 FALSE, /* pc_relative */
906 0, /* bitpos */
907 complain_overflow_dont, /* complain_on_overflow */
908 bfd_elf_generic_reloc, /* special_function */
909 "R_BFIN_GOTOFFHI", /* name */
910 FALSE, /* partial_inplace */
911 0xffff, /* src_mask */
912 0xffff, /* dst_mask */
913 FALSE), /* pcrel_offset */
915 /* The lower 16 bits of the GOT offset for the address of the
916 symbol. */
917 HOWTO (R_BFIN_GOTOFFLO, /* type */
918 0, /* rightshift */
919 1, /* size (0 = byte, 1 = short, 2 = long) */
920 16, /* bitsize */
921 FALSE, /* pc_relative */
922 0, /* bitpos */
923 complain_overflow_dont, /* complain_on_overflow */
924 bfd_elf_generic_reloc, /* special_function */
925 "R_BFIN_GOTOFFLO", /* name */
926 FALSE, /* partial_inplace */
927 0xffff, /* src_mask */
928 0xffff, /* dst_mask */
929 FALSE), /* pcrel_offset */
932 static reloc_howto_type bfin_gnuext_howto_table [] =
934 HOWTO (R_pltpc, /* type. */
935 0, /* rightshift. */
936 1, /* size (0 = byte, 1 = short, 2 = long). */
937 16, /* bitsize. */
938 FALSE, /* pc_relative. */
939 0, /* bitpos. */
940 complain_overflow_bitfield, /* complain_on_overflow. */
941 bfin_pltpc_reloc, /* special_function. */
942 "R_pltpc", /* name. */
943 FALSE, /* partial_inplace. */
944 0xffff, /* src_mask. */
945 0xffff, /* dst_mask. */
946 FALSE), /* pcrel_offset. */
948 HOWTO (R_got, /* type. */
949 0, /* rightshift. */
950 1, /* size (0 = byte, 1 = short, 2 = long). */
951 16, /* bitsize. */
952 FALSE, /* pc_relative. */
953 0, /* bitpos. */
954 complain_overflow_bitfield, /* complain_on_overflow. */
955 bfd_elf_generic_reloc, /* special_function. */
956 "R_got", /* name. */
957 FALSE, /* partial_inplace. */
958 0x7fff, /* src_mask. */
959 0x7fff, /* dst_mask. */
960 FALSE), /* pcrel_offset. */
962 /* GNU extension to record C++ vtable hierarchy. */
963 HOWTO (R_BFIN_GNU_VTINHERIT, /* type. */
964 0, /* rightshift. */
965 2, /* size (0 = byte, 1 = short, 2 = long). */
966 0, /* bitsize. */
967 FALSE, /* pc_relative. */
968 0, /* bitpos. */
969 complain_overflow_dont, /* complain_on_overflow. */
970 NULL, /* special_function. */
971 "R_BFIN_GNU_VTINHERIT", /* name. */
972 FALSE, /* partial_inplace. */
973 0, /* src_mask. */
974 0, /* dst_mask. */
975 FALSE), /* pcrel_offset. */
977 /* GNU extension to record C++ vtable member usage. */
978 HOWTO (R_BFIN_GNU_VTENTRY, /* type. */
979 0, /* rightshift. */
980 2, /* size (0 = byte, 1 = short, 2 = long). */
981 0, /* bitsize. */
982 FALSE, /* pc_relative. */
983 0, /* bitpos. */
984 complain_overflow_dont, /* complain_on_overflow. */
985 _bfd_elf_rel_vtable_reloc_fn, /* special_function. */
986 "R_BFIN_GNU_VTENTRY", /* name. */
987 FALSE, /* partial_inplace. */
988 0, /* src_mask. */
989 0, /* dst_mask. */
990 FALSE) /* pcrel_offset. */
993 struct bfin_reloc_map
995 bfd_reloc_code_real_type bfd_reloc_val;
996 unsigned int bfin_reloc_val;
999 static const struct bfin_reloc_map bfin_reloc_map [] =
1001 { BFD_RELOC_NONE, R_unused0 },
1002 { BFD_RELOC_BFIN_5_PCREL, R_pcrel5m2 },
1003 { BFD_RELOC_NONE, R_unused1 },
1004 { BFD_RELOC_BFIN_10_PCREL, R_pcrel10 },
1005 { BFD_RELOC_BFIN_12_PCREL_JUMP, R_pcrel12_jump },
1006 { BFD_RELOC_BFIN_16_IMM, R_rimm16 },
1007 { BFD_RELOC_BFIN_16_LOW, R_luimm16 },
1008 { BFD_RELOC_BFIN_16_HIGH, R_huimm16 },
1009 { BFD_RELOC_BFIN_12_PCREL_JUMP_S, R_pcrel12_jump_s },
1010 { BFD_RELOC_24_PCREL, R_pcrel24 },
1011 { BFD_RELOC_24_PCREL, R_pcrel24 },
1012 { BFD_RELOC_BFIN_24_PCREL_JUMP_L, R_pcrel24_jump_l },
1013 { BFD_RELOC_NONE, R_unusedb },
1014 { BFD_RELOC_NONE, R_unusedc },
1015 { BFD_RELOC_BFIN_24_PCREL_CALL_X, R_pcrel24_call_x },
1016 { BFD_RELOC_8, R_byte_data },
1017 { BFD_RELOC_16, R_byte2_data },
1018 { BFD_RELOC_32, R_byte4_data },
1019 { BFD_RELOC_BFIN_11_PCREL, R_pcrel11 },
1020 { BFD_RELOC_BFIN_GOT, R_got },
1021 { BFD_RELOC_BFIN_PLTPC, R_pltpc },
1023 { BFD_RELOC_BFIN_GOT17M4, R_BFIN_GOT17M4 },
1024 { BFD_RELOC_BFIN_GOTHI, R_BFIN_GOTHI },
1025 { BFD_RELOC_BFIN_GOTLO, R_BFIN_GOTLO },
1026 { BFD_RELOC_BFIN_FUNCDESC, R_BFIN_FUNCDESC },
1027 { BFD_RELOC_BFIN_FUNCDESC_GOT17M4, R_BFIN_FUNCDESC_GOT17M4 },
1028 { BFD_RELOC_BFIN_FUNCDESC_GOTHI, R_BFIN_FUNCDESC_GOTHI },
1029 { BFD_RELOC_BFIN_FUNCDESC_GOTLO, R_BFIN_FUNCDESC_GOTLO },
1030 { BFD_RELOC_BFIN_FUNCDESC_VALUE, R_BFIN_FUNCDESC_VALUE },
1031 { BFD_RELOC_BFIN_FUNCDESC_GOTOFF17M4, R_BFIN_FUNCDESC_GOTOFF17M4 },
1032 { BFD_RELOC_BFIN_FUNCDESC_GOTOFFHI, R_BFIN_FUNCDESC_GOTOFFHI },
1033 { BFD_RELOC_BFIN_FUNCDESC_GOTOFFLO, R_BFIN_FUNCDESC_GOTOFFLO },
1034 { BFD_RELOC_BFIN_GOTOFF17M4, R_BFIN_GOTOFF17M4 },
1035 { BFD_RELOC_BFIN_GOTOFFHI, R_BFIN_GOTOFFHI },
1036 { BFD_RELOC_BFIN_GOTOFFLO, R_BFIN_GOTOFFLO },
1038 { BFD_RELOC_VTABLE_INHERIT, R_BFIN_GNU_VTINHERIT },
1039 { BFD_RELOC_VTABLE_ENTRY, R_BFIN_GNU_VTENTRY },
1043 static void
1044 bfin_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED,
1045 arelent *cache_ptr,
1046 Elf_Internal_Rela *dst)
1048 unsigned int r_type;
1050 r_type = ELF32_R_TYPE (dst->r_info);
1052 if (r_type <= BFIN_RELOC_MAX)
1053 cache_ptr->howto = &bfin_howto_table [r_type];
1055 else if (r_type >= BFIN_GNUEXT_RELOC_MIN && r_type <= BFIN_GNUEXT_RELOC_MAX)
1056 cache_ptr->howto = &bfin_gnuext_howto_table [r_type - BFIN_GNUEXT_RELOC_MIN];
1058 else
1059 cache_ptr->howto = (reloc_howto_type *) NULL;
1062 /* Given a BFD reloc type, return the howto. */
1063 static reloc_howto_type *
1064 bfin_bfd_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
1065 bfd_reloc_code_real_type code)
1067 unsigned int i;
1068 unsigned int r_type = BFIN_RELOC_MIN;
1070 for (i = sizeof (bfin_reloc_map) / sizeof (bfin_reloc_map[0]); --i;)
1071 if (bfin_reloc_map[i].bfd_reloc_val == code)
1072 r_type = bfin_reloc_map[i].bfin_reloc_val;
1074 if (r_type <= BFIN_RELOC_MAX && r_type > BFIN_RELOC_MIN)
1075 return &bfin_howto_table [r_type];
1077 else if (r_type >= BFIN_GNUEXT_RELOC_MIN && r_type <= BFIN_GNUEXT_RELOC_MAX)
1078 return &bfin_gnuext_howto_table [r_type - BFIN_GNUEXT_RELOC_MIN];
1080 return (reloc_howto_type *) NULL;
1083 static reloc_howto_type *
1084 bfin_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
1085 const char *r_name)
1087 unsigned int i;
1089 for (i = 0;
1090 i < (sizeof (bfin_howto_table)
1091 / sizeof (bfin_howto_table[0]));
1092 i++)
1093 if (bfin_howto_table[i].name != NULL
1094 && strcasecmp (bfin_howto_table[i].name, r_name) == 0)
1095 return &bfin_howto_table[i];
1097 for (i = 0;
1098 i < (sizeof (bfin_gnuext_howto_table)
1099 / sizeof (bfin_gnuext_howto_table[0]));
1100 i++)
1101 if (bfin_gnuext_howto_table[i].name != NULL
1102 && strcasecmp (bfin_gnuext_howto_table[i].name, r_name) == 0)
1103 return &bfin_gnuext_howto_table[i];
1105 return NULL;
1108 /* Given a bfin relocation type, return the howto. */
1109 static reloc_howto_type *
1110 bfin_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
1111 unsigned int r_type)
1113 if (r_type <= BFIN_RELOC_MAX)
1114 return &bfin_howto_table [r_type];
1116 else if (r_type >= BFIN_GNUEXT_RELOC_MIN && r_type <= BFIN_GNUEXT_RELOC_MAX)
1117 return &bfin_gnuext_howto_table [r_type - BFIN_GNUEXT_RELOC_MIN];
1119 return (reloc_howto_type *) NULL;
1122 /* Return TRUE if the name is a local label.
1123 bfin local labels begin with L$. */
1124 static bfd_boolean
1125 bfin_is_local_label_name (
1126 bfd *abfd ATTRIBUTE_UNUSED,
1127 const char *label)
1129 if (label[0] == 'L' && label[1] == '$' )
1130 return TRUE;
1132 return _bfd_elf_is_local_label_name (abfd, label);
1135 extern const bfd_target bfd_elf32_bfinfdpic_vec;
1136 #define IS_FDPIC(bfd) ((bfd)->xvec == &bfd_elf32_bfinfdpic_vec)
1138 /* An extension of the elf hash table data structure, containing some
1139 additional Blackfin-specific data. */
1140 struct bfinfdpic_elf_link_hash_table
1142 struct elf_link_hash_table elf;
1144 /* A pointer to the .got section. */
1145 asection *sgot;
1146 /* A pointer to the .rel.got section. */
1147 asection *sgotrel;
1148 /* A pointer to the .rofixup section. */
1149 asection *sgotfixup;
1150 /* A pointer to the .plt section. */
1151 asection *splt;
1152 /* A pointer to the .rel.plt section. */
1153 asection *spltrel;
1154 /* GOT base offset. */
1155 bfd_vma got0;
1156 /* Location of the first non-lazy PLT entry, i.e., the number of
1157 bytes taken by lazy PLT entries. */
1158 bfd_vma plt0;
1159 /* A hash table holding information about which symbols were
1160 referenced with which PIC-related relocations. */
1161 struct htab *relocs_info;
1164 /* Get the Blackfin ELF linker hash table from a link_info structure. */
1166 #define bfinfdpic_hash_table(info) \
1167 ((struct bfinfdpic_elf_link_hash_table *) ((info)->hash))
1169 #define bfinfdpic_got_section(info) \
1170 (bfinfdpic_hash_table (info)->sgot)
1171 #define bfinfdpic_gotrel_section(info) \
1172 (bfinfdpic_hash_table (info)->sgotrel)
1173 #define bfinfdpic_gotfixup_section(info) \
1174 (bfinfdpic_hash_table (info)->sgotfixup)
1175 #define bfinfdpic_plt_section(info) \
1176 (bfinfdpic_hash_table (info)->splt)
1177 #define bfinfdpic_pltrel_section(info) \
1178 (bfinfdpic_hash_table (info)->spltrel)
1179 #define bfinfdpic_relocs_info(info) \
1180 (bfinfdpic_hash_table (info)->relocs_info)
1181 #define bfinfdpic_got_initial_offset(info) \
1182 (bfinfdpic_hash_table (info)->got0)
1183 #define bfinfdpic_plt_initial_offset(info) \
1184 (bfinfdpic_hash_table (info)->plt0)
1186 /* Create a Blackfin ELF linker hash table. */
1188 static struct bfd_link_hash_table *
1189 bfinfdpic_elf_link_hash_table_create (bfd *abfd)
1191 struct bfinfdpic_elf_link_hash_table *ret;
1192 bfd_size_type amt = sizeof (struct bfinfdpic_elf_link_hash_table);
1194 ret = bfd_zalloc (abfd, amt);
1195 if (ret == NULL)
1196 return NULL;
1198 if (!_bfd_elf_link_hash_table_init (&ret->elf, abfd,
1199 _bfd_elf_link_hash_newfunc,
1200 sizeof (struct elf_link_hash_entry)))
1202 free (ret);
1203 return NULL;
1206 return &ret->elf.root;
1209 /* Decide whether a reference to a symbol can be resolved locally or
1210 not. If the symbol is protected, we want the local address, but
1211 its function descriptor must be assigned by the dynamic linker. */
1212 #define BFINFDPIC_SYM_LOCAL(INFO, H) \
1213 (_bfd_elf_symbol_refs_local_p ((H), (INFO), 1) \
1214 || ! elf_hash_table (INFO)->dynamic_sections_created)
1215 #define BFINFDPIC_FUNCDESC_LOCAL(INFO, H) \
1216 ((H)->dynindx == -1 || ! elf_hash_table (INFO)->dynamic_sections_created)
1218 /* This structure collects information on what kind of GOT, PLT or
1219 function descriptors are required by relocations that reference a
1220 certain symbol. */
1221 struct bfinfdpic_relocs_info
1223 /* The index of the symbol, as stored in the relocation r_info, if
1224 we have a local symbol; -1 otherwise. */
1225 long symndx;
1226 union
1228 /* The input bfd in which the symbol is defined, if it's a local
1229 symbol. */
1230 bfd *abfd;
1231 /* If symndx == -1, the hash table entry corresponding to a global
1232 symbol (even if it turns out to bind locally, in which case it
1233 should ideally be replaced with section's symndx + addend). */
1234 struct elf_link_hash_entry *h;
1235 } d;
1236 /* The addend of the relocation that references the symbol. */
1237 bfd_vma addend;
1239 /* The fields above are used to identify an entry. The fields below
1240 contain information on how an entry is used and, later on, which
1241 locations it was assigned. */
1242 /* The following 2 fields record whether the symbol+addend above was
1243 ever referenced with a GOT relocation. The 17M4 suffix indicates a
1244 GOT17M4 relocation; hilo is used for GOTLO/GOTHI pairs. */
1245 unsigned got17m4;
1246 unsigned gothilo;
1247 /* Whether a FUNCDESC relocation references symbol+addend. */
1248 unsigned fd;
1249 /* Whether a FUNCDESC_GOT relocation references symbol+addend. */
1250 unsigned fdgot17m4;
1251 unsigned fdgothilo;
1252 /* Whether a FUNCDESC_GOTOFF relocation references symbol+addend. */
1253 unsigned fdgoff17m4;
1254 unsigned fdgoffhilo;
1255 /* Whether symbol+addend is referenced with GOTOFF17M4, GOTOFFLO or
1256 GOTOFFHI relocations. The addend doesn't really matter, since we
1257 envision that this will only be used to check whether the symbol
1258 is mapped to the same segment as the got. */
1259 unsigned gotoff;
1260 /* Whether symbol+addend is referenced by a LABEL24 relocation. */
1261 unsigned call;
1262 /* Whether symbol+addend is referenced by a 32 or FUNCDESC_VALUE
1263 relocation. */
1264 unsigned sym;
1265 /* Whether we need a PLT entry for a symbol. Should be implied by
1266 something like:
1267 (call && symndx == -1 && ! BFINFDPIC_SYM_LOCAL (info, d.h)) */
1268 unsigned plt:1;
1269 /* Whether a function descriptor should be created in this link unit
1270 for symbol+addend. Should be implied by something like:
1271 (plt || fdgotoff17m4 || fdgotofflohi
1272 || ((fd || fdgot17m4 || fdgothilo)
1273 && (symndx != -1 || BFINFDPIC_FUNCDESC_LOCAL (info, d.h)))) */
1274 unsigned privfd:1;
1275 /* Whether a lazy PLT entry is needed for this symbol+addend.
1276 Should be implied by something like:
1277 (privfd && symndx == -1 && ! BFINFDPIC_SYM_LOCAL (info, d.h)
1278 && ! (info->flags & DF_BIND_NOW)) */
1279 unsigned lazyplt:1;
1280 /* Whether we've already emitted GOT relocations and PLT entries as
1281 needed for this symbol. */
1282 unsigned done:1;
1284 /* The number of R_byte4_data, R_BFIN_FUNCDESC and R_BFIN_FUNCDESC_VALUE
1285 relocations referencing the symbol. */
1286 unsigned relocs32, relocsfd, relocsfdv;
1288 /* The number of .rofixups entries and dynamic relocations allocated
1289 for this symbol, minus any that might have already been used. */
1290 unsigned fixups, dynrelocs;
1292 /* The offsets of the GOT entries assigned to symbol+addend, to the
1293 function descriptor's address, and to a function descriptor,
1294 respectively. Should be zero if unassigned. The offsets are
1295 counted from the value that will be assigned to the PIC register,
1296 not from the beginning of the .got section. */
1297 bfd_signed_vma got_entry, fdgot_entry, fd_entry;
1298 /* The offsets of the PLT entries assigned to symbol+addend,
1299 non-lazy and lazy, respectively. If unassigned, should be
1300 (bfd_vma)-1. */
1301 bfd_vma plt_entry, lzplt_entry;
1304 /* Compute a hash with the key fields of an bfinfdpic_relocs_info entry. */
1305 static hashval_t
1306 bfinfdpic_relocs_info_hash (const void *entry_)
1308 const struct bfinfdpic_relocs_info *entry = entry_;
1310 return (entry->symndx == -1
1311 ? (long) entry->d.h->root.root.hash
1312 : entry->symndx + (long) entry->d.abfd->id * 257) + entry->addend;
1315 /* Test whether the key fields of two bfinfdpic_relocs_info entries are
1316 identical. */
1317 static int
1318 bfinfdpic_relocs_info_eq (const void *entry1, const void *entry2)
1320 const struct bfinfdpic_relocs_info *e1 = entry1;
1321 const struct bfinfdpic_relocs_info *e2 = entry2;
1323 return e1->symndx == e2->symndx && e1->addend == e2->addend
1324 && (e1->symndx == -1 ? e1->d.h == e2->d.h : e1->d.abfd == e2->d.abfd);
1327 /* Find or create an entry in a hash table HT that matches the key
1328 fields of the given ENTRY. If it's not found, memory for a new
1329 entry is allocated in ABFD's obstack. */
1330 static struct bfinfdpic_relocs_info *
1331 bfinfdpic_relocs_info_find (struct htab *ht,
1332 bfd *abfd,
1333 const struct bfinfdpic_relocs_info *entry,
1334 enum insert_option insert)
1336 struct bfinfdpic_relocs_info **loc =
1337 (struct bfinfdpic_relocs_info **) htab_find_slot (ht, entry, insert);
1339 if (! loc)
1340 return NULL;
1342 if (*loc)
1343 return *loc;
1345 *loc = bfd_zalloc (abfd, sizeof (**loc));
1347 if (! *loc)
1348 return *loc;
1350 (*loc)->symndx = entry->symndx;
1351 (*loc)->d = entry->d;
1352 (*loc)->addend = entry->addend;
1353 (*loc)->plt_entry = (bfd_vma)-1;
1354 (*loc)->lzplt_entry = (bfd_vma)-1;
1356 return *loc;
1359 /* Obtain the address of the entry in HT associated with H's symbol +
1360 addend, creating a new entry if none existed. ABFD is only used
1361 for memory allocation purposes. */
1362 inline static struct bfinfdpic_relocs_info *
1363 bfinfdpic_relocs_info_for_global (struct htab *ht,
1364 bfd *abfd,
1365 struct elf_link_hash_entry *h,
1366 bfd_vma addend,
1367 enum insert_option insert)
1369 struct bfinfdpic_relocs_info entry;
1371 entry.symndx = -1;
1372 entry.d.h = h;
1373 entry.addend = addend;
1375 return bfinfdpic_relocs_info_find (ht, abfd, &entry, insert);
1378 /* Obtain the address of the entry in HT associated with the SYMNDXth
1379 local symbol of the input bfd ABFD, plus the addend, creating a new
1380 entry if none existed. */
1381 inline static struct bfinfdpic_relocs_info *
1382 bfinfdpic_relocs_info_for_local (struct htab *ht,
1383 bfd *abfd,
1384 long symndx,
1385 bfd_vma addend,
1386 enum insert_option insert)
1388 struct bfinfdpic_relocs_info entry;
1390 entry.symndx = symndx;
1391 entry.d.abfd = abfd;
1392 entry.addend = addend;
1394 return bfinfdpic_relocs_info_find (ht, abfd, &entry, insert);
1397 /* Merge fields set by check_relocs() of two entries that end up being
1398 mapped to the same (presumably global) symbol. */
1400 inline static void
1401 bfinfdpic_pic_merge_early_relocs_info (struct bfinfdpic_relocs_info *e2,
1402 struct bfinfdpic_relocs_info const *e1)
1404 e2->got17m4 |= e1->got17m4;
1405 e2->gothilo |= e1->gothilo;
1406 e2->fd |= e1->fd;
1407 e2->fdgot17m4 |= e1->fdgot17m4;
1408 e2->fdgothilo |= e1->fdgothilo;
1409 e2->fdgoff17m4 |= e1->fdgoff17m4;
1410 e2->fdgoffhilo |= e1->fdgoffhilo;
1411 e2->gotoff |= e1->gotoff;
1412 e2->call |= e1->call;
1413 e2->sym |= e1->sym;
1416 /* Every block of 65535 lazy PLT entries shares a single call to the
1417 resolver, inserted in the 32768th lazy PLT entry (i.e., entry #
1418 32767, counting from 0). All other lazy PLT entries branch to it
1419 in a single instruction. */
1421 #define LZPLT_RESOLVER_EXTRA 10
1422 #define LZPLT_NORMAL_SIZE 6
1423 #define LZPLT_ENTRIES 1362
1425 #define BFINFDPIC_LZPLT_BLOCK_SIZE ((bfd_vma) LZPLT_NORMAL_SIZE * LZPLT_ENTRIES + LZPLT_RESOLVER_EXTRA)
1426 #define BFINFDPIC_LZPLT_RESOLV_LOC (LZPLT_NORMAL_SIZE * LZPLT_ENTRIES / 2)
1428 /* Add a dynamic relocation to the SRELOC section. */
1430 inline static bfd_vma
1431 _bfinfdpic_add_dyn_reloc (bfd *output_bfd, asection *sreloc, bfd_vma offset,
1432 int reloc_type, long dynindx, bfd_vma addend,
1433 struct bfinfdpic_relocs_info *entry)
1435 Elf_Internal_Rela outrel;
1436 bfd_vma reloc_offset;
1438 outrel.r_offset = offset;
1439 outrel.r_info = ELF32_R_INFO (dynindx, reloc_type);
1440 outrel.r_addend = addend;
1442 reloc_offset = sreloc->reloc_count * sizeof (Elf32_External_Rel);
1443 BFD_ASSERT (reloc_offset < sreloc->size);
1444 bfd_elf32_swap_reloc_out (output_bfd, &outrel,
1445 sreloc->contents + reloc_offset);
1446 sreloc->reloc_count++;
1448 /* If the entry's index is zero, this relocation was probably to a
1449 linkonce section that got discarded. We reserved a dynamic
1450 relocation, but it was for another entry than the one we got at
1451 the time of emitting the relocation. Unfortunately there's no
1452 simple way for us to catch this situation, since the relocation
1453 is cleared right before calling relocate_section, at which point
1454 we no longer know what the relocation used to point to. */
1455 if (entry->symndx)
1457 BFD_ASSERT (entry->dynrelocs > 0);
1458 entry->dynrelocs--;
1461 return reloc_offset;
1464 /* Add a fixup to the ROFIXUP section. */
1466 static bfd_vma
1467 _bfinfdpic_add_rofixup (bfd *output_bfd, asection *rofixup, bfd_vma offset,
1468 struct bfinfdpic_relocs_info *entry)
1470 bfd_vma fixup_offset;
1472 if (rofixup->flags & SEC_EXCLUDE)
1473 return -1;
1475 fixup_offset = rofixup->reloc_count * 4;
1476 if (rofixup->contents)
1478 BFD_ASSERT (fixup_offset < rofixup->size);
1479 bfd_put_32 (output_bfd, offset, rofixup->contents + fixup_offset);
1481 rofixup->reloc_count++;
1483 if (entry && entry->symndx)
1485 /* See discussion about symndx == 0 in _bfinfdpic_add_dyn_reloc
1486 above. */
1487 BFD_ASSERT (entry->fixups > 0);
1488 entry->fixups--;
1491 return fixup_offset;
1494 /* Find the segment number in which OSEC, and output section, is
1495 located. */
1497 static unsigned
1498 _bfinfdpic_osec_to_segment (bfd *output_bfd, asection *osec)
1500 Elf_Internal_Phdr *p = _bfd_elf_find_segment_containing_section (output_bfd, osec);
1502 return (p != NULL) ? p - elf_tdata (output_bfd)->phdr : -1;
1505 inline static bfd_boolean
1506 _bfinfdpic_osec_readonly_p (bfd *output_bfd, asection *osec)
1508 unsigned seg = _bfinfdpic_osec_to_segment (output_bfd, osec);
1510 return ! (elf_tdata (output_bfd)->phdr[seg].p_flags & PF_W);
1513 /* Generate relocations for GOT entries, function descriptors, and
1514 code for PLT and lazy PLT entries. */
1516 inline static bfd_boolean
1517 _bfinfdpic_emit_got_relocs_plt_entries (struct bfinfdpic_relocs_info *entry,
1518 bfd *output_bfd,
1519 struct bfd_link_info *info,
1520 asection *sec,
1521 Elf_Internal_Sym *sym,
1522 bfd_vma addend)
1525 bfd_vma fd_lazy_rel_offset = (bfd_vma)-1;
1526 int dynindx = -1;
1528 if (entry->done)
1529 return TRUE;
1530 entry->done = 1;
1532 if (entry->got_entry || entry->fdgot_entry || entry->fd_entry)
1534 /* If the symbol is dynamic, consider it for dynamic
1535 relocations, otherwise decay to section + offset. */
1536 if (entry->symndx == -1 && entry->d.h->dynindx != -1)
1537 dynindx = entry->d.h->dynindx;
1538 else
1540 if (sec->output_section
1541 && ! bfd_is_abs_section (sec->output_section)
1542 && ! bfd_is_und_section (sec->output_section))
1543 dynindx = elf_section_data (sec->output_section)->dynindx;
1544 else
1545 dynindx = 0;
1549 /* Generate relocation for GOT entry pointing to the symbol. */
1550 if (entry->got_entry)
1552 int idx = dynindx;
1553 bfd_vma ad = addend;
1555 /* If the symbol is dynamic but binds locally, use
1556 section+offset. */
1557 if (sec && (entry->symndx != -1
1558 || BFINFDPIC_SYM_LOCAL (info, entry->d.h)))
1560 if (entry->symndx == -1)
1561 ad += entry->d.h->root.u.def.value;
1562 else
1563 ad += sym->st_value;
1564 ad += sec->output_offset;
1565 if (sec->output_section && elf_section_data (sec->output_section))
1566 idx = elf_section_data (sec->output_section)->dynindx;
1567 else
1568 idx = 0;
1571 /* If we're linking an executable at a fixed address, we can
1572 omit the dynamic relocation as long as the symbol is local to
1573 this module. */
1574 if (info->executable && !info->pie
1575 && (entry->symndx != -1
1576 || BFINFDPIC_SYM_LOCAL (info, entry->d.h)))
1578 if (sec)
1579 ad += sec->output_section->vma;
1580 if (entry->symndx != -1
1581 || entry->d.h->root.type != bfd_link_hash_undefweak)
1582 _bfinfdpic_add_rofixup (output_bfd,
1583 bfinfdpic_gotfixup_section (info),
1584 bfinfdpic_got_section (info)->output_section
1585 ->vma
1586 + bfinfdpic_got_section (info)->output_offset
1587 + bfinfdpic_got_initial_offset (info)
1588 + entry->got_entry, entry);
1590 else
1591 _bfinfdpic_add_dyn_reloc (output_bfd, bfinfdpic_gotrel_section (info),
1592 _bfd_elf_section_offset
1593 (output_bfd, info,
1594 bfinfdpic_got_section (info),
1595 bfinfdpic_got_initial_offset (info)
1596 + entry->got_entry)
1597 + bfinfdpic_got_section (info)
1598 ->output_section->vma
1599 + bfinfdpic_got_section (info)->output_offset,
1600 R_byte4_data, idx, ad, entry);
1602 bfd_put_32 (output_bfd, ad,
1603 bfinfdpic_got_section (info)->contents
1604 + bfinfdpic_got_initial_offset (info)
1605 + entry->got_entry);
1608 /* Generate relocation for GOT entry pointing to a canonical
1609 function descriptor. */
1610 if (entry->fdgot_entry)
1612 int reloc, idx;
1613 bfd_vma ad = 0;
1615 if (! (entry->symndx == -1
1616 && entry->d.h->root.type == bfd_link_hash_undefweak
1617 && BFINFDPIC_SYM_LOCAL (info, entry->d.h)))
1619 /* If the symbol is dynamic and there may be dynamic symbol
1620 resolution because we are, or are linked with, a shared
1621 library, emit a FUNCDESC relocation such that the dynamic
1622 linker will allocate the function descriptor. If the
1623 symbol needs a non-local function descriptor but binds
1624 locally (e.g., its visibility is protected, emit a
1625 dynamic relocation decayed to section+offset. */
1626 if (entry->symndx == -1
1627 && ! BFINFDPIC_FUNCDESC_LOCAL (info, entry->d.h)
1628 && BFINFDPIC_SYM_LOCAL (info, entry->d.h)
1629 && !(info->executable && !info->pie))
1631 reloc = R_BFIN_FUNCDESC;
1632 idx = elf_section_data (entry->d.h->root.u.def.section
1633 ->output_section)->dynindx;
1634 ad = entry->d.h->root.u.def.section->output_offset
1635 + entry->d.h->root.u.def.value;
1637 else if (entry->symndx == -1
1638 && ! BFINFDPIC_FUNCDESC_LOCAL (info, entry->d.h))
1640 reloc = R_BFIN_FUNCDESC;
1641 idx = dynindx;
1642 ad = addend;
1643 if (ad)
1644 return FALSE;
1646 else
1648 /* Otherwise, we know we have a private function descriptor,
1649 so reference it directly. */
1650 if (elf_hash_table (info)->dynamic_sections_created)
1651 BFD_ASSERT (entry->privfd);
1652 reloc = R_byte4_data;
1653 idx = elf_section_data (bfinfdpic_got_section (info)
1654 ->output_section)->dynindx;
1655 ad = bfinfdpic_got_section (info)->output_offset
1656 + bfinfdpic_got_initial_offset (info) + entry->fd_entry;
1659 /* If there is room for dynamic symbol resolution, emit the
1660 dynamic relocation. However, if we're linking an
1661 executable at a fixed location, we won't have emitted a
1662 dynamic symbol entry for the got section, so idx will be
1663 zero, which means we can and should compute the address
1664 of the private descriptor ourselves. */
1665 if (info->executable && !info->pie
1666 && (entry->symndx != -1
1667 || BFINFDPIC_FUNCDESC_LOCAL (info, entry->d.h)))
1669 ad += bfinfdpic_got_section (info)->output_section->vma;
1670 _bfinfdpic_add_rofixup (output_bfd,
1671 bfinfdpic_gotfixup_section (info),
1672 bfinfdpic_got_section (info)
1673 ->output_section->vma
1674 + bfinfdpic_got_section (info)
1675 ->output_offset
1676 + bfinfdpic_got_initial_offset (info)
1677 + entry->fdgot_entry, entry);
1679 else
1680 _bfinfdpic_add_dyn_reloc (output_bfd,
1681 bfinfdpic_gotrel_section (info),
1682 _bfd_elf_section_offset
1683 (output_bfd, info,
1684 bfinfdpic_got_section (info),
1685 bfinfdpic_got_initial_offset (info)
1686 + entry->fdgot_entry)
1687 + bfinfdpic_got_section (info)
1688 ->output_section->vma
1689 + bfinfdpic_got_section (info)
1690 ->output_offset,
1691 reloc, idx, ad, entry);
1694 bfd_put_32 (output_bfd, ad,
1695 bfinfdpic_got_section (info)->contents
1696 + bfinfdpic_got_initial_offset (info)
1697 + entry->fdgot_entry);
1700 /* Generate relocation to fill in a private function descriptor in
1701 the GOT. */
1702 if (entry->fd_entry)
1704 int idx = dynindx;
1705 bfd_vma ad = addend;
1706 bfd_vma ofst;
1707 long lowword, highword;
1709 /* If the symbol is dynamic but binds locally, use
1710 section+offset. */
1711 if (sec && (entry->symndx != -1
1712 || BFINFDPIC_SYM_LOCAL (info, entry->d.h)))
1714 if (entry->symndx == -1)
1715 ad += entry->d.h->root.u.def.value;
1716 else
1717 ad += sym->st_value;
1718 ad += sec->output_offset;
1719 if (sec->output_section && elf_section_data (sec->output_section))
1720 idx = elf_section_data (sec->output_section)->dynindx;
1721 else
1722 idx = 0;
1725 /* If we're linking an executable at a fixed address, we can
1726 omit the dynamic relocation as long as the symbol is local to
1727 this module. */
1728 if (info->executable && !info->pie
1729 && (entry->symndx != -1 || BFINFDPIC_SYM_LOCAL (info, entry->d.h)))
1731 if (sec)
1732 ad += sec->output_section->vma;
1733 ofst = 0;
1734 if (entry->symndx != -1
1735 || entry->d.h->root.type != bfd_link_hash_undefweak)
1737 _bfinfdpic_add_rofixup (output_bfd,
1738 bfinfdpic_gotfixup_section (info),
1739 bfinfdpic_got_section (info)
1740 ->output_section->vma
1741 + bfinfdpic_got_section (info)
1742 ->output_offset
1743 + bfinfdpic_got_initial_offset (info)
1744 + entry->fd_entry, entry);
1745 _bfinfdpic_add_rofixup (output_bfd,
1746 bfinfdpic_gotfixup_section (info),
1747 bfinfdpic_got_section (info)
1748 ->output_section->vma
1749 + bfinfdpic_got_section (info)
1750 ->output_offset
1751 + bfinfdpic_got_initial_offset (info)
1752 + entry->fd_entry + 4, entry);
1755 else
1757 ofst
1758 = _bfinfdpic_add_dyn_reloc (output_bfd,
1759 entry->lazyplt
1760 ? bfinfdpic_pltrel_section (info)
1761 : bfinfdpic_gotrel_section (info),
1762 _bfd_elf_section_offset
1763 (output_bfd, info,
1764 bfinfdpic_got_section (info),
1765 bfinfdpic_got_initial_offset (info)
1766 + entry->fd_entry)
1767 + bfinfdpic_got_section (info)
1768 ->output_section->vma
1769 + bfinfdpic_got_section (info)
1770 ->output_offset,
1771 R_BFIN_FUNCDESC_VALUE, idx, ad, entry);
1774 /* If we've omitted the dynamic relocation, just emit the fixed
1775 addresses of the symbol and of the local GOT base offset. */
1776 if (info->executable && !info->pie && sec && sec->output_section)
1778 lowword = ad;
1779 highword = bfinfdpic_got_section (info)->output_section->vma
1780 + bfinfdpic_got_section (info)->output_offset
1781 + bfinfdpic_got_initial_offset (info);
1783 else if (entry->lazyplt)
1785 if (ad)
1786 return FALSE;
1788 fd_lazy_rel_offset = ofst;
1790 /* A function descriptor used for lazy or local resolving is
1791 initialized such that its high word contains the output
1792 section index in which the PLT entries are located, and
1793 the low word contains the address of the lazy PLT entry
1794 entry point, that must be within the memory region
1795 assigned to that section. */
1796 lowword = entry->lzplt_entry + 4
1797 + bfinfdpic_plt_section (info)->output_offset
1798 + bfinfdpic_plt_section (info)->output_section->vma;
1799 highword = _bfinfdpic_osec_to_segment
1800 (output_bfd, bfinfdpic_plt_section (info)->output_section);
1802 else
1804 /* A function descriptor for a local function gets the index
1805 of the section. For a non-local function, it's
1806 disregarded. */
1807 lowword = ad;
1808 if (entry->symndx == -1 && entry->d.h->dynindx != -1
1809 && entry->d.h->dynindx == idx)
1810 highword = 0;
1811 else
1812 highword = _bfinfdpic_osec_to_segment
1813 (output_bfd, sec->output_section);
1816 bfd_put_32 (output_bfd, lowword,
1817 bfinfdpic_got_section (info)->contents
1818 + bfinfdpic_got_initial_offset (info)
1819 + entry->fd_entry);
1820 bfd_put_32 (output_bfd, highword,
1821 bfinfdpic_got_section (info)->contents
1822 + bfinfdpic_got_initial_offset (info)
1823 + entry->fd_entry + 4);
1826 /* Generate code for the PLT entry. */
1827 if (entry->plt_entry != (bfd_vma) -1)
1829 bfd_byte *plt_code = bfinfdpic_plt_section (info)->contents
1830 + entry->plt_entry;
1832 BFD_ASSERT (entry->fd_entry);
1834 /* Figure out what kind of PLT entry we need, depending on the
1835 location of the function descriptor within the GOT. */
1836 if (entry->fd_entry >= -(1 << (18 - 1))
1837 && entry->fd_entry + 4 < (1 << (18 - 1)))
1839 /* P1 = [P3 + fd_entry]; P3 = [P3 + fd_entry + 4] */
1840 bfd_put_32 (output_bfd,
1841 0xe519 | ((entry->fd_entry << 14) & 0xFFFF0000),
1842 plt_code);
1843 bfd_put_32 (output_bfd,
1844 0xe51b | (((entry->fd_entry + 4) << 14) & 0xFFFF0000),
1845 plt_code + 4);
1846 plt_code += 8;
1848 else
1850 /* P1.L = fd_entry; P1.H = fd_entry;
1851 P3 = P3 + P1;
1852 P1 = [P3];
1853 P3 = [P3 + 4]; */
1854 bfd_put_32 (output_bfd,
1855 0xe109 | (entry->fd_entry << 16),
1856 plt_code);
1857 bfd_put_32 (output_bfd,
1858 0xe149 | (entry->fd_entry & 0xFFFF0000),
1859 plt_code + 4);
1860 bfd_put_16 (output_bfd, 0x5ad9, plt_code + 8);
1861 bfd_put_16 (output_bfd, 0x9159, plt_code + 10);
1862 bfd_put_16 (output_bfd, 0xac5b, plt_code + 12);
1863 plt_code += 14;
1865 /* JUMP (P1) */
1866 bfd_put_16 (output_bfd, 0x0051, plt_code);
1869 /* Generate code for the lazy PLT entry. */
1870 if (entry->lzplt_entry != (bfd_vma) -1)
1872 bfd_byte *lzplt_code = bfinfdpic_plt_section (info)->contents
1873 + entry->lzplt_entry;
1874 bfd_vma resolverStub_addr;
1876 bfd_put_32 (output_bfd, fd_lazy_rel_offset, lzplt_code);
1877 lzplt_code += 4;
1879 resolverStub_addr = entry->lzplt_entry / BFINFDPIC_LZPLT_BLOCK_SIZE
1880 * BFINFDPIC_LZPLT_BLOCK_SIZE + BFINFDPIC_LZPLT_RESOLV_LOC;
1881 if (resolverStub_addr >= bfinfdpic_plt_initial_offset (info))
1882 resolverStub_addr = bfinfdpic_plt_initial_offset (info) - LZPLT_NORMAL_SIZE - LZPLT_RESOLVER_EXTRA;
1884 if (entry->lzplt_entry == resolverStub_addr)
1886 /* This is a lazy PLT entry that includes a resolver call.
1887 P2 = [P3];
1888 R3 = [P3 + 4];
1889 JUMP (P2); */
1890 bfd_put_32 (output_bfd,
1891 0xa05b915a,
1892 lzplt_code);
1893 bfd_put_16 (output_bfd, 0x0052, lzplt_code + 4);
1895 else
1897 /* JUMP.S resolverStub */
1898 bfd_put_16 (output_bfd,
1899 0x2000
1900 | (((resolverStub_addr - entry->lzplt_entry)
1901 / 2) & (((bfd_vma)1 << 12) - 1)),
1902 lzplt_code);
1906 return TRUE;
1910 /* Look through the relocs for a section during the first phase, and
1911 allocate space in the global offset table or procedure linkage
1912 table. */
1914 static bfd_boolean
1915 bfin_check_relocs (bfd * abfd,
1916 struct bfd_link_info *info,
1917 asection *sec,
1918 const Elf_Internal_Rela *relocs)
1920 bfd *dynobj;
1921 Elf_Internal_Shdr *symtab_hdr;
1922 struct elf_link_hash_entry **sym_hashes;
1923 bfd_signed_vma *local_got_refcounts;
1924 const Elf_Internal_Rela *rel;
1925 const Elf_Internal_Rela *rel_end;
1926 asection *sgot;
1927 asection *srelgot;
1928 asection *sreloc;
1929 if (info->relocatable)
1930 return TRUE;
1932 dynobj = elf_hash_table (info)->dynobj;
1933 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1934 sym_hashes = elf_sym_hashes (abfd);
1935 local_got_refcounts = elf_local_got_refcounts (abfd);
1937 sgot = NULL;
1938 srelgot = NULL;
1939 sreloc = NULL;
1941 rel_end = relocs + sec->reloc_count;
1942 for (rel = relocs; rel < rel_end; rel++)
1944 unsigned long r_symndx;
1945 struct elf_link_hash_entry *h;
1947 r_symndx = ELF32_R_SYM (rel->r_info);
1948 if (r_symndx < symtab_hdr->sh_info)
1949 h = NULL;
1950 else
1951 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1953 switch (ELF32_R_TYPE (rel->r_info))
1955 /* This relocation describes the C++ object vtable hierarchy.
1956 Reconstruct it for later use during GC. */
1957 case R_BFIN_GNU_VTINHERIT:
1958 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
1959 return FALSE;
1960 break;
1962 /* This relocation describes which C++ vtable entries
1963 are actually used. Record for later use during GC. */
1964 case R_BFIN_GNU_VTENTRY:
1965 BFD_ASSERT (h != NULL);
1966 if (h != NULL
1967 && !bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
1968 return FALSE;
1969 break;
1971 case R_got:
1972 if (h != NULL
1973 && strcmp (h->root.root.string, "__GLOBAL_OFFSET_TABLE_") == 0)
1974 break;
1975 /* Fall through. */
1977 if (dynobj == NULL)
1979 /* Create the .got section. */
1980 elf_hash_table (info)->dynobj = dynobj = abfd;
1981 if (!_bfd_elf_create_got_section (dynobj, info))
1982 return FALSE;
1985 if (sgot == NULL)
1987 sgot = bfd_get_section_by_name (dynobj, ".got");
1988 BFD_ASSERT (sgot != NULL);
1991 if (srelgot == NULL && (h != NULL || info->shared))
1993 srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
1994 if (srelgot == NULL)
1996 flagword flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS
1997 | SEC_IN_MEMORY | SEC_LINKER_CREATED
1998 | SEC_READONLY);
1999 srelgot = bfd_make_section_with_flags (dynobj, ".rela.got",
2000 flags);
2001 if (srelgot == NULL
2002 || !bfd_set_section_alignment (dynobj, srelgot, 2))
2003 return FALSE;
2007 if (h != NULL)
2009 if (h->got.refcount == 0)
2011 /* Make sure this symbol is output as a dynamic symbol. */
2012 if (h->dynindx == -1 && !h->forced_local)
2014 if (!bfd_elf_link_record_dynamic_symbol (info, h))
2015 return FALSE;
2018 /* Allocate space in the .got section. */
2019 sgot->size += 4;
2020 /* Allocate relocation space. */
2021 srelgot->size += sizeof (Elf32_External_Rela);
2023 h->got.refcount++;
2025 else
2027 /* This is a global offset table entry for a local symbol. */
2028 if (local_got_refcounts == NULL)
2030 bfd_size_type size;
2032 size = symtab_hdr->sh_info;
2033 size *= sizeof (bfd_signed_vma);
2034 local_got_refcounts = ((bfd_signed_vma *)
2035 bfd_zalloc (abfd, size));
2036 if (local_got_refcounts == NULL)
2037 return FALSE;
2038 elf_local_got_refcounts (abfd) = local_got_refcounts;
2040 if (local_got_refcounts[r_symndx] == 0)
2042 sgot->size += 4;
2043 if (info->shared)
2045 /* If we are generating a shared object, we need to
2046 output a R_68K_RELATIVE reloc so that the dynamic
2047 linker can adjust this GOT entry. */
2048 srelgot->size += sizeof (Elf32_External_Rela);
2051 local_got_refcounts[r_symndx]++;
2053 break;
2055 default:
2056 break;
2060 return TRUE;
2063 static enum elf_reloc_type_class
2064 elf32_bfin_reloc_type_class (const Elf_Internal_Rela * rela)
2066 switch ((int) ELF32_R_TYPE (rela->r_info))
2068 default:
2069 return reloc_class_normal;
2073 /* Relocate an Blackfin ELF section.
2075 The RELOCATE_SECTION function is called by the new ELF backend linker
2076 to handle the relocations for a section.
2078 The relocs are always passed as Rela structures; if the section
2079 actually uses Rel structures, the r_addend field will always be
2080 zero.
2082 This function is responsible for adjusting the section contents as
2083 necessary, and (if using Rela relocs and generating a relocatable
2084 output file) adjusting the reloc addend as necessary.
2086 This function does not have to worry about setting the reloc
2087 address or the reloc symbol index.
2089 LOCAL_SYMS is a pointer to the swapped in local symbols.
2091 LOCAL_SECTIONS is an array giving the section in the input file
2092 corresponding to the st_shndx field of each local symbol.
2094 The global hash table entry for the global symbols can be found
2095 via elf_sym_hashes (input_bfd).
2097 When generating relocatable output, this function must handle
2098 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
2099 going to be the section symbol corresponding to the output
2100 section, which means that the addend must be adjusted
2101 accordingly. */
2103 static bfd_boolean
2104 bfinfdpic_relocate_section (bfd * output_bfd,
2105 struct bfd_link_info *info,
2106 bfd * input_bfd,
2107 asection * input_section,
2108 bfd_byte * contents,
2109 Elf_Internal_Rela * relocs,
2110 Elf_Internal_Sym * local_syms,
2111 asection ** local_sections)
2113 Elf_Internal_Shdr *symtab_hdr;
2114 struct elf_link_hash_entry **sym_hashes;
2115 Elf_Internal_Rela *rel;
2116 Elf_Internal_Rela *relend;
2117 unsigned isec_segment, got_segment, plt_segment,
2118 check_segment[2];
2119 int silence_segment_error = !(info->shared || info->pie);
2121 symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
2122 sym_hashes = elf_sym_hashes (input_bfd);
2123 relend = relocs + input_section->reloc_count;
2125 isec_segment = _bfinfdpic_osec_to_segment (output_bfd,
2126 input_section->output_section);
2127 if (IS_FDPIC (output_bfd) && bfinfdpic_got_section (info))
2128 got_segment = _bfinfdpic_osec_to_segment (output_bfd,
2129 bfinfdpic_got_section (info)
2130 ->output_section);
2131 else
2132 got_segment = -1;
2133 if (IS_FDPIC (output_bfd) && elf_hash_table (info)->dynamic_sections_created)
2134 plt_segment = _bfinfdpic_osec_to_segment (output_bfd,
2135 bfinfdpic_plt_section (info)
2136 ->output_section);
2137 else
2138 plt_segment = -1;
2140 for (rel = relocs; rel < relend; rel ++)
2142 reloc_howto_type *howto;
2143 unsigned long r_symndx;
2144 Elf_Internal_Sym *sym;
2145 asection *sec;
2146 struct elf_link_hash_entry *h;
2147 bfd_vma relocation;
2148 bfd_reloc_status_type r;
2149 const char * name = NULL;
2150 int r_type;
2151 asection *osec;
2152 struct bfinfdpic_relocs_info *picrel;
2153 bfd_vma orig_addend = rel->r_addend;
2155 r_type = ELF32_R_TYPE (rel->r_info);
2157 if (r_type == R_BFIN_GNU_VTINHERIT
2158 || r_type == R_BFIN_GNU_VTENTRY)
2159 continue;
2161 r_symndx = ELF32_R_SYM (rel->r_info);
2162 howto = bfin_reloc_type_lookup (input_bfd, r_type);
2163 if (howto == NULL)
2165 bfd_set_error (bfd_error_bad_value);
2166 return FALSE;
2169 h = NULL;
2170 sym = NULL;
2171 sec = NULL;
2173 if (r_symndx < symtab_hdr->sh_info)
2175 sym = local_syms + r_symndx;
2176 osec = sec = local_sections [r_symndx];
2177 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
2179 name = bfd_elf_string_from_elf_section
2180 (input_bfd, symtab_hdr->sh_link, sym->st_name);
2181 name = (name == NULL) ? bfd_section_name (input_bfd, sec) : name;
2183 else
2185 bfd_boolean warned;
2186 bfd_boolean unresolved_reloc;
2188 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
2189 r_symndx, symtab_hdr, sym_hashes,
2190 h, sec, relocation,
2191 unresolved_reloc, warned);
2192 osec = sec;
2195 if (sec != NULL && elf_discarded_section (sec))
2197 /* For relocs against symbols from removed linkonce sections,
2198 or sections discarded by a linker script, we just want the
2199 section contents zeroed. Avoid any special processing. */
2200 _bfd_clear_contents (howto, input_bfd, contents + rel->r_offset);
2201 rel->r_info = 0;
2202 rel->r_addend = 0;
2203 continue;
2206 if (info->relocatable)
2207 continue;
2209 if (h != NULL
2210 && (h->root.type == bfd_link_hash_defined
2211 || h->root.type == bfd_link_hash_defweak)
2212 && !BFINFDPIC_SYM_LOCAL (info, h))
2214 osec = sec = NULL;
2215 relocation = 0;
2218 switch (r_type)
2220 case R_pcrel24:
2221 case R_pcrel24_jump_l:
2222 case R_byte4_data:
2223 if (! IS_FDPIC (output_bfd))
2224 goto non_fdpic;
2226 case R_BFIN_GOT17M4:
2227 case R_BFIN_GOTHI:
2228 case R_BFIN_GOTLO:
2229 case R_BFIN_FUNCDESC_GOT17M4:
2230 case R_BFIN_FUNCDESC_GOTHI:
2231 case R_BFIN_FUNCDESC_GOTLO:
2232 case R_BFIN_GOTOFF17M4:
2233 case R_BFIN_GOTOFFHI:
2234 case R_BFIN_GOTOFFLO:
2235 case R_BFIN_FUNCDESC_GOTOFF17M4:
2236 case R_BFIN_FUNCDESC_GOTOFFHI:
2237 case R_BFIN_FUNCDESC_GOTOFFLO:
2238 case R_BFIN_FUNCDESC:
2239 case R_BFIN_FUNCDESC_VALUE:
2240 if (h != NULL)
2241 picrel = bfinfdpic_relocs_info_for_global (bfinfdpic_relocs_info
2242 (info), input_bfd, h,
2243 orig_addend, INSERT);
2244 else
2245 /* In order to find the entry we created before, we must
2246 use the original addend, not the one that may have been
2247 modified by _bfd_elf_rela_local_sym(). */
2248 picrel = bfinfdpic_relocs_info_for_local (bfinfdpic_relocs_info
2249 (info), input_bfd, r_symndx,
2250 orig_addend, INSERT);
2251 if (! picrel)
2252 return FALSE;
2254 if (!_bfinfdpic_emit_got_relocs_plt_entries (picrel, output_bfd, info,
2255 osec, sym,
2256 rel->r_addend))
2258 (*_bfd_error_handler)
2259 (_("%B: relocation at `%A+0x%x' references symbol `%s' with nonzero addend"),
2260 input_bfd, input_section, rel->r_offset, name);
2261 return FALSE;
2265 break;
2267 default:
2268 non_fdpic:
2269 picrel = NULL;
2270 if (h && ! BFINFDPIC_SYM_LOCAL (info, h))
2272 info->callbacks->warning
2273 (info, _("relocation references symbol not defined in the module"),
2274 name, input_bfd, input_section, rel->r_offset);
2275 return FALSE;
2277 break;
2280 switch (r_type)
2282 case R_pcrel24:
2283 case R_pcrel24_jump_l:
2284 check_segment[0] = isec_segment;
2285 if (! IS_FDPIC (output_bfd))
2286 check_segment[1] = isec_segment;
2287 else if (picrel->plt)
2289 relocation = bfinfdpic_plt_section (info)->output_section->vma
2290 + bfinfdpic_plt_section (info)->output_offset
2291 + picrel->plt_entry;
2292 check_segment[1] = plt_segment;
2294 /* We don't want to warn on calls to undefined weak symbols,
2295 as calls to them must be protected by non-NULL tests
2296 anyway, and unprotected calls would invoke undefined
2297 behavior. */
2298 else if (picrel->symndx == -1
2299 && picrel->d.h->root.type == bfd_link_hash_undefweak)
2300 check_segment[1] = check_segment[0];
2301 else
2302 check_segment[1] = sec
2303 ? _bfinfdpic_osec_to_segment (output_bfd, sec->output_section)
2304 : (unsigned)-1;
2305 break;
2307 case R_BFIN_GOT17M4:
2308 case R_BFIN_GOTHI:
2309 case R_BFIN_GOTLO:
2310 relocation = picrel->got_entry;
2311 check_segment[0] = check_segment[1] = got_segment;
2312 break;
2314 case R_BFIN_FUNCDESC_GOT17M4:
2315 case R_BFIN_FUNCDESC_GOTHI:
2316 case R_BFIN_FUNCDESC_GOTLO:
2317 relocation = picrel->fdgot_entry;
2318 check_segment[0] = check_segment[1] = got_segment;
2319 break;
2321 case R_BFIN_GOTOFFHI:
2322 case R_BFIN_GOTOFF17M4:
2323 case R_BFIN_GOTOFFLO:
2324 relocation -= bfinfdpic_got_section (info)->output_section->vma
2325 + bfinfdpic_got_section (info)->output_offset
2326 + bfinfdpic_got_initial_offset (info);
2327 check_segment[0] = got_segment;
2328 check_segment[1] = sec
2329 ? _bfinfdpic_osec_to_segment (output_bfd, sec->output_section)
2330 : (unsigned)-1;
2331 break;
2333 case R_BFIN_FUNCDESC_GOTOFF17M4:
2334 case R_BFIN_FUNCDESC_GOTOFFHI:
2335 case R_BFIN_FUNCDESC_GOTOFFLO:
2336 relocation = picrel->fd_entry;
2337 check_segment[0] = check_segment[1] = got_segment;
2338 break;
2340 case R_BFIN_FUNCDESC:
2342 int dynindx;
2343 bfd_vma addend = rel->r_addend;
2345 if (! (h && h->root.type == bfd_link_hash_undefweak
2346 && BFINFDPIC_SYM_LOCAL (info, h)))
2348 /* If the symbol is dynamic and there may be dynamic
2349 symbol resolution because we are or are linked with a
2350 shared library, emit a FUNCDESC relocation such that
2351 the dynamic linker will allocate the function
2352 descriptor. If the symbol needs a non-local function
2353 descriptor but binds locally (e.g., its visibility is
2354 protected, emit a dynamic relocation decayed to
2355 section+offset. */
2356 if (h && ! BFINFDPIC_FUNCDESC_LOCAL (info, h)
2357 && BFINFDPIC_SYM_LOCAL (info, h)
2358 && !(info->executable && !info->pie))
2360 dynindx = elf_section_data (h->root.u.def.section
2361 ->output_section)->dynindx;
2362 addend += h->root.u.def.section->output_offset
2363 + h->root.u.def.value;
2365 else if (h && ! BFINFDPIC_FUNCDESC_LOCAL (info, h))
2367 if (addend)
2369 info->callbacks->warning
2370 (info, _("R_BFIN_FUNCDESC references dynamic symbol with nonzero addend"),
2371 name, input_bfd, input_section, rel->r_offset);
2372 return FALSE;
2374 dynindx = h->dynindx;
2376 else
2378 /* Otherwise, we know we have a private function
2379 descriptor, so reference it directly. */
2380 BFD_ASSERT (picrel->privfd);
2381 r_type = R_byte4_data;
2382 dynindx = elf_section_data (bfinfdpic_got_section (info)
2383 ->output_section)->dynindx;
2384 addend = bfinfdpic_got_section (info)->output_offset
2385 + bfinfdpic_got_initial_offset (info)
2386 + picrel->fd_entry;
2389 /* If there is room for dynamic symbol resolution, emit
2390 the dynamic relocation. However, if we're linking an
2391 executable at a fixed location, we won't have emitted a
2392 dynamic symbol entry for the got section, so idx will
2393 be zero, which means we can and should compute the
2394 address of the private descriptor ourselves. */
2395 if (info->executable && !info->pie
2396 && (!h || BFINFDPIC_FUNCDESC_LOCAL (info, h)))
2398 addend += bfinfdpic_got_section (info)->output_section->vma;
2399 if ((bfd_get_section_flags (output_bfd,
2400 input_section->output_section)
2401 & (SEC_ALLOC | SEC_LOAD)) == (SEC_ALLOC | SEC_LOAD))
2403 if (_bfinfdpic_osec_readonly_p (output_bfd,
2404 input_section
2405 ->output_section))
2407 info->callbacks->warning
2408 (info,
2409 _("cannot emit fixups in read-only section"),
2410 name, input_bfd, input_section, rel->r_offset);
2411 return FALSE;
2413 _bfinfdpic_add_rofixup (output_bfd,
2414 bfinfdpic_gotfixup_section
2415 (info),
2416 _bfd_elf_section_offset
2417 (output_bfd, info,
2418 input_section, rel->r_offset)
2419 + input_section
2420 ->output_section->vma
2421 + input_section->output_offset,
2422 picrel);
2425 else if ((bfd_get_section_flags (output_bfd,
2426 input_section->output_section)
2427 & (SEC_ALLOC | SEC_LOAD)) == (SEC_ALLOC | SEC_LOAD))
2429 bfd_vma offset;
2431 if (_bfinfdpic_osec_readonly_p (output_bfd,
2432 input_section
2433 ->output_section))
2435 info->callbacks->warning
2436 (info,
2437 _("cannot emit dynamic relocations in read-only section"),
2438 name, input_bfd, input_section, rel->r_offset);
2439 return FALSE;
2441 offset = _bfd_elf_section_offset (output_bfd, info,
2442 input_section, rel->r_offset);
2443 /* Only output a reloc for a not deleted entry. */
2444 if (offset >= (bfd_vma) -2)
2445 _bfinfdpic_add_dyn_reloc (output_bfd,
2446 bfinfdpic_gotrel_section (info),
2448 R_unused0,
2449 dynindx, addend, picrel);
2450 else
2451 _bfinfdpic_add_dyn_reloc (output_bfd,
2452 bfinfdpic_gotrel_section (info),
2453 offset + input_section
2454 ->output_section->vma
2455 + input_section->output_offset,
2456 r_type,
2457 dynindx, addend, picrel);
2459 else
2460 addend += bfinfdpic_got_section (info)->output_section->vma;
2463 /* We want the addend in-place because dynamic
2464 relocations are REL. Setting relocation to it should
2465 arrange for it to be installed. */
2466 relocation = addend - rel->r_addend;
2468 check_segment[0] = check_segment[1] = got_segment;
2469 break;
2471 case R_byte4_data:
2472 if (! IS_FDPIC (output_bfd))
2474 check_segment[0] = check_segment[1] = -1;
2475 break;
2477 /* Fall through. */
2478 case R_BFIN_FUNCDESC_VALUE:
2480 int dynindx;
2481 bfd_vma addend = rel->r_addend;
2482 bfd_vma offset;
2483 offset = _bfd_elf_section_offset (output_bfd, info,
2484 input_section, rel->r_offset);
2486 /* If the symbol is dynamic but binds locally, use
2487 section+offset. */
2488 if (h && ! BFINFDPIC_SYM_LOCAL (info, h))
2490 if (addend && r_type == R_BFIN_FUNCDESC_VALUE)
2492 info->callbacks->warning
2493 (info, _("R_BFIN_FUNCDESC_VALUE references dynamic symbol with nonzero addend"),
2494 name, input_bfd, input_section, rel->r_offset);
2495 return FALSE;
2497 dynindx = h->dynindx;
2499 else
2501 if (h)
2502 addend += h->root.u.def.value;
2503 else
2504 addend += sym->st_value;
2505 if (osec)
2506 addend += osec->output_offset;
2507 if (osec && osec->output_section
2508 && ! bfd_is_abs_section (osec->output_section)
2509 && ! bfd_is_und_section (osec->output_section))
2510 dynindx = elf_section_data (osec->output_section)->dynindx;
2511 else
2512 dynindx = 0;
2515 /* If we're linking an executable at a fixed address, we
2516 can omit the dynamic relocation as long as the symbol
2517 is defined in the current link unit (which is implied
2518 by its output section not being NULL). */
2519 if (info->executable && !info->pie
2520 && (!h || BFINFDPIC_SYM_LOCAL (info, h)))
2522 if (osec)
2523 addend += osec->output_section->vma;
2524 if (IS_FDPIC (input_bfd)
2525 && (bfd_get_section_flags (output_bfd,
2526 input_section->output_section)
2527 & (SEC_ALLOC | SEC_LOAD)) == (SEC_ALLOC | SEC_LOAD))
2529 if (_bfinfdpic_osec_readonly_p (output_bfd,
2530 input_section
2531 ->output_section))
2533 info->callbacks->warning
2534 (info,
2535 _("cannot emit fixups in read-only section"),
2536 name, input_bfd, input_section, rel->r_offset);
2537 return FALSE;
2539 if (!h || h->root.type != bfd_link_hash_undefweak)
2541 /* Only output a reloc for a not deleted entry. */
2542 if (offset >= (bfd_vma)-2)
2543 _bfinfdpic_add_rofixup (output_bfd,
2544 bfinfdpic_gotfixup_section
2545 (info), -1, picrel);
2546 else
2547 _bfinfdpic_add_rofixup (output_bfd,
2548 bfinfdpic_gotfixup_section
2549 (info),
2550 offset + input_section
2551 ->output_section->vma
2552 + input_section->output_offset,
2553 picrel);
2555 if (r_type == R_BFIN_FUNCDESC_VALUE)
2557 if (offset >= (bfd_vma)-2)
2558 _bfinfdpic_add_rofixup
2559 (output_bfd,
2560 bfinfdpic_gotfixup_section (info),
2561 -1, picrel);
2562 else
2563 _bfinfdpic_add_rofixup
2564 (output_bfd,
2565 bfinfdpic_gotfixup_section (info),
2566 offset + input_section->output_section->vma
2567 + input_section->output_offset + 4, picrel);
2572 else
2574 if ((bfd_get_section_flags (output_bfd,
2575 input_section->output_section)
2576 & (SEC_ALLOC | SEC_LOAD)) == (SEC_ALLOC | SEC_LOAD))
2578 if (_bfinfdpic_osec_readonly_p (output_bfd,
2579 input_section
2580 ->output_section))
2582 info->callbacks->warning
2583 (info,
2584 _("cannot emit dynamic relocations in read-only section"),
2585 name, input_bfd, input_section, rel->r_offset);
2586 return FALSE;
2588 /* Only output a reloc for a not deleted entry. */
2589 if (offset >= (bfd_vma)-2)
2590 _bfinfdpic_add_dyn_reloc (output_bfd,
2591 bfinfdpic_gotrel_section (info),
2592 0, R_unused0, dynindx, addend, picrel);
2593 else
2594 _bfinfdpic_add_dyn_reloc (output_bfd,
2595 bfinfdpic_gotrel_section (info),
2596 offset
2597 + input_section
2598 ->output_section->vma
2599 + input_section->output_offset,
2600 r_type, dynindx, addend, picrel);
2602 else if (osec)
2603 addend += osec->output_section->vma;
2604 /* We want the addend in-place because dynamic
2605 relocations are REL. Setting relocation to it
2606 should arrange for it to be installed. */
2607 relocation = addend - rel->r_addend;
2610 if (r_type == R_BFIN_FUNCDESC_VALUE && offset < (bfd_vma)-2)
2612 /* If we've omitted the dynamic relocation, just emit
2613 the fixed addresses of the symbol and of the local
2614 GOT base offset. */
2615 if (info->executable && !info->pie
2616 && (!h || BFINFDPIC_SYM_LOCAL (info, h)))
2617 bfd_put_32 (output_bfd,
2618 bfinfdpic_got_section (info)->output_section->vma
2619 + bfinfdpic_got_section (info)->output_offset
2620 + bfinfdpic_got_initial_offset (info),
2621 contents + rel->r_offset + 4);
2622 else
2623 /* A function descriptor used for lazy or local
2624 resolving is initialized such that its high word
2625 contains the output section index in which the
2626 PLT entries are located, and the low word
2627 contains the offset of the lazy PLT entry entry
2628 point into that section. */
2629 bfd_put_32 (output_bfd,
2630 h && ! BFINFDPIC_SYM_LOCAL (info, h)
2632 : _bfinfdpic_osec_to_segment (output_bfd,
2634 ->output_section),
2635 contents + rel->r_offset + 4);
2638 check_segment[0] = check_segment[1] = got_segment;
2639 break;
2641 default:
2642 check_segment[0] = isec_segment;
2643 check_segment[1] = sec
2644 ? _bfinfdpic_osec_to_segment (output_bfd, sec->output_section)
2645 : (unsigned)-1;
2646 break;
2649 if (check_segment[0] != check_segment[1] && IS_FDPIC (output_bfd))
2651 #if 1 /* If you take this out, remove the #error from fdpic-static-6.d
2652 in the ld testsuite. */
2653 /* This helps catch problems in GCC while we can't do more
2654 than static linking. The idea is to test whether the
2655 input file basename is crt0.o only once. */
2656 if (silence_segment_error == 1)
2657 silence_segment_error =
2658 (strlen (input_bfd->filename) == 6
2659 && strcmp (input_bfd->filename, "crt0.o") == 0)
2660 || (strlen (input_bfd->filename) > 6
2661 && strcmp (input_bfd->filename
2662 + strlen (input_bfd->filename) - 7,
2663 "/crt0.o") == 0)
2664 ? -1 : 0;
2665 #endif
2666 if (!silence_segment_error
2667 /* We don't want duplicate errors for undefined
2668 symbols. */
2669 && !(picrel && picrel->symndx == -1
2670 && picrel->d.h->root.type == bfd_link_hash_undefined))
2671 info->callbacks->warning
2672 (info,
2673 (info->shared || info->pie)
2674 ? _("relocations between different segments are not supported")
2675 : _("warning: relocation references a different segment"),
2676 name, input_bfd, input_section, rel->r_offset);
2677 if (!silence_segment_error && (info->shared || info->pie))
2678 return FALSE;
2679 elf_elfheader (output_bfd)->e_flags |= EF_BFIN_PIC;
2682 switch (r_type)
2684 case R_BFIN_GOTOFFHI:
2685 /* We need the addend to be applied before we shift the
2686 value right. */
2687 relocation += rel->r_addend;
2688 /* Fall through. */
2689 case R_BFIN_GOTHI:
2690 case R_BFIN_FUNCDESC_GOTHI:
2691 case R_BFIN_FUNCDESC_GOTOFFHI:
2692 relocation >>= 16;
2693 /* Fall through. */
2695 case R_BFIN_GOTLO:
2696 case R_BFIN_FUNCDESC_GOTLO:
2697 case R_BFIN_GOTOFFLO:
2698 case R_BFIN_FUNCDESC_GOTOFFLO:
2699 relocation &= 0xffff;
2700 break;
2702 default:
2703 break;
2706 switch (r_type)
2708 case R_pcrel24:
2709 case R_pcrel24_jump_l:
2710 if (! IS_FDPIC (output_bfd) || ! picrel->plt)
2711 break;
2712 /* Fall through. */
2714 /* When referencing a GOT entry, a function descriptor or a
2715 PLT, we don't want the addend to apply to the reference,
2716 but rather to the referenced symbol. The actual entry
2717 will have already been created taking the addend into
2718 account, so cancel it out here. */
2719 case R_BFIN_GOT17M4:
2720 case R_BFIN_GOTHI:
2721 case R_BFIN_GOTLO:
2722 case R_BFIN_FUNCDESC_GOT17M4:
2723 case R_BFIN_FUNCDESC_GOTHI:
2724 case R_BFIN_FUNCDESC_GOTLO:
2725 case R_BFIN_FUNCDESC_GOTOFF17M4:
2726 case R_BFIN_FUNCDESC_GOTOFFHI:
2727 case R_BFIN_FUNCDESC_GOTOFFLO:
2728 /* Note that we only want GOTOFFHI, not GOTOFFLO or GOTOFF17M4
2729 here, since we do want to apply the addend to the others.
2730 Note that we've applied the addend to GOTOFFHI before we
2731 shifted it right. */
2732 case R_BFIN_GOTOFFHI:
2733 relocation -= rel->r_addend;
2734 break;
2736 default:
2737 break;
2740 if (r_type == R_pcrel24
2741 || r_type == R_pcrel24_jump_l)
2743 bfd_vma x;
2744 bfd_vma address = rel->r_offset;
2746 relocation += rel->r_addend;
2748 /* Perform usual pc-relative correction. */
2749 relocation -= input_section->output_section->vma + input_section->output_offset;
2750 relocation -= address;
2752 /* We are getting reloc_entry->address 2 byte off from
2753 the start of instruction. Assuming absolute postion
2754 of the reloc data. But, following code had been written assuming
2755 reloc address is starting at begining of instruction.
2756 To compensate that I have increased the value of
2757 relocation by 1 (effectively 2) and used the addr -2 instead of addr. */
2759 relocation += 2;
2760 address -= 2;
2762 relocation >>= 1;
2764 x = bfd_get_16 (input_bfd, contents + address);
2765 x = (x & 0xff00) | ((relocation >> 16) & 0xff);
2766 bfd_put_16 (input_bfd, x, contents + address);
2768 x = bfd_get_16 (input_bfd, contents + address + 2);
2769 x = relocation & 0xFFFF;
2770 bfd_put_16 (input_bfd, x, contents + address + 2);
2771 r = bfd_reloc_ok;
2773 else
2774 r = _bfd_final_link_relocate (howto, input_bfd, input_section,
2775 contents, rel->r_offset,
2776 relocation, rel->r_addend);
2778 if (r != bfd_reloc_ok)
2780 const char * msg = (const char *) NULL;
2782 switch (r)
2784 case bfd_reloc_overflow:
2785 r = info->callbacks->reloc_overflow
2786 (info, (h ? &h->root : NULL), name, howto->name,
2787 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
2788 break;
2790 case bfd_reloc_undefined:
2791 r = info->callbacks->undefined_symbol
2792 (info, name, input_bfd, input_section, rel->r_offset, TRUE);
2793 break;
2795 case bfd_reloc_outofrange:
2796 msg = _("internal error: out of range error");
2797 break;
2799 case bfd_reloc_notsupported:
2800 msg = _("internal error: unsupported relocation error");
2801 break;
2803 case bfd_reloc_dangerous:
2804 msg = _("internal error: dangerous relocation");
2805 break;
2807 default:
2808 msg = _("internal error: unknown error");
2809 break;
2812 if (msg)
2813 r = info->callbacks->warning
2814 (info, msg, name, input_bfd, input_section, rel->r_offset);
2816 if (! r)
2817 return FALSE;
2821 return TRUE;
2824 static bfd_boolean
2825 bfin_relocate_section (bfd * output_bfd,
2826 struct bfd_link_info *info,
2827 bfd * input_bfd,
2828 asection * input_section,
2829 bfd_byte * contents,
2830 Elf_Internal_Rela * relocs,
2831 Elf_Internal_Sym * local_syms,
2832 asection ** local_sections)
2834 bfd *dynobj;
2835 Elf_Internal_Shdr *symtab_hdr;
2836 struct elf_link_hash_entry **sym_hashes;
2837 bfd_vma *local_got_offsets;
2838 asection *sgot;
2839 asection *sreloc;
2840 Elf_Internal_Rela *rel;
2841 Elf_Internal_Rela *relend;
2842 int i = 0;
2844 dynobj = elf_hash_table (info)->dynobj;
2845 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr;
2846 sym_hashes = elf_sym_hashes (input_bfd);
2847 local_got_offsets = elf_local_got_offsets (input_bfd);
2849 sgot = NULL;
2850 sreloc = NULL;
2852 rel = relocs;
2853 relend = relocs + input_section->reloc_count;
2854 for (; rel < relend; rel++, i++)
2856 int r_type;
2857 reloc_howto_type *howto;
2858 unsigned long r_symndx;
2859 struct elf_link_hash_entry *h;
2860 Elf_Internal_Sym *sym;
2861 asection *sec;
2862 bfd_vma relocation = 0;
2863 bfd_boolean unresolved_reloc;
2864 bfd_reloc_status_type r;
2865 bfd_vma address;
2867 r_type = ELF32_R_TYPE (rel->r_info);
2868 if (r_type < 0 || r_type >= 243)
2870 bfd_set_error (bfd_error_bad_value);
2871 return FALSE;
2874 if (r_type == R_BFIN_GNU_VTENTRY
2875 || r_type == R_BFIN_GNU_VTINHERIT)
2876 continue;
2878 howto = bfin_reloc_type_lookup (input_bfd, r_type);
2879 if (howto == NULL)
2881 bfd_set_error (bfd_error_bad_value);
2882 return FALSE;
2884 r_symndx = ELF32_R_SYM (rel->r_info);
2886 h = NULL;
2887 sym = NULL;
2888 sec = NULL;
2889 unresolved_reloc = FALSE;
2891 if (r_symndx < symtab_hdr->sh_info)
2893 sym = local_syms + r_symndx;
2894 sec = local_sections[r_symndx];
2895 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
2897 else
2899 bfd_boolean warned;
2901 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
2902 r_symndx, symtab_hdr, sym_hashes,
2903 h, sec, relocation,
2904 unresolved_reloc, warned);
2907 if (sec != NULL && elf_discarded_section (sec))
2909 /* For relocs against symbols from removed linkonce sections,
2910 or sections discarded by a linker script, we just want the
2911 section contents zeroed. Avoid any special processing. */
2912 _bfd_clear_contents (howto, input_bfd, contents + rel->r_offset);
2913 rel->r_info = 0;
2914 rel->r_addend = 0;
2915 continue;
2918 if (info->relocatable)
2919 continue;
2921 address = rel->r_offset;
2923 /* Then, process normally. */
2924 switch (r_type)
2926 case R_BFIN_GNU_VTINHERIT:
2927 case R_BFIN_GNU_VTENTRY:
2928 return bfd_reloc_ok;
2930 case R_got:
2931 /* Relocation is to the address of the entry for this symbol
2932 in the global offset table. */
2933 if (h != NULL
2934 && strcmp (h->root.root.string, "__GLOBAL_OFFSET_TABLE_") == 0)
2935 goto do_default;
2936 /* Fall through. */
2937 /* Relocation is the offset of the entry for this symbol in
2938 the global offset table. */
2941 bfd_vma off;
2943 if (dynobj == NULL)
2945 /* Create the .got section. */
2946 elf_hash_table (info)->dynobj = dynobj = output_bfd;
2947 if (!_bfd_elf_create_got_section (dynobj, info))
2948 return FALSE;
2951 if (sgot == NULL)
2953 sgot = bfd_get_section_by_name (dynobj, ".got");
2954 BFD_ASSERT (sgot != NULL);
2957 if (h != NULL)
2959 bfd_boolean dyn;
2961 off = h->got.offset;
2962 BFD_ASSERT (off != (bfd_vma) - 1);
2963 dyn = elf_hash_table (info)->dynamic_sections_created;
2965 if (!WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, info->shared, h)
2966 || (info->shared
2967 && (info->symbolic
2968 || h->dynindx == -1
2969 || h->forced_local)
2970 && h->def_regular))
2972 /* This is actually a static link, or it is a
2973 -Bsymbolic link and the symbol is defined
2974 locally, or the symbol was forced to be local
2975 because of a version file.. We must initialize
2976 this entry in the global offset table. Since
2977 the offset must always be a multiple of 4, we
2978 use the least significant bit to record whether
2979 we have initialized it already.
2981 When doing a dynamic link, we create a .rela.got
2982 relocation entry to initialize the value. This
2983 is done in the finish_dynamic_symbol routine. */
2984 if ((off & 1) != 0)
2985 off &= ~1;
2986 else
2988 bfd_put_32 (output_bfd, relocation,
2989 sgot->contents + off);
2990 h->got.offset |= 1;
2993 else
2994 unresolved_reloc = FALSE;
2996 else
2998 BFD_ASSERT (local_got_offsets != NULL);
2999 off = local_got_offsets[r_symndx];
3000 BFD_ASSERT (off != (bfd_vma) - 1);
3002 /* The offset must always be a multiple of 4. We use
3003 the least significant bit to record whether we have
3004 already generated the necessary reloc. */
3005 if ((off & 1) != 0)
3006 off &= ~1;
3007 else
3009 bfd_put_32 (output_bfd, relocation, sgot->contents + off);
3011 if (info->shared)
3013 asection *s;
3014 Elf_Internal_Rela outrel;
3015 bfd_byte *loc;
3017 s = bfd_get_section_by_name (dynobj, ".rela.got");
3018 BFD_ASSERT (s != NULL);
3020 outrel.r_offset = (sgot->output_section->vma
3021 + sgot->output_offset + off);
3022 outrel.r_info =
3023 ELF32_R_INFO (0, R_pcrel24);
3024 outrel.r_addend = relocation;
3025 loc = s->contents;
3026 loc +=
3027 s->reloc_count++ * sizeof (Elf32_External_Rela);
3028 bfd_elf32_swap_reloca_out (output_bfd, &outrel, loc);
3031 local_got_offsets[r_symndx] |= 1;
3035 relocation = sgot->output_offset + off;
3036 rel->r_addend = 0;
3037 /* bfin : preg = [preg + 17bitdiv4offset] relocation is div by 4. */
3038 relocation /= 4;
3040 goto do_default;
3042 case R_pcrel24:
3043 case R_pcrel24_jump_l:
3045 bfd_vma x;
3047 relocation += rel->r_addend;
3049 /* Perform usual pc-relative correction. */
3050 relocation -= input_section->output_section->vma + input_section->output_offset;
3051 relocation -= address;
3053 /* We are getting reloc_entry->address 2 byte off from
3054 the start of instruction. Assuming absolute postion
3055 of the reloc data. But, following code had been written assuming
3056 reloc address is starting at begining of instruction.
3057 To compensate that I have increased the value of
3058 relocation by 1 (effectively 2) and used the addr -2 instead of addr. */
3060 relocation += 2;
3061 address -= 2;
3063 relocation >>= 1;
3065 x = bfd_get_16 (input_bfd, contents + address);
3066 x = (x & 0xff00) | ((relocation >> 16) & 0xff);
3067 bfd_put_16 (input_bfd, x, contents + address);
3069 x = bfd_get_16 (input_bfd, contents + address + 2);
3070 x = relocation & 0xFFFF;
3071 bfd_put_16 (input_bfd, x, contents + address + 2);
3072 r = bfd_reloc_ok;
3074 break;
3076 default:
3077 do_default:
3078 r = _bfd_final_link_relocate (howto, input_bfd, input_section,
3079 contents, address,
3080 relocation, rel->r_addend);
3082 break;
3085 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
3086 because such sections are not SEC_ALLOC and thus ld.so will
3087 not process them. */
3088 if (unresolved_reloc
3089 && !((input_section->flags & SEC_DEBUGGING) != 0 && h->def_dynamic))
3091 (*_bfd_error_handler)
3092 (_("%B(%A+0x%lx): unresolvable relocation against symbol `%s'"),
3093 input_bfd,
3094 input_section, (long) rel->r_offset, h->root.root.string);
3095 return FALSE;
3098 if (r != bfd_reloc_ok)
3100 const char *name;
3102 if (h != NULL)
3103 name = h->root.root.string;
3104 else
3106 name = bfd_elf_string_from_elf_section (input_bfd,
3107 symtab_hdr->sh_link,
3108 sym->st_name);
3109 if (name == NULL)
3110 return FALSE;
3111 if (*name == '\0')
3112 name = bfd_section_name (input_bfd, sec);
3115 if (r == bfd_reloc_overflow)
3117 if (!(info->callbacks->reloc_overflow
3118 (info, (h ? &h->root : NULL), name, howto->name,
3119 (bfd_vma) 0, input_bfd, input_section, rel->r_offset)))
3120 return FALSE;
3122 else
3124 (*_bfd_error_handler)
3125 (_("%B(%A+0x%lx): reloc against `%s': error %d"),
3126 input_bfd, input_section,
3127 (long) rel->r_offset, name, (int) r);
3128 return FALSE;
3133 return TRUE;
3136 static asection *
3137 bfin_gc_mark_hook (asection * sec,
3138 struct bfd_link_info *info,
3139 Elf_Internal_Rela * rel,
3140 struct elf_link_hash_entry *h,
3141 Elf_Internal_Sym * sym)
3143 if (h != NULL)
3144 switch (ELF32_R_TYPE (rel->r_info))
3146 case R_BFIN_GNU_VTINHERIT:
3147 case R_BFIN_GNU_VTENTRY:
3148 return NULL;
3151 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
3154 /* Update the relocation information for the relocations of the section
3155 being removed. */
3157 static bfd_boolean
3158 bfinfdpic_gc_sweep_hook (bfd *abfd,
3159 struct bfd_link_info *info,
3160 asection *sec,
3161 const Elf_Internal_Rela *relocs)
3163 Elf_Internal_Shdr *symtab_hdr;
3164 struct elf_link_hash_entry **sym_hashes, **sym_hashes_end;
3165 const Elf_Internal_Rela *rel;
3166 const Elf_Internal_Rela *rel_end;
3167 struct bfinfdpic_relocs_info *picrel;
3169 BFD_ASSERT (IS_FDPIC (abfd));
3171 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
3172 sym_hashes = elf_sym_hashes (abfd);
3173 sym_hashes_end = sym_hashes + symtab_hdr->sh_size/sizeof(Elf32_External_Sym);
3174 if (!elf_bad_symtab (abfd))
3175 sym_hashes_end -= symtab_hdr->sh_info;
3177 rel_end = relocs + sec->reloc_count;
3178 for (rel = relocs; rel < rel_end; rel++)
3180 struct elf_link_hash_entry *h;
3181 unsigned long r_symndx;
3183 r_symndx = ELF32_R_SYM (rel->r_info);
3184 if (r_symndx < symtab_hdr->sh_info)
3185 h = NULL;
3186 else
3187 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
3189 if (h != NULL)
3190 picrel = bfinfdpic_relocs_info_for_global (bfinfdpic_relocs_info (info),
3191 abfd, h,
3192 rel->r_addend, NO_INSERT);
3193 else
3194 picrel = bfinfdpic_relocs_info_for_local (bfinfdpic_relocs_info
3195 (info), abfd, r_symndx,
3196 rel->r_addend, NO_INSERT);
3198 if (!picrel)
3199 return TRUE;
3201 switch (ELF32_R_TYPE (rel->r_info))
3203 case R_pcrel24:
3204 case R_pcrel24_jump_l:
3205 picrel->call--;
3206 break;
3208 case R_BFIN_FUNCDESC_VALUE:
3209 picrel->relocsfdv--;
3210 if (bfd_get_section_flags (abfd, sec) & SEC_ALLOC)
3211 picrel->relocs32++;
3212 /* Fall through. */
3214 case R_byte4_data:
3215 picrel->sym--;
3216 if (bfd_get_section_flags (abfd, sec) & SEC_ALLOC)
3217 picrel->relocs32--;
3218 break;
3220 case R_BFIN_GOT17M4:
3221 picrel->got17m4--;
3222 break;
3224 case R_BFIN_GOTHI:
3225 case R_BFIN_GOTLO:
3226 picrel->gothilo--;
3227 break;
3229 case R_BFIN_FUNCDESC_GOT17M4:
3230 picrel->fdgot17m4--;
3231 break;
3233 case R_BFIN_FUNCDESC_GOTHI:
3234 case R_BFIN_FUNCDESC_GOTLO:
3235 picrel->fdgothilo--;
3236 break;
3238 case R_BFIN_GOTOFF17M4:
3239 case R_BFIN_GOTOFFHI:
3240 case R_BFIN_GOTOFFLO:
3241 picrel->gotoff--;
3242 break;
3244 case R_BFIN_FUNCDESC_GOTOFF17M4:
3245 picrel->fdgoff17m4--;
3246 break;
3248 case R_BFIN_FUNCDESC_GOTOFFHI:
3249 case R_BFIN_FUNCDESC_GOTOFFLO:
3250 picrel->fdgoffhilo--;
3251 break;
3253 case R_BFIN_FUNCDESC:
3254 picrel->fd--;
3255 picrel->relocsfd--;
3256 break;
3258 default:
3259 break;
3263 return TRUE;
3266 /* Update the got entry reference counts for the section being removed. */
3268 static bfd_boolean
3269 bfin_gc_sweep_hook (bfd * abfd,
3270 struct bfd_link_info *info,
3271 asection * sec,
3272 const Elf_Internal_Rela * relocs)
3274 Elf_Internal_Shdr *symtab_hdr;
3275 struct elf_link_hash_entry **sym_hashes;
3276 bfd_signed_vma *local_got_refcounts;
3277 const Elf_Internal_Rela *rel, *relend;
3278 bfd *dynobj;
3279 asection *sgot;
3280 asection *srelgot;
3282 dynobj = elf_hash_table (info)->dynobj;
3283 if (dynobj == NULL)
3284 return TRUE;
3286 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
3287 sym_hashes = elf_sym_hashes (abfd);
3288 local_got_refcounts = elf_local_got_refcounts (abfd);
3290 sgot = bfd_get_section_by_name (dynobj, ".got");
3291 srelgot = bfd_get_section_by_name (dynobj, ".rela.got");
3293 relend = relocs + sec->reloc_count;
3294 for (rel = relocs; rel < relend; rel++)
3296 unsigned long r_symndx;
3297 struct elf_link_hash_entry *h;
3299 switch (ELF32_R_TYPE (rel->r_info))
3301 case R_got:
3302 r_symndx = ELF32_R_SYM (rel->r_info);
3303 if (r_symndx >= symtab_hdr->sh_info)
3305 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
3306 if (h->got.refcount > 0)
3308 --h->got.refcount;
3309 if (h->got.refcount == 0)
3311 /* We don't need the .got entry any more. */
3312 sgot->size -= 4;
3313 srelgot->size -= sizeof (Elf32_External_Rela);
3317 else if (local_got_refcounts != NULL)
3319 if (local_got_refcounts[r_symndx] > 0)
3321 --local_got_refcounts[r_symndx];
3322 if (local_got_refcounts[r_symndx] == 0)
3324 /* We don't need the .got entry any more. */
3325 sgot->size -= 4;
3326 if (info->shared)
3327 srelgot->size -= sizeof (Elf32_External_Rela);
3331 break;
3332 default:
3333 break;
3336 return TRUE;
3339 /* We need dynamic symbols for every section, since segments can
3340 relocate independently. */
3341 static bfd_boolean
3342 _bfinfdpic_link_omit_section_dynsym (bfd *output_bfd ATTRIBUTE_UNUSED,
3343 struct bfd_link_info *info
3344 ATTRIBUTE_UNUSED,
3345 asection *p ATTRIBUTE_UNUSED)
3347 switch (elf_section_data (p)->this_hdr.sh_type)
3349 case SHT_PROGBITS:
3350 case SHT_NOBITS:
3351 /* If sh_type is yet undecided, assume it could be
3352 SHT_PROGBITS/SHT_NOBITS. */
3353 case SHT_NULL:
3354 return FALSE;
3356 /* There shouldn't be section relative relocations
3357 against any other section. */
3358 default:
3359 return TRUE;
3363 /* Create a .got section, as well as its additional info field. This
3364 is almost entirely copied from
3365 elflink.c:_bfd_elf_create_got_section(). */
3367 static bfd_boolean
3368 _bfin_create_got_section (bfd *abfd, struct bfd_link_info *info)
3370 flagword flags, pltflags;
3371 asection *s;
3372 struct elf_link_hash_entry *h;
3373 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
3374 int ptralign;
3375 int offset;
3377 /* This function may be called more than once. */
3378 s = bfd_get_section_by_name (abfd, ".got");
3379 if (s != NULL && (s->flags & SEC_LINKER_CREATED) != 0)
3380 return TRUE;
3382 /* Machine specific: although pointers are 32-bits wide, we want the
3383 GOT to be aligned to a 64-bit boundary, such that function
3384 descriptors in it can be accessed with 64-bit loads and
3385 stores. */
3386 ptralign = 3;
3388 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
3389 | SEC_LINKER_CREATED);
3390 pltflags = flags;
3392 s = bfd_make_section_with_flags (abfd, ".got", flags);
3393 if (s == NULL
3394 || !bfd_set_section_alignment (abfd, s, ptralign))
3395 return FALSE;
3397 if (bed->want_got_plt)
3399 s = bfd_make_section_with_flags (abfd, ".got.plt", flags);
3400 if (s == NULL
3401 || !bfd_set_section_alignment (abfd, s, ptralign))
3402 return FALSE;
3405 if (bed->want_got_sym)
3407 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
3408 (or .got.plt) section. We don't do this in the linker script
3409 because we don't want to define the symbol if we are not creating
3410 a global offset table. */
3411 h = _bfd_elf_define_linkage_sym (abfd, info, s, "__GLOBAL_OFFSET_TABLE_");
3412 elf_hash_table (info)->hgot = h;
3413 if (h == NULL)
3414 return FALSE;
3416 /* Machine-specific: we want the symbol for executables as
3417 well. */
3418 if (! bfd_elf_link_record_dynamic_symbol (info, h))
3419 return FALSE;
3422 /* The first bit of the global offset table is the header. */
3423 s->size += bed->got_header_size;
3425 /* This is the machine-specific part. Create and initialize section
3426 data for the got. */
3427 if (IS_FDPIC (abfd))
3429 bfinfdpic_got_section (info) = s;
3430 bfinfdpic_relocs_info (info) = htab_try_create (1,
3431 bfinfdpic_relocs_info_hash,
3432 bfinfdpic_relocs_info_eq,
3433 (htab_del) NULL);
3434 if (! bfinfdpic_relocs_info (info))
3435 return FALSE;
3437 s = bfd_make_section_with_flags (abfd, ".rel.got",
3438 (flags | SEC_READONLY));
3439 if (s == NULL
3440 || ! bfd_set_section_alignment (abfd, s, 2))
3441 return FALSE;
3443 bfinfdpic_gotrel_section (info) = s;
3445 /* Machine-specific. */
3446 s = bfd_make_section_with_flags (abfd, ".rofixup",
3447 (flags | SEC_READONLY));
3448 if (s == NULL
3449 || ! bfd_set_section_alignment (abfd, s, 2))
3450 return FALSE;
3452 bfinfdpic_gotfixup_section (info) = s;
3453 offset = -2048;
3454 flags = BSF_GLOBAL;
3456 else
3458 offset = 2048;
3459 flags = BSF_GLOBAL | BSF_WEAK;
3462 return TRUE;
3465 /* Make sure the got and plt sections exist, and that our pointers in
3466 the link hash table point to them. */
3468 static bfd_boolean
3469 elf32_bfinfdpic_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
3471 /* This is mostly copied from
3472 elflink.c:_bfd_elf_create_dynamic_sections(). */
3473 flagword flags, pltflags;
3474 asection *s;
3475 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
3477 /* We need to create .plt, .rel[a].plt, .got, .got.plt, .dynbss, and
3478 .rel[a].bss sections. */
3480 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY
3481 | SEC_LINKER_CREATED);
3483 pltflags = flags;
3484 pltflags |= SEC_CODE;
3485 if (bed->plt_not_loaded)
3486 pltflags &= ~ (SEC_CODE | SEC_LOAD | SEC_HAS_CONTENTS);
3487 if (bed->plt_readonly)
3488 pltflags |= SEC_READONLY;
3490 s = bfd_make_section_with_flags (abfd, ".plt", pltflags);
3491 if (s == NULL
3492 || ! bfd_set_section_alignment (abfd, s, bed->plt_alignment))
3493 return FALSE;
3494 /* Blackfin-specific: remember it. */
3495 bfinfdpic_plt_section (info) = s;
3497 if (bed->want_plt_sym)
3499 /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
3500 .plt section. */
3501 struct elf_link_hash_entry *h;
3502 struct bfd_link_hash_entry *bh = NULL;
3504 if (! (_bfd_generic_link_add_one_symbol
3505 (info, abfd, "__PROCEDURE_LINKAGE_TABLE_", BSF_GLOBAL, s, 0, NULL,
3506 FALSE, get_elf_backend_data (abfd)->collect, &bh)))
3507 return FALSE;
3508 h = (struct elf_link_hash_entry *) bh;
3509 h->def_regular = 1;
3510 h->type = STT_OBJECT;
3512 if (! info->executable
3513 && ! bfd_elf_link_record_dynamic_symbol (info, h))
3514 return FALSE;
3517 /* Blackfin-specific: we want rel relocations for the plt. */
3518 s = bfd_make_section_with_flags (abfd, ".rel.plt", flags | SEC_READONLY);
3519 if (s == NULL
3520 || ! bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
3521 return FALSE;
3522 /* Blackfin-specific: remember it. */
3523 bfinfdpic_pltrel_section (info) = s;
3525 /* Blackfin-specific: we want to create the GOT in the Blackfin way. */
3526 if (! _bfin_create_got_section (abfd, info))
3527 return FALSE;
3529 /* Blackfin-specific: make sure we created everything we wanted. */
3530 BFD_ASSERT (bfinfdpic_got_section (info) && bfinfdpic_gotrel_section (info)
3531 /* && bfinfdpic_gotfixup_section (info) */
3532 && bfinfdpic_plt_section (info)
3533 && bfinfdpic_pltrel_section (info));
3535 if (bed->want_dynbss)
3537 /* The .dynbss section is a place to put symbols which are defined
3538 by dynamic objects, are referenced by regular objects, and are
3539 not functions. We must allocate space for them in the process
3540 image and use a R_*_COPY reloc to tell the dynamic linker to
3541 initialize them at run time. The linker script puts the .dynbss
3542 section into the .bss section of the final image. */
3543 s = bfd_make_section_with_flags (abfd, ".dynbss",
3544 SEC_ALLOC | SEC_LINKER_CREATED);
3545 if (s == NULL)
3546 return FALSE;
3548 /* The .rel[a].bss section holds copy relocs. This section is not
3549 normally needed. We need to create it here, though, so that the
3550 linker will map it to an output section. We can't just create it
3551 only if we need it, because we will not know whether we need it
3552 until we have seen all the input files, and the first time the
3553 main linker code calls BFD after examining all the input files
3554 (size_dynamic_sections) the input sections have already been
3555 mapped to the output sections. If the section turns out not to
3556 be needed, we can discard it later. We will never need this
3557 section when generating a shared object, since they do not use
3558 copy relocs. */
3559 if (! info->shared)
3561 s = bfd_make_section_with_flags (abfd,
3562 (bed->default_use_rela_p
3563 ? ".rela.bss" : ".rel.bss"),
3564 flags | SEC_READONLY);
3565 if (s == NULL
3566 || ! bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
3567 return FALSE;
3571 return TRUE;
3574 /* The name of the dynamic interpreter. This is put in the .interp
3575 section. */
3577 #define ELF_DYNAMIC_INTERPRETER "/lib/ld.so.1"
3579 #define DEFAULT_STACK_SIZE 0x20000
3581 /* This structure is used to collect the number of entries present in
3582 each addressable range of the got. */
3583 struct _bfinfdpic_dynamic_got_info
3585 /* Several bits of information about the current link. */
3586 struct bfd_link_info *info;
3587 /* Total size needed for GOT entries within the 18- or 32-bit
3588 ranges. */
3589 bfd_vma got17m4, gothilo;
3590 /* Total size needed for function descriptor entries within the 18-
3591 or 32-bit ranges. */
3592 bfd_vma fd17m4, fdhilo;
3593 /* Total size needed function descriptor entries referenced in PLT
3594 entries, that would be profitable to place in offsets close to
3595 the PIC register. */
3596 bfd_vma fdplt;
3597 /* Total size needed by lazy PLT entries. */
3598 bfd_vma lzplt;
3599 /* Number of relocations carried over from input object files. */
3600 unsigned long relocs;
3601 /* Number of fixups introduced by relocations in input object files. */
3602 unsigned long fixups;
3605 /* Compute the total GOT size required by each symbol in each range.
3606 Symbols may require up to 4 words in the GOT: an entry pointing to
3607 the symbol, an entry pointing to its function descriptor, and a
3608 private function descriptors taking two words. */
3610 static int
3611 _bfinfdpic_count_got_plt_entries (void **entryp, void *dinfo_)
3613 struct bfinfdpic_relocs_info *entry = *entryp;
3614 struct _bfinfdpic_dynamic_got_info *dinfo = dinfo_;
3615 unsigned relocs = 0, fixups = 0;
3617 /* Allocate space for a GOT entry pointing to the symbol. */
3618 if (entry->got17m4)
3619 dinfo->got17m4 += 4;
3620 else if (entry->gothilo)
3621 dinfo->gothilo += 4;
3622 else
3623 entry->relocs32--;
3624 entry->relocs32++;
3626 /* Allocate space for a GOT entry pointing to the function
3627 descriptor. */
3628 if (entry->fdgot17m4)
3629 dinfo->got17m4 += 4;
3630 else if (entry->fdgothilo)
3631 dinfo->gothilo += 4;
3632 else
3633 entry->relocsfd--;
3634 entry->relocsfd++;
3636 /* Decide whether we need a PLT entry, a function descriptor in the
3637 GOT, and a lazy PLT entry for this symbol. */
3638 entry->plt = entry->call
3639 && entry->symndx == -1 && ! BFINFDPIC_SYM_LOCAL (dinfo->info, entry->d.h)
3640 && elf_hash_table (dinfo->info)->dynamic_sections_created;
3641 entry->privfd = entry->plt
3642 || entry->fdgoff17m4 || entry->fdgoffhilo
3643 || ((entry->fd || entry->fdgot17m4 || entry->fdgothilo)
3644 && (entry->symndx != -1
3645 || BFINFDPIC_FUNCDESC_LOCAL (dinfo->info, entry->d.h)));
3646 entry->lazyplt = entry->privfd
3647 && entry->symndx == -1 && ! BFINFDPIC_SYM_LOCAL (dinfo->info, entry->d.h)
3648 && ! (dinfo->info->flags & DF_BIND_NOW)
3649 && elf_hash_table (dinfo->info)->dynamic_sections_created;
3651 /* Allocate space for a function descriptor. */
3652 if (entry->fdgoff17m4)
3653 dinfo->fd17m4 += 8;
3654 else if (entry->privfd && entry->plt)
3655 dinfo->fdplt += 8;
3656 else if (entry->privfd)
3657 dinfo->fdhilo += 8;
3658 else
3659 entry->relocsfdv--;
3660 entry->relocsfdv++;
3662 if (entry->lazyplt)
3663 dinfo->lzplt += LZPLT_NORMAL_SIZE;
3665 if (!dinfo->info->executable || dinfo->info->pie)
3666 relocs = entry->relocs32 + entry->relocsfd + entry->relocsfdv;
3667 else
3669 if (entry->symndx != -1 || BFINFDPIC_SYM_LOCAL (dinfo->info, entry->d.h))
3671 if (entry->symndx != -1
3672 || entry->d.h->root.type != bfd_link_hash_undefweak)
3673 fixups += entry->relocs32 + 2 * entry->relocsfdv;
3675 else
3676 relocs += entry->relocs32 + entry->relocsfdv;
3678 if (entry->symndx != -1
3679 || BFINFDPIC_FUNCDESC_LOCAL (dinfo->info, entry->d.h))
3681 if (entry->symndx != -1
3682 || entry->d.h->root.type != bfd_link_hash_undefweak)
3683 fixups += entry->relocsfd;
3685 else
3686 relocs += entry->relocsfd;
3689 entry->dynrelocs += relocs;
3690 entry->fixups += fixups;
3691 dinfo->relocs += relocs;
3692 dinfo->fixups += fixups;
3694 return 1;
3697 /* This structure is used to assign offsets to got entries, function
3698 descriptors, plt entries and lazy plt entries. */
3700 struct _bfinfdpic_dynamic_got_plt_info
3702 /* Summary information collected with _bfinfdpic_count_got_plt_entries. */
3703 struct _bfinfdpic_dynamic_got_info g;
3705 /* For each addressable range, we record a MAX (positive) and MIN
3706 (negative) value. CUR is used to assign got entries, and it's
3707 incremented from an initial positive value to MAX, then from MIN
3708 to FDCUR (unless FDCUR wraps around first). FDCUR is used to
3709 assign function descriptors, and it's decreased from an initial
3710 non-positive value to MIN, then from MAX down to CUR (unless CUR
3711 wraps around first). All of MIN, MAX, CUR and FDCUR always point
3712 to even words. ODD, if non-zero, indicates an odd word to be
3713 used for the next got entry, otherwise CUR is used and
3714 incremented by a pair of words, wrapping around when it reaches
3715 MAX. FDCUR is decremented (and wrapped) before the next function
3716 descriptor is chosen. FDPLT indicates the number of remaining
3717 slots that can be used for function descriptors used only by PLT
3718 entries. */
3719 struct _bfinfdpic_dynamic_got_alloc_data
3721 bfd_signed_vma max, cur, odd, fdcur, min;
3722 bfd_vma fdplt;
3723 } got17m4, gothilo;
3726 /* Determine the positive and negative ranges to be used by each
3727 offset range in the GOT. FDCUR and CUR, that must be aligned to a
3728 double-word boundary, are the minimum (negative) and maximum
3729 (positive) GOT offsets already used by previous ranges, except for
3730 an ODD entry that may have been left behind. GOT and FD indicate
3731 the size of GOT entries and function descriptors that must be
3732 placed within the range from -WRAP to WRAP. If there's room left,
3733 up to FDPLT bytes should be reserved for additional function
3734 descriptors. */
3736 inline static bfd_signed_vma
3737 _bfinfdpic_compute_got_alloc_data (struct _bfinfdpic_dynamic_got_alloc_data *gad,
3738 bfd_signed_vma fdcur,
3739 bfd_signed_vma odd,
3740 bfd_signed_vma cur,
3741 bfd_vma got,
3742 bfd_vma fd,
3743 bfd_vma fdplt,
3744 bfd_vma wrap)
3746 bfd_signed_vma wrapmin = -wrap;
3748 /* Start at the given initial points. */
3749 gad->fdcur = fdcur;
3750 gad->cur = cur;
3752 /* If we had an incoming odd word and we have any got entries that
3753 are going to use it, consume it, otherwise leave gad->odd at
3754 zero. We might force gad->odd to zero and return the incoming
3755 odd such that it is used by the next range, but then GOT entries
3756 might appear to be out of order and we wouldn't be able to
3757 shorten the GOT by one word if it turns out to end with an
3758 unpaired GOT entry. */
3759 if (odd && got)
3761 gad->odd = odd;
3762 got -= 4;
3763 odd = 0;
3765 else
3766 gad->odd = 0;
3768 /* If we're left with an unpaired GOT entry, compute its location
3769 such that we can return it. Otherwise, if got doesn't require an
3770 odd number of words here, either odd was already zero in the
3771 block above, or it was set to zero because got was non-zero, or
3772 got was already zero. In the latter case, we want the value of
3773 odd to carry over to the return statement, so we don't want to
3774 reset odd unless the condition below is true. */
3775 if (got & 4)
3777 odd = cur + got;
3778 got += 4;
3781 /* Compute the tentative boundaries of this range. */
3782 gad->max = cur + got;
3783 gad->min = fdcur - fd;
3784 gad->fdplt = 0;
3786 /* If function descriptors took too much space, wrap some of them
3787 around. */
3788 if (gad->min < wrapmin)
3790 gad->max += wrapmin - gad->min;
3791 gad->min = wrapmin;
3793 /* If there is space left and we have function descriptors
3794 referenced in PLT entries that could take advantage of shorter
3795 offsets, place them here. */
3796 else if (fdplt && gad->min > wrapmin)
3798 bfd_vma fds;
3799 if ((bfd_vma) (gad->min - wrapmin) < fdplt)
3800 fds = gad->min - wrapmin;
3801 else
3802 fds = fdplt;
3804 fdplt -= fds;
3805 gad->min -= fds;
3806 gad->fdplt += fds;
3809 /* If GOT entries took too much space, wrap some of them around.
3810 This may well cause gad->min to become lower than wrapmin. This
3811 will cause a relocation overflow later on, so we don't have to
3812 report it here . */
3813 if ((bfd_vma) gad->max > wrap)
3815 gad->min -= gad->max - wrap;
3816 gad->max = wrap;
3818 /* If there is more space left, try to place some more function
3819 descriptors for PLT entries. */
3820 else if (fdplt && (bfd_vma) gad->max < wrap)
3822 bfd_vma fds;
3823 if ((bfd_vma) (wrap - gad->max) < fdplt)
3824 fds = wrap - gad->max;
3825 else
3826 fds = fdplt;
3828 fdplt -= fds;
3829 gad->max += fds;
3830 gad->fdplt += fds;
3833 /* If odd was initially computed as an offset past the wrap point,
3834 wrap it around. */
3835 if (odd > gad->max)
3836 odd = gad->min + odd - gad->max;
3838 /* _bfinfdpic_get_got_entry() below will always wrap gad->cur if needed
3839 before returning, so do it here too. This guarantees that,
3840 should cur and fdcur meet at the wrap point, they'll both be
3841 equal to min. */
3842 if (gad->cur == gad->max)
3843 gad->cur = gad->min;
3845 return odd;
3848 /* Compute the location of the next GOT entry, given the allocation
3849 data for a range. */
3851 inline static bfd_signed_vma
3852 _bfinfdpic_get_got_entry (struct _bfinfdpic_dynamic_got_alloc_data *gad)
3854 bfd_signed_vma ret;
3856 if (gad->odd)
3858 /* If there was an odd word left behind, use it. */
3859 ret = gad->odd;
3860 gad->odd = 0;
3862 else
3864 /* Otherwise, use the word pointed to by cur, reserve the next
3865 as an odd word, and skip to the next pair of words, possibly
3866 wrapping around. */
3867 ret = gad->cur;
3868 gad->odd = gad->cur + 4;
3869 gad->cur += 8;
3870 if (gad->cur == gad->max)
3871 gad->cur = gad->min;
3874 return ret;
3877 /* Compute the location of the next function descriptor entry in the
3878 GOT, given the allocation data for a range. */
3880 inline static bfd_signed_vma
3881 _bfinfdpic_get_fd_entry (struct _bfinfdpic_dynamic_got_alloc_data *gad)
3883 /* If we're at the bottom, wrap around, and only then allocate the
3884 next pair of words. */
3885 if (gad->fdcur == gad->min)
3886 gad->fdcur = gad->max;
3887 return gad->fdcur -= 8;
3890 /* Assign GOT offsets for every GOT entry and function descriptor.
3891 Doing everything in a single pass is tricky. */
3893 static int
3894 _bfinfdpic_assign_got_entries (void **entryp, void *info_)
3896 struct bfinfdpic_relocs_info *entry = *entryp;
3897 struct _bfinfdpic_dynamic_got_plt_info *dinfo = info_;
3899 if (entry->got17m4)
3900 entry->got_entry = _bfinfdpic_get_got_entry (&dinfo->got17m4);
3901 else if (entry->gothilo)
3902 entry->got_entry = _bfinfdpic_get_got_entry (&dinfo->gothilo);
3904 if (entry->fdgot17m4)
3905 entry->fdgot_entry = _bfinfdpic_get_got_entry (&dinfo->got17m4);
3906 else if (entry->fdgothilo)
3907 entry->fdgot_entry = _bfinfdpic_get_got_entry (&dinfo->gothilo);
3909 if (entry->fdgoff17m4)
3910 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->got17m4);
3911 else if (entry->plt && dinfo->got17m4.fdplt)
3913 dinfo->got17m4.fdplt -= 8;
3914 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->got17m4);
3916 else if (entry->plt)
3918 dinfo->gothilo.fdplt -= 8;
3919 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->gothilo);
3921 else if (entry->privfd)
3922 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->gothilo);
3924 return 1;
3927 /* Assign GOT offsets to private function descriptors used by PLT
3928 entries (or referenced by 32-bit offsets), as well as PLT entries
3929 and lazy PLT entries. */
3931 static int
3932 _bfinfdpic_assign_plt_entries (void **entryp, void *info_)
3934 struct bfinfdpic_relocs_info *entry = *entryp;
3935 struct _bfinfdpic_dynamic_got_plt_info *dinfo = info_;
3937 /* If this symbol requires a local function descriptor, allocate
3938 one. */
3939 if (entry->privfd && entry->fd_entry == 0)
3941 if (dinfo->got17m4.fdplt)
3943 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->got17m4);
3944 dinfo->got17m4.fdplt -= 8;
3946 else
3948 BFD_ASSERT (dinfo->gothilo.fdplt);
3949 entry->fd_entry = _bfinfdpic_get_fd_entry (&dinfo->gothilo);
3950 dinfo->gothilo.fdplt -= 8;
3954 if (entry->plt)
3956 int size;
3958 /* We use the section's raw size to mark the location of the
3959 next PLT entry. */
3960 entry->plt_entry = bfinfdpic_plt_section (dinfo->g.info)->size;
3962 /* Figure out the length of this PLT entry based on the
3963 addressing mode we need to reach the function descriptor. */
3964 BFD_ASSERT (entry->fd_entry);
3965 if (entry->fd_entry >= -(1 << (18 - 1))
3966 && entry->fd_entry + 4 < (1 << (18 - 1)))
3967 size = 10;
3968 else
3969 size = 16;
3971 bfinfdpic_plt_section (dinfo->g.info)->size += size;
3974 if (entry->lazyplt)
3976 entry->lzplt_entry = dinfo->g.lzplt;
3977 dinfo->g.lzplt += LZPLT_NORMAL_SIZE;
3978 /* If this entry is the one that gets the resolver stub, account
3979 for the additional instruction. */
3980 if (entry->lzplt_entry % BFINFDPIC_LZPLT_BLOCK_SIZE
3981 == BFINFDPIC_LZPLT_RESOLV_LOC)
3982 dinfo->g.lzplt += LZPLT_RESOLVER_EXTRA;
3985 return 1;
3988 /* Follow indirect and warning hash entries so that each got entry
3989 points to the final symbol definition. P must point to a pointer
3990 to the hash table we're traversing. Since this traversal may
3991 modify the hash table, we set this pointer to NULL to indicate
3992 we've made a potentially-destructive change to the hash table, so
3993 the traversal must be restarted. */
3994 static int
3995 _bfinfdpic_resolve_final_relocs_info (void **entryp, void *p)
3997 struct bfinfdpic_relocs_info *entry = *entryp;
3998 htab_t *htab = p;
4000 if (entry->symndx == -1)
4002 struct elf_link_hash_entry *h = entry->d.h;
4003 struct bfinfdpic_relocs_info *oentry;
4005 while (h->root.type == bfd_link_hash_indirect
4006 || h->root.type == bfd_link_hash_warning)
4007 h = (struct elf_link_hash_entry *)h->root.u.i.link;
4009 if (entry->d.h == h)
4010 return 1;
4012 oentry = bfinfdpic_relocs_info_for_global (*htab, 0, h, entry->addend,
4013 NO_INSERT);
4015 if (oentry)
4017 /* Merge the two entries. */
4018 bfinfdpic_pic_merge_early_relocs_info (oentry, entry);
4019 htab_clear_slot (*htab, entryp);
4020 return 1;
4023 entry->d.h = h;
4025 /* If we can't find this entry with the new bfd hash, re-insert
4026 it, and get the traversal restarted. */
4027 if (! htab_find (*htab, entry))
4029 htab_clear_slot (*htab, entryp);
4030 entryp = htab_find_slot (*htab, entry, INSERT);
4031 if (! *entryp)
4032 *entryp = entry;
4033 /* Abort the traversal, since the whole table may have
4034 moved, and leave it up to the parent to restart the
4035 process. */
4036 *(htab_t *)p = NULL;
4037 return 0;
4041 return 1;
4044 /* Set the sizes of the dynamic sections. */
4046 static bfd_boolean
4047 elf32_bfinfdpic_size_dynamic_sections (bfd *output_bfd,
4048 struct bfd_link_info *info)
4050 bfd *dynobj;
4051 asection *s;
4052 struct _bfinfdpic_dynamic_got_plt_info gpinfo;
4053 bfd_signed_vma odd;
4054 bfd_vma limit;
4056 dynobj = elf_hash_table (info)->dynobj;
4057 BFD_ASSERT (dynobj != NULL);
4059 if (elf_hash_table (info)->dynamic_sections_created)
4061 /* Set the contents of the .interp section to the interpreter. */
4062 if (info->executable)
4064 s = bfd_get_section_by_name (dynobj, ".interp");
4065 BFD_ASSERT (s != NULL);
4066 s->size = sizeof ELF_DYNAMIC_INTERPRETER;
4067 s->contents = (bfd_byte *) ELF_DYNAMIC_INTERPRETER;
4071 memset (&gpinfo, 0, sizeof (gpinfo));
4072 gpinfo.g.info = info;
4074 for (;;)
4076 htab_t relocs = bfinfdpic_relocs_info (info);
4078 htab_traverse (relocs, _bfinfdpic_resolve_final_relocs_info, &relocs);
4080 if (relocs == bfinfdpic_relocs_info (info))
4081 break;
4084 htab_traverse (bfinfdpic_relocs_info (info), _bfinfdpic_count_got_plt_entries,
4085 &gpinfo.g);
4087 odd = 12;
4088 /* Compute the total size taken by entries in the 18-bit range,
4089 to tell how many PLT function descriptors we can bring into it
4090 without causing it to overflow. */
4091 limit = odd + gpinfo.g.got17m4 + gpinfo.g.fd17m4;
4092 if (limit < (bfd_vma)1 << 18)
4093 limit = ((bfd_vma)1 << 18) - limit;
4094 else
4095 limit = 0;
4096 if (gpinfo.g.fdplt < limit)
4097 limit = gpinfo.g.fdplt;
4099 /* Determine the ranges of GOT offsets that we can use for each
4100 range of addressing modes. */
4101 odd = _bfinfdpic_compute_got_alloc_data (&gpinfo.got17m4,
4103 odd,
4105 gpinfo.g.got17m4,
4106 gpinfo.g.fd17m4,
4107 limit,
4108 (bfd_vma)1 << (18-1));
4109 odd = _bfinfdpic_compute_got_alloc_data (&gpinfo.gothilo,
4110 gpinfo.got17m4.min,
4111 odd,
4112 gpinfo.got17m4.max,
4113 gpinfo.g.gothilo,
4114 gpinfo.g.fdhilo,
4115 gpinfo.g.fdplt - gpinfo.got17m4.fdplt,
4116 (bfd_vma)1 << (32-1));
4118 /* Now assign (most) GOT offsets. */
4119 htab_traverse (bfinfdpic_relocs_info (info), _bfinfdpic_assign_got_entries,
4120 &gpinfo);
4122 bfinfdpic_got_section (info)->size = gpinfo.gothilo.max
4123 - gpinfo.gothilo.min
4124 /* If an odd word is the last word of the GOT, we don't need this
4125 word to be part of the GOT. */
4126 - (odd + 4 == gpinfo.gothilo.max ? 4 : 0);
4127 if (bfinfdpic_got_section (info)->size == 0)
4128 bfinfdpic_got_section (info)->flags |= SEC_EXCLUDE;
4129 else if (bfinfdpic_got_section (info)->size == 12
4130 && ! elf_hash_table (info)->dynamic_sections_created)
4132 bfinfdpic_got_section (info)->flags |= SEC_EXCLUDE;
4133 bfinfdpic_got_section (info)->size = 0;
4135 else
4137 bfinfdpic_got_section (info)->contents =
4138 (bfd_byte *) bfd_zalloc (dynobj,
4139 bfinfdpic_got_section (info)->size);
4140 if (bfinfdpic_got_section (info)->contents == NULL)
4141 return FALSE;
4144 if (elf_hash_table (info)->dynamic_sections_created)
4145 /* Subtract the number of lzplt entries, since those will generate
4146 relocations in the pltrel section. */
4147 bfinfdpic_gotrel_section (info)->size =
4148 (gpinfo.g.relocs - gpinfo.g.lzplt / LZPLT_NORMAL_SIZE)
4149 * get_elf_backend_data (output_bfd)->s->sizeof_rel;
4150 else
4151 BFD_ASSERT (gpinfo.g.relocs == 0);
4152 if (bfinfdpic_gotrel_section (info)->size == 0)
4153 bfinfdpic_gotrel_section (info)->flags |= SEC_EXCLUDE;
4154 else
4156 bfinfdpic_gotrel_section (info)->contents =
4157 (bfd_byte *) bfd_zalloc (dynobj,
4158 bfinfdpic_gotrel_section (info)->size);
4159 if (bfinfdpic_gotrel_section (info)->contents == NULL)
4160 return FALSE;
4163 bfinfdpic_gotfixup_section (info)->size = (gpinfo.g.fixups + 1) * 4;
4164 if (bfinfdpic_gotfixup_section (info)->size == 0)
4165 bfinfdpic_gotfixup_section (info)->flags |= SEC_EXCLUDE;
4166 else
4168 bfinfdpic_gotfixup_section (info)->contents =
4169 (bfd_byte *) bfd_zalloc (dynobj,
4170 bfinfdpic_gotfixup_section (info)->size);
4171 if (bfinfdpic_gotfixup_section (info)->contents == NULL)
4172 return FALSE;
4175 if (elf_hash_table (info)->dynamic_sections_created)
4177 bfinfdpic_pltrel_section (info)->size =
4178 gpinfo.g.lzplt / LZPLT_NORMAL_SIZE * get_elf_backend_data (output_bfd)->s->sizeof_rel;
4179 if (bfinfdpic_pltrel_section (info)->size == 0)
4180 bfinfdpic_pltrel_section (info)->flags |= SEC_EXCLUDE;
4181 else
4183 bfinfdpic_pltrel_section (info)->contents =
4184 (bfd_byte *) bfd_zalloc (dynobj,
4185 bfinfdpic_pltrel_section (info)->size);
4186 if (bfinfdpic_pltrel_section (info)->contents == NULL)
4187 return FALSE;
4191 /* Add 4 bytes for every block of at most 65535 lazy PLT entries,
4192 such that there's room for the additional instruction needed to
4193 call the resolver. Since _bfinfdpic_assign_got_entries didn't
4194 account for them, our block size is 4 bytes smaller than the real
4195 block size. */
4196 if (elf_hash_table (info)->dynamic_sections_created)
4198 bfinfdpic_plt_section (info)->size = gpinfo.g.lzplt
4199 + ((gpinfo.g.lzplt + (BFINFDPIC_LZPLT_BLOCK_SIZE - 4) - LZPLT_NORMAL_SIZE)
4200 / (BFINFDPIC_LZPLT_BLOCK_SIZE - 4) * LZPLT_RESOLVER_EXTRA);
4203 /* Reset it, such that _bfinfdpic_assign_plt_entries() can use it to
4204 actually assign lazy PLT entries addresses. */
4205 gpinfo.g.lzplt = 0;
4207 /* Save information that we're going to need to generate GOT and PLT
4208 entries. */
4209 bfinfdpic_got_initial_offset (info) = -gpinfo.gothilo.min;
4211 if (get_elf_backend_data (output_bfd)->want_got_sym)
4212 elf_hash_table (info)->hgot->root.u.def.value
4213 += bfinfdpic_got_initial_offset (info);
4215 if (elf_hash_table (info)->dynamic_sections_created)
4216 bfinfdpic_plt_initial_offset (info) =
4217 bfinfdpic_plt_section (info)->size;
4219 htab_traverse (bfinfdpic_relocs_info (info), _bfinfdpic_assign_plt_entries,
4220 &gpinfo);
4222 /* Allocate the PLT section contents only after
4223 _bfinfdpic_assign_plt_entries has a chance to add the size of the
4224 non-lazy PLT entries. */
4225 if (elf_hash_table (info)->dynamic_sections_created)
4227 if (bfinfdpic_plt_section (info)->size == 0)
4228 bfinfdpic_plt_section (info)->flags |= SEC_EXCLUDE;
4229 else
4231 bfinfdpic_plt_section (info)->contents =
4232 (bfd_byte *) bfd_zalloc (dynobj,
4233 bfinfdpic_plt_section (info)->size);
4234 if (bfinfdpic_plt_section (info)->contents == NULL)
4235 return FALSE;
4239 if (elf_hash_table (info)->dynamic_sections_created)
4241 if (bfinfdpic_got_section (info)->size)
4242 if (!_bfd_elf_add_dynamic_entry (info, DT_PLTGOT, 0))
4243 return FALSE;
4245 if (bfinfdpic_pltrel_section (info)->size)
4246 if (!_bfd_elf_add_dynamic_entry (info, DT_PLTRELSZ, 0)
4247 || !_bfd_elf_add_dynamic_entry (info, DT_PLTREL, DT_REL)
4248 || !_bfd_elf_add_dynamic_entry (info, DT_JMPREL, 0))
4249 return FALSE;
4251 if (bfinfdpic_gotrel_section (info)->size)
4252 if (!_bfd_elf_add_dynamic_entry (info, DT_REL, 0)
4253 || !_bfd_elf_add_dynamic_entry (info, DT_RELSZ, 0)
4254 || !_bfd_elf_add_dynamic_entry (info, DT_RELENT,
4255 sizeof (Elf32_External_Rel)))
4256 return FALSE;
4259 return TRUE;
4262 static bfd_boolean
4263 elf32_bfinfdpic_always_size_sections (bfd *output_bfd,
4264 struct bfd_link_info *info)
4266 if (!info->relocatable)
4268 struct elf_link_hash_entry *h;
4270 /* Force a PT_GNU_STACK segment to be created. */
4271 if (! elf_tdata (output_bfd)->stack_flags)
4272 elf_tdata (output_bfd)->stack_flags = PF_R | PF_W | PF_X;
4274 /* Define __stacksize if it's not defined yet. */
4275 h = elf_link_hash_lookup (elf_hash_table (info), "__stacksize",
4276 FALSE, FALSE, FALSE);
4277 if (! h || h->root.type != bfd_link_hash_defined
4278 || h->type != STT_OBJECT
4279 || !h->def_regular)
4281 struct bfd_link_hash_entry *bh = NULL;
4283 if (!(_bfd_generic_link_add_one_symbol
4284 (info, output_bfd, "__stacksize",
4285 BSF_GLOBAL, bfd_abs_section_ptr, DEFAULT_STACK_SIZE,
4286 (const char *) NULL, FALSE,
4287 get_elf_backend_data (output_bfd)->collect, &bh)))
4288 return FALSE;
4290 h = (struct elf_link_hash_entry *) bh;
4291 h->def_regular = 1;
4292 h->type = STT_OBJECT;
4296 return TRUE;
4299 static bfd_boolean
4300 elf32_bfinfdpic_modify_program_headers (bfd *output_bfd,
4301 struct bfd_link_info *info)
4303 struct elf_obj_tdata *tdata = elf_tdata (output_bfd);
4304 struct elf_segment_map *m;
4305 Elf_Internal_Phdr *p;
4307 /* objcopy and strip preserve what's already there using
4308 elf32_bfinfdpic_copy_private_bfd_data (). */
4309 if (! info)
4310 return TRUE;
4312 for (p = tdata->phdr, m = tdata->segment_map; m != NULL; m = m->next, p++)
4313 if (m->p_type == PT_GNU_STACK)
4314 break;
4316 if (m)
4318 struct elf_link_hash_entry *h;
4320 /* Obtain the pointer to the __stacksize symbol. */
4321 h = elf_link_hash_lookup (elf_hash_table (info), "__stacksize",
4322 FALSE, FALSE, FALSE);
4323 if (h)
4325 while (h->root.type == bfd_link_hash_indirect
4326 || h->root.type == bfd_link_hash_warning)
4327 h = (struct elf_link_hash_entry *) h->root.u.i.link;
4328 BFD_ASSERT (h->root.type == bfd_link_hash_defined);
4331 /* Set the header p_memsz from the symbol value. We
4332 intentionally ignore the symbol section. */
4333 if (h && h->root.type == bfd_link_hash_defined)
4334 p->p_memsz = h->root.u.def.value;
4335 else
4336 p->p_memsz = DEFAULT_STACK_SIZE;
4338 p->p_align = 8;
4341 return TRUE;
4344 static bfd_boolean
4345 elf32_bfinfdpic_finish_dynamic_sections (bfd *output_bfd,
4346 struct bfd_link_info *info)
4348 bfd *dynobj;
4349 asection *sdyn;
4351 dynobj = elf_hash_table (info)->dynobj;
4353 if (bfinfdpic_got_section (info))
4355 BFD_ASSERT (bfinfdpic_gotrel_section (info)->size
4356 == (bfinfdpic_gotrel_section (info)->reloc_count
4357 * sizeof (Elf32_External_Rel)));
4359 if (bfinfdpic_gotfixup_section (info))
4361 struct elf_link_hash_entry *hgot = elf_hash_table (info)->hgot;
4362 bfd_vma got_value = hgot->root.u.def.value
4363 + hgot->root.u.def.section->output_section->vma
4364 + hgot->root.u.def.section->output_offset;
4366 _bfinfdpic_add_rofixup (output_bfd, bfinfdpic_gotfixup_section (info),
4367 got_value, 0);
4369 if (bfinfdpic_gotfixup_section (info)->size
4370 != (bfinfdpic_gotfixup_section (info)->reloc_count * 4))
4372 (*_bfd_error_handler)
4373 ("LINKER BUG: .rofixup section size mismatch");
4374 return FALSE;
4378 if (elf_hash_table (info)->dynamic_sections_created)
4380 BFD_ASSERT (bfinfdpic_pltrel_section (info)->size
4381 == (bfinfdpic_pltrel_section (info)->reloc_count
4382 * sizeof (Elf32_External_Rel)));
4385 sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
4387 if (elf_hash_table (info)->dynamic_sections_created)
4389 Elf32_External_Dyn * dyncon;
4390 Elf32_External_Dyn * dynconend;
4392 BFD_ASSERT (sdyn != NULL);
4394 dyncon = (Elf32_External_Dyn *) sdyn->contents;
4395 dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->size);
4397 for (; dyncon < dynconend; dyncon++)
4399 Elf_Internal_Dyn dyn;
4401 bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn);
4403 switch (dyn.d_tag)
4405 default:
4406 break;
4408 case DT_PLTGOT:
4409 dyn.d_un.d_ptr = bfinfdpic_got_section (info)->output_section->vma
4410 + bfinfdpic_got_section (info)->output_offset
4411 + bfinfdpic_got_initial_offset (info);
4412 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4413 break;
4415 case DT_JMPREL:
4416 dyn.d_un.d_ptr = bfinfdpic_pltrel_section (info)
4417 ->output_section->vma
4418 + bfinfdpic_pltrel_section (info)->output_offset;
4419 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4420 break;
4422 case DT_PLTRELSZ:
4423 dyn.d_un.d_val = bfinfdpic_pltrel_section (info)->size;
4424 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon);
4425 break;
4430 return TRUE;
4433 /* Adjust a symbol defined by a dynamic object and referenced by a
4434 regular object. */
4436 static bfd_boolean
4437 elf32_bfinfdpic_adjust_dynamic_symbol
4438 (struct bfd_link_info *info ATTRIBUTE_UNUSED,
4439 struct elf_link_hash_entry *h ATTRIBUTE_UNUSED)
4441 bfd * dynobj;
4443 dynobj = elf_hash_table (info)->dynobj;
4445 /* Make sure we know what is going on here. */
4446 BFD_ASSERT (dynobj != NULL
4447 && (h->u.weakdef != NULL
4448 || (h->def_dynamic
4449 && h->ref_regular
4450 && !h->def_regular)));
4452 /* If this is a weak symbol, and there is a real definition, the
4453 processor independent code will have arranged for us to see the
4454 real definition first, and we can just use the same value. */
4455 if (h->u.weakdef != NULL)
4457 BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
4458 || h->u.weakdef->root.type == bfd_link_hash_defweak);
4459 h->root.u.def.section = h->u.weakdef->root.u.def.section;
4460 h->root.u.def.value = h->u.weakdef->root.u.def.value;
4463 return TRUE;
4466 /* Perform any actions needed for dynamic symbols. */
4468 static bfd_boolean
4469 elf32_bfinfdpic_finish_dynamic_symbol
4470 (bfd *output_bfd ATTRIBUTE_UNUSED,
4471 struct bfd_link_info *info ATTRIBUTE_UNUSED,
4472 struct elf_link_hash_entry *h ATTRIBUTE_UNUSED,
4473 Elf_Internal_Sym *sym ATTRIBUTE_UNUSED)
4475 return TRUE;
4478 /* Decide whether to attempt to turn absptr or lsda encodings in
4479 shared libraries into pcrel within the given input section. */
4481 static bfd_boolean
4482 bfinfdpic_elf_use_relative_eh_frame
4483 (bfd *input_bfd ATTRIBUTE_UNUSED,
4484 struct bfd_link_info *info ATTRIBUTE_UNUSED,
4485 asection *eh_frame_section ATTRIBUTE_UNUSED)
4487 /* We can't use PC-relative encodings in FDPIC binaries, in general. */
4488 return FALSE;
4491 /* Adjust the contents of an eh_frame_hdr section before they're output. */
4493 static bfd_byte
4494 bfinfdpic_elf_encode_eh_address (bfd *abfd,
4495 struct bfd_link_info *info,
4496 asection *osec, bfd_vma offset,
4497 asection *loc_sec, bfd_vma loc_offset,
4498 bfd_vma *encoded)
4500 struct elf_link_hash_entry *h;
4502 h = elf_hash_table (info)->hgot;
4503 BFD_ASSERT (h && h->root.type == bfd_link_hash_defined);
4505 if (! h || (_bfinfdpic_osec_to_segment (abfd, osec)
4506 == _bfinfdpic_osec_to_segment (abfd, loc_sec->output_section)))
4507 return _bfd_elf_encode_eh_address (abfd, info, osec, offset,
4508 loc_sec, loc_offset, encoded);
4510 BFD_ASSERT (_bfinfdpic_osec_to_segment (abfd, osec)
4511 == (_bfinfdpic_osec_to_segment
4512 (abfd, h->root.u.def.section->output_section)));
4514 *encoded = osec->vma + offset
4515 - (h->root.u.def.value
4516 + h->root.u.def.section->output_section->vma
4517 + h->root.u.def.section->output_offset);
4519 return DW_EH_PE_datarel | DW_EH_PE_sdata4;
4524 /* Look through the relocs for a section during the first phase.
4526 Besides handling virtual table relocs for gc, we have to deal with
4527 all sorts of PIC-related relocations. We describe below the
4528 general plan on how to handle such relocations, even though we only
4529 collect information at this point, storing them in hash tables for
4530 perusal of later passes.
4532 32 relocations are propagated to the linker output when creating
4533 position-independent output. LO16 and HI16 relocations are not
4534 supposed to be encountered in this case.
4536 LABEL16 should always be resolvable by the linker, since it's only
4537 used by branches.
4539 LABEL24, on the other hand, is used by calls. If it turns out that
4540 the target of a call is a dynamic symbol, a PLT entry must be
4541 created for it, which triggers the creation of a private function
4542 descriptor and, unless lazy binding is disabled, a lazy PLT entry.
4544 GPREL relocations require the referenced symbol to be in the same
4545 segment as _gp, but this can only be checked later.
4547 All GOT, GOTOFF and FUNCDESC relocations require a .got section to
4548 exist. LABEL24 might as well, since it may require a PLT entry,
4549 that will require a got.
4551 Non-FUNCDESC GOT relocations require a GOT entry to be created
4552 regardless of whether the symbol is dynamic. However, since a
4553 global symbol that turns out to not be exported may have the same
4554 address of a non-dynamic symbol, we don't assign GOT entries at
4555 this point, such that we can share them in this case. A relocation
4556 for the GOT entry always has to be created, be it to offset a
4557 private symbol by the section load address, be it to get the symbol
4558 resolved dynamically.
4560 FUNCDESC GOT relocations require a GOT entry to be created, and
4561 handled as if a FUNCDESC relocation was applied to the GOT entry in
4562 an object file.
4564 FUNCDESC relocations referencing a symbol that turns out to NOT be
4565 dynamic cause a private function descriptor to be created. The
4566 FUNCDESC relocation then decays to a 32 relocation that points at
4567 the private descriptor. If the symbol is dynamic, the FUNCDESC
4568 relocation is propagated to the linker output, such that the
4569 dynamic linker creates the canonical descriptor, pointing to the
4570 dynamically-resolved definition of the function.
4572 Non-FUNCDESC GOTOFF relocations must always refer to non-dynamic
4573 symbols that are assigned to the same segment as the GOT, but we
4574 can only check this later, after we know the complete set of
4575 symbols defined and/or exported.
4577 FUNCDESC GOTOFF relocations require a function descriptor to be
4578 created and, unless lazy binding is disabled or the symbol is not
4579 dynamic, a lazy PLT entry. Since we can't tell at this point
4580 whether a symbol is going to be dynamic, we have to decide later
4581 whether to create a lazy PLT entry or bind the descriptor directly
4582 to the private function.
4584 FUNCDESC_VALUE relocations are not supposed to be present in object
4585 files, but they may very well be simply propagated to the linker
4586 output, since they have no side effect.
4589 A function descriptor always requires a FUNCDESC_VALUE relocation.
4590 Whether it's in .plt.rel or not depends on whether lazy binding is
4591 enabled and on whether the referenced symbol is dynamic.
4593 The existence of a lazy PLT requires the resolverStub lazy PLT
4594 entry to be present.
4597 As for assignment of GOT, PLT and lazy PLT entries, and private
4598 descriptors, we might do them all sequentially, but we can do
4599 better than that. For example, we can place GOT entries and
4600 private function descriptors referenced using 12-bit operands
4601 closer to the PIC register value, such that these relocations don't
4602 overflow. Those that are only referenced with LO16 relocations
4603 could come next, but we may as well place PLT-required function
4604 descriptors in the 12-bit range to make them shorter. Symbols
4605 referenced with LO16/HI16 may come next, but we may place
4606 additional function descriptors in the 16-bit range if we can
4607 reliably tell that we've already placed entries that are ever
4608 referenced with only LO16. PLT entries are therefore generated as
4609 small as possible, while not introducing relocation overflows in
4610 GOT or FUNCDESC_GOTOFF relocations. Lazy PLT entries could be
4611 generated before or after PLT entries, but not intermingled with
4612 them, such that we can have more lazy PLT entries in range for a
4613 branch to the resolverStub. The resolverStub should be emitted at
4614 the most distant location from the first lazy PLT entry such that
4615 it's still in range for a branch, or closer, if there isn't a need
4616 for so many lazy PLT entries. Additional lazy PLT entries may be
4617 emitted after the resolverStub, as long as branches are still in
4618 range. If the branch goes out of range, longer lazy PLT entries
4619 are emitted.
4621 We could further optimize PLT and lazy PLT entries by giving them
4622 priority in assignment to closer-to-gr17 locations depending on the
4623 number of occurrences of references to them (assuming a function
4624 that's called more often is more important for performance, so its
4625 PLT entry should be faster), or taking hints from the compiler.
4626 Given infinite time and money... :-) */
4628 static bfd_boolean
4629 bfinfdpic_check_relocs (bfd *abfd, struct bfd_link_info *info,
4630 asection *sec, const Elf_Internal_Rela *relocs)
4632 Elf_Internal_Shdr *symtab_hdr;
4633 struct elf_link_hash_entry **sym_hashes;
4634 const Elf_Internal_Rela *rel;
4635 const Elf_Internal_Rela *rel_end;
4636 bfd *dynobj;
4637 struct bfinfdpic_relocs_info *picrel;
4639 if (info->relocatable)
4640 return TRUE;
4642 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
4643 sym_hashes = elf_sym_hashes (abfd);
4645 dynobj = elf_hash_table (info)->dynobj;
4646 rel_end = relocs + sec->reloc_count;
4647 for (rel = relocs; rel < rel_end; rel++)
4649 struct elf_link_hash_entry *h;
4650 unsigned long r_symndx;
4652 r_symndx = ELF32_R_SYM (rel->r_info);
4653 if (r_symndx < symtab_hdr->sh_info)
4654 h = NULL;
4655 else
4656 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
4658 switch (ELF32_R_TYPE (rel->r_info))
4660 case R_BFIN_GOT17M4:
4661 case R_BFIN_GOTHI:
4662 case R_BFIN_GOTLO:
4663 case R_BFIN_FUNCDESC_GOT17M4:
4664 case R_BFIN_FUNCDESC_GOTHI:
4665 case R_BFIN_FUNCDESC_GOTLO:
4666 case R_BFIN_GOTOFF17M4:
4667 case R_BFIN_GOTOFFHI:
4668 case R_BFIN_GOTOFFLO:
4669 case R_BFIN_FUNCDESC_GOTOFF17M4:
4670 case R_BFIN_FUNCDESC_GOTOFFHI:
4671 case R_BFIN_FUNCDESC_GOTOFFLO:
4672 case R_BFIN_FUNCDESC:
4673 case R_BFIN_FUNCDESC_VALUE:
4674 if (! IS_FDPIC (abfd))
4675 goto bad_reloc;
4676 /* Fall through. */
4677 case R_pcrel24:
4678 case R_pcrel24_jump_l:
4679 case R_byte4_data:
4680 if (IS_FDPIC (abfd) && ! dynobj)
4682 elf_hash_table (info)->dynobj = dynobj = abfd;
4683 if (! _bfin_create_got_section (abfd, info))
4684 return FALSE;
4686 if (! IS_FDPIC (abfd))
4688 picrel = NULL;
4689 break;
4691 if (h != NULL)
4693 if (h->dynindx == -1)
4694 switch (ELF_ST_VISIBILITY (h->other))
4696 case STV_INTERNAL:
4697 case STV_HIDDEN:
4698 break;
4699 default:
4700 bfd_elf_link_record_dynamic_symbol (info, h);
4701 break;
4703 picrel
4704 = bfinfdpic_relocs_info_for_global (bfinfdpic_relocs_info (info),
4705 abfd, h,
4706 rel->r_addend, INSERT);
4708 else
4709 picrel = bfinfdpic_relocs_info_for_local (bfinfdpic_relocs_info
4710 (info), abfd, r_symndx,
4711 rel->r_addend, INSERT);
4712 if (! picrel)
4713 return FALSE;
4714 break;
4716 default:
4717 picrel = NULL;
4718 break;
4721 switch (ELF32_R_TYPE (rel->r_info))
4723 case R_pcrel24:
4724 case R_pcrel24_jump_l:
4725 if (IS_FDPIC (abfd))
4726 picrel->call++;
4727 break;
4729 case R_BFIN_FUNCDESC_VALUE:
4730 picrel->relocsfdv++;
4731 if (bfd_get_section_flags (abfd, sec) & SEC_ALLOC)
4732 picrel->relocs32--;
4733 /* Fall through. */
4735 case R_byte4_data:
4736 if (! IS_FDPIC (abfd))
4737 break;
4739 picrel->sym++;
4740 if (bfd_get_section_flags (abfd, sec) & SEC_ALLOC)
4741 picrel->relocs32++;
4742 break;
4744 case R_BFIN_GOT17M4:
4745 picrel->got17m4++;
4746 break;
4748 case R_BFIN_GOTHI:
4749 case R_BFIN_GOTLO:
4750 picrel->gothilo++;
4751 break;
4753 case R_BFIN_FUNCDESC_GOT17M4:
4754 picrel->fdgot17m4++;
4755 break;
4757 case R_BFIN_FUNCDESC_GOTHI:
4758 case R_BFIN_FUNCDESC_GOTLO:
4759 picrel->fdgothilo++;
4760 break;
4762 case R_BFIN_GOTOFF17M4:
4763 case R_BFIN_GOTOFFHI:
4764 case R_BFIN_GOTOFFLO:
4765 picrel->gotoff++;
4766 break;
4768 case R_BFIN_FUNCDESC_GOTOFF17M4:
4769 picrel->fdgoff17m4++;
4770 break;
4772 case R_BFIN_FUNCDESC_GOTOFFHI:
4773 case R_BFIN_FUNCDESC_GOTOFFLO:
4774 picrel->fdgoffhilo++;
4775 break;
4777 case R_BFIN_FUNCDESC:
4778 picrel->fd++;
4779 picrel->relocsfd++;
4780 break;
4782 /* This relocation describes the C++ object vtable hierarchy.
4783 Reconstruct it for later use during GC. */
4784 case R_BFIN_GNU_VTINHERIT:
4785 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
4786 return FALSE;
4787 break;
4789 /* This relocation describes which C++ vtable entries are actually
4790 used. Record for later use during GC. */
4791 case R_BFIN_GNU_VTENTRY:
4792 BFD_ASSERT (h != NULL);
4793 if (h != NULL
4794 && !bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
4795 return FALSE;
4796 break;
4798 case R_huimm16:
4799 case R_luimm16:
4800 case R_pcrel12_jump_s:
4801 case R_pcrel10:
4802 break;
4804 default:
4805 bad_reloc:
4806 (*_bfd_error_handler)
4807 (_("%B: unsupported relocation type %i"),
4808 abfd, ELF32_R_TYPE (rel->r_info));
4809 return FALSE;
4813 return TRUE;
4816 /* Set the right machine number for a Blackfin ELF file. */
4818 static bfd_boolean
4819 elf32_bfin_object_p (bfd *abfd)
4821 bfd_default_set_arch_mach (abfd, bfd_arch_bfin, 0);
4822 return (((elf_elfheader (abfd)->e_flags & EF_BFIN_FDPIC) != 0)
4823 == (IS_FDPIC (abfd)));
4826 static bfd_boolean
4827 elf32_bfin_set_private_flags (bfd * abfd, flagword flags)
4829 elf_elfheader (abfd)->e_flags = flags;
4830 elf_flags_init (abfd) = TRUE;
4831 return TRUE;
4834 /* Copy backend specific data from one object module to another. */
4836 static bfd_boolean
4837 bfin_elf_copy_private_bfd_data (bfd *ibfd, bfd *obfd)
4839 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
4840 || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
4841 return TRUE;
4843 BFD_ASSERT (!elf_flags_init (obfd)
4844 || elf_elfheader (obfd)->e_flags == elf_elfheader (ibfd)->e_flags);
4846 elf_elfheader (obfd)->e_flags = elf_elfheader (ibfd)->e_flags;
4847 elf_flags_init (obfd) = TRUE;
4849 /* Copy object attributes. */
4850 _bfd_elf_copy_obj_attributes (ibfd, obfd);
4852 return TRUE;
4855 static bfd_boolean
4856 elf32_bfinfdpic_copy_private_bfd_data (bfd *ibfd, bfd *obfd)
4858 unsigned i;
4860 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
4861 || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
4862 return TRUE;
4864 if (! bfin_elf_copy_private_bfd_data (ibfd, obfd))
4865 return FALSE;
4867 if (! elf_tdata (ibfd) || ! elf_tdata (ibfd)->phdr
4868 || ! elf_tdata (obfd) || ! elf_tdata (obfd)->phdr)
4869 return TRUE;
4871 /* Copy the stack size. */
4872 for (i = 0; i < elf_elfheader (ibfd)->e_phnum; i++)
4873 if (elf_tdata (ibfd)->phdr[i].p_type == PT_GNU_STACK)
4875 Elf_Internal_Phdr *iphdr = &elf_tdata (ibfd)->phdr[i];
4877 for (i = 0; i < elf_elfheader (obfd)->e_phnum; i++)
4878 if (elf_tdata (obfd)->phdr[i].p_type == PT_GNU_STACK)
4880 memcpy (&elf_tdata (obfd)->phdr[i], iphdr, sizeof (*iphdr));
4882 /* Rewrite the phdrs, since we're only called after they
4883 were first written. */
4884 if (bfd_seek (obfd, (bfd_signed_vma) get_elf_backend_data (obfd)
4885 ->s->sizeof_ehdr, SEEK_SET) != 0
4886 || get_elf_backend_data (obfd)->s
4887 ->write_out_phdrs (obfd, elf_tdata (obfd)->phdr,
4888 elf_elfheader (obfd)->e_phnum) != 0)
4889 return FALSE;
4890 break;
4893 break;
4896 return TRUE;
4900 /* Display the flags field. */
4901 static bfd_boolean
4902 elf32_bfin_print_private_bfd_data (bfd * abfd, PTR ptr)
4904 FILE *file = (FILE *) ptr;
4905 flagword flags;
4907 BFD_ASSERT (abfd != NULL && ptr != NULL);
4909 /* Print normal ELF private data. */
4910 _bfd_elf_print_private_bfd_data (abfd, ptr);
4912 flags = elf_elfheader (abfd)->e_flags;
4914 /* xgettext:c-format */
4915 fprintf (file, _("private flags = %lx:"), elf_elfheader (abfd)->e_flags);
4917 if (flags & EF_BFIN_PIC)
4918 fprintf (file, " -fpic");
4920 if (flags & EF_BFIN_FDPIC)
4921 fprintf (file, " -mfdpic");
4923 fputc ('\n', file);
4925 return TRUE;
4928 /* Merge backend specific data from an object file to the output
4929 object file when linking. */
4931 static bfd_boolean
4932 elf32_bfin_merge_private_bfd_data (bfd *ibfd, bfd *obfd)
4934 flagword old_flags, new_flags;
4935 bfd_boolean error = FALSE;
4937 new_flags = elf_elfheader (ibfd)->e_flags;
4938 old_flags = elf_elfheader (obfd)->e_flags;
4940 if (new_flags & EF_BFIN_FDPIC)
4941 new_flags &= ~EF_BFIN_PIC;
4943 #ifdef DEBUG
4944 (*_bfd_error_handler) ("old_flags = 0x%.8lx, new_flags = 0x%.8lx, init = %s, filename = %s",
4945 old_flags, new_flags, elf_flags_init (obfd) ? "yes" : "no",
4946 bfd_get_filename (ibfd));
4947 #endif
4949 if (!elf_flags_init (obfd)) /* First call, no flags set. */
4951 elf_flags_init (obfd) = TRUE;
4952 elf_elfheader (obfd)->e_flags = new_flags;
4955 if (((new_flags & EF_BFIN_FDPIC) == 0) != (! IS_FDPIC (obfd)))
4957 error = TRUE;
4958 if (IS_FDPIC (obfd))
4959 (*_bfd_error_handler)
4960 (_("%s: cannot link non-fdpic object file into fdpic executable"),
4961 bfd_get_filename (ibfd));
4962 else
4963 (*_bfd_error_handler)
4964 (_("%s: cannot link fdpic object file into non-fdpic executable"),
4965 bfd_get_filename (ibfd));
4968 if (error)
4969 bfd_set_error (bfd_error_bad_value);
4971 return !error;
4974 /* bfin ELF linker hash entry. */
4976 struct bfin_link_hash_entry
4978 struct elf_link_hash_entry root;
4980 /* Number of PC relative relocs copied for this symbol. */
4981 struct bfin_pcrel_relocs_copied *pcrel_relocs_copied;
4984 /* bfin ELF linker hash table. */
4986 struct bfin_link_hash_table
4988 struct elf_link_hash_table root;
4990 /* Small local sym to section mapping cache. */
4991 struct sym_sec_cache sym_sec;
4994 #define bfin_hash_entry(ent) ((struct bfin_link_hash_entry *) (ent))
4996 static struct bfd_hash_entry *
4997 bfin_link_hash_newfunc (struct bfd_hash_entry *entry,
4998 struct bfd_hash_table *table, const char *string)
5000 struct bfd_hash_entry *ret = entry;
5002 /* Allocate the structure if it has not already been allocated by a
5003 subclass. */
5004 if (ret == NULL)
5005 ret = bfd_hash_allocate (table, sizeof (struct bfin_link_hash_entry));
5006 if (ret == NULL)
5007 return ret;
5009 /* Call the allocation method of the superclass. */
5010 ret = _bfd_elf_link_hash_newfunc (ret, table, string);
5011 if (ret != NULL)
5012 bfin_hash_entry (ret)->pcrel_relocs_copied = NULL;
5014 return ret;
5017 /* Create an bfin ELF linker hash table. */
5019 static struct bfd_link_hash_table *
5020 bfin_link_hash_table_create (bfd * abfd)
5022 struct bfin_link_hash_table *ret;
5023 bfd_size_type amt = sizeof (struct bfin_link_hash_table);
5025 ret = bfd_zalloc (abfd, amt);
5026 if (ret == NULL)
5027 return NULL;
5029 if (!_bfd_elf_link_hash_table_init (&ret->root, abfd,
5030 bfin_link_hash_newfunc,
5031 sizeof (struct elf_link_hash_entry)))
5033 free (ret);
5034 return NULL;
5037 ret->sym_sec.abfd = NULL;
5039 return &ret->root.root;
5042 /* The size in bytes of an entry in the procedure linkage table. */
5044 /* Finish up the dynamic sections. */
5046 static bfd_boolean
5047 bfin_finish_dynamic_sections (bfd * output_bfd ATTRIBUTE_UNUSED,
5048 struct bfd_link_info *info)
5050 bfd *dynobj;
5051 asection *sdyn;
5053 dynobj = elf_hash_table (info)->dynobj;
5055 sdyn = bfd_get_section_by_name (dynobj, ".dynamic");
5057 if (elf_hash_table (info)->dynamic_sections_created)
5059 Elf32_External_Dyn *dyncon, *dynconend;
5061 BFD_ASSERT (sdyn != NULL);
5063 dyncon = (Elf32_External_Dyn *) sdyn->contents;
5064 dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->size);
5065 for (; dyncon < dynconend; dyncon++)
5067 Elf_Internal_Dyn dyn;
5069 bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn);
5074 return TRUE;
5077 /* Finish up dynamic symbol handling. We set the contents of various
5078 dynamic sections here. */
5080 static bfd_boolean
5081 bfin_finish_dynamic_symbol (bfd * output_bfd,
5082 struct bfd_link_info *info,
5083 struct elf_link_hash_entry *h,
5084 Elf_Internal_Sym * sym)
5086 bfd *dynobj;
5088 dynobj = elf_hash_table (info)->dynobj;
5090 if (h->got.offset != (bfd_vma) - 1)
5092 asection *sgot;
5093 asection *srela;
5094 Elf_Internal_Rela rela;
5095 bfd_byte *loc;
5097 /* This symbol has an entry in the global offset table.
5098 Set it up. */
5100 sgot = bfd_get_section_by_name (dynobj, ".got");
5101 srela = bfd_get_section_by_name (dynobj, ".rela.got");
5102 BFD_ASSERT (sgot != NULL && srela != NULL);
5104 rela.r_offset = (sgot->output_section->vma
5105 + sgot->output_offset
5106 + (h->got.offset & ~(bfd_vma) 1));
5108 /* If this is a -Bsymbolic link, and the symbol is defined
5109 locally, we just want to emit a RELATIVE reloc. Likewise if
5110 the symbol was forced to be local because of a version file.
5111 The entry in the global offset table will already have been
5112 initialized in the relocate_section function. */
5113 if (info->shared
5114 && (info->symbolic
5115 || h->dynindx == -1 || h->forced_local) && h->def_regular)
5117 fprintf(stderr, "*** check this relocation %s\n", __FUNCTION__);
5118 rela.r_info = ELF32_R_INFO (0, R_pcrel24);
5119 rela.r_addend = bfd_get_signed_32 (output_bfd,
5120 (sgot->contents
5122 (h->got.
5123 offset & ~(bfd_vma) 1)));
5125 else
5127 bfd_put_32 (output_bfd, (bfd_vma) 0,
5128 sgot->contents + (h->got.offset & ~(bfd_vma) 1));
5129 rela.r_info = ELF32_R_INFO (h->dynindx, R_got);
5130 rela.r_addend = 0;
5133 loc = srela->contents;
5134 loc += srela->reloc_count++ * sizeof (Elf32_External_Rela);
5135 bfd_elf32_swap_reloca_out (output_bfd, &rela, loc);
5138 if (h->needs_copy)
5140 BFD_ASSERT (0);
5142 /* Mark _DYNAMIC and _GLOBAL_OFFSET_TABLE_ as absolute. */
5143 if (strcmp (h->root.root.string, "__DYNAMIC") == 0
5144 || h == elf_hash_table (info)->hgot)
5145 sym->st_shndx = SHN_ABS;
5147 return TRUE;
5150 /* Adjust a symbol defined by a dynamic object and referenced by a
5151 regular object. The current definition is in some section of the
5152 dynamic object, but we're not including those sections. We have to
5153 change the definition to something the rest of the link can
5154 understand. */
5156 static bfd_boolean
5157 bfin_adjust_dynamic_symbol (struct bfd_link_info *info,
5158 struct elf_link_hash_entry *h)
5160 bfd *dynobj;
5161 asection *s;
5162 unsigned int power_of_two;
5164 dynobj = elf_hash_table (info)->dynobj;
5166 /* Make sure we know what is going on here. */
5167 BFD_ASSERT (dynobj != NULL
5168 && (h->needs_plt
5169 || h->u.weakdef != NULL
5170 || (h->def_dynamic && h->ref_regular && !h->def_regular)));
5172 /* If this is a function, put it in the procedure linkage table. We
5173 will fill in the contents of the procedure linkage table later,
5174 when we know the address of the .got section. */
5175 if (h->type == STT_FUNC || h->needs_plt)
5177 BFD_ASSERT(0);
5180 /* If this is a weak symbol, and there is a real definition, the
5181 processor independent code will have arranged for us to see the
5182 real definition first, and we can just use the same value. */
5183 if (h->u.weakdef != NULL)
5185 BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
5186 || h->u.weakdef->root.type == bfd_link_hash_defweak);
5187 h->root.u.def.section = h->u.weakdef->root.u.def.section;
5188 h->root.u.def.value = h->u.weakdef->root.u.def.value;
5189 return TRUE;
5192 /* This is a reference to a symbol defined by a dynamic object which
5193 is not a function. */
5195 /* If we are creating a shared library, we must presume that the
5196 only references to the symbol are via the global offset table.
5197 For such cases we need not do anything here; the relocations will
5198 be handled correctly by relocate_section. */
5199 if (info->shared)
5200 return TRUE;
5202 /* We must allocate the symbol in our .dynbss section, which will
5203 become part of the .bss section of the executable. There will be
5204 an entry for this symbol in the .dynsym section. The dynamic
5205 object will contain position independent code, so all references
5206 from the dynamic object to this symbol will go through the global
5207 offset table. The dynamic linker will use the .dynsym entry to
5208 determine the address it must put in the global offset table, so
5209 both the dynamic object and the regular object will refer to the
5210 same memory location for the variable. */
5212 s = bfd_get_section_by_name (dynobj, ".dynbss");
5213 BFD_ASSERT (s != NULL);
5215 /* We must generate a R_68K_COPY reloc to tell the dynamic linker to
5216 copy the initial value out of the dynamic object and into the
5217 runtime process image. We need to remember the offset into the
5218 .rela.bss section we are going to use. */
5219 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0)
5221 asection *srel;
5223 srel = bfd_get_section_by_name (dynobj, ".rela.bss");
5224 BFD_ASSERT (srel != NULL);
5225 srel->size += sizeof (Elf32_External_Rela);
5226 h->needs_copy = 1;
5229 /* We need to figure out the alignment required for this symbol. I
5230 have no idea how ELF linkers handle this. */
5231 power_of_two = bfd_log2 (h->size);
5232 if (power_of_two > 3)
5233 power_of_two = 3;
5235 /* Apply the required alignment. */
5236 s->size = BFD_ALIGN (s->size, (bfd_size_type) (1 << power_of_two));
5237 if (power_of_two > bfd_get_section_alignment (dynobj, s))
5239 if (!bfd_set_section_alignment (dynobj, s, power_of_two))
5240 return FALSE;
5243 /* Define the symbol as being at this point in the section. */
5244 h->root.u.def.section = s;
5245 h->root.u.def.value = s->size;
5247 /* Increment the section size to make room for the symbol. */
5248 s->size += h->size;
5250 return TRUE;
5253 /* The bfin linker needs to keep track of the number of relocs that it
5254 decides to copy in check_relocs for each symbol. This is so that it
5255 can discard PC relative relocs if it doesn't need them when linking
5256 with -Bsymbolic. We store the information in a field extending the
5257 regular ELF linker hash table. */
5259 /* This structure keeps track of the number of PC relative relocs we have
5260 copied for a given symbol. */
5262 struct bfin_pcrel_relocs_copied
5264 /* Next section. */
5265 struct bfin_pcrel_relocs_copied *next;
5266 /* A section in dynobj. */
5267 asection *section;
5268 /* Number of relocs copied in this section. */
5269 bfd_size_type count;
5272 /* This function is called via elf_link_hash_traverse if we are
5273 creating a shared object. In the -Bsymbolic case it discards the
5274 space allocated to copy PC relative relocs against symbols which
5275 are defined in regular objects. For the normal shared case, it
5276 discards space for pc-relative relocs that have become local due to
5277 symbol visibility changes. We allocated space for them in the
5278 check_relocs routine, but we won't fill them in in the
5279 relocate_section routine.
5281 We also check whether any of the remaining relocations apply
5282 against a readonly section, and set the DF_TEXTREL flag in this
5283 case. */
5285 static bfd_boolean
5286 bfin_discard_copies (struct elf_link_hash_entry *h, PTR inf)
5288 struct bfd_link_info *info = (struct bfd_link_info *) inf;
5289 struct bfin_pcrel_relocs_copied *s;
5291 if (h->root.type == bfd_link_hash_warning)
5292 h = (struct elf_link_hash_entry *) h->root.u.i.link;
5294 if (!h->def_regular || (!info->symbolic && !h->forced_local))
5296 if ((info->flags & DF_TEXTREL) == 0)
5298 /* Look for relocations against read-only sections. */
5299 for (s = bfin_hash_entry (h)->pcrel_relocs_copied;
5300 s != NULL; s = s->next)
5301 if ((s->section->flags & SEC_READONLY) != 0)
5303 info->flags |= DF_TEXTREL;
5304 break;
5308 return TRUE;
5311 for (s = bfin_hash_entry (h)->pcrel_relocs_copied;
5312 s != NULL; s = s->next)
5313 s->section->size -= s->count * sizeof (Elf32_External_Rela);
5315 return TRUE;
5318 static bfd_boolean
5319 bfin_size_dynamic_sections (bfd * output_bfd ATTRIBUTE_UNUSED,
5320 struct bfd_link_info *info)
5322 bfd *dynobj;
5323 asection *s;
5324 bfd_boolean relocs;
5326 dynobj = elf_hash_table (info)->dynobj;
5327 BFD_ASSERT (dynobj != NULL);
5329 if (elf_hash_table (info)->dynamic_sections_created)
5331 /* Set the contents of the .interp section to the interpreter. */
5332 if (info->executable)
5334 s = bfd_get_section_by_name (dynobj, ".interp");
5335 BFD_ASSERT (s != NULL);
5336 s->size = sizeof ELF_DYNAMIC_INTERPRETER;
5337 s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
5340 else
5342 /* We may have created entries in the .rela.got section.
5343 However, if we are not creating the dynamic sections, we will
5344 not actually use these entries. Reset the size of .rela.got,
5345 which will cause it to get stripped from the output file
5346 below. */
5347 s = bfd_get_section_by_name (dynobj, ".rela.got");
5348 if (s != NULL)
5349 s->size = 0;
5352 /* If this is a -Bsymbolic shared link, then we need to discard all
5353 PC relative relocs against symbols defined in a regular object.
5354 For the normal shared case we discard the PC relative relocs
5355 against symbols that have become local due to visibility changes.
5356 We allocated space for them in the check_relocs routine, but we
5357 will not fill them in in the relocate_section routine. */
5358 if (info->shared)
5359 elf_link_hash_traverse (elf_hash_table (info),
5360 bfin_discard_copies, (PTR) info);
5362 /* The check_relocs and adjust_dynamic_symbol entry points have
5363 determined the sizes of the various dynamic sections. Allocate
5364 memory for them. */
5365 relocs = FALSE;
5366 for (s = dynobj->sections; s != NULL; s = s->next)
5368 const char *name;
5369 bfd_boolean strip;
5371 if ((s->flags & SEC_LINKER_CREATED) == 0)
5372 continue;
5374 /* It's OK to base decisions on the section name, because none
5375 of the dynobj section names depend upon the input files. */
5376 name = bfd_get_section_name (dynobj, s);
5378 strip = FALSE;
5380 if (CONST_STRNEQ (name, ".rela"))
5382 if (s->size == 0)
5384 /* If we don't need this section, strip it from the
5385 output file. This is mostly to handle .rela.bss and
5386 .rela.plt. We must create both sections in
5387 create_dynamic_sections, because they must be created
5388 before the linker maps input sections to output
5389 sections. The linker does that before
5390 adjust_dynamic_symbol is called, and it is that
5391 function which decides whether anything needs to go
5392 into these sections. */
5393 strip = TRUE;
5395 else
5397 relocs = TRUE;
5399 /* We use the reloc_count field as a counter if we need
5400 to copy relocs into the output file. */
5401 s->reloc_count = 0;
5404 else if (! CONST_STRNEQ (name, ".got"))
5406 /* It's not one of our sections, so don't allocate space. */
5407 continue;
5410 if (strip)
5412 s->flags |= SEC_EXCLUDE;
5413 continue;
5416 /* Allocate memory for the section contents. */
5417 /* FIXME: This should be a call to bfd_alloc not bfd_zalloc.
5418 Unused entries should be reclaimed before the section's contents
5419 are written out, but at the moment this does not happen. Thus in
5420 order to prevent writing out garbage, we initialise the section's
5421 contents to zero. */
5422 s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
5423 if (s->contents == NULL && s->size != 0)
5424 return FALSE;
5427 if (elf_hash_table (info)->dynamic_sections_created)
5429 /* Add some entries to the .dynamic section. We fill in the
5430 values later, in bfin_finish_dynamic_sections, but we
5431 must add the entries now so that we get the correct size for
5432 the .dynamic section. The DT_DEBUG entry is filled in by the
5433 dynamic linker and used by the debugger. */
5434 #define add_dynamic_entry(TAG, VAL) \
5435 _bfd_elf_add_dynamic_entry (info, TAG, VAL)
5437 if (!info->shared)
5439 if (!add_dynamic_entry (DT_DEBUG, 0))
5440 return FALSE;
5444 if (relocs)
5446 if (!add_dynamic_entry (DT_RELA, 0)
5447 || !add_dynamic_entry (DT_RELASZ, 0)
5448 || !add_dynamic_entry (DT_RELAENT,
5449 sizeof (Elf32_External_Rela)))
5450 return FALSE;
5453 if ((info->flags & DF_TEXTREL) != 0)
5455 if (!add_dynamic_entry (DT_TEXTREL, 0))
5456 return FALSE;
5459 #undef add_dynamic_entry
5461 return TRUE;
5464 /* Given a .data section and a .emreloc in-memory section, store
5465 relocation information into the .emreloc section which can be
5466 used at runtime to relocate the section. This is called by the
5467 linker when the --embedded-relocs switch is used. This is called
5468 after the add_symbols entry point has been called for all the
5469 objects, and before the final_link entry point is called. */
5471 bfd_boolean bfd_bfin_elf32_create_embedded_relocs
5472 PARAMS ((bfd *, struct bfd_link_info *, asection *, asection *, char **));
5474 bfd_boolean
5475 bfd_bfin_elf32_create_embedded_relocs (
5476 bfd *abfd,
5477 struct bfd_link_info *info,
5478 asection *datasec,
5479 asection *relsec,
5480 char **errmsg)
5482 Elf_Internal_Shdr *symtab_hdr;
5483 Elf_Internal_Sym *isymbuf = NULL;
5484 Elf_Internal_Rela *internal_relocs = NULL;
5485 Elf_Internal_Rela *irel, *irelend;
5486 bfd_byte *p;
5487 bfd_size_type amt;
5489 BFD_ASSERT (! info->relocatable);
5491 *errmsg = NULL;
5493 if (datasec->reloc_count == 0)
5494 return TRUE;
5496 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
5498 /* Get a copy of the native relocations. */
5499 internal_relocs = (_bfd_elf_link_read_relocs
5500 (abfd, datasec, (PTR) NULL, (Elf_Internal_Rela *) NULL,
5501 info->keep_memory));
5502 if (internal_relocs == NULL)
5503 goto error_return;
5505 amt = (bfd_size_type) datasec->reloc_count * 12;
5506 relsec->contents = (bfd_byte *) bfd_alloc (abfd, amt);
5507 if (relsec->contents == NULL)
5508 goto error_return;
5510 p = relsec->contents;
5512 irelend = internal_relocs + datasec->reloc_count;
5513 for (irel = internal_relocs; irel < irelend; irel++, p += 12)
5515 asection *targetsec;
5517 /* We are going to write a four byte longword into the runtime
5518 reloc section. The longword will be the address in the data
5519 section which must be relocated. It is followed by the name
5520 of the target section NUL-padded or truncated to 8
5521 characters. */
5523 /* We can only relocate absolute longword relocs at run time. */
5524 if (ELF32_R_TYPE (irel->r_info) != (int) R_byte4_data)
5526 *errmsg = _("unsupported reloc type");
5527 bfd_set_error (bfd_error_bad_value);
5528 goto error_return;
5531 /* Get the target section referred to by the reloc. */
5532 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
5534 /* A local symbol. */
5535 Elf_Internal_Sym *isym;
5537 /* Read this BFD's local symbols if we haven't done so already. */
5538 if (isymbuf == NULL)
5540 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
5541 if (isymbuf == NULL)
5542 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
5543 symtab_hdr->sh_info, 0,
5544 NULL, NULL, NULL);
5545 if (isymbuf == NULL)
5546 goto error_return;
5549 isym = isymbuf + ELF32_R_SYM (irel->r_info);
5550 targetsec = bfd_section_from_elf_index (abfd, isym->st_shndx);
5552 else
5554 unsigned long indx;
5555 struct elf_link_hash_entry *h;
5557 /* An external symbol. */
5558 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info;
5559 h = elf_sym_hashes (abfd)[indx];
5560 BFD_ASSERT (h != NULL);
5561 if (h->root.type == bfd_link_hash_defined
5562 || h->root.type == bfd_link_hash_defweak)
5563 targetsec = h->root.u.def.section;
5564 else
5565 targetsec = NULL;
5568 bfd_put_32 (abfd, irel->r_offset + datasec->output_offset, p);
5569 memset (p + 4, 0, 8);
5570 if (targetsec != NULL)
5571 strncpy ((char *) p + 4, targetsec->output_section->name, 8);
5574 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
5575 free (isymbuf);
5576 if (internal_relocs != NULL
5577 && elf_section_data (datasec)->relocs != internal_relocs)
5578 free (internal_relocs);
5579 return TRUE;
5581 error_return:
5582 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf)
5583 free (isymbuf);
5584 if (internal_relocs != NULL
5585 && elf_section_data (datasec)->relocs != internal_relocs)
5586 free (internal_relocs);
5587 return FALSE;
5590 #define TARGET_LITTLE_SYM bfd_elf32_bfin_vec
5591 #define TARGET_LITTLE_NAME "elf32-bfin"
5592 #define ELF_ARCH bfd_arch_bfin
5593 #define ELF_MACHINE_CODE EM_BLACKFIN
5594 #define ELF_MAXPAGESIZE 0x1000
5595 #define elf_symbol_leading_char '_'
5597 #define bfd_elf32_bfd_reloc_type_lookup bfin_bfd_reloc_type_lookup
5598 #define bfd_elf32_bfd_reloc_name_lookup \
5599 bfin_bfd_reloc_name_lookup
5600 #define elf_info_to_howto bfin_info_to_howto
5601 #define elf_info_to_howto_rel 0
5602 #define elf_backend_object_p elf32_bfin_object_p
5604 #define bfd_elf32_bfd_is_local_label_name \
5605 bfin_is_local_label_name
5606 #define bfin_hash_table(p) \
5607 ((struct bfin_link_hash_table *) (p)->hash)
5611 #define elf_backend_create_dynamic_sections \
5612 _bfd_elf_create_dynamic_sections
5613 #define bfd_elf32_bfd_link_hash_table_create \
5614 bfin_link_hash_table_create
5615 #define bfd_elf32_bfd_final_link bfd_elf_gc_common_final_link
5617 #define elf_backend_check_relocs bfin_check_relocs
5618 #define elf_backend_adjust_dynamic_symbol \
5619 bfin_adjust_dynamic_symbol
5620 #define elf_backend_size_dynamic_sections \
5621 bfin_size_dynamic_sections
5622 #define elf_backend_relocate_section bfin_relocate_section
5623 #define elf_backend_finish_dynamic_symbol \
5624 bfin_finish_dynamic_symbol
5625 #define elf_backend_finish_dynamic_sections \
5626 bfin_finish_dynamic_sections
5627 #define elf_backend_gc_mark_hook bfin_gc_mark_hook
5628 #define elf_backend_gc_sweep_hook bfin_gc_sweep_hook
5629 #define bfd_elf32_bfd_merge_private_bfd_data \
5630 elf32_bfin_merge_private_bfd_data
5631 #define bfd_elf32_bfd_set_private_flags \
5632 elf32_bfin_set_private_flags
5633 #define bfd_elf32_bfd_print_private_bfd_data \
5634 elf32_bfin_print_private_bfd_data
5635 #define elf_backend_reloc_type_class elf32_bfin_reloc_type_class
5636 #define elf_backend_can_gc_sections 1
5637 #define elf_backend_can_refcount 1
5638 #define elf_backend_want_got_plt 0
5639 #define elf_backend_plt_readonly 1
5640 #define elf_backend_want_plt_sym 0
5641 #define elf_backend_got_header_size 12
5642 #define elf_backend_rela_normal 1
5644 #include "elf32-target.h"
5646 #undef TARGET_LITTLE_SYM
5647 #define TARGET_LITTLE_SYM bfd_elf32_bfinfdpic_vec
5648 #undef TARGET_LITTLE_NAME
5649 #define TARGET_LITTLE_NAME "elf32-bfinfdpic"
5650 #undef elf32_bed
5651 #define elf32_bed elf32_bfinfdpic_bed
5653 #undef elf_backend_gc_sweep_hook
5654 #define elf_backend_gc_sweep_hook bfinfdpic_gc_sweep_hook
5656 #undef elf_backend_got_header_size
5657 #define elf_backend_got_header_size 0
5659 #undef elf_backend_relocate_section
5660 #define elf_backend_relocate_section bfinfdpic_relocate_section
5661 #undef elf_backend_check_relocs
5662 #define elf_backend_check_relocs bfinfdpic_check_relocs
5664 #undef bfd_elf32_bfd_link_hash_table_create
5665 #define bfd_elf32_bfd_link_hash_table_create \
5666 bfinfdpic_elf_link_hash_table_create
5667 #undef elf_backend_always_size_sections
5668 #define elf_backend_always_size_sections \
5669 elf32_bfinfdpic_always_size_sections
5670 #undef elf_backend_modify_program_headers
5671 #define elf_backend_modify_program_headers \
5672 elf32_bfinfdpic_modify_program_headers
5673 #undef bfd_elf32_bfd_copy_private_bfd_data
5674 #define bfd_elf32_bfd_copy_private_bfd_data \
5675 elf32_bfinfdpic_copy_private_bfd_data
5677 #undef elf_backend_create_dynamic_sections
5678 #define elf_backend_create_dynamic_sections \
5679 elf32_bfinfdpic_create_dynamic_sections
5680 #undef elf_backend_adjust_dynamic_symbol
5681 #define elf_backend_adjust_dynamic_symbol \
5682 elf32_bfinfdpic_adjust_dynamic_symbol
5683 #undef elf_backend_size_dynamic_sections
5684 #define elf_backend_size_dynamic_sections \
5685 elf32_bfinfdpic_size_dynamic_sections
5686 #undef elf_backend_finish_dynamic_symbol
5687 #define elf_backend_finish_dynamic_symbol \
5688 elf32_bfinfdpic_finish_dynamic_symbol
5689 #undef elf_backend_finish_dynamic_sections
5690 #define elf_backend_finish_dynamic_sections \
5691 elf32_bfinfdpic_finish_dynamic_sections
5693 #undef elf_backend_can_make_relative_eh_frame
5694 #define elf_backend_can_make_relative_eh_frame \
5695 bfinfdpic_elf_use_relative_eh_frame
5696 #undef elf_backend_can_make_lsda_relative_eh_frame
5697 #define elf_backend_can_make_lsda_relative_eh_frame \
5698 bfinfdpic_elf_use_relative_eh_frame
5699 #undef elf_backend_encode_eh_address
5700 #define elf_backend_encode_eh_address \
5701 bfinfdpic_elf_encode_eh_address
5703 #undef elf_backend_may_use_rel_p
5704 #define elf_backend_may_use_rel_p 1
5705 #undef elf_backend_may_use_rela_p
5706 #define elf_backend_may_use_rela_p 1
5707 /* We use REL for dynamic relocations only. */
5708 #undef elf_backend_default_use_rela_p
5709 #define elf_backend_default_use_rela_p 1
5711 #undef elf_backend_omit_section_dynsym
5712 #define elf_backend_omit_section_dynsym _bfinfdpic_link_omit_section_dynsym
5714 #include "elf32-target.h"