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