1 //===- Writer.cpp ---------------------------------------------------------===// 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 #include "Writer.h" 10 #include "Config.h" 11 #include "InputFiles.h" 12 #include "InputSection.h" 13 #include "MergedOutputSection.h" 14 #include "OutputSection.h" 15 #include "OutputSegment.h" 16 #include "SymbolTable.h" 17 #include "Symbols.h" 18 #include "SyntheticSections.h" 19 #include "Target.h" 20 #include "UnwindInfoSection.h" 21 22 #include "lld/Common/ErrorHandler.h" 23 #include "lld/Common/Memory.h" 24 #include "llvm/BinaryFormat/MachO.h" 25 #include "llvm/Config/llvm-config.h" 26 #include "llvm/Support/LEB128.h" 27 #include "llvm/Support/MathExtras.h" 28 #include "llvm/Support/Path.h" 29 #include "llvm/Support/xxhash.h" 30 31 #include <algorithm> 32 33 using namespace llvm; 34 using namespace llvm::MachO; 35 using namespace llvm::sys; 36 using namespace lld; 37 using namespace lld::macho; 38 39 namespace { 40 class LCUuid; 41 42 class Writer { 43 public: 44 Writer() : buffer(errorHandler().outputBuffer) {} 45 46 void scanRelocations(); 47 void scanSymbols(); 48 void createOutputSections(); 49 void createLoadCommands(); 50 void assignAddresses(OutputSegment *); 51 52 void openFile(); 53 void writeSections(); 54 void writeUuid(); 55 56 void run(); 57 58 std::unique_ptr<FileOutputBuffer> &buffer; 59 uint64_t addr = 0; 60 uint64_t fileOff = 0; 61 MachHeaderSection *header = nullptr; 62 StringTableSection *stringTableSection = nullptr; 63 SymtabSection *symtabSection = nullptr; 64 IndirectSymtabSection *indirectSymtabSection = nullptr; 65 UnwindInfoSection *unwindInfoSection = nullptr; 66 LCUuid *uuidCommand = nullptr; 67 }; 68 69 // LC_DYLD_INFO_ONLY stores the offsets of symbol import/export information. 70 class LCDyldInfo : public LoadCommand { 71 public: 72 LCDyldInfo(RebaseSection *rebaseSection, BindingSection *bindingSection, 73 WeakBindingSection *weakBindingSection, 74 LazyBindingSection *lazyBindingSection, 75 ExportSection *exportSection) 76 : rebaseSection(rebaseSection), bindingSection(bindingSection), 77 weakBindingSection(weakBindingSection), 78 lazyBindingSection(lazyBindingSection), exportSection(exportSection) {} 79 80 uint32_t getSize() const override { return sizeof(dyld_info_command); } 81 82 void writeTo(uint8_t *buf) const override { 83 auto *c = reinterpret_cast<dyld_info_command *>(buf); 84 c->cmd = LC_DYLD_INFO_ONLY; 85 c->cmdsize = getSize(); 86 if (rebaseSection->isNeeded()) { 87 c->rebase_off = rebaseSection->fileOff; 88 c->rebase_size = rebaseSection->getFileSize(); 89 } 90 if (bindingSection->isNeeded()) { 91 c->bind_off = bindingSection->fileOff; 92 c->bind_size = bindingSection->getFileSize(); 93 } 94 if (weakBindingSection->isNeeded()) { 95 c->weak_bind_off = weakBindingSection->fileOff; 96 c->weak_bind_size = weakBindingSection->getFileSize(); 97 } 98 if (lazyBindingSection->isNeeded()) { 99 c->lazy_bind_off = lazyBindingSection->fileOff; 100 c->lazy_bind_size = lazyBindingSection->getFileSize(); 101 } 102 if (exportSection->isNeeded()) { 103 c->export_off = exportSection->fileOff; 104 c->export_size = exportSection->getFileSize(); 105 } 106 } 107 108 RebaseSection *rebaseSection; 109 BindingSection *bindingSection; 110 WeakBindingSection *weakBindingSection; 111 LazyBindingSection *lazyBindingSection; 112 ExportSection *exportSection; 113 }; 114 115 class LCDysymtab : public LoadCommand { 116 public: 117 LCDysymtab(SymtabSection *symtabSection, 118 IndirectSymtabSection *indirectSymtabSection) 119 : symtabSection(symtabSection), 120 indirectSymtabSection(indirectSymtabSection) {} 121 122 uint32_t getSize() const override { return sizeof(dysymtab_command); } 123 124 void writeTo(uint8_t *buf) const override { 125 auto *c = reinterpret_cast<dysymtab_command *>(buf); 126 c->cmd = LC_DYSYMTAB; 127 c->cmdsize = getSize(); 128 129 c->ilocalsym = 0; 130 c->iextdefsym = c->nlocalsym = symtabSection->getNumLocalSymbols(); 131 c->nextdefsym = symtabSection->getNumExternalSymbols(); 132 c->iundefsym = c->iextdefsym + c->nextdefsym; 133 c->nundefsym = symtabSection->getNumUndefinedSymbols(); 134 135 c->indirectsymoff = indirectSymtabSection->fileOff; 136 c->nindirectsyms = indirectSymtabSection->getNumSymbols(); 137 } 138 139 SymtabSection *symtabSection; 140 IndirectSymtabSection *indirectSymtabSection; 141 }; 142 143 class LCSegment : public LoadCommand { 144 public: 145 LCSegment(StringRef name, OutputSegment *seg) : name(name), seg(seg) {} 146 147 uint32_t getSize() const override { 148 return sizeof(segment_command_64) + 149 seg->numNonHiddenSections() * sizeof(section_64); 150 } 151 152 void writeTo(uint8_t *buf) const override { 153 auto *c = reinterpret_cast<segment_command_64 *>(buf); 154 buf += sizeof(segment_command_64); 155 156 c->cmd = LC_SEGMENT_64; 157 c->cmdsize = getSize(); 158 memcpy(c->segname, name.data(), name.size()); 159 c->fileoff = seg->fileOff; 160 c->maxprot = seg->maxProt; 161 c->initprot = seg->initProt; 162 163 if (seg->getSections().empty()) 164 return; 165 166 c->vmaddr = seg->firstSection()->addr; 167 c->vmsize = 168 seg->lastSection()->addr + seg->lastSection()->getSize() - c->vmaddr; 169 c->nsects = seg->numNonHiddenSections(); 170 171 for (OutputSection *osec : seg->getSections()) { 172 if (!isZeroFill(osec->flags)) { 173 assert(osec->fileOff >= seg->fileOff); 174 c->filesize = std::max( 175 c->filesize, osec->fileOff + osec->getFileSize() - seg->fileOff); 176 } 177 178 if (osec->isHidden()) 179 continue; 180 181 auto *sectHdr = reinterpret_cast<section_64 *>(buf); 182 buf += sizeof(section_64); 183 184 memcpy(sectHdr->sectname, osec->name.data(), osec->name.size()); 185 memcpy(sectHdr->segname, name.data(), name.size()); 186 187 sectHdr->addr = osec->addr; 188 sectHdr->offset = osec->fileOff; 189 sectHdr->align = Log2_32(osec->align); 190 sectHdr->flags = osec->flags; 191 sectHdr->size = osec->getSize(); 192 sectHdr->reserved1 = osec->reserved1; 193 sectHdr->reserved2 = osec->reserved2; 194 } 195 } 196 197 private: 198 StringRef name; 199 OutputSegment *seg; 200 }; 201 202 class LCMain : public LoadCommand { 203 uint32_t getSize() const override { return sizeof(entry_point_command); } 204 205 void writeTo(uint8_t *buf) const override { 206 auto *c = reinterpret_cast<entry_point_command *>(buf); 207 c->cmd = LC_MAIN; 208 c->cmdsize = getSize(); 209 210 if (config->entry->isInStubs()) 211 c->entryoff = 212 in.stubs->fileOff + config->entry->stubsIndex * target->stubSize; 213 else 214 c->entryoff = config->entry->getFileOffset(); 215 216 c->stacksize = 0; 217 } 218 }; 219 220 class LCSymtab : public LoadCommand { 221 public: 222 LCSymtab(SymtabSection *symtabSection, StringTableSection *stringTableSection) 223 : symtabSection(symtabSection), stringTableSection(stringTableSection) {} 224 225 uint32_t getSize() const override { return sizeof(symtab_command); } 226 227 void writeTo(uint8_t *buf) const override { 228 auto *c = reinterpret_cast<symtab_command *>(buf); 229 c->cmd = LC_SYMTAB; 230 c->cmdsize = getSize(); 231 c->symoff = symtabSection->fileOff; 232 c->nsyms = symtabSection->getNumSymbols(); 233 c->stroff = stringTableSection->fileOff; 234 c->strsize = stringTableSection->getFileSize(); 235 } 236 237 SymtabSection *symtabSection = nullptr; 238 StringTableSection *stringTableSection = nullptr; 239 }; 240 241 // There are several dylib load commands that share the same structure: 242 // * LC_LOAD_DYLIB 243 // * LC_ID_DYLIB 244 // * LC_REEXPORT_DYLIB 245 class LCDylib : public LoadCommand { 246 public: 247 LCDylib(LoadCommandType type, StringRef path, 248 uint32_t compatibilityVersion = 0, uint32_t currentVersion = 0) 249 : type(type), path(path), compatibilityVersion(compatibilityVersion), 250 currentVersion(currentVersion) { 251 instanceCount++; 252 } 253 254 uint32_t getSize() const override { 255 return alignTo(sizeof(dylib_command) + path.size() + 1, 8); 256 } 257 258 void writeTo(uint8_t *buf) const override { 259 auto *c = reinterpret_cast<dylib_command *>(buf); 260 buf += sizeof(dylib_command); 261 262 c->cmd = type; 263 c->cmdsize = getSize(); 264 c->dylib.name = sizeof(dylib_command); 265 c->dylib.timestamp = 0; 266 c->dylib.compatibility_version = compatibilityVersion; 267 c->dylib.current_version = currentVersion; 268 269 memcpy(buf, path.data(), path.size()); 270 buf[path.size()] = '\0'; 271 } 272 273 static uint32_t getInstanceCount() { return instanceCount; } 274 275 private: 276 LoadCommandType type; 277 StringRef path; 278 uint32_t compatibilityVersion; 279 uint32_t currentVersion; 280 static uint32_t instanceCount; 281 }; 282 283 uint32_t LCDylib::instanceCount = 0; 284 285 class LCLoadDylinker : public LoadCommand { 286 public: 287 uint32_t getSize() const override { 288 return alignTo(sizeof(dylinker_command) + path.size() + 1, 8); 289 } 290 291 void writeTo(uint8_t *buf) const override { 292 auto *c = reinterpret_cast<dylinker_command *>(buf); 293 buf += sizeof(dylinker_command); 294 295 c->cmd = LC_LOAD_DYLINKER; 296 c->cmdsize = getSize(); 297 c->name = sizeof(dylinker_command); 298 299 memcpy(buf, path.data(), path.size()); 300 buf[path.size()] = '\0'; 301 } 302 303 private: 304 // Recent versions of Darwin won't run any binary that has dyld at a 305 // different location. 306 const StringRef path = "/usr/lib/dyld"; 307 }; 308 309 class LCRPath : public LoadCommand { 310 public: 311 LCRPath(StringRef path) : path(path) {} 312 313 uint32_t getSize() const override { 314 return alignTo(sizeof(rpath_command) + path.size() + 1, WordSize); 315 } 316 317 void writeTo(uint8_t *buf) const override { 318 auto *c = reinterpret_cast<rpath_command *>(buf); 319 buf += sizeof(rpath_command); 320 321 c->cmd = LC_RPATH; 322 c->cmdsize = getSize(); 323 c->path = sizeof(rpath_command); 324 325 memcpy(buf, path.data(), path.size()); 326 buf[path.size()] = '\0'; 327 } 328 329 private: 330 StringRef path; 331 }; 332 333 class LCBuildVersion : public LoadCommand { 334 public: 335 LCBuildVersion(const PlatformInfo &platform) : platform(platform) {} 336 337 const int ntools = 1; 338 339 uint32_t getSize() const override { 340 return sizeof(build_version_command) + ntools * sizeof(build_tool_version); 341 } 342 343 void writeTo(uint8_t *buf) const override { 344 auto *c = reinterpret_cast<build_version_command *>(buf); 345 c->cmd = LC_BUILD_VERSION; 346 c->cmdsize = getSize(); 347 c->platform = static_cast<uint32_t>(platform.kind); 348 c->minos = ((platform.minimum.getMajor() << 020) | 349 (platform.minimum.getMinor().getValueOr(0) << 010) | 350 platform.minimum.getSubminor().getValueOr(0)); 351 c->sdk = ((platform.sdk.getMajor() << 020) | 352 (platform.sdk.getMinor().getValueOr(0) << 010) | 353 platform.sdk.getSubminor().getValueOr(0)); 354 c->ntools = ntools; 355 auto *t = reinterpret_cast<build_tool_version *>(&c[1]); 356 t->tool = TOOL_LD; 357 t->version = (LLVM_VERSION_MAJOR << 020) | (LLVM_VERSION_MINOR << 010) | 358 LLVM_VERSION_PATCH; 359 } 360 361 const PlatformInfo &platform; 362 }; 363 364 // Stores a unique identifier for the output file based on an MD5 hash of its 365 // contents. In order to hash the contents, we must first write them, but 366 // LC_UUID itself must be part of the written contents in order for all the 367 // offsets to be calculated correctly. We resolve this circular paradox by 368 // first writing an LC_UUID with an all-zero UUID, then updating the UUID with 369 // its real value later. 370 class LCUuid : public LoadCommand { 371 public: 372 uint32_t getSize() const override { return sizeof(uuid_command); } 373 374 void writeTo(uint8_t *buf) const override { 375 auto *c = reinterpret_cast<uuid_command *>(buf); 376 c->cmd = LC_UUID; 377 c->cmdsize = getSize(); 378 uuidBuf = c->uuid; 379 } 380 381 void writeUuid(uint64_t digest) const { 382 // xxhash only gives us 8 bytes, so put some fixed data in the other half. 383 static_assert(sizeof(uuid_command::uuid) == 16, "unexpected uuid size"); 384 memcpy(uuidBuf, "LLD\xa1UU1D", 8); 385 memcpy(uuidBuf + 8, &digest, 8); 386 387 // RFC 4122 conformance. We need to fix 4 bits in byte 6 and 2 bits in 388 // byte 8. Byte 6 is already fine due to the fixed data we put in. We don't 389 // want to lose bits of the digest in byte 8, so swap that with a byte of 390 // fixed data that happens to have the right bits set. 391 std::swap(uuidBuf[3], uuidBuf[8]); 392 393 // Claim that this is an MD5-based hash. It isn't, but this signals that 394 // this is not a time-based and not a random hash. MD5 seems like the least 395 // bad lie we can put here. 396 assert((uuidBuf[6] & 0xf0) == 0x30 && "See RFC 4122 Sections 4.2.2, 4.1.3"); 397 assert((uuidBuf[8] & 0xc0) == 0x80 && "See RFC 4122 Section 4.2.2"); 398 } 399 400 mutable uint8_t *uuidBuf; 401 }; 402 403 } // namespace 404 405 void Writer::scanRelocations() { 406 for (InputSection *isec : inputSections) { 407 // We do not wish to add rebase opcodes for __LD,__compact_unwind, because 408 // it doesn't actually end up in the final binary. TODO: filtering it out 409 // before Writer runs might be cleaner... 410 if (isec->segname == segment_names::ld) 411 continue; 412 413 for (Reloc &r : isec->relocs) { 414 if (auto *s = r.referent.dyn_cast<lld::macho::Symbol *>()) { 415 if (isa<Undefined>(s)) 416 treatUndefinedSymbol(toString(*s), toString(isec->file)); 417 else 418 target->prepareSymbolRelocation(s, isec, r); 419 } else { 420 assert(r.referent.is<InputSection *>()); 421 if (!r.pcrel) 422 in.rebase->addEntry(isec, r.offset); 423 } 424 } 425 } 426 } 427 428 void Writer::scanSymbols() { 429 for (const macho::Symbol *sym : symtab->getSymbols()) { 430 if (const auto *defined = dyn_cast<Defined>(sym)) { 431 if (defined->overridesWeakDef) 432 in.weakBinding->addNonWeakDefinition(defined); 433 } else if (const auto *dysym = dyn_cast<DylibSymbol>(sym)) { 434 dysym->file->refState = std::max(dysym->file->refState, dysym->refState); 435 } 436 } 437 } 438 439 void Writer::createLoadCommands() { 440 in.header->addLoadCommand(make<LCDyldInfo>( 441 in.rebase, in.binding, in.weakBinding, in.lazyBinding, in.exports)); 442 in.header->addLoadCommand(make<LCSymtab>(symtabSection, stringTableSection)); 443 in.header->addLoadCommand( 444 make<LCDysymtab>(symtabSection, indirectSymtabSection)); 445 for (StringRef path : config->runtimePaths) 446 in.header->addLoadCommand(make<LCRPath>(path)); 447 448 switch (config->outputType) { 449 case MH_EXECUTE: 450 in.header->addLoadCommand(make<LCMain>()); 451 in.header->addLoadCommand(make<LCLoadDylinker>()); 452 break; 453 case MH_DYLIB: 454 in.header->addLoadCommand(make<LCDylib>(LC_ID_DYLIB, config->installName, 455 config->dylibCompatibilityVersion, 456 config->dylibCurrentVersion)); 457 break; 458 case MH_BUNDLE: 459 break; 460 default: 461 llvm_unreachable("unhandled output file type"); 462 } 463 464 in.header->addLoadCommand(make<LCBuildVersion>(config->platform)); 465 466 uuidCommand = make<LCUuid>(); 467 in.header->addLoadCommand(uuidCommand); 468 469 uint8_t segIndex = 0; 470 for (OutputSegment *seg : outputSegments) { 471 in.header->addLoadCommand(make<LCSegment>(seg->name, seg)); 472 seg->index = segIndex++; 473 } 474 475 uint64_t dylibOrdinal = 1; 476 for (InputFile *file : inputFiles) { 477 if (auto *dylibFile = dyn_cast<DylibFile>(file)) { 478 LoadCommandType lcType = 479 dylibFile->forceWeakImport || dylibFile->refState == RefState::Weak 480 ? LC_LOAD_WEAK_DYLIB 481 : LC_LOAD_DYLIB; 482 in.header->addLoadCommand(make<LCDylib>(lcType, dylibFile->dylibName, 483 dylibFile->compatibilityVersion, 484 dylibFile->currentVersion)); 485 dylibFile->ordinal = dylibOrdinal++; 486 487 if (dylibFile->reexport) 488 in.header->addLoadCommand( 489 make<LCDylib>(LC_REEXPORT_DYLIB, dylibFile->dylibName)); 490 } 491 } 492 493 const uint32_t MACOS_MAXPATHLEN = 1024; 494 config->headerPad = std::max( 495 config->headerPad, (config->headerPadMaxInstallNames 496 ? LCDylib::getInstanceCount() * MACOS_MAXPATHLEN 497 : 0)); 498 } 499 500 static size_t getSymbolPriority(const SymbolPriorityEntry &entry, 501 const InputFile *f) { 502 // We don't use toString(InputFile *) here because it returns the full path 503 // for object files, and we only want the basename. 504 StringRef filename; 505 if (f->archiveName.empty()) 506 filename = path::filename(f->getName()); 507 else 508 filename = saver.save(path::filename(f->archiveName) + "(" + 509 path::filename(f->getName()) + ")"); 510 return std::max(entry.objectFiles.lookup(filename), entry.anyObjectFile); 511 } 512 513 // Each section gets assigned the priority of the highest-priority symbol it 514 // contains. 515 static DenseMap<const InputSection *, size_t> buildInputSectionPriorities() { 516 DenseMap<const InputSection *, size_t> sectionPriorities; 517 518 if (config->priorities.empty()) 519 return sectionPriorities; 520 521 auto addSym = [&](Defined &sym) { 522 auto it = config->priorities.find(sym.getName()); 523 if (it == config->priorities.end()) 524 return; 525 526 SymbolPriorityEntry &entry = it->second; 527 size_t &priority = sectionPriorities[sym.isec]; 528 priority = std::max(priority, getSymbolPriority(entry, sym.isec->file)); 529 }; 530 531 // TODO: Make sure this handles weak symbols correctly. 532 for (InputFile *file : inputFiles) 533 if (isa<ObjFile>(file)) 534 for (lld::macho::Symbol *sym : file->symbols) 535 if (auto *d = dyn_cast<Defined>(sym)) 536 addSym(*d); 537 538 return sectionPriorities; 539 } 540 541 static int segmentOrder(OutputSegment *seg) { 542 return StringSwitch<int>(seg->name) 543 .Case(segment_names::pageZero, -2) 544 .Case(segment_names::text, -1) 545 // Make sure __LINKEDIT is the last segment (i.e. all its hidden 546 // sections must be ordered after other sections). 547 .Case(segment_names::linkEdit, std::numeric_limits<int>::max()) 548 .Default(0); 549 } 550 551 static int sectionOrder(OutputSection *osec) { 552 StringRef segname = osec->parent->name; 553 // Sections are uniquely identified by their segment + section name. 554 if (segname == segment_names::text) { 555 return StringSwitch<int>(osec->name) 556 .Case(section_names::header, -1) 557 .Case(section_names::unwindInfo, std::numeric_limits<int>::max() - 1) 558 .Case(section_names::ehFrame, std::numeric_limits<int>::max()) 559 .Default(0); 560 } 561 if (segname == segment_names::data) { 562 // For each thread spawned, dyld will initialize its TLVs by copying the 563 // address range from the start of the first thread-local data section to 564 // the end of the last one. We therefore arrange these sections contiguously 565 // to minimize the amount of memory used. Additionally, since zerofill 566 // sections must be at the end of their segments, and since TLV data 567 // sections can be zerofills, we end up putting all TLV data sections at the 568 // end of the segment. 569 switch (sectionType(osec->flags)) { 570 case S_THREAD_LOCAL_REGULAR: 571 return std::numeric_limits<int>::max() - 2; 572 case S_THREAD_LOCAL_ZEROFILL: 573 return std::numeric_limits<int>::max() - 1; 574 case S_ZEROFILL: 575 return std::numeric_limits<int>::max(); 576 default: 577 return 0; 578 } 579 } 580 if (segname == segment_names::linkEdit) { 581 return StringSwitch<int>(osec->name) 582 .Case(section_names::rebase, -8) 583 .Case(section_names::binding, -7) 584 .Case(section_names::weakBinding, -6) 585 .Case(section_names::lazyBinding, -5) 586 .Case(section_names::export_, -4) 587 .Case(section_names::symbolTable, -3) 588 .Case(section_names::indirectSymbolTable, -2) 589 .Case(section_names::stringTable, -1) 590 .Default(0); 591 } 592 // ZeroFill sections must always be the at the end of their segments, 593 // otherwise subsequent sections may get overwritten with zeroes at runtime. 594 if (sectionType(osec->flags) == S_ZEROFILL) 595 return std::numeric_limits<int>::max(); 596 return 0; 597 } 598 599 template <typename T, typename F> 600 static std::function<bool(T, T)> compareByOrder(F ord) { 601 return [=](T a, T b) { return ord(a) < ord(b); }; 602 } 603 604 // Sorting only can happen once all outputs have been collected. Here we sort 605 // segments, output sections within each segment, and input sections within each 606 // output segment. 607 static void sortSegmentsAndSections() { 608 llvm::stable_sort(outputSegments, 609 compareByOrder<OutputSegment *>(segmentOrder)); 610 611 DenseMap<const InputSection *, size_t> isecPriorities = 612 buildInputSectionPriorities(); 613 614 uint32_t sectionIndex = 0; 615 for (OutputSegment *seg : outputSegments) { 616 seg->sortOutputSections(compareByOrder<OutputSection *>(sectionOrder)); 617 for (auto *osec : seg->getSections()) { 618 // Now that the output sections are sorted, assign the final 619 // output section indices. 620 if (!osec->isHidden()) 621 osec->index = ++sectionIndex; 622 623 if (!firstTLVDataSection && isThreadLocalData(osec->flags)) 624 firstTLVDataSection = osec; 625 626 if (!isecPriorities.empty()) { 627 if (auto *merged = dyn_cast<MergedOutputSection>(osec)) { 628 llvm::stable_sort(merged->inputs, 629 [&](InputSection *a, InputSection *b) { 630 return isecPriorities[a] > isecPriorities[b]; 631 }); 632 } 633 } 634 } 635 } 636 } 637 638 void Writer::createOutputSections() { 639 // First, create hidden sections 640 stringTableSection = make<StringTableSection>(); 641 unwindInfoSection = make<UnwindInfoSection>(); // TODO(gkm): only when no -r 642 symtabSection = make<SymtabSection>(*stringTableSection); 643 indirectSymtabSection = make<IndirectSymtabSection>(); 644 645 switch (config->outputType) { 646 case MH_EXECUTE: 647 make<PageZeroSection>(); 648 break; 649 case MH_DYLIB: 650 case MH_BUNDLE: 651 break; 652 default: 653 llvm_unreachable("unhandled output file type"); 654 } 655 656 // Then merge input sections into output sections. 657 MapVector<std::pair<StringRef, StringRef>, MergedOutputSection *> 658 mergedOutputSections; 659 for (InputSection *isec : inputSections) { 660 MergedOutputSection *&osec = 661 mergedOutputSections[{isec->segname, isec->name}]; 662 if (osec == nullptr) 663 osec = make<MergedOutputSection>(isec->name); 664 osec->mergeInput(isec); 665 } 666 667 for (const auto &it : mergedOutputSections) { 668 StringRef segname = it.first.first; 669 MergedOutputSection *osec = it.second; 670 if (unwindInfoSection && segname == segment_names::ld) { 671 assert(osec->name == section_names::compactUnwind); 672 unwindInfoSection->setCompactUnwindSection(osec); 673 } else { 674 getOrCreateOutputSegment(segname)->addOutputSection(osec); 675 } 676 } 677 678 for (SyntheticSection *ssec : syntheticSections) { 679 auto it = mergedOutputSections.find({ssec->segname, ssec->name}); 680 if (it == mergedOutputSections.end()) { 681 if (ssec->isNeeded()) 682 getOrCreateOutputSegment(ssec->segname)->addOutputSection(ssec); 683 } else { 684 error("section from " + toString(it->second->firstSection()->file) + 685 " conflicts with synthetic section " + ssec->segname + "," + 686 ssec->name); 687 } 688 } 689 } 690 691 void Writer::assignAddresses(OutputSegment *seg) { 692 addr = alignTo(addr, PageSize); 693 fileOff = alignTo(fileOff, PageSize); 694 seg->fileOff = fileOff; 695 696 for (auto *osec : seg->getSections()) { 697 if (!osec->isNeeded()) 698 continue; 699 addr = alignTo(addr, osec->align); 700 fileOff = alignTo(fileOff, osec->align); 701 osec->addr = addr; 702 osec->fileOff = isZeroFill(osec->flags) ? 0 : fileOff; 703 osec->finalize(); 704 705 addr += osec->getSize(); 706 fileOff += osec->getFileSize(); 707 } 708 } 709 710 void Writer::openFile() { 711 Expected<std::unique_ptr<FileOutputBuffer>> bufferOrErr = 712 FileOutputBuffer::create(config->outputFile, fileOff, 713 FileOutputBuffer::F_executable); 714 715 if (!bufferOrErr) 716 error("failed to open " + config->outputFile + ": " + 717 llvm::toString(bufferOrErr.takeError())); 718 else 719 buffer = std::move(*bufferOrErr); 720 } 721 722 void Writer::writeSections() { 723 uint8_t *buf = buffer->getBufferStart(); 724 for (OutputSegment *seg : outputSegments) 725 for (OutputSection *osec : seg->getSections()) 726 osec->writeTo(buf + osec->fileOff); 727 } 728 729 void Writer::writeUuid() { 730 uint64_t digest = 731 xxHash64({buffer->getBufferStart(), buffer->getBufferEnd()}); 732 uuidCommand->writeUuid(digest); 733 } 734 735 void Writer::run() { 736 // dyld requires __LINKEDIT segment to always exist (even if empty). 737 OutputSegment *linkEditSegment = 738 getOrCreateOutputSegment(segment_names::linkEdit); 739 740 prepareBranchTarget(config->entry); 741 scanRelocations(); 742 if (in.stubHelper->isNeeded()) 743 in.stubHelper->setup(); 744 scanSymbols(); 745 746 // Sort and assign sections to their respective segments. No more sections nor 747 // segments may be created after these methods run. 748 createOutputSections(); 749 sortSegmentsAndSections(); 750 751 createLoadCommands(); 752 753 // Ensure that segments (and the sections they contain) are allocated 754 // addresses in ascending order, which dyld requires. 755 // 756 // Note that at this point, __LINKEDIT sections are empty, but we need to 757 // determine addresses of other segments/sections before generating its 758 // contents. 759 for (OutputSegment *seg : outputSegments) 760 if (seg != linkEditSegment) 761 assignAddresses(seg); 762 763 // Fill __LINKEDIT contents. 764 in.rebase->finalizeContents(); 765 in.binding->finalizeContents(); 766 in.weakBinding->finalizeContents(); 767 in.lazyBinding->finalizeContents(); 768 in.exports->finalizeContents(); 769 symtabSection->finalizeContents(); 770 indirectSymtabSection->finalizeContents(); 771 772 // Now that __LINKEDIT is filled out, do a proper calculation of its 773 // addresses and offsets. 774 assignAddresses(linkEditSegment); 775 776 openFile(); 777 if (errorCount()) 778 return; 779 780 writeSections(); 781 writeUuid(); 782 783 if (auto e = buffer->commit()) 784 error("failed to write to the output file: " + toString(std::move(e))); 785 } 786 787 void macho::writeResult() { Writer().run(); } 788 789 void macho::createSyntheticSections() { 790 in.header = make<MachHeaderSection>(); 791 in.rebase = make<RebaseSection>(); 792 in.binding = make<BindingSection>(); 793 in.weakBinding = make<WeakBindingSection>(); 794 in.lazyBinding = make<LazyBindingSection>(); 795 in.exports = make<ExportSection>(); 796 in.got = make<GotSection>(); 797 in.tlvPointers = make<TlvPointerSection>(); 798 in.lazyPointers = make<LazyPointerSection>(); 799 in.stubs = make<StubsSection>(); 800 in.stubHelper = make<StubHelperSection>(); 801 in.imageLoaderCache = make<ImageLoaderCacheSection>(); 802 } 803 804 OutputSection *macho::firstTLVDataSection = nullptr; 805