xref: /llvm-project-15.0.7/lld/ELF/Driver.cpp (revision 1d66649a)
1 //===- Driver.cpp ---------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // The driver drives the entire linking process. It is responsible for
10 // parsing command line options and doing whatever it is instructed to do.
11 //
12 // One notable thing in the LLD's driver when compared to other linkers is
13 // that the LLD's driver is agnostic on the host operating system.
14 // Other linkers usually have implicit default values (such as a dynamic
15 // linker path or library paths) for each host OS.
16 //
17 // I don't think implicit default values are useful because they are
18 // usually explicitly specified by the compiler driver. They can even
19 // be harmful when you are doing cross-linking. Therefore, in LLD, we
20 // simply trust the compiler driver to pass all required options and
21 // don't try to make effort on our side.
22 //
23 //===----------------------------------------------------------------------===//
24 
25 #include "Driver.h"
26 #include "Config.h"
27 #include "ICF.h"
28 #include "InputFiles.h"
29 #include "InputSection.h"
30 #include "LinkerScript.h"
31 #include "MarkLive.h"
32 #include "OutputSections.h"
33 #include "ScriptParser.h"
34 #include "SymbolTable.h"
35 #include "Symbols.h"
36 #include "SyntheticSections.h"
37 #include "Target.h"
38 #include "Writer.h"
39 #include "lld/Common/Args.h"
40 #include "lld/Common/Driver.h"
41 #include "lld/Common/ErrorHandler.h"
42 #include "lld/Common/Filesystem.h"
43 #include "lld/Common/Memory.h"
44 #include "lld/Common/Strings.h"
45 #include "lld/Common/TargetOptionsCommandFlags.h"
46 #include "lld/Common/Version.h"
47 #include "llvm/ADT/SetVector.h"
48 #include "llvm/ADT/StringExtras.h"
49 #include "llvm/ADT/StringSwitch.h"
50 #include "llvm/Config/llvm-config.h"
51 #include "llvm/LTO/LTO.h"
52 #include "llvm/Remarks/HotnessThresholdParser.h"
53 #include "llvm/Support/CommandLine.h"
54 #include "llvm/Support/Compression.h"
55 #include "llvm/Support/GlobPattern.h"
56 #include "llvm/Support/LEB128.h"
57 #include "llvm/Support/Parallel.h"
58 #include "llvm/Support/Path.h"
59 #include "llvm/Support/TarWriter.h"
60 #include "llvm/Support/TargetSelect.h"
61 #include "llvm/Support/TimeProfiler.h"
62 #include "llvm/Support/raw_ostream.h"
63 #include <cstdlib>
64 #include <utility>
65 
66 using namespace llvm;
67 using namespace llvm::ELF;
68 using namespace llvm::object;
69 using namespace llvm::sys;
70 using namespace llvm::support;
71 using namespace lld;
72 using namespace lld::elf;
73 
74 Configuration *elf::config;
75 LinkerDriver *elf::driver;
76 
77 static void setConfigs(opt::InputArgList &args);
78 static void readConfigs(opt::InputArgList &args);
79 
80 bool elf::link(ArrayRef<const char *> args, bool canExitEarly,
81                raw_ostream &stdoutOS, raw_ostream &stderrOS) {
82   lld::stdoutOS = &stdoutOS;
83   lld::stderrOS = &stderrOS;
84 
85   errorHandler().cleanupCallback = []() {
86     freeArena();
87 
88     inputSections.clear();
89     outputSections.clear();
90     archiveFiles.clear();
91     binaryFiles.clear();
92     bitcodeFiles.clear();
93     lazyObjFiles.clear();
94     objectFiles.clear();
95     sharedFiles.clear();
96     backwardReferences.clear();
97     whyExtract.clear();
98 
99     tar = nullptr;
100     memset(&in, 0, sizeof(in));
101 
102     partitions = {Partition()};
103 
104     SharedFile::vernauxNum = 0;
105   };
106 
107   errorHandler().logName = args::getFilenameWithoutExe(args[0]);
108   errorHandler().errorLimitExceededMsg =
109       "too many errors emitted, stopping now (use "
110       "-error-limit=0 to see all errors)";
111   errorHandler().exitEarly = canExitEarly;
112   stderrOS.enable_colors(stderrOS.has_colors());
113 
114   config = make<Configuration>();
115   driver = make<LinkerDriver>();
116   script = make<LinkerScript>();
117   symtab = make<SymbolTable>();
118 
119   partitions = {Partition()};
120 
121   config->progName = args[0];
122 
123   driver->linkerMain(args);
124 
125   // Exit immediately if we don't need to return to the caller.
126   // This saves time because the overhead of calling destructors
127   // for all globally-allocated objects is not negligible.
128   if (canExitEarly)
129     exitLld(errorCount() ? 1 : 0);
130 
131   bool ret = errorCount() == 0;
132   if (!canExitEarly)
133     errorHandler().reset();
134   return ret;
135 }
136 
137 // Parses a linker -m option.
138 static std::tuple<ELFKind, uint16_t, uint8_t> parseEmulation(StringRef emul) {
139   uint8_t osabi = 0;
140   StringRef s = emul;
141   if (s.endswith("_fbsd")) {
142     s = s.drop_back(5);
143     osabi = ELFOSABI_FREEBSD;
144   }
145 
146   std::pair<ELFKind, uint16_t> ret =
147       StringSwitch<std::pair<ELFKind, uint16_t>>(s)
148           .Cases("aarch64elf", "aarch64linux", {ELF64LEKind, EM_AARCH64})
149           .Cases("aarch64elfb", "aarch64linuxb", {ELF64BEKind, EM_AARCH64})
150           .Cases("armelf", "armelf_linux_eabi", {ELF32LEKind, EM_ARM})
151           .Case("elf32_x86_64", {ELF32LEKind, EM_X86_64})
152           .Cases("elf32btsmip", "elf32btsmipn32", {ELF32BEKind, EM_MIPS})
153           .Cases("elf32ltsmip", "elf32ltsmipn32", {ELF32LEKind, EM_MIPS})
154           .Case("elf32lriscv", {ELF32LEKind, EM_RISCV})
155           .Cases("elf32ppc", "elf32ppclinux", {ELF32BEKind, EM_PPC})
156           .Cases("elf32lppc", "elf32lppclinux", {ELF32LEKind, EM_PPC})
157           .Case("elf64btsmip", {ELF64BEKind, EM_MIPS})
158           .Case("elf64ltsmip", {ELF64LEKind, EM_MIPS})
159           .Case("elf64lriscv", {ELF64LEKind, EM_RISCV})
160           .Case("elf64ppc", {ELF64BEKind, EM_PPC64})
161           .Case("elf64lppc", {ELF64LEKind, EM_PPC64})
162           .Cases("elf_amd64", "elf_x86_64", {ELF64LEKind, EM_X86_64})
163           .Case("elf_i386", {ELF32LEKind, EM_386})
164           .Case("elf_iamcu", {ELF32LEKind, EM_IAMCU})
165           .Case("elf64_sparc", {ELF64BEKind, EM_SPARCV9})
166           .Case("msp430elf", {ELF32LEKind, EM_MSP430})
167           .Default({ELFNoneKind, EM_NONE});
168 
169   if (ret.first == ELFNoneKind)
170     error("unknown emulation: " + emul);
171   if (ret.second == EM_MSP430)
172     osabi = ELFOSABI_STANDALONE;
173   return std::make_tuple(ret.first, ret.second, osabi);
174 }
175 
176 // Returns slices of MB by parsing MB as an archive file.
177 // Each slice consists of a member file in the archive.
178 std::vector<std::pair<MemoryBufferRef, uint64_t>> static getArchiveMembers(
179     MemoryBufferRef mb) {
180   std::unique_ptr<Archive> file =
181       CHECK(Archive::create(mb),
182             mb.getBufferIdentifier() + ": failed to parse archive");
183 
184   std::vector<std::pair<MemoryBufferRef, uint64_t>> v;
185   Error err = Error::success();
186   bool addToTar = file->isThin() && tar;
187   for (const Archive::Child &c : file->children(err)) {
188     MemoryBufferRef mbref =
189         CHECK(c.getMemoryBufferRef(),
190               mb.getBufferIdentifier() +
191                   ": could not get the buffer for a child of the archive");
192     if (addToTar)
193       tar->append(relativeToRoot(check(c.getFullName())), mbref.getBuffer());
194     v.push_back(std::make_pair(mbref, c.getChildOffset()));
195   }
196   if (err)
197     fatal(mb.getBufferIdentifier() + ": Archive::children failed: " +
198           toString(std::move(err)));
199 
200   // Take ownership of memory buffers created for members of thin archives.
201   for (std::unique_ptr<MemoryBuffer> &mb : file->takeThinBuffers())
202     make<std::unique_ptr<MemoryBuffer>>(std::move(mb));
203 
204   return v;
205 }
206 
207 // Opens a file and create a file object. Path has to be resolved already.
208 void LinkerDriver::addFile(StringRef path, bool withLOption) {
209   using namespace sys::fs;
210 
211   Optional<MemoryBufferRef> buffer = readFile(path);
212   if (!buffer.hasValue())
213     return;
214   MemoryBufferRef mbref = *buffer;
215 
216   if (config->formatBinary) {
217     files.push_back(make<BinaryFile>(mbref));
218     return;
219   }
220 
221   switch (identify_magic(mbref.getBuffer())) {
222   case file_magic::unknown:
223     readLinkerScript(mbref);
224     return;
225   case file_magic::archive: {
226     // Handle -whole-archive.
227     if (inWholeArchive) {
228       for (const auto &p : getArchiveMembers(mbref))
229         files.push_back(createObjectFile(p.first, path, p.second));
230       return;
231     }
232 
233     std::unique_ptr<Archive> file =
234         CHECK(Archive::create(mbref), path + ": failed to parse archive");
235 
236     // If an archive file has no symbol table, it is likely that a user
237     // is attempting LTO and using a default ar command that doesn't
238     // understand the LLVM bitcode file. It is a pretty common error, so
239     // we'll handle it as if it had a symbol table.
240     if (!file->isEmpty() && !file->hasSymbolTable()) {
241       // Check if all members are bitcode files. If not, ignore, which is the
242       // default action without the LTO hack described above.
243       for (const std::pair<MemoryBufferRef, uint64_t> &p :
244            getArchiveMembers(mbref))
245         if (identify_magic(p.first.getBuffer()) != file_magic::bitcode) {
246           error(path + ": archive has no index; run ranlib to add one");
247           return;
248         }
249 
250       for (const std::pair<MemoryBufferRef, uint64_t> &p :
251            getArchiveMembers(mbref))
252         files.push_back(make<LazyObjFile>(p.first, path, p.second));
253       return;
254     }
255 
256     // Handle the regular case.
257     files.push_back(make<ArchiveFile>(std::move(file)));
258     return;
259   }
260   case file_magic::elf_shared_object:
261     if (config->isStatic || config->relocatable) {
262       error("attempted static link of dynamic object " + path);
263       return;
264     }
265 
266     // DSOs usually have DT_SONAME tags in their ELF headers, and the
267     // sonames are used to identify DSOs. But if they are missing,
268     // they are identified by filenames. We don't know whether the new
269     // file has a DT_SONAME or not because we haven't parsed it yet.
270     // Here, we set the default soname for the file because we might
271     // need it later.
272     //
273     // If a file was specified by -lfoo, the directory part is not
274     // significant, as a user did not specify it. This behavior is
275     // compatible with GNU.
276     files.push_back(
277         make<SharedFile>(mbref, withLOption ? path::filename(path) : path));
278     return;
279   case file_magic::bitcode:
280   case file_magic::elf_relocatable:
281     if (inLib)
282       files.push_back(make<LazyObjFile>(mbref, "", 0));
283     else
284       files.push_back(createObjectFile(mbref));
285     break;
286   default:
287     error(path + ": unknown file type");
288   }
289 }
290 
291 // Add a given library by searching it from input search paths.
292 void LinkerDriver::addLibrary(StringRef name) {
293   if (Optional<std::string> path = searchLibrary(name))
294     addFile(*path, /*withLOption=*/true);
295   else
296     error("unable to find library -l" + name, ErrorTag::LibNotFound, {name});
297 }
298 
299 // This function is called on startup. We need this for LTO since
300 // LTO calls LLVM functions to compile bitcode files to native code.
301 // Technically this can be delayed until we read bitcode files, but
302 // we don't bother to do lazily because the initialization is fast.
303 static void initLLVM() {
304   InitializeAllTargets();
305   InitializeAllTargetMCs();
306   InitializeAllAsmPrinters();
307   InitializeAllAsmParsers();
308 }
309 
310 // Some command line options or some combinations of them are not allowed.
311 // This function checks for such errors.
312 static void checkOptions() {
313   // The MIPS ABI as of 2016 does not support the GNU-style symbol lookup
314   // table which is a relatively new feature.
315   if (config->emachine == EM_MIPS && config->gnuHash)
316     error("the .gnu.hash section is not compatible with the MIPS target");
317 
318   if (config->fixCortexA53Errata843419 && config->emachine != EM_AARCH64)
319     error("--fix-cortex-a53-843419 is only supported on AArch64 targets");
320 
321   if (config->fixCortexA8 && config->emachine != EM_ARM)
322     error("--fix-cortex-a8 is only supported on ARM targets");
323 
324   if (config->tocOptimize && config->emachine != EM_PPC64)
325     error("--toc-optimize is only supported on PowerPC64 targets");
326 
327   if (config->pcRelOptimize && config->emachine != EM_PPC64)
328     error("--pcrel-optimize is only supported on PowerPC64 targets");
329 
330   if (config->pie && config->shared)
331     error("-shared and -pie may not be used together");
332 
333   if (!config->shared && !config->filterList.empty())
334     error("-F may not be used without -shared");
335 
336   if (!config->shared && !config->auxiliaryList.empty())
337     error("-f may not be used without -shared");
338 
339   if (!config->relocatable && !config->defineCommon)
340     error("-no-define-common not supported in non relocatable output");
341 
342   if (config->strip == StripPolicy::All && config->emitRelocs)
343     error("--strip-all and --emit-relocs may not be used together");
344 
345   if (config->zText && config->zIfuncNoplt)
346     error("-z text and -z ifunc-noplt may not be used together");
347 
348   if (config->relocatable) {
349     if (config->shared)
350       error("-r and -shared may not be used together");
351     if (config->gdbIndex)
352       error("-r and --gdb-index may not be used together");
353     if (config->icf != ICFLevel::None)
354       error("-r and --icf may not be used together");
355     if (config->pie)
356       error("-r and -pie may not be used together");
357     if (config->exportDynamic)
358       error("-r and --export-dynamic may not be used together");
359   }
360 
361   if (config->executeOnly) {
362     if (config->emachine != EM_AARCH64)
363       error("-execute-only is only supported on AArch64 targets");
364 
365     if (config->singleRoRx && !script->hasSectionsCommand)
366       error("-execute-only and -no-rosegment cannot be used together");
367   }
368 
369   if (config->zRetpolineplt && config->zForceIbt)
370     error("-z force-ibt may not be used with -z retpolineplt");
371 
372   if (config->emachine != EM_AARCH64) {
373     if (config->zPacPlt)
374       error("-z pac-plt only supported on AArch64");
375     if (config->zForceBti)
376       error("-z force-bti only supported on AArch64");
377   }
378 }
379 
380 static const char *getReproduceOption(opt::InputArgList &args) {
381   if (auto *arg = args.getLastArg(OPT_reproduce))
382     return arg->getValue();
383   return getenv("LLD_REPRODUCE");
384 }
385 
386 static bool hasZOption(opt::InputArgList &args, StringRef key) {
387   for (auto *arg : args.filtered(OPT_z))
388     if (key == arg->getValue())
389       return true;
390   return false;
391 }
392 
393 static bool getZFlag(opt::InputArgList &args, StringRef k1, StringRef k2,
394                      bool Default) {
395   for (auto *arg : args.filtered_reverse(OPT_z)) {
396     if (k1 == arg->getValue())
397       return true;
398     if (k2 == arg->getValue())
399       return false;
400   }
401   return Default;
402 }
403 
404 static SeparateSegmentKind getZSeparate(opt::InputArgList &args) {
405   for (auto *arg : args.filtered_reverse(OPT_z)) {
406     StringRef v = arg->getValue();
407     if (v == "noseparate-code")
408       return SeparateSegmentKind::None;
409     if (v == "separate-code")
410       return SeparateSegmentKind::Code;
411     if (v == "separate-loadable-segments")
412       return SeparateSegmentKind::Loadable;
413   }
414   return SeparateSegmentKind::None;
415 }
416 
417 static GnuStackKind getZGnuStack(opt::InputArgList &args) {
418   for (auto *arg : args.filtered_reverse(OPT_z)) {
419     if (StringRef("execstack") == arg->getValue())
420       return GnuStackKind::Exec;
421     if (StringRef("noexecstack") == arg->getValue())
422       return GnuStackKind::NoExec;
423     if (StringRef("nognustack") == arg->getValue())
424       return GnuStackKind::None;
425   }
426 
427   return GnuStackKind::NoExec;
428 }
429 
430 static uint8_t getZStartStopVisibility(opt::InputArgList &args) {
431   for (auto *arg : args.filtered_reverse(OPT_z)) {
432     std::pair<StringRef, StringRef> kv = StringRef(arg->getValue()).split('=');
433     if (kv.first == "start-stop-visibility") {
434       if (kv.second == "default")
435         return STV_DEFAULT;
436       else if (kv.second == "internal")
437         return STV_INTERNAL;
438       else if (kv.second == "hidden")
439         return STV_HIDDEN;
440       else if (kv.second == "protected")
441         return STV_PROTECTED;
442       error("unknown -z start-stop-visibility= value: " + StringRef(kv.second));
443     }
444   }
445   return STV_PROTECTED;
446 }
447 
448 static bool isKnownZFlag(StringRef s) {
449   return s == "combreloc" || s == "copyreloc" || s == "defs" ||
450          s == "execstack" || s == "force-bti" || s == "force-ibt" ||
451          s == "global" || s == "hazardplt" || s == "ifunc-noplt" ||
452          s == "initfirst" || s == "interpose" ||
453          s == "keep-text-section-prefix" || s == "lazy" || s == "muldefs" ||
454          s == "separate-code" || s == "separate-loadable-segments" ||
455          s == "start-stop-gc" || s == "nocombreloc" || s == "nocopyreloc" ||
456          s == "nodefaultlib" || s == "nodelete" || s == "nodlopen" ||
457          s == "noexecstack" || s == "nognustack" ||
458          s == "nokeep-text-section-prefix" || s == "norelro" ||
459          s == "noseparate-code" || s == "nostart-stop-gc" || s == "notext" ||
460          s == "now" || s == "origin" || s == "pac-plt" || s == "rel" ||
461          s == "rela" || s == "relro" || s == "retpolineplt" ||
462          s == "rodynamic" || s == "shstk" || s == "text" || s == "undefs" ||
463          s == "wxneeded" || s.startswith("common-page-size=") ||
464          s.startswith("dead-reloc-in-nonalloc=") ||
465          s.startswith("max-page-size=") || s.startswith("stack-size=") ||
466          s.startswith("start-stop-visibility=");
467 }
468 
469 // Report an error for an unknown -z option.
470 static void checkZOptions(opt::InputArgList &args) {
471   for (auto *arg : args.filtered(OPT_z))
472     if (!isKnownZFlag(arg->getValue()))
473       error("unknown -z value: " + StringRef(arg->getValue()));
474 }
475 
476 void LinkerDriver::linkerMain(ArrayRef<const char *> argsArr) {
477   ELFOptTable parser;
478   opt::InputArgList args = parser.parse(argsArr.slice(1));
479 
480   // Interpret this flag early because error() depends on them.
481   errorHandler().errorLimit = args::getInteger(args, OPT_error_limit, 20);
482   checkZOptions(args);
483 
484   // Handle -help
485   if (args.hasArg(OPT_help)) {
486     printHelp();
487     return;
488   }
489 
490   // Handle -v or -version.
491   //
492   // A note about "compatible with GNU linkers" message: this is a hack for
493   // scripts generated by GNU Libtool 2.4.6 (released in February 2014 and
494   // still the newest version in March 2017) or earlier to recognize LLD as
495   // a GNU compatible linker. As long as an output for the -v option
496   // contains "GNU" or "with BFD", they recognize us as GNU-compatible.
497   //
498   // This is somewhat ugly hack, but in reality, we had no choice other
499   // than doing this. Considering the very long release cycle of Libtool,
500   // it is not easy to improve it to recognize LLD as a GNU compatible
501   // linker in a timely manner. Even if we can make it, there are still a
502   // lot of "configure" scripts out there that are generated by old version
503   // of Libtool. We cannot convince every software developer to migrate to
504   // the latest version and re-generate scripts. So we have this hack.
505   if (args.hasArg(OPT_v) || args.hasArg(OPT_version))
506     message(getLLDVersion() + " (compatible with GNU linkers)");
507 
508   if (const char *path = getReproduceOption(args)) {
509     // Note that --reproduce is a debug option so you can ignore it
510     // if you are trying to understand the whole picture of the code.
511     Expected<std::unique_ptr<TarWriter>> errOrWriter =
512         TarWriter::create(path, path::stem(path));
513     if (errOrWriter) {
514       tar = std::move(*errOrWriter);
515       tar->append("response.txt", createResponseFile(args));
516       tar->append("version.txt", getLLDVersion() + "\n");
517       StringRef ltoSampleProfile = args.getLastArgValue(OPT_lto_sample_profile);
518       if (!ltoSampleProfile.empty())
519         readFile(ltoSampleProfile);
520     } else {
521       error("--reproduce: " + toString(errOrWriter.takeError()));
522     }
523   }
524 
525   readConfigs(args);
526 
527   // The behavior of -v or --version is a bit strange, but this is
528   // needed for compatibility with GNU linkers.
529   if (args.hasArg(OPT_v) && !args.hasArg(OPT_INPUT))
530     return;
531   if (args.hasArg(OPT_version))
532     return;
533 
534   // Initialize time trace profiler.
535   if (config->timeTraceEnabled)
536     timeTraceProfilerInitialize(config->timeTraceGranularity, config->progName);
537 
538   {
539     llvm::TimeTraceScope timeScope("ExecuteLinker");
540 
541     initLLVM();
542     createFiles(args);
543     if (errorCount())
544       return;
545 
546     inferMachineType();
547     setConfigs(args);
548     checkOptions();
549     if (errorCount())
550       return;
551 
552     // The Target instance handles target-specific stuff, such as applying
553     // relocations or writing a PLT section. It also contains target-dependent
554     // values such as a default image base address.
555     target = getTarget();
556 
557     switch (config->ekind) {
558     case ELF32LEKind:
559       link<ELF32LE>(args);
560       break;
561     case ELF32BEKind:
562       link<ELF32BE>(args);
563       break;
564     case ELF64LEKind:
565       link<ELF64LE>(args);
566       break;
567     case ELF64BEKind:
568       link<ELF64BE>(args);
569       break;
570     default:
571       llvm_unreachable("unknown Config->EKind");
572     }
573   }
574 
575   if (config->timeTraceEnabled) {
576     if (auto E = timeTraceProfilerWrite(args.getLastArgValue(OPT_time_trace_file_eq).str(),
577                                         config->outputFile)) {
578       handleAllErrors(std::move(E), [&](const StringError &SE) {
579         error(SE.getMessage());
580       });
581       return;
582     }
583 
584     timeTraceProfilerCleanup();
585   }
586 }
587 
588 static std::string getRpath(opt::InputArgList &args) {
589   std::vector<StringRef> v = args::getStrings(args, OPT_rpath);
590   return llvm::join(v.begin(), v.end(), ":");
591 }
592 
593 // Determines what we should do if there are remaining unresolved
594 // symbols after the name resolution.
595 static void setUnresolvedSymbolPolicy(opt::InputArgList &args) {
596   UnresolvedPolicy errorOrWarn = args.hasFlag(OPT_error_unresolved_symbols,
597                                               OPT_warn_unresolved_symbols, true)
598                                      ? UnresolvedPolicy::ReportError
599                                      : UnresolvedPolicy::Warn;
600   // -shared implies -unresolved-symbols=ignore-all because missing
601   // symbols are likely to be resolved at runtime.
602   bool diagRegular = !config->shared, diagShlib = !config->shared;
603 
604   for (const opt::Arg *arg : args) {
605     switch (arg->getOption().getID()) {
606     case OPT_unresolved_symbols: {
607       StringRef s = arg->getValue();
608       if (s == "ignore-all") {
609         diagRegular = false;
610         diagShlib = false;
611       } else if (s == "ignore-in-object-files") {
612         diagRegular = false;
613         diagShlib = true;
614       } else if (s == "ignore-in-shared-libs") {
615         diagRegular = true;
616         diagShlib = false;
617       } else if (s == "report-all") {
618         diagRegular = true;
619         diagShlib = true;
620       } else {
621         error("unknown --unresolved-symbols value: " + s);
622       }
623       break;
624     }
625     case OPT_no_undefined:
626       diagRegular = true;
627       break;
628     case OPT_z:
629       if (StringRef(arg->getValue()) == "defs")
630         diagRegular = true;
631       else if (StringRef(arg->getValue()) == "undefs")
632         diagRegular = false;
633       break;
634     case OPT_allow_shlib_undefined:
635       diagShlib = false;
636       break;
637     case OPT_no_allow_shlib_undefined:
638       diagShlib = true;
639       break;
640     }
641   }
642 
643   config->unresolvedSymbols =
644       diagRegular ? errorOrWarn : UnresolvedPolicy::Ignore;
645   config->unresolvedSymbolsInShlib =
646       diagShlib ? errorOrWarn : UnresolvedPolicy::Ignore;
647 }
648 
649 static Target2Policy getTarget2(opt::InputArgList &args) {
650   StringRef s = args.getLastArgValue(OPT_target2, "got-rel");
651   if (s == "rel")
652     return Target2Policy::Rel;
653   if (s == "abs")
654     return Target2Policy::Abs;
655   if (s == "got-rel")
656     return Target2Policy::GotRel;
657   error("unknown --target2 option: " + s);
658   return Target2Policy::GotRel;
659 }
660 
661 static bool isOutputFormatBinary(opt::InputArgList &args) {
662   StringRef s = args.getLastArgValue(OPT_oformat, "elf");
663   if (s == "binary")
664     return true;
665   if (!s.startswith("elf"))
666     error("unknown --oformat value: " + s);
667   return false;
668 }
669 
670 static DiscardPolicy getDiscard(opt::InputArgList &args) {
671   auto *arg =
672       args.getLastArg(OPT_discard_all, OPT_discard_locals, OPT_discard_none);
673   if (!arg)
674     return DiscardPolicy::Default;
675   if (arg->getOption().getID() == OPT_discard_all)
676     return DiscardPolicy::All;
677   if (arg->getOption().getID() == OPT_discard_locals)
678     return DiscardPolicy::Locals;
679   return DiscardPolicy::None;
680 }
681 
682 static StringRef getDynamicLinker(opt::InputArgList &args) {
683   auto *arg = args.getLastArg(OPT_dynamic_linker, OPT_no_dynamic_linker);
684   if (!arg)
685     return "";
686   if (arg->getOption().getID() == OPT_no_dynamic_linker) {
687     // --no-dynamic-linker suppresses undefined weak symbols in .dynsym
688     config->noDynamicLinker = true;
689     return "";
690   }
691   return arg->getValue();
692 }
693 
694 static ICFLevel getICF(opt::InputArgList &args) {
695   auto *arg = args.getLastArg(OPT_icf_none, OPT_icf_safe, OPT_icf_all);
696   if (!arg || arg->getOption().getID() == OPT_icf_none)
697     return ICFLevel::None;
698   if (arg->getOption().getID() == OPT_icf_safe)
699     return ICFLevel::Safe;
700   return ICFLevel::All;
701 }
702 
703 static StripPolicy getStrip(opt::InputArgList &args) {
704   if (args.hasArg(OPT_relocatable))
705     return StripPolicy::None;
706 
707   auto *arg = args.getLastArg(OPT_strip_all, OPT_strip_debug);
708   if (!arg)
709     return StripPolicy::None;
710   if (arg->getOption().getID() == OPT_strip_all)
711     return StripPolicy::All;
712   return StripPolicy::Debug;
713 }
714 
715 static uint64_t parseSectionAddress(StringRef s, opt::InputArgList &args,
716                                     const opt::Arg &arg) {
717   uint64_t va = 0;
718   if (s.startswith("0x"))
719     s = s.drop_front(2);
720   if (!to_integer(s, va, 16))
721     error("invalid argument: " + arg.getAsString(args));
722   return va;
723 }
724 
725 static StringMap<uint64_t> getSectionStartMap(opt::InputArgList &args) {
726   StringMap<uint64_t> ret;
727   for (auto *arg : args.filtered(OPT_section_start)) {
728     StringRef name;
729     StringRef addr;
730     std::tie(name, addr) = StringRef(arg->getValue()).split('=');
731     ret[name] = parseSectionAddress(addr, args, *arg);
732   }
733 
734   if (auto *arg = args.getLastArg(OPT_Ttext))
735     ret[".text"] = parseSectionAddress(arg->getValue(), args, *arg);
736   if (auto *arg = args.getLastArg(OPT_Tdata))
737     ret[".data"] = parseSectionAddress(arg->getValue(), args, *arg);
738   if (auto *arg = args.getLastArg(OPT_Tbss))
739     ret[".bss"] = parseSectionAddress(arg->getValue(), args, *arg);
740   return ret;
741 }
742 
743 static SortSectionPolicy getSortSection(opt::InputArgList &args) {
744   StringRef s = args.getLastArgValue(OPT_sort_section);
745   if (s == "alignment")
746     return SortSectionPolicy::Alignment;
747   if (s == "name")
748     return SortSectionPolicy::Name;
749   if (!s.empty())
750     error("unknown --sort-section rule: " + s);
751   return SortSectionPolicy::Default;
752 }
753 
754 static OrphanHandlingPolicy getOrphanHandling(opt::InputArgList &args) {
755   StringRef s = args.getLastArgValue(OPT_orphan_handling, "place");
756   if (s == "warn")
757     return OrphanHandlingPolicy::Warn;
758   if (s == "error")
759     return OrphanHandlingPolicy::Error;
760   if (s != "place")
761     error("unknown --orphan-handling mode: " + s);
762   return OrphanHandlingPolicy::Place;
763 }
764 
765 // Parses --power10-stubs= flags, to disable or enable Power 10
766 // instructions in stubs.
767 static bool getP10StubOpt(opt::InputArgList &args) {
768 
769   if (args.getLastArgValue(OPT_power10_stubs_eq)== "no")
770     return false;
771 
772   if (!args.hasArg(OPT_power10_stubs_eq) &&
773       args.hasArg(OPT_no_power10_stubs))
774     return false;
775 
776   return true;
777 }
778 
779 // Parse --build-id or --build-id=<style>. We handle "tree" as a
780 // synonym for "sha1" because all our hash functions including
781 // -build-id=sha1 are actually tree hashes for performance reasons.
782 static std::pair<BuildIdKind, std::vector<uint8_t>>
783 getBuildId(opt::InputArgList &args) {
784   auto *arg = args.getLastArg(OPT_build_id, OPT_build_id_eq);
785   if (!arg)
786     return {BuildIdKind::None, {}};
787 
788   if (arg->getOption().getID() == OPT_build_id)
789     return {BuildIdKind::Fast, {}};
790 
791   StringRef s = arg->getValue();
792   if (s == "fast")
793     return {BuildIdKind::Fast, {}};
794   if (s == "md5")
795     return {BuildIdKind::Md5, {}};
796   if (s == "sha1" || s == "tree")
797     return {BuildIdKind::Sha1, {}};
798   if (s == "uuid")
799     return {BuildIdKind::Uuid, {}};
800   if (s.startswith("0x"))
801     return {BuildIdKind::Hexstring, parseHex(s.substr(2))};
802 
803   if (s != "none")
804     error("unknown --build-id style: " + s);
805   return {BuildIdKind::None, {}};
806 }
807 
808 static std::pair<bool, bool> getPackDynRelocs(opt::InputArgList &args) {
809   StringRef s = args.getLastArgValue(OPT_pack_dyn_relocs, "none");
810   if (s == "android")
811     return {true, false};
812   if (s == "relr")
813     return {false, true};
814   if (s == "android+relr")
815     return {true, true};
816 
817   if (s != "none")
818     error("unknown -pack-dyn-relocs format: " + s);
819   return {false, false};
820 }
821 
822 static void readCallGraph(MemoryBufferRef mb) {
823   // Build a map from symbol name to section
824   DenseMap<StringRef, Symbol *> map;
825   for (InputFile *file : objectFiles)
826     for (Symbol *sym : file->getSymbols())
827       map[sym->getName()] = sym;
828 
829   auto findSection = [&](StringRef name) -> InputSectionBase * {
830     Symbol *sym = map.lookup(name);
831     if (!sym) {
832       if (config->warnSymbolOrdering)
833         warn(mb.getBufferIdentifier() + ": no such symbol: " + name);
834       return nullptr;
835     }
836     maybeWarnUnorderableSymbol(sym);
837 
838     if (Defined *dr = dyn_cast_or_null<Defined>(sym))
839       return dyn_cast_or_null<InputSectionBase>(dr->section);
840     return nullptr;
841   };
842 
843   for (StringRef line : args::getLines(mb)) {
844     SmallVector<StringRef, 3> fields;
845     line.split(fields, ' ');
846     uint64_t count;
847 
848     if (fields.size() != 3 || !to_integer(fields[2], count)) {
849       error(mb.getBufferIdentifier() + ": parse error");
850       return;
851     }
852 
853     if (InputSectionBase *from = findSection(fields[0]))
854       if (InputSectionBase *to = findSection(fields[1]))
855         config->callGraphProfile[std::make_pair(from, to)] += count;
856   }
857 }
858 
859 // If SHT_LLVM_CALL_GRAPH_PROFILE and its relocation section exist, returns
860 // true and populates cgProfile and symbolIndices.
861 template <class ELFT>
862 static bool
863 processCallGraphRelocations(SmallVector<uint32_t, 32> &symbolIndices,
864                             ArrayRef<typename ELFT::CGProfile> &cgProfile,
865                             ObjFile<ELFT> *inputObj) {
866   symbolIndices.clear();
867   const ELFFile<ELFT> &obj = inputObj->getObj();
868   ArrayRef<Elf_Shdr_Impl<ELFT>> objSections =
869       CHECK(obj.sections(), "could not retrieve object sections");
870 
871   if (inputObj->cgProfileSectionIndex == SHN_UNDEF)
872     return false;
873 
874   cgProfile =
875       check(obj.template getSectionContentsAsArray<typename ELFT::CGProfile>(
876           objSections[inputObj->cgProfileSectionIndex]));
877 
878   for (size_t i = 0, e = objSections.size(); i < e; ++i) {
879     const Elf_Shdr_Impl<ELFT> &sec = objSections[i];
880     if (sec.sh_info == inputObj->cgProfileSectionIndex) {
881       if (sec.sh_type == SHT_RELA) {
882         ArrayRef<typename ELFT::Rela> relas =
883             CHECK(obj.relas(sec), "could not retrieve cg profile rela section");
884         for (const typename ELFT::Rela &rel : relas)
885           symbolIndices.push_back(rel.getSymbol(config->isMips64EL));
886         break;
887       }
888       if (sec.sh_type == SHT_REL) {
889         ArrayRef<typename ELFT::Rel> rels =
890             CHECK(obj.rels(sec), "could not retrieve cg profile rel section");
891         for (const typename ELFT::Rel &rel : rels)
892           symbolIndices.push_back(rel.getSymbol(config->isMips64EL));
893         break;
894       }
895     }
896   }
897   if (symbolIndices.empty())
898     warn("SHT_LLVM_CALL_GRAPH_PROFILE exists, but relocation section doesn't");
899   return !symbolIndices.empty();
900 }
901 
902 template <class ELFT> static void readCallGraphsFromObjectFiles() {
903   SmallVector<uint32_t, 32> symbolIndices;
904   ArrayRef<typename ELFT::CGProfile> cgProfile;
905   for (auto file : objectFiles) {
906     auto *obj = cast<ObjFile<ELFT>>(file);
907     if (!processCallGraphRelocations(symbolIndices, cgProfile, obj))
908       continue;
909 
910     if (symbolIndices.size() != cgProfile.size() * 2)
911       fatal("number of relocations doesn't match Weights");
912 
913     for (uint32_t i = 0, size = cgProfile.size(); i < size; ++i) {
914       const Elf_CGProfile_Impl<ELFT> &cgpe = cgProfile[i];
915       uint32_t fromIndex = symbolIndices[i * 2];
916       uint32_t toIndex = symbolIndices[i * 2 + 1];
917       auto *fromSym = dyn_cast<Defined>(&obj->getSymbol(fromIndex));
918       auto *toSym = dyn_cast<Defined>(&obj->getSymbol(toIndex));
919       if (!fromSym || !toSym)
920         continue;
921 
922       auto *from = dyn_cast_or_null<InputSectionBase>(fromSym->section);
923       auto *to = dyn_cast_or_null<InputSectionBase>(toSym->section);
924       if (from && to)
925         config->callGraphProfile[{from, to}] += cgpe.cgp_weight;
926     }
927   }
928 }
929 
930 static bool getCompressDebugSections(opt::InputArgList &args) {
931   StringRef s = args.getLastArgValue(OPT_compress_debug_sections, "none");
932   if (s == "none")
933     return false;
934   if (s != "zlib")
935     error("unknown --compress-debug-sections value: " + s);
936   if (!zlib::isAvailable())
937     error("--compress-debug-sections: zlib is not available");
938   return true;
939 }
940 
941 static StringRef getAliasSpelling(opt::Arg *arg) {
942   if (const opt::Arg *alias = arg->getAlias())
943     return alias->getSpelling();
944   return arg->getSpelling();
945 }
946 
947 static std::pair<StringRef, StringRef> getOldNewOptions(opt::InputArgList &args,
948                                                         unsigned id) {
949   auto *arg = args.getLastArg(id);
950   if (!arg)
951     return {"", ""};
952 
953   StringRef s = arg->getValue();
954   std::pair<StringRef, StringRef> ret = s.split(';');
955   if (ret.second.empty())
956     error(getAliasSpelling(arg) + " expects 'old;new' format, but got " + s);
957   return ret;
958 }
959 
960 // Parse the symbol ordering file and warn for any duplicate entries.
961 static std::vector<StringRef> getSymbolOrderingFile(MemoryBufferRef mb) {
962   SetVector<StringRef> names;
963   for (StringRef s : args::getLines(mb))
964     if (!names.insert(s) && config->warnSymbolOrdering)
965       warn(mb.getBufferIdentifier() + ": duplicate ordered symbol: " + s);
966 
967   return names.takeVector();
968 }
969 
970 static bool getIsRela(opt::InputArgList &args) {
971   // If -z rel or -z rela is specified, use the last option.
972   for (auto *arg : args.filtered_reverse(OPT_z)) {
973     StringRef s(arg->getValue());
974     if (s == "rel")
975       return false;
976     if (s == "rela")
977       return true;
978   }
979 
980   // Otherwise use the psABI defined relocation entry format.
981   uint16_t m = config->emachine;
982   return m == EM_AARCH64 || m == EM_AMDGPU || m == EM_HEXAGON || m == EM_PPC ||
983          m == EM_PPC64 || m == EM_RISCV || m == EM_X86_64;
984 }
985 
986 static void parseClangOption(StringRef opt, const Twine &msg) {
987   std::string err;
988   raw_string_ostream os(err);
989 
990   const char *argv[] = {config->progName.data(), opt.data()};
991   if (cl::ParseCommandLineOptions(2, argv, "", &os))
992     return;
993   os.flush();
994   error(msg + ": " + StringRef(err).trim());
995 }
996 
997 // Initializes Config members by the command line options.
998 static void readConfigs(opt::InputArgList &args) {
999   errorHandler().verbose = args.hasArg(OPT_verbose);
1000   errorHandler().fatalWarnings =
1001       args.hasFlag(OPT_fatal_warnings, OPT_no_fatal_warnings, false);
1002   errorHandler().vsDiagnostics =
1003       args.hasArg(OPT_visual_studio_diagnostics_format, false);
1004 
1005   config->allowMultipleDefinition =
1006       args.hasFlag(OPT_allow_multiple_definition,
1007                    OPT_no_allow_multiple_definition, false) ||
1008       hasZOption(args, "muldefs");
1009   config->auxiliaryList = args::getStrings(args, OPT_auxiliary);
1010   if (opt::Arg *arg =
1011           args.getLastArg(OPT_Bno_symbolic, OPT_Bsymbolic_non_weak_functions,
1012                           OPT_Bsymbolic_functions, OPT_Bsymbolic)) {
1013     if (arg->getOption().matches(OPT_Bsymbolic_non_weak_functions))
1014       config->bsymbolic = BsymbolicKind::NonWeakFunctions;
1015     else if (arg->getOption().matches(OPT_Bsymbolic_functions))
1016       config->bsymbolic = BsymbolicKind::Functions;
1017     else if (arg->getOption().matches(OPT_Bsymbolic))
1018       config->bsymbolic = BsymbolicKind::All;
1019   }
1020   config->checkSections =
1021       args.hasFlag(OPT_check_sections, OPT_no_check_sections, true);
1022   config->chroot = args.getLastArgValue(OPT_chroot);
1023   config->compressDebugSections = getCompressDebugSections(args);
1024   config->cref = args.hasArg(OPT_cref);
1025   config->defineCommon = args.hasFlag(OPT_define_common, OPT_no_define_common,
1026                                       !args.hasArg(OPT_relocatable));
1027   config->optimizeBBJumps =
1028       args.hasFlag(OPT_optimize_bb_jumps, OPT_no_optimize_bb_jumps, false);
1029   config->demangle = args.hasFlag(OPT_demangle, OPT_no_demangle, true);
1030   config->dependencyFile = args.getLastArgValue(OPT_dependency_file);
1031   config->dependentLibraries = args.hasFlag(OPT_dependent_libraries, OPT_no_dependent_libraries, true);
1032   config->disableVerify = args.hasArg(OPT_disable_verify);
1033   config->discard = getDiscard(args);
1034   config->dwoDir = args.getLastArgValue(OPT_plugin_opt_dwo_dir_eq);
1035   config->dynamicLinker = getDynamicLinker(args);
1036   config->ehFrameHdr =
1037       args.hasFlag(OPT_eh_frame_hdr, OPT_no_eh_frame_hdr, false);
1038   config->emitLLVM = args.hasArg(OPT_plugin_opt_emit_llvm, false);
1039   config->emitRelocs = args.hasArg(OPT_emit_relocs);
1040   config->callGraphProfileSort = args.hasFlag(
1041       OPT_call_graph_profile_sort, OPT_no_call_graph_profile_sort, true);
1042   config->enableNewDtags =
1043       args.hasFlag(OPT_enable_new_dtags, OPT_disable_new_dtags, true);
1044   config->entry = args.getLastArgValue(OPT_entry);
1045 
1046   errorHandler().errorHandlingScript =
1047       args.getLastArgValue(OPT_error_handling_script);
1048 
1049   config->executeOnly =
1050       args.hasFlag(OPT_execute_only, OPT_no_execute_only, false);
1051   config->exportDynamic =
1052       args.hasFlag(OPT_export_dynamic, OPT_no_export_dynamic, false);
1053   config->filterList = args::getStrings(args, OPT_filter);
1054   config->fini = args.getLastArgValue(OPT_fini, "_fini");
1055   config->fixCortexA53Errata843419 = args.hasArg(OPT_fix_cortex_a53_843419) &&
1056                                      !args.hasArg(OPT_relocatable);
1057   config->fixCortexA8 =
1058       args.hasArg(OPT_fix_cortex_a8) && !args.hasArg(OPT_relocatable);
1059   config->fortranCommon =
1060       args.hasFlag(OPT_fortran_common, OPT_no_fortran_common, true);
1061   config->gcSections = args.hasFlag(OPT_gc_sections, OPT_no_gc_sections, false);
1062   config->gnuUnique = args.hasFlag(OPT_gnu_unique, OPT_no_gnu_unique, true);
1063   config->gdbIndex = args.hasFlag(OPT_gdb_index, OPT_no_gdb_index, false);
1064   config->icf = getICF(args);
1065   config->ignoreDataAddressEquality =
1066       args.hasArg(OPT_ignore_data_address_equality);
1067   config->ignoreFunctionAddressEquality =
1068       args.hasArg(OPT_ignore_function_address_equality);
1069   config->init = args.getLastArgValue(OPT_init, "_init");
1070   config->ltoAAPipeline = args.getLastArgValue(OPT_lto_aa_pipeline);
1071   config->ltoCSProfileGenerate = args.hasArg(OPT_lto_cs_profile_generate);
1072   config->ltoCSProfileFile = args.getLastArgValue(OPT_lto_cs_profile_file);
1073   config->ltoPGOWarnMismatch = args.hasFlag(OPT_lto_pgo_warn_mismatch,
1074                                             OPT_no_lto_pgo_warn_mismatch, true);
1075   config->ltoDebugPassManager = args.hasArg(OPT_lto_debug_pass_manager);
1076   config->ltoEmitAsm = args.hasArg(OPT_lto_emit_asm);
1077   config->ltoNewPassManager =
1078       args.hasFlag(OPT_no_lto_legacy_pass_manager, OPT_lto_legacy_pass_manager,
1079                    LLVM_ENABLE_NEW_PASS_MANAGER);
1080   config->ltoNewPmPasses = args.getLastArgValue(OPT_lto_newpm_passes);
1081   config->ltoWholeProgramVisibility =
1082       args.hasFlag(OPT_lto_whole_program_visibility,
1083                    OPT_no_lto_whole_program_visibility, false);
1084   config->ltoo = args::getInteger(args, OPT_lto_O, 2);
1085   config->ltoObjPath = args.getLastArgValue(OPT_lto_obj_path_eq);
1086   config->ltoPartitions = args::getInteger(args, OPT_lto_partitions, 1);
1087   config->ltoPseudoProbeForProfiling =
1088       args.hasArg(OPT_lto_pseudo_probe_for_profiling);
1089   config->ltoSampleProfile = args.getLastArgValue(OPT_lto_sample_profile);
1090   config->ltoBasicBlockSections =
1091       args.getLastArgValue(OPT_lto_basic_block_sections);
1092   config->ltoUniqueBasicBlockSectionNames =
1093       args.hasFlag(OPT_lto_unique_basic_block_section_names,
1094                    OPT_no_lto_unique_basic_block_section_names, false);
1095   config->mapFile = args.getLastArgValue(OPT_Map);
1096   config->mipsGotSize = args::getInteger(args, OPT_mips_got_size, 0xfff0);
1097   config->mergeArmExidx =
1098       args.hasFlag(OPT_merge_exidx_entries, OPT_no_merge_exidx_entries, true);
1099   config->mmapOutputFile =
1100       args.hasFlag(OPT_mmap_output_file, OPT_no_mmap_output_file, true);
1101   config->nmagic = args.hasFlag(OPT_nmagic, OPT_no_nmagic, false);
1102   config->noinhibitExec = args.hasArg(OPT_noinhibit_exec);
1103   config->nostdlib = args.hasArg(OPT_nostdlib);
1104   config->oFormatBinary = isOutputFormatBinary(args);
1105   config->omagic = args.hasFlag(OPT_omagic, OPT_no_omagic, false);
1106   config->optRemarksFilename = args.getLastArgValue(OPT_opt_remarks_filename);
1107 
1108   // Parse remarks hotness threshold. Valid value is either integer or 'auto'.
1109   if (auto *arg = args.getLastArg(OPT_opt_remarks_hotness_threshold)) {
1110     auto resultOrErr = remarks::parseHotnessThresholdOption(arg->getValue());
1111     if (!resultOrErr)
1112       error(arg->getSpelling() + ": invalid argument '" + arg->getValue() +
1113             "', only integer or 'auto' is supported");
1114     else
1115       config->optRemarksHotnessThreshold = *resultOrErr;
1116   }
1117 
1118   config->optRemarksPasses = args.getLastArgValue(OPT_opt_remarks_passes);
1119   config->optRemarksWithHotness = args.hasArg(OPT_opt_remarks_with_hotness);
1120   config->optRemarksFormat = args.getLastArgValue(OPT_opt_remarks_format);
1121   config->optimize = args::getInteger(args, OPT_O, 1);
1122   config->orphanHandling = getOrphanHandling(args);
1123   config->outputFile = args.getLastArgValue(OPT_o);
1124   config->pie = args.hasFlag(OPT_pie, OPT_no_pie, false);
1125   config->printIcfSections =
1126       args.hasFlag(OPT_print_icf_sections, OPT_no_print_icf_sections, false);
1127   config->printGcSections =
1128       args.hasFlag(OPT_print_gc_sections, OPT_no_print_gc_sections, false);
1129   config->printArchiveStats = args.getLastArgValue(OPT_print_archive_stats);
1130   config->printSymbolOrder =
1131       args.getLastArgValue(OPT_print_symbol_order);
1132   config->rpath = getRpath(args);
1133   config->relocatable = args.hasArg(OPT_relocatable);
1134   config->saveTemps = args.hasArg(OPT_save_temps);
1135   config->searchPaths = args::getStrings(args, OPT_library_path);
1136   config->sectionStartMap = getSectionStartMap(args);
1137   config->shared = args.hasArg(OPT_shared);
1138   config->singleRoRx = !args.hasFlag(OPT_rosegment, OPT_no_rosegment, true);
1139   config->soName = args.getLastArgValue(OPT_soname);
1140   config->sortSection = getSortSection(args);
1141   config->splitStackAdjustSize = args::getInteger(args, OPT_split_stack_adjust_size, 16384);
1142   config->strip = getStrip(args);
1143   config->sysroot = args.getLastArgValue(OPT_sysroot);
1144   config->target1Rel = args.hasFlag(OPT_target1_rel, OPT_target1_abs, false);
1145   config->target2 = getTarget2(args);
1146   config->thinLTOCacheDir = args.getLastArgValue(OPT_thinlto_cache_dir);
1147   config->thinLTOCachePolicy = CHECK(
1148       parseCachePruningPolicy(args.getLastArgValue(OPT_thinlto_cache_policy)),
1149       "--thinlto-cache-policy: invalid cache policy");
1150   config->thinLTOEmitImportsFiles = args.hasArg(OPT_thinlto_emit_imports_files);
1151   config->thinLTOIndexOnly = args.hasArg(OPT_thinlto_index_only) ||
1152                              args.hasArg(OPT_thinlto_index_only_eq);
1153   config->thinLTOIndexOnlyArg = args.getLastArgValue(OPT_thinlto_index_only_eq);
1154   config->thinLTOObjectSuffixReplace =
1155       getOldNewOptions(args, OPT_thinlto_object_suffix_replace_eq);
1156   config->thinLTOPrefixReplace =
1157       getOldNewOptions(args, OPT_thinlto_prefix_replace_eq);
1158   config->thinLTOModulesToCompile =
1159       args::getStrings(args, OPT_thinlto_single_module_eq);
1160   config->timeTraceEnabled = args.hasArg(OPT_time_trace);
1161   config->timeTraceGranularity =
1162       args::getInteger(args, OPT_time_trace_granularity, 500);
1163   config->trace = args.hasArg(OPT_trace);
1164   config->undefined = args::getStrings(args, OPT_undefined);
1165   config->undefinedVersion =
1166       args.hasFlag(OPT_undefined_version, OPT_no_undefined_version, true);
1167   config->unique = args.hasArg(OPT_unique);
1168   config->useAndroidRelrTags = args.hasFlag(
1169       OPT_use_android_relr_tags, OPT_no_use_android_relr_tags, false);
1170   config->warnBackrefs =
1171       args.hasFlag(OPT_warn_backrefs, OPT_no_warn_backrefs, false);
1172   config->warnCommon = args.hasFlag(OPT_warn_common, OPT_no_warn_common, false);
1173   config->warnSymbolOrdering =
1174       args.hasFlag(OPT_warn_symbol_ordering, OPT_no_warn_symbol_ordering, true);
1175   config->whyExtract = args.getLastArgValue(OPT_why_extract);
1176   config->zCombreloc = getZFlag(args, "combreloc", "nocombreloc", true);
1177   config->zCopyreloc = getZFlag(args, "copyreloc", "nocopyreloc", true);
1178   config->zForceBti = hasZOption(args, "force-bti");
1179   config->zForceIbt = hasZOption(args, "force-ibt");
1180   config->zGlobal = hasZOption(args, "global");
1181   config->zGnustack = getZGnuStack(args);
1182   config->zHazardplt = hasZOption(args, "hazardplt");
1183   config->zIfuncNoplt = hasZOption(args, "ifunc-noplt");
1184   config->zInitfirst = hasZOption(args, "initfirst");
1185   config->zInterpose = hasZOption(args, "interpose");
1186   config->zKeepTextSectionPrefix = getZFlag(
1187       args, "keep-text-section-prefix", "nokeep-text-section-prefix", false);
1188   config->zNodefaultlib = hasZOption(args, "nodefaultlib");
1189   config->zNodelete = hasZOption(args, "nodelete");
1190   config->zNodlopen = hasZOption(args, "nodlopen");
1191   config->zNow = getZFlag(args, "now", "lazy", false);
1192   config->zOrigin = hasZOption(args, "origin");
1193   config->zPacPlt = hasZOption(args, "pac-plt");
1194   config->zRelro = getZFlag(args, "relro", "norelro", true);
1195   config->zRetpolineplt = hasZOption(args, "retpolineplt");
1196   config->zRodynamic = hasZOption(args, "rodynamic");
1197   config->zSeparate = getZSeparate(args);
1198   config->zShstk = hasZOption(args, "shstk");
1199   config->zStackSize = args::getZOptionValue(args, OPT_z, "stack-size", 0);
1200   config->zStartStopGC =
1201       getZFlag(args, "start-stop-gc", "nostart-stop-gc", true);
1202   config->zStartStopVisibility = getZStartStopVisibility(args);
1203   config->zText = getZFlag(args, "text", "notext", true);
1204   config->zWxneeded = hasZOption(args, "wxneeded");
1205   setUnresolvedSymbolPolicy(args);
1206   config->Power10Stub = getP10StubOpt(args);
1207 
1208   if (opt::Arg *arg = args.getLastArg(OPT_eb, OPT_el)) {
1209     if (arg->getOption().matches(OPT_eb))
1210       config->optEB = true;
1211     else
1212       config->optEL = true;
1213   }
1214 
1215   for (opt::Arg *arg : args.filtered(OPT_shuffle_sections)) {
1216     constexpr StringRef errPrefix = "--shuffle-sections=: ";
1217     std::pair<StringRef, StringRef> kv = StringRef(arg->getValue()).split('=');
1218     if (kv.first.empty() || kv.second.empty()) {
1219       error(errPrefix + "expected <section_glob>=<seed>, but got '" +
1220             arg->getValue() + "'");
1221       continue;
1222     }
1223     // Signed so that <section_glob>=-1 is allowed.
1224     int64_t v;
1225     if (!to_integer(kv.second, v))
1226       error(errPrefix + "expected an integer, but got '" + kv.second + "'");
1227     else if (Expected<GlobPattern> pat = GlobPattern::create(kv.first))
1228       config->shuffleSections.emplace_back(std::move(*pat), uint32_t(v));
1229     else
1230       error(errPrefix + toString(pat.takeError()));
1231   }
1232 
1233   for (opt::Arg *arg : args.filtered(OPT_z)) {
1234     std::pair<StringRef, StringRef> option =
1235         StringRef(arg->getValue()).split('=');
1236     if (option.first != "dead-reloc-in-nonalloc")
1237       continue;
1238     constexpr StringRef errPrefix = "-z dead-reloc-in-nonalloc=: ";
1239     std::pair<StringRef, StringRef> kv = option.second.split('=');
1240     if (kv.first.empty() || kv.second.empty()) {
1241       error(errPrefix + "expected <section_glob>=<value>");
1242       continue;
1243     }
1244     uint64_t v;
1245     if (!to_integer(kv.second, v))
1246       error(errPrefix + "expected a non-negative integer, but got '" +
1247             kv.second + "'");
1248     else if (Expected<GlobPattern> pat = GlobPattern::create(kv.first))
1249       config->deadRelocInNonAlloc.emplace_back(std::move(*pat), v);
1250     else
1251       error(errPrefix + toString(pat.takeError()));
1252   }
1253 
1254   cl::ResetAllOptionOccurrences();
1255 
1256   // Parse LTO options.
1257   if (auto *arg = args.getLastArg(OPT_plugin_opt_mcpu_eq))
1258     parseClangOption(saver.save("-mcpu=" + StringRef(arg->getValue())),
1259                      arg->getSpelling());
1260 
1261   for (opt::Arg *arg : args.filtered(OPT_plugin_opt_eq_minus))
1262     parseClangOption(std::string("-") + arg->getValue(), arg->getSpelling());
1263 
1264   // GCC collect2 passes -plugin-opt=path/to/lto-wrapper with an absolute or
1265   // relative path. Just ignore. If not ended with "lto-wrapper", consider it an
1266   // unsupported LLVMgold.so option and error.
1267   for (opt::Arg *arg : args.filtered(OPT_plugin_opt_eq))
1268     if (!StringRef(arg->getValue()).endswith("lto-wrapper"))
1269       error(arg->getSpelling() + ": unknown plugin option '" + arg->getValue() +
1270             "'");
1271 
1272   // Parse -mllvm options.
1273   for (auto *arg : args.filtered(OPT_mllvm))
1274     parseClangOption(arg->getValue(), arg->getSpelling());
1275 
1276   // --threads= takes a positive integer and provides the default value for
1277   // --thinlto-jobs=.
1278   if (auto *arg = args.getLastArg(OPT_threads)) {
1279     StringRef v(arg->getValue());
1280     unsigned threads = 0;
1281     if (!llvm::to_integer(v, threads, 0) || threads == 0)
1282       error(arg->getSpelling() + ": expected a positive integer, but got '" +
1283             arg->getValue() + "'");
1284     parallel::strategy = hardware_concurrency(threads);
1285     config->thinLTOJobs = v;
1286   }
1287   if (auto *arg = args.getLastArg(OPT_thinlto_jobs))
1288     config->thinLTOJobs = arg->getValue();
1289 
1290   if (config->ltoo > 3)
1291     error("invalid optimization level for LTO: " + Twine(config->ltoo));
1292   if (config->ltoPartitions == 0)
1293     error("--lto-partitions: number of threads must be > 0");
1294   if (!get_threadpool_strategy(config->thinLTOJobs))
1295     error("--thinlto-jobs: invalid job count: " + config->thinLTOJobs);
1296 
1297   if (config->splitStackAdjustSize < 0)
1298     error("--split-stack-adjust-size: size must be >= 0");
1299 
1300   // The text segment is traditionally the first segment, whose address equals
1301   // the base address. However, lld places the R PT_LOAD first. -Ttext-segment
1302   // is an old-fashioned option that does not play well with lld's layout.
1303   // Suggest --image-base as a likely alternative.
1304   if (args.hasArg(OPT_Ttext_segment))
1305     error("-Ttext-segment is not supported. Use --image-base if you "
1306           "intend to set the base address");
1307 
1308   // Parse ELF{32,64}{LE,BE} and CPU type.
1309   if (auto *arg = args.getLastArg(OPT_m)) {
1310     StringRef s = arg->getValue();
1311     std::tie(config->ekind, config->emachine, config->osabi) =
1312         parseEmulation(s);
1313     config->mipsN32Abi =
1314         (s.startswith("elf32btsmipn32") || s.startswith("elf32ltsmipn32"));
1315     config->emulation = s;
1316   }
1317 
1318   // Parse -hash-style={sysv,gnu,both}.
1319   if (auto *arg = args.getLastArg(OPT_hash_style)) {
1320     StringRef s = arg->getValue();
1321     if (s == "sysv")
1322       config->sysvHash = true;
1323     else if (s == "gnu")
1324       config->gnuHash = true;
1325     else if (s == "both")
1326       config->sysvHash = config->gnuHash = true;
1327     else
1328       error("unknown -hash-style: " + s);
1329   }
1330 
1331   if (args.hasArg(OPT_print_map))
1332     config->mapFile = "-";
1333 
1334   // Page alignment can be disabled by the -n (--nmagic) and -N (--omagic).
1335   // As PT_GNU_RELRO relies on Paging, do not create it when we have disabled
1336   // it.
1337   if (config->nmagic || config->omagic)
1338     config->zRelro = false;
1339 
1340   std::tie(config->buildId, config->buildIdVector) = getBuildId(args);
1341 
1342   std::tie(config->androidPackDynRelocs, config->relrPackDynRelocs) =
1343       getPackDynRelocs(args);
1344 
1345   if (auto *arg = args.getLastArg(OPT_symbol_ordering_file)){
1346     if (args.hasArg(OPT_call_graph_ordering_file))
1347       error("--symbol-ordering-file and --call-graph-order-file "
1348             "may not be used together");
1349     if (Optional<MemoryBufferRef> buffer = readFile(arg->getValue())){
1350       config->symbolOrderingFile = getSymbolOrderingFile(*buffer);
1351       // Also need to disable CallGraphProfileSort to prevent
1352       // LLD order symbols with CGProfile
1353       config->callGraphProfileSort = false;
1354     }
1355   }
1356 
1357   assert(config->versionDefinitions.empty());
1358   config->versionDefinitions.push_back(
1359       {"local", (uint16_t)VER_NDX_LOCAL, {}, {}});
1360   config->versionDefinitions.push_back(
1361       {"global", (uint16_t)VER_NDX_GLOBAL, {}, {}});
1362 
1363   // If --retain-symbol-file is used, we'll keep only the symbols listed in
1364   // the file and discard all others.
1365   if (auto *arg = args.getLastArg(OPT_retain_symbols_file)) {
1366     config->versionDefinitions[VER_NDX_LOCAL].nonLocalPatterns.push_back(
1367         {"*", /*isExternCpp=*/false, /*hasWildcard=*/true});
1368     if (Optional<MemoryBufferRef> buffer = readFile(arg->getValue()))
1369       for (StringRef s : args::getLines(*buffer))
1370         config->versionDefinitions[VER_NDX_GLOBAL].nonLocalPatterns.push_back(
1371             {s, /*isExternCpp=*/false, /*hasWildcard=*/false});
1372   }
1373 
1374   for (opt::Arg *arg : args.filtered(OPT_warn_backrefs_exclude)) {
1375     StringRef pattern(arg->getValue());
1376     if (Expected<GlobPattern> pat = GlobPattern::create(pattern))
1377       config->warnBackrefsExclude.push_back(std::move(*pat));
1378     else
1379       error(arg->getSpelling() + ": " + toString(pat.takeError()));
1380   }
1381 
1382   // For -no-pie and -pie, --export-dynamic-symbol specifies defined symbols
1383   // which should be exported. For -shared, references to matched non-local
1384   // STV_DEFAULT symbols are not bound to definitions within the shared object,
1385   // even if other options express a symbolic intention: -Bsymbolic,
1386   // -Bsymbolic-functions (if STT_FUNC), --dynamic-list.
1387   for (auto *arg : args.filtered(OPT_export_dynamic_symbol))
1388     config->dynamicList.push_back(
1389         {arg->getValue(), /*isExternCpp=*/false,
1390          /*hasWildcard=*/hasWildcard(arg->getValue())});
1391 
1392   // --export-dynamic-symbol-list specifies a list of --export-dynamic-symbol
1393   // patterns. --dynamic-list is --export-dynamic-symbol-list plus -Bsymbolic
1394   // like semantics.
1395   config->symbolic =
1396       config->bsymbolic == BsymbolicKind::All || args.hasArg(OPT_dynamic_list);
1397   for (auto *arg :
1398        args.filtered(OPT_dynamic_list, OPT_export_dynamic_symbol_list))
1399     if (Optional<MemoryBufferRef> buffer = readFile(arg->getValue()))
1400       readDynamicList(*buffer);
1401 
1402   for (auto *arg : args.filtered(OPT_version_script))
1403     if (Optional<std::string> path = searchScript(arg->getValue())) {
1404       if (Optional<MemoryBufferRef> buffer = readFile(*path))
1405         readVersionScript(*buffer);
1406     } else {
1407       error(Twine("cannot find version script ") + arg->getValue());
1408     }
1409 }
1410 
1411 // Some Config members do not directly correspond to any particular
1412 // command line options, but computed based on other Config values.
1413 // This function initialize such members. See Config.h for the details
1414 // of these values.
1415 static void setConfigs(opt::InputArgList &args) {
1416   ELFKind k = config->ekind;
1417   uint16_t m = config->emachine;
1418 
1419   config->copyRelocs = (config->relocatable || config->emitRelocs);
1420   config->is64 = (k == ELF64LEKind || k == ELF64BEKind);
1421   config->isLE = (k == ELF32LEKind || k == ELF64LEKind);
1422   config->endianness = config->isLE ? endianness::little : endianness::big;
1423   config->isMips64EL = (k == ELF64LEKind && m == EM_MIPS);
1424   config->isPic = config->pie || config->shared;
1425   config->picThunk = args.hasArg(OPT_pic_veneer, config->isPic);
1426   config->wordsize = config->is64 ? 8 : 4;
1427 
1428   // ELF defines two different ways to store relocation addends as shown below:
1429   //
1430   //  Rel: Addends are stored to the location where relocations are applied. It
1431   //  cannot pack the full range of addend values for all relocation types, but
1432   //  this only affects relocation types that we don't support emitting as
1433   //  dynamic relocations (see getDynRel).
1434   //  Rela: Addends are stored as part of relocation entry.
1435   //
1436   // In other words, Rela makes it easy to read addends at the price of extra
1437   // 4 or 8 byte for each relocation entry.
1438   //
1439   // We pick the format for dynamic relocations according to the psABI for each
1440   // processor, but a contrary choice can be made if the dynamic loader
1441   // supports.
1442   config->isRela = getIsRela(args);
1443 
1444   // If the output uses REL relocations we must store the dynamic relocation
1445   // addends to the output sections. We also store addends for RELA relocations
1446   // if --apply-dynamic-relocs is used.
1447   // We default to not writing the addends when using RELA relocations since
1448   // any standard conforming tool can find it in r_addend.
1449   config->writeAddends = args.hasFlag(OPT_apply_dynamic_relocs,
1450                                       OPT_no_apply_dynamic_relocs, false) ||
1451                          !config->isRela;
1452   // Validation of dynamic relocation addends is on by default for assertions
1453   // builds (for supported targets) and disabled otherwise. Ideally we would
1454   // enable the debug checks for all targets, but currently not all targets
1455   // have support for reading Elf_Rel addends, so we only enable for a subset.
1456 #ifndef NDEBUG
1457   bool checkDynamicRelocsDefault = m == EM_ARM || m == EM_386 || m == EM_MIPS ||
1458                                    m == EM_X86_64 || m == EM_RISCV;
1459 #else
1460   bool checkDynamicRelocsDefault = false;
1461 #endif
1462   config->checkDynamicRelocs =
1463       args.hasFlag(OPT_check_dynamic_relocations,
1464                    OPT_no_check_dynamic_relocations, checkDynamicRelocsDefault);
1465   config->tocOptimize =
1466       args.hasFlag(OPT_toc_optimize, OPT_no_toc_optimize, m == EM_PPC64);
1467   config->pcRelOptimize =
1468       args.hasFlag(OPT_pcrel_optimize, OPT_no_pcrel_optimize, m == EM_PPC64);
1469 }
1470 
1471 // Returns a value of "-format" option.
1472 static bool isFormatBinary(StringRef s) {
1473   if (s == "binary")
1474     return true;
1475   if (s == "elf" || s == "default")
1476     return false;
1477   error("unknown -format value: " + s +
1478         " (supported formats: elf, default, binary)");
1479   return false;
1480 }
1481 
1482 void LinkerDriver::createFiles(opt::InputArgList &args) {
1483   llvm::TimeTraceScope timeScope("Load input files");
1484   // For --{push,pop}-state.
1485   std::vector<std::tuple<bool, bool, bool>> stack;
1486 
1487   // Iterate over argv to process input files and positional arguments.
1488   InputFile::isInGroup = false;
1489   for (auto *arg : args) {
1490     switch (arg->getOption().getID()) {
1491     case OPT_library:
1492       addLibrary(arg->getValue());
1493       break;
1494     case OPT_INPUT:
1495       addFile(arg->getValue(), /*withLOption=*/false);
1496       break;
1497     case OPT_defsym: {
1498       StringRef from;
1499       StringRef to;
1500       std::tie(from, to) = StringRef(arg->getValue()).split('=');
1501       if (from.empty() || to.empty())
1502         error("-defsym: syntax error: " + StringRef(arg->getValue()));
1503       else
1504         readDefsym(from, MemoryBufferRef(to, "-defsym"));
1505       break;
1506     }
1507     case OPT_script:
1508       if (Optional<std::string> path = searchScript(arg->getValue())) {
1509         if (Optional<MemoryBufferRef> mb = readFile(*path))
1510           readLinkerScript(*mb);
1511         break;
1512       }
1513       error(Twine("cannot find linker script ") + arg->getValue());
1514       break;
1515     case OPT_as_needed:
1516       config->asNeeded = true;
1517       break;
1518     case OPT_format:
1519       config->formatBinary = isFormatBinary(arg->getValue());
1520       break;
1521     case OPT_no_as_needed:
1522       config->asNeeded = false;
1523       break;
1524     case OPT_Bstatic:
1525     case OPT_omagic:
1526     case OPT_nmagic:
1527       config->isStatic = true;
1528       break;
1529     case OPT_Bdynamic:
1530       config->isStatic = false;
1531       break;
1532     case OPT_whole_archive:
1533       inWholeArchive = true;
1534       break;
1535     case OPT_no_whole_archive:
1536       inWholeArchive = false;
1537       break;
1538     case OPT_just_symbols:
1539       if (Optional<MemoryBufferRef> mb = readFile(arg->getValue())) {
1540         files.push_back(createObjectFile(*mb));
1541         files.back()->justSymbols = true;
1542       }
1543       break;
1544     case OPT_start_group:
1545       if (InputFile::isInGroup)
1546         error("nested --start-group");
1547       InputFile::isInGroup = true;
1548       break;
1549     case OPT_end_group:
1550       if (!InputFile::isInGroup)
1551         error("stray --end-group");
1552       InputFile::isInGroup = false;
1553       ++InputFile::nextGroupId;
1554       break;
1555     case OPT_start_lib:
1556       if (inLib)
1557         error("nested --start-lib");
1558       if (InputFile::isInGroup)
1559         error("may not nest --start-lib in --start-group");
1560       inLib = true;
1561       InputFile::isInGroup = true;
1562       break;
1563     case OPT_end_lib:
1564       if (!inLib)
1565         error("stray --end-lib");
1566       inLib = false;
1567       InputFile::isInGroup = false;
1568       ++InputFile::nextGroupId;
1569       break;
1570     case OPT_push_state:
1571       stack.emplace_back(config->asNeeded, config->isStatic, inWholeArchive);
1572       break;
1573     case OPT_pop_state:
1574       if (stack.empty()) {
1575         error("unbalanced --push-state/--pop-state");
1576         break;
1577       }
1578       std::tie(config->asNeeded, config->isStatic, inWholeArchive) = stack.back();
1579       stack.pop_back();
1580       break;
1581     }
1582   }
1583 
1584   if (files.empty() && errorCount() == 0)
1585     error("no input files");
1586 }
1587 
1588 // If -m <machine_type> was not given, infer it from object files.
1589 void LinkerDriver::inferMachineType() {
1590   if (config->ekind != ELFNoneKind)
1591     return;
1592 
1593   for (InputFile *f : files) {
1594     if (f->ekind == ELFNoneKind)
1595       continue;
1596     config->ekind = f->ekind;
1597     config->emachine = f->emachine;
1598     config->osabi = f->osabi;
1599     config->mipsN32Abi = config->emachine == EM_MIPS && isMipsN32Abi(f);
1600     return;
1601   }
1602   error("target emulation unknown: -m or at least one .o file required");
1603 }
1604 
1605 // Parse -z max-page-size=<value>. The default value is defined by
1606 // each target.
1607 static uint64_t getMaxPageSize(opt::InputArgList &args) {
1608   uint64_t val = args::getZOptionValue(args, OPT_z, "max-page-size",
1609                                        target->defaultMaxPageSize);
1610   if (!isPowerOf2_64(val))
1611     error("max-page-size: value isn't a power of 2");
1612   if (config->nmagic || config->omagic) {
1613     if (val != target->defaultMaxPageSize)
1614       warn("-z max-page-size set, but paging disabled by omagic or nmagic");
1615     return 1;
1616   }
1617   return val;
1618 }
1619 
1620 // Parse -z common-page-size=<value>. The default value is defined by
1621 // each target.
1622 static uint64_t getCommonPageSize(opt::InputArgList &args) {
1623   uint64_t val = args::getZOptionValue(args, OPT_z, "common-page-size",
1624                                        target->defaultCommonPageSize);
1625   if (!isPowerOf2_64(val))
1626     error("common-page-size: value isn't a power of 2");
1627   if (config->nmagic || config->omagic) {
1628     if (val != target->defaultCommonPageSize)
1629       warn("-z common-page-size set, but paging disabled by omagic or nmagic");
1630     return 1;
1631   }
1632   // commonPageSize can't be larger than maxPageSize.
1633   if (val > config->maxPageSize)
1634     val = config->maxPageSize;
1635   return val;
1636 }
1637 
1638 // Parses -image-base option.
1639 static Optional<uint64_t> getImageBase(opt::InputArgList &args) {
1640   // Because we are using "Config->maxPageSize" here, this function has to be
1641   // called after the variable is initialized.
1642   auto *arg = args.getLastArg(OPT_image_base);
1643   if (!arg)
1644     return None;
1645 
1646   StringRef s = arg->getValue();
1647   uint64_t v;
1648   if (!to_integer(s, v)) {
1649     error("-image-base: number expected, but got " + s);
1650     return 0;
1651   }
1652   if ((v % config->maxPageSize) != 0)
1653     warn("-image-base: address isn't multiple of page size: " + s);
1654   return v;
1655 }
1656 
1657 // Parses `--exclude-libs=lib,lib,...`.
1658 // The library names may be delimited by commas or colons.
1659 static DenseSet<StringRef> getExcludeLibs(opt::InputArgList &args) {
1660   DenseSet<StringRef> ret;
1661   for (auto *arg : args.filtered(OPT_exclude_libs)) {
1662     StringRef s = arg->getValue();
1663     for (;;) {
1664       size_t pos = s.find_first_of(",:");
1665       if (pos == StringRef::npos)
1666         break;
1667       ret.insert(s.substr(0, pos));
1668       s = s.substr(pos + 1);
1669     }
1670     ret.insert(s);
1671   }
1672   return ret;
1673 }
1674 
1675 // Handles the -exclude-libs option. If a static library file is specified
1676 // by the -exclude-libs option, all public symbols from the archive become
1677 // private unless otherwise specified by version scripts or something.
1678 // A special library name "ALL" means all archive files.
1679 //
1680 // This is not a popular option, but some programs such as bionic libc use it.
1681 static void excludeLibs(opt::InputArgList &args) {
1682   DenseSet<StringRef> libs = getExcludeLibs(args);
1683   bool all = libs.count("ALL");
1684 
1685   auto visit = [&](InputFile *file) {
1686     if (!file->archiveName.empty())
1687       if (all || libs.count(path::filename(file->archiveName)))
1688         for (Symbol *sym : file->getSymbols())
1689           if (!sym->isUndefined() && !sym->isLocal() && sym->file == file)
1690             sym->versionId = VER_NDX_LOCAL;
1691   };
1692 
1693   for (InputFile *file : objectFiles)
1694     visit(file);
1695 
1696   for (BitcodeFile *file : bitcodeFiles)
1697     visit(file);
1698 }
1699 
1700 // Force Sym to be entered in the output.
1701 static void handleUndefined(Symbol *sym, const char *option) {
1702   // Since a symbol may not be used inside the program, LTO may
1703   // eliminate it. Mark the symbol as "used" to prevent it.
1704   sym->isUsedInRegularObj = true;
1705 
1706   if (!sym->isLazy())
1707     return;
1708   sym->fetch();
1709   if (!config->whyExtract.empty())
1710     whyExtract.emplace_back(option, sym->file, *sym);
1711 }
1712 
1713 // As an extension to GNU linkers, lld supports a variant of `-u`
1714 // which accepts wildcard patterns. All symbols that match a given
1715 // pattern are handled as if they were given by `-u`.
1716 static void handleUndefinedGlob(StringRef arg) {
1717   Expected<GlobPattern> pat = GlobPattern::create(arg);
1718   if (!pat) {
1719     error("--undefined-glob: " + toString(pat.takeError()));
1720     return;
1721   }
1722 
1723   std::vector<Symbol *> syms;
1724   for (Symbol *sym : symtab->symbols()) {
1725     // Calling Sym->fetch() from here is not safe because it may
1726     // add new symbols to the symbol table, invalidating the
1727     // current iterator. So we just keep a note.
1728     if (pat->match(sym->getName()))
1729       syms.push_back(sym);
1730   }
1731 
1732   for (Symbol *sym : syms)
1733     handleUndefined(sym, "--undefined-glob");
1734 }
1735 
1736 static void handleLibcall(StringRef name) {
1737   Symbol *sym = symtab->find(name);
1738   if (!sym || !sym->isLazy())
1739     return;
1740 
1741   MemoryBufferRef mb;
1742   if (auto *lo = dyn_cast<LazyObject>(sym))
1743     mb = lo->file->mb;
1744   else
1745     mb = cast<LazyArchive>(sym)->getMemberBuffer();
1746 
1747   if (isBitcode(mb))
1748     sym->fetch();
1749 }
1750 
1751 // Handle --dependency-file=<path>. If that option is given, lld creates a
1752 // file at a given path with the following contents:
1753 //
1754 //   <output-file>: <input-file> ...
1755 //
1756 //   <input-file>:
1757 //
1758 // where <output-file> is a pathname of an output file and <input-file>
1759 // ... is a list of pathnames of all input files. `make` command can read a
1760 // file in the above format and interpret it as a dependency info. We write
1761 // phony targets for every <input-file> to avoid an error when that file is
1762 // removed.
1763 //
1764 // This option is useful if you want to make your final executable to depend
1765 // on all input files including system libraries. Here is why.
1766 //
1767 // When you write a Makefile, you usually write it so that the final
1768 // executable depends on all user-generated object files. Normally, you
1769 // don't make your executable to depend on system libraries (such as libc)
1770 // because you don't know the exact paths of libraries, even though system
1771 // libraries that are linked to your executable statically are technically a
1772 // part of your program. By using --dependency-file option, you can make
1773 // lld to dump dependency info so that you can maintain exact dependencies
1774 // easily.
1775 static void writeDependencyFile() {
1776   std::error_code ec;
1777   raw_fd_ostream os(config->dependencyFile, ec, sys::fs::OF_None);
1778   if (ec) {
1779     error("cannot open " + config->dependencyFile + ": " + ec.message());
1780     return;
1781   }
1782 
1783   // We use the same escape rules as Clang/GCC which are accepted by Make/Ninja:
1784   // * A space is escaped by a backslash which itself must be escaped.
1785   // * A hash sign is escaped by a single backslash.
1786   // * $ is escapes as $$.
1787   auto printFilename = [](raw_fd_ostream &os, StringRef filename) {
1788     llvm::SmallString<256> nativePath;
1789     llvm::sys::path::native(filename.str(), nativePath);
1790     llvm::sys::path::remove_dots(nativePath, /*remove_dot_dot=*/true);
1791     for (unsigned i = 0, e = nativePath.size(); i != e; ++i) {
1792       if (nativePath[i] == '#') {
1793         os << '\\';
1794       } else if (nativePath[i] == ' ') {
1795         os << '\\';
1796         unsigned j = i;
1797         while (j > 0 && nativePath[--j] == '\\')
1798           os << '\\';
1799       } else if (nativePath[i] == '$') {
1800         os << '$';
1801       }
1802       os << nativePath[i];
1803     }
1804   };
1805 
1806   os << config->outputFile << ":";
1807   for (StringRef path : config->dependencyFiles) {
1808     os << " \\\n ";
1809     printFilename(os, path);
1810   }
1811   os << "\n";
1812 
1813   for (StringRef path : config->dependencyFiles) {
1814     os << "\n";
1815     printFilename(os, path);
1816     os << ":\n";
1817   }
1818 }
1819 
1820 // Replaces common symbols with defined symbols reside in .bss sections.
1821 // This function is called after all symbol names are resolved. As a
1822 // result, the passes after the symbol resolution won't see any
1823 // symbols of type CommonSymbol.
1824 static void replaceCommonSymbols() {
1825   llvm::TimeTraceScope timeScope("Replace common symbols");
1826   for (Symbol *sym : symtab->symbols()) {
1827     auto *s = dyn_cast<CommonSymbol>(sym);
1828     if (!s)
1829       continue;
1830 
1831     auto *bss = make<BssSection>("COMMON", s->size, s->alignment);
1832     bss->file = s->file;
1833     bss->markDead();
1834     inputSections.push_back(bss);
1835     s->replace(Defined{s->file, s->getName(), s->binding, s->stOther, s->type,
1836                        /*value=*/0, s->size, bss});
1837   }
1838 }
1839 
1840 // If all references to a DSO happen to be weak, the DSO is not added
1841 // to DT_NEEDED. If that happens, we need to eliminate shared symbols
1842 // created from the DSO. Otherwise, they become dangling references
1843 // that point to a non-existent DSO.
1844 static void demoteSharedSymbols() {
1845   llvm::TimeTraceScope timeScope("Demote shared symbols");
1846   for (Symbol *sym : symtab->symbols()) {
1847     auto *s = dyn_cast<SharedSymbol>(sym);
1848     if (!s || s->getFile().isNeeded)
1849       continue;
1850 
1851     bool used = s->used;
1852     s->replace(Undefined{nullptr, s->getName(), STB_WEAK, s->stOther, s->type});
1853     s->used = used;
1854   }
1855 }
1856 
1857 // The section referred to by `s` is considered address-significant. Set the
1858 // keepUnique flag on the section if appropriate.
1859 static void markAddrsig(Symbol *s) {
1860   if (auto *d = dyn_cast_or_null<Defined>(s))
1861     if (d->section)
1862       // We don't need to keep text sections unique under --icf=all even if they
1863       // are address-significant.
1864       if (config->icf == ICFLevel::Safe || !(d->section->flags & SHF_EXECINSTR))
1865         d->section->keepUnique = true;
1866 }
1867 
1868 // Record sections that define symbols mentioned in --keep-unique <symbol>
1869 // and symbols referred to by address-significance tables. These sections are
1870 // ineligible for ICF.
1871 template <class ELFT>
1872 static void findKeepUniqueSections(opt::InputArgList &args) {
1873   for (auto *arg : args.filtered(OPT_keep_unique)) {
1874     StringRef name = arg->getValue();
1875     auto *d = dyn_cast_or_null<Defined>(symtab->find(name));
1876     if (!d || !d->section) {
1877       warn("could not find symbol " + name + " to keep unique");
1878       continue;
1879     }
1880     d->section->keepUnique = true;
1881   }
1882 
1883   // --icf=all --ignore-data-address-equality means that we can ignore
1884   // the dynsym and address-significance tables entirely.
1885   if (config->icf == ICFLevel::All && config->ignoreDataAddressEquality)
1886     return;
1887 
1888   // Symbols in the dynsym could be address-significant in other executables
1889   // or DSOs, so we conservatively mark them as address-significant.
1890   for (Symbol *sym : symtab->symbols())
1891     if (sym->includeInDynsym())
1892       markAddrsig(sym);
1893 
1894   // Visit the address-significance table in each object file and mark each
1895   // referenced symbol as address-significant.
1896   for (InputFile *f : objectFiles) {
1897     auto *obj = cast<ObjFile<ELFT>>(f);
1898     ArrayRef<Symbol *> syms = obj->getSymbols();
1899     if (obj->addrsigSec) {
1900       ArrayRef<uint8_t> contents =
1901           check(obj->getObj().getSectionContents(*obj->addrsigSec));
1902       const uint8_t *cur = contents.begin();
1903       while (cur != contents.end()) {
1904         unsigned size;
1905         const char *err;
1906         uint64_t symIndex = decodeULEB128(cur, &size, contents.end(), &err);
1907         if (err)
1908           fatal(toString(f) + ": could not decode addrsig section: " + err);
1909         markAddrsig(syms[symIndex]);
1910         cur += size;
1911       }
1912     } else {
1913       // If an object file does not have an address-significance table,
1914       // conservatively mark all of its symbols as address-significant.
1915       for (Symbol *s : syms)
1916         markAddrsig(s);
1917     }
1918   }
1919 }
1920 
1921 // This function reads a symbol partition specification section. These sections
1922 // are used to control which partition a symbol is allocated to. See
1923 // https://lld.llvm.org/Partitions.html for more details on partitions.
1924 template <typename ELFT>
1925 static void readSymbolPartitionSection(InputSectionBase *s) {
1926   // Read the relocation that refers to the partition's entry point symbol.
1927   Symbol *sym;
1928   if (s->areRelocsRela)
1929     sym = &s->getFile<ELFT>()->getRelocTargetSym(s->template relas<ELFT>()[0]);
1930   else
1931     sym = &s->getFile<ELFT>()->getRelocTargetSym(s->template rels<ELFT>()[0]);
1932   if (!isa<Defined>(sym) || !sym->includeInDynsym())
1933     return;
1934 
1935   StringRef partName = reinterpret_cast<const char *>(s->data().data());
1936   for (Partition &part : partitions) {
1937     if (part.name == partName) {
1938       sym->partition = part.getNumber();
1939       return;
1940     }
1941   }
1942 
1943   // Forbid partitions from being used on incompatible targets, and forbid them
1944   // from being used together with various linker features that assume a single
1945   // set of output sections.
1946   if (script->hasSectionsCommand)
1947     error(toString(s->file) +
1948           ": partitions cannot be used with the SECTIONS command");
1949   if (script->hasPhdrsCommands())
1950     error(toString(s->file) +
1951           ": partitions cannot be used with the PHDRS command");
1952   if (!config->sectionStartMap.empty())
1953     error(toString(s->file) + ": partitions cannot be used with "
1954                               "--section-start, -Ttext, -Tdata or -Tbss");
1955   if (config->emachine == EM_MIPS)
1956     error(toString(s->file) + ": partitions cannot be used on this target");
1957 
1958   // Impose a limit of no more than 254 partitions. This limit comes from the
1959   // sizes of the Partition fields in InputSectionBase and Symbol, as well as
1960   // the amount of space devoted to the partition number in RankFlags.
1961   if (partitions.size() == 254)
1962     fatal("may not have more than 254 partitions");
1963 
1964   partitions.emplace_back();
1965   Partition &newPart = partitions.back();
1966   newPart.name = partName;
1967   sym->partition = newPart.getNumber();
1968 }
1969 
1970 static Symbol *addUndefined(StringRef name) {
1971   return symtab->addSymbol(
1972       Undefined{nullptr, name, STB_GLOBAL, STV_DEFAULT, 0});
1973 }
1974 
1975 static Symbol *addUnusedUndefined(StringRef name,
1976                                   uint8_t binding = STB_GLOBAL) {
1977   Undefined sym{nullptr, name, binding, STV_DEFAULT, 0};
1978   sym.isUsedInRegularObj = false;
1979   return symtab->addSymbol(sym);
1980 }
1981 
1982 // This function is where all the optimizations of link-time
1983 // optimization takes place. When LTO is in use, some input files are
1984 // not in native object file format but in the LLVM bitcode format.
1985 // This function compiles bitcode files into a few big native files
1986 // using LLVM functions and replaces bitcode symbols with the results.
1987 // Because all bitcode files that the program consists of are passed to
1988 // the compiler at once, it can do a whole-program optimization.
1989 template <class ELFT> void LinkerDriver::compileBitcodeFiles() {
1990   llvm::TimeTraceScope timeScope("LTO");
1991   // Compile bitcode files and replace bitcode symbols.
1992   lto.reset(new BitcodeCompiler);
1993   for (BitcodeFile *file : bitcodeFiles)
1994     lto->add(*file);
1995 
1996   for (InputFile *file : lto->compile()) {
1997     auto *obj = cast<ObjFile<ELFT>>(file);
1998     obj->parse(/*ignoreComdats=*/true);
1999 
2000     // Parse '@' in symbol names for non-relocatable output.
2001     if (!config->relocatable)
2002       for (Symbol *sym : obj->getGlobalSymbols())
2003         sym->parseSymbolVersion();
2004     objectFiles.push_back(file);
2005   }
2006 }
2007 
2008 // The --wrap option is a feature to rename symbols so that you can write
2009 // wrappers for existing functions. If you pass `-wrap=foo`, all
2010 // occurrences of symbol `foo` are resolved to `__wrap_foo` (so, you are
2011 // expected to write `__wrap_foo` function as a wrapper). The original
2012 // symbol becomes accessible as `__real_foo`, so you can call that from your
2013 // wrapper.
2014 //
2015 // This data structure is instantiated for each -wrap option.
2016 struct WrappedSymbol {
2017   Symbol *sym;
2018   Symbol *real;
2019   Symbol *wrap;
2020 };
2021 
2022 // Handles -wrap option.
2023 //
2024 // This function instantiates wrapper symbols. At this point, they seem
2025 // like they are not being used at all, so we explicitly set some flags so
2026 // that LTO won't eliminate them.
2027 static std::vector<WrappedSymbol> addWrappedSymbols(opt::InputArgList &args) {
2028   std::vector<WrappedSymbol> v;
2029   DenseSet<StringRef> seen;
2030 
2031   for (auto *arg : args.filtered(OPT_wrap)) {
2032     StringRef name = arg->getValue();
2033     if (!seen.insert(name).second)
2034       continue;
2035 
2036     Symbol *sym = symtab->find(name);
2037     if (!sym)
2038       continue;
2039 
2040     Symbol *real = addUnusedUndefined(saver.save("__real_" + name));
2041     Symbol *wrap =
2042         addUnusedUndefined(saver.save("__wrap_" + name), sym->binding);
2043     v.push_back({sym, real, wrap});
2044 
2045     // We want to tell LTO not to inline symbols to be overwritten
2046     // because LTO doesn't know the final symbol contents after renaming.
2047     real->canInline = false;
2048     sym->canInline = false;
2049 
2050     // Tell LTO not to eliminate these symbols.
2051     sym->isUsedInRegularObj = true;
2052     // If sym is referenced in any object file, bitcode file or shared object,
2053     // retain wrap which is the redirection target of sym. If the object file
2054     // defining sym has sym references, we cannot easily distinguish the case
2055     // from cases where sym is not referenced. Retain wrap because we choose to
2056     // wrap sym references regardless of whether sym is defined
2057     // (https://sourceware.org/bugzilla/show_bug.cgi?id=26358).
2058     if (sym->referenced || sym->isDefined())
2059       wrap->isUsedInRegularObj = true;
2060   }
2061   return v;
2062 }
2063 
2064 // Do renaming for -wrap and foo@v1 by updating pointers to symbols.
2065 //
2066 // When this function is executed, only InputFiles and symbol table
2067 // contain pointers to symbol objects. We visit them to replace pointers,
2068 // so that wrapped symbols are swapped as instructed by the command line.
2069 static void redirectSymbols(ArrayRef<WrappedSymbol> wrapped) {
2070   llvm::TimeTraceScope timeScope("Redirect symbols");
2071   DenseMap<Symbol *, Symbol *> map;
2072   for (const WrappedSymbol &w : wrapped) {
2073     map[w.sym] = w.wrap;
2074     map[w.real] = w.sym;
2075   }
2076   for (Symbol *sym : symtab->symbols()) {
2077     // Enumerate symbols with a non-default version (foo@v1).
2078     StringRef name = sym->getName();
2079     const char *suffix1 = sym->getVersionSuffix();
2080     if (suffix1[0] != '@' || suffix1[1] == '@')
2081       continue;
2082 
2083     // Check the existing symbol foo. We have two special cases to handle:
2084     //
2085     // * There is a definition of foo@v1 and foo@@v1.
2086     // * There is a definition of foo@v1 and foo.
2087     Defined *sym2 = dyn_cast_or_null<Defined>(symtab->find(name));
2088     if (!sym2)
2089       continue;
2090     const char *suffix2 = sym2->getVersionSuffix();
2091     if (suffix2[0] == '@' && suffix2[1] == '@' &&
2092         strcmp(suffix1 + 1, suffix2 + 2) == 0) {
2093       // foo@v1 and foo@@v1 should be merged, so redirect foo@v1 to foo@@v1.
2094       map.try_emplace(sym, sym2);
2095       // If both foo@v1 and foo@@v1 are defined and non-weak, report a duplicate
2096       // definition error.
2097       sym2->resolve(*sym);
2098       // Eliminate foo@v1 from the symbol table.
2099       sym->symbolKind = Symbol::PlaceholderKind;
2100     } else if (auto *sym1 = dyn_cast<Defined>(sym)) {
2101       if (sym2->versionId > VER_NDX_GLOBAL
2102               ? config->versionDefinitions[sym2->versionId].name == suffix1 + 1
2103               : sym1->section == sym2->section && sym1->value == sym2->value) {
2104         // Due to an assembler design flaw, if foo is defined, .symver foo,
2105         // foo@v1 defines both foo and foo@v1. Unless foo is bound to a
2106         // different version, GNU ld makes foo@v1 canonical and eliminates foo.
2107         // Emulate its behavior, otherwise we would have foo or foo@@v1 beside
2108         // foo@v1. foo@v1 and foo combining does not apply if they are not
2109         // defined in the same place.
2110         map.try_emplace(sym2, sym);
2111         sym2->symbolKind = Symbol::PlaceholderKind;
2112       }
2113     }
2114   }
2115 
2116   if (map.empty())
2117     return;
2118 
2119   // Update pointers in input files.
2120   parallelForEach(objectFiles, [&](InputFile *file) {
2121     MutableArrayRef<Symbol *> syms = file->getMutableSymbols();
2122     for (size_t i = 0, e = syms.size(); i != e; ++i)
2123       if (Symbol *s = map.lookup(syms[i]))
2124         syms[i] = s;
2125   });
2126 
2127   // Update pointers in the symbol table.
2128   for (const WrappedSymbol &w : wrapped)
2129     symtab->wrap(w.sym, w.real, w.wrap);
2130 }
2131 
2132 // To enable CET (x86's hardware-assited control flow enforcement), each
2133 // source file must be compiled with -fcf-protection. Object files compiled
2134 // with the flag contain feature flags indicating that they are compatible
2135 // with CET. We enable the feature only when all object files are compatible
2136 // with CET.
2137 //
2138 // This is also the case with AARCH64's BTI and PAC which use the similar
2139 // GNU_PROPERTY_AARCH64_FEATURE_1_AND mechanism.
2140 template <class ELFT> static uint32_t getAndFeatures() {
2141   if (config->emachine != EM_386 && config->emachine != EM_X86_64 &&
2142       config->emachine != EM_AARCH64)
2143     return 0;
2144 
2145   uint32_t ret = -1;
2146   for (InputFile *f : objectFiles) {
2147     uint32_t features = cast<ObjFile<ELFT>>(f)->andFeatures;
2148     if (config->zForceBti && !(features & GNU_PROPERTY_AARCH64_FEATURE_1_BTI)) {
2149       warn(toString(f) + ": -z force-bti: file does not have "
2150                          "GNU_PROPERTY_AARCH64_FEATURE_1_BTI property");
2151       features |= GNU_PROPERTY_AARCH64_FEATURE_1_BTI;
2152     } else if (config->zForceIbt &&
2153                !(features & GNU_PROPERTY_X86_FEATURE_1_IBT)) {
2154       warn(toString(f) + ": -z force-ibt: file does not have "
2155                          "GNU_PROPERTY_X86_FEATURE_1_IBT property");
2156       features |= GNU_PROPERTY_X86_FEATURE_1_IBT;
2157     }
2158     if (config->zPacPlt && !(features & GNU_PROPERTY_AARCH64_FEATURE_1_PAC)) {
2159       warn(toString(f) + ": -z pac-plt: file does not have "
2160                          "GNU_PROPERTY_AARCH64_FEATURE_1_PAC property");
2161       features |= GNU_PROPERTY_AARCH64_FEATURE_1_PAC;
2162     }
2163     ret &= features;
2164   }
2165 
2166   // Force enable Shadow Stack.
2167   if (config->zShstk)
2168     ret |= GNU_PROPERTY_X86_FEATURE_1_SHSTK;
2169 
2170   return ret;
2171 }
2172 
2173 // Do actual linking. Note that when this function is called,
2174 // all linker scripts have already been parsed.
2175 template <class ELFT> void LinkerDriver::link(opt::InputArgList &args) {
2176   llvm::TimeTraceScope timeScope("Link", StringRef("LinkerDriver::Link"));
2177   // If a -hash-style option was not given, set to a default value,
2178   // which varies depending on the target.
2179   if (!args.hasArg(OPT_hash_style)) {
2180     if (config->emachine == EM_MIPS)
2181       config->sysvHash = true;
2182     else
2183       config->sysvHash = config->gnuHash = true;
2184   }
2185 
2186   // Default output filename is "a.out" by the Unix tradition.
2187   if (config->outputFile.empty())
2188     config->outputFile = "a.out";
2189 
2190   // Fail early if the output file or map file is not writable. If a user has a
2191   // long link, e.g. due to a large LTO link, they do not wish to run it and
2192   // find that it failed because there was a mistake in their command-line.
2193   {
2194     llvm::TimeTraceScope timeScope("Create output files");
2195     if (auto e = tryCreateFile(config->outputFile))
2196       error("cannot open output file " + config->outputFile + ": " +
2197             e.message());
2198     if (auto e = tryCreateFile(config->mapFile))
2199       error("cannot open map file " + config->mapFile + ": " + e.message());
2200     if (auto e = tryCreateFile(config->whyExtract))
2201       error("cannot open --why-extract= file " + config->whyExtract + ": " +
2202             e.message());
2203   }
2204   if (errorCount())
2205     return;
2206 
2207   // Use default entry point name if no name was given via the command
2208   // line nor linker scripts. For some reason, MIPS entry point name is
2209   // different from others.
2210   config->warnMissingEntry =
2211       (!config->entry.empty() || (!config->shared && !config->relocatable));
2212   if (config->entry.empty() && !config->relocatable)
2213     config->entry = (config->emachine == EM_MIPS) ? "__start" : "_start";
2214 
2215   // Handle --trace-symbol.
2216   for (auto *arg : args.filtered(OPT_trace_symbol))
2217     symtab->insert(arg->getValue())->traced = true;
2218 
2219   // Handle -u/--undefined before input files. If both a.a and b.so define foo,
2220   // -u foo a.a b.so will fetch a.a.
2221   for (StringRef name : config->undefined)
2222     addUnusedUndefined(name)->referenced = true;
2223 
2224   // Add all files to the symbol table. This will add almost all
2225   // symbols that we need to the symbol table. This process might
2226   // add files to the link, via autolinking, these files are always
2227   // appended to the Files vector.
2228   {
2229     llvm::TimeTraceScope timeScope("Parse input files");
2230     for (size_t i = 0; i < files.size(); ++i) {
2231       llvm::TimeTraceScope timeScope("Parse input files", files[i]->getName());
2232       parseFile(files[i]);
2233     }
2234   }
2235 
2236   // Now that we have every file, we can decide if we will need a
2237   // dynamic symbol table.
2238   // We need one if we were asked to export dynamic symbols or if we are
2239   // producing a shared library.
2240   // We also need one if any shared libraries are used and for pie executables
2241   // (probably because the dynamic linker needs it).
2242   config->hasDynSymTab =
2243       !sharedFiles.empty() || config->isPic || config->exportDynamic;
2244 
2245   // Some symbols (such as __ehdr_start) are defined lazily only when there
2246   // are undefined symbols for them, so we add these to trigger that logic.
2247   for (StringRef name : script->referencedSymbols)
2248     addUndefined(name);
2249 
2250   // Prevent LTO from removing any definition referenced by -u.
2251   for (StringRef name : config->undefined)
2252     if (Defined *sym = dyn_cast_or_null<Defined>(symtab->find(name)))
2253       sym->isUsedInRegularObj = true;
2254 
2255   // If an entry symbol is in a static archive, pull out that file now.
2256   if (Symbol *sym = symtab->find(config->entry))
2257     handleUndefined(sym, "--entry");
2258 
2259   // Handle the `--undefined-glob <pattern>` options.
2260   for (StringRef pat : args::getStrings(args, OPT_undefined_glob))
2261     handleUndefinedGlob(pat);
2262 
2263   // Mark -init and -fini symbols so that the LTO doesn't eliminate them.
2264   if (Symbol *sym = dyn_cast_or_null<Defined>(symtab->find(config->init)))
2265     sym->isUsedInRegularObj = true;
2266   if (Symbol *sym = dyn_cast_or_null<Defined>(symtab->find(config->fini)))
2267     sym->isUsedInRegularObj = true;
2268 
2269   // If any of our inputs are bitcode files, the LTO code generator may create
2270   // references to certain library functions that might not be explicit in the
2271   // bitcode file's symbol table. If any of those library functions are defined
2272   // in a bitcode file in an archive member, we need to arrange to use LTO to
2273   // compile those archive members by adding them to the link beforehand.
2274   //
2275   // However, adding all libcall symbols to the link can have undesired
2276   // consequences. For example, the libgcc implementation of
2277   // __sync_val_compare_and_swap_8 on 32-bit ARM pulls in an .init_array entry
2278   // that aborts the program if the Linux kernel does not support 64-bit
2279   // atomics, which would prevent the program from running even if it does not
2280   // use 64-bit atomics.
2281   //
2282   // Therefore, we only add libcall symbols to the link before LTO if we have
2283   // to, i.e. if the symbol's definition is in bitcode. Any other required
2284   // libcall symbols will be added to the link after LTO when we add the LTO
2285   // object file to the link.
2286   if (!bitcodeFiles.empty())
2287     for (auto *s : lto::LTO::getRuntimeLibcallSymbols())
2288       handleLibcall(s);
2289 
2290   // Return if there were name resolution errors.
2291   if (errorCount())
2292     return;
2293 
2294   // We want to declare linker script's symbols early,
2295   // so that we can version them.
2296   // They also might be exported if referenced by DSOs.
2297   script->declareSymbols();
2298 
2299   // Handle --exclude-libs. This is before scanVersionScript() due to a
2300   // workaround for Android ndk: for a defined versioned symbol in an archive
2301   // without a version node in the version script, Android does not expect a
2302   // 'has undefined version' error in -shared --exclude-libs=ALL mode (PR36295).
2303   // GNU ld errors in this case.
2304   if (args.hasArg(OPT_exclude_libs))
2305     excludeLibs(args);
2306 
2307   // Create elfHeader early. We need a dummy section in
2308   // addReservedSymbols to mark the created symbols as not absolute.
2309   Out::elfHeader = make<OutputSection>("", 0, SHF_ALLOC);
2310   Out::elfHeader->size = sizeof(typename ELFT::Ehdr);
2311 
2312   // Create wrapped symbols for -wrap option.
2313   std::vector<WrappedSymbol> wrapped = addWrappedSymbols(args);
2314 
2315   // We need to create some reserved symbols such as _end. Create them.
2316   if (!config->relocatable)
2317     addReservedSymbols();
2318 
2319   // Apply version scripts.
2320   //
2321   // For a relocatable output, version scripts don't make sense, and
2322   // parsing a symbol version string (e.g. dropping "@ver1" from a symbol
2323   // name "foo@ver1") rather do harm, so we don't call this if -r is given.
2324   if (!config->relocatable) {
2325     llvm::TimeTraceScope timeScope("Process symbol versions");
2326     symtab->scanVersionScript();
2327   }
2328 
2329   // Do link-time optimization if given files are LLVM bitcode files.
2330   // This compiles bitcode files into real object files.
2331   //
2332   // With this the symbol table should be complete. After this, no new names
2333   // except a few linker-synthesized ones will be added to the symbol table.
2334   compileBitcodeFiles<ELFT>();
2335 
2336   // Handle --exclude-libs again because lto.tmp may reference additional
2337   // libcalls symbols defined in an excluded archive. This may override
2338   // versionId set by scanVersionScript().
2339   if (args.hasArg(OPT_exclude_libs))
2340     excludeLibs(args);
2341 
2342   // Symbol resolution finished. Report backward reference problems.
2343   reportBackrefs();
2344   if (errorCount())
2345     return;
2346 
2347   // If -thinlto-index-only is given, we should create only "index
2348   // files" and not object files. Index file creation is already done
2349   // in addCombinedLTOObject, so we are done if that's the case.
2350   // Likewise, --plugin-opt=emit-llvm and --plugin-opt=emit-asm are the
2351   // options to create output files in bitcode or assembly code
2352   // respectively. No object files are generated.
2353   // Also bail out here when only certain thinLTO modules are specified for
2354   // compilation. The intermediate object file are the expected output.
2355   if (config->thinLTOIndexOnly || config->emitLLVM || config->ltoEmitAsm ||
2356       !config->thinLTOModulesToCompile.empty())
2357     return;
2358 
2359   // Apply symbol renames for -wrap and combine foo@v1 and foo@@v1.
2360   redirectSymbols(wrapped);
2361 
2362   {
2363     llvm::TimeTraceScope timeScope("Aggregate sections");
2364     // Now that we have a complete list of input files.
2365     // Beyond this point, no new files are added.
2366     // Aggregate all input sections into one place.
2367     for (InputFile *f : objectFiles)
2368       for (InputSectionBase *s : f->getSections())
2369         if (s && s != &InputSection::discarded)
2370           inputSections.push_back(s);
2371     for (BinaryFile *f : binaryFiles)
2372       for (InputSectionBase *s : f->getSections())
2373         inputSections.push_back(cast<InputSection>(s));
2374   }
2375 
2376   {
2377     llvm::TimeTraceScope timeScope("Strip sections");
2378     llvm::erase_if(inputSections, [](InputSectionBase *s) {
2379       if (s->type == SHT_LLVM_SYMPART) {
2380         readSymbolPartitionSection<ELFT>(s);
2381         return true;
2382       }
2383 
2384       // We do not want to emit debug sections if --strip-all
2385       // or -strip-debug are given.
2386       if (config->strip == StripPolicy::None)
2387         return false;
2388 
2389       if (isDebugSection(*s))
2390         return true;
2391       if (auto *isec = dyn_cast<InputSection>(s))
2392         if (InputSectionBase *rel = isec->getRelocatedSection())
2393           if (isDebugSection(*rel))
2394             return true;
2395 
2396       return false;
2397     });
2398   }
2399 
2400   // Since we now have a complete set of input files, we can create
2401   // a .d file to record build dependencies.
2402   if (!config->dependencyFile.empty())
2403     writeDependencyFile();
2404 
2405   // Now that the number of partitions is fixed, save a pointer to the main
2406   // partition.
2407   mainPart = &partitions[0];
2408 
2409   // Read .note.gnu.property sections from input object files which
2410   // contain a hint to tweak linker's and loader's behaviors.
2411   config->andFeatures = getAndFeatures<ELFT>();
2412 
2413   // The Target instance handles target-specific stuff, such as applying
2414   // relocations or writing a PLT section. It also contains target-dependent
2415   // values such as a default image base address.
2416   target = getTarget();
2417 
2418   config->eflags = target->calcEFlags();
2419   // maxPageSize (sometimes called abi page size) is the maximum page size that
2420   // the output can be run on. For example if the OS can use 4k or 64k page
2421   // sizes then maxPageSize must be 64k for the output to be useable on both.
2422   // All important alignment decisions must use this value.
2423   config->maxPageSize = getMaxPageSize(args);
2424   // commonPageSize is the most common page size that the output will be run on.
2425   // For example if an OS can use 4k or 64k page sizes and 4k is more common
2426   // than 64k then commonPageSize is set to 4k. commonPageSize can be used for
2427   // optimizations such as DATA_SEGMENT_ALIGN in linker scripts. LLD's use of it
2428   // is limited to writing trap instructions on the last executable segment.
2429   config->commonPageSize = getCommonPageSize(args);
2430 
2431   config->imageBase = getImageBase(args);
2432 
2433   if (config->emachine == EM_ARM) {
2434     // FIXME: These warnings can be removed when lld only uses these features
2435     // when the input objects have been compiled with an architecture that
2436     // supports them.
2437     if (config->armHasBlx == false)
2438       warn("lld uses blx instruction, no object with architecture supporting "
2439            "feature detected");
2440   }
2441 
2442   // This adds a .comment section containing a version string.
2443   if (!config->relocatable)
2444     inputSections.push_back(createCommentSection());
2445 
2446   // Replace common symbols with regular symbols.
2447   replaceCommonSymbols();
2448 
2449   // Split SHF_MERGE and .eh_frame sections into pieces in preparation for garbage collection.
2450   splitSections<ELFT>();
2451 
2452   // Garbage collection and removal of shared symbols from unused shared objects.
2453   markLive<ELFT>();
2454   demoteSharedSymbols();
2455 
2456   // Make copies of any input sections that need to be copied into each
2457   // partition.
2458   copySectionsIntoPartitions();
2459 
2460   // Create synthesized sections such as .got and .plt. This is called before
2461   // processSectionCommands() so that they can be placed by SECTIONS commands.
2462   createSyntheticSections<ELFT>();
2463 
2464   // Some input sections that are used for exception handling need to be moved
2465   // into synthetic sections. Do that now so that they aren't assigned to
2466   // output sections in the usual way.
2467   if (!config->relocatable)
2468     combineEhSections();
2469 
2470   {
2471     llvm::TimeTraceScope timeScope("Assign sections");
2472 
2473     // Create output sections described by SECTIONS commands.
2474     script->processSectionCommands();
2475 
2476     // Linker scripts control how input sections are assigned to output
2477     // sections. Input sections that were not handled by scripts are called
2478     // "orphans", and they are assigned to output sections by the default rule.
2479     // Process that.
2480     script->addOrphanSections();
2481   }
2482 
2483   {
2484     llvm::TimeTraceScope timeScope("Merge/finalize input sections");
2485 
2486     // Migrate InputSectionDescription::sectionBases to sections. This includes
2487     // merging MergeInputSections into a single MergeSyntheticSection. From this
2488     // point onwards InputSectionDescription::sections should be used instead of
2489     // sectionBases.
2490     for (BaseCommand *base : script->sectionCommands)
2491       if (auto *sec = dyn_cast<OutputSection>(base))
2492         sec->finalizeInputSections();
2493     llvm::erase_if(inputSections, [](InputSectionBase *s) {
2494       return isa<MergeInputSection>(s);
2495     });
2496   }
2497 
2498   // Two input sections with different output sections should not be folded.
2499   // ICF runs after processSectionCommands() so that we know the output sections.
2500   if (config->icf != ICFLevel::None) {
2501     findKeepUniqueSections<ELFT>(args);
2502     doIcf<ELFT>();
2503   }
2504 
2505   // Read the callgraph now that we know what was gced or icfed
2506   if (config->callGraphProfileSort) {
2507     if (auto *arg = args.getLastArg(OPT_call_graph_ordering_file))
2508       if (Optional<MemoryBufferRef> buffer = readFile(arg->getValue()))
2509         readCallGraph(*buffer);
2510     readCallGraphsFromObjectFiles<ELFT>();
2511   }
2512 
2513   // Write the result to the file.
2514   writeResult<ELFT>();
2515 }
2516