[BFD, LD, AArch64, 1/3] Add support for GNU PROPERTIES in AArch64 for BTI and PAC
[external/binutils.git] / bfd / elfxx-aarch64.c
1 /* AArch64-specific support for ELF.
2    Copyright (C) 2009-2019 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_reloc_code_real_type r_type,
399                                      bfd_vma place, bfd_vma value,
400                                      bfd_vma addend, bfd_boolean weak_undef_p)
401 {
402   switch (r_type)
403     {
404     case BFD_RELOC_AARCH64_NONE:
405     case BFD_RELOC_AARCH64_TLSDESC_CALL:
406       break;
407
408     case BFD_RELOC_AARCH64_16_PCREL:
409     case BFD_RELOC_AARCH64_32_PCREL:
410     case BFD_RELOC_AARCH64_64_PCREL:
411     case BFD_RELOC_AARCH64_ADR_LO21_PCREL:
412     case BFD_RELOC_AARCH64_BRANCH19:
413     case BFD_RELOC_AARCH64_LD_LO19_PCREL:
414     case BFD_RELOC_AARCH64_MOVW_PREL_G0:
415     case BFD_RELOC_AARCH64_MOVW_PREL_G0_NC:
416     case BFD_RELOC_AARCH64_MOVW_PREL_G1:
417     case BFD_RELOC_AARCH64_MOVW_PREL_G1_NC:
418     case BFD_RELOC_AARCH64_MOVW_PREL_G2:
419     case BFD_RELOC_AARCH64_MOVW_PREL_G2_NC:
420     case BFD_RELOC_AARCH64_MOVW_PREL_G3:
421     case BFD_RELOC_AARCH64_TLSDESC_ADR_PREL21:
422     case BFD_RELOC_AARCH64_TLSDESC_LD_PREL19:
423     case BFD_RELOC_AARCH64_TLSGD_ADR_PREL21:
424     case BFD_RELOC_AARCH64_TLSIE_LD_GOTTPREL_PREL19:
425     case BFD_RELOC_AARCH64_TLSLD_ADR_PREL21:
426     case BFD_RELOC_AARCH64_TSTBR14:
427       if (weak_undef_p)
428         value = place;
429       value = value + addend - place;
430       break;
431
432     case BFD_RELOC_AARCH64_CALL26:
433     case BFD_RELOC_AARCH64_JUMP26:
434       value = value + addend - place;
435       break;
436
437     case BFD_RELOC_AARCH64_16:
438     case BFD_RELOC_AARCH64_32:
439     case BFD_RELOC_AARCH64_MOVW_G0:
440     case BFD_RELOC_AARCH64_MOVW_G0_NC:
441     case BFD_RELOC_AARCH64_MOVW_G0_S:
442     case BFD_RELOC_AARCH64_MOVW_G1:
443     case BFD_RELOC_AARCH64_MOVW_G1_NC:
444     case BFD_RELOC_AARCH64_MOVW_G1_S:
445     case BFD_RELOC_AARCH64_MOVW_G2:
446     case BFD_RELOC_AARCH64_MOVW_G2_NC:
447     case BFD_RELOC_AARCH64_MOVW_G2_S:
448     case BFD_RELOC_AARCH64_MOVW_G3:
449     case BFD_RELOC_AARCH64_TLSDESC_OFF_G0_NC:
450     case BFD_RELOC_AARCH64_TLSDESC_OFF_G1:
451     case BFD_RELOC_AARCH64_TLSGD_MOVW_G0_NC:
452     case BFD_RELOC_AARCH64_TLSGD_MOVW_G1:
453     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_HI12:
454     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12:
455     case BFD_RELOC_AARCH64_TLSLD_ADD_DTPREL_LO12_NC:
456     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12:
457     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12:
458     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12:
459     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12:
460     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0:
461     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G0_NC:
462     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1:
463     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G1_NC:
464     case BFD_RELOC_AARCH64_TLSLD_MOVW_DTPREL_G2:
465     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12:
466     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12:
467     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12:
468     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12:
469       value = value + addend;
470       break;
471
472     case BFD_RELOC_AARCH64_ADR_HI21_NC_PCREL:
473     case BFD_RELOC_AARCH64_ADR_HI21_PCREL:
474       if (weak_undef_p)
475         value = PG (place);
476       value = PG (value + addend) - PG (place);
477       break;
478
479     case BFD_RELOC_AARCH64_GOT_LD_PREL19:
480       value = value + addend - place;
481       break;
482
483     case BFD_RELOC_AARCH64_ADR_GOT_PAGE:
484     case BFD_RELOC_AARCH64_TLSDESC_ADR_PAGE21:
485     case BFD_RELOC_AARCH64_TLSGD_ADR_PAGE21:
486     case BFD_RELOC_AARCH64_TLSIE_ADR_GOTTPREL_PAGE21:
487     case BFD_RELOC_AARCH64_TLSLD_ADR_PAGE21:
488       value = PG (value + addend) - PG (place);
489       break;
490
491     /* Caller must make sure addend is the base address of .got section.  */
492     case BFD_RELOC_AARCH64_LD32_GOTPAGE_LO14:
493     case BFD_RELOC_AARCH64_LD64_GOTPAGE_LO15:
494       addend = PG (addend);
495       /* Fall through.  */
496     case BFD_RELOC_AARCH64_LD64_GOTOFF_LO15:
497     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G0_NC:
498     case BFD_RELOC_AARCH64_MOVW_GOTOFF_G1:
499       value = value - addend;
500       break;
501
502     case BFD_RELOC_AARCH64_ADD_LO12:
503     case BFD_RELOC_AARCH64_LD32_GOT_LO12_NC:
504     case BFD_RELOC_AARCH64_LD64_GOT_LO12_NC:
505     case BFD_RELOC_AARCH64_LDST128_LO12:
506     case BFD_RELOC_AARCH64_LDST16_LO12:
507     case BFD_RELOC_AARCH64_LDST32_LO12:
508     case BFD_RELOC_AARCH64_LDST64_LO12:
509     case BFD_RELOC_AARCH64_LDST8_LO12:
510     case BFD_RELOC_AARCH64_TLSDESC_ADD:
511     case BFD_RELOC_AARCH64_TLSDESC_ADD_LO12:
512     case BFD_RELOC_AARCH64_TLSDESC_LD32_LO12_NC:
513     case BFD_RELOC_AARCH64_TLSDESC_LD64_LO12:
514     case BFD_RELOC_AARCH64_TLSDESC_LDR:
515     case BFD_RELOC_AARCH64_TLSGD_ADD_LO12_NC:
516     case BFD_RELOC_AARCH64_TLSIE_LD32_GOTTPREL_LO12_NC:
517     case BFD_RELOC_AARCH64_TLSIE_LD64_GOTTPREL_LO12_NC:
518     case BFD_RELOC_AARCH64_TLSLD_LDST16_DTPREL_LO12_NC:
519     case BFD_RELOC_AARCH64_TLSLD_LDST32_DTPREL_LO12_NC:
520     case BFD_RELOC_AARCH64_TLSLD_LDST64_DTPREL_LO12_NC:
521     case BFD_RELOC_AARCH64_TLSLD_LDST8_DTPREL_LO12_NC:
522     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12_NC:
523     case BFD_RELOC_AARCH64_TLSLE_LDST16_TPREL_LO12_NC:
524     case BFD_RELOC_AARCH64_TLSLE_LDST32_TPREL_LO12_NC:
525     case BFD_RELOC_AARCH64_TLSLE_LDST64_TPREL_LO12_NC:
526     case BFD_RELOC_AARCH64_TLSLE_LDST8_TPREL_LO12_NC:
527       value = PG_OFFSET (value + addend);
528       break;
529
530     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_LO12:
531       value = value + addend;
532       break;
533
534     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G1:
535     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1:
536     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G1_NC:
537       value = (value + addend) & (bfd_vma) 0xffff0000;
538       break;
539     case BFD_RELOC_AARCH64_TLSLE_ADD_TPREL_HI12:
540       /* Mask off low 12bits, keep all other high bits, so that the later
541          generic code could check whehter there is overflow.  */
542       value = (value + addend) & ~(bfd_vma) 0xfff;
543       break;
544
545     case BFD_RELOC_AARCH64_TLSIE_MOVW_GOTTPREL_G0_NC:
546     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0:
547     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G0_NC:
548       value = (value + addend) & (bfd_vma) 0xffff;
549       break;
550
551     case BFD_RELOC_AARCH64_TLSLE_MOVW_TPREL_G2:
552       value = (value + addend) & ~(bfd_vma) 0xffffffff;
553       value -= place & ~(bfd_vma) 0xffffffff;
554       break;
555
556     default:
557       break;
558     }
559
560   return value;
561 }
562
563 /* Support for core dump NOTE sections.  */
564
565 bfd_boolean
566 _bfd_aarch64_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
567 {
568   int offset;
569   size_t size;
570
571   switch (note->descsz)
572     {
573       default:
574         return FALSE;
575
576       case 392:         /* sizeof(struct elf_prstatus) on Linux/arm64.  */
577         /* pr_cursig */
578         elf_tdata (abfd)->core->signal
579           = bfd_get_16 (abfd, note->descdata + 12);
580
581         /* pr_pid */
582         elf_tdata (abfd)->core->lwpid
583           = bfd_get_32 (abfd, note->descdata + 32);
584
585         /* pr_reg */
586         offset = 112;
587         size = 272;
588
589         break;
590     }
591
592   /* Make a ".reg/999" section.  */
593   return _bfd_elfcore_make_pseudosection (abfd, ".reg",
594                                           size, note->descpos + offset);
595 }
596
597 bfd_boolean
598 _bfd_aarch64_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
599 {
600   switch (note->descsz)
601     {
602     default:
603       return FALSE;
604
605     case 136:        /* This is sizeof(struct elf_prpsinfo) on Linux/aarch64.  */
606       elf_tdata (abfd)->core->pid = bfd_get_32 (abfd, note->descdata + 24);
607       elf_tdata (abfd)->core->program
608         = _bfd_elfcore_strndup (abfd, note->descdata + 40, 16);
609       elf_tdata (abfd)->core->command
610         = _bfd_elfcore_strndup (abfd, note->descdata + 56, 80);
611     }
612
613   /* Note that for some reason, a spurious space is tacked
614      onto the end of the args in some (at least one anyway)
615      implementations, so strip it off if it exists.  */
616
617   {
618     char *command = elf_tdata (abfd)->core->command;
619     int n = strlen (command);
620
621     if (0 < n && command[n - 1] == ' ')
622       command[n - 1] = '\0';
623   }
624
625   return TRUE;
626 }
627
628 char *
629 _bfd_aarch64_elf_write_core_note (bfd *abfd, char *buf, int *bufsiz, int note_type,
630                                   ...)
631 {
632   switch (note_type)
633     {
634     default:
635       return NULL;
636
637     case NT_PRPSINFO:
638       {
639         char data[136] ATTRIBUTE_NONSTRING;
640         va_list ap;
641
642         va_start (ap, note_type);
643         memset (data, 0, sizeof (data));
644         strncpy (data + 40, va_arg (ap, const char *), 16);
645 #if GCC_VERSION == 8000 || GCC_VERSION == 8001
646         DIAGNOSTIC_PUSH;
647         /* GCC 8.0 and 8.1 warn about 80 equals destination size with
648            -Wstringop-truncation:
649            https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85643
650          */
651         DIAGNOSTIC_IGNORE_STRINGOP_TRUNCATION;
652 #endif
653         strncpy (data + 56, va_arg (ap, const char *), 80);
654 #if GCC_VERSION == 8000 || GCC_VERSION == 8001
655         DIAGNOSTIC_POP;
656 #endif
657         va_end (ap);
658
659         return elfcore_write_note (abfd, buf, bufsiz, "CORE",
660                                    note_type, data, sizeof (data));
661       }
662
663     case NT_PRSTATUS:
664       {
665         char data[392];
666         va_list ap;
667         long pid;
668         int cursig;
669         const void *greg;
670
671         va_start (ap, note_type);
672         memset (data, 0, sizeof (data));
673         pid = va_arg (ap, long);
674         bfd_put_32 (abfd, pid, data + 32);
675         cursig = va_arg (ap, int);
676         bfd_put_16 (abfd, cursig, data + 12);
677         greg = va_arg (ap, const void *);
678         memcpy (data + 112, greg, 272);
679         va_end (ap);
680
681         return elfcore_write_note (abfd, buf, bufsiz, "CORE",
682                                    note_type, data, sizeof (data));
683       }
684     }
685 }
686
687 /* Find the first input bfd with GNU property and merge it with GPROP.  If no
688    such input is found, add it to a new section at the last input.  Update
689    GPROP accordingly.  */
690 bfd *
691 _bfd_aarch64_elf_link_setup_gnu_properties (struct bfd_link_info *info,
692                                             uint32_t *gprop)
693 {
694   asection *sec;
695   bfd *pbfd;
696   bfd *ebfd = NULL;
697   elf_property *prop;
698
699   uint32_t gnu_prop = *gprop;
700
701   /* Find a normal input file with GNU property note.  */
702   for (pbfd = info->input_bfds;
703        pbfd != NULL;
704        pbfd = pbfd->link.next)
705     if (bfd_get_flavour (pbfd) == bfd_target_elf_flavour
706         && bfd_count_sections (pbfd) != 0)
707       {
708         ebfd = pbfd;
709
710         if (elf_properties (pbfd) != NULL)
711           break;
712       }
713
714   /* If ebfd != NULL it is either an input with property note or the last
715      input.  Either way if we have gnu_prop, we should add it (by creating
716      a section if needed).  */
717   if (ebfd != NULL && gnu_prop)
718     {
719       prop = _bfd_elf_get_property (ebfd,
720                                     GNU_PROPERTY_AARCH64_FEATURE_1_AND,
721                                     4);
722       prop->u.number |= gnu_prop;
723       prop->pr_kind = property_number;
724
725       /* pbfd being NULL implies ebfd is the last input.  Create the GNU
726          property note section.  */
727       if (pbfd == NULL)
728         {
729           sec = bfd_make_section_with_flags (ebfd,
730                                              NOTE_GNU_PROPERTY_SECTION_NAME,
731                                              (SEC_ALLOC
732                                               | SEC_LOAD
733                                               | SEC_IN_MEMORY
734                                               | SEC_READONLY
735                                               | SEC_HAS_CONTENTS
736                                               | SEC_DATA));
737           if (sec == NULL)
738             info->callbacks->einfo (
739               _("%F%P: failed to create GNU property section\n"));
740
741           elf_section_type (sec) = SHT_NOTE;
742         }
743     }
744
745   pbfd = _bfd_elf_link_setup_gnu_properties (info);
746
747   if (bfd_link_relocatable (info))
748     return pbfd;
749
750   /* If pbfd has any GNU_PROPERTY_AARCH64_FEATURE_1_AND properties, update
751      gnu_prop accordingly.  */
752   if (pbfd != NULL)
753     {
754       elf_property_list *p;
755
756       /* The property list is sorted in order of type.  */
757       for (p = elf_properties (pbfd); p; p = p->next)
758         {
759           /* Check for all GNU_PROPERTY_AARCH64_FEATURE_1_AND.  */
760           if (GNU_PROPERTY_AARCH64_FEATURE_1_AND == p->property.pr_type)
761             {
762               gnu_prop = (p->property.u.number
763                           & (GNU_PROPERTY_AARCH64_FEATURE_1_PAC
764                               | GNU_PROPERTY_AARCH64_FEATURE_1_BTI));
765               break;
766             }
767           else if (GNU_PROPERTY_AARCH64_FEATURE_1_AND < p->property.pr_type)
768             break;
769         }
770     }
771   *gprop = gnu_prop;
772   return pbfd;
773 }
774
775 /* Define elf_backend_parse_gnu_properties for AArch64.  */
776 enum elf_property_kind
777 _bfd_aarch64_elf_parse_gnu_properties (bfd *abfd, unsigned int type,
778                                        bfd_byte *ptr, unsigned int datasz)
779 {
780   elf_property *prop;
781
782   switch (type)
783     {
784     case GNU_PROPERTY_AARCH64_FEATURE_1_AND:
785       if (datasz != 4)
786         {
787           _bfd_error_handler
788             ( _("error: %pB: <corrupt AArch64 used size: 0x%x>"),
789              abfd, datasz);
790           return property_corrupt;
791         }
792       prop = _bfd_elf_get_property (abfd, type, datasz);
793       /* Combine properties of the same type.  */
794       prop->u.number |= bfd_h_get_32 (abfd, ptr);
795       prop->pr_kind = property_number;
796       break;
797
798     default:
799       return property_ignored;
800     }
801
802   return property_number;
803 }
804
805 /* Merge AArch64 GNU property BPROP with APROP also accounting for PROP.
806    If APROP isn't NULL, merge it with BPROP and/or PROP.  Vice-versa if BROP
807    isn't NULL.  Return TRUE if there is any update to APROP or if BPROP should
808    be merge with ABFD.  */
809 bfd_boolean
810 _bfd_aarch64_elf_merge_gnu_properties (struct bfd_link_info *info
811                                        ATTRIBUTE_UNUSED,
812                                        bfd *abfd ATTRIBUTE_UNUSED,
813                                        elf_property *aprop,
814                                        elf_property *bprop,
815                                        uint32_t prop)
816 {
817   unsigned int orig_number;
818   bfd_boolean updated = FALSE;
819   unsigned int pr_type = aprop != NULL ? aprop->pr_type : bprop->pr_type;
820
821   switch (pr_type)
822     {
823     case GNU_PROPERTY_AARCH64_FEATURE_1_AND:
824       {
825         if (aprop != NULL && bprop != NULL)
826           {
827             orig_number = aprop->u.number;
828             aprop->u.number = (orig_number & bprop->u.number) | prop;
829             updated = orig_number != aprop->u.number;
830             /* Remove the property if all feature bits are cleared.  */
831             if (aprop->u.number == 0)
832               aprop->pr_kind = property_remove;
833             break;
834           }
835         /* If either is NULL, the AND would be 0 so, if there is
836            any PROP, asign it to the input that is not NULL.  */
837         if (prop)
838           {
839             if (aprop != NULL)
840               {
841                 orig_number = aprop->u.number;
842                 aprop->u.number = prop;
843                 updated = orig_number != aprop->u.number;
844               }
845             else
846               {
847                 bprop->u.number = prop;
848                 updated = TRUE;
849               }
850           }
851         /* No PROP and BPROP is NULL, so remove APROP.  */
852         else if (aprop != NULL)
853           {
854             aprop->pr_kind = property_remove;
855             updated = TRUE;
856           }
857       }
858       break;
859
860     default:
861       abort ();
862     }
863
864   return updated;
865 }