blob: 96215b7849899fb6c5157700e223165ffc6eba88 [file] [log] [blame]
Teresa Johnson9ba95f92016-08-11 14:58:12 +00001//===-LTOBackend.cpp - LLVM Link Time Optimizer Backend -------------------===//
2//
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 file implements the "backend" phase of LTO, i.e. it performs
11// optimization and code generation on a loaded module. It is generally used
12// internally by the LTO class but can also be used independently, for example
13// to implement a standalone ThinLTO backend.
14//
15//===----------------------------------------------------------------------===//
16
17#include "llvm/LTO/LTOBackend.h"
Davide Italianoec9612d2016-09-07 17:46:16 +000018#include "llvm/Analysis/AliasAnalysis.h"
19#include "llvm/Analysis/CGSCCPassManager.h"
20#include "llvm/Analysis/LoopPassManager.h"
Teresa Johnson9ba95f92016-08-11 14:58:12 +000021#include "llvm/Analysis/TargetLibraryInfo.h"
22#include "llvm/Analysis/TargetTransformInfo.h"
23#include "llvm/Bitcode/ReaderWriter.h"
24#include "llvm/IR/LegacyPassManager.h"
Davide Italianoec9612d2016-09-07 17:46:16 +000025#include "llvm/IR/PassManager.h"
26#include "llvm/IR/Verifier.h"
Mehdi Amini970800e2016-08-17 06:23:09 +000027#include "llvm/LTO/LTO.h"
Davide Italianodc8e07b2016-09-16 16:05:25 +000028#include "llvm/LTO/legacy/UpdateCompilerUsed.h"
Teresa Johnson9ba95f92016-08-11 14:58:12 +000029#include "llvm/MC/SubtargetFeature.h"
Davide Italianoec9612d2016-09-07 17:46:16 +000030#include "llvm/Passes/PassBuilder.h"
Teresa Johnson9ba95f92016-08-11 14:58:12 +000031#include "llvm/Support/Error.h"
32#include "llvm/Support/FileSystem.h"
33#include "llvm/Support/TargetRegistry.h"
34#include "llvm/Support/ThreadPool.h"
35#include "llvm/Target/TargetMachine.h"
36#include "llvm/Transforms/IPO.h"
37#include "llvm/Transforms/IPO/PassManagerBuilder.h"
38#include "llvm/Transforms/Utils/FunctionImportUtils.h"
39#include "llvm/Transforms/Utils/SplitModule.h"
40
41using namespace llvm;
42using namespace lto;
43
Davide Italianoa416d112016-09-17 22:32:42 +000044LLVM_ATTRIBUTE_NORETURN void reportOpenError(StringRef Path, Twine Msg) {
45 errs() << "failed to open " << Path << ": " << Msg << '\n';
46 errs().flush();
47 exit(1);
48}
49
Teresa Johnson9ba95f92016-08-11 14:58:12 +000050Error Config::addSaveTemps(std::string OutputFileName,
51 bool UseInputModulePath) {
52 ShouldDiscardValueNames = false;
53
54 std::error_code EC;
55 ResolutionFile = llvm::make_unique<raw_fd_ostream>(
Mehdi Aminieccffad2016-08-18 00:12:33 +000056 OutputFileName + "resolution.txt", EC, sys::fs::OpenFlags::F_Text);
Teresa Johnson9ba95f92016-08-11 14:58:12 +000057 if (EC)
58 return errorCodeToError(EC);
59
60 auto setHook = [&](std::string PathSuffix, ModuleHookFn &Hook) {
61 // Keep track of the hook provided by the linker, which also needs to run.
62 ModuleHookFn LinkerHook = Hook;
Mehdi Aminif8c2f082016-08-22 16:17:40 +000063 Hook = [=](unsigned Task, const Module &M) {
Teresa Johnson9ba95f92016-08-11 14:58:12 +000064 // If the linker's hook returned false, we need to pass that result
65 // through.
66 if (LinkerHook && !LinkerHook(Task, M))
67 return false;
68
69 std::string PathPrefix;
70 // If this is the combined module (not a ThinLTO backend compile) or the
71 // user hasn't requested using the input module's path, emit to a file
72 // named from the provided OutputFileName with the Task ID appended.
73 if (M.getModuleIdentifier() == "ld-temp.o" || !UseInputModulePath) {
Mehdi Aminieccffad2016-08-18 00:12:33 +000074 PathPrefix = OutputFileName + utostr(Task);
Teresa Johnson9ba95f92016-08-11 14:58:12 +000075 } else
76 PathPrefix = M.getModuleIdentifier();
77 std::string Path = PathPrefix + "." + PathSuffix + ".bc";
78 std::error_code EC;
79 raw_fd_ostream OS(Path, EC, sys::fs::OpenFlags::F_None);
Davide Italianoa416d112016-09-17 22:32:42 +000080 // Because -save-temps is a debugging feature, we report the error
81 // directly and exit.
82 if (EC)
83 reportOpenError(Path, EC.message());
Teresa Johnson9ba95f92016-08-11 14:58:12 +000084 WriteBitcodeToFile(&M, OS, /*ShouldPreserveUseListOrder=*/false);
85 return true;
86 };
87 };
88
89 setHook("0.preopt", PreOptModuleHook);
90 setHook("1.promote", PostPromoteModuleHook);
91 setHook("2.internalize", PostInternalizeModuleHook);
92 setHook("3.import", PostImportModuleHook);
93 setHook("4.opt", PostOptModuleHook);
94 setHook("5.precodegen", PreCodeGenModuleHook);
95
96 CombinedIndexHook = [=](const ModuleSummaryIndex &Index) {
Mehdi Aminieccffad2016-08-18 00:12:33 +000097 std::string Path = OutputFileName + "index.bc";
Teresa Johnson9ba95f92016-08-11 14:58:12 +000098 std::error_code EC;
99 raw_fd_ostream OS(Path, EC, sys::fs::OpenFlags::F_None);
Davide Italianoa416d112016-09-17 22:32:42 +0000100 // Because -save-temps is a debugging feature, we report the error
101 // directly and exit.
102 if (EC)
103 reportOpenError(Path, EC.message());
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000104 WriteIndexToFile(Index, OS);
105 return true;
106 };
107
108 return Error();
109}
110
111namespace {
112
113std::unique_ptr<TargetMachine>
Davide Italiano24c29b12016-09-07 01:08:31 +0000114createTargetMachine(Config &Conf, StringRef TheTriple,
115 const Target *TheTarget) {
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000116 SubtargetFeatures Features;
117 Features.getDefaultSubtargetFeatures(Triple(TheTriple));
Davide Italiano24c29b12016-09-07 01:08:31 +0000118 for (const std::string &A : Conf.MAttrs)
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000119 Features.AddFeature(A);
120
121 return std::unique_ptr<TargetMachine>(TheTarget->createTargetMachine(
Davide Italiano24c29b12016-09-07 01:08:31 +0000122 TheTriple, Conf.CPU, Features.getString(), Conf.Options, Conf.RelocModel,
123 Conf.CodeModel, Conf.CGOptLevel));
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000124}
125
Davide Italianoec9612d2016-09-07 17:46:16 +0000126static void runNewPMCustomPasses(Module &Mod, TargetMachine *TM,
127 std::string PipelineDesc,
Davide Italiano14e9e8a2016-09-16 21:03:21 +0000128 std::string AAPipelineDesc,
Davide Italianoec9612d2016-09-07 17:46:16 +0000129 bool DisableVerify) {
130 PassBuilder PB(TM);
131 AAManager AA;
Davide Italiano14e9e8a2016-09-16 21:03:21 +0000132
133 // Parse a custom AA pipeline if asked to.
134 if (!AAPipelineDesc.empty())
135 if (!PB.parseAAPipeline(AA, AAPipelineDesc))
136 report_fatal_error("unable to parse AA pipeline description: " +
137 AAPipelineDesc);
138
Davide Italianoec9612d2016-09-07 17:46:16 +0000139 LoopAnalysisManager LAM;
140 FunctionAnalysisManager FAM;
141 CGSCCAnalysisManager CGAM;
142 ModuleAnalysisManager MAM;
143
144 // Register the AA manager first so that our version is the one used.
145 FAM.registerPass([&] { return std::move(AA); });
146
147 // Register all the basic analyses with the managers.
148 PB.registerModuleAnalyses(MAM);
149 PB.registerCGSCCAnalyses(CGAM);
150 PB.registerFunctionAnalyses(FAM);
151 PB.registerLoopAnalyses(LAM);
152 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
153
154 ModulePassManager MPM;
155
156 // Always verify the input.
157 MPM.addPass(VerifierPass());
158
159 // Now, add all the passes we've been requested to.
160 if (!PB.parsePassPipeline(MPM, PipelineDesc))
161 report_fatal_error("unable to parse pass pipeline description: " +
162 PipelineDesc);
163
164 if (!DisableVerify)
165 MPM.addPass(VerifierPass());
166 MPM.run(Mod, MAM);
167}
168
Davide Italiano24c29b12016-09-07 01:08:31 +0000169static void runOldPMPasses(Config &Conf, Module &Mod, TargetMachine *TM,
Davide Italiano1e9d3d32016-08-31 17:02:44 +0000170 bool IsThinLto) {
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000171 legacy::PassManager passes;
172 passes.add(createTargetTransformInfoWrapperPass(TM->getTargetIRAnalysis()));
173
174 PassManagerBuilder PMB;
175 PMB.LibraryInfo = new TargetLibraryInfoImpl(Triple(TM->getTargetTriple()));
176 PMB.Inliner = createFunctionInliningPass();
177 // Unconditionally verify input since it is not verified before this
178 // point and has unknown origin.
179 PMB.VerifyInput = true;
Davide Italiano24c29b12016-09-07 01:08:31 +0000180 PMB.VerifyOutput = !Conf.DisableVerify;
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000181 PMB.LoopVectorize = true;
182 PMB.SLPVectorize = true;
Davide Italiano24c29b12016-09-07 01:08:31 +0000183 PMB.OptLevel = Conf.OptLevel;
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000184 if (IsThinLto)
185 PMB.populateThinLTOPassManager(passes);
186 else
187 PMB.populateLTOPassManager(passes);
Davide Italiano24c29b12016-09-07 01:08:31 +0000188 passes.run(Mod);
Davide Italiano1e9d3d32016-08-31 17:02:44 +0000189}
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000190
Davide Italiano24c29b12016-09-07 01:08:31 +0000191bool opt(Config &Conf, TargetMachine *TM, unsigned Task, Module &Mod,
Davide Italiano1e9d3d32016-08-31 17:02:44 +0000192 bool IsThinLto) {
Davide Italiano24c29b12016-09-07 01:08:31 +0000193 Mod.setDataLayout(TM->createDataLayout());
Davide Italianoec9612d2016-09-07 17:46:16 +0000194 if (Conf.OptPipeline.empty())
195 runOldPMPasses(Conf, Mod, TM, IsThinLto);
196 else
Davide Italiano14e9e8a2016-09-16 21:03:21 +0000197 runNewPMCustomPasses(Mod, TM, Conf.OptPipeline, Conf.AAPipeline,
198 Conf.DisableVerify);
Davide Italiano24c29b12016-09-07 01:08:31 +0000199 return !Conf.PostOptModuleHook || Conf.PostOptModuleHook(Task, Mod);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000200}
201
Peter Collingbourne80186a52016-09-23 21:33:43 +0000202void codegen(Config &Conf, TargetMachine *TM, AddStreamFn AddStream,
Davide Italiano24c29b12016-09-07 01:08:31 +0000203 unsigned Task, Module &Mod) {
204 if (Conf.PreCodeGenModuleHook && !Conf.PreCodeGenModuleHook(Task, Mod))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000205 return;
206
Peter Collingbourne80186a52016-09-23 21:33:43 +0000207 auto Stream = AddStream(Task);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000208 legacy::PassManager CodeGenPasses;
Peter Collingbourne80186a52016-09-23 21:33:43 +0000209 if (TM->addPassesToEmitFile(CodeGenPasses, *Stream->OS,
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000210 TargetMachine::CGFT_ObjectFile))
211 report_fatal_error("Failed to setup codegen");
Davide Italiano24c29b12016-09-07 01:08:31 +0000212 CodeGenPasses.run(Mod);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000213}
214
Peter Collingbourne80186a52016-09-23 21:33:43 +0000215void splitCodeGen(Config &C, TargetMachine *TM, AddStreamFn AddStream,
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000216 unsigned ParallelCodeGenParallelismLevel,
Davide Italiano24c29b12016-09-07 01:08:31 +0000217 std::unique_ptr<Module> Mod) {
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000218 ThreadPool CodegenThreadPool(ParallelCodeGenParallelismLevel);
219 unsigned ThreadCount = 0;
220 const Target *T = &TM->getTarget();
221
222 SplitModule(
Davide Italiano24c29b12016-09-07 01:08:31 +0000223 std::move(Mod), ParallelCodeGenParallelismLevel,
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000224 [&](std::unique_ptr<Module> MPart) {
225 // We want to clone the module in a new context to multi-thread the
226 // codegen. We do it by serializing partition modules to bitcode
227 // (while still on the main thread, in order to avoid data races) and
228 // spinning up new threads which deserialize the partitions into
229 // separate contexts.
230 // FIXME: Provide a more direct way to do this in LLVM.
231 SmallString<0> BC;
232 raw_svector_ostream BCOS(BC);
233 WriteBitcodeToFile(MPart.get(), BCOS);
234
235 // Enqueue the task
236 CodegenThreadPool.async(
237 [&](const SmallString<0> &BC, unsigned ThreadId) {
238 LTOLLVMContext Ctx(C);
239 ErrorOr<std::unique_ptr<Module>> MOrErr = parseBitcodeFile(
240 MemoryBufferRef(StringRef(BC.data(), BC.size()), "ld-temp.o"),
241 Ctx);
242 if (!MOrErr)
243 report_fatal_error("Failed to read bitcode");
244 std::unique_ptr<Module> MPartInCtx = std::move(MOrErr.get());
245
246 std::unique_ptr<TargetMachine> TM =
247 createTargetMachine(C, MPartInCtx->getTargetTriple(), T);
Mehdi Aminiadc0e262016-08-23 21:30:12 +0000248
Peter Collingbourne80186a52016-09-23 21:33:43 +0000249 codegen(C, TM.get(), AddStream, ThreadId, *MPartInCtx);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000250 },
251 // Pass BC using std::move to ensure that it get moved rather than
252 // copied into the thread's context.
253 std::move(BC), ThreadCount++);
254 },
255 false);
256}
257
Davide Italiano24c29b12016-09-07 01:08:31 +0000258Expected<const Target *> initAndLookupTarget(Config &C, Module &Mod) {
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000259 if (!C.OverrideTriple.empty())
Davide Italiano24c29b12016-09-07 01:08:31 +0000260 Mod.setTargetTriple(C.OverrideTriple);
261 else if (Mod.getTargetTriple().empty())
262 Mod.setTargetTriple(C.DefaultTriple);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000263
264 std::string Msg;
Davide Italiano24c29b12016-09-07 01:08:31 +0000265 const Target *T = TargetRegistry::lookupTarget(Mod.getTargetTriple(), Msg);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000266 if (!T)
267 return make_error<StringError>(Msg, inconvertibleErrorCode());
268 return T;
269}
270
271}
272
Davide Italianodc8e07b2016-09-16 16:05:25 +0000273static void handleAsmUndefinedRefs(Module &Mod, TargetMachine &TM) {
274 // Collect the list of undefined symbols used in asm and update
275 // llvm.compiler.used to prevent optimization to drop these from the output.
276 StringSet<> AsmUndefinedRefs;
277 object::IRObjectFile::CollectAsmUndefinedRefs(
278 Triple(Mod.getTargetTriple()), Mod.getModuleInlineAsm(),
279 [&AsmUndefinedRefs](StringRef Name, object::BasicSymbolRef::Flags Flags) {
280 if (Flags & object::BasicSymbolRef::SF_Undefined)
281 AsmUndefinedRefs.insert(Name);
282 });
283 updateCompilerUsed(Mod, TM, AsmUndefinedRefs);
284}
285
Peter Collingbourne80186a52016-09-23 21:33:43 +0000286Error lto::backend(Config &C, AddStreamFn AddStream,
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000287 unsigned ParallelCodeGenParallelismLevel,
Davide Italiano24c29b12016-09-07 01:08:31 +0000288 std::unique_ptr<Module> Mod) {
289 Expected<const Target *> TOrErr = initAndLookupTarget(C, *Mod);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000290 if (!TOrErr)
291 return TOrErr.takeError();
292
293 std::unique_ptr<TargetMachine> TM =
Davide Italiano24c29b12016-09-07 01:08:31 +0000294 createTargetMachine(C, Mod->getTargetTriple(), *TOrErr);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000295
Davide Italianodc8e07b2016-09-16 16:05:25 +0000296 handleAsmUndefinedRefs(*Mod, *TM);
297
Mehdi Aminid310b472016-08-22 06:25:41 +0000298 if (!C.CodeGenOnly)
Davide Italiano24c29b12016-09-07 01:08:31 +0000299 if (!opt(C, TM.get(), 0, *Mod, /*IsThinLto=*/false))
Mehdi Aminid310b472016-08-22 06:25:41 +0000300 return Error();
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000301
Mehdi Aminiadc0e262016-08-23 21:30:12 +0000302 if (ParallelCodeGenParallelismLevel == 1) {
Peter Collingbourne80186a52016-09-23 21:33:43 +0000303 codegen(C, TM.get(), AddStream, 0, *Mod);
Mehdi Aminiadc0e262016-08-23 21:30:12 +0000304 } else {
Peter Collingbourne80186a52016-09-23 21:33:43 +0000305 splitCodeGen(C, TM.get(), AddStream, ParallelCodeGenParallelismLevel,
Davide Italiano24c29b12016-09-07 01:08:31 +0000306 std::move(Mod));
Mehdi Aminiadc0e262016-08-23 21:30:12 +0000307 }
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000308 return Error();
309}
310
Peter Collingbourne80186a52016-09-23 21:33:43 +0000311Error lto::thinBackend(Config &Conf, unsigned Task, AddStreamFn AddStream,
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000312 Module &Mod, ModuleSummaryIndex &CombinedIndex,
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000313 const FunctionImporter::ImportMapTy &ImportList,
314 const GVSummaryMapTy &DefinedGlobals,
315 MapVector<StringRef, MemoryBufferRef> &ModuleMap) {
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000316 Expected<const Target *> TOrErr = initAndLookupTarget(Conf, Mod);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000317 if (!TOrErr)
318 return TOrErr.takeError();
319
320 std::unique_ptr<TargetMachine> TM =
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000321 createTargetMachine(Conf, Mod.getTargetTriple(), *TOrErr);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000322
Davide Italianodc8e07b2016-09-16 16:05:25 +0000323 handleAsmUndefinedRefs(Mod, *TM);
324
Mehdi Aminid310b472016-08-22 06:25:41 +0000325 if (Conf.CodeGenOnly) {
Peter Collingbourne80186a52016-09-23 21:33:43 +0000326 codegen(Conf, TM.get(), AddStream, Task, Mod);
Mehdi Aminid310b472016-08-22 06:25:41 +0000327 return Error();
328 }
329
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000330 if (Conf.PreOptModuleHook && !Conf.PreOptModuleHook(Task, Mod))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000331 return Error();
332
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000333 renameModuleForThinLTO(Mod, CombinedIndex);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000334
Mehdi Amini8ac7b322016-08-18 00:59:24 +0000335 thinLTOResolveWeakForLinkerModule(Mod, DefinedGlobals);
336
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000337 if (Conf.PostPromoteModuleHook && !Conf.PostPromoteModuleHook(Task, Mod))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000338 return Error();
339
340 if (!DefinedGlobals.empty())
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000341 thinLTOInternalizeModule(Mod, DefinedGlobals);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000342
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000343 if (Conf.PostInternalizeModuleHook &&
344 !Conf.PostInternalizeModuleHook(Task, Mod))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000345 return Error();
346
347 auto ModuleLoader = [&](StringRef Identifier) {
Mehdi Amini9ec5a612016-08-23 16:53:34 +0000348 assert(Mod.getContext().isODRUniquingDebugTypes() &&
Davide Italiano63e8f442016-09-14 18:48:43 +0000349 "ODR Type uniquing should be enabled on the context");
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000350 return std::move(getLazyBitcodeModule(MemoryBuffer::getMemBuffer(
351 ModuleMap[Identifier], false),
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000352 Mod.getContext(),
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000353 /*ShouldLazyLoadMetadata=*/true)
354 .get());
355 };
356
357 FunctionImporter Importer(CombinedIndex, ModuleLoader);
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000358 Importer.importFunctions(Mod, ImportList);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000359
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000360 if (Conf.PostImportModuleHook && !Conf.PostImportModuleHook(Task, Mod))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000361 return Error();
362
Mehdi Aminiacc50c42016-08-16 00:44:46 +0000363 if (!opt(Conf, TM.get(), Task, Mod, /*IsThinLto=*/true))
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000364 return Error();
365
Peter Collingbourne80186a52016-09-23 21:33:43 +0000366 codegen(Conf, TM.get(), AddStream, Task, Mod);
Teresa Johnson9ba95f92016-08-11 14:58:12 +0000367 return Error();
368}