1 //===- DriverUtils.cpp ----------------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
11 #include "InputFiles.h"
15 #include "lld/Common/Args.h"
16 #include "lld/Common/CommonLinkerContext.h"
17 #include "lld/Common/Reproduce.h"
18 #include "llvm/ADT/CachedHashString.h"
19 #include "llvm/ADT/DenseMap.h"
20 #include "llvm/LTO/LTO.h"
21 #include "llvm/Option/Arg.h"
22 #include "llvm/Option/ArgList.h"
23 #include "llvm/Option/Option.h"
24 #include "llvm/Support/CommandLine.h"
25 #include "llvm/Support/FileSystem.h"
26 #include "llvm/Support/Path.h"
27 #include "llvm/TextAPI/InterfaceFile.h"
28 #include "llvm/TextAPI/TextAPIReader.h"
31 using namespace llvm::MachO
;
32 using namespace llvm::opt
;
33 using namespace llvm::sys
;
35 using namespace lld::macho
;
37 // Create prefix string literals used in Options.td
38 #define PREFIX(NAME, VALUE) const char *NAME[] = VALUE;
39 #include "Options.inc"
42 // Create table mapping all options defined in Options.td
43 static const OptTable::Info optInfo
[] = {
44 #define OPTION(X1, X2, ID, KIND, GROUP, ALIAS, X7, X8, X9, X10, X11, X12) \
45 {X1, X2, X10, X11, OPT_##ID, Option::KIND##Class, \
46 X9, X8, OPT_##GROUP, OPT_##ALIAS, X7, X12},
47 #include "Options.inc"
51 MachOOptTable::MachOOptTable() : OptTable(optInfo
) {}
53 // Set color diagnostics according to --color-diagnostics={auto,always,never}
54 // or --no-color-diagnostics flags.
55 static void handleColorDiagnostics(InputArgList
&args
) {
57 args
.getLastArg(OPT_color_diagnostics
, OPT_color_diagnostics_eq
,
58 OPT_no_color_diagnostics
);
61 if (arg
->getOption().getID() == OPT_color_diagnostics
) {
62 lld::errs().enable_colors(true);
63 } else if (arg
->getOption().getID() == OPT_no_color_diagnostics
) {
64 lld::errs().enable_colors(false);
66 StringRef s
= arg
->getValue();
68 lld::errs().enable_colors(true);
69 else if (s
== "never")
70 lld::errs().enable_colors(false);
72 error("unknown option: --color-diagnostics=" + s
);
76 InputArgList
MachOOptTable::parse(ArrayRef
<const char *> argv
) {
77 // Make InputArgList from string vectors.
78 unsigned missingIndex
;
79 unsigned missingCount
;
80 SmallVector
<const char *, 256> vec(argv
.data(), argv
.data() + argv
.size());
82 // Expand response files (arguments in the form of @<filename>)
83 // and then parse the argument again.
84 cl::ExpandResponseFiles(saver(), cl::TokenizeGNUCommandLine
, vec
);
85 InputArgList args
= ParseArgs(vec
, missingIndex
, missingCount
);
87 // Handle -fatal_warnings early since it converts missing argument warnings
89 errorHandler().fatalWarnings
= args
.hasArg(OPT_fatal_warnings
);
92 error(Twine(args
.getArgString(missingIndex
)) + ": missing argument");
94 handleColorDiagnostics(args
);
96 for (const Arg
*arg
: args
.filtered(OPT_UNKNOWN
)) {
98 if (findNearest(arg
->getAsString(args
), nearest
) > 1)
99 error("unknown argument '" + arg
->getAsString(args
) + "'");
101 error("unknown argument '" + arg
->getAsString(args
) +
102 "', did you mean '" + nearest
+ "'");
107 void MachOOptTable::printHelp(const char *argv0
, bool showHidden
) const {
108 OptTable::printHelp(lld::outs(),
109 (std::string(argv0
) + " [options] file...").c_str(),
110 "LLVM Linker", showHidden
);
114 static std::string
rewritePath(StringRef s
) {
116 return relativeToRoot(s
);
117 return std::string(s
);
120 static std::string
rewriteInputPath(StringRef s
) {
121 // Don't bother rewriting "absolute" paths that are actually under the
122 // syslibroot; simply rewriting the syslibroot is sufficient.
123 if (rerootPath(s
) == s
&& fs::exists(s
))
124 return relativeToRoot(s
);
125 return std::string(s
);
128 // Reconstructs command line arguments so that so that you can re-run
129 // the same command with the same inputs. This is for --reproduce.
130 std::string
macho::createResponseFile(const InputArgList
&args
) {
132 raw_svector_ostream
os(data
);
134 // Copy the command line to the output while rewriting paths.
135 for (const Arg
*arg
: args
) {
136 switch (arg
->getOption().getID()) {
140 os
<< quote(rewriteInputPath(arg
->getValue())) << "\n";
143 os
<< "-o " << quote(path::filename(arg
->getValue())) << "\n";
146 if (Optional
<MemoryBufferRef
> buffer
= readFile(arg
->getValue()))
147 for (StringRef path
: args::getLines(*buffer
))
148 os
<< quote(rewriteInputPath(path
)) << "\n";
151 case OPT_weak_library
:
152 os
<< arg
->getSpelling() << " "
153 << quote(rewriteInputPath(arg
->getValue())) << "\n";
157 case OPT_bundle_loader
:
158 case OPT_exported_symbols_list
:
162 case OPT_unexported_symbols_list
:
163 os
<< arg
->getSpelling() << " " << quote(rewritePath(arg
->getValue()))
167 os
<< arg
->getSpelling() << " " << quote(arg
->getValue(0)) << " "
168 << quote(arg
->getValue(1)) << " "
169 << quote(rewritePath(arg
->getValue(2))) << "\n";
172 os
<< toString(*arg
) << "\n";
175 return std::string(data
.str());
178 static void searchedDylib(const Twine
&path
, bool found
) {
179 if (config
->printDylibSearch
)
180 message("searched " + path
+ (found
? ", found " : ", not found"));
182 depTracker
->logFileNotFound(path
);
185 Optional
<StringRef
> macho::resolveDylibPath(StringRef dylibPath
) {
186 // TODO: if a tbd and dylib are both present, we should check to make sure
187 // they are consistent.
188 SmallString
<261> tbdPath
= dylibPath
;
189 path::replace_extension(tbdPath
, ".tbd");
190 bool tbdExists
= fs::exists(tbdPath
);
191 searchedDylib(tbdPath
, tbdExists
);
193 return saver().save(tbdPath
.str());
195 bool dylibExists
= fs::exists(dylibPath
);
196 searchedDylib(dylibPath
, dylibExists
);
198 return saver().save(dylibPath
);
202 // It's not uncommon to have multiple attempts to load a single dylib,
203 // especially if it's a commonly re-exported core library.
204 static DenseMap
<CachedHashStringRef
, DylibFile
*> loadedDylibs
;
206 DylibFile
*macho::loadDylib(MemoryBufferRef mbref
, DylibFile
*umbrella
,
207 bool isBundleLoader
) {
208 CachedHashStringRef
path(mbref
.getBufferIdentifier());
209 DylibFile
*&file
= loadedDylibs
[path
];
214 file_magic magic
= identify_magic(mbref
.getBuffer());
215 if (magic
== file_magic::tapi_file
) {
216 Expected
<std::unique_ptr
<InterfaceFile
>> result
= TextAPIReader::get(mbref
);
218 error("could not load TAPI file at " + mbref
.getBufferIdentifier() +
219 ": " + toString(result
.takeError()));
222 file
= make
<DylibFile
>(**result
, umbrella
, isBundleLoader
);
224 // parseReexports() can recursively call loadDylib(). That's fine since
225 // we wrote the DylibFile we just loaded to the loadDylib cache via the
226 // `file` reference. But the recursive load can grow loadDylibs, so the
227 // `file` reference might become invalid after parseReexports() -- so copy
228 // the pointer it refers to before continuing.
230 if (newFile
->exportingFile
)
231 newFile
->parseReexports(**result
);
233 assert(magic
== file_magic::macho_dynamically_linked_shared_lib
||
234 magic
== file_magic::macho_dynamically_linked_shared_lib_stub
||
235 magic
== file_magic::macho_executable
||
236 magic
== file_magic::macho_bundle
);
237 file
= make
<DylibFile
>(mbref
, umbrella
, isBundleLoader
);
239 // parseLoadCommands() can also recursively call loadDylib(). See comment
240 // in previous block for why this means we must copy `file` here.
242 if (newFile
->exportingFile
)
243 newFile
->parseLoadCommands(mbref
);
248 void macho::resetLoadedDylibs() { loadedDylibs
.clear(); }
251 macho::findPathCombination(const Twine
&name
,
252 const std::vector
<StringRef
> &roots
,
253 ArrayRef
<StringRef
> extensions
) {
254 SmallString
<261> base
;
255 for (StringRef dir
: roots
) {
257 path::append(base
, name
);
258 for (StringRef ext
: extensions
) {
259 Twine location
= base
+ ext
;
260 bool exists
= fs::exists(location
);
261 searchedDylib(location
, exists
);
263 return saver().save(location
.str());
269 StringRef
macho::rerootPath(StringRef path
) {
270 if (!path::is_absolute(path
, path::Style::posix
) || path
.endswith(".o"))
273 if (Optional
<StringRef
> rerootedPath
=
274 findPathCombination(path
, config
->systemLibraryRoots
))
275 return *rerootedPath
;
280 uint32_t macho::getModTime(StringRef path
) {
281 if (config
->zeroModTime
)
284 fs::file_status stat
;
285 if (!fs::status(path
, stat
))
286 if (fs::exists(stat
))
287 return toTimeT(stat
.getLastModificationTime());
289 warn("failed to get modification time of " + path
);
293 void macho::printArchiveMemberLoad(StringRef reason
, const InputFile
*f
) {
294 if (config
->printEachFile
)
295 message(toString(f
));
296 if (config
->printWhyLoad
)
297 message(reason
+ " forced load of " + toString(f
));
300 macho::DependencyTracker::DependencyTracker(StringRef path
)
301 : path(path
), active(!path
.empty()) {
302 if (active
&& fs::exists(path
) && !fs::can_write(path
)) {
303 warn("Ignoring dependency_info option since specified path is not "
309 void macho::DependencyTracker::write(StringRef version
,
310 const SetVector
<InputFile
*> &inputs
,
316 raw_fd_ostream
os(path
, ec
, fs::OF_None
);
318 warn("Error writing dependency info to file");
322 auto addDep
= [&os
](DepOpCode opcode
, const StringRef
&path
) {
323 // XXX: Even though DepOpCode's underlying type is uint8_t,
324 // this cast is still needed because Clang older than 10.x has a bug,
325 // where it doesn't know to cast the enum to its underlying type.
326 // Hence `<< DepOpCode` is ambiguous to it.
327 os
<< static_cast<uint8_t>(opcode
);
332 addDep(DepOpCode::Version
, version
);
334 // Sort the input by its names.
335 std::vector
<StringRef
> inputNames
;
336 inputNames
.reserve(inputs
.size());
337 for (InputFile
*f
: inputs
)
338 inputNames
.push_back(f
->getName());
339 llvm::sort(inputNames
);
341 for (const StringRef
&in
: inputNames
)
342 addDep(DepOpCode::Input
, in
);
344 for (const std::string
&f
: notFounds
)
345 addDep(DepOpCode::NotFound
, f
);
347 addDep(DepOpCode::Output
, output
);