LLVM 23.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
242 TargetOptions TargetOpts = Conf.Options;
243 if (TargetOpts.MCOptions.ABIName.empty()) {
244 TargetOpts.MCOptions.ABIName = M.getTargetABIFromMD();
245 }
246
247 std::unique_ptr<TargetMachine> TM(TheTarget->createTargetMachine(
248 TheTriple, Conf.CPU, Features.getString(), TargetOpts, RelocModel,
249 CodeModel, Conf.CGOptLevel));
250
251 assert(TM && "Failed to create target machine");
252
253 if (std::optional<uint64_t> LargeDataThreshold = M.getLargeDataThreshold())
254 TM->setLargeDataThreshold(*LargeDataThreshold);
255
256 return TM;
257}
258
259static void runNewPMPasses(const Config &Conf, Module &Mod, TargetMachine *TM,
260 unsigned OptLevel, bool IsThinLTO,
261 ModuleSummaryIndex *ExportSummary,
262 const ModuleSummaryIndex *ImportSummary) {
263 std::optional<PGOOptions> PGOOpt;
264 if (!Conf.SampleProfile.empty())
265 PGOOpt = PGOOptions(Conf.SampleProfile, "", Conf.ProfileRemapping,
266 /*MemoryProfile=*/"", PGOOptions::SampleUse,
269 else if (Conf.RunCSIRInstr) {
270 PGOOpt = PGOOptions("", Conf.CSIRProfile, Conf.ProfileRemapping,
271 /*MemoryProfile=*/"", PGOOptions::IRUse,
273 Conf.AddFSDiscriminator);
274 } else if (!Conf.CSIRProfile.empty()) {
275 PGOOpt =
277 /*MemoryProfile=*/"", PGOOptions::IRUse, PGOOptions::CSIRUse,
280 } else if (Conf.AddFSDiscriminator) {
281 PGOOpt = PGOOptions("", "", "", /*MemoryProfile=*/"", PGOOptions::NoAction,
284 }
285 TM->setPGOOption(PGOOpt);
286
291
294 Conf.VerifyEach);
295 SI.registerCallbacks(PIC, &MAM);
296 PassBuilder PB(TM, Conf.PTO, PGOOpt, &PIC);
297
298 RegisterPassPlugins(Conf, PB);
299
300 std::unique_ptr<TargetLibraryInfoImpl> TLII(
302 if (Conf.Freestanding)
303 TLII->disableAllFunctions();
304 FAM.registerPass([&] { return TargetLibraryAnalysis(*TLII); });
305
306 // Parse a custom AA pipeline if asked to.
307 if (!Conf.AAPipeline.empty()) {
309 if (auto Err = PB.parseAAPipeline(AA, Conf.AAPipeline)) {
310 report_fatal_error(Twine("unable to parse AA pipeline description '") +
311 Conf.AAPipeline + "': " + toString(std::move(Err)));
312 }
313 // Register the AA manager first so that our version is the one used.
314 FAM.registerPass([&] { return std::move(AA); });
315 }
316
317 // Register all the basic analyses with the managers.
318 PB.registerModuleAnalyses(MAM);
319 PB.registerCGSCCAnalyses(CGAM);
320 PB.registerFunctionAnalyses(FAM);
321 PB.registerLoopAnalyses(LAM);
322 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
323
325
326 if (!Conf.DisableVerify)
327 MPM.addPass(VerifierPass());
328
330
331 switch (OptLevel) {
332 default:
333 llvm_unreachable("Invalid optimization level");
334 case 0:
336 break;
337 case 1:
339 break;
340 case 2:
342 break;
343 case 3:
345 break;
346 }
347
348 // Parse a custom pipeline if asked to.
349 if (!Conf.OptPipeline.empty()) {
350 if (auto Err = PB.parsePassPipeline(MPM, Conf.OptPipeline)) {
351 report_fatal_error(Twine("unable to parse pass pipeline description '") +
352 Conf.OptPipeline + "': " + toString(std::move(Err)));
353 }
354 } else if (IsThinLTO) {
355 MPM.addPass(PB.buildThinLTODefaultPipeline(OL, ImportSummary));
356 } else {
357 MPM.addPass(PB.buildLTODefaultPipeline(OL, ExportSummary));
358 }
359
360 if (!Conf.DisableVerify)
361 MPM.addPass(VerifierPass());
362
364 std::string PipelineStr;
365 raw_string_ostream OS(PipelineStr);
366 MPM.printPipeline(OS, [&PIC](StringRef ClassName) {
367 auto PassName = PIC.getPassNameForClassName(ClassName);
368 return PassName.empty() ? ClassName : PassName;
369 });
370 outs() << "pipeline-passes: " << PipelineStr << '\n';
371 }
372
373 MPM.run(Mod, MAM);
374}
375
376static bool isEmptyModule(const Module &Mod) {
377 // Module is empty if it has no functions, no globals, no inline asm and no
378 // named metadata (aliases and ifuncs require functions or globals so we
379 // don't need to check those explicitly).
380 return Mod.empty() && Mod.global_empty() && Mod.named_metadata_empty() &&
381 Mod.getModuleInlineAsm().empty();
382}
383
384bool lto::opt(const Config &Conf, TargetMachine *TM, unsigned Task, Module &Mod,
385 bool IsThinLTO, ModuleSummaryIndex *ExportSummary,
386 const ModuleSummaryIndex *ImportSummary,
387 const std::vector<uint8_t> &CmdArgs) {
388 llvm::TimeTraceScope timeScope("opt");
390 // FIXME: the motivation for capturing post-merge bitcode and command line
391 // is replicating the compilation environment from bitcode, without needing
392 // to understand the dependencies (the functions to be imported). This
393 // assumes a clang - based invocation, case in which we have the command
394 // line.
395 // It's not very clear how the above motivation would map in the
396 // linker-based case, so we currently don't plumb the command line args in
397 // that case.
398 if (CmdArgs.empty())
400 dbgs() << "Post-(Thin)LTO merge bitcode embedding was requested, but "
401 "command line arguments are not available");
403 /*EmbedBitcode*/ true, /*EmbedCmdline*/ true,
404 /*Cmdline*/ CmdArgs);
405 }
406 // No need to run any opt passes if the module is empty.
407 // In theory these passes should take almost no time for an empty
408 // module, however, this guards against doing any unnecessary summary-based
409 // analysis in the case of a ThinLTO build where this might be an empty
410 // regular LTO combined module, with a large combined index from ThinLTO.
411 if (!isEmptyModule(Mod)) {
412 // FIXME: Plumb the combined index into the new pass manager.
413 runNewPMPasses(Conf, Mod, TM, Conf.OptLevel, IsThinLTO, ExportSummary,
414 ImportSummary);
415 }
416 return !Conf.PostOptModuleHook || Conf.PostOptModuleHook(Task, Mod);
417}
418
419static void codegen(const Config &Conf, TargetMachine *TM,
420 AddStreamFn AddStream, unsigned Task, Module &Mod,
421 const ModuleSummaryIndex &CombinedIndex) {
422 llvm::TimeTraceScope timeScope("codegen");
423 if (Conf.PreCodeGenModuleHook && !Conf.PreCodeGenModuleHook(Task, Mod))
424 return;
425
428 /*EmbedBitcode*/ true,
429 /*EmbedCmdline*/ false,
430 /*CmdArgs*/ std::vector<uint8_t>());
431
432 std::unique_ptr<ToolOutputFile> DwoOut;
434 if (!Conf.DwoDir.empty()) {
435 std::error_code EC;
436 if (auto EC = llvm::sys::fs::create_directories(Conf.DwoDir))
437 report_fatal_error(Twine("Failed to create directory ") + Conf.DwoDir +
438 ": " + EC.message());
439
440 DwoFile = Conf.DwoDir;
441 sys::path::append(DwoFile, std::to_string(Task) + ".dwo");
442 TM->Options.MCOptions.SplitDwarfFile = std::string(DwoFile);
443 } else
445
446 if (!DwoFile.empty()) {
447 std::error_code EC;
448 DwoOut = std::make_unique<ToolOutputFile>(DwoFile, EC, sys::fs::OF_None);
449 if (EC)
450 report_fatal_error(Twine("Failed to open ") + DwoFile + ": " +
451 EC.message());
452 }
453
455 AddStream(Task, Mod.getModuleIdentifier());
456 if (Error Err = StreamOrErr.takeError())
457 report_fatal_error(std::move(Err));
458 std::unique_ptr<CachedFileStream> &Stream = *StreamOrErr;
459 TM->Options.ObjectFilenameForDebug = Stream->ObjectPathName;
460
461 // Create the codegen pipeline in its own scope so it gets deleted before
462 // Stream->commit() is called. The commit function of CacheStream deletes
463 // the raw stream, which is too early as streamers (e.g. MCAsmStreamer)
464 // keep the pointer and may use it until their destruction. See #138194.
465 {
466 legacy::PassManager CodeGenPasses;
467 TargetLibraryInfoImpl TLII(Mod.getTargetTriple(), TM->Options.VecLib);
468 CodeGenPasses.add(new TargetLibraryInfoWrapperPass(TLII));
469 CodeGenPasses.add(new RuntimeLibraryInfoWrapper(
470 Mod.getTargetTriple(), TM->Options.ExceptionModel,
473
474 // No need to make index available if the module is empty.
475 // In theory these passes should not use the index for an empty
476 // module, however, this guards against doing any unnecessary summary-based
477 // analysis in the case of a ThinLTO build where this might be an empty
478 // regular LTO combined module, with a large combined index from ThinLTO.
479 if (!isEmptyModule(Mod))
480 CodeGenPasses.add(
482 if (Conf.PreCodeGenPassesHook)
483 Conf.PreCodeGenPassesHook(CodeGenPasses);
484 if (TM->addPassesToEmitFile(CodeGenPasses, *Stream->OS,
485 DwoOut ? &DwoOut->os() : nullptr,
486 Conf.CGFileType))
487 report_fatal_error("Failed to setup codegen");
488 CodeGenPasses.run(Mod);
489
490 if (DwoOut)
491 DwoOut->keep();
492 }
493
494 if (Error Err = Stream->commit())
495 report_fatal_error(std::move(Err));
496}
497
498static void splitCodeGen(const Config &C, TargetMachine *TM,
499 AddStreamFn AddStream,
500 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
501 const ModuleSummaryIndex &CombinedIndex) {
502 DefaultThreadPool CodegenThreadPool(
503 heavyweight_hardware_concurrency(ParallelCodeGenParallelismLevel));
504 unsigned ThreadCount = 0;
505 const Target *T = &TM->getTarget();
506
507 const auto HandleModulePartition =
508 [&](std::unique_ptr<Module> MPart) {
509 // We want to clone the module in a new context to multi-thread the
510 // codegen. We do it by serializing partition modules to bitcode
511 // (while still on the main thread, in order to avoid data races) and
512 // spinning up new threads which deserialize the partitions into
513 // separate contexts.
514 // FIXME: Provide a more direct way to do this in LLVM.
516 raw_svector_ostream BCOS(BC);
517 WriteBitcodeToFile(*MPart, BCOS);
518
519 // Enqueue the task
520 CodegenThreadPool.async(
521 [&](const SmallString<0> &BC, unsigned ThreadId) {
522 LTOLLVMContext Ctx(C);
524 parseBitcodeFile(MemoryBufferRef(BC.str(), "ld-temp.o"), Ctx);
525 if (!MOrErr)
526 report_fatal_error("Failed to read bitcode");
527 std::unique_ptr<Module> MPartInCtx = std::move(MOrErr.get());
528
529 std::unique_ptr<TargetMachine> TM =
530 createTargetMachine(C, T, *MPartInCtx);
531
532 codegen(C, TM.get(), AddStream, ThreadId, *MPartInCtx,
533 CombinedIndex);
534 },
535 // Pass BC using std::move to ensure that it get moved rather than
536 // copied into the thread's context.
537 std::move(BC), ThreadCount++);
538 };
539
540 // Try target-specific module splitting first, then fallback to the default.
541 if (!TM->splitModule(Mod, ParallelCodeGenParallelismLevel,
542 HandleModulePartition)) {
543 SplitModule(Mod, ParallelCodeGenParallelismLevel, HandleModulePartition,
544 false);
545 }
546
547 // Because the inner lambda (which runs in a worker thread) captures our local
548 // variables, we need to wait for the worker threads to terminate before we
549 // can leave the function scope.
550 CodegenThreadPool.wait();
551}
552
554 Module &Mod) {
555 if (!C.OverrideTriple.empty())
556 Mod.setTargetTriple(Triple(C.OverrideTriple));
557 else if (Mod.getTargetTriple().empty())
558 Mod.setTargetTriple(Triple(C.DefaultTriple));
559
560 std::string Msg;
561 const Target *T = TargetRegistry::lookupTarget(Mod.getTargetTriple(), Msg);
562 if (!T)
564 return T;
565}
566
568 // Make sure we flush the diagnostic remarks file in case the linker doesn't
569 // call the global destructors before exiting.
570 if (!DiagOutputFile)
571 return Error::success();
572 DiagOutputFile.finalize();
573 DiagOutputFile->keep();
574 DiagOutputFile->os().flush();
575 return Error::success();
576}
577
579 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
580 ModuleSummaryIndex &CombinedIndex) {
581 llvm::TimeTraceScope timeScope("LTO backend");
583 if (!TOrErr)
584 return TOrErr.takeError();
585
586 std::unique_ptr<TargetMachine> TM = createTargetMachine(C, *TOrErr, Mod);
587
588 LLVM_DEBUG(dbgs() << "Running regular LTO\n");
589 if (!C.CodeGenOnly) {
590 if (!opt(C, TM.get(), 0, Mod, /*IsThinLTO=*/false,
591 /*ExportSummary=*/&CombinedIndex, /*ImportSummary=*/nullptr,
592 /*CmdArgs*/ std::vector<uint8_t>()))
593 return Error::success();
594 }
595
596 if (ParallelCodeGenParallelismLevel == 1) {
597 codegen(C, TM.get(), AddStream, 0, Mod, CombinedIndex);
598 } else {
599 splitCodeGen(C, TM.get(), AddStream, ParallelCodeGenParallelismLevel, Mod,
600 CombinedIndex);
601 }
602 return Error::success();
603}
604
605static void dropDeadSymbols(Module &Mod, const GVSummaryMapTy &DefinedGlobals,
606 const ModuleSummaryIndex &Index) {
607 llvm::TimeTraceScope timeScope("Drop dead symbols");
608 std::vector<GlobalValue*> DeadGVs;
609 for (auto &GV : Mod.global_values())
610 if (GlobalValueSummary *GVS = DefinedGlobals.lookup(GV.getGUID()))
611 if (!Index.isGlobalValueLive(GVS)) {
612 DeadGVs.push_back(&GV);
614 }
615
616 // Now that all dead bodies have been dropped, delete the actual objects
617 // themselves when possible.
618 for (GlobalValue *GV : DeadGVs) {
619 GV->removeDeadConstantUsers();
620 // Might reference something defined in native object (i.e. dropped a
621 // non-prevailing IR def, but we need to keep the declaration).
622 if (GV->use_empty())
623 GV->eraseFromParent();
624 }
625}
626
627Error lto::thinBackend(const Config &Conf, unsigned Task, AddStreamFn AddStream,
628 Module &Mod, const ModuleSummaryIndex &CombinedIndex,
629 const FunctionImporter::ImportMapTy &ImportList,
630 const GVSummaryMapTy &DefinedGlobals,
632 bool CodeGenOnly, AddStreamFn IRAddStream,
633 const std::vector<uint8_t> &CmdArgs) {
634 llvm::TimeTraceScope timeScope("Thin backend", Mod.getModuleIdentifier());
636 if (!TOrErr)
637 return TOrErr.takeError();
638
639 std::unique_ptr<TargetMachine> TM = createTargetMachine(Conf, *TOrErr, Mod);
640
641 // Setup optimization remarks.
642 auto DiagFileOrErr = lto::setupLLVMOptimizationRemarks(
643 Mod.getContext(), Conf.RemarksFilename, Conf.RemarksPasses,
645 Task);
646 if (!DiagFileOrErr)
647 return DiagFileOrErr.takeError();
648 auto DiagnosticOutputFile = std::move(*DiagFileOrErr);
649
650 // Set the partial sample profile ratio in the profile summary module flag of
651 // the module, if applicable.
652 Mod.setPartialSampleProfileRatio(CombinedIndex);
653
654 LLVM_DEBUG(dbgs() << "Running ThinLTO\n");
655 if (CodeGenOnly) {
656 // If CodeGenOnly is set, we only perform code generation and skip
657 // optimization. This value may differ from Conf.CodeGenOnly.
658 codegen(Conf, TM.get(), AddStream, Task, Mod, CombinedIndex);
659 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
660 }
661
662 if (Conf.PreOptModuleHook && !Conf.PreOptModuleHook(Task, Mod))
663 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
664
665 auto OptimizeAndCodegen =
666 [&](Module &Mod, TargetMachine *TM,
667 LLVMRemarkFileHandle DiagnosticOutputFile) {
668 // Perform optimization and code generation for ThinLTO.
669 if (!opt(Conf, TM, Task, Mod, /*IsThinLTO=*/true,
670 /*ExportSummary=*/nullptr, /*ImportSummary=*/&CombinedIndex,
671 CmdArgs))
672 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
673
674 // Save the current module before the first codegen round.
675 // Note that the second codegen round runs only `codegen()` without
676 // running `opt()`. We're not reaching here as it's bailed out earlier
677 // with `CodeGenOnly` which has been set in `SecondRoundThinBackend`.
678 if (IRAddStream)
679 cgdata::saveModuleForTwoRounds(Mod, Task, IRAddStream);
680
681 codegen(Conf, TM, AddStream, Task, Mod, CombinedIndex);
682 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
683 };
684
686 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
687
688 // When linking an ELF shared object, dso_local should be dropped. We
689 // conservatively do this for -fpic.
690 bool ClearDSOLocalOnDeclarations =
691 TM->getTargetTriple().isOSBinFormatELF() &&
692 TM->getRelocationModel() != Reloc::Static &&
693 Mod.getPIELevel() == PIELevel::Default;
694 renameModuleForThinLTO(Mod, CombinedIndex, ClearDSOLocalOnDeclarations);
695
696 dropDeadSymbols(Mod, DefinedGlobals, CombinedIndex);
697
698 thinLTOFinalizeInModule(Mod, DefinedGlobals, /*PropagateAttrs=*/true);
699
700 if (Conf.PostPromoteModuleHook && !Conf.PostPromoteModuleHook(Task, Mod))
701 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
702
703 if (!DefinedGlobals.empty())
704 thinLTOInternalizeModule(Mod, DefinedGlobals);
705
706 if (Conf.PostInternalizeModuleHook &&
707 !Conf.PostInternalizeModuleHook(Task, Mod))
708 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
709
710 auto ModuleLoader = [&](StringRef Identifier) {
711 llvm::TimeTraceScope moduleLoaderScope("Module loader", Identifier);
712 assert(Mod.getContext().isODRUniquingDebugTypes() &&
713 "ODR Type uniquing should be enabled on the context");
714 if (ModuleMap) {
715 auto I = ModuleMap->find(Identifier);
716 assert(I != ModuleMap->end());
717 return I->second.getLazyModule(Mod.getContext(),
718 /*ShouldLazyLoadMetadata=*/true,
719 /*IsImporting*/ true);
720 }
721
723 llvm::MemoryBuffer::getFile(Identifier);
724 if (!MBOrErr)
726 Twine("Error loading imported file ") + Identifier + " : ",
727 MBOrErr.getError()));
728
729 Expected<BitcodeModule> BMOrErr = findThinLTOModule(**MBOrErr);
730 if (!BMOrErr)
732 Twine("Error loading imported file ") + Identifier + " : " +
733 toString(BMOrErr.takeError()),
735
737 BMOrErr->getLazyModule(Mod.getContext(),
738 /*ShouldLazyLoadMetadata=*/true,
739 /*IsImporting*/ true);
740 if (MOrErr)
741 (*MOrErr)->setOwnedMemoryBuffer(std::move(*MBOrErr));
742 return MOrErr;
743 };
744
745 {
746 llvm::TimeTraceScope importScope("Import functions");
747 FunctionImporter Importer(CombinedIndex, ModuleLoader,
748 ClearDSOLocalOnDeclarations);
749 if (Error Err = Importer.importFunctions(Mod, ImportList).takeError())
750 return Err;
751 }
752
753 // Do this after any importing so that imported code is updated.
755
756 if (Conf.PostImportModuleHook && !Conf.PostImportModuleHook(Task, Mod))
757 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
758
759 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
760}
761
763 if (ThinLTOAssumeMerged && BMs.size() == 1)
764 return BMs.begin();
765
766 for (BitcodeModule &BM : BMs) {
767 Expected<BitcodeLTOInfo> LTOInfo = BM.getLTOInfo();
768 if (LTOInfo && LTOInfo->IsThinLTO)
769 return &BM;
770 }
771 return nullptr;
772}
773
776 if (!BMsOrErr)
777 return BMsOrErr.takeError();
778
779 // The bitcode file may contain multiple modules, we want the one that is
780 // marked as being the ThinLTO module.
781 if (const BitcodeModule *Bm = lto::findThinLTOModule(*BMsOrErr))
782 return *Bm;
783
784 return make_error<StringError>("Could not find module summary",
786}
787
789 const ModuleSummaryIndex &CombinedIndex,
790 FunctionImporter::ImportMapTy &ImportList) {
792 return true;
793 // We can simply import the values mentioned in the combined index, since
794 // we should only invoke this using the individual indexes written out
795 // via a WriteIndexesThinBackend.
796 for (const auto &GlobalList : CombinedIndex) {
797 // Ignore entries for undefined references.
798 if (GlobalList.second.getSummaryList().empty())
799 continue;
800
801 auto GUID = GlobalList.first;
802 for (const auto &Summary : GlobalList.second.getSummaryList()) {
803 // Skip the summaries for the importing module. These are included to
804 // e.g. record required linkage changes.
805 if (Summary->modulePath() == M.getModuleIdentifier())
806 continue;
807 // Add an entry to provoke importing by thinBackend.
808 ImportList.addGUID(Summary->modulePath(), GUID, Summary->importType());
809 }
810 }
811 return true;
812}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
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 bool isEmptyModule(const Module &Mod)
static void runNewPMPasses(const Config &Conf, Module &Mod, TargetMachine *TM, unsigned OptLevel, bool IsThinLTO, ModuleSummaryIndex *ExportSummary, const ModuleSummaryIndex *ImportSummary)
#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
PassInstrumentationCallbacks PIC
PassBuilder PB(Machine, PassOpts->PTO, std::nullopt, &PIC)
This header defines a class that provides bookkeeping for all standard (i.e in-tree) pass instrumenta...
#define LLVM_DEBUG(...)
Definition Debug.h:114
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.
size_t size() const
size - Get the array size.
Definition ArrayRef.h:142
Represents a module in a bitcode file.
ValueT lookup(const_arg_type_t< KeyT > Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
Definition DenseMap.h:205
bool empty() const
Definition DenseMap.h:109
Implements a dense probed hash-table based set.
Definition DenseSet.h:279
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.
This class implements a map that also provides access to all stored values in a deterministic order.
Definition MapVector.h:36
iterator end()
Definition MapVector.h:67
iterator find(const KeyT &Key)
Definition MapVector.h:154
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:67
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
Definition ArrayRef.h:298
iterator begin() const
Definition ArrayRef.h:342
static LLVM_ABI const OptimizationLevel O3
Optimize for fast execution as much as possible.
static LLVM_ABI const OptimizationLevel O0
Disable as many optimizations as possible.
static LLVM_ABI const OptimizationLevel O2
Optimize for fast execution as much as possible without triggering significant incremental compile ti...
static LLVM_ABI const OptimizationLevel O1
Optimize quickly without destroying debuggability.
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:71
static LLVM_ABI Expected< PassPlugin > Load(const std::string &Filename)
Attempts to load a pass plugin from a given file.
void registerPassBuilderCallbacks(PassBuilder &PB) const
Invoke the PassBuilder callback registration.
Definition PassPlugin.h:93
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...
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
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.
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.
FloatABI::ABIType FloatABIType
FloatABIType - This setting is set by -float-abi=xxx option is specfied on the command line.
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.
EABI EABIVersion
EABIVersion - This flag specifies the EABI version.
ExceptionHandling ExceptionModel
What exception model to use.
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:47
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:175
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:165
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
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 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)
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:2268
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...
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)
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, AddStreamFn IRAddStream=nullptr, const std::vector< uint8_t > &CmdArgs=std::vector< uint8_t >())
Runs a ThinLTO backend.
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition FileSystem.h:755
@ OF_TextWithCRLF
The file should be opened in text mode and use a carriage linefeed '\r '.
Definition FileSystem.h:764
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:977
LLVM_ABI StringRef filename(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get filename.
Definition Path.cpp:578
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:457
This is an optimization pass for GlobalISel generic memory operations.
Definition Types.h:26
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)
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 cl::opt< bool > PrintPipelinePasses
Common option used by multiple tools to print pipeline passes.
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:207
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:1947
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:58
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 const Target * lookupTarget(StringRef TripleStr, std::string &Error)
lookupTarget - Lookup a target based on a target triple.
LTO configuration.
Definition Config.h:43
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:236
bool DebugPassManager
Whether to emit the pass manager debuggging informations.
Definition Config.h:183
bool AddFSDiscriminator
Add FSAFDO discriminators.
Definition Config.h:201
std::optional< uint64_t > RemarksHotnessThreshold
The minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
Definition Config.h:177
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:240
CombinedIndexHookFn CombinedIndexHook
Definition Config.h:272
std::optional< CodeModel::Model > CodeModel
Definition Config.h:63
std::string AAPipeline
Definition Config.h:122
std::function< void(legacy::PassManager &)> PreCodeGenPassesHook
For adding passes that run right before codegen.
Definition Config.h:61
bool DisableVerify
Definition Config.h:68
std::vector< std::string > MAttrs
Definition Config.h:52
CodeGenOptLevel CGOptLevel
Definition Config.h:64
PipelineTuningOptions PTO
Tunable parameters for passes in the default pipelines.
Definition Config.h:210
std::vector< llvm::PassPlugin * > LoadedPassPlugins
Definition Config.h:58
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:207
std::string CPU
Definition Config.h:50
std::string DwoDir
The directory to store .dwo files.
Definition Config.h:142
std::string RemarksFilename
Optimization remarks file path.
Definition Config.h:156
std::vector< std::string > PassPluginFilenames
Definition Config.h:59
ModuleHookFn PostPromoteModuleHook
This hook is called after promoting any internal functions (ThinLTO-specific).
Definition Config.h:244
std::string ProfileRemapping
Name remapping file for profile data.
Definition Config.h:139
TargetOptions Options
Definition Config.h:51
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:148
std::string SplitDwarfOutput
The path to write a .dwo file to.
Definition Config.h:153
ModuleHookFn PostOptModuleHook
This module hook is called after optimization is complete.
Definition Config.h:253
std::string RemarksPasses
Optimization remarks pass filter.
Definition Config.h:159
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:117
bool RunCSIRInstr
Run PGO context sensitive IR instrumentation.
Definition Config.h:78
ModuleHookFn PostInternalizeModuleHook
This hook is called after internalizing the module.
Definition Config.h:247
unsigned OptLevel
Definition Config.h:66
ModuleHookFn PostImportModuleHook
This hook is called after importing from other modules (ThinLTO-specific).
Definition Config.h:250
bool RemarksWithHotness
Whether to emit optimization remarks with hotness informations.
Definition Config.h:162
std::string CSIRProfile
Context Sensitive PGO profile path.
Definition Config.h:133
ModuleHookFn PreCodeGenModuleHook
This module hook is called before code generation.
Definition Config.h:258
std::optional< Reloc::Model > RelocModel
Definition Config.h:62
bool ShouldDiscardValueNames
Definition Config.h:197
bool PGOWarnMismatch
Turn on/off the warning about a hash mismatch in the PGO profile data.
Definition Config.h:81
CodeGenFileType CGFileType
Definition Config.h:65
bool Freestanding
Flag to indicate that the optimizer should not assume builtins are present on the target.
Definition Config.h:72
std::string SampleProfile
Sample PGO profile path.
Definition Config.h:136
std::string RemarksFormat
The format used for serializing remarks (default: YAML).
Definition Config.h:180
A derived class of LLVMContext that initializes itself according to a given Config object.
Definition Config.h:311