xref: /llvm-project-15.0.7/lld/ELF/Driver.cpp (revision a9c51fe0)
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->MipsGotSize = args::getInteger(Args, OPT_mips_got_size, 0xfff0);
729   Config->MergeArmExidx =
730       Args.hasFlag(OPT_merge_exidx_entries, OPT_no_merge_exidx_entries, true);
731   Config->NoinhibitExec = Args.hasArg(OPT_noinhibit_exec);
732   Config->Nostdlib = Args.hasArg(OPT_nostdlib);
733   Config->OFormatBinary = isOutputFormatBinary(Args);
734   Config->Omagic = Args.hasFlag(OPT_omagic, OPT_no_omagic, false);
735   Config->OptRemarksFilename = Args.getLastArgValue(OPT_opt_remarks_filename);
736   Config->OptRemarksWithHotness = Args.hasArg(OPT_opt_remarks_with_hotness);
737   Config->Optimize = args::getInteger(Args, OPT_O, 1);
738   Config->OrphanHandling = getOrphanHandling(Args);
739   Config->OutputFile = Args.getLastArgValue(OPT_o);
740   Config->Pie = Args.hasFlag(OPT_pie, OPT_no_pie, false);
741   Config->PrintIcfSections =
742       Args.hasFlag(OPT_print_icf_sections, OPT_no_print_icf_sections, false);
743   Config->PrintGcSections =
744       Args.hasFlag(OPT_print_gc_sections, OPT_no_print_gc_sections, false);
745   Config->Rpath = getRpath(Args);
746   Config->Relocatable = Args.hasArg(OPT_relocatable);
747   Config->SaveTemps = Args.hasArg(OPT_save_temps);
748   Config->SearchPaths = args::getStrings(Args, OPT_library_path);
749   Config->SectionStartMap = getSectionStartMap(Args);
750   Config->Shared = Args.hasArg(OPT_shared);
751   Config->SingleRoRx = Args.hasArg(OPT_no_rosegment);
752   Config->SoName = Args.getLastArgValue(OPT_soname);
753   Config->SortSection = getSortSection(Args);
754   Config->Strip = getStrip(Args);
755   Config->Sysroot = Args.getLastArgValue(OPT_sysroot);
756   Config->Target1Rel = Args.hasFlag(OPT_target1_rel, OPT_target1_abs, false);
757   Config->Target2 = getTarget2(Args);
758   Config->ThinLTOCacheDir = Args.getLastArgValue(OPT_thinlto_cache_dir);
759   Config->ThinLTOCachePolicy = CHECK(
760       parseCachePruningPolicy(Args.getLastArgValue(OPT_thinlto_cache_policy)),
761       "--thinlto-cache-policy: invalid cache policy");
762   Config->ThinLTOEmitImportsFiles =
763       Args.hasArg(OPT_plugin_opt_thinlto_emit_imports_files);
764   Config->ThinLTOIndexOnly = Args.hasArg(OPT_plugin_opt_thinlto_index_only) ||
765                              Args.hasArg(OPT_plugin_opt_thinlto_index_only_eq);
766   Config->ThinLTOIndexOnlyArg =
767       Args.getLastArgValue(OPT_plugin_opt_thinlto_index_only_eq);
768   Config->ThinLTOJobs = args::getInteger(Args, OPT_thinlto_jobs, -1u);
769   Config->ThinLTOObjectSuffixReplace =
770       getOldNewOptions(Args, OPT_plugin_opt_thinlto_object_suffix_replace_eq);
771   Config->ThinLTOPrefixReplace =
772       getOldNewOptions(Args, OPT_plugin_opt_thinlto_prefix_replace_eq);
773   Config->Trace = Args.hasArg(OPT_trace);
774   Config->Undefined = args::getStrings(Args, OPT_undefined);
775   Config->UndefinedVersion =
776       Args.hasFlag(OPT_undefined_version, OPT_no_undefined_version, true);
777   Config->UnresolvedSymbols = getUnresolvedSymbolPolicy(Args);
778   Config->WarnBackrefs =
779       Args.hasFlag(OPT_warn_backrefs, OPT_no_warn_backrefs, false);
780   Config->WarnCommon = Args.hasFlag(OPT_warn_common, OPT_no_warn_common, false);
781   Config->WarnSymbolOrdering =
782       Args.hasFlag(OPT_warn_symbol_ordering, OPT_no_warn_symbol_ordering, true);
783   Config->ZCombreloc = getZFlag(Args, "combreloc", "nocombreloc", true);
784   Config->ZCopyreloc = getZFlag(Args, "copyreloc", "nocopyreloc", true);
785   Config->ZExecstack = getZFlag(Args, "execstack", "noexecstack", false);
786   Config->ZHazardplt = hasZOption(Args, "hazardplt");
787   Config->ZInitfirst = hasZOption(Args, "initfirst");
788   Config->ZKeepTextSectionPrefix = getZFlag(
789       Args, "keep-text-section-prefix", "nokeep-text-section-prefix", false);
790   Config->ZNodelete = hasZOption(Args, "nodelete");
791   Config->ZNodlopen = hasZOption(Args, "nodlopen");
792   Config->ZNow = getZFlag(Args, "now", "lazy", false);
793   Config->ZOrigin = hasZOption(Args, "origin");
794   Config->ZRelro = getZFlag(Args, "relro", "norelro", true);
795   Config->ZRetpolineplt = hasZOption(Args, "retpolineplt");
796   Config->ZRodynamic = hasZOption(Args, "rodynamic");
797   Config->ZStackSize = args::getZOptionValue(Args, OPT_z, "stack-size", 0);
798   Config->ZText = getZFlag(Args, "text", "notext", true);
799   Config->ZWxneeded = hasZOption(Args, "wxneeded");
800 
801   // Parse LTO options.
802   if (auto *Arg = Args.getLastArg(OPT_plugin_opt_mcpu_eq))
803     parseClangOption(Saver.save("-mcpu=" + StringRef(Arg->getValue())),
804                      Arg->getSpelling());
805 
806   for (auto *Arg : Args.filtered(OPT_plugin_opt))
807     parseClangOption(Arg->getValue(), Arg->getSpelling());
808 
809   // Parse -mllvm options.
810   for (auto *Arg : Args.filtered(OPT_mllvm))
811     parseClangOption(Arg->getValue(), Arg->getSpelling());
812 
813   if (Config->LTOO > 3)
814     error("invalid optimization level for LTO: " + Twine(Config->LTOO));
815   if (Config->LTOPartitions == 0)
816     error("--lto-partitions: number of threads must be > 0");
817   if (Config->ThinLTOJobs == 0)
818     error("--thinlto-jobs: number of threads must be > 0");
819 
820   // Parse ELF{32,64}{LE,BE} and CPU type.
821   if (auto *Arg = Args.getLastArg(OPT_m)) {
822     StringRef S = Arg->getValue();
823     std::tie(Config->EKind, Config->EMachine, Config->OSABI) =
824         parseEmulation(S);
825     Config->MipsN32Abi = (S == "elf32btsmipn32" || S == "elf32ltsmipn32");
826     Config->Emulation = S;
827   }
828 
829   // Parse -hash-style={sysv,gnu,both}.
830   if (auto *Arg = Args.getLastArg(OPT_hash_style)) {
831     StringRef S = Arg->getValue();
832     if (S == "sysv")
833       Config->SysvHash = true;
834     else if (S == "gnu")
835       Config->GnuHash = true;
836     else if (S == "both")
837       Config->SysvHash = Config->GnuHash = true;
838     else
839       error("unknown -hash-style: " + S);
840   }
841 
842   if (Args.hasArg(OPT_print_map))
843     Config->MapFile = "-";
844 
845   // --omagic is an option to create old-fashioned executables in which
846   // .text segments are writable. Today, the option is still in use to
847   // create special-purpose programs such as boot loaders. It doesn't
848   // make sense to create PT_GNU_RELRO for such executables.
849   if (Config->Omagic)
850     Config->ZRelro = false;
851 
852   std::tie(Config->BuildId, Config->BuildIdVector) = getBuildId(Args);
853 
854   if (auto *Arg = Args.getLastArg(OPT_pack_dyn_relocs)) {
855     StringRef S = Arg->getValue();
856     if (S == "android")
857       Config->AndroidPackDynRelocs = true;
858     else if (S != "none")
859       error("unknown -pack-dyn-relocs format: " + S);
860   }
861 
862   if (auto *Arg = Args.getLastArg(OPT_symbol_ordering_file))
863     if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
864       Config->SymbolOrderingFile = getSymbolOrderingFile(*Buffer);
865 
866   // If --retain-symbol-file is used, we'll keep only the symbols listed in
867   // the file and discard all others.
868   if (auto *Arg = Args.getLastArg(OPT_retain_symbols_file)) {
869     Config->DefaultSymbolVersion = VER_NDX_LOCAL;
870     if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
871       for (StringRef S : args::getLines(*Buffer))
872         Config->VersionScriptGlobals.push_back(
873             {S, /*IsExternCpp*/ false, /*HasWildcard*/ false});
874   }
875 
876   bool HasExportDynamic =
877       Args.hasFlag(OPT_export_dynamic, OPT_no_export_dynamic, false);
878 
879   // Parses -dynamic-list and -export-dynamic-symbol. They make some
880   // symbols private. Note that -export-dynamic takes precedence over them
881   // as it says all symbols should be exported.
882   if (!HasExportDynamic) {
883     for (auto *Arg : Args.filtered(OPT_dynamic_list))
884       if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
885         readDynamicList(*Buffer);
886 
887     for (auto *Arg : Args.filtered(OPT_export_dynamic_symbol))
888       Config->DynamicList.push_back(
889           {Arg->getValue(), /*IsExternCpp*/ false, /*HasWildcard*/ false});
890   }
891 
892   // If --export-dynamic-symbol=foo is given and symbol foo is defined in
893   // an object file in an archive file, that object file should be pulled
894   // out and linked. (It doesn't have to behave like that from technical
895   // point of view, but this is needed for compatibility with GNU.)
896   for (auto *Arg : Args.filtered(OPT_export_dynamic_symbol))
897     Config->Undefined.push_back(Arg->getValue());
898 
899   for (auto *Arg : Args.filtered(OPT_version_script))
900     if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
901       readVersionScript(*Buffer);
902 }
903 
904 // Some Config members do not directly correspond to any particular
905 // command line options, but computed based on other Config values.
906 // This function initialize such members. See Config.h for the details
907 // of these values.
908 static void setConfigs(opt::InputArgList &Args) {
909   ELFKind Kind = Config->EKind;
910   uint16_t Machine = Config->EMachine;
911 
912   Config->CopyRelocs = (Config->Relocatable || Config->EmitRelocs);
913   Config->Is64 = (Kind == ELF64LEKind || Kind == ELF64BEKind);
914   Config->IsLE = (Kind == ELF32LEKind || Kind == ELF64LEKind);
915   Config->Endianness =
916       Config->IsLE ? support::endianness::little : support::endianness::big;
917   Config->IsMips64EL = (Kind == ELF64LEKind && Machine == EM_MIPS);
918   Config->Pic = Config->Pie || Config->Shared;
919   Config->Wordsize = Config->Is64 ? 8 : 4;
920 
921   // There is an ILP32 ABI for x86-64, although it's not very popular.
922   // It is called the x32 ABI.
923   bool IsX32 = (Kind == ELF32LEKind && Machine == EM_X86_64);
924 
925   // ELF defines two different ways to store relocation addends as shown below:
926   //
927   //  Rel:  Addends are stored to the location where relocations are applied.
928   //  Rela: Addends are stored as part of relocation entry.
929   //
930   // In other words, Rela makes it easy to read addends at the price of extra
931   // 4 or 8 byte for each relocation entry. We don't know why ELF defined two
932   // different mechanisms in the first place, but this is how the spec is
933   // defined.
934   //
935   // You cannot choose which one, Rel or Rela, you want to use. Instead each
936   // ABI defines which one you need to use. The following expression expresses
937   // that.
938   Config->IsRela =
939       (Config->Is64 || IsX32 || Machine == EM_PPC) && Machine != EM_MIPS;
940 
941   // If the output uses REL relocations we must store the dynamic relocation
942   // addends to the output sections. We also store addends for RELA relocations
943   // if --apply-dynamic-relocs is used.
944   // We default to not writing the addends when using RELA relocations since
945   // any standard conforming tool can find it in r_addend.
946   Config->WriteAddends = Args.hasFlag(OPT_apply_dynamic_relocs,
947                                       OPT_no_apply_dynamic_relocs, false) ||
948                          !Config->IsRela;
949 }
950 
951 // Returns a value of "-format" option.
952 static bool getBinaryOption(StringRef S) {
953   if (S == "binary")
954     return true;
955   if (S == "elf" || S == "default")
956     return false;
957   error("unknown -format value: " + S +
958         " (supported formats: elf, default, binary)");
959   return false;
960 }
961 
962 void LinkerDriver::createFiles(opt::InputArgList &Args) {
963   // For --{push,pop}-state.
964   std::vector<std::tuple<bool, bool, bool>> Stack;
965 
966   // Iterate over argv to process input files and positional arguments.
967   for (auto *Arg : Args) {
968     switch (Arg->getOption().getUnaliasedOption().getID()) {
969     case OPT_library:
970       addLibrary(Arg->getValue());
971       break;
972     case OPT_INPUT:
973       addFile(Arg->getValue(), /*WithLOption=*/false);
974       break;
975     case OPT_defsym: {
976       StringRef From;
977       StringRef To;
978       std::tie(From, To) = StringRef(Arg->getValue()).split('=');
979       readDefsym(From, MemoryBufferRef(To, "-defsym"));
980       break;
981     }
982     case OPT_script:
983       if (Optional<std::string> Path = searchLinkerScript(Arg->getValue())) {
984         if (Optional<MemoryBufferRef> MB = readFile(*Path))
985           readLinkerScript(*MB);
986         break;
987       }
988       error(Twine("cannot find linker script ") + Arg->getValue());
989       break;
990     case OPT_as_needed:
991       Config->AsNeeded = true;
992       break;
993     case OPT_format:
994       InBinary = getBinaryOption(Arg->getValue());
995       break;
996     case OPT_no_as_needed:
997       Config->AsNeeded = false;
998       break;
999     case OPT_Bstatic:
1000       Config->Static = true;
1001       break;
1002     case OPT_Bdynamic:
1003       Config->Static = false;
1004       break;
1005     case OPT_whole_archive:
1006       InWholeArchive = true;
1007       break;
1008     case OPT_no_whole_archive:
1009       InWholeArchive = false;
1010       break;
1011     case OPT_just_symbols:
1012       if (Optional<MemoryBufferRef> MB = readFile(Arg->getValue())) {
1013         Files.push_back(createObjectFile(*MB));
1014         Files.back()->JustSymbols = true;
1015       }
1016       break;
1017     case OPT_start_group:
1018       if (InputFile::IsInGroup)
1019         error("nested --start-group");
1020       InputFile::IsInGroup = true;
1021       break;
1022     case OPT_end_group:
1023       if (!InputFile::IsInGroup)
1024         error("stray --end-group");
1025       InputFile::IsInGroup = false;
1026       ++InputFile::NextGroupId;
1027       break;
1028     case OPT_start_lib:
1029       if (InLib)
1030         error("nested --start-lib");
1031       if (InputFile::IsInGroup)
1032         error("may not nest --start-lib in --start-group");
1033       InLib = true;
1034       InputFile::IsInGroup = true;
1035       break;
1036     case OPT_end_lib:
1037       if (!InLib)
1038         error("stray --end-lib");
1039       InLib = false;
1040       InputFile::IsInGroup = false;
1041       ++InputFile::NextGroupId;
1042       break;
1043     case OPT_push_state:
1044       Stack.emplace_back(Config->AsNeeded, Config->Static, InWholeArchive);
1045       break;
1046     case OPT_pop_state:
1047       if (Stack.empty()) {
1048         error("unbalanced --push-state/--pop-state");
1049         break;
1050       }
1051       std::tie(Config->AsNeeded, Config->Static, InWholeArchive) = Stack.back();
1052       Stack.pop_back();
1053       break;
1054     }
1055   }
1056 
1057   if (Files.empty() && errorCount() == 0)
1058     error("no input files");
1059 }
1060 
1061 // If -m <machine_type> was not given, infer it from object files.
1062 void LinkerDriver::inferMachineType() {
1063   if (Config->EKind != ELFNoneKind)
1064     return;
1065 
1066   for (InputFile *F : Files) {
1067     if (F->EKind == ELFNoneKind)
1068       continue;
1069     Config->EKind = F->EKind;
1070     Config->EMachine = F->EMachine;
1071     Config->OSABI = F->OSABI;
1072     Config->MipsN32Abi = Config->EMachine == EM_MIPS && isMipsN32Abi(F);
1073     return;
1074   }
1075   error("target emulation unknown: -m or at least one .o file required");
1076 }
1077 
1078 // Parse -z max-page-size=<value>. The default value is defined by
1079 // each target.
1080 static uint64_t getMaxPageSize(opt::InputArgList &Args) {
1081   uint64_t Val = args::getZOptionValue(Args, OPT_z, "max-page-size",
1082                                        Target->DefaultMaxPageSize);
1083   if (!isPowerOf2_64(Val))
1084     error("max-page-size: value isn't a power of 2");
1085   return Val;
1086 }
1087 
1088 // Parses -image-base option.
1089 static Optional<uint64_t> getImageBase(opt::InputArgList &Args) {
1090   // Because we are using "Config->MaxPageSize" here, this function has to be
1091   // called after the variable is initialized.
1092   auto *Arg = Args.getLastArg(OPT_image_base);
1093   if (!Arg)
1094     return None;
1095 
1096   StringRef S = Arg->getValue();
1097   uint64_t V;
1098   if (!to_integer(S, V)) {
1099     error("-image-base: number expected, but got " + S);
1100     return 0;
1101   }
1102   if ((V % Config->MaxPageSize) != 0)
1103     warn("-image-base: address isn't multiple of page size: " + S);
1104   return V;
1105 }
1106 
1107 // Parses `--exclude-libs=lib,lib,...`.
1108 // The library names may be delimited by commas or colons.
1109 static DenseSet<StringRef> getExcludeLibs(opt::InputArgList &Args) {
1110   DenseSet<StringRef> Ret;
1111   for (auto *Arg : Args.filtered(OPT_exclude_libs)) {
1112     StringRef S = Arg->getValue();
1113     for (;;) {
1114       size_t Pos = S.find_first_of(",:");
1115       if (Pos == StringRef::npos)
1116         break;
1117       Ret.insert(S.substr(0, Pos));
1118       S = S.substr(Pos + 1);
1119     }
1120     Ret.insert(S);
1121   }
1122   return Ret;
1123 }
1124 
1125 // Handles the -exclude-libs option. If a static library file is specified
1126 // by the -exclude-libs option, all public symbols from the archive become
1127 // private unless otherwise specified by version scripts or something.
1128 // A special library name "ALL" means all archive files.
1129 //
1130 // This is not a popular option, but some programs such as bionic libc use it.
1131 template <class ELFT>
1132 static void excludeLibs(opt::InputArgList &Args) {
1133   DenseSet<StringRef> Libs = getExcludeLibs(Args);
1134   bool All = Libs.count("ALL");
1135 
1136   for (InputFile *File : ObjectFiles)
1137     if (!File->ArchiveName.empty())
1138       if (All || Libs.count(path::filename(File->ArchiveName)))
1139         for (Symbol *Sym : File->getSymbols())
1140           if (!Sym->isLocal() && Sym->File == File)
1141             Sym->VersionId = VER_NDX_LOCAL;
1142 }
1143 
1144 // Force Sym to be entered in the output. Used for -u or equivalent.
1145 template <class ELFT> static void handleUndefined(StringRef Name) {
1146   Symbol *Sym = Symtab->find(Name);
1147   if (!Sym)
1148     return;
1149 
1150   // Since symbol S may not be used inside the program, LTO may
1151   // eliminate it. Mark the symbol as "used" to prevent it.
1152   Sym->IsUsedInRegularObj = true;
1153 
1154   if (Sym->isLazy())
1155     Symtab->fetchLazy<ELFT>(Sym);
1156 }
1157 
1158 template <class ELFT> static bool shouldDemote(Symbol &Sym) {
1159   // If all references to a DSO happen to be weak, the DSO is not added to
1160   // DT_NEEDED. If that happens, we need to eliminate shared symbols created
1161   // from the DSO. Otherwise, they become dangling references that point to a
1162   // non-existent DSO.
1163   if (auto *S = dyn_cast<SharedSymbol>(&Sym))
1164     return !S->getFile<ELFT>().IsNeeded;
1165 
1166   // We are done processing archives, so lazy symbols that were used but not
1167   // found can be converted to undefined. We could also just delete the other
1168   // lazy symbols, but that seems to be more work than it is worth.
1169   return Sym.isLazy() && Sym.IsUsedInRegularObj;
1170 }
1171 
1172 // Some files, such as .so or files between -{start,end}-lib may be removed
1173 // after their symbols are added to the symbol table. If that happens, we
1174 // need to remove symbols that refer files that no longer exist, so that
1175 // they won't appear in the symbol table of the output file.
1176 //
1177 // We remove symbols by demoting them to undefined symbol.
1178 template <class ELFT> static void demoteSymbols() {
1179   for (Symbol *Sym : Symtab->getSymbols()) {
1180     if (shouldDemote<ELFT>(*Sym)) {
1181       bool Used = Sym->Used;
1182       replaceSymbol<Undefined>(Sym, nullptr, Sym->getName(), Sym->Binding,
1183                                Sym->StOther, Sym->Type);
1184       Sym->Used = Used;
1185     }
1186   }
1187 }
1188 
1189 // Record sections that define symbols mentioned in --keep-unique <symbol>
1190 // these sections are inelligible for ICF.
1191 static void findKeepUniqueSections(opt::InputArgList &Args) {
1192   for (auto *Arg : Args.filtered(OPT_keep_unique)) {
1193     StringRef Name = Arg->getValue();
1194     if (auto *Sym = dyn_cast_or_null<Defined>(Symtab->find(Name)))
1195       Sym->Section->KeepUnique = true;
1196     else
1197       warn("could not find symbol " + Name + " to keep unique");
1198   }
1199 }
1200 
1201 // Do actual linking. Note that when this function is called,
1202 // all linker scripts have already been parsed.
1203 template <class ELFT> void LinkerDriver::link(opt::InputArgList &Args) {
1204   Target = getTarget();
1205 
1206   Config->MaxPageSize = getMaxPageSize(Args);
1207   Config->ImageBase = getImageBase(Args);
1208 
1209   // If a -hash-style option was not given, set to a default value,
1210   // which varies depending on the target.
1211   if (!Args.hasArg(OPT_hash_style)) {
1212     if (Config->EMachine == EM_MIPS)
1213       Config->SysvHash = true;
1214     else
1215       Config->SysvHash = Config->GnuHash = true;
1216   }
1217 
1218   // Default output filename is "a.out" by the Unix tradition.
1219   if (Config->OutputFile.empty())
1220     Config->OutputFile = "a.out";
1221 
1222   // Fail early if the output file or map file is not writable. If a user has a
1223   // long link, e.g. due to a large LTO link, they do not wish to run it and
1224   // find that it failed because there was a mistake in their command-line.
1225   if (auto E = tryCreateFile(Config->OutputFile))
1226     error("cannot open output file " + Config->OutputFile + ": " + E.message());
1227   if (auto E = tryCreateFile(Config->MapFile))
1228     error("cannot open map file " + Config->MapFile + ": " + E.message());
1229   if (errorCount())
1230     return;
1231 
1232   // Use default entry point name if no name was given via the command
1233   // line nor linker scripts. For some reason, MIPS entry point name is
1234   // different from others.
1235   Config->WarnMissingEntry =
1236       (!Config->Entry.empty() || (!Config->Shared && !Config->Relocatable));
1237   if (Config->Entry.empty() && !Config->Relocatable)
1238     Config->Entry = (Config->EMachine == EM_MIPS) ? "__start" : "_start";
1239 
1240   // Handle --trace-symbol.
1241   for (auto *Arg : Args.filtered(OPT_trace_symbol))
1242     Symtab->trace(Arg->getValue());
1243 
1244   // Add all files to the symbol table. This will add almost all
1245   // symbols that we need to the symbol table.
1246   for (InputFile *F : Files)
1247     Symtab->addFile<ELFT>(F);
1248 
1249   // Now that we have every file, we can decide if we will need a
1250   // dynamic symbol table.
1251   // We need one if we were asked to export dynamic symbols or if we are
1252   // producing a shared library.
1253   // We also need one if any shared libraries are used and for pie executables
1254   // (probably because the dynamic linker needs it).
1255   Config->HasDynSymTab =
1256       !SharedFiles.empty() || Config->Pic || Config->ExportDynamic;
1257 
1258   // Some symbols (such as __ehdr_start) are defined lazily only when there
1259   // are undefined symbols for them, so we add these to trigger that logic.
1260   for (StringRef Sym : Script->ReferencedSymbols)
1261     Symtab->addUndefined<ELFT>(Sym);
1262 
1263   // Handle the `--undefined <sym>` options.
1264   for (StringRef S : Config->Undefined)
1265     handleUndefined<ELFT>(S);
1266 
1267   // If an entry symbol is in a static archive, pull out that file now
1268   // to complete the symbol table. After this, no new names except a
1269   // few linker-synthesized ones will be added to the symbol table.
1270   handleUndefined<ELFT>(Config->Entry);
1271 
1272   // Return if there were name resolution errors.
1273   if (errorCount())
1274     return;
1275 
1276   // Now when we read all script files, we want to finalize order of linker
1277   // script commands, which can be not yet final because of INSERT commands.
1278   Script->processInsertCommands();
1279 
1280   // We want to declare linker script's symbols early,
1281   // so that we can version them.
1282   // They also might be exported if referenced by DSOs.
1283   Script->declareSymbols();
1284 
1285   // Handle the -exclude-libs option.
1286   if (Args.hasArg(OPT_exclude_libs))
1287     excludeLibs<ELFT>(Args);
1288 
1289   // Create ElfHeader early. We need a dummy section in
1290   // addReservedSymbols to mark the created symbols as not absolute.
1291   Out::ElfHeader = make<OutputSection>("", 0, SHF_ALLOC);
1292   Out::ElfHeader->Size = sizeof(typename ELFT::Ehdr);
1293 
1294   // We need to create some reserved symbols such as _end. Create them.
1295   if (!Config->Relocatable)
1296     addReservedSymbols();
1297 
1298   // Apply version scripts.
1299   //
1300   // For a relocatable output, version scripts don't make sense, and
1301   // parsing a symbol version string (e.g. dropping "@ver1" from a symbol
1302   // name "foo@ver1") rather do harm, so we don't call this if -r is given.
1303   if (!Config->Relocatable)
1304     Symtab->scanVersionScript();
1305 
1306   // Create wrapped symbols for -wrap option.
1307   for (auto *Arg : Args.filtered(OPT_wrap))
1308     Symtab->addSymbolWrap<ELFT>(Arg->getValue());
1309 
1310   // Do link-time optimization if given files are LLVM bitcode files.
1311   // This compiles bitcode files into real object files.
1312   Symtab->addCombinedLTOObject<ELFT>();
1313   if (errorCount())
1314     return;
1315 
1316   // If -thinlto-index-only is given, we should create only "index
1317   // files" and not object files. Index file creation is already done
1318   // in addCombinedLTOObject, so we are done if that's the case.
1319   if (Config->ThinLTOIndexOnly)
1320     return;
1321 
1322   // Apply symbol renames for -wrap.
1323   Symtab->applySymbolWrap();
1324 
1325   // Now that we have a complete list of input files.
1326   // Beyond this point, no new files are added.
1327   // Aggregate all input sections into one place.
1328   for (InputFile *F : ObjectFiles)
1329     for (InputSectionBase *S : F->getSections())
1330       if (S && S != &InputSection::Discarded)
1331         InputSections.push_back(S);
1332   for (BinaryFile *F : BinaryFiles)
1333     for (InputSectionBase *S : F->getSections())
1334       InputSections.push_back(cast<InputSection>(S));
1335 
1336   // We do not want to emit debug sections if --strip-all
1337   // or -strip-debug are given.
1338   if (Config->Strip != StripPolicy::None)
1339     llvm::erase_if(InputSections, [](InputSectionBase *S) {
1340       return S->Name.startswith(".debug") || S->Name.startswith(".zdebug");
1341     });
1342 
1343   Config->EFlags = Target->calcEFlags();
1344 
1345   if (Config->EMachine == EM_ARM) {
1346     // FIXME: These warnings can be removed when lld only uses these features
1347     // when the input objects have been compiled with an architecture that
1348     // supports them.
1349     if (Config->ARMHasBlx == false)
1350       warn("lld uses blx instruction, no object with architecture supporting "
1351            "feature detected.");
1352     if (Config->ARMJ1J2BranchEncoding == false)
1353       warn("lld uses extended branch encoding, no object with architecture "
1354            "supporting feature detected.");
1355     if (Config->ARMHasMovtMovw == false)
1356       warn("lld may use movt/movw, no object with architecture supporting "
1357            "feature detected.");
1358   }
1359 
1360   // This adds a .comment section containing a version string. We have to add it
1361   // before decompressAndMergeSections because the .comment section is a
1362   // mergeable section.
1363   if (!Config->Relocatable)
1364     InputSections.push_back(createCommentSection());
1365 
1366   // Do size optimizations: garbage collection, merging of SHF_MERGE sections
1367   // and identical code folding.
1368   decompressSections();
1369   splitSections<ELFT>();
1370   markLive<ELFT>();
1371   demoteSymbols<ELFT>();
1372   mergeSections();
1373   if (Config->ICF) {
1374     findKeepUniqueSections(Args);
1375     doIcf<ELFT>();
1376   }
1377 
1378   // Read the callgraph now that we know what was gced or icfed
1379   if (auto *Arg = Args.getLastArg(OPT_call_graph_ordering_file))
1380     if (Optional<MemoryBufferRef> Buffer = readFile(Arg->getValue()))
1381       readCallGraph(*Buffer);
1382 
1383   // Write the result to the file.
1384   writeResult<ELFT>();
1385 }
1386