Add ADR :tlsgd: directive and TLSGD_ADR_PREL21 support.
[deliverable/binutils-gdb.git] / bfd / elfxx-aarch64.c
1 /* AArch64-specific support for ELF.
2 Copyright (C) 2009-2015 Free Software Foundation, Inc.
3 Contributed by ARM Ltd.
4
5 This file is part of BFD, the Binary File Descriptor library.
6
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.
11
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.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; see the file COPYING3. If not,
19 see <http://www.gnu.org/licenses/>. */
20
21 #include "sysdep.h"
22 #include "elfxx-aarch64.h"
23 #include <stdarg.h>
24 #include <string.h>
25
26 #define MASK(n) ((1u << (n)) - 1)
27
28 /* Decode the 26-bit offset of unconditional branch. */
29 static inline uint32_t
30 decode_branch_ofs_26 (uint32_t insn)
31 {
32 return insn & MASK (26);
33 }
34
35 /* Decode the 19-bit offset of conditional branch and compare & branch. */
36 static inline uint32_t
37 decode_cond_branch_ofs_19 (uint32_t insn)
38 {
39 return (insn >> 5) & MASK (19);
40 }
41
42 /* Decode the 19-bit offset of load literal. */
43 static inline uint32_t
44 decode_ld_lit_ofs_19 (uint32_t insn)
45 {
46 return (insn >> 5) & MASK (19);
47 }
48
49 /* Decode the 14-bit offset of test & branch. */
50 static inline uint32_t
51 decode_tst_branch_ofs_14 (uint32_t insn)
52 {
53 return (insn >> 5) & MASK (14);
54 }
55
56 /* Decode the 16-bit imm of move wide. */
57 static inline uint32_t
58 decode_movw_imm (uint32_t insn)
59 {
60 return (insn >> 5) & MASK (16);
61 }
62
63 /* Decode the 12-bit imm of add immediate. */
64 static inline uint32_t
65 decode_add_imm (uint32_t insn)
66 {
67 return (insn >> 10) & MASK (12);
68 }
69
70 /* Reencode the imm field of add immediate. */
71 static inline uint32_t
72 reencode_add_imm (uint32_t insn, uint32_t imm)
73 {
74 return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
75 }
76
77 /* Reencode the imm field of adr. */
78 static inline uint32_t
79 reencode_adr_imm (uint32_t insn, uint32_t imm)
80 {
81 return (insn & ~((MASK (2) << 29) | (MASK (19) << 5)))
82 | ((imm & MASK (2)) << 29) | ((imm & (MASK (19) << 2)) << 3);
83 }
84
85 /* Reencode the imm field of ld/st pos immediate. */
86 static inline uint32_t
87 reencode_ldst_pos_imm (uint32_t insn, uint32_t imm)
88 {
89 return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
90 }
91
92 /* Encode the 26-bit offset of unconditional branch. */
93 static inline uint32_t
94 reencode_branch_ofs_26 (uint32_t insn, uint32_t ofs)
95 {
96 return (insn & ~MASK (26)) | (ofs & MASK (26));
97 }
98
99 /* Encode the 19-bit offset of conditional branch and compare & branch. */
100 static inline uint32_t
101 reencode_cond_branch_ofs_19 (uint32_t insn, uint32_t ofs)
102 {
103 return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
104 }
105
106 /* Decode the 19-bit offset of load literal. */
107 static inline uint32_t
108 reencode_ld_lit_ofs_19 (uint32_t insn, uint32_t ofs)
109 {
110 return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
111 }
112
113 /* Encode the 14-bit offset of test & branch. */
114 static inline uint32_t
115 reencode_tst_branch_ofs_14 (uint32_t insn, uint32_t ofs)
116 {
117 return (insn & ~(MASK (14) << 5)) | ((ofs & MASK (14)) << 5);
118 }
119
120 /* Reencode the imm field of move wide. */
121 static inline uint32_t
122 reencode_movw_imm (uint32_t insn, uint32_t imm)
123 {
124 return (insn & ~(MASK (16) << 5)) | ((imm & MASK (16)) << 5);
125 }
126
127 /* Reencode mov[zn] to movz. */
128 static inline uint32_t
129 reencode_movzn_to_movz (uint32_t opcode)
130 {
131 return opcode | (1 << 30);
132 }
133
134 /* Reencode mov[zn] to movn. */
135 static inline uint32_t
136 reencode_movzn_to_movn (uint32_t opcode)
137 {
138 return opcode & ~(1 << 30);
139 }
140
141 /* Return non-zero if the indicated VALUE has overflowed the maximum
142 range expressible by a unsigned number with the indicated number of
143 BITS. */
144
145 static bfd_reloc_status_type
146 aarch64_unsigned_overflow (bfd_vma value, unsigned int bits)
147 {
148 bfd_vma lim;
149 if (bits >= sizeof (bfd_vma) * 8)
150 return bfd_reloc_ok;
151 lim = (bfd_vma) 1 << bits;
152 if (value >= lim)
153 return bfd_reloc_overflow;
154 return bfd_reloc_ok;
155 }
156
157 /* Return non-zero if the indicated VALUE has overflowed the maximum
158 range expressible by an signed number with the indicated number of
159 BITS. */
160
161 static bfd_reloc_status_type
162 aarch64_signed_overflow (bfd_vma value, unsigned int bits)
163 {
164 bfd_signed_vma svalue = (bfd_signed_vma) value;
165 bfd_signed_vma lim;
166
167 if (bits >= sizeof (bfd_vma) * 8)
168 return bfd_reloc_ok;
169 lim = (bfd_signed_vma) 1 << (bits - 1);
170 if (svalue < -lim || svalue >= lim)
171 return bfd_reloc_overflow;
172 return bfd_reloc_ok;
173 }
174
175 /* Insert the addend/value into the instruction or data object being
176 relocated. */
177 bfd_reloc_status_type
178 _bfd_aarch64_elf_put_addend (bfd *abfd,
179 bfd_byte *address, bfd_reloc_code_real_type r_type,
180 reloc_howto_type *howto, bfd_signed_vma addend)
181 {
182 bfd_reloc_status_type status = bfd_reloc_ok;
183 bfd_signed_vma old_addend = addend;
184 bfd_vma contents;
185 int size;
186
187 size = bfd_get_reloc_size (howto);
188 switch (size)
189 {
190 case 0:
191 return status;
192 case 2:
193 contents = bfd_get_16 (abfd, address);
194 break;
195 case 4:
196 if (howto->src_mask != 0xffffffff)
197 /* Must be 32-bit instruction, always little-endian. */
198 contents = bfd_getl32 (address);
199 else
200 /* Must be 32-bit data (endianness dependent). */
201 contents = bfd_get_32 (abfd, address);
202 break;
203 case 8:
204 contents = bfd_get_64 (abfd, address);
205 break;
206 default:
207 abort ();
208 }
209
210 switch (howto->complain_on_overflow)
211 {
212 case complain_overflow_dont:
213 break;
214 case complain_overflow_signed:
215 status = aarch64_signed_overflow (addend,
216 howto->bitsize + howto->rightshift);
217 break;
218 case complain_overflow_unsigned:
219 status = aarch64_unsigned_overflow (addend,
220 howto->bitsize + howto->rightshift);
221 break;
222 case complain_overflow_bitfield:
223 default:
224 abort ();
225 }
226
227 addend >>= howto->rightshift;
228
229 switch (r_type)
230 {
231 case BFD_RELOC_AARCH64_JUMP26:
232 case BFD_RELOC_AARCH64_CALL26:
233 contents = reencode_branch_ofs_26 (contents, addend);
234 break;
235
236 case BFD_RELOC_AARCH64_BRANCH19:
237 contents = reencode_cond_branch_ofs_19 (contents, addend);
238 break;
239
240 case BFD_RELOC_AARCH64_TSTBR14:
241 contents = reencode_tst_branch_ofs_14 (contents, addend);
242 break;
243
244 case BFD_RELOC_AARCH64_LD_LO19_PCREL:
245 case BFD_RELOC_AARCH64_GOT_LD_PREL19:
246 case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
247 if (old_addend & ((1 << howto->rightshift) - 1))
248 return bfd_reloc_overflow;
249 contents = reencode_ld_lit_ofs_19 (contents, addend);
250 break;
251
252 case BFD_RELOC_AARCH64_TLSDESC_CALL:
253 break;
254
255 case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
256 case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
257 case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
258 case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
259 case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
260 case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
261 case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
262 case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
263 contents = reencode_adr_imm (contents, addend);
264 break;
265
266 case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
267 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
268 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
269 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
270 case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12_NC:
271 case BFD_RELOC_AARCH64_ADD_LO12:
272 /* Corresponds to: add rd, rn, #uimm12 to provide the low order
273 12 bits of the page offset following
274 BFD_RELOC_AARCH64_ADR_HI21_PCREL which computes the
275 (pc-relative) page base. */
276 contents = reencode_add_imm (contents, addend);
277 break;
278
279 case BFD_RELOC_AARCH64_LDST8_LO12:
280 case BFD_RELOC_AARCH64_LDST16_LO12:
281 case BFD_RELOC_AARCH64_LDST32_LO12:
282 case BFD_RELOC_AARCH64_LDST64_LO12:
283 case BFD_RELOC_AARCH64_LDST128_LO12:
284 case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12_NC:
285 case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
286 case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
287 case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
288 case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
289 case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
290 if (old_addend & ((1 << howto->rightshift) - 1))
291 return bfd_reloc_overflow;
292 /* Used for ldr*|str* rt, [rn, #uimm12] to provide the low order
293 12 bits of the page offset following BFD_RELOC_AARCH64_ADR_HI21_PCREL
294 which computes the (pc-relative) page base. */
295 contents = reencode_ldst_pos_imm (contents, addend);
296 break;
297
298 /* Group relocations to create high bits of a 16, 32, 48 or 64
299 bit signed data or abs address inline. Will change
300 instruction to MOVN or MOVZ depending on sign of calculated
301 value. */
302
303 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
304 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
305 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
306 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
307 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
308 case BFD_RELOC_AARCH64_MOVW_G0_S:
309 case BFD_RELOC_AARCH64_MOVW_G1_S:
310 case BFD_RELOC_AARCH64_MOVW_G2_S:
311 /* NOTE: We can only come here with movz or movn. */
312 if (addend < 0)
313 {
314 /* Force use of MOVN. */
315 addend = ~addend;
316 contents = reencode_movzn_to_movn (contents);
317 }
318 else
319 {
320 /* Force use of MOVZ. */
321 contents = reencode_movzn_to_movz (contents);
322 }
323 /* fall through */
324
325 /* Group relocations to create a 16, 32, 48 or 64 bit unsigned
326 data or abs address inline. */
327
328 case BFD_RELOC_AARCH64_MOVW_G0:
329 case BFD_RELOC_AARCH64_MOVW_G0_NC:
330 case BFD_RELOC_AARCH64_MOVW_G1:
331 case BFD_RELOC_AARCH64_MOVW_G1_NC:
332 case BFD_RELOC_AARCH64_MOVW_G2:
333 case BFD_RELOC_AARCH64_MOVW_G2_NC:
334 case BFD_RELOC_AARCH64_MOVW_G3:
335 contents = reencode_movw_imm (contents, addend);
336 break;
337
338 default:
339 /* Repack simple data */
340 if (howto->dst_mask & (howto->dst_mask + 1))
341 return bfd_reloc_notsupported;
342
343 contents = ((contents & ~howto->dst_mask) | (addend & howto->dst_mask));
344 break;
345 }
346
347 switch (size)
348 {
349 case 2:
350 bfd_put_16 (abfd, contents, address);
351 break;
352 case 4:
353 if (howto->dst_mask != 0xffffffff)
354 /* must be 32-bit instruction, always little-endian */
355 bfd_putl32 (contents, address);
356 else
357 /* must be 32-bit data (endianness dependent) */
358 bfd_put_32 (abfd, contents, address);
359 break;
360 case 8:
361 bfd_put_64 (abfd, contents, address);
362 break;
363 default:
364 abort ();
365 }
366
367 return status;
368 }
369
370 bfd_vma
371 _bfd_aarch64_elf_resolve_relocation (bfd_reloc_code_real_type r_type,
372 bfd_vma place, bfd_vma value,
373 bfd_vma addend, bfd_boolean weak_undef_p)
374 {
375 switch (r_type)
376 {
377 case BFD_RELOC_AARCH64_TLSDESC_CALL:
378 case BFD_RELOC_AARCH64_NONE:
379 break;
380
381 case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
382 case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
383 case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
384 case BFD_RELOC_AARCH64_BRANCH19:
385 case BFD_RELOC_AARCH64_LD_LO19_PCREL:
386 case BFD_RELOC_AARCH64_16_PCREL:
387 case BFD_RELOC_AARCH64_32_PCREL:
388 case BFD_RELOC_AARCH64_64_PCREL:
389 case BFD_RELOC_AARCH64_TSTBR14:
390 if (weak_undef_p)
391 value = place;
392 value = value + addend - place;
393 break;
394
395 case BFD_RELOC_AARCH64_CALL26:
396 case BFD_RELOC_AARCH64_JUMP26:
397 value = value + addend - place;
398 break;
399
400 case BFD_RELOC_AARCH64_16:
401 case BFD_RELOC_AARCH64_32:
402 case BFD_RELOC_AARCH64_MOVW_G0_S:
403 case BFD_RELOC_AARCH64_MOVW_G1_S:
404 case BFD_RELOC_AARCH64_MOVW_G2_S:
405 case BFD_RELOC_AARCH64_MOVW_G0:
406 case BFD_RELOC_AARCH64_MOVW_G0_NC:
407 case BFD_RELOC_AARCH64_MOVW_G1:
408 case BFD_RELOC_AARCH64_MOVW_G1_NC:
409 case BFD_RELOC_AARCH64_MOVW_G2:
410 case BFD_RELOC_AARCH64_MOVW_G2_NC:
411 case BFD_RELOC_AARCH64_MOVW_G3:
412 value = value + addend;
413 break;
414
415 case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
416 case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
417 if (weak_undef_p)
418 value = PG (place);
419 value = PG (value + addend) - PG (place);
420 break;
421
422 case BFD_RELOC_AARCH64_GOT_LD_PREL19:
423 value = value + addend - place;
424 break;
425
426 case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
427 case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
428 case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
429 case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
430 value = PG (value + addend) - PG (place);
431 break;
432
433 case BFD_RELOC_AARCH64_ADD_LO12:
434 case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
435 case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
436 case BFD_RELOC_AARCH64_LDST8_LO12:
437 case BFD_RELOC_AARCH64_LDST16_LO12:
438 case BFD_RELOC_AARCH64_LDST32_LO12:
439 case BFD_RELOC_AARCH64_LDST64_LO12:
440 case BFD_RELOC_AARCH64_LDST128_LO12:
441 case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12_NC:
442 case BFD_RELOC_AARCH64_TLSDESC_ADD:
443 case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12_NC:
444 case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
445 case BFD_RELOC_AARCH64_TLSDESC_LDR:
446 case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
447 case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
448 case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
449 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
450 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
451 value = PG_OFFSET (value + addend);
452 break;
453
454 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
455 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
456 value = (value + addend) & (bfd_vma) 0xffff0000;
457 break;
458 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
459 /* Mask off low 12bits, keep all other high bits, so that the later
460 generic code could check whehter there is overflow. */
461 value = (value + addend) & ~(bfd_vma) 0xfff;
462 break;
463
464 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
465 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
466 value = (value + addend) & (bfd_vma) 0xffff;
467 break;
468
469 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
470 value = (value + addend) & ~(bfd_vma) 0xffffffff;
471 value -= place & ~(bfd_vma) 0xffffffff;
472 break;
473
474 default:
475 break;
476 }
477
478 return value;
479 }
480
481 /* Hook called by the linker routine which adds symbols from an object
482 file. */
483
484 bfd_boolean
485 _bfd_aarch64_elf_add_symbol_hook (bfd *abfd, struct bfd_link_info *info,
486 Elf_Internal_Sym *sym,
487 const char **namep ATTRIBUTE_UNUSED,
488 flagword *flagsp ATTRIBUTE_UNUSED,
489 asection **secp ATTRIBUTE_UNUSED,
490 bfd_vma *valp ATTRIBUTE_UNUSED)
491 {
492 if ((ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC
493 || ELF_ST_BIND (sym->st_info) == STB_GNU_UNIQUE)
494 && (abfd->flags & DYNAMIC) == 0
495 && bfd_get_flavour (info->output_bfd) == bfd_target_elf_flavour)
496 elf_tdata (info->output_bfd)->has_gnu_symbols = TRUE;
497
498 return TRUE;
499 }
500
501 /* Support for core dump NOTE sections. */
502
503 bfd_boolean
504 _bfd_aarch64_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
505 {
506 int offset;
507 size_t size;
508
509 switch (note->descsz)
510 {
511 default:
512 return FALSE;
513
514 case 392: /* sizeof(struct elf_prstatus) on Linux/arm64. */
515 /* pr_cursig */
516 elf_tdata (abfd)->core->signal
517 = bfd_get_16 (abfd, note->descdata + 12);
518
519 /* pr_pid */
520 elf_tdata (abfd)->core->lwpid
521 = bfd_get_32 (abfd, note->descdata + 32);
522
523 /* pr_reg */
524 offset = 112;
525 size = 272;
526
527 break;
528 }
529
530 /* Make a ".reg/999" section. */
531 return _bfd_elfcore_make_pseudosection (abfd, ".reg",
532 size, note->descpos + offset);
533 }
534
535 bfd_boolean
536 _bfd_aarch64_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
537 {
538 switch (note->descsz)
539 {
540 default:
541 return FALSE;
542
543 case 136: /* This is sizeof(struct elf_prpsinfo) on Linux/aarch64. */
544 elf_tdata (abfd)->core->pid = bfd_get_32 (abfd, note->descdata + 24);
545 elf_tdata (abfd)->core->program
546 = _bfd_elfcore_strndup (abfd, note->descdata + 40, 16);
547 elf_tdata (abfd)->core->command
548 = _bfd_elfcore_strndup (abfd, note->descdata + 56, 80);
549 }
550
551 /* Note that for some reason, a spurious space is tacked
552 onto the end of the args in some (at least one anyway)
553 implementations, so strip it off if it exists. */
554
555 {
556 char *command = elf_tdata (abfd)->core->command;
557 int n = strlen (command);
558
559 if (0 < n && command[n - 1] == ' ')
560 command[n - 1] = '\0';
561 }
562
563 return TRUE;
564 }
565
566 char *
567 _bfd_aarch64_elf_write_core_note (bfd *abfd, char *buf, int *bufsiz, int note_type,
568 ...)
569 {
570 switch (note_type)
571 {
572 default:
573 return NULL;
574
575 case NT_PRPSINFO:
576 {
577 char data[136];
578 va_list ap;
579
580 va_start (ap, note_type);
581 memset (data, 0, sizeof (data));
582 strncpy (data + 40, va_arg (ap, const char *), 16);
583 strncpy (data + 56, va_arg (ap, const char *), 80);
584 va_end (ap);
585
586 return elfcore_write_note (abfd, buf, bufsiz, "CORE",
587 note_type, data, sizeof (data));
588 }
589
590 case NT_PRSTATUS:
591 {
592 char data[392];
593 va_list ap;
594 long pid;
595 int cursig;
596 const void *greg;
597
598 va_start (ap, note_type);
599 memset (data, 0, sizeof (data));
600 pid = va_arg (ap, long);
601 bfd_put_32 (abfd, pid, data + 32);
602 cursig = va_arg (ap, int);
603 bfd_put_16 (abfd, cursig, data + 12);
604 greg = va_arg (ap, const void *);
605 memcpy (data + 112, greg, 272);
606 va_end (ap);
607
608 return elfcore_write_note (abfd, buf, bufsiz, "CORE",
609 note_type, data, sizeof (data));
610 }
611 }
612 }
This page took 0.046192 seconds and 5 git commands to generate.