bfd/elfxx-aarch64.c

   1 /* AArch64-specific support for ELF.
   2    Copyright (C) 2009-2023 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 "bfd.h"
  23 #include "elf-bfd.h"
  24 #include "elfxx-aarch64.h"
  25 #include <stdarg.h>
  26 #include <string.h>
  27
  28 #define MASK(n) ((1u << (n)) - 1)
  29
  30 /* Sign-extend VALUE, which has the indicated number of BITS.  */
  31
  32 bfd_signed_vma
  33 _bfd_aarch64_sign_extend (bfd_vma value, int bits)
  34 {
  35   if (value & ((bfd_vma) 1 << (bits - 1)))
  36     /* VALUE is negative.  */
  37     value |= ((bfd_vma) - 1) << bits;
  38
  39   return value;
  40 }
  41
  42 /* Decode the IMM field of ADRP.  */
  43
  44 uint32_t
  45 _bfd_aarch64_decode_adrp_imm (uint32_t insn)
  46 {
  47   return (((insn >> 5) & MASK (19)) << 2) | ((insn >> 29) & MASK (2));
  48 }
  49
  50 /* Reencode the imm field of add immediate.  */
  51 static inline uint32_t
  52 reencode_add_imm (uint32_t insn, uint32_t imm)
  53 {
  54   return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
  55 }
  56
  57 /* Reencode the IMM field of ADR.  */
  58
  59 uint32_t
  60 _bfd_aarch64_reencode_adr_imm (uint32_t insn, uint32_t imm)
  61 {
  62   return (insn & ~((MASK (2) << 29) | (MASK (19) << 5)))
  63     | ((imm & MASK (2)) << 29) | ((imm & (MASK (19) << 2)) << 3);
  64 }
  65
  66 /* Reencode the imm field of ld/st pos immediate.  */
  67 static inline uint32_t
  68 reencode_ldst_pos_imm (uint32_t insn, uint32_t imm)
  69 {
  70   return (insn & ~(MASK (12) << 10)) | ((imm & MASK (12)) << 10);
  71 }
  72
  73 /* Encode the 26-bit offset of unconditional branch.  */
  74 static inline uint32_t
  75 reencode_branch_ofs_26 (uint32_t insn, uint32_t ofs)
  76 {
  77   return (insn & ~MASK (26)) | (ofs & MASK (26));
  78 }
  79
  80 /* Encode the 19-bit offset of conditional branch and compare & branch.  */
  81 static inline uint32_t
  82 reencode_cond_branch_ofs_19 (uint32_t insn, uint32_t ofs)
  83 {
  84   return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
  85 }
  86
  87 /* Decode the 19-bit offset of load literal.  */
  88 static inline uint32_t
  89 reencode_ld_lit_ofs_19 (uint32_t insn, uint32_t ofs)
  90 {
  91   return (insn & ~(MASK (19) << 5)) | ((ofs & MASK (19)) << 5);
  92 }
  93
  94 /* Encode the 14-bit offset of test & branch.  */
  95 static inline uint32_t
  96 reencode_tst_branch_ofs_14 (uint32_t insn, uint32_t ofs)
  97 {
  98   return (insn & ~(MASK (14) << 5)) | ((ofs & MASK (14)) << 5);
  99 }
 100
 101 /* Reencode the imm field of move wide.  */
 102 static inline uint32_t
 103 reencode_movw_imm (uint32_t insn, uint32_t imm)
 104 {
 105   return (insn & ~(MASK (16) << 5)) | ((imm & MASK (16)) << 5);
 106 }
 107
 108 /* Reencode mov[zn] to movz.  */
 109 static inline uint32_t
 110 reencode_movzn_to_movz (uint32_t opcode)
 111 {
 112   return opcode | (1 << 30);
 113 }
 114
 115 /* Reencode mov[zn] to movn.  */
 116 static inline uint32_t
 117 reencode_movzn_to_movn (uint32_t opcode)
 118 {
 119   return opcode & ~(1 << 30);
 120 }
 121
 122 /* Return non-zero if the indicated VALUE has overflowed the maximum
 123    range expressible by a unsigned number with the indicated number of
 124    BITS.  */
 125
 126 static bfd_reloc_status_type
 127 aarch64_unsigned_overflow (bfd_vma value, unsigned int bits)
 128 {
 129   bfd_vma lim;
 130   if (bits >= sizeof (bfd_vma) * 8)
 131     return bfd_reloc_ok;
 132   lim = (bfd_vma) 1 << bits;
 133   if (value >= lim)
 134     return bfd_reloc_overflow;
 135   return bfd_reloc_ok;
 136 }
 137
 138 /* Return non-zero if the indicated VALUE has overflowed the maximum
 139    range expressible by an signed number with the indicated number of
 140    BITS.  */
 141
 142 static bfd_reloc_status_type
 143 aarch64_signed_overflow (bfd_vma value, unsigned int bits)
 144 {
 145   bfd_signed_vma svalue = (bfd_signed_vma) value;
 146   bfd_signed_vma lim;
 147
 148   if (bits >= sizeof (bfd_vma) * 8)
 149     return bfd_reloc_ok;
 150   lim = (bfd_signed_vma) 1 << (bits - 1);
 151   if (svalue < -lim || svalue >= lim)
 152     return bfd_reloc_overflow;
 153   return bfd_reloc_ok;
 154 }
 155
 156 /* Insert the addend/value into the instruction or data object being
 157    relocated.  */
 158 bfd_reloc_status_type
 159 _bfd_aarch64_elf_put_addend (bfd *abfd,
 160                              bfd_byte *address, bfd_reloc_code_real_type r_type,
 161                              reloc_howto_type *howto, bfd_signed_vma addend)
 162 {
 163   bfd_reloc_status_type status = bfd_reloc_ok;
 164   bfd_signed_vma old_addend = addend;
 165   bfd_vma contents;
 166   int size;
 167
 168   size = bfd_get_reloc_size (howto);
 169   switch (size)
 170     {
 171     case 0:
 172       return status;
 173     case 2:
 174       contents = bfd_get_16 (abfd, address);
 175       break;
 176     case 4:
 177       if (howto->src_mask != 0xffffffff)
 178         /* Must be 32-bit instruction, always little-endian.  */
 179         contents = bfd_getl32 (address);
 180       else
 181         /* Must be 32-bit data (endianness dependent).  */
 182         contents = bfd_get_32 (abfd, address);
 183       break;
 184     case 8:
 185       contents = bfd_get_64 (abfd, address);
 186       break;
 187     default:
 188       abort ();
 189     }
 190
 191   switch (howto->complain_on_overflow)
 192     {
 193     case complain_overflow_dont:
 194       break;
 195     case complain_overflow_signed:
 196       status = aarch64_signed_overflow (addend,
 197                                         howto->bitsize + howto->rightshift);
 198       break;
 199     case complain_overflow_unsigned:
 200       status = aarch64_unsigned_overflow (addend,
 201                                           howto->bitsize + howto->rightshift);
 202       break;
 203     case complain_overflow_bitfield:
 204     default:
 205       abort ();
 206     }
 207
 208   addend >>= howto->rightshift;
 209
 210   switch (r_type)
 211     {
 212     case BFD_RELOC_AARCH64_CALL26:
 213     case BFD_RELOC_AARCH64_JUMP26:
 214       contents = reencode_branch_ofs_26 (contents, addend);
 215       break;
 216
 217     case BFD_RELOC_AARCH64_BRANCH19:
 218       contents = reencode_cond_branch_ofs_19 (contents, addend);
 219       break;
 220
 221     case BFD_RELOC_AARCH64_TSTBR14:
 222       contents = reencode_tst_branch_ofs_14 (contents, addend);
 223       break;
 224
 225     case BFD_RELOC_AARCH64_GOT_LD_PREL19:
 226     case BFD_RELOC_AARCH64_LD_LO19_PCREL:
 227     case BFD_RELOC_AARCH64_TLSDESC_LD_PREL19:
 228     case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
 229       if (old_addend & ((1 << howto->rightshift) - 1))
 230         return bfd_reloc_overflow;
 231       contents = reencode_ld_lit_ofs_19 (contents, addend);
 232       break;
 233
 234     case BFD_RELOC_AARCH64_TLSDESC_CALL:
 235       break;
 236
 237     case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
 238     case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
 239     case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
 240     case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
 241     case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
 242     case BFD_RELOC_AARCH64_TLSDESC_ADR_PREL21:
 243     case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
 244     case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
 245     case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
 246     case BFD_RELOC_AARCH64_TLSLD_ADR_PAGE21:
 247     case BFD_RELOC_AARCH64_TLSLD_ADR_PREL21:
 248       contents = _bfd_aarch64_reencode_adr_imm (contents, addend);
 249       break;
 250
 251     case BFD_RELOC_AARCH64_ADD_LO12:
 252     case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12:
 253     case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
 254     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_HI12:
 255     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12:
 256     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12_NC:
 257     case BFD_RELOC_AARCH64_TLSLD_ADD_LO12_NC:
 258     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
 259     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
 260     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
 261       /* Corresponds to: add rd, rn, #uimm12 to provide the low order
 262          12 bits of the page offset following
 263          BFD_RELOC_AARCH64_ADR_HI21_PCREL which computes the
 264          (pc-relative) page base.  */
 265       contents = reencode_add_imm (contents, addend);
 266       break;
 267
 268     case BFD_RELOC_AARCH64_LD32_GOTPAGE_LO14:
 269     case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
 270     case BFD_RELOC_AARCH64_LD64_GOTOFF_LO15:
 271     case BFD_RELOC_AARCH64_LD64_GOTPAGE_LO15:
 272     case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
 273     case BFD_RELOC_AARCH64_LDST128_LO12:
 274     case BFD_RELOC_AARCH64_LDST16_LO12:
 275     case BFD_RELOC_AARCH64_LDST32_LO12:
 276     case BFD_RELOC_AARCH64_LDST64_LO12:
 277     case BFD_RELOC_AARCH64_LDST8_LO12:
 278     case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
 279     case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12:
 280     case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
 281     case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
 282     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12:
 283     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12_NC:
 284     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12:
 285     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12_NC:
 286     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12:
 287     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12_NC:
 288     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12:
 289     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12_NC:
 290     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12:
 291     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12_NC:
 292     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12:
 293     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12_NC:
 294     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12:
 295     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12_NC:
 296     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12:
 297     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12_NC:
 298       if (old_addend & ((1 << howto->rightshift) - 1))
 299         return bfd_reloc_overflow;
 300       /* Used for ldr*|str* rt, [rn, #uimm12] to provide the low order
 301          12 bits address offset.  */
 302       contents = reencode_ldst_pos_imm (contents, addend);
 303       break;
 304
 305       /* Group relocations to create high bits of a 16, 32, 48 or 64
 306          bit signed data or abs address inline. Will change
 307          instruction to MOVN or MOVZ depending on sign of calculated
 308          value.  */
 309
 310     case BFD_RELOC_AARCH64_MOVW_G0_S:
 311     case BFD_RELOC_AARCH64_MOVW_G1_S:
 312     case BFD_RELOC_AARCH64_MOVW_G2_S:
 313     case BFD_RELOC_AARCH64_MOVW_PREL_G0:
 314     case BFD_RELOC_AARCH64_MOVW_PREL_G1:
 315     case BFD_RELOC_AARCH64_MOVW_PREL_G2:
 316     case BFD_RELOC_AARCH64_MOVW_PREL_G3:
 317     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0:
 318     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1:
 319     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G2:
 320     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
 321     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
 322     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
 323       /* NOTE: We can only come here with movz or movn.  */
 324       if (addend < 0)
 325         {
 326           /* Force use of MOVN.  */
 327           addend = ~addend;
 328           contents = reencode_movzn_to_movn (contents);
 329         }
 330       else
 331         {
 332           /* Force use of MOVZ.  */
 333           contents = reencode_movzn_to_movz (contents);
 334         }
 335       /* Fall through.  */
 336
 337       /* Group relocations to create a 16, 32, 48 or 64 bit unsigned
 338          data or abs address inline.  */
 339
 340     case BFD_RELOC_AARCH64_MOVW_G0:
 341     case BFD_RELOC_AARCH64_MOVW_G0_NC:
 342     case BFD_RELOC_AARCH64_MOVW_G1:
 343     case BFD_RELOC_AARCH64_MOVW_G1_NC:
 344     case BFD_RELOC_AARCH64_MOVW_G2:
 345     case BFD_RELOC_AARCH64_MOVW_G2_NC:
 346     case BFD_RELOC_AARCH64_MOVW_G3:
 347     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G0_NC:
 348     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G1:
 349     case BFD_RELOC_AARCH64_MOVW_PREL_G0_NC:
 350     case BFD_RELOC_AARCH64_MOVW_PREL_G1_NC:
 351     case BFD_RELOC_AARCH64_MOVW_PREL_G2_NC:
 352     case BFD_RELOC_AARCH64_TLSDESC_OFF_G0_NC:
 353     case BFD_RELOC_AARCH64_TLSDESC_OFF_G1:
 354     case BFD_RELOC_AARCH64_TLSGD_MOVW_G0_NC:
 355     case BFD_RELOC_AARCH64_TLSGD_MOVW_G1:
 356     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G0_NC:
 357     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G1:
 358     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0_NC:
 359     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1_NC:
 360     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
 361     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
 362       contents = reencode_movw_imm (contents, addend);
 363       break;
 364
 365     default:
 366       /* Repack simple data */
 367       if (howto->dst_mask & (howto->dst_mask + 1))
 368         return bfd_reloc_notsupported;
 369
 370       contents = ((contents & ~howto->dst_mask) | (addend & howto->dst_mask));
 371       break;
 372     }
 373
 374   switch (size)
 375     {
 376     case 2:
 377       bfd_put_16 (abfd, contents, address);
 378       break;
 379     case 4:
 380       if (howto->dst_mask != 0xffffffff)
 381         /* must be 32-bit instruction, always little-endian */
 382         bfd_putl32 (contents, address);
 383       else
 384         /* must be 32-bit data (endianness dependent) */
 385         bfd_put_32 (abfd, contents, address);
 386       break;
 387     case 8:
 388       bfd_put_64 (abfd, contents, address);
 389       break;
 390     default:
 391       abort ();
 392     }
 393
 394   return status;
 395 }
 396
 397 bfd_vma
 398 _bfd_aarch64_elf_resolve_relocation (bfd *input_bfd,
 399                                      bfd_reloc_code_real_type r_type,
 400                                      bfd_vma place, bfd_vma value,
 401                                      bfd_vma addend, bool weak_undef_p)
 402 {
 403   bool tls_reloc = true;
 404   switch (r_type)
 405     {
 406     case BFD_RELOC_AARCH64_NONE:
 407     case BFD_RELOC_AARCH64_TLSDESC_CALL:
 408       break;
 409
 410     case BFD_RELOC_AARCH64_16_PCREL:
 411     case BFD_RELOC_AARCH64_32_PCREL:
 412     case BFD_RELOC_AARCH64_64_PCREL:
 413     case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
 414     case BFD_RELOC_AARCH64_BRANCH19:
 415     case BFD_RELOC_AARCH64_LD_LO19_PCREL:
 416     case BFD_RELOC_AARCH64_MOVW_PREL_G0:
 417     case BFD_RELOC_AARCH64_MOVW_PREL_G0_NC:
 418     case BFD_RELOC_AARCH64_MOVW_PREL_G1:
 419     case BFD_RELOC_AARCH64_MOVW_PREL_G1_NC:
 420     case BFD_RELOC_AARCH64_MOVW_PREL_G2:
 421     case BFD_RELOC_AARCH64_MOVW_PREL_G2_NC:
 422     case BFD_RELOC_AARCH64_MOVW_PREL_G3:
 423     case BFD_RELOC_AARCH64_TLSDESC_ADR_PREL21:
 424     case BFD_RELOC_AARCH64_TLSDESC_LD_PREL19:
 425     case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
 426     case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
 427     case BFD_RELOC_AARCH64_TLSLD_ADR_PREL21:
 428     case BFD_RELOC_AARCH64_TSTBR14:
 429       if (weak_undef_p)
 430         value = place;
 431       value = value + addend - place;
 432       break;
 433
 434     case BFD_RELOC_AARCH64_CALL26:
 435     case BFD_RELOC_AARCH64_JUMP26:
 436       value = value + addend - place;
 437       break;
 438
 439     case BFD_RELOC_AARCH64_16:
 440     case BFD_RELOC_AARCH64_32:
 441     case BFD_RELOC_AARCH64_MOVW_G0:
 442     case BFD_RELOC_AARCH64_MOVW_G0_NC:
 443     case BFD_RELOC_AARCH64_MOVW_G0_S:
 444     case BFD_RELOC_AARCH64_MOVW_G1:
 445     case BFD_RELOC_AARCH64_MOVW_G1_NC:
 446     case BFD_RELOC_AARCH64_MOVW_G1_S:
 447     case BFD_RELOC_AARCH64_MOVW_G2:
 448     case BFD_RELOC_AARCH64_MOVW_G2_NC:
 449     case BFD_RELOC_AARCH64_MOVW_G2_S:
 450     case BFD_RELOC_AARCH64_MOVW_G3:
 451       tls_reloc = false;
 452       /* fall-through.  */
 453     case BFD_RELOC_AARCH64_TLSDESC_OFF_G0_NC:
 454     case BFD_RELOC_AARCH64_TLSDESC_OFF_G1:
 455     case BFD_RELOC_AARCH64_TLSGD_MOVW_G0_NC:
 456     case BFD_RELOC_AARCH64_TLSGD_MOVW_G1:
 457     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_HI12:
 458     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12:
 459     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12_NC:
 460     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12:
 461     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12:
 462     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12:
 463     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12:
 464     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0:
 465     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0_NC:
 466     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1:
 467     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1_NC:
 468     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G2:
 469     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12:
 470     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12:
 471     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12:
 472     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12:
 473       /* Weak Symbols and TLS relocations are implementation defined.  For this
 474          case we choose to emit 0.  */
 475       if (weak_undef_p && tls_reloc)
 476         {
 477           _bfd_error_handler (_("%pB: warning: Weak TLS is implementation "
 478                                 "defined and may not work as expected"),
 479                                 input_bfd);
 480           value = place;
 481         }
 482       value = value + addend;
 483       break;
 484
 485     case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
 486     case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
 487       if (weak_undef_p)
 488         value = PG (place);
 489       value = PG (value + addend) - PG (place);
 490       break;
 491
 492     case BFD_RELOC_AARCH64_GOT_LD_PREL19:
 493       value = value + addend - place;
 494       break;
 495
 496     case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
 497     case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
 498     case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
 499     case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
 500     case BFD_RELOC_AARCH64_TLSLD_ADR_PAGE21:
 501       value = PG (value + addend) - PG (place);
 502       break;
 503
 504     /* Caller must make sure addend is the base address of .got section.  */
 505     case BFD_RELOC_AARCH64_LD32_GOTPAGE_LO14:
 506     case BFD_RELOC_AARCH64_LD64_GOTPAGE_LO15:
 507       addend = PG (addend);
 508       /* Fall through.  */
 509     case BFD_RELOC_AARCH64_LD64_GOTOFF_LO15:
 510     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G0_NC:
 511     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G1:
 512       value = value - addend;
 513       break;
 514
 515     case BFD_RELOC_AARCH64_ADD_LO12:
 516     case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
 517     case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
 518     case BFD_RELOC_AARCH64_LDST128_LO12:
 519     case BFD_RELOC_AARCH64_LDST16_LO12:
 520     case BFD_RELOC_AARCH64_LDST32_LO12:
 521     case BFD_RELOC_AARCH64_LDST64_LO12:
 522     case BFD_RELOC_AARCH64_LDST8_LO12:
 523     case BFD_RELOC_AARCH64_TLSDESC_ADD:
 524     case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12:
 525     case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
 526     case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12:
 527     case BFD_RELOC_AARCH64_TLSDESC_LDR:
 528     case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
 529     case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
 530     case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
 531     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12_NC:
 532     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12_NC:
 533     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12_NC:
 534     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12_NC:
 535     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
 536     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12_NC:
 537     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12_NC:
 538     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12_NC:
 539     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12_NC:
 540       value = PG_OFFSET (value + addend);
 541       break;
 542
 543     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
 544       value = value + addend;
 545       break;
 546
 547     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G1:
 548     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
 549     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
 550       value = (value + addend) & (bfd_vma) 0xffff0000;
 551       break;
 552     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
 553       /* Mask off low 12bits, keep all other high bits, so that the later
 554          generic code could check whehter there is overflow.  */
 555       value = (value + addend) & ~(bfd_vma) 0xfff;
 556       break;
 557
 558     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G0_NC:
 559     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
 560     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
 561       value = (value + addend) & (bfd_vma) 0xffff;
 562       break;
 563
 564     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
 565       value = (value + addend) & ~(bfd_vma) 0xffffffff;
 566       value -= place & ~(bfd_vma) 0xffffffff;
 567       break;
 568
 569     default:
 570       break;
 571     }
 572
 573   return value;
 574 }
 575
 576 /* Support for core dump NOTE sections.  */
 577
 578 bool
 579 _bfd_aarch64_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
 580 {
 581   int offset;
 582   size_t size;
 583
 584   switch (note->descsz)
 585     {
 586       default:
 587         return false;
 588
 589       case 392:         /* sizeof(struct elf_prstatus) on Linux/arm64.  */
 590         /* pr_cursig */
 591         elf_tdata (abfd)->core->signal
 592           = bfd_get_16 (abfd, note->descdata + 12);
 593
 594         /* pr_pid */
 595         elf_tdata (abfd)->core->lwpid
 596           = bfd_get_32 (abfd, note->descdata + 32);
 597
 598         /* pr_reg */
 599         offset = 112;
 600         size = 272;
 601
 602         break;
 603     }
 604
 605   /* Make a ".reg/999" section.  */
 606   return _bfd_elfcore_make_pseudosection (abfd, ".reg",
 607                                           size, note->descpos + offset);
 608 }
 609
 610 bool
 611 _bfd_aarch64_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
 612 {
 613   switch (note->descsz)
 614     {
 615     default:
 616       return false;
 617
 618     case 136:        /* This is sizeof(struct elf_prpsinfo) on Linux/aarch64.  */
 619       elf_tdata (abfd)->core->pid = bfd_get_32 (abfd, note->descdata + 24);
 620       elf_tdata (abfd)->core->program
 621         = _bfd_elfcore_strndup (abfd, note->descdata + 40, 16);
 622       elf_tdata (abfd)->core->command
 623         = _bfd_elfcore_strndup (abfd, note->descdata + 56, 80);
 624     }
 625
 626   /* Note that for some reason, a spurious space is tacked
 627      onto the end of the args in some (at least one anyway)
 628      implementations, so strip it off if it exists.  */
 629
 630   {
 631     char *command = elf_tdata (abfd)->core->command;
 632     int n = strlen (command);
 633
 634     if (0 < n && command[n - 1] == ' ')
 635       command[n - 1] = '\0';
 636   }
 637
 638   return true;
 639 }
 640
 641 char *
 642 _bfd_aarch64_elf_write_core_note (bfd *abfd, char *buf, int *bufsiz, int note_type,
 643                                   ...)
 644 {
 645   switch (note_type)
 646     {
 647     default:
 648       return NULL;
 649
 650     case NT_PRPSINFO:
 651       {
 652         char data[136] ATTRIBUTE_NONSTRING;
 653         va_list ap;
 654
 655         va_start (ap, note_type);
 656         memset (data, 0, sizeof (data));
 657         strncpy (data + 40, va_arg (ap, const char *), 16);
 658 #if GCC_VERSION == 8000 || GCC_VERSION == 8001
 659         DIAGNOSTIC_PUSH;
 660         /* GCC 8.0 and 8.1 warn about 80 equals destination size with
 661            -Wstringop-truncation:
 662            https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85643
 663          */
 664         DIAGNOSTIC_IGNORE_STRINGOP_TRUNCATION;
 665 #endif
 666         strncpy (data + 56, va_arg (ap, const char *), 80);
 667 #if GCC_VERSION == 8000 || GCC_VERSION == 8001
 668         DIAGNOSTIC_POP;
 669 #endif
 670         va_end (ap);
 671
 672         return elfcore_write_note (abfd, buf, bufsiz, "CORE",
 673                                    note_type, data, sizeof (data));
 674       }
 675
 676     case NT_PRSTATUS:
 677       {
 678         char data[392];
 679         va_list ap;
 680         long pid;
 681         int cursig;
 682         const void *greg;
 683
 684         va_start (ap, note_type);
 685         memset (data, 0, sizeof (data));
 686         pid = va_arg (ap, long);
 687         bfd_put_32 (abfd, pid, data + 32);
 688         cursig = va_arg (ap, int);
 689         bfd_put_16 (abfd, cursig, data + 12);
 690         greg = va_arg (ap, const void *);
 691         memcpy (data + 112, greg, 272);
 692         va_end (ap);
 693
 694         return elfcore_write_note (abfd, buf, bufsiz, "CORE",
 695                                    note_type, data, sizeof (data));
 696       }
 697     }
 698 }
 699
 700 /* Find the first input bfd with GNU property and merge it with GPROP.  If no
 701    such input is found, add it to a new section at the last input.  Update
 702    GPROP accordingly.  */
 703 bfd *
 704 _bfd_aarch64_elf_link_setup_gnu_properties (struct bfd_link_info *info,
 705                                             uint32_t *gprop)
 706 {
 707   asection *sec;
 708   bfd *pbfd;
 709   bfd *ebfd = NULL;
 710   elf_property *prop;
 711   unsigned align;
 712
 713   uint32_t gnu_prop = *gprop;
 714
 715   /* Find a normal input file with GNU property note.  */
 716   for (pbfd = info->input_bfds;
 717        pbfd != NULL;
 718        pbfd = pbfd->link.next)
 719     if (bfd_get_flavour (pbfd) == bfd_target_elf_flavour
 720         && bfd_count_sections (pbfd) != 0)
 721       {
 722         ebfd = pbfd;
 723
 724         if (elf_properties (pbfd) != NULL)
 725           break;
 726       }
 727
 728   /* If ebfd != NULL it is either an input with property note or the last
 729      input.  Either way if we have gnu_prop, we should add it (by creating
 730      a section if needed).  */
 731   if (ebfd != NULL && gnu_prop)
 732     {
 733       prop = _bfd_elf_get_property (ebfd,
 734                                     GNU_PROPERTY_AARCH64_FEATURE_1_AND,
 735                                     4);
 736       if (gnu_prop & GNU_PROPERTY_AARCH64_FEATURE_1_BTI
 737           && !(prop->u.number & GNU_PROPERTY_AARCH64_FEATURE_1_BTI))
 738             _bfd_error_handler (_("%pB: warning: BTI turned on by -z force-bti "
 739                                   "when all inputs do not have BTI in NOTE "
 740                                   "section."), ebfd);
 741       prop->u.number |= gnu_prop;
 742       prop->pr_kind = property_number;
 743
 744       /* pbfd being NULL implies ebfd is the last input.  Create the GNU
 745          property note section.  */
 746       if (pbfd == NULL)
 747         {
 748           sec = bfd_make_section_with_flags (ebfd,
 749                                              NOTE_GNU_PROPERTY_SECTION_NAME,
 750                                              (SEC_ALLOC
 751                                               | SEC_LOAD
 752                                               | SEC_IN_MEMORY
 753                                               | SEC_READONLY
 754                                               | SEC_HAS_CONTENTS
 755                                               | SEC_DATA));
 756           if (sec == NULL)
 757             info->callbacks->einfo (
 758               _("%F%P: failed to create GNU property section\n"));
 759
 760           align = (bfd_get_mach (ebfd) & bfd_mach_aarch64_ilp32) ? 2 : 3;
 761           if (!bfd_set_section_alignment (sec, align))
 762             info->callbacks->einfo (_("%F%pA: failed to align section\n"),
 763                                     sec);
 764
 765           elf_section_type (sec) = SHT_NOTE;
 766         }
 767     }
 768
 769   pbfd = _bfd_elf_link_setup_gnu_properties (info);
 770
 771   if (bfd_link_relocatable (info))
 772     return pbfd;
 773
 774   /* If pbfd has any GNU_PROPERTY_AARCH64_FEATURE_1_AND properties, update
 775      gnu_prop accordingly.  */
 776   if (pbfd != NULL)
 777     {
 778       elf_property_list *p;
 779
 780       /* The property list is sorted in order of type.  */
 781       for (p = elf_properties (pbfd); p; p = p->next)
 782         {
 783           /* Check for all GNU_PROPERTY_AARCH64_FEATURE_1_AND.  */
 784           if (GNU_PROPERTY_AARCH64_FEATURE_1_AND == p->property.pr_type)
 785             {
 786               gnu_prop = (p->property.u.number
 787                           & (GNU_PROPERTY_AARCH64_FEATURE_1_PAC
 788                               | GNU_PROPERTY_AARCH64_FEATURE_1_BTI));
 789               break;
 790             }
 791           else if (GNU_PROPERTY_AARCH64_FEATURE_1_AND < p->property.pr_type)
 792             break;
 793         }
 794     }
 795   *gprop = gnu_prop;
 796   return pbfd;
 797 }
 798
 799 /* Define elf_backend_parse_gnu_properties for AArch64.  */
 800 enum elf_property_kind
 801 _bfd_aarch64_elf_parse_gnu_properties (bfd *abfd, unsigned int type,
 802                                        bfd_byte *ptr, unsigned int datasz)
 803 {
 804   elf_property *prop;
 805
 806   switch (type)
 807     {
 808     case GNU_PROPERTY_AARCH64_FEATURE_1_AND:
 809       if (datasz != 4)
 810         {
 811           _bfd_error_handler
 812             ( _("error: %pB: <corrupt AArch64 used size: 0x%x>"),
 813              abfd, datasz);
 814           return property_corrupt;
 815         }
 816       prop = _bfd_elf_get_property (abfd, type, datasz);
 817       /* Combine properties of the same type.  */
 818       prop->u.number |= bfd_h_get_32 (abfd, ptr);
 819       prop->pr_kind = property_number;
 820       break;
 821
 822     default:
 823       return property_ignored;
 824     }
 825
 826   return property_number;
 827 }
 828
 829 /* Merge AArch64 GNU property BPROP with APROP also accounting for PROP.
 830    If APROP isn't NULL, merge it with BPROP and/or PROP.  Vice-versa if BROP
 831    isn't NULL.  Return TRUE if there is any update to APROP or if BPROP should
 832    be merge with ABFD.  */
 833 bool
 834 _bfd_aarch64_elf_merge_gnu_properties (struct bfd_link_info *info
 835                                        ATTRIBUTE_UNUSED,
 836                                        bfd *abfd ATTRIBUTE_UNUSED,
 837                                        elf_property *aprop,
 838                                        elf_property *bprop,
 839                                        uint32_t prop)
 840 {
 841   unsigned int orig_number;
 842   bool updated = false;
 843   unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type;
 844
 845   switch (pr_type)
 846     {
 847     case GNU_PROPERTY_AARCH64_FEATURE_1_AND:
 848       {
 849         if (aprop != NULL && bprop != NULL)
 850           {
 851             orig_number = aprop->u.number;
 852             aprop->u.number = (orig_number & bprop->u.number) | prop;
 853             updated = orig_number != aprop->u.number;
 854             /* Remove the property if all feature bits are cleared.  */
 855             if (aprop->u.number == 0)
 856               aprop->pr_kind = property_remove;
 857             break;
 858           }
 859         /* If either is NULL, the AND would be 0 so, if there is
 860            any PROP, asign it to the input that is not NULL.  */
 861         if (prop)
 862           {
 863             if (aprop != NULL)
 864               {
 865                 orig_number = aprop->u.number;
 866                 aprop->u.number = prop;
 867                 updated = orig_number != aprop->u.number;
 868               }
 869             else
 870               {
 871                 bprop->u.number = prop;
 872                 updated = true;
 873               }
 874           }
 875         /* No PROP and BPROP is NULL, so remove APROP.  */
 876         else if (aprop != NULL)
 877           {
 878             aprop->pr_kind = property_remove;
 879             updated = true;
 880           }
 881       }
 882       break;
 883
 884     default:
 885       abort ();
 886     }
 887
 888   return updated;
 889 }
 890
 891 /* Fix up AArch64 GNU properties.  */
 892 void
 893 _bfd_aarch64_elf_link_fixup_gnu_properties
 894   (struct bfd_link_info *info ATTRIBUTE_UNUSED,
 895    elf_property_list **listp)
 896 {
 897   elf_property_list *p, *prev;
 898
 899   for (p = *listp, prev = *listp; p; p = p->next)
 900     {
 901       unsigned int type = p->property.pr_type;
 902       if (type == GNU_PROPERTY_AARCH64_FEATURE_1_AND)
 903         {
 904           if (p->property.pr_kind == property_remove)
 905             {
 906               /* Remove empty property.  */
 907               if (prev == p)
 908                 {
 909                   *listp = p->next;
 910                   prev = *listp;
 911                 }
 912               else
 913                   prev->next = p->next;
 914               continue;
 915             }
 916           prev = p;
 917         }
 918       else if (type > GNU_PROPERTY_HIPROC)
 919         {
 920           /* The property list is sorted in order of type.  */
 921           break;
 922         }
 923     }
 924 }