blob: 7d02425adb89b844ea1e867d4c78847af6d94eda [file] [log] [blame]
Chris Lattner825937d2003-09-20 02:42:54 +00001//===- llvm-link.cpp - Low-level LLVM linker ------------------------------===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswell09344dc2003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner345353d2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswell09344dc2003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner9d810e02001-10-13 07:06:23 +00009//
10// This utility may be invoked in the following manner:
Misha Brukmancf0c7442003-09-15 18:34:34 +000011// llvm-link a.bc b.bc c.bc -o x.bc
Chris Lattner9d810e02001-10-13 07:06:23 +000012//
13//===----------------------------------------------------------------------===//
14
Benjamin Kramer0a446fd2015-03-01 21:28:53 +000015#include "llvm/ADT/STLExtras.h"
Chris Lattner27936992007-05-06 05:13:17 +000016#include "llvm/Bitcode/ReaderWriter.h"
Rafael Espindola0d68b4c2015-03-30 21:36:43 +000017#include "llvm/IR/AutoUpgrade.h"
Rafael Espindolad12b4a32014-10-25 04:06:10 +000018#include "llvm/IR/DiagnosticInfo.h"
19#include "llvm/IR/DiagnosticPrinter.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/LLVMContext.h"
21#include "llvm/IR/Module.h"
Teresa Johnson26ab5772016-03-15 00:04:37 +000022#include "llvm/IR/ModuleSummaryIndex.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000023#include "llvm/IR/Verifier.h"
Chandler Carruthe60e57b2013-03-26 02:25:37 +000024#include "llvm/IRReader/IRReader.h"
Teresa Johnson26ab5772016-03-15 00:04:37 +000025#include "llvm/Linker/Linker.h"
26#include "llvm/Object/ModuleSummaryIndexObjectFile.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000027#include "llvm/Support/CommandLine.h"
Benjamin Kramerd59664f2014-04-29 23:26:49 +000028#include "llvm/Support/FileSystem.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000029#include "llvm/Support/ManagedStatic.h"
Michael J. Spencer447762d2010-11-29 18:16:10 +000030#include "llvm/Support/Path.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000031#include "llvm/Support/PrettyStackTrace.h"
32#include "llvm/Support/Signals.h"
Chandler Carruthe60e57b2013-03-26 02:25:37 +000033#include "llvm/Support/SourceMgr.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000034#include "llvm/Support/SystemUtils.h"
35#include "llvm/Support/ToolOutputFile.h"
Mehdi Amini8d051852016-03-19 00:40:31 +000036#include "llvm/Transforms/Utils/FunctionImportUtils.h"
37
Chris Lattner9d810e02001-10-13 07:06:23 +000038#include <memory>
Brian Gaeke960707c2003-11-11 22:41:34 +000039using namespace llvm;
40
Chris Lattnerf5cad152002-07-22 02:10:13 +000041static cl::list<std::string>
42InputFilenames(cl::Positional, cl::OneOrMore,
Gabor Greife16561c2007-07-05 17:07:56 +000043 cl::desc("<input bitcode files>"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000044
Duncan P. N. Exon Smithe8681232015-04-22 04:11:00 +000045static cl::list<std::string> OverridingInputs(
46 "override", cl::ZeroOrMore, cl::value_desc("filename"),
47 cl::desc(
48 "input bitcode file which can override previously defined symbol(s)"));
49
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +000050// Option to simulate function importing for testing. This enables using
51// llvm-link to simulate ThinLTO backend processes.
52static cl::list<std::string> Imports(
53 "import", cl::ZeroOrMore, cl::value_desc("function:filename"),
54 cl::desc("Pair of function name and filename, where function should be "
55 "imported from bitcode in filename"));
56
Teresa Johnson26ab5772016-03-15 00:04:37 +000057// Option to support testing of function importing. The module summary
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +000058// must be specified in the case were we request imports via the -import
59// option, as well as when compiling any module with functions that may be
60// exported (imported by a different llvm-link -import invocation), to ensure
61// consistent promotion and renaming of locals.
Teresa Johnson26ab5772016-03-15 00:04:37 +000062static cl::opt<std::string>
63 SummaryIndex("summary-index", cl::desc("Module summary index filename"),
64 cl::init(""), cl::value_desc("filename"));
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +000065
Chris Lattnerf5cad152002-07-22 02:10:13 +000066static cl::opt<std::string>
67OutputFilename("o", cl::desc("Override output filename"), cl::init("-"),
68 cl::value_desc("filename"));
69
Dan Gohman61a87962009-08-25 15:34:52 +000070static cl::opt<bool>
Artem Belevich020d4fb2015-09-01 17:55:55 +000071Internalize("internalize", cl::desc("Internalize linked symbols"));
72
73static cl::opt<bool>
74OnlyNeeded("only-needed", cl::desc("Link only needed symbols"));
75
76static cl::opt<bool>
Dan Gohman61a87962009-08-25 15:34:52 +000077Force("f", cl::desc("Enable binary output on terminals"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000078
79static cl::opt<bool>
Dan Gohman2b09de92009-09-15 15:35:07 +000080OutputAssembly("S",
81 cl::desc("Write output as LLVM assembly"), cl::Hidden);
82
83static cl::opt<bool>
Chris Lattnerf5cad152002-07-22 02:10:13 +000084Verbose("v", cl::desc("Print information about actions taken"));
85
86static cl::opt<bool>
87DumpAsm("d", cl::desc("Print assembly as linked"), cl::Hidden);
88
Eli Bendersky7da92ed2014-02-20 22:19:24 +000089static cl::opt<bool>
90SuppressWarnings("suppress-warnings", cl::desc("Suppress all linking warnings"),
91 cl::init(false));
92
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +000093static cl::opt<bool> PreserveBitcodeUseListOrder(
94 "preserve-bc-uselistorder",
95 cl::desc("Preserve use-list order when writing LLVM bitcode."),
96 cl::init(true), cl::Hidden);
97
98static cl::opt<bool> PreserveAssemblyUseListOrder(
99 "preserve-ll-uselistorder",
100 cl::desc("Preserve use-list order when writing LLVM assembly."),
101 cl::init(false), cl::Hidden);
102
Rafael Espindolad233b062014-08-26 17:29:46 +0000103// Read the specified bitcode file in and return it. This routine searches the
104// link path for the specified file to try to find it...
Reid Spencerb956fc12004-09-12 23:39:42 +0000105//
Teresa Johnsone5a61912015-12-17 17:14:09 +0000106static std::unique_ptr<Module> loadFile(const char *argv0,
107 const std::string &FN,
108 LLVMContext &Context,
109 bool MaterializeMetadata = true) {
Dan Gohman3d2c9142009-09-12 21:55:12 +0000110 SMDiagnostic Err;
Rafael Espindolaf1f12732013-06-17 17:32:19 +0000111 if (Verbose) errs() << "Loading '" << FN << "'\n";
Teresa Johnsone5a61912015-12-17 17:14:09 +0000112 std::unique_ptr<Module> Result =
113 getLazyIRFileModule(FN, Err, Context, !MaterializeMetadata);
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000114 if (!Result) {
Rafael Espindola5c4f4a62014-08-26 18:03:35 +0000115 Err.print(argv0, errs());
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000116 return nullptr;
117 }
Reid Spencerfe020a32004-09-11 04:32:42 +0000118
Teresa Johnsone5a61912015-12-17 17:14:09 +0000119 if (MaterializeMetadata) {
120 Result->materializeMetadata();
121 UpgradeDebugInfo(*Result);
122 }
Rafael Espindola2fcfb5e2015-03-27 15:55:06 +0000123
Rafael Espindola5c4f4a62014-08-26 18:03:35 +0000124 return Result;
Chris Lattnerae31f5b2001-10-24 06:23:00 +0000125}
Chris Lattner9d810e02001-10-13 07:06:23 +0000126
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000127namespace {
128
129/// Helper to load on demand a Module from file and cache it for subsequent
130/// queries during function importing.
131class ModuleLazyLoaderCache {
132 /// Cache of lazily loaded module for import.
133 StringMap<std::unique_ptr<Module>> ModuleMap;
134
135 /// Retrieve a Module from the cache or lazily load it on demand.
136 std::function<std::unique_ptr<Module>(const char *argv0,
137 const std::string &FileName)>
138 createLazyModule;
139
140public:
141 /// Create the loader, Module will be initialized in \p Context.
142 ModuleLazyLoaderCache(std::function<std::unique_ptr<Module>(
143 const char *argv0, const std::string &FileName)>
144 createLazyModule)
145 : createLazyModule(createLazyModule) {}
146
147 /// Retrieve a Module from the cache or lazily load it on demand.
148 Module &operator()(const char *argv0, const std::string &FileName);
149
150 std::unique_ptr<Module> takeModule(const std::string &FileName) {
151 auto I = ModuleMap.find(FileName);
152 assert(I != ModuleMap.end());
153 std::unique_ptr<Module> Ret = std::move(I->second);
154 ModuleMap.erase(I);
155 return Ret;
156 }
157};
158
159// Get a Module for \p FileName from the cache, or load it lazily.
160Module &ModuleLazyLoaderCache::operator()(const char *argv0,
161 const std::string &Identifier) {
162 auto &Module = ModuleMap[Identifier];
163 if (!Module)
164 Module = createLazyModule(argv0, Identifier);
165 return *Module;
166}
167} // anonymous namespace
168
Rafael Espindola4160f5d2014-10-27 23:02:10 +0000169static void diagnosticHandler(const DiagnosticInfo &DI) {
Rafael Espindolad12b4a32014-10-25 04:06:10 +0000170 unsigned Severity = DI.getSeverity();
171 switch (Severity) {
172 case DS_Error:
173 errs() << "ERROR: ";
Rafael Espindola4160f5d2014-10-27 23:02:10 +0000174 break;
Rafael Espindolad12b4a32014-10-25 04:06:10 +0000175 case DS_Warning:
176 if (SuppressWarnings)
177 return;
178 errs() << "WARNING: ";
179 break;
180 case DS_Remark:
181 case DS_Note:
182 llvm_unreachable("Only expecting warnings and errors");
183 }
184
185 DiagnosticPrinterRawOStream DP(errs());
186 DI.print(DP);
Rafael Espindola4160f5d2014-10-27 23:02:10 +0000187 errs() << '\n';
Rafael Espindolad12b4a32014-10-25 04:06:10 +0000188}
189
Rafael Espindola9d2bfc42015-12-14 23:17:03 +0000190static void diagnosticHandlerWithContext(const DiagnosticInfo &DI, void *C) {
191 diagnosticHandler(DI);
192}
193
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000194/// Import any functions requested via the -import option.
195static bool importFunctions(const char *argv0, LLVMContext &Context,
196 Linker &L) {
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000197 if (SummaryIndex.empty())
198 return true;
199 ErrorOr<std::unique_ptr<ModuleSummaryIndex>> IndexOrErr =
200 llvm::getModuleSummaryIndexForFile(SummaryIndex, diagnosticHandler);
201 std::error_code EC = IndexOrErr.getError();
202 if (EC) {
203 errs() << EC.message() << '\n';
204 return false;
205 }
206 auto Index = std::move(IndexOrErr.get());
207
208 // Map of Module -> List of globals to import from the Module
209 std::map<StringRef, DenseSet<const GlobalValue *>> ModuleToGlobalsToImportMap;
210 auto ModuleLoader = [&Context](const char *argv0,
211 const std::string &Identifier) {
212 return loadFile(argv0, Identifier, Context, false);
213 };
214 ModuleLazyLoaderCache ModuleLoaderCache(ModuleLoader);
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000215 for (const auto &Import : Imports) {
216 // Identify the requested function and its bitcode source file.
217 size_t Idx = Import.find(':');
218 if (Idx == std::string::npos) {
219 errs() << "Import parameter bad format: " << Import << "\n";
220 return false;
221 }
222 std::string FunctionName = Import.substr(0, Idx);
223 std::string FileName = Import.substr(Idx + 1, std::string::npos);
224
225 // Load the specified source module.
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000226 auto &SrcModule = ModuleLoaderCache(argv0, FileName);
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000227
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000228 if (verifyModule(SrcModule, &errs())) {
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000229 errs() << argv0 << ": " << FileName
230 << ": error: input module is broken!\n";
231 return false;
232 }
233
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000234 Function *F = SrcModule.getFunction(FunctionName);
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000235 if (!F) {
236 errs() << "Ignoring import request for non-existent function "
237 << FunctionName << " from " << FileName << "\n";
238 continue;
239 }
240 // We cannot import weak_any functions without possibly affecting the
241 // order they are seen and selected by the linker, changing program
242 // semantics.
243 if (F->hasWeakAnyLinkage()) {
244 errs() << "Ignoring import request for weak-any function " << FunctionName
245 << " from " << FileName << "\n";
246 continue;
247 }
248
249 if (Verbose)
250 errs() << "Importing " << FunctionName << " from " << FileName << "\n";
251
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000252 auto &Entry = ModuleToGlobalsToImportMap[SrcModule.getModuleIdentifier()];
253 Entry.insert(F);
Mehdi Amini8d051852016-03-19 00:40:31 +0000254
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000255 F->materialize();
256 }
Mehdi Amini8d051852016-03-19 00:40:31 +0000257
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000258 // Do the actual import of globals now, one Module at a time
259 for (auto &GlobalsToImportPerModule : ModuleToGlobalsToImportMap) {
260 // Get the module for the import
261 auto &GlobalsToImport = GlobalsToImportPerModule.second;
262 std::unique_ptr<Module> SrcModule =
263 ModuleLoaderCache.takeModule(GlobalsToImportPerModule.first);
264 assert(&Context == &SrcModule->getContext() && "Context mismatch");
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000265
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000266 // If modules were created with lazy metadata loading, materialize it
267 // now, before linking it (otherwise this will be a noop).
268 SrcModule->materializeMetadata();
269 UpgradeDebugInfo(*SrcModule);
Teresa Johnsone5a61912015-12-17 17:14:09 +0000270
Teresa Johnsonf4cc7522016-03-24 19:52:20 +0000271 // Linkage Promotion and renaming
272 if (renameModuleForThinLTO(*SrcModule, *Index, &GlobalsToImport))
273 return true;
274
275 if (L.linkInModule(std::move(SrcModule), Linker::Flags::None,
276 &GlobalsToImport))
Teresa Johnsone5a61912015-12-17 17:14:09 +0000277 return false;
278 }
279
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000280 return true;
281}
282
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000283static bool linkFiles(const char *argv0, LLVMContext &Context, Linker &L,
Duncan P. N. Exon Smithe8681232015-04-22 04:11:00 +0000284 const cl::list<std::string> &Files,
Artem Belevich020d4fb2015-09-01 17:55:55 +0000285 unsigned Flags) {
286 // Filter out flags that don't apply to the first file we load.
287 unsigned ApplicableFlags = Flags & Linker::Flags::OverrideFromSrc;
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000288 for (const auto &File : Files) {
289 std::unique_ptr<Module> M = loadFile(argv0, File, Context);
290 if (!M.get()) {
291 errs() << argv0 << ": error loading file '" << File << "'\n";
292 return false;
293 }
294
295 if (verifyModule(*M, &errs())) {
296 errs() << argv0 << ": " << File << ": error: input module is broken!\n";
297 return false;
298 }
299
Teresa Johnson26ab5772016-03-15 00:04:37 +0000300 // If a module summary index is supplied, load it so linkInModule can treat
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000301 // local functions/variables as exported and promote if necessary.
Teresa Johnson26ab5772016-03-15 00:04:37 +0000302 if (!SummaryIndex.empty()) {
303 ErrorOr<std::unique_ptr<ModuleSummaryIndex>> IndexOrErr =
304 llvm::getModuleSummaryIndexForFile(SummaryIndex, diagnosticHandler);
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000305 std::error_code EC = IndexOrErr.getError();
306 if (EC) {
307 errs() << EC.message() << '\n';
308 return false;
309 }
Mehdi Amini8d051852016-03-19 00:40:31 +0000310 auto Index = std::move(IndexOrErr.get());
311
312 // Promotion
313 if (renameModuleForThinLTO(*M, *Index))
314 return true;
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000315 }
316
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000317 if (Verbose)
318 errs() << "Linking in '" << File << "'\n";
319
Mehdi Amini8d051852016-03-19 00:40:31 +0000320 if (L.linkInModule(std::move(M), ApplicableFlags))
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000321 return false;
Artem Belevich020d4fb2015-09-01 17:55:55 +0000322 // All linker flags apply to linking of subsequent files.
323 ApplicableFlags = Flags;
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000324 }
325
326 return true;
327}
328
Chris Lattner9d810e02001-10-13 07:06:23 +0000329int main(int argc, char **argv) {
Chris Lattnere3fc2d12009-03-06 05:34:10 +0000330 // Print a stack trace if we signal out.
Chris Lattner27936992007-05-06 05:13:17 +0000331 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere3fc2d12009-03-06 05:34:10 +0000332 PrettyStackTraceProgram X(argc, argv);
Andrew Trickdc073ad2013-09-18 23:31:10 +0000333
Mehdi Amini03b42e42016-04-14 21:59:01 +0000334 LLVMContext Context;
Rafael Espindola9d2bfc42015-12-14 23:17:03 +0000335 Context.setDiagnosticHandler(diagnosticHandlerWithContext, nullptr, true);
336
Chris Lattnere3fc2d12009-03-06 05:34:10 +0000337 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
338 cl::ParseCommandLineOptions(argc, argv, "llvm linker\n");
Chris Lattner9d810e02001-10-13 07:06:23 +0000339
Rafael Espindola957eae22014-10-23 19:40:45 +0000340 auto Composite = make_unique<Module>("llvm-link", Context);
Rafael Espindola9d2bfc42015-12-14 23:17:03 +0000341 Linker L(*Composite);
Rafael Espindola957eae22014-10-23 19:40:45 +0000342
Artem Belevich020d4fb2015-09-01 17:55:55 +0000343 unsigned Flags = Linker::Flags::None;
344 if (Internalize)
345 Flags |= Linker::Flags::InternalizeLinkedSymbols;
346 if (OnlyNeeded)
347 Flags |= Linker::Flags::LinkOnlyNeeded;
348
Duncan P. N. Exon Smithe8681232015-04-22 04:11:00 +0000349 // First add all the regular input files
Artem Belevich020d4fb2015-09-01 17:55:55 +0000350 if (!linkFiles(argv[0], Context, L, InputFilenames, Flags))
Duncan P. N. Exon Smithe8681232015-04-22 04:11:00 +0000351 return 1;
352
353 // Next the -override ones.
Artem Belevich020d4fb2015-09-01 17:55:55 +0000354 if (!linkFiles(argv[0], Context, L, OverridingInputs,
355 Flags | Linker::Flags::OverrideFromSrc))
Duncan P. N. Exon Smith0de129d2015-04-22 04:08:22 +0000356 return 1;
Reid Spencer996ec722004-12-30 05:36:08 +0000357
Teresa Johnsonc7ed52f2015-11-03 00:14:15 +0000358 // Import any functions requested via -import
359 if (!importFunctions(argv[0], Context, L))
360 return 1;
361
Dan Gohman2b09de92009-09-15 15:35:07 +0000362 if (DumpAsm) errs() << "Here's the assembly:\n" << *Composite;
Reid Spencer996ec722004-12-30 05:36:08 +0000363
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000364 std::error_code EC;
365 tool_output_file Out(OutputFilename, EC, sys::fs::F_None);
366 if (EC) {
367 errs() << EC.message() << '\n';
Chris Lattnerabd17362009-08-23 02:56:05 +0000368 return 1;
369 }
Reid Spencer996ec722004-12-30 05:36:08 +0000370
Duncan P. N. Exon Smith46282822015-03-31 03:07:23 +0000371 if (verifyModule(*Composite, &errs())) {
372 errs() << argv[0] << ": error: linked module is broken!\n";
Chris Lattner27936992007-05-06 05:13:17 +0000373 return 1;
374 }
375
Dan Gohmanee051522009-07-16 15:30:09 +0000376 if (Verbose) errs() << "Writing bitcode...\n";
Dan Gohman2b09de92009-09-15 15:35:07 +0000377 if (OutputAssembly) {
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000378 Composite->print(Out.os(), nullptr, PreserveAssemblyUseListOrder);
Dan Gohmana2233f22010-09-01 14:20:41 +0000379 } else if (Force || !CheckBitcodeOutputToConsole(Out.os(), true))
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000380 WriteBitcodeToFile(Composite.get(), Out.os(), PreserveBitcodeUseListOrder);
Dan Gohman4cc73ba2010-08-20 01:12:13 +0000381
382 // Declare success.
383 Out.keep();
Chris Lattner27936992007-05-06 05:13:17 +0000384
Chris Lattner27936992007-05-06 05:13:17 +0000385 return 0;
Chris Lattner9d810e02001-10-13 07:06:23 +0000386}