1 /* AArch64-specific support for ELF.
2 Copyright (C) 2009-2015 Free Software Foundation, Inc.
3 Contributed by ARM Ltd.
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; see the file COPYING3. If not,
19 see <http://www.gnu.org/licenses/>. */
22 #include "elfxx-aarch64.h"
26 #define MASK(n) ((1u << (n)) - 1)
28 /* Sign-extend VALUE, which has the indicated number of BITS. */
31 _bfd_aarch64_sign_extend (bfd_vma value, int bits)
33 if (value & ((bfd_vma) 1 << (bits - 1)))
34 /* VALUE is negative. */
35 value |= ((bfd_vma) - 1) << bits;
40 /* Decode the IMM field of ADRP. */
43 _bfd_aarch64_decode_adrp_imm (uint32_t insn)
45 return (((insn >> 5) & MASK (19)) << 2) | ((insn >> 29) & MASK (2));
48 /* Reencode the imm field of add immediate. */
49 static inline uint32_t
50 reencode_add_imm (uint32_t insn, uint32_t imm)
52 return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
55 /* Reencode the IMM field of ADR. */
58 _bfd_aarch64_reencode_adr_imm (uint32_t insn, uint32_t imm)
60 return (insn & ~((MASK (2) << 29) | (MASK (19) << 5)))
61 | ((imm & MASK (2)) << 29) | ((imm & (MASK (19) << 2)) << 3);
64 /* Reencode the imm field of ld/st pos immediate. */
65 static inline uint32_t
66 reencode_ldst_pos_imm (uint32_t insn, uint32_t imm)
68 return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
71 /* Encode the 26-bit offset of unconditional branch. */
72 static inline uint32_t
73 reencode_branch_ofs_26 (uint32_t insn, uint32_t ofs)
75 return (insn & ~MASK (26)) | (ofs & MASK (26));
78 /* Encode the 19-bit offset of conditional branch and compare & branch. */
79 static inline uint32_t
80 reencode_cond_branch_ofs_19 (uint32_t insn, uint32_t ofs)
82 return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
85 /* Decode the 19-bit offset of load literal. */
86 static inline uint32_t
87 reencode_ld_lit_ofs_19 (uint32_t insn, uint32_t ofs)
89 return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
92 /* Encode the 14-bit offset of test & branch. */
93 static inline uint32_t
94 reencode_tst_branch_ofs_14 (uint32_t insn, uint32_t ofs)
96 return (insn & ~(MASK (14) << 5)) | ((ofs & MASK (14)) << 5);
99 /* Reencode the imm field of move wide. */
100 static inline uint32_t
101 reencode_movw_imm (uint32_t insn, uint32_t imm)
103 return (insn & ~(MASK (16) << 5)) | ((imm & MASK (16)) << 5);
106 /* Reencode mov[zn] to movz. */
107 static inline uint32_t
108 reencode_movzn_to_movz (uint32_t opcode)
110 return opcode | (1 << 30);
113 /* Reencode mov[zn] to movn. */
114 static inline uint32_t
115 reencode_movzn_to_movn (uint32_t opcode)
117 return opcode & ~(1 << 30);
120 /* Return non-zero if the indicated VALUE has overflowed the maximum
121 range expressible by a unsigned number with the indicated number of
124 static bfd_reloc_status_type
125 aarch64_unsigned_overflow (bfd_vma value, unsigned int bits)
128 if (bits >= sizeof (bfd_vma) * 8)
130 lim = (bfd_vma) 1 << bits;
132 return bfd_reloc_overflow;
136 /* Return non-zero if the indicated VALUE has overflowed the maximum
137 range expressible by an signed number with the indicated number of
140 static bfd_reloc_status_type
141 aarch64_signed_overflow (bfd_vma value, unsigned int bits)
143 bfd_signed_vma svalue = (bfd_signed_vma) value;
146 if (bits >= sizeof (bfd_vma) * 8)
148 lim = (bfd_signed_vma) 1 << (bits - 1);
149 if (svalue < -lim || svalue >= lim)
150 return bfd_reloc_overflow;
154 /* Insert the addend/value into the instruction or data object being
156 bfd_reloc_status_type
157 _bfd_aarch64_elf_put_addend (bfd *abfd,
158 bfd_byte *address, bfd_reloc_code_real_type r_type,
159 reloc_howto_type *howto, bfd_signed_vma addend)
161 bfd_reloc_status_type status = bfd_reloc_ok;
162 bfd_signed_vma old_addend = addend;
166 size = bfd_get_reloc_size (howto);
172 contents = bfd_get_16 (abfd, address);
175 if (howto->src_mask != 0xffffffff)
176 /* Must be 32-bit instruction, always little-endian. */
177 contents = bfd_getl32 (address);
179 /* Must be 32-bit data (endianness dependent). */
180 contents = bfd_get_32 (abfd, address);
183 contents = bfd_get_64 (abfd, address);
189 switch (howto->complain_on_overflow)
191 case complain_overflow_dont:
193 case complain_overflow_signed:
194 status = aarch64_signed_overflow (addend,
195 howto->bitsize + howto->rightshift);
197 case complain_overflow_unsigned:
198 status = aarch64_unsigned_overflow (addend,
199 howto->bitsize + howto->rightshift);
201 case complain_overflow_bitfield:
206 addend >>= howto->rightshift;
210 case BFD_RELOC_AARCH64_CALL26:
211 case BFD_RELOC_AARCH64_JUMP26:
212 contents = reencode_branch_ofs_26 (contents, addend);
215 case BFD_RELOC_AARCH64_BRANCH19:
216 contents = reencode_cond_branch_ofs_19 (contents, addend);
219 case BFD_RELOC_AARCH64_TSTBR14:
220 contents = reencode_tst_branch_ofs_14 (contents, addend);
223 case BFD_RELOC_AARCH64_GOT_LD_PREL19:
224 case BFD_RELOC_AARCH64_LD_LO19_PCREL:
225 case BFD_RELOC_AARCH64_TLSDESC_LD_PREL19:
226 case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
227 if (old_addend & ((1 << howto->rightshift) - 1))
228 return bfd_reloc_overflow;
229 contents = reencode_ld_lit_ofs_19 (contents, addend);
232 case BFD_RELOC_AARCH64_TLSDESC_CALL:
235 case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
236 case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
237 case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
238 case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
239 case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
240 case BFD_RELOC_AARCH64_TLSDESC_ADR_PREL21:
241 case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
242 case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
243 case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
244 case BFD_RELOC_AARCH64_TLSLD_ADR_PAGE21:
245 case BFD_RELOC_AARCH64_TLSLD_ADR_PREL21:
246 contents = _bfd_aarch64_reencode_adr_imm (contents, addend);
249 case BFD_RELOC_AARCH64_ADD_LO12:
250 case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12_NC:
251 case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
252 case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12:
253 case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12_NC:
254 case BFD_RELOC_AARCH64_TLSLD_ADD_LO12_NC:
255 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
256 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
257 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
258 /* Corresponds to: add rd, rn, #uimm12 to provide the low order
259 12 bits of the page offset following
260 BFD_RELOC_AARCH64_ADR_HI21_PCREL which computes the
261 (pc-relative) page base. */
262 contents = reencode_add_imm (contents, addend);
265 case BFD_RELOC_AARCH64_LD32_GOTPAGE_LO14:
266 case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
267 case BFD_RELOC_AARCH64_LD64_GOTPAGE_LO15:
268 case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
269 case BFD_RELOC_AARCH64_LDST128_LO12:
270 case BFD_RELOC_AARCH64_LDST16_LO12:
271 case BFD_RELOC_AARCH64_LDST32_LO12:
272 case BFD_RELOC_AARCH64_LDST64_LO12:
273 case BFD_RELOC_AARCH64_LDST8_LO12:
274 case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
275 case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12_NC:
276 case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
277 case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
278 if (old_addend & ((1 << howto->rightshift) - 1))
279 return bfd_reloc_overflow;
280 /* Used for ldr*|str* rt, [rn, #uimm12] to provide the low order
281 12 bits of the page offset following BFD_RELOC_AARCH64_ADR_HI21_PCREL
282 which computes the (pc-relative) page base. */
283 contents = reencode_ldst_pos_imm (contents, addend);
286 /* Group relocations to create high bits of a 16, 32, 48 or 64
287 bit signed data or abs address inline. Will change
288 instruction to MOVN or MOVZ depending on sign of calculated
291 case BFD_RELOC_AARCH64_MOVW_G0_S:
292 case BFD_RELOC_AARCH64_MOVW_G1_S:
293 case BFD_RELOC_AARCH64_MOVW_G2_S:
294 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
295 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
296 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
297 /* NOTE: We can only come here with movz or movn. */
300 /* Force use of MOVN. */
302 contents = reencode_movzn_to_movn (contents);
306 /* Force use of MOVZ. */
307 contents = reencode_movzn_to_movz (contents);
311 /* Group relocations to create a 16, 32, 48 or 64 bit unsigned
312 data or abs address inline. */
314 case BFD_RELOC_AARCH64_MOVW_G0:
315 case BFD_RELOC_AARCH64_MOVW_G0_NC:
316 case BFD_RELOC_AARCH64_MOVW_G1:
317 case BFD_RELOC_AARCH64_MOVW_G1_NC:
318 case BFD_RELOC_AARCH64_MOVW_G2:
319 case BFD_RELOC_AARCH64_MOVW_G2_NC:
320 case BFD_RELOC_AARCH64_MOVW_G3:
321 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
322 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
323 contents = reencode_movw_imm (contents, addend);
327 /* Repack simple data */
328 if (howto->dst_mask & (howto->dst_mask + 1))
329 return bfd_reloc_notsupported;
331 contents = ((contents & ~howto->dst_mask) | (addend & howto->dst_mask));
338 bfd_put_16 (abfd, contents, address);
341 if (howto->dst_mask != 0xffffffff)
342 /* must be 32-bit instruction, always little-endian */
343 bfd_putl32 (contents, address);
345 /* must be 32-bit data (endianness dependent) */
346 bfd_put_32 (abfd, contents, address);
349 bfd_put_64 (abfd, contents, address);
359 _bfd_aarch64_elf_resolve_relocation (bfd_reloc_code_real_type r_type,
360 bfd_vma place, bfd_vma value,
361 bfd_vma addend, bfd_boolean weak_undef_p)
365 case BFD_RELOC_AARCH64_NONE:
366 case BFD_RELOC_AARCH64_TLSDESC_CALL:
369 case BFD_RELOC_AARCH64_16_PCREL:
370 case BFD_RELOC_AARCH64_32_PCREL:
371 case BFD_RELOC_AARCH64_64_PCREL:
372 case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
373 case BFD_RELOC_AARCH64_BRANCH19:
374 case BFD_RELOC_AARCH64_LD_LO19_PCREL:
375 case BFD_RELOC_AARCH64_TLSDESC_ADR_PREL21:
376 case BFD_RELOC_AARCH64_TLSDESC_LD_PREL19:
377 case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
378 case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
379 case BFD_RELOC_AARCH64_TLSLD_ADR_PREL21:
380 case BFD_RELOC_AARCH64_TSTBR14:
383 value = value + addend - place;
386 case BFD_RELOC_AARCH64_CALL26:
387 case BFD_RELOC_AARCH64_JUMP26:
388 value = value + addend - place;
391 case BFD_RELOC_AARCH64_16:
392 case BFD_RELOC_AARCH64_32:
393 case BFD_RELOC_AARCH64_MOVW_G0:
394 case BFD_RELOC_AARCH64_MOVW_G0_NC:
395 case BFD_RELOC_AARCH64_MOVW_G0_S:
396 case BFD_RELOC_AARCH64_MOVW_G1:
397 case BFD_RELOC_AARCH64_MOVW_G1_NC:
398 case BFD_RELOC_AARCH64_MOVW_G1_S:
399 case BFD_RELOC_AARCH64_MOVW_G2:
400 case BFD_RELOC_AARCH64_MOVW_G2_NC:
401 case BFD_RELOC_AARCH64_MOVW_G2_S:
402 case BFD_RELOC_AARCH64_MOVW_G3:
403 case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12:
404 case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12_NC:
405 value = value + addend;
408 case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
409 case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
412 value = PG (value + addend) - PG (place);
415 case BFD_RELOC_AARCH64_GOT_LD_PREL19:
416 value = value + addend - place;
419 case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
420 case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
421 case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
422 case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
423 case BFD_RELOC_AARCH64_TLSLD_ADR_PAGE21:
424 value = PG (value + addend) - PG (place);
427 case BFD_RELOC_AARCH64_LD32_GOTPAGE_LO14:
428 case BFD_RELOC_AARCH64_LD64_GOTPAGE_LO15:
429 /* Caller must make sure addend is the base address of .got section. */
430 value = value - PG (addend);
433 case BFD_RELOC_AARCH64_ADD_LO12:
434 case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
435 case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
436 case BFD_RELOC_AARCH64_LDST128_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_LDST8_LO12:
441 case BFD_RELOC_AARCH64_TLSDESC_ADD:
442 case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12_NC:
443 case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
444 case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12_NC:
445 case BFD_RELOC_AARCH64_TLSDESC_LDR:
446 case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
447 case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
448 case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
449 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
450 value = PG_OFFSET (value + addend);
453 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
454 value = value + addend;
457 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
458 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
459 value = (value + addend) & (bfd_vma) 0xffff0000;
461 case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
462 /* Mask off low 12bits, keep all other high bits, so that the later
463 generic code could check whehter there is overflow. */
464 value = (value + addend) & ~(bfd_vma) 0xfff;
467 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
468 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
469 value = (value + addend) & (bfd_vma) 0xffff;
472 case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
473 value = (value + addend) & ~(bfd_vma) 0xffffffff;
474 value -= place & ~(bfd_vma) 0xffffffff;
484 /* Hook called by the linker routine which adds symbols from an object
488 _bfd_aarch64_elf_add_symbol_hook (bfd *abfd, struct bfd_link_info *info,
489 Elf_Internal_Sym *sym,
490 const char **namep ATTRIBUTE_UNUSED,
491 flagword *flagsp ATTRIBUTE_UNUSED,
492 asection **secp ATTRIBUTE_UNUSED,
493 bfd_vma *valp ATTRIBUTE_UNUSED)
495 if ((ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC
496 || ELF_ST_BIND (sym->st_info) == STB_GNU_UNIQUE)
497 && (abfd->flags & DYNAMIC) == 0
498 && bfd_get_flavour (info->output_bfd) == bfd_target_elf_flavour)
499 elf_tdata (info->output_bfd)->has_gnu_symbols = elf_gnu_symbol_any;
504 /* Support for core dump NOTE sections. */
507 _bfd_aarch64_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
512 switch (note->descsz)
517 case 392: /* sizeof(struct elf_prstatus) on Linux/arm64. */
519 elf_tdata (abfd)->core->signal
520 = bfd_get_16 (abfd, note->descdata + 12);
523 elf_tdata (abfd)->core->lwpid
524 = bfd_get_32 (abfd, note->descdata + 32);
533 /* Make a ".reg/999" section. */
534 return _bfd_elfcore_make_pseudosection (abfd, ".reg",
535 size, note->descpos + offset);
539 _bfd_aarch64_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
541 switch (note->descsz)
546 case 136: /* This is sizeof(struct elf_prpsinfo) on Linux/aarch64. */
547 elf_tdata (abfd)->core->pid = bfd_get_32 (abfd, note->descdata + 24);
548 elf_tdata (abfd)->core->program
549 = _bfd_elfcore_strndup (abfd, note->descdata + 40, 16);
550 elf_tdata (abfd)->core->command
551 = _bfd_elfcore_strndup (abfd, note->descdata + 56, 80);
554 /* Note that for some reason, a spurious space is tacked
555 onto the end of the args in some (at least one anyway)
556 implementations, so strip it off if it exists. */
559 char *command = elf_tdata (abfd)->core->command;
560 int n = strlen (command);
562 if (0 < n && command[n - 1] == ' ')
563 command[n - 1] = '\0';
570 _bfd_aarch64_elf_write_core_note (bfd *abfd, char *buf, int *bufsiz, int note_type,
583 va_start (ap, note_type);
584 memset (data, 0, sizeof (data));
585 strncpy (data + 40, va_arg (ap, const char *), 16);
586 strncpy (data + 56, va_arg (ap, const char *), 80);
589 return elfcore_write_note (abfd, buf, bufsiz, "CORE",
590 note_type, data, sizeof (data));
601 va_start (ap, note_type);
602 memset (data, 0, sizeof (data));
603 pid = va_arg (ap, long);
604 bfd_put_32 (abfd, pid, data + 32);
605 cursig = va_arg (ap, int);
606 bfd_put_16 (abfd, cursig, data + 12);
607 greg = va_arg (ap, const void *);
608 memcpy (data + 112, greg, 272);
611 return elfcore_write_note (abfd, buf, bufsiz, "CORE",
612 note_type, data, sizeof (data));