LLVM 24.0.0git
LTOBackend.cpp
Go to the documentation of this file.
1//===-LTOBackend.cpp - LLVM Link Time Optimizer Backend -------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the "backend" phase of LTO, i.e. it performs
10// optimization and code generation on a loaded module. It is generally used
11// internally by the LTO class but can also be used independently, for example
12// to implement a standalone ThinLTO backend.
13//
14//===----------------------------------------------------------------------===//
15
16#include "llvm/LTO/LTOBackend.h"
27#include "llvm/IR/PassManager.h"
28#include "llvm/IR/Verifier.h"
29#include "llvm/LTO/LTO.h"
35#include "llvm/Support/Error.h"
38#include "llvm/Support/Path.h"
48#include <optional>
49
50using namespace llvm;
51using namespace lto;
52
53#define DEBUG_TYPE "lto-backend"
54
60
62 "lto-embed-bitcode", cl::init(LTOBitcodeEmbedding::DoNotEmbed),
64 "Do not embed"),
66 "Embed after all optimization passes"),
68 "post-merge-pre-opt",
69 "Embed post merge, but before optimizations")),
70 cl::desc("Embed LLVM bitcode in object files produced by LTO"));
71
73 "thinlto-assume-merged", cl::init(false),
74 cl::desc("Assume the input has already undergone ThinLTO function "
75 "importing and the other pre-optimization pipeline changes."));
76
78 SaveModulesList("filter-save-modules", cl::value_desc("module names"),
79 cl::desc("Only save bitcode for module whose name without "
80 "path matches this for -save-temps options"),
82
83namespace llvm {
85}
86
87[[noreturn]] static void reportOpenError(StringRef Path, Twine Msg) {
88 errs() << "failed to open " << Path << ": " << Msg << '\n';
89 errs().flush();
90 exit(1);
91}
92
93Error Config::addSaveTemps(std::string OutputFileName, bool UseInputModulePath,
94 const DenseSet<StringRef> &SaveTempsArgs) {
96
97 std::error_code EC;
98 if (SaveTempsArgs.empty() || SaveTempsArgs.contains("resolution")) {
100 std::make_unique<raw_fd_ostream>(OutputFileName + "resolution.txt", EC,
102 if (EC) {
103 ResolutionFile.reset();
104 return errorCodeToError(EC);
105 }
106 }
107
108 auto setHook = [&](std::string PathSuffix, ModuleHookFn &Hook) {
109 // Keep track of the hook provided by the linker, which also needs to run.
110 ModuleHookFn LinkerHook = Hook;
111 Hook = [=, SaveModNames = llvm::SmallVector<std::string, 1>(
112 SaveModulesList.begin(), SaveModulesList.end())](
113 unsigned Task, const Module &M) {
114 // If SaveModulesList is not empty, only do save-temps if the module's
115 // filename (without path) matches a name in the list.
116 if (!SaveModNames.empty() &&
118 SaveModNames,
119 std::string(llvm::sys::path::filename(M.getName()))))
120 return false;
121
122 // If the linker's hook returned false, we need to pass that result
123 // through.
124 if (LinkerHook && !LinkerHook(Task, M))
125 return false;
126
127 std::string PathPrefix;
128 // If this is the combined module (not a ThinLTO backend compile) or the
129 // user hasn't requested using the input module's path, emit to a file
130 // named from the provided OutputFileName with the Task ID appended.
131 if (M.getModuleIdentifier() == "ld-temp.o" || !UseInputModulePath) {
132 PathPrefix = OutputFileName;
133 if (Task != (unsigned)-1)
134 PathPrefix += utostr(Task) + ".";
135 } else
136 PathPrefix = M.getModuleIdentifier() + ".";
137 std::string Path = PathPrefix + PathSuffix + ".bc";
138 std::error_code EC;
140 // Because -save-temps is a debugging feature, we report the error
141 // directly and exit.
142 if (EC)
143 reportOpenError(Path, EC.message());
144 WriteBitcodeToFile(M, OS, /*ShouldPreserveUseListOrder=*/false);
145 return true;
146 };
147 };
148
149 auto SaveCombinedIndex =
150 [=](const ModuleSummaryIndex &Index,
151 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols) {
152 std::string Path = OutputFileName + "index.bc";
153 std::error_code EC;
155 // Because -save-temps is a debugging feature, we report the error
156 // directly and exit.
157 if (EC)
158 reportOpenError(Path, EC.message());
159 writeIndexToFile(Index, OS);
160
161 Path = OutputFileName + "index.dot";
163 if (EC)
164 reportOpenError(Path, EC.message());
165 Index.exportToDot(OSDot, GUIDPreservedSymbols);
166 return true;
167 };
168
169 if (SaveTempsArgs.empty()) {
170 setHook("0.preopt", PreOptModuleHook);
171 setHook("1.promote", PostPromoteModuleHook);
172 setHook("2.internalize", PostInternalizeModuleHook);
173 setHook("3.import", PostImportModuleHook);
174 setHook("4.opt", PostOptModuleHook);
175 setHook("5.precodegen", PreCodeGenModuleHook);
176 CombinedIndexHook = SaveCombinedIndex;
177 } else {
178 if (SaveTempsArgs.contains("preopt"))
179 setHook("0.preopt", PreOptModuleHook);
180 if (SaveTempsArgs.contains("promote"))
181 setHook("1.promote", PostPromoteModuleHook);
182 if (SaveTempsArgs.contains("internalize"))
183 setHook("2.internalize", PostInternalizeModuleHook);
184 if (SaveTempsArgs.contains("import"))
185 setHook("3.import", PostImportModuleHook);
186 if (SaveTempsArgs.contains("opt"))
187 setHook("4.opt", PostOptModuleHook);
188 if (SaveTempsArgs.contains("precodegen"))
189 setHook("5.precodegen", PreCodeGenModuleHook);
190 if (SaveTempsArgs.contains("combinedindex"))
191 CombinedIndexHook = SaveCombinedIndex;
192 }
193
194 return Error::success();
195}
196
197#define HANDLE_EXTENSION(Ext) \
198 llvm::PassPluginLibraryInfo get##Ext##PluginInfo();
199#include "llvm/Support/Extension.def"
200#undef HANDLE_EXTENSION
201
202static void RegisterPassPlugins(const Config &Conf, PassBuilder &PB) {
203#define HANDLE_EXTENSION(Ext) \
204 get##Ext##PluginInfo().RegisterPassBuilderCallbacks(PB);
205#include "llvm/Support/Extension.def"
206#undef HANDLE_EXTENSION
207
208 // Load requested pass plugins and let them register pass builder callbacks
209 for (auto &PluginFN : Conf.PassPluginFilenames) {
210 auto PassPlugin = PassPlugin::load(PluginFN);
211 if (!PassPlugin)
214 }
215
216 // Register already loaded plugins
217 for (auto *LoadedPlugin : Conf.LoadedPassPlugins)
218 LoadedPlugin->registerPassBuilderCallbacks(PB);
219}
220
221static std::unique_ptr<TargetMachine>
222createTargetMachine(const Config &Conf, const Target *TheTarget, Module &M) {
223 const Triple &TheTriple = M.getTargetTriple();
224 SubtargetFeatures Features;
225 Features.getDefaultSubtargetFeatures(TheTriple);
226 for (const std::string &A : Conf.MAttrs)
227 Features.AddFeature(A);
228
229 std::optional<Reloc::Model> RelocModel;
230 if (Conf.RelocModel)
231 RelocModel = *Conf.RelocModel;
232 else if (M.getModuleFlag("PIC Level"))
233 RelocModel =
234 M.getPICLevel() == PICLevel::NotPIC ? Reloc::Static : Reloc::PIC_;
235
236 std::optional<CodeModel::Model> CodeModel;
237 if (Conf.CodeModel)
238 CodeModel = *Conf.CodeModel;
239 else
240 CodeModel = M.getCodeModel();
241
243 "set Config::LibraryOptions instead");
244 TargetOptions TargetOpts = Conf.Options;
245 if (TargetOpts.MCOptions.ABIName.empty()) {
246 TargetOpts.MCOptions.ABIName = M.getTargetABIFromMD();
247 }
248 TargetOpts.MCOptions.LibraryOptions = &M.getContext().getLibraryOptions();
249
250 std::unique_ptr<TargetMachine> TM(TheTarget->createTargetMachine(
251 TheTriple, Conf.CPU, Features.getString(), TargetOpts, RelocModel,
252 CodeModel, Conf.CGOptLevel));
253
254 assert(TM && "Failed to create target machine");
255
256 if (std::optional<uint64_t> LargeDataThreshold = M.getLargeDataThreshold())
257 TM->setLargeDataThreshold(*LargeDataThreshold);
258
259 return TM;
260}
261
262static void runNewPMPasses(const Config &Conf, Module &Mod, TargetMachine *TM,
263 unsigned OptLevel, bool IsThinLTO,
264 ModuleSummaryIndex *ExportSummary,
265 const ModuleSummaryIndex *ImportSummary,
266 const DenseSet<StringRef> &BitcodeLibFuncs) {
267 std::optional<PGOOptions> PGOOpt;
268 if (!Conf.SampleProfile.empty())
269 PGOOpt = PGOOptions(Conf.SampleProfile, "", Conf.ProfileRemapping,
270 /*MemoryProfile=*/"", PGOOptions::SampleUse,
273 else if (Conf.RunCSIRInstr) {
274 PGOOpt = PGOOptions("", Conf.CSIRProfile, Conf.ProfileRemapping,
275 /*MemoryProfile=*/"", PGOOptions::IRUse,
277 Conf.AddFSDiscriminator);
278 } else if (!Conf.CSIRProfile.empty()) {
279 PGOOpt =
281 /*MemoryProfile=*/"", PGOOptions::IRUse, PGOOptions::CSIRUse,
284 } else if (Conf.AddFSDiscriminator) {
285 PGOOpt = PGOOptions("", "", "", /*MemoryProfile=*/"", PGOOptions::NoAction,
288 }
289 TM->setPGOOption(PGOOpt);
290
295
298 Conf.VerifyEach);
299 SI.registerCallbacks(PIC, &MAM);
300 PassBuilder PB(Mod.getContext(), TM, Conf.PTO, PGOOpt, &PIC);
301
302 RegisterPassPlugins(Conf, PB);
303
304 std::unique_ptr<TargetLibraryInfoImpl> TLII(
306 if (Conf.Freestanding)
307 TLII->disableAllFunctions();
308
309 // Determine whether or not its safe to emit calls to each libfunc. Libfuncs
310 // that might have been present in the current LTO unit, but are not, have
311 // lost their only opportunity to be defined, and calls must not be emitted to
312 // them.
313 // FIXME: BitcodeLibFuncs isn't yet set for distributed ThinLTO.
314 TargetLibraryInfo TLI(*TLII);
315 for (unsigned I = 0, E = static_cast<unsigned>(LibFunc::NumLibFuncs); I != E;
316 ++I) {
317 LibFunc F = static_cast<LibFunc>(I);
318 if (BitcodeLibFuncs.contains(TLI.getName(F)))
319 TLII->setUnavailable(F);
320 }
321
322 FAM.registerPass([&] { return TargetLibraryAnalysis(*TLII); });
323
324 // Parse a custom AA pipeline if asked to.
325 if (!Conf.AAPipeline.empty()) {
327 if (auto Err = PB.parseAAPipeline(AA, Conf.AAPipeline)) {
328 report_fatal_error(Twine("unable to parse AA pipeline description '") +
329 Conf.AAPipeline + "': " + toString(std::move(Err)));
330 }
331 // Register the AA manager first so that our version is the one used.
332 FAM.registerPass([&] { return std::move(AA); });
333 }
334
335 // Register all the basic analyses with the managers.
336 PB.registerModuleAnalyses(MAM);
337 PB.registerCGSCCAnalyses(CGAM);
338 PB.registerFunctionAnalyses(FAM);
339 PB.registerLoopAnalyses(LAM);
340 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
341
342 if (Conf.PassBuilderCallback)
344
346
347 if (!Conf.DisableVerify)
348 MPM.addPass(VerifierPass());
349
351
352 switch (OptLevel) {
353 default:
354 llvm_unreachable("Invalid optimization level");
355 case 0:
357 break;
358 case 1:
360 break;
361 case 2:
363 break;
364 case 3:
366 break;
367 }
368
369 // Parse a custom pipeline if asked to.
370 if (!Conf.OptPipeline.empty()) {
371 if (auto Err = PB.parsePassPipeline(MPM, Conf.OptPipeline)) {
372 report_fatal_error(Twine("unable to parse pass pipeline description '") +
373 Conf.OptPipeline + "': " + toString(std::move(Err)));
374 }
375 } else if (IsThinLTO) {
376 MPM.addPass(PB.buildThinLTODefaultPipeline(OL, ImportSummary));
377 } else {
378 MPM.addPass(PB.buildLTODefaultPipeline(OL, ExportSummary));
379 }
380
381 if (!Conf.DisableVerify)
382 MPM.addPass(VerifierPass());
383
384 if (PB.getPrintPipelinePasses()) {
385 std::string PipelineStr;
386 raw_string_ostream OS(PipelineStr);
387 MPM.printPipeline(OS, [&PIC](StringRef ClassName) {
388 auto PassName = PIC.getPassNameForClassName(ClassName);
389 return PassName.empty() ? ClassName : PassName;
390 });
391 outs() << "pipeline-passes: " << PipelineStr << '\n';
392 }
393
394 MPM.run(Mod, MAM);
395}
396
397static bool isEmptyModule(const Module &Mod) {
398 // Module is empty if it has no functions, no globals, no inline asm and no
399 // named metadata (aliases and ifuncs require functions or globals so we
400 // don't need to check those explicitly).
401 return Mod.empty() && Mod.global_empty() && Mod.named_metadata_empty() &&
402 Mod.getModuleInlineAsm().empty();
403}
404
405bool lto::opt(const Config &Conf, TargetMachine *TM, unsigned Task, Module &Mod,
406 bool IsThinLTO, ModuleSummaryIndex *ExportSummary,
407 const ModuleSummaryIndex *ImportSummary,
408 const std::vector<uint8_t> &CmdArgs,
409 ArrayRef<StringRef> BitcodeLibFuncs) {
410 llvm::TimeTraceScope timeScope("opt");
412 // FIXME: the motivation for capturing post-merge bitcode and command line
413 // is replicating the compilation environment from bitcode, without needing
414 // to understand the dependencies (the functions to be imported). This
415 // assumes a clang - based invocation, case in which we have the command
416 // line.
417 // It's not very clear how the above motivation would map in the
418 // linker-based case, so we currently don't plumb the command line args in
419 // that case.
420 if (CmdArgs.empty())
422 dbgs() << "Post-(Thin)LTO merge bitcode embedding was requested, but "
423 "command line arguments are not available");
425 /*EmbedBitcode*/ true, /*EmbedCmdline*/ true,
426 /*Cmdline*/ CmdArgs);
427 }
428 // No need to run any opt passes if the module is empty.
429 // In theory these passes should take almost no time for an empty
430 // module, however, this guards against doing any unnecessary summary-based
431 // analysis in the case of a ThinLTO build where this might be an empty
432 // regular LTO combined module, with a large combined index from ThinLTO.
433 if (!isEmptyModule(Mod)) {
434 DenseSet<StringRef> BitcodeLibFuncsSet(BitcodeLibFuncs.begin(),
435 BitcodeLibFuncs.end());
436 // FIXME: Plumb the combined index into the new pass manager.
437 runNewPMPasses(Conf, Mod, TM, Conf.OptLevel, IsThinLTO, ExportSummary,
438 ImportSummary, BitcodeLibFuncsSet);
439 }
440 return !Conf.PostOptModuleHook || Conf.PostOptModuleHook(Task, Mod);
441}
442
443static void codegen(const Config &Conf, TargetMachine *TM,
444 AddStreamFn AddStream, unsigned Task, Module &Mod,
445 const ModuleSummaryIndex &CombinedIndex) {
446 llvm::TimeTraceScope timeScope("codegen");
447 if (Conf.PreCodeGenModuleHook && !Conf.PreCodeGenModuleHook(Task, Mod))
448 return;
449
452 /*EmbedBitcode*/ true,
453 /*EmbedCmdline*/ false,
454 /*CmdArgs*/ std::vector<uint8_t>());
455
456 std::unique_ptr<ToolOutputFile> DwoOut;
458 if (!Conf.DwoDir.empty()) {
459 std::error_code EC;
460 if (auto EC = llvm::sys::fs::create_directories(Conf.DwoDir))
461 report_fatal_error(Twine("Failed to create directory ") + Conf.DwoDir +
462 ": " + EC.message());
463
464 DwoFile = Conf.DwoDir;
465 sys::path::append(DwoFile, std::to_string(Task) + ".dwo");
466 TM->Options.MCOptions.SplitDwarfFile = std::string(DwoFile);
467 } else
469
470 if (!DwoFile.empty()) {
471 std::error_code EC;
472 DwoOut = std::make_unique<ToolOutputFile>(DwoFile, EC, sys::fs::OF_None);
473 if (EC)
474 report_fatal_error(Twine("Failed to open ") + DwoFile + ": " +
475 EC.message());
476 }
477
479 AddStream(Task, Mod.getModuleIdentifier());
480 if (Error Err = StreamOrErr.takeError())
481 report_fatal_error(std::move(Err));
482 std::unique_ptr<CachedFileStream> &Stream = *StreamOrErr;
483 TM->Options.ObjectFilenameForDebug = Stream->ObjectPathName;
484
485 // Create the codegen pipeline in its own scope so it gets deleted before
486 // Stream->commit() is called. The commit function of CacheStream deletes
487 // the raw stream, which is too early as streamers (e.g. MCAsmStreamer)
488 // keep the pointer and may use it until their destruction. See #138194.
489 {
490 legacy::PassManager CodeGenPasses;
491 TargetLibraryInfoImpl TLII(Mod.getTargetTriple(), TM->Options.VecLib);
492 CodeGenPasses.add(new TargetLibraryInfoWrapperPass(TLII));
493 CodeGenPasses.add(new RuntimeLibraryInfoWrapper(
495
496 // No need to make index available if the module is empty.
497 // In theory these passes should not use the index for an empty
498 // module, however, this guards against doing any unnecessary summary-based
499 // analysis in the case of a ThinLTO build where this might be an empty
500 // regular LTO combined module, with a large combined index from ThinLTO.
501 if (!isEmptyModule(Mod))
502 CodeGenPasses.add(
504 if (Conf.PreCodeGenPassesHook)
505 Conf.PreCodeGenPassesHook(CodeGenPasses);
506 if (TM->addPassesToEmitFile(CodeGenPasses, *Stream->OS,
507 DwoOut ? &DwoOut->os() : nullptr,
508 Conf.CGFileType))
509 report_fatal_error("Failed to setup codegen");
510 CodeGenPasses.run(Mod);
511
512 if (DwoOut)
513 DwoOut->keep();
514 }
515
516 if (Error Err = Stream->commit())
517 report_fatal_error(std::move(Err));
518}
519
520static void splitCodeGen(const Config &C, TargetMachine *TM,
521 AddStreamFn AddStream,
522 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
523 const ModuleSummaryIndex &CombinedIndex) {
524 DefaultThreadPool CodegenThreadPool(
525 heavyweight_hardware_concurrency(ParallelCodeGenParallelismLevel));
526 unsigned ThreadCount = 0;
527 const Target *T = &TM->getTarget();
528
529 const auto HandleModulePartition =
530 [&](std::unique_ptr<Module> MPart) {
531 // We want to clone the module in a new context to multi-thread the
532 // codegen. We do it by serializing partition modules to bitcode
533 // (while still on the main thread, in order to avoid data races) and
534 // spinning up new threads which deserialize the partitions into
535 // separate contexts.
536 // FIXME: Provide a more direct way to do this in LLVM.
538 raw_svector_ostream BCOS(BC);
539 WriteBitcodeToFile(*MPart, BCOS);
540
541 // Enqueue the task
542 CodegenThreadPool.async(
543 [&](const SmallString<0> &BC, unsigned ThreadId) {
544 LTOLLVMContext Ctx(C);
546 parseBitcodeFile(MemoryBufferRef(BC.str(), "ld-temp.o"), Ctx);
547 if (!MOrErr)
548 report_fatal_error("Failed to read bitcode");
549 std::unique_ptr<Module> MPartInCtx = std::move(MOrErr.get());
550
551 std::unique_ptr<TargetMachine> TM =
552 createTargetMachine(C, T, *MPartInCtx);
553
554 codegen(C, TM.get(), AddStream, ThreadId, *MPartInCtx,
555 CombinedIndex);
556 },
557 // Pass BC using std::move to ensure that it get moved rather than
558 // copied into the thread's context.
559 std::move(BC), ThreadCount++);
560 };
561
562 // Try target-specific module splitting first, then fallback to the default.
563 if (!TM->splitModule(Mod, ParallelCodeGenParallelismLevel,
564 HandleModulePartition)) {
565 SplitModule(Mod, ParallelCodeGenParallelismLevel, HandleModulePartition,
566 false);
567 }
568
569 // Because the inner lambda (which runs in a worker thread) captures our local
570 // variables, we need to wait for the worker threads to terminate before we
571 // can leave the function scope.
572 CodegenThreadPool.wait();
573}
574
576 Module &Mod) {
577 if (!C.OverrideTriple.empty())
578 Mod.setTargetTriple(Triple(C.OverrideTriple));
579 else if (Mod.getTargetTriple().empty())
580 Mod.setTargetTriple(Triple(C.DefaultTriple));
581
582 std::string Msg;
583 const Target *T = TargetRegistry::lookupTarget(Mod.getTargetTriple(), Msg);
584 if (!T)
586 return T;
587}
588
590 // Make sure we flush the diagnostic remarks file in case the linker doesn't
591 // call the global destructors before exiting.
592 if (!DiagOutputFile)
593 return Error::success();
594 DiagOutputFile.finalize();
595 DiagOutputFile->keep();
596 DiagOutputFile->os().flush();
597 return Error::success();
598}
599
601 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
602 ModuleSummaryIndex &CombinedIndex,
603 ArrayRef<StringRef> BitcodeLibFuncs) {
604 llvm::TimeTraceScope timeScope("LTO backend");
606 if (!TOrErr)
607 return TOrErr.takeError();
608
609 std::unique_ptr<TargetMachine> TM = createTargetMachine(C, *TOrErr, Mod);
610
611 LLVM_DEBUG(dbgs() << "Running regular LTO\n");
612 if (!C.CodeGenOnly) {
613 if (!opt(C, TM.get(), 0, Mod, /*IsThinLTO=*/false,
614 /*ExportSummary=*/&CombinedIndex, /*ImportSummary=*/nullptr,
615 /*CmdArgs*/ std::vector<uint8_t>(), BitcodeLibFuncs))
616 return Error::success();
617 }
618
619 if (ParallelCodeGenParallelismLevel == 1) {
620 codegen(C, TM.get(), AddStream, 0, Mod, CombinedIndex);
621 } else {
622 splitCodeGen(C, TM.get(), AddStream, ParallelCodeGenParallelismLevel, Mod,
623 CombinedIndex);
624 }
625 return Error::success();
626}
627
628static void dropDeadSymbols(Module &Mod, const GVSummaryMapTy &DefinedGlobals,
629 const ModuleSummaryIndex &Index) {
630 llvm::TimeTraceScope timeScope("Drop dead symbols");
631 std::vector<GlobalValue*> DeadGVs;
632
633 for (auto &GV : Mod.global_values()) {
634 auto GUID = GV.getGUIDIfAssigned();
635 if (!GUID)
636 continue;
637
638 if (GlobalValueSummary *GVS = DefinedGlobals.lookup(*GUID))
639 if (!Index.isGlobalValueLive(GVS)) {
640 DeadGVs.push_back(&GV);
642 }
643 }
644
645 // Now that all dead bodies have been dropped, delete the actual objects
646 // themselves when possible.
647 for (GlobalValue *GV : DeadGVs) {
648 GV->removeDeadConstantUsers();
649 // Might reference something defined in native object (i.e. dropped a
650 // non-prevailing IR def, but we need to keep the declaration).
651 if (GV->use_empty())
652 GV->eraseFromParent();
653 }
654}
655
656Error lto::thinBackend(const Config &Conf, unsigned Task, AddStreamFn AddStream,
657 Module &Mod, const ModuleSummaryIndex &CombinedIndex,
658 const FunctionImporter::ImportMapTy &ImportList,
659 const GVSummaryMapTy &DefinedGlobals,
661 bool CodeGenOnly, ArrayRef<StringRef> BitcodeLibFuncs,
662 AddStreamFn IRAddStream,
663 const std::vector<uint8_t> &CmdArgs) {
664 llvm::TimeTraceScope timeScope("Thin backend", Mod.getModuleIdentifier());
666 if (!TOrErr)
667 return TOrErr.takeError();
668
669 std::unique_ptr<TargetMachine> TM = createTargetMachine(Conf, *TOrErr, Mod);
670
671 // Setup optimization remarks.
672 auto DiagFileOrErr = lto::setupLLVMOptimizationRemarks(
673 Mod.getContext(), Conf.RemarksFilename, Conf.RemarksPasses,
675 Task);
676 if (!DiagFileOrErr)
677 return DiagFileOrErr.takeError();
678 auto DiagnosticOutputFile = std::move(*DiagFileOrErr);
679
680 // Set the partial sample profile ratio in the profile summary module flag of
681 // the module, if applicable.
682 Mod.setPartialSampleProfileRatio(CombinedIndex);
683
684 LLVM_DEBUG(dbgs() << "Running ThinLTO\n");
685 if (CodeGenOnly) {
686 // If CodeGenOnly is set, we only perform code generation and skip
687 // optimization. This value may differ from Conf.CodeGenOnly.
688 codegen(Conf, TM.get(), AddStream, Task, Mod, CombinedIndex);
689 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
690 }
691
692 if (Conf.PreOptModuleHook && !Conf.PreOptModuleHook(Task, Mod))
693 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
694
695 auto OptimizeAndCodegen =
696 [&](Module &Mod, TargetMachine *TM,
697 LLVMRemarkFileHandle DiagnosticOutputFile) {
698 // Perform optimization and code generation for ThinLTO.
699 if (!opt(Conf, TM, Task, Mod, /*IsThinLTO=*/true,
700 /*ExportSummary=*/nullptr, /*ImportSummary=*/&CombinedIndex,
701 CmdArgs, BitcodeLibFuncs))
702 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
703
704 // Save the current module before the first codegen round.
705 // Note that the second codegen round runs only `codegen()` without
706 // running `opt()`. We're not reaching here as it's bailed out earlier
707 // with `CodeGenOnly` which has been set in `SecondRoundThinBackend`.
708 if (IRAddStream)
709 cgdata::saveModuleForTwoRounds(Mod, Task, IRAddStream);
710
711 codegen(Conf, TM, AddStream, Task, Mod, CombinedIndex);
712 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
713 };
714
716 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
717
718 // When linking an ELF shared object, dso_local should be dropped. We
719 // conservatively do this for -fpic.
720 bool ClearDSOLocalOnDeclarations =
721 Mod.getTargetTriple().isOSBinFormatELF() &&
722 TM->getRelocationModel() != Reloc::Static &&
723 Mod.getPIELevel() == PIELevel::Default;
724 renameModuleForThinLTO(Mod, CombinedIndex, ClearDSOLocalOnDeclarations);
725
726 dropDeadSymbols(Mod, DefinedGlobals, CombinedIndex);
727
728 thinLTOFinalizeInModule(Mod, DefinedGlobals, /*PropagateAttrs=*/true);
729
730 if (Conf.PostPromoteModuleHook && !Conf.PostPromoteModuleHook(Task, Mod))
731 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
732
733 if (!DefinedGlobals.empty())
734 thinLTOInternalizeModule(Mod, DefinedGlobals);
735
736 if (Conf.PostInternalizeModuleHook &&
737 !Conf.PostInternalizeModuleHook(Task, Mod))
738 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
739
740 auto ModuleLoader = [&](StringRef Identifier) {
741 llvm::TimeTraceScope moduleLoaderScope("Module loader", Identifier);
742 assert(Mod.getContext().isODRUniquingDebugTypes() &&
743 "ODR Type uniquing should be enabled on the context");
744 if (ModuleMap) {
745 auto I = ModuleMap->find(Identifier);
746 assert(I != ModuleMap->end());
747 return I->second.getLazyModule(Mod.getContext(),
748 /*ShouldLazyLoadMetadata=*/true,
749 /*IsImporting*/ true);
750 }
751
753 llvm::MemoryBuffer::getFile(Identifier);
754 if (!MBOrErr)
756 Twine("Error loading imported file ") + Identifier + " : ",
757 MBOrErr.getError()));
758
759 Expected<BitcodeModule> BMOrErr = findThinLTOModule(**MBOrErr);
760 if (!BMOrErr)
762 Twine("Error loading imported file ") + Identifier + " : " +
763 toString(BMOrErr.takeError()),
765
767 BMOrErr->getLazyModule(Mod.getContext(),
768 /*ShouldLazyLoadMetadata=*/true,
769 /*IsImporting*/ true);
770 if (MOrErr)
771 (*MOrErr)->setOwnedMemoryBuffer(std::move(*MBOrErr));
772 return MOrErr;
773 };
774
775 {
776 llvm::TimeTraceScope importScope("Import functions");
777 FunctionImporter Importer(CombinedIndex, ModuleLoader,
778 ClearDSOLocalOnDeclarations);
779 if (Error Err = Importer.importFunctions(Mod, ImportList).takeError())
780 return Err;
781 }
782
783 // Do this after any importing so that imported code is updated.
785
786 if (Conf.PostImportModuleHook && !Conf.PostImportModuleHook(Task, Mod))
787 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
788
789 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
790}
791
793 if (ThinLTOAssumeMerged && BMs.size() == 1)
794 return BMs.begin();
795
796 for (BitcodeModule &BM : BMs) {
797 Expected<BitcodeLTOInfo> LTOInfo = BM.getLTOInfo();
798 if (LTOInfo && LTOInfo->IsThinLTO)
799 return &BM;
800 }
801 return nullptr;
802}
803
806 if (!BMsOrErr)
807 return BMsOrErr.takeError();
808
809 // The bitcode file may contain multiple modules, we want the one that is
810 // marked as being the ThinLTO module.
811 if (const BitcodeModule *Bm = lto::findThinLTOModule(*BMsOrErr))
812 return *Bm;
813
814 return make_error<StringError>("Could not find module summary",
816}
817
819 const ModuleSummaryIndex &CombinedIndex,
820 FunctionImporter::ImportMapTy &ImportList) {
822 return true;
823 // We can simply import the values mentioned in the combined index, since
824 // we should only invoke this using the individual indexes written out
825 // via a WriteIndexesThinBackend.
826 for (const auto &GlobalList : CombinedIndex) {
827 // Ignore entries for undefined references.
828 if (GlobalList.second.getSummaryList().empty())
829 continue;
830
831 auto GUID = GlobalList.first;
832 for (const auto &Summary : GlobalList.second.getSummaryList()) {
833 // Skip the summaries for the importing module. These are included to
834 // e.g. record required linkage changes.
835 if (Summary->modulePath() == M.getModuleIdentifier())
836 continue;
837 // Add an entry to provoke importing by thinBackend.
838 ImportList.addGUID(Summary->modulePath(), GUID, Summary->importType());
839 }
840 }
841 return true;
842}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
This header provides classes for managing passes over SCCs of the call graph.
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This header defines various interfaces for pass management in LLVM.
static cl::opt< bool > ThinLTOAssumeMerged("thinlto-assume-merged", cl::init(false), cl::desc("Assume the input has already undergone ThinLTO function " "importing and the other pre-optimization pipeline changes."))
static void reportOpenError(StringRef Path, Twine Msg)
static cl::list< std::string > SaveModulesList("filter-save-modules", cl::value_desc("module names"), cl::desc("Only save bitcode for module whose name without " "path matches this for -save-temps options"), cl::CommaSeparated, cl::Hidden)
LTOBitcodeEmbedding
static cl::opt< LTOBitcodeEmbedding > EmbedBitcode("lto-embed-bitcode", cl::init(LTOBitcodeEmbedding::DoNotEmbed), cl::values(clEnumValN(LTOBitcodeEmbedding::DoNotEmbed, "none", "Do not embed"), clEnumValN(LTOBitcodeEmbedding::EmbedOptimized, "optimized", "Embed after all optimization passes"), clEnumValN(LTOBitcodeEmbedding::EmbedPostMergePreOptimized, "post-merge-pre-opt", "Embed post merge, but before optimizations")), cl::desc("Embed LLVM bitcode in object files produced by LTO"))
static void RegisterPassPlugins(const Config &Conf, PassBuilder &PB)
static void splitCodeGen(const Config &C, TargetMachine *TM, AddStreamFn AddStream, unsigned ParallelCodeGenParallelismLevel, Module &Mod, const ModuleSummaryIndex &CombinedIndex)
static void dropDeadSymbols(Module &Mod, const GVSummaryMapTy &DefinedGlobals, const ModuleSummaryIndex &Index)
static Expected< const Target * > initAndLookupTarget(const Config &C, Module &Mod)
static void runNewPMPasses(const Config &Conf, Module &Mod, TargetMachine *TM, unsigned OptLevel, bool IsThinLTO, ModuleSummaryIndex *ExportSummary, const ModuleSummaryIndex *ImportSummary, const DenseSet< StringRef > &BitcodeLibFuncs)
static bool isEmptyModule(const Module &Mod)
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define T
This is the interface to build a ModuleSummaryIndex for a module.
static std::unique_ptr< TargetMachine > createTargetMachine(Function *F, CodeGenOptLevel OptLevel)
Create the TargetMachine object to query the backend for optimization preferences.
CGSCCAnalysisManager CGAM
if(auto Err=PB.parsePassPipeline(MPM, Passes)) return wrap(std MPM run * Mod
LoopAnalysisManager LAM
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
PassBuilder PB(Mod->getContext(), Machine, PassOpts->PTO, std::nullopt, &PIC)
PassInstrumentationCallbacks PIC
const char * Msg
This header defines a class that provides bookkeeping for all standard (i.e in-tree) pass instrumenta...
#define LLVM_DEBUG(...)
Definition Debug.h:119
static cl::opt< int > ThreadCount("threads", cl::init(0))
Defines the virtual file system interface vfs::FileSystem.
static const char PassName[]
A manager for alias analyses.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
iterator end() const
Definition ArrayRef.h:130
size_t size() const
Get the array size.
Definition ArrayRef.h:141
iterator begin() const
Definition ArrayRef.h:129
Represents a module in a bitcode file.
bool empty() const
Definition DenseMap.h:716
ValueT lookup(const_arg_type_t< KeyT > Val) const
Return the entry for the specified key, or a default constructed value if no such entry exists.
Definition DenseMap.h:793
Implements a dense probed hash-table based set.
Definition DenseSet.h:281
Represents either an error or a value T.
Definition ErrorOr.h:56
std::error_code getError() const
Definition ErrorOr.h:152
Lightweight error class with error context and mandatory checking.
Definition Error.h:159
static ErrorSuccess success()
Create a success value.
Definition Error.h:336
Tagged union holding either a T or a Error.
Definition Error.h:485
Error takeError()
Take ownership of the stored error.
Definition Error.h:612
reference get()
Returns a reference to the stored T value.
Definition Error.h:582
The map maintains the list of imports.
void addGUID(StringRef FromModule, GlobalValue::GUID GUID, GlobalValueSummary::ImportKind ImportKind)
The function importer is automatically importing function from other modules based on the provided su...
LLVM_ABI Expected< bool > importFunctions(Module &M, const ImportMapTy &ImportList)
Import functions in Module M based on the supplied import list.
Function and variable summary information to aid decisions and implementation of importing.
RAII handle that manages the lifetime of the ToolOutputFile used to output remarks.
const cl::LibraryOptionsContext * LibraryOptions
This class implements a map that also provides access to all stored values in a deterministic order.
Definition MapVector.h:38
iterator find(const KeyT &Key)
Definition MapVector.h:156
iterator end()
Definition MapVector.h:69
static ErrorOr< std::unique_ptr< MemoryBuffer > > getFile(const Twine &Filename, bool IsText=false, bool RequiresNullTerminator=true, bool IsVolatile=false, std::optional< Align > Alignment=std::nullopt)
Open the specified file as a MemoryBuffer, returning a new MemoryBuffer if successful,...
Class to hold module path string table and global value map, and encapsulate methods for operating on...
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:68
Represent a mutable reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:294
iterator begin() const
Definition ArrayRef.h:338
This class provides access to building LLVM's passes.
This class manages callbacks registration, as well as provides a way for PassInstrumentation to pass ...
LLVM_ATTRIBUTE_MINSIZE std::enable_if_t<!std::is_same_v< PassT, PassManager > > addPass(PassT &&Pass)
void printPipeline(raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
PreservedAnalyses run(IRUnitT &IR, AnalysisManagerT &AM, ExtraArgTs... ExtraArgs)
Run all of the passes in this manager over the given unit of IR.
A loaded pass plugin.
Definition PassPlugin.h:77
void registerPassBuilderCallbacks(PassBuilder &PB) const
Invoke the PassBuilder callback registration.
Definition PassPlugin.h:101
static LLVM_ABI Expected< PassPlugin > load(StringRef Filename)
Attempts to load a pass plugin from a given file.
void wait() override
Blocking wait for all the tasks to execute first.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
StringRef str() const
Explicit conversion to StringRef.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
This class provides an interface to register all the standard pass instrumentations and manages their...
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
Manages the enabling and disabling of subtarget specific features.
LLVM_ABI void getDefaultSubtargetFeatures(const Triple &Triple)
Adds the default features for the specified target triple.
LLVM_ABI std::string getString() const
Returns features as a string.
LLVM_ABI void AddFeature(StringRef String, bool Enable=true)
Adds Features.
Analysis pass providing the TargetLibraryInfo.
Implementation of the target library information.
Provides information about what library functions are available for the current target.
StringRef getName(LibFunc F) const
Primary interface to the complete machine description for the target machine.
virtual bool addPassesToEmitFile(PassManagerBase &, raw_pwrite_stream &, raw_pwrite_stream *, CodeGenFileType, bool=true, MachineModuleInfoWrapperPass *MMIWP=nullptr)
Add passes to the specified pass manager to get the specified file emitted.
const Triple & getTargetTriple() const
virtual bool splitModule(Module &M, unsigned NumParts, function_ref< void(std::unique_ptr< Module > MPart)> ModuleCallback)
Entry point for module splitting.
TargetOptions Options
const Target & getTarget() const
void setPGOOption(std::optional< PGOOptions > PGOOpt)
MCTargetOptions MCOptions
Machine level options.
VectorLibrary VecLib
Vector math library to use.
std::string ObjectFilenameForDebug
Stores the filename/path of the final .o/.obj file, to be written in the debug information.
Target - Wrapper for Target specific information.
TargetMachine * createTargetMachine(const Triple &TT, StringRef CPU, StringRef Features, const TargetOptions &Options, std::optional< Reloc::Model > RM, std::optional< CodeModel::Model > CM=std::nullopt, CodeGenOptLevel OL=CodeGenOptLevel::Default, bool JIT=false) const
createTargetMachine - Create a target specific machine implementation for the specified Triple.
auto async(Function &&F, Args &&...ArgList)
Asynchronous submission of a task to the pool.
Definition ThreadPool.h:80
The TimeTraceScope is a helper class to call the begin and end functions of the time trace profiler.
void keep()
Indicate that the tool's job wrt this output file has been successful and the file should not be dele...
raw_fd_ostream & os()
Return the contained raw_fd_ostream.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
Create a verifier pass.
Definition Verifier.h:134
bool contains(const_arg_type_t< ValueT > V) const
Check if the set contains the given element.
Definition DenseSet.h:182
PassManager manages ModulePassManagers.
void add(Pass *P) override
Add a pass to the queue of passes to run.
bool run(Module &M)
run - Execute all of the passes scheduled for execution.
A raw_ostream that writes to a file descriptor.
A raw_ostream that writes to an std::string.
A raw_ostream that writes to an SmallVector or SmallString.
Interfaces for registering analysis passes, producing common pass manager configurations,...
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Abstract Attribute helper functions.
Definition Attributor.h:164
LLVM_ABI void saveModuleForTwoRounds(const Module &TheModule, unsigned Task, AddStreamFn AddStream)
Save TheModule before the first codegen round.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
LLVM_ABI bool opt(const Config &Conf, TargetMachine *TM, unsigned Task, Module &Mod, bool IsThinLTO, ModuleSummaryIndex *ExportSummary, const ModuleSummaryIndex *ImportSummary, const std::vector< uint8_t > &CmdArgs, ArrayRef< StringRef > BitcodeLibFuncs)
Runs middle-end LTO optimizations on Mod.
LLVM_ABI Error thinBackend(const Config &C, unsigned Task, AddStreamFn AddStream, Module &M, const ModuleSummaryIndex &CombinedIndex, const FunctionImporter::ImportMapTy &ImportList, const GVSummaryMapTy &DefinedGlobals, MapVector< StringRef, BitcodeModule > *ModuleMap, bool CodeGenOnly, ArrayRef< StringRef > BitcodeLibFuncs, AddStreamFn IRAddStream=nullptr, const std::vector< uint8_t > &CmdArgs=std::vector< uint8_t >())
Runs a ThinLTO backend.
LLVM_ABI BitcodeModule * findThinLTOModule(MutableArrayRef< BitcodeModule > BMs)
Returns the BitcodeModule that is ThinLTO.
LLVM_ABI Error backend(const Config &C, AddStreamFn AddStream, unsigned ParallelCodeGenParallelismLevel, Module &M, ModuleSummaryIndex &CombinedIndex, ArrayRef< StringRef > BitcodeLibFuncs)
Runs a regular LTO backend.
LLVM_ABI Error finalizeOptimizationRemarks(LLVMRemarkFileHandle DiagOutputFile)
LLVM_ABI Expected< LLVMRemarkFileHandle > setupLLVMOptimizationRemarks(LLVMContext &Context, StringRef RemarksFilename, StringRef RemarksPasses, StringRef RemarksFormat, bool RemarksWithHotness, std::optional< uint64_t > RemarksHotnessThreshold=0, int Count=-1)
Setup optimization remarks.
Definition LTO.cpp:2342
LLVM_ABI bool initImportList(const Module &M, const ModuleSummaryIndex &CombinedIndex, FunctionImporter::ImportMapTy &ImportList)
Distributed ThinLTO: collect the referenced modules based on module summary and initialize ImportList...
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition FileSystem.h:793
@ OF_TextWithCRLF
The file should be opened in text mode and use a carriage linefeed '\r '.
Definition FileSystem.h:802
LLVM_ABI std::error_code create_directories(const Twine &path, bool IgnoreExisting=true, perms Perms=owner_all|group_all)
Create all the non-existent directories in path.
Definition Path.cpp:993
LLVM_ABI StringRef filename(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get filename.
Definition Path.cpp:594
LLVM_ABI void append(SmallVectorImpl< char > &path, const Twine &a, const Twine &b="", const Twine &c="", const Twine &d="")
Append to path.
Definition Path.cpp:467
This is an optimization pass for GlobalISel generic memory operations.
ThreadPoolStrategy heavyweight_hardware_concurrency(unsigned ThreadCount=0)
Returns a thread strategy for tasks requiring significant memory or other resources.
Definition Threading.h:167
LLVM_ABI Expected< std::unique_ptr< Module > > parseBitcodeFile(MemoryBufferRef Buffer, LLVMContext &Context, ParserCallbacks Callbacks={})
Read the specified bitcode file, returning the module.
LLVM_ABI void WriteBitcodeToFile(const Module &M, raw_ostream &Out, bool ShouldPreserveUseListOrder=false, const ModuleSummaryIndex *Index=nullptr, bool GenerateHash=false, ModuleHash *ModHash=nullptr)
Write the specified module to the specified raw output stream.
LLVM_ABI std::error_code inconvertibleErrorCode()
The value returned by this function can be returned from convertToErrorCode for Error values where no...
Definition Error.cpp:94
LLVM_ABI raw_fd_ostream & outs()
This returns a reference to a raw_fd_ostream for standard output.
DenseMap< GlobalValue::GUID, GlobalValueSummary * > GVSummaryMapTy
Map of global value GUID to its summary, used to identify values defined in a particular module,...
LLVM_ABI bool convertToDeclaration(GlobalValue &GV)
Converts value GV to declaration, or replaces with a declaration if it is an alias.
std::string utostr(uint64_t X, bool isNeg=false)
@ O1
Optimize quickly without destroying debuggability.
@ O0
Disable as many optimizations as possible.
@ O3
Optimize for fast execution as much as possible.
@ O2
Optimize for fast execution as much as possible without triggering significant incremental compile ti...
LLVM_ABI void renameModuleForThinLTO(Module &M, const ModuleSummaryIndex &Index, bool ClearDSOLocalOnDeclarations, SetVector< GlobalValue * > *GlobalsToImport=nullptr)
Perform in-place global value handling on the given Module for exported local functions renamed and p...
AnalysisManager< LazyCallGraph::SCC, LazyCallGraph & > CGSCCAnalysisManager
The CGSCC analysis manager.
LLVM_ABI void writeIndexToFile(const ModuleSummaryIndex &Index, raw_ostream &Out, const ModuleToSummariesForIndexTy *ModuleToSummariesForIndex=nullptr, const GVSummaryPtrSet *DecSummaries=nullptr)
Write the specified module summary index to the given raw output stream, where it will be written in ...
AnalysisManager< Loop, LoopStandardAnalysisResults & > LoopAnalysisManager
The loop analysis manager.
LLVM_ABI void embedBitcodeInModule(Module &M, MemoryBufferRef Buf, bool EmbedBitcode, bool EmbedCmdline, const std::vector< uint8_t > &CmdArgs)
If EmbedBitcode is set, save a copy of the llvm IR as data in the __LLVM,__bitcode section (....
LLVM_ABI void SplitModule(Module &M, unsigned N, function_ref< void(std::unique_ptr< Module > MPart)> ModuleCallback, bool PreserveLocals=false, bool RoundRobin=false)
Splits the module M into N linkable partitions.
LLVM_ABI void updatePublicTypeTestCalls(Module &M, bool WholeProgramVisibilityEnabledInLTO)
PassManager< Module > ModulePassManager
Convenience typedef for a pass manager over modules.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
LLVM_ABI Expected< std::vector< BitcodeModule > > getBitcodeModuleList(MemoryBufferRef Buffer)
Returns a list of modules in the specified bitcode buffer.
cl::opt< bool > NoPGOWarnMismatch
Error make_error(ArgTs &&... Args)
Make a Error instance representing failure using the given error info type.
Definition Error.h:340
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Mod
The access may modify the value stored in memory.
Definition ModRef.h:34
LLVM_ABI void thinLTOInternalizeModule(Module &TheModule, const GVSummaryMapTy &DefinedGlobals)
Internalize TheModule based on the information recorded in the summaries during global summary-based ...
SingleThreadExecutor DefaultThreadPool
Definition ThreadPool.h:262
std::string toString(const APInt &I, unsigned Radix, bool Signed, bool formatAsCLiteral=false, bool UpperCase=true, bool InsertSeparators=false)
LLVM_ABI ImmutablePass * createImmutableModuleSummaryIndexWrapperPass(const ModuleSummaryIndex *Index)
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
LLVM_ABI Error errorCodeToError(std::error_code EC)
Helper for converting an std::error_code to a Error.
Definition Error.cpp:107
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
std::function< Expected< std::unique_ptr< CachedFileStream > >( unsigned Task, const Twine &ModuleName)> AddStreamFn
This type defines the callback to add a file that is generated on the fly.
Definition Caching.h:79
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
LLVM_ABI void thinLTOFinalizeInModule(Module &TheModule, const GVSummaryMapTy &DefinedGlobals, bool PropagateAttrs)
Based on the information recorded in the summaries during global summary-based analysis:
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Definition Error.cpp:177
A struct capturing PGO tunables.
Definition PGOOptions.h:22
static LLVM_ABI const Target * lookupTarget(const Triple &TheTriple, std::string &Error)
lookupTarget - Lookup a target based on a target triple.
LTO configuration.
Definition Config.h:44
std::function< bool(unsigned Task, const Module &)> ModuleHookFn
The following callbacks deal with tasks, which normally represent the entire optimization and code ge...
Definition Config.h:241
bool DebugPassManager
Whether to emit the pass manager debuggging informations.
Definition Config.h:188
bool AddFSDiscriminator
Add FSAFDO discriminators.
Definition Config.h:206
std::optional< uint64_t > RemarksHotnessThreshold
The minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
Definition Config.h:182
LLVM_ABI Error addSaveTemps(std::string OutputFileName, bool UseInputModulePath=false, const DenseSet< StringRef > &SaveTempsArgs={})
This is a convenience function that configures this Config object to write temporary files named afte...
ModuleHookFn PreOptModuleHook
This module hook is called after linking (regular LTO) or loading (ThinLTO) the module,...
Definition Config.h:245
CombinedIndexHookFn CombinedIndexHook
Definition Config.h:277
std::optional< CodeModel::Model > CodeModel
Definition Config.h:68
std::string AAPipeline
Definition Config.h:127
std::function< void(legacy::PassManager &)> PreCodeGenPassesHook
For adding passes that run right before codegen.
Definition Config.h:65
bool DisableVerify
Definition Config.h:73
std::vector< std::string > MAttrs
Definition Config.h:56
std::function< void(PassBuilder &)> PassBuilderCallback
Definition Config.h:66
CodeGenOptLevel CGOptLevel
Definition Config.h:69
PipelineTuningOptions PTO
Tunable parameters for passes in the default pipelines.
Definition Config.h:215
std::vector< llvm::PassPlugin * > LoadedPassPlugins
Definition Config.h:62
std::unique_ptr< raw_ostream > ResolutionFile
If this field is set, LTO will write input file paths and symbol resolutions here in llvm-lto2 comman...
Definition Config.h:212
std::string CPU
Definition Config.h:54
std::string DwoDir
The directory to store .dwo files.
Definition Config.h:147
std::string RemarksFilename
Optimization remarks file path.
Definition Config.h:161
std::vector< std::string > PassPluginFilenames
Definition Config.h:63
ModuleHookFn PostPromoteModuleHook
This hook is called after promoting any internal functions (ThinLTO-specific).
Definition Config.h:249
std::string ProfileRemapping
Name remapping file for profile data.
Definition Config.h:144
TargetOptions Options
Definition Config.h:55
std::string SplitDwarfFile
The name for the split debug info file used for the DW_AT_[GNU_]dwo_name attribute in the skeleton CU...
Definition Config.h:153
std::string SplitDwarfOutput
The path to write a .dwo file to.
Definition Config.h:158
ModuleHookFn PostOptModuleHook
This module hook is called after optimization is complete.
Definition Config.h:258
std::string RemarksPasses
Optimization remarks pass filter.
Definition Config.h:164
std::string OptPipeline
If this field is set, the set of passes run in the middle-end optimizer will be the one specified by ...
Definition Config.h:122
bool RunCSIRInstr
Run PGO context sensitive IR instrumentation.
Definition Config.h:83
ModuleHookFn PostInternalizeModuleHook
This hook is called after internalizing the module.
Definition Config.h:252
unsigned OptLevel
Definition Config.h:71
ModuleHookFn PostImportModuleHook
This hook is called after importing from other modules (ThinLTO-specific).
Definition Config.h:255
bool RemarksWithHotness
Whether to emit optimization remarks with hotness informations.
Definition Config.h:167
std::string CSIRProfile
Context Sensitive PGO profile path.
Definition Config.h:138
ModuleHookFn PreCodeGenModuleHook
This module hook is called before code generation.
Definition Config.h:263
std::optional< Reloc::Model > RelocModel
Definition Config.h:67
bool ShouldDiscardValueNames
Definition Config.h:202
bool PGOWarnMismatch
Turn on/off the warning about a hash mismatch in the PGO profile data.
Definition Config.h:86
CodeGenFileType CGFileType
Definition Config.h:70
bool Freestanding
Flag to indicate that the optimizer should not assume builtins are present on the target.
Definition Config.h:77
std::string SampleProfile
Sample PGO profile path.
Definition Config.h:141
std::string RemarksFormat
The format used for serializing remarks (default: YAML).
Definition Config.h:185
A derived class of LLVMContext that initializes itself according to a given Config object.
Definition Config.h:334