| blob | 384348e957ebc1c2a96688179c6d3e6e95f0ade9 |
1 /* PowerPC64-specific support for 64-bit ELF.
2 Copyright 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
3 Written by Linus Nordberg, Swox AB <info@swox.com>,
4 based on elf32-ppc.c by Ian Lance Taylor.
6 This file is part of BFD, the Binary File Descriptor library.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
22 /* This file is based on the 64-bit PowerPC ELF ABI. It is also based
23 on the file elf32-ppc.c. */
33 static void ppc_howto_init
37 static void ppc64_elf_info_to_howto
39 static bfd_reloc_status_type ppc64_elf_ha_reloc
41 static bfd_reloc_status_type ppc64_elf_brtaken_reloc
43 static bfd_reloc_status_type ppc64_elf_sectoff_reloc
45 static bfd_reloc_status_type ppc64_elf_sectoff_ha_reloc
47 static bfd_reloc_status_type ppc64_elf_toc_reloc
49 static bfd_reloc_status_type ppc64_elf_toc_ha_reloc
51 static bfd_reloc_status_type ppc64_elf_toc64_reloc
53 static bfd_reloc_status_type ppc64_elf_unhandled_reloc
55 static boolean ppc64_elf_object_p
57 static boolean ppc64_elf_merge_private_bfd_data
61 /* The name of the dynamic interpreter. This is put in the .interp
62 section. */
65 /* The size in bytes of an entry in the procedure linkage table. */
66 #define PLT_ENTRY_SIZE 24
68 /* The initial size of the plt reserved for the dynamic linker. */
69 #define PLT_INITIAL_ENTRY_SIZE PLT_ENTRY_SIZE
71 /* TOC base pointers offset from start of TOC. */
72 #define TOC_BASE_OFF (0x8000)
74 /* .plt call stub instructions. */
80 /* ld %r11,xxx+16@l(%r12) */
83 /* The normal stub is this size. */
84 #define PLT_CALL_STUB_SIZE (7*4)
86 /* But sometimes the .plt entry crosses a 64k boundary, and we need
87 to adjust the high word with this insn. */
90 /* The .glink fixup call stub is the same as the .plt call stub, but
91 the first instruction restores r2, and the std is omitted. */
94 /* Always allow this much space. */
95 #define GLINK_CALL_STUB_SIZE (8*4)
97 /* Pad with this. */
98 #define NOP 0x60000000
100 /* Some other nops. */
101 #define CROR_151515 0x4def7b82
102 #define CROR_313131 0x4ffffb82
104 /* .glink entries for the first 32k functions are two instructions. */
108 /* After that, we need two instructions to load the index, followed by
109 a branch. */
113 /* Instructions to save and restore floating point regs. */
118 /* Since .opd is an array of descriptors and each entry will end up
119 with identical R_PPC64_RELATIVE relocs, there is really no need to
120 propagate .opd relocs; The dynamic linker should be taught to
121 relocate .opd without reloc entries. */
122 #ifndef NO_OPD_RELOCS
123 #define NO_OPD_RELOCS 0
124 #endif
125 \f
126 #define ONES(n) (((bfd_vma) 1 << ((n) - 1) << 1) - 1)
128 /* Relocation HOWTO's. */
132 /* This reloc does nothing. */
147 /* A standard 32 bit relocation. */
162 /* An absolute 26 bit branch; the lower two bits must be zero.
163 FIXME: we don't check that, we just clear them. */
178 /* A standard 16 bit relocation. */
193 /* A 16 bit relocation without overflow. */
208 /* Bits 16-31 of an address. */
223 /* Bits 16-31 of an address, plus 1 if the contents of the low 16
224 bits, treated as a signed number, is negative. */
239 /* An absolute 16 bit branch; the lower two bits must be zero.
240 FIXME: we don't check that, we just clear them. */
255 /* An absolute 16 bit branch, for which bit 10 should be set to
256 indicate that the branch is expected to be taken. The lower two
257 bits must be zero. */
272 /* An absolute 16 bit branch, for which bit 10 should be set to
273 indicate that the branch is not expected to be taken. The lower
274 two bits must be zero. */
289 /* A relative 26 bit branch; the lower two bits must be zero. */
304 /* A relative 16 bit branch; the lower two bits must be zero. */
319 /* A relative 16 bit branch. Bit 10 should be set to indicate that
320 the branch is expected to be taken. The lower two bits must be
321 zero. */
336 /* A relative 16 bit branch. Bit 10 should be set to indicate that
337 the branch is not expected to be taken. The lower two bits must
338 be zero. */
353 /* Like R_PPC64_ADDR16, but referring to the GOT table entry for the
354 symbol. */
369 /* Like R_PPC64_ADDR16_LO, but referring to the GOT table entry for
370 the symbol. */
385 /* Like R_PPC64_ADDR16_HI, but referring to the GOT table entry for
386 the symbol. */
401 /* Like R_PPC64_ADDR16_HA, but referring to the GOT table entry for
402 the symbol. */
417 /* This is used only by the dynamic linker. The symbol should exist
418 both in the object being run and in some shared library. The
419 dynamic linker copies the data addressed by the symbol from the
420 shared library into the object, because the object being
421 run has to have the data at some particular address. */
436 /* Like R_PPC64_ADDR64, but used when setting global offset table
437 entries. */
452 /* Created by the link editor. Marks a procedure linkage table
453 entry for a symbol. */
468 /* Used only by the dynamic linker. When the object is run, this
469 doubleword64 is set to the load address of the object, plus the
470 addend. */
485 /* Like R_PPC64_ADDR32, but may be unaligned. */
500 /* Like R_PPC64_ADDR16, but may be unaligned. */
515 /* 32-bit PC relative. */
522 /* FIXME: Verify. Was complain_overflow_bitfield. */
531 /* 32-bit relocation to the symbol's procedure linkage table. */
546 /* 32-bit PC relative relocation to the symbol's procedure linkage table.
547 FIXME: R_PPC64_PLTREL32 not supported. */
562 /* Like R_PPC64_ADDR16_LO, but referring to the PLT table entry for
563 the symbol. */
578 /* Like R_PPC64_ADDR16_HI, but referring to the PLT table entry for
579 the symbol. */
594 /* Like R_PPC64_ADDR16_HA, but referring to the PLT table entry for
595 the symbol. */
610 /* 16-bit section relative relocation. */
625 /* Like R_PPC64_SECTOFF, but no overflow warning. */
640 /* 16-bit upper half section relative relocation. */
655 /* 16-bit upper half adjusted section relative relocation. */
670 /* Like R_PPC64_REL24 without touching the two least significant
671 bits. Should have been named R_PPC64_REL30! */
686 /* Relocs in the 64-bit PowerPC ELF ABI, not in the 32-bit ABI. */
688 /* A standard 64-bit relocation. */
703 /* The bits 32-47 of an address. */
718 /* The bits 32-47 of an address, plus 1 if the contents of the low
719 16 bits, treated as a signed number, is negative. */
734 /* The bits 48-63 of an address. */
749 /* The bits 48-63 of an address, plus 1 if the contents of the low
750 16 bits, treated as a signed number, is negative. */
765 /* Like ADDR64, but may be unaligned. */
780 /* 64-bit relative relocation. */
795 /* 64-bit relocation to the symbol's procedure linkage table. */
810 /* 64-bit PC relative relocation to the symbol's procedure linkage
811 table. */
812 /* FIXME: R_PPC64_PLTREL64 not supported. */
827 /* 16 bit TOC-relative relocation. */
829 /* R_PPC64_TOC16 47 half16* S + A - .TOC. */
844 /* 16 bit TOC-relative relocation without overflow. */
846 /* R_PPC64_TOC16_LO 48 half16 #lo (S + A - .TOC.) */
861 /* 16 bit TOC-relative relocation, high 16 bits. */
863 /* R_PPC64_TOC16_HI 49 half16 #hi (S + A - .TOC.) */
878 /* 16 bit TOC-relative relocation, high 16 bits, plus 1 if the
879 contents of the low 16 bits, treated as a signed number, is
880 negative. */
882 /* R_PPC64_TOC16_HA 50 half16 #ha (S + A - .TOC.) */
897 /* 64-bit relocation; insert value of TOC base (.TOC.). */
899 /* R_PPC64_TOC 51 doubleword64 .TOC. */
914 /* Like R_PPC64_GOT16, but also informs the link editor that the
915 value to relocate may (!) refer to a PLT entry which the link
916 editor (a) may replace with the symbol value. If the link editor
917 is unable to fully resolve the symbol, it may (b) create a PLT
918 entry and store the address to the new PLT entry in the GOT.
919 This permits lazy resolution of function symbols at run time.
920 The link editor may also skip all of this and just (c) emit a
921 R_PPC64_GLOB_DAT to tie the symbol to the GOT entry. */
922 /* FIXME: R_PPC64_PLTGOT16 not implemented. */
937 /* Like R_PPC64_PLTGOT16, but without overflow. */
938 /* FIXME: R_PPC64_PLTGOT16_LO not implemented. */
953 /* Like R_PPC64_PLT_GOT16, but using bits 16-31 of the address. */
954 /* FIXME: R_PPC64_PLTGOT16_HI not implemented. */
969 /* Like R_PPC64_PLT_GOT16, but using bits 16-31 of the address, plus
970 1 if the contents of the low 16 bits, treated as a signed number,
971 is negative. */
972 /* FIXME: R_PPC64_PLTGOT16_HA not implemented. */
987 /* Like R_PPC64_ADDR16, but for instructions with a DS field. */
1002 /* Like R_PPC64_ADDR16_LO, but for instructions with a DS field. */
1017 /* Like R_PPC64_GOT16, but for instructions with a DS field. */
1032 /* Like R_PPC64_GOT16_LO, but for instructions with a DS field. */
1047 /* Like R_PPC64_PLT16_LO, but for instructions with a DS field. */
1062 /* Like R_PPC64_SECTOFF, but for instructions with a DS field. */
1077 /* Like R_PPC64_SECTOFF_LO, but for instructions with a DS field. */
1092 /* Like R_PPC64_TOC16, but for instructions with a DS field. */
1107 /* Like R_PPC64_TOC16_LO, but for instructions with a DS field. */
1122 /* Like R_PPC64_PLTGOT16, but for instructions with a DS field. */
1123 /* FIXME: R_PPC64_PLTGOT16_DS not implemented. */
1138 /* Like R_PPC64_PLTGOT16_LO, but for instructions with a DS field. */
1139 /* FIXME: R_PPC64_PLTGOT16_LO not implemented. */
1154 /* GNU extension to record C++ vtable hierarchy. */
1169 /* GNU extension to record C++ vtable member usage. */
1183 };
1185 \f
1186 /* Initialize the ppc64_elf_howto_table, so that linear accesses can
1187 be done. */
1189 static void
1191 {
1196 i++)
1197 {
1202 }
1203 }
1208 bfd_reloc_code_real_type code;
1209 {
1213 /* Initialize howto table if needed. */
1217 {
1343 }
1346 };
1348 /* Set the howto pointer for a PowerPC ELF reloc. */
1350 static void
1355 {
1358 /* Initialize howto table if needed. */
1366 }
1368 /* Handle the R_PPC_ADDR16_HA and similar relocs. */
1370 static bfd_reloc_status_type
1376 PTR data;
1380 {
1381 /* If this is a relocatable link (output_bfd test tells us), just
1382 call the generic function. Any adjustment will be done at final
1383 link time. */
1388 /* Adjust the addend for sign extension of the low 16 bits.
1389 We won't actually be using the low 16 bits, so trashing them
1390 doesn't matter. */
1393 }
1395 static bfd_reloc_status_type
1401 PTR data;
1405 {
1408 bfd_size_type octets;
1409 /* Disabled until we sort out how ld should choose 'y' vs 'at'. */
1412 /* If this is a relocatable link (output_bfd test tells us), just
1413 call the generic function. Any adjustment will be done at final
1414 link time. */
1428 {
1429 /* Set 'a' bit. This is 0b00010 in BO field for branch
1430 on CR(BI) insns (BO == 001at or 011at), and 0b01000
1431 for branch on CTR insns (BO == 1a00t or 1a01t). */
1436 else
1438 }
1439 else
1440 {
1442 bfd_vma from;
1454 /* Invert 'y' bit if not the default. */
1457 }
1460 }
1462 static bfd_reloc_status_type
1468 PTR data;
1472 {
1473 /* If this is a relocatable link (output_bfd test tells us), just
1474 call the generic function. Any adjustment will be done at final
1475 link time. */
1480 /* Subtract the symbol section base address. */
1483 }
1485 static bfd_reloc_status_type
1491 PTR data;
1495 {
1496 /* If this is a relocatable link (output_bfd test tells us), just
1497 call the generic function. Any adjustment will be done at final
1498 link time. */
1503 /* Subtract the symbol section base address. */
1506 /* Adjust the addend for sign extension of the low 16 bits. */
1509 }
1511 static bfd_reloc_status_type
1517 PTR data;
1521 {
1522 bfd_vma TOCstart;
1524 /* If this is a relocatable link (output_bfd test tells us), just
1525 call the generic function. Any adjustment will be done at final
1526 link time. */
1535 /* Subtract the TOC base address. */
1538 }
1540 static bfd_reloc_status_type
1546 PTR data;
1550 {
1551 bfd_vma TOCstart;
1553 /* If this is a relocatable link (output_bfd test tells us), just
1554 call the generic function. Any adjustment will be done at final
1555 link time. */
1564 /* Subtract the TOC base address. */
1567 /* Adjust the addend for sign extension of the low 16 bits. */
1570 }
1572 static bfd_reloc_status_type
1578 PTR data;
1582 {
1583 bfd_vma TOCstart;
1584 bfd_size_type octets;
1586 /* If this is a relocatable link (output_bfd test tells us), just
1587 call the generic function. Any adjustment will be done at final
1588 link time. */
1600 }
1602 static bfd_reloc_status_type
1608 PTR data;
1612 {
1613 /* If this is a relocatable link (output_bfd test tells us), just
1614 call the generic function. Any adjustment will be done at final
1615 link time. */
1621 {
1626 }
1628 }
1630 /* Fix bad default arch selected for a 64 bit input bfd when the
1631 default is 32 bit. */
1633 static boolean
1636 {
1638 {
1642 {
1643 /* Relies on arch after 32 bit default being 64 bit default. */
1646 }
1647 }
1649 }
1651 /* Merge backend specific data from an object file to the output
1652 object file when linking. */
1654 static boolean
1658 {
1659 /* Check if we have the same endianess. */
1663 {
1668 else
1675 }
1678 }
1679 \f
1680 /* The following functions are specific to the ELF linker, while
1681 functions above are used generally. Those named ppc64_elf_* are
1682 called by the main ELF linker code. They appear in this file more
1683 or less in the order in which they are called. eg.
1684 ppc64_elf_check_relocs is called early in the link process,
1685 ppc64_elf_finish_dynamic_sections is one of the last functions
1686 called.
1688 PowerPC64-ELF uses a similar scheme to PowerPC64-XCOFF in that
1689 functions have both a function code symbol and a function descriptor
1690 symbol. A call to foo in a relocatable object file looks like:
1692 . .text
1693 . x:
1694 . bl .foo
1695 . nop
1697 The function definition in another object file might be:
1699 . .section .opd
1700 . foo: .quad .foo
1701 . .quad .TOC.@tocbase
1702 . .quad 0
1703 .
1704 . .text
1705 . .foo: blr
1707 When the linker resolves the call during a static link, the branch
1708 unsurprisingly just goes to .foo and the .opd information is unused.
1709 If the function definition is in a shared library, things are a little
1710 different: The call goes via a plt call stub, the opd information gets
1711 copied to the plt, and the linker patches the nop.
1713 . x:
1714 . bl .foo_stub
1715 . ld 2,40(1)
1716 .
1717 .
1718 . .foo_stub:
1719 . addis 12,2,Lfoo@toc@ha # in practice, the call stub
1720 . addi 12,12,Lfoo@toc@l # is slightly optimised, but
1721 . std 2,40(1) # this is the general idea
1722 . ld 11,0(12)
1723 . ld 2,8(12)
1724 . mtctr 11
1725 . ld 11,16(12)
1726 . bctr
1727 .
1728 . .section .plt
1729 . Lfoo: reloc (R_PPC64_JMP_SLOT, foo)
1731 The "reloc ()" notation is supposed to indicate that the linker emits
1732 an R_PPC64_JMP_SLOT reloc against foo. The dynamic linker does the opd
1733 copying.
1735 What are the difficulties here? Well, firstly, the relocations
1736 examined by the linker in check_relocs are against the function code
1737 sym .foo, while the dynamic relocation in the plt is emitted against
1738 the function descriptor symbol, foo. Somewhere along the line, we need
1739 to carefully copy dynamic link information from one symbol to the other.
1740 Secondly, the generic part of the elf linker will make .foo a dynamic
1741 symbol as is normal for most other backends. We need foo dynamic
1742 instead, at least for an application final link. However, when
1743 creating a shared library containing foo, we need to have both symbols
1744 dynamic so that references to .foo are satisfied during the early
1745 stages of linking. Otherwise the linker might decide to pull in a
1746 definition from some other object, eg. a static library. */
1748 /* The linker needs to keep track of the number of relocs that it
1749 decides to copy as dynamic relocs in check_relocs for each symbol.
1750 This is so that it can later discard them if they are found to be
1751 unnecessary. We store the information in a field extending the
1752 regular ELF linker hash table. */
1754 struct ppc_dyn_relocs
1755 {
1758 /* The input section of the reloc. */
1761 /* Total number of relocs copied for the input section. */
1762 bfd_size_type count;
1764 /* Number of pc-relative relocs copied for the input section. */
1765 bfd_size_type pc_count;
1766 };
1768 /* Of those relocs that might be copied as dynamic relocs, this macro
1769 selects between relative and absolute types. */
1771 #define IS_ABSOLUTE_RELOC(RTYPE) \
1772 ((RTYPE) != R_PPC64_REL32 \
1773 && (RTYPE) != R_PPC64_REL64 \
1774 && (RTYPE) != R_PPC64_ADDR30)
1776 /* Section name for stubs is the associated section name plus this
1777 string. */
1780 /* Linker stubs.
1781 ppc_stub_long_branch:
1782 Used when a 14 bit branch (or even a 24 bit branch) can't reach its
1783 destination, but a 24 bit branch in a stub section will reach.
1784 . b dest
1786 ppc_stub_plt_branch:
1787 Similar to the above, but a 24 bit branch in the stub section won't
1788 reach its destination.
1789 . addis %r12,%r2,xxx@toc@ha
1790 . ld %r11,xxx@toc@l(%r12)
1791 . mtctr %r11
1792 . bctr
1794 ppc_stub_plt_call:
1795 Used to call a function in a shared library.
1796 . addis %r12,%r2,xxx@toc@ha
1797 . std %r2,40(%r1)
1798 . ld %r11,xxx+0@toc@l(%r12)
1799 . ld %r2,xxx+8@toc@l(%r12)
1800 . mtctr %r11
1801 . ld %r11,xxx+16@toc@l(%r12)
1802 . bctr
1803 */
1806 ppc_stub_none,
1807 ppc_stub_long_branch,
1808 ppc_stub_plt_branch,
1809 ppc_stub_plt_call
1810 };
1814 /* Base hash table entry structure. */
1817 /* The stub section. */
1820 /* Offset within stub_sec of the beginning of this stub. */
1821 bfd_vma stub_offset;
1823 /* Given the symbol's value and its section we can determine its final
1824 value when building the stubs (so the stub knows where to jump. */
1825 bfd_vma target_value;
1830 /* The symbol table entry, if any, that this was derived from. */
1833 /* Where this stub is being called from, or, in the case of combined
1834 stub sections, the first input section in the group. */
1836 };
1840 /* Base hash table entry structure. */
1843 /* Offset within .branch_lt. */
1846 /* Generation marker. */
1848 };
1850 struct ppc_link_hash_entry
1851 {
1854 /* A pointer to the most recently used stub hash entry against this
1855 symbol. */
1858 /* Track dynamic relocs copied for this symbol. */
1861 /* Link between function code and descriptor symbols. */
1864 /* Flag function code and descriptor symbols. */
1868 };
1870 /* ppc64 ELF linker hash table. */
1872 struct ppc_link_hash_table
1873 {
1876 /* The stub hash table. */
1879 /* Another hash table for plt_branch stubs. */
1882 /* Linker stub bfd. */
1885 /* Linker call-backs. */
1889 /* Array to keep track of which stub sections have been created, and
1890 information on stub grouping. */
1892 /* This is the section to which stubs in the group will be attached. */
1894 /* The stub section. */
1898 /* Assorted information used by ppc64_elf_size_stubs. */
1902 /* Short-cuts to get to dynamic linker sections. */
1914 /* Set on error. */
1917 /* Flag set when small branches are detected. Used to
1918 select suitable defaults for the stub group size. */
1921 /* Set if we detect a reference undefined weak symbol. */
1924 /* Incremented every time we size stubs. */
1927 /* Small local sym to section mapping cache. */
1929 };
1939 static void ppc64_elf_link_hash_table_free
1949 static boolean create_linkage_sections
1951 static boolean create_got_section
1953 static boolean ppc64_elf_create_dynamic_sections
1955 static void ppc64_elf_copy_indirect_symbol
1958 static boolean ppc64_elf_check_relocs
1964 static boolean ppc64_elf_gc_sweep_hook
1967 static boolean func_desc_adjust
1969 static boolean ppc64_elf_func_desc_adjust
1971 static boolean ppc64_elf_adjust_dynamic_symbol
1973 static void ppc64_elf_hide_symbol
1975 static boolean allocate_dynrelocs
1977 static boolean readonly_dynrelocs
1979 static enum elf_reloc_type_class ppc64_elf_reloc_type_class
1981 static boolean ppc64_elf_size_dynamic_sections
1988 static boolean ppc_build_one_stub
1990 static boolean ppc_size_one_stub
1992 static void group_sections
1994 static boolean ppc64_elf_relocate_section
1997 asection **));
1998 static boolean ppc64_elf_finish_dynamic_symbol
2000 Elf_Internal_Sym *));
2001 static boolean ppc64_elf_finish_dynamic_sections
2004 /* Get the ppc64 ELF linker hash table from a link_info structure. */
2006 #define ppc_hash_table(p) \
2007 ((struct ppc_link_hash_table *) ((p)->hash))
2009 #define ppc_stub_hash_lookup(table, string, create, copy) \
2010 ((struct ppc_stub_hash_entry *) \
2011 bfd_hash_lookup ((table), (string), (create), (copy)))
2013 #define ppc_branch_hash_lookup(table, string, create, copy) \
2014 ((struct ppc_branch_hash_entry *) \
2015 bfd_hash_lookup ((table), (string), (create), (copy)))
2017 /* Create an entry in the stub hash table. */
2024 {
2025 /* Allocate the structure if it has not already been allocated by a
2026 subclass. */
2028 {
2032 }
2034 /* Call the allocation method of the superclass. */
2037 {
2040 /* Initialize the local fields. */
2049 }
2052 }
2054 /* Create an entry in the branch hash table. */
2061 {
2062 /* Allocate the structure if it has not already been allocated by a
2063 subclass. */
2065 {
2069 }
2071 /* Call the allocation method of the superclass. */
2074 {
2077 /* Initialize the local fields. */
2081 }
2084 }
2086 /* Create an entry in a ppc64 ELF linker hash table. */
2093 {
2094 /* Allocate the structure if it has not already been allocated by a
2095 subclass. */
2097 {
2101 }
2103 /* Call the allocation method of the superclass. */
2106 {
2115 }
2118 }
2120 /* Create a ppc64 ELF linker hash table. */
2125 {
2134 {
2137 }
2139 /* Init the stub hash table too. */
2143 /* And the branch hash table. */
2168 }
2170 /* Free the derived linker hash table. */
2172 static void
2175 {
2181 }
2183 /* Build a name for an entry in the stub hash table. */
2191 {
2193 bfd_size_type len;
2195 /* rel->r_addend is actually 64 bit, but who uses more than +/- 2^31
2196 offsets from a sym as a branch target? In fact, we could
2197 probably assume the addend is always zero. */
2201 {
2205 {
2210 }
2211 }
2212 else
2213 {
2217 {
2223 }
2224 }
2226 }
2228 /* Look up an entry in the stub hash. Stub entries are cached because
2229 creating the stub name takes a bit of time. */
2238 {
2243 /* If this input section is part of a group of sections sharing one
2244 stub section, then use the id of the first section in the group.
2245 Stub names need to include a section id, as there may well be
2246 more than one stub used to reach say, printf, and we need to
2247 distinguish between them. */
2253 {
2255 }
2256 else
2257 {
2270 }
2273 }
2275 /* Add a new stub entry to the stub hash. Not all fields of the new
2276 stub entry are initialised. */
2283 {
2291 {
2294 {
2296 bfd_size_type len;
2311 }
2313 }
2315 /* Enter this entry into the linker stub hash table. */
2319 {
2322 stub_name);
2324 }
2330 }
2332 /* Create sections for linker generated code. */
2334 static boolean
2338 {
2340 flagword flags;
2344 /* Create .sfpr for code to save and restore fp regs. */
2353 /* Create .glink for lazy dynamic linking support. */
2360 /* Create .branch_lt for plt_branch stubs. */
2370 {
2378 }
2380 }
2382 /* Create .got and .rela.got sections in DYNOBJ, and set up
2383 shortcuts to them in our hash table. */
2385 static boolean
2389 {
2409 }
2411 /* Create the dynamic sections, and set up shortcuts. */
2413 static boolean
2417 {
2438 }
2440 /* Copy the extra info we tack onto an elf_link_hash_entry. */
2442 static void
2446 {
2453 {
2455 {
2462 /* Add reloc counts against the weak sym to the strong sym
2463 list. Merge any entries against the same section. */
2465 {
2470 {
2475 }
2478 }
2480 }
2484 }
2491 }
2493 /* Set a flag, used by ppc64_elf_gc_mark_hook, on the entry symbol and
2494 symbols undefined on the command-line. */
2496 boolean
2499 {
2505 {
2511 }
2513 }
2515 /* Look through the relocs for a section during the first phase, and
2516 calculate needed space in the global offset table, procedure
2517 linkage table, and dynamic reloc sections. */
2519 static boolean
2525 {
2541 sym_hashes_end = (sym_hashes
2548 {
2549 /* Garbage collection needs some extra help with .opd sections.
2550 We don't want to necessarily keep everything referenced by
2551 relocs in .opd, as that would keep all functions. Instead,
2552 if we reference an .opd symbol (a function descriptor), we
2553 want to keep the function code symbol's section. This is
2554 easy for global symbols, but for local syms we need to keep
2555 information about the associated function section. Later, if
2556 edit_opd deletes entries, we'll use this array to adjust
2557 local syms in .opd. */
2561 };
2562 bfd_size_type amt;
2569 }
2579 {
2587 else
2592 {
2593 /* GOT16 relocations */
2601 /* This symbol requires a global offset table entry. */
2607 {
2609 }
2610 else
2611 {
2614 /* This is a global offset table entry for a local symbol. */
2617 {
2618 bfd_size_type size;
2627 }
2629 }
2637 /* This symbol requires a procedure linkage table entry. We
2638 actually build the entry in adjust_dynamic_symbol,
2639 because this might be a case of linking PIC code without
2640 linking in any dynamic objects, in which case we don't
2641 need to generate a procedure linkage table after all. */
2643 {
2644 /* It does not make sense to have a procedure linkage
2645 table entry for a local symbol. */
2648 }
2655 /* The following relocations don't need to propagate the
2656 relocation if linking a shared object since they are
2657 section relative. */
2672 /* This relocation describes the C++ object vtable hierarchy.
2673 Reconstruct it for later use during GC. */
2679 /* This relocation describes which C++ vtable entries are actually
2680 used. Record for later use during GC. */
2690 /* Fall through. */
2696 {
2697 /* We may need a .plt entry if the function this reloc
2698 refers to is in a shared lib. */
2702 }
2710 {
2716 {
2721 }
2722 }
2728 {
2732 r_symndx);
2737 }
2738 /* Fall through. */
2762 /* Don't propagate .opd relocs. */
2766 /* If we are creating a shared library, and this is a reloc
2767 against a global symbol, or a non PC relative reloc
2768 against a local symbol, then we need to copy the reloc
2769 into the shared library. However, if we are linking with
2770 -Bsymbolic, we do not need to copy a reloc against a
2771 global symbol which is defined in an object we are
2772 including in the link (i.e., DEF_REGULAR is set). At
2773 this point we have not seen all the input files, so it is
2774 possible that DEF_REGULAR is not set now but will be set
2775 later (it is never cleared). In case of a weak definition,
2776 DEF_REGULAR may be cleared later by a strong definition in
2777 a shared library. We account for that possibility below by
2778 storing information in the relocs_copied field of the hash
2779 table entry. A similar situation occurs when creating
2780 shared libraries and symbol visibility changes render the
2781 symbol local.
2783 If on the other hand, we are creating an executable, we
2784 may need to keep relocations for symbols satisfied by a
2785 dynamic library if we manage to avoid copy relocs for the
2786 symbol. */
2801 {
2805 /* We must copy these reloc types into the output file.
2806 Create a reloc section in dynobj and make room for
2807 this reloc. */
2809 {
2813 name = (bfd_elf_string_from_elf_section
2823 {
2828 }
2833 {
2834 flagword flags;
2845 }
2847 }
2849 /* If this is a global symbol, we count the number of
2850 relocations we need for this symbol. */
2852 {
2854 }
2855 else
2856 {
2857 /* Track dynamic relocs needed for local syms too.
2858 We really need local syms available to do this
2859 easily. Oh well. */
2869 }
2873 {
2884 }
2889 }
2894 }
2895 }
2898 }
2900 /* Return the section that should be marked against GC for a given
2901 relocation. */
2910 {
2914 {
2920 {
2927 {
2932 /* Function descriptor syms cause the associated
2933 function code sym section to be marked. */
2937 /* Function entry syms return NULL if they are in .opd
2938 and are not ._start (or others undefined on the ld
2939 command line). Thus we avoid marking all function
2940 sections, as all functions are referenced in .opd. */
2953 }
2954 }
2955 }
2956 else
2957 {
2966 }
2969 }
2971 /* Update the .got, .plt. and dynamic reloc reference counts for the
2972 section being removed. */
2974 static boolean
2980 {
2994 {
3002 {
3010 {
3014 }
3015 else
3016 {
3019 }
3028 {
3032 }
3040 {
3044 }
3050 {
3060 {
3066 }
3067 }
3092 {
3102 {
3107 }
3108 }
3113 }
3114 }
3116 }
3118 /* Called via elf_link_hash_traverse to transfer dynamic linking
3119 information on function code symbol entries to their corresponding
3120 function descriptor symbol entries. */
3121 static boolean
3124 PTR inf;
3125 {
3138 /* If this is a function code symbol, transfer dynamic linking
3139 information to the function descriptor symbol. */
3150 {
3152 boolean force_local;
3154 /* Find the corresponding function descriptor symbol. Create it
3155 as undefined if necessary. */
3165 {
3183 {
3185 }
3188 }
3195 {
3200 & (ELF_LINK_HASH_REF_REGULAR
3201 | ELF_LINK_HASH_REF_DYNAMIC
3202 | ELF_LINK_HASH_REF_REGULAR_NONWEAK
3205 {
3208 }
3212 }
3214 /* Now that the info is on the function descriptor, clear the
3215 function code sym info. Any function code syms for which we
3216 don't have a definition in a regular file, we force local.
3217 This prevents a shared library from exporting syms that have
3218 been imported from another library. Function code syms that
3219 are really in the library we must leave global to prevent the
3220 linker dragging in a definition from a static library. */
3230 }
3233 }
3235 #define MIN_SAVE_FPR 14
3236 #define MAX_SAVE_FPR 31
3238 /* Called near the start of bfd_elf_size_dynamic_sections. We use
3239 this hook to a) provide some gcc support functions, and b) transfer
3240 dynamic linking information gathered so far on function code symbol
3241 entries, to their corresponding function descriptor symbol entries. */
3242 static boolean
3246 {
3258 /* We don't have any relocs. */
3261 /* First provide any missing ._savef* and ._restf* functions. */
3264 {
3270 {
3279 }
3280 }
3284 {
3290 {
3300 }
3301 }
3309 {
3311 {
3314 }
3317 }
3325 {
3330 }
3332 {
3335 }
3338 {
3343 }
3346 {
3348 }
3351 }
3353 /* Adjust a symbol defined by a dynamic object and referenced by a
3354 regular object. The current definition is in some section of the
3355 dynamic object, but we're not including those sections. We have to
3356 change the definition to something the rest of the link can
3357 understand. */
3359 static boolean
3363 {
3372 /* Deal with function syms. */
3375 {
3376 /* Clear procedure linkage table information for any symbol that
3377 won't need a .plt entry. */
3384 {
3387 }
3389 }
3390 else
3393 /* If this is a weak symbol, and there is a real definition, the
3394 processor independent code will have arranged for us to see the
3395 real definition first, and we can just use the same value. */
3397 {
3403 }
3405 /* This is a reference to a symbol defined by a dynamic object which
3406 is not a function. */
3408 /* If we are creating a shared library, we must presume that the
3409 only references to the symbol are via the global offset table.
3410 For such cases we need not do anything here; the relocations will
3411 be handled correctly by relocate_section. */
3415 /* If there are no references to this symbol that do not use the
3416 GOT, we don't need to generate a copy reloc. */
3422 {
3426 }
3428 /* If we didn't find any dynamic relocs in read-only sections, then
3429 we'll be keeping the dynamic relocs and avoiding the copy reloc. */
3431 {
3434 }
3436 /* We must allocate the symbol in our .dynbss section, which will
3437 become part of the .bss section of the executable. There will be
3438 an entry for this symbol in the .dynsym section. The dynamic
3439 object will contain position independent code, so all references
3440 from the dynamic object to this symbol will go through the global
3441 offset table. The dynamic linker will use the .dynsym entry to
3442 determine the address it must put in the global offset table, so
3443 both the dynamic object and the regular object will refer to the
3444 same memory location for the variable. */
3446 /* We must generate a R_PPC_COPY reloc to tell the dynamic linker to
3447 copy the initial value out of the dynamic object and into the
3448 runtime process image. We need to remember the offset into the
3449 .rela.bss section we are going to use. */
3451 {
3454 }
3456 /* We need to figure out the alignment required for this symbol. I
3457 have no idea how ELF linkers handle this. */
3462 /* Apply the required alignment. */
3466 {
3469 }
3471 /* Define the symbol as being at this point in the section. */
3475 /* Increment the section size to make room for the symbol. */
3479 }
3481 /* If given a function descriptor symbol, hide both the function code
3482 sym and the descriptor. */
3483 static void
3487 boolean force_local;
3488 {
3492 {
3496 {
3501 /* We aren't supposed to use alloca in BFD because on
3502 systems which do not have alloca the version in libiberty
3503 calls xmalloc, which might cause the program to crash
3504 when it runs out of memory. This function doesn't have a
3505 return status, so there's no way to gracefully return an
3506 error. So cheat. We know that string[-1] can be safely
3507 dereferenced; It's either a string in an ELF string
3508 table, or allocated in an objalloc structure. */
3517 /* Unfortunately, if it so happens that the string we were
3518 looking for was allocated immediately before this string,
3519 then we overwrote the string terminator. That's the only
3520 reason the lookup should fail. */
3522 {
3528 }
3530 {
3533 }
3534 }
3537 }
3538 }
3540 boolean
3544 {
3551 {
3557 bfd_vma offset;
3558 bfd_size_type amt;
3560 boolean need_edit;
3569 {
3570 /* Must be a ld -r link. ie. check_relocs hasn't been
3571 called. */
3574 }
3580 /* Look through the section relocs. */
3588 /* Read the relocations. */
3595 /* First run through the relocs to check they are sane, and to
3596 determine whether we need to edit this opd section. */
3601 {
3608 /* .opd contains a regular array of 24 byte entries. We're
3609 only interested in the reloc pointing to a function entry
3610 point. */
3616 {
3622 }
3631 {
3632 /* If someone messes with .opd alignment then after a
3633 "ld -r" we might have padding in the middle of .opd.
3634 Also, there's nothing to prevent someone putting
3635 something silly in .opd with the assembler. No .opd
3636 optimization for them! */
3642 }
3649 {
3657 }
3658 else
3659 {
3661 {
3669 }
3675 }
3678 {
3685 }
3687 /* opd entries are always for functions defined in the
3688 current input bfd. If the symbol isn't defined in the
3689 input bfd, then we won't be using the function in this
3690 bfd; It must be defined in a linkonce section in another
3691 bfd, or is weak. It's also possible that we are
3692 discarding the function due to a linker script /DISCARD/,
3693 which we test for via the output_section. */
3699 }
3702 {
3705 boolean skip;
3707 /* This seems a waste of time as input .opd sections are all
3708 zeros as generated by gcc, but I suppose there's no reason
3709 this will always be so. We might start putting something in
3710 the third word of .opd entries. */
3712 {
3717 {
3721 error_free_rel:
3725 }
3728 }
3738 {
3740 {
3751 {
3759 }
3760 else
3761 {
3768 }
3773 {
3775 {
3776 /* Arrange for the function descriptor sym
3777 to be dropped. */
3784 {
3797 }
3801 }
3802 }
3803 else
3804 {
3805 /* We'll be keeping this opd entry. */
3808 {
3809 /* Redefine the function descriptor symbol
3810 to this location in the opd section.
3811 We've checked above that opd relocs are
3812 ordered. */
3819 {
3832 }
3835 }
3836 else
3837 {
3838 /* Local syms are a bit tricky. We could
3839 tweak them as they can be cached, but
3840 we'd need to look through the local syms
3841 for the function descriptor sym which we
3842 don't have at the moment. So keep an
3843 array of adjustments. */
3845 }
3850 }
3853 }
3855 /* We need to adjust any reloc offsets to point to the
3856 new opd entries. While we're at it, we may as well
3857 remove redundant relocs. */
3859 {
3864 }
3865 }
3869 }
3875 {
3878 else
3880 }
3881 }
3884 }
3886 /* This is the condition under which ppc64_elf_finish_dynamic_symbol
3887 will be called from elflink.h. If elflink.h doesn't call our
3888 finish_dynamic_symbol routine, we'll need to do something about
3889 initializing any .plt and .got entries in ppc64_elf_relocate_section. */
3890 #define WILL_CALL_FINISH_DYNAMIC_SYMBOL(DYN, INFO, H) \
3891 ((DYN) \
3892 && ((INFO)->shared \
3893 || ((H)->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) == 0) \
3894 && ((H)->dynindx != -1 \
3895 || ((H)->elf_link_hash_flags & ELF_LINK_FORCED_LOCAL) != 0))
3897 /* Allocate space in .plt, .got and associated reloc sections for
3898 dynamic relocs. */
3900 static boolean
3903 PTR inf;
3904 {
3923 {
3927 {
3928 /* If this is the first .plt entry, make room for the special
3929 first entry. */
3936 /* Make room for this entry. */
3939 /* Make room for the .glink code. */
3943 /* We need bigger stubs past index 32767. */
3948 /* We also need to make an entry in the .rela.plt section. */
3951 }
3952 else
3953 {
3956 }
3957 }
3958 else
3959 {
3962 }
3965 {
3966 boolean dyn;
3968 /* Make sure this symbol is output as a dynamic symbol.
3969 Undefined weak syms won't yet be marked as dynamic. */
3972 {
3975 }
3983 }
3984 else
3991 /* In the shared -Bsymbolic case, discard space allocated for
3992 dynamic pc-relative relocs against symbols which turn out to be
3993 defined in regular objects. For the normal shared case, discard
3994 space for relocs that have become local due to symbol visibility
3995 changes. */
3998 {
4002 {
4006 {
4011 else
4013 }
4014 }
4015 }
4016 else
4017 {
4018 /* For the non-shared case, discard space for relocs against
4019 symbols which turn out to need copy relocs or are not
4020 dynamic. */
4028 {
4029 /* Make sure this symbol is output as a dynamic symbol.
4030 Undefined weak syms won't yet be marked as dynamic. */
4033 {
4036 }
4038 /* If that succeeded, we know we'll be keeping all the
4039 relocs. */
4042 }
4046 keep: ;
4047 }
4049 /* Finally, allocate space. */
4051 {
4054 }
4057 }
4059 /* Find any dynamic relocs that apply to read-only sections. */
4061 static boolean
4064 PTR inf;
4065 {
4074 {
4078 {
4083 /* Not an error, just cut short the traversal. */
4085 }
4086 }
4088 }
4090 /* Set the sizes of the dynamic sections. */
4092 static boolean
4096 {
4100 boolean relocs;
4109 {
4110 /* Set the contents of the .interp section to the interpreter. */
4112 {
4118 }
4119 }
4121 /* Set up .got offsets for local syms, and space for local dynamic
4122 relocs. */
4124 {
4127 bfd_size_type locsymcount;
4135 {
4142 {
4145 {
4146 /* Input section has been discarded, either because
4147 it is a copy of a linkonce section or due to
4148 linker script /DISCARD/, so we'll be discarding
4149 the relocs too. */
4150 }
4152 {
4157 }
4158 }
4159 }
4171 {
4173 {
4178 }
4179 else
4181 }
4182 }
4184 /* Allocate global sym .plt and .got entries, and space for global
4185 sym dynamic relocs. */
4188 /* We now have determined the sizes of the various dynamic sections.
4189 Allocate memory for them. */
4192 {
4197 /* These haven't been allocated yet; don't strip. */
4202 {
4203 /* Strip this section if we don't need it; see the
4204 comment below. */
4205 }
4207 {
4209 {
4210 /* If we don't need this section, strip it from the
4211 output file. This is mostly to handle .rela.bss and
4212 .rela.plt. We must create both sections in
4213 create_dynamic_sections, because they must be created
4214 before the linker maps input sections to output
4215 sections. The linker does that before
4216 adjust_dynamic_symbol is called, and it is that
4217 function which decides whether anything needs to go
4218 into these sections. */
4219 }
4220 else
4221 {
4225 /* We use the reloc_count field as a counter if we need
4226 to copy relocs into the output file. */
4228 }
4229 }
4230 else
4231 {
4232 /* It's not one of our sections, so don't allocate space. */
4234 }
4237 {
4240 }
4242 /* .plt is in the bss section. We don't initialise it. */
4246 /* Allocate memory for the section contents. We use bfd_zalloc
4247 here in case unused entries are not reclaimed before the
4248 section's contents are written out. This should not happen,
4249 but this way if it does, we get a R_PPC64_NONE reloc instead
4250 of garbage. */
4254 }
4257 {
4258 /* Add some entries to the .dynamic section. We fill in the
4259 values later, in ppc64_elf_finish_dynamic_sections, but we
4260 must add the entries now so that we get the correct size for
4261 the .dynamic section. The DT_DEBUG entry is filled in by the
4262 dynamic linker and used by the debugger. */
4263 #define add_dynamic_entry(TAG, VAL) \
4264 bfd_elf64_add_dynamic_entry (info, (bfd_vma) (TAG), (bfd_vma) (VAL))
4267 {
4270 }
4273 {
4280 }
4283 {
4287 }
4290 {
4296 /* If any dynamic relocs apply to a read-only section,
4297 then we need a DT_TEXTREL entry. */
4303 {
4306 }
4307 }
4308 }
4309 #undef add_dynamic_entry
4312 }
4314 /* Determine the type of stub needed, if any, for a call. */
4321 bfd_vma destination;
4322 {
4324 bfd_vma location;
4325 bfd_vma branch_offset;
4326 bfd_vma max_branch_offset;
4330 {
4334 {
4337 }
4342 }
4344 /* Determine where the call point is. */
4352 /* Determine if a long branch stub is needed. */
4358 /* We need a stub. Figure out whether a long_branch or plt_branch
4359 is needed later. */
4363 }
4365 /* Build a .plt call stub. */
4373 {
4374 #define PPC_LO(v) ((v) & 0xffff)
4375 #define PPC_HI(v) (((v) >> 16) & 0xffff)
4376 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
4395 }
4397 static boolean
4400 PTR in_arg;
4401 {
4411 bfd_vma off;
4414 /* Massage our args to the form they really have. */
4421 /* Make a note of the offset within the stubs for this entry. */
4428 {
4430 /* Branches are relative. This is where we are going to. */
4435 /* And this is where we are coming from. */
4451 {
4456 }
4466 {
4467 /* Create a reloc for the branch lookup table entry. */
4468 Elf_Internal_Rela rela;
4480 }
4489 {
4496 }
4507 /* Do the best we can for shared libraries built without
4508 exporting ".foo" for each "foo". This can happen when symbol
4509 versioning scripts strip all bar a subset of symbols. */
4512 {
4513 /* Point the symbol at the stub. There may be multiple stubs,
4514 we don't really care; The main thing is to make this sym
4515 defined somewhere. */
4519 }
4521 /* Now build the stub. */
4533 {
4540 }
4549 }
4553 }
4555 /* As above, but don't actually build the stub. Just bump offset so
4556 we know stub section sizes, and select plt_branch stubs where
4557 long_branch stubs won't do. */
4559 static boolean
4562 PTR in_arg;
4563 {
4566 bfd_vma off;
4569 /* Massage our args to the form they really have. */
4574 {
4584 }
4585 else
4586 {
4587 /* ppc_stub_long_branch or ppc_stub_plt_branch. */
4599 {
4606 {
4611 }
4614 {
4618 }
4621 }
4622 }
4626 }
4628 /* Set up various things so that we can make a list of input sections
4629 for each output section included in the link. Returns -1 on error,
4630 0 when no stubs will be needed, and 1 on success. */
4632 int
4636 {
4641 bfd_size_type amt;
4648 /* Find the top input section id. */
4652 {
4656 {
4659 }
4660 }
4667 /* We can't use output_bfd->section_count here to find the top output
4668 section index as some sections may have been removed, and
4669 _bfd_strip_section_from_output doesn't renumber the indices. */
4673 {
4676 }
4685 /* For sections we aren't interested in, mark their entries with a
4686 value we can check later. */
4688 do
4695 {
4698 }
4701 }
4703 /* The linker repeatedly calls this function for each input section,
4704 in the order that input sections are linked into output sections.
4705 Build lists of input sections to determine groupings between which
4706 we may insert linker stubs. */
4708 void
4712 {
4716 {
4719 {
4720 /* Steal the link_sec pointer for our list. */
4721 #define PREV_SEC(sec) (htab->stub_group[(sec)->id].link_sec)
4722 /* This happens to make the list in reverse order,
4723 which is what we want. */
4726 }
4727 }
4728 }
4730 /* See whether we can group stub sections together. Grouping stub
4731 sections may result in fewer stubs. More importantly, we need to
4732 put all .init* and .fini* stubs at the beginning of the .init or
4733 .fini output sections respectively, because glibc splits the
4734 _init and _fini functions into multiple parts. Putting a stub in
4735 the middle of a function is not a good idea. */
4737 static void
4740 bfd_size_type stub_group_size;
4741 boolean stubs_always_before_branch;
4742 {
4744 do
4745 {
4750 {
4753 bfd_size_type total;
4758 else
4765 /* OK, the size from the start of CURR to the end is less
4766 than stub_group_size and thus can be handled by one stub
4767 section. (or the tail section is itself larger than
4768 stub_group_size, in which case we may be toast.) We
4769 should really be keeping track of the total size of stubs
4770 added here, as stubs contribute to the final output
4771 section size. That's a little tricky, and this way will
4772 only break if stubs added make the total size more than
4773 2^25, ie. for the default stub_group_size, if stubs total
4774 more than 2834432 bytes, or over 100000 plt call stubs. */
4775 do
4776 {
4778 /* Set up this stub group. */
4780 }
4783 /* But wait, there's more! Input sections up to stub_group_size
4784 bytes before the stub section can be handled by it too. */
4786 {
4791 {
4795 }
4796 }
4798 }
4799 }
4802 #undef PREV_SEC
4803 }
4805 /* Determine and set the size of the stub section for a final link.
4807 The basic idea here is to examine all the relocations looking for
4808 PC-relative calls to a target that is unreachable with a "bl"
4809 instruction. */
4811 boolean
4817 bfd_signed_vma group_size;
4820 {
4821 bfd_size_type stub_group_size;
4822 boolean stubs_always_before_branch;
4825 /* Stash our params away. */
4832 else
4835 {
4836 /* Default values. */
4840 }
4845 {
4849 boolean stub_changed;
4857 {
4862 /* We'll need the symbol table in a second. */
4867 /* Walk over each section attached to the input bfd. */
4871 {
4874 /* If there aren't any relocs, then there's nothing more
4875 to do. */
4880 /* If this section is a link-once section that will be
4881 discarded, then don't create any stubs. */
4886 /* Get the relocs. */
4887 internal_relocs
4894 /* Now examine each relocation. */
4898 {
4903 bfd_vma sym_value;
4904 bfd_vma destination;
4913 {
4916 }
4918 /* Only look for stubs on branch instructions. */
4925 /* Now determine the call target, its name, value,
4926 section. */
4932 {
4933 /* It's a local symbol. */
4938 {
4939 local_syms
4942 local_syms
4948 }
4957 }
4958 else
4959 {
4960 /* It's an external symbol. */
4974 {
4981 }
4983 ;
4985 ;
4986 else
4987 {
4990 }
4991 }
4993 /* Determine what (if any) linker stub is needed. */
4995 destination);
4999 /* Support for grouping stub sections. */
5002 /* Get the name of this stub. */
5010 {
5011 /* The proper stub has already been created. */
5014 }
5018 {
5020 error_ret_free_internal:
5023 error_ret_free_local:
5029 }
5036 }
5038 /* We're done with the internal relocs, free them. */
5041 }
5045 {
5048 else
5050 }
5051 }
5056 /* OK, we've added some stubs. Find out the new size of the
5057 stub sections. */
5061 {
5064 }
5070 /* Ask the linker to do its stuff. */
5072 }
5074 /* It would be nice to strip .branch_lt from the output if the
5075 section is empty, but it's too late. If we strip sections here,
5076 the dynamic symbol table is corrupted since the section symbol
5077 for the stripped section isn't written. */
5080 }
5082 /* Called after we have determined section placement. If sections
5083 move, we'll be called again. Provide a value for TOCstart. */
5085 bfd_vma
5088 {
5090 bfd_vma TOCstart;
5092 /* The TOC consists of sections .got, .toc, .tocbss, .plt in that
5093 order. The TOC starts where the first of these sections starts. */
5102 {
5103 /* This may happen for
5104 o references to TOC base (SYM@toc / TOC[tc0]) without a
5105 .toc directive
5106 o bad linker script
5107 o --gc-sections and empty TOC sections
5109 FIXME: Warn user? */
5111 /* Look for a likely section. We probably won't even be
5112 using TOCstart. */
5130 }
5137 }
5139 /* Build all the stubs associated with the current output file.
5140 The stubs are kept in a hash table attached to the main linker
5141 hash table. This function is called via gldelf64ppc_finish. */
5143 boolean
5146 {
5149 bfd_vma plt_r2;
5155 {
5156 bfd_size_type size;
5158 /* Allocate memory to hold the linker stubs. */
5161 {
5165 }
5167 }
5170 {
5173 /* Build the .glink plt call stub. */
5181 {
5184 }
5186 /* Build the .glink lazy link call stubs. */
5189 {
5191 {
5194 }
5195 else
5196 {
5201 }
5204 indx++;
5206 }
5208 }
5211 {
5216 }
5218 /* Build the stubs as directed by the stub hash table. */
5224 {
5227 }
5231 {
5234 }
5237 }
5239 /* The RELOCATE_SECTION function is called by the ELF backend linker
5240 to handle the relocations for a section.
5242 The relocs are always passed as Rela structures; if the section
5243 actually uses Rel structures, the r_addend field will always be
5244 zero.
5246 This function is responsible for adjust the section contents as
5247 necessary, and (if using Rela relocs and generating a
5248 relocateable output file) adjusting the reloc addend as
5249 necessary.
5251 This function does not have to worry about setting the reloc
5252 address or the reloc symbol index.
5254 LOCAL_SYMS is a pointer to the swapped in local symbols.
5256 LOCAL_SECTIONS is an array giving the section in the input file
5257 corresponding to the st_shndx field of each local symbol.
5259 The global hash table entry for the global symbols can be found
5260 via elf_sym_hashes (input_bfd).
5262 When generating relocateable output, this function must handle
5263 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
5264 going to be the section symbol corresponding to the output
5265 section, which means that the addend must be adjusted
5266 accordingly. */
5268 static boolean
5279 {
5286 bfd_vma TOCstart;
5288 boolean is_opd;
5289 /* Disabled until we sort out how ld should choose 'y' vs 'at'. */
5295 /* Initialize howto table if needed. */
5309 {
5311 bfd_vma offset;
5312 bfd_vma addend;
5313 bfd_reloc_status_type r;
5320 bfd_vma relocation;
5321 boolean unresolved_reloc;
5322 boolean warned;
5325 bfd_vma max_br_offset;
5326 bfd_vma from;
5341 {
5342 /* Relocation value is TOC base. Symbol is ignored. */
5344 }
5346 {
5347 /* It's a local symbol. */
5353 /* rel may have changed, update our copy of addend. */
5357 {
5363 }
5364 }
5365 else
5366 {
5367 /* It's a global symbol. */
5376 {
5379 /* Set a flag that will be cleared later if we find a
5380 relocation value for this symbol. output_section
5381 is typically NULL for symbols satisfied by a shared
5382 library. */
5384 else
5388 }
5390 ;
5395 ;
5396 else
5397 {
5405 }
5406 }
5408 /* First handle relocations that tweak non-addend part of insn. */
5411 {
5415 /* Branch taken prediction relocations. */
5419 /* Fall thru. */
5421 /* Branch not taken prediction relocations. */
5426 {
5427 /* Set 'a' bit. This is 0b00010 in BO field for branch
5428 on CR(BI) insns (BO == 001at or 011at), and 0b01000
5429 for branch on CTR insns (BO == 1a00t or 1a01t). */
5434 else
5436 }
5437 else
5438 {
5439 from = (offset
5443 /* Invert 'y' bit if not the default. */
5446 }
5452 /* A REL24 branching to a linkage function is followed by a
5453 nop. We replace the nop with a ld in order to restore
5454 the TOC base pointer. Only calls to shared objects need
5455 to alter the TOC base. These are recognized by their
5456 need for a PLT entry. */
5462 {
5466 {
5470 {
5474 }
5475 }
5478 {
5479 /* If this is a plain branch rather than a branch
5480 and link, don't require a nop. */
5484 }
5487 {
5493 }
5494 }
5500 {
5501 /* Tweak calls to undefined weak functions to point at a
5502 blr. We can thus call a weak function without first
5503 checking whether the function is defined. We have a
5504 blr at the end of .sfpr. */
5509 from = (offset
5513 /* But let's not be silly about it. If the blr isn't in
5514 reach, just go to the next instruction. */
5518 }
5520 }
5522 /* Set `addend'. */
5524 {
5539 /* GOT16 relocations. Like an ADDR16 using the symbol's
5540 address in the GOT as relocation value instead of the
5541 symbols value itself. Also, create a GOT entry for the
5542 symbol and put the symbol value there. */
5549 {
5550 /* Relocation is to the entry for this symbol in the global
5551 offset table. */
5552 bfd_vma off;
5558 {
5559 boolean dyn;
5571 {
5572 /* This is actually a static link, or it is a
5573 -Bsymbolic link and the symbol is defined
5574 locally, or the symbol was forced to be local
5575 because of a version file. We must initialize
5576 this entry in the global offset table. Since the
5577 offset must always be a multiple of 8, we use the
5578 least significant bit to record whether we have
5579 initialized it already.
5581 When doing a dynamic link, we create a .rel.got
5582 relocation entry to initialize the value. This
5583 is done in the finish_dynamic_symbol routine. */
5586 else
5587 {
5591 }
5592 }
5593 else
5595 }
5596 else
5597 {
5603 /* The offset must always be a multiple of 8. We use
5604 the least significant bit to record whether we have
5605 already processed this entry. */
5608 else
5609 {
5614 {
5615 Elf_Internal_Rela outrel;
5618 /* We need to generate a R_PPC64_RELATIVE reloc
5619 for the dynamic linker. */
5628 }
5631 }
5632 }
5639 /* TOC base (r2) is TOC start plus 0x8000. */
5641 }
5649 /* Relocation is to the entry for this symbol in the
5650 procedure linkage table. */
5652 /* Resolve a PLT reloc against a local symbol directly,
5653 without using the procedure linkage table. */
5659 {
5660 /* We didn't make a PLT entry for this symbol. This
5661 happens when statically linking PIC code, or when
5662 using -Bsymbolic. */
5664 }
5672 /* TOC16 relocs. We want the offset relative to the TOC base,
5673 which is the address of the start of the TOC plus 0x8000.
5674 The TOC consists of sections .got, .toc, .tocbss, and .plt,
5675 in this order. */
5685 /* Relocate against the beginning of the section. */
5702 /* Relocations that may need to be propagated if this is a
5703 dynamic object. */
5726 /* r_symndx will be zero only for relocs against symbols
5727 from removed linkonce sections, or sections discarded by
5728 a linker script. */
5731 /* Fall thru. */
5757 {
5758 Elf_Internal_Rela outrel;
5763 /* When generating a dynamic object, these relocations
5764 are copied into the output file to be resolved at run
5765 time. */
5785 && !is_opd
5792 else
5793 {
5794 /* This symbol is local, or marked to become local,
5795 or this is an opd section reloc which must point
5796 at a local function. */
5800 {
5802 {
5803 /* Lie about opd entries. This case occurs
5804 when building shared libraries and we
5805 reference a function in another shared
5806 lib. The same thing happens for a weak
5807 definition in an application that's
5808 overridden by a strong definition in a
5809 shared lib. (I believe this is a generic
5810 bug in binutils handling of weak syms.)
5811 In these cases we won't use the opd
5812 entry in this lib. */
5814 }
5816 }
5817 else
5818 {
5822 ;
5824 {
5827 }
5828 else
5829 {
5835 /* We are turning this relocation into one
5836 against a section symbol, so subtract out
5837 the output section's address but not the
5838 offset of the input section in the output
5839 section. */
5841 }
5844 }
5845 }
5855 /* If this reloc is against an external symbol, it will
5856 be computed at runtime, so there's no need to do
5857 anything now. */
5860 }
5867 /* We shouldn't ever see these dynamic relocs in relocatable
5868 files. */
5869 /* Fall thru */
5879 /* These ones haven't been implemented yet. */
5889 }
5891 /* Do any further special processing. */
5893 {
5903 /* It's just possible that this symbol is a weak symbol
5904 that's not actually defined anywhere. In that case,
5905 'sec' would be NULL, and we should leave the symbol
5906 alone (it will be set to zero elsewhere in the link). */
5908 /* Add 0x10000 if sign bit in 0:15 is set. */
5924 {
5932 }
5944 branch_check:
5945 /* If the branch is out of reach, then redirect the
5946 call to the local stub for this function. */
5947 from = (offset
5953 {
5954 /* Munge up the value and addend so that we call the stub
5955 rather than the procedure directly. */
5960 }
5962 }
5964 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
5965 because such sections are not SEC_ALLOC and thus ld.so will
5966 not process them. */
5970 {
5978 }
5981 input_bfd,
5982 input_section,
5983 contents,
5984 offset,
5985 relocation,
5986 addend);
5989 {
5993 {
5996 {
5997 /* Assume this is a call protected by other code that
5998 detects the symbol is undefined. If this is the case,
5999 we can safely ignore the overflow. If not, the
6000 program is hosed anyway, and a little warning isn't
6001 going to help. */
6004 }
6007 }
6008 else
6009 {
6017 }
6020 {
6027 }
6028 else
6029 {
6036 }
6037 }
6038 }
6041 }
6043 /* Finish up dynamic symbol handling. We set the contents of various
6044 dynamic sections here. */
6046 static boolean
6052 {
6061 {
6062 Elf_Internal_Rela rela;
6065 /* This symbol has an entry in the procedure linkage table. Set
6066 it up. */
6073 /* Create a JMP_SLOT reloc to inform the dynamic linker to
6074 fill in the PLT entry. */
6085 }
6088 {
6089 Elf_Internal_Rela rela;
6092 /* This symbol has an entry in the global offset table. Set it
6093 up. */
6102 /* If this is a static link, or it is a -Bsymbolic link and the
6103 symbol is defined locally or was forced to be local because
6104 of a version file, we just want to emit a RELATIVE reloc.
6105 The entry in the global offset table will already have been
6106 initialized in the relocate_section function. */
6112 {
6118 }
6119 else
6120 {
6126 }
6131 }
6134 {
6135 Elf_Internal_Rela rela;
6138 /* This symbol needs a copy reloc. Set it up. */
6154 }
6156 /* Mark some specially defined symbols as absolute. */
6161 }
6163 /* Used to decide how to sort relocs in an optimal manner for the
6164 dynamic linker, before writing them out. */
6166 static enum elf_reloc_type_class
6169 {
6174 {
6183 }
6184 }
6186 /* Finish up the dynamic sections. */
6188 static boolean
6192 {
6202 {
6211 {
6212 Elf_Internal_Dyn dyn;
6218 {
6254 /* Don't count procedure linkage table relocs in the
6255 overall reloc count. */
6259 }
6262 }
6263 }
6266 {
6267 /* Fill in the first entry in the global offset table.
6268 We use it to hold the link-time TOCbase. */
6273 /* Set .got entry size. */
6275 }
6278 {
6279 /* Set .plt entry size. */
6282 }
6285 }
6287 #define TARGET_LITTLE_SYM bfd_elf64_powerpcle_vec
6289 #define TARGET_BIG_SYM bfd_elf64_powerpc_vec
6291 #define ELF_ARCH bfd_arch_powerpc
6292 #define ELF_MACHINE_CODE EM_PPC64
6293 #define ELF_MAXPAGESIZE 0x10000
6294 #define elf_info_to_howto ppc64_elf_info_to_howto
6296 #ifdef EM_CYGNUS_POWERPC
6297 #define ELF_MACHINE_ALT1 EM_CYGNUS_POWERPC
6298 #endif
6300 #ifdef EM_PPC_OLD
6301 #define ELF_MACHINE_ALT2 EM_PPC_OLD
6302 #endif
6304 #define elf_backend_want_got_sym 0
6305 #define elf_backend_want_plt_sym 0
6306 #define elf_backend_plt_alignment 3
6307 #define elf_backend_plt_not_loaded 1
6308 #define elf_backend_got_symbol_offset 0
6309 #define elf_backend_got_header_size 8
6310 #define elf_backend_plt_header_size PLT_INITIAL_ENTRY_SIZE
6311 #define elf_backend_can_gc_sections 1
6312 #define elf_backend_can_refcount 1
6313 #define elf_backend_rela_normal 1
6315 #define bfd_elf64_bfd_reloc_type_lookup ppc64_elf_reloc_type_lookup
6316 #define bfd_elf64_bfd_merge_private_bfd_data ppc64_elf_merge_private_bfd_data
6317 #define bfd_elf64_bfd_link_hash_table_create ppc64_elf_link_hash_table_create
6318 #define bfd_elf64_bfd_link_hash_table_free ppc64_elf_link_hash_table_free
6320 #define elf_backend_object_p ppc64_elf_object_p
6321 #define elf_backend_create_dynamic_sections ppc64_elf_create_dynamic_sections
6322 #define elf_backend_copy_indirect_symbol ppc64_elf_copy_indirect_symbol
6323 #define elf_backend_check_relocs ppc64_elf_check_relocs
6324 #define elf_backend_gc_mark_hook ppc64_elf_gc_mark_hook
6325 #define elf_backend_gc_sweep_hook ppc64_elf_gc_sweep_hook
6326 #define elf_backend_adjust_dynamic_symbol ppc64_elf_adjust_dynamic_symbol
6327 #define elf_backend_hide_symbol ppc64_elf_hide_symbol
6328 #define elf_backend_always_size_sections ppc64_elf_func_desc_adjust
6329 #define elf_backend_size_dynamic_sections ppc64_elf_size_dynamic_sections
6330 #define elf_backend_relocate_section ppc64_elf_relocate_section
6331 #define elf_backend_finish_dynamic_symbol ppc64_elf_finish_dynamic_symbol
6332 #define elf_backend_reloc_type_class ppc64_elf_reloc_type_class
6333 #define elf_backend_finish_dynamic_sections ppc64_elf_finish_dynamic_sections