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