Automatic date update in version.in
[binutils-gdb.git] / bfd / elf64-x86-64.c
blob2ae8dffba0f0f980f16931ad7bbc41db0a0886d6
1 /* X86-64 specific support for ELF
2 Copyright (C) 2000-2022 Free Software Foundation, Inc.
3 Contributed by Jan Hubicka <jh@suse.cz>.
5 This file is part of BFD, the Binary File Descriptor library.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
22 #include "elfxx-x86.h"
23 #include "dwarf2.h"
24 #include "libiberty.h"
26 #include "opcode/i386.h"
28 #ifdef CORE_HEADER
29 #include <stdarg.h>
30 #include CORE_HEADER
31 #endif
33 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value. */
34 #define MINUS_ONE (~ (bfd_vma) 0)
36 /* Since both 32-bit and 64-bit x86-64 encode relocation type in the
37 identical manner, we use ELF32_R_TYPE instead of ELF64_R_TYPE to get
38 relocation type. We also use ELF_ST_TYPE instead of ELF64_ST_TYPE
39 since they are the same. */
41 /* The relocation "howto" table. Order of fields:
42 type, rightshift, size, bitsize, pc_relative, bitpos, complain_on_overflow,
43 special_function, name, partial_inplace, src_mask, dst_mask, pcrel_offset. */
44 static reloc_howto_type x86_64_elf_howto_table[] =
46 HOWTO(R_X86_64_NONE, 0, 0, 0, false, 0, complain_overflow_dont,
47 bfd_elf_generic_reloc, "R_X86_64_NONE", false, 0, 0x00000000,
48 false),
49 HOWTO(R_X86_64_64, 0, 8, 64, false, 0, complain_overflow_dont,
50 bfd_elf_generic_reloc, "R_X86_64_64", false, 0, MINUS_ONE,
51 false),
52 HOWTO(R_X86_64_PC32, 0, 4, 32, true, 0, complain_overflow_signed,
53 bfd_elf_generic_reloc, "R_X86_64_PC32", false, 0, 0xffffffff,
54 true),
55 HOWTO(R_X86_64_GOT32, 0, 4, 32, false, 0, complain_overflow_signed,
56 bfd_elf_generic_reloc, "R_X86_64_GOT32", false, 0, 0xffffffff,
57 false),
58 HOWTO(R_X86_64_PLT32, 0, 4, 32, true, 0, complain_overflow_signed,
59 bfd_elf_generic_reloc, "R_X86_64_PLT32", false, 0, 0xffffffff,
60 true),
61 HOWTO(R_X86_64_COPY, 0, 4, 32, false, 0, complain_overflow_bitfield,
62 bfd_elf_generic_reloc, "R_X86_64_COPY", false, 0, 0xffffffff,
63 false),
64 HOWTO(R_X86_64_GLOB_DAT, 0, 8, 64, false, 0, complain_overflow_dont,
65 bfd_elf_generic_reloc, "R_X86_64_GLOB_DAT", false, 0, MINUS_ONE,
66 false),
67 HOWTO(R_X86_64_JUMP_SLOT, 0, 8, 64, false, 0, complain_overflow_dont,
68 bfd_elf_generic_reloc, "R_X86_64_JUMP_SLOT", false, 0, MINUS_ONE,
69 false),
70 HOWTO(R_X86_64_RELATIVE, 0, 8, 64, false, 0, complain_overflow_dont,
71 bfd_elf_generic_reloc, "R_X86_64_RELATIVE", false, 0, MINUS_ONE,
72 false),
73 HOWTO(R_X86_64_GOTPCREL, 0, 4, 32, true, 0, complain_overflow_signed,
74 bfd_elf_generic_reloc, "R_X86_64_GOTPCREL", false, 0, 0xffffffff,
75 true),
76 HOWTO(R_X86_64_32, 0, 4, 32, false, 0, complain_overflow_unsigned,
77 bfd_elf_generic_reloc, "R_X86_64_32", false, 0, 0xffffffff,
78 false),
79 HOWTO(R_X86_64_32S, 0, 4, 32, false, 0, complain_overflow_signed,
80 bfd_elf_generic_reloc, "R_X86_64_32S", false, 0, 0xffffffff,
81 false),
82 HOWTO(R_X86_64_16, 0, 2, 16, false, 0, complain_overflow_bitfield,
83 bfd_elf_generic_reloc, "R_X86_64_16", false, 0, 0xffff, false),
84 HOWTO(R_X86_64_PC16, 0, 2, 16, true, 0, complain_overflow_bitfield,
85 bfd_elf_generic_reloc, "R_X86_64_PC16", false, 0, 0xffff, true),
86 HOWTO(R_X86_64_8, 0, 1, 8, false, 0, complain_overflow_bitfield,
87 bfd_elf_generic_reloc, "R_X86_64_8", false, 0, 0xff, false),
88 HOWTO(R_X86_64_PC8, 0, 1, 8, true, 0, complain_overflow_signed,
89 bfd_elf_generic_reloc, "R_X86_64_PC8", false, 0, 0xff, true),
90 HOWTO(R_X86_64_DTPMOD64, 0, 8, 64, false, 0, complain_overflow_dont,
91 bfd_elf_generic_reloc, "R_X86_64_DTPMOD64", false, 0, MINUS_ONE,
92 false),
93 HOWTO(R_X86_64_DTPOFF64, 0, 8, 64, false, 0, complain_overflow_dont,
94 bfd_elf_generic_reloc, "R_X86_64_DTPOFF64", false, 0, MINUS_ONE,
95 false),
96 HOWTO(R_X86_64_TPOFF64, 0, 8, 64, false, 0, complain_overflow_dont,
97 bfd_elf_generic_reloc, "R_X86_64_TPOFF64", false, 0, MINUS_ONE,
98 false),
99 HOWTO(R_X86_64_TLSGD, 0, 4, 32, true, 0, complain_overflow_signed,
100 bfd_elf_generic_reloc, "R_X86_64_TLSGD", false, 0, 0xffffffff,
101 true),
102 HOWTO(R_X86_64_TLSLD, 0, 4, 32, true, 0, complain_overflow_signed,
103 bfd_elf_generic_reloc, "R_X86_64_TLSLD", false, 0, 0xffffffff,
104 true),
105 HOWTO(R_X86_64_DTPOFF32, 0, 4, 32, false, 0, complain_overflow_signed,
106 bfd_elf_generic_reloc, "R_X86_64_DTPOFF32", false, 0, 0xffffffff,
107 false),
108 HOWTO(R_X86_64_GOTTPOFF, 0, 4, 32, true, 0, complain_overflow_signed,
109 bfd_elf_generic_reloc, "R_X86_64_GOTTPOFF", false, 0, 0xffffffff,
110 true),
111 HOWTO(R_X86_64_TPOFF32, 0, 4, 32, false, 0, complain_overflow_signed,
112 bfd_elf_generic_reloc, "R_X86_64_TPOFF32", false, 0, 0xffffffff,
113 false),
114 HOWTO(R_X86_64_PC64, 0, 8, 64, true, 0, complain_overflow_dont,
115 bfd_elf_generic_reloc, "R_X86_64_PC64", false, 0, MINUS_ONE,
116 true),
117 HOWTO(R_X86_64_GOTOFF64, 0, 8, 64, false, 0, complain_overflow_dont,
118 bfd_elf_generic_reloc, "R_X86_64_GOTOFF64", false, 0, MINUS_ONE,
119 false),
120 HOWTO(R_X86_64_GOTPC32, 0, 4, 32, true, 0, complain_overflow_signed,
121 bfd_elf_generic_reloc, "R_X86_64_GOTPC32", false, 0, 0xffffffff,
122 true),
123 HOWTO(R_X86_64_GOT64, 0, 8, 64, false, 0, complain_overflow_signed,
124 bfd_elf_generic_reloc, "R_X86_64_GOT64", false, 0, MINUS_ONE,
125 false),
126 HOWTO(R_X86_64_GOTPCREL64, 0, 8, 64, true, 0, complain_overflow_signed,
127 bfd_elf_generic_reloc, "R_X86_64_GOTPCREL64", false, 0, MINUS_ONE,
128 true),
129 HOWTO(R_X86_64_GOTPC64, 0, 8, 64, true, 0, complain_overflow_signed,
130 bfd_elf_generic_reloc, "R_X86_64_GOTPC64", false, 0, MINUS_ONE,
131 true),
132 HOWTO(R_X86_64_GOTPLT64, 0, 8, 64, false, 0, complain_overflow_signed,
133 bfd_elf_generic_reloc, "R_X86_64_GOTPLT64", false, 0, MINUS_ONE,
134 false),
135 HOWTO(R_X86_64_PLTOFF64, 0, 8, 64, false, 0, complain_overflow_signed,
136 bfd_elf_generic_reloc, "R_X86_64_PLTOFF64", false, 0, MINUS_ONE,
137 false),
138 HOWTO(R_X86_64_SIZE32, 0, 4, 32, false, 0, complain_overflow_unsigned,
139 bfd_elf_generic_reloc, "R_X86_64_SIZE32", false, 0, 0xffffffff,
140 false),
141 HOWTO(R_X86_64_SIZE64, 0, 8, 64, false, 0, complain_overflow_dont,
142 bfd_elf_generic_reloc, "R_X86_64_SIZE64", false, 0, MINUS_ONE,
143 false),
144 HOWTO(R_X86_64_GOTPC32_TLSDESC, 0, 4, 32, true, 0,
145 complain_overflow_bitfield, bfd_elf_generic_reloc,
146 "R_X86_64_GOTPC32_TLSDESC", false, 0, 0xffffffff, true),
147 HOWTO(R_X86_64_TLSDESC_CALL, 0, 0, 0, false, 0,
148 complain_overflow_dont, bfd_elf_generic_reloc,
149 "R_X86_64_TLSDESC_CALL",
150 false, 0, 0, false),
151 HOWTO(R_X86_64_TLSDESC, 0, 8, 64, false, 0,
152 complain_overflow_dont, bfd_elf_generic_reloc,
153 "R_X86_64_TLSDESC", false, 0, MINUS_ONE, false),
154 HOWTO(R_X86_64_IRELATIVE, 0, 8, 64, false, 0, complain_overflow_dont,
155 bfd_elf_generic_reloc, "R_X86_64_IRELATIVE", false, 0, MINUS_ONE,
156 false),
157 HOWTO(R_X86_64_RELATIVE64, 0, 8, 64, false, 0, complain_overflow_dont,
158 bfd_elf_generic_reloc, "R_X86_64_RELATIVE64", false, 0, MINUS_ONE,
159 false),
160 HOWTO(R_X86_64_PC32_BND, 0, 4, 32, true, 0, complain_overflow_signed,
161 bfd_elf_generic_reloc, "R_X86_64_PC32_BND", false, 0, 0xffffffff,
162 true),
163 HOWTO(R_X86_64_PLT32_BND, 0, 4, 32, true, 0, complain_overflow_signed,
164 bfd_elf_generic_reloc, "R_X86_64_PLT32_BND", false, 0, 0xffffffff,
165 true),
166 HOWTO(R_X86_64_GOTPCRELX, 0, 4, 32, true, 0, complain_overflow_signed,
167 bfd_elf_generic_reloc, "R_X86_64_GOTPCRELX", false, 0, 0xffffffff,
168 true),
169 HOWTO(R_X86_64_REX_GOTPCRELX, 0, 4, 32, true, 0, complain_overflow_signed,
170 bfd_elf_generic_reloc, "R_X86_64_REX_GOTPCRELX", false, 0, 0xffffffff,
171 true),
173 /* We have a gap in the reloc numbers here.
174 R_X86_64_standard counts the number up to this point, and
175 R_X86_64_vt_offset is the value to subtract from a reloc type of
176 R_X86_64_GNU_VT* to form an index into this table. */
177 #define R_X86_64_standard (R_X86_64_REX_GOTPCRELX + 1)
178 #define R_X86_64_vt_offset (R_X86_64_GNU_VTINHERIT - R_X86_64_standard)
180 /* GNU extension to record C++ vtable hierarchy. */
181 HOWTO (R_X86_64_GNU_VTINHERIT, 0, 8, 0, false, 0, complain_overflow_dont,
182 NULL, "R_X86_64_GNU_VTINHERIT", false, 0, 0, false),
184 /* GNU extension to record C++ vtable member usage. */
185 HOWTO (R_X86_64_GNU_VTENTRY, 0, 8, 0, false, 0, complain_overflow_dont,
186 _bfd_elf_rel_vtable_reloc_fn, "R_X86_64_GNU_VTENTRY", false, 0, 0,
187 false),
189 /* Use complain_overflow_bitfield on R_X86_64_32 for x32. */
190 HOWTO(R_X86_64_32, 0, 4, 32, false, 0, complain_overflow_bitfield,
191 bfd_elf_generic_reloc, "R_X86_64_32", false, 0, 0xffffffff,
192 false)
195 /* Map BFD relocs to the x86_64 elf relocs. */
196 struct elf_reloc_map
198 bfd_reloc_code_real_type bfd_reloc_val;
199 unsigned char elf_reloc_val;
202 static const struct elf_reloc_map x86_64_reloc_map[] =
204 { BFD_RELOC_NONE, R_X86_64_NONE, },
205 { BFD_RELOC_64, R_X86_64_64, },
206 { BFD_RELOC_32_PCREL, R_X86_64_PC32, },
207 { BFD_RELOC_X86_64_GOT32, R_X86_64_GOT32,},
208 { BFD_RELOC_X86_64_PLT32, R_X86_64_PLT32,},
209 { BFD_RELOC_X86_64_COPY, R_X86_64_COPY, },
210 { BFD_RELOC_X86_64_GLOB_DAT, R_X86_64_GLOB_DAT, },
211 { BFD_RELOC_X86_64_JUMP_SLOT, R_X86_64_JUMP_SLOT, },
212 { BFD_RELOC_X86_64_RELATIVE, R_X86_64_RELATIVE, },
213 { BFD_RELOC_X86_64_GOTPCREL, R_X86_64_GOTPCREL, },
214 { BFD_RELOC_32, R_X86_64_32, },
215 { BFD_RELOC_X86_64_32S, R_X86_64_32S, },
216 { BFD_RELOC_16, R_X86_64_16, },
217 { BFD_RELOC_16_PCREL, R_X86_64_PC16, },
218 { BFD_RELOC_8, R_X86_64_8, },
219 { BFD_RELOC_8_PCREL, R_X86_64_PC8, },
220 { BFD_RELOC_X86_64_DTPMOD64, R_X86_64_DTPMOD64, },
221 { BFD_RELOC_X86_64_DTPOFF64, R_X86_64_DTPOFF64, },
222 { BFD_RELOC_X86_64_TPOFF64, R_X86_64_TPOFF64, },
223 { BFD_RELOC_X86_64_TLSGD, R_X86_64_TLSGD, },
224 { BFD_RELOC_X86_64_TLSLD, R_X86_64_TLSLD, },
225 { BFD_RELOC_X86_64_DTPOFF32, R_X86_64_DTPOFF32, },
226 { BFD_RELOC_X86_64_GOTTPOFF, R_X86_64_GOTTPOFF, },
227 { BFD_RELOC_X86_64_TPOFF32, R_X86_64_TPOFF32, },
228 { BFD_RELOC_64_PCREL, R_X86_64_PC64, },
229 { BFD_RELOC_X86_64_GOTOFF64, R_X86_64_GOTOFF64, },
230 { BFD_RELOC_X86_64_GOTPC32, R_X86_64_GOTPC32, },
231 { BFD_RELOC_X86_64_GOT64, R_X86_64_GOT64, },
232 { BFD_RELOC_X86_64_GOTPCREL64,R_X86_64_GOTPCREL64, },
233 { BFD_RELOC_X86_64_GOTPC64, R_X86_64_GOTPC64, },
234 { BFD_RELOC_X86_64_GOTPLT64, R_X86_64_GOTPLT64, },
235 { BFD_RELOC_X86_64_PLTOFF64, R_X86_64_PLTOFF64, },
236 { BFD_RELOC_SIZE32, R_X86_64_SIZE32, },
237 { BFD_RELOC_SIZE64, R_X86_64_SIZE64, },
238 { BFD_RELOC_X86_64_GOTPC32_TLSDESC, R_X86_64_GOTPC32_TLSDESC, },
239 { BFD_RELOC_X86_64_TLSDESC_CALL, R_X86_64_TLSDESC_CALL, },
240 { BFD_RELOC_X86_64_TLSDESC, R_X86_64_TLSDESC, },
241 { BFD_RELOC_X86_64_IRELATIVE, R_X86_64_IRELATIVE, },
242 { BFD_RELOC_X86_64_PC32_BND, R_X86_64_PC32_BND, },
243 { BFD_RELOC_X86_64_PLT32_BND, R_X86_64_PLT32_BND, },
244 { BFD_RELOC_X86_64_GOTPCRELX, R_X86_64_GOTPCRELX, },
245 { BFD_RELOC_X86_64_REX_GOTPCRELX, R_X86_64_REX_GOTPCRELX, },
246 { BFD_RELOC_VTABLE_INHERIT, R_X86_64_GNU_VTINHERIT, },
247 { BFD_RELOC_VTABLE_ENTRY, R_X86_64_GNU_VTENTRY, },
250 static reloc_howto_type *
251 elf_x86_64_rtype_to_howto (bfd *abfd, unsigned r_type)
253 unsigned i;
255 if (r_type == (unsigned int) R_X86_64_32)
257 if (ABI_64_P (abfd))
258 i = r_type;
259 else
260 i = ARRAY_SIZE (x86_64_elf_howto_table) - 1;
262 else if (r_type < (unsigned int) R_X86_64_GNU_VTINHERIT
263 || r_type >= (unsigned int) R_X86_64_max)
265 if (r_type >= (unsigned int) R_X86_64_standard)
267 /* xgettext:c-format */
268 _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
269 abfd, r_type);
270 bfd_set_error (bfd_error_bad_value);
271 return NULL;
273 i = r_type;
275 else
276 i = r_type - (unsigned int) R_X86_64_vt_offset;
277 BFD_ASSERT (x86_64_elf_howto_table[i].type == r_type);
278 return &x86_64_elf_howto_table[i];
281 /* Given a BFD reloc type, return a HOWTO structure. */
282 static reloc_howto_type *
283 elf_x86_64_reloc_type_lookup (bfd *abfd,
284 bfd_reloc_code_real_type code)
286 unsigned int i;
288 for (i = 0; i < sizeof (x86_64_reloc_map) / sizeof (struct elf_reloc_map);
289 i++)
291 if (x86_64_reloc_map[i].bfd_reloc_val == code)
292 return elf_x86_64_rtype_to_howto (abfd,
293 x86_64_reloc_map[i].elf_reloc_val);
295 return NULL;
298 static reloc_howto_type *
299 elf_x86_64_reloc_name_lookup (bfd *abfd,
300 const char *r_name)
302 unsigned int i;
304 if (!ABI_64_P (abfd) && strcasecmp (r_name, "R_X86_64_32") == 0)
306 /* Get x32 R_X86_64_32. */
307 reloc_howto_type *reloc
308 = &x86_64_elf_howto_table[ARRAY_SIZE (x86_64_elf_howto_table) - 1];
309 BFD_ASSERT (reloc->type == (unsigned int) R_X86_64_32);
310 return reloc;
313 for (i = 0; i < ARRAY_SIZE (x86_64_elf_howto_table); i++)
314 if (x86_64_elf_howto_table[i].name != NULL
315 && strcasecmp (x86_64_elf_howto_table[i].name, r_name) == 0)
316 return &x86_64_elf_howto_table[i];
318 return NULL;
321 /* Given an x86_64 ELF reloc type, fill in an arelent structure. */
323 static bool
324 elf_x86_64_info_to_howto (bfd *abfd, arelent *cache_ptr,
325 Elf_Internal_Rela *dst)
327 unsigned r_type;
329 r_type = ELF32_R_TYPE (dst->r_info);
330 cache_ptr->howto = elf_x86_64_rtype_to_howto (abfd, r_type);
331 if (cache_ptr->howto == NULL)
332 return false;
333 BFD_ASSERT (r_type == cache_ptr->howto->type || cache_ptr->howto->type == R_X86_64_NONE);
334 return true;
337 /* Support for core dump NOTE sections. */
338 static bool
339 elf_x86_64_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
341 int offset;
342 size_t size;
344 switch (note->descsz)
346 default:
347 return false;
349 case 296: /* sizeof(istruct elf_prstatus) on Linux/x32 */
350 /* pr_cursig */
351 elf_tdata (abfd)->core->signal = bfd_get_16 (abfd, note->descdata + 12);
353 /* pr_pid */
354 elf_tdata (abfd)->core->lwpid = bfd_get_32 (abfd, note->descdata + 24);
356 /* pr_reg */
357 offset = 72;
358 size = 216;
360 break;
362 case 336: /* sizeof(istruct elf_prstatus) on Linux/x86_64 */
363 /* pr_cursig */
364 elf_tdata (abfd)->core->signal
365 = bfd_get_16 (abfd, note->descdata + 12);
367 /* pr_pid */
368 elf_tdata (abfd)->core->lwpid
369 = bfd_get_32 (abfd, note->descdata + 32);
371 /* pr_reg */
372 offset = 112;
373 size = 216;
375 break;
378 /* Make a ".reg/999" section. */
379 return _bfd_elfcore_make_pseudosection (abfd, ".reg",
380 size, note->descpos + offset);
383 static bool
384 elf_x86_64_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
386 switch (note->descsz)
388 default:
389 return false;
391 case 124: /* sizeof(struct elf_prpsinfo) on Linux/x32 */
392 elf_tdata (abfd)->core->pid
393 = bfd_get_32 (abfd, note->descdata + 12);
394 elf_tdata (abfd)->core->program
395 = _bfd_elfcore_strndup (abfd, note->descdata + 28, 16);
396 elf_tdata (abfd)->core->command
397 = _bfd_elfcore_strndup (abfd, note->descdata + 44, 80);
398 break;
400 case 136: /* sizeof(struct elf_prpsinfo) on Linux/x86_64 */
401 elf_tdata (abfd)->core->pid
402 = bfd_get_32 (abfd, note->descdata + 24);
403 elf_tdata (abfd)->core->program
404 = _bfd_elfcore_strndup (abfd, note->descdata + 40, 16);
405 elf_tdata (abfd)->core->command
406 = _bfd_elfcore_strndup (abfd, note->descdata + 56, 80);
409 /* Note that for some reason, a spurious space is tacked
410 onto the end of the args in some (at least one anyway)
411 implementations, so strip it off if it exists. */
414 char *command = elf_tdata (abfd)->core->command;
415 int n = strlen (command);
417 if (0 < n && command[n - 1] == ' ')
418 command[n - 1] = '\0';
421 return true;
424 #ifdef CORE_HEADER
425 # if GCC_VERSION >= 8000
426 # pragma GCC diagnostic push
427 # pragma GCC diagnostic ignored "-Wstringop-truncation"
428 # endif
429 static char *
430 elf_x86_64_write_core_note (bfd *abfd, char *buf, int *bufsiz,
431 int note_type, ...)
433 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
434 va_list ap;
435 const char *fname, *psargs;
436 long pid;
437 int cursig;
438 const void *gregs;
440 switch (note_type)
442 default:
443 return NULL;
445 case NT_PRPSINFO:
446 va_start (ap, note_type);
447 fname = va_arg (ap, const char *);
448 psargs = va_arg (ap, const char *);
449 va_end (ap);
451 if (bed->s->elfclass == ELFCLASS32)
453 prpsinfo32_t data;
454 memset (&data, 0, sizeof (data));
455 strncpy (data.pr_fname, fname, sizeof (data.pr_fname));
456 strncpy (data.pr_psargs, psargs, sizeof (data.pr_psargs));
457 return elfcore_write_note (abfd, buf, bufsiz, "CORE", note_type,
458 &data, sizeof (data));
460 else
462 prpsinfo64_t data;
463 memset (&data, 0, sizeof (data));
464 strncpy (data.pr_fname, fname, sizeof (data.pr_fname));
465 strncpy (data.pr_psargs, psargs, sizeof (data.pr_psargs));
466 return elfcore_write_note (abfd, buf, bufsiz, "CORE", note_type,
467 &data, sizeof (data));
469 /* NOTREACHED */
471 case NT_PRSTATUS:
472 va_start (ap, note_type);
473 pid = va_arg (ap, long);
474 cursig = va_arg (ap, int);
475 gregs = va_arg (ap, const void *);
476 va_end (ap);
478 if (bed->s->elfclass == ELFCLASS32)
480 if (bed->elf_machine_code == EM_X86_64)
482 prstatusx32_t prstat;
483 memset (&prstat, 0, sizeof (prstat));
484 prstat.pr_pid = pid;
485 prstat.pr_cursig = cursig;
486 memcpy (&prstat.pr_reg, gregs, sizeof (prstat.pr_reg));
487 return elfcore_write_note (abfd, buf, bufsiz, "CORE", note_type,
488 &prstat, sizeof (prstat));
490 else
492 prstatus32_t prstat;
493 memset (&prstat, 0, sizeof (prstat));
494 prstat.pr_pid = pid;
495 prstat.pr_cursig = cursig;
496 memcpy (&prstat.pr_reg, gregs, sizeof (prstat.pr_reg));
497 return elfcore_write_note (abfd, buf, bufsiz, "CORE", note_type,
498 &prstat, sizeof (prstat));
501 else
503 prstatus64_t prstat;
504 memset (&prstat, 0, sizeof (prstat));
505 prstat.pr_pid = pid;
506 prstat.pr_cursig = cursig;
507 memcpy (&prstat.pr_reg, gregs, sizeof (prstat.pr_reg));
508 return elfcore_write_note (abfd, buf, bufsiz, "CORE", note_type,
509 &prstat, sizeof (prstat));
512 /* NOTREACHED */
514 # if GCC_VERSION >= 8000
515 # pragma GCC diagnostic pop
516 # endif
517 #endif
519 /* Functions for the x86-64 ELF linker. */
521 /* The size in bytes of an entry in the global offset table. */
523 #define GOT_ENTRY_SIZE 8
525 /* The size in bytes of an entry in the lazy procedure linkage table. */
527 #define LAZY_PLT_ENTRY_SIZE 16
529 /* The size in bytes of an entry in the non-lazy procedure linkage
530 table. */
532 #define NON_LAZY_PLT_ENTRY_SIZE 8
534 /* The first entry in a lazy procedure linkage table looks like this.
535 See the SVR4 ABI i386 supplement and the x86-64 ABI to see how this
536 works. */
538 static const bfd_byte elf_x86_64_lazy_plt0_entry[LAZY_PLT_ENTRY_SIZE] =
540 0xff, 0x35, 8, 0, 0, 0, /* pushq GOT+8(%rip) */
541 0xff, 0x25, 16, 0, 0, 0, /* jmpq *GOT+16(%rip) */
542 0x0f, 0x1f, 0x40, 0x00 /* nopl 0(%rax) */
545 /* Subsequent entries in a lazy procedure linkage table look like this. */
547 static const bfd_byte elf_x86_64_lazy_plt_entry[LAZY_PLT_ENTRY_SIZE] =
549 0xff, 0x25, /* jmpq *name@GOTPC(%rip) */
550 0, 0, 0, 0, /* replaced with offset to this symbol in .got. */
551 0x68, /* pushq immediate */
552 0, 0, 0, 0, /* replaced with index into relocation table. */
553 0xe9, /* jmp relative */
554 0, 0, 0, 0 /* replaced with offset to start of .plt0. */
557 /* The first entry in a lazy procedure linkage table with BND prefix
558 like this. */
560 static const bfd_byte elf_x86_64_lazy_bnd_plt0_entry[LAZY_PLT_ENTRY_SIZE] =
562 0xff, 0x35, 8, 0, 0, 0, /* pushq GOT+8(%rip) */
563 0xf2, 0xff, 0x25, 16, 0, 0, 0, /* bnd jmpq *GOT+16(%rip) */
564 0x0f, 0x1f, 0 /* nopl (%rax) */
567 /* Subsequent entries for branches with BND prefx in a lazy procedure
568 linkage table look like this. */
570 static const bfd_byte elf_x86_64_lazy_bnd_plt_entry[LAZY_PLT_ENTRY_SIZE] =
572 0x68, 0, 0, 0, 0, /* pushq immediate */
573 0xf2, 0xe9, 0, 0, 0, 0, /* bnd jmpq relative */
574 0x0f, 0x1f, 0x44, 0, 0 /* nopl 0(%rax,%rax,1) */
577 /* The first entry in the IBT-enabled lazy procedure linkage table is the
578 the same as the lazy PLT with BND prefix so that bound registers are
579 preserved when control is passed to dynamic linker. Subsequent
580 entries for a IBT-enabled lazy procedure linkage table look like
581 this. */
583 static const bfd_byte elf_x86_64_lazy_ibt_plt_entry[LAZY_PLT_ENTRY_SIZE] =
585 0xf3, 0x0f, 0x1e, 0xfa, /* endbr64 */
586 0x68, 0, 0, 0, 0, /* pushq immediate */
587 0xf2, 0xe9, 0, 0, 0, 0, /* bnd jmpq relative */
588 0x90 /* nop */
591 /* The first entry in the x32 IBT-enabled lazy procedure linkage table
592 is the same as the normal lazy PLT. Subsequent entries for an
593 x32 IBT-enabled lazy procedure linkage table look like this. */
595 static const bfd_byte elf_x32_lazy_ibt_plt_entry[LAZY_PLT_ENTRY_SIZE] =
597 0xf3, 0x0f, 0x1e, 0xfa, /* endbr64 */
598 0x68, 0, 0, 0, 0, /* pushq immediate */
599 0xe9, 0, 0, 0, 0, /* jmpq relative */
600 0x66, 0x90 /* xchg %ax,%ax */
603 /* Entries in the non-lazey procedure linkage table look like this. */
605 static const bfd_byte elf_x86_64_non_lazy_plt_entry[NON_LAZY_PLT_ENTRY_SIZE] =
607 0xff, 0x25, /* jmpq *name@GOTPC(%rip) */
608 0, 0, 0, 0, /* replaced with offset to this symbol in .got. */
609 0x66, 0x90 /* xchg %ax,%ax */
612 /* Entries for branches with BND prefix in the non-lazey procedure
613 linkage table look like this. */
615 static const bfd_byte elf_x86_64_non_lazy_bnd_plt_entry[NON_LAZY_PLT_ENTRY_SIZE] =
617 0xf2, 0xff, 0x25, /* bnd jmpq *name@GOTPC(%rip) */
618 0, 0, 0, 0, /* replaced with offset to this symbol in .got. */
619 0x90 /* nop */
622 /* Entries for branches with IBT-enabled in the non-lazey procedure
623 linkage table look like this. They have the same size as the lazy
624 PLT entry. */
626 static const bfd_byte elf_x86_64_non_lazy_ibt_plt_entry[LAZY_PLT_ENTRY_SIZE] =
628 0xf3, 0x0f, 0x1e, 0xfa, /* endbr64 */
629 0xf2, 0xff, 0x25, /* bnd jmpq *name@GOTPC(%rip) */
630 0, 0, 0, 0, /* replaced with offset to this symbol in .got. */
631 0x0f, 0x1f, 0x44, 0x00, 0x00 /* nopl 0x0(%rax,%rax,1) */
634 /* Entries for branches with IBT-enabled in the x32 non-lazey procedure
635 linkage table look like this. They have the same size as the lazy
636 PLT entry. */
638 static const bfd_byte elf_x32_non_lazy_ibt_plt_entry[LAZY_PLT_ENTRY_SIZE] =
640 0xf3, 0x0f, 0x1e, 0xfa, /* endbr64 */
641 0xff, 0x25, /* jmpq *name@GOTPC(%rip) */
642 0, 0, 0, 0, /* replaced with offset to this symbol in .got. */
643 0x66, 0x0f, 0x1f, 0x44, 0x00, 0x00 /* nopw 0x0(%rax,%rax,1) */
646 /* The TLSDESC entry in a lazy procedure linkage table. */
647 static const bfd_byte elf_x86_64_tlsdesc_plt_entry[LAZY_PLT_ENTRY_SIZE] =
649 0xf3, 0x0f, 0x1e, 0xfa, /* endbr64 */
650 0xff, 0x35, 8, 0, 0, 0, /* pushq GOT+8(%rip) */
651 0xff, 0x25, 16, 0, 0, 0 /* jmpq *GOT+TDG(%rip) */
654 /* .eh_frame covering the lazy .plt section. */
656 static const bfd_byte elf_x86_64_eh_frame_lazy_plt[] =
658 PLT_CIE_LENGTH, 0, 0, 0, /* CIE length */
659 0, 0, 0, 0, /* CIE ID */
660 1, /* CIE version */
661 'z', 'R', 0, /* Augmentation string */
662 1, /* Code alignment factor */
663 0x78, /* Data alignment factor */
664 16, /* Return address column */
665 1, /* Augmentation size */
666 DW_EH_PE_pcrel | DW_EH_PE_sdata4, /* FDE encoding */
667 DW_CFA_def_cfa, 7, 8, /* DW_CFA_def_cfa: r7 (rsp) ofs 8 */
668 DW_CFA_offset + 16, 1, /* DW_CFA_offset: r16 (rip) at cfa-8 */
669 DW_CFA_nop, DW_CFA_nop,
671 PLT_FDE_LENGTH, 0, 0, 0, /* FDE length */
672 PLT_CIE_LENGTH + 8, 0, 0, 0, /* CIE pointer */
673 0, 0, 0, 0, /* R_X86_64_PC32 .plt goes here */
674 0, 0, 0, 0, /* .plt size goes here */
675 0, /* Augmentation size */
676 DW_CFA_def_cfa_offset, 16, /* DW_CFA_def_cfa_offset: 16 */
677 DW_CFA_advance_loc + 6, /* DW_CFA_advance_loc: 6 to __PLT__+6 */
678 DW_CFA_def_cfa_offset, 24, /* DW_CFA_def_cfa_offset: 24 */
679 DW_CFA_advance_loc + 10, /* DW_CFA_advance_loc: 10 to __PLT__+16 */
680 DW_CFA_def_cfa_expression, /* DW_CFA_def_cfa_expression */
681 11, /* Block length */
682 DW_OP_breg7, 8, /* DW_OP_breg7 (rsp): 8 */
683 DW_OP_breg16, 0, /* DW_OP_breg16 (rip): 0 */
684 DW_OP_lit15, DW_OP_and, DW_OP_lit11, DW_OP_ge,
685 DW_OP_lit3, DW_OP_shl, DW_OP_plus,
686 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop, DW_CFA_nop
689 /* .eh_frame covering the lazy BND .plt section. */
691 static const bfd_byte elf_x86_64_eh_frame_lazy_bnd_plt[] =
693 PLT_CIE_LENGTH, 0, 0, 0, /* CIE length */
694 0, 0, 0, 0, /* CIE ID */
695 1, /* CIE version */
696 'z', 'R', 0, /* Augmentation string */
697 1, /* Code alignment factor */
698 0x78, /* Data alignment factor */
699 16, /* Return address column */
700 1, /* Augmentation size */
701 DW_EH_PE_pcrel | DW_EH_PE_sdata4, /* FDE encoding */
702 DW_CFA_def_cfa, 7, 8, /* DW_CFA_def_cfa: r7 (rsp) ofs 8 */
703 DW_CFA_offset + 16, 1, /* DW_CFA_offset: r16 (rip) at cfa-8 */
704 DW_CFA_nop, DW_CFA_nop,
706 PLT_FDE_LENGTH, 0, 0, 0, /* FDE length */
707 PLT_CIE_LENGTH + 8, 0, 0, 0, /* CIE pointer */
708 0, 0, 0, 0, /* R_X86_64_PC32 .plt goes here */
709 0, 0, 0, 0, /* .plt size goes here */
710 0, /* Augmentation size */
711 DW_CFA_def_cfa_offset, 16, /* DW_CFA_def_cfa_offset: 16 */
712 DW_CFA_advance_loc + 6, /* DW_CFA_advance_loc: 6 to __PLT__+6 */
713 DW_CFA_def_cfa_offset, 24, /* DW_CFA_def_cfa_offset: 24 */
714 DW_CFA_advance_loc + 10, /* DW_CFA_advance_loc: 10 to __PLT__+16 */
715 DW_CFA_def_cfa_expression, /* DW_CFA_def_cfa_expression */
716 11, /* Block length */
717 DW_OP_breg7, 8, /* DW_OP_breg7 (rsp): 8 */
718 DW_OP_breg16, 0, /* DW_OP_breg16 (rip): 0 */
719 DW_OP_lit15, DW_OP_and, DW_OP_lit5, DW_OP_ge,
720 DW_OP_lit3, DW_OP_shl, DW_OP_plus,
721 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop, DW_CFA_nop
724 /* .eh_frame covering the lazy .plt section with IBT-enabled. */
726 static const bfd_byte elf_x86_64_eh_frame_lazy_ibt_plt[] =
728 PLT_CIE_LENGTH, 0, 0, 0, /* CIE length */
729 0, 0, 0, 0, /* CIE ID */
730 1, /* CIE version */
731 'z', 'R', 0, /* Augmentation string */
732 1, /* Code alignment factor */
733 0x78, /* Data alignment factor */
734 16, /* Return address column */
735 1, /* Augmentation size */
736 DW_EH_PE_pcrel | DW_EH_PE_sdata4, /* FDE encoding */
737 DW_CFA_def_cfa, 7, 8, /* DW_CFA_def_cfa: r7 (rsp) ofs 8 */
738 DW_CFA_offset + 16, 1, /* DW_CFA_offset: r16 (rip) at cfa-8 */
739 DW_CFA_nop, DW_CFA_nop,
741 PLT_FDE_LENGTH, 0, 0, 0, /* FDE length */
742 PLT_CIE_LENGTH + 8, 0, 0, 0, /* CIE pointer */
743 0, 0, 0, 0, /* R_X86_64_PC32 .plt goes here */
744 0, 0, 0, 0, /* .plt size goes here */
745 0, /* Augmentation size */
746 DW_CFA_def_cfa_offset, 16, /* DW_CFA_def_cfa_offset: 16 */
747 DW_CFA_advance_loc + 6, /* DW_CFA_advance_loc: 6 to __PLT__+6 */
748 DW_CFA_def_cfa_offset, 24, /* DW_CFA_def_cfa_offset: 24 */
749 DW_CFA_advance_loc + 10, /* DW_CFA_advance_loc: 10 to __PLT__+16 */
750 DW_CFA_def_cfa_expression, /* DW_CFA_def_cfa_expression */
751 11, /* Block length */
752 DW_OP_breg7, 8, /* DW_OP_breg7 (rsp): 8 */
753 DW_OP_breg16, 0, /* DW_OP_breg16 (rip): 0 */
754 DW_OP_lit15, DW_OP_and, DW_OP_lit10, DW_OP_ge,
755 DW_OP_lit3, DW_OP_shl, DW_OP_plus,
756 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop, DW_CFA_nop
759 /* .eh_frame covering the x32 lazy .plt section with IBT-enabled. */
761 static const bfd_byte elf_x32_eh_frame_lazy_ibt_plt[] =
763 PLT_CIE_LENGTH, 0, 0, 0, /* CIE length */
764 0, 0, 0, 0, /* CIE ID */
765 1, /* CIE version */
766 'z', 'R', 0, /* Augmentation string */
767 1, /* Code alignment factor */
768 0x78, /* Data alignment factor */
769 16, /* Return address column */
770 1, /* Augmentation size */
771 DW_EH_PE_pcrel | DW_EH_PE_sdata4, /* FDE encoding */
772 DW_CFA_def_cfa, 7, 8, /* DW_CFA_def_cfa: r7 (rsp) ofs 8 */
773 DW_CFA_offset + 16, 1, /* DW_CFA_offset: r16 (rip) at cfa-8 */
774 DW_CFA_nop, DW_CFA_nop,
776 PLT_FDE_LENGTH, 0, 0, 0, /* FDE length */
777 PLT_CIE_LENGTH + 8, 0, 0, 0, /* CIE pointer */
778 0, 0, 0, 0, /* R_X86_64_PC32 .plt goes here */
779 0, 0, 0, 0, /* .plt size goes here */
780 0, /* Augmentation size */
781 DW_CFA_def_cfa_offset, 16, /* DW_CFA_def_cfa_offset: 16 */
782 DW_CFA_advance_loc + 6, /* DW_CFA_advance_loc: 6 to __PLT__+6 */
783 DW_CFA_def_cfa_offset, 24, /* DW_CFA_def_cfa_offset: 24 */
784 DW_CFA_advance_loc + 10, /* DW_CFA_advance_loc: 10 to __PLT__+16 */
785 DW_CFA_def_cfa_expression, /* DW_CFA_def_cfa_expression */
786 11, /* Block length */
787 DW_OP_breg7, 8, /* DW_OP_breg7 (rsp): 8 */
788 DW_OP_breg16, 0, /* DW_OP_breg16 (rip): 0 */
789 DW_OP_lit15, DW_OP_and, DW_OP_lit9, DW_OP_ge,
790 DW_OP_lit3, DW_OP_shl, DW_OP_plus,
791 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop, DW_CFA_nop
794 /* .eh_frame covering the non-lazy .plt section. */
796 static const bfd_byte elf_x86_64_eh_frame_non_lazy_plt[] =
798 #define PLT_GOT_FDE_LENGTH 20
799 PLT_CIE_LENGTH, 0, 0, 0, /* CIE length */
800 0, 0, 0, 0, /* CIE ID */
801 1, /* CIE version */
802 'z', 'R', 0, /* Augmentation string */
803 1, /* Code alignment factor */
804 0x78, /* Data alignment factor */
805 16, /* Return address column */
806 1, /* Augmentation size */
807 DW_EH_PE_pcrel | DW_EH_PE_sdata4, /* FDE encoding */
808 DW_CFA_def_cfa, 7, 8, /* DW_CFA_def_cfa: r7 (rsp) ofs 8 */
809 DW_CFA_offset + 16, 1, /* DW_CFA_offset: r16 (rip) at cfa-8 */
810 DW_CFA_nop, DW_CFA_nop,
812 PLT_GOT_FDE_LENGTH, 0, 0, 0, /* FDE length */
813 PLT_CIE_LENGTH + 8, 0, 0, 0, /* CIE pointer */
814 0, 0, 0, 0, /* the start of non-lazy .plt goes here */
815 0, 0, 0, 0, /* non-lazy .plt size goes here */
816 0, /* Augmentation size */
817 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop, DW_CFA_nop,
818 DW_CFA_nop, DW_CFA_nop, DW_CFA_nop
821 /* These are the standard parameters. */
822 static const struct elf_x86_lazy_plt_layout elf_x86_64_lazy_plt =
824 elf_x86_64_lazy_plt0_entry, /* plt0_entry */
825 LAZY_PLT_ENTRY_SIZE, /* plt0_entry_size */
826 elf_x86_64_lazy_plt_entry, /* plt_entry */
827 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
828 elf_x86_64_tlsdesc_plt_entry, /* plt_tlsdesc_entry */
829 LAZY_PLT_ENTRY_SIZE, /* plt_tlsdesc_entry_size */
830 6, /* plt_tlsdesc_got1_offset */
831 12, /* plt_tlsdesc_got2_offset */
832 10, /* plt_tlsdesc_got1_insn_end */
833 16, /* plt_tlsdesc_got2_insn_end */
834 2, /* plt0_got1_offset */
835 8, /* plt0_got2_offset */
836 12, /* plt0_got2_insn_end */
837 2, /* plt_got_offset */
838 7, /* plt_reloc_offset */
839 12, /* plt_plt_offset */
840 6, /* plt_got_insn_size */
841 LAZY_PLT_ENTRY_SIZE, /* plt_plt_insn_end */
842 6, /* plt_lazy_offset */
843 elf_x86_64_lazy_plt0_entry, /* pic_plt0_entry */
844 elf_x86_64_lazy_plt_entry, /* pic_plt_entry */
845 elf_x86_64_eh_frame_lazy_plt, /* eh_frame_plt */
846 sizeof (elf_x86_64_eh_frame_lazy_plt) /* eh_frame_plt_size */
849 static const struct elf_x86_non_lazy_plt_layout elf_x86_64_non_lazy_plt =
851 elf_x86_64_non_lazy_plt_entry, /* plt_entry */
852 elf_x86_64_non_lazy_plt_entry, /* pic_plt_entry */
853 NON_LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
854 2, /* plt_got_offset */
855 6, /* plt_got_insn_size */
856 elf_x86_64_eh_frame_non_lazy_plt, /* eh_frame_plt */
857 sizeof (elf_x86_64_eh_frame_non_lazy_plt) /* eh_frame_plt_size */
860 static const struct elf_x86_lazy_plt_layout elf_x86_64_lazy_bnd_plt =
862 elf_x86_64_lazy_bnd_plt0_entry, /* plt0_entry */
863 LAZY_PLT_ENTRY_SIZE, /* plt0_entry_size */
864 elf_x86_64_lazy_bnd_plt_entry, /* plt_entry */
865 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
866 elf_x86_64_tlsdesc_plt_entry, /* plt_tlsdesc_entry */
867 LAZY_PLT_ENTRY_SIZE, /* plt_tlsdesc_entry_size */
868 6, /* plt_tlsdesc_got1_offset */
869 12, /* plt_tlsdesc_got2_offset */
870 10, /* plt_tlsdesc_got1_insn_end */
871 16, /* plt_tlsdesc_got2_insn_end */
872 2, /* plt0_got1_offset */
873 1+8, /* plt0_got2_offset */
874 1+12, /* plt0_got2_insn_end */
875 1+2, /* plt_got_offset */
876 1, /* plt_reloc_offset */
877 7, /* plt_plt_offset */
878 1+6, /* plt_got_insn_size */
879 11, /* plt_plt_insn_end */
880 0, /* plt_lazy_offset */
881 elf_x86_64_lazy_bnd_plt0_entry, /* pic_plt0_entry */
882 elf_x86_64_lazy_bnd_plt_entry, /* pic_plt_entry */
883 elf_x86_64_eh_frame_lazy_bnd_plt, /* eh_frame_plt */
884 sizeof (elf_x86_64_eh_frame_lazy_bnd_plt) /* eh_frame_plt_size */
887 static const struct elf_x86_non_lazy_plt_layout elf_x86_64_non_lazy_bnd_plt =
889 elf_x86_64_non_lazy_bnd_plt_entry, /* plt_entry */
890 elf_x86_64_non_lazy_bnd_plt_entry, /* pic_plt_entry */
891 NON_LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
892 1+2, /* plt_got_offset */
893 1+6, /* plt_got_insn_size */
894 elf_x86_64_eh_frame_non_lazy_plt, /* eh_frame_plt */
895 sizeof (elf_x86_64_eh_frame_non_lazy_plt) /* eh_frame_plt_size */
898 static const struct elf_x86_lazy_plt_layout elf_x86_64_lazy_ibt_plt =
900 elf_x86_64_lazy_bnd_plt0_entry, /* plt0_entry */
901 LAZY_PLT_ENTRY_SIZE, /* plt0_entry_size */
902 elf_x86_64_lazy_ibt_plt_entry, /* plt_entry */
903 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
904 elf_x86_64_tlsdesc_plt_entry, /* plt_tlsdesc_entry */
905 LAZY_PLT_ENTRY_SIZE, /* plt_tlsdesc_entry_size */
906 6, /* plt_tlsdesc_got1_offset */
907 12, /* plt_tlsdesc_got2_offset */
908 10, /* plt_tlsdesc_got1_insn_end */
909 16, /* plt_tlsdesc_got2_insn_end */
910 2, /* plt0_got1_offset */
911 1+8, /* plt0_got2_offset */
912 1+12, /* plt0_got2_insn_end */
913 4+1+2, /* plt_got_offset */
914 4+1, /* plt_reloc_offset */
915 4+1+6, /* plt_plt_offset */
916 4+1+6, /* plt_got_insn_size */
917 4+1+5+5, /* plt_plt_insn_end */
918 0, /* plt_lazy_offset */
919 elf_x86_64_lazy_bnd_plt0_entry, /* pic_plt0_entry */
920 elf_x86_64_lazy_ibt_plt_entry, /* pic_plt_entry */
921 elf_x86_64_eh_frame_lazy_ibt_plt, /* eh_frame_plt */
922 sizeof (elf_x86_64_eh_frame_lazy_ibt_plt) /* eh_frame_plt_size */
925 static const struct elf_x86_lazy_plt_layout elf_x32_lazy_ibt_plt =
927 elf_x86_64_lazy_plt0_entry, /* plt0_entry */
928 LAZY_PLT_ENTRY_SIZE, /* plt0_entry_size */
929 elf_x32_lazy_ibt_plt_entry, /* plt_entry */
930 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
931 elf_x86_64_tlsdesc_plt_entry, /* plt_tlsdesc_entry */
932 LAZY_PLT_ENTRY_SIZE, /* plt_tlsdesc_entry_size */
933 6, /* plt_tlsdesc_got1_offset */
934 12, /* plt_tlsdesc_got2_offset */
935 10, /* plt_tlsdesc_got1_insn_end */
936 16, /* plt_tlsdesc_got2_insn_end */
937 2, /* plt0_got1_offset */
938 8, /* plt0_got2_offset */
939 12, /* plt0_got2_insn_end */
940 4+2, /* plt_got_offset */
941 4+1, /* plt_reloc_offset */
942 4+6, /* plt_plt_offset */
943 4+6, /* plt_got_insn_size */
944 4+5+5, /* plt_plt_insn_end */
945 0, /* plt_lazy_offset */
946 elf_x86_64_lazy_plt0_entry, /* pic_plt0_entry */
947 elf_x32_lazy_ibt_plt_entry, /* pic_plt_entry */
948 elf_x32_eh_frame_lazy_ibt_plt, /* eh_frame_plt */
949 sizeof (elf_x32_eh_frame_lazy_ibt_plt) /* eh_frame_plt_size */
952 static const struct elf_x86_non_lazy_plt_layout elf_x86_64_non_lazy_ibt_plt =
954 elf_x86_64_non_lazy_ibt_plt_entry, /* plt_entry */
955 elf_x86_64_non_lazy_ibt_plt_entry, /* pic_plt_entry */
956 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
957 4+1+2, /* plt_got_offset */
958 4+1+6, /* plt_got_insn_size */
959 elf_x86_64_eh_frame_non_lazy_plt, /* eh_frame_plt */
960 sizeof (elf_x86_64_eh_frame_non_lazy_plt) /* eh_frame_plt_size */
963 static const struct elf_x86_non_lazy_plt_layout elf_x32_non_lazy_ibt_plt =
965 elf_x32_non_lazy_ibt_plt_entry, /* plt_entry */
966 elf_x32_non_lazy_ibt_plt_entry, /* pic_plt_entry */
967 LAZY_PLT_ENTRY_SIZE, /* plt_entry_size */
968 4+2, /* plt_got_offset */
969 4+6, /* plt_got_insn_size */
970 elf_x86_64_eh_frame_non_lazy_plt, /* eh_frame_plt */
971 sizeof (elf_x86_64_eh_frame_non_lazy_plt) /* eh_frame_plt_size */
975 static bool
976 elf64_x86_64_elf_object_p (bfd *abfd)
978 /* Set the right machine number for an x86-64 elf64 file. */
979 bfd_default_set_arch_mach (abfd, bfd_arch_i386, bfd_mach_x86_64);
980 return true;
983 static bool
984 elf32_x86_64_elf_object_p (bfd *abfd)
986 /* Set the right machine number for an x86-64 elf32 file. */
987 bfd_default_set_arch_mach (abfd, bfd_arch_i386, bfd_mach_x64_32);
988 return true;
991 /* Return TRUE if the TLS access code sequence support transition
992 from R_TYPE. */
994 static bool
995 elf_x86_64_check_tls_transition (bfd *abfd,
996 struct bfd_link_info *info,
997 asection *sec,
998 bfd_byte *contents,
999 Elf_Internal_Shdr *symtab_hdr,
1000 struct elf_link_hash_entry **sym_hashes,
1001 unsigned int r_type,
1002 const Elf_Internal_Rela *rel,
1003 const Elf_Internal_Rela *relend)
1005 unsigned int val;
1006 unsigned long r_symndx;
1007 bool largepic = false;
1008 struct elf_link_hash_entry *h;
1009 bfd_vma offset;
1010 struct elf_x86_link_hash_table *htab;
1011 bfd_byte *call;
1012 bool indirect_call;
1014 htab = elf_x86_hash_table (info, X86_64_ELF_DATA);
1015 offset = rel->r_offset;
1016 switch (r_type)
1018 case R_X86_64_TLSGD:
1019 case R_X86_64_TLSLD:
1020 if ((rel + 1) >= relend)
1021 return false;
1023 if (r_type == R_X86_64_TLSGD)
1025 /* Check transition from GD access model. For 64bit, only
1026 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
1027 .word 0x6666; rex64; call __tls_get_addr@PLT
1029 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
1030 .byte 0x66; rex64
1031 call *__tls_get_addr@GOTPCREL(%rip)
1032 which may be converted to
1033 addr32 call __tls_get_addr
1034 can transit to different access model. For 32bit, only
1035 leaq foo@tlsgd(%rip), %rdi
1036 .word 0x6666; rex64; call __tls_get_addr@PLT
1038 leaq foo@tlsgd(%rip), %rdi
1039 .byte 0x66; rex64
1040 call *__tls_get_addr@GOTPCREL(%rip)
1041 which may be converted to
1042 addr32 call __tls_get_addr
1043 can transit to different access model. For largepic,
1044 we also support:
1045 leaq foo@tlsgd(%rip), %rdi
1046 movabsq $__tls_get_addr@pltoff, %rax
1047 addq $r15, %rax
1048 call *%rax
1050 leaq foo@tlsgd(%rip), %rdi
1051 movabsq $__tls_get_addr@pltoff, %rax
1052 addq $rbx, %rax
1053 call *%rax */
1055 static const unsigned char leaq[] = { 0x66, 0x48, 0x8d, 0x3d };
1057 if ((offset + 12) > sec->size)
1058 return false;
1060 call = contents + offset + 4;
1061 if (call[0] != 0x66
1062 || !((call[1] == 0x48
1063 && call[2] == 0xff
1064 && call[3] == 0x15)
1065 || (call[1] == 0x48
1066 && call[2] == 0x67
1067 && call[3] == 0xe8)
1068 || (call[1] == 0x66
1069 && call[2] == 0x48
1070 && call[3] == 0xe8)))
1072 if (!ABI_64_P (abfd)
1073 || (offset + 19) > sec->size
1074 || offset < 3
1075 || memcmp (call - 7, leaq + 1, 3) != 0
1076 || memcmp (call, "\x48\xb8", 2) != 0
1077 || call[11] != 0x01
1078 || call[13] != 0xff
1079 || call[14] != 0xd0
1080 || !((call[10] == 0x48 && call[12] == 0xd8)
1081 || (call[10] == 0x4c && call[12] == 0xf8)))
1082 return false;
1083 largepic = true;
1085 else if (ABI_64_P (abfd))
1087 if (offset < 4
1088 || memcmp (contents + offset - 4, leaq, 4) != 0)
1089 return false;
1091 else
1093 if (offset < 3
1094 || memcmp (contents + offset - 3, leaq + 1, 3) != 0)
1095 return false;
1097 indirect_call = call[2] == 0xff;
1099 else
1101 /* Check transition from LD access model. Only
1102 leaq foo@tlsld(%rip), %rdi;
1103 call __tls_get_addr@PLT
1105 leaq foo@tlsld(%rip), %rdi;
1106 call *__tls_get_addr@GOTPCREL(%rip)
1107 which may be converted to
1108 addr32 call __tls_get_addr
1109 can transit to different access model. For largepic
1110 we also support:
1111 leaq foo@tlsld(%rip), %rdi
1112 movabsq $__tls_get_addr@pltoff, %rax
1113 addq $r15, %rax
1114 call *%rax
1116 leaq foo@tlsld(%rip), %rdi
1117 movabsq $__tls_get_addr@pltoff, %rax
1118 addq $rbx, %rax
1119 call *%rax */
1121 static const unsigned char lea[] = { 0x48, 0x8d, 0x3d };
1123 if (offset < 3 || (offset + 9) > sec->size)
1124 return false;
1126 if (memcmp (contents + offset - 3, lea, 3) != 0)
1127 return false;
1129 call = contents + offset + 4;
1130 if (!(call[0] == 0xe8
1131 || (call[0] == 0xff && call[1] == 0x15)
1132 || (call[0] == 0x67 && call[1] == 0xe8)))
1134 if (!ABI_64_P (abfd)
1135 || (offset + 19) > sec->size
1136 || memcmp (call, "\x48\xb8", 2) != 0
1137 || call[11] != 0x01
1138 || call[13] != 0xff
1139 || call[14] != 0xd0
1140 || !((call[10] == 0x48 && call[12] == 0xd8)
1141 || (call[10] == 0x4c && call[12] == 0xf8)))
1142 return false;
1143 largepic = true;
1145 indirect_call = call[0] == 0xff;
1148 r_symndx = htab->r_sym (rel[1].r_info);
1149 if (r_symndx < symtab_hdr->sh_info)
1150 return false;
1152 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1153 if (h == NULL
1154 || !((struct elf_x86_link_hash_entry *) h)->tls_get_addr)
1155 return false;
1156 else
1158 r_type = (ELF32_R_TYPE (rel[1].r_info)
1159 & ~R_X86_64_converted_reloc_bit);
1160 if (largepic)
1161 return r_type == R_X86_64_PLTOFF64;
1162 else if (indirect_call)
1163 return r_type == R_X86_64_GOTPCRELX;
1164 else
1165 return (r_type == R_X86_64_PC32 || r_type == R_X86_64_PLT32);
1168 case R_X86_64_GOTTPOFF:
1169 /* Check transition from IE access model:
1170 mov foo@gottpoff(%rip), %reg
1171 add foo@gottpoff(%rip), %reg
1174 /* Check REX prefix first. */
1175 if (offset >= 3 && (offset + 4) <= sec->size)
1177 val = bfd_get_8 (abfd, contents + offset - 3);
1178 if (val != 0x48 && val != 0x4c)
1180 /* X32 may have 0x44 REX prefix or no REX prefix. */
1181 if (ABI_64_P (abfd))
1182 return false;
1185 else
1187 /* X32 may not have any REX prefix. */
1188 if (ABI_64_P (abfd))
1189 return false;
1190 if (offset < 2 || (offset + 3) > sec->size)
1191 return false;
1194 val = bfd_get_8 (abfd, contents + offset - 2);
1195 if (val != 0x8b && val != 0x03)
1196 return false;
1198 val = bfd_get_8 (abfd, contents + offset - 1);
1199 return (val & 0xc7) == 5;
1201 case R_X86_64_GOTPC32_TLSDESC:
1202 /* Check transition from GDesc access model:
1203 leaq x@tlsdesc(%rip), %rax <--- LP64 mode.
1204 rex leal x@tlsdesc(%rip), %eax <--- X32 mode.
1206 Make sure it's a leaq adding rip to a 32-bit offset
1207 into any register, although it's probably almost always
1208 going to be rax. */
1210 if (offset < 3 || (offset + 4) > sec->size)
1211 return false;
1213 val = bfd_get_8 (abfd, contents + offset - 3);
1214 val &= 0xfb;
1215 if (val != 0x48 && (ABI_64_P (abfd) || val != 0x40))
1216 return false;
1218 if (bfd_get_8 (abfd, contents + offset - 2) != 0x8d)
1219 return false;
1221 val = bfd_get_8 (abfd, contents + offset - 1);
1222 return (val & 0xc7) == 0x05;
1224 case R_X86_64_TLSDESC_CALL:
1225 /* Check transition from GDesc access model:
1226 call *x@tlsdesc(%rax) <--- LP64 mode.
1227 call *x@tlsdesc(%eax) <--- X32 mode.
1229 if (offset + 2 <= sec->size)
1231 unsigned int prefix;
1232 call = contents + offset;
1233 prefix = 0;
1234 if (!ABI_64_P (abfd))
1236 /* Check for call *x@tlsdesc(%eax). */
1237 if (call[0] == 0x67)
1239 prefix = 1;
1240 if (offset + 3 > sec->size)
1241 return false;
1244 /* Make sure that it's a call *x@tlsdesc(%rax). */
1245 return call[prefix] == 0xff && call[1 + prefix] == 0x10;
1248 return false;
1250 default:
1251 abort ();
1255 /* Return TRUE if the TLS access transition is OK or no transition
1256 will be performed. Update R_TYPE if there is a transition. */
1258 static bool
1259 elf_x86_64_tls_transition (struct bfd_link_info *info, bfd *abfd,
1260 asection *sec, bfd_byte *contents,
1261 Elf_Internal_Shdr *symtab_hdr,
1262 struct elf_link_hash_entry **sym_hashes,
1263 unsigned int *r_type, int tls_type,
1264 const Elf_Internal_Rela *rel,
1265 const Elf_Internal_Rela *relend,
1266 struct elf_link_hash_entry *h,
1267 unsigned long r_symndx,
1268 bool from_relocate_section)
1270 unsigned int from_type = *r_type;
1271 unsigned int to_type = from_type;
1272 bool check = true;
1274 /* Skip TLS transition for functions. */
1275 if (h != NULL
1276 && (h->type == STT_FUNC
1277 || h->type == STT_GNU_IFUNC))
1278 return true;
1280 switch (from_type)
1282 case R_X86_64_TLSGD:
1283 case R_X86_64_GOTPC32_TLSDESC:
1284 case R_X86_64_TLSDESC_CALL:
1285 case R_X86_64_GOTTPOFF:
1286 if (bfd_link_executable (info))
1288 if (h == NULL)
1289 to_type = R_X86_64_TPOFF32;
1290 else
1291 to_type = R_X86_64_GOTTPOFF;
1294 /* When we are called from elf_x86_64_relocate_section, there may
1295 be additional transitions based on TLS_TYPE. */
1296 if (from_relocate_section)
1298 unsigned int new_to_type = to_type;
1300 if (TLS_TRANSITION_IE_TO_LE_P (info, h, tls_type))
1301 new_to_type = R_X86_64_TPOFF32;
1303 if (to_type == R_X86_64_TLSGD
1304 || to_type == R_X86_64_GOTPC32_TLSDESC
1305 || to_type == R_X86_64_TLSDESC_CALL)
1307 if (tls_type == GOT_TLS_IE)
1308 new_to_type = R_X86_64_GOTTPOFF;
1311 /* We checked the transition before when we were called from
1312 elf_x86_64_scan_relocs. We only want to check the new
1313 transition which hasn't been checked before. */
1314 check = new_to_type != to_type && from_type == to_type;
1315 to_type = new_to_type;
1318 break;
1320 case R_X86_64_TLSLD:
1321 if (bfd_link_executable (info))
1322 to_type = R_X86_64_TPOFF32;
1323 break;
1325 default:
1326 return true;
1329 /* Return TRUE if there is no transition. */
1330 if (from_type == to_type)
1331 return true;
1333 /* Check if the transition can be performed. */
1334 if (check
1335 && ! elf_x86_64_check_tls_transition (abfd, info, sec, contents,
1336 symtab_hdr, sym_hashes,
1337 from_type, rel, relend))
1339 reloc_howto_type *from, *to;
1340 const char *name;
1342 from = elf_x86_64_rtype_to_howto (abfd, from_type);
1343 to = elf_x86_64_rtype_to_howto (abfd, to_type);
1345 if (from == NULL || to == NULL)
1346 return false;
1348 if (h)
1349 name = h->root.root.string;
1350 else
1352 struct elf_x86_link_hash_table *htab;
1354 htab = elf_x86_hash_table (info, X86_64_ELF_DATA);
1355 if (htab == NULL)
1356 name = "*unknown*";
1357 else
1359 Elf_Internal_Sym *isym;
1361 isym = bfd_sym_from_r_symndx (&htab->elf.sym_cache,
1362 abfd, r_symndx);
1363 name = bfd_elf_sym_name (abfd, symtab_hdr, isym, NULL);
1367 _bfd_error_handler
1368 /* xgettext:c-format */
1369 (_("%pB: TLS transition from %s to %s against `%s' at %#" PRIx64
1370 " in section `%pA' failed"),
1371 abfd, from->name, to->name, name, (uint64_t) rel->r_offset, sec);
1372 bfd_set_error (bfd_error_bad_value);
1373 return false;
1376 *r_type = to_type;
1377 return true;
1380 static bool
1381 elf_x86_64_need_pic (struct bfd_link_info *info,
1382 bfd *input_bfd, asection *sec,
1383 struct elf_link_hash_entry *h,
1384 Elf_Internal_Shdr *symtab_hdr,
1385 Elf_Internal_Sym *isym,
1386 reloc_howto_type *howto)
1388 const char *v = "";
1389 const char *und = "";
1390 const char *pic = "";
1391 const char *object;
1393 const char *name;
1394 if (h)
1396 name = h->root.root.string;
1397 switch (ELF_ST_VISIBILITY (h->other))
1399 case STV_HIDDEN:
1400 v = _("hidden symbol ");
1401 break;
1402 case STV_INTERNAL:
1403 v = _("internal symbol ");
1404 break;
1405 case STV_PROTECTED:
1406 v = _("protected symbol ");
1407 break;
1408 default:
1409 if (((struct elf_x86_link_hash_entry *) h)->def_protected)
1410 v = _("protected symbol ");
1411 else
1412 v = _("symbol ");
1413 pic = NULL;
1414 break;
1417 if (!SYMBOL_DEFINED_NON_SHARED_P (h) && !h->def_dynamic)
1418 und = _("undefined ");
1420 else
1422 name = bfd_elf_sym_name (input_bfd, symtab_hdr, isym, NULL);
1423 pic = NULL;
1426 if (bfd_link_dll (info))
1428 object = _("a shared object");
1429 if (!pic)
1430 pic = _("; recompile with -fPIC");
1432 else
1434 if (bfd_link_pie (info))
1435 object = _("a PIE object");
1436 else
1437 object = _("a PDE object");
1438 if (!pic)
1439 pic = _("; recompile with -fPIE");
1442 /* xgettext:c-format */
1443 _bfd_error_handler (_("%pB: relocation %s against %s%s`%s' can "
1444 "not be used when making %s%s"),
1445 input_bfd, howto->name, und, v, name,
1446 object, pic);
1447 bfd_set_error (bfd_error_bad_value);
1448 sec->check_relocs_failed = 1;
1449 return false;
1452 /* With the local symbol, foo, we convert
1453 mov foo@GOTPCREL(%rip), %reg
1455 lea foo(%rip), %reg
1456 and convert
1457 call/jmp *foo@GOTPCREL(%rip)
1459 nop call foo/jmp foo nop
1460 When PIC is false, convert
1461 test %reg, foo@GOTPCREL(%rip)
1463 test $foo, %reg
1464 and convert
1465 binop foo@GOTPCREL(%rip), %reg
1467 binop $foo, %reg
1468 where binop is one of adc, add, and, cmp, or, sbb, sub, xor
1469 instructions. */
1471 static bool
1472 elf_x86_64_convert_load_reloc (bfd *abfd,
1473 bfd_byte *contents,
1474 unsigned int *r_type_p,
1475 Elf_Internal_Rela *irel,
1476 struct elf_link_hash_entry *h,
1477 bool *converted,
1478 struct bfd_link_info *link_info)
1480 struct elf_x86_link_hash_table *htab;
1481 bool is_pic;
1482 bool no_overflow;
1483 bool relocx;
1484 bool to_reloc_pc32;
1485 bool abs_symbol;
1486 bool local_ref;
1487 asection *tsec;
1488 bfd_signed_vma raddend;
1489 unsigned int opcode;
1490 unsigned int modrm;
1491 unsigned int r_type = *r_type_p;
1492 unsigned int r_symndx;
1493 bfd_vma roff = irel->r_offset;
1494 bfd_vma abs_relocation;
1496 if (roff < (r_type == R_X86_64_REX_GOTPCRELX ? 3 : 2))
1497 return true;
1499 raddend = irel->r_addend;
1500 /* Addend for 32-bit PC-relative relocation must be -4. */
1501 if (raddend != -4)
1502 return true;
1504 htab = elf_x86_hash_table (link_info, X86_64_ELF_DATA);
1505 is_pic = bfd_link_pic (link_info);
1507 relocx = (r_type == R_X86_64_GOTPCRELX
1508 || r_type == R_X86_64_REX_GOTPCRELX);
1510 /* TRUE if --no-relax is used. */
1511 no_overflow = link_info->disable_target_specific_optimizations > 1;
1513 r_symndx = htab->r_sym (irel->r_info);
1515 opcode = bfd_get_8 (abfd, contents + roff - 2);
1517 /* Convert mov to lea since it has been done for a while. */
1518 if (opcode != 0x8b)
1520 /* Only convert R_X86_64_GOTPCRELX and R_X86_64_REX_GOTPCRELX
1521 for call, jmp or one of adc, add, and, cmp, or, sbb, sub,
1522 test, xor instructions. */
1523 if (!relocx)
1524 return true;
1527 /* We convert only to R_X86_64_PC32:
1528 1. Branch.
1529 2. R_X86_64_GOTPCREL since we can't modify REX byte.
1530 3. no_overflow is true.
1531 4. PIC.
1533 to_reloc_pc32 = (opcode == 0xff
1534 || !relocx
1535 || no_overflow
1536 || is_pic);
1538 abs_symbol = false;
1539 abs_relocation = 0;
1541 /* Get the symbol referred to by the reloc. */
1542 if (h == NULL)
1544 Elf_Internal_Sym *isym
1545 = bfd_sym_from_r_symndx (&htab->elf.sym_cache, abfd, r_symndx);
1547 /* Skip relocation against undefined symbols. */
1548 if (isym->st_shndx == SHN_UNDEF)
1549 return true;
1551 local_ref = true;
1552 if (isym->st_shndx == SHN_ABS)
1554 tsec = bfd_abs_section_ptr;
1555 abs_symbol = true;
1556 abs_relocation = isym->st_value;
1558 else if (isym->st_shndx == SHN_COMMON)
1559 tsec = bfd_com_section_ptr;
1560 else if (isym->st_shndx == SHN_X86_64_LCOMMON)
1561 tsec = &_bfd_elf_large_com_section;
1562 else
1563 tsec = bfd_section_from_elf_index (abfd, isym->st_shndx);
1565 else
1567 /* Undefined weak symbol is only bound locally in executable
1568 and its reference is resolved as 0 without relocation
1569 overflow. We can only perform this optimization for
1570 GOTPCRELX relocations since we need to modify REX byte.
1571 It is OK convert mov with R_X86_64_GOTPCREL to
1572 R_X86_64_PC32. */
1573 struct elf_x86_link_hash_entry *eh = elf_x86_hash_entry (h);
1575 abs_symbol = ABS_SYMBOL_P (h);
1576 abs_relocation = h->root.u.def.value;
1578 /* NB: Also set linker_def via SYMBOL_REFERENCES_LOCAL_P. */
1579 local_ref = SYMBOL_REFERENCES_LOCAL_P (link_info, h);
1580 if ((relocx || opcode == 0x8b)
1581 && (h->root.type == bfd_link_hash_undefweak
1582 && !eh->linker_def
1583 && local_ref))
1585 if (opcode == 0xff)
1587 /* Skip for branch instructions since R_X86_64_PC32
1588 may overflow. */
1589 if (no_overflow)
1590 return true;
1592 else if (relocx)
1594 /* For non-branch instructions, we can convert to
1595 R_X86_64_32/R_X86_64_32S since we know if there
1596 is a REX byte. */
1597 to_reloc_pc32 = false;
1600 /* Since we don't know the current PC when PIC is true,
1601 we can't convert to R_X86_64_PC32. */
1602 if (to_reloc_pc32 && is_pic)
1603 return true;
1605 goto convert;
1607 /* Avoid optimizing GOTPCREL relocations againt _DYNAMIC since
1608 ld.so may use its link-time address. */
1609 else if (h->start_stop
1610 || eh->linker_def
1611 || ((h->def_regular
1612 || h->root.type == bfd_link_hash_defined
1613 || h->root.type == bfd_link_hash_defweak)
1614 && h != htab->elf.hdynamic
1615 && local_ref))
1617 /* bfd_link_hash_new or bfd_link_hash_undefined is
1618 set by an assignment in a linker script in
1619 bfd_elf_record_link_assignment. start_stop is set
1620 on __start_SECNAME/__stop_SECNAME which mark section
1621 SECNAME. */
1622 if (h->start_stop
1623 || eh->linker_def
1624 || (h->def_regular
1625 && (h->root.type == bfd_link_hash_new
1626 || h->root.type == bfd_link_hash_undefined
1627 || ((h->root.type == bfd_link_hash_defined
1628 || h->root.type == bfd_link_hash_defweak)
1629 && h->root.u.def.section == bfd_und_section_ptr))))
1631 /* Skip since R_X86_64_32/R_X86_64_32S may overflow. */
1632 if (no_overflow)
1633 return true;
1634 goto convert;
1636 tsec = h->root.u.def.section;
1638 else
1639 return true;
1642 /* Don't convert GOTPCREL relocation against large section. */
1643 if (elf_section_data (tsec) != NULL
1644 && (elf_section_flags (tsec) & SHF_X86_64_LARGE) != 0)
1645 return true;
1647 /* Skip since R_X86_64_PC32/R_X86_64_32/R_X86_64_32S may overflow. */
1648 if (no_overflow)
1649 return true;
1651 convert:
1652 if (opcode == 0xff)
1654 /* We have "call/jmp *foo@GOTPCREL(%rip)". */
1655 unsigned int nop;
1656 unsigned int disp;
1657 bfd_vma nop_offset;
1659 /* Convert R_X86_64_GOTPCRELX and R_X86_64_REX_GOTPCRELX to
1660 R_X86_64_PC32. */
1661 modrm = bfd_get_8 (abfd, contents + roff - 1);
1662 if (modrm == 0x25)
1664 /* Convert to "jmp foo nop". */
1665 modrm = 0xe9;
1666 nop = NOP_OPCODE;
1667 nop_offset = irel->r_offset + 3;
1668 disp = bfd_get_32 (abfd, contents + irel->r_offset);
1669 irel->r_offset -= 1;
1670 bfd_put_32 (abfd, disp, contents + irel->r_offset);
1672 else
1674 struct elf_x86_link_hash_entry *eh
1675 = (struct elf_x86_link_hash_entry *) h;
1677 /* Convert to "nop call foo". ADDR_PREFIX_OPCODE
1678 is a nop prefix. */
1679 modrm = 0xe8;
1680 /* To support TLS optimization, always use addr32 prefix for
1681 "call *__tls_get_addr@GOTPCREL(%rip)". */
1682 if (eh && eh->tls_get_addr)
1684 nop = 0x67;
1685 nop_offset = irel->r_offset - 2;
1687 else
1689 nop = htab->params->call_nop_byte;
1690 if (htab->params->call_nop_as_suffix)
1692 nop_offset = irel->r_offset + 3;
1693 disp = bfd_get_32 (abfd, contents + irel->r_offset);
1694 irel->r_offset -= 1;
1695 bfd_put_32 (abfd, disp, contents + irel->r_offset);
1697 else
1698 nop_offset = irel->r_offset - 2;
1701 bfd_put_8 (abfd, nop, contents + nop_offset);
1702 bfd_put_8 (abfd, modrm, contents + irel->r_offset - 1);
1703 r_type = R_X86_64_PC32;
1705 else
1707 unsigned int rex;
1708 unsigned int rex_mask = REX_R;
1710 if (r_type == R_X86_64_REX_GOTPCRELX)
1711 rex = bfd_get_8 (abfd, contents + roff - 3);
1712 else
1713 rex = 0;
1715 if (opcode == 0x8b)
1717 if (abs_symbol && local_ref && relocx)
1718 to_reloc_pc32 = false;
1720 if (to_reloc_pc32)
1722 /* Convert "mov foo@GOTPCREL(%rip), %reg" to
1723 "lea foo(%rip), %reg". */
1724 opcode = 0x8d;
1725 r_type = R_X86_64_PC32;
1727 else
1729 /* Convert "mov foo@GOTPCREL(%rip), %reg" to
1730 "mov $foo, %reg". */
1731 opcode = 0xc7;
1732 modrm = bfd_get_8 (abfd, contents + roff - 1);
1733 modrm = 0xc0 | (modrm & 0x38) >> 3;
1734 if ((rex & REX_W) != 0
1735 && ABI_64_P (link_info->output_bfd))
1737 /* Keep the REX_W bit in REX byte for LP64. */
1738 r_type = R_X86_64_32S;
1739 goto rewrite_modrm_rex;
1741 else
1743 /* If the REX_W bit in REX byte isn't needed,
1744 use R_X86_64_32 and clear the W bit to avoid
1745 sign-extend imm32 to imm64. */
1746 r_type = R_X86_64_32;
1747 /* Clear the W bit in REX byte. */
1748 rex_mask |= REX_W;
1749 goto rewrite_modrm_rex;
1753 else
1755 /* R_X86_64_PC32 isn't supported. */
1756 if (to_reloc_pc32)
1757 return true;
1759 modrm = bfd_get_8 (abfd, contents + roff - 1);
1760 if (opcode == 0x85)
1762 /* Convert "test %reg, foo@GOTPCREL(%rip)" to
1763 "test $foo, %reg". */
1764 modrm = 0xc0 | (modrm & 0x38) >> 3;
1765 opcode = 0xf7;
1767 else
1769 /* Convert "binop foo@GOTPCREL(%rip), %reg" to
1770 "binop $foo, %reg". */
1771 modrm = 0xc0 | (modrm & 0x38) >> 3 | (opcode & 0x3c);
1772 opcode = 0x81;
1775 /* Use R_X86_64_32 with 32-bit operand to avoid relocation
1776 overflow when sign-extending imm32 to imm64. */
1777 r_type = (rex & REX_W) != 0 ? R_X86_64_32S : R_X86_64_32;
1779 rewrite_modrm_rex:
1780 if (abs_relocation)
1782 /* Check if R_X86_64_32S/R_X86_64_32 fits. */
1783 if (r_type == R_X86_64_32S)
1785 if ((abs_relocation + 0x80000000) > 0xffffffff)
1786 return true;
1788 else
1790 if (abs_relocation > 0xffffffff)
1791 return true;
1795 bfd_put_8 (abfd, modrm, contents + roff - 1);
1797 if (rex)
1799 /* Move the R bit to the B bit in REX byte. */
1800 rex = (rex & ~rex_mask) | (rex & REX_R) >> 2;
1801 bfd_put_8 (abfd, rex, contents + roff - 3);
1804 /* No addend for R_X86_64_32/R_X86_64_32S relocations. */
1805 irel->r_addend = 0;
1808 bfd_put_8 (abfd, opcode, contents + roff - 2);
1811 *r_type_p = r_type;
1812 irel->r_info = htab->r_info (r_symndx,
1813 r_type | R_X86_64_converted_reloc_bit);
1815 *converted = true;
1817 return true;
1820 /* Look through the relocs for a section during the first phase, and
1821 calculate needed space in the global offset table, and procedure
1822 linkage table. */
1824 static bool
1825 elf_x86_64_scan_relocs (bfd *abfd, struct bfd_link_info *info,
1826 asection *sec,
1827 const Elf_Internal_Rela *relocs)
1829 struct elf_x86_link_hash_table *htab;
1830 Elf_Internal_Shdr *symtab_hdr;
1831 struct elf_link_hash_entry **sym_hashes;
1832 const Elf_Internal_Rela *rel;
1833 const Elf_Internal_Rela *rel_end;
1834 bfd_byte *contents;
1835 bool converted;
1837 if (bfd_link_relocatable (info))
1838 return true;
1840 htab = elf_x86_hash_table (info, X86_64_ELF_DATA);
1841 if (htab == NULL)
1843 sec->check_relocs_failed = 1;
1844 return false;
1847 BFD_ASSERT (is_x86_elf (abfd, htab));
1849 /* Get the section contents. */
1850 if (elf_section_data (sec)->this_hdr.contents != NULL)
1851 contents = elf_section_data (sec)->this_hdr.contents;
1852 else if (!bfd_malloc_and_get_section (abfd, sec, &contents))
1854 sec->check_relocs_failed = 1;
1855 return false;
1858 symtab_hdr = &elf_symtab_hdr (abfd);
1859 sym_hashes = elf_sym_hashes (abfd);
1861 converted = false;
1863 rel_end = relocs + sec->reloc_count;
1864 for (rel = relocs; rel < rel_end; rel++)
1866 unsigned int r_type;
1867 unsigned int r_symndx;
1868 struct elf_link_hash_entry *h;
1869 struct elf_x86_link_hash_entry *eh;
1870 Elf_Internal_Sym *isym;
1871 const char *name;
1872 bool size_reloc;
1873 bool converted_reloc;
1874 bool no_dynreloc;
1876 r_symndx = htab->r_sym (rel->r_info);
1877 r_type = ELF32_R_TYPE (rel->r_info);
1879 if (r_symndx >= NUM_SHDR_ENTRIES (symtab_hdr))
1881 /* xgettext:c-format */
1882 _bfd_error_handler (_("%pB: bad symbol index: %d"),
1883 abfd, r_symndx);
1884 goto error_return;
1887 if (r_symndx < symtab_hdr->sh_info)
1889 /* A local symbol. */
1890 isym = bfd_sym_from_r_symndx (&htab->elf.sym_cache,
1891 abfd, r_symndx);
1892 if (isym == NULL)
1893 goto error_return;
1895 /* Check relocation against local STT_GNU_IFUNC symbol. */
1896 if (ELF_ST_TYPE (isym->st_info) == STT_GNU_IFUNC)
1898 h = _bfd_elf_x86_get_local_sym_hash (htab, abfd, rel,
1899 true);
1900 if (h == NULL)
1901 goto error_return;
1903 /* Fake a STT_GNU_IFUNC symbol. */
1904 h->root.root.string = bfd_elf_sym_name (abfd, symtab_hdr,
1905 isym, NULL);
1906 h->type = STT_GNU_IFUNC;
1907 h->def_regular = 1;
1908 h->ref_regular = 1;
1909 h->forced_local = 1;
1910 h->root.type = bfd_link_hash_defined;
1912 else
1913 h = NULL;
1915 else
1917 isym = NULL;
1918 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1919 while (h->root.type == bfd_link_hash_indirect
1920 || h->root.type == bfd_link_hash_warning)
1921 h = (struct elf_link_hash_entry *) h->root.u.i.link;
1924 /* Check invalid x32 relocations. */
1925 if (!ABI_64_P (abfd))
1926 switch (r_type)
1928 default:
1929 break;
1931 case R_X86_64_DTPOFF64:
1932 case R_X86_64_TPOFF64:
1933 case R_X86_64_PC64:
1934 case R_X86_64_GOTOFF64:
1935 case R_X86_64_GOT64:
1936 case R_X86_64_GOTPCREL64:
1937 case R_X86_64_GOTPC64:
1938 case R_X86_64_GOTPLT64:
1939 case R_X86_64_PLTOFF64:
1941 if (h)
1942 name = h->root.root.string;
1943 else
1944 name = bfd_elf_sym_name (abfd, symtab_hdr, isym,
1945 NULL);
1946 _bfd_error_handler
1947 /* xgettext:c-format */
1948 (_("%pB: relocation %s against symbol `%s' isn't "
1949 "supported in x32 mode"), abfd,
1950 x86_64_elf_howto_table[r_type].name, name);
1951 bfd_set_error (bfd_error_bad_value);
1952 goto error_return;
1954 break;
1957 eh = (struct elf_x86_link_hash_entry *) h;
1959 if (h != NULL)
1961 /* It is referenced by a non-shared object. */
1962 h->ref_regular = 1;
1965 converted_reloc = false;
1966 if ((r_type == R_X86_64_GOTPCREL
1967 || r_type == R_X86_64_GOTPCRELX
1968 || r_type == R_X86_64_REX_GOTPCRELX)
1969 && (h == NULL || h->type != STT_GNU_IFUNC))
1971 Elf_Internal_Rela *irel = (Elf_Internal_Rela *) rel;
1972 if (!elf_x86_64_convert_load_reloc (abfd, contents, &r_type,
1973 irel, h, &converted_reloc,
1974 info))
1975 goto error_return;
1977 if (converted_reloc)
1978 converted = true;
1981 if (!_bfd_elf_x86_valid_reloc_p (sec, info, htab, rel, h, isym,
1982 symtab_hdr, &no_dynreloc))
1983 return false;
1985 if (! elf_x86_64_tls_transition (info, abfd, sec, contents,
1986 symtab_hdr, sym_hashes,
1987 &r_type, GOT_UNKNOWN,
1988 rel, rel_end, h, r_symndx, false))
1989 goto error_return;
1991 /* Check if _GLOBAL_OFFSET_TABLE_ is referenced. */
1992 if (h == htab->elf.hgot)
1993 htab->got_referenced = true;
1995 switch (r_type)
1997 case R_X86_64_TLSLD:
1998 htab->tls_ld_or_ldm_got.refcount = 1;
1999 goto create_got;
2001 case R_X86_64_TPOFF32:
2002 if (!bfd_link_executable (info) && ABI_64_P (abfd))
2003 return elf_x86_64_need_pic (info, abfd, sec, h, symtab_hdr, isym,
2004 &x86_64_elf_howto_table[r_type]);
2005 if (eh != NULL)
2006 eh->zero_undefweak &= 0x2;
2007 break;
2009 case R_X86_64_GOTTPOFF:
2010 if (!bfd_link_executable (info))
2011 info->flags |= DF_STATIC_TLS;
2012 /* Fall through */
2014 case R_X86_64_GOT32:
2015 case R_X86_64_GOTPCREL:
2016 case R_X86_64_GOTPCRELX:
2017 case R_X86_64_REX_GOTPCRELX:
2018 case R_X86_64_TLSGD:
2019 case R_X86_64_GOT64:
2020 case R_X86_64_GOTPCREL64:
2021 case R_X86_64_GOTPLT64:
2022 case R_X86_64_GOTPC32_TLSDESC:
2023 case R_X86_64_TLSDESC_CALL:
2024 /* This symbol requires a global offset table entry. */
2026 int tls_type, old_tls_type;
2028 switch (r_type)
2030 default:
2031 tls_type = GOT_NORMAL;
2032 if (h)
2034 if (ABS_SYMBOL_P (h))
2035 tls_type = GOT_ABS;
2037 else if (isym->st_shndx == SHN_ABS)
2038 tls_type = GOT_ABS;
2039 break;
2040 case R_X86_64_TLSGD:
2041 tls_type = GOT_TLS_GD;
2042 break;
2043 case R_X86_64_GOTTPOFF:
2044 tls_type = GOT_TLS_IE;
2045 break;
2046 case R_X86_64_GOTPC32_TLSDESC:
2047 case R_X86_64_TLSDESC_CALL:
2048 tls_type = GOT_TLS_GDESC;
2049 break;
2052 if (h != NULL)
2054 h->got.refcount = 1;
2055 old_tls_type = eh->tls_type;
2057 else
2059 bfd_signed_vma *local_got_refcounts;
2061 if (!elf_x86_allocate_local_got_info (abfd,
2062 symtab_hdr->sh_info))
2063 goto error_return;
2065 /* This is a global offset table entry for a local symbol. */
2066 local_got_refcounts = elf_local_got_refcounts (abfd);
2067 local_got_refcounts[r_symndx] = 1;
2068 old_tls_type
2069 = elf_x86_local_got_tls_type (abfd) [r_symndx];
2072 /* If a TLS symbol is accessed using IE at least once,
2073 there is no point to use dynamic model for it. */
2074 if (old_tls_type != tls_type && old_tls_type != GOT_UNKNOWN
2075 && (! GOT_TLS_GD_ANY_P (old_tls_type)
2076 || tls_type != GOT_TLS_IE))
2078 if (old_tls_type == GOT_TLS_IE && GOT_TLS_GD_ANY_P (tls_type))
2079 tls_type = old_tls_type;
2080 else if (GOT_TLS_GD_ANY_P (old_tls_type)
2081 && GOT_TLS_GD_ANY_P (tls_type))
2082 tls_type |= old_tls_type;
2083 else
2085 if (h)
2086 name = h->root.root.string;
2087 else
2088 name = bfd_elf_sym_name (abfd, symtab_hdr,
2089 isym, NULL);
2090 _bfd_error_handler
2091 /* xgettext:c-format */
2092 (_("%pB: '%s' accessed both as normal and"
2093 " thread local symbol"),
2094 abfd, name);
2095 bfd_set_error (bfd_error_bad_value);
2096 goto error_return;
2100 if (old_tls_type != tls_type)
2102 if (eh != NULL)
2103 eh->tls_type = tls_type;
2104 else
2105 elf_x86_local_got_tls_type (abfd) [r_symndx] = tls_type;
2108 /* Fall through */
2110 case R_X86_64_GOTOFF64:
2111 case R_X86_64_GOTPC32:
2112 case R_X86_64_GOTPC64:
2113 create_got:
2114 if (eh != NULL)
2115 eh->zero_undefweak &= 0x2;
2116 break;
2118 case R_X86_64_PLT32:
2119 case R_X86_64_PLT32_BND:
2120 /* This symbol requires a procedure linkage table entry. We
2121 actually build the entry in adjust_dynamic_symbol,
2122 because this might be a case of linking PIC code which is
2123 never referenced by a dynamic object, in which case we
2124 don't need to generate a procedure linkage table entry
2125 after all. */
2127 /* If this is a local symbol, we resolve it directly without
2128 creating a procedure linkage table entry. */
2129 if (h == NULL)
2130 continue;
2132 eh->zero_undefweak &= 0x2;
2133 h->needs_plt = 1;
2134 h->plt.refcount = 1;
2135 break;
2137 case R_X86_64_PLTOFF64:
2138 /* This tries to form the 'address' of a function relative
2139 to GOT. For global symbols we need a PLT entry. */
2140 if (h != NULL)
2142 h->needs_plt = 1;
2143 h->plt.refcount = 1;
2145 goto create_got;
2147 case R_X86_64_SIZE32:
2148 case R_X86_64_SIZE64:
2149 size_reloc = true;
2150 goto do_size;
2152 case R_X86_64_32:
2153 if (!ABI_64_P (abfd))
2154 goto pointer;
2155 /* Fall through. */
2156 case R_X86_64_8:
2157 case R_X86_64_16:
2158 case R_X86_64_32S:
2159 /* Check relocation overflow as these relocs may lead to
2160 run-time relocation overflow. Don't error out for
2161 sections we don't care about, such as debug sections or
2162 when relocation overflow check is disabled. */
2163 if (!htab->params->no_reloc_overflow_check
2164 && !converted_reloc
2165 && (bfd_link_pic (info)
2166 || (bfd_link_executable (info)
2167 && h != NULL
2168 && !h->def_regular
2169 && h->def_dynamic
2170 && (sec->flags & SEC_READONLY) == 0)))
2171 return elf_x86_64_need_pic (info, abfd, sec, h, symtab_hdr, isym,
2172 &x86_64_elf_howto_table[r_type]);
2173 /* Fall through. */
2175 case R_X86_64_PC8:
2176 case R_X86_64_PC16:
2177 case R_X86_64_PC32:
2178 case R_X86_64_PC32_BND:
2179 case R_X86_64_PC64:
2180 case R_X86_64_64:
2181 pointer:
2182 if (eh != NULL && (sec->flags & SEC_CODE) != 0)
2183 eh->zero_undefweak |= 0x2;
2184 /* We are called after all symbols have been resolved. Only
2185 relocation against STT_GNU_IFUNC symbol must go through
2186 PLT. */
2187 if (h != NULL
2188 && (bfd_link_executable (info)
2189 || h->type == STT_GNU_IFUNC))
2191 bool func_pointer_ref = false;
2193 if (r_type == R_X86_64_PC32)
2195 /* Since something like ".long foo - ." may be used
2196 as pointer, make sure that PLT is used if foo is
2197 a function defined in a shared library. */
2198 if ((sec->flags & SEC_CODE) == 0)
2200 h->pointer_equality_needed = 1;
2201 if (bfd_link_pie (info)
2202 && h->type == STT_FUNC
2203 && !h->def_regular
2204 && h->def_dynamic)
2206 h->needs_plt = 1;
2207 h->plt.refcount = 1;
2211 else if (r_type != R_X86_64_PC32_BND
2212 && r_type != R_X86_64_PC64)
2214 /* At run-time, R_X86_64_64 can be resolved for both
2215 x86-64 and x32. But R_X86_64_32 and R_X86_64_32S
2216 can only be resolved for x32. Function pointer
2217 reference doesn't need PLT for pointer equality. */
2218 if ((sec->flags & SEC_READONLY) == 0
2219 && (r_type == R_X86_64_64
2220 || (!ABI_64_P (abfd)
2221 && (r_type == R_X86_64_32
2222 || r_type == R_X86_64_32S))))
2223 func_pointer_ref = true;
2225 /* IFUNC symbol needs pointer equality in PDE so that
2226 function pointer reference will be resolved to its
2227 PLT entry directly. */
2228 if (!func_pointer_ref
2229 || (bfd_link_pde (info)
2230 && h->type == STT_GNU_IFUNC))
2231 h->pointer_equality_needed = 1;
2234 if (!func_pointer_ref)
2236 /* If this reloc is in a read-only section, we might
2237 need a copy reloc. We can't check reliably at this
2238 stage whether the section is read-only, as input
2239 sections have not yet been mapped to output sections.
2240 Tentatively set the flag for now, and correct in
2241 adjust_dynamic_symbol. */
2242 h->non_got_ref = 1;
2244 if (!elf_has_indirect_extern_access (sec->owner))
2245 eh->non_got_ref_without_indirect_extern_access = 1;
2247 /* We may need a .plt entry if the symbol is a function
2248 defined in a shared lib or is a function referenced
2249 from the code or read-only section. */
2250 if (!h->def_regular
2251 || (sec->flags & (SEC_CODE | SEC_READONLY)) != 0)
2252 h->plt.refcount = 1;
2254 if (htab->elf.target_os != is_solaris
2255 && h->pointer_equality_needed
2256 && h->type == STT_FUNC
2257 && eh->def_protected
2258 && !SYMBOL_DEFINED_NON_SHARED_P (h)
2259 && h->def_dynamic)
2261 /* Disallow non-canonical reference to canonical
2262 protected function. */
2263 _bfd_error_handler
2264 /* xgettext:c-format */
2265 (_("%pB: non-canonical reference to canonical "
2266 "protected function `%s' in %pB"),
2267 abfd, h->root.root.string,
2268 h->root.u.def.section->owner);
2269 bfd_set_error (bfd_error_bad_value);
2270 goto error_return;
2275 size_reloc = false;
2276 do_size:
2277 if (!no_dynreloc
2278 && NEED_DYNAMIC_RELOCATION_P (true, info, true, h, sec,
2279 r_type,
2280 htab->pointer_r_type))
2282 struct elf_dyn_relocs *p;
2283 struct elf_dyn_relocs **head;
2285 /* If this is a global symbol, we count the number of
2286 relocations we need for this symbol. */
2287 if (h != NULL)
2288 head = &h->dyn_relocs;
2289 else
2291 /* Track dynamic relocs needed for local syms too.
2292 We really need local syms available to do this
2293 easily. Oh well. */
2294 asection *s;
2295 void **vpp;
2297 isym = bfd_sym_from_r_symndx (&htab->elf.sym_cache,
2298 abfd, r_symndx);
2299 if (isym == NULL)
2300 goto error_return;
2302 s = bfd_section_from_elf_index (abfd, isym->st_shndx);
2303 if (s == NULL)
2304 s = sec;
2306 /* Beware of type punned pointers vs strict aliasing
2307 rules. */
2308 vpp = &(elf_section_data (s)->local_dynrel);
2309 head = (struct elf_dyn_relocs **)vpp;
2312 p = *head;
2313 if (p == NULL || p->sec != sec)
2315 size_t amt = sizeof *p;
2317 p = ((struct elf_dyn_relocs *)
2318 bfd_alloc (htab->elf.dynobj, amt));
2319 if (p == NULL)
2320 goto error_return;
2321 p->next = *head;
2322 *head = p;
2323 p->sec = sec;
2324 p->count = 0;
2325 p->pc_count = 0;
2328 p->count += 1;
2329 /* Count size relocation as PC-relative relocation. */
2330 if (X86_PCREL_TYPE_P (true, r_type) || size_reloc)
2331 p->pc_count += 1;
2333 break;
2335 /* This relocation describes the C++ object vtable hierarchy.
2336 Reconstruct it for later use during GC. */
2337 case R_X86_64_GNU_VTINHERIT:
2338 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
2339 goto error_return;
2340 break;
2342 /* This relocation describes which C++ vtable entries are actually
2343 used. Record for later use during GC. */
2344 case R_X86_64_GNU_VTENTRY:
2345 if (!bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
2346 goto error_return;
2347 break;
2349 default:
2350 break;
2354 if (elf_section_data (sec)->this_hdr.contents != contents)
2356 if (!converted && !_bfd_link_keep_memory (info))
2357 free (contents);
2358 else
2360 /* Cache the section contents for elf_link_input_bfd if any
2361 load is converted or --no-keep-memory isn't used. */
2362 elf_section_data (sec)->this_hdr.contents = contents;
2363 info->cache_size += sec->size;
2367 /* Cache relocations if any load is converted. */
2368 if (elf_section_data (sec)->relocs != relocs && converted)
2369 elf_section_data (sec)->relocs = (Elf_Internal_Rela *) relocs;
2371 return true;
2373 error_return:
2374 if (elf_section_data (sec)->this_hdr.contents != contents)
2375 free (contents);
2376 sec->check_relocs_failed = 1;
2377 return false;
2380 static bool
2381 elf_x86_64_always_size_sections (bfd *output_bfd,
2382 struct bfd_link_info *info)
2384 bfd *abfd;
2386 /* Scan relocations after rel_from_abs has been set on __ehdr_start. */
2387 for (abfd = info->input_bfds;
2388 abfd != (bfd *) NULL;
2389 abfd = abfd->link.next)
2390 if (bfd_get_flavour (abfd) == bfd_target_elf_flavour
2391 && !_bfd_elf_link_iterate_on_relocs (abfd, info,
2392 elf_x86_64_scan_relocs))
2393 return false;
2395 return _bfd_x86_elf_always_size_sections (output_bfd, info);
2398 /* Return the relocation value for @tpoff relocation
2399 if STT_TLS virtual address is ADDRESS. */
2401 static bfd_vma
2402 elf_x86_64_tpoff (struct bfd_link_info *info, bfd_vma address)
2404 struct elf_link_hash_table *htab = elf_hash_table (info);
2405 const struct elf_backend_data *bed = get_elf_backend_data (info->output_bfd);
2406 bfd_vma static_tls_size;
2408 /* If tls_segment is NULL, we should have signalled an error already. */
2409 if (htab->tls_sec == NULL)
2410 return 0;
2412 /* Consider special static TLS alignment requirements. */
2413 static_tls_size = BFD_ALIGN (htab->tls_size, bed->static_tls_alignment);
2414 return address - static_tls_size - htab->tls_sec->vma;
2417 /* Relocate an x86_64 ELF section. */
2419 static int
2420 elf_x86_64_relocate_section (bfd *output_bfd,
2421 struct bfd_link_info *info,
2422 bfd *input_bfd,
2423 asection *input_section,
2424 bfd_byte *contents,
2425 Elf_Internal_Rela *relocs,
2426 Elf_Internal_Sym *local_syms,
2427 asection **local_sections)
2429 struct elf_x86_link_hash_table *htab;
2430 Elf_Internal_Shdr *symtab_hdr;
2431 struct elf_link_hash_entry **sym_hashes;
2432 bfd_vma *local_got_offsets;
2433 bfd_vma *local_tlsdesc_gotents;
2434 Elf_Internal_Rela *rel;
2435 Elf_Internal_Rela *wrel;
2436 Elf_Internal_Rela *relend;
2437 unsigned int plt_entry_size;
2438 bool status;
2440 /* Skip if check_relocs or scan_relocs failed. */
2441 if (input_section->check_relocs_failed)
2442 return false;
2444 htab = elf_x86_hash_table (info, X86_64_ELF_DATA);
2445 if (htab == NULL)
2446 return false;
2448 if (!is_x86_elf (input_bfd, htab))
2450 bfd_set_error (bfd_error_wrong_format);
2451 return false;
2454 plt_entry_size = htab->plt.plt_entry_size;
2455 symtab_hdr = &elf_symtab_hdr (input_bfd);
2456 sym_hashes = elf_sym_hashes (input_bfd);
2457 local_got_offsets = elf_local_got_offsets (input_bfd);
2458 local_tlsdesc_gotents = elf_x86_local_tlsdesc_gotent (input_bfd);
2460 _bfd_x86_elf_set_tls_module_base (info);
2462 status = true;
2463 rel = wrel = relocs;
2464 relend = relocs + input_section->reloc_count;
2465 for (; rel < relend; wrel++, rel++)
2467 unsigned int r_type, r_type_tls;
2468 reloc_howto_type *howto;
2469 unsigned long r_symndx;
2470 struct elf_link_hash_entry *h;
2471 struct elf_x86_link_hash_entry *eh;
2472 Elf_Internal_Sym *sym;
2473 asection *sec;
2474 bfd_vma off, offplt, plt_offset;
2475 bfd_vma relocation;
2476 bool unresolved_reloc;
2477 bfd_reloc_status_type r;
2478 int tls_type;
2479 asection *base_got, *resolved_plt;
2480 bfd_vma st_size;
2481 bool resolved_to_zero;
2482 bool relative_reloc;
2483 bool converted_reloc;
2484 bool need_copy_reloc_in_pie;
2485 bool no_copyreloc_p;
2487 r_type = ELF32_R_TYPE (rel->r_info);
2488 if (r_type == (int) R_X86_64_GNU_VTINHERIT
2489 || r_type == (int) R_X86_64_GNU_VTENTRY)
2491 if (wrel != rel)
2492 *wrel = *rel;
2493 continue;
2496 r_symndx = htab->r_sym (rel->r_info);
2497 converted_reloc = (r_type & R_X86_64_converted_reloc_bit) != 0;
2498 if (converted_reloc)
2500 r_type &= ~R_X86_64_converted_reloc_bit;
2501 rel->r_info = htab->r_info (r_symndx, r_type);
2504 howto = elf_x86_64_rtype_to_howto (input_bfd, r_type);
2505 if (howto == NULL)
2506 return _bfd_unrecognized_reloc (input_bfd, input_section, r_type);
2508 h = NULL;
2509 sym = NULL;
2510 sec = NULL;
2511 unresolved_reloc = false;
2512 if (r_symndx < symtab_hdr->sh_info)
2514 sym = local_syms + r_symndx;
2515 sec = local_sections[r_symndx];
2517 relocation = _bfd_elf_rela_local_sym (output_bfd, sym,
2518 &sec, rel);
2519 st_size = sym->st_size;
2521 /* Relocate against local STT_GNU_IFUNC symbol. */
2522 if (!bfd_link_relocatable (info)
2523 && ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC)
2525 h = _bfd_elf_x86_get_local_sym_hash (htab, input_bfd,
2526 rel, false);
2527 if (h == NULL)
2528 abort ();
2530 /* Set STT_GNU_IFUNC symbol value. */
2531 h->root.u.def.value = sym->st_value;
2532 h->root.u.def.section = sec;
2535 else
2537 bool warned ATTRIBUTE_UNUSED;
2538 bool ignored ATTRIBUTE_UNUSED;
2540 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
2541 r_symndx, symtab_hdr, sym_hashes,
2542 h, sec, relocation,
2543 unresolved_reloc, warned, ignored);
2544 st_size = h->size;
2547 if (sec != NULL && discarded_section (sec))
2549 _bfd_clear_contents (howto, input_bfd, input_section,
2550 contents, rel->r_offset);
2551 wrel->r_offset = rel->r_offset;
2552 wrel->r_info = 0;
2553 wrel->r_addend = 0;
2555 /* For ld -r, remove relocations in debug sections against
2556 sections defined in discarded sections. Not done for
2557 eh_frame editing code expects to be present. */
2558 if (bfd_link_relocatable (info)
2559 && (input_section->flags & SEC_DEBUGGING))
2560 wrel--;
2562 continue;
2565 if (bfd_link_relocatable (info))
2567 if (wrel != rel)
2568 *wrel = *rel;
2569 continue;
2572 if (rel->r_addend == 0 && !ABI_64_P (output_bfd))
2574 if (r_type == R_X86_64_64)
2576 /* For x32, treat R_X86_64_64 like R_X86_64_32 and
2577 zero-extend it to 64bit if addend is zero. */
2578 r_type = R_X86_64_32;
2579 memset (contents + rel->r_offset + 4, 0, 4);
2581 else if (r_type == R_X86_64_SIZE64)
2583 /* For x32, treat R_X86_64_SIZE64 like R_X86_64_SIZE32 and
2584 zero-extend it to 64bit if addend is zero. */
2585 r_type = R_X86_64_SIZE32;
2586 memset (contents + rel->r_offset + 4, 0, 4);
2590 eh = (struct elf_x86_link_hash_entry *) h;
2592 /* Since STT_GNU_IFUNC symbol must go through PLT, we handle
2593 it here if it is defined in a non-shared object. */
2594 if (h != NULL
2595 && h->type == STT_GNU_IFUNC
2596 && h->def_regular)
2598 bfd_vma plt_index;
2599 const char *name;
2601 if ((input_section->flags & SEC_ALLOC) == 0)
2603 /* If this is a SHT_NOTE section without SHF_ALLOC, treat
2604 STT_GNU_IFUNC symbol as STT_FUNC. */
2605 if (elf_section_type (input_section) == SHT_NOTE)
2606 goto skip_ifunc;
2607 /* Dynamic relocs are not propagated for SEC_DEBUGGING
2608 sections because such sections are not SEC_ALLOC and
2609 thus ld.so will not process them. */
2610 if ((input_section->flags & SEC_DEBUGGING) != 0)
2611 continue;
2612 abort ();
2615 switch (r_type)
2617 default:
2618 break;
2620 case R_X86_64_GOTPCREL:
2621 case R_X86_64_GOTPCRELX:
2622 case R_X86_64_REX_GOTPCRELX:
2623 case R_X86_64_GOTPCREL64:
2624 base_got = htab->elf.sgot;
2625 off = h->got.offset;
2627 if (base_got == NULL)
2628 abort ();
2630 if (off == (bfd_vma) -1)
2632 /* We can't use h->got.offset here to save state, or
2633 even just remember the offset, as finish_dynamic_symbol
2634 would use that as offset into .got. */
2636 if (h->plt.offset == (bfd_vma) -1)
2637 abort ();
2639 if (htab->elf.splt != NULL)
2641 plt_index = (h->plt.offset / plt_entry_size
2642 - htab->plt.has_plt0);
2643 off = (plt_index + 3) * GOT_ENTRY_SIZE;
2644 base_got = htab->elf.sgotplt;
2646 else
2648 plt_index = h->plt.offset / plt_entry_size;
2649 off = plt_index * GOT_ENTRY_SIZE;
2650 base_got = htab->elf.igotplt;
2653 if (h->dynindx == -1
2654 || h->forced_local
2655 || info->symbolic)
2657 /* This references the local defitionion. We must
2658 initialize this entry in the global offset table.
2659 Since the offset must always be a multiple of 8,
2660 we use the least significant bit to record
2661 whether we have initialized it already.
2663 When doing a dynamic link, we create a .rela.got
2664 relocation entry to initialize the value. This
2665 is done in the finish_dynamic_symbol routine. */
2666 if ((off & 1) != 0)
2667 off &= ~1;
2668 else
2670 bfd_put_64 (output_bfd, relocation,
2671 base_got->contents + off);
2672 /* Note that this is harmless for the GOTPLT64
2673 case, as -1 | 1 still is -1. */
2674 h->got.offset |= 1;
2679 relocation = (base_got->output_section->vma
2680 + base_got->output_offset + off);
2682 goto do_relocation;
2685 if (h->plt.offset == (bfd_vma) -1)
2687 /* Handle static pointers of STT_GNU_IFUNC symbols. */
2688 if (r_type == htab->pointer_r_type
2689 && (input_section->flags & SEC_CODE) == 0)
2690 goto do_ifunc_pointer;
2691 goto bad_ifunc_reloc;
2694 /* STT_GNU_IFUNC symbol must go through PLT. */
2695 if (htab->elf.splt != NULL)
2697 if (htab->plt_second != NULL)
2699 resolved_plt = htab->plt_second;
2700 plt_offset = eh->plt_second.offset;
2702 else
2704 resolved_plt = htab->elf.splt;
2705 plt_offset = h->plt.offset;
2708 else
2710 resolved_plt = htab->elf.iplt;
2711 plt_offset = h->plt.offset;
2714 relocation = (resolved_plt->output_section->vma
2715 + resolved_plt->output_offset + plt_offset);
2717 switch (r_type)
2719 default:
2720 bad_ifunc_reloc:
2721 if (h->root.root.string)
2722 name = h->root.root.string;
2723 else
2724 name = bfd_elf_sym_name (input_bfd, symtab_hdr, sym,
2725 NULL);
2726 _bfd_error_handler
2727 /* xgettext:c-format */
2728 (_("%pB: relocation %s against STT_GNU_IFUNC "
2729 "symbol `%s' isn't supported"), input_bfd,
2730 howto->name, name);
2731 bfd_set_error (bfd_error_bad_value);
2732 return false;
2734 case R_X86_64_32S:
2735 if (bfd_link_pic (info))
2736 abort ();
2737 goto do_relocation;
2739 case R_X86_64_32:
2740 if (ABI_64_P (output_bfd))
2741 goto do_relocation;
2742 /* FALLTHROUGH */
2743 case R_X86_64_64:
2744 do_ifunc_pointer:
2745 if (rel->r_addend != 0)
2747 if (h->root.root.string)
2748 name = h->root.root.string;
2749 else
2750 name = bfd_elf_sym_name (input_bfd, symtab_hdr,
2751 sym, NULL);
2752 _bfd_error_handler
2753 /* xgettext:c-format */
2754 (_("%pB: relocation %s against STT_GNU_IFUNC "
2755 "symbol `%s' has non-zero addend: %" PRId64),
2756 input_bfd, howto->name, name, (int64_t) rel->r_addend);
2757 bfd_set_error (bfd_error_bad_value);
2758 return false;
2761 /* Generate dynamic relcoation only when there is a
2762 non-GOT reference in a shared object or there is no
2763 PLT. */
2764 if ((bfd_link_pic (info) && h->non_got_ref)
2765 || h->plt.offset == (bfd_vma) -1)
2767 Elf_Internal_Rela outrel;
2768 asection *sreloc;
2770 /* Need a dynamic relocation to get the real function
2771 address. */
2772 outrel.r_offset = _bfd_elf_section_offset (output_bfd,
2773 info,
2774 input_section,
2775 rel->r_offset);
2776 if (outrel.r_offset == (bfd_vma) -1
2777 || outrel.r_offset == (bfd_vma) -2)
2778 abort ();
2780 outrel.r_offset += (input_section->output_section->vma
2781 + input_section->output_offset);
2783 if (POINTER_LOCAL_IFUNC_P (info, h))
2785 info->callbacks->minfo (_("Local IFUNC function `%s' in %pB\n"),
2786 h->root.root.string,
2787 h->root.u.def.section->owner);
2789 /* This symbol is resolved locally. */
2790 outrel.r_info = htab->r_info (0, R_X86_64_IRELATIVE);
2791 outrel.r_addend = (h->root.u.def.value
2792 + h->root.u.def.section->output_section->vma
2793 + h->root.u.def.section->output_offset);
2795 if (htab->params->report_relative_reloc)
2796 _bfd_x86_elf_link_report_relative_reloc
2797 (info, input_section, h, sym,
2798 "R_X86_64_IRELATIVE", &outrel);
2800 else
2802 outrel.r_info = htab->r_info (h->dynindx, r_type);
2803 outrel.r_addend = 0;
2806 /* Dynamic relocations are stored in
2807 1. .rela.ifunc section in PIC object.
2808 2. .rela.got section in dynamic executable.
2809 3. .rela.iplt section in static executable. */
2810 if (bfd_link_pic (info))
2811 sreloc = htab->elf.irelifunc;
2812 else if (htab->elf.splt != NULL)
2813 sreloc = htab->elf.srelgot;
2814 else
2815 sreloc = htab->elf.irelplt;
2816 elf_append_rela (output_bfd, sreloc, &outrel);
2818 /* If this reloc is against an external symbol, we
2819 do not want to fiddle with the addend. Otherwise,
2820 we need to include the symbol value so that it
2821 becomes an addend for the dynamic reloc. For an
2822 internal symbol, we have updated addend. */
2823 continue;
2825 /* FALLTHROUGH */
2826 case R_X86_64_PC32:
2827 case R_X86_64_PC32_BND:
2828 case R_X86_64_PC64:
2829 case R_X86_64_PLT32:
2830 case R_X86_64_PLT32_BND:
2831 goto do_relocation;
2835 skip_ifunc:
2836 resolved_to_zero = (eh != NULL
2837 && UNDEFINED_WEAK_RESOLVED_TO_ZERO (info, eh));
2839 /* When generating a shared object, the relocations handled here are
2840 copied into the output file to be resolved at run time. */
2841 switch (r_type)
2843 case R_X86_64_GOT32:
2844 case R_X86_64_GOT64:
2845 /* Relocation is to the entry for this symbol in the global
2846 offset table. */
2847 case R_X86_64_GOTPCREL:
2848 case R_X86_64_GOTPCRELX:
2849 case R_X86_64_REX_GOTPCRELX:
2850 case R_X86_64_GOTPCREL64:
2851 /* Use global offset table entry as symbol value. */
2852 case R_X86_64_GOTPLT64:
2853 /* This is obsolete and treated the same as GOT64. */
2854 base_got = htab->elf.sgot;
2856 if (htab->elf.sgot == NULL)
2857 abort ();
2859 relative_reloc = false;
2860 if (h != NULL)
2862 off = h->got.offset;
2863 if (h->needs_plt
2864 && h->plt.offset != (bfd_vma)-1
2865 && off == (bfd_vma)-1)
2867 /* We can't use h->got.offset here to save
2868 state, or even just remember the offset, as
2869 finish_dynamic_symbol would use that as offset into
2870 .got. */
2871 bfd_vma plt_index = (h->plt.offset / plt_entry_size
2872 - htab->plt.has_plt0);
2873 off = (plt_index + 3) * GOT_ENTRY_SIZE;
2874 base_got = htab->elf.sgotplt;
2877 if (RESOLVED_LOCALLY_P (info, h, htab))
2879 /* We must initialize this entry in the global offset
2880 table. Since the offset must always be a multiple
2881 of 8, we use the least significant bit to record
2882 whether we have initialized it already.
2884 When doing a dynamic link, we create a .rela.got
2885 relocation entry to initialize the value. This is
2886 done in the finish_dynamic_symbol routine. */
2887 if ((off & 1) != 0)
2888 off &= ~1;
2889 else
2891 bfd_put_64 (output_bfd, relocation,
2892 base_got->contents + off);
2893 /* Note that this is harmless for the GOTPLT64 case,
2894 as -1 | 1 still is -1. */
2895 h->got.offset |= 1;
2897 /* NB: Don't generate relative relocation here if
2898 it has been generated by DT_RELR. */
2899 if (!info->enable_dt_relr
2900 && GENERATE_RELATIVE_RELOC_P (info, h))
2902 /* If this symbol isn't dynamic in PIC,
2903 generate R_X86_64_RELATIVE here. */
2904 eh->no_finish_dynamic_symbol = 1;
2905 relative_reloc = true;
2909 else
2910 unresolved_reloc = false;
2912 else
2914 if (local_got_offsets == NULL)
2915 abort ();
2917 off = local_got_offsets[r_symndx];
2919 /* The offset must always be a multiple of 8. We use
2920 the least significant bit to record whether we have
2921 already generated the necessary reloc. */
2922 if ((off & 1) != 0)
2923 off &= ~1;
2924 else
2926 bfd_put_64 (output_bfd, relocation,
2927 base_got->contents + off);
2928 local_got_offsets[r_symndx] |= 1;
2930 /* NB: GOTPCREL relocations against local absolute
2931 symbol store relocation value in the GOT slot
2932 without relative relocation. Don't generate
2933 relative relocation here if it has been generated
2934 by DT_RELR. */
2935 if (!info->enable_dt_relr
2936 && bfd_link_pic (info)
2937 && !(sym->st_shndx == SHN_ABS
2938 && (r_type == R_X86_64_GOTPCREL
2939 || r_type == R_X86_64_GOTPCRELX
2940 || r_type == R_X86_64_REX_GOTPCRELX)))
2941 relative_reloc = true;
2945 if (relative_reloc)
2947 asection *s;
2948 Elf_Internal_Rela outrel;
2950 /* We need to generate a R_X86_64_RELATIVE reloc
2951 for the dynamic linker. */
2952 s = htab->elf.srelgot;
2953 if (s == NULL)
2954 abort ();
2956 outrel.r_offset = (base_got->output_section->vma
2957 + base_got->output_offset
2958 + off);
2959 outrel.r_info = htab->r_info (0, R_X86_64_RELATIVE);
2960 outrel.r_addend = relocation;
2962 if (htab->params->report_relative_reloc)
2963 _bfd_x86_elf_link_report_relative_reloc
2964 (info, input_section, h, sym, "R_X86_64_RELATIVE",
2965 &outrel);
2967 elf_append_rela (output_bfd, s, &outrel);
2970 if (off >= (bfd_vma) -2)
2971 abort ();
2973 relocation = base_got->output_section->vma
2974 + base_got->output_offset + off;
2975 if (r_type != R_X86_64_GOTPCREL
2976 && r_type != R_X86_64_GOTPCRELX
2977 && r_type != R_X86_64_REX_GOTPCRELX
2978 && r_type != R_X86_64_GOTPCREL64)
2979 relocation -= htab->elf.sgotplt->output_section->vma
2980 - htab->elf.sgotplt->output_offset;
2982 break;
2984 case R_X86_64_GOTOFF64:
2985 /* Relocation is relative to the start of the global offset
2986 table. */
2988 /* Check to make sure it isn't a protected function or data
2989 symbol for shared library since it may not be local when
2990 used as function address or with copy relocation. We also
2991 need to make sure that a symbol is referenced locally. */
2992 if (bfd_link_pic (info) && h)
2994 if (!h->def_regular)
2996 const char *v;
2998 switch (ELF_ST_VISIBILITY (h->other))
3000 case STV_HIDDEN:
3001 v = _("hidden symbol");
3002 break;
3003 case STV_INTERNAL:
3004 v = _("internal symbol");
3005 break;
3006 case STV_PROTECTED:
3007 v = _("protected symbol");
3008 break;
3009 default:
3010 v = _("symbol");
3011 break;
3014 _bfd_error_handler
3015 /* xgettext:c-format */
3016 (_("%pB: relocation R_X86_64_GOTOFF64 against undefined %s"
3017 " `%s' can not be used when making a shared object"),
3018 input_bfd, v, h->root.root.string);
3019 bfd_set_error (bfd_error_bad_value);
3020 return false;
3022 else if (!bfd_link_executable (info)
3023 && !SYMBOL_REFERENCES_LOCAL_P (info, h)
3024 && (h->type == STT_FUNC
3025 || h->type == STT_OBJECT)
3026 && ELF_ST_VISIBILITY (h->other) == STV_PROTECTED)
3028 _bfd_error_handler
3029 /* xgettext:c-format */
3030 (_("%pB: relocation R_X86_64_GOTOFF64 against protected %s"
3031 " `%s' can not be used when making a shared object"),
3032 input_bfd,
3033 h->type == STT_FUNC ? "function" : "data",
3034 h->root.root.string);
3035 bfd_set_error (bfd_error_bad_value);
3036 return false;
3040 /* Note that sgot is not involved in this
3041 calculation. We always want the start of .got.plt. If we
3042 defined _GLOBAL_OFFSET_TABLE_ in a different way, as is
3043 permitted by the ABI, we might have to change this
3044 calculation. */
3045 relocation -= htab->elf.sgotplt->output_section->vma
3046 + htab->elf.sgotplt->output_offset;
3047 break;
3049 case R_X86_64_GOTPC32:
3050 case R_X86_64_GOTPC64:
3051 /* Use global offset table as symbol value. */
3052 relocation = htab->elf.sgotplt->output_section->vma
3053 + htab->elf.sgotplt->output_offset;
3054 unresolved_reloc = false;
3055 break;
3057 case R_X86_64_PLTOFF64:
3058 /* Relocation is PLT entry relative to GOT. For local
3059 symbols it's the symbol itself relative to GOT. */
3060 if (h != NULL
3061 /* See PLT32 handling. */
3062 && (h->plt.offset != (bfd_vma) -1
3063 || eh->plt_got.offset != (bfd_vma) -1)
3064 && htab->elf.splt != NULL)
3066 if (eh->plt_got.offset != (bfd_vma) -1)
3068 /* Use the GOT PLT. */
3069 resolved_plt = htab->plt_got;
3070 plt_offset = eh->plt_got.offset;
3072 else if (htab->plt_second != NULL)
3074 resolved_plt = htab->plt_second;
3075 plt_offset = eh->plt_second.offset;
3077 else
3079 resolved_plt = htab->elf.splt;
3080 plt_offset = h->plt.offset;
3083 relocation = (resolved_plt->output_section->vma
3084 + resolved_plt->output_offset
3085 + plt_offset);
3086 unresolved_reloc = false;
3089 relocation -= htab->elf.sgotplt->output_section->vma
3090 + htab->elf.sgotplt->output_offset;
3091 break;
3093 case R_X86_64_PLT32:
3094 case R_X86_64_PLT32_BND:
3095 /* Relocation is to the entry for this symbol in the
3096 procedure linkage table. */
3098 /* Resolve a PLT32 reloc against a local symbol directly,
3099 without using the procedure linkage table. */
3100 if (h == NULL)
3101 break;
3103 if ((h->plt.offset == (bfd_vma) -1
3104 && eh->plt_got.offset == (bfd_vma) -1)
3105 || htab->elf.splt == NULL)
3107 /* We didn't make a PLT entry for this symbol. This
3108 happens when statically linking PIC code, or when
3109 using -Bsymbolic. */
3110 break;
3113 use_plt:
3114 if (h->plt.offset != (bfd_vma) -1)
3116 if (htab->plt_second != NULL)
3118 resolved_plt = htab->plt_second;
3119 plt_offset = eh->plt_second.offset;
3121 else
3123 resolved_plt = htab->elf.splt;
3124 plt_offset = h->plt.offset;
3127 else
3129 /* Use the GOT PLT. */
3130 resolved_plt = htab->plt_got;
3131 plt_offset = eh->plt_got.offset;
3134 relocation = (resolved_plt->output_section->vma
3135 + resolved_plt->output_offset
3136 + plt_offset);
3137 unresolved_reloc = false;
3138 break;
3140 case R_X86_64_SIZE32:
3141 case R_X86_64_SIZE64:
3142 /* Set to symbol size. */
3143 relocation = st_size;
3144 goto direct;
3146 case R_X86_64_PC8:
3147 case R_X86_64_PC16:
3148 case R_X86_64_PC32:
3149 case R_X86_64_PC32_BND:
3150 /* Don't complain about -fPIC if the symbol is undefined when
3151 building executable unless it is unresolved weak symbol,
3152 references a dynamic definition in PIE or -z nocopyreloc
3153 is used. */
3154 no_copyreloc_p
3155 = (info->nocopyreloc
3156 || (h != NULL
3157 && !h->root.linker_def
3158 && !h->root.ldscript_def
3159 && eh->def_protected));
3161 if ((input_section->flags & SEC_ALLOC) != 0
3162 && (input_section->flags & SEC_READONLY) != 0
3163 && h != NULL
3164 && ((bfd_link_executable (info)
3165 && ((h->root.type == bfd_link_hash_undefweak
3166 && (eh == NULL
3167 || !UNDEFINED_WEAK_RESOLVED_TO_ZERO (info,
3168 eh)))
3169 || (bfd_link_pie (info)
3170 && !SYMBOL_DEFINED_NON_SHARED_P (h)
3171 && h->def_dynamic)
3172 || (no_copyreloc_p
3173 && h->def_dynamic
3174 && !(h->root.u.def.section->flags & SEC_CODE))))
3175 || (bfd_link_pie (info)
3176 && h->root.type == bfd_link_hash_undefweak)
3177 || bfd_link_dll (info)))
3179 bool fail = false;
3180 if (SYMBOL_REFERENCES_LOCAL_P (info, h))
3182 /* Symbol is referenced locally. Make sure it is
3183 defined locally. */
3184 fail = !SYMBOL_DEFINED_NON_SHARED_P (h);
3186 else if (bfd_link_pie (info))
3188 /* We can only use PC-relative relocations in PIE
3189 from non-code sections. */
3190 if (h->root.type == bfd_link_hash_undefweak
3191 || (h->type == STT_FUNC
3192 && (sec->flags & SEC_CODE) != 0))
3193 fail = true;
3195 else if (no_copyreloc_p || bfd_link_dll (info))
3197 /* Symbol doesn't need copy reloc and isn't
3198 referenced locally. Don't allow PC-relative
3199 relocations against default and protected
3200 symbols since address of protected function
3201 and location of protected data may not be in
3202 the shared object. */
3203 fail = (ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
3204 || ELF_ST_VISIBILITY (h->other) == STV_PROTECTED);
3207 if (fail)
3208 return elf_x86_64_need_pic (info, input_bfd, input_section,
3209 h, NULL, NULL, howto);
3211 /* Since x86-64 has PC-relative PLT, we can use PLT in PIE
3212 as function address. */
3213 else if (h != NULL
3214 && (input_section->flags & SEC_CODE) == 0
3215 && bfd_link_pie (info)
3216 && h->type == STT_FUNC
3217 && !h->def_regular
3218 && h->def_dynamic)
3219 goto use_plt;
3220 /* Fall through. */
3222 case R_X86_64_8:
3223 case R_X86_64_16:
3224 case R_X86_64_32:
3225 case R_X86_64_PC64:
3226 case R_X86_64_64:
3227 /* FIXME: The ABI says the linker should make sure the value is
3228 the same when it's zeroextended to 64 bit. */
3230 direct:
3231 if ((input_section->flags & SEC_ALLOC) == 0)
3232 break;
3234 need_copy_reloc_in_pie = (bfd_link_pie (info)
3235 && h != NULL
3236 && (h->needs_copy
3237 || eh->needs_copy
3238 || (h->root.type
3239 == bfd_link_hash_undefined))
3240 && (X86_PCREL_TYPE_P (true, r_type)
3241 || X86_SIZE_TYPE_P (true,
3242 r_type)));
3244 if (GENERATE_DYNAMIC_RELOCATION_P (true, info, eh, r_type, sec,
3245 need_copy_reloc_in_pie,
3246 resolved_to_zero, false))
3248 Elf_Internal_Rela outrel;
3249 bool skip, relocate;
3250 bool generate_dynamic_reloc = true;
3251 asection *sreloc;
3252 const char *relative_reloc_name = NULL;
3254 /* When generating a shared object, these relocations
3255 are copied into the output file to be resolved at run
3256 time. */
3257 skip = false;
3258 relocate = false;
3260 outrel.r_offset =
3261 _bfd_elf_section_offset (output_bfd, info, input_section,
3262 rel->r_offset);
3263 if (outrel.r_offset == (bfd_vma) -1)
3264 skip = true;
3265 else if (outrel.r_offset == (bfd_vma) -2)
3266 skip = true, relocate = true;
3268 outrel.r_offset += (input_section->output_section->vma
3269 + input_section->output_offset);
3271 if (skip)
3272 memset (&outrel, 0, sizeof outrel);
3274 else if (COPY_INPUT_RELOC_P (true, info, h, r_type))
3276 outrel.r_info = htab->r_info (h->dynindx, r_type);
3277 outrel.r_addend = rel->r_addend;
3279 else
3281 /* This symbol is local, or marked to become local.
3282 When relocation overflow check is disabled, we
3283 convert R_X86_64_32 to dynamic R_X86_64_RELATIVE. */
3284 if (r_type == htab->pointer_r_type
3285 || (r_type == R_X86_64_32
3286 && htab->params->no_reloc_overflow_check))
3288 relocate = true;
3289 /* NB: Don't generate relative relocation here if
3290 it has been generated by DT_RELR. */
3291 if (info->enable_dt_relr)
3292 generate_dynamic_reloc = false;
3293 else
3295 outrel.r_info =
3296 htab->r_info (0, R_X86_64_RELATIVE);
3297 outrel.r_addend = relocation + rel->r_addend;
3298 relative_reloc_name = "R_X86_64_RELATIVE";
3301 else if (r_type == R_X86_64_64
3302 && !ABI_64_P (output_bfd))
3304 relocate = true;
3305 outrel.r_info = htab->r_info (0,
3306 R_X86_64_RELATIVE64);
3307 outrel.r_addend = relocation + rel->r_addend;
3308 relative_reloc_name = "R_X86_64_RELATIVE64";
3309 /* Check addend overflow. */
3310 if ((outrel.r_addend & 0x80000000)
3311 != (rel->r_addend & 0x80000000))
3313 const char *name;
3314 int addend = rel->r_addend;
3315 if (h && h->root.root.string)
3316 name = h->root.root.string;
3317 else
3318 name = bfd_elf_sym_name (input_bfd, symtab_hdr,
3319 sym, NULL);
3320 _bfd_error_handler
3321 /* xgettext:c-format */
3322 (_("%pB: addend %s%#x in relocation %s against "
3323 "symbol `%s' at %#" PRIx64
3324 " in section `%pA' is out of range"),
3325 input_bfd, addend < 0 ? "-" : "", addend,
3326 howto->name, name, (uint64_t) rel->r_offset,
3327 input_section);
3328 bfd_set_error (bfd_error_bad_value);
3329 return false;
3332 else
3334 long sindx;
3336 if (bfd_is_abs_section (sec))
3337 sindx = 0;
3338 else if (sec == NULL || sec->owner == NULL)
3340 bfd_set_error (bfd_error_bad_value);
3341 return false;
3343 else
3345 asection *osec;
3347 /* We are turning this relocation into one
3348 against a section symbol. It would be
3349 proper to subtract the symbol's value,
3350 osec->vma, from the emitted reloc addend,
3351 but ld.so expects buggy relocs. */
3352 osec = sec->output_section;
3353 sindx = elf_section_data (osec)->dynindx;
3354 if (sindx == 0)
3356 asection *oi = htab->elf.text_index_section;
3357 sindx = elf_section_data (oi)->dynindx;
3359 BFD_ASSERT (sindx != 0);
3362 outrel.r_info = htab->r_info (sindx, r_type);
3363 outrel.r_addend = relocation + rel->r_addend;
3367 if (generate_dynamic_reloc)
3369 sreloc = elf_section_data (input_section)->sreloc;
3371 if (sreloc == NULL || sreloc->contents == NULL)
3373 r = bfd_reloc_notsupported;
3374 goto check_relocation_error;
3377 if (relative_reloc_name
3378 && htab->params->report_relative_reloc)
3379 _bfd_x86_elf_link_report_relative_reloc
3380 (info, input_section, h, sym,
3381 relative_reloc_name, &outrel);
3383 elf_append_rela (output_bfd, sreloc, &outrel);
3386 /* If this reloc is against an external symbol, we do
3387 not want to fiddle with the addend. Otherwise, we
3388 need to include the symbol value so that it becomes
3389 an addend for the dynamic reloc. */
3390 if (! relocate)
3391 continue;
3394 break;
3396 case R_X86_64_TLSGD:
3397 case R_X86_64_GOTPC32_TLSDESC:
3398 case R_X86_64_TLSDESC_CALL:
3399 case R_X86_64_GOTTPOFF:
3400 tls_type = GOT_UNKNOWN;
3401 if (h == NULL && local_got_offsets)
3402 tls_type = elf_x86_local_got_tls_type (input_bfd) [r_symndx];
3403 else if (h != NULL)
3404 tls_type = elf_x86_hash_entry (h)->tls_type;
3406 r_type_tls = r_type;
3407 if (! elf_x86_64_tls_transition (info, input_bfd,
3408 input_section, contents,
3409 symtab_hdr, sym_hashes,
3410 &r_type_tls, tls_type, rel,
3411 relend, h, r_symndx, true))
3412 return false;
3414 if (r_type_tls == R_X86_64_TPOFF32)
3416 bfd_vma roff = rel->r_offset;
3418 BFD_ASSERT (! unresolved_reloc);
3420 if (r_type == R_X86_64_TLSGD)
3422 /* GD->LE transition. For 64bit, change
3423 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
3424 .word 0x6666; rex64; call __tls_get_addr@PLT
3426 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
3427 .byte 0x66; rex64
3428 call *__tls_get_addr@GOTPCREL(%rip)
3429 which may be converted to
3430 addr32 call __tls_get_addr
3431 into:
3432 movq %fs:0, %rax
3433 leaq foo@tpoff(%rax), %rax
3434 For 32bit, change
3435 leaq foo@tlsgd(%rip), %rdi
3436 .word 0x6666; rex64; call __tls_get_addr@PLT
3438 leaq foo@tlsgd(%rip), %rdi
3439 .byte 0x66; rex64
3440 call *__tls_get_addr@GOTPCREL(%rip)
3441 which may be converted to
3442 addr32 call __tls_get_addr
3443 into:
3444 movl %fs:0, %eax
3445 leaq foo@tpoff(%rax), %rax
3446 For largepic, change:
3447 leaq foo@tlsgd(%rip), %rdi
3448 movabsq $__tls_get_addr@pltoff, %rax
3449 addq %r15, %rax
3450 call *%rax
3451 into:
3452 movq %fs:0, %rax
3453 leaq foo@tpoff(%rax), %rax
3454 nopw 0x0(%rax,%rax,1) */
3455 int largepic = 0;
3456 if (ABI_64_P (output_bfd))
3458 if (contents[roff + 5] == 0xb8)
3460 if (roff < 3
3461 || (roff - 3 + 22) > input_section->size)
3463 corrupt_input:
3464 info->callbacks->einfo
3465 (_("%F%P: corrupt input: %pB\n"),
3466 input_bfd);
3467 return false;
3469 memcpy (contents + roff - 3,
3470 "\x64\x48\x8b\x04\x25\0\0\0\0\x48\x8d\x80"
3471 "\0\0\0\0\x66\x0f\x1f\x44\0", 22);
3472 largepic = 1;
3474 else
3476 if (roff < 4
3477 || (roff - 4 + 16) > input_section->size)
3478 goto corrupt_input;
3479 memcpy (contents + roff - 4,
3480 "\x64\x48\x8b\x04\x25\0\0\0\0\x48\x8d\x80\0\0\0",
3481 16);
3484 else
3486 if (roff < 3
3487 || (roff - 3 + 15) > input_section->size)
3488 goto corrupt_input;
3489 memcpy (contents + roff - 3,
3490 "\x64\x8b\x04\x25\0\0\0\0\x48\x8d\x80\0\0\0",
3491 15);
3493 bfd_put_32 (output_bfd,
3494 elf_x86_64_tpoff (info, relocation),
3495 contents + roff + 8 + largepic);
3496 /* Skip R_X86_64_PC32, R_X86_64_PLT32,
3497 R_X86_64_GOTPCRELX and R_X86_64_PLTOFF64. */
3498 rel++;
3499 wrel++;
3500 continue;
3502 else if (r_type == R_X86_64_GOTPC32_TLSDESC)
3504 /* GDesc -> LE transition.
3505 It's originally something like:
3506 leaq x@tlsdesc(%rip), %rax <--- LP64 mode.
3507 rex leal x@tlsdesc(%rip), %eax <--- X32 mode.
3509 Change it to:
3510 movq $x@tpoff, %rax <--- LP64 mode.
3511 rex movl $x@tpoff, %eax <--- X32 mode.
3514 unsigned int val, type;
3516 if (roff < 3)
3517 goto corrupt_input;
3518 type = bfd_get_8 (input_bfd, contents + roff - 3);
3519 val = bfd_get_8 (input_bfd, contents + roff - 1);
3520 bfd_put_8 (output_bfd,
3521 (type & 0x48) | ((type >> 2) & 1),
3522 contents + roff - 3);
3523 bfd_put_8 (output_bfd, 0xc7, contents + roff - 2);
3524 bfd_put_8 (output_bfd, 0xc0 | ((val >> 3) & 7),
3525 contents + roff - 1);
3526 bfd_put_32 (output_bfd,
3527 elf_x86_64_tpoff (info, relocation),
3528 contents + roff);
3529 continue;
3531 else if (r_type == R_X86_64_TLSDESC_CALL)
3533 /* GDesc -> LE transition.
3534 It's originally:
3535 call *(%rax) <--- LP64 mode.
3536 call *(%eax) <--- X32 mode.
3537 Turn it into:
3538 xchg %ax,%ax <-- LP64 mode.
3539 nopl (%rax) <-- X32 mode.
3541 unsigned int prefix = 0;
3542 if (!ABI_64_P (input_bfd))
3544 /* Check for call *x@tlsdesc(%eax). */
3545 if (contents[roff] == 0x67)
3546 prefix = 1;
3548 if (prefix)
3550 bfd_put_8 (output_bfd, 0x0f, contents + roff);
3551 bfd_put_8 (output_bfd, 0x1f, contents + roff + 1);
3552 bfd_put_8 (output_bfd, 0x00, contents + roff + 2);
3554 else
3556 bfd_put_8 (output_bfd, 0x66, contents + roff);
3557 bfd_put_8 (output_bfd, 0x90, contents + roff + 1);
3559 continue;
3561 else if (r_type == R_X86_64_GOTTPOFF)
3563 /* IE->LE transition:
3564 For 64bit, originally it can be one of:
3565 movq foo@gottpoff(%rip), %reg
3566 addq foo@gottpoff(%rip), %reg
3567 We change it into:
3568 movq $foo, %reg
3569 leaq foo(%reg), %reg
3570 addq $foo, %reg.
3571 For 32bit, originally it can be one of:
3572 movq foo@gottpoff(%rip), %reg
3573 addl foo@gottpoff(%rip), %reg
3574 We change it into:
3575 movq $foo, %reg
3576 leal foo(%reg), %reg
3577 addl $foo, %reg. */
3579 unsigned int val, type, reg;
3581 if (roff >= 3)
3582 val = bfd_get_8 (input_bfd, contents + roff - 3);
3583 else
3585 if (roff < 2)
3586 goto corrupt_input;
3587 val = 0;
3589 type = bfd_get_8 (input_bfd, contents + roff - 2);
3590 reg = bfd_get_8 (input_bfd, contents + roff - 1);
3591 reg >>= 3;
3592 if (type == 0x8b)
3594 /* movq */
3595 if (val == 0x4c)
3597 if (roff < 3)
3598 goto corrupt_input;
3599 bfd_put_8 (output_bfd, 0x49,
3600 contents + roff - 3);
3602 else if (!ABI_64_P (output_bfd) && val == 0x44)
3604 if (roff < 3)
3605 goto corrupt_input;
3606 bfd_put_8 (output_bfd, 0x41,
3607 contents + roff - 3);
3609 bfd_put_8 (output_bfd, 0xc7,
3610 contents + roff - 2);
3611 bfd_put_8 (output_bfd, 0xc0 | reg,
3612 contents + roff - 1);
3614 else if (reg == 4)
3616 /* addq/addl -> addq/addl - addressing with %rsp/%r12
3617 is special */
3618 if (val == 0x4c)
3620 if (roff < 3)
3621 goto corrupt_input;
3622 bfd_put_8 (output_bfd, 0x49,
3623 contents + roff - 3);
3625 else if (!ABI_64_P (output_bfd) && val == 0x44)
3627 if (roff < 3)
3628 goto corrupt_input;
3629 bfd_put_8 (output_bfd, 0x41,
3630 contents + roff - 3);
3632 bfd_put_8 (output_bfd, 0x81,
3633 contents + roff - 2);
3634 bfd_put_8 (output_bfd, 0xc0 | reg,
3635 contents + roff - 1);
3637 else
3639 /* addq/addl -> leaq/leal */
3640 if (val == 0x4c)
3642 if (roff < 3)
3643 goto corrupt_input;
3644 bfd_put_8 (output_bfd, 0x4d,
3645 contents + roff - 3);
3647 else if (!ABI_64_P (output_bfd) && val == 0x44)
3649 if (roff < 3)
3650 goto corrupt_input;
3651 bfd_put_8 (output_bfd, 0x45,
3652 contents + roff - 3);
3654 bfd_put_8 (output_bfd, 0x8d,
3655 contents + roff - 2);
3656 bfd_put_8 (output_bfd, 0x80 | reg | (reg << 3),
3657 contents + roff - 1);
3659 bfd_put_32 (output_bfd,
3660 elf_x86_64_tpoff (info, relocation),
3661 contents + roff);
3662 continue;
3664 else
3665 BFD_ASSERT (false);
3668 if (htab->elf.sgot == NULL)
3669 abort ();
3671 if (h != NULL)
3673 off = h->got.offset;
3674 offplt = elf_x86_hash_entry (h)->tlsdesc_got;
3676 else
3678 if (local_got_offsets == NULL)
3679 abort ();
3681 off = local_got_offsets[r_symndx];
3682 offplt = local_tlsdesc_gotents[r_symndx];
3685 if ((off & 1) != 0)
3686 off &= ~1;
3687 else
3689 Elf_Internal_Rela outrel;
3690 int dr_type, indx;
3691 asection *sreloc;
3693 if (htab->elf.srelgot == NULL)
3694 abort ();
3696 indx = h && h->dynindx != -1 ? h->dynindx : 0;
3698 if (GOT_TLS_GDESC_P (tls_type))
3700 outrel.r_info = htab->r_info (indx, R_X86_64_TLSDESC);
3701 BFD_ASSERT (htab->sgotplt_jump_table_size + offplt
3702 + 2 * GOT_ENTRY_SIZE <= htab->elf.sgotplt->size);
3703 outrel.r_offset = (htab->elf.sgotplt->output_section->vma
3704 + htab->elf.sgotplt->output_offset
3705 + offplt
3706 + htab->sgotplt_jump_table_size);
3707 sreloc = htab->elf.srelplt;
3708 if (indx == 0)
3709 outrel.r_addend = relocation - _bfd_x86_elf_dtpoff_base (info);
3710 else
3711 outrel.r_addend = 0;
3712 elf_append_rela (output_bfd, sreloc, &outrel);
3715 sreloc = htab->elf.srelgot;
3717 outrel.r_offset = (htab->elf.sgot->output_section->vma
3718 + htab->elf.sgot->output_offset + off);
3720 if (GOT_TLS_GD_P (tls_type))
3721 dr_type = R_X86_64_DTPMOD64;
3722 else if (GOT_TLS_GDESC_P (tls_type))
3723 goto dr_done;
3724 else
3725 dr_type = R_X86_64_TPOFF64;
3727 bfd_put_64 (output_bfd, 0, htab->elf.sgot->contents + off);
3728 outrel.r_addend = 0;
3729 if ((dr_type == R_X86_64_TPOFF64
3730 || dr_type == R_X86_64_TLSDESC) && indx == 0)
3731 outrel.r_addend = relocation - _bfd_x86_elf_dtpoff_base (info);
3732 outrel.r_info = htab->r_info (indx, dr_type);
3734 elf_append_rela (output_bfd, sreloc, &outrel);
3736 if (GOT_TLS_GD_P (tls_type))
3738 if (indx == 0)
3740 BFD_ASSERT (! unresolved_reloc);
3741 bfd_put_64 (output_bfd,
3742 relocation - _bfd_x86_elf_dtpoff_base (info),
3743 htab->elf.sgot->contents + off + GOT_ENTRY_SIZE);
3745 else
3747 bfd_put_64 (output_bfd, 0,
3748 htab->elf.sgot->contents + off + GOT_ENTRY_SIZE);
3749 outrel.r_info = htab->r_info (indx,
3750 R_X86_64_DTPOFF64);
3751 outrel.r_offset += GOT_ENTRY_SIZE;
3752 elf_append_rela (output_bfd, sreloc,
3753 &outrel);
3757 dr_done:
3758 if (h != NULL)
3759 h->got.offset |= 1;
3760 else
3761 local_got_offsets[r_symndx] |= 1;
3764 if (off >= (bfd_vma) -2
3765 && ! GOT_TLS_GDESC_P (tls_type))
3766 abort ();
3767 if (r_type_tls == r_type)
3769 if (r_type == R_X86_64_GOTPC32_TLSDESC
3770 || r_type == R_X86_64_TLSDESC_CALL)
3771 relocation = htab->elf.sgotplt->output_section->vma
3772 + htab->elf.sgotplt->output_offset
3773 + offplt + htab->sgotplt_jump_table_size;
3774 else
3775 relocation = htab->elf.sgot->output_section->vma
3776 + htab->elf.sgot->output_offset + off;
3777 unresolved_reloc = false;
3779 else
3781 bfd_vma roff = rel->r_offset;
3783 if (r_type == R_X86_64_TLSGD)
3785 /* GD->IE transition. For 64bit, change
3786 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
3787 .word 0x6666; rex64; call __tls_get_addr@PLT
3789 .byte 0x66; leaq foo@tlsgd(%rip), %rdi
3790 .byte 0x66; rex64
3791 call *__tls_get_addr@GOTPCREL(%rip
3792 which may be converted to
3793 addr32 call __tls_get_addr
3794 into:
3795 movq %fs:0, %rax
3796 addq foo@gottpoff(%rip), %rax
3797 For 32bit, change
3798 leaq foo@tlsgd(%rip), %rdi
3799 .word 0x6666; rex64; call __tls_get_addr@PLT
3801 leaq foo@tlsgd(%rip), %rdi
3802 .byte 0x66; rex64;
3803 call *__tls_get_addr@GOTPCREL(%rip)
3804 which may be converted to
3805 addr32 call __tls_get_addr
3806 into:
3807 movl %fs:0, %eax
3808 addq foo@gottpoff(%rip), %rax
3809 For largepic, change:
3810 leaq foo@tlsgd(%rip), %rdi
3811 movabsq $__tls_get_addr@pltoff, %rax
3812 addq %r15, %rax
3813 call *%rax
3814 into:
3815 movq %fs:0, %rax
3816 addq foo@gottpoff(%rax), %rax
3817 nopw 0x0(%rax,%rax,1) */
3818 int largepic = 0;
3819 if (ABI_64_P (output_bfd))
3821 if (contents[roff + 5] == 0xb8)
3823 if (roff < 3
3824 || (roff - 3 + 22) > input_section->size)
3825 goto corrupt_input;
3826 memcpy (contents + roff - 3,
3827 "\x64\x48\x8b\x04\x25\0\0\0\0\x48\x03\x05"
3828 "\0\0\0\0\x66\x0f\x1f\x44\0", 22);
3829 largepic = 1;
3831 else
3833 if (roff < 4
3834 || (roff - 4 + 16) > input_section->size)
3835 goto corrupt_input;
3836 memcpy (contents + roff - 4,
3837 "\x64\x48\x8b\x04\x25\0\0\0\0\x48\x03\x05\0\0\0",
3838 16);
3841 else
3843 if (roff < 3
3844 || (roff - 3 + 15) > input_section->size)
3845 goto corrupt_input;
3846 memcpy (contents + roff - 3,
3847 "\x64\x8b\x04\x25\0\0\0\0\x48\x03\x05\0\0\0",
3848 15);
3851 relocation = (htab->elf.sgot->output_section->vma
3852 + htab->elf.sgot->output_offset + off
3853 - roff
3854 - largepic
3855 - input_section->output_section->vma
3856 - input_section->output_offset
3857 - 12);
3858 bfd_put_32 (output_bfd, relocation,
3859 contents + roff + 8 + largepic);
3860 /* Skip R_X86_64_PLT32/R_X86_64_PLTOFF64. */
3861 rel++;
3862 wrel++;
3863 continue;
3865 else if (r_type == R_X86_64_GOTPC32_TLSDESC)
3867 /* GDesc -> IE transition.
3868 It's originally something like:
3869 leaq x@tlsdesc(%rip), %rax <--- LP64 mode.
3870 rex leal x@tlsdesc(%rip), %eax <--- X32 mode.
3872 Change it to:
3873 # before xchg %ax,%ax in LP64 mode.
3874 movq x@gottpoff(%rip), %rax
3875 # before nopl (%rax) in X32 mode.
3876 rex movl x@gottpoff(%rip), %eax
3879 /* Now modify the instruction as appropriate. To
3880 turn a lea into a mov in the form we use it, it
3881 suffices to change the second byte from 0x8d to
3882 0x8b. */
3883 if (roff < 2)
3884 goto corrupt_input;
3885 bfd_put_8 (output_bfd, 0x8b, contents + roff - 2);
3887 bfd_put_32 (output_bfd,
3888 htab->elf.sgot->output_section->vma
3889 + htab->elf.sgot->output_offset + off
3890 - rel->r_offset
3891 - input_section->output_section->vma
3892 - input_section->output_offset
3893 - 4,
3894 contents + roff);
3895 continue;
3897 else if (r_type == R_X86_64_TLSDESC_CALL)
3899 /* GDesc -> IE transition.
3900 It's originally:
3901 call *(%rax) <--- LP64 mode.
3902 call *(%eax) <--- X32 mode.
3904 Change it to:
3905 xchg %ax, %ax <-- LP64 mode.
3906 nopl (%rax) <-- X32 mode.
3909 unsigned int prefix = 0;
3910 if (!ABI_64_P (input_bfd))
3912 /* Check for call *x@tlsdesc(%eax). */
3913 if (contents[roff] == 0x67)
3914 prefix = 1;
3916 if (prefix)
3918 bfd_put_8 (output_bfd, 0x0f, contents + roff);
3919 bfd_put_8 (output_bfd, 0x1f, contents + roff + 1);
3920 bfd_put_8 (output_bfd, 0x00, contents + roff + 2);
3922 else
3924 bfd_put_8 (output_bfd, 0x66, contents + roff);
3925 bfd_put_8 (output_bfd, 0x90, contents + roff + 1);
3927 continue;
3929 else
3930 BFD_ASSERT (false);
3932 break;
3934 case R_X86_64_TLSLD:
3935 if (! elf_x86_64_tls_transition (info, input_bfd,
3936 input_section, contents,
3937 symtab_hdr, sym_hashes,
3938 &r_type, GOT_UNKNOWN, rel,
3939 relend, h, r_symndx, true))
3940 return false;
3942 if (r_type != R_X86_64_TLSLD)
3944 /* LD->LE transition:
3945 leaq foo@tlsld(%rip), %rdi
3946 call __tls_get_addr@PLT
3947 For 64bit, we change it into:
3948 .word 0x6666; .byte 0x66; movq %fs:0, %rax
3949 For 32bit, we change it into:
3950 nopl 0x0(%rax); movl %fs:0, %eax
3952 leaq foo@tlsld(%rip), %rdi;
3953 call *__tls_get_addr@GOTPCREL(%rip)
3954 which may be converted to
3955 addr32 call __tls_get_addr
3956 For 64bit, we change it into:
3957 .word 0x6666; .word 0x6666; movq %fs:0, %rax
3958 For 32bit, we change it into:
3959 nopw 0x0(%rax); movl %fs:0, %eax
3960 For largepic, change:
3961 leaq foo@tlsgd(%rip), %rdi
3962 movabsq $__tls_get_addr@pltoff, %rax
3963 addq %rbx, %rax
3964 call *%rax
3965 into
3966 data16 data16 data16 nopw %cs:0x0(%rax,%rax,1)
3967 movq %fs:0, %eax */
3969 BFD_ASSERT (r_type == R_X86_64_TPOFF32);
3970 if (ABI_64_P (output_bfd))
3972 if ((rel->r_offset + 5) >= input_section->size)
3973 goto corrupt_input;
3974 if (contents[rel->r_offset + 5] == 0xb8)
3976 if (rel->r_offset < 3
3977 || (rel->r_offset - 3 + 22) > input_section->size)
3978 goto corrupt_input;
3979 memcpy (contents + rel->r_offset - 3,
3980 "\x66\x66\x66\x66\x2e\x0f\x1f\x84\0\0\0\0\0"
3981 "\x64\x48\x8b\x04\x25\0\0\0", 22);
3983 else if (contents[rel->r_offset + 4] == 0xff
3984 || contents[rel->r_offset + 4] == 0x67)
3986 if (rel->r_offset < 3
3987 || (rel->r_offset - 3 + 13) > input_section->size)
3988 goto corrupt_input;
3989 memcpy (contents + rel->r_offset - 3,
3990 "\x66\x66\x66\x66\x64\x48\x8b\x04\x25\0\0\0",
3991 13);
3994 else
3996 if (rel->r_offset < 3
3997 || (rel->r_offset - 3 + 12) > input_section->size)
3998 goto corrupt_input;
3999 memcpy (contents + rel->r_offset - 3,
4000 "\x66\x66\x66\x64\x48\x8b\x04\x25\0\0\0", 12);
4003 else
4005 if ((rel->r_offset + 4) >= input_section->size)
4006 goto corrupt_input;
4007 if (contents[rel->r_offset + 4] == 0xff)
4009 if (rel->r_offset < 3
4010 || (rel->r_offset - 3 + 13) > input_section->size)
4011 goto corrupt_input;
4012 memcpy (contents + rel->r_offset - 3,
4013 "\x66\x0f\x1f\x40\x00\x64\x8b\x04\x25\0\0\0",
4014 13);
4016 else
4018 if (rel->r_offset < 3
4019 || (rel->r_offset - 3 + 12) > input_section->size)
4020 goto corrupt_input;
4021 memcpy (contents + rel->r_offset - 3,
4022 "\x0f\x1f\x40\x00\x64\x8b\x04\x25\0\0\0", 12);
4025 /* Skip R_X86_64_PC32, R_X86_64_PLT32, R_X86_64_GOTPCRELX
4026 and R_X86_64_PLTOFF64. */
4027 rel++;
4028 wrel++;
4029 continue;
4032 if (htab->elf.sgot == NULL)
4033 abort ();
4035 off = htab->tls_ld_or_ldm_got.offset;
4036 if (off & 1)
4037 off &= ~1;
4038 else
4040 Elf_Internal_Rela outrel;
4042 if (htab->elf.srelgot == NULL)
4043 abort ();
4045 outrel.r_offset = (htab->elf.sgot->output_section->vma
4046 + htab->elf.sgot->output_offset + off);
4048 bfd_put_64 (output_bfd, 0,
4049 htab->elf.sgot->contents + off);
4050 bfd_put_64 (output_bfd, 0,
4051 htab->elf.sgot->contents + off + GOT_ENTRY_SIZE);
4052 outrel.r_info = htab->r_info (0, R_X86_64_DTPMOD64);
4053 outrel.r_addend = 0;
4054 elf_append_rela (output_bfd, htab->elf.srelgot,
4055 &outrel);
4056 htab->tls_ld_or_ldm_got.offset |= 1;
4058 relocation = htab->elf.sgot->output_section->vma
4059 + htab->elf.sgot->output_offset + off;
4060 unresolved_reloc = false;
4061 break;
4063 case R_X86_64_DTPOFF32:
4064 if (!bfd_link_executable (info)
4065 || (input_section->flags & SEC_CODE) == 0)
4066 relocation -= _bfd_x86_elf_dtpoff_base (info);
4067 else
4068 relocation = elf_x86_64_tpoff (info, relocation);
4069 break;
4071 case R_X86_64_TPOFF32:
4072 case R_X86_64_TPOFF64:
4073 BFD_ASSERT (bfd_link_executable (info));
4074 relocation = elf_x86_64_tpoff (info, relocation);
4075 break;
4077 case R_X86_64_DTPOFF64:
4078 BFD_ASSERT ((input_section->flags & SEC_CODE) == 0);
4079 relocation -= _bfd_x86_elf_dtpoff_base (info);
4080 break;
4082 default:
4083 break;
4086 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
4087 because such sections are not SEC_ALLOC and thus ld.so will
4088 not process them. */
4089 if (unresolved_reloc
4090 && !((input_section->flags & SEC_DEBUGGING) != 0
4091 && h->def_dynamic)
4092 && _bfd_elf_section_offset (output_bfd, info, input_section,
4093 rel->r_offset) != (bfd_vma) -1)
4095 switch (r_type)
4097 case R_X86_64_32S:
4098 sec = h->root.u.def.section;
4099 if ((info->nocopyreloc || eh->def_protected)
4100 && !(h->root.u.def.section->flags & SEC_CODE))
4101 return elf_x86_64_need_pic (info, input_bfd, input_section,
4102 h, NULL, NULL, howto);
4103 /* Fall through. */
4105 default:
4106 _bfd_error_handler
4107 /* xgettext:c-format */
4108 (_("%pB(%pA+%#" PRIx64 "): "
4109 "unresolvable %s relocation against symbol `%s'"),
4110 input_bfd,
4111 input_section,
4112 (uint64_t) rel->r_offset,
4113 howto->name,
4114 h->root.root.string);
4115 return false;
4119 do_relocation:
4120 r = _bfd_final_link_relocate (howto, input_bfd, input_section,
4121 contents, rel->r_offset,
4122 relocation, rel->r_addend);
4124 check_relocation_error:
4125 if (r != bfd_reloc_ok)
4127 const char *name;
4129 if (h != NULL)
4130 name = h->root.root.string;
4131 else
4133 name = bfd_elf_string_from_elf_section (input_bfd,
4134 symtab_hdr->sh_link,
4135 sym->st_name);
4136 if (name == NULL)
4137 return false;
4138 if (*name == '\0')
4139 name = bfd_section_name (sec);
4142 if (r == bfd_reloc_overflow)
4144 if (converted_reloc)
4146 info->callbacks->einfo
4147 ("%X%H:", input_bfd, input_section, rel->r_offset);
4148 info->callbacks->einfo
4149 (_(" failed to convert GOTPCREL relocation against "
4150 "'%s'; relink with --no-relax\n"),
4151 name);
4152 status = false;
4153 continue;
4155 (*info->callbacks->reloc_overflow)
4156 (info, (h ? &h->root : NULL), name, howto->name,
4157 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
4159 else
4161 _bfd_error_handler
4162 /* xgettext:c-format */
4163 (_("%pB(%pA+%#" PRIx64 "): reloc against `%s': error %d"),
4164 input_bfd, input_section,
4165 (uint64_t) rel->r_offset, name, (int) r);
4166 return false;
4170 if (wrel != rel)
4171 *wrel = *rel;
4174 if (wrel != rel)
4176 Elf_Internal_Shdr *rel_hdr;
4177 size_t deleted = rel - wrel;
4179 rel_hdr = _bfd_elf_single_rel_hdr (input_section->output_section);
4180 rel_hdr->sh_size -= rel_hdr->sh_entsize * deleted;
4181 if (rel_hdr->sh_size == 0)
4183 /* It is too late to remove an empty reloc section. Leave
4184 one NONE reloc.
4185 ??? What is wrong with an empty section??? */
4186 rel_hdr->sh_size = rel_hdr->sh_entsize;
4187 deleted -= 1;
4189 rel_hdr = _bfd_elf_single_rel_hdr (input_section);
4190 rel_hdr->sh_size -= rel_hdr->sh_entsize * deleted;
4191 input_section->reloc_count -= deleted;
4194 return status;
4197 /* Finish up dynamic symbol handling. We set the contents of various
4198 dynamic sections here. */
4200 static bool
4201 elf_x86_64_finish_dynamic_symbol (bfd *output_bfd,
4202 struct bfd_link_info *info,
4203 struct elf_link_hash_entry *h,
4204 Elf_Internal_Sym *sym)
4206 struct elf_x86_link_hash_table *htab;
4207 bool use_plt_second;
4208 struct elf_x86_link_hash_entry *eh;
4209 bool local_undefweak;
4211 htab = elf_x86_hash_table (info, X86_64_ELF_DATA);
4212 if (htab == NULL)
4213 return false;
4215 /* Use the second PLT section only if there is .plt section. */
4216 use_plt_second = htab->elf.splt != NULL && htab->plt_second != NULL;
4218 eh = (struct elf_x86_link_hash_entry *) h;
4219 if (eh->no_finish_dynamic_symbol)
4220 abort ();
4222 /* We keep PLT/GOT entries without dynamic PLT/GOT relocations for
4223 resolved undefined weak symbols in executable so that their
4224 references have value 0 at run-time. */
4225 local_undefweak = UNDEFINED_WEAK_RESOLVED_TO_ZERO (info, eh);
4227 if (h->plt.offset != (bfd_vma) -1)
4229 bfd_vma plt_index;
4230 bfd_vma got_offset, plt_offset;
4231 Elf_Internal_Rela rela;
4232 bfd_byte *loc;
4233 asection *plt, *gotplt, *relplt, *resolved_plt;
4234 const struct elf_backend_data *bed;
4235 bfd_vma plt_got_pcrel_offset;
4237 /* When building a static executable, use .iplt, .igot.plt and
4238 .rela.iplt sections for STT_GNU_IFUNC symbols. */
4239 if (htab->elf.splt != NULL)
4241 plt = htab->elf.splt;
4242 gotplt = htab->elf.sgotplt;
4243 relplt = htab->elf.srelplt;
4245 else
4247 plt = htab->elf.iplt;
4248 gotplt = htab->elf.igotplt;
4249 relplt = htab->elf.irelplt;
4252 VERIFY_PLT_ENTRY (info, h, plt, gotplt, relplt, local_undefweak)
4254 /* Get the index in the procedure linkage table which
4255 corresponds to this symbol. This is the index of this symbol
4256 in all the symbols for which we are making plt entries. The
4257 first entry in the procedure linkage table is reserved.
4259 Get the offset into the .got table of the entry that
4260 corresponds to this function. Each .got entry is GOT_ENTRY_SIZE
4261 bytes. The first three are reserved for the dynamic linker.
4263 For static executables, we don't reserve anything. */
4265 if (plt == htab->elf.splt)
4267 got_offset = (h->plt.offset / htab->plt.plt_entry_size
4268 - htab->plt.has_plt0);
4269 got_offset = (got_offset + 3) * GOT_ENTRY_SIZE;
4271 else
4273 got_offset = h->plt.offset / htab->plt.plt_entry_size;
4274 got_offset = got_offset * GOT_ENTRY_SIZE;
4277 /* Fill in the entry in the procedure linkage table. */
4278 memcpy (plt->contents + h->plt.offset, htab->plt.plt_entry,
4279 htab->plt.plt_entry_size);
4280 if (use_plt_second)
4282 memcpy (htab->plt_second->contents + eh->plt_second.offset,
4283 htab->non_lazy_plt->plt_entry,
4284 htab->non_lazy_plt->plt_entry_size);
4286 resolved_plt = htab->plt_second;
4287 plt_offset = eh->plt_second.offset;
4289 else
4291 resolved_plt = plt;
4292 plt_offset = h->plt.offset;
4295 /* Insert the relocation positions of the plt section. */
4297 /* Put offset the PC-relative instruction referring to the GOT entry,
4298 subtracting the size of that instruction. */
4299 plt_got_pcrel_offset = (gotplt->output_section->vma
4300 + gotplt->output_offset
4301 + got_offset
4302 - resolved_plt->output_section->vma
4303 - resolved_plt->output_offset
4304 - plt_offset
4305 - htab->plt.plt_got_insn_size);
4307 /* Check PC-relative offset overflow in PLT entry. */
4308 if ((plt_got_pcrel_offset + 0x80000000) > 0xffffffff)
4309 /* xgettext:c-format */
4310 info->callbacks->einfo (_("%F%pB: PC-relative offset overflow in PLT entry for `%s'\n"),
4311 output_bfd, h->root.root.string);
4313 bfd_put_32 (output_bfd, plt_got_pcrel_offset,
4314 (resolved_plt->contents + plt_offset
4315 + htab->plt.plt_got_offset));
4317 /* Fill in the entry in the global offset table, initially this
4318 points to the second part of the PLT entry. Leave the entry
4319 as zero for undefined weak symbol in PIE. No PLT relocation
4320 against undefined weak symbol in PIE. */
4321 if (!local_undefweak)
4323 if (htab->plt.has_plt0)
4324 bfd_put_64 (output_bfd, (plt->output_section->vma
4325 + plt->output_offset
4326 + h->plt.offset
4327 + htab->lazy_plt->plt_lazy_offset),
4328 gotplt->contents + got_offset);
4330 /* Fill in the entry in the .rela.plt section. */
4331 rela.r_offset = (gotplt->output_section->vma
4332 + gotplt->output_offset
4333 + got_offset);
4334 if (PLT_LOCAL_IFUNC_P (info, h))
4336 info->callbacks->minfo (_("Local IFUNC function `%s' in %pB\n"),
4337 h->root.root.string,
4338 h->root.u.def.section->owner);
4340 /* If an STT_GNU_IFUNC symbol is locally defined, generate
4341 R_X86_64_IRELATIVE instead of R_X86_64_JUMP_SLOT. */
4342 rela.r_info = htab->r_info (0, R_X86_64_IRELATIVE);
4343 rela.r_addend = (h->root.u.def.value
4344 + h->root.u.def.section->output_section->vma
4345 + h->root.u.def.section->output_offset);
4347 if (htab->params->report_relative_reloc)
4348 _bfd_x86_elf_link_report_relative_reloc
4349 (info, relplt, h, sym, "R_X86_64_IRELATIVE", &rela);
4351 /* R_X86_64_IRELATIVE comes last. */
4352 plt_index = htab->next_irelative_index--;
4354 else
4356 rela.r_info = htab->r_info (h->dynindx, R_X86_64_JUMP_SLOT);
4357 rela.r_addend = 0;
4358 plt_index = htab->next_jump_slot_index++;
4361 /* Don't fill the second and third slots in PLT entry for
4362 static executables nor without PLT0. */
4363 if (plt == htab->elf.splt && htab->plt.has_plt0)
4365 bfd_vma plt0_offset
4366 = h->plt.offset + htab->lazy_plt->plt_plt_insn_end;
4368 /* Put relocation index. */
4369 bfd_put_32 (output_bfd, plt_index,
4370 (plt->contents + h->plt.offset
4371 + htab->lazy_plt->plt_reloc_offset));
4373 /* Put offset for jmp .PLT0 and check for overflow. We don't
4374 check relocation index for overflow since branch displacement
4375 will overflow first. */
4376 if (plt0_offset > 0x80000000)
4377 /* xgettext:c-format */
4378 info->callbacks->einfo (_("%F%pB: branch displacement overflow in PLT entry for `%s'\n"),
4379 output_bfd, h->root.root.string);
4380 bfd_put_32 (output_bfd, - plt0_offset,
4381 (plt->contents + h->plt.offset
4382 + htab->lazy_plt->plt_plt_offset));
4385 bed = get_elf_backend_data (output_bfd);
4386 loc = relplt->contents + plt_index * bed->s->sizeof_rela;
4387 bed->s->swap_reloca_out (output_bfd, &rela, loc);
4390 else if (eh->plt_got.offset != (bfd_vma) -1)
4392 bfd_vma got_offset, plt_offset;
4393 asection *plt, *got;
4394 bool got_after_plt;
4395 int32_t got_pcrel_offset;
4397 /* Set the entry in the GOT procedure linkage table. */
4398 plt = htab->plt_got;
4399 got = htab->elf.sgot;
4400 got_offset = h->got.offset;
4402 if (got_offset == (bfd_vma) -1
4403 || (h->type == STT_GNU_IFUNC && h->def_regular)
4404 || plt == NULL
4405 || got == NULL)
4406 abort ();
4408 /* Use the non-lazy PLT entry template for the GOT PLT since they
4409 are the identical. */
4410 /* Fill in the entry in the GOT procedure linkage table. */
4411 plt_offset = eh->plt_got.offset;
4412 memcpy (plt->contents + plt_offset,
4413 htab->non_lazy_plt->plt_entry,
4414 htab->non_lazy_plt->plt_entry_size);
4416 /* Put offset the PC-relative instruction referring to the GOT
4417 entry, subtracting the size of that instruction. */
4418 got_pcrel_offset = (got->output_section->vma
4419 + got->output_offset
4420 + got_offset
4421 - plt->output_section->vma
4422 - plt->output_offset
4423 - plt_offset
4424 - htab->non_lazy_plt->plt_got_insn_size);
4426 /* Check PC-relative offset overflow in GOT PLT entry. */
4427 got_after_plt = got->output_section->vma > plt->output_section->vma;
4428 if ((got_after_plt && got_pcrel_offset < 0)
4429 || (!got_after_plt && got_pcrel_offset > 0))
4430 /* xgettext:c-format */
4431 info->callbacks->einfo (_("%F%pB: PC-relative offset overflow in GOT PLT entry for `%s'\n"),
4432 output_bfd, h->root.root.string);
4434 bfd_put_32 (output_bfd, got_pcrel_offset,
4435 (plt->contents + plt_offset
4436 + htab->non_lazy_plt->plt_got_offset));
4439 if (!local_undefweak
4440 && !h->def_regular
4441 && (h->plt.offset != (bfd_vma) -1
4442 || eh->plt_got.offset != (bfd_vma) -1))
4444 /* Mark the symbol as undefined, rather than as defined in
4445 the .plt section. Leave the value if there were any
4446 relocations where pointer equality matters (this is a clue
4447 for the dynamic linker, to make function pointer
4448 comparisons work between an application and shared
4449 library), otherwise set it to zero. If a function is only
4450 called from a binary, there is no need to slow down
4451 shared libraries because of that. */
4452 sym->st_shndx = SHN_UNDEF;
4453 if (!h->pointer_equality_needed)
4454 sym->st_value = 0;
4457 _bfd_x86_elf_link_fixup_ifunc_symbol (info, htab, h, sym);
4459 /* Don't generate dynamic GOT relocation against undefined weak
4460 symbol in executable. */
4461 if (h->got.offset != (bfd_vma) -1
4462 && ! GOT_TLS_GD_ANY_P (elf_x86_hash_entry (h)->tls_type)
4463 && elf_x86_hash_entry (h)->tls_type != GOT_TLS_IE
4464 && !local_undefweak)
4466 Elf_Internal_Rela rela;
4467 asection *relgot = htab->elf.srelgot;
4468 const char *relative_reloc_name = NULL;
4469 bool generate_dynamic_reloc = true;
4471 /* This symbol has an entry in the global offset table. Set it
4472 up. */
4473 if (htab->elf.sgot == NULL || htab->elf.srelgot == NULL)
4474 abort ();
4476 rela.r_offset = (htab->elf.sgot->output_section->vma
4477 + htab->elf.sgot->output_offset
4478 + (h->got.offset &~ (bfd_vma) 1));
4480 /* If this is a static link, or it is a -Bsymbolic link and the
4481 symbol is defined locally or was forced to be local because
4482 of a version file, we just want to emit a RELATIVE reloc.
4483 The entry in the global offset table will already have been
4484 initialized in the relocate_section function. */
4485 if (h->def_regular
4486 && h->type == STT_GNU_IFUNC)
4488 if (h->plt.offset == (bfd_vma) -1)
4490 /* STT_GNU_IFUNC is referenced without PLT. */
4491 if (htab->elf.splt == NULL)
4493 /* use .rel[a].iplt section to store .got relocations
4494 in static executable. */
4495 relgot = htab->elf.irelplt;
4497 if (SYMBOL_REFERENCES_LOCAL_P (info, h))
4499 info->callbacks->minfo (_("Local IFUNC function `%s' in %pB\n"),
4500 h->root.root.string,
4501 h->root.u.def.section->owner);
4503 rela.r_info = htab->r_info (0,
4504 R_X86_64_IRELATIVE);
4505 rela.r_addend = (h->root.u.def.value
4506 + h->root.u.def.section->output_section->vma
4507 + h->root.u.def.section->output_offset);
4508 relative_reloc_name = "R_X86_64_IRELATIVE";
4510 else
4511 goto do_glob_dat;
4513 else if (bfd_link_pic (info))
4515 /* Generate R_X86_64_GLOB_DAT. */
4516 goto do_glob_dat;
4518 else
4520 asection *plt;
4521 bfd_vma plt_offset;
4523 if (!h->pointer_equality_needed)
4524 abort ();
4526 /* For non-shared object, we can't use .got.plt, which
4527 contains the real function addres if we need pointer
4528 equality. We load the GOT entry with the PLT entry. */
4529 if (htab->plt_second != NULL)
4531 plt = htab->plt_second;
4532 plt_offset = eh->plt_second.offset;
4534 else
4536 plt = htab->elf.splt ? htab->elf.splt : htab->elf.iplt;
4537 plt_offset = h->plt.offset;
4539 bfd_put_64 (output_bfd, (plt->output_section->vma
4540 + plt->output_offset
4541 + plt_offset),
4542 htab->elf.sgot->contents + h->got.offset);
4543 return true;
4546 else if (bfd_link_pic (info)
4547 && SYMBOL_REFERENCES_LOCAL_P (info, h))
4549 if (!SYMBOL_DEFINED_NON_SHARED_P (h))
4550 return false;
4551 BFD_ASSERT((h->got.offset & 1) != 0);
4552 if (info->enable_dt_relr)
4553 generate_dynamic_reloc = false;
4554 else
4556 rela.r_info = htab->r_info (0, R_X86_64_RELATIVE);
4557 rela.r_addend = (h->root.u.def.value
4558 + h->root.u.def.section->output_section->vma
4559 + h->root.u.def.section->output_offset);
4560 relative_reloc_name = "R_X86_64_RELATIVE";
4563 else
4565 BFD_ASSERT((h->got.offset & 1) == 0);
4566 do_glob_dat:
4567 bfd_put_64 (output_bfd, (bfd_vma) 0,
4568 htab->elf.sgot->contents + h->got.offset);
4569 rela.r_info = htab->r_info (h->dynindx, R_X86_64_GLOB_DAT);
4570 rela.r_addend = 0;
4573 if (generate_dynamic_reloc)
4575 if (relative_reloc_name != NULL
4576 && htab->params->report_relative_reloc)
4577 _bfd_x86_elf_link_report_relative_reloc
4578 (info, relgot, h, sym, relative_reloc_name, &rela);
4580 elf_append_rela (output_bfd, relgot, &rela);
4584 if (h->needs_copy)
4586 Elf_Internal_Rela rela;
4587 asection *s;
4589 /* This symbol needs a copy reloc. Set it up. */
4590 VERIFY_COPY_RELOC (h, htab)
4592 rela.r_offset = (h->root.u.def.value
4593 + h->root.u.def.section->output_section->vma
4594 + h->root.u.def.section->output_offset);
4595 rela.r_info = htab->r_info (h->dynindx, R_X86_64_COPY);
4596 rela.r_addend = 0;
4597 if (h->root.u.def.section == htab->elf.sdynrelro)
4598 s = htab->elf.sreldynrelro;
4599 else
4600 s = htab->elf.srelbss;
4601 elf_append_rela (output_bfd, s, &rela);
4604 return true;
4607 /* Finish up local dynamic symbol handling. We set the contents of
4608 various dynamic sections here. */
4610 static int
4611 elf_x86_64_finish_local_dynamic_symbol (void **slot, void *inf)
4613 struct elf_link_hash_entry *h
4614 = (struct elf_link_hash_entry *) *slot;
4615 struct bfd_link_info *info
4616 = (struct bfd_link_info *) inf;
4618 return elf_x86_64_finish_dynamic_symbol (info->output_bfd,
4619 info, h, NULL);
4622 /* Finish up undefined weak symbol handling in PIE. Fill its PLT entry
4623 here since undefined weak symbol may not be dynamic and may not be
4624 called for elf_x86_64_finish_dynamic_symbol. */
4626 static bool
4627 elf_x86_64_pie_finish_undefweak_symbol (struct bfd_hash_entry *bh,
4628 void *inf)
4630 struct elf_link_hash_entry *h = (struct elf_link_hash_entry *) bh;
4631 struct bfd_link_info *info = (struct bfd_link_info *) inf;
4633 if (h->root.type != bfd_link_hash_undefweak
4634 || h->dynindx != -1)
4635 return true;
4637 return elf_x86_64_finish_dynamic_symbol (info->output_bfd,
4638 info, h, NULL);
4641 /* Used to decide how to sort relocs in an optimal manner for the
4642 dynamic linker, before writing them out. */
4644 static enum elf_reloc_type_class
4645 elf_x86_64_reloc_type_class (const struct bfd_link_info *info,
4646 const asection *rel_sec ATTRIBUTE_UNUSED,
4647 const Elf_Internal_Rela *rela)
4649 bfd *abfd = info->output_bfd;
4650 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
4651 struct elf_x86_link_hash_table *htab
4652 = elf_x86_hash_table (info, X86_64_ELF_DATA);
4654 if (htab->elf.dynsym != NULL
4655 && htab->elf.dynsym->contents != NULL)
4657 /* Check relocation against STT_GNU_IFUNC symbol if there are
4658 dynamic symbols. */
4659 unsigned long r_symndx = htab->r_sym (rela->r_info);
4660 if (r_symndx != STN_UNDEF)
4662 Elf_Internal_Sym sym;
4663 if (!bed->s->swap_symbol_in (abfd,
4664 (htab->elf.dynsym->contents
4665 + r_symndx * bed->s->sizeof_sym),
4666 0, &sym))
4667 abort ();
4669 if (ELF_ST_TYPE (sym.st_info) == STT_GNU_IFUNC)
4670 return reloc_class_ifunc;
4674 switch ((int) ELF32_R_TYPE (rela->r_info))
4676 case R_X86_64_IRELATIVE:
4677 return reloc_class_ifunc;
4678 case R_X86_64_RELATIVE:
4679 case R_X86_64_RELATIVE64:
4680 return reloc_class_relative;
4681 case R_X86_64_JUMP_SLOT:
4682 return reloc_class_plt;
4683 case R_X86_64_COPY:
4684 return reloc_class_copy;
4685 default:
4686 return reloc_class_normal;
4690 /* Finish up the dynamic sections. */
4692 static bool
4693 elf_x86_64_finish_dynamic_sections (bfd *output_bfd,
4694 struct bfd_link_info *info)
4696 struct elf_x86_link_hash_table *htab;
4698 htab = _bfd_x86_elf_finish_dynamic_sections (output_bfd, info);
4699 if (htab == NULL)
4700 return false;
4702 if (! htab->elf.dynamic_sections_created)
4703 return true;
4705 if (htab->elf.splt && htab->elf.splt->size > 0)
4707 if (bfd_is_abs_section (htab->elf.splt->output_section))
4709 info->callbacks->einfo
4710 (_("%F%P: discarded output section: `%pA'\n"),
4711 htab->elf.splt);
4712 return false;
4715 elf_section_data (htab->elf.splt->output_section)
4716 ->this_hdr.sh_entsize = htab->plt.plt_entry_size;
4718 if (htab->plt.has_plt0)
4720 /* Fill in the special first entry in the procedure linkage
4721 table. */
4722 memcpy (htab->elf.splt->contents,
4723 htab->lazy_plt->plt0_entry,
4724 htab->lazy_plt->plt0_entry_size);
4725 /* Add offset for pushq GOT+8(%rip), since the instruction
4726 uses 6 bytes subtract this value. */
4727 bfd_put_32 (output_bfd,
4728 (htab->elf.sgotplt->output_section->vma
4729 + htab->elf.sgotplt->output_offset
4731 - htab->elf.splt->output_section->vma
4732 - htab->elf.splt->output_offset
4733 - 6),
4734 (htab->elf.splt->contents
4735 + htab->lazy_plt->plt0_got1_offset));
4736 /* Add offset for the PC-relative instruction accessing
4737 GOT+16, subtracting the offset to the end of that
4738 instruction. */
4739 bfd_put_32 (output_bfd,
4740 (htab->elf.sgotplt->output_section->vma
4741 + htab->elf.sgotplt->output_offset
4742 + 16
4743 - htab->elf.splt->output_section->vma
4744 - htab->elf.splt->output_offset
4745 - htab->lazy_plt->plt0_got2_insn_end),
4746 (htab->elf.splt->contents
4747 + htab->lazy_plt->plt0_got2_offset));
4750 if (htab->elf.tlsdesc_plt)
4752 bfd_put_64 (output_bfd, (bfd_vma) 0,
4753 htab->elf.sgot->contents + htab->elf.tlsdesc_got);
4755 memcpy (htab->elf.splt->contents + htab->elf.tlsdesc_plt,
4756 htab->lazy_plt->plt_tlsdesc_entry,
4757 htab->lazy_plt->plt_tlsdesc_entry_size);
4759 /* Add offset for pushq GOT+8(%rip), since ENDBR64 uses 4
4760 bytes and the instruction uses 6 bytes, subtract these
4761 values. */
4762 bfd_put_32 (output_bfd,
4763 (htab->elf.sgotplt->output_section->vma
4764 + htab->elf.sgotplt->output_offset
4766 - htab->elf.splt->output_section->vma
4767 - htab->elf.splt->output_offset
4768 - htab->elf.tlsdesc_plt
4769 - htab->lazy_plt->plt_tlsdesc_got1_insn_end),
4770 (htab->elf.splt->contents
4771 + htab->elf.tlsdesc_plt
4772 + htab->lazy_plt->plt_tlsdesc_got1_offset));
4773 /* Add offset for indirect branch via GOT+TDG, where TDG
4774 stands for htab->tlsdesc_got, subtracting the offset
4775 to the end of that instruction. */
4776 bfd_put_32 (output_bfd,
4777 (htab->elf.sgot->output_section->vma
4778 + htab->elf.sgot->output_offset
4779 + htab->elf.tlsdesc_got
4780 - htab->elf.splt->output_section->vma
4781 - htab->elf.splt->output_offset
4782 - htab->elf.tlsdesc_plt
4783 - htab->lazy_plt->plt_tlsdesc_got2_insn_end),
4784 (htab->elf.splt->contents
4785 + htab->elf.tlsdesc_plt
4786 + htab->lazy_plt->plt_tlsdesc_got2_offset));
4790 /* Fill PLT entries for undefined weak symbols in PIE. */
4791 if (bfd_link_pie (info))
4792 bfd_hash_traverse (&info->hash->table,
4793 elf_x86_64_pie_finish_undefweak_symbol,
4794 info);
4796 return true;
4799 /* Fill PLT/GOT entries and allocate dynamic relocations for local
4800 STT_GNU_IFUNC symbols, which aren't in the ELF linker hash table.
4801 It has to be done before elf_link_sort_relocs is called so that
4802 dynamic relocations are properly sorted. */
4804 static bool
4805 elf_x86_64_output_arch_local_syms
4806 (bfd *output_bfd ATTRIBUTE_UNUSED,
4807 struct bfd_link_info *info,
4808 void *flaginfo ATTRIBUTE_UNUSED,
4809 int (*func) (void *, const char *,
4810 Elf_Internal_Sym *,
4811 asection *,
4812 struct elf_link_hash_entry *) ATTRIBUTE_UNUSED)
4814 struct elf_x86_link_hash_table *htab
4815 = elf_x86_hash_table (info, X86_64_ELF_DATA);
4816 if (htab == NULL)
4817 return false;
4819 /* Fill PLT and GOT entries for local STT_GNU_IFUNC symbols. */
4820 htab_traverse (htab->loc_hash_table,
4821 elf_x86_64_finish_local_dynamic_symbol,
4822 info);
4824 return true;
4827 /* Similar to _bfd_elf_get_synthetic_symtab. Support PLTs with all
4828 dynamic relocations. */
4830 static long
4831 elf_x86_64_get_synthetic_symtab (bfd *abfd,
4832 long symcount ATTRIBUTE_UNUSED,
4833 asymbol **syms ATTRIBUTE_UNUSED,
4834 long dynsymcount,
4835 asymbol **dynsyms,
4836 asymbol **ret)
4838 long count, i, n;
4839 int j;
4840 bfd_byte *plt_contents;
4841 long relsize;
4842 const struct elf_x86_lazy_plt_layout *lazy_plt;
4843 const struct elf_x86_non_lazy_plt_layout *non_lazy_plt;
4844 const struct elf_x86_lazy_plt_layout *lazy_bnd_plt;
4845 const struct elf_x86_non_lazy_plt_layout *non_lazy_bnd_plt;
4846 const struct elf_x86_lazy_plt_layout *lazy_ibt_plt;
4847 const struct elf_x86_non_lazy_plt_layout *non_lazy_ibt_plt;
4848 asection *plt;
4849 enum elf_x86_plt_type plt_type;
4850 struct elf_x86_plt plts[] =
4852 { ".plt", NULL, NULL, plt_unknown, 0, 0, 0, 0 },
4853 { ".plt.got", NULL, NULL, plt_non_lazy, 0, 0, 0, 0 },
4854 { ".plt.sec", NULL, NULL, plt_second, 0, 0, 0, 0 },
4855 { ".plt.bnd", NULL, NULL, plt_second, 0, 0, 0, 0 },
4856 { NULL, NULL, NULL, plt_non_lazy, 0, 0, 0, 0 }
4859 *ret = NULL;
4861 if ((abfd->flags & (DYNAMIC | EXEC_P)) == 0)
4862 return 0;
4864 if (dynsymcount <= 0)
4865 return 0;
4867 relsize = bfd_get_dynamic_reloc_upper_bound (abfd);
4868 if (relsize <= 0)
4869 return -1;
4871 lazy_plt = &elf_x86_64_lazy_plt;
4872 non_lazy_plt = &elf_x86_64_non_lazy_plt;
4873 lazy_bnd_plt = &elf_x86_64_lazy_bnd_plt;
4874 non_lazy_bnd_plt = &elf_x86_64_non_lazy_bnd_plt;
4875 if (ABI_64_P (abfd))
4877 lazy_ibt_plt = &elf_x86_64_lazy_ibt_plt;
4878 non_lazy_ibt_plt = &elf_x86_64_non_lazy_ibt_plt;
4880 else
4882 lazy_ibt_plt = &elf_x32_lazy_ibt_plt;
4883 non_lazy_ibt_plt = &elf_x32_non_lazy_ibt_plt;
4886 count = 0;
4887 for (j = 0; plts[j].name != NULL; j++)
4889 plt = bfd_get_section_by_name (abfd, plts[j].name);
4890 if (plt == NULL || plt->size == 0)
4891 continue;
4893 /* Get the PLT section contents. */
4894 if (!bfd_malloc_and_get_section (abfd, plt, &plt_contents))
4895 break;
4897 /* Check what kind of PLT it is. */
4898 plt_type = plt_unknown;
4899 if (plts[j].type == plt_unknown
4900 && (plt->size >= (lazy_plt->plt_entry_size
4901 + lazy_plt->plt_entry_size)))
4903 /* Match lazy PLT first. Need to check the first two
4904 instructions. */
4905 if ((memcmp (plt_contents, lazy_plt->plt0_entry,
4906 lazy_plt->plt0_got1_offset) == 0)
4907 && (memcmp (plt_contents + 6, lazy_plt->plt0_entry + 6,
4908 2) == 0))
4909 plt_type = plt_lazy;
4910 else if (lazy_bnd_plt != NULL
4911 && (memcmp (plt_contents, lazy_bnd_plt->plt0_entry,
4912 lazy_bnd_plt->plt0_got1_offset) == 0)
4913 && (memcmp (plt_contents + 6,
4914 lazy_bnd_plt->plt0_entry + 6, 3) == 0))
4916 plt_type = plt_lazy | plt_second;
4917 /* The fist entry in the lazy IBT PLT is the same as the
4918 lazy BND PLT. */
4919 if ((memcmp (plt_contents + lazy_ibt_plt->plt_entry_size,
4920 lazy_ibt_plt->plt_entry,
4921 lazy_ibt_plt->plt_got_offset) == 0))
4922 lazy_plt = lazy_ibt_plt;
4923 else
4924 lazy_plt = lazy_bnd_plt;
4928 if (non_lazy_plt != NULL
4929 && (plt_type == plt_unknown || plt_type == plt_non_lazy)
4930 && plt->size >= non_lazy_plt->plt_entry_size)
4932 /* Match non-lazy PLT. */
4933 if (memcmp (plt_contents, non_lazy_plt->plt_entry,
4934 non_lazy_plt->plt_got_offset) == 0)
4935 plt_type = plt_non_lazy;
4938 if (plt_type == plt_unknown || plt_type == plt_second)
4940 if (non_lazy_bnd_plt != NULL
4941 && plt->size >= non_lazy_bnd_plt->plt_entry_size
4942 && (memcmp (plt_contents, non_lazy_bnd_plt->plt_entry,
4943 non_lazy_bnd_plt->plt_got_offset) == 0))
4945 /* Match BND PLT. */
4946 plt_type = plt_second;
4947 non_lazy_plt = non_lazy_bnd_plt;
4949 else if (non_lazy_ibt_plt != NULL
4950 && plt->size >= non_lazy_ibt_plt->plt_entry_size
4951 && (memcmp (plt_contents,
4952 non_lazy_ibt_plt->plt_entry,
4953 non_lazy_ibt_plt->plt_got_offset) == 0))
4955 /* Match IBT PLT. */
4956 plt_type = plt_second;
4957 non_lazy_plt = non_lazy_ibt_plt;
4961 if (plt_type == plt_unknown)
4963 free (plt_contents);
4964 continue;
4967 plts[j].sec = plt;
4968 plts[j].type = plt_type;
4970 if ((plt_type & plt_lazy))
4972 plts[j].plt_got_offset = lazy_plt->plt_got_offset;
4973 plts[j].plt_got_insn_size = lazy_plt->plt_got_insn_size;
4974 plts[j].plt_entry_size = lazy_plt->plt_entry_size;
4975 /* Skip PLT0 in lazy PLT. */
4976 i = 1;
4978 else
4980 plts[j].plt_got_offset = non_lazy_plt->plt_got_offset;
4981 plts[j].plt_got_insn_size = non_lazy_plt->plt_got_insn_size;
4982 plts[j].plt_entry_size = non_lazy_plt->plt_entry_size;
4983 i = 0;
4986 /* Skip lazy PLT when the second PLT is used. */
4987 if (plt_type == (plt_lazy | plt_second))
4988 plts[j].count = 0;
4989 else
4991 n = plt->size / plts[j].plt_entry_size;
4992 plts[j].count = n;
4993 count += n - i;
4996 plts[j].contents = plt_contents;
4999 return _bfd_x86_elf_get_synthetic_symtab (abfd, count, relsize,
5000 (bfd_vma) 0, plts, dynsyms,
5001 ret);
5004 /* Handle an x86-64 specific section when reading an object file. This
5005 is called when elfcode.h finds a section with an unknown type. */
5007 static bool
5008 elf_x86_64_section_from_shdr (bfd *abfd, Elf_Internal_Shdr *hdr,
5009 const char *name, int shindex)
5011 if (hdr->sh_type != SHT_X86_64_UNWIND)
5012 return false;
5014 if (! _bfd_elf_make_section_from_shdr (abfd, hdr, name, shindex))
5015 return false;
5017 return true;
5020 /* Hook called by the linker routine which adds symbols from an object
5021 file. We use it to put SHN_X86_64_LCOMMON items in .lbss, instead
5022 of .bss. */
5024 static bool
5025 elf_x86_64_add_symbol_hook (bfd *abfd,
5026 struct bfd_link_info *info ATTRIBUTE_UNUSED,
5027 Elf_Internal_Sym *sym,
5028 const char **namep ATTRIBUTE_UNUSED,
5029 flagword *flagsp ATTRIBUTE_UNUSED,
5030 asection **secp,
5031 bfd_vma *valp)
5033 asection *lcomm;
5035 switch (sym->st_shndx)
5037 case SHN_X86_64_LCOMMON:
5038 lcomm = bfd_get_section_by_name (abfd, "LARGE_COMMON");
5039 if (lcomm == NULL)
5041 lcomm = bfd_make_section_with_flags (abfd,
5042 "LARGE_COMMON",
5043 (SEC_ALLOC
5044 | SEC_IS_COMMON
5045 | SEC_LINKER_CREATED));
5046 if (lcomm == NULL)
5047 return false;
5048 elf_section_flags (lcomm) |= SHF_X86_64_LARGE;
5050 *secp = lcomm;
5051 *valp = sym->st_size;
5052 return true;
5055 return true;
5059 /* Given a BFD section, try to locate the corresponding ELF section
5060 index. */
5062 static bool
5063 elf_x86_64_elf_section_from_bfd_section (bfd *abfd ATTRIBUTE_UNUSED,
5064 asection *sec, int *index_return)
5066 if (sec == &_bfd_elf_large_com_section)
5068 *index_return = SHN_X86_64_LCOMMON;
5069 return true;
5071 return false;
5074 /* Process a symbol. */
5076 static void
5077 elf_x86_64_symbol_processing (bfd *abfd ATTRIBUTE_UNUSED,
5078 asymbol *asym)
5080 elf_symbol_type *elfsym = (elf_symbol_type *) asym;
5082 switch (elfsym->internal_elf_sym.st_shndx)
5084 case SHN_X86_64_LCOMMON:
5085 asym->section = &_bfd_elf_large_com_section;
5086 asym->value = elfsym->internal_elf_sym.st_size;
5087 /* Common symbol doesn't set BSF_GLOBAL. */
5088 asym->flags &= ~BSF_GLOBAL;
5089 break;
5093 static bool
5094 elf_x86_64_common_definition (Elf_Internal_Sym *sym)
5096 return (sym->st_shndx == SHN_COMMON
5097 || sym->st_shndx == SHN_X86_64_LCOMMON);
5100 static unsigned int
5101 elf_x86_64_common_section_index (asection *sec)
5103 if ((elf_section_flags (sec) & SHF_X86_64_LARGE) == 0)
5104 return SHN_COMMON;
5105 else
5106 return SHN_X86_64_LCOMMON;
5109 static asection *
5110 elf_x86_64_common_section (asection *sec)
5112 if ((elf_section_flags (sec) & SHF_X86_64_LARGE) == 0)
5113 return bfd_com_section_ptr;
5114 else
5115 return &_bfd_elf_large_com_section;
5118 static bool
5119 elf_x86_64_merge_symbol (struct elf_link_hash_entry *h,
5120 const Elf_Internal_Sym *sym,
5121 asection **psec,
5122 bool newdef,
5123 bool olddef,
5124 bfd *oldbfd,
5125 const asection *oldsec)
5127 /* A normal common symbol and a large common symbol result in a
5128 normal common symbol. We turn the large common symbol into a
5129 normal one. */
5130 if (!olddef
5131 && h->root.type == bfd_link_hash_common
5132 && !newdef
5133 && bfd_is_com_section (*psec)
5134 && oldsec != *psec)
5136 if (sym->st_shndx == SHN_COMMON
5137 && (elf_section_flags (oldsec) & SHF_X86_64_LARGE) != 0)
5139 h->root.u.c.p->section
5140 = bfd_make_section_old_way (oldbfd, "COMMON");
5141 h->root.u.c.p->section->flags = SEC_ALLOC;
5143 else if (sym->st_shndx == SHN_X86_64_LCOMMON
5144 && (elf_section_flags (oldsec) & SHF_X86_64_LARGE) == 0)
5145 *psec = bfd_com_section_ptr;
5148 return true;
5151 static int
5152 elf_x86_64_additional_program_headers (bfd *abfd,
5153 struct bfd_link_info *info ATTRIBUTE_UNUSED)
5155 asection *s;
5156 int count = 0;
5158 /* Check to see if we need a large readonly segment. */
5159 s = bfd_get_section_by_name (abfd, ".lrodata");
5160 if (s && (s->flags & SEC_LOAD))
5161 count++;
5163 /* Check to see if we need a large data segment. Since .lbss sections
5164 is placed right after the .bss section, there should be no need for
5165 a large data segment just because of .lbss. */
5166 s = bfd_get_section_by_name (abfd, ".ldata");
5167 if (s && (s->flags & SEC_LOAD))
5168 count++;
5170 return count;
5173 /* Return TRUE iff relocations for INPUT are compatible with OUTPUT. */
5175 static bool
5176 elf_x86_64_relocs_compatible (const bfd_target *input,
5177 const bfd_target *output)
5179 return ((xvec_get_elf_backend_data (input)->s->elfclass
5180 == xvec_get_elf_backend_data (output)->s->elfclass)
5181 && _bfd_elf_relocs_compatible (input, output));
5184 /* Set up x86-64 GNU properties. Return the first relocatable ELF input
5185 with GNU properties if found. Otherwise, return NULL. */
5187 static bfd *
5188 elf_x86_64_link_setup_gnu_properties (struct bfd_link_info *info)
5190 struct elf_x86_init_table init_table;
5191 const struct elf_backend_data *bed;
5192 struct elf_x86_link_hash_table *htab;
5194 if ((int) R_X86_64_standard >= (int) R_X86_64_converted_reloc_bit
5195 || (int) R_X86_64_max <= (int) R_X86_64_converted_reloc_bit
5196 || ((int) (R_X86_64_GNU_VTINHERIT | R_X86_64_converted_reloc_bit)
5197 != (int) R_X86_64_GNU_VTINHERIT)
5198 || ((int) (R_X86_64_GNU_VTENTRY | R_X86_64_converted_reloc_bit)
5199 != (int) R_X86_64_GNU_VTENTRY))
5200 abort ();
5202 /* This is unused for x86-64. */
5203 init_table.plt0_pad_byte = 0x90;
5205 bed = get_elf_backend_data (info->output_bfd);
5206 htab = elf_x86_hash_table (info, bed->target_id);
5207 if (!htab)
5208 abort ();
5209 if (htab->params->bndplt)
5211 init_table.lazy_plt = &elf_x86_64_lazy_bnd_plt;
5212 init_table.non_lazy_plt = &elf_x86_64_non_lazy_bnd_plt;
5214 else
5216 init_table.lazy_plt = &elf_x86_64_lazy_plt;
5217 init_table.non_lazy_plt = &elf_x86_64_non_lazy_plt;
5220 if (ABI_64_P (info->output_bfd))
5222 init_table.lazy_ibt_plt = &elf_x86_64_lazy_ibt_plt;
5223 init_table.non_lazy_ibt_plt = &elf_x86_64_non_lazy_ibt_plt;
5225 else
5227 init_table.lazy_ibt_plt = &elf_x32_lazy_ibt_plt;
5228 init_table.non_lazy_ibt_plt = &elf_x32_non_lazy_ibt_plt;
5231 if (ABI_64_P (info->output_bfd))
5233 init_table.r_info = elf64_r_info;
5234 init_table.r_sym = elf64_r_sym;
5236 else
5238 init_table.r_info = elf32_r_info;
5239 init_table.r_sym = elf32_r_sym;
5242 return _bfd_x86_elf_link_setup_gnu_properties (info, &init_table);
5245 static const struct bfd_elf_special_section
5246 elf_x86_64_special_sections[]=
5248 { STRING_COMMA_LEN (".gnu.linkonce.lb"), -2, SHT_NOBITS, SHF_ALLOC + SHF_WRITE + SHF_X86_64_LARGE},
5249 { STRING_COMMA_LEN (".gnu.linkonce.lr"), -2, SHT_PROGBITS, SHF_ALLOC + SHF_X86_64_LARGE},
5250 { STRING_COMMA_LEN (".gnu.linkonce.lt"), -2, SHT_PROGBITS, SHF_ALLOC + SHF_EXECINSTR + SHF_X86_64_LARGE},
5251 { STRING_COMMA_LEN (".lbss"), -2, SHT_NOBITS, SHF_ALLOC + SHF_WRITE + SHF_X86_64_LARGE},
5252 { STRING_COMMA_LEN (".ldata"), -2, SHT_PROGBITS, SHF_ALLOC + SHF_WRITE + SHF_X86_64_LARGE},
5253 { STRING_COMMA_LEN (".lrodata"), -2, SHT_PROGBITS, SHF_ALLOC + SHF_X86_64_LARGE},
5254 { NULL, 0, 0, 0, 0 }
5257 #define TARGET_LITTLE_SYM x86_64_elf64_vec
5258 #define TARGET_LITTLE_NAME "elf64-x86-64"
5259 #define ELF_ARCH bfd_arch_i386
5260 #define ELF_TARGET_ID X86_64_ELF_DATA
5261 #define ELF_MACHINE_CODE EM_X86_64
5262 #define ELF_MAXPAGESIZE 0x1000
5263 #define ELF_COMMONPAGESIZE 0x1000
5265 #define elf_backend_can_gc_sections 1
5266 #define elf_backend_can_refcount 1
5267 #define elf_backend_want_got_plt 1
5268 #define elf_backend_plt_readonly 1
5269 #define elf_backend_want_plt_sym 0
5270 #define elf_backend_got_header_size (GOT_ENTRY_SIZE*3)
5271 #define elf_backend_rela_normal 1
5272 #define elf_backend_plt_alignment 4
5273 #define elf_backend_caches_rawsize 1
5274 #define elf_backend_dtrel_excludes_plt 1
5275 #define elf_backend_want_dynrelro 1
5277 #define elf_info_to_howto elf_x86_64_info_to_howto
5279 #define bfd_elf64_bfd_reloc_type_lookup elf_x86_64_reloc_type_lookup
5280 #define bfd_elf64_bfd_reloc_name_lookup \
5281 elf_x86_64_reloc_name_lookup
5283 #define elf_backend_relocs_compatible elf_x86_64_relocs_compatible
5284 #define elf_backend_always_size_sections elf_x86_64_always_size_sections
5285 #define elf_backend_create_dynamic_sections _bfd_elf_create_dynamic_sections
5286 #define elf_backend_finish_dynamic_sections elf_x86_64_finish_dynamic_sections
5287 #define elf_backend_finish_dynamic_symbol elf_x86_64_finish_dynamic_symbol
5288 #define elf_backend_output_arch_local_syms elf_x86_64_output_arch_local_syms
5289 #define elf_backend_grok_prstatus elf_x86_64_grok_prstatus
5290 #define elf_backend_grok_psinfo elf_x86_64_grok_psinfo
5291 #ifdef CORE_HEADER
5292 #define elf_backend_write_core_note elf_x86_64_write_core_note
5293 #endif
5294 #define elf_backend_reloc_type_class elf_x86_64_reloc_type_class
5295 #define elf_backend_relocate_section elf_x86_64_relocate_section
5296 #define elf_backend_init_index_section _bfd_elf_init_1_index_section
5297 #define elf_backend_object_p elf64_x86_64_elf_object_p
5298 #define bfd_elf64_get_synthetic_symtab elf_x86_64_get_synthetic_symtab
5300 #define elf_backend_section_from_shdr \
5301 elf_x86_64_section_from_shdr
5303 #define elf_backend_section_from_bfd_section \
5304 elf_x86_64_elf_section_from_bfd_section
5305 #define elf_backend_add_symbol_hook \
5306 elf_x86_64_add_symbol_hook
5307 #define elf_backend_symbol_processing \
5308 elf_x86_64_symbol_processing
5309 #define elf_backend_common_section_index \
5310 elf_x86_64_common_section_index
5311 #define elf_backend_common_section \
5312 elf_x86_64_common_section
5313 #define elf_backend_common_definition \
5314 elf_x86_64_common_definition
5315 #define elf_backend_merge_symbol \
5316 elf_x86_64_merge_symbol
5317 #define elf_backend_special_sections \
5318 elf_x86_64_special_sections
5319 #define elf_backend_additional_program_headers \
5320 elf_x86_64_additional_program_headers
5321 #define elf_backend_setup_gnu_properties \
5322 elf_x86_64_link_setup_gnu_properties
5323 #define elf_backend_hide_symbol \
5324 _bfd_x86_elf_hide_symbol
5326 #undef elf64_bed
5327 #define elf64_bed elf64_x86_64_bed
5329 #include "elf64-target.h"
5331 /* CloudABI support. */
5333 #undef TARGET_LITTLE_SYM
5334 #define TARGET_LITTLE_SYM x86_64_elf64_cloudabi_vec
5335 #undef TARGET_LITTLE_NAME
5336 #define TARGET_LITTLE_NAME "elf64-x86-64-cloudabi"
5338 #undef ELF_OSABI
5339 #define ELF_OSABI ELFOSABI_CLOUDABI
5341 #undef elf64_bed
5342 #define elf64_bed elf64_x86_64_cloudabi_bed
5344 #include "elf64-target.h"
5346 /* FreeBSD support. */
5348 #undef TARGET_LITTLE_SYM
5349 #define TARGET_LITTLE_SYM x86_64_elf64_fbsd_vec
5350 #undef TARGET_LITTLE_NAME
5351 #define TARGET_LITTLE_NAME "elf64-x86-64-freebsd"
5353 #undef ELF_OSABI
5354 #define ELF_OSABI ELFOSABI_FREEBSD
5356 #undef elf64_bed
5357 #define elf64_bed elf64_x86_64_fbsd_bed
5359 #include "elf64-target.h"
5361 /* Solaris 2 support. */
5363 #undef TARGET_LITTLE_SYM
5364 #define TARGET_LITTLE_SYM x86_64_elf64_sol2_vec
5365 #undef TARGET_LITTLE_NAME
5366 #define TARGET_LITTLE_NAME "elf64-x86-64-sol2"
5368 #undef ELF_TARGET_OS
5369 #define ELF_TARGET_OS is_solaris
5371 /* Restore default: we cannot use ELFOSABI_SOLARIS, otherwise ELFOSABI_NONE
5372 objects won't be recognized. */
5373 #undef ELF_OSABI
5375 #undef elf64_bed
5376 #define elf64_bed elf64_x86_64_sol2_bed
5378 /* The 64-bit static TLS arena size is rounded to the nearest 16-byte
5379 boundary. */
5380 #undef elf_backend_static_tls_alignment
5381 #define elf_backend_static_tls_alignment 16
5383 /* The Solaris 2 ABI requires a plt symbol on all platforms.
5385 Cf. Linker and Libraries Guide, Ch. 2, Link-Editor, Generating the Output
5386 File, p.63. */
5387 #undef elf_backend_want_plt_sym
5388 #define elf_backend_want_plt_sym 1
5390 #undef elf_backend_strtab_flags
5391 #define elf_backend_strtab_flags SHF_STRINGS
5393 static bool
5394 elf64_x86_64_copy_solaris_special_section_fields (const bfd *ibfd ATTRIBUTE_UNUSED,
5395 bfd *obfd ATTRIBUTE_UNUSED,
5396 const Elf_Internal_Shdr *isection ATTRIBUTE_UNUSED,
5397 Elf_Internal_Shdr *osection ATTRIBUTE_UNUSED)
5399 /* PR 19938: FIXME: Need to add code for setting the sh_info
5400 and sh_link fields of Solaris specific section types. */
5401 return false;
5404 #undef elf_backend_copy_special_section_fields
5405 #define elf_backend_copy_special_section_fields elf64_x86_64_copy_solaris_special_section_fields
5407 #include "elf64-target.h"
5409 /* Restore defaults. */
5410 #undef ELF_OSABI
5411 #undef elf_backend_static_tls_alignment
5412 #undef elf_backend_want_plt_sym
5413 #define elf_backend_want_plt_sym 0
5414 #undef elf_backend_strtab_flags
5415 #undef elf_backend_copy_special_section_fields
5417 /* 32bit x86-64 support. */
5419 #undef TARGET_LITTLE_SYM
5420 #define TARGET_LITTLE_SYM x86_64_elf32_vec
5421 #undef TARGET_LITTLE_NAME
5422 #define TARGET_LITTLE_NAME "elf32-x86-64"
5423 #undef elf32_bed
5424 #define elf32_bed elf32_x86_64_bed
5426 #undef ELF_ARCH
5427 #define ELF_ARCH bfd_arch_i386
5429 #undef ELF_MACHINE_CODE
5430 #define ELF_MACHINE_CODE EM_X86_64
5432 #undef ELF_TARGET_OS
5433 #undef ELF_OSABI
5435 #define bfd_elf32_bfd_reloc_type_lookup \
5436 elf_x86_64_reloc_type_lookup
5437 #define bfd_elf32_bfd_reloc_name_lookup \
5438 elf_x86_64_reloc_name_lookup
5439 #define bfd_elf32_get_synthetic_symtab \
5440 elf_x86_64_get_synthetic_symtab
5442 #undef elf_backend_object_p
5443 #define elf_backend_object_p \
5444 elf32_x86_64_elf_object_p
5446 #undef elf_backend_bfd_from_remote_memory
5447 #define elf_backend_bfd_from_remote_memory \
5448 _bfd_elf32_bfd_from_remote_memory
5450 #undef elf_backend_size_info
5451 #define elf_backend_size_info \
5452 _bfd_elf32_size_info
5454 #include "elf32-target.h"