xref: /openbsd-src/gnu/llvm/lld/MachO/Arch/ARM64.cpp (revision dfe94b169149f14cc1aee2cf6dad58a8d9a1860c)
11cf9926bSpatrick //===- ARM64.cpp ----------------------------------------------------------===//
21cf9926bSpatrick //
31cf9926bSpatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
41cf9926bSpatrick // See https://llvm.org/LICENSE.txt for license information.
51cf9926bSpatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
61cf9926bSpatrick //
71cf9926bSpatrick //===----------------------------------------------------------------------===//
81cf9926bSpatrick 
91cf9926bSpatrick #include "Arch/ARM64Common.h"
101cf9926bSpatrick #include "InputFiles.h"
111cf9926bSpatrick #include "Symbols.h"
121cf9926bSpatrick #include "SyntheticSections.h"
131cf9926bSpatrick #include "Target.h"
141cf9926bSpatrick 
151cf9926bSpatrick #include "lld/Common/ErrorHandler.h"
16*dfe94b16Srobert #include "mach-o/compact_unwind_encoding.h"
171cf9926bSpatrick #include "llvm/ADT/SmallVector.h"
181cf9926bSpatrick #include "llvm/ADT/StringRef.h"
191cf9926bSpatrick #include "llvm/BinaryFormat/MachO.h"
201cf9926bSpatrick #include "llvm/Support/Endian.h"
21*dfe94b16Srobert #include "llvm/Support/LEB128.h"
221cf9926bSpatrick #include "llvm/Support/MathExtras.h"
231cf9926bSpatrick 
241cf9926bSpatrick using namespace llvm;
251cf9926bSpatrick using namespace llvm::MachO;
261cf9926bSpatrick using namespace llvm::support::endian;
271cf9926bSpatrick using namespace lld;
281cf9926bSpatrick using namespace lld::macho;
291cf9926bSpatrick 
301cf9926bSpatrick namespace {
311cf9926bSpatrick 
321cf9926bSpatrick struct ARM64 : ARM64Common {
331cf9926bSpatrick   ARM64();
34*dfe94b16Srobert   void writeStub(uint8_t *buf, const Symbol &, uint64_t) const override;
351cf9926bSpatrick   void writeStubHelperHeader(uint8_t *buf) const override;
36*dfe94b16Srobert   void writeStubHelperEntry(uint8_t *buf, const Symbol &,
371cf9926bSpatrick                             uint64_t entryAddr) const override;
38*dfe94b16Srobert 
39*dfe94b16Srobert   void writeObjCMsgSendStub(uint8_t *buf, Symbol *sym, uint64_t stubsAddr,
40*dfe94b16Srobert                             uint64_t stubOffset, uint64_t selrefsVA,
41*dfe94b16Srobert                             uint64_t selectorIndex, uint64_t gotAddr,
42*dfe94b16Srobert                             uint64_t msgSendIndex) const override;
431cf9926bSpatrick   void populateThunk(InputSection *thunk, Symbol *funcSym) override;
44*dfe94b16Srobert   void applyOptimizationHints(uint8_t *, const ObjFile &) const override;
451cf9926bSpatrick };
461cf9926bSpatrick 
471cf9926bSpatrick } // namespace
481cf9926bSpatrick 
491cf9926bSpatrick // Random notes on reloc types:
501cf9926bSpatrick // ADDEND always pairs with BRANCH26, PAGE21, or PAGEOFF12
511cf9926bSpatrick // POINTER_TO_GOT: ld64 supports a 4-byte pc-relative form as well as an 8-byte
521cf9926bSpatrick // absolute version of this relocation. The semantics of the absolute relocation
531cf9926bSpatrick // are weird -- it results in the value of the GOT slot being written, instead
541cf9926bSpatrick // of the address. Let's not support it unless we find a real-world use case.
55*dfe94b16Srobert static constexpr std::array<RelocAttrs, 11> relocAttrsArray{{
561cf9926bSpatrick #define B(x) RelocAttrBits::x
571cf9926bSpatrick     {"UNSIGNED",
581cf9926bSpatrick      B(UNSIGNED) | B(ABSOLUTE) | B(EXTERN) | B(LOCAL) | B(BYTE4) | B(BYTE8)},
591cf9926bSpatrick     {"SUBTRACTOR", B(SUBTRAHEND) | B(EXTERN) | B(BYTE4) | B(BYTE8)},
601cf9926bSpatrick     {"BRANCH26", B(PCREL) | B(EXTERN) | B(BRANCH) | B(BYTE4)},
611cf9926bSpatrick     {"PAGE21", B(PCREL) | B(EXTERN) | B(BYTE4)},
621cf9926bSpatrick     {"PAGEOFF12", B(ABSOLUTE) | B(EXTERN) | B(BYTE4)},
631cf9926bSpatrick     {"GOT_LOAD_PAGE21", B(PCREL) | B(EXTERN) | B(GOT) | B(BYTE4)},
641cf9926bSpatrick     {"GOT_LOAD_PAGEOFF12",
651cf9926bSpatrick      B(ABSOLUTE) | B(EXTERN) | B(GOT) | B(LOAD) | B(BYTE4)},
661cf9926bSpatrick     {"POINTER_TO_GOT", B(PCREL) | B(EXTERN) | B(GOT) | B(POINTER) | B(BYTE4)},
671cf9926bSpatrick     {"TLVP_LOAD_PAGE21", B(PCREL) | B(EXTERN) | B(TLV) | B(BYTE4)},
681cf9926bSpatrick     {"TLVP_LOAD_PAGEOFF12",
691cf9926bSpatrick      B(ABSOLUTE) | B(EXTERN) | B(TLV) | B(LOAD) | B(BYTE4)},
701cf9926bSpatrick     {"ADDEND", B(ADDEND)},
711cf9926bSpatrick #undef B
721cf9926bSpatrick }};
731cf9926bSpatrick 
741cf9926bSpatrick static constexpr uint32_t stubCode[] = {
751cf9926bSpatrick     0x90000010, // 00: adrp  x16, __la_symbol_ptr@page
761cf9926bSpatrick     0xf9400210, // 04: ldr   x16, [x16, __la_symbol_ptr@pageoff]
771cf9926bSpatrick     0xd61f0200, // 08: br    x16
781cf9926bSpatrick };
791cf9926bSpatrick 
writeStub(uint8_t * buf8,const Symbol & sym,uint64_t pointerVA) const80*dfe94b16Srobert void ARM64::writeStub(uint8_t *buf8, const Symbol &sym,
81*dfe94b16Srobert                       uint64_t pointerVA) const {
82*dfe94b16Srobert   ::writeStub(buf8, stubCode, sym, pointerVA);
831cf9926bSpatrick }
841cf9926bSpatrick 
851cf9926bSpatrick static constexpr uint32_t stubHelperHeaderCode[] = {
861cf9926bSpatrick     0x90000011, // 00: adrp  x17, _dyld_private@page
871cf9926bSpatrick     0x91000231, // 04: add   x17, x17, _dyld_private@pageoff
881cf9926bSpatrick     0xa9bf47f0, // 08: stp   x16/x17, [sp, #-16]!
891cf9926bSpatrick     0x90000010, // 0c: adrp  x16, dyld_stub_binder@page
901cf9926bSpatrick     0xf9400210, // 10: ldr   x16, [x16, dyld_stub_binder@pageoff]
911cf9926bSpatrick     0xd61f0200, // 14: br    x16
921cf9926bSpatrick };
931cf9926bSpatrick 
writeStubHelperHeader(uint8_t * buf8) const941cf9926bSpatrick void ARM64::writeStubHelperHeader(uint8_t *buf8) const {
951cf9926bSpatrick   ::writeStubHelperHeader<LP64>(buf8, stubHelperHeaderCode);
961cf9926bSpatrick }
971cf9926bSpatrick 
981cf9926bSpatrick static constexpr uint32_t stubHelperEntryCode[] = {
991cf9926bSpatrick     0x18000050, // 00: ldr  w16, l0
1001cf9926bSpatrick     0x14000000, // 04: b    stubHelperHeader
1011cf9926bSpatrick     0x00000000, // 08: l0: .long 0
1021cf9926bSpatrick };
1031cf9926bSpatrick 
writeStubHelperEntry(uint8_t * buf8,const Symbol & sym,uint64_t entryVA) const104*dfe94b16Srobert void ARM64::writeStubHelperEntry(uint8_t *buf8, const Symbol &sym,
1051cf9926bSpatrick                                  uint64_t entryVA) const {
1061cf9926bSpatrick   ::writeStubHelperEntry(buf8, stubHelperEntryCode, sym, entryVA);
1071cf9926bSpatrick }
1081cf9926bSpatrick 
109*dfe94b16Srobert static constexpr uint32_t objcStubsFastCode[] = {
110*dfe94b16Srobert     0x90000001, // adrp  x1, __objc_selrefs@page
111*dfe94b16Srobert     0xf9400021, // ldr   x1, [x1, @selector("foo")@pageoff]
112*dfe94b16Srobert     0x90000010, // adrp  x16, _got@page
113*dfe94b16Srobert     0xf9400210, // ldr   x16, [x16, _objc_msgSend@pageoff]
114*dfe94b16Srobert     0xd61f0200, // br    x16
115*dfe94b16Srobert     0xd4200020, // brk   #0x1
116*dfe94b16Srobert     0xd4200020, // brk   #0x1
117*dfe94b16Srobert     0xd4200020, // brk   #0x1
118*dfe94b16Srobert };
119*dfe94b16Srobert 
writeObjCMsgSendStub(uint8_t * buf,Symbol * sym,uint64_t stubsAddr,uint64_t stubOffset,uint64_t selrefsVA,uint64_t selectorIndex,uint64_t gotAddr,uint64_t msgSendIndex) const120*dfe94b16Srobert void ARM64::writeObjCMsgSendStub(uint8_t *buf, Symbol *sym, uint64_t stubsAddr,
121*dfe94b16Srobert                                  uint64_t stubOffset, uint64_t selrefsVA,
122*dfe94b16Srobert                                  uint64_t selectorIndex, uint64_t gotAddr,
123*dfe94b16Srobert                                  uint64_t msgSendIndex) const {
124*dfe94b16Srobert   ::writeObjCMsgSendStub<LP64>(buf, objcStubsFastCode, sym, stubsAddr,
125*dfe94b16Srobert                                stubOffset, selrefsVA, selectorIndex, gotAddr,
126*dfe94b16Srobert                                msgSendIndex);
127*dfe94b16Srobert }
128*dfe94b16Srobert 
1291cf9926bSpatrick // A thunk is the relaxed variation of stubCode. We don't need the
1301cf9926bSpatrick // extra indirection through a lazy pointer because the target address
1311cf9926bSpatrick // is known at link time.
1321cf9926bSpatrick static constexpr uint32_t thunkCode[] = {
1331cf9926bSpatrick     0x90000010, // 00: adrp  x16, <thunk.ptr>@page
1341cf9926bSpatrick     0x91000210, // 04: add   x16, [x16,<thunk.ptr>@pageoff]
1351cf9926bSpatrick     0xd61f0200, // 08: br    x16
1361cf9926bSpatrick };
1371cf9926bSpatrick 
populateThunk(InputSection * thunk,Symbol * funcSym)1381cf9926bSpatrick void ARM64::populateThunk(InputSection *thunk, Symbol *funcSym) {
1391cf9926bSpatrick   thunk->align = 4;
1401cf9926bSpatrick   thunk->data = {reinterpret_cast<const uint8_t *>(thunkCode),
1411cf9926bSpatrick                  sizeof(thunkCode)};
1421cf9926bSpatrick   thunk->relocs.push_back({/*type=*/ARM64_RELOC_PAGEOFF12,
1431cf9926bSpatrick                            /*pcrel=*/false, /*length=*/2,
1441cf9926bSpatrick                            /*offset=*/4, /*addend=*/0,
1451cf9926bSpatrick                            /*referent=*/funcSym});
1461cf9926bSpatrick   thunk->relocs.push_back({/*type=*/ARM64_RELOC_PAGE21,
1471cf9926bSpatrick                            /*pcrel=*/true, /*length=*/2,
1481cf9926bSpatrick                            /*offset=*/0, /*addend=*/0,
1491cf9926bSpatrick                            /*referent=*/funcSym});
1501cf9926bSpatrick }
1511cf9926bSpatrick 
ARM64()1521cf9926bSpatrick ARM64::ARM64() : ARM64Common(LP64()) {
1531cf9926bSpatrick   cpuType = CPU_TYPE_ARM64;
1541cf9926bSpatrick   cpuSubtype = CPU_SUBTYPE_ARM64_ALL;
1551cf9926bSpatrick 
1561cf9926bSpatrick   stubSize = sizeof(stubCode);
1571cf9926bSpatrick   thunkSize = sizeof(thunkCode);
158*dfe94b16Srobert 
159*dfe94b16Srobert   objcStubsFastSize = sizeof(objcStubsFastCode);
160*dfe94b16Srobert   objcStubsAlignment = 32;
161*dfe94b16Srobert 
162*dfe94b16Srobert   // Branch immediate is two's complement 26 bits, which is implicitly
163*dfe94b16Srobert   // multiplied by 4 (since all functions are 4-aligned: The branch range
164*dfe94b16Srobert   // is -4*(2**(26-1))..4*(2**(26-1) - 1).
165*dfe94b16Srobert   backwardBranchRange = 128 * 1024 * 1024;
166*dfe94b16Srobert   forwardBranchRange = backwardBranchRange - 4;
167*dfe94b16Srobert 
168*dfe94b16Srobert   modeDwarfEncoding = UNWIND_ARM64_MODE_DWARF;
169*dfe94b16Srobert   subtractorRelocType = ARM64_RELOC_SUBTRACTOR;
170*dfe94b16Srobert   unsignedRelocType = ARM64_RELOC_UNSIGNED;
171*dfe94b16Srobert 
1721cf9926bSpatrick   stubHelperHeaderSize = sizeof(stubHelperHeaderCode);
1731cf9926bSpatrick   stubHelperEntrySize = sizeof(stubHelperEntryCode);
174*dfe94b16Srobert 
175*dfe94b16Srobert   relocAttrs = {relocAttrsArray.data(), relocAttrsArray.size()};
176*dfe94b16Srobert }
177*dfe94b16Srobert 
178*dfe94b16Srobert namespace {
179*dfe94b16Srobert struct Adrp {
180*dfe94b16Srobert   uint32_t destRegister;
181*dfe94b16Srobert   int64_t addend;
182*dfe94b16Srobert };
183*dfe94b16Srobert 
184*dfe94b16Srobert struct Add {
185*dfe94b16Srobert   uint8_t destRegister;
186*dfe94b16Srobert   uint8_t srcRegister;
187*dfe94b16Srobert   uint32_t addend;
188*dfe94b16Srobert };
189*dfe94b16Srobert 
190*dfe94b16Srobert enum ExtendType { ZeroExtend = 1, Sign64 = 2, Sign32 = 3 };
191*dfe94b16Srobert 
192*dfe94b16Srobert struct Ldr {
193*dfe94b16Srobert   uint8_t destRegister;
194*dfe94b16Srobert   uint8_t baseRegister;
195*dfe94b16Srobert   uint8_t p2Size;
196*dfe94b16Srobert   bool isFloat;
197*dfe94b16Srobert   ExtendType extendType;
198*dfe94b16Srobert   int64_t offset;
199*dfe94b16Srobert };
200*dfe94b16Srobert } // namespace
201*dfe94b16Srobert 
parseAdrp(uint32_t insn,Adrp & adrp)202*dfe94b16Srobert static bool parseAdrp(uint32_t insn, Adrp &adrp) {
203*dfe94b16Srobert   if ((insn & 0x9f000000) != 0x90000000)
204*dfe94b16Srobert     return false;
205*dfe94b16Srobert   adrp.destRegister = insn & 0x1f;
206*dfe94b16Srobert   uint64_t immHi = (insn >> 5) & 0x7ffff;
207*dfe94b16Srobert   uint64_t immLo = (insn >> 29) & 0x3;
208*dfe94b16Srobert   adrp.addend = SignExtend64<21>(immLo | (immHi << 2)) * 4096;
209*dfe94b16Srobert   return true;
210*dfe94b16Srobert }
211*dfe94b16Srobert 
parseAdd(uint32_t insn,Add & add)212*dfe94b16Srobert static bool parseAdd(uint32_t insn, Add &add) {
213*dfe94b16Srobert   if ((insn & 0xffc00000) != 0x91000000)
214*dfe94b16Srobert     return false;
215*dfe94b16Srobert   add.destRegister = insn & 0x1f;
216*dfe94b16Srobert   add.srcRegister = (insn >> 5) & 0x1f;
217*dfe94b16Srobert   add.addend = (insn >> 10) & 0xfff;
218*dfe94b16Srobert   return true;
219*dfe94b16Srobert }
220*dfe94b16Srobert 
parseLdr(uint32_t insn,Ldr & ldr)221*dfe94b16Srobert static bool parseLdr(uint32_t insn, Ldr &ldr) {
222*dfe94b16Srobert   ldr.destRegister = insn & 0x1f;
223*dfe94b16Srobert   ldr.baseRegister = (insn >> 5) & 0x1f;
224*dfe94b16Srobert   uint8_t size = insn >> 30;
225*dfe94b16Srobert   uint8_t opc = (insn >> 22) & 3;
226*dfe94b16Srobert 
227*dfe94b16Srobert   if ((insn & 0x3fc00000) == 0x39400000) {
228*dfe94b16Srobert     // LDR (immediate), LDRB (immediate), LDRH (immediate)
229*dfe94b16Srobert     ldr.p2Size = size;
230*dfe94b16Srobert     ldr.extendType = ZeroExtend;
231*dfe94b16Srobert     ldr.isFloat = false;
232*dfe94b16Srobert   } else if ((insn & 0x3f800000) == 0x39800000) {
233*dfe94b16Srobert     // LDRSB (immediate), LDRSH (immediate), LDRSW (immediate)
234*dfe94b16Srobert     ldr.p2Size = size;
235*dfe94b16Srobert     ldr.extendType = static_cast<ExtendType>(opc);
236*dfe94b16Srobert     ldr.isFloat = false;
237*dfe94b16Srobert   } else if ((insn & 0x3f400000) == 0x3d400000) {
238*dfe94b16Srobert     // LDR (immediate, SIMD&FP)
239*dfe94b16Srobert     ldr.extendType = ZeroExtend;
240*dfe94b16Srobert     ldr.isFloat = true;
241*dfe94b16Srobert     if (opc == 1)
242*dfe94b16Srobert       ldr.p2Size = size;
243*dfe94b16Srobert     else if (size == 0 && opc == 3)
244*dfe94b16Srobert       ldr.p2Size = 4;
245*dfe94b16Srobert     else
246*dfe94b16Srobert       return false;
247*dfe94b16Srobert   } else {
248*dfe94b16Srobert     return false;
249*dfe94b16Srobert   }
250*dfe94b16Srobert   ldr.offset = ((insn >> 10) & 0xfff) << ldr.p2Size;
251*dfe94b16Srobert   return true;
252*dfe94b16Srobert }
253*dfe94b16Srobert 
isValidAdrOffset(int32_t delta)254*dfe94b16Srobert static bool isValidAdrOffset(int32_t delta) { return isInt<21>(delta); }
255*dfe94b16Srobert 
writeAdr(void * loc,uint32_t dest,int32_t delta)256*dfe94b16Srobert static void writeAdr(void *loc, uint32_t dest, int32_t delta) {
257*dfe94b16Srobert   assert(isValidAdrOffset(delta));
258*dfe94b16Srobert   uint32_t opcode = 0x10000000;
259*dfe94b16Srobert   uint32_t immHi = (delta & 0x001ffffc) << 3;
260*dfe94b16Srobert   uint32_t immLo = (delta & 0x00000003) << 29;
261*dfe94b16Srobert   write32le(loc, opcode | immHi | immLo | dest);
262*dfe94b16Srobert }
263*dfe94b16Srobert 
writeNop(void * loc)264*dfe94b16Srobert static void writeNop(void *loc) { write32le(loc, 0xd503201f); }
265*dfe94b16Srobert 
isLiteralLdrEligible(const Ldr & ldr)266*dfe94b16Srobert static bool isLiteralLdrEligible(const Ldr &ldr) {
267*dfe94b16Srobert   return ldr.p2Size > 1 && isShiftedInt<19, 2>(ldr.offset);
268*dfe94b16Srobert }
269*dfe94b16Srobert 
writeLiteralLdr(void * loc,const Ldr & ldr)270*dfe94b16Srobert static void writeLiteralLdr(void *loc, const Ldr &ldr) {
271*dfe94b16Srobert   assert(isLiteralLdrEligible(ldr));
272*dfe94b16Srobert   uint32_t imm19 = (ldr.offset / 4 & maskTrailingOnes<uint32_t>(19)) << 5;
273*dfe94b16Srobert   uint32_t opcode;
274*dfe94b16Srobert   switch (ldr.p2Size) {
275*dfe94b16Srobert   case 2:
276*dfe94b16Srobert     if (ldr.isFloat)
277*dfe94b16Srobert       opcode = 0x1c000000;
278*dfe94b16Srobert     else
279*dfe94b16Srobert       opcode = ldr.extendType == Sign64 ? 0x98000000 : 0x18000000;
280*dfe94b16Srobert     break;
281*dfe94b16Srobert   case 3:
282*dfe94b16Srobert     opcode = ldr.isFloat ? 0x5c000000 : 0x58000000;
283*dfe94b16Srobert     break;
284*dfe94b16Srobert   case 4:
285*dfe94b16Srobert     opcode = 0x9c000000;
286*dfe94b16Srobert     break;
287*dfe94b16Srobert   default:
288*dfe94b16Srobert     llvm_unreachable("Invalid literal ldr size");
289*dfe94b16Srobert   }
290*dfe94b16Srobert   write32le(loc, opcode | imm19 | ldr.destRegister);
291*dfe94b16Srobert }
292*dfe94b16Srobert 
isImmediateLdrEligible(const Ldr & ldr)293*dfe94b16Srobert static bool isImmediateLdrEligible(const Ldr &ldr) {
294*dfe94b16Srobert   // Note: We deviate from ld64's behavior, which converts to immediate loads
295*dfe94b16Srobert   // only if ldr.offset < 4096, even though the offset is divided by the load's
296*dfe94b16Srobert   // size in the 12-bit immediate operand. Only the unsigned offset variant is
297*dfe94b16Srobert   // supported.
298*dfe94b16Srobert 
299*dfe94b16Srobert   uint32_t size = 1 << ldr.p2Size;
300*dfe94b16Srobert   return ldr.offset >= 0 && (ldr.offset % size) == 0 &&
301*dfe94b16Srobert          isUInt<12>(ldr.offset >> ldr.p2Size);
302*dfe94b16Srobert }
303*dfe94b16Srobert 
writeImmediateLdr(void * loc,const Ldr & ldr)304*dfe94b16Srobert static void writeImmediateLdr(void *loc, const Ldr &ldr) {
305*dfe94b16Srobert   assert(isImmediateLdrEligible(ldr));
306*dfe94b16Srobert   uint32_t opcode = 0x39000000;
307*dfe94b16Srobert   if (ldr.isFloat) {
308*dfe94b16Srobert     opcode |= 0x04000000;
309*dfe94b16Srobert     assert(ldr.extendType == ZeroExtend);
310*dfe94b16Srobert   }
311*dfe94b16Srobert   opcode |= ldr.destRegister;
312*dfe94b16Srobert   opcode |= ldr.baseRegister << 5;
313*dfe94b16Srobert   uint8_t size, opc;
314*dfe94b16Srobert   if (ldr.p2Size == 4) {
315*dfe94b16Srobert     size = 0;
316*dfe94b16Srobert     opc = 3;
317*dfe94b16Srobert   } else {
318*dfe94b16Srobert     opc = ldr.extendType;
319*dfe94b16Srobert     size = ldr.p2Size;
320*dfe94b16Srobert   }
321*dfe94b16Srobert   uint32_t immBits = ldr.offset >> ldr.p2Size;
322*dfe94b16Srobert   write32le(loc, opcode | (immBits << 10) | (opc << 22) | (size << 30));
323*dfe94b16Srobert }
324*dfe94b16Srobert 
325*dfe94b16Srobert // Transforms a pair of adrp+add instructions into an adr instruction if the
326*dfe94b16Srobert // target is within the +/- 1 MiB range allowed by the adr's 21 bit signed
327*dfe94b16Srobert // immediate offset.
328*dfe94b16Srobert //
329*dfe94b16Srobert //   adrp xN, _foo@PAGE
330*dfe94b16Srobert //   add  xM, xN, _foo@PAGEOFF
331*dfe94b16Srobert // ->
332*dfe94b16Srobert //   adr  xM, _foo
333*dfe94b16Srobert //   nop
applyAdrpAdd(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2)334*dfe94b16Srobert static void applyAdrpAdd(uint8_t *buf, const ConcatInputSection *isec,
335*dfe94b16Srobert                          uint64_t offset1, uint64_t offset2) {
336*dfe94b16Srobert   uint32_t ins1 = read32le(buf + offset1);
337*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
338*dfe94b16Srobert   Adrp adrp;
339*dfe94b16Srobert   Add add;
340*dfe94b16Srobert   if (!parseAdrp(ins1, adrp) || !parseAdd(ins2, add))
341*dfe94b16Srobert     return;
342*dfe94b16Srobert   if (adrp.destRegister != add.srcRegister)
343*dfe94b16Srobert     return;
344*dfe94b16Srobert 
345*dfe94b16Srobert   uint64_t addr1 = isec->getVA() + offset1;
346*dfe94b16Srobert   uint64_t referent = pageBits(addr1) + adrp.addend + add.addend;
347*dfe94b16Srobert   int64_t delta = referent - addr1;
348*dfe94b16Srobert   if (!isValidAdrOffset(delta))
349*dfe94b16Srobert     return;
350*dfe94b16Srobert 
351*dfe94b16Srobert   writeAdr(buf + offset1, add.destRegister, delta);
352*dfe94b16Srobert   writeNop(buf + offset2);
353*dfe94b16Srobert }
354*dfe94b16Srobert 
355*dfe94b16Srobert // Transforms two adrp instructions into a single adrp if their referent
356*dfe94b16Srobert // addresses are located on the same 4096 byte page.
357*dfe94b16Srobert //
358*dfe94b16Srobert //   adrp xN, _foo@PAGE
359*dfe94b16Srobert //   adrp xN, _bar@PAGE
360*dfe94b16Srobert // ->
361*dfe94b16Srobert //   adrp xN, _foo@PAGE
362*dfe94b16Srobert //   nop
applyAdrpAdrp(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2)363*dfe94b16Srobert static void applyAdrpAdrp(uint8_t *buf, const ConcatInputSection *isec,
364*dfe94b16Srobert                           uint64_t offset1, uint64_t offset2) {
365*dfe94b16Srobert   uint32_t ins1 = read32le(buf + offset1);
366*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
367*dfe94b16Srobert   Adrp adrp1, adrp2;
368*dfe94b16Srobert   if (!parseAdrp(ins1, adrp1) || !parseAdrp(ins2, adrp2))
369*dfe94b16Srobert     return;
370*dfe94b16Srobert   if (adrp1.destRegister != adrp2.destRegister)
371*dfe94b16Srobert     return;
372*dfe94b16Srobert 
373*dfe94b16Srobert   uint64_t page1 = pageBits(offset1 + isec->getVA()) + adrp1.addend;
374*dfe94b16Srobert   uint64_t page2 = pageBits(offset2 + isec->getVA()) + adrp2.addend;
375*dfe94b16Srobert   if (page1 != page2)
376*dfe94b16Srobert     return;
377*dfe94b16Srobert 
378*dfe94b16Srobert   writeNop(buf + offset2);
379*dfe94b16Srobert }
380*dfe94b16Srobert 
381*dfe94b16Srobert // Transforms a pair of adrp+ldr (immediate) instructions into an ldr (literal)
382*dfe94b16Srobert // load from a PC-relative address if it is 4-byte aligned and within +/- 1 MiB,
383*dfe94b16Srobert // as ldr can encode a signed 19-bit offset that gets multiplied by 4.
384*dfe94b16Srobert //
385*dfe94b16Srobert //   adrp xN, _foo@PAGE
386*dfe94b16Srobert //   ldr  xM, [xN, _foo@PAGEOFF]
387*dfe94b16Srobert // ->
388*dfe94b16Srobert //   nop
389*dfe94b16Srobert //   ldr  xM, _foo
applyAdrpLdr(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2)390*dfe94b16Srobert static void applyAdrpLdr(uint8_t *buf, const ConcatInputSection *isec,
391*dfe94b16Srobert                          uint64_t offset1, uint64_t offset2) {
392*dfe94b16Srobert   uint32_t ins1 = read32le(buf + offset1);
393*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
394*dfe94b16Srobert   Adrp adrp;
395*dfe94b16Srobert   Ldr ldr;
396*dfe94b16Srobert   if (!parseAdrp(ins1, adrp) || !parseLdr(ins2, ldr))
397*dfe94b16Srobert     return;
398*dfe94b16Srobert   if (adrp.destRegister != ldr.baseRegister)
399*dfe94b16Srobert     return;
400*dfe94b16Srobert 
401*dfe94b16Srobert   uint64_t addr1 = isec->getVA() + offset1;
402*dfe94b16Srobert   uint64_t addr2 = isec->getVA() + offset2;
403*dfe94b16Srobert   uint64_t referent = pageBits(addr1) + adrp.addend + ldr.offset;
404*dfe94b16Srobert   ldr.offset = referent - addr2;
405*dfe94b16Srobert   if (!isLiteralLdrEligible(ldr))
406*dfe94b16Srobert     return;
407*dfe94b16Srobert 
408*dfe94b16Srobert   writeNop(buf + offset1);
409*dfe94b16Srobert   writeLiteralLdr(buf + offset2, ldr);
410*dfe94b16Srobert }
411*dfe94b16Srobert 
412*dfe94b16Srobert // GOT loads are emitted by the compiler as a pair of adrp and ldr instructions,
413*dfe94b16Srobert // but they may be changed to adrp+add by relaxGotLoad(). This hint performs
414*dfe94b16Srobert // the AdrpLdr or AdrpAdd transformation depending on whether it was relaxed.
applyAdrpLdrGot(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2)415*dfe94b16Srobert static void applyAdrpLdrGot(uint8_t *buf, const ConcatInputSection *isec,
416*dfe94b16Srobert                             uint64_t offset1, uint64_t offset2) {
417*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
418*dfe94b16Srobert   Add add;
419*dfe94b16Srobert   Ldr ldr;
420*dfe94b16Srobert   if (parseAdd(ins2, add))
421*dfe94b16Srobert     applyAdrpAdd(buf, isec, offset1, offset2);
422*dfe94b16Srobert   else if (parseLdr(ins2, ldr))
423*dfe94b16Srobert     applyAdrpLdr(buf, isec, offset1, offset2);
424*dfe94b16Srobert }
425*dfe94b16Srobert 
426*dfe94b16Srobert // Optimizes an adrp+add+ldr sequence used for loading from a local symbol's
427*dfe94b16Srobert // address by loading directly if it's close enough, or to an adrp(p)+ldr
428*dfe94b16Srobert // sequence if it's not.
429*dfe94b16Srobert //
430*dfe94b16Srobert //   adrp x0, _foo@PAGE
431*dfe94b16Srobert //   add  x1, x0, _foo@PAGEOFF
432*dfe94b16Srobert //   ldr  x2, [x1, #off]
applyAdrpAddLdr(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2,uint64_t offset3)433*dfe94b16Srobert static void applyAdrpAddLdr(uint8_t *buf, const ConcatInputSection *isec,
434*dfe94b16Srobert                             uint64_t offset1, uint64_t offset2,
435*dfe94b16Srobert                             uint64_t offset3) {
436*dfe94b16Srobert   uint32_t ins1 = read32le(buf + offset1);
437*dfe94b16Srobert   Adrp adrp;
438*dfe94b16Srobert   if (!parseAdrp(ins1, adrp))
439*dfe94b16Srobert     return;
440*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
441*dfe94b16Srobert   Add add;
442*dfe94b16Srobert   if (!parseAdd(ins2, add))
443*dfe94b16Srobert     return;
444*dfe94b16Srobert   uint32_t ins3 = read32le(buf + offset3);
445*dfe94b16Srobert   Ldr ldr;
446*dfe94b16Srobert   if (!parseLdr(ins3, ldr))
447*dfe94b16Srobert     return;
448*dfe94b16Srobert   if (adrp.destRegister != add.srcRegister)
449*dfe94b16Srobert     return;
450*dfe94b16Srobert   if (add.destRegister != ldr.baseRegister)
451*dfe94b16Srobert     return;
452*dfe94b16Srobert 
453*dfe94b16Srobert   // Load from the target address directly.
454*dfe94b16Srobert   //   nop
455*dfe94b16Srobert   //   nop
456*dfe94b16Srobert   //   ldr x2, [_foo + #off]
457*dfe94b16Srobert   uint64_t addr1 = isec->getVA() + offset1;
458*dfe94b16Srobert   uint64_t addr3 = isec->getVA() + offset3;
459*dfe94b16Srobert   uint64_t referent = pageBits(addr1) + adrp.addend + add.addend;
460*dfe94b16Srobert   Ldr literalLdr = ldr;
461*dfe94b16Srobert   literalLdr.offset += referent - addr3;
462*dfe94b16Srobert   if (isLiteralLdrEligible(literalLdr)) {
463*dfe94b16Srobert     writeNop(buf + offset1);
464*dfe94b16Srobert     writeNop(buf + offset2);
465*dfe94b16Srobert     writeLiteralLdr(buf + offset3, literalLdr);
466*dfe94b16Srobert     return;
467*dfe94b16Srobert   }
468*dfe94b16Srobert 
469*dfe94b16Srobert   // Load the target address into a register and load from there indirectly.
470*dfe94b16Srobert   //   adr x1, _foo
471*dfe94b16Srobert   //   nop
472*dfe94b16Srobert   //   ldr x2, [x1, #off]
473*dfe94b16Srobert   int64_t adrOffset = referent - addr1;
474*dfe94b16Srobert   if (isValidAdrOffset(adrOffset)) {
475*dfe94b16Srobert     writeAdr(buf + offset1, ldr.baseRegister, adrOffset);
476*dfe94b16Srobert     // Note: ld64 moves the offset into the adr instruction for AdrpAddLdr, but
477*dfe94b16Srobert     // not for AdrpLdrGotLdr. Its effect is the same either way.
478*dfe94b16Srobert     writeNop(buf + offset2);
479*dfe94b16Srobert     return;
480*dfe94b16Srobert   }
481*dfe94b16Srobert 
482*dfe94b16Srobert   // Move the target's page offset into the ldr's immediate offset.
483*dfe94b16Srobert   //   adrp x0, _foo@PAGE
484*dfe94b16Srobert   //   nop
485*dfe94b16Srobert   //   ldr x2, [x0, _foo@PAGEOFF + #off]
486*dfe94b16Srobert   Ldr immediateLdr = ldr;
487*dfe94b16Srobert   immediateLdr.baseRegister = adrp.destRegister;
488*dfe94b16Srobert   immediateLdr.offset += add.addend;
489*dfe94b16Srobert   if (isImmediateLdrEligible(immediateLdr)) {
490*dfe94b16Srobert     writeNop(buf + offset2);
491*dfe94b16Srobert     writeImmediateLdr(buf + offset3, immediateLdr);
492*dfe94b16Srobert     return;
493*dfe94b16Srobert   }
494*dfe94b16Srobert }
495*dfe94b16Srobert 
496*dfe94b16Srobert // Relaxes a GOT-indirect load.
497*dfe94b16Srobert // If the referenced symbol is external and its GOT entry is within +/- 1 MiB,
498*dfe94b16Srobert // the GOT entry can be loaded with a single literal ldr instruction.
499*dfe94b16Srobert // If the referenced symbol is local and thus has been relaxed to adrp+add+ldr,
500*dfe94b16Srobert // we perform the AdrpAddLdr transformation.
applyAdrpLdrGotLdr(uint8_t * buf,const ConcatInputSection * isec,uint64_t offset1,uint64_t offset2,uint64_t offset3)501*dfe94b16Srobert static void applyAdrpLdrGotLdr(uint8_t *buf, const ConcatInputSection *isec,
502*dfe94b16Srobert                                uint64_t offset1, uint64_t offset2,
503*dfe94b16Srobert                                uint64_t offset3) {
504*dfe94b16Srobert   uint32_t ins2 = read32le(buf + offset2);
505*dfe94b16Srobert   Add add;
506*dfe94b16Srobert   Ldr ldr2;
507*dfe94b16Srobert 
508*dfe94b16Srobert   if (parseAdd(ins2, add)) {
509*dfe94b16Srobert     applyAdrpAddLdr(buf, isec, offset1, offset2, offset3);
510*dfe94b16Srobert   } else if (parseLdr(ins2, ldr2)) {
511*dfe94b16Srobert     // adrp x1, _foo@GOTPAGE
512*dfe94b16Srobert     // ldr  x2, [x1, _foo@GOTPAGEOFF]
513*dfe94b16Srobert     // ldr  x3, [x2, #off]
514*dfe94b16Srobert 
515*dfe94b16Srobert     uint32_t ins1 = read32le(buf + offset1);
516*dfe94b16Srobert     Adrp adrp;
517*dfe94b16Srobert     if (!parseAdrp(ins1, adrp))
518*dfe94b16Srobert       return;
519*dfe94b16Srobert     uint32_t ins3 = read32le(buf + offset3);
520*dfe94b16Srobert     Ldr ldr3;
521*dfe94b16Srobert     if (!parseLdr(ins3, ldr3))
522*dfe94b16Srobert       return;
523*dfe94b16Srobert 
524*dfe94b16Srobert     if (ldr2.baseRegister != adrp.destRegister)
525*dfe94b16Srobert       return;
526*dfe94b16Srobert     if (ldr3.baseRegister != ldr2.destRegister)
527*dfe94b16Srobert       return;
528*dfe94b16Srobert     // Loads from the GOT must be pointer sized.
529*dfe94b16Srobert     if (ldr2.p2Size != 3 || ldr2.isFloat)
530*dfe94b16Srobert       return;
531*dfe94b16Srobert 
532*dfe94b16Srobert     uint64_t addr1 = isec->getVA() + offset1;
533*dfe94b16Srobert     uint64_t addr2 = isec->getVA() + offset2;
534*dfe94b16Srobert     uint64_t referent = pageBits(addr1) + adrp.addend + ldr2.offset;
535*dfe94b16Srobert     // Load the GOT entry's address directly.
536*dfe94b16Srobert     //   nop
537*dfe94b16Srobert     //   ldr x2, _foo@GOTPAGE + _foo@GOTPAGEOFF
538*dfe94b16Srobert     //   ldr x3, [x2, #off]
539*dfe94b16Srobert     Ldr literalLdr = ldr2;
540*dfe94b16Srobert     literalLdr.offset = referent - addr2;
541*dfe94b16Srobert     if (isLiteralLdrEligible(literalLdr)) {
542*dfe94b16Srobert       writeNop(buf + offset1);
543*dfe94b16Srobert       writeLiteralLdr(buf + offset2, literalLdr);
544*dfe94b16Srobert     }
545*dfe94b16Srobert   }
546*dfe94b16Srobert }
547*dfe94b16Srobert 
readValue(const uint8_t * & ptr,const uint8_t * end)548*dfe94b16Srobert static uint64_t readValue(const uint8_t *&ptr, const uint8_t *end) {
549*dfe94b16Srobert   unsigned int n = 0;
550*dfe94b16Srobert   uint64_t value = decodeULEB128(ptr, &n, end);
551*dfe94b16Srobert   ptr += n;
552*dfe94b16Srobert   return value;
553*dfe94b16Srobert }
554*dfe94b16Srobert 
555*dfe94b16Srobert template <typename Callback>
forEachHint(ArrayRef<uint8_t> data,Callback callback)556*dfe94b16Srobert static void forEachHint(ArrayRef<uint8_t> data, Callback callback) {
557*dfe94b16Srobert   std::array<uint64_t, 3> args;
558*dfe94b16Srobert 
559*dfe94b16Srobert   for (const uint8_t *p = data.begin(), *end = data.end(); p < end;) {
560*dfe94b16Srobert     uint64_t type = readValue(p, end);
561*dfe94b16Srobert     if (type == 0)
562*dfe94b16Srobert       break;
563*dfe94b16Srobert 
564*dfe94b16Srobert     uint64_t argCount = readValue(p, end);
565*dfe94b16Srobert     // All known LOH types as of 2022-09 have 3 or fewer arguments; skip others.
566*dfe94b16Srobert     if (argCount > 3) {
567*dfe94b16Srobert       for (unsigned i = 0; i < argCount; ++i)
568*dfe94b16Srobert         readValue(p, end);
569*dfe94b16Srobert       continue;
570*dfe94b16Srobert     }
571*dfe94b16Srobert 
572*dfe94b16Srobert     for (unsigned i = 0; i < argCount; ++i)
573*dfe94b16Srobert       args[i] = readValue(p, end);
574*dfe94b16Srobert     callback(type, ArrayRef<uint64_t>(args.data(), argCount));
575*dfe94b16Srobert   }
576*dfe94b16Srobert }
577*dfe94b16Srobert 
578*dfe94b16Srobert // On RISC architectures like arm64, materializing a memory address generally
579*dfe94b16Srobert // takes multiple instructions. If the referenced symbol is located close enough
580*dfe94b16Srobert // in memory, fewer instructions are needed.
581*dfe94b16Srobert //
582*dfe94b16Srobert // Linker optimization hints record where addresses are computed. After
583*dfe94b16Srobert // addresses have been assigned, if possible, we change them to a shorter
584*dfe94b16Srobert // sequence of instructions. The size of the binary is not modified; the
585*dfe94b16Srobert // eliminated instructions are replaced with NOPs. This still leads to faster
586*dfe94b16Srobert // code as the CPU can skip over NOPs quickly.
587*dfe94b16Srobert //
588*dfe94b16Srobert // LOHs are specified by the LC_LINKER_OPTIMIZATION_HINTS load command, which
589*dfe94b16Srobert // points to a sequence of ULEB128-encoded numbers. Each entry specifies a
590*dfe94b16Srobert // transformation kind, and 2 or 3 addresses where the instructions are located.
applyOptimizationHints(uint8_t * outBuf,const ObjFile & obj) const591*dfe94b16Srobert void ARM64::applyOptimizationHints(uint8_t *outBuf, const ObjFile &obj) const {
592*dfe94b16Srobert   ArrayRef<uint8_t> data = obj.getOptimizationHints();
593*dfe94b16Srobert   if (data.empty())
594*dfe94b16Srobert     return;
595*dfe94b16Srobert 
596*dfe94b16Srobert   const ConcatInputSection *section = nullptr;
597*dfe94b16Srobert   uint64_t sectionAddr = 0;
598*dfe94b16Srobert   uint8_t *buf = nullptr;
599*dfe94b16Srobert 
600*dfe94b16Srobert   auto findSection = [&](uint64_t addr) {
601*dfe94b16Srobert     if (section && addr >= sectionAddr &&
602*dfe94b16Srobert         addr < sectionAddr + section->getSize())
603*dfe94b16Srobert       return true;
604*dfe94b16Srobert 
605*dfe94b16Srobert     auto secIt = std::prev(llvm::upper_bound(
606*dfe94b16Srobert         obj.sections, addr,
607*dfe94b16Srobert         [](uint64_t off, const Section *sec) { return off < sec->addr; }));
608*dfe94b16Srobert     const Section *sec = *secIt;
609*dfe94b16Srobert 
610*dfe94b16Srobert     auto subsecIt = std::prev(llvm::upper_bound(
611*dfe94b16Srobert         sec->subsections, addr - sec->addr,
612*dfe94b16Srobert         [](uint64_t off, Subsection subsec) { return off < subsec.offset; }));
613*dfe94b16Srobert     const Subsection &subsec = *subsecIt;
614*dfe94b16Srobert     const ConcatInputSection *isec =
615*dfe94b16Srobert         dyn_cast_or_null<ConcatInputSection>(subsec.isec);
616*dfe94b16Srobert     if (!isec || isec->shouldOmitFromOutput())
617*dfe94b16Srobert       return false;
618*dfe94b16Srobert 
619*dfe94b16Srobert     section = isec;
620*dfe94b16Srobert     sectionAddr = subsec.offset + sec->addr;
621*dfe94b16Srobert     buf = outBuf + section->outSecOff + section->parent->fileOff;
622*dfe94b16Srobert     return true;
623*dfe94b16Srobert   };
624*dfe94b16Srobert 
625*dfe94b16Srobert   auto isValidOffset = [&](uint64_t offset) {
626*dfe94b16Srobert     if (offset < sectionAddr || offset >= sectionAddr + section->getSize()) {
627*dfe94b16Srobert       error(toString(&obj) +
628*dfe94b16Srobert             ": linker optimization hint spans multiple sections");
629*dfe94b16Srobert       return false;
630*dfe94b16Srobert     }
631*dfe94b16Srobert     return true;
632*dfe94b16Srobert   };
633*dfe94b16Srobert 
634*dfe94b16Srobert   bool hasAdrpAdrp = false;
635*dfe94b16Srobert   forEachHint(data, [&](uint64_t kind, ArrayRef<uint64_t> args) {
636*dfe94b16Srobert     if (kind == LOH_ARM64_ADRP_ADRP) {
637*dfe94b16Srobert       hasAdrpAdrp = true;
638*dfe94b16Srobert       return;
639*dfe94b16Srobert     }
640*dfe94b16Srobert 
641*dfe94b16Srobert     if (!findSection(args[0]))
642*dfe94b16Srobert       return;
643*dfe94b16Srobert     switch (kind) {
644*dfe94b16Srobert     case LOH_ARM64_ADRP_ADD:
645*dfe94b16Srobert       if (isValidOffset(args[1]))
646*dfe94b16Srobert         applyAdrpAdd(buf, section, args[0] - sectionAddr,
647*dfe94b16Srobert                      args[1] - sectionAddr);
648*dfe94b16Srobert       break;
649*dfe94b16Srobert     case LOH_ARM64_ADRP_LDR:
650*dfe94b16Srobert       if (isValidOffset(args[1]))
651*dfe94b16Srobert         applyAdrpLdr(buf, section, args[0] - sectionAddr,
652*dfe94b16Srobert                      args[1] - sectionAddr);
653*dfe94b16Srobert       break;
654*dfe94b16Srobert     case LOH_ARM64_ADRP_LDR_GOT:
655*dfe94b16Srobert       if (isValidOffset(args[1]))
656*dfe94b16Srobert         applyAdrpLdrGot(buf, section, args[0] - sectionAddr,
657*dfe94b16Srobert                         args[1] - sectionAddr);
658*dfe94b16Srobert       break;
659*dfe94b16Srobert     case LOH_ARM64_ADRP_ADD_LDR:
660*dfe94b16Srobert       if (isValidOffset(args[1]) && isValidOffset(args[2]))
661*dfe94b16Srobert         applyAdrpAddLdr(buf, section, args[0] - sectionAddr,
662*dfe94b16Srobert                         args[1] - sectionAddr, args[2] - sectionAddr);
663*dfe94b16Srobert       break;
664*dfe94b16Srobert     case LOH_ARM64_ADRP_LDR_GOT_LDR:
665*dfe94b16Srobert       if (isValidOffset(args[1]) && isValidOffset(args[2]))
666*dfe94b16Srobert         applyAdrpLdrGotLdr(buf, section, args[0] - sectionAddr,
667*dfe94b16Srobert                            args[1] - sectionAddr, args[2] - sectionAddr);
668*dfe94b16Srobert       break;
669*dfe94b16Srobert     case LOH_ARM64_ADRP_ADD_STR:
670*dfe94b16Srobert     case LOH_ARM64_ADRP_LDR_GOT_STR:
671*dfe94b16Srobert       // TODO: Implement these
672*dfe94b16Srobert       break;
673*dfe94b16Srobert     }
674*dfe94b16Srobert   });
675*dfe94b16Srobert 
676*dfe94b16Srobert   if (!hasAdrpAdrp)
677*dfe94b16Srobert     return;
678*dfe94b16Srobert 
679*dfe94b16Srobert   // AdrpAdrp optimization hints are performed in a second pass because they
680*dfe94b16Srobert   // might interfere with other transformations. For instance, consider the
681*dfe94b16Srobert   // following input:
682*dfe94b16Srobert   //
683*dfe94b16Srobert   //   adrp x0, _foo@PAGE
684*dfe94b16Srobert   //   add  x1, x0, _foo@PAGEOFF
685*dfe94b16Srobert   //   adrp x0, _bar@PAGE
686*dfe94b16Srobert   //   add  x2, x0, _bar@PAGEOFF
687*dfe94b16Srobert   //
688*dfe94b16Srobert   // If we perform the AdrpAdrp relaxation first, we get:
689*dfe94b16Srobert   //
690*dfe94b16Srobert   //   adrp x0, _foo@PAGE
691*dfe94b16Srobert   //   add  x1, x0, _foo@PAGEOFF
692*dfe94b16Srobert   //   nop
693*dfe94b16Srobert   //   add x2, x0, _bar@PAGEOFF
694*dfe94b16Srobert   //
695*dfe94b16Srobert   // If we then apply AdrpAdd to the first two instructions, the add will have a
696*dfe94b16Srobert   // garbage value in x0:
697*dfe94b16Srobert   //
698*dfe94b16Srobert   //   adr  x1, _foo
699*dfe94b16Srobert   //   nop
700*dfe94b16Srobert   //   nop
701*dfe94b16Srobert   //   add  x2, x0, _bar@PAGEOFF
702*dfe94b16Srobert   forEachHint(data, [&](uint64_t kind, ArrayRef<uint64_t> args) {
703*dfe94b16Srobert     if (kind != LOH_ARM64_ADRP_ADRP)
704*dfe94b16Srobert       return;
705*dfe94b16Srobert     if (!findSection(args[0]))
706*dfe94b16Srobert       return;
707*dfe94b16Srobert     if (isValidOffset(args[1]))
708*dfe94b16Srobert       applyAdrpAdrp(buf, section, args[0] - sectionAddr, args[1] - sectionAddr);
709*dfe94b16Srobert   });
7101cf9926bSpatrick }
7111cf9926bSpatrick 
createARM64TargetInfo()7121cf9926bSpatrick TargetInfo *macho::createARM64TargetInfo() {
7131cf9926bSpatrick   static ARM64 t;
7141cf9926bSpatrick   return &t;
7151cf9926bSpatrick }
716