1 //===- Driver.cpp ---------------------------------------------------------===// 2 // 3 // The LLVM Linker 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // The driver drives the entire linking process. It is responsible for 11 // parsing command line options and doing whatever it is instructed to do. 12 // 13 // One notable thing in the LLD's driver when compared to other linkers is 14 // that the LLD's driver is agnostic on the host operating system. 15 // Other linkers usually have implicit default values (such as a dynamic 16 // linker path or library paths) for each host OS. 17 // 18 // I don't think implicit default values are useful because they are 19 // usually explicitly specified by the compiler driver. They can even 20 // be harmful when you are doing cross-linking. Therefore, in LLD, we 21 // simply trust the compiler driver to pass all required options and 22 // don't try to make effort on our side. 23 // 24 //===----------------------------------------------------------------------===// 25 26 #include "Driver.h" 27 #include "Config.h" 28 #include "Filesystem.h" 29 #include "ICF.h" 30 #include "InputFiles.h" 31 #include "InputSection.h" 32 #include "LinkerScript.h" 33 #include "MarkLive.h" 34 #include "OutputSections.h" 35 #include "ScriptParser.h" 36 #include "SymbolTable.h" 37 #include "Symbols.h" 38 #include "SyntheticSections.h" 39 #include "Target.h" 40 #include "Writer.h" 41 #include "lld/Common/Args.h" 42 #include "lld/Common/Driver.h" 43 #include "lld/Common/ErrorHandler.h" 44 #include "lld/Common/Memory.h" 45 #include "lld/Common/Strings.h" 46 #include "lld/Common/TargetOptionsCommandFlags.h" 47 #include "lld/Common/Threads.h" 48 #include "lld/Common/Version.h" 49 #include "llvm/ADT/SetVector.h" 50 #include "llvm/ADT/StringExtras.h" 51 #include "llvm/ADT/StringSwitch.h" 52 #include "llvm/Support/CommandLine.h" 53 #include "llvm/Support/Compression.h" 54 #include "llvm/Support/Path.h" 55 #include "llvm/Support/TarWriter.h" 56 #include "llvm/Support/TargetSelect.h" 57 #include "llvm/Support/raw_ostream.h" 58 #include <cstdlib> 59 #include <utility> 60 61 using namespace llvm; 62 using namespace llvm::ELF; 63 using namespace llvm::object; 64 using namespace llvm::sys; 65 66 using namespace lld; 67 using namespace lld::elf; 68 69 Configuration *elf::Config; 70 LinkerDriver *elf::Driver; 71 72 static void setConfigs(opt::InputArgList &Args); 73 74 bool elf::link(ArrayRef<const char *> Args, bool CanExitEarly, 75 raw_ostream &Error) { 76 errorHandler().LogName = Args[0]; 77 errorHandler().ErrorLimitExceededMsg = 78 "too many errors emitted, stopping now (use " 79 "-error-limit=0 to see all errors)"; 80 errorHandler().ErrorOS = &Error; 81 errorHandler().ExitEarly = CanExitEarly; 82 errorHandler().ColorDiagnostics = Error.has_colors(); 83 84 InputSections.clear(); 85 OutputSections.clear(); 86 Tar = nullptr; 87 BinaryFiles.clear(); 88 BitcodeFiles.clear(); 89 ObjectFiles.clear(); 90 SharedFiles.clear(); 91 92 Config = make<Configuration>(); 93 Driver = make<LinkerDriver>(); 94 Script = make<LinkerScript>(); 95 Symtab = make<SymbolTable>(); 96 Config->ProgName = Args[0]; 97 98 Driver->main(Args); 99 100 // Exit immediately if we don't need to return to the caller. 101 // This saves time because the overhead of calling destructors 102 // for all globally-allocated objects is not negligible. 103 if (CanExitEarly) 104 exitLld(errorCount() ? 1 : 0); 105 106 freeArena(); 107 return !errorCount(); 108 } 109 110 // Parses a linker -m option. 111 static std::tuple<ELFKind, uint16_t, uint8_t> parseEmulation(StringRef Emul) { 112 uint8_t OSABI = 0; 113 StringRef S = Emul; 114 if (S.endswith("_fbsd")) { 115 S = S.drop_back(5); 116 OSABI = ELFOSABI_FREEBSD; 117 } 118 119 std::pair<ELFKind, uint16_t> Ret = 120 StringSwitch<std::pair<ELFKind, uint16_t>>(S) 121 .Cases("aarch64elf", "aarch64linux", "aarch64_elf64_le_vec", 122 {ELF64LEKind, EM_AARCH64}) 123 .Cases("armelf", "armelf_linux_eabi", {ELF32LEKind, EM_ARM}) 124 .Case("elf32_x86_64", {ELF32LEKind, EM_X86_64}) 125 .Cases("elf32btsmip", "elf32btsmipn32", {ELF32BEKind, EM_MIPS}) 126 .Cases("elf32ltsmip", "elf32ltsmipn32", {ELF32LEKind, EM_MIPS}) 127 .Case("elf32ppc", {ELF32BEKind, EM_PPC}) 128 .Case("elf64btsmip", {ELF64BEKind, EM_MIPS}) 129 .Case("elf64ltsmip", {ELF64LEKind, EM_MIPS}) 130 .Case("elf64ppc", {ELF64BEKind, EM_PPC64}) 131 .Case("elf64lppc", {ELF64LEKind, EM_PPC64}) 132 .Cases("elf_amd64", "elf_x86_64", {ELF64LEKind, EM_X86_64}) 133 .Case("elf_i386", {ELF32LEKind, EM_386}) 134 .Case("elf_iamcu", {ELF32LEKind, EM_IAMCU}) 135 .Default({ELFNoneKind, EM_NONE}); 136 137 if (Ret.first == ELFNoneKind) 138 error("unknown emulation: " + Emul); 139 return std::make_tuple(Ret.first, Ret.second, OSABI); 140 } 141 142 // Returns slices of MB by parsing MB as an archive file. 143 // Each slice consists of a member file in the archive. 144 std::vector<std::pair<MemoryBufferRef, uint64_t>> static getArchiveMembers( 145 MemoryBufferRef MB) { 146 std::unique_ptr<Archive> File = 147 CHECK(Archive::create(MB), 148 MB.getBufferIdentifier() + ": failed to parse archive"); 149 150 std::vector<std::pair<MemoryBufferRef, uint64_t>> V; 151 Error Err = Error::success(); 152 bool AddToTar = File->isThin() && Tar; 153 for (const ErrorOr<Archive::Child> &COrErr : File->children(Err)) { 154 Archive::Child C = 155 CHECK(COrErr, MB.getBufferIdentifier() + 156 ": could not get the child of the archive"); 157 MemoryBufferRef MBRef = 158 CHECK(C.getMemoryBufferRef(), 159 MB.getBufferIdentifier() + 160 ": could not get the buffer for a child of the archive"); 161 if (AddToTar) 162 Tar->append(relativeToRoot(check(C.getFullName())), MBRef.getBuffer()); 163 V.push_back(std::make_pair(MBRef, C.getChildOffset())); 164 } 165 if (Err) 166 fatal(MB.getBufferIdentifier() + ": Archive::children failed: " + 167 toString(std::move(Err))); 168 169 // Take ownership of memory buffers created for members of thin archives. 170 for (std::unique_ptr<MemoryBuffer> &MB : File->takeThinBuffers()) 171 make<std::unique_ptr<MemoryBuffer>>(std::move(MB)); 172 173 return V; 174 } 175 176 // Opens a file and create a file object. Path has to be resolved already. 177 void LinkerDriver::addFile(StringRef Path, bool WithLOption) { 178 using namespace sys::fs; 179 180 Optional<MemoryBufferRef> Buffer = readFile(Path); 181 if (!Buffer.hasValue()) 182 return; 183 MemoryBufferRef MBRef = *Buffer; 184 185 if (InBinary) { 186 Files.push_back(make<BinaryFile>(MBRef)); 187 return; 188 } 189 190 switch (identify_magic(MBRef.getBuffer())) { 191 case file_magic::unknown: 192 readLinkerScript(MBRef); 193 return; 194 case file_magic::archive: { 195 // Handle -whole-archive. 196 if (InWholeArchive) { 197 for (const auto &P : getArchiveMembers(MBRef)) 198 Files.push_back(createObjectFile(P.first, Path, P.second)); 199 return; 200 } 201 202 std::unique_ptr<Archive> File = 203 CHECK(Archive::create(MBRef), Path + ": failed to parse archive"); 204 205 // If an archive file has no symbol table, it is likely that a user 206 // is attempting LTO and using a default ar command that doesn't 207 // understand the LLVM bitcode file. It is a pretty common error, so 208 // we'll handle it as if it had a symbol table. 209 if (!File->isEmpty() && !File->hasSymbolTable()) { 210 for (const auto &P : getArchiveMembers(MBRef)) 211 Files.push_back(make<LazyObjFile>(P.first, Path, P.second)); 212 return; 213 } 214 215 // Handle the regular case. 216 Files.push_back(make<ArchiveFile>(std::move(File))); 217 return; 218 } 219 case file_magic::elf_shared_object: 220 if (Config->Relocatable) { 221 error("attempted static link of dynamic object " + Path); 222 return; 223 } 224 225 // DSOs usually have DT_SONAME tags in their ELF headers, and the 226 // sonames are used to identify DSOs. But if they are missing, 227 // they are identified by filenames. We don't know whether the new 228 // file has a DT_SONAME or not because we haven't parsed it yet. 229 // Here, we set the default soname for the file because we might 230 // need it later. 231 // 232 // If a file was specified by -lfoo, the directory part is not 233 // significant, as a user did not specify it. This behavior is 234 // compatible with GNU. 235 Files.push_back( 236 createSharedFile(MBRef, WithLOption ? path::filename(Path) : Path)); 237 return; 238 case file_magic::bitcode: 239 case file_magic::elf_relocatable: 240 if (InLib) 241 Files.push_back(make<LazyObjFile>(MBRef, "", 0)); 242 else 243 Files.push_back(createObjectFile(MBRef)); 244 break; 245 default: 246 error(Path + ": unknown file type"); 247 } 248 } 249 250 // Add a given library by searching it from input search paths. 251 void LinkerDriver::addLibrary(StringRef Name) { 252 if (Optional<std::string> Path = searchLibrary(Name)) 253 addFile(*Path, /*WithLOption=*/true); 254 else 255 error("unable to find library -l" + Name); 256 } 257 258 // This function is called on startup. We need this for LTO since 259 // LTO calls LLVM functions to compile bitcode files to native code. 260 // Technically this can be delayed until we read bitcode files, but 261 // we don't bother to do lazily because the initialization is fast. 262 static void initLLVM() { 263 InitializeAllTargets(); 264 InitializeAllTargetMCs(); 265 InitializeAllAsmPrinters(); 266 InitializeAllAsmParsers(); 267 } 268 269 // Some command line options or some combinations of them are not allowed. 270 // This function checks for such errors. 271 static void checkOptions(opt::InputArgList &Args) { 272 // The MIPS ABI as of 2016 does not support the GNU-style symbol lookup 273 // table which is a relatively new feature. 274 if (Config->EMachine == EM_MIPS && Config->GnuHash) 275 error("the .gnu.hash section is not compatible with the MIPS target."); 276 277 if (Config->FixCortexA53Errata843419 && Config->EMachine != EM_AARCH64) 278 error("--fix-cortex-a53-843419 is only supported on AArch64 targets."); 279 280 if (Config->Pie && Config->Shared) 281 error("-shared and -pie may not be used together"); 282 283 if (!Config->Shared && !Config->FilterList.empty()) 284 error("-F may not be used without -shared"); 285 286 if (!Config->Shared && !Config->AuxiliaryList.empty()) 287 error("-f may not be used without -shared"); 288 289 if (!Config->Relocatable && !Config->DefineCommon) 290 error("-no-define-common not supported in non relocatable output"); 291 292 if (Config->Relocatable) { 293 if (Config->Shared) 294 error("-r and -shared may not be used together"); 295 if (Config->GcSections) 296 error("-r and --gc-sections may not be used together"); 297 if (Config->ICF) 298 error("-r and --icf may not be used together"); 299 if (Config->Pie) 300 error("-r and -pie may not be used together"); 301 } 302 } 303 304 static const char *getReproduceOption(opt::InputArgList &Args) { 305 if (auto *Arg = Args.getLastArg(OPT_reproduce)) 306 return Arg->getValue(); 307 return getenv("LLD_REPRODUCE"); 308 } 309 310 static bool hasZOption(opt::InputArgList &Args, StringRef Key) { 311 for (auto *Arg : Args.filtered(OPT_z)) 312 if (Key == Arg->getValue()) 313 return true; 314 return false; 315 } 316 317 static bool getZFlag(opt::InputArgList &Args, StringRef K1, StringRef K2, 318 bool Default) { 319 for (auto *Arg : Args.filtered_reverse(OPT_z)) { 320 if (K1 == Arg->getValue()) 321 return true; 322 if (K2 == Arg->getValue()) 323 return false; 324 } 325 return Default; 326 } 327 328 void LinkerDriver::main(ArrayRef<const char *> ArgsArr) { 329 ELFOptTable Parser; 330 opt::InputArgList Args = Parser.parse(ArgsArr.slice(1)); 331 332 // Interpret this flag early because error() depends on them. 333 errorHandler().ErrorLimit = args::getInteger(Args, OPT_error_limit, 20); 334 335 // Handle -help 336 if (Args.hasArg(OPT_help)) { 337 printHelp(); 338 return; 339 } 340 341 // Handle -v or -version. 342 // 343 // A note about "compatible with GNU linkers" message: this is a hack for 344 // scripts generated by GNU Libtool 2.4.6 (released in February 2014 and 345 // still the newest version in March 2017) or earlier to recognize LLD as 346 // a GNU compatible linker. As long as an output for the -v option 347 // contains "GNU" or "with BFD", they recognize us as GNU-compatible. 348 // 349 // This is somewhat ugly hack, but in reality, we had no choice other 350 // than doing this. Considering the very long release cycle of Libtool, 351 // it is not easy to improve it to recognize LLD as a GNU compatible 352 // linker in a timely manner. Even if we can make it, there are still a 353 // lot of "configure" scripts out there that are generated by old version 354 // of Libtool. We cannot convince every software developer to migrate to 355 // the latest version and re-generate scripts. So we have this hack. 356 if (Args.hasArg(OPT_v) || Args.hasArg(OPT_version)) 357 message(getLLDVersion() + " (compatible with GNU linkers)"); 358 359 // The behavior of -v or --version is a bit strange, but this is 360 // needed for compatibility with GNU linkers. 361 if (Args.hasArg(OPT_v) && !Args.hasArg(OPT_INPUT)) 362 return; 363 if (Args.hasArg(OPT_version)) 364 return; 365 366 if (const char *Path = getReproduceOption(Args)) { 367 // Note that --reproduce is a debug option so you can ignore it 368 // if you are trying to understand the whole picture of the code. 369 Expected<std::unique_ptr<TarWriter>> ErrOrWriter = 370 TarWriter::create(Path, path::stem(Path)); 371 if (ErrOrWriter) { 372 Tar = ErrOrWriter->get(); 373 Tar->append("response.txt", createResponseFile(Args)); 374 Tar->append("version.txt", getLLDVersion() + "\n"); 375 make<std::unique_ptr<TarWriter>>(std::move(*ErrOrWriter)); 376 } else { 377 error(Twine("--reproduce: failed to open ") + Path + ": " + 378 toString(ErrOrWriter.takeError())); 379 } 380 } 381 382 readConfigs(Args); 383 initLLVM(); 384 createFiles(Args); 385 if (errorCount()) 386 return; 387 388 inferMachineType(); 389 setConfigs(Args); 390 checkOptions(Args); 391 if (errorCount()) 392 return; 393 394 switch (Config->EKind) { 395 case ELF32LEKind: 396 link<ELF32LE>(Args); 397 return; 398 case ELF32BEKind: 399 link<ELF32BE>(Args); 400 return; 401 case ELF64LEKind: 402 link<ELF64LE>(Args); 403 return; 404 case ELF64BEKind: 405 link<ELF64BE>(Args); 406 return; 407 default: 408 llvm_unreachable("unknown Config->EKind"); 409 } 410 } 411 412 static std::string getRpath(opt::InputArgList &Args) { 413 std::vector<StringRef> V = args::getStrings(Args, OPT_rpath); 414 return llvm::join(V.begin(), V.end(), ":"); 415 } 416 417 // Determines what we should do if there are remaining unresolved 418 // symbols after the name resolution. 419 static UnresolvedPolicy getUnresolvedSymbolPolicy(opt::InputArgList &Args) { 420 if (Args.hasArg(OPT_relocatable)) 421 return UnresolvedPolicy::IgnoreAll; 422 423 UnresolvedPolicy ErrorOrWarn = Args.hasFlag(OPT_error_unresolved_symbols, 424 OPT_warn_unresolved_symbols, true) 425 ? UnresolvedPolicy::ReportError 426 : UnresolvedPolicy::Warn; 427 428 // Process the last of -unresolved-symbols, -no-undefined or -z defs. 429 for (auto *Arg : llvm::reverse(Args)) { 430 switch (Arg->getOption().getID()) { 431 case OPT_unresolved_symbols: { 432 StringRef S = Arg->getValue(); 433 if (S == "ignore-all" || S == "ignore-in-object-files") 434 return UnresolvedPolicy::Ignore; 435 if (S == "ignore-in-shared-libs" || S == "report-all") 436 return ErrorOrWarn; 437 error("unknown --unresolved-symbols value: " + S); 438 continue; 439 } 440 case OPT_no_undefined: 441 return ErrorOrWarn; 442 case OPT_z: 443 if (StringRef(Arg->getValue()) == "defs") 444 return ErrorOrWarn; 445 continue; 446 } 447 } 448 449 // -shared implies -unresolved-symbols=ignore-all because missing 450 // symbols are likely to be resolved at runtime using other DSOs. 451 if (Config->Shared) 452 return UnresolvedPolicy::Ignore; 453 return ErrorOrWarn; 454 } 455 456 static Target2Policy getTarget2(opt::InputArgList &Args) { 457 StringRef S = Args.getLastArgValue(OPT_target2, "got-rel"); 458 if (S == "rel") 459 return Target2Policy::Rel; 460 if (S == "abs") 461 return Target2Policy::Abs; 462 if (S == "got-rel") 463 return Target2Policy::GotRel; 464 error("unknown --target2 option: " + S); 465 return Target2Policy::GotRel; 466 } 467 468 static bool isOutputFormatBinary(opt::InputArgList &Args) { 469 if (auto *Arg = Args.getLastArg(OPT_oformat)) { 470 StringRef S = Arg->getValue(); 471 if (S == "binary") 472 return true; 473 error("unknown --oformat value: " + S); 474 } 475 return false; 476 } 477 478 static DiscardPolicy getDiscard(opt::InputArgList &Args) { 479 if (Args.hasArg(OPT_relocatable)) 480 return DiscardPolicy::None; 481 482 auto *Arg = 483 Args.getLastArg(OPT_discard_all, OPT_discard_locals, OPT_discard_none); 484 if (!Arg) 485 return DiscardPolicy::Default; 486 if (Arg->getOption().getID() == OPT_discard_all) 487 return DiscardPolicy::All; 488 if (Arg->getOption().getID() == OPT_discard_locals) 489 return DiscardPolicy::Locals; 490 return DiscardPolicy::None; 491 } 492 493 static StringRef getDynamicLinker(opt::InputArgList &Args) { 494 auto *Arg = Args.getLastArg(OPT_dynamic_linker, OPT_no_dynamic_linker); 495 if (!Arg || Arg->getOption().getID() == OPT_no_dynamic_linker) 496 return ""; 497 return Arg->getValue(); 498 } 499 500 static StripPolicy getStrip(opt::InputArgList &Args) { 501 if (Args.hasArg(OPT_relocatable)) 502 return StripPolicy::None; 503 504 auto *Arg = Args.getLastArg(OPT_strip_all, OPT_strip_debug); 505 if (!Arg) 506 return StripPolicy::None; 507 if (Arg->getOption().getID() == OPT_strip_all) 508 return StripPolicy::All; 509 return StripPolicy::Debug; 510 } 511 512 static uint64_t parseSectionAddress(StringRef S, const opt::Arg &Arg) { 513 uint64_t VA = 0; 514 if (S.startswith("0x")) 515 S = S.drop_front(2); 516 if (!to_integer(S, VA, 16)) 517 error("invalid argument: " + toString(Arg)); 518 return VA; 519 } 520 521 static StringMap<uint64_t> getSectionStartMap(opt::InputArgList &Args) { 522 StringMap<uint64_t> Ret; 523 for (auto *Arg : Args.filtered(OPT_section_start)) { 524 StringRef Name; 525 StringRef Addr; 526 std::tie(Name, Addr) = StringRef(Arg->getValue()).split('='); 527 Ret[Name] = parseSectionAddress(Addr, *Arg); 528 } 529 530 if (auto *Arg = Args.getLastArg(OPT_Ttext)) 531 Ret[".text"] = parseSectionAddress(Arg->getValue(), *Arg); 532 if (auto *Arg = Args.getLastArg(OPT_Tdata)) 533 Ret[".data"] = parseSectionAddress(Arg->getValue(), *Arg); 534 if (auto *Arg = Args.getLastArg(OPT_Tbss)) 535 Ret[".bss"] = parseSectionAddress(Arg->getValue(), *Arg); 536 return Ret; 537 } 538 539 static SortSectionPolicy getSortSection(opt::InputArgList &Args) { 540 StringRef S = Args.getLastArgValue(OPT_sort_section); 541 if (S == "alignment") 542 return SortSectionPolicy::Alignment; 543 if (S == "name") 544 return SortSectionPolicy::Name; 545 if (!S.empty()) 546 error("unknown --sort-section rule: " + S); 547 return SortSectionPolicy::Default; 548 } 549 550 static OrphanHandlingPolicy getOrphanHandling(opt::InputArgList &Args) { 551 StringRef S = Args.getLastArgValue(OPT_orphan_handling, "place"); 552 if (S == "warn") 553 return OrphanHandlingPolicy::Warn; 554 if (S == "error") 555 return OrphanHandlingPolicy::Error; 556 if (S != "place") 557 error("unknown --orphan-handling mode: " + S); 558 return OrphanHandlingPolicy::Place; 559 } 560 561 // Parse --build-id or --build-id=<style>. We handle "tree" as a 562 // synonym for "sha1" because all our hash functions including 563 // -build-id=sha1 are actually tree hashes for performance reasons. 564 static std::pair<BuildIdKind, std::vector<uint8_t>> 565 getBuildId(opt::InputArgList &Args) { 566 auto *Arg = Args.getLastArg(OPT_build_id, OPT_build_id_eq); 567 if (!Arg) 568 return {BuildIdKind::None, {}}; 569 570 if (Arg->getOption().getID() == OPT_build_id) 571 return {BuildIdKind::Fast, {}}; 572 573 StringRef S = Arg->getValue(); 574 if (S == "fast") 575 return {BuildIdKind::Fast, {}}; 576 if (S == "md5") 577 return {BuildIdKind::Md5, {}}; 578 if (S == "sha1" || S == "tree") 579 return {BuildIdKind::Sha1, {}}; 580 if (S == "uuid") 581 return {BuildIdKind::Uuid, {}}; 582 if (S.startswith("0x")) 583 return {BuildIdKind::Hexstring, parseHex(S.substr(2))}; 584 585 if (S != "none") 586 error("unknown --build-id style: " + S); 587 return {BuildIdKind::None, {}}; 588 } 589 590 static void readCallGraph(MemoryBufferRef MB) { 591 // Build a map from symbol name to section 592 DenseMap<StringRef, const Symbol *> SymbolNameToSymbol; 593 for (InputFile *File : ObjectFiles) 594 for (Symbol *Sym : File->getSymbols()) 595 SymbolNameToSymbol[Sym->getName()] = Sym; 596 597 for (StringRef L : args::getLines(MB)) { 598 SmallVector<StringRef, 3> Fields; 599 L.split(Fields, ' '); 600 if (Fields.size() != 3) 601 fatal("parse error"); 602 uint64_t Count; 603 if (!to_integer(Fields[2], Count)) 604 fatal("parse error"); 605 const Symbol *FromSym = SymbolNameToSymbol.lookup(Fields[0]); 606 const Symbol *ToSym = SymbolNameToSymbol.lookup(Fields[1]); 607 if (Config->WarnSymbolOrdering) { 608 if (!FromSym) 609 warn("call graph file: no such symbol: " + Fields[0]); 610 if (!ToSym) 611 warn("call graph file: no such symbol: " + Fields[1]); 612 } 613 if (!FromSym || !ToSym || Count == 0) 614 continue; 615 warnUnorderableSymbol(FromSym); 616 warnUnorderableSymbol(ToSym); 617 const Defined *FromSymD = dyn_cast<Defined>(FromSym); 618 const Defined *ToSymD = dyn_cast<Defined>(ToSym); 619 if (!FromSymD || !ToSymD) 620 continue; 621 const auto *FromSB = dyn_cast_or_null<InputSectionBase>(FromSymD->Section); 622 const auto *ToSB = dyn_cast_or_null<InputSectionBase>(ToSymD->Section); 623 if (!FromSB || !ToSB) 624 continue; 625 Config->CallGraphProfile[std::make_pair(FromSB, ToSB)] += Count; 626 } 627 } 628 629 static bool getCompressDebugSections(opt::InputArgList &Args) { 630 StringRef S = Args.getLastArgValue(OPT_compress_debug_sections, "none"); 631 if (S == "none") 632 return false; 633 if (S != "zlib") 634 error("unknown --compress-debug-sections value: " + S); 635 if (!zlib::isAvailable()) 636 error("--compress-debug-sections: zlib is not available"); 637 return true; 638 } 639 640 static std::pair<StringRef, StringRef> getOldNewOptions(opt::InputArgList &Args, 641 unsigned Id) { 642 auto *Arg = Args.getLastArg(Id); 643 if (!Arg) 644 return {"", ""}; 645 646 StringRef S = Arg->getValue(); 647 std::pair<StringRef, StringRef> Ret = S.split(';'); 648 if (Ret.second.empty()) 649 error(Arg->getSpelling() + " expects 'old;new' format, but got " + S); 650 return Ret; 651 } 652 653 // Parse the symbol ordering file and warn for any duplicate entries. 654 static std::vector<StringRef> getSymbolOrderingFile(MemoryBufferRef MB) { 655 SetVector<StringRef> Names; 656 for (StringRef S : args::getLines(MB)) 657 if (!Names.insert(S) && Config->WarnSymbolOrdering) 658 warn(MB.getBufferIdentifier() + ": duplicate ordered symbol: " + S); 659 660 return Names.takeVector(); 661 } 662 663 static void parseClangOption(StringRef Opt, const Twine &Msg) { 664 std::string Err; 665 raw_string_ostream OS(Err); 666 667 const char *Argv[] = {Config->ProgName.data(), Opt.data()}; 668 if (cl::ParseCommandLineOptions(2, Argv, "", &OS)) 669 return; 670 OS.flush(); 671 error(Msg + ": " + StringRef(Err).trim()); 672 } 673 674 // Initializes Config members by the command line options. 675 void LinkerDriver::readConfigs(opt::InputArgList &Args) { 676 errorHandler().Verbose = Args.hasArg(OPT_verbose); 677 errorHandler().FatalWarnings = 678 Args.hasFlag(OPT_fatal_warnings, OPT_no_fatal_warnings, false); 679 ThreadsEnabled = Args.hasFlag(OPT_threads, OPT_no_threads, true); 680 681 Config->AllowMultipleDefinition = 682 Args.hasFlag(OPT_allow_multiple_definition, 683 OPT_no_allow_multiple_definition, false) || 684 hasZOption(Args, "muldefs"); 685 Config->AuxiliaryList = args::getStrings(Args, OPT_auxiliary); 686 Config->Bsymbolic = Args.hasArg(OPT_Bsymbolic); 687 Config->BsymbolicFunctions = Args.hasArg(OPT_Bsymbolic_functions); 688 Config->CheckSections = 689 Args.hasFlag(OPT_check_sections, OPT_no_check_sections, true); 690 Config->Chroot = Args.getLastArgValue(OPT_chroot); 691 Config->CompressDebugSections = getCompressDebugSections(Args); 692 Config->Cref = Args.hasFlag(OPT_cref, OPT_no_cref, false); 693 Config->DefineCommon = Args.hasFlag(OPT_define_common, OPT_no_define_common, 694 !Args.hasArg(OPT_relocatable)); 695 Config->Demangle = Args.hasFlag(OPT_demangle, OPT_no_demangle, true); 696 Config->DisableVerify = Args.hasArg(OPT_disable_verify); 697 Config->Discard = getDiscard(Args); 698 Config->DynamicLinker = getDynamicLinker(Args); 699 Config->EhFrameHdr = 700 Args.hasFlag(OPT_eh_frame_hdr, OPT_no_eh_frame_hdr, false); 701 Config->EmitRelocs = Args.hasArg(OPT_emit_relocs); 702 Config->EnableNewDtags = 703 Args.hasFlag(OPT_enable_new_dtags, OPT_disable_new_dtags, true); 704 Config->Entry = Args.getLastArgValue(OPT_entry); 705 Config->ExportDynamic = 706 Args.hasFlag(OPT_export_dynamic, OPT_no_export_dynamic, false); 707 Config->FilterList = args::getStrings(Args, OPT_filter); 708 Config->Fini = Args.getLastArgValue(OPT_fini, "_fini"); 709 Config->FixCortexA53Errata843419 = Args.hasArg(OPT_fix_cortex_a53_843419); 710 Config->GcSections = Args.hasFlag(OPT_gc_sections, OPT_no_gc_sections, false); 711 Config->GnuUnique = Args.hasFlag(OPT_gnu_unique, OPT_no_gnu_unique, true); 712 Config->GdbIndex = Args.hasFlag(OPT_gdb_index, OPT_no_gdb_index, false); 713 Config->ICF = Args.hasFlag(OPT_icf_all, OPT_icf_none, false); 714 Config->IgnoreDataAddressEquality = 715 Args.hasArg(OPT_ignore_data_address_equality); 716 Config->IgnoreFunctionAddressEquality = 717 Args.hasArg(OPT_ignore_function_address_equality); 718 Config->Init = Args.getLastArgValue(OPT_init, "_init"); 719 Config->LTOAAPipeline = Args.getLastArgValue(OPT_lto_aa_pipeline); 720 Config->LTODebugPassManager = Args.hasArg(OPT_lto_debug_pass_manager); 721 Config->LTONewPassManager = Args.hasArg(OPT_lto_new_pass_manager); 722 Config->LTONewPmPasses = Args.getLastArgValue(OPT_lto_newpm_passes); 723 Config->LTOO = args::getInteger(Args, OPT_lto_O, 2); 724 Config->LTOObjPath = Args.getLastArgValue(OPT_plugin_opt_obj_path_eq); 725 Config->LTOPartitions = args::getInteger(Args, OPT_lto_partitions, 1); 726 Config->LTOSampleProfile = Args.getLastArgValue(OPT_lto_sample_profile); 727 Config->MapFile = Args.getLastArgValue(OPT_Map); 728 Config->MergeArmExidx = 729 Args.hasFlag(OPT_merge_exidx_entries, OPT_no_merge_exidx_entries, true); 730 Config->NoinhibitExec = Args.hasArg(OPT_noinhibit_exec); 731 Config->Nostdlib = Args.hasArg(OPT_nostdlib); 732 Config->OFormatBinary = isOutputFormatBinary(Args); 733 Config->Omagic = Args.hasFlag(OPT_omagic, OPT_no_omagic, false); 734 Config->OptRemarksFilename = Args.getLastArgValue(OPT_opt_remarks_filename); 735 Config->OptRemarksWithHotness = Args.hasArg(OPT_opt_remarks_with_hotness); 736 Config->Optimize = args::getInteger(Args, OPT_O, 1); 737 Config->OrphanHandling = getOrphanHandling(Args); 738 Config->OutputFile = Args.getLastArgValue(OPT_o); 739 Config->Pie = Args.hasFlag(OPT_pie, OPT_no_pie, false); 740 Config->PrintIcfSections = 741 Args.hasFlag(OPT_print_icf_sections, OPT_no_print_icf_sections, false); 742 Config->PrintGcSections = 743 Args.hasFlag(OPT_print_gc_sections, OPT_no_print_gc_sections, false); 744 Config->Rpath = getRpath(Args); 745 Config->Relocatable = Args.hasArg(OPT_relocatable); 746 Config->SaveTemps = Args.hasArg(OPT_save_temps); 747 Config->SearchPaths = args::getStrings(Args, OPT_library_path); 748 Config->SectionStartMap = getSectionStartMap(Args); 749 Config->Shared = Args.hasArg(OPT_shared); 750 Config->SingleRoRx = Args.hasArg(OPT_no_rosegment); 751 Config->SoName = Args.getLastArgValue(OPT_soname); 752 Config->SortSection = getSortSection(Args); 753 Config->Strip = getStrip(Args); 754 Config->Sysroot = Args.getLastArgValue(OPT_sysroot); 755 Config->Target1Rel = Args.hasFlag(OPT_target1_rel, OPT_target1_abs, false); 756 Config->Target2 = getTarget2(Args); 757 Config->ThinLTOCacheDir = Args.getLastArgValue(OPT_thinlto_cache_dir); 758 Config->ThinLTOCachePolicy = CHECK( 759 parseCachePruningPolicy(Args.getLastArgValue(OPT_thinlto_cache_policy)), 760 "--thinlto-cache-policy: invalid cache policy"); 761 Config->ThinLTOEmitImportsFiles = 762 Args.hasArg(OPT_plugin_opt_thinlto_emit_imports_files); 763 Config->ThinLTOIndexOnly = Args.hasArg(OPT_plugin_opt_thinlto_index_only) || 764 Args.hasArg(OPT_plugin_opt_thinlto_index_only_eq); 765 Config->ThinLTOIndexOnlyArg = 766 Args.getLastArgValue(OPT_plugin_opt_thinlto_index_only_eq); 767 Config->ThinLTOJobs = args::getInteger(Args, OPT_thinlto_jobs, -1u); 768 Config->ThinLTOObjectSuffixReplace = 769 getOldNewOptions(Args, OPT_plugin_opt_thinlto_object_suffix_replace_eq); 770 Config->ThinLTOPrefixReplace = 771 getOldNewOptions(Args, OPT_plugin_opt_thinlto_prefix_replace_eq); 772 Config->Trace = Args.hasArg(OPT_trace); 773 Config->Undefined = args::getStrings(Args, OPT_undefined); 774 Config->UndefinedVersion = 775 Args.hasFlag(OPT_undefined_version, OPT_no_undefined_version, true); 776 Config->UnresolvedSymbols = getUnresolvedSymbolPolicy(Args); 777 Config->WarnBackrefs = 778 Args.hasFlag(OPT_warn_backrefs, OPT_no_warn_backrefs, false); 779 Config->WarnCommon = Args.hasFlag(OPT_warn_common, OPT_no_warn_common, false); 780 Config->WarnSymbolOrdering = 781 Args.hasFlag(OPT_warn_symbol_ordering, OPT_no_warn_symbol_ordering, true); 782 Config->ZCombreloc = getZFlag(Args, "combreloc", "nocombreloc", true); 783 Config->ZCopyreloc = getZFlag(Args, "copyreloc", "nocopyreloc", true); 784 Config->ZExecstack = getZFlag(Args, "execstack", "noexecstack", false); 785 Config->ZHazardplt = hasZOption(Args, "hazardplt"); 786 Config->ZKeepTextSectionPrefix = getZFlag( 787 Args, "keep-text-section-prefix", "nokeep-text-section-prefix", false); 788 Config->ZNodelete = hasZOption(Args, "nodelete"); 789 Config->ZNodlopen = hasZOption(Args, "nodlopen"); 790 Config->ZNow = getZFlag(Args, "now", "lazy", false); 791 Config->ZOrigin = hasZOption(Args, "origin"); 792 Config->ZRelro = getZFlag(Args, "relro", "norelro", true); 793 Config->ZRetpolineplt = hasZOption(Args, "retpolineplt"); 794 Config->ZRodynamic = hasZOption(Args, "rodynamic"); 795 Config->ZStackSize = args::getZOptionValue(Args, OPT_z, "stack-size", 0); 796 Config->ZText = getZFlag(Args, "text", "notext", true); 797 Config->ZWxneeded = hasZOption(Args, "wxneeded"); 798 799 // Parse LTO options. 800 if (auto *Arg = Args.getLastArg(OPT_plugin_opt_mcpu_eq)) 801 parseClangOption(Saver.save("-mcpu=" + StringRef(Arg->getValue())), 802 Arg->getSpelling()); 803 804 for (auto *Arg : Args.filtered(OPT_plugin_opt)) 805 parseClangOption(Arg->getValue(), Arg->getSpelling()); 806 807 // Parse -mllvm options. 808 for (auto *Arg : Args.filtered(OPT_mllvm)) 809 parseClangOption(Arg->getValue(), Arg->getSpelling()); 810 811 if (Config->LTOO > 3) 812 error("invalid optimization level for LTO: " + Twine(Config->LTOO)); 813 if (Config->LTOPartitions == 0) 814 error("--lto-partitions: number of threads must be > 0"); 815 if (Config->ThinLTOJobs == 0) 816 error("--thinlto-jobs: number of threads must be > 0"); 817 818 // Parse ELF{32,64}{LE,BE} and CPU type. 819 if (auto *Arg = Args.getLastArg(OPT_m)) { 820 StringRef S = Arg->getValue(); 821 std::tie(Config->EKind, Config->EMachine, Config->OSABI) = 822 parseEmulation(S); 823 Config->MipsN32Abi = (S == "elf32btsmipn32" || S == "elf32ltsmipn32"); 824 Config->Emulation = S; 825 } 826 827 // Parse -hash-style={sysv,gnu,both}. 828 if (auto *Arg = Args.getLastArg(OPT_hash_style)) { 829 StringRef S = Arg->getValue(); 830 if (S == "sysv") 831 Config->SysvHash = true; 832 else if (S == "gnu") 833 Config->GnuHash = true; 834 else if (S == "both") 835 Config->SysvHash = Config->GnuHash = true; 836 else 837 error("unknown -hash-style: " + S); 838 } 839 840 if (Args.hasArg(OPT_print_map)) 841 Config->MapFile = "-"; 842 843 // --omagic is an option to create old-fashioned executables in which 844 // .text segments are writable. Today, the option is still in use to 845 // create special-purpose programs such as boot loaders. It doesn't 846 // make sense to create PT_GNU_RELRO for such executables. 847 if (Config->Omagic) 848 Config->ZRelro = false; 849 850 std::tie(Config->BuildId, Config->BuildIdVector) = getBuildId(Args); 851 852 if (auto *Arg = Args.getLastArg(OPT_pack_dyn_relocs)) { 853 StringRef S = Arg->getValue(); 854 if (S == "android") 855 Config->AndroidPackDynRelocs = true; 856 else if (S != "none") 857 error("unknown -pack-dyn-relocs format: " + S); 858 } 859 860 if (auto *Arg = Args.getLastArg(OPT_symbol_ordering_file)) 861 if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue())) 862 Config->SymbolOrderingFile = getSymbolOrderingFile(*Buffer); 863 864 // If --retain-symbol-file is used, we'll keep only the symbols listed in 865 // the file and discard all others. 866 if (auto *Arg = Args.getLastArg(OPT_retain_symbols_file)) { 867 Config->DefaultSymbolVersion = VER_NDX_LOCAL; 868 if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue())) 869 for (StringRef S : args::getLines(*Buffer)) 870 Config->VersionScriptGlobals.push_back( 871 {S, /*IsExternCpp*/ false, /*HasWildcard*/ false}); 872 } 873 874 bool HasExportDynamic = 875 Args.hasFlag(OPT_export_dynamic, OPT_no_export_dynamic, false); 876 877 // Parses -dynamic-list and -export-dynamic-symbol. They make some 878 // symbols private. Note that -export-dynamic takes precedence over them 879 // as it says all symbols should be exported. 880 if (!HasExportDynamic) { 881 for (auto *Arg : Args.filtered(OPT_dynamic_list)) 882 if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue())) 883 readDynamicList(*Buffer); 884 885 for (auto *Arg : Args.filtered(OPT_export_dynamic_symbol)) 886 Config->DynamicList.push_back( 887 {Arg->getValue(), /*IsExternCpp*/ false, /*HasWildcard*/ false}); 888 } 889 890 // If --export-dynamic-symbol=foo is given and symbol foo is defined in 891 // an object file in an archive file, that object file should be pulled 892 // out and linked. (It doesn't have to behave like that from technical 893 // point of view, but this is needed for compatibility with GNU.) 894 for (auto *Arg : Args.filtered(OPT_export_dynamic_symbol)) 895 Config->Undefined.push_back(Arg->getValue()); 896 897 for (auto *Arg : Args.filtered(OPT_version_script)) 898 if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue())) 899 readVersionScript(*Buffer); 900 } 901 902 // Some Config members do not directly correspond to any particular 903 // command line options, but computed based on other Config values. 904 // This function initialize such members. See Config.h for the details 905 // of these values. 906 static void setConfigs(opt::InputArgList &Args) { 907 ELFKind Kind = Config->EKind; 908 uint16_t Machine = Config->EMachine; 909 910 // There is an ILP32 ABI for x86-64, although it's not very popular. 911 // It is called the x32 ABI. 912 bool IsX32 = (Kind == ELF32LEKind && Machine == EM_X86_64); 913 914 Config->CopyRelocs = (Config->Relocatable || Config->EmitRelocs); 915 Config->Is64 = (Kind == ELF64LEKind || Kind == ELF64BEKind); 916 Config->IsLE = (Kind == ELF32LEKind || Kind == ELF64LEKind); 917 Config->Endianness = 918 Config->IsLE ? support::endianness::little : support::endianness::big; 919 Config->IsMips64EL = (Kind == ELF64LEKind && Machine == EM_MIPS); 920 Config->IsRela = 921 (Config->Is64 || IsX32 || Machine == EM_PPC) && Machine != EM_MIPS; 922 Config->Pic = Config->Pie || Config->Shared; 923 Config->Wordsize = Config->Is64 ? 8 : 4; 924 // If the output uses REL relocations we must store the dynamic relocation 925 // addends to the output sections. We also store addends for RELA relocations 926 // if --apply-dynamic-relocs is used. 927 // We default to not writing the addends when using RELA relocations since 928 // any standard conforming tool can find it in r_addend. 929 Config->WriteAddends = Args.hasFlag(OPT_apply_dynamic_relocs, 930 OPT_no_apply_dynamic_relocs, false) || 931 !Config->IsRela; 932 } 933 934 // Returns a value of "-format" option. 935 static bool getBinaryOption(StringRef S) { 936 if (S == "binary") 937 return true; 938 if (S == "elf" || S == "default") 939 return false; 940 error("unknown -format value: " + S + 941 " (supported formats: elf, default, binary)"); 942 return false; 943 } 944 945 void LinkerDriver::createFiles(opt::InputArgList &Args) { 946 // For --{push,pop}-state. 947 std::vector<std::tuple<bool, bool, bool>> Stack; 948 949 // Iterate over argv to process input files and positional arguments. 950 for (auto *Arg : Args) { 951 switch (Arg->getOption().getUnaliasedOption().getID()) { 952 case OPT_library: 953 addLibrary(Arg->getValue()); 954 break; 955 case OPT_INPUT: 956 addFile(Arg->getValue(), /*WithLOption=*/false); 957 break; 958 case OPT_defsym: { 959 StringRef From; 960 StringRef To; 961 std::tie(From, To) = StringRef(Arg->getValue()).split('='); 962 readDefsym(From, MemoryBufferRef(To, "-defsym")); 963 break; 964 } 965 case OPT_script: 966 if (Optional<std::string> Path = searchLinkerScript(Arg->getValue())) { 967 if (Optional<MemoryBufferRef> MB = readFile(*Path)) 968 readLinkerScript(*MB); 969 break; 970 } 971 error(Twine("cannot find linker script ") + Arg->getValue()); 972 break; 973 case OPT_as_needed: 974 Config->AsNeeded = true; 975 break; 976 case OPT_format: 977 InBinary = getBinaryOption(Arg->getValue()); 978 break; 979 case OPT_no_as_needed: 980 Config->AsNeeded = false; 981 break; 982 case OPT_Bstatic: 983 Config->Static = true; 984 break; 985 case OPT_Bdynamic: 986 Config->Static = false; 987 break; 988 case OPT_whole_archive: 989 InWholeArchive = true; 990 break; 991 case OPT_no_whole_archive: 992 InWholeArchive = false; 993 break; 994 case OPT_just_symbols: 995 if (Optional<MemoryBufferRef> MB = readFile(Arg->getValue())) { 996 Files.push_back(createObjectFile(*MB)); 997 Files.back()->JustSymbols = true; 998 } 999 break; 1000 case OPT_start_group: 1001 if (InputFile::IsInGroup) 1002 error("nested --start-group"); 1003 InputFile::IsInGroup = true; 1004 break; 1005 case OPT_end_group: 1006 if (!InputFile::IsInGroup) 1007 error("stray --end-group"); 1008 InputFile::IsInGroup = false; 1009 ++InputFile::NextGroupId; 1010 break; 1011 case OPT_start_lib: 1012 if (InLib) 1013 error("nested --start-lib"); 1014 if (InputFile::IsInGroup) 1015 error("may not nest --start-lib in --start-group"); 1016 InLib = true; 1017 InputFile::IsInGroup = true; 1018 break; 1019 case OPT_end_lib: 1020 if (!InLib) 1021 error("stray --end-lib"); 1022 InLib = false; 1023 InputFile::IsInGroup = false; 1024 ++InputFile::NextGroupId; 1025 break; 1026 case OPT_push_state: 1027 Stack.emplace_back(Config->AsNeeded, Config->Static, InWholeArchive); 1028 break; 1029 case OPT_pop_state: 1030 if (Stack.empty()) { 1031 error("unbalanced --push-state/--pop-state"); 1032 break; 1033 } 1034 std::tie(Config->AsNeeded, Config->Static, InWholeArchive) = Stack.back(); 1035 Stack.pop_back(); 1036 break; 1037 } 1038 } 1039 1040 if (Files.empty() && errorCount() == 0) 1041 error("no input files"); 1042 } 1043 1044 // If -m <machine_type> was not given, infer it from object files. 1045 void LinkerDriver::inferMachineType() { 1046 if (Config->EKind != ELFNoneKind) 1047 return; 1048 1049 for (InputFile *F : Files) { 1050 if (F->EKind == ELFNoneKind) 1051 continue; 1052 Config->EKind = F->EKind; 1053 Config->EMachine = F->EMachine; 1054 Config->OSABI = F->OSABI; 1055 Config->MipsN32Abi = Config->EMachine == EM_MIPS && isMipsN32Abi(F); 1056 return; 1057 } 1058 error("target emulation unknown: -m or at least one .o file required"); 1059 } 1060 1061 // Parse -z max-page-size=<value>. The default value is defined by 1062 // each target. 1063 static uint64_t getMaxPageSize(opt::InputArgList &Args) { 1064 uint64_t Val = args::getZOptionValue(Args, OPT_z, "max-page-size", 1065 Target->DefaultMaxPageSize); 1066 if (!isPowerOf2_64(Val)) 1067 error("max-page-size: value isn't a power of 2"); 1068 return Val; 1069 } 1070 1071 // Parses -image-base option. 1072 static Optional<uint64_t> getImageBase(opt::InputArgList &Args) { 1073 // Because we are using "Config->MaxPageSize" here, this function has to be 1074 // called after the variable is initialized. 1075 auto *Arg = Args.getLastArg(OPT_image_base); 1076 if (!Arg) 1077 return None; 1078 1079 StringRef S = Arg->getValue(); 1080 uint64_t V; 1081 if (!to_integer(S, V)) { 1082 error("-image-base: number expected, but got " + S); 1083 return 0; 1084 } 1085 if ((V % Config->MaxPageSize) != 0) 1086 warn("-image-base: address isn't multiple of page size: " + S); 1087 return V; 1088 } 1089 1090 // Parses `--exclude-libs=lib,lib,...`. 1091 // The library names may be delimited by commas or colons. 1092 static DenseSet<StringRef> getExcludeLibs(opt::InputArgList &Args) { 1093 DenseSet<StringRef> Ret; 1094 for (auto *Arg : Args.filtered(OPT_exclude_libs)) { 1095 StringRef S = Arg->getValue(); 1096 for (;;) { 1097 size_t Pos = S.find_first_of(",:"); 1098 if (Pos == StringRef::npos) 1099 break; 1100 Ret.insert(S.substr(0, Pos)); 1101 S = S.substr(Pos + 1); 1102 } 1103 Ret.insert(S); 1104 } 1105 return Ret; 1106 } 1107 1108 // Handles the -exclude-libs option. If a static library file is specified 1109 // by the -exclude-libs option, all public symbols from the archive become 1110 // private unless otherwise specified by version scripts or something. 1111 // A special library name "ALL" means all archive files. 1112 // 1113 // This is not a popular option, but some programs such as bionic libc use it. 1114 template <class ELFT> 1115 static void excludeLibs(opt::InputArgList &Args) { 1116 DenseSet<StringRef> Libs = getExcludeLibs(Args); 1117 bool All = Libs.count("ALL"); 1118 1119 for (InputFile *File : ObjectFiles) 1120 if (!File->ArchiveName.empty()) 1121 if (All || Libs.count(path::filename(File->ArchiveName))) 1122 for (Symbol *Sym : File->getSymbols()) 1123 if (!Sym->isLocal() && Sym->File == File) 1124 Sym->VersionId = VER_NDX_LOCAL; 1125 } 1126 1127 // Force Sym to be entered in the output. Used for -u or equivalent. 1128 template <class ELFT> static void handleUndefined(StringRef Name) { 1129 Symbol *Sym = Symtab->find(Name); 1130 if (!Sym) 1131 return; 1132 1133 // Since symbol S may not be used inside the program, LTO may 1134 // eliminate it. Mark the symbol as "used" to prevent it. 1135 Sym->IsUsedInRegularObj = true; 1136 1137 if (Sym->isLazy()) 1138 Symtab->fetchLazy<ELFT>(Sym); 1139 } 1140 1141 template <class ELFT> static bool shouldDemote(Symbol &Sym) { 1142 // If all references to a DSO happen to be weak, the DSO is not added to 1143 // DT_NEEDED. If that happens, we need to eliminate shared symbols created 1144 // from the DSO. Otherwise, they become dangling references that point to a 1145 // non-existent DSO. 1146 if (auto *S = dyn_cast<SharedSymbol>(&Sym)) 1147 return !S->getFile<ELFT>().IsNeeded; 1148 1149 // We are done processing archives, so lazy symbols that were used but not 1150 // found can be converted to undefined. We could also just delete the other 1151 // lazy symbols, but that seems to be more work than it is worth. 1152 return Sym.isLazy() && Sym.IsUsedInRegularObj; 1153 } 1154 1155 template <class ELFT> static void demoteSymbols() { 1156 for (Symbol *Sym : Symtab->getSymbols()) { 1157 if (shouldDemote<ELFT>(*Sym)) { 1158 bool Used = Sym->Used; 1159 replaceSymbol<Undefined>(Sym, nullptr, Sym->getName(), Sym->Binding, 1160 Sym->StOther, Sym->Type); 1161 Sym->Used = Used; 1162 } 1163 } 1164 } 1165 1166 // Record sections that define symbols mentioned in --keep-unique <symbol> 1167 // these sections are inelligible for ICF. 1168 static void findKeepUniqueSections(opt::InputArgList &Args) { 1169 for (auto *Arg : Args.filtered(OPT_keep_unique)) { 1170 StringRef Name = Arg->getValue(); 1171 if (auto *Sym = dyn_cast_or_null<Defined>(Symtab->find(Name))) 1172 Sym->Section->KeepUnique = true; 1173 else 1174 warn("could not find symbol " + Name + " to keep unique"); 1175 } 1176 } 1177 1178 // Do actual linking. Note that when this function is called, 1179 // all linker scripts have already been parsed. 1180 template <class ELFT> void LinkerDriver::link(opt::InputArgList &Args) { 1181 Target = getTarget(); 1182 1183 Config->MaxPageSize = getMaxPageSize(Args); 1184 Config->ImageBase = getImageBase(Args); 1185 1186 // If a -hash-style option was not given, set to a default value, 1187 // which varies depending on the target. 1188 if (!Args.hasArg(OPT_hash_style)) { 1189 if (Config->EMachine == EM_MIPS) 1190 Config->SysvHash = true; 1191 else 1192 Config->SysvHash = Config->GnuHash = true; 1193 } 1194 1195 // Default output filename is "a.out" by the Unix tradition. 1196 if (Config->OutputFile.empty()) 1197 Config->OutputFile = "a.out"; 1198 1199 // Fail early if the output file or map file is not writable. If a user has a 1200 // long link, e.g. due to a large LTO link, they do not wish to run it and 1201 // find that it failed because there was a mistake in their command-line. 1202 if (auto E = tryCreateFile(Config->OutputFile)) 1203 error("cannot open output file " + Config->OutputFile + ": " + E.message()); 1204 if (auto E = tryCreateFile(Config->MapFile)) 1205 error("cannot open map file " + Config->MapFile + ": " + E.message()); 1206 if (errorCount()) 1207 return; 1208 1209 // Use default entry point name if no name was given via the command 1210 // line nor linker scripts. For some reason, MIPS entry point name is 1211 // different from others. 1212 Config->WarnMissingEntry = 1213 (!Config->Entry.empty() || (!Config->Shared && !Config->Relocatable)); 1214 if (Config->Entry.empty() && !Config->Relocatable) 1215 Config->Entry = (Config->EMachine == EM_MIPS) ? "__start" : "_start"; 1216 1217 // Handle --trace-symbol. 1218 for (auto *Arg : Args.filtered(OPT_trace_symbol)) 1219 Symtab->trace(Arg->getValue()); 1220 1221 // Add all files to the symbol table. This will add almost all 1222 // symbols that we need to the symbol table. 1223 for (InputFile *F : Files) 1224 Symtab->addFile<ELFT>(F); 1225 1226 // Now that we have every file, we can decide if we will need a 1227 // dynamic symbol table. 1228 // We need one if we were asked to export dynamic symbols or if we are 1229 // producing a shared library. 1230 // We also need one if any shared libraries are used and for pie executables 1231 // (probably because the dynamic linker needs it). 1232 Config->HasDynSymTab = 1233 !SharedFiles.empty() || Config->Pic || Config->ExportDynamic; 1234 1235 // Some symbols (such as __ehdr_start) are defined lazily only when there 1236 // are undefined symbols for them, so we add these to trigger that logic. 1237 for (StringRef Sym : Script->ReferencedSymbols) 1238 Symtab->addUndefined<ELFT>(Sym); 1239 1240 // Handle the `--undefined <sym>` options. 1241 for (StringRef S : Config->Undefined) 1242 handleUndefined<ELFT>(S); 1243 1244 // If an entry symbol is in a static archive, pull out that file now 1245 // to complete the symbol table. After this, no new names except a 1246 // few linker-synthesized ones will be added to the symbol table. 1247 handleUndefined<ELFT>(Config->Entry); 1248 1249 // Return if there were name resolution errors. 1250 if (errorCount()) 1251 return; 1252 1253 // Now when we read all script files, we want to finalize order of linker 1254 // script commands, which can be not yet final because of INSERT commands. 1255 Script->processInsertCommands(); 1256 1257 // We want to declare linker script's symbols early, 1258 // so that we can version them. 1259 // They also might be exported if referenced by DSOs. 1260 Script->declareSymbols(); 1261 1262 // Handle the -exclude-libs option. 1263 if (Args.hasArg(OPT_exclude_libs)) 1264 excludeLibs<ELFT>(Args); 1265 1266 // Create ElfHeader early. We need a dummy section in 1267 // addReservedSymbols to mark the created symbols as not absolute. 1268 Out::ElfHeader = make<OutputSection>("", 0, SHF_ALLOC); 1269 Out::ElfHeader->Size = sizeof(typename ELFT::Ehdr); 1270 1271 // We need to create some reserved symbols such as _end. Create them. 1272 if (!Config->Relocatable) 1273 addReservedSymbols(); 1274 1275 // Apply version scripts. 1276 // 1277 // For a relocatable output, version scripts don't make sense, and 1278 // parsing a symbol version string (e.g. dropping "@ver1" from a symbol 1279 // name "foo@ver1") rather do harm, so we don't call this if -r is given. 1280 if (!Config->Relocatable) 1281 Symtab->scanVersionScript(); 1282 1283 // Create wrapped symbols for -wrap option. 1284 for (auto *Arg : Args.filtered(OPT_wrap)) 1285 Symtab->addSymbolWrap<ELFT>(Arg->getValue()); 1286 1287 // Do link-time optimization if given files are LLVM bitcode files. 1288 // This compiles bitcode files into real object files. 1289 Symtab->addCombinedLTOObject<ELFT>(); 1290 if (errorCount()) 1291 return; 1292 1293 // If -thinlto-index-only is given, we should create only "index 1294 // files" and not object files. Index file creation is already done 1295 // in addCombinedLTOObject, so we are done if that's the case. 1296 if (Config->ThinLTOIndexOnly) 1297 return; 1298 1299 // Apply symbol renames for -wrap. 1300 Symtab->applySymbolWrap(); 1301 1302 // Now that we have a complete list of input files. 1303 // Beyond this point, no new files are added. 1304 // Aggregate all input sections into one place. 1305 for (InputFile *F : ObjectFiles) 1306 for (InputSectionBase *S : F->getSections()) 1307 if (S && S != &InputSection::Discarded) 1308 InputSections.push_back(S); 1309 for (BinaryFile *F : BinaryFiles) 1310 for (InputSectionBase *S : F->getSections()) 1311 InputSections.push_back(cast<InputSection>(S)); 1312 1313 // We do not want to emit debug sections if --strip-all 1314 // or -strip-debug are given. 1315 if (Config->Strip != StripPolicy::None) 1316 llvm::erase_if(InputSections, [](InputSectionBase *S) { 1317 return S->Name.startswith(".debug") || S->Name.startswith(".zdebug"); 1318 }); 1319 1320 Config->EFlags = Target->calcEFlags(); 1321 1322 if (Config->EMachine == EM_ARM) { 1323 // FIXME: These warnings can be removed when lld only uses these features 1324 // when the input objects have been compiled with an architecture that 1325 // supports them. 1326 if (Config->ARMHasBlx == false) 1327 warn("lld uses blx instruction, no object with architecture supporting " 1328 "feature detected."); 1329 if (Config->ARMJ1J2BranchEncoding == false) 1330 warn("lld uses extended branch encoding, no object with architecture " 1331 "supporting feature detected."); 1332 if (Config->ARMHasMovtMovw == false) 1333 warn("lld may use movt/movw, no object with architecture supporting " 1334 "feature detected."); 1335 } 1336 1337 // This adds a .comment section containing a version string. We have to add it 1338 // before decompressAndMergeSections because the .comment section is a 1339 // mergeable section. 1340 if (!Config->Relocatable) 1341 InputSections.push_back(createCommentSection()); 1342 1343 // Do size optimizations: garbage collection, merging of SHF_MERGE sections 1344 // and identical code folding. 1345 decompressSections(); 1346 splitSections<ELFT>(); 1347 markLive<ELFT>(); 1348 demoteSymbols<ELFT>(); 1349 mergeSections(); 1350 if (Config->ICF) { 1351 findKeepUniqueSections(Args); 1352 doIcf<ELFT>(); 1353 } 1354 1355 // Read the callgraph now that we know what was gced or icfed 1356 if (auto *Arg = Args.getLastArg(OPT_call_graph_ordering_file)) 1357 if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue())) 1358 readCallGraph(*Buffer); 1359 1360 // Write the result to the file. 1361 writeResult<ELFT>(); 1362 } 1363