blob: 7d71a3e8dfe3b62306bc9a558fc2186eaa3bd760 [file] [log] [blame]
Eugene Zelenko975293f2017-09-07 23:28:24 +00001//===- llvm-lto: a simple command-line program to link modules with LTO ---===//
Peter Collingbourne4e380b02013-09-19 22:15:52 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This program takes in a list of bitcode files, links them, performs link-time
11// optimization, and outputs an object file.
12//
13//===----------------------------------------------------------------------===//
14
Eugene Zelenko975293f2017-09-07 23:28:24 +000015#include "llvm-c/lto.h"
16#include "llvm/ADT/ArrayRef.h"
17#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/SmallString.h"
19#include "llvm/ADT/StringExtras.h"
20#include "llvm/ADT/StringRef.h"
Rafael Espindola282a4702013-10-31 20:51:58 +000021#include "llvm/ADT/StringSet.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000022#include "llvm/ADT/Twine.h"
Teresa Johnsonad176792016-11-11 05:34:58 +000023#include "llvm/Bitcode/BitcodeReader.h"
24#include "llvm/Bitcode/BitcodeWriter.h"
David Blaikiec14bfec2017-11-27 19:43:58 +000025#include "llvm/CodeGen/CommandFlags.def"
Eugene Zelenko975293f2017-09-07 23:28:24 +000026#include "llvm/IR/DiagnosticInfo.h"
Mehdi Amini354f5202015-11-19 05:52:29 +000027#include "llvm/IR/DiagnosticPrinter.h"
Teresa Johnson91a88bb2015-10-19 14:30:44 +000028#include "llvm/IR/LLVMContext.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000029#include "llvm/IR/Module.h"
30#include "llvm/IR/ModuleSummaryIndex.h"
Mehdi Amini3c0e64c2016-04-20 01:04:26 +000031#include "llvm/IR/Verifier.h"
Mehdi Amini7c4a1a82016-03-09 01:37:22 +000032#include "llvm/IRReader/IRReader.h"
Peter Collingbourne5c732202016-07-14 21:21:16 +000033#include "llvm/LTO/legacy/LTOCodeGenerator.h"
34#include "llvm/LTO/legacy/LTOModule.h"
35#include "llvm/LTO/legacy/ThinLTOCodeGenerator.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000036#include "llvm/Support/Allocator.h"
37#include "llvm/Support/Casting.h"
Peter Collingbourne4e380b02013-09-19 22:15:52 +000038#include "llvm/Support/CommandLine.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000039#include "llvm/Support/Error.h"
40#include "llvm/Support/ErrorHandling.h"
41#include "llvm/Support/ErrorOr.h"
Benjamin Kramerd59664f2014-04-29 23:26:49 +000042#include "llvm/Support/FileSystem.h"
Peter Collingbourne4e380b02013-09-19 22:15:52 +000043#include "llvm/Support/ManagedStatic.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000044#include "llvm/Support/MemoryBuffer.h"
Teresa Johnsonbbd10b42016-05-17 14:45:30 +000045#include "llvm/Support/Path.h"
Peter Collingbourne4e380b02013-09-19 22:15:52 +000046#include "llvm/Support/PrettyStackTrace.h"
47#include "llvm/Support/Signals.h"
Mehdi Amini7c4a1a82016-03-09 01:37:22 +000048#include "llvm/Support/SourceMgr.h"
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +000049#include "llvm/Support/TargetSelect.h"
Peter Collingbournec269ed52015-08-27 23:37:36 +000050#include "llvm/Support/ToolOutputFile.h"
Chandler Carruth07baed52014-01-13 08:04:33 +000051#include "llvm/Support/raw_ostream.h"
Eugene Zelenko975293f2017-09-07 23:28:24 +000052#include "llvm/Target/TargetOptions.h"
53#include <algorithm>
54#include <cassert>
55#include <cstdint>
56#include <cstdlib>
Peter Collingbournec269ed52015-08-27 23:37:36 +000057#include <list>
Eugene Zelenko975293f2017-09-07 23:28:24 +000058#include <map>
59#include <memory>
60#include <string>
61#include <system_error>
62#include <tuple>
63#include <utility>
64#include <vector>
Peter Collingbourne4e380b02013-09-19 22:15:52 +000065
66using namespace llvm;
67
Peter Collingbourne070843d2015-03-19 22:01:00 +000068static cl::opt<char>
Davide Italianob10e8932016-04-13 21:41:35 +000069 OptLevel("O", cl::desc("Optimization level. [-O0, -O1, -O2, or -O3] "
70 "(default = '-O2')"),
71 cl::Prefix, cl::ZeroOrMore, cl::init('2'));
Peter Collingbourne4e380b02013-09-19 22:15:52 +000072
Mehdi Amini06a47802016-09-14 21:04:59 +000073static cl::opt<bool>
74 IndexStats("thinlto-index-stats",
75 cl::desc("Print statistic for the index in every input files"),
76 cl::init(false));
77
Duncan P. N. Exon Smithcff5fef2015-09-15 23:05:59 +000078static cl::opt<bool> DisableVerify(
79 "disable-verify", cl::init(false),
80 cl::desc("Do not run the verifier during the optimization pipeline"));
81
Davide Italianob10e8932016-04-13 21:41:35 +000082static cl::opt<bool> DisableInline("disable-inlining", cl::init(false),
83 cl::desc("Do not run the inliner pass"));
Rafael Espindola0b385c72013-09-30 16:39:19 +000084
85static cl::opt<bool>
Davide Italianob10e8932016-04-13 21:41:35 +000086 DisableGVNLoadPRE("disable-gvn-loadpre", cl::init(false),
87 cl::desc("Do not run the GVN load PRE pass"));
Rafael Espindola0b385c72013-09-30 16:39:19 +000088
Davide Italianob10e8932016-04-13 21:41:35 +000089static cl::opt<bool> DisableLTOVectorization(
90 "disable-lto-vectorization", cl::init(false),
91 cl::desc("Do not run loop or slp vectorization during LTO"));
Arnold Schwaighofereb1a38f2014-10-26 21:50:58 +000092
Mehdi Aminib5a46c12017-03-28 18:55:44 +000093static cl::opt<bool> EnableFreestanding(
94 "lto-freestanding", cl::init(false),
95 cl::desc("Enable Freestanding (disable builtins / TLI) during LTO"));
96
Davide Italianob10e8932016-04-13 21:41:35 +000097static cl::opt<bool> UseDiagnosticHandler(
98 "use-diagnostic-handler", cl::init(false),
99 cl::desc("Use a diagnostic handler to test the handler interface"));
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000100
Teresa Johnsonf72278f2015-11-02 18:02:11 +0000101static cl::opt<bool>
102 ThinLTO("thinlto", cl::init(false),
103 cl::desc("Only write combined global index for ThinLTO backends"));
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000104
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000105enum ThinLTOModes {
106 THINLINK,
Teresa Johnson84174c32016-05-10 13:48:23 +0000107 THINDISTRIBUTE,
Teresa Johnson8570fe42016-05-10 15:54:09 +0000108 THINEMITIMPORTS,
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000109 THINPROMOTE,
110 THINIMPORT,
Mehdi Amini059464f2016-04-24 03:18:01 +0000111 THININTERNALIZE,
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000112 THINOPT,
113 THINCODEGEN,
114 THINALL
115};
116
117cl::opt<ThinLTOModes> ThinLTOMode(
118 "thinlto-action", cl::desc("Perform a single ThinLTO stage:"),
119 cl::values(
120 clEnumValN(
121 THINLINK, "thinlink",
122 "ThinLink: produces the index by linking only the summaries."),
Teresa Johnson84174c32016-05-10 13:48:23 +0000123 clEnumValN(THINDISTRIBUTE, "distributedindexes",
124 "Produces individual indexes for distributed backends."),
Teresa Johnson8570fe42016-05-10 15:54:09 +0000125 clEnumValN(THINEMITIMPORTS, "emitimports",
126 "Emit imports files for distributed backends."),
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000127 clEnumValN(THINPROMOTE, "promote",
128 "Perform pre-import promotion (requires -thinlto-index)."),
129 clEnumValN(THINIMPORT, "import", "Perform both promotion and "
130 "cross-module importing (requires "
131 "-thinlto-index)."),
Mehdi Amini059464f2016-04-24 03:18:01 +0000132 clEnumValN(THININTERNALIZE, "internalize",
133 "Perform internalization driven by -exported-symbol "
134 "(requires -thinlto-index)."),
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000135 clEnumValN(THINOPT, "optimize", "Perform ThinLTO optimizations."),
136 clEnumValN(THINCODEGEN, "codegen", "CodeGen (expected to match llc)"),
Mehdi Amini732afdd2016-10-08 19:41:06 +0000137 clEnumValN(THINALL, "run", "Perform ThinLTO end-to-end")));
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000138
139static cl::opt<std::string>
140 ThinLTOIndex("thinlto-index",
141 cl::desc("Provide the index produced by a ThinLink, required "
142 "to perform the promotion and/or importing."));
143
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000144static cl::opt<std::string> ThinLTOPrefixReplace(
145 "thinlto-prefix-replace",
146 cl::desc("Control where files for distributed backends are "
Reid Kleckner8e96c3e2016-05-17 18:43:22 +0000147 "created. Expects 'oldprefix;newprefix' and if path "
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000148 "prefix of output file is oldprefix it will be "
149 "replaced with newprefix."));
150
Mehdi Amini03abce92016-05-05 16:33:51 +0000151static cl::opt<std::string> ThinLTOModuleId(
152 "thinlto-module-id",
153 cl::desc("For the module ID for the file to process, useful to "
154 "match what is in the index."));
155
Mehdi Aminiab4a8b62016-05-14 05:16:41 +0000156static cl::opt<std::string>
157 ThinLTOCacheDir("thinlto-cache-dir", cl::desc("Enable ThinLTO caching."));
158
Ben Dunbobbin9ecb8b52017-12-19 14:42:38 +0000159static cl::opt<int>
160 ThinLTOCachePruningInterval("thinlto-cache-pruning-interval", cl::desc("Set ThinLTO cache pruning interval."));
161
Teresa Johnsonc44a1222016-08-15 23:24:57 +0000162static cl::opt<std::string> ThinLTOSaveTempsPrefix(
163 "thinlto-save-temps",
164 cl::desc("Save ThinLTO temp files using filenames created by adding "
165 "suffixes to the given file path prefix."));
166
Mehdi Amini8e13bc42016-12-14 04:56:42 +0000167static cl::opt<std::string> ThinLTOGeneratedObjectsDir(
168 "thinlto-save-objects",
169 cl::desc("Save ThinLTO generated object files using filenames created in "
170 "the given directory."));
171
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000172static cl::opt<bool>
Davide Italianob10e8932016-04-13 21:41:35 +0000173 SaveModuleFile("save-merged-module", cl::init(false),
174 cl::desc("Write merged LTO module to file before CodeGen"));
175
176static cl::list<std::string> InputFilenames(cl::Positional, cl::OneOrMore,
177 cl::desc("<input bitcode files>"));
178
179static cl::opt<std::string> OutputFilename("o", cl::init(""),
180 cl::desc("Override output filename"),
181 cl::value_desc("filename"));
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000182
Mehdi Amini059464f2016-04-24 03:18:01 +0000183static cl::list<std::string> ExportedSymbols(
184 "exported-symbol",
185 cl::desc("List of symbols to export from the resulting object file"),
186 cl::ZeroOrMore);
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000187
Rafael Espindoladafc53d2013-10-02 14:12:56 +0000188static cl::list<std::string>
Davide Italianob10e8932016-04-13 21:41:35 +0000189 DSOSymbols("dso-symbol",
190 cl::desc("Symbol to put in the symtab in the resulting dso"),
191 cl::ZeroOrMore);
Rafael Espindoladafc53d2013-10-02 14:12:56 +0000192
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000193static cl::opt<bool> ListSymbolsOnly(
194 "list-symbols-only", cl::init(false),
195 cl::desc("Instead of running LTO, list the symbols in each IR file"));
196
Manman Ren6487ce92015-02-24 00:45:56 +0000197static cl::opt<bool> SetMergedModule(
198 "set-merged-module", cl::init(false),
199 cl::desc("Use the first input module as the merged module"));
200
Peter Collingbournec269ed52015-08-27 23:37:36 +0000201static cl::opt<unsigned> Parallelism("j", cl::Prefix, cl::init(1),
202 cl::desc("Number of backend threads"));
203
Tobias Edler von Koch3f4f6f3e2016-01-18 23:35:24 +0000204static cl::opt<bool> RestoreGlobalsLinkage(
205 "restore-linkage", cl::init(false),
206 cl::desc("Restore original linkage of globals prior to CodeGen"));
207
Mehdi Aminie75aa6f2016-07-11 23:10:18 +0000208static cl::opt<bool> CheckHasObjC(
209 "check-for-objc", cl::init(false),
210 cl::desc("Only check if the module has objective-C defined in it"));
211
Rafael Espindola282a4702013-10-31 20:51:58 +0000212namespace {
Eugene Zelenko975293f2017-09-07 23:28:24 +0000213
Rafael Espindola282a4702013-10-31 20:51:58 +0000214struct ModuleInfo {
215 std::vector<bool> CanBeHidden;
216};
Eugene Zelenko975293f2017-09-07 23:28:24 +0000217
218} // end anonymous namespace
Rafael Espindola282a4702013-10-31 20:51:58 +0000219
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000220static void handleDiagnostics(lto_codegen_diagnostic_severity_t Severity,
221 const char *Msg, void *) {
Yunzhong Gaoef436f02015-11-10 18:52:48 +0000222 errs() << "llvm-lto: ";
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000223 switch (Severity) {
224 case LTO_DS_NOTE:
225 errs() << "note: ";
226 break;
227 case LTO_DS_REMARK:
228 errs() << "remark: ";
229 break;
230 case LTO_DS_ERROR:
231 errs() << "error: ";
232 break;
233 case LTO_DS_WARNING:
234 errs() << "warning: ";
235 break;
236 }
237 errs() << Msg << "\n";
238}
239
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000240static std::string CurrentActivity;
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000241
242namespace {
243 struct LLVMLTODiagnosticHandler : public DiagnosticHandler {
244 bool handleDiagnostics(const DiagnosticInfo &DI) override {
245 raw_ostream &OS = errs();
246 OS << "llvm-lto: ";
247 switch (DI.getSeverity()) {
248 case DS_Error:
249 OS << "error";
250 break;
251 case DS_Warning:
252 OS << "warning";
253 break;
254 case DS_Remark:
255 OS << "remark";
256 break;
257 case DS_Note:
258 OS << "note";
259 break;
260 }
261 if (!CurrentActivity.empty())
262 OS << ' ' << CurrentActivity;
263 OS << ": ";
264
265 DiagnosticPrinterRawOStream DP(OS);
266 DI.print(DP);
267 OS << '\n';
268
269 if (DI.getSeverity() == DS_Error)
270 exit(1);
271 return true;
272 }
273 };
Mehdi Amini354f5202015-11-19 05:52:29 +0000274 }
Mehdi Amini354f5202015-11-19 05:52:29 +0000275
Rafael Espindola5e128db2015-12-04 00:45:57 +0000276static void error(const Twine &Msg) {
277 errs() << "llvm-lto: " << Msg << '\n';
278 exit(1);
279}
280
281static void error(std::error_code EC, const Twine &Prefix) {
282 if (EC)
283 error(Prefix + ": " + EC.message());
284}
285
286template <typename T>
287static void error(const ErrorOr<T> &V, const Twine &Prefix) {
288 error(V.getError(), Prefix);
289}
290
Mehdi Amini3c0e64c2016-04-20 01:04:26 +0000291static void maybeVerifyModule(const Module &Mod) {
Mehdi Amini4c809462016-12-23 23:53:57 +0000292 if (!DisableVerify && verifyModule(Mod, &errs()))
Mehdi Amini3c0e64c2016-04-20 01:04:26 +0000293 error("Broken Module");
294}
295
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000296static std::unique_ptr<LTOModule>
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000297getLocalLTOModule(StringRef Path, std::unique_ptr<MemoryBuffer> &Buffer,
Rafael Espindola5e128db2015-12-04 00:45:57 +0000298 const TargetOptions &Options) {
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000299 ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr =
300 MemoryBuffer::getFile(Path);
Rafael Espindola5e128db2015-12-04 00:45:57 +0000301 error(BufferOrErr, "error loading file '" + Path + "'");
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000302 Buffer = std::move(BufferOrErr.get());
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000303 CurrentActivity = ("loading file '" + Path + "'").str();
Petr Pavlu7ad9ec92016-03-01 13:13:49 +0000304 std::unique_ptr<LLVMContext> Context = llvm::make_unique<LLVMContext>();
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000305 Context->setDiagnosticHandler(llvm::make_unique<LLVMLTODiagnosticHandler>(),
306 true);
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000307 ErrorOr<std::unique_ptr<LTOModule>> Ret = LTOModule::createInLocalContext(
Petr Pavlu7ad9ec92016-03-01 13:13:49 +0000308 std::move(Context), Buffer->getBufferStart(), Buffer->getBufferSize(),
309 Options, Path);
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000310 CurrentActivity = "";
Mehdi Amini3c0e64c2016-04-20 01:04:26 +0000311 maybeVerifyModule((*Ret)->getModule());
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000312 return std::move(*Ret);
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000313}
314
Mehdi Amini06a47802016-09-14 21:04:59 +0000315/// Print some statistics on the index for each input files.
316void printIndexStats() {
317 for (auto &Filename : InputFilenames) {
Peter Collingbourne6de481a2016-11-11 19:50:39 +0000318 ExitOnError ExitOnErr("llvm-lto: error loading file '" + Filename + "': ");
319 std::unique_ptr<ModuleSummaryIndex> Index =
Eugene Zelenko975293f2017-09-07 23:28:24 +0000320 ExitOnErr(getModuleSummaryIndexForFile(Filename));
Mehdi Amini06a47802016-09-14 21:04:59 +0000321 // Skip files without a module summary.
322 if (!Index)
323 report_fatal_error(Filename + " does not contain an index");
324
325 unsigned Calls = 0, Refs = 0, Functions = 0, Alias = 0, Globals = 0;
326 for (auto &Summaries : *Index) {
Peter Collingbourne9667b912017-05-04 18:03:25 +0000327 for (auto &Summary : Summaries.second.SummaryList) {
Mehdi Amini06a47802016-09-14 21:04:59 +0000328 Refs += Summary->refs().size();
329 if (auto *FuncSummary = dyn_cast<FunctionSummary>(Summary.get())) {
330 Functions++;
331 Calls += FuncSummary->calls().size();
332 } else if (isa<AliasSummary>(Summary.get()))
333 Alias++;
334 else
335 Globals++;
336 }
337 }
338 outs() << "Index " << Filename << " contains "
339 << (Alias + Globals + Functions) << " nodes (" << Functions
340 << " functions, " << Alias << " alias, " << Globals
341 << " globals) and " << (Calls + Refs) << " edges (" << Refs
342 << " refs and " << Calls << " calls)\n";
343 }
344}
345
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000346/// \brief List symbols in each IR file.
347///
348/// The main point here is to provide lit-testable coverage for the LTOModule
349/// functionality that's exposed by the C API to list symbols. Moreover, this
350/// provides testing coverage for modules that have been created in their own
351/// contexts.
Rafael Espindola5e128db2015-12-04 00:45:57 +0000352static void listSymbols(const TargetOptions &Options) {
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000353 for (auto &Filename : InputFilenames) {
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000354 std::unique_ptr<MemoryBuffer> Buffer;
355 std::unique_ptr<LTOModule> Module =
Rafael Espindola5e128db2015-12-04 00:45:57 +0000356 getLocalLTOModule(Filename, Buffer, Options);
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000357
358 // List the symbols.
359 outs() << Filename << ":\n";
360 for (int I = 0, E = Module->getSymbolCount(); I != E; ++I)
361 outs() << Module->getSymbolName(I) << "\n";
362 }
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000363}
364
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000365/// Create a combined index file from the input IR files and write it.
366///
367/// This is meant to enable testing of ThinLTO combined index generation,
368/// currently available via the gold plugin via -thinlto.
Teresa Johnson26ab5772016-03-15 00:04:37 +0000369static void createCombinedModuleSummaryIndex() {
370 ModuleSummaryIndex CombinedIndex;
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000371 uint64_t NextModuleId = 0;
372 for (auto &Filename : InputFilenames) {
Peter Collingbourne6de481a2016-11-11 19:50:39 +0000373 ExitOnError ExitOnErr("llvm-lto: error loading file '" + Filename + "': ");
Peter Collingbourne74d22dd2017-05-01 22:04:36 +0000374 std::unique_ptr<MemoryBuffer> MB =
375 ExitOnErr(errorOrToExpected(MemoryBuffer::getFileOrSTDIN(Filename)));
376 ExitOnErr(readModuleSummaryIndex(*MB, CombinedIndex, ++NextModuleId));
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000377 }
378 std::error_code EC;
379 assert(!OutputFilename.empty());
380 raw_fd_ostream OS(OutputFilename + ".thinlto.bc", EC,
381 sys::fs::OpenFlags::F_None);
Rafael Espindola5e128db2015-12-04 00:45:57 +0000382 error(EC, "error opening the file '" + OutputFilename + ".thinlto.bc'");
Teresa Johnson76a1c1d2016-03-11 18:52:24 +0000383 WriteIndexToFile(CombinedIndex, OS);
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000384 OS.close();
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000385}
386
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000387/// Parse the thinlto_prefix_replace option into the \p OldPrefix and
388/// \p NewPrefix strings, if it was specified.
389static void getThinLTOOldAndNewPrefix(std::string &OldPrefix,
390 std::string &NewPrefix) {
391 assert(ThinLTOPrefixReplace.empty() ||
Reid Kleckner8e96c3e2016-05-17 18:43:22 +0000392 ThinLTOPrefixReplace.find(";") != StringRef::npos);
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000393 StringRef PrefixReplace = ThinLTOPrefixReplace;
Reid Kleckner8e96c3e2016-05-17 18:43:22 +0000394 std::pair<StringRef, StringRef> Split = PrefixReplace.split(";");
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000395 OldPrefix = Split.first.str();
396 NewPrefix = Split.second.str();
397}
398
399/// Given the original \p Path to an output file, replace any path
400/// prefix matching \p OldPrefix with \p NewPrefix. Also, create the
401/// resulting directory if it does not yet exist.
402static std::string getThinLTOOutputFile(const std::string &Path,
403 const std::string &OldPrefix,
404 const std::string &NewPrefix) {
405 if (OldPrefix.empty() && NewPrefix.empty())
406 return Path;
407 SmallString<128> NewPath(Path);
408 llvm::sys::path::replace_path_prefix(NewPath, OldPrefix, NewPrefix);
409 StringRef ParentPath = llvm::sys::path::parent_path(NewPath.str());
410 if (!ParentPath.empty()) {
411 // Make sure the new directory exists, creating it if necessary.
412 if (std::error_code EC = llvm::sys::fs::create_directories(ParentPath))
413 error(EC, "error creating the directory '" + ParentPath + "'");
414 }
415 return NewPath.str();
416}
417
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000418namespace thinlto {
419
420std::vector<std::unique_ptr<MemoryBuffer>>
Teresa Johnson26ab5772016-03-15 00:04:37 +0000421loadAllFilesForIndex(const ModuleSummaryIndex &Index) {
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000422 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
423
Mehdi Amini385cf282016-03-26 03:35:38 +0000424 for (auto &ModPath : Index.modulePaths()) {
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000425 const auto &Filename = ModPath.first();
Alexander Kornienko656466e2017-07-04 15:13:02 +0000426 std::string CurrentActivity = ("loading file '" + Filename + "'").str();
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000427 auto InputOrErr = MemoryBuffer::getFile(Filename);
428 error(InputOrErr, "error " + CurrentActivity);
429 InputBuffers.push_back(std::move(*InputOrErr));
430 }
431 return InputBuffers;
432}
433
Teresa Johnson26ab5772016-03-15 00:04:37 +0000434std::unique_ptr<ModuleSummaryIndex> loadCombinedIndex() {
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000435 if (ThinLTOIndex.empty())
436 report_fatal_error("Missing -thinlto-index for ThinLTO promotion stage");
Peter Collingbourne6de481a2016-11-11 19:50:39 +0000437 ExitOnError ExitOnErr("llvm-lto: error loading file '" + ThinLTOIndex +
438 "': ");
Eugene Zelenko975293f2017-09-07 23:28:24 +0000439 return ExitOnErr(getModuleSummaryIndexForFile(ThinLTOIndex));
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000440}
441
442static std::unique_ptr<Module> loadModule(StringRef Filename,
443 LLVMContext &Ctx) {
444 SMDiagnostic Err;
445 std::unique_ptr<Module> M(parseIRFile(Filename, Err, Ctx));
446 if (!M) {
447 Err.print("llvm-lto", errs());
448 report_fatal_error("Can't load module for file " + Filename);
449 }
Mehdi Amini3c0e64c2016-04-20 01:04:26 +0000450 maybeVerifyModule(*M);
Mehdi Amini03abce92016-05-05 16:33:51 +0000451
452 if (ThinLTOModuleId.getNumOccurrences()) {
453 if (InputFilenames.size() != 1)
454 report_fatal_error("Can't override the module id for multiple files");
455 M->setModuleIdentifier(ThinLTOModuleId);
456 }
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000457 return M;
458}
459
460static void writeModuleToFile(Module &TheModule, StringRef Filename) {
461 std::error_code EC;
462 raw_fd_ostream OS(Filename, EC, sys::fs::OpenFlags::F_None);
463 error(EC, "error opening the file '" + Filename + "'");
Mehdi Amini3c0e64c2016-04-20 01:04:26 +0000464 maybeVerifyModule(TheModule);
Teresa Johnson3c35e092016-04-04 21:19:31 +0000465 WriteBitcodeToFile(&TheModule, OS, /* ShouldPreserveUseListOrder */ true);
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000466}
467
468class ThinLTOProcessing {
469public:
470 ThinLTOCodeGenerator ThinGenerator;
471
472 ThinLTOProcessing(const TargetOptions &Options) {
Rafael Espindola8c34dd82016-05-18 22:04:49 +0000473 ThinGenerator.setCodePICModel(getRelocModel());
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000474 ThinGenerator.setTargetOptions(Options);
Mehdi Aminiab4a8b62016-05-14 05:16:41 +0000475 ThinGenerator.setCacheDir(ThinLTOCacheDir);
Ben Dunbobbin9ecb8b52017-12-19 14:42:38 +0000476 ThinGenerator.setCachePruningInterval(ThinLTOCachePruningInterval);
Mehdi Aminib5a46c12017-03-28 18:55:44 +0000477 ThinGenerator.setFreestanding(EnableFreestanding);
Mehdi Amini059464f2016-04-24 03:18:01 +0000478
479 // Add all the exported symbols to the table of symbols to preserve.
480 for (unsigned i = 0; i < ExportedSymbols.size(); ++i)
481 ThinGenerator.preserveSymbol(ExportedSymbols[i]);
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000482 }
483
484 void run() {
485 switch (ThinLTOMode) {
486 case THINLINK:
487 return thinLink();
Teresa Johnson84174c32016-05-10 13:48:23 +0000488 case THINDISTRIBUTE:
489 return distributedIndexes();
Teresa Johnson8570fe42016-05-10 15:54:09 +0000490 case THINEMITIMPORTS:
491 return emitImports();
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000492 case THINPROMOTE:
493 return promote();
494 case THINIMPORT:
495 return import();
Mehdi Amini059464f2016-04-24 03:18:01 +0000496 case THININTERNALIZE:
497 return internalize();
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000498 case THINOPT:
499 return optimize();
500 case THINCODEGEN:
501 return codegen();
502 case THINALL:
503 return runAll();
504 }
505 }
506
507private:
508 /// Load the input files, create the combined index, and write it out.
509 void thinLink() {
510 // Perform "ThinLink": just produce the index
511 if (OutputFilename.empty())
512 report_fatal_error(
513 "OutputFilename is necessary to store the combined index.\n");
514
515 LLVMContext Ctx;
516 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
517 for (unsigned i = 0; i < InputFilenames.size(); ++i) {
518 auto &Filename = InputFilenames[i];
Alexander Kornienko656466e2017-07-04 15:13:02 +0000519 std::string CurrentActivity = "loading file '" + Filename + "'";
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000520 auto InputOrErr = MemoryBuffer::getFile(Filename);
521 error(InputOrErr, "error " + CurrentActivity);
522 InputBuffers.push_back(std::move(*InputOrErr));
523 ThinGenerator.addModule(Filename, InputBuffers.back()->getBuffer());
524 }
525
526 auto CombinedIndex = ThinGenerator.linkCombinedIndex();
Mehdi Amini00fa1402016-10-08 04:44:18 +0000527 if (!CombinedIndex)
528 report_fatal_error("ThinLink didn't create an index");
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000529 std::error_code EC;
530 raw_fd_ostream OS(OutputFilename, EC, sys::fs::OpenFlags::F_None);
531 error(EC, "error opening the file '" + OutputFilename + "'");
Teresa Johnson76a1c1d2016-03-11 18:52:24 +0000532 WriteIndexToFile(*CombinedIndex, OS);
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000533 }
534
Teresa Johnson84174c32016-05-10 13:48:23 +0000535 /// Load the combined index from disk, then compute and generate
536 /// individual index files suitable for ThinLTO distributed backend builds
537 /// on the files mentioned on the command line (these must match the index
538 /// content).
539 void distributedIndexes() {
540 if (InputFilenames.size() != 1 && !OutputFilename.empty())
541 report_fatal_error("Can't handle a single output filename and multiple "
542 "input files, do not provide an output filename and "
543 "the output files will be suffixed from the input "
544 "ones.");
545
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000546 std::string OldPrefix, NewPrefix;
547 getThinLTOOldAndNewPrefix(OldPrefix, NewPrefix);
548
Teresa Johnson84174c32016-05-10 13:48:23 +0000549 auto Index = loadCombinedIndex();
550 for (auto &Filename : InputFilenames) {
551 // Build a map of module to the GUIDs and summary objects that should
552 // be written to its index.
553 std::map<std::string, GVSummaryMapTy> ModuleToSummariesForIndex;
554 ThinLTOCodeGenerator::gatherImportedSummariesForModule(
555 Filename, *Index, ModuleToSummariesForIndex);
556
557 std::string OutputName = OutputFilename;
558 if (OutputName.empty()) {
559 OutputName = Filename + ".thinlto.bc";
560 }
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000561 OutputName = getThinLTOOutputFile(OutputName, OldPrefix, NewPrefix);
Teresa Johnson84174c32016-05-10 13:48:23 +0000562 std::error_code EC;
563 raw_fd_ostream OS(OutputName, EC, sys::fs::OpenFlags::F_None);
564 error(EC, "error opening the file '" + OutputName + "'");
565 WriteIndexToFile(*Index, OS, &ModuleToSummariesForIndex);
566 }
567 }
568
Teresa Johnson8570fe42016-05-10 15:54:09 +0000569 /// Load the combined index from disk, compute the imports, and emit
570 /// the import file lists for each module to disk.
571 void emitImports() {
572 if (InputFilenames.size() != 1 && !OutputFilename.empty())
573 report_fatal_error("Can't handle a single output filename and multiple "
574 "input files, do not provide an output filename and "
575 "the output files will be suffixed from the input "
576 "ones.");
577
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000578 std::string OldPrefix, NewPrefix;
579 getThinLTOOldAndNewPrefix(OldPrefix, NewPrefix);
580
Teresa Johnson8570fe42016-05-10 15:54:09 +0000581 auto Index = loadCombinedIndex();
582 for (auto &Filename : InputFilenames) {
583 std::string OutputName = OutputFilename;
584 if (OutputName.empty()) {
585 OutputName = Filename + ".imports";
586 }
Teresa Johnsonbbd10b42016-05-17 14:45:30 +0000587 OutputName = getThinLTOOutputFile(OutputName, OldPrefix, NewPrefix);
Teresa Johnson8570fe42016-05-10 15:54:09 +0000588 ThinLTOCodeGenerator::emitImports(Filename, OutputName, *Index);
589 }
590 }
591
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000592 /// Load the combined index from disk, then load every file referenced by
593 /// the index and add them to the generator, finally perform the promotion
594 /// on the files mentioned on the command line (these must match the index
595 /// content).
596 void promote() {
597 if (InputFilenames.size() != 1 && !OutputFilename.empty())
598 report_fatal_error("Can't handle a single output filename and multiple "
599 "input files, do not provide an output filename and "
600 "the output files will be suffixed from the input "
601 "ones.");
602
603 auto Index = loadCombinedIndex();
604 for (auto &Filename : InputFilenames) {
605 LLVMContext Ctx;
606 auto TheModule = loadModule(Filename, Ctx);
607
608 ThinGenerator.promote(*TheModule, *Index);
609
610 std::string OutputName = OutputFilename;
611 if (OutputName.empty()) {
612 OutputName = Filename + ".thinlto.promoted.bc";
613 }
614 writeModuleToFile(*TheModule, OutputName);
615 }
616 }
617
618 /// Load the combined index from disk, then load every file referenced by
619 /// the index and add them to the generator, then performs the promotion and
620 /// cross module importing on the files mentioned on the command line
621 /// (these must match the index content).
622 void import() {
623 if (InputFilenames.size() != 1 && !OutputFilename.empty())
624 report_fatal_error("Can't handle a single output filename and multiple "
625 "input files, do not provide an output filename and "
626 "the output files will be suffixed from the input "
627 "ones.");
628
629 auto Index = loadCombinedIndex();
630 auto InputBuffers = loadAllFilesForIndex(*Index);
631 for (auto &MemBuffer : InputBuffers)
632 ThinGenerator.addModule(MemBuffer->getBufferIdentifier(),
633 MemBuffer->getBuffer());
634
635 for (auto &Filename : InputFilenames) {
636 LLVMContext Ctx;
637 auto TheModule = loadModule(Filename, Ctx);
638
639 ThinGenerator.crossModuleImport(*TheModule, *Index);
640
641 std::string OutputName = OutputFilename;
642 if (OutputName.empty()) {
643 OutputName = Filename + ".thinlto.imported.bc";
644 }
645 writeModuleToFile(*TheModule, OutputName);
646 }
647 }
648
Mehdi Amini059464f2016-04-24 03:18:01 +0000649 void internalize() {
650 if (InputFilenames.size() != 1 && !OutputFilename.empty())
651 report_fatal_error("Can't handle a single output filename and multiple "
652 "input files, do not provide an output filename and "
653 "the output files will be suffixed from the input "
654 "ones.");
655
656 if (ExportedSymbols.empty())
657 errs() << "Warning: -internalize will not perform without "
658 "-exported-symbol\n";
659
660 auto Index = loadCombinedIndex();
661 auto InputBuffers = loadAllFilesForIndex(*Index);
662 for (auto &MemBuffer : InputBuffers)
663 ThinGenerator.addModule(MemBuffer->getBufferIdentifier(),
664 MemBuffer->getBuffer());
665
666 for (auto &Filename : InputFilenames) {
667 LLVMContext Ctx;
668 auto TheModule = loadModule(Filename, Ctx);
669
670 ThinGenerator.internalize(*TheModule, *Index);
671
672 std::string OutputName = OutputFilename;
673 if (OutputName.empty()) {
674 OutputName = Filename + ".thinlto.internalized.bc";
675 }
676 writeModuleToFile(*TheModule, OutputName);
677 }
678 }
679
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000680 void optimize() {
681 if (InputFilenames.size() != 1 && !OutputFilename.empty())
682 report_fatal_error("Can't handle a single output filename and multiple "
683 "input files, do not provide an output filename and "
684 "the output files will be suffixed from the input "
685 "ones.");
686 if (!ThinLTOIndex.empty())
687 errs() << "Warning: -thinlto-index ignored for optimize stage";
688
689 for (auto &Filename : InputFilenames) {
690 LLVMContext Ctx;
691 auto TheModule = loadModule(Filename, Ctx);
692
693 ThinGenerator.optimize(*TheModule);
694
695 std::string OutputName = OutputFilename;
696 if (OutputName.empty()) {
697 OutputName = Filename + ".thinlto.imported.bc";
698 }
699 writeModuleToFile(*TheModule, OutputName);
700 }
701 }
702
703 void codegen() {
704 if (InputFilenames.size() != 1 && !OutputFilename.empty())
705 report_fatal_error("Can't handle a single output filename and multiple "
706 "input files, do not provide an output filename and "
707 "the output files will be suffixed from the input "
708 "ones.");
709 if (!ThinLTOIndex.empty())
710 errs() << "Warning: -thinlto-index ignored for codegen stage";
711
Adrian Prantlcdd785b2017-05-19 17:54:58 +0000712 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000713 for (auto &Filename : InputFilenames) {
714 LLVMContext Ctx;
Adrian Prantlcdd785b2017-05-19 17:54:58 +0000715 auto InputOrErr = MemoryBuffer::getFile(Filename);
716 error(InputOrErr, "error " + CurrentActivity);
717 InputBuffers.push_back(std::move(*InputOrErr));
718 ThinGenerator.addModule(Filename, InputBuffers.back()->getBuffer());
719 }
720 ThinGenerator.setCodeGenOnly(true);
721 ThinGenerator.run();
722 for (auto BinName :
723 zip(ThinGenerator.getProducedBinaries(), InputFilenames)) {
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000724 std::string OutputName = OutputFilename;
Adrian Prantlcdd785b2017-05-19 17:54:58 +0000725 if (OutputName.empty())
726 OutputName = std::get<1>(BinName) + ".thinlto.o";
727 else if (OutputName == "-") {
728 outs() << std::get<0>(BinName)->getBuffer();
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000729 return;
730 }
731
732 std::error_code EC;
733 raw_fd_ostream OS(OutputName, EC, sys::fs::OpenFlags::F_None);
734 error(EC, "error opening the file '" + OutputName + "'");
Adrian Prantlcdd785b2017-05-19 17:54:58 +0000735 OS << std::get<0>(BinName)->getBuffer();
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000736 }
737 }
738
739 /// Full ThinLTO process
740 void runAll() {
741 if (!OutputFilename.empty())
742 report_fatal_error("Do not provide an output filename for ThinLTO "
743 " processing, the output files will be suffixed from "
744 "the input ones.");
745
746 if (!ThinLTOIndex.empty())
747 errs() << "Warning: -thinlto-index ignored for full ThinLTO process";
748
749 LLVMContext Ctx;
750 std::vector<std::unique_ptr<MemoryBuffer>> InputBuffers;
751 for (unsigned i = 0; i < InputFilenames.size(); ++i) {
752 auto &Filename = InputFilenames[i];
Alexander Kornienko656466e2017-07-04 15:13:02 +0000753 std::string CurrentActivity = "loading file '" + Filename + "'";
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000754 auto InputOrErr = MemoryBuffer::getFile(Filename);
755 error(InputOrErr, "error " + CurrentActivity);
756 InputBuffers.push_back(std::move(*InputOrErr));
757 ThinGenerator.addModule(Filename, InputBuffers.back()->getBuffer());
758 }
759
Teresa Johnsonc44a1222016-08-15 23:24:57 +0000760 if (!ThinLTOSaveTempsPrefix.empty())
761 ThinGenerator.setSaveTempsDir(ThinLTOSaveTempsPrefix);
Mehdi Amini8e13bc42016-12-14 04:56:42 +0000762
763 if (!ThinLTOGeneratedObjectsDir.empty()) {
764 ThinGenerator.setGeneratedObjectsDirectory(ThinLTOGeneratedObjectsDir);
765 ThinGenerator.run();
766 return;
767 }
768
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000769 ThinGenerator.run();
770
771 auto &Binaries = ThinGenerator.getProducedBinaries();
772 if (Binaries.size() != InputFilenames.size())
773 report_fatal_error("Number of output objects does not match the number "
774 "of inputs");
775
776 for (unsigned BufID = 0; BufID < Binaries.size(); ++BufID) {
777 auto OutputName = InputFilenames[BufID] + ".thinlto.o";
778 std::error_code EC;
779 raw_fd_ostream OS(OutputName, EC, sys::fs::OpenFlags::F_None);
780 error(EC, "error opening the file '" + OutputName + "'");
781 OS << Binaries[BufID]->getBuffer();
782 }
783 }
784
785 /// Load the combined index from disk, then load every file referenced by
786};
787
Eugene Zelenko975293f2017-09-07 23:28:24 +0000788} // end namespace thinlto
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000789
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000790int main(int argc, char **argv) {
791 // Print a stack trace if we signal out.
Richard Smith2ad6d482016-06-09 00:53:21 +0000792 sys::PrintStackTraceOnErrorSignal(argv[0]);
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000793 PrettyStackTraceProgram X(argc, argv);
794
795 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
796 cl::ParseCommandLineOptions(argc, argv, "llvm LTO linker\n");
797
Rafael Espindola5e128db2015-12-04 00:45:57 +0000798 if (OptLevel < '0' || OptLevel > '3')
799 error("optimization level must be between 0 and 3");
Peter Collingbourne070843d2015-03-19 22:01:00 +0000800
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000801 // Initialize the configured targets.
802 InitializeAllTargets();
803 InitializeAllTargetMCs();
804 InitializeAllAsmPrinters();
805 InitializeAllAsmParsers();
806
Rafael Espindola0b385c72013-09-30 16:39:19 +0000807 // set up the TargetOptions for the machine
Eli Benderskyf0f21002014-02-19 17:09:35 +0000808 TargetOptions Options = InitTargetOptionsFromCodeGenFlags();
Rafael Espindola0b385c72013-09-30 16:39:19 +0000809
Rafael Espindola5e128db2015-12-04 00:45:57 +0000810 if (ListSymbolsOnly) {
811 listSymbols(Options);
812 return 0;
813 }
Duncan P. N. Exon Smithf9abf4f2014-12-17 02:00:38 +0000814
Mehdi Amini06a47802016-09-14 21:04:59 +0000815 if (IndexStats) {
816 printIndexStats();
817 return 0;
818 }
819
Mehdi Aminie75aa6f2016-07-11 23:10:18 +0000820 if (CheckHasObjC) {
821 for (auto &Filename : InputFilenames) {
Peter Collingbournecd513a42016-11-11 19:50:24 +0000822 ExitOnError ExitOnErr(std::string(*argv) + ": error loading file '" +
823 Filename + "': ");
824 std::unique_ptr<MemoryBuffer> BufferOrErr =
825 ExitOnErr(errorOrToExpected(MemoryBuffer::getFile(Filename)));
Mehdi Aminie75aa6f2016-07-11 23:10:18 +0000826 auto Buffer = std::move(BufferOrErr.get());
Eugene Zelenko975293f2017-09-07 23:28:24 +0000827 if (ExitOnErr(isBitcodeContainingObjCCategory(*Buffer)))
Mehdi Aminie75aa6f2016-07-11 23:10:18 +0000828 outs() << "Bitcode " << Filename << " contains ObjC\n";
829 else
830 outs() << "Bitcode " << Filename << " does not contain ObjC\n";
831 }
832 return 0;
833 }
834
Mehdi Amini7c4a1a82016-03-09 01:37:22 +0000835 if (ThinLTOMode.getNumOccurrences()) {
836 if (ThinLTOMode.getNumOccurrences() > 1)
837 report_fatal_error("You can't specify more than one -thinlto-action");
838 thinlto::ThinLTOProcessing ThinLTOProcessor(Options);
839 ThinLTOProcessor.run();
840 return 0;
841 }
842
Rafael Espindola5e128db2015-12-04 00:45:57 +0000843 if (ThinLTO) {
Teresa Johnson26ab5772016-03-15 00:04:37 +0000844 createCombinedModuleSummaryIndex();
Rafael Espindola5e128db2015-12-04 00:45:57 +0000845 return 0;
846 }
Teresa Johnson91a88bb2015-10-19 14:30:44 +0000847
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000848 unsigned BaseArg = 0;
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000849
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000850 LLVMContext Context;
Vivek Pandyab5ab8952017-09-15 20:10:09 +0000851 Context.setDiagnosticHandler(llvm::make_unique<LLVMLTODiagnosticHandler>(),
852 true);
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000853
854 LTOCodeGenerator CodeGen(Context);
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000855
Duncan P. N. Exon Smith30c92422014-10-01 18:36:03 +0000856 if (UseDiagnosticHandler)
857 CodeGen.setDiagnosticHandler(handleDiagnostics, nullptr);
858
Rafael Espindola8c34dd82016-05-18 22:04:49 +0000859 CodeGen.setCodePICModel(getRelocModel());
Mehdi Aminib5a46c12017-03-28 18:55:44 +0000860 CodeGen.setFreestanding(EnableFreestanding);
James Molloy951e5292014-04-14 13:54:16 +0000861
Peter Collingbourne4ccf0f12013-09-24 23:52:22 +0000862 CodeGen.setDebugInfo(LTO_DEBUG_MODEL_DWARF);
Rafael Espindola0b385c72013-09-30 16:39:19 +0000863 CodeGen.setTargetOptions(Options);
Tobias Edler von Koch3f4f6f3e2016-01-18 23:35:24 +0000864 CodeGen.setShouldRestoreGlobalsLinkage(RestoreGlobalsLinkage);
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000865
Eugene Zelenko975293f2017-09-07 23:28:24 +0000866 StringSet<MallocAllocator> DSOSymbolsSet;
Rafael Espindola282a4702013-10-31 20:51:58 +0000867 for (unsigned i = 0; i < DSOSymbols.size(); ++i)
868 DSOSymbolsSet.insert(DSOSymbols[i]);
869
870 std::vector<std::string> KeptDSOSyms;
871
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000872 for (unsigned i = BaseArg; i < InputFilenames.size(); ++i) {
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000873 CurrentActivity = "loading file '" + InputFilenames[i] + "'";
874 ErrorOr<std::unique_ptr<LTOModule>> ModuleOrErr =
Malcolm Parsons06ac79c2016-11-02 16:43:50 +0000875 LTOModule::createFromFile(Context, InputFilenames[i], Options);
Rafael Espindolaa7612b42015-12-04 16:14:31 +0000876 std::unique_ptr<LTOModule> &Module = *ModuleOrErr;
877 CurrentActivity = "";
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000878
Peter Collingbourne552174392015-08-21 19:09:42 +0000879 unsigned NumSyms = Module->getSymbolCount();
880 for (unsigned I = 0; I < NumSyms; ++I) {
881 StringRef Name = Module->getSymbolName(I);
882 if (!DSOSymbolsSet.count(Name))
883 continue;
884 lto_symbol_attributes Attrs = Module->getSymbolAttributes(I);
885 unsigned Scope = Attrs & LTO_SYMBOL_SCOPE_MASK;
886 if (Scope != LTO_SYMBOL_SCOPE_DEFAULT_CAN_BE_HIDDEN)
887 KeptDSOSyms.push_back(Name);
888 }
Manman Ren6487ce92015-02-24 00:45:56 +0000889
890 // We use the first input module as the destination module when
891 // SetMergedModule is true.
892 if (SetMergedModule && i == BaseArg) {
893 // Transfer ownership to the code generator.
Peter Collingbourne9c8909d2015-08-24 22:22:53 +0000894 CodeGen.setModule(std::move(Module));
Yunzhong Gao46261a72015-09-11 20:01:53 +0000895 } else if (!CodeGen.addModule(Module.get())) {
896 // Print a message here so that we know addModule() did not abort.
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000897 error("error adding file '" + InputFilenames[i] + "'");
Yunzhong Gao46261a72015-09-11 20:01:53 +0000898 }
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000899 }
900
Rafael Espindoladafc53d2013-10-02 14:12:56 +0000901 // Add all the exported symbols to the table of symbols to preserve.
902 for (unsigned i = 0; i < ExportedSymbols.size(); ++i)
Malcolm Parsons06ac79c2016-11-02 16:43:50 +0000903 CodeGen.addMustPreserveSymbol(ExportedSymbols[i]);
Rafael Espindoladafc53d2013-10-02 14:12:56 +0000904
Rafael Espindolacda29112013-10-03 18:29:09 +0000905 // Add all the dso symbols to the table of symbols to expose.
Rafael Espindola282a4702013-10-31 20:51:58 +0000906 for (unsigned i = 0; i < KeptDSOSyms.size(); ++i)
Malcolm Parsons06ac79c2016-11-02 16:43:50 +0000907 CodeGen.addMustPreserveSymbol(KeptDSOSyms[i]);
Rafael Espindolacda29112013-10-03 18:29:09 +0000908
Akira Hatanaka23b5f672015-01-30 01:14:28 +0000909 // Set cpu and attrs strings for the default target/subtarget.
910 CodeGen.setCpu(MCPU.c_str());
911
Peter Collingbourne070843d2015-03-19 22:01:00 +0000912 CodeGen.setOptLevel(OptLevel - '0');
913
Tom Roederfd1bc602014-04-25 21:46:51 +0000914 std::string attrs;
915 for (unsigned i = 0; i < MAttrs.size(); ++i) {
916 if (i > 0)
917 attrs.append(",");
918 attrs.append(MAttrs[i]);
919 }
920
921 if (!attrs.empty())
Malcolm Parsons06ac79c2016-11-02 16:43:50 +0000922 CodeGen.setAttr(attrs);
Tom Roederfd1bc602014-04-25 21:46:51 +0000923
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000924 if (FileType.getNumOccurrences())
925 CodeGen.setFileType(FileType);
926
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000927 if (!OutputFilename.empty()) {
Duncan P. N. Exon Smithcff5fef2015-09-15 23:05:59 +0000928 if (!CodeGen.optimize(DisableVerify, DisableInline, DisableGVNLoadPRE,
Yunzhong Gao8e348cc2015-11-17 19:48:12 +0000929 DisableLTOVectorization)) {
930 // Diagnostic messages should have been printed by the handler.
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000931 error("error optimizing the code");
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000932 }
933
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000934 if (SaveModuleFile) {
935 std::string ModuleFilename = OutputFilename;
936 ModuleFilename += ".merged.bc";
937 std::string ErrMsg;
938
Malcolm Parsons06ac79c2016-11-02 16:43:50 +0000939 if (!CodeGen.writeMergedModules(ModuleFilename))
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000940 error("writing merged module failed.");
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000941 }
942
Reid Kleckner3fc649c2017-09-23 01:03:17 +0000943 std::list<ToolOutputFile> OSs;
Peter Collingbournec269ed52015-08-27 23:37:36 +0000944 std::vector<raw_pwrite_stream *> OSPtrs;
945 for (unsigned I = 0; I != Parallelism; ++I) {
946 std::string PartFilename = OutputFilename;
947 if (Parallelism != 1)
948 PartFilename += "." + utostr(I);
949 std::error_code EC;
950 OSs.emplace_back(PartFilename, EC, sys::fs::F_None);
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000951 if (EC)
952 error("error opening the file '" + PartFilename + "': " + EC.message());
Peter Collingbournec269ed52015-08-27 23:37:36 +0000953 OSPtrs.push_back(&OSs.back().os());
954 }
955
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000956 if (!CodeGen.compileOptimized(OSPtrs))
Yunzhong Gao8e348cc2015-11-17 19:48:12 +0000957 // Diagnostic messages should have been printed by the handler.
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000958 error("error compiling the code");
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000959
Reid Kleckner3fc649c2017-09-23 01:03:17 +0000960 for (ToolOutputFile &OS : OSs)
Peter Collingbournec269ed52015-08-27 23:37:36 +0000961 OS.keep();
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000962 } else {
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000963 if (Parallelism != 1)
964 error("-j must be specified together with -o");
Peter Collingbournec269ed52015-08-27 23:37:36 +0000965
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000966 if (SaveModuleFile)
967 error(": -save-merged-module must be specified with -o");
Tobias Edler von Koch49c9a6e2015-11-20 00:13:05 +0000968
Craig Toppere6cb63e2014-04-25 04:24:47 +0000969 const char *OutputName = nullptr;
Duncan P. N. Exon Smithcff5fef2015-09-15 23:05:59 +0000970 if (!CodeGen.compile_to_file(&OutputName, DisableVerify, DisableInline,
Davide Italiano1eea9bd2016-04-13 22:08:26 +0000971 DisableGVNLoadPRE, DisableLTOVectorization))
972 error("error compiling the code");
Yunzhong Gao8e348cc2015-11-17 19:48:12 +0000973 // Diagnostic messages should have been printed by the handler.
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000974
975 outs() << "Wrote native object file '" << OutputName << "'\n";
976 }
977
Peter Collingbourne4e380b02013-09-19 22:15:52 +0000978 return 0;
979}