| 1 | //===---- MachO_arm64.cpp - JIT linker implementation for MachO/arm64 -----===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // MachO/arm64 jit-link implementation. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
| 13 | #include "llvm/ExecutionEngine/JITLink/MachO_arm64.h" |
| 14 | #include "llvm/ExecutionEngine/JITLink/DWARFRecordSectionSplitter.h" |
| 15 | #include "llvm/ExecutionEngine/JITLink/aarch64.h" |
| 16 | #include "llvm/ExecutionEngine/Orc/Shared/MachOObjectFormat.h" |
| 17 | |
| 18 | #include "CompactUnwindSupport.h" |
| 19 | #include "DefineExternalSectionStartAndEndSymbols.h" |
| 20 | #include "MachOLinkGraphBuilder.h" |
| 21 | |
| 22 | #define DEBUG_TYPE "jitlink" |
| 23 | |
| 24 | using namespace llvm; |
| 25 | using namespace llvm::jitlink; |
| 26 | |
| 27 | namespace { |
| 28 | |
| 29 | class MachOLinkGraphBuilder_arm64 : public MachOLinkGraphBuilder { |
| 30 | public: |
| 31 | MachOLinkGraphBuilder_arm64(const object::MachOObjectFile &Obj, |
| 32 | std::shared_ptr<orc::SymbolStringPool> SSP, |
| 33 | SubtargetFeatures Features) |
| 34 | : MachOLinkGraphBuilder(Obj, std::move(SSP), getObjectTriple(Obj), |
| 35 | std::move(Features), aarch64::getEdgeKindName), |
| 36 | NumSymbols(Obj.getSymtabLoadCommand().nsyms) {} |
| 37 | |
| 38 | private: |
| 39 | enum MachOARM64RelocationKind : Edge::Kind { |
| 40 | MachOBranch26 = Edge::FirstRelocation, |
| 41 | MachOPointer32, |
| 42 | MachOPointer64, |
| 43 | MachOPointer64Anon, |
| 44 | MachOPointer64Authenticated, |
| 45 | MachOPage21, |
| 46 | MachOPageOffset12, |
| 47 | MachOGOTPage21, |
| 48 | MachOGOTPageOffset12, |
| 49 | MachOTLVPage21, |
| 50 | MachOTLVPageOffset12, |
| 51 | MachOPointerToGOT, |
| 52 | MachOPairedAddend, |
| 53 | MachOLDRLiteral19, |
| 54 | MachODelta32, |
| 55 | MachODelta64, |
| 56 | MachONegDelta32, |
| 57 | MachONegDelta64, |
| 58 | }; |
| 59 | |
| 60 | static Triple getObjectTriple(const object::MachOObjectFile &Obj) { |
| 61 | // Get the CPU sub-type from the header. |
| 62 | // jitLink_MachO should already have validated that the buffer is big enough |
| 63 | // to cover a mach_header64 so this is safe. |
| 64 | uint32_t CPUSubType = |
| 65 | *(const support::ulittle32_t *)(Obj.getData().data() + 8); |
| 66 | CPUSubType &= ~MachO::CPU_SUBTYPE_MASK; |
| 67 | if (CPUSubType == MachO::CPU_SUBTYPE_ARM64E) |
| 68 | return Triple("arm64e-apple-darwin" ); |
| 69 | return Triple("arm64-apple-darwin" ); |
| 70 | } |
| 71 | |
| 72 | static Expected<MachOARM64RelocationKind> |
| 73 | getRelocationKind(const MachO::relocation_info &RI) { |
| 74 | switch (RI.r_type) { |
| 75 | case MachO::ARM64_RELOC_UNSIGNED: |
| 76 | if (!RI.r_pcrel) { |
| 77 | if (RI.r_length == 3) |
| 78 | return RI.r_extern ? MachOPointer64 : MachOPointer64Anon; |
| 79 | else if (RI.r_length == 2) |
| 80 | return MachOPointer32; |
| 81 | } |
| 82 | break; |
| 83 | case MachO::ARM64_RELOC_SUBTRACTOR: |
| 84 | // SUBTRACTOR must be non-pc-rel, extern, with length 2 or 3. |
| 85 | // Initially represent SUBTRACTOR relocations with 'Delta<W>'. |
| 86 | // They may be turned into NegDelta<W> by parsePairRelocation. |
| 87 | if (!RI.r_pcrel && RI.r_extern) { |
| 88 | if (RI.r_length == 2) |
| 89 | return MachODelta32; |
| 90 | else if (RI.r_length == 3) |
| 91 | return MachODelta64; |
| 92 | } |
| 93 | break; |
| 94 | case MachO::ARM64_RELOC_BRANCH26: |
| 95 | if (RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 96 | return MachOBranch26; |
| 97 | break; |
| 98 | case MachO::ARM64_RELOC_PAGE21: |
| 99 | if (RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 100 | return MachOPage21; |
| 101 | break; |
| 102 | case MachO::ARM64_RELOC_PAGEOFF12: |
| 103 | if (!RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 104 | return MachOPageOffset12; |
| 105 | break; |
| 106 | case MachO::ARM64_RELOC_GOT_LOAD_PAGE21: |
| 107 | if (RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 108 | return MachOGOTPage21; |
| 109 | break; |
| 110 | case MachO::ARM64_RELOC_GOT_LOAD_PAGEOFF12: |
| 111 | if (!RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 112 | return MachOGOTPageOffset12; |
| 113 | break; |
| 114 | case MachO::ARM64_RELOC_POINTER_TO_GOT: |
| 115 | if (RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 116 | return MachOPointerToGOT; |
| 117 | break; |
| 118 | case MachO::ARM64_RELOC_ADDEND: |
| 119 | if (!RI.r_pcrel && !RI.r_extern && RI.r_length == 2) |
| 120 | return MachOPairedAddend; |
| 121 | break; |
| 122 | case MachO::ARM64_RELOC_AUTHENTICATED_POINTER: |
| 123 | if (!RI.r_pcrel && RI.r_extern && RI.r_length == 3) |
| 124 | return MachOPointer64Authenticated; |
| 125 | break; |
| 126 | case MachO::ARM64_RELOC_TLVP_LOAD_PAGE21: |
| 127 | if (RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 128 | return MachOTLVPage21; |
| 129 | break; |
| 130 | case MachO::ARM64_RELOC_TLVP_LOAD_PAGEOFF12: |
| 131 | if (!RI.r_pcrel && RI.r_extern && RI.r_length == 2) |
| 132 | return MachOTLVPageOffset12; |
| 133 | break; |
| 134 | } |
| 135 | |
| 136 | return make_error<JITLinkError>( |
| 137 | Args: "Unsupported arm64 relocation: address=" + |
| 138 | formatv(Fmt: "{0:x8}" , Vals: RI.r_address) + |
| 139 | ", symbolnum=" + formatv(Fmt: "{0:x6}" , Vals: RI.r_symbolnum) + |
| 140 | ", kind=" + formatv(Fmt: "{0:x1}" , Vals: RI.r_type) + |
| 141 | ", pc_rel=" + (RI.r_pcrel ? "true" : "false" ) + |
| 142 | ", extern=" + (RI.r_extern ? "true" : "false" ) + |
| 143 | ", length=" + formatv(Fmt: "{0:d}" , Vals: RI.r_length)); |
| 144 | } |
| 145 | |
| 146 | using PairRelocInfo = std::tuple<Edge::Kind, Symbol *, uint64_t>; |
| 147 | |
| 148 | // Parses paired SUBTRACTOR/UNSIGNED relocations and, on success, |
| 149 | // returns the edge kind and addend to be used. |
| 150 | Expected<PairRelocInfo> |
| 151 | parsePairRelocation(Block &BlockToFix, Edge::Kind SubtractorKind, |
| 152 | const MachO::relocation_info &SubRI, |
| 153 | orc::ExecutorAddr FixupAddress, const char *FixupContent, |
| 154 | object::relocation_iterator &UnsignedRelItr, |
| 155 | object::relocation_iterator &RelEnd) { |
| 156 | using namespace support; |
| 157 | |
| 158 | assert(((SubtractorKind == MachODelta32 && SubRI.r_length == 2) || |
| 159 | (SubtractorKind == MachODelta64 && SubRI.r_length == 3)) && |
| 160 | "Subtractor kind should match length" ); |
| 161 | assert(SubRI.r_extern && "SUBTRACTOR reloc symbol should be extern" ); |
| 162 | assert(!SubRI.r_pcrel && "SUBTRACTOR reloc should not be PCRel" ); |
| 163 | |
| 164 | if (UnsignedRelItr == RelEnd) |
| 165 | return make_error<JITLinkError>(Args: "arm64 SUBTRACTOR without paired " |
| 166 | "UNSIGNED relocation" ); |
| 167 | |
| 168 | auto UnsignedRI = getRelocationInfo(RelItr: UnsignedRelItr); |
| 169 | |
| 170 | if (SubRI.r_address != UnsignedRI.r_address) |
| 171 | return make_error<JITLinkError>(Args: "arm64 SUBTRACTOR and paired UNSIGNED " |
| 172 | "point to different addresses" ); |
| 173 | |
| 174 | if (SubRI.r_length != UnsignedRI.r_length) |
| 175 | return make_error<JITLinkError>(Args: "length of arm64 SUBTRACTOR and paired " |
| 176 | "UNSIGNED reloc must match" ); |
| 177 | |
| 178 | Symbol *FromSymbol; |
| 179 | if (auto FromSymbolOrErr = findSymbolByIndex(Index: SubRI.r_symbolnum)) |
| 180 | FromSymbol = FromSymbolOrErr->GraphSymbol; |
| 181 | else |
| 182 | return FromSymbolOrErr.takeError(); |
| 183 | |
| 184 | // Read the current fixup value. |
| 185 | uint64_t FixupValue = 0; |
| 186 | if (SubRI.r_length == 3) |
| 187 | FixupValue = *(const little64_t *)FixupContent; |
| 188 | else |
| 189 | FixupValue = *(const little32_t *)FixupContent; |
| 190 | |
| 191 | // Find 'ToSymbol' using symbol number or address, depending on whether the |
| 192 | // paired UNSIGNED relocation is extern. |
| 193 | Symbol *ToSymbol = nullptr; |
| 194 | if (UnsignedRI.r_extern) { |
| 195 | // Find target symbol by symbol index. |
| 196 | if (auto ToSymbolOrErr = findSymbolByIndex(Index: UnsignedRI.r_symbolnum)) |
| 197 | ToSymbol = ToSymbolOrErr->GraphSymbol; |
| 198 | else |
| 199 | return ToSymbolOrErr.takeError(); |
| 200 | } else { |
| 201 | auto ToSymbolSec = findSectionByIndex(Index: UnsignedRI.r_symbolnum - 1); |
| 202 | if (!ToSymbolSec) |
| 203 | return ToSymbolSec.takeError(); |
| 204 | ToSymbol = getSymbolByAddress(NSec&: *ToSymbolSec, Address: ToSymbolSec->Address); |
| 205 | assert(ToSymbol && "No symbol for section" ); |
| 206 | FixupValue -= ToSymbol->getAddress().getValue(); |
| 207 | } |
| 208 | |
| 209 | Edge::Kind DeltaKind; |
| 210 | Symbol *TargetSymbol; |
| 211 | uint64_t Addend; |
| 212 | |
| 213 | bool FixingFromSymbol = true; |
| 214 | if (&BlockToFix == &FromSymbol->getAddressable()) { |
| 215 | if (LLVM_UNLIKELY(&BlockToFix == &ToSymbol->getAddressable())) { |
| 216 | // From and To are symbols in the same block. Decide direction by offset |
| 217 | // instead. |
| 218 | if (ToSymbol->getAddress() > FixupAddress) |
| 219 | FixingFromSymbol = true; |
| 220 | else if (FromSymbol->getAddress() > FixupAddress) |
| 221 | FixingFromSymbol = false; |
| 222 | else |
| 223 | FixingFromSymbol = FromSymbol->getAddress() >= ToSymbol->getAddress(); |
| 224 | } else |
| 225 | FixingFromSymbol = true; |
| 226 | } else { |
| 227 | if (&BlockToFix == &ToSymbol->getAddressable()) |
| 228 | FixingFromSymbol = false; |
| 229 | else { |
| 230 | // BlockToFix was neither FromSymbol nor ToSymbol. |
| 231 | return make_error<JITLinkError>(Args: "SUBTRACTOR relocation must fix up " |
| 232 | "either 'A' or 'B' (or a symbol in one " |
| 233 | "of their alt-entry groups)" ); |
| 234 | } |
| 235 | } |
| 236 | |
| 237 | if (FixingFromSymbol) { |
| 238 | TargetSymbol = ToSymbol; |
| 239 | DeltaKind = (SubRI.r_length == 3) ? aarch64::Delta64 : aarch64::Delta32; |
| 240 | Addend = FixupValue + (FixupAddress - FromSymbol->getAddress()); |
| 241 | // FIXME: handle extern 'from'. |
| 242 | } else { |
| 243 | TargetSymbol = &*FromSymbol; |
| 244 | DeltaKind = |
| 245 | (SubRI.r_length == 3) ? aarch64::NegDelta64 : aarch64::NegDelta32; |
| 246 | Addend = FixupValue - (FixupAddress - ToSymbol->getAddress()); |
| 247 | } |
| 248 | |
| 249 | return PairRelocInfo(DeltaKind, TargetSymbol, Addend); |
| 250 | } |
| 251 | |
| 252 | Error addRelocations() override { |
| 253 | using namespace support; |
| 254 | auto &Obj = getObject(); |
| 255 | |
| 256 | LLVM_DEBUG(dbgs() << "Processing relocations:\n" ); |
| 257 | |
| 258 | for (auto &S : Obj.sections()) { |
| 259 | |
| 260 | orc::ExecutorAddr SectionAddress(S.getAddress()); |
| 261 | |
| 262 | // Skip relocations virtual sections. |
| 263 | if (S.isVirtual()) { |
| 264 | if (S.relocation_begin() != S.relocation_end()) |
| 265 | return make_error<JITLinkError>(Args: "Virtual section contains " |
| 266 | "relocations" ); |
| 267 | continue; |
| 268 | } |
| 269 | |
| 270 | auto NSec = |
| 271 | findSectionByIndex(Index: Obj.getSectionIndex(Sec: S.getRawDataRefImpl())); |
| 272 | if (!NSec) |
| 273 | return NSec.takeError(); |
| 274 | |
| 275 | // Skip relocations for MachO sections without corresponding graph |
| 276 | // sections. |
| 277 | { |
| 278 | if (!NSec->GraphSection) { |
| 279 | LLVM_DEBUG({ |
| 280 | dbgs() << " Skipping relocations for MachO section " |
| 281 | << NSec->SegName << "/" << NSec->SectName |
| 282 | << " which has no associated graph section\n" ; |
| 283 | }); |
| 284 | continue; |
| 285 | } |
| 286 | } |
| 287 | |
| 288 | for (auto RelItr = S.relocation_begin(), RelEnd = S.relocation_end(); |
| 289 | RelItr != RelEnd; ++RelItr) { |
| 290 | |
| 291 | MachO::relocation_info RI = getRelocationInfo(RelItr); |
| 292 | |
| 293 | // Validate the relocation kind. |
| 294 | auto MachORelocKind = getRelocationKind(RI); |
| 295 | if (!MachORelocKind) |
| 296 | return MachORelocKind.takeError(); |
| 297 | |
| 298 | // Find the address of the value to fix up. |
| 299 | orc::ExecutorAddr FixupAddress = |
| 300 | SectionAddress + (uint32_t)RI.r_address; |
| 301 | LLVM_DEBUG({ |
| 302 | dbgs() << " " << NSec->SectName << " + " |
| 303 | << formatv("{0:x8}" , RI.r_address) << ":\n" ; |
| 304 | }); |
| 305 | |
| 306 | // Find the block that the fixup points to. |
| 307 | Block *BlockToFix = nullptr; |
| 308 | { |
| 309 | auto SymbolToFixOrErr = findSymbolByAddress(NSec&: *NSec, Address: FixupAddress); |
| 310 | if (!SymbolToFixOrErr) |
| 311 | return SymbolToFixOrErr.takeError(); |
| 312 | BlockToFix = &SymbolToFixOrErr->getBlock(); |
| 313 | } |
| 314 | |
| 315 | if (FixupAddress + orc::ExecutorAddrDiff(1ULL << RI.r_length) > |
| 316 | BlockToFix->getAddress() + BlockToFix->getContent().size()) |
| 317 | return make_error<JITLinkError>( |
| 318 | Args: "Relocation content extends past end of fixup block" ); |
| 319 | |
| 320 | Edge::Kind Kind = Edge::Invalid; |
| 321 | |
| 322 | // Get a pointer to the fixup content. |
| 323 | const char *FixupContent = BlockToFix->getContent().data() + |
| 324 | (FixupAddress - BlockToFix->getAddress()); |
| 325 | |
| 326 | // The target symbol and addend will be populated by the switch below. |
| 327 | Symbol *TargetSymbol = nullptr; |
| 328 | uint64_t Addend = 0; |
| 329 | |
| 330 | if (*MachORelocKind == MachOPairedAddend) { |
| 331 | // If this is an Addend relocation then process it and move to the |
| 332 | // paired reloc. |
| 333 | |
| 334 | Addend = SignExtend64(X: RI.r_symbolnum, B: 24); |
| 335 | |
| 336 | ++RelItr; |
| 337 | if (RelItr == RelEnd) |
| 338 | return make_error<JITLinkError>(Args: "Unpaired Addend reloc at " + |
| 339 | formatv(Fmt: "{0:x16}" , Vals&: FixupAddress)); |
| 340 | RI = getRelocationInfo(RelItr); |
| 341 | |
| 342 | MachORelocKind = getRelocationKind(RI); |
| 343 | if (!MachORelocKind) |
| 344 | return MachORelocKind.takeError(); |
| 345 | |
| 346 | if (*MachORelocKind != MachOBranch26 && |
| 347 | *MachORelocKind != MachOPage21 && |
| 348 | *MachORelocKind != MachOPageOffset12) |
| 349 | return make_error<JITLinkError>( |
| 350 | Args: "Invalid relocation pair: Addend + " + |
| 351 | StringRef(getMachOARM64RelocationKindName(R: *MachORelocKind))); |
| 352 | |
| 353 | LLVM_DEBUG({ |
| 354 | dbgs() << " Addend: value = " << formatv("{0:x6}" , Addend) |
| 355 | << ", pair is " |
| 356 | << getMachOARM64RelocationKindName(*MachORelocKind) << "\n" ; |
| 357 | }); |
| 358 | |
| 359 | // Find the address of the value to fix up. |
| 360 | orc::ExecutorAddr PairedFixupAddress = |
| 361 | SectionAddress + (uint32_t)RI.r_address; |
| 362 | if (PairedFixupAddress != FixupAddress) |
| 363 | return make_error<JITLinkError>(Args: "Paired relocation points at " |
| 364 | "different target" ); |
| 365 | } |
| 366 | |
| 367 | switch (*MachORelocKind) { |
| 368 | case MachOBranch26: { |
| 369 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 370 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 371 | else |
| 372 | return TargetSymbolOrErr.takeError(); |
| 373 | uint32_t Instr = *(const ulittle32_t *)FixupContent; |
| 374 | if ((Instr & 0x7fffffff) != 0x14000000) |
| 375 | return make_error<JITLinkError>(Args: "BRANCH26 target is not a B or BL " |
| 376 | "instruction with a zero addend" ); |
| 377 | Kind = aarch64::Branch26PCRel; |
| 378 | break; |
| 379 | } |
| 380 | case MachOPointer32: |
| 381 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 382 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 383 | else |
| 384 | return TargetSymbolOrErr.takeError(); |
| 385 | Addend = *(const ulittle32_t *)FixupContent; |
| 386 | Kind = aarch64::Pointer32; |
| 387 | break; |
| 388 | case MachOPointer64: |
| 389 | case MachOPointer64Authenticated: |
| 390 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 391 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 392 | else |
| 393 | return TargetSymbolOrErr.takeError(); |
| 394 | Addend = *(const ulittle64_t *)FixupContent; |
| 395 | Kind = *MachORelocKind == MachOPointer64 |
| 396 | ? aarch64::Pointer64 |
| 397 | : aarch64::Pointer64Authenticated; |
| 398 | break; |
| 399 | case MachOPointer64Anon: { |
| 400 | orc::ExecutorAddr TargetAddress(*(const ulittle64_t *)FixupContent); |
| 401 | auto TargetNSec = findSectionByIndex(Index: RI.r_symbolnum - 1); |
| 402 | if (!TargetNSec) |
| 403 | return TargetNSec.takeError(); |
| 404 | if (auto TargetSymbolOrErr = |
| 405 | findSymbolByAddress(NSec&: *TargetNSec, Address: TargetAddress)) |
| 406 | TargetSymbol = &*TargetSymbolOrErr; |
| 407 | else |
| 408 | return TargetSymbolOrErr.takeError(); |
| 409 | Addend = TargetAddress - TargetSymbol->getAddress(); |
| 410 | Kind = aarch64::Pointer64; |
| 411 | break; |
| 412 | } |
| 413 | case MachOPage21: |
| 414 | case MachOGOTPage21: |
| 415 | case MachOTLVPage21: { |
| 416 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 417 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 418 | else |
| 419 | return TargetSymbolOrErr.takeError(); |
| 420 | uint32_t Instr = *(const ulittle32_t *)FixupContent; |
| 421 | if ((Instr & 0xffffffe0) != 0x90000000) |
| 422 | return make_error<JITLinkError>(Args: "PAGE21/GOTPAGE21 target is not an " |
| 423 | "ADRP instruction with a zero " |
| 424 | "addend" ); |
| 425 | |
| 426 | if (*MachORelocKind == MachOPage21) { |
| 427 | Kind = aarch64::Page21; |
| 428 | } else if (*MachORelocKind == MachOGOTPage21) { |
| 429 | Kind = aarch64::RequestGOTAndTransformToPage21; |
| 430 | } else if (*MachORelocKind == MachOTLVPage21) { |
| 431 | Kind = aarch64::RequestTLVPAndTransformToPage21; |
| 432 | } |
| 433 | break; |
| 434 | } |
| 435 | case MachOPageOffset12: { |
| 436 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 437 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 438 | else |
| 439 | return TargetSymbolOrErr.takeError(); |
| 440 | uint32_t Instr = *(const ulittle32_t *)FixupContent; |
| 441 | uint32_t EncodedAddend = (Instr & 0x003FFC00) >> 10; |
| 442 | if (EncodedAddend != 0) |
| 443 | return make_error<JITLinkError>(Args: "GOTPAGEOFF12 target has non-zero " |
| 444 | "encoded addend" ); |
| 445 | Kind = aarch64::PageOffset12; |
| 446 | break; |
| 447 | } |
| 448 | case MachOGOTPageOffset12: |
| 449 | case MachOTLVPageOffset12: { |
| 450 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 451 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 452 | else |
| 453 | return TargetSymbolOrErr.takeError(); |
| 454 | uint32_t Instr = *(const ulittle32_t *)FixupContent; |
| 455 | if ((Instr & 0xfffffc00) != 0xf9400000) |
| 456 | return make_error<JITLinkError>(Args: "GOTPAGEOFF12 target is not an LDR " |
| 457 | "immediate instruction with a zero " |
| 458 | "addend" ); |
| 459 | |
| 460 | if (*MachORelocKind == MachOGOTPageOffset12) { |
| 461 | Kind = aarch64::RequestGOTAndTransformToPageOffset12; |
| 462 | } else if (*MachORelocKind == MachOTLVPageOffset12) { |
| 463 | Kind = aarch64::RequestTLVPAndTransformToPageOffset12; |
| 464 | } |
| 465 | break; |
| 466 | } |
| 467 | case MachOPointerToGOT: |
| 468 | if (auto TargetSymbolOrErr = findSymbolByIndex(Index: RI.r_symbolnum)) |
| 469 | TargetSymbol = TargetSymbolOrErr->GraphSymbol; |
| 470 | else |
| 471 | return TargetSymbolOrErr.takeError(); |
| 472 | |
| 473 | Kind = aarch64::RequestGOTAndTransformToDelta32; |
| 474 | break; |
| 475 | case MachODelta32: |
| 476 | case MachODelta64: { |
| 477 | // We use Delta32/Delta64 to represent SUBTRACTOR relocations. |
| 478 | // parsePairRelocation handles the paired reloc, and returns the |
| 479 | // edge kind to be used (either Delta32/Delta64, or |
| 480 | // NegDelta32/NegDelta64, depending on the direction of the |
| 481 | // subtraction) along with the addend. |
| 482 | auto PairInfo = |
| 483 | parsePairRelocation(BlockToFix&: *BlockToFix, SubtractorKind: *MachORelocKind, SubRI: RI, |
| 484 | FixupAddress, FixupContent, UnsignedRelItr&: ++RelItr, RelEnd); |
| 485 | if (!PairInfo) |
| 486 | return PairInfo.takeError(); |
| 487 | std::tie(args&: Kind, args&: TargetSymbol, args&: Addend) = *PairInfo; |
| 488 | assert(TargetSymbol && "No target symbol from parsePairRelocation?" ); |
| 489 | break; |
| 490 | } |
| 491 | default: |
| 492 | llvm_unreachable("Special relocation kind should not appear in " |
| 493 | "mach-o file" ); |
| 494 | } |
| 495 | |
| 496 | LLVM_DEBUG({ |
| 497 | dbgs() << " " ; |
| 498 | Edge GE(Kind, FixupAddress - BlockToFix->getAddress(), *TargetSymbol, |
| 499 | Addend); |
| 500 | printEdge(dbgs(), *BlockToFix, GE, aarch64::getEdgeKindName(Kind)); |
| 501 | dbgs() << "\n" ; |
| 502 | }); |
| 503 | BlockToFix->addEdge(K: Kind, Offset: FixupAddress - BlockToFix->getAddress(), |
| 504 | Target&: *TargetSymbol, Addend); |
| 505 | } |
| 506 | } |
| 507 | return Error::success(); |
| 508 | } |
| 509 | |
| 510 | /// Return the string name of the given MachO arm64 edge kind. |
| 511 | const char *getMachOARM64RelocationKindName(Edge::Kind R) { |
| 512 | switch (R) { |
| 513 | case MachOBranch26: |
| 514 | return "MachOBranch26" ; |
| 515 | case MachOPointer64: |
| 516 | return "MachOPointer64" ; |
| 517 | case MachOPointer64Anon: |
| 518 | return "MachOPointer64Anon" ; |
| 519 | case MachOPointer64Authenticated: |
| 520 | return "MachOPointer64Authenticated" ; |
| 521 | case MachOPage21: |
| 522 | return "MachOPage21" ; |
| 523 | case MachOPageOffset12: |
| 524 | return "MachOPageOffset12" ; |
| 525 | case MachOGOTPage21: |
| 526 | return "MachOGOTPage21" ; |
| 527 | case MachOGOTPageOffset12: |
| 528 | return "MachOGOTPageOffset12" ; |
| 529 | case MachOTLVPage21: |
| 530 | return "MachOTLVPage21" ; |
| 531 | case MachOTLVPageOffset12: |
| 532 | return "MachOTLVPageOffset12" ; |
| 533 | case MachOPointerToGOT: |
| 534 | return "MachOPointerToGOT" ; |
| 535 | case MachOPairedAddend: |
| 536 | return "MachOPairedAddend" ; |
| 537 | case MachOLDRLiteral19: |
| 538 | return "MachOLDRLiteral19" ; |
| 539 | case MachODelta32: |
| 540 | return "MachODelta32" ; |
| 541 | case MachODelta64: |
| 542 | return "MachODelta64" ; |
| 543 | case MachONegDelta32: |
| 544 | return "MachONegDelta32" ; |
| 545 | case MachONegDelta64: |
| 546 | return "MachONegDelta64" ; |
| 547 | default: |
| 548 | return getGenericEdgeKindName(K: R); |
| 549 | } |
| 550 | } |
| 551 | |
| 552 | unsigned NumSymbols = 0; |
| 553 | }; |
| 554 | |
| 555 | } // namespace |
| 556 | |
| 557 | namespace llvm { |
| 558 | namespace jitlink { |
| 559 | |
| 560 | Error buildTables_MachO_arm64(LinkGraph &G) { |
| 561 | LLVM_DEBUG(dbgs() << "Visiting edges in graph:\n" ); |
| 562 | |
| 563 | aarch64::GOTTableManager GOT(G); |
| 564 | aarch64::PLTTableManager PLT(G, GOT); |
| 565 | visitExistingEdges(G, Vs&: GOT, Vs&: PLT); |
| 566 | return Error::success(); |
| 567 | } |
| 568 | |
| 569 | class MachOJITLinker_arm64 : public JITLinker<MachOJITLinker_arm64> { |
| 570 | friend class JITLinker<MachOJITLinker_arm64>; |
| 571 | |
| 572 | public: |
| 573 | MachOJITLinker_arm64(std::unique_ptr<JITLinkContext> Ctx, |
| 574 | std::unique_ptr<LinkGraph> G, |
| 575 | PassConfiguration PassConfig) |
| 576 | : JITLinker(std::move(Ctx), std::move(G), std::move(PassConfig)) {} |
| 577 | |
| 578 | private: |
| 579 | Error applyFixup(LinkGraph &G, Block &B, const Edge &E) const { |
| 580 | return aarch64::applyFixup(G, B, E, GOTSymbol: nullptr); |
| 581 | } |
| 582 | |
| 583 | uint64_t NullValue = 0; |
| 584 | }; |
| 585 | |
| 586 | Expected<std::unique_ptr<LinkGraph>> createLinkGraphFromMachOObject_arm64( |
| 587 | MemoryBufferRef ObjectBuffer, std::shared_ptr<orc::SymbolStringPool> SSP) { |
| 588 | auto MachOObj = object::ObjectFile::createMachOObjectFile(Object: ObjectBuffer); |
| 589 | if (!MachOObj) |
| 590 | return MachOObj.takeError(); |
| 591 | |
| 592 | auto Features = (*MachOObj)->getFeatures(); |
| 593 | if (!Features) |
| 594 | return Features.takeError(); |
| 595 | |
| 596 | return MachOLinkGraphBuilder_arm64(**MachOObj, std::move(SSP), |
| 597 | std::move(*Features)) |
| 598 | .buildGraph(); |
| 599 | } |
| 600 | |
| 601 | static Error applyPACSigningToModInitPointers(LinkGraph &G) { |
| 602 | assert(G.getTargetTriple().getSubArch() == Triple::AArch64SubArch_arm64e && |
| 603 | "PAC signing only valid for arm64e" ); |
| 604 | |
| 605 | if (auto *ModInitSec = G.findSectionByName(Name: "__DATA,__mod_init_func" )) { |
| 606 | for (auto *B : ModInitSec->blocks()) { |
| 607 | for (auto &E : B->edges()) { |
| 608 | if (E.getKind() == aarch64::Pointer64) { |
| 609 | |
| 610 | // Check that we have room to encode pointer signing bits. |
| 611 | if (E.getAddend() >> 32) |
| 612 | return make_error<JITLinkError>( |
| 613 | Args: "In " + G.getName() + ", __mod_init_func pointer at " + |
| 614 | formatv(Fmt: "{0:x}" , Vals: B->getFixupAddress(E).getValue()) + |
| 615 | " has data in high bits of addend (addend >= 2^32)" ); |
| 616 | |
| 617 | // Change edge to Pointer64Authenticated, encode signing: |
| 618 | // key = asia, discriminator = 0, diversity = 0. |
| 619 | Edge::AddendT SigningBits = 0x1ULL << 63; |
| 620 | E.setKind(aarch64::Pointer64Authenticated); |
| 621 | E.setAddend(E.getAddend() | SigningBits); |
| 622 | } |
| 623 | } |
| 624 | } |
| 625 | } |
| 626 | |
| 627 | return Error::success(); |
| 628 | } |
| 629 | |
| 630 | struct CompactUnwindTraits_MachO_arm64 |
| 631 | : public CompactUnwindTraits<CompactUnwindTraits_MachO_arm64, |
| 632 | /* PointerSize = */ 8> { |
| 633 | // FIXME: Reinstate once we no longer need the MSVC workaround. See |
| 634 | // FIXME for CompactUnwindTraits in CompactUnwindSupport.h. |
| 635 | // constexpr static size_t PointerSize = 8; |
| 636 | |
| 637 | constexpr static endianness Endianness = endianness::little; |
| 638 | |
| 639 | constexpr static uint32_t EncodingModeMask = 0x0f000000; |
| 640 | constexpr static uint32_t DWARFSectionOffsetMask = 0x00ffffff; |
| 641 | |
| 642 | using GOTManager = aarch64::GOTTableManager; |
| 643 | |
| 644 | static bool encodingSpecifiesDWARF(uint32_t Encoding) { |
| 645 | constexpr uint32_t DWARFMode = 0x03000000; |
| 646 | return (Encoding & EncodingModeMask) == DWARFMode; |
| 647 | } |
| 648 | |
| 649 | static bool encodingCannotBeMerged(uint32_t Encoding) { return false; } |
| 650 | }; |
| 651 | |
| 652 | void link_MachO_arm64(std::unique_ptr<LinkGraph> G, |
| 653 | std::unique_ptr<JITLinkContext> Ctx) { |
| 654 | |
| 655 | PassConfiguration Config; |
| 656 | |
| 657 | if (Ctx->shouldAddDefaultTargetPasses(TT: G->getTargetTriple())) { |
| 658 | // Add a mark-live pass. |
| 659 | if (auto MarkLive = Ctx->getMarkLivePass(TT: G->getTargetTriple())) |
| 660 | Config.PrePrunePasses.push_back(x: std::move(MarkLive)); |
| 661 | else |
| 662 | Config.PrePrunePasses.push_back(x: markAllSymbolsLive); |
| 663 | |
| 664 | // Add eh-frame passes. |
| 665 | Config.PrePrunePasses.push_back(x: createEHFrameSplitterPass_MachO_arm64()); |
| 666 | Config.PrePrunePasses.push_back(x: createEHFrameEdgeFixerPass_MachO_arm64()); |
| 667 | |
| 668 | // Create a compact-unwind manager for use in passes below. |
| 669 | auto CompactUnwindMgr = |
| 670 | std::make_shared<CompactUnwindManager<CompactUnwindTraits_MachO_arm64>>( |
| 671 | args&: orc::MachOCompactUnwindSectionName, args&: orc::MachOUnwindInfoSectionName, |
| 672 | args&: orc::MachOEHFrameSectionName); |
| 673 | |
| 674 | // Add compact unwind prepare pass. |
| 675 | Config.PrePrunePasses.push_back(x: [CompactUnwindMgr](LinkGraph &G) { |
| 676 | return CompactUnwindMgr->prepareForPrune(G); |
| 677 | }); |
| 678 | |
| 679 | // Resolve any external section start / end symbols. |
| 680 | Config.PostAllocationPasses.push_back( |
| 681 | x: createDefineExternalSectionStartAndEndSymbolsPass( |
| 682 | F&: identifyMachOSectionStartAndEndSymbols)); |
| 683 | |
| 684 | // Add an in-place GOT/Stubs pass. |
| 685 | Config.PostPrunePasses.push_back(x: buildTables_MachO_arm64); |
| 686 | |
| 687 | // If this is an arm64e graph then add pointer signing passes. |
| 688 | if (G->getTargetTriple().isArm64e()) { |
| 689 | Config.PostPrunePasses.push_back(x: applyPACSigningToModInitPointers); |
| 690 | Config.PostPrunePasses.push_back( |
| 691 | x: aarch64::createEmptyPointerSigningFunction); |
| 692 | Config.PreFixupPasses.push_back( |
| 693 | x: aarch64::lowerPointer64AuthEdgesToSigningFunction); |
| 694 | } |
| 695 | |
| 696 | // Reserve unwind-info space. |
| 697 | Config.PostPrunePasses.push_back(x: [CompactUnwindMgr](LinkGraph &G) { |
| 698 | return CompactUnwindMgr->processAndReserveUnwindInfo(G); |
| 699 | }); |
| 700 | |
| 701 | // Translate compact-unwind to unwind-info. |
| 702 | Config.PreFixupPasses.push_back(x: [CompactUnwindMgr](LinkGraph &G) { |
| 703 | return CompactUnwindMgr->writeUnwindInfo(G); |
| 704 | }); |
| 705 | } |
| 706 | |
| 707 | if (auto Err = Ctx->modifyPassConfig(G&: *G, Config)) |
| 708 | return Ctx->notifyFailed(Err: std::move(Err)); |
| 709 | |
| 710 | // Construct a JITLinker and run the link function. |
| 711 | MachOJITLinker_arm64::link(Args: std::move(Ctx), Args: std::move(G), Args: std::move(Config)); |
| 712 | } |
| 713 | |
| 714 | LinkGraphPassFunction createEHFrameSplitterPass_MachO_arm64() { |
| 715 | return DWARFRecordSectionSplitter(orc::MachOEHFrameSectionName); |
| 716 | } |
| 717 | |
| 718 | LinkGraphPassFunction createEHFrameEdgeFixerPass_MachO_arm64() { |
| 719 | return EHFrameEdgeFixer(orc::MachOEHFrameSectionName, aarch64::PointerSize, |
| 720 | aarch64::Pointer32, aarch64::Pointer64, |
| 721 | aarch64::Delta32, aarch64::Delta64, |
| 722 | aarch64::NegDelta32); |
| 723 | } |
| 724 | |
| 725 | } // end namespace jitlink |
| 726 | } // end namespace llvm |
| 727 | |